6 Jun Um 1022022
6 Jun Um 1022022
6 Jun Um 1022022
2 Non-rectangular domains
Examples:
RR p R 1 R x2 p
• Example 3: Calculate [−1,1]×[0,2]
|y − x2 |dA. We integrate over y first: −1 ( 0 x2 − ydy+
R2 p 3/2
x2
y − x2 dy). Since x is a constant, we can easily integrate to get 23 x3 + 23 (2 − x2 ) .
The second term can be evaluated by trigonometric substitution. So we get 34 + π2 .
Note that first integrating over x would have made life worse.
Theorem: Let P, Q be C 1 scalar fields on aRsimply connected closed set S whose bound-
ary is a piecewise C 1regular curve. Then C (P dx + Qdy) taken in the anti-clockwise
R R ∂Q ∂P
direction equals S ∂x
− ∂y dA.
The proof is quite painful and is frankly, beyond the scope of this course. However, let us
look at a special case of a rectangle: The boundary is piecewise C 1 and is parametrised as
(t, c) a ≤ t ≤ b, (b, t) c ≤ t ≤ d, (−t, d) −b ≤ t ≤ −a, and (a, −t) −d ≤ t ≤ −c. Thus the
Rb R −a Rd R −c
line integral is a P (t, c)dt − −b P (−t, d)dt + c Q(b, t)dt − −d Q(a, −t)dt. By the usual
FTC, this equals the other side of Green’s theorem. It is not hard to do the same thing
for Type-III domains (HW). In the general case, one approximates the boundary by a
many-sided polygon and breaks the interior of this polygon up into a bunch of rectangles
and triangles ( all Type-III). Then one applies the above proof to each and adds.
Examples:
RR
• Find the area of the circle x2R+y 2 = 1. The area is dxdy. Choose Q = x, P = −y
and use Green: 2 × Area = C (xdy − ydx). Parametrise C as x = cos(t), y = sin(t).
Thus xdy − ydx = dt. Thus Area = π. ( A device called the planimeter works on
this principle!)
1
• Consider ydx−xdy
R
x2 +y 2
over the circle of radius r centred at (0, 0). Parametrise it as
(r cos(t), r sin(t)), 0 ≤ t ≤ 2π. Then the integral is −2π. However, naively applying
the Green theorem, we get 0 !! What is going wrong? The point is that the domain
of P, Q is actually the disc minus the origin, i.e., it has a hole. So Green is not
applicable! ( This way of deducing the shape of regions by what kind of calculus
one can do on them is a big thing. It is called “Differential Topology”.)