Fund Mat02
Fund Mat02
Fund Mat02
donde {e1 , e2 , . . . , en } es la base standard de Rn . Entonces, el gradiente de f en el punto a es, por definicin, el vector f (a) = f (a1 , a2 , . . . , an ) Rn dado por . . n f f f f (a), (a), . . . , (a) = (a1 , a2 , . . . , an ) ek f (a) = x1 x2 xn k=1 xk Si el campo f es diferenciable en todos los puntos de tendremos una funcin f : Rn que a cada punto x hace corresponder el vector gradiente en dicho punto, f (x). Es natural entonces escribir: . . n f f f f ek , , ,..., = f = x1 x2 xn k=1 xk una igualdad entre funciones, vlida en todo punto de .
Gradiente en el plano. Para un campo escalar plano (x, y) f (x, y), que sea diferenciable en un punto a = (x0 , y0 ), tendremos . . f f f f f (a) = f (x0 , y0 ) = (x0 , y0 ) i + (x0 , y0 ) j (a) , (a) = x y x y Cuando f sea diferenciable en un abierto R2 podremos escribir . . f f j f = f , f (en ) = i+ x y x y 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 = (x0 , y0 , z0 ), tendremos . . f f f f (a) = f (x0 , y0 , z0 ) = (a) , (a) , (a) x y z f f f = (x 0 ,y 0 ,z 0 ) i + (x , (x ,0 y ,0 z )0k 0y , 0z ) 0j + x y z y cuando f sea diferenciable en un abierto R3 podremos escribir . . f f f k f = f f f (en ) , , = i+ j+ 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 u = 1, sabemos que la derivada direccional de f en la direccin u viene dada por: f f ( a + t u ) f (a) (a) = l m = u t 0 t
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 (a) = ( f (a) | u ) |( f (a) | u )| f (a) u = f (a) u Si f (a) = 0, podemos conseguir que las desigualdades anteriores sean igualdades tomando f (a) y tenemos una interpretacin fsica del gradiente de un campo escalar: f (a) u= 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 concretamente, el mximo aumento se consigue en el sentido del vector gradiente y la mxima disminucin en sentido opuesto.
10
k=1
Fk (x) ek ,
Fk (x1 , x2 , . . . , xn ) ek , Fk ek
n
o abreviadamente: F = (F1 , F2 , . . . , Fn ) =
(en ).
k=1
Es claro que, para k = 1, 2, . . . , n, la funcin Fk : R as definida es un campo escalar en Rn . 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) definida en un conjunto R2 y con valores en R2 . 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 grficamente un campo vectorial plano F : R2 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), definido en R3 y con valores en R3 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 vectoriales: 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 fluido en movimiento o en campos de fuerzas, como un campo gravitatorio o electromagntico.
11
Cuando el campo vectorial F es diferenciable en todo punto de tenemos una funcin div F : R que en cada punto x toma el valor div F(x) de la divergencia en dicho punto. Tenemos entonces la siguiente igualdad entre funciones, vlida en todo punto de : Fn F1 n Fk F2 div F = + ... + + = x1 x2 xn k=1 xk . . Para un campo vectorial plano (x, y) F(x, y) = P(x, y), Q(x, y) , que sea diferenciable en un punto (x0 , y0 ), tendremos div F(x0 , y0 ) = P Q (x 0 , y 0) + (x 0 , y 0) x y
Anlogamente, si F = P i + Q j + R k es un campo vectorial en el espacio, diferenciable en un punto (x0 , y0 , z0 ), tendremos div F(x0 , y0 , z0 ) = 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
Por ejemplo, si f es un campo escalar definido en un abierto Rn y diferenciable en un punto a , al multiplicar simblicamente el vector por el escalar f (a) se obtiene la expresin correcta del vector gradiente: . . n f f f f (a), (a), . . . , (a) = (a) ek f (a) = x1 x2 xn k=1 xk Cuando f es diferenciable en todo punto de podemos hacer el mismo clculo simblico con el escalar variable f , que multiplicado por nos da . . n f f f f ek , , ,..., = f = x1 x2 xn k=1 xk Si ahora F = (F1 , F2 , , Fn ) es un campo vectorial definido en el abierto y diferenciable en el punto a , cuando calculamos simblicamente el producto escalar del vector por el vector F(a) = (F1 (a), F2 (a), . . . , Fn (a)) obtenemos: . F(a) = F1 (a) + F2 (a) + . . . + Fn (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 F2 . F = F1 + . . . + n = div F (en ) + x1 x2 xn Con las debidas precauciones, este clculo simblico con el vector resulta til. Destacamos como siempre los dos casos particulares que nos interesan: . . En el caso n = 2 tenemos = , = i+ j x y x y . . Anlogamente, para n = 3 ser = , , = i+ j+ k x y z x y z
13
(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) (x, y, z) = (P(x, y), Q(x, y), 0), F R3 . La relacin entre las componentes de F y F : es obteniendo un campo vectorial F bastante clara, si ponemos F = (P, Q, R), tenemos . . (x, y, z) = P(x, y) ; Q (x, y, z) = Q(x, y) ; R (x, y, z) = 0 (x, y, z) P es diferenciable en cualquier punto Si F es diferenciable en un punto (x0 , y0 ) deducimos que F y calculamos fcilmente el rotacional en cualquiera de esos puntos: de la forma (x0 , y0 , z) . . Q P ( x , y ) 0 0 (x0 , y0 , z) = rot F (x0 , y0 ) k. 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: Q P (x 0 , y 0) (x 0 , y 0). x y Si F es diferenciable en todo punto del abierto podemos pues definir rot F : R mediante la igualdad: P Q rot F = . y x rot F(x0 , y0 ) =
14
Dado un campo vectorial F que sea diferenciable en un abierto Rn , su divergencia . F es un campo escalar definido en . Cada campo vectorial F que sea diferenciable en un abierto R3 da lugar a rot F, otro campo vectorial definido en Finalmente, un campo vectorial F que sea diferenciable en un abierto R2 define un campo escalar rot F. Veamos ahora lo que ocurre al iterar estos procesos, aunque no agotaremos todas las posibilidades. 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 dificultad el siguiente resultado: Si f es un campo escalar dos veces diferenciable en un abierto R3 , entonces se verifica que rot ( f ) = 0 en . En efecto, de las definiciones de gradiente y rotacional se deduce que: . 2 . 2 . 2 . . . f f f 2 f 2 f 2 f rot ( f ) = k, i+ j+ y x z y y z x z z x x y 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 y . ( 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 ( F(x) | F(x) ) = 0 para todo x R3 .