Русская Википедия:Температурные функции Грина
Температурные функции Грина являются некоторой модификацией функций Грина для квантовомеханических систем с температурой отличной от нуля. Они удобны для вычисления термодинамических свойств системы, а также содержат информацию о спектре квазичастиц и о слабонеравновесных кинетических явлениях.
В системах со взаимодействием может быть построена соответствующая диаграммная техника для температурных функций Грина. Эта техника широко используется для изучения фазовых переходов (сверхпроводимость, сверхтекучесть, точка Кюри) в различных системах. Исследование подобных систем является нетривиальной задачей. Для описания самого механизма перехода и состояния ниже точки перехода модель невзаимодействующих частиц непригодна. Здесь решающую роль играет межчастичное взаимодействие. Учёт подобного взаимодействия значительно усложняет используемый математический аппарат. Аппарат температурных функций Грина можно развивать в двух эквивалентных формулировках: с помощью квантовомеханических операторов либо в методе функциональных интегралов. Одним из плюсов последнего метода является отсутствие проблем некоммутативности операторов поля и разного рода упорядочиваний. [1]
Операторный подход
Определение температурных функций Грина
Введём мацубаровские <math>\hat{\Psi}</math> — операторы в «гейзенберговском представлении» соотношениями[2]:
В более общем случае эти операторы могут иметь спиновые индексы. В этих формулах <math>\tau</math> — вещественная переменная <math> \tau\in (0, 1/T) </math>, поэтому операторы <math> \hat{\Psi}(\tau,\mathbf{r}) </math> и <math> \hat{\Psi}^\dagger(\tau,\mathbf{r}) </math> не являются эрмитово-сопряженными, <math>\mu</math> — химический потенциал системы, <math>\hat{H}</math> — гамильтониан системы, <math>\hat{N}=\int d\mathbf{r}\hat{\psi}^{+}(\mathbf{r}) \hat{\psi}(\mathbf{r})</math> — оператор числа частиц. Операторы <math> \hat{\psi}(\mathbf{r}) </math> и <math> \hat{\psi}^{+}(\mathbf{r}) </math> эрмитово-сопряженный операторы поля в шрёденгеровском представлении. Видно, что «гейзенберговское представление» мацубаровских операторов отличается от настоящего гейзенберговского представления заменой в последнем <math> t \rightarrow -i\tau</math>, то есть формально это можно понимать как переход ко мнимому времени. Температурная функция Грина определяется следующим образом:
где символ <math>T_{\tau}</math> означает «<math>\tau</math> — хронологизацию» — расположение операторов слева на право в порядке убывания <math>\tau</math>. В случае ферми-частиц перестановка между собой операторов приводит к изменению общего знака.[3] С помощью этой функции можно вычислить число частиц как функцию химического потенциала, или химический потенциал, как функцию концентрации и температуры: <math> N = \pm \int d\mathbf{r} G(\tau,\mathbf{r}; \tau + 0,\mathbf{r}). </math>
Случай свободных частиц
Гамильтониан свободной системы, выраженный через шрёдингеровские операторы поля, имеет вид[4]:
в представлении вторичного квантования он же запишется следующим образом:
что следует из определения <math>\hat{\psi}</math>-операторов:
Температурная функция Грина свободных частиц в импульсно-«временном» представлении :
здесь <math>\xi_0(\mathbf{p})=\varepsilon_0(\mathbf{p})-\mu, \quad \beta = 1/T. </math>
Взаимодействующие частицы
Предположим, что на систему частиц не действуют внешние поля, а межчастичные взаимодействия носят парный характер. Гамильтониан системы представим в виде: <math>\hat{H} =\hat{H}_0+\hat{H}_{int}. </math> Введём мацубаровские операторы в представлении взаимодействия соотношениями[5]:
Возмущённая часть гамильтониана выраженный через <math>\hat{\Phi}</math> — операторы имеет вид:
Через эти же операторы можно определить температурную функцию Грина:
Такая запись позволяет разложить экспоненту с возмущением и вычислять температурную функцию Грина в виде ряды, а каждый член ряда изображать графически в виде диаграммы.
Элементы Диаграммы | Аналитическое выражение | ||
---|---|---|---|
название | изображение | ||
1 | Сплошная линия | gren1 | <math>G_0(\mathbf{r}_1-\mathbf{r}_2, \tau_1-\tau_2)</math> |
2 | Сплошная линия | gren2 | <math> G_0(\mathbf{r}_2-\mathbf{r}_1, \tau_2-\tau_1) </math> |
3 | Волнистая линия | gren3 | <math>\mathfrak{U}(x_1-x_2)= U(\mathbf{r}_1-\mathbf{r}_2)\delta(\tau_1-\tau_2) </math> |
4 | Изобразить все связные топологически неэквивалентные диаграммы с 2n вершинами и двумя внешними концами, причем в каждой вершине сходится две сплошные и одна волнистая линия. | ||
5 | Производится интегрирование по координатам (<math> d^4 z = d\mathbf{r}d\tau </math>) каждой вершины. | ||
6 | Полученное выражение умножается на <math> (-1)^{n+F} </math>, n-порядок диаграммы, F-число замкнутых фермионных петель в ней. |
Пользуясь этими правилами изобразим поправку первого порядка по возмущению к температурной функции Грина взаимодействующих частиц. Для этого нужно ограничиться линейным членом в разложение экспоненты. Тогда, привлекая во внимание теорему Вика, нарисуем все связные (любые две точки на диаграмме можно соединить линией) диаграммы первого порядка:
Соответствующее аналитическое выражение, например, для диаграммы 2 запишется следующим образом:
Для расчётов координатное представление оказывается неудобным, поэтому всю диаграммную технику проще сформулировать в импульсно-частотном представлении, пользуясь обычными правилами фурье-анализа. В таком представлении аналитическое выражение рассматриваемой диаграммы примет вид:
где функция Грина свободной системы имеет вид[6]:
Элементы Диаграммы | Аналитическое выражение | ||
---|---|---|---|
название | изображение | ||
1 | Сплошная линия | grenp | <math> G_0(\mathbf{p},\omega_n) </math> |
3 | Волнистая линия | poten | <math>\mathfrak{U}(\mathbf{p},\omega_n)= U(\mathbf{p})</math> |
4 | Сопоставить линиям диаграммы внешние импульсы и частоты. Импульсы и частоты внутренних линий в каждой вершине должны удовлетворять законам сохранения <math> \sum \mathbf{p}=0,\sum \omega=0 </math> | ||
5 | По всем независимым импульсам производится интегрирование, по частотам — суммирование. | ||
6 | Полученное выражение умножается на <math> (-1)^{k}\frac{T^k}{(2 \pi)^{3 k }} (2 s+1)^F (\mp)^F </math>, k-порядок диаграммы, F-число замкнутых петель в диаграмме, s — спин частицы. |
В простейшем случае (Л.Ландау) потенциал можно взять в виде <math> U(\mathbf{r}_1-\mathbf{r}_2) \sim \delta(\mathbf{r}_1-\mathbf{r}_2), , </math> что соответствует нулевому радиусу взаимодействия. Графически это соответствует стягиванию двух точек, которые соединены волнистой линией в одну.
Метод функционального интегрирования
При переходе от классической статистической механики к квантовой, интегрирование по канонически сопряженным переменным <math> p, q </math> заменяется на след, то есть на сумму по состояниям.[7] Таким образом, статистическая сумма квантовой системы с оператором Гамильтона <math>\hat{H}</math> определяется как
Видно, что член под знаком суммы похож на матричный элемент оператора эволюции с точностью до замены <math>t\rightarrow - i\beta</math>. Этот матричный элемент дается формулой Фейнмана-Каца[8]:
Обратим внимание на то, что в функциональном интеграле величины <math> p, q, H(p,q)</math> являются классическими функциями, и при дальнейших вычислениях не возникает проблемы с коммутационными соотношениями. Сделаем в этой формуле поворот Вика и отождествим <math> q \sim \psi(x,\tau), p \sim i\psi^{+}(x,\tau) </math>, тогда выражений для статистической суммы преобразится к виду:
B.C. = \begin{cases} \psi(x,\tau)=\psi(x,\tau+\beta), & \text{Bose} \\ \psi(x,\tau)=-\psi(x,\tau+\beta), & \text{Fermi} \end{cases},</math>
где <math>S_{\beta}</math> действие температурной теории, интегрирование ведётся по полям с соответствующими граничными условиями (B.C.) В случае идеального газа
Парное взаимодействие можно учесть в виде члена типа плотность-плотность[9]
Как было сказано выше объекты <math> \psi(x,\tau), \psi^{+}(x,\tau) </math> не являются полевыми операторами. В случае фермионов они являются грассмановыми функциями, что является наследием антисимметричности фермионных волновых функций.
Определение температурной функции Грина
Определим функцию Грина как среднее от произведения нескольких полей с весом <math>\exp(-S_{\beta})</math>.[10] Так парная корреляционная функция даётся выражением
Для корректного определения этого объекта, как можно показать, нужно доопределение <math> G(x,x',\tau = \tau') = G(x,x',\tau=\tau'+0).</math>
Случай свободных частиц
Вычислим функцию Грина для невзаимодействующих частиц. Как известно[11], для этого нужно найти ядро оператора <math> \left(-\partial_{\tau} + \hat{H}_1 \right)^{-1}</math> c учётом граничных условий, то есть решить уравнение
Уравнение элементарно решается в <math>p - \tau</math> представлении
Как видно, эта функция Грина совпадает с функцией Грина полученной с помощью мацубаровских операторов. Доопределение этой функции при совпадающих «временах» означает, что тета-функция в нуле равна нулю.
Взаимодействующие частицы
Рассмотрим, например, бозоны с межчастичным взаимодействием типа <math>U(x-x')=\lambda\delta(x-x'), \lambda>0. </math> Для вычисления по теории возмущений разложим экспоненту со взаимодействием в ряд по параметру <math>\lambda </math> и для простоты ограничимся первым порядком[12]
Построим соответствующую диаграммную технику
Элементы Диаграммы | Аналитическое выражение | ||
---|---|---|---|
название | изображение | ||
1 | Крест | field+ | <math> \psi^{+}(x,\tau) </math> |
2 | Точка | field- | <math> \psi(x,\tau) </math> |
3 | Пропагатор | field± | <math>{\langle\psi^{+}(x,\tau)\psi(x',\tau')\rangle}_0 = G_{+,0}(x,x',\tau,\tau')</math> |
4 | Пропагатор | field-+ | <math>{\langle\psi(x',\tau')\psi^{+}(x,\tau)\rangle}_0 = G_{0,+}(x',x,\tau',\tau)</math> |
3 | Вершина | field++-- | <math> \left(\psi^{+}(x,\tau)\psi(x,\tau)\right)^2 </math> |
5 | Домножить каждую вершину на <math>(-\lambda/2)^n r/n!</math>, где n-порядок диаграммы, r-симметрийный коэффициент-число топологически эквивалентных графов. | ||
5 | По всем координатам вершин производится интегрирование. |
Изобразим в первом порядке все связные графы
.
Существует только одна диаграмма, для неё <math> r = 4 </math>. Соответствующее аналитическое выражение для поправки
это выражение в точности совпадает с полученным ранее в операторном методе. Для рассматриваемого потенциала две диаграммы 1 и 2 становятся эквивалентными, поэтому для получения однопетлевого вклада, нужно выражение для одной из диаграмм умножить на 2. Конечно и в этом случае разумно перейти в импульсное представление. Правила построения диаграмм в импульсном представлении здесь такие же, как и ранее.
Примечания
Литература
См. также
- Квантовополевая теория возмущений в статистической физике
- Критические явления
- Квантовый газ
- Квантовая теория поля
- Функциональный интеграл
- Статистическая физика
- Теория Ландау
- Теорема Вика для функционального интеграла