I am looking for a function $\,f : \mathbb{R} \rightarrow \mathbb{R}$ that is differentiable except at one point $x$ at which it approaches infinity. Furthermore the derivative of $\,f\,$ should be bounded in a neighborhood around $x$ and not approach infinity as one approaches $x$. Is there such a function, or is this requirement contradictory?
Is there a differentiable function that approaches infinity but has a bounded derivative?
-
0It's possible if $x \in \{\pm\infty\}$, but not if $x\in\mathbb{R}$. – 2011-08-23
4 Answers
I'm not going to give a completely rigorous proof, but I'm appealing to the idea of the derivative of $f$ at $x_0$ as the slope of the line tangent to the graph of $f$ at the point $(x_0,f(x_0))$.
Up to translating right-left and up-down, we may assume that $f(0)=0$. Let $c$ such that $|f^\prime(x)|
No, it is not possible. WLOG, assume that the point at which the function is 'infinite' is at 1. Then within a neighborhood of 1, the function takes on arbitrarily large values. Now, suppose that at 0, the value of the function is $c$. And suppose that the bound on the derivative within 2 of 1 is $K$.
Then the largest possible value for the function at 1 is $c + (1-0)K$ - but this is contradictory, as it's supposed to be infinite.
So it is not possible for such a function to exist.
-
2@mixedmath: Yes, spelled out like that it makes sense -- you don't really need a sequence of points going to $x$ then; you can just pick one at $x-\epsilon$ where the function value is too large to satisfy the mean value theorem, which must exist since the function values are unbounded. – 2011-08-23
Suppose the point where the function is not differentiable is $0$. If $\lim_{x \rightarrow 0}f(x)=\infty$, we can find an increasing sequence $x_m, x_{m+1}, \ldots $ so $ \lim_{n\rightarrow \infty}x_n = 0$ and $f(x_n)=n$. Now the mean value theorem says for all $n>m$ there is a $c_n$ so \begin{equation} \frac{1}{x_{n+1}-x_n}=f'(c_n). \end{equation} This contradicts the fact that the derivative is bounded since $\lim_{n \rightarrow 0}(x_{n+1}-x_n) =0.$
It is not possible. Fix a real number $y