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.

     

A logarithmically improved regularity criterion for the supercritical quasi-geostrophic equations in Besov space

In this paper, we consider the logarithmically improved regularity criterion for the supercritical quasi-geostrophic equation in Besov space \(\dot B_{\infty ,\infty }^{ - r}\left( {{\mathbb{R}^2}} \right)\). The result shows that if θ is a weak solutions satisfies

$$\int_0^T {\frac{{\left\| {\nabla \theta ( \cdot ,s)} \right\|_{\dot B_{\infty ,\infty }^{ - r} }^{\tfrac{\alpha }{{\alpha - r}}} }}{{1 + \ln \left( {e + \left\| {\nabla ^ \bot \theta ( \cdot ,s)} \right\|_{L^{\tfrac{2}{r}} } } \right)!}}ds < \infty for some 0 < r < \alpha and 0 < \alpha < 1,}$$

then θ is regular at t = T. In view of the embedding \({L^{\frac{2}{r}}} \subset M_{\frac{2}{r}}^p \subset \dot B_{\infty ,\infty }^{ - r}\) with \(2 \leqslant p < \frac{2}{r}\) and 0 ≤ r < 1, we see that our result extends the results due to [20] and [31].

     

Break-down criterion for the water-wave equation

We study the break-down mechanism of smooth solution for the gravity water-wave equation of infinite depth. It is proved that if the mean curvature κ of the free surface Σt, the trace(V, B) of the velocity at the free surface, and the outer normal derivative ?P/?n of the pressure P satisfy sup t∈[0,T]||κ(t)||~(Lp∩L~2+∫~T_0||(▽V, ▽B)(t)||~6_(L∞)dt+∞,inf (t,x,y)∈[0,T]×Σ_t-?P/?n(t, x, y)≥c0,for some p 2d and c_0 0, then the solution can be extended after t = T.     

Aubry–Mather Sets for Relativistic Oscillators with Anharmonic Potentials

In this paper, by the Aubry–Mather theory, it is proved that there are many periodic solutions and usual or generalized quasiperiodic solutions for relativistic oscillator with anharmonic potentials models d/dt(x/(1-|x|~2~(1/2))+ |x|~(α-1)x=p(t),where p(t) ∈ C~0(R~1) is 1-periodic and α 0.     

Fixed points of meromorphic functions and of their differences,divided differences and shifts

Let f(z) be a finite order meromorphic function and let c∈C\{0} be a constant.If f(z)has a Borel exceptional value a∈C,it is proved that max{τ(f(z)),τ(△_cf(z))}=max{τ(f(z)),τ(f(z+c))}=max{τ(△_cf(z)),τ(f(z+c))}=σ(f(z)).If f(z) has a Borel exceptional value b∈(C\{0})∪{∞},it is proved that max{τ(f(z)),τ(△cf(z)/f(z))}=max{τ(△cf(z)/f(z)),τ(f(z+c))}=σ(f(z)) unless f(z) takes a special form.Here τ(g(z)) denotes the exponent of convergence of fixed points of the meromorphic function g(z),and σ(g(z)) denotes the order of growth of g(z).     

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.

     

Two-weight inequality for operator-valued positive dyadic operators by parallel stopping cubes

We study the operator-valued positive dyadic operator

$${T_\lambda }\left( {f\sigma } \right): = \sum\limits_{Q \in D} {{\lambda _Q}} \int_Q {fd\sigma 1Q}, $$

where the coefficients {λ _Q : C → D} _Q∈D are positive operators from a Banach lattice C to a Banach lattice D. We assume that the Banach lattices C and D* each have the Hardy–Littlewood property. An example of a Banach lattice with the Hardy–Littlewood property is a Lebesgue space.

In the two-weight case, we prove that the L _C ^p (σ) → L _D ^q (ω) boundedness of the operator T _λ( · σ) is characterized by the direct and the dual L ^∞ testing conditions:

$$\left\| {{1_Q}{T_\lambda }} \right\|{\left( {{1_Q}f\sigma } \right)||_{L_D^q\left( \omega \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\sigma } \right)}}\sigma {\left( Q \right)^{1/p}}$$

,

$${\left\| {{1_Q}{T_\lambda }*\left( {{1_{Qg\omega }}} \right)} \right\|_{L_{C*}^{p'}\left( \sigma \right)}} \lesssim {\left\| g \right\|_{L_{D*}^\infty \left( {Q,\omega } \right)}}\omega {\left( Q \right)^{1/q'}}$$

.

Here L _C ^p (σ) and L _D ^q (ω) denote the Lebesgue–Bochner spaces associated with exponents 1 < p ≤ q < ∞, and locally finite Borel measures σ and ω.

In the unweighted case, we show that the L _C ^p (μ) → L _D ^p (μ) boundedness of the operator T _λ( · μ) is equivalent to the end-point direct L ^∞ testing condition:

$${\left\| {{1_Q}{T_\lambda }\left( {{1_Q}f\mu } \right)} \right\|_{L_D^1\left( \mu \right)}} \lesssim {\left\| f \right\|_{L_C^\infty \left( {Q,\mu } \right)}}\left( {Q,\mu } \right)\mu \left( Q \right)$$

.

This condition is manifestly independent of the exponent p. By specializing this to particular cases, we recover some earlier results in a unified way.     

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.     

A generalized Khintchine inequality in rearrangement invariant spaces

Let X be a separable or maximal rearrangement invariant space on [0, 1]. Necessary and sufficient conditions are found under which the generalized Khintchine inequality

$\left\| {\sum\limits_{k = 1}^\infty {f_k } } \right\|_X \leqslant C\left\| {\left( {\sum\limits_{k = 1}^\infty {f_k^2 } } \right)^{1/2} } \right\|_X $

holds for an arbitrary sequence {?_k} _k=1 ^∞ ? X of mean zero independent variables. Moreover, the subspace spanned in a rearrangement invariant space by the Rademacher system with independent vector coefficients is studied.

     

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.     

<Emphasis Type="Italic">L</Emphasis>-Approximation of a linear combination of the poisson kernel and its conjugate kernel by trigonometric polynomials

A linear combination Π _q,α = cos(απ/2)P + sin(απ/2)Q of the Poisson kernel P(t) = 1/2 + q cos t + q ² cos 2t + ... and its conjugate kernel Q(t) = q sin t + q ² sin 2t + ... is considered for α ∈ ? and |q| < 1. A new explicit formula is found for the value E _n?1(Π _q,α ) of the best approximation in the space L = L _2π of the function Π _q,α by the subspace of trigonometric polynomials of order at most n ? 1. More exactly, it is proved that \(E_{n - 1} \left( {\prod _{q,\alpha } } \right) = \left. {\frac{{\left| q \right|^n \left( {1 - q^2 } \right)}}{{1 - q^{4n} }}} \right\|\left. {\frac{{\cos \left( {nt - {{\alpha \pi } \mathord{\left/ {\vphantom {{\alpha \pi } 2}} \right. \kern-\nulldelimiterspace} 2}} \right) - q^{2n} \cos \left( {nt + {{\alpha \pi } \mathord{\left/ {\vphantom {{\alpha \pi } 2}} \right. \kern-\nulldelimiterspace} 2}} \right)}}{{1 - q^2 - 2q \cos t}}} \right\|_L\). In addition, the value E _n?1(Π _q,α ) is represented as a rapidly convergent series.     

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.

     

On convex hull of Gaussian samples

Let X _i = {X _i (t), t ∈ T} be i.i.d. copies of a centered Gaussian process X = {X(t), t ∈ T} with values in\( {\mathbb{R}^d} \) defined on a separable metric space T. It is supposed that X is bounded. We consider the asymptotic behavior of convex hulls

$ {W_n} = {\text{conv}}\left\{ {{X_1}(t), \ldots, {X_n}(t),\,\,t \in T} \right\} $

and show that, with probability 1,

$ \mathop {{\lim }}\limits_{n \to \infty } \frac{1}{{\sqrt {{2\ln n}} }}{W_n} = W $

(in the sense of Hausdorff distance), where the limit shape W is defined by the covariance structure of X: W = conv{K _t , t ∈ T}, Kt being the concentration ellipsoid of X(t). We also study the asymptotic behavior of the mathematical expectations E f(W _n ), where f is an homogeneous functional.

     

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.

     

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.     

Carleson measures,BMO spaces and balayages associated to Schrdinger operators

Let L be a Schrdinger operator of the form L =-? + V acting on L~2(R~n), n≥3, where the nonnegative potential V belongs to the reverse Hlder class B_q for some q≥n. Let BMO_L(R~n) denote the BMO space associated to the Schrdinger operator L on R~n. In this article, we show that for every f ∈ BMO_L(R~n) with compact support, then there exist g ∈ L~∞(R~n) and a finite Carleson measure μ such that f(x) = g(x) + S_(μ,P)(x) with ∥g∥∞ + |||μ|||c≤ C∥f∥BMO_L(R~n), where S_(μ,P)=∫(R_+~(n+1))Pt(x,y)dμ(y, t),and Pt(x, y) is the kernel of the Poisson semigroup {e-~(t(L)~(1/2))}t0 on L~2(R~n). Conversely, if μ is a Carleson measure, then S_(μ,P) belongs to the space BMO_L(R~n). This extends the result for the classical John-Nirenberg BMO space by Carleson(1976)(see also Garnett and Jones(1982), Uchiyama(1980) and Wilson(1988)) to the BMO setting associated to Schrdinger operators.     

Small-time sharp bounds for kernels of convolution semigroups

We study small-time bounds for transition densities of convolution semigroups corresponding to pure jump Lévy processes in R ^d , d ≥ 1, including the processes with jump measures which are exponentially and subexponentially localized at ∞. For a large class of Lévy measures, not necessarily symmetric or absolutely continuous with respect to Lebesgue measure, we find the optimal upper bound in both time and space for the corresponding heat kernels at ∞. In case of Lévy measures that are symmetric and absolutely continuous with densities g such that g(x) ? f(|x|) for non-increasing profile functions f, we also prove the full characterization of the sharp two-sided transition densities bounds of the form

$${p_t}\left( x \right) \asymp h{\left( t \right)^{ - d}} \cdot {1_{\left\{ {\left| x \right| \leqslant \theta h\left( t \right)} \right\}}} + tg\left( x \right) \cdot {1_{\left\{ {\left| x \right| \geqslant \theta h\left( t \right)} \right\}}},t \in \left( {0,{t_0}} \right),{t_0} > 0,x \in {\mathbb{R}^d}.$$

This is done for small and large x separately. Mainly, our argument is based on new precise upper bounds for convolutions of Lévy measures. Our investigations lead to a surprising dichotomy correspondence of the decay properties at ∞ for transition densities of pure jump Lévy processes. All results are obtained solely by analytic methods, without use of probabilistic arguments.

     

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space:?????(-?)~mu(x)=u~p(x)/|x|~s,in R_+~n,u(x)=-?u(x)=…=(-?)~(m-1)u(x)=0,on ?R_+~n,(0.1)where m is any positive integer satisfying 02mn.We first prove that the positive solutions of(0.1)are super polyharmonic,i.e.,(-?)~iu0,i=0,1,...,m-1.(0.2) For α=2m,applying this important property,we establish the equivalence between (0.1) and the integral equation u(x)=c_n∫R_+~n(1/|x-y|~(n-α)-1/|x~*-y|~(n-α))u~p(y)/|y|~sdy,(0.3) where x~*=(x1,...,x_(n-1),-x_n) is the reflection of the point x about the plane R~(n-1).Then,we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of(0.3),in whichαcan be any real number between 0 and n.By some Pohozaev type identities in integral forms,we prove a Liouville type theorem—the non-existence of positive solutions for(0.1).     

Conditional exponential stability of a differential system with linear dichotomous Coppel-Conti approximation

We prove the conditional exponential stability of the zero solution of the nonlinear differential system

$$\dot y = A(t)y + f(t,y),{\mathbf{ }}y \in R^n ,{\mathbf{ }}t \geqslant 0,$$

with L ^p -dichotomous linear Coppel-Conti approximation .x = A(t)x whose principal solution matrix X _A (t), X _A (0) = E, satisfies the condition

$$\mathop \smallint \limits_0^t \left\| {X_A (t)P_1 X_A^{ - 1} (\tau )} \right\|^p d\tau + \mathop \smallint \limits_t^{ + \infty } \left\| {X_A (t)P_2 X_A^{ - 1} (\tau )} \right\|^p d\tau \leqslant C_p (A) < + \infty ,{\mathbf{ }}p \geqslant 1,{\mathbf{ }}t \geqslant 0,$$

where P ₁ and P ₂ are complementary projections of rank k ∈ {1, …, n ? 1} and rank n ? k, respectively, and with a higher-order infinitesimal perturbation f:[0, ∞) × U → R ⁿ that is piecewise continuous in t ≥ 0 and continuous in y in some neighborhood U of the origin.

     

Asymptotic behavior of the solution of a nonlinear integro-differential diffusion equation

We study the asymptotic behavior as t → ∞ of the solution of the initial-boundary value problem for the nonlinear integro-differential equation

$$\frac{{\partial U}}{{\partial t}} = \frac{\partial }{{\partial x}}\left[ {a\left( {\mathop \smallint \limits_0^t \left( {\frac{{\partial U}}{{\partial x}}} \right)^2 d\tau } \right)\frac{{\partial U}}{{\partial x}}} \right],$$

where a(S) = (1 + S) ^p , 0 < p ≤ 1. We consider problems with homogeneous boundary conditions as well as with a nonhomogeneous boundary condition on part of the boundary. The orders of convergence are established.