MMII_CV_c2: Condiciones necesarias de primer y segundo orden del

modelo bsico y mtodos de integracin de la ecuacin de Euler.

Guin:
En esta clase se realiza una aproximacin distinta para obtener las cn10(ol),
as como se justifican las condiciones necesarias de segundo orden de ptimo
local.
La segunda parte de la clase se dedica a los mtodos de integracin del
modelo bsico del Clculo de Variaciones (CV).
Bibliografa recomendada: Adems del Elsgortz para esta leccin se debe
consultar el libro de problemas Clculo Variacional de Krasnov, Makarenko y
Kiseliov, tambin de la Editorial Mir.
2

y '(1 x 2 y ') que pase por los puntos:

Ejercicio recomendado: Opt. J ( y )

1

A(1,3) y B(2,5).

______________________________________________________________________
Estas notas son solo una ayuda, que ni pretender ni pueden sustituir a la asistencia a
clase, donde se desarrollan los conceptos, se aclararn las dudas y se subsanaran
posibles erratas, y a la consulta de la bibliografa recomendada.

OBTENCIN DE LAS CN10(OL) MEDIANTE EL ANLISIS FUNCIONAL

Las cn10(ol) equivalen a que la derivada de Gateaux del funcional, en el

supuesto de existir, debe ser nula:

d
J( y
d

h)

0, h V

x2

d
lo que se puede poner,
d

f ( x, y

h, y '

h' )

0, h V

x1

x2

derivando,

f yh

0, h V , que enlaza con la aproximacin utilizada

f y'h '

x1

en la clase anterior para definir las condiciones necesarias de primer orden de

mnimo local.

CONDICIN NECESARIA DE SEGUNDO ORDEN PARA MNIMO LOCAL

Definiciones de mnimo local/global, fuerte o dbil:

y mnimo local dbil (mld):

y mnimo local fuerte (mlf):
y mnimo global (mg):

y , y ' V1 ; y prximo a y ; y ' prximo a y '

y , y ' V1 ; y prximo a y ; y '

y,y '

V1

Fijarse que para obtener en estas y en las definiciones siguientes condiciones

para el mximo local (Ml) es suficiente con cambiar el signo de las
desigualdades.
Vimos que un mnimo local se poda expresar como:
2

0,

o(

) 0, h V

cn1o(ol)
cn2o(ml)

Las variaciones de segundo orden vimos estn definidas por:

x2
x1

h2 f yy

2hh ' f yy '

h '2 f y ' y '

h V

0
x2
x1

2hh' fyy '

x2
yy ' x1

h f

x2
x1

h2 f 'yy ' , pues h(x1 )

h(x 2 )

0 , ya que h

x2
x1

h 2 (f yy

h' 2 f y ' y '

f ' yy ' )

h V

El tercer trmino, se demuestra que, tiene mayor peso cuando las

pertubaciones tienden a cero, con lo que obtenemos la cn20(ml), tambin

f y 'y '

llamada Condicin de Legendre (CL):

x1 , x 2

Condicin necesaria de 2 orden de mnimo local (cn2o(ml)): los extremales

que verifiquen la condicin de Legendre son candidatos a mnimo local.

Mtodos de integracin del modelo bsico:

1. f depende solo de x e y: f ( x, y)

0 ecuacin que determina y (x) , que no tiene porqu

cn1o(ol): f y ( x, y)

cumplir las condiciones de contorno

solucin del problema de

contorno, salvo que de la casualidad que las condiciones de contorno

verifiquen la sol.
Ejemplo 1: J

x1
x1

y )2 ; f y

(x

2( x

y)

x, no existe solucin,

salvo que las condiciones de contorno se establezcan justo en dicha recta.

2. f depende solo de y: f (y ' )

y ''
d
fy' (y ')
dx

fy' y' y ''

Solucin : y
Ejemplo 2: J

fy' y' (y ')

y
0

C1x C2
Races de fy' y' : y '
y

C1 x
x2

ki x C2 incluidos en el caso anterior

C2

y ' 2 ; es el funcional distancia en el plano, cuyo

x1

ki

extremal sabemos que es la recta. La solucin es: y

C1 x

C2 .

3. f depende solo de x e y: f ( x, y ' )

f 'y'

d
fy' (x, y ')
dx

Ejemplo 3:

fy'
2
1

C1

Integral primera

y'2 x 2

Resolvemos por dos mtodos: usando la integral primera y sin usarla:

a) fy'

2y ' x 2

C1

C1
x

C2 ,

Si las condiciones de contorno fueran:

b) ( 2y ' x 2 )' 0

y (1) 0
y ( 2) 1

2(1

1
)
x

4 xy ' 2 x 2 y ' ' 0 edo de 2, que conduce al mismo

resultado, slo que el camino puede ser ms largo.

4. f depende solo de y e y: f (y, y ' )

fy

(f y ' )'

d
f
dx

d
f
dx

y ' fy'

y ' fy'

y ' fy

y ' ' fy'

/4

Ejemplo 4: J

C1 Integral primera, veamos:

y ' fy'

y ' ' fy'

y ' f y 'y y ' y ' f y 'y ' y ' ' y ' f y

( y ' 2 y 2 ) ; y (0) 1 ; y ( / 4)

y ' f y 'y

f y 'y ' y ' '

2/2

Tenemos dos mtodos, como antes:

a) f

y ' fy'

b) f y

y'2 y 2

(f y ' )'

2y

con las cond cont:

y '2 y

y2

C1

(2y ' )' 0

y'2

y'' 0

C1 . Completar como ejercicio.

y

C1 cos x C 2 sen x

y (0) 1 C1
y ( / 4)

Si las cond cont fueran:

2/2

2 / 2 C2 2 / 2

y (0) 1 C1
y( )

C1

cos x

C2

cos x

C 2 sen x , C 2

es decir, existen infinitas soluciones.

y(0) 1
y( ) 1

Si las condiciones de contorno fueran:

5. f lineal en y: f

A( x, y ) B( x, y )y '

Ay

By y ' Bx y ' By y '

By y ' ( B) '

5a) Ay
5b) Ay

Ay

Ay

solucin

Bx

Bx : Estamos en el caso considerado cuando f(x,y).

Bx

fdx

( A By ')dx

( Adx

Bdy)

d (u) , o la integral no

depende del camino y el modelo del CV carece de sentido (o existen infinitas

soluciones todas con el mismo valor).
Ejemplo 5: Opt.
Ejemplo 6: Opt.

xyy ' : Ay = 0
y

Bx = y.

solucin .

xy ' : Ay = 1 = Bx : f = y dx + xdy =d(xy)

soluciones