论文部分内容阅读
非线性高阶抛物型方程作为数学模型描述了很多物理学、化学、信息科学、生命科学、地理科学、环境科学以及空间科学等领域中出现的现象,是非线性科学的重要组成部分.本文研究了三种具有广泛物理背景的高阶非线性抛物型方程解的性质及其数值解法.首先,我们研究了扩散系数依赖于未知函数本身的薄膜外延增长方程的初边值问题利用Leyar-Schauder不动点定理,Campanato空间的性质和先验估计,我们得到了初边值问题(1)整体解的存在唯一性以及古典解的存在性.然后,我们研究了描述薄膜外延增长的方程和晶体表面生长的方程的解的长时间行为问题.借用[1,2]中关于整体吸引子的存在性定理,我们得到了在分数维空间Hk(0≤k<5)中方程(2)的整体吸引子的存在性以及在分数维空间Hk(0≤k<+∞)中方程(3)整体吸引子的存在性.需要强调的是方程(2)中p的取值不但可以是整数,还可以是分数.当我们对方程(2)进行先验估计的时候,如果对非线性项div(|(?)u|p-2(?)u)微分多次,则会出现负指数的情形(这种情形的先验估计很难得到).因此,我们只能得到在Hk(0≤k<5)空间中方程(2)的整体吸引子存在性.而方程(3)就不存在这种情况,我们可以利用迭代法得到其在更广泛的分数维空间Hk(0≤k<+∞)中整体吸引子的存在性.另外,我们考虑了晶体表面生长方程和薄膜外延增长方程的数值解法.文献[3]曾经对Cahn-Hilliard方程进行过有限元分析.借助于一个双调和问题的有限元投影逼近,作者得到了方程(4)的最优阶L2模误差估计.本文中,我们考虑方程(2)和方程(3)的一维情形的有限元方法.我们也借助于一个双调和问题的有限元投影逼近,得到了方程的最优阶L2模误差估计,并进行了数值分析.需要特别指出的是,在[3]中,方程的非线性项是(?)2/(?)x2φ(u),在建立逼近格式的时候,可以通过两次分部积分(在适当的边界条件下)和先验估计结果来进行分析,即其中Sh(k)为剖分上分段k≥3次多项式构成的有限元空间.而后利用双调和方程标准的有限元分析方法[4]得到想要的结果.而我们所考虑的两个方程的非线性项与[3]中不同.在建立逼近格式的时候只能分部积分一次(在适当的边界条件下),利用先验估计结果可得由于有一阶导数项的存在,此时利用双调和方程标准的有限元分析方法[4],空间上的误差精度会下降一阶.修正Swift-Hohenberg方程也是一类带有一阶导数项的高阶抛物型方程.我们利用Fourier谱方法对该方程的数值解进行分析,建立了半离散格式和全离散格式,给出了误差估计.在对修正Swift-Hohenberg方程进行Fourier谱分析的时候也会遇到类似上面的问题.但是,方程(5)的一阶导数项是二次的,运用合适的分部积分和先验估计,可以避免空间上误差精度的下降.