# Dictionary:Calculus of variations

The mathematics of finding a function that will maximize (or minimize) a definite integral.

## Contents

## Mathematical background

A 'function' is a mapping from a space of numbers to another space of numbers. A mathematical object known as a 'functional' is a mapping of a space of functions
to a number. A definite integral is one such example of a functional.^{[1]} ^{[2]}

## Physics background

In mathematical physics there are problems which require that a path or surface represents the minimization of conserved physical quantities.

Four classic problems of variational calculus are the catenary, brachistochrone, geodesic, and the minimal surface problems.

### Lagrangian formulation of the classical action

In general, all such problems are reduced to the minimization of the *classical action* is defined by the integral

in such a way that the optimal function is produced. Here . The function is a scalar-valued function, but and may be in where is greater than 1.

### Application of Taylor's theorem

Regarding the application of Taylor's theorem, we may write as

Here such that . Terms in square brackets
is commonly called the *first variation* and the part in braces is
commonly called the *second variation.*

The process of solving a given problem is to minimize the first variation of the classical action which is given formally as

The problem then is to find the curve which satisfies the condition that and that all of the potential solution curves have the same values at the endpoints of integration and . This means that the variations of the solution and

### The Euler-Lagrange equations

The integral representation of the first variation of the action

may be simplified by performing integration by parts on the second term in the integrand, wherein the factor is integratied to yield

.

The endpoint evaluation vanishes because the endpoints of all of the solution curves are taken to be the same for all possible solutions, hence Substituting the result back into the integral for we have

implying that the integrand vanishes

Without loss of generality, we may consider and to be in -dimensions, permitting us to write

where .

Solving the Euler-Lagrange equations is equivalent to finding the gradient of the Lagrangian in all of its variables, and setting this equal to zero. The solution curve is the projection of the minimum path in phase space onto the spatial coordinates (the configuration space), depending on the problem.

### Properties of the Lagrangian

The Lagrangian formulation is linear. The Lagrangian of a system is the sum of the Lagrangians of the subsystems that make up that system.

### Case I

Case I:

In this case, the Lagrangian is not explicitly a function of the integration variable.

#### Alternately

We may write the full time derivative of

and

Combining the two identities we have

.

The term in parentheses is Euler-Lagrange.

Hence

is equivalent to the Euler-Lagrange equations when does not depend on the integration variable.

We may immediately write

where is a constant.

### Case II

Case II -

The Lagrangian does not depend on or on the integration variable .

With no explicit dependence of the Lagrangian on

implying that

Also, because does not depend on space

implying that the Lagrangian .

## Physics Ramifications

If we consider the problems of mechanics that different forms of the Lagrangian represent, we see important ramifications regarding the nature of symmetries that lead to the equations of classical mechanics.

### Free space, no potential,

As above this implies that

meaning that is constant with respect to the spatial coordinat .

We also have from the Euler-Lagrange equations that

implying that

,

where is a constant vector.

The last result follows because the partial derivative with respect to is the gradient with respect to the velocity .

Thus, the Lagrangian cannot be a function of the direction of the velocity vector, meaning that the Lagrangian can only be a function of the magnitude of velocity, but not its
direction. This is a statement of the *isotropy of space*.

The result implies that

,

where is a constant of integration.

By the isotropy of space

But because there can be no angular dependence, we may take and thus the expression for the Lagrangian becomes

.

The simplest model is of a particle traveling at a constant velocity, in a constant direction, which is the definition of an inertial frame.

If we define , where is mass, then the Lagrangian takes on the form of kinetic energy, to within a constant

.

### Conservation of linear momentum

Substituting this form of the Lagrangian into

where is the momentum, which must be the same as the constant vector defined in the previous discussion. This
is a statement of *conservation of linear momentum.*

### Free Space with a potential field

By the linearity of the Lagrangian, we need only add the potential to the previous expression of the Lagrangian to obtain

.

Solving the Euler-Lagrange equations (here with written as we have

.

Invoking the equivalence of the velocity gradient of L and momentum, we have

.

Applying the time derivative to the velocity we obtain the acceleration , we have Newton's equation of motion

.

Thus, Newton's laws of mechanics follow from the consideration of the homogeneity and isotropy of space and time.