复旦王建军-工程数学-第13讲.ppt

工程数学第13讲1第九章Sturm-Liouville理论§9.1Sturm-Liouville(斯特姆-刘维尔)问题我们已经看到根本上同样的模式出现了三次：我们首先遇到的是Fourier级数，接着是Legendre多项式和Fourier-Legendre级数，最后是Bessel函数及Fourier-Bessel级数。微分方程=[a,b]上正交的解；=任意函数扩展成这些解的级数；=扩展的收敛定理

2这就使我们想到这些扩展收敛定理的相似性是一致的。我们下面将给出这些收敛定理相一致的一般理论。这将为我们后面解偏微分方程奠定根底。考虑微分方程(9.1.1)假设该方程的系数在(a,b)上连续，我们寻求使该方程有非平凡解的λ值。我们将看到，在某些条件下，解必须满足边界条件。在某些条件下，解不存在〔边界条件由a和b给定〕。

3我们先将上述微分方程变为标准形式。用乘以方程(9.1.1)，得到因为r(x)≠0，所以该方程与(9.1.1)有相同的解。我们可以看到上述方程可以写为(9.1.2)上式中，方程(9.1.2)称为Sturm-Liouville微分方程或方程(9.1.1)的Sturm-Liouville型。

4我们将假设p,q,r,及r′在[a,b]上是连续的，或至少在(a,b)上连续，以及在(a,b)上p(x)0,和r(x)0。例Legendre微分方程为我们立即可以将它写为Sturm-Liouville型方程当λ=n(n+1),n=0,1,2,…,时，Legendre多项式是该方程的解。正如我们前面看到的那样，选择其他的λ，Legendre方程有非多项式解。但这些非多项式解的值域不是[-1,1].

5例9.1.2考虑方程当取时，该方程可以写为这是Bessel方程的Sturm-Liouville型。当λ0时，第一类和第二类υ阶Bessel方程的解为和。我们下面将区分Sturm-Liouville的三类问题

61)正那么Sturm-Liouville问题我们需要找到λ，以便方程在[a,b]上有非平凡解。非平凡解满足正那么边界条件A1和A2是两个给定的常数，且两者不能同时等于0,B1和B2类似。2)周期Sturm-Liouville问题

7假设r(a)=r(b),我们要找到λ，以便Sturm-liouville方程在[a,b]上相应的解满足周期边界条件3)奇异Sturm-Liouville问题我们要找到λ,以便Sturm-liouville方程在(a,b)上相应的解,满足以下三种边界条件之一：(i)r(a)=0,且在a点没有边界条件，而在b点的边界条件是B1和B2不能同时等于0。(ii)r(b)=0,且在b点没有边界条件，而在a点的边界条件是

8A1和A2两者不能同时等于0。(iii)r(a)=r(b)=0,且在a点或b点没有给定边界条件。在这种情况下，我们要求解在[a,b]是有界函数。这些问题中的每一个都是一个边界值问题，也就是给定了在区间端点的某一条件，与初始值问题比照，初始值问题是指函数及其导数在一点的条件〔第二种类型〕。边界值问题通常没有唯一解。正是由于边界值问题没有唯一解，用它可以解决许多重要问题。

9在上述问题中的每一个，使Sturm-Liouville微分方程有非平凡解所找到的数λ称为问题的特征值。对应的非平凡解称为特征函数。0函数不是特征函数。然而，任意非0常数乘以特征函数也是该特征值的一个特征函数。在物理或工程问题的数学模型中，特征值通常具有某一物理意义。例如，在后面研究波动方程时，特征值是系统振动的基波频率。我们下面将讨论这类问题的例子。前两类在分析热传导及波传播问题时比较重要。

10例正那么问题求解正那么问题解：我们将根据λ的情况，求特征值和特征函数。我们以后将说明Sturm-Liouville问题不可能有复数特征值。下面将分三种情况讨论1)λ=0那么方程的解为y(x)=cx+d,c和d为常数。于是有y(0)=d=0,y(L)=cL=0.于是c=0.这就意味着y(x)=cx+d=0是平凡解。在没有得到非平凡解时，λ=0不是问题的特征值。

112)λ是负数，设λ=-k2,k0.于是方程变为该方程的通解为由于那么有故但因为kL0,