# nLab Lagrangian

### Context

#### Variational calculus

variational calculus

# Contents

## Idea

For a classical mechanical system, the laws of motion can be expressed in terms of an action principle: the actual paths must be the (locally) extremal paths of the action functional.

In one of the formulations of the classical mechanics, called Lagrangean formalism, every mechanical system is characterized by its configuration space and a single function called Lagrangian which determines the laws of motion (the initial configuration should be given independently).

The Lagrangian, Lagrangian function or Lagrangean $L=L\left(q,\stackrel{\cdot }{q},t\right)$ is a real valued function of the points in configuration space and their time derivatives (for some sytems also depending on time), such that the corresponding action principle can be expressed as Euler-Lagrange equations: for all $i$,

$\frac{d}{\mathrm{dt}}\left(\frac{\partial L}{\partial {\stackrel{\cdot }{q}}_{i}}\right)-\frac{\partial L}{\partial {q}_{i}}=0$\frac{d}{dt} \left( \frac{\partial L}{\partial \stackrel{\cdot}{q}_i} \right) - \frac{\partial L}{\partial {q}_i} = 0

Here $q=\left({q}_{1},\dots ,{q}_{n}\right)$ is the coordinate in the configuration space.

For continuum systems satisfying reasonable locality, Lagrangians can be expressed in terms of integrating a local quantity, so-called Lagrangian density.

## Definition

For $X$ a (spacetime) smooth manifold of dimension $n$ and $E\to X$ a field bundle with jet bundle ${j}_{\infty }E\to X$ let ${\Omega }^{•,•}\left({j}_{\infty }E\right)$ be the corresponding variational bicomplex.

A Lagrangian on $E$ is an element

$L\in {\Omega }^{n,0}\left({j}_{\infty }E\right)$L \in \Omega^{n,0}(j_\infty E)

regarded as a differential form-valued functional on the space of sections:

$L:\left(\varphi \in \Gamma \left(E\right)\right)↦L\left({j}_{\infty }\varphi \right)\phantom{\rule{thinmathspace}{0ex}}.$L : (\phi \in \Gamma(E)) \mapsto L(j_\infty \phi) \,.

The integral

${\int }_{X}L\left({j}_{\infty }\left(-\right)\right):\Gamma \left(\varphi \right)\to ℝ$\int_X L(j_\infty(-)) : \Gamma(\phi) \to \mathbb{R}

is the corresponding local action functional.

Revised on January 16, 2013 07:40:06 by Urs Schreiber (137.132.3.10)