1

The free-field KG lagrangian density for complex scalar field is given as $$\hat{\mathcal{L}}_{\text{KG}}=(\partial_\mu\hat{\phi}^\dagger)(\partial^\mu\hat\phi)-m^2\hat{\phi}^\dagger\hat{\phi}$$ By making the minimal substitution $$\partial^\mu\mapsto\hat{D}^\mu=\partial^\mu+iq\hat{A}^\mu$$ we could introduce electromagnetic field into the equation and obtain $$\hat{\mathcal{L}}=\hat{\mathcal{L}}_{\text{KG}}+\hat{\mathcal{L}}_{\text{INT}}$$ The expected results should be $$\hat{\mathcal{L}}_{\text{INT}}=-iq\left(\hat{\phi}^\dagger(\partial^\mu\hat\phi)-(\partial^\mu\hat\phi^\dagger)\hat{\phi}\right)\hat{A}^\mu+q^2\hat{A}^\mu\hat{A}_\mu\hat{\phi}^\dagger\hat{\phi}\tag{1}$$ However, I did the subsitution myself and kept getting $$\hat{\mathcal{L}}_{\text{INT}}=iq\left(\hat{\phi}^\dagger(\partial^\mu\hat\phi)+(\partial^\mu\hat\phi^\dagger)\hat{\phi}\right)\hat{A}^\mu+q^2\hat{A}^\mu\hat{A}_\mu\hat{\phi}^\dagger\hat{\phi}$$ But I could not understand how i got it wrong. Could someone please explain how to get the correct expression equation (1)?

Qmechanic
  • 201,751
Rescy_
  • 827

1 Answers1

4

The error that you've made is that the factor $(\partial_{\mu} \phi^{\dagger})$ in the Klein-Gordon Lagrangian should be written as $(\partial_{\mu} \phi)^{\dagger}$. This makes a difference, since the hermitian conjugate is applied to the gradient of the field, $\partial_{\mu}\phi$, not $\phi$. Ordinarily, you could get away with your notation, since $(\partial_{\mu}\phi)^{\dagger}=\partial_{\mu}\phi^{\dagger}$. However, since $(D_{\mu}\phi)^{\dagger}=\partial_{\mu}\phi^{\dagger}-iqA_{\mu}\phi^{\dagger} \ne \partial_{\mu}\phi^{\dagger} +iqA_{\mu}\phi^{\dagger} = D_{\mu}\phi^{\dagger}$, you'll get into trouble. In other words, when you make the substitution $\partial_{\mu} \mapsto D_{\mu}$ apply the hermitian conjugate to $D_{\mu}\phi$, not $\phi$.

I hope this clears things up!

Shiki Ryougi
  • 1,237
  • 4
  • 24
  • 2
    -1. I don't know where you have seen that $\partial_\mu^\dagger = \partial_\mu$ but it is entirely wrong. Moreover, you completely missed the point of OP, since OP explicitly says that its notation for $+$ is in fact $\ast$, the complex conjugate. Even in the operator formalism, one shouldn't take the hermitian conjugate instead of the complex conjugate. – Jeanbaptiste Roux May 11 '22 at 07:43
  • Hi! Please provide some arguments on why $\partial_{\mu}^{\dagger}=\partial_{\mu}$ is entirely wrong, I would like to learn more about it. – Shiki Ryougi May 11 '22 at 09:24
  • 1
    Hi, first, sorry if I've been rude. Second, our Klein-Gordon field belongs to $L^2(\mathbb{R}^{1,3})$, so we can define $\langle f | g \rangle = \int d^4x f^\ast g$. So $\langle f | \partial_\mu g \rangle=\langle f |\partial_\mu | g \rangle \stackrel{\text{p.p.}}{=}-\langle \partial_\mu f | g \rangle=- \langle f |\partial_\mu^\dagger | g \rangle $, where $\text{p.p.}$ stands for "integration by part". – Jeanbaptiste Roux May 11 '22 at 09:41
  • Does that mean that $\partial_{\mu}=-\partial_{\mu}^{\dagger}?$ I know nothing about $L^p$ spaces... I will probably make a question about this. – Shiki Ryougi May 11 '22 at 12:31
  • @JeanbaptisteRoux In this case $\partial_\mu = \partial_\mu^\dagger$ because this $\dagger$ refers to the action on the Fock space of the theory, while the derivative acts on the field coordinates. – FrodCube May 11 '22 at 16:03
  • @JeanbaptisteRoux I have edited my answer! – Shiki Ryougi May 13 '22 at 22:32
  • @ColourfulSpacetime I have changed my -1 into a +1, I think your answer is right on the point and useful for future people asking themself the same question as OP. – Jeanbaptiste Roux May 15 '22 at 13:30