Facultad de Ciencias Básicas - Departamento de Fı́sica y Electrónica

Teorema de Stokes y divergencia

Stokes’ theorem and divergence
Juan Blanco, Raúl Meléndez, Ronald Lara

Universidad de Córdoba – Facultad de Ciencias Básicas – Departamento de Fı́sica y Electrónica

Resumen
Para que se pudiera dar con el descubrimiento de las ondas electromagnéticas James C. Maxwell tuvo que
modificar las ecuaciones que resumen todo lo que se sabia hasta el momento sobre electromagnetismo que
el mismo propuso, usando dos teoremas bastante famosos del calculo; El teorema de Stokes y el teorema
de la divergencia, para poder llevar sus cuatro ecuaciones de la forma integral a su forma diferencial, de
las cuales se dedujo matemáticamente que la luz era una onda electromagnética.
Palabras Claves: Calculo, Teorema de Stokes, Divergencia, Operador

Abstract

In order to discover electromagnetic waves James C. Maxwell had to modify the equations that summarize
all that was known until the moment about electromagnetism that he himself proposed, using two quite
famous theorems from the calculation; Stokes’ theorem and the divergence theorem, in order to bring his
four equations from the integral form to its differential form, from which it was deduced mathematically
that light was an electromagnetic wave.
Keywords: Calculation, Stokes Theorem, Divergence, Operator

c 2019, Departamento de Fı́sica y Electrónica. Todos los derechos reservados.

1. Operador Nabla torial. ∆ V es un volumen diferencial que en el lı́mite

se reduce a un punto. De esta forma pueden definirse
Nabla (también llamado del) es un operador diferen- de forma intrı́nseca el gradiente, la divergencia, el rota-
cial vectorial representado por el sı́mbolo: ∇(nabla). En cional y otros operadores sin nombre propio.
coordenadas cartesianas tridimensionales, nabla se pue-
de escribir como:
2. Aplicaciones y álgebra del operador Nabla (∇)
∂ ∂ ∂
∇= î + ĵ + k̂ (1) Este operador puede ser usado por campos escalares
∂x ∂y ∂z
(φ) o vectoriales (F~ ) dando como resultado:

Puede darse una definición del operador nabla que no Gradiente : ∇φ

depende del sistema de coordenadas que se emplee. Es- Divergencia : ∇ · F~
ta definición es una generalización de la que se emplea Rotacional : ∇ × F~
para definir la divergencia: Laplaciano : ∇2 φ = ∆φ
I
1 Al tratarse de un operador diferencial, el resultado de
∇ ∗ A = lı́m A ∗ d~s (2)
∆V →0 ∆V su aplicación sobre un producto sigue reglas similares a
; la derivada de un producto. Sin embargo, dependiendo
Donde * representa un producto arbitrario (escalar o del carácter de los entes sobre los que actúa, el resulta-
vectorial por un escalar) y A es un campo escalar o vec- do puede tener una expresión más o menos complicada.
Departamento de Fı́sica y Electrónica 4 TEOREMA DE LA DIVERGENCIA

Las fórmulas más usadas son: Donde εi → 0, cuando ∆Si → 0 y N ~ es el vector nor-
mal unitario asociado con ∆Si (ver figura). La suma
∇(φψ) = (∇φ)ψ + φ(∇ψ) (1) sobre la superficie total S da:

N N I N
∇ · (φF~ ) = (∇φ) · F~ + φ · (∇F~ )
X X X
(2) ~ · ∇ × F~ ∆Si =
N F~ · d~r + εi ∆Si (1)
i=1 i=1 Ci i=1

∇ × (φF~ ) = (∇φ) × F~ + φ(∇ × F~ ) (3) Ahora consideremos el limite de esta expresion cuando
N → ∞. La frontera Ci de cada ∆Si consiste en peda-
sos que son ó parte de la frontera C ó parte de la fronte-
~ ·N
∇(F ~) = N
~ ×(∇×F
~ )+F
~ ×(∇×N
~ )+(N
~ ·∇)F
~ +(F
~ ·∇)N
~ (4) ra de las dos subregiones adyacentes. Las integrales de
linea a lo largo de curvas fronteras adyacentes se can-
celan, pues los vectores d~r tienen direcciones opuestas;
asi queda sobre la integral de linea a lo largo de C por
∇ · (F~ × N
~ ) = (∇ × F~ ) · N
~ − (N
~ × ∇) · F~ (5) consiguiente:

N
X ZZ ZZ
lı́m ~ ·∇×F~ ∆Si =
N ~ ·∇F~ ·ds =
N ∇×F~ ·d~s
∇×(F~ ×N
~ ) = (∇·N
~ )F~ +(N
~ ·∇)F~ −(∇·F~ )N
~ −(F~ ·∇)N~ N →∞ S S
i=1
(6) (2)

3. Teorema de Stokes PN H
lı́mN →∞ i=1 Ci F~ (t) · d~r = Ci F~ · d~r ;
H

asi que cuando N → ∞

Sea S una superficie orientada con vector normal uni-
~ , cuyo contorno es una curva cerrada simple C,
tario N N
suave a trozos. Si F~ es un campo vectorial cuyas funcio-
ZZ ZZ X
∇ × F~ d~s = F~ · d~r + lı́m εi ∆Si (3)
nes componentes tienen derivadas parciales continuas S S N →∞
i=1
en una region abierta D, que contiene S y C entonces:
; para el termino restante
F~ · d~r = rot(F~ ) · N
~ d~s
R RR
C S
N N N
Demostración
X X X
| εi ∆Si | ≤ |εi |∆S1 ≤ |εm | ∆Si = εm S
i=1 i=1 i=1
Consideremos una superficie S limitada por una curva (4)
cerrada simple. se divide S en N subregiones tan pe- , donde εm = M ax(εi ) pero εm → 0 cuando N → ∞,
PN
queñas que pueden considerarse planas con áreas ∆S1 , ∆Si → 0, entonces lı́mN →∞ i=1 εi ∆Si → 0
∆S2 , ..., ∆Sn en los puntos (xi , yi , zi) de ∆Si , de la ZZ I
definición del rotacional de: ∴ ∇F~ d~s = F~ · d~r, d~s = N
~ d~s (5)
S C
~ · ∇ × F~ ∆Si = F~ · d~r + εi ∆Si
H
N Ci

4. Teorema de la Divergencia

Sea D una región solida limitada por una superficie ce-

rrada S orientada por un vector normal unitario dirigi-
do al exterior de D. Si F~ es un campo vectorial cuyas
funciones componentes tienen derivadas parciales con-
tinuas en D, entonces:
Figura 1 ZZ ZZZ
F~ · N
~ ds = div F~ · dv (1)
S D

2
4 TEOREMA DE LA DIVERGENCIA Teorema de Stokes y divergencia

Demostracion En la superficie superior S2 la normal hacia el exte-

rior se dirige hacia arriba, mientras que en la superficie
Si hacemos F~ (x, y, z) = P (x, y, z)î + Q(x, y, z)ĵ + inferior S1 la normal hacia el exterior esta orientada
R(x, y, z)k̂ el teorema de la divergencia adquiere la for- hacia abajo, entonces tenemos:
ma:
ZZ ZZ
∂g1 ∂g1
~ ds =
Rk̂ N î+ ĵ−k̂)dA R(x, y, z)k̂·(
∂x ∂y
ZZ ZZZ
~ +Qĵ N
~ +Rk̂ N
~ )ds = ∂P ∂Q ∂N S R
(P îN ( + + )dv(2) 1 (7)
S D ∂x ∂y ∂z RR RR
= − R R(x, y, z)dA = − R R(x, y, g1 )dA
; g1 = g1 (x, y)
Podemos demostrar este resultado verificando que ZZ ZZ
las tres ecuaciones siguientes son validas: ~ ds = ∂g2 ∂g2
Rk̂ N î− ĵ+k̂)dA
R(x, y, z)k̂(−
S2 ∂x
R ∂y
ZZ ZZZ (8)
∂P
RR RR
~ = ; = R(x, y, z)dA = R(x, y, g 2 )dAg 2 =
P îN dv (3) R R
S D ∂x g2 (x, y)//
ZZ ZZZ Sumando estos dos resultados se tiene:
~ = ∂Q
Qĵ N dv (4)
S D ∂y ZZ ZZ ZZ
ZZ ZZZ ~ ds =
Rk̂ N R(x, y, g2 )dA− R(x, y, g1 )dA
~ = ∂R S R R
Rk̂ N dv (5) (9)
S D ∂z
ZZ Z g2 ZZZ
∂R ∂R
= [ dZ]dA = dv (10)
Como la comprobacion de las tres ecuaciones son R g1 ∂Z D ∂Z
similares, trataremos solamente de la tercera (ec 5), por
lo tanto restringiremos la demostracion a una region
solida simple con superficie superior Z = g2 (x, y) y entonces
superficie inferior Z = g1 (x, y) cuyas proyecciones en
ZZ ZZZ
~ ds = ∂R
el plano (x,y), coinciden y forman la region R. Rk̂ N dv (11)
S D ∂z

Analogamente;
ZZ ZZZ
~ ds = ∂P
P îN dv (12)
S D ∂x

ZZ ZZZ
~ ds = ∂Q
Qĵ N dv (13)
S D ∂y

Figura 2
Al sumar (11), (12) y (13) y simplificando obtene-
mos:
Si D tiene una superficie lateral semejante a S3 en
la figura, entonces un vector normal es horizontal, por ZZ ZZZ
∂P ∂Q ∂R
tanto Rk̂ N~ = 0. En consecuencia tenemos: ~ ds =
(P î+Qĵ+Rk̂)·N ( + + )dv
S D ∂x ∂y ∂z
ZZ ZZ ZZ (14)
~ ds =
Rk̂ N ~ ds+
Rk̂ N ~ ds+0 (6)
Rk̂ N ZZ ZZZ
S S1 S2
∴ F~ (x, y, z) · N
~ ds = div F~ (x, y, z)dv
S D
(15)

3
Departamento de Fı́sica y Electrónica 4 TEOREMA DE LA DIVERGENCIA

Referencias

[1] Eduardo E. Ramos. Análisis Matemático III 3ed (2010). Lima.

Peru