Reference: References: Robert D. Klauber, Student Friendly Quantum Field Theory, (Sandtrove Press, 2013) – Chapter 4, Problem 4.13.
The Dirac equation is
and the adjoint Dirac equation is
where there are four solution vectors and the adjoint solutions are given by
Then, multiply 2 on the right by the original solutions:
We’ve kept the bra in parentheses since the derivative applies only to it and not the ket portion. Adding these two equations gives
where we’ve used the product rule to combine the two derivatives, so that the in the last line does apply to the full bracket. Note also that in the bracket in the last line, there is no integration over space, since all we’ve done is multiply the adjoint solution into the regular solution.
By the way, you might think that this result is trivial, since spacetime enters into only in the form and therefore into in the form , so it would seem that the bracket has no dependence on so obviously its derivative must be zero. However, the here can refer to a sum of states with different momenta , so the result isn’t quite as trivial as it looks.
We can therefore define a conserved current as
Again, remember that there is no integration over space in the definition of .
In Klauber’s equations 4-36 and 4-37, he shows that if we consider a single particle in the state
(remember that ranges over the four solutions and over all possible discrete momenta) and integrate over space, we get the condition
Thus we can interpret as the probability of finding the particle in state with momentum .