Quantized Dirac field calculations

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 2K views
Nod
Messages
5
Reaction score
0
Hi everyone!

I'm having a problem with calculating the fermionic propagator for the quantized Dirac field as in the attached pdf. The step that puzzles me is the one performed at 5.27 to get 5.28. Why can I take outside (iγ⋅∂+m) if the second term in 5.27 has (iγ⋅∂-m)? And why there's a difference of the D(x-y) and D(y-x)?
 

Attachments

Physics news on Phys.org
Since ##p## is an integration variable, in the second term in (5.27) you can replace ##p## with ##-p##. (More precisely, introduce a new variable ##p'=-p## and then remove the prime since it is a dummy variable.) With a little extra work, that should resolve your first question. The answer to the second question should be obvious from (5.29).
 
A more interesting comment on that page of Tong lectures is that the anticommutation relation does not violate causality because the fermion field is not an observable, while bilinear observables commute (not anticommute). That's an important lesson to those who like to interpret fields as "fundamental" objects.
 
  • Like
Likes   Reactions: vanhees71 and Nod
Demystifier said:
Since ##p## is an integration variable, in the second term in (5.27) you can replace ##p## with ##-p##. (More precisely, introduce a new variable ##p'=-p## and then remove the prime since it is a dummy variable.) With a little extra work, that should resolve your first question. The answer to the second question should be obvious from (5.29).

I also thought like this, but still I have doubts:
If I replace ##p## with ##-p##, then instead of
##\displaystyle{\not} p = γ_μ p^μ = γ_0 p^0 +γ_i p^i##
I'll have
##\displaystyle{\not}p = γ_μ p^μ = γ_0 p^0 -γ_i p^i##.
But the last equation is not equal to ##-\displaystyle{\not}p## , because for that also the energy part ##γ_0 p^0## must change the sign!
 
Nod said:
Hi everyone!

I'm having a problem with calculating the fermionic propagator for the quantized Dirac field as in the attached pdf. The step that puzzles me is the one performed at 5.27 to get 5.28. Why can I take outside (iγ⋅∂+m) if the second term in 5.27 has (iγ⋅∂-m)? And why there's a difference of the D(x-y) and D(y-x)?

I think it's pretty straightforward:

[itex]D(x-y) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{-i p \cdot(x-y)}[/itex]

So: [itex](i \displaystyle{\not} \partial + m) D(x-y) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} (+\displaystyle{\not} p + m) e^{-i p \cdot(x-y)}[/itex]

[itex]D(y-x) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{-i p \cdot(y-x)} = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{+i p \cdot(x-y)}[/itex]

So: [itex](i \displaystyle{\not} \partial + m) D(y-x) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} (- \displaystyle{\not} p + m) e^{-i p \cdot(x-y)}[/itex]

Subtract the two and you get:

[itex](i \displaystyle{\not} \partial + m) D(x-y) - (i \displaystyle{\not} \partial + m) D(y-x)[/itex]
[itex]= \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} ((+ \displaystyle{\not} p + m) e^{-i p \cdot(x-y)} - (- \displaystyle{\not} p + m) e^{-i p \cdot(x-y)})[/itex]

You have to remember that [itex]\partial[/itex] acts on [itex]x[/itex], not [itex]y[/itex], and that [itex]i \displaystyle{\not}\partial e^{\mp i p \cdot (x-y)} = \pm \displaystyle{\not}p e^{-i p \cdot (x-y)}[/itex]
 
  • Like
Likes   Reactions: Demystifier, Nod and vanhees71
stevendaryl said:
I think it's pretty straightforward:

[itex]D(x-y) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{-i p \cdot(x-y)}[/itex]

So: [itex](i \displaystyle{\not} \partial + m) D(x-y) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} (+\displaystyle{\not} p + m) e^{-i p \cdot(x-y)}[/itex]

[itex]D(y-x) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{-i p \cdot(y-x)} = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} e^{+i p \cdot(x-y)}[/itex]

So: [itex](i \displaystyle{\not} \partial + m) D(y-x) = \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} (- \displaystyle{\not} p + m) e^{-i p \cdot(x-y)}[/itex]

Subtract the two and you get:

[itex](i \displaystyle{\not} \partial + m) D(x-y) - (i \displaystyle{\not} \partial + m) D(y-x)[/itex]
[itex]= \int \frac{d^3 p}{(2\pi)^3} \frac{1}{2E_p} ((+ \displaystyle{\not} p + m) e^{-i p \cdot(x-y)} - (- \displaystyle{\not} p + m) e^{-i p \cdot(x-y)})[/itex]

You have to remember that [itex]\partial[/itex] acts on [itex]x[/itex], not [itex]y[/itex], and that [itex]i \displaystyle{\not}\partial e^{\mp i p \cdot (x-y)} = \pm \displaystyle{\not}p e^{-i p \cdot (x-y)}[/itex]

Thank you for explanation! Now I get where the signs come from :)