Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Квантовая механика / Учебное пособие.pdf
Скачиваний:
311
Добавлен:
21.06.2019
Размер:
2.06 Mб
Скачать

5.2.Свойства произведений операторов

5.2.1.Оператор, сопряжённый произведению операторов

Теорема 5.2.1. Оператор (FˆGˆ )+, сопряжённый произведению операторов FˆGˆ , равен произведению сопряжённых операторов в обратном порядке:

ˆ ˆ

+

ˆ + ˆ

+

.

(5.2.1)

(FG)

 

=G F

 

Доказательство. В соответствии с определением сопряжённого оператора (4.2.5) для любых функций ψ и ϕ имеем:

<ψ | (FˆGˆ )+ | ϕ >=<ϕ | FˆGˆ |ψ > * =

(обозначаем Gˆψ ψ1)

=<ϕ | Fˆ |ψ1 >* =<ψ1 | Fˆ + | ϕ >=

(обозначаем Fˆ +ϕ =ϕ1)

=<ψ1 | ϕ1 >=<ϕ1 |ψ1 > * =<ϕ1 | Gˆ |ψ >* =

=<ψ | Gˆ + |ϕ1 >=<ψ | Gˆ +Fˆ + |ϕ >,

289

или, окончательно,

<ψ | (FˆGˆ )+ | ϕ > =<ψ | Gˆ +Fˆ + |ϕ >.

Но поскольку полученное равенство выполняется для любых функций ψ и ϕ, то выполняется и операторное равенство (5.2.1),

что и требовалось доказать.

Следствия теоремы 5.2.1.

Следствие 5.2.1.1. Оператор, сопряжённый произведению самосопряжённых операторов, вообще говоря, не является самосопряжённым.

ˆ ˆ +

ˆ ˆ

+

. Тогда в соответствии

Доказательство. Пусть F = F

и G = G

 

с теоремой 5.2.1

 

 

 

ˆ ˆ

+

ˆ + ˆ +

ˆ ˆ

(5.2.2)

(FG)

 

=G F

=G F ,

и, следовательно,

(FˆGˆ )+Fˆ Gˆ .

Таким образом, оператор (FˆGˆ )+ действительно не является самосопряжённым, что и требовалось доказать.

290

Следствие 5.2.1.2. Если самосопряжённые операторы коммутируют, FˆGˆ = GˆFˆ , то оператор, сопряжённый произведению этих операторов, является самосопряжённым:

 

ˆ ˆ

+

ˆ ˆ

 

 

(5.2.3)

 

(FG)

 

=F G .

 

 

Доказательство непосредственно следует из (5.2.2) и условия

рассматриваемого следствия.

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

Следствие 5.2.1.3. Если оператор F — самосопряжённый, то

ˆ n

[определение №8

из п/п. 5.1.1,

равенство

любая его степень F

(5.1.10)] также является самосопряжённым оператором.

 

 

 

Доказательство.

Самосопряжённость

оператора

ˆ

2

ˆ ˆ

F

 

=F F

(5.1.11) вытекает непосредственно из следствия 5.2.1.2. Для этого в

 

 

 

ˆ

ˆ

равенстве (5.2.3) следует положить G =F .

Далее воспользуемся

 

методом

математической индукции.

Допустим, что оператор

ˆ

ˆ n1

— самосопряжённый. Тогда в

G =F

соответствии с (5.2.3) и оператор

ˆ

n

ˆ ˆ

ˆ

ˆ n1

ˆ n1

ˆ

ˆ ˆ

F

 

=F G =F F

=F F =G F

— самосопряжённый, что и требовалось доказать.

291

Следствие 5.2.1.4. Если оператор Fˆ — самосопряжённый, то любая его действительная функция f( Fˆ ) — самосопряжённый оператор.

Доказательство. По определению (3.4.5) действительная функция оператора представляет собой линейную комбинацию его степеней с действительными коэффициентами. Поэтому в соответствии со следствием 5.2.1.3 из теоремы 5.2.1 и равенством (4.2.12) из теоремы 4.2.3 такое выражение является самосопряжённым оператором, что и требовалось доказать.

5.2.2. Самосопряжённые комбинации самосопряжённых операторов

 

Теорема 5.2.2. Если операторы

ˆ

 

ˆ

 

F

и G — самосопряжённые,

т.е.

ˆ ˆ +

и

ˆ ˆ

+

, то оператор

ˆ ˆ ˆ ˆ

F = F

G = G

 

FG +GF — также

самосопряжённый:

ˆ ˆ ˆ ˆ

+

ˆ ˆ ˆ ˆ

(5.2.4)

(FG +GF)

 

=FG +GF .

Доказательство. Последующие выкладки основаны на определении сопряжённого оператора (4.2.5) и соотношении (5.2.1) и не нуждаются в дополнительных комментариях.

(FˆGˆ +GˆFˆ )+=(FˆGˆ )++(GˆFˆ )+=Gˆ +Fˆ ++ Fˆ +Gˆ +=

=GˆFˆ + FˆGˆ =FˆGˆ +GˆFˆ .

292

Соседние файлы в папке Квантовая механика