Exercises for Section 18.1

Question 18.4

Let \(D\) be the triangle in the \(xy\) plane with vertices at \((-1,1)\), \((1,0)\), and \((3,2)\). Describe the boundary \(\partial\! D\) as a piecewise smooth curve, oriented counterclockwise.

Question 18.5

Let \(D\) be the region in the \(xy\) plane lying between the curves \(y = x^2 + 4\) and \(y = 2x^2\). Describe the boundary \({\partial}\!{D}\) as a piecewise smooth curve, oriented counterclockwise.

In the next four exercises, verify Green’s theorem for the indicated region D and boundary \(\partial\! D\), and functions P and Q.

Question 18.6

\(D = [-1,1] \times [-1,1], \quad P(x,y) = -y, \quad Q(x,y) = x\)

Question 18.7

\(D = [-1,1] \times [-1,1], \quad P(x,y) = x, \quad Q(x,y) = y\)

Question 18.8

\(D = [-1,1] \times [-1,1], \quad P(x,y) = x-y, \quad Q(x,y) = x+y\)

[HINT: Use 3 and 4.]

Question 18.9

\(D = \left[ 0, \frac{\pi}{2} \right] \times \left[ 0, \frac{\pi}{2} \right], \quad P(x,y) = \sin x,\quad Q(x,y) = \cos y\)

Question 18.10

Let \(C\) be the closed, piecewise smooth curve formed by traveling in straight lines between the points \((-2,1)\), \((-2,-3)\), \((1,-1)\), \((1,5)\), and back to \((-2,1)\), in that order. Use Green’s theorem to evaluate the integral: \[ \int_{C} (2xy)\, {\it dx} + (x y^2)\, {\it dy} \]

Question 18.11

A particle travels across a flat surface, moving due east for 3 m, then due north for 4 m, and then returns to its origin. A force field acts on the particle, given by \(\textbf{F}(x,y) = (3x + 4y^2) \textbf{i} + (10xy) \textbf{j}\). (Here we assume that \(\textbf{j}\) points north.) Use Green’s theorem to find the work done on the particle by \(\textbf{F}\).

Question 18.12

Evaluate \(\int_C y {\it {\,d} x}- x {\it dy}\), where \(C\) is the boundary of the square \([-1, 1] \times [-1, 1]\) oriented in the counterclockwise direction, using Green’s theorem.

Question 18.13

Find the area of the disc \(D\) of radius \(R\) using Green’s theorem.

Question 18.14

Verify Green’s theorem for the disc \(D\) with center \((0, 0)\) and radius \(R\) and the functions:

  • (a) \(P (x,y) = xy^2 , Q(x,y) = - y x^2\)
  • (b) \(P (x,y) = x + y , Q(x,y) = y\)
  • (c) \(P (x,y) = xy = Q(x,y)\)
  • (d) \(P (x,y) = 2y , Q(x,y) = x\)

Question 18.15

Using the divergence theorem, show that \(\int_{\partial\! D} {\bf F} \,{\cdot}\, {\bf n}\, ds=0\), where \({\bf F} (x,y) = y {\bf i}- x {\bf j}\) and \(D\) is the unit disc. Verify this directly.

Question 18.16

Find the area bounded by one arc of the cycloid \(x = a( \theta - \sin \theta), y = a (1 - \cos \theta)\), where \(a > 0\), and \(0 \le \theta \le 2 \pi\), and the \(x\) axis (use Green’s theorem).

Question 18.17

Under the conditions of Green’s theorem, prove that

  • (a) \(\displaystyle \int_{\partial\! D} {P\!Q} {\it {\,d} x} + {P\! Q}\, {\it dy} = \intop\!\!\!\intop\nolimits_{\! D} \left[ Q \left( \frac{\partial\! P}{\partial x} - \frac{\partial\! P}{\partial y} \right)+ P \left( \frac{\partial\! Q}{\partial x} - \frac{\partial\! Q}{\partial y} \right) \right]\!\! {\it {\,d} x}\, {\it dy}\)
  • (b) \(\displaystyle \int_{\partial\! D} \left( Q \frac{\partial\! P}{\partial x} - P \frac{\partial\! Q}{\partial x} \right)\!\! {\it {\,d} x} + \left( P \frac{\partial\! Q}{\partial y} - Q \frac{\partial\! P}{\partial y}\right) {\it dy} \displaystyle = 2 \intop\!\!\!\intop\nolimits_{\! D} \left( P \frac{\partial^2 Q}{\partial x\, \partial y} - Q \frac{\partial^2 P}{\partial x\, \partial y} \right)\!\! {\it {\,d} x}\, {\it dy}\)

Question 18.18

Evaluate the line integral \[ \int_C ( 2 x^3 - y^3)\, {\it {\,d} x} + (x^3 + y^3)\, {\it dy}, \] where \(C\) is the unit circle, and verify Green’s theorem for this case.

438

Question 18.19

Prove the following generalization of Green’s theorem: Let \(D\) be a region in the \(xy\) plane with boundary a finite number of oriented simple closed curves. Suppose that by means of a finite number of line segments parallel to the coordinate axes, \(D\) can be decomposed into a finite number of simple regions \(D_i\) with the boundary of each \(D_i\) oriented counterclockwise (see Figure 18.5). Then if \(P\) and \(Q\) are of class \(C^1\) on \(D\), \[ \intop\!\!\!\intop\nolimits_{D} \Big( \frac{\partial\! Q}{\partial x} - \frac{\partial\! P}{\partial y} \Big)\, {\it dx}\, {\it dy} = \int_{\partial\! D} P {\it {\,d} x} + Q \,{\it dy}, \] where \(\partial\! D\) is the oriented boundary of \(D\). (HINT: Apply Green’s theorem to each \(D_i\).)

Question 18.20

Verify Green’s theorem for the integrand of Exercise 15, two exercises back, (that is, with \(P= 2 x^3 - y^3\) and \(Q= x^3 + y^3\)) and the annular region \(D\) described by \(a \le x^2 + y^2 \le b\), with boundaries oriented as in Figure 18.5.

Question 18.21

Let \(D\) be a region for which Green’s theorem holds. Suppose \(f\) is harmonic; that is, \[ \frac{\partial^2 f}{\partial x^2}+ \frac{\partial^2 f}{\partial y^2} =0 \] on \(D\). Prove that \[ \int_{\partial\! D} \frac{\partial f}{\partial y} {\it {\,d} x} - \frac{\partial f}{\partial x} {\it dy} =0 . \]

Question 18.22

  • (a) Verify the divergence theorem for \({\bf F} = x {\bf i} + y {\bf j}\) and \(D\) the unit disc \(x^2 +y^2 \le 1\).
  • (b) Evaluate the integral of the normal component of \(2 xy {\bf i} - y^2 {\bf j}\) around the ellipse defined by \(x^2 / a^2 + y^2 / b^2 = 1\).

Question 18.23

Let \(P (x,y) = - y/( x^2 + y^2)\) and \(Q (x,y) = x / ( x^2 + y^2)\). Assuming \(D\) is the unit disc, investigate why Green’s theorem fails for this \(P\) and \(Q\).

Question 18.24

Use Green’s theorem to evaluate \(\int_{C^+} (y^2 + x^3)\, {\it {\,d} x} + x^4 {\it dy}\), where \(C^{+}\) is the perimeter of the square \([0,1] \times [0,1]\) in the counterclockwise direction.

Question 18.25

Verify Theorem 3 by showing that \((\nabla \times {\bf F})\,{\cdot}\,{\bf k}=\partial\! Q/\partial x-\partial\! P/\partial y\).

Question 18.26

Use Theorem 2 to compute the area inside the ellipse \(x^2 / a^2 + y^2 / b^2 =1\).

Question 18.27

Use Theorem 2 to recover the formula \(A = \frac{1}{2} \int_a^b r^2 {\,d} \theta\) for a region in polar coordinates.

Question 18.28

Sketch the proof of Green’s theorem for the region shown in Figure 18.10.

Figure 18.10: Prove Green’s theorem for this region.

Question 18.29

Prove the identity \[ \int_{\partial\! D} \phi {\nabla}\phi \,{\cdot}\, {\bf n} {\,d} s = \intop\!\!\!\intop\nolimits_{D} ( \phi {\nabla}^2 \phi + {\nabla} \phi \,{\cdot}\, {\nabla} \phi) {\,d} A. \]

Question 18.30

Use Green’s theorem to find the area of one loop of the four-leafed rose \(r =3 \sin 2 \theta\). (HINT: \(x\, {\it dy} - y {\it {\,d} x} = r^2 d \theta.)\)

Question 18.31

Show that if \(C\) is a simple closed curve that bounds a region to which Green’s theorem applies, then the area of the region \(D\) bounded by \(C\) is \[ A = \int_{\partial\! D} x {\it dy} = - \int_{\partial\! D} y {\it {\,d} x}. \]

Show how this implies Theorem 2.

The next set of exercises illustrate the application of Green’s theorem to partial differential equations. (Further applications are given in the Internet supplement.) They are particularly concerned with solutions to Laplace’s equation, that is, with harmonic functions. For these exercises, let D be an open region in \({\mathbb R}^2\) with boundary \(\partial\! D\). Let \(u \colon\, D \cup \partial\! D \to {\mathbb R}\) be a continuous function that is of class \(C^2\) on D. Suppose \({\bf p} \in D\) and the closed discs \(B_\rho = B_\rho ( {\bf p})\) of radius \(\rho\) centered at \({\bf p}\) are contained in D for \(0 < \rho \le R\). Define \(I ( \rho)\) by \[ I ( \rho) = \frac{1}{\rho} \int_{\partial B_\rho} u\, {\it {\,d} s}. \]

Question 18.32

Show that \({\rm limit}_{\rho \to 0}\,\, I ( \rho) = 2 \pi u ( {\bf p})\).

Question 18.33

Let \({\bf n}\) denote the outward unit normal to \(\partial B_\rho\) and \(\partial u / \partial n ={\nabla} u \,{\cdot}\, {\bf n}\). Show that \[ \int_{\partial B_\rho} \frac{\partial u}{\partial n} {\,d} s =\intop\!\!\!\intop\nolimits_{B_\rho} {\nabla}^2 u\, {\it {\,d} A}. \]

439

Question 18.34

Using the previous exercise, show that \(I' (\rho)= {\displaystyle (1/\rho)} {\intop\!\!\!\intop}_{B_\rho} {\nabla}^2 u {\it {\,d} A}\).

Question 18.35

Suppose \(u\) satisfies Laplace’s equation: \({\nabla}^2 u =0\) on \(D\). Use the preceding exercises to show that \[ u ( {\bf p}) =\frac{1}{2\pi R} \int_{\partial B_R} u {\,d} s. \] (This expresses the fact that the value of a harmonic function at a point is the average of its values on the circumference of any disc centered about it.)

Question 18.36

Use the previous exercise to show that if \(u\) is harmonic (i.e., if \({\nabla}^2 u =0)\), then \(u ( {\bf p} )\) can be expressed as an area integral \[ u ( {\bf p}) = \frac{1}{\pi { R}^2} \intop\!\!\!\intop\nolimits_{B_R} u\, {\it {\,d} A}. \]

Question 18.37

Suppose \(u\) is a harmonic function defined on \(D\) (i.e., \({\nabla}^2 u=0\) on \(D\)) and that \(u\) has a local maximum (or minimum) at a point \({\bf p}\) in \(D\).

  • (a) Show that \(u\) must be constant on some disc centered at \({\bf p}\). (HINT: Use the results of an exercise above.)
  • (b) Suppose that \(D\) is path-connected [i.e., for any points \({\bf p}\) and \({\bf q}\) in \(D\), there is a continuous path \({\bf c} \colon\, [0,1] \to D\) such that \({\bf c} (0) = {\bf p}\) and \({\bf c} (1) = {\bf q}\)] and that for some \({\bf p}\) the maximum or minimum at \({\bf p}\) is absolute; thus, \(u ( {\bf q}) \le u ( {\bf p})\) or \(u ( {\bf q} )\ge u ( {\bf p})\) for every \({\bf q}\) in \(D\). Show that \(u\) must be constant on \(D\).

(The result in this Exercise is called a strong maximum or minimum principle for harmonic functions. Compare this with Exercises 46 to 50 in Section 13.3.)

Question 18.38

A function is said to be subharmonic on \(D\) if \({\nabla}^2 u \ge 0\) everywhere in \(D\). It is said to be superharmonic if \({\nabla}^2 u \le 0\).

  • (a) Derive a strong maximum principle for subharmonic functions.
  • (b) Derive a strong minimum principle for superharmonic functions.

Question 18.39

Suppose \(D\) is the disc \(\{ (x,y) \mid x^2 + y^2 < 1 \}\) and \(C\) is the circle \(\{ (x,y) \mid x^2 + y^2 =1\}\). In the Internet supplement, we shall show that if \(f\) is a continuous real-valued function on \(C\), then there is a continuous function \(u\) on \(D \cup C\) that agrees with \(f\) on \(C\) and is harmonic on \(D\). That is, \(f\) has a harmonic extension to the disc. Assuming this, show the following:

  • (a) If \(q\) is a nonconstant continuous function on \(D \cup C\) that is subharmonic (but not harmonic) on \(D\), then there is a continuous function \(u\) on \(D \cup C\) that is harmonic on \(D\) such that \(u\) agrees with \(q\) on \(C\) and \(q < u\) everywhere on \(D\).
  • (b) The same assertion holds if “subharmonic” is replaced by “superharmonic” and “\(q < u\)” by “\(q > u\).”

Question 18.40

Let \(D\) be as in the previous exercise. Let \(f \colon\, D \to {\mathbb R}\) be continuous. Show that a solution to the equation \({\nabla}^2 u=0\) satisfying \(u ({\bf x}) = f ({\bf x})\) for all \({\bf x} \in \partial\! D\) is unique.

Question 18.41

Use Green’s theorem to prove the change of variables formula in the following special case: \[ \intop\!\!\!\intop\nolimits_{D} {\it {\,d} x}\, {\it dy} = \intop\!\!\!\intop\nolimits_{D^*} \Big| \frac{\partial (x,y)}{\partial (u,v)} \Big| {\,d} u {\,d} v \] for a transformation \((u,v) \mapsto (x(u,v), y(u,v))\).