The limit command has been enhanced for the case of limits of quotients of two bivariate analytic functions (i.e., functions in two variables for which a Taylor expansion exists at the limit point). Many such limits that could not be determined previously are now computable.
In Maple 2016, the following limit calls would return unevaluated, but they can now be computed in Maple 2017.
Plot these two functions in the neighborhood of the origin:
In the latter example, you can visually verify the existence of the limit.
In the first example, by inspecting the graph you can identify two different directions with different limits, namely y=x and y=−x. Indeed:
How does Maple determine these limits? Let us consider a circle C given by x2+y2=r2, where we will later let r →0. Using the theory of Lagrange multipliers, the extremal values (maxima and minima) of the function f 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 maximal and minimal 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. In order to solve this equation, first approximate it by a multivariate Taylor series at the origin, up to terms of order 8 or higher.
Now consider y the main variable and try to solve the equation eq2=0 in terms of univariate Taylor series y=sx, and start by looking at the lowest degree terms of eq2, specifically
You see that there are two approximate solutions which make the lowest degree terms of eq2 vanish, specifically, y=x and y=−x. In this example, these actually make the original equation eq vanish identically:
Indeed, these are exactly the same two paths from above leading to the extremal values 1 and −1. Since you have found two directions with different limits, you can conclude that the bivariate limit does not exist. The third factor, x2+y2, does not admit any real solutions and can therefore be ignored.
The following graph depicts both critical paths in the x, y-plane.
Note that the critical paths are not necessarily always lines. For example, in the second example above:
In this example, eq factors into linear factors, and you obtain the following solutions for the critical paths:
paths ≔ Vector3:paths1≔x=solveop2,eq,x:paths2≔y=solveop3,eq,y:paths3≔y=solveop4,eq,y:paths
The limits along all of the critical paths are identical:
This is a proof that the bivariate limit of g at the origin exists and is equal to 0.
The following graph depicts the function g as well as all of the critical paths:
In general, the critical equation does not factor into linear factors, and then series approximations for all the critical paths are used.
updates/Maple17/BivariateLimits, updates/Maple2015/BivariateLimits, limit, limit/multi - multidimensional limits
Download Help Document