Kondisi transversalitas mungkin lebih mudah dipahami jika kita mulai dari masalah dengan horizon yang terbatas.
Dalam versi standar, tujuan kami adalah untuk
$$
\ maks _ {\ {c_t, k_ {t + 1} \} _ {t = 0} ^ T} \ sum_ {t = 0} ^ T \ beta ^ t u (c_t)
$$
tunduk pada
$$
\ begin {aligned}
f (k_t) -c_t-k_ {t + 1} & amp; \ ge0, \ quad t = 0, \ dots, T & amp; & amp; \ text {(batasan sumber daya / anggaran)} \\
c_t, k_ {t + 1} & amp; \ ge0, \ quad t = 0, \ dots, T & amp; & amp; \ text {(batasan non-negatif)}
\ end {aligned}
$$
dengan $ k_0 $ diberikan. Lagrangian terkait (dengan pengganda $ \ lambda_t $, $ \ mu_t $, dan $ \ omega_t $) adalah
$$
\ maks _ {\ {c_t, k_ {t + 1}, \ lambda_t, \ mu_t, \ omega_t \} _ {t = 0} ^ T}
\ sum_ {t = 0} ^ T \ beta ^ tu (c_t) + \ lambda_t (f (k_t) -c_t-k_ {t + 1}) + \ mu_tc_t + \ omega_tk_ {t + 1}
$$
FOC adalah
$$
\ begin {align}
c_t: & amp; & amp; \ beta ^ tu '(c_t) - \ lambda_t + \ mu_t & amp; = 0, \ quad t = 0, \ dots, T \\
k_ {t + 1}: & amp; & amp; - \ lambda_t + \ lambda_ {t + 1} f '(k_ {t + 1}) + \ omega_t & amp; = 0, \ quad t = 0, \ dots, T-1 \\
k_ {T + 1}: & amp; & amp; - \ lambda_T + \ omega_T & amp; = 0, \ quad T + 1 \ tag {1}
\ end {align}
$$
dengan kondisi kendur komplementer Kuhn-Tucker: untuk $ t = 0, \ dots, T $,
$$
\ begin {align}
\ lambda_t (f (k_t) -c_t-k_ {t + 1}) & amp; = 0 & amp; \ lambda_t & amp; \ ge0 \\
\ mu_tc_t & amp; = 0 & amp; \ mu_t & amp; \ ge0 \\
\ omega_tk_ {t + 1} & amp; = 0 & amp; \ omega_t & amp; \ ge0 \ tag {2}
\ end {align}
$$
Karena batasan sumber daya harus mengikat dalam semua periode, yaitu $ \ lambda_t & gt; 0 $ untuk semua $ t $, maka pada periode terakhir $ T $, $ \ omega_T = \ lambda_T & gt; 0 $, yang pada gilirannya menyiratkan $ k_ {T + 1} = 0 $.
Biasanya kita menganggap $ c_t & gt; 0 $ untuk semua $ t $ (kondisi Inada), dan ini berarti $ \ mu_t = 0 $ untuk semua $ t $. Jadi konsumsi FOC menjadi
$$
\ beta ^ tu '(c_t) = \ lambda_t \ tag {3}
$$
Melihat kondisi $ (1) $ $ (2) $ dan $ (3) $ dalam periode terakhir $ T $, kita dapatkan
$$ \ beta ^ Tu '(c_T) k_ {T + 1} = 0 $$
Memperluas ini ke cakrawala tak terbatas, kita mendapatkan kondisi transversalitas
$$ \ lim_ {T \ hingga \ infty} \ beta ^ Tu '(c_T) k_ {T + 1} = 0 $$
Intuisi dari kondisi transversalitas adalah sebagian bahwa "tidak ada tabungan di periode terakhir". Tetapi karena tidak ada "periode terakhir" di lingkungan cakrawala yang tak terbatas, kita mengambil batas seiring berjalannya waktu hingga tak terbatas.