# Recovering all of Maxwell's equations from the variational principle

Whether you can get the first couple of Maxwell equations from a variational principle? In the second volume of the Landau theoretical physics said that it is impossible.

-
In which section do they say that? –  Ján Lalinský Jun 17 '14 at 6:23
classical electrodynamics in the 4 section –  user50617 Jun 17 '14 at 6:26
Please add details, such as which Maxwells equations you are talking about and the section of Landau in the question. –  user7757 Jun 17 '14 at 6:53
Ok, how can you get the first couple of Maxwell equations from a variational principle? I talking about the equation $dF=0$, where d is internal differential. it is in geometric form. How see that the $dF=0$ is the consequence of the variational principle? –  user50617 Jun 17 '14 at 6:54
Possible duplicate: physics.stackexchange.com/q/71611/2451 –  Qmechanic Jun 17 '14 at 7:13

The Maxwell Lagrangian is given by,

$$\mathcal{L}=-\frac{1}{4}F_{\mu\nu}F^{\mu\nu}$$

where $F_{\mu\nu}$ is the field-strength of the gauge field, or alternatively may be interpreted as the curvature of a $U(1)$ Lie algebra valued connection, $A_{\mu}$. By applying the variational principle we obtain,

$$\partial_\mu F^{\mu\nu}=0$$

in vacuum. In terms of the electric and magnetic fields,

$$\nabla \cdot \vec{E}=0 \quad \quad \partial_t \vec{E}=\nabla \times \vec{B}$$

we recover two of Maxwell's equations. Notice, in differential form language, $F=dA$, i.e. the curvature is an exact form, and all exact forms are also closed under the operation of exterior differentiation, i.e.

$$dF=d^2 A=0$$

Converting the above expression to a tensor equation, using the standard definition,

$$d\omega^{(n)}_{a_1 \dots a_n}=\frac{1}{n!} \left( \partial_{[a_1} \omega_{\dots a_n]}\right)$$

recovers the tensor form of the Bianchi identity,

$$\partial_\lambda F_{\mu\nu}+\partial_\mu F_{\nu\lambda}+\partial_\nu F_{\lambda\mu}=0$$

from which the two remaining Maxwell equations follow:

$$\nabla \cdot \vec{B}=0\quad \quad \partial_t \vec{B}=-\nabla\times \vec{E}$$

Recall, given the spin connection $\omega$, by Cartan's second structure equation, the curvature form is,

$$\mathcal{R}=d\omega + \omega \wedge \omega$$

However, the Lie group $U(1)$ is Abelian, and the structure constants vanish, hence the above simplifies,

$$\mathcal{R}=d\omega$$

which is completely analogous to the definition of the electromagnetic field strength. Other gauge groups may not possess the same field-strength. For example, in quantum chromodynamics, $SU(3)$ is non-Abelian, and the extra term does not vanish; in tensor form:

$$G_{\mu\nu}^a=\partial_\mu A^a_\nu - \partial_\nu A^a_\mu + gf^{a}_{bc}A^{b}_\mu A^{c}_\nu$$

-
okay,the pulpation is clear,thanks –  user50617 Jun 17 '14 at 7:15
In what sense is $F_{\mu \nu}$ as the curvature of $A_{\mu}$? –  user7757 Jun 17 '14 at 8:43
@ramanujan_dirac: See the updated answer. –  JamalS Jun 17 '14 at 9:24
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9725620150566101, "perplexity": 365.63048643478896}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-22/segments/1432207932737.93/warc/CC-MAIN-20150521113212-00188-ip-10-180-206-219.ec2.internal.warc.gz"}