02KVAN2:Kapitola9: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
(Nastínění výpočtu funkcionální derivace.)
 
(Není zobrazeno 7 mezilehlých verzí od 2 dalších uživatelů.)
Řádka 2: Řádka 2:
 
\section{Partiční suma}
 
\section{Partiční suma}
  
Nezávisí-li $\hat{H}$ explicitně na čase, lze propagátor přepsat s pomocí báze $\{\ket{\psi_n}, \hat{H} \ket{\psi_n} = E_n \ket{\psi_n}\} $ na
+
Nezávisí-li $\hat{H}$ explicitně na čase, lze propagátor přepsat s pomocí báze $(\ket{\psi_j})_{j\in\mathscr{I}}$, $\hat{H} \ket{\psi_j} = E_j \ket{\psi_j} $ na
\begin{eqnarray}
+
\begin{equation*}
\prop{\vec{x}_1}{t_1}{\vec{x}_0}{t_0} & = & K(\vec{x}_1; \vec{x}_0; t_1 - t_0) = \braket{\vec{x}_1, t_1}{\vec{x}_0, t_0} \notag \\
+
  \begin{aligned}
& = & \sum_n  \braket{\vec{x}_1, t_1}{\psi_n} \braket{\psi_n}{\vec{x}_0, t_0} \notag \\
+
    \prop{\vec{x}_2}{t_2}{\vec{x}_1}{t_1} =: K(\vec{x}_2; \vec{x}_1; t_2 - t_1) &= \braket{\vec{x}_2, t_2}{\vec{x}_1, t_1} \\
& = & \sum_n \exp \left( - \frac{i}{\hbar} E_n (t_1 - t_0) \right) \psi_n(\vec{x}_1) \overline{\psi}_n(\vec{x}_0).
+
    &= \sum_n  \braket{\vec{x}_2, t_2}{\psi_n} \braket{\psi_n}{\vec{x}_1, t_1} \\
\end{eqnarray}
+
    &= \sum_n \exp \left( - \frac{i}{\hbar} E_n (t_2 - t_1) \right) \psi_n(\vec{x}_2) \overline{\psi}_n(\vec{x}_1).
Pokud se formálně označí $t_1 - t_0 = - i \beta \hbar$, dostáváme tzv. \textit{matici hustoty Gibbsova rozdělení v x-reprezentaci}
+
  \end{aligned}
\begin{equation}
+
\end{equation*}
K(\vec{x}_1; \vec{x}_0; - i \beta \hbar) = \sum_n e^{- \beta E_n} \psi_n(\vec{x}_1) \overline{\psi}_n(\vec{x}_0) = \brapigket{\vec{x}_1}{e^{-\beta \hat{H}}}{\vec{x}_0}.
+
Pokud se formálně označí $t_2 - t_1 = - i \beta \hbar$, dostáváme matici hustoty Gibbsova rozdělení v $x$-reprezentaci
\end{equation}
+
\begin{equation*}
Je tak velmi intuitivní jako partiční funkci systému o teplotě $T$ ($\beta = \frac{1}{kT} $) označit
+
K(\vec{x}_2; \vec{x}_1; - i \beta \hbar) = \sum_n e^{- \beta E_n} \psi_n(\vec{x}_2) \overline{\psi}_n(\vec{x}_1) = \brapigket{\vec{x}_2}{e^{-\beta \hat{H}}}{\vec{x}_1}.
\begin{equation}
+
\end{equation*}
Z(\beta) = \Tr{\underbrace{e^{-\beta \hat{H}}}_{\hat{\rho}}} = \int \dif^3 x K(\vec{x}; \vec{x}; - i \hbar \beta) = \sum_n e^{- \beta E_n},
+
Metody výpočtu propagátoru tedy můžeme použít pro získání tohoto objektu.
\end{equation}
+
kde na pravé straně vidíme proč právě tento objekt je partiční funkcí.
+
  
Úplně stejně jako v termodynamice se nyní může odvodit, že střední hodnoty a další momenty se dají vyjádřit jako
+
Z nezávislosti stopy na volbě báze a jejích vzorců v energetické a v $x$-reprezentaci můžeme určit partiční funkci
\begin{eqnarray}
+
\begin{equation*}
\stredni{E}_{\hat{\rho}} &=& - \frac{\partial }{\partial \beta} \ln (Z(\beta)), \\
+
Z(\beta) = \sum_n e^{- \beta E_n} = \Tr \left(e^{-\beta \hat{H}}\right) = \int \dif^3 x K(\vec{x}; \vec{x}; - i \hbar \beta),
\stredni{\left( E - \stredni{E} \right)^2}_{\hat{\rho}} &=& \frac{\partial^2 }{\partial \beta^2} \ln (Z(\beta)),\\
+
\end{equation*}
& \ldots & \notag
+
 
\end{eqnarray}
+
Úplně stejně jako ve statistické fyzice se nyní může odvodit, že střední hodnoty a další momenty se dají vyjádřit jako
 +
\begin{equation*}
 +
  \begin{aligned}
 +
    \stredni{E}_{\hat{\rho}} &= - \frac{\partial }{\partial \beta} \ln (Z(\beta)), \\
 +
    \stredni{\left( E - \stredni{E} \right)^2}_{\hat{\rho}} &= \frac{\partial^2 }{\partial \beta^2} \ln (Z(\beta)),\\
 +
    &\hskip 7pt\vdots
 +
  \end{aligned}
 +
\end{equation*}
  
 
%================================================================================
 
%================================================================================
 
\subsection{Použití k výpočtu středních hodnot pozorovatelných ve vakuovém stavu}
 
\subsection{Použití k výpočtu středních hodnot pozorovatelných ve vakuovém stavu}
 
%================================================================================
 
%================================================================================
Uvažujme pozorovatelnou $\hat{A}$ a vakuový stav nějakého pole. S tímto pojmem jsme se ještě nesetkali, ale v další kapitole jej osvětlíme, zatím ho budeme brát intuitivně jako stav systému, ve kterém se nevyskytuje žádná částice, označíme ho $\ket{0}$.
+
Uvažujme pozorovatelnou $\hat{A}$ a stav $\ket{0}$ s minimální energií. Úloha určení střední hodnoty $\langle A \rangle_{\ket{0}}$ je obzvlášť důležitá v teorii pole, se kterou se setkáme v poslední kapitole, a kde je mnoho problémů možno převést na hledání \textbf{vakuových středních hodnot}.
  
Trik, který se použije k výpočtu takové střední hodnoty $\hat{A}$, závisejícího jen na $A = A(\vec{x})$, je následující
+
Trik, který se použije k výpočtu takové střední hodnoty operátoru $\hat{A}$, závisejícího jen na $A = A(\vec{x})$, je následující:
\begin{eqnarray}
+
\begin{equation}
\brapigket{0}{\hat{A}}{0} &=& \lim_{\beta \rightarrow \infty} \frac{\Tr{\hat{A} \hat{\rho}}}{Z(\beta)} \notag \\
+
  \begin{aligned}
& = & \lim_{\beta \rightarrow \infty} \frac{\int \dif^3 x \sum_n e^{- \beta E_n} \psi_n(\vec{x}) \overline{\psi}_n(\vec{x}) A(\vec{x})}{Z(\beta)} \notag \\
+
    \brapigket{0}{\hat{A}}{0} &= \lim_{T \rightarrow 0^+} \frac{\Tr\left(\hat{A} \hat{\rho}(T)\right)}{Z(\beta)} = \lim_{\beta \rightarrow +\infty} \frac{\Tr\left(\hat{A} \hat{\rho}(\beta) \right)}{Z(\beta)} \\
& = & \lim_{\beta \rightarrow \infty} \frac{\int \dif^3 x A(\vec{x}) K(\vec{x}; \vec{x}; - i \beta \hbar)}{Z(\beta)}. \label{eq:stredniHodnota}
+
    &= \lim_{\beta \rightarrow +\infty} \frac{\int \dif^3 x \sum_n e^{- \beta E_n} \psi_n(\vec{x}) \overline{\psi}_n(\vec{x}) A(\vec{x})}{Z(\beta)} \\
\end{eqnarray}
+
    &= \lim_{\beta \rightarrow +\infty} \frac{\int \dif^3 x A(\vec{x}) K(\vec{x}; \vec{x}; - i \beta \hbar)}{Z(\beta)}.
 +
  \end{aligned}
 +
  \label{eq:stredniHodnota}
 +
\end{equation}
 
Do \eqref{eq:stredniHodnota} dosadíme za propagátor pomocí dráhového integrálu
 
Do \eqref{eq:stredniHodnota} dosadíme za propagátor pomocí dráhového integrálu
\begin{eqnarray}
+
\begin{equation*}
\brapigket{0}{\hat{A}}{0} = \lim_{\beta \rightarrow \infty} & & \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x}[\beta] A(\vec{x}(0)) \exp \left( \frac{1}{\hbar} \int L_{\mathrm{Eukl.}} (\vec{x}(\tau), \overset{.}{\vec{x}} (\tau), \tau) \dif \tau \right),
+
\brapigket{0}{\hat{A}}{0} = \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x}(\tau) A(\vec{x}(0)) \exp \left( \frac{1}{\hbar} \int_0^{\beta\hbar} L_{\mathrm{Eukl.}} (\vec{x}(\tau), \dot{\vec{x}} (\tau), \tau) \dif \tau \right),
\end{eqnarray}
+
\end{equation*}
kde se integruje přes všechny uzavřené trajektorie $\vec{x}(\tau): <0, \beta> \rightarrow \mathbb{R}^3$:\begin{equation}
+
kde se integruje přes všechny uzavřené trajektorie $\vec{x}(\tau): \langle 0, \beta\hbar \rangle \rightarrow \mathbb{R}^3$, $\vec{x}(0) = \vec{x}(\beta\hbar)$ a $L_{\mathrm{Eukl.}}$ získáme nahrazením:
\vec{x}(0) = \vec{\beta},
+
\end{equation}
+
a $L_{\mathrm{Eukl.}}$ získáme nahrazením:
+
 
\begin{eqnarray}
 
\begin{eqnarray}
 
t & \rightarrow & - i \tau, \\
 
t & \rightarrow & - i \tau, \\
Řádka 50: Řádka 55:
 
\end{eqnarray}
 
\end{eqnarray}
 
Toto nahrazení dává
 
Toto nahrazení dává
\begin{eqnarray}
+
\begin{equation}
L &=& \frac{1}{2} m \overset{.}{\vec{x}}^2 - V(\vec{x}) \notag \\
+
  \begin{aligned}
&\rightarrow& L_{\mathrm{Eukl.}} = - \frac{1}{2} m \overset{.}{\vec{x}}^2 - V(\vec{x}),
+
    L &= \frac{1}{2} m \dot{\vec{x}}^2 - V(\vec{x}) \\
\end{eqnarray}
+
    \rightarrow L_{\mathrm{Eukl.}} &= - \frac{1}{2} m \dot{\vec{x}}^2 - V(\vec{x}),
takže $L_{\mathrm{Eukl.}} \leq 0 $, pro kladné $V$. Abychom mohli pokračovat dál, musíme si definovat další pojem.
+
  \end{aligned}
 +
\end{equation}
 +
takže $L_{\mathrm{Eukl.}} \leq 0$ pro kladné $V$. Abychom mohli pokračovat dál, musíme si definovat další pojem.
  
\subsubsection{Funkcionální derivace}{
+
\subsubsection{Funkcionální derivace}
Bez soustředění na matematickou korektnost se zde stručně seznámíme s funkcionální derivací. Je-li
+
\label{sec:funkcionalni derivace}
 +
Bez soustředění se na matematickou korektnost se zde stručně seznámíme s \textbf{funkcionální derivací}. Je-li
 
\begin{equation}
 
\begin{equation}
F[\eta] = \int G(\eta, \overset{.}{\eta}, \overset{..}{\eta}, \ldots, \eta^{(k)}, t) \dif t,
+
F[\eta] = \int G(\eta, \dot{\eta}, \ddot{\eta}, \ldots, \eta^{(k)}, t) \dif t,
 
\end{equation}
 
\end{equation}
kde $\eta: <a, b> \rightarrow \mathbb{R}$ s příslušnými derivacemi, zavedeme funkcionální derivaci
+
kde $\eta: \langle a, b \rangle \rightarrow \mathbb{R}$ s příslušnými derivacemi, zavedeme funkcionální derivaci
 
\begin{equation}
 
\begin{equation}
 
\frac{\delta F}{\delta \eta (t)}
 
\frac{\delta F}{\delta \eta (t)}
Řádka 69: Řádka 77:
 
\delta F[\eta] = \int_a^b \frac{\delta F}{\delta \eta(t)} \delta \eta (t) \dif t.
 
\delta F[\eta] = \int_a^b \frac{\delta F}{\delta \eta(t)} \delta \eta (t) \dif t.
 
\end{equation}
 
\end{equation}
}
 
  
 
Příklad takového systému jsme už viděli v \cite{sto:TEF}
 
Příklad takového systému jsme už viděli v \cite{sto:TEF}
 
\begin{equation}
 
\begin{equation}
S[\eta] = \int_a^b L(\eta, \overset{.}{\eta}, t) \dif t,
+
S[\eta] = \int_a^b L(\eta, \dot{\eta}, t) \dif t,
 
\end{equation}
 
\end{equation}
kde $\frac{\delta S}{\delta \eta(t)} $ dává přesně levou stranu Euler-Lagrangiových rovnic.
+
kde $\frac{\delta S}{\delta \eta(t)} $ dává přesně levou stranu Euler--Lagrangeových rovnic. Při výpočtu tedy rozvineme funkci $ G(\eta, \dot{\eta}, \ddot{\eta}, \ldots, \eta^{(k)}, t)$ do Taylorovy řady a ponecháme jen první řád.
  
 
Často lze psát
 
Často lze psát
 
\begin{equation}
 
\begin{equation}
\frac{\delta F}{\delta \eta (t)} = \lim_{\epsilon \rightarrow 0^+} \frac{1}{\epsilon} \left( F[\eta + \epsilon \delta(t)] - F[\eta] \right),
+
\frac{\delta F}{\delta \eta (t)} = \lim_{\varepsilon \rightarrow 0^+} \frac{1}{\varepsilon} \left( F[\eta + \varepsilon \delta(t)] - F[\eta] \right),
 
\end{equation}
 
\end{equation}
 
podobně jako jsme to provedli při výpočtu propagátoru LHO dráhovým integrálem.
 
podobně jako jsme to provedli při výpočtu propagátoru LHO dráhovým integrálem.
Řádka 85: Řádka 92:
 
Vraťme se k výpočtu střední hodnoty pozorovatelné $\hat{A}$ ve stavu $\ket{0}$. Označíme si
 
Vraťme se k výpočtu střední hodnoty pozorovatelné $\hat{A}$ ve stavu $\ket{0}$. Označíme si
 
\begin{equation}
 
\begin{equation}
Z[\beta, \vec{\eta}] = \int \mathscr{D} \vec{x} \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}}(\vec{x}(\tau), \overset{.}{\vec{x}} (\tau), \tau) + \vec{x}(\tau) \cdot \vec{\eta}(\tau) \right\rbrace \dif \tau \right),
+
Z[\beta, \vec{\eta}] = \int \mathscr{D} \vec{x}(\tau) \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}}(\vec{x}(\tau), \dot{\vec{x}} (\tau), \tau) + \vec{x}(\tau) \cdot \vec{\eta}(\tau) \right\rbrace \dif \tau \right),
 
\end{equation}
 
\end{equation}
kde dráhový integrál je přes všechny uzavřené trajektorie $\vec{x}: <0, \hbar \beta> \rightarrow \mathbb{R}^3$ a $\vec{\eta}$.
+
kde dráhový integrál je opět přes všechny uzavřené trajektorie $\vec{x}: \langle 0, \hbar \beta \rangle \rightarrow \mathbb{R}^3$.
  
 
Zapišme $A(\vec{x})$ pomocí vytvořujícího funkcionálu (Taylorova rozvoje)
 
Zapišme $A(\vec{x})$ pomocí vytvořujícího funkcionálu (Taylorova rozvoje)
Řádka 94: Řádka 101:
 
\end{equation}
 
\end{equation}
 
potom
 
potom
\begin{eqnarray}
+
\begin{equation*}
\brapigket{0}{\hat{A}}{0} =  \left. \lim_{\beta \rightarrow \infty} \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x} \sum_{\vec{n}} a_{\vec{n}} \vec{x}^{\vec{n}}(0) \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}} + \vec{x} \vec{\eta} \right\rbrace \dif \tau \right) \right|_{\vec{\eta} = 0},
+
\brapigket{0}{\hat{A}}{0} =  \left. \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x}(\tau) \sum_{\vec{n}} a_{\vec{n}} \vec{x}^{\vec{n}}(0) \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}} + \vec{x} \vec{\eta} \right\rbrace \dif \tau \right) \right|_{\vec{\eta} = 0},
\end{eqnarray}
+
\end{equation*}
kde každé $x_i^k(0)$ rozepíšeme poněkud formálně pomocí funkcionální derivace jako $\left(\frac{\hbar \delta}{\delta \eta_i(0)}\right)^k$ díky exponenciále, která za nimi následuje. Obdržíme tak výsledek ve velmi kompaktní formě, zapsaný pomocí zavedeného označení
+
kde každé $x_i^k(0)$ rozepíšeme pomocí funkcionální derivace jako $\left(\frac{\hbar \delta}{\delta \eta_i(0)}\right)^k$ díky exponenciále, která za nimi následuje. Obdržíme tak výsledek ve velmi kompaktní formě, zapsaný pomocí zavedeného označení
 
\begin{equation}
 
\begin{equation}
\brapigket{0}{\hat{A}}{0} = \left. \lim_{\beta \rightarrow \infty} \frac{1}{Z(\beta)} A\left( \frac{\hbar \delta}{\delta \eta_1(0)}, \frac{\hbar \delta}{\delta \eta_2(0)}, \frac{\hbar \delta}{\delta \eta_3(0)} \right) Z[\beta, \vec{\eta}] \right|_{\vec{\eta} = 0}.
+
\brapigket{0}{\hat{A}}{0} = \left. \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} A\left( \frac{\hbar \delta}{\delta \eta_1(0)}, \frac{\hbar \delta}{\delta \eta_2(0)}, \frac{\hbar \delta}{\delta \eta_3(0)} \right) Z[\beta, \vec{\eta}] \right|_{\vec{\eta}(\tau) \equiv 0}.
 
\end{equation}
 
\end{equation}
 
To je mimořádně užitečný vztah pro zájemce o QFT. Zápisem funkcionálních derivací v závorce máme na mysli dosazení za příslušné složky $\vec{x}$ do vytvořujícího funkcionálu pro $A(\vec{x})$.
 
To je mimořádně užitečný vztah pro zájemce o QFT. Zápisem funkcionálních derivací v závorce máme na mysli dosazení za příslušné složky $\vec{x}$ do vytvořujícího funkcionálu pro $A(\vec{x})$.

Aktuální verze z 13. 6. 2018, 08:14

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 02KVAN2

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 02KVAN2Hoskoant 6. 5. 201411:44
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůPotocvac 12. 6. 201711:17
Header editovatHlavičkový souborPotocvac 12. 6. 201718:07 header.tex
Kapitola0 editovatPředmluvaHoskoant 6. 5. 201410:48 predmluva.tex
Kapitola1 editovatAlgebraická teorie momentu hybnostiPotocvac 8. 6. 201813:31 kapitola1.tex
Kapitola2 editovatTenzorové operátory, Wigner-Eckartův teorémKubuondr 13. 6. 201812:22 kapitola2.tex
Kapitola3 editovatDalší ekvivalentní způsoby zápisu kvantové mechanikyKubuondr 13. 6. 201813:00 kapitola3.tex
Kapitola4 editovatMatice hustoty a smíšené kvantové stavyKubuondr 12. 6. 201809:59 kapitola4.tex
Kapitola5 editovatPřibližné metody v kvantové mechaniceKubuondr 9. 6. 201821:23 kapitola5.tex
Kapitola6 editovatPropagátorPotocvac 3. 5. 201816:34 kapitola6.tex
Kapitola7 editovatDráhový integrálKubuondr 5. 4. 202017:09 kapitola7.tex
Kapitola8 editovatTeorie rozptyluKubuondr 13. 6. 201807:54 kapitola8.tex
Kapitola9 editovatPartiční sumaKubuondr 13. 6. 201808:14 kapitola9.tex
Kapitola10 editovatReprezentace vícečásticových systémůKubuondr 11. 6. 201809:34 kapitola10.tex
Kapitola11 editovatKvantování klasických políKubuondr 13. 6. 201810:45 kapitola11.tex
Kapitola12 editovatLiteraturaHoskoant 6. 5. 201410:53 kapitolaA.tex

Vložené soubory

soubornázev souboru pro LaTeX
Image:wkb-1.pdf wkb-1.pdf
Image:wkb-2.pdf wkb-2.pdf
Image:wkb-3.pdf wkb-3.pdf
Image:wkb-4.pdf wkb-4.pdf
Image:wkb-5.pdf wkb-5.pdf
Image:wkb-ho.pdf wkb-ho.pdf
Image:itw-1.pdf itw-1.pdf
Image:drahy-1.pdf drahy-1.pdf
Image:drahy-2.pdf drahy-2.pdf
Image:feynman-1.pdf feynman-1.pdf
Image:feynman-2.pdf feynman-2.pdf
Image:feynman-3.pdf feynman-3.pdf
Image:feynman-4.pdf feynman-4.pdf
Image:rozptyl-1.pdf rozptyl-1.pdf
Image:rozptyl-2.pdf rozptyl-2.pdf

Zdrojový kód

%\wikiskriptum{02KVAN2}
\section{Partiční suma}
 
Nezávisí-li $\hat{H}$ explicitně na čase, lze propagátor přepsat s pomocí báze $(\ket{\psi_j})_{j\in\mathscr{I}}$, $\hat{H} \ket{\psi_j} = E_j \ket{\psi_j} $ na
\begin{equation*}
  \begin{aligned}
    \prop{\vec{x}_2}{t_2}{\vec{x}_1}{t_1} =: K(\vec{x}_2; \vec{x}_1; t_2 - t_1) &= \braket{\vec{x}_2, t_2}{\vec{x}_1, t_1} \\
    &= \sum_n  \braket{\vec{x}_2, t_2}{\psi_n} \braket{\psi_n}{\vec{x}_1, t_1} \\
    &= \sum_n \exp \left( - \frac{i}{\hbar} E_n (t_2 - t_1) \right) \psi_n(\vec{x}_2) \overline{\psi}_n(\vec{x}_1).
  \end{aligned}
\end{equation*}
Pokud se formálně označí $t_2 - t_1 = - i \beta \hbar$, dostáváme matici hustoty Gibbsova rozdělení v $x$-reprezentaci
\begin{equation*}
	K(\vec{x}_2; \vec{x}_1; - i \beta \hbar) = \sum_n e^{- \beta E_n} \psi_n(\vec{x}_2) \overline{\psi}_n(\vec{x}_1) = \brapigket{\vec{x}_2}{e^{-\beta \hat{H}}}{\vec{x}_1}.
\end{equation*}
Metody výpočtu propagátoru tedy můžeme použít pro získání tohoto objektu.
 
Z nezávislosti stopy na volbě báze a jejích vzorců v energetické a v $x$-reprezentaci můžeme určit partiční funkci
\begin{equation*}
	Z(\beta) = \sum_n e^{- \beta E_n} = \Tr \left(e^{-\beta \hat{H}}\right) = \int \dif^3 x K(\vec{x}; \vec{x}; - i \hbar \beta),
\end{equation*}
 
Úplně stejně jako ve statistické fyzice se nyní může odvodit, že střední hodnoty a další momenty se dají vyjádřit jako
\begin{equation*}
  \begin{aligned}
    \stredni{E}_{\hat{\rho}} &= - \frac{\partial }{\partial \beta} \ln (Z(\beta)), \\
    \stredni{\left( E - \stredni{E} \right)^2}_{\hat{\rho}} &= \frac{\partial^2 }{\partial \beta^2} \ln (Z(\beta)),\\
    &\hskip 7pt\vdots
  \end{aligned}
\end{equation*}
 
%================================================================================
\subsection{Použití k výpočtu středních hodnot pozorovatelných ve vakuovém stavu}
%================================================================================
Uvažujme pozorovatelnou $\hat{A}$ a stav $\ket{0}$ s minimální energií. Úloha určení střední hodnoty $\langle A \rangle_{\ket{0}}$ je obzvlášť důležitá v teorii pole, se kterou se setkáme v poslední kapitole, a kde je mnoho problémů možno převést na hledání \textbf{vakuových středních hodnot}.
 
Trik, který se použije k výpočtu takové střední hodnoty operátoru $\hat{A}$, závisejícího jen na $A = A(\vec{x})$, je následující:
\begin{equation}
  \begin{aligned}
    \brapigket{0}{\hat{A}}{0} &= \lim_{T \rightarrow 0^+} \frac{\Tr\left(\hat{A} \hat{\rho}(T)\right)}{Z(\beta)} = \lim_{\beta \rightarrow +\infty} \frac{\Tr\left(\hat{A} \hat{\rho}(\beta) \right)}{Z(\beta)} \\
    &= \lim_{\beta \rightarrow +\infty} \frac{\int \dif^3 x \sum_n e^{- \beta E_n} \psi_n(\vec{x}) \overline{\psi}_n(\vec{x}) A(\vec{x})}{Z(\beta)} \\
    &= \lim_{\beta \rightarrow +\infty} \frac{\int \dif^3 x A(\vec{x}) K(\vec{x}; \vec{x}; - i \beta \hbar)}{Z(\beta)}.
  \end{aligned}
  \label{eq:stredniHodnota}
\end{equation}
Do \eqref{eq:stredniHodnota} dosadíme za propagátor pomocí dráhového integrálu
\begin{equation*}
	\brapigket{0}{\hat{A}}{0} = \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x}(\tau) A(\vec{x}(0)) \exp \left( \frac{1}{\hbar} \int_0^{\beta\hbar} L_{\mathrm{Eukl.}} (\vec{x}(\tau), \dot{\vec{x}} (\tau), \tau) \dif \tau \right),
\end{equation*}
kde se integruje přes všechny uzavřené trajektorie $\vec{x}(\tau): \langle 0, \beta\hbar \rangle \rightarrow \mathbb{R}^3$, $\vec{x}(0) = \vec{x}(\beta\hbar)$ a $L_{\mathrm{Eukl.}}$ získáme nahrazením:
\begin{eqnarray}
	t & \rightarrow & - i \tau, \\
	\dif t & \rightarrow & -i \dif \tau, \\
	\frac{\dif}{\dif t} & \rightarrow & i \frac{\dif}{\dif \tau}.
\end{eqnarray}
Toto nahrazení dává
\begin{equation}
  \begin{aligned}
    L &= \frac{1}{2} m \dot{\vec{x}}^2 - V(\vec{x}) \\
    \rightarrow L_{\mathrm{Eukl.}} &= - \frac{1}{2} m \dot{\vec{x}}^2 - V(\vec{x}),
  \end{aligned}
\end{equation}
takže $L_{\mathrm{Eukl.}} \leq 0$ pro kladné $V$. Abychom mohli pokračovat dál, musíme si definovat další pojem.
 
\subsubsection{Funkcionální derivace}
\label{sec:funkcionalni derivace}
Bez soustředění se na matematickou korektnost se zde stručně seznámíme s \textbf{funkcionální derivací}. Je-li
\begin{equation}
	F[\eta] = \int G(\eta, \dot{\eta}, \ddot{\eta}, \ldots, \eta^{(k)}, t) \dif t,
\end{equation}
kde $\eta: \langle a, b \rangle \rightarrow \mathbb{R}$ s příslušnými derivacemi, zavedeme funkcionální derivaci
\begin{equation}
	\frac{\delta F}{\delta \eta (t)}
\end{equation}
pomocí výpočtu variace $F$:
\begin{equation}
	\delta F[\eta] = \int_a^b \frac{\delta F}{\delta \eta(t)} \delta \eta (t) \dif t.
\end{equation}
 
Příklad takového systému jsme už viděli v \cite{sto:TEF}
\begin{equation}
	S[\eta] = \int_a^b L(\eta, \dot{\eta}, t) \dif t,
\end{equation}
kde $\frac{\delta S}{\delta \eta(t)} $ dává přesně levou stranu Euler--Lagrangeových rovnic. Při výpočtu tedy rozvineme funkci $ G(\eta, \dot{\eta}, \ddot{\eta}, \ldots, \eta^{(k)}, t)$ do Taylorovy řady a ponecháme jen první řád.
 
Často lze psát
\begin{equation}
	\frac{\delta F}{\delta \eta (t)} = \lim_{\varepsilon \rightarrow 0^+} \frac{1}{\varepsilon} \left( F[\eta + \varepsilon \delta(t)] - F[\eta] \right),
\end{equation}
podobně jako jsme to provedli při výpočtu propagátoru LHO dráhovým integrálem.
 
Vraťme se k výpočtu střední hodnoty pozorovatelné $\hat{A}$ ve stavu $\ket{0}$. Označíme si
\begin{equation}
	Z[\beta, \vec{\eta}] = \int \mathscr{D} \vec{x}(\tau) \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}}(\vec{x}(\tau), \dot{\vec{x}} (\tau), \tau) + \vec{x}(\tau) \cdot \vec{\eta}(\tau) \right\rbrace \dif \tau \right),
\end{equation}
kde dráhový integrál je opět přes všechny uzavřené trajektorie $\vec{x}: \langle 0, \hbar \beta \rangle \rightarrow \mathbb{R}^3$.
 
Zapišme $A(\vec{x})$ pomocí vytvořujícího funkcionálu (Taylorova rozvoje)
\begin{equation}
	A(\vec{x}) = \sum_{\vec{n}} a_{\vec{n}} x_1^{n_1} x_2^{n_2} x_3^{n_3} \equiv \sum_{\vec{n}} a_{\vec{n}} \vec{x}^{\vec{n}},
\end{equation}
potom
\begin{equation*}
	\brapigket{0}{\hat{A}}{0} =  \left. \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} \int \mathscr{D} \vec{x}(\tau) \sum_{\vec{n}} a_{\vec{n}} \vec{x}^{\vec{n}}(0) \exp \left( \frac{1}{\hbar} \int_0^{\hbar \beta} \left\lbrace L_{\mathrm{Eukl.}} + \vec{x} \vec{\eta} \right\rbrace \dif \tau \right) \right|_{\vec{\eta} = 0},
\end{equation*}
kde každé $x_i^k(0)$ rozepíšeme pomocí funkcionální derivace jako $\left(\frac{\hbar \delta}{\delta \eta_i(0)}\right)^k$ díky exponenciále, která za nimi následuje. Obdržíme tak výsledek ve velmi kompaktní formě, zapsaný pomocí zavedeného označení
\begin{equation}
	\brapigket{0}{\hat{A}}{0} = \left. \lim_{\beta \rightarrow +\infty} \frac{1}{Z(\beta)} A\left( \frac{\hbar \delta}{\delta \eta_1(0)}, \frac{\hbar \delta}{\delta \eta_2(0)}, \frac{\hbar \delta}{\delta \eta_3(0)} \right) Z[\beta, \vec{\eta}] \right|_{\vec{\eta}(\tau) \equiv 0}.
\end{equation}
To je mimořádně užitečný vztah pro zájemce o QFT. Zápisem funkcionálních derivací v závorce máme na mysli dosazení za příslušné složky $\vec{x}$ do vytvořujícího funkcionálu pro $A(\vec{x})$.