Difference between revisions of "Indefinite limits and expressions, evaluations of"
(Importing text file) |
(TeX) |
||
| Line 1: | Line 1: | ||
| + | {{TEX|done}} | ||
Methods for computing limits of functions given by formulas that cease to have a meaning when the limiting values of the argument are formally substituted in them, that is, go over into expressions like | Methods for computing limits of functions given by formulas that cease to have a meaning when the limiting values of the argument are formally substituted in them, that is, go over into expressions like | ||
| − | + | $$\frac00,\frac\infty\infty,0\cdot\infty,\infty-\infty,0^0,\infty^0,1^\infty,$$ | |
| − | for which one cannot judge whether the required limits exist or not without saying anything about finding their values if they exist. The basic instrument of evaluating indeterminacies is Taylor's formula (cf. [[Taylor formula|Taylor formula]]), by means of which one singles out the principal part of a function. Thus, in the case of an indeterminacy of the type | + | for which one cannot judge whether the required limits exist or not without saying anything about finding their values if they exist. The basic instrument of evaluating indeterminacies is Taylor's formula (cf. [[Taylor formula|Taylor formula]]), by means of which one singles out the principal part of a function. Thus, in the case of an indeterminacy of the type $0/0$, for which in order to find the limit |
| − | + | $$\lim_{x\to x_0}\frac{f(x)}{g(x)},$$ | |
where | where | ||
| − | + | $$\lim_{x\to x_0}f(x)=\lim_{x\to x_0}g(x)=0,$$ | |
| − | one represents the functions | + | one represents the functions $f$ and $g$ by Taylor's formulas in a neighbourhood of $x_0$ (if this is possible) up to the first non-zero term: |
| − | + | $$f(x)=a(x-x_0)^n+o((x-x_0)^n),\quad a\neq0,$$ | |
| − | + | $$g(x)=b(x-x_0)^m+o((x-x_0)^m),\quad b\neq0;$$ | |
as a result one finds that | as a result one finds that | ||
| − | + | $$\lim_{x\to x_0}\frac{f(x)}{g(x)}=\frac ab\lim_{x\to x_0}(x-x_0)^{n-m}=\begin{cases}0&\text{if}&n>m,\\\frac ab&\text{if}&n=m,\\\infty&\text{if}&n<m.\end{cases}$$ | |
| − | In the case of an indeterminacy of the type | + | In the case of an indeterminacy of the type $\infty/\infty$, in order to find the limit |
| − | + | $$\lim_{x\to x_0}\frac{f(x)}{g(x)},$$ | |
where | where | ||
| − | + | $$\lim_{x\to x_0}f(x)=\lim_{x\to x_0}g(x)=\infty,$$ | |
one applies the transformation | one applies the transformation | ||
| − | + | $$\frac{f(x)}{g(x)}=\frac{\frac{1}{g(x)}}{\frac{1}{f(x)}},$$ | |
| − | which reduces the problem to the evaluation of an indeterminacy of type | + | which reduces the problem to the evaluation of an indeterminacy of type $0/0$. |
| − | Indeterminacies of the types | + | Indeterminacies of the types $0\cdot\infty$ or $\infty-\infty$ are also conveniently reduced to type $0/0$ by the following transformations: |
| − | + | $$f(x)g(x)=\frac{f(x)}{\frac{1}{g(x)}}=\frac{g(x)}{\frac{1}{f(x)}},\quad f(x)-g(x)=\frac{\frac{1}{g(x)}-\frac{1}{f(x)}}{\frac{1}{f(x)}\frac{1}{g(x)}},$$ | |
respectively. | respectively. | ||
| − | For evaluating indeterminacies of the types | + | For evaluating indeterminacies of the types $0^0$, $\infty^0$ or $1^\infty$ it is appropriate first to take the logarithm of the expressions whose limits are to be found. |
| − | Another general method for evaluating indeterminacies of the types | + | Another general method for evaluating indeterminacies of the types $0/0$ or $\infty/\infty$ and those reducible to them is the [[L'Hospital rule|l'Hospital rule]]. |
Latest revision as of 18:01, 3 August 2014
Methods for computing limits of functions given by formulas that cease to have a meaning when the limiting values of the argument are formally substituted in them, that is, go over into expressions like
$$\frac00,\frac\infty\infty,0\cdot\infty,\infty-\infty,0^0,\infty^0,1^\infty,$$
for which one cannot judge whether the required limits exist or not without saying anything about finding their values if they exist. The basic instrument of evaluating indeterminacies is Taylor's formula (cf. Taylor formula), by means of which one singles out the principal part of a function. Thus, in the case of an indeterminacy of the type $0/0$, for which in order to find the limit
$$\lim_{x\to x_0}\frac{f(x)}{g(x)},$$
where
$$\lim_{x\to x_0}f(x)=\lim_{x\to x_0}g(x)=0,$$
one represents the functions $f$ and $g$ by Taylor's formulas in a neighbourhood of $x_0$ (if this is possible) up to the first non-zero term:
$$f(x)=a(x-x_0)^n+o((x-x_0)^n),\quad a\neq0,$$
$$g(x)=b(x-x_0)^m+o((x-x_0)^m),\quad b\neq0;$$
as a result one finds that
$$\lim_{x\to x_0}\frac{f(x)}{g(x)}=\frac ab\lim_{x\to x_0}(x-x_0)^{n-m}=\begin{cases}0&\text{if}&n>m,\\\frac ab&\text{if}&n=m,\\\infty&\text{if}&n<m.\end{cases}$$
In the case of an indeterminacy of the type $\infty/\infty$, in order to find the limit
$$\lim_{x\to x_0}\frac{f(x)}{g(x)},$$
where
$$\lim_{x\to x_0}f(x)=\lim_{x\to x_0}g(x)=\infty,$$
one applies the transformation
$$\frac{f(x)}{g(x)}=\frac{\frac{1}{g(x)}}{\frac{1}{f(x)}},$$
which reduces the problem to the evaluation of an indeterminacy of type $0/0$.
Indeterminacies of the types $0\cdot\infty$ or $\infty-\infty$ are also conveniently reduced to type $0/0$ by the following transformations:
$$f(x)g(x)=\frac{f(x)}{\frac{1}{g(x)}}=\frac{g(x)}{\frac{1}{f(x)}},\quad f(x)-g(x)=\frac{\frac{1}{g(x)}-\frac{1}{f(x)}}{\frac{1}{f(x)}\frac{1}{g(x)}},$$
respectively.
For evaluating indeterminacies of the types $0^0$, $\infty^0$ or $1^\infty$ it is appropriate first to take the logarithm of the expressions whose limits are to be found.
Another general method for evaluating indeterminacies of the types $0/0$ or $\infty/\infty$ and those reducible to them is the l'Hospital rule.
Comments
References
| [a1] | K.R. Stromberg, "Introduction to classical real analysis" , Wadsworth (1981) |
Indefinite limits and expressions, evaluations of. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Indefinite_limits_and_expressions,_evaluations_of&oldid=15291