Sharp mixed norm spherical restriction

DOI10.1016/J.AIM.2018.10.043MaRDI QIDQ1628433zbMATH OpenOpenAlexWikidataFDO

Authors Emanuel Carneiro, Diogo Oliveira e Silva, Mateus Sousa

Publication date 4 December 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.10365

zbMATH Keywords

Bessel functions delta calculus extremizers Fourier restriction mixed norm optimal constants spherical harmonics

Mathematics Subject Classification ID

Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42B10)

Abstract: Let

d g e q 2

be an integer and let

2 d / (d - 1) < q l e q i n f t y

. In this paper we investigate the sharp form of the mixed norm Fourier extension inequality �egin{equation*} �ig|widehat{fsigma}�ig|_{L^q_{{ m rad}}L^2_{{ m ang}}(mathbb{R}^d)} leq {�f C}_{d,q}, |f|_{L^2(mathbb{S}^{d-1},{ m d}sigma)}, end{equation*} established by L. Vega in 1988. Letting

m a t h c a l A_{d} s u b s e t (2 d / (d - 1), i n f t y]

be the set of exponents for which the constant functions on

m a t h b b S^{d - 1}

are the unique extremizers of this inequality, we show that: (i)

m a t h c a l A_{d}

contains the even integers and

i n f t y

; (ii)

m a t h c a l A_{d}

is an open set in the extended topology; (iii)

m a t h c a l A_{d}

contains a neighborhood of infinity

(q_{0} (d), i n f t y]

with

q_{0} (d) l e q l e f t (f r a c 12 + o (1) i g h t) d l o g d

. In low dimensions we show that

q_{0} (2) l e q 6.76,;, q_{0} (3) l e q 5.45,;, q_{0} (4) l e q 5.53,;, q_{0} (5) l e q 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.

Review text

In this paper, the extremizers of the sharp mixed norm Fourier extension inequality \(\|\hat{f\mathrm{d}\sigma}\|_{L_{\mathrm{rad}}^q L_{\mathrm{ang}}^2} (\mathbb{R}^d) \leq C_{d, q} \|f\|_{L^2 (\mathbb{S}^{d-1}, \mathrm{d}\sigma)} (q > \frac{2d}{d-1})\) are investigated. The above inequality was established in Vega's thesis. It was shown that in order to be an extremizer of Vega's inequality, it is necessary and sufficient for a function to be a spherical harmonic of certain degree \(l\) such that a certain Bessel integral \(\Lambda_{d, q} (l)\) is not smaller than all other \(\Lambda_{d, q} (k)\) for \(k \geq 0\). It is then investigated for which range of \(q\) the constant functions are unique maximizers. This is equivalent to saying \(\Lambda_{d, q} (0)\) is strictly bigger than all \(\Lambda_{d, q} (k)\) for \(k > 0\). It is proved that this is indeed the case when \(q\) is an even integer (with the help of \(\delta\) calculus among other tools), and when \(q > (\frac{1}{2}+o(1)) d\log d\) and was conjectured for a much extended range of \(q\). Some numerics is accordingly done in low dimensions. This breaks the even exponent barrier in the sharp restriction theory for Vega's inequality. Moreover it is also verified that the constants are unique extremizers for Vega's inequality when \(q\) is the Tomas-Stein exponent for \(d=4\) or \(5\). It is also shown that (for a given dimension) the set of \(q\) for which constants are unique extremizers for Vega's inequality is open in the extended topology.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Sharp mixed norm spherical restriction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1628433)