Cap 2 Calculo IVRGG
Cap 2 Calculo IVRGG
Cap 2 Calculo IVRGG
Diferenciaci
on
de Funciones Vectoriales
de Varias Variables
81
82 Captulo 2. Diferenciacio
n
f (x0 + x) f (x0 )
lim = f 0 (x0 ). (2.1.1)
x0 x
Una forma alternativa de escribir la existencia del proceso de lmite dado en (2.1.1) es
f (x) f (x0 )
lim = f 0 (x0 ), con x = x0 + x, lo cual es equivalente a
xx0 x x0
f (x) RT (x)
lim = 0, (2.1.2)
xx0 x x0
-
x0 x
Figura 2.1 Aproximaci
on Lineal de una Funcion Diferenciable (Suave)
Nota: i) La diferenciabilidad de una funcion es una operacion local. Se dice que una funci
on
es diferenciable en un conjunto abierto s es diferenciable en todo punto de tal conjunto.
ii) La relaci
on de aproximaci
on (2.1.3) ciertamente no tiene sentido en el caso general de una
funcion vectorial f : Rn Rm , pero se puede formular de tal forma que s lo tenga. Esto es,
la Definici
on 2.1.1 se generaliza de forma inmediata para funciones vectoriales definidas en
dimensiones superiores utilizando el concepto de distancia.
Nota: i) Observese que h es un vector en Rn, mientras que [f (x0 + h) f (x0)] L(h)
es un vector en Rm, razon por la cual es necesario considerar el cociente de las normas
involucradas, representando de esta forma la cercana o medida de las variaciones en cada
uno de los espacios respectivos.
Demostraci
on. Supongamos que P : Rn Rm es otra transformacion lineal que satis-
face (2.1.4). Entonces, utilizando la funcion auxiliar definida por G(h) = f (x0 +h)f (x0 ),
se tiene que
kL(h) P (h)k kL(h) G(h) + G(h) P (h)k
lim = lim
h0 khk h0 khk
kL(h) G(h)k kG(h) P (h)k
lim + lim = 0.
h0 khk h0 khk
2.1.1 C
alculo Diferencial sobre Trayectorias
siempre que la operacion en cada una de las componentes este bien definida o exista,
d
donde () = (notacion que se debe a Sir Isaac Newton). Por lo tanto, es
dt
diferenciable en t0 (a, b) si y solo si lo son cada una de las funciones componentes
fi , i = 1, 2, . . . , m.
1
El an
alisis detallado de este tema corresponde a la Geometra Diferencial.
2.1. El Concepto General de Diferenciacion 85
En particular, en el caso cuando la trayectoria esta en el espacio, (t) = (x(t), y(t), z(t))T
es diferenciable en (a, b) s el lmite
1
0 ) = lim
(t [(t0 + h) (t0 )]
h0 h
1
= lim [(x(t0 + h), y(t0 + h), z(t0 + h))T (x(t0 ), y(t0 ), z(t0 ))T ]
h0 h
z(t0 + h) z(t0 ) T
x(t0 + h) x(t0 ) y(t0 + h) y(t0 )
= lim , lim , lim
h0 h h0 h h0 h
Interpretaci
on Geom
etrica de la Derivada de una Trayectoria: La variacion
en los valores de la funcion, (t0 +h)(t0 ), es un vector anclado en el origen equipo-
lente al segmento de recta dirigido que va de p a q,
z
q = (t0 + h)
6
(t0 ) = p
1
: [(t0 + h) (t0 )]
h
-
y
x
1
de tal forma que el cambio instantaneo [(t0 + h) (t0 )] tambien es paralelo
h
a pq. Si h tiende a cero, el vector (t0 + h) se acerca cada vez mas al vector (t0 )
y la lnea recta que une a p con q (recta secante) se parece cada vez mas a la recta
tangente a la curva descrita por en el punto p = (t0 ). En el lmite, el vector
1
0 ) = lim [(t0 + h) (t0 )]
(t
h0 h
la cual representa la mejor aproximacion lineal a la trayectoria (t) cerca del punto
(t0 ). Geometricamente, se tiene que
RT ( )
z
6
p (t)
0)
(t
-
y
x
Nota: Al igual que en el caso de las funciones reales de variable real, tambien para las
trayectorias la diferenciabilidad implica continuidad, pero el recproco es falso.
Ahora, s se supone que la imagen de (t) = (x(t), y(t), z(t))T es la posicion de una
partcula en movimiento cuando t = tiempo transcurre, entonces
v(t) = (t) representa la velocidad,
r(t) = k(t)k
la magnitud del vector velocidad, representa
la rapidez de la partcula a lo largo de la curva en el tiempo t.
a(t) = (t) representa la aceleracion de la partcula en movimiento, donde
(t) x(t), y(t), z(t))T .
= (
4
Ejercicio 45. Sea (t) = (a cos t, a sen t, kt)T , con a, k constantes y t [0, ].
i) Trazar la curva descrita por .
ii) Calcular la velocidad para cualquier tiempo t y en particular
para t0 = 2 segundos.
iii) Calcular la rapidez.
iv) Calcular la aceleracion.
v) Determinar la expresion de la recta tangente en el punto (t0 ).
2.1. El Concepto General de Diferenciacion 87
Ejercicio 46. Determinar (t)
y (0) para
T
a) (t) = ( sen 2t, cos 2t, 2t t2 )
T
b) (t) = (t2 cos(t2 + ), ln (1 + t), tet )
Propiedades B
asicas de la Derivada de Trayectorias:
1). La derivada del producto de una funcion escalar s(t) y una trayectoria (t)
satisface la familiar regla del producto (Regla de Leibniz):
d
[s(t)(t)] = s(t)(t) + s(t)(t).
(2.1.7)
dt
2). La Regla de Leibniz tambien es valida para los otros productos definidos.
Por ejemplo, s 1 , 2 y 3 son trayectorias en R3, entonces
d
h1 (t), 2 (t)i = h1 (t),
2 (t)i + h
1 (t), 2 (t)i. (2.1.8)
dt
d
[1 (t) 2 (t)] = 1 (t) 1 (t) 2 (t).
2 (t) + (2.1.9)
dt
d
h1 (t), 2 (t) 3 (t)i = h
1 (t), 2 (t) 3 (t)i
dt
2 (t) 3 (t)i
+h1 (t), (2.1.10)
+h1 (t), 2 (t) 3 (t)i.
Nota: En la relaci
on (2.1.8) el orden de los factores en los terminos del lado derecho
no tiene importancia y de hecho se puede extender para cualquier par de trayectorias
1,2 : [a, b] R Rm .
88 Captulo 2. Diferenciacio
n
Demostraci on. Sea (t) de rapidez constante. Esto es, k(t)k = k = constante.
2 d d
2
Entonces, k = k(t)k = h(t),
(t)i. As, por un lado h(t),
(t)i = k 2 = 0,
dt dt
d
y por el otro h(t),
(t)i
= 2h(t),
(t)i,
lo cual es compatible solo si (t) es el
dt
vector cero o si (t)
es perpendicular a (t).
4). An
alogo de la Regla de la Cadena: Si t = (s) es una funcion real
diferenciable y (t) es una trayectoria diferenciable, entonces
d d d
= . (2.1.11)
ds dt ds
Ejercicio 48. Demostrar las relaciones (2.1.7) (2.1.11), Propiedades 1), 2) y 4).
z
6
(b)
(a)
`
-
y
x
2 6= 0.
Que la curva sea suave significa que es diferenciable y que
2.1. El Concepto General de Diferenciacion 89
b
S la curva esta en R , entonces (2.1.12) tiene la expresion ` =
Z q
2
2
[x(t)]
2 dt,
+ [y(t)]
Rm, se tiene que
a
mientras que en el caso general, cuando la curva esta en
Z b Z b
rh i2 h i2 h i2
`= k(t)kdt
= f1 (t) + f2 (t) + + fm (t) dt. (2.1.13)
a a
Como todos los arcos de la cicloide son iguales, es suficiente considerar el arco principal
descrito por (t) = (at a sen t, a a cos t)T , a > 0, 0 t 2.
y
6
-
0 2a x
Entonces, el vector velocidad de es (t) = (a a cos t, a sen t)T y la rapidez
q
k(t)k
= (a a cos t)2 + a2 sen2 t = a2 2a2 cos t + a2 cos2 t + a2 sen2 t
s
p t
= 2a2 (1 cos t) = 2a2 2 sen2 .
2
t
Como t [0, 2], se tiene que k(t)k
= 2a sen y por lo tanto,
2
Z 2 Z
t
l[] = 2a sen dt = 4a sen u du = 4a( cos u) = 4a(cos + cos 0).
0 2 0 0
x2 y 2
Ejercicio 49. Determinar la longitud de la elipse + 2 = 1.
a2 b
y
6 2 2 2
a x3 + y 3 = a3
a
-
a x
A
a AU
(t) = (a cos3 t, a sen3 t)T , 0 t 2
" Z
#
2
Sugerencia: ` = cuatro veces la longitud de cada arco = 4 k(t)k
dt.
0
(t) = (1, 2t 2, cos t t sen t)T .
Ejercicio 53. Una parametrizacion de la figura del ocho acostado o smbolo del
infinito, llamada Lemniscata de Bernoulli esta dada por
y
6 T
R
1 (t) = 2 cos t 2 , sen 2 t 2 , 0 t 2
-
2 R 2 x
1
Demostraci
on. Se deja como ejercicio.
Ejercicio 55. Calcular la longitud de la helice circular (t) = (a cos t, a sen t, kt)T ,
t 0, 4
. Reparametrizar con su longitud de arco y verificar por calculo directo
el Teorema 2.1.2.
De acuerdo al Teorema 2.1.2, el vector tangente unitario a la curva esta dado por
d
T= = . (2.1.15)
ds kk
3
Es importante observar que existen reparametrizaciones que preservan la orientacion de la
curva y existen tambien reparametrizaciones que invierten la orientacion. Por ejemplo, una
on directa que invierte la orientacion es h( ) = a + b , [a, b].
reparametrizaci
92 Captulo 2. Diferenciacio
n
El plano generado por T y N se llama plano osculante, mientras que el plano generado
por T y B se llama plano rectificante y el plano generado por N y B se llama plano
normal.
Ahora, para curvas de clase C3 , la rapidez instantanea de cambio del vector tangente
dT d2 d2
unitario respecto a la distancia recorrida a lo largo de la curva, = 2 =k 2kN
ds ds ds
proporciona una medida de la curvatura4 de una curva en cada uno de sus puntos.
d2
Introduciendo la notacion = k 2 k, esta derivada se escribe como
ds
dT
= N. (2.1.19)
ds
dN dN dN
=T , =N , =B ,
ds ds ds
dB dB dB
=T , =N , =B .
ds ds ds
4
La curvatura de una curva mide que tanto se dobla la curva en cada punto o que tanto la
curva se desva de ser recta.
2.1. El Concepto General de Diferenciacion 93
dT dN dB
T = 0, N = 0, B = 0,
ds ds ds
dN dT dB dT db dN
T = N , T = B , N = B ,
ds ds ds ds ds ds
Ejercicio 56. Mostrar que la curvatura de una lnea recta es cero, mientras que la
curvatura de una circunferencia de radio a es constante igual a 1/a.
As, la evolucion del triedro de Frenet conforme se mueve sobre la curva satisface
la dinamica gobernada por el sistema establecido en el siguiente resultado.
Teorema 2.1.3 Las derivadas con respecto al parametro longitud de arco de los
vectores del triedro de Frenet satisfacen el sistema
dT
= N,
ds
dN
= T + B, (2.1.20)
ds
dB
= N,
ds
el cual se conoce como las formulas de Frenet-Serret6 . Los coeficientes y son
llamados la curvatura y la torsion de la curva, respectivamente.
5
La torsi
on es una medida del giro o enroscamiento de una curva en cada punto.
6
En el Siglo XIX, los matem aticos franceses Jean Frederic Frenet (1816-1900) y Joseph Alfred
Serret (1819-1885) fueron los primeros en formalizar el concepto de curvatura de una curva en
cada punto y su inverso = 1/, el radio de curvatura, as como la torsi
on de tal curva.
94 Captulo 2. Diferenciacio
n
Ejercicio 60. Mostrar que la curvatura de una curva explcita en el plano, y = f (x),
|f 00 (x)|
esta dada por (x) = .
[1 + (f 0 (x))2 ]3/2
2.1. El Concepto General de Diferenciacion 95
2.1.2 C
alculo Diferencial sobre Campos Escalares
on 2.1.6 Sea f :
Definici Rn R un campo escalar real de n variables.
Las derivadas parciales de f con respecto a la primera, segunda,..., nesima variable,
f f f
denotadas por , , , , tambien son funciones reales de n variables
x1 x2 xn
definidas en el punto x = (x1 , x2 , , xn )T
e i por
f f (x1 , x2 , , xi + h, , xn ) f (x1 , x2 , , xn )
(x) = lim
xi h0 h (2.1.21)
f (x + hni ) f (x)
= lim ,
h0 h
f f (x + x, y) f (x, y)
fx (x, y) = lim ,
x x0 x
para (x, y) en el interior del dominio de f
donde el lmite existe
f f (x, y + y) f (x, y)
fy (x, y) = lim .
y y0 y
96 Captulo 2. Diferenciacio
n
f f
Ejemplo 26: a) Las derivadas parciales y de la funcion real de dos variables
x y
y f y f x
f (x, y) = tan1 son = 2 y = 2 .
x x x + y2 y x + y2
f
Observaci
on: i) Al derivar las funciones , i = 1, 2, , n (cuando son derivables en
xi
el sentido de la Definici
on 2.1.6), se obtienen las derivadas parciales de segundo orden:
2f 2f 2f
, , , ,
x21 x2 x1 xn x1
2f 2f 2f
, , , ,
x1 x2 x22 xn x2 (2.1.22)
.. .. ... ..
. . .
2f 2f 2f
, , , .
x1 xn x2 xn x2n
ii) S las derivadas parciales de primer orden son continuas, entonces el arreglo (2.1.22)
es simetrico. Esto es,
2f 2f
= i, j. (2.1.23)
xi xj xj xi
7
El problema es cuando no hay continuidad de las primeras derivadas parciales, porque entonces
cabe la posibilidad de que las parciales mixtas no existan o tomen valores diferentes.
2.1. El Concepto General de Diferenciacion 97
y
1
b) Al calcular las segundas derivadas parciales de la funcion f (x, y) = tan ,
x
se obtiene
2f
y 2xy
= = ,
x2 x x + y2
2
(x2 + y 2 )2
2f y 2 x2 2f
x y
= = 2 = y = ,
xy x x2 + y 2 2 2
(x + y ) x2 + y 2 yx
2f
x 2xy
= = .
y 2 y x + y2
2
(x2 + y 2 )2
Definici
on 2.1.7 Ademas de las derivadas parciales de primer y segundo orden,
se definen las derivadas parciales de tercer orden, . . . , derivadas parciales de orden
superior (cuando es posible en terminos de la Definicion 2.1.6) como
( derivada parcial previa ) . (2.1.24)
xi
c) Las primeras y segundas derivadas parciales de la funcion norma euclideana en Rn
con respecto a cada una de las variables xi , respectivamente, son
n
xi 2 1 x2i kxk2 x2i 1 X 2
kxk = y kxk = = = xk ,
xi kxk x2i kxk kxk3 kxk3 kxk3 k6=i
2 /4t
d) Sea v(r, t) = tn er . Determinar el
valor de
la constante n tal que v satisfaga la
v 1 v
ecuacion diferencial parcial = 2 r2 .
t r r r
Soluci
on.
r2 r2 r2
v 2 2 n1 r2 /4t n2 r2 /4t
= n tn1 er /4t + tn er /4t =t e n+t 2 =t e nt + .
t 4t2 4t 4
v n r2 /4t 2r v 1 2
=t e r2 = r3 tn1 er /4t
r 4t r 2
v 3 2 1 2 2r
r2 = r2 tn1 er /4t + r3 tn1 er /4t
r r 2 2 4t
r2
3 2 1 2 2 3
= r2 tn1 er /4t + r4 tn2 er /4t = r2 tn2 er /4t t + .
2 4 2 4
v 1 2 v 3
Por lo tanto, = 2 r n= .
t r r r 2
98 Captulo 2. Diferenciacio
n
e) Las primeras y segundas derivadas parciales, respecto a cada una de las variables,
n X n
de la siguiente forma cuadratica en R , f (x) = x Ax =
X
n T
aij xi xj , donde A
i=1 j=1
es una matriz simetrica de orden n, respectivamente, son
n
f X 2f
=2 aij xj y = 2aij .
xi xj xi
j=1
Definici
on 2.1.8 El Operador de Laplace (o simplemente Laplaciano) ndimensional
se define por
n
2 2 2
def 2 X 2
= + + + = . (2.1.25)
x21 x22 x2n i=1
x2i
u 2u
Soluci
on. = eha,xi ai y = eha,xi a2i , as que
xi x2i
n n n
X 2 u X ha,xi 2 ha,xi
X
2 = e a i = e a2i = ukak2 = k 2 u.
i=1
x i i=1 i=1
2f n n n2
= (2 n) x21 + x22 + + x2n (2 n) 2x2i x21 + x22 + + x2n
2
2
x2i 2
n 2 n2
= (2 n)kxk n (2 n)xi kxk .
As,
n
" n #
X 2f n2
X 2 2
n2
2 2
2 = (2 n)kxk kxk n x i = (2 n)kxk nkxk nkxk ,
i=1
xi i=1
Ejercicio 61. En cada uno de los siguientes ejercicios, calcular todas las derivadas
de primer orden:
1
a) f (x, y) = cos x2 , y 6= 0,
y
1 x+y
b) f (x, y) = tan ,
1 xy
loga (x2 + y 2 + z 2 )
c) f (x, y) = ,
x2 + y 2 + z 2
x2 z 2 2 3 2
+ 4x1/2 y 1/3 z 1/4 ex y z cos x2 4y 2 8z 2 ,
d) f (x, y, z) = 2 2
x y
w x+y+z 2 2
z
e) f (x, y, z, w, t) = sen e w2 t2 t exy +w + 7cos1 ,
t x
f ) f (x) = ln kxk4 , x Rn .
Ejercicio 62. Un automovil N viaja por una carretera hacia el Norte a 90 km/h,
mientras que otro automovil T viaja por una carretera hacia el Oeste a 80 km/h.
Cada auto se acerca a la interseccion de estas carreteras. Que tan rapido cambia
la distancia que hay entre los autos cuando el auto N esta a 0.3 km del punto de
interseccion, mientras que el auto T esta a 0.4 km de tal punto de cruce?
a) z = 2x3 + 5x2 y 6y 2 + xy 4 ,
n
!
2u X
Ejercicio 64. Calcular de la funcion u = sen kxk .
x2i k=1
yz
p
Ejercicio 65. S f (x, y, z) = xx + ln (x + z) tan1 [cos xy ln (x + y + z)].
f
Determinar (1, 2, 0).
y
100 Captulo 2. Diferenciacio
n
xy (x2 y 2 )
si (x, y) 6= (0, 0),
x2 + y 2
Ejercicio 66. Sea f (x, y) =
0 si (x, y) = (0, 0).
f f
a) S (x, y) 6= (0, 0), calcular y .
x y
f f
b) Mostrar que (0, 0) = 0 = (0, 0).
x y
2f 2f
c) Mostrar que (0, 0) = 1 y (0, 0) = 1.
xy yx
Cual es el error? Porque las parciales mixtas no son iguales?
z z
Ejercicio 67. Calcular y de las siguientes funciones definidas implcitamente:
x y
x z p
a) = z xy xy 2 z 3 + ln x2 + y 2 + z 2 .
z y
x 4x 8y 2 2
b) e z cos(x + y + z) + xyz sec x yz = 0.
x2 y 2 + z 2
Ejercicio 68.
2 k2 t
i) Verificar que la funcion u = e sen kx es una solucion de la ecuacion de
2
calor 1dimensional, ut = uxx .
ii) Mostrar que u(x, t) = sen(x at) + ln (x + at) satisface la ecuacion de onda
1dimensional, utt = a2 uxx .
1 x2 +y 2
iii) Mostrar que u(t, x, y) = e 4kt satisface la ecuacion de calor 2dimensional,
2 4kt
u u 2u
=k + y tambien u(t, x, y) = exp [(m2 + n2 )kt] sen mx cos ny
t x2 y 2
para cualquier eleccion de m y n.
Geometricamente,
6 p(x1 , x2 , , xn )
R dr
@
@
r
-
en coordenadas cartesianas.
102 Captulo 2. Diferenciacio
n
es una funci
on escalar de las tres variables rectangulares x, y, z, entonces es com
un tambien
f f f
que el gradiente se denote por f = i+ j+ k, el cual resulta ser el vector que
x y z
apunta en la direcci
on en la cual la razon de cambio de los valores de f es n umericamente
mas grande. Es decir, f proporciona la direccion de maximo crecimiento de la funcion f .
La demostraci
on de esta afirmaci
on es casi trivial, pero importante, la cual se incluye mas
adelante.
2.1. El Concepto General de Diferenciacion 103
xz yz
Ejemplo 28: i) Sea f (x, y, z) = ex+y + sen xz + . Entonces,
x2 + y 2
Recordemos que las curvas de nivel de una funcion real de dos variables z = f (x, y)
son curvas sobre el plano xy de la forma f (x, y) = c, con c una constante. As,
por cada punto (x0 , y0 ) D = Dom(f ) pasa una curva de nivel de f , a saber,
la curva f (x, y) = f (x0 , y0 ). El vector gradiente, f |x=x0 , es normal a la curva
de nivel correspondiente en el punto x0 = (x0 , y0 ).
* f
(x0 , y0 )
f = c1
f = c2
..
.
f =c
x2
Ejemplo 29: y g(x, y) = x2 + 2y 2 . Entonces, las curvas de
S f (x, y) =
y
nivel de f cortan perpendicularmente a las curvas de nivel de g. En efecto, para todo
punto (x0 , y0 ) Dom(f ) Dom(g), se tiene que
2x0 x20
f (x0 , y0 ) = , 2 , g(x0 , y0 ) = (2x0 , 4y0 )
y0 y0
x20
2x0
hf, gi = (2x0 ) (4y0 ) = 0. Por lo tanto, f g.
y0 y02 2
son superficies de la forma f (x, y, z) = k, con k = constante. En este caso, por cada punto
(x0 , y0 , z0 ) pasa una y solo una superficie de nivel de f .
on. Sea S una superficie de nivel de una funcion f con derivadas parciales de
Demostraci
primer orden continuas, la cual se describe por f (x, y, z) = k. Sea p(x0 , y0 , z0 ) un punto
sobre S y sea C una curva arbitraria sobre la superficie S pasando a traves del punto p, la cual
se puede parametrizar mediante una funcion vectorial continua (t) = (x(t), y(t), z(t))T .
z
6
f (x0 , y0 , z0 )
f
@
C ..... @
S .....
p@ @
p @
@ 0)
R (t @
- @
y
f =k
x
dx dy dz
Como la derivada de una trayectoria es (t) = , , , entonces la relacion anterior
dt dt dt
puede escribirse en terminos del producto interior como hf ((t)), (t)i
= 0. En particular,
cuando t = t0 , (t0 ) = (x0 , y0 , z0 ) = p y as, hf (p), (t
0 )i = 0. Por lo tanto, el vector
gradiente de f en p, f (x0 , y0 , z0 ), es perpendicular al vector tangente (t
0 ) a la curva C
que pasa a traves de p sobre la superficie S. Pero, como la curva elegida es arbitraria,
entonces f es perpendicular a las superficies de nivel de la funcion f en cada punto del
dominio.
Ejemplo 30: I) El gradiente para cada uno de los campos escalares siguientes,
respectivamente esta dado por
1 r
II) Probar que = 3, donde r = krk.
r r
v
u n 2
uX
on. Sea r = xT , x IRn . Entonces, krk = r = t
Soluci xi . Por consiguiente,
i=1
r xi 1 1 1 xi xi
= , = 2 (r) = 2 krk = ,
xi krk xi r r xi krk krk3
Xn
1 1 r r
de donde = ni = 3 = r3 .
r xi r krk
i=1 2
106 Captulo 2. Diferenciacio
n
Ejercicio 69. S r y son las coordenadas polares en el plano xy, determinar grad r
y grad .
on 2.1.10 Si f :
Definici Rn R, entonces la derivada direccional de f en x
en la direccion de un vector unitario v se define y se denota por
def d
Dv f (x) = f (x + tv) . (2.1.33)
dt t=0
Nota: De la definici
on, la derivada direccional tambien se puede establecer directamente
f (x + tv) f (x)
mediante la f
ormula Dv f (x) = lim , si el lmite existe.
t0 t
Demostraci
on. Sea `(t) = x + tv, de modo que f (x + tv) = f (`(t)). Entonces, aplicando
la regla de la cadena,
d f dx1 f dx2 f dxn
f (`(t)) = + + + = hf (`(t)), `(t)i.
dt x1 dt x2 dt xn dt
Pero, como `(0) = x y
`(0) = v, entonces
d
Dv f (x) = f (x + tv) = hf (x), vi.
dt t=0
v 1
Soluci
on. El vector unitario en la direccion de v es u = = (3, 6, 2)T , mientras que
kvk 7
el gradiente de la funci
on g es
yz z yz yz z xz yz z xy
g(x) = e + ye , xze + xe , xye + xye ,
2 xyz 2 xyz 2 xyz
1 1 1
de donde g(x0 ) = 2e , 2e , 2e . Por lo tanto,
2 2 2
1
Dv g(x0 ) = hg(x0 ), ui = 2e .
2 2
Demostraci
on. Sea v un vector unitario cuyo punto de aplicacion esta sobre la superfi-
cie de nivel f (x) = f (x0 ). Entonces, la razon de cambio de f en x0 en la direccion v es
hf (x0 ), vi = kf (x0 )kkvk cos , donde 0 es el angulo entre v y f (x0 ).
axima cuando = 0. Esto es, cuando v y f (x0 ) son paralelos.
Esta cantidad es m
Por lo tanto, f (x0 ) representa la direccion de maximo crecimiento de la funcion f , a partir
del punto x0 , el cual apunta en la direccion normal a las superficies de nivel de f , as que
kf (x0 )k representa la raz
on maxima de crecimiento.
108 Captulo 2. Diferenciacio
n
Por ejemplo, s f es una funcion real de tres variables, entonces el plano tangente a
la superficie f (x, y, z) = k en el punto x0 = (x0 , y0 , z0 )T esta dado por
f f f
(x0 , y0 , z0 )(x x0 ) + (x0 , y0 , z0 )(y y0 ) + (x0 , y0 , z0 )(z z0 ) = 0. (2.1.36)
x y z
x2 z2
Ejemplo 32: Determinar la ecuacion del plano tangente al elipsoide +y 2 + = 3
z 4 9
en el punto x0 = (2, 1, 3)T .
6
x2 z2
+ y2 + =3
4 9
.
...
-
. . . . y
. . . . . . . . . .. . .
..
..
..
x ..
..
3x + 6y 2z 18 = 0
Ejercicio 72. Se dice que dos superficies son ortogonales en alguno de sus puntos
de interseccion p(x0 , y0 , z0 ) si sus vectores normales en p son perpendiculares.
a) Demostrar que las graficas de F (x, y, z) = 0 y de G(x, y, z) = 0 son ortogonales
en p si y solo si Fx Gx + Fy Gy + Fz Gz = 0, en el dominio com
un donde F y G
tienen derivadas parciales.
b) Mostrar que la esfera x2 + y 2 + z 2 = a2 y el cono x2 + y 2 z 2 = 0 son
ortogonales en todos sus puntos de interseccion.
c) Mostrar que todo plano tangente al cono z 2 = x2 + y 2 pasa por el origen.
en metros. En cual direccion, a partir del punto (1, 1, 2)T , se incrementa mas
rapidamente la temperatura? Cual es la razon maxima de crecimiento?
Ejercicio 77. La superficie de un lago puede ser referida sobre el plano xy de tal
modo que la profundidad en cada punto (x, y) esta dada por P (x, y) = 3002x2 3y 2
(en metros). S un individuo se encuentra nadando en ese lago, precisamente en el
punto (4, 9), cual es la profundidad en dicho punto?, en cual direccion debe nadar
para que la profundidad disminuya lo mas rapido posible?
110 Captulo 2. Diferenciacio
n
Ejercicio 78. Supongase que z = f (x, y) es una funcion diferenciable para todo
punto (x, y) y sea p(2, 1). S la derivada direccional de z en p en la direccion haca
el punto a(0, 1) vale 7, mientras que en la direccion haca el punto b(1, 1) vale 3,
cual es el valor de la derivada direccional de z en el mismo punto p, pero en la
direccion haca c(6, 2)?
Ejercicio 80. Los Biologos marinos han determinado que cuando un tiburon detecta
la presencia de sangre en el agua, nada en la direccion en la que concnetracion de la
sangre se incrementa mas rapidamente. Despues de un derrame de sangre y basandose
sobre ciertas pruebas del agua del mar, han determinado que la concentracion de
sangre en partes por millon en un punto p(x, y) sobre la superficie es aproximada
2 +2y 2 )/104
por C(x, y) = e(x , donde x y y son medidas en metros en un sistema de
coordenadas rectangulares con la fuente de sangre en el origen.
En esta parte se define la derivada general de una funcion vectorial de varias variables
de una forma natural teniendo como base solida el concepto de derivada parcial.
S f : Rn Rm, entonces se escribe f (x) = (f1(x), f2(x), , fm(x)) T
, con
fi : R . La transformacion lineal L a la que hace referencia la Definicion 2.1.2,
m
f1 f1 f1
(x0 ) (x0 ) (x0 )
x1 x2 xn f1 (x0 )
f2 f2 f2
(x0 ) (x0 ) (x0 ) f2 (x0 )
Df (x0 ) = x1 x2 xn .. , (2.1.37)
.. .. .. ..
.
. . . .
fm fm fm fm (x0 )
(x0 ) (x0 ) (x0 )
x1 x2 xn
donde (L(h))j es la jesima componente del vector columna L(h). Ahora, tomando
h = tni = (0, , t, , 0) , t R, se tiene que el lmite anterior es equivalente a
T
Nota: La matriz jacobiana Df (x0 ) esta definida en cada punto en el que las mn derivadas
fj
parciales existen, la cual contiene la informacion de los cambios de la funcion f a lo
xi
largo de los ejes principales (direcci
on de cada vector de la base). Esta es la razon por la
que se le nombra derivada general o total8 de la funcion vectorial de varias variables f .
exy exy + z y
Df (x) =
,
y 2 z ln (x2 y 2 z 2 ) + 2y 2 z 2yxz ln (x2 y 2 z 2 ) + 2xyz y 2 x ln (x2 y 2 z 2 ) + 2y 2 x
!
1 0 1
de donde se obtiene mediante evaluacion directa Df (x0 ) = .
2 2 2 2
Ejercicio 82. Sea T : Rn Rm una transformacion lineal dada por la matriz mn,
n
X
A = (aij ) , de tal forma que Ax tiene componentes yi = aij xj . Usar la desigualdad
j=1
qX X
de Schwartz para probar que kAxk Mkxk, donde M = a2ij .
8
Observaci
on: El termino derivada total tambien es utilizado en Fsica en otro contexto,
lo cual debe ser claro a partir del mismo contexto.
2.1. El Concepto General de Diferenciacion 113
Demostraci
on. La Definici
on 2.1.2 de diferenciabilidad, establecida en la relacion (2.1.4)
y el hecho que kDf (x0 )hk Kkhk, donde (por el Ejercicio 82) K es la raz cuadrada de
la suma de los cuadrados de los elementos de la matriz Df (x0 ), es decir, K = kDf (x0 )k,
eligiendo = 1, se tiene que
1 > 0 3 0 < khk < 1 kf (x0 + h) f (x0 ) Df (x0 )hk < khk = khk.
Rn Rm no es continua en x0 , entonces no es
o
Corolario 2.1.1 S f :
diferenciable9 en x0 .
Demostraci
on. Es suficiente considerar el caso m = 1, ya que en general el criterio se
cumple componente a componente y las componentes de una funcion vectorial son campos
escalares. As, sea f : Rn R. En este caso, debemos verificar la relacion (2.1.4).
Es decir,
n
X f
|f (x + h) f (x) (x)hi |
xi |f (x + h) f (x) f (x)h|
i=1
lim = lim = 0.
h0 khk h0 khk
Para empezar,
w1 = (c1 , x2 + h2 , x3 + h3 , . . . , xn + hn )T , c1 (x1 , x1 + h1 ),
w2 = (x1 , c2 , x3 + h3 , . . . , xn + hn )T , c2 (x2 , x2 + h2 ),
..
.
wn = (x1 , x2 , . . . , xn1 , cn )T , cn (xn , xn + hn ).
2.1. El Concepto General de Diferenciacion 115
As,
n
X f f f f f
f (x + h) f (x) (x)hi = (w1 ) (x) h1 + (w2 ) (x) h2
xi x1 x1 x2 x2
i=1
f f
+ + (wn ) (x) hn
xn xn
f f f f
(w1 ) (x) |h1 | +
(w2 ) (x) |h2 |
x1 x1 x2 x2
f f
+ + (wn ) (x) |hn |
xn xn
f f f f
(w1 ) (x) +
(w2 ) (x)
x1 x1 x2 x2
f f
+ + (wn ) (x) khk.
xn xn
ltimo paso se debe a que |hi | khk, i = 1, 2, . . . , n. Por lo tanto,
El u
n
X f
f (x + h) f (x) (x)hi
xi
f f
i=1
lim lim (w1 ) (x) +
h0 khk h0 x 1 x1
f f
+ (wn ) (x) .
xn xn
2.1.4 C
alculo Diferencial de Campos Vectoriales
Definici
on 2.1.12 Un campo vectorial V en Rn se denomina campo vectorial
conservativo si es el gradiente de alg
un campo escalar. Esto es, si existe una funcion
f : Rn R tal que f = V. En este caso, se dice que f es una funcion de
potencial para V.
Nota: i) M
as adelante, se establece un criterio que ayuda a determinar cuando un campo
vectorial es conservativo.
ii) En particular, el caso de mayor interes, por su importancia y significado fsico-geometrico,
es el de los campos vectoriales tridimensionales. En lo que sigue, se consideraran campos
vectoriales en R3 o R2, a menos que se mencione lo contrario (en la Subseccion 1.3.5
se ilustran algunos ejemplos cl
asicos en R3).
Definici
on 2.1.13 Un campo vectorial en el espacio euclideano tridimensional es una
funcion, V : R3 R3, que a cada punto de cierta region le asigna un vector
3-dimensional. Esto es,
V(x) = V(x, y, z) = (P (x, y, z), Q(x, y, z), R(x, y, z))T = P (x)i+Q(x)j +R(x)k. (2.1.39)
2.1. El Concepto General de Diferenciacion 117
..
...
m = 1
..
F
..
..
..
M
.}. .
. ...............
-
...
.. . y
.
Superficie de Nivel de
x
+
Ejercicio 85. Las lneas de flujo (o lneas de corriente) de un campo vectorial son las
trayectorias que sigue una partcula cuyo campo de velocidades es el campo vectorial
dado. Esto es, los vectores definidos por un campo vectorial son tangentes a las lneas
de flujo en cada punto del dominio de definicion.
b) Determinar la ecuacion para la lnea de flujo que pasa a traves del punto
x0 = (1, 1)T , resolviendo el sistema de ecuaciones diferenciales lineales
dx
= y,
dt
dy = x.
dt
118 Captulo 2. Diferenciacio
n
Definici
on 2.1.14 Sea V un campo vectorial en R3. Se define la divergencia y el
rotacional de V mediante la operacion producto interior y producto cruz del operador
y V, respectivamante, de la forma siguiente:
V V V def
h, Vi V = i +j +k = div V, (2.1.40)
x y z
V V V def
V =i +j +k = rot V. (2.1.41)
x y z
Nota: La notaci
on para el rotacional algunas veces vara en la literatura en ingles, donde
se utiliza curl en lugar de rot
Cada componente del vector del lado derecho es cero si el orden de la diferenciacion no tiene
importancia. Es decir, cuando las derivadas parciales mixtas son identicas, lo cual es valido
cuando f C2 (). Por lo tanto, rot f = 0.
Definici
on 2.1.15 Si rot V = 0, entonces el campo vectorial V se dice ser
irrotacional.
T
y x
Ejemplo 36: Mostrar que el campo vectorial V(x, y, z) = , , z2
x2 + y 2 x2 + y 2
es irrotacional. Es conservativo?
Soluci
on. Como
i j k
x
= y
V = x y z k = 0,
y x
x x2 + y 2 y x2 + y 2
x2 + y 2 z2
x2 + y 2
Afirmaci
on: Todo campo conservativo (expresable como el gradiente de un potencial
escalar) es irrotacional y viceversa! (Mostrar el recproco, i.e., V = 0 V = f ).
120 Captulo 2. Diferenciacio
n
Demostraci
on. Para el campo vectorial considerado, se verifica que
x y z
( V) = ,
x y z
P Q R
Definici
on 2.1.16 Si div V = 0, entonces se dice que el campo vectorial V es
incompresible o solenoidal.
xy T
Ejemplo 37: A) Calcular la divergencia de V = x2 y, zx, .
z
xy xy
Soluci
on. div V = 2xy +0 = 2 (2z 2 1). Este campo vectorial no puede ser el rota-
z2 z
cional de otro campo vectorial, ya que de serlo su divergencia tendra que ser identicamente
igual a cero. Tampoco es conservativo (verificarlo!).
Soluci
on.
i j k
V = = (0 0)i + (0 0)j + (y 0)k.
x y z
x xy z
Observaci
on: i) Si un campo vectorial V representa el flujo de un fluido, entonces
rot V = 0 significa, fsicamente, que el fluido esta libre de rotaciones (es irrotacional).
Es decir, est
a libre de remolinos o vortices, lo cual esta estrechamente relacionado con la
viscosidad y compresibilidad del fluido. En el Captulo 4, una vez que se establezca el
Teorema de Stokes, se dar
a detalladamente el significado fsico preciso del rotacional de un
campo vectorial.
Por u
ltimo, otro operador diferencial muy importante y utilizado que aparece cuando
se calcula la divergencia de un campo vectorial gradiente es el operador de Laplace,
2f 2f 2f
2 f = (f ) div (f ) = + + . Sin embargo, es mas com un que el
x2 y 2 z 2
operador 2 = se denote por , Definicion 2.1.8, el cual en el caso n-dimensional
tiene la forma 2.1.25. Cuando este operador se anula, f = 0, la relacion obtenida es
conocida como Ecuacion de Laplace ndimensional, la cual es una ecuacion diferencial
parcial lineal de segundo orden y a la funcion f se le llama funcion armonica.
en el siguiente sentido
div V = tr DV, (2.1.45)
donde tr denota la traza de la matriz10 . Ademas, de la Teora de Matrices, se tiene
que toda matriz real cuadrada A puede expresarse como
1 1
A + AT + A AT = S + SS,
A=
2 2
T
1 1
A AT
donde S = 2
A + A es una matriz simetrica (sij = sji , i 6= j) , SS = 2
es una matriz semisimetrica o antisimetrica (elementos por arriba y por abajo de
la diagonal son iguales, pero opuestos en signo, es decir ssij = ssji , i 6= j) y AT
denota a la transpuesta de la matriz A. Cuando A es la Matriz Jacobiana, la parte
semisimetrica es
rot V $
P Q P R
0 y
x z
x
6Q P Q R
1h T
i 1
2
DV (DV) =
2 x
y 0 z
y
R P R Q
x
z y
z 0
&
rot V
Los elementos de rot V son los elementos de esta matriz, en el sentido que indica
la flecha, con los respectivos signos heredados de la posicion correspondiente en la
matriz.
0 0 h0 (z)
Esto implica que div F = f 0 (x) + g 0 (y) + h0 (z) y rot F = 0.
10
Recuerde que la traza de una matriz se define como la suma de los elementos de la diagonal
principal de la matriz.
2.1. El Concepto General de Diferenciacion 123
T
b) Sea V(x, y, z) = (xy 2 z 2 , z 2 sen y, x2 ey ) , entonces
y2z2 2xyz 2 2xy 2 z
DV =
0 z 2 cos y 2z sen y
,
2xey 2
x e y 0
2 2 2
De aqu, div V = + + 2 = , la divergencia del gradiente de un campo
x2 y 2 z
escalar es el Laplaciano del campo escalar. Por lo tanto, el gradiente de una funci
on
armonica tiene divergencia nula. Por otro lado, rot(grad ) = 0 para todo campo escalar
de clase C2 , ya que en este caso, las parciales mixtas son iguales lo cual implica que la
Matriz Jacobiana DV es simetrica.
124 Captulo 2. Diferenciacio
n
Si el campo es de clase C2 , entonces las parciales mixtas son iguales y por lo tanto,
div (rot F ) = 0 y rot (rot F ) = grad (div F ) F , donde F = (f1 , f2 , f3 )T .
Nota: Esta identidad relaciona los cuatro operadores diferenciales principales del Calculo
Vectorial: el gradiente, la divergencia, el rotacional y el Laplaciano de un campo vectorial
(Formula 10, de la tabla del Ejercicio 90). 2
(v v) = 2v v + 2v ( v)
2.2.1 F
ormula General y Casos Especiales
Demostraci
on. Por verificar que
kg(f (x)) g(f (x0 )) Dg(f (x0 )) Df (x0 )(x x0 )k
lim = 0.
xx0 kx x0 k
Como kDg(f (x0 ))hk Mkhk para alguna constante M (Ejercicio 82), entonces la ex-
presion anterior es menor o igual que
kg(f (x)) g(f (x0 )) Dg(f (x0 )) (f (x) f (x0 )) k + Mkf (x) f (x0 ) Df (x0 )(x x0 )k.
(2.2.2)
Ahora, como f es diferenciable en x0 , entonces dado > 0 existe 1 > 0 tal que
0 < kx x0 k < 1 implica
kf (x) f (x0 ) Df (x0 )(x x0 )k
< .
kx x0 k 2M
kx x0 k
Esto hace que el segundo termino de la desigualdad (2.2.2) sea menor que .
2
Para el primer termino, como f es diferenciable, entonces el Teorema 2.1.8 implica que
kf (x) f (x0 )k < M1 kx x0 k para alguna constante M1 si x esta cerca de x0 , digamos
0 < kx x0 k < 2 . Ahora, sea 3 > 0 tal que 0 < kf (x) f (x0 )k < 3 implique que
kf (x) f (x0 )k
kg(f (x)) g(f (x0 )) Dg(f (x0 ))(f (x) f (x0 ))k < .
2M1
3
As, si kx x0 k < y kx x0 k < 2 , entonces
M1
kf (x) f (x0 )k kx x0 k
kg(f (x)) g(f (x0 )) Dg(f (x0 ))(f (x) f (x0 ))k < < .
2M1 2
Por consiguiente, si = min {1 , 2 , 3 /M1 }, entonces
kg(f (x)) g(f (x0 )) Dg(f (x0 )) (f (x) f (x0 )) k + Mkf (x) f (x0 ) Df (x0 )(x x0 )k
kx x0 k kx x0 k
es menor que + , lo cual implica que
2 2
kg(f (x)) g(f (x0 )) Dg(f (x0 ))Df (x0 )(x x0 )k
< + = ,
kx x0 k 2 2
para 0 < kx x0 k < . Por lo tanto, g f es diferenciable en x0 y su derivada esta dada
por la ecuaci
on (2.2.1).
Caso II:
z = f (x, y)
dz f dx f dy
x = g(t) = + . (2.2.4)
dt x dt y dt
y = h(t)
128 Captulo 2. Diferenciacio
n
Caso III:
z f x f y
= + .
z = f (x, y)
s x s y s
x = g(s, t) (2.2.5)
z f x f y
y = h(s, t)
= + .
t x t y t
Caso IV:
( n
u = u(x) = u(x1 , x2 , . . . , xn ) u X u xj
= , i = 1, 2, . . . , l.
xj = xj (t1 , t2 , . . . , tl )) ti j=1
x j t i
(2.2.6)
Nota: Todos estos casos simples de la regla de la cadena se estudian en un primer curso de
calculo vectorial y se resumen de manera adecuada en la definicion mas general dada por
la ecuacion (2.2.1).
x y
= + = cos + sen
r x r y r x y
x y
= + = r sen + r cos
x y x y
dz x
ii) Determinar , si z = , con x = et , y = ln t.
dt y
Soluci
on. Aplicando la relaci
on (2.2.4), se tiene que
et et
dz z dx z dy 1 t x 1 1 t 1 1
= + = e 2 = e = 1 .
dt x dt y dt y y t ln t (ln t)2 t ln t t ln t
u u x u y u z
= + +
x y z
= 2kx(R sen cos ) + 2ky(R sen sen ) + 2kz(R cos )
= 2k [(R cos cos )(R sen cos ) + (R cos sen )(R sen sen )
+(R sen )(R cos )]
= 2k R2 cos sen cos2 R2 cos sen sen2 + R2 sen cos
u u x u y u z
= + +
x y z
= 2kx(R cos sen ) + 2ky(R cos cos ) + 2kz( 0 )
= 2k [(R cos cos )(R cos sen ) + (R cos sen )(R cos cos )]
= 2k R2 cos2 cos sen + R2 cos2 cos sen = 0.
130 Captulo 2. Diferenciacio
n
w w dz
Ejercicio 92. Utilizar la regla de la cadena para determinar , y , donde
t s dt
a) w = x tan1 (xy), x = t2 , y = set ,
Ejercicio 94. Sea u = f (x, y), con x = es cos t, y = es sen t. Mostrar que
2 2 " 2 2 #
u u 2s u u
a) + =e + ,
x y t s
2u 2u
2
2u
2s u
b) + =e + 2 .
x2 y 2 t2 s
2.2. La Regla de la Cadena 131
2u 2u 2u d2 u 2 du
u + + = + .
x2 y 2 z 2 r2 r dr
Z x
Ejercicio 98. Discutir porque si y(x) = h(t) sen t(x t) dt, entonces
a
Z x
dy
= y 0 (x) = h(t) cos(x t) dt.
dx a
Z B(x)
d
En general. Sabra Usted como calcular la para (x) = f (x, t) dt?
dx A(x)
Discutir su respuesta, ya que aqu se aplica la Regla de la Cadena.
Ejercicio 99. Considere un recipiente conico circular recto el cual se va a llenar con
agua. Si mientras se llena, en cierto momento la altura del lquido es de 30 cm y esta
aumentando 2 cm por segundo, y en el mismo intante, el radio de la superficie libre
es de 20 cm y esta aumentando 1 cm por segundo, con que rapidez esta aumentando
el volumen del agua contenida en el cono en ese preciso instante?
132 Captulo 2. Diferenciacio
n
R2 (h, x0 )
donde 0 cuando h 0.
khk2
Demostraci
on. La regla de la cadena implica que
n
d X f
f (x0 + th) = hf (x0 + th), hi = (x0 + th) hi .
dt xi
i=1
Integrando ambos lados de esta expresion y aplicando el Teorema Fundamental del Calculo,
sobre el intervalo [0, 1], se obtiene
Z 1 n
X f
f (x0 + h) f (x0 ) = (x0 + th) hi dt.
0 xi
i=1
f
Integrando por partes el lado derecho, tomando u = y v = (t 1), se tiene que
xi
n Z 1 n n X n Z 1
X f X f X 2f
(x0 + th) hi dt = (x0 ) hi + (1 t) hi hj dt,
0 xi xi 0 xi xj
i=1 i=1 i=1 j=1
llegando as a la igualdad
n
X f
f (x0 + h) = f (x0 ) + (x0 )hi + R1 (h, x0 ),
xi
i=1
n n 1 (2.2.8)
2f
XX Z
(1 t)
R1 (h, x0 ) = (x0 + th) hi hj dt,
0 xi xj
i=1 j=1
la cual corresponde a la F
ormula de Taylor de primer orden.
2.2. La Regla de la Cadena 133
2f (t 1)2
u= (x0 + th) hi hj y v= ,
xi xj 2
n X n
X 1 2f
se obtiene R1 (h, x0 ) = (x0 ) hi hj
2 xi xj
i=1 j=1
n X n X n Z 1
X (t 1)2 3f
+ (x0 + th) hi hj hk dt.
0 2 xi xj xk
i=1 j=1 k=1
As,
n n n
X f 1 X X 2f
f (x0 + h) = f (x0 ) + (x0 ) hi + (x0 ) hi hj + R2 (h, x0 ),
xi 2 xi xj
i=1 i=1 j=1
n X
n X
n Z
(t 1)2
1
3f
X
R2 (h, x0 ) = (x0 + th) hi hj hk dt.
0 2 xi xj xk
i=1 j=1 k=1
(2.2.9)
para f y g continuas y g 0 en [a, b], con c (a, b)), implica una forma explcita
para el residuo R2 (h, x0 ), a saber
n X
n X
n 1
(t 1)2 3f
X Z
R2 (h, x0 ) = (x0 + th) hi hj hk dt
i=1 j=1 k=1 0 2 xi xj xk
n X n X n (2.2.10)
X 1 3f
= (cijk ) hi hj hk ,
i=1 j=1 k=1
3! xi xj xk
donde cijk esta sobre el segmento de recta que une x0 con x0 +h. La expresion (2.2.10)
se denomina forma de Lagrange para el residuo.
134 Captulo 2. Diferenciacio
n
No es dficil inferir la forma del Teorema de Taylor para ordenes mayores que dos.
Por ejemplo, la Formula de Taylor de tercer orden es
n n n
X f 1 XX 2
f (x0 + h) = f (x0 ) + (x0 ) hi + (x) hi hj
i=1
xi 2 i=1 j=1 xi xj
n n n
1 XXX 3f
+ (x0 ) hi hj hk + R3 (h, x0 ),
3! i=1 j=1 k=1 xi xj xk
(2.2.11)
R3 (h, xo )
donde 0 cuando h 0 y as sucesivamente. La formula general puede
khk3
probarse por induccion usando el metodo de demostracion anterior (intentarlo!).
Un buen ejercicio es la manipulacion del Teorema de Taylor general para funciones
vectoriales (trate de escribir la versi
on general!).
Soluci
on. Para la funci
on dada, se tiene
As, aplicando la f
ormula 2dimensional del Teorema de Taylor,
f f 1 2f 2 2f
f (x0 + h) = f (x0 ) + (x0 ) h1 + (x0 ) h2 + (x0 ) h 1 + (x0 ) h1 h2
x y 2 x2 xy
1 2f
+ (x0 ) h22 + R2 (h, x0 ),
2 y 2
Ejercicio 100. Determinar la formula de Taylor de segundo orden para las funciones
dadas, respecto del punto indicado:
2 y 2
a) f (x, y) = ex cos(xy), x0 = 0, y0 = 0.
ln (3x2 + 2y 2 + z 2 )
b) f (x, y, z) = , x0 = (0, 0, 1).
x2 + y 2 + 2z 2 1
Z x2 y
2
c) f (x, y) = es ds, x0 = (0, 0).
0
[Sugerencia: Ver la parte general del Ejercicio 98].
Ejercicio 101. a) Mostrar que la formula (2.2.7) del Teorema de Taylor puede
expresarse mediante la formula mas compacta
Por ejemplo, para funciones reales de dos variables f (x, y), el Hessiano se escribe
como
2f 2f
x2 xy
!
1 h1
H f (x, y)h = (h1 , h2 ) .
2
2f
h2
2f
yx y 2
2 y 2
b) Calcular el Hessiano, en el origen, de la funcion f (x, y) = x2 2xy +2y 2 +e1+x .
c) Aproximar el valor de la funcion f (x, y) en el punto (0.5, 0.5).
Ejercicio 102. Aproximar cerca del origen con una funcion cuadratica a la funcion
sen(x2 + y 2 )
sinc, f (x, y) = (el sombrero de dama antinguo). Graficar (en Maple,
x2 + y 2
Mathematica, etc.) ambas funciones y comparar geometricamente.
136 Captulo 2. Diferenciacio
n
2.3 Transformaci
on de Coordenadas
z
...
-
H
. . ... y
HH r ...
.
H ...
. .
......
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .H
.H
j
x
Figura 2.2 Sistema Coordenado Cilndrico
z u3
6 @
I u2
@
p@
u1
-
y
x
U1 = h1 u1 , U2 = h2 u2 , U3 = h3 u3 , (2.3.4)
donde los coeficientes h1 , h2 , h3 son por naturaleza los factores de escala que establecen
la relacion que existe entre los diferenciales de distancia y los diferenciales de los
parametros coordenados. Cabe se
nalar que el calculo de Uk , de la ecuacion (2.3.3),
determina tanto el factor de escala, hk = kUk k, como el vector unitario uk = Uk /hk .
Por otro lado, es recomendable adoptar siempre la convencion de formar un sistema
coordenado derecho u1 , u2 y u3 mediante un orden apropiado al enumerar las nuevas
coordenadas (ver la nota al final de esta pagina).
tiene longitud unitaria. Ademas, si las curvas coordenadas son ortogonales, entonces
hU1 , U2 i = hU2 , U3 i = hU3 , U1 i = 0, (2.3.8)
de donde se sigue que hU1 , U1 idu1 2 + hU2 , U2 idu2 2 + hU3 , U3 idu3 2 = ds2 . Utilizando
las relaciones (2.3.5), esto es hUk , Uk i = kUk k2 = h2k , k = 1, 2, 3, se obtiene el
elemento de longitud de arco de la curva C,
Por otra parte, para encontrar el elemento de volumen, observese que los vectores
U1 du1 , U2 du2 y U3 du3 son mutuamente perpendiculares y que tienen por longitudes
los diferenciales de longitud de arco ds1 , ds2 y ds3 , respectivamente. As, el elemento
de volumen dV esta dado por el volumen del paraleleppedo rectangular determinado
2.3. Transformaci
on de Coordenadas 139
por estos vectores, dV = hU1 du1 U2 du2 , U3 du3 i = hu1 u2 , u3 ih1 h2 h3 du1 du2 du3 ,
y por lo tanto,
dV = h1 h2 h3 du1 du2 du3 . (2.3.10)
1 1 1
= u1 + u2 + u3 . (2.3.15)
h1 u1 h2 u2 h3 u3
2.3. Transformaci
on de Coordenadas 141
y despues se escribe el primer termino en la forma (Formula 6, Tabla del Ejercicio 90)
u1 1
(f1 u1 ) = (h2 h3 f1 ) = (h2 h3 f1 ).
h2 h3 h1 h2 h3 u1
Nota: En las coordenadas rectangulares, (u1 , u2 , u3 ) (x, y, z), se tiene que los factores de
escala h1 = h2 = h3 = 1, de manera que todos los resultados obtenidos en esta seccion se
reducen a las f
ormulas conocidas originalmente con las que empieza el estudio del Calculo
Diferencial Vectorial.
Soluci
on. El orden en el que se consideran las nuevas coordenadas es r, y z, ya que
as forman un sistema derecho. Entonces, el vector posicion tiene la forma r = r cos i +
r sen j + zk y los vectores tangentes del sistema son
r r
Ur = = cos i + sen j, U = = r sen i + r cos j, Uz = k.
r
De la ecuaci
on (2.3.5), se sigue que
hr = 1, h = r, hz = 1, (2.3.23)
de donde
q
ds = [dr]2 + r2 [d]2 + [dz]2 ,
dV = r ddrdz, (2.3.25)
Finalmente, las ecuaciones (2.3.14), (2.3.19) (2.3.20) y (2.3.21) implican los resultados
f 1 f f
f = ur + u + uz ,
r r z
1 1 f fz
F = (rfr ) + + ,
r r r z
1 2f 2f
1 f
f = r + 2 2 + 2,
r r r r z
(2.3.26)
ur ru uz
1
F = .
r r z
fr f fz
2
144 Captulo 2. Diferenciacio
n
donde 0, 0 y 0 2.
c) Verificar que
f 1 f 1 f
f = u + u + u ,
sen
1 2 1 1 f
F = 2
( f ) + (f sen ) + ,
sen sen
u u sen u
(2.3.28)
1
F = 2 .
sen
f f sen f
2f
1 2 f 1 f 1
f = 2 + 2 sen + 2 =0
sen sen2 2
o
2f 2 f cot f 1 2f 1 2f
+ + + + = 0.
2 2 2 2 2 sen2 2
(2.3.29)
2.3. Transformaci
on de Coordenadas 145
con u 0 y 0 v 2.
b) Mostrar que en el plano xy las curvas uconstante son elipses con semiejes
a cosh u, a senh u, en la direccion x, y, respectivamente; tambien que la curva
vconstante es la mitad de una rama de la hiperbola con semiejes a cos v y
a sen v. En particular, mostrar que el lugar geometrico correspondiente a u = 0
degenera en el segmento (a, a) del eje x, mientras que el lugar geometrico
correspondiente a v = 0 y v = es, respectivamente, el exterior positivo y
negativo de este segmento; tambien que el lugar geometrico correspondiente a
v = /2 y v = 3/2 es, respectivamente, la porcion positiva y negativa
del eje y. Bosquejar y se
nalar en un solo diagrama las curvas u = 0, 1 y
v = 0, /4, /2, 3/4, 3/2, 5/4 y 7/4.
Ejercicio 105. Las coordenadas cilndricas parabolicas se definen por las ecuaciones
1 2
u v2 ,
x= y = uv, z = z, (2.3.36)
2
donde u y v 0.
c) Realizar los calculos necesarios para mostrar que el Laplaciano en este sistema
coordenado es de la forma
2f 2f 2f
1
f = 2 + + . (2.3.37)
u + v2 u2 v 2 z 2
Ejercicio 106. En una traslacion y rotacion de ejes, en la cual el origen de las nuevas
variables del espacio x0 , y 0 , z 0 se toma en el punto (a, b, c) en el espacio xyz y en el
cual las direcciones de los ejes x0 , y 0 y z 0 son especificados por las direcciones de los
cosenos directores (l1 , m1 , n1 ), (l2 , m2 , n2 ) y (l3 , m3 , n3 ) relativos a los ejes originales,
la trasformacion de coordenadas es de la forma
x = a + l1 x0 + l2 y 0 + l3 z 0 ,
y = b + m1 x0 + m2 y 0 + m3 z 0 ,
x = c + n1 x0 + n2 y 0 + n3 z 0 .
2f 2f 2f
+ + = 0,
x0 2 y 0 2 z 0 2
en terminos de las nuevas variables.
2.3. Transformaci
on de Coordenadas 147
k = u cos u sen .
Ejercicio 110. Mostrar que los vectores tangentes unitarios en coordenadas esfericas
satisfacen las relaciones siguientes:
u u
= u , = u sen ,
uv a u
= u , = u cos ,
u u
= 0, = u sen u cos .
Ejercicio 111. Usando los resultados del Ejercicio 110 y escribiendo el vector posicion
en la forma r = rur , obtener expresiones para las componentes de la aceleracion a lo
largo de las curvas coordenadas de las coordenadas esfericas como sigue:
a = 2 2 sen2 ,
a = 2 + 2 sen cos ,
d) Mostrar que
ux uy uz
(u, , )
hu, i = det x y z
(x, y, z)
x y z
def 1
= Jacobiano de la Transformacion Inversa = .
hu h h
Ejercicio 113. Las coordenadas toroidales se definen por