The calculus of variations, a branch of mathematical analysis concerned with optimizing functionals, was largely formalized through the groundbreaking work of Leonhard Euler in the mid-18th century. Euler's original method in the calculus of variations provided mathematicians with a systematic approach to solving optimization problems involving curves and surfaces, establishing a rigorous mathematical framework for problems that had previously been tackled only through intuition and ad-hoc methods.
Prior to Euler's systematic approach, several problems that we now recognize as variational problems had been studied individually. The most famous of these was the brachistochrone problem, posed by Johann Bernoulli in 1696, which asked for the curve along which a bead would slide most quickly between two points under gravity. Although several leading mathematicians solved this specific problem, there was no general methodology for approaching such problems systematically.
Euler, who corresponded with Johann Bernoulli and was influenced by his ideas, recognized the need for a unified approach. Between 1736 and 1744, Euler developed his method, publishing his findings in "Methodus inveniendi lineas curvas maximi minimive proprietate gaudentes" (A Method for Finding Curved Lines Enjoying the Properties of Maximum or Minimum).
The fundamental idea behind Euler's method is to consider a functional J[y] that maps functions to real numbers, and to find a function y(x) that makes J[y] stationary (i.e., maximizes, minimizes, or gives a saddle point).
The central problem of the calculus of variations is to determine the function y(x) that maximizes or minimizes a functional of the form:
J[y] = [a to b] F(x, y, y') dx
where y' = dy/dx.
Euler's key insight was to consider what happens when we make a small variation to the function y(x) and examine how the functional changes. If y(x) is truly a minimizing or maximizing function, then small variations should not lead to first-order changes in the functional.
Euler's original method was somewhat different from the way we typically approach calculus of variations problems today. Instead of considering arbitrary function variations, Euler used a discretization technique that approximated the continuous curve with polygonal lines.
In Euler's discretization method, he would:
From his approach, Euler derived what is now known as the Euler-Lagrange equation:
d/dx(F/y') - F/y = 0
This differential equation provides a necessary condition for a function y(x) to optimize the functional J[y]. It's worth noting that while Euler derived an equation equivalent to this, the elegant form we use today was developed later by Joseph-Louis Lagrange, who simplified Euler's formulation.
To illustrate Euler's method, let's consider the classic problem of finding the curve of shortest distance (geodesic) between two points.
The length of a curve y(x) between points (a, y(a)) and (b, y(b)) is given by the functional:
L[y] = [a to b] (1 + y') dx
Applying Euler's method, we have F(x, y, y') = (1 + y').
Since F does not depend explicitly on y, the Euler-Lagrange equation simplifies to:
d/dx(F/y') = 0
Which gives us F/y' = constant, or y' = constant.
This is the equation of a straight line, confirming our intuition that the shortest path between two points is a straight line.
Perhaps the most famous application of Euler's method is the solution to the brachistochrone problem. This problem asks for the curve along which a ball will slide fastest between two points under the influence of gravity, assuming no friction.
The time functional for this problem is:
T[y] = ds/v = [0 to x] (1 + y')/(2g(y - y)) dx
where g is gravitational acceleration, y is the starting height, and (x, y) is the endpoint.
Applying Euler's method to this problem leads to a cycloid as the solution, not a straight line as intuition might suggest. This counterintuitive result was one of the early successes of the calculus of variations.
While Euler initially focused on problems with a single dependent variable, his method was naturally extendable to functionals with multiple dependent variables. For a functional J[y, y, ..., y], Euler's approach yields a system of Euler-Lagrange equations, one for each dependent variable.
Furthermore, Euler's method could be adapted to handle constraints through the technique of Lagrange multipliers, though this approach was formalized later. In modern terms, constrained variational problems can be formulated as finding stationary points of a functional subject to certain constraints.
While Euler's original discretization method is conceptually clear, it has practical limitations in handling complex functionals and boundary conditions. Modern analysis typically uses the calculus of variations with the concept of function spaces and functional derivatives.
Euler's discretization technique anticipated modern numerical methods for solving variational problems and demonstrated his deep insight into the relationship between continuous and discrete mathematics. However, his approach was computationally intensive for complex problems, leading to the development of more sophisticated analytical techniques.
While Euler's method was groundbreaking, subsequent mathematicians refined and expanded upon his work. Joseph-Louis Lagrange later provided a more elegant derivation of the Euler-Lagrange equation using what is now known as Lagrange's formulation.
In the 20th century, Richard Courant and David Hilbert further developed the foundations of the calculus of variations, connecting it to functional analysis and quantum mechanics. The field continues to evolve, with applications in computer vision, materials science, and general relativity.
Euler's original calculus of variations method represents one of the great achievements in mathematical history. By providing a systematic approach to optimization problems involving curves and surfaces, Euler opened up entirely new avenues of mathematical inquiry.
Despite the subsequent refinements and modernizations of the field, Euler's core insights remain fundamental. His method demonstrates the power of mathematical abstraction and the elegant way in which discrete problems can illuminate continuous phenomena.
The calculus of variations continues to be an essential tool in physics, engineering, and mathematics, with Euler's original insights continuing to inspire new developments and applications across diverse fields of study. From the principles of least action in physics to optimal control theory in engineering, the methods pioneered by Euler remain central to our understanding of optimization in continuous systems.
