Lecci on 2

Gradiente, divergencia y rotacional

2.1. Gradiente de un campo escalar
Campos escalares. Un campo escalar en R
n
es una funcin f : R, donde es un
subconjunto de R
n
. Usualmente ser un conjunto abierto. Para n = 2 tenemos un campo
escalar en el plano, que tendr la forma (x, y) f (x, y). Para n = 3 tendremos un campo
escalar en el espacio, dado por una expresin (x, y, z) f (x, y, z).
En Fsica, un campo escalar f : R describe una magnitud con valores escalares, de
forma que es una regin del plano o del espacio y, para cada punto x , f (x) es el valor
en el punto x de dicha magnitud fsica. Pinsese, por ejemplo, en un campo de temperaturas.
Denicin de gradiente. Sea f un campo escalar denido en un abierto R
n
y sea
a = (a
1
, a
2
, . . . , a
n
) . Supongamos que f es diferenciable en el punto a, con lo que existen
las n derivadas parciales de f en a:
f
x
k
(a) =
f
x
k
(a
1
, a
2
, . . . , a
n
) = lm
t0
f (a + t e
k
) f (a)
t
(k = 1, 2, . . . , n),
donde e
1
, e
2
, . . . , e
n
es la base standard de R
n
. Entonces, el gradiente de f en el punto a es,
por denicin, el vector f (a) = f (a
1
, a
2
, . . . , a
n
) R
n
dado por
f (a) =

f
x
1
(a),
f
x
2
(a), . . . ,
f
x
n
(a)

=
n

k=1
f
x
k
(a
1
, a
2
, . . . , a
n
) e
k
Si el campo f es diferenciable en todos los puntos de tendremos una funcin f : R
n
que a cada punto x hace corresponder el vector gradiente en dicho punto, f (x). Es natural
entonces escribir:
f =

f
x
1
,
f
x
2
, . . . ,
f
x
n

=
n

k=1
f
x
k
e
k
,
una igualdad entre funciones, vlida en todo punto de .
8
2. Gradiente, divergencia y rotacional 9
Gradiente en el plano. Para un campo escalar plano (x, y) f (x, y), que sea diferenciable
en un punto a = (x
0
, y
0
), tendremos
f (a) = f (x
0
, y
0
) =

f
x
(a),
f
y
(a)

=
f
x
(x
0
, y
0
) i +
f
y
(x
0
, y
0
) j
Cuando f sea diferenciable en un abierto R
2
podremos escribir
f =

f
x
,
f
y

=
f
x
i +
f
y
j (en )
Gradiente en el espacio. Anlogamente, si (x, y, z) f (x, y, z) es un campo escalar en el
espacio, diferenciable en un punto a = (x
0
, y
0
, z
0
), tendremos
f (a) = f (x
0
, y
0
, z
0
) =

f
x
(a),
f
y
(a),
f
z
(a)

=
f
x
(x
0
, y
0
, z
0
) i +
f
y
(x
0
, y
0
, z
0
) j +
f
z
(x
0
, y
0
, z
0
) k
y cuando f sea diferenciable en un abierto R
3
podremos escribir
f =

f
x
,
f
y
,
f
z

=
f
x
i +
f
y
j +
f
z
k (en )
Derivadas direccionales. Consideremos de nuevo un campo escalar f denido en un abier-
to R
n
y diferenciable en un punto a . Fijado un vector u = (u
1
, u
2
, . . . , u
n
) R
n
con
|u| = 1, sabemos que la derivada direccional de f en la direccin u viene dada por:
f
u
(a) = lm
t0
f (a + t u) f (a)
t
=
n

k=1
f
x
k
(a) u
k
= f (a)[ u)
y mide la rapidez de variacin de f al desplazarnos desde el punto a en la direccin del vector
u. La desigualdad de Cauchy-Schwartz nos da
f
u
(a) = f (a)[ u) [f (a)[ u)[ |f (a)||u| = |f (a)|
Si f (a) ,= 0, podemos conseguir que las desigualdades anteriores sean igualdades tomando
u =
f (a)
|f (a)|
y tenemos una interpretacin fsica del gradiente de un campo escalar: |f (a)|
es la mxima rapidez de variacin del campo que podemos conseguir al desplazarnos desde el
punto a; esta mxima variacin se produce en la direccin del vector gradiente, ms concre-
tamente, el mximo aumento se consigue en el sentido del vector gradiente y la mxima dis-
minucin en sentido opuesto.
2. Gradiente, divergencia y rotacional 10
2.2. Campos vectoriales
Campos vectoriales. Un campo vectorial en R
n
es una funcin F : R
n
donde
es un subconjunto de R
n
que usualmente ser abierto. Por tanto, un campo vectorial tiene n
coordenadas, que son campos escalares; concretamente, para x = (x
1
, x
2
, . . . , x
n
) , el vector
F(x) R
n
deber tener la forma:
F(x) =

F
1
(x), F
2
(x), . . . , F
n
(x)

=
n

k=1
F
k
(x) e
k
,
ms explcitamente,
F(x
1
, x
2
, . . . , x
n
) =

F
1
(x
1
, x
2
, . . . , x
n
), F
2
(x
1
, x
2
, . . . , x
n
), . . . , F
n
(x
1
, x
2
, . . . , x
n
)

=
n

k=1
F
k
(x
1
, x
2
, . . . , x
n
) e
k
,
o abreviadamente: F = (F
1
, F
2
, . . . , F
n
) =
n

k=1
F
k
e
k
(en ).
Es claro que, para k = 1, 2, . . . , n, la funcin F
k
: R as denida es un campo escalar
en R
n
. Veamos la notacin que suele usarse en los dos casos particulares que nos interesan.
Un campo vectorial en el plano vendr dado por una funcin (x, y) F(x, y) denida en
un conjunto R
2
y con valores en R
2
. Sus componentes suelen denotarse por P y Q,
con lo que, para (x, y) , tendremos:
F(x, y) =

P(x, y), Q(x, y)

= P(x, y)i + Q(x, y)j

o, abreviadamente: F = (P, Q) = P i + Q j (en ).
Es costumbre representar grcamente un campo vectorial plano F : R
2
haciendo
que, para cada x , el vector F(x) tenga su origen en el punto x, obtenindose una
imagen que sugiere claramente un campo de vectores.
Las componentes de un campo vectorial (x, y, z) F(x, y, z), denido en R
3
y con
valores en R
3
suelen denotarse por P, Q y R, de forma que, para (x, y, z) , se tendr:
F(x, y, z) =

P(x, y, z), Q(x, y, z), R(x, y, z)

= P(x, y, z)i +Q(x, y, z)j +R(x, y, z)k

o, abreviadamente: F = (P, Q, R) = P i + Q j + R k. (en )
Los campos vectoriales aparecen con frecuencia en Fsica, para representar magnitudes vec-
toriales: para cada punto x de una regin en el plano o en el espacio, F(x) es el valor en
ese punto de la magnitud vectorial descrita por el campo. Pinsese por ejemplo en el campo de
velocidades de un uido en movimiento o en campos de fuerzas, como un campo gravitatorio o
electromagntico.
2. Gradiente, divergencia y rotacional 11
2.3. Divergencia de un campo vectorial
Sea F un campo vectorial denido en un conjunto abierto R
n
y consideremos sus
coordenadas F= (F
1
, F
2
, . . . , F
n
). Supongamos que F es diferenciable en un punto a , lo que
sabemos equivale a que todos los campos escalares F
k
, con k = 1, 2, . . . , n, sean diferenciables
en el punto a. De hecho cada vector gradiente F
k
(a) es la k-sima la de la matriz jacobiana
de F en a. Pues bien, la traza de dicha matriz es, por denicin, la divergencia del campo F
en el punto a, y se denota por divF(a). As pues, se tendr:
divF(a) =
F
1
x
1
(a) +
F
2
x
2
(a) + . . . +
F
n
x
n
(a) =
n

k=1
F
k
x
k
(a).
Cuando el campo vectorial F es diferenciable en todo punto de tenemos una funcin
divF : R que en cada punto x toma el valor divF(x) de la divergencia en dicho
punto. Tenemos entonces la siguiente igualdad entre funciones, vlida en todo punto de :
divF =
F
1
x
1
+
F
2
x
2
+ . . . +
F
n
x
n
=
n

k=1
F
k
x
k
Para un campo vectorial plano (x, y) F(x, y) =

P(x, y), Q(x, y)

, que sea diferenciable

en un punto (x
0
, y
0
), tendremos
divF(x
0
, y
0
) =
P
x
(x
0
, y
0
) +
Q
y
(x
0
, y
0
)
Cuando F sea diferenciable en un abierto R
2
podremos escribir
divF =
P
x
+
Q
y
(en )
Anlogamente, si F = Pi + Qj + Rk es un campo vectorial en el espacio, diferenciable
en un punto (x
0
, y
0
, z
0
), tendremos
divF(x
0
, y
0
, z
0
) =
P
x
(x
0
, y
0
, z
0
) +
Q
y
(x
0
, y
0
, z
0
) +
R
z
(x
0
, y
0
, z
0
),
y cuando F sea diferenciable en un abierto R
3
podremos escribir
divF =
P
x
+
Q
y
+
R
z
(en )
Vector simblico nabla. Para operar con las nociones que estamos estudiando es til
introducir el simbolismo
=

x
1
,

x
2
, . . . ,

x
n

=
n

k=1

x
k
e
k
y manejar como si se tratase de un vector de R
n
.
2. Gradiente, divergencia y rotacional 12
Por ejemplo, si f es un campo escalar denido en un abierto R
n
y diferenciable en
un punto a , al multiplicar simblicamente el vector por el escalar f (a) se obtiene la
expresin correcta del vector gradiente:
f (a) =

f
x
1
(a),
f
x
2
(a), . . . ,
f
x
n
(a)

=
n

k=1
f
x
k
(a) e
k
Cuando f es diferenciable en todo punto de podemos hacer el mismo clculo simblico
con el escalar variable f , que multiplicado por nos da
f =

f
x
1
,
f
x
2
, . . . ,
f
x
n

=
n

k=1
f
x
k
e
k
,
Si ahora F = (F
1
, F
2
, , F
n
) es un campo vectorial denido en el abierto y diferenciable
en el punto a , cuando calculamos simblicamente el producto escalar del vector por
el vector F(a) = (F
1
(a), F
2
(a), . . . , F
n
(a)) obtenemos:
. F(a) =
F
1
x
1
(a) +
F
2
x
2
(a) + . . . +
F
n
x
n
(a) = divF(a).
Esto explica que frecuentemente se denote por . F(a) a la divergencia del campo F en el
punto a. Cuando F es diferenciable en , tenemos igualmente
. F =
F
1
x
1
+
F
2
x
2
+ . . . +
F
n
x
n
= divF (en )
Con las debidas precauciones, este clculo simblico con el vector resulta til. Desta-
camos como siempre los dos casos particulares que nos interesan:
En el caso n = 2 tenemos =

x
,

y

=

x
i +

y
j
Anlogamente, para n = 3 ser =

x
,

y
,

z

=

x
i +

y
j +

z
k
2.4. Rotacional de un campo vectorial
Rotacional en el espacio. Sea F = (P, Q, R) un campo vectorial denido en un abierto
R
3
y diferenciable en un punto a . Del mismo modo que la divergencia divF(a) se
obtiene como el producto escalar simblico . F(a), podemos pensar en el producto vectorial,
tambin simblico, F(a). El vector que as se obtiene es, por denicin, el rotacional del
campo F en el punto a y se denota tambin por rot F(a). As pues:
rot F(a) = F(a) =

i j k

z
P(a) Q(a) R(a)

R
y
(a)
Q
z
(a)

i +

P
z
(a)
R
x
(a)

j +

Q
x
(a)
P
y
(a)

k.
2. Gradiente, divergencia y rotacional 13
Cuando F sea diferenciable en todo el abierto podremos escribir:
rot F = F =

i j k

z
P Q R

R
y

Q
z

i +

P
z

R
x

j +

Q
x

P
y

k (en ).
Rotacional escalar en el plano. La nocin de rotacional recin introducida slo tiene sen-
tido para campos vectoriales en el espacio. Sin embargo, a un campo vectorial en el plano puede
asociarse de forma natural un campo vectorial en el espacio, como vamos a ver.
Sea F = (P, Q) un campo vectorial denido en un abierto R
2
. Consideramos el con-
junto

= (x, y, z) R
3
: (x, y) , que es claramente un subconjunto abierto de R
3
, y para
(x, y, z)

, denimos

F(x, y, z) = (P(x, y), Q(x, y), 0),

obteniendo un campo vectorial

F :

R
3
. La relacin entre las componentes de F y

F es
bastante clara, si ponemos

F = (

P,

Q,

R), tenemos

P(x, y, z) = P(x, y);

Q(x, y, z) = Q(x, y);

R(x, y, z) = 0

(x, y, z)

Si F es diferenciable en un punto (x
0
, y
0
) deducimos que

F es diferenciable en cualquier punto
de la forma (x
0
, y
0
, z)

y calculamos fcilmente el rotacional en cualquiera de esos puntos:
rot

F(x
0
, y
0
, z) =

Q
x
(x
0
, y
0
)
P
y
(x
0
, y
0
)

k.
Hemos motivado as la siguiente denicin:
Sea F = (P, Q) un campo vectorial denido en un abierto R
2
y diferenciable en un
punto (x
0
, y
0
) . El rotacional escalar de F en el punto (x
0
, y
0
) se dene por:
rot F(x
0
, y
0
) =
Q
x
(x
0
, y
0
)
P
y
(x
0
, y
0
).
Si F es diferenciable en todo punto del abierto podemos pues denir rot F: R mediante
la igualdad:
rot F =
Q
x

P
y
.
2.5. Algunas observaciones adicionales
En esta leccin hemos denido cuatro operadores diferenciales que transforman unos cam-
pos en otros. Ms concretamente:
Si f es un campo escalar diferenciable en un abierto R
n
, entonces su gradiente
f : R
n
es un campo vectorial denido en . Suele decirse que f es un campo
de gradientes.
2. Gradiente, divergencia y rotacional 14
Dado un campo vectorial F que sea diferenciable en un abierto R
n
, su divergencia
. F es un campo escalar denido en .
Cada campo vectorial F que sea diferenciable en un abierto R
3
da lugar a rot F,
otro campo vectorial denido en
Finalmente, un campo vectorial F que sea diferenciable en un abierto R
2
dene un
campo escalar rot F.
Veamos ahora lo que ocurre al iterar estos procesos, aunque no agotaremos todas las posibi-
lidades. Lgicamente los campos a considerar debern tener propiedades de diferenciabilidad
ms restrictivas que las usadas hasta ahora.
Rotacional de un gradiente. Vamos a comprobar sin dicultad el siguiente resultado:
Si f es un campo escalar dos veces diferenciable en un abierto R
3
, entonces se verica
que rot (f ) = 0 en .
En efecto, de las deniciones de gradiente y rotacional se deduce que:
rot (f ) =

2
f
y z


2
f
z y

i +

2
f
z x


2
f
x z

j +

2
f
x y


2
f
y x

k,
que se anula idnticamente en todo el abierto gracias al Lema de Schwarz, que asegura la
igualdad de las derivadas parciales segundas cruzadas de una funcin dos veces diferenciable.
De forma completamente anloga podemos obtener el mismo resultado en R
2
:
Si f es un campo escalar dos veces diferenciable en un abierto R
2
, entonces se verica
que rot (f ) = 0 en .
Divergencia de un rotacional. El siguiente resultado se comprueba tambin sin dicultad:
Si F es un campo vectorial dos veces diferenciable en un abierto R
3
, entonces se
verica que div(rot F) = 0 en .
El clculo con el vector simblico ayuda a recordar los dos resultados anteriores:
(f ) 0 y . (F) 0
En el primer caso podemos pensar que f es un mltiplo escalar del vector y recordar que,
para x R
3
y R, se tiene x (x) = 0. En el segundo caso recordamos que el producto
vectorial de dos vectores de R
3
es ortogonal a dichos vectores. Sin embargo, el simbolismo no
se puede llevar demasiado lejos: cierto que, como se ha dicho, podemos entender que F
es ortogonal a , pero es fcil dar un ejemplo de un campo vectorial F, diferenciable en R
3
,
tal que F no sea ortogonal a F, o incluso que verique F(x)[ F(x)) , = 0 para todo
x R
3
.