Professional Documents
Culture Documents
Abstract
We consider the dynamics of a periodic chain of N coupled overdamped particles under
the influence of noise, in the limit of large N . Each particle is subjected to a bistable
local potential, to a linear coupling with its nearest neighbours, and to an independent
source of white noise. For strong coupling (of the order N 2 ), the system synchronises,
in the sense that all particles assume almost the same position in their respective local
potential most of the time. In a previous work, we showed that the transition from
strong to weak coupling involves a sequence of symmetry-breaking bifurcations of the
systems stationary configurations. We analysed, for arbitrary N , the behaviour for
coupling intensities slightly below the synchronisation threshold. Here we describe
the behaviour for any positive coupling intensity of order N 2 , provided the particle
number N is sufficiently large (as a function of /N 2 ). In particular, we determine
the transition time between synchronised states, as well as the shape of the critical
droplet to leading order in 1/N . Our techniques involve the control of the exact
number of periodic orbits of a near-integrable twist map, allowing us to give a detailed
description of the systems potential landscape, in which the metastable behaviour is
encoded.
Date. November 21, 2006. Revised version, July 5, 2007.
2000 Mathematical Subject Classification. 37H20, 37L60 (primary), 37G40, 60K35 (secondary)
Keywords and phrases. Spatially extended systems, lattice dynamical systems, open systems,
stochastic differential equations, interacting diffusions, GinzburgLandau SPDE, transitions times,
most probable transition paths, large deviations, Wentzell-Freidlin theory, diffusive coupling, synchronisation, metastability, symmetry groups, symplectic twist maps.
Introduction
In this paper, we continue our analysis of the metastable dynamics of a periodic chain of
coupled bistable elements, initiated in [BFG06a]. In contrast with similar models involving discrete on-site variables, or spins, whose metastable behaviour has been studied
extensively (see for instance [dH04, OV05]), our model involves continuous local variables,
and is therefore described by a set of interacting stochastic differential equations.
The analysis of the metastable dynamics of such a system requires an understanding of
its N -dimensional potential landscape, in particular the number and location of its local
minima and saddles of index 1. In [BFG06a], we showed that the number of stationary
configurations increases from 3 to 3N as the coupling intensity decreases from a critical
value 1 of order N 2 to 0. This transition from strong to weak coupling involves a sequence
Acknowledgements
Financial support by the French Ministry of Research, by way of the Action Concertee
Incitative (ACI) Jeunes Chercheurs, Modelisation stochastique de syst`emes hors equilibre,
is gratefully acknowledged. NB and BF thank the Weierstrass Institute for Applied Analysis and Stochastics (WIAS), Berlin, for financial support and hospitality. BG thanks the
ESF Programme Phase Transitions and Fluctuation Phenomena for Random Dynamics
in Spatially Extended Systems (RDSES) for financial support, and the Centre de Physique
Theorique (CPT), Marseille, for kind hospitality.
2
2.1
Our model of interacting bistable systems perturbed by noise is defined by the following
ingredients:
The periodic one-dimensional lattice is given by = Z /N Z , where N > 2 is the
number of particles.
To each site i , we attach a real variable xi R , describing the position of the ith
particle. The configuration space is thus X = R .
1 4 1 2
,
4
2
R .
(2.1)
The local dynamics thus tends to push the particle towards one of the two stable
positions = 1 or = 1.
Neighbouring particles in are coupled via a discretised-Laplacian interaction, of
intensity /2.
Each site is coupled to an independent source of noise, of intensity . The sources of
noise are described by independent Brownian motions {Bi (t)}t>0 .
The system is thus described by the following set of coupled stochastic differential
equations, defining a diffusion on X :
i , (2.2)
dxi (t) = f (xi (t)) dt + xi+1 (t) 2xi (t) + xi1 (t) dt + dBi (t) ,
2
where the local nonlinear drift is given by
f () = U () = 3 .
(2.3)
For = 0, the system (2.2) is a gradient system of the form x = V (x), with potential
X
X
V (x) =
U (xi ) +
(xi+1 xi )2 .
(2.4)
4
i
2.2
The dynamics of the stochastic system depends essentially on the potential landscape
V . As in [BFG06a], we use the notations
S = S() = {x X : V (x) = 0}
(2.5)
for the set of stationary points, and Sk () for the set of k-saddles, that is, stationary points
with k unstable directions and N k stable directions.
Understanding the dynamics for small noise essentially requires knowing the graph
G = (S0 , E), in which two vertices x , y S0 are connected by an edge e E if and only
if there is a 1-saddle s S1 whose unstable manifolds converge to x and y . The system
behaves essentially like a Markovian jump process on G. The mean transition time from
2
x to y is of order e2H/ , where H is the potential difference between x and the lowest
saddle leading to y (see [FW98]).
It is easy to see that S always contains at least the three points
I = (1, . . . , 1) .
O = (0, . . . , 0) ,
(2.6)
Depending on the value of , the origin O can be an N -saddle, or a k-saddle for any odd
k. The points I always belong to S0 , in fact we have
V (x) > V (I + ) = V (I ) =
N
4
x X \ {I , I + }
(2.7)
for all > 0, so that I + and I represent the most stable configurations of the system.
The three points O, I + and I are the only stationary points belonging to the diagonal
D = {x X : x1 = x2 = = xN } .
3
(2.8)
Type of symmetry
4L
A
B
4L + 2
A
B
(x1 , . . . , xL , xL , . . . , x1 , x1 , . . . , xL , xL , . . . , x1 )
(x1 , . . . , xL , . . . , x1 , 0, x1 , . . . , xL , . . . , x1 , 0)
2L + 1
A
B
Table 1. Symmetries of the stationary points bifurcating from the origin at = 1 . The
situation depends on whether N is odd (in which case we write N = 2L + 1) or even (in
which case we write N = 4L or N = 4L + 2, depending on the value of N (mod 4)). Points
labelled A are 1-saddles near the desynchronisation bifurcation at = 1 , those labelled
B are 2-saddles (for odd N , this is actually a conjecture). More saddles of the same index
are obtained by applying elements of the symmetry group GN to A and B.
On the other hand, being a polynomial of degree 4 in N variables, the potential V can
have up to 3N stationary points.
The potential V (x), as well as the sets S() and Sk (), are invariant under the transformation group G = GN of order 4N (4 if N = 2), generated by the following three
symmetries:
the rotation around the diagonal given by R(x1 , . . . , xN ) = (x2 , . . . , xN , x1 );
the mirror symmetry S(x1 , . . . , xN ) = (xN , . . . , x1 );
the point symmetry C(x1 , . . . , xN ) = (x1 , . . . , xN ).
In [BFG06a], we proved the following results:
There is a critical coupling intensity
1 =
1
1 cos(2/N )
(2.9)
such that for all > 1 , the set of stationary points S consists of the three points O
and I only. The graph G has two vertices I , connected by a single edge.
As decreases below 1 , an even number of new stationary points bifurcate from
the origin. Half of them are 1-saddles, while the others are 2-saddles. These points
satisfy symmetries as shown in Table 1. The potential difference between I and the
1-saddles behaves like N (1/4 (1 )2 /6) as 1 .
New bifurcations of the origin occur for = M = (1 cos(2M/N ))1 , with 2 6
M 6 N/2, in which saddles of order higher than 2 are created.
The number of stationary points emerging from the origin at the desynchronisation
bifurcation at = 1 depends on the parity of N . If N is even, there are exactly 2N new
points (N saddles of index 1, and N saddles of index 2). If N is odd, we were only able to
prove that the number of new stationary points is a multiple of 4N , but formulated the
conjecture that there are exactly 4N stationary points (2N saddles of index 1, and 2N
saddles of index 2). We checked this conjecture numerically for all N up to 101. As we
shall see in Section 2.4, the conjecture is also true for N sufficiently large.
2.3
We want to determine the structure of the set S of stationary points for large particle
number N , and large coupling intensity . For this purpose, we introduce the rescaled
coupling intensity
1
2 2
e=
= 2 1+O
.
(2.10)
1
N
N2
i .
(2.11)
Then in the limit N , the discrete Laplacian in (2.2) converges to a constant times
the second derivative of u(, t), and we obtain the PDE
t u(, t) = f (u(, t)) + e
u(, t) .
(2.12)
u () = f (u()) ,
e
(2.13)
u0 () = a() sn
, ,
(2.15)
1 + 2
where
0 is an arbitrary phase;
[0, 1) is an auxiliary parameter controlling the shape of the function: For small ,
the function is close to a sine, while it approaches a square wave as 1;
the amplitude a() is given by
a()2 =
22
;
1 + 2
(2.16)
(a)
1 1
16 9
1
4
(b)
u 1
u0
1.1
1.0
0.9
0.8
a((e
))
0.7
M=3
M =2
0.6
(e
)
0.5
0.4
0.3
0.2
M =1
0.1
0.0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
1.1
Figure 1. (a) Schematic bifurcation diagram of the limiting PDE (2.13). Whenever the
rescaled coupling intensity
e decreases below 1/M 2 , M = 1, 2, . . . , a one-parameter family
of stationary solutions bifurcates from the identically zero solution u 0. (b) Relations
between the shape parameter , the amplitude a and the rescaled coupling intensity e
for
winding number M = 1.
p
We are looking for periodic solutions of (2.14) of period 2/
e. Such solutions exist
whenever the shape parameter satisfies the condition
p
2M
4 1 + 2 K() = p
(2.17)
2.4
We examine now the structure of the set S() for large, but finite particle number N .
Instead of the limiting differential equation (2.13), stationary points satisfy the difference
equation
xn+1 2xn + xn1 = f (xn ) ,
n.
(2.19)
2
The key idea of the analysis is to interpret n as discrete time, and to consider (2.19) as
defining xn+1 in terms of xn and xn1 . Setting vn = xn xn1 allows to rewrite (2.19) as
the system
xn+1 = xn + vn+1 ,
vn+1 = vn 2 1 f (xn ) .
(2.20)
The map (xn , vn ) 7 (xn+1 , vn+1 ) is an area-preserving twist map (twist meaning that
xn+1 is a monotonous function of vn ), for the study of which many tools are available [Mei92]. Stationary points of the potential V are in one-to-one correspondence
p with
periodic points of period N of this map. If we further scale v by a factor = 2/, we
obtain the equivalent map
xn+1 = xn + yn+1 ,
yn+1 = yn f (xn ) .
(2.21)
The regime of large particle number N and finite rescaled coupling intensity
e corresponds
to large , and thus to small . The map (2.21) is a discretisation of the system of
ordinary differential equations x = y, y = f (x), which is equivalent to the continuous
limit equation (2.14). There should thus be some similarity between the orbits of the
map (2.21) and of the system (2.14). In particular, one easily checks that the energy
1
E(x, x)
= x 2 U (x) ,
2
(2.22)
which is conserved in the continuous limit, changes only slightly, by an amount of order
2 , for the map (2.21) (setting y = x).
The map is thus close to integrable, which makes
its analysis accessible to perturbation theory.
Our main result, obtained by analysing the map (2.21), is that the bifurcation diagram
looks like the one shown in Figure 2. Namely,
For
e > 1, I + , I and O are the only stationary points.
Below
e = 1, an explicitly known number of saddles of index 1 and 2 bifurcate from
the origin.
For any 2 6 M 6 N/2, an explicitly known number of saddles of index 2M 1 and
2M bifurcate from the origin at
e=
eM , where
M
1
1
1 cos(2/N )
eM =
= 2 +O
=
.
(2.23)
1
1 cos(2M/N )
M
N2
For any fixed M , if N is sufficiently large compared to M , the above list of stationary
points is complete for
e>
eM . In particular, there are no secondary bifurcations of
existing branches of stationary points, and no stationary points created by saddlenode
bifurcation for these values of e
.
7
e3
e2
14 L
I
04 L
1 L3 (
1 L1 (
1)L3 0
1)L3 1L4 (
1)L4 1L3 0(
1)L2 1L1 (
1)L1 1L2 (
(1L 1 0(
1)L 1 0)2
(1L (
1
1)L1
0(
A(3)
B (2)
A(2)
1)L )2
2
1)
12 L (
B (3)
B (1)
A(1)
1)2L
I+
A
I+
A
I
O
I
Figure
Figure 2. Partial bifurcation diagram for a case where
N =1 4L is a multiple of four,
and some associated graphs G. Only one stationary point per orbit of the symmetry
group G is shown. Dashdotted curves with k dots represent k-saddles. The symbols at
the left indicate the zero-coupling limit of the stationary points coordinates, for instance
12L (1)2L stands for a point whose first 2L coordinates are equal to 1, and whose last 2L
coordinates are equal to 1. The numbers associated with the branch created at
e3 are
L1 = 2L/3, L2 = 2(L L1 ), L3 = 2L/3 + 1/2 and L4 = 2(L L3 ) 1 (in case N is a
multiple of 12, there are more vanishing coordinates).
The main difficulty is to rule out the appearance of other stationary points away from
the origin. Indeed, for perturbed integrable maps it is easy to obtain a lower bound on the
number of periodic points, using the PoincareBirkhoff theorem, but it is hard to obtain
an upper bound. One might imagine a scenario where stationary points appear far from
the origin, which ultimately offer a more economic path for the transition from I to I + .
We now give the precise formulation of the results. We first describe the behaviour
between the first two bifurcation values e
1 and
e2 . Below,
1 gcd(a, b) denotes the greatest
common divisor of two integers a and b, and Ox = {gx : g G} denotes the group orbit
of a point x X under the symmetry group G.
Theorem 2.1. There exists N1 < such that when N > N1 and
e2 <
e<e
1 = 1, the
set S of stationary points of the potential V has cardinality
(
3 + 2N if N is even ,
4N
(2.24)
=
|S| = 3 +
gcd(N, 2)
3 + 4N if N is odd ,
S1 = OA = {A, RA, . . . , RN 1 A} ,
S2 = OB = {B, RB, . . . , RN 1 B} ,
S3 = OO = {O} .
(2.25)
The potential difference between the 1-saddles and the well bottoms (which is the same for
all 1-saddles and well bottoms) satisfies
2
V (A(e
)) V (I )
2 + 2
1
1
E()
=
2
+O
,
(2.26)
2
2
N
4 3(1 + ) 1 +
K()
N
where = (e
) is defined implicitly by
e=
2
.
4 K()2 (1 + 2 )
(2.27)
Theorem 2.2. For any M > 2, there exists NM < such that when N > NM and
eM +1 < e
<
eM , the set S of stationary points of the potential V has cardinality
|S| = 3 +
M
X
4N
.
gcd(N,
2m)
m=1
(2.28)
There exist points A(m) and B (m) in X , m = 1, . . . , M , such that S can be decomposed as
S0 = OI + = {I + , I } ,
S2m1 = OA(m) ,
m = 1, . . . , M ,
S2m = OB (m) ,
m = 1, . . . , M ,
S2M +1 = OO = {O} ,
(2.29)
(m)
(e
) and the well bottoms satisfies a similar
Remark 2.3. The proof actually yields information on the coordinates of the points
A = A(e
) and B = B(e
):
The coordinates of A and B satisfy the symmetries indicated in Table 1.
If N is even, the coordinates of A and B are given by
1
4 K((e
))
j 12 , (e
,
) + O
Aj (e
) = a((e
)) sn
N
N
4 K((e
))
1
Bj (e
) = a((e
)) sn
j, (e
) + O
,
(2.30)
N
N
where the amplitude a() is the one defined in (2.16).
2
If N is even, the orbits OA and OB contain N instead of 2N points, because RN/2 = 1l.
(a)
Aj
(b)
e00
e0
(2)
Aj
Figure 3. (a) Coordinates of the 1-saddles A in the case N = 32, shown for two different
Figure 1
values of the coupling
e >
e . (b) Coordinates of the 3-saddles A(2) in the case N = 32,
shown for the coupling intensities
e /4 and
e /4.
(2.31)
The components of A(m) and B (m) are given by similar expressions, with
e replaced
1
1
2
by m
e, j 2 replaced by m(j 2 ) and j replaced by mj.
Note that the total number of stationary points accounted for by these results is of
the order N 2 , which is much less than the 3N points present at zero coupling. Many
additional stationary points thus have to be created as the rescaled coupling intensity
2.5
Stochastic Case
xi+1 (t) 2xi (t) + xi1 (t) dt + dBi (t) ,
2
i.
(2.32)
Our main goal is to characterise the noise-induced transition from the configuration I =
(1, 1, . . . , 1) to the configuration I + = (1, 1, . . . , 1). In particular, we are interested in
the time needed for this transition to occur, and by the shape of the critical configuration,
i.e., the configuration of highest energy reached during the transition.
In [BFG06a, Theorem 2.7], we obtained that in the synchronisation regime e
> 1,
for any initial condition x0 in a ball B(I , r) of radius r < 1/2 around I , any particle
10
e2
14 L
I
04 L
O
B
12L 1 0(
1)2L 1 0
12 L (
12L 0(
12L 0(
1)2L
Aa
1)2L 2 0
1)2L 1
Aa
number N > 2 and any constant > 0, the first-hitting time + = hit (B(I+ , r)) of a ball
B(I + , r) of radius r around I + satisfies
2
2
=1
< e(N/2+)/
lim P x0 e(N/2)/ < +Figure
1
and
lim 2 log E x0 {+ } =
N
.
2
(2.33)
(2.34)
This means that in the synchronisation regime, the transition between I and I + takes a
2
time of the order eN/2 . Furthermore, for any fixed radius R (r, 1/2), the first-hitting
time O = hit (B(O, r)) of a ball around the origin satisfies
lim P x0 O < + + < = 1 ,
(2.35)
0
where = inf{t > exit (B(I , R)) : xt B(I , r)} is the time of first return to the small
ball B(I , r) after leaving the larger ball B(I , R). This means that during a transition,
the system is likely to pass close to the origin, i.e., the origin, being the only saddle of V ,
1
is the critical configuration of the transition.
We can now prove a similar result in the desynchronised regime
e < 1.
Theorem 2.4. For
e < 1, let
2
2 + 2
1
1
E()
V (A(e
)) V (I )
=
2
+O
,
h(e
) =
2
2
N
4 3(1 + ) 1 +
K()
N
(2.36)
where = (e
) is defined implicitly by (2.27). Fix an initial condition x0 B(I , r).
Then for any 0 <
e < 1, and any > 0, there exists N0 (e
) such that for all N > N0 (e
),
2
2
lim P x0 e(2N h(e ))/ < + < e(2N h(e )+)/ = 1
and
11
(2.37)
(2.38)
V (A(2) )V (I )
N
0.2
h(e
) =
V (A) V (I )
N
0.1
0.0
0.0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0 1.1 1.2 1.3 1.4 1.5
Furthermore, let
A = hit
[
gG
B(gA, r) ,
(2.39)
where A = A(e
) satisfies (2.30) (or (2.31) if N is odd). Then for any N > N0 (e
),
lim P x0 A < + + < = 1 .
(2.40)
0
The relations (2.37) and (2.38) mean that the transition time between the synchronised
2
states I and I + is of order e2N h(e )/ , while relation (2.40) implies that the set of critical
configurations is given by the group orbit of A under G.
The large-N limit of the rescaled potential difference h(e
) is shown in Figure 5. The
limiting function is increasing, with a discontinuous second-order derivative at
e = 1. For
small
e, h(e
) grows like the square-root of
e. This is compatible with the weak-coupling
behaviour h = (1/4 + 3/2 + O( 2 ))/N obtained in [BFG06a], if one takes into account
the scaling of
e.
The critical configuration, that is, the configuration with highest energy reached in the
course of the transition from I to I + , is any translate of the configuration A(e
) shown
in Figure 3a. If N is even, it has N/2 positive and N/2 negative coordinates, while for odd
N , there are (N 1)/2 positive, one vanishing, and (N 1)/2 negative coordinates. The
sites with positive and negative coordinates are always adjacent. The potential difference
between the 1-saddles A and the 2-saddles B is actually very small, so that transition
paths become less localised as the particle number N increases, reflecting the fact that the
system becomes translation-invariant in the large-N limit.
12
3
3.1
Proofs
Strategy of the Proof
The proof of Theorems 2.1 and 2.2 is based on the fact that stationary points of the
potential satisfy the relation
f (xn ) + xn+1 2xn + xn1 = 0 ,
(3.1)
2
(3.2)
whose periodic points correspond to stationary points of the potential. In fact, we are
going to analyse a slightly different equivalent map, which has the advantage to use the
symmetries of the model in a more efficient way.
The proof is organised as follows:
In Section 3.2, we introduce the alternative twist map, adapted to symmetries.
In Section 3.3, we compute the expression of the map in actionangle variables, taking
advantage of the existence of an almost conserved quantity.
In Section 3.4, we compute the generating function of the map in actionangle variables. This reduces the problem of finding periodic orbits to a variational problem
(which is simpler than the original one).
The main difficulty is that the system is almost degenerate along the translation mode.
In Section 3.5, we introduce Fourier variables in order to decouple the translation mode
from the other, oscillating modes.
In Section 3.6, we deal with the oscillating modes, by showing with the help of Banachs
contraction principle that for each value of the translation mode, there is exactly one
value of the oscillating modes yielding a stationary point.
In Section 3.7, we deal with the translation mode, by reducing the problem to one dimension, and showing that the generating function is dominated by its leading Fourier
mode in this direction. This yields the exact number of stationary points.
Finally, in Section 3.8 we consider the stability of the stationary points.
3.2
The twist map (3.2) does not exploit the symmetries of the original system in an optimal
way. In order to do so, it is more advantageous to introduce the variable
un =
xn+1 xn1
2
(3.3)
(3.4)
The map T1 : (xn , un ) 7 (xn+1 , un+1 ) is also an area-preserving twist map. Although
it looks more complicated than the map (3.2), it has the advantage that its inverse is
13
(3.5)
and
S2 : (x, u) 7 (x, u) ,
(3.6)
T1 S2 = S2 (T1 )1 ,
(3.7)
and
as a consequence of f being odd. This implies that the images of an orbit of the map
under S1 and S2 are also orbits of the map.
For large N , it turns out to be useful to introduce the small parameter
r
r
1
2
2
2
=
= p 1+O
,
(3.8)
=
1
e
N2
N
e
and the scaled variable w = u/. This transforms the map T1 into a map T2 : (xn , wn ) 7
(xn+1 , wn+1 ) defined by
1
xn+1 = xn + wn 2 f (xn ) ,
2
1
wn+1 = wn f (xn ) + f (xn+1 ) .
2
(3.9)
3.3
and
T2 S2 = S2 (T2 )1 .
(3.10)
ActionAngle Variables
For small , we expect the orbits of this map to be close to those of the differential equation
x = w ,
w = f (x) ,
(3.11)
(3.12)
(3.13)
where
1 4C ,
2
b(C) = 1 + 1 4C .
a(C)2 = 1
14
(3.14)
(3.15)
where (C) = a(C)/b(C), and F(, ) denotes the incomplete elliptic integral of the first
kind. The solution of the ODE can be written in terms of standard elliptic functions as
b(C)
x(t) = a(C) sn t, (C) ,
2
(3.16)
b(C)
b(C)
w(t) = 2C cn t, (C) dn t, (C) .
2
2
We return now to the map T2 defined in (3.9). The explicit solution of the continuoustime equation motivates the change of variables 1 : (x, w) 7 (, C) given by
2
x
=
F Arcsin
, (C) ,
b(C)
a(C)
(3.17)
1 4
1 2
2
C = (x + w ) x .
2
4
One checks that 1 is again area-preserving. The inverse 1
1 is given by
b(C)
x = a(C) sn
, (C) ,
2
b(C)
b(C)
w = 2C cn , (C) dn , (C) .
2
2
(3.18)
The elliptic functions sn, cn and dn being periodic in their first argument, with period
4 K(), it is convenient to carry out a further area-preserving change of variables 2 :
(, C) 7 (, I), defined by
= (C) ,
where
I = h(C) ,
b(C)
(C) =
,
2 2 K((C))
h(C) =
(3.19)
C
0
dC
.
(C )
(3.20)
Using the facts that C and b = b(C) can be expressed as functions of = (C) by
C = 2 /(1 + 2 )2 and b2 = 2/(1 + 2 ), one can check that
2 2
4 (1 + 2 ) E() (1 2 ) K()
0,
h(C) =
.
(3.21)
3
3
(1 + 2 )3/2
=(C)
In+1 = In + g(n , In , ) ,
15
(mod 2) ,
(3.22)
where (I) = (h1 (I)). The functions f and g are -periodic in their first argument,
and are real-analytic for 0 6 I 6 h(1/4) O(3 ). Furthermore, T satisfies the symmetries
T 1 = 1 T 1
and
T 2 = 2 T 1 ,
(3.23)
i
3 h
xn wn + 2xn wn3 4x3n wn + 3x5n wn + O(4 ) .
4
(3.24)
This implies that In+1 = In + O(3 ), and allows to determine g(, I, 0). It also shows that
T is analytic for In < h(1/4) O(3 ). Furthermore, writing an = a(C(xn , wn )), we see
that (3.24) implies an+1 an = O(3 ) and similarly for bn , n . This yields
Z x /a
n
n+1
du
2
p
+ O(3 )
(xn+1 , wn+1 ) (xn , wn ) =
2
bn xn /an
(1 n u2 )(1 u2 )
= + O(3 ) ,
(3.25)
which implies the expression for n+1 . We remark that the fact that T is area-preserving
implies the relation
1=
h
i
(n+1 , In+1 )
= 1 + 3 f (, I, 0) + I g(, I, 0) + O(4 ) ,
(n , In )
(3.26)
which allows to determine f (, I, 0). The fact that f and g are -periodic in their first
argument is a consequence of the fact that T2 (x, w) = T2 (x, w). Finally the relations (3.23) follow from the symmetries (3.10), with i = Si 1 .
A perturbation expansion at I = 0 shows in particular that
3
(I) = 1 I + O(I 2 ) .
4
(3.27)
(3.28)
Note that because of periodicity, is necessarily a rational number of the form = M/N ,
N
for some positive integer M . We denote by TN
the set of points in the torus T
satisfying (3.28). It is sometimes more convenient to visualise TN
as the set of real
N -tuples (1 , . . . , N ) such that
1 < 2 < < N < 1 + 2N .
16
(3.29)
In the sequel, we shall use the shorthand stationary point with rotation number instead
of stationary point corresponding to a periodic orbit of rotation number .
The expression (3.22) for T implies that
(I0 )
+ O(2 ) .
(3.30)
2
The following properties follow from the PoincareBirkhoff theorem, whenever > 0 is
sufficiently small:
=
N
(1 + O()) ,
(3.31)
2
the twist map T admits at least two periodic orbits of period N and rotation number
= M/N . Note that Condition (3.31) is compatible with the fact that O bifurcates
for = M , M = 1, 2, . . . , N/2.
Any periodic orbit of period N of the map T is of the form
M6
n = 0 + 2n + O(2 ) ,
1 2
+ O(2 ) ,
In =
(3.32)
for some 0 and some = M/N , where M is a positive integer satisfying (3.31).
Going back to original variables, we see that these periodic orbits are of the form
2 K(n )
xn = an sn
n , n ,
(3.33)
p
2 K(n )
2 K(n )
n , n dn
n , n ,
wn = 2Cn cn
(3.34)
This allows in particular to compute the value of the potential at the corresponding stationary point.
Proposition 3.2. Let > 0 be sufficiently small, and let x be a stationary point of the
potential V , corresponding to an orbit with rotation number = M/N . Then
V (x )
1
E()
2 + 2
=
2
+ O(2 ) ,
(3.35)
N
3(1 + 2 ) 1 + 2
K()
where = (C), and C satisfies (C)2 = M 2
e.
n=1
Z 2
2 2 K()
2 2 K()
,
dn
,
)
d
1
+
O()
,
cn
=C 2
17
(3.36)
p
where C = 1 (M
e) and = (C). The integral can then be computed using the
change of variables 2 K()/ = F(, ). Finally, recall that C = 2 /(1 + 2 )2 .
One can check that V (x )/N is a decreasing function of , which is itself a decreasing
function of M 2
e. As a consequence, V (x )/N is increasing in M 2 e
. This implies in
particular that the potential is larger for larger winding numbers M .
Remark 3.3. The leading term in the expression (3.35) for the value of the potential
is the same for all orbits of a given rotation number . Since stationary points of the
potential of different index cannot be at exactly the same height, the difference has to
be hidden in the error terms. In [BFG06a], we showed that near the desynchronisation
bifurcation, the potential difference between 1-saddles and 2-saddles is of order (1
e)N/2 .
For large N , we expect this difference to be exponentially small in 1/N , owing to the
fact that near-integrable maps of a form similar to (3.22) are known to admit adiabatic
invariants to that order (cf. [BK96, Theorem 2]).
3.4
Generating Function
In this section, we transform the problem of finding periodic orbits of the near-integrable
map T into a variational problem. The fact that T is a twist map allows us to express In
(and thus In+1 ) as a function of n and n+1 . A generating function of T is a function
G(n , n+1 ) such that
1 G(n , n+1 ) = In ,
(3.37)
It is known that any area-preserving twist map admits a generating function, unique up
to an additive constant. Since T depends on the parameter , the generating function
G naturally also depends on . However, we will indicate this dependence only when we
want to emphasise it.
Proposition 3.4. The map T admits a generating function of the form
X
2 1
bp 2 1 , cos p(1 + 2 ) ,
, + 23
G
G(1 , 2 ) = G0
(3.38)
p=1
G0 (u, 0) = (u) ,
Z 2
1
1
b
Gp u, 0 =
g , (u), 0 sin(2p) d .
4p 0
(3.39)
G(1 + , 2 + ) = G(1 , 2 ) + c
(3.40)
e 2 1 , 1 + 2 ), we thus have
for some constant c. If we set G(1 , 2 ) = G(
e v + 2) = G(u,
e v) + c .
G(u,
(3.41)
ep (2 1 , ) ei p(1 +2 ) + c (1 + 2 ) .
G
2
p=
18
(3.42)
(3.43)
and
ep (u, ) = G
ep (u, ) ,
G
(3.44)
ep (2 1 , ) ei p(1 +2 ) ,
i pG
(3.45)
which allows to represent G as a real Fourier series as well. Computing the derivatives
I1 = 1 G(1 , 2 ) and I2 = 2 G(1 , 2 ) yields
I2 I1 = 2
p=
G0 (u, 0) = u
(u) 1 (u) ,
(3.46)
so that
G0 ((C), 0) = h(C)(C) C
1
E()
2 + 2
=
2
,
3(1 + 2 ) 1 + 2
K()
(3.47)
with = (C). Note that this quantity is identical with the leading term in the expression (3.35) for the average potential per site. This indicates that we have chosen the
integration constant in the generating function in such a way that V and GN take the
same value on corresponding stationary points.
The main use of the generating function lies in the following fact. Consider the N -point
function
GN (1 , . . . , N ) = G(1 , 2 ) + G(2 , 3 ) + + G(N , 1 + 2N ) ,
(3.48)
GN (1 , . . . , N ) = In + In = 0 ,
n
for n = 1, . . . , N .
(3.49)
In other words, N -periodic orbits of T with rotation number are in one-to-one correspondence with stationary points of the N -point function GN on TN
.
The symmetries of the original potential imply that the N -point generating function
satisfies the following relations on TN
:
GN (1 , . . . , N ) = GN (2 , . . . , N , 1 + 2N ) ,
GN (1 , . . . , N ) = GN (N , . . . , 1 ) ,
GN (1 , . . . , N ) = GN (1 + , . . . , N + ) .
19
(3.50)
At this point, we are in the following situation. We have first transformed the initial
problem of finding the stationary points of the potential V into the problem of finding
periodic orbits of the map T1 , or, equivalently, of the map T . This problem in turn has
been transformed into the problem of finding the stationary points of GN . Obviously,
the whole procedure is of interest only if the stationary points of GN are easier to find
and analyse than those of V . This, however, is the case here since the N -point function
is a small perturbation of a function depending only on the differences n+1 n . In
other words, GN can be interpreted as the energy of a chain of particles with a uniform
nearest-neighbour interaction, put in a weak external periodic potential.
3.5
The main difficulty in analysing the stationary points of the N -point generating function
GN comes from the fact that it is almost degenerate under translations of the form n 7
n + c n. The purpose of this section is to decouple the translation mode from the other
variables, by introducing Fourier variables.
We fix = M/N . Any stationary point of GN on TN
admits a Fourier expansion of
the form
N
1
X
n = 2n +
q qn ,
(3.51)
q=0
(n 2n) = q .
q =
N n=1
(3.52)
Note that q = q+N for all q. Stationary points of GN correspond to stationary points of
the function GN , obtained by expressing GN in terms of Fourier variables (0 , . . . , N 1 ).
In order to do so, it is convenient to write
n+1 n
= + 2 n (1 , . . . , N 1 ) ,
n + n+1 = 20 + 2(2n + 1) + 2 n (1 , . . . , N 1 ) ,
(3.53)
where = 2/ and
N 1
1 X q
n (1 , . . . , N 1 ) = 3
q ( 1) qn ,
q=1
N 1
1 X q
q ( + 1) qn .
n (1 , . . . , N 1 ) = 2
(3.54)
q=1
Note that n is of order 1 in for any stationary point because of the expression (3.22)
of the twist map. Taking the inverse Fourier transform shows that |q ( q 1)| = O(3 )
and |q | = O(2 ) for q 6= 0, and thus n is also of order 1.
Expressing GN in Fourier variables yields the function
GN (0 , . . . , N 1 ) =
p=
20
e2 i p0 gp (1 , . . . , N 1 ) ,
(3.55)
bp )
where (we drop the -dependence of G0 and G
g0 (1 , . . . , N 1 ) =
N
X
G0 ( + 2 n ) ,
n=1
N
X
3
gp (1 , . . . , N 1 ) =
n=1
bp ( + 2 n ) pM (2n+1) ei 2 pn
G
for p 6= 0 .
(3.56)
We now examine the symmetry properties of the Fourier coefficients gp . Table 2 shows
how the Fourier variables transform under some symmetry transformations, where we only
consider transformations leaving TN
invariant. As a consequence, the first two symmetries
in (3.50) translate into
gp (1 , . . . , N 1 ) = 2pM gp ( 1 , . . . , N 1 N 1 ) ,
gp (1 , . . . , N 1 ) = 2pM gp ( N 1 N 1 , . . . , 1 ) .
(3.57)
q = i q0 /2 q = q .
(3.58)
The q are defined in such a way that they are real for stationary points satisfying, in
original variables, the symmetry xj = xn0 j for some n0 . For later convenience, we
prefer to consider q as belonging to
N
N 1
,...,
\ 0
(3.59)
Q=
2
2
eN (0 , ) = GN (0 , {q = i q0 /2 q }qQ )
G
e2 i p0 gp (0 , ) ,
=
(3.60)
p=
where
gp (0 , ) = gp ({q = i q0 /2 q }qQ ) .
(3.61)
gp (0 + 2, ) = 2pM gp (0 , )
(3.62)
eN invariant.
Since e2 i p2 = 2pM , replacing 0 by 0 + 2 in (3.60) leaves G
R
CS
C
xj 7 xj+1
xj
7 xN +1j
xj
7 xj
n 7 n+1
n
7 N +1n
n
7 n +
q
7 q q + 2q0
q
7 q N q 2(N + 1)q0
q
7 q + q0
Table 2. Effect of some symmetries on original variables, angle variables, and Fourier variables.
21
K,
N
K = gcd(N, 2M ) .
(3.63)
admit exactly one solution = (0 ). This is done in Section 3.6 with the help of
3.6
Uniqueness of
qQ,
(3.64)
admit exactly one solution = (0 ) for each value of 0 . The proof is based on a
standard fixed-point argument: First we show in Lemma 3.6 that (3.64) is equivalent
to the fixed-point equation = T for a quantity related to . Then we show in
Proposition 3.8 that T is contracting in an appropriate norm, provided is sufficiently
small.
It is useful to introduce the scaled variables
q = q () =
(a,b)
2
q sin(q/N )
3
(3.65)
() =
1{Pi qi +Pj qj =}
a
Y
i=1
q1 ,...,qa Q
q1 ,...,qb Q
qi
b
Y
j=1
.
tan(qj /N ) qj
(3.66)
By convention, any term in the sum for which qj = N/2 for some j is zero, that is, we set
1/ tan(/2) = 0. A few elementary properties following immediately from this definition
are:
(0,0)
() = 0 ;
(a,b)
() = 0 for || > (a + b)N/2;
(a,b)
If q = 0 for q 6 KZ , then () = 0 for 6 KZ ;
(a,b)
(a,b)
If q = q for all q, then ( ) = (1)b ().
The following result states that the conditions (3.64) are equivalent to a fixed-point
equation.
Lemma 3.6. Let
b
b () pGp () ,
Hp,q () = G
p
tan(q/N )
22
(3.67)
(3.68)
X
1
(1)k+1 ei k0 N/M H(kN +q)/2M,q ()
G0 ()
(0)
kZ : kN +q2M Z
q =
0
(1)
if q KZ ,
(3.69)
if q 6 KZ ,
(2)
X 2a
X
1
(a+2)
(a+1,0)
k+1 i k 0 N/M
(1)
e
G0
()kN +q () ,
G0 ()
(a + 1)!
a>1
kZ
(2)
q (, ) =
G0 ()
X 2(a+b) X
(a,b)
(a)
Hp,q
()pb kN 2pM +q () .
a!b!
(1)k+1 ei k0 N/M
kZ
a+b>1
p6=0
(3.70)
(0)
(0)
k = k0 + mt ,
tZ .
(3.71)
Thus there will be exactly one p with 2|p| < n. If N is very large, and M is fixed, then
bp (), being Fourier coefficients of an analytic
n = N/K is also very large. Since the G
function, decrease exponentially fast in |p|, the sum in (3.69) will be dominated by the
term with the lowest possible |p|.
We now introduce the following weighted norm on C Q :
kk = sup e|q|/2M |q | ,
(3.72)
bp () are
where > 0 is a free parameter. One checks that the functions G0 () and G
analytic for Re > O(1/ log||). Thus it follows from Cauchys theorem that there exist
positive constants L0 , r < O(1/ log||) and 0 such that
(a)
|G0 ()| 6 L0
a!
ra
b(a) ()| 6 L0
|G
p
and
a! 0 |p|
e
ra
for all a > 0 and p Z . For sufficiently small , it is possible to choose r = /2.
23
(3.73)
Proposition 3.8. There exists a numerical constant c1 > 0 such that for any > 0, any
< 0 and any R0 > c1 L0 [|G0 ()|]1 , there is a strictly positive 0 = 0 (, , 0 , R0 )
such that for all < 0 , the map T admits a unique fixed point in the ball B (0, R0 ) =
{ C Q : kk < R0 }. Furthermore, the fixed point satisfies
q = 0 whenever q 6 KZ ;
q = q , and thus q R for all q.
The proof is again a straightforward but lengthy computation, so we postpone it to
Appendix B.
A direct consequence of this result is that for any 0 , and sufficiently small , there is
eN /q = 0
a unique = (0 ) (and thus a unique (0 )) satisfying the equations G
for all q Q. Indeed, we take R0 sufficiently large that our a priori estimates on the q
imply that B0 (0, R0 ). Then it follows that is unique. Furthermore, for any < 0 ,
making sufficiently small we obtain an estimate on k k .
3.7
Stationary Values of 0
eN (0 , (0 )) =
G
1
gk =
2
gk e2 i k0 N/K ,
(3.74)
k=
e2 i(pkN/K)0 gp (0 , (0 )) d0
(3.75)
p=
(we have chosen [0, 2] as interval of integration for later convenience). Using the change
of variables 0 7 0 in the integral, and the various symmetries of the coefficients (in
particular (3.57)), one checks that gk = gk . Therefore (3.74) can be rewritten in real
form as
X
eN (0 , (0 )) = g0 + 2
gk cos 2k0 N/K .
(3.76)
G
k=1
q = i q0 /2 q (0 ).
24
Lemma 3.9. The Fourier coefficients gk are given in terms of the generating function by
Z
N 2 2 i k0 N/K
gk =
e
0 (0 ) d0 ,
(3.78)
2 0
where
e + 2 0 (0 ), 0 + + 1 2 0 (0 ), .
0 (0 ) = G
2
Proof: The coefficient gk can be rewritten as
(3.79)
N Z
1 X 2 2 i k0 N/K
gk =
e
n (0 ) d0 ,
2
0
(3.80)
n=1
where
n (0 ) = G0 ( + 2 n (0 ))
X
(
b
0 )
2
pM (2n+1) i 2 pn
p e2 i p0 G
e
.
+ 3
p ( + n (0 ))
(3.81)
p6=0
Using the periodicity of , one finds that n (0 + 2) = n+1 (0 ) and similarly for n ,
which implies n (0 ) = 0 (0 + 2n). Inserting this into (3.80) and using the change
of variables 0 7 0 2 in the nth summand allows to express gk as the (2kN/K)th
Fourier coefficient of 0 . Finally, 0 (0 ) can also be written in the form (3.79).
Relation (3.78) implies that the gk decrease exponentially fast with k, like e20 kN/K .
Hence the Fourier series (3.76) is dominated by the first two terms, provided N is large
enough. In order to obtain the existence of exactly 4N/K stationary points, it is thus
sufficient to prove that g1 is also bounded below by a quantity of order e20 N/K .
Proposition 3.10. For any > 0, there exists 1 () > 0 such that whenever < 1 (),
sign(
g1 ) = (1)1+2M/K .
Furthermore,
|
gk |
3k 5
N
6 exp
0 ()
|
g1 |
4
K
(3.82)
k > 2 ,
(3.83)
2 +
Proof: First recall that = 2/ = 2M/N , where M is fixed. Thus taking small
for given automatically yields a large N . Combining the expression (3.22) for the
twist map and the defining property (3.37) of the generating function with the relations
u = (n+1 n )/ and v = n + n+1 , one obtains the relation
i
3h
e v, ) = g 1 (v u), 1 (u), + O(2 ) .
v G(u,
2
2
(3.84)
1 xw
[1 + 2w2 4x2 + 3x4 ]
(I) 4
1 xw
=
[1 + 4C 6x2 + 4x4 ] ,
(I) 4
g(, I, 0) =
25
(3.85)
Im z
/2
3/2
z1
i 0
Re z
z2
where x and w have to be expressed as functions of and I via (3.17) and (3.19). In
particular, we note that
2C dx
dx
w=
= (I)
,
(3.86)
a 2 K() d
d
where we used (3.20) again. This allows us to write
1 d
4 6
2
4
g(, I, 0) =
(1 + 4C)x 3x + x .
8 d
3
(3.87)
A similar argument would also allow to express the first-order term in of g(, I, ) as a
function of x = x(, I). Also note the equality
b(C)
1
+ O() =
= (I) + O() =
+ O() ,
2 2 K()
1 + 2 K()
(3.88)
26
where the zj denote the poles of the function 0 (z), lying inside . There are two such
poles, located in z1 = i 0 ++O(2 ), and z2 = z1 +, and they both yield the same
2
contribution, of order e0 kN (1+O( ))/K , to the sum. Comparing (3.90) and (3.91) shows
that gk /N is of the same order. Finally, the leading term of g1 can be determined explicitly
using (3.87) and Jacobis expression (A.11) for the Fourier coefficients of powers of elliptic
functions, and is found to have sign (1)1+2M/K for sufficiently large N . Choosing small
enough (for fixed N ) guarantees that g1 dominates all gk for k > 2.
eN admits exactly
Corollary 3.11. For < 1 (), the N -point generating function G
eN (0 , (0 ))
Proof: In the points 0 = K/2N , the derivative of the function 0 7 G
vanishes, while its second derivative is bounded away from zero, as a consequence of
Estimate (3.83). Thus these points are simple roots of the first derivative, which is bounded
away from zero everywhere else.
3.8
We finally examine the stability type of the various stationary points, by first determining their index as stationary points of the N -point generating function GN , and then
examining how this translates into their index as stationary points of the potential V .
eN with rotation number
Proposition 3.12. Let (0 , (0 )) be a stationary point of G
fact that G0 () is negative ( () being decreasing), one sees that the Hessian matrix
eN is a small perturbation of a diagonal matrix with N 1 negative eigenvalues. The
of G
N th eigenvalue, which corresponds to translations of 0 , has the same sign as the second
eN (0 , (0 )), which is equal to (1)2M/K sign cos(20 N/K). Thus
derivative of 0 7 G
eN if this sign is negative, and an (N 1)-saddle otherwise.
(0 , (0 )) is an N -saddle of G
The same is true for the index of = (1 , . . . , N ) as a stationary point of GN .
Let R be the so-called residue of the periodic orbit of T associated with the stationary
point. This residue is equal to (2 Tr(DT N ))/4, where DT N is the Jacobian of T N at
the orbit, and indicates the stability type of the periodic orbit: The orbit is hyperbolic if
R < 0, elliptic if 0 < R < 1, and inverse hyperbolic if R > 1. It is known [MM83] that the
residue R is related to the index of be the identity
det(Hess GN ())
1
R = QN
.
4 j=1 (12 G(j , j+1 ))
(3.92)
In our case, 12 G(j , j+1 ) is always negative, so that R is positive if is an (N 1)saddle, and negative if is an N -saddle.
Now x (0 ) also corresponds to a periodic orbit of the map (3.2), whose generating
function is H(xn , xn+1 ) = 12 (xn xn+1 )2 + 2 U (xn ). The corresponding N -point generating
27
function is precisely (2/)V . Since the residue is invariant under area-preserving changes
of variables, we also have
R=
1
det(Hess V (x ))
.
QN
2 j=1 (12 H(xj , xj+1 ))
(3.93)
In this case, the denominator is positive. Therefore, Hess V (x ) has an even number of
positive eigenvalues if is an N -saddle, and an odd number of positive eigenvalues if is
an (N 1)-saddle.
We can now complete the proofs of Theorem 2.1 and Theorem 2.2.
Proof of Theorem 2.1. We first recall the following facts, established in [BFG06a].
Whenever
e crosses a bifurcation value
eM , say from larger to smaller values, the index
of the origin changes from 2M 1 to 2M + 1. Thus the bifurcation involves a centre
manifold of dimension 2, with 2M 1 unstable and N 2M 1 stable directions transversal
to the manifold. Within the centre manifold, the origin repels nearby trajectories, and
attracts trajectories starting sufficiently far away. Therefore, all stationary points lying
in the centre manifold, except the origin, are either sinks or saddles for the reduced twodimensional dynamics. For the full dynamics, they are thus saddles of index (2M 1) or
2M (c.f. [BFG06a, Section 4.3]), at least for
e close to e
M .
We now return to the twist map in action-angle variables (3.22). The frequency (I)
being maximal for I = 0, as increases, new orbits appear on the line I = 0, which
corresponds to the origin in x-coordinates. Orbits of rotation number = M/N can only
e<
eM .
exist if (0) = > 2 + O(2 ), which is compatible with the condition
Consider the case of a winding number M = 1, that is, of orbits with rotation number
= 1/N , which are the only orbits existing for
e2 <
e <
e1 . We note that
e >
e2
implies = 2/N > 1/2 O(), and thus there exists N1 < such that the condition
N > N1 automatically implies that is small enough for Corollary 3.11 to hold. Now,
Proposition 3.12 yields:
If N is even, then K = gcd(N, 2) = 2, and there are 2N stationary points. The points
x (0), x (2/N ), . . . must be 2-saddles, while the points x (/N ), x (3/N ), . . . are
1-saddles;
If N is odd, then K = gcd(N, 2) = 1, and there are 4N stationary points. The points
x (0), x (/N ), . . . must be 1-saddles, while the points x (/2N ), x (3/2N ), . . . are
2-saddles.
Going back to original variables, we obtain the expressions (2.30) and (2.31) for the coordinates of these stationary points. The fact that they keep the same index as e
moves
away from
eM is a consequence of Relation (3.93) and the fact that the corresponding staeN also keep the same index. Finally, Relation (2.26) on the potential
tionary points of G
difference is a consequence of Proposition 3.2. This proves Theorem 2.1.
Proof of Theorem 2.2. For larger winding number M , one can proceed in an analogous way, provided N is sufficiently large, as a function of M , for the conditions on to
hold. This proves Theorem 2.2.
Finally, Theorem 2.4 is proved in an analogous way as Theorems 2.7 and 2.8 in
[BFG06a], using results from [FW98] (see also [Kif81, Sug96]).
28
Fix some [0, 1]. The incomplete elliptic integrals of the first and second kind are
defined, respectively, by3
Z p
Z
dt
p
(A.1)
,
E(, ) =
F(, ) =
1 2 sin2 t dt .
0
0
1 2 sin2 t
The complete elliptic integrals of the first and second kind are given by
K() = F(/2, ) ,
E() = E(/2, ) .
(A.2)
Special values include K(0) = E(0) = /2 and E(1) = 1. The integral of the first kind
K() diverges logarithmically as 1.
The Jacobi amplitude am(u, ) is the inverse function of F(, ), i.e.,
= am(u, )
u = F(, ) .
(A.3)
(A.4)
(A.5)
2 K()
4 X q(2p+1)/2
2 K()
sn
, =
sin (2p + 1) ,
2p+1
1q
p=0
2 K()
4 X q(2p+1)/2
2 K()
cn
, =
cos
(2p
+
1)
,
(A.7)
1 + q2p+1
p=0
X
2 K()
qp
2 K()
dn
, = 1 + 4
cos 2p ,
2p
1+q
p=0
One should beware of the fact that some sources use m = 2 as parameter.
29
K( 1 2 )
q = exp
.
K()
(A.8)
+
for 0 ,
16 32 + O
q() =
2
2
1+O
for 1 .
exp
log[(1 2 )/16]
log2 [(1 2 )/16]
(A.9)
We also use the following identities, derived in [Jac69, p. 175]. For k > 1,
2 K()
2k
sn
2k
X
qp
2 K()
c2k,p
, = c2k,0 +
cos 2p ,
2p
1q
p=1
(A.10)
where the c2k,0 are positive constants (independent of ), and the other Fourier coefficients
are given for the first few k by
4
(2p) ,
2
4
2 K() 2
3
2
=
(2p) 4(2p)(1 + )
,
(A.11)
3!4
2 K() 4
2 K() 2
4
2
4
5
3
2
+ 8(2p)(8 + 7 + 8 )
.
= 6 (2p) 20(2p) (1 + )
5!
c2,p =
c4,p
c6,p
In this appendix, we give the somewhat technical proofs of the fixed-point argument given
in Section 3.6. We start by proving Lemma 3.6, stating a fixed-point equation equivalent
eN /q = 0, q Q.
to the stationarity conditions G
Proof of Lemma 3.6. The definitions (3.54) of n and n imply, for any a, b > 0,
an =
a
Y
qi qi (n+1/2) ei 0 qi /M ,
q1 ,...,qa Q i=1
nb =
b
Y
i qj
tan(qj /N )
q1 ,...,qb Q j=1
qj (n+1/2) i 0 qj /M
(B.1)
eN /q rather than G
eN /q . We thus have to
It is more convenient to compute G
compute the derivatives of gp with respect to q for all p. For p = 0, we have
N
X
g0
n
3
G0 ( + 2 n )
=
,
q
q
n=1
30
(B.2)
g0
(a,0)
(1)k ei k0 N/M
= N 3
G0
()kN +q () .
q
a!
(B.3)
a>0
kZ
g0
(a+2)
(a+1,0)
5
k i k 0 N/M
G
()kN +q () .
= N G0 ()q +
(1) e
q
(a + 1)! 0
(B.4)
a>1
kZ
gp 2 i p0
(a,b)
(a)
e
= N 5
Hp,q
()pb kN +q2pM .
(1)k ei k0 N/M
q
a!b!
kZ
(B.5)
a,b>0
X
eN
gp
G
e2 i p0
=
q
q
p=
(B.6)
with respect to q , and singling out the term a = b = 0 in (B.5) to give the leading term
(0) then yields the result.
The following estimates yield sufficient conditions for the operator T to be a contraction
inside a certain ball, for the norm kk introduced in (3.72).
Proposition B.1. There exist numerical constants c0 , c1 > 0, such that for any < 0 ,
and any N such that N e0 N/2M 6 1/2, the estimates
c1 L0
M
(B.7)
kT k 6
1 + 3 kk + M (0 , ) kk ,
|G0 ()|
i
c1 L0 M h
kT T k 6
+
M
(
,
)
k k
(B.8)
kk
k
k
0
|G0 ()| 4
hold with (0 , ) = (e /0 ) (1/(0 )), provided and satisfy
2
kk k k 6 c0
1
.
M
M
M
(B.9)
|q|
|tan(q/N )|
>
=
|q|
N
2M
31
(B.10)
directly implies
(a)
|Hp,q
()|
6 L0
a!
r a+1
2M |p| 0 |p|
1+
e
.
|q|
(B.11)
c2 L0
c2 L0
e(0 )|q|/2M 6
,
|G0 ()|
|G0 ()|
(a,b)
6N
a+b1
2M
b
(B.12)
e||/2M kka+b
.
(B.13)
In the sequel, we assume that q > 0, since by symmetry of the norm under permutation of
q and q the same estimates will hold for q < 0. The norm of (2) (, ) is more delicate
to estimate. We start by writing
|(2)
q (, )|
a+b 1
1 X 2
2M b
L0
N kk
Sq (b) ,
6
|G0 ()| N
r a+1
(B.15)
a+b>1
where
Sq (b) =
2M |p| (0 )|p| X
1X b
(2M |p| + |kN + q 2M p|) .
|p| 1 +
e
exp
b!
q
2M
p6=0
kZ
(B.16)
We decompose Sq (b) = Sq+ (b) + Sq (b), where Sq+ (b) and Sq (b) contain, respectively, the
sum over positive and negative p. In the sequel, we shall only treat the term Sq+ (b). The
sum over k in (B.16) is dominated by the term for which kN is the closest possible to
2M p q, and can be bounded by a geometric series. The result for p > 0 is
X
exp
(B.17)
(2M p + |kN + q 2M p|) 6 c4 ep eq/2M .
2M
kZ
b+1
c4 4M X b+1 0 p
p
e
6 4M c5 b .
b! q
0
(B.18)
p>1
c6 L0 2M 2 e 2
kk eq/2M .
|G0 ()| r 2 0
32
(B.19)
(B.20)
2M 2
c8 L0
2 kk eq/2M .
|G0 ()| r 2 (0 )
(B.21)
Now (B.21) and (B.19), together with (B.12), imply (B.7). The proof of (B.8) is similar,
showing first the estimate
Y
a
Y
a
a1 Pa |q |/2M
q
i=1 i
e
k k
qi 6 a kk k k
i
i=1
(B.22)
i=1
(a,b)
a+b1 2M b ||/2M
(a,b)
() ( ) 6 (a + b) N (kk k k )
e
k k . (B.23)
1
,
6
0
M (0 , ) 2M R02
c1 L0
then T (B (0, R0 )) B (0, R0 ). If in addition
2
0
6 c0
1
,
M R0
M
M
(B.24)
(B.25)
33
References
[BFG06a] Nils Berglund, Bastien Fernandez, and Barbara Gentz, Metastability in interacting nonlinear stochastic differential equations I: From weak coupling to synchronisation, Preprint,
2006.
[BHP05] D. Bl
omker, M. Hairer, and G. A. Pavliotis, Modulation equations: stochastic bifurcation
in large domains, Comm. Math. Phys. 258 (2005), no. 2, 479512.
[BK96]
Nils Berglund and Herve Kunz, Integrability and ergodicity of classical billiards in a
magnetic field, J. Statist. Phys. 83 (1996), no. 1-2, 81126.
[dH04]
F. den Hollander, Metastability under stochastic dynamics, Stochastic Process. Appl. 114
(2004), no. 1, 126.
[EH01]
J.-P. Eckmann and M. Hairer, Uniqueness of the invariant measure for a stochastic PDE
driven by degenerate noise, Comm. Math. Phys. 219 (2001), no. 3, 523565.
[Kif81]
Yuri Kifer, The exit problem for small random perturbations of dynamical systems with
a hyperbolic fixed point, Israel J. Math. 40 (1981), no. 1, 7496.
[Mei92]
J. D. Meiss, Symplectic maps, variational principles, and transport, Rev. Modern Phys.
64 (1992), no. 3, 795848.
[MM83] R. S. MacKay and J. D. Meiss, Linear stability of periodic orbits in Lagrangian systems,
Phys. Lett. A 98 (1983), no. 3, 9294.
[OV05]
[Rou02] Jacques Rougemont, Space-time invariant measures, entropy, and dimension for stochastic Ginzburg-Landau equations, Comm. Math. Phys. 225 (2002), no. 2, 423448.
[Sug96]
Makoto Sugiura, Exponential asymptotics in the small parameter exit problem, Nagoya
Math. J. 144 (1996), 137154.
34
Nils Berglund
CPTCNRS Luminy
Case 907, 13288 Marseille Cedex 9, France
and
PHYMAT, Universit
e du Sud ToulonVar
Present address:
MAPMOCNRS, Universit
e dOrl
eans
Batiment de Mathematiques, Rue de Chartres
B.P. 6759, 45067 Orleans Cedex 2, France
E-mail address: berglund@cpt.univ-mrs.fr
Bastien Fernandez
CPTCNRS Luminy
Case 907, 13288 Marseille Cedex 9, France
E-mail address: fernandez@cpt.univ-mrs.fr
Barbara Gentz
Weierstra Institute for Applied Analysis and Stochastics
Mohrenstrae 39, 10117 Berlin, Germany
Present address:
Faculty of Mathematics, University of Bielefeld
P.O. Box 10 01 31, 33501 Bielefeld, Germany
E-mail address: gentz@math.uni-bielefeld.de
35