<p>In my opinion, the best derivation is by logic. Think about it this way: If the only thing we are telling the household is to maximize its utility, optimal behaviour would then be just making infinite debt and consume infinitely. This is no sensible solution. We therefore need another optimality condition. This should answer question 2.</p>

<p>In a finite horizon setting, feasibility would be achieved by debt having to be repayed by the last period. This is not possible in a infinite horizon setting. However, "ruling out debt accumulation", as you suggest, is too strict a condition (The transversality condition allows for debt!). </p>

<p>To answer question 3, let us look at the term $\beta^t \lambda_t k_{t+1}$. It stands for the (marginal) utility gain (in present-value utils) of shifting $k_{t+1}$ units of capital to period t and consuming them. If this utility gain were positive at infinity, we could increase overall utility by consuming more at "period infinity", hence our capital path would not be optimal.</p>

<p>To question 1: To derive this condition, you can either make the logical argument I just made, showing that without the transversality condition holding, the capital path is not optimal, or, for a mathematical proof, you can check out, for example, <a href="https://www.sas.upenn.edu/~vr0j/702-16/newmanu.pdf" rel="noreferrer" title="Per Krusell&#39;s notes">Per Krusell's Notes</a> (although it is rather hard to grasp)</p>

CC BY-SA 4.0
2021-12-07T07:19:27.747Z
the link is broken.
garej
CC BY-SA 3.0
2017-02-02T20:06:35.533Z
2017-02-02T20:06:35.533Z
Chris tie
<p>The transversality condition may be more easily understood if we start from a problem with finite horizon.</p>

<p>In the standard version, our objective is to 
$$ 
\max_{\{c_t,k_{t+1}\}_{t=0}^T} \sum_{t=0}^T\beta^t u(c_t)
$$
subject to 
$$
\begin{aligned}
f(k_t)-c_t-k_{t+1}&amp;\ge0,\quad t=0,\dots,T &amp;&amp;\text{(resource/budget constraint)}\\
c_t,k_{t+1}&amp;\ge0,\quad t=0,\dots,T &amp;&amp;\text{(non-negativity constraint)}
\end{aligned}
$$
with $k_0$ given. The associated Lagrangian (with multipliers $\lambda_t$, $\mu_t$, and $\omega_t$) is 
$$
\max_{\{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}
$$
The FOCs are 
$$
\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}
$$ 
with the Kuhn-Tucker complementary slackness conditions: for $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}
$$
Since resource constraint must be binding in all periods, i.e. $\lambda_t&gt;0$ for all $t$, it follows that at the last period $T$, $\omega_T=\lambda_T&gt;0$, which in turn implies $k_{T+1}=0$.</p>

<p>Usually we assume $c_t&gt;0$ for all $t$ (the Inada condition), and this implies $\mu_t=0$ for all $t$. So the consumption FOC becomes
$$
\beta^tu'(c_t)=\lambda_t \tag{3}
$$</p>

<p>Looking at conditions $(1)$ $(2)$ and $(3)$ in the last period $T$, we get
$$\beta^Tu'(c_T)k_{T+1}=0$$
Extending this to the infinite horizon, we get the transversality condition
$$\lim_{T\to\infty}\beta^Tu'(c_T)k_{T+1}=0$$</p>

<p>The intuition of the transversality condition is partly that "there is no savings in the last period". But as there is no "last period" in an infinite horizon environment, we take the limit as time goes to infinity.</p>

CC BY-SA 4.0
2022-08-29T18:52:29.950Z
Just because the resource constraint is binding, why does it necessarily mean that lambda(t)>0? I get the intuition, but it should be greater than equal to 0 (in other words, the constraint exactly hits the optimum).
Kwame Brown
CC BY-SA 4.0
2022-08-30T01:51:58.780Z
@KwameBrown: $\lambda>0$ is what a constraint being binding means. If $\lambda=0$, then the constraint is redundant regardless of whether or not it happens to hold with equality at the optimum. This is because $\lambda=0$ implies that relaxing the constraint won't change the optimal solution, which cannot happen when the constraint is binding.
Herr K.
CC BY-SA 3.0
2017-02-02T21:32:50.367Z
2017-02-02T21:32:50.367Z
Herr K.
<p>In the neo-classical growth model there is the following transversality condition: </p>

<p>$$\lim_{t\rightarrow\infty}\beta^{t}u'(c_{t})k_{t+1}= 0,$$ 
where $k_{t+1}$ is the capital at period $t$. </p>

<p>My questions are: </p>

<ol>
<li><p>How we derive this condition? </p></li>
<li><p>Why do we require this, if we want to rule out paths with no debt accumulation?</p></li>
<li><p>Why are the Lagrange multipliers $\beta^{t}u'(c_{t}) = \beta^{t}\lambda_{t}$
the present discounted value of the capital? </p></li>
</ol>

CC BY-SA 3.0
2017-02-09T02:47:02.437Z
Check out these answers for the distinction between the _transversality optimality condition_ and the _solvency exogenous constraint_, http://economics.stackexchange.com/a/13681/61  and http://economics.stackexchange.com/a/11866/61
Alecos Papadopoulos
CC BY-SA 3.0
2017-04-24T13:35:44.860Z
I tried to give a non-mathematical, plain-language description of the intuition behind the transversality condition in this post: https://medium.com/@alexanderdouglas/macroeconomics-a-view-from-the-peanut-gallery-f460e5abe92f I'm not a macroeconomist, however, so I might well have got it wrong. If so, I hope some replies will appear soon.
Alexander Douglas
CC BY-SA 3.0
2017-04-24T14:21:10.723Z
This should be a comment, since you only provide a link to external content. Also, the transverslaity condition does not depend on any assumption about expectations formation, since it is a condition imposed even in deterministic models where uncertainty is absent. And it is not specifically related to government debt, but to any assets in general. The basic point is the following: assuming no bequest motive (we don't care about our offspring or society), it is suboptimal to "leave behind" unconsumed wealth. That's all there is to it.
Alecos Papadopoulos
CC BY-SA 3.0
2017-04-24T14:23:49.190Z
CONTD It is fairly straightforward with a finite horizon, and, as is usual the case, when the horizon becomes "inifinite" it becomes a bit less straightforward and self-evident.
Alecos Papadopoulos
<economic-growth><dynamic-optimization>
Transversality Condition in neoclassical growth model
Neta_1990
# Transversality Condition in neoclassical growth model

(Asked by: username_0 on 2017-02-01)

In the neo-classical growth model there is the following transversality condition:

$$\lim\_{t\rightarrow\infty}\beta^{t}u'(c\_{t})k\_{t+1}= 0,$$
where $k\_{t+1}$ is the capital at period $t$.

My questions are:

1. How we derive this condition?
2. Why do we require this, if we want to rule out paths with no debt accumulation?
3. Why are the Lagrange multipliers $\beta^{t}u'(c\_{t}) = \beta^{t}\lambda\_{t}$
   the present discounted value of the capital?

**Tags:** economic-growth, dynamic-optimization
> **Comments:**
> **username_1**: Check out these answers for the distinction between the _transversality optimality condition_ and the _solvency exogenous constraint_, http://economics.stackexchange.com/a/13681/61  and http://economics.stackexchange.com/a/11866/61  
> **username_2**: I tried to give a non-mathematical, plain-language description of the intuition behind the transversality condition in this post: https://medium.com/@alexanderdouglas/macroeconomics-a-view-from-the-peanut-gallery-f460e5abe92f I'm not a macroeconomist, however, so I might well have got it wrong. If so, I hope some replies will appear soon.  
> **username_1**: This should be a comment, since you only provide a link to external content. Also, the transverslaity condition does not depend on any assumption about expectations formation, since it is a condition imposed even in deterministic models where uncertainty is absent. And it is not specifically related to government debt, but to any assets in general. The basic point is the following: assuming no bequest motive (we don't care about our offspring or society), it is suboptimal to "leave behind" unconsumed wealth. That's all there is to it.  
> **username_1**: CONTD It is fairly straightforward with a finite horizon, and, as is usual the case, when the horizon becomes "inifinite" it becomes a bit less straightforward and self-evident.  

---

## 2 answers

### Answer by username_5 on 2017-02-02. Score: 17 | Accepted answer

The transversality condition may be more easily understood if we start from a problem with finite horizon.

In the standard version, our objective is to
$$
\max\_{\{c\_t,k\_{t+1}\}\_{t=0}^T} \sum\_{t=0}^T\beta^t u(c\_t)
$$
subject to
$$
\begin{aligned}
f(k\_t)-c\_t-k\_{t+1}&\ge0,\quad t=0,\dots,T &&\text{(resource/budget constraint)}\\
c\_t,k\_{t+1}&\ge0,\quad t=0,\dots,T &&\text{(non-negativity constraint)}
\end{aligned}
$$
with $k\_0$ given. The associated Lagrangian (with multipliers $\lambda\_t$, $\mu\_t$, and $\omega\_t$) is
$$
\max\_{\{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}
$$
The FOCs are
$$
\begin{align}
c\_t:&& \beta^tu'(c\_t)-\lambda\_t+\mu\_t&=0,\quad t=0,\dots,T \\
k\_{t+1}:&& -\lambda\_t+\lambda\_{t+1}f'(k\_{t+1})+\omega\_t&=0,\quad t=0,\dots,T-1 \\
k\_{T+1}:&& -\lambda\_T+\omega\_T&=0,\quad T+1 \tag{1}
\end{align}
$$
with the Kuhn-Tucker complementary slackness conditions: for $t=0,\dots,T$,
$$
\begin{align}
\lambda\_t(f(k\_t)-c\_t-k\_{t+1})&=0 & \lambda\_t&\ge0 \\
\mu\_tc\_t&=0 & \mu\_t&\ge0\\
\omega\_tk\_{t+1}&=0&\omega\_t&\ge0\tag{2}
\end{align}
$$
Since resource constraint must be binding in all periods, i.e. $\lambda\_t>0$ for all $t$, it follows that at the last period $T$, $\omega\_T=\lambda\_T>0$, which in turn implies $k\_{T+1}=0$.

Usually we assume $c\_t>0$ for all $t$ (the Inada condition), and this implies $\mu\_t=0$ for all $t$. So the consumption FOC becomes
$$
\beta^tu'(c\_t)=\lambda\_t \tag{3}
$$

Looking at conditions $(1)$ $(2)$ and $(3)$ in the last period $T$, we get
$$\beta^Tu'(c\_T)k\_{T+1}=0$$
Extending this to the infinite horizon, we get the transversality condition
$$\lim\_{T\to\infty}\beta^Tu'(c\_T)k\_{T+1}=0$$

The intuition of the transversality condition is partly that "there is no savings in the last period". But as there is no "last period" in an infinite horizon environment, we take the limit as time goes to infinity.

> **Comments:**
> **username_6**: Just because the resource constraint is binding, why does it necessarily mean that lambda(t)>0? I get the intuition, but it should be greater than equal to 0 (in other words, the constraint exactly hits the optimum).  
> **username_5**: @KwameBrown: $\lambda>0$ is what a constraint being binding means. If $\lambda=0$, then the constraint is redundant regardless of whether or not it happens to hold with equality at the optimum. This is because $\lambda=0$ implies that relaxing the constraint won't change the optimal solution, which cannot happen when the constraint is binding.  

---

### Answer by username_3 on 2017-02-02. Score: 7

In my opinion, the best derivation is by logic. Think about it this way: If the only thing we are telling the household is to maximize its utility, optimal behaviour would then be just making infinite debt and consume infinitely. This is no sensible solution. We therefore need another optimality condition. This should answer question 2.

In a finite horizon setting, feasibility would be achieved by debt having to be repayed by the last period. This is not possible in a infinite horizon setting. However, "ruling out debt accumulation", as you suggest, is too strict a condition (The transversality condition allows for debt!).

To answer question 3, let us look at the term $\beta^t \lambda\_t k\_{t+1}$. It stands for the (marginal) utility gain (in present-value utils) of shifting $k\_{t+1}$ units of capital to period t and consuming them. If this utility gain were positive at infinity, we could increase overall utility by consuming more at "period infinity", hence our capital path would not be optimal.

To question 1: To derive this condition, you can either make the logical argument I just made, showing that without the transversality condition holding, the capital path is not optimal, or, for a mathematical proof, you can check out, for example, [Per Krusell's Notes](https://www.sas.upenn.edu/~vr0j/702-16/newmanu.pdf "Per Krusell's notes") (although it is rather hard to grasp)

> **Comments:**
> **username_4**: the link is broken.  

---

