8.

TEOREMAS INTEGRALES
Hasta ahora hemos introducido diferentes conceptos de integrales (integral de lnea, integral mltiple e integral de superficie), en este tema veremos que dichas integrales estn relacionadas a travs de teoremas que tienen especial importancia en las aplicaciones. Hemos de indicar que los resultados que vamos a obtener son ms generales que los que expondremos aqu, pero que el estudio en sus versiones generales se escapan de los objetivos de este tema y, adems, los vemos en la versin de ms utilidad para el estudiante de ingeniera o de ciencias aplicadas. Indiquemos, por ltimo, que utilizaremos las definiciones de operadores diferenciales vistos en el tema 2.

8.1. Teorema de Green

Con este teorema relacionaremos la integral de lnea en el plano con la integral doble.

Teorema 8.1.1. Teorema de Green-Riemann Sea R una regin del plano simplemente conexa y acotada, y supongamos que C es la curva cerrada y simple que envuelve a la regin R orientada en sentido positivo. Supondremos que la curva anterior es rectificable. Si P(x, y) y Q(x,y) son dos campos escalares definidos sobre R derivables y con derivadas parciales contnuas, se verifica que: MQ MP P(x,y)dx%Q(x,y)dy' ( & )dxdy mmR Mx My mC

Como consecuencia de este teorema, podemos enunciar:

Teorema 8.1.2 Sea un campo vectorial, F(x,y)'(P(x,y), Q(x,y)) derivable, con derivadas continuas, sobre la regin R simplemente conexa y acotada, y supongamos que Entonces F(x,y)'(P(x,y), Q(x,y)) es un campo gradiente. MQ MP ' Mx My en todo el conjunto R.

Ya sabamos tambin que si F era un campo gradiente resultaba que

MQ MP ' , por lo tanto: Mx My

Corolario 8.1.3 Sea un campo vectorial, F(x,y)'(P(x,y), Q(x,y)) derivable, con derivadas continuas, sobre la regin R simplemente conexa y acotada. La condicin necesaria y suficiente para que el campo F(x,y)'(P(x,y), Q(x,y)) sea un gradiente es que MQ MP ' en todo el conjunto R. Mx My

Para terminar este epgrafe el teorema, para una regin que no es simplemente conexa, queda:

Teorema 8.1.4. Teorema de Green para regiones multiplemente conexas. Sea un conjunto R del plano simplemente conexo y denominamos por Rk, k=1,2,...,n a n subconjuntos simplemente conexos contenidos en R. Supondremos que si C es la curva que envuelve a R y Ck la que envuelve a cada Rk, todas esas curvas son cerradas, regulares, simples y orientadas positivamente. En estas condiciones, si T'R& ^ Rk y admitimos que el campo vectorial F(x,y)'(P(x,y), Q(x,y))
n k'1

es derivable, con derivadas continuas, sobre la regin T , se verifica que: mC P(x,y)dx%Q(x,y)dy&j

n k'1

MQ MP P(x,y)dx%Q(x,y)dy' ( & )dxdy mCk mmT Mx My

Ejemplo: Expresar el rea de una regin simplemente conexa en el plano como una integral curvilnea. Sabemos que si R es una regin del plano, el rea de ella es: A' mmR dxdy . Para expresarla

como una integral de lnea basta elegir un campo vectorial, F(x,y)'(P(x,y), Q(x,y)) , derivable y con derivadas contnuas sobre R, de manera tal que MQ MP & '1 . Mx My

1 1 As, por ejemplo, tomando F(x,y)'(P(x,y), Q(x,y))'( x,& y) , se tiene que: 2 2 MQ MP 1 1 x y 1 ( & )dxdy' ( % )dxdy' dxdy'A' xdy&ydx dy& dx' mC 2 mmR Mx My mR 2 2 mmR 2 2 mC donde C es la curva definida por el contorno de R.

Ntese que la expresin no es nica, podramos haber tomado, por ejemplo, Q=x, y P=0 y tendramos otra expresin del rea como una integral de lnea.

8.2 Teorema de Stokes

Podemos decir que el teorema de Stokes se corresponde con una generalizacin del teorema de Green en el espacio tridimensional. Como decamos al principio de este tema, admite un enunciado ms general; no obstante, aqu lo expresamos de la siguiente forma:

Teorema 8.2.1. Teorema de Stokes o del rotacional. Sea un S una superficie regular, derivable dos veces, definida por r = r(u,v) con (u,v) 0 Td 2 R y supongamos que la curva, , definida por el contorno de T recorrida en sentido positivo, es cerrada y regular. En estas condiciones, si F(x,y,z)'P(x,y,z)i%Q(x,y,z)j%R(x,y,z)k es un campo vectorial derivable, con derivadas continuas, sobre S, y C es la curva r() que se obtiene como imagen de mediante la aplicacin r con la orientacin inducida por r, se verifica que: P(x,y,z)dx%Q(x,y,z)dy%R(x,y,z)dz' rotF@ndS mC mmS

Como consecuencia de ste, obtenemos el equivalente al caso de campos de dos variables: Proposicin 8.2.2 Sea un campo vectorial, F(x,y,z)'(P(x,y,z), Q(x,y,z), R(x,y,z)) derivable, con derivadas continuas, sobre una regin, R, convexa del espacio tridimensional. La condicin necesaria y suficiente para que el campo F sea un gradiente es que rotF'0 en todo el conjunto R.

8.3. Teorema de Gauss

Este teorema, una vez ms, nos relaciona dos tipos de integrales; en este caso una integral de superficie con una integral triple. Su enunciado es el que sigue: Teorema 8.3.1. Teorema de Gauss o de la divergencia Sea un campo vectorial, F(x,y,z)'(P(x,y,z), Q(x,y,z), R(x,y,z)) derivable, con derivadas continuas, sobre una regin acotada, V, de R3 y supongamos que la superficie, S, que lo limita es regular y orientable, siendo n el vector normal unitario que se orienta hacia el exterior de la regin. En estas condiciones, se verifica que: MP MQ MR div F dxdydz' ( % % )dxdydz' F n dS mmS mmmV mmmV Mx My Mz