2019年数学物理方程 第二章分离变量法.docVIP

PAGE PAGE 52 第二章 分离变量法 分离变量法是求解偏微分方程定解问题最常用的方法之一，它和积分变换法一起统称为Fourier方法. 分离变量法的本质是把偏微分方程定解问题通过变量分离，转化为一个所谓的特征值问题和一个常微分方程的定解问题，并把原定解问题的解表示成按特征函数展开的级数形式. 本章介绍两个自变量的分离变量法，更多变量的情形放在其他章节中专门讨论. §2 SKIPIF 1 0 1 特征值问题 2．1.1 矩阵特征值问题 在线性代数中，我们已学过线性变换的特征值问题. 设 SKIPIF 1 0 为一 SKIPIF 1 0 阶实矩阵， SKIPIF 1 0 可视为 SKIPIF 1 0 到自身的线性变换。该变换的特征值问题（eigenvalue problem）即是求方程： SKIPIF 1 0 ， （1.1） 的非零解，其中 SKIPIF 1 0 为待定常数. 如果对某个 SKIPIF 1 0 ，问题（1.1）有非零解 SKIPIF 1 0 ，则 SKIPIF 1 0 就称为矩阵 SKIPIF 1 0 的特征值(eigenvalue)，相应的 SKIPIF 1 0 称为矩阵 SKIPIF 1 0 的特征向量(eigenvector). 一般来讲，特征值问题（1.1）有不多于 SKIPIF 1 0 个相异的特征值和线性无关的特征向量. 但可证明: 任一 SKIPIF 1 0 阶矩阵都有 SKIPIF 1 0 个线性无关的广义特征向量，以此 SKIPIF 1 0 个线性无关的广义特征向量作为 SKIPIF 1 0 的一组新基，矩阵就能够化为 SKIPIF 1 0 标准型. 若 SKIPIF 1 0 为一 SKIPIF 1 0 阶实对称矩阵，在线性代数中有一个重要结果，即存在一个正交矩阵 SKIPIF 1 0 使得 SKIPIF 1 0 ， （1.2） 其中 SKIPIF 1 0 diag SKIPIF 1 0 为实对角阵. 设 SKIPIF 1 0 ， SKIPIF 1 0 为矩阵 SKIPIF 1 0 的第 SKIPIF 1 0 列向量 SKIPIF 1 0 ，则式（1.2）可写为如下形式 SKIPIF 1 0 ， 或 SKIPIF 1 0 （1.3） 上式说明，正交矩阵 SKIPIF 1 0 的每一列都是实对称矩阵 SKIPIF 1 0 的特征向量，并且这 SKIPIF 1 0 个特征向量是相互正交的. 由于此结论在一定意义下具有普遍性，我们以定理的形式给出. 定理1.1 设 SKIPIF 1 0 为一 SKIPIF 1 0 阶实对称矩阵，考虑以下特征值问题 SKIPIF 1 0 ， 则 SKIPIF 1 0 的所有特征值为实数，且存在 SKIPIF 1 0 个特征向量 SKIPIF 1 0 ，它们是相互正交的（正交性orthogonality），可做为 SKIPIF 1 0 的一组基（完备性completeness）. 特征值问题在线性问题求解中具有重要的意义，下面举例说明之. 为简单起见，在下面两个例子中取 SKIPIF 1 0 为 SKIPIF 1 0 阶非奇异实矩阵，故 SKIPIF 1 0 的所有特征值非零，并且假设 SKIPIF 1 0 有 SKIPIF 1 0