Sharp Strichartz estimate for the 1D periodic Schrödinger equation

Abstract: We prove the following estimate [ |{e^{it\partial_x^2}f}|{L{(t,x)\in \mathbb{T}^2}^6}\leq C (\log N)^{1/6} |f|_{L^2_x(\mathbb{T})}, ] assuming $\mbox{supp} (\hat f)\subset [-N,N]$ for $N>1$. The bound $(\log N)^{1/6}$ is sharp in view of the lower bound by Bourgain \cite{Bourgain}.

• The paper establishes the sharp L6 Strichartz estimate for the 1D periodic Schrödinger equation, proving the exact log factor (log N)^(1/6).
• It leverages multilinear interpolation, resonance sum estimates, and combinatorial analysis to match Bourgain’s lower bound.
• The result informs global well-posedness in nonlinear PDEs and guides future research on higher-dimensional periodic dispersive settings.

Sharp $L^6$ Strichartz Estimate on the 1D Periodic Schrödinger Equation

Introduction

The paper "Sharp Strichartz estimate for the 1D periodic Schrödinger equation" (2604.25593) resolves the critical $L^6_{t,x}$ Strichartz estimate for the linear Schrödinger flow on the 1D torus, establishing that the upper bound $(\log N)^{1/6}$ matches Bourgain’s lower bound. This sharp result is proved for initial data $f$ whose Fourier transform is supported in $[-N,N]$ for $N>1$, addressing the regime of high-frequency localization.

Strichartz estimates on periodic domains have been widely studied due to their significant implications for global well-posedness and scattering in nonlinear dispersive PDEs. Unlike the Euclidean space $\mathbb{R}^d$, where Strichartz bounds do not involve growth in frequency cut-off $N$, toroidal estimates encode arithmetic resonances, generally resulting in $N$-dependent loss of derivatives. Prior research addressed various upper and lower bounds for critical exponents, but the problem of sharpness in the 1D periodic $L^6$ case persisted until this work.

Main Theorem and Context

The main result is: $L^6_{t,x}$0 for all functions $L^6_{t,x}$1 with $L^6_{t,x}$2. This upper bound is optimal due to Bourgain's previous construction of extremizers realizing the same growth rate [(2604.25593), Bourgain 1993].

The theoretical significance is two-fold: (1) it confirms the conjectured exponent for the periodic $L^6_{t,x}$3 Strichartz estimate in 1D, and (2) it provides the endpoint result in the chain of higher-dimensional Strichartz exponents, which had previously only been proved up to logarithmic factors.

This achievement is situated in the landscape of previous advances:

• Bourgain and others established upper bounds involving powers of $L^6_{t,x}$4 and $L^6_{t,x}$5 [Bourgain 1993, Li 2020, Guth-Maldague-Wang 2024, GLY 2023].
• Lower bounds of order $L^6_{t,x}$6 were constructed in the 1D case by Bourgain and Kishimoto.
• Prior sharpness in 2D remained open, with matching bounds obtained only to within logarithmic improvements [Herr-Kwak 2024, Takaoka-Tzvetkov 2001, Kishimoto 2014].

Proof Structure

The proof leverages several ingredients:

• Connection to Higher Dimensions: The methodology exploits the link between the 1D $L^6_{t,x}$7 Strichartz estimate and the $L^6_{t,x}$8 estimate in dimension 2. This interplay is articulated via multilinear interpolation and combinatorial analysis of lattice points responsible for arithmetic resonances.
• Herr-Kwak's 2D $L^6_{t,x}$9 Estimate: The argument uses the upper bound $(\log N)^{1/6}$0 for the 2D $(\log N)^{1/6}$1 Strichartz estimate as established in [Herr-Kwak 2024], allowing transplantation of high-dimensional restrictions to the 1D setting through precise combinatorial decompositions.
• Resonant Sum Estimates: Core technical results involve bounding the sum over resonant sets that arise in the sextilinear form associated to the $(\log N)^{1/6}$2 norm of Schrödinger evolutions. The paper provides a sharp bound for the relevant lattice exponential sums.
• Riesz-Thorin Interpolation: The final step applies Riesz-Thorin interpolation between $(\log N)^{1/6}$3, $(\log N)^{1/6}$4, and $(\log N)^{1/6}$5 sequence spaces, together with duality and symmetry arguments, to achieve the required bound with logarithmic exponent $(\log N)^{1/6}$6.

This proof not only reproduces but optimally matches the known lower bound structure, confirming there is no room for further improvement in the exponent.

Numerical and Structural Results

The main quantitative result is the precise exponent $(\log N)^{1/6}$7 for the loss in the Strichartz inequality:

• Optimality: The exponent matches Bourgain’s construction. Any attempt to further reduce the logarithmic power is impossible due to explicit counterexamples.
• Functional Setting: The estimates are proved for space-time norms on $(\log N)^{1/6}$8 and initial data spectrally supported in dyadic intervals.

No weaker logarithmic, subpower, or endpoint improvements are necessary or possible; the sharp constant up to universal multiplicative factors is achieved.

Implications and Future Perspectives

From both an analytic and PDE theory perspective, this result settles the critical scaling Strichartz estimate on the 1D torus. Several implications follow:

• Nonlinear Equation Theory: For focusing and defocusing mass-critical nonlinear Schrödinger equations on $(\log N)^{1/6}$9, any global-in-time mass-conservation and well-posedness argument requiring sharp Strichartz bounds may now rely on concrete estimates with no unknown constant dependence.
• Fourier Restriction Theory: The argument further elaborates the connections between discrete Fourier restriction for lattice subsets (parabola) and multilinear Strichartz phenomena on the torus, with ramifications for decoupling and restriction theory in periodic settings.
• Potential Sharpness in Higher Dimensions: While the 2D (and higher) periodic Strichartz exponents remain open, particularly at endpoint scaling, the techniques of this paper may inform future efforts. The interpolation strategies deployed offer new perspectives for bridging gaps between $f$0 regularity and combinatorics of lattice interactions, especially as improvements to decoupling methods or arithmetic sumset bounds become available.

Possible directions for future research include:

• Extending the sharp exponent result to higher dimensions and mixed-norm Strichartz estimates.
• Investigating orbital and statistical stability in nonlinear critical problems utilizing the sharp 1D result.
• Further analyzing the role of additive combinatorics in the structure of maximizers and defect measures for periodic Schrödinger and related equations.

Conclusion

The paper establishes the sharp $f$1 Strichartz estimate for the 1D periodic Schrödinger equation, matching both lower and upper bounds with a precise $f$2 dependence on frequency. This result closes a long-standing gap in the theory, informs the analysis of nonlinear problems on the torus, and proposes analytic strategies that could impact higher-dimensional periodic dispersive equations (2604.25593).