Table of Contents
Fetching ...

Dimension-free Fourier restriction inequalities

Diogo Oliveira e Silva, Błażej Wróbel

TL;DR

This paper analyzes how Fourier restriction constants to the sphere behave as the dimension grows. It proves a dimension-free endpoint Stein–Tomas inequality for radial functions and an endpoint bound for general functions with an $O(d^{1/2})$ growth, achieved through a uniform two-sided refinement of Stempak's uniform $L^p$ estimates for Bessel functions. It identifies three regions in the $(1/p,1/q)$ plane (A,B,C) with distinct high-dimensional behaviors: in A, the general constant tends to zero; in B, the radial constant remains bounded (and in particular finite at the endpoint $q=p'$) while the nonradial constant may blow up when $q>p'$; in C, both fail. The results highlight the role of radial symmetry and Bessel-function asymptotics in dimension-free restriction phenomena and provide a framework for translating endpoint harmonic-analysis inequalities into dimension-stable estimates.

Abstract

Let ${{\bf R}_{\mathbb{S}^{d-1}}}(p\to q)$ denote the best constant for the $L^p(\mathbb{R}^d)\to L^q(\mathbb{S}^{d-1})$ Fourier restriction inequality to the unit sphere $\mathbb{S}^{d-1}$, and let ${\bf R}_{\mathbb{S}^{d-1}} (p\to q;\textrm{rad})$ denote the corresponding constant for radial functions. We investigate the asymptotic behavior of the operator norms ${{\bf R}_{\mathbb{S}^{d-1}}}(p\to q)$ and ${\bf R}_{\mathbb{S}^{d-1}} (p\to q;\textrm{rad})$ as the dimension $d$ tends to infinity. We further establish a dimension-free endpoint Stein-Tomas inequality for radial functions, together with the corresponding estimate for general functions which we prove with an $O(d^{1/2})$ dependence. Our methods rely on a uniform two-sided refinement of Stempak's asymptotic $L^p$ estimate of Bessel functions.

Dimension-free Fourier restriction inequalities

TL;DR

This paper analyzes how Fourier restriction constants to the sphere behave as the dimension grows. It proves a dimension-free endpoint Stein–Tomas inequality for radial functions and an endpoint bound for general functions with an growth, achieved through a uniform two-sided refinement of Stempak's uniform estimates for Bessel functions. It identifies three regions in the plane (A,B,C) with distinct high-dimensional behaviors: in A, the general constant tends to zero; in B, the radial constant remains bounded (and in particular finite at the endpoint ) while the nonradial constant may blow up when ; in C, both fail. The results highlight the role of radial symmetry and Bessel-function asymptotics in dimension-free restriction phenomena and provide a framework for translating endpoint harmonic-analysis inequalities into dimension-stable estimates.

Abstract

Let denote the best constant for the Fourier restriction inequality to the unit sphere , and let denote the corresponding constant for radial functions. We investigate the asymptotic behavior of the operator norms and as the dimension tends to infinity. We further establish a dimension-free endpoint Stein-Tomas inequality for radial functions, together with the corresponding estimate for general functions which we prove with an dependence. Our methods rely on a uniform two-sided refinement of Stempak's asymptotic estimate of Bessel functions.

Paper Structure

This paper contains 11 sections, 8 theorems, 90 equations, 2 figures.

Key Result

Theorem 1

If $(\frac{1}{p},\frac{1}{q})\in \textup{A}$, then $(p,q)$ dimension-free restriction holds in all sufficiently large dimensions $d$. More precisely, if $(\frac{1}{p},\frac{1}{q})\in \textup{A}$, then Furthermore, if $(\frac{1}{p},\frac{1}{q})\in \textup{B}$ and $q=p'$, then On the other hand, if $(\frac{1}{p},\frac{1}{q})\in \textup{B}$ and $q>p'$, then

Figures (2)

  • Figure 1: Riesz diagram for the restriction problem to $\mathbb S^{d-1}$ as $d\to\infty$.
  • Figure 2: Proof of \ref{['eq_GenConv0']} via interpolation.

Theorems & Definitions (12)

  • Theorem 1
  • Theorem 2
  • Proposition 3
  • Lemma 4: AS
  • Lemma 5
  • proof
  • Lemma 6
  • proof
  • proof : Proof of Proposition \ref{['prop_Stempak']}
  • Lemma 7
  • ...and 2 more