MAT1052 · Week 8 · Planes and Surfaces, Level Curves, Functions in Several Variables

Quadric surfaces, multivariable functions and level curves

You learn to recognize the six basic quadric surfaces from their equations, to find the domain, range and level curves of a function of two variables, and to show that a two-variable limit does not exist with the two-path test.

quadric surfacetraceellipsoidelliptic paraboloidhyperbolic paraboloidconehyperboloid of one sheethyperboloid of two sheetsfunction of two variablesdomainrangelevel curvecontour maplevel surfacetwo-path testcontinuity

The introductory week of multivariable calculus. We do two things. First you will learn to recognize quadric surfaces in space from their equations: it comes in the exam as an “identify and sketch” question, and you also need it to see the region and the constraint in double integral and Lagrange questions. Then we move on to functions of two variables of the form z=f(x,y)z = f(x,y): domain, range, level curves and limits. When we move on to partial derivatives next week, this language will be ready.

Golden rules:

  1. To recognize a surface, look at its traces: the plane curves you get by holding xx, yy or zz fixed.
  2. Count the signs: how many squares have a minus sign, is the right side 00 or 11, is there a first-degree variable?
  3. In the domain, inside a root ≥0\ge0, inside a logarithm >0>0, denominator ≠0\neq0.
  4. A level curve is f(x,y)=cf(x,y) = c; if the one through a point is asked, compute cc from that point.
  5. In a two-variable limit, if two different paths give different results, the limit does not exist. But a few paths giving the same result does NOT PROVE that the limit exists.

Quadric surfaces

The general form: a second-degree equation in xx, yy, zz. The six types you will meet in this course:

SurfaceStandard equationTrace z=kz = kOther traces
Ellipsoidx2a2+y2b2+z2c2=1\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}+\dfrac{z^2}{c^2} = 1ellipseellipse
Elliptic paraboloidz=x2a2+y2b2z = \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}ellipse (k>0k>0)upward parabola
Hyperbolic paraboloidz=y2b2−x2a2z = \dfrac{y^2}{b^2}-\dfrac{x^2}{a^2}hyperbolaoppositely opening parabolas
Conez2=x2a2+y2b2z^2 = \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}ellipsepair of intersecting lines
Hyperboloid of one sheetx2a2+y2b2−z2c2=1\dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}-\dfrac{z^2}{c^2} = 1ellipse (always exists)hyperbola
Hyperboloid of two sheets−x2a2−y2b2+z2c2=1-\dfrac{x^2}{a^2}-\dfrac{y^2}{b^2}+\dfrac{z^2}{c^2} = 1ellipse (∣k∣≥c\lvert k\rvert\ge c)hyperbola

If a=ba = b, the ellipses turn into circles and the surface is a surface of revolution about the zz axis (like a circular paraboloid, a circular cone).

Recognition template

1) Is there a first-degree variable?  (z = ... ) → paraboloid
     squares with the same sign → elliptic,   opposite signs → hyperbolic (saddle)
2) All squares. Is the constant term 0?  → cone
3) All squares, right side 1 (a positive constant):
     no minus → ellipsoid
     one minus → hyperboloid of one sheet
     two minus → hyperboloid of two sheets
4) Axis: the axis of the "different" variable (the one with the minus sign, or the first-degree one)
5) If a variable is missing altogether → cylinder

Example 1. 4x2+y2+4z2=164x^2+y^2+4z^2 = 16. Divide by 1616: x24+y216+z24=1\dfrac{x^2}{4}+\dfrac{y^2}{16}+\dfrac{z^2}{4} = 1. An ellipsoid; the semi-axis is 22 in the xx and zz directions and 44 in the yy direction. A “football” elongated along the yy axis.

Example 2. y=x2+z2y = x^2+z^2. yy is first degree, the squares have the same sign: a circular paraboloid, its axis is the yy axis, and it opens toward the positive direction of yy. The trace y=4y = 4 is the circle x2+z2=4x^2+z^2 = 4.

Example 3. x2−y2−z2=1x^2-y^2-z^2 = 1. Two minus signs: a hyperboloid of two sheets, the axis is the xx axis (the only positive one). There is no surface for ∣x∣<1\lvert x\rvert<1.

PITFALL · which variable is the axis? In hyperboloids, the axis is the axis of the variable whose sign is different from the others. In x2+y2−z2=1x^2+y^2-z^2 = 1 this is zz; in x2−y2−z2=1x^2-y^2-z^2 = 1 it is xx. If you memorize it as “the one with the minus sign”, you will go wrong in the second example.

The sphere and completing the square

(x−h)2+(y−k)2+(z−l)2=r2(x-h)^2+(y-k)^2+(z-l)^2 = r^2 is the sphere with center (h,k,l)(h,k,l) and radius rr. In an equation written out in full, complete the square for each variable.

Example 4. x2+y2+z2−2x+4y−6z=2x^2+y^2+z^2-2x+4y-6z = 2.

(x−1)2−1+(y+2)2−4+(z−3)2−9=2  ⇒  (x−1)2+(y+2)2+(z−3)2=16.(x-1)^2-1+(y+2)^2-4+(z-3)^2-9 = 2\;\Rightarrow\;(x-1)^2+(y+2)^2+(z-3)^2 = 16.

Center (1,−2,3)(1,-2,3), radius 44. Check: (5,−2,3)(5,-2,3) is 44 units from the center and must satisfy the equation: 25+4+9−10−8−18=225+4+9-10-8-18 = 2 ✓.

Multivariable functions

f(x,y)f(x,y) assigns a number to each point (x,y)(x,y) in the plane. Its graph is the surface z=f(x,y)z = f(x,y) in space. Domain: the points where the formula makes sense. Range: the values taken.

FunctionDomainRange
y−x2\sqrt{y-x^2}y≥x2y\ge x^2 (on and above the parabola)[0,∞)[0,\infty)
1x2+y2−1\dfrac{1}{x^2+y^2-1}everywhere except the unit circle(−∞,−1]∪(0,∞)(-\infty,-1]\cup(0,\infty)
ln⁡(xy)\ln(xy)xy>0xy>0: 1st and 3rd quadrants (axes excluded)R\mathbb R
4−x2−y2\sqrt{4-x^2-y^2}x2+y2≤4x^2+y^2\le4[0,2][0,2]

When drawing the domain, state whether the boundary is included: a solid line if ≥\ge (closed), a dashed line if >> (open).

Level curves

The set of points that satisfy the equation f(x,y)=cf(x,y) = c is a level curve. All the level curves drawn for different values of cc are called a contour map; the contour lines on maps are exactly this.

Example 5. f(x,y)=x2+y2f(x,y) = x^2+y^2: the level curves are x2+y2=cx^2+y^2 = c, centered circles (c>0c>0). When cc increases in equal steps, the circles get closer to each other, because the paraboloid gets steeper outward.

Example 6. f(x,y)=y−x2f(x,y) = y-x^2: the level curves are y=x2+cy = x^2+c, parabolas shifted up.

Example 7. f(x,y)=y2−x2f(x,y) = y^2-x^2: hyperbolas for c≠0c\neq0, the lines y=±xy = \pm x for c=0c=0. The contour map of the saddle surface.

For f(x,y,z)f(x,y,z) of three variables, the same idea gives a level surface: f(x,y,z)=cf(x,y,z) = c. x2+y2+z2=cx^2+y^2+z^2 = c gives concentric spheres.

TIP · contour density. Where the contour lines are close together the function changes quickly (the surface is steep), where they are far apart it changes slowly. The gradient vector in week 10 gives exactly this information and is always perpendicular to the level curve.

Limits and continuity

lim⁡(x,y)→(a,b)f(x,y)=L\displaystyle\lim_{(x,y)\to(a,b)}f(x,y) = L means that ff goes to LL no matter which path the point (x,y)(x,y) approaches (a,b)(a,b) along. In one variable there were only two directions (right, left); in the plane there are infinitely many paths.

Continuity. Polynomials, rational functions on their domains, and their compositions with sin⁡\sin, exe^x, ln⁡\ln,  \sqrt{\ } are continuous. For a continuous function, limit = plugging in: lim⁡(x,y)→(2,1)x2+3yx+y=73\displaystyle\lim_{(x,y)\to(2,1)}\frac{x^2+3y}{x+y} = \frac{7}{3}.

The two-path test

If different limits come out along two different paths, the limit does not exist.

Example 8. x2−y2x2+y2\dfrac{x^2-y^2}{x^2+y^2} at (0,0)(0,0). The xx axis (y=0y=0): x2x2=1\dfrac{x^2}{x^2} = 1. The yy axis (x=0x=0): −y2y2=−1\dfrac{-y^2}{y^2} = -1. No limit.

Example 9 (lines are not enough). x2yx4+y2\dfrac{x^2y}{x^4+y^2}. Along every line y=mxy = mx, mx3x4+m2x2=mxx2+m2→0\dfrac{mx^3}{x^4+m^2x^2} = \dfrac{mx}{x^2+m^2}\to0. But along the parabola y=x2y = x^2, x42x4=12\dfrac{x^4}{2x^4} = \dfrac12. No limit. If lines give you no result, try a curve that equalizes the degrees of the numerator and denominator.

Showing that a limit exists

If the paths give the same result, prove the limit with squeeze: ∣f(x,y)−L∣≤g(x,y)\lvert f(x,y)-L\rvert\le g(x,y) and g→0g\to0. Polar coordinates also work: put x=rcos⁡θx = r\cos\theta, y=rsin⁡θy = r\sin\theta; if the expression goes to 00 as r→0r\to0 independently of θ\theta, the limit is 00.

Common mistakes

WrongCorrect
Confusing a hyperboloid of one sheet with one of two sheetsOne minus: one sheet; two minus: two sheets
Mistaking a hyperbolic paraboloid for a hyperboloidIf there is a first-degree variable, it is a paraboloid
Mistaking a cone for a hyperboloidIf the constant term is 00, it is a cone
Not adding to the right side when completing the squareAdd the same amount to the right as well
≥0\ge0 in the domain of ln⁡\ln>0>0; the boundary is not included
Drawing the graph instead of the level curveThe level curve lives in the xyxy plane
A few lines gave the same result, “the limit exists”Prove it with squeeze or polar
Saying “no limit” when you get 0/00/0Simplify first; factor

Test yourself

Exam-style questions. Solve them on paper first, then reveal the answer.

Question 1easy

Identify the surface z=y2−x2z = y^2 - x^2.

Show answer
Hyperbolic paraboloid (saddle)

zz is first degree, xx and yy are squared with opposite signs: a hyperbolic paraboloid, the saddle shape.
Traces: at x=0x=0, z=y2z = y^2 (a parabola opening up), at y=0y=0, z=−x2z=-x^2 (a parabola opening down), at z=kz=k, hyperbolas.

Question 2medium

Identify the surface x2+y2−z2=1x^2+y^2-z^2 = 1.

Show answer
Hyperboloid of one sheet

All three variables are squared, the right side is 11, and there is one minus sign: a hyperboloid of one sheet. The axis is the axis of the variable with the minus sign, zz.
The trace z=kz=k is x2+y2=1+k2x^2+y^2 = 1+k^2, a circle for every kk: the surface continues without breaking.

Question 3medium

Identify the surface −x2−y2+z2=1-x^2-y^2+z^2 = 1.

Show answer
Hyperboloid of two sheets

Two minus signs: a hyperboloid of two sheets. The trace z=kz=k is x2+y2=k2−1x^2+y^2 = k^2-1; it is empty for ∣k∣<1\lvert k\rvert<1.
So there is no surface between −1<z<1-1<z<1, there are two separate pieces.

Question 4easy

Identify the surface z2=x2+y2z^2 = x^2+y^2.

Show answer
Cone (circular, axis = zz-axis)

The right side is 00 (no constant), squared terms: a cone. The trace z=kz=k is x2+y2=k2x^2+y^2 = k^2, a circle of radius ∣k∣\lvert k\rvert; the apex is the origin.

Question 5medium

Describe the trace of z=4x2+y2z = 4x^2+y^2 in the plane z=4z = 4.

Show answer
The ellipse x2+y24=1x^2 + \frac{y^2}{4} = 1 in the plane z=4z=4

Put z=4z=4: 4x2+y2=44x^2+y^2 = 4, divide by 44: x2+y24=1x^2+\dfrac{y^2}{4} = 1.
The semi-axes are 11 in the xx direction and 22 in the yy direction. The surface is an elliptic paraboloid.

Question 6easy

Find the domain and range of f(x,y)=9−x2−y2f(x,y) = \sqrt{9-x^2-y^2}.

Show answer
Domain x2+y2≤9x^2+y^2\le9, range [0,3][0,3]

The inside of the root cannot be negative: 9−x2−y2≥09-x^2-y^2\ge0, that is, the closed disk of radius 33.
The largest value is at the center: 9=3\sqrt9 = 3. The smallest value is on the boundary circle: 00. The range is [0,3][0,3].
The graph is the upper hemisphere.

Question 7medium

Find the domain of f(x,y)=ln⁡(x−y2)f(x,y) = \ln(x-y^2).

Show answer
{(x,y):x>y2}\{(x,y) : x > y^2\}

ln⁡\ln is defined only for positive numbers: x−y2>0x-y^2>0, x>y2x>y^2.
This is the region to the right of the parabola x=y2x = y^2; the parabola itself is not included (an open region).

Question 8medium

Find the level curve of f(x,y)=x2+4y2f(x,y) = x^2+4y^2 that passes through (2,1)(2,1).

Show answer
x2+4y2=8x^2+4y^2 = 8 (an ellipse)

c=f(2,1)=4+4=8c = f(2,1) = 4+4 = 8. The level curve is x2+4y2=8x^2+4y^2 = 8, that is, x28+y22=1\dfrac{x^2}{8}+\dfrac{y^2}{2} = 1, an ellipse.

Question 9medium

Evaluate lim⁡(x,y)→(1,2)x2y−yx−1\displaystyle\lim_{(x,y)\to(1,2)}\frac{x^2y-y}{x-1}.

Show answer
44

Plugging in directly gives 0/00/0. Factor: y(x2−1)x−1=y(x−1)(x+1)x−1=y(x+1)\dfrac{y(x^2-1)}{x-1} = \dfrac{y(x-1)(x+1)}{x-1} = y(x+1) (x≠1x\neq1).
A polynomial is continuous: 2(1+1)=42(1+1) = 4.

Question 10hard

Show that lim⁡(x,y)→(0,0)xyx2+y2\displaystyle\lim_{(x,y)\to(0,0)}\frac{xy}{x^2+y^2} does not exist.

Show answer
Does not exist

Along the line y=mxy = mx: mx2x2+m2x2=m1+m2\dfrac{mx^2}{x^2+m^2x^2} = \dfrac{m}{1+m^2}.
For m=0m=0 (the xx axis) it is 00, for m=1m=1 (y=xy=x) it is 12\dfrac12. Two paths give different values.
By the two-path test: the limit does not exist.

Question 11hard

Evaluate lim⁡(x,y)→(0,0)x2yx2+y2\displaystyle\lim_{(x,y)\to(0,0)}\frac{x^2y}{x^2+y^2} or show it does not exist.

Show answer
00

The paths all give 00, so prove it with squeeze. Since x2≤x2+y2x^2\le x^2+y^2, x2x2+y2≤1\dfrac{x^2}{x^2+y^2}\le1.∣x2yx2+y2∣≤∣y∣→0\left\lvert\dfrac{x^2y}{x^2+y^2}\right\rvert\le\lvert y\rvert\to0. By the squeeze theorem: the limit is 00.
(With polar coordinates too: rcos⁡2θsin⁡θr\cos^2\theta\sin\theta, ∣⋅∣≤r→0\lvert\cdot\rvert\le r\to0.)

Question 12medium

Find the center and radius of the sphere x2+y2+z2−4x+6z=3x^2+y^2+z^2-4x+6z = 3.

Show answer
Center (2,0,−3)(2,0,-3), radius 44

Complete the square: (x2−4x+4)+y2+(z2+6z+9)=3+4+9(x^2-4x+4)+y^2+(z^2+6z+9) = 3+4+9.(x−2)2+y2+(z+3)2=16(x-2)^2+y^2+(z+3)^2 = 16. Center (2,0,−3)(2,0,-3), radius 44.

Verification: Sphere centers/radii were checked by plugging in points, the range with a grid scan, and the limits along different paths with values very close to (0,0) and by scanning the circle r=1e-6 in node (verify/MAT1052/08.mjs).

Review card

RECOGNIZING QUADRIC SURFACES (axis = the "different" variable): x²/a²+y²/b²+z²/c² = 1 → ellipsoid (all +) z = x²/a²+y²/b² → elliptic paraboloid (one first-degree, squares same sign) z = y²/b²-x²/a² → hyperbolic paraboloid, SADDLE (squares opposite signs) z² = x²+y² (right side 0) → cone x²+y²-z² = 1 → hyperboloid of ONE sheet (one minus) -x²-y²+z² = 1 → hyperboloid of TWO sheets (two minus) A variable is missing → cylinder. Trace: fix one variable Sphere: complete the square → (x-h)²+(y-k)²+(z-l)² = r² Domain: inside √ ≥ 0, inside ln > 0, denominator ≠ 0 Level curve: f(x,y) = c. Through a point: c = f(point) Limit does not exist: two different paths give different values (y=mx, y=x², axes) Limit exists: squeeze |f| ≤ g → 0 or polar r→0