---

Key Insights into the Beltrami Identity

• Special Case of Euler-Lagrange: The Beltrami identity is a direct consequence of the Euler-Lagrange equation when the Lagrangian (the integrand of the functional) does not explicitly depend on the independent variable.
• Simplification of Problems: It significantly simplifies the process of finding extremals (functions that minimize or maximize a functional) in specific scenarios, making certain problems in the calculus of variations much easier to solve.
• Applications in Physics and Geometry: The Beltrami identity finds notable applications in various fields, including the famous brachistochrone problem and the determination of minimal area surfaces of revolution.

---

What is the Beltrami Identity?

The Beltrami identity, named after the Italian mathematician Eugenio Beltrami, is a fundamental result in the calculus of variations. It provides a simplified approach to solving a specific class of problems where the integrand of the functional, often referred to as the Lagrangian \(L\), does not explicitly depend on the independent variable, typically denoted by \(x\). This condition is mathematically expressed as \(\frac{\partial L}{\partial x} = 0\).

In the calculus of variations, we are often interested in finding a function \(y(x)\) that extremizes (minimizes or maximizes) a functional of the form:

\[ I[y] = \int_{x_1}^{x_2} L(x, y(x), y'(x)) \, dx \]

where \(y'(x)\) is the derivative of \(y\) with respect to \(x\). The general equation used to find such extremal functions is the Euler-Lagrange equation:

\[ \frac{\partial L}{\partial y} - \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right) = 0 \]

When the Lagrangian \(L\) does not explicitly depend on \(x\) (i.e., \(\frac{\partial L}{\partial x} = 0\)), the Euler-Lagrange equation simplifies considerably, leading to the Beltrami identity. This identity is given by:

\[ L - y' \frac{\partial L}{\partial y'} = C \]

where \(C\) is a constant of integration. This first-order differential equation is often much easier to solve than the original second-order Euler-Lagrange equation.

---

Derivation of the Beltrami Identity

The Beltrami identity can be derived directly from the Euler-Lagrange equation under the condition that \(\frac{\partial L}{\partial x} = 0\). Let's consider the total derivative of the Lagrangian with respect to \(x\):

\[ \frac{d L}{dx} = \frac{\partial L}{\partial x} + \frac{\partial L}{\partial y} \frac{dy}{dx} + \frac{\partial L}{\partial y'} \frac{dy'}{dx} \]

Since we assume \(\frac{\partial L}{\partial x} = 0\), this simplifies to:

\[ \frac{d L}{dx} = \frac{\partial L}{\partial y} y' + \frac{\partial L}{\partial y'} y'' \]

From the Euler-Lagrange equation, we have \(\frac{\partial L}{\partial y} = \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right)\). Substituting this into the simplified total derivative of \(L\):

\[ \frac{d L}{dx} = y' \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right) + \frac{\partial L}{\partial y'} y'' \]

The right-hand side of this equation is the result of the product rule for the derivative of \(y' \frac{\partial L}{\partial y'}\):

\[ \frac{d}{dx}\left(y' \frac{\partial L}{\partial y'}\right) = y' \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right) + y'' \frac{\partial L}{\partial y'} \]

Therefore, we have:

\[ \frac{d L}{dx} = \frac{d}{dx}\left(y' \frac{\partial L}{\partial y'}\right) \]

Rearranging this equation gives:

\[ \frac{d}{dx}\left(L - y' \frac{\partial L}{\partial y'}\right) = 0 \]

This implies that the quantity inside the parenthesis is a constant with respect to \(x\), leading to the Beltrami identity:

\[ L - y' \frac{\partial L}{\partial y'} = C \]

---

Why is the Beltrami Identity Useful?

The primary utility of the Beltrami identity lies in its ability to reduce the order of the differential equation that needs to be solved. The Euler-Lagrange equation is a second-order ordinary differential equation (ODE), which can be challenging to solve in many cases. The Beltrami identity, however, provides a first-order ODE when applicable. Solving a first-order ODE is generally much simpler and often involves techniques like separation of variables.

This simplification is particularly powerful when dealing with physical systems where the Lagrangian does not explicitly depend on time (the independent variable in that context). In such cases, the Beltrami identity is closely related to the conservation of energy in the system.

Connection to Hamiltonian Mechanics

The Beltrami identity also has a significant connection to Hamiltonian mechanics. The quantity \(y' \frac{\partial L}{\partial y'} - L\) is related to the Hamiltonian function \(H\). In many systems where the independent variable is time \(t\), the Lagrangian is \(L(y, y', t)\). If \(L\) does not explicitly depend on time, i.e., \(\frac{\partial L}{\partial t} = 0\), the Beltrami identity states that \(L - y' \frac{\partial L}{\partial y'} = C\). The Hamiltonian is defined as \(H = y' \frac{\partial L}{\partial y'} - L\). Therefore, when the Lagrangian is independent of time, the Hamiltonian \(H\) is conserved (\(H = -C\)), which corresponds to the conservation of energy in many physical systems.

---

Applications of the Beltrami Identity

The Beltrami identity is a valuable tool for solving various problems in physics and geometry. Two classic examples where the Beltrami identity proves particularly useful are the brachistochrone problem and finding the minimal area surface of revolution.

The Brachistochrone Problem

The brachistochrone problem, one of the earliest problems in the calculus of variations, asks for the curve connecting two points in a vertical plane along which a bead will slide from the upper point to the lower point in the shortest possible time under the influence of gravity. The time taken for a particle to travel along a curve \(y(x)\) is given by the functional:

\[ T[y] = \int_{x_1}^{x_2} \frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}} \, dx \]

Here, the integrand (the Lagrangian) is \(L(y, y') = \frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}}\). Notice that this Lagrangian does not explicitly depend on the independent variable \(x\). Therefore, the Beltrami identity can be applied:

\[ \frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}} - y' \frac{\partial}{\partial y'}\left(\frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}}\right) = C \]

Calculating the partial derivative with respect to \(y'\):

\[ \frac{\partial}{\partial y'}\left(\frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}}\right) = \frac{1}{\sqrt{2gy}} \frac{y'}{\sqrt{1 + (y')^2}} \]

Substituting this back into the Beltrami identity:

\[ \frac{\sqrt{1 + (y')^2}}{\sqrt{2gy}} - y' \left(\frac{1}{\sqrt{2gy}} \frac{y'}{\sqrt{1 + (y')^2}}\right) = C \] \[ \frac{1 + (y')^2 - (y')^2}{\sqrt{2gy}\sqrt{1 + (y')^2}} = C \] \[ \frac{1}{\sqrt{2gy}\sqrt{1 + (y')^2}} = C \]

Rearranging this equation allows for separation of variables and integration to find the equation of the cycloid, which is the solution to the brachistochrone problem. The Beltrami identity significantly simplifies the process compared to directly applying the full Euler-Lagrange equation.

Minimal Area Surface of Revolution

Another classic application is finding the curve \(y(x)\) that, when rotated around the x-axis, generates a surface with the minimum possible area between two given points. The surface area of revolution is given by the functional:

\[ A[y] = \int_{x_1}^{x_2} 2\pi y \sqrt{1 + (y')^2} \, dx \]

The integrand is \(L(y, y') = 2\pi y \sqrt{1 + (y')^2}\). Again, this Lagrangian does not explicitly depend on \(x\), so the Beltrami identity is applicable:

\[ 2\pi y \sqrt{1 + (y')^2} - y' \frac{\partial}{\partial y'}\left(2\pi y \sqrt{1 + (y')^2}\right) = C \]

Calculating the partial derivative with respect to \(y'\):

\[ \frac{\partial}{\partial y'}\left(2\pi y \sqrt{1 + (y')^2}\right) = 2\pi y \frac{y'}{\sqrt{1 + (y')^2}} \]

Substituting this back into the Beltrami identity:

\[ 2\pi y \sqrt{1 + (y')^2} - y' \left(2\pi y \frac{y'}{\sqrt{1 + (y')^2}}\right) = C \] \[ 2\pi y \left(\sqrt{1 + (y')^2} - \frac{(y')^2}{\sqrt{1 + (y')^2}}\right) = C \] \[ 2\pi y \left(\frac{1 + (y')^2 - (y')^2}{\sqrt{1 + (y')^2}}\right) = C \] \[ \frac{2\pi y}{\sqrt{1 + (y')^2}} = C \] \[ \frac{y}{\sqrt{1 + (y')^2}} = \frac{C}{2\pi} = K \]

where \(K\) is a new constant. This differential equation can be solved to find the equation of a catenary, which is the shape of the minimal surface of revolution (a catenoid).

---

Beltrami Identity vs. Euler-Lagrange Equation

It's important to understand the relationship and differences between the Beltrami identity and the Euler-Lagrange equation. The Beltrami identity is not a replacement for the Euler-Lagrange equation but rather a powerful special case that arises under a specific condition.

Key Differences

Feature	Euler-Lagrange Equation	Beltrami Identity
Applicability	General case for functionals of the form \(\int L(x, y, y') dx\)	Special case when \(\frac{\partial L}{\partial x} = 0\)
Order of ODE	Second-order	First-order
Form	\(\frac{\partial L}{\partial y} - \frac{d}{dx}\left(\frac{\partial L}{\partial y'}\right) = 0\)	\(L - y' \frac{\partial L}{\partial y'} = C\)
Derivation	Derived from the fundamental lemma of calculus of variations	Derived from the Euler-Lagrange equation when \(\frac{\partial L}{\partial x} = 0\)
Simplification	None inherent	Significant simplification of the resulting differential equation

When to Use the Beltrami Identity

You should consider using the Beltrami identity whenever the integrand of your functional, \(L(x, y, y')\), does not explicitly contain the independent variable \(x\). In physics problems where the independent variable is time \(t\), this corresponds to situations where the Lagrangian is not explicitly time-dependent, often indicating a conserved quantity (energy).

---

Limitations and Generalizations

While the Beltrami identity is a valuable tool, it's important to be aware of its limitations and the possibility of generalizations.

Dependence on Higher Derivatives

The standard Beltrami identity applies to functionals that depend on the function and its first derivative. For functionals that depend on higher derivatives, the situation becomes more complex. While the Euler-Lagrange equation can be generalized for such functionals, the direct analogue of the Beltrami identity is not as straightforward or as universally simplifying.

Multiple Dependent Variables

The derivation presented here focuses on a single dependent variable \(y\). The calculus of variations and the Euler-Lagrange equation can be extended to problems with multiple dependent variables. In cases where the Lagrangian for a system with multiple dependent variables is independent of the independent variable, a set of Beltrami-like identities can arise, one for each dependent variable.

---

Frequently Asked Questions

Who was Eugenio Beltrami?

Eugenio Beltrami (1835-1900) was an Italian mathematician who made significant contributions to differential geometry, mathematical physics, and the calculus of variations. The Beltrami identity is one of his notable contributions to the field.

Is the Beltrami identity always easier to solve than the Euler-Lagrange equation?

While the Beltrami identity reduces the order of the differential equation, the resulting first-order equation can still be challenging to solve depending on the complexity of the Lagrangian. However, in many common applications, it provides a significant simplification.

Does the Beltrami identity imply the Euler-Lagrange equation?

No, the Beltrami identity is a consequence of the Euler-Lagrange equation under a specific condition (\(\frac{\partial L}{\partial x} = 0\)). The Euler-Lagrange equation is more general and applies even when the Lagrangian explicitly depends on the independent variable.

Where else is the calculus of variations used?

The calculus of variations has wide-ranging applications in physics (mechanics, optics, quantum mechanics), engineering (optimal control), and geometry (finding shortest paths or minimal surfaces).

---

References