Global and local maximizers for some Fourier extension estimates on the sphere

Abstract In this note, we study maximizers for Fourier extension inequalities on the sphere. We prove that constant functions are local maximizers for the $$L^p(\mathbb {S}^{d-1})$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>S</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> to $$L^p(\mathbb {R}^d)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> Fourier extension estimates in the same range of exponents p for which they are global maximizers for the $$L^2(\mathbb {S}^{d-1})$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>S</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> to $$L^p_{rad}L^2_{ang}(\mathbb {R}^d)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>rad</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msubsup> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>ang</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> mixed-norm Fourier extension inequalities. Moreover, in the case of low dimensions, we improve the range of exponents for which constant functions are known to be the unique global maximizers for the $$L^2(\mathbb {S}^{d-1})$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>L</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>S</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> to $$L^p_{rad}L^2_{ang}(\mathbb {R}^d)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>rad</mml:mi> </mml:mrow> <mml:mi>p</mml:mi> </mml:msubsup> <mml:msubsup> <mml:mi>L</mml:mi> <mml:mrow> <mml:mi>ang</mml:mi> </mml:mrow> <mml:mn>2</mml:mn> </mml:msubsup> <mml:mrow> <mml:mo>(</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> mixed-norm Fourier extension estimate on the sphere, covering, for the case of dimensions $$d=2,3$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>=</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> </mml:math> , the entire Stein–Tomas range. This is achieved by establishing novel hierarchies between certain weighted norms of Bessel functions.