Abstract
We consider a perturbation of the Benjamin Ono equation with periodic boundary conditions on a segment. We consider the case where the perturbation is Hamiltonian and the corresponding Hamiltonian vector field is analytic as a map from the energy space to itself. Let \(\epsilon \) be the size of the perturbation. We prove that for initial data close in energy norm to an N-gap state of the unperturbed equation all the actions of the Benjamin Ono equation remain \({\mathcal {O}}(\epsilon ^{\frac{1}{2(N+1)}})\) close to their initial value for times exponentially long with \(\epsilon ^{-\frac{1}{2(N+1)}}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we prove a Nekhoroshev type theorem for perturbations of the Benjamin-Ono (BO) equation on the torus. It is well known that the BO equation is a Hamiltonian integrable system, but only recently it has been understood how to introduce Birkhoff coordinates [14], namely some regularized action angle variables, for such a system with periodic boundary conditions. We will call finite gap states, functions u which, when written in Birkhoff coordinates, have only a finite number of coordinates different from zero—see [14] for a justification of this denomination. Here we consider a small Hamiltonian perturbation of the BO equation and prove that, for initial data close to finite gap initial states, all the actions of the BO equation remain close to their initial value for times which are exponentially long with a power of \(\epsilon ^{-1}\), \(\epsilon \) being the size of the perturbation. The main point is that we are not confined neither to small amplitude initial data nor to neighbourhood of nonresonant tori: as far as we know this is the first result of this kind for PDEs. Our result however has a strong limitation: we deal only with perturbations whose Hamiltonian vector field is an analytic map from the phase space to itself, and in view of the fact that the Poisson structure of the BO equation is the Gardner’s one, namely \(\partial _x\), this means that the Hamiltonian must depend on some antiderivative of the state u and typically the vector field is non local. The main example of Hamiltonian perturbation that we can treat is given by \(\epsilon P(u)\), with
where F(x, y) is analytic in the second variable and continuous in the first one. We also cover Hamiltonian versions of perturbations dealt with by [12]. We will comment further on this point after the statement of the main theorem.
Notwithstanding this defect, we think that the fact that exponentially long stability estimates hold for some perturbations of the BO equation, close to finite dimensional tori could spread some light on the behaviour of perturbed integrable Hamiltonian systems. In particular this has to be confronted with the paper [11] in which a mechanism of possible instability of infinite dimensional tori was exhibited.
Finally we recall that all known Nekhoroshev type results for PDEs can be split into two types: results dealing with neighbourhoods of nonresonant tori (see [7, 8, 10, 19])—which are essentially stability results for such tori—, and results dealing with small amplitude solutions, mainly in perturbations of nonresonant systems (see e.g. [2, 4,5,6, 9] and references therein). We also mention the paper [1] in which a Nekhoroshev type result controlling also neighbourhood of resonant tori has been proved, for small amplitude solutions in perturbations of the integrable NLS.
The proof of the main result of the present paper is a variant of the proof of [1] (see also [3]) which is based on Lochak’s proof of Nekhoroshev’s theorem [20, 21]. We emphasize that this is made possible by the fact that, as shown by the works [14, 18], the Hamiltonian of the BO equation, written in Birkhoff coordinates, has a very simple and explicit structure and this allows us to verify all the geometric properties needed in order to apply Lochak’s technique.
2 Main result
Consider the Benjamin-Ono (BO) equation
where u is real valued and \(\textrm{H}\) denotes the Hilbert transform defined by
here \({\hat{u}}_n:=\frac{1}{2\pi }\int _0^{2\pi }u(x)\textrm{e}^{-{\textrm{i}}nx }dx\) are the Fourier coefficients of u. Equation (2.1) is Hamiltonian with the Hamiltonian function
where \(\left| \partial _x\right| \) is the Fourier multiplier by \(\left| n\right| \) and the Poisson tensor is Gardner’s one, namely the Hamiltonian equation associated to a Hamiltonian function H is
where \(\nabla \) denotes the \(L^2\) gradient defined by \(\langle \nabla H(u),h \rangle =dH(u)h\), for every \( h\in C^{\infty }({\mathbb {T}}) \). It is well known that Equation (2.1) is integrable. The Birkhoff coordinates have been introduced in [14], and further studied in [13, 15,16,17,18]. To recall the result of these papers consider the space \(H^s_{r,0}\subset H^s({\mathbb {T}},{\mathbb {R}})\) of the real valued functions u of class \(H^s\) having zero mean value and the space \(h^{s}_+\) of the sequences \((\xi _n)_{n\ge 1}\), \(\xi _n\in {\mathbb {C}}\), such that
We also need the notation \(H^s_0({\mathbb {T}},{\mathbb {C}})\) for \(H^s\) functions with zero mean value.
Theorem 2.1
(Gérard–Kappeler–Topalov, [13, 16, 18]) There exists a map
so that the following properties hold for any \(s>-1/2\).
-
1.
\(\Phi :H^s_{r,0}\rightarrow h_+^{s+1/2} \) is a diffeomorphism; \(\Phi \) and its inverse \(\Phi ^{-1}\), map bounded sets to bounded sets.
-
2.
The map is symplectic, in the sense that in terms of the variables \(\xi _n\) the Hamilton equations (2.3) take the form
$$\begin{aligned} \dot{\xi }_n={\textrm{i}}\frac{\partial H}{\partial \bar{\xi }_n}\ ,\quad \dot{\overline{ \xi _n}}=-{\textrm{i}}\frac{\partial H}{\partial \xi _n}\ . \end{aligned}$$(2.4) -
3.
In terms of the variables \(\xi \) the BO Hamiltonian takes the form
$$\begin{aligned} H_{BO}(u(\xi ))&= H_2-H_4 \end{aligned}$$(2.5)$$\begin{aligned} H_2&=\sum _{n\ge 1}n^2|\xi _n|^2\ ,\quad H_4=\sum _{n\ge 1}[s_n(|\xi |^2)]^2\ , \end{aligned}$$(2.6)$$\begin{aligned} s_n(|\xi |^2)&:=\sum _{k\ge n}|\xi _k|^2\ . \end{aligned}$$(2.7)
In [13, 16] it was also proved that the map \(\Phi \) is real analytic, in the sense that, for any \(s>-1/2\), \(\Phi \) extends to a holomorphic map from a complex neighbourhood of \(H^s_{r,0}\) in \(H^s_0({\mathbb {T}},{\mathbb {C}})\) to \(h^{s+1/2}:=h^{s+1/2}_+\oplus h^{s+1/2}_+\). A similar result holds for \(\Phi ^{-1}\). This is crucial for our application. From now on we will work in the energy space \(H^{1/2}_{r,0}\).
To state our main result, for any integer \(N\ge 1\), consider the set of N gap states, namely
The positive quantities \(\gamma _n (u):=|\xi _n(u)|^2, n=1,\dots , N\), are called the gaps of the state \(u\in {\mathcal {G}}^N\). In section 7, remark 7.2(i) of [14], it is proved that \({\mathcal {G}}^N\) is a dense open subset of the symplectic 2N-dimensional manifold
where \(P_r\) denotes the usual Poisson kernel
Theorem 2.2
Consider a Hamiltonian system with Hamiltonian function
and assume that there exists \(N\ge 1\) such that P extends to a real analytic function on a neighbourhood of \({\mathcal {G}}^N\), which is bounded on bounded sets. Also assume that its Hamiltonian vector field \(X_P\) extends to a real analytic function from an open neighbourhood of \({\mathcal {G}}^N\subset H^{1/2}_{r,0}\) to \(H^{1/2}_{r,0}\) and it is is bounded on bounded sets. Fix two positive parameters \(0<E_m<E_M\), then the following holds true: there exist constants \(\epsilon _*,C_1,\ldots ,C_5\), independent of \(\epsilon \) s.t. if \(|\epsilon |<\epsilon _*\) and the initial datum \(u_0\) fulfills
then along the flow of the Hamiltonian system (2.9) one has
for all times t fulfilling
A family of examples of perturbations P fulfilling our assumptions is
with F continuous in the first variable and globally analytic in the second variable. This gives rise to the perturbed Benjamin-Ono equation
where \(\Pi _0\) is the projector on states of zero mean:
and \(f(x,y):=\partial _yF(x,y)\).
A second example is the Hamiltonian variant of the damping used in [12] and is given by
which gives rise to the perturbed BO equation
The fact that this perturbation is Hamiltonian is what guarantees the exponentially long times of stability of the actions.
3 Proof of Theorem 2.2
3.1 Scheme of the proof
We recall that, since we are studying large amplitude solutions, the frequencies and the resonance relations that they fulfill depend on the initial datum, so one has to develop also the so called geometric part of the proof of Nekhoroshev’s theorem. Here we use Lochak’s approach to the geometric part.
We recall that Lochak’s proof is based on the idea of first proving long time stability of resonant tori and then showing that any initial datum falls in the domain of stability of some resonant torus, thus deducing long time stability of every torus.
We now describe more in detail the two steps and illustrate the way they are developed here for a perturbation of the BO equation.
First of all we fix a resonant finite gap torus, with gaps \(\gamma _1^*,\ldots ,\gamma _N^*\), and expand the Hamiltonian of the BO equation close to it. This is done explicitely in Eq. (3.7). One has
with \(y_n^*\) a linear expression in \(\gamma _n^*\) (given explicitely by (3.2) and (3.3)) and \(H_4\) given by (2.6). Neglecting the term \(H_4\) one gets the expression of the linearized Hamiltonian at the torus, in particular one gets that the frequencies of motion of such a linearized Hamiltonian are given by
If one chooses the gaps \(\gamma ^*\) in such a way that \(y_n(\gamma _*)=\frac{k_n}{q}\) with \(k_1,\ldots ,k_N,q\in {\mathbb {Z}}\) then the linearized dynamics turn out to be periodic with period q.
The first important remark by Lochak is that it is particularly simple and effective to make averages when the unperturbed dynamics is periodic. So the next step consists in averaging the complete non integrable system close to a fixed resonant torus. However in order to be able to perform the subsequent steps of the proof one has to be very quantitative and to keep into account the size of the neighbourhood of the torus in which the normal form is valid and the dependence of all the constants on the period of the unperturbed dynamics. This is done in Theorem 3.6, which in turn is obtained by applying the main normal form theorem of [1] which is recalled in the appendix (see Theorem 3.9). Theorem 3.6 requires as input a precise estimate of the size of the different parts of the Hamiltonian and of their vector fields in a complex neighbourhood of the resonant torus. This is obtained in Lemmas 3.4 and 3.5.
Then, in order to describe the result of the normal form theorem and the way the normal form is used in order to prove stability of the resonant tori we have to introduce some notations. We denote by \(h_\omega \) the Hamiltonian generating the linearized dynamics at the torus:
and remark that, since \(I_n\) are the difference of the actions and the gaps of the resonant torus \(\gamma _n^*\), they are not necessarily positive, so that \(h_\omega \) is not positive definite. The normal form Theorem 3.6 ensures the existence of a canonical transformation, defined in a neighbourhood of size R of the resonant torus, conjugating the Hamiltonian of the perturbed BO equation to a Hamiltonian of the form
(see (3.41)), where Z has the property that \(\left\{ h_\omega ,Z\right\} \ =0\) and has the same size as the original perturbation, namely \(\epsilon \), while \({\mathcal {R}}\) is a remainder which is exponentially small in the inverse of
Remark that the small parameter \(\mu \) contains the size \(\epsilon \) of the perturbation, the size R of the neighbourhood and the period q of the linearized dynamics at the torus.
We describe now how to use such a normal form to show that the resonant torus is stable over long times. To this end remark that if in \(H'\) one neglects the exponentially small remainder \({\mathcal {R}}\), then one has two integrals of motion, namely \(H' \) and \(h_\omega \). If one considers also the remainder, then \(h_{\omega }\) is no more an integral of motion, but it moves by a small quantity over very long times (while \(H'\) remains an integral of motion). We aim now at exploiting the convexity of \(H_4\) in order to control the motion of each one of the actions. To this end write the conservation of energy for \(H'\): evaluating at \(t=0\) or at a general instant of time, one has
reorganizing the terms and using the triangular inequality, one gets
Now, all the terms in the right hand side are small over exponentially long times, at least if \(H_4(0)\) is small, i.e., if the initial datum is close to the resonant torus. Then the explicit form of \(H_4\) allows us to ensure that all the quantities \(s_l\) are small at time t, and therefore that the solution is close to the resonant torus at time t. However the situation is slightly subtler since one needs closeness in some \(H^s\) topology, namely a topology in which one can ensure the perturbation to be small. However the topology in which \(H_4\) is convex is weaker than an \(H^s\) topology. So, in order to conclude the proof one also uses the almost conservation of \(h_\omega \): the fact that \(h_\omega (t)\) is small provides some additional information and allows us control the distance of the solution from the resonant torus in the energy norm. This is obtained in Sect. 3.3.
After establishing the long time stability of resonant tori one wants to extend stability to general finite gap tori.
Let us fix a torus whose stability has to be studied. This is done by fixing its gaps, say \(\gamma _1^0,\ldots ,\gamma _N^0\), correspondingly one gets a sequence of frequency modulations \(y_1^0,\ldots ,y_N^0\), and one looks for a resonant sequence \(y_1^*,\ldots ,y_N^*\) close to it. This is done by using Dirichlet theorem, according to which, for any \(Q>1\) there exist \(k_1,\ldots ,k_N\in {\mathbb {Z}}\) and \({\mathbb {Z}}_+\ni q\le Q\) such that
By the fact that the map \(\gamma \rightarrow y\) is invertible, one then identifies a torus with gaps \(\gamma ^*\), at a distance \(R\simeq {\mathcal {O}}\left( \frac{1}{qQ^{1/N}} \right) ^{1/2}\) from the original one, on which the linearized dynamics is periodic with period q. Thus, the actions remain close to the actions of the resonant torus for a time exponentially long with the inverse of
therefore they also remain close to their initial value. Choosing Q in such a way that the two terms of the small parameter are equal, one gets the wanted exponential estimate valid for all initial data.
We emphasize that a few technical points have also to be taken into account: they are related to the fact that the above conservation arguments are presented in the coordinates introduced by the normalizing change of coordinate, which is different for different resonant tori. The other point is that one has to show that the domain in which the normal form is performed is not left by the initial data one is studying. This is the heart of the proof of Theorem 3.8.
3.2 Normal form close to resonant tori
From now on, in order to take advantage of the analyticity assumption of the Hamiltonian function, we work in the complexification of the phase space, which means that the variables \(\xi _n\) have to be considered as independent of \(\bar{\xi }_n\), so we will consider as phase space \(h^1:=h^1_+\oplus h^1_+\) and a point of \(h^1\) will be denoted \((\xi ,\eta )\equiv ((\xi _n)_{n\ge 1},(\eta _n)_{n\ge 1})\). The real subspace then corresponds to \(\eta _n=\bar{\xi }_n\).
3.2.1 Preliminary estimates
Following [14] we will denote by \(\gamma _n:=\xi _n\eta _n\) the gaps. We now recall some formulae from [17]. In terms of the Birkhoff coordinates the BO equation takes the form
with
and
By these formulae it is easy to see that the nonlinear correction to the action to frequency map, namely the map \(\gamma \mapsto y\), is invertible and its inverse is
with the convention \(y_0:=0\). We remark that \(\omega _n(\gamma )\) are the frequency of motion on the torus corresponding to the state with actions \(\gamma \).
In particular it follows that for N-gap states one has \(y_n=y_N\) \(\forall n\ge N+1\), and viceversa, given any N dimensional vector \((y_1,\ldots ,y_N)\) with the open condition \(y_N>y_{N-1}\) and \(2y_n> y_{n+1}+y_{n-1}\), \(n=1,\dots , N-1\), one gets a corresponding N gap state.
Fix now a reference N dimensional invariant torus with gaps \(\gamma ^*\equiv (\gamma _1^*,\ldots ,\gamma _N^*)\) that we will also assume to fulfill
correspondingly we consider the “frequency vector” \(y^*\equiv (y^*_1,\ldots ,y^*_N) \) defined by (3.2), (3.3). In particular we thus have
We expand the BO Hamiltonian at \(\gamma ^*\). Writing \(I_n:=\gamma _n-\gamma ^*_n, n=1,\dots , N, \) and \(I_n:=\gamma _n, n\ge N+1\), one gets, having set \(\gamma _n^*:=0\) for \(n\ge N+1\),
We now introduce action angle variables for the first N modes, namely we introduce variables \((I_n,\phi _n)_{n=1}^N\) by
The variables in the phase space will now be
and the BO-Hamiltonian turns out to be (3.7) with
namely the gaps of index larger than N must be considered as functions of the Birkhoff coordinates.
We will call \({\mathcal {C}}\) the map that to the variables \((I,\phi ,\left( \xi _n\right) _{n\ge N+1},\left( \eta _n\right) _{n\ge N+1} )\) associates the Birkhoff variables, namely
with
Since we work in the complex extension of the phase space the variables \(I,\phi \) will be assumed to be complex.
Definition 3.1
A state will be said to be real if one has
We now define the norm in the phase space. It will depend on a parameter R which will be eventually linked to \(\epsilon \). So we define
From now on the balls will be intended with respect to this norm. The complex ball with center u and radius \(R_1\) in this norm will be denoted by \(B_{R_1}(u)\).
A function which will play a fundamental role in the rest of the paper is
We now define the domain \({\mathcal {G}}\) which will then be extended to the complex domain in order to apply Theorem 3.9.
We fix a parameter \(\epsilon _1\) and define
Most of the time, the balls will be taken of radius R with R the same parameter in the definition of the norm (3.13).
From now on we will use the notation \(a\preceq b\) in order to mean “there exists a constant C independent of \(\epsilon ,\epsilon _1,R\) such that \(a\le C b\) ”.
A first property of the states in \({\mathcal {G}}\) is given by the next lemma
Lemma 3.2
For \(u\equiv (I,\phi ,\xi ,\eta )\in {\mathcal {G}}\) one has
Proof
By the reality of the state one gets \(s_n\in {\mathbb {R}}\), thus (2.6) implies
We come to (3.19), (3.20). First we fix L such that \((L+1)^2-2y^*_N\ge (L+1)^2/2\). Notice that the size of L is controlled by \(E_M\). Then we have
where we have used \(h_\omega \le \epsilon _1\) on \({\mathcal {G}}\). This implies also \(\sum _{n\ge N+1}n^2\gamma _n\preceq \epsilon _1\).
Now, one has, for \(l\ge N+1\),
which clearly holds also for \(n\le N\). This gives
\(\square \)
Lemma 3.3
For \(u\in {\mathcal {G}}_R\) one has
Proof
Recall that
First one clearly has \(\left| I_n\right| \le 2\epsilon _1+R^2\). Then, let \(u\equiv (I,\phi ,\xi ,\eta )\in {\mathcal {G}}\), \(u'\equiv (I',\phi ',\xi ',\eta ')\in B_R(0)\). By the triangle inequality, we have
Inserting in (3.21) and in (3.22) (mutatis mutandis), one gets the estimate of \(s_n\) and of \(y_n\). \(\square \)
Lemma 3.4
For \(u\in {\mathcal {G}}_R\) one has
Proof
The computation of the supremum of \(H_4\) is trivial in view of (3.24). To estimate the vector field of \(H_4\), just remark that it is given by
with \(y_n\) the function of \(I_n\) and \(\gamma _n\) given by (3.2) and (3.3). Using the definition of the norm one estimates the norm of (3.29) by twice the following quantity,
which, by Lemma 3.3, immediately gives (3.28). \(\square \)
Lemma 3.5
Under the assumptions of Theorem 2.2, provided R and \(\epsilon _1\) are small enough, one has
Proof
First we define the N- gap manifold in action-angle-Birkhoff coordinates by
and extend it to the complex domain by defining \({\mathcal {G}}^B_{N,\rho }:=\bigcup _{u\in {\mathcal {G}}^B_N}B^{h^{1}}_\rho (u)\).
Then we remark that, by Lemma 3.2 one has that
is a bounded subset of \({\mathcal {G}}^B_N\), thus, by Lemma 3.3, provided \(\epsilon _1\) and R are small enough, one has that
and furthermore the set in the left hand side is bounded. Furthermore, if R and \(\epsilon _1\) are small enough, then \({\mathcal {C}}({\mathcal {G}}_R)\) is in the domain of analyticity of \(\Phi \) and furthermore \(\Phi ({\mathcal {C}}({\mathcal {G}}_R))\) is contained in the domain of analyticity and boundedness of P and of its vector field. It follows that
since the supremum is taken over a domain smaller than the domain of boundedness of P. Furthermore, since
one also has
We still have to introduce the action angle variables. To this end we use \(X_{P\circ \Phi \circ {\mathcal {C}}}(u)=[d{\mathcal {C}}(u)]^{-1}X_{P\circ \Phi }({\mathcal {C}}(u))\). We compute now \(d{\mathcal {C}}\). To this end remark first that this linear map is the identity on the modes with index larger than N, so consider the smaller indexes: denoting \((\xi ',\eta ')^T=d{\mathcal {C}}(u)(h_{I},h_\phi )^T\), one has, for \(n\le N\),
whose inverse linear map is
To evaluate the norm of this map, we compute
If \(|I_n|\le \gamma _n^*/2\), which is ensured by \(R^2<E_m/8\), the second term in the right hand side is bounded uniformly in R. The first term is bounded by a constant times \(R^{-1}\), so one gets (3.31). \(\square \)
3.2.2 Normal form
From now on we take
so that, on \({\mathcal {G}}_R\), one has
We now fix a resonant torus, make a normal form close to it and use \(h_{\omega }\) and the energy as Lyapunov functions in order to prove long time stability of this torus. For definiteness we avoid here the use of the symbol \(\preceq \).
Theorem 3.6
Under the assumptions of Theorem 2.2, assume that
with \(k_1,\ldots ,k_n,q \in {\mathbb {Z}}_+\), then there exist positive constants \(\mu _*,K_1,\ldots ,K_5\) (independento of \(k_n\) and q) such that, if
then there exists an analytic canonical transformation \({\mathcal {T}}:{\mathcal {G}}_{3R/4}\rightarrow {\mathcal {G}}_{R}\) with \({\mathcal {T}}({\mathcal {G}}_{3R/4})\supset {\mathcal {G}}_{R/2}\) which is close to identity, namely
and is such that
with
-
Z is analytic on \({\mathcal {G}}_{3R/4}\) toghether with its Hamiltonian vector field and fulfills
$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{3R/4}}\left| Z(u)\right| \le K_2\epsilon \ ,\quad \sup _{u\in {\mathcal {G}}_{3R/4}}\left\| X_Z(u)\right\| \le K_3\frac{\epsilon }{R}\ , \end{aligned}$$(3.42)furthermore it is in normal form, namely one has
$$\begin{aligned} \left\{ h_{\omega },Z\right\} \equiv dh_{\omega }(u)X_{Z}(u)=0\ ,\forall u\in {\mathcal {G}}_{3R/4}\ . \end{aligned}$$(3.43) -
\({\mathcal {R}}\) is analytic on \({\mathcal {G}}_{3R/4}\) toghether with its Hamiltonian vector field and fulfills
$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{3R/4}}\left| {\mathcal {R}}(u)\right| \le K_4\epsilon \exp \left( -\frac{\mu _*}{\mu }\right) \ ,\end{aligned}$$(3.44)$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{3R/4}}\left\| X_{{\mathcal {R}}}(u)\right\| \le K_5 \frac{\epsilon }{R} \exp \left( -\frac{\mu _*}{\mu }\right) \ , \end{aligned}$$(3.45)
Proof
The theorem is a direct application of Theorem 3.9 of the appendix: it is obtained by inserting the values of the constants obtained from Lemmas 3.4, 3.5. We just remark that we have
\(\square \)
Applying Remark 3.10, one also gets the following result.
Remark 3.10
By the above preliminary estimates one has
so that, by (A.15), we have
and similarly with \({\mathcal {T}}\) replaced by \({\mathcal {T}}^{-1}\).
3.3 Stability of resonant tori
From the above theorem and remark one gets the stability of resonant tori.
Theorem 3.8
There exist positive constants \(\mu _*\ll 1\) and \(K,{\tilde{K}}\gg 1\) with the following properties: assume
and consider initial data \(u_0\) with
Then, for all times t fulfilling
the solution of the perturbed BO equation (2.3), (2.9), fulfills
and in particular, in view of (3.15) and (3.35), \(u(t)\in {\mathcal {G}}\).
Proof
We proceed by a bootstrap argument. Assume that there exists t satisfying (3.51) and such that (3.52) does not hold. Denote by \(t^*\) a time of minimal absolute value satisfying (3.51) and such that
and let us look for a contradiction. First, in view of (3.53), we can make the canonical transformation \({\mathcal {T}}\) provided by Theorem 3.6 near the trajectory for \(|t|\le |t^*|\), and we set, for \(|t|\le |t^*|\),
and similarly for \(H_4 \). From (3.50) and (3.47) we have, with a constant C that can change from line to line,
and therefore, since
one has
which, provided
is not bigger than \(3R^2/4\). In particular \(h_\omega (t^*)\le 3R^2/4\). Notice that the second estimate of (3.57) is ensured by (3.51) and the first one by (3.49).
We come to \(H_4 \). Exploiting the conservation of the Hamiltonian (3.41), one gets
which gives
taking also into account (3.48) one gets
thus, if each term (but the first) is smaller than \(R^4/16\) one gets that \(H_4(t^*)\le 7R^4/16\). Again, this is ensured by (3.49) and (3.51). Summing up, we have proved
which obviously contradicts (3.53). \(\square \)
3.4 Stability of finite gap tori
Proof of Theorem 2.2
We take now an initial datum \(\xi _n^0\) fulfilling (2.10). We also assume, instead of (2.11)
with \(\epsilon _2\) to be determined later. We look for a resonant torus close to it. Consider \(\gamma _n^0:=|\xi _n^0|^2\), for \(n=1,\ldots , N\). We approximate the torus with gaps \(\gamma _n^0\) by a resonant torus. To this end define \(y_n^0\) by (3.2) so that \(|y_n^0|\le N^2E_M\) and use Dirichlet’s theorem to approximate \(y_n^0\) by a rational vector. Indeed Dirichlet’s theorem ensures that for every \(Q\ge 1\) there exist integers \(k_1,\ldots ,k_N, q\in {\mathbb {Z}}\) with \(1\le q\le Q\) such that
We now define \(y_n^*:=k_n/q\) and correspondingly \(\gamma _n^*\) by (3.6) and (3.4). Choosing \(Q\ge (N^2E_M)^{-N}\), which is obviously granted by the choice (3.69) below, we have
We can now compute \(h_\omega (0)\): passing to the action variables \(I_n\), we have
assuming \(E_M\ge 1\), from which one also has
This gives
Taking
one gets
and therefore
We come to \(H_4\). Working as in (3.21), one gets
where \(K:=\sum _{n\ge N+1}n^{-4}\le 1\). So, observing that \(\epsilon _2\ge \sqrt{N}\frac{2}{qQ^{1/N}} \) is granted by (3.63), one gets
In order to ensure (3.50), we take
We now aim at applying Theorem 3.8. Then we would like to optimize the value of Q in order to maximize the time of validity of the estimates. Inserting (3.66) in (3.38) we get (with a suitable C)
This would lead to choose Q by imposing the two terms in brackets to be equal. This would give
but we also have to ensure the validity of the last inequality in (3.49), while (3.68) can only ensure \(R^4\ge (40 N^3 E_M)^2\epsilon \), which is not necessarily bigger than \(\tilde{K}\epsilon \). For this reason we take
so that
In particular, concerning the second estimate, we remark that, by the Dirichlet theorem, q is smaller than Q, but it can be of order 1. Inserting in the different estimates one concludes the proof. \(\square \)
References
Bambusi, D.: Nekhoroshev theorem for small amplitude solutions in nonlinear Schrödinger equation. Math. Z. 130, 345–387 (1999)
Bambusi, D.: Birkhoff normal form for some nonlinear PDEs. Commun. Math. Phys. 234, 253–283 (2003)
Bambusi, D., Giorgilli, A.: Exponential stability of states close to resonance in infinite-dimensional Hamiltonian systems. J. Stat. Phys. 71(3–4), 569–606 (1993)
Bambusi, D., Grébert, B.: Birkhoff normal form for partial differential equations with tame modulus. Duke Math. J. 135(3), 507–567 (2006)
Bambusi, D., Delort, J.-M., Grébert, B., Szeftel, J.: Almost global existence for Hamiltonian semilinear Klein–Gordon equations with small Cauchy data on Zoll manifolds. Commun. Pure Appl. Math. 60(11), 1665–1690 (2007)
Bambusi, D., Feola, R., Montalto, R.: Almost global existence for some Hamiltonian PDEs with small Cauchy data on general tori. Commun. Math. Phys. 405(1), 50 (2024). (MR4694422)
Bernier, J., Grébert, B.: Long time dynamics for generalized Korteweg–de Vries and Benjamin–Ono equations. Arch. Ration. Mech. Anal. 241(3), 1139–1241 (2021)
Bernier, J., Faou, E., Grébert, B.: Rational normal forms and stability of small solutions to nonlinear Schrödinger equations. Ann. PDE 6(2), 65 (2020)
Bourgain, J.: Construction of approximative and almost periodic solutions of perturbed linear Schrödinger and wave equations. Geom. Funct. Anal. 6(2), 201–230 (1996)
Bourgain, J.: On diffusion in high-dimensional Hamiltonian systems and PDE. J. Anal. Math. 80, 1–35 (2000)
Bourgain, J., Kaloshin, V.: On diffusion in high-dimensional Hamiltonian systems. J. Funct. Anal. 229(1), 1–61 (2005)
Gassot, L.: Long time behavior of solutions for a damped Benjamin–Ono equation. Math. Z. 300(2), 1939–2006 (2022)
Gérard, P., Kappeler, T., Topalov, P.: On the analyticity of the nonlinear Fourier transform of the Benjamin–Ono equation on \(\mathbb{T}\) (2021). arXiv:2109.08988
Gérard, P., Kappeler, T.: On the integrability of the Benjamin–Ono equation on the torus. Commun. Pure Appl. Math. 74(8), 1685–1747 (2021)
Gérard, P., Kappeler, T., Topalov, P.: On the spectrum of the Lax operator of the Benjamin–Ono equation on the torus. J. Funct. Anal. 279(12), 75 (2020)
Gérard, P., Kappeler, T., Topalov, P.: On the analytic Birkhoff normal form of the Benjamin–Ono equation and applications. Nonlinear Anal. 216, 32 (2022)
Gérard, P., Kappeler, T., Topalov, P.: On the Benjamin–Ono equation on \(\mathbb{T} \) and its periodic and quasiperiodic solutions. J. Spectr. Theory 12(1), 169–193 (2022)
Gérard, P., Kappeler, T., Topalov, P.: Sharp well-posedness results of the Benjamin-Ono equation in \(H^s(\mathbb{T},\mathbb{R} )\) and qualitative properties of its. Acta Math. 231(1), 31–88 (2023)
Kappeler, T., Montalto, R.: On the stability of periodic multi-solitons of the KdV equation. Commun. Math. Phys. 385(3), 1871–1956 (2021)
Lochak, P.: Canonical perturbation theory via simultaneous approximation. Russ. Math. Surv. 47(6), 57–133 (1992)
Lochak, P., Neĭshtadt, A.I.: Estimates of stability time for nearly integrable systems with a quasiconvex Hamiltonian. Chaos 2(4), 495–499 (1992)
Acknowledgements
The first author is supported by the PRIN project 2020XB3EFL Hamiltonian and dispersive PDEs and by GNFM. The second author is supported by the project ANR-23-CE40-0015-01. This material is based upon work supported by the Swedish Research Council under grant no. 2021-06594 while the authors were in residence at Institut Mittag-Leffler in Djursholm, Sweden during the research program “Order and Randomness in Partial Differential Equations”, August 30 - December 8, 2023.
Funding
Open access funding provided by Università degli Studi di Milano within the CRUI-CARE Agreement.
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.
Appendix A. Normal form close to resonant states
Appendix A. Normal form close to resonant states
In this appendix we recall the normal form theorem from [1] that we use in Theorem 3.6 in order to prove stability of resonant finite gap solutions in Theorem 3.8.
Let \({\mathcal {P}}\) be a weakly symplectic space that we will also assume to be a Hilbert space. Given a smooth Hamiltonian function H we will denote by \(X_H\) the corresponding Hamiltonian vector field.
First we define the family of domains in which the normal form theorem holds. Consider the complexification \({\mathcal {P}}^{{\mathbb {C}}}\) of \({\mathcal {P}}\) and let \({\mathcal {G}}\subset {\mathcal {P}}\) be a (real) domain. For \(R>0\) we consider the domain
where \(B_{R}(u)\subset {\mathcal {P}}^{{\mathbb {C}}}\) is the open complex ball of radius R and center u.
Then we consider a Hamiltonian of the form
where \(h_\omega \) will be considered as the unperturbed Hamiltonian and will be assumed to generate a periodic flow, \({\hat{h}}(u)\) will be assumed to Poisson commute with \(h_\omega \) while P will be the true perturbation.
Precisely we assume that
-
H0)
\(h_\omega \) is a non homeogeneous smooth quadratic polynomial on \({\mathcal {P}}^{{\mathbb {C}}}\).
-
H1)
There exists a dense subset \(D\subset {\mathcal {P}}^{\mathbb {C}}\) where the vector field \(X_{h_\omega }\) is defined. By H0 \(X_{h_{\omega }}\) is a linear affine operator that we assume to generate a flow \(\Phi ^t\) of unitary operators.
-
H2)
The flow \(\Phi ^t\) is periodic of period \(2\pi /\omega \), namely
$$\begin{aligned} \Phi ^{t+\frac{2\pi }{\omega }}=\Phi ^t\ . \end{aligned}$$(A.2)
Concerning \({\hat{h}}\) we assume
-
Q1)
\({\hat{h}}\) extends to a bounded analytic function on \({\mathcal {G}}_{R}\). We denote by \(E_0\) a constant such that
$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{R}}|{\hat{h}}(u)|\le E_0\ . \end{aligned}$$(A.3) -
Q2)
The Hamiltonian vector field \(X_{{\hat{h}}}\) of \({\hat{h}}\) extends to a bounded analytic function from \({\mathcal {G}}_{R}\) to \({\mathcal {P}}^{{\mathbb {C}}}\). We denote by \(\omega _0\) a constant such that
$$\begin{aligned} \frac{1}{R}\sup _{u\in {\mathcal {G}}_{R}}{\Vert X_{{\hat{h}}}(u)\Vert }\le \omega _0\ . \end{aligned}$$(A.4) -
Q3)
\({\hat{h}}\) Poisson commutes with \(h_\omega \), namely one has
$$\begin{aligned} \left\{ h_\omega ,{\hat{h}}\right\} (u):=dh_{\omega }(u)X_{{\hat{h}}}(u)=0\ ,\quad \forall u\in {\mathcal {G}}_{R} \ . \end{aligned}$$
Finally, concerning the perturbation P we assume
-
P1)
P extends to a bounded analytic function on \({\mathcal {G}}_{R}\). We denote by E a constant such that
$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{R}}|P(u)|\le E\ . \end{aligned}$$(A.5) -
P2)
The Hamiltonian vector field \(X_P\) of P extends to a bounded analytic function from \({\mathcal {G}}_{R}\) to \({\mathcal {P}}^{{\mathbb {C}}}\). We denote by \(\omega _P\) a constant such that
$$\begin{aligned} \frac{1}{R}\sup _{u\in {\mathcal {G}}_{R}}{\Vert X_P(u)\Vert }\le \omega _P\ . \end{aligned}$$(A.6)
Theorem 3.9
(Theorem 4.4 of [1] with \(f_1\equiv r \equiv g\equiv 0\)) Denote
then the following holds true: if
then there exists an analytic canonical transformation \({\mathcal {T}}:{\mathcal {G}}_{3R/4}\rightarrow {\mathcal {G}}_{R}\) with \({\mathcal {T}}({\mathcal {G}}_{3R/4})\supset {\mathcal {G}}_{R/2}\), which is close to identity, namely
and is such that
with
-
Z is analytic on \({\mathcal {G}}_{3R/4}\) together with its Hamiltonian vector field and fulfills
$$\begin{aligned} \sup _{u\in {\mathcal {G}}_{3R/4}}\left| Z(u)\right| \le 2E^\sharp \ ,\quad \frac{1}{R}\sup _{u\in {\mathcal {G}}_{3R/4}}\left\| X_Z(u)\right\| \le 2\omega _P\ , \end{aligned}$$(A.11)furthermore it is in normal form, namely one has
$$\begin{aligned} \left\{ h_{\omega };Z\right\} (u)\equiv dh_{\omega }(u)X_{Z}(u)=0\ ,\forall u\in {\mathcal {G}}_{3R/4}\ . \end{aligned}$$(A.12) -
\({\mathcal {R}}\) is analytic on \({\mathcal {G}}_{3R/4}\) together with its Hamiltonian vector field and fulfills
$$\begin{aligned}&\sup _{u\in {\mathcal {G}}_{3R/4}}\left| {\mathcal {R}}(u)\right| \le E^\sharp \exp \left( -\frac{1}{\mu }\right) \ , \end{aligned}$$(A.13)$$\begin{aligned}&{\frac{1}{R} } \sup _{u\in {\mathcal {G}}_{3R/4}}\left\| X_{{\mathcal {R}}}(u)\right\| \le \textrm{e}\, \omega _P\exp \left( -\frac{1}{\mu }\right) \ . \end{aligned}$$(A.14)
Remark 3.7
By the Cauchy estimate of the differential and (A.9), if F is analytic from \({\mathcal {G}}_R\) to \({\mathcal {P}}^{{\mathbb {C}}}\), then one has
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
Bambusi, D., Gérard, P. A Nekhoroshev theorem for some perturbations of the Benjamin-Ono equation with initial data close to finite gap tori. Math. Z. 307, 54 (2024). https://doi.org/10.1007/s00209-024-03539-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00209-024-03539-z