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

4.3. Собственные значения и собственные функции самосопряжённых операторов

4.3.1. Собственные значения

Как мы уже знаем, операторы представляют в квантовой механике динамические переменные микросистем, а собственные значения оператора суть возможные значения соответствующей динамической переменной, в частности — результатов её измерения. Ясно, что значения любой физической величины являются действительными числами. Вместе с тем собственные значения действительны вовсе не у всех операторов.

Рассмотрим, например, оператор дифференцирования функций по переменной x. Найдём собственные значения α и собственные функции ψα (x) этого оператора, используя уравнение (3.1.3):

ψα (x) =αψα (x) .

(4.3.1)

x

 

 

Уравнение (4.3.1) имеет решение при любом значении параметра α:

ψα (x) =Aeαx .

(4.3.2)

226

Собственные значения α могут быть как действительными, так и комплексными. При этом функция (4.3.2) ограничена, только если

α — чисто мнимое число, α = ia (a — действительное число). Таким образом, оператор дифференцирования не годится на роль представителя какой–либо физической величины.

Существует, однако, класс операторов, собственные значения которых всегда действительны. Это — самосопряжённые операторы (п/п. 4.2.2). По этой причине только они и могут использоваться как представители динамических переменных в математическом аппарате квантовой механики. Сейчас мы докажем сформулированное утверждение.

Теорема 4.3.1. Собственные значения самосопряжённого оператора действительны.

ˆ

Доказательство. Пусть F — самосопряжённый оператор. Рассмотрим соотношение (3.1.3), определяющее собственное значение F самосопряжённого оператора и принадлежащую ему собственную функцию ψ F :

ˆψ = ψ

F F F F .

Умножим это соотношение на ψF * и проинтегрируем, используя обозначения (4.1.5) и (4.2.1) и учитывая, что собственное значение не зависит от аргументов волновой функции, по которым выполняется интегрирование:

ˆ

(4.3.3)

<ψF | F |ψF >= F <ψF |ψF >.

227

Из (4.3.3) получим

ˆ

(4.3.4)

F =<ψF | F |ψF > / <ψF |ψF >.

Как доказано в теореме 4.2.4, числитель правой части выражения (4.3.4) для самосопряжённого оператора — действительное число. Знаменатель этого выражения представляет собой норму функции ψ F (4.1.7), которая действительна и неотрицательна. Следовательно, число F — действительное,

F = F*,

(4.3.5)

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

4.3.2. Собственные функции

Собственные функции самосопряжённых операторов также обладают очень важным свойством, которое будет неоднократно использоваться нами в дальнейшем.

Теорема 4.3.2. Собственные функции самосопряжённого оператора, принадлежащие различным собственным значениям, ортогональны.

Доказательство. Рассмотрим соотношения (3.1.3), определяющие две собственные функции самосопряжённого оператора, принадлежащие разным собственным значениям:

228

ˆ

 

 

 

 

 

 

 

FψF= F ψF;

 

 

 

 

 

 

ˆ

′′

;

F

F

′′

.

FψF′′ = F

ψF′′

 

 

Умножим первое из них на ψ F′′ * и проинтегрируем:

<ψF′′ ˆ ψF>= ′ <ψF′′ ψF>

| F | F | .

Возьмём от равенства (4.3.8) комплексно сопряжённое:

(4.3.6)

(4.3.7)

(4.3.8)

ˆ

(4.3.9)

<ψF′′ | F |ψF>* = (F )* <ψF′′ |ψF>*.

Используя определение самосопряжённого оператора (4.2.5), свойство скалярного произведения функций (4.1.6) и доказанную выше теорему 4.3.1, получим из равенства (4.3.9):

ˆ

(4.3.10)

<ψF| F |ψF′′ >= F′ <ψF|ψF′′ >.

Далее, умножим второе из исходных равенств на ψF* и

проинтегрируем:

ˆ

(4.3.11)

<ψF| F |ψF′′ >= F′′ <ψF|ψF′′ >.

Вычтя равенство (4.3.11) почленно из (4.3.10), получим

229

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