The Euler-Lagrange equation and the Beltrami identity

In summary, the Euler-Lagrange equation is a fundamental result in the calculus of variations that provides a necessary condition for a functional to have an extremum. It relates the derivative of a function with respect to its variable and the derivative of that function with respect to its parameters. The Beltrami identity, on the other hand, is a specific case that arises when a functional does not explicitly depend on one of its variables. It states that if the Lagrangian has no explicit dependence on a variable, then the corresponding conjugate momentum is conserved. Together, these concepts are essential for understanding variational problems in physics and mathematics.
  • #1
Cleonis
Gold Member
732
39
TL;DR Summary
The operation that converts the Euler-Lagrange equation to the Beltrami identity is integration with respect to the y-coordinate. I'm looking for a transparent way to perform that conversion.
This question is specifically about deriving the Beltrami identity.

Just to give this question context I provide an example of a problem that is solved with Calculus of Variations: find the shape of a soap film that stretches between two coaxial rings.

For the surface area the expression to be integrated from start point to end point:
$$ F = 2 \pi \int_{x_0}^{x_1} y \ \sqrt{1 + (y')^2} \ dx \tag{1} $$
For the purpose of finding the function that minimizes that surface area the Euler-Lagrange equation is applied.

As we know, since the value of ##F## does not depend directly on the x-coordinate the Beltrami identity is applicable.

Comparison of the EL-equation and the Beltrami identity:Euler-Lagrange:
$$ \frac{\partial F}{\partial y} - \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right) = 0 \tag{2} $$
Beltrami:
$$ F - y' \frac{\partial F}{\partial y'} = C \tag{3} $$
We see that the process of conversion from EL-eq. to Beltrami consists of integration with respect to the y-coordinate

For the first term:
$$ \int \frac{\partial F}{\partial y} dy = F + C \tag{4} $$
with ##C## an arbitrary integration constant.

Question:
Is there a transparent way to evaluate the same integral for the second term?
$$ \int \frac{d}{dx}\left(\frac{\partial F}{\partial y'}\right)dy + C \quad = ? = \quad \frac{dy}{dx} \frac{\partial F}{\partial y'} \tag{5} $$

The thing is: showing that (5) is indeed correct is worthwhile only if it can be done in a way that is more accessible than the usual way of obtaining the Beltrami identity.
 
Physics news on Phys.org
  • #2
The Beltrami identity comes from the independence of the Lagrangian of the independent variable, ##x##. You can get it by just taking the total derivative of ##L(y,y',x)##:
$$\mathrm{d}_x L=y' \partial_y L + y'' \partial_{y'} L + \partial_x L.$$
For the solutions of the Euler-Lagrange equations you can write this as
$$\mathrm{d}_x L=y' \mathrm{d}_x (\partial_{y'} L) + y'' \partial_{y'} L+ \partial_x L= \mathrm{d}_x (y' \partial_{y'} L)+\partial_x L$$
or
$$\mathrm{d}_x (y' \partial_{y'} L-L)=-\partial_x L.$$
If ##L## doesn't depend explicitly on ##x##, you have ##\partial_x L## and
$$y' \partial_{y'}L-L=C=\text{const}$$
for all ##y## that are solutions of the Euler-Lagrange equation.
 

FAQ: The Euler-Lagrange equation and the Beltrami identity

What is the Euler-Lagrange equation?

The Euler-Lagrange equation is a fundamental equation in the calculus of variations that provides a necessary condition for a function to be an extremum of a functional. It is derived from the principle of stationary action and is expressed as:

∂L/∂y - d/dx(∂L/∂y') = 0

where L is the Lagrangian function, y is the function of interest, and y' is its derivative with respect to x.

What is the Beltrami identity?

The Beltrami identity is a result in the calculus of variations that provides a condition under which a functional is invariant under a change of variables. It states that if the Lagrangian does not explicitly depend on the independent variable (usually time), then the quantity given by:

p = ∂L/∂y'

is conserved, where p represents the generalized momentum associated with the system.

How are the Euler-Lagrange equation and the Beltrami identity related?

The Euler-Lagrange equation is used to find the extremals of a functional, while the Beltrami identity provides insight into the conservation laws of the system described by that functional. Specifically, if the Lagrangian does not explicitly depend on the independent variable, the Beltrami identity indicates that the momentum is conserved, which can be derived from the Euler-Lagrange equation.

In what contexts are the Euler-Lagrange equation and the Beltrami identity applied?

These concepts are widely used in physics, particularly in classical mechanics, to derive equations of motion for systems. They also find applications in fields such as optimal control, fluid dynamics, and general relativity, where variational principles play a crucial role in formulating the governing equations.

What are some examples of problems that can be solved using the Euler-Lagrange equation?

Examples include finding the trajectory of a projectile under the influence of gravity, determining the shape of a hanging cable (catenary), and analyzing the motion of a pendulum. In each case, the Euler-Lagrange equation helps derive the equations of motion by minimizing or maximizing a corresponding action functional.

Similar threads

Replies
4
Views
1K
Replies
3
Views
2K
Replies
2
Views
426
Replies
8
Views
2K
Replies
12
Views
2K
Back
Top