On spectral multipliers for Heisenberg and related groups
type: Item
instance of: scholarly article
title: On spectral multipliers for Heisenberg and related groups
zbMATH Open document ID: 0838.43011
author: Detlef Müller
author: Elias M. Stein
published in: Journal de Mathématiques Pures et Appliquées. Neuvième Série
publication date: 1996-06-09T00:00:00Z
review text: Let \(\mathcal L\) be a left invariant sub-Laplacian on a stratified Lie group \(G\). We denote by \(\overline{\mathcal L}= \int^\infty_0 \lambda dE(\lambda)\) the spectral resolution of its closure. If \(m\) is a bounded, Borel measurable function on \(\mathbb{R}^+\), one may define a bounded operator on \(L^2(G)\): \(m({\mathcal L})= \int^\infty_0 m(\lambda) dE(\lambda)\). Let \(\chi\in C^\infty_0(\mathbb{R}^+)\) be a fixed cut-off function with support contained in the interval \([1/2, 1]\), and define the scale-invariant localized Sobolev norm of order \(\alpha\) of \(m\) by \[ |m|_{L^2_{\alpha, \text{sloc}}}= \sup_{t> 0} |\chi m(t\cdot)|_{L^2_\alpha}. \] In this paper, the authors prove the following two theorems: Theorem A. Suppose that \(G= H_n\), where \(H_n\) is a Heisenberg group. If \(|m|_{L^2_{\alpha, \text{sloc}}}< \infty\) for some \(\alpha> (1/2)\dim H_n\), then \(m({\mathcal L})\) is bounded on \(L^p(H_n)\) for \(1< p< \infty\), and of weak-type \((1, 1)\). -- In the above theorem, the condition that \(\alpha> (1/2)\dim H_n\) is essentially sharp for the Heisenberg group. This is shown by proving that the weak-type \((1, 1)\) norm of \({\mathcal L}^{i^\alpha}\) is bounded from below by \(C|\alpha|^{(2n+ 1)/2}\) as \(\alpha\to \infty\). -- Theorem B. Suppose that \(G= G_1\times\cdots\times G_k\), where \(G_j\) is either a Heisenberg group \(H_{n_j}\) or a Euclidean group \(\mathbb{R}^{n_j}\). Suppose further that \({\mathcal L}_j\) is a sub-Laplacian on \(G_j\), \(j= 1,\dots, k\), and \({\mathcal L}= {\mathcal L}_1+\cdots+ {\mathcal L}_k\) is a sub-Laplacian on \(G\). If \(|m|_{L^2_{\alpha, \text{sloc}}}< \infty\) for some \(\alpha> (1/2)\dim G\), then \(m({\mathcal L})\) is bounded on \(L^p(G)\), \(1< p< \infty\) and of weak-type \((1,1)\).
Mathematics Subject Classification ID: 43A80
Mathematics Subject Classification ID: 43A15
Mathematics Subject Classification ID: 22E30
zbMATH DE Number: 811449
zbMATH Keywords: sub-Laplacian
zbMATH Keywords: Lie group
zbMATH Keywords: spectral resolution
zbMATH Keywords: Borel measurable function
zbMATH Keywords: Sobolev norm
zbMATH Keywords: Heisenberg group
zbMATH Keywords: Euclidean group
reviewed by: Koichi Saka
MaRDI profile type: Publication
Recommended article: Spectral multipliers on Heisenberg-Reiter and related groups
Recommended article: Q4342861
Recommended article: Oscillating spectral multipliers on groups of Heisenberg type
Recommended article: Bilinear spectral multipliers on Heisenberg groups
Recommended article: Fourier multipliers on the Heisenberg group revisited
Recommended article: Q3584268
Recommended article: Hörmander multipliers on the Heisenberg group
Recommended article: Q4213395
Recommended article: Spectra for Gelfand pairs associated with the Heisenberg group
Recommended article: A spectral multiplier theorem for Hardy spaces associated with Schrödinger operator on the Heisenberg group
description: scientific article; zbMATH DE number 811449