偏微分数值解

1偏微分方程数值解的研究摘要：本文从偏微分方程问题的起源着手，介绍从18世纪起，达朗贝尔首先研究弦振动方程。然后介绍边界积分方程组的两类常见的数值解方法，投影法和机械求积法。最后介绍两种非线性偏微分方程的展开解法，Exp-function方法和)/('GG展开法。关键词：投影法：机械求积法；Exp-function方法；)/('GG展开法；0偏微分方程问题的起源微积分创立不久之后，从18世纪初开始，达朗贝尔(JeanLeRondd’Alembert，1717一1783)首先研究了弦振动方程。傅立叶(J．Fourier，1768一1830)第一个发现并求解了热传导方程，其平衡态则用拉普拉斯方程刻画。这几类方程是最经典的偏微分方程，由它们而产生大量的求解方法以及通解，但是，不存在求解偏微分方程的一般方法。虽然19世纪初期柯西(A.L.Cauehy，1789一1851)、拉格朗日(J．L．Lagrange，1736一1813)等人解决了一阶偏微分方程的求解问题，但这种化为一阶常微分方程组求解的基本方法，对于二阶偏微分方程并不适用。从数学研究来讲，数学家们一直相信通解的存在，并且以此为出发点，先求通解，最后确定常数和函数。1820年柯西首先证明了一阶常微分方程初值问题解的存在性和唯一性。而且很快从实数推广到复数范围了，对于偏微分方程他只需要证明一阶偏微分方程组在复数范围内的解的存在性。正是在这里，他创造性地发明了优函数方法：首先应用幂级数展开式给出形式解，然后与某个己知收敛的幂级数相比较来证明形式解的收敛性，从而证明了解析解的存在性。30多年之后，魏尔斯托拉斯(K．WeierstraSS，1815一1897)的学生俄国数学家科瓦列夫斯卡娅独立地证明了偏微分方程组柯西问题解析解的存在唯一性，即柯西一科瓦列夫斯卡娅定理。柯西一科瓦列夫斯卡娅定理是偏微分方程理论中第一个普遍的存在定理。这样普遍适用的、不依赖于方程类型的性质的一直引人关注，是偏微分方程理论的一个主要发展方向；但另一方面，18世纪以来对几类特殊方程的研究结果表明，把微分方程分成不同的类型：双曲型、抛物型和椭圆型方程。这些是二阶线性偏微分方程的三种基本类型，数学物理中常见的波动方程、热传导方程及调和方程分别为它们的代表，其定解问题的提法、解的性质以及求解方法，多数可以推广到创门所代表的三种类型上去。有些方程在区域的一部分可能是双曲型的，而在另外某一部分可能是椭圆型的，在分界部分或者退化为抛物型的或者是不确定的，这样的方程称为混合型。1923年F.G.特里科米(F．Tricomi)首先研究了这样的方程，并得到了深刻的结果。关于各种各样的定解问题的提法，既有其物理上的依据，在数学上又能按照一定的准则被证明是合理的，这些准则中最常用的是解的存在性、唯一性以及解关于定解数据的连续依赖性。如果一个定解问题的解是存在、唯一且连续地依赖于定解条件，则这个定解问题就称为适定的，此概念是阿达玛(JacuqesHdamaard，1565一1963)提出来的。双曲型方程柯西问题的现代理论,是由阿达玛对二阶双曲型方程柯西问题的2先驱工作开始的。他通过构造在特征劈锥面上具有奇性的解------基本解来求解柯西问题，并采用发散积分的有限部分的方法来克服所遇到的奇性困难。他的工作经过里斯及索伯烈夫等人的发展，对广义函数论的建立是一个重要的推动，而阿达玛的方法在广义函数论的框架中也得到了更清晰和完善的表达。黎曼(G.F.B.Rimenan，1826一1866)依据所谓的狄里克雷原理断言狄里克雷问题有解，魏尔斯托拉斯指出了黎曼这个论断的逻辑缺陷，并举出了反例。多年之后，希尔伯特(D.Hilbert，1862一1943)给出了狄里克雷原理的完整无缺的证明。(狄里克雷问题解的存在性证明，有庞加莱一佩隆扫除法，施瓦兹交替法，差分法等等。)这方面的研究极大地推动了泛函分析的发展，也使得变分法成为研究偏微分方程的强有力的工具。拉普拉斯方程的狄里克雷问题解的存在性，波动方程的特征初值问题解的存在性等具体方程的一般理论问题，在19世纪也同样受到关注并分别推广到更为一般的一类方程。20世纪30年代彼得罗夫斯基(1.G.Petrovky，1901一1973)的工作成为偏微分方程理论发展的又一个里程碑，他对古典分型理论进行了推广，并同时研究了每一类方程的特点。1边界积分方程数值解在积分方程的解析解很难求或无法求出时，借助数值方法求解它的近似解就显得非常重要。从已有的成果来看，方法的应用先于理论分析，也就是说，不少方法已被提出或应用，但其数学基础的研究则不甚深入。随着应用的愈高要求，近年人们已把着眼点转向方法的数学原理研究上。我国对奇异积分方程的数值解法的研究起步较晚，但自82年全国积分方程会议强调开展这方面的研究后，很快引起了一些学者的兴趣和关注，特别是数值方法的理论分析方面，近年来我国学者做了不少工作。这里仅考虑方程的常见数值解法。1.1投影法常见的投影法通常有配置法，Galerkin有限元法和最小二乘法。设)(xj),,2,1(nj是h的基函数，近似解hhv可表示为这组基函数的线性组合njjjhxcv1)(（1）投影法都要归结为求解以),,2,1(njcj为未知量的线性方程组。①配置法：设Dti是一组适当选取的配置点（数目为n个），令fAv在配置点上恒等于零就得到n个线性方程3nitfctAijnjij,,2,1),()]([1（2）一般说来，系数矩阵)]([jjtA是不对称的。配置点的选取要取决于积分算子的性质和边界的几何状态，它对于离散方程（2）的适定性有决定性的影响。②Galerkin方法：在这种方法中，基函数系具有有限支集，系数jc是通过下面的Galerkin有限方程得到的nifcAijnjij,,2,1),,(),(1（3）如果A是自伴的，则上面方程组的系数矩阵是对称的。③最小二乘法：这种方法要求)(2DLfAv取得最小值。如果方程的解存在唯一，则最小二乘法将导致一个对称，正定的线性方程组niAfcAijnjij,,2,1),,(),(1以上方法都可以看作Galerkin-Petrov方法的特例。它们采用相同的试探函数，但选择不同的检验函数。所得到的线性代数方程组的系数矩阵都是满阵。1.2机械求积法选取一个适当的求积公式来近似积分算子Av有njjjjnnjnabhjhttvtkkhsA1,,2,1,/)(,),(),()(（4）然后赋值就可以求出离散矩阵的每一个元素，离散方程为njiijjiniihssftvtskh1,,2,1,),()(),(（5）机械求积法对连续核可以借助Anselone聚紧收敛理论得到它的收敛性证明，但是对边界积分方程由于核的奇性，则必须另辟蹊径。2两种非线性偏微分方程的展开解法2.1Exp-function方法描写浅水波的KdV方程，它的一般形式如下：0xxxxtuuuu4KdV方程应用非常广泛，它也是许多领域的孤波现象的模型：如等离子体声波，弹性杆中纵向色散波，低温下非线性晶格的声子波包的热激发等。我们考虑如下的KdV方程：06xxxxtuuuu利用变换wtkxuu),(代入上述方程，则方程转化为常微分方程：06'''3''ukkuuwu。现假设方程的解具有如下形式：qpjjdciijbiau)exp()exp(我们平衡最高阶线性项'''u以及最高阶非线性项'uu：821'''])exp([])7[exp(])7[exp(qpjjjbpccqdcu343'])exp([])2exp[(])2exp[(qpjjjbpccqdcuu于是，我们有：qdqd627以及pcpc627从而我们得到qpdc,,,的关系为：dqcp,。取1,1dqcp则上式为)exp()exp()exp()exp(10101bbaaau带回原方程中我们得到0)]3exp()2exp()exp()exp()2exp()3exp([13210123cccccccA其中0103013010210341066))exp()(exp(akaakbakbwabkawacbbA12120210030020111311111312021264228122826bkabkabakbwabwabakakabwaakwakac01110101013103101020102003301302020030110211011013112125523186618618bakabakabwabakbakbwaakabakabakbakbkabwabwabbkabbwabbakc1201312012110101010112120132113212120104442424412432124bbakbbwabwabbakabakabwakabakbakbkabwac5011101101310121030212101321030103201020103013301011121011102101102011218623185612512186bakabakabbakbbwabakbkabbakbwabbakbakabbwabakbwabbakabbwabakabakabbkac21110210311312121120212120211331102103120131201212281226682442bakabbwabakbkabwabkabkabakbwabbakbbakbbwac102121013102101331032101366bbkabbwabwabbakbakbakac上述式子中假若系数为0，得到如下的代数方程：0,0,000,0,01230123ccccccc利用MATLAB进行求解，得到如下的式子：kakwbkbaabbbaa13020102012011641,41将所得带入原方程为：)exp(41)exp()exp(41)()exp(20020102011bbbabkbaau其中kbatkakakx,,,)6(0113为方程中的任意常数。为了得到方程的周期解，我们采用如下的变换：)sin()cos()exp(KxiKxiKxiKk因此我们得到如下的周期解：)sin()1()cos()1('0'021mibmbkau其中，2013'41,)6(bmtKaKKx。kba,,01为方程中的任意常数。2.2)('GG展开法Klein一Gordon方程的一般形式如下：03uuuuxxtt它的应用非常广泛，它主要应用于非线性光学，电荷密度，JosePhson结等。6我们考虑K一G方程具有如下形式：03uuuuxxtt其中,为常数。首先，利用ctxuu),(，并带入到原方程中，则方程转化为常微分方程：0)1(3''2uuuc假设其解具有如下形式：imiiGGau0')(我们平衡最高阶线性项mu以及最高阶非线性'uu，有：mmGGcuGGcu3'232'1'')()(因此：1,32mmm。从而我们设为：02'1)(aGGaum带入方程我们有，0)()()(0'12'23'3cGGcGGcG