Divergencia y Rotacional de un Campo Vectorial

En esta parte se tratan de dos operaciones básicas que se pueden efectuar con campos vectoriales.

Primero consideramos el Rotacional de un campo vectorial (o simplemente el rotor), este asocia

a cada campo vectorial F = (F1 , F2 , F3 ) el campo vectorial rot F definido por:

 F F F F F F 
rot F =  3 − 2 , 1 − 3 , 3 − 1 
 y z z x x y 

Esta larga fórmula es más fácil de recordar si se la reescribe usando la notación “operador”.

  
Formalmente el operador Nabla se define por:  =  , , 
 x y z 

El cual actúa u opera en funciones reales (campos escalares) o funciones vectoriales (campos
vectoriales), de la manera siguiente:
 f f f 
Si f es un campo escalar, f ,  operando en f , está dado por: f =  , , 
 x y z 
y es el Gradiente de f .

  
Al considerar a  =  , ,  como un vector, se puede “aplicar”  a un campo vectorial
 x y z 
F , al tomar el producto vectorial entre ellos:  x F , obteniéndose:
i j k
    F3 F2 F1 F3 F3 F1 
xF = = − , − , −  = rot F
x y z  y z z x x y 
F1 F2 F3
Así, entonces: rot F =  x F

El siguiente resultado enuncia una propiedad básica del rotacional. Debe compararse ese
resultado con el hecho de que para cualquier vector A se tiene, A x A = 0

Teorema. Para cada función f  C 2 , se tiene:  x (f ) = 0

Esto es, el rotacional de cualquier campo gradiente es nulo.

Observación. El siguiente ejemplo muestra porque el rotacional está asociado con giros

Ejemplo 1.- Supóngase que se tiene un cuerpo rígido B girando alrededor de un eje L . El
movimiento giratorio del cuerpo puede describirse completamente mediante un vector w a lo
largo del eje de rotación, seleccionando la dirección de tal modo que el cuerpo gire alrededor de
w como en la figura. Además, tomando la longitud  = w como la rapidez angular del cuerpo
-esto es, la rapidez tangencial de cualquier punto de B dividido por su distancia al eje L de
rotación.

Se supone que se ha seleccionado un sistema coordenado de tal modo que L es el eje z .

z
L

y
r
v

Sea Q un punto del sólido B y sea  la distancia de Q a L , se tiene que  = r sen , donde
r es el vector de posición de Q . Entonces la velocidad tangencial v de Q está dirigida en el
sentido contrario a las manecillas del reloj a lo largo de la tangente a un círculo paralelo al plano
xy con radio  . La magnitud de esta velocidad es:

v =  =  r sen

Se puede fácilmente mostrar que la dirección y magnitud de v implican que:

v = wx r

Por la elección de los ejes, se puede escribir: w = (0, 0,  ) =  k , r = (x, y, z ) , de tal modo que:

v = w x r = −y i + x j

i j k
  
Y además, rot v = = 2 k = 2w
x y z
− y x 0
De aquí, para la rotación de un cuerpo rígido, el rotacional del campo vectorial es un campo
vectorial dirigido a lo largo del eje de rotación con magnitud el doble de la rapidez angular.

Si un campo vectorial representa el flujo de un fluido, entonces rot F =  x F = 0 significa,

físicamente, que el fluido está libre de rotaciones o que es irrotacional; esto es, que está libre de
remolinos. La razón de esta idea y, por lo tanto, del uso de la palabra irrotacional, depende del
teorema de Stokes, pero se puede decir intuitivamente que rot F = 0 significa que si se coloca
en el fluido una rueda con paletas en la parte inferior, ésta se moverá con el fluido pero no girará.
Por ejemplo, es un hecho experimental que un fluido que drena de un tanque, usualmente es
irrotacional excepto en el mismo centro.

 −x 
Ejemplo 2.- El campo vectorial F ( x, y ) =  2
y
, 2  es irrotacional, es decir,
x +y x +y
2 2

x F = 0

Ejemplo 3.- El campo vectorial F (x, y, z ) = ( y , − x, 0 ) no es un campo gradiente.

En efecto, si fuese un campo gradiente, entonces existiría f , tal que F = f , y si así fuese,
entonces por el teorema 1, se debería tener:  x F =  x (f ) = 0 , pero:
i j k
  
xF = = −2 k  0
x y z
y −x 0

Las líneas de flujo de este campo vectorial son círculos alrededor del origen, en el plano xy , pero
este campo de velocidad tiene rotación, es decir que si se considera como el campo de velocidad
de un fluido, una rueda pequeña con paletas en la parte inferior irá girando conforme da una
vuelta alrededor del origen.
Otra operación básica es la divergencia, denotada y definida por:
F1 F2 F3
div F =   F = + + ,
x y z

En notación “operador”, div F es el producto escalar (o producto punto) de los vectores:

  
 =  , ,  y F = (F1 , F2 , F3 )
 x y z 

Nótese que xF es un campo vectorial, mientras que   F es un campo escalar.

Si imaginamos F como el campo de velocidad de un gas (o de un fluido), entonces div F

representa la razón de expansión del gas (o fluido) por unidad de volumen. Por ejemplo, si
F (x, y, z ) = (x, y, z ) , entonces, div F = 3 ; esto significa que el gas se expande a razón de 3
unidades por unidad de volumen, por unidad de tiempo. Esto es razonable porque en este caso
F es un vector radial hacia el exterior, y conforme el gas se mueve a lo largo de las líneas de
flujo, se expande.

Teorema. Para cada campo vectorial F  C 2 , se tiene: div ( rot F ) =   ( xF ) = 0

Se ha visto que xF está relacionado con rotaciones y que   F está relacionado con
expansiones y comprensiones. Esto conduce a la siguiente terminología común. Si   F = 0 se
dice que F es incompresible, así como se dijo que F es irrotacional si xF = 0

(
Ejemplo 1.- Sea F (x, y, z ) = x 2 y, z, xyz )
La divergencia de este campo vectorial es: div F =   F = 2 xy + 0 + xy = 3xy

De acuerdo al teorema anterior, este campo vectorial F no puede ser el rotacional de otro campo
vectorial, porque si lo fuera, su divergencia debería ser cero.

Ejemplo 2.- Divergencia y rotacional. Sea F un campo vectorial diferenciable y r el vector

posición. Demostrar que la divergencia del campo vectorial F x r es igual al producto interno de
r y el rotacional de F .

Solución.

Sea: F ( x, y, z ) = ( F1 ( x, y, z ) , F2 ( x, y, z ) , F3 ( x, y, z ) )
r ( x , y , z ) = ( x, y , z )

Tenemos:
 i j k
F  r = F1 F2 F3 = ( zF2 − yF3 ; xF3 − zF1 ; yF1 − xF2 )
x y z
  
·( F  r ) = ( zF2 − yF3 ) + ( xF3 − zF1 ) + ( yF1 − xF2 ) =
x y z
F F F F F F
= z 2 −y 3 +x 3 −z 1 +y 1 −x 2 =
x x y y z z
 F F   F F   F F 
x 3 − 2  + y 1 − 3  + z 2 − 1  =
 y z   z x   x y 
 F F F F F F 
= ( x; y; z )· 3 − 2 ; 1 − 3 ; 2 − 1  = r·(   F )
 y z z x x y 

Finalmente mencionemos el operador de Laplace  2 , que opera en campos escalares f como

sigue:
2 f 2 f 2 f
 2 f =   (f ) = + +
 x2  y2  z2

Para el caso de campos vectoriales F = (F1 , F2 , F3 ) , se define  2 F en términos de las

componentes, de la manera siguiente:

 2 F =  2 F1 i +  2 F2 j +  2 F3 k

Este operador juega un papel importante en muchas leyes físicas.

A continuación, se da una tabla que resume algunas fórmulas básicas generales que son útiles al
manejar campos vectoriales.

Tabla de fórmulas básicas de derivación

1. ( f + g ) = f + g
2. (cf ) = cf , donde c es constante
3. ( f g ) = f g + g f
(
4.  f  = g f − f g 2
)
 g  g
5. div ( F + G ) = div F + div G
6. rot ( F + G ) = rot F + rot G
7. (F  G) = (F  )G + (G  ) F + F x rot G + G x rot F
8. div ( f F ) = f div F + F  f
 9. div ( F x G ) = G  rot F − F  rot G
10. div rot F = 0
11. rot ( f F ) = f rot F + f x F
12. rot ( F x G ) = F div G − G div F + ( G   ) F − ( F   ) G
13. rot rot F = grad div F − 2 F
14. rot f = 0
15. (F  F ) = 2(F  )F + 2F x (rot F )
16.  2 ( f g ) = f  2 g + g  2 f + 2(f  g )
17. div ( f x g ) = 0
18.   ( f g − g f ) = f  2 g − g  2 f
19. H  (F x G) = G  (H x F ) = F  (G x H )
20. H  ((F x ) x G) = ((H  )G)  F − H  (F  )G
21. F x (G x H ) = (F  H )G − H (F  G)

Nota: f y g denotan campos escalares; F , G y H denotan campos vectoriales.

Algunas expresiones en esta tabla requieren explicación.

Primero: V = (F  )G , tiene por componentes: Vi = F  (Gi ) , para i = 1, 2, 3
Segundo:  2 F , tiene componentes  2 Fi , para i = 1, 2, 3
Tercero: En la expresión (F x ) x G , la  opera sólo en G
Observación.- De manera más general se define un Campo Vectorial mediante una función de la
forma:

G :U  n
→ m
tal que

G ( X ) = ( g1 ( X ) ,..., g m ( X ) )
T
X

Donde n no es necesariamente igual a m .

La derivada de este tipo de funciones se define en forma análoga a los campos escalares, tomando
las derivadas parciales en cada componente gi , i = 1,..., m (que es un campo escalar)

Observación.- Si cada una de las derivadas parciales en cada componente es continua en un punto,
se dice que el campo vectorial es diferenciable en dicho punto, en este caso, el diferencial se
representa por la matriz (llamada matriz jacobiana) de orden m x n siguiente:

 g1 g1 
 x xn 
 1 
DG ( X ) =  
 
 g m g m 
 x1 xn 

Ejemplo 1.- Matriz de derivadas parciales. Calcular la matriz de derivadas parciales de la

siguiente función:

f: 2
→ 3
, f ( x; y) = ( xye xy ; x sen y; 5 xy 2 )

Solución.

La matriz de derivadas parciales será de 3 filas por 2 columnas:

 f1 f1 
 x y  e xy y + xy 2
 ( ) (
e xy x + x 2 y )
f f 2   
Df ( x; y ) =  2 = sen y x cos y
 x y   
 f  
f 3   5y2 10 xy 
 3 
 x y 

Ejemplo 2.- Sea G : 3

→ 2
la función definida por:

G ( x, y, z ) = ( xy 2 z 3 , z 2 sen y y )
T
Entonces:
 y2 z3 2 xyz 3 3 xy 2 z 2 
DG ( x, y, z ) =  
 0 z 2 cos y 2 z sen y 