大学数理-第3章二阶线性常微分方程_873702062.pdfVIP

第三章 二阶线性常微分方程 §3.1 二阶线性常微分方程的一般理论 3.1.1 解的存在唯一性定理 3.1.2 齐次方程解的结构 3.1.3 非齐次方程的解 §3.2 斯图姆-刘维尔型方程的特征值问题 3.2.1 斯图姆-刘维尔方程的形式 3.2.2 斯图姆-刘维尔方程的边界条件 3.2.3 斯图姆-刘维尔特征值问题 §3.3 斯图姆-刘维尔型方程的多项式解集 3.3.1 核函数和权函数的可能的形式 3.3.2 多项式的级数表达式和微商表示 3.3.3 母函数关系 3.3.4 正交的斯图姆-刘维尔多项式解集的完备性定理 §3.4 与多项式斯图姆-刘维尔系统有关的方程和函数 3.4.1 拉盖尔函数 3.4.2 勒让德函数 3.4.3 切比雪夫函数 3.4.4 厄米函数 §3.6 二阶常微分方程的复变函数理论 3.6.1 齐次线性方程组的解 3.6.2 二阶常微分方程 3.6.3 非自伴的二阶常微分方程 §3.7 非自伴的二阶常微分方程 3.7.1 常微分方程的伴随方程 3.7.2 斯图姆-刘维尔算子 3.7.3 非自伴二阶常微分方程的完备集 §3.8 非齐次方程有解的条件 习题 附录3A 初值问题(3.1.4)的解的存在唯一性的证明 §3.1 二阶线性常微分方程的一般理论 3.1.1 解的存在唯一性定理 物理问题经常在数学上表现为二阶微分方程，可以是常微分方程或者偏微分 方程.通常情况下，偏微分方程是通过分离变量法来分解为几个常微分方程的.因 1 而，解决常微分方程是解决偏微分方程的基础. 定义1 凡联系自变量x ，未知函数y 及其某些导数或微分的方程，称为常微 分方程，简称微分方程. 定义 2 微分方程中出现的未知函数的最高阶导数的阶数，称为微分方程的 阶. 定义 3 如果在微分方程中，未知函数及其所出现的导数都没有二次以上的 幂次，则称为线性微分方程，否则称为非线性微分方程. 在实际问题中，最常遇到的是二阶线性常微分方程.它的一般形状是   (3.1.1) y (x ) p (x )y (x ) q (x )y (x ) f (x ) 常称这种形式是二阶线性常微分方程的标准型.如果f (x)  0 ，则称方程是齐次 的；如果f (x )  0 则称方程是非齐次的. 对于齐次方程   (3.1.2) y (x)  p(x) y (x) q(x) y(x) 0 可以证明(解的存在唯一性定理) ：对于以下的初值问题   y  p(x) y q(x) y 0   (3.1.3) y(x ) , y (x )   0 0 其中 ， 在区间 上，解存在且唯一. x [a,b] x0 [a, b] 我们不在此给出冗长的证明过程，只介绍证明的思路.令z  y之后，原方程 就变成了如下的方程组.  z  p(x)z q(x) y    y  z 这是一阶的齐次线性方程组.它与原方程等价.容易看出，与原方程等价的问题是， 我们只要一般地证明下述初值问题的的解存在与唯一性就行了. y  a (x )y a (x )y  1 11 1 12 2 y  a (x )y a (x )y (3.1.4) 2 21 1 22