Victor Daniel Rojas Cerna Matemtica III

1

INTRODUCCION AL CALCULO VARIACIONAL.
Siempre hemos tenido tres problemas clsicos en el clculo de variaciones.
Problema Geodsico.
El problema consiste en encontrar una funcin
| |
( ), , y y x x a b = e , de manera que la longitud de
la curva grafica de dicha funcin sea mnima.
Es decir abra que encontrar el valor mnimo de la funcional:
| |
2
( ) 1 ( )
b
a
J y x y dx ' = +
}

As tendremos que la curva debe pasar por ( ) ( ) , ( ) , ( ) a y a y b y b por tanto no hay un valor mximo
para dicha funcional.





Problema de la superficie de rea mnima.
El problema consiste en encontrar una curva ( ) y y x = cuya grafica al rotarla alrededor del eje x, ser
obtiene una solido cuya rea de su superficie sea mnima.
Lo cual significara minimizar la funcional | |
2
( ) 2 1 ( )
b
a
J y x y y dx t ' = +
}
determine un slido de
revolucin de rea de su superficie mnima.




Problema isoperimtrico.
Consiste en encontrar una curva simple cerrada de longitud dada L , de manera que encierre una
regin de rea mxima.
A
B
Victor Daniel Rojas Cerna Matemtica III
2

Para lo cual tendremos que maximizar la funcional
| | ( ) ( ) | | { }
1
, ( ), ( ) / 0,
2
b
a
J f xy yx dt f x t y t t T = = e
}
pero condicionado a que
( ) ( )
2 2
0
T
L x y dt = +
}





Conceptos de Anlisis Funcional
Consideremos el espacio vectorial de las funciones que cumplan alguna condicin como el espacio
vectorial de todas las funciones integrables en | |
, a b .

| | { }
: / int , V f R f egrable en a b = O
| | { }
: / , W f R f continua en a b = O
Una functional es una funcin de un espacio vectorial en R . As tendremos las siguientes
funcionales.
| | ( )
: , ( ) 1
b
y
a
J V R J y y x e dx
'
= = +
}

| | : , ( )
2
a b
W R f f
+
I I =
Ambas son funcionales.
Funcionales lineales.
Diremos que la funcional : , J V R es lineal si cumple la siguiente condicin de linealidad:
| | | | | |
, , : f g V c d R J af bg aJ f bJ g e . e + = +
Ejemplos.
1. Con V definido anteriormente, | | ( ) : , ( ) 1
b
a
J V R J y y x y dx ' = = +
}
es una funcional lineal.
L
Victor Daniel Rojas Cerna Matemtica III
3

2. Con W definido anteriormente, | | : , ( )
2
a b
W R f f
+
I I = es una funcional lineal.
Valores extremos de funcionales.
Sea la funcional : , W R I diremos que I alcanza un valor mximo en h V e si se
cumple:
: ( ) ( ) g V g h e I s I
Diremos que Ialcanza un valor mximo en h V e si se cumple:
: ( ) ( ) g V g h e I > I .
Ejemplos .
I) Encontrar los valores extrmales para las siguientes funcionales
1) | | ( )
}
' + =
2
0
2 2
dx y y y J
1 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Aplicando la ecuacin de Euler:

2
2
( ) 0
y y y y y x y
d y dy
f f f f
dx dx
' ' ' '
+ + = (1)

Donde:
( )
y f
f
f
y f
y y f
y
x y
y y
y
2
0
0
2
2 2
=
=
=
' =
' + =
'
'
'

Reemplazando en (1)
0 ) 2 0 ( 0 2
2
2
= + + y
dx
dy
dx
y d

0
0 2 2
= ' '
= ' '
y y
y y

Victor Daniel Rojas Cerna Matemtica III
4

Una solucin de esta ecuacin diferencial es:
rx
e y =
0 ) 1 (
0
2
2
=
=
r e
e e r
rx
rx rx

De aqu:
1
1
2
=
=
r
r

De esto:
x r x r
e y e y
2 1
2 1
; = =
La solucin general seria:
x x
e c e c y

+ =
2 1


Y de las condiciones iniciales
1 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:

e
e
c
e
c
+
=
+
=
1
;
1
1
2 1

Finalmente, la ecuacin seria:

x x
e
e
e
e
e
y

+
+
+
=
1 1
1

2)
}
' =
1
0
2
) ( ] [ dx y e y J
y

2 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Como la funcional no depende directamente de x , la ecuacin de Euler se
reduce a:

1
f
y f c
y
c
' =
' c
(1)
Donde:
Victor Daniel Rojas Cerna Matemtica III
5

) ( 2
) (
2
y e f
y e f
y
y
y
' =
' =
'

Reemplazando en (1)
c y e y e
y y
= ' '
2 2
) ( ) ( 2
c y e
y
= '
2
) (
c y e
y
= ') (
2

Entonces integramos y obtenemos:
} }
= dy e dx c
y
2
2

3 2
2
c x c e
y
+ =
Despejando y obtenemos la solucin general:

) ln( 2
3 2
c x c y + =

Y de las condiciones iniciales
2 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:
2
1
3
2
1
2
; e c e e c = =
Finalmente, se obtiene la ecuacin:
3
2
2
3
2
2 ) 1 2 (
|
|
.
|

\
|
+
=
x
y
3) | | ( )
}
' + ' =
3
0
2 2
) ( ) ( dx y y y y y J
2 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Como la funcional no depende directamente de x , la ecuacin de Euler se
reduce a:

1
f
y f c
y
c
' =
' c
(1)

Victor Daniel Rojas Cerna Matemtica III
6

Donde:
2
2 2
2
) ( ) (
y y y f
y y y y f
y
+ ' =
' + ' =
'

Reemplazando en (1)
1
2 2 2 2
) ( ) ( 2 c y y y y y y y y = ' ' ' + '
1
2
) ( c y y = '
Entonces integramos y obtenemos:
} }
= dy y c dx
2 / 1
2

La solucin general:
3
2
3
2
3
2
c y c x + =

Y de las condiciones iniciales
2 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:

1 2
2
;
1 2
3
2
3 3
2
3 2

= c c
Finalmente, se obtiene la ecuacin:
3
2
2
3
2
2 ) 1 2 (
|
|
.
|

\
|
+
=
x
y
4) Encuentre la curva cerrada de longitud l , que podamos encerrar la mayor rea
posible:
Solucin:
Tenemos la ecuacin de la curva cerrada en forma parametrica
) (
) (
t y y
t x x
=
=

Su rea en paramtricas es
}
=
T
dt x y y x t y t x S
0
) (
2
1
)] ( ), ( [
Y la condicin es
}
+ =
T
dt y x l
0
2 2

Victor Daniel Rojas Cerna Matemtica III
7

Sean las funcionales para paramtricas
}
=
1
0
) , , , ( )] ( ), ( [
t
t
dt y x y x H t y t x V

Entonces tenemos:
2
x y y x
F

= .
2 2
y x G + =

2 2
2
y x
x y y x
G F H

+

= =
Para parametricas se tiene el sistema de ecuaciones
0 =
dt
dH
H
x
x

0 =
dt
dH
H
y
y

Como H no depende explcitamente de t se tiene:
0 = y H H
y y y


(1)
0 = x H H
x x x


(2)
De (1)
0
) (
2 2
3
2 2
2
=
+
+
y x
y x x


2
1
) (
2
3
2 2
=
+ y x
y x


(3)
De (2)
0
) (
2 2
3
2 2
2
=
+
+
y x
x y y


2
1
) (
2
3
2 2
=
+ y x
y x


(4)
De (3) y (4)
k
y x
y x
y x
y x
= = =
+

+

1
)
2
1
(
2
1
) ( ) (
2
3
2 2
2
3
2 2





Tenemos:
k
y x
y x y x
=
+

2
3
2 2
) (

; k es la curvatura para parametricas.

Victor Daniel Rojas Cerna Matemtica III
8

Como la curvatura es k = constante.
Entonces, la curva cerrada de mxima rea es un crculo.



5) Encuentra una curva que pase por los siguientes puntos (1,0) y (2,3), con la
propiedad de que la superficie de revolucin al girar la regin acotada por ella y las
ordenadas x=a y x=b alrededor del eje x, sea mnima.
Solucin:
Como queremos la superficie de revolucin, formula seria:
}
' +
b
a
dx y y
2
) ( 1 2t
As, como queremos minimizar, usamos euler, pero en este caso, como no
depende de x usamos:
1
c f y
y
f
= '
' c
c
(1)
Donde:
2
2
) ( 1
) ( 1
y
y y
f
y y f
y
' +
'
=
' + =
'

Reemplazamos en (1):
1
2
2
2
) ( 1
) (
) ( 1 c
y
y y
y y =
' +
'
' +

2
2
2 2
) ( 1 ) ( ) ) ( 1 ( y c y y y y ' + = ' ' +

2
2
) ( 1 y c y ' + =
Despejando y' :
1
2
2
= '
c
y
y
Victor Daniel Rojas Cerna Matemtica III
9

Integrando obtenemos

3
2
1
2
) ( cosh c x
c
y
c + =

Y la solucin general seria:
) cosh(
2
3
2
2
c
c
c
x
c y + =
6) Encontrar los valores extrmales para las siguientes funcionales
1) | | ( )
}
' + =
2
0
2 2
dx y y y J
1 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Aplicando la ecuacin de Euler:

2
2
( ) 0
y y y y y x y
d y dy
f f f f
dx dx
' ' ' '
+ + = (1)

Donde:
( )
y f
f
f
y f
y y f
y
x y
y y
y
2
0
0
2
2 2
=
=
=
' =
' + =
'
'
'

Reemplazando en (1)
0 ) 2 0 ( 0 2
2
2
= + + y
dx
dy
dx
y d

0
0 2 2
= ' '
= ' '
y y
y y

Una solucin de esta ecuacin diferencial es:
rx
e y =
0 ) 1 (
0
2
2
=
=
r e
e e r
rx
rx rx

Victor Daniel Rojas Cerna Matemtica III
10

De aqu:
1
1
2
=
=
r
r

De esto:
x r x r
e y e y
2 1
2 1
; = =
La solucin general seria:
x x
e c e c y

+ =
2 1


Y de las condiciones iniciales
1 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:

e
e
c
e
c
+
=
+
=
1
;
1
1
2 1

Finalmente, la ecuacin seria:

x x
e
e
e
e
e
y

+
+
+
=
1 1
1






6) Encontrara los valores extrmales para
}
' =
1
0
2
) ( ] [ dx y e y J
y

2 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Como la funcional no depende directamente de x , la ecuacin de Euler se
reduce a:

1
f
y f c
y
c
' =
' c
(1)
Victor Daniel Rojas Cerna Matemtica III
11

Donde:
) ( 2
) (
2
y e f
y e f
y
y
y
' =
' =
'

Reemplazando en (1)
c y e y e
y y
= ' '
2 2
) ( ) ( 2
c y e
y
= '
2
) (
c y e
y
= ') (
2

Entonces integramos y obtenemos:
} }
= dy e dx c
y
2
2

3 2
2
c x c e
y
+ =
Despejando y obtenemos la solucin general:

) ln( 2
3 2
c x c y + =

Y de las condiciones iniciales
2 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:
2
1
3
2
1
2
; e c e e c = =
Finalmente, se obtiene la ecuacin:
3
2
2
3
2
2 ) 1 2 (
|
|
.
|

\
|
+
=
x
y
7) Encontrar los valores extrmales para | | ( )
}
' + ' =
3
0
2 2
) ( ) ( dx y y y y y J
2 ) 1 (
1 ) 0 (
=
=
y
y

Solucin:
Como la funcional no depende directamente de x , la ecuacin de Euler se
reduce a:

1
f
y f c
y
c
' =
' c
(1)
Victor Daniel Rojas Cerna Matemtica III
12

Donde:
2
2 2
2
) ( ) (
y y y f
y y y y f
y
+ ' =
' + ' =
'

Reemplazando en (1)
1
2 2 2 2
) ( ) ( 2 c y y y y y y y y = ' ' ' + '
1
2
) ( c y y = '
Entonces integramos y obtenemos:
} }
= dy y c dx
2 / 1
2

La solucin general:
3
2
3
2
3
2
c y c x + =

Y de las condiciones iniciales
2 ) 1 (
1 ) 0 (
=
=
y
y
, se obtiene:

1 2
2
;
1 2
3
2
3 3
2
3 2

= c c
Finalmente, se obtiene la ecuacin:
3
2
2
3
2
2 ) 1 2 (
|
|
.
|

\
|
+
=
x
y
8) Encuentre la curva cerrada de longitud l , que podamos encerrar la mayor rea
posible:
Solucin:
Tenemos la ecuacin de la curva cerrada en forma parametrica
) (
) (
t y y
t x x
=
=

Su rea en parametricas es
}
=
T
dt x y y x t y t x S
0
) (
2
1
)] ( ), ( [
Y la condicin es
}
+ =
T
dt y x l
0
2 2

Victor Daniel Rojas Cerna Matemtica III
13

Sean las funcionales para parametricas
}
=
1
0
) , , , ( )] ( ), ( [
t
t
dt y x y x H t y t x V

Entonces tenemos:
2
x y y x
F

= .
2 2
y x G + =

2 2
2
y x
x y y x
G F H

+

= =
Para parametricas se tiene el sistema de ecuaciones
0 =
dt
dH
H
x
x

0 =
dt
dH
H
y
y

Como H no depende explcitamente de t se tiene:
0 = y H H
y y y


(1)
0 = x H H
x x x


(2)
De (1)
0
) (
2 2
3
2 2
2
=
+
+
y x
y x x


2
1
) (
2
3
2 2
=
+ y x
y x


(3)
De (2)
0
) (
2 2
3
2 2
2
=
+
+
y x
x y y


2
1
) (
2
3
2 2
=
+ y x
y x


(4)
De (3) y (4)
k
y x
y x
y x
y x
= = =
+

+

1
)
2
1
(
2
1
) ( ) (
2
3
2 2
2
3
2 2





Tenemos:
k
y x
y x y x
=
+

2
3
2 2
) (

; k es la curvatura para parametricas.

Victor Daniel Rojas Cerna Matemtica III
14

Como la curvatura es k = constante.
Entonces, la curva cerrada de mxima rea es un crculo.



9) Encuentra una curva que pase por los siguientes puntos (1,0) y (2,3), con la
propiedad de que la superficie de revolucin al girar la regin acotada por ella y las
ordenadas x=a y x=b alrededor del eje x, sea mnima.
Solucin:
Como queremos la superficie de revolucin, formula seria:
}
' +
b
a
dx y y
2
) ( 1 2t
As, como queremos minimizar, usamos euler, pero en este caso, como no
depende de x usamos:
1
c f y
y
f
= '
' c
c
(1)
Donde:
2
2
) ( 1
) ( 1
y
y y
f
y y f
y
' +
'
=
' + =
'

Reemplazamos en (1):
1
2
2
2
) ( 1
) (
) ( 1 c
y
y y
y y =
' +
'
' +

2
2
2 2
) ( 1 ) ( ) ) ( 1 ( y c y y y y ' + = ' ' +

2
2
) ( 1 y c y ' + =
Despejando y' :
1
2
2
= '
c
y
y
Victor Daniel Rojas Cerna Matemtica III
15

Integrando obtenemos

3
2
1
2
) ( cosh c x
c
y
c + =

Y la solucin general seria:
) cosh(
2
3
2
2
c
c
c
x
c y + =
10) Calcular la ecuacin de Euler-Lagrange para la funcional
| |
2 2 1/ 2
( , ) (1 )
x y
D
J z x y z z dxdy = + +
}}

Con la condicin de frontera z(x,y) = f(x,y) (x,y) e c D
Solucin:
La funcin
2 2
( , , , , ) 1
x y x y
F x y z z z z z = + + , la ecuacin de Euler tiene la siguiente forma
0
x y
z z z
F F F
x y
c c
=
c c

2 2 1/ 2
1
0, 2 ( )(1 )
2
x
z z x x y
F F z z z

= = + +
2 2
2 2
2 2
1
1
1
x
x xx y yy
x y xx x
x y
z
x y
z z z z
z z z z
z z
F
x z z
+
+ +
+ +
c
=
c + +

2 2 2
2 2 3/ 2
(1 )
(1 )
x
x y xx x xx x y xy
z
x y
z z z z z z z z
F
x z z
+ +
c
=
c + +

2
2 2 3/ 2
(1 )
( )
(1 )
x
y xx x y xy
z x
x y
z z z z z
F
z z
+
=
+ +

Igualmente:
2
2 2 3/ 2
(1 )
( )
(1 )
x yy x y xy
zy y
x y
z z z z z
F
z z
+
=
+ +

As la ecuacin de Euler es: ( ) ( ) 0
x
z x zy y
F F + = ; sustituyendo:
2 2
(1 ) (1 ) 2 0
y xx x yy x y xy
z z z z z z z + + + =
En forma experimental es sabido que la realizacin fsica de la superficie de rea
mnima limitado por la curva c D son calculos laboriosas extendidas sobre la c D
Victor Daniel Rojas Cerna Matemtica III
16


Funcionales que contienen derivadas de orden superior
Consideremos funcionales de la forma:
1
[ ] ( , , ', '')
o
x
x
J y F x y y y dx =
}

Con las condiciones de frontera siguiente
0 0
( ) y x y = ;
1 1
( ) y x y = ;
0 0
'( ) ' y x y = ;
1
'(1) ' y y =
Supondremos que
4
0 1
[ , ] y C x x e ; y que F tiene derivadas parciales continuas hasta el
orden 3 inclusive. Se desea hallar la ecuacin de Euler Lagrange para este caso.
Solucin
Tenemos
4
0 1
[ , ] h C x x e tal que
0 1
( ) ( ) 0 h x h x = = ,
0 1
'( ) '( ) 0 h x h x = = es decir h debe ser
admisible
Para z real se tiene
1
[ ] ( , , ' ', '' '')
o
x
x
J y h F x y h y h y h dx c c c c
c
c
+ = + + +
c
}

1
0 0
[ ] ( , , ' ', '' '')
o
x
x
J y h F x y h y h y h dx
c c
c c c c
c c
= =
c c
+ = + + +
c c
}

=
1
''
' ''
( ' )
o
x
y y y
x
F h F h F h dx + +
}

Osea que la variacin de la jota
1
''
' ''
[ , ] ( ' )
o
x
y y y
x
J y h F h F h F h dx c = + +
}

Derivando:
' ' '
( ) ' ' ( )
y y y
d
F h F h h F
dx
= + ; luego integrando:
1 1
1
0
0 0
0
0
' ' '
( ) ( ) 0
( ') ( )
x x
x x
y x x y y
x x
h x h x
d
F h F h dx h F dx
dx
=
=
=
= =
= +
} }

1 1
0 0
' '
' ( )
x x
y y
x x
d
F h dx h F dx
dx
=
} }

1
0
' ''
[ , ] ( ( ) '')
x
y y y
x
d
J y h F h h F F h dx
dx
c = +
}

Victor Daniel Rojas Cerna Matemtica III
17

Ahora:
'' '' ''
1
( ') ' '' ' ( )
y y y
F h F h h F
dx
= +
Integrando:
1 1
0 0
'' ''
1
'' ' ( )
x x
y y
x x
F h dx h F dx
dx
=
} }
(ojo:
1
0
''
( ') ' 0
x
y
x
F h dx =
}
por
0 1
'( ) '( ) 0 h x h x = = )
2
'' '' '' 2
( ( )) ' '
y y y
d d d
h F h F h F
dx dx dx
= +
1 1
0 0
2
'' '' 2
( ) ( )
x x
y y
x x
d d
h F dx h F dx
dx dx
=
} }

1 1 1
0 0 0
2
'' '' '' 2
( '') ' ( )
x x x
y y y
x x x
d d
F h dx h F dx h F dx
dx dx
= =
} } }

Por tanto:
1
0
' ''
[ , ] ( ( ) ( ) ) 0
x
y y x y xx
x
J y h F F F hdx c = + =
}
; en la funcin crtica; esto para todo h
admisible
Usando el lema Fundamental del clculo de variaciones, se tiene:
' ''
( ) ( ) 0
y y y xx
d
F F F
dx
+ =
que es la ecuacin de Euler Lagrange para este caso.
Nota: Si
1
[ ] ( , , ', '', ''')
o
x
x
J y F x y y y y dx =
}
entonces su ecuacin de Euler Lagrange es la
siguiente:
' '' '''
( ) ( ) ( ) 0
y y y xx y xxx
d
F F F F
dx
+ =
Ejemplos espaciales
1. Hallar una funcin crtica para la funcional
1
2
0
1
[ ] ( '') )
2
(0) 0
(1) 2
J y y dx
y
y
=
=
=
}

con (0) 0, (1) 0, '(0) 1, '(1) 5/ 2 y y y y = = = =
Solucion
Victor Daniel Rojas Cerna Matemtica III
18

2 2
( , , ', '') 360 ( '') F x y y y x y y =
2
' '' ''
360 , 0, 2 '', ( ) 2
IV
y y y y xx
F x F F y F y = = = =
Luego la ecuacin de Euler Lagrange es:
6
2 2 3 4 5 2 3 2
360 2 0 180 , ''' 60 , '' 15 , ' 3 ,
2 2 6 2
IV IV
A x A B
x y y x y x A y x Ax b y x x Bx C y x x Cx D = = = + = + + = + + + = + + + +

Podemos escribir:
6 3 2
1 1
1
2
y x Ax B x Cx D = + + + +
5 2
1 1
' 3 3 2 y x Ax B x C = + + + (0) 0 0 y D = =
1 1
1
0 (1)
2
y A B C = = + + +
1 1
5 5
'(1) 3 3 2
2 2
y A B C = = + + +
1 '(0) 1 y C C = = =
1 1
3
3 2
2
A B + =
Luego
1 1
3
2
A B + =
De donde:
1 1
3
3
2
A B = . =
Luego
6 3 2 5 2
1 3 9
3 1 , ' 3 6 1
2 2 2
y x x x x y x x x = + + = + +
2. Hallar una funcin crtica para la funcional
1
2
0
1
[ ] ( '')
2
J y y dx =
}
(0) 0, (1) 2, '(0) 2, '(1) 1 y y y y = = = =
Solucin
2
1
( , , ', '') ( '')
2
F x y y y y =
' ''
0, 0, ''
y y y
F F F y = = =
2
'' 2
( )
IV
y
d
F y
dx
= , luego la ecuacin Euler Lagrange: 0 ''' ''
IV
y y c y Cx D = = = +
2 3 2
' ,
2 6 2
C C D
y x Dx E y x x Ex G = + + = + + +
Podemos escribir
3 2
y Ax Bx Ex G = + + + ,
2
' 3 2 y Ax Bx E = + +
Victor Daniel Rojas Cerna Matemtica III
19

0 (0) 0 y G G = = =
2 (1) 2 y A B E A B E = = + + + + =
2 '(0) 2 y E E = = =
1 '(1) 3 2 y A B E = = + +
Resolviendo A+B=0
3A+2B=-1 A=-1 . 1 B =
Luego
3 2
2 y x x x = + +
3. Hallar una funcin crtica para la funcional
1
2
0
1
[ ] ( '') )
2
J y y dx =
}
; (0) 0 y = , (1) 2 y =
Solucion
Como en el anterior: 0
IV
y =
3 2
y Ax Bx Ex G = + + +
2
' 3 2 y Ax Bx E = + +
'' 6 2 y Ax B = +
0 (0) 0 y G G = = =
(1) 2 z y A B E = = + +
Escribamos
1
2
0
[ ] ( '' '') J y h y h dx c c + = +
}

1
2
0
1
[ ] 2( '' '') ''
2
J y h y h h dx
x
o
c c
o
+ = +
}

Cuando 0 c se tiene:
1
0
[ ; ] '' '' J y h y h dx c =
}
, para todo h admisible
1 1
1
0
0 0
( '' ') ' '' '' ''' ' '' '' ( '' ') '' '
x
x
y h y h y h y h dx y h y h dx
=
=
= + =
} }

Victor Daniel Rojas Cerna Matemtica III
20

1
1
0
0 0
( ''' ) ' ''' ' '''' ''' ' ( ''' ') ( ''' ) '''(1) (1) '''(0) (0) 0
x
x
y h y h y h y h y h dx y h y h y h
=
=
=
= + = = = =
}

[ , ] ''(1) '(1) ''(0) '(0) y h y h y h c =
Pero uno desea que la variacin [ , ] 0 J y h c = , luego
''(1) '(1) ''(0) '(0) 0 y h y h =
entonces podemos pedir ''(1) 0 ''(0) 0 y y = . =
0 ''(0) 0 y B = =
0 ''(1) 6 0 0 y A A = = =
As: 2 0 2 2 A B E E E + + = + = =
2 y x =
La condicin ''(1) 0 y = , ''(0) 0 y = obtenida por este procedimiento se llama
condiciones naturales de frontera.

Ecuacin Funcional
Consideremos una funcional de la forma:
2
[ ] ( , ) ( ) ( ) ( ( )) 2 ( ) ( )
b b b b
a a a a
J y k s t y s y t dsdt y s ds y s f s ds = +
} } } }
(i)*
Donde k(s,t) es continua y simtrica en el cuadrado [a,b]x[a,b], la f es continua en el
intervalo [a,b], y=y(s) es la funcion continua incognita.
Se desea hallar su ecuacion de Euler-Lagrange
Solucion
Escribimos:
2
[ ] ( , )( ( ) ( ))( ( ) ( )) ( ( ) ( ( )) 2 ( ( ) ( )) ( )
b b b b
a a a a
J y h k s t y s h s y t h t dsdt y s h s ds y s h s f s ds c c c c c + = + + + + +
} } } }
Derivando con respecto a c :
[ ] ( , )[[( ( ) ( ))] ( ) ( ( ) ( )) ( ) ] 2 ( ( ) ( )) ( ) 2 ( ) ( )
b b b b
a a a a
d
J y h k s t y s h s h t y t h t h s dsdt y s h s h s h s f s ds
d
c c c c
c
+ = + + + + +
} } } }
Cuando 0 c se tiene:
Victor Daniel Rojas Cerna Matemtica III
21

[ , ] ( , )( ( ) ( ) ( ) ( )) 2 ( ) ( ) 2 ( ) ( )
b b b b
a a a a
J y h k s t y s h t y t h s dsdt y s h s ds h s f s ds = + +
} } } }

Trabajando con la integral doble:
( , ) ( ) ( ) ( , ) ( ) ( )
b b b b
a a a a
k s t y s h t dsdt k s t y t h s dsdt +
} } } }

( , ) ( ) ( )
b b
a a
k s t y s h t dsdt =
} }

[ , ] 2 ( , ) ( ) ( ) 2 ( ) ( ) 2 ( ) ( )
b b b b
a a a a
J y h k s t y s h t dsdt y t h t dt h t f t dt = +
} } } }

Como se desea hallar la ecuaicon de Euler-Lagrange, debemos tener:
( , ) ( ) ( ) ( ) ( ) 2 ( ) ( ) 0
b b b b
a a a a
k s t y s h t dsdt y t h t dt f t h t dt + =
} } } }

[ ( , ) ( ) ( ) ( )] ( ) 0
b b
a a
k s t y s ds y t f t h t dt + =
} }

Donde h(t) cualquier funcion admisible, usando el lema fundamental del calculo de
variaciones, se tiene:
( , ) ( ) ( ) ( ) 0
b
a
k s t y s ds y t f t + =
}
..(**)
La ecuacion funcional (**) es la ecuacion de Euler-Lagrange
Para este caso esta ecuacion (**) se llama la ecuacion integral de FREHOLM de 2
clase
Condiciones Naturales de Frontera
Consideremos la funcional
1
0
[ ] ( , , ')
x
x
J y F x y y dx =
}

donde no se pide las condiciones de frontera, para la funcion y=y(x)
Hemos calculado que:
1
0
'
[ , ] ( ')
x
y y
x
J y h F xh F h dx o = +
}

Victor Daniel Rojas Cerna Matemtica III
22

Como:
1 1
1
0
0 0
' ' ' '
' ' ( )
x x
x x
y y y x x y
x x
d
F h dx F h dx F h x h F dx
dx
=
=
= =
} }

se obtiene que:
1
1
0
0
' '
[ , ] ( ) ( ) ( )
x
x x
y y y x x
x
d
J y h F F h x dx F h x
dx
o
=
=
= +
}

En una funcion critica, debe ocurrir que [ , ] 0 J y h o = para toda h(x) admisible entonces
debe cumplirse la ecuacin de Euler-Lagrange:
'
0
y y
d
F F
dx
= , y por tanto
1
0
'
[ , ] ( ) 0
x x
y x x
J y h F h x o
=
=
= =
Como h(x) es cualquier funcin admisible, debemos tener
'
0
y
F = en
0
x x = y
1
x x =
es decir
' 0 0 0 ' 1 1 1
( , ( ), '( )) 0 ( , ( ), '( ))
y y
F x y x y x F x y x y x = = (condiciones naturales de Frontera)
Ahora consideremos la funcional
1
0
[ , ] ( , , , ', ')
x
x
J y z x y z y z dx =
}

1
0
[ , ] ( , , , ' ', ')
x
x
J y h z F x y h z y h z dx c c c + = + +
}

1
0
[ , ] ( , , , ', ' ')
x
x
J y z n F x y z n y z n dx c c + = + +
}

si y,z son funciones criticas para la funcional J[y,z] entonces la funcion:
( , ) [ , ] n J y h z n c c = + + toma un valor critico 0 c = = , entonces debe ocurrir:
0 0
( , ) 0 ( , ) 0
fijo fijo
c c
c
c c
= =
= . =
Entonces
1 1
1
0
0 0
' ' '
( , 0) ( ') ( ) ( ) ^ 0
x x
x x
y y y y y x x
x x
d
F h F h dx F F dx F h x
dx
c
c
=
=
= + = + =
} }

idem:
1 1
1
0
0 0
' ' '
( , 0 ( ') ( ) ( ) ( ) ^ 0
x x
x x
z z z z z x x
x x
d
F n F n dx F F h x dx F h x
dx

c
=
=
== + = + =
} }

Como buscamos funciones criticas debe cumplirse, las ecuaciones E-L:
' '
0 0
y y z z
d d
F F F F
dx dx
= . =
luego:
Victor Daniel Rojas Cerna Matemtica III
23

1 1
0 0
' '
( ) 0 ( ) 0
x x x x
y x x z x x
F h x F h x
= =
= =
= . =
Como h(x) es cualquier funcin admisible debemos tener
'
0
y
F = en
0
x x = y
1
x x =
'
0
z
F = en
0
x x = y
1
x x = (condiciones naturales de frontera)
Ejercicios.
1. ara la funcional
[ ( , )] ( , , , , )
x y
D
J z x y F x y z z z dxdy =
}}

se pide encontrar las condiciones naturales de frontera
3.
1
0
[ ] J y ydx =
}
restriccin
1
2
0
47
( )
12
y xy dx + =
}

Tomemos:
2
( , , ', ) ( ) H x y y y y xy = +
La ecuacin de Euler-Lagrange: 1 (2 )
y
H y x = + ,
'
0 2 1
y
H y x = + =
1
2 2
x
y

=
por la restriccion:
2
1 1 2
2
0 0
1 1 47 1 47
( ) ) ( ) 1/ 4
2 2 2 2 12 4 4 12
x x x
x dx dx

+ = = =
} }

2 , 2
2 2
x x
y y = =
Veamos que
1 1
0 0
[ ] ( ) [ ] J y y dx J y dx + = + = +
} }

Por la restriccion:
1
2
0
47
(
12
y x y dx + + + =
}

1 1
2 2
0 0
47
( ) (2 )
12
y xy dx y x dx + + + + =
} }

Victor Daniel Rojas Cerna Matemtica III
24

1 1
2 2
0 0
(2 ) 0 ( 2 ) 0 y x dx y x x dx + + = + + =
} }

1 1
2
0 0
dx dx =
} }

Luego tendremos que cuando 2
2
x
y = , se tenia
1 1
2
0 0
0 dx dx = s
} }

asi se tiene:
[ ] [ ] J y J y + s
satisfaciendo la restriccion de esta manera en 2
2
x
y = , [ ] J y alcanza un valor
maximo
si 2
2
x
y = , se tiene:
1 1
2
0 0
0 dx dx = >
} }
, luego:
1
0
[ ] [ ] [ ] J y J y dx J y + = + >
}

[ ] J y alcanza un valor mnimo cuando 2
2
x
y =
1
2
0
[ ] ( ')
y
J y e y dx =
}
; (0) 0 (1) ln4 y y = . =
2 2
'
( , , ') ( ') ( ') 2 '
y y y
y y
F x y y e y e y F F e y = = . =
Ecuacin E-L
2
( ') (2 ') 0
y y
d
e y e y
dx
=
2 2 2 2
( ') 2( ' '') 0 ( ') 2( ') 2 '' 0
y y y
e y e y e y y y y + = =
2
2 '' ( ') 0 y y + =
hagamos:
2
2
' 2 ( ) 0 2 0
d dp
y p p p dx
dx p
= + = + =
2 2 2
x C x C p
p p x c
+ = = + =
+

Victor Daniel Rojas Cerna Matemtica III
25

2
2
' ( ) ( ) y p dy pdx dy p dp y Ln p k
p
= = = = +
Luego:
2
( ) y Ln k
x c
= +
+

2
(0) 0 0 ( ) y Ln k
c
= = +
2
(1) ln 4 ln 4 ( )
1
y Ln k
c
= = +
+

(1) 1
1 0
2 (2) 2
y C D
C D
y C D
= = +
= . =
`
= = +
)

2
2 2 2 2
2 2
0 (1) '
1 1
1 1
1 1
1 (2) '
z Ae Be
B e
B B B A
e e e e
z Ae Be

= = +
(
= = = = . =
`
(

= = +

)

Luego
2 1 2 1 (1 )
2 2 2 2
[ ] ] ( 1)
1 1 1 1 (1)
x x x x x x
e e e e e e e e e senh x
y x z
e e e e senh


= . = = = =


Luego la solucion del problema es:
( 1)
(1)
senh x
y x z
senh

= . = .
2. Hallar funciones criticas para la funcional
2 2 2
0
[ , ] (2 2 ' ' ) J y z yz y y z dx
t
= +
}

con las condiciones de frontera: (0) 0, ( ) 1, (0) 0, ( ) 1 y y z z t t = = = =
Solucion
2 2 2
( , , ', ') 2 2 ' '
z
F x y y z yz y y z = +
Ec E-L para y:
4
'
2 4 , 2 '; 2 4 (2 ') 0 2 0...( )
y y
d
F z y F y z y y y y z i
dx
= = = + =
Ec E-L para z:
'
2 , 2 '; 2 2 '' 0 '' 0..( )
z z
F y F z y z z y ii = = + = + =
de (i): '' 2 ' ''' 2 '; '' 2 ''
IV
z y y z y y z y y = + = + = +
reemplazando este valor en (ii): 2 '' 0
IV
y y y + + =
1 2 3 4
cos [ cos ] y C x C senx x C x C senx = + + +
Victor Daniel Rojas Cerna Matemtica III
26

1
0 (0) 0 y C = = =
3 3
1
1 ( ) ( ) y C C t t
t
= = =
Luego:
2 4
cos
x
y C senx C xsenx x
t
= +
Calculamos z de (i):
2 4
1
' cos ( cos ) ( cos ) y C x C senx x x xsenx x
t
= + + +
2 4
1
'' ( 2cos ) ( cos 2 ) y C senx C xsenx x x x senx
t
= + +
2 4
2
2 2 2 cos
x
y C senx C xsenx x
t
= +
2 4 4
1 2
2 cos cos z C senx C xsenx C x x x senx
t t
= + + +
4 4
0 (0) 2 0 z C C = = =
1 ( ) 1 z t = =
Luego:
2 2
1 1
cos , (2 cos ) y C senx x z C senx senx x x
t t
= = +

3. Hallar una funcion critica de la funcional
/ 2
2 2
0
[ , ] (( ') ( ') 2 ) J y z y z yz dx
t
= + +
}

con las condiciones de frontera (0) 0, ( / 2) 1, (0) 0, ( / 2) 1 y y z z t t = = = =
Solucion
2 2
( , , , ', ') ( ') ( ') 2 F x y z y z y z yz = + +
' '
2 , 2 '; 2 ''/ . : 2 2 '' 0 ''...(1)
y y y
d
F z F y F y ec E L z y z y
dx
= = = = =
' '
2 , 2 '; 2 ''/ . : 2 2 '' 0 '' ...(2)
z z z
d
F y F z F z ec E L y z z y
dx
= = = = =
de (1) '' ( ) : 0
IV IV
z y en ii y y = =
Victor Daniel Rojas Cerna Matemtica III
27

cos
x x
y Ae Be C x Dsenx

= + + +
cos
x x
z Ae Be C x Dsenx

= +
con las condiciones:
0 (0)
0
0 (0)
y A B C
C A B
z A B C
= = + +
= . =
`
= = +
)

Luego:
x x
y Ae Ae Dsenx

= +

x x
z Ae Ae Dsenx

=
/ 2 / 2
1 ...(3) Ae Ae D
t t
= +
/ 2 / 2
1 ...(4) Ae Ae D
t t
=
Restando (4)-(3): D=1 y sumando (3)+(4): A=0
Finalmente: , y senx z senx = =
4. Hallar una funcin critica para la funcional
/ 2
2 2
0
[ , ] (( ') ( ') 2 2 ) J y z y z xy yz dx
t
= + +
}

con las condiciones de frontera (0) 0, ( / 2) 0, (0) 0, ( / 2) 2 y y z z t t = = = =
5. Optimizar
2
2 2
0
[ ] ( ( ') )
Ln
x x
J y e y e y dx

=
}

La ecuacin de Euler-Lagrange:
2 2
( , , ') ( ')
x x
F x y y e y e y

=
( )
'
2 2 2 2 ' 0
x x x x
y y
d
F e y F e y e y e y
dx

= . = =
2
2 2 ' 2 '' 0 '' ' 0
x x x x
e y e y e y y y e y

+ = + =
Hagamos la sustitucin: x Lnu y v = . =
Tomemos la funcional:
2
2
2 2
1
[ ( )] ( ' )
Lnu Lnu
du
J v u e u v e v
u

=
}

ojo:
2
2 2
' ' ( ') '
dy dv du
y uv y u v
dx du dx
= = = =
Victor Daniel Rojas Cerna Matemtica III
28

Luego:
2
2
2
1
[ ( )] ( ' ) J v u v v du =
}

la ecuacin de Euler-Lagrange:
2
2
'
( , , ') ' 2 2 '
v v
F u v v v v F v F v = . = . =
'
( ) 0 2 2 '' 0 '' 0 cos
v v
d
F F v v v v v A u Bsenu
dx
= = + = = +
regresando a las variables originales: cos( ) ( )
x x
y A e Bsen e = +
Ojo: Con las condiciones de frontera: (0) (ln2) y a y b = . =
(0) cos(1) (1)
2 1 cos1 cos 2
(ln 2) cos(2) (2) cos1 2 cos 2 1 cos1 2 cos 2 1
y a a A Bsen
asen bsen b a
A B
y b b A Bsen sen sen sen sen
= = +
= . =
`
= = +
)

como: cos1 2 1cos2 1 sen sen sen =
Tendremos:
2 1 cos1 cos 2
cos( ) ( )
1 1
x x
asen bsen b a
y e sen e
sen sen

= +
(en ojo, se ha considerado condiciones de frontera)
6. Optimizar
2
2
1
[ ] ( ') J y x y dx =
}

2
'
( , , ') ( ') 0 2 ( ')
y y
F x y y x y F F x y = = . =
Ecuacin de Euler-Lagrange:
1
'
( ) 0 2 ' '
y
d
F xy C y Dx
dx

= = =
(ojo:
2
C
D = )
Resolviendo la ecuacin: ( ) y DLn x E = + (nota: [1, 2] x Ln x Lnx e = )
Condiciones de frontera:
(1) 1 1 (1) 1 y DLn E E = = + =
1
(2) 2 2 (2) 1
2
y DLn D
Ln
= = + =
Luego:
1
1
2
Lnx
y
Ln
= +
Victor Daniel Rojas Cerna Matemtica III
29

Veamos que efectivamente y es un numero. Tomemos y + otra funcin y veamos
que: [ ] [ ] J y J y + >
2 2 2
2 2
2 2
1 1 1 1 1
1 1 1
[ ] [( ) '] ( ' ') ( ' 2 ' ' ' ) J y x y dx x y dx x y y dx + = + = + = + +
} } }


2 2
2
1 1
1 1
[ ] ' ' ( ') J y xy dx x dx = + +
} }


2 2
2
1
1 1
1
[ ] 2 ' ( ')
2
J y x dx x dx
xLn

| |
= + +
|
\ .
} }


2 2
2
1
1 1
0
1
[ ] 2 ' ( ')
2
J y dx x dx
Ln

>
= + +
} }

Utilizando el teorema B:
La funcional:
2
2 2
1
[ ] ( ( ') 0 2(0) ) J y x y y y dx = + +
}

7. Hallar la curva y=y(x) de longitud L dada tal que el area de trapecio curvilinea
CABD sea maximo



Solucion
Se pide el maximo de la funcional
2
1
[ ]
x
x
J y ydx =
}
en
0
( ) y x A = ,
1
( ) y x B =
y con la restriccin
2
1
2
[ ] 1 ( '( ))
x
x
k y y x dx L = + =
}


C
B



A

D
Victor Daniel Rojas Cerna Matemtica III
30

2
( , , ') ; ( , , ') 1 ( ') F x y y y G x y y y = = +
2
( , , ') 1 ( ' ) H x y y y y = +
consideramos la funcional
1
0
2
[ ] ( 1 ( ' )
x
x
x
J y y y dx = +
}

a esta funcional calculamos su ecuacion de E-L
2
1 ( ') H y y = +
Como H no depende explicitamente de x, debemos tener
'
'
y
H y H C = constante
'
2
'
1 ( ')
y
y
H
y

=
+

entonces:
2
2
2
( ')
1 ( ')
1 ( ')
y
y y C
y

+ + =
+

Dando un comun denominador:
2 2 2 2
1 ( ') (1 ( ') ) ( ') 1 ( ') y y y y C y + + + = +
2 2
1 ( ') 1 ( ')
y C y C
y y

= =
+ +

Hagamos
2 2
' 1 ( ') sec cos y tg y y C u u u = + = =
' ( )
cos
dy dy d d sen d
y sen sen
dx d dx dx dx
u u u u
u u
u u
= = = =
1 2 2 2
1
( ) ( )
cos
x C sen
x C y C
y C
u

u
=
+ =
`
=
)

La solucion a nuestro problema es un arco de circunferencia
8. Hallar el mnimo de la funcional
2
0
[ ] ( ') J y y dx
t
=
}

con las condiciones de frontera (0) ( ) 0 y y t = = y con la restriccin
2
0
1 y dx
t
=
}

Victor Daniel Rojas Cerna Matemtica III
31

Solucion
2 2 2 2
( , , ') ( ') ; ( , , ') ; ( , , ', ) ( ') F x y y y G x y y y H x y y y y = = =
H no contiene a x explicitamente, luego debemos tener
'
'
y
H y H C =
'
2 '
y
H y = ,
2
'
' 2( ')
y
y H y = ,
entonces:
2 2 2 2 2
( ') 2( ') ( ') y y y C y y C = =
2 2
( ') y y C =
2 2 2
2
( ') '
dy dy
y C y y C y dx
dx
C y

= = = =


9. Hallar una funcion critica para la funcional
1
0
2
[ ] 1 ( ')
x
x
J y y y dx = +
}

sujeto a la restriccin
1
0
2
1 ( ')
x
x
y dx L + =
}
, L constante