2021-09-13
El teorema de Green da la relaci贸n que existe entre una integral curvil铆nea $\int_C F \cdot dS$ de un campo $F : \R^2 \to \R^2$ alrededor de una curva cerrada simple $C$ y una integral doble sobre la regi贸n plana $D$ encerrada por $C$.
<aside> 馃挱 Recordamos los tipos de regiones de An谩lisis I.
</aside>
Definimos regiones de Tipo III como aquellas que son de tipo I y II.
Vamos a enunciar el Teorema de Green sobre regiones de Tipo III, pero el teorema es generalizable.
Una curva cerrada simple $C$ que es la frontera de una regi贸n de tipo I, II 贸 III tiene dos orientaciones: una recorriendo la curva en sentido contrario a las agujas del reloj y otra recorriendo la curva en el sentido de las agujas del reloj.
A la primera la llamaremos orientaci贸n positiva y escribiremos $C^+$.
A la segunda la llamaremos orientaci贸n negativa y escribiremos $C^-$.
<aside> 馃挕 Notemos que la orientaci贸n positiva tambi茅n puede reconocerse de la siguiente forma: Si se recorre la curva C caminando en sentido positivo se deja la regi贸n D que encierra C a la izquierda.
</aside>
Sea $F = (P, Q)$ un campo vectorial de clase $C^1$ definido en un abierto $\varOmega$ de $\R^2$ y sea $C$ una curva en el plano, cerrada, simple, orientada positivamente y diferenciable por trozos; que encierra una regi贸n $D \subset \varOmega$. Entonces
$$ \int_{C^+} (P, Q) = \int_{C^+}(P\cdot dx + Q \cdot dy) = \iint_D \bigg(\frac{\partial Q}{\partial x}(x, y) - \frac{\partial P}{\partial y}(x, y)\bigg) \cdot dxdy $$
Para demostrar el teorema usamos demostramos dos lemas: