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

1

Strictly speaking we cannot satisfy (2) exists limx→cf′(x)/g′(x), even in the extended sense, unless (1) g'(x) is nonzero in a (deleted) neighborhood of x = c. That is required for f'(x)/g'(x) to be defined there (in the deleted neighborhood).

Such gaps in the definition of f'(x)/g'(x) only matter if they accumulate at x = c, since we can otherwise work around them by shrinking the neighborhood to avoid them.

We can entertain the possibility that those gaps all turn out to be removable discontinuities in f'(x)/g'(x), so that a continuous extension of f'(x)/g'(x) as x approaches c is uniquely determined. For that to happen we would need f'(x) to have roots of equal or greater multiplicity as g'(x) at those gaps.

But this amounts to "multiplying top and bottom by the same thing", in the sense that f'(x) and g'(x) would have a common factor containing all the roots of g'(x) sufficiently near x = c.

The proposed example f(x) = 2x + sin(2x) and g(x) = f(x)e-sin(x) works out in this way. The quotient f'(x)/g'(x) is undefined when g'(x) = 0, but:

g'(x) = [f'(x) - cos(x) f(x)] e-sin(x)

f'(x) = 2(1 + cos(2x)) = 4 cos2(x)

A common factor containing all the roots of g'(x) for sufficiently large x is then cos(x). If we "cancel" that factor, removing roots in the denominator, the resulting "simplified" f'(x)/g'(x) has a bounded numerator and a denominator that tends to -∞ as x grows (since f(x) tends to ∞).

Evidently we cannot blithely patch over removable singularities in f'(x)/g'(x) for the sake of l'Hopital's rule.