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
We promised to justify our claim that a constant tax rate $T_t = T_0$ for all $t$ is optimal.
455
462
456
463
Let's do that now.
464
+
457
465
The approach we'll take is an elementary example of the "calculus of variations".
458
466
459
467
Let's dive in and see what the key idea is.
@@ -462,7 +470,7 @@ To explore what types of tax paths are welfare-improving, we shall create an **a
462
470
that satisfies
463
471
464
472
$$
465
-
\sum_{t=0}^S R^{-t} v_t = 0
473
+
\sum_{t=0}^S R^{-t} v_t = 0.
466
474
$$
467
475
468
476
This equation says that the **present value** of admissible tax path variations must be zero.
@@ -474,7 +482,7 @@ So once again, we encounter a formula for the present value:
474
482
Here we'll restrict ourselves to a two-parameter class of admissible tax path variations of the form
475
483
476
484
$$
477
-
v_t = \xi_1 \phi^t - \xi_0
485
+
v_t = \xi_1 \phi^t - \xi_0.
478
486
$$
479
487
480
488
We say two and not three-parameter class because $\xi_0$ will be a function of $(\phi, \xi_1; R)$ that guarantees that the variation sequence is feasible.
@@ -566,6 +574,7 @@ plt.xlabel(r'$t$')
566
574
plt.ylabel(r'$T_t$')
567
575
plt.show()
568
576
```
577
+
569
578
We can even use the Python `np.gradient` command to compute derivatives of cost with respect to our two parameters.
570
579
571
580
We are teaching the key idea beneath the **calculus of variations**.
@@ -583,9 +592,11 @@ def cost_rel(ξ1, ϕ):
583
592
G_seq=G_seq,
584
593
verbose=0)
585
594
return cost(tax_model, Tvar_seq)
595
+
586
596
# Vectorize the function to allow array input
587
597
cost_vec = np.vectorize(cost_rel)
588
598
```
599
+
589
600
Then we can visualize the relationship between cost and $\xi_1$ and compute its derivatives
590
601
591
602
```{code-cell} ipython3
@@ -749,5 +760,6 @@ Multiplying both sides by inverse of the matrix on the left again provides the s
749
760
:label: taxsmooth_ex2
750
761
751
762
As an exercise, we ask you to represent and solve a **third-order linear difference equation**.
0 commit comments