第四章一阶偏微分方程.docVIP

第四章 一阶偏微分方程 这一章我们来讨论一阶线性偏微分方程和一阶拟线性偏微分方程的解法，因为它们都可以化为常微分方程的首次积分问题，所以我们先来介绍常微分方程的首次积分。 4.1一阶常微分方程组的首次积分 4.1.1首次积分的定义 从第三章我们知道，阶常微分方程 ， （4.1.1） 在变换 （4.1.2） 之下，等价于下面的一阶微分方程组 （4.1.3） 在第三章中，已经介绍过方程组（4.1.3）通解的概念和求法。但是除了常系数线性方程组外，求一般的（4.1.3）的解是极其困难的。然而在某些情况下，可以使用所谓“可积组合”法求通积分，下面先通过例子说明“可积组合”法，然后介绍一阶常微分方程组“首次积分”的概念和性质，以及用首次积分方法来求解方程组（4.1.3）的问题。先看几个例子。 例1 求解微分方程组 （4.1.4） 解：将第一式的两端同乘，第二式的两端同乘，然后相加，得到 ， 。 这个微分方程关于变量t和是可以分离，因此不难求得其解为 ， （4.1.5） 为积分常数。（4.1.5）叫做（4.1.4）的首次积分。 注意首次积分（4.1.5）的左端作为x，y，和t的函数并不等于常数；从上面的推导可见，当时微分方程组（4.1.4）的解时，才等于常数，这里的常数应随解而异。因为式（4.1.4）是一个二阶方程组，一个首次积分（4.1.5）不足以确定它的解。为了确定（4.1.4）的解，还需要找到另外一个首次积分。 将第一式两端同乘，第二式两端同乘，然后用第一式减去第二式，得到 ， 即 ， 亦即 。 积分得 ， （4.1.6） 其中为积分常数。 利用首次积分（4.1.5）和（4.1.6）可以确定（4.1.4）的通解。为此，采用极坐标，这样由（4.1.5）和（4.1.6）推得 或 . 因此我们得到方程组（4.1.4）的通解为 ，. （4.1.7） 例2 求解微分方程组 （4.1.8） 其中是给定的常数。 解 利用方程组的对称性，可得 , 从而得到首次积分 , （4.1.9） 其中积分常数。同样我们有 , 由此又得另一个首次积分 , （4.1.10） 其中积分常数。有了首次积分（4.1.9）和（4.1.10），我们就可以将u和v用w表示，代入原方程组（4.1.8）的第三式，得到 , （4.1.11） 其中常数a，b依赖于常数，而常数 注意（4.1.11）是变量可分离方程，分离变量并积分得到第三个首次积分 , （4.1.12） 其中是积分常数。因为方程组（4.1.8）是三阶的，所以三个首次积分（4.1.9）、（4.1.10）和（4.1.12）在理论上足以确定它的通解 但是由于在式（4.1.12）中出现了椭圆积分，因此不能写出上述通解的具体表达式。 现在我们考虑一般的阶常微分方程 ，, （4.1.13） 其中右端函数在内对连续，而且对是连续可微的。 定义1设函数在的某个子域内连续，而且对是连续可微的。又设不为常数，但沿着微分方程（4.1.3）在区域G内的任意积分曲线 函数V取常值；亦即 ， 或当时，有 =常数， 这里的常数随积分曲线而定，则称 =C （4.1.14） 为微分方程（4.1.13）在区域G内的首次积分。其中C是一个任意常数，有时也称这里的函数为（4.1