1.

Introduccion
Sea S una superficie suave por tramos y orientada que está acotada por
una curva C suave por tramos, simple y cerrada con orientación positiva. Sea
F un campo vectorial cuyas componentes tienen derivadas parciales continuas
en una región abierta en R3 que contiene a S. Entonces,
Z Z Z
F . dr = rot F . dS
c s

Puesto que, Z Z
F . dr = F . T ds
c c
y Z Z Z Z
rot F . dS = rot F . n dS
s s

El teorema de Stokes establece que la integral de lı́nea alrededor de la curva

frontera de S de la componente tangencial de F es igual a la integral de
superficie de la componente nor-mal del rotacional de F. La curva acotada
orientada en forma positiva de la superficie orientada S se escribe a menudo
como S , de modo que el teorema de Stokes se puede expresar como
Z Z Z
rot F . dS = F . dr
s θS
Hay una analogı́a entre el teorema de Stokes, el teorema de Green y el
teorema fundamental del cálculo. Como antes, hay una integral con derivadas
en el primer miembro de la ecuación 1 (recuerde que rot F es una clase de
derivada de F) y el segundo miembro contiene los valores de F sólo sobre la
frontera de S. De hecho, en el caso especial donde la superficie S es plana y
queda en el plano xy con orientación hacia arriba, la normal unitaria es k, la
integral de superficie se vuelve una integral doble, y el teorema de Stokes se
transforma en
Z Z Z Z Z
F . dr = rot F . dS = (rot F ) . k dA
c s s
Esto es precisamente la forma vectorial del teorema de Green dado en
la ecuación 16.5.12. Por tanto, el teorema de Green es realmente un caso
especial del teorema de Stokes. Aunque es muy difı́cil demostrar totalmente
el teorema de Stokes, podemos dar una demostración cuando S es una gráfica
y F, S y C se comportan muy bien.

1
2. Demostración del teorema de stokes
Suponga que la ecuación de S es z ∈ t(x, y), (x, y) D, donde t tiene
derivadas parciales continuas de segundo orden y D es una región simple del
plano cuya curva frontera C1 corresponde a C. Si la orientación de S es hacia
arriba, entonces la orientación positiva de C corresponde a la orientación
positiva de C1 (véase la figura 2). Sabemos que F P i Q j R k, donde las
derivadas parciales de P, Q y R son continuas. Puesto que S es una gráfica de
una función, podemos aplicar la fórmula 16.7.10 en donde F está reemplazado
por rot F. El resultado es