5.2 Lagrangian Formalism
As Newton’s ideas and methods were adopted and applied to address problems of increasing
sophistication its limits were also made apparent by the increase in the complexity of the used notation.
Consequently, further development had the goal of addressing these shortcomings by simplifying
calculations and establishing the foundations for a wider variety of treatable problems. Therefore,
computational methods and notations to handle the increasing intricacies of the posed problems have
been developed by Euler [64], Laplace [85] and Lagrange [86], without altering the fundamentals or
the nature of Newton’s world. Where Newton’s description focuses on forces and accelerations using
second order differential equations, the Lagrangian formulation recasts them as a set of first order
differential equations. It does so by redirecting attention from the explicit treatment of forces and
accelerations to expressions linked to energy. Starting from an expression for Newton’s second
law
the
term for the force term may be decomposed into a part which can be represented using a potential and a
remaining part.
Furthermore, the momentum is linkable to kinetic energy and expressible as
Inserting into (5.9) yields
The
two terms of energy in this formulation are collected into a single expression as the difference of kinetic
and potential energy
called
the Lagrangian. As such this Lagrangian contains components from the base manifold (Definition 37)
as well as the tangent spaces (Definition 48) and is thus a mapping.
Based on the Lagrangian, a motion takes the form
which is called the Euler-Lagrange equation. While the Euler-Lagrange equation may seem to add to the
overall complexity, the step to describe the evolution of a system using the scalar quantities of energy
results in an overall simplification as this notation remains invariant to a larger group of
transformations and it becomes easier to apply constraints. The configuration space is now
generalized to a manifold, so that the coordinates which previously described a location in the
physical world are now extended to abstract degrees of freedom. These abstracted degrees of
freedom are no longer required to have physical dimensions such as position or velocity,
but may in fact be dimensionless. Regardless of the physical dimension associated to the
degrees of freedom, they are specified given as and , where corresponds to a base
manifold , is from the tangent space Thus this description can be summarized
to take place in the tangent bundle . Where previously a location, a velocity and an
acceleration were required, it is now sufficient to provide a point in this tangent bundle,
called the configuration space. This does not change the Galilean structure of the world,
however.
A trajectory which is used to describe a motion within the manifold (Definition 35) may be
associated with a curve (Definition 45) in the tangent bundle (Definition 52) of using a
lift (Definition 26). Among all of the possible choices to lift a curve , the one of the form
which associates at every point the curve passes through its tangent vector, is called a natural
lift.
The curve to be lifted connects a starting point to an end point, thus changing the description from an
initial value problem, to a boundary value problem. In order to appreciate the geometric nature of
Lagrange’s formalism a short exploration of the concepts behind the distance of two points in a more
traditional geometric setting is explored.
Using the clearly geometric construction presented in Section 4.8, with the Lagrangian taking the
place of the metric field, it is possible to evaluate the Lagrangian along a lifted curve and, again using
the notion of a curve integral (Definition 95), assign values, called actions, to sections of any curve in
the following fashion
where the parameters and correspond to the points and as indicated in Figure 5.2. In
mimicking the definition of distance, this allows to distinguish the various trajectories from each other,
thus providing a selection criterion in the form of the extrema which can be derived using
a simple homotopy (Definition 32) for variation, as can be shown in a short calculation.
Setting
it
follows
Upon
shortly examining the last term in this expression, it is found that
which, when applied, finally results in the expressions
which can only hold in general, if the integrand itself vanishes. This condition is found to be equivalent
to the Euler-Lagrange Equation 5.14. This means that from all possible curves , which pass through
the given points and , as shown in Figure 5.2, the actual realization can be found by the
minimization of the action defined in Equation 5.16 as in this case the equations of motion in the form
of the Euler-Lagrange Equation are met.