- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Advances in Mathematical Physics

Volume 2013 (2013), Article ID 787891, 14 pages

http://dx.doi.org/10.1155/2013/787891

## A Coupling Method of New EMFE and FE for Fourth-Order Partial Differential Equation of Parabolic Type

^{1}School of Mathematical Sciences, Inner Mongolia University, Hohhot 010021, China^{2}School of Statistics and Mathematics, Inner Mongolia University of Finance and Economics, Hohhot 010070, China

Received 29 November 2012; Accepted 11 March 2013

Academic Editor: B. G. Konopelchenko

Copyright © 2013 Yang Liu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We propose and analyze a new numerical method, called a coupling method based on a new expanded mixed finite element (EMFE) and finite element (FE), for fourth-order partial differential equation of parabolic type. We first reduce the fourth-order parabolic equation to a coupled system of second-order equations and then solve a second-order equation by FE method and approximate the other one by a new EMFE method. We find that the new EMFE method’s gradient belongs to the simple square integrable space, which avoids the use of the classical **H**(div; Ω) space and reduces the regularity requirement on the gradient solution . For a priori error estimates based on both semidiscrete and fully
discrete schemes, we introduce a new expanded mixed projection and some important lemmas.
We derive the optimal a priori error estimates in and -norm for both the scalar unknown and the diffusion term *γ* and a priori error estimates in -norm for its gradient
and its flux (the coefficients times the negative gradient). Finally, we provide some numerical results to illustrate the efficiency of our method.

#### 1. Introduction

In recent years, many researchers have studied some numerical methods for fourth-order elliptic equations [1–6], fourth-order parabolic equations [5–9], fourth-order wave equations [10, 11], and so on. Chen [1] proposed and analyzed an expanded mixed finite element method for fourth-order elliptic problems. In [2], Chen et al. studied an anisotropic nonconforming element for fourth-order elliptic singular perturbation problem. In [3–6], some mixed finite element (MFE) methods were studied for fourth-order linear/nonlinear elliptic equations. In [7], the FE method was studied for nonlinear Cahn-Hilliard equation. The optimal-order error estimates were obtained in -norm by means of an FE biharmonic projection approximation. In [12], the MFE methods were studied for solving a fourth-order nonlinear reaction diffusion equation. In [8], an -Galerkin MFE method was studied for solving the fourth-order parabolic partial differential equations. Optimal error estimates were derived for both semidiscrete and fully discrete schemes for problems in one space dimension, and error estimates were derived for semidiscrete scheme for several space dimensions, and the stability for fully discrete scheme was proved by the iteration method. In [9], the FE method was studied for fourth-order nonlinear parabolic equation. He et al. [10] studied and analyzed the explicit/implicit MFE methods for a class of fourth-order wave equations. Shi and Peng [13] studied the finite element methods for fourth-order eigenvalue problems on anisotropic meshes. Liu et al. [11] studied a -conforming FE method for nonlinear fourth-order wave equation. In this paper, we consider the following fourth-order partial differential equations of parabolic type:
where is a bounded convex polygonal domain with the *Lipschitz* continuous boundary and is the time interval with . The initial value and are given functions; coefficients and satisfy
for some positive constants , , , , and .

Chen proposed the EMFE method for second-order linear/quasilinear elliptic equation [14–16] and fourth-order linear elliptic equation [1]. Then the method was applied to other partial differential equations [17, 18]. Compared to standard MFE methods, the EMFE method is expanded in the sense that three variables are explicitly approximated, namely, the scalar unknown, its gradient, and its flux. In recent years, many numerical method based on the expanded mixed scheme, such as two-grid EMFE methods [19–22], -Galerkin EMFE methods [23–25], expanded mixed covolume method [26], expanded mixed hybrid method [27], and positive definite EMFE method [28], have been proposed and discussed.

In [29], we developed and analyzed a new EMFE method for second-order elliptic problems based on the mixed weak formulation [30–32]. The new EMFE method [29], whose gradient belongs to the square integrable space instead of the classical space, is different from Chen’s EMFE method [14–16].

In this paper, we present a new coupling method of new EMFE scheme [29] and FE scheme for fourth-order partial differential equation of parabolic type. We first introduce an auxiliary variable to reduce the fourth-order parabolic equation to a coupled system of second-order equations, then solve a second-order equation by FE method. For the other one, we introduce the two auxiliary variables, and **,** to split the equation into a first-order system of equations, then approximate that by a new EMFE method. Because the new EMFE method’s gradient belongs to the simple square integrable space, the regularity requirement on the gradient solution is reduced. We apply the new coupling method of new EMFE and FE to derive a priori error estimates based on both semidiscrete and fully discrete schemes; that is to say, we obtain the optimal a priori error estimates in and -norm for both the scalar unknown and the diffusion term and a priori error estimates in -norm for its gradient and its flux . Finally, we provide some numerical results to verify our theoretical analysis.

Throughout this paper, will denote a generic positive constant which does not depend on the spatial mesh parameter or the time step . At the same time, we denote the natural inner product in or by with the corresponding norm . The other notations and definitions for the Sobolev spaces as in [33, 34] are used.

#### 2. New Expanded Mixed Scheme

We first introduce an auxiliary variable to obtain the following coupled system of second-order equations: For (3b), we introduce the two auxiliary variables, and , to obtain the following first-order system of equations: Using Green’s formula, the new mixed weak formulation of (4a)–(4e) is to determine such that Then, the semidiscrete coupled EMFE scheme-FE scheme for (5a)–(5d) is to find such that

By the theory of differential equations [35], we can prove the existence and uniqueness of solution for semidiscrete scheme (6a)–(6d).

*Remark 1. *From the new coupling weak formulation (5a)–(5d), we can find that the gradient belongs to the weaker square integrable space taking the place of the classical space. It is easy to see that our method reduces the regularity requirement on the gradient solution .

*Remark 2. *In the semidiscrete coupling scheme (6a)–(6d), the MFE space based on the FE pair is chosen as follows:
From [30, 31], we know that MFE space satisfies the discrete LBB condition.

*Remark 3. *From (6a)–(6d), we know that (6a) is an FE scheme for and that (6b)–(6d) is a new EMFE scheme for , . So the scheme (6a)–(6d) is called as the coupling system of new EMFE scheme and FE scheme.

*Remark 4. *The finite element spaces and for the new EMFE method are chosen as finite dimensional subspaces of and , respectively. However, and for -Galerkin MFE method in two space variables in [8] are finite dimensional subspaces of and , respectively. Compared to the complex space used in the -Galerkin MFE method, we use the weaker space for our EMFE method.

#### 3. Semidiscrete Error Estimates

For deriving some a priori error estimates of our method, we first introduce the projection operator and the new expanded mixed elliptic projection operator associated with the coupled equations.

Lemma 5. *One now defines a linear projection operator as
**
and then
*

Let be given by the following new expanded mixed relations [29]

Then the following two important lemmas based on the new expanded mixed projection (10a)–(10c) hold.

Lemma 6. *There is a constant independent of the spatial mesh parameter such that
*

Lemma 7. *There is a constant independent of the spatial mesh parameter such that
*

In [29], we can obtain the detailed proof for Lemmas 6-7.

For a priori error estimates, we write the errors as

Using (5a), (5b), (5c), (5d), (6a), (6b), (6c), (6d), (8), (10a), (10b), and (10c) we can obtain the error equations We will prove the error estimates for semidiscrete scheme.

Theorem 8. *Suppose that , , and ; then there exists a constant independent of the spatial mesh parameter such that
**
where . *

* Proof. *Choose , , , and in (14a)–(14d) to obtain Adding the above four equations and using Cauchy-Schwarz inequality and Young’s inequality, we have
Integrate with respect to time from to to obtain
Noting that , we use Poincaré inequality to have
Using (18), (19), Cauchy-Schwarz inequality and Young inequality, we have
Using Gronwall’s lemma, we get
Substitute (19) into (21) to have
Taking in (14d) and using (22), we get
Choose in (14c) and use (22) to obtain
Combining Lemmas 5–7, (21)–(24) and using the triangle inequality, we get the error estimates for Theorem 8.

*Remark 9. *From Theorem 8, we can see that
that is to say, a priori error estimates in and -norms for the scalar unknown are optimal.

Theorem 10. *Suppose that and ; then there exists a constant independent of the spatial mesh parameter such that
*

*Proof. *Differentiating (14b), (14c), and (14d) with respect to time , respectively, we get Choose , , , and in (27a)–(27d) to get Adding the four equations for (28a)–(28d), we have
Integrate with respect to time from to and use (19), Cauchy-Schwarz inequality, and Young inequality to get
Substituting (22) and (23) into (30) and using Gronwall lemma, we get
Use (19) to obtain
Combining Lemmas 5–7, (31), and (32) and using the triangle inequality, we obtain the error estimates for Theorem 10.

*Remark 11. *From Theorem 10, we can see that
that is to say, a priori error estimates in and -norm for the diffusion term are optimal.

#### 4. Fully Discrete Error Estimates

In the following analysis, we will derive a priori error estimates based on fully discrete backward Euler scheme. Let be a given partition of the time interval with step length and nodes , for some positive integer . For a smooth function on , define .

For (5a), (5b), (5c), and (5d), we have the following equivalent formulation:where Now a fully discrete procedure is to find such that For deriving the fully discrete error estimates, we now decompose the errors as We will prove the theorem for the fully discrete error estimates.

Theorem 12. *Suppose that , , , and ; then there exists a constant independent of the spatial mesh parameter and the time step such that
**
where . *

* Proof. *Using (8), (10a), (10b), (10c), (34a), (34b), (34c), (34d), (36a), (36b), (36c), and (36d) at , we obtain the error equationsTake in (39a), in (39b), in (39c), and in (39d) to get
By (40), we have
Multiplying by , summing (41) from to , and using (19), the resulting equation becomes
Use (42) and Gronwall lemma to get
Note that
Substitute (44) into (43) to get
Combining (19) and (45), we obtain
Taking in (39d) and in (39c) and using (45), we have
Combining Lemmas 5–7, (45), (46), and (47) with the triangle inequality, we accomplish the proof for Theorem 12.

In the following analysis, we will derive the optimal a priori error estimates in and -norm for .

Theorem 13. *Suppose that , , , , and ; then there exists a constant independent of the spatial mesh parameter and time discretization parameter such that
*

*Proof. *Use (39a)–(39d) to getTaking , , , and , respectively, in (49a)–(49d), we get
By using (50), we obtain
Multiply (51) by , sum from to , and use (19) to get
Use Gronwall lemma to obtain
Note that
Substitute (44), (47) and (54) into (53) to obtain
Use (55) and Poincaré inequality (19) to get
Combining Lemmas 6-7, (55), (56) and using the triangle inequality, we complete the proof.

#### 5. Numerical Results

In this section, we would like to give some numerical results for the coupling method of EMFE method and FE method proposed and analyzed in this paper. We consider the following initial-boundary value problem of fourth-order parabolic system: where , , , , and is chosen so that the exact solution for the scalar unknown function is its exact gradient is its exact flux function is and the diffusion term is

Dividing the domain into the triangulations of mesh size uniformly and choosing the piecewise linear space with index and , we obtain the optimal a priori error estimates in and -norm for the scalar unknown in Table 1. Similarly, from Table 2, we can find that both and for the diffusion term are optimal, too. At the same time, we take the corresponding piecewise constant space with index for the gradient and the flux and obtain some convergence results in -norm with in Table 3.

Taking with , we show the surfaces of the exact solution , , **,** and in Figures 1, 3, 5, and 7, respectively. Figures 2, 4, 6, and 8 show the surfaces of the numerical solution , , and at with , respectively.

From the convergence results in Tables 1–3 and Figures 1–8, we can find that the numerical results verify our theoretical analysis.

#### 6. Concluding Remarks

In this article, we study a new coupling method of new EMFE scheme [29] and FE scheme for fourth-order partial differential equation of parabolic type. The new EMFE method’s gradient belongs to the simple square integrable space; therefore, the regularity requirement on the gradient solution is reduced. We obtain the optimal priori error estimates in and -norm for both the scalar unknown and the diffusion term and the priori error estimates in -norm for its gradient and its flux . Finally, a numerical example is provided to verify the efficiency of our methods. At the same time, we apply the new coupling method based on new EMFE method and FE method to solving the fourth-order eigenvalue problems, which will be shown in another article.

In the near future, we will study the new expanded mixed finite element method for other partial differential equations, such as fourth-order wave equations. Moreover, we will apply some new techniques based on the combination of two-grid methods [36, 37] and new (expanded) mixed methods [29–32, 38] for solving fourth-order nonlinear elliptic equation and fourth-order nonlinear parabolic equations.

#### Acknowledgments

The authors thank the referees and editor for their valuable suggestions and comments, which greatly improve the paper. This work is supported by National Natural Science Fund (11061021), Natural Science Fund of Inner Mongolia Autonomous Region (2012MS0108, 2012MS0106), Scientific Research Projection of Higher Schools of Inner Mongolia (NJZZ12011, NJ10006, NJZY13199), and Program of Higher-level talents of Inner Mongolia University (125119, 30105-125132).

#### References

- Z. Chen, “Analysis of expanded mixed methods for fourth-order elliptic problems,”
*Numerical Methods for Partial Differential Equations*, vol. 13, no. 5, pp. 483–503, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Chen, M. Liu, and Z. Qiao, “An anisotropic nonconforming element for fourth order elliptic singular perturbation problem,”
*International Journal of Numerical Analysis and Modeling*, vol. 7, no. 4, pp. 766–784, 2010. View at MathSciNet - J. Li, “Full-order convergence of a mixed finite element method for fourth-order elliptic equations,”
*Journal of Mathematical Analysis and Applications*, vol. 230, no. 2, pp. 329–349, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Li, “Optimal error estimates of mixed finite element methods for a fourth-order nonlinear elliptic problem,”
*Journal of Mathematical Analysis and Applications*, vol. 334, no. 1, pp. 183–195, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Li, “Optimal convergence analysis of mixed finite element methods for fourth-order elliptic and parabolic problems,”
*Numerical Methods for Partial Differential Equations*, vol. 22, no. 4, pp. 884–896, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Li, “Mixed methods for fourth-order elliptic and parabolic problems using radial basis functions,”
*Advances in Computational Mathematics*, vol. 23, no. 1-2, pp. 21–30, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Zhang, “Finite element analysis for the Cahn-Hilliard equation,”
*Mathematica Numerica Sinica*, vol. 28, no. 3, pp. 281–292, 2006. View at MathSciNet - Y. Liu, H. Li, S. He, W. Gao, and Z. C. Fang, “${H}^{1}$-Galerkin mixed element method and numerical simulation for the fourth-order parabolic partial differential equations,”
*Mathematica Numerica Sinica*, vol. 34, no. 2, pp. 259–274, 2012. - J. W. Barrett, J. F. Blowey, and H. Garcke, “Finite element approximation of a fourth order nonlinear degenerate parabolic equation,”
*Numerische Mathematik*, vol. 80, no. 4, pp. 525–556, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. He, H. Li, and Y. Liu, “Analysis of mixed finite element methods for fourth-order wave equations,”
*Computers & Mathematics with Applications*, vol. 65, no. 1, pp. 1–16, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Liu, H. Li, S. He, W. Gao, and Z. C. Fang, “A ${C}^{1}$-Conforming finite element method for nonlinear fourth-order hyperbolic equation,”
*World Academy of Science, Engineering and Technology*, vol. 80, pp. 1423–1427, 2011. - P. Danumjaya and A. K. Pani, “Mixed finite element methods for a fourth order reaction diffusion equation,”
*Numerical Methods for Partial Differential Equations*, vol. 28, no. 4, pp. 1227–1251, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Y. Shi and Y. C. Peng, “Finite element methods for fourth-order eigenvalue problems on anisotropic meshes,”
*Chinese Journal of Engineering Mathematics*, vol. 25, no. 6, pp. 1029–1034, 2008. View at Zentralblatt MATH · View at MathSciNet - Z. X. Chen,
*Expanded Mixed Finite Element Methods for Linear Second Order Elliptic Problems I*, vol. 1219 of*IMA preprint series*, Institute for Mathematics and Its Applications, University of Minnesota, Minneapolis, Minn, USA, 1994. - Z. Chen, “Expanded mixed finite element methods for linear second-order elliptic problems. I,”
*RAIRO Modélisation Mathématique et Analyse Numérique*, vol. 32, no. 4, pp. 479–499, 1998. View at Zentralblatt MATH · View at MathSciNet - Z. Chen, “Expanded mixed finite element methods for quasilinear second order elliptic problems. II,”
*RAIRO Modélisation Mathématique et Analyse Numérique*, vol. 32, no. 4, pp. 501–520, 1998. View at Zentralblatt MATH · View at MathSciNet - T. Arbogast, M. F. Wheeler, and I. Yotov, “Mixed finite elements for elliptic problems with tensor coefficients as cell-centered finite differences,”
*SIAM Journal on Numerical Analysis*, vol. 34, no. 2, pp. 828–852, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. S. Woodward and C. N. Dawson, “Analysis of expanded mixed finite element methods for a nonlinear parabolic equation modeling flow into variably saturated porous media,”
*SIAM Journal on Numerical Analysis*, vol. 37, no. 3, pp. 701–724, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Chen, Y. Huang, and D. Yu, “A two-grid method for expanded mixed finite-element solution of semilinear reaction-diffusion equations,”
*International Journal for Numerical Methods in Engineering*, vol. 57, no. 2, pp. 193–209, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Chen, H.-W. Liu, and S. Liu, “Analysis of two-grid methods for reaction-diffusion equations by expanded mixed finite element methods,”
*International Journal for Numerical Methods in Engineering*, vol. 69, no. 2, pp. 408–422, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Chen, P. Luan, and Z. Lu, “Analysis of two-grid methods for nonlinear parabolic equations by expanded mixed finite element methods,”
*Advances in Applied Mathematics and Mechanics*, vol. 1, no. 6, pp. 830–844, 2009. View at MathSciNet - W. Liu, H. X. Rui, and H. Guo, “A two-grid method with expanded mixed element for nonlinear reaction-diffusion equations,”
*Acta Mathematicae Applicatae Sinica*, vol. 27, no. 3, pp. 495–502, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - H. Z. Chen and H. Wang, “An optimal-order error estimate on an ${H}^{1}$-Galerkin mixed method for a nonlinear parabolic equation in porous medium flow,”
*Numerical Methods for Partial Differential Equations*, vol. 26, no. 1, pp. 188–205, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Liu,
*Analysis and numerical simulation of nonstandard mixed element methods [Ph.D. thesis]*, Inner Mongolia University, Hohhot, China, 2011. - H. Che, Y. Wang, and Z. Zhou, “An optimal error estimates of ${H}^{1}$-Galerkin expanded mixed finite element methods for nonlinear viscoelasticity-type equation,”
*Mathematical Problems in Engineering*, vol. 2011, Article ID 570980, 18 pages, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - H. Rui and T. Lu, “An expanded mixed covolume method for elliptic problems,”
*Numerical Methods for Partial Differential Equations*, vol. 21, no. 1, pp. 8–23, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Kim and E. J. Park, “A posteriori error estimator for expanded mixed hybrid methods,”
*Numerical Methods for Partial Differential Equations*, vol. 23, no. 2, pp. 330–349, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Liu, H. Li, J. Wang, and W. Gao, “A new positive definite expanded mixed finite element method for parabolic integrodifferential equations,”
*Journal of Applied Mathematics*, vol. 2012, Article ID 391372, 24 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Liu, H. Li, et al., “A new expanded mixed finite element method for elliptic equations,” http://nmg.zsksedu.com/3267/2012011690642.htm.
- S. C. Chen and H. R. Chen, “New mixed element schemes for a second-order elliptic problem,”
*Mathematica Numerica Sinica*, vol. 32, no. 2, pp. 213–218, 2010. View at MathSciNet - F. Shi, J. Yu, and K. Li, “A new stabilized mixed finite-element method for Poisson equation based on two local Gauss integrations for linear element pair,”
*International Journal of Computer Mathematics*, vol. 88, no. 11, pp. 2293–2305, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Shi and Y. Zhang, “High accuracy analysis of a new nonconforming mixed finite element scheme for Sobolev equations,”
*Applied Mathematics and Computation*, vol. 218, no. 7, pp. 3176–3186, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. G. Ciarlet,
*The Finite Element Method for Elliptic Problems*, North-Holland, Amsterdam, The Netherlands, 1978. View at MathSciNet - Z. D. Luo,
*Mixed Finite Element Methods and Applications*, Chinese Science Press, Beijing, China, 2006. - D. Zwillinger,
*Handbook of Differential Equations*, Academic Press, Boston, Mass, USA, 3rd edition, 1997. - J. Xu, “Two-grid discretization techniques for linear and nonlinear PDEs,”
*SIAM Journal on Numerical Analysis*, vol. 33, no. 5, pp. 1759–1777, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Xu, “A novel two-grid method for semilinear elliptic equations,”
*SIAM Journal on Scientific Computing*, vol. 15, no. 1, pp. 231–237, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Weng, X. Feng, and P. Huang, “A new mixed finite element method based on the Crank-Nicolson scheme for the parabolic problems,”
*Applied Mathematical Modelling*, vol. 36, no. 10, pp. 5068–5079, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet