Sharp asymptotics for metastable transition times Nils Berglund Augsburg, 10 May 2016

advertisement
Augsburger Mathematisches Kolloquium
Sharp asymptotics for metastable transition times
in one- and two-dimensional Allen–Cahn SPDEs
Nils Berglund
MAPMO, Université d’Orléans
Augsburg, 10 May 2016
Joint works with Barbara Gentz (Bielefeld),
and with Giacomo Di Gesù (Paris) and Hendrik Weber (Warwick)
Nils Berglund
nils.berglund@univ-orleans.fr
http://www.univ-orleans.fr/mapmo/membres/berglund/
Metastability
A metastable system: supercooled water
(Source: https://youtu.be/fSPzMva9 CE)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
1/21
Metastability for finite-dimensional SDEs
√
dxt = −∇V (xt ) dt + 2ε dWt
Mont
Puget
V ∶ Rd → R confining potential
= inf{t > 0∶ xt ∈ Bε (y )}
first-hitting time of small ball Bε (y ),
when starting in x
Col de Sugiton
z
τyx
Metastability of stochastic Allen-Cahn PDEs
Luminy
x
10 May 2016
Calanque de Sugiton
y
2/21
Metastability for finite-dimensional SDEs
√
dxt = −∇V (xt ) dt + 2ε dWt
Mont
Puget
V ∶ Rd → R confining potential
Col de Sugiton
z
= inf{t > 0∶ xt ∈ Bε (y )}
Luminy
first-hitting time of small ball Bε (y ),
x
when starting in x
Arrhenius’ law (1889): E[τyx ] ≃ e[V (z)−V (x)]/ε
τyx
Calanque de Sugiton
y
Eyring–Kramers law (1935, 1940):
Eigenvalues of Hessian of V at minimum x: 0 < ν1 6 ν2 6 ⋅ ⋅ ⋅ 6 νd
Eigenvalues of Hessian of V at saddle z: λ1 < 0 < λ2 6 ⋅ ⋅ ⋅ 6 λd
E[τyx ] = 2π
√
Metastability of stochastic Allen-Cahn PDEs
λ2 ...λd
∣λ1 ∣ν1 ...νd
e[V (z)−V (x)]/ε [1 + Oε (1)]
10 May 2016
2/21
Metastability for finite-dimensional SDEs
√
dxt = −∇V (xt ) dt + 2ε dWt
Mont
Puget
V ∶ Rd → R confining potential
Col de Sugiton
z
= inf{t > 0∶ xt ∈ Bε (y )}
Luminy
first-hitting time of small ball Bε (y ),
x
when starting in x
Arrhenius’ law (1889): E[τyx ] ≃ e[V (z)−V (x)]/ε
τyx
Calanque de Sugiton
y
Eyring–Kramers law (1935, 1940):
Eigenvalues of Hessian of V at minimum x: 0 < ν1 6 ν2 6 ⋅ ⋅ ⋅ 6 νd
Eigenvalues of Hessian of V at saddle z: λ1 < 0 < λ2 6 ⋅ ⋅ ⋅ 6 λd
E[τyx ] = 2π
√
λ2 ...λd
∣λ1 ∣ν1 ...νd
e[V (z)−V (x)]/ε [1 + Oε (1)]
Arrhenius’ law: proved by Freidlin, Wentzell (1979) using large deviations
Eyring–Kramers law: Bovier, Eckhoff, Gayrard, Klein (2004) using potential theory,
Helffer, Klein, Nier (2004) using Witten Laplacian, . . .
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
2/21
Potential-theoretic proof
“Magic” formula: for A, B ⊂ Rd disjoint sets,
E νA,B [τB ] =
1
−V (y )/ε
dy
∫ hA,B (y ) e
capA (B) B c
▷
Equilibrium measure: νA,B proba measure concentrated on ∂A
▷
Committor function: hA,B (y ) = P y {τA < τB }
▷
Capacity: capA (B) = ε ∫
(A∪B)c
Property: capA (B) = ε
Metastability of stochastic Allen-Cahn PDEs
∥∇hA,B (y )∥2 e−V (y )/ε dy
inf
h∈H 1 ,h∣A =1,h∣B =0
∫
(A∪B)c
10 May 2016
∥∇h(y )∥2 e−V (y )/ε dy
3/21
Potential-theoretic proof
“Magic” formula: for A, B ⊂ Rd disjoint sets,
E νA,B [τB ] =
1
−V (y )/ε
dy
∫ hA,B (y ) e
capA (B) B c
▷
Equilibrium measure: νA,B proba measure concentrated on ∂A
▷
Committor function: hA,B (y ) = P y {τA < τB }
▷
Capacity: capA (B) = ε ∫
(A∪B)c
Property: capA (B) = ε
∥∇hA,B (y )∥2 e−V (y )/ε dy
inf
h∈H 1 ,h∣A =1,h∣B =0
∫
(A∪B)c
∥∇h(y )∥2 e−V (y )/ε dy
Proving Eyring–Kramers formula: A and B small sets around x and y
√ √
(2πε)d−1 −V (z)/ε
▷ Variational arguments: capA (B) ≃ ε ∣λ1 ∣
e
2πε
λ2 ...λd
√
d
(2πε)
▷ Laplace asymptotics: ∫ c hA,B (y ) e−V (y )/ε dy ≃
e−V (x)/ε
B
ν1 ...νd
▷ Use Harnack inequalities to show that E νA,B [τB ] ≃ E x [τB ]
Alternative: coupling argument by [Martinelli, Olivieri & Scoppola]
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
3/21
Deterministic Allen–Cahn PDE
[Chafee & Infante 74, Allen & Cahn 75]
∂t u(x, t) = ∂xx u(x, t) + f (u(x, t))
▷
x ∈ [0, L], L: bifurcation parameter
▷
u(x, t) ∈ R
▷
Either periodic or zero-flux Neumann boundary conditions
▷
In this talk: f (u) = u − u 3 (results more general)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
4/21
Deterministic Allen–Cahn PDE
[Chafee & Infante 74, Allen & Cahn 75]
∂t u(x, t) = ∂xx u(x, t) + f (u(x, t))
▷
x ∈ [0, L], L: bifurcation parameter
▷
u(x, t) ∈ R
▷
Either periodic or zero-flux Neumann boundary conditions
▷
In this talk: f (u) = u − u 3 (results more general)
Energy function:
L 1
1
1
→ min
V [u] = ∫ [ u ′ (x)2 − u(x)2 + u(x)4 ] dx
2
2
4
0
Scaling limit of particle system with potential
N
N
N2
1 2
1 4
2
V (y ) = 2L
2 ∑i=1 (yi+1 − yi ) + ∑i=1 [− 2 yi + 4 yi ]
Stationary solutions: u0′′ (x) = −u0 (x) + u0 (x)3
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
critical points of V
4/21
Stationary solutions
H = 12 (u ′ )2 + 12 u 2 − 14 u 4
u0′′ (x) = −f (u0 (x)) = −u0 (x) + u0 (x)3
▷
u′
u± (x) ≡ ±1
▷
u0 (x) ≡ 0
▷
Nonconstant solutions satisfying b.c.
H=
u
−1
1
(expressible in terms of Jacobi elliptic fcts)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
5/21
1
4
Stationary solutions
H = 12 (u ′ )2 + 12 u 2 − 14 u 4
u0′′ (x) = −f (u0 (x)) = −u0 (x) + u0 (x)3
▷
u′
u± (x) ≡ ±1
H=
u
▷
u0 (x) ≡ 0
▷
Nonconstant solutions satisfying b.c.
−1
1
(expressible in terms of Jacobi elliptic fcts)
▷
Neumann b.c: 2k nonconstant solutions when L > kπ
0
▷
π
2π
3π
4π
L
Periodic b.c: k families when L > 2kπ
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
5/21
1
4
Stability of stationary solutions
u0′′ (x) = −u0 (x) + u0 (x)3
Variational eq around u0 : ∂t vt (x) = vt′′ (x) + [1 − 3u0 (x)2 ]vt (x)
Sturm–Liouville spectrum of RHS determines stability of u0
▷
u± ≡ ±1: always stable (global minima of V )
▷
)
u0 ≡ 0: always unstable, eigenvalues −λk = 1 − ( βkπ
L
2
(Neumann b.c.: β = 1, periodic b.c.: β = 2)
0
Neumann b.c.:
Number of positive
eigenvalues
1
1
2
π
0
(= unstable directions)
3
3
2π
1
Transition state
2
4
3π
2
4π
L
3
0
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
6/21
Coarsening dynamics
[Carr & Pego 89, Chen 04]
Metastability of stochastic Allen-Cahn PDEs
(Link to simulation)
10 May 2016
7/21
Stochastic partial differential equations
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
(∆ ≡ ∂xx , f (u) = u − u 3 )
Ẅtx : space–time white noise (formal derivative of Brownian sheet)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
8/21
Stochastic partial differential equations
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
(∆ ≡ ∂xx , f (u) = u − u 3 )
Ẅtx : space–time white noise (formal derivative of Brownian sheet)
Construction of mild solution via Duhamel formula:
▷
u̇t = ∆ut
⇒
ut = e∆t u0
2
) = e−(kπ/L) t cos( kπx
)
where e∆t cos( kπx
L
L
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
8/21
Stochastic partial differential equations
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
(∆ ≡ ∂xx , f (u) = u − u 3 )
Ẅtx : space–time white noise (formal derivative of Brownian sheet)
Construction of mild solution via Duhamel formula:
▷
u̇t = ∆ut
⇒
ut = e∆t u0
2
▷
) = e−(kπ/L) t cos( kπx
)
where e∆t cos( kπx
L
L
t
√
√
u̇t = ∆ut + 2ε Ẅtx ⇒ ut = e∆t u0 + 2ε ∫ e∆(t−s) Ẇx (ds)
0
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
wt (x) = ∑ ∫
k
t
−(kπ/L)2 (t−s)
e
0
Metastability of stochastic Allen-Cahn PDEs
(k)
)
dWs cos( kπx
L
10 May 2016
=∶wt (x)
α
∈ H ∩ C ∀s, α <
s
1
2
8/21
Stochastic partial differential equations
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
(∆ ≡ ∂xx , f (u) = u − u 3 )
Ẅtx : space–time white noise (formal derivative of Brownian sheet)
Construction of mild solution via Duhamel formula:
▷
u̇t = ∆ut
⇒
ut = e∆t u0
2
▷
) = e−(kπ/L) t cos( kπx
)
where e∆t cos( kπx
L
L
t
√
√
u̇t = ∆ut + 2ε Ẅtx ⇒ ut = e∆t u0 + 2ε ∫ e∆(t−s) Ẇx (ds)
0
´¹¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹¸ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¹ ¶
wt (x) = ∑ ∫
k
▷
u̇t = ∆ut +
⇒
⇒
t
−(kπ/L)2 (t−s)
e
0
(k)
)
dWs cos( kπx
L
=∶wt (x)
α
∈ H ∩ C ∀s, α <
s
1
2
√
2ε Ẅtx + f (ut )
√
ut = e∆t u0 + 2ε wt + ∫
t
0
e∆(t−s) f (us ) ds =: Ft [u]
Existence and a.s. uniqueness [Faris & Jona-Lasinio 1982]
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
8/21
Stochastic partial differential equations
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
(∆ ≡ ∂xx , f (u) = u − u 3 )
1 ∞
Fourier variables: ut (x) = √ ∑ zk (t) ei πkx/L
L k=−∞
√
1
(k)
zk1 zk2 zk3 dt + 2ε dWt
⇒
dzk = −λk zk dt −
∑
L k1 +k2 +k3 =k
(k)
Itō SDE, dWt : independent Wiener processes
λk = −1 + (πk/L)2
Energy functional:
1
1 ∞
2
zk zk zk zk
V [u] =
∑ λk ∣zk ∣ +
∑
2 k=−∞
4L k1 +k2 +k3 +k4 =0 1 2 3 4
√
⇒
dzt = −∇V (zt ) dt + 2ε dWt
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
9/21
Coarsening dynamics with noise
(Link to simulation)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
10/21
Eyring–Kramers law for 1D SPDEs: heuristics
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
Initial condition: uin near u− ≡ −1
(∆ ≡ ∂xx , f (u) = u − u 3 )
with eigenvalues νk
Target: u+ ≡ 1, τ+ = inf{t > 0∶ ∥ut − u+ ∥L∞ < ρ}
Transition state: (β = 1 for Neumann b.c., β = 2 for periodic b.c.)
⎧
⎪u0 (x) ≡ 0
if L 6 βπ with ev λk =( βkπ
)2 −1
⎪
L
uts (x) = ⎨
′
⎪
⎪
⎩u1 (x) β-kink stationary sol. if L > βπ with ev λk
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
11/21
Eyring–Kramers law for 1D SPDEs: heuristics
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
Initial condition: uin near u− ≡ −1
(∆ ≡ ∂xx , f (u) = u − u 3 )
with eigenvalues νk
Target: u+ ≡ 1, τ+ = inf{t > 0∶ ∥ut − u+ ∥L∞ < ρ}
Transition state: (β = 1 for Neumann b.c., β = 2 for periodic b.c.)
⎧
⎪u0 (x) ≡ 0
if L 6 βπ with ev λk =( βkπ
)2 −1
⎪
L
uts (x) = ⎨
′
⎪
⎪
⎩u1 (x) β-kink stationary sol. if L > βπ with ev λk
[Faris & Jona-Lasinio 82]: large-deviation principle
⇒ Arrhenius law: E uin [τ+ ] ≃ e(V [uts ]−V [u− ])/ε
[Maier & Stein 01]: formal computation; for Neumann b.c.
√
λk (V [uts ]−V [u− ])/ε
⇒ E uin [τ+ ] ≃ 2π ∣λ01∣ν0 ∏∞
k=1 νk e
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
11/21
Eyring–Kramers law for 1D SPDEs: heuristics
√
u̇t (x) = ∆ut (x) + f (ut (x)) + 2ε Ẅtx
Initial condition: uin near u− ≡ −1
(∆ ≡ ∂xx , f (u) = u − u 3 )
with eigenvalues νk
Target: u+ ≡ 1, τ+ = inf{t > 0∶ ∥ut − u+ ∥L∞ < ρ}
Transition state: (β = 1 for Neumann b.c., β = 2 for periodic b.c.)
⎧
⎪u0 (x) ≡ 0
if L 6 βπ with ev λk =( βkπ
)2 −1
⎪
L
uts (x) = ⎨
′
⎪
⎪
⎩u1 (x) β-kink stationary sol. if L > βπ with ev λk
[Faris & Jona-Lasinio 82]: large-deviation principle
⇒ Arrhenius law: E uin [τ+ ] ≃ e(V [uts ]−V [u− ])/ε
[Maier & Stein 01]: formal computation; for Neumann b.c.
√
λk (V [uts ]−V [u− ])/ε
⇒ E uin [τ+ ] ≃ 2π ∣λ01∣ν0 ∏∞
k=1 νk e
▷
Rigorous proof?
▷
What happens when L → βπ as then λ1 → 0?
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
11/21
Eyring–Kramers law for 1D SPDEs: main result
Theorem: Neumann b.c. [B & Gentz, Elec J Proba 2013]
▷
▷
▷
If L < π − c with c > 0, then
¿
Á 1 ∞ λk (V [uts ]−V [u− ])/ε
À
[1 + O(ε1/2 ∣log ε∣3/2 )]
E uin [τ+ ] = 2π Á
e
∏
∣λ0 ∣ν0 k=1 νk
If L > π + c, then same formula with extra factor
and λ′k instead of λk
1
2
(since 2 saddles)
If π − c 6 L 6 π, then
¿
√
Á λ1 + 3ε/2L ∞ λk e(V [uts ]−V [u− ])/ε
À
[1 + R(ε)]
√
E uin [τ+ ] = 2π Á
∏
∣λ0 ∣ν0 ν1 k=2 νk Ψ+ (λ1 / 3ε/2L)
where Ψ+ explicit, involves Bessel function K1/4 , limα→∞ Ψ+ (α) = 1
▷
If π 6 L 6 π + c, then same formula, with another function Ψ− ,
involving Bessel functions I±1/4 , limα→∞ Ψ− (α) = 2
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
12/21
Eyring–Kramers law for 1D SPDEs: main result
Theorem: Neumann b.c. [B & Gentz, Elec J Proba 2013]
▷
▷
▷
If L < π − c with c > 0, then
¿
Á 1 ∞ λk (V [uts ]−V [u− ])/ε
À
[1 + O(ε1/2 ∣log ε∣3/2 )]
E uin [τ+ ] = 2π Á
e
∏
∣λ0 ∣ν0 k=1 νk
If L > π + c, then same formula with extra factor
and λ′k instead of λk
1
2
(since 2 saddles)
If π − c 6 L 6 π, then
¿
√
Á λ1 + 3ε/2L ∞ λk e(V [uts ]−V [u− ])/ε
À
[1 + R(ε)]
√
E uin [τ+ ] = 2π Á
∏
∣λ0 ∣ν0 ν1 k=2 νk Ψ+ (λ1 / 3ε/2L)
where Ψ+ explicit, involves Bessel function K1/4 , limα→∞ Ψ+ (α) = 1
▷
If π 6 L 6 π + c, then same formula, with another function Ψ− ,
involving Bessel functions I±1/4 , limα→∞ Ψ− (α) = 2
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
12/21
Eyring–Kramers law for 1D SPDEs: comments
▷
Periodic b.c.: similar result [B & Gentz, Elec J Proba 2013]
√
For L > 2π: extra factor ε because saddle is a whole curve
▷
Proof: relies on spectral Galerkin approximation
▷
Similar results by F. Barret [Annales IHP, 2015]
using different method (no bifurcation points, f more general)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
13/21
Eyring–Kramers law for 1D SPDEs: comments
▷
Periodic b.c.: similar result [B & Gentz, Elec J Proba 2013]
√
For L > 2π: extra factor ε because saddle is a whole curve
▷
Proof: relies on spectral Galerkin approximation
▷
Similar results by F. Barret [Annales IHP, 2015]
using different method (no bifurcation points, f more general)
▷
For Neumann b.c. and L < π: spectral determinant in prefactor is
explicitly computable (Euler product formulas)
2
2
kπ
L
sin(L)
1 ∞ λk 1 ∞ ( L ) − 1 1 ∞ 1 − ( kπ )
√
= ∏
= ∏
=√
∏
2
2
kπ
L
∣λ0 ∣ν0 k=1 νk 2 k=1 ( ) + 2 2 k=1 1 + 2( )
2 sinh( 2L)
L
kπ
Similar expression for periodic b.c. and L < 2π
▷
For larger L, techniques for Feynman path integrals allow to compute
the spectral determinants in prefactors [Maier & Stein]
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
13/21
Sketch of proof: Spectral Galerkin approximation
ut (x) =
(d)
√1
L
∑dk=−d zk (t) ei πkx/L
⇒
dzt = −∇V (zt ) dt +
√
2ε dWt
Theorem [Blömker & Jentzen 13]
For all γ ∈ (0, 12 ) there exists an a.s. finite r.v. Z ∶ Ω → R+ s.t. ∀ω ∈ Ω
sup ∥ut (ω) − ut (ω)∥L∞ < Z (ω)d −γ
(d)
06t6T
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
∀d ∈ N
14/21
Sketch of proof: Spectral Galerkin approximation
ut (x) =
(d)
√1
L
∑dk=−d zk (t) ei πkx/L
⇒
dzt = −∇V (zt ) dt +
√
2ε dWt
Theorem [Blömker & Jentzen 13]
For all γ ∈ (0, 12 ) there exists an a.s. finite r.v. Z ∶ Ω → R+ s.t. ∀ω ∈ Ω
sup ∥ut (ω) − ut (ω)∥L∞ < Z (ω)d −γ
(d)
06t6T
∀d ∈ N
Proposition (using potential theory)
∃ε0 > 0∶ ∀ε < ε0 ∃d0 (ε) < ∞∶ ∀d > d0 ∃νd proba measure on ∂Br (u− )
∫
E v0 [τ+ ]νd (dv0 ) = C (d, ε) eH(d)/ε [1 + R(ε)]
(d)
∂Br (u− )
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
14/21
Sketch of proof: Spectral Galerkin approximation
ut (x) =
(d)
√1
L
∑dk=−d zk (t) ei πkx/L
⇒
dzt = −∇V (zt ) dt +
√
2ε dWt
Theorem [Blömker & Jentzen 13]
For all γ ∈ (0, 12 ) there exists an a.s. finite r.v. Z ∶ Ω → R+ s.t. ∀ω ∈ Ω
sup ∥ut (ω) − ut (ω)∥L∞ < Z (ω)d −γ
(d)
06t6T
∀d ∈ N
Proposition (using potential theory)
∃ε0 > 0∶ ∀ε < ε0 ∃d0 (ε) < ∞∶ ∀d > d0 ∃νd proba measure on ∂Br (u− )
∫
E v0 [τ+ ]νd (dv0 ) = C (d, ε) eH(d)/ε [1 + R(ε)]
(d)
∂Br (u− )
Proposition (using large deviations and lots of other stuff)
H0 ∶= V [uts ] − V [u− ]. ∀η > 0 ∃ε0 , T1 , H1 ∶ ∀ε < ε0 ∃d0 < ∞ s.t. ∀d > d0
sup
v0 ∈Br (u− )
E v0 [τ+2 ] 6 T12 e2(H0 +η)/ε , sup
Metastability of stochastic Allen-Cahn PDEs
sup
d>d0 v0 ∈Br (u− )
E v0 [(τ+ )2 ] 6 T12 e2H1 /ε
10 May 2016
(d)
14/21
Main step of the proof
Set TKr = C (∞, ε) eH0 /ε
Let B = Bρ (u+ ) and define nested sets B− ⊂ B ⊂ B+ at L∞ -distance δ
ΩK ,d = {
sup
∥vt − vt
(d)
t∈[0,KTKr ]
(d)
P(ΩcK ,d ) 6 P{Z > δd γ } +
Metastability of stochastic Allen-Cahn PDEs
E v0 [τB− ]
(d)
KTKr
∥L∞ 6 δ, τB− 6 KTKr }
(d)
Cauchy–
Schwarz
.
⇒
lim sup P(ΩcK ,d ) =
d→∞
10 May 2016
M(ε)
K
15/21
Main step of the proof
Set TKr = C (∞, ε) eH0 /ε
Let B = Bρ (u+ ) and define nested sets B− ⊂ B ⊂ B+ at L∞ -distance δ
ΩK ,d = {
sup
∥vt − vt
(d)
t∈[0,KTKr ]
(d)
P(ΩcK ,d ) 6 P{Z > δd γ } +
(d)
E v0 [τB− ]
(d)
KTKr
∥L∞ 6 δ, τB− 6 KTKr }
(d)
Cauchy–
Schwarz
.
⇒
lim sup P(ΩcK ,d ) =
d→∞
M(ε)
K
(d)
On ΩK ,d one has τB+ 6 τB 6 τB−
(d)
(d)
⇒ E v0 [τB+ 1{ΩK ,d } ] 6 E v0 [τB 1{ΩK ,d } ] 6 E v0 [τB− 1{ΩK ,d } ]
(d)
(d)
⇒ (d)
(d)
(d)
(d)
(d)
(d)
E v0 [τB+ ] − E v0 [τB+ 1{ΩcK ,d } ] 6 E v0 [τB ] 6 E v0 [τB− ] + E v0 [τB 1{ΩcK ,d } ]
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
15/21
Main step of the proof
Set TKr = C (∞, ε) eH0 /ε
Let B = Bρ (u+ ) and define nested sets B− ⊂ B ⊂ B+ at L∞ -distance δ
ΩK ,d = {
sup
∥vt − vt
(d)
t∈[0,KTKr ]
(d)
P(ΩcK ,d ) 6 P{Z > δd γ } +
(d)
E v0 [τB− ]
(d)
KTKr
∥L∞ 6 δ, τB− 6 KTKr }
(d)
Cauchy–
Schwarz
.
⇒
lim sup P(ΩcK ,d ) =
d→∞
M(ε)
K
(d)
On ΩK ,d one has τB+ 6 τB 6 τB−
(d)
(d)
⇒ E v0 [τB+ 1{ΩK ,d } ] 6 E v0 [τB 1{ΩK ,d } ] 6 E v0 [τB− 1{ΩK ,d } ]
(d)
(d)
⇒ (d)
(d)
(d)
(d)
(d)
(d)
E v0 [τB+ ] − E v0 [τB+ 1{ΩcK ,d } ] 6 E v0 [τB ] 6 E v0 [τB− ] + E v0 [τB 1{ΩcK ,d } ]
Integrate against ν√
d and use Cauchy–Schwarz to bound error terms:
E v0 [τB 1{ΩcK ,d } ] 6 E v0 [τB2 ]P(ΩcK ,d ), take d → ∞ and finally K large
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
15/21
The two-dimensional case
(Link to simulation)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
16/21
The two-dimensional case
▷
Large-deviation principle: [Hairer & Weber, Ann. Fac. Sc. Toulouse, 2015]
▷
Naive computation of prefactor fails:
2
log ∏
k∈(N2 )∗
L
)
1 − ( ∣k∣π
2
L
)
1 + 2( ∣k∣π
≃
∑ log(1 −
k∈(N2 )∗
≃− ∑
k∈(N2 )∗
Metastability of stochastic Allen-Cahn PDEs
3L2
)
∣k∣2 π 2
∞ r dr
3L2
3L2
≃
−
= −∞
∫
∣k∣2 π 2
π2 1
r2
10 May 2016
17/21
The two-dimensional case
▷
Large-deviation principle: [Hairer & Weber, Ann. Fac. Sc. Toulouse, 2015]
▷
Naive computation of prefactor fails:
2
log ∏
k∈(N2 )∗
L
)
1 − ( ∣k∣π
2
L
)
1 + 2( ∣k∣π
≃
∑ log(1 −
k∈(N2 )∗
≃− ∑
k∈(N2 )∗
▷
3L2
)
∣k∣2 π 2
∞ r dr
3L2
3L2
≃
−
= −∞
∫
∣k∣2 π 2
π2 1
r2
In fact, the equation needs to be renormalised
Theorem: [Da Prato & Debussche 2003]
Let ξ δ be a mollification on scale δ of white noise. Then
√
∂t u = ∆u + [1 + 3εC (δ)]u − u 3 + 2εξ δ
with C (δ) ≃ log(δ −1 ) admits local solution converging as δ → 0
(Global version: [Mourrat & Weber 2015])
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
17/21
Renormalisation
t
Problem: For d = 2, stoch. convolution ∫0 e∆(t−s) Ẇx (ds) is a distribution
▷
δ-mollification should be equivalent to Galerkin approx. ∣k∣ 6 N = δ −1 :
t
1
(k)
wN (x, t) = ∑ ak (t) ei Ωk⋅x
ak = ∫ e−µk (t−s) dWs
L
0
∣k∣6N
µk = (Ω∣k∣)2
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
Ω = βπ/L
18/21
Renormalisation
t
Problem: For d = 2, stoch. convolution ∫0 e∆(t−s) Ẇx (ds) is a distribution
▷
δ-mollification should be equivalent to Galerkin approx. ∣k∣ 6 N = δ −1 :
t
1
(k)
wN (x, t) = ∑ ak (t) ei Ωk⋅x
ak = ∫ e−µk (t−s) dWs
L
0
∣k∣6N
µk = (Ω∣k∣)2
▷
Ω = βπ/L
t
limt→∞ ∫0 e(∆−1)(t−s) Ẇx (ds) = φN is a Gaussian free field, s.t.
L2 CN ∶= L2 Eφ2N = E∥φN ∥2L2 = ∑
1
2(µk +1)
=
Tr(PN [−∆+1l]−1 )
2
≃ log(N)
∣k∣6N
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
18/21
Renormalisation
t
Problem: For d = 2, stoch. convolution ∫0 e∆(t−s) Ẇx (ds) is a distribution
▷
δ-mollification should be equivalent to Galerkin approx. ∣k∣ 6 N = δ −1 :
t
1
(k)
wN (x, t) = ∑ ak (t) ei Ωk⋅x
ak = ∫ e−µk (t−s) dWs
L
0
∣k∣6N
µk = (Ω∣k∣)2
▷
Ω = βπ/L
t
limt→∞ ∫0 e(∆−1)(t−s) Ẇx (ds) = φN is a Gaussian free field, s.t.
L2 CN ∶= L2 Eφ2N = E∥φN ∥2L2 = ∑
1
2(µk +1)
=
Tr(PN [−∆+1l]−1 )
2
≃ log(N)
∣k∣6N
▷
Wick powers
∶ φ2N ∶ = φ2N − CN
∶ φ3N ∶ = φ3N − 3CN φN
∶ φ4N ∶ = φ4N − 6CN φ2N + 3CN2
have zero mean and uniformly bounded variance (when integrated)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
18/21
Computation of the prefactor
▷
▷
Consider for simplicity L < βπ ⇒ transition state in 0
Galerkin-truncated renormalised potential
1
1
VN = ∫ [∥∇uN (x)∥2 − uN (x)2 ] dx + ∫ ∶ uN (x)4 ∶ dx
2 T2
4 T2
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
19/21
Computation of the prefactor
▷
▷
▷
Consider for simplicity L < βπ ⇒ transition state in 0
Galerkin-truncated renormalised potential
1
1
VN = ∫ [∥∇uN (x)∥2 − uN (x)2 ] dx + ∫ ∶ uN (x)4 ∶ dx
2 T2
4 T2
√
√
∣λ0 ∣ε
2πε
Using Nelson estimate: capA (B) ≃
∏
2π
λk
0<∣k∣6N
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
19/21
Computation of the prefactor
▷
▷
▷
Consider for simplicity L < βπ ⇒ transition state in 0
Galerkin-truncated renormalised potential
1
1
VN = ∫ [∥∇uN (x)∥2 − uN (x)2 ] dx + ∫ ∶ uN (x)4 ∶ dx
2 T2
4 T2
√
√
∣λ0 ∣ε
2πε
Using Nelson estimate: capA (B) ≃
∏
2π
λk
0<∣k∣6N
▷
Symmetry argument:
∫
Bc
▷
hA,B (z) e−VN (z)/ε dz =
ZN (ε) ≃ 2 ∏
√
2πε −VN (L,0)/ε
νk e
1
1
−VN (z)/ε
dz = ZN (ε)
∫ e
2
2
where −VN (L, 0) = 41 L2 + 23 L2 CN ε
∣k∣6N
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
19/21
Computation of the prefactor
▷
▷
▷
Consider for simplicity L < βπ ⇒ transition state in 0
Galerkin-truncated renormalised potential
1
1
VN = ∫ [∥∇uN (x)∥2 − uN (x)2 ] dx + ∫ ∶ uN (x)4 ∶ dx
2 T2
4 T2
√
√
∣λ0 ∣ε
2πε
Using Nelson estimate: capA (B) ≃
∏
2π
λk
0<∣k∣6N
▷
Symmetry argument:
∫
Bc
▷
hA,B (z) e−VN (z)/ε dz =
ZN (ε) ≃ 2 ∏
√
2πε −VN (L,0)/ε
νk e
1
1
−VN (z)/ε
dz = ZN (ε)
∫ e
2
2
where −VN (L, 0) = 41 L2 + 23 L2 CN ε
∣k∣6N
▷
Prefactor proportional to (since νk = λk + 3)
∏
0<∣k∣6N
λk 3/λk
λk +3 e
Metastability of stochastic Allen-Cahn PDEs
converges since
k
log[ λλk +3
e3/λk ] = O( ∣k∣14 )
10 May 2016
19/21
Main result in dimension 2
Theorem: [B, Di Gesù, Weber 2016]
For appropriate A ∋ u− , B ∋ u+ , ∃µN probability measures on ∂A:
¿
νk −λk
Á
√
2π
Á
À ∏ ∣λk ∣ e ∣λk ∣ e(V [uts ]−V [u− ])/ε [1 + c+ ε ]
lim sup E µN [τB ] 6
∣λ0 ∣ k∈Z2 νk
N→∞
¿
νk −λk
2π Á
µN
Á
À ∏ ∣λk ∣ e ∣λk ∣ e(V [uts ]−V [u− ])/ε [1 − c− ε]
lim inf E [τB ] >
N→∞
∣λ0 ∣ k∈Z2 νk
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
20/21
Main result in dimension 2
Theorem: [B, Di Gesù, Weber 2016]
For appropriate A ∋ u− , B ∋ u+ , ∃µN probability measures on ∂A:
¿
νk −λk
Á
√
2π
Á
À ∏ ∣λk ∣ e ∣λk ∣ e(V [uts ]−V [u− ])/ε [1 + c+ ε ]
lim sup E µN [τB ] 6
∣λ0 ∣ k∈Z2 νk
N→∞
¿
νk −λk
2π Á
µN
Á
À ∏ ∣λk ∣ e ∣λk ∣ e(V [uts ]−V [u− ])/ε [1 − c− ε]
lim inf E [τB ] >
N→∞
∣λ0 ∣ k∈Z2 νk
(Inverse of) prefactor involves Carleman–Fredholm determinant:
det2 (Id + T ) = det(Id + T )e− Tr T
Defined whenever T is Hilbert–Schmidt, but not necessarily trace class
Applied here to T = [(−∆ + 2) − (−∆ − 1)](∣−∆ − 1∣)−1 = 3(∣−∆ − 1∣)−1
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
20/21
Outlook
▷
Dim d = 3: more difficult because 2 renormalisation constants needed
▷
Potentials with more than two wells: understood in d = 1
▷
Potentials invariant under symmetry group: understood in Rn
▷
More difficult: non-gradient systems
References: For this talk: [1,2,3,5]; Overview: [4]; Non-gradient: [6];
1. N. B. and Barbara Gentz, Anomalous behavior of the Kramers rate at bifurcations
in classical field theories, J. Phys. A: Math. Theor. 42, 052001 (2009)
, The Eyring–Kramers law for potentials with nonquadratic saddles,
2.
Markov Processes Relat. Fields 16, 549–598 (2010)
3.
, Sharp estimates for metastable lifetimes in parabolic SPDEs: Kramers’
law and beyond, Electronic J. Probability 18, (24):1–58 (2013)
4. N. B., Kramers’ law: Validity, derivations and generalisations, Markov Processes
Relat. Fields 19, 459–490 (2013)
5. N. B., Giacomo Di Gesù, Hendrik Weber, An Eyring–Kramers law for the stochastic
Allen–Cahn equation in dimension two, preprint (2016), arXiv/1604.05742
6. N. B. and Christian Kuehn, Regularity structures and renormalisation of FitzHugh–
Nagumo SPDEs in three space dimensions, Elec J. Proba 21, (18):1-48 (2016)
Metastability of stochastic Allen-Cahn PDEs
10 May 2016
21/21
Download