Demystifying the Lagrangian formalism for field theories
Pith reviewed 2026-05-24 15:12 UTC · model grok-4.3
The pith
The Euler-Lagrange equations from a field action stay unchanged under arbitrary coordinate transformations and recover Maxwell's equations.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The action is defined as the integral of a scalar Lagrangian density over spacetime. Its stationarity condition yields Euler-Lagrange equations for the fields. These equations remain identical after an arbitrary coordinate change. When the Lagrangian density is that of electrodynamics, the resulting equations are Maxwell's equations.
What carries the argument
The action integral of a scalar Lagrangian density, whose variation produces the Euler-Lagrange equations for the field variables.
If this is right
- Field equations derived this way hold in every coordinate system without additional adjustment.
- The same procedure applied to the electromagnetic Lagrangian produces the four Maxwell equations.
- Any field theory whose Lagrangian density is a scalar will automatically satisfy the same invariance.
Where Pith is reading between the lines
- The same invariance would apply directly to field theories on curved backgrounds without extra machinery.
- The derivation supplies a template for constructing new field equations that are guaranteed to be coordinate-independent.
Load-bearing premise
The physical field equations are exactly those that make the action stationary.
What would settle it
An explicit coordinate transformation applied to the derived Euler-Lagrange equations that produces a different set of equations.
read the original abstract
This paper expands on previous work to derive and motivate the Lagrangian formulation of field theories. In the process, we take three deliberate steps. First, we give the definition of the action and derive Euler-Lagrange equations for field theories. Second, we prove the Euler-Lagrange equations are independent under arbitrary coordinate transformations and motivate that this independence is desirable for field theories in physics. We then use the Lagrangian for Electrodynamics as an example field Lagrangian and prove that the related Euler-Lagrange equations lead to Maxwell's equations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives the action and Euler-Lagrange equations for field theories, proves that these equations remain independent under arbitrary coordinate transformations, motivates the desirability of this property, and substitutes the electrodynamics Lagrangian to recover the inhomogeneous Maxwell equations.
Significance. If the derivations hold, the manuscript offers a pedagogical exposition of standard results in classical field theory, with explicit emphasis on covariance under coordinate changes and a direct verification for electromagnetism. These steps are textbook constructions with no internal gaps visible in the argument structure; the work may serve as a teaching resource but introduces no new theorems or predictions.
minor comments (2)
- [Abstract] Abstract: states that proofs exist but supplies no equations or intermediate steps, which reduces immediate assessability even though the full text contains the derivations.
- The motivation for coordinate independence is presented as desirable for field theories, but the manuscript could more explicitly contrast this with the non-covariant form of the equations in a specific coordinate system to strengthen the pedagogical point.
Simulated Author's Rebuttal
We thank the referee for their review and for recommending minor revision. The referee correctly summarizes the manuscript as a pedagogical derivation of the action principle, Euler-Lagrange equations for fields, their invariance under coordinate transformations, and the recovery of Maxwell's equations from the electromagnetic Lagrangian. No specific major comments were provided in the report, so we have no individual points to address.
Circularity Check
No significant circularity
full rationale
The derivation begins from the standard definition of the action as the integral of a scalar Lagrangian density, derives the Euler-Lagrange equations via the usual variational principle, proves their invariance under arbitrary coordinate transformations by explicit transformation of the density and volume element, and substitutes the electromagnetic Lagrangian to recover Maxwell's equations. All steps are self-contained textbook constructions with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing reliance on self-citations. The result is independent of its inputs.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The action is stationary at the physical field configuration.
- domain assumption The Lagrangian density transforms as a scalar under coordinate changes.
Forward citations
Cited by 1 Pith paper
-
Demystifying the Lagrangians of special relativity
Derives Lagrangian mechanics for relativistic particles and fields from the postulates of special relativity, recovering E=mc² and Lorentz invariance of EM equations.
Reference graph
Works this paper leans on
-
[1]
Gerd Wagner and Matthew W. Guthrie. Demystifying the lagrangian of classical mechanics. arXiv preprint arXiv:1907.07069 , 2019
work page internal anchor Pith review Pith/arXiv arXiv 1907
-
[2]
H. Goldstein, C.P. Poole, and J.L. Safko. Classical Mechanics . Addison Wesley, 2002
work page 2002
-
[3]
The simplest way to picture this equation is to imagine a real area in space, which is described from within two systems of coordinates
-
[4]
The simplest way to picture this element is to imagine a real point on the surface of the area in space, which is described from within two systems of coordinates
-
[5]
J.D. Jackson. Classical Electrodynamics, 3rd Ed. Wiley, 1999
work page 1999
- [6]
-
[7]
Of course the field may have multiple components as it would in the case of an electric field
-
[8]
A notable special case is when F is the identity function. Equation defFByArg then reads (x) = bar 016 ( bar 016 x ) + .2777em + .2777em (f( bar 016 x )) = bar 016 ( bar 016 x ). Fields that transform this way are called scalar fields. The Higgs field is a famous example of a scalar field
-
[9]
An Introduction to Quantum Field Theory , chapter 1.3
George Sterman. An Introduction to Quantum Field Theory , chapter 1.3. Cambridge University Press, 1993
work page 1993
-
[10]
Gerd Wagner and Matt Guthrie, Demystifying the Lagrangian of Classical Mechanics
-
[11]
Jackson, Classical Electrodynamics, section 6.4
J.D. Jackson, Classical Electrodynamics, section 6.4
-
[12]
https://physics.stackexchange.com/questions/34241/deriving-lagrangian-density-for-electromagnetic-field
-
[13]
George Sterman - An Introduction to Quantum Field Theory - Section 1.3 Invariance and conservation
-
[14]
Griffiths introduction to electrodynamics
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.