Symplectic Normal Form and Growth of Sobolev Norm

Zhenguo Liang,Jiawen Luo,Zhiyan Zhao
2024-07-12
Abstract:For a class of reducible Hamiltonian partial differential equations (PDEs) with arbitrary spatial dimensions, quantified by a quadratic polynomial with time-dependent coefficients, we present a comprehensive classification of long-term solution behaviors within Sobolev space. This classification is achieved through the utilization of Metaplectic and Schrödinger representations. Each pattern of Sobolev norm behavior corresponds to a specific $n-$dimensional symplectic normal form, as detailed in Theorems 1.1 and 1.2. When applied to periodically or quasi-periodically forced $n-$dimensional quantum harmonic oscillators, we identify novel growth rates for the $\mathcal{H}^s-$norm as $t$ tends to infinity, such as $t^{(n-1)s}e^{\lambda st}$ (with $\lambda>0$) and $t^{(2n-1)s}+ \iota t^{2ns}$ (with $\iota\geq 0$). Notably, we demonstrate that stability in Sobolev space, defined as the boundedness of the Sobolev norm, is essentially a unique characteristic of one-dimensional scenarios, as outlined in Theorem 1.3. As a byproduct, we discover that the growth rate of the Sobolev norm for the quantum Hamiltonian can be directly described by that of the solution to the classical Hamiltonian which exhibits the ``fastest" growth, as articulated in Theorem 1.4.
Analysis of PDEs,Dynamical Systems
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the classification of the long - term behavior of solutions to Hamiltonian partial differential equations (PDEs) in Sobolev spaces and the quantification of their growth rates. Specifically, the paper focuses on a class of reducible Hamiltonian partial differential equations with arbitrary spatial dimensions, which are quantified by quadratic polynomials with time - dependent coefficients. By using the Metaplectic representation and the Schrödinger representation, the paper comprehensively classifies the long - term behavior of solutions in Sobolev spaces and determines the growth patterns of Sobolev norms under different quantum normal forms. ### Overview of the Main Problems in the Paper 1. **Problem Background**: - The research object is a class of reducible Hamiltonian partial differential equations, which are quantified by quadratic polynomials with time - dependent coefficients. - The goal is to classify the long - term behavior of solutions to these equations in Sobolev spaces and quantify the growth rates of their Sobolev norms. 2. **Research Methods**: - Use the Metaplectic representation and the Schrödinger representation to analyze the behavior of solutions. - Remove the time - dependence of the original equation by the reduction method and transform it into an equation with constant coefficients. - Classify the reduced equation with constant coefficients to obtain different quantum normal forms (QNFs). 3. **Main Results**: - **Theorem 1.1**: If the system \(z' = A(t)z+\ell(t)\) is reducible, then the equation \(\frac{1}{2\pi i}\partial_t\psi = H(t, Z)\psi\) is also reducible and can be transformed into \(\frac{1}{2\pi i}\partial_t\phi = R(Z)\phi\) through some \(L^2\)-unitary transformation \(\psi(t)=U(t)\phi(t)\), where \(R(Z)\) is a time - independent operator. - **Theorem 1.2**: For the equation \(\frac{1}{2\pi i}\partial_t\psi = H(t, Z)\psi\) with non - zero initial conditions \(\psi(0)\in H^s(\mathbb{R}^n)\), if the system \(z' = A(t)z+\ell(t)\) is reducible, then there exist a constant \(C > 1\) and positive functions \(g_k^{(n)}(s, t)\) such that \(C^{-1}g_k^{(n)}(s, t)\leq\|\psi(t)\|_{H^s(\mathbb{R}^n)}\leq Cg_k^{(n)}(s, t)\) as \(|t|\to\infty\). The specific growth patterns are as follows: - **QNF1**: \(g_1^{(n)}(s, t)=|t|^{(n - 1)s}e^{\lambda s|t|}\) - **QNF2**: \(g_2^{(n)}(s, t)=|t|^{(\frac{n}{2}-1)s}e^{\lambda_1 s|t|}\) (when \(n\) is even) - **QNF3**: \(g_3^{(n)}(s, t)=|t|^{(n - 1)s}\) - **QNF4**: \(g_4^{(n)}(s, t)=|t|^{(2n - 1)s}+|\iota_1|^s|t|^{2ns}\) - **QNF5**: \(g_5^{(n)}(s, t)=|t|^{(n - 1)s}+(|\iota_1|+|\iota_2|)^s|t|^{ns}\) (when \(n\) is odd) - **QNF6** (decomposable case): \(g_6^{(n)}(s,