Professional Documents
Culture Documents
Lille Lannes
Lille Lannes
David Lannes
Leonhard Euler
(1707-1783)
Mémoires de l’Académie royale des sciences et des
belles lettres de Berlin, 1757
Equations of fluid mechanics
ρ(∂t U + U · ∇X ,z U) = − ∇X ,z P + ρg
div U =0
Leonhard Euler
(1707-1783)
Mémoires de l’Académie royale des sciences et des
belles lettres de Berlin, 1757
Equations of fluid mechanics
ρ(∂t U + U · ∇X ,z U) = − ∇X ,z P + ρg
div U =0
This is dispersion:
√
Newton: c = √1 gL
2π
Siméon Denis Augustin Louis Sir George Biddell Sir George Gabriel
Poisson Cauchy Airy Stokes
(1780–1840) (1789–1857) (1801–1892) (1819–1903)
Siméon Denis Augustin Louis Sir George Biddell Sir George Gabriel
Poisson Cauchy Airy Stokes
(1780–1840) (1789–1857) (1801–1892) (1819–1903)
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}.
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}.
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}.
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
Definition
Equations (H1)-(H9) are called free surface Euler equations.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}.
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
Definition
Equations (H1)-(H9) are called free surface Euler equations.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 curl U = 0
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 div U = 0
3 U = ∇X ,z Φ
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
1 ∂t U + (U · ∇X ,z )U = − ρ1 ∇X ,z P − g ez in Ωt
2 ∆X ,z Φ = 0
3 U = ∇X ,z Φ
4 Ωt = {(X , z) ∈ Rd+1 , −H0 + b(X ) < z < ζ(t, X )}.
5 U · n = 0 on {z = −H0 + b(X )}
p
6 ∂t ζ − 1 + |∇ζ|2 U · n = 0 on {z = ζ(t, X )}.
7 P = Patm on {z = ζ(t, X )}.
Definition
Equations (H1)’-(H9)’ are called free surface Bernoulli equations.
Definition
Equations (H1)’-(H9)’ are called free surface Bernoulli equations.
Defining TΣ H
the free surface Euler equations can be viewed as a critical point of the
action
Z
1
L(Σ, ∂t Σ) = = |∂t Σ|2 − gG (Σ).
2 Ω0
Remark
Arnold (1966): the Euler equation for an incompressible inviscid fluid can
be viewed as the geodesic equation on the group of volume-preserving
diffeomorphisms.
1
∂t2 M + g ez = (−∂n P)n ∂α M1 ∂t2 M1 + (g + ∂t2 M2 )∂α M2 = 0
ρ
We still need a relation between ∂t M1 and ∂t M2 !!!!
Complex analysis
(x, z) ∈ R2 x + iz ∈ C
Incompressibility+Irrotationality=Cauchy Riemann for U
U is holomorphic in Ωt
∂t M = U(t, M(t, α)) is the boundary of a holomorphic function,
therefore
∂t M = H(Γt )∂t M
with
f (t, α0 )∂α M(t, α0 )
Z
1
H(Γt )f (t, α) = p.v. dα0 .
iπ M(t, α) − M(t, α0 )
David Lannes (IMB) Modélisation mathématique des vagues Valenciennes, 10/09/2015 19 / 30
Modern mathematical approaches Working with a fix domain
∆X ,z Φ = 0 in Ωt ,
Φ|z=ζ = ψ, ∂n Φ|z=−H +b = 0.
0
∆X ,z Φ = 0 in Ωt ,
Φ|z=ζ = ψ, ∂n Φ|z=−H +b = 0.
0
Question
What are the equations on ζ and ψ???
Question
What are the equations on ζ and ψ???
Question
What are the equations on ζ and ψ???
Craig-Sulem 93:
Definition (Dirichlet-Neumann operator)
p
G [ζ] : ψ 7→ G [ζ]ψ = 1 + |∇ζ|2 ∂n Φ|z=ζ
Question
What are the equations on ζ and ψ???
Craig-Sulem 93:
Definition (Dirichlet-Neumann operator)
p
G [ζ] : ψ 7→ G [ζ]ψ = 1 + |∇ζ|2 ∂n Φ|z=ζ
∂t ζ − G [ζ]ψ = 0
1 (G [ζ]ψ + ∇ζ · ∇ψ)2
∂t ψ + g ζ + |∇ψ|2 − = 0.
2 2(1 + |∇ζ|2 )
1 (G [ζ]ψ + ∇ζ · ∇ψ)2
∂t ψ + g ζ + |∇ψ|2 − = 0.
2 2(1 + |∇ζ|2 )
1 (G [ζ]ψ + ∇ζ · ∇ψ)2
∂t ψ + g ζ + |∇ψ|2 − = 0.
2 2(1 + |∇ζ|2 )
Linearized equations
(
∂t ζ − G [0]ψ = 0,
∂t ψ + g ζ = 0.
and
G [0] = |D| tanh(H|D|)
and therefore
∂t2 ζ + g |D| tanh(H|D|)ζ = 0
Newton and Lagrange’s formulas:
Quasilinearized equations
Symbolic approximation
Theorem
The (ZCS) is locally well posed.
Asymptotic models
Goal
Derive simpler asymptotic models describing the solutions to the water
waves equations in shallow water.
Asymptotic models
Goal
Derive simpler asymptotic models describing the solutions to the water
waves equations in shallow water.
Asymptotic models
Goal
Derive simpler asymptotic models describing the solutions to the water
waves equations in shallow water.
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
Shallow water asymptotics (µ 1)
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
Shallow water asymptotics (µ 1)
We look for an asymptotic description with respect to µ of ∇ψ in
terms of ζ and V
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
Shallow water asymptotics (µ 1)
We look for an asymptotic description with respect to µ of ∇ψ in
terms of ζ and V
This is obtained through an asymtotic description of V in the fluid.
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
Shallow water asymptotics (µ 1)
We look for an asymptotic description with respect to µ of ∇ψ in
terms of ζ and V
This is obtained through an asymtotic description of V in the fluid.
This is obtained through an asympotic description of Φ in the fluid,
Φ ∼ Φ0 + µΦ1 + µ2 Φ2 + . . .
∂t ζ + ∇ · (hV ) = 0,
ε (−∇ · (hV ) + ∇(εζ) · ∇ψ)2
∂t ∇ψ + ∇ζ + ∇|∇ψ|2 − εµ∇ = 0,
2 2(1 + ε2 µ|∇ζ|2 )
where in dimensionless form
1 εζ
Z
h = 1 + εζ and V = V (x, z)dz.
h −1
Shallow water asymptotics (µ 1)
We look for an asymptotic description with respect to µ of ∇ψ in
terms of ζ and V
This is obtained through an asymtotic description of V in the fluid.
This is obtained through an asympotic description of Φ in the fluid,
Φ ∼ Φ0 + µΦ1 + µ2 Φ2 + . . .
At first order, we have a columnar motion and therefore
∇ψ = V + O(µ).
∂t ζ + ∇ · (hV ) = 0,
Saint-Venant
∂t V + εV · ∇V + ∇ζ = 0.
where we dropped all O(µ) terms.
∂t ζ + ∇ · (hV ) = 0,
Green-Nadghi
(I + µT ) ∂t V + εV · ∇V + ∇ζ + µQ(V ) = 0.
Justification
One needs to prove that the solution exists on a time interval [0, T /ε]
with T independent of µ
One needs bounds on the solution on this time scale
Justification
One needs to prove that the solution exists on a time interval [0, T /ε]
with T independent of µ
One needs bounds on the solution on this time scale
The previous proof does not work!
Justification
One needs to prove that the solution exists on a time interval [0, T /ε]
with T independent of µ
One needs bounds on the solution on this time scale
The previous proof does not work!
Justification
One needs to prove that the solution exists on a time interval [0, T /ε]
with T independent of µ
One needs bounds on the solution on this time scale
The previous proof does not work!