Help required regarding deriving E-L equations for EM

• I
• grzz

grzz

I am a retired High School teacher trying to use tensors in getting the Euler-Lagrange equations from the em lagrangian density.

I attached a document in my post since I am not fluent in writing LaTex.

Can anyone, please check my work.

Thanks.

Attachments

• IMG.,.pdf
109.6 KB · Views: 263
Hi @grzz I looked at your handwritten notes and part of it is cut off and what remains is somewhat hard to read.

We really prefer Latex input because then we can copy paste parts of your expressions in our responses.

where I found these useful tools:

https://www.codecogs.com/latex/eqneditor.php

Here's another that might be better:

https://arachnoid.com/latex/

The arachnoid site has examples that you can view and tease out what you need

The last equation in the list is the Einstein field equation:

##\displaystyle R_{\mu v} - \frac{1}{2} R g_{\mu v} + \Lambda g_{\mu v} = \frac{8 \pi G}{c^4} T_{\mu v}##

which is basically this latex expression bracketted by double # signs

Code:
\displaystyle R_{\mu v} - \frac{1}{2} R g_{\mu v} + \Lambda g_{\mu v}  = \frac{8 \pi G}{c^4} T_{\mu v}

and here's the Schrodinger's equation complete with an invisible cat :-) jk

##
\displaystyle i \hbar\frac{\partial \psi}
{\partial t}=
\frac{-\hbar^2}{2m}
\left(\frac{\partial^2}{\partial x^2}
+ \frac{\partial^2}{\partial y^2}
+ \frac{\partial^2}{\partial z^2}
\right) \psi + V \psi.##

with the Latex code here:
Code:
\displaystyle i \hbar\frac{\partial \psi}
{\partial t}=
\frac{-\hbar^2}{2m}
\left(\frac{\partial^2}{\partial x^2}
+ \frac{\partial^2}{\partial y^2}
+ \frac{\partial^2}{\partial z^2}
\right) \psi + V \psi.
Our site has a more detailed Latex guide here:

https://www.physicsforums.com/help/latexhelp/

Once you get the hang of it you'll wonder why you didn't learn it sooner.

Last edited:
Thank you 'jedishrfu'.
First I will have some practice using LaTex. Then I intend to repeat my post in a better format!
Thanks again.

jedishrfu
I am following the suggestion by 'jedishrfu' and repeating my original post but removing the pdf attachment and trying LaTex instead.

The langragian for an electromagnetic field with sources is,
$$\mathcal{L}= - \frac {1}{4} F_{αβ}F^{αβ} + j^μA_μ.$$
Hence,
##\mathcal{L} = - \frac {1}{4} F_{αβ}η^{ασ}η^{βρ}F_{σρ} + j^μA_μ
= - \frac {1}{4}(∂_αA_β - ∂_βA_α)η^{ασ}η^{βρ} (∂_σA_ρ - ∂_ρA_σ) + j^μA_μ ##

Therefore,
## \frac {∂\mathcal{L}}{∂(∂_μA_ν)} = - \frac {1}{4} [η^{μσ}η^{νρ} (∂_σA_ρ - ∂_ρA_σ) - η^{νσ}η^{μρ} (∂_σA_ρ - ∂_ρA_σ)
+(∂_αA_β - ∂_βA_α)η^{αμ}η^{βν} - η^{αν}η^{βμ} (∂_αA_β - ∂_βA_α) ]##
##= - \frac {1}{4} [(∂^μA^ν - ∂^νA^μ) - (∂^νA^μ - ∂^μA^ν) + (∂^μA^ν - ∂^νA^μ) - (∂^νA^μ - ∂^μA^ν) ] ##
##= - \frac {1}{4} ( F^{μν} - F^{νμ} +F^{μν} - F^{νμ} )##
## = F^{νμ} ## since the ## F^{μν} ## is an anti symmetrical tensor.

Also ## \frac {∂\mathcal{L}}{ ∂A_μ} = j^μ. ##

Hence the Euler-Langrange equations,
$$\frac {∂\mathcal{L}}{ ∂A_μ} - ∂_ν\left( \frac {∂\mathcal{L}}{ ∂(∂_νA_μ)} \right) = 0$$
for the fields ##A_μ ## are,
$$j^μ - ∂_ν(F^{νμ} ) = 0$$
$$∂_ν(F^{νμ} ) = j^μ .$$

That is the Euler-Langrange equations give the two source Maxwell's Equations while the other two Maxwell's Equations are not given since the latter are not dynamical equations but are just mathematical identities.

Help is appreciated if somebody checks my work and perhaps suggest some shorter method.

Thanks.

Last edited:
Delta2
Perhaps @Orodruin, one of our science advisors can comment on your equations.

You can clean it up a bit by first noting that
$$\partial F_{\alpha\beta}F^{\alpha\beta} = 2F_{\alpha\beta} \partial F^{\alpha\beta} = 2F^{\alpha\beta} \partial F_{\alpha\beta},$$
where ##\partial## is any first derivative. This follows directly from the Leibniz rule. Then you can just note that
$$\frac{\partial F_{\alpha\beta}}{\partial(\partial_\mu A_\nu)} = \delta^\mu_\alpha \delta^\nu_\beta - \delta^\nu_\alpha \delta^\mu_\beta = 2 \delta^{\mu}_{[\alpha} \delta^{\nu}_{\beta]},$$
where the brackets denote anti-symmetrisation with respect to the enclosed indices. Given these relations, you easily find that
$$\frac 14 \frac{\partial F_{\alpha\beta} F^{\alpha\beta}}{\partial(\partial_\mu A_\nu)} = F^{\alpha\beta} \delta^\mu_{[\alpha} \delta^\nu_{\beta]} = F^{\mu\nu},$$
since ##F## is anti-symmetric.

berkeman and jedishrfu
Thanks 'Orodruin".

I am not so fluent with tensors and hence,
$$\partial F_{\alpha\beta}F^{\alpha\beta} = 2F_{\alpha\beta} \partial F^{\alpha\beta} = 2F^{\alpha\beta} \partial F_{\alpha\beta},$$
is not so obvious to me and I have to work it out.

##\begin {align}
∂(F_{αβ}F^{αβ}) & = F^{αβ}∂(F_{αβ}) + F_{αβ}∂(F^{αβ}) \nonumber\\
&= F^{αβ}∂(F_{αβ}) + η _{ασ}η_{βρ}F^{σρ}∂(η^{αλ}η^{βν}F_{λν}) \nonumber\\
&= F^{αβ}∂(F_{αβ}) + δ^λ_σδ^ν_ρF^{σρ}∂(F_{λν}) \nonumber\\
&=F^{αβ}∂(F_{αβ}) + F^{λν}∂(F_{λν})\nonumber \\
&= 2F^{αβ}∂(F_{αβ}).\nonumber
\end{align}##

Is this working required for a beginner or is it to be left out?

Delta2
grzz said:
Is this working required for a beginner or is it to be left out?
What do you mean by required? If you are doing an exam you might speak of requirements. Otherwise what is "required" is just that you convince yourself that it is true. Note that there is no need to pull the metrics out of the ##F_{\alpha\beta}## in your second term. The indices will be raised by the metrics from the ##F^{\alpha\beta}## once you pull them out of the derivative.

jedishrfu
Orodruin said:
What do you mean by required?

I think that it all depends on with whom I share my work.
Perhaps if I share it with a beginner like me, it is good to show all steps.

jedishrfu
Yes that is often the problem with math, the level of the reader. Sometimes, it’s good to be brief and direct especially if there’s other more complex steps. However, Year’s later as you look back at your work, you may well ask why did I do that step, is it correct?

This occurred to me a short time ago as I attempted to relearn vector calculus. I had to prove to myself the sum of angles formulae even though I knew them to be correct, I also needed to know why.

1. What are the E-L equations for EM?

The E-L (Euler-Lagrange) equations for EM (electromagnetism) are a set of partial differential equations that describe the behavior of electric and magnetic fields in space. They are derived from the Lagrangian density, which is a measure of the energy of a system.

2. How are the E-L equations used in EM?

The E-L equations are used to determine the equations of motion for electromagnetic systems. They are fundamental in understanding how electric and magnetic fields interact with each other and with charged particles. They are also used in the development of electromagnetic theories and in the design of electromagnetic devices.

3. Can you explain the derivation process for the E-L equations in EM?

The derivation of the E-L equations in EM involves applying the principle of least action to the Lagrangian density, which represents the energy of the system. This involves finding the stationary points of the action integral, which leads to the E-L equations. This process can be complex and requires a strong understanding of mathematical concepts such as calculus and variational calculus.

4. What are the applications of the E-L equations in EM?

The E-L equations have a wide range of applications in the field of electromagnetism. They are used in the development of electromagnetic theories, such as Maxwell's equations and the theory of relativity. They are also essential in the design and analysis of electromagnetic devices, such as antennas, motors, and generators.

5. How do the E-L equations relate to other equations in EM?

The E-L equations are closely related to other equations in EM, such as Maxwell's equations and the Lorentz force law. In fact, Maxwell's equations can be derived from the E-L equations and the Lorentz force law can be derived from the E-L equations and the conservation of energy and momentum principles. Understanding the relationships between these equations is crucial in developing a comprehensive understanding of electromagnetism.