Characterizations of Besov-type and Triebel-Lizorkin-type spaces via maximal functions and local means

Let s∈R. In this paper, the authors first establish the maximal function characterizations of the Besov-type space with and τ∈[0,∞), the Triebel-Lizorkin-type space with p∈(0,∞), q∈(0,∞] and τ∈[0,∞), the Besov-Hausdorff space with p∈(1,∞), q∈[1,∞) and and the Triebel-Lizorkin-Hausdorff space with and , where t^′ denotes the conjugate index of t∈[1,∞]. Using this characterization, the authors further obtain the local mean characterizations of these function spaces via functions satisfying the Tauberian condition and establish a Fourier multiplier theorem on these spaces. All these results generalize the existing classical results on Besov and Triebel-Lizorkin spaces by taking τ=0 and are also new even for Q spaces and Hardy-Hausdorff spaces.     

On fractional maximal function and fractional integrals associated with the Dunkl operator on the real line

In this paper we obtain necessary and sufficient conditions on the parameters for the boundedness of the Dunkl-type fractional maximal operator Mβ, and the Dunkl-type fractional integral operator Iβ from the spaces Lp,α(R) to the spaces Lq,α(R), 1<p<q<∞, and from the spaces L1,α(R) to the weak spaces WLq,α(R), 1<q<∞. In the case , we prove that the operator Mβ is bounded from the space Lp,α(R) to the space L∞,α(R), and the Dunkl-type modified fractional integral operator is bounded from the space Lp,α(R) to the Dunkl-type BMO space BMOα(R). By this results we get boundedness of the operators Mβ and Iβ from the Dunkl-type Besov spaces to the spaces , 1<p<q<∞, 1/p−1/q=β/(2α+2), 1?θ?∞ and 0<s<1.     

Carleson embeddings for Sobolev spaces via heat equation

Let u(t,x) be the solution of the heat equation (∂_t-Δ_x)u(t,x)=0 on subject to u(0,x)=f(x) on Rⁿ. The main goal of this paper is to characterize such a nonnegative measure μ on that f(x)?u(t²,x) induces a bounded embedding from the Sobolev space , p∈[1,n) into the Lebesgue space , q∈(0,∞).     

On the Dirichlet semigroup for Ornstein-Uhlenbeck operators in subsets of Hilbert spaces

We consider a family of self-adjoint Ornstein-Uhlenbeck operators Lα in an infinite dimensional Hilbert space H having the same gaussian invariant measure μ for all α∈[0,1]. We study the Dirichlet problem for the equation λφ−Lαφ=f in a closed set K, with f∈L²(K,μ). We first prove that the variational solution, trivially provided by the Lax-Milgram theorem, can be represented, as expected, by means of the transition semigroup stopped to K. Then we address two problems: 1) the regularity of the solution φ (which is by definition in a Sobolev space ) of the Dirichlet problem; 2) the meaning of the Dirichlet boundary condition. Concerning regularity, we are able to prove interior regularity results; concerning the boundary condition we consider both irregular and regular boundaries. In the first case we content to have a solution whose null extension outside K belongs to . In the second case we exploit the Malliavin's theory of surface integrals which is recalled in Appendix A of the paper, then we are able to give a meaning to the trace of φ at ∂K and to show that it vanishes, as it is natural.     

A new variational characterization of the Wulff shape

Given a positive function F on Sn which satisfies a convexity condition, we define the rth anisotropic mean curvature function Mr for hypersurfaces in Rn+1 which is a generalization of the usual rth mean curvature function. Let be an n-dimensional closed hypersurface with , for some r with 1?r?n−1, which is a critical point for a variational problem. We show that X(M) is stable if and only if X(M) is the Wulff shape.     

Kernels of Gramian operators for frames in shift-invariant subspaces

For an invertible n×n matrix B and Φ a finite or countable subset of L²(Rⁿ), consider the collection X={?(·-Bk):?∈Φ,k∈Zⁿ} generating the closed subspace M of L²(Rⁿ). Our main objects of interest in this paper are the kernel of the associated Gramian G(.) and dual Gramian operator-valued functions. We show in particular that the orthogonal complement of M in L²(Rⁿ) can be generated by a Parseval frame obtained from a shift-invariant system having m generators where . Furthermore, this Parseval frame can be taken to be an orthonormal basis exactly when almost everywhere. Analogous results in terms of dim(Ker(G(.))) are also obtained concerning the existence of a collection of m sequences in the orthogonal complement of the range of analysis operator associated with the frame X whose shifts either form a Parseval frame or an orthonormal basis for that orthogonal complement.     

The finiteness dimension of local cohomology modules and its dual notion

Let a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. We explore the behavior of the two notions f_a(M), the finiteness dimension of M with respect to a, and, its dual notion q_a(M), the Artinianness dimension of M with respect to a. When (R,m) is local and r?f_a(M) is less than , the m-finiteness dimension of M relative to a, we prove that is not Artinian, and so the filter depth of a on M does not exceed f_a(M). Also, we show that if M has finite dimension and is Artinian for all i>t, where t is a given positive integer, then is Artinian. This immediately implies that if q?q_a(M)>0, then is not finitely generated, and so f_a(M)≤q_a(M).     

Baire generic histograms of wavelet coefficients and large deviation formalism in Besov and Sobolev spaces

Histograms of wavelet coefficients are expressed in terms of the wavelet profile and the wavelet density. The large deviation multifractal formalism states that if a function f has a minimal uniform Hölder regularity then its Hölder spectrum is equal to the wavelet density. The purpose of this paper is twofold. Firstly, we compute generically (in the sense of Baire's categories) these histograms in Besov and Lp,s(T) spaces, where T is the torus Rd/Zd (resp. in the Baire's vector space where s:q?s(q) is a C¹ and concave function on R⁺ satisfying 0?s^′?d and s(0)>0). Secondly, as an application, we deduce some extra generic properties for the histograms in these spaces, and study the generic validity of the large deviation multifractal formalism in Besov and Lp,s spaces for s>d/p (resp. in the above space V).     

A new class of function spaces connecting Triebel-Lizorkin spaces and Q spaces

Let s∈R, τ∈[0,∞), p∈(1,∞) and q∈(1,∞]. In this paper, we introduce a new class of function spaces which unify and generalize the Triebel-Lizorkin spaces with both p∈(1,∞) and p=∞ and Q spaces. By establishing the Carleson measure characterization of Q space, we then determine the relationship between Triebel-Lizorkin spaces and Q spaces, which answers a question posed by Dafni and Xiao in [G. Dafni, J. Xiao, Some new tent spaces and duality theorem for fractional Carleson measures and Qα(Rn), J. Funct. Anal. 208 (2004) 377-422]. Moreover, via the Hausdorff capacity, we introduce a new class of tent spaces and determine their dual spaces , where s∈R, p,q∈[1,∞), max{p,q}>1, , and t^′ denotes the conjugate index of t∈(1,∞); as an application of this, we further introduce certain Hardy-Hausdorff spaces and prove that the dual space of is just when p,q∈(1,∞).     

Stabilizers and orbits of smooth functions

Let be a smooth function such that f(0)=0. We give a condition J(id) on f when for arbitrary preserving orientation diffeomorphism such that ?(0)=0 the function ?○f is right equivalent to f, i.e. there exists a diffeomorphism such that ?○f=f○h at 0∈Rm. The requirement is that f belongs to its Jacobi ideal. This property is rather general: it is invariant with respect to the stable equivalence of singularities, and holds for non-degenerated, simple, and many other singularities.We also globalize this result as follows. Let M be a smooth compact manifold, a surjective smooth function, DM the group of diffeomorphisms of M, and the group of diffeomorphisms of R that have compact support and leave [0,1] invariant. There are two natural right and left-right actions of DM and on C^∞(M,R). Let SM(f), SMR(f), OM(f), and OMR(f) be the corresponding stabilizers and orbits of f with respect to these actions. We prove that if f satisfies J(id) at each critical point and has additional mild properties, then the following homotopy equivalences hold: SM(f)≈SMR(f) and OM(f)≈OMR(f). Similar results are obtained for smooth mappings M→S¹.     

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.     

Decompositions of Besov-Hausdorff and Triebel-Lizorkin-Hausdorff spaces and their applications

Let p∈(1,∞), q∈[1,∞), s∈R and . In this paper, the authors establish the φ-transform characterizations of Besov-Hausdorff spaces and Triebel-Lizorkin-Hausdorff spaces (q>1); as applications, the authors then establish their embedding properties (which on is also sharp), smooth atomic and molecular decomposition characterizations for suitable τ. Moreover, using their atomic and molecular decomposition characterizations, the authors investigate the trace properties and the boundedness of pseudo-differential operators with homogeneous symbols in and (q>1), which generalize the corresponding classical results on homogeneous Besov and Triebel-Lizorkin spaces when p∈(1,∞) and q∈[1,∞) by taking τ=0.     

4-dimensional minimal CR submanifolds of the sphere S satisfying Chen's equality

In this paper, we classify 4-dimensional minimal CR submanifolds M of the nearly Kähler 6-sphere S⁶(1) which satisfy Chen's equality, i.e. , where δM(p)=τ(p)−infK(p) for every p∈M.     

Mappings and Prohorov spaces

We consider completely regular Hausdorff spaces. In this paper we investigate the space of probability Radon measures P(X) on a space X and the property to be a Prohorov space. We prove that the space P(X) is sieve-complete if and only if X is sieve-complete. Every mapping generates the mapping . Some properties of the mapping P(φ) are studied. In particular, we investigate under which conditions the open continuous image of a Prohorov space is Prohorov.     

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∈∂Ω.     

Stable extendibility of normal bundles over lens spaces

We study the stable extendibility of R-vector bundles over the (2n+1)-dimensional standard lens space Ln(p) with odd prime p, focusing on the normal bundle to an immersion of Ln(p) in the Euclidean space R2n+1+t. We show several concrete cases in which is stably extendible to Lk(p) for any k with k?n, and in several cases we determine the exact value m for which is stably extendible to Lm(p) but not stably extendible to Lm+1(p).     

BLO spaces associated with the Ornstein–Uhlenbeck operator

Let (Rn,|⋅|,dγ) be the Gauss measure metric space, where Rn denotes the n-dimensional Euclidean space, |⋅| the Euclidean norm and for all x∈Rn the Gauss measure. In this paper, for any a∈(0,∞), the authors introduce some BLOa(γ) space, namely, the space of functions with bounded lower oscillation associated with a given class of admissible balls with parameter a. Then the authors prove that the noncentered local natural Hardy–Littlewood maximal operator is bounded from BMO(γ) of Mauceri and Meda to BLOa(γ). Moreover, a characterization of the space BLOa(γ), via the local natural maximal operator and BMO(γ), is given. The authors further prove that a class of maximal singular integrals, including the corresponding maximal operators of both imaginary powers of the Ornstein–Uhlenbeck operator and Riesz transforms of any order associated with the Ornstein–Uhlenbeck operator, are bounded from L^∞(γ) to BLOa(γ).     

Characterization of the variable exponent Bessel potential spaces via the Poisson semigroup

Under the standard assumptions on the variable exponent p(x) (log- and decay conditions), we give a characterization of the variable exponent Bessel potential space Bα[Lp(⋅)(Rn)] in terms of the rate of convergence of the Poisson semigroup Pt. We show that the existence of the Riesz fractional derivative Dαf in the space Lp(⋅)(Rn) is equivalent to the existence of the limit . In the pre-limiting case we show that the Bessel potential space is characterized by the condition ‖α(I−Pε)f_‖p(⋅)≦Cεα.     

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).