PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Low Entry average rating: No information on entry rating
[parent] example of computing limits using Taylor expansion (Example)
Problem 1   Evaluate
$\displaystyle \lim_{x \to -\infty} \bigl( x + \sqrt{x^2 + 23 x} \bigr)\,. $

In beginners' courses in calculus, one is usually told to rationalize the above expression by multiplying by $ (x-\sqrt{x^2+ 23x})/(x-\sqrt{x^2+23 x})$. This approach is somewhat dissatisfying, because it depends on a specific algebraic trick that works only for square roots -- for example, it would have been more difficult or impossible to rationalize, if instead, we had a cube root or even a transcendental function -- and this trick does not appeal to our intuition that $ \sqrt{x^2 + 23 x}$ should be approximately $ \lvert x\rvert $ for large $ \lvert x\rvert $. Fortunately, there is another approach that exploits the analytic properties of the functions involved.

L'Hôpital's Rule is one analytic approach, but in many cases, using Taylor expansion is even easier and straightforward. Essentially, Taylor expansion approximates complicated functions by polynomials, whose limits are easy to evaluate. We illustrate the method below.

First rewrite

$\displaystyle \lim_{x \to -\infty} \bigl(x+\sqrt{x^2 + 23 x} \bigr) = \lim_{x \to +\infty} \bigl(\sqrt{x^2 - 23 x} - x \bigr) \,, $
so that we do not have to worry about the pesky negatives any more. Then, with the help of the binomial formula:
$\displaystyle (1+y)^{1/2} = 1 + \frac{1}{2} y + o(y)\,,\quad \textrm{as $y \to 0$,} $
(“$ o$” is Landau notation) we obtain:
$\displaystyle \sqrt{x^2 - 23 x} - x$ $\displaystyle = x \left( \sqrt{1 - \frac{23}{x}} - 1 \right)$    
  $\displaystyle = x \left( 1 - \frac{1}{2} \frac{23}{x} + o\left(\frac{23}{x}\rig... ...- 1 \right)\,, \quad \textrm{as $x \to \infty$\ (so $y = -\frac{23}{x} \to 0$)}$    
  $\displaystyle = -\frac{23}{2} + x \, o\left(\frac{23}{x}\right)$    
  $\displaystyle = -\frac{23}{2} + o(1)\,.$    

Therefore
$\displaystyle \lim_{x \to -\infty} \bigl( x + \sqrt{x^2 + 23 x} \bigr) = \lim_{x\to\infty} \bigl( \sqrt{x^2 - 23 x} - x\bigr) = -\frac{23}{2}\,. $
Problem 2   Evaluate
$\displaystyle \lim_{x \to 0} \left( \frac{1}{\ln(1+ x)} - \frac{1}{\tan x} \right)\,. $
This example is admittedly artificial; it was made to be annoying to solve using L'Hôpital's Rule alone, but much simpler if one knows how to use the Taylor expansions:
$\displaystyle \ln(1+x)$ $\displaystyle = x - \frac{1}{2} x^2 + o(x^2)\,,$ as $ x \to 0$, and    
$\displaystyle \tan x$ $\displaystyle = x + o(x^2)\,,$ as $ x \to 0$.    

So we compute:
$\displaystyle \frac{1}{\ln (1 + x) } - \frac{1}{\tan x} = \frac{\tan x - \ln(1 + x)}{ \ln (1 + x) \tan x}$ $\displaystyle = \frac{\bigl(x + o(x^2)\bigr) - \bigl( x - \frac{1}{2} x^2 + o(x^2) \bigr)}{ \ln(1+x) \tan x}$    
  $\displaystyle = \frac{\frac{1}{2} x^2 + o(x^2)}{\bigl(x + o(x) \bigr) \bigl( x + o(x) \bigr) }$    
  $\displaystyle = \frac{\frac{1}{2} + o(1)}{\bigl(1 + o(1) \bigr) \bigl(1+o(1) \bigr)}$    

Therefore,
$\displaystyle \lim_{x \to 0} \left( \frac{1}{\ln(1+ x)} - \frac{1}{\tan x} \right) = \frac{1}{2}\,. $
The reader might reasonably ask how did we know the right number of terms to use in the Taylor expansions. The answer is to guess. This is not as problematic as it sounds. First, there is no harm in using more terms than necessary in the expansion (only that there is more writing). And if we used too few terms, we would know when we later encounter indeterminate forms such as $ o(1)/x$ (as $ x \to 0$) in our derivations. If that happens, it is not hard to go back and add the needed terms.

Notice that all the essential information to evaluate the limit is contained in the first few derivatives of the functions involved at particular points -- in the above example, only at $ x = 0$. This information can be obtained by manipulating series, unlike L'Hôpital's Rule which necessitates computing the derivative functions at all points. So even monstrous expressions like this one is tractable with Taylor expansion:

$\displaystyle \lim_{x \to 0} \left( \frac{1}{\ln(1+ \tan(\sin x))} - \frac{1}{e^{\sin(\tan x)} -1 }\right)\,. $

On the other hand, there definitely are situations where L'Hôpital's Rule works but Taylor expansion does not: for instance,

$\displaystyle \lim_{x \to 0^+} x \ln x = \lim_{x \to 0^+} \frac{x}{1/\ln x}\,, $
because $ 1/\ln x$ cannot be expanded in a Taylor series about $ x =0 $.
Problem 3   Here is a problem involving a different sort of limit: does the following series converge?
$\displaystyle \sum_{n=1}^\infty \arctan(n^{-1}) $
Our intuition suggests that it does not, because $ \arctan (n^{-1})$ should be approximately $ n^{-1}$, and $ \sum_n n^{-1}$ diverges. However, the standard comparison test does not work because $ \arctan x \leq x$ (for $ x \geq 0$) has the inequality in the wrong direction. But with Taylor expansion the solution is a snap. By expanding
$\displaystyle \arctan x = x + O(x^3) \,,$   as $ x \to 0$.
and summing both sides, we get
$\displaystyle \sum_{n=1}^\infty \arctan (n^{-1} ) = \sum_{n=1}^\infty n^{-1} + \sum_{n=1}^\infty O(n^{-3})\,. $
As $ \sum_n O(n^{-3})$ converges (being dominated by $ C\sum_n n^{-3}$ for some constant $ C$), $ \sum_n \arctan(n^{-1})$ must diverge (to $ \infty$).

(Of course, this problem could be solved by using the integral test, but who really wants to integrate $ \int \arctan (1/x) \, dx$?)



Anyone with an account can edit this entry. Please help improve it!

"example of computing limits using Taylor expansion" is owned by stevecheng.
(view preamble)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: integral test, sides, summing, solution, inequality, comparison test, diverges, converge, Taylor series, expanded, series, points, derivatives, contained, information, indeterminate forms, necessary, terms, right, Landau notation, binomial formula, negatives, limits, polynomials, Taylor expansion, functions, properties, analytic, transcendental function, even, cube root, square roots, algebraic, expression, Calculus
There is 1 reference to this entry.

This is version 12 of example of computing limits using Taylor expansion, born on 2006-02-06, modified 2006-02-08.
Object id is 7597, canonical name is ExampleOfComputingLimitsUsingTaylorExpansion.
Accessed 4007 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)