6
$\begingroup$

I'm teaching first semester calculus and trying to find a way to explain why each hypothesis in l'Hostpial's rule is needed.

If $f$ and $g$ are real differentiable functions on an interval containing a point $c$ then there are three hypotheses one needs to check in order to apply l'Hospitals rule to compute $\lim_{x \to c} f(x)/g(x)$ :

  1. $g'(x) \neq 0$ on a neighborhood of $c$, (the wikipedia page misses this)
  2. $\lim_{x \to c} f'(x)/g'(x)$ exists (in the extended sense including $\pm \infty$),
  3. Either $\lim_{x \to c} g(x) = \pm \infty$ or $\lim_{x \to c} f(x) = \lim_{x \to c} g(x) = 0$.

What I am looking for is a pair of functions $f$ and $g$ so that 2 and 3 both hold and you can reasonably compute $\lim_{x \to c} f(x)/g(x)$ but get a different answer than computing the limit of the quotient of the derivatives. Bonus points if you can make $\lim_{x \to c} f(x) = \pm \infty$ as well in the case that $g(x) \to \pm \infty$.

I was shown an example like this a long time ago in my analysis sequence but it would be lost on the students I think:

Let $f(x) = 2x + \sin(2x)$ and let $g(x) = (2x+\sin(2x))e^{-\sin(x)}$. Then $f/g = e^{\sin x}$ on $(0,\infty)$ so $\lim_{x \to \infty} f(x)/g(x)$ does not exist. Both functions will go to $\infty$ as $x \to \infty$ and the limit of the quotients of the derivatives actually goes to zero. The issue is that $g'(x)$ has infinitely many zeros as $x \to \infty$ so you cannot use l'Hospital.

Any clue on how to make this more inviting to a freshman calculus student?

  • 3
    Why would that example "be lost" on the students?2010-11-10
  • 0
    In 3) don't you also need $\lim_{x \to c} f(x) = \pm \infty$.2010-11-10
  • 0
    @Mariano: They won't like the multiplying top and bottom by the same thing I don't think. I should have said that it is my students specifically that this would be lost on. @Moron, no. The wiki has that wrong too (see Rudin, for example)2010-11-10
  • 0
    This seems a very elaborate version of L'Hopital's Rule to present in a freshman calculus class.2010-11-10
  • 1
    @jfb: I think if you graph f, g, and f/g perhaps the example would be easier to stomach.2010-11-10
  • 0
    @hardmath: I present it with the added hypothesis on the limit of $f$ in the case where $g$ goes to $\infty$ but even the book (Stewart) adds the hypothesis about $g'(x) \neq 0$ in a neighborhood. That it is why I want to explain it.2010-11-10
  • 0
    @jfb: If f' and g' tend to limits at x = c, and if the limit of g' at x = c is nonzero, then it would follow that g' is nonzero in a neighborhood of x = c. So it's a reasonable hypothesis, but not logically necessary if you want to entertain cases where f'(x)/g'(x) has a limit but f'(x) and g'(x) don't.2010-11-10
  • 1
    @hardmath: Ok, I am confused a tiny bit what you are saying. What hypothesis do you want me to change or make easier? Assuming that the limit of $g'$ at $x = c$ is nonzero makes any example like $f(x)/x^2$ as $x \to 0$ "invalid". We do tons of examples like this, so there is no way you can change the hyp. that drastically.2010-11-10
  • 0
    There are examples such as you point to where l'Hopital's rule needs to be repeated, e.g. (1-cos(x))/(x^2). But you asked about motivating the hypotheses. So my suggestion is to do so by giving examples where l'Hopital's rule works "the first time" rather than by cases where both the conclusion and one or more of the hypotheses fail.2010-11-10

1 Answers 1