5.2: Definite Integrals

$\newenvironment {prompt}{}{} \newcommand {\DeclareMathOperator }[2]{\@OldDeclareMathOperator {##1}{##2}\immediate \write \myfile {\unexpanded {\DeclareMathOperator }{\unexpanded {##1}}{\unexpanded {##2}}}} \newcommand {\reserved@a }[2]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{} \newcommand {\AppendGraphicsExtensions }[0]{\@ifundefined {Gin@extensions}{\let \Gin@extensions \@empty }{}\@ifstar {\grfext@Append \grfext@Check }{\grfext@Append \grfext@@Add }} \newcommand {\PrependGraphicsExtensions }[0]{\@ifundefined {Gin@extensions}{\let \Gin@extensions \@empty }{}\@ifstar {\grfext@Prepend \grfext@Check }{\grfext@Prepend \grfext@@Add }} \newcommand {\RemoveGraphicsExtensions }[1]{\@ifundefined {Gin@extensions}{\def \Gin@extensions {}}{\edef \grfext@tmp {\zap@space ##1 \@empty }\@for \grfext@ext :=\grfext@tmp \do {\def \grfext@next {\let \grfext@tmp \Gin@extensions \@expandtwoargs \@removeelement \grfext@ext \Gin@extensions \Gin@extensions \ifx \grfext@tmp \Gin@extensions \let \grfext@next \relax \fi \grfext@next }\grfext@next }}\grfext@Print \RemoveGraphicsExtensions } \newcommand {\epstopdfsetup }[0]{\setkeys {ETE}} \newcommand {\epstopdfcall }[1]{\ifETE@InsideSetfile \expandafter \@firstoftwo \else \expandafter \@secondoftwo \fi {‘##1}{\Gin@base \Gin@ext }} \newcommand {\epstopdfDeclareGraphicsRule }[4]{\ifx \\##4\\\@PackageError {epstopdf-base}{Conversion command is missing}\@ehc \else \begingroup \@ifundefined {Gin@rule@##1}{}{\@PackageInfo {epstopdf-base}{Redefining graphics rule for ‘##1’}}\endgroup \@namedef {Gin@rule@##1}####1{{##2}{##3}{\epstopdfcall {##4}}}\fi } \newcommand {\GetTitleStringSetup }[0]{\setkeys {gettitlestring}} \newcommand {\GetTitleString }[0]{\ifGTS@expand \expandafter \GetTitleStringExpand \else \expandafter \GetTitleStringNonExpand \fi } \newcommand {\GetTitleStringExpand }[1]{\def \GetTitleStringResult {##1}\begingroup \GTS@DisablePredefinedCmds \GTS@DisableHook \edef \x {\endgroup \noexpand \def \noexpand \GetTitleStringResult {\GetTitleStringResult }}\x } \newcommand {\GetTitleStringNonExpand }[1]{\def \GetTitleStringResult {##1}\global \let \GTS@GlobalString \GetTitleStringResult \begingroup \GTS@RemoveLeft \GTS@RemoveRight \endgroup \let \GetTitleStringResult \GTS@GlobalString } \newcommand {\GTS@DisableHook }[0]{} \newcommand {\label@hook }[0]{} \newcommand {\@currentlabelname }[0]{} \newcommand {\reserved@a }[0]{} \newcommand {\@safe@activestrue }[0]{} \newcommand {\@safe@activesfalse }[0]{} \newcommand {\nameref }[0]{\@ifstar \T@nameref \T@nameref } \newcommand {\Sectionformat }[2]{##1} \newcommand {\vnameref }[1]{\unskip ~\nameref {##1}\@vpageref [\unskip ]{##1}} \newcommand {\ref }[0]{\@ifstar \@refstar \T@ref } \newcommand {\pageref }[0]{\@ifstar \@pagerefstar \T@pageref } \newcommand {\nameref }[0]{\@ifstar \@namerefstar \T@nameref } \newcommand {\reserved@a }[2]{} \newcommand {\reserved@a }[0]{\AtBeginDocument } \newcommand {\reserved@a }[1]{} \newcommand {\reserved@a }[2]{}$

Throughout this module, if something does not exist, write DNE in the answer box.

Recap Video

Take a look at the following video which recaps the ideas from the section.

Example Video

Below are two videos showing worked examples.

Problems

If $f(x)$ is a continuous function or a function with finitely many jump discontinuities on an interval $[a,b]$ , then the definite integral, denoted $\displaystyle \int _a^b f(x)dx$ represents the signed area under $y = f(x)$ on the interval $[a,b]$ , and is defined to be $\int _a^b f(x)dx = \lim _{n \to \infty } \sum _{j=1}^n f(x_j^*)\Delta x.$

Consider the limit $\lim _{n \to \infty } \sum _{j=1}^n (1-x_j^*)\Delta x.$ This represents a definite integral $\displaystyle \int _0^3 f(x)dx$ for some function $f(x)$ .

The function $f(x) = \answer {1-x}$ .
Evaluate the definite integral using geometry. $\int _0^3 f(x)\,dx = \answer {-3/2}.$
Remember that if a graph goes below the $x$ -axis, the contribution to the definite integral is negative.

Consider a function $f(x)$ whose graph is shown below.

Evaluate:

$\displaystyle \int _{-2}^0 f(x)dx = \answer {\pi }$ .
$\displaystyle \int _{-2}^2 f(x)dx = \answer {2\pi }$ .
$\displaystyle \int _2^3 f(x)dx = \answer {-1}$ .
$\displaystyle \int _3^0 f(x)dx = \answer {1-\pi }$ .
Use the property $\displaystyle \int _a^b f(x)dx = -\int _b^a f(x)dx$ .
$\displaystyle \int _0^2 (2f(x)-1)dx = \answer {2\pi -2}$ .
Use the property $\displaystyle \int _a^b (kf(x)\pm g(x))dx = k\int _a^b f(x)dx \pm \int _a^b g(x)dx$ .

If $f(x)$ is a continuous function or a function with finitely many jump discontinuities on $[a,b]$ , and $m$ and $M$ are the minimum and maximum values of $f(x)$ on $[a,b]$ , respectively, then $m(b-a) \leq \int _a^b f(x)dx \leq M(b-a).$

Consider $f(x) = e^{-x}$ on the interval $[0,2]$ .

The maximum and minimum values of $f(x)$ on $[0,2]$ are, respectively, $M = \answer {1}$ and $m = \answer {e^{-2}}$ .
Using the property described in the theorem, we can say $\answer {2e^{-2}} \leq \int _0^2 e^{-x}\,dx \leq \answer {2}.$

Suppose $\displaystyle \int _0^a f(x)dx = a+2$ . Then

$\displaystyle \int _0^3 f(x)dx = \answer {5}$ .
$\displaystyle \int _5^0 2f(x)\,dx = \answer {-14}$ .
$\displaystyle \int _1^4 f(x)\,dx = \answer {3}$ .

Consider the graph of $f(x)$ below.

Let $\displaystyle g(x) = \int _{-2}^x f(t)\,dt$ for $-2 < x < 4$ .

The value of $g(-2) =\answer {0}$ .
The value of $g(1) = \answer {9/2}$ .
The value of $g(3) = \answer {5/2}$ .
On which interval in $(-2,4)$ is $g(x)$ increasing? In interval notation: $(\answer {-2},\answer {1})$ .
On which interval in $(-2,4)$ is $g(x)$ decreasing? In interval notation: $(\answer {1},\answer {4})$ .
The point $(1,9/2)$ is a local
of $g(x)$ .

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$

Recap Video

Example Video

Problems

Controls

Symbols

Settings