Non-Uniformity and Generalised Sacks Splitting

We show that there do not exist computable functions f ₁(e, i), f ₂(e, i), g ₁(e, i), g ₂(e, i) such that for all e, i ∈ ω, (1) $ {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (2) $ {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)} \leqslant _{{\rm T}} {\left( {W_{e} - W_{i} } \right)}; $ (3) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)} \oplus {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}; $ (4) $ {\left( {W_{e} - W_{i} } \right)} \not\leqslant _{{\rm T}} {\left( {W_{{f_{1} {\left( {e,i} \right)}}} - W_{{f_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset};{\text{and}} $ (5) $ {\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\left( {W_{{g_{1} {\left( {e,i} \right)}}} - W_{{g_{2} {\left( {e,i} \right)}}} } \right)}{\text{unless}}{\left( {W_{e} - W_{i} } \right)} \leqslant _{{\rm T}} {\emptyset}. $ It follows that the splitting theorems of Sacks and Cooper cannot be combined uniformly.     

On the application of linear positive operators for approximation of functions

For the linear positive Korovkin operator \(f\left( x \right) \to {t_n}\left( {f;x} \right) = \frac{1}{\pi }\int_{ - \pi }^\pi {f\left( {x + t} \right)E\left( t \right)dt} \), where E(x) is the Egervary–Szász polynomial and the corresponding interpolation mean \({t_{n,N}}\left( {f;x} \right) = \frac{1}{N}\sum\limits_{k = - N}^{N - 1} {{E_n}\left( {x - \frac{{\pi k}}{N}} \right)f\left( {\frac{{\pi k}}{N}} \right)} \), the Jackson-type inequalities \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \left( {1 + \pi } \right){\omega _f}\left( {\frac{1}{n}} \right),\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant 2{\omega _f}\left( {\frac{\pi }{{n + 1}}} \right)\), where ωf (x) denotes the modulus of continuity, are proved for N > n/2. For ωf (x) ≤ Mx, the inequality \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \frac{{\pi M}}{{n + 1}}\). is established. As a consequence, an elementary derivation of an asymptotically sharp estimate of the Kolmogorov width of a compact set of functions satisfying the Lipschitz condition is obtained.     

A remark on the existence of entire large and bounded solutions to a (<Emphasis Type="Italic">k</Emphasis><Subscript>1</Subscript>, <Emphasis Type="Italic">k</Emphasis><Subscript>2</Subscript>)-Hessian system with gradient term

In this paper, we study the existence of positive entire large and bounded radial positive solutions for the following nonlinear system

$$\left\{ {\begin{array}{*{20}c}{S_{k_1 } \left( {\lambda \left( {D^2 u_1 } \right)} \right) + a_1 \left( {\left| x \right|} \right)\left| {\nabla u_1 } \right|^{k_1 } = p_1 \left( {\left| x \right|} \right)f_1 \left( {u_2 } \right)} & {for x \in \mathbb{R}^N ,} \\{S_{k_2 } \left( {\lambda \left( {D^2 u_2 } \right)} \right) + a_2 \left( {\left| x \right|} \right)\left| {\nabla u_2 } \right|^{k_2 } = p_2 \left( {\left| x \right|} \right)f_2 \left( {u_1 } \right)} & {for x \in \mathbb{R}^N .} \\\end{array} } \right.$$

Here \({S_{{k_i}}}\left( {\lambda \left( {{D^2}{u_i}} \right)} \right)\) is the k _i -Hessian operator, a ₁, p ₁, f ₁, a ₂, p ₂ and f ₂ are continuous functions.

     

A note on skew characters of symmetric groups

In this paper we establish the following estimate:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant \frac{{{c_T}}}{{{\varepsilon ^2}}}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right){M_{L{{\left( {\log L} \right)}^{1 + \varepsilon }}}}} \omega \left( x \right)dx$$

where ω ≥ 0, 0 < ε < 1 and Φ(t) = t(1 + log⁺(t)). This inequality relies upon the following sharp L ^p estimate:

$${\left\| {\left[ {b,T} \right]f} \right\|_{{L^p}\left( \omega \right)}} \leqslant {c_T}{\left( {p'} \right)^2}{p^2}{\left( {\frac{{p - 1}}{\delta }} \right)^{\frac{1}{{p'}}}}{\left\| b \right\|_{BMO}}{\left\| f \right\|_{{L^p}\left( {{M_{L{{\left( {{{\log }_L}} \right)}^{2p - 1 + {\delta ^\omega }}}}}} \right)}}$$

where 1 < p < ∞, ω ≥ 0 and 0 < δ < 1. As a consequence we recover the following estimate essentially contained in [18]:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant {c_T}{\left[ \omega \right]_{{A_\infty }}}{\left( {1 + {{\log }^ + }{{\left[ \omega \right]}_{{A_\infty }}}} \right)^2}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right)M} \omega \left( x \right)dx.$$

We also obtain the analogue estimates for symbol-multilinear commutators for a wider class of symbols.

     

Simultaneous diophantine approximation in the real and <Emphasis Type="BoldItalic">p</Emphasis>-adic fields with nonmonotonic error function<Superscript>*</Superscript>

In this paper, we show that if the volume sum \( \sum\nolimits_{h = 1}^\infty {{h^{n - 1}}{\Psi^t}(h)} \) converges for a function ψ (not necessarily monotonic), then the set of points \( \left( {x,{w_1}, \ldots, {w_{t - 1}}} \right) \in {\mathbb R} \times {{\mathbb Q}_{{p_1}}} \times \ldots \times {{\mathbb Q}_{{p_{t - 1}}}} \) that simultaneously satisfy the inequalities \( \left| {P(x)} \right| < \Psi (H) {\text{and}} {\left| {P\left( {{w_i}} \right)} \right|_{{p_i}}} < \Phi (H), 1 \leqslant i \leqslant t - 1 \), for infinitely many integer polynomials P has measure zero.     

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.

     

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 ?¹.     

The prime-counting function and its analytic approximations

The paper describes a systematic computational study of the prime counting function π(x) and three of its analytic approximations: the logarithmic integral \({\text{li}}{\left( x \right)}: = {\int_0^x {\frac{{dt}}{{\log \,t}}} }\), \({\text{li}}{\left( x \right)} - \frac{1}{2}{\text{li}}{\left( {{\sqrt x }} \right)}\), and \(R{\left( x \right)}: = {\sum\nolimits_{k = 1}^\infty {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} \mathord{\left/ {\vphantom {{\mu {\left( k \right)}{\text{li}}{\left( {x^{{1 \mathord{\left/ {\vphantom {1 k}} \right. \kern-\nulldelimiterspace} k}} } \right)}} k}} \right. \kern-\nulldelimiterspace} k} }\), where μ is the Möbius function. The results show that π(x)x) for 2≤x≤10¹⁴, and also seem to support several conjectures on the maximal and average errors of the three approximations, most importantly \({\left| {\pi {\left( x \right)} - {\text{li}}{\left( x \right)}} \right|} < x^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}}\) and \( - \frac{2}{5}x^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} < {\int_2^x {{\left( {\pi {\left( u \right)} - {\text{li}}{\left( u \right)}} \right)}du < 0} }\) for all x>2. The paper concludes with a short discussion of prospects for further computational progress.     

Two nontrivial solutions of boundary-value problems for semilinear Δ<Subscript><Emphasis Type="Italic">γ</Emphasis></Subscript>-differential equations

In this paper, we study the existence of multiple solutions for the boundary-value problem

$${\Delta _\gamma }u + f\left( {x,u} \right) = 0in\Omega ,u = 0on\partial \Omega ,$$

where Ω is a bounded domain with smooth boundary in R ^N (N ≥ 2) and Δ _γ is the subelliptic operator of the type

$${\Delta _\gamma }u = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}u} \right)} ,{\partial _{{x_j}}}u = \frac{{\partial u}}{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \ldots ,{\gamma _N}} \right).$$

We use the three critical point theorem.

     

Existence of Infinitely Many Solutions for Δ<Subscript>γ</Subscript>-Laplace Problems

In this article, we study the existence of infinitelymany solutions for the boundary–value problem

$$ - {\Delta _\gamma }u + a\left( x \right)u = f\left( {x,u} \right)in\Omega ,u = 0on\partial \Omega $$

, where Ω is a bounded domain with smooth boundary in ? ^N (N ≥ 2) and Δ_γ is a subelliptic operator of the form

$${\Delta _\gamma }: = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}} \right)} ,{\partial _{{x_j}}}: = \frac{\partial }{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \cdots ,\gamma N} \right)$$

. Our main tools are the local linking and the symmetric mountain pass theorem in critical point theory.

     

Hrmander Type Theorem for Fourier Multipliers with Optimal Smoothness on Hardy Spaces of Arbitrary Number of Parameters

The main purpose of this paper is to establish the Hormander-Mihlin type theorem for Fourier multipliers with optimal smoothness on k-parameter Hardy spaces for k≥ 3 using the multiparameter Littlewood-Paley theory. For the sake of convenience and simplicity, we only consider the case k = 3, and the method works for all the cases k≥ 3:■where x =(x_1,x_2,x_3)∈R~(n_1)×R~(n_2)×R~(n_3) and ξ =(ξ_1,ξ_2,ξ_3)∈R~(n_1)×R~(n_2)×R~(n_3). One of our main results is the following:Assume that m(ξ) is a function on R~(n_1+n_2+n_3) satisfying ■ with s_i n_i(1/p-1/2) for 1≤i≤3. Then T_m is bounded from H~p(R~(n_1)×R~(n_2)×R~(n_3) to H~p(R~(n_1)×R~(n_2)×R~(n_3)for all 0 p≤1 and ■ Moreover, the smoothness assumption on s_i for 1≤i≤3 is optimal. Here we have used the notations m_(j,k,l)(ξ)=m(2~jξ_1,2~kξ_2,2~lξ_3)Ψ(ξ_1)Ψ(ξ_2)Ψ(ξ_3) and Ψ(ξ_i) is a suitable cut-off function on R~(n_i) for1≤i≤3, and W~(s_1,s_2,s_3) is a three-parameter Sobolev space on R~(n_1)×R~(n_2)× R~(n_3).Because the Fefferman criterion breaks down in three parameters or more, we consider the L~p boundedness of the Littlewood-Paley square function of T_mf to establish its boundedness on the multi-parameter Hardy spaces.     

Some Zygmund type inequalities for the <Emphasis Type="Italic">s</Emphasis>th derivative of polynomials

For a polynomial P(z) of degree n having no zeros in |z| < 1, it was recently proved in [9] that

$$\left| {{z^s}{P^{\left( s \right)}}\left( z \right) + \beta \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{{{2^s}}}P\left( z \right)} \right| \leqslant \frac{{n\left( {n - 1} \right)...\left( {n - s + 1} \right)}}{2}\left( {\left| {1 + \frac{\beta }{{{2^s}}}} \right| + \left| {\frac{\beta }{{{2^s}}}} \right|} \right)\mathop {\max }\limits_{\left| z \right| = 1} \left| {P\left( z \right)} \right|$$

for every β ∈ C with |β| ≤ 1, 1 ≤ s ≤ n and |z| = 1. In this paper, we obtain the L _p mean extension of the above and other related results for the sth derivative of polynomials.

     

Stabilization by output of continuous and pulse-modulated uncertain systems

The system ? _i = ? _i (?) + x _i+2, \(i \in \overline {1,n - 2} \), ? _n?1 = ? _n?1(?) + u ₁, ? _n = ? _n (?) + u ₂,where ? _i (·) are nonanticipating functionals of an arbitrary nature with the following properties—\(\left| {{\varphi _i}\left( \cdot \right)} \right| \leqslant c\sum\nolimits_{k = 1}^i {\left| {{x_k}\left( t \right)} \right|} \), \(i \in \overline {1,n} \), c = const—and u ₁ and u ₂ are the controls is considered. It is assumed that only the outputs x ₁ and x ₂ are measurable. The problem of synthesis of both continuous and impulsive controls u1 and u2, which make the system globally asymptotically stable, is solved. The solution of the problem is based on the construction of the observer-based equations, the quadratic Lyapunov function, and the averaging method.     

Complementary inequalities to improved AM-GM inequality

Following an idea of Lin, we prove that if A and B are two positive operators such that 0 mI ≤ A ≤m'I≤ M'I ≤ B ≤ MI, then Φ~2(A+B/2)≤K~2(h)/(1+(logM'/m'/g))~2Φ~2(A≠B) and Φ~2(A+B/2)≤K~2(h)/(1+(logM'/m'/g))~2(Φ(A)≠Φ(B))~2 where K(h)=(h+1)~2/4 and h = M/m and Φ is a positive unital linear map.     

Some <Emphasis Type="Italic">q</Emphasis>-inequalities for Hausdorff operators

We calculate the sharp bounds for some q-analysis variants of Hausdorff type inequalities of the form

$$\int_0^{ + \infty } {{{\left( {\int_0^{ + \infty } {\frac{{\phi \left( t \right)}}{t}f\left( {\frac{x}{t}} \right){d_q}t} } \right)}^p}{d_q}x} \leqslant {C_\phi }\int_0^b {{f^p}\left( t \right)} {d_q}t$$

. As applications, we obtain several sharp q-analysis inequalities of the classical positive integral operators, including the Hardy operator and its adjoint operator, the Hilbert operator, and the Hardy-Littlewood-Pólya operator.

     

Derivative formulas and Poincaré inequality for Kohn-Laplacian type semigroups

As a generalization to the heat semigroup on the Heisenberg group, the diffusion semigroup generated by the subelliptic operator L :=1/2 sum from i=1 to m X_i~2 on R~(m+d):= R~m× R~d is investigated, where X_i(x, y) = sum (σki?xk) from k=1 to m+sum (((A_lx)_i?_(yl)) from t=1 to d,(x, y) ∈ R~(m+d), 1 ≤ i ≤ m for σ an invertible m × m-matrix and {A_l}_1 ≤ l ≤d some m × m-matrices such that the Hrmander condition holds.We first establish Bismut-type and Driver-type derivative formulas with applications on gradient estimates and the coupling/Liouville properties, which are new even for the heat semigroup on the Heisenberg group; then extend some recent results derived for the heat semigroup on the Heisenberg group.     

A note on some results of Hua in short intervals

In this paper, we improve the previous results of the authors [G. Lü and H. Tang, On some results of Hua in short intervals, Lith. Math. J., 50(1):54–70, 2010] by proving that each sufficiently large integer N satisfying some congruence conditions can be written as

$ \left\{ {\begin{array}{*{20}{c}} {N = p_1^2 + p_2^2 + p_3^2 + p_4^2 + {p^k},} \hfill \\ {\left| {{p_j} - \sqrt {{\frac{N}{5}}} } \right| \leqslant U,\quad \left| {p - {{\left( {\frac{N}{5}} \right)}^{\frac{1}{k}}}} \right| \leqslant U\,{N^{ - \frac{1}{2} + \frac{1}{k}}},\quad j = 1,\,2,\,\,3,\,4,} \hfill \\ \end{array} } \right. $

where U = N ^1/2?η+ε with \( \eta = \frac{1}{{2k\left( {{K^2} + 1} \right)}} \) and K = 2k ^?1, k ? 2.

     

On Bohr’s inequality

It is established that H. Bohr’s inequality \(\sum\nolimits_{k = 0}^\infty {\left| {{{f^{\left( k \right)} \left( 0 \right)} \mathord{\left/ {\vphantom {{f^{\left( k \right)} \left( 0 \right)} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right. \kern-\nulldelimiterspace} {\left( {2^{{k \mathord{\left/ {\vphantom {k 2}} \right. \kern-\nulldelimiterspace} 2}} k!} \right)}}} \right| \leqslant \sqrt 2 \left\| f \right\|_\infty }\) is sharp on the class H _∞.     

Boundedness of Hausdorff operators on the power weighted Hardy spaces

In this paper, we consider the two-dimensional Hausdorff operators on the power weighted Hardy space H_(|x|α)~1(R~2) ( -1 ≤α≤0), defined by H_(Φ,A)f(x)=∫R~2Φ(u)f(A(u)x)du,where Φ∈L_loc~1(R~2),A(u) = (α_(ij)(u))_(i,j=1)~2 is a 2×2 matrix, and each α_(i,j) is a measurablefunction.We obtain that HΦ,A is bounded from H_(|x|~α)~1(R~2) ( -1≤α≤0) to itself, if∫R2|Φ(u)‖det A~(-1)(u)|‖A(u)‖~(-α)ln(1+‖A~(-1)(u)‖~2/|det A~(-1)(u)|)du∞.This result improves some known theorems, and in some sense it is sharp.     

Sharp Estimates for Mean Square Approximations of Classes of Differentiable Periodic Functions by Shift Spaces

Let L₂ be the space of 2π-periodic square-summable functions and E(f, X)₂ be the best approximation of f by the space X in L₂. For n ∈ ? and B ∈ L₂, let \({{\Bbb S}_{B,n}}\) be the space of functions s of the form \(s\left( x \right) = \sum\limits_{j = 0}^{2n - 1} {{\beta _j}B\left( {x - \frac{{j\pi }}{n}} \right)} \). This paper describes all spaces \({{\Bbb S}_{B,n}}\) that satisfy the exact inequality \(E{\left( {f,{S_{B,n}}} \right)_2} \leqslant \frac{1}{{^{{n^r}}}}\parallel {f^{\left( r \right)}}{\parallel _2}\). (2n–1)-dimensional subspaces fulfilling the same estimate are specified. Well-known inequalities are for approximation by trigonometric polynomials and splines obtained as special cases.