Skip to main content\(\require{physics}\require{upgreek}\everymath{\displaystyle}
\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\inv}{^{-1}}
\newcommand{\DS}{\displaystyle}
\newcommand{\eps}{\varepsilon}
\newcommand{\tsub}[1]{_{\mathrm{#1}}}
\newcommand{\ee}{\mathrm{e}}
\newcommand{\ii}{\mathrm{i}}
\newcommand{\limit}[1]{\lim\limits_{#1}}
\newcommand{\resid}[1]{\underset{#1}{\Res}}
\DeclareMathOperator{\sinc}{sinc}
\DeclareMathOperator{\sgn}{sgn}
\newcommand{\pii}{\pi}
\DeclareMathOperator{\Prob}{P}
\DeclareMathOperator{\EV}{E}
\DeclareMathOperator{\Var}{Var}
\newcommand{\bv}[1]{\boldsymbol{#1}}
\newcommand{\uv}[1]{\hat{\bv{#1}}}
\newcommand{\cl}[1]{\mathcal{#1}}
\newcommand{\bb}[1]{\mathbb{#1}}
\DeclareMathOperator{\Cis}{cis}
\DeclareMathOperator{\RE}{Re}
\DeclareMathOperator{\IM}{Im}
\newcommand{\xd}{\mathbf{d}}
\newcommand{\seq}[3]{{#1}_{#2},\cdots,{#1}_{#3}}
\newcommand{\psup}[1]{^{(#1)}}
\newcommand{\hypext}{{}^*}
\DeclareMathOperator{\st}{st}
\newcommand{\set}[1]{\left\{#1\right\}}
\DeclareMathOperator{\Sin}{Sin}
\DeclareMathOperator{\Cos}{Cos}
\DeclareMathOperator{\Tan}{Tan}
\DeclareMathOperator{\Sec}{Sec}
\DeclareMathOperator{\Csc}{Csc}
\DeclareMathOperator{\Cot}{Cot}
\DeclareMathOperator{\Log}{Log}
\DeclareMathOperator{\Arg}{Arg}
\DeclareMathOperator{\Ln}{Ln}
\DeclareMathOperator{\Grad}{grad}
\DeclareMathOperator{\Div}{div}
\DeclareMathOperator{\Curl}{curl}
\newcommand{\rd}{\textstyle\mathop{}\!\mathrm{d}^{\!\!\!-}\hspace{-0.0555 em}}
\newcommand{\rpd}{\textstyle\mathop{}\!\partial^{\hspace{-0.5 em}-}\hspace{-0.1666 em}}
\newcommand{\rdv}[2]{\frac{\rd{#1}}{\rd{#2}}}
\newcommand{\rpdv}[2]{\frac{\rpd{#1}}{\rpd{#2}}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Section 9.3 Improper integrals
Objectives
-
Interpret integrals over infinite intervals or near discontinuities by replacing them with limits.
-
Determine convergence of improper integrals using benchmark cases such as
\(p\)-integrals.
-
Study examples such as the gamma function that emerge from improper integrals.
-
\begin{align*}
\int_a^\infty f(x)\dd{x} \amp = \limit{b\to\infty}\int_{a}^{b} f(x)\dd{x} \\
\int_{-\infty}^{b} f(x)\dd{x} \amp = \limit{a\to-\infty}\int_{a}^{b} f(x)\dd{x} \\
\int_{-\infty}^{\infty} f(x)\dd{x} \amp = \int_{-\infty}^{a} f(x)\dd{x} + \int_{a}^{\infty} f(x)\dd{x}
\end{align*}
-
Discontinuous integrands:
If \(f\) is continuous on \([a,b)\) and discontinuous at \(b\text{,}\) then
\begin{equation*}
\int_{a}^{b} f(x)\dd{x}=\limit{t\to b^-}\int_{a}^{t} f(x)\dd{x}\text{.}
\end{equation*}
If \(f\) is continuous on \((a,b]\) and discontinuous at \(a\text{,}\) then
\begin{equation*}
\int_{a}^{b} f(x)\dd{x}=\limit{t\to a^+}\int_{t}^{b} f(x)\dd{x}\text{.}
\end{equation*}
If \(f\) has a discontinuity at \(c\text{,}\) where \(a \lt c \lt b\text{,}\) then
\begin{equation*}
\int_{a}^{b} f(x)\dd{x}=\int_{a}^{c} f(x)\dd{x}+\int_{c}^{b} f(x)\dd{x}
\end{equation*}
as long as the two indefinite integrals converge.
-
The
\(p\)-integral
\(\DS\int_{1}^{\infty}\dfrac{1}{x^{p}}\dd{x}\) converges if and only if
\(p>1\text{.}\)
-
The
\(p\)-integral
\(\DS\int_{0}^{1}\dfrac{1}{x^{p}}\dd{x}\) converges if and only if
\(p<1\text{.}\)
-
Gamma function:
\begin{equation*}
\Gamma(x)=\int_{0}^{\infty} t^{x-1}\ee^{-t}\dd{t}
\end{equation*}
For any integer \(n\) we have \(\Gamma(n)=(n-1)!\text{.}\)
-
Some notational conventions I’d like to introduce (assuming the limits exist):
\begin{align*}
f(\infty) \amp = \limit{x\to\infty} f(x) \\
f(-\infty) \amp = \limit{x\to-\infty} f(x) \\
f(a^{+}) \amp = \limit{x\to a^+} f(x) \\
f(a^{-}) \amp = \limit{x\to a^-} f(x)
\end{align*}
These could make writing out the improper integrals somewhat cleaner.