Electronic Journal of Qualitative Theory of Differential Equations 2003, No. 10, 1-9;http://www.math.u-szeged.hu/ejqtde/
Cahn-Hilliard Equation with Terms of Lower Order and
Non-constant Mobility
Liu Changchun
Dept. of Math., Jilin University, Changchun, 130012, P. R. China
Dept. of Math., Nanjing Normal Univ., Nanjing 210097, P. R. China
lcc@email.jlu.edu.cn
Abstract. In this paper, we study the global existence of classical solutions for the Cahn-Hilliard equation with terms of lower order and non-constant mobility. Based on the Schauder type estimates, under some assumptions on the mobility and terms of lower order, we establish the global existence of classical solutions.
Keywords. Cahn-Hilliard equation, Existence, Uniqueness.
AMS Classification: 35K55, 35Q99, 35K25, 82B26
1
Introduction
In this paper, we investigate the Cahn-Hilliard equation with terms of lower order
∂u
∂t + div [m(u)(k∇∆u− ∇A(u))] +g(u) = 0, (1)
on a bounded domain Ω⊂R2with smooth boundary, wherekis a positive con-stant. On the basis of physical consideration, we discuss the following boundary value conditions
∂u ∂n
∂Ω=
∂∆u ∂n
∂Ω= 0, (2)
which corresponds to zero flux boundary value condition and the natural bound-ary value condition, wherenis the unit normal vector to ∂Ω.
The initial value condition is supplemented as
u(x,0) =u0(x), x∈Ω. (3) The equation (1) was introduced to study several diffusive processes, such as phase separation in binary alloys, growth and dispersal in population, see for example [1], [2]. Hereu(x, t) denotes the concentration of one of two phases in a system which is undergoing phase separation. The termg(u) is the nonlinear source which is introduced to study how the phase transition affected by the steady fluid flow [3], [4]. In particular, the two dimensional case can be used as a mathematical model describing the lubrication for thin viscous films and spreading droplets over a solid surface as well as the flow of a thin neck of fluid in a Hele-Shaw cell, see [5]–[8].
During the past years, many authors have paid much attention to the Cahn– Hilliard equation with concentration dependent mobility
∂u
see [9]–[15]. However, only a few papers devoted to the Cahn-Hilliard equation with terms of lower order. It was G.Gr¨un [16] who first studied the equation (1) with degenerate mobility for a special case, namely,A(u) =−u. He proved the existence of weak solutions.
In this paper, we consider the general case of such equations with the mo-bility being allowed to be concentration dependent, and with general nonlinear terms of lower order. The main purpose is to establish the global existence of classical solutions under much general assumptions. The main result is as follows
Theorem 1 Assume thatm(s)∈C1(R), A(s)∈C2(R) and
(H1) H′
(u) =A(u), H(u) = 1 4(u
2−1)2, g′
(s)≥0, |g(s)A(s)| ≤M3H(s),
(H2) m(s)≥M1, |m′(s)|2≤M2m(s), g2(s)≤m(s)(M4+H(s)),
whereM1, M2, M3, M4 are positive constants. Assume also that the initial
da-tum is smooth with appropriate compatibility conditions. Then the problem (1), (2) (3) admits a unique classical solution with small initial energy F(u0) = Z
Ω (k
2|∇u0|
2+H(u0))dx.
To prove the theorem, the basic a priori estimates are theL2norm estimates onuand ∇u. For the usual Cahn-Hilliard equation (4) the two estimates can be easily obtained, since the problem (4), (2), (3) has two important properties:
(I) the conservation of mass, namely
Z
Ω
u(x, t)dx= Z
Ω
u0(x)dx;
(II) there exists a Lyapunov functional
F[u] = Z
Ω (k
2|∇u|
2+H(u))dx,
which is decreasing in time.
However, we do not have any of these properties for the problem (1), (2), (3) of the Cahn-Hilliard equation with terms of lower order. This means that we should find a new approach to establish the required estimates onkukL2(Ω)
andk∇ukL2(Ω). Our approach is based on uniform Schauder type estimates for
local in time solutions. To this purpose, we require some delicate local integral estimates rather than the global energy estimates used in the discussion for the Cahn-Hilliard equation with constant mobility.
2
H¨
older Estimates
As an important step, in this section, we give the H¨older norm estimate on the local in time solutions.
Proposition 1 Assume that (H1)–(H2) holds, and uis a smooth solution of the problem (1), (2), (3) with small initial energy F(u0). Then there ex-ists a constant C depending only on the known quantities, such that for any
(x1, t1),(x2, t2)∈QT and some 0< α <1,
|u(x1, t1)−u(x2, t2)| ≤C(|t1−t2|α/4+|x1−x2|α).
Proof. Letz=k∆u−A(u). Multiplying both sides of the equation (1) by
zand then integrating the resulting relation with respect toxover Ω, we have Z
After integrating by parts, and using the boundary value conditions,
d
From the assumptions of (H1)–(H2), we obtain
d
The Gronwall inequality implies that Z Again multiplying both sides of the equation (1) by ∆2u and integrating the resulting relation with respect toxover Ω, we have
Integrating by parts, and using the boundary value conditions, we have
The H¨older inequality yields
It follows by using the Cagliardo-Nirenberg inequalities (noticing that we con-sider only the two dimensional case)
Z inequality again, we have
and hence
The Nirenberg inequality and (8) yield
sup
Using Cagliardo-Nirenberg inequality and (7), we obtain
Z
We notice that
Z
Summing up, we have
By Gronwall’s inequality, we have
Z
Ω
(∆u)2dx≤C, 0< t < T, (9)
and Z Z
QT
(∆2u)2dx≤C. (10)
The desired estimate follows from (9) and the equation (1) immediately. The proof is complete.
3
The Proof of the Main Results
We are now in a position to show the main theorems. Owing to the H¨older norm estimates, the remaining proof can be transformed into the a priori estimates for a linear problem.
In fact, we can rewrite the equation (1) into the following form
∂u ∂t + div
h
a(t, x)∇∆ui= divF→−g(u(x, t)), (11)
where
a(t, x) =km(u(t, x)), F→=m(u(t, x))∇A(u(t, x)).
We may think ofa(t, x) andF→(t, x) as known functions and consider the reduc-ing linear equation (11). Sinceuis locally H¨older continuous, we see thata(t, x) is locally H¨older continuous too. Without loss of generality, we may assume that
a(t, x) andF→(t, x) are sufficiently smooth, otherwise we replace them by their approximation functions.
The crucial step is to establish the estimates on the H¨older norm of∇u. Let (t0, x0)∈(0, T)×Ω be fixed and define
ϕ(ρ) = ZZ
Sρ
|∇u−(∇u)ρ|2+ρ4|∇∆u|2
dtdx, (ρ >0)
where
Sρ= (t0−ρ4, t0+ρ4)×Bρ(x0), (∇u)ρ=
1
|Sρ|
Z Z
Sρ
∇u dtdx
andBρ(x0) is the ball centred atx0 with radiusρ.
Let u be the solution of the problem (11),(2),(3). We split u on SR into
u=u1+u2, whereu1is the solution of the problem
∂u1
∂t +a(t0, x0)∆
2
u1= 0, (t, x)∈SR (12)
∂u1
∂n = ∂u ∂n,
∂∆u1
∂n = ∂∆u
∂n , (t, x)∈(t0−R
4, t
u1=u, t=t0−R4, x∈BR(x0), (14)
andu2 solves the problem
∂u2
By classical linear theory, the above decomposition is uniquely determined by
u.
We need the following lemmas. Lemma 1 Assume that
|a(t, x)−a(t0, x0)| ≤aσ
Proof. Multiply the equation (15) by ∆u2 and integrate the resulting relation over (t0−R4, t)×BR(x0), integrating by parts, we have
Cauchy’s inequality and Poincar´e inequality thus yields the desired conclusion and the proof is complete.
Lemma 2 Forλ∈(6,7),
Proof of Theorem 1. Since we are concerned with classical solutions, the uniqueness is quite easy by using the standard arguments, and we omit the details. For the existence, using Proposition 1 and Lemma 2, we have
|∇u(t1, x1)− ∇u(t2, x2)|
|t1−t2|(λ−6)/8+|x1−x2|(λ−6)/2
≤C1 + sup|F→|≤C(1 + sup|∇u|).
By the interpolation inequality, we thus obtain
|∇u(t1, x1)− ∇u(t2, x2)| ≤C
|t1−t2|(λ−6)/8+|x1−x2|(λ−6)/2
.
The conclusion follows immediately from the classical theory, since we can trans-form the equation (1) into the trans-form
∂u
∂t +a1(t, x)∆
2
u+B1(t, x)∇∆u+a2(t, x)∆u+B2(t, x)∇u+g(u(t, x)) = 0,
where the H¨older norms on
a1(t, x) =km(u(t, x)), B1(t, x) =km′
(u(t, x))∇u(t, x),
a2(t, x) =−m(u(t, x))A′
(u(t, x)), B2(t, x) =−∇(m(u(t, x))A′
(u(t, x)))
have been estimated in the above discussion. The proof is complete.
References
[1] A. Novick-Cohen and L. A. Segel, Nonlinear aspects of the Cahn-Hilliard equation, Physica D 10(1984), 277–298.
[2] D. S. Cohen, and J. D. Murry, A generalized diffusion model for growth and dispersal in a population, J. Math. Biology, 12(1981), 237–249.
[3] R. S. Laugesen and M. C. Pugh, Linear stability of steady states for thin film and Cahn-Hilliard type equations., Arch. Ration. Mech. Anal. 154(1)(2000), 3-51.
[4] G. I. Sivashinsky, On cellular instability in the solidification of a dilute binary alloy, Phys. D 8(1983), 243-248.
[5] A. B. Tayler, Mathematical Models in Applied Mechanics, Clarendon, Oxford, 1986.
[6] A. L. Bertozzi, Symmetric singularity formation in lubrication-type equa-tions for interface motion, SIAM J. Applied Math., 56(1996), 681–714.
[8] T. F. Dupont, R. E. Goldstein, L. P. Kadanoff, and Zhou Shumin, Finite-time singularity formation in Hele-Shaw systems, Phys. Rev. E., 47(1993), 4182–4196.
[9] J. Yin, On the Cahn-Hilliard equation with nonlinear principal part, Jour-nal of Partial Differential Equations, 7(1)(1994), 77–96.
[10] C. M. Elliott and H. Garcke, On the Cahn-Hilliard equation with degen-erate mobility, SIAM J. Math. Anal., 27(2)(1996), 404–423.
[11] J. Yin and C. Liu , Regularity of Solutions of The Cahn–Hilliard equa-tion with conceneraequa-tion dependent mobility, Nonlinear Analysis, TMA, 45(5)(2001) 543-554.
[12] M. Giaquinta and E. Giusti, Partial regularity for the solutions to nonlin-ear parabolic systems, Ibid., 97(1973), 235–266.
[13] H. Garcke and A. Novick-Cohen, A singular limit for a system of degen-erate Cahn-Hilliard equations, Adv. Diff. Eqs., 5(4-6)(2000), 401–434.
[14] J. W. Barrett and J. F. Blowey, Finite element approximation of the Cahn-Hilliard equation with concentration dependent mobility, Math. Comp., 68(226)(1999), 487–517.
[15] C. M. Elliott and S. M. Zheng, On the Cahn-Hilliard equation, Arch. Rat. Mech. Anal., 96(4)(1986),339-357.