Conserved currents in Mandl & Shaw (section 2.4)

  • Context: Graduate 
  • Thread starter Thread starter jmlaniel
  • Start date Start date
  • Tags Tags
    Currents
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
jmlaniel
Messages
29
Reaction score
0
I am currently reading "Quantum Field Theory" by Mandl & Shaw (2nd edition). In section 2.4, they give an equation for obtaining a conserved quantity (which leave the Lagrangian density invariant) :

[tex]\frac{\delta f^\alpha}{\delta x^\alpha} = 0[/tex] (2.36 in Mandl & Shaw)

In other textbooks that I have consulted, I usually find the following expression for a conserved quantity :

[tex]\frac{\partial f^\alpha}{\partial x^\alpha} = 0[/tex]

I would like to know why is Mandl & Shaw using what seems to be a functional derivative instead of a simple partial derivative.

Furthermore, does anyone know how to work with the functional derivative used by Mandl & Shaw and how to obtain equation (2.36a) with it? Can I treat it as a simple derivative? It seems wrong to do so...
 
Physics news on Phys.org
I think it is a mistake. You don’t take functional derivative with respect to coordinates. If that section of the book is about Noether’s theorem, then the following might help you understand the connection functional and partial derivatives;
Let [itex]s(x)[/itex] be a space-like hyper surface passes through a specific point x. Let us define a 4-vector differential area at the point x by
[tex] ds^{\mu}=(dx^{1}dx^{2}dx^{3},dx^{0}dx^{1}dx^{2},dx^{0}dx^{1}dx^{3},dx^{0}dx^{2}dx^{3})[/tex]
Now, let [itex]Q[/itex] be a functional of a surface [itex]s[/itex]. The functional derivative at a point x is defined by
[tex] \frac{\delta Q<s>}{\delta s(x)}= \lim_{v(x) \rightarrow 0} \frac{Q[\bar{s}]-Q<s>}{v(x)}<br /> </s></s>[/tex]
where [itex]v(x)[/itex] is the volume enclosed between the two surfaces [itex]\bar{s}[/itex] and [itex]s[/itex].
Now let [itex]Q[/itex] be given by
[tex]Q<s>= \int_{s} ds_{\mu} f^{\mu}(x),</s>[/tex]
where [itex]f_{\mu}(x)[/itex] is some smooth vector field, then according to Gauss’ theorem we find
[tex]\frac{\delta Q}{\delta s}= \lim_{v \rightarrow 0} \frac{\int_{\bar{s}}ds_{\mu}f^{\mu}(x) - \int_{s} ds_{\mu}f^{\mu}(x)}{v(x)}=\partial_{\mu}f^{\mu}[/tex]
Using this, Schwinger was able to prove the following (very, very useful) identity
[tex] \int ds_{\mu}\partial_{\nu}F(x) = \int ds_{\nu}\partial_{\mu}F(x),[/tex]
where
[tex]|\vec{x}|^{2}F(x)\rightarrow 0,\ \ \mbox{as}\ \ |\vec{x}| \rightarrow \infty[/tex]

sam