Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
quant_matapp.pdf
Скачиваний:
275
Добавлен:
20.04.2015
Размер:
880.46 Кб
Скачать

51

5. ЭЛЕМЕНТЫ ТЕОРИИ ПРЕДСТАВЛЕНИЙ

Обобщим понятия кет-векторов и операторов, рассмотренные в предыдущих разделах.

§ 1. Представление кет-векторов

Рассмотрим полный набор наблюдаемых в оснащённом гильбертовом пространстве. Совокупность операторов, полностью снимающих вырождение, может содержать как операторы с не-

прерывным спектром, обозначим их через

ˆ

ˆ

ˆ

 

X1

, X2 ,..., Xn , так и операторы с дискретным спектром

ˆ

ˆ

ˆ

. Все операторы коммутируют между собой. Их собственные кет-векторы

 

Σ1

, Σ2

,..., Σm

 

 

 

 

ˆ

x1,..., xn ,σ1,...,σm

= x1

x1,..., xn ,σ1,...,σm

 

 

 

 

X1

 

 

 

 

ˆ

x1,..., xn ,σ1,...,σm

= xn

x1,..., xn ,σ1,...,σm

 

 

 

 

Xn

(5.1)

 

 

 

ˆ

x1,..., xn ,σ1,...,σm

=σ1

x1,..., xn ,σ1,...,σm

 

 

 

 

 

 

 

Σ1

 

 

 

 

ˆ

x1,..., xn ,σ1,...,σm

=σm

x1,..., xn ,σ1,...,σm

 

 

 

 

Σm

 

однозначно определяются набором непрерывных xi, i = 1, …, n и дискретных σi = 1, …, m собственных значений этих операторов. Они ортонормированны

x ,..., x ,σ

1

,...,σ

x ,..., x

,σ ,...,σ

=δ(x

x )...δ(x

x )δ

σ σ

...δ

σ σ

(5.2)

1

n

 

m 1

n

1

m

1

1

n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 1

 

m m

 

и образуют базис

ˆ

(5.3)

dx1...dxn x1,..., xn ,σ1,...,σm x1,..., xn ,σ1,...,σm =1.

σ1...σm

Чтобы не писать такие громоздкие формулы, введём обобщённые обозначения. Совокупность всех собственных значений операторов полного набора обозначим одним символом x:

x ={x1,..., xn ;σ1,...,σm}.

 

 

(5.4)

Введём обобщённую δ-функцию

 

 

 

 

 

 

 

 

 

 

 

 

x1 )...δ(xn

xn

 

)δσ σ

...δσ σ

(5.5)

δ(x x ) =δ(x1

 

 

 

 

 

1

1

m m

 

и обобщённый интеграл

 

 

 

 

 

 

 

dx = dx1...dxn ...

,

 

(5.6)

 

 

σ1

 

σm

 

 

 

т.е. под обобщённым интегрированием будем понимать интегрирование по всем значениям непре-

рывных переменных и суммирование по всем значениям дискретных.

 

Тогда выражение (5.1)-(5.3) перепишутся в виде

 

ˆ

x = xi x ,

 

 

 

ˆ

(5.7)

Xi

i =1,...n ; Σi x =σi x , i =1,..., m ,

 

 

x x

 

(5.8)

 

 

 

=δ(x x ) ,

 

 

dx x

ˆ

(5.9)

 

 

x =1,

где теперь согласно (5.4)-(5.6)

x ={x1,..., xn ;σ1,...,σm}.

 

Любой кет-вектор a может быть разложен по собственным кет-векторам полного набора

наблюдаемых (5.7)-(5.9), образующим базис в оснащённом гильбертовом пространстве

 

a = dx x

x a

,

x ={x1,..., xn ;σ1,...,σm}.

(5.10)

Коэффициенты разложения x a полностью определяют кет-вектор a

в этом базисе. Со-

вокупность этих коэффициентов, т. е. функция

 

 

 

52

 

ψa (x) =

x a

,

x ={x1,..., xn ;σ1,...,σm},

(5.11)

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

a

. Совокупность переменных

x ={x1,..., xn ;σ1,...,σm}

называется индексом представления. Он определяется выбором полного набора операторов.

ˆ

ˆ

ˆ

ˆ

, есть другой полный набор наблюдаемых и p — их об-

Аналогично, если P1

,..., Pn

;θ1

,...θm

щие собственные кет-векторы, образующие базис, то тот же самый кет-вектор может быть разложен и по этому базису

 

a = dp p p a ,

(5.12)

где совокупность коэффициентов разложения, т. е. функция

 

 

ψa ( p) = p a ,

p ={p1,..., pn ;θ1,...,θm},

(5.13)

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

a .

 

 

Если выбрать в качестве кет-вектора a

собственный кет-вектор x

операторов полного

ˆ

ˆ

 

 

 

 

набора X1

,..., Σm , то x-представлением будет функция

 

 

ψx(x) =

x x

(5.14)

 

 

=δ(x x ) ,

равная, в силу ортонормированности (5.8), обобщённой δ-функции (5.5). Аналогично, если в каче-

стве a взять собственный кет-вектор p

операторов

ˆ

ˆ

другого полного набора,

то p-

P1

,...,θm

представлением этого кет-вектора снова будет обобщенная δ-функция

 

ψ p( p) =

p p

 

 

 

(5.15)

 

=δ( p p ) .

 

Таким образом, кет-векторы в своих собственных представлениях есть обобщённые δ-функции соответствующих переменных.

Для того чтобы установить связь между представлениями (5.11) и (5.13) одного и того же

кет-вектора, умножим разложение (5.10) кет-вектора a

на кет-вектор p

 

 

 

 

или

 

p a = dx

p x

x a =

x

p * x a dx ,

 

 

 

(5.16)

 

 

ψa ( p) = ψ p* (x)ψa (x) dx ,

 

 

 

 

 

 

 

 

 

 

(5.17)

где ψa(p) и

ψa(x) — p- и x-представители кет-вектора

 

a , а ψp(x) — x-представитель базисного

кет-вектора

p . Фактически

(5.17) есть

запись скалярного произведения

p a

через x-

представители кет-векторов

p

и a . Зная эти представители, по формуле (5.17) можно находить

p-представления кет-вектора

a .

 

 

 

 

 

 

 

 

Заметим, что переход от одного представления к другому (5.16) формально можно полу-

чить, вставляя в скалярное произведение p a вместо разделительной черты «

| »

разложение

единицы (5.9):

 

 

 

 

 

 

 

 

 

 

 

ˆ

p dx x

x a

= dx p x

x a = dx x p

*

x a

 

(5.18)

 

p a = p 1 a

 

 

§ 2. Представление операторов

Пусть зада линейный оператор ˆ , который, действуя на кет-вектор a , переводит его в кет-

L

вектор La :

ˆ

L a

Запишем это равенство в x-представлении:

ˆ

x L a

= La .

(5.19)

= x La .

(5.20)

53

 

ˆ

 

 

 

 

 

 

Вставив перед оператором L единичный оператор (5.9)

 

 

 

 

 

 

ˆ

 

,

(5.21)

получаем

 

 

 

1 = dxxx

 

 

 

= dx

ˆ

 

 

 

 

 

x La

xa ,

(5.22)

или

 

 

x L x

 

 

ψLa (x) = dx

ˆ

 

 

 

 

 

 

(5.23)

 

 

 

x L xψa (x) .

Таким образом,

ˆ

— ядро

 

 

ˆ

x L x

 

L(x, x )

некоторого оператора L(x) , переводящего x-образ

кет-вектора a , т.е. функцию ψa (x) в x-образ преобразованного кет-вектора La

— функцию

ψLa (x) . Символически это действие можно записать в виде

 

ˆ

 

 

(x) .

(5.24)

L(x)ψa (x) =ψLa

Формально (5.24) можно получить из (5.23), положив

 

 

ˆ

ˆ

(5.25)

x L x

 

= L(x)δ(x x ) .

ˆ

 

 

ˆ

 

Оператор L(x) называется x-представлением абстрактного оператора L . (5.24) есть просто запись

(5.19) в x-представлении.

Любая наблюдаемая в своём собственном представлении является оператором умножения.

Действительно, пусть

ˆ

 

 

 

 

 

 

 

 

 

 

 

Xi — наблюдаемая из полного набора (5.1) с собственными значениями xi и

собственными кет-векторами x

,

x ={x1,..., xn ;σ1,...,σm},

образующими ортонормированный ба-

зис. Тогда ядро оператора

ˆ

равно

 

 

 

 

 

 

 

 

Xi (x)

 

 

 

 

 

 

 

 

 

 

 

ˆ

x

= xi

x x

 

(5.26)

 

 

Xi (x, x ) = x Xi

 

 

= xiδ(x x ) ,

ˆ

(x) , согласно (2.56), является оператором умножения на переменную xi:

а сам оператор Xi

 

 

 

 

 

 

ˆ

(x)

= xi .

 

 

 

(5.27)

 

 

ˆ

ˆ

 

Xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично, еслиP1...θm — полный набор наблюдаемых с собственными кет-векторами p ,

 

 

 

 

ˆ

 

 

 

ˆ

 

 

 

 

 

то p-представлением оператора L будет оператор L( p) , определяемый ядром

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

p L p .

 

 

 

(5.28)

 

 

 

 

 

L( p, p ) =

 

 

 

Операторы

ˆ

 

 

ˆ

 

 

 

 

 

 

 

 

 

L(x) и L( p) являются двумя различными представлениями одного и того же

ˆ

 

 

 

 

 

 

 

 

 

 

ˆ

т. е. связь между яд-

оператора L . Установим связь между x-

и p-представлениями оператора L ,

рами (5.25) и (5.28). Её формально легко можно получить, если в выражении

ˆ

ˆ

p L p

оператор L

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

 

 

 

 

 

 

 

 

 

ˆ

 

 

ˆ

= dxx

x

:

 

(5.29)

 

 

 

 

1

= dx x x , 1

 

 

 

 

 

ˆ

= dxdx

p x

ˆ

x

p,

 

(5.30)

или

 

 

 

p L p

x L x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

L( p, p ) = dxdxψ p

 

(x)L(x, x )ψ p(x ) =

 

 

 

 

 

 

(5.31)

 

*

 

ˆ

 

 

*

ˆ

 

 

 

 

 

 

 

 

 

= dxdxψ p

(x) L(x)δ(x x )ψ p(x ) = dxψ p (x)L(x)ψ p(x)

 

 

ˆ

Формула (5.31) позволяет получить ядро оператора L в p-представлении, если известно ядро или сам оператор в x-представлении и известны базисные собственные функции ψp(x) полного набора

операторов

ˆ

ˆ

в этом же представлении. Фактически (5.31) есть запись матричного элемента

P1...θm

ˆ

 

 

 

и Lp.

p L pкак скалярного произведения (1.6) через x-представители кет-векторов p

54

В квантовой механике выбор того или иного представления определяется или конкретными физическими требованиями, или из соображений простоты решений соответствующей физической задачи в данном представлении. Рассмотрим пример, иллюстрирующий сказанное.

Пример. Найти спектр l и собственные функции ψl(x) эрмитова оператора представлении задаётся в виде

ˆ

d 2

L(x) = x + dx2 ,

ˆ , который в x-

L

(5.32)

(x — обычная координата).

Уравнением на собственные значения (4.2) этого оператора будет дифференциальное урав-

нение

d 2ψl (x)

+(x l)ψ

l

(x) = 0 ,

(5.33)

dx2

 

 

 

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

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

Рассмотрим эрмитов оператор

 

 

 

 

 

d

 

 

 

 

pˆ (x) = −i

 

,

(5.34)

 

dx

 

 

 

 

 

 

 

 

обладающий непрерывным вещественным спектром −∞ < p < ∞ и собственными функциями

 

ψ p (x) =

 

 

1

 

 

eipx

(5.35)

 

 

2π

 

(см. задачу 4.1б), образующими базис.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

pˆ :

 

 

 

 

 

 

 

 

 

Исходный оператор L выражается через

 

 

 

 

 

 

 

 

 

ˆ

 

= − ˆ

2

 

 

+ ˆ

 

L (x)

 

 

 

(5.36)

p (x)

 

 

x ,

и нахождение его спектра в x-представлении сводится к решению уравнения (5.33).

Рассмотрим оператор (5.36) в p-представлении. Оператор pˆ тогда будет оператором умно-

жения

pˆ 2 ( p) p2 ,

а вид оператора xˆ( p) найдём, воспользовавшись формулами связи (5.31). Ядро

*

 

1

 

i( pp) x

 

 

 

 

 

 

 

1

i( pp) x

 

 

 

x( p, p) =

dxψ p

(x) xˆ(x)ψ p(x) =

 

xe

 

 

dx =i

 

 

 

 

 

 

e

 

dx)

= i

 

δ( p p)

2π

 

 

p

2π

 

p

−∞

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

 

 

Тогда, согласно (2.56),

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xˆ( p) = i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dp

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с собственными функциями

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

ψx ( p) ψ p* (x) =

 

 

 

 

eipx .

 

 

 

 

 

 

 

ˆ

 

 

2π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно, оператор L в p-представлении будет равен

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

d

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L( p) = i

dp

 

p

 

,

 

 

 

 

 

 

 

 

 

 

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

idψl ( p) ( p2 +l)ψl ( p) = 0 . dp

Вотличие от (5.33), (5.42) уже уравнение первого порядка, которое всегда интегрируется:

ψl ( p) = Ce

i(

p2

+l ) p

,

3

 

 

 

 

 

 

(5.37)

(5.38)

(5.39)

(5.40)

(5.41)

(5.42)

(5.43)

55

где константу интегрирования C найдём из условия нормировки (1.28):

l l

(5.44)

 

=δ(l l ) .

Легко видеть, что она равна 1/ 2π .

ˆ

Таким образом, оператор L имеет непрерывные вещественные собственные значения l и собственные функции (5.43), записанные в p-представлении.

Если необходимы собственные функции этого оператора в x-представлении, воспользуемся формулами связи представлений (5.18):

ψl (x) x l = dp x p p l = ψx* ( p)ψl ( p) dp .

Подставляя в (5.45) (5.40) и (5.43), получаем

 

 

 

 

 

−∞

 

 

 

 

 

 

 

 

 

 

 

1

i(

p2

+l x) p

 

 

1

 

p2

1

Φ(l x),

ψl (x) =

 

−∞e

3

 

 

dp =

 

0 cos((

 

+l x) p)dp =

 

2π

 

 

π

3

4π

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Φ(x)=

1

 

 

z3

 

 

 

 

 

 

 

cos zx +

 

 

dz

 

 

 

 

π

3

 

 

 

 

 

 

 

 

0

 

 

 

 

 

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

(5.45)

(5.46)

(5.47)

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]