Historical Context & Motivation
In single-variable calculus you learned to ask, "What value does f(x) approach as x gets close to some number?" That idea is powerful, but the real world rarely depends on just one variable. Temperature on a metal plate depends on both its x- and y-coordinates. Air pressure depends on latitude, longitude, and altitude. Once mathematicians realized they needed to handle functions of several variables, they had to figure out what limits and continuity should mean when a point can be approached from infinitely many directions instead of just two (left and right).
The central question this lesson addresses is deceptively simple: when you can approach a point from every possible direction and along every possible curved path, how do you determine whether a function actually settles on one value? And if it does, what does it mean for the function to be continuous there?
Core Principles & Definitions
Before diving into calculations, let's nail down the foundational ideas that make multivariable limits different from the single-variable version you already know. In one variable, "approaching a point" means sliding along a number line from the left or the right. In two or more variables, you can approach from infinitely many directions—north, south-east, along a parabola, spiraling inward—and the limit must be the same no matter which path you take.
Path Independence
Open Disks Replace Open Intervals
Continuity = Limit Equals Value
Two Paths Test (Disproof Tool)
Squeeze Theorem Generalizes
Visual Explanation — Approaching a Point from Many Paths
The diagram below shows several paths converging on the origin in the xy-plane. Each colored arrow represents a different direction or curve along which (x, y) approaches (0, 0). For a limit to exist, the function's output must approach the same value along every one of these paths (and every other path you can imagine).
Notice the dashed circle—this is the δ-disk. In one variable you check whether f(x) is within ε of L whenever x is within δ of the target. Here you check whether f(x, y) is within ε of L whenever the point (x, y) falls inside a disk of radius δ centered at the target point. The fundamental logic is the same, but the geometry jumps from a line segment to a disk (or, in three variables, a ball).
Mathematical Framework
Let's translate the intuitive ideas from the previous sections into precise mathematical language. Although you may not be asked to write formal proofs at the high-school level, understanding what the notation means will help you reason about limits correctly.
Path Analysis — When Limits Fail
One of the trickiest situations in multivariable calculus occurs when every straight-line path gives the same limiting value, yet the limit still does not exist because some curved path gives a different answer. The classic example is the function f(x, y) = xy² / (x² + y⁴). Let's see why path analysis matters so much.
The diagram illustrates a powerful technique. When you substitute a path like y = mx into f(x, y), the function reduces to a single-variable expression in x. If the resulting limit depends on the slope m, then different directions give different answers, and the multivariable limit does not exist. This strategy is called the two-paths test, even though you often try several paths to build intuition before settling on two that disagree.
Worked Example
Let's work through two complete examples: one where the limit exists and one where it does not.
Example A — Limit Exists
Example B — Limit Does Not Exist
Single-Variable vs. Multivariable — Strengths & Limitations
Understanding where single-variable intuition still works—and where it breaks down—is crucial for mastering multivariable limits. The table below highlights the most important contrasts.
| Feature | Single-Variable f(x) | Multivariable f(x, y) |
|---|---|---|
| Approach directions | Two: left and right | Infinitely many: every direction, line, curve |
| Neighborhood shape | Open interval (a − δ, a + δ) | Open disk of radius δ (or ball in 3-D) |
| Proving limit DNE | Show left ≠ right limit | Find any two paths with different limits |
| Proving limit exists | Show left = right (or direct ε–δ) | Squeeze Theorem, polar coordinates, or ε–δ proof |
| Continuity definition | lim f(x) = f(a) | lim f(x, y) = f(a, b); same three conditions |
| Algebraic shortcuts | Factor, rationalize, L'Hôpital's Rule | Same, plus convert to polar; L'Hôpital does not directly apply |
Connection to Advanced Theory
The concepts in this lesson form the bedrock for more advanced topics in multivariable calculus. Once you're comfortable with limits and continuity, several powerful ideas open up.
| This Lesson's Concept | Where It Leads |
|---|---|
| Multivariable limit definition | Partial derivatives — defined as limits of difference quotients in each variable separately |
| Continuity of f(x, y) | Differentiability — a stronger condition than having partial derivatives; requires continuity of partials |
| δ-disk neighborhoods | Topology of ℝⁿ — open sets, closed sets, compact sets, and boundary points |
| Path independence of limits | Directional derivatives & gradients — studying the rate of change in any direction, not just along axes |
| Squeeze Theorem in 2-D | Polar/spherical coordinate techniques — converting to r and θ often simplifies squeeze arguments dramatically |
A particularly useful extension is converting to polar coordinates (x = r cos θ, y = r sin θ) when evaluating limits at the origin. In polar form, the distance from the origin is simply r, and you need to show that the expression approaches L as r → 0 regardless of θ. If the result depends on θ, the limit does not exist. This technique bridges nicely into the gradient and directional derivative concepts you will encounter next.
Practice Problems
Lesson Summary
A multivariable limit extends the single-variable concept by requiring that f(x, y) approach the same value L along every possible path toward the target point. Instead of checking only left and right, you must consider infinitely many directions and curves. The two-paths test is a powerful disproof tool: if any two paths yield different limiting values, the limit does not exist. However, agreement along all straight lines is not enough to prove existence—curved paths must be checked as well.
To prove a limit exists, use a global argument such as the Squeeze Theorem or a formal ε–δ proof. Neighborhoods change from intervals to δ-disks (or balls in higher dimensions). A function f(x, y) is continuous at (a, b) when f(a, b) is defined, the limit exists, and the limit equals f(a, b)—the same three-part definition from single-variable calculus. These ideas are the foundation for partial derivatives, differentiability, and the gradient that you'll study next.