幂级数解方程(偏微分方程).pptVIP

注：在以上各例中，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 将连带勒让德方程化成施－刘型方程 解： 令 即可将连带勒让德方程转化为施－刘型