斯特姆——刘维尔本征值问题的自然边界条件.pdfVIP

第40卷第6期 Jo啪al…札‰岫w曼它慧慧怒：皇。淼兰愀渤。。酬。nofSouthwestUniversitvforNationalities．Nat山．alScienceEdition №．2Ⅲ doi：lO．3969巧．issn．1003-4271．2014．06．23 斯特姆——刘维尔本征值问题的自然边界条件 杨志坚 (西南民族大学电气信息工程学院，四川成都610041) 摘要：系统地讨论了斯特姆一刘维尔本征值问题中，存在自然边界条件的几种情况：l、在求解区间[a，b】上，函数k(x) 有一级零点，则在该零点处一定存在自然边界条件；2、在求解区间[a，b】上，函数k(x)有二级零点，仅当q．20时，在该零 点处存在自然边界条件；3、求解区间[a，b】上，函数k(x)有高于二级零点，且斯特姆——刘维尔方程在该零点处存在一个 有界解，在该零点处才存在自然边界条件． 关键词：斯特姆——刘维尔本方程；本征值问题；分离变量法；自然边界条件． 中图分类号：0175；0415 文献标识码：A 在数学物理方法中常见的几种偏微分方程在坐标系下分离变量时，就会出现含参量的二阶线性非齐次常微 分方程．如勒让德方程，贝塞尔方程等．这些常微分方程都可以用斯特姆——刘维尔方程(以下简称s—L方程)， s—L方程可表述如下： 鱼尼(z)掣]一z，(x)少(x)+印(x)y(x)：o， (1) 式中函数后(x)≥O．甜(x)≥O．p(x)≥O，兄为参数，x的定义域为[口．6] 为了后面的讨论，这里介绍一下二阶线性齐次常微分方程的标准形式 』；≥少(x)+p(x)兰竽y(x)+g(x)y(x)：o， (2) s—L方程附上边界条件即构成S—L本征值问题．在物理学中，有一类边界条件是物理系统所处的具体物 理环境的数学反映，它需要人们具体规定，这种边界条件称为人为边界条件，简称边界条件．还有一类边界条件 是物理系统本身的固有性质的数学反映，它是客观存在的，与物理环境无关，称其为自然边界条件，其数学表现 为要求解函数单值，有界等． 对自然边界条件的存在性问题，大多数教材未系统叙述．这里分几种情况，讨论如下： 定理1 函数七G)有一级零点，则一定存在自然边界条件． 证明：不妨假设z=口为尼【x)的一级零点．将s—L方程化二阶常微分方程的标准形式： yII(卅篙州+忐h(卅枇肌)_o， (3) 热 贴)=等m)=忐一(小枇)]． 的指标方程为 收稿日期：2叭4．08．29 作者简介：杨志坚(1958一)，男，汉族，四川人，副教授 936 西南民族大学学报·自然科学版 第40卷 S(．5r一1)+．Srpl+g_2=O． (4) 式中为一阶项系数pl为一阶项系数函数尸(x)函数的罗朗级数中(x一口)叫项的系数，g-2为零阶项系 数函数g(x)的罗朗级数中(x一口)《项的系数，显然 肛。=[p(x)。(x一口)]I，：。= [嚣颤刊忆． 应用罗比达法则 盯[嚣忆=1． 故方程(4)变为 S2+g一2=O． 其根为 S=√一％是=一√一钆 有物理意义的指标墨和为一正一负两个实根或同时为零．当sl为正根时，相应的级数解含有负幂项，在 排除在x=口处的无界解函数，这正是自然边界条件． 例如，勒让德方程 要[(1-x2)譬]+粤(它+1)y：o， 玖X反X 式中 尼(x)=(1一x2)， 甜(x)=O，力=它(粤+1)，p(x)=1． 显然，x=±1为尼(x)的一级零点，在戈=±l处存在自然边界条件． 同样可以检验贝