Desynchronisation
of Coupled Bistable Oscillators
Perturbed by Additive Noise
Nils Berglund
Centre de Physique Théorique - CNRS
Marseille Luminy
http://berglund.univ-tln.fr
Joint work with:
Bastien Fernandez, CPT, Marseille
Barbara Gentz, University of Bielefeld
“Chaos and Complex Systems”, Novacella, October 2006
The model
• Lattice: Λ = Z /N Z , N > 2
1
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
dxi(t) =
1-a
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
4 − 1 x2
• Local bistable potential U (x) = 1
x
4
2
dxi(t) = f (xi(t)) dt
f (x) = −U 0(x) = x − x3
1-b
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
4 − 1 x2
• Local bistable potential U (x) = 1
x
4
2
• Coupling between sites: discretised Laplacian, intensity γ
i
γh
dxi(t) = f (xi(t)) dt + xi+1(t) − 2xi(t) + xi−1(t) dt
2
f (x) = −U 0(x) = x − x3
1-c
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
4 − 1 x2
• Local bistable potential U (x) = 1
x
4
2
• Coupling between sites: discretised Laplacian, intensity γ
• Independent white noise on each site
i
√
γh
dxi(t) = f (xi(t)) dt + xi+1(t) − 2xi(t) + xi−1(t) dt + N σ dBi(t)
2
f (x) = −U 0(x) = x − x3
1-d
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
4 − 1 x2
• Local bistable potential U (x) = 1
x
4
2
• Coupling between sites: discretised Laplacian, intensity γ
• Independent white noise on each site
i
√
γh
dxi(t) = f (xi(t)) dt + xi+1(t) − 2xi(t) + xi−1(t) dt + N σ dBi(t)
2
f (x) = −U 0(x) = x − x3
. Interacting diffusions (e.g. Dawson & Gärtner, Deuschel, Méléard, . . . )
. Kinetic Ising model (e.g. Cassandro et al, Schonman et al, Olivieri et al,
den Hollander et al, . . . )
1-e
The model
• Lattice: Λ = Z /N Z , N > 2
• i ∈ Λ 7→ xi ∈ R , configuration space X = R Λ
4 − 1 x2
• Local bistable potential U (x) = 1
x
4
2
• Coupling between sites: discretised Laplacian, intensity γ
• Independent white noise on each site
i
√
γh
dxi(t) = f (xi(t)) dt + xi+1(t) − 2xi(t) + xi−1(t) dt + N σ dBi(t)
2
f (x) = −U 0(x) = x − x3
. Interacting diffusions (e.g. Dawson & Gärtner, Deuschel, Méléard, . . . )
. Kinetic Ising model (e.g. Cassandro et al, Schonman et al, Olivieri et al,
den Hollander et al, . . . )
Gradient System: dxσ (t) = −∇Vγ (xσ (t)) dt +
√
N σ dB(t)
γ X
Potential: Vγ (x) =
U (xi) +
(xi+1 − xi)2
4 i∈Λ
i∈Λ
X
1-f
Gradient system
dxσ (t) = −∇V (xσ (t)) dt + σ dB(t)
τ : First-passage time from one potential well to another
• Large deviations (Wentzell & Freidlin): limσ→0 σ 2 log(E{τ })
• Analytic (Miclo, Mathieu, Kolokoltsov): spectrum of generator
• Variationnal (Bovier el al): spectrum and distribution of τ
2
Gradient system
dxσ (t) = −∇V (xσ (t)) dt + σ dB(t)
τ : First-passage time from one potential well to another
• Large deviations (Wentzell & Freidlin): limσ→0 σ 2 log(E{τ })
• Analytic (Miclo, Mathieu, Kolokoltsov): spectrum of generator
• Variationnal (Bovier el al): spectrum and distribution of τ
Zuckerhutl
Gran
Pilastro
Novacella
Brenner−Pass
Innsbruck
2-a
Gradient system
dxσ (t) = −∇V (xσ (t)) dt + σ dB(t)
τ : First-passage time from one potential well to another
• Large deviations (Wentzell & Freidlin): limσ→0 σ 2 log(E{τ })
• Analytic (Miclo, Mathieu, Kolokoltsov): spectrum of generator
• Variationnal (Bovier el al): spectrum and distribution of τ
Brenner−Pass
Zuckerhutl
Gran
Pilastro
Brenner−Pass
Novacella
Gran
Pilastro
Innsbruck
Stallersattel
Novacella
Innsbruck
. Stationary pts: S = {x : ∇V (x) = 0}
. Saddles of index k: Sk = {x ∈ S : Hess V (x) a k v.p. > 0}
. Graph G = (S0, E), x ↔ y si x, y ∈ unst. manif. of s ∈ S1
. xt ∼ markovian jump process on G
2-b
Weak coupling
. γ = 0: S = {−1, 0, 1}Λ, S0 = {−1, 1}Λ, G = hypercube.
3
Weak coupling
. γ = 0: S = {−1, 0, 1}Λ, S0 = {−1, 1}Λ, G = hypercube.
Theorem: ∀N , ∃γ ?(N ) > 0 s.t. points of each Sk (γ) continuous in
γ for 0 6 γ < γ ?(N )
q
√
√ 1 6 inf
1
?
?
3 + 2 3 − 3 = 0.2701 . . .
N >2 γ (N ) 6 γ (3) = 3
4
3-a
Weak coupling
. γ = 0: S = {−1, 0, 1}Λ, S0 = {−1, 1}Λ, G = hypercube.
Theorem: ∀N , ∃γ ?(N ) > 0 s.t. points of each Sk (γ) continuous in
γ for 0 6 γ < γ ?(N )
q
√
√ 1 6 inf
1
?
?
3 + 2 3 − 3 = 0.2701 . . .
N >2 γ (N ) 6 γ (3) = 3
4
. 0 < γ 1:
γ X ?
?
?
Vγ (x (γ)) = V0(x (0)) +
(xi+1(0) − x?i(0))2 + O(γ 2)
4 i∈Λ
−
−
−
−
−
−
−
−
1
4
1
4
+ 32 γ
+ 12 γ
−
−
0
−
−
−
−
−
V +
−
−
+
−
−
−
−
−
−
−
+
0
−
−
−
−
−
−
+
+
−
−
−
−
−
0
+
+
−
−
−
−
−
+
+
+
−
−
−
−
−
+
+
+
0
−
−
−
−
+
+
+
+
−
−
−
−
+
+
+
+
0
−
−
−
+
+
+
+
+
−
−
0
+
+
+
+
+
−
−
+
+
+
+
+
+
−
−
+
+
+
+
+
+
0
−
+
+
+
+
+
+
+
−
+
+
+
+
+
+
+
0
+
+
+
+
+
+
+
+
(1,1,1,...,1)
(1,1,1,...,−1)
(−1,1,1,...,−1)
N
4
2γ
0
time
Figure 1
(−1,−1,−1,...,−1)
3-b
Strong coupling: Synchronisation
Remarks: • I ± = ±(1, 1, . . . 1) ∈ S0 ∀γ
• O = (0, 0, . . . 0) ∈ S ∀γ
4
Strong coupling: Synchronisation
Remarks: • I ± = ±(1, 1,(a)
. . . 1) ∈I +S0 ∀γ
• O = (0, 0, . . . 0) ∈ S ∀γ
h
i
2
1
N 1 − O(N −2 )
Let γ1 =
= 2π
2
1 − cos(2π/N )
Theorem:
• S = {I −, I +, O} ⇔ γ > γ1
• S1 = {O} ⇔ γ > γ1
I−
(b)
I+
O
I−
Figure 1
4-a
Strong coupling: Synchronisation
Remarks: • I ± = ±(1, 1,(a)
. . . 1) ∈I +S0 ∀γ
• O = (0, 0, . . . 0) ∈ S ∀γ
h
i
2
1
N 1 − O(N −2 )
= 2π
Let γ1 =
2
1 − cos(2π/N )
Theorem:
• S = {I −, I +, O} ⇔ γ > γ1
• S1 = {O} ⇔ γ > γ1
(b)
I−
I+
O
I−
Figure 1
−
Corollary: ∀N , ∀γ > γ1(N ), ∀0 < r < R 6 1
2 , ∀x0 ∈ B(I , r):
• Let τ+ = τ hit(B(I +, r)). Then ∀δ > 0,
n
2
2o
x
(1/2−δ)/σ
(1/2+δ)/σ
lim P 0 e
6 τ+ 6 e
=1
σ→0
• Let τO = τ hit(B(O, r)),
and τ− = inf{t > τ exit(B(I −, R)) : xt ∈ B(I −, r)}. Then
n
o
x
0
lim P
τO < τ+ τ+ < τ− = 1
σ→0
4-b
Symmetry groups
Potential Vγ invariant by
• R(x1, . . . , xN ) = (x2, . . . , xN , x1)
• S(x1, . . . , xN ) = (xN , xN −1, . . . , x1)
• C(x1, . . . , xN ) = −(x1, . . . , xN )
⇒ Vγ invariant by group G = DN × Z 2 generated by R, S, C
5
Symmetry groups
Potential Vγ invariant by
• R(x1, . . . , xN ) = (x2, . . . , xN , x1)
• S(x1, . . . , xN ) = (xN , xN −1, . . . , x1)
• C(x1, . . . , xN ) = −(x1, . . . , xN )
⇒ Vγ invariant by group G = DN × Z 2 generated by R, S, C
G acts as group of transformations on X , S, Sk ∀k
• Orbit of x ∈ X : Ox = {gx : g ∈ G}
• Isotropy group of x ∈ X : Cx = {g ∈ G : gx = x}
• Fixed-point space of H ⊂ G: Fix(H) = {x ∈ X : hx = x ∀h ∈ H}
Properties:
|Cx||Ox| = |G|
Cgx = gCxg −1
Fix(gHg −1) = g Fix(H)
5-a
N =2
z?
Oz ?
Cz ?
Fix(Cz ? )
(0, 0)
(1, 1)
(1, −1)
(1, 0)
{(0, 0)}
{(1, 1), (−1, −1)}
{(1, −1), (−1, 1)}
{±(1, 0), ±(0, 1)}
G
D2 = {id, S}
{id, CS}
{id}
{(0, 0)}
{(x, x)}x∈R = D
{(x, −x)}x∈R
{(x, y)}x,y∈R = X
6
N =2
z?
Oz ?
Cz ?
Fix(Cz ? )
(0, 0)
(1, 1)
(1, −1)
(1, 0)
{(0, 0)}
{(1, 1), (−1, −1)}
{(1, −1), (−1, 1)}
{±(1, 0), ±(0, 1)}
G
D2 = {id, S}
{id, CS}
{id}
{(0, 0)}
{(x, x)}x∈R = D
{(x, −x)}x∈R
{(x, y)}x,y∈R = X
0
[×2]
(1, 1)
[×1]
(0, 0)
[×2]
(1, −1)
[×4]
(1, 0)
1/3
1/2
γ
(x, x)
(0, 0)
(x, −x)
(x, y)
Figure 1
6-a
N =3
0
[×2]
(1, 1, 1)
[×1]
(0, 0, 0)
[×6]
(0, 0, 1)
[×6]
(1, 1, 0)
γ
(x, x, x)
(0, 0, 0)
(x, x, y)
(x, −x, 0)
[×6] (1, −1, 0)
[×6] (1, 1, −1)
2/3
γ!
(x, x, y)
(x, x, y)
Figure 1
7
N =4
0
[×2]
(1, 1, 1, 1)
[×1]
(0, 0, 0, 0)
[×2]
(1, −1, 1, −1)
[×4]
(1, 0, 1, 0)
[×8]
(1, 0, 1, −1)
[×8]
(1, −1, 0, 0)
[×8]
(0, 1, 0, 0)
[×4]
(1, 0, −1, 0)
[×4]
(1, 1, −1, −1)
[×8]
(1, 1, 0, 0)
[×16]
(1, 1, 0, −1)
[×8]
(1, 1, 1, −1)
[×8]
(1, 1, 1, 0)
γ!
1
3
2
5
1
2
2
3
1
γ
(x, x, x, x)
(0, 0, 0, 0)
(x, −x, x, −x)
(x, y, x, y)
(x, y, x, z)
(x, −x, y, −y)
(x, y, x, z)
(x, 0, −x, 0)
(x, x, −x, −x)
(x, x, y, y)
(x, y, z, t)
(x, y, x, z)
(x, y, x, z)
Figure 1
8
Desynchronisation
Theorem: ∀ even N , ∃δ(N ) > 0 s.t. for γ1 − δ(N ) < γ < γ1,
|S| = 2N + 3, and can be decomposed as
S0 = OI + = {I +, I −}
S1 = OA = {A, RA, . . . , RN −1A}
S2 = OB = {B, RB, . . . , RN −1B}
S3 = OO = {O}
with
q
γ
γ
2
2π
1
Aj (γ) = √
1 − γ sin N j − 2 + O 1 − γ
1
1
3
2
1
Vγ (A) = − 3 γ1 − γ + O (γ1 − γ)3
9
Desynchronisation
Theorem: ∀ even N , ∃δ(N ) > 0 s.t. for γ1 − δ(N ) < γ < γ1,
|S| = 2N + 3, and can be decomposed as
S0 = OI + = {I +, I −}
S1 = OA = {A, RA, . . . , RN −1A}
S2 = OB = {B, RB, . . . , RN −1B}
S3 = OO = {O}
with
q
γ
γ
2
2π
1
Aj (γ) = √
1 − γ sin N j − 2 + O 1 − γ
1
1
3
2
1
Vγ (A) = − 3 γ1 − γ + O (γ1 − γ)3
. N odd: similar result, |S| > 4N + 3
. Similar corollary τ , with τ0 7→ τ∪gA
. A and B have particular symmetries
9-a
Symmetries
N = 4L
xL
N = 4L + 2
xL+1
xL
x1
N = 2L + 1
x1
x1
x1
xL
0
A
−x1
−xL
−xL
xL
xL
x1
x1
x1
x1
0
0
0
0
−x1 −x1
−x1
−xL
−x1
−xL+1
xL
B
−x1 −xL
−x1 −x1
x1
−x1
−xL
xL
x1
x0
xL
x1
−xL
Figure 1
N
x
Fix(Cx)
4L
A
B
(x1, . . . , xL, xL, . . . , x1, −x1, . . . , −xL, −xL, . . . , −x1)
(x1, . . . , xL, . . . , x1, 0, −x1, . . . , −xL, . . . , −x1, 0)
4L + 2
A
B
(x1, . . . , xL+1, . . . , x1, −x1, . . . , −xL+1, . . . , −x1)
(x1, . . . , xL, xL . . . , x1, 0, −x1, . . . , −xL, −xL, . . . , −x1, 0)
2L + 1
A
B
(x1, . . . , xL, −xL, . . . , −x1, 0)
(x1, . . . , xL, xL, . . . , x1, x0)
1
10
Case N large
Let γe = γγ = γ(1 − cos(2π/N )),
1
1−cos(2π/N )
γeM = 1−cos(2πM/N )
= M12 + O N12
Theorem: ∀M > 1, ∃NM < ∞ s.t. for N > NM and γeM +1 < γe < γeM ,
S can be decomposed as
S0 = OI + = {I +, I −}
S2m−1 = OA(m)
S2m = OB (m)
S2M +1 = OO = {O}
m = 1, . . . , M
m = 1, . . . , M ,
11
Case N large
Let γe = γγ = γ(1 − cos(2π/N )),
1
1−cos(2π/N )
γeM = 1−cos(2πM/N )
= M12 + O N12
Theorem: ∀M > 1, ∃NM < ∞ s.t. for N > NM and γeM +1 < γe < γeM ,
S can be decomposed as
S0 = OI + = {I +, I −}
S2m−1 = OA(m)
S2m = OB (m)
S2M +1 = OO = {O}
(m)
with Aj (γe ) = a(m2γe ) sn
4 K(κ(m2 γ
e))
N
m = 1, . . . , M
m = 1, . . . , M ,
2e
m j−1
2 , κ(m γ )
+O M
N
1.1
1.0
and κ(γe ), a(γe ) implicitly defined by
2
γe = 4 K(κ(γe))π2(1+κ(γe)2)
2κ(γ
e
)2
2
a(γe ) = 1+κ(γe)2
0.9
0.8
a(!
γ)
0.7
0.6
κ(!
γ)
0.5
0.4
0.3
0.2
0.1
0.0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
Figure 1
0.8
0.9
1.0
1.1
γ
!
11-a
Case N large: bifurcation diagram (N=4L)
0
[×2]
14L
[×1]
04L
[×2L]
(1L−1 0(−1)L−1 0)2
[×2L]
1L (−1)L 1L (−1)L
[×4L]
12L−1 0(−1)2L−1 0
[×4L]
12L (−1)2L
[×8L]
12L 0(−1)2L−2 0
[×16L]
γ
!2
1
γ
!
12L 0(−1)2L−1
Figure 1
12
V (A(2) )−V (I ± )
N
Potential difference:
2
V (A)−V (I ± )
e) + O κ
=
H(
γ
N
N
0.2
V (A) − V (I ± )
N
with
i
h
2
E(κ)
2+κ
1
1
H(γe ) = 4 − 3(1+κ2) 1+κ2 − 2 K(κ)
κ = κ(γe )
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
Figure 1
1
13
γ
!
V (A(2) )−V (I ± )
N
Potential difference:
2
V (A)−V (I ± )
e) + O κ
=
H(
γ
N
N
0.2
V (A) − V (I ± )
N
with
i
h
2
E(κ)
2+κ
1
1
H(γe ) = 4 − 3(1+κ2) 1+κ2 − 2 K(κ)
κ = κ(γe )
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
γ
!
Figure 1
Corollaire: ∀0 < γe 6 1, ∃N0(γe ) s.t. ∀N > N0(γe ),
1 , ∀x ∈ B(I − , r):
∀0 < r < R 6 2
0
• Let τ+ = τ hit(B(I +, r)). Then ∀δ > 0,
n
2
2o
x
(H(
γ
e
)−δ)/σ
(H(
γ
e
)+δ)/σ
lim P 0 e
6 τ+ 6 e
=1
σ→0
S
• Let τA = τ hit( g∈G B(gA, r)),
and τ− = inf{t > τ exit(B(I −, R)) : xt ∈ B(I −, r)}. Then
n
o
x
lim P 0 τA < τ+ τ+ < τ− = 1
σ→0
1
13-a
Techniques of proofs
• Weak coupling: Construction of symbolic dynamics
• Synchronisation: Lyapunov functions
• Control of set S of stationary points:
x∈S
⇔
⇔
h
i
γ
f (xn) + 2 xn+1 − 2xn + xn−1 = 0
(
1 ε2 f (x )
xn+1 = xn + εwnh − 2
n
i
1
wn+1 = wn − 2 ε f (xn) + f (xn+1)
√ 1
ε = N2π
γ
2 + w 2 ) − 1 x4
C(x, w) = 1
(x
2
4
⇒ C(xn+1, wn+1) = C(xn, wn) + O(ε3)
14