ВУЗ:
Составители:
Рубрика:
27
собственным функциям
n
Ψ :
∑
Ψ=Ψ
n
nn
c
.
Пользуясь равенством (4), получим:
=Ψ=Ψ=Ψ
∑
∑
n
nn
n
nn
LMccLMLM
€€€€€€
Ψ=Ψ=Ψ=
∑
∑
MLcMLMLc
n
nn
n
nn
€€€€€€
. (5)
Необходимость доказана.
Доказательство достаточности, мы рассмотрим не для об-
щего случая, а для случая, когда собственные значения операто-
ров
L
€ и
M
€ простые.
Дано, что операторы
L
€ и
M
€ коммутируют. Требуется до-
казать, что они имеют общую систему собственных функций.
Пусть
n
Ψ - собственные функции оператора
L
€, то есть
nnn
LL Ψ=Ψ
€
. (6)
Докажем, что
n
Ψ являются также собственными функция-
ми оператора
M
€
. Для этого подействуем оператором
M
€
на ле-
вую и правую части уравнения (6). Пользуясь коммутативнос-
тью операторов и линейностью оператора
M
€
, получим:
(
)
(
)
nnn
MLML Ψ=Ψ
€€€
. (7)
Отсюда мы видим, что
n
MΨ
€
является собственной функци-
ей оператора
L
€ при собственном значении
n
L . Таким образом
собственному значению
n
L соответствуют две собственные фун-
кции оператора
L
€:
n
Ψ и
n
MΨ
€
. Но по наложенному ограниче-
нию мы считаем собственные значения простыми. Это значит,
PDF created with pdfFactory Pro trial version www.pdffactory.com
27 собственным функциям Ψn : Ψ = ∑ cn Ψn . n Пользуясь равенством (4), получим: M€L€Ψ = M€L€∑ cn Ψn = ∑ cn M€L€Ψn = n n = ∑ cn L€M€Ψn = L€M€ ∑ cn Ψn = L€M€Ψ . (5) n n Необходимость доказана. Доказательство достаточности, мы рассмотрим не для об- щего случая, а для случая, когда собственные значения операто- ров L€ и M€ простые. Дано, что операторы L€ и M€ коммутируют. Требуется до- казать, что они имеют общую систему собственных функций. Пусть Ψn - собственные функции оператора L€ , то есть L€Ψn = Ln Ψn . (6) Докажем, что Ψn являются также собственными функция- ми оператора M€ . Для этого подействуем оператором M€ на ле- вую и правую части уравнения (6). Пользуясь коммутативнос- тью операторов и линейностью оператора M€ , получим: ( ) ( L€ M€Ψn = Ln M€Ψn . ) (7) € Отсюда мы видим, что MΨ является собственной функци- n ей оператора L€ при собственном значении Ln . Таким образом собственному значению Ln соответствуют две собственные фун- € . Но по наложенному ограниче- кции оператора L€ : Ψn и MΨn нию мы считаем собственные значения простыми. Это значит, PDF created with pdfFactory Pro trial version www.pdffactory.com
Страницы
- « первая
- ‹ предыдущая
- …
- 25
- 26
- 27
- 28
- 29
- …
- следующая ›
- последняя »