Professional Documents
Culture Documents
V 3
V 3
Abstract. We provide a new method for treating free boundary problems in perfect
fluids, and prove local-in-time well-posedness in Sobolev spaces for the free-surface in-
compressible 3D Euler equations with or without surface tension for arbitrary initial
data, and without any irrotationality assumption on the fluid. This is a free bound-
ary problem for the motion of an incompressible perfect liquid in vacuum, wherein the
motion of the fluid interacts with the motion of the free-surface at highest-order.
Contents
1. Introduction 3
1.1. The problem statement and background 3
1.2. Main results 4
1.3. Lagrangian representation of the Euler equations. 4
1.4. General methodology and outline of the paper 5
1.5. Notation 7
2. Convolution by horizontal layers and the smoothed transport velocity 8
3. Closed convex set used for the fixed-point for σ > 0 11
4. The smoothed κ-problem and its linear fixed-point formulation 12
5. Hodge decomposition elliptic estimates 13
6. Weak solutions for the penalized problem and their regularity 14
6.1. Step 1. Galerkin sequence. 14
6.2. Step 2. Weak solution wǫ of the penalized problem. 14
6.3. Step 3. wǫ is bounded in L2 (0, T ; H 1 (Ω)) independently of ǫ 15
7. Pressure as a Lagrange multiplier 22
8. Existence of a solution to the linearized smoothed κ-problem (4.2) 24
9. Existence of a fixed-point solution of the smoothed κ-problem with surface
tension 30
10. Estimates for the divergence and curl 31
11. Some geometric identities 37
12. κ-independent estimates for the smoothed problem and existence of solutions
in 2D 37
12.1. Removing the additional regularity assumptions on the initial data 52
12.2. The limit as κ → 0 53
13. A posteriori elliptic estimates 53
14. κ-independent estimates for the smoothed problem and existence of solutions
in 3D 56
15. Uniqueness of solutions to (1.3) 56
16. The zero surface tension case σ = 0 57
17. The smoothed κ-problem and its linear fixed-point formulation 58
18. Existence of a solution to (17.1) 59
18.1. A Closed convex set 59
18.2. Existence and uniqueness for the smoothed problems (17.2) and (17.1) 59
19. Conventions about constants, the time of existence Tκ , and the dimension of
the space 60
20. A continuous in time space energy appropriate for the asymptotic process 61
21. A commutation-type lemma. 62
22. Asymptotic regularity of the divergence and curl of η̃lκ . 63
22.1. Estimate for div(β η̃),s 63
22.2. Estimate for div[η̃lκ ,s ◦θl−1 ◦ (η̃ κ )−1 ] 63
22.3. Estimate for curl(β η̃),s 65
22.4. Estimate for curl[η̃lκ ,s ◦θl−1 ◦ (η̃ κ )−1 ] 66
√
22.5. Estimate for κ div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ] 66
√
22.6. Estimate for κ curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ] 66
√
22.7. Estimate for κ2 div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ] 66
√
22.8. Estimate for κ2 curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ] 67
22.9. Asymptotic control of div ũκ (η̃ κ ) 67
23. Asymptotic regularity of κṽt and of κ2 ṽt 67
7
23.1. Asymptotic control of κṽt in H 2 (Ω) 67
9
23.2. Asymptotic control of κ2 ṽt in H 2 (Ω) 69
24. Basic energy law for the control of ṽ and η̃lκ independently of κ. 69
24.1. Study of H12 . 71
24.2. Study of H11 . 75
24.3. Asymptotic regularity of each η̃lκ 83
24.4. Asymptotic regularity of η̃ κ 84
24.5. Asymptotic regularity of ṽ 84
24.6. Asymptotic regularity of q̃. 84
√
24.7. Asymptotic regularity of κ αl ṽ ◦ θl 84
3√
24.8. Asymptotic regularity of κ 2 αl ṽ ◦ θl 84
24.9. Asymptotic regularity of q̃t . 85
24.10. Asymptotic regularity of ṽt 85
25. Time of existence independent of κ and solution to the limit problem 85
26. Optimal regularity 85
26.1. Estimate for q̃t , q̃tt and q̃ttt 87
26.2. Estimate for E2 , E4 , E5 , E6 , E8 88
26.3. Estimate for E3 88
26.4. Estimate for E7 89
26.5. Estimate for E9 90
26.6. Estimate for E1 90
27. Uniqueness 95
Acknowledgments 95
References 95
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 3
1. Introduction
1.1. The problem statement and background. For σ ≥ 0 and for arbitrary initial data,
we prove local existence and uniqueness of solutions in Sobolev spaces to the free boundary
incompressible Euler equations in vacuum:
∂t u + ∇u u + ∇p = 0 in Q , (1.1a)
div u = 0 in Q , (1.1b)
p = σH on ∂Q , (1.1c)
(∂t + ∇u )|∂Q ∈ T (∂Q) , (1.1d)
u = u0 on Qt=0 , (1.1e)
Qt=0 = Ω , (1.1f)
where Q = ∪0≤t≤T {t} × Ω(t), Ω(t) ⊂ Rn , n = 2 or 3, ∂Q = ∪0≤t≤T {t} × ∂Ω(t), ∇u u =
uj ∂ui /∂xj , and where Einstein’s summation convention is employed. The vector field u is
the Eulerian or spatial velocity field defined on the time-dependent domain Ω(t), p denotes
the pressure function, H is twice the mean curvature of the boundary of the fluid ∂Ω(t),
and σ is the surface tension. Equation (1.1a) is the conservation of momentum, (1.1b) is
the conservation of mass, (1.1c) is the well-known Laplace-Young boundary condition for
the pressure function, (1.1d) states that the free boundary moves with the velocity of the
fluid, (1.1e) specifies the initial velocity, and (1.1f) fixes the initial domain Ω.
Almost all prior well-posedness results were focused on irrotational fluids (potential flow),
wherein the additional constraint curl u = 0 is imposed; with the irrotationality constraint,
the Euler equations (1.1) reduce to the well-known water-waves equations, wherein the
motion of the interface is decoupled from the rest of the fluid and is governed by singular
boundary integrals that arise from the use of complex variables and the equivalence of
incompressibility and irrotationality with the Cauchy-Riemann equations. For 2D fluids
(and hence 1D interfaces), the earliest local existence results were obtained by Nalimov [14],
Yosihara [22], and Craig [5] for initial data near equilibrium. Beale, Hou, & Lowengrub [4]
proved that the linearization of the 2D water wave problem is well-posed if a Taylor sign
condition is added to the problem formulation, thus preventing Rayleigh-Taylor instabilities.
Using the Taylor sign condition, Wu [20] proved local existence for the 2D water wave
problem for arbitrary (sufficiently smooth) initial data. Later Ambrose [2] and Ambrose
& Masmoudi [3], proved local well-posedness of the 2D water wave problem with surface
tension on the boundary replacing the Taylor sign condition.
In 3D, Wu [21] used Clifford analysis to prove local existence of the full water wave
problem with infinite depth, showing that the Taylor sign condition is always satisfied in the
irrotational case by virtue of the maximum principle holding for the potential flow. Lannes
[11] provided a proof for the finite depth case with varying bottom by implementing a Nash-
Moser iteration. The first well-posedness result for the full Euler equations with zero surface
tension, σ = 0, is due to Lindblad [13] with the additional “physical condition” that
∇p · n < 0 on ∂Q, (1.2)
where n denotes the exterior unit normal to ∂Ω(t). The condition (1.2) is equivalent to the
Taylor sign condition, and provided Christodoulou & Lindblad [6] with enough boundary
regularity to establish a priori estimates for smooth solutions to (1.1) together with (1.2) and
σ = 0. (Ebin [10] provided a counterexample to well-posedness when (1.2) is not satisfied.)
Nevertheless, local existence did not follow in [6], as finding approximations of the Euler
equations for which existence and uniqueness is known and which retain the transport-type
4 D. COUTAND AND S. SHKOLLER
structure of the Euler equations is highly non-trivial, and this geometric transport-type
structure is crucial for the a priori estimates. In [12], Lindblad proved well-posedness of the
linearized Euler equations, but the estimates were not sufficient for well-posedness of the
nonlinear problem. The estimates were improved in [13], wherein Lindblad implemented a
Nash-Moser iteration to deal with the manifest loss of regularity in his linearized model and
thus established the well-posedness result in the case that (1.2) holds and σ = 0.
Local existence for the case of positive surface tension, σ > 0, remained open, and
although the Laplace-Young condition (1.1c) provides improved regularity for the boundary,
the required nonlinear estimates are more difficult to close due to the complexity of the
mean curvature operator, and the need to study time-differentiated problems, which do
not arise in the σ = 0 case. It appears that the use of the time-differentiated problem in
Lindblad’s paper [13] is due to the use of certain tangential projection operators, but this is
not necessary. We note that our energy function is different from that in [13], and provides
better control of the Lagrangian coordinate.
After completing this work, we were informed of the paper of Schweizer [16] who studies
the Euler equations for σ > 0 in the case that the free-surface is a graph over the two-torus.
In that paper, he obtains a priori estimates under a smallness assumption for the initial
surface; well-posedness follows under the additional assumption that there is no vorticity on
the boundary. We also learned of the paper by Shatah and Zeng [15] who establish a priori
estimates for both the σ = 0 and σ > 0 cases without any restrictions on the initial data.
1.2. Main results. We prove two main theorems concerning the well-posedness of (1.1).
The first theorem, for the case of positive surface tension σ > 0, is new; for our second
theorem, corresponding to the zero surface tension case, we present a new proof that does
not require a Nash-Moser procedure, and has optimal regularity.
Theorem 1.1 (Well-posedness with surface tension). Suppose that σ > 0, Γ is of class H 5.5 ,
and u0 ∈ H 4.5 (Ω). Then, there exists T > 0, and a solution (u(t),p(t),Ω(t)) of (1.1) with
u ∈ L∞ (0, T ; H 4.5 (Ω(t))), p ∈ L∞ (0, T ; H 4 (Ω(t))), and Γ(t) ∈ H 5.5 . The solution is unique
if u0 ∈ H 5.5 and Γ ∈ H 6.5 .
1.3. Lagrangian representation of the Euler equations. The Eulerian problem (1.1),
set on the moving domain Ω(t), is converted to a PDE on the fixed domain Ω, by the use
of Lagrangian variables. Let η(·, t) : Ω → Ω(t) be the solution of
and set
v(x, t) := u(η(x, t), t), q(x, t) := p(η(x, t), t), and a(x, t) := [∇η(x, t)]−1 .
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 5
The variables v, q and a are functions of the fixed domain Ω and denote the material velocity,
pressure, and pull-back, respectively. Thus, on the fixed domain, (1.1) transforms to
Z t
η = Id + v in Ω × (0, T ] , (1.3a)
0
∂t v + a ∇q = 0 in Ω × (0, T ] , (1.3b)
Tr(a ∇v) = 0 in Ω × (0, T ] , (1.3c)
T T
q a N/|a N | = −σ ∆g (η) on Γ × (0, T ] , (1.3d)
(η, v) = (Id, u0 ) on Ω × {t = 0} , (1.3e)
where N denotes the unit normal to Γ, and ∆g is the surface Laplacian with respect to the
induced metric g on Γ, written in local coordinates as
√ −1 √ √ p
∆g = g ∂α [ gg αβ ∂β ] , g αβ = [gαβ ]−1 , gαβ = η,α · η,β , and g = det g . (1.4)
Theorem 1.3 (σ > 0). Suppose that σ > 0, ∂Ω is of class H 5.5 , and u0 ∈ H 4.5 (Ω)
with div u0 = 0. Then, there exists T > 0, and a solution (v,q) of (1.3) with v ∈
L∞ (0, T ; H 4.5 (Ω)), q ∈ L∞ (0, T ; H 4 (Ω)), and Γ(t) ∈ H 5.5 . The solution satisfies
3 2
!
X X
sup |∂Ω(t)|25.5 + k∂tk v(t)k24.5−1.5k + k∂tk q(t)k24−1.5k ≤ M̃0
t∈[0,T ] k=0 k=0
where M̃0 denotes a polynomial function of kΓk5.5 and ku0 k4.5 . The solution is unique of
u0 ∈ H 5.5 (Ω) and Γ ∈ H 6.5 .
Remark 1. Our theorem is stated for a fluid in vacuum, but the analogous theorem holds
for a vortex sheet, i.e., for the motion of the interface separating two inviscid immiscible
incompressible fluids; the boundary condition (1.1c) is replaced by [p]± = σH, where [p]±
denotes the jump in pressure across the interface.
For the zero-surface-tension case, we have
Theorem 1.4 (σ = 0 and condition (1.2)). Suppose that σ = 0, Γ is of class H 3 , u0 ∈
H 3 (Ω), and condition (1.2) holds at t = 0. Then, there exists T > 0, and a unique solution
(v,q) of (1.3) with v ∈ L∞ (0, T ; H 3 (Ω)), q ∈ L∞ (0, T ; H 3 (Ω)), and Γ(t) ∈ H 3 .
Because of the regularity of the solutions, Theorems 1.3 and 1.4 imply Theorems 1.1 and
1.2, respectively.
Remark 2. Note that in 3D, we require less regularity on the initial data than [13].
Remark 3. Since the vorticity satisfies the equation ∂t curl u + £u curl u = 0, where £u
denotes the Lie derivative in the direction u, it follows that if curl u0 = 0, then curl u(t) = 0.
Thus our result also covers the simplified case of irrotational flow. In particular, Theorem
1.3 shows that the 3D irrotational water-wave problem with surface tension is well-posed. In
the zero surface tension case, our result improves the regularity of the data required by Wu
[21].
1.4. General methodology and outline of the paper.
1.4.1. Artificial viscosity and the smoothed κ-problem. Our methodology begins with the
introduction of a smoothed or approximate problem (4.1), wherein two basic ideas are im-
plemented: first, we smooth the transport velocity using a new tool which we call horizontal
convolution by layers; second, we introduce an artificial viscosity term in the Laplace-Young
6 D. COUTAND AND S. SHKOLLER
In Section 10, we obtain estimates for the divergence and curl of η, v and there space and
time derivatives. The main novelty lies in the curl estimate for η. The remaining portion
of the energy is obtained by studying boundary regularity via energy estimates.
These nonlinear boundary estimates for the surface tension case σ > 0 are more com-
plicated than the ones for the σ = 0 case with the Taylor sign condition (1.2) since it is
necessary to analyze the time-differentiated Euler equations, which is not essential in the
σ = 0 case (unless optimal regularity is sought).
We note that the use of the smoothing operator in Definition 2.1, where a double con-
volution is employed, is necessary in order to find exact (or perfect) derivatives for the
highest-order error terms. The idea is that one of the convolution operators is moved onto
a function which is a priori not smoothed, and commutation-type lemmas are developed for
this purpose.
We obtain the a priori estimate
sup Eκ (t) ≤ M0 + T P ( sup Eκ (t)) ,
t∈[0,T ] t∈[0,T ]
where M0 depends only on the data, and P is a polynomial. The addition of the artificial
viscosity term allows us to prove that Eκ (t) is continuous; thus, following the develop-
ment in [8], there exists a sufficiently small time T , which is independent of κ, such that
supt∈[0,T ] Eκ (t) < M̃0 for M̃0 > M0 .
We then find κ-independent nonlinear estimates for the σ = 0 case for the energy function
(20.1).
Outline. Sections 2–15 are devoted to the case of positive surface tension σ > 0. Sections
16–27 concern the problem with zero surface tension σ = 0 together with the Taylor sign
condition (1.2) imposed.
1.5. Notation. Throughout the paper, we shall use the Einstein convention with respect to
repeated indices or exponents. We specify here our notation for certain vector and matrix
operations.
We write the Euclidean inner-product between two vectors x and y as x · y, so that
x · y = xi y i .
The transpose of a matrix A will be denoted by AT , i.e., (AT )ij = Aji .
We write the product of a matrix A and a vector b as A b, i.e, (A b)i = Aij bj .
The product of two matrices A and S will be denoted by A·S, i.e., (A·S)ij = Aik Sjk .
The trace of the product of two matrices A and S will be denoted by A : S, i.e.,
(A : S)ij = Aik Sik .
For Ω, a domain of class H s (s ≥ 2), there exists a well-defined extension operator that
we shall make use of later.
Lemma 1.1. There exists E(Ω), a linear and continuous operator from H r (Ω) into H r (R3 )
(0 ≤ r ≤ s), such that for any v ∈ H r (Ω) (0 ≤ r ≤ s), E(Ω)(v) = v in Ω.
We will use the notation H s (Ω) to denote either H s (Ω; R) (for a pressure function, for
instance) or H s (Ω; R3 ) (for a velocity vector field) and we denote the standard norm of
H s (Ω) (s ≥ 0) by k · ks . The H s (Ω) inner-product will be denoted (·, ·)s .
We shall use the following notation for derivatives: ∂t or (·)t denotes the partial time
derivative, ∂ denotes the tangential derivative on Γ (or in a small enough neighborhood of
Γ), and ∇ denotes the three-dimensional gradient.
8 D. COUTAND AND S. SHKOLLER
Fractional-order spaces are defined via interpolation using the trace spaces of Lions (see, for
example, [1]).
The dual of a Banach space X is denoted by X ′ , and the corresponding norm in X ′ will
be denoted k · kX ′ . For L ∈ H s (Ω)′ and v ∈ H s (Ω), the duality pairing between L and v is
denoted by hL, vis .
Throughout the paper, we shall use C to denote a generic constant, which may possibly
depend on the coefficient σ, or on the initial geometry given by Ω (such as a Sobolev constant
or an elliptic constant), and we use P (·) to denote a generic polynomial function of (·). For
the sake of notational convenience, we will often write u(t) for u(t, ·).
Next, for L > K, let {Ui }L i=K+1 denote a family of open sets contained in Ω such that
{Ui }Li=1 is an open cover of Ω. Let {αi }L
i=1 denote the partition of unity subordinate to this
covering.
Thus, each coordinate patch is locally represented by the unit cube (0, 1)3 and for the
first K patches (near the boundary), the tangential (or horizontal) direction is represented
by (0, 1)2 × {0}.
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 9
1 x
ρ 1δ (x) = ρ , δ > 0.
δ2 δ
For w ∈ H 1 ((0, 1)3 ) such that supp(w) ⊂ [δ, 1 − δ]2 × (0, 1), set
Z
ρ δ1 ⋆h w(xH , x3 ) = ρ δ1 (xH − yH )w(yh , x3 )dyH , yH = (y1 , y2 ) .
R2
while
Z
ρ 1δ ⋆h w,3 (xH , x3 ) = ρ δ1 (xH − yH )w,3 (yh , x3 )dyH .
R2
It should be clear that ⋆h smooths w in the horizontal directions, but not in the vertical
direction. Fubini’s theorem ensures that
kρ 1δ ⋆h wks,(0,1)3 ≤ Cs kwks,(0,1)3 for any s ≥ 0 , (2.1)
and we shall often make implicit use of this inequality.
Remark 4. The horizontal convolution ⋆h w does not smooth w in the vertical direction,
however, it does commute with the trace operator, so that
ρ δ1 ⋆h w = ρ δ1 ⋆h w|(0,1)2 ×{0} ,
(0,1)2 ×{0}
which is essential for our methodology. Also, note that ⋆h smooths without the introduction
of an extension operator, required by standard convolution operators on bounded domains;
the extension to the full space would indeed be problematic for the transport structure of the
divergence and curl of solutions to the Euler-type PDEs that we introduce.
Definition 2.2 (Smoothing the velocity field). For v ∈ L2 (Ω) and any κ ∈ (0, κ20 ) with
K
κ0 = min dist supp(αi ◦ θi ) , [(0, 1)2 × {0}]c ∩ ∂[0, 1]3 ,
i=1
set
K L
X √ h √ i X
vκ = αi ρ κ1 ⋆h [ρ κ1 ⋆h (( αi v) ◦ θi )] ◦ θi−1 + αi v .
i=1 i=K+1
It follows from (2.1) that there exists a constant C > 0 which is independent of κ such
that for any v ∈ H s (Ω) for s ≥ 0,
kvκ ks ≤ Ckvks and |vκ |s−1/2 ≤ C|v|s−1/2 . (2.2)
The smoothed particle displacement field is given by
Z t
ηκ = Id + vκ . (2.3)
0
10 D. COUTAND AND S. SHKOLLER
For each x ∈ Ui , let x̃ = θi−1 (x). The difference of the velocity field and its smoothed
counterpart along the boundary Γ then takes the form
K Z Z
X
vκ (x) − v(x) = ζi (x)ρ κ1 (ỹ)ρ κ1 (z̃) [(ζi v)(θi (x̃ − (ỹ + z̃))) − (ζi v)(θi (x̃))] dz̃ dỹ ,
i=1 B(0,κ)2
p (2.4)
where ζi (x) = αi (θi (x̃)). Combining (1.1a), (2.3), and (2.4),
K Z Z
X
ηκ (x) − η(x) = ζi (x)ρ κ1 (ỹ)ρ κ1 (z̃) [(ζi η)(θi (x̃ − (ỹ + z̃))) − (ζi η)(θi (x̃))] dz̃ dỹ ,
i=1 B(0,κ)2
(2.5)
For any u ∈ H 1.5 (Γ), and for y ∈ B(x, κ), where B(x, κ) denotes the disk of radius κ
centered at x, the mean value theorem shows that
|u(y) − u(x)| ≤ C|r−1 |Lq (B(x,κ)) |∂u|Lp (B(x,κ)) , r = radial coordinate,
4
so that in particular, with p = 4 and q = 3,
√
|u(y) − u(x)| ≤ C κ|∂u|L4 ≤ Cκ|u|1.5 ,
the last inequality following from the Sobolev embedding theorem. Hence, for U ∈ H 1.5 (Γ),
√
|Uκ (x) − U (x)|L∞ ≤ C κ|U |1.5 . (2.6)
Note that the constant C depends on maxi∈{1,...,K} |θi |5.5 .
√
Letting ζi = αi , and R = (0, 1)2 , we also have that for any φ ∈ L2 (Γ),
Z XK Z K Z
X
vκ φ = ρ κ1 ⋆h ρ κ1 ⋆h ζi v(x) ζi φ(x) = ρ κ1 ⋆h ζi v(x) ρ κ1 ⋆h ζi φ(x)
Γ i=1 R i=1 R
K
Z X
= [ρ κ1 ⋆h (ζi v ◦ θi )] ◦ θi−1 [ρ κ1 ⋆h (ζi φ ◦ θi )] ◦ θi−1 . (2.7)
Γ i=1
so that
|△|0,R ≤ C κ|f |s+1,R ρ κ1 ⋆h |g| ≤ C κ|f |s+1,R |g|0,R .
0,R
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 11
The inequality on [0, 1]3 follows the identical argument with an additional integration
over the vertical coordinate. The hypothesis on the support of f g makes the integral well-
defined.
Remark 5. Higher-order commutation-type lemmas will be developed for the case of zero
surface tension in Section 21.
It is clear that CT is non-empty, since it contains the constant (in time) function u0 , and is
a convex, bounded and closed subset of the separable Hilbert space L2 (0, T ; H 13.5 (Ω)).
Let v ∈ CT be given, and define η by (1.3a), the Bochner integral being taken in the
separable Hilbert space H 13.5 (Ω).
Henceforth, we assume that T > 0 is given such that independently of the choice of
v ∈ CT , we have the injectivity of η(t) on Ω, the existence of a normal vector to η(Ω, t) at
any point of η(Γ, t), and the invertibility of ∇η(t) for any point of Ω and for any t ∈ [0, T ].
Such a condition can be achieved by selecting T small enough so that
for ǫ0 > 0 taken sufficiently small. Condition (3.1) holds if T k∇u0kH 2 ≤ ǫ0 . Thus,
a = [∇η]−1 (3.2)
is well-defined.
Then choosing T > 0 even smaller, if necessary, there exists κ0 > 0 such that for any
κ ∈ (0, κ20 ), we have the injectivity of ηκ (t) on Ω for any t ∈ [0, T ]; furthermore, ∇ηκ satisfies
the condition (3.1) with ηκ replacing η. We let nκ (ηκ (x)) denote the exterior unit normal
to ηκ (Ω) at ηκ (x) with x ∈ Γ.
Our notational convention will be as follows: if we choose v̄ ∈ CT , then η̄ is the flow map
coming from (1.3a), and ā is the associated pull-back, ā = [∇η̄]−1 . Thus, a bar over the
velocity field, will imply a bar over the Lagrangian variable and the associated pull-back.
For a given vκ , our notation is as follows:
Z t
ηκ (t) = Id + vκ and ηκ (0) = Id ,
0
aκ = Cof ∇ηκ , Jκ = det ∇ηκ , gκ αβ = ∂α ηκ · ∂β ηκ .
12 D. COUTAND AND S. SHKOLLER
We take T (which a priori depends on κ) even smaller if necessary to ensure that for
t ∈ [0, T ],
p −1 √ −1
g(t) ≤ 2 g0 , (3.3a)
p −1 √ −1
gκ (t) ≤ 2 g0 , (3.3b)
1 3
≤ Jκ (t) ≤ . (3.3c)
2 2
Lemma 3.1. For v ∈ CT , and for any s ≥ 0, we have independently of the choice of v ∈ CT
that
C C
|vκ |s ≤ [ + 1]|v|13 ≤ [ s−13 + 1][2ku0 k13.5 + 1], (3.4)
κs−13 κ
where we have used the definition of CT for the second inequality.
Recall that {θi }K i=1 is our open cover of Γ. Given v̄ ∈ CT , we define the matrix b̄κ =
l
−1
[∇(η̄κ ◦ θl )] , and assume that T > 0 is sufficiently small so that independently of v̄ ∈ CT ,
we have the following determinant-type condition for b̄lκ :
3
1 X
≤ (b̄lκ )33 [(b̄lκ )3i ]2 , in (0, 1)3 . (3.5)
2 i=1
P3
Such a condition is indeed possible since at time t = 0 we have (b̄lκ )33 l 3 2
i=1 [(b̄κ )i ] = 1+
ψl ,21 +ψl ,22 .
We can now define our sequence of smoothed κ-problems. For our artificial viscosity
parameter κ ∈ (0, κ20 ), let (v, q) be the solution of
Z t
η = Id + v in Ω × (0, T ] , (4.1a)
0
∂t v + Jκ−1 aκ ∇q = 0 in Ω × (0, T ] , (4.1b)
Tr(aκ ∇v) = 0 in Ω × (0, T ] , (4.1c)
√
g
−σ √ ∆g (η) · nk (ηκ ) nk (ηκ ) − κ∆0 [v · nκ (ηκ )]nκ (ηκ ) = q nκ (ηκ ) on Γ × (0, T ] , (4.1d)
gκ
(η, v) = (Id, u0 ) on Ω × {t = 0} ,
(4.1e)
(aκ )T N √ √ √
where nκ (ηκ ) = |(a T
κ) N |
, and ∆0 = gκ −1 ∂α [ g0 g0αβ ∂β ]. Note that on Γ, gκ = |aTκ N |,
and that (gκ )αβ = ηκ ,α ·ηκ ,β .
In order to obtain solutions to the sequence of approximate κ-problems (4.1), we study
a linear problem whose fixed-point will provide the desired solutions. If we denote by v̄
an arbitrary element of CT , and η̄κ , āκ , and J¯κ are the associated smoothed Lagrangian
variables given by Definition 2.2, then we define w to be the solution of
∂t w + J¯κ−1 āκ ∇q = 0 in Ω × (0, T ] , (4.2a)
Tr(āκ ∇w) = 0 in Ω × (0, T ] , (4.2b)
√
ḡ
−σ √ [∆ḡ (η̄) · n̄κ (η̄κ )] n̄κ (η̄κ ) − κ∆0̄ [w · n̄κ (η̄κ )] n̄κ (η̄κ ) = q n̄κ (η̄κ ) on Γ × (0, T ] , (4.2c)
ḡκ
(η, w) = (Id, u0 ) on Ω × {t = 0} ,
(4.2d)
√ −1 √
where ḡαβ = η̄,α ·η̄,β , and ∆0̄ = ḡκ ∂α [ g0 g0αβ ∂β ].
For a solution w to (4.2), a fixed point of the map v̄ 7→ w provides a solution of our
smoothed problem (4.1).
In the following sections, we assume that v̄ ∈ CT is given, and κ is in (0, κ20 ). Until
Section 10, wherein we study the asymptotic behavior of the problem (4.1) as κ → 0, the
parameter κ is fixed.
X l
and taking the approximation at rank l ≥ 2 under the form wl (t, x) = yk (t) ek (x) ,
k=1
satisfying on [0, T ], the system of ordinary differential equations
(i) (J¯κ wl t , φ)0 + κ[wl · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]1 − σ[Lḡ η̄ · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]0
− ((āκ )ji ql , φi ,j )0 = 0, ∀φ ∈ span(e1 , ..., el ) ,
(ii) wl (0) = (u0 )l , in Ω ,
√ 1
ḡ
where Lḡ = √ ∆ḡ ,
g0 ql = − (āκ )ji wli ,j , and (u0 )l denotes the L2 (Ω) projection of u0 on
ǫ
span(e1 , ..., el ), we see that the Cauchy-Lipschitz theorem gives us the local well-posedness
for wl on some [0, Tmax ]. The use of the test function wl in this system of ODEs (which is
allowed as it belongs to span(e1 , ..., el )) gives us in turn the energy law for any t ∈ (0, Tmax ),
Z t Z t
1 ¯21
kJκ wl (t)k20 + κ [wl · n̄κ (η̄κ ), wl · n̄κ (η̄κ )]1 + ǫ kql k20
2 0 0
1 t ¯
Z t
1
Z
2
− ((Jκ )t wl , wl )0 = k(u0 )l k0 + σ [Lḡ η̄ · n̄κ (η̄κ ), wl · n̄κ (η̄κ )]0 ,
2 0 2 0
which, with the control of η̄ κ provided by the definition of CT , gives the bound
Z t Z t
1
kwl (t)k20 + Cκ |wl · n̄κ (η̄κ )|21 + ǫ kql k20 ≤ CN (u0 ). (6.2)
4 0 0
6.2. Step 2. Weak solution wǫ of the penalized problem. We then infer from (6.2)
that wl is defined on [0, T ], and that there is a subsequence (still denoted with the subscript
l) satisfying
wl ⇀ wǫ in L2 (0, T ; L2(Ω)), (6.3a)
ql ⇀ qǫ in L2 (0, T ; L2(Ω)) , (6.3b)
where
1
qǫ = − (āκ )ji wǫ ,ij . (6.4)
ǫ
We can also rewrite (6.3) as
wl ⇀ wǫ in L2 (0, T ; L2(Ω)), (6.5a)
div(wl ◦ η̄κ−1 )(η̄κ ) ⇀ div(wǫ ◦ η̄κ−1 )(η̄κ ) 2 2
in L (0, T ; L (Ω)) , (6.5b)
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 15
which with the bound (6.2) and the definition of the normal n̄κ provides
where pǫ ◦ η̄κ = qǫ in Ω. Since ∇pǫ (η̄κ ) ∈ L2 (0, T ; H −1 (Ω)), this equality is true in
L2 (0, T ; H −1 (Ω)) as well.
with
B(ūκ , uǫ ) = −(ūiκ ,2 uǫ3 ,i −ūiκ ,3 uǫ2 ,i , ūiκ ,3 uǫ1 ,i −ūiκ ,1 uǫ3 ,i , ūiκ ,1 uǫ2 ,i −ūiκ ,2 uǫ1 ,i ).
Remark 6. Note well that our approximated and penalized κ-problem preserves the structure
of the original Euler equations as can be seen by (6.8). As a result, (6.9) contains only first-
order derivatives of the velocity.
Our next task is to prove that wǫ in L2 (0, T ; H 1 (Ω)). For suppose that this was the case;
then, (6.9) together with bounds on the divergence of wǫ and wǫ · N on Γ, provide bounds
for wǫ in L2 (0, T ; H 1 (Ω)) (by the Hodge elliptic estimate (5.1)) which are independent of
ǫ > 0.
We proceed by showing that appropriately convolved velocity fields are bounded inde-
pendently of the parameter of convolution in L2 (0, T ; H 1 (Ω)). This is the first instance that
our horizontal convolution by layers is crucially required.
6.3.1. For any subdomain ω ⊂⊂ Ω, wǫ ∈ L2 (0, T ; H 1(ω)). We analyze the third component
of (6.9), the other components being treated similarly. This leads us to the following equality
in L2 (0, T ; H −1 (Ω)):
Z t
(āκ )j2 wǫ ,1j −(āκ )j1 wǫ ,2j = − curl u30 + [ −v̄,ij (āκ )j2 wǫ ,1l (āκ )li + v̄,ij (āκ )j1 wǫ ,2l (āκ )li ].
0
Our goal is to prove that wǫ ∈ H 1 (Ω). To proceed, we let σp denote a standard sequence
of Friederich’s mollifier in R3 with support B(0, 1/p), and establish that σp ⋆ wǫ is bounded
16 D. COUTAND AND S. SHKOLLER
in H 1 (ω) for any ω ⊂⊂ Ω. For this purpose, we choose ψ ∈ D(Ω), and find that
(āκ )j2 (ψwǫ ),1j −(āκ )j1 (ψwǫ ),2j = − ψ curl u30 + (āκ )j2 ψ,j wǫ 1 − (āκ )j1 ψ,j wǫ 2
Z t
+ [ −v̄,ij (āκ )j2 (ψwǫ ),1l (āκ )li + v̄,ij (āκ )j1 (ψwǫ ),2l (āκ )li ]
0
Z t
− [ −v̄,ij (āκ )j2 ψ,l wǫ 1 (āκ )li + v̄,ij (āκ )j1 ψ,l wǫ 2 (āκ )li ].
0
(6.10)
In order to proceed, we shall need to identify curl-type structures (in Lagrangian vari-
1
ables) for σp ⋆ wǫ ; this requires the following: for ≤ dist(suppψ, Ωc ), and f ∈ C ∞ (Ω), we
p
have the equality in H −1 (Ω)
Z
σp ⋆ [f (ψwǫ ),j ] − f σp ⋆ [(ψwǫ ),j ] = (σp ),j (x − y)(f (y) − f (x))ψwǫ (y)dy
R3
Z
− σp (x − y)f,j (y)ψwǫ (y)dy ,
R3
2
showing that σp ⋆ [f (ψwǫ ),j ] − f σp ⋆ [(ψwǫ ),j ] ∈ L (Ω), with
σp ⋆ [f (ψwǫ ),j ] − f σp ⋆ [(ψwǫ ),j ]
≤ C[ kσ,j k0,R3 + kσk0,R3 ]k∇f kL∞ (Ω) kwǫ k0 . (6.11)
0
We thus infer from (6.10) and (6.11) that the vorticity structure satisfies
Z t
(āκ )j2 σp ⋆ (ψwǫ ),1j −(āκ )j1 σp ⋆ (ψwǫ ),2j = [ −v̄,ij (āκ )j2 σp ⋆ (ψwǫ ),1l (āκ )li
0
+ v̄,ij (āκ )j1 σp ⋆ (ψwǫ ),2l (āκ )li ] + R1 , (6.12)
with kR1 kL2 (0,T ;L2 (Ω)) ≤ N (u0 ), where N (u0 ) is defined in (6.1). Next, we infer from (6.5)
and (6.11) that the divergence structure satisfies
(āκ )ji σp ⋆ (ψwǫ ),ij = R2 , (6.13)
with kR2 kL2 (0,T ;L2 (Ω)) ≤ N (u0 ). Since we also have ψwǫ = 0 on Γ, so that with (5.1), we
have a.e. in (0, T )
Z t
kσp ⋆ (ψwǫ )(t)k1 ≤ kR1 (t)k0 + kR2 (t)k0 + N (u0 ) kσp ⋆ (ψwǫ )k1 ,
0
and thus
Z T
kσp ⋆ (ψwǫ )k21 ≤ N (u0 ). (6.14)
0
Since this inequality does not depend on p, this implies that ψwǫ ∈ L2 (0, T ; H 1(Ω)), and
therefore wǫ ∈ L2 (0, T ; H 1(ω)), with an estimate depending a priori on ω ⊂⊂ Ω.
6.3.2. The horizontal convolved-by-layers velocity fields are in L2 (0, T ; H 1 (Ω)).
Fix l ∈ {1, ..., K}, and set
W (l) = wǫ ◦ θl and b̄lκ = [∇(η̄κ ◦ θl )]−1 .
Hence, in (0, 1)2 × ( p1 , 1) for p > 1, the Lagrangian “divergence-free” constraint is given by
(b̄lκ )ji (αl W (l)),ij = −(b̄lκ )ji αl ,j W (l)i − αl ǫ qǫ (θl ) , (6.15)
where the crucial observation is that the right-hand side of (6.15) is in L2 (0, T ; L2([0, 1]3 )).
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 17
1
Now for ≤ dist(suppαl , ∂(0, 1) × (0, 1)2 ), and f smooth in [0, 1]3 , we have by Lemma
m
2.1 that for β = 1, 2, ρm ⋆h [f (αl W (l)),β ] − f ρm ⋆h [(αl W (l)),β ] ∈ L2 ((0, 1)2 ), with the
1
estimate a.e in ( , 1):
p
ρm ⋆h [f (αl W (l)),β ] − f ρm ⋆h [(αl W (l)),β ] 2 0,(0,1) ×{y}
≤ Cρ |∇f |L∞ ((0,1)2 ×{y}) |W (l)|0,(0,1)2 ×{y} .
This leads to
ρm ⋆h [f (αl W (l)),β ] − f ρm ⋆h [(αl W (l)),β ]
0,(0,1)3
≤ Cρ k∇f kL∞ ((0,1)3 ) kW (l)k0,(0,1)3 . (6.16)
Now, for the case of the vertical derivative, we will need to express W (l),3 in terms of W (l),1 ,
W (l),2 , curlη̄κ ◦θl W (l) and divη̄κ ◦θl W (l), where
divη̄κ ◦θl W (l) = (b̄lκ )ji W (l),ij ,
curl1η̄κ ◦θl W (l) = (b̄lκ )i2 W (l),3i −(b̄lκ )i3 W (l),2i ,
curl2η̄κ ◦θl W (l) = (b̄lκ )i3 W (l),1i −(b̄lκ )i1 W (l),3i ,
curl3η̄κ ◦θl W (l) = (b̄lκ )i1 W (l),2i −(b̄lκ )i2 W (l),1i .
Notice that the first three lines above can be written as the following vector field:
3
X
(divη̄κ ◦θl W (l), curl1η̄κ ◦θl W (l), curl2η̄κ ◦θl W (l)) = Miκ W (l),i ,
i=1
where the Miκ are smooth matrix fields depending on b̄lκ . From condition (3.5), since
3
X 1
det M3κ = (b̄lκ )33 [(b̄lκ )3i ]2 ≥ ,
i=1
2
we see that M3κ is invertible on [0, T ] (regardless of the choice of v̄ ∈ CT ). Therefore,
2
X
W (l),3 = divη̄κ ◦θl W (l) V κ + M κ curlη̄κ ◦θl W (l) + Aκi W (l),i , (6.17)
i=1
where M κ and the Aκi are smooth matrix fields depending on b̄lκ , and V κ is a vector field
depending on b̄lκ . From (6.10), we have that
3 Z t
X
curlη̄κ ◦θl W (l) = curl u0 (θl ) + Niκ W (l),i .
i=1 0
where Pβκ ,
β = 1, 2, are smooth matrix fields depending on b̄lκ . Therefore,
Z t
κ κ
curlη̄κ ◦θl W (l) = A curl u0 (θl ) + A (Bβκ W (l),β , + divη̄κ ◦θl W (l)) (6.18)
0
18 D. COUTAND AND S. SHKOLLER
where Aκ and Bβκ , β = 1, 2, are smooth matrix fields depending on b̄lκ . With (6.16) and
(6.18), we infer in a similar way as for (6.13) that on (0, 1)2 × ( p1 , 1) we have
2 Z
X t
κ
curlη̄κ ◦θl ρm ⋆h [αl W (l)] = A Bβκ ρm ⋆h [αl ◦ θl W (l)],β +R3 , (6.19)
β=1 0
with kR3 kL2 (0,T ;L2 ((0,1)3 )) ≤ N (u0 ). Therefore, with (6.17) and (6.18), we have that
X2 Z t 2
X
κ κ
[αl (θl )W (l)],3 = M A Bβκ [αl (θl )W (l)],β + Aκβ [αl (θl )W (l)],β +R4 , (6.20)
β=1 0 β=1
with kR4 kL2 (0,T ;L2 ((0,1)3 )) ≤ N (u0 ). Thus, for any test function ϕ ∈ H 1 ((0, 1)3 ),
Z Z Z
αl (θl )W (l) · ϕ = [αl (θl )W (l)],3 ·ϕ + αl (θl )W (l) · ϕ,3 .
1
(0,1)2 × p (0,1)2 ×( p1 ,0) 1
(0,1)2 ×( p ,0)
implying (independently of p > 1) the following trace estimate for W (l) (not just its normal
component):
Z T
|αl (θl ) W (l)|2− 1 ,(0,1)2 × 1 ≤ N (u0 ). (6.21)
2 p
0
Similarly as (6.19), we also have the divergence relation
2 Z t
X
κ
divη̄κ ◦θl ρm ⋆h [αl W (l)] = C Dβκ ρm ⋆h [αl ◦ θl W (l)],β +R5 , (6.22)
β=1 0
with kR5 kL2 (0,T ;L2 ((0,1)3 )) ≤ N (u0 ), and C κ and Dβκ , β = 1, 2, are smooth matrix fields in
terms of b̄lκ . From (6.19) and (6.22), we then infer, just as in (6.14), that
Z T Z T
kρm ⋆h [αl W (l)] ◦ (η̄κ ◦ θl )−1 k21,Ωlp ≤ N (u0 ) + |ρm ⋆h [αl W (l)] ◦ (η̄κ ◦ θl )−1 · n̄κ |21 ,∂Ωl ,
2 p
0 0
1
for any 0 < ≤ dist(suppαl (θl ), ∂(0, 1)2 × (0, 1)). Since this estimate holds for any p > 1,
m
we then infer that
Z T
1
kρm ⋆h [αl (θl )W (l)]k21,(0,1)3 ≤ N (u0 ), (6.23)
m2 0
1
for any 0 < ≤ dist(suppαl (θl ), ∂(0, 1)2 × (0, 1)). Therefore, ρm ⋆h [αl (θl )W (l)] ∈
m
H 1 ((0, 1)3 ) (which was not a priori known since our convolution smooths only in the hori-
zontal directions), with a bound depending a priori on m.
where we have used the definition of CT to bound kn̄κ (η̄κ )kH 3 (Ω) . Next, we have for β = 1, 2
that
Z
f,β (x) = ρm ,β (xH − yH )αl (θl )W (l)(yH , x3 ) · [n̄κ (η̄κ ◦ θl )(xH , x3 ) − n̄κ (η̄κ ◦ θl )(yH , x3 )]dyH
R2
Z
+ ρm (xH − yH )αl (θl )W (l)(yH , x3 )dy · n̄κ (η̄κ ◦ θl ),β (x),
R2
showing that
3
C X
kf,β k0,(0,1)3 ≤ kn̄κ (η̄κ )kH 3 (Ω) k |ρm ,β | ⋆h αl (θl )|W (l)i |k0,(0,1)3
m i=1
3
X
+ kn̄κ (η̄κ )kH 3 (Ω) kρm ⋆h αl (θl )|W (l)i |k0,(0,1)3
i=1
3
X
≤ Ckn̄κ (η̄κ )kH 3 (Ω) k|(ρ,β )m | ⋆h αl (θl )|W (l)i |k0,(0,1)3
i=1
3
X
+ kn̄κ (η̄κ )kH 3 (Ω) kρm ⋆h αl (θl )|W (l)i |k0,(0,1)3
i=1
3
X 3
X
≤C k|(ρ,β )m | ⋆h αl (θl )|W (l)i |k0,(0,1)3 + C kρm ⋆h αl (θl )|W (l)i |k0,(0,1)3
i=1 i=1
≤ Ckαl (θl )W (l)k0,(0,1)3 ≤ N (u0 ). (6.27)
Next, for the vertical derivative,
Z
(xH ,x3 )
f,3 (x) = ρm (xH − yH )[αl (θl )W (l)],3 (yH , x3 ) · [n̄κ (η̄κ ◦ θl )](yH ,x3 ) dyH
R 2
Z
(xH ,x3 )
+ ρm (xH − yH )[αl (θl )W (l)](yH , x3 ) · [n̄κ (η̄κ ◦ θl ),3 ](yH ,x3 ) dyH ,
R2
H(x ,x ) 3
,x3 ) = [·](xH , x3 ) − [·](yH , x3 ). Notice that for a smooth matrix field A in (0, 1)
3
where [·](yH
and for β = 1, 2,
Z
(xH ,x3 )
G(x) = ρm (xH − yH )A(yh , x3 )[αl (θl )W (l)],β (yH , x3 ) · [n̄κ (η̄κ ◦ θl )](yH ,x3 ) dyH ,
R2
satisfies
Z
(xH ,x3 )
G(x) = − m (ρ,β )m (xH − yH )A(yh , x3 )[αl (θl )W (l)](yH , x3 ) · [n̄κ (η̄κ ◦ θl )](yH ,x3 ) dyH
R2
Z
(xH ,x3 )
− ρm (xH − yH )A,β (yh , x3 )[αl (θl )W (l)](yH , x3 ) · [n̄κ (η̄κ ◦ θl )](yH ,x3 ) dyH
2
ZR
(xH ,x3 )
− ρm (xH − yH )A(yh , x3 )[αl (θl )W (l)](yH , x3 ) · [n̄κ (η̄κ ◦ θl ),β ](yH ,x3 ) dyH ,
R2
showing, just as for (6.27), that kGk0,(0,1)3 ≤ N (u0 ). Therefore, with (6.20), we see that the
first integral term appearing in the expression of f,3 is bounded in a similar way, implying
that
kf,3 k0,(0,1)3 ≤ N (u0 ). (6.28)
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 21
of this equation in L2 (0, T ; H01 (Ω)). We now establish that this uniqueness provides extra
regularity for ψ̄ ǫ . By defining the mapping Θ from L2 (0, T ; H 2 (Ω) ∩ H01 (Ω)) into itself by
associating to any ξ in this space, the solution Θξ (for almost all t ∈ [0, T ]) of
Z t
−(āκ )ki ((āκ )ji Θξ,j ),k = fτ − Aκij ξ,ij ,
0
we see that for t1 small enough (depending on Sobolev constants and on kūκ kL∞ (0,T ;H 3 (Ω)) )
Θ is contractive from L2 (0, t1 ; H 2 (Ω) ∩ H01 (Ω)) into itself, which provides a fixed-point for
Θ in this space. It is thus a solution of (6.32) on [0, t1 ]. By uniqueness of such a solution,
we have that ψ̄ ǫ ∈ L2 (0, t1 ; H 2 (Ω)) and thus that wǫ ∈ L2 (0, t1 ; H 1 (Ω)). By defining a
t1
mapping similar to Θ, but this time starting from t2 ∈ [ , t1 ] such that wǫ (t2 ) ∈ H 1 (Ω)
2
instead of u0 (which ensures that the new fτ is still in L2 (0, t2 ; L2 (Ω))), we obtain the same
3
conclusion on [t2 , t2 + t1 ], leading us to wǫ ∈ L2 (0, t1 ; H 1 (Ω)). By induction, we then find
2
wǫ ∈ L2 (0, T ; H 1 (Ω)).
22 D. COUTAND AND S. SHKOLLER
Remark 8. Whereas Hodge decompositions with vector potentials ψ are possible in higher
dimension, it turns out that a Dirichlet condition ψ = 0 for the associated elliptic problem
is not possible. This in turn is problematic for any uniqueness argument in L2 (0, T ; H 1 (Ω))
for ψ, since it does not seem possible to find a boundary condition that would be naturally
associated to the second order operators appearing on both sides of the three-dimensional
analogous of (6.32).
We then see that φi (l) = (āκ )ji ψ(l),j satisfies the statement of the lemma. The inequality
(7.1) is a simple consequence of the properties of l and of the condition v̄ ∈ CT .
1 3
We can now follow [18]. For p ∈ H 2 (Ω)′ , define the linear functional on H 2 (Ω) by
hp, (āκ )ji (t)ϕi ,j i 12 , where ϕ ∈ H 2 (Ω). By the Riesz representation theorem, there is a
3
1 3
bounded linear operator Q(t) : (H 2 (Ω))′ → H 2 (Ω) such that
3
∀ϕ ∈ H 2 (Ω), hp, (āκ )ji (t)ϕi ,j i 12 = (Q(t)p, ϕ) 32 .
Letting ϕ = Q(t)p shows that
kQ(t)pk 23 ≤ Ckpk 1 (7.3)
H 2 (Ω)′
which shows that R(Q(t)) is closed in H 2 (Ω). Let Vv̄ (t) = {v ∈ L2 (Ω) | (āκ )ji (t)v i ,j (t) = 0}.
3
3
Since Vv̄ (t) ∩ H 2 (Ω) = R(Q(t))⊥ , it follows that
3 3
H 2 (Ω) = R(Q(t)) ⊕ 3 Vv̄ (t) ∩ H 2 (Ω). (7.5)
H 2 (Ω)
Moreover, there is a C > 0 (which does not depend on t ∈ [0, T ] and on the choice of v̄ ∈ CT )
such that
kq(t)k 12 ′ ≤ C kL(t)k 32 ′ .
H (Ω) H (Ω)
3
Proof. By the decomposition (7.5), for ϕ ∈ H 2 (Ω, R3 ), we let ϕ = v1 + v2 , where v1 ∈
3
Vv̄ (t) ∩ H 2 (Ω) and v2 ∈ R(Q(t)). From our assumption, it follows that
L(t)(ϕ) = L(t)(v2 ) = (ψ(t), v2 ) 3 = (ψ(t), ϕ) 3 ,
H 2 (Ω) H 2 (Ω)
Proof. Let ψ(l) be the solution of (7.2). Since ψ is linear and continuous from H 1 (Ω)′ into
H 1 (Ω) and from L2 (Ω) into H 2 (Ω), by interpolation, we have that ψ is linear and continuous
from H 2 (Ω)′ into H 2 (Ω). We then see that φi (l) = (āκ )ji ψ(l),j satisfies the statement of
1 3
the lemma.
For p ∈ H 2 (Ω), we define the linear functional on X(t) by h(āκ )ji (t)ϕi ,j , pi 12 , where
1
ϕ ∈ X(t) = {ψ ∈ H 2 (Ω)| (āκ )ji ψ i ,j ∈ H 2 (Ω)′ }. By the Riesz representation theorem, there
1 1
1
is a bounded linear operator Q(t) : H 2 (Ω) → X(t) such that
∀ϕ ∈ X(t), h(āκ )ji (t)ϕi ,j , pi 12 = (Q(t)p, ϕ)X(t) .
Letting ϕ = Q(t)p shows that
kQ(t)pkX(t) ≤ Ckpk 1 (7.7)
H 2 (Ω)
which shows that R(Q(t)) is closed in X(t). Since Vv̄ (t) ∩ X(t) = R(Q(t))⊥ , it follows that
X(t) = R(Q(t)) ⊕X(t) Vv̄ (t) ∩ X(t). (7.9)
Our second Lagrange multiplier lemma can now be stated.
1
Lemma 7.4. Let L(t) ∈ X(t)′ be such that L(t)ϕ = 0 for any ϕ ∈ Vv̄ (t) ∩ H 2 (Ω). Then
1
there exists a unique q(t) ∈ H 2 (Ω), which is termed the pressure function, satisfying
∀ϕ ∈ X(t), L(t)(ϕ) = h(āκ )ji ϕi ,j , q(t)i 12 .
24 D. COUTAND AND S. SHKOLLER
Moreover, there is a C > 0 (which does not depend on t ∈ [0, T ] and on the choice of v̄ ∈ CT )
such that
kq(t)k 21 ≤ C kL(t)kX(t)′ .
H (Ω)
Proof. By the decomposition (7.9), for ϕ ∈ X(t), we let ϕ = v1 + v2 , where v1 ∈ Vv̄ (t) ∩
1
H 2 (Ω) and v2 ∈ R(Q(t)). From our assumption, it follows that
L(t)(ϕ) = L(t)(v2 ) = (ψ(t), v2 )X(t) = (ψ(t), ϕ)X(t) ,
for a unique ψ(t) ∈ R(Q(t)).
1
From the definition of Q(t) we then get the existence of a unique q(t) ∈ H 2 (Ω) such that
∀ϕ ∈ X(t), L(t)(ϕ) = h(āκ )ji ϕi ,j , q(t)i 12 .
The estimate stated in the lemma is then a simple consequence of (7.8).
The justification for w · n̄κ (η̄κ ) being the third weak limit in (8.1) comes from the identity
(āκ )ji wǫ i ,j = div(wǫ ◦ η̄κ−1 )(η̄κ ) and the fact that n̄κ is the normal to η̄κ (Ω).
Moreover, since (6.2) also shows that k(āκ )ji wi1 ,j kL2 (0,T ;L2 (Ω)) → 0 as m → ∞, we then
m
Now, let us denote u = w ◦ η̄κ−1 , so that thanks to (8.2) and (6.9) we have
div u = 0 in η̄κ (Ω) , (8.3a)
Z t
curl u(η̄κ ) = curl u0 + B(∇ūκ , ∇u) in H −1 (Ω). (8.3b)
0
By proceeding as in Step 3 of Section 6, the trace regularity (u · n̄κ )(η̄κ ) ∈ L2 (0, T ; H 1 (Γ))
and the system (8.3) then yield
kwk 3 ≤ N (u0 ),
L2 (0,T ;H 2 (Ω))
if we let ei = J¯κ−1 (āκ )ki ϕ,k , and set v = y−e, we have that e and v are both in L2 (0, T ; H 2 (Ω)),
3
with
Z T Z T
[kek23 + kvk23 ] ≤C kyk23 ,
2 2 2
0 0
(āκ )ji v i ,j =0.
Since (āκ )ji wi ,j = 0 in L2 (0, T ; L2(Ω)), we infer that (āκ )ji wti ,j = −[(āκ )ji ]t wi ,j ∈ L2 (0, T ; H 2 (Ω)),
1
and that
hJ¯κ wt , ei 3 = ([(āκ )j ]t wi ,j , ϕ)0 .
2 i
leading to
Z T Z T Z T
lim hJ¯κ wǫt , yi 32 = ([(āκ )ji ]t wi ,j , ϕ)0 + σ [Lḡ η · n̄κ (η̄κ ), v · n̄κ (η̄κ )]0
ǫ→0 0 0 0
Z T
−κ [w · n̄κ (η̄κ ), v · n̄κ (η̄κ )]1 .
0
equation
Z T Z T Z T
¯
hJκ wt , φi 32 + κ [w · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]1 = σ [Lḡ η · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]0 .
0 0 0
26 D. COUTAND AND S. SHKOLLER
3
Next, since wt ∈ L2 (0, T ; H 2 (Ω)′ ), the Lagrange multiplier lemma 7.2 shows that there
1 3
exists q ∈ L2 (0, T ; H 2 (Ω)′ ) such that for any φ ∈ L2 (0, T ; H 2 (Ω)),
Z T Z T
hJ¯κ wt , φi 32 + κ [w · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]1
0 0
Z T Z T
− hq, (āκ )ji φi ,j i 12 = σ [Lḡ η · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]0 . (8.5)
0 0
3
Now, if we have another solution w̃ ∈ L2 (0, T ; H 2 (Ω)) such that w̃(0) = u0 and w̃t ∈
3
L2 (0, T ; H 2 (Ω)′ ), we then see, by using w − w̃ as a test function in the difference between
(8.5) and its counterpart with w̃, that we get w − w̃ = 0, ensuring uniqueness to the weak
solution of (4.2).
Step 3. Regularity of w. We can now study the regularity of w via difference quotient
techniques. We will denote R3+ = {x ∈ R3 | x3 > 0}, S0 = B(0, 1) ∩ {x ∈ R3 | x3 = 0}
and B+ (0, r) = B(0, r) ∩ R3+ . We denote by θ a C ∞ diffeomorphism from B(0, 1) into a
neighborhood V of a point x0 ∈ Γ such that θ(B(0, 1) ∩ R3+ ) = V ∩ Ω, with det ∇θ = 1. We
1
consider the smooth cut-off function ψ(x) = e |x| − 2 if x ∈ B(0, 12 ), and ψ(x) = 0 elsewhere,
2 1
3
and with the use of the test function [D−h [ψDh (w ◦ θ)]] ◦ θ−1 ∈ L2 (0, T ; H 2 (Ω)) in (8.5),
with h = |h|eα (α = 1, 2), we obtain:
Z T
I1 + κI2 + I3 = σ [Lḡ η · n̄κ (η̄κ ), [D−h [ψDh (w ◦ θ)]] ◦ θ−1 · n̄κ (η̄κ )]0 ,
0
with
Z T
I1 = hJ¯κ wt , [D−h [ψDh (w ◦ θ)]] ◦ θ−1 i 32 ,
0
Z T
I2 = [∂(w · n̄κ (η̄κ )), ∂([D−h [ψDh (w ◦ θ)]] ◦ θ−1 · n̄κ (η̄κ ))]0 ,
0
Z T
I3 = − hq, (āκ )ji [D−h [ψDh (w ◦ θ),ij ]] ◦ θ−1 i 12 .
0
where we have used (8.4) for the last inequality, and where the choice of δ > 0 will be made
precise later.
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 27
Concerning I3 , we have
Z T
I3 = − hq, (b̄κ )ji [D−h [ψDh (W )]i ,j ◦θ−1 ]i 12 ,
0
(b̄κ )ji D−h Dh W i ,j = − D−h Dh (b̄κ )ji W i ,j −Dh [(b̄κ )ji ](· − h)D−h W i ,j
− D−h [(b̄κ )ji (· + h)]Dh W i ,j ,
and thus
T
Dh ψ p
Z
|I3 | ≤ C kqk 1 [ kψDh W i ,j k 21 ,B+ (0,1) + k √ ψDh W i ,j k 21 ,B+ (0,1)
H 2 (Ω)′ ψ
0
p
+ k ψDh W k 23 ,B+ (0,1) ]
Z T p
≤ Cδ N (u0 ) + δ | ψDh W i ,j |21 ,B+ (0,1) , (8.9)
2
0
28 D. COUTAND AND S. SHKOLLER
where δ > 0 is arbitrary. Now, let Θ be a smooth domain included in B+ (0, 1) and containing
B+ (0, 21 ). The inequalities (8.6), (8.8) and (8.9) yield
Z T p Z T p
κ 2
| ψDh W · N |1,∂Θ ≤ Cκ N (u0 ) + δ k ψDh W k23 ,Θ . (8.10)
2
0 0
and thus
1 ψ,j
divη̄κ ◦θ ( ψDh W ) = − ψDh (b̄κ )ji W i ,j (· + h) + √ (b̄κ )ji Dh W i ,
p p
(8.11a)
2 ψ
p Z t p
[curlη̄κ ◦θ ( ψDh W )](t) = R(W ) + B(∇ūκ (η̄κ ◦ θ), ∇[ ψDh W ][∇(η̄κ ◦ θ)]−1 ), (8.11b)
0
with
Z T
kR(W )k21 ,Θ ≤ CN (u0 ).
2
0
3
With the trace estimate (8.10) and the control of W in L2 (0, T ; H 2 (Θ)), we can then infer
as we did in Step 3 of Section 6 that
Z T p Z T p
2
k ψDh W k 3 ,Θ ≤ Cκ N (u0 ) + Cκ δ k ψDh W k23 ,Θ ,
2 2
0 0
yielding
Z T p
| ψDh W |21,∂Θ ≤ Cκ N (u0 ).
0
Since this estimate is independent of h, we get the trace estimate
Z T p
| ψW |22,∂Θ ≤ Cκ N (u0 ),
0
and thus with this trace estimate and the div and curl system (8.11), still with arguments
similar as in Step 2 of Section 6,
Z T p
| ψW |25 ,Θ ≤ Cκ N (u0 ).
2
0
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 29
By patching together all the estimates obtained on each chart defining Ω, we thus deduce
that Z T
kwk25 ≤ Cκ N (u0 ). (8.12)
2
0
1 1 1
Now, for the pressure, we see that for any y ∈ X 2 (t) = {φ ∈ H 2 (Ω)| (āκ )ki (t)φi ,k ∈ H 2 (Ω)′ },
for ϕ a solution of the elliptic problem
1
(āκ )ji [(āκ )ki ϕi ,k ],j = (āκ )ki (t)y i ,k in (H 2 )′ (Ω)
ϕ = 0 on Γ,
3
we have by interpolation that ϕ ∈ H 2 (Ω). If we once again let e = (āκ )ki ϕ,k , and set
1 1
v := y − e, we have that e ∈ H 2 (Ω), v ∈ V (t) = {φ ∈ H 2 (Ω)| (āκ )ki (t)φi ,k = 0}, with
kek 21 + kvk 21 ≤ Ckyk 12 . Now, by proceeding in the same fashion as in Step 2 above, we
X (t)
1
see that thanks to our decomposition and the regularity (8.12), wt ∈ L2 (0, T ; X 2 (t)′ ) with
Z T
kwt k2 1 ′ ≤ N (u0 ).
0 X 2 (t)
The first inequality easily follows by interpolation. For the second one, if f ∈ L2 (Θ) we
notice that for any φ ∈ H 1 (Θ), since the difference quotients are in an horizontal direction,
Z p Z p Z p
ψDh f φ = ψf D−h φ + D−h ψf φ(· − h)
Θ Θ Θ
≤ Ckf k0,Θ kφk1,Θ ,
which shows that there exists C > 0 such that
p
∀f ∈ L2 (Θ), k ψDh f kH 1 (Θ)′ ≤ C kf k0,Θ.
By interpolating with the obvious inequality (for some C > 0)
p
∀f ∈ H 1 (Θ), k ψDh f k0,Θ ≤ C kf k1,Θ,
we then get (8.15).
Now, the pressure solves the elliptic equation
∆p = −(ūκ )i ,j uj ,i in η̄κ (Ω), (8.16a)
p = −[σ∆ḡ η · n̄κ (η̄κ ) n̄κ (η̄κ ) + κ∆0̄ (w · n̄κ (η̄κ )) n̄κ (η̄κ )](η̄κ−1 ) (8.16b)
30 D. COUTAND AND S. SHKOLLER
Using the same change of variables that provides the pressure estimate (18.4), and using
the elliptic estimates for coefficients with Sobolev class regularity as in [9], we find that
Z t Z t
kqk23 ≤ N (u0 , sup |w̄κ |4 , kwk27 ),
2 2
0 [0,t] 0
By Lemma 3.1 (for the smoothing operation given in Definition 2.2 on CT ), we have that
√
kw(t)k13.5 ≤ ku0 k13.5 + t N0 (u0 , Cκ0 ), (8.19)
where we use Cκ0 to denote a fixed (nongeneric) constant which depends on κ.
We thus have the existence of a weakly convergent subsequence (wσ(n) ) in the space L2 (0, Tκ ; H 13.5 (Ω)),
to a limit l ∈ CTκ . By compactness, from our bound on wtn ,
wσ(n) → l in L2 (0, Tκ ; H 12.5 (Ω)).
From the strong convergence of (η̄ n )κ , we then infer from the relations (ānκ ),ij wn ,ij = 0 in
Ω, that
(āκ ),ij l,ij = 0 inΩ. (9.2)
Moreover, we see that
pσ(n) ⇀ p in L2 (0, Tκ ; H 11.5 (Ω)),
with p the solution of
△p = −(ūκ )i ,j lj ,i in η̄κ (Ω),
p = −[σ∆ḡ η · n̄κ (η̄κ ) + κ∆0 (w · n̄κ (η̄κ )](η̄κ−1 ).
From the relations (8.5) for each n, we see from the previous weak and strong convergence
that
Z T Z T
hJ¯κ lt , φi 32 + κ [l · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]1
0 0
Z T Z T
− hq, (āκ )ji φi ,j i 12 = σ [Lḡ η · n̄κ (η̄κ ), φ · n̄κ (η̄κ )]0 , (9.3)
0 0
which together with (9.2), and the fact that l ∈ CTκ implies that l = A(w̄). By uniqueness
of the limit, we then infer that
wn ⇀ w in L2 (0, Tκ ; H 13.5 (Ω)),
By the Tychonoff fixed-point theorem, we then conclude the existence of a fixed-point
w̄ = w in the closed convex set CTκ of the separable Banach space L2Z(0, Tκ ; H 13.5 (Ω)). This
·
fixed-point satisfies the smoothed system (4.1), if we denote η = Id+ w and u = w ◦η κ −1 .
0
It is also readily seen that w, q and their time derivatives have the regularity stated in
Theorem 8.1.
We use Eκ (t) to denote the energy function when the dimension is clear.
We use these energy functions to construct solutions for the Euler equations. The increase
in the derivative count from the 2D case to the 3D case is necessitated by the Sobolev
embedding theorem. We will show that solutions of the κ-problem (4.1) have bounded
energy Eκ (t) for t ∈ [0, T ] when T is taken sufficiently small, and that the bound is, in fact,
independent of κ; as such, we will prove that the limit as κ → 0 of the sequence of solutions
to the κ-problem converges to a solution of the Euler equations.
Our estimates begin with the following
32 D. COUTAND AND S. SHKOLLER
Lemma 10.1 (Divergence and curl estimates). Let n := dim(Ω) = 2 or 3. Letting L1 = curl
and L2 = div, and let η0 := η(0) and
√ √
M0 := P (ku0 k2.5+n , |Γ|4+n , κku0 k1.5+3n , κ|Γ|1+3n )
≤ M0 + C T P ( sup Eκ (t)) .
t∈[0,T ]
Proof. In Eulerian variables, equation (4.1b) is written as uit + ui ,l (uκ )l + p,i = 0, where the
transport velocity is the horizontally smoothed vector uκ . Taking the curl of this equation
and using the formula (curl u)i = ǫijk uk ,j with εijk denoting the permutation symbol, we see
that εijk [∂t uk ,j +uk ,jl ulκ + uk ,l ulκ ,j ] = 0. Thus, defining the bilinear form B i (∇u, ∇uκ ) =
D
ǫijk uk ,l (uκ )l ,j , we can write the vorticity equation as Dt curl u = B(∇u, ∇uκ ). (When
the transport velocity is divergence-free, then B is the familiar vortex-stretching term.)
Composing this equation with ηκ , switching to Lagrangian variables via the chain rule, and
integrating this from 0 to t, we have
Z t
k r
εijk v ,r aκ j = curl u0 + Baκ (τ )dτ, Bai κ := εijk Jκ−2 v k ,r aκ rl (vκ )l ,m aκ m
j . (10.1)
0
This is the time-integrated Lagrangian form of the vorticity equation. We will need to
space-differentiate this equation once more for the estimate on curl η. Hence,
Z t
εijk ∇v k ,r aκ rj = ∇ curl ui0 + εikj v k ,r ∇aκ rj + ∇Baκ (τ )dτ . (10.2)
0
We begin with the estimates for the case that n = 2; we set Eκ (t) = Eκ2D (t) and proceed
with the estimate for curl η. Using that ∇v k ,r aκ rj = ∂t (∇η k ,r aκ rj ) − ∇η k ,r ∂t aκ rj , we see
that
Z t
εijk ∂t (∇η k ,r aκ rj ) = ∇ curl ui0 + εijk ∇η k ,r ∂t aκ rj + εikj v k ,r ∇aκ rj + ∇Baκ (τ )dτ .
0
where
+Jκ−2 v k ,r vκ l ,m (∇aκ rl aκ m r m −2 k l r m
j + aκ l ∇aκ j ) + (∇Jκ ) v ,r vκ ,m aκ l aκ j (10.3)
and
∇aκ m −1 s m m s r
j = Jκ (aκ r aκ j − aκ r aκ j )∇ηκ ,s ,
m −1 s m m s r
∂t aκ j = Jκ (aκ r aκ j − aκ r aκ j )vκ ,s , (10.4)
∇Jκ = aκ rs ∇ηκ r ,s .
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 33
Since kvκ ks ≤ Ckvks (and similarly for ηκ ), we will write (10.3) and (10.4) in the following
way:
where note that we are not distinguishing between ηκ and η or between vκ and v in the
highest-order terms. The point is that the precise structure of these equations is not impor-
tant for our estimates; we need only be careful with the derivative count appearing in these
expressions. The power on each expression is merely to indicate the number of times such
a term appears.
Next, with the fundamental theorem of calculus,
Z t
εijk ∇η k ,r aκ rj = ∇ curl η i + εijk ∇η k ,r ∂t aκ rj ,
0
so that
Z t Z t Z tZ t′
i
∇(curl η −t curl ui0 ) k
= εijk ∇η ,r r
∂t aκ j + k r k r
(∇η ,r ∂t aκ j + v ,r ∇aκ j ) + ∇Baκ .
0 0 0 0
(10.5)
Let
R t R t′ R t R t′ Rt
Since 0 0
F ∇4 v = − 0 0
Ft ∇2 η + 0
Ft ∇4 η,
Z t Z t
∇3 curl η i ∼ t∇3 curl ui0 + ∇4 η F + (∇3 η + ∇2 η) F1
0 0
Z t Z t′ Z t ! Z tZ t′
3 3 4
F1 ∇3 v . (10.6)
+ + F1 (∇ η + ∇ v) + (F + Ft ) ∇ η +
0 0 0 0 0
34 D. COUTAND AND S. SHKOLLER
We use interpolation to compute k∇3 curl ηk0.5 = k curl ηk3.5 . We begin with the highest-
order term:
Z t
Z t
Z t
(F + Ft ) ∇4 η
≤ sup kF + Ft k ∞
η
≤ C sup kF + Ft k
η
L
2
0 0 t∈[0,T ] 0 4 t∈[0,T ] 0 4
Z t
Z t
Z t
(F + Ft ) ∇4 η
≤ sup (kF + Ft kL∞
4
η
+ sup kF + Ft kL4
∇ η
0 1 t∈[0,T ] 0 5 t∈[0,T ] 0 L4
Z t
≤ C sup kF + Ft k2
η
.
t∈[0,T ] 0 5
Since kF + Ft k2 ≤ CkF kL∞ kvt k2.5 , by the interpolation theorem 7.17 in [1],
Z t
Z t
(F + Ft ) ∇4 η
≤ C sup kF k kvt k2.5
≤ C T sup kF k kvt k2.5 kηk4.5
η
0 0.5 t∈[0,T ] 0 4.5 t∈[0,T ]
The other terms have similar estimates in the H 0.5 (Ω)-norm, so that
Z t
2 2
sup k curl ηk3.5 ≤ T ku0k4.5 + t sup k vk23.5 + T sup kvt k2.5 kηk24.5 . (10.7)
t∈[0,T ] t′ ∈[0,t] 0 t∈[0,T ]
By differentiating (10.6) once more in space, the same interpolation estimates show that
Z T
√ √ √
sup k κ curl ηk24.5 ≤ T k κu0 k25.5 + T kvk24.5 + T sup kvt k2.5 k κηk25.5 .
t∈[0,T ] 0 t∈[0,T ]
Again using the properties of the multiplicative algebra, we see that supt∈[0,T ] k curl vt (t)k21.5 ≤
P (ku0 k4.5 ) + C T P (supt∈[0,T ] Eκ (t)). From the time differentiation of (10.9),
Z t
curl vtt ∼ ∇vt F + ∇vtt F
0
Z t Z t
∼ ∇vt (0)P (∇u0 ) + ∇vtt F+ [F ∇vtt + F ∇vt ∇vt ] .‘ (10.10)
0 0
We must estimate the H 0.5 (Ω)-norm of the three terms on the right-hand side of (10.10) by
Rt
using interpolation. Let L denote the linear form given by L(w) = 0 F w. Then
Z t
kL(w)k0 ≤ C0 k wk0 , C0 = sup kF kL∞ .
0 [0,t]
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 35
so that
Z T T
√
√
Z
2
κF (0)[∇vtt (0) + ∇vt (0) ∇vt (0)]
2
k κ curl vttt k0.5 ≤ 0.5
0 0
T Z t
2 T
Z t
2
√ √ √ √
Z
Z
κ∇vttt F
+
[F κ∇vttt + F ∇vt κ∇vtt + F ∇vt ∇vt κ∇vt ]
.
0 0 0.5 0 0 0.5
(10.11)
We repeat the interpolation estimates between L2 (Ω) and H 1 (Ω) just as for the estimates
for curl vtt ; for example,
Z t
Z t
√ √
p p
F κ∇vttt
≤ C0 C1
,
κvttt
0 0.5 0 1.5
The other time-dependent terms in (10.11) have the same bound by the same argument.
The time t = 0 terms require analysis of the elliptic problem for qt (0):
∆qt (0) ∼ i1 := ∇[P (∇u0 ) ∇q(0)] + F ∇vt (0) in Ω ,
qt (0) ∼ b1 := Q(∂η0 )∂ 2 u0 + Q(∂η0 )∂u0 ∂ 2 η0
+ κ∆0 (vt (0) · Nκ ) + κ∆0 (u0 · Q(∂η0 κ )∂u0 κ ) on Γ .
By interpolation estimates (as above),
Z T
√
κF (0)[∇vtt (0) + ∇vt (0) ∇vt (0)]
2 ≤ κT kP (∇u0 )k2L∞ kvtt (0)k21.5 ,
0.5
0
and since time-differentiation of the Euler equations shows that
vtt (0) = −∇u0 ∇q(0) − ∇qt (0),
interpolation provides the estimate
√ √ √ √
κkvtt (0)k1.5 ≤ κk∇2 u0 ∇q(0)k0.5 + κk∇u0 ∇2 q(0)k0.5 + κkqt (0)k2.5
√ √
≤ M0 + κki1 k0.5 + κ|b1 |2
√
≤ M0 + κ|b1 |2
where we have used the elliptic estimate kq(0)k2.5 ≤ M0 (from above) for both the second
and third inequalities. (The remaining estimate for |b1 |2 places the regularity constraints
2
on the polynomial function M0 in √ the hypothesis of the lemma.) Because H (Γ) √ is a multi-
plicative
√ algebra, √the bound for κ|b 1 |2 is controlled by the highest-order terms κ|vt (0)|4
and κ|u0 κ |5 ≤ κCku0 k5.5 . Now,
√ √ √ √
κ|vt (0)|4 ≤ κkq(0)k5.5 ≤ κki0 k3.5 + κ|b0 |5 ,
√
√ by P (ku0 k4.5 ) while the highest-order terms in κ|b0 |5 require bounds
and√ki0 k3.5 is bounded
on κkη0 k7.5 and κku0 k7.5 With our definition of M0 , we see that
κT kP (∇u0 )k2L∞ kvtt (0)k21.5 ≤ M0
RT √ 2
and hence 0 k κ curl vttt k0.5 ≤ M0 + C T P (supt∈[0,T ] Eκ (t)).
RT √
The proof that 0 k κ curl vtt k21.5 ≤ M0 + C T P (supt∈[0,T ] Eκ (t)) is essentially identical.
The divergence estimates begin with the fundamental equation aκ ji v i ,j = 0. By taking
one derivative of this equation and integrating-by-parts in time, we find that
Z t Z t
∇ div η = ∇η i ,j ∂t aκ ji + (∂t aκ ji ∇η i ,j −∇aκ ji v i ,j ) .
0 0
Computing the H 2.5 (Ω)-norm of this equation yields the estimate supt∈[0,T ] k div η(t)k23.5 ≤
√ √
M0 + C T P (supt∈[0,T ] Eκ (t)). The divergence estimates for v, vt , vtt , κvtt , and κvttt
follow the same argument as the corresponding curl estimates.
In the case that n = 3, the estimates are found in the same way, with one minor change.
Set Eκ (t) = Eκ3D (t). The estimates for curl η, which rely on Sobolev embedding, require
greater regularity on vt . The estimate (10.7 becomes
Z t
sup k curl ηk23.5 ≤ T ku0k24.5 + t sup k vk23.5 + T sup kvt k3 kηk24.5 ,
t∈[0,T ] t′ ∈[0,t] 0 t∈[0,T ]
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 37
and similarly,
√ √
Z T √
sup k κ curl ηk24.5 ≤ T k κu0 k25.5 + T kvk24.5 + T sup kvt k3 k κηk25.5 .
t∈[0,T ] 0 t∈[0,T ]
The pressure function q̃ can be formulated to solve either a Dirichlet problem with bound-
ary condition (12.5) or a Neumann problem found by taking the inner-product of the Euler
equations with ãTκ N . We use the latter.
Lemma 12.1 (Pressure estimates). With (ṽ, q̃) a solution of the κ-problem (4.1)
kq̃(t)k23.5 + kq̃t (t)k22.5 + kq̃tt (t)k21 ≤ C P (Eκ (t)) . (12.1)
Proof. Denoting ãκ by A, we define the divergence-form elliptic operator LA and corre-
sponding Neumann boundary operator BA as
LA = ∂j (J˜κ−1 Aj Ali ∂l ) , BA = J˜κ−1 Aj Ali Nj ∂l .
i i
For k = 0, 1, 2, we analyze the Neumann problems
La (∂tk q̃) = fk in Ω Ba (∂tk q̃) = gk on Γ (12.2)
with
f0 = ∂t Aji ṽ i ,j
p
g0 = −ṽt · g̃κ ñκ
f1 = −LAt (q̃) − ∂t2 Aji ṽ i ,j −∂t Aji ṽti ,j
p p
g1 = BAt (q̃) − ṽt · ( g̃κ ñκ )t − ṽtt · g̃κ ñκ
f2 = −2LAt (q̃t ) − LAtt (q̃) − ∂t3 Aji ṽ i ,j
p
g2 = 2BAt (q̃t ) + BAtt (q̃) − ṽttt · g̃κ ñκ
− 2∂t2 Aji ṽti ,j −∂t Aji ṽtt
i
p p
,j − 2ṽtt · ( g̃κ ñκ )t − ṽt · ( g̃κ ñκ )tt .
For s ≥ 1, elliptic estimates provide the inequality
k∂tk q̃(t)ks ≤ Cs [P (kηk4.5 )kfk ks−2 + |gk |s−3/2 + kq̃k0 ] , (12.3)
1 ′ s
where k · k−1 denotes the norm on [H (Ω)] . We remark that the usual H elliptic estimates
require that coefficient have the regularity ∂ s−1 (Ali Aji ) ∈ L∞ (Ω), however ∂ s−1 (Ali Aji ) ∈
L2 (Ω) is sufficient. See see [9] or the quasilinear estimates in [19].
As we cannot guarantee that solutions q̃ to the κ-problem (4.1) have zero average, we use
kq̃k0 ≤ Ckq̃k1 and the H 1 elliptic estimate for the Dirichlet problem LA (q) = f0 in Ω with
−q = ∆g̃ η̃ · ñκ + κ∆0 (ṽ · ñκ ) on Γ. Thus, kq̃k1 ≤ C(kf0 k0 + |∆g̃ η̃ · ñκ + κ∆0 (ṽ · ñκ )|0.5 ) ≤
C P (Eκ (t)).
From (10.4), it is clear that kf0 k21.5 + |g0 |22 ≤ CP (Eκ (t)); thus, from the elliptic estimate,
kq̃k23.5 ≤ CP (Eκ (t)). (12.4)
Next, we must show that kf1 k20.5 + |g1 |21 ≤ C P (Eκ (t)). ˜
But f1 ∼ P (Jκ , A, ∇ṽκ )([∇ṽt ]2 +
−1
∇2 q̃) so that with (12.4), kf1 k20.5 ≤ C P (Eκ (t)), with the same bound for |g1 |21 , so that
kq̃t k22.5 ≤ CP (Eκ (t)). Using this, we find, in the same fashion, that kf2 k0 ≤ C P (Eκ (t)).
The normal trace theorem, read in Lagrangian variables, states that if ṽttt ∈ L2 (Ω) with
√ √
kAji ṽttt
i
,j k0 ∈ L2 (Ω), then ṽttt · g̃κ ñκ ∈ H −0.5 (Γ) with the estimate |ṽttt · g̃κ ñκ |2−0.5 ≤
C P (Eκ (t)). Since k Tr(A ∇ṽttt )k20 = k Tr(3At ∇ṽtt + 3Att ∇ṽt + Attt ∇ṽ)k20 ≤ C P (Eκ (t)),
and using the above estimates for q̃ and q̃t , we find that |g2 |−0.5 ≤ C P (Eκ (t)), thus com-
pleting the proof.
Our smoothed κ-problem (4.1) uses the boundary condition (4.1e) which we write as
√
g̃
q̃ ñκ = √ H̃ ñ · ñκ ñκ − κ∆0 (ṽ · ñκ ) ñκ , (12.5)
g̃κ
√ −1 √
where (we remind the reader) κ > 0 is the artificial viscosity, ∆0 = g̃κ ∂α ( g0 g0αβ ∂β ), ñ
is the unit normal along the boundary η̃(t)(Γ) and ñκ is the unit normal along the smoothed
κ-boundary η̃κ (t)(Γ).
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 39
We begin with an energy estimate for the third time-differentiated problem. Although
we are doing the estimates for the 2D domain Ω, we keep the notation of the 3D problem as
well as terms that only arise in 3D when differentiating the mean curvature vector. Thus,
when we turn to the 3D problem in Section 14, the modifications will be trivial.
Lemma 12.2 (Energy estimates for the third time-differentiated κ-problem). For M0 taken
as in Lemma 10.1 and δ > 0, solutions of the κ-problem (4.1) satisfy:
Z T
√
sup kṽttt k20 + |ṽtt · ñ|21 + | κ∂t3 ṽ · ñκ |21 ≤ M0 + T P ( sup Eκ (t)) + δ sup Eκ (t)
t∈[0,T ] 0 t∈[0,T ] t∈[0,T ]
√
+ C sup [P (kṽt k22.5 ) + P (kṽk23.5 ) + P (kη̃k24.5 )] + CP (k κṽtt k2L2 (0,T ;H 2.5 (Ω)) ) . (12.6)
t∈[0,T ]
Proof. Letting A = ãκ , and testing ∂t3 (J˜κ ṽti ) + ∂t3 (Aki q̃,k ) = 0 with with ∂t3 ṽ i shows that
Z T Z Z TZ Z TZ
1
∂t3 (J˜κ ṽti )∂t3 ṽ i − ∂t3 (Aki q) ∂t3 ṽ i ,k = − ∂t3 ( g̃κ q̃ñκ (η̃κ )) · ∂t3 ṽ dS0 .
p
0 2 Ω 0 Ω 0 Γ
(12.7)
Step 1. Boundary integral term. We rewrite the modified boundary condition (12.5)
as
√ h
g i
q̃ ñκ = √ H̃ ñ + H̃ ñ · (ñκ − ñ) ñ + H̃ ñ · ñκ (ñκ − ñ) − κ∆0 (ṽ · ñκ ) ñκ . (12.8)
gκ
We first consider the boundary integral on the right-hand side of (12.7) with only the first
term on the right-hand side of (12.8):
Z TZ
∂t3 ( g̃ H̃ ñi ◦ η)∂t3 ṽ i dS0
p
−
0 Γ
Z T Z p αβ i 2 j 3 i Z T Z p
=− g̃g̃ Πj ∂t ṽ,β ∂t ṽ,α − g̃[g̃ µν g̃ αβ − g̃ αν g̃ µβ ]η̃,ν
j 2 j i
∂t ṽ,µ η̃,β ∂t3 ṽ,α
i
0 Γ 0 Γ
Z T Z Z T Z
+ Qαβ j
ij (∂ η̃, ∂ṽ) ∂t ṽ,β ∂t3 ṽ,α
i
+ Qα 3 i
i (∂ η̃, ∂ṽ) ∂t ṽ,α (12.9)
0 Γ 0 Γ
=: I + II + III + IV .
The first term I on the right-hand side of (12.9) is given by
T Z T Z
1
Z p
j
I= − g̃(Πij ∂t2 ṽ,β )g̃ αβ (Πik ∂t2 ṽ,α
k
) + Qαβ 2 k 2 j
jk (∂ η̃, ∂ṽ)∂t ṽ,α ∂t ṽ,β ,
2 Γ 0 0 Γ
j j j
where we use the notation f ]T0 = f (T ) − f (0). Since Πij ṽtt ,β = (Πij ṽtt ),β −Πij ,β ṽtt and
i iγ l
Πj ,β = Qjl (∂ η̃)η̃ ,γβ with Q(∂ η̃) defined by (11.2), for δ > 0,
1 1 2
Z p
j
− g̃(Πij ∂t2 ṽ,β )g̃ αβ (Πik ∂t2 ṽ,α
k
) ≤ − |Πṽtt |21 + δ|Πṽtt |21 + (1 + Cδ ) Qiαβ l j
jl (∂ η̃) η̃ ,αβ ṽtt ,
2 Γ 2 0
The second term II requires some care (in the way in which the terms are grouped
together). Letting
η̃,1 · ∂t2 ṽ,1 η̃,1 · ∂t2 ṽ,2 ṽ,1 · ∂t2 ṽ,1 η̃,1 · ∂t2 ṽ,2
1 2
A = , A = ,
η̃,2 · ∂t2 ṽ,1 η̃,2 · ∂t2 ṽ,2 ṽ,2 · ∂t2 ṽ,1 η̃,2 · ∂t2 ṽ,2
η̃,1 · ∂t2 ṽ,1 ṽ,1 · ∂t2 ṽ,2
A3 = , (12.10)
η̃,2 · ∂t2 ṽ,1 ṽ,2 · ∂t2 ṽ,2
we find that
Z TZ
1
II = det g̃ − 2 (∂t det A1 − det A2 − det A3 )
0 Γ
Z T Z Z T
1 1 1
= −(det g − 2 )t det A1 − det g̃ − 2 (det A2 + det A3 ) + det g̃ − 2 det A1 .
0 Γ Γ 0
(12.11)
For α = 1, 2, let Vα = η̃,α · ∂t2 ṽ; thus Vα ,β = A1αβ + η̃ i ,αβ ṽtt
i
so that
det A1αβ = det(Vα ,β −η̃ i ,αβ ṽtt
i
)
i j i j
= det Vα ,β − det(η̃ i ,αβ ṽtt
i
) + Pij (∂ 2 η̃)ṽtt ṽtt + Pijα (∂ 2 η̃)ṽtt ṽtt ,α .
With A = Cof(∂V ), det ∂V = Aβα Vα ,β . It follows that
Z Z
1 1
det g̃ − 2 det ∂V = − (det g̃ − 2 ),β Aβα V,α ,
Γ Γ
βα
as A ,β = 0 since A is the cofactor matrix. Hence,
Z Z
− 21 i j i j
det g̃ det A1 = Pij (∂ 2 η̃)ṽtt ṽtt + Pijα (∂ 2 η̃)ṽtt ṽtt ,α , (12.12)
Γ Γ
so that
Z T Z Z T
II ≤ Qαβ 2 i 2 j
ij (∂ η̃, ∂ṽ) ∂t ṽ,α ∂t ṽ,β +
i j
[Pij (∂ 2 η̃)ṽtt i j
ṽtt + Pijα (∂ 2 η̃)ṽtt ṽtt ,α ] .
0 Γ Γ 0
By the fundamental theorem of calculus and Young’s inequality, for δ > 0,
Z Z Z Z T
i j j j
[Pijα (∂ 2 η̃)ṽtt ṽtt ,α ](T ) = [Pijα (∂ 2 η̃)ṽtt
i
](0) ṽtt ,α (T ) + [Pijα (∂ 2 η̃)ṽtt
i
]t dt ṽtt ,α (T )
Γ Γ Γ 0
Z ! 12
1
j
≤ M0 (δ) + δkṽtt (T )k21.5 +T sup |(Pijα (∂ 2 η̃)ṽtt
i
)t |2 dx kṽtt (T )k1.5
2
.
Γ t∈[0,T ]
A temporal integration by parts in the third and fourth terms on the right-hand side of
(12.9) yields
Z TZ
III + IV = − [Qαβ j α j
ij (∂ η̃, ∂ṽ)ṽt ,β +Qi (∂ η̃, ∂ṽ)]t ṽtt ,β
0 Γ
Z T
+ [Qαβ j α i
ij (∂ η̃, ∂ṽ)ṽt ,β +Qi (∂ η̃, ∂ṽ)]ṽtt ,α ,
Γ 0
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 41
where R1 also satisfies R1 ≤ C T P (supt∈[0,T ] Eκ (t)) + δ supt∈[0,T ] Eκ (t). The second term
in (12.14) has a highest-order contribution with the same type of integrand, and its analysis
(and bound) is identical. The third and fourth terms in (12.14) are effectively lower-order
by one derivative with respect to the worst case analyzed above.
RT R
Next, we estimate 0 Γ ∂t3 {H̃ ñ · ñκ (ñκ − ñ)} ∂t3 ṽ. Since ñκ = Q(η̃κ ) and since |ñκ − ñ| ≤
supκ |∂Q(∂ηκ )| · |∂ηκ − ∂η|, then our assumed bounds (3.3) together with (2.6) imply that
√
|ñκ − ñ|L∞ ≤ C κ |P (∂ η̃, ∂ 2 η̃)|L∞ |η̃|2.5 ≤ C κ P (Eκ (t)) . (12.16)
Similarly,
√
|∂ ñκ − ∂ ñ|L∞ ≤ C κ |P (∂ η̃, ∂ 2 η̃)|L∞ |η̃|3.5 . (12.17)
42 D. COUTAND AND S. SHKOLLER
where (12.17) is used for the second inequality. If instead, integration by parts places the
tangential derivative on ñκ − ñ, then (12.17) provides the same estimate for this term. The
other terms are clearly lower-order.
Thanks to (12.18),
Z TZ Z T
√
∂t ( g̃ H̃ ñs )∂t2 {ñsκ (ñrκ − ñr )} ∂t3 ṽ r ≤ C |P (∂ η̃, ∂ 2 η̃)|L∞ |∂ 2 ṽ|0 |ṽt |2.5 | κṽttt |0
p
0 Γ 0
≤ Cδ T P ( sup Eκ (t)) + δ sup Eκ (t) .
t∈[0,T ] t∈[0,T ]
κ goes with ∂t3 ñκ and the other κ goes with ṽttt . Thus, |I| ≤ C T P (supt∈[0,T ] Eκ (t)) +
δ supt∈[0,T ] Eκ (t).
√ RT R
To study II, we set f = g̃H̃ ñ · ñκ , and consider the term 0 Γ f ñttt · ṽttt . We expand
v into its normal and tangential components: set τα = η̃,α , so that
ṽ = v τ τ + v n ñ, where v τ τ = (ṽ · τα ) τα and v n = ṽ · ñ .
Then
τ τ
ṽttt = vttt τ + 3vtt τt + 3vtτ τtt + v τ τttt + vttt
n n
ñ + 3vtt ñt + 3vtn ñtt + v n ñttt .
τ
The most difficult term to estimate comes from the term vttt τ , which gives the integral
RT R τ
0 Γ f ñ ttt · τ vttt .
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 43
First, notice that ñttt · τ is equal to −ñ · τttt , plus lower order terms that have at most
two time derivatives on either ñ or τ , and ñ · τttt = ñ · ∂β ṽtt for β = 1 or 2. Next, the κ
i
problem states that ṽttt = (Aki q̃,k )tt , where recall that
A = ãκ .
We have the formula
η̃ i ,β Aki ∂k q̃tt = J β ∂β q̃tt (no sum on β) for β = 1, 2 ,
where
J 1 = η̃ i ,1 A1i , J 2 = η̃ i ,2 A2i .
(In the case that κ = 0, J β = J = 1.) Using this, we see that the highest-order term in our
integral is given by
Z TZ
J f (ñ · ∂β ṽtt )∂β q̃tt . (12.21)
0 Γ
Second, write q̃tt as
√
g̃
q̃tt = − √ [∆g̃ (η̃) · ñ + ∆g̃ (η̃) · (ñκ − ñ)] + κ∆0 (ṽ · ñκ ) . (12.22)
g̃κ tt
We begin by substituting the first term on the right-hand side of (12.22) into (12.21); the
highest-order contribution comes from ∂β ∂t2 ∆g̃ (η̃) = Q(∂ η̃, ∂ η̃κ )g̃ µν ñ · ∂t ṽ,µνβ . Integrating
by parts with respect to ∂ν , the highest-order term in our integral is given by
Z TZ
Q(∂ η̃, ∂ η̃κ ) f (ñ · ṽt ,µβ ) g̃ µν (ñ · ṽtt ,νβ ) .
0 Γ
Letting Gµν
ij := Q(∂ η̃, ∂ η̃κ ) f ñi ñj = Q(∂ η̃, ∂ η̃κ )∂ 2 η, integration by parts in time yields
Z T Z Z T
µν j i µν j i
− ∂t Gij ṽt ,νβ ṽt ,µβ + ∂t Gij ṽt ,νβ ṽt ,µβ
0 Γ Γ 0
≤ C T P ( sup Eκ (t)) + M0 + C sup |Gt |L∞ kṽt k22.5
t∈[0,T ] t∈[0,T ]
Step 2. The pressure term. We next consider the pressure term in (12.7):
Z T Z Z T Z
∂t3 (Aki q̃)∂t3 ṽ i ,k = − ∂t3 ṽ i ,k ∂t3 Aki q̃ + 3∂t2 Aki q̃t + 3∂t Aki q̃tt + Aki ∂t3 q̃
−
0 Ω 0 Ω
=: I + II + III + IV . (12.24)
where G(ξ, ∇ξ) is a bilinear function which arises when the gradient acts on ξ rather than
ṽtt . The term Ia 1 is the difficult term which requires forming an exact derivative, and this,
sk
in turn, requires commuting the convolution with fri . We let
V (θ) = ρ ⋆h ξṽ(θ)
We sum over l = 1, ..., L. The spacetime integral is bounded by CT P (supt∈[0,T ] Eκ (t)). For
the the space integral at time t = T , we employ the fundamental theorem of calculus:
Z Z Z Z T
sk i
[fri Vtt ,k Vttr ,s ](T ) = Vtti ,k (T )Vttr ,s (T )fri
sk
(0) + Vtti ,k (T )Vttr ,s (T ) sk
∂t fri
Ω Ω Ω 0
Z T
≤ kVtt (T )k21 kq̃0 k2 + kVtt (T )k21 k |ft kL∞
0
2/3 1/3
≤ kvtt (T )k1.5 kvtt (T )k0 kq̃0 k2 + CT P ( sup Eκ (t))
t∈[0,T ]
δ 1/2 3/2
≤ kvtt (T )k21.5 + C(δ)kvtt (T )k0 kq̃0 k2 + CT P ( sup Eκ (t))
2 t∈[0,T ]
where Young’s inequality has been used. For Ia 1ii , the commutation lemma 2.1 shows that
Z T
3 √
Ia 1ii ≤ Cκ 2 kf k3 k κṽttt k1 kṽtt k1
0
Z T √
Z T
≤δ k κṽttt k21 + Cδ kf k23 kṽtt k21 .
0 0
Summing over l = 1, ..., L, we integrate-by-parts in time and write the term Ia 2 as
Z TZ Z T
Ia2 = − f ∇ṽtt G(ξ, ∇ξ)(f ṽtt )t + f ∇ṽtt G(ξ, ∇ξ)f ṽtt .
0 Ω Ω 0
This is estimated in the same way as term Ia 1i . The term Ib is handled in the identical
fashion with the same bound. Thus, we have shown that
I ≤ δ sup Eκ (t) + M0 (δ) + CT P ( sup Eκ (t)) .
t∈[0,T ] t∈[0,T ]
Using (12.25b) for term II, integration by parts in time gives the identical bound as for
term I. For term III, a different approach is employed; we use (12.25a) and integration by
parts in space rather than time, and let Fri sk
:= 3J˜κ−1 (Asr Aki − Akr Asi ) to find that
Z TZ Z TZ
i
III = − ṽttt [ṽκr ,s Fri
sk
qtt ],k + i
ṽttt sk
Fri Nk qtt ṽκr ,s
0 Ω 0 Γ
The Cauchy-Schwarz inequality together with the pressure estimate (12.1) give the bound
CT P (supt∈[0,T ] Eκ (t)) for the first term on the right-hand side. The boundary integral term
requires integration by parts in time:
Z TZ Z T Z T Z
i sk r i sk r i sk
ṽttt Fri Nk q̃tt ṽκ ,s = ṽtt Fri Nk q̃tt ṽκ ,s + vtt [Fri Nk q̃tt ṽκr ,s ]t
0 Γ Γ 0 0 Γ
=: IIIa + IIIb .
First, note that
sk
Nk = 3J˜κ−1 Asr (q̃Aki Nk )tt − 2q̃t ∂t Aki Nk − q̃∂t2 Aki Nk
Fri
− 3J˜κ−1 Asi (q̃Akr Nk )tt − 2q̃t ∂t Akr Nk − q̃∂t2 Akr Nk .
(12.26)
46 D. COUTAND AND S. SHKOLLER
(12.27)
into (12.26). The two bracketed terms in (12.26) are essentially √ the same, so it suffices to
analyze just the first term. We begin by considering the term g̃∆g̃ (η̃ i ) in (12.27).
Then IIIa can be written as
Z n p o T
IIIa = 3 Jκ ˜−1 2 αβ i r s k r 2 k r
∂t ( g̃g̃ η̃ ,β ),α ṽκ ,s Ar − 2qt ∂t Ai Ni ṽκ ,s −q∂t Ai Ni ṽκ ,s ṽtt i
Γ 0
(12.28)
Z p T
αβ i ˜−1 r s i ˜−1 k r i ˜−1 2 k r i
= 3 ( g̃g̃ η̃ ,β )tt (Jκ ṽκ ,s Ar ṽtt ),α −2Jκ qt ∂t Ai Ni ṽκ ,s ṽtt − Jκ q∂t Ai Ni ṽκ ,s ṽtt
Γ 0
≤ δ sup Eκ (t) + M0 (δ) + CT P ( sup Eκ (t)) ,
t∈[0,T ] t∈[0,T ]
the last inequality following from the fundamental theorem of calculus and the same argu-
ment we have used above.
In order √ to estimate IIIb , because we do not have a trace estimate for ∂t3 A, we let
Qr (∂ η̃κ ) := g̃κ (ñκ )r and compute
∂t Qr = Qα i
ri ṽκ ,α , ∂t2 Qr = Qαβ i j α i
rij ṽκ ,α ṽκ ,β +Qri ∂t ṽκ ,α ,
∂t3 Qr = Qαβγ i j k αβ i j α 2 i
rijk ṽκ ,α ṽκ ,β ṽκ ,j +3Qrij ṽκ ,α ∂t ṽκ ,β +Qri ∂t ṽκ ,α . (12.29)
√ √
Since g̃κ (ñκ )r q̃tt = ( g̃κ (ñκ )r q̃)tt − 2∂t Qr q̃t − ∂t2 Qr q̃, it follows that
Z TZ h
J˜κ−1 ṽtt
r
( g̃κ (ñκ )r q̃)ttt ṽκi ,s Asi + ṽtt
r
(Qr q̃)tt (ṽκi ,s Asi )t
p
IIIb = −3
0 Γ
i
r αβ l
−ṽtt (2Qα j i s j i s α l i s
rj ṽκ ,α ṽκ ,s Ai q̃t + Qrlj ṽκ ,α ṽκ ,β ṽκ ,s Ai q̃ + Qrl ∂t ṽκ ,α ṽκ ,s Ai q̃)t .
(12.30)
Using the pressure estimates and by definition of our energy function, for t ∈ (0, T ),
q̃tt (t) ∈ H 0.5 (Γ), Qr (t), ∂t Qr (t) ∈ L∞ (Γ), ∂t3 Qr (t) ∈ L2 (Γ),
∂ṽt (t) ∈ H 1.5 (Γ), ∂ṽtt (t) ∈ L2 (Γ) ;
thus, all of the terms, except the first, on right-hand side of (12.30) can be easily bounded
by CT P (supt∈[0,T ] Eκ (t)). Integrating by parts in space, the first term in (12.30) has the
following estimate:
Z TZ p
j
g̃κ g̃καβ Πrk ṽtt
k r i
ṽκ ,s Jκ−1 Asi ),α + g̃κ (g̃κµν g αβ − g αν g µβ )η̃ j ,ν ṽtt ,µ η̃ r ,β (ṽtt
r i
ṽκ ,s J˜κ−1 Asi ),α
p
3 ,β (ṽtt
0 Γ
+ [Pijαβ (∂ η̃, ∂ṽ)ṽtt
j
,β +Piα (∂ η̃, ∂ṽ)](ṽtt
r i
ṽκ ,s J˜κ−1 Asi ),α ≤ CT P ( sup Eκ (t)) .
t∈[0,T ]
(12.31)
The remaining three terms in the boundary condition (12.27) are now considered. The
additional integrals which arise in the (12.30) are given by
Z TZ
∂t3 { g̃ H̃ ñ · (ñκ − ñ) ñr + g̃ H̃ ñ · ñκ ((ñκ )r − ñr ) + κ g̃κ ∆0̄ (ṽ · ñκ )ñκ } ṽ r ,s ãsi ṽtt
i
p p p
−3
0 Γ
=: J1 + J2 + J3 .
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 47
RT
Term J3 with the artificial viscosity provides the integral κ 0 [∂t3 (ṽ · ñκ ), P (∇η̃, ∇ṽ) · ∂t2 ṽ]1 .
The highest-order terms in this integral are estimated as
Z Tn o
κ [Pijαβ (∂ ñκ , ∇η̃, ∇ṽ) ∂t3 ṽ,β
i
, ∂t2 ṽ,α
j
]0 + [Pijαβγ (∂ ñκ , ∇η̃, ṽ, ∇ṽ) ∂t2 ṽκi ,βγ , ∂t2 ṽ,α
j
]0
0
√
Z T √ √
≤C κ kP (∇η̃, ∇ṽ)kL∞ |∂t2 ṽ|1 {| κ∂t3 ṽ|1 + | κ∂t2 ṽκ |2 }
0
Z T Z T √ √
kP (∇η̃, ∇ṽ)kL∞ |∂t2 ṽ|21 + κδ | κ∂t3 ṽ|21 + | κ∂t2 ṽκ |22
≤ C(δ)
0 0
≤ C(δ) T P ( sup Eκ (t)) + δ sup Eκ (t) .
t∈[0,T ] t∈[0,T ]
The lower-order terms in J3 √ also have the same bound. As to terms J1 and J2 , the es-
timates for the terms with ( g̃ H̃ ñ)ttt are obtained exactly as in (12.31). For the terms
that contain ñttt , we use the formula (12.29) for the third time derivative of the unit nor-
mal; it immediately follows that terms J1 and J2 are also bounded by δ supt∈[0,T ] Eκ (t) +
CT P (supt∈[0,T ] Eκ (t)).
We need only consider now the additional terms in (12.28) from the remaining three
terms in the boundary condition (12.27). The only novelty is in the highest-order integral
coming from integration by parts in space in the κ term:
Z
κ Pijαβ (T )vtt
i j
,α (T )vtt ,β (T )
γ
sk
With Fri := J˜κ−1 (Asr Aki − Akr Asi ), IVa is written as
Z TZ
IVa = − (3∂t2 ṽ r ,s Fri
sk i
ṽκ ,k +∂t2 ṽκr ,s Fri
sk i
ṽ ,k )q̃ttt + ṽ i ,k Pjk (Jκ−1 , A, ∇vκ )∂t ṽκj ,i
0 Ω
=: IVa1 + IVa2 + IVa3 . (12.32)
48 D. COUTAND AND S. SHKOLLER
Term IVa 3 is estimated in the same way as term IVb . For term IVa 2 , we integrate by parts
in space to find that
Z TZ Z TZ
IVa2 = − ∂t2 ṽκr Fri
sk i
ṽ ,k q̃ttt Ns + ∂t2 ṽκr (Fri
sk i
ṽ ,k q̃ttt ),s := IVa2 i + IVa2 ii
0 Γ 0 Ω
The first integral IVa2 i is handled identically to term IIIb to give the bound CT P (supt∈[0,T ] Eκ (t)).
We write the second integral as
Z TZ
IVa 2ii = [∂t2 ṽκr Fri
sk i
ṽ ,k q̃ttt ,s +∂t2 ṽκr (Fri
sk i
ṽ ,k ),s q̃ttt ],
0 Ω
integrate by parts in time, and obtain
Z TZ
IVa2 ii = − [(∂t2 ṽκr Fri
sk i
ṽ ,k ))t q̃tt ,s +(∂t2 ṽκr (Fri
sk i
ṽ ,k )t ,s q̃tt ]
0 Ω
Z T
+ [(∂t2 ṽκr Fri sk i
ṽ ,k )q̃tt ,s +(∂t2 ṽκr (Fri
sk i
ṽ ,k ),s q̃tt ] .
Ω 0
Since ∂t3 ṽκ is bounded in L2 (Ω), and (F ∇v)t is bounded in L∞ (Ω), the spacetime inte-
gral is bounded by CT P (supt∈[0,T ] Eκ (t)). Next, we analyze the highest-order term in the
remaining temporal boundary integral in IVa2 :
Z
[(∂t2 ṽκr Fri
sk i
ṽ ,k )q̃tt ,s ](T )
Ω
Z Z Z T
= (∂t2 ṽκr (0)Fri
sk
(0)ṽ i ,k (0))q̃tt ,s (T ) + (∂t2 ṽκr Fri
sk i
ṽ ,k )t q̃tt ,s (T )
Ω Ω 0
≤ M0 (δ) + δkqtt (T )k21 + T sup k(∂t2 ṽκr Fri
sk i
ṽ ,k )t k0 kqtt (T )k1
t∈[0,T ]
Since ∂t J˜κ = Trace(ãκ ∇ṽκ ), ∂t2 J˜κ = Trace(ãκ ∇∂t ṽκ ) + P (J˜κ−1 , ãκ , ∇ṽκ ), and ∂t2 J˜κ =
Trace(ãκ ∇∂t2 ṽκ ) + P (J˜κ−1 , ãκ , ∇ṽκ ) ∇∂t ṽκ , then using condition (3.3c), we see that
sup kvttt k20 ≤ kṽttt (0)k20 + C T P ( sup Eκ (t)).
t∈[0,T ] t∈[0,T ]
From (12.2) evaluated at t = 0, we see that kṽttt (0)k20 ≤ M0 , so the lemma is proved.
Lemma 12.3 (Energy estimates for the second time-differentiated κ-problem). For M0 taken
as in Lemma 10.1 and δ > 0, solutions of the κ-problem (4.1) satisfy:
Z T
√
sup |∂2 ṽt · ñ|20 + | κ∂ 2 ṽtt · ñκ |20
t∈[0,T ] 0
√
≤ M0 + T P ( sup Eκ (t)) + δ sup Eκ (t) + C P (k κṽt k2L2 (0,T ;H 3.5 (Ω)) ) . (12.33)
t∈[0,T ] t∈[0,T ]
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 49
Proof. We let ∂∂t2 act on (4.1b) and test with ζi2 ∂ṽtt where ζi2 = αi , and αi is an element
of our partition of unity. This localizes the analysis to a neighborhood of the boundary
Γ where the tangential derivative is well-defined. In this neighborhood, we use a normal
coordinate system spanned by (∂1 η0 , ∂2 η0 , N ).
We follow the proof of Lemma 12.2 and replace ∂t3 with ∂∂t2 . There are only two dif-
ferences between the analysis of the second and third time-differentiated problems. The
first difference can be found in the analogue of term III in (12.9), which now reads
RT R
0 Γ
P (∂ η̃, ∂ṽ) ∂ṽt ∂ 2 ṽtt . After integration by parts in space, this term is bounded by
C T P (supt∈[0,T ] Eκ (t)); however, this term requires a bound on |ṽtt |1 , which requires us to
study the third time-differentiated problem. (Compare this with the third time-differentiated
problem wherein integration by parts in time forms an exact derivative which closes the es-
timate.)
The second difference is significant. Because the energy function places
ṽttt ∈ L∞ (0, T ; L2(Ω)) and ṽtt ∈ L∞ (0, T ; H 1.5(Ω)),
there is a one-half derivative improvement that accounts for (12.33) being better than (12.6).
RT R √
In particular, the analogue of term II in (12.20) is 0 Γ g̃ H̃ ñ · ñκ ∂∂t2 (ñκ − ñ) · ∂ṽtt ,
and since |∂∂t2 (ñκ − ñ)|0 ≤ C |P (∂η)|L∞ |ṽt |2 , then this integral is easily seen to be bounded
by C T P (supt∈[0,T ] Eκ (t)). (This is in sharp contrast to the difficult analysis required at
the level of the third time-differentiated problem which follows equation (12.20).)
All of the other estimates follow identically to the proof of Lemma 12.2 with ∂t3 being
replaced by ∂∂t2 .
Lemma 12.4 (Energy estimates for the time-differentiated κ-problem). For M0 taken as in
Lemma 10.1 and δ > 0, solutions of the κ-problem (4.1) satisfy:
Z T
√
sup |∂ 3 ṽ · ñ|20 + | κ∂3 ṽt · ñκ |20
t∈[0,T ] 0
√
≤ M0 + T P ( sup Eκ (t)) + δ sup Eκ (t) + C P (k κṽk2L2 (0,T ;H 4.5 (Ω)) ) . (12.34)
t∈[0,T ] t∈[0,T ]
Proof. After replacing ∂∂t2 with ∂ 2 ∂t , the proof is the same as the proof of Lemma 12.3.
Lemma 12.5 (Energy estimates for the κ-problem). For M0 taken as in Lemma 10.1 and
δ > 0, solutions of the κ-problem (4.1) satisfy:
Z T
4 2
√
sup |∂ η̃ · ñ|0 + | κ∂4 ṽ · ñκ |20 ≤ M0 + T P ( sup Eκ (t)) + δ sup Eκ (t) . (12.35)
t∈[0,T ] 0 t∈[0,T ] t∈[0,T ]
Proof. Let ∂ 3 act on (4.1b) and test with ∂ 3 ṽ. All of the terms are estimated as in Lemma
12.3, except the analogue of (12.15) which reads, after replacing ∂t3 with ∂ 3 , as
Z T
κ [ṽ · ∂ 4 ñκ , ñκ · ∂ 4 ṽ)]0 .
0
√
Since the energy function places κη̃ ∈ L∞ (0, T ; H 5.5(Ω)), we see that this integral is
bounded by δ supt∈[0,T ] Eκ (t) + C T P (supt∈[0,T ] Eκ (t)).
To the above energy estimates, we add one elliptic estimate arising from the modified
boundary condition (12.8). We will make use of the following identity:
√ √ √
[ g∆g (η i )],γ = [ gg αβ Πij η j ,βγ + g(g νµ g αβ − g αν g βµ )η i ,β η j ,ν η j ,µγ ],α . (12.36)
50 D. COUTAND AND S. SHKOLLER
√
Lemma 12.6 (Elliptic estimate for κη̃). Let M0 be given as in Lemma 10.1. Then for
δ > 0,
√
sup | κη̃|25 (t) ≤ M0 (δ) + δ sup Eκ (t) + C T P ( sup Eκ (t)) , (12.37)
t∈[0,T ] t∈[0,T ] t∈[0,T ]
αβi
Proof. Letting Qαi j := Qj (∂ η̃) denote a smooth function of ∂ η̃, from (12.36), we see that
∂ 3 [ g̃∆g̃ (η̃ i )],γ = [ g̃g̃ αβ Πij ∂ 3 η̃ j ,βγ + g̃(g̃ νµ g̃ αβ − g̃ αν g̃ βµ )η̃ i ,β η̃ j ,ν ∂ 3 η̃ j ,µγ ],α
p p p
The estimate (12.37) is obtained by letting ∂ 3 ∂γ act on the modified boundary condition
(12.5) and then testing this with ζ 2 g̃ γδ Πil ∂ 3 η̃ l ,δ where ζ 2 = αi .
For convenience we drop the subscript i from Ωi and Γi . (Recall that αi denotes the
partition of unity introduced in Section 2.) For the surface tension term, integration by
parts with respect to ∂α yields
Z T Z Th
√ 1 i
[∂ 3 ( g̃H̃ ñ ◦ η̃),γ , ζ 2 g̃ δγ Π∂ 3 η̃,δ ]0 ≤ −|ζ g 2 Π∂ 5 η|20 + C|F |L∞ |η|4 |Π∂5 η|0 ,
p
0 0
where F := P (ζ, ∂η, ∂v, ∂ 2 η) is a polynomial of its arguments. To get this estimate we have
used the fact that
p νµ αβ
g̃(g̃ g̃ − g̃ αν g̃ βµ )η̃ i ,β η̃ j ,ν ∂ 3 η̃ j ,µγ ]g̃ γδ Πil ∂ 3 η̃ l ,δα = 0,
since η̃ i ,β Πil = 0. (This ensures that the error term is linear in |Π∂ 5 η̃|0 rather than qua-
dratic.)
We next analyze the artificial viscosity term. The testing procedure gives us the integral
Z T
− κ[∂ 3 ∂γ ∆0 (ṽ · ñκ )ñκ , ζ 2 g̃ γδ Π∂ 3 η̃,δ ]0 .
0
The positive term comes from ∂ 3 ∂γ acting on ṽ. This gives, after integration by parts in
space, the highest-order integrand κ(∂ 3 ṽ,αγ ·ñκ )g γδ g0αβ (ñκ · Π∂ 3 η̃,βδ ), where Π = ñ ⊗ ñ. We
can write this term as
κ(∂ 3 ṽ,αγ ·ñκ )g γδ g0αβ (ñκ · ∂ 3 η̃,βδ ) + κ(∂ 3 ṽ,αγ ·ñκ )g γδ g0αβ (ñκ · (Π − Πκ )∂ 3 η̃,βδ ),
where Πκ = ñκ ⊗ ñκ . The first term is an exact derivative in time, and yields
κ d 5
|∂ η̃ · ñκ |2 − κ∂ 5 η̃ i ∂ 5 η̃ j ñiκ ∂t ñjκ .
2 dt
√ √
The space integral of the second term is estimated by C |F |L∞ | κv|5 | κη̃|5 |Πκ − Π|L∞
and |Πκ − Π|L∞ ≤ C κ |η̃|3.5 . From (12.5)
p −1 p
κ∂ 3 ∆0 (v · ñκ ) = −∂ 3 ( g̃κ g̃∆g̃ (η̃) · ñκ ) + ∂ 3 q.
Thus,
√ √ 3 1 √ √
C κ|κṽ|5 ≤ κ|F |L∞ (|ṽ|3 + | κṽ|4 ) + (κ 2 + κ 2 )|F |L∞ |η̃|4 + |F |L∞ | κη̃|5 + κ|q̃|3 ,
so that
Z T Z
κ(∂ 3 ṽ,αγ ·ñκ )g γδ g0αβ (ñκ · (Π − Πκ )∂ 3 η̃,βδ )
0 Γ
Z T √ √ √
κ|F |L∞ (|ṽ|3 + | κṽ|4 + |η̃|4 + |q̃|3 ) | κη̃|5 + |F |L∞ | κη̃|25 .
√
≤C
0
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 51
Having finished the estimates for the terms leading to the positive energy contribution, we
next consider the most difficult of the error terms. This occurs when ∂ 3 ∂γ acts on ñκ ,
RT
producing the integral 0 κ[ζ 2 ṽ · ∂ 4 ñκ , ñκ · ∂ 4 η̃]0 .
To analyze this term, we let ṽ = ṽ γ ∂γ η̃κ + ṽn ñκ ; we remind the reader that for γ = 1, 2,
∂γ η̃κ spans the tangent space of η̃κ (t)(Γ) at η̃κ (x, t), so that ∂γ η̃κ is orthogonal to ñκ . It
follows that v γ ∂γ η̃κ · ∂ 5 ñκ is equal to −v γ ñκ · ∂ 5 ∂γ η̃κ plus lower order terms v γ Rγ4 (η̃), which
have at most only five tangential derivative of η̃κ . Note also that since ñκ · ñκ = 1, ñκ · ∂ 5 ñκ
is also a sum of lower order terms which have at most only five tangential derivative of η̃κ .
Thus,
Z T Z T
2 5 5
κ[ζ ṽ · ∂ ñκ , ñκ · ∂ η̃]0 = κ[ζ 2 ṽ γ ñκ · ∂ 5 ∂γ η̃κ + ṽ γ Rγ4 (η̃), ñκ · ∂ 5 η̃]0 ,
0 0
where the remainder term satisfies
Z
T Z T
√ √ √
γ γ 5
[κṽ R4 (η̃) , ñκ · ∂ η]0 ≤ C |F |L∞ [| κṽ|4 | κη̃|5 + | κη̃|25 ] .
0 0
We must form an exact derivative from the remaining highest order term
Z T
κ[ζ 2 ṽ γ ñκ · ∂ 5 ∂γ η̃κ , ñκ · ∂ 5 η̃]0 , (12.38)
0
and this will require commuting the horizontal convolution operator, so that the η̃ on the
right side of the L2 (Γ) inner-product also has a convolution operator, and is hence converted
to a ñκ · ∂ 4 ρ κ1 ⋆h η̃ term. With this accomplished, we will be able to pull-out the ∂γ operator
and form an exact derivative, which can be bounded by our energy function.
Noting that on Γ the horizontal convolution ⋆h restricts to the usual convolution ∗ on
R2 , we have that
K
X √ h √ i
η̃κ = αi ρ κ1 ∗ [ρ κ1 ∗ ( αi η̃ ◦ θi )] ◦ θi−1
i=1
√
For notational convenience, we set ρ = ρ1/κ , ζ = αi , and R = [0, 1]2 = θi−1 (Γ ∩ Ui ). It
follows that (12.38) can be expressed as
Z T X K Z
(ṽ γ ñκ ) ◦ θi · ∂γ ∂ 5 [ζ(θi )ρ ∗ ρ ∗ (ζ η̃) ◦ θi ] ñκ · ∂ 5 η̃ ◦ θi
κ (12.39)
0 i=1 R
5
With g̃κ := ∂ ρ ∗ ζ(θi )η̃(θi ), we see that
κñκ · ∂γ ∂ 5 [ζ(θi )ρ ∗ ρ ∗ (ζ η̃ ◦ θi )] = κñκ · (∂γ ∂ 5 ζ(θi ))ρ ∗ ρ ∗ (ζ η̃(θi ) + κζ ñκ · ρ ∗ ∂γ g̃κ + κR5 (η̃) ,
(12.40)
where the remainder R5 (η̃) has at most five tangential derivatives on η̃. Substitution of
(12.40) into (12.39) yields three terms, corresponding to the three terms on the right-hand
side of (12.40). For the first term, we see that
Z T X K Z Z T
√ √
(∂γ ∂ 5 ζ(θi ))ṽ γ ñκ · ρ ∗ ρ ∗ (ζ η̃(θi ) ñκ · ∂ 5 η̃(θi ) ≤ C
κ k κθi k6.5 |η̃(θi )|L∞ | κη̃|5 .
0 i=1 R 0
The second term on the right-hand side of (12.40) gives the integral
Z T X K Z
κ (ñκ · ρ ∗ ∂γ g̃κ ) (ñκ · g̃κ ) + R6 (η̃),
0 i=1 R
52 D. COUTAND AND S. SHKOLLER
where the remainder R6 (η̃) is lower-order containing terms which have at most four tan-
gential derivatives on η̃ and five on ζ(θi ).
We fix i ∈ {1, ..., K}, drop the explicit composition with θi , we set
△ñκ ,gκ = ñκ · ρ ∗ g̃κ − ρ ∗ (ñκ · g̃κ ) ,
△ñκ ,ζ∂ 5 η̃ = ñκ · ρ ∗ ζ∂ 5 η̃ − ρ ∗ (ñκ · ζ∂ 5 η̃) ,
and analyze the following integral:
Z Z Z
{ζ ñκ · ρ ∗ g̃κ } {ñκ · ∂ 5 η̃} = {ρ ∗ (ñκ · g̃κ )} {ñκ · ζ∂ 5 η̃} + △ñκ ,gκ {ñκ · ζ∂ 4 η̃} ,
R R
Z Z ZR
4
= {ñκ · g̃κ } {ñκ · ∂ ρ ∗ ζ η̃} − {ñκ · g̃κ } △ñκ ,ζ∂ 5 η̃ + △ñκ ,gκ {ñκ · ζ∂ 5 η̃} + R7 (η̃) ,
R R R
where the remainder R7 (η̃) comes from commuting ∂ 5 with the cut-off function ζ and has
the same bound as R4 (η̃). The first term on the right-hand side is a perfect derivative and
for the remaining terms we use Lemma 2.1 together with the estimate κ|g̃κ |0,R ≤ Ckη̃k5.5
to find that
√
Z
κ {ζ ñκ · ρ ∗ g̃κ } {ñκ · ∂ 5 η̃} ≤ C |F |L∞ | κη̃|25 .
R
Thus, summing over i ∈ {1, ..., K},
Z T T √ √ √ √
Z
κ [ζ 2 ṽ · ∂ 5 ñκ , ñκ · ∂ 5 η̃]0 ≤ C |F |L∞ (| κΓ|6 + | κṽ|4 + | κη̃|5 ) | κη̃|5 ,
0 0
√ √
where | κΓ|6 := maxi∈{1,...,K} | κθi |6 .
It is easy to see that
Z T T √
Z
[∂ 3 ∂γ ( g̃∆g̃ (η̃) · (ñκ − ñ)ñκ ), ζ 2 g̃ δγ Π∂ 3 η̃,δ ] ≤ C |F |L∞ | κη̃|25
p
0 0
RT √
with the same bound for 0 [∂ 2 ∂γ ( g̃∆g̃ (η̃) · ñκ (ñκ − ñ), ζ 4 g̃ δγ Π∂ 2 η̃,δ ]. With (3.3), we infer
that
√
Z T Z T √ √ √ √
| κ∂ 5 η̃ · ñκ |20 (t) ≤ M0 + C |q̃|23 + C |F |L∞ (| κΓ|6 + | κṽ|4 + | κη̃|5 ) | κη̃|5 .
0 0
√
Adding to this inequality the curl estimate (10.7) for κη̃ and the divergence estimate
(which has the same bound as the curl estimate), and using Young’s inequality to get
RT √ √ RT √ RT √
0
|F |L∞ | κṽ|4 | κη̃|5 ≤ δ 0 | κṽ|24 + Cδ 0 |F |2L∞ | κη̃|25 , we see that
√
sup | κη̃|25 ≤ M0 + C T sup kvt k22.5 + kvk23.5 + kηk44.5
t∈[0,T ] t∈[0,T ]
√ √
Z T √
|F |2L∞ (| κΓ|26 + | κη̃|25 + δ | κṽ|24 ,
+ C T sup
t∈[0,T ] 0
convolution with ρe−κ , i.e., we use ρe−κ ∗ θ̄i as our family of charts. We make use of the fact
that
√ √
P (k κu0 k10.5 ) ≤ CP ku0 k4.5 ) , P (| κΓ|10 ) ≤ CP (|Γ|5.5 ) ,
which follows by integration by parts of six tangential derivatives onto the mollifier ρe−κ ;
this and results in the constant C > 0 being independent of κ.
where the polynomial P and the constant M0 do not depend on κ. Choose δ < 1. Then,
from the continuity of the left-hand side in T , we may choose T sufficiently small and
independent of κ, to ensure that (12.41) holds. (See [8] for a detailed account of such
polynomial inequalities.)
Proposition 12.1 provides the weak convergence as κ → 0 of subsequences of (ṽ, q̃) toward
Rt
a limit which we denote by (v, q) in the same space. We then set η = Id + 0 v, and
u = v ◦ η −1 . It is obvious that ṽκ , arising from the double horizontal convolution by layers
of ṽ, satisfies ṽκ → v in L2 (0, T ; H 3.5 (Ω)), and therefore η̃ κ → η in L2 (0, T ; H 4 (Ω). It follows
that divu = 0 in η(Ω) in the limit as κ → 0 in (1.3c). Thus, the limit (v, q) is a solution
to the problem (1.3), and satisfies E0 (t) ≤ M̃0 . We then take T even small, if necessary, to
ensure that (3.3) holds, which follows from the fundamental theorem of calculus.
where Qiαβ
j = Q(∂η) is a rational function of ∂η.
Lemma 13.1. Taking M̃0 as in Proposition 12.1, and letting M0 denote a polynomial func-
tion of M̃0 , for T taken sufficiently small,
sup [|Γ(t)|5.5 + kv(t)k4.5 + kvt (t)k3 ] ≤ M0 .
t∈[0,T ]
54 D. COUTAND AND S. SHKOLLER
Proof. We begin with the estimate for vt . Following the proof Lemma 12.6, we let ∂γ ∂t2
act on the boundary condition (1.3d) and test with −ζ 2 g γδ i k
R Πk vt2,δ√, where ζ 2 = αi , an
element of our partition of unity. Using (13.2), we see that − Γ ∂γ ∂t [ gHn(η)]·ζ 2 g γδ vt ,δ =
R √
Γ
( gqn)tt · [ζ 2 g γδ vt ,δ ],γ . Using (12.41), letting C̃ denote a constant that depends on M̃0 ,
and summing over the partition of unity, we find that
√
|∂ 2 vt · n|20 ≤ C̃ [|v|2 + |η|2 (|vt |1 + |v|1 ) + |(q gn)tt |0 ] |∂ 2 vt · n|0 + C̃|vt |21 |η|3 . (13.3)
This follow since
h√ i
g(g νµ g αβ − g αν g βµ )η i ,β η j ,ν vtj ,µγ g γδ Πik vtk ,δα = 0 ,
while
√ νµ αβ
Z h i
g(g g − g αν g βµ )η i ,β η j ,ν vtj ,µγ (g γδ Πik ),α vtk ,δ ≤ C̃ |vt |1 (|∂ 2 vt · n|0 + |vt |1 |η|3 ) .
Γ
with the same estimate for supt∈[0,T ] k div vt k2 . Hence, for T taken sufficiently small, we
infer from Proposition 5.1 that
sup kvt k3 ≤ M0 . (13.4)
t∈[0,T ]
Next, we let ∂γ ∂ ∂t act on the boundary condition (1.3d) and test with −ζ 2 g γδ Πik ∂ 2 v k ,δ .
2
Computing the H 3.5 (Ω)-norm of (10.8), and again taking T sufficiently small, we see that
supt∈[0,T ] kvk4.5 ≤ M0 .
In order to prove our remaining estimate, we need a convenient reparameterization of
Γ(t) via a height function h in the normal bundle over Γ.
Consider the isometric immersion η0 : (Γ, g0 ) → (R3 , Id). Let B = Γ × (−ǫ, ǫ) where ǫ
is chosen sufficiently small so that the map B : B → R3 : (y, z) 7→ y + zN (y) is itself an
immersion, defining a tubular neighborhood of η0 (Γ) in R3 . We can choose a coordinate
system ∂y∂α , α = 1, 2 and ∂z
∂
.
∗
Let G = B (Id), denote the induced metric on B, and note that G(y, z) = Gz (y)+dz ⊗dz,
where Gz is the metric on the surface Γ × {z}, and that G0 = g0 . Let h : Γ → (−ǫ, ǫ) be
a smooth function and consider the graph of h in B, parameterized by φ : Γ → B : y 7→
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 55
where M0 is polynomial function of ku0 k4.5 and |Γ|5.5 . This key point here, is that the
elliptic estimate for vt ∈ H 3 (Ω) improves the regularity given by Eκ2D (t) and allows for the
required Sobolev embedding theorem to hold.
Since our initial data is a priori assumed regularized as in Subsection 12.1, we see that
solutions of the Euler equations in 3D only depend on M0 .
by the method of Section 12 with κ = 0, we infer that both Eη1 (t) and Eη2 (t) are bounded
by a constant M0 depending on the data u0 and Γ on a time interval 0 ≤ t ≤ T for T small
enough.
Let
w := v 1 − v 2 , r := q 1 − q 2 , and ξ := η 1 − η 2 .
Then (ξ, w, r) satisfies
Z t
ξ= w in Ω × (0, T ] , (15.1a)
0
∂t wi + (a1 )ki r,k = (a2 − a1 )ki q 2 ,k in Ω × (0, T ] , (15.1b)
i
(a1 )ji wi ,j = (a2 − a1 )ji v 2 ,j in Ω × (0, T ] , (15.1c)
1 1 αβ
p
rn1 = −σΠ g ξ,αβ −σ g 1 ∆g1 −g2 (η 2 ) on Γ × (0, T ] , (15.1d)
(ξ, w) = (0, 0) on Ω × {t = 0} . (15.1e)
Set
3
X
E(t) = k∂tk ξ(t)k24.5−k .
k=0
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 57
We will show that E(t) = 0, which shows that w = 0. To do so, we analyze the forcing terms
on the right-hand side of (15.1b) and (15.1c), as well as the term σ∆g1 −g2 (η 2 ) in (15.1d).
RT R
We begin with the third time-differentiated problem, and study the integral 0 Ω ∂t3 [(a1 −
a1 ) ∇q 2 ] wttt . The highest-order term is
Z tZ Z t
1 1 T
Z
(a1 − a2 ) ∇qttt
2
wttt ≤ M0 ka1 − a2 k2L∞ + kwttt k20 ≤ C t P (E(t)) .
0 Ω 2 0 2 0
The third space differentiated and mixed-derivative problems have forcing terms that can
be similarly bounded.
The difference in pressure r satisfies, using the notation of (12.2), satisfies the following
Neumann problem:
j j
La1 (r) = −∂t a1 i wi ,j +[a1 i (a2 − a1 )ki q 2 ,k ],j in Ω ,
p j
Ba1 (r) = −wt · g 1 n1 + a1 i (a2 − a1 )ki q 2 ,k Nj on Γ .
Since P (kη 1 k4.5 ) is bounded by some constant C = P (M0 ), (12.3) provides the estimate
p
krk3.5 ≤ C[ka1t k1.5 kwk2.5 + ka1 k2.5 kq 2 k3.5 ka1 − a2 k2.5 + | g 1 n1 |2 kwt k2.5 ] .
p
Since ka1 − a2 k2.5 ≤ Ckξk3.5 , and ka1t k1.5 , ka1 k2.5 , kq 2 k3.5 , and | g 1 n1 |2 are all bounded
M0 , we see that kr(t)k3.5 ≤ CP (E(t)). Similar estimates for the time derivatives of r show
that kr(t)k3.5 + krt (t)k2.5 + krtt (t)k1 ≤ CP (E(t)).
This shows that the energy estimates of Section 12 go through unchanged for equation
(15.1); therefore, using (15.1e), we see that supt∈[0,T ] E(t) ≤ C T P (supt∈[0,T ] E(t)).
We remind the reader that this type of smoothing satisfies the usual properties of the
standard convolution; in particular, independently of κ, we have the existence of C > 0 such
that for any v ∈ H s (Ω):
kv κ ks ≤ C kvks , and |v κ |s− 21 +p ≤ Cκ−p |v|s− 21 for p ≥ 0.
We will denote for any l ∈ {1, ..., K}, the following transformed functions from v and η that
will naturally arise at the variational level:
Definition 16.1.
√
vlκ = ρ κ1 ⋆h ( αl v ◦ θl ) in (0, 1)3 ,
Z t
κ
η = Id + v κ in Ω,
0
Z t
ηlκ = θl + vlκ in (0, 1)3 .
0
Remark 12. The regularity of the moving free surface will be provided by control of each
ηlκ in a suitable norm independently of the parameter κ.
It is clear that CT is non-empty (since it contains the constant in time function u0 ), and
7
is a convex, bounded and closed set of the separable Hilbert space L2 (0, T ; H 2 (Ω)).
Rt
By choosing T (k∇u0 k 27 + 1) ≤ CΩ ǫ0 , condition (3.1) holds for η = Id + 0 v and any
v ∈ CT and thus (3.2) is well-defined.
We then see that, by taking T smaller if necessary, we have the existence of κ1 > 0 such
that for any κ ∈ (0, κ1 ), we have the injectivity of η κ (t) on Ω for any t ∈ [0, T ], and ∇η κ
satisfies condition (3.1). We then denote aκ = [∇η κ ]−1 , and we let nκ (η κ (x)) denote the
exterior unit normal to η κ (Ω) at η κ (x), with x ∈ Γ. We now set κ2 = min(κ0 , κ1 ), and
assume in the following that κ ∈ (0, κ2 ).
18.2. Existence and uniqueness for the smoothed problems (17.2) and (17.1).
Suppose that v̄ ∈ CT is given. Now, for v ∈ CT given, we define p on η̄ κ (t, Ω) by
△p = −ūκi ,j uj ,i in η̄ κ (t, Ω), (18.1a)
κ
p = 0 on η̄ (t, Γ), (18.1b)
κ −1
where u = v ◦ (η̄ ) . We next define ṽ in Ω by
Z t
ṽ(t) = u0 + [∇p](t′ , η̄ κ (t′ , ·))dt′ , (18.2)
0
and we now explain why the mapping v → ṽ has a fixed point in CT for T > 0 small enough.
For each t ∈ [0, T ], let Ψ(t) denote the solution of ∆Ψ(t) = 0 in Ω with Ψ(t) = η̄ κ (t) on
Γ. For κ and T taken sufficiently small |η̄ κ − Id|4 << 1 so that Ψ(t) is an embedding, and
satisfies
kΨ(t)k4.5 ≤ C|η̄ κ (t)|4 . (18.3)
Letting Q(x, t) = p(Ψ(x, t), t) and A(x, t) = [∇Ψ(x, t)]−1 , (18.1) can be written as
[Aki Aji q,k ],j = −[ūκi ,j uj ,i ](Ψ(x, t), t) in Ω ,
Q = 0 on Γ .
By elliptic regularity (with Sobolev class regularity on the coefficients [9]) almost everywhere
in (0, T ) and using (18.3),
kpk 29 ,η̄κ (t,·) ≤ CP (|η̄ κ |4 )kv̄k 27 kvk 27 P (kη̄ κ k 27 ), (18.4)
where P denotes a generic polynomial. Now, with the definition of T and CT , along with
the properties of the convolution that allow us to state that
1
|η̄ κ |4 ≤ |η̄ κ |3 ,
κ
(since the derivatives involved are along the boundary, allowing our convolution by layers
to smooth in these directions), this provides the following estimate:
kpk 29 ,η̄κ (t,·) ≤ Cκ P (kη̄ κ k 27 )kvk 72 ≤ Cκ kvk 27 ,
60 D. COUTAND AND S. SHKOLLER
where we have used the definition of CT , and where Cκ denotes a generic constant depending
on κ. Consequently, we get in [0, T ],
Z t
kṽ(t)k 27 ≤ ku0 k 72 + kpk 29 ,η̄κ (t′ ,·) kη̄ κ k 72
0
Z t
≤ ku0 k 27 + Cκ kvk 27 kη̄ κ k 27 . (18.5)
0
With the definition of CT , this yields:
sup kṽ(t)k 72 ≤ ku0 k 27 + Cκ T.
[0,T ]
Now, for Tκ ∈ (0, T ) such that Tκ Cκ ≤ 1, we see that ṽ ∈ CTκ , which ensures that the closed
convex set CTκ is stable under the mapping v → ṽ. We could also show that this mapping is
7
also sequentially weakly continuous in L2 (0, Tκ ; H 2 (Ω)). Therefore, by the Tychonoff fixed
point theorem, there exists a fixed point v = ṽ in CTκ . Now, to see the uniqueness of this
fixed point, we see that if another fixed point v̌ existed, we would have by the linearity of
the mapping v → p and the estimates (18.4) and (18.5) an inequality of the type:
Z t
k(v − v̌)(t)k 72 ≤ C kv − v̌k 27 ,
0
which establishes the uniqueness of the fixed point. By construction, if we denote u =
v ◦ (η̄ κ )−1 , this fixed point satisfies the equation on (0, Tκ ):
ut + ūκi u,i +∇p = 0 in η̄ κ (t, Ω).
Besides from the definition of p in (18.1), we have
div ut + ūκi div u,i = 0 in η̄ κ (t, Ω),
i.e.
div u(t, η̄ κ (t, x)) = div u0 (x) = 0 in Ω.
This precisely shows that u = v ◦ (η̄ κ )−1 is the unique solution of the linear system (17.2)
on (0, Tκ ).
Now, we see that we again have a mapping v̄ → v from CTκ into itself, which is also
sequentially weakly lower semi-continuous. It therefore also has a fixed point vκ in CTκ ,
which is a solution of (17.1).
In the following we study the limit as κ → 0 of the time of existence Tκ and of vκ . We
will also denote for the sake of conciseness vκ , uκ = vκ ◦ η κ−1 and (uκ )κ respectively by ṽ,
ũ and ũκ .
We will also denote generic constants by the letter C. Moreover, we will denote
K
X
kΩks = kθi ks,(0,1)2 .
i=1
Furthermore, the time Tκ > 0 will be chosen small enough so that on [0, Tκ ], we have for
our solution ṽ given by Section 18:
1 3
≤ det∇η̃ κ ≤ in Ω, (19.2a)
2 2
kη̃k3 ≤ |Ω| + 1, (19.2b)
kq̃k3 ≤ kq0 k3 + 1 (19.2c)
kṽk 52 ≤ ku0 k 25 + 1, (19.2d)
The right-hand sides appearing in the three last inequalities shall be denoted by a generic
constant C in the estimates that we will perform. In what follows, we will prove that this
can be achieved on a time independent of κ.
Remark 14. Note the presence of κ-dependent coefficients in Ẽ(t), that indeed arise as a
necessity for our asymptotic study. The corresponding terms, without the κ, would of course
not be asymptotically controlled.
Remark 15. The 1 is added to the norm to ensure that Ẽ ≥ 1, which will sometimes be
convenient, whereas not necessary.
7
Now, since from Section 18, ṽ ∈ C 0 (0, Tκ ; H 2 (Ω)) (in a way not controlled asymptotically,
7
which does not matter for our purpose), we have η̃ ∈ C 0 ([0, Tκ ]; H 2 (Ω)). Next with the
definition (18.1), and the definition of our fixed point ṽ, we have for p̃ = q̃ ◦ (η̃ κ )−1 :
△p̃ = −ũκi ,j ũj ,i in η̃ κ (t, Ω),
p̃ = 0 on η̃ κ (t, Γ),
7
which shows that q̃ ∈ C 0 ([0, Tκ ]; H 2 (Ω)). Consequently, Ẽ is a continuous function on
[0, Tκ ].
We will then prove that this continuous in time energy is controlled by the same type
of polynomial law as (41) of [8], which will provide a control independent of κ on a time
independent of κ.
62 D. COUTAND AND S. SHKOLLER
Dt divũ = 0, (22.1a)
Dt curlũ + ũκi ,1 ũ 2
,i −ũκi ,2 1
ũ ,i = 0. (22.1b)
We now study the consequences of these relations on the divergence and curl of η̃ in the
interior of Ω, and of each η̃lκ , (1 ≤ l ≤ N ).
22.1. Estimate for div(β η̃),s . From (22.1a), we then infer in Ω that: (ãκ )ji ṽ,ij = 0. Thus,
for s = 1, 2
(ãκ )ji (βṽ),isj = −β(ãκ )ji ,s ṽ,ij +[(ãκ )ji (βṽ),isj −β(ãκ )ji ṽ,isj ],
and by integration in time,
Z t
(ãκ )ji (β η̃),isj (t) = (ãκ )ji (β η̃),isj (0) + [−β(ãκ )ji ,s ṽ,ij +((ãκ )ji (βṽ),isj −β(ãκ )ji ṽ,isj )]
0
Z t
+ (ãκ )ji t (β η̃),isj . (22.2)
0
Consequently,
Z t
div(β η̃),s (t) =[−(ãκ )ji + δij ](β η̃),isj (t) + (ãκ )ji (β η̃),isj (0) + (ãκ )ji t (β η̃),isj
0
Z t
κ j i κ j i κ j i
+ [−β(ã )i ,s ṽ,j +((ã )i (βṽ),sj −β(ã )i ṽ,sj )]
0
Z t Z t
=[− (ãκ )ji t ](β η̃),isj (t) + (ãκ )ji (β η̃),isj (0) + (ãκ )ji t (β η̃),isj
0 0
Z t
+ [−β(ãκ )ji ,s ṽ,ij +((ãκ )ji (βṽ),isj −β(ãκ )ji ṽ,isj )], (22.3)
0
showing that
k div(β η̃),s (t)k 23 ≤ Ct sup[ kãκt k 23 kβ η̃k 27 ] + C + Ct sup[ kãκ k 25 kṽk 25 ] ≤ CtẼ(t) + C,
[0,t] [0,t]
(22.4)
22.2. Estimate for div[η̃lκ ,s ◦θl−1 ◦ (η̃ κ )−1 ]. Since det∇θl = 1, we then infer in (0, 1)2 , with
b̃κl = [∇η̃ κ ◦ θl ]−1 that
(b̃κl )ji (ṽ ◦ θl ),ij = 0.
64 D. COUTAND AND S. SHKOLLER
Consequently,
√ √
ρ κ1 ⋆h [(b̃κl )ji (( αl η̃) ◦ θl ),isj ](t) =ρ κ1 ⋆h (b̃κl )ji ( αl η̃ ◦ θl ),isj (0)
Z t
√ √
ρ κ1 ⋆h (b̃κl )ji t ( αl η̃ ◦ θl ),isj − αl (θl )(b̃κl )ji ,s (ṽ ◦ θl ),ij
+
0
Z t
√ √
ρ κ1 ⋆h (b̃κl )ji ( αl ṽ ◦ θl ),isj − αl (θl )(b̃κl )ji (ṽ ◦ θl ),isj
+
0
Z t
√
ρ κ1 ⋆h (b̃κl )ji t ( αl η̃ ◦ θl ),isj +R,
=
0
showing that
1
div[η̃lκ ,s ◦θ−1 ◦ (η̃ κ )−1 ]
3 κ ≤ Cκ 2 Ẽ(t) + CtẼ(t)2 + C.
l ,η̃ (θ ((0,1)2 ))
(22.8)
2 l
We now study the curl of the same vector fields as in the two previous subsections.
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 65
showing that,
t κ j t κ j
Z Z
1
(ãt )1 (β η̃),2sj
3 + CtẼ(t)2 + N (u0 )
curl(β η̃),s
3 ≤
(ãt )2 (β η̃),sj −
2 2
0 0
2
≤ CtẼ(t) + N (u0 ). (22.10)
22.4. Estimate for curl[η̃lκ ,s ◦θl−1 ◦ (η̃ κ )−1 ]. In a similar fashion as we obtained (22.8), we
also have here
curl[η̃lκ ,s ◦θ−1 ◦ (η̃ κ )−1 ]
3 κ ≤ CtẼ(t)2 + N (u0 ).
l (22.11)
2 ,η̃ (Ω)
√
22.5. Estimate for κ div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ]. By time differentiating (22.5) twice
in time, we find:
√ √ √
(b̃κl )ji (( αl ṽt ) ◦ θl ),isj (t) = − (b̃κl )ji tt (( αl η̃) ◦ θl ),isj (t) − 2(b̃κl )ji t (( αl ṽ) ◦ θl ),isj (t)
√ √
+ [(b̃κl )ji t ( αl η̃ ◦ θl ),isj ]t − [ αl (θl )(b̃κl )ji ,s (ṽ ◦ θl ),ij ]t
√ √
+ [(b̃κl )ji ( αl ṽ ◦ θl ),isj − αl (θl )(b̃κl )ji (ṽ ◦ θl ),isj ]t . (22.12)
Therefore,
√
κk(b̃κl )ji (( αl ṽt ) ◦ θl ),isj (t)k 32 ,(0,1)2 ≤ CκẼ(t)2
√
+ k(b̃κl )ji t k 23 ,(0,1)2 kκ(( αl ṽ) ◦ θl ),isj (t)k 23 ,(0,1)2
√
+ kκ[(b̃κl )ji ,s ]t k 23 ,(0,1)2 k( αl ṽ ◦ θl ),ij k 23 ,(0,1)2
√
≤ C Ẽ(t)2 + kκ[(b̃κl )ji ,s ]t k 23 ,(0,1)2 k( αl ṽ ◦ θl ),ij k 32 ,(0,1)2 .
(22.13)
Next, we for instance have:
ṽ2κ ◦ θl ,2s η̃2κ ◦ θl ,2
κ(b̃κl ,s )11 t = κ − κ[det(η̃ κ
◦ θ l )]t ,s
det∇(η̃ κ ◦ θl ) det2 ∇(η̃ κ ◦ θl )
η̃2κ ◦ θl ,s2 ṽ2κ ◦ θl ,2
− κ[det(η̃ κ ◦ θl )]t 2 − κ[det(η̃ κ
◦ θ l )],s ,
det ∇(η̃ κ ◦ θl ) det2 ∇(η̃ κ ◦ θl )
which shows that,
kκ(b̃κl ,s )t k 23 ,(0,1)2 ≤ C Ẽ(t),
and with (22.13) this implies:
√
κk(b̃κl )ji (( αl ṽt ) ◦ θl ),isj (t)k 32 ,(0,1)2 ≤ C Ẽ(t)2 .
Z t
κ κ
and thus, still by writing η̃ (t) = η̃ (0) + ṽ κ , we finally have
0
√
κ
div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ]
3 ,η̃κ (Ω) ≤ C Ẽ(t)2 .
(22.14)
2
With the same type of arguments, we also have the following asymptotic estimates:
√
22.6. Estimate for κ curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ].
√
κ
curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ]
3 ,η̃κ (Ω) ≤ C Ẽ(t)2 .
(22.15)
2
√
22.7. Estimate for κ div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ].
2
√
κ2
div[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ]
5 ,η̃κ (Ω) ≤ C Ẽ(t)2 .
(22.16)
2
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 67
√
22.8. Estimate for κ2 curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ].
√
κ2
curl[( αl ṽt ◦ θl ),s ◦θl−1 ◦ (η̃ κ )−1 ]
5 ,η̃κ (Ω) ≤ C Ẽ(t)2 .
(22.17)
2
Remark 16. Since we will time integrate the previous quantities, the absence of a small
parameter in front of Ẽ(t)2 is not problematic.
22.9. Asymptotic control of div ũκ (η̃ κ ). We have
divũκ (η̃ κ ) = (ãκ )jk ṽ κ ,kj
√
= (ãκ )jk [ αi [ρ κ1 ⋆h (ṽiκ )k ](θi−1 )],j
√
= [(b̃κl )jk [ αl (θl )ρ κ1 ⋆h (ṽlκ )],kj ](θl−1 ).
Now, thanks to Lemma 21.2, this leads us to
√
divũκ (η̃ κ ) = [ρ κ1 ⋆h [(b̃κl )jk αl (θl )(ṽlκ ),kj ]](θl−1 ) + r1 ,
with
1
kr1 k 52 ≤ Ck∇η̃ κ k 25 (kκ∇ṽk 25 + κ 2 k∇ṽk2 ) ≤ C Ẽ(t)2 .
Next, we notice that
√
(b̃κl )lk (Etlκ ),kl = (b̃κl )jk ρ κ1 ⋆h [( αl ṽ)(θl )],kj
√
= ρ κ1 ⋆h [ αl (θl )(b̃κl )jk ṽ(θl ),kj ] + r2 ,
with in virtue of Lemma 21.2,
1
kr2 k 25 ≤ Ck∇η̃ κ k 25 (kκ∇ṽk 25 + κ 2 k∇ṽk2 ) ≤ C Ẽ(t)2 .
Now, since (b̃κl )lk ṽ(θl ),kl = 0 in (0, 1)2 , this finally provides us with
k div ũκ (η̃ κ )k 25 ≤ C Ẽ(t)2 . (22.18)
By definition,
K
√ √ X√
αl (θl )η̃ κ ◦ θl ,1111 = αl (θl ) [ αi (θl )[ρ κ1 ⋆h E iκ ](θi−1 ◦ θl )],1111 ,
i=1
the sum being restricted to the indices i such that θi ((0, 1)2 ) and θl ((0, 1)2 ) have a non
empty intersection. We then have
K
√ √ X √
αl (θl )η̃ κ ◦ θl ,1111 = αl (θl )[ αi (θl )[ρ κ1 ⋆h E iκ ],i1 i2 i3 i4 (θi−1 ◦ θl )aiil,1111
1 i2 i3 i4
+ ∆], (23.2)
i=1
with aiil,1111
1 i2 i3 i4
= (θi−1 ◦ θl ),i11
◦ θl ),i12 (θi−1 ◦ θl ),i13 (θi−1 ◦ θl ),i14 , and
(θi−1
√ √
κk αl (θl )∆k0,∂(0,1)2 ≤ CκkΩk 29 sup kρ κ1 ⋆h [ αi η̃ ◦ θi ]k3,(0,1)2
i
√
+ Cκ sup kρ κ1 ⋆h [ αi η̃ ◦ θi ]k 27 ,(0,1)2
i
≤ Cκ(kΩk 29 + 1)Ẽ(t)
≤ CκẼ(t)2 . (23.3)
2
Now, we notice that for x1 ∈ (0, 1) such that θl (x1 , 0) ∈ θi ((0, 1) ), we necessarily have, since
for all k ∈ {1, ..., K}, θk ([0, 1] × {0}) = ∂Ω ∩ θk ([0, 1]2 ), that θi−1 ◦ θl (x1 , 0) = (fil (x1 ), 0),
√
showing that on (0, 1) × {0}, we have αl (θl )aiil,1111
1 i2 i3 i4
= 0 except when i1 = i2 = i3 = i4 = 1.
Therefore, (23.2) can be expressed as
K
√ √ X √
αl (θl )η̃ κ ◦ θl ,1111 = αl (θl )[ αi (θl )[ρ κ1 ⋆h E iκ ],1111 (θi−1 ◦ θl )a1111
il,1111 + ∆]. (23.4)
i=1
Now, from the properties of our convolution by layers, we have (since the derivatives are
horizontal) that
κk[ρ κ1 ⋆h E iκ ],1111 k0,(0,1)×{0} ≤ CkE iκ ,111 k0,(0,1)×{0} . (23.5)
Thus, with (23.2), (23.3) and (23.5), we infer
√
κk αl (θl )η̃ κ ◦ θl ,1111 k0,∂(0,1)2 ≤ CκẼ(t) + C Ẽ(t),
which coupled with (23.1) provides us with
√
κk( αl ṽt ◦ θl ),111 ·η̃ κ ◦ θl ,1 k0,∂(0,1)2 ≤ C Ẽ(t)2 + C.
This provides us the trace estimate:
√
κk( αl ṽt ◦ θl ),1 (θl−1 ◦ (η̃ κ )−1 )·η̃ κ ◦ θl ,1 (θl−1 ◦ (η̃ κ )−1 )k2,∂ η̃κ (θl ((0,1)2 ))
≤ C Ẽ(t)2 + C. (23.6)
Consequently with the divergence and curl estimates (22.14) and (22.15) and the trace
estimate (23.6), we infer by elliptic regularity:
√
κk( αl ṽt ◦ θl ),1 (θl−1 ◦ (η̃ κ )−1 )k 52 ,η̃κ (θl ((0,1)2 )) ≤ C Ẽ(t)2 + C. (23.7)
Remark 17. It is the presence of kΩk 29 in the inequalities leading to (23.3) which explains
9
the assumption of Ω in H 2 . It is, however, not essential as will be shown in Section 26.
One way to see this, is to smooth the initial domain by a convolution with the parameter κ
to form Ωκ . Then, by the properties of the convolution, κkΩκ k 29 ≤ CkΩk 72 .
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 69
9
23.2. Asymptotic control of κ2 ṽt in H 2 (Ω). In a similar way as in the previous subsec-
tion, we would obtain the trace estimate:
√
κ2 k( αl ṽt ◦ θl ),1 (θl−1 ◦ (η̃ κ )−1 )·η̃ κ ◦ θl ,1 (θl−1 ◦ (η̃ κ )−1 )k3,∂ η̃κ (θl ((0,1)2 ))
≤ C Ẽ(t)2 + C,
24. Basic energy law for the control of ṽ and η̃lκ independently of κ.
We will use a different type of energy than in [6], namely:
Definition 24.1.
K
1X
Z
H κ (t) = ξl ◦ θl |(ṽ ◦ θl ),111 |2 ,
2 (0,1)2
l=1
Remark 18. The main differences with respect to the energy of [6] are in the absence in
our energy of any restriction to the tangent components, allowing a more convenient set of
estimates, and in a setting in Lagrangian variables.
We have:
K Z
X
Htκ (t) = ξl ◦ θl ṽt ◦ θl ,111 ṽ ◦ θl ,111
l=1 (0,1)2
K Z
X
=− ξl ◦ θl ((ãκ )kj q̃,k ) ◦ θl ,111 ṽj ◦ θl ,111
l=1 (0,1)2
K Z
ξl ◦ θl [(b̃κl )pj q̃ ◦ θl ,p ],111 ṽj ◦ θl ,111 ,
X
=−
l=1 (0,1)2
where b̃κl = [∇(η̃ κ ◦ θl )]−1 . Next, we see that Htκ = −[H1 + H2 + H3 ], with
K Z
ξl (θl )(b̃κl )pj ,111 q̃ ◦ θl ,p ṽj ◦ θl ,111 ,
X
H1 (t) =
l=1 (0,1)2
K Z
ξl ◦ θl [(b̃κl )pj q̃ ◦ θl ,p111 ]ṽj ◦ θl ,111 ,
X
H2 (t) =
l=1 (0,1)2
K Z
ξl ◦ θl [[(b̃κl )pj q̃ ◦ θl ,p ],111 −(b̃κl )pj q̃ ◦ θl ,l111 −(b̃κl )pj ,111 q̃ ◦ θl ,l ]ṽj ◦ θl ,111 .
X
H3 (t) =
l=1 (0,1)2
We then notice that from the divergence condition, we have (b̃κl )pj ṽj ◦ θl ,p = 0 in (0, 1)2 ,
implying
K Z
ξl ◦ θl q̃ ◦ θl ,111 (b̃κl )pj ,111 ṽj ◦ θl ,p
X
H2 (t) =
l=1 (0,1)2
K Z
ξl ◦ θl q̃ ◦ θl ,111 (b̃κl )pj ,11 ṽj ◦ θl ,p1
X
+
l=1 (0,1)2
K Z
ξl ◦ θl q̃ ◦ θl ,111 (b̃κl )pj ,1 ṽj ◦ θl ,p11
X
+
l=1 (0,1)2
K Z
[ξl ◦ θl (b̃κl )pj ],p q̃ ◦ θl ,111 ṽj ◦ θl ,111 .
X
−
l=1 (0,1)2
1
Now, in a way similar as (8.15), we have for any f ∈ H 2 ((0, 1)2 )
kξl ◦ θl f,1 k 1 ≤ Ckf k 1 ,
H 2 ((0,1)2 )′ H 2 ((0,1)2 )
since the derivative is in the horizontal direction. By applying this result to f = (b̃κl )pj ,11 for
the first integral appearing in the equality above, and by using the continuous embedding
1
of H 1 into L6 (6 ∈ (1, ∞)), and of H 2 into L3 (3 ∈ (1, 4)) for the other integrals, we then
obtain:
|H2 (t)| ≤ Ckãκ k 52 kq̃k 27 kṽk3 ≤ C Ẽ(t)3 . (24.2)
We now come to H1 , which will require more care, and will provide us with the regularity
7
of η̃lκ (Ω) in H 2 independently of κ. We have:
Z
H1 (t) = ξl ◦ θl (b̃κl )pj ,111 [q̃ ◦ θl ],p ṽj ◦ θl ,111
(0,1)2
Z
= H11 (t) + H12 (t) − ξl ◦ θl ∆pj [q̃ ◦ θl ],p ṽj ◦ θl ,111 , (24.3)
(0,1)2
with
(Cof∇(η̃ κ ◦ θl ))pj ,111
Z
H11 (t) = ξl ◦ θl [q̃ ◦ θl ],p ṽj ◦ θl ,111 ,
(0,1)2 det∇(η̃ κ ◦ θl )
[det∇(η̃ κ ◦ θl )],111
Z
H12 (t) = − ξl ◦ θl (Cof∇(η̃ κ ◦ θl ))pj [q̃ ◦ θl ],p ṽj ◦ θl ,111 ,
(0,1)2 [det∇(η̃ κ ◦ θl )]2
and
(Cof∇(η̃ κ ◦ θl ))pj (Cof∇(η̃ κ ◦ θl ))pj ,111 κ
p [det∇(η̃ ◦ θl )],111
∆pj = ,111 − + (Cof∇(η̃ κ
◦ θ l ))j ,
det∇(η̃ κ ◦ θl ) det∇(η̃ κ ◦ θl ) [det∇(η̃ κ ◦ θl )]2
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 71
so that
Z
∆pj [(ξl q̃) ◦ θl ],p ṽj ◦ θl ,111 ≤ Ckṽk3 .
(24.4)
(0,1)2
We now turn our attention to the other terms of (24.3), and to shorten notations, we will
set: Q̃l = q̃ ◦ θl . We first study the perturbation H12 , which would not appear if the volume
preserving condition was respected by our smoothing by convolution. It turns out that we
do need the double convolution by layers appearing in the definition of v κ in order to identify
time derivatives of space energies. We first notice that since θl does not depend on t, we
have:
(η̃ κ ◦ θl )t = ũκ ◦ (η̃ κ ◦ θl ),
from which we infer in (0, 1)2 , since θl is volume preserving,
[det(∇η̃ κ ◦ θl )]t = divũκ (η̃ κ ◦ θl ) det∇(η̃ κ ◦ θl ). (24.5)
24.1. Study of H12 . We have after an integration by parts in time, and the use of (24.5):
Z t X3
i
H12 = H12 + R12 ,
0 i=1
with
Z tZ
divũκ (η̃ κ ◦ θl ) [det∇(η̃ κ ◦ θl )],111
1
H12 = ξl ◦ θl (Cof∇(η̃ κ ◦ θl ))pj Q̃l ,p η̃j ◦ θl ,111 ,
0 (0,1)2 [det∇(η̃ κ ◦ θl )]2
Z tZ
[divũκ (η̃ κ ◦ θl )],111 det∇(η̃ κ ◦ θl )
2
H12 = ξl ◦ θl (Cof∇(η̃ κ ◦ θl ))pj Q̃l ,p η̃j ◦ θl ,111 ,
0 (0,1)2 [det∇(η̃ κ ◦ θl )]2
κ
[det∇(η̃ ◦ θl )],111
Z
3
H12 =− ξl ◦ θl (Cof∇˜(η̃ κ ◦ θl ))pj Q̃l ,p η̃j ◦ θl ,111 (t),
(0,1) 2 [det∇(η̃ κ ◦ θl )]2
and
|R12 (t)| ≤ CtẼ(t)3 + C. (24.6)
1
24.1.1. Study of H12 . For the sake of conciseness, we denote
divũκ (η̃ κ ◦ θl )
Ajl = ξl ◦ θl (Cof∇(η̃ κ ◦ θl ))pj [q̃ ◦ θl ],p .
[det∇(η̃ κ ◦ θl )]2
We then see, by expanding
P4 the third space derivative of the determinant in the integrand
1 1 1i 1 1i 11
of H12 , that H12 = i=1 H12 + R12 with the H12 being estimated as H12 that we precise
below and R12 being a remainder estimated as (24.6). By definition of η̃ κ we have, if we
1
denote
√
E iκ = ρ κ1 ⋆h (( αi η̃) ◦ θi ),
Z tZ
√
11
Ajl (η̃2κ ◦ θl ),2 αi (θi ) ρ κ1 ⋆h E1iκ (θi−1 ◦ θl ) ,1111
H12 =
0 (0,1)2
9
considered later on when such terms arise. From our assumed regularity on Ω in H 2 , we
then have
Z tZ
11
Ajl (η̃2κ ◦ θl ),2 ρ κ1 ⋆h E1iκ (θi−1 ◦ θl ) ,1111
H12 =
0 (0,1)2
√
[ αi η̃j ◦ θi (θi−1 ◦ θl )],111 + R12
11
,
11
with |R12 | ≤ CtẼ(t)2 . We next have, since the charts θi are volume preserving,
Z tZ
11
[Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi ) [ρ κ1 ⋆h E1iκ ],j1 j2 j3 j4
H12 =
0 θi−1 (θl (0,1)2 )
√
cjil,1111
1 j2 j3 j4 i1 i2 i3
cil,111 [ αi η̃j ◦ θi ],i1 i2 i3 +R,
cjil,111
1 j2 j3 j4
= [(θi−1 ◦ θl )j1 ,1 (θi−1 ◦ θl )j2 ,1 (θi−1 ◦ θl )j3 ,1 (θi−1 ◦ θl )j4 ,1 ](θl−1 ◦ θi ), (24.7a)
ciil,111
1 i2 i3
= [(θi−1 ◦ θl ) i1
,1 (θi−1 i2
◦ θl ) ,1 (θi−1 i3
◦ θl ) ,1 ](θl−1 ◦ θi ). (24.7b)
Next, we notice that the term Ajl (θl−1 ◦ θi ) introduces a factor αl ◦ θi which is non zero only
if x ∈ θi−1 (θl (0, 1)2 ), leading us to
Z tZ
11
[Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi ) ρ κ1 ⋆h E1iκ ,j1 j2 j3 j4
H12 =
0 (0,1)2
√
cjil,1111
1 j2 j3 j4 i1 i2 i3
cil,111 [ αi η̃j ◦ θi ],i1 i2 i3 +R,
where θl−1 ◦θi is extended outside of θi−1 (θl (0, 1)2 ) in any fashion. This argument of replacing
an integral on a subset of (0, 1)2 by an integral on (0, 1)2 will be implicitly repeated at other
places later on. Now, since ρ is even,
Z tZ
11
E1iκ ,j1 j2 j3 j4 ρ κ1 ⋆ [Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )
H12 =
0 (0,1)2
√
cjil,1111
1 j2 j3 j4 i1 i2 i3
cil,111 [ αi η̃j ◦ θi ],i1 i2 i3 +R. (24.8)
√
Now, let us call f = [Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )cjil,1111
1 j2 j3 j4 i1 i2 i3
cil,111 and g = [ αj η̃1 ◦ θi ],i1 i2 i3 . We
notice that kf k 25 ,(0,1)2 is the natural norm associated to Ẽ(t). Here we cannot use directly
1
iκ
Lemma 21.2 for the case where all the ji = 3, since E3333 is not necessarily in H 2 ((0, 1)2 )′
a priori. Instead, we write
Z y1
f (y1 , x2 ) = f (x1 , x2 ) + (y1 − x1 ).f,1 (x1 , x2 ) + [f,1 (x, x2 ) − f,1 (x1 , x2 )]dx,
x1
2
which shows that on (0, 1) :
ρ κ1 ⋆h [f g](x1 , x2 ) =f (x1 , x2 )ρ κ1 ⋆h g(x1 , x2 )
Z
+ f,1 (x1 , x2 ) ρ κ1 (y1 − x1 )(y1 − x1 )g(y1 , x2 )dy1
R
Z Z y1
+ ρ κ1 (y1 − x1 ) [f,1 (x, x2 ) − f,1 (x1 , x2 )]dx g(y1 , x2 )dy1 .
R x1
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 73
This implies
Z tZ
11
[Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi ) E1iκ ,j1 j2 j3 j4
H12 =
0 (0,1)2
√
cjil,1111
1 j2 j3 j4 i1 i2 i3
cil,111 ρ κ1 ⋆h [ αi (θi )[η̃1 ◦ θi ],i1 i2 i3 ] +R − R1 − R2 , (24.9)
with
Z tZ
E1iκ ,j1 j2 j3 j4 (x1 , x2 )f,1 (x1 , x2 )
R1 =
0 (0,1)2
Z
ρ κ1 (y1 − x1 )(y1 − x1 )g(y1 , x2 )dy1 dx1 dx2 ,
R
Z tZ
E1iκ ,j1 j2 j3 j4 (x1 , x2 )
R2 =
0 (0,1)2
Z Z y1
ρ κ1 (y1 − x1 ) [f,1 (x, x2 ) − f,1 (x1 , x2 )]dx g(y1 , x2 )dy1 dx1 dx2 .
R x1
we have
Z t Z Z
3
kη̃ κ k 27 |E1iκ ,j1 j2 j3 j4 (x1 , x2 )|
R2 ≤C ρ κ1 (y1 − x1 )κ 2 |g(y1 , x2 )|dy1 dx1 dx2
0 (0,1)2 R
Z t Z
3
kη̃ κ k 27 |κ E1iκ ,j1 j2 j3 j4 | ρ κ1 ⋆h |g|
≤C 2
0 (0,1)2
Z t Z t
3
kη̃ κ k 27 κ 2 kE1iκ ,j1 j2 j3 j4 (0)k0,(0,1)2 + k(E1iκ )t ,j1 j2 j3 j4 k0,(0,1)2 kgk0,(0,1)2
≤C
0 0
3
≤Ctκ 2 Ẽ(t) + CtẼ(t)3 , (24.10)
3√
where we have used the fact that kκ 2 αi ṽ1 ◦ θi ],i1 i2 i3 i4 k0,(0,1)2 is contained in the definition
of Ẽ(t). We now turn our attention to R1 . We first remark that
4
[(θi−1 ◦ θl ),j1n (θl−1 ◦ θi )],1
X
[Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )ciil,111
1 i2 i3
+
n=1
j
Πp6=n (θi−1 ◦ θl ),1p (θl−1 ◦ θi ) ,
4
X
R1 = R11 + R1in ,
n=1
74 D. COUTAND AND S. SHKOLLER
with
Z tZ
R11 cjil,1111
1 j2 j3 j4
E1 ,j1 j2 j3 j4 (x1 , x2 )([Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )ciil,111
1 i2 i3
iκ
= ),1
0 (0,1)2
Z
ρ κ1 (y1 − x1 )(y1 − x1 )g(y1 , x2 )dy1 dx1 dx2 ,
R
Z tZ
R1in = E1iκ ,j1 j2 j3 j4 (x1 , x2 )Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )
0 (0,1)2
j
[(θi−1 ◦ θl ),j1n (θl−1 ◦ θi )],1 Πp6=n (θi−1 ◦ θl ),1p (θl−1 ◦ θi )
Z
i1 i2 i3
cil,111 ρ κ1 (y1 − x1 )(y1 − x1 )g(y1 , x2 )dy1 dx1 dx2 .
R
[cjil,111
2 j3 j4
([Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi )ciil,111
1 i2 i3
),1 h](θi−1 ◦ θl ) .
Since the derivative of (E1iκ ,j2 j3 j4 ◦θi−1 ◦ θl ) is in the horizontal direction, we infer similarly
as in (8.15) that
Z tZ
R11 ≤
E ,j2 j3 j4 ◦θ−1 ◦ θl
1
iκ
1 i ,(0,1)2 2
0 (0,1)2
j2 j3 j4 κ −1
◦ θi )ciil,111
1 i2 i3
),1 h](θi−1 ◦ θl )
1 ,(0,1)2 .
il,111 ([Ajl (η̃2 ◦ θl ),2 ](θl
[c
2
which leads for the same reasons as for R11 to |R1i1 | ≤ CtẼ(t)2 . Since the other R1in are
similar in structure, we have
|R1in | ≤ CtẼ(t)2 . (24.12)
Consequently from (24.9), (24.10), (24.11) and (24.12), we infer
Z tZ
11
[Ajl (η̃2κ ◦ θl ),2 ](θl−1 ◦ θi ) E1iκ ,j1 j2 j3 j4
H12 =
0 (0,1)2
√
cjil,1111
1 j2 j3 j4 i1 i2 i3
11
cil,111 ρ κ1 ⋆h [ αi (θi )[η̃1 ◦ θi ],i1 i2 i3 ] +r12 ,
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 75
with
3
11
|r12 (t)| ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t). (24.13)
j1 j2 j3 j4 j2 j3 j4
Since E1iκ ,j1 j2 j3 j4 cil,1111 = cil,111 (E1iκ ,j2 j3 j4 ◦θi−1 ◦ θl ),1 (θl−1 ◦ θi ), we infer as for R11 that
3
11
|H12 11
(t)| ≤ Ct sup sup kAjl k 52 ,(0,1)2 kη̃lκ k27 + |r12 | ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t).
2
j,l [0,t]
1i
The other H12 are estimated in the same fashion, leading us to
3
1
|H12 (t)| ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t). (24.14)
2 2
24.1.2. Study of H12 . Next, for H12 , we first notice from the asymptotic regularity result
κ κ 2 1
(22.18) on div ũ (η̃ ), that H12 can be treated in the same fashion as H12 , leading to
3
2
|H12 (t)| ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t). (24.15)
3
24.1.3. Study of H12 . We simply write
[det∇θl ],111
Z
−H12 3
= ξl (θl )(Cof∇(η̃ κ ◦ θl ))pj Q̃ , η̃ ◦ θl ,111 (t) + R12
κ ◦ θ )]2 l p j
3
(0,1) 2 [det∇(η̃ l
Rt
[det∇(η̃ κ ◦ θl )],111 div(ũκ ◦ θl )
Z
+ ξl (θl )(Cof∇(η̃ κ ◦ θl ))pj 0 Q̃l ,p η̃j ◦ θl ,111 (t)
(0,1)2 [det∇(η̃ κ ◦ θl )]2
Rt
det∇(η̃ κ ◦ θl )[div(ũκ ◦ θl )],111
Z
+ ξl (θl )(Cof∇(η̃ κ ◦ θl ))pj 0 Q̃l ,p η̃j ◦ θl ,111 (t),
(0,1)2 [det∇(η̃ κ ◦ θl )]2
3
with R12 being bounded by a term similar as the right-hand side of (24.15). We also see that
the first term of this equality can be estimated by a bound similar as the right-hand side
1
of (24.15). The third term is treated in a way similar as H12 , in order to put a convolution
in front of (η̃j ◦ θl ),111 . There is no difference linked to the fact that the integral from 0 to
1
t does not apply on all terms as for H12 since ρ κ1 and the θl do not depend on time. The
2
fourth term follows the same treatment as H12 , leading us to
3
3
|H12 (t)| ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t),
which with (24.14) and (24.15) implies
3
|H12 (t)| ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t). (24.16)
√
24.2. Study of H11 . As for H11 , we have if we still denote E iκ = ρ κ1 ⋆h (( αi η̃) ◦ θi ) and
ǫmn the sign of the permutation between (m, n) and (1, 2):
(η̃ κ ◦ θl ),r111
Z
mn rs
H11 (t) = ǫ ǫ ξl (θl ) m κ [q̃ ◦ θl ],s ṽn (θl ),111
(0,1)2 det∇(η̃ ◦ θl )
[q̃ ◦ θi (θi−1 ◦ θl )],s √
Z
= ǫmn ǫrs iκ
](θi−1 ◦ θl ) ,r111
ξl (θl ) κ
[ αi (θi )ρ κ1 ⋆h Em
(0,1)2 det∇(η̃ ◦ θl )
[ṽn ◦ θi (θi−1 ◦ θl )],111
[q̃ ◦ θi ],i1
Z
= ǫmn ǫrs iκ
,j1 j2 j3 j4 cjil,r111
1 j2 j3 j4
ξl (θi ) κ −1 ρ κ1 ⋆h Em
(0,1)2 det∇(η̃ ◦ θl )(θl ◦ θi )
√
ciil,s111
1 i2 i3 i4
[ αi ṽn ◦ θi ],i2 i3 i4 +R11 ,
76 D. COUTAND AND S. SHKOLLER
with
|R11 (t)| ≤ C Ẽ(t)2 ,
and
cjil,r111
1 j2 j3 j4
= (θi−1 ◦ θl ),jr1 (θi−1 ◦ θl ),j12 (θi−1 ◦ θl ),j13 (θi−1 ◦ θl ),j14 (θl−1 ◦ θi ).
Therefore,
√
Z
H11 = ǫmn ǫrs iκ
ξl (θi )[q̃(θi )],i1 ρ κ1 ⋆h Em ,j1 j2 j3 j4 [ αi ṽn ◦ θi ],i2 i3 i4 h(ji)
rs
1234
+ R11 ,
(0,1)2
with
cjil,r111
1 j2 j3 j4 i1 i2 i3 i4
cil,s111
h(ji)
rs
1234
= . (24.17)
det∇(η̃ κ ◦ θl )(θl−1 ◦ θi )
11
Similarly as in the study of H12 (from equations (24.8) to (24.13)) we have:
√
Z
H11 = ǫmn ǫrs ξl (θi )[q̃(θi )],i1 h(ji)
rs
1234 iκ
Em ,j1 j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i2 i3 i4
(0,1)2
+ S11 + R11 ,
with,
3
|S11 | ≤ CtẼ(t)3 + Ctκ 2 Ẽ(t).
By integrating by parts in space (and using ξl q̃(θi ) = 0 on ∂(0, 1)2 ),
√ √
Z
mn rs
H11 = −ǫ ǫ (ξl q̃)(θi )h(ji)
rs
1234
ρ κ1 ⋆h [ αi η̃m ◦ θi ],j1 j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i1 i2 i3 i4
(0,1)2
1 2
+ H11 + H11 + S11 + R11 , (24.18)
with
√ √
Z
1
H11 = −ǫmn ǫrs (ξl q̃)(θi )h(ji)
rs
1234
ρ κ1 ⋆h [ αi η̃m ◦ θi ],i1 j1 j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i2 i3 i4 ,
(0,1)2
(24.19a)
√ √
Z
2
H11 = −ǫmn ǫrs q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃m ◦ θi ],j1 j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i2 i3 i4 .
(0,1)2
(24.19b)
1
For H11 , by taking into account the symmetric role of {i2 , i3 , i4 } and {j2 , j3 , j4 }, we obtain:
√ √
Z
1 mn rs
H11 = −ǫ ǫ (ξl q̃)(θi )h(ji)
rs
1234
ρ κ1 ⋆h [ αi η̃m ◦ θi ],i1 j1 i2 i3 i4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],j2 j3 j4 .
(0,1)2
(ji)1234 (ij)1234
Next, since hrs = hsr , this implies
√ √
Z
1
H11 = −ǫmn ǫrs (ξl q̃)(θi )h(ij)
sr
1234
ρ κ1 ⋆h [ αi η̃m ◦ θi ],i1 j1 i2 i3 i4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],j2 j3 j4
(0,1)2
√ √
Z
= ǫmn ǫsr (ξl q̃)(θi )h(ij)
sr
1234
ρ κ1 ⋆h [ αi η̃m ◦ θi ],j1 i1 i2 i3 i4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],j2 j3 j4 .
(0,1)2
1 2 2 21 22
and thus H11 = 0. For H11 , we have by integrating by parts H11 = H11 + H11 , with
√ √
Z
21
H11 = ǫmn ǫrs (ji)1234
[q̃(θi )[ξl (θi )hrs ],i1 ],j1 ρ κ1 ⋆h [ αi η̃m ◦ θi ],j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i2 i3 i4
(0,1)2
√ √
Z
22
H11 = ǫmn ǫrs q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃m ◦ θi ],j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],j1 i2 i3 i4 .
(0,1)2
21 √ √
First, for H11 we have if we denote Emn = ǫmn ρ κ1 ⋆h [ αi η̃m ◦θi ],j2 j3 j4 ρ κ1 ⋆h [ αi η̃n ◦θi ],i2 i3 i4 :
Z t
1 t rs
Z Z
21
H11 =− ǫ [[q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ],j1 ]t Emn
0 2 0 (0,1)2
1
Z
t
+ ǫrs [q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ],j1 Emn 0 .
2 (0,1)2
Therefore,
t 21
Z Z t
|ǫrs |
[[q̃(θi )[ξl (θi )h(ji) ],i1 ],j1 ]t
1 ,(0,1)2 kη̃k27
H11 ≤C rs
1234
2 2
0 0
rs
(ji)1234
],i1 ],j1 (0) L∞ ((0,1)2 ) kη̃k27 (t) + kη̃k27 (0)
+ C|ǫ | [q̃(θi )[ξl (θi )hrs
2 2
Z t
[[q̃(θi )[ξl (θi )h(ji) ],i1 ],j1 ]t
1 ,(0,1)2 kη̃k27 (t) + kη̃k27 (0) .
+C rs
1234
2 2 2
0
With the definition (24.17) and (22.18) for the control of the time derivative of det(∇(η̃ κ ))
5
in H 2 (Ω), we then infer:
t 21
Z
H11 ≤CtẼ(t)4 + N (u0 ). (24.20)
0
22
Next, for H11 ,
we have by relabeling m and n
√ √
Z
22
H11 = ǫnm ǫrs q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃n ◦ θi ],j2 j3 j4 ρ κ1 ⋆h [ αi ṽm ◦ θi ],j1 i2 i3 i4
(0,1) 2
√ √
Z
mn rs
= −ǫ ǫ q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃n ◦ θi ],j2 j3 j4 ρ κ1 ⋆h [ αi ṽm ◦ θi ],j1 i2 i3 i4 .
(0,1)2
By taking into account the symmetric role of {i2 , i3 , i4 } and {j2 , j3 , j4 }, we then obtain:
√ √
Z
22 mn rs
H11 = −ǫ ǫ q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃n ◦ θi ],i2 i3 i4 ρ κ1 ⋆h [ αi ṽm ◦ θi ],j1 j2 j3 j4 .
(0,1)2
(24.21)
Consequently, by (24.19b) and (24.21),
√ √
Z
2 mn rs
2H11 = −ǫ ǫ q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃m ◦ θi ],j1 j2 j3 j4 ρ κ1 ⋆h [ αi ṽn ◦ θi ],i2 i3 i4
(0,1)2
√ √
Z
− ǫmn ǫrs q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 ρ κ1 ⋆h [ αi η̃n ◦ θi ],i2 i3 i4 ρ κ1 ⋆h [ αi ṽm ◦ θi ],j1 j2 j3 j4
(0,1)2
21
+ H11
√ √
Z
= −ǫmn ǫrs q̃(θi )[ξl (θi )h(ji)
rs
1234
],i1 [ρ κ1 ⋆h [ αi η̃m ◦ θi ],j1 j2 j3 j4 ρ κ1 ⋆h [ αi η̃n ◦ θi ],i2 i3 i4 ]t
(0,1)2
21
+ H11 .
78 D. COUTAND AND S. SHKOLLER
Therefore,
Z t Z tZ
2 1
H11 = ǫmn ǫrs [q̃(θi )[ξl (θi )h(ji)
rs
1234 m
],i1 ]t η̃iκ n
,j1 j2 j3 j4 η̃iκ ,i2 i3 i4
0 2 0 (0,1)2
1 mn rs t 1 t 21
Z Z
(ji)1234 m n
− ǫ ǫ q̃(θi )[ξl (θi )hrs ],i1 η̃iκ ,j1 j2 j3 j4 η̃iκ ,i2 i3 i4 0 + H .
2 (0,1)2 2 0 11
1
Now, from (24.18) and H11 = 0, we infer by integrating by parts in time:
Z t Z tZ
1
H11 = ǫmn ǫrs [(ξl q̃)(θi )h(ji)
rs
1234 m
]t η̃iκ n
,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4
0 2 0 (0,1)2
1
Z
t
− ǫmn ǫrs (ξl q̃)(θi )h(ji) 1234 m n
rs η̃iκ ,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4 0
2 (0,1)2
Z t
1 2
+ [S11 + R11 + H11 ].
0 2
Now, we claim that the only couples (i1 , j1 ) contributing to the sum above are the ones with
i1 6= j1 . To see that, we notice that if i1 = j1 , then by simply relabeling m and n, and using
the symmetric role of {i2 , i3 , i4 } and {j2 , j3 , j4 }
h(ji)
rs
1234 mn m n
ǫ η̃iκ ,i1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4 = h(ji)
rs
1234 nm n m
ǫ η̃iκ ,i1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4
= h(ji)
rs
1234 nm n m
ǫ η̃iκ ,i1 i2 i3 i4 η̃iκ ,j1 j2 j3 j4
(ji)1234 mn m n
leading to hrs ǫ η̃iκ ,i1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4 = 0, since ǫmn = −ǫnm . Consequently if we
denote
(ji)1234
hrs
d(ji)234 = ,
[(θi−1 ◦ θl ),jr1 (θi−1 ◦ θl ),is1 ](θl−1 ◦ θi )
we have
Z t
1 mn i1 j1 t
Z Z
[(ξl q̃)(θi )d(ji)234 ]t ǫrs ǫi1 j1 [(θi−1 ◦ θl ),jr1 (θi−1 ◦ θl ),is1 ](θl−1 ◦ θi )
H11 = ǫ ǫ
0 2 0 (0,1) 2
m n
η̃iκ ,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4
1 mn i1 j1
Z
(ξl q̃)(θi )d(ji)234 ǫrs ǫi1 j1 [(θi−1 ◦ θl ),jr1 (θi−1 ◦ θl ),is1 ](θl−1 ◦ θi )
− ǫ ǫ
2 (0,1)2
m n
t
η̃iκ ,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4 0
Z t
1 2
+ [S11 + R11 + H11 ].
0 2
Now, for any fixed (i1 , j1 ), we have ǫrs ǫi1 j1 [(θi−1 ◦ θl ),jr1 (θi−1 ◦ θl ),is1 ] = −det(∇(θi−1 ◦ θl )) =
−1, leading us to
Z t Z tZ
1
H11 = − ǫmn ǫi1 j1 m
[(ξl q̃)(θi )d(ji)234 ]t η̃iκ n
,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4
0 2 0 (0,1)2
1
Z
t
+ ǫmn ǫi1 j1 m
(ξl q̃)(θi )d(ji)234 η̃iκ n
,j1 j2 j3 j4 η̃iκ ,i1 i2 i3 i4 0
2 (0,1)2
Z t
1 2
+ [S11 + R11 + H11 ].
0 2
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 79
We now come to the study of the crucial term bringing the regularity of the surface.
24.2.1. Control of the trace of η̃iκ on Γ. Let us study the second term of the right-hand
side of (24.22):
1
Z
H = − ǫmn ǫi1 j1 m
[(ξl q̃)(θi )d(ji)234 ],i1 η̃iκ n
,j1 j2 j3 j4 η̃iκ ,i2 i3 i4 ,
2 (0,1)2
Now, for the same reason as before, the couples (i′1 , j1′ ) such i′1 = j1′ will not contribute to
the sum above, leading us to
1 mn i′1 j1′
Z
[[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],i′1 ◦η̃ κ ◦ θi
H=− ǫ ǫ
2 (0,1)2
′ ′ i′ j′
ǫi1 j1 ǫi1 j1 [η̃ κ ◦ θi ],i11 [η̃ κ ◦ θi ],j11
m
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],j1′ ◦η̃ κ ◦ θi η̃iκ
n
[η̃iκ ,i2 i3 i4
1
Z
′ ′
= − ǫmn ǫi1 j1 [[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],i′1 ◦η̃ κ ◦ θi det∇(η̃ κ ◦ θi )
2 (0,1)2
m
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],j1′ ◦η̃ κ ◦ θi η̃iκ
n
[η̃iκ ,i2 i3 i4
1
Z
′ ′
= − ǫmn ǫi1 j1 [[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],i′1
2 η̃ κ (θi ((0,1)2 ))
m
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],j1′ η̃iκ
n
,i2 i3 i4 ◦θi−1 ◦ (η̃ κ )−1
[η̃iκ
= I + J,
80 D. COUTAND AND S. SHKOLLER
with
1
Z
I = − (ǫmn )2 [[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],m
2 η̃ κ (θi ((0,1)2 ))
m
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],n η̃iκ
n
,i2 i3 i4 ◦θi−1 ◦ (η̃ κ )−1
[η̃iκ
1
Z
J = (ǫmn )2 [[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],n
2 η̃ κ (θ i ((0,1)2 ))
m
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],m η̃iκ
n
,i2 i3 i4 ◦θi−1 ◦ (η̃ κ )−1 .
[η̃iκ
1X
Z
[[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],n
J =−
2 n η̃ κ (θi ((0,1)2 ))
n
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ],n η̃iκ
n
,i2 i3 i4 ◦θi−1 ◦ (η̃ κ )−1 + J1 ,
[η̃iκ
1
Z
[[(ξl q̃)(θi )d(ji)234 ] ◦ θi−1 ◦ (η̃ κ )−1 ],n
J1 =
2 η̃ κ (θ i ((0,1)2 ))
= J11 + J12 ,
where
1
Z
J11 [[(ξl q̃)(θi )ciil,111
2 i3 i4
] ◦ θi−1 ◦ (η̃ κ )−1 ],n cjil,111
2 j3 j4
◦ θi−1 ◦ (η̃ κ )−1
=
2 η̃ κ (θ i ((0,1)2 ))
1
Z
J12 = [(ξl q̃)(θi )ciil,111
2 i3 i4
] ◦ θi−1 ◦ (η̃ κ )−1 [cjil,111
2 j3 j4
◦ θi−1 ◦ (η̃ κ )−1 ],n
2 η̃ κ (θi ((0,1)2 ))
j
fil = [[(ξl q̃)(θi )ciil,111
2 i3 i4
] ◦ θi−1 ◦ (η̃ κ )−1 ],n [Π3p=2 (θi−1 ◦ θl ),1p (θl−1 ◦ θi )η̃iκ
n
,i2 i3 i4 ](θi−1 ◦ (η̃ κ )−1 ),
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 81
so that in order to identify an horizontal derivative on the highest order term we have:
1
Z
J11 = fil (θi−1 ◦ θl ),j14 (θl−1 ◦ (η̃ κ )−1 ) div[η̃iκ ,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ]
2 η̃κ (θi ((0,1)2 ))
1
Z
= fil (θi−1 ◦ θl ),j14 (θl−1 ◦ (η̃ κ )−1 )(θi−1 ◦ (η̃ κ )−1 ),lk [η̃iκ ,kj2 j3 j4 l ] ◦ θi−1 ◦ (η̃ κ )−1
2 η̃κ (θi ((0,1)2 ))
1
Z
fil (θi−1 ◦ θl ),j14 (θl−1 ◦ (η̃ κ )−1 )(θi−1 ◦ (η̃ κ )−1 ),lk
=
2 η̃κ (θi ((0,1)2 ))
[η̃iκ ,kj2 j3 l ◦θi−1 ◦ (η̃ κ )−1 ],q (η̃ κ ◦ θi ),qj4 (θi−1 ◦ (η̃ κ )−1 )
1
Z
fil (θi−1 ◦ θl ),j14 (θl−1 ◦ (η̃ κ )−1 )
=
2 η̃κ (θi ((0,1)2 ))
[(θi−1 ◦ (η̃ κ )−1 ),lk η̃iκ ,kj2 j3 l ◦θi−1 ◦ (η̃ κ )−1 ],q (η̃ κ ◦ θi ),qj4 (θi−1 ◦ (η̃ κ )−1 ) + r11
1
Z
fil [(η̃ κ ◦ θi ),qj4 (θi−1 ◦ θl )(θi−1 ◦ θl ),j14 ](θl−1 ◦ (η̃ κ )−1 )
=
2 η̃κ (θi ((0,1)2 ))
div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ],q + r11
1
Z
= fil (η̃ κ ◦ θl ),q1 (θl−1 ◦ (η̃ κ )−1 ) div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ],q +r11
2 η̃κ (θi ((0,1)2 ))
1
Z
= fil (div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ] ◦ η̃ κ ◦ θl ),1 (θl−1 ◦ (η̃ κ )−1 ) + r11
2 η̃κ (θi ((0,1)2 ))
with |r11 | ≤ Ckη̃ κ k23 . Now, we notice that the presence of the factor ξl ◦ (η̃ κ )−1 in fil implies
that the integrand in the integral above is zero outside of η̃ κ (θl ((0, 1)2 )). Similarly, the
√
presence of ρ κ1 ⋆h [ αi η̃ ◦ θi ],j2 j3 ◦θi−1 ◦ (η̃ κ )−1 implies that x ∈ η̃ κ (θi ((0, 1)2 )) in order for
this integrand to be non-zero. Therefore,
1
Z
J11 = fil (η̃ κ ◦ θl ) (div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ] ◦ η̃ κ ◦ θl ),1 det∇(η̃ κ ◦ θl ) + r11 .
2 (0,1)2
Now, since the derivative of div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ] ◦ η̃ κ ◦ θl is taken in the horizontal
direction, this implies:
|J11 | ≤ Ckfil k 21 ,(0,1)2 k div[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ] ◦ η̃ κ ◦ θl k 21 ,(0,1)2 + |r11 |
Z t
≤ Ckfil k 21 ,(0,1)2 k div[η̃iκ ,j2 j3 ◦θi−1 κ −1
◦ (η̃ ) ]k 21 ,η̃κ (θi ((0,1)2 )) + CkId + ṽk23 .
0
we then have
1
|J11 | ≤ CtẼ(t)3 + C + Cκ 2 Ẽ(t)2 . (24.23)
integrand, leading to the same majorization. We can also treat I in a similar fashion, due
to the curl estimate (similar as (22.11)):
k curl[η̃iκ ,j2 j3 ◦θi−1 ◦ (η̃ κ )−1 ]k 21 ,η̃κ (θi ((0,1)2 )) ≤ CtẼ(t)2 + N (u0 ),
with
1
|h1 (t)| ≤ CtẼ(t)3 + N (u0 ) + (Cκ 2 + δ)Ẽ(t)2 + Cδ .
with
1
Z
h2 = ◦ θi−1 ◦ (η̃ κ )−1 (ξ q̃)((η̃ κ )−1 )],mm
(ji)234
[d
4 η̃ κ (θi ((0,1)2 ))
n
,j2 j3 j4 ◦θi−1 ◦ (η̃ κ )−1 ]η̃iκ
n
,i2 i3 i4 ◦θi−1 ◦ (η̃ κ )−1 + h1 ,
[η̃iκ
so that,
[djil234 η̃iκ
n
,j2 j3 j4 ] ◦ θi−1 ◦ (η̃ κ )−1 [diil234 η̃iκ
n
,i2 i3 i4 ] ◦ θi−1 ◦ (η̃ κ )−1 + h2 ,
we infer
Z
−H ≤ −C [αl (θi )djil234 η̃iκ
n
,j2 j3 j4 diil234 η̃iκ
n
,i2 i3 i4 ] ◦ θi−1 ◦ (η̃ κ )−1
∂ η̃ κ (θi ((0,1)2 ))
+ tẼ(t)2 + |h2 |
Z
≤ −C [αi (θi )djii234 η̃iκ
n
,j2 j3 j4 diii234 η̃iκ
n
,i2 i3 i4 ] ◦ θi−1 ◦ (η̃ κ )−1
∂ η̃ κ (θ i ((0,1)2 ))
1
+ (Cκ 2 + δ)Ẽ(t)2 + CtẼ(t)4 + Cδ + N (u0 )
Z
≤ −C n
[αi (θi )η̃iκ n
,j2 j3 j4 η̃iκ ,i2 i3 i4 ] ◦ θi−1 ◦ (η̃ κ )−1
∂ η̃ κ (θi ((0,1)2 ))
1
+ (Cκ 2 + δ)Ẽ(t)2 + CtẼ(t)4 + Cδ + N (u0 )
Z
≤ −C n
[αi (θi )η̃iκ n
,111 η̃iκ ,111 ] ◦ θi−1 ◦ (η̃ κ )−1
∂ η̃ κ (θi ((0,1)2 ))
1
+ (Cκ 2 + δ)Ẽ(t)2 + CtẼ(t)4 + Cδ + N (u0 ). (24.24)
Now, it is clear that the space integral in front of the first time integral in (24.22) can be
treated in a similar way, except that we do not have a control on the sign of the boundary
term as in (24.24), which does not matter since a time integral is applied to it. This therefore
leads us to
Z t Z
− H11 ≤ −C n
[αi (θi )η̃iκ n
,111 η̃iκ ,111 ] ◦ θi−1 ◦ (η̃ κ )−1
0 ∂ η̃ κ (θi ((0,1)2 )
1
+ (Cκ 2 + δ)Ẽ(t)2 + CtẼ(t)4 + Cδ + N (u0 ),
which , with (24.1) and (24.2), finally gives the trace control for each η̃iκ , as well as the
control of v around Γ:
√
Z
κ
H (t) + C n
|[ αi (θi )η̃iκ ,111 ] ◦ θi−1 ◦ (η̃ κ )−1 |2
∂ η̃ κ (θi ((0,1)2 ))
24.4. Asymptotic regularity of η̃ κ . This also obviously implies that for the advected
domain
kη̃ κ k27 ,ΩK ≤ δ Ẽ(t)2 + Cδ tẼ(t)4 + Cδ N (u0 ), (24.29)
2
where ΩK = Ω ∩L c
i=K+1 (suppαi ) .
From the divergence and curl estimates (22.4) and (22.10), we then infer that
kβ η̃ ◦ θl k27 ,(0,1)2 ≤ δ Ẽ(t)2 + Cδ tẼ(t)4 + Cδ N (u0 ), (24.30)
2
24.5. Asymptotic regularity of ṽ. The relation (24.25) provides us with the asymptotic
regularity of ṽ near ∂Ω. For the interior regularity, we notice that if we time-differentiate
the analog of (22.5) for the cut-off β ∈ D(Ω), we obtain
div((βṽ ◦ θl ),s ◦θ−1 ◦ (η̃ κ )−1 )
κ
l 1,η̃ (Ω)
≤ C. (24.32)
√
24.7. Asymptotic regularity of κ αl ṽ ◦ θl . From (23.7), we have:
√
[κk αl ṽ ◦ θl k 27 ,(0,1)2 ]2 ≤ [κku0 k 27 ]2 + δ Ẽ(t)2 + Cδ tẼ(t)4 + Cδ N (u0 ). (24.36)
3√
24.8. Asymptotic regularity of κ 2 αl ṽ ◦ θl . From (23.8), we have:
√
[κ2 k αl ṽ ◦ θl k 92 ,(0,1)2 ]2 ≤ [κ2 ku0 k 29 ]2 + Cδ tẼ(t)4 + Cδ N (u0 ),
which by interpolation leads to
3 √ 3
[κ 2 k αl ṽ ◦ θl k4,(0,1)2 ]2 ≤ [κ 2 ku0 k4 ]2 + δ Ẽ(t)2 + Cδ tẼ(t)4 + Cδ N (u0 ). (24.37)
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 85
24.10. Asymptotic regularity of ṽt . Since ṽti = −(ãκ )ji q,j , we then infer on (0, Tκ ):
kṽt k25 ≤ C(kη̃ κ k 27 + kq̃k 27 )2 ≤ δ Ẽ(t)2 + Cδ tẼ(t)4 + Cδ N (u0 ). (24.39)
2
be treated directly by the Sobolev embedding of H 2 into L∞ in 3d. This leads us to the
existence of a solution to a system similar to (1.1) (with σ = 0) with initial domain Ωǫ on
9
(0, Tǫ ), with ηǫ ∈ L∞ (0, Tǫ ; H 2 (Ωǫ )), with initial domain Ωǫ and initial velocity u0 (ǫ).
We then study hereafter the asymptotic behavior of this solution and of Tǫ as ǫ → 0.
This will be less problematic than in Section 24 since the convolutions by layers with the
parameter κ do not appear in the problem (1.1) with smoothed initial data and domain.
We will denote the dependence on ǫ this time by a tilde, ṽ standing here for vǫ for instance,
and prove that as ǫ → 0, the time of existence and norms of ṽ are ǫ−independent, which
leads to the existence of a solution with optimal regularity on the initial data, as stated in
Theorem 1.4.
Our functional framework will be different than in Sections 19 to 24. Our continuous in
time energy will be:
Definition 26.1.
H̃(t) = sup |ñ|2,Γ̃ + kṽk3 + kṽt k 25 + kq̃k3 + kṽtt k2 + 1, (26.1)
[0,t]
1 3
≤ det∇η̃ ≤ in Ω̃, (26.2a)
2 2
kη̃k3 ≤ |Ω| + 1, kq̃k3 ≤ kq0 k3 + 1, kṽk 25 ≤ ku0 k 25 + 1, (26.2b)
kṽt k2 ≤ kw1 k2 + 1, (26.2c)
1
∀l ∈ {1, ..., K}, η̃ ◦ θl ,1 ×η̃ ◦ θl ,2 ≥ θl ,1 ×θl ,2 on (0, 1)2 × {0},
(26.2d)
2
5
where w1 = −∇q0 ∈ H 2 (Ω). We will use a more straightforward approach than in Section
24, which is enabled by the fact that we have ã instead of the convolution by layers ãκ in
our equation, by defining the following energy:
Definition 26.2.
K Z
X
ǫ
E (t) = ξ ◦ θl |D2 (ṽtt ◦ θl )|2 ,
l=1 (0,1)3
where D2 f stands for any second space derivative in a horizontal direction, i.e., f,α1 α2 ,
where αi ∈ {1, 2}. Summation over all horizontal derivatives is taken in the expression for
Eκ.
Remark 19. We also note that this energy is associated with the second time-differentiated
problem; we thus avoid the use of the curl relation (22.11) for η̃, which necessitates the
5
supplementary condition curl u0 ∈ H 2 (Ω) (which we do not have here).
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 87
P9
With b̃l = [∇(η̃ ◦ θl )]−1 , we have: Etǫ = i=1 Ei , with
K Z
X
E1 (t) = − ξ(θl )D2 ([(b̃l )kj ]tt )(q̃ ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
X
E2 (t) = −2 ξ(θl )D([(b̃l )kj ]tt )D(q̃ ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
X
E3 (t) = − ξ(θl )[(b̃l )kj ]tt D2 (q̃ ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
X
E4 (t) = −4 ξ(θl )D[(b̃l )kj ]t D(q̃t ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
X
E5 (t) = −2 ξ(θl )D2 [(b̃l )kj ]t (q̃t ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
X
E6 (t) = −2 ξ(θl )[(b̃l )kj ]t D2 (q̃t ◦ θl ),k D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K Z
ξ(θl )D2 (b̃)kj (q̃tt ◦ θl ),k D2 (ṽtt ◦ θl )j ,
X
E7 (t) = −
l=1 (0,1)3
K Z
ξ(θl )D(b̃)kj D(q̃tt ◦ θl ),k D2 (ṽtt ◦ θl )j ,
X
E8 (t) = −2
l=1 (0,1)3
K Z
j
X
E9 (t) = − ξ(θl )(b̃)kj D2 (q̃tt ◦ θl ),k D2 (ṽtt ◦ θl ) .
l=1 (0,1)3
26.1. Estimate for q̃t , q̃tt and q̃ttt . From the elliptic system
ãji (ãki q̃t ,k ),j = −[ãji (ãki ]t q̃,k ),j −[ãkj ṽ i ,k ãli ṽ j ,l ]t in Ω̃,
q̃t = 0 on ∂ Ω̃,
we infer
|E2 (t)| ≤ Ckãtt k1 kq̃k 25 kṽtt k2 ≤ C[ kṽt k2 kη̃k3 + kvk23 ] kq̃k3 kṽtt k2 ≤ C H̃(t)4 , (26.5a)
3
|E4 (t)| ≤ Ckãt k2 kq̃t k 52 kṽtt k2 ≤ C H̃(t) , (26.5b)
|E5 (t)| ≤ Ckṽk3 kq̃t k3 kṽtt k2 ≤ C H̃(t)3 , (26.5c)
3
|E6 (t)| ≤ Ckṽk3 kq̃t k3 kṽtt k2 ≤ C H̃(t) , (26.5d)
3
|E8 (t)| ≤ Ckãk2 kq̃tt k 25 kṽtt k2 ≤ C H̃(t) , (26.5e)
where we have used (26.3) for (26.5c), (26.5d), and (26.4a) for (26.5e).
26.3. Estimate for E3 . By integrating by parts, and using [(b̃)kj ],k = 0, we obtain E3 =
E31 + E32 , with
K Z
ξ(θl )[(b̃)kj ]tt D2 (q̃ ◦ θl )D2 (ṽtt ◦ θl ),jk ,
X
E31 =
l=1 (0,1)3
K Z
ξ(θl ),k [(b̃)kj ],tt D2 (q̃ ◦ θl )D2 (ṽtt ◦ θl )j .
X
E32 =
l=1 (0,1)3
We first have
P3
Next, E31 = i=1 E31i , with
K Z
ξ(θl )D[(b̃)kj ]tt D2 (q̃ ◦ θl )D(ṽtt ◦ θl ),jk ,
X
E311 = −
l=1 (0,1)3
K Z
ξ(θl )[(b̃)kj ]tt D3 (q̃ ◦ θl )D(ṽtt ◦ θl ),jk ,
X
E312 = −
l=1 (0,1)3
K Z
D(ξ(θl ))[(b̃)kj ]tt D2 (q̃ ◦ θl )D(ṽtt ◦ θl ),jk .
X
E313 = −
l=1 (0,1)3
We obviously have |E313 (t)| ≤ C H̃(t)4 . Next, we have by integrating by parts in time:
Z t K Z tZ
ξ(θl ) [(b̃)kj ]tt D3 (q̃t ◦ θl ) + [(b̃)kj ]ttt D3 (q̃ ◦ θl ) D(ṽt ◦ θl ),jk
X
E312 =
0 l=1 0 (0,1)3
K Z
t
ξ(θl )[(b̃)kj ]tt D3 (q̃ ◦ θl )D(ṽt ◦ θl ),jk
X
+ 0
,
l=1 (0,1)3
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 89
1
showing, with the continuous embedding of H 1 into L6 and of H 2 into L3 :
t 12
Z
E3 ≤ Ct sup[kãtt k1 kq̃t k3 kṽt k 52 + kãttt k1 kq̃k3 kṽt k 52 ]
0 [0,t]
K Z Z · t
ξ(θl )D(ṽt ◦ θl ),jk [(b̃)kj ]tt (0)D3 (q̃ ◦ θl )(0) +
X
[[(b̃)kj ]tt D3 (q̃ ◦ θl )]t
+ 0
l=1 (0,1)3 0
+ kṽt | 52 kq̃(0)k3 kb̃tt (0)k1 + kṽt | 52 t sup[kq̃t k3 kb̃tt k1 + kq̃k3 kb̃ttt k1 ] + N (u0 )
[0,t]
2 4
≤ Cδ H̃(t) + tH̃(t) + Cδ N (u0 ), (26.6)
for any δ > 0. For the remaining term E311 ,
|E311 | ≤ Ckãtt k 23 kq̃k3 kṽtt k2 ≤ C H̃(t)4 .
Consequently, we have
t
Z
E3 ≤ Cδ H̃(t)2 + tH̃(t)4 + Cδ N (u0 ). (26.7)
0
We first have
|E72 (t)| ≤ Ckãk2 kq̃tt k2 kṽtt k2 ≤ C H̃(t)4 .
Next, we notice by integrating by parts in time and space that
Z t K Z tZ
j
X
E71 = [D2 (b̃t )kj (ξ q̃tt ◦ θl ),k +D2 (b̃)kj (ξ q̃ttt ◦ θl ),k ]D2 (ṽt ◦ θl )
0 l=1 0 (0,1)3
K Z
X j t
+ ξ(θl )D2 (b̃)kj (ξ q̃tt ◦ θl ),k D2 (ṽt ◦ θl ) 0
l=1 (0,1)3
+ kṽt k 25 kq̃tt (0)k2 kb̃(0)k2 + kṽt k 25 t sup[kq̃ttt k2 kb̃k2 + kq̃tt k2 kb̃t k2 ] + N (u0 )
[0,t]
2 4
≤ Cδ H̃(t) + tH̃(t) + Cδ N (u0 ), (26.8)
where we have used (26.4b) for q̃ttt . Consequently, we have
t
Z
E7 ≤ Cδ H̃(t)2 + tH̃(t)4 + Cδ N (u0 ). (26.9)
0
90 D. COUTAND AND S. SHKOLLER
showing that
|E9 (t)| ≤ Ckb̃k2 kq̃tt k 25 kṽtt k2 ≤ C H̃(t)4 . (26.10)
26.6. Estimate for E1 . If ǫijk denotes the sign of the permutation between {i, j, k} and
{1, 2, 3}, if i, j, k are distinct, and is set to zero otherwise, we obtain
E1 = E11 + E12 ,
with
K Z
X
E11 = ξ(θl ),k q̃ ◦ θl D2 [(b̃l )kj ]tt D2 (ṽtt ◦ θl )j ,
l=1 (0,1)3
K
1 X mnj pqk
Z
j
E12 = ǫ ǫ ξ q̃(θl )D2 [η̃ ◦ θl ,m n 2
p η̃ ◦ θl ,q ]tt D (ṽtt ◦ θl ),k .
2 (0,1)3
l=1
we obtain in Ω̃ that
Z t Z t
ãji (ãki ṽ,k ),j (t) = △ũ(0) + [ãm k j l i 3
n (ãi ṽ,k ãj ṽ,l ),m ]n=1 − ãkj ṽ,ik ãm l
j (ãi ṽ,l ),m ,
0 0
and thus,
ãji (ãki ṽt ,k ),j = −[ãji (ãki ]t ṽ,k ),j +[ām k j l i 3 k i m l
n (ãi ṽ,k ãj ṽ,l ),m ]n=1 − ãj ṽ,k ãj (ãi ṽ,l ),m . (26.11)
By elliptic regularity in the interior of Ω̃, we infer that for any ω whose closure is contained
in Ω̃,
kṽt k3,ω ≤ Cω [kāji (āki ṽt ,k ),j k1,Ω̃ + kṽt k2 ] ≤ Cω H̃(t).
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 91
With this estimate and the condition ξ ◦ θl ,k = 0 in a neighborhood of (0, 1)2 × {0}, we then
obtain
|E11 | ≤ Ckq̃k2 C H̃(t)kη̃k3 + kṽk23 kṽtt k2
26.6.2. Estimate for E12 and the trace regularity. We now study E12 , which will be the
term bringing the asymptotic regularity of the moving domain η̃(Ω̃). We have that
3
X
E12 = E12l ,
l=1
with
K Z
j
X
E121 = ǫ mnj pqk
ǫ ξ q̃(θl )D2 [ṽ ◦ θl ,m n 2
p ṽ ◦ θl ,q ]D (ṽtt ◦ θl ),k
l=1 (0,1)3
K Z
j
X
E122 = 2 ǫmnj ǫpqk ξ q̃(θl )[D(ṽt ◦ θl ),m n 2
p D(η̃ ◦ θl ),q ]D (ṽtt ◦ θl ),k
l=1 (0,1)3
K
1 mni pqj
X Z
E123 = ǫ ǫ ξ(θl )[D2 (η̃tt ◦ θl ),m 2 i n
p D (η̃tt ◦ θl ),j ]t q̃ ◦ θl (η̃ ◦ θl ),q .
2 (0,1)3
l=1
First, for the perturbation term E1231 , by integrating by parts in space (and using q̃ = 0 on
Γ):
Z tX K Z
E1231 = ǫmni ǫpqj ξ(θl )D2 (ṽt ◦ θl ),m 2 i n
pj D (ṽt ◦ θl ) (q̃ ◦ θl (η̃ ◦ θl ),q )t
0 l=1 (0,1)3
K
Z tX Z
+ ǫmni ǫpqj D2 (ṽt ◦ θl ),m 2 i n
p D (ṽt ◦ θl ) (ξ q̃ ◦ θl (η̃ ◦ θl ),q )t ,j .
0 l=1 (0,1)3
Now, we notice that any triplet (i1 , j1 , q1 ) such that Card{i1 , j1 , q1 } < 3 will not contribute
to this sum. For instance, if j1 = q1 , we notice that by relabeling j and q,
ǫpqj E(l),pp1 E(l),jj1 E(l),jq1 = ǫpjq E(l),pp1 E(l),jq1 E(l),jj1 ,
where j1 = q1 is fixed in the sum above. Now, since ǫpqj = −ǫpjq , this shows that
ǫpqj E(l),pp1 E(l),jj1 E(l),jq1 = 0.
By a similar argument,
ǫpqj E(l),pp1 E(l),pj 1 E(l),qq1 = 0.
Consequently, only the triplets where Card{i1 , j1 , q1 } = 3 contribute to E1232 , showing that
K Z
ξ q̃ ◦ θl ǫpqj ǫp1 q1 j1 E(l),pp1 E(l),jj1 E(l),qq1
X
E1232 = ǫmni ǫp1 q1 j1
l=1 (0,1)3
Since for each given (p1 , j1 , q1 ) we have ǫpqj ǫp1 q1 j1 E(l),pp1 E(l),jj1 E(l),qq1 = det∇E(l) = 1, we
then infer
XK Z
E1232 = ǫmni ǫpqj ξ q̃ ◦ η̃ −1 (D2 Vt (l) ◦ E(l)−1 ),m 2 −1 i n
p (D Vt (l) ◦ E(l) ),j δq .
l=1 η̃(Ω̃)
we infer
K
X Z
E1232 =− ǫ mni pqj
ǫ (ξ q̃ ◦ η̃ −1 ),j (D2 Vt (l) ◦ E(l)−1 ),m 2
p (D Vt (l) ◦ E(l)
−1 i n
) δq .
l=1 η̃(Ω̃)
Now, we notice that for δnq ǫmni ǫpqj 6= 0, if p = i, then necessarily j = m. Similarly, if p 6= i,
then since p 6= n, necessarily, p = m, and thus i = j. Therefore,
K
X Z
E1232 = − ǫmni ǫinm (D2 Vt (l) ◦ E(l)−1 ),m 2
i (D Vt (l) ◦ E(l)
−1 i
) (ξ q̃ ◦ η̃ −1 ),m
l=1 η̃(Ω̃)
K
X Z
− ǫmni ǫmni (D2 Vt (l) ◦ E(l)−1 ),m 2
m (D Vt (l) ◦ E(l)
−1 i
) (ξ q̃ ◦ η̃ −1 ),i .
l=1 η̃(Ω̃)
Now, in the same way as we obtained the divergence and curl estimates (24.32) and (24.33),
we have the same type of estimates for Vt (l) leading us to
p
k ξ(θl ) [(D2 Vt (l) ◦ E(l)−1 ),m 2
i −(D Vt (l) ◦ E(l)
−1 i
),m ]k 12 ≤ C,
H (η̃(Ω̃))′
p
k ξ(θl )div(D2 Vt (l) ◦ E(l)−1 )k 12 ′
≤ C.
H (η̃(Ω̃))
The fact that D2 contains horizontal derivatives once again played a crucial role in these
estimates. This implies
K XZ
X
E1232 = (D2 Vt (l) ◦ E(l)−1 ),im (D2 Vt (l) ◦ E(l)−1 )i (ξ q̃ ◦ η̃ −1 ),m
l=1 i6=m η̃(Ω̃)
K Z
X
+ (D2 Vt (l) ◦ E(l)−1 ),ii (D2 Vt (l) ◦ E(l)−1 )i (ξ q̃ ◦ η̃ −1 ),i +R1
l=1 η̃(Ω̃)
K Z
X
= (D2 Vt (l) ◦ E(l)−1 ),im (D2 Vt (l) ◦ E(l)−1 )i (ξ q̃ ◦ η̃ −1 ),m +R1 ,
l=1 η̃(Ω̃)
K
1X
Z
E1232 = |D2 Vt (l) ◦ E(l)−1 |2 q̃(0),m Ñm + R2 , (26.15)
2 ∂ η̃(Ω̃)
l=1
94 D. COUTAND AND S. SHKOLLER
with |R2 (t)| ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ). Together with (26.5), (26.7), (26.9), (26.10),
(26.12), (26.13) and (26.14), this provides us on [0, Tκ ] with
K Z K Z
2 1
X X
2
ξ(θl )|D (ṽtt ◦ θl | + |D2 Vt (l) ◦ E(l)−1 |2 (−q̃(0),m Ñm )
(0,1)3 2 ∂ η̃(Ω̃)
l=1 l=1
The control
kq̃k23 ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ), (26.18)
is then easy to achieve by elliptic regularity on the pressure system.
Next, we see that (26.17) implies that for any l ∈ {1, ..., K}, ṽt ◦ θl , and thus (q̃ ◦ θl ),3 η̃ ◦
θl ,1 ×η̃ ◦ θl ,2 , are controlled in H 2 ((0, 1)2 × {0}) by the right-hand side of (26.17). This
q̃ ◦ (θl ),3 η̃ ◦ θl ,1 ×η̃ ◦ θl ,2
implies the same control on (0, Tǫ ) for in H 2 ((0, 1)2 × {0}), i.e.
q̃ ◦ (θl ),3 η̃ ◦ θl ,1 ×η̃ ◦ θl ,2
that
|ñ|22,Γ̃ ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ), (26.19)
7
which brings the H 2 regularity of the domain η̃(Ω̃).
Now, for ṽ, we notice that from the identity on (0, 1)2 × {0}:
Vtt (l) + q̃ ◦ θl ,3 V (l),1 ×E(l),2 +q̃ ◦ θl ,3 E(l),1 ×V (l),2 +q̃t ◦ θl ,3 E(l),1 ×E(l),2 = 0,
we infer by taking the scalar product of the above vector by E(l),1 that
|V (l),1 ·ñ|23 ,(0,1)2 ×{0} ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ),
2
which by divergence and curl relations for ξ(θl )V (l),1 (E(l)−1 ) similar in spirit to the ones
in Section 22, leads to
kξ(θl )V (l),1 k22,(0,1)3 ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ).
In a similar fashion,
kξ(θl )V (l),2 k22,(0,1)3 ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ).
Now, with divergence and curl relations for ξ(θl )V (l)(E(l)−1 ) similar in spirit to the ones
in Section 22, this leads to
kξṽk23 ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ),
and consequently, with the control of the divergence and curl of ṽ inside Ω̃ as in Section 22,
we get
kṽk23 ≤ δ H̃(t)2 + Cδ tH̃(t)4 + Cδ N (u0 ). (26.20)
Now, with the estimates (26.17), (26.18), (26.19) and (26.20), we then get similarly as in
Section 25 the existence of a time T > 0 independent of ǫ such that on (0, T ) the estimates
(26.2) hold, and such that we have H̃(t) ≤ N (u0 ) on (0, T ) for any ǫ > 0 small enough.
Therefore, we have a solution to the problem with optimal regularity on the initial data and
domain as the weak limit as ǫ → 0.
WELL-POSEDNESS OF THE FREE-SURFACE EULER EQUATIONS 95
27. Uniqueness
Let (v, q) and (v̄, q̄) be solutions of 1.2 on [0, T ]. We denote δv = v − v̄ and δq = q − q̄.
We then introduce the energy:
K Z
X
f (t) = ξ(θl )|D2 (vtt ◦ θl − v̄tt ◦ θl )|2 ,
l=1 (0,1)d
where D2 v stands for any second order horizontal space derivative v,i1 i2 . By proceeding in
the same way as in the previous section, and using the fact that the divergence and curl of
δv have a transport type structure as well, we obtain an energy inequality similar to (26.17),
without the presence of N (u0 ) (since δv(0) = 0). This establishes uniqueness of solutions.
Acknowledgments
DC and SS were supported by the National Science Foundation under grant NSF ITR-
0313370. We thank the referee for the major time and effort expended on the careful reading
of our manuscript.
References
[1] R.A. Adams, Sobolev Spaces, Academic Press, 1978.
[2] D.M Ambrose, Well-posedness of vortex sheets with surface tension, SIAM J. Math. Anal. 35
(2003), no. 1, 211-244.
[3] D.M. Ambrose and N. Masmoudi, The zero surface tension limit of two-dimensional water
waves, Comm. Pure Appl. Math., 58 (2005), 1287–1315.
[4] J.T. Beale, T. Hou and J. Lowengrub, Growth rates for the linearized motion of fluid inter-
faces away from equilibrium, Comm. Pure Appl. Math., 46, (1993) 1269–1301.
[5] W. Craig, An existence theory for water waves and the Boussinesq and Korteweg-de Vries
scaling limits, Comm. Partial Differential Equations, 10 (1985), no. 8, 787-1003.
[6] D. Christodoulou and H. Lindblad, On the motion of the free surface of a liquid, Comm. Pure
Appl. Math., 53 (2000), 1536–1602.
[7] D. Coutand, S. Shkoller, On the motion of an elastic solid inside of an incompressible viscous
fluid, Arch. Rational Mech. Anal., 176, (2005), 25–102.
[8] D. Coutand, S. Shkoller, The interaction between quasilinear elastodynamics and the Navier-
Stokes equations, Arch. Rational Mech. Anal. (2005), (DOI) 10.1007/s00205-005-0385-2.
[9] S. Ebenfeld, L2 -regularity theory of linear strongly elliptic Dirichlet systems of order 2m
with minimal regularity in the coefficients, Quat. Appl. Math., 60 (2002), 547–576.
[10] D. Ebin, The equations of motion of a perfect fluid with free boundary are not well posed,
Comm. Part. Diff. Eq., 10, (1987), 1175–1201.
[11] D. Lannes, Well-posedness of the water-waves equations, J. Amer. Math. Soc., 18, (2005) 605–
654.
[12] H. Lindblad, Well-posedness for the linearized motion of an incompressible liquid with free
surface boundary, Comm. Pure Appl. Math., 56, (2003), 153–197.
[13] H. Lindblad, Well-posedness for the motion of an incompressible liquid with free surface
boundary, (2004), to appear in Annals of Math.
[14] V.I. Nalimov, The Cauchy-Poisson Problem (in Russian), Dynamika Splosh. Sredy, 18 (1974),104–
210.
[15] J. Shatah, C. Zeng, Geometry and a priori estimates for free boundary problems of the Euler’s
equation, preprint, (2006).
[16] B. Schweizer, On the three-dimensional Euler equations with a free boundary subject to
surface tension, Ann. Inst. H. Poincaré Anal. Non Linéaire, 22 (2005), 753–781.
[17] V.A. Solonnikov, Solvability of the problem of evolution of a viscous incompressible fluid
bounded by a free surface on a finite time interval, St. Petersburg Math. J., 3 (1992), 189–220.
[18] V.A. Solonnikov and V.E.Scadilov, On a boundary value problem for a stationary system of
Navier-Stokes equations, Proc. Steklov Inst. Math., 125, (1973), 186–199.
[19] M. Taylor, Partial Differential Equations, Vol. I-III, Springer, (1996).
96 D. COUTAND AND S. SHKOLLER
[20] S. Wu, Well-posedness in Sobolev spaces of the full water wave problem in 2-D, Invent. Math.,
130 (1997), 39–72.
[21] S. Wu, Well-posedness in Sobolev spaces of the full water wave problem in 3-D, J. Amer.
Math. Soc., 12 (1999), 445–495.
[22] H. Yosihara, Gravity Waves on the Free Surface of an Incompressible Perfect Fluid, Publ.
RIMS Kyoto Univ., 18 (1982), 49–96.
E-mail address: coutand@math.ucdavis.edu
E-mail address: shkoller@math.ucdavis.edu