The Inverse Function Theorem

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We see the theoretical underpinning of finding the derivative of an inverse function at a point.

There is one catch to all the explanations given above where we computed derivatives of inverse functions. To write something like $\ddx (e^y)=e^y\cdot y'$ we need to know that the function $y$ has a derivative. The Inverse Function Theorem guarantees this.

Inverse Function Theorem If $f$ is a differentiable function that is one-to-one near $a$ and $f'(a) \neq 0$ , then

(a): $f^{-1}(x)$ is defined for $x$ near $b=f(a)$ ,
(b): $f^{-1}(x)$ is differentiable near $b=f(a)$ ,
(c): last, but not least: $\eval {\ddx f^{-1}(x)}_{x=b} = \frac {1}{f'(a)}\qquad \text {where}\qquad b = f(a).$

We will only explain the last result. We know $f(f^{-1}(x)) = x,$ and now we use implicit differentiation (and the chain rule) to write $\begin{align*} \ddx f(f^{-1}(x)) &= f'(f^{-1}(x)) (f^{-1})'(x)\\ &=1. \end{align*}$

Solving for $(f^{-1})'(x)$ we see $(f^{-1})'(x) = \frac {1}{f'(f^{-1}(x))}.$ This is what we have written above.

It is worth giving one more piece of evidence for the formula above, this time based on increments in function, $\Delta f$ , and increments in variable, $\Delta x$ . Consider this plot of a function $f$ and its inverse:

Since the graph of the inverse of a function is the reflection of the graph of the function over the line $y=x$ , we see that the increments are “switched” when reflected. Hence we see that $\dfrac {\Delta f^{-1}}{\Delta {x}} = \dfrac {\Delta x}{\Delta f}=\dfrac {1}{\dfrac {\Delta f}{\Delta x}}.$ Taking the limit as $\Delta x$ goes to $0$ , we can obtain the expression for the derivative of $f^{-1}$ .
$\dfrac {d f^{-1}}{d{x}} = \dfrac {1}{\dfrac {d f}{d x}}$

The inverse function theorem gives us a recipe for computing the derivatives of inverses of functions at points.

Let $f$ be a differentiable function that has an inverse. In the table below we give several values for both $f$ and $f'$ : $\begin {array}{|c|c|c|}\hline x & f & f' \\ \hline \hline 2 & 0 & 2 \\ \hline 3 &1 &5 \\ \hline 4 & 3 & 0 \\ \hline \end {array}$ Compute $\ddx f^{-1}(x)\;\text {at $x=1$.}$

From the table above we see that $1 = f(\answer [given]{3}).$ Hence, by the inverse function theorem $\left (f^{-1}\right )' (1)= \frac {1}{f'(\answer [given]{3})} = \answer [given]{\frac {1}{5}}.$

If one example is good, two are better:

Let $f$ be a differentiable function that has an inverse. In the table below we give several values for both $f$ and $f'$ : $\begin {array}{|c|c|c|}\hline x & f & f' \\ \hline \hline 2 & 0 & 2 \\ \hline 3 & 1 &5 \\ \hline 4 & 3 & 0 \\ \hline \end {array}$ Compute $\left (f^{-1}\right )'(0)$

Note, $\left (f^{-1}\right )'(0) = \ddx f^{-1}(x)\;\text {at $x=0$.}$ From the table above we see that $0 = f(\answer [given]{2}).$ Hence, by the inverse function theorem $\left (f^{-1}\right )'(0) = \frac {1}{f'(\answer [given]{2})} = \answer [given]{\frac {1}{2}}.$

Finally, let’s see an example where the theorem does not apply.

Let $f$ be a differentiable function that has an inverse. In the table below we give several values for both $f$ and $f'$ : $\begin {array}{|c|c|c|}\hline x & f & f' \\ \hline \hline 2 & 0 & 2 \\ \hline 3 & 1 & 4 \\ \hline 4 & 3 & 0 \\ \hline \end {array}$ Compute $\eval {\ddx f^{-1}(x)}_{x=3}$

From the table above we see that $3 = f(\answer [given]{4}).$ Ah! But here, $f'(\answer [given]{4}) = \answer [given]{0}$ , so we have no guarantee that the inverse exists near the point $x=3$ , but even if it did the inverse would not be differentiable there.

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$

Controls

Symbols

Settings