Pointwise characterizations of Besov and Triebel–Lizorkin spaces and quasiconformal mappings

In this paper, the authors characterize, in terms of pointwise inequalities, the classical Besov spaces and Triebel–Lizorkin spaces for all s∈(0,1) and p,q∈(n/(n+s),∞], both in Rn and in the metric measure spaces enjoying the doubling and reverse doubling properties. Applying this characterization, the authors prove that quasiconformal mappings preserve on Rn for all s∈(0,1) and q∈(n/(n+s),∞]. A metric measure space version of the above morphism property is also established.     

Sharp anisotropic estimates for the Boltzmann collision operator and its entropy production

This article provides sharp constructive upper and lower bound estimates for the Boltzmann collision operator with the full range of physical non-cut-off collision kernels (γ>−n and s∈(0,1)) in the trilinear L²(Rn) energy 〈Q(g,f),f〉. These new estimates prove that, for a very general class of g(v), the global diffusive behavior (on f) in the energy space is that of the geometric fractional derivative semi-norm identified in the linearized context in our earlier works (Gressman and Strain, 2010 [15], 2011 [16]). We further prove new global entropy production estimates with the same anisotropic semi-norm. This resolves the longstanding, widespread heuristic conjecture about the sharp diffusive nature of the non-cut-off Boltzmann collision operator in the energy space L²(Rn).     

Interpolation theorems for variable exponent Lebesgue spaces

When Hardy-Littlewood maximal operator is bounded on Lp(⋅)(Rn) space we prove θ[Lp(⋅)(Rn),BMO(Rn)]=Lq(⋅)(Rn) where q(⋅)=p(⋅)/(1−θ) and θ[Lp(⋅)(Rn),H¹(Rn)]=Lq(⋅)(Rn) where 1/q(⋅)=θ+(1−θ)/p(⋅).     

The index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, index(DA), of the operator DA=(d/dt)+A on L²(R;H) associated with the operator path , where (Af)(t)=A(t)f(t) for a.e. t∈R, and appropriate f∈L²(R;H), via the spectral shift function ξ(⋅;A₊,A₋) associated with the pair (A₊,A₋) of asymptotic operators A_±=A(±∞) on the separable complex Hilbert space H in the case when A(t) is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator A₋.We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function ξ(⋅;A₊,A₋) for the pair (A₊,A₋), and the corresponding spectral shift function ξ(⋅;H₂,H₁) for the pair of operators in this relative trace class context,This formula is then used to identify the Fredholm index of DA with ξ(0;A₊,A₋). In addition, we prove that index(DA) coincides with the spectral flow of the family {A(t)}_t∈R and also relate it to the (Fredholm) perturbation determinant for the pair (A₊,A₋): with the choice of the branch of ln(detH(⋅)) on C₊ such thatWe also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.     

Some remarks on the Hardy-Littlewood maximal function on variable <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

We show that any pointwise multiplier for BMO(ℝⁿ) generates a function p from the class (ℝⁿ) of those functions for which the Hardy-Littlewood maximal operator is bounded on the variable L^p space. In particular, this gives a positive answer to Diening's conjecture saying that there are discontinuous functions which nevertheless belong to (ℝⁿ).     

Boundary trace embedding theorems for variable exponent Sobolev spaces

We study boundary trace embedding theorems for variable exponent Sobolev space W1,p(⋅)(Ω). Let Ω be an open (bounded or unbounded) domain in RN satisfying strong local Lipschitz condition. Under the hypotheses that p∈L^∞(Ω), 1?infp(x)?supp(x)<N, |∇p|∈Lγ(⋅)(Ω), where γ∈L^∞(Ω) and infγ(x)>N, we prove that there is a continuous boundary trace embedding W1,p(⋅)(Ω)→Lq(⋅)(∂Ω) provided q(⋅), a measurable function on ∂Ω, satisfies condition for x∈∂Ω.     

On singular integrals along surfaces related to black spaces

Leth(t) be an arbitrary bounded radial function and let (x) be a real measurable and radial function defined onR ^n–1. Forx, yR ^n–1, we establish that the singular integral along surfacex (x, (x)):

New Orlicz-Hardy spaces associated with divergence form elliptic operators

Let L be the divergence form elliptic operator with complex bounded measurable coefficients, ω the positive concave function on (0,∞) of strictly critical lower type pω∈(0,1] and ρ(t)=t−1/ω−1(t−1) for t∈(0,∞). In this paper, the authors study the Orlicz-Hardy space Hω,L(Rn) and its dual space BMOρ,L^*(Rn), where L^* denotes the adjoint operator of L in L²(Rn). Several characterizations of Hω,L(Rn), including the molecular characterization, the Lusin-area function characterization and the maximal function characterization, are established. The ρ-Carleson measure characterization and the John-Nirenberg inequality for the space BMOρ,L(Rn) are also given. As applications, the authors show that the Riesz transform ∇L−1/2 and the Littlewood-Paley g-function gL map Hω,L(Rn) continuously into L(ω). The authors further show that the Riesz transform ∇L−1/2 maps Hω,L(Rn) into the classical Orlicz-Hardy space Hω(Rn) for and the corresponding fractional integral L−γ for certain γ>0 maps Hω,L(Rn) continuously into , where is determined by ω and γ, and satisfies the same property as ω. All these results are new even when ω(t)=tp for all t∈(0,∞) and p∈(0,1).     

On spacelike hypersurfaces with constant scalar curvature in the anti-de Sitter space

In this paper, we classify complete spacelike hypersurfaces in the anti-de Sitter space (n?3) with constant scalar curvature and with two principal curvatures. Moreover, we prove that if Mn is a complete spacelike hypersurface with constant scalar curvature n(n−1)R and with two distinct principal curvatures such that the multiplicity of one of the principal curvatures is n−1, then R<(n−2)c/n. Additionally, we also obtain several rigidity theorems for such hypersurfaces.     

The Maximal Operator Associated to a Nonsymmetric Ornstein–Uhlenbeck Semigroup

Let (ℋ _t ) _t≥0 be the Ornstein–Uhlenbeck semigroup on ℝ ^d with covariance matrix I and drift matrix λ(R−I), where λ>0 and R is a skew-adjoint matrix, and denote by γ _∞ the invariant measure for (ℋ _t ) _t≥0. Semigroups of this form are the basic building blocks of Ornstein–Uhlenbeck semigroups which are normal on L ²(γ _∞). We prove that if the matrix R generates a one-parameter group of periodic rotations, then the maximal operator ℋ_* f(x)=sup  _t≥o |ℋ _t f(x)| is of weak type 1 with respect to the invariant measure γ _∞. We also prove that the maximal operator associated to an arbitrary normal Ornstein–Uhlenbeck semigroup is bounded on L ^p (γ _∞) if and only if 1<p≤∞.      

Maximal function on Musielak-Orlicz spaces and generalized Lebesgue spaces

We consider the Hardy-Littlewood maximal operator M on Musielak-Orlicz Spaces Lφ(Rd). We give a necessary condition for the continuity of M on Lφ(Rd) which generalizes the concept of Muckenhoupt classes. In the special case of generalized Lebesgue spaces Lp(⋅)(Rd) we show that this condition is also sufficient. Moreover, we show that the condition is “left-open” in the sense that not only M but also Mq is continuous for some q>1, where .     

Accretive operators and Cassels inequality

Let a,b>0 and let Z∈M_n(R) such that Z lies into the operator ball of diameter [aI,bI]. Then for all positive definite A∈M_n(R),

     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

On linear and nonlinear fourth-order eigenvalue problems with indefinite weight

We determine the principal eigenvalues of the linear indefinite weight problem Moreover, we investigate the existence of positive solutions for the corresponding nonlinear indefinite weight problem, where g:[0,1]→R is a continuous function which attains both positive and negative values, f∈C(R,R), and r is a parameter.     

Sharp weighted norm inequalities for Littlewood–Paley operators and singular integrals

We prove sharp Lp(w) norm inequalities for the intrinsic square function (introduced recently by M. Wilson) in terms of the Ap characteristic of w for all 1<p<∞. This implies the same sharp inequalities for the classical Lusin area integral S(f), the Littlewood–Paley g-function, and their continuous analogs Sψ and gψ. Also, as a corollary, we obtain sharp weighted inequalities for any convolution Calderón–Zygmund operator for all 1<p?3/2 and 3?p<∞, and for its maximal truncations for 3?p<∞.     

A note on the existence of singular integrals

Abstract. In this note the existence of a singular integral operator T acting on Lipo(R“) spacesis studied. Suppose     

Weak- and strong-type inequality for the cone-like maximal operator in variable Lebesgue spaces

The classical Hardy-Littlewood maximal operator is bounded not only on the classical Lebesgue spaces L_p(R^d) (in the case p > 1), but (in the case when 1/p(·) is log-Hölder continuous and p- = inf{p(x): x ∈ R^d > 1) on the variable Lebesgue spaces L_p(·)(R^d), too. Furthermore, the classical Hardy-Littlewood maximal operator is of weak-type (1, 1). In the present note we generalize Besicovitch’s covering theorem for the so-called γ-rectangles. We introduce a general maximal operator M_s^γδ, and with the help of generalized Φ-functions, the strong- and weak-type inequalities will be proved for this maximal operator. Namely, if the exponent function 1/p(·) is log-Hölder continuous and p- ≥ s, where 1 ≤ s ≤ ∞ is arbitrary (or p- ≥ s), then the maximal operator M_s^γδ is bounded on the space L_p(·)(R^d) (or the maximal operator is of weak-type (p(·), p(·))).     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-spectrum of Banach space valued Ornstein–Uhlenbeck operators

We characterize the L ¹(E,μ _∞)-spectrum of the Ornstein–Uhlenbeck operator , where μ _∞ is the invariant measure for the Ornstein–Uhlenbeck semigroup generated by L. The main result covers the general case of an infinite-dimensional Banach space E under the assumption that the point spectrum of A ^* is nonempty and extends several recent related results.     

A necessary condition for Calderón-Zygmund singular integral operators

Calderón-Zygmund singular integral operators have been extensively studied for almost half a century. This paper provides a context for and proof of the following result: If a Calderón-Zygmund convolution singular integral operator is bounded on the Hardy space H¹ (Rⁿ), then the homogeneous of degree zero kernel is in the Hardy space H¹(S^n–1) on the sphere.     

Marcinkiewicz Integrals with Non-Doubling Measures

Let μ be a positive Radon measure on which may be non doubling. The only condition that μ must satisfy is μ(B(x, r)) ≤ Cr ⁿ for all , r > 0 and some fixed constants C > 0 and n ∈ (0, d]. In this paper, we introduce the Marcinkiewicz integral related to a such measure with kernel satisfying some H?rmander-type condition, and assume that it is bounded on L ²(μ). We then establish its boundedness, respectively, from the Lebesgue space L ¹(μ) to the weak Lebesgue space L ^1,∞(μ), from the Hardy space H ¹(μ) to L ¹(μ) and from the Lebesgue space L ^∞(μ) to the space RBLO(μ). As a corollary, we obtain the boundedness of the Marcinkiewicz integral in the Lebesgue space L ^p (μ) with p ∈ (1,∞). Moreover, we establish the boundedness of the commutator generated by the RBMO(μ) function and the Marcinkiewicz integral with kernel satisfying certain slightly stronger H?rmander-type condition, respectively, from L ^p (μ) with p ∈ (1,∞) to itself, from the space L log L(μ) to L ^1,∞(μ) and from H ¹(μ) to L ^1,∞(μ). Some of the results are also new even for the classical Marcinkiewicz integral. The third (corresponding) author was supported by National Science Foundation for Distinguished Young Scholars (No. 10425106) and NCET (No. 04-0142) of China.