Квантовая механика и интегралы по траекториям
Шрифт:
Другим триумфом на заре квантовой механики было объяснение Эйнштейном и Дебаем температурной зависимости теплоёмкости твёрдых тел. Эта зависимость тоже вытекает из соотношения (10.85), с той лишь разницей, что осцилляторами теперь должны быть нормальные моды кристалла, описанные в гл. 8. Подобно выражению (10.87), тепловая энергия в единице объёма такого кристалла (без учёта нулевой энергии) будет равна
U
=
3p мод
h(k)
exp[h(k)/kT]
d^3k
(2)^3
,
(10.90)
где (k) —
Следствия из выражения (10.90), изученные в различных приближениях Эйнштейном и Дебаем, хорошо объяснили основные особенности температурной зависимости теплоёмкости и, в частности, её поведение при низких температурах, которое находилось в прямом противоречии с предсказаниями классической физики. Сегодня, подставив в выражение (10.90) более точный фононный спектр (k), мы имеем вполне удовлетворительное описание той части теплоёмкости твёрдых тел, которая обязана колебаниям атомов.
§ 5. О формулировке основных законов теории
Все предыдущее изложение статистической механики оставляет желать много лучшего. Основной принцип, утверждающий, что вероятность найти систему в состоянии с энергией E пропорциональна e– E/kT, обычно выводят из рассмотрения взаимодействия сложных систем в течение длительных промежутков времени. Однако при этом возникает связанный с нашим подходом один интересный вопрос.
Обсуждение физики в этой книге мы начали с формулировки законов квантовой механики, применяя для этого метод интегрирования по траекториям (см. гл. 2). Проследим теперь, к чему приведёт точка зрения, согласно которой такая формулировка как раз и является фундаментальной. В этом случае оказывается, что статистические свойства системы, квантовое поведение которой описано интегралом по траекториям, выражаются функцией распределения Z. В свою очередь эта функция также может быть выражена в виде некоторого интеграла по траекториям, очень схожего и тесно связанного с квантовомеханическим интегралом; подобная вещь проделана в соотношении (10.77). Однако для этого не требуется ни понятия волновой функции, ни существования стационарных состояний, ни вышеупомянутой гипотезы о длительном взаимодействии,— ничего из того, что было необходимо для вывода функции распределения в виде (10.1), зависящем от энергии уровней Ei. В заключение вернёмся к формулировке Z с использованием исходного интеграла по траекториям. Существует ли какая-нибудь возможность получить для любой равновесной системы выражение Z прямо через интеграл по траекториям, описывая таким путём изменение её состояний во времени? Если да, то мы ещё це знаем, как это сделать.
Можно было бы спросить: а зачем это нужно? Это все равно что показывать своё умение плавать с заложенными за спину руками. В конце концов вы знаете, что энергетические уровни существуют. Единственным оправданием для такой попытки избавиться от их упоминания послужила бы возможность более глубокого понимания физических процессов или возможность привлечения более мощных статистических методов. Во всяком случае, разобраться в этом было бы интересно.
Отсюда и возникла идея — получить хорошо известный вариационный принцип, позволяющий вычислить наименьшую энергию системы непосредственно из исходной формулировки интеграла по траекториям, а не косвенно (из уравнения Шрёдингера).
Однако (если так предпочтительнее) можно думать, что наша приверженность к определённому способу вычислений вызвана чисто академической заинтересованностью в методах классической физики. Пусть имеется система, подчиняющаяся принципу наименьшего действия, и её действие определено соотношением
S
=
1
2
mx^2
dt
+
k
2
x(t)
x(t+a)
dt
,
(10.91)
так что уравнением её движения будет
mx
=
k
2
[
x(t+a)
+
x(t-a)
].
Здесь возникает любопытная ситуация, когда на систему действует сила, зависящая от полусуммы её прошлого и будущего положений. Для уравнения (10.92) существуют экспоненциально растущие решения, но мы условимся считать допустимыми лишь те движения, при которых x остаётся конечным и в далёком прошлом, и в отдалённом будущем. Заметим, что если закон действия сформулирован в виде S=0, то отбрасываемые нами решения так или иначе исключаются, поскольку на все вариации траекторий накладывается условие x->0 при t->±.
Для такой системы можно записать некоторое выражение, описывающее сохранение энергии, потому что уравнения движения не зависят от времени. (Ни один простой гамильтониан не даёт уравнений движения.) Возможно, что свойства системы позволяют ей подвергаться воздействию молекул газа и так достигать теплового равновесия. Зададимся вопросом: каковы средние значения параметров системы, которая подчиняется уравнению движения (10.92), удовлетворяющих граничным условиям на бесконечности, когда система находится в равновесии при температуре T? Возможно, что такая задача неразрешима или, быть может, её легко решить лишь в данном конкретном случае, когда уравнения движения линейны. Однако наша цель — выяснить, действительно ли для формулировки классической статистической механики необходимо существование гамильтониана и импульса или же можно изучать более широкий класс механических систем, для которых уравнения движения наиболее просто выводятся из принципа наименьшего действия, даже если функция действия содержит не только мгновенные положения и скорости частиц системы.
Этот вопрос представляет собой классический аналог нашего более интересного вопроса: каким образом в случае равновесного состояния системы мы переходим от описания её механических свойств, выраженного через интегралы по траекториям, к такому же описанию с точки зрения статистической механики.
Задача 10.9. Покажите, что выражение
F(t)
=
1
2
m[x(t)]^2
–
k
2
x(t)
x(t+a)
+
k
2
t+a
t
x(t'-a)
x(t')
dt'
(10.93)
является энергией для уравнения движения (10.92) и представляет собой сохраняющуюся величину.
Вообще для любого функционала действия S, не содержащего времени явным образом (т.е. инвариантный относительно преобразования t->t+const) существует выражение для энергии E(T) в момент T, которая будет сохраняющейся величиной. Это выражение можно найти, отыскивая в первом приближении изменение действия S при замене всех траекторий x(t) на x[t+(t)], где (t)=+/2 для t>T и (t)=-/2 для t<T при постоянном . В случае бесконечно малого S равно E(T).