OPTIMIZACIÓN DINÁMICA

• Optimización dinámica.
• Cálculo de variaciones.
• Ecuación de Euler, de Ramsey, extensiones a la ecuación de Euler.
• Condiciones de segundo orden, condición de transversalidad,
problemas con horizonte infinito.

29/09/2013 NOLAN JARA JARA 1

 CÁLCULO DE VARIACIONES
FUNCIONAL:VARIACION DE UNA FUNCIONAL,PROPIEDADES
DEFINICION DE FUNCIONAL.PROXIMIDAD DE CURVAS
Sea M una clase de funciones y(x). Si a toda función y(x)εM le
corresponde un Numero J se dice que en la clase M esta definida la
Funcional J=J[y(x)]; M:Campo de definición de la funcional
1) Sea M=C[0,1] conjunto de funciones continuas y(x) en [0,1] y sea
1
J [ y ( x )]   y ( x ) dx ; calcular J [ y ( x )] si :
0

a) y( x )  1
b) y (x )  e x
c ) y ( x )  cos  x
d ) y ( x )  sen  x

29/09/2013 NOLAN JARA JARA 2

2) Sea M  C1 a , b la clase de funciones y( x ) que tienen derivada continua en a, b
y sea J y( x )  y ( x0 ), x0  a , b
Si a  1, b  3, x 0  2; calcular J y( x ) para :
y( x )  x 2
y( x )  x 2  1
y( x )  ln( x  1)
3) Sea M  C 1,1 la clase de funciones y(x) continuas en - 1,1 y sea (x, y) continua
x  - 1,1 y para todos los valores reales de y entonces.
1
J y( x )    ( x, y )dx
1

x
Si  ( x, y)  , calcular J y( x ) para : a) y(x)  x
1  y2
b) y( x )  1  x
4) Sea M  C1 a , b la clase de funciones y( x ) que tienen derivadas continua y( x ) en a, b
b
 J y( x )   1  ( y ) 2 dx
a

29/09/2013 NOLAN JARA JARA 3

 S e denomina v ariacion o incremento y ( x ) del argumento y( x ) de la funcion J y(x) 
a la diferencia entre dos funciones y( x ) e y 0 ( x ) pertenecie ntes a M
 y ( x )  y( x ) - y 0 ( x ).
Para la clase de funciones k veces diferencia bles tenemos (y ) ( k )  y (k) ( x ).
Las curvas y  y( x ) e y  y 1 ( x ) en a, b  son cercanas en el sentido de proximidad de
orden nulo si es pequeña en a, b  la magnitud y( x ) - y 1 ( x )
Las curvas y  y( x ) e y  y 1 ( x ) en a, b  son cercanas en el sentido de proximidad de

primer orden si son pequeñas en a, b  las magnitudes y( x ) - y 1 ( x ) y y ( x ) - y 1 ( x )

Las curvas y  y( x ) e y  y 1 ( x ) en a, b  son cercanas en el sentido de proximidad de


k - esimo orden si son pequeñas en a, b  las magnitudes y( x ) - y 1 ( x ) , y ( x ) - y 1 ( x ) ,
(k )
 , y (k) ( x ) - y 1 ( x) .
Determinar el orden de proximidad de las curvas :
senn 2 x
y(x)  e y 1 ( x )  0 en 0,  
n
senn x
y(x)  e y 1 ( x )  0 en 0,  
n2

29/09/2013 NOLAN JARA JARA 4

 cosn x
y(x)  2
e y 1 ( x )  0 en 0,2 
n 1
sen x
y(x)  e y 1 ( x )  0 en 0,  
n
x
y(x)  sen e y 1 ( x )  0 en 0,1
n
Se denomina distancia entre las curvas y  y(x) e y  y 1 (x) continuas en x  a, b 
al numero   max y 1 (x) - y(x) ;     y1 ( x ), y ( x ) 
Hallar la distancia  entre las curvas y  x e y 1  x 2 en 0,1
Hallar la distancia  entre las curvas y  xe  x e y 1  0 en 0,2 
 
Hallar la distancia  entre las curvas y  sen 2 x e y 1  sen x en  0, 
 2

Hallar la distancia  entre las curvas y  x e y 1  ln x en e 1 , e 

29/09/2013 NOLAN JARA JARA 5

Supongamos que las curvas y  y ( x) e y  y1 ( x) tienen derivadas continuas de orden n en a, b
Se llama distancia de n - esimo orden entre las curvas y  y(x) e y  y1 (x) al mayor de los maximos
de las expresione s
 (n) (n)
y1 (x) - y( x ) , y1 (x) - y ( x ) ,  , y1 (x) - y ( x ) en a, b

(k ) (k )
 n   n y1 (x), y( x )  max max y1 (x) - y ( x)
0 k  n a  x  b

Hallar la distancia de primer orden entre la curvas y(x)  x 2 e y1 ( x )  x 3  x  0,1


Hallar la distancia de primer orden entre la curvas y(x)  ln x e y1 ( x )  x  x  e 1 , e 
 
Hallar la distancia de segundo orden entre la curvas y(x)  x e y1 ( x )   cos x  x  0, 
 3
Se llama  - vecindad de n - esimo orden de la curva y  y(x), a  x  b al conjunto de todas las curvas
y  y1 ( x ) cuyas distancias de n - esimo orden a la curva y  y(x) son menores que 
 n   n y1 (x), y( x )   .
La  - vecindad de orden nulo se denomina  - vecindad fuerte de la funcion y  y(x)
La  - vecindad fuerte de la curva y  y(x) esta formada por todas las curvas comprendid as
en la franja de 2 de anchura construida a partir de la curva y  y(x).
La  - vecindad de primer orden se denomina  - vecindad debil de la funcion y  y(x)

29/09/2013 NOLAN JARA JARA 6

CONTINUIDA D DE UNAFUNCIONAL. una funcional J y(x)  definida en la clase M
de funciones y(x) es continua en y  y 0 ( x ) en el sentido de proximidad de n - esimo orden
si   0   0 tal que J y(x)   J y 0 (x)    y  y(x) que satiface :
 n 
y(x) - y 0 ( x )   , y (x) - y 0 ( x )   ,  , y n  (x) - y 0 ( x )  

Es decir J y(x)   J y 0 (x)    siempre que  n  y ( x ), y 0 ( x )  

Poniendo
k 
y k  ( x )  y 0 ( x )   k  ( x ); k  0,1,2,  , n
 ( x ) : funcion de clase M
k 
lim y k  ( x )  y 0 ( x ); k  0,1,2,  , n
 0

Luego, podemos definir la continuida d de la funcional J y(x)  en y  y 0 ( x ) como :

lim J  y 0 ( x )   ( x )   J y 0 (x) 
 0
1
P1) pq : la funcional J y(x)     y  2 y dx en C 0,1 es continua en la funcion
1
0

y 0 ( x )  x en el sentido de proximidad de primer orden.

1
2)pq : la funcional J y(x)    x 3 1  y 2 dx en C1 0,1 es continua en la funcion
0

y 0 ( x )  x 2 en el sentido de proximidad de orden nulo.

29/09/2013 NOLAN JARA JARA 7

DEFINICION . Sea M un espacio lineal normado formado por la funciones y(x)
la funcional Ly(x)  definida en M se denomina lineal si :
Lcy(x)   cLy(x) ; c  R
Ly1 (x)  y 2 ( x )  Ly1 (x)   Ly 2 (x) ; y1 , y 2  M
b
Pq : Ly(x)    y  ydx en M es Lineal.
a

Ly(x) 
Sea L y(x)  una funcional lineal.Pq si  0 cuando y(x)  0  L y ( x )  0
y(x)
VARIACION DE UNA FUNCIONAL . sea J y(x)  definida en M. La magnitud
J  J y(x)   J y(x)  y   J y(x) ; y  ~
y ( x )  y ( x ), ~
y ( x ), y ( x )  M 
Se denomina incremento de la funcional J y(x)  correspond iente al incremento
y del argumento.
1
P1)Hallar el incremento de la funcional Jy(x)    yy dx definida en C1 0,1
0
2
 
si y  x, y1  x . Solucion J  J x  J x   0
2

1
P 2) Hallar el incremento de la funcional J y(x)    yy dx definida en C1 0,1
0

si y  e x , y1  1.

29/09/2013 NOLAN JARA JARA 8

DEFINICION . Si el incremento de la funcional J y(x)  definida en M.
 J   J y(x)   J y(x)   y   J y(x) 
se puede representa r en la forma
 J  L y(x),  y    y(x),  y   y
donde L y(x),  y  es una funcion lineal respecto a  y y  y(x),  y   0
cuando  y  0 , entonces la parte del incremento lineal respecto a  y ,
L y(x),  y  se llama vari acion de la funcional y se denota por  J . Se dice
en este caso que la funcional J y(x)  es diferencia ble en y(x)
b
p1)pq. J y(x)    ydx en Ca, b  es diferencia ble  y(x)  Ca, b 
a
b
p 2 ) pq. J y(x)    y 2 dx en C a, b  es diferencia ble  y(x)  C a, b 
a

29/09/2013 NOLAN JARA JARA 9

 SEGUNDA DEFINICIO N DE LA VARIACION DE UNA FUNCIONAL
Se llama vari acion de la Funcion al J y(x)  en el punto y  y(x) el valor el
valor que toma en   0 la derivada de la funcional J y(x)   y 
respecto al parametro  :

J  J  y ( x )   y  /   0

Ejemplo 1 . Empleando la segunda definicion , hallar la variaci on de la Funcion al
b
1)J y(x)   y
2
dx
a
b
2)J y(x)    y  y 2 dx
2

a
b
3)J y(x)     y seny dx
a
b
2)J y(x)    x  y dx
a

29/09/2013 NOLAN JARA JARA 10

 SEGUNDA VARIACION DE UNA FUNCIONAL
Una Funcional Jx, y se denomina bilineal si es una funcional lineal
en y para x fijo y funcional lineal en x para y fijo.
Jx, y es bilineal  J1x1   2 x 2 , y   1Jx 1 , y   2 Jx 2 , y
Jx, 1y1   2 y 2   1Jx, y1    2 Jx, y 2 
Poniendo en la funcion bilineal y  x obtenemos Jx, x  llamada funcional
cuadratica.
Toda funcional bilineal definida en un espacio de dimension finita se denomina
forma bilineal.
Una funcional cuadratica Jx, x  se denomina definida positiva si Jx, x   0
cualquiera que sea el elemento no nulo x.
Ejemplo
b
1)La expresion Jx, y   A(t ) x(t ) y (t )dt
a

A(t ) : funcion continua fija, representa una funcional bilineal en el espacio

b
Ca, b mientras que la expresion  A(t ) x 2 (t )dt representa, en este mismo espacio,
a

una funcional cuadratica que reulta definida positiva si A(t)  0 t  a, b

29/09/2013 NOLAN JARA JARA 11

 b
 
2)La expresion Jx, x    A(t ) x 2 (t )  B(t ) x(t ) x (t )  C (t ) x 2 (t ) dt
a

Es una funcionalcuadratica definida para todaslas funcionespertenecientes

al espacio C1 a, b
b b
3)La expresion Jx, y    k ( s, t ) x( s) y (t )dsdt
a a

Donde k(s, t) Es una funcion fija, representa una funcional bilineal en Ca, b

29/09/2013 NOLAN JARA JARA 12

 DEFINICION
Sea J y(x)  una funcional definida en un espacio lineal normado. Diremos que la
funcional J y(x)  tiene segunda va riacion si su incremento
J  J y(x)   J y(x)  y   J y(x) 
se puede representa r en la forma
1 2
J  L1 y   L2 y    y
2
donde L1 y  es una funcion lineal, L2 y  es una funcional cuadratica y
  0 cuando y  0.
La funcional cuadratica L2 y  se denomina segunda va riacion de la funcional
J y(x)  y se denota por  2 J
Ejemplo . Hallar la segunda va riacion de la funcional
1
J y(x)    ( xy 2  y 3 ) dx definida en el espacio C1 0,1 de las funciones y(x)
0

29/09/2013 NOLAN JARA JARA 13

 SEGUNDA VARIACION DE UN A FUNCIONAL
b
La Funcion al J y(x)    F ( x , y , y ) dx definida en el espacio C 1 a , b 
a

es dos veces diferencia ble si la funcion integrando F tiene derivadas

continuas hasta de tercer orden inclusive.
Considerem os la funcion  ( )  J y(x)   y 
la segunda var iacion  2 J de la funcional J y(x)  se define tambien
mediante el valor de la segunda derivada de la funcion  ( ) cuando   0
2 d 2 ( )
 J  2
cuando   0
d
Ejemplo
1)Hallar la segunda va riacion de J z(x, y)    F ( x , y , z , z x , z y ) dxdy
G

29/09/2013 NOLAN JARA JARA 14

EXTREMO DE UNA FUNCIONAL.CONDICION NECESARIA DE EXTREMO
Diremos que la funcional Jy(x) alcanza su maximo en la curva y  y 0 (x)
si los valores que toma la funcional Jy(x) en cualesquira curvas proximas a
y  y 0 (x) no son mayores que Jy 0 (x), o sea, el
J  Jy(x)  Jy(x)  Jy 0 (x)  0
Si J  0 y J  0 solo para y(x)  y 0 (x), diremos que se alcanza Maximo estricto
en la curva y  y 0 (x).
Analogamente se define la curva y  y 0 (x) en la que se alcanza un minimo. En este
caso se tiene J  0 para todas las curvas proximas a la curva y  y 0 (x)
Ejemplo. Demostrar que la funcional
1
Jy(x)   ( x 2  y 2 )dx alcanza minimo estricto en la curva y(x)  0
0

29/09/2013 NOLAN JARA JARA 15

 EXTREMO S FUERTE Y DEBIL.
Diremos que la funcional Jy(x)  alcanza su maximo relativo fuerte en la curva

y  y (x) si J y(x)   J  y (x)  para todas las curvas admisibles y  y(x) pertenecie ntes
 
 0
0

a una  - vecindad de orden nulo de la curva y  y 0 (x).
Analogamen te se define el minimo relativo fuerte de una funcional.
deno

y  y 0 (x) si J y(x)   J  y (x)  para todas las curvas admisibles y  y(x) pertenecie ntes
 0 
a una  - vecindad de primer orden de la curva y  y 0 (x).
Analogamen te se define el minimo relativo debil de una funcional.
Los Maximos y minimos (fuertes y debiles) de la funcional Jy(x)  se denominan extremos relativos.
Todo extremo fuerte es al mismo tiempo extremo debil pero no viceversa .
El extremo de la funcional J y(x)  referente a la totalid ad de las funciones en las que esta definida la
funcional se denomina extremo absoluto.
Todo extremo absoluto es al mismo tiempo extremo relativo fuerte y debil pero no todo extremo
relativo sera extremo absoluto.
Ejemplo. considerem os la funcional
1
Jy(x)   y
2
(1  y  2 ) dx en el espacio de las funciones y(x)  C 1 0,   que satisfacen las
0

condicione s y(0)  y( )  0

29/09/2013 NOLAN JARA JARA 16