[Paper Review] Global Well-posedness of the Energy-Critical Defocusing NLS on Rectangular Tori in three Dimensions

Nils Strunk|arXiv (Cornell University)|Nov 28, 2014

Advanced Mathematical Physics Problems4 citations

TL;DR

This paper establishes global well-posedness for the energy-critical defocusing nonlinear Schrödinger equation on three-dimensional rectangular tori with arbitrary periods, including irrational ratios. By extending Ionescu and Pausader's arguments from the standard torus to general rectangular tori, the authors prove that every initial data in the energy space $ H^1 $ generates a unique global solution that conserves mass and energy.

ABSTRACT

The energy-critical defocusing nonlinear Schrödinger equation on 3-dimensional rectangular tori is considered. We prove that the global well-posedness result for the standard torus of Ionescu and Pausader extends to this class of manifolds, namely, for any initial data in $H^1$ the solution exists globally in time.

Motivation & Objective

• To extend the global well-posedness result for the energy-critical defocusing NLS on the standard torus $\mathbb{T}^3$ to all three-dimensional rectangular tori $\mathbb{T}^3_{\boldsymbol{\alpha}}$ with arbitrary $\boldsymbol{\alpha} \in (0,\infty)^3$.
• To establish global existence and uniqueness of solutions in the energy space $H^1$ for initial data on general rectangular tori, even when the periods have irrational ratios.
• To complete the local and global well-posedness theory in $H^1$ for this class of manifolds, in light of Thomann's ill-posedness result for superquintic nonlinearities.
• To adapt and replace key technical tools—particularly a version of the extinction lemma—suitable for non-standard rectangular tori.
• To preserve conservation of mass and energy along the flow for all global solutions, ensuring the solution map is continuous from $H^1$ to $X^1([-T,T])$.

Proposed method

• Use a change of spatial variables to transform the equation on a general rectangular torus $\mathbb{T}^3_{\boldsymbol{\alpha}}$ into the standard torus $\mathbb{T}^3$, reducing the problem to the known case.
• Define the Laplacian on $\mathbb{T}^3$ via the quadratic form $Q(n) = \theta_1 n_1^2 + \theta_2 n_2^2 + \theta_3 n_3^2$, with $\theta_j = \alpha_j^{-2}$, to account for anisotropic scaling.
• Apply the same framework of large-data local well-posedness and stability as in Ionescu and Pausader (2012), relying on known Strichartz estimates and trilinear estimates.
• Prove a new version of the extinction lemma (Lemma 6.2) that applies to rectangular tori with non-integer period ratios, replacing [12, Lemma 7.1] in the original argument.
• Use Schur's lemma and Fourier coefficient estimates to bound the operator norm $\|K\|_{L^2 \to L^2}$, leading to the key decay estimate $\|K\| \lesssim N^2(B^{-1/100} + N^{-1/100})$.
• Split the sum over frequency projections into three regions based on size and angular concentration to control the decay of the kernel, ensuring the required $L^1$-bound on the nonlinear term.

Experimental results

Research questions

• RQ1 Can the global well-posedness result for the energy-critical defocusing NLS on the standard torus $\mathbb{T}^3$ be extended to rectangular tori with arbitrary, possibly incommensurate periods?
• RQ2 Does the method of Ionescu and Pausader, relying on profile decomposition and the extinction lemma, remain valid for non-standard rectangular tori?
• RQ3 Is the trilinear Strichartz estimate sufficient to control the energy-critical nonlinearity on general rectangular tori, even when the period ratios are irrational?
• RQ4 Can the key technical lemma (Lemma 7.1 in [12]) be adapted to rectangular tori with non-integer $\alpha_j$, preserving the required decay estimates?
• RQ5 Does the conservation of mass and energy hold for global solutions on general rectangular tori, and is the solution map continuous from $H^1$ to $X^1$?

Key findings

• The global well-posedness result for the energy-critical defocusing NLS on $\mathbb{T}^3$ extends to all three-dimensional rectangular tori $\mathbb{T}^3_{\boldsymbol{\alpha}}$ with arbitrary $\boldsymbol{\alpha} \in (0,\infty)^3$.
• For any initial data $\phi \in H^1(\mathbb{T}^3)$, there exists a unique global solution $u \in X^1(\mathbb{R})$ to the initial-value problem (1.1), with continuous dependence on initial data.
• The solution conserves both mass $M(u)$ and energy $E(u)$ for all time, as defined in (1.2), ensuring the flow is well-behaved in the energy space.
• The key technical replacement, Lemma 6.2, establishes that $\|\mathfrak{D}_{4,1}(\omega, e^{it\Delta}P_{>BN}f)\|_{L^1((-1,1), H^1)} \lesssim (B^{-1/200} + N^{-1/200})\|f\|_{H^1}$, which controls the nonlinear interaction.
• The operator norm estimate $\|K\|_{L^2 \to L^2} \lesssim N^2(B^{-1/100} + N^{-1/100})$ is proven via Fourier coefficient decay and Schur's lemma, enabling the extinction lemma to hold on general tori.
• The proof relies on decomposing the frequency sum into three regions: large $|v|$, large $|p \cdot \Theta v|$, and small $|p \cdot \Theta v|$, each controlled by geometric and arithmetic estimates to achieve the required decay.