Главная > МАТЕМАТИЧЕСКИЕ МЕТОДЫ КВАНТОВОЙ ФИЗИКИ (Дж.Глимм, А.Джаффе)
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

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

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

Теперь мы вернемся ко второму обобщению формулы (3.2.5), а именно к «перенормированной» формуле Фейнмана – Каца. Для $H=H_{0}+V$,
\[
H_{0}=-\frac{1}{2} \Delta+\frac{1}{2} q^{2}-\frac{1}{2}
\]

и непрерывной функции $V$ определим «переномированный» гамильтониан, полагая
\[
\hat{H}=H-E_{0} .
\]

Предположим, что $H$ существенно-самосопряжен и его основным состоянием является $\Omega$; тогда константа $E_{0}$ выбирается так, чтобы $\hat{H} \Omega=0$. По теоремам 3.3 .2 и $3.3 .3 \Omega$ единствен и $\left\langle\Omega, \Omega_{0}\right\rangle
eq 0$. Используя спектральное представление для $H$
\[
e^{-t H}=\int e^{-t \lambda} d E(\lambda)
\]

получим, что
\[
\Omega\left\langle\Omega, \Omega_{0}\right\rangle=\lim _{t \rightarrow \infty} e^{-t \hat{H}} \Omega_{0}
\]

Посмотрим теперь, что означает равенство (3.4.2) в терминах функционального интегрирования. Для этого определим вероятностную меру
\[
d \mu_{t}=Z_{t}^{-1} \exp \left(-\int_{-t / 2}^{t / 2} V(q(s)) d s\right) d \varphi_{0}
\]

где мера $d \varphi_{0}$ определена в (3.2.9), а нормирующий множитель $Z_{t}$ дается формулой
\[
Z_{t}=\int \exp \left(-\int_{-t / 2}^{t / 2} V(q(s)) d s\right) d \varphi_{0} .
\]

Согласно формуле Фейнмана – Қаца, для любых моментов времени $-t / 2<t_{1} \leqslant t_{2} \leqslant \ldots \leqslant t_{n}<t / 2$ и любого набора ограниченных функций $A_{i}$ имеем
\[
\frac{\left\langle e^{-\left(t_{1}+t / 2\right) H_{0}} \Omega, A_{1} e^{-\left(t_{2}-t_{1}\right) H} A_{2} \ldots A_{n} e^{-\left(t / 2-t_{n}\right) H_{0}} \Omega_{0}\right\rangle}{\left\|e^{-t H / 2} \Omega_{0}\right\|^{2}}=\int \prod_{i=1}^{n} A_{i}\left(q\left(t_{i}\right)\right) d \mu_{t} .
\]

В силу (3.4.2) левая часть этого равенства сходится при $t \rightarrow \infty$, а возникающие в пределе множители $\left|\left\langle\Omega_{0}, \Omega\right\rangle\right|^{2}$ в числителе и знаменателе сокращаются. Таким образом, установлена
Теорема 3.4.1. Пусть Н удовлетворяет приведенным выше предположениям. Тогда
$\left\langle\Omega, A_{1} e^{-\left(t_{2}-t_{1}\right) \hat{H}} A_{2} e^{-\left(t_{3}-t_{2}\right) \widehat{H}} A_{3} \ldots A_{n} \Omega\right\rangle=$
\[
=\lim _{t \rightarrow \infty} \int \prod_{i=1}^{n} A_{i}\left(q\left(t_{i}\right)\right) d \mu_{t}(q(\cdot)) .
\]

Теперь мы можем переформулировать этот результат, вводя некоторую счетно-аддитивную меру $d \mu$ в пространстве $\mathscr{D}^{\prime}\left(R^{1}\right)$ вещественных обобщенных функций ${ }^{1}$ ) на прямой. Предел при $t \rightarrow \infty$, определяемый формулой (3.4.6), можно рассмотреть для всех моментов меры $d_{\mu}$, а также для ее преобразования Фурье. Определим (обратное) преобразование Фурье $S_{t}\{f\}$ меры $d \mu_{t}$ формулой
\[
S_{t}\{f\}=\int e^{i q(f)} d \mu_{t}, \quad f \in \mathscr{D}\left(R^{1}\right) .
\]

Функция $S_{t}\{f\}$ отображает $\mathscr{D}$ в поле скаляров $C$, т. е. является функционалом на пространстве $\mathscr{D}$. Иногда его называют порождающим или характеристическим функционалом меры $d \mu_{t}$. Легко убедиться в том, что $S_{t}\{f\}$ обладает следующими тремя свойствами:
(1) Непрерывность: $S_{t}\left\{f_{n}\right\} \rightarrow S_{t}\{f\}$ при $f_{n} \rightarrow f$ в $\mathscr{D}$ (т. е. $f_{n} \rightarrow f$ и $D^{i} f_{n} \rightarrow D^{i} f$ равномерно на компактных множествах).
(2) Положительная определенность: $\sum_{i, j=1}^{N} \bar{c}_{i} c_{j} S_{t}\left\{f_{i}-\ddot{f}_{j}\right\} \geqslant 0$ для любых последовательностей $f_{i} \in \mathscr{D}, c_{i} \stackrel{i, j=1}{\rightleftarrows}, i=1,2, \ldots, N$.
(3) Нормировка: $S_{t}\{0\}=1$.

Заметим, что если положить $A(q)=\sum_{j=1}^{N} c_{j} \exp \left[i q\left(f_{j}\right)\right]$, то свойство (2) эквивалентно неравенству $\int|A|^{2} d \mu_{t} \geqslant 0$, т. е. положительности меры $\mu_{t}$.

Обратно, любой функционал $S\{f\}$, удовлетворяющий условиям (1) – (3), всегда является преобразованием Фурье некоторой вероятностной меры на $\mathscr{D}^{\prime}$. Таким образом, свойства (1) – (3), которые наследуются и предельным функционалом $S\{f\}=\lim _{t \rightarrow \infty} S_{t}\{f\}$, позволяют убедиться в существовании меры, порождаемой функционалом $S\{f\}$. Мы сформулируем соответствующий результат для $R^{d}$.
1) Обобщенной функцией называется непрерывный линейный функционал на пространстве $\mathscr{D}$ функций класса $C^{\infty}$ с компактным носителем. Формально можно написать $q(f)=\int q(t) f(t) d t, q \in \mathscr{D}^{\prime}, f \in \mathscr{D}$. Сходимость в $\mathscr{D}$ определяется как равномерная сходимость всех производных $D^{n} f$ на компактных подмножествах $R$. Обобщенная функция $q \in \mathscr{D}^{\prime}$ определена двумя своими свойствами – линейностью и непрерывностью в нуле: $q\left(f_{n}\right) \rightarrow 0$ при $f_{n} \rightarrow 0$ в $\mathscr{D}$. Подробнее см. [Schwartz, 1950-1] или [Гельфанд, Шиловв, 1964-8, т. I].

Теорема 3.4.2 (Минлос). Пусть $S\{f\}$-функционал на $\mathscr{D}\left(R^{d}\right)$, удовлетворяющий условиям (1) – (3). Тогда существует единственная борелевская вероятностная мера $d \mu(q)$ на $\mathscr{D}^{\prime}\left(R^{d}\right)$, связанная с $S\{f\}$ при помощи преобразования Фурье:
\[
S\{f\}=\int e^{i q(f)} d \mu(q) .
\]

Замечание. Эта теорема обобщает известный результат – теорему Бохнера, в которой устанавливаются характеристические свойства преобразования Фурье борелевской вероятностной меры на $R^{N}: S(X), X \in R^{N}$, является непрерывной, положительно определенной и нормированной функцией на пространстве $R^{N}$ (рассматриваемом как сопряженное пространство к $R^{N}$ ). Доказательство теоремы Минлоса имеется в книге [Гельфанд, Виленкин, 1964]. Заметим, что если функционал $S\{f\}$ может быть непрерывно продолжен на пространство Шварца $\mathscr{P}\left(R^{d}\right)$ быстро убывающих функций:
\[
\mathscr{P}\left(R^{d}\right)=\left\{f: x^{r} D^{s} f \in L_{\infty} \text { для всех } r, s \geqslant 0\right\},
\]

то мера $d \mu$ сосредоточена на пространстве $\mathscr{D}^{\prime}\left(R^{d}\right)$ обобщенных функций умеренного роста.

Теперь мы покажем, как с помощью этой теоремы построить инвариантную относительно сдвигов по времени меру $d \mu(q(\cdot))$ на $\mathscr{D}^{\prime}(R)$. Интегрирование по этой мере дает перенормированную формулу Фейнмана – Каца: для $t_{1} \leqslant t_{2} \leqslant \ldots \leqslant t_{N}$
\[
\left\langle\Omega, A_{1} e^{-\left(t_{2}-t_{1}\right) \widehat{H}} A_{2} \ldots A_{N} \Omega\right\rangle=\int \prod_{i=1}^{N} A\left(q\left(t_{i}\right)\right) d \mu .
\]

Мы называем эту формулу перенормированной потому, что она выражает среднее по основному состоянию $\Omega$ гамильтониана $A$, a не по основному состоянию $\Omega_{0}$ гамильтониана $H_{0}$. Mера $d \mu$ строится как предел мер $d \mu_{t}$ при $t \rightarrow \infty$. Но при этом удобнее доказывать не слабую сходимость мер $d \mu_{t}$, а сходимость их преобразований Фурье $S_{t}\{f\}$ к пределу $\mathcal{S}\{f\}$, который и определяет меру $d \mu$.

Чтобы избежать технических сложностей и представить наши результаты как частный случай результатов части II, мы ограничимся функциями $V(q)$, которые имеют вид четного полинома с произвольной линейной добавкой. Следующее утверждение имеет место, однако, и для гораздо более широкого класса потенциалов $V(q)$.
Теорема 3.4.3. При указанных выше предположениях для любой функции $f \in \mathscr{D}(R)$ предел
\[
\lim _{t \rightarrow \infty} S_{t}\{f\}=S\{f\}
\]

существует и удовлетворяет условиям (1)-(3). Следовательно, на $\mathscr{D}^{\prime}(R)$ определена мера $d \mu$, для которой справедливы формулы (3.4.8-9).

Замечание. Доказательство этой теоремы будет приведено в части II. Прямое доказательство можно было бы построить по следующей схеме. Для функции $f$, такой, что supp $f \subset[\tau, T]$, положим
\[
q\left(f_{N}\right)=N^{-1} \sum_{j=1}^{N} q\left(t_{j}\right) f\left(t_{j}\right), \quad t_{j}=\tau+(T-\tau) \frac{j}{n},
\]

где $f_{N}$ – ступенчатая функция, построенная на сегментах $\left[t_{j}, t_{j+1}\right]$ и такая, что $f_{N}\left(t_{j}\right)=f\left(t_{j}\right)$. Тогда по теореме 3.4.1 существует предел $S\left\{f_{N}\right\}=\lim _{t \rightarrow \infty} S_{t}\left\{f_{N}\right\}$. Предельный переход при $N \rightarrow \infty$ может быть обоснован с помощью обобщения теоремы 3.2.2.

Укажем два свойства функционала $S\{f\}$. Он инвариантен при сдвигах по времени и отражении во времени, т. е. при заменах $t \rightarrow t+a$ и $t \rightarrow-t$, а также обладает следующим свойством положительности. Пусть $f_{t}(s)=f(s-t)$ определяет временной сдвиг функции $f$, а $(\theta f)(s)=f(-s)$ – действие в $\mathscr{D}$ отражения во времени.
Следствие 3.4.4. Характеристический функционал $S\{f\}$, задаваемыи формулой (3.4.10), обладает следующими свойствами:
1) инвариантности: $S\{f\}=S\left\{f_{t}\right\}=S\{\theta f\}$;
2) положительности при отражениях: если $f_{i}(s)$-вещественные функции, равные нулю при $s<0, i=1,2, \ldots, N$, то матрица $M_{i j}=S\left\{\theta f_{i}-f_{j}\right\}$ имеет положительные собственные значения.
Доказательство. Свойство инвариантности очевидно; положительность следует и представления (3.4.9) для $\sum_{i, j} \bar{\xi}_{i} \xi_{j} M_{i j}$.

Categories

1
Оглавление
email@scask.ru