Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Wave map null form estimates via Peter-Weyl theory

Grigalius Taujanskas

TL;DR

This work extends classical null-form estimates to the curved background $\mathbb{R}\times\mathbb{S}^3$ by exploiting the Lie group structure $\mathbb{S}^3\simeq\mathrm{SU}(2)$ and Peter--Weyl harmonic analysis. The authors develop a global, representation-theoretic framework that replaces the Fourier transform with SU(2) representations, yielding a basic $L^2$ spacetime bound for $Q_0$ with an arbitrarily small loss $\varepsilon>0$, and a general multiplier version with explicit index constraints. Key innovations include handling the non-abelian Clebsch--Gordan expansions, establishing discrete Young-type bounds for the representation coefficients, and leveraging time-periodicity to convert the problem into a periodic, discrete-in-frequency setting. Consequences include forced-inhomogeneous estimates and a weighted conformal bound that transfers to Minkowski space via a conformal factor, linking curved-space null-form control to hyperboloidal-weighted estimates in flat spacetime. The results provide a global, geometric paradigm for null-structure estimates on compact-group backgrounds, with potential applications to wave maps and related nonlinear geometric wave equations on curved spacetimes.

Abstract

We study spacetime estimates for the wave map null form $Q_0$ on $\mathbb{R} \times \mathbb{S}^3$. By using the Lie group structure of $\mathbb{S}^3$ and Peter-Weyl theory, combined with the time-periodicity of the conformal wave equation on $\mathbb{R} \times \mathbb{S}^3$, we extend the classical ideas of Klainerman and Machedon to estimates on $\mathbb{R} \times \mathbb{S}^3$, allowing for a range of powers of natural (Laplacian and wave) Fourier multiplier operators. A key difference in these curved space estimates as compared to the flat case is a loss of an arbitrarily small amount of differentiability, attributable to a lack of dispersion of linear waves on $\mathbb{R} \times \mathbb{S}^3$. This arises in Fourier space from the product structure of irreducible representations of $\mathrm{SU}(2)$. We further show that our estimates imply weighted estimates for the null form on Minkowski space.

Wave map null form estimates via Peter-Weyl theory

TL;DR

This work extends classical null-form estimates to the curved background by exploiting the Lie group structure and Peter--Weyl harmonic analysis. The authors develop a global, representation-theoretic framework that replaces the Fourier transform with SU(2) representations, yielding a basic spacetime bound for with an arbitrarily small loss , and a general multiplier version with explicit index constraints. Key innovations include handling the non-abelian Clebsch--Gordan expansions, establishing discrete Young-type bounds for the representation coefficients, and leveraging time-periodicity to convert the problem into a periodic, discrete-in-frequency setting. Consequences include forced-inhomogeneous estimates and a weighted conformal bound that transfers to Minkowski space via a conformal factor, linking curved-space null-form control to hyperboloidal-weighted estimates in flat spacetime. The results provide a global, geometric paradigm for null-structure estimates on compact-group backgrounds, with potential applications to wave maps and related nonlinear geometric wave equations on curved spacetimes.

Abstract

We study spacetime estimates for the wave map null form on . By using the Lie group structure of and Peter-Weyl theory, combined with the time-periodicity of the conformal wave equation on , we extend the classical ideas of Klainerman and Machedon to estimates on , allowing for a range of powers of natural (Laplacian and wave) Fourier multiplier operators. A key difference in these curved space estimates as compared to the flat case is a loss of an arbitrarily small amount of differentiability, attributable to a lack of dispersion of linear waves on . This arises in Fourier space from the product structure of irreducible representations of . We further show that our estimates imply weighted estimates for the null form on Minkowski space.
Paper Structure (30 sections, 13 theorems, 185 equations)

This paper contains 30 sections, 13 theorems, 185 equations.

Table of Contents

  1. Introduction
  2. Structure of Paper and Notation
  3. Structure
  4. Notation
  5. Fractional weighted Sobolev spaces $W^s_\delta$
  6. Main Results
  7. Classical Estimate on $\mathbb{R}^{1+3}$
  8. Positive/negative frequency splitting
  9. Spacetime Fourier transform of $\tilde{\phi}^\pm$
  10. Convolution in spacetime
  11. Spacetime Fourier transform of $\widetilde{Q}_0^{\pm, \pm}$ and change of variables
  12. Setup on $\mathbb{R} \times \mathbb{S}^3$
  13. Time periodicity
  14. Positive/negative frequency splitting
  15. Spacetime Fourier transform of phi+
  16. ...and 15 more sections

Key Result

Theorem 3.1

For any $\varepsilon > 0$ there exists a universal constant $C = C(\varepsilon) > 0$ such that solutions $\phi$, $\psi$ to free_equations_with_time_data_2 satisfy the estimate Here the time interval $[-\pi, \pi]$ may also be replaced with any other interval, e.g. $[0,T]$ for any $T>0$, when the constant $C = C(\varepsilon, T)$ then depends only on $\varepsilon$ and $T$.

Theorems & Definitions (29)

  • Theorem 3.1: Basic Estimate
  • Remark 3.2
  • Remark 3.3
  • Theorem 3.4: Estimates with Multipliers
  • Remark 3.5
  • Corollary 3.6: Forced Basic Estimate
  • Remark 3.7
  • Corollary 3.8: Weighted Estimate on Minkowski Space
  • Remark 3.9
  • Lemma 4.1
  • ...and 19 more