内容发布更新时间 : 2024/12/22 15:13:47星期一 下面是文章的全部内容请认真阅读。
偏微分方程理论学习
一. 偏微分方程发展简介
1. 常微分方程
十七世纪微积分创立之后,常微分方程理论立刻就发展起来,当时应用常微分方程,解决几何与理学中的新问题。结果是在天体理学中不仅能得到并解释早先已经知晓的那些事实,而且得到了性的发现(例如,海王星的发现就是在对微分方程分析的基础上作出的)。 2. 偏微分方程
偏微分方程的研究要晚得多,对物理学中出现的偏微分方程研究在十八世纪中叶导致了分析学的一个新的分支------数学物理方程的建立。
J.达朗贝尔(D’Alembert)(1717-1783)、L.欧拉(Euler)(1707-1783)、D.伯努利(Bernoulli)(1700-1782)、J.拉格朗日(Lagrange)(1736-1813)、P.拉普拉斯(Laplace)(1749-1827)、S.泊松(Poisson)(1781-1840)、J.傅里叶(Fourier)(1768-1830)等人的工作为这一学科分支奠定了基础。它们在考察具体的数学物理问题中,所提出的思想与方法,竟适用于众多类型的微分方程,成为十九世纪末偏微分方程一般理论发展的基础。
十九世纪,偏微分方程发展的序幕是由法国数学家傅里叶拉开的,他于1822年发表的《热的解析理论》是数学史上的经典文献之一。傅里叶研究的主要是吸热或放热物体内部任何点处的温度随空间和时间的变化规律。在对物体的物理性状作出一定的限制(如均匀、各向同性)后,他根据物理原理推导出了三维空间的热传导方程
?2T?2T?2T2?T, ???k222?x?y?z?x其中k是一个参数,其值依赖于物体的质料。傅里叶当时解决的是如下特殊的热传导问题:设所考虑的物体为两端保持在温度0度、表面绝热且无热流通过的柱轴。在此情形下求解上述热传导方程,因为柱轴只涉及一维空间,所以这个问题也就是求解偏微分方程
??2T2?T?k,??x2?x??T(0,t)?0,T(l,t)?0,t?0, ?T(x,0)?f(x),0?x?l,??其中后面两项分别是边界条件和初始条件。傅里叶为解这个方程用了分离变量法,他得到满足方程和边界条件的级数解为
T(x,t)??bnen?1??(n2?2/k2l2)tsinn?x. l为了满足初始条件,必须有
f(x)??bnsinn?1?n?x. l这就促使傅里叶不得不考虑任给一个函数,能否将它表示成三角级数的问题。傅里叶得出的结论是:每个函数都可以表示成
f(x)??bnsinnx,0?x??.
n?1?这样,每个bn可由上式乘以sinnx(n?1,2,...),再从0到?积分而得到。他还指出这个程序可以应用于表达式 a0?f(x)???ancosnx,0?x??. 2n?1接着,他考虑了任何函数f(x)在区间(??,?)的表达式,利用对称区间上的任何函数可以表示成一个奇函数和一个偶函数之和这一事实,傅里叶可以将区间
(??,?)上的任何函数f(x)表示为
其系数由
?a0f(x)???(ancosnx?bnsinnx), 2n?1 an?1???f(x)cosnxdx, ??bn?f(x)sinnxdx,n?1 ????1?确定,这就是我们通常所称的傅里叶级数。
为了处理无穷区域上的热传导问题,傅里叶同时还导出了现在所谓的“傅里叶积分”: f(x)?du?f(t)cosu(x?t)dt. ??0??1?? 需要指出的是,傅里叶从没有对“任意”函数可以展成傅里叶级数这一断言给出过任何完全的证明,它也没有说出一个函数可以展开为三角级数必须满足的条件。然而傅里叶本人对此充满信心,因为他的信念有几何上的根据。傅里叶的工作不仅发展了偏微分方程的理论,而且使函数概念得以改进,同时也标志着人们从解析函数或可展成泰勒级数的函数中解放出来。傅里叶的前辈都曾坚持一个函数必须是可用单个式子表示的,而傅里叶级数却可以表示那些在区间(0,?)或
(??,?)的不同部分有不同解析式的函数,不论这些表示式相互是否连续地接合
着。特别是,一个傅里叶级数是在一整段区间上表示一个函数的,而一个泰勒级数仅在函数的解析点附近表示该函数。 事实上,傅里叶的主要思想早在1807年他提交巴黎科学院的一篇关于热传
导的论文中就出现了,但是这篇论文在拉格朗日等人评审后遭到拒绝。1811年,他又提交了经过修改的论文,以争取科学院为热传导问题所设立的高额奖金。这次他虽然获了奖,但仍因受到缺乏严格性的批评而未能将论文发表在当时科学院的《报告》里。1824年,傅里叶成为科学院的秘书,这回他终于能够把他1811年的论文原封不动地发表在《报告》里,而这已经是在他的名著《热的解析理论》出版两年以后的事情了。
十九世纪偏微分方程的另一个重要发展是围绕着位势方程来进行的,这方面的代表人物格林(G.. Green)是一位磨坊工出身、自学成才的英国数学家。位势方程也称拉普拉斯方程:
?2V?2V?2V ?V?2?2?2?0. ?x?y?z拉普拉斯曾采用球面调和函数法解这个方程,不过他得到一个错误的结论,认为
这个方程当被吸引的点(x,y,z)位于物体内部时也成立。这个错误由泊松加以更正。泊松指出,如果点(x,y,z)在吸引体内部,则满足方程?V??4??,其中?是吸引体密度,它也是x,y,z的一个函数。拉普拉斯和泊松的方法都只适用于特殊的几何体,格林则认识到函数V的重要性,并赋予它“位势”(potential)的名称,与前人不同的是,格林发展了函数V的一般理论。他求解位势方程的方法与用特殊函数的级数方法相反,称为奇异点方法。他在1828年私人印刷出版的小册子《关于数学分析应用于电磁学理论的一篇论文》中,建立了许多推动位势论的进一步发展极为关键的定理与概念,其中以格林公式
?V?U ???(U?V?V?U)dv???(U?V)d?
?n?n(n为物体表面指向外部的法向,dv是体积元,d?是面积元)和作为一种带奇异性的特殊位势的格林函数概念影响最为深远。 格林是剑桥数学物理学派的开山祖师,他的工作培育了汤姆逊(W.Thomson)、斯托克斯(G.Stokes)、麦克斯韦(J.C.Maxwell)等强有力的后继者,他们是十九世纪典型的数学物理学家。他们的主要目标,是发展求解重要物理问题的一般数学方法,而他们手中的主要武器就是偏微分方程,以至于在十九世纪,偏微分方程几乎变成了数学物理的同义词。
剑桥数学物理学派的贡献使经历了一个多世纪沉寂后英国数学在十九世纪得以复兴,麦克斯韦1864年导出的电磁场方程
1?(?E) rotH?,
c?t1?(?H), rotE??c?t div(?E)??, div(?H)?0
是十九世纪数学物理最壮观的胜利,正是根据对这组方程的研究,麦克斯韦预言了电磁波的存在,不仅给科学和技术带来巨大的冲击,同时也是偏微分方程威名大振。爱因斯坦在一次纪念麦克斯韦的演讲中说:“偏微分方程进入理论物理学