Teorema general de Stokes

Sea U un conjunto abierto del espacio Rn , ω una ( p−1)-forma, y c una p-cadena singular en U .
Entonces

∫ ω=∫ dω
∂c c

Demostración

Consideremos primero el caso en el que p=n. Entonces ω es una (n−1) -forma definida en un
conjunto abierto de Rn , y se escribe por lo tanto como
n
ω=∑ f i d x 1 ⋯ d x i−1 d x i+1 ⋯ d x n
i=1

Se tiene la n -cadena singular c=T , formada por el único n-cubo singular T : I n → Rn dado por
T ( x 1 , x 2 , ⋯ , x n) =( x 1 , x 2 , ⋯ , x n ) . Entonces
n

∫ dω=∫ ∑ (d f i ) d x 1 ⋯ d x i−1 d x i+1 ⋯ d x n

c c i=1

∫ dω=∑ ∫ (d f i ) d x 1 ⋯ d x i−1 d x i+1 ⋯ d x n

c i =1 c

( )
n n
∂f
∫ dω=∑ ∫ ∑ ∂ xi d x j d x 1 ⋯ d x i−1 d x i+1 ⋯ d x n
c i =1 c j=1 j

( ∂fi
)
n

∫ dω=∑ ∫ d x d x1 ⋯ d x i−1 d xi +1 ⋯ d x n
∂ xi i
c i =1 c

Se hacen (i−1)-permutaciones para que ocupe su lugar el diferencial

n
∂f
∫ dω=∑ (−1 ) i−1
∫ ∂ xi d x 1 ⋯ d x i−1 d x i d x i+1 ⋯ d x n
c i =1 c i

Como las integrales son n-cubos unitarios, las integrales se pueden resolver en cualquier orden.
Integrando la función sobre la i -ésima variable

[ ]
n 1
∂f
∫ dω=∑ (−1 ) ∫ ∫ ∂ xi d x i i−1
d x1 ⋯ d x i−1 d xi +1 ⋯ d x n
c i =1 I
n−1
0 i

∫ dω=∑ (−1 )i−1 ∫ [ f i ( x1 , ⋯ , x i−1 , 1 , x i+1 , ⋯ , x n )−f i ( x 1 , ⋯ , xi −1 , 0 , x i +1 , ⋯ , x n ) ] d x 1 ⋯ d xi−1 d x i +1 ⋯ d x n

c i =1 I n−1
 ' n−1 n
Nótese que cada integrando es la composición de la función f con las funciones ∂i , ∂i : I →I

∂i ( x 1 , ⋯ , x i−1 , x i+1 , ⋯ , x n) =( x 1 , ⋯ , x i−1 ,0 , x i+1 , ⋯ , x n )

'
∂i ( x 1 , x 2 , ⋯ , x n−1 )=( x 1 , ⋯ , x i−1 , 1, x i+1 , ⋯ , x n)

Usando
'
f i ( x 1 , ⋯ , xi−1 ,1 , x i+1 , ⋯ , x n ) =f i ∘ ∂i

f i ( x 1 , ⋯ , xi−1 , 0 , x i+1 , ⋯ , x n )=f i ∘ ∂i

{
∂¿i ( d x j ) =∂'¿i ( d x j ) = d x j si i≠ j
0 si i= j

Por lo que tenemos

n

∫ dω=∑ (−1 )i−1 ∫ [ f i ∘ ∂'i−f i ∘∂i ] d x1 ⋯ d x i−1 d xi +1 ⋯ d x n

c i =1 I n−1

Verificamos la siguiente integral de ω sobre la (n-1)-cadena usando la convención antes mostrada

[∑ ( ]
n

∫ ω= ∫ ∂i ω= ∫ ∂i '¿ '¿
f j ) d x1 ⋯ d x j−1 d x j +1 ⋯ d x n
∂
'
I
n−1
I
n −1 j=1
i

∫ ω= ∫ ∑ ∂'i¿ ( f j ) ∂'i¿ (d x 1 )⋯ ∂'¿i (d x j−1 )∂'i¿ (d x j+1 )⋯ ∂'¿i (d x n)

∂'i I n−1 j=1

Todos los términos excepto el termino con i= j son cero, que en todos los demás términos
'¿
parecerá un término ∂i ( d x i )=0 , y el caso con i= j no aparece el diferencial d x i

∫ ω= ∫ (∂'¿i f i ) d x 1 ⋯ d x i−1 d x i +1 ⋯ d x n
' n−1
∂i I

∫ ω= ∫ ( f i ∘ ∂'i ) d x 1 ⋯ d x i−1 d xi +1 ⋯ d x n
' n−1
∂i I

Igualmente para

∫ ω= ∫ ( f i ∘ ∂i ) d x 1 ⋯ d x i−1 d x i+1 ⋯ d x n
n−1
∂i I

Por lo que tenemos

 n

∫ dω=∑ (−1 ) [∫ ω−∫ ω

]
i−1

c i =1 ∂ 'i ∂i

' '
Como definimos antes que T : I n → Rn dónde T es un cubo unitario se pueden rescribir ∂i =T ∘∂ i
y ∂i =T ∘∂ i
n

∫ dω=∑ (−1 ) [∫ ω− ∫ ω
]
i−1

c i =1 T ∘ ∂ 'i T ∘ ∂i

∫ dω=∑ (−1 )i−1 ∫ ω

c i =1 T ∘ ∂'i −T ∘ ∂i

∫ dω= n
∫ ω
c
∑ (−1) i−1 '
(T ∘∂ −T ∘ ∂ i )
i
i=1

n
Usando ∂ T =∑ (−1 )
i−1
(T ∘ ∂'i−T ∘ ∂i ), y c=T tenemos
i=1

∫ dω=∫ ω
c ∂c

La demostración es válida para una ( p−1)-forma con p ≤ n.

Vimos que es valida para una integración sobre un p- cubo singular por lo que se puede extender
M
a una p-cadena singular c=∑ ak T k
k=1

M M

∫ dω=∑ ak ∫ dω=∑ ak ∫ ω=∫ ω

c k=1 Tk k=1 ∂ Tk ∂c

Para el caso con p=n=1. Se tiene una 0 -forma ω en U ⊆ R, digamos ω=f :U ⊆ R → R , una
función real de una variable real definida en el conjunto abierto U de R , y c una 1-cadena singular
en U . c esta formado por el único 1-cubo singular T : [ 0,1 ] →U , T ( t )=t . En este caso la frontera
' ' '
de c es la 0-cadena ∂ c=T ∘∂1−T ∘∂1 =T 1−T 2 en dónde T ∘ ∂1 :{1}→U y T ∘ ∂2 :{0 }→ U son
'
los 0-cubos singulares T 1=T ∘ ∂1=1, T 2=T ∘ ∂1=0

∫ f ' ( x ) dx=∫ dω=∫ ω= ∫ f =∫ f −∫ f =f ( T 1 ( 1 ) )−f ( T 2 ( 0 ) ) =f ( 1 )−f (0)

[0,1 ] c ∂c T 1−T 2 T1 T2

Que es el teorema fundamental del cálculo

1

∫ f ' ( x ) dx=f ( 1 ) −f ( 0)
0
Sea T : I n → Rn es una n -cubo singular, y sea R=T ( I n ). Suponga que η es una n -forma en el
conjunto abierto U ⊆ Rn, el cual contiene a R . Digamos que η=fd x 1 d x 2 ⋯ d x n. Entonces

∫ η=∫ T ¿ η=∫ T ¿ fd x 1 d x 2 ⋯ d xn =∫ ( f ∘T ) det ( T ' ( x)) d y 1 d y 2 ⋯ d y n

p p p
T I I I

Es el caso del cambio de variables en una integral n-múltiple y det ( T ' (x ) ) es el jacobiano de la
transformación.

∫ η=∫ fd x 1 d x 2 ⋯ d xn
T R

Caso p=2.

Sea ω una 1-forma definida en el conjunto abierto U ⊆ R2, ω=f 1 d x 1+f 2 d x 2. Sea c=T la 2-
cadena singular en U constituída por el único 2-cubo singular T : I 2 → R2. Sea R=T (I 2) . La
frontera de T (que es un 1-cubo singular ∂ T : I 1 → R2) se puede pensar común una
parametrización de la frontera de la región R=¿imagen de T . Escribamos λ=∂ T (I 1 ). Entonces,

∫ ω=∫ (f 1 d x1 + f 2 d x 2)=∫ ω=∫ dω

λ λ ∂c c

Dónde

dω=d f 1 d x1 +d f 2 d x 2

dω= ( ∂f1
∂ x1
d x1 +
∂f1
∂ x2
d x 2 d x1 +
∂f 2
∂ x1
d x 1+
∂f2
) (
d x d x2
∂ x2 2 )
dω= ( ∂f 2 ∂f1
−
∂ x1 ∂ x2
d x1 d x2 )
La cual es una 2-forma definida en R2. La integral de esta 2-forma sobre el 2-cubo singular
2 2
T:I →R

∫ dω=∫ T ¿ ( dω ) 2
c I

∫ dω=∫ T ¿
c I
2[( ∂f 2 ∂f 1
−
∂ x1 ∂ x2
d x1 d x2
) ]
∬( )
∂f2 ∂f1
∫ dω= −
∂ x1 ∂ x2
d x1 d x2
c R
 ∫ (f 1 d x1 + f 2 d x 2)=∬
λ R
( ∂f2 ∂f1
−
∂ x1 ∂ x2
d x1 d x2
)
Siendo λ la parametrización de la frontera de la región R , este resultado es el Teorema de Green.

El caso para p=3

Sea ahora T : I 2 → R3 la parametrización de una superficie simple que veremos como una 2-
cadena en R3 formada por el único 2-cubo singular T en R3. Consideremos una 1-forma ω
definida en el conjunto abierto U ⊆ R3 , el cual contiene a S=T (I 2) , digamos
ω=f 1 d x 1+ f 2 d x 2 +f 3 d x 3. Nuevamente, la frontera de T (que es una 1-cubo singular
μ=∂T : I 1 → R3 ) puede ser la parametrización de la frontera de la superficie S. Entonces

∫ ω=∫ ω=∫ F ⋅d μ
∂c ∂T ∂S

Dónde F=( f 1 , f 2 , f 3 ) es el campo asociado a la forma ω . Por otra parte

∫ dω=∫ dω=∫ T ¿( dω) 2

c T I

En que

dω=d f 1 d x1 +d f 2 d x 2+ d f 3 d x 3

dω=
( ∂f 1
∂ x1
∂f ∂f
d x1 + 1 d x 2 + 1 d x 3 d x 1 +
∂ x2 ∂ x3 ) (
∂f2
∂ x1
∂f ∂f
d x1 + 2 d x 2+ 2 d x3 d x 2 +
∂ x2 ∂ x3
∂f3
∂ x1
∂f ∂f
) (
d x 1 + 3 d x 2+ 3 d x3 d x 3
∂ x2 ∂ x3 )
dω= ( ∂f 2 ∂f1
−
∂ x1 ∂ x2 ) (
d x 1 d x 2−
∂f 1 ∂ f3
−
∂ x3 ∂ x1
d x1 d x3+
∂f3 ∂f 2
−
∂ x2 ∂ x3 )
d x2 d x3 ( )
Usamos T (u , v )=( T 1 (u , v) , T 2 (u , v) , T 3 (u , v ) )

¿
T ( dω ) =T
¿
( ∂f 2 ∂ f1 ¿
−
∂ x1 ∂ x2 ) ¿
T (d x1 )T ( d x 2)−T
¿ ∂f1
−
∂f3 ¿
∂ x3 ∂ x1 ( ¿
T (d x 1)T (d x 3 )+T )
¿ ∂f3
−
∂f2 ¿
∂ x2 ∂ x3
¿
(
T (d x 2) T (d x 3 ) )
¿
T ( dω ) =
( ∂f2
∂ x1
∘T−
∂f1
∂ x2
∘T
)( ∂ T1
∂u
du+
∂T 1
∂v
dv
∂T 2
∂u )(
du+
∂T2
∂v
dv −
∂f1
∂ x3
∘T −
∂f3
∂ x1
∘T )( )( ∂ T1
∂u
du+
∂T 1
∂v
dv )( ∂T∂ u d
3

¿
T ( dω ) = ( ∂f2
∂ x1
∘T−
∂f1
∂ x2
∘T )( ∂ T1 ∂ T2 ∂ T1 ∂ T2
∂u ∂ v
−
∂ v ∂u
dudv −
∂f1
∂ x3 )
∘T −
∂f3
∂ x1
∘T ( )( ∂ T1 ∂ T3 ∂ T1 ∂ T 3
∂u ∂ v
−
∂v ∂u )
dudv+
∂f
∂x (
T ¿ ( dω ) =[ ( ∇ × F ) ∘ T ] ⋅ ( ∂T∂u × ∂∂Tv ) dudv
Entonces
 ∫ T ¿( dω)=∫ [ ( ∇ × F ) ∘T ] ⋅ ( ∂∂ Tu × ∂T
2 2 ∂v )
dudv
I I

∫ T ¿( dω)=∫ ( ∇ × F ) ⋅ n dA
2
I S

∫ F ⋅ d μ=∫ ( ∇ × F ) ⋅ n dA
∂S S

El cuál es el Teorema de Stokes en 3 dimensiones.

Por lo cual el Teorema General de Stokes, se puede llamar el Teorema Fundamental del Cálculo en
n
R