Application Center - Maplesoft

# Classroom Tips and Techniques: Bivariate Limits - Then and Now

You can switch back to the summary page by clicking here.

Classroom Tips and Techniques: Bivariate Limits - Then and Now

Robert J. Lopez

Emeritus Professor of Mathematics and Maple Fellow

Maplesoft

 Introduction For several reasons, the bivariate limit (a limit in the plane) is one of the more difficult topics in an Advanced Calculus course. This is because the elementary techniques of single-variable calculus generally don't apply, so there is no way to determine if the limit exists, and if it does, what it might be. It is generally straightforward to show that a limit does not exist by showing that limits along different paths differ. Finding such a pair of paths might require a bit of ingenuity, but the textbook exercises on which students practice  generally yield to the paths  for some rational . On the other hand, proving (by the -definition) that a limit has the specific value , even if  is known, requires a dexterity in manipulating inequalities that students typically haven't yet acquired.   The following examples explore how Maple might make the bivariate limit more transparent. In particular, Maple's new functionality for computing such limits is explored.

Example 1

 Evaluate , where .

Solution

 • Define the function  via Context Menu: Assign Function

 • The Order variable used in the series command has default value 6. Raise this default to 13.
 • The role of series in computing the limit is clarified below.

 • Use the syntax at the right to apply the bivariate form of the limit command. (At this time, there is no support for this form of the command in the palettes or in the Context Menu system.)
 • Maple returns "undefined" where a calculus text would typically use "does not exist."

=

The classical approach: Find a pair of paths along which the limit has different values

 • Evaluate  along any line . Along such a line the limit as  is clearly 0.

=

 • Evaluate  along any curve , . Along such a curve the limit as  is clearly not 0.

=

Change to polar coordinates and graph over the unit disk

=

 • The simplified form of  is obtained via Context Menu: Simplify_Normalized

 • Figure 1 is a graph of  drawn parametrically in cylindrical coordinates. (The exact form of the graphing command is hidden in the table containing the figure.)

 • Elementary calculus shows the maximum of  is  for , a result consistent with Figure 1.

 Figure 1   Graph of  over the unit circle

Figure 1 also reflects the essential idea in [1], the paper upon which the new bivariate limit functionality ( ?limit/multi ) in Maple 17 is based. Extreme values of  are found on circles of radius . If these extrema all tend to the same value as , then that value is the limit of . If these extreme values tend to different limits, then no limit exists.

Of course, the devil is always in the details. For some functions, , critical points along the circle of radius , cannot be found explicitly except in the form of high-degree RootOf structures, in which case the limit as  cannot be found. Instead,  is first expressed as a polynomial in one variable with coefficients as truncated series in the other variable. This approximation suffices to determine the behavior of  on circles of decreasing radius . However, for some functions the default degree of the truncated series used for the coefficients must be increased, and that is why in this present example it was necessary to raise Order to 13.

A glimpse into the underlying idea is possible via an application of the Lagrange multiplier technique. For a limit at the origin, extrema on the circle  are found by taking  as the objective function and the equation of the circle as the constraint.

For this example, the number of extrema found by the LagrangeMultipliers command is 16, some of which are complex, and some of which are repeated. That is why the extreme values of  are placed in a set, so that only the distinct values remain. The output is the set of two values, zero and , consistent with Figure 1 and the observations thereon.

Example 2

 Evaluate , where .

Solution

Initialize

 • Click the restart icon in the toolbar, or execute the restart command at the right.

 • Define the function  via Context Menu: Assign Function

 • Use the syntax at the right to apply the bivariate form of the limit command.

=

Maple declares that the limit is zero. To verify this by applying the -definition of the bivariate limit, find  for which . In general, this is a difficult task for the typical undergraduate student just beginning to learn the regime of analysis. Indeed, amongst the ten Advanced Calculus texts (Sagan, Olmsted, Spiegel, Loomis & Sternberg, Buck, Widder, Kaplan, Hildebrand) I still have on my office shelves, only one, Taylor & Mann, explains how to do this. Happily, I studied out of the original version of Talyor's text some 50 years ago, but that volume was given away when the 1972 second edition with Mann was published.

The first five inequalities in Table 1 are stated in Example 2 on page 133 of that text. Inequality (6) is simply the statement of a property of the real numbers.

 (1) (2) (3) (4) (5) (6) , for Table 1   Useful (real) inequalities

The annotated calculations in Table 2 suggest for our own Example 2, the solution , provided .

 Apply inequality (3) to the numerator. Double , making the numerator larger, then factor out 2. Apply inequalities (1) and (2) to the two terms in the numerator. Cancel as appropriate. Apply inequality (6) with . Table 2   Annotated solution for Example 2

In fact, the limit of  more readily yields to polar coordinates.

 • Convert to polar coordinates, and press the Enter key.
 • Select the denominator and from the Smart PopUp, select Trig Identities

The annotated estimates in Table 3 show, in fact, that .

 Apply inequality (3). Note that Apply inequality (6): Arithmetic Table 3   Annotated solution in polar coordinates

Figure 2, a graph of , is consistent with Maple's determination that the required limit is indeed zero. Figure 3, drawn in cylindrical coordinates, compares  with .

 Figure 2   Graph of

 Figure 3   Comparison of  and

Finally, the dedicated reader might want to calculate the extrema on a circle of radius . A possible set of appropriate calculations are given in Table 4.

 Table 4   Extreme values of  on circles of radius

The behavior of two of these values is obvious. The behavior of each of the remaining two expressions can be seen in Figure 4.

 Figure 4   Graphs of the nontrivial extrema as functions of

All extrema tend to zero except for spurious solutions that tend to . Such spurious extrema arise from complex solutions to the equation .

Alternatively, obtain the extrema on circles of radius  by solving a constrained optimization problem via the Lagrange multiplier technique. Table 5 shows that the -coordinate of one such extreme point is complex near the origin.

 Table 5   Complex -coordinate of one extreme point obtained by the Lagrange multiplier technique

Example 3

 Evaluate , where .

The update to Maple's limit command is restricted to the bivariate case, but the paradigm underlying it can be extended to higher dimensions. Here, the extrema on spheres of radius  will be found by the Lagrange multiplier technique. Additionally, in three dimensions,  can be expressed in spherical coordinates as an analog to the use of polar coordinates in Examples 1 and 2. While the idea of using hyperspheres in dimension four or higher is reasonable, the actual algebra might require some of the more sophisticated devices used in [1].

Solution

Initialize

 • Click the restart icon in the toolbar, or execute the restart command at the right.

 • Tools_Load Package: Student Multivariate Calculus

 • Control-drag

By means of the Lagrange multiplier technique, obtain extreme values of  on spheres of radius

 • Extract the extreme values of   and place them in a set so that repeated extrema are eliminated.
 • Apparently, the desired limit is zero.

Express  in spherical coordinates

 • Obtain critical points on the sphere of radius .

 • Obtain (as functions of ) the unique extreme values of  on the sphere of radius .

The extreme values found for the constrained and unconstrained problems are the same, and all tend to zero as . As noted, the desired limit is zero.

 References [1] Limits of quotients of real analytic functions in two variables, Carlos A. Dadavid, Sergio Molina, and Juan D. Velez; http://arxiv.org/pdf/1011.1591.pdf

Legal Notice: © Maplesoft, a division of Waterloo Maple Inc. 2013. Maplesoft and Maple are trademarks of Waterloo Maple Inc. This application may contain errors and Maplesoft is not liable for any damages resulting from the use of this material. This application is intended for non-commercial, non-profit use only. Contact Maplesoft for permission if you wish to use this application in for-profit activities.