1. Introduction
Let us introduce the Klein-Gordon (KG) lattice described by the Hamiltonian
The constant
measures the interaction to nearest neighbor particles (with unit masses) and
is a nonlinear potential. This lattice appears, for instance, as a spatial discretization of the Klein-Gordon equation
Both models subjected to different boundary conditions are used to describe a wide variety of physical phenomena: crystal dislocation, localized excitations in ionic crystals (see e.g., [
1,
2]). In particular, the model (
1) with the Morse potential
has been applied in the study of the thermal denaturation of DNA [
3].
Our aim is to study the regular behavior of the trajectories in the Hamiltonian system with the Hamiltonian (
1), in particular for its complete integrability. When
the Hamiltonian is separable, and hence, integrable. There are many periodic and quasi-periodic solutions in the dynamics of (
1). It is natural to investigate whether this behavior persists for
C small enough (see e.g., [
4]). At this point it is worth mentioning that in the anticontinuous limit
, there exist self-localized periodic oscillations called also
discrete breathers [
5,
6]). Here we assume that
C is neither very small nor too large and put
, which can be achieved by rescaling
t.
We are interested mainly in the behavior at low energy, so we take quartic (
) potential
which is frequently used in the research on the subject (see [
1] and the literature therein).
First, periodic boundary conditions for (
1) are assumed. Then one gets a system with
N degrees of freedom, described by the Hamiltonian
Our first result concerns the integrability of the Hamiltonian system governed by (
4).
Theorem 1. The periodic KG lattice with Hamiltonian (4) is integrable only when . In other words, the Hamiltonian system under consideration is integrable only when it is linear. The proof of the above theorem is based on the Morales-Ramis-Simó result, which gives necessary conditions for integrability with meromorphic integrals, or, equivalently, sufficient conditions for non-integrability.
Motivated by the works of Rink [
7,
8], who presented the periodic FPU chain as a perturbation of an integrable and KAM nondegenerated system, namely the truncated Birkhoff-Gustavson (or resonant Birkhoff) normal form of order 4 in the neighborhood of an equilibrium, we would like to verify whether this can be done for KG lattices. As in the case of periodic FPU chain the properties of the periodic KG lattice near the equilibrium strongly depend on the parity of the number of the particles
N. Assume, in addition, that
(see an explanation for this choice in the next section). Denote by
the resonant Birkhoff normal form of the Hamiltonian (
4) truncated to order four. Then we have the following.
Theorem 2. The fourth order normal form of the periodic KG lattice is:
- (i)
completely integrable and KAM nondegenerate for N odd;
- (ii)
completely integrable for N even.
Remark 1. The statement of Theorem 2 will be made more precise in Section 4. Please note that the cases with and particles are rather exceptions to the general situation. The corresponding first integrals are quadratic and the KAM conditions are trivially checked. Therefore, for the periodic KG lattices with N odd almost all low-energy solutions are quasi-periodic.
Next, Dirichlet boundary conditions for (
1) are considered. Due to Rink [
9] in the case of FPU chain such a system can be viewed as an invariant symplectic submanifold of a periodic FPU chain. This approach also works for KG lattice and the corresponding result is as follows.
Theorem 3. The fourth order normal form of KG lattice with fixed endpoints is completely integrable and KAM nondegenerate.
This result and KAM theorem show the existence of large-measure set of low-energy quasi-periodic solutions of KG lattice with fixed endpoints.
Recall that the FPU chain with
n particles (with unit masses) and with periodic boundary conditions can be described by a Hamiltonian system with the Hamiltonian
where
W is a real potential of the kind
When
the chain is called an
-chain. Accordingly, when
the chain is known as a
-chain. Nishida [
10] and Sanders [
11] are among the first who have calculated the normal form of the FPU chain with fixed endpoints and with periodic boundary conditions, respectively. By imposing some very strong non-resonant assumptions, they verify the KAM theory conditions, yet in general resonances do exist. We already mentioned the works of Rink who proved rigorously that the periodic FPU Hamiltonian is a perturbation of a nondegenerate Liouville integrable Hamiltonian, namely the normal form of order 4 [
8]. Furthermore, he described the geometry of even FPU lattice in [
12], and finally rigorously proved Nishida’s conjecture stating that almost all low-energetic motions in FPU with fixed endpoints are quasi-periodic [
9]. One should note that Rink’s results are consequence of the special symmetry and resonance properties of the FPU chain and should not be expected for lower-order resonant Hamiltonian systems (see e.g., [
13]). However, several problems remain open: some of them purely computational and some of them of a more philosophical nature. Henrici and Kappeler [
14,
15] managed to solve practically all these problems, and generalized the results of Rink, by applying special sets of canonical variables, initially designed for the Toda chain.
Concerning the integrability of nonlinear lattices we refer to the paper of Yoshimura and Umeno [
16], where the following periodic lattice is studied
The on-site potential
and the nearest neighbor interaction potential
are of the form
with
and the coefficients
with odd
k are assumed to be zero, hence
. Under certain conditions (
among them) the authors applied Ziglin’s theorem [
17,
18] and proved that this lattice is not completely integrable with analytic first integrals. Ziglin’s approach is based on the study of the monodromy group of the variational equation (see
Section 3 for the definitions and the corresponding results). The authors evaluated the elements of the monodromy group at low and high energies. When examining the dynamics of the lattices at a low energy level (which is the subject of the present paper), the lowest order terms in the above potentials become dominant. This justifies our choice of the potentials in the KG model. In particular, the variational equation in [
16] is closely related to ours. However, this approach does not work here—the monodromy group is abelian and cannot serve as an obstacle to integrability. We show the non-integrability of Hamiltonian system (
4) through meromorphic first integrals, without any restrictive conditions, using Morales-Ramis-Simó theory [
19].
Our study on the normal forms of the KG lattice (in particular, Theorems 2 and 3) is related to the results of Rink on the normal form of the periodic FPU chain and uses his approach. Notice that there are some differences between the potentials defining the models describing FPU and KG lattices. Moreover, the periodic FPU chain with three particles is integrable while Theorem 1 shows that this is not the case for the periodic KG lattice. Our goal is to see whether these differences affect the integrability and eventually the dynamics of the system corresponding to the truncated normal form. In view of the wide applicability of the KG models, we think that this study is naturally motivated.
This paper is organized as follows. In
Section 2 we recall some known facts about Liouville integrable systems in real domains, action-angle variables, KAM conditions, and normal forms. We also consider the resonances and discrete symmetries of the considered Hamiltonian system. In
Section 3, the necessary notions and facts about the differential Galois theory and its relations with the integrability of Hamiltonian systems in complex domains, and in particular fundamental results of Ziglin, Morales, Ramis and Simò, are presented. Then the proof of Theorem 1 is carried out. In
Section 4 we give the truncated to order four normal form for the periodic KG lattice and consider the integrability of this normal form for
N odd and even, respectively. For any of the cases, a more detailed description of the commuting first integrals is given. This proves Theorem 2.
Section 5 is devoted to the KG lattice with fixed endpoints. Making use of the result from the previous section, the truncated normal form of the corresponding Hamiltonian is derived and Theorem 3 is proved. We finish with some remarks and possible directions to extend our results.
2. Resonances and Symmetries
In this section, we briefly recall some notions and facts about integrability of Hamiltonian systems in real domain, action-angle variables, perturbation of integrable systems and normal forms. More complete exposition can be found in [
20].
Let
be a real analytic Hamiltonian defined on a
-dimensional symplectic manifold. The corresponding Hamiltonian system is
It is said that a Hamiltonian system is completely integrable if there exist
n independent integrals
in involution, namely
for all
i and
j, where
is the Poisson bracket. On a neighborhood
U of the connected compact level sets of the integrals
by Liouville—Arnold theorem one can introduce a special set of symplectic coordinates,
, called action—angle variables. Then, the integrals
are functions of action variables only and the flow of
is simple
Therefore, near
, the phase space is foliated with
invariant tori over which the flow of
is quasi—periodic with frequencies
. The map
is called frequency map.
Consider a small perturbation of an integrable Hamiltonian
. According to Poincaré the main problem of mechanics is to study the perturbation of quasi-periodic motions in the system given by the Hamiltonian
KAM theory gives conditions on the integrable Hamiltonian
which ensures the survival of most of the invariant tori. The following condition, usually called Kolmogorov’s condition, is that the frequency map should be a local diffeomorphism, or equivalently
on an open and dense subset of
U. We should note that the measure of the surviving tori decreases with the increase of both perturbation and the measure of the set where above Hessian is too close to zero.
In a neighborhood of the equilibrium
we have the following expansion of
HWe assume that is a positively defined quadratic form. The frequency is said to be in resonance if there exists a vector , such that , where is the order of resonance.
With the help of a series of canonical transformations close to the identity,
H simplifies. In the absence of resonances the simplified Hamiltonian is called Birkhoff normal form, otherwise—Birkhoff-Gustavson normal form or resonant Birkhoff normal form, which may contain combinations of angles arising from resonances. Often to detect the behavior in a small neighborhood of the equilibrium, instead of the Hamiltonian
H one considers the normal form truncated to some order
It is known that the truncated to any order Birkhoff normal form is integrable [
20]. The truncated Birkhoff-Gustavson normal form has at least two integrals—
and
. Therefore, the truncated resonant normal form of two degrees of freedom Hamiltonian is integrable.
To obtain estimates of the approximation by normalization in a neighborhood of an equilibrium point we scale
Here
is a small positive parameter and
is a measure for the energy relative to the equilibrium energy. Then, dividing by
and removing tildes we get
Provided that
it is proven in [
21] that
is an integral for the original system with error
and
is an integral for the original system with error
for the whole time interval. If we have more independent integrals, then they are integrals for the original Hamiltonian system with error
on the time scale
. The first integrals for the normal form
are approximate integrals for the original system, that is, if the normal form is integrable then the original system is
near integrable in the above sense.
Returning to the Hamiltonian of the periodic KG lattice (
4) we see that its quadratic part
is not in diagonal form
Here
is the following
matrix
The eigenvalues of
are of the form
. There is a symplectic Fourier-transformation
which brings
in diagonal form (see e.g., [
7,
8])
where
. The variables
are known as
phonons. Denote for short
Then the transformation
in coordinate form is
From these formulas one can easily get the explicit form of the matrix
M. Later on, we will make use of the inverse transform: for
we have
and if
N is even
Finally, by simple scaling
we get the desired form of
Next, we need to study the possible relations between the frequencies
. In general,
holds if only if
. The resonances
(known also as internal resonances [
7]) are important for the construction of the normal form. The assumption on
a does not prevent the appearance of more complicated resonances. It is clear that there are plenty of resonances when
. Moreover, there are certain irrational values of
for which fourth order resonances exist in the low-dimensional periodic KG lattices (see [
22]). Such values of
a are difficult to control in the higher dimensions, which is why from now on we put
Please note that another resonant relation 2 : 2 : 1 appears when . The other possible fourth order relations are
(1) (2)
(3) (4)
for some
. It is clear that there are no such
to fulfill (1) and (2) because
. Since (3) is a particular case of the last relation, let us consider (4). Suppose the tuple
is a solution of the relation
then a solution is also the tuple
, as well as any combination of the elements of these tuples. Therefore, when searching for these tuples, which are solutions of the above relation, we can consider only the cases where
.
Assertion. The only possible tuples , which satisfies (4) are those that can be derived from by permutations.
Remark 2. So far we have no rigorous proof for that claim, but we believe so. Direct computations show that this assertion is true for low-dimensional cases . Numerical simulations are confirmative.
Finally, to keep symmetry in the formulas we continue to write and instead of their particular values 1 and .
The Hamiltonian (
4) of the periodic KG lattice possesses discrete symmetries. Two of them, important for the dynamics and exactly the same as in the periodic FPU chain, are the linear mappings
defined by (see [
8,
9])
and
It is easily seen that
R can serve as a generator of a group
, isomorphic to the cyclic group of order
N and
S as a generator of
, isomorphic to the cyclic group of order two. Please note that
R and
S are canonical transformations
and they leave the Hamiltonian invariant
. Moreover, they leave the Hamiltonian vector field
invariant, which implies that they commute with the flow of
. It is observed in [
8] that the subgroup
of the symmetry group of
H, with the relations
, is isomorphic to the
Nth dihedral group. For Hamiltonian systems with symmetries, we have
Theorem 4. (see [23,24]). Let be the expansion of H in a neighborhood of equilibrium and G be a group of linear symplectic symmetries of H. Then a normal form for H can be constructed in such a way that is also G-symmetric. 3. Proof of Theorem 1
In this section, before giving the proof of Theorem 1, we briefly summarize the Ziglin-Morales- Ruiz-Ramis theory. More detailed description about Differential Galois theory and its relations with the integrability of Hamiltonian systems, can be found in [
19,
25,
26,
27].
Given an analytic Hamiltonian
H, defined on a complex
-dimensional manifold
, defining the system
Again, we call such Hamiltonian system integrable in Liouville sense if there exist n independent first integrals in involution.
Suppose the system (
20) has a non-equilibrium solution
. The image of
by
is a Riemann surface
. We can write the equation in variation (VE) along this solution
where
. By the existence theorem there is a fundamental solution
of (
21), analytic in vicinity of a nonsingular point
. The continuation of
along a nontrivial loop on
defines a linear automorphism of the vector space of solutions, analytic in the neighborhood of
, called monodromy transformation. Analytically this transformation can be presented in the following way. The linear automorphism
, associated with a loop
corresponds to multiplication of
from the right by a constant matrix
, called monodromy matrix
The set of all these matrices forms the monodromy group
. Ziglin [
17,
18] introduced the monodromy group approach to study the variational equation as a fundamental tool for obtaining necessary conditions for integrability of complex-analytic Hamiltonian system. In particular, Ziglin’s approach is adopted in the above-mentioned paper of Yoshimura and Umeno [
16].
We may attach another object to the system (
21)—a differential Galois group. A differential field
K is a field with a derivation
, i.e., an additive mapping satisfying Leibnitz rule. A differential automorphism of
K is an automorphism commuting with the derivation. Denote by
K the coefficient field in (
21). Let
be the elements of the fundamental matrix
and let
be the extension of
K generated by
K and
– a differential field. This extension is called a Picard-Vessiot extension. Similarly to classical Galois Theory, we define the Galois group
to be the group of all differential automorphisms of
leaving the elements of
K fixed. The Galois group is, in fact, an algebraic group. It has a unique connected component
which contains the identity and which is a normal subgroup of finite index. The Galois group
G can be represented as an algebraic linear subgroup of
by
where
and
. Please note that by its definition the monodromy group is contained in the differential Galois group of the corresponding system. Then, the following result has established
Theorem 5. (Morales-Ramis [25]) Suppose that a Hamiltonian system has n meromorphic first integrals in involution. Then the identity component of the Galois group is abelian. Once it is proven that
is not abelian, the respective Hamiltonian system is non-integrable in the Liouville sense. Please note that the fact that
is abelian does not imply necessarily integrability of the Hamiltonian system. Thus, one needs other obstructions to the integrability. A method based on the higher variational equations has been introduced in [
25] and the previous Theorem has been extended in [
19]. Before formulating this result let us give an idea of higher variational equations. For the system (
20) with a particular solution
we put
where
is a formal small parameter. Substituting the above expression into Equation (
20) and comparing terms with the same order in
we obtain the following chain of linear non-homogeneous equations
where
. The Equation (
23) is called k-th variational equation (
). Of course, (
) = (VE). With
, the solutions of
can be found by
where
is a solution of
Although (
) are not actually homogeneous equations, they can be put in that frame, and therefore, one can define successive extensions
, where
is the extension obtained by adjoining the solutions of (
). Correspondingly one can define the Galois groups
. The following result is proven in [
19].
Theorem 6. (Morales-Ramis-Simó) If the Hamiltonian system (20) is integrable in Liouville sense then the identity component of every Galois group is abelian. Notice that we apply Theorem 6 in the situation when the identity component of the Galois group is abelian. This means that the first variational equation is solvable. Once we have the solution of , then the solutions of can be found by the method of variations of constants as explained above. Hence, the Galois groups are solvable. One possible way to show that some of them is not commutative is to find a logarithmic term in the corresponding solution. We will explain this argument in more details in the line of the proof.
Proof of Theorem 1.
Suppose . The following proposition is immediate.
Proposition 1. The Hamiltonian system corresponding to (4) admits a particular solutionand Γ is its phase curve Here is the Jacobi elliptic function with the modulus .
Remark 3. It is assumed that , which is not restrictive. In any case, the solution is expressed via Jacobi elliptic functions and one can proceed in the same way.
It is straightforward that
and
are the periods of (
26). Here
are the complete elliptic integrals of the first kind. In the parallelogram of the periods, the solution (
26) has two simple poles
hence,
is a complex torus with two points removed.
Recall that in our case
and
S is a symplectic involution (
19), which preserves the Hamiltonian
H (
4) (and also the Hamiltonian vector field). Let
, let
be the quotient manifold, which is also symplectic. The Hamiltonian
H (
4) is naturally mapped into Hamiltonian function
(as it is invariant with respect to
S), which in turn defines an induced Hamiltonian system on
. It can be shown that if the Hamiltonian system defined by
H (
4) has
m meromorphic independent first integrals, then the induced Hamiltonian system on
has
m meromorphis independent first integrals (see Ziglin [
17]). The involution
S maps
onto itself, interchanging the places of the two poles
. Then
is a torus with one point removed. Hence, the solution
of the induced system is single-valued, double periodic with periods
and
with one simple pole
in the parallelogram of the periods. To simplify the notations, we will keep writing
.
Next, we need the expansion of the
in the neighborhood of the pole
. To obtain it we proceed as follows. The series expansion of
reads
Furthermore, from addition theorem for
(see e.g., [
28]) we have
Straightforward computations give
Finally, after shifting
and taking into account that
and
, we get the formula
where
Denoting by
, the variational equations (VE) (written as second order equations) are
Proposition 2. The identity component of the differential Galois group of (VE) (31) is abelian. Proof. To see this, we first denote
Then (VE) can be written as
The structure of the matrix
is similar to that of
in (
12). This suggests using the linear transformation
with already defined matrix
M, which decouples the system (
33)
where
, with
. In coordinate form the above system can be written as
After changing the independent variable
we can see that each of these equations is a Lamé equation in Jacobi form.
with
.
The monodromy group of any of the Lamé equations (
36) (or (
37)) is abelian. Indeed, let
are the monodromies corresponding to the periods
. The commutator
corresponds to one winding around the regular singular point
. The eigenvalues of
are just
[
28], where
are the roots of indicial equation
. Since they are 3, −2, then
.
Let us consider now the Galois group of any of the Lamé equations (
37). The coefficient field
K is the field of elliptic functions with periods
. It is a classical result that there is a solution which is an elliptic function, i.e., it belongs to the field
K. The other independent solution is given by a quadrature
. The Picard-Vessiot extension is
and it is known that the identity component of the Galois group
is isomorphic to
. Therefore, the identity component
of the Galois group of (VE) is represented by the matrix group
and it is clearly abelian. □
To find another obstruction to integrability, let us consider the higher VE along the particular solution (
26). We write
where
is a formal parameter and substitute these expressions into the Hamiltonian system governed by (
4). Comparing the terms with the same order in
we consequently obtain the VE up to any order.
The first variational equation is, of course, (
31)
. For the second variational equation we have
Then the second variational equation
can be written as
The third variational equation
is
and it can be written as
where
In this way we can obtain any , but we do not need them.
To study the local solutions of
and
, again we make the linear change (with above introduced matrix
M)
In this way we obtain
where
that is, in these coordinates each of the variational equations
decomposes into
N second order differential equations. Therefore, to obtain non-integrability of the Hamiltonian system under consideration, it is enough to show that the identity component of the Galois group of one of them is non-commutative, which implies non-commutativity of the Galois group of
.
Remark 4. Now, we are ready to explain why we need a logarithmic term in the solution of some around a singular point. In [25] the following necessary and sufficient condition for abelian-ness of the Galois groups of the variational equation of order k, of the Hamiltonian system, along the elliptic curves is given (in fact, every Galois group is connected ): The Galois group is abelian, if and only if, the local monodromy of the variational equation around the singular point of the coefficients is identity.
Suppose for some k ( in our case), we obtain a logarithm around the singular point (or equivalently, a residue different from zero in the Laurent expansions of some integrand). Then will be represented by an upper (or lower) triangular matrix, i.e., , hence is not abelian.
To keep the things simple, we take as a solution of
(
36)
and
satisfying
In what follows we need the expansions around
of the fundamental system of the solutions with unit Wronskian for (
47). Please note that all expansions below are convergent in a neighborhood of
(see, for instance [
28]). We get
Then the fundamental matrix
of (
47) can be written as
Next, we examine the local solutions around
of
. Taking into account (
14), (
15), (
46) and (
47) one gets
There are no logarithms in the expansions around
of the local solutions of the above system. Moreover, we can take for the sake of simplicity
For the last equation in (
50) one obtains by the method of variations of constants a fundamental system of solutions as follows
where
with
Finally, we turn on studying the local solutions around
of
. Due to (
14), (
15), (
46) and (
51) we can focus only on the equation for
, which reads
In this case, (
25) becomes
We are looking for a component of above vector with a nonzero residue at
. This would imply the appearance of a logarithmic term. After some calculations making use of (
29), (
48) and (
52), the residue at
of the first component
with the specific representatives turns out to be
which is nonzero for
. Thus, we have obtained a nonzero residue at
, which implies the appearance of a logarithmic term in the solutions of
. Then its Galois group is solvable, but not abelian. Hence, the non-integrability of the Hamiltonian system (
4) follows from Theorem 6. □
4. The Birkhoff Normal Form
In phonon coordinates, the Hamiltonian (
4) is
Furthermore, we introduce the complex variables
which are not symplectic, but are natural in the construction of the normal form. In these variables
reads
Next, we are looking for the monomials
,
being multi-indices, which commute with
, i.e.,
. These monomials are called resonant monomials and cannot be removed in the process of normalization. We then get
with
Hence, the resonant monomials are ones with
. Therefore, modulo the Remark 2 from the
Section 2 we have that the set of multi-indices
for which
and
is contained in the set given by the relations
This means that
is generated by
However, we want a normal form which is invariant under
and
. To obtain such we define for
and if
N is even
. These quantities are known as Hopf variables and they satisfy the relations
and in these variables
is
The nontrivial Poisson brackets between these quantities are
It is observed in [
8] that
,
and
are invariant under
and
and the products
and if
N is even
and
, so
must be a linear combination of the above four order terms. Indeed, we have
Theorem 7. The truncated up to order four normal form for the periodic KG lattice is In the above formula the terms with subscripts , appear if , , respectively.
The calculation of the above normal form is long, tedious, but straightforward, which is why it is not presented here. Instead, we proceed with two important corollaries, which prove the assertions in Theorem 2.
Corollary 1. When N is odd, the truncated normal form of the periodic KG lattice is Liouville integrable with the quadratic integrals and . Moreover, this normal form is KAM nondegenerate.
Proof. is a linear combination of
and
. When
N is odd,
becomes
and it is clear that
and
commute with
and with each other.
To introduce action-angle variables we follow the scheme from [
8], slightly adjusted to our case. We need to find the set of regular values of the energy momentum map
Denote it by
. Then for all
the level sets of
are diffeomorphic to N-tori. Let
be the argument function
. Define the following set of variables
as above and
Using the formula , one can verify that are indeed canonical coordinates . Since and are quadratic functions in the phase variables, they can be extended to global action variables.
Finally, to check the nondegeneracy condition, we compute the Hessian of
with respect to
. Denote
. Then
Clearly
is nondegenerate. After some algebra, one can check that
i.e., it is also nondegenerate. □
Thus, the periodic KG lattice (
4) with an odd number of particles can, after normalization, be viewed as a perturbation of a nondegenerate integrable Hamiltonian system, namely its fourth order normal form. Therefore, by the KAM theorem almost all low-energy solutions of (
4) are periodic or quasi-periodic and live on invariant tori.
Corollary 2. When N is even, the truncated normal form of the periodic KG lattice is Liouville integrable with the quadratic integrals and , and (if ) and the quartics Proof. This follows from simple calculations of all Poisson brackets using (
62). Let us deal with the exceptional cases. First, in the case of
particles the frequencies are incommensurable, i.e., there are no resonances. From (
63) we obtain
where
. The action variables
can be extended to global action-angle variables
usually called symplectic polar coordinates. Then the KAM condition is immediate.
Furthermore, for the case with
particles, we get from (
60) and (
63)
Denote
. Please note that
. Then
becomes
The actions
can be extended to global action-angle variables
(symplectic polar coordinates) and the KAM condition is straightforward (compare with [
22]). □
Proof of Theorem 2. Part (i) is proved by Corollary 1, whereas part (ii) comes after Corollary 2. □
5. KG Lattice with Fixed Endpoints
In this section, we consider the KG lattice with
n (
, not necessarily even) particles and with fixed endpoints
It was realized in [
9] that such the FPU lattice with the fixed boundary conditions can be viewed as an invariant subsystem of the periodic FPU lattice with
particles. This invariant subsystem is obtained by the fixed point set of the compact group
. Since
S is also a symmetry for the periodic KG Hamiltonian this constriction is applicable here and we will describe it briefly. Define the set
By the definition of
S (
19) we get
from where it follows that
.
is a symplectic manifold with symplectic form obtained from
with restriction on
. One can takes as coordinates on
. Then the lattice with fixed endpoints and
n particles is described on
by the Hamiltonian
.
Let us consider the periodic KG Hamiltonian with
particles. From the definition of the phonon particles (
15), we can obtain that
S acts on them in the following way
Hence,
which is a symplectic manifold isomorphic to
. We can take as coordinates on
.
We have already constructed an
S-invariant truncated normal form
for the periodic KG lattice. It was realized in [
9] that to obtain the normal form of the Hamiltonian
, one needs to restrict the symmetric normal form
to
, that is,
Clearly,
and
. Introduce
Then we have
Theorem 8. The KG lattice with n particles and fixed boundary conditions has the fourth order normal form , where and In the above formula the term with subscripts appears if n is odd. This normal form is completely integrable with the quadratic first integrals and it is KAM nondegenerate.
Proof. It follows from Theorem 7 and the explanations above that the quantities
are Poisson commuting, so the complete integrability is clear. The variables
can be extended to global action-angle variables
—symplectic polar coordinates. It remains to verify the nondegeneracy of the normal form
. Denote the Hessian of
with
and let
as before. We have
where
and
is an
matrix which for
n even, respectively odd takes the form
After some linear algebra is shown to be nonsingular, from where the nondegeneracy of follows. □
As a consequence of the above result, we conclude that almost all low-energy solutions of the KG lattice with fixed endpoints are quasi-periodic and live on invariant tori.
6. Discussion
In the present paper, we deal with the integrability of the KG lattices. First, we study the periodic KG lattice with
N particles (
4) and quartic potential
We have shown that this Hamiltonian system is non-integrable by means of meromorphic integrals unless
. For this we use Differential Galois theory and Morales-Ramis-Simó approach. Hence, Theorem 1 can be considered as an improvement of the Yoshimura and Umeno’s result [
16].
The considered system enjoys the same important discrete symmetries
(
18), (
19) as in the periodic FPU chain. Following [
8] we construct an
-symmetric resonant fourth order normal form
. This normal form happens to be Liouville integrable. It is similar to the normal form of the periodic FPU
-chain, but it is natural to be expected. Hence, the periodic KG lattice can be considered as a perturbation of its integrable Birkhoff normal form.
If N is odd the integrals of the normal form are quadratic. The global action-angle variables can be introduced, and it turns out that this normal form is KAM nondegenerated. This proves the existence of large-measure set of quasi-periodic solutions in the dynamics of the periodic KG lattice at low-energy level.
The resonant normal form with
N even admits certain set of quartic integrals in addition to the quadratic ones. Probably, it would be interesting to explore the geometry of the system, defined by this normal form. One can assume that the things are similar to the even periodic FPU chain [
12] up to small modifications due to the extra degree of freedom. The close analogy with the FPU chain implies that in this case global action variables do not exist. This makes the verification of the Kolmogorov’s condition difficult.
Next, we consider the KG lattice with fixed endpoints. Such a system can be considered as an invariant symplectic submanifold of a larger periodic KG lattice. For this the discrete symmetry S is used. Then the normal form in this case is easy to get from the previous result, and hence, it is integrable. Furthermore, KAM theorem applies which implies that almost all low-energetic solutions are quasi-periodic.
Finally, we notice that the results of this paper do not provide an answer to one of the most important problems: what happens in the dynamics of the KG lattice when the number of particles becomes larger and larger.
Let us emphasize again the importance of the discrete symmetries, and in particular, the symmetry
S in the carrying out of the above analysis. This leads to the following question: what happens when we drop the symmetry
S? We can ask the same thing in a different way: Can the results of this paper be extended for the KG lattice with the potential
which is more relevant in studying the dynamics of low-energetic solutions in the DNA model?
It is clear that the non-integrability result of Theorem 1 can easily be extended in a similar line as in
Section 3. The formal computation of the normal form would be more difficult, because we must transform away the third order terms. However, straightforward calculations for the low-dimensional periodic KG lattices with
and
show that resonant third order terms do not appear in the corresponding normal forms (see [
22]). Hence, these normal forms remain integrable for the latter potential. In view of the applications to the DNA models, it is clearly of some interest to calculate these normal forms in the general case.