- #1
TAKEDA Hiroki
- 4
- 2
In a thesis, I found double sided arrow notation in the lagrangian of a Dirac field (lepton, quark etc) as follows.
\begin{equation}
L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{D_{\mu}}\psi
\end{equation}
In the thesis, Double sided arrow is defined as follows.
\begin{equation}
A\overset{\leftrightarrow}{\partial_{\mu}}B:=A(\partial_{\mu} B)-(\partial_{\mu} A)B
\end{equation}
If covariant derivative is normal partial derivative ##D_{\mu}=\partial_{\mu}##,both
$$L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{\partial_{\mu}}\psi$$ and $$L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}{\partial_{\mu}}\psi$$ can give the same physical results, because the difference between two expressions is a total derivative.
But, in a normal covariant derivative case, I can not understand if these two expression give the same physical results. For example, when a covariant derivative is given by
$$D_{\mu}=\partial_{\mu}+ieA_{\mu}$$
,this action is defined by
\begin{equation}
\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{D_{\mu}}\psi=\overline{\psi}\gamma^{\mu}(D_{\mu}\psi)-(D_{\mu}\overline{\psi})\gamma^{\mu}\psi
\end{equation}
?
In that case, how this action ##(D_{\mu}\overline{\psi})## is defined?
\begin{equation}
L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{D_{\mu}}\psi
\end{equation}
In the thesis, Double sided arrow is defined as follows.
\begin{equation}
A\overset{\leftrightarrow}{\partial_{\mu}}B:=A(\partial_{\mu} B)-(\partial_{\mu} A)B
\end{equation}
If covariant derivative is normal partial derivative ##D_{\mu}=\partial_{\mu}##,both
$$L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{\partial_{\mu}}\psi$$ and $$L=\frac{1}{2}i\overline{\psi}\gamma^{\mu}{\partial_{\mu}}\psi$$ can give the same physical results, because the difference between two expressions is a total derivative.
But, in a normal covariant derivative case, I can not understand if these two expression give the same physical results. For example, when a covariant derivative is given by
$$D_{\mu}=\partial_{\mu}+ieA_{\mu}$$
,this action is defined by
\begin{equation}
\overline{\psi}\gamma^{\mu}\overset{\leftrightarrow}{D_{\mu}}\psi=\overline{\psi}\gamma^{\mu}(D_{\mu}\psi)-(D_{\mu}\overline{\psi})\gamma^{\mu}\psi
\end{equation}
?
In that case, how this action ##(D_{\mu}\overline{\psi})## is defined?