In this paper we propose a time discretization of a system of two parabolic equations describing diffusion-driven atom rearrangement in crystalline matter. The equations express the balances of microforces and microenergy; the two phase fields are the order parameter and the chemical potential. The initial and boundary-value problem for the evolutionary system is known to be well posed. Convergence of the discrete scheme to the solution of the continuous problem is proved by a careful development of uniform estimates, by weak compactness and a suitable treatment of nonlinearities. Moreover, for the difference of discrete and continuous solutions we prove an error estimate of order one with respect to the time step.
@article{M2AN_2014__48_4_1061_0, author = {Colli, Pierluigi and Gilardi, Gianni and Krej\v c\'\i , Pavel and Podio-Guidugli, Paolo and Sprekels, J\"urgen}, title = {Analysis of a time discretization scheme for a nonstandard viscous Cahn-Hilliard system}, journal = {ESAIM: Mathematical Modelling and Numerical Analysis - Mod\'elisation Math\'ematique et Analyse Num\'erique}, volume = {48}, year = {2014}, pages = {1061-1087}, doi = {10.1051/m2an/2014005}, mrnumber = {3264346}, language = {en}, url = {http://dml.mathdoc.fr/item/M2AN_2014__48_4_1061_0} }
Colli, Pierluigi; Gilardi, Gianni; Krejčí, Pavel; Podio-Guidugli, Paolo; Sprekels, Jürgen. Analysis of a time discretization scheme for a nonstandard viscous Cahn-Hilliard system. ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique, Tome 48 (2014) pp. 1061-1087. doi : 10.1051/m2an/2014005. http://gdmltest.u-ga.fr/item/M2AN_2014__48_4_1061_0/
[1] The viscous Cahn-Hilliard equation. I. Computations. Nonlinearity 8 (1995) 131-160. | MR 1328591 | Zbl 0818.35045
, , , and ,[2] An error bound for the finite element approximation of the Cahn-Hilliard equation with logarithmic free energy. Numer. Math. 72 (1995) 1-20. | MR 1359705 | Zbl 0851.65070
and ,[3] An improved error bound for a finite element approximation of a model for phase separation of a multi-component alloy with a concentration dependent mobility matrix. Numer. Math. 88 (2001) 255-297. | MR 1826854 | Zbl 0990.65105
and ,[4] Finite element approximation of the Cahn-Hilliard equation with degenerate mobility. SIAM J. Numer. Anal. 37 (1999) 286-318. | MR 1742748 | Zbl 0947.65109
, and ,[5] On fully practical finite element approximations of degenerate Cahn-Hilliard systems. ESAIM: M2AN 35 (2001) 713-748. | Numdam | MR 1863277 | Zbl 0987.35071
, and ,[6] A posteriori error controlled local resolution of evolving interfaces for generalized Cahn-Hilliard equations. Interfaces Free Bound. 12 (2010) 45-73. | MR 2595377 | Zbl pre05690537
and ,[7] Error control for the approximation of Allen-Cahn and Cahn-Hilliard equations with a logarithmic potential. Numer. Math. 119 (2011) 409-435. | MR 2845623 | Zbl 1241.65075
and ,[8] The Cahn-Hilliard gradient theory for phase separation with nonsmooth free energy. II. Numerical analysis. Eur. J. Appl. Math. 3 (1992) 147-179. | MR 1166255 | Zbl 0810.35158
and ,[9] Global solvability of a dissipative Frémond model for shape memory alloys. II. Existence. Quart. Appl. Math. 62 (2004) 53-76. | MR 2032572 | Zbl 1073.35140
,[10] Opérateurs maximaux monotones et semi-groupes de contractions dans les espaces de Hilbert. North-Holland Mathematics Studies, no. 5. Notas de Matemática. North-Holland Publishing Co., Amsterdam (1973). | MR 348562 | Zbl 0252.47055
,[11] Numerical analysis of a relaxed variational model of hysteresis in two-phase solids. ESAIM: M2AN 35 (2001) 865-878. | Numdam | MR 1866271 | Zbl 1007.74062
and ,[12] Error control and adaptivity for a phase relaxation model. ESAIM: M2AN 34 (2000) 775-797. | Numdam | MR 1784485 | Zbl 0965.65114
, and ,[13] A numerical analysis of the Cahn-Hilliard equation with dynamic boundary conditions. Discrete Contin. Dyn. Syst. 27 (2010) 1511-1533. | MR 2629535 | Zbl 1204.65113
, and ,[14] A dissipative model for hydrogen storage: existence and regularity results. Math. Methods Appl. Sci. 34 (2011) 642-669. | MR 2814720 | Zbl 1217.35182
,[15] Global existence of a solution to a phase field model for supercooling. Nonlinear Anal. Real World Appl. 2 (2001) 523-539. | MR 1858904 | Zbl 0998.80005
, and ,[16] Well-posedness and long-time behavior for a nonstandard viscous Cahn-Hilliard system. SIAM J. Appl. Math. 71 (2011) 1849-1870. | MR 2861103 | Zbl pre06015173
, , and ,[17] Global existence and uniqueness for a singular/degenerate Cahn-Hilliard system with viscosity. J. Differ. Equ. 254 (2013) 4217-4244. | MR 3035431 | Zbl pre06245987
, , and ,[18] Error estimates for a finite element discretization of a phase field model for mixtures. SIAM J. Numer. Anal. 47 (2010) 4429-4445. | MR 2595043 | Zbl 1215.65151
, and ,[19] Quasistatic isothermal evolution of shape memory alloys. Math. Models Methods Appl. Sci. 21 (2011) 2409-2432. | MR 2864636 | Zbl pre06047346
, and ,[20] Time-discretization and global solution for a doubly nonlinear Volterra equation. J. Differ. Equ. 228 (2006) 707-736. | MR 2289551 | Zbl 1104.45005
and ,[21] Multigrid methods for obstacle problems. J. Comput. Math. 27 (2009) 1-44. | MR 2493556 | Zbl 1199.65401
and ,[22] Nonsmooth Newton methods for set-valued saddle point problems. SIAM J. Numer. Anal. 47 (2009) 1251-1273. | MR 2485452 | Zbl 1190.49035
and ,[23] Nonsmooth Schur-Newton methods for vector-valued Cahn-Hilliard equations. Freie Universität Berlin, Fachbereich Mathematik und Informatik, Serie A Preprint no. 01 (2013) 1-16.
, and ,[24] Approximation of nonlinear evolution systems, vol. 164 of Math. Sci. Eng. Academic Press Inc., Orlando, FL (1983). | MR 690582 | Zbl 0512.35001
,[25] A priori error estimates of a finite-element method for an isothermal phase-field model related to the solidification process of a binary alloy. IMA J. Numer. Anal. 22 (2002) 281-305. | MR 1897410 | Zbl 1001.76057
and ,[26] Phase-field models for multi-component fluid flows. Commun. Comput. Phys. 12 (2012) 613-661. | MR 2903596
,[27] Well-posedness of a thermo-mechanical model for shape memory alloys under tension. ESAIM: M2AN 44 (2010) 1239-1253. | Numdam | MR 2769056 | Zbl pre05835020
and ,[28] On existence and approximation for a 3D model of thermally induced phase transformations in shape-memory alloys. SIAM J. Math. Anal. 41 (2009) 1388-1414. | MR 2540271 | Zbl 1201.49011
, and ,[29] Models of phase segregation and diffusion of atomic species on a lattice. Ric. Mat. 55 (2006) 105-118. | MR 2248166 | Zbl 1150.74091
,[30] Existence of weak solutions for the Mullins-Sekerka flow. SIAM J. Math. Anal. 37 (2005) 291-301. | MR 2176933 | Zbl 1088.49031
,[31] Error estimates for a variable time-step discretization of a phase transition model with hyperbolic momentum. Numer. Funct. Anal. Optim. 25 (2004) 547-569. | MR 2106275 | Zbl 1064.74084
,[32] Compact sets in the space Lp(0,T;B). Ann. Mat. Pura Appl. 146 (1987) 65-96. | MR 916688 | Zbl 0629.46031
,[33] Error control of a nonlinear evolution problem related to phase transitions. Numer. Funct. Anal. Optim. 20 (1999) 585-608. | MR 1704962 | Zbl 0936.65112
,[34] Error control for a time-discretization of the full one-dimensional Frémond model for shape memory alloys. Adv. Math. Sci. Appl. 10 (2000) 917-936. | MR 1807457 | Zbl 0980.65097
,[35] Analysis of a variable time-step discretization for a phase transition model with micro-movements. Commun. Pure Appl. Anal. 5 (2006) 657-671. | MR 2217596 | Zbl 1141.35035
,[36] Rothe's method for an isothermal phase-field model of a binary alloy with convection. Mat. Contemp. 32 (2007) 221-251. | MR 2428435 | Zbl 1206.80018
,