マクスウェル場の拘束条件と未定乗数

マクスウェル場を古典場として扱い、拘束系の解析力学の知識を用いてディラック括弧を構成してしまおう。その前に注意として、以下の計算では全ての引数の時刻は等しいものとして計算する。例えば\(~A_\nu(x)~\)や\(~\partial_\mu A_\nu(y)~\)などが登場するが、どちらも時間成分は等しいとする。でないとポアソン括弧が計算できない。

まずマクスウェル場の共役運動量は定義より、
\begin{eqnarray}
\Pi^\mu=\frac{\partial\mathcal{L}}{\partial(\partial_0A_\mu)}=-F^{0\mu}
\end{eqnarray}
なので、普通にハミルトニアンを求めると
\begin{eqnarray}
\mathcal{H}=\Pi^\mu \dot{A}_\mu-\mathcal{L}
=
\Pi^0\dot{A}_0+
\frac{1}{2}\boldsymbol{\Pi}^2
+
(\boldsymbol{\Pi}\cdot\nabla)A^0
+
\frac{1}{2}(\partial_iA^j)(\partial_iA^j)

\frac{1}{2}(\partial_iA^j)(\partial_jA^i)
\end{eqnarray}
になる。さて、共役運動量$~\Pi^0~$は$~0~$であることが上の計算からすぐ分かるが、これは理論の拘束条件になっているので、適切に取り込まなくてはならない。そのために拘束系の一般論に従い、ハミルトニアンに対し未定乗数$~\lambda~$を加え
\begin{eqnarray}
\mathcal{H}_T&=&\mathcal{H}+\lambda\Pi^0
\end{eqnarray}
というような全ハミルトニアンなるものを定義することにしよう。なおハミルトニアンに含まれている第一項は、未定乗数の項に纏めてられるので、ハミルトニアンからは省こう。さて今から拘束条件の整合性を確認しながら、未定乗数の決定の可否について見ていく。なお拘束条件と全ハミルトニアンのポアソン括弧を以下で計算していくが、全ハミルトニアンの項で拘束条件と明らかに0のものは初めから省いた。

まず$~\Pi^0\approx0~$の整合性を見ると
\begin{eqnarray}
\left\{
\Pi^0(x),H_T
\right\}
&=&
\int d^3y\left\{
\Pi^0(x),\mathcal{H}_T(y)
\right\}\\
&=&
\int d^3y
\left\{
\Pi^0(x),(\boldsymbol{\Pi}(y)\cdot\nabla^y)A^0(y)
\right\}\\
&=&
\int d^3y~
\boldsymbol{\Pi}(y)\cdot\nabla^y\left\{
\Pi^0(x),A^0(y)
\right\}\\
&=&-\int d^3y~
\boldsymbol{\Pi}(y)\cdot\nabla^y\delta^3(\textbf{x}-\textbf{y})\\
&=&
\nabla_i{\Pi}^i
\end{eqnarray}
となるが、これは既存の拘束条件$~\Pi^0=0~$では0にならないので、新しい拘束条件
\begin{eqnarray}
\nabla_i\boldsymbol{\Pi}^i\approx0
\end{eqnarray}
を課す事にする。次にこの拘束条件の整合性を確認すると
\begin{eqnarray}
\left\{
\nabla_k^x{\Pi}^k(x)
,
H_T
\right\}
&=&
\int d^3y~
\nabla_k^x\left\{
{\Pi}^k(x)
,
\mathcal{H}_T(y)
\right\}\\
&=&
\int d^3y~
\nabla_k^x\left\{
{\Pi}^k(x)
,
\frac{1}{2}(\partial^y_iA^j(y))(\partial^y_iA^j(y))

\frac{1}{2}(\partial_i^yA^j(y))(\partial_j^yA^i(y))
\right\}\\
&=&
\int d^3y~
\nabla_k^x\left\{
\frac{1}{2}(\partial^y_iA^j(y))(\partial^y_iA^j(y))

\frac{1}{2}(\partial_i^yA^j(y))(\partial_j^yA^i(y))
,{\Pi}^k(x)
\right\}\\
&=&
\int d^3y~\nabla^x_k\left[
(\partial_i^yA^j(y))\partial_i^y(-\delta_{jk}\delta^3(\textbf{x}-\textbf{y}))

(\partial^y_jA^i(y))\partial_i^y(-\delta_{jk}\delta^3(\textbf{x}-\textbf{y}))
\right]\\
&=&
\int d^3y~\nabla^x_j\left[
(\partial_i^yA^j(y))\partial_i^y(-\delta^3(\textbf{x}-\textbf{y}))

(\partial^y_jA^i(y))\partial_i^y(-\delta^3(\textbf{x}-\textbf{y}))
\right]\\
&=&
\int d^3y~\left[
(\partial_i^yA^j(y))\partial_i^y\partial_j^y(\delta^3(\textbf{x}-\textbf{y}))

(\partial^y_jA^i(y))\partial_i^y\partial_j^y(\delta^3(\textbf{x}-\textbf{y}))
\right]\\
&=&0
\end{eqnarray}
よって、これで整合性は確認ができ、未定乗数が決まらなかったものの、理論の整合性は確立された。

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です