nLab
variational calculus

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Variational calculus

variational calculus

Differential geometric version

Derived differential geometric version

Physics

physics, mathematical physics

Surveys, textbooks and lecture notes

theory (physics), model (physics)

Contents

Idea

Variational calculus – sometimes called secondary calculus – is a version of differential calculus that deals with local extremization of nonlinear functionals: extremization of differentiable functions on non-finite dimensional spaces such as mapping spaces.

Specifically, it studies the critical points , i.e. the points where the first variational derivative of a functional vanishes, for functionals on spaces of sections of jet bundles. The kinds of equations specifying these critical points are Euler-Lagrange equations.

This applies to, and is largely motivated from, the study of action functionals in physics. In classical physics the critical points of a specified action functional on the space of field configurations encode the physically observable configurations.

There are strong cohomological tools for studying variational calculus, such as the variational bicomplex and BV-BRST formalism.

In terms of smooth spaces

We discuss some basics of variational calculus in terms of smooth spaces and in particular in terms of diffeological spaces.

Smooth functionals

Let X be a smooth manifold. Let Σ be a smooth manifold with boundary ∂Σ↪Σ.

Write

[Σ,X]∈Smooth0Type[\Sigma, X] \in Smooth0Type

for the smooth space (a diffeological space) which is the mapping space from Σ to X, hence such that for each U∈ CartSp we have

[Σ,X](U)=C ∞(U×Σ,X).[\Sigma, X](U) = C^\infty(U \times \Sigma, X) \,.
Definition

Write

[Σ,X] ∂Σ≔[Σ,X]× [∂Σ,X]♭[∂Σ,X][\Sigma, X]_{\partial \Sigma} \coloneqq [\Sigma, X] \times_{[\partial \Sigma,X]} \flat [\partial \Sigma,X]

for the pullback in smooth spaces

[Σ,X] ∂Σ → ♭[∂Σ,X] ↓ ↓ [Σ,X] →(−)∣ ∂Σ [∂Σ,X],\array{ [\Sigma,X]_{\partial \Sigma} &\to& \flat [\partial \Sigma, X] \\ \downarrow && \downarrow \\ [\Sigma,X] &\stackrel{(-)|_{\partial \Sigma}}{\to}& [\partial \Sigma,X] } \,,

where

  • the bottom morphism is the restriction [∂Σ↪Σ,X] of configurations to the boundary;

  • the right vertical morphism is the counit of the (Disc⊣Γ)-adjunction on smooth spaces.

Proposition

The smooth space [Σ,X] ∂Σ is a diffeological space whose underlying set is C ∞(Σ,X) and whose U-plots for U∈ CartSp are smooth functions ϕ:U×Σ→X such that ϕ(−,s):U→X is the constant function for all s∈∂Σ↪Σ.

Definition

A functional on the mapping space [Σ,X] is a homomorphism of smooth spaces

S:[Σ,X] ∂Σ→ℝ.S \colon [\Sigma, X]_{\partial \Sigma} \to \mathbb{R} \,.

Functional derivative

Write

d:ℝ→Ω 1\mathbf{d} \colon \mathbb{R} \to \Omega^1

for the de Rham differential incarnated as a homomorphism of smooth spaces from the real line to the smooth moduli space of differential 1-forms.

Definition

The functional derivative

dS∈Ω 1([Σ,X] ∂Σ)\mathbf{d}S \in \Omega^1([\Sigma,X]_{\partial \Sigma})

of a functional S, def. 2, is simply its de Rham differential as a homomorphism of smooth spaces, hence the composite

dS:[Σ,X] ∂Σ→Sℝ→dΩ 1.\mathbf{d} S \colon [ \Sigma, X]_{\partial \Sigma} \stackrel{S}{\to} \mathbb{R} \stackrel{\mathbf{d}}{\to} \Omega^1 \,.
Definition

This means that for each smooth parameter space U∈ CartSp and for each smooth U-parameterized collection

ϕ:U×Σ→X\phi \colon U \times \Sigma \to X

of smooth functions Σ→X, constant in the parameter U in some neighbourhood of the boundary of Σ,

S ϕ:[Σ,X] ∂Σ(U)→C ∞(U,ℝ)S_\phi \colon [\Sigma,X]_{\partial \Sigma}(U) \to C^\infty(U,\mathbb{R})

is the function that sends each such U-collection of configurations to the U-collection of their values under S. Then

(dS) ϕ∈Ω 1(U)(\mathbf{d}S)_\phi \in \Omega^1(U)

is the smooth differential 1-form

(dS) ϕ=d(S(ϕ)).(\mathbf{d}S)_\phi = \mathbf{d}(S(\phi)) \,.
Example

Let Σ=[0,1]↪ℝ be the standard interval. Let

L(−,−)dt∈Ω 1([0,1],C ∞(ℝ 2))L(-,-) \mathbf{d}t \in \Omega^1([0,1], C^\infty(\mathbb{R}^2))

and consider the functional

S:([0,1]→γX)↦∫ 0 1L(γ(t),γ˙(t))dt.S \colon ([0,1] \stackrel{\gamma}{\to} X) \mapsto \int_{0}^1 L(\gamma(t), \dot \gamma(t)) d t \,.

Then for U=ℝ and any smooth U-parameterized collection {γ u:Σ→X} u∈I the functional derivative takes the value

dS γ (−) =(ddu∫ 0 1L(γ u(t),γ˙ u(t))dt)du =∫ 0 1(∂L∂γ(γ u(t),γ˙ u(t))dγ u(t)du+∂L∂γ˙(γ u(t),γ˙ u(t))∂γ˙ u(t)∂u)du =∫ 0 1(∂L∂γ(γ u(t),γ˙ u(t))dγ u(t)du+∂L∂γ˙(γ u(t),γ˙ u(t))∂∂t∂γ u(t)∂u)du =∫ 0 1(∂L∂γ(γ u(t),γ˙ u(t))−∂∂t∂L∂γ˙(γ u(t),γ˙ u(t)))∂γ u(s)∂udu.\begin{aligned} \mathbf{d}S_{\gamma_{(-)}} & = \left( \frac{d}{d u} \int_0^1 L(\gamma_u(t), \dot \gamma_u(t)) dt \right) \mathbf{d}u \\ & = \int_{0}^1 \left( \frac{\partial L}{\partial \gamma}(\gamma_u(t), \dot \gamma_u(t)) \frac{d \gamma_u(t)}{d u} + \frac{\partial L}{\partial \dot \gamma}(\gamma_u(t), \dot \gamma_u(t)) \frac{\partial \dot \gamma_u(t)}{\partial u} \right) \mathbf{d} u \\ & = \int_{0}^1 \left( \frac{\partial L}{\partial \gamma}(\gamma_u(t), \dot \gamma_u(t)) \frac{d \gamma_u(t)}{d u} + \frac{\partial L}{\partial \dot \gamma}(\gamma_u(t), \dot \gamma_u(t)) \frac{\partial }{\partial t}\frac{\partial \gamma_u(t)}{\partial u} \right) \mathbf{d} u \\ & = \int_{0}^1 \left( \frac{\partial L}{\partial \gamma}(\gamma_u(t), \dot \gamma_u(t)) - \frac{\partial}{\partial t}\frac{\partial L}{\partial \dot \gamma}(\gamma_u(t), \dot \gamma_u(t)) \right) \frac{\partial \gamma_u(s)}{\partial u} \mathbf{d}u \end{aligned} \,.

Here we used integration by parts? and used that the boundary term vanishes

∫ 0 1∂∂t(∂∂γ˙L(γ u(s),γ˙ u(s))∂γ u(s)∂u)ds =(∂∂γ˙L(γ u(1),γ˙ u(1))∂γ u(1)∂u)−(∂∂γ˙L(γ u(0),γ˙ u(0))∂γ u(0)∂u) =0\begin{aligned} \int_{0}^1 \frac{\partial}{\partial t} \left( \frac{\partial}{\partial \dot\gamma} L(\gamma_u(s), \dot \gamma_u(s)) \frac{\partial \gamma_u(s)}{\partial u} \right) d s & = \left( \frac{\partial}{\partial \dot\gamma} L(\gamma_u(1), \dot \gamma_u(1)) \frac{\partial \gamma_u(1)}{\partial u} \right) - \left( \frac{\partial}{\partial \dot\gamma} L(\gamma_u(0), \dot \gamma_u(0)) \frac{\partial \gamma_u(0)}{\partial u} \right) \\ & = 0 \end{aligned}

since by prop. 1 γ (−)(1) and γ (−)(0) are constant.

References

Fundamental texts of variational calculus include

  • Ian Anderson, The variational bicomplex, pdf

  • Peter Olver, Applications of Lie groups to differential equations, Springer; Equivalence, invariants, and symmetry, Cambridge Univ. Press 1995.

  • Olga Krupková, The geometry of ordinary variational equations, Springer 1997, 251 p.

  • Robert Hermann, Some differential-geometric aspects of the Lagrange variational problem, Illinois J. Math. 6, 1962, 634–673, MR145457,euclid

  • Robert Hermann, Differential geometry and the calculus of variations, Acad. Press 1968

  • J. Jost, X. Li-Jost, Calculus of variations, CUP 1998

  • G. J. Zuckerman, Action Principles and Global Geometry , in Mathematical Aspects of String Theory, S. T. Yau (Ed.), World Scientific, Singapore, 1987, pp. 259€284. (pdf)

Examples: Jürgen Jost, Variational problems from physics and geometry, pdf

Some new results are in

  • E. Getzler, A Darboux theorem for Hamiltonian operators in the formal calculus of variations, Duke Math. J. 111, n. 3 (2002), 535-560, MR2003e:32026, doi
  • Alberto De Sole, Victor G. Kac, The variational Poisson cohomology, arxiv/1106.0082

Geometric extremization problems (e.g. minimal surfaces), see also geometric measure theory:

  • Jürgen Jost, The geometric calculus of variations: a short survey and a list of open problems, Exposition. Math. 6 (1988), no. 2, 111–143, MR89h:58036
  • H. Federer, Geometric measure theory, Springer 1969(especially appendices to Russian transl.)
  • Frederick J., Jr. Almgren, Almgren’s big regularity paper (book form of a 1970s preprint)

Other references

  • J. C. P. Bus, The Lagrange multiplier rule on manifolds and optimal control of nonlinear systems, SIAM J. Control and Optimization 22, 5, 1984, 740-757 pdf

Relation to covariant phase spaces

  • L. Vitagliano, Secondary calculus and the covariant phase space, pdf

By functorial analysis and 𝒟-geometry

See also references at diffiety.

A formalism for variational calculus based on functorial analysis (with a precise relation with functional analytic methods and jet formalism) and a long list of examples of variational problems arising in classical mechanics and quantum field theory are collected in

The formulation of variational calculus in terms of diffeological spaces is mentioned for instance in section 1.65 of

following section 2.3.20 of

For variational calculus in nonstandard analysis see survey

  • Vítor Neves, Nonstandard calculus of variations, a survey, pdf

Revised on November 10, 2012 16:55:31 by Urs Schreiber (89.204.153.235)
Edit | Back in time (22 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: differentiable stack, BV-BRST formalism, Diff, smooth infinity-groupoid, smooth algebra, CartSp, differential geometry, Klein 2-geometry, smooth Lorentzian space, generalized complex geometry, diffeological space, path groupoid, synthetic differential geometry, Lie group, smooth space, electromagnetic field, differential form, diffeomorphism, cotangent bundle, tangent bundle, Models for Smooth Infinitesimal Analysis, diffiety, cartesian space, infinitesimal object, de Rham complex, Riemannian manifold, de Rham space, de Rham theorem, isometry, synthetic differential supergeometry, action functional, Kock-Lawvere axiom, amazing right adjoint, Euclidean geometry, Lagrangian, Euler-Lagrange equation, microlinear space, synthetic differential geometry - contents, Tietze extension theorem, pseudo-Riemannian metric, Poincare group, Christoffel symbols, gravity as a BF theory, Riemannian metric, vector field, multisymplectic geometry, Levi-Civita connection, pseudo-Riemannian manifold, Riemannian geometry, Riemann surface, Banach manifold, foliation, Fermat theory, Bell's theorem, smooth loop space, local Lie group, exotic smooth structure, geodesic, differentiable map, Dyson formula, functional, differential equation, Hadamard lemma, tubular neighbourhood, spin connection, Bisognano-Wichmann theorem, hermitian matrix, Osterwalder-Schrader theorem, jet space, ordinary differential equation, optics, graphical quantum channel, phase space, Hodge star operator, Klein geometry, Cartan geometry, normal bundle, manifold structure of mapping spaces, smooth manifold, smooth map, variational calculus, volume form, Poincare lemma, perturbative quantum field theory, Reeh-Schlieder theorem, Cahiers topos, no-go theorem, conserved current, Lie derivative, kilogram, submersion, complex geometry, Peter Olver, variational bicomplex, Lie group cohomology, bundle 2-gerbe, Avogadro constant, ball, vielbein, infinitesimally thickened point, Stokes theorem, coisotropic submanifold, differentiation, chain rule, holonomy groupoid, Gregg Zuckerman, Steenrod-Wockel approximation theorem, relativistic particle, symmetric space, Jacobian, Tannaka duality for Lie groupoids, smooth infinity-groupoid -- structures, Chiral Algebras, D-scheme, Boman's theorem, charge of a conserved current, synthetic differential infinity-groupoid, Noether's theorem, diffeomorphism group, formal smooth manifold, Laplace operator, wave equation, differential calculus, jet bundle, complex manifold, critical point, variational calculus - contents, complex structure, local diffeomorphism, timelike curve, concrete smooth infinity-groupoid, orthogonal structure, C-infinity topology, infinite-dimensional manifold, Quantum Fields and Strings, Borel's theorem, Cauchy surface, Killing vector, Killing spinor, torsion of a metric connection, higher Klein geometry, gradient flow, foliation of a Lie algebroid, kinematic tangent space, contents of contents, moduli space of Riemannian metrics, isometry group, Killing-Yano tensor, Yang-Mills instanton, moment of inertia, special holonomy, Ricci flow, Morse homology, gradient, angular velocity, Euler-Arnold equation, invariant differential form, divergence, curl, higher symplectic geometry, tensor, Paul Dedecker, on the manifold structure of singular loops, Killing tensor, effective action functional, geometric measure theory, Knizhnik-Zamolodchikov equation, derived differential geometry, higher differential geometry, exceptional generalized geometry, bump function, integration of differential forms, immersion of smooth manifolds, Einstein tensor, convenient manifold, ILH manifold, smooth groupoid, generalized vielbein, generalized tangent bundle, type II geometry, canonical bundle, Theta characteristic, general covariance, Hilbert manifold, The Geometry of Physics - An Introduction, almost Hermitian structure, synthetic differential super infinity-groupoid, maximal torus, pullback of a differential form, de Donder-Weyl formalism, Riemann normal coordinates, geometry of physics, motivation for higher differential geometry, Hamilton-Jacobi equation, generalized G2-manifold, smooth superalgebra, field (physics), prequantum field theory, nonabelian Stokes theorem, Dolbeault complex, stress-energy tensor, Berger's theorem, Bn-geometry, singular foliation, Hitchin functional, associative 3-form, operational tangent space, extended Lagrangian, density, principle of least action, calculus, Weyl group, Hilbert's sixth problem, Bott connection, double Lie groupoid, Lie algebroid-groupoid, foliation of a Lie groupoid, synthetic tangent bundle