Why the Hypotheses Matter
Green’s Theorem relates an integral around a planar boundary to a double integral over the region it encloses. Before using that relationship, we must check that both sides are meaningful and that the theorem’s assumptions hold. A boundary may be geometrically unsuitable, or a vector field may fail to be sufficiently smooth at a point in the region.
These checks are not formalities. For example, if a field component is undefined at a point inside the region, its derivatives may not be defined throughout the region either. The fact that the field looks well behaved along the boundary alone does not establish the hypotheses for Green’s Theorem.
A Standard Set of Hypotheses
Write a planar vector field as \(\mathbf{F}(x,y)=\langle P(x,y),Q(x,y)\rangle\), and let \(D\) be a bounded planar region with boundary \(C=\partial D\). A standard version of Green’s Theorem assumes that \(C\) is a positively oriented, simple, closed, piecewise-smooth curve, and that \(P\) and \(Q\) have continuous first partial derivatives on an open set containing the closure \(\overline{D}\).
- \(D\) is a bounded region with a boundary \(C\) that is simple, closed, and piecewise smooth;
- \(C\) has positive orientation, meaning that the region stays to the left as the boundary is traversed; and
- the components \(P\) and \(Q\), together with their first partial derivatives, are defined and continuous on an open set containing \(\overline{D}\).
The open-set condition is a convenient precise way to include the boundary as well as the interior. Some statements of the theorem phrase the smoothness assumption differently, but checking it on an open neighborhood of the whole closed region is a safe standard criterion. In particular, checking smoothness only at points strictly inside \(D\) is not enough for this version.
The circulation form uses the partial derivatives \(Q_x\) and \(P_y\), while the flux form uses \(P_x\) and \(Q_y\). Requiring all first partial derivatives to be continuous ensures the smoothness condition for either form.
What Counts as a Piecewise-Smooth Boundary?
A curve is piecewise smooth if it consists of finitely many smooth curve segments joined end to end. The segments may meet at corners. On each segment, a parametrization should have a continuous derivative; typically the derivative is nonzero except possibly at the segment’s endpoints. The complete boundary must still be a closed curve without self-crossings for the standard simple-region version stated here.
A corner is therefore not automatically a problem. For example, the four straight sides of a rectangle form a piecewise-smooth boundary, even though the direction changes abruptly at each vertex. A crossing or an open boundary is different: it does not describe a simple closed boundary of the required kind.
Positive orientation specifies how to traverse the boundary. For a simple closed boundary of a single region, counterclockwise traversal is positive: the region remains on the left. Reversing the direction changes the orientation. Because the orientation is part of the theorem’s setup, it should be checked rather than assumed from a sketch.
Worked Example: A Polynomial Field on a Rectangle
Worked Example: A Polynomial Field on a Rectangle
Let \(D=[0,2]\times[-1,1]\), with boundary traversed counterclockwise, and let \(P(x,y)=x^2-y\) and \(Q(x,y)=xy\). Determine whether the standard hypotheses are satisfied.
The boundary consists of four straight line segments: the sides \(x=0\), \(x=2\), \(y=-1\), and \(y=1\). They join to form a closed rectangle without self-crossings. Thus the boundary is simple, closed, and piecewise smooth. Its stated counterclockwise traversal is positive.
Now calculate the first partial derivatives:
Each component and each derivative is a polynomial or a constant. These functions are defined and continuous everywhere in \(\mathbb{R}^2\), so in particular they are defined and continuous on an open set containing \(\overline{D}\).
All the listed conditions hold. Green’s Theorem is applicable to this region and field. This conclusion checks eligibility; it does not yet calculate either integral.
Checking the Field and Its Derivatives
For the field condition, check more than whether \(P\) and \(Q\) have values at points of the boundary. You must also verify that their first partial derivatives exist and are continuous throughout an open set containing the region’s closure. A formula may be defined at every point yet fail to have a continuous derivative somewhere.
For many familiar fields, the check is direct. Polynomials are defined and continuous everywhere, as are their partial derivatives. Sums and products of continuously differentiable functions remain continuously differentiable. Compositions of continuously differentiable functions also have continuous first derivatives wherever the composition is defined.
Worked Example: A Smooth Field on a Disk
Worked Example: A Smooth Field on a Disk
Let \(D=\{(x,y):x^2+y^2\leq 4\}\), and let \(P(x,y)=\sin(xy)\) and \(Q(x,y)=e^x+y^2\). Determine whether the standard hypotheses hold when the circle is traversed counterclockwise.
The boundary is the circle of radius \(2\). A parametrization is \(\mathbf{r}(t)=\langle 2\cos t,2\sin t\rangle\), for \(0\leq t\leq 2\pi\). Its derivative is \(\mathbf{r}'(t)=\langle-2\sin t,2\cos t\rangle\), whose length is \(2\) for every \(t\). The curve is smooth, closed, and has no self-crossings. The counterclockwise traversal is positive.
Using the chain rule, the first partial derivatives are
The exponential and trigonometric functions are defined and continuous everywhere. Their compositions and products in these expressions are also defined and continuous everywhere in \(\mathbb{R}^2\). Thus the field components and all their first partial derivatives are continuous on an open set containing the closed disk.
The boundary and field conditions both hold, so Green’s Theorem is applicable.
Why the Open Neighborhood Condition Is Useful
It is tempting to check a field only in the interior of a region. But Green’s Theorem uses a boundary integral as well as information over the region, and the standard hypothesis must control behavior up to the boundary. Requiring continuity on an open set containing the closure makes this explicit: each point of \(\overline{D}\), including every boundary point, lies in a set where the field components and their derivatives are defined and continuous.
The condition also helps rule out hidden trouble inside the region. Checking a field at a few sample points cannot establish continuity everywhere. Instead, inspect the formulas and their domains, locate any points where a formula or derivative might fail, and compare those points with the entire closed region.
Here is a short justification for a common shortcut. If \(P\) and \(Q\) are polynomials, each first partial derivative is also a polynomial, as follows by differentiating each monomial. Every polynomial is defined and continuous on \(\mathbb{R}^2\). Therefore the field condition holds on all of \(\mathbb{R}^2\), and hence on an open neighborhood of any bounded region. This proves why polynomial fields need no further domain or continuity checks, although the boundary hypotheses remain necessary.
Worked Example: A Field That Fails the Smoothness Test
Worked Example: A Field That Fails the Smoothness Test
Let \(D=[-1,1]\times[-1,1]\), with counterclockwise boundary, and define \(P(x,y)=|x|\), \(Q(x,y)=0\). The boundary is a simple, closed, piecewise-smooth curve with positive orientation. Check the field condition.
The component \(P\) is defined and continuous everywhere. However, for \(x\neq 0\), its partial derivative with respect to \(x\) is \(1\) if \(x>0\) and \(-1\) if \(x<0\). At \(x=0\), the difference quotient is
The two one-sided values disagree, so \(P_x(0,y)\) does not exist. Since the line \(x=0\) passes through the region, the first partial derivatives are not defined throughout \(D\). The field condition fails, and this version of Green’s Theorem cannot be invoked.
The error would be to say, “\(P\) is continuous, so the field is smooth enough.” Continuity of the field components alone does not supply continuous first partial derivatives. The correction is to check the derivatives themselves, including at points where the original formula changes form.
A Practical Sequence of Checks
A careful application can be organized into a short sequence. Each check addresses a different hypothesis; passing one does not guarantee the others.
Identify the full region \(D\) and the points in \(\overline{D}\), not just a few boundary points.
Confirm that it is closed, simple, and made of finitely many smooth pieces. Corners are allowed under the piecewise-smooth condition.
Verify that the traversal is positive, so the region stays to the left along the boundary.
Find \(P_x,P_y,Q_x,Q_y\), and confirm the components and derivatives are defined and continuous on an open set containing \(\overline{D}\).
If any required condition is not established, do not use this standard version without first resolving the issue.
Common Pitfalls
- Checking only the boundary values. A field may be well behaved on the boundary but fail to be defined or differentiable inside the region. Check the whole closure.
- Checking only that the components are continuous. Green’s Theorem requires continuous first partial derivatives, not merely continuous \(P\) and \(Q\).
- Treating corners as disqualifying. A finite number of corners is compatible with a piecewise-smooth boundary.
- Ignoring direction of traversal. Positive orientation is part of the hypotheses; identify it before setting up a boundary integral.
- Assuming a diagram proves the conditions. A sketch may suggest the boundary’s shape, but the parametrization or boundary description should confirm its pieces and orientation.
These checks establish whether the theorem may be used; they do not themselves evaluate an integral. If a condition fails, that does not automatically prove that a particular equality of integrals is false. It means only that this version of Green’s Theorem does not justify the equality under the stated assumptions.
Check Your Understanding
Use the hypotheses in this tutorial to answer the following questions.
- Why is a rectangle’s boundary piecewise smooth even though it has corners?
- What does positive orientation mean for a simple closed planar boundary?
- For the standard version stated here, why should continuity be checked on an open set containing the region’s closure?
- What field condition fails for \(P(x,y)=|x|\), \(Q(x,y)=0\) on a region crossing \(x=0\)?
- If both field components are polynomials, which hypothesis still requires an independent check?