[Math] Understanding Green’s Theorem Proof

calculusgreen's theoremintegrationmultivariable-calculusvector-spaces

Going through the proof for Green's Theorem there is one step that I am not clear about.

$$
\begin{eqnarray}
\int_C M dx+Ndy &=& \iint_R\bigg(\frac{\partial N}{\partial x}-\frac{\partial M}{\partial y}\bigg)dA\\[10pt]
\Rightarrow\quad \int_C Mdx &=& \int_{C_1}Mdx + \int_{C_2}Mdx\\
&=& \int_a^b M(x,f_1(x)) dx + \int_b^aM(x,f_2(x)) dx\\
&=& \int_a^b\big[M(x,f_1(x))-M(x,f_2(x))]dx
\end{eqnarray}
$$

The last step I am unclear about as the fundamental theorem of line integrals states

$$
\begin{eqnarray}
\int_C \mathbf{F}\cdot d\mathbf{r} &=& f(x(b),y(b)) – f(x(a),y(a))\\
\mathbf{r}(t) &=& x(t)\mathbf{i} + y(t) \mathbf{j} \qquad a \leq t \leq b
\end{eqnarray}
$$

Given the integrate is equal to $f_b – f_a$ why isn't the last line of the proof $f_2 – f_1$? Does the converse mean we are treating the two functions as separate graphs where one represents the top half and the other the bottom? Is this what the horizontal and vertical simplicity refers to?

enter image description here

Image credits: Centrage Learning. Calculus 9th Edition by Larsson, Edwards.

Edit: I have changed the limits of integration along $ C_2 $ to $ \int_b^a $.

Best Answer

While since you have already got

$$ \begin{align} I_1&=\int_{C}M dx \\&= \int_a^b [M(x, f_1(x))-M(x, f_2(x))] dx \end{align} .$$

By the same method you obtain

$$ \begin{align} I_2&=\int_{C}N dy \\&= \int_c^d [N(x, g_2(x))-N(x, g_1(x))] dy \end{align} $$.

Now I suggest look at the RHS,

$$ \begin{align} J_1&=\iint_{R}\frac{\partial N}{\partial x} dA \\&= \int_c^d \left(\int_{g_1(y)}^{g_2(y)}\frac{\partial N}{\partial x}dx\right)dy \\&=\int_c^d [N(x, g_2(y))-N(x, g_1(y))]dy\\ &= I_2 \end{align}$$

The same reason you get

$$ \begin{align} J_2 &=-\iint_{R}\frac{\partial M}{\partial y} dA \\&= -\int_a^b \left(\int_{f_1(x)}^{f_2(x)}\frac{\partial M}{\partial x}dy\right)dx \\&=-\int_a^b [M(x, f_2(x))-M(x, f_1(x))]dy \\&= I_1 \end{align}$$

Now add them together we get $ I_1+I_2=J_2+J_1 $ which is the Green's Theorem.

Related Question