Thanks, and another question
Thanks for that! I've got another question though. In the same document, a bit later, he says that one can also derive the Schrödinger Lagrangian by taking the non-relativistic limit of the (complex?) scalar field Lagrangian. And for that he uses the condition [itex]\partial_{t} \Psi \ll m \Psi[/itex], which in fact I suppose he means [itex]|\partial_{t} \tilde{\Psi}| \ll |m \tilde{\Psi}|[/itex], otherwise I don't get it. In any case, starting with the Lagrangian:
[itex]\mathcal{L}=\partial^{\mu}\tilde{\psi} \partial_{\mu} \tilde{\psi}^{*} -m^{2}\tilde{\psi}\tilde{\psi}^{*}[/itex]
Using the inequationI think it's correct, I can only get to:
[itex]\mathcal{L}=-\nabla\tilde{\psi} \nabla \tilde{\psi}^{*} -m^{2}\tilde{\psi}\tilde{\psi}^{*}[/itex]
And from that I've tried relating [itex]\tilde{\psi}[/itex] or [itex]\psi[/itex] (as we can write the above Lagrangian with both, as it's invariant under multiplying by a pure phase), to [itex]\dot{\psi}[/itex]