Problems Sol
Problems Sol
Problem Sheets
Autumn Semester 2024
MANOJ KESHARI
SWAPNEEL MAHAJAN
Department of Mathematics
Indian Institute of Technology Bombay
Powai, Mumbai 400076, India
Contents
Tutorial problems
1
2 1. TUTORIAL PROBLEMS
1.1. Sequences
(1) Using (ϵ-N ) definition prove the following:
10
(i) lim = 0.
n→∞ n
5
(ii) lim = 0.
n→∞ 3n + 1
2/3
n sin(n!)
(iii) lim = 0.
n→∞ n + 1
n n+1
(iv) lim − = 0.
n→∞ n+1 n
(2) Show that
the following limits exist and find them :
n n n
(i) lim 2
+ 2 + ··· + 2 .
n→∞
n + 1 n + 2 n +n
n!
(ii) lim n
.
n 3
n→∞
n + 3n2 + 1
(iii) lim .
n→∞ n4 + 8n2 + 2
(iv) lim (n)1/n .
n→∞ √
cos π n
(v) lim .
n→∞ n2
√ √ √
(vi) lim n n+1− n .
n→∞
(3) Show that the following sequences are not convergent :
n2
(i) { }n≥1 .
n + 1
1 1
(ii) (−1)n − .
2 n n≥1
(4) Determine
whether the sequences are increasing or decreasing:
n
(i) .
n2 + 1 n≥1
n n
2 3
(ii) .
5n+1 n≥1
1−n
(iii) .
n2 n≥2
(5) Prove that the following sequences are convergent by showing that they are
monotone and bounded. Also
find their limits :
1 2
(i) a1 = 1, an+1 = an + for all n ≥ 1.
√ 2 an
√
(ii) a1 = 2, an+1 = 2 + an for all n ≥ 1.
an
(iii) a1 = 2, an+1 = 3 + for all n ≥ 1.
2
(6) If lim an = L, find the following : lim an+1 , lim |an |.
n→∞ n→∞ n→∞
(7) If lim an = L ̸= 0, show that there exists n0 ∈ N such that
n→∞
|L|
|an | ≥ for all n ≥ n0 .
2
1/2
(8) If an ≥ 0 and lim an = 0, show that lim an = 0.
n→∞ n→∞
1.1. SEQUENCES 3
lim [f (α + h) − f (α − h)] = 0.
h→0
|f (x + h) − f (x)| ≤ C|h|α
for all x, x + h ∈ (a, b), where C is a constant and α > 1. Show that f is
′
differentiable on (a, b) and compute f (x) for x ∈ (a, b).
(7) If f : (a, b) → R is differentiable at c ∈ (a, b), then show that
f (c + h) − f (c − h)
lim
h→0+ 2h
′
exists and equals f (c). Is the converse true ? [Hint: Consider f (x) = |x|.]
(8) Let f : R → R satisfy
dy
(10) Compute , given
dx
2x − 1 ′
y=f andf (x) = sin(x2 ).
x+1
Optional Exercises:
(11) Construct an example of a function f : R → R which is continuous every where
and is differentiable
everywhere except at 2 points.
1, if x is rational,
(12) Let f (x) =
0, if x is irrational.
Show thatf is discontinuous at every c ∈ R.
x, if x is rational,
(13) Let g(x) =
1 − x, if x is irrational.
Show that g is continuous only at c = 1/2.
(14) Let f : (a, b) → R and c ∈ (a, b) be such that lim f (x) > α. Prove that there
x→c
exists some δ > 0 such that
f (c + h) > α for all 0 < |h| < δ.
(See also question 7 of Tutorial Sheet 1.)
(15) Let f : (a, b) → R and c ∈ (a, b). Show that the following are equivalent :
(i) f is differentiable at c.
(ii) There exist δ > 0 and a function ϵ1 : (−δ, δ) → R such that limh→0 ϵ1 (h) =
0 and
f (c + h) = f (c) + αh + hϵ1 (h) for all h ∈ (−δ, δ).
(iii) There exists α ∈ R such that
|f (c + h) − f (c) − αh|
lim = 0.
h→0 |h|
6 1. TUTORIAL PROBLEMS
(5) Let f (x) = 1 if x ∈ [0, 1] and f (x) = 2 if x ∈ (1, 2]. Show from the first principle
Z 2
that f is Riemann integrable on [0, 2] and find f (x)dx.
0
(6) (a) Let f : [a, b] → R be Riemann integrable and f (x) ≥ 0 for all x ∈ [a, b].
Z b Z b
Show that f (x)dx ≥ 0. Further, if f is continuous and f (x)dx = 0,
a a
show that f (x) = 0 for all x ∈ [a, b].
(b) Give an example of a Riemann integrable function on [a, b] such that f (x) ≥ 0
Z b
for all x ∈ [a, b] and f (x)dx = 0, but f (x) ̸= 0 for some x ∈ [a, b].
a
(7) Evaluate lim Sn by showing that Sn is an approximate Riemann sum for a
n→∞
suitable function over a suitable interval:
n
1 X 3/2
(i) Sn = 5/2 i .
n i=1
n
X n
(ii) Sn = 2 + n2
.
i=1
i
n
X 1
(iii) Sn = √ .
i=1
in + n2
n
1X iπ
(iv) Sn = cos .
n i=1 n
( n 2n 3/2 3n 2 )
1 X i X i X i
(v) Sn = + + .
n i=1 n i=n+1
n i=2n+1
n
8 1. TUTORIAL PROBLEMS
(8) Compute Z y
d2 y dt
(a) , if x = √ .
dx2 0 1 + t2
Z 2x Z x2
dF
(b) , if for x ∈ R (i) F (x) = cos(t2 )dt (ii) F (x) = cos(t)dt.
dx 1 0
(9) Let p be a real number and let f be a continuous function on R that satisfies the
Z a+p
equation f (x+p) = f (x) for all x ∈ R. Show that the integral f (t)dt has the
Z aa+p
same value for every real number a. (Hint : Consider F (a) = f (t)dt, a ∈ R.)
a
(10) Let f : R → R be continuous and λ ∈ R, λ ̸= 0. For x ∈ R, let
1 x
Z
g(x) = f (t) sin λ(x − t)dt.
λ 0
′′ ′
Show that g (x) + λ2 g(x) = f (x) for all x ∈ R and g(0) = 0 = g (0).
1.5. LENGTH, AREA, VOLUME 9
exist and both are equal to 0, but lim f (x, y) does not exist.
(x,y)→(0,0)
(6) Examine the following functions for the existence of partial derivatives at (0, 0).
The expressions below give the value at (x, y) ̸= (0, 0). At (0, 0), the value should
be taken as zero.
x2 − y 2
(i) xy 2
x + y2
sin2 (x + y)
(ii)
|x| + |y|
(7) Let f (0, 0) = 0 and
1
f (x, y) = (x2 + y 2 ) sin for (x, y) ̸= (0, 0).
x2 + y 2
Show that f is continuous at (0, 0), and the partial derivatives of f exist, but are
not bounded in any disc (how so ever small) around (0, 0).
(8) Let f (0, 0) = 0 and
x sin(1/x) + y sin(1/y), if x ̸= 0, y ̸= 0
f (x, y) = x sin 1/x, if x ̸= 0, y = 0
y sin 1/y, if y ̸= 0, x = 0.
1.6. MULTIVARIABLES, LIMITS, CONTINUITY 11
Show that none of the partial derivatives of f exist at (0, 0) although f is con-
tinuous at (0, 0).
(9) Examine the following functions for the existence of directional derivatives and
differentiability at (0, 0). The expressions below give the value at (x, y) ̸= (0, 0).
At (0, 0), the value should be taken as zero:
x2 − y 2
(i) xy 2
x + y2
x3
(ii) 2
x + y2
1
(iii) (x2 + y 2 ) sin 2
x + y2
(10) Let f (x, y) = 0 if y = 0 and
y p 2
f (x, y) = x + y 2 if y ̸= 0.
|y|
Show that f is continuous at (0, 0), Du f (0, 0) exists for every vector u, yet f is
not differentiable at (0, 0).
12 1. TUTORIAL PROBLEMS
Sketch the region of integration and evaluate the integral by expressing the order
of integration as dxdydz.
14 1. TUTORIAL PROBLEMS
C x2 + y 2
where C is the curve x2 + y 2 = a2 traversed once in the anticlockwise direction.
(10) Calculate I
ydx + zdy + xdz
C
where C is the intersection of two surfaces z = xy and x2 + y 2 = 1 traversed
once in a direction that appears anticlockwise when viewed from high above the
xy-plane.
1.10. LINE INTEGRALS AND APPLICATIONS 17
(8) Let C be any closed curve in the plane. Compute ∇(x2 − y 2 ) · n|ds|.
C
1.11. GREEN’S THEOREM AND APPLICATIONS 19
(9) Green’s
Z Z Identities are Ias follows:
∂w
(i) ∇2 w dxdy = |ds|.
Z ZD ∂D ∂n I
∂w
(ii) [w∇2 w + ∇w · ∇w] dxdy = w |ds|.
I D ZZ ∂D ∂n
∂w ∂v
(iii) v −w |ds| = (v∇2 w − w∇2 v) dxdy.
∂D ∂n ∂n D
Here ∇2 w is the divergence of the gradient of w. Also, ∂w ∂n is the same as ∇w · n.
(a) Use (i) to compute I
∂w
|ds|
C ∂n
for w = ex sin y, and D the triangle with vertices (0, 0), (4, 2), (0, 2).
(b) Let D be a plane region bounded by a simple closed curve C and let F, G :
U −→ R2 be smooth functions where U is a region containing D ∪ C such that
curl F = curl G, div F = div G on D ∪ C
and
F · n = G · n on C,
where n is the unit normal to the curve. Show that F = G on D.
(10) Evaluate the following line integrals where the loops are traced in the anti-
clockwise sense
(i)
y dx − x dy
I
2 2
C x +y
where C is any simple closed curve not passing through the origin.
(ii)
x2 ydx − x3 dy
I
,
C (x2 + y 2 )2
where C is the square with vertices (±1, ±1).
(iii) Let C be a smooth simple closed curve lying in the annulus 1 < x2 +y 2 <
2. Find I
∂(log r) ∂(log r)
dx − dy.
C ∂y ∂x
20 1. TUTORIAL PROBLEMS
(10) Solve the previous exercise when S includes the planar base of the hemisphere
also with the outward unit normal on the base being (0, 0, −1).
22 1. TUTORIAL PROBLEMS
Answers
24
2.1. TUTORIAL SHEET 1 25
(3) ∇(x2 − y 2 ) · ds = 0.
IC
1
(7) (i) F · n|dS| = .
S 2
(ii) Explicitly, surface is z = 1 − x − y. Area(S1∗ = 1/2).
(8) 0.
(9) 2π
3 .
2π
(10) .
3
2.13. TUTORIAL SHEET 13 37
Solutions
a = max{a1 , a2 , . . . , am }
and
b = min{b1 , b2 , . . . , bm }.
Note that a ≤ b. (Indeed, here a = ak for some k and b = bl for some bl ; if
ak = a > b = bl , then [ak , bk ] would not intersect [al , bl ] forcing I to be empty).
Now one has, for any n, an ≤ a ≤ b ≤ bn so that [a, b] ⊂ [an , bn ] for every n; thus
m
\
[a, b] ⊂ [an , bn ].
n=1
Next, any number p that is strictly less than a = ak does not belong to the
interval [ak , bk ]; also, any number q that is strictly greater than b = bl does not
belong to the interval [al , bl ]; this shows that
m
\
[an , bn ] ⊂ [a, b].
n=1
39
40 3. SOLUTIONS
(iii) The statement is true since limx→c f (x)g(x) = limx→c f (x) limx→c g(x).
(2) Let limx→α f (x) = L. It follows from
|f (α + h) − f (α − h)| ≤ |f (α + h) − L| + |f (α − h) − L|
that
lim |f (α + h) − f (α − h)| = 0.
h→0
The converse is false; e.g. consider α = 0 and
1 if x = 0
f (x) = 1
|x| if x ̸= 0.
(3) (i) Continuous everywhere except at x = 0. This can be seen in part by
considering the sequences {xn }n≥1 , {yn }n≥1 where
1 1
xn := andyn := π .
nπ 2nπ + 2
Note that both xn , yn → 0, but
f (xn ) → 0, andf (yn ) → 1.
(ii) Continuous everywhere. For ascertaining the continuity of f at x = 0, note
that |f (x)| ≤ |x| and f (0) = 0.
(iii) Continuous everywhere on [1, 3] except at x = 2.
(4) Taking x = 0 = y, we get f (0 + 0) = 2f (0) so that f (0) = 0. By the assumption
of the continuity of f at 0, limx→0 f (x) = 0. Thus,
lim f (c + h) = lim [f (c) + f (h)] = f (c)
h→0 h→0
showing that f is continuous at x = c.
Optional: First verify the equality for all k ∈ Q and then use the continuity of
f to establish it for all k ∈ R.
(5) Clearly, f is differentiable for all x ̸= 0 and the derivative is
1 1
f ′ (x) = 2x sin( ) − cos( ), x ̸= 0.
x x
Also,
h2 sin( h1 ) − 0
f ′ (0) = lim = 0.
h→0 h
Clearly, f ′ is continuous at any x ̸= 0. However, lim f ′ (x) does not exist. Indeed,
x→0
for any δ > 0, we can choose n ∈ N such that
1 1
x := , y := ∈ (−δ, δ);
nπ (n + 1)π
44 3. SOLUTIONS
1 ′
[f (c) + f ′ (c)] = f ′ (c).
=
2
The converse is false; consider, for example, f (x) = |x| and c = 0.
(8)
2
f (x + y) = f (x)f (y) ⇒ f (0) = f (0) ⇒ f (0) = 0 or 1.
If f (0) = 0, then
f (x + 0) = f (x)f (0) ⇒ f (x) = 0 for all x.
Thus, trivially, f is differentiable. If f (0) = 1, then
′ f (c + h) − f (c) f (h) − f (0)
f (c) = lim = f (c) lim = f ′ (0)f (c).
h→0 h h→0 h
(9) (i) Let f (x) = cos(x). Then f ′ (x) = − sin(x) ̸= 0 for x ∈ (0, π).
Thus g(y) = f −1 (y) = cos−1 (y), −1 < y < 1 is differentiable
and
1
g ′ (y) = ′ , where x is such that f (x) = y.
f (x)
Therefore,
−1 −1 −1
g ′ (y) = =p =p .
sin(x) 2
1 − cos (x) 1 − y2
(ii) Note that
1
cosec−1 (x) = sin−1 for |x| > 1.
x
Since
d 1
sin−1 (x) = √ for |x| < 1,
dx 1 − x2
one has, by the chain rule,
d 1 −1
cosec−1 (x) = q ( ), |x| > 1.
dx (1 − 1 x2
x2 )
3.2. TUTORIAL SHEET 2 45
(10)
dy 2x − 1 d 2x − 1
= f′
dx x + 1 dx x + 1
2 2
2x − 1 3 3 2x − 1
= sin = sin .
x+1 (x + 1)2 (x + 1)2 x+1
(11) f (x) : |x| + |1 − x|
(12) For c ∈ R, select a sequence {an }n≥1 of rational numbers and a sequence
{bn }n≥1 of irrational numbers, both converging to c. Then {f (an )}n≥1 converges
to 1 while {f (bn )}n≥1 converges to 0, showing that limit of f at c does not exist.
(13) Let c ̸= 1/2.If {an }n≥1 is a sequence of rational numbers and {bn }n≥1 a
sequence of irrational numbers, both converging to c, then g(an ) = an → c,
while g(bn ) = 1 − bn → 1 − c, and c ̸= 1 − c. Thus g is not continuous at
any c ̸= 1/2. Further, if {an }n≥1 is any sequence converging to c = 1/2, then
g(an ) → 1/2 = g(1/2). Hence, g is continuous at c = 1/2.
(14) Let L = limx→c f (x). For ϵ = L − α, choose a δ such that
|f (c + h) − L| < ϵfor 0 < |h| < δ;
then f (c + h) > L − ϵ = α for 0 < |h| < δ.
f (c+h)−f (c)−αh
, if h ̸= 0
(15) (i) ⇒ (ii) : Take α = f ′ (c) and ϵ1 (h) = h
0, if h = 0.
|f (c + h) − f (c) − αh|
(ii) ⇒ (iii) : lim = lim |ϵ1 (h)| = 0
h→0 |h| h→0
f (c + h) − f (c) f (c + h) − f (c)
(iii) ⇒ (i) : lim − α = 0 ⇒ lim exists
h→0 h h→0 h
and in fact is equal to α.
46 3. SOLUTIONS
for |x| very large. Thus f (x) > 0 if x is large positive and f (x) < 0 if x is large
negative. By the Intermediate Value Property (IVP) f must have at least one
root.
(3) By the IVP, there exists at least one x0 ∈ (a, b) such that f (x0 ) = 0. If
there were another y0 ∈ (a, b) such that f (y0 ) = 0, then by Rolle’s theorem there
would exist some c between x0 and y0 (and hence between a and b) with f ′ (c) = 0,
leading to a contradiction.
(4) Since f has 3 distinct roots say r1 < r2 < r3 , by Rolle’s theorem f ′ (x) has at
least two real roots, say, x1 and x2 such that r1 < x1 <pr2 and r2 < xp 2 < r3 .
Since f ′ (x) = 3x2 + p, this implies that p < 0, and x1 = − −p/3, x2 = −p/3.
Now, f ′′ (x1 ) = 6x1 < 0 =⇒ f has a local maximum at x = x1 . Similarly, f
has a local minimum at x = x2 . Since the quadratic f ′ (x) is negative between
its roots x1 and x2 (so that f is decreasing over [x1 , x2 ]) and f has a root r2 in
(x1 , x2 ), we must have f (x1 ) > 0 and f (x2 ) < 0. Further,
r r
−4p3 −4p3
f (x1 ) = q + , f (x2 ) = q −
27 27
so that
4p3 + 27q 2
= f (x1 )f (x2 ) < 0.
27
(5) For some c between a and b, one has
sin(a) − sin(b)
= | cos(c)| ≤ 1.
a−b
(6) By Lagrange’s Mean Value Theorem (MVT) there exists c1 ∈ a, (a+b)
2 such
that
f a+b
− f (a)
2
b−a
= f ′ (c1 )
2
a+b
and there exists c2 ∈ 2 ,b such that
a+b
f (b) − f
b−a
2
= f ′ (c2 ).
2
3.3. TUTORIAL SHEET 3 47
Clearly one has c1 < c2 , and adding the above equations one obtains
f (b) − f (a)
f ′ (c1 ) + f ′ (c2 ) = b−a
= 2 (as f (b) = b, f (a) = a).
2
(7) By Lagrange’s MVT, there exists c1 ∈ (−a, 0) and there exists c2 ∈ (0, a) such
that
f (0) − f (−a) = f ′ (c1 )a and f (a) − f (0) = f ′ (c2 )a.
Using the given conditions, we obtain
f (0) + a ≤ a and a − f (0) ≤ a
which implies f (0) = 0.
Optional: Consider g(x) = f (x) − x, x ∈ [−a, a]. Since g ′ (x) = f ′ (x) − 1 ≤ 0, g
is decreasing over [−a, a]. As g(−a) = g(a) = 0, we have g ≡ 0.
(8) (i) No such function exists in view of Rolle’s theorem.
2
(ii) Possible, f (x) = x2 + x
(iii) f ′′ ≥ 0 ⇒ f ′ increasing. As f ′ (0) = 1, by Lagrange’s MVT we have f (x) −
f (0) ≥ x for x > 0. Hence f with the required properties cannot exist.
(iv) Possible, 1
1−x if x ≤ 0
f (x) =
1 + x + x2 if x > 0.
(9) The points to check are the end points x = −2 and x = 5, the point of non-
differentiability x = 0, and the stationary point x = 2. The values of f at these
points are given by
f (−2) = f (2) = 13, f (0) = 1, f (5) = −14.
Thus, global max = 13 at x = ±2, and global min = −14 at x = 5.
(10) Let 2a be the width of the window and h be its height. Then 2a + 2h + πa = p,
p 2
and 0 ≤ a ≤ . As the area of the colored glass is πa2 and the area of the
2+π
plane glass is 2ah, the total light admitted is
πa2 πa2
p − (π + 2)a p
L(a) = 2ah + = 2a + (0 ≤ a ≤ ).
4 2 4 2+π
Since
2p
L′ (a) = 0 ⇒ a =
8 + 3π
and
2p 2p p
L′ (a) > 0 in [ 0, ) and L′ (a) < 0 in ( , ],
8 + 3π 8 + 3π 2 + π
2p p(4 + π)
a= must give the global maximum. That yields h = .
8 + 3π 2(8 + 3π)
48 3. SOLUTIONS
Graph of f
x2
(ii) y = 2 ⇒ lim y = 1 ⇒ y = 1 is an asymptote.
x +1 x→±∞
2x
y′ = 2 ⇒ y is increasing in (0, ∞) and decreasing
(x + 1)2
in (−∞, 0).
2
−1)
Further, y ′′ = − 2(3x
(x2 +1)3 implies that
4.1.2-eps-converted-to.pdf y ′′ > 0 if |x| < √13 , andy ′′ < 0 if |x| >
√1 . Therefore,
3
1 1 1 1
y is convex in − √ , √ and concave in R\ − √ , √
3 3 3 3
1
Graph of f with the points x = ± √ being the
3
points of inflection.
3.4. TUTORIAL SHEET 4 49
Further,
f ′ (x) = 0 at x = ±2,
f ′ (x) < 0 in (−2, 0) ∪ (2, 5],
f ′ (x) > 0 in (0, 2),
and
4.1-eps-converted-to.pdf f ′′ (x) = −6 in (−2, 0) ∪ (0, 5).
Thus
f is concave in(−2, 0) ∪ (0, 5),
decreasingin(−2, 0) ∪ (2, 5),
and
increasingin(0, 2);
further, f has a global maximum at x =
±2.
Graph of f
(2) In view of the given conditions, f has a local max at x = −2 and
a local min at x = 2, f is concave in (−∞, 0) and convex in (0, ∞), and
x = 0 is a point of inflection.
(3) Motivate students to discover their own examples.
1 (2n − 1)
L(Pn , f ) = 1 + 1 × n
+2× →3
2 2n
R2
as n → ∞. Thus, 0
f (x)dx = 3.
Rb
(6) f (x) ≥ 0 ⇒ U (P, f ) ≥ 0, L(P, f ) ≥ 0 ⇒ f (x)dx ≥ 0.
Ra b
Suppose, moreover, f is continuous and a f (x)dx = 0. Assume f (c) > 0 for
some c in [a, b]. Then f (x) > f (c)
2 in a δ-nbhd of c for some δ > 0. This implies
that
f (c)
U (P, f ) > δ ×
2
Rb
for any partition P, and hence, a f (x)dx ≥ δf (c)/2 > 0, a contradiction.
50 3. SOLUTIONS
n 3 Z 1
1X i 2 2
(7) (i) Sn = −→ (x)3/2 dx =
n i=1 n 0 5
n Z 1
1 X 1 dx π
(ii) Sn = −→ =
n i=1 i 2 + 1 x 2+1 4
0
n
n
1X 1
Z 1
dx √
(iii) Sn = q −→ √ = 2( 2 − 1)
n i=1 i 0 x+1
n +1
n Z 1
1X iπ
(iv) Sn = cos −→ cos πxdx = 0
n i=1 n 0
1 2 √
Z 1 Z 2 Z 3
19
(v) Sn −→ xdx + x3/2 dx + x2 dx = + (4 2 − 1) +
R0x 1 2 2 5 3
(8) Let F (x) = a f (t)dt. Then F ′ (x) = f (x). Note that
Z v(x) Z v(x) Z u(x)
f (t)dt = f (t)dt − f (t)dt = F (v(x)) − F (u(x)).
u(x) a a
By the Chain Rule one has
Z v(x)
d
f (t)dt = F ′ (v(x))v ′ (x) − F ′ (u(x))u′ (x)
dx u(x)
= f (v(x))v ′ (x) − f (u(x))u′ (x).
dy 1
p d2 y y dy
(a) = dx/dy = 1 + y2 , 2 = p dx = y.
dx dx 1 + y2
(b) (i) F ′ (x) = cos((2x)2 )2 = 2 cos(4x2 ).
(8) Let the line be along z-axis, 0 ≤ z ≤ h. For any fixed z, the section is a square
Rh
of area r2 . Hence the required volume is 0 r2 dz = r2 h.
(9) Washer Method
Area of washer = π(1 + y)2 = π(1 + (3 − x2 ))2 = π(4 − x2 )2 so that
R2
Volume = −2 π(4 − x2 )2 dx = 512π/15.
(This is the same integral as in (6) above).
Shell method √
Area of shell = 2π(y − (−1))2x = 4π(1 + y) 3 − y so that
Z 3 p
Volume = 4π(1 + y) 3 − ydy = 512π/15.
−1
(10) Washer Method
Required volume = Volume of the sphere -Volume generated by revolving the
shaded region
Z 1 is √ Z 1
32π/3 − [ πx2 dy − π( 3)2 2] = 32π/3 − 2π[ (4 − y 2 )dy − 3]
−1 0
= 32π/3 − 2π[11/3 − 3] = 28π/3
Shell Method
Required volume = Volume of the sphere -Volume generated by revolving the
shaded region
Z 2is Z 2 p
= 32π/3 − √ 2πx(2y)dx = 32π/3 − 4π √ x 4 − x2 dx
3 3
= 32π/3 − 4π(1/3) = 28π/3
3.6. TUTORIAL SHEET 6 53
(ii) Level curves do not exist for c = −3, −2, −1. The level curve corresponding
to c = 0 is the point (0, 0). The level curves corresponding to c = 1, 2, 3, 4
are concentric circles centered at the origin in the xy-plane. Contour lines
corresponding to c = 1, 2, 3, 4 are the cross-sections in R3 of the paraboloid
z = x2 + y 2 by the plane z = c, i.e., circles in the plane z = c centered at
(0, 0, c).
(iii) For c = −3, −2, −1, level curves are rectangular hyperbolas xy = c in the
xy-plane with branches in the second and fourth quadrant. For c = 1, 2, 3, 4,
level curves are rectangular hyperbolas xy = c in the xy-plane with branches
in the first and third quadrant. For c = 0, the corresponding level curve
(resp. the contour line) is the union of the x-axis and the y-axis in the xy-
plane (resp. in the xyz-space). A contour line corresponding to a non-zero
c is the cross-section of the hyperboloid z = xy by the plane z = c, i.e., a
rectangular hyperbola in the plane z = c.
(3) (i) Discontinuous at (0, 0). (Check lim f (x, y) using y = mx3 ).
(x,y)→(0,0)
(ii) Continuous at (0, 0) :
x2 − y 2 x2 + y 2
xy 2 2
≤ |xy| 2 = |xy|.
x +y x + y2
(iii) Continuous at (0, 0) :
p
|f (x, y)| ≤ 2(|x| + |y|) ≤ 4 x2 + y 2 .
(4) (i) Use the sequential definition of limit: (xn , yn ) → (a, b) =⇒ xn →
aandyn → b =⇒ f (xn ) → f (a)andg(yn ) → g(b) =⇒ f (xn ) ± g(yn ) →
f (a) ± g(b) by the continuity of f, g and limit theorems for sequences.
(ii) (xn , yn ) → (a, b) =⇒ xn → aandyn → b =⇒ f (xn ) → f (a)andg(yn ) →
g(b) =⇒ f (xn )g(yn ) → f (a)g(b) by the continuity of f, g and limit theorems
for sequences.
(iii) Follows from (i) above and the following:
f (x) + g(y) |f (x) − g(y)|
min{f (x), g(y)} = − ,
2 2
f (x) + g(y) |f (x) − g(y)|
max{f (x), g(y)} = + .
2 2
(5) Note that limits are different along different paths: f (x, x) = 1 for every x and
f (x, 0) = 0.
(6) (i) fx (0, 0) = 0 = fy (0, 0).
(ii)
sin2 (h)/|h| sin2 (h)
fx (0, 0) = lim = lim
h→0 h h→0 h|h|
54 3. SOLUTIONS
does not exist (Left Limit ̸= Right Limit). Similarly, fy (0, 0) does not exist.
(7) |f (x, y)| ≤ x2 + y 2 ⇒ f is continuous at(0, 0).
It is easily checked that fx (0, 0) = fy (0, 0) = 0.
Now,
1 1 1
fx = 2x sin − 2 cos .
x2 + y 2 x + y2 x2 + y 2
1
The function 2x sin x2 +y 2 is bounded in any disc centered at (0, 0),
2x 1
while 2 cos is unbounded in any such disc.
x + y2 x2 + y 2
(To see this, consider (x, y) = √1nπ , 0 for n a large positive integer.)
Thus fx is unbounded in any disc around (0, 0).
f (h, 0) − f (0, 0) 1
(8) fx (0, 0) = lim = lim sin does not exist. Similarly fy (0, 0)
h→0 h h→0 h
does not exist. Clearly, f is continuous at (0, 0).
|hk(h2 − k 2 )| |hk| h2 + k 2
0≤ ≤√
(h2 + k2 )
3/2
h2 + k 2 h2 + k 2
√ √
h2 + k 2 h2 + k 2 p
≤ √ = h2 + k 2 .
2
h +k 2
does not exist (consider, for example, k = mh). Hence f is not differentiable
at (0, 0).
3.6. TUTORIAL SHEET 6 55
therefore f is differentiable
p at (0, 0).
(10) f (0, 0) = 0, |f (x, y)| ≤ x2 + y 2 =⇒ f is continuous at (0, 0). Let v be a
unit vector in R2 . For v = (a, b), with b ̸= 0, one has
1 hb p 2 2 (a2 + b2 )b
(Dv ) f (0, 0) = lim h a + h2 b2 = .
h→0 h |hb| |b|
If v = (a, 0), then (Dv f ) (0, 0) = 0. Hence (Dv f ) (0, 0) exists for every unit vector
v ∈ R2 . Further,
fx (0, 0) = 0, fy (0, 0) = 1,
and
k
√
2 2
|f (h, k) − 0 − h × 0 − k × 1| |k| h + k − k
lim √ = lim √
(h,k)→(0,0) h2 + k 2 (h,k)→(0,0) h2 + k 2
k k
= lim −√
(h,k)→(0,0) |k| h + k2
2
does not exist (consider, for example, k = mh) so that f is not differentiable at
(0, 0).
56 3. SOLUTIONS
sin (x + y) cos2 (x + y)
= + tan (y + z) 2 .
cos (y + z) cos (y + z)
(4) We have
fx (0, k) − fx (0, 0)
fxy (0, 0) = lim ,
k→0 k
where (noting that k ̸= 0)
f (h, k) − f (0, k) f (h, 0) − f (0, 0)
fx (0, k) = lim = −kand fx (0, 0) = lim = 0.
h→0 h h→0 h
Therefore,
−k − 0
fxy (0, 0) = lim = −1; similarlyfyx (0, 0) = 1.
k→0 k
Thus
fxy (0, 0) ̸= fyx (0, 0).
3.7. TUTORIAL SHEET 7 57
By directly computing fxy , fyx for (x, y) ̸= (0, 0), one observes that these are not
continuous at (0, 0).
(In the following Hf (a, b) denotes the Hessian matrix of a sufficiently smooth
function f at the point (a, b)).
(5) (i) We have
12 0
fx (−1, 2) = 0 = fy (−1, 2); Hf (−1, 2) = .
0 48
D = 12 × 48 > 0, fxx (−1, 2) = 12 > 0 ⇒ (−1, 2) is a point of local minimum of f .
(ii) We have
6 −2
fx (0, 0) = 0 = fy (0, 0); Hf (0, 0) = .
−2 10
D = 60 − 4 > 0, fxx (0, 0) = 6 > 0 ⇒ (0, 0) is a point of local minimum of f .
(x2 +y 2 ) (x2 +y 2 )
(i) fx = e− 2 2x − x3 + xy 2 , fy = e− 2
(6) −2y + y 3 − x2 y .
√ √
Critical points are (0, 0), (± 2, 0), (0, ± 2).
2 0
Hf (0, 0) = ⇒ (0, 0)is a saddle point of f .
0 −2
√ √
4
−e 0
Hf (± 2, 0) = 4 ⇒ (± 2, 0)is a point of local maximum of f .
0 −e
√ √
4
0
Hf (0, ± 2) = e 4 ⇒ (0, ± 2)is a point of local minimum of f .
0 e
(ii) fx = 3x2 −3y 2 and fy = −6xy imply that (0, 0) is the only critical point of f.
Now,
0 0
Hf (0, 0) = .
0 0
Thus, the standard derivative test fails.
However, f (±ϵ, 0) = ±ϵ3 for any ϵ so that (0, 0) is a saddle point of f.
(7) From f (x, y) = (x2 − 4x) cos y (1 ≤ x ≤ 3, −π/4 ≤ y ≤ π/4), we have
fx = (2x − 4) cos y and fy = −(x2 − 4x) sin y.
Thus the only critical point of f is P = (2, 0); note that f (P ) = −4.
2
Next, g± (x) ≡ f (x, ± π4 ) = (x √−4x)
2
(1 ≤ x ≤ 3) has x = 2 as the only critical
−4
point so that we consider P± = (2, ± π4 ); note that f (P± ) = √ 2
.
π
We also need to check g± (1) = f (1, ± 4 ) (≡ f (Q± )) and g± (3) = f (3, ± π4 ) (≡
−3 −3
f (S± )); note that f (Q± ) = √2
, f (S± ) = − √ 2
.
Next, consider h(y) ≡ f (1, y) = −3 cos y (−π/4 ≤ y ≤ π/4). The only critical
point of h is y = 0; note that h(0) = f (1, 0) (≡ f (M )) = −3. (h(±π/4) is just
f (Q± )).
Finally, consider k(y) ≡ f (3, y) = −3 cos y (−π/4 ≤ y ≤ π/4). The only critical
point of k is y = 0; note that k(0) = f (3, 0) (≡ f (T )) = −3. (k(±π/4) is just
f (S± )).
Summarizing, we have the following table:
58 3. SOLUTIONS
Points P+ P− Q+ Q− S+ S− T P M
Values − √42 − √42 − √32 − √32 − √32 − √32 -3 -4 -3
By inspection one finds that
and then
ZZ ZZ Z 3 Z 2
2u dv
d(x, y) = Area(D) = dudv = 2udu = 8 log 2.
D R v 1 1 v
X ∂ X ∂f P P ∂2f
(vi) ∇ × (∇f ) = i× j = (i × j) ∂x∂y
∂x ∂y
P ∂2f ∂2f
= k ∂x∂y − ∂y∂x = 0.
(vii) Note that
X ∂f X ∂g X X ∂f ∂g
g∇f × f ∇g = g i ×f j = f g(i × j)
∂x ∂y ∂x ∂y
P ∂f ∂g ∂f ∂g
= f g ∂x ∂y − ∂y ∂x k
i j k ∂f ∂g
∂f ∂f ∂f
X ∂g ∂f
= fg ∂x ∂y ∂z = fg − i.
∂g ∂g ∂g ∂y ∂z ∂y ∂z
∂x ∂y ∂z
Hence,
X ∂ X ∂f ∂g ∂g ∂f
∇ · (g∇f × f ∇g) = i· if g −
∂x ∂y ∂z ∂y ∂z
X ∂ ∂f ∂g ∂g ∂f
= fg −
∂x ∂y ∂z ∂y ∂z
X ∂g ∂f ∂g ∂g ∂f X ∂f ∂f ∂g ∂g ∂f
= f − + g −
∂x ∂y ∂z ∂y ∂z ∂x ∂y ∂z ∂y ∂z
X ∂ 2 f ∂g ∂ 2 f ∂g X ∂ 2 g ∂f ∂ 2 g ∂f
+ fg − + fg − .
∂x∂y ∂z ∂x∂z ∂y ∂x∂z ∂y ∂y∂x ∂z
Each of the four sums vanishes individually.
∂f (r) ′ ∂r ′
(4) (i) Since = f (r) = f (r)x/r, we have
∂x ∂x
X ∂ ′ x
div(∇f (r)) = f (r)
∂x r
X ′′ x2 X f ′ (r) X x2 ′ ′′ 2 ′
= f (r) 2 + − 3
f (r) = f (r) + f (r).
r r r r
P ∂ n 2
(ii) div(rn r) = ∂x (r x) = (rn + nrn−1 xr ) = 3rn + nrn = (3 + n)rn .
P
r n+2
(iii) Note that ∇ n+2 = rn r, by exercise 1(i). So,
rn+2
curl(rn r) = curl(grad ) = 0,
n+2
by exercise 3(vi). If n = −2, then
∇(log r) = r−2 r
and hence,
curl(r−2 r) = curl(∇ log r) = 0.
(iv) Using part (i) it follows that
d2 1 2 d −1
div(∇r−1 ) = 2 + (r ) = 0.
dr r r dr
X ∂ X ∂u X ∂v
(5) (i) ∇ · (u × v) = i· (u × v) = i·( × v) + i · (u × )
∂x ∂x ∂x
X ∂u X ∂v
= (i × )·v− (i × ) · u = v · curlu − u · curlv.
∂x ∂x
(Def: A vector-field u is said to be irrotational if ∇ × u = 0. A vector-field
u is said to be solenoidal if ∇ · u = 0. We have now proved that if u and v
are irrotational then u × v is solenoidal. )
64 3. SOLUTIONS
X ∂ X ∂u X ∂v X ∂u X ∂u
(ii) ∇ × (u × v) = i× (u × v) = i× ×v + i× u× = (i · v) − i· v+
∂x ∂x ∂x ∂x ∂x
= (v · ∇)u − (∇ · u)v + (∇ · v)u − (u · ∇)v.
X ∂ X ∂u X ∂v
(iii) ∇(u · v) = i (u · v) = i ·v + i ·u
∂x ∂xh ∂x
Xh ∂u ∂u i X ∂v ∂v i
= v· i − (v · i) + u· i − (u · i)
∂x ∂x ∂x ∂x
+(v · ∇)u + (u · ∇)v
X ∂ X ∂
=v× i× u +u× i× v + (v · ∇)u + (u · ∇)v
∂x ∂x
= v × (∇ × u) + u × (∇ × v) + (v · ∇)u + (u · ∇)v.
(6) (i) Let w = f u, where f is a scalar field and u is a constant vector. Then,
w · (∇ × w) = f u · (∇ × f u) = f u · (f ∇ × u + ∇f × u) (using 3(ii) ) =
f 2 (u · (∇ × u)) + f u · ∇f × u = 0 (using 3(v)).
(ii) Here r = (x, y, z). Thus, ∇ × v = ∇ × (w × r) = (r · ∇)w − (w · ∇)r + (∇ ·
r)w − (∇ · w)r (using 5(ii) ) = (∇ · r)w − (w · ∇)r = 3w − w = 2w.
(iii) Let f = ρ−1 . Then, using problem 3(ii) and 3(vi),
∇ × v = ∇ × (f ∇p) = f (∇ × ∇p) + ∇f × ∇p = −f 2 (∇ρ × ∇p).
Hence
v · (∇ × v) = −f 3 ∇p · (∇ρ × ∇p) = 0.
(7) Parameterize the curve C as Φ(t) = (t, t2 ). Then, Φ′ (t) = (1, 2t). Thus
Z Z 1
F · ds = (t2 − 2t3 , t4 − 2t3 ) · (1, 2t)dt
C −1
Z 1
14
= (t2 − 2t3 ) + 2t(t4 − 2t3 )dt = − .
−1 15
(8) A parametrization of the ellipse is given by
γ(θ) = (a cos θ, b sin θ), 0 ≤ θ ≤ 2π,
and
γ ′ (θ) = (−a sin θ, b cos θ).
Thus,
F (a cos θ, b sin θ) · γ ′ (θ)
= (a2 cos2 θ + b2 sin2 θ, a cos θ − b sin θ) · (−a sin θ, b cos θ)
and
Z
F (x, y) · ds
C
Z 2π
(−a3 cos2 θ sin θ − ab2 sin3 θ) + (ab cos2 θ − b2 sin θ cos θ) dθ
=
0
= πab.
(9) A parametrization of the curve is given by
γ(θ) = (a cos θ, a sin θ), 0 ≤ θ ≤ 2π.
3.9. TUTORIAL SHEET 9 65
Hence
Z
dx + dy
= 2 − 2 = 0.
C |x| + |y|
q
(b+2)a2 −(3+a2 b)
This will be independent of b iff dW
db = 0 iff 0 = (b+2)2 iff a = 3
2 (as a>
0).
(7) First we observe that the cylinder is given by
a 2 a2
x− + y2 = .
2 4
From the equations of the sphere and the cylinder we have that, on the intersec-
tion C,
z 2 = a2 − ax.
a a a θ
x= + cos θ, y= sin θ, z = a sin ; 0 ≤ θ ≤ 2π.
2 2 2 2
68 3. SOLUTIONS
Then
Z Z 2π 2
a a θ a
F · ds = [ sin2 θ (− sin θ) + (a2 sin2 )( cos θ)
C 0 4 2 2 2
2
a2 a2
a a θ
+ + cos2 θ + cos θ ( cos )]dθ
4 4 2 2 2
2π
a3 a3 a3 θ a3
Z
θ θ
= [− sin3 θ + sin2 cos θ + cos + cos2 θ cos
0 8 2 2 8 2 8 2
a3 θ
+ cos θ cos ]dθ
4 2
πa3
= − .
4
∂P ∂Q
(8) = 3x, = 3x2 y where (P, Q) = F. Now
∂y ∂x
∂P ∂Q
= iff 3x = 3x2 y
∂y ∂x
iff either x = 0 or xy = 1.
Since the sets {(x, y)|x = 0}, {(x, y)|xy = 1} are not open, F (x, y) is not the
gradient of a scalar field on any open subset of R2 .
(9)
∂P y 2 − x2 ∂Q
= = on R2 \ {(0, 0)}.
∂y (x2 + y 2 )2 ∂x
However, F ̸= ∇f for any f . Indeed, let C to be the unit circle x2 + y 2 = 1,
oriented anticlockwise. Then one has
I Z 2π
F · ds = (− sin t, cos t) · (− sin t, cos t)dt
C 0
= 2π ̸= 0
(10) Suppose F = ∇ϕ for some ϕ.
Then
∂ϕ
= 2xy + z 3 ⇒ ϕ(x, y, z) = x2 y + z 3 x + f (y, z)
∂x
for some f (y, z). Assuming f has partial derivatives, we get
∂ϕ ∂f
= x2 + = x2
∂y ∂y
∂f
so that = 0
∂y
and f (y, z) depends only on z
∂ϕ
Let f (y, z) = g(z). Then ϕ(x, y, z) = x2 y + z 3 x + g(z) ⇒ = 3z 2 x + g ′ (z) =
∂z
3z 2 x ⇒ g ′ (z) = 0. Let us select g(z) = 0. It can be checked that ϕ(x, y, z) =
x2 y + z 3 x satisfies ∇ϕ = F.
Hence
I
F · ds = 0
C
3.10. TUTORIAL SHEET 10 69
(i)
1−x2
!
ZZ Z 1 Z
1
lhs = 4xy dxdy = 4xy dy dx = .
R 0 0 3
Observe that the boundary of R consists of three smooth curves: a segment
of the x-axis, a part of the parabola y = 1 − x2 and a segment of the y-
axis. The integral on the rhs vanishes on both the axes. We choose the
parametrization t 7→ (t, 1 − t2 ), (t ∈ [0, 1]) for the part of the parabola
traced in the opposite direction. This gives
I
rhs = (−xy 2 dx + x2 y dy)
∂R
Z 1
1
=− [−t(1 − t2 )2 + t2 (1 − t2 )(−2t)] dt = .
0 3
(ii)
ZZ Z 1 Z x
lhs = (ex + 2x − 2x) dxdy = ex dy dx = 1.
R 0 0
and I
rhs = [2xy dx + (ex + x2 ) dy]
∂R
Z 1 Z 0
= (e + 1)dy + (3t2 + et ) dt = e + 1 − e = 1.
0 1
(Observe that f and dy are zero on the horizontal segment of the curve,
whereas on the vertical segment dx = 0.)
(2) (i) Here
f (x, y) = y 2 ; g(x, y) = x.
Therefore, the given path integral is equal to
ZZ Z 2Z 2 Z 2
(1 − 2y) dxdy = (1 − 2y)dy dx = 4 − 4 dx = 4 − 8 = −4.
R 0 0 0
(ii) Here
ZZ ZZ Z 1 Z 1
(1 − 2y) dxdy = dxdy + (−2y)dy dx = 4 + 0 = 4.
R R −1 −1
(iii) Here
"Z √ #
ZZ ZZ Z 2 2−x2
(1 − 2y) dxdy = dxdy + √ (−2y)dy dx = 4π + 0.
R R −2 − 2−x2
3πa2
(3) (i) A = 2 . (ii) A = a2 /2.
3.11. TUTORIAL SHEET 11 71
(The last equality follows by considering the parametrizaton (cos θ, sin θ), 0 ≤
θ ≤ 2π). Likewise we see that
ZZ I Z 2π
u · w dxdy = (ab)(dx + dy) = − sin2 θ dθ = −π.
D ∂D 0
2 2 2
(8) Since ∇ (x − y ) = 0, using one of Green’s identities (refer to (9),(i)) one has
∂(x2 − y 2 )
I I ZZ
2 2
∇(x − y ).n|ds| = |ds| = ∇2 (x2 − y 2 ) dxdy = 0.
C C ∂n R
(9) (a) I
2 ∂w
∇ w = 0 hence, dS = 0
C ∂n
(b) Put H = F − G. Then curl H = 0. Since D is simply connected, there exists
u such that grad u = H. Now div H = 0 implies that ∇2 u = 0, i.e., u is
∂u
harmonic. Finally H · n = 0, i.e.,∇u · n = ∂n = 0 on the boundary implies,
using (9),(ii), that u is a constant. But then H = gradu = 0 and hence
F = G.
(10) (i) There are two distinct cases to be considered:
Case (a): Suppose the curve does not enclose the origin. Take
y x
f (x, y) = 2 , g(x, y) = 2
x + y2 x + y2
and apply Green’s theorem in the region R bounded by C. So the integral
is equal to ZZ
(gx − fy ) dxdy.
R
A simple computation show that gx = fy and hence the integral vanishes.
Case (b): Suppose the curve encloses the origin, i.e, (0, 0) ∈ R. (Now the
above argument does not work!) We choose a small disc D around the origin
contained in R and apply Green’s theorem in the closure of R′ = R \ D. As
before, the double integral vanishes. But since the boundary of R′ consists
of C and −∂D it follows that
y dx − x dy y dx − x dy
I I
2 2
= .
C x +y ∂D x2 + y 2
We can compute this now by using polar coordinates and see that this is
equal to −2π.
(ii) Here again, we take D to be a small disc of radius ϵ around the origin and
contained in the square R and apply Green’s theorem in the closure of R\D.
Taking
x2 y x3
f (x, y) = 2 2 2
, g(x, y) = 2 ,
(x + y ) (x + y 2 )2
we once again observe that the double integral vanishes since gx = fy =
(x2 +y 2 )(x4 −3x2 y 2 )
(x2 +y 2 )4 . Hence the given line integral is equal to the corresponding
line integral taken over the boundary of D. This can be computed by using
the parametrizaton (ϵ cos θ, ϵ sin θ), 0 ≤ θ ≤ 2π. The answer is −π/4.
(iii) We have
∂(log r) y ∂(log r) x
= 2 and = 2 .
∂y x + y2 ∂x x + y2
3.11. TUTORIAL SHEET 11 73
where γ is the acute angle between n and (0, 0, 1) at a generic point on the surface.
Thus, if this angle is the same at every point on S, we have
ZZ
SA = sec γ dxdy = sec γSAxy ,
R
(3) There are two pieces of the surface - one below and one above the xy-plane,
both having the same area. Let S be the upper piece. Then one has
ZZ q
Area(S) = 1 + zx2 + zy2 dxdy,
T
where T is the disc
n a a o
{x2 + y 2 ≤ ay} = x2 + (y − )2 ≤ ( )2 ,
2 2
p
and z = a2 − x2 − y 2 . Since
x y
zx = − andzy = − ,
z z
it follows that
ZZ ZZ
adxdy adxdy
Area(S) = = p .
T z T a − x2 − y 2
2
(6) We choose the coordinate system in such a way that the center of the sphere is
located at the origin and the central axis of the cylinder coincides with the z-axis.
We consider the case when one plane is cutting the sphere at height h above the
xy-plane and the other plane is cutting the sphere at depth k below the xy-plane.
(Other cases can be treated similarly). We compute the surface areas S1 and S2
of the ‘upper’ and ‘lower’ caps of the sphere and subtract their sum from 4πa2 .
We are expected to get the result to be 2πa(h + k).
Note that the plane cutting the sphere at height h above the xy-plane intersects
the sphere in the circle x2 + y 2 = a2 − h2 . A p parametrization for the upper cap
of the sphere is thus given by Φ(x, y) = (x, y, a2 − x2 − y 2 ) with (x, y) ∈ D =
{(x, y) : x2 + y 2 ≤ a2 − h2 }. We have then
ZZ s
−x −y
S1 = 1 + (p )2 + ( p )2 dxdy
a2 − x2 − y 2 a2 − x2 − y 2
D
√
ZZ Z 2π Z a2 −h2
a a
p dxdy = √ rdrdθ
D − − a2 x2 y20 0 a2− r2
= 2πa(−h + a).
Similarly, S2 = 2πa(−k + a); and then 4πa2 − (S1 + S2 ) = 2πa(h + k), as desired.
(7) (i) Note that Φu × Φv = −2(1, 1, 1) has negative z-component. Thus,
F · n|dS| = −F · (Φu × Φv )dudv = 2(x + y + z)dudv = 2dudv,
one has ZZ
F · n|dS| = 2Area(S ∗ ),
S
where S ∗ is the parametrizing region in the uv-plane. As the components of Φ
are affine-linear in u and v, S ∗ is also a triangle whose vertices are pre-images of
1 1 1 1
the vertices of S. Now the vertices of S ∗ are (0, 0), ( , ), and ( , − ) so that
2 2 2 2
1 1
the area of S ∗ is , and hence S F · n|dS| = .
RR
4 2
(ii) The surface S satisfies z = 1 − x − y ≥ 0, x ≥ 0, y ≥ 0. Thus,
F · n|dS| = (x, y, z) · (−zx , −zy , 1)dxdy = (x + y + z)dxdy = dxdy
and S1∗ = {x + y ≤ 1, x ≥ 0, y ≥ 0} as the parametrizing region, one has
ZZ ZZ
1
F · n |dS| = dxdy = Area(S1∗ ) = .
S ∗
S1 2
(8) A parametrization of S is
Φ(u, v) = (a sin v cos u, a sin v sin u, a cos v), 0 ≤ u ≤ 2π, 0 ≤ v ≤ π
and
Φu × Φv = a sin v Φ(u,v)
is the outward normal. The integrand is
F · (Φu × Φv ) = a4 sin3 v cos v(1 + cos2 u).
Thus the required integral is
Z 2π Z π
a4 sin3 v cos v(1 + cos2 u)dudv
u=0 v=0
3.12. TUTORIAL SHEET 12 77
Z π Z 2π
= a4 sin3 v cos v dv (1 + cos2 u)du = 0.
0 0
(9) The hemisphere satisfies
p
z= 1 − x2 − y 2 , x2 + y 2 ≤ 1.
Using
x y
(−zx , −zy , 1) = ( , , 1)
z z
and
x y (1 − 2xy − 2y 2 )
F · n|dS| = (x, −2x − y, z) · ( , , 1)dxdy = dxdy
z z z
and T = {(x, y) : x2 + y 2 ≤ 1} as the parametrizing region, one has
(1 − 2xy − 2y 2 )
ZZ ZZ
F · n|dS| = p dxdy
S T 1 − x2 − y 2
Z 2π Z 1
(1 − r2 sin 2θ − 2r2 sin2 θ)rdrdθ 2π
= √ = .
0 0 1 − r 2 3
(10) The flux through the base T is
ZZ
F · (0, 0, −1)dxdy = 0,
T
as F · (0, 0, −1) = −z = 0 along T . The total flux is therefore the same as in the
2π
previous problem, namely, .
3
78 3. SOLUTIONS
Along S1 , Φx × Φθ = (x, −x cos θ, −x sin θ) = (x, −y, −z) so that the outward
normal is −Φx × Φθ = (−x, y, z). Thus
ZZ Z 4 Z 2π
F · n|dS| = (−x2 y 2 + y 2 z 2 + z 2 x2 )dxdθ
S1 0 0
Z 4 Z 2π
= x4 (− cos2 θ + cos2 θ sin2 θ + sin2 θ)dxdθ
0 0
Z 4 Z 2π
= x4 dx (− cos2 θ + cos2 θ sin2 θ + sin2 θ)
0 0
45 π π
= = 44 .
5 4 5
Also, along S2 , the outward normal (to x = 4 ≡ f (y, z)) is (1, 0, 0). Thus
ZZ ZZ ZZ
2
F · n|dS| = 4y |dS| = 4y 2 dydz
S2 S2 y 2 +z 2 ≤16
Z 2π Z 4
= 4 r3 cos2 θdrdθ = 44 π.
0 0
Now,
ZZZ ZZZ
div F d(x, y, z) = (x2 + y 2 + z 2 )d(x, y, z)
y 2 +z 2 ≤x2
W 0≤x≤4
Z 4 Z x Z 2π
= (x2 + r2 )rdrdθ dx
0 0 0
Z 4 Z x
= 2π (x2 r + r3 )dr dx
0 0
4
3x4
Z
6π
= 2π dx = 44 .
0 4 5
6π π
Since 44 = 44 + 44 π, the divergence theorem is verified.
5 5
3.13. TUTORIAL SHEET 13 79
(4) Since ∇ · (ϕ∇ϕ) = ∥∇ϕ∥2 + ϕ∇2 ϕ, we have ∇2 ϕ = 10ϕ − 4ϕ, i.e., ∇2 ϕ = 6. Thus
ZZ ZZ
∂ϕ
|dS| = gradϕ · n|dS|
S ∂n
Z ZSZ ZZZ
= div(gradϕ)d(x, y, z) = 6 d(x, y, z)
W W
4π
= 6 (Volume of the sphere) = 6 × = 8π.
3
(5) Let F = (x, 0, 0). Using the divergence theorem, we get
ZZZ ZZ
V = d(x, y, z) = xnx |dS|
W S
This gives
ZZ
(∇ × F ) · n|dS| = 0.
S
(9) Note that
( x2 , y2 , z2 ) 1
p = n · (x, y, z) = q a b c · (x, y, z) = q .
x2 y2 z2 x2 y2 z2
a4 + b4 + c4 a4 + b4 + c4
(10) For a simple closed (and sufficiently smooth) plane curve C : γ(u) = (x(u), y(u)),
parametrized by the arc length u, the outward unit normal at x(u) is n =
(y ′ (u), −x′ (u)). Let D be the region enclosed by the curve C.
Let F =S (Q, −P ) be a continuously differentiable vector field in a region
including C D. Then
∂Q ∂P
div(F ) = − and F · n = Qy ′ + P x′ .
∂x ∂y
Thus one has
I I ZZ
∂Q ∂P
(F · n) |ds| = P dx + Qdy = − d(x, y)
C C D ∂x ∂y
ZZ
= div(F ) d(x, y).
D
3.14. TUTORIAL SHEET 14 83
F · ds = ydx + xz 3 dy − zy 3 dz.
I Z 2π
Along C2 , z = 0 ; F · ds = ydx and ydx = − (−4 sin2 θ| dθ = 4π.
C2 0
Along C1 , z = −3 ; dz = 0; F · ds = ydx − 27xdy = d(xy) − 28xdy and
I I Z 2π
d(xy) − 28xdy = −28 4 cos2 θdθ = −112π.
C1 C1 0
Hence
ZZ
curl (F ) · n|dS| = −108π.
S
(4) Note that, to apply Stokes’ Theorem, one would have to work inside U = R3 \
z−axis, as F would not make sense at a point on the z-axis. But there is no
surface in U = R3 \ z−axis whose boundary is C. Hence Stokes’ theorem cannot
be applied.
Using the parametrization (cos θ, − sin θ), (0 ≤ θ ≤ 2π) one has
Z 2π
−ydx + xdy
I I
F · ds = = − dθ = −2π.
C C x2 + y 2 0
(5) Note that
F = (y 2 − z 2 , z 2 − x2 , x2 − y 2 ),
curl F (−2y − 2z, −2z − 2x, −2x − 2y),
=
(1, 1, 1)
and n = √ .
3
Thus, along the surface S which is part of the plane x + y + z = 3a
2 and which is
bounded by C, one has
2
curlF · n = − √ (y + z + z + x + x + y)
3
4 4 3a
= − √ (x + y + z) = − √ .
3 3 2
Hence
ZZ √ ZZ √
curl F · n|dS| = −2 3a |dS| = (−2 3a)(Area of S).
S S
The surface S is a regular hexagon with vertices (a/2, 0, a), (a, 0, a/2), (a, a/2, 0), (a/2, a, 0),
(0, a, a/2), (0, a/2, a). Hence its area is
√ √
3 2 3 3 a2
3 (length of side) = .
2 2 2
3.14. TUTORIAL SHEET 14 85
1 2π a
Z Z
= (r sin θ + r cos θ − b)rdrdθ = −πa2
b 0 0
(7) Letting r = (x, y, z) and using S to denote the planar area enclosed by C, one
has
I
1
I := a(ydz − zdy) + b(zdx − xdz) + c(xdy − ydx)
2 C
I
1
= n × r · ds
2 C
ZZ
1
= ∇ × (n × r) · n|dS|
2
Z ZS ZZ
1
= 2n · n|dS| = |dS| = Area(S).
2 S S
If C is parametrized as u cos t + v sin t (0 ≤ t ≤ 2π), then
I
1
Area(S) = n × r · ds
2 C
Z 2π
1
= n × (u cos t + v sin t) · (−u sin t + v cos t)dt
2 0
1 2π
Z
= n · (u cos t + v sin t) × (−u sin t + v cos t)dt
2 0
1 2π
Z
= n · u × v dt
2 0
u×v
so that, letting n = ||u×v|| ,
we get
1 2π
Z
Area(S) = ||u × v|| dt = π||u × v||.
2 0