Cahn-Hilliard Equation with Terms of Lower Order and Non-constant Mobility

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 Classication: 35K55, 35Q99, 35K25, 82B26


Introduction
In this paper, we investigate the Cahn-Hilliard equation with terms of lower order ∂u ∂t on a bounded domain Ω ⊂ R 2 with smooth boundary, where k is a positive constant.On the basis of physical consideration, we discuss the following boundary value conditions ∂u ∂n ∂Ω = ∂∆u ∂n ∂Ω = 0, which corresponds to zero flux boundary value condition and the natural boundary value condition, where n is the unit normal vector to ∂Ω.
The initial value condition is supplemented as 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].Here u(x, t) denotes the concentration of one of two phases in a system which is undergoing phase separation.The term g(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 EJQTDE, 2003 No. 10, p. 1 see [9]- [15].However, only a few papers devoted to the Cahn-Hilliard equation with terms of lower order.It was G.Grün [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 mobility 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 where M 1 , M 2 , M 3 , M 4 are positive constants.Assume also that the initial datum is smooth with appropriate compatibility conditions.Then the problem (1), admits a unique classical solution with small initial energy To prove the theorem, the basic a priori estimates are the L 2 norm estimates on u and ∇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 (II) there exists a Lyapunov functional 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 on u L 2 (Ω) and ∇u L 2 (Ω) .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.
This paper is constructed as follows.We first present a key step for the a priori estimates on the Hölder norm of solutions in Section 2, and then give the proof of our main theorems subsequently in Section 3.

EJQTDE, 2003 No. 10, p. 2
As an important step, in this section, we give the Hölder norm estimate on the local in time solutions.
Proposition 1 Assume that (H1)-(H2) holds, and u is a smooth solution of the problem (1), ( 2), (3) with small initial energy F (u 0 ).Then there exists a constant C depending only on the known quantities, such that for any Proof.Let z = k∆u − A(u).Multiplying both sides of the equation ( 1) by z and then integrating the resulting relation with respect to x over Ω, we have After integrating by parts, and using the boundary value conditions, That is From the assumptions of (H1)-(H2), we obtain The Gronwall inequality implies that Again multiplying both sides of the equation ( 1) by ∆ 2 u and integrating the resulting relation with respect to x over Ω, we have Integrating by parts, and using the boundary value conditions, we have 1 2 The Hölder inequality yields .
It follows by using the Cagliardo-Nirenberg inequalities (noticing that we consider only the two dimensional case) and (8) as F (u 0 ) small enough By the assumption (H2), we have m(u) ≤ C(u 2 + 1).Then, using Cauchy's inequality again, we have From (H2), we have again The Nirenberg inequality and ( 8 Using Cagliardo-Nirenberg inequality and ( 7), we obtain We notice that .
Summing up, we have EJQTDE, 2003 No. 10, p. 5 By Gronwall's inequality, we have and The desired estimate follows from ( 9) and the equation ( 1) immediately.The proof is complete.

The Proof of the Main Results
We are now in a position to show the main theorems.Owing to the Hölder 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 We may think of a(t, x) and → F (t, x) as known functions and consider the reducing linear equation (11).Since u is locally Hölder continuous, we see that a(t, x) is locally Hölder continuous too.Without loss of generality, we may assume that a(t, x) and → F (t, x) are sufficiently smooth, otherwise we replace them by their approximation functions.
The crucial step is to establish the estimates on the Hölder norm of ∇u.Let (t 0 , x 0 ) ∈ (0, T ) × Ω be fixed and define where and B ρ (x 0 ) is the ball centred at x 0 with radius ρ.
Let u be the solution of the problem ( 11),( 2),(3).We split u on S R into u = u 1 + u 2 , where u 1 is the solution of the problem EJQTDE, 2003 No. 10, p. 6 and u 2 solves the problem By classical linear theory, the above decomposition is uniquely determined by u.
We need the following lemmas.Lemma 1 Assume that Proof.
Multiply the equation ( 15) by ∆u 2 and integrate the resulting relation over (t 0 − R 4 , t) × B R (x 0 ), integrating by parts, we have , where C λ depends on λ, R 0 and the known quantities.

Proof.
Using Lemma 1 and similar to the proof of Lemma 2.5 of [11], there is no essential and new idea for the details of the proof.Here we omit the details.EJQTDE, 2003 No. 10, p. 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 The conclusion follows immediately from the classical theory, since we can transform the equation (1) into the form ∂u ∂t + a 1 (t, x)∆ 2 u + B 1 (t, x)∇∆u + a 2 (t, x)∆u + B 2 (t, x)∇u + g(u(t, x)) = 0, where the Hölder norms on a 1 (t, x) = km(u(t, x)), B 1 (t, x) = km ′ (u(t, x))∇u(t, x), a 2 (t, x) = −m(u(t, x))A ′ (u(t, x)), B 2 (t, x) = −∇(m(u(t, x))A ′ (u(t, x))) have been estimated in the above discussion.The proof is complete.