数学物理方程-第二讲分离变量法.doc

第二章 分离变量法 分离变量法是求解偏微分方程定解问题最常用的方法之一，它和积分变换法一起统称为Fourier方法. 分离变量法的本质是把偏微分方程定解问题通过变量分离，转化为一个所谓的特征值问题和一个常微分方程的定解问题，并把原定解问题的解表示成按特征函数展开的级数形式. 本章介绍两个自变量的分离变量法，更多变量的情形放在其他章节中专门讨论. §21 特征值问题 2．1.1 矩阵特征值问题 在线性代数中，我们已学过线性变换的特征值问题. 设为一阶实矩阵，可视为到自身的线性变换。该变换的特征值问题（eigenvalue problem）， （1.1） 的非零解，其中为待定常数. 如果对某个，问题（1.1）有非零解，则就称为矩阵的特征值(eigenvalue)，相应的称为矩阵的特征向量(eigenvector). 一般来讲，特征值问题（1.1）有不多于个相异的特征值和线性无关的特征向量. 但可证明: 任一阶矩阵都有个线性无关的广义特征向量，以此个线性无关的广义特征向量作为的一组新基，矩阵就能够化为标准型. 若为一阶实对称矩阵，在线性代数中有一个重要结果，即存在一个正交矩阵使得 ， （1.2） 其中diag为实对角阵. 设，为矩阵的第列向量，则式（1.2）可写为如下形式 ， 或 （1.3） 上式说明，正交矩阵的每一列都是实对称矩阵的特征向量，并且这个特征向量是相互正交的. 由于此结论在一定意义下具有普遍性，我们以定理的形式给出. 定理1.1 设为一阶实对称矩阵，考虑以下特征值问题 ， 则的所有特征值为实数，且存在个特征向量，它们是相互正交的（正交性orthogonality），可做为的一组基（完备性completeness）. 特征值问题在线性问题求解中具有重要的意义，下面举例说明之. 为简单起见，在下面两个例子中取为阶非奇异实矩阵，故的所有特征值非零，并且假设有个线性无关的特征向量 相应的特征值为. 例1.1 设，求解线性方程组 . 解 由于向量组线性无关，故可做为的一组基. 将按此组基分别展开为，则等价于 ， 或 ， 比较上式两边的系数可得 ， 便是原问题的解. 例1.2 设,. 求解非齐次常微分方程组 ， （1.4） 其中 . 解 类似于上例，将按基分别展开为 . 则（1.4）等价于 ， 或 ， 比较上式两边的系数可得 . （1.5） （1.5）是个一阶线性方程的初始值问题，很容易求出其解.请同学们给出解的具体表达式. 2.1.2 一个二阶线性微分算子的特征值问题 在这一小节，我们讨论在本章常用的一些特征值问题. 代替上节的有限维线性空间和阶实对称矩阵，在这儿要用到线性空间的某个子空间和该子空间上的二阶线性微分算子. 一般地取 在满足齐次边界条件. （1.6） 下面我们讨论二阶线性微分算子的特征值问题. 先取边界条件为，设是的特征函数，即且满足 . 此问题等价于是下面问题的非零解 （1.7） （1.7）便是二阶线性微分算子的特征值问题，即要找出所有使得该问题有非零解的. 下面求解特征值问题（1.7）. 首先证明要使（1.7）具有非零解，必须非负. 设是相应于的一个非零解，用乘（1.7）中的方程，并在上积分得 ， ， . 由于，故有 ， . （1.8） 当时，方程的通解为. 利用边界条件可得，即. 因此，不是特征值. 当时，方程的通解为 . （1.9） 利用边界条件确定常数如下 , , 或 . 由于要求（1.7）中齐次微分方程的非零解，故不能为零. 故有 . 注意，从而有 ， , ， . 将代入到（1.8）中，并略去任意非零常数得 ， . 故特征值问题（1.7）的解为 ， ， （1.10） 注1 特征值问题是分离变量法的理论基础. 上面已求出特征值问题（1.7）的解为. 在高等数学中知道，在一定条件下区间的任一函数可按特征函数系展开为Fourier级数. 换言之，特征函数系 是区间上满足一定条件的函数所成无穷维空间的一组基，而且还是该空间上的一组正交基，即有. 特征函数系的这