论文部分内容阅读
研究了定义在[0，1]区间上的逆Sturm-Liouville微分算子的唯一性问题．应用Marchenko唯一性定理证明了：若势函数q（x）在区间[0，α]（1／2≤n〈1）上是已知的，则通过在无穷组谱中选取一组适当的共有特征值能唯一确定区间[0，1]上的势函数及边值条件．
基于不同边值条件的逆Sturm-Liouville问题
【摘 要】
：
研究了定义在[0，1]区间上的逆Sturm-Liouville微分算子的唯一性问题．应用Marchenko唯一性定理证明了：若势函数q（x）在区间[0，α]（1／2≤n〈1）上是已知的，则通过在无穷组谱中选取一组适当
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2013年4期
【基金项目】
：
国家自然科学基金资助项目（11171198）.
其他文献
为了进一步提高饲料的营养价值和农作物副产品的利用率。日本最近开发了一种新的饲料加工技术，该技术主要以大田作物的副产品和蔬菜副产品等为原料，将原料合理搭配后，用挤压机加
本试验在感染根结线虫病的土壤中进行两年，利用无线虫病黄瓜移植苗和用“ｅｔｈｏｐｒｏｐ”杀线虫剂做预处理的土壤，来研究与抗线虫病番茄套作的“Ｄａｓｈｅｒ Ⅱ”黄瓜的生长状况和产量。在两年中的同一
以声波理论为基础,在圆柱的中心点将高斯声波用柱函数展开,计算入射高斯声波的展开系数,求解在高斯声场中柱形粒子所受声辐射力的表达式.通过数值仿真研究了频率、波束宽度、
近年来,随着现代化企业的不断发展,我国工业自动化仪表在当前企业生产中的应用越来越广泛,其在信息的获取、变换、储存以及传输等方面有着很大的作用。本文主要从仪器仪表在
计算树逻辑的不动点语义在其对应的符号模型检测方法中具有重要意义。给出广义可能性计算树逻辑的不动点语义解释，并利用归纳法证明此不动点为最大或最小不动点。结论表明，广义