La Diferencial de Frchet
Iniciamos, con este captulo, el clculo diferencial para funciones de varias variables reales. Aunque el marco de trabajo ser, con frecuencia, el de
los espacios normados, nuestro inters se centra en la generalizacin del concepto de derivada, y el estudio de sus propiedades, a las funciones de varias
variables reales.
1.
Funciones diferenciables
f 0 (a) = lm
25
26
La Diferencial de Frchet
2.1
1.1.
Derivadas parciales
f 0 (a) = lm
f (0) = lm
x0
x2 + x sen x
=
x
si x 0+
si x 0
Una situacin idntica se plantea cuando se tiene una funcin f de varias variables, supongamos para concretar de 2-variables x, y, y se quiere
calcular la derivada (parcial) de f respecto a una de las variables. Por ejemplo si f (x, y) = x2 + y sen y la derivada parcial de f respecto de x en un
punto (x, y) no es otra cosa que la derivada de la funcin de 1-variable
que se obtiene al considerar y en la derivacin como una constante. Luef
go f
x (x, y) = 2x y anlogamente y (x, y) = sen y + y cos y. En particular
podemos obtener el valor de la derivadas parciales en un punto concreto
2.1
La Diferencial de Frchet
27
Como antes, no podemos aplicar la regla de la cadena para estudiar la existencia de la derivada parcial respecto a x (o respecto a y) en el punto (0, 0),
sino que habremos de recurrir a la definicin de derivada parcial respecto
a x (o respecto a y) en un punto (a, b), que de acuerdo a lo anterior no es
ms que derivada en a de la funcin de la variable x (o y) que se obtiene al
sustituir en la definicin de f la variable y (o x) por b (o a) i.e.,
f
f (x, b) f (a, b)
(a, b) = lm
;
xa
x
xa
f
f (a, y) f (a, b)
(a, b) = lm
yb
y
yb
Ms generalmente,
o
28
La Diferencial de Frchet
2.1
x2
xy
si (x, y) 6= (0, 0);
+ y2
f (0, 0) = 0.
Es fcil ver que las dos derivadas parciales de esta funcin son nulas en
(0,0). Por otras parte la funcin no es continua en (0,0) pues los lmites
direccionales de f en (0,0) existen pero no son todos iguales:
mx2
m
=
2
2
2
x0 x + m x
1 + m2
lm
1.2.
Derivadas direccionales
o
Dh f (a) = lm
t0
f (a + th) f (a)
.
t
2.5
La Diferencial de Frchet
29
x2 y
si (x, y) 6= (0, 0);
x4 + y 2
f (0, 0) = 0.
f (th, tk)
t3 h2 k
h2
= lm 4 4
=
t0
t0 (t h + t2 k 2 )t
t
k
Dv f (0, 0) = 0.
Dv f (0, 0) = lm
Sin embargo, esta funcin no es continua en (0,0), pues aunque los lmites
iterados y direccionales existen todos y valen 0, los lmites siguiendo las
curvas y = mx2 son todos diferentes.
1.3.
Diferenciabilidad en un punto
Hemos visto que una funcin de varias variables puede admitir derivadas
parciales e incluso direccionales en un punto a sin ser continua en a. Esto
indica que si se quiere que las funciones de varias variables que sean derivables en un punto sean continuas en ese punto, no va a bastar que se les exija
slo la existencia de derivadas parciales o direccionales.
Antes de proceder a extender a varias variables la nocin de funcin
derivable en un punto, conviene establecer un resultado elemental sobre
aplicaciones lineales, que habremos de tener en cuenta en lo sucesivo.
Lema 2.5 i) Una aplicacin L de Rn en F es lineal si y slo existen cj
F, j = 1, . . . , n tales que L(x1 , x2 , . . . , xn ) = c1 x1 + c2 x2 + + cn xn . Se
dice que L est determinada por la matriz (c1 , c2 , . . . , cn ).
ii) Toda aplicacin lineal L de Rn en F es continua, de hecho lipschitziana. (Esto no es verdad para L : E F y E de dimensin infinita):
30
La Diferencial de Frchet
2.5
Demostracin. i) Obviamente cualquier aplicacin de ese tipo es lineal. Recprocamente, si L es lineal entonces
X
L(x1 , x2 , . . . , xn ) = L(
xj ej ) =
xj L(ej ) = c1 x1 + c2 x2 + + cn xn ,
siendo cj = L(ej ).
ii) Tambin es inmediato comprobar que si L es lineal entonces es lipsP
P
chitziana, pues kL(x) L(y)k = k cj (xj yj )k ( kcj k)kxj yj k .
Ejercicio. Probar que toda aplicacin lineal y continua entre espacios normados es lipschitziana.
o
lm
f
j=1 xj (a)(xj
Pn
aj )
kx ak
xa
= 0,
(O equivalentemente, si
f
j=1 xj (a)hj
Pn
f (a + h) f (a)
(D)
lm
khk
h0
= 0,
Notas. 1. Observemos en primer lugar que la definicin anterior es independiente de la norma. Es decir, que si f es diferenciable en a respecto a las
normas k k de Rn y F y sustituimos estas normas por las normas equivalentes
k k , f es tambin diferenciable en a respecto a las nuevas normas. sabemos
que existen dos constantes mayores que 0, , , tales que kxk kxk para
cada x Rn y ky k ky k para cada y F . Entonces si
kf (a + h) f (a)
f
j=1 xj (a)hj k
Pn
khk
cuando khk ,
j=1 xj (a)hj k
Pn
khk
kf (a + h) f (a)
khk
f
j=1 xj (a)hj k
Pn
2.8
La Diferencial de Frchet
31
lm
xa
xa
lm
lm
xa
f (x) f (a)
= f 0 (a).
xa
x3 y 3
;
x2 + y 2
f (0, 0) = 0
f (a + h) f (a) J(h)
= 0.
h0
khk
lm
Demostracin. i) inplica ii). De la definicin de funcin diferenciable se deduce que la condicin f diferenciable en a implica que la aplicacin lineal J
f
f
(a), . . . , x
(a)), satisface
cuya matriz asociada es la matriz jacobiana ( x
n
1
la condicin ii).
ii) implica i) De hecho de la condicin ii) se deduce:
f es derivable en todas las direcciones.
La aplicacin J es nica, J(h) = Dh f (a) =
f
j=1 xj (a)hj .
Pn
f es diferenciable en a
En efecto, supongamos que la aplicacin lineal J : Rn F satisface
lm
h0
f (a + h) f (a) J(h)
= 0,
khk
32
La Diferencial de Frchet
2.8
t0
J(h) = lm
Se ha probado pues que J no puede ser otra aplicacin que la definida por
J(h) = Dh f (a), determinada (en dimensin finita) por la matriz
f
f
(a), . . . ,
(a) ,
x1
xn
f
es decir J(h) = Dh f (a) = nj=1 x
(a)hj , que nos dice que la condicin ii)
j
no es otra cosa que la condicin (D) de diferenciabilidad en a.
f (a + h) f (a) J(h)
= 0.
h0
khk
lm
2.10
La Diferencial de Frchet
33
f1 (x, y, z) =
x2
f1 (0, 0, 0) = 0
f2 (0, 0, 0) = 0
f3 (0, 0, 0) = 0.
34
1.4.
La Diferencial de Frchet
2.10
Todas las operaciones permitidas para las funciones derivables de 1variable sern vlidas para las funciones diferenciables definidas entre espacios normados:
2.11 Si f, g son funciones diferenciables en a entonces f + g es diferenciable
en a, ya que la aplicacin lineal Df (a) + Dg(a) satisface la condicin de
diferenciabilidad (D) para f +g. Del mismo modo sucede con f (ejercicio).
o
(Regla de la Cadena).
xa
(b) = 0.
2.13
La Diferencial de Frchet
35
f1
f1
(a)
(a)
x1
xn
f2
f2
g
(a)
(a)
,
(f (a)) x1
xn
yp
. . . . . . . . . . . . . . . . . . .
fp
fp
(a)
(a)
x1
xn
g
(f (a)),
y1
Esta igualdad matricial nos permite escribir entonces lo que podemos llamar
la regla de la cadena para derivadas parciales:
p
X g
(g f )
fs
(a) =
(f (a))
(a).
xj
ys
xj
s=1
36
La Diferencial de Frchet
2.13
2.16
La Diferencial de Frchet
37
p
y (a, b)k)
khk
(a + h)(b + k) ab (bh + ak)
hk
=
=
.
khk
h2 + k 2
Puesto que lm(h,k)(0,0) hhk
= 0, se tiene que p satisface la condicin de
2 +k 2
diferenciabilidad en (a, b).
Nota. No consideraremos aqu la diferenciabilidad de la inversa de una funcin, ya que el estudio de funciones inversas ser el objeto de otro captulo
posterior.
2.16 Los resultados anteriores nos permitirn construir una extensa familia
de funciones diferenciables. Empecemos, por ejemplo, con los polinomios:
Como se sabe un polinomio de varias variables es una aplicacin de la forma
f (x1 , x2 , . . . , xn ) =
ik = 0, 1, . . .
finita
Puesto que la suma y el producto de aplicaciones diferenciables es una aplicacin diferenciable, es evidente que los polinomios son diferenciables ya que
las aplicaciones
(x1 , x2 , . . . , xn ) ai1 ...in
(x1 , x2 , . . . , xn ) xik
lo son, como fcilmente puede verificarse.
Aplicando 2.14, las funciones racionales (cocientes de dos polinomios)
son diferenciables sobre el conjunto de puntos donde el polinomio del denominador no se anula.
Por ltimo, mediante la composicin de las funciones anteriores con funciones de una variable y diferenciables, se obtienen nuevas funciones de varias
variables y diferenciables
sen (x2 + y 2 ),
log(1 + x2 + y 2 ),
1
,
1 + cos2 (xyz)
...
38
1.5.
La Diferencial de Frchet
2.16
2.20
La Diferencial de Frchet
39
Geomtricamente, un vector tangente a M en c es pues un vector tangente a alguna curva trazada sobre M pasando por c (ver ejercicio 2M para
una definicin ms general de vector tangente.) Al conjunto de vectores
tangentes a M en el punto c M se le denotar por Tc (M ).
Proposicin 2.20 Sea f : A R2 R una aplicacin diferenciable en el
o
punto a = (x0 , y0 ) A, M la grfica de f y c = (a, f (a)) = (x0 , y0 , f (x0 , y0 )).
Entonces el conjunto de vectores tangentes a M en c, Tc (M ), es el plano
vectorial director del plano afn Ac (M ) que pasa por c y tiene de ecuacin
z = f (a) + Df (a)(x x0 , y y0 ) = f (a) +
f
f
(a)(x x0 ) +
(a)(y y0 ).
x
y
40
La Diferencial de Frchet
2B
Ejercicios
2A Estudiar continuidad y existencia de derivadas parciales para las funciones
(
ln(1 + (x y)2 ) si x y > 1
1. f (x, y) =
x y + ln 2
si x y 1
p
2. f (x, y) = x4 + sen 2 xy
3
x
si (x, y) 6= (0, 0)
2
3. f (x, y) = x + y 2
0
si (x, y) = (0, 0)
(
sen xsen y
si x 6= y
xy
4. f (x, y) =
cos x
si x = y
2B Supongamos que f es una funcin escalar de dos variables, continua en el punto
(0,0), y sea g(x, y) = xf (x, y). Probar que g es diferenciable en (0,0).
o
(
0
No existe
si Df (a) = 0
si Df (a) 6= 0
lm
h0
kf (a + h) f (a)k
= 6= 0
khk
2F
La Diferencial de Frchet
41
(c) Deducir de (b) que si dim E > dim F y f satisface () entonces f no puede
ser diferenciable en a.
Indicacin. De ser diferenciable en a, existira algn vector no nulo en el
ncleo de Df (a).
(d) Si f es diferenciable en a, entonces son equivalentes:
i) Existe lmh0
kf (a + h) f (a)k
khk
(p
x2 + y 2 ;
f2 (x, y) =
x2 + y 2
p
x2 + y 2
si x 0
si x < 0
1. f (x, y) =
2F
x3 y 3
x2 + y 2
sen (x3 + xyz)
4. f (x, y) = 2
x + y2 + z2
ln(1 + xy)
6. f (x, y) = p
3
x2 + y 2
xy
p
8. f (x, y) =
2
x + x2 + y 2
2. f (x, y) =
42
La Diferencial de Frchet
2F
3. Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas direccionales y diferenciabilidad en los puntos (0,0) y (0,1), para la
funcin
(p
x4 + sen 2 (xy)
si x 0
p
f (x, y) =
x4 + sen 2 (xy) si x < 0
2G Demostrar que la funcin
x5 y 3
f (x, y) = p
;
x6 + y 4
f (0, 0) = 0
es diferenciable en (0,0).
Indicacin: Probar que
0
x6 + y 4 y 2 |x|3 ,
x, y.
2H En este ejercicio g y sern en todos los casos una funcin escalar diferenciable
en todo punto (aunque no siempre del mismo nmero de variables). Supuesto esto, se
trata de probar que la funcin h construida a partir de g es tambin diferenciable y
de calcular sus derivadas parciales en trminos de las funciones g y y sus derivadas
parciales:
1. h(x, y, z) = g(x2 z, sen xyz)
2. h(x, y, z) = g(x + y z 2 )
0 (0) = 1 ;
Dg(0, 0) (2, 3)
2M
La Diferencial de Frchet
43
Dg(0, 0) (1, 2) ;
x+y
et
+x
dt
3
u + r 3 u, entonces g es no negativa y alcanza un mximo absoluto en el punto
u = r/2.
2M (Una definicin ms general de vector tangente) Sea M un subconjunto
de un espacio normado G, c M y v G. Se dir que v es tangente a M en c, si
existe una sucesin {zn } de puntos de M y una sucesin de escalares {n > 0} tal
que:
zn c, n (zn c) v.
Se denotar por Tc (M ) al conjunto de vectores tangentes a M en c.
(a) Probar que un vector no nulo v es tangente a M en c si y slo si existe una
sucesin {zn } M, zn 6= c tal que
zn c,
zn c
v.
kzn ck
44
La Diferencial de Frchet
2M
(b) Sea : (a, b) R G una curva contenida en M que pasa por el punto
c M . Para concretar, sea c = (t0 ). Probar que si es derivable en t0
entonces el vector v = 0 (t0 ) es un vector tangente a M en c.
(c) Sean E, F espacios normados y f : A E F una aplicacin continua y
o
2.24
2.
La Diferencial de Frchet
45
46
La Diferencial de Frchet
2.25
X f
xj
((t))(bj aj ).
X f
xj
(())(bj aj ) = Df (())(ba).
x (a, b); i = 1, . . . , p ; j = 1, . . . , n.
Entonces
(2.6)
M |bj aj | = M kb ak1 .
2.27
La Diferencial de Frchet
47
continua en [a, b] A. Supongamos que existe algn abierto U tal que [a, b]
U A en el que las derivadas parciales de f existen y estn acotadas, es
decir existe M 0 tal que
f
i
(x) M,
xj
x U ; i = 1, . . . , p ; j = 1, . . . , n.
(i) Etapa 1:
Supongamos en primer lugar que el segmento [a, b] est contenido en
algn n-rectngulo cerrado R contenido a su vez en U . Por definicin, un
n-rectngulo (cerrado) es un producto cartesiano de n intervalos (cerrados)
de R, es decir un conjunto de la forma
R = [c1 , d1 ] . . . [cn , dn ].
Por tanto un punto z = (zi ) est en R si y slo si ci zi di , para todo i.
Entonces
f (a) f (b) =f (a1 , a2 , . . . , an ) f (b1 , a2 , . . . , an )
(2.7)
+ f (b1 , a2 , . . . , an ) f (b1 , b2 , a3 , . . . , an )
..................................................
+ f (b1 , b2 , . . . , bn1 , an ) f (b1 , . . . , bn ).
Evidentemente cada uno de los nuevos puntos que utilizamos en esta descomposicin pertenecen a R, y en cada paso los dos puntos que aparecen
slo se diferencian en una de las coordenadas. Entonces, la existencia de derivadas parciales en cada punto de R, nos permite aplicar en cada uno de los
pasos anteriores el teorema de valor medio para funciones de una variable,
en efecto vayamos al primer paso y consideremos la funcin de la variable
48
La Diferencial de Frchet
2.27
M |aj bj | = M ka bk1 .
Etapa 2:
Veamos ya que la desigualdad anterior se verifica en el caso general. Para
ello vamos a utilizar el siguiente
Lema 2.28 Si el segmento [a, b] est contenido en el abierto U , entonces
existe algn > 0 tal que para todo x [a, b], el n-cubo (cuadrado en R2 )
B [x, ] est contenido en U .
1
p kb
1
1
1
a = c0 , c1 = c0 + (b a), c2 = c1 + (b a), . . . , cp = cp1 + (b a) = b
p
p
p
tienen la propiedad siguiente: Cada dos consecutivos pertenecen a un mismo n-cubo cerrado contenido en U . Entonces, conforme a lo probado en la
Etapa 1 , se tiene:
kf (a) f (b)k kf (c0 ) f (c1 )k + kf (c1 ) f (c2 )k +
M kc1 c0 k1 + M kc2 c1 k1 +
1
1
= M ( ka bk1 + ka bk1 + )
p
p
= M ka bk1 .
Demostracin del Lema. Supongamos que para cada p existe un dp [a, b]
y un yp B [dp , p1 ] tal que yp U c . Sea dp = a + tp (b a) con tp [0, 1].
Puesto que [0, 1] es compacto la sucesin {tp } tiene una subsucesin {tpk }
2.30
La Diferencial de Frchet
49
1
+ kdpk dk 0,
pk
lo que nos dice que la sucesin {ypk } de puntos de U c converge a d. Pero esto
es absurdo, pues como d U y U es abierto cualquier sucesin que converja
a d debe tener sus trminos a partir de uno en adelante contenidos en U .
Nota. Los teoremas 2.26 y 2.27 pueden extenderse a funciones con valores en
un espacio normado de cualquier dimensin (F, k k). En tal caso la hiptesis
sobre las derivadas parciales habra habra de ser
k
f
(x)k M,
xj
para cada x bien en (a, b) o en algn abierto conteniendo a [a, b], segn
estemos en las condiciones del Teorema 2.26 o en las del Teorema 2.27. La
conclusin, la misma:
kf (b) f (a)k M kb ak1 .
La demostracin de este hecho se deduce claramente del siguiente
Lema 2.29 Sea F un espacio normado y f : [a, b] R F una funcin continua en [a, b] y derivable en (a, b). Supongamos que existe alguna constante M tal que kf 0 (t)k M para todo t (a, b), entonces
kf (b) f (a)k M (b a)
Hay varias demostraciones para este lema. Una de ellas, tomada bsicamente
del libro de T.M. Flett [12], puede verse en Manual (Lema 8.10(2) y Teorema
8.12). Otra puede verse en el libro de H. Cartan [5]. La demostracin que
damos a continuacin, quiz la ms corta, es la que se basa en el potente
resultado del Anlisis Funcional conocido como teorema de Hahn-Banach:
2.30 [Hahn-Banach] Sea (E, k k) un espacio normado, L un subespacio
vectorial de E y : L R una forma lineal continua sobre L tal que
|(u)| kuk para cada u L. Entonces puede extenderse a una forma
lineal y continua en todo E y tal que |(x)| kxk para cada x E.
50
La Diferencial de Frchet
2.30
2.1.
Consecuencias
2.34
La Diferencial de Frchet
51
xj
xj
xj
xj
i,j
xi
lm
f
j=1 xj (a)(xj
Pn
aj )
kx ak
xa
= 0.
n
X
f
j=1
xj
(a)(xj aj ).
Es claro que
fi
fi
gi
(x) =
(x)
(a).
xj
xj
xj
Por tanto, aplicando el hecho de que las derivadas parciales de f son continuas en a, se tiene que para todo > 0 existe algn > 0 tal que si
x V = B(a, ) entonces
gi
fi
f
(x) =
(x)
(a) , i, j.
xj
xj
xj
52
La Diferencial de Frchet
2.34
j=1
xj
(a)(xj aj ) kx ak1 ,
f
j=1 xj (a)(xj
Pn
kx yk
yj )
= 0.
2Q
La Diferencial de Frchet
53
Ejercicios
2N (a) Probar que si k k es una norma cualquiera sobre Rn , entonces la aplicacin x kxk es una aplicacin lipschitziana que no admite derivadas
direccionales en 0.
(b) Sea U = {(x, y) R2 : x2 + y 2 < 1} \ {0} [0, 1], y consideremos la funcin
f definida sobre U por
(
y 2 si x > 0 e y 0
f (x, y) =
0 en otro caso
Probar que U es un abierto conexo (no convexo) sobre el que f es continua,
admite derivadas parciales acotadas, pero no es lipschitziana.
2 (a) Probar que si f es una funcin lipschitziana sobre un abierto U de Rn y
admite derivadas parciales, respecto a cualquier ndice, en todo punto de U ,
entonces sus derivadas parciales estn acotadas en U .
(b) Estudiar si la funcin f (x, y, z) = sen(x2 y 2 + z 2 ) es lipschitziana o localmente lipschitziana en R3 .
2O (a) Probar que toda aplicacin lipschitziana f : A E F, donde E y F
son espacios de Banach, se extiende a una aplicacin lipschitziana sobre A.
(b) Sean A, B dos conjuntos no vacos de un espacio normado, con B A, y
supongamos que cada uno de los conjuntos B, A \ B y A es convexo. Probar entonces que una aplicacin f es lipschitziana sobre A si y slo si es
lipschitziana sobre B y sobre A \ B.
(c) Estudiar si las aplicaciones
f (x, y) = sen |x y|,
54
La Diferencial de Frchet
2Q
f
(x, y) = y,
y
(x, y).
(t, x) I U
2.38
3.
La Diferencial de Frchet
55
Conviene tener presente que, por convenio, una funcin f derivable (aunque sea parcialmente) en un punto a debe estar definida en un entorno de
a. Recordemos tambin que la derivada parcial f /xj (a), coincide con la
derivada en el punto aj de la aplicacin:
xj f (a1 , . . . , aj1 , xj , aj+1 , . . . , an ).
o
r1 f
(a) =
(a).
xj1 . . . xjr
xj1 xj2 . . . xjr
Cuando el resultado final de una derivacin parcial slo dependa del nmero
de veces que se deriva respecto a cada variable, y no del orden en que se
realiza tal proceso (esto no suceder siempre), cabe utilizar una notacin
abreviada para designar a las derivadas parciales de orden superior. As, en
ese caso, utilizaremos la expresin
rf
(a),
xi11 xi22 . . . xinn
para denotar al resultado de efectuar r derivaciones parciales: in respecto a
xn , in1 respecto a xn1 , etc. y por ltimo i1 derivaciones respecto a x1 .
Por tanto i1 + i2 + + in = r. Algunos de los ik pueden ser iguales a 0, lo
56
La Diferencial de Frchet
2.38
2f
2f
(a, b) =
(a, b).
yx
xy
2.42
La Diferencial de Frchet
57
=
( r1 f ) r f.
xj
xj
Por tanto, segn (2.34) (= r1 f ) es lipschitziana en alguna bola
B(a, ) y diferenciable en a.
Con el mismo argumento, aplicado ahora a cada r1 f , que es continua
en cada punto x B(a, ), se tiene que cada r2 f es diferenciable en
f
x. Y as sucesivamente, cada r3 f, . . . , x
y, finalmente, tambin f , son
j
diferenciables en cada x B(a, ).
Definicin 2.41 (Funcin de clase C r ) Sea A un subconjunto de Rn .
Una funcin f se dice de clase C r (r N \ {0}) sobre A, lo cual lo expresaremos con la notacin f C r (A), si f admite derivadas parciales de
orden r en algn abierto que contiene a A y stas son continuas en cada
punto de A.
De acuerdo con el resultado tipo teorema de Schwarz del corolario anterior y la Proposicin pro:condicion Tr es obvio que
Corolario 2.42 Si f es una funcin de clase C r sobre un conjunto A, entonces en el clculo de la las derivadas parciales de orden r de la funcin f
en cada punto de A o en el las derivadas de orden s < r en cada punto x de
algn abierto que contiene a A, no importa el orden en que se efecten las
derivaciones.
58
La Diferencial de Frchet
2S
Ejercicios
2S Comprobar si en las funciones siguientes se da la igualdad entre las derivadas
parciales cruzadas en (0, 0). Estudiar en cada caso si se satisfacen las condiciones
del teorema de Schwartz.
x2 y 2
; f (0, 0) = 0.
x2 + y 2
2. f (x, y) = x2 y 2 cos 1/x ; f (0, y) = 0.
1
3. f (x, y) = x2 y 2 sen 2 ; f (x, 0) = f (0, y) = 0.
xy
1. f (x, y) = xy
rot(F1 , F2 , F3 ) = F =
y
z
z
x
x
y
f = (
A los operadores anteriores se les conoce, en el orden en que han sido definido, como
operador: Gradiente, Laplaciano, Hamiltoniano, Divergencia y Rotacional.
Supuesto que se pueden permutar las derivaciones, demostrar que
1. f = div f
2. div(rot F ) = 0.
3. H H = 2
4. f = 0 ((x21 + + x2n )f ) = 0.