Deriving Maxwell's equations from the Lagrangian

Click For Summary
SUMMARY

This discussion focuses on deriving Maxwell's equations from the Lagrangian formulation as presented in David Tong's Quantum Field Theory notes. The key steps involve taking partial derivatives of the Lagrangian with respect to the field strength tensor components, specifically ##\partial(\partial_\mu \mathcal{A}_\nu)##. The results show that the first term yields ##-\partial^\mu \mathcal{A}^\nu## and the second term results in ##\partial_\rho \mathcal{A}^\rho \cdot \eta^{\mu\nu}##. The discussion emphasizes the application of the chain rule and the use of delta functions in the derivation process.

PREREQUISITES
  • Understanding of Lagrangian mechanics
  • Familiarity with Quantum Field Theory (QFT)
  • Knowledge of tensor calculus and the metric tensor ##\eta^{\mu\nu}##
  • Proficiency in applying the chain rule in calculus
NEXT STEPS
  • Study the derivation of the Euler-Lagrange equations in field theory
  • Learn about the role of the metric tensor in relativistic physics
  • Explore the implications of gauge invariance in electromagnetism
  • Investigate the relationship between field strength tensors and physical observables
USEFUL FOR

Students and researchers in theoretical physics, particularly those focusing on Quantum Field Theory and electromagnetism, will benefit from this discussion. It is also valuable for anyone looking to deepen their understanding of the mathematical foundations of field theories.

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   Reactions: 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?
 
  • Like
Likes   Reactions: offscene

Similar threads

  • · Replies 3 ·
Replies
3
Views
453
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 30 ·
2
Replies
30
Views
7K
  • · Replies 1 ·
Replies
1
Views
577
Replies
5
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K