1

I am trying to prove that the function $f_a(x) = e^{-\frac{1}{(x-a)}}$ is differentiable for all $x>a$. However, I do not know how to show $|\frac{e^{-\frac{1}{(x-a)}}-e^{-\frac{1}{(p-a)}}}{x-p} - (-\frac{e^{-\frac{1}{(p-a)}}}{(p-a)^2})| < \epsilon$ if $0<|x-p|<\delta$.

My next idea was to apply the natural logarithmic function to $e^{-\frac{1}{(x-a)}}$ to get $\hat{f_a}(x)=-\frac{1}{(x-a)}$. From here, I can prove that $\hat{f_a}(x)$ is differentiable for any $x>a$, but I do not know if this implies that $f_a(x)$ is differentiable for any $x>a$.

I know that $f_a(x):(-\infty,\infty) \rightarrow (0,\infty)$ and $\hat{f_a}(x):(-\infty,\infty) \rightarrow (-\infty,\infty)$.

Can you please help me understand how I can prove $f_a(x)$ is differentiable for all $x>a$? Thank you for your time and help.

S. Rae
  • 19
  • 2
    Why don't you just differentiate it? –  Apr 12 '17 at 17:05
  • 6
    To your title: if $g(f(x))$ is differentiable, $f(x)$ is not necessarily differentiable. Consider $f(x)=g(x)=\begin{cases}1&x\in\Bbb Q\0&x\notin\Bbb Q\end{cases}$. – DHMO Apr 12 '17 at 17:07
  • 4
    DHMO : even simpler : take $g$ to be a constant function and $f$ any function at all. If this were true, then any function would be differentiable – Maxime Ramzi Apr 12 '17 at 17:17
  • 2
    Another easy examples, consider $f(x)$ any non-differentiable function and $g(x)=0$ constant. Then $g(f(x))$ is always differentiable as it is constant $0$, but $f$ is not. – Reb Apr 12 '17 at 17:17
  • You can go other direction and use chain rule? If $f(x)$ is differentiable at point $a$, and $g(x)$ is diffrentiable at $f(a)$, then $g(f(x))$ is differentiable at $a$. – walak Apr 12 '17 at 17:28
  • $f(x)=|x|$, $g(x)=x^2$. – Michael Hoppe Apr 12 '17 at 18:01
  • If the range of $f$ doesnt include domain of $g$ for which say the $g'$ is undefined, but $f$ does include say entire domain, then here the composite is differentiable, yet not the component functions necessarily. – marshal craft Apr 12 '17 at 18:07

2 Answers2

1

You were almost there! Note that $f_{a}: x \overset{g}{\mapsto} \frac{-1}{x-a} =: y \overset{h}{\mapsto} e^{y}$. You also know that both $g$ and $h$ are differentiable. So by the chain rule $f_{a} = h \circ g$ is also differentiable (its proof is contained as a special case in the proof of chain rule).

The comments above already gave some great examples for your reference. Let me supplement something that may help you conceptually. A theorem of the form "if $P$ then $Q$" is not applicable when $P$ does not hold.

Yes
  • 20,719
0

There are plenty of proofs for the chain rule, that is if $f(x)$ and $g(x)$ are differentiable, then so is $g(f(x))$. You can take it upon yourself to verify this, as it is typically standard for students to prove these statements they use every day in calculus. As such you can find proofs of such, I believe I have answered one before. Then $\frac{d}{dx} e^x= e^x$ and $\frac{d}{dx} \frac{-1}{a-x}=\frac{-1}{(a-x)^2}$ consider now this is defined for all $x \neq a $ because the denominator is zero.

To discuss how to prove this, you can seek to prove it directly or you can prove greater generality about all functions and composition of functions, then plug this application into that.

marshal craft
  • 700
  • Here is a related question http://math.stackexchange.com/questions/142084/prove-that-the-composition-of-differentiable-functions-is-differentiable – marshal craft Apr 12 '17 at 18:00