Clculo de variaciones

Clculo de variaciones
El clculo de variaciones es un problema matemtico consistente en buscar mximos y mnimos (o ms generalmente extremos relativos) de funcionales continuos definidos sobre algn espacio funcional. Constituyen una generalizacin del clculo elemental de mximos y mnimos de funciones reales de una variable

Historia
El clculo de variaciones se desarroll a partir del problema de la curva braquistcrona, planteado inicialmente por Johann Bernoulli (1696). Inmediatamente este problema capt la atencin de Jakob Bernoulli y el Marqus de L'Hpital, aunque fue Leonhard Euler el primero que elabor una teora del clculo variacional. Las contribuciones de Euler se iniciaron en 1733 con su Elementa Calculi Variationum ('Elementos del clculo de variaciones') que da nombre a la disciplina. Lagrange contribuy extensamente a la teora y Legendre (1786) asent un mtodo, no enteramente satisfactorio para distinguir entre mximos y mnimos. Isaac Newton y Gottfried Leibniz tambin prestaron atencin a este asunto. Otros trabajos destacados fueron los de Vincenzo Brunacci (1810), Carl Friedrich Gauss (1829), Simon Poisson (1831), Mijal 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 ms importante de los trabajos durante el siglo XIX es el de Weierstrass. Este importante trabajo fue una referencia estndar y es el primero que trata el clculo de variaciones sobre una base firme y rigurosa. Los problema 20 y 23 de Hilbert planteados en 1900 estimularon algunos desarrollos posteriores. Durante el siglo XX, David Hilbert, Emmy Noether, Leonida Tonelli, Henri Lebesgue y Jacques Hadamard, entre otros, hicieron contribuciones notables. Marston Morse aplic el clculo de variaciones a lo que actualmente se conoce como teora de Morse. Lev Pontryagin, Ralph Rockafellar y Clarke desarrollaron nuevas herramientas matemticas dentro de la teora del control ptimo, generalizando el clculo de variaciones.

Problema Isoperimtrico
Cul es el rea mxima A que puede rodearse con una curva de longitud L dada? Si no existen restricciones adicionales, pudiendo la solucin resulta ser:

Que es el valor que se obtiene para un crculo de radio

Si se imponen restricciones adicionales la solucin es diferente por ejemplo, si se considera que L se considera sobre una funcin y los extremos de las curva estn sobre los puntos donde la distancia entre ellos est dada. Es decir sera, hallar una funcin . El problema de hallar una curva que maximice el rea entre ella y el eje x de modo que:

con las restricciones:

Clculo de variaciones

Braquistcrona
El problema de la curva braquistcrona 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 friccin sobre ella tarda el menor tiempo posible en ir de puede formularse como, al origen. Usando principios de mecnica clsica el problema

donde g es la gravedad y las restricciones son, singularidad.

. Hay que notar que en

existe una

Formulacin general
Uno de los problemas tpicos en clculo diferencial es el de encontrar el valor de para el cual la funcin alcanza un valor extremo (mximo o mnimo). En el clculo de variaciones el problema es encontrar una funcin para la cual un funcional alcance un valor extremo. El funcional est compuesto por una integral que depende de (1a) , de la funcin y algunas de sus derivadas.

Donde la funcin

pertenece a algn espacio de funciones (espacio de Banach, espacio de Hilbert), y tanto ella ser

como sus derivadas pueden tener restricciones. Esta frmula integral puede ser ms complicada permitiendo a un vector, y por lo tanto incluyendo derivadas parciales para : (1b)

Espacios funcionales
La fundamentacin rigurosa del clculo de variaciones requiere considerar variedades diferenciales lineales de dimensin infinita. De hecho el punto de partida del clculo de variaciones es un teorema de anlisis funcional que prueba que es posible considerar una curva en un espacio funcional (e.g. trayectoria en el espacio fsico) simplemente como una funcin con una variable adicional, concretamente:[1] La categora formada por espacios vectoriales convenientes y funciones suaves entre ellos es cerrada por el producto cartesiano, de tal manera que se tiene la siguiente biyeccin natural:

donde

son espacios vectoriles convenientes y la biyeccin anterior es un difeomorfismo.

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

Se tiene que el problema de minimizacin puede reducirse a minimizar una cierta funcin real f de variable real:

Clculo de variaciones

Extremos relativos dbiles y fuertes

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 solucin es un mnimo o un mximo relativo. Por ejemplo una funcin es un mnimo relativo si existe un cierto tal que, para toda funcin se cumpla que:

Referencias
[1] A. Kriegl y P. Michor, 1989, p. 3

Bibliografa
A. Kriegl y P. W. Michor: "Aspects of the theory of inifinite dimensional manifolds" (http://www.mat.univie. ac.at/~michor/aspects.pdf), Differential Geometry and its Applications, 1, 1991, pp. 159-176.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Clculo de variaciones Fuente: http://es.wikipedia.org/w/index.php?oldid=67010426 Contribuyentes: Athalward84, Bachi 2805, Daniel De Leon Martinez, Davius, Farisori, GermanX, Hflores, Jkbw, Juan Marquez, Juan Mayordomo, L'irie, Mister, Perensejo, Rsg, Sargentgarcia89, Technopat, 29 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/