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.     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.     

On Hille-Tamarkin operators and Schatten classes

We determine the smallest Schatten class containing all integral operators with kernels inL _p(L_{p', q})^symm, where 2 <p∞ and 1≦q≦∞. In particular, we give a negative answer to a problem posed by Arazy, Fisher, Janson and Peetre in [1]. Supported in part by DGICYT (SAB-90-0033).     

Characterization of Operators on the Dual of Hypergroups which Commute with Translations and Convolutions

For a locally compact group G, L^1 (G) is its group algebra and L^∞(G) is the dual of L^1 (G).Lau has studied the bounded linear operators T:L^∞(G)→L^∞(G) which commute with convolutions and translations. For a subspace H of L^∞(G), we know that M(L^∞(G),H), the Banach algebra of all bounded linear operators on L^∞(G) into H which commute with convolutions, has been studied by Pyre and Lau. In this paper, we generalize these problems to L(K)^*, the dual of a hypergroup algebra L(K) in a very general setting, i.e. we do not assume that K admits a Haar measure. It should be noted that these algebras include not only the group algebra L^1(G) but also most of the semigroup algebras.Compact hypergroups have a Haar measure, however, in general it is not known that every hypergroup has a Haar measure. The lack of the Haar measure and involution presents many difficulties; however,we succeed in getting some interesting results.     

Global existence and time decay of small solutions to the landau-ginzburg type equations

We study the Cauchy problem for the nonlinear dissipative equations (0.1) uo∂u-αδu + Β|u|^2/n u = 0,x ∃ Rⁿ,t } 0,u(0,x) = u0(x),x ∃ Rⁿ, where α,Β ∃ C, ℜα 0. We are interested in the dissipative case ℜα 0, and ℜδ(α,Β)≥ 0, θ = |∫ u0(x)dx| ⊋ 0, where δ(α, Β) = ##|α|^n-1n^n/2 / ((n + 1)|α|² + α^{2 n/2}. Furthermore, we assume that the initial data u₀ ∃ L^p are such that (1 + |x|)^αu0 ∃ L¹, with sufficiently small norm ∃ = (1 + |x|)^α u₀ 1 + u₀ p, wherep 1, α ∃ (0,1). Then there exists a unique solution of the Cauchy problem (0.1)u(t, x) ∃ C ((0, ∞); L^∞) ∩ C ([0, ∞); L¹ ∩ L^p) satisfying the time decay estimates for allt0 u(t)||_∞ Cɛt^-n/2(1 + η log 〈t〉)^-n/2, if hg = θ^2/n 2_π ℜδ(α, Β) 0; u(t)||_∞ Cɛt^-n/2(1 + Μ log 〈t〉)^-n/4, if η = 0 and Μ = θ^4/n 4π)² (ℑδ(α, Β))² ℜ((1 + 1/n) υ1-1 υ2) 0; and u(t)||_∞ Cɛt^-n/2(1 + κ log 〈t〉)^-n/6, if η = 0, Μ = 0, κ 0, where υl,l = 1,2 are defined in (1.2), κ is a positive constant defined in (2.31).     

Parametrized Area Integrals on Hardy Spaces and Weak Hardy Spaces

In this paper, the authors prove that if Ω satisfies a class of the integral Dini condition, then the parametrized area integral μΩ,S^ρ is a bounded operator from the Hardy space H1 （R^n） to L1 （R^n） and from the weak Hardy space H^1,∞ （R^n） to L^1,∞ （R^n）, respectively. As corollaries of the above results, it is shown that μΩ,S^ρ is also an operator of weak type These conclusions are substantial improvement and （1, 1） and of type （p,p） for 1 〈 p 〈 2, respectively extension of some known results.     

The initial boundary value problem for Navier-Stokes equations

By making full use of the estimates of solutions to nonstationary Stokes equations and the method discussing global stability, we establish the global existence theorem of strong solutions for Navier-Stokes equatios in arbitrary three dimensional domain with uniformlyC ³ boundary, under the assumption that |a| _L ²(Θ) + |f| _L ¹(0,∞;L ²(Θ)) or |∇a| _L ²(Θ) + |f| _L ²(0,∞;L ²(Θ)) small or viscosityv large. Herea is a given initial velocity andf is the external force. This improves on the previous results. Moreover, the solvability of the case with nonhomogeneous boundary conditions is also discussed. This work is supported by foundation of Institute of Mathematics, Academia Sinica     

Weak Type Inequality for a Family of Singular Integral Operators Related with the Gaussian Measure

In this paper we study a family of singular integral operators that generalizes the higher order Gaussian Riesz Transforms and find the right weight w to make them continuous from L ¹(wdγ) into L ^1, ∞(dγ), being Some boundedness properties of these operators had already been derived by Urbina (Ann Scuola Norm Sup Pisa Cl Sci 17(4):531–567, 1990) and Pérez (J Geom Anal 11(3):491–507, 2001).      

Amemiya Norm Equals Orlicz Norm in Musielak-Orlicz Spaces

Let （Ω,μ） be a a-finite measure space and Φ ： Ω × [0,∞） → [0, ∞] be a Musielak-Orlicz function. Denote by L^Φ（Ω） the Musielak-Orlicz space generated by Φ. We prove that the Amemiya norm equals the Orlicz norm in L^Φ（Ω）.     

Eigensystem of an <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-perturbed harmonic oscillator is an unconditional basis

For any complex valued L ^p -function b(x), 2 ≤ p < ∞, or L ^∞-function with the norm ‖b↾L ^∞‖ < 1, the spectrum of a perturbed harmonic oscillator operator L = −d ²/dx ² + x ² + b(x) in L ²(ℝ¹) is discrete and eventually simple. Its SEAF (system of eigen- and associated functions) is an unconditional basis in L ²(ℝ).     

Equivalent Characterizations for Boundedness of Maximal Singular Integrals on ax+b-Groups

Let (S,d,ρ) be the affine group ℝ ⁿ ⋉ℝ⁺ endowed with the left-invariant Riemannian metric d and the right Haar measure ρ, which is of exponential growth at infinity. In this paper, for any linear operator T on (S,d,ρ) associated with a kernel K satisfying certain integral size condition and H?rmander’s condition, the authors prove that the following four statements regarding the corresponding maximal singular integral T ^∗ are equivalent: T ^∗ is bounded from L_c^￥L_{c}^{\infty} to BMO, T ^∗ is bounded on L ^p for all p∈(1,∞), T ^∗ is bounded on L ^p for some p∈(1,∞) and T ^∗ is bounded from L ¹ to L ^1,∞. As applications of these results, for spectral multipliers of a distinguished Laplacian on (S,d,ρ) satisfying certain Mihlin-H?rmander type condition, the authors obtain that their maximal singular integrals are bounded from L_c^￥L_{c}^{\infty} to BMO, from L ¹ to L ^1,∞, and on L ^p for all p∈(1,∞).     

Riesz transforms for a non-symmetric Ornstein-Uhlenbeck semigroup

Let (ℋ _t ) _t≥0 be the Ornstein-Uhlenbeck semigroup on ℝ ^d with covariance matrix I and drift matrix −λ(I+R), 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 investigate the weak type 1 estimate of the Riesz transforms for (ℋ _t ) _t≥0. We prove that if the matrix R generates a one-parameter group of periodic rotations then the first order Riesz transforms are of weak type 1 with respect to the invariant measure γ _∞. We also prove that the Riesz transforms of any order associated to a general Ornstein-Uhlenbeck semigroup are bounded on L ^p (γ _∞) if 1<p<∞. The authors have received support by the Italian MIUR-PRIN 2005 project “Harmonic Analysis” and by the EU IHP 2002-2006 project “HARP”.     

On perturbations of differentiable semigroups

LetX be a Banach space and letA be the infinitesimal generator of a differentiable semigroup {T(t) |t ≥ 0}, i.e. aC ₀-semigroup such thatt ↦T(t)x is differentiable on (0, ∞) for everyx εX. LetB be a bounded linear operator onX and let {S(t) |t ≥ 0} be the semigroup generated byA +B. Renardy recently gave an example which shows that {S(t) |t ≥ 0} need not be differentiable. In this paper we give a condition on the growth of ‖T′(t)‖ ast ↓ 0 which is sufficient to ensure that {S(t) |t ≥ 0} is differentiable. Moreover, we use Renardy’s example to study the optimality of our growth condition. Our results can be summarized roughly as follows:

Non-oscillatory criteria for a class of second order non-linear forced neutral-delay differential equations

In this paper, sufficient conditions are obtained, so that the second order neutral delay differential equation

Singular integrals associated to the Laplacian on the affine groupax+b

We consider singular integral operators of the form (a)Z ₁L⁻¹Z₂, (b)Z ₁Z₂L⁻¹, and (c)L ⁻¹Z₁Z₂, whereZ ₁ andZ ₂ are nonzero right-invariant vector fields, andL is theL ²-closure of a canonical Laplacian. The operators (a) are shown to be bounded onL ^p for allp∈(1, ∞) and of weak type (1, 1), whereas all of the operators in (b) and (c) are not of weak type (p, p) for anyp∈[1, ∞). Research supported by the Australian Research Council. Research carried out as a National Research Fellow.     

On order structure and operators in L ∞(μ)

It is known that there is a continuous linear functional on L _∞ which is not narrow. On the other hand, every order-to-norm continuous AM-compact operator from L _∞(μ) to a Banach space is narrow. We study order-to-norm continuous operators acting from L _∞(μ) with a finite atomless measure μ to a Banach space. One of our main results asserts that every order-to-norm continuous operator from L _∞(μ) to c ₀(Γ) is narrow while not every such an operator is AM-compact.     

Solutions in Sobolev spaces of vector refinement equations with a general dilation matrix

In this paper, we present a necessary and sufficient condition for the existence of solutions in a Sobolev space W_p^k(ℝ^s) (1≤p≤∞) to a vector refinement equation with a general dilation matrix. The criterion is constructive and can be implemented. Rate of convergence of vector cascade algorithms in a Sobolev space W_p^k(ℝ^s) will be investigated. When the dilation matrix is isotropic, a characterization will be given for the L_p (1≤p≤∞) critical smoothness exponent of a refinable function vector without the assumption of stability on the refinable function vector. As a consequence, we show that if a compactly supported function vector φ∈L_p(ℝ^s) (φ∈C(ℝ^s) when p=∞) satisfies a refinement equation with a finitely supported matrix mask, then all the components of φ must belong to a Lipschitz space Lip(ν,L_p(ℝ^s)) for some ν>0. This paper generalizes the results in R.Q. Jia, K.S. Lau and D.X. Zhou (J. Fourier Anal. Appl. 7 (2001) 143–167) in the univariate setting to the multivariate setting. Dedicated to Professor Charles A. Micchelli on the occasion of his 60th birthday Mathematics subject classifications (2000) 42C20, 41A25, 39B12. Research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC Canada) under Grant G121210654.     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.