Heisenberg群上Folland—Stein定理的注记

该文在G．B．Folland与E．M．Stein研究的算子的基础上．拓展考虑了算子，其中λ＋μ≠0且λ≠α／2n，μ≠—α／2n），证明了：如果，使得有限（其中ψa，b，1（z，t）＝—4（λ＋μ）ab（｜z｜2＋1—it）a-1（｜z｜2＋1＋it）b-1，那么在分布的意义下将有．特别，当λ＝μ＝—1／2时，此结果即原来的Folland－Stein定理．     

A multiplier theorem for the sublaplacian on the Heisenberg group

A multiplier theorem for the sublaplacian on the Heisenberg group is proved using Littlewood-Paley-Stein theory ofg-functions.     

The heat kernel transform for the Heisenberg group

The heat kernel transform H_t is studied for the Heisenberg group in detail. The main result shows that the image of H_t is a direct sum of two weighted Bergman spaces, in contrast to the classical case of Rⁿ and compact symmetric spaces, and the weight functions are found to be (surprisingly) not non-negative.     

A restriction theorem for the quaternion Heisenberg group

We prove that the restriction operator for the sublaplacian on the quaternion Heisenberg group is bounded from L p to L p if 1 ≤ p ≤ 4 3 . This is different from the Heisenberg group, on which the restriction operator is not bounded from L p to L p unless p = 1.     

Wiener measure for Heisenberg group

We build Wiener measure for the path space on the Heisenberg group by using of the heat kernel corresponding to the sub-Laplacian and give the definition of the Wiener integral. Then we give the Feynman-Kac formula.     

Tauberian theorem for m‐spherical transforms on the Heisenberg group

In this paper we prove a Tauberian type theorem for the space L ( H _n ). This theorem gives sufficient conditions for a L ( H _n ) submodule J ? L ( H _n ) to make up all of L ( H _n ). As a consequence of this theorem, we are able to improve previous results on the Pompeiu problem with moments on the Heisenberg group for the space L^∞( H _n ). In connection with the Pompeiu problem, given the vanishing of integrals ∫ z ^m L _g f ( z , 0) dσ ( z ) = 0 for all g ∈ H _n and i = 1, 2 for appropriate radii r₁ and r₂, we now have the (improved) conclusion f ≡ 0, where = · · · and form the standard basis for T^(0,1)( H _n ). (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Intersections of intrinsic submanifolds in the Heisenberg group

In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos.     

A constructive proof of the Peter‐Weyl theorem

We present a new and constructive proof of the Peter‐Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C*‐algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the characters of a finite group. We use this proof as a basis for a constructive proof in the style of Bishop. In fact, the present theory of compact groups may be seen as a natural continuation in the line of Bishop's work on locally compact, but Abelian, groups [2]. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Wavelet transform and radon transform on the quaternion Heisenberg group

Let Q be the quaternion Heisenberg group,and let P be the affine automorphism group of Q.We develop the theory of continuous wavelet transform on the quaternion Heisenberg group via the unitary representations of P on L2(Q).A class of radial wavelets is constructed.The inverse wavelet transform is simplified by using radial wavelets.Then we investigate the Radon transform on Q.A Semyanistyi–Lizorkin space is introduced,on which the Radon transform is a bijection.We deal with the Radon transform on Q both by the Euclidean Fourier transform and the group Fourier transform.These two treatments are essentially equivalent.We also give an inversion formula by using wavelets,which does not require the smoothness of functions if the wavelet is smooth.In addition,we obtain an inversion formula of the Radon transform associated with the sub-Laplacian on Q.     

On fundamental solution for powers of the sub-Laplacian on the Heisenberg group

We discuss the fundamental solution for m-th powers of the sub-Laplacian on the Heisenberg group. We use the representation theory of the Heisenberg group to analyze the associated m-th powers of the sub-Laplacian and to construct its fundamental solution. Besides, the series representation of the fundamental solution for square of the sub-Laplacian on the Heisenberg group is given and we also get the closed form of the fundamental solution for square of the sub-Laplacian on the Heisenberg group with dimension n=2,3,4.     

Weyl transforms associated with the Heisenberg group

In this paper, we define the Wigner transform and the corresponding Weyl transform associated with the Heisenberg group. We established some harmonic analysis results. Then we present that the Weyl transform with the Sp-valued symbol in Lp (p∈[1,2]) is not only bounded but also compacted, while when 2<p<+∞, the Weyl transform is not a bounded operator.     

Note on the Fenchel transform in the Heisenberg group

Given a real-valued function defined on the Heisenberg group H, we provide a definition of abstract convexity and Fenchel transform in H, that takes into account the sub-Riemannian structure of the group. In our main result, we prove that, likewise the classical case, a convex function can be characterized via its iterated Fenchel transform; the properties of the H-subdifferential play a crucial role.     

Accessible domains in the Heisenberg group

We study the problem of accessibility of boundary points for domains in the sub-Riemannian setting of the first Heisenberg group. A sufficient condition for accessibility is given. It is a Dini-type continuity condition for the horizontal gradient of the defining function. The sharpness of this condition is shown by examples.

     

Solvability on the Heisenberg group

We solve in various spaces the linear equations L_αg = f , where L_α belongs to a class of transversally elliptic second order differential operators on the Heisenberg group with double characteristics and complex‐valued coefficients, not necessarily locally solvable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

L boundedness of commutator operator associated with schrödinger operators on heisenberg group

Let L = −ΔHⁿ + V be a Schrödinger operator on Heisenberg group Hⁿ, where ΔHⁿ is the sublaplacian and the nonnegative potential V belongs to the reverse Hölder class B_Q/2, where Q is the homogeneous dimension of Hⁿ  . Let T₁=(−ΔHn+V)⁻¹V,T₂=(−ΔHn+V)^−1/V₂1/2$T_1={(-\Delta H^n+V)}^{-1}V,T_2={(-\Delta H^n+V)}^{-1/2_{V}1/2}$, and T₃=(−Δ_Hn+V)^−1/2_∇Hn$T_3={(-{\Delta }_{H^n}+V)}^{-1/2}{\nabla }_{H^n}$, then we verify that [b, T_i], i = 1,2,3 are bounded on some L^p(Hⁿ), where b ∈ BMO(Hⁿ). Note that the kernel of T_i, i = 1,2,3 has no smoothness.     

Non-solvability for a class of left-invariant second-order differential operators on the Heisenberg group

We study the question of local solvability for second-order, left-invariant differential operators on the Heisenberg group , of the form

where is a complex matrix. Such operators never satisfy a cone condition in the sense of Sjöstrand and Hörmander. We may assume that cannot be viewed as a differential operator on a lower-dimensional Heisenberg group. Under the mild condition that and their commutator are linearly independent, we show that is not locally solvable, even in the presence of lower-order terms, provided that . In the case we show that there are some operators of the form described above that are locally solvable. This result extends to the Heisenberg group a phenomenon first observed by Karadzhov and Müller in the case of It is interesting to notice that the analysis of the exceptional operators for the case turns out to be more elementary than in the case When the analysis of these operators seems to become quite complex, from a technical point of view, and it remains open at this time.

     

Heisenberg群中一类非凸区域上的Hardy不等式

通过构造向量函数,得到了Heisenberg群中一类非凸区域上的Hardy不等式,从而推广了以前的相关结论.     

Liouville type results and a maximum principle for non-linear differential operators on the Heisenberg group

We prove Liouville type results for non-negative solutions of the differential inequality _Δφu?f(u)?(|_∇0u|)${\mathrm{\Delta }}_{\phi }u?f(u)?(|{\mathrm{\nabla }}_{0}u|)$ on the Heisenberg group under a generalized Keller–Osserman condition. The operator _Δφu${\mathrm{\Delta }}_{\phi }u$ is the φ  -Laplacian defined by _div0(|_∇0u|⁻¹φ(|_∇0u|)_∇0u)${\mathrm{div}}_0({|{\mathrm{\nabla }}_{0}u|}^{-1}\phi (|{\mathrm{\nabla }}_{0}u|){\mathrm{\nabla }}_{0}u)$ and φ, f and ? satisfy mild structural conditions. In particular, ? is allowed to vanish at the origin. A key tool that can be of independent interest is a strong maximum principle for solutions of such differential inequality.