四阶偏微分方程的边界条件

偏微分方程基本理论的归纳与总结偏微分方程是储存自然信息的载体,自然现象的深层次性质可以通过数学手段从方程中推导出来.最为一种语言,微分方程在表达自然定律方面比文字具有更强的优越性.微分方程是一个庞大的体系,它的基本问题就是解的存在性和唯一性.该学科的主要特征是不存在一种可以统一处理大多数偏微分方程的适定性问题的普适的方法和理论.这是与常微分方程有显著差异的地方.这种特性使得我们将方程分为许多种不同类型,这种分类的依据主要来自数学与自然现象这两个方面.从数学的角度,方程的类型一般总是对应于一些普遍的理论和工具.换句话讲,如果能建立一个普遍性的方法统一处理一大类方程问题,那么这个类型就被划分出来.而从自然现象的角度,我们又可以根据不同的运动类型以及性质将方程进行分类.当然这两种方式常常不能截然区分,通常它们是相互关联的,这就造成方程的概念有许多重叠现象.根据数学的特征,偏微分方程主要被分为五大类,它们是：（1）线性与拟微分方程,研究这类方程的主要工具是Fourier分析方法；（2）椭圆型方程,它的方法是先验估计+泛函分析手段；（3）抛物型方程,主要是Galerkin方法,算子半群,及正则性估计；（4）双曲型方程,对应于Galerkin方法；（5）一阶偏微分方程,主要工具是数学分析方法.从自然界的运动类型出发,偏微分方程可分为如下几大类：（1）稳态方程（非时间演化方程）；（2）耗散型演化方程,这类方程描述了时间演化过程中伴有能量损耗与补充的自然运动.相变与混沌是它们的主要内容；（3）保守系统,如具有势能的波方程.该系统控制的运动是与外界隔离的,及无能量输入,也无能量损耗.行波现象与周期运动是它们的主要特征；（4）守恒律系统,这类方程是一阶偏微分方程组,它们与保守系统具有类似的性质,可视为物质流的守恒.激波行为是由守恒律系统来控制.下面具体来介绍三类经典方程：三类典型方程：椭圆型方程,抛物型方程,双曲型方程,即偏微分方程模型的建立,解问题的解法以及三类典型方程的基本理论.关于三类典型方程定解问题的解题方法,它们主要是分离变量法、积分变换法、特征线法、球面平均法、降维法和Green 函数方法.关于三类典型方程的基本理论——极值原理和能量估计,并由此给出了解的唯一性和稳定性的相关结论.具体来说,关于二阶线性椭圆形方程,我们研究它的古典解和弱解.前者主要介绍了基本解、调和函数的基本性质、Green 函数、极值原理、最大模估计、能量方法和变分原理；而后者的研究则需要知道Sobolev空间的相关知识再加以研究；关于二阶线性抛物型方程,主要研究它的Fourier 变换、特殊的求解方法、基本解、方程式和方程组的最大值原理以及最大模估计、带有非经典边界条件和非局部项的方程式的最大值原理及能量方法；关于二阶线性双曲型方程,主要研究初值问题的求解方法、初值问题的能量不等式与解的适定性、以及混合问题的能量模估计与解的适定性.椭圆、抛物和双曲这三类线性偏微分方程解的适定性问题,它们分别以拉普拉斯方程、热传导方程和波动方程作为代表.具体地说,对于某些规则的求解区域试图求出满足特定线性偏微分方程和定解条件的具体解,这就决定了存在性问题；再利用方程本身所具有的特殊性质,将证明所求解是唯一的,也就解决了唯一性问题；关于连续依赖性问题,需要在不同函数空间中考虑,我们将在连续函数空间和平方可积函数空间中分别讨论解关于输入数据的连续依赖性问题学习偏微分方程理论以及偏微分方程分析是研究其它一切的基础.首先有必要解释一下解的适定性.简单地说,一个偏微分方程是适定性的,若它有解（存在性）解唯一（唯一性）且对输入数据的微小改变的响应也是很小的改变（连续依赖性）.前两个准则是一个有意义的物理模型所要求的,第三个准则是实验观察的基础.考虑适定性时,还应记得对有实际意义的问题通常不可能求得显示解,从而可考虑逼近格式,特别是数值解在应用中就具有特别的重要性.因此,适定性问题与偏微分方程科学计算的如下中心问题有密切联系：对一个问题给定一定精度的数据,数值解计算输出有多少精度？正因为这个问题对现代定量科学的重要性,适定性成为偏微分方程理论的核心内容.因此,偏微分方程的学习应以三类线性偏微分方程的适定性问题为主要研究对象.同时,考虑到偏微分方程理论的两个特点：一是与应用、与物理的紧密联系；二是与数学其它分支的联系.以下,我们具体来说一下其两个具有应用价值的特点.针对特点一：首先,数学物理方程是自然科学和工程技术的各门分支中出现的偏微分方程,这些方程给出了所考察的物理量关于自变量（时间变量和空间变量）的偏导数的关系.例如连续介质力学、电磁学、量子力学等方面的基本方程都属于数学物理的范畴,数学物理方程侧重于模型的建立和定解问题的解题方法,而偏微分方程则侧重于其自身的数学理论,所以偏微分方程理论的研究是能够更好地将其运用于物理当中.针对特点二：偏微分方程理论与其他数学分支如泛函分析、数论、拓扑学、代数、复分析等紧密联系.偏微分方程理论广泛应用数学这些领域中的基本概念,基础思想和基本方法,并且它本身也给这些学科分支的研究问题的范围与方向以影响.鉴于此,对于应用数学而言,掌握和研究偏微分方程的目的主要应该放在以下几个方面：（1）建立模型.在经典物理中,具有普遍意义的自然定律不仅可以用实验手段获得,而且根据这些定律很容易对相应的自然现象建立数学模型.如天体力学,连续介质力学,流体动力学以及经典电磁学中的物理定律就属于这种情况.在近代物理中,情况有一些变化.咋爱量子力学与广义相对论中,一些自然规则与物理定律是隐而不见的,此时数学物理方程是依靠部分物理原则与实验数据猜测出来的.然而,到了现代数学阶段,大多数面临的问题仅依靠物理或数学的单一学科知识和直觉建立模型已变得非常困难,必须具备多学科交叉能力才行.因此,只有系统全面地掌握偏微分方程的理论与方法,才能训练出从方程解的性质反推出模型的形式的能力,这里方程解的性质是由实验数据与观测资料所提供.这种模型反推能力再结物理直觉就是现在建立数学模型的基本要求;（2）从已知的方程和模型推导出新的发现和预言.这个方面可以说是科学发展最重要的环节之一;（3）从控制自然现象的微分方程中得到问题的机理和解释;（4）最后一个方面就是从数学模型获得与实验和观测相吻合的性质和结论.虽然这类工作不能提供新的科学结果,但能使我们加深对问题的理解,体现自然美与数学美的有机结合.在总结了偏微分方程理论所研究的内容及其特点以后,我们该怎样学习基本理论呢？首先,对于每一类方程,我们要了解它的物理背景及其意义,否则,我们根本不知道它在说什么.事实上,同一个方程有许多不同的来源,这一方面是偏微分方程理论具有广泛应用的原因之一.同时对于不同的来源进行类比研究可以更好地解释物理过程的某些特性,因为某个具体物理特性在某个物理过程还没有被观察到或没有引起注意,而在另外某个物理过程已经被观察注意到了,如果这两个物理过程服从同一个偏微分方程,则在原来的物理过程中应该也具有这个特性.其次,在对数学模型研究之后,需要有意识地讲数学解带回原来的物理意义中,去理解,解释物理现象.这一方面可以验证数学模型的有效性,另一方面可以更好地理解已知的物理现象,从而更加深刻地了解其在现实中的意义.然后,要善于去思考,总结,归纳.逐步提高分析、解决实际问题的能力.至于与数学其他学科的联系,比如,求解过程中将会用到许多微积分或数学分析的概念,思想,和定理,解的表达形式也是有积分形式的或级数形式的,解空间的结构则用到许多线性代数的知识.最后,学好泛函分析也是同等重要的,因为偏微分方程解的唯一性和连续依赖性需要许多实变和泛函分析的理论和方法.所以在重视偏微分方程基本理论时（实变函数和泛函分析的许多思想方法都是来源于偏微分程理论研究）,也要同样学好泛函分析.参考文献（1）王明新，偏微分方程基本理论；（2）马天，偏微分方程理论与方法；（3）王明新，数学物理方程.。

偏微分方程的解法偏微分方程（Partial Differential Equations，简称PDEs）是数学中的一个重要分支，它描述了多变量函数的偏导数之间的关系。

这些方程在自然科学、工程应用和社会科学等领域都发挥着重要作用。

解决偏微分方程是一个复杂而有挑战性的过程，需要运用多种数学方法和工具来求解。

在本文中，我将为您介绍几种常见的偏微分方程的解法，并提供一些示例以帮助您更好地理解。

以下是本文的主要内容：1. 一阶线性偏微分方程的解法1.1 分离变量法1.2 特征线方法2. 二阶线性偏微分方程的解法2.1 分离变量法2.2 特征值法2.3 Green函数法3. 非线性偏微分方程的解法3.1 平移法3.2 线性叠加法3.3 变换法4. 数值方法解偏微分方程4.1 有限差分法4.2 有限元法4.3 谱方法5. 偏微分方程的应用领域5.1 热传导方程5.2 波动方程5.3 扩散方程在解一阶线性偏微分方程时，我们可以使用分离变量法或特征线方法。

分离变量法的基本思路是将方程中的变量分离，然后通过积分的方式求解每个分离后的常微分方程，最后再将结果合并。

特征线方法则是将方程中的变量替换为新的变量，使得方程中的导数项消失，从而简化求解过程。

对于二阶线性偏微分方程，分离变量法、特征值法和Green函数法是常用的解法。

分离变量法的核心思想与一阶线性偏微分方程相似，将方程中的变量分离并得到常微分方程，然后进行求解。

特征值法则利用特征值和特征函数的性质来求解方程，适用于带有齐次边界条件的问题。

Green函数法则通过引入Green函数来求解方程，其特点是适用于非齐次边界条件的情况。

非线性偏微分方程的解法则更加复杂，常用的方法有平移法、线性叠加法和变换法。

这些方法需要根据具体问题的特点选择合适的变换和求解技巧，具有一定的灵活性和创造性。

除了上述解析解法，数值方法也是解偏微分方程的重要手段。

常用的数值方法包括有限差分法、有限元法和谱方法等。

偏微分方程基本概念偏微分方程（Partial Differential Equations，简称PDE）是数学中一个重要的分支，研究的是涉及多个未知函数的方程，该方程中的未知函数是关于多个独立变量的函数。

本文将从基本概念的角度介绍偏微分方程。

一、什么是偏微分方程偏微分方程是含有未知函数及其偏导数的方程，其中涉及的变量分为独立变量和因变量，而独立变量可以有多个。

偏微分方程通常包括一阶或高阶的偏导数，并且可以通过求解这些方程来揭示自然界或工程中的各种现象和规律。

在现实生活中，偏微分方程的应用广泛存在。

例如，它们被用于描述流体力学中的流动、电磁场、热传导、弹性力学、量子力学中的波函数等各个领域。

二、分类偏微分方程可以根据方程的性质和形式进行分类。

常见的分类方式包括线性和非线性方程、齐次和非齐次方程以及初值问题和边值问题等。

根据方程的阶数，可以将偏微分方程划分为一阶、二阶、三阶等等，其中一阶和二阶方程是应用最广泛的两类。

三、解的性质解是指使得偏微分方程成立的未知函数。

偏微分方程的解可以分为解析解和数值解。

解析解是指通过求解方程得到的显式表达式，它通常是由初始条件和边界条件确定的。

解析解能够准确地描述物理过程和现象，但对于复杂的偏微分方程来说，往往很难找到解析解。

数值解是通过数值计算方法获得的近似解。

数值解通常通过将偏微分方程离散化为代数方程组，然后利用数值方法进行求解。

数值解在实际计算中具有重要意义，因为它可以给出较好的近似解，并且能够处理一些无法求得解析解的问题。

四、解的存在性与唯一性对于一些偏微分方程，解的存在性与唯一性是非常重要的问题。

存在性指的是是否存在至少一个解，而唯一性指的是该解是否是唯一的。

对于线性偏微分方程而言，可通过一些定理和方法来证明解的存在性与唯一性。

对于非线性偏微分方程，解的存在性与唯一性则可能因方程的具体形式和边界条件而有所不同。

五、解的稳定性解的稳定性是指当输入条件稍有改变时，解的变化情况。

微分方程的定解条件与特解求解微分方程是数学中的重要概念，它研究函数与其导数（或者高阶导数）之间的关系。

在解微分方程时，我们需要确定定解条件，并寻找满足特定条件的特解。

一、定解条件的意义定解条件是指在解微分方程时给出的附加条件，它起到确定特解的作用。

通常，微分方程本身并不能唯一确定解，而是存在无穷多个解，因此我们需要定解条件来锁定解的形式。

定解条件的设置可以包括初始条件和边界条件两种情况。

1. 初始条件：当我们需要求解一阶微分方程时，通常需要给出一个初始条件。

初始条件是指在某一点或某一区间内给出函数与导数的初值。

通过这个初值，我们可以确定特解在指定区间内的形式。

举例来说，假设我们要求解一阶线性微分方程dy/dx = 2x，可以通过给出一个初始条件y(0) = 1来确定特解。

在这种情况下，我们可以通过积分得到特解y = x^2 + 1。

2. 边界条件：边界条件常在求解偏微分方程时使用。

它是指在某一边界上给出函数的值或导数的值。

通过边界条件，我们可以确定满足这些条件的特解。

边界条件也可以分为两类：第一类边界条件和第二类边界条件。

举例来说，假设我们要求解二阶波恩-奥伽尔德方程∂^2u/∂x^2 +∂^2u/∂y^2 = 0，在一个矩形区域上给定边界条件u(x,0) = f(x)，u(x,b) = g(x)，u(0,y) = h(y)，u(a,y) = k(y)。

通过这些边界条件，我们可以确定在指定矩形区域内满足边界条件的特解。

二、特解的求解在确定了定解条件后，我们可以根据微分方程的类型和求解方法来寻找特解。

1. 可分离变量法：对于一些可分离变量的微分方程，我们可以通过将变量分离，分别对两边进行积分，最后得到特解。

举例来说，对于可分离变量的一阶微分方程dy/dx = f(x)g(y)，我们可以将方程变形为dy/g(y) = f(x)dx，然后对两边积分求解。

2. 线性微分方程：对于一阶线性微分方程和高阶线性常系数微分方程，我们可以使用特殊的求解方法，如常数变易法、Laplace 变换等，来得到特解。

第十四章 偏微分方程物理、力学、工程技术和其他自然科学经常提出大量的偏微分方程问题.由于实践的需要和一些数学学科（如泛函分析，计算技术）的发展，促进了偏微分方程理论的发展，使它形成一门内容十分丰富的数学学科.本章主要介绍一阶偏微分方程、线性方程组及二阶线性偏微分方程的理论.在二阶方程中，叙述了极值原理、能量积分及惟一性定理.阐明了一些解的性质和物理意义，介绍典型椭圆型、双曲型、抛物型方程的常用解法：分离变量法，基本解，格林方法,黎曼方法,势位方法及积分变换法.最后，扼要地介绍了有实用意义的数值解法：差分方法和变分方法.§1 偏微分方程的一般概念与定解问题[偏微分方程及其阶数] 一个包含未知函数的偏导数的等式称为偏微分方程.如果等式不止一个，就称为偏微分方程组.出现在方程或方程组中的最高阶偏导数的阶数称为方程或方程组的阶数.[方程的解与积分曲面] 设函数u 在区域D 内具有方程中所出现的各阶的连续偏导数，如果将u 代入方程后，能使它在区域D 内成为恒等式，就称u 为方程在区域D 中的解，或称正规解. ),,,(21n x x x u u = 在n +1维空间),,,,(21n x x x u 中是一曲面，称它为方程的积分曲面. [齐次线性偏微分方程与非齐次线性偏微分方程] 对于未知函数和它的各阶偏导数都是线性的方程称为线性偏微分方程.如()()()()y x f u y x c yuy x b x u y x a ,,,,=+∂∂+∂∂就是线性方程.在线性方程中，不含未知函数及其偏导数的项称为自由项，如上式的f (x,y ).若自由项不为零，称方程为非齐次的.若自由项为零，则称方程为齐次的.[拟线性方程与半线性方程] 如果一个方程，对于未知函数的最高阶偏导数是线性的，称它为拟线性方程.如()()()()()()0,,,,,,,,,,,,22222122211=+∂∂+∂∂+∂∂+∂∂∂+∂∂u y x c y uu y x b x u u y x a yu u y x a y x u u y x a x u u y x a就是拟线性方程，在拟线性方程中，由最高阶偏导数所组成的部分称为方程的主部.上面方程的主部为()()()22222122211,,,,,,yuu y x a y x u u y x a x u u y x a ∂∂+∂∂∂+∂∂如果方程的主部的各项系数不含未知函数，就称它为半线性方程.如()()()()0,,,,,,2222=∂∂+∂∂+∂∂+∂∂y yu y x d x y u y x c yu y x b x u y x a就是半线性方程.[非线性方程] 不是线性也不是拟线性的方程称为非线性方程.如1)()1(222=∂∂+∂∂+yux u u就是一阶非线性偏微分方程.[定解条件] 给定一个方程，一般只能描写某种运动的一般规律，还不能确定具体的运动状态，所以把这个方程称为泛定方程.如果附加一些条件（如已知开始运动的情况或在边界上受到外界的约束）后，就能完全确定具体运动状态，称这样的条件为定解条件.表示开始情况的附加条件称为初始条件，表示在边界上受到约束的条件称为边界条件.[定解问题] 给定了泛定方程（在区域D 内）和相应的定解条件的数学物理问题称为定解问题.根据不同定解条件，定解问题分为三类.1︒ 初值问题 只有初始条件而没有边界条件的定解问题称为初值问题或柯西问题. 2︒ 边值问题 只有边值条件而没有初始条件的定解问题称为边值问题.3︒ 混合问题 既有边界条件也有初始条件的定解问题称为混合问题（有时也称为边值问题）.[定解问题的解] 设函数u 在区域D 内满足泛定方程，当点从区域D 内趋于给出初值的超平面或趋于给出边界条件的边界曲面时，定解条件中所要求的u 及它的导数的极限处处存在而且满足相应的定解条件，就称u 为定解问题的解.[解的稳定性] 如果定解条件的微小变化只引起定解问题的解在整个定义域中的微小变化，也就是解对定解条件存在着连续依赖关系，那末称定解问题的解是稳定的.[定解问题的适定性] 如果定解问题的解存在与惟一并且关于定解条件是稳定的，就说定解问题的提法是适定的.§2 一阶偏微分方程一、 柯西-柯娃列夫斯卡娅定理[一阶偏微分方程的通解] 一阶偏微分方程的一般形式 是0),,,,,,,,(2121=∂∂∂∂∂∂nn x ux u x u u x x x F或()0,,,,,,,211=n n p p p u x x F ，其中()n i x up ii ,,2,1 =∂∂=如解出p 1，可得：p 1 = f (x 1 , x 2 ,…, x n , u , p 2 ,…, p n )当方程的解包含某些“任意元素”(指函数)，如果适当选取“任意元素”时，可得方程的任意解(某些“奇异解”除外)，则称这样的解为通解.在偏微分方程的研究中，重点在于确定方程在一些附加条件(即定解条件)下的解，而不在于求通解.[一阶方程的柯西问题]()()⎪⎩⎪⎨⎧==∂∂=n x x n n x x u p p u x x x f x u,,|,,,,,,,22211011 ϕ 称为柯西问题，式中),,(2n x x ϕ为已知函数，对柯西问题有如下的存在惟一性定理.[柯西－柯娃列夫斯卡娅定理] 设 f ( x 1 , x 2 ,, x n , u , p 2 ,, p n ) 在点 ( x 10 , x 20 ,, x n 0 , u 0 , p 20 ,, p n 0 ) 的某一邻域内解析，而),,(2n x x ϕ在点( x 20 ,, x n 0 ) 的某邻域内解析，则柯西问题在点 ( x 10 ,, x n 0 ) 的某一邻域内存在着惟一的解析解.这个定理应用的局限性较大，因它要求f 及初始条件都是解析函数，一般的定解问题未必能满足这种条件.对高阶方程也有类似定理.二、 一阶线性方程1． 一阶齐次线性方程[特征方程∙特征曲线∙初积分(首次积分)] 给定一阶齐次线性方程在有些书中写作0),,,,,,,,,(121=∂∂∂∂∂∂nn x u x u t u u x x x t F()()0,,,,,,211211=∂∂++∂∂nn n n x u x x x a x u x x x a (1) 式中a i 为连续可微函数，在所考虑的区域内的每一点不同时为零(下同).方程组()n i ix x x a tx ,,,d d 21 = ( i = 1,2,, n ) 或()()()n n n n n x x x a x x x x a x x x x a x ,,,d ,,,d ,,,d 2121222111 === (2)称为一阶齐次线性偏微分方程的特征方程.如果曲线l : x i = x i (t ) ( i =1,2,, n )满足特征方程(2)，就称曲线l 为一阶齐次线性方程的特征曲线.如果函数ψ ( x 1 , x 2 ,, x n )在特征曲线),,2,1()(n i t x x i i ==上等于常数，即ψ ( x 1(t ) , x 2(t ) ,, x n (t ) ) = c就称函数ψ ( x 1, x 2,, x n )为特征方程(2)的初积分(首次积分). [齐次方程的通解]1o 连续可微函数u = ψ ( x 1, x 2,, x n ) 是齐次线性方程(1)的解的充分必要条件是： ψ ( x 1, x 2,, x n )是这个方程的特征方程的初积分.2o 设ψi ( x 1 , x 2 ,, x n ) ( i = 1,2,, n 1-) 是特征方程(2)在区域D 上连续可微而且相互独立的初积分(因此在D 内的每一点，矩阵⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡∂∂∂∂∂∂∂∂∂∂∂∂∂∂∂∂∂∂---n n n n n n x x x x x x x x x 121112221212111ψψψψψψψψψ 的秩为n 1-) ，则u = ω ( ψ1 ( x 1 , x 2 ,, x n ) ,, ψn -1 ( x 1 , x 2 ,, x n ) )是一阶齐次线性方程(1)的通解，其中ω为n 1-个变量的任意连续可微函数. [柯西问题] 考虑方程的柯西问题()()⎪⎩⎪⎨⎧==∂∂==∑n x x ni i n i x x u x u x x x a ,,|0,,,2121011 ϕ 式中ϕ ( x2 ,, x n )为已知的连续可微函数.设ψi ( x 1 , x 2 ,, x n ) ( i = 1,2,, n 1-) 为特征方程的任意n 1-个相互独立的初积分，引入参变量 i ψ (1,,2,1-=n i )，从方程组()()()⎪⎪⎩⎪⎪⎨⎧===--120112201212011,,,,,,,,,n n n n n x x x x x x x x x ψψψψψψ 解出x 2 ,, x n 得()()⎪⎩⎪⎨⎧==--12112122,,,,,,n n nn x x ψψψωψψψω 则柯西问题的解为u = ϕ ( ω2 ( ψ1 , ψ2 ,, ψn -1 ) ,, ωn ( ψ1 , ψ2 ,, ψn -1 ) )2． 非齐次线性方程它的求解方法与拟线性方程相同.三、 一阶拟线性方程一阶拟线性方程为()()∑==∂∂ni n i n i u x x x R x uu x x x a 12121,,,,,,,, 其中a i 及R 为x 1 , x 2 ,, x n , u 的连续可微函数且不同时为零. [一阶拟线性方程的求解和它的特征方程]()()⎪⎩⎪⎨⎧===u x x x R t un i u x x x a t x n n i i,,,,d d ),,2,1(,,,,d d 2121 或()()()u x x R uu x x a x u x x a x n n n n n ,,,d ,,,d ,,,d 11111 ===为原拟线性方程的特征方程.如果曲线l : x i = x i (t ) ( i =1,2,, n ) , u = u (t ) 满足特征方程，则称它为拟线性方程的特征曲线.设 ψi ( x 1 ,, x n ,u ) ( i = 1,2,, n ) 为特征方程的n 个相互独立的初积分，那末对于任何连续可微函数ω，ω ( ψ1 ( x 1,, x n , u ) , ψ2 ( x 1,, x n , u ) ,, ψn ( x 1,, x n , u ) ) = 0都是拟线性方程的隐式解.[柯西问题] 考虑方程的柯西问题()()()⎪⎩⎪⎨⎧==∂∂==∑n x x ni n i ni x x u u x x x R x u u x x x a ,,|,,,,,,,,212121011 ϕ ϕ为已知的连续可微函数.设 ψ1 ( x 1 , x 2 ,, x n , u ) ,, ψn ( x 1 , x 2 ,, x n , u ) 为特征方程的n 个相互独立的初积分，引入参变量 n ψψψ,,,21 , 从()()()⎪⎪⎩⎪⎪⎨⎧===nn n n n u x x x u x x x u x x x ψψψψψψ,,,,,,,,,,,,2012201212011解出 x 2 ,, x n , u()()()⎪⎪⎩⎪⎪⎨⎧===n n n n n u x x ψψψωψψψωψψψω,,,,,,,,,21212122 则由()()()()()()()0,,,,,,,,,,,,,,,,,,,,,,2121221221121=-≡n n n n n n u x x x u x x x u x x x V ψψψωψψψωϕψψω给出柯西问题的隐式解.四、 一阶非线性方程[完全解·通解·奇异解] 一阶非线性方程的一般形式为()()n i x up p p p u x x x F ii n n ,,2,10,,,,,,,,2121 =∂∂== 若一阶偏微分方程的解包含任意n 个独立的常数，则称这样的解为完全解(全积分). 若V ( x 1, x 2 ,, x n , u , c 1 , c 2,, c n ) = 0为方程的完全解，从()n i c VV i,,2,10,0 ==∂∂= 消去c i ，若得一个解，则称它为方程的奇异解(奇积分).以两个独立变量为例说明完全解与通解、奇异解的关系，设方程()yzq x z p q p z y x F ∂∂=∂∂==,,0,,,,有完全解V (x ,y ,z ,a ,b )=0 ( a ,b 为任意常数),则方程等价于从方程组()⎪⎪⎩⎪⎪⎨⎧=∂∂+∂∂=∂∂+∂∂=0,00,,,,q z Vy V p z V x V b a z y x V 消去a ,b 所得的方程.利用常数变易法把a ,b 看作x , y 的函数，将V (x ,y ,z ,a ,b )=0求关于x , y 的偏导数，得00=∂∂⋅∂∂+∂∂⋅∂∂+∂∂+∂∂=∂∂⋅∂∂+∂∂⋅∂∂+∂∂+∂∂ybb V y a a V q z V y V xbb V x a a V p z V x V那末0,0=∂∂⋅∂∂+∂∂⋅∂∂=∂∂⋅∂∂+∂∂⋅∂∂yb b V y a a V x b b V x a a V 与V=0联立可确定a ,b .有三种情况：1︒ 0≡∂∂≡∂∂bVa V ，将其与V (x ,y ,z ,a ,b )=0联立可确定不含任意常数的奇异解. 2︒ 如0=∂∂=∂∂=∂∂=∂∂yb x b y a x a ，即回到完全解. 3︒ 当0/,0/≡∂∂≡∂∂b Va V 时，必有()()0,,=∂∂y x b a ，这时，如果不属于情形2︒ ，则a 与b 存在函数关系：b=ω(a )，这里ω为任意可微函数，并从方程V (x ,y ,z ,a ,b )=0和()∂∂∂∂ωV a Vba +'=0消去a ,b ，可确定方程的通解.定理 偏微分方程的任何解包含在完全解内或通解内或奇异解内. [特征方程·特征带·特征曲线·初积分] 在一阶非线性方程：()F x x x u p p p n n 12120,,,,,,,, =中，设F 对所有变量的二阶偏导数存在且连续，称()n i uFp x F t p p F p t u p Ft x i i i ni iii i ,,2,1)(d d d d ,1 =∂∂+∂∂-=∂∂=∂∂=∂∂∑=或u F p x F p u F p x F p p Fp up F x p F xp F x n nnni i i nn ∂∂+∂∂-==∂∂+∂∂-=∂∂=∂∂==∂∂=∂∂∑=d d d d d d 11112211为非线性方程的特征方程.设特征方程的解为x i =x i (t ), u=u (t ), p i =p i (t ) (i =1,2,…,n )称它为非线性方程的特征带.在x 1,x 2,, x n ,u 空间的曲线x i =x i (t ), u=u (t ) (i=1,2,…,n )称为非线性方程的特征曲线.如果函数()n n p p p u x x x G ,,,,,,,,2121 在特征方程的任一解x i =x i (t ) (i =1,2,, n ), u=u (t ), p i =p i (t ) (i =1,2,, n )上等于常数，即()()()()()()()()G x t x t x t u t p t p t p t C n n 1212,,,,,,,, =那末函数()n n p p p u x x x G ,,,,,,,,2121 称为特征方程的初积分.[求完全解的拉格朗日－恰比方法] 考虑两个变量的情况.对于方程F (x ,y ,z ,p ,q )=0，选择使雅可比式()()0,,≠∂∂q p G F 的一个初积分G (x ,y ,z ,p ,q ).解方程组()()F x y z p q G x y z p q a,,,,,,,,==⎧⎨⎪⎩⎪0(a 为任意常数) 得p (x ,y ,z ,a )及q (x ,y ,z ,a ).则方程d z=p d x+q d y的通解V (x ,y ,z ,a ,b )=0(b 是积分d z=p d x+q d y 出现的任意常数)就是方程F (x ,y ,z ,p ,q )=0的完全解.例 求方程()z p q x y 22222+=+的完全解.解 方程的特征方程为()()()qy x z y qp q p z x p q p z z q z y p z x 22222222222d 22d 2d 2d 2d +-=+-=+== 这里成立zpxx p z z p d d d =+ 所以特征方程的一个初积分为z 2p 2 －x 2 .解方程组 ()()z p q x y z p x a22222222+-+=-=⎧⎨⎪⎩⎪ (a 为任意常数) 得 p a x zq y az=+=-22, 积分微分方程dz a x zdx y azdy =++-22 得完全解z x x a y y a a x x a y y ab 22222=++-++++-+ln(b 为任意常数)[某些容易求完全解的方程] 1︒ 仅含p ,q 的方程F (p ,q )=0G =p 是特征方程的一个初积分.从F (p ,q )=0与p=a (a 为任意常数)得q=ψ(a )，积分d z=a d x+ψ(a )d y得完全解z=ax+ψ(a )y+b (b 为任意常数)2︒ 不显含x ,y 的方程F (z ,p ,q )=0 特征方程为zFqqz F p p q F q p F p z q F y p F x ∂∂-=∂∂-=∂∂+∂∂=∂∂=∂∂d d d d d 因此q d p-p d q =0，显然G qp=为一个初积分，由F (z ,p ,q )=0，q=pa (a 为任意常数)解得p=ψ(z ,a ).于是由d z=ψ(z ,a )d x+a ψ(z ,a )d y得()⎰++=b ay x a z z,d ψ (b 为任意常数)可确定完全解.3︒ 变量分离形式的方程()f x p i i i i n,=∑=10特征方程为n n n n i i iin n n x f p x f p p f p z p f x p f x ∂∂-==∂∂-=∂∂=∂∂==∂∂∑=d d d d d 1111111 可取初积分G i =f i (x i ,p i ) , (i =1,2,, n ).从f i (x i ,p i )=a i (i =1,2,, n )解出p i =ϕi (x i ,a i )得完全解()∑⎰=+=ni i i i i b x a x z 1d ,ϕ式中a i ,b 为任意常数，且a i i n=∑=10.[克莱罗方程] 方程()z p x f p p p i i n i n=+=∑121,,,称为克莱罗方程，其完全解为()z c x f c c c i i n i n=+=∑121,,,对c i 微分得x fc i i=-∂∂ (i =1,2,…,n ) 与完全解的表达式联立消去c i 即得奇异解.例 求方程z －xp －yq －pq =0的完全解和奇异解. 解 这是克莱罗方程，它的完全解是z=ax+by+ab对a,b 微分，得x=－b,y=－a ，消去a ,b 得奇异解z=－xy[发甫方程] 方程P (x,y,z )d x+Q (x,y,z )d y+R (x,y,z )d z=0 (1)称为发甫方程，如果P,Q,R 二次连续可微并满足适当条件，那末方程可积分.如果可积分成一关系式时，则称它为完全可积.1︒ 方程完全可积的充分必要条件 当且仅当P,Q,R 满足条件0)()()(=∂∂-∂∂+∂∂-∂∂+∂∂-∂∂yP x Q R x R z P Q z Q y R P (2) 时，存在一个积分因子μ(x,y,z )，使d U 1=μ(P d x+Q d y+R d z )从而方程的通解为U 1(x,y,z )=c特别，当0,0,0=∂∂-∂∂=∂∂-∂∂=∂∂-∂∂yP x Q x R z P z Q y R 时，存在一个函数U (x,y,z )满足 zU R y U Q x U P ∂∂=∂∂=∂∂=,,从而 d U=P d x+Q d y+R d z 所以方程的通解为U (x,y,z )=c所以完全可积的发甫方程的通解是一单参数的曲面族.定理 设对于发甫方程(1)在某区域D 上的完全可积条件(2)成立，则对D 内任一点M (x,y,z )一定有方程的积分曲面通过，而且只有一个这样的积分曲面通过. 2︒ 方程积分曲面的求法设完全可积条件(2)成立.为了构造积分曲面，把z 看成x,y 的函数(设R (x,y,z )≠0)，于是原方程化为y RQ x R P z d d d --=由此得方程组()()()()⎪⎪⎩⎪⎪⎨⎧≡-=∂∂≡-=∂∂4,,3,,11z y x Q R Q y z z y x P R P xz发甫方程(1)与此方程组等价.把方程(3)中的y 看成参变量，积分后得一个含有常数 c 的通解 ()cy x z ~;,ϕ= 然后用未知函数()~cy 代替常数 c ，将()()z x y c y =ϕ,;~代入方程(4)，在完全可积的条件下，可得()~cy 的一个常微分方程，其通解为 ()()~,cy y c =ψ c 为任意常数，代回()()z x y cy =ϕ,;~中即得发甫方程的积分曲面 z=ϕ(x,y,ψ(y,c ))由于发甫方程关于x,y,z 的对称性，在上面的讨论中，也可把x 或y 看成未知函数，得到同样的结果.例 求方程yz d x+2xz d y+xy d z=0的积分曲面族.解 容易验证完全可积条件成立，显然存在一个积分因子μ=1xyz，用它乘原方程得 0d d 2d =++zz y y x x 积分后得积分曲面族xy 2z=c也可把方程化为等价的方程组⎪⎪⎩⎪⎪⎨⎧-=∂∂-=∂∂y z yz x z xz 2 把y 看成参变量，积分xzx z -=∂∂得通解 zx c= 用未知函数()~cy 代替 c ，将()y c zx ~=代入方程y z y z 2-=∂∂得 ()()yy cy y c ~2d ~d -= 积分后有()~cy c y =2所以原方程的积分曲面族是xy 2z=c五、 一阶线性微分方程组[一阶线性偏微分方程组的一般形式] 两个自变量的一阶线性方程组的形式是()n i F u C x u B t u A i n j j ij n j n j jij j ij ,,2,10111 ==++∂∂+∂∂∑∑∑=== 或()n i f u b x u a t u i n j j ij n j j ij i,,2,1011 ==++∂∂+∂∂∑∑== (1) 其中A ij ,B ij ,C ij ,F i ,a ij ,b ij ,f i 是(x,t )的充分光滑函数. [特征方程·特征方向·特征曲线]⎩⎨⎧=≠==-j i j i t xa ij ij ij ,1,0,0)d d det(δδ称为方程组(1)的特征方程.在点(x,t )满足特征方程的方向txd d 称为该点的特征方向.如果一条曲线l ，它上面的每一点的切线方向都和这点的特征方向一致，那末称曲线l 为特征曲线. [狭义双曲型方程与椭圆型方程] 如果区域D 内的每一点都存在n 个不同的实的特征方向，那末称方程组在D 内为狭义双曲型的.如果区域D 内的每一点没有一个实的特征方向，那末称方程组在D 内为椭圆型的. [狭义双曲型方程组的柯西问题] 1︒ 化方程组为标准形式——对角型因为det(a ij -δij λ)=0有n 个不同的实根λ1(x,t ) ,, λn (x,t )，不妨设),(),(),(21t x t x t x n λλλ<<<那末常微分方程()()n i t x txi ,,2,1,d d ==λ 的积分曲线l i (i =1,2,…,n )就是方程组(1)的特征曲线. 方程()()aijk ij k i i n-==∑λδλ1的非零解(λk (1) ,, λk (n ))称为对应于特征方向λk 的特征矢量. 作变换()()n i u v nj jj i i ,,2,11==∑=λ可将方程组化为标准形式——对角型()()()()n i t x v t x a x v t x t v i nj j ij ii i ,,2,1,,,1=+=∂∂+∂∂∑=βλ 所以狭义双曲型方程组可化为对角型，而一般的线性微分方程组(1)如在区域D 内通过未知函数的实系数可逆线性变换可化为对角型的话，(此时不一定要求 λi 都不相同)，就称这样的微分方程组在D 内为双曲型的. 2︒ 对角型方程组的柯西问题 考虑对角型方程组的柯西问题()()()()()()n i x x v t x v t x a x v t x tv i inj i j ij i i i,,2,10,,,,1 =⎪⎩⎪⎨⎧=+=∂∂+∂∂∑=ϕβλ ϕi (x )是[a,b ]上的连续可微函数.设αij ,βi ,λi 在区域D 内连续可微，在D 内可得相应的积分方程组()()()n i tv x t x v il i n j j ij i i i ,,2,1d ,~1 =⎥⎦⎤⎢⎣⎡++=⎰∑=βαϕ 式中 l i 为第i 条特征曲线l i 上点(x,t )与点(x i ,0)之间的一段，(x i ,0)为l i与x 轴上[a,b ]的交点.上式可以更确切地写为()()[]()[]()[]()[]⎰∑⎭⎬⎫⎩⎨⎧+⋅+==t n j i i i j i ij i i i t x x t x x v t x x a t x x t x v 01d ,,,,,,,,,0,,,τττβττττϕ(i =1,2,, n )式中x i =x i (x ︒,t ︒,t )为过点(x ︒,t ︒)的第i 条特征曲线，利用逐次逼近法可解此积分方程.为此令()()()[]()()()()[]()[]()()[]()[]()()()()[]()[]()()[]()[]()n i t x x t x x v t x x a t x x t x v n i t x x t x x v t x x a t x x t x v n i t x x t x v i i tnj i k j i ij i i k ii i tnj i j i ij i i ii i i ,,2,1d ,,,,,,,,,0,,,,,2,1d ,,,,,,,,,0,,,,,2,10,,,}{}{01101010=+⋅+==+⋅+===⎰∑⎰∑=-=τττβττττϕτττβττττϕϕ序列{v i (k )} (k =0,1,2 ,)一致收敛于积分方程的连续可微解v i (x,t ) (i =1,2,, n )，这个v i (x,t )也就是对角型方程组的柯西问题的解.设在区域D 内对角型方程组的柯西问题的解存在，那末解与初值有下面的关系：(i) 依赖区间：过D 中任意点M (x,t )作特征曲线l 1,l n ，交x 轴于B,A ，称区间[A,B ]为M 点的依赖区间(图14.1(a ))，解在M 点的值由区间[A,B ]的初值确定而与[A,B ]外的初值无关. (ii) 决定区域：过点A,B 分别作特征曲线l n ,l 1,称l n ,l 1 与区间[A,B ]围成的区域D 1为区间[A,B ]的决定区域(图14.1(b ))，在区域D 1中解的值完全由[A,B ]上的初值决定.(iii) 影响区域：过点A,B 分别作特征曲线l 1,l n ，称l 1,l n 与[A,B ]围成的区域D 2为区间[A,B ]的影响区域(图14.1(c )).特别当区间[A,B ]缩为一点A 时，A 点的影响区域为D 3(图14.1(d )).在区域D 2中解的值受[A,B ]上的初值影响，而在区域D 2外的解的值则不受[A,B ]上的初值影响.图14.1[线性双曲型方程组的边值问题] 以下列线性方程组来说明：()⎪⎪⎩⎪⎪⎨⎧<++=∂∂+∂∂++=∂∂+∂∂2122221111λλλλc v b u a x v t v c v b u a xu t u (1) 1︒ 第一边值问题(广义柯西问题) 设在平面(x,t )上给定曲线段⋂AB ，它处处不与特征方向相切.过A,B 分别引最左和最右的特征曲线l 1及l 2.要求函数u (x,t ),v (x,t )在⋂AB ，l 1及l 2围成的闭区域D 上满足方程组，且在⋂AB 上取给定的函数值(图14.2(a )).2︒ 第二边值问题(古沙问题) 设l 1是过P 点的第一族特征线，l 2是第二族特征线，在l 1的一段PA 上给定v (x,t )的数值，在l 2的一段PB 上给定u (x,t )的数值，过A 点作第二族特征线，过B 点作第一族特征线相交于Q .求在闭区域PAQB 上方程组的解(图14.2(b )).3︒ 第三边值问题 设AB 为非特征曲线的曲线弧，AC 为一特征线弧，且在AB 与AC 之间不存在过A 点的另外特征曲线,过C 点作第二族特征线与过B 点的第一族特征线交于E 点，在AC 上给定v (x,t )的数值，在AB 上给定u (x,t )的数值，求ACEBA 所围成的闭区域D 上的方程组的解(图14.2(c)).图14.2[边值问题的近似解——特征线法] 以上定解问题，可用逐步逼近法求解，也可用特征线法求解的近似值.以第一边值问题为例说明.在曲线AB 上取n 个分点A 1,A 2,, A n ，并记A 为A 0，B 为A n +1，过A 0按A 0的第二特征方向作直线与过A 1按A 1的第一特征方向作直线相交于B 0；过A 1按A 1第二特征方向作直线与过A 2按A 2的第一特征方向作直线相交于B 1 ,最后得到B n (图14.3).用如下的近似公式来确定方程组(1)的解u (x,t ),v (x,t )在B i (i =0,1,2,…,n )的数值：()()()()()()(){}()[]()()()()()()(){}()[]u B u A B A a A u A b A v A c A A v B v A B A a A u A b A v A c A A i i i i i i i i i i i i i i i i i i i i -=++⨯+-=++⨯+⎧⎨⎪⎩⎪+++++++--11111111112122212121211λλ图14.3于是在一个三角形网格的节点上得到u,v 的数值.再经过适当的插值，当n 相当大，A i 、A i +1的距离相当小时，就得到所提问题的足够近似的解.[特殊形式的拟线性方程组——可化约系统] 一般的拟线性方程组的问题比较复杂，目前研究的结果不多，下面介绍一类特殊形式的拟线性方程组——可化约系统.如果方程组⎪⎪⎩⎪⎪⎨⎧=∂∂+∂∂+∂∂+∂∂=∂∂+∂∂+∂∂+∂∂0022221111x v D t v C x u B tu A xv D t v C x u B t uA 中所有的系数只是u,v 的函数，称它为可化约系统. 考虑满足条件()()0,,≠∂∂t x v u 的方程组的解u=u (x,t ),v=v (x,t ).x,t 可以表示成u,v 的函数，且()()()()()()()()v u t x u t x v v u t x u x t v v u t x v tx u v u t x v x t u ,,,,,,,,,,∂∂∂∂=∂∂∂∂∂∂-=∂∂∂∂∂∂-=∂∂∂∂∂∂=∂∂ 原方程化为⎪⎪⎩⎪⎪⎨⎧=∂∂+∂∂-∂∂-∂∂=∂∂+∂∂-∂∂-∂∂0022221111u t D u x C v t B vx A ut D u x C v t B v xA 这是关于自变量u,v 的线性方程组.这样就把求拟线性方程组满足()()0,,≠∂∂t x v u 的解，化为解线性方程组的问题.而此线性方程组满足条件()()0,,≠∂∂v u t x 的解，在(x,t )平面上的象即为原来拟线性方程组的解.§3 二阶偏微分方程一、 二阶偏微分方程的分类、标准形式与特征方程考虑二阶偏微分方程()0),,,,,,(111,2=∂∂∂∂+∂∂∂∑=nnnj i j i ij x u x u u x x F y x u x a (1) 式中a ij (x )=a ij (x 1,x 2,…,x n )为x 1,x 2,…,x n 的已知函数.[特征方程·特征方向·特征曲面·特征平面·特征锥面]代数方程()01,=∑=nj i jiijaa x a称为二阶方程(1)的特征方程；这里a 1,a 2,…,a n 是某些参数，且有012≠∑=ni i a .如果点x ︒=(x 1︒,x 2︒,…,x n ︒)满足特征方程，即()01,o =∑=nj i jiijaa x a则过x ︒的平面()01o=-∑=nk kk k x x a 的法线方向l :(a 1,a 2,…,a n )称为二阶方程的特征方向；如果一个(n 1-)维曲面，其每点的法线方向都是特征方向，则称此曲面为特征曲面；过一点的(n 1-)维平面，如其法线方向为特征方向，则称这个平面为特征平面，在一点由特征平面的包络组成的锥面称为特征锥面.[n 个自变量方程的分类与标准形式] 在点P (x 1︒,x 2︒,…,x n ︒)，根据二次型()∑=nj i jinijaa x x x a 1,o o 2o 1,,, (a i 为参量)的特征根的符号，可将方程分为四类：(i) 特征根同号，都不为零，称方程在点P 为椭圆型.(ii) 特征根都不为零，有n 1-个具有同一种符号 ，余下一个符号相反，称方程在点P 为双曲型.(iii) 特征根都不为零，有m n -个具有同一种符号(n >m >1)，其余m 个具有另一种符号，称方程在点P 为超双曲型.(iv) 特征根至少有一个是零，称方程在点P 为抛物型.若在区域D 内每一点方程为椭圆型，双曲型或抛物型，则分别称方程在区域D 内是椭圆型、双曲型或抛物型.在点P 作自变量的线性变换可将方程化为标准形式：椭圆型：∑==+∂∂ni ix u1220Φ双曲型：∑==+∂∂-∂∂n i ix ux u 22120Φ超双曲型：()10112222>>=+∂∂-∂∂∑∑=+=m n x ux u m i nm i ii Φ抛物型：()00122>=+∂∂∑-=m x umn i iΦ 式中Φ为不包含二阶导数的项.[两个自变量方程的分类与标准形式] 方程的一般形式为0,,,,222222122211=⎪⎪⎭⎫⎝⎛∂∂∂∂+∂∂+∂∂∂+∂∂y u x u u y x F y u a y x u a x u a (2) a 11,a 12,a 22为x ,y 的二次连续可微函数，不同时为零. 方程a 11d y 22-a 12d x d y +a 22d x 2=0称为方程(2)的特征方程.特征方程的积分曲线称为二阶方程(2)的特征曲线. 在某点P (x 0,y 0)的邻域D 内，根据Δ=a 122－a 11a 12的符号将方程分类： 当Δ>0时，方程为双曲型； 当Δ=0时，方程为抛物型； 当Δ<0时，方程为椭圆型.在点P 的邻域D 内作变量替换，可将方程化为标准形式：（i ） 双曲型：因Δ>0，存在两族实特征曲线11),(c y x =ϕ，22),(c y x =ϕ，作变换),(1y x ϕξ=，),(2y x ϕη=和,,ηηξ-=+=s t s 方程化为标准形式),,,,(2222tus u u t s t u s u ∂∂∂∂=∂∂-∂∂Φ或),,,,(12ηξηξΦηξ∂∂∂∂=∂∂∂uu u u （ii ） 抛物型: 因Δ=0，只存在一族实的特征曲线c y x =),(ϕ，取二次连续可微函数),(y x ψ，使0),(),(≠∂∂y x ψϕ，作变换),(y x ϕξ=，),(y x ψη=，方程化为标准形式),,,,(222ηξηξΦη∂∂∂∂=∂∂uu u u （iii ） 椭圆型：因Δ<0，不存在实特征曲线，设c y x i y x y x =+=),(),(),(21ϕϕϕ为11221121212d d a a a a a x y -+=的积分，y x ϕϕ,不同时为零，作变量替换),(1y x ϕξ=，),(2y x ϕη=,方程化为标准形式),,,,(32222ηξηξΦηξ∂∂∂∂=∂∂+∂∂uu u u u二、 极值原理·能量积分·定解问题的惟一性定理椭圆型方程、抛物型方程的极值原理及双曲型方程的能量守恒原理是相应方程的解所具有的最基本性质之一，在定解问题的研究中起着重要的作用. [椭圆型方程的极值原理与解的惟一性定理]1︒ 极值原理 设D 为n 维欧氏空间E n 的有界区域，S 是D 的边界，在D 内考虑椭圆型方程()()()()x x x x f u c x ub x x u a Lu ni i i n j i j i ij =+∂∂+∂∂∂≡∑∑==11,2式中a ij (x ),b i (x ),c (x ),f (x )在D 上连续，c (x )≤0且二次型()∑=nj i j i ij a a a 1,x 正定，即存在常数μ>0，对任意x D ∈和任意的a i 有()∑∑==≥ni i nj i jiija aa a 121,μx定理1 设u (x )为D 内椭圆型方程的解，它在D 内二次连续可微，在D 上连续，且不是常数，如f (x )≤0（或f (x )≥0），则u (x )不能在D 的内点取非正最小值（或非负最大值）. 如果过边界S 上的任一点P 都可作一球，使它在P 点与S 相切且完全包含在区域D 内，则有 定理2 设u (x )为椭圆型方程在D 内二次连续可微，在D 上连续可微的解，且不是常数，并设f (x )≤0（或f (x )≥0）.若u (x )在边界S 上某点M 处取非正最小值（或非负最大值），只要外法向导数错误！未定义书签。

罗尔定理在微分方程边值问题中的应用陈鑫【摘要】以一个变系数的4阶线性齐次微分方程的边值问题为例,根据所给边界条件在不同的区间上多次使用罗尔定理证明所给区间内有多个零点,再运用数学归纳法证明该方程只有零解.对于已知边界条件个数多于方程阶数的线性齐次微分方程的边值问题,给出了只有零解的一般性结论.最后,将罗尔定理推广至n阶导数的情形,亦可得到类似的结论,进而,该方法可应用于讨论类似的n阶(n≥2)变系数线性齐次微分方程的边值问题.应用罗尔定理讨论线性齐次微分方程边值问题的解,拓宽了微分中值定理的应用范围.%A fourth-order linear homogeneous ODE with variable coefficients is considered as an example and Rolle's theorem is applied many times in different intervals according to different boundary conditions.The conclusion that there are more than one null points in the given interval combined with the mathematical induction proves that the ODE has only zero solution.A further conclusion is that the linear homogeneous ODE only has trivial solution if it has more homogenous boundary conditions than its order.Finally the extension of Rolle's theorem to the n th derivative is presented, which can be used to deal with the similar nth-order linear homogeneous ODEs with variable coefficients(n≥2).Another application of Rolle's theorem in boundary-value problem of ODEs makes the application range of the differential mean value theorems more wide.【期刊名称】《沈阳师范大学学报（自然科学版）》【年(卷),期】2017(035)003【总页数】3页(P353-355)【关键词】罗尔定理;变系数;微分方程;边值问题;数学归纳法【作者】陈鑫【作者单位】北京信息科技大学理学院, 北京 100192【正文语种】中文【中图分类】G642微分中值定理主要包括罗尔定理、拉格朗日中值定理和柯西中值定理,它们是微分学中非常重要的基本定理,是导数应用的桥梁[1-2]。

泰勒公式求解偏微分方程偏微分方程是描述自然界中的许多现象的数学模型。

通过求解偏微分方程，我们可以预测和解释自然现象，甚至开发出新的技术和产品。

但是，解决偏微分方程是一项复杂而困难的任务。

通常，我们需要使用数值方法来近似解决。

在这个文档中，我们将介绍如何使用泰勒公式来求解偏微分方程。

泰勒公式是一种近似函数的方法，可用于计算一个函数的值在一点的附近。

泰勒公式的概述泰勒公式是一种将一个函数展开为无限项的级数，它在某个点和一组给定的导数值处的值是一致的。

泰勒公式可用于计算近似值，例如函数的导数、极值和积分等。

泰勒公式的一般形式如下所示：$$ f(x+h)=f(x)+f'(x)h+\\frac{1}{2!}f''(x)h^2+\\frac{1}{3!}f'''(x)h^3+\\cdots $$其中，ℎ是一个小的实数，f(x)和它的各阶导数在x处被计算。

公式的级数的每一项都介绍了函数在x点的ℎ的偏差。

求解偏微分方程偏微分方程可以分为两类：初值问题和边界问题。

初值问题需要给定一个初始条件，边界问题需要给定某些边界条件。

我们将在这里讨论如何使用泰勒公式分别处理这两类问题。

初值问题初值问题是求解偏微分方程，给定随时间变化的某些条件。

我们考虑将初始条件u(x,0)=f(x)在x点和时间t=ℎ展开为泰勒级数。

因此，$$u(x, h) \\approx u(x, 0) + h\\frac{\\partial u(x, 0)}{\\partial t} +\\frac{h^2}{2}\\frac{\\partial^2 u(x, 0)}{\\partial t^2} + \\cdots$$ 使用偏微分方程中的导数代替上式中的偏导数，得到$$u(x, h) \\approx u(x, 0) + hf_x(x, 0) + \\frac{h^2}{2}f_{xx}(x, 0) + \\cdots$$注意到，我们不仅有x上的偏微分方程，而且在偏微分方程中还有t的偏导数项，但是我们已经做了一个假设：假设t=ℎ，那么u t(x,0)就变成了f x(x,0)。

偏微分方程基础知识偏微分方程是数学中重要的分支，涉及到数学物理、工程学和应用数学等领域。

本文将介绍偏微分方程的基础知识，包括定义、分类、解的求解方法以及一些经典的例子。

一、定义偏微分方程是包含未知函数及其各个偏导数的方程，其一般形式可以表示为：F(x, u, ∂u/∂x, ∂u/∂y, ∂^2u/∂x^2, ∂^2u/∂y^2, ...) = 0其中，u表示未知函数，x和y表示自变量，∂u/∂x和∂u/∂y表示偏导数。

偏微分方程可以是一阶的或高阶的，可以是线性的或非线性的。

二、分类根据方程的性质和特点，偏微分方程可以分为几个主要的分类：1. 抛物型方程：抛物型方程具有热传导、扩散等性质，常见的抛物型方程包括热传导方程和扩散方程。

2. 双曲型方程：双曲型方程具有波动、传播等性质，常见的双曲型方程包括波动方程和二维亥姆霍兹方程。

3. 椭圆型方程：椭圆型方程具有稳定、静态等性质，常见的椭圆型方程包括拉普拉斯方程和泊松方程。

三、解的求解方法解决偏微分方程的具体方法取决于方程的类型、边界条件和初值条件等因素。

以下是几种常见的解法：1. 分离变量法：适用于可分离变量的线性偏微分方程。

通过假设解为一系列函数的乘积形式，将偏微分方程化简为一系列常微分方程。

2. 特征线法：适用于一些特定的偏微分方程，如一阶线性偏微分方程和一些可变系数的二阶偏微分方程。

通过选取适当的特征线，将偏微分方程转化为常微分方程。

3. 变换法：通过引入适当的变量变换和新的坐标系，将原偏微分方程转化为更简单或标准形的方程，从而求解。

4. 数值方法：对于复杂的偏微分方程，常常需要使用数值方法进行求解，如有限差分法、有限元法和谱方法等。

四、经典的例子1. 热传导方程：描述热传导现象，一维热传导方程可以表示为∂u/∂t = α∂^2u/∂x^2，其中α为热扩散系数。

2. 波动方程：描述波动现象，一维波动方程可以表示为∂^2u/∂t^2 = c^2∂^2u/∂x^2，其中c为波速。