Table of Contents
Fetching ...

Spectral multipliers and wave equation for sub-Laplacians: lower regularity bounds of Euclidean type

Alessio Martini, Detlef Müller, Sebastiano Nicolussi Golo

Abstract

Let $\mathscr{L}$ be a smooth second-order real differential operator in divergence form on a manifold of dimension $n$. Under a bracket-generating condition, we show that the ranges of validity of spectral multiplier estimates of Mihlin--Hörmander type and wave propagator estimates of Miyachi--Peral type for $\mathscr{L}$ cannot be wider than the corresponding ranges for the Laplace operator on $\mathbb{R}^n$. The result applies to all sub-Laplacians on Carnot groups and more general sub-Riemannian manifolds, without restrictions on the step. The proof hinges on a Fourier integral representation for the wave propagator associated with $\mathscr{L}$ and nondegeneracy properties of the sub-Riemannian geodesic flow.

Spectral multipliers and wave equation for sub-Laplacians: lower regularity bounds of Euclidean type

Abstract

Let be a smooth second-order real differential operator in divergence form on a manifold of dimension . Under a bracket-generating condition, we show that the ranges of validity of spectral multiplier estimates of Mihlin--Hörmander type and wave propagator estimates of Miyachi--Peral type for cannot be wider than the corresponding ranges for the Laplace operator on . The result applies to all sub-Laplacians on Carnot groups and more general sub-Riemannian manifolds, without restrictions on the step. The proof hinges on a Fourier integral representation for the wave propagator associated with and nondegeneracy properties of the sub-Riemannian geodesic flow.

Paper Structure

This paper contains 27 sections, 30 theorems, 277 equations.

Key Result

Theorem 1.1

Let $M$ be a smooth manifold of dimension $n$, $H:T^*M\to[0,+\infty)$ a smooth function that is a positive semidefinite quadratic form on each fiber, and $\mu$ a smooth positive measure on $M$. Let $\mathscr{L}$ be the sub-Laplacian defined by $(M,H,\mu)$ and let us fix a self-adjoint extension of $

Theorems & Definitions (59)

  • Theorem 1.1
  • Lemma 2.1
  • Theorem 2.2
  • proof
  • Proposition 3.1
  • proof
  • Corollary 3.2
  • proof
  • Lemma 3.3
  • Proposition 3.4
  • ...and 49 more