Ir al contenido

Cálculo de variaciones

De Wikipedia, la enciclopedia libre

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.

Este problema de optimización (de dimensiones infinitas) con aplicaciones en física teórica y física matemática se convirtió en un campo especializado a mediados del siglo XVIII, particularmente por Leonhard Euler y Joseph-Louis Lagrange.[1]​ El cálculo de variaciones, sus temas relacionados y sus aplicaciones son objeto de la enseñanza actual,[2]​ Desarrollo posterior[3]​ e investigación.[4]​ La pregunta ¿Cómo se pueden seguir desarrollando los métodos del cálculo de variaciones? es el 23º problema de la lista de problemas de Hilbert. Los matemáticos Ennio De Giorgi y Charles Morrey, entre otros, realizaron otras contribuciones. Sus investigaciones condujeron a la solución del decimonoveno  problema de Hilbert con el reto ¿Son analíticas todas las soluciones de los problemas variacionales regulares?. Los teoremas desarrollados por la matemática alemana Emmy Noether, relacionados con el cálculo de variaciones,[5][6]​ desempeñan un papel importante en la física moderna (Simetría). La matemática estadounidense Karen Uhlenbeck fue galardonada con el Premio Abel en 2019.[7]​ Uhlenbeck ha trabajado intensamente en el cálculo de variaciones. [8]

Historia

[editar]

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.[9]​ 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.[9]​ Durante el siglo XX, David Hilbert, Emmy Noether, Leonida Tonelli, Henri Lebesgue y Jacques Hadamard, entre otros, hicieron contribuciones notables.[9]Marston Morse aplicó el cálculo de variaciones a lo que actualmente se conoce como teoría de Morse.[10]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.[10]

Problema Isoperimétrico

[editar]

¿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:

Que es el valor que se obtiene para un círculo de radio .

Si se imponen restricciones adicionales la solución es diferente. Un ejemplo es si suponemos que L se considera sobre una función y los extremos de las curva están sobre los puntos donde la distancia entre ellos está dada. Es decir . El problema de hallar una curva que maximice el área entre ella y el eje x sería, hallar una función de modo que:

con las restricciones:

Braquistócrona

[editar]

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 al origen de modo que un punto material que se desliza sin fricción sobre ella tarda el menor tiempo posible en ir de al origen. Usando principios de mecánica clásica el problema puede formularse como,

donde g es la gravedad y las restricciones son, , . Hay que notar que en existe una singularidad.

Extremos

[editar]

El cálculo de variaciones está relacionado con los máximos o mínimos (colectivamente denominados extremos) de los funcionales. Un funcional mapea funciones con escalares, por lo que los funcionales se conocen como "funciones de funciones." Los funcionales poseen extremos con respecto a los elementos de un dado espacio de función definido sobre un determinado dominio. Se dice que un funcional posee un extremo en la función si posee el mismo signo para todo en un entorno arbitrariamente pequeño de [12]​ La función es denominada una función extrema.[13]​ El extremo es denominado un máximo local si en todo punto de un entorno arbitrariamente pequeño de y un mínimo local si allí.Un espacio de un espacio de funciones contínuas, los extremos de los funcionales correspondientes son denominados extremo fuerte o extremo débil, dependiendo de si las primeras derivadas de las funciones contínuas son respectivamente contínuas o no.[14]

Tanto los extremos fuertes como los débiles de las funcionales son para un espacio de funciones continuas, pero los extremos fuertes tienen el requisito adicional de que las primeras derivadas de las funciones en el espacio sean continuas. Por lo tanto un extremo fuerte es también un extremo débil, pero la relación inversa no puede ser válida. Encontrar extremos fuertes es más difícil que encontrar extremos débiles.[15]​ Un ejemplo de la condición necesaria que se utiliza para encontrar un etremo debil es la ecuación de Euler–Lagrange.[16][17]

Formulación general

[editar]

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

(1a)

Donde la función 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 ser un vector, y por lo tanto incluyendo derivadas parciales para :

(1b)

Espacios funcionales

[editar]

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:[18]

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:

donde 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:

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

Extremos relativos débiles y fuertes

[editar]

Un problema variacional requiere que el funcional esté definido sobre un espacio de Banach 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 es un mínimo relativo si existe un cierto tal que, para toda función se cumpla que:


Véase también

[editar]

Referencias

[editar]
  1. Jeremy Gray (2021). Cambios y variaciones: una historia de las ecuaciones diferenciales hasta 1900. Springer International Publishing. ISBN 978-3-030-70574-9. doi:10.1007/978-3-030-70575-6. 
  2. Mathematics for Physicists 2. Berlin/Heidelberg: Springer. 2007. ISBN 978-3-540-72251-9. doi:10.1007/978-3-540-72252-6. 
  3. Hubert Goldschmidt, Shlomo Sternberg (1973). «El formalismo de Hamilton-Cartan en el cálculo de variaciones». Annales de l'institut Fourier 23 (1): 203-267. ISSN 0373-0956. doi:10.5802/aif.451. Consultado el 21 de octubre de 2022. 
  4. Vladimir I. Pupyshev, H. E. Montgomery (1 de septiembre de 2015). «Algunos problemas en aplicaciones del método variacional lineal». European Journal of Physics 36 (5): 055043. ISSN 0143-0807. doi:10.1088/0143-0807/36/5/055043. 
  5. E. Noether, M. A. Tavel (1971-01). «Problemas de variación invariante». Teoría del transporte y física estadística 1 (3): 186-207. ISSN 0041-1450. doi:10.1080/00411457108231446. 
  6. Philippe Blanchard, Erwin Brüning (1982). Problemas variacionales clásicos -Métodos directos del cálculo de variaciones. Viena: Springer Vienna. pp. 74-124. ISBN 978-3-7091-2261-7. doi:10.1007/978-3-7091-2260-0_6. 
  7. «El Premio Abel. 2019: Karen Keskulla Uhlenbeck». Consultado el 18 de octubre de 2022. 
  8. Simon Donaldson (1 de marzo de 2019). «Karen Uhlenbeck y el cálculo de variaciones». Notices of the American Mathematical Society 66 (03): 1. ISSN 0002-9920. doi:10.1090/noti1806. Consultado el 18 de octubre de 2022. 
  9. a b c van Brunt, Bruce (2004). The Calculus of Variations. Springer. ISBN 0-387-40247-0. 
  10. a b Ferguson, James (2004). «Brief Survey of the History of the Calculus of Variations and its Applications». arXiv:arXiv:math/0402357. 
  11. Courant, R; Hilbert, D (1953). Methods of Mathematical Physics I (First English edición). New York: Interscience Publishers, Inc. p. 169. ISBN 978-0471504474. 
  12. El entorno de es la porción de un dado espacio de función donde sobre todo el dominio de las funciones, con un número positivo qu especifica el tamaño del entorno.[11]
  13. Notar la diferencia entre los términos extremo y extrema. Una extrema es una función que hace a un funcional un extremo.
  14. Gelfand y Fomin, 2000, pp. 12–13
  15. Gelfand y Fomin, 2000, p. 13
  16. Gelfand y Fomin, 2000, pp. 14–15
  17. Para una condición suficiente, ver sección "Variaciones y condición suficiente para un mínimo.
  18. A. Kriegl y P. Michor, 1989, p. 3

Bibliografía

[editar]

Enlaces externos

[editar]