3.6.8 Finding Limits
In doing many kinds of calculations, you need to evaluate expressions when variables take on particular values. In many cases, you can do this simply by applying transformation rules for the variables using the /. operator.
You can get the value of at 0 just by explicitly replacing with 0, and then evaluating the result.
In some cases, however, you have to be more careful.
Consider, for example, finding the value of the expression when . If you simply replace by in this expression, you get the indeterminate result . To find the correct value of when , you need to take the limit.
This gives the correct value for the limit of as .
No finite limit exists in this case.
Limit can find this limit, even though you cannot get an ordinary power series for at .
The same is true here.
The value of Sign[x] at x=0 is 0.
Its limit, however, is 1. The limit is by default taken from above.
Not all functions have definite limits at particular points. For example, the function oscillates infinitely often near , so it has no definite limit there. Nevertheless, at least so long as remains real, the values of the function near always lie between and 1. Limit represents values with bounded variation using Interval objects. In general, Interval[xmin, xmax] represents an uncertain value which lies somewhere in the interval xmin to xmax.
Limit returns an Interval object, representing the range of possible values of near its essential singularity at .
Mathematica can do arithmetic with Interval objects.
Mathematica represents this limit symbolically in terms of an Interval object.
Some functions may have different limits at particular points, depending on the direction from which you approach those points. You can use the Direction option for Limit to specify the direction you want.
The function has a different limiting value at , depending on whether you approach from above or below.
Approaching from below gives a limiting value of .
Approaching from above gives a limiting value of .
Limit makes no assumptions about functions like f[x] about which it does not have definite knowledge. As a result, Limit remains unevaluated in most cases involving symbolic functions.
Limit has no definite knowledge about f, so it leaves this limit unevaluated.