Sharp mixed norm spherical restriction

TL;DR

This paper determines the set of exponents for which the sharp mixed norm Fourier extension inequality has unique extremizers, revealing new regimes and breaking previous barriers in Fourier restriction theory.

Contribution

It characterizes the extremizer set for the inequality, showing it includes even integers and a neighborhood of infinity, and establishes a hierarchy of weighted Bessel function norms.

Findings

The extremizer set includes all even integers and infinity.

A neighborhood of infinity in the exponent range is identified.

Breaks the even exponent barrier in sharp Fourier restriction theory.

Abstract

Let $d\geq 2$ be an integer and let $2d/(d-1) < q \leq \infty$. In this paper we investigate the sharp form of the mixed norm Fourier extension inequality \begin{equation*} \big\|\widehat{f\sigma}\big\|_{L^q_{{\rm rad}}L^2_{{\rm ang}}(\mathbb{R}^d)} \leq {\bf C}_{d,q}\, \|f\|_{L^2(\mathbb{S}^{d-1},{\rm d}\sigma)}, \end{equation*} established by L. Vega in 1988. Letting $\mathcal{A}_d \subset (2d/(d-1), \infty]$ be the set of exponents for which the constant functions on $\mathbb{S}^{d-1}$ are the unique extremizers of this inequality, we show that: (i) $\mathcal{A}_d$ contains the even integers and $\infty$; (ii) $\mathcal{A}_d$ is an open set in the extended topology; (iii) $\mathcal{A}_d$ contains a neighborhood of infinity $(q_0(d), \infty]$ with $q_0(d) \leq \left(\tfrac{1}{2} + o(1)\right) d\log d$. In low dimensions we show that $q_0(2) \leq 6.76\,;\,q_0(3) \leq 5.45 \,;\, q_0(4) \leq 5.53 \,;\, q_0(5) \leq 6.07$. In particular, this breaks for the first time the even exponent barrier in sharp Fourier restriction theory. The crux of the matter in our approach is to establish a hierarchy between certain weighted norms of Bessel functions, a nontrivial question of independent interest within the theory of special functions.