Formalismo de Keldysh


F. P. Marín
> <
Menu

Ecuaciones de Kadanoff-Baym. Ejemplo: Bosones

|n + 1> |n> |1> |0>
Ilustración de un oscilador armónico simple ( representado en energías por las lineas horizontales ) interactuando con un gas de bosones ( círculos ): Un oscilador armónico en presencia de un reservorio de bosones.
El objeto de la presente nota es estudiar la variación de energía $$ {\cal P}\pars{t} \equiv \totald{\angles{\varepsilon\,a\+\pars{t}a\pars{t}}}{t} $$ del oscilador armónico bajo la acción de un reservorio de bosones.

Con este ejemplo queremos mostrar el uso de las ecuaciones de Kadanoff-Baym las cuales se derivan directamente sin recurrir al formalismo de Keldysh.

El hamiltoniano del sistema viene dado por

\begin{equation} H\ =\ \ob{\varepsilon a\+a}{\mbox{Oscilador Armónico}}\ +\ \ob{\sum_{\vec{k}}\omega_{\vec{k}}b_{\vec{k}}\+ b_{\vec{k}}} {\mbox{Bosones Libres}}\ +\ \ob{{\cal V}\sum_{\vec{k}}\pars{a\+ b_{\vec{k}} + b_{\vec{k}}\+ a}} {\mbox{Interacción}} \end{equation} donde $\varepsilon > 0,\ \omega_{\vec{k}} > 0$ y $$ \bracks{a,a\+} = 1\,,\quad \bracks{b_{\vec{k}},b_{\vec{q}}} = 0\,,\quad \bracks{b_{\vec{k}},b_{\vec{q}}\+} = \delta_{\vec{k}\vec{q}}\,,\quad \bracks{a,b_{\vec{k}}} = 0\,,\quad \bracks{a,b_{\vec{k}}\+} = 0 $$ ${\cal V}$ es la constante de acoplamiento. \begin{align*} {\cal P}\pars{t} & = \varepsilon\,\totald{\angles{a\+\pars{t}a\pars{t}}}{t} = \varepsilon\braces{-\,{\ic \over \hbar}\, \angles{\bracks{a\+\pars{t}a\pars{t},H\pars{t}}}} \\[3mm] & = -\ic\,{\varepsilon \over \hbar}\, \angles{\bracks{a\+\pars{t}a\pars{t},{\cal V}\sum_{\vec{k}}\braces{% a\+\pars{t}b_{\vec{k}}\pars{t} + b_{\vec{k}}\+\pars{t}a\pars{t}}}} \\[3mm] & = -\ic\,{\varepsilon \over \hbar}\sum_{\vec{k}} \angles{{\cal V}\bracks{% a\+\pars{t}b_{\vec{k}}\pars{t} - b_{\vec{k}}\+\pars{t}a\pars{t}}} \\[3mm] & = -\ic\,{\varepsilon \over \hbar}\,{\cal V}\sum_{\vec{k}}\bracks{% \angles{a\+\pars{t}b_{\vec{k}}\pars{t}} - \angles{b_{\vec{k}}\+\pars{t}a\pars{t}}} \end{align*}
\begin{equation} {\cal P}\pars{t} = {2\varepsilon \over \hbar}\,{\cal V}\,\Im\sum_{\vec{k}} \angles{a\+\pars{t}b_{\vec{k}}\pars{t}} \label{defP0BB} \end{equation}

Introduzcamos la función de Green ( Kadanoff-Baym )

\begin{equation} {\rm F}_{\vec{k}}\pars{t,t'} \equiv -\ic\angles{a\+\pars{t}b_{\vec{k}}\pars{t'}} \label{defFkBB} \end{equation} la cual corresponde a una función de Green-Keldysh mayor.
\begin{equation} {\cal P}\pars{t} = {2\varepsilon \over \hbar}\,{\cal V}\,\Re\sum_{\vec{k}} {\rm F}_{\vec{k}}\pars{t,t} \label{defP1BB} \end{equation}
${\rm F}_{\vec{k}}\pars{t,t'}$ $\pars{~\mbox{ver definición}\ \eqref{defFkBB}~}$ satisface la ecuación de movimiento \begin{align*} \ic\,\partiald{{\rm F}_{\vec{k}}\pars{t,t'}}{t} & = \angles{\totald{a\+\pars{t}}{t}\,b_{\vec{k}}\pars{t'}} = \angles{-\ic\bracks{a\+\pars{t},H}b_{\vec{k}}\pars{t'}} \\ & = -\ic\angles{\bracks{-\varepsilon a\+\pars{t} - {\cal V}\sum_{\vec{q}}b_{\vec{q}}\+\pars{t}}b_{\vec{k}}\pars{t'}}\,, \qquad\hbar = 1 \end{align*}
\begin{equation} \pars{\ic\,\partiald{}{t} + \varepsilon}{\rm F}_{\vec{k}}\pars{t,t'} = -{\cal V}\sum_{\vec{q}}{\rm G}_{\vec{q}\vec{k}}\pars{t,t'} \label{FvsGBB} \end{equation}
\begin{equation} \mbox{donde}\quad{\rm G}_{\vec{q}\vec{k}}\pars{t,t'} \equiv -\ic\angles{b_{\vec{q}}\+\pars{t}b_{\vec{k}}\pars{t'}} \label{defGqk100BB} \end{equation} la cual satisface \begin{align*} \ic\partiald{{\rm G}_{\vec{q}\vec{k}}\pars{t,t'}}{t} & = \angles{\totald{b_{\vec{q}}\+\pars{t}}{t}\,b_{\vec{k}}\pars{t'}} = \angles{-\ic\bracks{b_{\vec{q}}\+\pars{t},H}b_{\vec{k}}\pars{t'}} \\ & = -\ic \angles{\bracks{-\omega_{\vec{q}}b_{\vec{q}}\+\pars{t} - {\cal V}a\+\pars{t}}b_{\vec{k}}\pars{t'}} \end{align*}
\begin{equation} \pars{\ic\,\partiald{}{t} + \omega_{\vec{q}}} {\rm G}_{\vec{q}\vec{k}}\pars{t,t'} = - {\cal V}{\rm F}_{\vec{k}}\pars{t,t'} \label{GvsFBB} \end{equation}
\eqref{FvsGBB} y \eqref{GvsFBB} son ecuaciones acopladas para ${\rm F}_{\vec{k}}\pars{t,t'}$ y ${\rm G}_{\vec{q}\vec{k}}\pars{t,t'}$: \begin{align} \pars{\ic\,\partiald{}{t} + \varepsilon}{\rm F}_{\vec{k}}\pars{t,t'} & = -{\cal V}\sum_{\vec{q}}{\rm G}_{\vec{q}\vec{k}}\pars{t,t'} \label{acoplada0BB} \\ \pars{\ic\,\partiald{}{t} + \omega_{\vec{q}}} {\rm G}_{\vec{q}\vec{k}}\pars{t,t'} & = - {\cal V}{\rm F}_{\vec{k}}\pars{t,t'} \label{acoplada1BB} \end{align} Ecs. \eqref{acoplada0BB} y \eqref{acoplada1BB} pueden ser reescritas en la forma: \begin{align} \pars{\ic\,\partiald{}{t} + \varepsilon} \bracks{{\rm F}_{\vec{k}}\pars{t,t'} - {\rm f}_{\vec{k}}\pars{t,t'}} & = - {\cal V}\sum_{\vec{q}}{\rm G}_{\vec{q}\vec{k}}\pars{t,t'} \label{acoplaGgF100BB} \\[3mm] \pars{\ic\,\partiald{}{t} + \omega_{\vec{q}}} \bracks{{\rm G}_{\vec{q}\vec{k}}\pars{t,t'} - {\rm g}_{\vec{q}\vec{k}}\pars{t,t'}} & = - {\cal V}{\rm F}_{\vec{k}}\pars{t,t'} \label{acoplaGgF1000BB} \end{align} donde $\pars{~\mbox{ver definiciones}\ \eqref{defFkBB}\ \mbox{y}\ \eqref{defGqk100BB}~}$ \begin{align} {\rm f}_{\vec{k}}\pars{t,t'} & = {\rm F}_{\vec{k}}\pars{t,t'}_{{\cal V}\ =\ 0} = -\ic\angles{a\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}}_{{\cal V}\ =\ 0} \expo{\ic\bracks{\varepsilon\pars{t - t_{0}} - \omega_{\vec{k}}\pars{t' - t_{0}}}} \label{deffkttp85467BB} \\[3mm] {\rm g}_{\vec{q}\vec{k}}\pars{t,t'} & = {\rm G}_{\vec{q}\vec{k}}\pars{t,t'}_{{\cal V}\ =\ 0} = -\ic\angles{b_{\vec{q}}\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}} _{{\cal V}\ =\ 0} \expo{\ic\bracks{\omega_{\vec{q}}\pars{t - t_{0}} - \omega_{\vec{k}}\pars{t' - t_{0}}}} \label{defgqkttp76844BB} \end{align} $t_{0}$ es el Instante Inicial.
Note que $\angles{a\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}}_{{\cal V}\ =\ 0}$ y $\angles{b_{\vec{q}}\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}}$ son valores medios en el instante inicial $t_{0}$ $\pars{~\mbox{cuando}\ {\cal V = 0~}}$. $\angles{\cdots} \equiv \trace\pars{\rho\pars{t_{0}}\ldots}$ donde $\rho\pars{t_{0}}$ es la matriz densidad en el instante inicial $t_{0}$.

Ecs. \eqref{acoplaGgF100BB} y \eqref{acoplaGgF1000BB} son reescritas en la forma integral

\begin{align} {\rm F}_{\vec{k}}\pars{t,t'} & = {\rm f}_{\vec{k}}\pars{t,t'} + \int_{-\infty}^{\infty}{\rm g}\pars{t - t''}\bracks{% -{\cal V}\sum_{\vec{q}}{\rm G}_{\vec{q}\vec{k}}\pars{t'',t'}}\,\dd t'' \label{GvsFint3006BB} \\[3mm] {\rm G}_{\vec{q}\vec{k}}\pars{t,t'} & = {\rm g}_{\vec{q}\vec{k}}\pars{t,t'} + \int_{-\infty}^{\infty}{\rm g}_{\vec{q}}\pars{t - t''}\bracks{% -{\cal V}{\rm F}_{\vec{k}}\pars{t'',t'}}\,\dd t'' \label{GvsFint3876BB} \end{align} donde \begin{align} {\rm g}\pars{t} & \equiv \ic\Theta\pars{-t}\expo{\ic\varepsilon t}\,,\quad \pars{\ic\,\partiald{}{t} + \varepsilon}{\rm g}\pars{t} = \delta\pars{t} \label{defgttp4678990BB} \\[3mm] {\rm g}_{\vec{q}}\pars{t} & = \ic\Theta\pars{-t}\expo{\ic\omega_{\vec{q}}t}\,,\quad \pars{\ic\,\partiald{}{t} + \omega_{\vec{q}}} {\rm g}_{\vec{q}}\pars{t} = \delta\pars{t} \label{defgqttp3338990BB} \end{align}
Note que $\varphi\pars{t} \equiv \ic\Theta\pars{-t}\expo{\ic Et}$ satisface $$ \ic\,\partiald{\varphi\pars{t}}{t} = \delta\pars{t} - \Theta\pars{-t}\expo{\ic Et}\pars{\ic E} $$ $$ \mbox{tal que}\ \pars{\ic\,\partiald{}{t} + E}\varphi\pars{t} = \delta\pars{t} $$
. Con la substitución de la expresión \eqref{GvsFint3876BB} en la Ec. \eqref{GvsFint3006BB}, esta se reduce a \begin{align} {\rm F}_{\vec{k}}\pars{t,t'} & = {\rm f}_{\vec{k}}\pars{t,t'} \nonumber \\[3mm] & - {\cal V}\int_{-\infty}^{\infty}{\rm g}\pars{t - t''} \sum_{\vec{q}}\bracks{% {\rm g}_{\vec{q}\vec{k}}\pars{t'',t'} -{\cal V} \int_{-\infty}^{\infty}{\rm g}_{\vec{q}}\pars{t'' - t'''} {\rm F}_{\vec{k}}\pars{t''',t'}\,\dd t'''}\,\dd t'' \nonumber \\[5mm] & = {\rm f}_{\vec{k}}\pars{t,t'} - {\cal V}\int_{-\infty}^{\infty}{\rm g}\pars{t - t''} \sum_{\vec{q}}{\rm g}_{\vec{q}\vec{k}}\pars{t'',t'}\,\dd t'' \nonumber \\[3mm] & + \int_{-\infty}^{\infty}\int_{-\infty}^{\infty} {\rm g}\pars{\bracks{t - t'''} - t''}\bracks{{\cal V}^{2}\sum_{\vec{q}} {\rm g}_{\vec{q}}\pars{t''}}{\rm F}_{\vec{k}}\pars{t''',t'}\, \dd t'''\,\dd t'' \end{align}
\begin{align} {\rm F}_{\vec{k}}\pars{t,t'} & = {\rm f}_{\vec{k}}\pars{t,t'} - {\cal V}\int_{-\infty}^{\infty}{\rm g}\pars{t - t''} \sum_{\vec{q}}{\rm g}_{\vec{q}\vec{k}}\pars{t'',t'}\,\dd t'' \nonumber \\[3mm] & + \int_{-\infty}^{\infty} {\rm K}\pars{t - t''}{\rm F}_{\vec{k}}\pars{t'',t'}\,\dd t'' \label{ecintFkttp9876BB} \\[5mm] {\rm K}\pars{t} & \equiv \int_{-\infty}^{\infty} {\rm g}\pars{t - t'}\Sigma\pars{t'} \,\dd t' \label{defKttpBB} \\[3mm] \Sigma\pars{t} & \equiv {\cal V}^{2}\sum_{\vec{q}}{\rm g}_{\vec{q}}\pars{t} \label{defSigmat89999BB} \end{align}
La Transformada de Fourier de ${\rm K}\pars{t - t'}$ $\pars{~\mbox{definición}\ \eqref{defKttpBB}~}$ viene dada por ( ver Apéndice Utilidades ) $$ {\rm K}\pars{\omega,\omega'} = 2\pi\delta\pars{\omega - \omega'}{\rm g}\pars{\omega}\Sigma\pars{\omega} $$ tal que $\pars{~\mbox{ver Ec.}\ \eqref{ecintFkttp9876BB}~}$ $$ {\rm F}_{\vec{k}}\pars{\omega,\omega'} = \fermi_{\vec{k}}\pars{\omega,\omega'} - {\cal V}{\rm g}\pars{\omega} \sum_{\vec{q}}{\rm g}_{\vec{q}\vec{k}}\pars{\omega,\omega'} + {\rm g}\pars{\omega}\Sigma\pars{\omega} {\rm F}_{\vec{k}}\pars{\omega,\omega'} $$
\begin{equation} {\rm F}_{\vec{k}}\pars{\omega,\omega'} = {\fermi_{\vec{k}}\pars{\omega,\omega'}/{\rm g}\pars{\omega} - {\cal V}\sum_{\vec{q}}{\rm g}_{\vec{q}\vec{k}}\pars{\omega,\omega'} \over 1/{\rm g}\pars{\omega} - \Sigma\pars{\omega}} \label{solgenFkoopBB} \end{equation}
\begin{equation} {\cal P}\pars{t} = {2\varepsilon \over \hbar}\,{\cal V}\,\Re\sum_{\vec{k}} \int_{-\infty}^{\infty}\int_{-\infty}^{\infty} {\rm F}_{\vec{k}}\pars{\omega,\omega'}\expo{-\ic\pars{\omega - \omega'}t} \,{\dd\omega\,\dd\omega' \over \pars{2\pi}^{2}}\,,\quad \pars{~\mbox{ver}\ \eqref{defP1BB}~} \label{defP0653456BB} \end{equation}
Note que ( ver Apéndice Utilidades )
Exploraremos los modelos siguientes de $\dos_{\rm B}\pars{\omega}$ en la elaboración de ejemplos particulares. $\Omega$ es el Volumen del Sistema.

En la continuación del presente ejemplo consideraremos situaciones donde $\angles{a\+ b_{\vec{k}}}_{{\cal V}\ =\ 0} = 0$. En tal caso, ${\cal P}\pars{t}$ se reduce a $\pars{~\mbox{ver Ec.}\ \eqref{solgenFkoopBB}~}$

\begin{align*} {\cal P}\pars{t} & = {2\varepsilon \over \hbar}\,{\cal V}\,\Re\sum_{\vec{k}} \int_{-\infty}^{\infty}\int_{-\infty}^{\infty} \\[3mm] & {-{\cal V}\sum_{\vec{q}}\bracks{% -\pars{2\pi}^{2}\ic \angles{b_{\vec{q}}\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}} _{{\cal V}\ =\ 0} \expo{\ic\pars{\omega_{\vec{k}} - \omega_{\vec{q}}}t_{0}} \delta\pars{\omega + \omega_{\vec{q}}} \delta\pars{\omega' + \omega_{\vec{k}}}} \over \omega + \varepsilon - \ic\pi{\cal V}^{2}\dos_{\rm B}\pars{-\omega}}\, \times \\[3mm] & \phantom{\mbox{}=\mbox{}} \expo{-\ic\pars{\omega - \omega'}t} \,{\dd\omega\,\dd\omega' \over \pars{2\pi}^{2}} \end{align*}
\begin{align} {\cal P}\pars{t} & = {2\varepsilon \over \hbar}\,{\cal V}^{2}\,\Im\sum_{\vec{k}\vec{q}} \angles{b_{\vec{q}}\+\pars{t_{0}}b_{\vec{k}}\pars{t_{0}}} _{{\cal V}\ =\ 0}\, {\expo{\ic\pars{\omega_{\vec{q}} - \omega_{\vec{k}}}\pars{t - t_{0}}} \over \omega_{\vec{q}} - \varepsilon + \ic\Gamma\pars{\omega_{\vec{q}}}} \label{Ptfinal0BB} \\[3mm] \Gamma\pars{\omega} & \equiv \pi{\cal V}^{2}\dos_{\rm B}\pars{\omega} \end{align} Con las expresiones \eqref{DmsBB} y \eqref{DmstarBB}: \begin{align} \Gamma_{\rm s}\pars{\omega} & \equiv \pi{\cal V}^{2}\dos_{\rm s}\pars{\omega} = \alpha_{\rm s}\omega^{2} \,,\qquad \alpha_{\rm s} \equiv \Omega\,{{\cal V}^{2} \over 2\pi s^{3}} \label{gammasBB} \\[3mm] \Gamma_{\rm m^{*}}\pars{\omega} & \equiv \pi{\cal V}^{2}\dos_{\rm m^{*}}\pars{\omega} = \alpha_{\rm m^{*}}\omega^{1/2} \,,\qquad \alpha_{\rm m^{*}} \equiv \Omega\,{{\cal V}^{2}{m^{*}}^{3/2} \over \raiz{2}\pi} \label{gammamstarBB} \end{align}

Algunos Casos Particulares

> <
Menu