Cálculo de variaciones

El cálculo de variaciones o cálculo variacional es un problema matemático consistente en buscar máximos y mínimos (o más generalmente extremos relativos) de funcionales continuos definidos sobre algún espacio funcional. Constituyen una generalización del cálculo elemental de máximos y mínimos de funciones reales de una variable.

Historia

El cálculo de variaciones se desarrolló a partir del problema de la curva braquistócrona, planteado inicialmente por Johann Bernoulli (1696). Inmediatamente este problema captó la atención de Jakob Bernoulli y el Marqués de L'Hôpital, aunque fue Leonhard Euler el primero que elaboró una teoría del cálculo variacional. Las contribuciones de Euler se iniciaron en 1733 con su Elementa Calculi Variationum ('Elementos del cálculo de variaciones') que da nombre a la disciplina.

Lagrange contribuyó extensamente a la teoría y Legendre (1786) asentó un método, no enteramente satisfactorio para distinguir entre máximos y mínimos. Isaac Newton y Gottfried Leibniz también prestaron atención a este asunto.^[1]​ Otros trabajos destacados fueron los de Vincenzo Brunacci (1810), Carl Friedrich Gauss (1829), Siméon Poisson (1831), Mijaíl Ostrogradski (1834) y Carl Jacobi (1837). Un trabajo general particularmente importante es el de Sarrus (1842) que fue resumido por Cauchy (1844). Otros trabajos destacados posteriores son los de Strauch (1849), Jellett (1850), Otto Hesse (1857), Alfred Clebsch (1858) y Carll (1885), aunque quizá el más importante de los trabajos durante el siglo XIX es el de Weierstrass. Este importante trabajo fue una referencia estándar y es el primero que trata el cálculo de variaciones sobre una base firme y rigurosa. Los problema 20 y 23 de Hilbert planteados en 1900 estimularon algunos desarrollos posteriores.^[1]​ Durante el siglo XX, David Hilbert, Emmy Noether, Leonida Tonelli, Henri Lebesgue y Jacques Hadamard, entre otros, hicieron contribuciones notables.^[1]​ Marston Morse aplicó el cálculo de variaciones a lo que actualmente se conoce como teoría de Morse.^[2]​ Lev Semenovich Pontryagin, Ralph Rockafellar y Clarke desarrollaron nuevas herramientas matemáticas dentro de la teoría del control óptimo, generalizando el cálculo de variaciones.^[2]​

Problema Isoperimétrico

¿Cuál es el área máxima A que puede rodearse con una curva de longitud L dada? Si no existen restricciones adicionales, la solución es:

${\displaystyle A={\frac {L^{2}}{4\pi }}}$

Que es el valor que se obtiene para un círculo de radio ${\displaystyle R=L/2\pi }$.

Si se imponen restricciones adicionales la solución es diferente. Un ejemplo es si suponemos que L se considera sobre una función ${\displaystyle f(x)}$ y los extremos de las curva están sobre los puntos ${\displaystyle A=(a,0),B=(b,0)}$ donde la distancia entre ellos está dada. Es decir ${\displaystyle AB=L\,}$. El problema de hallar una curva que maximice el área entre ella y el eje x sería, hallar una función ${\displaystyle f(x)}$ de modo que:

${\displaystyle \max _{f:[a,b]\to \mathbb {R} }I[f]=\int _{a}^{b}f(x)dx}$

con las restricciones:

${\displaystyle {\begin{cases}G[f]=\int _{a}^{b}{\sqrt {1+(f'(x))^{2}}}dx=L&{\mbox{longitud de arco}}\\f(a)=f(b)=0\end{cases}}}$

Braquistócrona

El problema de la curva braquistócrona se remonta a J. Bernoulli (1696). Se refiere a encontrar una curva en el plano cartesiano que vaya del punto ${\displaystyle P=(x_{0},y_{0})}$ al origen de modo que un punto material que se desliza sin fricción sobre ella tarda el menor tiempo posible en ir de ${\displaystyle P}$ al origen. Usando principios de mecánica clásica el problema puede formularse como,

${\displaystyle \min _{f}T[f]=\int _{0}^{x_{0}}{\frac {\sqrt {1+(f'(x))^{2}}}{\sqrt {2g(y_{0}-y)}}}\ dx}$

donde g es la gravedad y las restricciones son, ${\displaystyle f(0)=0}$, ${\displaystyle f(x_{0})=y_{0}}$. Hay que notar que en ${\displaystyle x=x_{0}}$ existe una singularidad.

Formulación general

Uno de los problemas típicos en cálculo diferencial es el de encontrar el valor de ${\displaystyle x\,}$ para el cual la función ${\displaystyle f(x)\,}$ alcanza un valor extremo (máximo o mínimo). En el cálculo de variaciones el problema es encontrar una función ${\displaystyle f(x)}$ para la cual un funcional ${\displaystyle J[f]\,}$ alcance un valor extremo. El funcional ${\displaystyle J[f]}$ está compuesto por una integral que depende de ${\displaystyle x}$, de la función ${\displaystyle f(x)}$ y algunas de sus derivadas.

(1a)${\displaystyle \max _{f}/\min _{f}\left\{J[f]=\int _{a}^{b}{\mathcal {L}}(x,f(x),f'(x),f''(x),\dots ,f^{(n)}(x))\,dx\right\}}$

Donde la función ${\displaystyle f(x)}$ pertenece a algún espacio de funciones (espacio de Banach, espacio de Hilbert), y tanto ella como sus derivadas pueden tener restricciones. Esta fórmula integral puede ser más complicada permitiendo a ${\displaystyle x}$ ser un vector, y por lo tanto incluyendo derivadas parciales para ${\displaystyle f}$:

(1b)${\displaystyle \max _{\mathbf {f} }/\min _{\mathbf {f} }\left\{J[\mathbf {f} ]=\int _{{\mathcal {D}}\subset \mathbb {R} ^{n}}{\mathcal {L}}(\mathbf {x} ,\mathbf {f} (\mathbf {x} ),D\mathbf {f} (\mathbf {x} ),\dots ,D^{n}\mathbf {f} (\mathbf {x} ))\,d^{n}\mathbf {x} \right\}}$

Espacios funcionales

La fundamentación rigurosa del cálculo de variaciones requiere considerar variedades diferenciales lineales de dimensión infinita. De hecho el punto de partida del cálculo de variaciones es un teorema de análisis funcional que prueba que es posible considerar una curva en un espacio funcional (e.g. trayectoria en el espacio fásico) simplemente como una función con una variable adicional, concretamente:^[3]​

La categoría formada por espacios vectoriales convenientes y funciones suaves entre ellos es cerrada por el producto cartesiano, de tal manera que se tiene la siguiente biyección natural: ${\displaystyle C^{\infty }(E\times F,G)\approx C^{\infty }(E,C^{\infty }(F,G))}$ donde ${\displaystyle \scriptstyle E,F}$ son espacios vectoriales convenientes y la biyección anterior es un difeomorfismo.

El teorema anterior puede aplicarse por ejemplo al principio de mínima acción donde trata de encontrarse la trayectoria posible en el espacio de fases que hace mínima la integral de acción. Dicha trayectoria es una curva suave en el espacio de trayectorias E, considerando ahora:

${\displaystyle E=C^{\infty }(\mathbb {R} ,\mathbb {R} ^{n}),\quad F=G=\mathbb {R} }$

Se tiene que el problema de minimización puede reducirse a minimizar una cierta función real f de variable real:

${\displaystyle f_{q_{0}}(\varepsilon ):=S[q_{0}+\varepsilon \delta q],\qquad S:\mathbb {C} ^{\infty }(\mathbb {R} ^{n})\to \mathbb {R} ,\ S[q]:=\int _{t_{1}}^{t_{2}}{\mathcal {L}}(q(t),{\dot {q}}(t),t)\ dt,\ q(t)\in \mathbb {R} ^{n}}$

Extremos relativos débiles y fuertes

Un problema variacional requiere que el funcional ${\displaystyle \scriptstyle J(f)}$ esté definido sobre un espacio de Banach ${\displaystyle \scriptstyle (V,\|\cdot \|_{V})}$ adecuado. La norma vectorial de dicho espacio es lo que permite definir rigurosamente si una solución es un mínimo o un máximo relativo. Por ejemplo una función ${\displaystyle \scriptstyle f_{0}}$ es un mínimo relativo si existe un cierto ${\displaystyle \scriptstyle \delta >0}$ tal que, para toda función ${\displaystyle \scriptstyle f}$ se cumpla que:

${\displaystyle \|f-f_{0}\|<\delta \quad \Rightarrow \quad J(f_{0})\leq J(f)}$

Véase también

• Charles Augustin de Coulomb
• Ecuaciones de Euler-Lagrange
• Derivada funcional
• Mecánica de suelos
• Teoría de Mohr-Coulomb
• Torsión mecánica

Referencias

Bibliografía

• A. Kriegl y P. W. Michor: "Aspects of the theory of inifinite dimensional manifolds", Differential Geometry and its Applications, 1, 1991, pp. 159-176.
• Leonida Tonelli: Fondamenti di calcolo delle variazioni, N. Zanichelli, 1921-23
• Todhunter, I. A history of the calculus of variations, Chelsea, 1861
• Carll, L. B. A Treatise On The Calculus Of Variations John Wiley & sons, 1881
• Hancock, H. Lectures on the calculus of variations (the Weierstrassian theory) Cincinnati University Press, 1904
• Bolza, O Lectures on the calculus of variations, Chicago University Press, 1904
• Byerly, W. E. Introduction to the calculus of variations Harvard University Press, 1917
• Weinstock, R. Calculus Of Variations With Applications To Physics And Engineering, McGrawHill, 1952
• Hadamard J. e Fréchet, M. Leçons sur le calcul des variations (francese) Hermann, 1910
• Fomin, S.V. and Gelfand, I.M.: Calculus of Variations, Dover Publ., 2000
• Lebedev, L.P. and Cloud, M.J.: The Calculus of Variations and Functional Analysis with Optimal Control and Applications in Mechanics, World Scientific, 2003, pages 1 – 98
• Charles Fox: An Introduction to the Calculus of Variations, Dover Publ., 1987
• Giuseppe Buttazzo, Gianni Dal Maso, Ennio De Giorgi. Variazioni, calcolo delle, Enciclopedia del Novecento, II Supplemento (1998), Istituto dell'Enciclopedia italiana Treccani
• Gianni Dal Maso, Variazioni, calcolo delle, Enciclopedia della Scienza e della Tecnica, (2007), Istituto dell'Enciclopedia italiana Treccani

Enlaces externos

• Cambios acumulados de esfuerzos de Coulomb.