Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
6 сем / km-lectures-221025.pdf
Скачиваний:
0
Добавлен:
14.12.2025
Размер:
4.94 Mб
Скачать

3.4Редукция волнового пакета

Если при измерении физической величины, отвечающей самосопряж¼нному оператору

^

A, было получено значение a, то при повторном измерении через бесконечно малый промежуток времени будет получено то же самое значение a.

Пусть состояние системы до первого измерения описывалось вектором

, и пусть

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

 

^

= an an :

(3.123)

A an

=

Xan

can an :

(3.124)

Если при первом измерении было получено число an0 , то при повторных измерениях будет получаться одно и то же число an0 . Следовательно, после первого измерения си-

стема оказалась в состоянии, описываемом вектором an0 . Таким образом, в результате измерения состояние системы изменилось

! an0 :

(3.125)

Говорят, что произошла редукция волнового пакета.

^

Чтобы приготовить систему в заданном состоянии an0 , надо найти оператор A, собственным вектором которого является an0 , произвести измерение величины, отвечающей

^

A и отобрать то состояние, при котором измеренное значение a оказалось равным собственному числу, соответствующему an0 .

3.5Оператор импульса

В качестве гильбертова пространства выберем пространство функций L2

1

 

 

 

 

 

Z

dx j (x)j2

<

1 ;

(3.126)

1

 

 

1

 

 

 

h j'i

=

Z

dx (x)'(x) :

(3.127)

 

 

 

1

 

 

Рассмотрим координатное представление.

78

По определению, оператор импульса в координатном представлении имеет следующий вид

p^

=

i~

d

;

 

(3.128)

 

 

dx

 

p^ (x)

=

i~

d

(x) ;

8 :

(3.129)

 

dx

Оператор импульса самосопряж¼нный оператор

p^+ = p^:

(3.130)

Спектр оператора импульса чисто непрерывный: 1 < p < 1.

p^ p(x)

= p p(x) ;

(3.131)

 

 

ipx

 

p(x) =

(2 ~) 1=2 e ~ ;

(3.132)

h p0j pi

=

(p p0) :

(3.133)

Строго говоря, у оператора импульса нет собственных функций, поскольку функцииp(x) не принадлежат гильбертовому пространству L2. Однако, мы будем называть функ- öèè p(x) собственными функциями.

Аналогичным образом определяют оператор импульса в тр¼хмерном пространстве. Здесь гильбертово пространство L2 åñòü

Z

d3r j (r)j2

<

1

;

 

 

(3.134)

h j'i

=

Z

d3r (r)'(r)

(3.135)

 

 

1

1

1

 

 

 

=

Z

 

dx Z

dy Z

dz (x; y; z)'(x; y; z) :

(3.136)

 

 

1

 

1

1

 

 

По определению, оператор импульса есть

p^ = i~r = i~ ex @x

+ ey @y

 

 

 

@

 

@

 

p^ p(r)

=

p p(r) ;

 

 

 

 

 

ipr

 

 

 

p(r)

=

(2 ~) 3=2 e ~ = (2 ~) 3=2 e

h p0j pi = 3(p p0) = (px p0x) (py

 

+ ez @z

:

 

(3.137)

@

 

 

 

 

 

 

 

 

 

 

(3.138)

i(pxx+pyy+pzz)

 

 

~

 

 

;

(3.139)

py0 ) (pz pz0 ) :

(3.140)

79

Теперь обсудим почему оператор импульса определили Ур. (3.128) и Ур. (3.137).

Рассмотрим оператор сдвига

 

(r) ! (r + a) ;

(3.141)

где a малое изменение вектора r. С точностью до членов порядка a2 функция (r + a) может быть записна как

(r + a) = (r) + a r

(r) + O( a2) = (r) +

 

i

a p^ (r) + O( a2) :(3.142)

 

 

~

Здесь градиент выражен через оператор импульса. Для конечного сдвига ( a) необходимо учитывать все члены ряда Тейлора, что да¼т

(r + a) =

1

(a nr!

)

n

 

 

 

(r)(3: .143)

(r) + n=1

 

(r) = exp(a r) (r) = exp ia~ p^

 

X

 

 

 

 

 

 

 

 

 

 

Равенство (3.144) устанавливает связь оператора сдвига или трансляции ( ^

 

 

 

 

 

 

 

 

 

 

Ta) и оператора

импульса

 

 

 

 

 

 

 

 

 

 

 

T^a (r)

= (r + a) = exp(a r) (r) = exp

i a p^

 

(r) :

 

(3.144)

~

 

При наличии трансляционной симметрии функции (r) и (r + a) должны описывать одно и то же состояние системы, т.е., они могут отличаться только на константу jCj = 1,

т.е., на мнимую экспоненту.

Рассмотрим свободную частицу с определ¼нным импульсом p. Если функция опи-

сывает состояние с определ¼нным импульсом, то она есть собственная функция для оператора импульса и мы получим

exp

i a p^

p(r) = exp

i a p

p(r) :

(3.145)

~

~

Таким образом, из определ¼нности импульса и его сохранения следует трансляционная симметрия. Для свободной частицы также получаем, что из трансляционной симметрии следует сохранение импульса.

Здесь надо отметить, что состояния свободной частицы с определ¼нным импульсом принадлежат непрерывному спектру. Однако можно рассмотреть состояние из гильбертова пространства, со сколь угодно малой (но ненулевой) дисперсией для импульса.

80

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

r+

=

r

(3.146)

(ir)+

=

ir:

(3.147)

Получаем, что для существования указанной связи между трансляционной симметрией и сохранением импульса, оператор импульса должен иметь вид

p^ = Cir;

(3.148)

где C вещественная константа.

3.5.1Квантовые скобки Пуассона

Рассмотрим ещ¼ одно обоснование определений Ур. (3.128) и Ур. (3.137). Классическая скобка Пуассона

fF; Gg =

n

@pi @qi

@qi @pi

:

(3.149)

i=1

 

 

X

 

 

@F @G

@F @F

 

 

dF

 

 

@F

 

 

 

 

 

=

 

 

+ fH; F g ;

 

(3.150)

 

dt

@t

 

где H гамильтониан системы.

Классические скобки Пуассона обладают известными свойствами.

Потребуем, чтобы квантовая скобка Пуассона обладала такими же свойствами

1.

^ ^

^ ^

(3.151)

fF ; Gg

= fG; F g :

2.

^

где C есть оператор умножения на константу : (3.152)

fF ; Cg = 0 ;

3.

^

^

^

^

^

^

^

(3.153)

fF1

+ F2

; Gg

= fF1

; Gg + fF2

; Gg :

4.

^ ^

^

^

^ ^

^ ^

^

(3.154)

fF1F2

; Gg

= fF1

; GgF2

+ F1fF2

; Gg :

81

5.

^ ^ ^

^ ^ ^

^ ^ ^

(3.155)

fF fG; Rgg + fGfR; F gg + fRfF ; Ggg = 0 :

Основываясь на этих пяти свойствах, постараемся найти вид квантовой скобки Пуассона.

 

 

 

^

^

^

 

^

 

^

^

 

 

^

^

^

 

 

 

 

 

fG1G2

; F g = fG1

; F gG2

+ G1fG2

; F g

 

 

 

 

 

 

^

^

^

 

^

^

^

 

 

^

^

^

 

 

 

 

 

fF ; G1G2g = fF ; G1gG2

+ G1fF ; G2g :

 

 

Рассмотрим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ ^

 

^

^

 

^

^

 

^

^

 

 

 

 

 

 

 

 

 

 

fF1F2

; G1G2g

= fF1F2; (G1G2)g

 

 

 

 

 

 

 

 

 

 

 

 

 

^

^

^

 

^

 

 

^ ^

^

^

 

 

 

 

 

 

 

= fF1

; (G1G2)gF2

+ F1fF2; (G1G2)g

 

 

 

 

 

 

 

^

^

 

^

^

 

 

^

^

^

 

^

 

 

 

 

 

 

 

= fF1

; G1gG2F2

+ G1fF1

; G2gF2

 

 

 

 

 

 

 

^

^

^

^

 

 

^ ^

^

 

^

 

 

 

 

 

 

 

+F1fF2; G1gG2

+ F1G1fF2

; G2g :

 

 

^ ^

 

^

^

 

^ ^

 

^

^

 

 

 

 

 

 

 

 

 

 

fF1F2

; G1G2g

= f(F1F2); G1G2g

 

 

 

 

 

 

 

 

 

 

 

 

 

^ ^

 

^

^

 

 

^

^

^

^

 

 

 

 

 

 

 

= f(F1F2); G1gG2

+ G1f(F1F2); G2g

 

 

 

 

 

 

 

^

^

 

^ ^

 

 

^

^

^

 

^

 

 

 

 

 

 

 

= fF1

; G1gF2G2

+ F1fF2; G1gG2

 

 

 

 

 

 

 

^

^

^

 

^

 

 

^ ^

^

 

^

 

 

 

 

 

 

 

+G1fF1

; G2gF2

+ G1F1fF2

; G2g :

 

^ ^ ^ ^

 

^ ^ ^ ^

 

 

 

^

 

^ ^ ^

 

 

^ ^ ^ ^

fF1

; G1gG2F2

+ F1G1fF2; G2g = fF1

; G1gF2G2 + G1F1fF2

; G2g

^ ^ ^ ^

 

^ ^ ^ ^

 

 

^ ^ ^ ^

 

 

^ ^ ^ ^

fF1

; G1gG2F2

fF1; G1gF2G2 = G1F1fF2

; G2g F1G1fF2

; G2g

 

^ ^

 

^ ^

^ ^

 

 

 

^ ^

 

^ ^

^ ^

 

 

fF1; G1g(G2F2

F2G2) = (G1F1 F1G1)fF2

; G2g

 

Это равенство должно выполняться для любых

 

^

^

^

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

F1,

F2,

G1,

G2. Поэтому

 

 

 

^

^

 

^ ^

 

^ ^

 

 

 

^

^

 

 

 

 

 

 

fF ; Gg = C(F G GF ) = C[F ; G] :

 

 

 

При переходе к классическому пределу мы получим

C = ~i :

^ ^

i

 

^ ^

fF ; Gg =

~

[F ; G] :

(3.156)

(3.157)

(3.158)

(3.159)

(3.160)

(3.161)

(3.162)

(3.163)

(3.164)

(3.165)

(3.166)

(3.167)

(3.168)

(3.169)

(3.170)

(3.171)

82

Рассмотрим классические скопки Пуассона

fF; Gg =

n

@pi @qi

@qi @pi

i=1

 

X

 

@F @G

@F @F

: (3.172)

Мы будем использовать следующие обозначения p = (px; py; pz) = (p1; p2; p3), r = (x; y; z) = (r1; r2; r3)

 

 

 

 

 

fri; rjg =

0

 

 

 

 

 

 

(3.173)

 

 

 

 

 

fpi; pjg =

0

 

 

 

 

 

 

(3.174)

 

 

 

 

 

fpi; rjg = ij :

 

 

 

 

 

(3.175)

Рассмотрим квантовые скобки Пуассона. Вычисли коммутаторы операторов

 

[^ri; r^j] (r) =

rirj

(r) rjri (r) = 0 ;

8 (r) :

 

 

(3.176)

[^pi; p^j] (r) =

i~@ri

i~@rj

(r) i~@rj

i~@ri

(r)

(3.177)

 

 

@

 

 

 

 

 

 

 

 

@

 

 

 

 

@

@

 

 

 

=

0 ;

8

(r) :

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.178)

[^pi; r^j] (r)

=

( i~)

 

@

rj

(r) rj( i~)

@

(r)

 

 

 

 

(3.179)

 

 

 

 

 

 

@ri

@ri

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

 

@

 

@

 

 

 

 

=

(r)( i~)

 

 

rj

+ rj( i~)

 

(r) rj( i~)

 

(r)

(3.180)

 

@ri

@ri

@ri

 

=

(r)( i~)

@

rj

= ( i~) ij (r) ;

8 (r) :

 

 

(3.181)

 

 

 

 

 

 

@ri

 

 

 

 

 

 

[^ri; r^j]

= 0

 

 

 

 

 

 

 

 

(3.182)

 

 

 

 

[^pi; p^j] = 0

 

 

 

 

 

 

 

 

(3.183)

 

 

 

 

[^pi; r^j] = ( i~) ij :

 

 

 

 

 

(3.184)

Соответствующие квантовые скобки Пуассона имеют вид

 

 

 

 

 

 

fr^i; r^jg

=

 

i

[^ri; r^j] = 0

 

 

 

 

 

 

(3.185)

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

fp^i; p^jg

=

 

i

[^pi; p^j] = 0

 

 

 

 

 

 

(3.186)

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

i

 

 

 

 

 

 

 

 

fp^i; r^jg

=

 

 

 

[^pi; r^j] =

 

( i~) ij = ij :

 

 

(3.187)

 

 

~

 

~

 

 

83

Мы получаем, что при указанных определениях оператора импульса квантовые скобки Пуассона (Ур. (3.185)-(3.187)) напрямую связаны с классическими скобками Пуассона (Ур. (3.173)-(3.175)). Это обстоятельство позволяет нам установить связь между уравнениями квантовой механики и классической механики. Это также обеспечивает существование корректного перехода от квантовой механики к классической механике для систем, где классическая механика хорошо работает.

84

3.6Одновременная измеримость физических величин.

Соотношение неопредел¼нности

Рассмотрим два самосопряж¼нных оператора ^

^

 

 

 

 

 

A è B.

 

Две физические величины, отвечающие операторам ^

^

 

 

 

 

 

 

 

A и B, одновременно измеримы

в состоянии , если их дисперсии на состоянии

ðàíû íóëþ.

 

 

q

 

 

 

 

 

 

 

 

 

 

A

=

 

(A^ A)2

 

= 0 ;

(3.188)

 

 

q

 

 

 

 

 

 

 

 

B

=

(B^ B)2

= 0 :

(3.189)

 

 

 

 

 

 

 

 

^

В этом случае функция должна быть собственной как для оператора A, так и для

^

 

 

 

 

 

 

 

 

B (см. параграф 3.3.2)

 

 

 

 

 

 

 

 

 

^

 

 

= a

;

 

 

(3.190)

 

A

 

 

 

 

 

^

 

 

= b

:

 

 

(3.191)

 

B

 

 

 

 

Две физические величины называются одновременно измеримыми (во всех состояниях), если для каждой пары возможных значений a и b существует состояние, в котором

эти величины принимают определ¼нные значения (дискретный спектр), либо со сколь угодно малой (но ненулевой) дисперсией (непрерывный спектр).

Для этого необходимо, чтобы все эти состояния были собственными функциями для операторов ^ ^ ^ ^

A и B, то есть, чтобы операторы A и B имели общий базис. В этом случае операторы должны коммутировать (см. параграф 2.15)

^ ^

(3.192)

[A; B] = 0 :

Рассмотрим состояние системы , на н¼м физические величины, отвечающие опера-

торам ^ ^

 

 

 

 

 

 

 

 

 

 

 

 

 

A и B, принимаю следующие средние значения

 

 

 

 

 

 

 

 

=

 

^

 

 

 

 

 

 

(3.193)

 

 

 

A

 

h jAj i ;

 

 

 

 

 

 

 

=

 

^

 

 

 

 

 

 

(3.194)

 

 

 

B

 

h jBj i :

 

 

 

Дисперсии соответствующих физических величин равны

 

 

 

 

 

 

q

 

 

= q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

j(A^ A)2j

i ;

 

A

=

(A^ A)2

 

(3.195)

 

 

q

 

= q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

j(B^ B)2j

i :

 

B

=

(B^ B)2

(3.196)

Как обычно, мы предполагаем, что выполнено

 

 

 

 

 

 

 

 

 

 

h

j i

= 1 :

 

 

 

 

(3.197)

85

Введ¼м оператор

^

 

 

 

 

 

 

 

 

 

 

D

 

 

 

 

 

 

 

 

 

 

^

^

=

^ ^

^ ^

^

 

 

(3.198)

 

[A; B]

AB BA = i~D ;

 

 

^

^

i

=

h

^ ^ ^ ^

i = i~h

^

 

(3.199)

h j[A; B]j

j(AB BA)j

jDj

i = i~D ;

 

 

 

= h

^

i :

 

 

 

(3.200)

 

 

D

jDj

 

 

 

Мы видели, что коммутатор двух эрмитовских операторов есть антиэрмитовский опера-

тор (см. 2.153). Следовательно, оператор

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D эрмитовский (самосопряж¼нный) и D 2 R.

Рассмотрим следующий линейный оператор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

^

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

2 R:

 

 

 

 

 

(3.201)

 

 

 

 

L

 

= (A A) + i (B

B) ;

 

 

 

 

 

 

 

 

В общем случае этот оператор несамосопряж¼нный.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим вектор

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.202)

 

 

 

 

 

 

 

 

 

 

 

j'i = Lj i :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вычислим квадрат нормы этого вектора (мы знаем, что h'j'i 0)

 

 

 

 

h'j'i = h

^+

^

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.203)

jL Lj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= h

j (A^ A) + i (B^ B) + (A^ A) + i (B^ B) j

i

 

 

(3.204)

= h j (A 2) ( 2

 

 

 

) (

 

 

2 ) + (

^

 

 

) j i

 

 

 

 

 

 

 

 

^

 

 

 

^

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.205)

 

 

 

 

 

 

A

i B

 

 

B

 

 

 

 

 

A

 

 

 

A

 

i B

 

B

 

 

 

 

 

= h

 

^

 

 

 

j

i + h

 

 

 

^

 

 

 

 

 

 

j

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.206)

j(A

A)

 

 

j(B

B)

 

 

 

 

 

 

j

i

 

 

 

 

 

+

 

h

2 j (

2

 

 

2

^

 

 

 

 

 

 

^

 

 

 

^

 

 

 

 

 

 

 

(3.208)

 

i

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.207)

 

 

 

 

 

A

 

A)(B B)

 

 

(B

 

 

 

 

B)(A

 

 

A)

 

 

 

 

 

 

 

= ( A) + ( B)

 

 

 

 

 

 

 

 

 

 

 

 

) (

 

 

+

 

 

 

 

 

 

) j i

 

+i h 2 j ( 2

 

 

+ 2

 

 

^

 

^

^ ^

 

^

 

 

 

 

 

 

 

 

^ ^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

(3.209)

 

 

 

 

 

 

AB

AB

 

 

AB

 

 

AB

 

 

 

 

 

BA

 

 

 

BA

 

BA

 

BA

 

 

= ( A)

+ ( B)

+ i h

 

 

^ ^

 

 

 

 

 

^ ^

 

i

 

 

 

 

 

 

 

 

 

 

 

(3.210)

 

j(AB

 

BA)j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

2

 

 

 

 

 

 

0 ;

 

 

8 2 R:

 

 

 

 

 

 

 

 

 

(3.211)

= ( A)

+

( B) + ~ D

 

 

 

 

 

 

 

 

 

 

 

 

Получаем условие на дискриминант

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 2

 

 

 

 

 

 

 

2

( B)

2

 

0 :

 

 

 

 

 

 

 

 

 

(3.212)

 

 

 

 

 

 

 

 

~

D

4( A)

 

 

 

 

 

 

 

 

 

 

 

 

Иначе это условие можно записать как

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A B

 

 

 

 

 

2

jDj :

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.213)

Может оказаться, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

^

 

6= 0). Â ýòîì

 

 

D = 0 на состоянии

 

, но оператор D ненулевой (D

 

случае в состоянии

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

^

 

 

 

 

 

 

 

величины, отвечающие операторам A и B, одновременно измеримы.

86

Однако такие состояния не образуют полной системы (иначе мы бы смогли доказать, что

оператор ^

 

 

 

 

 

 

D нулевой).

 

 

 

 

 

 

Рассмотрим неравенство (3.213) для случая

 

 

 

 

^

=

p^;

 

(3.214)

A

 

^

 

 

 

 

 

(3.215)

B = x^ :

 

Тогда оператор D имеет вид (см. Ур. (3.184))

 

 

 

 

[^p; x^]

=

i~

(3.216)

^

 

 

^

 

 

(3.217)

D

= E

 

 

=

1 :

 

(3.218)

D

 

Неравенство (3.213) принимает вид

 

 

 

 

 

 

p x

 

 

~

:

(3.219)

2

Это неравенство называется соотношением неопредел¼нности.

Как видно, соотношение неопредел¼нности получается из основных положений квантовой механики.

Мы относится к соотношению неопредел¼нности как к экспериментальному факту.

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

 

 

L

1

 

 

x

 

 

 

 

0:03mm ;

(3.220)

d

sin

где L растояние от объекта до глаза (25cm), d диаметр зрачка (5mm), длина волны

фотона (6000A=6000

10 10m), апертурный угол.

 

 

Аналогичное выражение имеется для разрешения оптического микроскопа x:

 

x

1:22

 

 

;

(3.221)

 

 

 

 

2n sin

sin

где апертурный угол, длина волны фотона, n показатель преломления оптиче-

ской среды, в которой находится линза.

Пусть мы смотрим вдоль оси y, тогда разброс импульса вдоль оси x есть

p sin < px < p sin

px = p sin :

(3.222)

87

Известно, что импульс фотона связан с длиной волны как p = h= . Действительно, для потенциала электромагнитного поля можно написать

A (r)

 

ipr

 

 

 

 

e ~

 

 

 

(3.223)

=

 

~

 

2 =

h

:

(3.224)

 

p

 

p

 

 

 

 

 

 

 

Таким образом, получаем

 

 

 

 

 

 

 

 

 

px x p sin

 

 

= p = h = 2 ~:

(3.225)

 

sin

Соотношение неопредел¼нности Ур. (3.219) в этом эксперименте будет выполнено.

Рассмотрим ещ¼ один мысленный эксперимент.

Пусть монохроматический поток частиц движется вдоль оси y и проходит сквозь диафрагму параллельную оси x со щелью x. Мы можем утверждать, что в этот момент знаем x-координату частицу с точностью x.

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

оси y, тогда

sin

=

 

 

;

 

(3.226)

x

 

 

 

 

 

x

=

 

 

 

:

(3.227)

 

 

 

sin

Из разброса частиц на угол мы получаем, что x-компонента импульса имеет разбросp sin < px < p sin , т.е., она определена с точностью

px

= p sin :

(3.228)

Таким образом, мы получаем

 

 

 

px x = p sin

 

= p = h = 2 ~:

(3.229)

sin

 

 

 

Соотношение неопредел¼нности Ур. (3.219) в этом эксперименте будет выполнено.

88

3.7Уравнение Шр¼дингера (Erwin Schrodinger). Производная по времени от оператора

По определению, чистое состояние системы развивается во времени согласно уравнению Шр¼дингера

i~

@

 

^

 

@t

(r; t) =

H (r; t) :

(3.230)

Самосопряж¼нный оператор ^

H называется оператором Гамильтона или гамильтонианом.

Гамильтониан зада¼т систему в том смысле, что, задав этот оператор и волновую функцию в какой-то момент времени t0 (то есть, задав граничное условие (r; t0)), мы можем получить волновую функцию в другой момент времени t ( (r; t)).

Теперь обсудим почему уравнение Шр¼дингера определили именно так.

1. Задав волновую функцию состояния системы в момент времени t0, мы говорим, что нам доступна вся информация о системе. Тем самым, мы должны знать волновую функцию и в последующие моменты времени ( (r; t)). Для этого достаточно, чтобы мы

знали волновую функцию через бесконечно малый промежуток времени ( (r; t0 + dt)). Это выражается тем, что производная по времени функции от (r; t) определяется самой функцией (r; t) посредством какого-то линейного оператора. Это реализовано в Ур. (3.230).

2. Формально Ур. (3.230) похоже на определение оператора импульса

i~

@

(x; t) = p^ (x; t) :

(3.231)

@x

Мы видели, что такой вид оператора импульса связывает его с пространственной трансляцией Ур. (3.144) и, соответственно, инвариантность к пространственной трансляции с сохранением импульса. Из классической механики известно, что инвариантность к сдвигу во времени связана с сохранением энергии. Таким образом, уравнение Шр¼дингера

может быть формально получено из определения оператора импульса заменой x на t и p^

íà ^

 

 

 

H (и с заменой знака).

 

 

 

3. Выше мы ввели квантовые скобки Пуассона (см. Ур. (3.171))

 

^ ^

i

^ ^

 

fF; Gg =

~

[F; G] :

(3.232)

89

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

Классические скобки Пуассона обладают следующим свойством

dF

=

@F

+ fH; F g ;

(3.233)

 

 

dt

@t

где H гамильтониан системы, а F = F (q; p; t) есть произвольная функция обобщ¼нных координат и импульсов.

Рассмотрим производную по времени от среднего значения оператора ^

A(x; t) на волновой функции (x; t). Для краткости мы рассматриваем одномерный случай и используем

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

dtA

=

 

 

 

 

1

dth jA^j i = dt Z

 

d

 

 

d

 

 

 

 

d

 

 

 

 

 

1

 

 

 

 

1

 

 

 

dx

 

(x; t)

 

 

 

=

Z

@

 

 

 

 

 

 

@t

 

^

dx (x; t)A(x; t) (x; t)

^

A(x; t) (x; t)

1

1

Z

+dx

1

1

Z

+dx

1

(x; t)

@tA^(x; t)

(x; t)

 

 

 

@

 

 

 

 

 

 

(x; t)A^(x; t)

@t (x; t)

:

 

 

 

 

 

@

 

 

 

Под частной производной от оператора ^

A мы понимаем

(3.234)

(3.235)

(3.236)

(3.237)

@

 

 

 

^

^

 

 

 

A^(t) =

lim

A(t + t)

A(t)

;

(3.238)

@t

t

 

 

t!0

 

 

 

где оператор ^

A явно зависит от t как от параметра. Соответственно, если оператор не за-

висит явно от времени, например, как операторы координаты и импульса, то эта частная производная равна нулю.

Далее воспользуемся уравнением Шр¼дингера в виде

@

 

 

 

i

^

 

@t

(r; t) =

~

H (r; t) :

(3.239)

90

d

dtA =

=

=

=

1

Z

i ^ ^

dx ~H (r; t) A(x; t) (x; t)

1

1

 

 

 

+ Z

dx

(x; t) @tA^(x; t)

(x; t)

 

 

@

 

 

1

 

 

 

 

 

1

 

 

 

 

 

Z

^ i ^

+ dx (x; t)A(x; t) ~H (r; t)

1

1

i Z

~

dx

1

1

Z

+dx

^ ^

(r; t)HA(x; t) (x; t)

(x; t)

@tA^(x; t)

(x; t)

 

@

 

 

 

 

1

1

 

 

 

 

 

 

 

 

i

Z

dx (x; t)A^(x; t)H^ (r; t)

~

 

 

 

 

1

 

1

 

 

 

i

Z

dx (r; t)[H;^ A^(x; t)] (x; t)

 

~

 

 

1

 

 

1

+ Z

dx (x; t) @tA^(x; t)

 

(x; t)

 

 

 

 

@

 

 

 

 

 

 

 

1

 

@tA^

i :

 

~i h j[H;^ A^]j i + h

 

 

 

 

 

@

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(3.240)

(3.241)

(3.242)

(3.243)

(3.244)

(3.245)

(3.246)

(3.247)

(3.248)

Мы использовали то, что гамильтониан является самосопряж¼нным (эрмитовским) оператором.

d

 

 

 

@

 

 

 

 

i

 

 

 

 

 

 

 

 

 

^

 

 

^ ^

 

8

 

dt

A

=

 

@t

A

 

+

 

~

[H; A] ;

(3.249)

d

 

 

 

@

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

^ ^

 

 

 

 

dt

A

=

 

@t

A

+ fH; Ag ;

8 :

(3.250)

При переходе к классическому пределу, где операторы будут переходить в отвечающие им физические величины, мы получим, что Ур. (3.250) перейд¼т в Ур. (3.233).

91