4
$\begingroup$

I read somewhere that, "a function with a vertical tangent may be continuous but not differentiable."

Is this correct and, if so, what is an example of it?

I can't think how a function with an asymptote can be continuous.

  • 11
    $x^{1/3}$ has a vertical tangent at zero2012-01-07
  • 7
    Note "vertical tangent" and "asymptote" are different concepts.2012-01-07
  • 0
    A closely related question: http://math.stackexchange.com/questions/35956/given-lim-limits-x-to-af-primex-infty-what-can-be-concluded-about-f2012-01-07
  • 0
    I now understand this @DavidMitra :) That's awesome! I feel like I just discovered a new creature! A function with a vertical tangent that is continuous and not differentiable!2012-01-07
  • 0
    Look at robojohn's picture. The graph has a vertical tangent at $x=0$. To me, a vertical asymptote at $x=a$ means that the function "blows up" at $a$; that is, the values of the function approach infinity (or negative infinity) as you approach $a$.2012-01-07
  • 0
    @DavidMitra, I guess you posted that after I changed my comment :)2012-01-07

3 Answers 3

14

Adding a graphic to yoyo's comment:

cube root plot

$\sqrt[3]{x}$ is continuous, but its derivative, $\dfrac{1}{3\sqrt[3]{x^2}}$, tends to $\infty$ near $0$.

  • 2
    But note that having a vertical tangent is not the same as the derivative tending to $\infty$. Having a vertical tangent at $x_0$ means having for every $M>0$ a neighbourhood $U$ where $|\frac{f(x)-f(x_0)}{x-x_0}|>M$ for all $x\neq x_0$ in $U$ (anti-Lipschitz). Indeed $f$ need not be differentiable anywhere. The [Weierstrass function](http://en.wikipedia.org/wiki/Weierstrass_function) appears to have vertical tangents, and if this is so, these are it's *only* tangents.2012-01-07
  • 1
    Just curious: why $x^{1/3}$ instead of the simpler-looking $\sqrt{x}$? :-)2012-01-07
  • 2
    @Srivatsan: $\sqrt[3]{x}$ is continuous on both sides of the vertical tangent and, to me, gives a better image of what is going on. Certainly, we could use $\sqrt{|x|}$, whose image with a cusp looks worse, or $\operatorname{sgn}(x)\sqrt{|x|}$, which is not "simpler-looking". In any case, is $x^{1/2}$ really that much simpler-looking than $x^{1/3}$? (Also, I was working from yoyo's comment.)2012-01-08
  • 0
    @robjohn I hope you didn't miss the smiley at the end of my comment. =) I like your nicely phrased comment though. [I meant "simpler-looking" as an expression, not the graph. Yes, the graphs look pretty much the same to me.]2012-01-08
  • 0
    x^1/3 is still differentiable, just not continuosly differentiable, i.e., the difference quotient limit (at 0) is well defined, as its limit exist on both sides, it just happens to be inifinity. Compare w/ |x| which is instead not differentiable, bc limits on both side differ.2016-01-11
  • 0
    @ThreeDiag: that depends on who you ask. Some people consider an infinite limit not to exist in this sense since infinity is not a real number.2016-01-11
2

The idea is just that even though the slope is vertical, you can still approach your point when getting close enough ; the fact that the slope is vertical doesn't mean your function goes to infinity. Among well-known examples, $f(x) = \alpha x^{1/n}$ with $n \ge 1$.

Hope that helps,

  • 0
    You mean $n$ odd and greater than $1$? (and $\alpha\neq 0$)2012-01-07
  • 0
    @JonasMeyer, or any $n>1$, with the domain of $f$ declared to be $[0,\infty)$.2012-01-07
  • 0
    @Henning: Sure, or the odd extension of such a function to $\mathbb R$ (or even extension if cusps are allowed).2012-01-07
  • 0
    @Jonas: or what I did to make the plot in my answer since Mathematica balks at `x^(1/3)` for $x<0$: $\operatorname{sgn}(x)|x|^{1/n}$. This works for all $n>1$.2012-01-07
  • 0
    @robjohn: Yes, that is exactly the odd extension of $x^{1/n}$ from $[0,\infty)$ to $\mathbb R$, but it doesn't given an example when $n\leq 1$.2012-01-07
  • 0
    @Jonas: okay, I wasn't sure, but it makes sense now. The $n>0$ was a typo.2012-01-07
  • 0
    Man, downvoters these days you don't have it.2012-01-09
2

As described above, $f(x) = x^{1/3}$ is continuous at $0$ and has a vertical tangent at $0$.

To understand this example more fully, it may be helpful to recall the epsilon-delta definition of "continuous at $0$".

Loosely paraphrased, "$f$ is continuous at $0$" means that for every $\epsilon>0$, we can find $\delta>0$ such that inputs within $\delta$ of $0$ will "force" the outputs to be within $\epsilon$ of $0$.

In the example of $f(x)=x^{1/3}$ at $x=0$, it is true that for every $\epsilon$ there exists a $\delta$. For example, if $\epsilon = 0.01$, we can choose $\delta = 0.000001$. Similar statements can be made for any $\epsilon>0$.

All that matters is that we can find a $\delta$ for every $\epsilon$. But $\delta$ is allowed to be much smaller than $\epsilon$. It might happen that $\delta$ is not a linear function of $\epsilon$, but instead approaches $0$ much "faster" than $\epsilon$ does.