1. Introduction
In recent years, the research of nonlinear fourth-order degenerate parabolic equations has become an interesting topic. The typical examples include the Cahn-Hilliard equation and the thin film equation. The Cahn-Hilliard equation can describe the evolution of a conserved concentration field during phase separation. It (see [1] ) has the form
where the constants k, A,
denote the atomic mobility, the free energy, the parameter proportional to the interface energy respectively and
is a kind of chemical potential. For the existence and the properties of solutions, Elliott, Zheng and Garcke (see [2] [3] ) have studied this equation with a linear and a degenerate mobility respectively. Xu, Zhou, Liang and Zheng (see [4] [5] [6] ) have applied the semi-discrete method to obtain the existence and stability results to this model with a gradient mobility.
The thin film equation can analyze the motion of a very thin layer of viscous incompressible fluids along an inclined plane or model the fluid flows such as draining of foams and the movement of contact lenses. The thin film equation belongs to a class of fourth order degenerate parabolic equations (see [7] ) and the first mathematic result, the existence and nonnegativity of weak solutions, are given by Bernis and Friedman [8] to the equation
. The thin film equation with a second-order diffusion term was studied by Bertozzi and Pugh [9] . Moreover, for a generalized thin-film equation with period boundary in multidimensional space, Boutat et al. [10] obtained its existence. For other results, the readers may refer to the papers [11] [12] .
In this paper, we study the following initial and boundary value problems for the viscous thin film equation:
(1)
where
,
,
,
and
.
Formally, if we substitute the second equation into the first one, we can get another form for this question:
(2)
Our main result is the following theorems.
Theorem 1. Let
and
. Then there exists at least one pair
of (1) satisfying
1)
,
;
2) For any test function
, it has
3)
.
Theorem 2. Let
and
. Then there exists at least one pair
of (2) satisfying
1)
,
;
2) For any test function
with
, it has
3)
.
The following lemmas are needed in the paper:
Lemma 1. (Aubin-Lions, see [13] ) Let X, B and Y be Banach spaces and assume
with compact imbedding
.
1) Let
be bounded in
where
, and
be bounded in
. Then
is relatively compact in
;
2) Let
be bounded in
, and
be bounded in
where
. Then
is relatively compact in
.
Lemma 2. (see [14] or [15] ) Let V be a real, separable, reflexive Banach space and H is a real, separable, Hilbert space.
is continuous and V is dense in H. Then
is continuously imbedded in
.
In this paper, C is denoted as a positive constant and may change from line to line. The paper is arranged as follows. The existence of solutions to the approximate problem will be proved in Section 2. In Section 3, we will take the limit for small parameters
.
2. Approximate Problem
For any
, we consider the following approximate problem. In order to apply existence theory better, we transform (1) into a system:
(3)
with
,
and
.
Lemma 3. There exists at least one solution
to (3) satisfying
1)
,
,
and
;
2) For any test function
, it has
Proof. We apply the Galerkin method to prove this Lemma and so we choose
as the eigenfunctions of the Laplace operator with Neumann boundary value conditions such that
. Moreover, we can suppose that the eigenfunctions are orthogonal in the H1 and L2 spaces. We use
to denote the scalar product in L2 space and we can normalize
such that
Besides, we can choose
and
.
For any positive integer M, we define
,
,
. Now we consider the following ordinary differential equations system:
(4)
(5)
for, which yields an initial value problem for the ordinary differential equations:
(6)
with. A standard argument can show that this ODE has a local solution by Peano existence theorem since the matrix is positive definite. In order to get the global solvability, we need establish more energy estimates. Multiply (4) by to get
Taking as the test function in (5), we have
Thus, we have
(7)
Therefore, for any, it has
(8)
Since by (4) with, we can apply Poincaré’s inequality to obtain the following estimates:
(9)
By taking as the test function in (5), we have
(10)
By integrating over and applying the Höler's inequality, we have
(11)
which yields
(12)
There exists a subsequence of and a pair such that, as,
(13)
(14)
(15)
(16)
(17)
where the last estimate is from Lemma 1. By (13)-(17), we can perform the limit in a standard fashion and the strong convergence in implies.
3. The Limit
In the section, we will perform the limit to the solutions from Lemma 3. For the purpose of the existence, we need establish some uniform estimates independent of. Thus, we define a convex function as following (see [10] ):
Moreover, the function satisfies, , .
By applying this function, we can get the following estimates.
Lemma 4. There exist some constants C independent of such that
1);
2);
3);
4);
5);
6).
Proof. Taking as a test function in the first equation of (3), we have
(18)
Thus, it yields the results 1 - 3. We can prove 4 and 5 from (8). By choosing as a test function in the second equation of (3), we get
(19)
We have completed the proof of this lemma.
Lemma 5. There exists a pair such that, as,
1);
2);
3) and a.e. in;
4);
5) a.e. in.
Proof. By Lemma 4, we can get the results 1 - 2 and 4 directly. Lemma 1 yields 3. By applying the definition of and (18), we get
It yields
Letting, we obtain which completes the proof of 6.
Proof of Theorem 1 and Theorem 2. Taking as a test function in Lemma 3, we have
(20)
(21)
which yields Theorem 1.
On the other hand, by integrating by parts, it implies
(22)
Thus, it has
(23)
It gives Theorem 2.
4. Conclusions
Through this paper, two forms of a viscous thin film equation are studied (see the Equations (1) and (2)) and we give the corresponding existence theorems of weak solutions (see Theorem 1 and Theorem 2). For any test function, we have proved that the weak solutions satisfy the equalities:
Since the thin film equation is a degenerate parabolic equation, it is hard to give the existence of strong solutions. On the another hand, the viscous term affects the regularity of solutions and we have shown that.
We can expect that we can show that the existence results would be true with some conditions in high-dimensional space.
Funding
The work was supported by the Education Department Science Foundation of Liaoning Province of China (No. JDL2016029) and the Natural Science Fund of Liaoning Province of China (No. 20170540136).