The concept of a limit extends naturally from single‑variable calculus to functions of two variables, but the added dimension introduces new subtleties that require careful treatment. Understanding the limit of function of two variables is essential for studying continuity, partial derivatives, and multiple integrals in higher‑dimensional analysis.
Definition of a Limit for Two‑Variable Functions
Let (f(x,y)) be a real‑valued function defined on a domain (D\subseteq\mathbb{R}^2) that contains points arbitrarily close to ((a,b)) but possibly not at ((a,b)) itself. We say that
[ \lim_{(x,y)\to(a,b)} f(x,y)=L ]
if for every (\varepsilon>0) there exists a (\delta>0) such that
[ 0<\sqrt{(x-a)^2+(y-b)^2}<\delta \quad\Longrightarrow\quad |f(x,y)-L|<\varepsilon . ]
In words: as the point ((x,y)) gets arbitrarily close to ((a,b)) (measured by the Euclidean distance), the function values get arbitrarily close to (L). This (\varepsilon)–(\delta) formulation mirrors the single‑variable case, but the neighborhood is now a disk rather than an interval.
Why Path Dependence Matters
In one dimension, approaching a point from the left or the right uniquely determines the limit (if it exists). That said, for the limit to exist, the function must approach the same value along every possible path. In two dimensions, there are infinitely many ways to approach ((a,b)): along straight lines, curves, spirals, etc. If two different paths give different limiting values, the limit does not exist.
Quick note before moving on.
Common Paths to Test
- Horizontal line: (y=b) (vary (x)).
- Vertical line: (x=a) (vary (y)).
- Diagonal line: (y = mx + c) passing through ((a,b)).
- Parabolic path: (y = b + k(x-a)^2).
- Polar approach: set (x = a + r\cos\theta,; y = b + r\sin\theta) and let (r\to0^+) while (\theta) may vary.
If the limit depends on (\theta) in the polar representation, the limit fails to exist Still holds up..
Techniques for Evaluating Two‑Variable Limits
1. Direct Substitution
If (f) is continuous at ((a,b)) (i.e., the function is built from polynomials, exponentials, trigonometric functions, etc.
[ \lim_{(x,y)\to(a,b)} f(x,y)=f(a,b). ]
Continuity guarantees path‑independence, so direct substitution works.
2. Path‑Testing (Showing Non‑Existence)
Choose two or more simple paths, compute the one‑variable limit along each, and compare results Small thing, real impact..
- If the limits differ, the two‑variable limit does not exist.
- If they agree, the test is inconclusive; further analysis is needed.
3. Polar Coordinates
Express the function in terms of (r) and (\theta):
[ x = a + r\cos\theta,\qquad y = b + r\sin\theta . ]
Then examine
[ \lim_{r\to0^+} f\bigl(a+r\cos\theta,; b+r\sin\theta\bigr). ]
If the resulting expression is independent of (\theta) and tends to a finite value (L) as (r\to0), the limit exists and equals (L). If the expression still depends on (\theta) or diverges, the limit does not exist.
4. Squeeze (Sandwich) Theorem
Find two simpler functions (g(x,y)) and (h(x,y)) such that
[ g(x,y)\le f(x,y)\le h(x,y) ]
for all ((x,y)) near ((a,b)) (except possibly at ((a,b))), and
[ \lim_{(x,y)\to(a,b)} g(x,y)=\lim_{(x,y)\to(a,b)} h(x,y)=L . ]
Then (\lim_{(x,y)\to(a,b)} f(x,y)=L). This method is especially useful when dealing with absolute values or products that tend to zero.
5. Algebraic Manipulation
Factor, rationalize, or use known limits (e.g., (\lim_{t\to0}\frac{\sin t}{t}=1)) to rewrite the expression in a form where the limit becomes apparent Easy to understand, harder to ignore..
Worked Examples
Example 1: A Limit That Exists
Evaluate
[ \lim_{(x,y)\to(0,0)} \frac{3x^2y}{x^2+y^2}. ]
Solution using polar coordinates:
Set (x=r\cos\theta,; y=r\sin\theta). Then
[ \frac{3x^2y}{x^2+y^2}= \frac{3(r\cos\theta)^2(r\sin\theta)}{r^2}=3r\cos^2\theta\sin\theta . ]
As (r\to0^+), the factor (3r\cos^2\theta\sin\theta) tends to (0) for every (\theta). Hence the limit is (0).
Example 2: A Limit That Does Not Exist
Consider
[ \lim_{(x,y)\to(0,0)} \frac{xy}{x^2+y^2}. ]
Path test:
- Along the (x)-axis ((y=0)): (\frac{x\cdot0}{x^2+0}=0).
- Along the line (y=x): (\frac{x\cdot x}{x^2+x^2}= \frac{x^2}{2x^2}= \frac12).
Since the limits differ (0 vs. (1/2)), the two‑variable limit does not exist Still holds up..
Example 3: Using the Squeeze Theorem
Find
[ \lim_{(x,y)\to(0,0)} \frac{x^2y^2}{x^2+y^2}. ]
Notice that
[ 0\le \frac{x^2y^2}{x^2+y^2}\le \frac{x^2y^2}{x^2}=y^2\quad\text{(when }x\neq0\text{)}. ]
Similarly, bounding by (x^2) gives
[ 0\le \frac{x^2y^2}{x^2+y^2}\le x^2 . ]
Both (x^2) and (y^2) approach (0) as ((x,y)\to(0,0)). By the squeeze theorem, the limit is (0) Worth keeping that in mind..
Continuity and Limits
A function (f(x,y)) is continuous at ((a,b)) if
[ \lim_{(x,y)\to(a,b)} f(x,y)=f(a,b).
The interplay between proximity and behavior demands nuanced interpretation. Such insights ultimately shape precise conclusions, emphasizing the value of careful evaluation.
Building on this framework, it becomes clear how these techniques interconnect in analyzing functions near critical points. In practice, together, these tools empower us to determine whether limits settle, oscillate, or vanish entirely. Because of that, by transforming coordinates and leveraging symmetry, we can isolate the behavior around ((a,b)), ensuring we capture subtle nuances that influence convergence. Worth adding: the algebraic simplifications often reveal hidden patterns, while the squeeze method provides a strong safeguard against ambiguity. In practice, applying these strategies not only resolves specific problems but also strengthens our confidence in handling complex expressions near defined points.
So, to summarize, evaluating limits with precision requires a blend of coordinate transformations, strategic bounding, and rigorous verification. Each step reinforces the reliability of our conclusions, underscoring the importance of methodical analysis. Understanding these processes equips us to tackle further challenges with clarity and confidence Easy to understand, harder to ignore. Simple as that..
Building on the foundation laid outabove, one can sharpen the analysis by invoking the formal ε‑δ definition of a limit. Rather than relying solely on intuition or geometric sketches, the rigorous approach requires finding a δ > 0 such that whenever 0 < √(x−a)²+(y−b)² < δ, the inequality
[ \bigl|f(x,y)-L\bigr|<\varepsilon ]
holds. This often translates into algebraic manipulations that isolate the problematic term and then bound it by a function of √(x−a)²+(y−b)² that can be made arbitrarily small. Here's a good example: to show
[ \lim_{(x,y)\to(0,0)}\frac{x^{3}y}{x^{2}+y^{2}}=0, ]
one may observe that
[\left|\frac{x^{3}y}{x^{2}+y^{2}}\right| \le \frac{|x|^{3}|y|}{x^{2}} = |x||y| \le \frac{1}{2}\bigl(x^{2}+y^{2}\bigr), ]
so choosing δ = √(2ε) guarantees the desired inequality. Such estimates illustrate how the squeeze‑type reasoning extends naturally into the ε‑δ framework Easy to understand, harder to ignore. But it adds up..
Another powerful perspective emerges when we examine limits along curves that approach the point in non‑linear ways. Consider the curve y = x sin(1/x) as x → 0. Substituting this relation into
[\frac{xy}{x^{2}+y^{2}} ]
produces a expression that oscillates but remains bounded by |x|, forcing the overall limit to zero despite the apparent complexity of the path. This demonstrates that the mere existence of a limit along every straight line is insufficient; a comprehensive test must accommodate arbitrary trajectories It's one of those things that adds up. Worth knowing..
When the domain expands to three or more variables, the same principles persist, albeit with richer geometric intuition. But in ℝ³, for example, the distance from a point (a,b,c) is measured by √((x−a)²+(y−b)²+(z−c)²), and the same ε‑δ logic applies. Also worth noting, continuity in higher dimensions can be characterized by the vanishing of all directional derivatives together with a suitable bound on the remainder term, paving the way toward differentiability.
Finally, it is instructive to revisit the notion of “approach from infinity.” Limits such as
[ \lim_{(x,y)\to\infty}\frac{x^{2}-y^{2}}{x^{2}+y^{2}} ]
require a change of variables that compresses the unbounded region into a neighborhood of the origin. By setting u = 1/x and v = 1/y, the problem transforms into evaluating a limit as (u,v) → (0,0), allowing the same toolbox of polar coordinates and squeezing to be employed Easy to understand, harder to ignore..
Boiling it down, mastering limits in several variables hinges on a disciplined blend of geometric insight, algebraic bounding, and formal ε‑δ verification. Think about it: by systematically applying these techniques — whether through coordinate transformation, path analysis, or inequality manipulation — one can confidently discern convergence, divergence, or the subtle behavior that lies between. This systematic methodology not only resolves concrete problems but also cultivates a deeper appreciation for the detailed structure that governs multivariable calculus.
