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โaโf(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โalimโf(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โaโg(x)=0, then limxโaโf(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โaโf(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+y2xyโ0โ(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