用户名: 密码: 验证码:
具变迁移率Cahn-Hilliard方程的谱方法
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
Cahn-Hilliard方程是一类重要的四阶非线性扩散方程.近年来,由于其具有化学、生物、化工和材料科学等多方面的实际背景,所以吸引了很多数学工作者的关注,同时也有较为丰富的理论结果出现.本文使用谱方法研究具变迁移率的Cahn-Hilliard方程.
     在第一章中,我们研究具确定变迁移率Cahn-Hilliard方程初边值问题的谱方法.首先,得到初边值问题弱解的存在唯一性及周期解的存在性.其次,我们讨论初边值问题的谱半离散格式及全离散格式,得到半离散格式及全离散格式近似解的存在唯一性、有界性和收敛性.特别地,可以证明全离散格式的近似解和真解之间的误差关于时间变量是2阶精度.最后,我们通过一维情形下的数值实验验证相应的全离散格式的收敛阶估计.此外,我们还给出二维和三维情形下的数值算例.
     在第二章中,我们研究具浓度相关迁移率Cahn-Hilliard方程的谱方法.首先,对空间变量用谱方法进行离散化,构造半离散格式,并且证明半离散方程近似解的存在唯一性、有界性和收敛性.其次,对时间变量进行差分,构造隐式的全离散格式,重点讨论该隐式全离散方程近似解的有界性和收敛性.最后,我们给出一维情形下的数值算例,并且验证理论分析中的误差估计.此外,我们还给出二维和三维情形下的数值算例.
In this paper, we study the Cahn-Hilliard equation, which is a typical class of nonlinear fourth order diffusion equations, by using the spectral method. Diffusion phenomena is widespread in the nature. Therefore, the study of the diffusion equation which describing the diffusion phenomena caught wide concern. Cahn-Hilliard equation was propounded by Cahn and Hilliard in 1958 as a mathematical model describing the diffusion phenomena of phase transition in thermodynamics. Later, such equations were suggested as mathematical models of physical problems in many fields such as competition and exclusion of biological groups [17], moving process of river basin [28] and diffusion of oil film over a solid surface [45]. Because of the important application in chemistry and material science, there were many investigation on the Cahn-Hilliard equations, and abundant results were brought about.
     The systematic study for Cahn-Hilliard equations began from the 1980s. It was Elliott and Zheng [22] who first study the Cahn-Hilliard equation in mathematics. They considered the following so-called standard Cahn-Hilliard equation with constant mobilityBasing on global energy estimates, they proved the global existence and uniqueness of classical solution of the initial boundary problem under the condition that the coefficient of the leading term of the interior chemical potential is a positive constant. They also discussed the blow-up property of classical solutions. After that, there were many remarkable studies on the Cahn-Hilliard equations, for example the asymptotic behavior of solutions [15, 38, 46, 56], perturbation of solutions [16, 43], stability of solutions [9, 13], and the properties of the solutions for the Cahn-Hilliard equations with dynamic boundary conditions [36, 41, 42, 49] which appeared recently, etc. Since the solutions of the Cahn-Hilliard equations can not be expressed by analytic formula, we should consider the approximate solution by numerical technique. Therefore, a number of the numerical techniques for Cahn-Hilliard equations were produced, these techniques include the finite element method [14, 22, 20, 19, 21, 4, 5, 6, 7], the finite difference method [26, 44, 23, 33, 32], the spectral method and the pseudo-spectral method [50, 51, 52, 3, 29, 30]. We know the key of the numerical analysis of Cahn-Hilliard equations is to construct a suitable discrete schemes in the finite element method. For example, in [37, 19], the equation (7.0.1) was discreted by conforming finite schemes with an implicit time discretization. In [20], semi-discrete schemes which can define a Lyapunov functional and remains mass constant were used for a mixed formulation of the governing equation. In [18], a mixed finite element formulation with an implicit time discretization was presented for the Cahn-Hilliard equation (7.0.1) with Direchlet boundary conditions. The conventional strategy to obtain numerical solutions by the finite difference method is to choose appropriate mesh size based on the linear stability analysis for difference schemes. However, this conventional strategy does not work well for the Cahn-Hilliard equation. In fact, there are not many-successful studies on the finite difference method for this equation. Therefore an alternative strategy is proposed for general problems, for example, in [25, 26] the strategy was to design such schemes that inherit the energy dissipation property and the mass conservation by Furihata. In [33, 32], conservative multi-grid method was developed by Kim.
     Moreover, the spectral and pseudo-spectral method which have a long history became one of the important method after the fast Fourier transform appeared . In 1970s, some work about the computation , the application and the stability of the spectral method had been done, see the result of Oliger,Orszag[39, 40]. After that, especially in 1980s, it was Canuto, Maday and Guo who studied the spectral method systematically in theory, which giving the error estimate of projection operator and interpolation operator under the different norms, and apply them to a series of the important linear and nonlinear partial difference equations and get satisfying result. Meanwhile, a many of computation proves that the spectral method is a effectively technique. At present the spectral method is applied in hydrodynamics, meteorology, computational physics etc. The spectral method is the technique that takes the trigonometric function or other orthogonal polynomial as the basis function. The advantage of the spectral method is the infinite order convergence,that is, if the exact solution of the Cahn-Hilliard equation is infinite smooth, then the approximate solution will be convergent to the exact solution with any power for exponent N~(-1),where N is the number of the basis function. This method is superior to the finite element methods and finite difference methods, and a lot of practice and experiment prove the validity of the spectral method. Furthermore, the quick algorithm reduces computation largely. Certainly, the spectral method have the shortage. It requires both well regularity of the solution and product-type region. In addition, the singularity of the weighted function in Chebyshev spectral method leads to the instability. In last years, many people managed to overcome this problem. For instance, in [2], the author introduced the negative norm when studying the solution with non-smooth initial value. A large amount of authors have studied the solution of the Cahn-Hilliard equation which has constant mobility by using spectral method. For example, in [50, 51, 52], Ye Xinde studied the solution of the Cahn-Hilliard equation by Fourier collocation spectral method and Legendre collocation spectral method under different boundary conditions. In [3], the author studied a class of the Cahn-Hilliard equation with pseudo-spectral method. However,the Cahn-Hilliard equation with varying mobility can depict the physical phenomena more accurately, therefore, there is practical meaning to study the numerical solution for the Cahn-Hilliard equation with varying mobility. It was professor Yin [53, 54] who first study the Cahn-Hilliard equation with concentration dependent mobility in one dimension and get the existence and uniqueness of the classical solution. In the last year, professor Yin Jingxue and Liu Changchun [34, 55] investigate the regularity for the solution in two dimension. As far as we know, the main numerical technique for the Cahn-Hilliard equation with concentration dependent mobility are the finite element method [33] and finite difference method [31], there is no study on the Cahn-Hilliard equation with varying mobility by the spectral method.
     This monograph includes two chapters. We will study the solution of the Cahn-Hilliard equation with varying mobility by using the spectral method. In the first chapter, we consider the Cahn-Hilliard equation with given mobility and present the existence and uniqueness of the solution for the initial value and boundary condition problem. Furthermore, we prove the existence of the periodic solution about time variable. By constructing the semi-discrete scheme and full-discrete scheme, we study the existence, boundedness and convergence of the approximate solutions of the semi-discrete scheme and full-discrete. In the second chapter, we investigate the Cahn-Hilliard equation with concentration dependent mobility by the spectral method. Through building the semi- discrete scheme and full-discrete scheme, we study boundedness and convergence of the approximate solution and verify them with the numerical exercise.
     In the first chapter, by utilizing the spectral method, we study the numerical solution for the Cahn-Hilliard equation with non-constant mobility. We consider the following equationsatisfies the initial value conditionand boundary conditionwhere D = (?),A(u) is the interior chemical potential with a typical form A(s)= -s +γ_1s~2 +γ_2s~3(γ_2 > 0).We know from the reference [22] that the sign of the coefficientγ_2 of the leading term of the interior chemical potential is important to the properties of the solutions. Exactly speaking, ifγ_2 > 0 and the initial datum is suitably small, then the solution exists globally in time. In this chapter we think about the same thing, but the mobility is not a constant. Firstly, we study the existence and uniqueness for the weak solution of the Cahn-Hilliard equation (7.0.2)-(7.0.4) by Leray-Schauder fixed point theorem, and investigate the regularity for the weak solution, then we get the classical solution of the equation (7.0.2)-(7.0.4) under the initial value which is suitable smoothness.Secondly, we consider the time periodic problem of the Cahn-Hilliard equation with non-constant mobility. We consider the following equationsatisfies the boundary condition (7.0.3) and periodic conditionwhere f(x) is the source function. If the mobility m(x,t) is a nontrival periodic function with respect to t, then we get the existence of the periodic solution by some a priori estimates and Leray-Schauder fixed point theorem. Thirdly, from the weak form of the equation (7.0.2)-(7.0.4), we discrete the space variable by the spectral method and get the semi-discrete scheme for the Cahn-Hilliard equation. We study the existence, uniqueness, boundedness and convergence of the approximate solution. Based on the semi-discrete scheme of the Cahn-Hilliard equation, a full-discrete scheme which inherit the energy dissipation property is constructed by discrete time variable.We investigate the boundedness and convergence of the numerical solution. It is worth to give our attention, the error estimate between the numerical solution of the full-discretezation scheme and the exact solution of the Cahn-Hilliard equation (7.0.2)-(7.0.4) is O(h~2),where h is a step of time variable. That scheme is more precise than the standard backward Eular difference. At last, we practice the exercise in one dimension and examine the result of the conclusion. Moreover, we give the numerical example in two and three dimension.
     In the second chapter, we study the solution of the Cahn-Hilliard equation with concentration dependent mobility by the spectral method. We consider the following equationwith boundary condition (7.0.3) and initial value condition (7.0.4). In [54], we know that there is a unique classical solution u∈C~(1+(?),4+α)((?)_T) of the problem (7.0.7),(7.0.3), (7.0.4) when m(u),u_0 are smooth enough. It provides the theoretical basis for the spectral method. Firstly, from the weak form of the solution of equation (7.0.7), we construct the semi-discrete scheme by discreting the space variable with the spectral method, and analysis the existence, uniqueness, boundedness and convergence for the approximate solution. Secondly, based on the semi-discrete equation, a full-discrete scheme which inherit the energy dissipation property is constructed. We investigate the boundedness and convergence of the numerical solution. It is worth to give our attention, the error estimate between the numerical solution of the full-discretezation scheme and the exact solution of the Cahn-Hilliard equation (7.0.7),(7.0.3),(7.0.4) is O(h~2),that is more precise than the standard backward Eular difference. Since the mobility is depending on the solution u(x, t),so it is difficult to analysis the error estimate because of the item m'(u)Du in (7.0.7). We introduce the Nirenberg inequality to get the boundedness of the infinite norm for Du_N.At last, we practice the exercise in one dimension and examine the result of the conclusion.Moreover, we give the numerical example in two and three dimension.
引文
[1] Adams Robert A., Sobolev spaces, Pure and Applied Mathematics, Academic Press, New York-London, 65 (1975).
    [2] Babuska,Ivo and Janik, Tadeusz The h-p version of the finite element method for parabolic equations.Ⅰ.The p-version in time, Numer. Methods Partial Differential Equations 5(1989), no. 4, 363-399.
    [3] Bai Fenglan, The pseudo-spectral method for cahn-hilliard equation, Journal of Jilin University (Science Edition) 41 (2003), no. 3, 262-268.
    [4] Barrett John W. and Blowey James F., An error bound for the finite element approximation of a model for phase separation of a multi-component alloy, IMA J. Numer. Anal. 16 (1996),no. 2, 257-287.
    [5] Barrett John W. and Blowey James F., Finite element approximation of a model for phase separation of a multi-component alloy with non-smooth free energy, Numer. Math. 77 (1997), no. 1, 1-34.
    [6] Barrett John W., Blowey James F. and Garcke, H., Finite element approximation of the Cahn-Hilliard equation with degenerate mobility. SIAM J. Numer. Anal. 37 (1999), no.1,286-318.
    [7] Barrett John W. and Blowey James F., Finite element approximation of an Allen-Cahn/Cahn-Hilliard system, IMA J. Numer. Anal. 22 (2002), no.1, 11-71.
    [8] Bernis F., Qualitative properties for some nonlinear higher order degenerate parabolic equations, Houston J. Math. 14 (1988), no. 3, 319-352.
    [9] Bricmont Jean, Kupiainen Antti and Taskinen Jari, Stability of Cahn-Hilliard fronts,Comm.Pure Appl.Math. 52 (1999),no.7, 839-871.
    [10] Cahn John W. and Hilliard John E., Free energy of a nonuniform system. I. interfacial free energy, J. Chem.Phys. 44 (1958), no. 2, 258-267.
    [11] Canuto C. and Quarteroni A. Error estimates for spectral and pseudospectral approximations of hyperbolic equations, SIAM J. Numer. Anal. 19 (1982), no. 3, 629-642.
    [12] Canuto C, Hussaini M. Y., Quarteroni, A. and Zang, T.A. Spectral methods in fluid dynamics. Springer Series in Computational Physics, Springer-Verlag, New York, 1988.
    [13] Carlen E. A., Carvalho M. C. and Orlandi E., A simple proof of stability of fronts for the Cahn-Hilliard equation, Comm. Math. Phys.,224 (2001), no. 1,323-340.
    [14] Chan P. K. and Rey A. D. A numerical method for the nonlinear cahn-hilliard equation with nonperiodic boundary conditions, Computational Materials Science 3 (1995), no. 3,377-392.
    [15] Chen Xinfu,Global asymptotic limit of solutions of the Cahn-Hilliard equation, J. Differential Geom.,44 (1996), no. 2. 262-311.
    [16] Chen Xinfu and Kowalczyk Michal, Existence of equilibria for the Cahn-Hilliard equation via local minimizers of the perimeter, Comm. Partial Differential Equations, 21 (1996), no.7-8, 1207-1233.
    [17] Cohen D. S. and Murray J. D., A generalized diffusion model for growth and dispersal in a population, J. Math. Biology, 12 (1981), no. 2, 237-249.
    [18] Du Qiang and Nicolaides R. A..Numerical analysis of a continuum model of phase transition, SIAM J. Numer. Anal. 28 (1991), no. 5, 1310-1322.
    [19] Elliott C. M. and French D. A. A nonconforming finite-element method for the two-dimensional Cahn-Hilliard equation, SIAM J. Numer. Anal. 26 (1989), no. 4, 884-903.
    [20] Elliott C. M., French D. A. and Milner F. A. A second order splitting method for the Cahn-Hilliard equation, Numer. Math. 54 (1989), no. 5, 575-590.
    [21] Elliott C. M. and Larsson Stig Error estimates with smooth and nonsmooth data for a finite element method for the Cahn-Hilliard equation, Math. Comp. 58 (1992), no. 198, 603-630.
    [22] Elliott C. M. and Zheng Songmu, On the Cahn-Hilliard equation, Arch. Rational Mech. Anal. 96 (1986), no. 4, 339-357.
    [23] E. V. L. de Mello and Otton Teixeira da Silveira Filho, Numerical study of the Cahn-Hilliard equation in one, two and three dimensions, Phys. A 347 (2005), no.1-4, 429-443.
    [24] Feng Xiaobing and Wu Haijun A posteriori error estimates for finite element approximations of the Cahn-Hilliard equation and the Hele-Shaw flow, J. Comput. Math. 26 (2008),no. 6, 767-796.
    [25] Furihata D. Finite difference schemes for (?)u/(?)t = ((?)/(?)x)~αδG /δu that inherit energy conservation or dissipation property, J. Comput. Phys. 156 (1999), no.1,181-205.
    [26] Furihata D. A stable and conservative finite difference scheme for the Cahn-Hilliard equation, Numer. Math. 87 (2001), no. 4, 675-699.
    [27] Guo Benyu Spectral method for solving Navier-Stokes equation, Sci. Sinica Ser. A 28 (1985),no. 11, 1139-1153.
    [28] Hazewinkel M., Kaashoek J. F. and Leynse B., Pattern formation for a one dimensional evolution equation based on Yhom's river basin model, Report, Econometric Institute, Erasmus University (1985),23-46.
    [29] He Yinnian and Liu Yunxian Stability and convergence of the spectral Galerkin method for the Cahn-Hilliard equation, Numer. Methods Partial Differential Equations 24 (2008), no.6, 1485-1500. [30] Howard P. Spectral analysis of planar transition fronts for the Cahn-Hilliard equation, J. Differential Equations 245 (2008), no. 3, 594-615.
    [31] Kay D. and Welford R., A multigrid finite element solver for the Cahn-Hilliard equation,J. Comput. Phys. 212 (2006), no.1, 288-304.
    [32] Kim Junseok A numerical method for the Cahn-Hilliard equation with a variable mobility,Commun. Nonlinear Sci. Numer. Simul.12(2007), no. 8, 1560-1571.
    [33] Kim J., Kang, K. and Lowengrub, J. Conservative multigrid methods for Cahn-Hilliard fluids, J. Comput. Phys. 193 (2004), no. 2, 511-543.
    [34] Liu Changchun, Qi Yuanwei and Yin Jingxue, Regularity of Solutions of the Cahn-Hilliard Equation with Non-constant Mobility, Acta Mathematica Sinica, English Series, 22 (2006),no. 4, 1139-1150.
    [35] Lions J.L. and Magenens E.,Non-homogeneous boundary value problems and applications,Vol.Ⅱ,Springer-Verlag,1972
    [36] Miranville A. and Zelik S., Exponential attractors for the Cahn-Hilliard equation with dynamic boundary.conditions, Math. Methods Appl.Sci., 28 (2005), no. 6, 709-735.
    [37] Nicolaenko B., Scheurer B. and Temam R.,Some global dynamical properties of a class of pattern formation equations, Comm.Partial Differential Equations 14 (1989), no. 2,245-297.
    [38] Novick-Cohen, A., On Cahn-Hilliard type equations, Nonlinear Analysis, TMA, 15 (1990),no. 9, 797-814.
    [39] Oliger Joseph Approximate methods for atmospheric and oceanographic circulation problems Computing methods in applied sciences and engineering ,(1979), 171-184.
    [40] Orszag Steven A. Spectral methods for problems in complex geometries Advances in computer methods for partial differential equations,Ⅲ (Proc.Third IMACS Internat. Sympos.,Lehigh Univ., Bethlehem, Pa., 1979), 148-157.
    [41] Priiss J., Racke R. and Zheng S., Maximal regularity and asymptotic behavior of solutions for the Cahn-Hilliard equation with dynamic boundary conditions. Ann. Mat. Pura Appl.,185 (2006), no. 4, 627-648.
    [42] Racke R. and Zheng S., The Cahn-Hilliard equation with dynamic boundary conditions,Adv. Differential Equations, 8 (2003), no.1, 83-110.
    [43] Stoth B.,Convergence of the Cahn-Hilliard equation to the Mullins-Sekerka problem in spherical symmetry, J. Diff. Eqs., 125 (1996), no.1,154-183.
    [44] Zhi Zhong Sun, A second-order accurate linearized difference scheme for the two-dimensional Cahn-Hilliard equation, Math. Comp. 64 (1995), no. 212, 1463-1471.
    [45] Tayler A. B.,Mathematical Models in Applied Mechanics, Clarendon, Oxford, 1986.
    [46] Voigt Axel and Hoffman Karl-Heinz, Asymptotic behavior of solutions to the Cahn-Hilliard equation in spherically symmetric domains, Appl.Anal. 81 (2002), no. 4, 893-903.
    [47] Wang Rouhuai, On the Schauder type theory about the general parabolic boundary value problem, Acta Scientiarum Naturlium Universitatis JiLinensis,(1964), no. 2, 35-64.
    [48] Wells Garth N. , Ellen Kuhl,and Krishna Garikipati, A discontinuousGalerkin method for the Cahn-Hilliard equation,J.Comput.Phys.218 (2006), no. 2, 860-877.
    [49] Wu Hao and Zheng Songmu,Convergence to equilibrium,for the Cahn-Hilliard equation with dynamic boundary conditions, J. Differential Equations, 204 (2004), no. 2, 511-531.
    [50] Ye Xingde The Fourier collocation method for the Cahn-Hilliard equation, Comput. Math.Appl. 44 (2002), no. 1-2, 213-229.
    [51] Ye Xingde, The Legendre collocation method for the Cahn-Hilliard equation,J.Comput.Appl. Math. 150 (2003), no. 1, 87-108.
    [52] Ye Xingde and Cheng Xiaoliang , The Fourier spectral method for the Cahn-Hilliard equation, Appl. Math. Comput. 171 (2005), no.1, 345-357.
    [53] Yin Jingxue, On the existence of nonnegative continuous solutions of the Cahn-Hilliard equation, J. Diff. Eqs., 97(1992), no. 2, 310-327.
    [54] Yin J.,On the Cahn-Hilliard equation with nonlinear principal part, Journal of Partial Differential Equations, 7(1994), 77-96.
    [55] Yin J. and Liu C,Regularity of solutions of the Cahn-Hilliard equation with concentration dependent mobility, Nonlinear Analysis, 45(2001), 543-554.
    [56] Zheng Songmu,Asymptotic behavior of solution to the Cahn-Hilliard equation, Appl. Anal.,23(1986), 165-184.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700