斯特姆——刘维尔本征值问题的自然边界条件 - 西南民族大学学报.PDF

第40 卷第6 期 西南民族大学学报·自然科学版 Nov. 2014 Journal of Southwest University for NationalitiesNatural Science Edition ___________________________________________________________________ doi: 10.3969/j.issn.1003-4271.2014.06.23 斯特姆——刘维尔本征值问题的自然边界条件 杨志坚 (西南民族大学电气信息工程学院, 四川 成都 610041) 摘 要: 系统地讨论了斯特姆—刘维尔本征值问题中, 存在自然边界条件的几种情况: 1、在求解区间[a,b]上, 函数k(x) 有一级零点, 则在该零点处一定存在自然边界条件; 2、在求解区间[a,b]上, 函数k(x)有二级零点, 仅当q-2 ≤0 时, 在该零 点处存在自然边界条件; 3、求解区间[a,b]上, 函数k(x)有高于二级零点, 且斯特姆——刘维尔方程在该零点处存在一个 有界解, 在该零点处才存在自然边界条件. 关键词: 斯特姆——刘维尔本方程; 本征值问题; 分离变量法; 自然边界条件. 中图分类号: O175; O415 文献标识码: A 文章编号: 1003-4271(2014)06-0935-04 在数学物理方法中常见的几种偏微分方程在坐标系下分离变量时, 就会出现含参量的二阶线性非齐次常微 分方程. 如勒让德方程, 贝塞尔方程等. 这些常微分方程都可以用斯特姆——刘维尔方程(以下简称S—L 方程), S—L 方程可表述如下: d dy(x) [k (x ) ]u (x )y (x ) (x )y (x ) 0， (1) dx dx 式中函数k (x) 0 . u(x) 0 . (x) 0 , 为参数, x 的定义域为[a. b] 为了后面的讨论, 这里介绍一下二阶线性齐次常微分方程的标准形式 d 2 dv 2 y (x ) (x ) y (x ) q (x )y (x ) 0， (2) dx dx 式中(x) 称为一阶项系数函数, q(x) 称零阶项系数函数, 顺便指出方程(1)和(2)是等阶的, 且可相互转化. S—L 方程附上边界条件即构成 S—L 本征值问题. 在物理学中, 有一类边界条件是物理系统所处的具体物 理环境的数学反映, 它需要人们具体规定, 这种边界条件称为人为边界条件, 简称边界条件. 还有一类边界条件 是物理系统本身的固有性质的数学反映, 它是客观存在的, 与物理环境无关, 称其为自然边界条件, 其数学表现 为要求解函数单值, 有界等. 对自然边界条件的存在性问题, 大多数教材未系统叙述. 这里分几种情况, 讨论如下: 定理1 函数k(x)有一级零点, 则一定存在自然边界条件. 证明: 不妨假设x a 为k (x) 的一级零点. 将S—L 方程化二阶常微分方程的标准形式: k (x) 1 y (x )  y (x )  [u (x ) (x )]y (x ) 0, (3)