next up previous contents
Next: Metoda orbit Up: Geometrické kvantování Previous: Geometrické kvantování   Obsah

Příklad: \( M=\ensuremath{\mathbb {R}}^{2}\protect \)

Buď \( M=\ensuremath{\mathbb {R}}^{2}\protect \) se souřadnicovými funkcemi \( p,\, q \) a \( \omega =dp\wedge dq \). Zvolme \( \nu =p\, dq \). Vektorové pole \( \gamma _{f} \) je určeno vztahy

\begin{eqnarray*}
&& \omega (\gamma _{f},\, \cdot \, ) =
(\gamma _{f}\cdot p)\,...
...tial f}{\partial p}\, dp+
\frac{\partial f}{\partial q}\, dq\, ,
\end{eqnarray*}



a tedy

\begin{displaymath}
\gamma _{f}=\frac{\partial f}{\partial q}\, \frac{\partial }...
...frac{\partial f}{\partial p}\, \frac{\partial }{\partial q}\, .\end{displaymath}

Poissonova závorka je dána předpisem (2),

\begin{displaymath}
\{f,\, g\}=\frac{\partial f}{\partial q}\, \frac{\partial g}...
...rac{\partial f}{\partial p}\, \frac{\partial g}{\partial q}\, .\end{displaymath}

Geometrické kvantování (5) vede na operátory

\begin{displaymath}
\ensuremath{\varrho}(f)=\ensuremath{\imath}\,
\left(\frac{\...
... }{\partial q}\right)-
p\, \frac{\partial f}{\partial p}+f\, .
\end{displaymath}

Specielně,

\begin{displaymath}
\ensuremath{\varrho}(q)=\ensuremath{\imath}\, \frac{\partial...
...rho}(p)=-\ensuremath{\imath}\, \frac{\partial }{\partial q}\, .\end{displaymath}

Jak bylo předesláno, prostor, ve kterém působí operátory \( \ensuremath{\varrho}(q) \) a \( \ensuremath{\varrho}(p) \), lze redukovat. V tomto jednoduchém případě se řešení nabízí samo. Oba operátory komutují s derivací \( \partial /\partial p \) a tedy podprostor funkcí, které splňují \( \partial f/\partial p=0 \) (nezávisí na souřadnici \( p \)), je invariantní. Po této redukci dostáváme všem dobře známé operátory

\begin{displaymath}
\ensuremath{\varrho}(q)=q,\quad \ensuremath{\varrho}(p)=-\ensuremath{\imath}\, \frac{\partial }{\partial q}\, .\end{displaymath}

Je třeba ale zdůraznit, že tuto redukci lze uplatnit pouze na určitou podtřídu operátorů, specielně na \( \ensuremath{\varrho}(q) \) a \( \ensuremath{\varrho}(p) \), nikoli však obecně na operátor \( \ensuremath{\varrho}(f) \) příslušný zcela libovolné funkci \( \ f \).



Pavel Stovicek
2000-02-25