Tutorial Week 5
Next week is reading week, so there will be no tutorial (or any class at UTSC at least that’s how it’s supposed to go) next week.
Today’s tutorial will cover the concept of continuity, applications of the intermediate value theorem, and how we can apply the limit definition of a derivative.
Continuity
A function is continuous at \(x = a\) if \(\lim_{x \to a} f(x) = f(a)\).
First, we look at the types of discountinuities. Intuitively, a function is continuous if every point in the function is “connected” to every other point, and there are not gaps between any of the points in the function.
In this course, there are 3 types of discountinuities that interest us.
The first is the removable discountinuity, sometimes called a point discountinuity. In this case, \(\lim_{x\to a} f(x)\) exists, but \(\lim_{x\to a} f(x) \neq f(a)\).
The second is the jump discountinuity, where \(\lim_{x\to a^-} f(x) \neq \lim_{x \to a^+} f(x)\).
The third is the infinite discountinuity, where \(\lim_{x \to a^+} = \infty \text{ or } -\infty\) or \(\lim_{x \to a^-} = \infty \text{ or } -\infty\).
There’s also the essential discountinuity which is not covered in this course. It’s kind of like an infinite discountinuity, but instead of the limit being infinity, we have that \(\lim_{x \to a^+} f(x)\) DNE or \(\lim_{x \to a^-} f(x)\) DNE. One classic example of this is at x = 0 for \(sin(\frac{1}{x})\).
Q1: Let \(f(x) = \begin{cases} 3x + e^x & \text{if } x \leq 1 \\ x^4 + k & \text{if } x \gt 1\end{cases}\). For what value(s) of \(k\) makes the \(f(x)\) continuous?
We see that \(3x + e^x\) and \(x^4 + k\) is a composition of continuous functions, so they themselves are continuous across their domain.
We now look at the point x = 1; the transition point for our piecewise function.
For a function to be continuous, we need \(\lim_{x \to 1^-} f(x) = \lim_{x \to 1^+} f(x) = f(1)\)
We have
So for \(\lim_{x \to 1^-} f(x) = \lim_{x \to 1^+} f(x) = f(1)\), we need
\(3 + e = 1 + k \Rightarrow k = 2 + e\).
Intermediate Value Theorem
The intermediate value theorem (IVT) state that if a function f(x) is continuous on the interval [a, b], and \(\forall n\) between f(a) and f(b), \(\exists c \in [a, b]\) such that \(f(c) = n\).
Note that the “between” is strictly between, so if f(a) < f(b), that would be \(N \in (f(a), f(b))\). By this definition, if \(f(a) = f(b)\), there wouldn’t be any numbers between them, so the implication of IVT becomes vacuous.
Q2: Show that \(f(x) = e^{3x} + 4x^3 + 3\) has a root in \(x \in [-1, 2]\).
We know that \(e^3x, 4x^3, \text{ and } 3\) are continuous functions on \(x \in [-1, 2]\), and since f(x) is the composition of continuous functions, f(x) is continuous on \(x \in [-1, 2]\).
Since f(x) is continuous [-1, 2], we can apply the IVT.
\(f(-1) = e^{-3} - 4 + 3 = e^{-3} - 1 < 0\)
\(f(2) = e^6 + 4(2)^3 + 3 > 0\)
By the conclusion of the IVT, we know that \(\forall n\) between f(-1) and f(2), there exists \(c \in [-1, 2]\) such that \(f(c) = n\).
We’ve shown that \(f(-1) < 0 < f(2)\), so by IVT, we know that \(\exists c \in [-1, 2]\) such that \(f(c) = 0\), and thus the function has a root in \(x \in [-1, 2]\).
Limit definition of a derivative
Graphically, a derivative is the slope of a tangent line at some point on the function. The limit definition of a derivative is a way to formally define what a derivative is.
A derivative f’(x) is defined as \(f'(x) = \lim{h \to 0} \frac{f(x + h) - f(x)}{h}\), and we say a point is differentiable if this limit for f’(x) exists.
Q3: Use the limit definition of a derivative to compute \(f^{'}(x)\) if \(f(x) = x^2 - 5x\).
Q4: Use the limit definition of a derivative to compute \(f^{'}(x)\) if \(f(x) = sin(x)\).
Q5: Show that \(f(x) = x^{\tiny \dfrac{2}{3}}\) is not differentiable at \(x = 0\) using the limit definition of a derivative.
Using the limit definition of a derivative, we get that
Looking at the left and right side limits, we get
Since \(\lim_{h \to 0^-} \frac{f(0 + h) - f(0)}{h} \neq \lim_{h \to 0^+} \frac{f(0 + h) - f(0)}{h}\), we have that \(\lim_{h \to 0} \frac{f(0 + h) - f(0)}{h}\) does not exist, so f(x) is not differentiable at x = 0.