Advanced Search

Let $H_n$ be the (2n+1)-dimensional Heisenberg group, let p,q be two non-negative integers satisfying p+q=n and let G be the semidirect product of U(p,q) and $H_n$. So $L^2\left(H_n\right)$ has a natural structure of G-module. We obtain a decomposition of $L^2\left(H_n\right)$ as a direct integral of irreducible representations of G. On the other hand, we give an explicit description of the joint spectrum σ(L,iT) in $L^2\left(H_n\right)$ where $L={\sum }_{j=1}^p(X_j^2+Y_j^2)-{\sum }_{j=p+1}^n(X_j^2+Y_j^2)$, and where $X_1,Y_1,...,X_n,Y_n,T$ denotes the standard basis of the Lie algebra of $H_n$. Finally, we obtain a spectral characterization of the...

Let φ:ℝ ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let μ be the Borel measure on ℝ ³ defined by $\mu \left(E\right)={\int }_D{\chi }_E(x,\phi \left(x\right))dx$ with D = x ∈ ℝ ²:|x| ≤ 1 and let $T_{\mu }$ be the convolution operator with the measure μ. Let $\phi =\phi {₁}^{e₁}\cdots \phi {ₙ}^{eₙ}$ be the decomposition of φ into irreducible factors. We show that if $e_i\ne m/2$ for each ${\phi }_i$ of degree 1, then the type set $E_{\mu }:=(1/p,1/q)\in [0,1]\times [0,1]:\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty$ can be explicitly described as a closed polygonal region.

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $\nu \left(E\right)={\int }_{ℂⁿ}{\chi }_E(w,\phi \left(w\right))\eta \left(w\right)dw$, where $\phi \left(w\right)={\sum }_{j=1}^n{a}_j\left|w_j\right|²$, w = (w₁,...,wₙ) ∈ ℂⁿ, $a_j\in ℝ$, and η(w) = η₀(|w|²) with $\eta ₀\in C_c^{\infty }\left(ℝ\right)$. We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^p\left(ℍⁿ\right)-L^q\left(ℍⁿ\right)$ bounded. We also obtain $L^p$-improving properties of measures supported on the graph of the function $\phi \left(w\right)={\left|w\right|}^{2m}$.

Let 𝓢(Hₙ) be the space of Schwartz functions on the Heisenberg group Hₙ. We define a spherical transform on 𝓢(Hₙ) associated to the action (by automorphisms) of U(p,q) on Hₙ, p + q = n. We determine its kernel and image and obtain an inversion formula analogous to the Godement-Plancherel formula.

Let Hₙ be the (2n+1)-dimensional Heisenberg group, let p,q ≥ 1 be integers satisfying p+q=n, and let $L={\sum }_{j=1}^p(X{²}_j+Y{²}_j)-{\sum }_{j=p+1}^n(X{²}_j+Y{²}_j)$, where X₁,Y₁,...,Xₙ,Yₙ,T denotes the standard basis of the Lie algebra of Hₙ. We compute explicitly a relative fundamental solution for L.

Let $S\subset {ℝ}^{n+1}$ be the graph of the function $\varphi :{[-1,1]}^n\to ℝ$ defined by $\varphi (x_1,\cdots ,x_n)={\sum }_{j=1}^n{\left|x_j\right|}^{{\beta }_j},$ with 1<${\beta }_1\le \cdots \le {\beta }_n,$ and let $\mu$ the measure on ${ℝ}^{n+1}$ induced by the Euclidean area measure on S. In this paper we characterize the set of pairs (p,q) such that the convolution operator with $\mu$ is $L^p$-$L^q$ bounded.

Let m: ℝ → ℝ be a function of bounded variation. We prove the $L^p\left(ℝ\right)$-boundedness, 1 < p < ∞, of the one-dimensional integral operator defined by $T_{m}f\left(x\right)=p.v.\int k(x-y)m(x+y)f\left(y\right)dy$ where $k\left(x\right)={\sum }_{j\in \mathbb{Z}}{2}^j{\phi }_j\left(2^{j}x\right)$ for a family of functions ${{\phi }_j}_{j\in \mathbb{Z}}$ satisfying conditions (1.1)-(1.3) given below.

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the type set under...

Let φ:ℝ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let Σ = (x,φ(x)): |x| ≤ 1 and let σ be the Borel measure on Σ defined by $\sigma \left(A\right)={\int }_B{\chi }_A(x,\phi \left(x\right))dx$ where B is the unit open ball in ℝ² and dx denotes the Lebesgue measure on ℝ². We show that the composition of the Fourier transform in ℝ³ followed by restriction to Σ defines a bounded operator from $L^p\left(ℝ³\right)$ to $L^q(\Sigma ,d\sigma )$ for certain p,q. For m ≥ 6 the results are sharp except for some border points.

Let ${\varphi }_1,\cdots ,{\varphi }_n$ be real homogeneous functions in $C^{\infty }({ℝ}^n-\left\{0\right\})$ of degree $k\ge 2$, let $\varphi \left(x\right)=({\varphi }_1\left(x\right),\cdots ,{\varphi }_n\left(x\right))$ and let $\mu$ be the Borel measure on ${ℝ}^{2n}$ given by $$\mu \left(E\right)={\int }_{{ℝ}^n}{\chi }_E(x,\varphi \left(x\right)){\left|x\right|}^{\gamma -n}\mathrm{d}x$$ where $\mathrm{d}x$ denotes the Lebesgue measure on ${ℝ}^n$ and $\gamma >0$. Let $T_{\mu }$ be the convolution operator $T_{\mu }f\left(x\right)=(\mu *f)\left(x\right)$ and let $$E_{\mu }=\{(1/p,1/q)\parallel T_{\mu }{\parallel }_{p,q}<\infty ,1\le p,q\le \infty \}.$$ Assume that, for $x\ne 0$, the following two conditions hold: $det\left({\mathrm{d}}^2\varphi \left(x\right)h\right)$ vanishes only at $h=0$ and $det\left(\mathrm{d}\varphi \right(x\left)\right)\ne 0$. In this paper we show that if $\gamma >n(k+1)/3$ then $E_{\mu }$ is the empty set and if $\gamma \le n(k+1)/3$ then $E_{\mu }$ is the closed segment with endpoints $D=\left(1-\frac{\gamma }{n(k+1)},1-\frac{2\gamma }{n(k+1)}\right)$ and $D^{\text{'}}=\left(\frac{2\gamma }{n(1+k)},\frac{\gamma }{n(1+k)}\right)$. Also, we give some examples.