Skip to main content
Social Sci LibreTexts

5.3: Excess Burden of Taxation

  • Page ID
    43768
    • Anonymous
    • LibreTexts

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    Learning Objectives
    • How does a tax affect the gains from trade?

    The presence of the deadweight loss implies that raising $1 in taxes costs society more than $1. But how much more? This idea—that the cost of taxation exceeds the taxes raised—is known as the excess burden of taxation, or just the excess burden. We can quantify the excess burden with a remarkably sharp formula.

    To start, we will denote the marginal cost of the quantity q by c(q) and the marginal value by v(q). The elasticities of demand and supply are given by the standard formulae

    \[\varepsilon=-\text { dq } q \text { dv } v=-v(q) q v^{\prime}(q) \nonumber \]

    and

    \[\eta=\operatorname{dq} q \operatorname{dc} c=c(q) q c^{\prime}(q) \nonumber \]

    Consider an ad valorem (at value) tax that will be denoted by t, meaning a tax on the value, as opposed to a tax on the quantity. If sellers are charging c(q), the ad valorem tax is tc(q), and the quantity q* will satisfy \(v\left(q^{*}\right)=(1+t) c\left(q^{*}\right)\).

    From this equation, we immediately deduce

    \[d q^{*} d t=c\left(q^{*}\right) v^{\prime}\left(q^{*}\right)-(1+t) c^{\prime}\left(q^{*}\right)=c\left(q^{*}\right)-v\left(q^{*}\right) \varepsilon q^{*}-(1+t)\left(q^{*}\right) \eta q^{*}=-q^{*}(1+t)(1 \varepsilon+1 \eta)=-q^{*} \varepsilon_{\mathrm{n}}(1+t)(\varepsilon+\eta) \nonumber \]

    Tax revenue is given by Tax = tc(q*)q*.

    The effect on taxes collected, Tax, of an increase in the tax rate t is

    \[dTax dt =c(q*)q*+t( c(q*)+q* c ′ (q*) ) dq* dt =c(q*)( q*−t( 1+ 1 η ) q*εη (1+t)( ε+η ) )= c(q*)q* (1+t)( ε+η ) ( (1+t)( ε+η )−t( 1+η )ε )= c(q*)q* (1+t)( ε+η ) ( ε+η−tη(ε−1) ). \nonumber \]

    Thus, tax revenue is maximized when the tax rate is tmax, given by

    \[t_{\max }=\varepsilon+\eta \eta(\varepsilon-1)=\varepsilon \varepsilon-1(1 \eta+1 \varepsilon) \nonumber \]

    The value ε ε−1 is the monopoly markup rate, which we will meet when we discuss monopoly. Here it is applied to the sum of the inverse elasticities.

    The gains from trade (including the tax) is the difference between value and cost for the traded units, and thus is

    \[G F T=\int 0 g^{*} v(q)-c(q) d q \nonumber \]

    Thus, the change in the gains from trade as taxes increase is given by

    \[dGFT dTax = ∂GFT ∂t ∂Tax ∂t = ( v(q*)−c(q*) ) dq* dt c(q*)q* (1+t)( ε+η ) ( ε+η−tη(ε−1) ) =− ( v(q*)−c(q*) ) q*εη (1+t)( ε+η ) c(q*)q* (1+t)( ε+η ) ( ε+η−tη(ε−1) )=− ( tc(q*) )εη c(q*)( ε+η−tη(ε−1) ) =− εηt ε+η−tη(ε−1) =− ε ε−1 t t max −t . \nonumber \]

    The value tmax is the value of the tax rate t that maximizes the total tax taken. This remarkable formula permits the quantification of the cost of taxation. The minus sign indicates that it is a loss—the deadweight loss of monopoly, as taxes are raised, and it is composed of two components. First, there is the term ε ε−1 , which arises from the change in revenue as quantity is changed, thus measuring the responsiveness of revenue to a quantity change. The second term provides for the change in the size of the welfare loss triangle. The formula can readily be applied in practice to assess the social cost of taxation, knowing only the tax rate and the elasticities of supply and demand.

    The formula for the excess burden is a local formula—it calculates the increase in the deadweight loss associated with raising an extra dollar of tax revenue. All elasticities, including those in tmax, are evaluated locally around the quantity associated with the current level of taxation. The calculated value of tmax is value given the local elasticities; if elasticities are not constant, this value will not necessarily be the actual value that maximizes the tax revenue. One can think of tmax as the projected value. It is sometimes more useful to express the formula directly in terms of elasticities rather than in terms of the projected value of tmax, in order to avoid the potential confusion between the projected (at current elasticities) and actual (at the elasticities relevant to tmax) value of tmax. This level can be read directly from the derivation shown below:

    \[dGFT dTax =− εηt ε+η−η(ε−1)t \nonumber \]

    Key Takeaways

    • The cost of taxation that exceeds the taxes raised is known as the excess burden of taxation, or just the excess burden.
    • Tax revenue is maximized when the tax rate is \[t max = ε ε−1 ( 1 η + 1 ε ). \nonumber \]
    • The change in the gains from trade as taxes increase is given by \[\mathrm{dGFT} \text { dTax }=-\varepsilon \varepsilon-1 \text { t } \mathrm{t} \text { max }-\mathrm{t} \nonumber \] .

    EXERCISES

    1. Suppose both demand and supply are linear, qD= (a – b) p and qS = (c + d) p. A quantity tax is a tax that has a constant value for every unit bought or sold. Determine the new equilibrium supply price pS and demand price pD when a quantity tax of amount t is applied.
    2. An ad valorem tax is a proportional tax on value, like a sales tax. Repeat the previous exercise for an ad valorem tax t.
    3. Let supply be given by p = q and demand by p = 1 – q. Suppose that a per-unit tax of 0.10 is applied.
      1. What is the change in quantity traded?
      2. Compute the tax revenue and deadweight loss.

    This page titled 5.3: Excess Burden of Taxation is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Anonymous via source content that was edited to the style and standards of the LibreTexts platform.