9.1 Variational principles and the Euler-Lagrange equation

Variational calculus optimizes functionals, finding functions that minimize or maximize them. It's crucial in physics and engineering, using the principle of stationary action to solve problems. The Euler-Lagrange equation is the key tool here.

The Euler-Lagrange equation comes from making the first variation of a functional zero. It's a powerful method for solving optimization problems in mechanics, optics, and field theories. Understanding it is essential for tackling complex systems.

Variational Calculus Principles

Core Concepts and Applications

Top images from around the web for Core Concepts and Applications

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

1 of 3

Top images from around the web for Core Concepts and Applications

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

• 

  Euler-Lagrange equation View original

  Is this image relevant?

1 of 3

• Variational calculus optimizes functionals (functions of functions)
• Central problem finds functions that extremize (minimize or maximize) a given functional
• Fundamental lemma states continuous function satisfying certain integral equation for all smooth functions with compact support must be identically zero
• Functionals often involve integrals of functions and their derivatives representing physical quantities (energy, action)
• Principle of stationary action (Hamilton's principle) applies variational calculus to physics and engineering
• Boundary conditions determine uniqueness of solutions in variational problems

Mathematical Foundations

• Functionals map functions to real numbers
• Variations of functions analogous to differentials in ordinary calculus
• First variation of functional $\delta J[y] = \lim_{\epsilon \to 0} \frac{J[y + \epsilon \eta] - J[y]}{\epsilon}$
• Necessary condition for extremum $\delta J[y] = 0$ for all admissible variations
• Sufficient conditions involve second variation and convexity properties
• Functional derivatives generalize concept of partial derivatives to function spaces

Examples and Applications

• Brachistochrone problem finds curve of fastest descent (cycloid)
• Catenary curve minimizes potential energy of hanging chain
• Minimal surfaces (soap films) minimize surface area (Plateau's problem)
• Geodesics on curved surfaces minimize path length (great circles on sphere)
• Quantum mechanics uses variational principles (Schrödinger equation)
• Optimal control theory applies variational calculus to engineering systems (rocket trajectories)

Euler-Lagrange Equation Derivation

Variational Approach

• Consider functional $J[y] = \int_{x_1}^{x_2} L(x, y, y') dx$
• L represents Lagrangian density, depends on independent variable x, function y(x), and derivative y'(x)
• For extremum, first variation must vanish $\delta J[y] = \int_{x_1}^{x_2} (\frac{\partial L}{\partial y} \delta y + \frac{\partial L}{\partial y'} \delta y') dx = 0$
• Apply integration by parts to term with δy'
• Resulting equation $\int_{x_1}^{x_2} (\frac{\partial L}{\partial y} - \frac{d}{dx} \frac{\partial L}{\partial y'}) \delta y dx + [\frac{\partial L}{\partial y'} \delta y]_{x_1}^{x_2} = 0$
• Invoke fundamental lemma of variational calculus for arbitrary δy

Resulting Equation and Generalizations

• Euler-Lagrange equation $\frac{\partial L}{\partial y} - \frac{d}{dx} \frac{\partial L}{\partial y'} = 0$
• Represents necessary condition for extremum of functional J[y]
• Generalizes to multiple dependent variables $\frac{\partial L}{\partial y_i} - \frac{d}{dx} \frac{\partial L}{\partial y_i'} = 0$ for i = 1, 2, ..., n
• Extends to higher-order derivatives $\frac{\partial L}{\partial y} - \frac{d}{dx} \frac{\partial L}{\partial y'} + \frac{d^2}{dx^2} \frac{\partial L}{\partial y''} - ... = 0$
• Multidimensional problems yield partial differential equations $\frac{\partial L}{\partial y} - \sum_{i=1}^n \frac{\partial}{\partial x_i} \frac{\partial L}{\partial y_{x_i}} = 0$

Boundary Conditions and Natural Boundary Conditions

• Fixed endpoint problems have y(x1) and y(x2) specified
• Free endpoint problems allow y(x1) or y(x2) to vary
• Natural boundary conditions arise from boundary terms in integration by parts
• For free right endpoint $[\frac{\partial L}{\partial y'} \delta y]_{x_2} = 0$ implies $\frac{\partial L}{\partial y'}(x_2) = 0$
• Transversality conditions generalize natural boundary conditions for more complex problems
• Mixed boundary conditions combine fixed and free aspects (clamped beam with free end)

Optimization Problems with Euler-Lagrange

Problem-Solving Approach

• Identify functional to be extremized $J[y] = \int_{x_1}^{x_2} L(x, y, y') dx$
• Construct Euler-Lagrange equation $\frac{\partial L}{\partial y} - \frac{d}{dx} \frac{\partial L}{\partial y'} = 0$
• Solve resulting differential equation considering boundary conditions
• Determine integration constants from boundary conditions
• Verify solution satisfies original variational problem
• Check sufficiency conditions (second variation, convexity) for minimum or maximum

Constrained Optimization

• Method of Lagrange multipliers incorporates constraints into functional
• Augmented Lagrangian $L_a = L + \lambda g(x, y, y')$ for constraint g = 0
• Solve system of Euler-Lagrange equations for y and λ
• Isoperimetric problems constrain integral quantities (fixed length, area)
• Holonomic constraints involve algebraic relations between variables
• Non-holonomic constraints involve differential relations (rolling without slipping)

Examples of Optimization Problems

• Shortest path between two points (straight line)
• Brachistochrone curve (cycloid)
• Catenary curve (hyperbolic cosine)
• Minimal surface of revolution (catenoid)
• Geodesics on surfaces (great circles on sphere)
• Optimal control problems (minimum time, minimum fuel consumption)

Physical Significance of Euler-Lagrange

Classical Mechanics Applications

• Lagrangian mechanics formulates equations of motion using generalized coordinates
• Lagrangian L = T - V (difference between kinetic and potential energy)
• Euler-Lagrange equations yield Newton's second law in generalized coordinates
• Principle of least action states physical path minimizes action integral $S = \int_{t_1}^{t_2} L dt$
• Conservation laws arise from symmetries (Noether's theorem)
• Examples include simple harmonic oscillator, pendulum, central force motion

Field Theories and Continuous Systems

• Euler-Lagrange equations generalize to field equations for continuous systems
• Lagrangian density L depends on fields φ(x,t) and their derivatives
• Field equations $\frac{\partial L}{\partial \phi} - \partial_\mu \frac{\partial L}{\partial (\partial_\mu \phi)} = 0$
• Examples include wave equation, Klein-Gordon equation, Maxwell's equations
• Quantum field theory uses Euler-Lagrange formalism for particle physics
• Elasticity theory describes deformation of continuous media using variational principles

Optics and Wave Propagation

• Fermat's principle of least time derived from Euler-Lagrange equation
• Eikonal equation in geometrical optics $(\nabla S)^2 = n^2(x)$ where S is optical path length
• Wave equations in inhomogeneous media follow from variational principles
• Snell's law of refraction emerges from Euler-Lagrange equation
• Principle of least action applies to electromagnetic waves (Feynman's path integral formulation)