Notes - Analysis III TT23, Fundamental theorems of calculus


Flashcards

Can you state the first fundamental theorem of calculus (differentiation undoes integration)?


Suppose that $f$ is integrable on $(a, b)$ and $F : [a, b] \to \mathbb R$ is defined by

\[F(x) := \int^x_a f\]

Then $F$ is continuous and if $f$ is continuous at $c \in (a, b)$ then $F$ is differentiable at $c$ and $F’(c) = f(c)$.

Can you state the second fundamental theorem of calculus (integration undoes differentiation)?


Suppose $F : [a, b] \to \mathbb R$ is continuous on $[a, b]$ and differentiable on $(a, b)$. Suppose furthermore that its derivative $F’$ is integrable on $(a, b)$. Then

\[\int^b_a F' = F(b) - F(a)\]

Can you give an example of a function an integrable $F$ that is differentiable everywhere but whose derivative $F’$ is not integrable everywhere?


\[F(x) = \begin{cases} x^2\sin\frac1{x^2} &\text{if } x\ne 0 \\\\ 0 &\text{if } x = 0 \end{cases}\]

When proving the latter part of the first fundamental theorem of calculus, i.e.

Suppose that $f$ is integrable on $(a, b)$ and $F : [a, b] \to \mathbb R$ is defined by

\[F(x) := \int^x _ a f\]

Then $F$ is continuous and if $f$ is continuous at $c \in (a, b)$ then $F$ is differentiable at $c$ and $F’(c) = f(c)$.

You know $f$ is continuous, so $\exists h$ such that $\forall x \in [c, c+h]$, $ \vert f(x) - f(c) \vert < \varepsilon$. Then what expression do you consider that the fact $F$ is differentiable at $c$ follows from?


\[|F(c + h) - F(c) - hf(c)| = \left|\int^{c+h}_c (f(x) - f(c)) \text d x\right|\]

Proofs

Prove the first fundamental theorem of calculus (differentiation undoes integration):

Suppose that $f$ is integrable on $(a, b)$ and $F : [a, b] \to \mathbb R$ is defined by

\[F(x) := \int^x _ a f\]

Then $F$ is continuous and if $f$ is continuous at $c \in (a, b)$ then $F$ is differentiable at $c$ and $F’(c) = f(c)$.


Todo (analysis iii, 22)

Prove the second fundamental theorem of calculus (integration undoes differentiation):

Suppose $F : [a, b] \to \mathbb R$ is continuous on $[a, b]$ and differentiable on $(a, b)$. Suppose furthermore that its derivative $F’$ is integrable on $(a, b)$. Then

\[\int^b _ a F' = F(b) - F(a)\]

Todo (analysis iii, 23)




Related posts