Indeterminate form
Indeterminate form
Jump to navigation
Jump to search
In calculus and other branches of mathematical analysis, limits involving an algebraic combination of functions in an independent variable may often be evaluated by replacing these functions by their limits; if the expression obtained after this substitution does not give enough information to determine the original limit, it is said to take on an indeterminate form. The term was originally introduced by Cauchy's student Moigno in the middle of the 19th century.
The indeterminate forms typically considered in the literature are denoted:
- 00, ∞∞, 0×∞, 1∞, ∞−∞, 00 and ∞0.{displaystyle {frac {0}{0}},~{frac {infty }{infty }},~0times infty ,~1^{infty },~infty -infty ,~0^{0}{text{ and }}infty ^{0}.}
Contents
1 Discussion
2 Some examples and non-examples
2.1 Indeterminate form 0/0
2.2 Indeterminate form 00
2.3 Expressions that are not indeterminate forms
3 Evaluating indeterminate forms
3.1 Equivalent infinitesimal
3.2 L'Hôpital's rule
4 List of indeterminate forms
5 See also
6 References
Discussion[edit]
The most common example of an indeterminate form occurs as the ratio of two functions, in which both of these functions tend to zero in the limit, and is referred to as "the indeterminate form 0/0". As x approaches 0, the ratios x/x3, x/x, and x2/x go to ∞, 1, and 0 respectively. In each case, if the limits of the numerator and denominator are substituted, the resulting expression is 0/0, which is undefined. So, in a manner of speaking, 0/0 can take on the values 0, 1, or ∞, and it is possible to construct similar examples for which the limit is any particular value.
More formally, when given that the functions f(x) and g(x) both approach 0 as x approaches some limit point c one does not have enough information to evaluate the limit
- limx→cf(x)g(x).{displaystyle lim _{xto c}{frac {f(x)}{g(x)}}.}
Not every undefined algebraic expression corresponds to an indeterminate form. For example, the expression 1/0 is undefined as a real number but does not correspond to an indeterminate form, because any limit that gives rise to this form will diverge to infinity.
An indeterminate form expression may have a value in some contexts.
For example, if κ is an infinite cardinal number, then expressions 0κ, 00, 1κ and κ0 are well defined in the context of cardinal arithmetic. See also Zero to the power of zero. Note that zero to the power infinity is not an indeterminate form.
Some examples and non-examples[edit]
Indeterminate form 0/0[edit]
(1)
(2)
(3)
(4)
(5)
(6)
The indeterminate form 0/0 is particularly common in calculus because it often arises in the evaluation of derivatives using their limit definition.
As mentioned above,
limx→0xx=1,{displaystyle lim _{xto 0}{frac {x}{x}}=1,qquad } (see fig.1)
while
limx→0x2x=0,{displaystyle lim _{xto 0}{frac {x^{2}}{x}}=0,qquad } (see fig.2)
This is enough to show that 0/0 is an indeterminate form.
Other examples with this indeterminate form include
limx→0sin(x)x=1,{displaystyle lim _{xto 0}{frac {sin(x)}{x}}=1,qquad } (see fig.3)
and
limx→49x−49x−7=14,{displaystyle lim _{xto 49}{frac {x-49}{{sqrt {x}},-7}}=14,qquad } (see fig.4)
Direct substitution of the number that x approaches into any of these expressions shows that these are examples of the indeterminate form 0/0, but these limits take many different values. Any desired value a can be obtained for this indeterminate form as follows:
limx→0axx=a.{displaystyle lim _{xto 0}{frac {ax}{x}}=a.qquad } (see fig.5)
The value infinity can also be obtained (in the sense of divergence to infinity):
limx→0xx3=∞.{displaystyle lim _{xto 0}{frac {x}{x^{3}}}=infty .qquad } (see fig.6)
Indeterminate form 00[edit]
(7)
(8)
The following limits illustrate that the expression 00 is an indeterminate form:
limx→0+x0=1,{displaystyle lim _{xto 0^{+}}x^{0}=1,qquad } (see fig.7)
limx→0+0x=0.{displaystyle lim _{xto 0^{+}}0^{x}=0.qquad } (see fig.8)
Thus, in general, knowing that limx→cf(x)=0{displaystyle textstyle lim _{xto c}f(x);=;0!} and limx→cg(x)=0{displaystyle textstyle lim _{xto c}g(x);=;0} is not sufficient to calculate the limit
- limx→cf(x)g(x).{displaystyle lim _{xto c}f(x)^{g(x)}.}
If the functions f and g are analytic at c, and f is positive for x sufficiently close (but not equal) to c, then the limit of f(x) g(x) will be 1.[1] Otherwise, use the transformation in the table below to evaluate the limit.
Expressions that are not indeterminate forms[edit]
The expression 1/0 is not commonly regarded as an indeterminate form because there is not an infinite range of values that f/g could approach. Specifically, if f approaches 1 and g approaches 0, then f and g may be chosen so that (1) f/g approaches +∞, (2) f/g approaches −∞, or (3) the limit fails to exist. In each case the absolute value |f/g| approaches +∞, and so the quotient f/g must diverge, in the sense of the extended real numbers. (In the framework of the projectively extended real line, the limit is the unsigned infinity ∞ in all three cases.) Similarly, any expression of the form a/0, with a ≠ 0 (including a = +∞ and a = −∞), is not an indeterminate form since a quotient giving rise to such an expression will always diverge.
The expression 0∞ is not an indeterminate form. The expression 0+∞ has the limiting value 0 for the given individual limits, and the expression 0−∞ is equivalent to 1/0.
Evaluating indeterminate forms[edit]
The adjective indeterminate does not imply that the limit does not exist, as many of the examples above show. In many cases, algebraic elimination, L'Hôpital's rule, or other methods can be used to manipulate the expression so that the limit can be evaluated.
For example, the expression x2/x can be simplified to x at any point other than x = 0. Thus, the limit of this expression as x approaches 0 (which depends only on points near 0, not at x = 0 itself) is the limit of x, which is 0. Most of the other examples above can also be evaluated using algebraic simplification.
Equivalent infinitesimal[edit]
When two variables α{displaystyle alpha } and β{displaystyle beta } converge to zero at the same point and limβα=1{displaystyle lim {frac {beta }{alpha }}=1}, they are called equivalent infinitesimal.
For the evaluation of the indeterminate form 0/0, we can use the following equivalent infinitesimals:[2]
x∼sinx,{displaystyle xsim sin x,}
x∼arcsinx,{displaystyle xsim arcsin x,}
x∼sinhx,{displaystyle xsim sinh x,}
x∼tanx,{displaystyle xsim tan x,}
x∼arctanx,{displaystyle xsim arctan x,}
x∼ln(1+x),{displaystyle xsim ln(1+x),}
1−cosx∼x22,{displaystyle 1-cos xsim {frac {x^{2}}{2}},}
coshx−1∼x22,{displaystyle cosh x-1sim {frac {x^{2}}{2}},}
ax−1∼xlna,{displaystyle a^{x}-1sim xln a,}
ex−1∼x,{displaystyle e^{x}-1sim x,}
(1+x)a−1∼ax.{displaystyle (1+x)^{a}-1sim ax.}
For example:
limx→01x3[(2+cosx3)x−1]=limx→0exln2+cosx3−1x3=limx→01x2ln2+cosx3=limx→01x2ln(cosx−13+1)=limx→0cosx−13x2=−16{displaystyle lim _{xto 0}{frac {1}{x^{3}}}left[left({frac {2+cos x}{3}}right)^{x}-1right]=lim _{xto 0}{frac {e^{xln {frac {2+cos x}{3}}}-1}{x^{3}}}=lim _{xto 0}{frac {1}{x^{2}}}ln {frac {2+cos x}{3}}=lim _{xto 0}{frac {1}{x^{2}}}ln left({frac {cos x-1}{3}}+1right)=lim _{xto 0}{frac {cos x-1}{3x^{2}}}=-{frac {1}{6}}}
Here is a brief proof:
Suppose there are two equivalent infinitesimals α∼α′{displaystyle alpha sim alpha '} and β∼β′{displaystyle beta sim beta '}.
limβα=limββ′α′β′α′α=limββ′limα′αlimβ′α′=limβ′α′{displaystyle lim {frac {beta }{alpha }}=lim {frac {beta beta 'alpha '}{beta 'alpha 'alpha }}=lim {frac {beta }{beta '}}lim {frac {alpha '}{alpha }}lim {frac {beta '}{alpha '}}=lim {frac {beta '}{alpha '}}}
L'Hôpital's rule[edit]
L'Hôpital's rule is a general method for evaluating the indeterminate forms 0/0 and ∞/∞. This rule states that (under appropriate conditions)
- limx→cf(x)g(x)=limx→cf′(x)g′(x),{displaystyle lim _{xto c}{frac {f(x)}{g(x)}}=lim _{xto c}{frac {f'(x)}{g'(x)}},!}
where f' and g' are the derivatives of f and g. (Note that this rule does not apply to expressions ∞/0, 1/0, and so on; these expressions are not indeterminate forms.) These derivatives will allow one to perform algebraic simplification and eventually evaluate the limit.
L'Hôpital's rule can also be applied to other indeterminate forms, using first an appropriate algebraic transformation. For example, to evaluate the form 00:
- lnlimx→cf(x)g(x)=limx→clnf(x)1/g(x).{displaystyle ln lim _{xto c}f(x)^{g(x)}=lim _{xto c}{frac {ln f(x)}{1/g(x)}}.!}
The right-hand side is of the form ∞/∞, so L'Hôpital's rule applies to it. Note that this equation is valid (as long as the right-hand side is defined) because the natural logarithm (ln) is a continuous function; it is irrelevant how well-behaved f and g may (or may not) be as long as f is asymptotically positive.
Although L'Hôpital's rule applies both to 0/0 and to ∞/∞, one of these forms may be more useful than the other in a particular case (because of the possibility of algebraic simplification afterwards). One can change between these forms, if necessary, by transforming f/g to (1/g)/(1/f).
List of indeterminate forms[edit]
The following table lists the most common indeterminate forms and the transformations for applying l'Hôpital's rule.
Indeterminate form | Conditions | Transformation to 0/0 | Transformation to ∞/∞ |
---|---|---|---|
0/0 | limx→cf(x)=0, limx→cg(x)=0{displaystyle lim _{xto c}f(x)=0, lim _{xto c}g(x)=0!} | — | limx→cf(x)g(x)=limx→c1/g(x)1/f(x){displaystyle lim _{xto c}{frac {f(x)}{g(x)}}=lim _{xto c}{frac {1/g(x)}{1/f(x)}}!} |
∞/∞ | limx→cf(x)=∞, limx→cg(x)=∞{displaystyle lim _{xto c}f(x)=infty , lim _{xto c}g(x)=infty !} | limx→cf(x)g(x)=limx→c1/g(x)1/f(x){displaystyle lim _{xto c}{frac {f(x)}{g(x)}}=lim _{xto c}{frac {1/g(x)}{1/f(x)}}!} | — |
0 × ∞ | limx→cf(x)=0, limx→cg(x)=∞{displaystyle lim _{xto c}f(x)=0, lim _{xto c}g(x)=infty !} | limx→cf(x)g(x)=limx→cf(x)1/g(x){displaystyle lim _{xto c}f(x)g(x)=lim _{xto c}{frac {f(x)}{1/g(x)}}!} | limx→cf(x)g(x)=limx→cg(x)1/f(x){displaystyle lim _{xto c}f(x)g(x)=lim _{xto c}{frac {g(x)}{1/f(x)}}!} |
∞ − ∞ | limx→cf(x)=∞, limx→cg(x)=∞{displaystyle lim _{xto c}f(x)=infty , lim _{xto c}g(x)=infty !} | limx→c(f(x)−g(x))=limx→c1/g(x)−1/f(x)1/(f(x)g(x)){displaystyle lim _{xto c}(f(x)-g(x))=lim _{xto c}{frac {1/g(x)-1/f(x)}{1/(f(x)g(x))}}!} | limx→c(f(x)−g(x))=lnlimx→cef(x)eg(x){displaystyle lim _{xto c}(f(x)-g(x))=ln lim _{xto c}{frac {e^{f(x)}}{e^{g(x)}}}!} |
00 | limx→cf(x)=0+,limx→cg(x)=0{displaystyle lim _{xto c}f(x)=0^{+},lim _{xto c}g(x)=0!} | limx→cf(x)g(x)=explimx→cg(x)1/lnf(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {g(x)}{1/ln f(x)}}!} | limx→cf(x)g(x)=explimx→clnf(x)1/g(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {ln f(x)}{1/g(x)}}!} |
1∞ | limx→cf(x)=1, limx→cg(x)=∞{displaystyle lim _{xto c}f(x)=1, lim _{xto c}g(x)=infty !} | limx→cf(x)g(x)=explimx→clnf(x)1/g(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {ln f(x)}{1/g(x)}}!} | limx→cf(x)g(x)=explimx→cg(x)1/lnf(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {g(x)}{1/ln f(x)}}!} |
∞0 | limx→cf(x)=∞, limx→cg(x)=0{displaystyle lim _{xto c}f(x)=infty , lim _{xto c}g(x)=0!} | limx→cf(x)g(x)=explimx→cg(x)1/lnf(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {g(x)}{1/ln f(x)}}!} | limx→cf(x)g(x)=explimx→clnf(x)1/g(x){displaystyle lim _{xto c}f(x)^{g(x)}=exp lim _{xto c}{frac {ln f(x)}{1/g(x)}}!} |
See also[edit]
- Defined and undefined
- Division by zero
- Extended real number line
- L'Hôpital's rule
References[edit]
^ Louis M. Rotando; Henry Korn (January 1977). "The indeterminate form 00". Mathematics Magazine. 50 (1): 41&ndash, 42. doi:10.2307/2689754..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
^ "Table of equivalent infinitesimals" (PDF). Vaxa Software.
Categories:
- Limits (mathematics)
(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgPageParseReport":{"limitreport":{"cputime":"0.244","walltime":"0.535","ppvisitednodes":{"value":535,"limit":1000000},"ppgeneratednodes":{"value":0,"limit":1500000},"postexpandincludesize":{"value":3439,"limit":2097152},"templateargumentsize":{"value":119,"limit":2097152},"expansiondepth":{"value":7,"limit":40},"expensivefunctioncount":{"value":1,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":13260,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 150.269 1 -total"," 71.85% 107.969 1 Template:Reflist"," 56.41% 84.763 1 Template:Cite_journal"," 19.61% 29.469 2 Template:Main"," 5.45% 8.194 1 Template:Cite_web"," 2.20% 3.300 1 Template:Main_other"," 1.82% 2.741 3 Template:Nowrap"]},"scribunto":{"limitreport-timeusage":{"value":"0.071","limit":"10.000"},"limitreport-memusage":{"value":1897775,"limit":52428800}},"cachereport":{"origin":"mw1296","timestamp":"20181127103041","ttl":1900800,"transientcontent":false}}});});{"@context":"https://schema.org","@type":"Article","name":"Indeterminate form","url":"https://en.wikipedia.org/wiki/Indeterminate_form","sameAs":"http://www.wikidata.org/entity/Q115089","mainEntity":"http://www.wikidata.org/entity/Q115089","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https://www.wikimedia.org/static/images/wmf-hor-googpub.png"}},"datePublished":"2003-11-15T00:13:29Z","dateModified":"2018-08-10T18:05:35Z","headline":"in mathematical analysis, expression that may be defined, or may be left undefined as a matter of experience"}(window.RLQ=window.RLQ||).push(function(){mw.config.set({"wgBackendResponseTime":100,"wgHostname":"mw1330"});});