Warunek poprzeczności można łatwiej zrozumieć, jeśli zaczniemy od problemu ze skończonym horyzontem.
W standardowej wersji naszym celem jest
max{dot,kt + 1}T.t = 0∑t = 0T.βtu (dot)
z zastrzeżeniem
fa(kt) -dot-kt + 1dot,kt + 1≥ 0 ,t = 0 , … , T≥ 0 ,t = 0 , … , T(ograniczenie zasobów / budżetu)(ograniczenie nieujemności)
z
k0dany. Powiązany Lagrangian (z mnożnikami
λt,
μt, i
ωt) jest
max{dot,kt + 1,λt,μt,ωt}T.t = 0∑t = 0T.βtu (dot) +λt( f(kt) -dot-kt + 1) +μtdot+ωtkt + 1
FOC są
dot:kt + 1:kT.+ 1:βtu′(dot) -λt+μt-λt+λt + 1fa′(kt + 1) +ωt-λT.+ωT.= 0 ,t = 0 , … , T= 0 ,t = 0 , … , T- 1= 0 ,T.+ 1(1)
z uzupełniającymi warunkami luzu Kuhna-Tuckera: dla
t = 0 , … , T,
λt( f(kt) -dot-kt + 1)μtdotωtkt + 1= 0= 0= 0λtμtωt≥ 0≥ 0≥ 0(2)
Ponieważ ograniczenie zasobów musi obowiązywać we wszystkich okresach, tj
λt> 0 dla wszystkich
twynika z tego w ostatnim okresie
T.,
ωT.=λT.> 0, co z kolei implikuje
kT.+ 1= 0.
Zwykle zakładamy dot> 0 dla wszystkich t (warunek Inada), a to implikuje μt= 0 dla wszystkich t. Staje się więc FOC konsumpcji
βtu′(dot) =λt(3)
Patrząc na warunki ( 1 ) ( 2 ) i ( 3 ) w ostatnim okresie T.rozumiemy
βT.u′(doT.)kT.+ 1= 0
Rozszerzając to na nieskończony horyzont, otrzymujemy warunek poprzeczności
limT.→ ∞βT.u′(doT.)kT.+ 1= 0
Intuicja warunku poprzeczności jest częściowo taka, że „nie ma oszczędności w ostatnim okresie”. Ponieważ jednak nie ma „ostatniego okresu” w środowisku nieskończonego horyzontu, ograniczamy czas, gdy czas zmierza w nieskończoność.