Borg-Levinson定理新证.pdfVIP

第26卷 第6期 工 程 数 学 学 报 v01．26No．6 2O09年12月 CHINESEJOURNALOF ENGINEERING MATHEMATICS Dec．2009 文章~ -：1005—3085(2009)06—1097-06 Borg-Levinson定理新证木 傅守忠 ，一， 徐宗本 ， 魏广生 ，。 (1-西安交通大学应用数学研究中心及信息与系统科学研究所，西安 710049； 2-肇庆学院计算机学院，肇庆 526061；3一陕西师范大学数学与信息科学学院，西安 710062) 摘 要：对于Sturm-Liouville特征值逆问题 ，Borg-Levinson定理描述了Sturm—Liouville算子的两组谱 可唯一确定其势函数。本文利用整函数的Liouville定理，并通过对谱参数趋于无穷时Sturm— Liouville方程基本解 的渐进估计，给 出了Borg-Levison定理一个简单的证 明。同时还证 明 了Sturm—Liouville算子的两组谱与其Weyl—Titchmarshm．函数及谱函数三者之间的等价关系。 关键词：特征值；逆 问题；Sturm—Liouville算子 分类号：AMS(2000)34B09；34L15；47E05 中图分类号：O175．3 文献标识码：A 1 引言 Sturm．Liouville特征值问题 IEq(q)： L(q)y=一 x)+q()()= ()， ∈[0，11， {BCI(a)： (0)cosOL+yl(0)sina=0， O／∈0【，7r)， (1) 【BC2()： (1)cos+yl(1)sin =0， ∈0【，7r)， 其中q∈L[0，1】称为势函数，起源于固体热传导模型，其应用已涉足于数学物理、工程技术及 各类应用和理论科学，特别是在量子力学中，它是描述微观粒子状态的基本数学手段。因此， 一 个多世纪以来，常微分算子理论已逐步形成了数学和物理学界的一个重要的理论研究分支。 熟知，其谱 (q，，)有如下经典性质。 性质1 (q，，)={ ) 为可数单重下半有界的纯特征值集合，可排列为 A0 A1 ·-- n … —}+∞ ． 。眭质2 记 (q，Ol，1)={1) ， (q，9(／， )={2) ，当 1 时， 10 2o l1 21 … 1n 2n … ． Sturm-Liouville特征值逆 问题是Sturm—Liouville理论中的一个重要分支，它主要研究由怎 样的特征值信息能确定微分方程的系数函数，进而将其重构。由于在量子力学及工程领域中， 唯一可以(或最易)观测到的物理量是特征值或叫本征值，它对应着量子体系中的跃迁能量或结 构力学中的振动频率等，所以这类问题极为重要 。1946年，Borg[】给出SturIn_Liouvme特征 值逆问题一个初始结果，Levinson[2]于 1949年将其推广，得到以下定理。 收稿 日期：2007-i0—12．作者简介：傅守忠 (1966年2月生)，男，硕士，副教授．研究方向：常微分算子． 基金项目：国家自然科学基金 广东省自然科学基金 ；陕西省自然科学基金 (2005A04) 工 程 数 学 学 报 第26卷 定理1(Borg-Levinson) 两组谱 (口，OL，1)={hi) ，盯(q，OL， )={2}；暑， 当 1≠ 2时可唯一确定势函数q(x)∈Lf0，11。 这里的 “唯一确定”是指不存在另外的势函数 与它具有同样的谱，即若 ∈L 0『，11使 得 (q，Ot，1)= (a，1)，且 (q，Q， )= ( OL， )，则必有虿=q(a．e．)。该定理可简述 为 “两组谱可唯一确定Sturm—Liouville