Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Optimizacion Dinamica
Optimizacion Dinamica
ndice:
1) Introduccin.
2) Desarrollo.
2.1) Explicacin terica general.
Criterio de optimalidad
Condiciones necesarias
Condicin suficiente (demostracin de concavidad del
hamiltoniano)
2.2) Explicacin terica de un caso particular.
Presentacin y simplificacin del modelo
Hamiltoniano y lagrangiano a valor corriente:
a) Condiciones necesarias
b) Diagramas de fases
c) Jacobiano del equilibrio
d) Diagrama de fase global
e) Explicacin de la verificacin de la condicin
suficiente (muy importante) pg. 14 y 15.
Hamiltoniano y lagrangiano a valor presente:
a) Condiciones necesarias
b) Diagramas de fases
c) Jacobiano del equilibrio
d) Diagrama de fase global
2.3) Explicacin de un caso particular con funcin de utilidad
determinada.
Hamiltoniano y lagrangiano a valor corriente:
a) Condiciones necesarias
b) Diagramas de fases
d) Diagrama de fase global
2.4) Anexo: demostracin general de la forma de las curvas
graficadas en los diagramas de fases (diagramas 1 a 12).
Introduccin:
El tema que va a desarrollarse es el de optimizacin dinmica con
horizonte infinito de tiempo, utilizando el libro Optimal Control Theory
and Static Optimization in Economics de Leonard y Van Long.
A menudo es conveniente en economa modelar problemas utilizando el
supuesto de horizonte infinito de tiempo. Una de las razones es que
evitamos la dificultad de tener que incorporar una funcin de valor de
rezago o chatarra. Adems esta formulacin con frecuencia lleva a
formulas ms simples y resultados igualmente atractivos. Por ejemplo, la
idea de un equilibrio de largo plazo puede ser correctamente modelada
utilizando este enfoque.
Algunos detractores de este enfoque apuntan que el mundo est
destinado a terminar en un horizonte finito, por ello consideran poco
realista al planteo infinito. Sin embargo, la respuesta a esta crtica suele ser
la siguiente: ya que las trayectorias ptimas de un problema con horizonte
infinito no difieren significativamente de las de un problema con horizonte
muy largo pero finito, la conveniencia de utilizar este enfoque compensa la
falta de realismo.
Existen, as mismo, ciertas dificultades tcnicas asociadas a problemas con
horizonte infinito de tiempo, particularmente las condiciones de
transversalidad utilizadas para el problema con horizonte finito no
continan siendo vlidas para el planteo con horizonte infinito. Adems es
posible que la integral no converja para todas las posibles trayectorias.
Desarrollo
Explicacin terica general
Criterio de optimalidad
Considrese el problema de encontrar el vector C (t) que maximiza la
integral
V= V ( s (t ), c(t ), t )dt
(1)
Sujeto a:
Si
f i ( s (t ), c(t ), t )
(2)
Para i = 1, 2, , n,
g j ( s (t ), c (t ), t ) 0
(3)
Para j = 1, 2, , m,
(4)
g h ( s (t ), c (t ), t ) 0
Para h = m+ 1, ., m
s i ( 0) s i 0
(5)
, para t
lim Z (t ) 0
lim [inf Z (t )] 0
t
Nuevamente, una trayectoria es ptima bajo el criterio acomodador si, bajo
este criterio, no es peor que cualquier otra trayectoria (s, c).Una ventaja del
criterio acomodador es que se verifican ms fcilmente las condiciones
suficientes
Condiciones necesarias
Es claro que si (s*, c*) es la trayectoria ptima bajo alguno de los criterios
mencionados anteriormente, luego la trayectoria truncada (s*(t), c*(t)), t
para t menores o iguales a cierto T debe ser una trayectoria ptima para el
problema truncado de hallar c (t) que maximice
T
Hc = et u(c) - = 0
= - Hs = - F(s)
S = H = F(s) - c
Sin embargo las condiciones de transversalidad que se aplicaran,
utilizando anlogamente el caso finito, si suponemos las siguientes
condiciones terminales sobre las variables de estado:
lim S i (t ) S i ,
lim S i (t ) S i ,
i = 1, 2, , k
i = k + 1, ., k + p
lim i (t ) 0 ,
i = k + 1, ., k + p
lim i (t ) 0 ,,
i = k + p + 1, ., n.
3 defino
ahora V* en los valores dados por las trayectorias ptimas (s*(t), c*(t))
T
v v* [( H H *) * (T )( s (T ) s * (T ))]dt
0
v v* [( H s * *)( s (T ) s * (T ))]dt
0
Recordando que
v v* 0 ,
Hs* *
entonces
v v *,
t
lagrangiano segn corresponda), entonces se satisface la condicin
suficiente. La anterior expresin puede ser tambin escrita como:
t
lim e *(t ) s*(t ) 0 , en sta resulta ms intuitivo que cuando t tiende a
V [u (c (t )) e t dt ,
0
e igual a K
conocidas.
s Y (t ) .
k = K/N
.
K N K N
2
N
de donde
k kn
1 .
k
N
.
k kn
s Y (t ) )
obtenemos
1
s[ N ( f (k ) c)]
N
k s ( f (k ) c ) kn
10
[u (c(t ))e
(6)
]dt
k s ( f (k ) c ) kn
11
~
L f ( k ) c 0 ; 0 ; [ f (k ) c] 0
Lc = u(c) - s - = 0
.
~
L s ( f (k ) c) nk
~ [ n sf (k )] f (k )
L
k
Ahora planteamos los dos posibles casos con sus respectivas condiciones
necesarias y diagramas de fase.
Si 0, lo que implica que f(k) = c
Las condiciones necesarias resultan
Lc = u(c) - s - = 0, de donde
.
(1 )
s
[ n sf ( k )] f ( k )
[ n] u ( f (k )) f (k )
.
k nk
k 0
.
si k 0
si
1
[u ( f ( k )) f (k )]
[ n]
Diagrama 1
12
k s[ f (k ) Q ( s (t ))] nk
.
[ n sf (k )]
k 0
( n)
0 donde f (k*)
.
0
donde
u [ f (k ) n k ]
k
s
s
Diagrama 2
13
Se observa que en este caso existe saddle path al igual que saddle point. A
continuacin se linealiza el sistema en el entorno del saddle point para
comprobar si realmente es punto de silla. Los elementos de la matriz
jacobiana son los siguientes:
.
dk
dk
s f (k ) n ;
s 2 Q ( s )
dk
d
.
d
dk
s f (k ) ;
d
d
s f ( k ) n
s f (k ) n
s f (k )
s2 Q ( s )
s f (k ) n
s 2 Q( s )
s
f
(
k
)
0
14
saddle path. Ya que si bien tanto *(t ) como k*(t ) son distintos de cero en
el saddle point al transcurrir un tiempo infinito, el descuento termina por
volver cero la expresin.
A continuacin encontraremos las regiones o zonas vlidas para cada una
de las dos posibles especificaciones vistas antes, es decir para cuando
( y
Para ello recordamos que cuando entonces f (k) = c, de la condicin
de primer orden obtenemos que u (c) s , evidentemente el segundo
miembro de la anterior igualdad es mayor que cero, entonces
1
0 u (c) s u ( f ( k )) ,
s
15
Lo que sigue es intentar juntar los tres grficos que fueron mostrados
previamente en un solo para detectar todo el mapa de trayectorias posibles,
a continuacin se grafica ese intento.
Diagrama 4
16
L e t u (c(t )) [ s ( f ( k ) c ) nk ] [ f ( k ) c ]
L f ( k ) c 0 ; 0 ; [ f ( k ) c ] 0
Lc =
e t u (c) s
=0
k L s ( f (k ) c) nk
.
~ [ n sf (k )] f (k )
L
k
Nuevamente, tenemos dos posibles casos, uno con y otro con
Si implicando que f (k) = c
Las condiciones necesarias y sus respectivos diagramas de fases quedan de
la siguiente manera.
Lc =
e t u (c) s
=0
k nk
17
.
[ n sf (k )] f (k )
Lc =
e t u (c ) s
=0
k s[ f (k ) c ] nk
.
[ n sf ( k )]
18
A diferencia del caso anterior ahora necesitamos de las tres ecuaciones para
poder llegar al diagrama de fases en k (t) y c (t). Primero diferenciamos
respecto del tiempo a la condicin de primer orden.
. .
t
t
Reemplazo a
u (c ) c S
u (c ) e
u(c) e
u (c) c [ ( sf (k ) n)]S
1
s
u(c) e
u (c) c e t u(c) ( sf (k ) n)
e t
u (c )
para obtener:
u (c) .
u (c)
c
( sf (k ) n)
u (c)
u (c)
Despejando
.
u (c)
c u (c) ( sf (k ) n)
Las dos ecuaciones diferenciales que utilizaremos son:
.
k s[ f (k ) c ] nk
u (c)
19
0 s [ f ( k ) c ] nk
n
c f (k ) k
s
n
,
s
dk
d
s f (k ) n ; k s
dk
dc
Fac. de Ciencias Econmicas, Universidad Nacional de Cuyo
20
dc
d
u (c)
n sf (k ) ; c s f (k )
dc
dk
u (c)
Donde se supuso que u (c) 0 .
La matriz Jacobiana es como sigue:
s f (k ) n
u(c)
s f (k )
u (c )
n sf (k ) ;
u (c*)
s f (k *)
u (c*)
u (c*)
< 0, el determinante de la matriz jacobiana resulta
u (c*)
21
Diagrama 8
22
~
L f ( k ) c 0 ; 0 ; [ f (k ) c] 0
Fac. de Ciencias Econmicas, Universidad Nacional de Cuyo
23
Lc = 1 - s - = 0
.
~ s ( f (k ) c) nk
kL
~ [ n sf (k )] f (k )
L
k
Ahora planteamos los dos posibles casos con sus respectivas condiciones
necesarias y diagramas de fase.
Si 0, lo que implica que f (k) = c
Las condiciones necesarias resultan
Lc = 1 - s - = 0, de donde
(1 )
s
[ n sf ( k )] f ( k )
En donde si reemplazo a
por 1 s
obtengo:
[ n] f (k )
.
k nk
k 0
si k 0
0 si
f (k )
[ n]
24
Lc = 1 - s = 0
.
k s[ f ( k ) c] nk
.
[ n sf (k )]
1
s
25
Lc = 1 - s - 0; c
0;
Lc c = 0
;
1
s
1
entonces
s
Si , entonces
Si ,
Si , entonces
1
s
26
27
Anexo
ay bsicamente 6 funciones que fueron representadas a lo largo del
trabajo y que pueden haber generado alguna duda en cuanto a su forma. A
continuacin se proceder a explicar, por orden de aparicin, qu se tuvo en
cuenta a la hora de graficarlas.
Diagrama 1
La funcin
1
[u ( f ( k )) f ( k )] .
[ n]
28
1
s
Diagrama 3
Por lo explicado para el diagrama 1 no extraa que la funcin
1
u ( f ( k ))
s
Diagrama 5
29
n
c f (k ) k ,
s