3
$\begingroup$

Arthur Mattuck in his Introduction to Analysis book, pg. 220 says, in order to prove L'Hospital's Rule for $\infty/\infty$ case,

Let $L=\lim_{x \to \infty} \frac{f'(x)}{g'(x)}$ and choose $a$ so that

$\frac{f'(x)}{g'(x)} \stackrel{\approx}{\epsilon} L$ for $x>a$.

And prove two approximations below (valid for $x\gg 1$)

$$ \frac{f(x)}{g(x)} \stackrel{\approx}{\epsilon} \frac{f(x)-f(a)}{g(x)-g(a)} \stackrel{\approx}{\epsilon} L $$

His hint is, for the first approximation, that we write

$$ f(x) - f(a) = f(x) [ 1 - f(a)/f(x)] $$

and use limit theorem, for the second, use the Cauchy Mean-value Theorem.

Anyone know how to pursue this proof? Thanks,

  • 3
    Could you please explain the notation $\stackrel{\approx}{\epsilon}$?2011-12-23
  • 0
    My guess is that it means $|f'(x)/g(x) - L| < \epsilon$. I agree that it isn't very standard and should be explained.2011-12-23
  • 0
    To the OP: Do you mean to write $f'(x)/g'(x)$?2011-12-23
  • 0
    Brad, if $a$ and $b$ are within $\epsilon$ of eachother, then Mattuck uses $a \stackrel{\approx}{\epsilon} b$.2011-12-23
  • 0
    Dylan, correction, yes the first ratio is between derivatives.2011-12-23

1 Answers 1

4

The first approximation should be clear since we can, for any $\epsilon$, choose $x_0$ sufficiently large such that $$1 - \epsilon < \frac{1 - f(a)/f(x)}{1-g(a)/g(x)} < 1 + \epsilon$$ whenever $x > x_0$.

For the second approximation: by the Cauchy MVT, there exists $c, a < c < x$ such that $(f(x) - f(a))g'(c) = (g(x)-g(a))f'(c)$, that is: $$\frac{f(x)-f(a)}{g(x)-g(a)} = \frac{f'(c)}{g'(c)}$$ which is $\epsilon$-close to $L$.