math concept
10 topics use this
Math concept
Variational Calculus
Core equation
$$\frac{d}{dx}\frac{\partial L}{\partial y\prime} - \frac{\partial L}{\partial y} = 0$$
Variational calculus finds functions that extremise functionals — integrals of the function and its derivatives. The Euler-Lagrange equation is its central result, underpinning classical mechanics, optimal control, and variational inference in ML.
The Euler-Lagrange equation
To extremise $J[y] = \int_a^b L(x, y, y’)\,dx$ subject to boundary conditions $y(a)=y_a$, $y(b)=y_b$:
\[\frac{\partial L}{\partial y} - \frac{d}{dx}\frac{\partial L}{\partial y'} = 0\]Example: geodesics on $\mathbb{R}^2$ minimise arc length $J = \int\sqrt{1+y’^2}\,dx$, giving $y’’ = 0$ — straight lines.
Hamilton’s principle
Classical mechanics follows from: the physical trajectory $q(t)$ extremises the action:
\[S[q] = \int_{t_1}^{t_2} L(q, \dot{q}, t)\,dt\]where $L = T - V$ (kinetic minus potential energy). The Euler-Lagrange equation gives Newton’s laws.
Variational inference
| In Bayesian ML, the posterior $p(\theta | x)$ is approximated by $q(\theta)$ from a tractable family by minimising $D_{KL}(q|p)$. The ELBO (Evidence Lower BOund) is the variational objective. |
Fields that use this concept
Physical sciences
Astrophysics
Physical sciences
Computational chemistry
Born-Oppenheimer Approximation
The foundational separation of nuclear and electronic motion that underlies nearly all of computational chemistry.
Coupled Cluster Theory
The gold-standard wavefunction method based on an exponential cluster operator that systematically captures electron correlation.
Density Functional Theory
A quantum mechanical method that replaces the many-body wavefunction with the electron density as the fundamental variable.
Exchange-Correlation Functionals
The approximations to the unknown exchange-correlation energy in DFT, ranging from LDA to hybrid and dispersion-corrected functionals.
Earth sciences
Meteorology
Primitive Equations
The governing equations of atmospheric motion on a rotating sphere, forming the backbone of all global weather and climate models.
Tropical Cyclones
The dynamics of warm-core rotating vortices that form over tropical oceans and can reach devastating intensities.
Physical sciences
Quantum computing
Engineering & CS
Robotics
Optimal Control in Robotics
Optimal control finds inputs that minimize a cost functional over a trajectory, from LQR for linear systems to MPC and iLQR for nonlinear robots.
Robot Dynamics
Equations of motion for rigid-body robot manipulators derived via Lagrangian mechanics and computed efficiently with the Newton-Euler algorithm.