ABSTRACT

The present paper deals with non-real eigenvalues of regular fourth order indefinite differential operators. Bounds of non-real eigenvalues are obtained under mild integrable conditions of coefficients when weighted function’s sign changes one or any time.

Keywords:Indefinite Differential Operator, Fourth Order Differential Operator, Non-Real Eigenvalue

一类四阶不定微分算子的非实特征值

赵馨，高云兰^*，秦小娟

内蒙古工业大学理学院，内蒙古 呼和浩特

收稿日期：2017年7月14日；录用日期：2017年7月29日；发布日期：2017年8月2日

摘 要

本文讨论了一类四阶正则不定微分算子的非实特征值，在系数可积的条件下分别给出了权函数仅变号一次和权函数可变号任意次时非实特征值的界。

关键词 :不定微分算子，四阶微分算子，非实特征值

Copyright © 2017 by authors and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

微分算子的谱理论作为微分算子理论的基本问题之一，已经成为量子力学等领域的重要数学工具。关于带权函数的Sturm-Liouville边值问题，带有自伴边界条件的右定问题已经有非常完善的谱理论，而不定问题的谱结构与右定问题有很大区别。例如，不定Sturm-Liouville边值问题的实特征值上下无界，更关键的是会出现非实特征值。自1918年Richardson提出了关于Richardson方程非实特征值的存在性 [1] ，之后很多学者开始关注和研究带有不定权的Sturm-Liouville问题非实特征值的相关问题 [2] [3] [4] ，文献 [5] 给出了在分离边界条件下正则不定Sturm-Liouville边值问题非实特征值存在的充分条件，并得到了权函数仅变号一次和权函数可变号任意次时非实特征值的界。文献 [6] 给出了在绝对连续函数限制下正则不定Sturm-Liouville边值问题非实特征值的界。而对于四阶不定微分算子谱问题的研究则相对较少，文献 [7] 给出了四阶不定微分算子非实特征值的界。

本文考虑四阶不定微分方程

(1.1)

(1.2)

，，其中，为实值函数，满足条件

(1.3)

且权函数在上变号，其中是谱参数。令为具有内积和范数的Hilbert空间。

令

(1.4)

则(1.1)，(1.2)相应的右定问题是(1.4)，(1.2)。

本文将在文献 [5] 的基础上考虑四阶不定微分算子的相应情况，给出问题(1.1)，(1.2)的权函数仅变号一次和权函数可变号任意次时非实特征值的估计。

2. 主要定理及其证明

命题2.1 [7] 如果问题(1.1) (1.2)有非实特征值，则问题(1.4) (1.2)至少有一个负特征值。

命题2.2 [7] 如果问题(1.4) (1.2)有n个负特征值，则问题(1.1) (1.2)至多有2n个非实特征值。

令为问题(1.1) (1.2)的特征值，是相应的特征函数且，则满足方程(1.1)及边界条件(1.2)。即

(2.1)

(2.2)

令

. (2.3)

(2.4)

当时。定义当时，，由(2.4)易知，因为，所以可选，使得

(2.5)

引理2.3 对如上的，有

(2.6)

其中。

证明：在方程(2.1)的两边同时乘以，然后在上进行积分，再由(2.2)可得

由，上述等式可推出，因此

(2.7)

再由(2.3)和(2.7)，可得

引理2.4 对如上的，存在一个长度为的区间，其中，见(2.4)，使得在上和。

证明：对任意的长度的区间，由Cauchy-Schwarz不等式和(2.6)，得

(2.8)

取满足，则对于和时，可得

和

由(2.8)可得

(2.9)

又由于对任意的和，可得

根据的定义，在或上成立。

由Cauchy-Schwarz不等式和(2.7)，得到

因此根据的定义，在或上成立。

定理2.5 假设，。当，，和时，则对(1.1) (1.2)的任意一个非实特征值，有

(2.10)

(2.11)

证明：在方程(2.1)的两边同时乘以，然后在上进行积分，可得

由(2.2)，有

根据，，，引理2.3和Cauchy-Schwarz不等式可得

(2.12)

回顾(2.5)中的定义，可知

再由(2.12)可知。即可得到(2.10) (2.11)，定理得证。

在下面的定理中，将考虑仅变号一次的情况，即对于

(2.13)

选择，使得

(2.14)

定理2.6 假设(2.13)成立，则对(1.1) (1.2)的任意一个非实特征值，有

(2.15)

(2.16)

证明：在方程(2.1)的两边同时乘以，并在上进行积分，可得

由(2.2)，有

再根据(2.3)，有

(2.17)

对(2.17)式的实部与虚部分离得到

(2.18)

(2.19)

对(2.18)的两边在上积分，可得

(2.20)

进一步得

同理，再对(2.18)的两边在上积分，可得

再根据(2.3)和Cauchy-Schwarz不等式得到

(2.21)

再用同样的方式处理虚部，从(2.19)可得

(2.22)

回顾(2.14)中的定义，可知

再由(2.21) (2.22)可得(2.15) (2.16)，定理得证。

基金项目

国家自然科学基金(11661059)，内蒙古自然科学基金(2017MS(LH)0103)资助。

文章引用

赵馨,高云兰,秦小娟. 一类四阶不定微分算子的非实特征值
Non-Real Eigenvalues of a Class of Fourth Order Indefinite Differential Operators[J]. 应用数学进展, 2017, 06(05): 664-669. http://dx.doi.org/10.12677/AAM.2017.65078

参考文献 (References)