guide:Ebe68e8408

[math] \newcommand{\ex}[1]{\item } \newcommand{\sx}{\item} \newcommand{\x}{\sx} \newcommand{\sxlab}[1]{} \newcommand{\xlab}{\sxlab} \newcommand{\prov}[1] {\quad #1} \newcommand{\provx}[1] {\quad \mbox{#1}} \newcommand{\intext}[1]{\quad \mbox{#1} \quad} \newcommand{\R}{\mathrm{\bf R}} \newcommand{\Q}{\mathrm{\bf Q}} \newcommand{\Z}{\mathrm{\bf Z}} \newcommand{\C}{\mathrm{\bf C}} \newcommand{\dt}{\textbf} \newcommand{\goesto}{\rightarrow} \newcommand{\ddxof}[1]{\frac{d #1}{d x}} \newcommand{\ddx}{\frac{d}{dx}} \newcommand{\ddt}{\frac{d}{dt}} \newcommand{\dydx}{\ddxof y} \newcommand{\nxder}[3]{\frac{d^{#1}{#2}}{d{#3}^{#1}}} \newcommand{\deriv}[2]{\frac{d^{#1}{#2}}{dx^{#1}}} \newcommand{\dist}{\mathrm{distance}} \newcommand{\arccot}{\mathrm{arccot\:}} \newcommand{\arccsc}{\mathrm{arccsc\:}} \newcommand{\arcsec}{\mathrm{arcsec\:}} \newcommand{\arctanh}{\mathrm{arctanh\:}} \newcommand{\arcsinh}{\mathrm{arcsinh\:}} \newcommand{\arccosh}{\mathrm{arccosh\:}} \newcommand{\sech}{\mathrm{sech\:}} \newcommand{\csch}{\mathrm{csch\:}} \newcommand{\conj}[1]{\overline{#1}} \newcommand{\mathds}{\mathbb} [/math]

L'H\ôpital's Rule.

This section contains a number of theorems which provide an important technique for finding the limit of the quotient of two functions. These theorems are usually referred to collectively as L'H\ôpital's Rule. Two examples of problems which are readily solved by this technique are the computations of the limits:

[[math]] \lim_{x \rightarrow 2}\frac{\sqrt x - \sqrt 2}{\sqrt[3]{x} - \sqrt[3]{2}} \;\;\;\mbox{and}\;\;\; \lim_{x \rightarrow \infty}\frac{\sqrt[3]{x + 1}}{x + 4}. [[/math]]

Properly speaking, this section is a continuation of Section 5, since all the results are corollaries of Rolle's Theorem and of the Mean Value Theorem. The following proposition, known as the Generalized Mean Value Theorem, is the basic lemma used in proving the theorems which make up L'H\ôpital's Rule. (A lemma is a theorem included as a reference in proving other theorems.)

Theorem

\textbf{GENERALIZED MEAN VALUE THEOREM.} Assume that [math]a \lt b[/math], and let [math]f[/math] and [math]g[/math] be functions which are continuous on the closed interval [math][a, b][/math] and differentiable on the open interval [math](a, b)[/math]. If [math]g'(x) \neq 0[/math] for every[math] x[/math] in [math](a, b)[/math], then there exists a real number [math]c[/math] in [math](a, b)[/math] such that

[[math]] \frac{f(b) - f(a)}{g(b) - g(a)} = \frac{f'(c)}{g'(c)}. [[/math]]

Note that [math]g(b)-g(a) \neq 0[/math]. For otherwise the Mean Value Theorem would imply that [math]g'(x) = 0[/math] for some [math]x[/math] in [math](a, b)[/math], which is contrary to hypothesis.

Show Proof

Let [math]h[/math] be the function defined by

[[math]] h(x) = f(x) - f(a) -\frac{f(b) - f(a)}{g(b) - g(a)} (g(x) - g(a)), [[/math]]

for every [math]x[/math] in [math][a, b][/math]. The function [math]h[/math] is continuous on [math][a, b][/math], differentiable on [math](a, b)[/math], and, in addition, [math]h(a) = h(b) = 0[/math]. Hence, by Rolle's Theorem, there exists a real number [math]c[/math] in [math](a, b)[/math] such that [math]h'(c) = 0[/math]. Since

[[math]] h'(x) = f'(x) - {\frac{f(b) - f(a)}{g(b) - g(a)}} g'(x), [[/math]]

we obtain

[[math]] 0 = f'(c) - {\frac{f(b) - f(a)}{g(b) - g(a)}} g'(c), [[/math]]

and from this equation the conclusion of the theorem follows at once.

■

We first present L'H\ôpital's Rule as a theorem about one-sided limits.

Theorem

L'H\^{O}PITAL'S RULE I. Let [math]f[/math] and [math]g[/math] be functions which are differentiable on a nonempty open interval [math](a, b)[/math] with [math]g'(x) \neq 0[/math] for every [math]x[/math] in [math](a, b)[/math]. If, in addition,

\item[i] [math]\lim_{x \rightarrow a+} f(x) = \lim_{x \rightarrow a+} g(x)= 0[/math],] \item[(ii) [math]\lim_{x \rightarrow a+} \frac{f'(x)}{g'(x)} = L[/math],

then

[[math]] \lim_{x \rightarrow a+}\frac{f(x)}{g(x)} = L. [[/math]]

Show Proof

We may assume that [math]f(a) = g(a) = 0[/math]. (If this is not the case to begin with, we simply define, or redefine, the values of [math]f[/math] and [math]g[/math] to be zero at [math]a[/math].) Thus we ensure that [math]f[/math] and [math]g[/math] are continuous on [math][a, b)[/math]. Let [math]x[/math] be an arbitrary number in [math](a, b)[/math]. Then [math]f[/math] and [math]g[/math] are continuous on [math][a, x][/math] (recall that differentiability at a point implies continuity) and are differentiable on [math](a, x)[/math]. Moreover, the derivative [math]g'[/math] does not take on the value zero in [math](a, x)[/math]. Hence, by the Generalized Mean Value Theorem and the fact that [math]f(a) = g(a) = 0[/math], we obtain

[[math]] \frac{f'(y)}{g'(y)} = \frac{f(x) - 0}{g(x) - 0} = \frac{f(x)}{g(x)}, [[/math]]

for some number [math]y[/math] in [math](a, x)[/math]. As [math]x[/math] approaches a from the right, so also does [math]y[/math], and hence [math]\lim_{x \rightarrow a+} \frac{f(x)}{g(x)} = \lim_{y \rightarrow a+}\frac{f'(y)}{g'(x)} = L[/math]. This completes the proof.

■

Example

Compute [math]\lim_{x \rightarrow 2+}\frac{\sqrt x - \sqrt 2}{\sqrt{x-2}}.[/math] Let [math]f (x) = \sqrt x - \sqrt 2[/math] and [math]g(x) = \sqrt {x - 2}[/math]. Obviously, [math]\lim_{x \rightarrow 2+} f(x) = \lim_{x \rightarrow 2+} g(x) = 0[/math], and, since

[[math]] f'(x)= \frac{1}{2\sqrt x} \;\;\; \mbox{and}\;\;\; g'(x)= \frac{1}{2\sqrt{x - 2}}, [[/math]]

[math]f[/math] and [math]g[/math] are differentiable, and [math]g'[/math] does not take on the value zero on any open interval with left endpoint equal to 2. We obtain

[[math]] \begin{eqnarray*} \lim_{x \rightarrow 2+}\frac{f'(x)}{g'(x)} &=& \lim_{x \rightarrow 2+} \frac { \frac{1}{2 \sqrt x}} {\frac{1}{2 \sqrt{x - 2}} }\\ &=& \lim_{x \rightarrow 2+} \frac{\sqrt{x - 2}}{\sqrt x} = \frac{0}{\sqrt 2} = 0. \end{eqnarray*} [[/math]]

And it follows by L'H\ôpital's Rule that [math]\lim_{x \rightarrow 2+} \frac{\sqrt x - \sqrt 2}{\sqrt{x-2}} = 0[/math]. It is a simple matter to verify that Theorem (7.2) remains true if [math](a, b)[/math] is replaced throughout by [math](b, a)[/math], and [math]\lim_{x \rightarrow a+}[/math] is replaced throughout by [math]\lim_{x \rightarrow a-}[/math]. This fact, significant in itself, also implies the following two-sided form of L'H\ôpital's Rule.

Theorem

L'H\^{O}PITAL'S RULE II. Consider an open interval containing the number [math]a[/math], and let [math]f[/math] and [math]g[/math] be functions differentiable and with [math]g'(x) \neq 0[/math] at every point of the interval except possibly at [math]a[/math]. If

\item[i] [math]\lim_{x \rightarrow a} f(x) = \lim_{x \rightarrow a} g(x) = 0[/math], \item[ii] [math]\lim_{x \rightarrow a} \frac{f'(x)}{g'(x)} = L[/math],

then

[[math]] \lim_{x \rightarrow a}\frac{ f(x)}{g(x)} = L. [[/math]]

The hypotheses of (7.3) have been taken as weak as possible. If, as frequently happens, the functions [math]f[/math] and [math]g[/math] are also continuous at [math]a[/math], then (i) can be replaced by the simpler condition [math]f(a) = g(a) = 0[/math].

Example

Evaluate [math]\lim_{x \rightarrow a}\frac{x^{1/2} - a^{1/2}}{x^{1/3} - a^{1/3}}[/math], where [math]a \gt 0[/math]. If [math]f(x) = x^{1/2} - a^{1/2}[/math] and if [math]g(x) = x^{1/3} - a^{1/3}[/math], then the derivatives are given by [math]f' (x) = \frac{1}{2x^{1/2}}[/math] and [math]g'(x) = \frac{1}{3x^{2/3}}[/math], and it is clear that [math]f[/math] and [math]g[/math] are differentiable (and hence continuous) and [math]g'[/math] is not zero on an open interval containing [math]a[/math]. Moreover, [math]f(a) = g(a) = 0[/math]. Hence, by L'H\ôpital's Rule,

[[math]] \lim_{x \rightarrow a}\frac{x^{1/2} - a^{1/2}}{x^{1/3} -a^{1/3}} = \lim_{x \rightarrow a} \frac {\frac{1}{2x^{1/2}}}{\frac{1}{3x^{2/3}}} = \frac{3a^{2/3}}{2a^{1/2}} = \frac{3}{2} a^{1/6}. [[/math]]

\medskip Example

Compute [math]\lim_{x \rightarrow a}\frac{x - a}{x^2 - a^2}[/math] where [math]a \neq 0 [/math]. Doing this problem by L'H\ôpital's Rule is somewhat akin to smashing a peanut with a sledgehammer. The fact that

[[math]] \frac{x - a}{x^2 - a^2} = \frac{x - a}{(x - a)(x + a)} = \frac{1}{x + a} \;\;\; \mbox{if} \;\;\; x \neq a, [[/math]]

immediately implies that

[[math]] \lim_{x \rightarrow a}\frac{x - a}{x^2 - a^2} = \lim_{x \rightarrow a} \frac{1}{x + a} = \frac{1}{2a}. [[/math]]

Of course, the same answer is obtained by L'H\ôpital's Rule. If we let [math]f(x) = x - a[/math] and [math]g(x) = x^2 - a^2[/math], then [math]f(a) = g(a) = 0[/math] and [math]f'(x) = 1[/math] and [math]g'(x) = 2x[/math]. Hence

[[math]] \lim_{x \rightarrow a} \frac{x - a}{x^2 - a^2} = \lim_{x \rightarrow a}\frac{1}{2x} = \frac{1}{2a}. [[/math]]

It is important to realize that L'H\ôpital's Rule II can be applied only if the function [math]\frac{f(x)}{g(x)}[/math] is unclefined at [math]x = a[/math] and if [math]\lim_{x \rightarrow a}f(x) = \lim_{x \rightarrow a} g(x) = 0.[/math] For example, if [math]f(x) = x^2 + 3x - 10[/math] and [math]g(x) = 3x[/math], then

[[math]] \lim_{x \rightarrow 2} \frac{f(x)}{g(x)} = \lim_{x \rightarrow 2}\frac{x^2 + 3x -10}{3x} = \frac{0}{6} = 0, [[/math]]

but

[[math]] \lim_{x \rightarrow 2}\frac{f'(x)}{g'(x)} = \lim_{x \rightarrow 2} \frac{2x + 3}{3} = \frac{7}{3}. [[/math]]

If the hypotheses of Theorem (7.3) are satisfied for the functions [math]f'[/math] and [math]g'[/math], that is, for the derivatives of [math]f[/math] and [math]g[/math], respectively, then we can conclude that

[[math]] \lim_{x \rightarrow a}\frac{f'(x)}{g'(x)} = \lim_{x \rightarrow a} \frac{f''(x)}{g''(x)}. [[/math]]

This fact suggests the possibility of applying L'H\ôpital's Rule more than once, and in some problems it is necessary to take second or higher derivatives to find the limit. Example

Evaluate [math]\lim_{x \rightarrow 1}\frac{ 3x^{1/3} - x - 2}{3x^2 - 6x + 3}[/math]. Let [math]f(x) = 3x^{1/3} - x - 2[/math] and [math]g(x) = 3x^2 - 6x + 3[/math]. Then [math]f(1) = g(1) = 0[/math], and the derivatives are given by [math]f'(x) = x^{-2/3} - 1[/math] and [math]g'(x) = 6x - 6[/math]. However, the value of

[[math]] \lim_{x \rightarrow 1} \frac{f'(x)}{g'(x)} = \lim_{x \rightarrow 1}\frac{x^{-2/3} - 1}{6x - 6} [[/math]]

is not obvious because [math]f'(1) = g'(1) = 0[/math]. Taking derivatives again, we get [math]f''(x) = - \frac{2}{3}x^{-5/3}[/math] and [math]g''(x) = 6[/math], and it follows that

[[math]] \lim_{x \rightarrow 1}\frac{f''(x)}{g''(x)} = \lim_{x \rightarrow 1}\frac{-\frac{2}{3} x^{-5/3}}{6} = -\frac{1}{9}. [[/math]]

Thus two applications of L'H\ôpital's Rule yield

[[math]] \lim_{x \rightarrow 1}\frac{f(x)}{g(x)} = \lim_{x \rightarrow 1}\frac{f'(x)}{g'(x)} = \lim_{x \rightarrow 1}\frac{f''(x)}{g''(x)} = -\frac{1}{9}. [[/math]]

\medskip A variation of (7.2), not difficult to prove, is the following:

Theorem

L'H\^{O}PITAL'S RULE III. Let [math]f[/math] and [math]g[/math] be differentiable on an open interval [math](a, \infty)[/math] with [math]g'(x) \neq 0[/math] for [math]x \gt a[/math]. If

\item[i] [math]\lim_{x \rightarrow \infty} f(x) = \lim_{x \rightarrow \infty} g(x) = 0[/math], \item[ii] [math]\lim_{x \rightarrow \infty}\frac{ f'(x)}{g'(x)} = L[/math],

then

[[math]] \lim_{x \rightarrow \infty} \frac{f(x)}{g(x)} = L. [[/math]]

An analogous theorem holds if [math](a, \infty)[/math] is replaced by [math](-\infty, a)[/math] and if [math]\lim_{x \rightarrow \infty}[/math] is replaced throughout by [math]\lim_{x \rightarrow -\infty}[/math].

Show Proof

The result is a corollary of (7.2) and the Chain Rule. Let [math]t = \frac{1}{x}[/math], and set [math]F(t) = f \Bigl( \frac{1}{t} \Bigr) = f(x)[/math] and [math]G(t) = g \Bigl( \frac{1}{t} \Bigr) = g(x)[/math]. Since [math]t[/math] approaches 0 from the right if and only if [math]x[/math] increases without bound,

[[math]] \begin{eqnarray*} \lim_{t \rightarrow 0+} F(t) &=& \lim_{t \rightarrow 0+} f \Bigl( \frac{1}{t} \Bigr) = \lim_{x \rightarrow \infty} f(x) = 0, \\ \lim_{t \rightarrow 0+} G(t) &=& \lim_{t \rightarrow 0+} g \Bigl( \frac{1}{t} \Bigr) = \lim_{x \rightarrow \infty} g(x) = 0. \end{eqnarray*} [[/math]]

By the Chain Rule, [math]F'(t) = f' \Bigl( \frac{1}{t} \Bigr) \Bigl(-\frac{1}{t^2} \Bigr)[/math] and [math]G'(t) = g' \Bigl( \frac{1}{t} \Bigr) \Bigl( -\frac{1}{t^2} \Bigr)[/math]. Hence

[[math]] \lim_{t \rightarrow 0+} \frac{ F'(t)}{G'(t)} = \lim_{t \rightarrow 0+} \frac{f'\Bigl( \frac{1}{t} \Bigr) \Bigl( -\frac{1}{t^2} \Bigr)}{g' \Bigl( \frac{1}{t} \Bigr) \Bigl( -\frac{1}{t^2} \Bigr)} = \lim_{t \rightarrow 0+}\frac{f' \Bigl( \frac{1}{t} \Bigr)}{g' \Bigl( \frac{1}{t} \Bigr)}. [[/math]]

The last limit exists and is equal to [math]L[/math] since

[[math]] \lim_{t \rightarrow 0+}\frac{f' \Bigl( \frac{1}{t} \Bigr)}{g' \Bigl(\frac{1}{t} \Bigr)} = \lim_{x \rightarrow \infty} \frac{f'(x)}{g'(x)} = L. [[/math]]

By L'H\ô pital's Rule I it follows that [math]\lim_{t \rightarrow 0+} \frac{F(t)}{G(t)} = L[/math]. Hence

[[math]] \lim_{x \rightarrow \infty} \frac{f(x)}{g(x)} = \lim_{t \rightarrow 0+} \frac{F(t)}{G(t)} = L, [[/math]]

and the proof is complete.

■

An important observation is that all the forms of L'H\ôpital's Rule developed so far are valid whether [math]L[/math] is finite or not. This fact requires no new proof and has really already been established. The reason is that the basic conclusion of Theorem (7.2) is the equation

[[math]] \lim_{x \rightarrow a+}\frac{f(x)}{g(x)} = \lim_{x \rightarrow a+}\frac{f'(x)}{g'(x)}, [[/math]]

and this holds good whether or not [math]\lim_{x \rightarrow a+}\frac{f'(x)}{g'(x)}[/math] is finite or infinite. \smallskip There is another significant variation of L'H\ôpital's Rule, whose proof, although requiring only the Generalized Mean Value Theorem, cannot (as far as we know) be obtained from (7.2) by a simple substitution. It states that the several forms of condition (i), [math]\lim f(x) = \lim g(x)= 0[/math], can be replaced by [math]\lim |g(x)| = \infty[/math]. The specific statement which we prove is the following:

Theorem

L'H\^{O}PITAL'S RULE IV. Let [math]f[/math] and [math]g[/math] be functions which are differentiable on a nonempty open interval [math](a, b)[/math] with [math]g'(x) \neq 0[/math] for every [math]x[/math] in [math](a, b)[/math]. If

\item[i] [math]\lim_{t \rightarrow a+} |g(x)| = \infty[/math], \item[ii] [math]\lim_{t \rightarrow a+} \frac{f'(x)}{g'(x)} = L[/math],

then

[[math]] \lim_{t \rightarrow a+} \frac{f(x)}{g(x)} = L, [[/math]]

Show Proof

{{{4}}}

■

It is not difficult to derive variations of the preceding theorem analogous to the modified versions of (7.2) described above. Thus, with the obvious changes in the hypotheses, this last form of L'H\ôpital's Rule also holds for two-sided limits and with [math]a[/math] or [math]L[/math] (or both) replaced by [math]\pm \infty[/math]. Example

Compute [math]\lim_{t \rightarrow \infty} \frac{\sqrt[3]{x + 1}}{x + 4} [/math]. Let [math]f[/math] and [math]g[/math] be the functions defined by [math]f(x) = \sqrt[3]{x + 1}[/math] and [math]g(x) = x + 4[/math], respectively. Since [math]f'(x) = \frac{1}{3(x + 1)^{2/3}}[/math] and [math]g'(x) = 1[/math], we see that [math]f[/math] and [math]g[/math] are differentiable on the interval [math](1, \infty)[/math] and that [math]g'(x) \neq 0[/math]. Moreover, [math]\lim_{t \rightarrow \infty} |g(x)| = \lim_{t \rightarrow \infty} |x + 4| = \infty[/math], and

[[math]] \lim_{x \rightarrow \infty} \frac{f'(x)}{g'(x)} = \lim_{x \rightarrow \infty} \frac{\frac{1}{3(x + 1)^{2/3}}}{1} = 0. [[/math]]

It follows by L'H\ôpital's Rule that

[[math]] \lim_{x \rightarrow \infty}\frac{\sqrt[3]{x + 1}}{x + 4} = \lim_{x \rightarrow \infty}\frac{f(x)}{g(x)} = 0. [[/math]]

The several forms of L'H\ôpital's Rule which we have derived in this section fall naturally into two types, symbolically denoted as the [math]\frac{0}{0}[/math] type and the [math]\frac{*}{\infty}[/math] type. Theorems (7.2), (7.3), and (7.4) are all examples of the first type, whereas the harder Theorem (7.5) is the prototype of the second type. The full power of the [math]\frac{*}{\infty}[/math] forms will be realized later in the book in conjunction with the logarithmic, exponential, and trigonometric functions.

\end{exercise}==General references== Doyle, Peter G. (2008). "Crowell and Slesnick's Calculus with Analytic Geometry" (PDF). Retrieved Oct 29, 2024.