Skip to main content
\(\newcommand{\vf}[1]{\mathbf{\vec{#1}}} \renewcommand{\Hat}[1]{\mathbf{\hat{#1}}} \renewcommand{\bar}{\overline} \newcommand{\Partial}[2]{{\partial#1\over\partial#2}} \newcommand{\PARTIAL}[2]{{\partial^2#1\over\partial#2^2}} \newcommand{\tr}{{\rm tr\,}} \renewcommand{\AA}{\vf A} \newcommand{\BB}{\vf B} \newcommand{\EE}{\vf E} \newcommand{\FF}{\vf F} \newcommand{\GG}{\vf G} \newcommand{\HH}{\vf H} \newcommand{\II}{\vf I} \newcommand{\KK}{\vf K} \renewcommand{\aa}{\vf a} \newcommand{\bb}{\vf b} \newcommand{\ee}{\vf e} \newcommand{\gv}{\vf g} \newcommand{\rr}{\vf r} \newcommand{\uu}{\vf u} \newcommand{\vv}{\vf v} \newcommand{\ww}{\vf w} \newcommand{\grad}{\vf{\boldsymbol\nabla}} \newcommand{\zero}{\vf 0} \newcommand{\ii}{\Hat{\boldsymbol\imath}} \newcommand{\jj}{\Hat{\boldsymbol\jmath}} \newcommand{\kk}{\Hat k} \newcommand{\nn}{\Hat n} \newcommand{\TT}{\Hat T} \newcommand{\rhat}{\Hat r} \newcommand{\xhat}{\Hat x} \newcommand{\yhat}{\Hat y} \newcommand{\zhat}{\Hat z} \newcommand{\that}{\Hat{\boldsymbol\theta}} \newcommand{\phat}{\Hat{\boldsymbol\phi}} \newcommand{\LL}{\mathcal{L}} \newcommand{\DD}[1]{D_{\hbox{\small$#1$}}} \newcommand{\bra}[1]{\langle#1|} \newcommand{\ket}[1]{|#1/rangle} \newcommand{\braket}[2]{\langle#1|#2\rangle} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section 11.3 Exercise: Delta Functions 1

Prove that the derivative of the step function is the delta function, i.e.~show that \begin{equation} \frac{d}{dx}\,\Theta(x-a) \end{equation} satisfies the property of the delta function in equation~(\ref{fdelta}) in Section~\ref{deltaintro}.

We need to show that

\begin{equation} \int_{b}^{c} f(x)\,\delta(x-a) \,dx = f(a)\tag{11.3.1} \end{equation}

for \(b\lt a\lt c\text{,}\) where

\begin{equation} \delta(x-a)=\frac{d}{dx}\,\Theta(x-a)\tag{11.3.2} \end{equation}

The main strategy is to use integration by parts, paying strict attention to the limits of integration.

\begin{align} \int_{b}^{c} f(x)\,\delta(x-a) \,dx \amp= \int_{b}^{c} f(x)\,\frac{d}{dx}\, \Theta(x-a) \,dx\notag\\ \amp= \left. f(x)\, \Theta(x-a)\right|_b^c - \int_{b}^{c} \frac{d}{dx}(f(x))\,\Theta(x-a) \,dx\notag\\ \amp= \left\{ f( c )-0\right\} - \int_{a}^{c} \frac{d}{dx}(f(x))\,dx\notag\\ \amp= f( c )-\left\{\left. f(x)\right|_a^c\right\}\notag\\ \amp= f( c )-\left\{f( c )-f(a)\right\}\notag\\ \amp= f(a)\tag{11.3.3} \end{align}