Limits & Continuity for Multivariable Functions
1259 words
6 min read
Visual companion
Python
Type and operator map
Python Week 1: the first filter for runtime behavior
View
Revision summary
What this note is really saying
Short form
# Limits & Continuity for Multivariable Functions ## 🎯 Learning Objectives After this topic you will be able to: - Evaluate limits of multivariable functions along different paths - Determine when a limit does not exist using path dependence - Use the epsilon-delta definition of continuity - Apply the squeeze theor...

Limits & Continuity for Multivariable Functions
🎯 Learning Objectives
After this topic you will be able to:
- Evaluate limits of multivariable functions along different paths
- Determine when a limit does not exist using path dependence
- Use the epsilon-delta definition of continuity
- Apply the squeeze theorem for multivariable limits
- Understand that continuity in each variable separately does not imply joint continuity
📋 Prerequisites
- Multivariable Functions (this week) — notation for f:Rn→R
- Single-variable limits (BSMA1001) — limit definition, squeeze theorem
- Limits are the foundation of calculus; continuity is essential for differentiability
1. Intuition: Approaching a Point from All Directions
In single-variable calculus, x→a can happen from the left or the right. For multivariable functions, x→a can happen along infinitely many paths — straight lines, curves, spirals.
For a limit to exist, the function must approach the same value no matter which path is taken.
(Diagram)
2. Limits in Rn
2.1 Definition
>0<∥x−a∥<δ⟹∣f(x)−L∣<ϵ>Definition (Limit). limx→af(x)=L if for every ϵ>0, there exists δ>0 such that:
2.2 Path Dependence
To show a limit does not exist (DNE), find two paths to a that give different limits.
Common paths to test:
- y=0 (approach along x-axis)
- x=0 (approach along y-axis)
- y=mx (approach along any line)
- y=kx2 (approach along parabola)
- x=0, y=0 (coordinate axes)
Example 1: Limit existsf(x,y)=x2+y2x2y. Find lim(x,y)→(0,0)f(x,y).
| Path | Result |
|---|---|
| y=0 | f(x,0)=0→0 |
| x=0 | f(0,y)=0→0 |
| y=mx | f(x,mx)=x2+m2x2x2(mx)=1+m2mx→0 |
| y=x2 | f(x,x2)=x2+x4x2(x2)=x2(1+x2)x4=1+x2x2→0 |
All paths give 0. Use squeeze theorem to confirm: ∣f(x,y)∣=x2+y2x2∣y∣≤∣y∣ (since x2+y2x2≤1). As (x,y)→(0,0), ∣y∣→0, so ∣f∣→0. Limit = 0 ✓. Example 2: Limit DNE (path dependence)f(x,y)=x2+y2xy. Find lim(x,y)→(0,0)f(x,y).
| Path | Result |
|---|---|
| y=0 | f(x,0)=0→0 |
| x=0 | f(0,y)=0→0 |
| y=mx | f(x,mx)=x2+m2x2x(mx)=1+m2m |
| y=x | f(x,x)=2x2x2=21 |
| y=2x | f(x,2x)=5x22x2=52 |
Different lines give different limits (0, 1/2, 2/5, ...). Limit DNE.
3. Continuity
3.1 Definition
>x→alimf(x)=f(a)>Definition (Continuity). f is continuous at a if:
3.2 Properties
- Sums, products, and quotients (where denominator ≠ 0) of continuous functions are continuous
- Compositions of continuous functions are continuous
- Polynomials in several variables are continuous everywhere
- Rational functions are continuous where the denominator ≠ 0
4. The Squeeze Theorem
Theorem (Squeeze). If ∣f(x)−L∣≤g(x) near a and limx→ag(x)=0, then limx→af(x)=L. Example 3: Using squeeze theoremf(x,y)=x2+y2x3. Show lim(x,y)→(0,0)f(x,y)=0.∣f(x,y)∣=x2+y2∣x∣3=∣x∣⋅x2+y2x2≤∣x∣.Since ∣x∣→0 as (x,y)→(0,0), by squeeze theorem ∣f∣→0. ✓
5. Common Pitfalls
❌ Pitfall 1: Checking only lines
Showing the limit along every line agrees does not prove the limit exists — there could be a parabolic or spiral path with a different limit.
❌ Pitfall 2: Using polar coordinates incorrectly
Converting to polar can help, but you must show the limit is independent of θ as r→0.
❌ Pitfall 3: Separate continuity ≠ joint continuity
f(x,y)=x2+y2xy (with f(0,0)=0) is continuous in x for each y and in y for each x, but not continuous in (x,y) jointly.
6. Formula Summary Table
| Concept | Key Idea |
|---|---|
| Multivariable limit | limx→af(x)=L if all paths agree |
| Path test | If two paths give different limits, limit DNE |
| Continuity | limf(x)=f(a) |
| Squeeze theorem | $ |
7. 📝 Practice Questions
>f(x,y)={x2+y2xy0(x,y)=(0,0)(0,0)>Q1: Limit along linesf(x,y)=x2+y2x2−y2. Does lim(x,y)→(0,0)f exist?Solution: Along y=0: f(x,0)=1→1. Along x=0: f(0,y)=−1→−1. Different limits ⇒ DNE. Q2: Limit existsf(x,y)=ysin(xy). Does lim(x,y)→(0,0)f exist?Solution: Along y=0? Not defined. Use the fact sin(u)/u→1. Write ysin(xy)=x⋅xysin(xy). As (x,y)→(0,0), xy→0, so xysin(xy)→1. Therefore f(x,y)→0⋅1=0. Limit = 0. Q3: Limit DNE — parabolic pathf(x,y)=x4+y2x2y. Show lim(x,y)→(0,0)f DNE.Solution: Along y=mx: f(x,mx)=x4+m2x2mx3=x2+m2mx→0 for m=0. Along y=x2: f(x,x2)=x4+x4x2(x2)=2x4x4=21. Different limits (0 vs 1/2) ⇒ DNE. Q4: Squeeze theoremf(x,y)=x2+y2x2y2. Show limf=0 at (0,0).Solution: 0≤x2+y2x2y2≤x2+y2(x2+y2)(x2+y2)=x2+y2 (since x2y2≤(x2+y2)2/4, actually x2y2≤(x2+y2)2/4). Better: 0≤x2+y2x2y2≤x2+y2x2(x2+y2)=x2 (since y2≤x2+y2). As x→0, x2→0, so limit = 0 by squeeze. Q5: ContinuityIs
continuous at (0,0)?Solution: Earlier we showed the limit DNE along different lines. So limf=f(0,0)=0. f is not continuous at (0,0). Q6: Making a function continuousDefine f(0,0) to make f(x,y)=x2+y2x2y continuous.Solution: From Example 1, lim(x,y)→(0,0)f=0. Define f(0,0)=0. Q7: Polar coordinatesUse polar coordinates to evaluate lim(x,y)→(0,0)x2+y2x3.Solution: x=rcosθ, y=rsinθ. x2+y2x3=r2r3cos3θ=rcos3θ. As r→0, rcos3θ→0 regardless of θ. Limit = 0. Q8: Continuity of rational functionWhere is f(x,y)=x−yx+y continuous?Solution: f is a rational function, continuous everywhere except where denominator =0, i.e., x−y=0 or y=x. It's continuous on R2∖{y=x}. Q9: Limit of compositionlim(x,y)→(0,0)sin(x2+2y2x2+y2)Solution: x2+2y2x2+y2 is bounded between 21 and 1 (when y=0, it's 1; when x=0, it's 1/2). But the limit as (x,y)→(0,0) depends on path. Along y=0: ratio =1, sin(1). Along x=0: ratio =1/2, sin(1/2). Different limits ⇒ limit of the composition DNE. Q10: Epsilon-delta proofProve lim(x,y)→(0,0)3x−2y+1=1 using ϵ-δ.Proof: Given ϵ>0, choose δ=ϵ/5 (or ϵ/3). If ∥(x,y)∥=x2+y2<δ, then ∣3x−2y+1−1∣=∣3x−2y∣≤3∣x∣+2∣y∣≤5x2+y2<5δ=ϵ. Thus limf=1. ✓
🔗 Cross-References
- Next topic: Partial Derivatives (review)
- Week 10 (Critical Points): Continuity is needed for the extreme value theorem
- Week 11 (Differentiability): Differentiability implies continuity
- BSMA1001 (Maths 1): Single-variable limits and continuity Join Discord Previous9.2 Gradient & Directional DerivativesNext10.1 Tangent Planes