Maupertuis zei: Action =
S ≡ ∫mvds =
∫mv²dt
waarbij de integraal overgaat
naar een pad in de tijd van variabele t(s0) naar t(s0+Δs)):
S = ∫mv²dt =
∫2Kdt =
∫(K+K)dt
Hamilton zei: totale of mechanische energie E = K+V
dus
S = ∫(K+K)dt =
∫(K+E-V)dt =
∫(K-V+E)dt =
∫(K-V)dt + ∫Edt
Lagrange zei: ℒ ≡ K-V
dus
S = ∫(K-V)dt + ∫Edt =
∫ℒdt + ∫Edt
δS =
δ∫ℒdt + δ∫Edt =
δ∫ℒdt + E•δ∫dt + δE•∫dt =
δ∫ℒdt + E•δ∫dt + 0•∫dt =
δ∫ℒdt + E•δ(Δt)
Kijken we daarentegen naar een pad tussen vaste tijdstippen,
dus met constante Δt in plaats van constante Δs
dan is E•δ(Δt)=0
en wordt δS = δ∫ℒdt + E•0 + δE•Δt
dan is δ∫Edt= 0 en dus
δS= δ∫ℒdt + δE•Δt
In de gevallen, los van S, dat δ∫ℒdt=0 geldt de Euler-Lagrange vergelijking.En die leidt weer tot Nöther's behoudswetten uit symmetrieën.
Waaronder de wet van behoud van energie. Dus konden we δE nog niet op 0 stellen.
Die behoudswetten gelden dus in werelden waarin δS = δE•Δt ⇔ δS/δE = Δt