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  ) 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   ) have studied this equation with a linear and a degenerate mobility respectively. Xu, Zhou, Liang and Zheng (see    ) 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  ) and the first mathematic result, the existence and nonnegativity of weak solutions, are given by Bernis and Friedman  to the equation . The thin film equation with a second-order diffusion term was studied by Bertozzi and Pugh  . Moreover, for a generalized thin-film equation with period boundary in multidimensional space, Boutat et al.  obtained its existence. For other results, the readers may refer to the papers   .
In this paper, we study the following initial and boundary value problems for the viscous thin film equation:
where , , , and .
Formally, if we substitute the second equation into the first one, we can get another form for this question:
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
Theorem 2. Let and . Then there exists at least one pair of (2) satisfying
1) , ;
2) For any test function with , it has
The following lemmas are needed in the paper:
Lemma 1. (Aubin-Lions, see  ) 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  or  ) 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:
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:
for, which yields an initial value problem for the ordinary differential equations:
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
Therefore, for any, it has
Since by (4) with, we can apply Poincaré’s inequality to obtain the following estimates:
By taking as the test function in (5), we have
By integrating over and applying the Höler's inequality, we have
There exists a subsequence of and a pair such that, as,
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  ):
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
Proof. Taking as a test function in the first equation of (3), we have
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
We have completed the proof of this lemma.
Lemma 5. There exists a pair such that, as,
3) and a.e. in;
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
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
which yields Theorem 1.
On the other hand, by integrating by parts, it implies
Thus, it has
It gives Theorem 2.
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.
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).
 Xu, M. and Zhou, S. (2005) Existence and Uniqueness of Weak Solutions for a Generalized Thin Film Equation. Nonlinear Analysis: Theory, Methods & Applications, 60, 755-774.
 Xu, M. and Zhou, S. (2008) Stability and Regularity of Weak Solutions for a Generalized Thin Film Equation. Journal of Mathematical Analysis and Applications, 337, 49-60.
 Liang, B. and Zheng, S. (2008) Existence and Asymptotic Behavior of Solutions to a Nonlinear Parabolic Equation of Fourth Order. Journal of Mathematical Analysis and Applications, 348, 234-243.
 Ansini, L. and Giacomelli, L. (2004) Doubly Nonlinear Thin-Film Equations in One Space Dimension. Archive for Rational Mechanics and Analysis, 173, 89-131.
 Beretta, E., Bertsch, M. and Dal Passo, R. (1995) Nonnegative Solutions of a Fourth-Order Nonlinear Degenerate Parabolic Equation. Archive for Rational Mechanics and Analysis, 129, 175-200.
 Grün, G. (1995) Degenerate Parabolic Differential Equations of Fourth Order and a Plasticity Model with Nonlocal Hardening. Zeitschrift für Analysis und Ihre Anwendungen, 14, 541-574.