Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fund Mat02
Fund Mat02
(k = 1, 2, . . . , n),
Gradiente en el plano. Para un campo escalar plano (x, y) 7 f (x, y), que sea diferenciable
en un punto a = (x0 , y0 ), tendremos
f
f
f
f
f (a) = f (x0 , y0 ) =
(a) , (a) =
(x0 , y0 ) i +
(x0 , y0 ) j
x
y
x
y
Cuando f sea diferenciable en un abierto R2 podremos escribir
f f
f
f
f =
,
=
i+
j
(en )
x y
x
y
Gradiente en el espacio. Anlogamente, si (x, y, z) 7 f (x, y, z) es un campo escalar en el
espacio, diferenciable en un punto a = (x0 , y0 , z0 ), tendremos
f
f
f
f (a) = f (x0 , y0 , z0 ) =
(a) , (a) , (a)
x
y
z
f
f
f
(x0 , y0 , z0 ) i +
(x0 , y0 , z0 ) j +
(x0 , y0 , z0 ) k
=
x
y
z
y cuando f sea diferenciable en un abierto R3 podremos escribir
f f f
f
f
f
f =
,
,
=
i+
j+
k
(en )
x y z
x
y
z
Derivadas direccionales. Consideremos de nuevo un campo escalar f definido en un abierto Rn y diferenciable en un punto a . Fijado un vector u = (u1 , u2 , . . . , un ) Rn con
kuk = 1, sabemos que la derivada direccional de f en la direccin u viene dada por:
f ( a + t u ) f (a)
f
(a) = lm
=
t0
u
t
xk (a) uk = h f (a) | u i
k=1
2.2.
10
Campos vectoriales
F(x) = F1 (x), F2 (x), . . . , Fn (x) =
Fk (x) ek ,
k=1
ms explcitamente,
F(x1 , x2 , . . . , xn ) = F1 (x1 , x2 , . . . , xn ) , F2 (x1 , x2 , . . . , xn ), . . . , Fn (x1 , x2 , . . . , xn )
n
o abreviadamente: F = (F1 , F2 , . . . , Fn ) =
Fk ek
(en ).
k=1
2.3.
11
F2
Fn
F1
(a) +
(a) + . . . +
(a) =
x1
x2
xn
Fk
xk (a).
k=1
Fk
xk
k=1
Para un campo vectorial plano (x, y) 7 F(x, y) = P(x, y), Q(x, y) , que sea diferenciable
en un punto (x0 , y0 ), tendremos
div F(x0 , y0 ) =
Q
P
(x0 , y0 ) +
(x0 , y0 )
x
y
P Q
+
x
y
(en )
P
Q
R
(x0 , y0 , z0 ) +
(x0 , y0 , z0 ) + (x0 , y0 , z0 ),
x
y
z
P Q R
+
+
x
y
z
(en )
Vector simblico nabla. Para operar con las nociones que estamos estudiando es til
introducir el simbolismo
n
=
,
, ...,
=
ek
x1 x2
xn
k=1 xk
y manejar como si se tratase de un vector de Rn .
12
F2
Fn
F1
(a) +
(a) + . . . +
(a) = div F(a).
x1
x2
xn
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 =
F1
F2
Fn
+
+ ... +
= div F
x1
x2
xn
(en )
Con las debidas precauciones, este clculo simblico con el vector resulta til. Destacamos como siempre los dos casos particulares que nos interesan:
,
=
i+
j
En el caso n = 2 tenemos =
x y
x
y
2.4.
rot F(a) = F(a) = x
y
z
P(a) Q(a) R(a)
R
Q
P
R
Q
P
=
(a)
(a) i +
(a)
(a) j +
(a)
(a) k.
y
z
z
x
x
y
13
rot F = F = x
y
z
P
Q
R
R Q
P R
Q P
=
i+
j+
k
y
z
z
x
x
y
(en ).
Rotacional escalar en el plano. La nocin de rotacional recin introducida slo tiene sentido 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 definido en un abierto R2 . Consideramos el con = {(x, y, z) R3 : (x, y) }, que es claramente un subconjunto abierto de R3 , y para
junto
definimos
(x, y, z) ,
y, z) = (P(x, y), Q(x, y), 0),
F(x,
R3 . La relacin entre las componentes de F y F es
obteniendo un campo vectorial F :
R),
Q,
tenemos
bastante clara, si ponemos F = (P,
y, z) = Q(x, y) ; R(x,
y, z) = P(x, y) ; Q(x,
y, z) = 0 (x, y, z)
P(x,
Si F es diferenciable en un punto (x0 , y0 ) deducimos que F es diferenciable en cualquier punto
y calculamos fcilmente el rotacional en cualquiera de esos puntos:
de la forma (x0 , y0 , z)
P
Q
(x0 , y0 )
(x0 , y0 ) k.
rot F(x0 , y0 , z) =
x
y
Hemos motivado as la siguiente definicin:
Sea F = (P, Q) un campo vectorial definido en un abierto R2 y diferenciable en un
punto (x0 , y0 ) . El rotacional escalar de F en el punto (x0 , y0 ) se define por:
rot F(x0 , y0 ) =
Q
P
(x0 , y0 )
(x0 , y0 ).
x
y
Si F es diferenciable en todo punto del abierto podemos pues definir rot F : R mediante
la igualdad:
Q P
rot F =
.
x
y
2.5.
En esta leccin hemos definido cuatro operadores diferenciales que transforman unos campos en otros. Ms concretamente:
Si f es un campo escalar diferenciable en un abierto Rn , entonces su gradiente
f : Rn es un campo vectorial definido en . Suele decirse que f es un campo
de gradientes.
14
i+
j+
k,
rot ( f ) =
y z
z y
z x
x z
x y
y x
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 R2 :
Si f es un campo escalar dos veces diferenciable en un abierto R2 , entonces se verifica
que rot ( f ) = 0 en .
Divergencia de un rotacional. El siguiente resultado se comprueba tambin sin dificultad:
Si F es un campo vectorial dos veces diferenciable en un abierto R3 , entonces se
verifica que div (rot F) = 0 en .
El clculo con el vector simblico ayuda a recordar los dos resultados anteriores:
( f ) 0
. ( F) 0
En el primer caso podemos pensar que f es un mltiplo escalar del vector y recordar que,
para x R3 y R, se tiene x ( x) = 0. En el segundo caso recordamos que el producto
vectorial de dos vectores de R3 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 R3 ,
tal que F no sea ortogonal a F , o incluso que verifique h F(x) | F(x) i =
6 0 para todo
x R3 .