Abstract
In this paper, we focus on the class of almost-periodically forced higher-dimensional beam equations
subject to periodic boundary conditions, where \(\psi (\omega t)\) is real analytic and almost-periodic in t. We show the existence of almost-periodic solutions for this equation under some suitable hypotheses. In the proof, we improve the KAM iteration to deal with the infinite-dimensional frequency \(\omega =(\omega _{1},\omega _{2},\ldots)\).
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
1 Introduction
Recently, many researchers focus on some physical models appeared in dynamics of the suspension bridge, nonrelativistic quantum mechanics, supersymmetric field theoriesk and inflation cosmology [1–11]. For those models, there are many remarkable results on the global existence or the blowup of solutions for wave equations [2–4], elliptic equations [5, 6], and some semilinear evolution equations [7]. As in the fundamental models, the dynamical behavior of the solutions is studied. The decay estimate of the solution at both subcritical and critical initial energy levels was obtained by Xu [2]. Nguyen [8] considered the compactness and stability for the Maxwell equations. Goubet and Manoubi [9] investigated the asymptotic convergence of the solutions.
For one-dimensional Hamiltonian systems, the existence of quasiperiodic solutions or almost-periodic solutions is also very significant in physics. It is well known that the infinite-dimensional KAM theory is powerful to obtain it (see [12–21]). However, the standard KAM theory fails to study higher-dimensional Hamiltonian PDEs because of the multiplicity of the eigenvalues.
It is worth noting that the first breakthrough in higher-dimensional PDEs is due to Bourgain. Bourgain [22] obtained quasiperiodic solutions for two-dimensional nonlinear Schrödinger equations via the developed Craig–Wayne methods. The Craig–Wayne–Bourgain methods can overcome the difficulty of the asymptotical multiplicity of eigenvalues in higher-dimensional PDEs. However, it should also be pointed out that the KAM theory has some important advantages. We can construct a local normal form in a neighborhood of the solutions using the KAM theory, which turns out the behavior and dynamics of the equation of motion. Thereafter, the infinite KAM theorem was extended to the existence of finite-dimensional tori for higher-dimensional Hamiltonian systems. Geng and You [23, 24] constructed KAM theorems for the higher-dimensional beam equation. Yuan [25] obtained a KAM theorem to apply to partial differential equations of higher dimensions.
However, there is a crucial condition in the KAM theorems in [23] and [24] that the nonlinearity \(f(u)\) does not explicitly contain the time variable t and the space variable x. Thus their KAM approaches failed in the case of the nonlinearity depending on t or x. Physically, it requires no external force acting when the string is at rest, tending to distort its equilibrium of \(u=0\). Up to now there are very few results on the reducibility in higher dimensions. Eliasson and Kuksin [26] (also see [27]) showed the reducibility for the linear Schrödinger equations in higher dimension
Eliasson, Grébert, and Kuksin [28] also considered the d-dimensional beam equation, which is a good model for the Klein–Gordon equation. Rui and Liu [29] proved the existence of quasiperiodic solutions for a linear d-dimensional beam equation with a quasiperiodic in time potential.
Comparing with the case of quasiperiodic solutions in higher dimensions, as far as we know, the reducibility results for almost-periodic solutions in higher dimensions have not been previously regarded in the literature. In this paper, we focus on the reducibility of the linear d-dimensional beam equation with almost-periodic forcing
with periodic boundary conditions
where \(\psi (\omega t)\) is real analytic and almost-periodic in t. Our aim is to construct almost-periodic solutions of small amplitude for the beam equation (1.1). This equation is an important model of mathematical physics. It is of great interest in applying to many engineering fields.
Our beam equation (1.1) is quite different from the equations mentioned. There is almost-periodic forcing in higher dimensions, because the reducibility is complex and doubtful. Unfortunately, all those KAM theorems fail to handle infinite-dimensional frequency \(\omega =( \omega _{1},\omega _{2},\ldots )\) in Eq. (1.1). Using the method of Pöschel [19] and Xu and You [30], we succeed in decomposing infinite-dimensional frequency in the reducibility. Our nonresonance condition of an infinite-dimensional frequency benefits a lot from Pöschel [14]. The main difficulty in this problem is estimating measures of small divisors, since the infinite-dimensional frequency will handle at each step of the KAM iteration. The KAM theory in Kuksin [12] and Pöschel [13] cannot be directly applied to the d-dimensional beam equation with almost-periodic forcing, and we will improve the KAM iteration (see Sect. 3). A new strategy to overcome the difficulty are the techniques of decomposing infinitely many frequencies and expanding Hamiltonian into proper series, which are the main achievements of this paper. The author of this paper in [31] and [32] obtained the existence of almost-periodic solutions with almost-periodic forcing using similar techniques. However, Eq. (1.1) is a higher-dimensional equation, and therefore the analysis of Birkhoff normal forms and more precise estimation of new perturbation is very difficult because of the effects of infinite-dimensional frequency,
To state the main results of our paper, we need the following assumptions and sets. To dispose the infinite-dimensional frequency, we construct a sequence \(\{b_{\nu }\}_{\nu \geq 0}\) satisfying \(b_{0}=2b\geq 2\), \(b_{\nu +1}>b_{\nu }\), and \(b_{\nu }\in \mathbb{Z}^{+}\). We choose the index set
The frequencies can be split up as \(\omega =(\omega ^{b_{\nu }},\omega _{\nu }')=(\omega _{i_{1}},\ldots , \omega _{i_{b_{\nu }}},\omega _{i_{b_{\nu }+1}},\ldots )\). Let \(\theta =\omega t\). For fixed \(\varrho \in (0,1)\), by [14] the frequency ω satisfies the following nonresonance conditions
where \(0<\tilde{\alpha }<1\) is arbitrary and fixed, \(|k|=\sum_{i=1}^{\infty }|k_{i}|\), \(\mathcal{O}^{\nu }\) is a closed set in \(\mathbb{R}^{b_{\nu }}\), and \(\mathcal{O}'_{\nu }\) is a closed set. The frequencies \(\omega ^{b_{\nu }}\) will be chosen properly by the KAM iteration. We also need the following notation:
To apply the KAM theory, we introduce the following assumptions:
- (H1):
The function \(\psi (\omega t)\) is real analytic and almost-periodic with \(\omega \in \mathcal{O}\).
- (H2):
The function \(\psi (\theta )\) has a special series expansion of the form
$$ \psi (\theta )=\sum_{j=0}^{\infty }\varepsilon ^{b_{j}}\psi _{b_{j}}\bigl( \theta _{1}^{b_{j}} \bigr), $$which is absolutely convergent. There exists an absolute constant C such that
$$\begin{aligned} &\bigl\vert \psi (\theta ) \bigr\vert \leq C,\qquad \bigl\vert \psi _{b_{j}}\bigl(\theta _{1}^{b_{j}}\bigr) \bigr\vert \leq C, \qquad\bigl\vert \partial _{\theta _{j}}\psi _{b_{0}}\bigl(\theta _{1}^{b_{0}}\bigr) \bigr\vert \leq C,\quad j\in \mathcal{I}_{0},\\ & \bigl\vert \partial _{\theta _{j}}\psi _{b_{j}}\bigl(\theta _{1}^{b_{j}}\bigr) \bigr\vert \leq C,\quad j\in \mathcal{I}_{j}\backslash \mathcal{I}_{j-1} , j=1, \ldots . \end{aligned}$$
By assumption (H1) we can expand \(\psi _{b_{j}}(\theta _{1}^{b_{j}})\)\(( j=0,1,\ldots )\) into the converging Fourier–Taylor series
Theorem 1.1
(Main Theorem)
Assume that\(\psi (\theta )\)in (1.1) satisfies assumptions (H1) and (H2). For\(\omega =(\omega _{1},\ldots ,\omega _{j},\ldots )_{j\in \mathbb{Z}} \in \mathcal{O}\), there existsεsmall enough and a positive Lebesgue measure set\(\mathcal{O}^{*}\subset \mathcal{O}\)such that\(\operatorname{meas}(\mathcal{O}\backslash \mathcal{O}^{*})\leq C\varepsilon ^{ \frac{1}{6}}\). Moreover, for all\(\omega ^{*}=(\omega _{i_{1}},\ldots )_{i_{j}\in \mathcal{I}_{\infty }} \in \mathcal{O}^{*}\), the higher-dimensional beam equation (1.1) with periodic boundary conditions (1.2) admits a family of almost periodic solutions of the form
where\(\lambda ^{*}=(\cdots ,\lambda _{n\infty },\ldots )_{n\in \mathbb{Z}^{d}}\)and\(\lambda _{n\infty }=|n|^{2}+\mu +\varepsilon ^{b_{0}} \frac{\bar{\psi }^{b_{0}}_{0}}{2\lambda _{n}}+O(\varepsilon ^{b_{1}})\).
Remark 1.2
Assumption (H2) is crucial to have a successful KAM iteration. We will split the Hamiltonian and add some proper parts of perturbations to increase the number of frequencies in the next KAM step. Moreover, for the reducibility, we need to ensure that the new perturbation in the next KAM step is smaller than the previous one. Thus \(\psi (\theta )\) needs a special series expansion, and the form of the series is decided by KAM iteration.
Remark 1.3
The function \(\psi (\theta )\) in (1.1) depends only on t to conserve the partial zero-momentum property in the KAM iteration. Otherwise, in the case of higher dimension the estimate of the new perturbations becomes doubtful, and the terms of new normal form cannot be handled. It is harder than one-dimensional equations in [31] and [32].
The rest of the paper is organized as follows. In Sect. 2, we discuss the Hamiltonian setting corresponding Eq. (1.1). Section 3 is devoted to the reducibility of proving the existence of almost-periodic solutions for the linear d-dimensional beam equation using an improved KAM iteration. The small divisors estimate in reducibility is given in the Appendix.
2 The Hamiltonian of the higher-dimensional beam equation
In this section, we analyze the Hamiltonian of the higher-dimensional beam equation, which will be transformed into the KAM iteration.
We first introduce some notations. Let \(l^{a,\rho }\) be the Banach spaces of complex-valued sequences \(q=(\cdots ,q_{n},\ldots )_{n\in \mathbb{Z}^{d}}\) and its complex conjugate \(\bar{q}=(\cdots ,\bar{q}_{n},\ldots )_{n\in \mathbb{Z}^{d}}\) with the weighted norm
where \(a\geq 0, \rho >0\), \(|n|=\sqrt{n_{1}^{2}+\cdots ,n_{d}^{2}}, n=(n_{1},\ldots ,n_{d})\). Let \(\alpha \equiv (\cdots ,\alpha _{n},\ldots )_{n\in \mathbb{Z}^{d}}\), \(\beta \equiv (\cdots ,\beta _{n},\ldots )_{n\in \mathbb{Z}^{d}}\), \(\alpha _{n},\beta _{n}\in \mathbb{N}\), with finitely many nonzero components of positive integers. The product \(q^{\alpha }\bar{q}^{\beta }\) denotes \(\varPi _{n}q_{n}^{\alpha _{n}}\bar{q}_{n}^{\beta _{n}}\).
In the following, we reduce the Hamiltonian of the higher-dimensional beam equation (1.1). The Hamilton systems (1.1)–(1.2) are equivalent to the systems
By a simple computation, \(\lambda _{n}=|n|^{2}+\mu \) are the eigenvalues of the operator \(A=-\Delta +\mu \) subject to periodic boundary conditions with eigenfunctions \(\phi _{n}(x)=\sqrt{\frac{ 1}{(2\pi )^{d}}}e^{{\mathrm{i}}\langle n,x\rangle }, n\in \mathbb{Z}^{d} \).
Letting \(q=\frac{1}{\sqrt{2}}A^{\frac{1}{2}}u-{\mathrm{i}}\frac{1}{\sqrt{2}}A^{- \frac{1}{2}}v\), we have
Let \(q(x)=\sum_{ n\in \mathbb{Z}^{d}}q_{n}\phi _{n}(x)\). Equation (2.1) is equivalent to the nonautonomous lattice Hamiltonian system
with the corresponding Hamiltonian function
Letting \(\theta =\omega t\), we introduce a pair of action-angle variables \((J,\theta )\in \mathbb{R}^{\infty }\times \mathbb{T}^{\infty }\) with
Thus the corresponding Hamiltonian function of system (2.2) may be rewritten as
with the symplectic structure \(dJ\wedge \,d\theta +{\mathrm{i}}\sum_{n\in \mathbb{Z}^{d}}\,dq_{n}\wedge d \bar{q}_{n}\).
By Assumption (H2) the Hamiltonian (2.4) can be split into the following form
where for \(j=1,\ldots \) ,
Furthermore, for \(j=0,1,\ldots \) , \(R_{j}\) may be rewritten in detail as follows:
with
Let \(b_{-1}=0\). By \(q(x)=\sum_{ n\in \mathbb{Z}^{d}}q_{n}\phi _{n}(x)\) we can rewrite \(R_{j}(\theta _{1}^{b_{j}},q,\bar{q}), j =0,1,\ldots \) , as follows:
where \(\lambda =(\cdots ,\lambda _{n},\ldots )_{n\in \mathbb{Z}^{d}}\). It is easy to see that \(R_{j}(\theta _{1}^{b_{j}},q,\bar{q}), j=0,1,\ldots \) , admit the partial zero-momentum property
Remark 2.1
Property of (2.9) is important for higher-dimensional Hamiltonian systems. It ensures the form of perturbations and the obtained normal form in the KAM iteration. There is a crucial difference from the one-dimensional case. Thus, to conserve this property at each KAM step, we require that ψ does not explicitly depend on space variable x.
Remark 2.2
By (2.9) we get \(R_{jknm}^{20b_{j}}=R_{jk\alpha \beta }, \alpha =e_{n}+e_{m}, \beta =0; R_{jknm}^{02b_{j}}=R_{jk\alpha \beta }, \alpha = 0, \beta =e_{n}+e_{m}\); and \(R_{jknm}^{11b_{j}}=R_{jk\alpha \beta }, \alpha =e_{n}, \beta =e_{m}\). The perturbation \(R_{j}(\theta _{1}^{b_{j}},q,\bar{q})\) satisfying (2.9) means that \(R_{jknm}^{11b_{j}}=0\) if \(n\neq m\). Then the normal variables \(q_{n}, \bar{q}_{m}\) with \(n\neq m\) in the new normal form will not be coupled. Moreover, there are no terms of the forms \(\sum_{n}R_{jk(e_{n}+e_{-n})0}q_{n}q_{-n}\) and \(\sum_{n}R_{jk0(e_{n}+e_{-n})}\bar{q}_{n}\bar{q}_{-n}\).
Lemma 2.3
For\(a\geq 0\)and\(\rho >0\), the gradient\(R_{\bar{q}}\)is a real analytic map from a neighborhood of the origin of\(l^{a,\rho }\)into\(l^{a+1,\rho }\), with
For the proof of Lemma 2.3, see [33].
Remark 2.4
We require that \(\bar{a}>a\), which means that the weight of vector fields is a little heavier than that of \(q, \bar{q}\). The regularity of \(\|X_{R}\|_{\bar{a},\rho }\) ensures that \(X_{R}\) sends a decaying q-sequence to a faster decaying sequence.
3 Reducibility
In this section, we state the important Theorem 3.2 and give a detailed proof of the reducibility to obtain the Theorem 1.1. The main program of proof comes form the KAM iteration, which involves an infinite sequence of change of variables. Thus, at each step of KAM iteration the estimates of the coordinate transformation and the Lebesgue measure of a small devisor are necessary (see Sects. 3.2–3.4). Because of our infinite frequencies in beam equations, we need to improve the program of the KAM iteration (see Sect. 3.5). Since at each KAM step the perturbation must become more smaller than at the previous KAM step, we estimate the new perturbation (see Sect. 3.6). For a high-dimensional beam equation, we need to verify the partial zero-momentum property at each KAM step (see Sect. 3.7). The normal form is obtained by the infinite transforms. Thus the convergence of the infinite transforms needs to be considered (see Sect. 3.8).
3.1 A theorem of reducibility
We further give a theorem of reducibility for the Hamiltonian systems (2.5). To this end, we firstly introduce some notations and spaces.
We choose a proper sequence \(\{b_{\nu }\}_{\nu =0}^{\infty }\) defined by \(b_{0}=2b>2\), \(b_{\nu +1}=b_{\nu }+ b=(\nu +3)b, b_{\nu }\in \mathbb{Z}^{+}\). Let \(\varepsilon _{\nu }=\varepsilon ^{b_{\nu }}, \nu =0,1,\ldots \) . For given \(\sigma >0\) and \(r>0\), we define the sequences \(\{\sigma _{\nu }\}_{\nu =0}^{\infty }\) and \(\{r_{\nu }\}_{\nu =0}^{\infty }\), as follows:
We easily to see that \(\sigma _{0}>\cdots >\sigma _{\nu }>\sigma _{\nu +1}>\cdots >\sigma /2\). Denote
where \(|\cdot |\) denotes the sup-norm for complex vectors or matrixes. For \(\nu =0,1, \ldots \) , we define that
We assume that the given analytic function has the following form:
with the weighted norm
where
and
Let \(w^{*}=(\theta ,J,q,\bar{q})\in D(\sigma ,r)\). The weighted norm of \(w^{*}\) is
For \(B(\eta ;\omega ):D(\sigma ,r)\rightarrow D(\sigma ,r)\) and \((\eta ;\omega )\in D(\sigma ,r)\times \mathcal{O}\), we denote the operator norms
For the Hamiltonian vector field \(X_{F}=(F_{J},-F_{\theta },\{{\mathrm{i}}F_{q_{n}}\},\{-{\mathrm{i}}F_{\bar{q}_{n}} \})\) associated with a function F on \(D(\sigma ,r)\times \mathcal{O}\), its weighted norm is defined as
Lemma 3.1
For\(\varepsilon ^{*}>0\)sufficiently small and\(r=\varepsilon ^{*}\), if\(|J|< r^{2}\)and\(\|q\|_{a,\rho }< r\), then for\(\varepsilon =\varepsilon (\varepsilon ^{*})\), we have
For the proof, see [24].
Now we state our theorem.
Theorem 3.2
Suppose that the HamiltonianHin (2.5) satisfies assumption (H1)–(H2). Then there exist\(\varepsilon >0\)small enough and a Cantor set\(\mathcal{O}^{*}\subset \mathcal{O}\)such that\(\operatorname{meas}(\mathcal{O}\backslash \mathcal{O}^{*})=\varepsilon ^{ \frac{1}{6}} \)and (the smallness condition)
Moreover, we have:
- (i)
For each\(\omega \in \mathcal{O}^{*}\), there exists a real analytic linearly symplectic coordinate transformation
$$ \varSigma ^{\infty }: D(\sigma /2,0)\times \mathcal{O}^{*} \rightarrow D( \sigma ,r). $$The symplectic coordinate transformation\(\varSigma ^{\infty }\)is close to the identity:
$$ \bigl\vert \varSigma ^{\infty }-\mathrm{id} \bigr\vert ^{*}_{D(\sigma /2,0)\times \mathcal{O}^{*}} < C \varepsilon ^{b}, $$where\(C>0\)is an absolute constant.
- (ii)
The symplectic coordinate transformation\(\varSigma ^{\infty }\)transforms the Hamiltonian (2.5) into
$$\begin{aligned} H^{\infty }=H\circ \varSigma ^{\infty }=\sum_{m=i_{1}}^{\infty }\omega _{m}J_{m}+\sum_{n\in \mathbb{Z}^{d}}\lambda _{n\infty }q_{n} \bar{q}_{n}, \end{aligned}$$(3.5)where\(\omega ^{*}=(\omega _{i_{1}},\omega _{i_{2}},\ldots)\in \mathcal{O}^{*}, i_{j}\in \mathcal{I}_{\infty }\), and\(\lambda _{n\infty }= |n|^{2}+\mu +\varepsilon ^{b_{0}} \frac{\bar{\psi }^{b_{0}}_{0}}{2\lambda _{n}}+O(\varepsilon ^{b_{1}})\).
Remark 3.3
The forced term \(\psi (\omega t)\) is almost periodic with an infinite-dimensional frequency \(\omega =(\omega _{1},\dots )\). A significantly difficult problem is estimating the small divisors at each KAM step because of treating infinite frequencies at the same time. To overcome this difficulty, we split the infinite frequencies to the sum of some finite frequencies, which means that at each KAM step, we only treat some finite frequencies.
Remark 3.4
By the chosen finitely many frequencies at each KAM step the Hamiltonian H in (2.5) needs to be expanded into the proper series of \(H=H^{1}_{0}+H_{1}+\cdots +H_{j}+\cdots \) . We will transform them in a proper order at the KAM iteration. Thus, in the reducibility, we construct the proper Hamiltonian iteration sequences \(\{H_{l}^{1}\}_{l=0}^{\infty }\) and \(\{ H _{jl}^{3}\}_{l=0}^{\infty }, j=l+1,\ldots \) .
Remark 3.5
Assumption (H2) is crucial. The KAM iteration is successful because of the new perturbation reducing speedily after each KAM step. The new added perturbation \(\varepsilon _{\nu +1}P_{(\nu +1)(\nu +1)}^{3}\) defined in (3.34) at the next KAM step should be smaller than the previous one. The coefficients \(\varepsilon ^{b_{j}}\) of \(\psi (\theta )=\sum_{j=0}^{\infty }\varepsilon ^{b_{j}}\psi _{b_{j}}( \theta _{1}^{b_{j}})\) will be decided by the estimations of the small divisor measure and the new perturbation in reducibility.
In Sects. 3.2–3.8, we will prove Theorem 3.2 via an improved KAM reducibility.
3.2 Construction of iterative series and verification of the first KAM iteration
We iteratively construct Hamiltonian series \(\{H_{l}^{1}\}_{l=0}^{\infty }\) as follows:
where
with \(P_{nm}^{120b_{0}}=R_{0nm}^{20b_{0}}, P_{nm}^{111b_{0}}=R_{0nm}^{11b_{0}}, P_{nm}^{102b_{0}}=R_{0nm}^{102b_{0}}\) defined in (2.7) and
Moreover,
where
We also need another Hamiltonian series \(\{ H _{jl}^{3}\}_{l=0}^{\infty }, j=l+1,\ldots \) , of the form
where
with
Moreover,
We easily verify that \(H_{0}^{1}=H_{l}^{1}|_{l=0}\), that is, \((3.1)_{0}\) is satisfied. It is easy to obtain \(\lambda _{n0}\) by (2.7), that is, \((3.4)_{0}\) is satisfied. Let \(H_{j}=H_{jl}^{3}|_{l=0}\), that is, \((3.5)_{0}\), be satisfied. From Assumption (H2) and Lemma 3.1 we obtain that
which means that \((3.3)_{0}\) and \((3.7)_{0}\) are satisfied. From (2.9) by \(P_{lk\alpha \beta }|_{l=0}=R_{0k\alpha \beta }, P_{jlk\alpha \beta }^{3}|_{l=0}=R_{jk \alpha \beta }\) we get \((3.2)_{0}\) and \((3.6)_{0}\).
3.3 Solve the homological equations
At each step of the KAM iteration, we will meet the small divisors in finding the coordinate transforms. Now we first estimate the measure of the small divisor about the frequency \(\omega \in \mathcal{O}\), which will be proved in Appendix.
Lemma 3.6
For\(k\in \mathbb{Z}^{b_{s}}\), \(n,m\in \mathbb{Z}^{d}\), \(l=0,1,\ldots ,\nu \), there exist closed subsets
such that, for all\(\omega ^{b_{l}}\in \mathcal{O}^{b_{l}}_{*}\), we have the following inequalities:
where\(\lambda _{nl}\)and\(\lambda _{ml}\)are defined in\((3.4)_{l}\).
Moreover, letting
we get
whereCis a constant depending onμandϱ.
We look for a change of variables \(S_{\nu }\) defined in a domain \(D_{\nu +1}\) by the time-one map \(X_{\mathcal{F}_{\nu }}^{1}\) of the Hamiltonian vector field \(X_{\mathcal{F}_{\nu }}\). Let \(X_{\mathcal{F}_{\nu }}^{t}\) be the time-t map of the flow of the Hamiltonian vector field \(X_{\mathcal{F}_{\nu }}\) given by the Hamiltonian
For \(\omega ^{b_{\nu }}\in \mathcal{O}^{b_{\nu }}_{*}\), \(S_{\nu }\) transforms system \((3.1)_{\nu }\) into
and for \(j \geq \nu + 1\), Hamiltonian \((3.5)_{\nu }\) is transformed into
Now the unknown function \(F_{\nu }\) needs to satisfy the following equation:
which is equivalent to
Inserting F into (3.8), we have
Since \(j\geq \nu +1\), we obtain \(b_{j}\geq b_{\nu +1}\). From the definition of \(F_{\nu }(\theta ^{b_{\nu }})\) in (3.8) and \(\theta ^{b_{\nu }}=(\theta _{i_{1}},\ldots ,\theta _{i_{b_{\nu }}})\) we obtain that \(\partial _{\theta _{m}} F_{\nu }=0, m=b_{j-1}+1,\ldots ,b_{j}\). Thus
Thus (3.10) can be rewritten as
3.4 Estimation on the coordinate transformation
We proceed to estimate \(X_{\mathcal{F}_{\nu }}\) and \(\phi _{\mathcal{F}_{\nu }}^{1}\).
Lemma 3.7
Let\(D^{i}_{\nu }=D(\sigma _{\nu +1}+\frac{i}{4}(\sigma _{\nu }-\sigma _{\nu +1}), \frac{i}{4}r_{\nu })\), \(0< i\leq 4\). Then
Proof
Recall that by \(\omega ^{b_{\nu }}\in \mathcal{O}^{b_{\nu }}_{*}\), (3.6), and (3.12) we get, for \((m_{1},m_{2})=\{(2,0),(0,2)\}\),
Recalling \((3.4)_{\nu }\), we get
Thus, in view of (3.12), (3.18), and \((3.3)_{\nu }\), for \((\theta ^{b_{\nu }};\omega ^{b_{\nu }})\in \varTheta _{\nu +1}\times \mathcal{O}^{b_{\nu }}_{*}\), we deduce that for \(|k| +||n|-|m||\neq 0\),
Similarly, we get, for \((m_{1},m_{2})=\{(2,0),(0,2)\}\),
Thus by (3.16)–(3.20) we get, for \((m_{1},m_{2})=\{(2,0),(1,1),(0,2)\}\),
By the definition of the weighted norm, \(\sigma _{\nu +1}+\frac{3}{4}(\sigma _{\nu }-\sigma _{\nu +1})=\sigma _{ \nu }-\frac{1}{4}(\sigma _{\nu }-\sigma _{\nu +1})\), \((3.3)_{\nu }\), and (3.21) it follows that
By the definition of \(F_{\nu }\) we easily see that \(\partial _{J^{b_{\nu }}} F_{\nu }=0\) and
Similarly,
Similarly to the proof of (3.22), by the definition of \(\mathcal{F}_{\nu }\) in (3.8), (3.22)–(3.24), and \((3.3)_{\nu }\) we obtain
□
Now we give some estimates for \(\phi _{\mathcal{F}_{\nu }}^{t}\). We obtain that our coordinate transformation is well defined by the following formula (3.25). We will use inequality (3.26) to check the convergence of the iteration.
Lemma 3.8
Let\(\eta _{\nu }=\varepsilon ^{ \frac{1}{8}\nu b+\frac{1}{12} b } ( (\frac{256(b_{\nu }+ 4)}{e} )^{ b_{\nu }+4}(\sigma _{\nu }- \sigma _{\nu +1})^{-2b_{\nu }-\frac{7}{2}} )^{\frac{1}{3}}\), \(D^{i\eta _{\nu }}_{\nu }=D(\sigma _{\nu +1}+\frac{i}{4}(\sigma _{\nu }- \sigma _{\nu +1}),\frac{i}{4}\eta _{\nu }r_{\nu })\), \(0< i\leq 4\). If\(\varepsilon _{\nu }\ll ( (\frac{256(b_{\nu }+ 4)}{e} )^{ -b_{\nu }-4} (\sigma _{\nu }-\sigma _{\nu +1})^{2b_{\nu }+\frac{5}{2}} )^{\frac{3}{2}}\), then we have
Moreover,
Proof
Let
Note that \(\mathcal{F}_{\nu }\) is a polynomial of degree 2 in \(q,\bar{q}\). By (3.15), the weighted norm, and the Cauchy inequality we get that for any \(m\geq 2\),
We consider the integral equation
so that \(\phi _{\mathcal{F}_{\nu }}^{t}: D^{2\eta _{\nu }}_{\nu }\rightarrow D^{3 \eta _{\nu }}_{\nu }, -1\leq t\leq 1\), which directly follows from (3.13). Since
where , from the Gronwall inequality we get that
Consequently, Lemma 3.8 follows. □
3.5 Rewrite the new normal form and new perturbation
We expand the Hamiltonian H to deal with infinite frequencies ω. Thus we need to rewrite the new Hamiltonian to increase some new finite frequencies in the next iteration. The map \(\phi _{\mathcal{F}_{\nu }}^{1}=S_{\nu }\) transforms \(H^{1}_{\nu }\) into \(H^{2}_{\nu +1}=H^{1}_{\nu }\circ \phi _{\mathcal{F}_{\nu }}^{1}=\varLambda _{ \nu +1}^{2}+\varepsilon _{\nu +1}P^{2}_{\nu +1}\). Due to the special form of \(P_{\nu }^{1}\) in \((3.2)_{\nu }\), the terms in \(\sum_{nm}\frac{1}{\sqrt{\lambda _{n}\lambda _{m}}}P_{0nm}^{11b_{\nu }}q_{n} \bar{q}_{m}\) with \(n\neq m\) are absent. Then the new normal form \(\varLambda _{\nu +1}^{2}\) is
We consider the following form of \(P^{2}_{\nu +1}\):
where \(\tilde{P}_{knm}^{2m_{1}m_{2}b_{\nu }}\) are linear combinations of the products of \(F_{knm}^{m_{1}m_{2}b_{\nu }}\) and \(P_{knm}^{1m_{1}m_{2}b_{\nu }}\). Recalling that \(b_{0}=2b>2\), \(b_{\nu +1}=b_{\nu }+ b, b_{\nu }\in \mathbb{Z}^{+}, \nu =0,1,\ldots \) , \(\varepsilon _{\nu }=\varepsilon ^{b_{\nu }}\), we get
Moreover, we rewrite (3.29) in the form
where
Let
Recalling (3.11), we obtain that
which means that \(\lambda _{n,\nu +1}(\varepsilon )\) satisfy \((3.4)_{\nu +1}\). By the regularity of \(X_{P_{\nu }^{1}}\) and Cauchy estimates we have
Thus we get
For \(j=\nu +1,\ldots \) , we consider \(H_{j(\nu +1)}^{3}=H_{j\nu }^{3}\circ S_{\nu }\) with \(H_{j\nu }^{3}\) defined in \((3.5)_{\nu }\). From (3.14) we can assume that
where \(\varLambda _{j\nu }^{3}=\sum_{m=b_{j-1}+1}^{b_{j}}\omega _{i_{m}}J_{i_{m}}\), and
where \(P_{j(\nu +1)knm}^{3m_{1}m_{2}}\) are linear combinations of the products of \(F_{knm}^{m_{1}m_{2}b_{\nu }}\) and \(P_{j\nu knm }^{3m_{1}m_{2}}\).
From (3.33), (3.34), and the proper expansion of Hamiltonian H in (2.5), we will construct a new Hamiltonian to transform by \(S_{\nu +1}\) at the next KAM step
where
Now we consider the perturbation term in \(H\circ S_{0}\circ \cdots \circ S_{\nu }\). According to (3.33) and (3.34), we get
with the new normal form
and the new perturbation
3.6 Estimation of the new Hamiltonian
Firstly, we estimate the small term \(P^{2}_{\nu +1}\). Let \(y_{\nu }(t)=(1-t)(\{\varLambda _{\nu }^{1}, \mathcal{F}_{\nu }\}+ \varepsilon _{\nu }P^{1}_{\nu })+t\varepsilon _{\nu }P^{1}_{\nu }\). From (3.11) and (3.29) we have that
Hence
Due to the Lemma 7.2 in [33], we obtain
From [13] we have
Let \(\eta _{\nu }=\varepsilon ^{ \frac{1}{8}\nu b+\frac{1}{12} b } ( (\frac{256(b_{\nu }+ 4)}{e} )^{ b_{\nu }+4}(\sigma _{\nu }- \sigma _{\nu +1})^{-2b_{\nu }-\frac{7}{2}} )^{\frac{1}{3}}\ll 1\). For \(r_{\nu +1}=\frac{1}{4}\eta _{\nu }r_{\nu }\) and \(\bar{a}=a+1\), usingf (3.40), (3.41), and (3.42), we get
From (3.34) it follows that
Similarly to the previous proof, using \((3.7)_{\nu }\) we obtain
By (3.36), (3.43), and (3.44) we estimate the new perturbation at the next KAM iteration:
By (3.38), (3.44), and (3.45) we estimate the whole perturbation after the νth step of the KAM iteration:
3.7 Verification of \((3.3)_{\nu +1}\) and \((3.6)_{\nu +1}\)
Now we prove that \(P^{1}_{\nu +1}\) satisfies \((3.3)_{\nu +1}\) and \(P_{j(\nu +1)}^{3}\) satisfies \((3.6)_{\nu +1}\).
From (3.29), (3.35), and (3.34) it follows that
Recall assumption \(P^{1}_{\nu }\) satisfying \((3.3)_{\nu }\) and \(P_{j \nu }^{3}\) satisfying \((3.6)_{\nu }\), we easily see that the normal form at each KAM step has the same form. From the homological equations (3.11) it follows that \(\{\varLambda _{\nu }^{1}, \mathcal{F}_{\nu }\}\) has the same form. Thus, to prove that \(P^{1}_{\nu +1}\) satisfies \((3.3)_{\nu +1}\) and \(P_{j(\nu +1)}^{3}\) satisfies \((3.6)_{\nu +1}\), we only need to prove that the special form is closed under the Poisson bracket. Now we prove the following lemma.
Lemma 3.9
Suppose that
satisfies
Then
satisfies
Proof
Let
Since
Let A1 denote
A2 denote
and A3 denote
with \(k''=k+k', \alpha _{3}=\alpha _{1}+\alpha _{2}-e_{n}, \beta _{3}= \beta _{1}+\beta _{2}-e_{n}\). By (3.48) and (3.49) we obtain that (3.48) is equal to
This means that \(\{G,F\}\) satisfies (3.47). □
The proof of the partial zero-momentum property of the perturbation at each KAM step is obtained by this lemma.
3.8 Convergence of transformations
Now we consider the convergence of transformations at the KAM iteration. Firstly, we consider the whole KAM iteration on the reducibility. Recalling (2.5), (3.33), (3.34), and (3.37), we get
Let \(\varSigma ^{\nu +1}:=S_{0}\circ \cdots \circ S_{\nu }\). Then
Thus we only need to prove the limiting transformation \(S_{0}\circ S_{1}\circ \cdots \) converging to a transformation \(\varSigma ^{\infty }\). Recalling (3.12), we use the KAM iteration inductively:
For any \(\omega \in \mathcal{O}^{*}\) and \(M\geq 0\) large enough, we denote
as usual, \(\varSigma ^{0}\) is the identity mapping. From (3.12) we get
provided that ε is small enough. Thus we have that
This means that the sequence \(\{\varSigma ^{M}\}\) converges uniformly in \(D_{M}\) to an analytic map
So (i) in this theorem is obtained.
Recalling that \(\mathcal{O}^{*}=\bigcap_{\nu =0}^{\infty }\mathcal{O}_{\nu }^{*}\) and \(\operatorname{meas}(\mathcal{O}\backslash \mathcal{O}^{*})\leq C\varepsilon ^{ \frac{1}{6} }\), we get a countable infinite sequence of nonresonance frequencies \(\omega ^{*}=(\omega _{i_{1}},\omega _{i_{2}},\ldots)\in \mathcal{O}^{*}( i_{j}\in \mathcal{I}_{\infty })\) of \(\psi (\theta )\) close to the original frequencies \(\omega =(\omega _{1},\ldots)\).
Because the Hamiltonian H in (2.5) satisfies \((3.1)_{\nu }\) and \((3.5)_{\nu }\) with \(\nu =0\), the above iterative procedure can run repeatedly. Inductively, it follows that
where \(\omega ^{*}=(\omega _{i_{1}},\omega _{i_{2}},\ldots)\in \mathcal{O}^{*}, i_{j}\in \mathcal{I}_{\infty }\),
where \(\tilde{c}_{n}\) are constants, and \(|\tilde{r}_{n}(\varepsilon ^{b})|\rightarrow 0\) as \(\varepsilon \rightarrow 0\). So (ii) in this theorem is obtained. This completes the proof.
References
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Nonlinear Analysis – Theory and Methods. Springer Monogr. Math. Springer, Cham (2019)
Xu, R.Z., Wang, X.C., Yang, Y.B., Chen, S.H.: Global solutions and finite time blow-up for fourth order nonlinear damped wave equation. J. Math. Phys. 59(6), 1–27 (2018)
Lian, W., Xu, R.Z., Rădulescu, V.D., Yang, Y.B., Zhao, N.: Global well-posedness for a class of fourth order nonlinear strongly damped wave equations. Adv. Calc. Var. (2020). https://doi.org/10.1515/acv-2019-0039
Lian, W., Xu, R.Z.: Global well-posedness of nonlinear wave equation with weak and strong damping terms and logarithmic source term. Adv. Nonlinear Anal. 9(1), 613–632 (2020)
Mohammed, A., Rădulescu, V.D., Vitolo, A.: Blow-up solutions for fully nonlinear equations: existence, asymptotic estimates and uniqueness. Adv. Nonlinear Anal. 9(1), 39–64 (2020)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: \((p, 2)\)-equations asymmetric at both zero and infinity. Adv. Nonlinear Anal. 7, 327–351 (2018)
Saanouni, T.: Global well-posedness of some high-order focusing semilinear evolution equations with exponential nonlinearity. Adv. Nonlinear Anal. 7(1), 67–84 (2018)
Nguyen, H.M.: Superlensing using complementary media and reflecting complementary media for electromagnetic waves. Adv. Nonlinear Anal. 7(4), 449–467 (2018)
Goubet, O., Manoubi, I.: Theoretical analysis of a water wave model with a nonlocal viscous dispersive term using the diffusive approach. Adv. Nonlinear Anal. 8(1), 253–266 (2019)
Bahrouni, A., Rădulescu, V.D., Repovš, D.D.: Double phase transonic flow problems with variable growth: nonlinear patterns and stationary waves. Nonlinearity 32(7), 2481–2495 (2019)
Simon, B.: Tosio Kato’s work on non-relativistic quantum mechanics, part 2. Bull. Math. Sci. 9(1), 1950005 (2019)
Kuksin, S.B.: Nearly Integrable Infinite-Dimensional Hamiltonian Systems. Lecture Notes in Math., vol. 1556. Springer, New York (1993)
Pöschel, J.: A KAM-theorem for some nonlinear PDEs. Ann. Sc. Norm. Super. Pisa, Cl. Sci. (4) 23(15), 119–148 (1996)
Pöschel, J.: Small divisors with spatial structure in infinite-dimensional Hamiltonian systems. Commun. Math. Phys. 127(2), 351–393 (1990)
Yuan, X.: Quasi-periodic solutions of completely resonant nonlinear wave equations. J. Differ. Equ. 230, 213–274 (2005)
Si, J.: Quasi-periodic solutions of a non-autonomous wave equations with quasi-periodic forcing. J. Differ. Equ. 252, 5274–5360 (2012)
Lou, Z.W., Si, J.G.: Quasi-periodic solutions for the reversible derivative nonlinear Schrodinger equations with periodic boundary conditions. J. Dyn. Differ. Equ. 29, 1031–1069 (2017)
Bourgain, J.: Construction of approximative and almost-periodic solutions of perturbed linear Schrödinger and wave equations. Geom. Funct. Anal. 6, 201–230 (1996)
Pöschel, J.: On the construction of almost-periodic solutions for a nonlinear Schrödinger equation. Ergod. Theory Dyn. Syst. 22, 1537–1549 (2002)
Geng, J.S., Xu, X.: Almost-periodic solutions of one dimensional Schrödinger equation with the external parameters. J. Dyn. Differ. Equ. 25, 435–450 (2013)
Gao, M.N., Liu, J.J.: Invariant Cantor manifolds of quasi-periodic solutions for the derivative nonlinear Schrödinger equation. J. Differ. Equ. 267, 1322–1375 (2019)
Bourgain, J.: Quasi-periodic solutions of Hamiltonian perturbations of 2D linear Schrödinger equations. Ann. Math. 148, 363–439 (1998)
Geng, J.S., You, J.G.: KAM tori for higher-dimensional beam equations with constant potentials. Nonlinearity 19, 2405–2423 (2006)
Geng, J.S., You, J.G.: A KAM theorem for Hamiltonian partial differential equations in higher dimensional spaces. Commun. Math. Phys. 262, 343–347 (2006)
Yuan, X.P.: A KAM theorem with applications to partial differential equations of higher dimensions. Commun. Math. Phys. 275, 97–137 (2007)
Eliasson, L.H., Kuksin, S.B.: On reducibility of Schrödinger equations with quasiperiodic in time potentials. Commun. Math. Phys. 286, 125–135 (2009)
Eliasson, L.H., Kuksin, S.B.: KAM for the nonlinear Schrödinger equations. Ann. Math. 172, 371–435 (2010)
Eliasson, L.H., Grébert, B., Kuksin, S.B.: KAM for the nonlinear beam equation. Geom. Funct. Anal. 26, 1588–1715 (2016)
Rui, J., Liu, B.C.: Reducibility of beam equations in higher-dimensional spaces. Bound. Value Probl. 2017, 82 (2017)
Xu, J.X., You, J.G.: Reducibility of linear differential equations with almost-periodic coefficients. Chin. Ann. Math., Ser. A 17(5), 607–616 (1996) (Chinese)
Rui, J., Liu, B.C., Zhang, J.: Almost-periodic solutions for a class of linear Schrödinger equations with almost-periodic forcing. J. Math. Phys. 57, 1–26 (2016)
Rui, J., Liu, B.C.: Almost-periodic solutions of an almost-periodically forced wave equation. J. Math. Anal. Appl. 451(2), 629–658 (2017)
Niu, H.W., Geng, J.S.: Almost periodic solutions for a class of higher-dimensional beam equations. Nonlinearity 20, 2499–2517 (2007)
Acknowledgements
We appreciate the editor and referees for insightful comments and wise advices.
Availability of data and materials
Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.
Funding
This paper is supported by the National Natural Foundation of China (No. 11601270, 11701567).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Appendix
Appendix
Now we show the small divisors lemma applied in the proof of the Theorem 3.2.
Proof Lemma 3.6
From the (3.1)l and (3.4)l we get
Let
and
We can choose a vector \(v^{b_{l}}\) satisfying \(\langle k,\omega ^{b_{l}}\rangle =|k|\). Thus we have that
provided that ε is small enough. From (1.4) for arbitrary fixed \(\varrho \in (0,1)\), we get \(\omega _{i_{j}}\in [\varrho ,2\varrho ]\), \(i_{j}\in \mathcal{I}_{l}\). By the Fubini theorem we have that
Let \(\mathcal{R}_{0}^{l}=\bigcup_{k\in \mathbb{Z}^{b_{l}} }\mathcal{R}_{k l}^{1}\) and \(\mathcal{R}_{1}^{l}=\bigcup_{k\in \mathbb{Z}^{b_{l}},n,m\in \mathbb{Z}^{d}} \mathcal{R}_{knml}^{1}\). Similarly to the proof in Appendix in [32], we obtain
Thus we consider \(g_{2}^{l}(\omega ^{b_{l}})=\langle k,\omega ^{b_{l}}\rangle -( \lambda _{nl}-\lambda _{ml}), |k| + ||n|-|m||\neq 0\).
Case 1. If \(|k|\neq 0\) and \(||n|-|m||=0\), then \(g_{2}^{l}(\omega ^{b_{l}})=\langle k,\omega ^{b_{l}}\rangle \). By the definition of \(\mathcal{O}\) in (1.4) we obtain that \(\mathcal{R}_{knml}^{2}\) is empty.
Case 2. We consider \(||n|-|m||\neq 0\). Without loss of generality, we suppose that \(|n|^{2}-|m|^{2}=a\geq 1\). Then there exists \(\delta >0\) such that
Case 2.1. We may suppose \(|n|^{2}-|m|^{2}=a \geq |k||\omega ^{b_{l}}|+1\). Then
This means that \(\mathcal{R}_{knml}^{2}\) is empty.
Case 2.2. If \(a<|k||\omega ^{b_{l}}|+1\), then we have
Moreover, \(\mathcal{R}_{knml}^{2}\subseteq \mathcal{R}_{kam}^{2}\subseteq \mathcal{R}_{kam_{0}}^{2}\) for \(|m|\geq |m_{0}|\).
Now we estimate \(\mathcal{R}_{kam_{0}}^{2}\). We choose a vector \(v^{b_{l}}\) satisfying \(\langle k,v^{b_{l}}\rangle =|k|\). It follows that
By the Fubini theorem, since \(\omega _{i_{j}}\in [\varrho ,2\varrho ], i_{j}\in \mathcal{I}_{l}\), we get that
Let \(\mathcal{R}^{l}_{2}=\bigcup_{k\in \mathbb{Z}^{b_{l}}, n,m\in \mathbb{Z}^{d},|n|^{2}-|m|^{2}=a}\mathcal{R}_{knml}^{2}\). We get that
We choose \(\frac{|m_{0}|^{d}\varepsilon _{l}^{\frac{1}{4}}}{(1+l^{3})(|k|+1)^{b_{l}+2}}= \varepsilon _{l}^{\frac{1}{6}}|m_{0}|^{- \delta } \), that is,
Since \(\delta >0\) and \(d\geq 2\), we have
Thus it follows that
by the convergence of \(\sum_{ k\in \mathbb{Z}^{b_{l}}} \frac{ 1}{((|k|+1)^{b_{l}+2})^{1-\frac{1}{d}}}\).
Letting \(\mathcal{R}^{l}= \mathcal{R}^{l}_{0}\cup \mathcal{R}^{l}_{1} \cup \mathcal{R}^{l}_{2}, \mathcal{R}=\bigcup_{l\geq 0}\mathcal{R}^{l}\), we get
by the convergence of \(\sum_{l=0}^{\infty }\frac{2}{(1+l^{3})^{1-\frac{1}{d}}}\).
By (3.7) we get that
From (3.7) and \(\varepsilon _{0}=\varepsilon \) we get
□
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rui, J., Wang, Y. Invariant tori of full dimension for higher-dimensional beam equations with almost-periodic forcing. Bound Value Probl 2020, 77 (2020). https://doi.org/10.1186/s13661-020-01374-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-020-01374-9