Skip to content

Calculus of Variations

πŸŒ€ Calculus of Variations

While standard calculus deals with finding the extremum of a function of numbers, the calculus of variations deals with finding the extremum of a functionalβ€”a mapping from a space of functions to the real numbers.


🟒 1. The Functional

A functional JJ often takes the form of an integral: J[y]=∫x1x2L(x,y(x),yβ€²(x)) dxJ[y] = \int_{x_1}^{x_2} L(x, y(x), y'(x)) \, dx The goal is to find a function y(x)y(x) that minimizes or maximizes JJ.

Classical Examples

  1. The Shortest Path: Finding the curve that minimizes distance between two points (a straight line).
  2. Brachistochrone Problem: Finding the curve along which a particle slides under gravity in the shortest time.
  3. Minimal Surface Area: Finding the shape of a soap film stretched between two loops.

🟑 2. The Euler-Lagrange Equation

The fundamental result of the calculus of variations is that if y(x)y(x) is an extremum of JJ, it must satisfy the Euler-Lagrange Equation: βˆ‚Lβˆ‚yβˆ’ddx(βˆ‚Lβˆ‚yβ€²)=0\frac{\partial L}{\partial y} - \frac{d}{dx} \left( \frac{\partial L}{\partial y'} \right) = 0

Derivation Sketch

We consider a small variation Ξ·(x)\eta(x) around the optimal y(x)y(x) and require that the first variation of JJ be zero: Ξ΄J=∫x1x2(βˆ‚Lβˆ‚yΞ·+βˆ‚Lβˆ‚yβ€²Ξ·β€²)dx=0\delta J = \int_{x_1}^{x_2} \left( \frac{\partial L}{\partial y} \eta + \frac{\partial L}{\partial y'} \eta' \right) dx = 0 Using integration by parts on the second term leads to the EL equation.


πŸ”΄ 3. Applications in Physics and Control

Principle of Least Action

In classical mechanics, the path taken by a system is the one that minimizes the Action (SS), which is the integral of the Lagrangian (Tβˆ’VT - V): S=∫L(t,q,qΛ™) dtS = \int L(t, q, \dot{q}) \, dt This allows the derivation of Newton’s laws from a more fundamental principle.

Optimal Control Theory

In engineering, we want to find a control input u(t)u(t) that minimizes a cost functional (e.g., fuel consumption) while moving a system (e.g., a rocket) from state A to state B.

  • Hamiltonian: H=L+Ξ»TfH = L + \lambda^T f, leading to Pontryagin’s Minimum Principle.