Documente Academic
Documente Profesional
Documente Cultură
t r (x t , ut )
t=0
S.a
x t+1 =g ( x t ,u t )
ut ( x t ) ,t=0,1,2,
x 0 X dado
Donde:
1.
r ( x t ,u t ) : funcin de retorno.
r ( x t ,u t ) : X Rn R
0, >
2.
3.
4.
ut
5.
: factor de descuento
x t Rn
ut R m
Bellman indica que el problema secuencial tiene propiedad recursiva donde se eligen
en base a ecuaciones funcionales que muestran decisiones ptimas, las que se repite
periodo a periodo (de aqu su carcter recursivo).
Esto permite transformar el problema secuencial en un problema funcional (PF).
Funcin valor
V (x 0) que indica el valor mximo de la
V ( x0 ) =mx
t=0
t r ( xt ,ut )
x0 0
{ut }
x1
V ( x1 ) =mx
t =1
t 1 r ( x t , u1 )
{ut }
V ( x0 ) =mx
t=0
t r ( xt ,ut )
}
{ut }
mx {r ( x 0, u0 ) + r ( x 1, u1 ) + 2 r ( x 2, u2 ) }
{ut }
mx {r ( x 0, u0 ) + [r ( x1, u1 ) + r ( x 2, u2 ) ]}
{ut }
{ut }
V ( x0 ) =mx { r ( x 0, u0 ) + V ( x1 ) }
Esta ecuacin es una ecuacin funcional, es decir es una ecuacin cuya solucin
es una funcin (funcin valor).
Al reemplazar la ecuacin de Bellman en el problema secuencial se obtiene el
problema funcional (para t).
V ( xt )=mx {r ( x 0, u 0 ) + V ( g( x t , ut ) ) }
S. a
ut ( x t ) , t=0,1,2
{ut }
x 0 X dado
1. El problema de infinitos periodos (problema secuencial) se ha convertido en un
problema de dos periodos.
2. Se est utilizando o explotando la recursividad del problema secuencial.
3. Ahora el problema consiste en encontrar la funcin que resuelve el problema
funcional, es decir, la funcin valor ptima. Proceso de transformacin del
problema secuencial al problema funcional.
Problem
a
secuenc
Se
Solucin del
problema
funcional
Teorema de
equivalencia
Problem
a
funcion
Se
Problema
de punto
fijo
Por el
teorema del
punto fijo
SOLUCIN
(Principio de
Solucin del
problema
funcional
E
en cada (x)
{ut }t=0
~
V V
Solucin del
Problema
secuencial
{ut }t=0
Proposicin 4: establece que cualquier secuencia
que satisface
~
V ( xt )=r ( x t , u t ) + V ( x t +1 ) para
V V
y que tambin satisface una condicin de
acotamiento; entonces tambin alcanza el supremo en el problema secuencial.
Definiciones:
en X
.R
ut (x t )
t =0
x t+1 =g ( x t ,u t )
y
x0
{ t=0 }
( x 0 ) :
Tal que
ut (x t ) , t=0,1,2, }
x 0 : es un plan factible
{(ut )}t =0
{(u t )}t=0
que permite alcanzar el
{( xt ,ut ) }t=0
vaco
{(u t )}t=0
para todo
( x0 )
x X
x0
no es
esto indica que todos los planes factibles pueden ser evaluados
usando r(x, u) y
t r ( x t ,u t )
en el problema secuencial
t=0
valores: un numero finito, deseamos que esta funcin objetivo est acotada es decir que
t r ( x t ,u t )
t=0
sea +
para que se
elimine esta posibilidad se restringe el conjunto de dinmicas factibles de tal forma que
dicha sumatoria est acotada superiormente.
Hiptesis 2: funcin objetivo
Para todo
X, existe M x 0 R
x0
la dinmica factible
{( xt ,u t)}t=0,1,2,
tal que
desde
t r ( x t ,u t )
t=0
x0
M x 0 para toda
suma infinita an puede tomar, para ciertas dinmicas factibles el valor de- .
Donde la hiptesis 3 busca acotar dicha dinmicas
Por tanto esta hiptesis 2, implcitamente asume que para toda dinmica factible desde
x 0 la suma infinita existe y es finita. La forma ms comn para garantizar la
hiptesis anterior es utilizando lo que en la literatura econmica se conoce como
condicin de NO-PONZI en todos los casos la idea es siempre restringir el conjunto de
las dinmicas factibles, de tal forma que el retorno est acotado.
Tpicamente esta condicin toma la forma de una restriccin al endeudamiento de los
agentes y es, por lo tanto una restriccin del problema que el agente optimizador lleva
en consideracin (esta condicin no debe confundirse en la condicin de
transversalidad)
Hiptesis 3: funcin objetivo
Para todo
x0
un M x 0 R
{( xt ,u t)}t=0,1,2,
satisface M x 0
sn }
desde
x0
s n= t r ( x t , ut )
t =0
s n para todo n
Ojo: hacer este supuesto utilizando todas las dinmicas factibles es ms restrictivo y no
se cumplir para la funcin de utilidad logartmica ni para la funcin de utilidad CES
con parmetros <1
Las hiptesis 1,2 y 3 tienen como nico fin garantizar la existencia de un valor finito
para el supremo del problema secuencial. Ahora es claro que si r es acotada y
[ 0,1 ] entonces las condiciones 2 y 3 se cumplen.
~
V :x R
, donde:
~
V ( x 0 ) = r ( x t , ut )
t
t=0
~
Es decir V ( x 0 ) es el valor supremo del problema secuencial llamamos a la funcin
~
V la funcin valor del problema.
Las relaciones entre problema secuencial y el problema funcional nos dan las siguientes
4 proposiciones que sustentan el principio de optimalidad.
1. Evaluando
Como
~
V ( x1 )
x 1 ( t=1 )
x1 y
x0 .
x 1=g ( x0 , u0 )
existe
una
dinmica
factible
desde
V ( x 1 )
t 1 r ( x t ,u t ) ~
t =1
Se sabe que
{( x 0 , u0 ) , ( x1 , u1 ) , } ( x 1)
~
V ( x 0 ) t r ( x t , ut )
t =0
~
t1
V ( x 0 ) r ( x0 , u0 ) + r ( x t , ut )
t =1
~
~
V ( x 0 ) r ( x0 , u0 ) + V ( x 1 )
~
~
V ( x 0 ) r ( x0 , u0 ) + V ( g ( x 0 , u0 ) )
Para pasar de la segunda a la tercera lnea se utiliza la ecuacin:
V ( x 1 )
t 1 r ( x t ,u t ) ~
t =1
> 0 y u0
es cualquier elemento
r ( x 0 ,u0 ) + ~
V ( g ( x 0 ,u0 ) ) }
{
u0 ( x 0 )
V ( g ( x , u ) ) } .. ( I )
{ r ( x ,u )+ ~
u (x)
2. Evaluando en
x 0 : Sea
> 0,
~
V ( x 0 ) t r ( x t , ut ) +
t =0
~
~
V ( x 0 ) r ( x 0 , uo ) + V ( x 1 ) +
r x ,u + ~
V ( g ( x 0 , u0 ) ) }
u0 ( x 0 ) { ( 0 0 )
r ( x ,u )+ V ( g ( x , u ) ) } ( II )
{
u ( x )
y ( II ) se tiene:
V (g ( x , u) )} V ( x )
V ( g ( x , u)) }
{r ( x , u ) +~
{r ( x , u ) + ~
u (x)
u (x)
Por tanto:
~( )
~
V x=
r ( x ,u ) + V ( g ( x ,u ) ) } ( III )
{
(
)
u x
Lo cual indica que la funcin supremo o funcin valor es una solucin de la
ecuacin funcional (problema funcional).
~
La proposicin 1 nos indica que V es una solucin del problema funcional,
pero nos indica que sea la nica con el fin de asegurar que esta sea la nica
solucin del problema funcional se impone una restriccin adicional condicin
de transversalidad fuerte.
La siguiente proposicin nos da un converso parcial de la anterior y las
condiciones bajo las cuales se cumple una de las afirmaciones del principio de
optimalidad.
Proposicin 2 (del problema funcional al problema secuencial)
Segn la hiptesis 1,2 y 3,
x0 X
Para todo
es decir, V
y dinmica factible
{ ( x t , ut ) }
desde
( x 0 ) , entonces ~
V =V
es la funcin suprema
~
V . La estrategia de
demostracin tiene dos pasos: el primero es demostrar que para toda dinmica factible
desde x 0 se cumple que:
V ( x0 ) t r ( xt ,u t )
t=0
x 0 de modo que:
V ( x o ) t r ( x t ,u t ) +
t=0
> 0,
{ x t , ut }
{ ( x t , ut ) } ( x 0 )
tenemos:
Para
x1 .
( x 0 ,u0 ) + V ( x 1 ) r ( x 0 , u0 ) + r ( x 1 , u1 ) + ( V ( x2 ) )
( x 0 ) r ( x 0 ,u 0 ) + r ( x 1 , u1 ) + 2 V ( x 2)
V ( x0 ) t r ( xt ,u t ) + 2 V ( x 2 )
En forma compacta.
t=0
V ( x0 ) t r ( xt ,u t ) + k+1 V ( x k+1 ) ( IV )
t=0
V ( x0 ) lim
k t =0
t r ( x t , ut ) + k+1 V ( x k+ 1)
k t =0
r ( x t , ut ) + lim
k +1 V ( x k+1 )
t=0
V ( x0 ) r ( xt ,u t ) +0
t
t=0
V ( x0 ) t r ( xt ,u t ) ( V )
t=0
}}
t t
. ( VI )
t=0
modo que:
Por propiedad del supremo:
V ( x0 ) r ( x 0 , u0 ) + V ( x 1 ) + 0
u1 ( x 1 ) tal que:
Tambin existe
V ( x0 ) r ( x 1 , u1 ) + V ( x 2) + 1
r ( x 0 , u0 ) + V ( x 1 ) V ( x 0 ) r ( x 0 ,u 0 ) + r ( x1 , u1 ) + [ V ( x 2 ) ] + 1
Por transitividad en la primera inecuacin:
V ( x0 ) r ( x 0 , u0 ) + r ( x 1 ,u1 ) + 2 V ( x 2 ) + 1
En forma compacta:
1
V ( x0 ) r ( xt ,u t ) + V ( x 2 ) + t
t
t=0
t=1
V ( x0 ) r ( xt ,u t ) +
t
t=0
k+1
V ( x k+1 ) + t t
t=1
V ( x0 ) lim
t =0
t =1
t r ( x t , ut ) + k+1 V ( x k+1 ) + t t
{ }
k
k t =1
t t
u0 ( x 0 )
de
V ( x0 ) t r ( xt ,u t ) +0+
t=0
t
V ( x0 ) r ( xt ,u t ) + . ( VII )
t=0
El problema funcional puede tener muchas soluciones pero la proposicin 2 muestra que
~
dichas soluciones (excepto V ) violan la condicin de transversalidad fuerte y la
~
~
nica que satisface dicha condicin es V . Por tanto V =V .
t
Intuitivamente si se tiene
lim V ( x t ) > 0
{( x t , t ) }
x 0
que
permite alcanzar el supremo del problema secuencial entonces dicha dinmica factible
cumple con:
V ( x t ) = r ( x t , t ) + V ( x t +1 )
~
V ( xt ) = r
( x t , t ) + V (x t +1)
.. (VIII)
{( x t , t ) }
x 0
que permite
~
V ( X0 ) =
t
( , t )
t r
t=0
x
x
x
( t+ 1 , t+1 ) (IX )
( 0 , 0 )+ t r
t=0
( t , t )=r
t r
t =0
{( 1 , 1) , ( x2 , 2 ) , ( x 3 , 3 ) , . } (x 1)
x
x
( t , )+ t r ( x t+1 , t +1) (X )
t=0
( t , t )r
t r
t =0
t r
t=0
x
x
x
3
,
( 2 , 2 ),
( 1 , 1 ),
( t+ 1 , t+1 )
t r
t =0
~
t
V ( x 1 ) = r
( x t +1 , t +1 , ) .( XII )
t =0
r
,
~
V ( x 0 ) =
)+
)(XIII)
~
V
r
,
~
V ( x 0 ) =
)+
)
~
V
~
V ( x 1 ) = t r ( xt +1 , t+1 )
t =0
~
t
V ( x k ) = r ( x t+ k , t +k )
t=0
x1
r ,
r ,
V
x
=
( k ) r ( x t +k , t +k , )
)+
)=
t=0
~
V
r
x
,
+
B
r ( x t +(k +1) , t +(k+1) )
(
)
k
k
)+
)=
t=0
~
V
~
t
~
V ( x k +1 )=r ( x k +1 , k+ 1) + t r ( x t +(k+2 ) , t +(k+2) )
t=0
~
V ( x k +1 )=r ( x k +1 , k+ 1) + ~
V ( x k+2 ) .................................................(XIV)
Por tanto la hiptesis inductiva es verdadera y generalizable para todo t = 0, 1,2,
Finalmente tenemos un converso para esta proposicin que nos da las condiciones bajo
las cuales se cumple la otra afirmacin del principio de optimalidad.
Proposicin 4: (Dinmica factible del problema funcional al problema secuencial), Bajo
las hiptesis 1, 2 y 3 Si
{( x t , t ) }
x 0 que satisface
t
,
(
t )+ V ( x t+1 )
y se cumple la condicin de tranversalidad dbil:
~
V ( x t )=r
lim t V ( x t )0
t
{( x t , t ) }
Entonces
que
permite
alcanzar
el
{( x t , t ) }
supremo
~
V ( x0 )=
{ t }
t=0
t r ( x t , t )
~
t
Paso 1: Como
{( x t , t , ) }
x 0 entonces:
es
decir
~
t
V ( x 0 ) r ( xt , t ) ( XV )
t=0
x
( 1 )
Paso 2: ~
~
V ( x 0 ) =r ( x 0 , 0 ) + V
x
( 2 )
~
~
V ( x 0 ) =r ( x 1 , 1 ) + V
x
( t+1 )
~
~
V ( x 0 ) =r ( x t , t ) + V
x
Reemplazando: V ( 2 ) en V (x 1)
x
( 3 )
~
~
V ( x 2 ) =r ( x 2 , 2 ) + V
x
( 3 )
~
r ( x 2 , 2 ) + V
~
V ( x 1 ) =r ( x1 , 1 ) +
x
~
V
(
1
)
en ~
V ( x0 )
Reemplazando:
x
x
( 3 )
( 2 , 2)+ 2 ~
V
r ( x1 , 1 ) +Br
~
V ( x 0 ) =r ( x 0 , 0 ) +
De forma compacta
x
( 3 )
2
~
V ( x 0 ) = t r ( x t , t ) + 3 ~
V
t=0
k
( k +1 ) ..( XVI )
k
~
t
k+1 ~
V ( x 0 ) = r ( x t , t ) + V
t=0
k t=0
t r ( x t , t ) + k +1~
V ( k k+1 )
k
( k +1 )
k+1 ~
V
~
V ( x 0 ) = t r ( x t , t ) + lim
t=0
lim B V ( x t )0
t
~
V ( x 0 ) t r ( xt , t ) . ( XVII )
t =0
t=0
t=0
V ( x 0 ) r ( xt , t ) . ( XVIII )
t r ( x t , t ) ~
Por tanto:
~
V ( x 0 ) = t r ( x t , t )
t=0
{( x t , t ) }
Hiptesis 4: r(x)
T : X X
para todo x.
Hiptesis 5:
B (0,1)
m
conjunto {(x, y) X x R : y T ( x) }. La hiptesis 4 y 5 implican las * hiptesis 1,2 y
(
)
( )
T[V](X) = { } r ( x ) { x , + V ( g x ) } ( XIX)
Del problema funcional sabemos:
(
)
(
)
V(x) = { } r ( x ) { r x , + V ( g x , ) } (XX )
De (XIX) y (XX) el problema funcional se convierte en un problema de punto fijo:
T[V](X) = V(x) (XXI)
Donde la funcin V es el punto fijo, si encontramos la funcin V que resuelve (XXI)
entonces tendremos la solucin del problema funcional y por el principio de optimalidad
tendremos la solucin del problema secuencial.
Debido a que se tiene la funcin valor se puede encontrar el plan ptimo.
* Forma 1: resolviendo paso a paso el problema del mximo que aparece en el problema
funcional (encontramos la funcin poltica)
x
x
Ca(x) tiene un
nico p unto fijo y por tanto una solucin al punto fijo. El teorema del punto fijo para
contracciones asegura lo anterior.
acotadas sobre X con la norma del Supremo II.II entonces el operador T definido en
C a ( x ) es una aplicacin de este espacio en si mismo.
T: Ca (x) Ca (x) definido como
g ( xt ,ut )
r ( x t ,u t ) + V }
T [ V ] ( x ) =
Sujeto a: ut ( x t ) satisfice
T [ V ] C a ( x )
1.-
( V 0 )V nV 0 V
En particular
n
lim T ( V 0 ) =V
El teorema del punto fijo ofrece un mtodo de solucin del problema funcional la
convergencia de interacciones sucesivas de una funcin contractiva al punto fijo la cual
consiste en la sucesin de funciones
{V n }n=0
definida como:
V n=T [V n1 ; n 1
Converge al punto fijo ( V ) de la contraccin T , es decir:
lim V n=V
f C a ( x ) x X
el problema
{r ( x t ; ) + f ()}
Sobre el conjunto compacto
(x)
r ( x t ;u t ) y f (u t )
T [f ]
tambin es
acotada.
Debido a que
r ( x t ;u t ) y f (u t ) son continuas y
(x)
T [f ]
Ca( x )
condiciones de Blackwell.
T tiene un unico punto fijo debido a que
Ca( x )
( V 0 )V nV 0 V
r ( x t ,u t ) : X R es estrictamente creciente .
g ( xt ,u t ) : X X es creciente .
Hiptesis 7:
(x)
Es montona si
T [ f ] es una
[f ]
g ( x' , u ) g ( x ,u ) u
'
Dado que f ( g ( x ,u ) ) f ( g ( x , u ) )
( x , u ) es creciente
es una
en relacin a la ecuacin 22
'
Las hiptesis descritas aseguran que la funcin valor sea dos veces
diferenciables (Stokey y Lucas, 1998. Pg. 84) la cual asegura que la funcin de
poltica h( x ) sea diferenciable. Esta propiedad es recogida en el teorema
Benveniste-scheinkman
(x , u) se cumple
(x 0 ) ( x 0 , 0)
=
x0
0
Este teorema asegura una relacin entre la funcin de valor y la funcin de utilidad.
En la ecuacin de Bellman aplicar las condiciones de primer orden es decir derivar el
lado derecho de dicha ecuacin con respecto a la variable de control.
Al aplicar el teorema del envolvente recordar que el teorema de la diferenciabilidad es
solo para demostrar el teorema del envolvente
Aplicacin del teorema de la envolvente
Problema de optimizacin de un consumidor
max u(C t )
{C t ,Wt=0t +1 }t=0
t
W t +C t
Sujeto a: W t +1=(1+ r) )
Donde: ( 0,1 ) ,W t
Solucin:
V ( W t )=
max {u ( C t ) + v (W t +1) }
{C t }t =0
Introduciendo la ecuacin de la variable de estado
V ( W t )=
{C t }t =0
Condiciones de primer orden derivamos el lado derecho de la ecuacin de Bellman con
respecto a la variable de control Ct
u ( C t )
v ( W t +1 ) [ ( 1+r ) ( W t +Ct ) ]
+
=0
C t
W t+1
Ct
u ( C t )
C t
v ( W t +1 )
W t+1
(1 ) ( 1+ r )=0
u ( C t )
v ( W t+ 1)
= (1+r )
C t
W t +1
El teorema de la envolvente indica
v ( W t ) u ( Ct )
=
Wt
Ct
Un periodo hacia adelante
v ( W t +1 ) u ( C t +1)
=
W t +1
C t +1
Encontrando la ecuacin de EULER
= (1+r )
v ( W t+ 1)
W t +1
u ( C t )
u ( C t +1)
= (1+r )
C t
C t +1
max t ln ( c t )
t=0
{C t , k t +1 }t=0
Sujeto a:
k t +1=( 1+ ) k t +i t
Ct +i t=f (k t )
Ct , k t 0
La ecuacin funcional de Bellman es:
max { ln ( Ct )+ v (k t +1) }
V ( k t )=
{C t , k t +1 }t=0
V ( k t )=
{C t , }t =0
0 C t k t
Encontrando la funcin valor
Para resolver el problema funcional utilizaremos el mtodo de iteracin de la funcin
valor propuesto por el teorema del punto fijo para contracciones
V n=T [V n1 ] n 1
Se inicia con la funcin ms sencilla V 0=0
Encontrando V 1
V 1=T [ V 0 ]
max { ln ( Ct )+ v 0 (k t C t ) }
{C t , }t =0
max { ln ( C t ) }
{C t , }t =0
Con esta etapa se aplica la condicin de primer orden
funcion objetivo
=0
Ct
No obstante en este caso por ser ln
alcanza cuando
t= k t
C
Reemplazando Ct
V1
V 1=T [ V 0 ]=ln [ k t ]
V 1=ln [ k t ]
Encontrando V 2
V 2=T [ V 1 ]
max { ln ( Ct )+ v 1( k t C t ) }
{C t , }t =0
ln ( k t Ct )
por ende
max { ln ( Ct )+ ln(k t Ct ) }
{C t , }t =0
En esta etapa se aplica la condicin de primer orden
funcion objetivo
=0
Ct
k t
Ct =
1+
Reemplazando Ct
.1
T [V 1]
ende V 2 :
V 2=T [ V 1 ]= ( 1+ ) ln ( k t ) + ln
ln ( 1+ )
1+
V n [ k t ]=A n +( ( )i ln ( k t ))
i=0
n1
V n ( k t )= lim A n + lim ( ( )i ln ( k t ))
n
i =0
lim
V = A+ ( ) ln ( k t)
i
i=0
V = A+
ln ( k t )
y por
max { ln ( Ct ) + [ ln(k t Ct ) ] }
{C t , }t =0
0 C t k t
ln ( k t )=ln ( h ( k t ) + ln ( k t h ( k t ) ) )
1
ln ( )
1
1
A=
ln ( 1 )+
[ ]
k t +1=k t ( 1 ) k t = k t
Funcin de poltica
Ct =(1 ) k t