La condición de transversalidad puede entenderse más fácilmente si partimos de un problema con el horizonte finito.
En la versión estándar, nuestro objetivo es
sujeto para
con dado. El lagrangiano asociado (con multiplicadores , y ) es
Los FOC son
f ( k t ) - c t - k t + 1
max{ ct, kt + 1}Tt = 0∑t = 0Tβtu ( ct)
F( kt) - ct- kt + 1Ct, kt + 1≥ 0 ,t = 0 , ... , T≥ 0 ,t = 0 , ... , T(restricción de recursos / presupuesto)(restricción de no negatividad)
k0 0λtμtωtmax{ ct, kt + 1, λt, μt, ωt}Tt = 0∑t = 0Tβtu ( ct) + λt( f( kt) - ct- kt + 1) + μtCt+ ωtkt + 1
Ct:kt + 1:kT+ 1:βttu′( ct) - λt+ μt- λt+ λt + 1F′( kt + 1) + ωt- λT+ ωT= 0 ,t = 0 , ... , T= 0 ,t = 0 , ... , T- 1= 0 ,T+ 1(1)
con las condiciones de holgura complementarias de Kuhn-Tucker: para ,
Dado que la restricción de recursos debe ser vinculante en todos los períodos, es decir, para todo , se deduce que en el último período , , .
t = 0, ... , Tλt( f( kt) - ct- kt + 1)μtCtωtkt + 1= 0= 0= 0λtμtωt≥ 0≥ 0≥ 0(2)
λt> 0tTωT= λT> 0kT+ 1= 0
Por lo general, suponemos que para todo (la condición de Inada), y esto implica para todo . Entonces el FOC de consumo se convierte en
Ct> 0tμt= 0t
βttu′( ct) = λt(3)
Mirando las condiciones y en el último período , obtenemos
Extendiendo esto al horizonte infinito, obtenemos la condición de transversalidad
( 2 ) ( 3 ) T β T u ′ ( c T ) k T + 1 = 0 lim T → ∞ β T u ′ ( c T ) k T + 1 = 0( 1 ) ( 2 )( 3 )T
βTtu′( cT) kT+ 1= 0
limT→ ∞βTtu′( cT) kT+ 1= 0
La intuición de la condición de transversalidad es en parte que "no hay ahorros en el último período". Pero como no hay un "último período" en un entorno de horizonte infinito, tomamos el límite a medida que el tiempo llega al infinito.