Table of Contents
Fetching ...

Harmonic and Anharmonic Oscillators on the Heisenberg Group

David Rottensteiner, Michael Ruzhansky

Abstract

Although there is no canonical version of the harmonic oscillator on the Heisenberg group $\mathbf{H}_n$ so far, we make a strong case for a particular choice of operator by using the representation theory of the Dynin-Folland group $\mathbf{H}_{n, 2}$, a $3$-step stratified Lie group, whose generic representations act on $L^2(\mathbf{H}_n)$. Our approach is inspired by the connection between the harmonic oscillator on $\mathbb{R}^n$ and the sum of squares in the first stratum of $\mathbf{H}_n$ in the sense that we define the harmonic oscillator on $\mathbf{H}_n$ as the image of the sub-Laplacian $\mathcal{L}_{\mathbf{H}_{n, 2}}$ under the generic unitary irreducible representation $π$ of the Dynin-Folland group which has formal dimension $d_π= 1$. This approach, more generally, permits us to define a large class of so-called anharmonic oscillators by employing positive Rockland operators on $\mathbf{H}_{n, 2}$. By using the methods developed in ter Elst and Robinson [tERo], we obtain spectral estimates for the harmonic and anharmonic oscillators on $\mathbf{H}_n$. Moreover, we show that our approach extends to graded $SI/Z$-groups of central dimension $1$, i.e., graded groups which possess unitary irreducible representations which are square-integrable modulo the $1$-dimensional center $Z(G)$. The latter part of the article is concerned with spectral multipliers. By combining ter Elst and Robinson's techniques with recent results in [AkRu18], we obtain useful $L^\mathbf{p}$-$L^\mathbf{q}$-estimates for spectral multipliers of the sub-Laplacian $\mathcal{L}_{\mathbf{H}_{n, 2}}$ and, in fact more generally, of general Rockland operators on general graded groups. As a by-product, we recover the Sobolev embeddings on graded groups established in [FiRu17], and obtain explicit hypoelliptic heat semigroup estimates.

Harmonic and Anharmonic Oscillators on the Heisenberg Group

Abstract

Although there is no canonical version of the harmonic oscillator on the Heisenberg group so far, we make a strong case for a particular choice of operator by using the representation theory of the Dynin-Folland group , a -step stratified Lie group, whose generic representations act on . Our approach is inspired by the connection between the harmonic oscillator on and the sum of squares in the first stratum of in the sense that we define the harmonic oscillator on as the image of the sub-Laplacian under the generic unitary irreducible representation of the Dynin-Folland group which has formal dimension . This approach, more generally, permits us to define a large class of so-called anharmonic oscillators by employing positive Rockland operators on . By using the methods developed in ter Elst and Robinson [tERo], we obtain spectral estimates for the harmonic and anharmonic oscillators on . Moreover, we show that our approach extends to graded -groups of central dimension , i.e., graded groups which possess unitary irreducible representations which are square-integrable modulo the -dimensional center . The latter part of the article is concerned with spectral multipliers. By combining ter Elst and Robinson's techniques with recent results in [AkRu18], we obtain useful --estimates for spectral multipliers of the sub-Laplacian and, in fact more generally, of general Rockland operators on general graded groups. As a by-product, we recover the Sobolev embeddings on graded groups established in [FiRu17], and obtain explicit hypoelliptic heat semigroup estimates.

Paper Structure

This paper contains 15 sections, 20 theorems, 110 equations.

Key Result

Lemma 2.2

The Heisenberg Lie algebra $\mathfrak{h}_n$ admits a stratification $\mathfrak{h}_n = \frak{g}_3 \oplus \frak{g}_2 \oplus \frak{g}_1$ with for which defines a family of dilations on $\mathfrak{h}_n$.

Theorems & Definitions (50)

  • Definition 2.1
  • Lemma 2.2
  • Definition 2.3
  • Proposition 2.4
  • Definition 3.1
  • Definition 3.2
  • Definition 3.3
  • Definition 3.4
  • Proposition 3.5
  • proof
  • ...and 40 more