CAPTULO 3. CALCULO DE VARIACIONES.

3.1. Funcional y ejempl os

En esta seccin definiremos el concepto de funcional:
Definicin:
Sea M un conjunto de funciones definidas en un intervalo cerrado, dichas funciones
se denotarn por y, que representan geomtricamente una curva. Una funcional es una
funcin definida en el conjunto M y con valores en un conjunto de escalares K, la cual se
denotara por J.
Ejemplo:
Sea M = C[a, b], el espacio de todas las funciones continuas definidas en el
intervalo
[a, b], entonces:
( ) | |
}
=
b
a
dx y x y J .
La cual es una funcional.
Ejemplo:
Sea M =C
1
[a, b], espacio de todas las funciones con derivada continua en el
intervalo [a, b], entonces
( ) | | dx y x y J
b
a
}
' + = 1 ,
es una funcional que representa geomtricamente la longitud de la curva y, desde el
punto (a, y(a)) hasta el punto (b, y(b)).
3.2. Cercana entre curvas.
Se llama incremento del argumento ( ) x y , de la funcional ( ) | | x y J a la diferencia
entre dos funciones M , e
1
y y , el cual se denota por:
( ) ( ) ( ) x y x y x
y 1
= .
Para la clase de funciones de M, k veces diferenciables tenemos:

( )
( )
( )
( ) x
k
y
k
y
= .
Decimos que las curvas M , e
1
y y , son cercanas de orden nulo si es pequea la
magnitud
( ) ( ) x y x y
1

Tambin diremos que las curvas M e
1
, y y , son cercanas de primer orden si son
pequeas las magnitudes.
( ) ( ) ( ) ( ) x y x y x y x y
1 1
, ' '
Finalmente decimos que las curvas M e
1
, y y , son cercanas de n-simo orden si
( )
( )
( )
( )
k
k k
x y x y <
1
, para k =0,1,2,...,n.
Ejemplo:
Sean las curvas
( ) ( ) 0 y ,
1
2
= x
n
nx sen
x y ,
definidas en el intervalo [0,t], tenemos:
( )
n
nx cos
x y = ' , ( ) nx sen x y = ' ' ,
entonces
( ) ( ) ( ) ( )
n
n
cos nx
x y x y
n
n
sen nx
x y x y
1
,
1
1 2 1
s = ' ' s =
2
,
( ) ( ) 1
1
s = ' ' ' ' sen nx x y x y ,
as que estas curvas son cercanas de orden dos.
Entenderemos distancia entre dos curvas | | b a C y y , ,
1
e c M, al nmero no
negativo
( ) ( ) | | ( ) ( ) x y x y x y
1
b x a
1
x y mx , =
s s
.
Ejemplo:

Hallar la distancia entre las curvas
( ) ( ) | | 0,1 intervalo el en , ,
1
2
x x y x x y = =
En efecto: la distancia es:
( ) ( ) | | ( )
2 2
1 0
1
x x mx x x x m x y x y
1 x 0 x
= =
s s s s
, ,
sea ( )
2
x x x z = ,
esta funcin se anula en los extremos, as que el mximo de la funcin se encuentra
usando la tcnica conocida
( ) ( ) 2 2 1 = ' ' = ' x z x x z , ,
esto significa que el mximo tiene por abscisa
2
1
0 2 1 = = x x , ( )
4
1
4
1
2
1
2
1
= = z .
Tenemos que
( ) ( ) | |
4
1
1
= x y x y , .
Ahora supngase que las curvas M y y e
1
, , tienen derivadas continuas de orden n,
se llama distancia de n-simo orden entre las curvas y se denota:
( )
( )
( )
( )
n k
k
k k
n
x y x y m
=
=
s s )
`

=
0
1
b x a
sup x .
Tambin se llama c-vecindad de n-simo orden de la curva y(x) que pertenece al
conjunto M, al siguiente conjunto:
( ) | | { }

< =
1 1
y y y y V
n
, .

Llamaremos una c-vecindad fuerte de la curva y a una c-vecindad de orden nulo,
tambin llamaremos una c-vecindad dbil de y a una c-vecindad de primer orden.
3.3. Conti nui dad de una funcional
Sea una funcional ( ) | | x y J definida en M, decimos que dicha funcional es continua
en la curva y
0
(x), si dada una vecindad de orden n
( ) | | ( ) ( ) ( ) ( ) ( ) | | ( ) | | ( ) x y J V x y V J que tal x y V existe x y J V
0 0 0 0
c
Tambin la vecindad de la funcional es de orden n, en otras palabras
( ) | | ( ) | | ( ) ( ) | | < < x y x y que siempre x y J x y J
n 0 0
, , .
Poniendo
( )
( )
( )
( )
( )
( ) x x y x y
k k k
oe + =
0
, (k = 0,1,2,...,n), donde o, es un parmetro y
(x), es una funcin de M, podemos suponer que:
( )
( )
( )
( ) x y x y lim
k k
0
0
=
o
, (k = 0,1,2,...,n),
definimos la continuidad de la funcional ( ) | | ( ) x y curva la en x y J
0
,en la forma
( ) ( ) | | ( ) | | x y J x x y J lim
0 0
0
= oe +
o
.
Ejemplo:
Sea la funcional
( ) | | ( )dx y y x y J
}
' + =
1
0
2
,
en el espacio
1
C [0,1], y la funcin y
0
(x)=x, consideremos
( ) | | | | ( ) ( ) ( ) ( )
. , ,
} }
} } } }
q < ' q <
c
= q c = q = q + q
< ' + s ' + s + ' + =
1
0
1
0
1
0
1
0
1
0
1
0
3
3 2
1 2 1 2 2 2
1 - y x - y donde dx dx
dx y dx x y dx y x y dx x y y x J x y J
As que la funcional
( ) | | ( )dx y y x y J
}
' + =
1
0
2
,

es continua en la curva ( ) x x y =
0
, de primer orden.
Ejemplo:
Sea la funcional
( ) | | dx y x x y J
}
+ =
1
0
3 3
1 ,
Definida en el espacio C[0,1], y considere la curva ( )
2
0
x x y = , de orden nulo.
Consideremos
( ) ( ) x x x y + =
2
, donde qeC[0,1], tenemos:
( ) | | ( ) | | ( ) ( ) dx x x x x x J x y J
}
oq + + = oq + =
1
0
3
2 3 2
1 ,
tomando el lmite:
( ) | | ( ) ( ) ( ) | |
2
1
0
3
2 3
1
0
3
2 3
0 0
1 1 x J dx x x dx x x x lim x y J lim = + = oq + + =
} }
o o
, as que la
funcional es continua en la curva ( )
2
0
x x y = .
Definicin:
Sea M, un espacio lineal con norma.
La funcional ( ) | | x y L , definida en el espacio M, se llama lineal si cumple:
( ) ( ) | | ( ) | | ( ) | | M , , ) e + = +
2 2 1 2 1
y y con x y L x y L x y x y L i
1
,
( ) | | ( ) | | x y cL x y c L ii = ) , para cualquier constante c.
Como por ejemplo tenemos:
( ) | | ( )dx y y x y L
b
a
}
' + = ,
definida en el espacio C
1
[a, b], es lineal.

3.4. Variaci n de una funci onal
Sea ( ) | | x y J una funcional definida en el conjunto M, el incremento de la funcional
correspondiente al incremento
y
o del argumento se define como:
( ) | | ( ) | | ( ) | | ( ) ( ) M y
~
y, donde
~
con ,
y
e = + = A = A x y x y x y J x y J x y J
y
.
Ejemplo:
Sea la funcional
( ) | |
}
' =
1
0
dx y y x y J ,
definida en el espacio C
1
[0,1], con y(x)=x
2
, y
1
(x)=x
3
, tenemos:
| | | | ( ) ( ) = = = A
} }
dx x x dx x x x J x J J
1
0
2 3
1
0
2 3 2
3 2
} }
= =
1
0
1
0
1
0
6 1
0
4 5 3
0
6
3
4
2
3 2 x x dx x dx x .
Definicin.
S el incremento de la funcional
( ) | | x y J
,
( ) | | ( ) | | x y J x y J J
y
o + = A

se puede expresar en la forma:
( ) | | ( ) ( )
y y y
x y x y L J , , + = A
donde
( ) | |
y
x y L o ,
,
es una funcional lineal respecto al incremento del argumento,
( ) ( ) cuando x y
y
, 0 , 0
y
,
entonces la funcional L se llama Variacin de la funcional y se representa por
: J ,

en este caso se dice que la funcional es Diferenciable en la curva y(x).
Ejemplo:
Sea la funcional

( ) | |
}
=
b
a
dx y x y J ,
3

definida en el espacio C[a, b], tenemos
( ) ( ) ( )
} } } }
= o + o + o + = o + = A
b
a
b
a
b
a
b
a
y y y y
dx y dx y y y dx y dx y J
3 3
2
2 3 3
3
3 3
( ) ( ) ( )
} }
+ +
b
a
b
a
y y y
dx y dx y , 3 3
3 2 2

as que
( ) | |
}
=
b
a
y y
dx y x y L , 3 ,
2

es lineal respecto a
y
, esto significa que la funcional es Diferenciable en la curva
y(x).
Considere la siguiente funcin F(x, y) continua en el conjunto
E =( ) { } < < s s y b x a y x , , ,
Con
| | b a C y ,
2
e
,
considrese la funcional
( ) | | ( )dx y x F x y J
b
a
}
= ,

definida en C[a, b], considere ahora, la formula de Taylor para la funcin F,
( ) ( ) ( ) ( )
y y y
y x R y x
y
F
y x F y x F o +
c
c
o = o + , , , , ,

donde R es el residuo, ahora aplicando este resultado a la funcional se tiene:
( ) ( ) | | ( )
} } }
o + o
c
c
= o + = A
b
a
b
a
y y
b
a
y
dx y x R dx
y
F
dx y x F y x F J , , , ,

el primer sumando es lineal respecto a oy, consideremos

( ) ( )
y
b
a
y
b
a
y
a b N dx N dx y x R s s
} }
, , ,
donde
( ) x max
y
b x a
y

s s
= ,
as que su variacin es
}
o
c
c
= o
b
a
y
dx
y
F
J

entonces la funcional es diferenciable en el espacio C1[a, b].
En el caso de la funcin F(x, y, y) con las mismas condiciones del caso anterior se
tiene
dx
y
F
y
F
J
b
a
y y
} |
|
.
|

\
|
o
' c
c
+ o
c
c
= o
'

y en general se tiene para la funcin
( )
( )
m
y y y y x F ,..., , , , ' ' '
,
tenemos su variacin:
( )
( )
dx
y
F
y
F
y
F
J
b
a
y m y y
m
} |
|
.
|

\
|
o
c
c
+ + o
' c
c
+ o
c
c
= o
'
...

la cual es diferenciable en | | b a C
m
, .
Ejemplo:
Sea la funcional
( ) | | ( ) , dx y y x x y J
}
' =
1
0
2 2 2

tenemos
( ) , , ,
2 2 2
y y x y y x F ' = '
as que

y y y y
y x y
y
F
y
F
' '
o ' + o = o
' c
c
+ o
c
c
2
2 2

su variacin es:
( ) , 2 2
1
0
2
dx y x y J
y y
}
'
' + =
y la funcional es diferenciable.
Ahora veremos una segunda definicin para la variacin de una funcional.
Llamaremos variacin de la funcional en la curva y(x), al valor de la derivada de la
funcional
( ) | |
y
x y J oo +
,
en el parmetro 0 = , esto es:
( ) | |
0 =
+
c
c
=

y
x y J J .

Con el ejemplo anterior apliquemos la segunda definicin para la funcional
( ) | | ( ) ( ) , ) (
1
0
2
2
2
}
+
'
+ = + dx y y x x y J
y y y

Tenemos:
( ) | | ( ) ( ) , 2 2
1
0
2
dx y y x x y J
y y y y y
}
+
'
+ = +
c
c
'

( ) | | ( ) ( ) | |dx y y x dx y y x x y J
y y y y y y y
} }
o o ' =
(

o oo + o
'
oo + = oo +
o c
c
' = o ' = o
1
0
2
0
1
0
2
0
2 2 2 2

As que las dos variaciones son iguales.
3.5. Extremo de una funci onal, condicin necesaria de un
extremo
Decimos que la funcional

( ) | | x y J
,
alcanza su mximo en la curva ) (
0
x y , si
( ) | | ( ) | | 0
0
s = A x y J x y J J
.
Ahora s
0 J y J = A s A , 0

solo para cuando
( ) ( ) x y x y
0
= ,
en este caso decimos que se alcanza mximo estricto, de la misma forma se define
el mnimo , esto es: la funcional
( ) | | x y J
,
Alcanza su mnimo en la curva
0
y (x) s
0 > AJ
,
y alcanza su mnimo estricto en la curva ) (
0
x y , s
0 J y 0 J = A > A
.
Llamaremos curvas extremas a las curvas que alcanzan sus mximos mnimos.
Decimos que la funcional
( ) | | x y J .
Alcanza su mximo relativo fuerte en la curva
0
y , s
0 J s A
,
para todas las curvas y(x), que pertenezcan a una c-vecindad de orden nulo, de la
curva ) (
0
x y . Anlogamente se define el mnimo relativo fuerte.
Decimos que la funcional
( ) | | x y J
,

Alcanza su mximo relativo dbil en la curva ) (
0
x y , s
0, J s A

para todas las curvas que pertenecen a una -vecindad de primer orden, de la curva
) (
0
x y .Anlogamente se define el mnimo relativo dbil.
Todo extremo fuerte es al mismo tiempo extremo dbil pero no a la inversa.
Se llama extremo absoluto al extremo de la funcional referente a la totalidad de las
funciones en las que esta definida la funcional.
Todo extremo absoluto es al mismo tiempo extremo relativo fuerte y dbil pero no
todo extremo relativo ser extremo absoluto.
3.6. Problema elemental del calcul o variacional, ecuacin
de Euler
Supngase que la funcin F (x, y, y), tiene derivadas parciales continuas hasta de
segundo orden, respecto a todos sus argumentos.
El problema elemental del calculo variacional es hallar el extremo dbil de la
funcional
( ) | | ( )dx y y x F x y J
b
a
}
' = , ,

en el conjunto de todas las curvas suaves que unen dos puntos fijos
( ) ( ) ( ) ( ) b y b P a y a P , , ,
2 1
,
Condicin necesaria, para que la funcional
( ) | | ( )dx y y x F x y J
b
a
}
' = , ,

definida en el conjunto de todas las funciones y que tienen derivada continua y
que satisfacen las condiciones de frontera
( ) ( ) ( ) ( ) b y b P a y a P , , ,
2 1
,
para que alcance su valor extremo en la curva y, es que esta funcin verifique la
ecuacin de Euler.

. 0 =
' y y
F
dx
d
F

Las curvas integrales de la ecuacin de Euler se llaman extremales curvas de
lagrange.
S desarrollamos la ecuacin de Euler se tiene:
( ) ( ) ( ) ( )
( ) ( ) 0 x y
: tiene se 1 - por ndo multiplica , 0
= + ' + ' '
= ' ' + ' +
' ' ' '
' ' ' ' '
y y x y y y y
y y y y y x y
F F F x y F
x y F x y F F F

Esta ecuacin representa una ecuacin diferencial de segundo orden, ya que su
solucin general requiere de dos condiciones a la frontera
( ) ( ) ( ) ( ) b y b P a y a P , , ,
2 1
,
para obtener su solucin particular. La funcional
( ) | | ( )dx y y x F x y J
b
a
}
' = , ,

puede alcanzar su extremo slo en las extremales que satisfagan las condiciones a
la frontera.
Ejemplo:
Sea la funcional
( ) | | ( )dx xy y x y J
}
' =
2
1
2
2

con las condiciones a la frontera
( ) ( ) 1 2 0 1 = = y y ,
,
considere la funcin
( ) xy y y y x F 2
2
' = ' , ,
,
considere lo siguiente:
y F
dx
d
y F x F
y y y
' ' = ' = =
' '
2 2 2 , ,
,
entonces la ecuacin de Euler se transforma en:

0 = + ' ' x y ,
cuya solucin general es
,
2 1
3
6
c x c
x
y + + =

utilizando las condiciones a la frontera se tiene
0
6
1
2 1
= = c c , ,
as que el extremal es:
( )
2
3
1
6 6 6
x
x x x
y = =

Ejemplo:
Sea la funcional
( ) | | ( )dx y xy x y J
}
=
3
1
2
3 ,
con las condiciones a la frontera
( ) ( ) 0 3 1 1 = = y y , ,
tenemos:
y x F
y
2 3 = ,
entonces la ecuacin de Euler es:
0 2 3 = y x ,
la cual no satisface las condiciones a la frontera, as que este problema no tiene
solucin.
Finalmente considere el siguiente problema, sea la funcional
.
n
1
n
nx cos
x y x y
n n
nx sen
x y x y s = s = ) ( ) ( , ) ( ) (
' '
1
2 2
1
1

tenemos:

y F
dx
d
y F y F
y y y
' ' = ' = =
' '
2 2 2 , , ,
as que la ecuacin de Euler es:
0 = + ' ' y y

cuya solucin general es:
x n se c x s co c y
2
+ =
1

aplicando las condiciones a la frontera se tiene:
1 =c
1
cos 0 + c
2
sen 0 donde
c
1
= 1, c
2
= cualquier constante
se obtiene el mismo resultado para la segunda condicin y la solucin es:
y =cos x +c sen x
la cual tiene una infinidad de soluciones.