Curl is circulation per unit area. Add up the tiny circulations of all the small cells that make up a region, and the inside edges cancel, because each one is traced twice in opposite directions. What is left is the circulation around the outer boundary. That is Green's theorem: a line integral around a closed curve equals a double integral over the region inside.
Idea clave
Green's theorem (circulation form). Let $D$ be a bounded region whose boundary $C$ is a piecewise smooth simple closed curve, traced counterclockwise (positive orientation: the region stays on your left). If $P$ and $Q$ have continuous partial derivatives on an open region containing $D$, then
$$\oint_C P\,dx + Q\,dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA.$$
Por qué funciona
Proof for a rectangle $D = [a, b] \times [c, d]$. Take the $P$ part. On the bottom ($y = c$, left to right) and the top ($y = d$, right to left), and with $dx = 0$ on the sides:
$$\oint_C P\,dx = \int_a^b P(x, c)\,dx - \int_a^b P(x, d)\,dx = -\int_a^b \left[P(x, d) - P(x, c)\right] dx = -\int_a^b \int_c^d P_y\,dy\,dx,$$
by the fundamental theorem of calculus in $y$. The same steps with the two vertical sides give $\oint_C Q\,dy = \iint_D Q_x\,dA$. Adding gives the theorem. A general region can be cut into many small rectangles (and thin slivers along a curved edge); the cell circulations add up, the shared edges cancel, and the theorem holds for the whole region.
Worked examples
Ejemplo resuelto: A rectangle, both ways
Find $\oint_C xy\,dx + x^2\,dy$, where $C$ is the boundary of $[0, 1] \times [0, 2]$, counterclockwise.
- Green: $Q_x - P_y = 2x - x = x$, and $\int_0^1 \int_0^2 x\,dy\,dx = 2 \cdot \frac{1}{2} = 1$.
- Directly: bottom ($y = 0$): ${}0$. Right ($x = 1$, $y$ from ${}0$ to ${}2$): $\int_0^2 1\,dy = 2$. Top ($y = 2$, $x$ from ${}1$ to ${}0$): $\int_1^0 2x\,dx = -1$. Left ($x = 0$): ${}0$.
- Total ${}2 - 1 = 1$, as Green's theorem said.
Respuesta: ${}1$
Ejemplo resuelto: A disk, in polar coordinates
Find $\oint_C -y^3\,dx + x^3\,dy$ around $x^2 + y^2 = 9$, counterclockwise.
- $Q_x - P_y = 3x^2 + 3y^2 = 3r^2$.
- $$\int_0^{2\pi} \int_0^3 3r^2 \cdot r\,dr\,d\theta = 2\pi \cdot \frac{3 \cdot 81}{4} = \frac{243\pi}{2}.$$
Respuesta: $\frac{243\pi}{2}$
Ejemplo resuelto: Clockwise
Find $\oint_C y^2\,dx + 3xy\,dy$ around the triangle with vertices $(0, 0)$, $(1, 0)$, $(0, 1)$, traced clockwise.
- $Q_x - P_y = 3y - 2y = y$.
- $$\iint_D y\,dA = \int_0^1 \int_0^{1 - x} y\,dy\,dx = \int_0^1 \frac{(1 - x)^2}{2}\,dx = \frac{1}{6}.$$
- Clockwise is the negative orientation, so the answer is $-\frac{1}{6}$.
Respuesta: $-\frac{1}{6}$
Error común
Ignoring the direction. Green's theorem as stated assumes counterclockwise travel. If the curve is traced clockwise, the line integral is the negative of the double integral. Before applying the theorem, check that the region is on your left as you walk along $C$; if not, put a minus sign in front.