- •Введение
- •Список литературы
- •Экспериментальные данные, которые не могут быть объяснены в рамках классической механики
- •Опыты, демонстрирующие волновые свойства электрона
- •Гипотиза де Бройля (Louis de Broglie). 1924
- •Опыт Дж. П. Томсона (George Paget Thomson). 1927
- •Опыт Л. Бибермана, Н. Сушкина и В. Фабриканта. 1949
- •Математический аппарат квантовой механики
- •Гильбертово пространство
- •Примеры гильбертова пространства.
- •Операторы в гильбертовом пространстве
- •Примеры операторов
- •Соотношения между операторами
- •Свойства операторов
- •Дельта-функция
- •Общая процедура построения дельтообразных последовательностей
- •Собственные функции операторов с непрерывным спектром
- •Собственные функции оператора импульса
- •Собственные функции оператора координаты
- •Унитарные операторы
- •Оператор координаты и импульса в импульсном представлении
- •Функция от оператора
- •Две теоремы о коммутирующих операторах
- •Основы квантовой механики
- •Операторы в квантовой механике и физические величины. Вероятность и плотность вероятности нахождения физической вличины.
- •Волновая функция
- •Определение 1.
- •Волновая функция. Определение 2.
- •Измеримость физической величины
- •Редукция волнового пакета
- •Оператор импульса
- •Квантовые скобки Пуассона
- •Оператор эволюции
- •Стационарные состояния
- •Уравнение неразрывности
- •Примеры гамильтонианов
- •Представление Гейзенберга (Werner Heisenberg)
- •Операторы координаты и импульса представлении Гейзенберга
- •Уравнения Эренфеста (Paul Ehrenfest)
- •Минимизирующий волновой пакет
- •Расплывание минимизирующего волнового пакета
- •Расплывание минимизирующего волнового пакета. Пример свободной частицы.
- •Матричное представление операторов
- •Простейшие модели
- •Одномерное движение
- •Качественный анализ спектра гамильтониана.
- •Прямоугольная потенциальная яма
- •Прямоугольный потенциальный барьер
- •Гармонический осциллятор
- •Когерентные состояния гармонического осциллятора
- •Дижение в центральном поле
- •Оператор орбитального момента
- •Операторы сдвига и поворота
- •Инверсия
- •Оператор орбитального момента в сферических координатах
- •Оператор момента
- •Шаровые спиноры (spinor spherical harmonics)
- •Шаровые векторы (vector spherical harmonics)
- •Движение в центральном поле
- •Движение в кулоновском поле. Дискретный спектр
- •1s-электрон
- •Свободная частица как частица в центральном поле
- •Уравнение Дирака
- •Уравнение Дирака для свободной частицы
- •Спектр и стационарные состояния уравнения Дирака для свободного электрона
- •Полный угловой момент электрона
- •Зарядовое сопряжение
- •Нерелятивистский предел уравнения Дирака. Уравнение Паули.
- •Уравнение неразрывности для уравнения Дирака
- •Радиальное уравнение Дирака
- •Уравнение Дирака с кулоновским полем. Дискретный спектр
- •Стационарная теория возмущений
- •Квазивырожденная стационарная теория возмущений
- •Низший порядок теории возмущений для случая двух квазивырожденных уровней
- •Эффект Зеемана. Бесспиновая частица
- •Аномальный эффект Зеемана
- •Эффект Штарка
- •Квадратичный эффект Штарка
- •Линейный эффект Штарка
- •Теория нестационарных возмущений
- •Квантовые переходы под действием гармонического во времени возмущения
- •Квантовые переходы под влиянием возмущения, действующего в течение конечного времени
- •Движение в магнитном поле
- •Спин в магнитном поле
- •Движение в однородном магнитном поле
- •Фаза Берри
- •Плотность потока вероятности и векторный потенциал
- •Теория рассеяния
- •Рассеяние микрочастиц
- •Формула Борна
- •Рассеяние заряженных частиц на экранированном кулоновском потенциале (потенциале Юкавы)
- •Рассеяние заряженных частиц атомами
- •Метод парциальных волн
- •Эффект Рамзауера
- •Квантовая задача многих тел
- •Система тождественных частиц. Принцип Паули.
- •Одночастичное приближение
- •Матрица плотности
- •Матрица плотности
- •Свойства матрицы плотности. Статистический оператор
- •Квантовое уравнение Лиувилля
- •Матрица плотности подсистемы
- •Введение в теорию молекул
- •Система двух электронов
- •Молекула водорода. Ковалентная связь
- •Уравнение Хартри-Фока
- •Детерминант Слэтера
- •Вариационный принцип
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
