幂级数解方程(偏微分方程)预案.ppt

注：在以上各例中，k x 、q x 和ρ x 在开区间 a, b 上都取正直。 （2）贝塞尔方程的k x x，k 0 0，在端点x 0确实存在着自然边界条件； 从以上各例还可看出，如端点a和b是k x 的一级零点，在那个端点就存在着自然的边界条件，例如： （1） 勒让德方程的k x 1-x2，k ±1 1- ±1 2 0，在端点x ±1确实存在自然边界条件； （3）再如拉盖尔方程的k x xe-x，k 0 在端点x 0确实有自然边界条件。 二、施图姆——刘维尔本征值问题的共同性质 （1） 如果k x 、 k? x 、 q x 连续或者最多以x a 和x b为一阶极点，则存在无限多个本征值 条件：S-L本征值问题中的k x 、q x 和ρ x 在 开区间 a, b 上非负（≥0）。 相应的有无限多个本征函数 （2） 所有本征值为实数且非负，即 证明： 本征值λn和本征函数yn x 满足 用yn x 遍乘各项，并逐项从a到b积分可得 如果在端点x a是第一类奇次条件yn a 0、第二类奇次条件y?n a 0或自然边界条件k a 0，则 如果在端点x a是第三类奇次条件 yn-hy?n x a 0，则 同理，可得无论在哪种边界条件下，都有 因此，有 即 大家自己证明λn λ*n （3） 相应于不同本征值λm和λn的本征函数ym和yn 在区间[a,b]上带权重ρ x 正交，即 证明： 本征函数ym和yn x 满足 yn x ×第一式 － ym x ×第二式，可得 逐项在区间[a,b]积分，可得 如果在端点x b是第一类奇次条件y b 0、第二类奇次条件y? b 0或自然边界条件k b 0，则 如果在端点x b是第三类奇次条件 y+hy? x b 0，则 同理，可得无论在哪种边界条件下，都有 因此，有 又λm≠λn，所以 得证。 如果ρ x 1，则是我们以前学过的函数正交关系 （4） 本征函数族y1 x , y2 x , y3 x , …是完备的。 这是说，如果函数f x 具有连续一阶导数和分段连续二阶导数，且满足本征函数族所满足的边界条件，则其可以展开为绝对且一致收敛的级数： 证明超出我们的范围，略。 三、广义傅里叶级数 绝对一致收敛的级数 称为广义傅里叶级数，系数fn n 1,2,… 叫作f x 的广义傅里叶系数，函数族yn x 叫作这个级数展开的基。 用ym x ρ x 乘上述级数展开式并逐项积分，可得： 记： 由于本征函数带权重的正交性质，上式右端除了n m项之外全为0，因此有： 上式积分的平方根Nm项叫作本征函数ym x 的模。 从而f x 的广义傅里叶系数 fm为: 如果本征函数的模Nm 1 m 1,2,… ，就称为归一化的本征函数。对于正交归一化的本征函数族，上述广义傅里叶系数计算公式变为： 对于非归一化的本征函数yn x ，只要改用yn x /Nn，就实现了本征函数的归一化。 为了方便，我们常将本征函数的正交关系写为: 其中： 称为克罗内克δ函数，对于正交归一化的本征函数族，上式简化为 注：为了应用广义傅里叶系数计算公式，必须先判 定本征函数族是（带权重）正交的，还必须能 计算本征函数族的模。 四、复数的本征函数族 以上的讨论假定了本征函数是实变数的实值函数。但本征函数也可以是实变数的复值函数，例如本征值方程 自然周期条件 的本征函数族通常是实函数族： 这些实函数族也完全可以由如下复函数族代替 对于复数本征函数族，为了保证模是实数，通常将模定义修改为 其中[ym x ]*为ym x 的复数共轭，正交关系也相应地变为 两式统一起来，即 而广义傅里叶系数的计算公式为 注：实际应用中，除非特殊情况，我们一般不知道 本征函数族是复数还是实数，因此处理时常都 按它们是复数处理，如果它们的虚部为0，则它 们就是实的。 五、希尔伯特空间 为了帮助理解，我们以无限维的希尔伯特空间中的矢量做类比。 广义傅里叶级数 希尔伯特空间 函数 f x 本征函数 yn x 坐标轴矢量i1, i2, i3, … “矢量” “基底矢量”即in并不一定是“单位矢量” 它们的“长度”即模不一定为1 ，因而矢量 f 的“分量”计算公式中出现in?in。 11.1.4 例题 例13.3.1 将勒让德方程化成施－刘型方程 解：由施－刘型方程的标准形式 令 即可将勒让德方程转化为施－刘型方程 例13.3.2 将连带勒让德方程化成施－刘型方程 解： 令 即可将连带勒让德方程转化为施－刘型方程 式中m为常数。 例13.3.3 将贝塞尔方程化成施－刘型方程 解： 令 即可将贝塞尔方程转化为施－刘型方程 例13.3.4 将球贝塞尔方程化成施－刘型方程 解： 令 即可将球贝塞尔方程转化为施－刘型方程 例13.3.5 求下列边