Clculo variacional
I.
Introduccin
Se puede decir que el primer problema relacionado al clculo variacional
surgi en el siglo XVII con el problema de la curva braquistcrona, planteada
por Johann Bernoulli. Esto atrajo la atencin de muchos intelectuales de ese
entonces y por fin en 1744, Leonhard Euler, public el libro Mtodo de
mximos y mnimos en el que se daba solucin a este problema y adems
sentaba los cimientos del clculo variacional. Sin embargo, los mtodos
planteados por Euler eran excesivamente complicados ya que abundaban
las condiciones geomtrico-analticas que no facilitaban para nada su
entendimiento. Fue por ello que el clculo variacional no se pudo consolidar
del todo hasta que aos despus, Lagrange doto al mtodo con un
simbolismo ms apropiado adems de hacer un desarrollo puramente
analtico de l.
El clculo variacional tiene como problema fundamental el clculo de los
valores mximos y mnimos (extrmales) de un funcional. Se llaman
funcionales a un determinado tipo de funciones cuyos valores se
determinan a partir de los valores de otras funciones, son funciones de
funciones o tipos de funciones en los que la variable independiente es una
funcin. En el presente trabajo se realizara una pequea introduccin al
clculo variacional en el que se mostraran los principales teoremas y
problemas relativos a l.
II.
Problema fundamental del clculo variacional.
Como habamos mencionado, el clculo variacional se encarga de estudiar
lo mtodos que permiten hallar los valores mximos y mnimos de las
funcionales. Hay leyes de la fsica que se apoyan en la afirmacin de que
una determinada funcional alcanza su mnimo o su mximo en una
determinada situacin. Dichas leyes reciben el nombre de principios
variacionales de la fsica.
Ahora, Sea
en
[ x1 ; x2 ]
en
[ x1 ; x2 ]
y (x)
clase
C2
, es decir, que posee la primera y segunda derivada continua
. Entonces definimos:
F( y , y , x ) dx
x2
I ( F )=
x1
sea una funcinal que posea elementos
El problema fundamental del clculo variacional consiste en encontrar los
valores extremos (mximos y minimos) de
Cabe hacer notar que
x1 y
entre
I es una integral definida y, por tanto, da como
resultado un nmero cuyo valor depende de la funcin
en el argumento de la funcin dada
III.
x2 .
y (x)
empleada
F( y , y , x ) .
Relacin entre conceptos relativos a mximos y mnimos de
funciones y a mximos y mnimos de funcionales.
Es de esperar que los conceptos de mximos y mnimos de una funcin
guarden una relacin estrecha con los respectivos extrmales de un
funcional, ya que esto no es ms que una funcin de funciones. Es por ello
que antes de abordar los mtodos que nos ayudaran a resolver el problema
fundamental del clculo variacional , es de gran importancia mencionar las
semejanzas que encontramos entre las funciones y los funcionales . stas se
detallaran en la siguiente tabla:
Funciones
1. La variable z es funcin de la
variable x, y se designa como
z=f(x), si a cada valor de x
perteneciente a cierto
dominio de variacin de x le
corresponde un nico valor de
z.
1. Se llama incremento
de
la variable x, a la diferencia
entre dos valores
x=xx 0
. Si x es la variable
independiente, dx= x
1. La funcin f(x) es continua en
x
x= 0 , si para todo
positivo existe un >0, tal que
si,
|f (x)f ( x 0 )|<
,entonces
|xx 0|<
Funcionales
La variable v se llama funcional
dependiente de la funcin y(x), y se
designa como, v=v[y(x)], si a cada
funcin y(x) perteneciente a cierta
clase de funciones le corresponde un
nico valor de v.
Se llama incremento o variacin, y,
de y(x) a la diferencia entre dos
funciones, y= y ( x) y 0 (x)
pertenecientes a una clase
considerada de funciones M
La funcional
en
J [ y ( x )]
es continua
y= y 0 (x ) , hasta el orden de
proximidad k, si para todo positivo
existe un > 0, tal que si
J [ y ( x ) ]J [ y 0 ( x ) ]
, entonces:
y ( x ) y 0 ( x ) para todo orden k
2. Se llama funcin lineal a la
funcin l(x) que satisface las
siguientes condiciones
l(cx )=cl( x )
, donde c es
una constante arbitraria y
Se llama funcional lineal a la
J [ cy ( x ) ] =cJ [ y ( x ) ] , donde
funcional
c es una constante arbitraria y
J [ y 1 ( x )+ y 2 ( x ) ]=J [ y 1 ( x ) ] + J [ y 2 ( x ) ]
l ( x 1 + x 2 )=l ( x 1) + l( x2 )
3. La funcin f(x) alcanza en un
punto
x0
La funcional
J [ y ( x ) ] tiene un
su mximo
absoluto, si para todo punto x,
perteneciente al dominio de
definicin de la funcin, se
x
verifica que f( 0 ) f(x). Del
mismo modo se dice que f(x)
alcanza en un punto
x 0 su
y (x)= y 0 (x) ,
mximo en la curva
si su valor en cualquier curva
prxima a
y (x)= y 0 ( x)
mayor que
J [ y ( x )]
no es
. O sea si
J =J [ y ( x ) ]J 0 [ y ( x ) ] 0 . Si adems
mnimo absoluto, si para todo
punto x perteneciente al
dominio de definicin de la
diremos que se alcanza un mximo
x
funcin, se verifica f( 0 )
estricto en la curva
f(x).
la misma forma se define la curva
J =0
slo para
y (x)= y 0 (x)
y= y 0 (x ) . De
y= y 0 (x ) en la que se alcanza un
mnimo. En este caso,
J 0 para
todas las curvas prximas a
y= y 0 (x ) ,
4. Teorema (Condicin
necesaria): Si la funcin
derivable f(x) alcanza su
mximo o su mnimo en un
punto interior x=
x 0 del
dominio de definicin de la
funcin, entonces en este
punto ser f(x)=0
Teorema (Condicin necesaria): Si la
funcional
J [ y ( x ) ] , alcanza su
mximo o su mnimo para
y= y 0 (x ) , siendo
y 0 ( x)
un
punto interior de la regin de
definicin de la funcional, entonces
para
y= y 0 (x ) ser
J 0 [ y ( x ) ]=0 .
Las funciones para las que
se denominan funciones
estacionarias
J =0
IV.
Ecuacin de Euler
Tomando las mismas condiciones que la parte (II). La condicin de Euler
viene dada por:
d F
F
=0
dx y
y
( )
Esta ecuacin expresa la condicin que debe satisfacer la funcin
que hace
I =0
para una integral definida de una funcional
F( y , y , x )
. Esta ecuacin es una ecuacin diferencial de segundo orden para
cuya condicin permite encontrar
V.
y (x)
y (x)
y ( x)
para las condiciones dadas.
Los tres problemas clsicos del clculo variacional
a) El problema de la braquistcrona
En 1696, Johann Bernoulli public una carta, dirigida a los matemticos de la
poca, proponiendo un problema sobre las lneas de deslizamiento ms
rpidas, o braquistcronas. En este problema se exige determinar la lnea
que une dos puntos dados A y B, que no pertenecen a una misma recta
vertical, de manera que una partcula se deslice por dicha lnea desde el
punto A hasta el punto B en el menor tiempo posible.
Entre todas las curvas que unen los puntos A y B, se desea hallar aquella a lo largo de la cual
un punto material, movindose bajo la fuerza de la gravedad desde A llega al punto B en el
menor tiempo.
Para ello se encontr que el funcional que describe el tiempo empleado para pasar del punto A al
punto B a travs de la curva y viene dado por:
a
T [ y ( x) ] =
0
1+ y ( x)2
dx
2 gx
Hallar la braquistcrona es equivalente a resolver el siguiente problema de mnimos: entre todas
las posibles funciones
y ( x) que verifiquen las condiciones de la figura, hallar la que
corresponda al menor valor de la integral
T [ y ( x) ] .
b) El problema isoperimtrico.
Se pide hallar una lnea cerrada de longitud dada I
que delimite
el rea mxima S. Esta lnea, ya se saba cul era en la antigua
Grecia. En este problema se exige hallar el extremo de la funcional S
con una condicin complementaria, y que es que la longitud de la
curva debe ser constante, es decir, la funcional:
t1
I = x (t )2+ y (t )2 dt
t0
S e ha de mantener constante. Condiciones de este tipo reciben el
nombre de isoperimtricas. Los mtodos generales de resolucin de
problemas con condiciones isoperimtricas fueron desarrollados por
Euler.
c) El problema de las geodsicas.
Las geodsicas son aquellas curvas contenidas en una superficie regular que
minimizan la distancia entre dos puntos de la misma. Por lo tanto para una superficie
( x , y , z ) =0 como la que se muestra la figura.
La geodsica ser el mnimo del funcional:
x1
I = 1+ y 2 + z 2 dx
x0
Donde las funciones y(x) y z(x) estn sometidas a la condicin
(x , y , z )=0
. Este problema fue resuelto por Jakob Bernoulli, pero el
mtodo general para resolver este tipo de problemas se obtuvo a partir de
los trabajos de Euler y Lagrange.
