Deriving Maxwell's equations from the Lagrangian

Click For Summary
The discussion revolves around deriving Maxwell's equations from the Lagrangian using partial derivatives. The key confusion arises from taking the partial derivative of the Lagrangian with respect to the field derivatives, specifically ##\partial(\partial_\mu \mathcal{A}_\nu)##. The correct results for the first term yield ##-\partial^\mu \mathcal{A}^\nu##, while the second term results in ##\partial_\rho \mathcal{A}^\rho \cdot \eta^{\mu\nu}##. A participant struggles with the application of the chain rule and the implications of the delta functions, questioning the consistency of their results with the expected answer. The conversation emphasizes the importance of careful manipulation of terms and understanding the role of constants in derivatives.
offscene
Messages
7
Reaction score
2
Homework Statement
Given ##\mathcal{L} = -\frac{1}{2}(\partial_\mu \mathcal{A}_\nu)(\partial^\mu \mathcal{A}^\nu)+\frac{1}{2}(\partial_\mu \mathcal{A}^\mu)^2##, compute ##\frac{\partial{\mathcal{L}}}{\partial(\partial_\mu \mathcal{A}_\nu)}##.
Relevant Equations
Euler-Lagrange equations of motion.
This isn't a homework problem (it's an example from David Tong's QFT notes where I didn't understand the steps he took), but I am confused as to how exactly to take the partial derivative of the Lagrangian with respect to ##\partial(\partial_\mu \mathcal{A}_\nu)##. (Note the answer is: ##-\partial^\mu \mathcal{A}^\nu+(\partial_\rho \mathcal{A}^\rho)\eta^{\mu \nu}##)
 
Last edited:
Physics news on Phys.org
Write ##(\partial_\mu \mathcal{A}_\nu)(\partial^\mu \mathcal{A}^\nu) = (\partial_\lambda
\mathcal{A}_\rho)(\partial_\sigma \mathcal{A}_\tau) \eta^{\sigma \lambda} \eta^{\tau \rho}## and use the relations ##\frac{\partial}{\partial(\partial_\mu \mathcal{A}_\nu)}(\partial_i \mathcal{A}_j) = \delta^i_\mu \delta^j_\nu## to show that the partial of the first term of ##\mathcal{L}## with respect to ##\partial_\mu \mathcal{A}_\nu## is ##-\partial^\mu \mathcal{A}^\nu##.

Similarly write ##(\partial_\mu \mathcal{A}^\mu)^2 = (\partial_\rho A_\sigma \cdot \eta^{\rho \sigma})^2## and use the chain rule to get that the partial of the second term of ##\mathcal{L}## with respect to ##\partial_\mu \mathcal{A}_\nu## equals ##\partial_\rho \mathcal{A}^\rho \cdot \eta^{\mu\nu}##.
 
  • Like
Likes Greg Bernhardt, offscene and topsquark
Euge said:
Write ##(\partial_\mu \mathcal{A}_\nu)(\partial^\mu \mathcal{A}^\nu) = (\partial_\lambda
\mathcal{A}_\rho)(\partial_\sigma \mathcal{A}_\tau) \eta^{\sigma \lambda} \eta^{\tau \rho}## and use the relations ##\frac{\partial}{\partial(\partial_\mu \mathcal{A}_\nu)}(\partial_i \mathcal{A}_j) = \delta^i_\mu \delta^j_\nu## to show that the partial of the first term of ##\mathcal{L}## with respect to ##\partial_\mu \mathcal{A}_\nu## is ##-\partial^\mu \mathcal{A}^\nu##.

Similarly write ##(\partial_\mu \mathcal{A}^\mu)^2 = (\partial_\rho A_\sigma \cdot \eta^{\rho \sigma})^2## and use the chain rule to get that the partial of the second term of ##\mathcal{L}## with respect to ##\partial_\mu \mathcal{A}_\nu## equals ##\partial_\rho \mathcal{A}^\rho \cdot \eta^{\mu\nu}##.
Thank you so much for your help, I have a question after using the chain rule on the second term. After expanding as you suggested and using the chain rule, I get: =##(\partial_\rho \mathcal{A}_\sigma \eta^{\rho \sigma}) \cdot \eta^{\rho \sigma} \delta_\mu^\rho \delta_\nu^\sigma## but this means we must substitute ##\rho=\mu## and ##\sigma=\nu## everywhere to satisfy the delta, however this gives ##(\partial_\mu \mathcal{A}^\mu) \cdot \eta^{\mu \nu}## which isn't the same as the answer right? I'm struggling to find where I'm going wrong here.
 
Note that ##\eta^{\mu\nu}## are constants, so they have zero derivatives. The partial derivative of ##(\partial_\rho \mathcal{A}_\sigma \cdot \eta^{\rho\sigma})^2## with respect to ##\partial_\mu\mathcal{A}_\nu## is $$2(\partial_\rho \mathcal{A}_\sigma \cdot \eta^{\rho \sigma})\cdot \partial_\mu\mathcal{A}_\nu(\partial_i \mathcal{A}_j \cdot \eta^{i j}) = 2(\partial_\rho \mathcal{A}_\sigma \cdot \eta^{\rho \sigma})\delta_{\mu i} \delta_{\nu j} \eta^{ij}$$ Can you reduce the latter expression further?
 
First, I tried to show that ##f_n## converges uniformly on ##[0,2\pi]##, which is true since ##f_n \rightarrow 0## for ##n \rightarrow \infty## and ##\sigma_n=\mathrm{sup}\left| \frac{\sin\left(\frac{n^2}{n+\frac 15}x\right)}{n^{x^2-3x+3}} \right| \leq \frac{1}{|n^{x^2-3x+3}|} \leq \frac{1}{n^{\frac 34}}\rightarrow 0##. I can't use neither Leibnitz's test nor Abel's test. For Dirichlet's test I would need to show, that ##\sin\left(\frac{n^2}{n+\frac 15}x \right)## has partialy bounded sums...