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
Problema Isoperimtrico
Artculo principal: Isoperimetra.

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 . El problema de modo donde la distancia entre ellos est dada. Es decir de hallar una curva que maximice el rea entre ella y el eje x sera, hallar una funcin que:

con las restricciones:

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 al origen. Usando principios de mecnica clsica el problema puede formularse como,

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

. Hay que notar que en

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

est compuesto por una integral que depende de derivadas.

(1a) Donde la funcin pertenece a algn espacio de funciones (espacio de Banach, espacio de Hilbert), y tanto ella como sus derivadas pueden tener restricciones. Esta frmula integral puede ser ms complicada permitiendo a ser 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:3 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:

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:

En las matemtica y la fsica terica, la derivada funcional es una generalizacin de la derivada usual que se presenta en el clculo de variaciones. En una derivada funcional, en vez de diferenciar una funcin con respecto a una variable, uno diferencia una funcional con respecto a una funcin.

Definicin
Dos posibles, restringidas definiciones convenientes para ciertos cmputos se dan aqu. Hay definiciones ms generales de derivadas funcionales. La primera de ellas es la derivada de Guteaux (que generaliza el concepto de derivada direccional a espacios Banach de dimensin infinita): Para cualquier funcional que aplica funciones definidas sobre una variedad (ntese que el conjunto de estas funciones forma un espacio de Banach), entonces, la derivada funcional en el sentido de Gteaux es una distribucin tal que para todas las funciones de prueba (test) f:

(1) El lmite anterior no tiene por que existir, peor an, an cuando el lmite existe puede depender de la funcin f escogida, por lo que la definicin anterior debe entenderse ms bien como una generalizacin de la derivada direccional, ms que como una generalizacin del concepto de funcin diferenciable.

Definicin alternativa
Tambin se puede definir la derivada funcional en trminos de un lmite que involucra la delta de Dirac, :

(2)

Las definiciones (1) y (2) no son equivalentes, ya que el resultado de la primera es siempre otro funcional, mientras que el resultado de la segunda defincin es una distribucin. Esto se ilustra con el siguiente ejemplo:

Las derivadas en los dos sentidos anteriores vienen dadas por:

Diferenciabilidad funcional
Si se considera una familia uniparamtrica de funciones suaves funcin de una variable real construida a partir de un funcional:1 y se considera la

Y suponiendo que para toda familia como la anterior que satisfaga determinadas condiciones existen las siguientes derivadas:

En esas condiciones se define la derivada funcional como:

(*)

Espacio de Banach
En matemticas, los espacios de Banach, llamados as en honor de Stefan Banach, son uno de los objetos de estudio ms importantes en anlisis funcional. Los espacios de Banach son tpicamente espacios de funciones de dimensin infinita.

Definicin
Un espacio de Banach es un espacio vectorial normado completo. Esto quiere decir que un espacio de Banach es un espacio vectorial sobre el cuerpo de los nmeros reales o el de los complejos con una

norma |||| tal que toda sucesin de Cauchy (con respecto a la mtrica d(x, y) = ||x - y||) en V tiene un lmite en V.

Ejemplos
De aqu en adelante,

designar uno de los cuerpos

Los conocidos espacios euclidianos , donde la norma euclidiana de x = (x1, ..., xn) est dada por ||x|| 1/2 = ( |xi|) , son espacios de Banach. El espacio de todas las funciones continuas definidas sobre un intervalo compacto (cerrado y acotado) [a, b] tiene la estructura de espacio de Banach si definimos la norma segn ||f|| = sup { |f(x)| : x en [a, b] }. Esta es, de hecho, una norma, gracias al hecho de que las funciones continuas definidas sobre un intervalo cerrado estn acotadas. Este espacio es completo con esta norma, y el espacio de Banach resultante se denota por C[a, b]. Este ejemplo se puede generalizar al espacio C(X) de todas las funciones continuas X K, donde X es un espacio compacto, o al espacio de todas las funciones continuas acotadas X K, donde X es cualquier espacio topolgico, y an al espacio B(X) de todas las funciones acotadas X K, donde X es cualquier conjunto. En todos estos ejemplos podemos multiplicar funciones y quedar en el mismo espacio: Todos estos espacios son, de hecho, lgebras de Banach unitarias.

Espacios de sucesiones lp
Si p 1 es un nmero real, podemos considerar el espacio de todas las sucesiones infinitas (x1, x2, x3, ...) de elementos en K tales que la serie infinita i |xi|p es finita. Entonces se define la norma-p de la sucesin como la raz p-sima del valor de la serie. Este espacio, junto a su norma, es un espacio de Banach; se denota por lp:

El espacio de Banach l consiste en todas las sucesiones acotadas de elementos en K; la norma de una de estas sucesiones se define como el supremo de los valores absolutos de los miembros de la sucesin.

Espacios de funciones Lp
De nuevo, si p 1 es un nmero real, podemos considerar a todas las funciones |p es Lebesgue-integrable, es decir el conjunto tales que | f

Se define la norma de f como la raz p-sima de esta integral. Por s mismo, este espacio no es un espacio de Banach porque existen funciones no nulas cuya norma es cero. Definimos una relacin de equivalencia como sigue:

Es decir, f y g son equivalentes si y solo si la "semi-norma" de f - g es cero. El conjunto de las clases de equivalencia obtiene entonces la estructura de espacio de Banach y es denotado por :

Es crucial usar la integral de Lebesgue en lugar de la integral de Riemann en este caso, porque la integral de Riemann no dara un espacio completo. Estos ejemplos se pueden generalizar: ver espacios L p para ms detalles.

Otros ejemplos

Si X e Y son dos espacios de Banach, entonces podemos formar su suma directa X Y, que es un espacio de Banach tambin. Esta construccin se puede generalizar para la suma directa de una cantidad arbitraria de espacios de Banach. Si M es un subespacio vectorial cerrado de un espacio de Banach X, entonces el espacio cociente X/M es un espacio de Banach tambin. Finalmente, todo espacio de Hilbert es un espacio de Banach. El recproco no es cierto.

Relacin con espacios de Hilbert

Como se menciona anteriormente, cada espacio de Hilbert es un espacio de Banach porque, por definicin, un espacio de Hilbert es completo con respecto a la norma asociada a su producto interior. No todos los espacios de Banach son espacios de Hilbert. Una condicin necesaria y suficiente para que un espacio de Banach sea tambin un espacio de Hilbert es la identidad del paralelogramo:

para todo u y v en nuestro espacio de Banach V, y donde ||*|| es la norma sobre V. Si la norma de un espacio de Banach satisface esta identidad, entonces el espacio es un espacio de Hilbert, con el producto interior dado por la identidad de polarizacin. Si V es un espacio de Banach real entonces la identidad de polarizacin es

y en el caso que V sea un espacio de Banach complejo la identidad de polarizacin est dada por

Para demostrar que la identidad del paralelogramo implica que la forma definida por la identidad de polarizacin es verdaderamente un producto interior, uno verifica algebraicamente que esta forma es aditiva, de donde, se sigue por induccin que la forma es lineal sobre los enteros y racionales. Entonces, como todo real es lmite de alguna sucesin de Cauchy de racionales, la completitud de la norma extiende la linealidad sobre toda la recta real. En el caso complejo uno puede probar tambin que la forma bilineal es lineal sobre i en un argumento, y conjugada lineal en el otro.

Construcciones en espacios de Banach

Operadores lineales
Si V y W son espacios de Banach sobre el mismo cuerpo K, el conjunto de todas las transformaciones lineales continuas A : V W se denota por L(V, W). Es de notar que en espacios de infinitas dimensiones no todas las funciones lineales son automticamente continuas. L(V, W) es un espacio vectorial, y definiendo la norma ||A|| = sup { ||Ax|| : x en V con ||x|| 1 } se transforma en un espacio de Banach. El espacio L(V) = L(V, V) forma un lgebra de Banach unitaria, donde la operacin de multiplicacin est dada por la composicin de funciones lineales.

Espacio dual
Si V es un espacio de Banach y K es el cuerpo subyacente (el de los nmeros reales, o bien, el de los nmeros complejos), entonces K es un espacio de Banach (usando el valor absoluto como norma) y podemos definir al espacio dual V por V = L(V, K). Este es, de nuevo, un espacio de Banach. Se puede usar para definir una nueva topologa para V: la topologa dbil. Existe un mapeo natural F de V a V'' definido por: F(x)(f) = f(x) para todo x en V y f en V'. como consecuencia del teorema de Hahn-Banach, este mapeo es inyectivo; si llegara a ser sobreyectivo, entonces el espacio de Banach V se dice reflexivo. Los espacios reflexivos tienen muchas propiedades geomtricas importantes. Un espacio es reflexivo si y solo si su espacio dual es reflexivo, lo que ocurre si y solo si su bola unitaria es compacta en la topologa dbil. Por ejemplo, lp es reflexivo para 1<p< pero l y l no son reflexivos. El dual de lp es lq donde p y q estn relacionados por la frmula (1/p) + (1/q) = 1. Ver espacios L p para ms detalles.

Derivada de Frchet
Dada una aplicacin (no necesariamente lineal) f : V W entre dos espacios de Banach es posible definir la derivada de esta funcin generalizando el caso de . Intuitivamente, si x es un elemento de V, la derivada de f en el punto x es una forma lineal continua que aproxima f cerca de x. Formalmente, se dice que f es diferenciable en x si existe una forma lineal continua A : V W tal que

El lmite aqu se toma sobre todas las sucesiones de elementos no nulos de V que converjan al nulo de V. Si el lmite existe, escribimos Df(x) = A y le llamamos la derivada de f en x. Esta nocin de derivada es una generalizacin de la derivada ordinaria de funciones R R, pues las funciones lineales de R a R son las multiplicaciones por nmeros reales. Si f es diferenciable en todos los puntos x de V, entonces Df : V L(V, W) es otra funcin entre espacios de Banach (que no es, en general, lineal), que posiblemente, se puede diferenciar de nuevo, definiendo as derivadas ms altas de f. La n-sima derivada en un punto x se puede ver como una funcin multilineal Vn W. La diferenciacin es una operacin lineal en el siguiente sentido: si f y g son dos funciones V W que son diferenciables en x, y r y s son escalares de K, entonces rf + sg es diferenciable en x con D(rf + sg)(x) = rD(f)(x) + sD(g)(x). La regla de la cadena es tambin vlida en este contexto: si f : V W es diferenciable en x que pertenece a V, y g : W X es diferenciable en f(x), entonces la funcin compuesta g o f es diferenciable en x ya la derivada es la composicin de las derivadas:

Generalizaciones
Muchos espacios importantes en anlisis funcional, por ejemplo el espacio de todas las funciones infinitamente diferenciables de R en R o el espacio de todas las distribuciones sobre R son espacios vectoriales completos, pero no normados, no siendo espacios de Banach entonces. En los espacios de Frchet an se tiene una mtrica completa, mientras que los espacios LF son espacios vectoriales uniformes que surgen como lmites de espacios de Frchet.

Isoperimetra
Isoperimetra significa literalmente "con un permetro igual". En matemtica, la isoperimetra es el estudio general de las figuras geomtricas que tienen contornos iguales.

El problema isoperimtrico en el plano

En una regin no convexa, una "melladura" en su permetro puede ser "reflejada" (hacia afuera), para aumentar el rea de la regin, manteniendo el mismo permetro.

Una regin alargada puede hacerse ms redonda, manteniendo fijo su permetro y aumentando as su rea.

El problema isoperimtrico clsico data de la antigedad. El problema se puede enunciar como sigue: Entre todas las curvas cerradas en el plano de permetro fijo, qu curva (si la hay) maximiza el rea de la regin que encierra? Se puede demostrar que esta cuestin es equivalente al siguiente problema: Entre todas las curvas cerradas en el plano que cierra un rea fija, qu curva (si la hay) minimiza el permetro? Este problema est relacionado conceptualmente con el principio de mnima accin de la fsica, en que puede ser reescrito: cul es el principio de accin que encierra la mayor rea, con la mayor economa de esfuerzo? El filsofo y cientfico del siglo XV, cardenal Nicols de Cusa, consider la accin rotatoria, el proceso por el que se genera un crculo, como el reflejo ms directo, en el dominio de las impresiones sensoriales, del proceso por el que se crea el universo. El astrnomo y astrlogo alemn Johannes Kepler invoc el principio isoperimtrico al discutir la morfologa del sistema solar, en Mysterium Cosmographicum (El misterio sagrado del Cosmos, 1596). Aunque el crculo parece ser la solucin obvia al problema, probar este hecho es bastante difcil. El primer avance hacia la solucin lo hizo el gemetra suizo Jakob Steiner en 1838, usando un mtodo geomtrico llamado simetrizacin de Steiner. Steiner mostr que si exista una solucin, entonces tena que ser el crculo. La prueba de Steiner la completaron ms adelante varios otros matemticos. Steiner comienza con algunas construcciones geomtricas1 fciles de entender; por ejemplo, se puede demostrar que cualquier curva cerrada que encierra una regin que no es completamente convexa puede ser modificada para encerrar un rea mayor "volteando" las reas cncavas para que se vuelvan convexas. Se puede demostrar adems que cualquier curva cerrada que no sea completamente simtrica

puede ser deformada para encerrar un rea mayor. La nica forma que es perfectamente convexa y simtrica es el crculo, aunque esto, en s mismo, no representa una prueba rigurosa del teorema isoperimtrico (ver los enlaces externos). El teorema se suele enunciar en forma de una desigualdad que relaciona el permetro y el rea de una curva cerrada en el plano. Si P es el permetro de la curva y A es el rea de la regin cerrada por la curva, entonces la desigualdad establece que

Para el caso de un crculo de radio r, tenemos A = r2 y P = 2r, e introduciendo estos valores en la desigualdad se muestra que el crculo maximiza de hecho el rea entre todas las curvas de permetro fijo. De hecho, el crculo es la nica curva que maximiza el rea. Hay docenas de pruebas para esta desigualdad clsica. Varias se comentan en el artculo de Treiberg enlazado ms abajo. En 1901, Hurwitz dio una prueba puramente analtica de la desigualdad isoperimtrica clsica basada en las Series de Fourier y en el teorema de Green. Las formulaciones modernas de los problemas isoperimtricos se dan a veces en trminos de geometra subriemanniana. En particular, el problema de Dido encuentra la expresin en trminos del grupo de Heisenberg: dado un arco que conecta dos puntos, la "altura" z de un punto en el grupo de Heisenberg corresponde al rea bajo el arco. El teorema isoperimtrico se generaliza a espacios de mayor dimensin: el dominio con volumen 1 con la superficie mnima es siempre una esfera.