上正交-浙江大学数学系.ppt

浙江大学数学系 分离变量法____ 注: 本幻灯片根据贾厚玉老师的版本修改而成. ------阮火军 0. 预备知识 正交函数系，标准正交系，带权函数的正交函数系 1. 有界弦的自由振动 例 * * 第一次 下面的定理叙述了Fourier级数展开的一个结论． 定理0.1　设函数 f 是以 2L 为周期的函数，在[-L,L]上满足Dirichlet条件，即在[-L,L]上只有有限多个第一类间断点和有限多个极值点．则在 [-L,L] 上，f 可以展成 Fourier 级数： 上式的含义：在 f 的连续点处取等号，在 f 的间断点处取其左右极限的平均值，其中 如果 f 是奇函数，则 其中, 注1. 在定理0.1的条件下，如果 f 是偶函数，则 其中, 对 应用定理0.1，可知在 [0,L] 上， 注2. 如果 f 在 [0,L] 上满足 Dirichlet 条件．将 f 展开成 Fourier 级数的方法． 其中, 方法1. 将 f 延拓成整个实轴上 2L 周期的“奇函数” 其中, 方法2. 将 f 延拓成整个实轴上 2L 周期的偶函数 对 应用定理0.1，可知在 [0,L] 上， 定义. 一列函数 　　 构成的函数系称为在 [a,b] 上正交,如果 正交系 称为标准正交的，如果 函数系 在 [a,b] 上称为带权函数 r(x) 正交的，如果 例． 　　　　　　　　 是 [0,L] 上的正交函数系； 是 [-L,L] 上的正交函数系，但不是 [0,L] 上的正交函数系． 是 [0,L] 上的正交函数系； 是 的正交函数系． 上带权函数 对应的特征方程： 两个根： . 常系数二阶线性常微分方程的通解 (3) (1) 为相异实数，通解为: (2) 为相同实数，通解为： 为两个虚数，通解为： (1.1) (1.2) (1.3) (1.4) 首先设法找到所有具有变量分离形式的满足方程（1.1）和边界条件（1.2）的非零特解。 所谓函数 u(x,t) 具有变量分离形式，是指它可表示为 (1.5) (I) 将（1.5）代入方程（1.1）得到 即 (1.6) (1.6)式中，左端是t的函数，右端是x的函数，由此可得只能是常数，记为 。从而有 将（1.5）代入方程（1.2）得到 由于 在 [0,L]不恒等于0，所以 (1.7) (1.9) (1.8) (1.10) 特征值问题 这是一个二阶线性常微分方程的两点边值问题． 问：是否存在参数　 的一些值，使得该两点问题有非零解？ (1.7) (1.10) I.1 一定是它的解（平凡解)． 这样的一类问题称为特征值问题． 特征值：使得上述问题有非零解的参数　 ． 特征函数：与特征值　 相应的非零解． 具体求解 情形（A） 情形（B） (1.7)的通解为 由(1.10)，可推出 只有零解。 (1.7)的通解为 由(1.10)，可推出 只有零解。 (1.7) (1.10) 情形（C） 方程的通解为 由边界条件X(0) = 0推出 再由 知道为了使 必须 于是有 这样就找到了一族非零解 特征值 特征函数 (1.11) (1.12) 由此，就得到方程（1.1）满足边界条件（1.2）的变量分离的非零特解 代入　　　　　　 得 (1.13) 其通解为 I.2 把 (II) 特解的叠加 一般来讲，前面求出的特解不满足初始条件。我们需要对它们做适当的线性组合，以得出(1.1)-(1.4)的解．也就是说，要决定常数　　 ，使 (1.14) (1.15) (1.16) 满足(1.1)-(1.4)． 　　假设(1.14)中的函数级数可以对x和t逐项求导两次，则u(x,t)必满足(1.1)-(1.2)，并且条件(1.3)和(1.4)可改写为 因此，当 为 正弦展开的 Fourier (1.17) (1.18) 这样，在前面的假设下，我们给出了混合问题(1.1)-(1.4)的解(1.14)，其中系数由公式(1.17)和(1.18)给出。 在[0, L]区间上满足 Dirichlet 条件 时，可取 上述解PDE的方法称为分离变量法。 级数的系数，即 下面的条件(1.19)和(1.20)保证可以对(1.14)式的右边逐项求导两次，并且满足前面求 时的要求，从而(1.14)确实是问题(