Sturm—Liouville问题的m-函数与谱.pdfVIP

第38卷 第2期 应 用 数 学 学 报 Vo1．38No．2 2015年 3月 ACTAMATHEMATICAEAPPLICATAESINICA March，2015 Sturm—Liouville问题的m一函数与谱 傅守忠 王 忠 (肇庆学院数学与统计学院，肇庆526061) (E-mail：szfu~zqu．edu．cn；kyczwangQzqu．edu．an) 摘 要 本文先给出了Sturm-Liouville问题的Weyl-Titchmarshm一函数对谱参数和端点的导 数，进而推出其对于谱参数的分段单调性；然后利用 m一函数定义了Sturm—Liouville问题的广 义特征多项式，并由此得到 Sturm．Liouville问题的谱对边界和参数的导数的—个简短证明． 关键词 特征值；逆问题；Sturm—Liouville算子 MR(2000)主题分类 34B09；34L15；47E05 中图分类 O175．3 1 引言 一 A ， (1．1) (1．2) (1．3) 其中q(x)是实值连续函数，a和 b是区间 ，B]内的2个点，满足 A ab B， h，H ∈ U{。。)(h和H=。。分别表示相应端点取 Dirichlet边条件 ()·=0)．KongQ和 ZettlA证明了问题 (1．1)一(1．3)的特征值对边界的连续依赖性，并利用导数的定义求出 在分离边条件的标准形式 y(a)COS(~)+yra)sin(a)=0=y(b)cos(Z)+yl(b)sin(f1)下，特 征值对边界参数OL，和 n，b的变化率 [1-3】． 本文先给出Sturm-Liouville问题的Weyl—Titchmarshm一函数的一些性质，再用 m一 函数定义一个广义形式的特征函数 (特征多项式)，由此得到问题 (1．1)一(1．3)的特征值对 参数 h，H和a，b的变化率． 本文 2013年 5月6日收到．2014年 4月 7日收到修改稿． 国家 自然科学基金 (NoNo和肇庆学院博士启动基金资助项目 2期 傅守忠，王忠：Sturm—Liouville问题的一 函数与谱 351 2 Tn一函数 设 (，)方程 (1．1)满足初始条件 (0)=1，yla)：h(h≠∞时)或 (0)=0，yla)= 1(九=。。时)的解，则由常微分方程解对参数的连续依赖性，(，)、)和 (，入)都是 入 的整函数． 定义在X：b处的Weyl—Titchmarshm一函数 l] re(A；b)：一 ， 则 m(；b)是半纯函数． 记区间 (a，b]上由方程 (1．1)，边条件 (1．2)和v(b)=0组成的自伴 Sturm—Liouville问 题 (即H=∞时)的谱为 { l礼=0，1，…)，则碍 都是实数，且恰是v(b，)的所有零 点，也是 m(；b)的所有极点． 性质 2．1对固定的b，m(；b)是Herglotz函数，即将上半复平面映射到上半复平面 的半纯函数． 事实上， = ／((，)可(，)一u”(，A)v(x，))dx = ／(可(，)[一 x，)+q(x)v(x，)】一v(x，)[一_：，x，)+g()(，)])dx = (一)／x，)(，A)dx=2igflIl。。【，6]． 2(．1) 另一方面