La teoría dedicada a hallar extremos (mínimos, máximos, puntos estacionarios) de funcionales, típicamente integrales que dependen de funciones y sus derivadas, y a derivar las correspondientes ecuaciones de Euler–Lagrange e inecuaciones variacionales.

Principio

Traducir optimización sobre funciones a condiciones diferenciales: calcular la primera variación para obtener las ecuaciones de Euler–Lagrange, usar la segunda variación o la convexidad para la estabilidad y aplicar métodos directos (semicontinuidad inferior, coercividad) para probar existencia en espacios funcionales adecuados (p. ej. espacios de Sobolev).

Demostración

Derivar la ecuación de Euler–Lagrange para el funcional ∫_a^b L(x,u,u') dx para obtener problemas de contorno; resolver la braquistócrona o el problema de superficies mínimas como ejemplos clásicos; emplear el cociente de Rayleigh min_{u≠0} (⟨Au,u⟩/⟨u,u⟩) para caracterizar variacionalmente valores propios.

Aplicación incorrecta

Variar condiciones de contorno sin imponer variaciones admisibles, o efectuar manipulaciones formales de Euler–Lagrange cuando el minimizador no pertenece a la clase suave (haciendo necesarias formulaciones débiles y espacios de Sobolev), conduce a conclusiones erróneas sobre existencia o condiciones necesarias.

Consecuencia

Los métodos variacionales adecuados garantizan existencia de minimizadores, derivan EDPs como ecuaciones de Euler–Lagrange, proporcionan criterios de estabilidad y sustentan esquemas numéricos (elementos finitos) y principios físicos (principio de mínima acción).

Inversión

Invertir hacia la optimización puntual, optimizando valores en cada punto de forma independiente: se descuidan los acoplamientos por derivadas y las condiciones de contorno, se destruye la estructura variacional global y suele fallar la captura de restricciones PDE.

Límite

Trata funcionales sobre espacios de funciones y normalmente requiere marcos de Sobolev u otros para semicontinuidad inferior y compacidad; excluye problemas de optimización discreta sin estructura integral variacional y minimizaciones puramente algebraicas sin dependencia de derivadas.

Tensión semántica

Existe tensión entre el cálculo variacional clásico y suave y las formulaciones variacionales débiles: nociones de variaciones admisibles, regularidad y elección de espacios funcionales pueden entrar en conflicto; formulaciones no coercitivas o no semicontinuas exigen técnicas distintas.

Síntesis

El cálculo de variaciones plantea problemas de extremización de funcionales convirtiendo variaciones en condiciones diferenciales (E‑L) y empleando métodos directos de existencia y regularidad; conecta geometría, EDPs, mecánica y métodos numéricos al identificar cuándo los funcionales admiten minimizadores y cómo estos satisfacen las restricciones diferenciales.