Вычисление собственных чисел и собственных функций опрератора Штурма-Лиувилля на полуоси
Абзалимов Р.Р.
В настоящей работе предлагается метод расчета приближенных собственных чисел и собственных функций краевой задачи на полуоси для дифференциального уравнения второго порядка. Для численного расчета собственных чисел интервал

заменяется на

, после чего задача решается на конечном отрезке. Точность приближенных собственных чисел будет зависеть от выбора граничного условия в точке R.
I. Регулярная задача
Рассмотрим следующую краевую задачу:

, (1.1)

, (1.2)

. (1.3)
Здесь предполагается, что q(x) кусочно-непрерывна на [a, b]. Наряду с данной задачей рассмотрим дифференциальные операторы вида:

, (1.4)

с граничными условиями

, (1.5)

, (1.6)
где

. (1.7)
Под собственными функциями краевой задачи (1.4)-(1.6) будем понимать функцию y(x), удовлетворяющую следующим условиям (см. [1]):

;

;

удовлетворяет граничным условиям (1.5) и (1.6);

удовлетворяет так называемым условиям сопряжения

(1.8)
В каждом интервале

решения

уравнения (1.4) имеют вид:

. (1.9)
Из условий сопряжения (1.8) и (1.9) имеем:

, (1.10)
где

,

выписываются явно (i=1,2; j=1,2; k=1..N). Таким образом, получаем:

(1.11)
Из первого краевого условия получаем зависимость

от

, затем, подставляя во второе краевое условие (1.6), получаем уравнение для собственных значений задачи (1.4)-(1.6):

, (1.12)
где

выписывается явно.
Пусть

- собственные значения и

- соответствующие им собственные функции задачи (1.4)-(1.6), где через h обозначено

,
и пусть

- собственные значения задачи (1)-(3) и

соответствующие им собственные функции. Введем обозначение:

. (1.13)
Заметим прежде, что

при

.
Тогда имеет место следующая
ТЕОРЕМА 1.1 Справедливы равенства

, (1.14)

. (1.15)
Доказательство. Вначале докажем равенство (1.15). Для этого рассмотрим уравнение (1.1) на интервале

. Представим ее в виде

, (1.16)
где

вычисляется по формуле (1.7). Для уравнения (1.16) получаем интегральные уравнения:

,

.
Применяя метод последовательных приближений, получаем:

, (1.17)
где

- решения уравнения (1.4).
Следовательно, для всего промежутка [0,p] справедливо равенство (1.15).
Из (1.15) нетрудно установить неравенство:

, (1.18)
где

при

.
Тогда имеет место следующее равенство:

(1.19)
при

, где

- оператор Штурма-Лиувилля задачи (1.1)-(1.3), а

- оператор задачи (1.4)-(1.6). Из (1.18) и (1.19) нетрудно показать справедливость оценки (1.14). Теорема доказана.
Следствие 1.1

,

.
Следствие 1.2

, где

- характеристическое уравнение для собственных значений задачи (1.4)-(1.6),

- характеристическое уравнение для собственных значений задачи (1.1)-(1.3).
Следствие 1.3

и

совпадают со всеми корнями уравнения

.
Следствие 1.4

образуют полную систему собственных функций.
II. Сингулярная задача. Случай

.
Будем рассматривать задачу

, (2.1)

, (2.2)
где

монотонно, т.е. уравнение (2.1) имеет не более одной точки поворота. Таким образом, для любого

. В случае, когда

, спектральная задача имеет дискретный спектр. Из представленного метода решения регулярной задачи следует, что

; таким образом, для каждого

задачи на полуоси ставится в соответствие своя регулярная задача на конечном отрезке

. Если бы мы знали все значения собственных функций

, соответствующие собственным числам

задачи на полуоси, в точке

, то, решая задачи на конечном промежутке

с дополнительным граничным условием

, мы могли бы вычислить все собственные числа задачи на

достаточно точно. Исходя из сказанного, можно утверждать, что погрешность определения собственных чисел тем меньше, чем точнее выбор второго краевого условия. В связи с этим рассмотрим два краевых условия

(условие Дирихле) и

(условие Неймана). Пусть

- собственные числа задач на конечном промежутке с дополнительными условиями Дирихле и Неймана соответственно. С помощью метода решения регулярной задачи доказываются следующие утверждения: