Métodos Matemáticos

El problema del Calculo de Variaciones con Horizonte infinito

Contenido de la clase
● Condición suficiente de segundo oren
● El problema con horizonte infinito

1) Condición suficiente de segundo orden

Teorema Condición de Segundo Orden

Si f ( t; x; x ) es cóncava (convexa) respecto a ( x; x ) y para todo t , entonces:
a) La ecuación de Euler es suficiente para la maximización (minimización) de V  x 
cuando T , xT son fijos.
b) La ecuación de Euler y la condición de transversalidad son suficientes para la
maximización (minimización) de V  x  cuando T , xT son libres.

Recuerde que dos criterios útiles para chequear concavidad /convexidad funciones de
dos variables es:

Teorema
Sea f : R 2 → R una función con segundas derivadas parciales continuas. Entonces,
f xx f xy
a) f xx  0, f yy  0 y  0  f es cóncava en R 2
f yx f yy
f xx f xy
b) f xx  0, f yy  0 y  0  f es convexa en R 2
f yx f yy

Teorema
Sea f : R 2 → R una función con segundas derivadas parciales continuas. Entonces,
f xx f xy
a) f xx  0, y  0  f es estrictamente cóncava en R 2
f yx f yy
f xx f xy
b) f xx  0, y  0  f es estrictamente convexa en R 2
f yx f yy

Nota:
1) En realidad, estos resultados son válidos sobre todo subconjunto convexo y abierto del plano
2) Para aplicar estos resultados en el caso de la función f estos resultados se aplican a f yy y fy' y'
debiendo cumplirse para todo valor de t

Página 1 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

2) El problema con horizonte infinito

El problema a considerar es:


maximizar V  x  =  f ( t; x ( t ) ; x ( t ) )dt
0 (1)
sujeto a x ( 0 ) = x0


maximizar V  x  =  f ( t; x ( t ) ; x ( t ) )dt
0 (2)
sujeto a y ( 0 ) = y0 , lim y ( t ) = 
t →

En cualquiera de los casos es de suponer que las integrales son convergentes; es por
ello por lo que, en contextos económicos, el integrando suele incorporar factor de
descuento e− t , donde  > 0 es tasa de descuento, lo que, en términos rigurosos, no
basta para asegurar convergencia de la integral (aunque sí baste en un cúmulo de
casos prácticos)

Condiciones para la convergencia del funcional objetivo:

Según lo dicho línea arriba presentamos dos condiciones suficientes que aseguran la
convergencia de la integral impropia, estas son:

Condición 1:
Dada la integral impropia de la función objetivo V  x  , si la función f () posee un valor
finito hasta el periodo de tiempo T y posteriormente toma un valor igual a cero, entonces
la integral converge.

Condición 2:
Si la función f () es descontada a través del factor e −  t (donde   0), y posee en
todo el horizonte de tiempo un valor menor o igual a M entonces la integral converge.

Página 2 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

La ecuación de Euler es todavía parte de CNO1 en ambos problemas; ella toma en

cuenta que lim x ( t ) sea o no dato en estos problemas (no lo es en primero, sí en
t →
segundo).

¿Qué hay sobre las condiciones de transversalidad? En ambos problemas, (1) y (2), no
hay necesidad de tener una condición de transversalidad en la frontera inicial, pues esta
frontera está cabalmente dada. Pero en la frontera final, en ambos problemas se
cumple:

Teorema1 (Condición de Transversalidad para el problema (1))

Si x* ( t ) resuelve el problema 1r, entonces
a) Satisface la siguiente ecuación de Euler:

f d  f 
=  
x dt  x 

b) La condición inicial x ( 0) = x0

c) La condición de Legendre para máximo

 f  f
d) lim  f −x  = 0 donde f − x es evaluada en la solución genérica (la que
t →
 x  x
incluye las constantes arbitrarias) de la ecuación de Euler

f
e) lim = 0, donde f también es evaluada en la solución la genérica de
t → x x
ecuación de Euler

Página 3 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

Teorema 2 (Condición de Transversalidad para el problema (2))

Si x* ( t ) resuelve el problema 2, entonces
a) Satisface la siguiente ecuación de Euler:

f d  f 
=  
x dt  x 

b) La condición inicial x ( 0) = x0

c) La condición de Legendre para máximo

 f  f
d) lim  f −x  = 0 donde f − x es evaluada en la solución genérica (la que
t →
 x  x
incluye las constantes arbitrarias) de la ecuación de Euler

En el problema (2) no hay condición adicional de transversalidad, pues lim x ( t ) es

t →
allí un dato.

Ejercicio
Una firma obtiene retornos por el uso del capital, según la función

R ( k ) = k −  k 2 , ( ,   0)

y debe asumir costos de ajuste del capital (asociados a la inversión), según la función

C ( k ') = ak '+ bk '2 , ( a, b  0) .

Asumiendo un horizonte temporal infinito y a    , determine la senda de capital que

maximiza el valor presente de los beneficios descontados a la tasa .

Solucion
El problema por resolver es

maximizar  e − ρt ( αk − βk 2 − ak' − bk' 2 ) dt
0

sujeto a k ( 0) = k0

Recordemos que la ecuacion de Euler con factor de descuento es:

Página 4 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

d
fx =  f x  −  f x  Ecuación de Euler con factor de descuento
dt

Aquí solo se trabaja con el término f ( t; x; x ) en lugar de trabajar con todo el integrando
e− t f ( t; x; x ) .

d d
fk = f k' − ρf k'  α − 2 βk = ( −a − 2bk' )  − ρ ( −a − 2bk' )
dt dt
α − 2 βk = −2bk'' + aρ + 2bk'
ap − α
bk'' − bk' − βk =
2
La ecuacion homogénea asociada es:

bk'' − bk' − βk = 0

La ecuacion auxiliar y sus raíces son:

 bρ + b2 ρ2 + 4bβ
 r =
bρ  b2 ρ2 + 4bβ 1 2b
br 2 − bρr − β = 0  r1,2 = 
2b  bρ − b2 ρ2 + 4bβ
 r =

2
2b

Aquí conviene notar que, con respecto a r1 esta es positiva, pero r2 es negativa, para
esto último considere

bρ − b2 ρ2 + 4bβ
b2 ρ2 + 4bβ  b2 ρ2  b2 ρ2 + 4bβ  bρ  bρ − b2 ρ2 + 4bβ  0  r2 = 0
2b

En consecuencia, la solucion de la ecuacion homogénea asociada es

kh ( t ) = Aer1t + Ber2t

La solucion particular se propone en la forma

k p (t ) = C

Página 5 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

Derivando y reemplazando en

ap − α
bk'' − bk' − βk =
2
Se obtiene
ap − α
k p (t ) = −
2β

En consecuencia, la extremal es:

ap − α
k * ( t ) = Ae r1t + Be r2t −
2β

Si imponemos la condición k (0) = k0 obtenemos:

ap − α ap − α
k0 = A + B −  B = k0 + −A
2β 2β

Luego, la extrema queda:

 ap − α  ap − α
k * ( t ) = Ae r1t +  k0 + − A  e r2t −
 2β  2β

Para las condiciones de transversalidad debemos usar

f ( t;k;k' ) = e − ρt ( αk − βk 2 − ak' − bk' 2 )

En consecuencia,

f k' = e− ρt ( −ak' − 2bk' )

Evaluando en la extremal sale:

  ap − α  
f k' = −e− ρt ( a + 2b )  Ar1er1t + r2  k0 + − A  er2t 
  2β  
La cual se escribe como

Página 6 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

  ap − α  
f k' = − ( a + 2b )  Ar1e( 1 ) +  k0 +
r −ρ t
− A  r2e − ρt e r2t 
  2β  
Pero:

bρ + b2 ρ2 + 4bβ
r1 − ρ = −ρ
2b
bρ + b2 ρ2 + 4bβ − 2bρ b2 ρ2 + 4bβ − bρ
= =
2b 2b

Si tenemos en cuenta que:

b2 ρ2 + 4bβ − bρ
b ρ + 4bβ  b ρ  b ρ + 4bβ  bρ  b ρ + 4bβ − bρ  0 
2 2 2 2 2 2 2 2
0
2b

Es decir, r1 − ρ  0 y como debe cumplirse que

lim f k' = 0
t →

Entonces,

   ap − α  
lim f k' = lim  − ( a + 2b )  Ar1e( r1 − ρ )t +  k0 + − A  r2e − ρt e r2t   = 0  A = 0
t → t →
   2β  

Con lo que la extremal queda como:

 ap − α  r2t ap − α
k * ( t ) =  k0 +  e − 2β
 2 β 
En la otra condición de transversalidad

lim ( f − k' f k' ) = 0

t →

Tendríamos, evaluando en la extremal

Página 7 de 8
 Métodos Matemáticos
El problema del Calculo de Variaciones con Horizonte infinito

2
− ρt  ap − α  r2t ap − α  − ρt   ap − α  r2t ap − α 
f = αe   k0 +  e −  − βe   k0 + e − 
 2β  2β   2 β  2β 
2
− ρt   ap − α  r2t    ap − α  r2t 
− ae  r2  k0 +  e  − be − ρt  r2  k0 + e 
  2β     2 β  
y
 ap − α  r2t   ap − α  − ρt r2t  
k' f k' = r2  k0 +  e   − ( a + 2b )   k0 +  r2e e  
 2β     2 β  

Vemos que lim ( f − k' f k' ) = 0 se va a cumplir trivialmente sin ninguna condición
t →
adicional.

Observamos que la condición de Legendre para máximo se cumple ya que:

f k ' k ' = −2be −  t  0

La extrema hallada es el máximo global ya que f kk = −2  e −  t  0,  t  0 y

f kk f kk ' −2 e−  t 0
= − t
= 4 be−2  t  0, t  0
fk ' k fk ' k ' 0 −2be

Esto indica que la función f es cóncava (estrictamente)

Página 8 de 8