Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике По любому гильбертову пространству $\mathscr{C}$ можно построить ассоциированное пространство Фока $\mathfrak{G}=\Gamma(\mathscr{H})$, где $\Gamma_{n}(\mathscr{C})=(\mathscr{H} \otimes \ldots \otimes \mathscr{H})_{\text {вут }}-$ симметризованная $n$-ая тензорная степень пространства $\mathscr{C}$ [17], [5]. В дальнейшем нас будет интересовать в основном случай, когда $\mathscr{H}=L^{2}\left(R_{+}\right)$пространство комплексных функций на $\mathbf{R}_{+}$, квадратично интегрируемых по мере Лебега. В этом случае можно дать прямое описание пространства Фока, не требующее знакомства с понятием тензорного произведения. Именно, пространство $\Gamma\left(L^{2}\left(\mathbf{R}_{+}\right)\right)$состоит из бесконечных последовательностей где $f_{0} \in \mathbf{C}, f_{n}\left(t_{1}, \ldots, t_{n}\right)$ – произвольная симметричная функция от $t_{1}, \ldots, t_{n}$ такая, что причем $\psi=\left[f_{n}\right]$ и $\varphi=\left[g_{n}\right]$ задается формулой ${ }^{11}$ В физике пространство Фока описывает системы, состоящие из переменного числа квантовых частиц. Пространство $\mathscr{H}$ называется одночастичным пространством. Тот факт, что $\mathscr{C}=$ $=L^{2}\left(\mathbf{R}_{+}\right)$, означает, что рассматриваются кчастицы», существующие на временной полуоси и не имеющие никаких других, скажем, пространственных, степеней свободы. Пространство $\Gamma_{n}(\mathscr{H})$, называемое $n$-частичным пространством, описывает системы из $n$ одинаковых частиц «типа $\mathscr{H}$ ». Симметричность функции $f_{n}\left(t_{1}, \ldots, t_{n}\right)$ отражает неразличимость частиц. Неразличимые частицы, описываемые симметричными функциями $f_{n}\left(t_{1}, \ldots, t_{n}\right)$, называются 603 онам и, а пространство $\Gamma(\mathscr{H})$ называется еще бозонным пространством Фока. Существует другой вид неразличимости, при котором системы из $n$ частиц описываются антисимметричными функциями. Такие частицы называются фермионами, а соответствующее им пространство Фока – фермионным. Вектор в пространстве Фока называется вакуумным вектором. где $1_{[0, t]}(s)$ – характеристическая функция отрезка $[0, t]$, а запись $f_{n-1}\left(t_{1}, \ldots, \hat{t}_{j}, \ldots, t_{n}\right)$ означает, что переменная $t_{j}$ опускается из числа аргументов функции $f_{n-1}$. Оператор $A_{t}$ переводит $\Gamma_{n} \equiv \Gamma_{n}\left(L^{2}\left(\mathbf{R}_{+}\right)\right.$в $\Gamma_{n-1}, A_{t}{ }^{+}$переводит $\Gamma_{n}$ в $\Gamma_{n+1}$, а $\Lambda_{t}$ переводит $\Gamma_{n}$ в $\Gamma_{n}$. В физике оператор $A_{t}$ описывает уничтожение, $\boldsymbol{A}_{t}{ }^{+}$- рождение бозона, а $\Lambda_{t}$ – число бозонов (до момента $t$ ). Семейство операторов $\left\{A_{t} ; t \in \mathrm{R}_{+}\right\}$в пространстве Фока 5 с ва- для всех $c>0$. В дальнейшем будем считать, что $A_{t}, A_{t}{ }^{+}, \Lambda_{t}$ определены формулами (2.2)-(2.4) на $\Gamma_{\infty}$. Непосредственно из определений вытекают следующие утверждения: операторы $A_{t}$ и $A_{t}+$ являются формально взаимно сопряженными, а оператор $\Lambda_{t}$ формально самосопряжен, т. е. Нетрудно показатъ, что $A_{t}, A_{t}^{+}$однозначно расширяются до замкнутых взаимно сопряженных операторов, а $\Lambda_{t}$ – до самосопряженного оператора (см., например, [5]). Поскольку $\Gamma_{\infty}$ – инвариантная область определения, на ней осмыслены коммутаторы операторов $A_{t}, A_{t}^{+}, \Lambda_{t}$. Из определений $(2.2)$ – (2.4) вытекают следующие соотношения коммутации на $\Gamma_{\infty}$ : где $t \wedge s$ – минимальное из чисел $t, s$, а $I$ – единичный оператор в $\mathfrak{5}$. Вместо $A_{t}, A_{t}^{+}$можно рассматривать пару формально самосопряженных операторов на $\Gamma_{\infty}$ : Операторы $Q_{t}, P_{t}$ однозначно расширяются до самосопряженных операторов (см. § 3). Из (2.6), (2.8) вытекают соотношения коммутации на $\Gamma_{\infty}$ : Соотношения (2.10), (2.7) делают правдоподобным доказываемое далее утверждение, что $\left\{Q_{t}\right\},\left\{P_{t}\right\},\left\{\Lambda_{t}\right\}$ представляют собой диагонализуемые семейства самосопряженных операторов. Таким образом, каждое из этих семейств в пространстве Фока с выделенным вакуумным вектором эквивалентно некоторому классическому случайному процессу. Соотношения (2.11), (2.12) означают, однако, что эти классические процессы находятся в «неклассических» отношениях. Прежде, чем заняться выяснением структуры процессов $Q_{t}$, $P_{t}, \Lambda_{t}$, введем еще одну систему векторов в пространстве Фока, в которой удобно производить вычисления, связанные с тройкой процессов $A_{t}, A_{t}{ }^{+}, \Lambda_{t}$. Для любото $f \in Отметим, что вакуумный вектор соответствует $f=0$. Из (2.1) следует, что Непосредственно из (2.2)-(2.4) вытекает, что Линейную оболочку семейства экспоненциальных векторов с вещественными функциями $f$ обозначим $\Gamma_{0}\left(\Gamma_{\cdot} \subset \Gamma_{\infty}\right)$. Подпространство $\Gamma_{e}$ плотно в пространстве Фока $\Gamma(\mathscr{\mathscr { C }})[17]$. означающее, что экспоненциальные векторы являются собственными векторами операторов уничтожения. В частности, Полагая в (2.16) $g=0$, находим, что
|
1 |