La condizione di trasversalità può essere più facilmente compresa se si parte da un problema con orizzonte finito.
Nella versione standard, il nostro obiettivo è
subject to
con indicato. Il Lagrangiano associato (con moltiplicatori , e ) è
I FOC sono
max{ct,Kt + 1}Tt = 0Σt = 0Tβttu (ct)
f(Kt) -ct-Kt + 1ct,Kt + 1≥ 0 ,t = 0 , … , T≥ 0 ,t = 0 , … , T(vincolo di risorse / budget)(vincolo di non negatività)
K0λtμtωtmax{ct,Kt + 1,λt,μt,ωt}Tt = 0Σt = 0Tβttu (ct) +λt( f(Kt) -ct-Kt + 1) +μtct+ωtKt + 1
ct:Kt + 1:KT+ 1:βtu'(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 le condizioni di rilassamento complementare di Kuhn-Tucker: per ,
Poiché il vincolo di risorse deve essere vincolante in tutti i periodi, ovvero per tutte le , ne consegue che nell'ultimo periodo , , .
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
Di solito assumiamo per tutto (la condizione di Inada), e questo implica per tutto . Quindi il FOC di consumo diventa
ct> 0tμt= 0t
βtu'(ct) =λt(3)
Osservando le condizioni e nell'ultimo periodo , otteniamo
Estendendolo all'orizzonte infinito, otteniamo la condizione di trasversalità
( 1 ) ( 2 )( 3 )T
βTu'(cT)KT+ 1= 0
limT→ ∞βTu'(cT)KT+ 1= 0
L'intuizione della condizione di trasversalità è in parte che "non vi sono risparmi nell'ultimo periodo". Ma poiché non esiste un "ultimo periodo" in un ambiente a orizzonte infinito, prendiamo il limite col passare del tempo all'infinito.