Embeddings between weighted Copson and Cesàro function spaces

In this paper, characterizations of the embeddings between weighted Copson function spaces \(Co{p_{{p_1},{q_1}}}\left( {{u_1},{v_1}} \right)\) and weighted Cesàro function spaces \(Ce{s_{{p_2},{q_2}}}\left( {{u_2},{v_2}} \right)\) are given. In particular, two-sided estimates of the optimal constant c in the inequality

$${\left( {\int_0^\infty {{{\left( {\int_0^t {f{{\left( \tau \right)}^{{p_2}}}{v_2}\left( \tau \right)d\tau } } \right)}^{{q_2}/{p_2}}}{u_2}\left( t \right)dt} } \right)^{1/{q_2}}} \leqslant c{\left( {\int_0^\infty {{{\left( {\int_t^\infty {f{{\left( \tau \right)}^{{p_1}}}{v_1}\left( \tau \right)d\tau } } \right)}^{{q_1}/{p_1}}}{u_1}\left( t \right)dt} } \right)^{1/{q_1}}},$$

where p₁, p₂, q₁, q₂ ∈ (0,∞), p₂ ≤ q₂ and u₁, u₂, v₁, v₂ are weights on (0,∞), are obtained. The most innovative part consists of the fact that possibly different parameters p₁ and p₂ and possibly different inner weights v₁ and v₂ are allowed. The proof is based on the combination of duality techniques with estimates of optimal constants of the embeddings between weighted Cesàro and Copson spaces and weighted Lebesgue spaces, which reduce the problem to the solutions of iterated Hardy-type inequalities.

     

Information of orderα and typeβ

Information I_α ^β (Q/P) of orderα and typeβ is introduced and it is shown that for every fixedβ, this information is a monotonic increasing function ofα. It is also shown that information of orderα and type 1 is non-negative when\(\sum\limits_{k = 1}^N { q_k } \geqslant \sum\limits_{k = 1}^N { p_k } \), where (q ₁,q ₂ …,q _N) and (p ₁,p ₂, …,p _N) are generalised probability distributions for Q and P respectively.     

Regularity for weakly (K<Subscript>1</Subscript>, K<Subscript>2</Subscript>)-quasiregular mappings

In this paper, we first give the definition of weakly (K₁,K₂-quasiregular mappings, and then by using the Hodge decomposition and the weakly reverse Hölder inequality, we obtain their regularity property: For anyq ₁ that satisfies\(0< K_1 n^{(n + 4)/2} 2^{n + 1} \times 100^{n^2 } [2^{3n/2} (2^{5n} + 1)](n - q_1 )< 1\), there existsp ₁=p ₁(n,q ₁,K ₁,K ₂)>n, such that any (K₁, K₂)-quasiregular mapping\(f \in W_{loc}^{1,q_1 } (\Omega ,R^n )\) is in fact in\(W_{loc}^{1,p_1 } (\Omega , R^n )\). That is, f is (K₁,K₂)-quasiregular in the usual sense.     

On one complement to the Hölder inequality: I

Let m ≥ 2, the numbers p ₁,…, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ...\frac{1}{{{p_m}}} < 1\), and γ₁ ∈ L ^p1(?¹), …, γ _m ∈ \({L^{{p_m}}}\)(?¹). We prove that, if the set of “resonance” points of each of these functions is nonempty and the “nonresonance” condition holds (both concepts have been introduced by the author for functions of spaces L ^p (?¹), p ∈ (1, +∞]), we have the inequality \(\mathop {\sup }\limits_{a,b \in {R^1}} \left| {\int\limits_a^b {\prod\limits_{k = 1}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]} d\tau } } \right| \leqslant C{\prod\limits_{k = 1}^m {\left\| {{\gamma _k} + \Delta {\gamma _k}} \right\|} _{L_{{a_k}}^{{p_k}}}}\left( {{\mathbb{R}^1}} \right)\), where the constant C > 0 is independent of functions \(\Delta {\gamma _k} \in L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right)\) and \(L_{{a_k}}^{{p_k}}\left( {{\mathbb{R}^1}} \right) \subset {L^{{p_k}}}\left( {{\mathbb{R}^1}} \right)\), 1 ≤ k ≤ m are some specially constructed normed spaces. In addition, we give a boundedness condition for the integral of the product of functions over a subset of ?¹.     

Distance Magic Labeling in Complete 4-partite Graphs

Let G be a complete k-partite simple undirected graph with parts of sizes \(p_1\le p_2\cdots \le p_k\). Let \(P_j=\sum _{i=1}^jp_i\) for \(j=1,\ldots ,k\). It is conjectured that G has distance magic labeling if and only if \(\sum _{i=1}^{P_j} (n-i+1)\ge j{{n+1}\atopwithdelims (){2}}/k\) for all \(j=1,\ldots ,k\). The conjecture is proved for \(k=4\), extending earlier results for \(k=2,3\).     

A Supplement to Hölder’s Inequality. The Resonance Case. II

Suppose that m ≥ 2, and numbers p₁, …, p _m ∈ (1, +∞] satisfy the inequality 1/p₁+…+1/p _m < 1, and functions \({\gamma _1} \in {L^{{p_1}}}\left( {{\mathbb{R}^1}} \right),...,{\gamma _m} \in {L^{{p_m}}}\left( {{\mathbb{R}^1}} \right)\) are given. It is proven that, if the set of resonance points of each of these functions is nonempty and the so-called resonance condition holds, there will always exist arbitrarily small (in norm) perturbations \(\Delta {\gamma _k} \in {L^{{p_k}}}\left( {{\mathbb{R}^1}} \right)\) under which the set of resonance points of the function _γk + Δ_γk coincides with that of the function γ _k for 1 ≤ k ≤ m, but in this case, \({\left\| {\int\limits_0^t {\prod\limits_{k = 1}^m {[{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)]d\tau } } } \right\|_{{L^\infty }\left( {{\mathbb{R}^1}} \right)}} = \infty\) The notion of a resonance point and the resonance condition for the functions of the spaces L ^p (R¹), p ∈ (1, +∞], were introduced by the author in his previous papers.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

Dichotomies for Lorentz spaces

Assume that L ^p,q , $L^{p_1 ,q_1 } ,...,L^{p_n ,q_n } $ are Lorentz spaces. This article studies the question: what is the size of the set $E = \{ (f_1 ,...,f_n ) \in L^{p_{1,} q_1 } \times \cdots \times L^{p_n ,q_n } :f_1 \cdots f_n \in L^{p,q} \} $ . We prove the following dichotomy: either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is σ-porous in $L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ , provided 1/p ≠ 1/p ₁ + … + 1/p _n . In general case we obtain that either $E = L^{p_1 ,q_1 } \times \cdots \times L^{p_n ,q_n } $ or E is meager. This is a generalization of the results for classical L ^p spaces.     

On a class of strongly contractive quadratic recurrent systems

We consider a class of nonlinear recurrent systems of the form \( {\Lambda_p} = \frac{1}{p}\sum\limits_{{p_1} = 1}^{p - 1} {f\left( {\frac{{{p_1}}}{p}} \right){\Lambda_{{p_1}}}{\Lambda_{p - {p_1}}}} \), p > 1, where f is a given function on the interval [0, 1] and Λ₁ = x is an adjustable real-valued parameter. Under some suitable assumptions on the function f, we show that there exists an initial value x ^* for which Λ _p = Λ _p (x ^* ) → const as p → ∞. More precise asymptotics of Λ _p is also derived.     

Set-coloring of Edges and Multigraph Ramsey Numbers

Edge-colorings of multigraphs are studied where a generalization of Ramsey numbers is given. Let ${M_n^{(r)}}$ be the multigraph of order n, in which there are r edges between any two different vertices. Suppose q ₁, q ₂, . . . , q _k and r are positive integers, and q _i ≥ 2(1 ≤ i ≤ k), k > r. Let the multigraph Ramsey number ${f^{(r)} (q_1 ,q_2 , \ldots ,q_k )}$ be the minimum positive integer n such that in any k-edge coloring of ${M_n^{(r)}}$ (every edge is colored with one among k given colors, and edges between the same pair of vertices are colored with different colors), there must be ${i \in \{1,2,\ldots,k\}}$ such that ${M_n^{(r)}}$ has such a complete subgraph of order q _i , of which all the edges are in color i. By Ramsey’s theorem it is easy to show ${f^{(r)} (q_1 ,q_2 , \ldots ,q_k )}$ exists for given q ₁ ,q ₂, . . . , q _k and r. Lower and upper bounds for some multigraph Ramsey numbers are given.     

On a second-order matrix differential operator

We consider the second-order matrix differential operator $$N = \left( {\begin{array}{*{20}c} { - \frac{d}{{dx}}\left( {p_0 \frac{d}{{dx}}} \right) + p_1 } \\ r \\ \end{array} \begin{array}{*{20}c} r \\ { - \frac{d}{{dx}}\left( {q_0 \frac{d}{{dx}}} \right) + q_1 } \\ \end{array} } \right)$$ determined by the expression Nφ, [0 ?x < ∞), where \(\phi = \left( {\begin{array}{*{20}c} U \\ V \\ \end{array} } \right)\) . It has been proved that if p₀, q₀, p₁, q₁,r satisfy certain conditions, then N is in the limit point case at ∞. It has been also shown that certain differential operators in the Hilbert space L² of vectors, generated by the operator N, are symmetric and self-adjoint.     

Divided differences for functions of two variables for irregularly spaced arguments

Divided differences forf (x, y) for completely irregular spacing of points (x _i ,y _i ) are developed here by a natural generalization of Newton's scheme. Existing bivariate schemes either iterate the one-dimensional scheme, thus constraining (x _i ,y _i ) to be at corners of rectangles, or give polynomials Σa _jk x ^j y ^k having more coefficients than interpolation conditions. Here the generalizedn ^th divided difference is defined by (1)\(\left[ {01... n} \right] = \sum\limits_{i = 0}^n {A_i f\left( {x_i , y_i } \right)} \) where (2)\(\sum\limits_{i = 0}^n {A_i x_i^j , y_i^k = 0} \), and 1 for the last or (n+1)^th equation, for every (j, k) wherej+k=0, 1, 2,... in the usual ascending order. The gen. div. diff. [01...n] is symmetric in (x _i ,y _i ), unchanged under translation, 0 forf (x, y) an, ascending binary polynomial as far asn terms, degree-lowering with respect to (X, Y) whenf(x, y) is any polynomialP(X+x, Y+y), and satisfies the 3-term recurrence relation (3) [01...n]=λ{[1...n]?[0...n?1]}, where (4) λ= |1...n|·|01...n?1|/|01...n|·|1...n?1|, the |...i...| denoting determinants inx _i ^j y _i ^k . The generalization of Newton's div. diff. formula is (5)

$$\begin{gathered} f\left( {x, y} \right) = f\left( {x_0 , y_0 } \right) - \frac{{\left| {\alpha 0} \right|}}{{\left| 0 \right|}}\left[ {01} \right] + \frac{{\left| {\alpha 01} \right|}}{{\left| {01} \right|}}\left[ {012} \right] - \frac{{\left| {\alpha 012} \right|}}{{\left| {012} \right|}}\left[ {0123} \right] + \cdots + \hfill \\ + \left( { - 1} \right)^n \frac{{\left| {\alpha 01 \ldots n - 1} \right|}}{{\left| {01 \ldots n - 1} \right|}}\left[ {01 \ldots n} \right] + \left( { - 1} \right)^{n + 1} \frac{{\left| {\alpha 01 \ldots n} \right|}}{{\left| {01 \ldots n} \right|}}\left[ {01 \ldots n} \right], \hfill \\ \end{gathered} $$     

Real Interpolation of Sobolev Spaces Associated to a Weight

We hereby study the interpolation property of Sobolev spaces of order 1 denoted by \(W^{1}_{p,V}\), arising from Schrödinger operators with positive potential. We show that for 1?≤?p ₁?p?p ₂?q ₀ with p?>?s ₀, \(W^{1}_{p,V}\) is a real interpolation space between \(W_{p_1,V}^{1}\) and \(W_{p_2,V}^{1}\) on some classes of manifolds and Lie groups. The constants s ₀, q ₀ depend on our hypotheses.     

The exceptional set for Diophantine inequality with unlike powers of prime variables

Suppose that λ₁, λ₂, λ₃, λ₄ are nonzero real numbers, not all negative, δ > 0, V is a well-spaced set, and the ratio λ₁/λ₂ is algebraic and irrational. Denote by E(V,N, δ) the number of v ∈ V with v ≤ N such that the inequality

$$\left| {{\lambda _1}p_1^2 + {\lambda _2}p_2^3 + {\lambda _3}p_3^4 + {\lambda _4}p_4^5 - \upsilon } \right| < {\upsilon ^{ - \delta }}$$

has no solution in primes p₁, p₂, p₃, p₄. We show that

$$E\left( {\upsilon ,N,\delta } \right) \ll {N^{1 + 2\delta - 1/72 + \varepsilon }}$$

for any ? > 0.

     

Quantitative properties of ground-states to an <Emphasis Type="Italic">M</Emphasis>-coupled system with critical exponent in ℝ<Superscript><Emphasis Type="Italic">N</Emphasis></Superscript>

In this paper, we consider the ground-states of the following M-coupled system:

$$\left\{ {\begin{array}{*{20}{c}}{ - \Delta {u_i} = \sum\limits_{j = 1}^M {{k_{ij}}\frac{{2{q_{ij}}}}{{2*}}{{\left| {{u_j}} \right|}^{{p_{ij}}}}{{\left| {{u_i}} \right|}^{{q_{ij}} - {2_{{u_i}}}}},x \in {\mathbb{R}^N},} } \\{{u_i} \in {D^{1,2}}\left( {{\mathbb{R}^N}} \right),i = 1,2, \ldots ,M,}\end{array}} \right.$$

where \(p_{ij} + q_{ij} = 2*: = \frac{{2N}}{{N - 2}}(N \geqslant 3)\). We prove the existence of ground-states to the M-coupled system. At the same time, we not only give out the characterization of the ground-states, but also study the number of the ground-states, containing the positive ground-states and the semi-trivial ground-states, which may be the first result studying the number of not only positive ground-states but also semi-trivial ground-states.

     

Small prime solutions of some additive equations

Essentially sharp bounds for small prime solutionsp _j ,q _i of the following two different types of equations are obtained.

Polynomially linked additive functions—II

We continue the study of additive functions \(f_k:R\rightarrow F \;(1\le k\le n)\) linked by an equation of the form \(\sum _{k=1}^n p_k(x)f_k(q_k(x))=0\), where the \(p_k\) and \(q_k\) are polynomials, R is an integral domain of characteristic 0, and F is the fraction field of R. A method is presented for solving all such equations. We also consider the special case \(\sum _{k=1}^n x^{m_k}f_k(x^{j_k})=0\) in which the \(p_k\) and \(q_k\) are monomials. In this case we show that if there is no duplication, i.e. if \((m_k,j_k)\ne (m_p,j_p)\) for \(k\ne p\), then each \(f_k\) is the sum of a linear function and a derivation of order at most \(n-1\). Furthermore, if this functional equation is not homogeneous then the maximal orders of the derivations are reduced in a specified way.     

The knaster problem: More counterexamples

Given a continuous function\(f:\mathbb{S}^{n - 1} \to \mathbb{R}^m \) andn ?m + 1 pointsp ₁, …,p _{n?m + 1} ε\(p_1 ,...,p_{n - m + 1} \in \mathbb{S}^{n - 1} \), does there exist a rotation ? εSO(n) such thatf(?(p ₁)) = … =f(?(p _n?m+1))? We give a negative answer to this question form = 1 ifn ε {61, 63, 65} orn≥67 and form=2 ifn≥5.     

Abelian Cayley Graphs of Given Degree and Diameter 2 and 3

Let CC _d,k be the largest possible number of vertices in a cyclic Cayley graph of degree d and diameter k, and let AC _d,k be the largest order in an Abelian Cayley graph for given d and k. We show that \({CC_{d,2} \geq \frac{13}{36} (d + 2)(d -4)}\) for any d= 6p?2 where p is a prime such that \({p \neq 13}\) , \({p \not\equiv 1}\) (mod 13), and \({AC_{d,3} \geq \frac{9}{128} (d + 3)^2(d - 5)}\) for d = 8q?3 where q is a prime power.     

A Supplement to Hölder’s Inequality. The Resonance Case. I

Suppose that m ≥ 2, numbers p₁, …, p _m ∈ (1, +∞] satisfy the inequality \(\frac{1}{{{p_1}}} + ... + \frac{1}{{{p_m}}} < 1\), and functions γ₁ ∈ \({L^{{p_1}}}\)(?¹), …, γ _m ∈ \({L^{{p_m}}}\)(?¹) are given. It is proved that if the set of “resonance points” of each of these functions is nonempty and the so-called “resonance condition” holds, then there are arbitrarily small (in norm) perturbations Δγ_k ∈ \({L^{{p_k}}}\)(?¹) under which the resonance set of each function γ_k + Δγ_k coincides with that of γ_k for 1 ≤ k ≤ m, but \({\left\| {\int\limits_0^t {\prod\limits_{k = 0}^m {\left[ {{\gamma _k}\left( \tau \right) + \Delta {\gamma _k}\left( \tau \right)} \right]d\tau } } } \right\|_{{L^\infty }\left( {{\mathbb{R}^1}} \right)}} = \infty \). The notion of a resonance point and the resonance condition for functions in the spaces L ^p (?¹), p ∈ (1, +∞], were introduced by the author in his previous papers.