Abstract
In the present paper, we prove an infinite dimensional reversible Kolmogorov-Arnold-Moser (KAM) theorem. As an application, we study the existence of KAM tori for a class of two dimensional (2D) non-Hamiltonian completely resonant beam equations with derivative nonlinearities. The Birkhoff normal form theory is also used since there are no external parameters in the equations.
Similar content being viewed by others
Notes
For simplicity, in what follows, we drop the subscript on domain in the norm
References
Baldi, P., Berti, M., Montalto, R.: KAM for quasi-linear and fully nonlinear forced perturbations of Airy equation. Math. Ann. 359(1–2), 471–536 (2014)
Baldi, P., Berti, M., Montalto, R.: KAM for quasi-linear KdV. C. R. Math. Acad. Sci. Paris 352(7–8), 603–607 (2014)
Bambusi, D., Grébert, B., Maspero, A., Robert, D.: Reducibility of the quantum harmonic oscillator in \(d\)-dimensions with polynomial time-dependent perturbation. Anal. PDE 11(3), 775–799 (2018)
Bambusi, D., Langella, B., Montalto, R.: Reducibility of non-resonant transport equation on \(\mathbb{T}^{d}\) with unbounded perturbations. Ann. Henri Poincaré 20(6), 1893–1929 (2019)
Berti, M., Bolle, P.: Quasi-periodic solutions with Sobolev regularity of NLS on \(\mathbb{T}^d\) with a multiplicative potential. J. Eur. Math. Soc. (JEMS) 15(1), 229–286 (2013)
Berti, M., Biasco, L., Procesi, M.: KAM theory for the Hamiltonian derivative wave equation. Ann. Sci. Éc. Norm. Supér. (4) 46(2), 301–373 (2013)
Berti, M., Biasco, L., Procesi, M.: KAM for reversible derivative wave equations. Arch. Ration. Mech. Anal. 212(3), 905–955 (2014)
Bourgain, J.: Green’s function estimates for lattice Schrödinger operators and applications, volume 158 of Annals of Mathematics Studies, Princeton University Press. Princeton, NJ (2005)
Bourgain, J.: Periodic solutions of nonlinear wave equations. In Harmonic analysis and partial differential equations (Chicago, IL, 1996), Chicago Lectures in Math., pages 69–97. Univ. Chicago Press, Chicago, IL, (1999)
Bourgain, J.: Quasi-periodic solutions of Hamiltonian perturbations of 2D linear Schrödinger equations. Ann. Math. (2) 148(2), 363–439 (1998)
Chen, B., Gao, Y., Jiang, S., Li, Y.: Quasi-periodic solutions to nonlinear beam equations on compact Lie groups with a multiplicative potential. J. Differ. Equ. 264(11), 6959–6993 (2018)
Craig, W.: Problèmes de petits diviseurs dans les équations aux dérivées partielles, volume 9 of Panoramas et Synthèses [Panoramas and Syntheses], Société Mathématique de France, Paris (2000)
Craig, W., Wayne, C.: Newton’s method and periodic solutions of nonlinear wave equations. Commun. Pure Appl. Math. 46(11), 1409–1498 (1993)
Eliasson, L., Kuksin, S.: KAM for the nonlinear Schrödinger equation. Ann. Math. (2) 172(1), 371–435 (2010)
Eliasson, L., Grébert, B., Kuksin, S.: KAM for the nonlinear beam equation. Geom. Funct. Anal. 26(6), 1588–1715 (2016)
Feola, R., Grébert, B., Nguyen, T.: Reducibility of Schrödinger equation on a Zoll manifold with unbounded potential. arXiv:1910.10657, (2019)
Feola, R., Grébert, B.: Reducibility of Schrödinger equation on the sphere. arXiv:1905.11964, (2019)
Feola, R., Procesi, M.: Quasi-periodic solutions for fully nonlinear forced reversible Schrödinger equations. J. Differ. Equ. 259(7), 3389–3447 (2015)
Ge, C., Geng, J., Lou, Z.: KAM tori for completely resonant Hamiltonian derivative beam equations on \(\mathbb{{T}}^2\). J. Dynam. Differ. Equ. (2020). https://doi.org/10.1007/s10884-019-09819-1
Geng, J., You, J.: A KAM theorem for Hamiltonian partial differential equations in higher dimensional spaces. Commun. Math. Phys. 262(2), 343–372 (2006)
Geng, J., You, J.: KAM tori for higher dimensional beam equations with constant potentials. Nonlinearity 19(10), 2405–2423 (2006)
Geng, J., You, J.: A KAM theorem for higher dimensional nonlinear Schrödinger equations. J. Dynam. Differ. Equ. 25(2), 451–476 (2013)
Geng, J., Xu, X., You, J.: An infinite dimensional KAM theorem and its application to the two dimensional cubic Schrödinger equation. Adv. Math. 226(6), 5361–5402 (2011)
Kappeler, T., Pöschel, J.: KdV & KAM. Springer-Verlag, Berlin (2003)
Kuksin, S.: Nearly integrable infinite-dimensional Hamiltonian systems, volume 1556 of Lecture Notes in Mathematics, Springer-Verlag, Berlin (1993)
Kuksin, S.: Hamiltonian perturbations of infinite-dimensional linear systems with imaginary spectrum. Funktsional. Anal. i Prilozhen. 21(3), 22–37 (1987). (95)
Kuksin, S.: A KAM-theorem for equations of the Korteweg-de Vries type. Rev. Math. Math. Phys. 10(3), ii+64 (1998)
Kuksin, S., Pöschel, J.: Invariant Cantor manifolds of quasi-periodic oscillations for a nonlinear Schrödinger equation. Ann. Math. (2) 143(1), 149–179 (1996)
Liu, J., Yuan, X.: A KAM theorem for Hamiltonian partial differential equations with unbounded perturbations. Commun. Math. Phys. 307(3), 629–673 (2011)
Mi, L., Cong, H.: Quasi-periodic solutions for \(d\)-dimensional beam equation with derivative nonlinear perturbation. J. Math. Phys. 56(7), 072702 (2015). (14)
Pöschel, J.: A KAM-theorem for some nonlinear partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 23(1), 119–148 (1996)
Procesi, M.: A normal form for beam and non-local nonlinear Schrödinger equations. J. Phys. A 43(43), 434028 (2010). (13)
Procesi, C., Procesi, M.: A KAM algorithm for the resonant non-linear Schrödinger equation. Adv. Math. 272, 399–470 (2015)
Procesi, M., Xu, X.: Quasi-Töplitz functions in KAM theorem. SIAM J. Math. Anal. 45(4), 2148–2181 (2013)
Sun, Y., Lou, Z., Geng, J.: A KAM theorem for higher dimensional reversible nonlinear Schrödinger equations. arXiv:1903.06862, (2019)
Wang, W.: Quasi-periodic solutions for nonlinear Klein-Gordon equations. arXiv: 1609.003092, (2017)
Wang, W.: Energy supercritical nonlinear Schrödinger equations: quasiperiodic solutions. Duke Math. J. 165(6), 1129–1192 (2016)
Wayne, C.: Periodic and quasi-periodic solutions of nonlinear wave equations via KAM theory. Commun. Math. Phys. 127(3), 479–528 (1990)
Xu, X., Geng, J.: KAM tori for higher dimensional beam equation with a fixed constant potential. Sci. China Ser. A 52(9), 2007–2018 (2009)
Zhang, J., Gao, M., Yuan, X.: KAM tori for reversible partial differential equations. Nonlinearity 24(4), 1189–1228 (2011)
Acknowledgements
The authors are very grateful to the referee for his/her invaluable suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research was supported by the National Natural Science Foundation of China (NSFC) (Grant No. 11971012). Z. Lou was supported by NSFC (Grant No. 11901291) and the Natural Science Foundation of Jiangsu Province, China (Grant No. BK20190395).
Appendix
Appendix
1.1 Proof of Lemma 4.5
First of all, we give some results which will be used in this section.
Lemma 6.1
For \(k\ne 0\), \(\langle k,\alpha \rangle +\varepsilon ^{-4}(|n|^2-|n'|^2)+\langle Ak+\beta -\beta ',\xi \rangle \not \equiv 0.\)
Proof
If \(Ak+\beta -\beta '=0\), the vector \(k=(k _1,k_2,\cdots ,k_b)\) could be solved directly by Cramer’s rule:
Denote \(k\in {\mathbb Z}^b\) and \(k\ne 0\), so either just one element of the vector k not in \({\mathbb Z}\) or \(|n|^2-|n'|^2=0\) could lead to a contradiction. Now we consider the case \(k_l\) is an integer for \(1\le l\le b\) . At this time
\(\square \)
Lemma 6.2
For \(k\ne 0\), \(n,n'\in \mathcal L_1\), \(i=i'\), \(j=j'\) and \(Q_nQ_m=Q_{n'}Q_{m'}\) then all the eigenvalues of
are not identically zero.
Proof
The eigenvalues we are considering have the form as following:
with
Obviously root1 and root2 are not square number in the sense of measure. When \(root 1\ne root 2\), all the eigenvalues are not identically zero due to the presence of the square root terms. When \(root 1=root 2\), at this time we consider the eigenvalue
where
When \(k=-e_i-e_j\) there is \(k'=0\) which implies \(\frac{1}{2}(\Omega _n+\Omega _m+\Omega _{n'}+\Omega _{m'})\ne 0.\) If \(Ak'+\zeta =0\) the vector \(k'=(k' _1,k'_2,\cdots ,k'_b)\) could be solved directly with Cramer’s rule:
Obviously for \( 1\le l\le b\) it is true that \(k'_l\ne 0\). Denote \(k'\in {\mathbb Z}^b\) , so just one element of the vector \(k'\) not in \({\mathbb Z}\) could lead to a contradiction. Now we consider the case \(k'_l\) is an integer for \(1\le l\le b\) . At this time
Since \(n,m'\in {\mathbb Z}_{odd}^2\), \(|n|^2|m'|^2\) is an odd number which guarantees \((2b+1)|n|^2|m'|^2-2\sum \limits _{k=1}^b |i_k|^4\) is also an odd number. \((2b+1)|m|^2|n'|^2-2\sum \limits _{k=1}^b |i_k|^4\) has the same result.
If \(\varepsilon ^{4}\langle k',\alpha \rangle +\frac{1}{2}(|n|^2+|n'|^2+|m|^2+|m'|^2)=0\), denote \(n,n'\in \mathcal L_1\) then \(|i|^2-|j|^2=|m|^2-|n|^2=|m'|^2-|n'|^2\) which implies \(|m|^2+|n'|^2=|m'|^2+|n|^2\). Accordingly we conclude
Hence
then
However in \({\mathbb Z}_{odd}\), \((2b+1)|n|^2|m'|^2|m|^2|n'|^2\) is an odd number and \(\sum \limits _{k=1}^b |i_k|^4(|n|^2|m'|^2+|m|^2|n'|^2)\) is an even number. It is a contradiction. \(\square \)
Then we give the proof of Lemma 4.5.
At this time the form of \(\langle k,\omega \rangle I \pm A_{n}\otimes I_2\pm I_2\otimes A_{n'}\) is
Set \(\alpha =\varepsilon ^{-4}(|i_1|^2, |i_2|^2, \cdots , |i_b|^2)\), \(\xi =(\xi _{i_1},\xi _{i_2}, \cdots , \xi _{i_b})\),
and notice that \(|n|^2+|i|^2=|m|^2+|j|^2, |n'|^2+|i'|^2=|m'|^2+|j'|^2.\) We have
with \(v=\frac{1}{(2\pi )^2}(1,1,\cdots , 1).\) Its eigenvalues has the form as follows:
where \(\Delta =H_i^2\xi _i^2+H_j^2\xi _j^2+(-2H_iH_j+4\frac{1}{(2\pi )^4}Q_nQ_m)\xi _i\xi _j\) with
and \(\Delta '\) has the same form. According to the form of \(Q_nQ_m\), if \(Q_nQ_m=\frac{1}{16|i|^2|j|^2}\) there is
However, \(2\not \mid E_1\) and \(2\mid E_2\) lead to a contradiction. So it is true that \(-2H_iH_j+4\frac{1}{(2\pi )^4}Q_nQ_m\ne 2H_iH_j\). So \(\Delta \) is not a square number. If \(i\ne i'\) or \(Q_nQ_m\ne Q_{n'}Q_{m'}\), all the eigenvalues are not identically zero due to the presence of the square root terms. If \(Q_nQ_m=Q_{n'}Q_{m'}\) and \(i=i'\), consequently \(j= j'\), hence if the eigenvalue is
By the result of Lemma 6.1 this eigenvalue is not identically zero; if the eigenvalue is
Since the result of Lemma 6.2 this eigenvalue is not identically zero. Thus all eigenvalues are not identically zero.
1.2 Proof of Lemma 4.6
Set
For \(n\in \mathcal L_1, n'\in \mathcal L_2,\) the form of the eigenvalues of \(\langle k,\omega \rangle I \pm A_{n}\otimes I_2\pm I_2\otimes A_{n'}\) is
where \({\bar{\Delta }}=H_i^2\xi _i^2+H_j^2\xi _j^2+(2H_iH_j-4\frac{1}{(2\pi )^4}{\bar{Q}}_n{\bar{Q}}_m)\xi _i\xi _j\) with
and \({{\bar{\Delta }}}'\) has the same form. According to the form of \({\bar{Q}}_n{\bar{Q}}_m\), if \({\bar{Q}}_n{\bar{Q}}_m=\frac{1}{16|i|^2|j|^2}\) there is
Obviously the right one could be divided by 2 but the left could not which is a contradiction. So it is true that \(2H_iH_j-\frac{4}{(2\pi )^4}{\bar{Q}}_n{\bar{Q}}_m\ne -2H_iH_j\). So \({\bar{\Delta }}\) is not a square number. Meanwhile if \({\bar{Q}}_{n'}{\bar{Q}}_{m'}+ Q_n Q_m=\frac{1}{16|i|^2|j|^2}\) there is
However, \(2\not \mid E_1\) and \(2\mid E_2\) lead to a contradiction. So it is true that \(-2H_iH_j+\frac{4 }{(2\pi )^4} Q_n Q_m\ne 2H_iH_j-\frac{4 }{(2\pi )^4}{\bar{Q}}_{n'}{\bar{Q}}_{m'}\). Hence all the eigenvalues are not identically zero due to the presence of the square root terms.
1.3 Proof of Lemma 4.7
Because \(n, n'\in \mathcal L_2,\) the form of the eigenvalues of \(\langle k,\omega \rangle I \pm A_{n}\otimes I_2\pm I_2\otimes A_{n'}\) is
If \(i\ne i'\) or \({\bar{Q}}_n{\bar{Q}}_m\ne {\bar{Q}}_{n'}{\bar{Q}}_{m'}\), all the eigenvalues are not identically zero due to the presence of the square root terms. If \({\bar{Q}}_n{\bar{Q}}_m={\bar{Q}}_{n'}{\bar{Q}}_{m'}\) and \(i=i'\), consequently \(j= j'\), hence if the eigenvalue is
By the result of Lemma 6.1 this eigenvalue is not identically zero; if the eigenvalue is
Let us give the following lemma for the above eigenvalue.
Lemma 6.3
For \(k\ne 0\), \(n,n'\in \mathcal L_2\), \(i=i'\), \(j=j'\) and \({\bar{Q}}_n{\bar{Q}}_m={\bar{Q}}_{n'}{\bar{Q}}_{m'}\) then all the eigenvalues of
are not identically zero.
Proof
The eigenvalues we are considering have the form as following:
with
Obviously \(root 1'\) and \(root 2'\) are not square number in the sense of measure. When \(root 1'\ne root 2'\), all the eigenvalues are not identically zero due to the presence of the square root terms. When \(root 1'=root 2'\), at this time we consider the eigenvalue
where
If \(Ak''+\zeta =0\) the vector \(k''=(k'' _1,k''_2,\cdots ,k''_b)\) could be solved directly with Cramer’s rule:
Denote \(n,n'\in \mathcal L_2\) then \(|i|^2+|j|^2=|m|^2+|n|^2=|m'|^2+|n'|^2\) which implies \(|n'|^2-|m|^2=|n|^2-|m'|^2\). While at this time when \(|n|\ne |m'|\), since \(k''= 0\) if and only if \(\frac{1}{|m|^2}-\frac{1}{|n|^2}+\frac{1}{|m'|^2}-\frac{1}{|n'|^2}=0\) so \(k=e_i-e_j\), then
If \(\frac{1}{|m|^2}-\frac{1}{|n|^2}+\frac{1}{|m'|^2}-\frac{1}{|n'|^2}\ne 0\) there is \(k''_l\ne 0\) for \(1\le l\le b\). Denote \(k''\in {\mathbb Z}^b\) , so just one element of the vector \(k''\) not in \({\mathbb Z}\) could lead to a contradiction. Now we consider the case \(k''_l\) is an integer for \(1\le l\le b\) . At this time
. \(\square \)
By the result of Lemma 6.3 this eigenvalue is not identically zero, and thus all eigenvalues are not identically zero.
Rights and permissions
About this article
Cite this article
Ge, C., Geng, J. & Lou, Z. KAM theory for the reversible perturbations of 2D linear beam equations. Math. Z. 297, 1693–1731 (2021). https://doi.org/10.1007/s00209-020-02575-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02575-9