Limits & Continuity: Multivariable — Limits and Continuity in Multivariable Functions (Conceptual)

Historical Context & Motivation

The study of limits has been central to calculus since the discipline's inception, but extending the concept from one variable to two or more variables introduced fundamentally new challenges. In single-variable calculus, a point on the real number line can be approached from only two directions—left and right—making limit analysis relatively straightforward. When Augustin-Louis Cauchy and Karl Weierstrass formalized the epsilon-delta definition in the nineteenth century, they laid the groundwork for rigorous analysis, but the full implications for functions of several variables would take decades to explore. The transition to multivariable limits forced mathematicians to confront the richness of approaching a point from infinitely many paths in the plane or in higher-dimensional spaces.

The central question that multivariable limit theory addresses is deceptively simple: when we say that f(x, y) → L as (x, y) → (a, b), what exactly do we mean, and how can we verify or disprove it? Unlike the single-variable case, the answer requires confronting the fact that there are infinitely many directions and curved paths along which a point can be approached in the plane. This richness is both the beauty and the difficulty of multivariable calculus.

Core Principles & Definitions

Extending limits to functions of two or more variables requires a careful rethinking of what it means for an input to be 'close' to a target point. In single-variable calculus, closeness is measured by |x − a|, a simple distance on the number line. In multivariable calculus, we replace this with the Euclidean distance in the plane (or in ℝⁿ), and 'approaching from both sides' becomes 'approaching from every possible direction and path.' The following core principles form the conceptual foundation for multivariable limits and continuity.

Visual Explanation — Approaching a Point from Multiple Paths

The diagram below illustrates the fundamental difference between single-variable and multivariable limit analysis. On the left, a single-variable function is approached from only two directions along the x-axis. On the right, a point in the xy-plane is approached along multiple distinct paths—a straight line through the origin, a parabolic curve, and a spiral—each of which may yield a different limiting value for the function.

Notice the critical geometric distinction: the δ-disk in the right panel is a two-dimensional open neighborhood. For the limit to exist, every path entering this disk and converging to (a, b) must produce the same limiting value of f(x, y). This is a vastly stronger condition than the single-variable case, which is precisely why many multivariable limits that 'look like they should exist' turn out not to. The visual also hints at a practical strategy: if you can find even two paths that yield different values, you have conclusively shown the limit does not exist.

Mathematical Framework

The formal definition of a multivariable limit mirrors the single-variable epsilon-delta definition but replaces absolute-value distance with Euclidean distance in ℝⁿ. We present the definition for functions of two variables; the generalization to n variables is immediate.

In practice, directly constructing an ε–δ proof can be challenging. Two complementary strategies dominate the toolkit. The first is the two-path test for showing a limit does not exist: evaluate the function along two different paths approaching (a, b) and show the resulting limits disagree. The second is the Squeeze Theorem (also called the Squeeze Lemma or Sandwich Theorem) for proving a limit does exist.

Path Analysis & Polar Coordinates — A Detailed Breakdown

The most instructive and frequently encountered examples of multivariable limits involve rational functions that are undefined at the origin. Consider the classic function f(x, y) = xy/(x² + y²). The diagram below illustrates how different approach paths in the xy-plane produce different limiting values, establishing that the limit at the origin does not exist.

The polar coordinate technique offers a systematic alternative to ad hoc path testing. By setting x = r cos θ and y = r sin θ, the function f(x, y) = xy/(x² + y²) becomes r² cos θ sin θ / r² = cos θ sin θ = (sin 2θ)/2. Since this expression depends on θ and not just r, its value changes with direction, confirming the limit does not exist. Conversely, when a polar substitution yields an expression that depends only on r (and vanishes as r → 0), the limit exists. For example, f(x, y) = (x²y)/(x² + y²) becomes r³ cos²θ sin θ / r² = r cos²θ sin θ. Since |cos²θ sin θ| ≤ 1, we have |f| ≤ r → 0, so by the Squeeze Theorem the limit is 0.

Worked Example — Proving a Limit Exists via Polar Coordinates

We demonstrate a full solution for proving a multivariable limit using polar coordinate conversion and the Squeeze Theorem. Consider the problem: evaluate lim₍₍ₓ,ᵧ₎→₍₀,₀₎₎ (x² − y²) sin(xy) / (x² + y²), or show the limit does not exist.

Comparing Limit Techniques — Strengths & Limitations

Multiple techniques exist for evaluating or disproving multivariable limits, and each has a specific domain of effectiveness. Understanding when to deploy each method is as important as mastering the mechanics. The following table summarizes the strengths and weaknesses of the four primary approaches.

Connection to Advanced Theory — Topology, Differentiability, and Beyond

The concepts of limits and continuity in ℝ² are not merely exercises in computation—they form the foundation for all subsequent multivariable calculus. Differentiability of a multivariable function requires continuity as a prerequisite, and the existence of partial derivatives at a point does not guarantee continuity—a stark contrast with single-variable calculus. Understanding this distinction early prevents significant confusion when studying partial derivatives, gradients, and the chain rule in higher dimensions.

Looking ahead, the concept of continuity extends further into topology, where a function between topological spaces is continuous if and only if the preimage of every open set is open. This abstract definition encompasses all the ε–δ notions studied here as special cases. In the context of Calculus 3, the most immediate payoff of understanding multivariable continuity comes in the study of differentiability (total derivative, Jacobian matrices), iterated integrals (where continuity ensures the order of integration can be exchanged via Fubini's theorem), and the Implicit Function Theorem, which requires continuity of partial derivatives as a hypothesis.

Practice Problems

Lesson Summary