обобщенных собственных чисел и соответствующих им обобщен
ных собственных элементов; мы
введем его по аналогии с
понятием обобщенного решения.
Пусть
А — положительно определенный оператор, X — его
собственное число и и — собственный элемент, соответствую
щий собственному числу X. Это значит, что
и ф О, u (£ D (A )
и имеет место тождество
Дн = Х«.
(
1
)
Возьмем произвольный элемент т]
НА. Умножим обе
части равенства (
1
) скалярно на т):
(Аи, ч)) = Х(и, •»)).
В этом тождестве
n ^ D (A ),
А
тогда по формуле
(3.6) гл. 5
(Дм, т)) = [и, т(]л.
Мы нашли, таким образом, что собственное число X и со
ответствующий собственный элемент н удовлетворяют тожде
ству
[и, T)k = X (U,
7
j),
(
2
)
Обратно, пусть
и ^
D (А), и Ф 0, вместе с некоторым чис
лом X удовлетворяет тождеству (2). По формуле (3.6) гл. 5
[и» т1]д = (Д«- ■*))•
Подставив это в тождество (2), получим
(Аи —-
hi, Yj) = О,
У г)
Н А.
Итак, вполне определенный элемент
Аи — Хн
пространства И
ортогонален любому элементу Tj
Н А, но множество элемен
тов пространства
Н А плотно в исходном пространстве
Н,
а элемент, ортогональный к плотному множеству, равен нулю.
Отсюда следует, что
Аи — Хн =
0
.
Последнее равенство означает, что
и есть собственный эле
мент, а X — собственное число оператора Д.
Элемент
и
Н А, и ф 0 и число X назовем
обобщенным
собственным элементом и
обобщенным собственным ки
слом оператора А, если они удовлетворяют тождеству (2).
Т е о р е м а 6.3.1.
Обобщенные собственные числа и со бст
венные элементы положительно определенного оператора
с у т ь обычные собственные числа и собственные элементы
для расширения этого оператора по Фридрихсу.
Д о к а з а т е л ь с т в о очень просто. Если X и
и суть
обобщенные собственное число и собственный элемент поло
жительно определенного
оператора А, то они удовлетворяют
тождеству (
2
). Положив в его правой части Хи = /,
приведем
его к виду
h- H]A =
0
q> /).
V ri £
Н А.
(3)
Сравнив равенство (3) с равенством (5.5) гл. 5, видим, что
они отличаются только обозначениями; отсюда следует, что
элемент
и, входящий в формулу (3), реализует минимум функ
ционала
FCtO = |tiP — 2(/,
V),
'
Но тогда
u ^ D (A ), где
А — расширение оператора
А по
Фридрихсу, и
Au — f, или
Аи = Хк,
что и требовалось доказать.
Оператор
А симметричен, поэтому для обобщенных соб
ственных чисел и собственных
элементов верны теоремы
6
.
2.1
и 6.2.2. Отметим еще два свойства обобщенных собственных
чисел и собственных элементов положительно определенного
оператора; слово «обобщенные» ниже для краткости будем
опускать.
Т е о р е м а 6.3.2.
Собственные элементы положительно
определенного оператора ортогональны в энергетическом
пространстве, если они ортогональны в исходном про
странстве.
Пусть н,, н
9
— два собственных элемента положительно
определенного оператора
А и пусть
(их, щ) — 0. Полагая
в тождестве (
2
)
u — ult i] = ws, найдем, что [hj, «9]л =
0
.
Т е о р е м а 6.3.3.
Любое собственное число положи
тельно определенного оператора не меньше нижней грани
этого оператора.
Пусть fo — нижняя грань оператора
А. По теореме 5.7.1
нижняя грань оператора
А, полученного расширением опе
ратора
А по ФридрихСу,
также равна yl- Если X и « —
собственное число и соответствующий ему собственный эле
мент (оба — обобщенные) оператора Л, то по формуле
Do'stlaringiz bilan baham: