Gaussian extremizer conjecture for the Schrödinger Strichartz estimate

About 9 years old · traced to

Let 2≤p,q≤∞2\leq p,q\leq\infty and let dd be the spatial dimension. For f∈L2(Rd)f\in L^2(\mathbb{R}^d), consider the Schrödinger Strichartz estimate

∥∥eitΔf∥Lp(Rd)∥Lq(R)≤C∥f∥L2(Rd),\|\|e^{it\Delta}f\|_{L^p(\mathbb{R}^d)}\|_{L^q(\mathbb{R})}\leq C\|f\|_{L^2(\mathbb{R}^d)},

where Δ\Delta is the Laplacian and

dp+2q=d2,(p,q,d)≠(∞,2,2).\frac{d}{p}+\frac{2}{q}=\frac{d}{2},\qquad (p,q,d)\neq(\infty,2,2).

Gaussian extremizer conjecture. A function f(x)f(\boldsymbol{x}) maximizes the Strichartz estimate if and only if it has the form

f(x)=Ae−B∥x∥2+u⋅x,f(\boldsymbol{x})=Ae^{-B\|\boldsymbol{x}\|^2+\boldsymbol{u}\cdot\boldsymbol{x}},

where A,B∈CA,B\in\mathbb{C}, Re⁡B>0\operatorname{Re}B>0, and u∈Cd\boldsymbol{u}\in\mathbb{C}^d. This conjecture identifies all extremizers of the space-time Strichartz inequality; it arose from the search for maximizers following Strichartz's original work. The supplied text does not state whether it has been resolved.

References

Primary source

Felipe Gonçalves, “Orthogonal Polynomials and Sharp Estimates for the Schrödinger Equation”, arXiv:1702.08510 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.