You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -131,7 +129,7 @@ A **price system** is a triple of sequences $\{q_t, \eta_t, w_t\}_{t=0}^\infty$,
131
129
- $\eta_t$ is the pretax price at time $t$ that the household receives from the firm for renting capital at time $t$, and
132
130
- $w_t$ is the pretax price at time $t$ that the household receives for renting labor to the firm at time $t$.
133
131
134
-
The prices $w_t$ and $\eta_t$ are expressed in terms of time $t$ goods, while $q_t$ is expressed in terms of the numeraire at time 0 as in {doc}`cass_koopmans_2`
132
+
The prices $w_t$ and $\eta_t$ are expressed in terms of time $t$ goods, while $q_t$ is expressed in terms of the numeraire at time 0 as in {doc}`cass_koopmans_2`.
135
133
136
134
Government is the main feature that distinguishes this lecture from
137
135
{doc}`cass_koopmans_2`.
@@ -154,13 +152,13 @@ We include all of these taxes because, like {cite}`hall1971dynamic`,
154
152
they allow us to analyze how the
155
153
various taxes distort production and consumption decisions.
156
154
157
-
In the [experiment section](cf:experiments), we shall see how variations in government tax plan affects
155
+
In the [experiment section](cf:experiments), we shall see how variations in government tax plan affect
158
156
the transition path and equilibrium.
159
157
160
158
### Budget constraints
161
159
162
-
Now we have all the elements to write down budget constraints for representative household
163
-
and government
160
+
Now we have all the elements to write down budget constraints for the representative household
161
+
and government.
164
162
165
163
Household maximizes {eq}`eq:utility` under the budget constraint:
166
164
@@ -223,9 +221,11 @@ The household's budget constraint {eq}`eq:house_budget` must be bounded in equil
223
221
224
222
Specifically, for $t \geq 1$, the terms multiplying $k_t$ must equal zero.
225
223
226
-
If they were strictly positive (negative), the household could arbitrarily increase (decrease) the right-hand side of {eq}`eq:house_budget` by selecting an arbitrarily large positive (negative) $k_t$, leading to unbounded profit or arbitrage opportunities.
224
+
If they were strictly positive (negative), the household could arbitrarily increase (decrease) the right-hand side of {eq}`eq:house_budget` by selecting an arbitrarily large positive (negative) $k_t$, leading to unbounded profit or arbitrage opportunities:
227
225
228
-
For strictly positive terms, the household could purchase large capital stocks $k_t$ and profit from their rental services and undepreciated value. For strictly negative terms, the household could engage in "short selling" synthetic units of capital. Both cases would make {eq}`eq:house_budget` unbounded.
226
+
- For strictly positive terms, the household could purchase large capital stocks $k_t$ and profit from their rental services and undepreciated value.
227
+
228
+
- For strictly negative terms, the household could engage in "short selling" synthetic units of capital. Both cases would make {eq}`eq:house_budget` unbounded.
229
229
230
230
Hence, by setting the terms multiplying $k_t$ to $0$ we have the non-arbitrage condition:
By {eq}`eq:equil_bigR` and $r_{t, t+1} = - \ln(\frac{q_{t+1}}{q_t})$, we have
477
477
478
478
$$
479
479
R_{t, t+s} = e^{s \cdot r_{t, t+s}}.
@@ -560,7 +560,7 @@ def f_prime(k, model):
560
560
561
561
## Computation
562
562
563
-
In the following sections, we will apply two methods to solve the model: the shooting algorithm and residual minimization using the Euler equation ({eq}`eq:diff_second`) and feasibility condition ({eq}`eq:feasi_capital`).
563
+
In the following sections, we will apply two methods to solve the model: the shooting algorithm and residual minimization using the Euler equation {eq}`eq:diff_second` and feasibility condition {eq}`eq:feasi_capital`.
564
564
565
565
### Method 1: Shooting Algorithm
566
566
@@ -1003,10 +1003,8 @@ At $t = 0$, the term structure of interest rates exhibits a "U-shaped" pattern:
1003
1003
- It declines until maturity at $s = 10$.
1004
1004
- After $s = 10$, it increases for longer maturities.
1005
1005
1006
-
This pattern corresponds to the pattern of consumption growth in the first two figures, which:
1007
-
1008
-
- Declines at an increasing rate until $t = 10$.
1009
-
- Then declines at a decreasing rate afterward.
1006
+
This pattern corresponds to the pattern of consumption growth in the first two figures,
1007
+
which declines at an increasing rate until $t = 10$ and then declines at a decreasing rate afterward.
0 commit comments