Diferencia entre revisiones de «Teorema de Green»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Añadiendo plantilla Listaref |
||
| (No se muestran 13 ediciones intermedias de 9 usuarios) | |||
Línea 3:
== Teorema ==
Sea {{mvar|C}} una [[Teorema de la curva de Jordan|curva de Jordan]] simple, positivamente orientada, en un plano y sea {{mvar|D}} la región limitada por {{mvar|C}}. Si {{mvar|L}} y {{mvar|M}} son funciones de {{math|(''x'', ''y'')}} definidas en una región abierta conteniendo a {{mvar|D}} y tiene derivadas parciales continuas allí, entonces:<br>
Sean <math>D\subset\mathbb{R}^2</math> una región simple cuya frontera es una curva <math>C</math> suave a trozos orientada en sentido positivo, si <math>\mathbf{F}=(M,N):D\subset\rightarrow\mathbb{R}^{2}</math> es un [[campo vectorial]] con [[Derivada parcial|derivadas parciales]] continuas en una región abierta que contiene a <math>D</math> entonces▼
donde el paso de integración a lo largo de {{mvar|C}} es antihorario.<ref>{{cite book |title=Mathematical Methods for Physics and Engineering |url=https://archive.org/details/mathematicalmeth00rile |url-access=registration |first1=K. F. |last1=Riley |first2=M. P. |last2=Hobson |first3=S. J. |last3=Bence |publisher=Cambridge University Press |year=2010 |isbn=978-0-521-86153-3 }}</ref><ref>{{cite book |title=Vector Analysis |edition=2nd |first1=M. R. |last1=Spiegel |first2=S. |last2=Lipschutz |first3=D. |last3=Spellman |series=Schaum’s Outlines |publisher=McGraw Hill |year=2009 |isbn=978-0-07-161545-7 }}</ref><br>
▲Sean <math>D\subset\mathbb{R}^2</math> una región
:<math>\oint_{C}Mdx+Ndy=\iint_D\left(\frac{\partial N}{\partial x}-\frac{\partial M}{\partial y}\right)dA</math>
donde <math>C=\partial D</math>.
== Demostración cuando ''D'' es una región simple ==
[[Archivo:Green's-theorem-simple-region.svg|thumb|300px|right|Si
Lo siguiente es una demostración de la mitad del teorema para la región <math>D</math>, se demostrará cuando <math>D</math> es una región tipo I donde <math>C_1</math> y <math>C_3</math> son curvas conectadas por líneas verticales (posiblemente de longitud cero). Una demostración similar existe para la otra parte del teorema cuando se considera a <math>D</math> como una región tipo II donde <math>C_2</math> y <math>C_4</math> son curvas conectadas por curvas horizontalmente (y otra vez, posiblemente de longitud cero). Considerando estas dos partes, uno demuestra el teorema para una región de tipo III (definida como una región que es tanto de tipo I como de tipo II).
Puede demostrarse que si
:<math>\oint_{\partial D}Mdx=\iint_D\left(-\frac{\partial M}{\partial y}\right)dA</math>
y
:<math>\oint_{\partial D}Ndy=\iint_D\left(\frac{\partial N}{\partial x}\right)dA</math>
son ciertas entonces el teorema de Green queda demostrado para la región <math>D</math>. Podemos probar la primera igualdad para regiones de tipo I y la segunda para regiones de tipo II con lo que el teorema de Green es válido para regiones de tipo III.
Si suponemos que <math>D</math> es una región de tipo I entonces <math>D</math> queda descrita como
:<math>D=\{(x,y)\in\mathbb{R}^2:a\leq x\leq b,g_1(x)\leq y\leq g_2(x)\}</math>
donde <math>g_1(x)</math> y <math>g_2(x)</math> son funciones continuas en <math>[a,b]</math>. Calculando la integral doble de la primera igualdad tenemos
:<math>\begin{align}
\iint_D\frac{\partial M}{\partial y}\;dA
&=\int_a^b\int_{g_1(x)}^{g_2(x)}\frac{\partial M}{\partial y}(x,y)dydx \\
&=\int_a^b[M(x,g_2(x))-M(x,g_1(x))]dx
\end{align}</math>
Ahora calculemos la integral de línea para la primera igualdad. <math>\partial D</math> puede ser escrito como la unión de las cuatro regiones <math>C_1</math>, <math>C_2</math>, <math>C_3</math> y <math>C_4</math>.
Para <math>C_1</math> utilicemos las siguientes ecuaciones paramétricas <math>x=x</math> y <math>y=g_1(x)</math> con <math>a\leq x\leq b</math> entonces
:<math>\int_{C_1}M(x,y)dx=\int_a^bM(x,g_1(x))dx</math>
Para <math>C_3</math> utilicemos las siguientes ecuaciones paramétricas <math>x=x</math> y <math>y=g_2(x)</math> con <math>a\leq x\leq b</math> entonces
:<math>\int_{C_3}M(x,y)dx=-\int_{-C_3}M(x,y)dx=-\int_a^bM(x,g_2(x))dx</math>
La integral sobre <math>C_3</math> es negativa pues va de <math>b</math> a <math>a</math>. En <math>C_2</math> y <math>C_4</math>, <math>x</math> es constante por lo que
:<math>\int_{C_4}M(x,y)dx=\int_{C_2}M(x,y)dx=0</math>
Por lo que
:<math>\begin{align}
\oint_{\partial D}Mdx
&=\int_{C_1}M(x,y)dx+\int_{C_2}M(x,y)dx+\int_{C_3}M(x,y)dx+\int_{C_4}M(x,y)dx \\
&=\int_{C_1}M(x,y)dx+\int_{C_3}M(x,y)dx \\
&=\int_a^bM(x,g_1(x))dx-\int_a^bM(x,g_2(x))dx \\
&=\int_a^b[M(x,g_1(x))dx-M(x,g_2(x))]dx \\
&=-\int_a^b[M(x,g_2(x))dx-M(x,g_1(x))]dx \\
&=-\iint_D\frac{\partial M}{\partial y}\;dA
\end{align}</math>
De manera análoga se puede demostrar la segunda igualdad, combinando estos dos resultados, habremos demostrado el resultado para regiones de tipo III.
== Ejemplo ==
Podemos utilizar el teorema de Green para evaluar la integral de línea
:<math>\oint_{\partial D}y^3dx+(x^3+3xy^2)dy</math>
donde <math>\partial D</math> es la trayectoria orientada en sentido antihorario desde <math>(0,0)</math> hasta <math>(1,1)</math> a lo largo de la gráfica de <math>y=x^3</math> desde <math>(1,1)</math> hasta <math>(0,0)</math> a lo largo de la gráfica de <math>y=x</math>.
Como <math>M=y^3</math> y <math>N=x^3+3xy^2</math> entonces
:<math>\frac{\partial N}{\partial x}=3x^2+3y^2
\qquad\qquad
\frac{\partial M}{\partial y}=3y^2</math>
Aplicando el teorema de Green
:<math>\begin{align}
\oint_{\partial D}y^3dx+(x^3+3xy^2)dy
&=\iint_D(3x^2+3y^2-3y^2)dA \\
&=\iint_D3x^2dA \\
&=\int_0^1\int_{x^3}^x3x^2dydx \\
&=\int_0^1(3x^3-3x^5)dx \\
&=\frac{1}{4}
\end{align}</math>
Para este ejemplo, el teorema de Green se utilizó para ahorrar tiempo pues evaluar la integral de línea en este caso es algo laborioso. Es importante notar que en este caso, es aplicable el teorema de Green pues satisface las hipótesis.
==Relación con el teorema de Stokes==
▲[[Archivo:Green's-theorem-simple-region.svg|thumb|300px|right|Si '''D''' es una región simple con su límite consistente en las curvas '''C'''<sub>1</sub>, '''C'''<sub>2</sub>, '''C'''<sub>3</sub>, '''C'''<sub>4</sub>, la mitad del teorema de Green puede ser demostrada.]]
El teorema de Green es un caso especial en <math>\mathbb{R}^{2}</math> del [[teorema de Stokes#Casos especiales |teorema de
Sean <math>D\subset\mathbb{R}^{2}
</math> una región simplemente conexa, <math>\partial D
</math> su frontera orientada en sentido positivo y <math>\mathbf{F}=(M,N):D\rightarrow\mathbb{R}^{2}</math> un campo vectorial con derivadas parciales continuas sobre <math>D
</math> entonces
Línea 54 ⟶ 117:
</math> es un vector normal en la frontera.
Para ver esto, considere la unidad normal en la parte derecha de la ecuación. Como <math>d\mathbf{r} = (dx, dy)</math> es un vector apuntando tangencialmente a través de una curva, y la curva <math>C</math> está orientada positivamente, es decir, en sentido antihorario a través de la frontera, un vector normal saliente sería aquel que apunta en 90
Tomando los componentes de <math>\mathbf{F} = (N, -M)</math>, el lado derecho se convierte en
:<math>\begin{align}
\int_{\partial D}\mathbf{F}\cdot\mathbf{
&=\int_{\partial D} (N,-M) \cdot (dy,-dx) \\
&=\int_{\partial D} Ndy + Mdx
Línea 124 ⟶ 187:
* [[Teorema de Stokes]]
* [[Teorema de la divergencia|Teorema de Gauss]]
== Referencias ==
{{listaref}}
== Enlaces externos ==
| |||