The limit command has been enhanced for the case of limits of bivariate rational functions with non-isolated singularities. Many such limits that could not be determined previously are now computable. If the limit exists in such a situation, it is either +∞ or −∞. Maple can also determine if the limit does not exist, and then returns undefined.
In Maple 18, all the following limit calls would return unevaluated, but they can now be computed in Maple 2015.
g≔4 x yx−y2:
Let us plot these three functions in the neighborhood of the origin.
In the first example, f tends to +∞ on one side of the singularity y=−x and to −∞ on the other side (as shown in the following plot). Therefore, the limit at the origin does not exist.
Now, consider the second example.
g tends to +∞ close to the singularity y=x. However, along the anti-diagonal y=−x, the limit is finite:
Thus, g does not have a limit at the origin. In fact, any number≥−1 can occur, namely, as the limit along the ray y=a x for −1≤a<1:
In the last example, h tends to −∞ on both sides of the singularity y=x.
However, in this case the limit along any ray y=a x with a≠1 is −∞ as well.
simplify assuming a<1;simplify assuming a>1
You can prove that the limit exists and is −∞ for any curve approaching the origin by using the theory of Lagrange multipliers. The extremal values (maxima and minima) of the function h on the circle, for a fixed radius r, satisfy the condition that the gradient of the function and the gradient of the constraint equation of the circle are parallel:
Thus, the local maximum and minimum values of f on C occur when both C=0 and eq=0. For the bivariate limit, this means that it is sufficient to consider only those critical paths satisfying eq=0. However, you also need to consider the global suprema and infima, which may occur close to the singularity y=x.
In the example, the factor x2+y2 of eq does not admit any real paths, so there is only one critical path given by x3−x−y=0 (or, equivalently, y=−x+x3).
In order to certify the limit close to the singularity y=x as well, you cannot take the limit along the singularity. Instead, consider two curves that approach the singularity closely from the top and from the bottom, respectively:
plotx,rhsc1,rhsc2,−x+x3,x=−0.5..0.5, legend=singular path,c1,c2,critical path
updates/Maple17/BivariateLimits, limit, limit/multi - multidimensional limits
Download Help Document