Cálculo de Varias Variables Vol. 2 - Marder

www.FreeLibros.
org
Esta Serie tiene por objeto ofrecer a los
lectores una buena seleccin de problemas
resueltos sobre distintos temas de matemticas.
Los primeros volmenes se prepararon especial
mente para satisfacer las necesidades de los
alumnos que inician sus estudios profesionales
en las carreras de matemticas, ingeniera y
ciencias, mientras que los ltimos contienen
algunos temas ms difciles. A fin de dejar el
mayor espacio posible para los problemas, los
textos explicativos y tericos se redujeron a lo
indispensable; tambin se cuid de presentar en
cada libro slo los temas que pudieran cubrirse
completamente.
Los libros se han escrito para usarlos

como complemento de los cursos impartidos
con textos convencionales. Son de gran utilidad
para el estudiante, porque le ayudan a entender
los problemas planteados en clase y adquirir
prctica al resolver los problemas con respues
tas que se agregaron con este propsito.
www.FreeLibros.org
CALCULO DE VARIAS VARIABLES
www.FreeLibros.org
El original ingls de esta obra se public
como el Volumen 2 de la coleccin
PROBLEM SOLVERS
cargo de L. Marder, Profesor Titular de Matemticas

de la Universidad de Southampton, Inglaterra.
SERIE.
SELECCION DE PROBLEMAS RESUELTOS
LIMUSA
www.FreeLibros.org
CALCULO
DE VARIAS
VARIABLES
Volumen 2
L. MARDER,
P rofesor Titular d e M atem ticas,
Universidad de Southam pton,
Inglaterra.
E D I T O R I A L LI M S A
MEXICO 19 7 4
www.FreeLibros.org
Ttulo de la obra en ingls:
CALCULUS OF SEVERAL VARIABLES
George Alien & Unwin Ltd, 1971
Versin espaola:
RICARDO VINOS
Revisin:
JOS HERNAN PREZ CASTELLANOS
Ingeniero Industrial
Profesor Titular de Matemticas de la
Escuela Superior de Ingeniera Mecnica
y Elctrica del Instituto Politcnico
Nacional de Mxico.
Derechos reservados en lengua espaola,

1974, EDITORIAL LIMUSA, S. A.
Arcos de Beln 75, Mxico 1, D. F.
Miembro de la Cmara Nacional de la
Industria Editorial, Registro Nm. 121.
Primera edicin: 1974
Im preso en M x ico
(878)
www.FreeLibros.org
C o n te n id o
CAPITULO 1. DERIVACION PARCIAL
1.1 Definiciones, 7
1.2 Derivadas parciales, 10
1.3 Funciones compuestas; la regla de la cadena, 15
1.4 Diferenciales, 25
CAPITULO 2. JACOBIANOS Y TRANSFORMACIONES 33
2.1 Funciones implcitas y jacobianos, 33

2.2 Dependencia funcional, 38
2.3 Propiedades de los jacobianos, 42
2.4 Transformaciones, 44
CAPITULO 3. EL TEOREMA DE TAYLOR Y

SUS APLICACIONES 53
3.1 El teorema de Taylor en dos variables, 53

3.2 Mximos y mnimos, 58
3.3 Restricciones; multiplicadores
indeterminados, 67
3.4 Envolventes, 70
www.FreeLibros.org
5
6 / contenido
CAPITULO 4. INTEGRALES MULTIPLES 75
4.1 Integrales dobles y repetidas, 75

4.2 Transformaciones de las integrales dobles, 81
4.3 Integrales triples, 86
4.4 Transformaciones de las integrales triples, 89
CAPITULO 5. INTEGRALES DE LINEA Y

DE SUPERFICIE 97
5.1 Integrales de lnea, 97

5.2 El teorema de Green en el plano, 104
5.3 Integrales de superficie, 107
RESPUESTAS A LOS EJERCICIOS 117
INDICE 121
www.FreeLibros.org
CAPITULO 1
D e riv a c i n p a r c ia l
1.1 Definiciones Un conjunto es cualquier coleccin de objetos

definidos por alguna propiedad; los objetos se llaman miembros o
elementos del conjunto. Denotaremos por R el conjunto de los n
meros reales, el cual podemos considerar como el conjunto de los
puntos sobre una recta (el eje real). Llamamos intervalo cerrado a
un conjunto de nmeros reales x que satisfacen la relacin a ^ x ^ b ;
si la relacin es a < x < b obtenemos un intervalo abierto. Si c es un
nmero real cualquiera, el conjunto de puntos sobre el eje real cuya
distancia euclidiana desde c es menor que 8, donde 8 > 0, se llama
vecindad de c, es decir, la relacin \x c\ < 8 define una vecindad
de c.
Denotaremos por R 2 el conjunto de pares de nmeros reales
(x, y ) , el cual podemos considerar como el conjunto de los puntos en
un plano. Una vecindad (circular) de (a, b) es un conjunto de
puntos, en el plano, cuya distancia euclidiana desde (a, b) es menor
que 8, donde 8 > 0, o sea, se define una vecindad de (a, b) mediante
una desigualdad (x a )2 + (y b )2 < 82. Un conjunto de puntos
es abierto cuando cada punto P en el conjunto posee una vecindad
totalmente contenida en el conjunto. Por ejemplo, el conjunto S : x? +
+ y2 < 1 es abierto, pero el conjunto T : x2 + y2 ^ 1 no lo es, debido
a que las vecindades de los puntos x2 + y2 = 1 contienen puntos que
no pertenecen a T. En un conjunto, un punto frontera se caracteriza
por la condicin de que todas sus vecindades contienen puntos que
pertenecen y puntos que no pertenecen al conjunto. Los puntos para
los cuales x2 + y2 = 1 son puntos frontera tanto de T como de S.
Un conjunto como T, que contiene todos sus puntos frontera, es
cerrado.
www.FreeLibros.org
7
8 / Derivacin parcial
Por regin entenderemos un conjunto abierto o un conjunto

abierto con algunos o todos sus puntos frontera. (Comnmente se
refuerza esta definicin diciendo que una regin no puede consistir de
partes ajenas.)
Una funcin es una regla de correspondencia entre dos conjuntos
que asocia uno o ms elementos del segundo conjunto con cada uno
de los miembros del primero. Si el primer conjunto es R2 y el segundo
es R, entonces cada pr de nmeros reales (x, y) se asocia con
uno o ms nmeros reales, F{x, y). Cuando z = F{x, y) tiene preci
samente un valor para cada par (x, y), entonces decimos que la
regla (y tambin el valor, F(x, y), lo cual no deja de ser un poco
ambiguo) es una funcin de valor nico de las variables x y y. Por
ejemplo, z = x2 + y2 representa una funcin de valor nico, mientras
que z2 = |* + y|es una funcin de valores mltiples, pues a los valo
res de a: y y cuya suma es distinta de cero corresponden ms de un
valor de z. En condiciones normales, entenderemos por la palabra
funcin una regla de valor nico.
Llamaremos aqu variables independientes a las variables x, y,
y z ser la variable dependiente. Los puntos {x, y) para los cuales
F(x, y) est definida constituyen el dominio de definicin de la fun
cin; por ejemplo, si F(x, y) = x2 + y2, el dominio de definicin es
todo el plano xy; en cambio, si F (x, y) = y ( x y), el dominio de
definicin es la regin x ^ y. Podemos identificar un punto en el
espacio tridimensional con cada combinacin posible de los valores
(x, y, z ), mediante un sistema de coordenadas cartesianas rectangu
lares Oxyz. En general, esta representacin grfica de una funcin de
dos variables crea una superficie.
Supongamos que F(x, y) es una funcin definida en una vecindad
de (a, b), con la posible salvedad del mismo (a, b). Si podemos
aproximar F(x, y) tanto como se quiera a un valor definido l con
tan slo escoger pimos (x, y) suficientemente prximos a (a, b)
pero no en (a, b )), entonces decimos que F(x, y) tiende al lmite l
cuando {x, y) tiende a {a, b). Reviste importancia que l no dependa
de la direccin de (x, y) respecto de (a, b). Con ms formalidad,
escribimos
lm F(x, y) = l,
si, para cualquier nmero e > 0, existe un nmero 8 > 0 tal que
|F(*,y) 1\ < e siempre que 0 < (x a)2+ (y b)2 < 82.
www.FreeLibros.org
Definiciones / 9
Se dice que la funcin es continua en (a, b) cuando est definida.

en este punto y cuando F(a, b) = l. Por ejemplo, la funcin cuyo
valor es cero en todos los puntos menos en (0, 0), donde tiene
el valor 1, posee un lmite cuando (x, y) tiende a (0, 0). Empero
tal lmite es cero, no 1, as que la funcin es discontinua all, por
que F(0, 0) ^ 0.
Muchos teoremas importantes se aplican a funciones continuas en
todos los puntos de una regin. La suma, producto, cociente, etc.,
de dos funciones continuas son todos continuos, con la suposicin,
para los cocientes, de no anularse el denominador. Las funciones
compuestas formadas exclusivamente de funciones continuas, tambin
son continuas y as sucesivamente. Estos teoremas son generalizaciones
de resultados en el clculo de una variable; los enunciados precisos
pueden encontrarse en casi todos los textos sobre clculo avanzado.
Problema 1.1 Si
x2(x + y ) x2- y 2+ 2x3

f ( x>y) ^ x2+, y 2
2 > s ( x>y) = x2+ y2
cuando (x, y) ^ (0, 0), demostrar que, en (0, 0) : (i) / es continua

si /(0, 0) = 0; (ii) g no es continua, al margen del modo en que se
defina g(0, 0).
Solucin, (i) Supongamos que x y y no son simultneamente
cero. Gomo x2 ^ x2 + y2,
I/(*> y) I = x +y
I*+yKI*l+ bl-
Por lo tanto, si e > 0, tenemos que |/(#, y) 0| < e cuando tanto
|x| < -Je como b l< ie- Esto se cumple, sin duda, cuando 0 < x2 + y2
< S2, donde S = e. Por lo tanto, f(x, y) tiende hacia cero cuando
(x, y) tiende hacia (0, 0), de modo que / es continua en este punto,
siempre y cuando definamos /(0, 0) = 0 .
(ii) Supongamos que g {0, 0) = /. Si g fuese continua en (0, 0),
entonces g(x, y) debera aproximarse al valor de l al tender {x, y)
a (0, 0) a lo largo de cualquier recta. Pero en y = 0, g = + 2x
(x = 0 ), lo cual tiende a 1 cuando x se aproxima a cero; en cambio,
en x 0, g = 1 (y ^ 0). El primer resultado requiere que 1 = 1 ,
pero el segundo que l = 1. Siendo incompatibles ambos, deducimos
que g no puede ser continua en el punto citado.
www.FreeLibros.org
1.2 Derivadas pareiales Sea z = /(* , y) una funcin (real) de

las variables independientes (reales) * y y. Si mantenemos y en el
valor constante y1; entonces podremos considerar z como funcin de
x. Si existe la derivada de z = f{x, y i) con respecto a x en x = xly
la llamamos derivada parcial de f con respecto a x en el punto
(xi, y i). Esto se denota por los diversos smbolos
l
d
dx (*1, 1/1)>
, te
T
dx (*1, t/i)
, fx{xu yx), zx(x1} yx).
Definimos de manera semejante la derivada parcial con respecto a y.

En forma explcita, en (x, y*), ponemos
3/ ,, f(xi + h,y1) - f ( x 1,y 1)

= lim , (1.1)
ox 7i_k, n
3/ ,, f { x i , y i + k ) - f ( x u yi)
lm -------------------------------- , (1.2)
3y k
cuando existen tales lmites.
Problema 1.2 Si f(x, y) - x2y3 2y2, encontrar los valores de

(i) U(x, y ), (ii) fv{x, y), (iii) fx{ 2, 1), (iv) / ( - 2 , 1).
Solucin, (i) Al considerar y como constante, derivamos con
respecto a x, obteniendo
fx(x,y) = 2x f .
(ii) Consideramos x como constante y derivamos con respecto

a y:
fv(*>V) = 3x2y2 4y.
Al tomar x 2, y = 1, obtenemos
(iii) 2, 1) = 2( 2) ( l ) 3 = 4.
(iv) /,( 2, 1) = 3( 2 )2(1 )24(1) = 8 .
Problema 1.3 Demostrar que z = eos (x + y) es una solucin de

la ecuacin diferencial parcial
www.FreeLibros.org
Derivadas parciales / 11
Encontrar una ecuacin diferencial parcial que sea satisfecha, cuando

z = eos xy.
Solucin. En el caso de z = eos (* + y), tenemos:
dz d
= - cos(x-t-y) = sen(*+y),
dx dx
dz
: cos(x+y) = sen(x+y),
dy dy
de donde
dz dz
(1.4)
dx dy
Si z = eos xy,
dz/dx = y sen xy, dz/dy = x sen xy,

as que
dz dz
x y = 0,
dx dy
la cual es una ecuacin diferencial parcial en z (es decir, una ecua

cin en donde intervienen las derivadas parciales de z).
Observe el lector que se cumple (1.3) cuando z es una funcin
arbitraria de x + y y que (1.4) se satisface cuando z es una fun
cin arbitraria de xy. Q
Problema 1.4 Interpretar, desde el punto de vista geomtrico, las
derivadas parciales dz/dx, dz/dy, donde z = f{x ,y ).
Solucin. Considrese la superficie S cuyas coordenadas carte
sianas rectangulares satisfacen la ecuacin z = f(x, y), donde toma
mos el eje de las z vertical y dirigido hacia arriba (figura 1.1).
La altura de esta superficie medida desde cualquier punto (x3 yi)
en el plano z = 0 es f(xi, yx) , y su valor puede ser positivo o nega
tivo. Sea P el punto (xi, y1} f(x 1} yt) ), situado en la curva plana
vertical donde el plano y = y2 se intersec^con S. La pendiente de la
tangente PQ a esta curva, en P y en la direccin en que crece x es
(dz/dx)
De la misma manera, la derivada parcial dz/dy en (x1} yx) es la
pendiente de la tangente PR, en P y en la direccin en que crece y,
a la curva plana vertical, interseccin del plano vertical x = xx y S.

www.FreeLibros.org
Figura 1.1
Problema 1.5 Si
f(x ^ = U y / i ^ + f ) , (*,y).= (0,0),
n*>y> (O, (x,y) = (0,0),
demostrar que / no es continua en (0, 0), pero que tanto fx como

fy existen en el punto en cuestin.
Solucin. A lo largo de la recta x = cy, (c ^ 0 ),
cy
c2y2+ y3 c2+ y'
siempre y cuando y^ 0. Por consiguiente, cuando el punto (x, y)

se aproxima a (0, 0) a lo largo de esta recta, f(x, y) tiende al valor
l/c. Como este valor depende de c, f(x, y) no tiende a un lmite
nico cuando (x, y) tiende a (0, 0) (en cualquier direccin) y, por
lo tanto, no es continua en este punto.
En casos como ste, no conviene derivar la frmula correspon
diente a / en un punto general y sustituir despus los valores x = 0,
y = 0. En cambio, trabajamos directamente con las definiciones
(1.1) y (1.2):
7l-y0 h h-*0 h
r /(O, *) - / ( 0 , 0) 0 -0
fy(0, 0) = lun = lim------- = 0,
lo cual demuestra que existen tanto fx como / en (0, 0), y cada una
vale cero.
www.FreeLibros.org
Derivadas parciales / 13
Problema 1.6 Si x = r eos 6 y y = r sen 6, encontrar dx/dr y

dr/dx. Por qu no se tiene idnticamente que
dx dr
= 1?
dr dx
Solucin. Si consideramos r y 0 como las variables independien

tes y derivamos la ecuacin x r eos 6 con respecto a r (con 0
constante), obtenemos
dx/dr = eos 6. (1.5)
La forma de notacin dr/dx es imprecisa, pues indica que x debe

considerarse como una de las variables independientes pero no spe-
cifica la otra, es decir, no queda claramente establecido cul debe
considerarse constante cuando se deriva. Si se supone que * y y
deben conservar la misma calidad en la segunda parte del problema,
entonces stas sern las variables independientes, y las dependientes
sern r y 6. Al resolver las relaciones dadas, obtenemos
r (x2+ y2) 1/2, 6 = tan-1(y/x). (1-6)
Derivando la primera de las expresiones de (1.6) conrespecto a x,

manteniendo y constante (como indica la notacinsiguiente):
( ) = x(x2+ y 2)~1/2 = - = eos 0. (1-7)

\dx/v r
Podemos escribir el producto de las ecuaciones (1.5) y (1.7) como
(B e)
\ d r j e \ dx / y
lo cual no es idnticamente igual a 1. Esto era previsible, pues se

mantuvieron como constantes variables diferentes al llevar a cabo las
derivaciones sobre los miembros de la izquierda.
Cuando f(x, y) posee derivadas parciales fx y fy en alguna regin,

stas sern funciones de x y y, de modo que pueden tener, a su vez,
derivadas parciales con respecto a x y y, las cuales se conocen como
segundas derivadas parciales de /, y se denotan por
www.FreeLibros.org
a2/ _ a (d f\ 32/ _ 0 /df\

dx2 dx \dx/ dxdy d x \ d x )
i = i = ^ L = l f K s\
V* dydx d y\ d y) W dy2 dy\dyj
Problema 1.7 Encontrar las segundas derivadas parciales de la

funcin f(x, y) = xsy + exy.
Solucin. Tenemos
fx 3x2y+ yexv, / = x3+ xexy.
Por lo tanto, al derivar de acuerdo con las frmulas anteriores, ob

tenemos
fxx 6xy+ y2^ , fxy = 3x2+ exy + xyexy,
fyx = 3x2+ exy+xyexy, fw = x2exy.
Observe el lector que fxy = fyx. Esto no es cierto para toda fun
cin f(x, y), pero la relacin se cumple, en particular, cuando los
dos miembros existen y son continuos en las inmediaciones del punto
en cuestin, lo cual suele verificarse en casi todas las aplicaciones
prcticas.
Problema 1.8 Si f(x, y) = x2^ /(x2 + y2), (x, y) ^ ( 0 , 0 ) , de

mostrar que
(i) xfx+yfy = 2/,

() x 2fxx + 2xyfxV+ f f y = 2/.
Solucin, (i) Encontramos con facilidad que
0
fx = 2xy2{x2+ lf ) ~ 1+ x2y2 (x2+ y 2)~1 = 2xyt(x2+ f ) ~ 2,
dx
y, por simetra,
fy = 2xiy(z2+ f ) ~ 2,
de donde
2x2f ( y 2+ x2)
xfx+yfy = ---- -------- = 2f. (1.8)
/V (x2+ y2) 2 1 K '
www.FreeLibros.org
Funciones compuestas: la regla de la cadena / 15
(ii) Al derivar parcialmente (1.8) con respecto a x y despus

con respecto a y obtenemos
xfxx d"fx d"yfxv = 2fxj

xfyx~^~fy^yfyy = 2fv.
Multiplicando la primera igualdad por * y la segunda por y, su

mando y aplicando la relacin = fyx, obtenemos:
X!fxx+2xyfxv+ y2fm = xfx+ yfy = 2/,

para (i).
Definimos las derivadas parciales de orden superior como exten

sin natural de las segundas derivadas. Por ejemplo,
0 0
/asra ~ (/aw)j fym ifxy), etc.
dx dy
En condiciones adecuadas, no importa el orden de diferenciacin,

as que podemos escribir los subndices en cualquier orden.
1.3 Funciones compuestas; la regla de la cadena
Problema 1.9 Si / y g son funciones arbitrarias de una variable,

demostrar que
z f ( x - c t ) + g (x + c ),
donde c es una constante, es una solucin de la ecuacin de onda
d2z _ 1 d2z
~dx2 ~ ~c* W
Solucin. Sean u = x ct, v = x + ct. Si mantenemos cons

tante y aplicamos un procedimiento estndar para derivar funciones
compuestas de una variable,
www.FreeLibros.org
donde el apstrofo denota la derivacin de una funcin con, respecto

a su argumento. Por lo tanto,
d2z du dv
- r j = / " ( ) - r - + g " ( v) t - = /" ( ) + " ( ) (1-9)
dx dx dx
De la misma manera, si mantenemos x constante,
= -c f'{u )+ c g '(v ) ,
- ( ~ c ) T ( u ) + ( c ) 2g " ( v ) , ( 1. 10)
as que, por (1.9), (1.10), concluimos que
d2z _ 1 d2z _
Hx2 ~ c* W ~

En general, si w = f{x, y), donde x y y son funciones de las
variables independientes r y s, entonces w es una funcin de r y s.
Vamos a denotar por d/dr la derivacin con respecto a r, donde s es
constante, y por 3/3s la derivacin con respecto a s, donde r es cons
tante. Como antes, la notacin d/dx y 3/3y significa que y y x son,
respectivamente, constantes al derivar. La regla de la cadena de la
derivacin parcial afirma que
3w dw dx 3w dy
dr dx 3r dy 3r
dw dw dx dw dy
3s dx ds dy 3s
Si w = f(x, y, , . . . ) , donde x = x{r, s, t, . . . ) , y y(r, s,

t, . . . ) , z = z{r, s, t, . . .), etc., entonces la regla correspondiente es
www.FreeLibros.org
dw dw dx dw dy 3w 3z
3r dx 3r 3y 3r 3z 3r
dw dw dx dw dy dw dz
_ = , + . + + ,
ds dx ds dy 35 3z ds
dw dw dx dw dy dw dz
_____ _|_ __ -j- .. -J- * etc
dt dx dt dy dt dz dt
Aqu suponemos que los nmeros de variables x, y, z, . . . y r , , , . . .

son finitos, aunque no necesariamente iguales.
Problema 1.10 Sea w = f(x, y) = exlx~y), donde x = 2f eos t,

y = 2t sen t. Encontrar dw/dt cuando t = -k.
Solucin. Podemos sustituir x y y en trminos de t y derivar, o

bien podemos aplicar la regla de la cadena, con lo cual obtenemos
(ya que w es funcin compuesta tan slo de t ) :
dw 3/ dx df dy
dt dx dt dy dt
= (2^j')ea,(*^!/)(2 cos 2sen) -x e * (*-J|') (2sen + 2 cos).
Cuando = ir, x 2ir, y = 0, as que
dw/dt = (-4 7 r )^ r2( - 2 ) - ( - 2 7 r ) ^ ( - 2 x ) =4W( 2 - ) W*.

Problem a 1.11 Si x = p eos 6, y = p sen 6, (siendo p, 0 coorde
nadas polares en el plano y x, y coordenadas rectangulares), demos
trar que la ecuacin de Laplace para V(x, y),
d2v d2v
+ = o,
dx2 d f
equivale a
d2V 1 dV 1 d2v
+ -------- + = 0.
dp2 p dp p2 d02
Solucin. Primer mtodo. Tenemos:
www.FreeLibros.org
dV dV 3a; d v dy dV dV ,
= ----------+ ----------- = eos t ----- + sen 9 -----, (1.11)
dp dx dp dy dp dx dy
dv dVdx dvdy dv dv ,
= ---------- + ----------= p sen---9 --- + p eos 9 ----- . (1.12)
d9 dx d9 dy d9 ^ dx F dy
Por lo tanto, podemos reemplazar d/dp y d/d9 por las operaciones

equivalentes:
0 0 0
= eos 9 + sent , (1.13)
dp dx dy
0 0 0
= -p s e n t + peost . (1.14)
0t dx dy
Por (1.11),
d2V 0 / dV 0F\
- = I eos t + sen t )
dp dp \ dx dy J
d /dv\ dv d ,
= eos 9 ( ) + (eos 9)
dp\dxj dx dp
d /dV\ dV 0
+ sm e T A ^ ) + ^ ^ { me)- (u5)
Aplicamos ahora (1.13) a fin de reemplazar d/dp tan slo en los tr
minos primero y tercero; en los otros dos trminos podemos derivar
directamente con respecto a p. (En efecto, como p y t son variables
independientes, tenemos que (d/dp) eos t = 0, (d/dp) sen t = 0.)
Por lo tanto,
d2V / 0 0 \
= eos t ( eos t h sen t I
dp* \ dx dy J
dV + sen t
. (( eos t n d \ dV
+ sen t ----
dx \ dx dy ) dy
d2V d2V d2V .........
= eos2t h 2 sen t eos t + sen2 t , (1*16)
dx2 dxdy dy2
pues d2Vdxdy = d2Vjdydx. De la misma manera,
d2V d( dV 0F\
= I p sen t + p eost .
d92 d$\ F dx P dyj
www.FreeLibros.org
Pero
0 0
( p s e n d ) = p eos#, (p eos 0 ) = p se n 0 ,
00 00
y de acuerdo con el procedimiento adoptado en (1.15) obtenemos,

al aplicar (1.14),
d*V ( 0 8 \ dV dV
= p sen 0 ( p sen 0 ----- + p eos 0 -----) p eos 0 -----
002 V dx d y ) dx 0*
/ 0 0 \ dV dV
+ p eos 0 ( p sen 0 ----- + p eos0 1- p sen 0 ----
\ dx dy J dy dy
( d2V d2V d2V\
= p2 ( sen2 0 --------2 sen 0 eos 0 ------ + eos20 ----- )
\ 0at2 dxdy df J
( ?>V
peos 0 ---- + sen 0 ). (1-17)
\ dx dyJ
Por (1.11), (1.15),
d2V ld V 1 d2V 02F d2V ......

+ + = + (1.18)
dp2 p dp p2 002 dx2 df
de donde se deduce el resultado requerido.
Segundomtodo. Tanto si invertimos las ecuacionesx = p eos 0,

y = p sen0,para obtener p (x2 + y2) ^ 0 = tan-1(y/x), como si
resolvemos (1.13), (1.14), encontramos que
0
= cos0
0 1 0 0
sen 0 , = sen0 + - eos 0 . (1.19)
0 1 0
0* dp p d dy dp p 00
Al aplicar sucesivamente cada uno de estos operadores a V, podemos

obtener expresiones para d2Vdx2 y d2V d f en trminos de p, 0 y
las derivadas de V (hasta de segundo orden) con respecto a estas
variables. Al sumar las dos expresiones as obtenidas, llegamos, des
pus de algunas reducciones, al primer miembro de (1.18), de donde
nuevamente se deduce el resultado que se busca. El lector debe veri
ficar los pormenores de lo dicho.
www.FreeLibros.org
Observe el lector que es mejor no confiar en invertir relaciones

dadas en problemas de este tipo; esto no siempre puede hacerse.
Es preferible usar (1.13), (1.14) para deducir (1.19). En el siguiente
problema se ofrece otro ejemplo del mtodo. 0
Problem a 1.12 Si x = u2 y2, y = 2uv, encontrar du/dx, dv/dx,

du/dy, dv/dy. Si / = f(x, y), expresar (df/dx)2 + (df/dy)2 en trmi
nos de las derivadas parciales con respecto a u y v,
Solucin. De acuerdo con la regla de la cadena, si g(x, y) es
cualquier funcin,
9g dg du dg dv
= , (1.20)
dx du dx dv dx
dg dg du dg dv
_* = j L _ + _ f _ . (1.21)
9y du dy dv 9y
En particular, cuando g = x, encontramos, a partir de las relaciones

dadas, que
. du dv
1 = 2u 2v ,
dx dx
du dv
0 = 2u -------2v ,
dy dy
De la misma manera, cuando g = y,
du dv
0 = 2v + 2 u ,
dx dx
du dv
1 = 2v + 2u .
dy dy
Resolviendo las ltimas cuatro ecuaciones,
du u dv v
dx 2(u2+ v 2) ' dx 2 (u2+ v2)
du v dv u
dy 2(u2+ v2) dy 2{u2+ v2)
www.FreeLibros.org
Sustituyendo estos valores a i (1.20) y (1.21), y sustituyendo g

p o r/:
3/ 1 / 3 / 3f\
= ----- I u v , (1-22)
dx 2(u2+ v2) V Su 0u/
3/
- .L ^ .L E + A ( , 23)
0y 2(u2+ u 2) V 3 3y/
de donde
\dxj \dyj 4 (u 2+ u2) L \ 0u/ \ 0V J
Problema 1.13 Con la misma notacin del ltimo problema, en

contrar d2f/dxdy en trminos de las derivadas de / con respecto a
u y v, cuando u = 2, v = 1.
Solucin. De (1.22) se deduce que
0 1 / 0 0\
I u y I.
dx 2 (u2+ V 2) \ 01 0U/
y aplicando este operador a (1.23), se tiene, cuando u = 2, z; = 1,
02/
0x9y 10 \ 9u 0u/ l 2( u2+ u2) \ 0u 0U/J
20 L\ 0 / u2+ v2J \0u 0u /
+ J -(, ) ( , + ,* ) .
100 V 3v j \ du dv J
Observe el lector que hemos reemplazado u por 1 y o por 2 tan slo

en las funciones de u y v que an no se han derivado.
Llevamos a cabo las derivaciones, sin olvidar que u y v son las
variables independientes, para encontrar:
www.FreeLibros.org
d2f _ i r - 4 + 2 gy a/ a/\
dxdy 20 l_(M2+ y2) 2J \0w dv )
i r a2/ a2/ 0/ a2/ 0/ 0 2/ i
+ ---- 2 w + 2 u ------ + 2 t------
100 L 3t2 dvdu du dudv dv 3z;2J
1 / 02/ 02/ 02/ 0/ 0/\
( 10 + 1 5 - 1 0 - 1 1 - 2 1.
500 \ du2 dudv dv2 du dvJ
Problema 1.14 Encontrar la solucin general de la ecuacin de

onda para z(x, t) :
------- -----------= 0. (1.24)
dx2 c2 dt2
Solucin.Denotemos por dx, dv las derivadas d/dx, d/dy, y

pongamos u = x + ct, v = x ct. (Esta sustitucin se sugiere a
partir del problema 1.9.) Entonces, con el mtodo de los problemas
anteriores, tenemos:
dx Udy i Vgdjj 0a 4* 0,
dt t0 4" Vtdx ~ c(du 3^),
as que, con una notacin obvia para las segundas derivadas,
3* (3 4- dv ) (0U4- 0) = 0UU 4- 23 4- 3
''Ws
3tt (du ~ 3r) (du~dv) = 3 ~ 23 4- 3CT.

c2
Si restamos, podemos escribir (1.24) como
d2z/du dv = 0.
La integracin con respecto a u, considerando v como constante,

da
dz/dv = F (v),
donde F es una funcin arbitraria. A continuacin, integramos con

respecto a v. para obtener
z = S F(v) do + /()
www.FreeLibros.org
donde / es arbitraria. Por lo tanto, si ponemos g(v) en lugar de la

integral indefinida de la ltima ecuacin, habremos obtenido la so
lucin general de (1.24), en la cual intervienen dos funciones arbi
trarias / y g:
z = f(x + ct) + g ( x ct). O
Problema 1.15 Encontrar la solucin de la ecuacin de onda

esfrica para z(r, t) :
d2z 2 dz 1 d2z
+ ------- = 0, (1.25)
3r2 r dr c 2 di2
de modo que z = r 1 sen r y dz/dt = 0 cuando t = 0.
Solucin. Como
drr(rz) = dr ( r z r + z) = rz + 2Zr,
dt(rz) = dt(rzt) = rztt,
encontramos que, al multiplicar por r, podemos dar a (1.25) la

forma
[3rr- (l/c 2)'0tt](rz) = 0.
De acuerdo con el problema anterior, la solucin general de esta

ecuacin es
rz = f(r + c t) + g ( r - c t ) (1.26)
donde f y g son arbitrarias. Aplicamos las condiciones dadas en

t = 0, para obtener
(2) (t=o) = r-x sen r = r-x\j(r) + g (r)]

es decir,
f(r) + g(r) = senr, (1.27)
y
(3*2) (=o> = 0 = r~x [f'(r + ct) (c) + g '( r - c t ) ( - c ) ] (t=o)
o sea,
f ( r ) ~ g , (r) = 0 , (1.28)
al derivar (1.26), donde el apstrofo denota la derivacin de una

funcin con respecto a su argumento.
www.FreeLibros.org
Observe el lector que en (1.28) no interviene t y las derivadas

son ordinarias, no parciales. En consecuencia, podemos integrar para
obtener
i r) ~Sr) A const. (1-29)
Por (1.27), (1.29)
f i r) = |(senr+^4), g(r) = (sen r - A ) ,
y, por lo tanto, la solucin que buscamos es, por (1.26),
z r-1[f(r + ct) + g (r ct)]

= ^[sen(r + c) +sen(rct)].
Si la funcin f(x, y, z, .. .) tiene la propiedad siguiente:
f(tx, ty, tz, . . . ) = tnf{x, y, z, . . . ) ,
para valores generales de t, decimos que es homognea de grado n.

Por ejemplo,
f(x ,y ,z ) = (*3+ 3*y2xz2)/z
es homognea de grado 2, porque, si t= 0,
f(tx,ty,tz) = [(tx )3+ 3(tx) {ty)2(tx) (tz)2]/tz

= t2(x3+ 3xy2xz2)/z = t2f(x ,y ,z ).
Problema 1.16 Demostrar el teorema de Euler: si f(x, y, z, . . . )

es homognea de grado n, entonces
0/ 0/ 0/
* 7 + 7 7 + 7 7 + -= n /- (1-30)
dx dy dz
Verificar el resultado en el caso en que f(x ,y ,z ) = ix3 + yz2 xyz.

Solucin. Sean X = tx, Y = ty, Z = tz, . . . . Entonces, por hi
ptesis,
f( X ,Y ,Z ,...) = t " f{ x ,y ,z ,...).
Derivamos cada miembro con respecto a , para obtener
dX dY dZ
+ /ri r + u ~ r+
www.FreeLibros.org
Diferenciales / 25
es decir
xfx + yfv + z fz + = fitn-1f(x, y,z, . . . ) , (1.31)
donde fx = (d/dX)f(X, Y, Z, . . . ) , etc.

A continuacin, pongamos t = 1, con lo cual X = x, Y = y,
Z = z, y obtenemos, a partir de (1.31),
xfx + yfy + zfa + = nf,
que es el resultado requerido.

La funcin dada es claramente homognea de grado 3. Por
clculo directo,
xfx+yfy + zfz = x(6x2yz) + y (z 2xz) +z(2yzxy)

= 6x33xyz+3yz2 3/,
lo cual queramos demostrar. Q

En una generalizacin del teorema de Euler se afirma que (ver
problema 1.8):
{x % + f)y + - - ) mf{x,y, . . . ) = n ( n - l ) . . . (n - m + ) f ( x , y , . . . ) ,
cuando m n.
1.4 Diferenciales Sea P el punto (xt, yx) y sea Q el punto

(*i + Ax, yx + Ay), donde Ax y Ay son respectivamente incremen
tos en x y y. Sea R un punto variable (xx + t Ax, yx + t Ay) sobre
la recta PQ, donde t es un parmetro. Si P y Q son puntos fijos,
entonces, para cualquier funcin f(x, y),
F(t) = / ( * i + t Ax, yx + t Ay) (1-32)
es funcin tan slo de t. En virtud de un teorema del valor medio

del clculo de una variable, si existe la derivada de F en 0 ^ i ^ 1,
entonces
F( 1) - F ( 0 ) = F '(k ),
donde k es algn nmero con la propiedad de que 0 < k < 1. Esta

cantidad representa el incremento Af en / entre P y Q, y derivando
(1.32) obtenemos
Af = ft (xx+ k Ax, yx+ k Ay)Ax + fv(xx+ k Ax, yx+ k Ay) Ay,
www.FreeLibros.org
siempre y cuando estas derivadas existan. Si, adems, son continuas,

podemos escribir esta ltima ecuacin como
A/ = (fx+ e i)A x + (fv+ e2)Ay,
donde ahora evaluamos las derivadas parciales en (xi, y*), y ei y e2

tienden ambos hacia cero cuando Ax y Ay tienden hacia cero.
La fiarte principal de este incremento es
df = fx Ax + fy Ay,
y, cuando Ax y Ay tienen valores pequeos, df es aproximadamente

igual a Af. df se llama diferencial de /, y cuando se usan los incre
mentos Ax y Ay en este contexto se denotan respectivamente por dx
y dy. Por lo tanto,
df = fxdx + fydy. (1.33)
Esta frmula es vlida aun cuando x y y no sean las variables inde

pendientes, entonces se cambian ligeramente los significados de dx
y dy (pues se convierten en partes principales). Por ejemplo, si
x = x(u, v), y = y(u, v), donde u y v son las variables indepen
dientes, entonces, en correspondencia con las diferenciales du, dv en
u, v, tenemos
dx xudu + xv dv, dy = yudu + yvdv, df = fudu + fvdv.
que satisfacen (1.33), porque
fxXu4" fyy ~ fu, fxXy 4fvyv = fv.
Las generalizaciones a funciones de ms de dos variables son

inmediatas.
Problema 1.17 (i) Encontrar df cuando f(x, y) = x2e2v eos xy;

(ii) encontrar g(x, y) de modo que
dg = [2y2(sen*4-xcos*) ye**] dx4- (4xy sen x xe**4- 2y) dy. (1.34)
Solucin, (i) Por (1.33),
df --- e'y[2x eos xy -Fx2( y) sen xy]

dx4-x2[2e'veosxy + e2v( x ) sen xy] dy
= xe2v[ (2 eos xy xy sen xy) d x+ x(2 eos xyx sen xy) dy].
www.FreeLibros.org
Diferenciales / 27
(ii) Si existe una funcin g(x, y) con la propiedad citada, enton

ces, al comparar (1.34) con (1.33) (con g en lugar de /) , veremos
que g debe satisfacer las condiciones
gx = 2y2(senx + xcosx) ye, (1.35)

gy - 4xy sen x xe*+ 2y. (1.36)
Integramos (1.35) con respecto a x, manteniendo y constante, y ob

tenemos
g 2y2xsenx e+ h(y),
donde la funcin h debe determinarse. Al sustituir en (1.36):
gy = 4xy sen x xe+h'(y) = 4xy sen x xe+2y,
de donde se tiene que h'(y) 2y, es decir,
h(y ) = y2+ C,
donde C es una constante arbitraria. Por lo tanto,
g(x, y) = 2y2x sen x exy+ y 2+ C.
Problema 1.18 Demostrar que no existe funcin alguna (con se

gundas derivadas parciales que sean continuas) cuya diferencial sea
xy dx 4- 2x2 dy.
Solucin. Consideremos cualquier funcin f(x, y) con la dife

rencial
df = P (x,y)dx + Q (x,y)dy, (1-37)
donde P y Q son funciones dadas. Por (1.33), debemos tener:
/* ~ P> fv = >
Cuando / posee segundas derivadas parciales que son continuas, enton

ces fxy = fyx, de modo que
dP/dy = dQ/dx (1.38)
www.FreeLibros.org
es una condicin necesaria para que el segundo miembro.de (1.37)

sea la diferencial de alguna funcin /. En nuestro caso, P = xy,
Q = 2x2, y
Py = X , Qx = 2x,
o sea,
Py ^ Qa
(excepto cuando x 0) con lo cual queda demostrada la proposicin

del problema.
Cuando (1.37) es vlida para alguna fruicin f(x, y), se dice que
la expresin P dx + Q dy es una diferencial exacta. El resultado rec
proco del que acabamos de deducir es el siguiente: cuando se veri
fica (1.38) en toda una regin, la forma diferencial P dx + Q dy es
exacta (aunque quiz / no sea de valor nico, a menos que la regin
sea simplemente conexa; vase la pg. 105).
Problema 1.19 Interpretar desde el punto de vista geomtrico A/

y df en el punto (*,, y-) para una funcin dada f(x, y ) .
Solucin. Consideremos la superficie S: z = f(x, y) referida a
los ejes cartesianos rectangulares Oxyz. Denotemos por P0 y (2o ls
puntos (xi, y-t) y (x, y2) (eligiendo arbitrariamente el segundo) en
el plano xy, y pongamos zx = f(xx, yi) , z2 = f(x 2, y2) , de modo que
los puntos P (x}i, yu zx), Q (x2, y2, z2) estn en S. Si dx = Ax x2
xx, dy = Ay y y1} el incremento correspondiente en / es
Af = z2zx = f{xx+Ax, yi + Ay) ~ f(xx,yi),
es decir, Af es el incremento en la altura de la superficie S desde el

punto (x, y), cuando ste va desde P0 hasta (2o-
Consideremos a continuacin el plano tangente a S en el punto
P(xx, yx, Zx), cuya ecuacin, siendo lineal en x, y, z, debe ser de la
forma
z Zx l{x Xx) + m (y yx). (1.39)
Por inspeccin, l es la pendiente de la recta de interseccin de este

plano y el plano vertical y = yx. La curva de interseccin de 5 y
el plano y yt debe tener la misma pendiente, l, en P, as que
l = fx(xx,yi), m = fv(xx,yx), (1.40)
(obteniendo el segundo resultado con un argumento semejante).
www.FreeLibros.org
Diferenciales / 29
Si sustituimos x, y por x2, y, entonces, por (1.40), el segundo

miembro de (1.39) se convierte en
fxdx + fydy, (1.41)
es decir, la diferencial df evaluada en (*,, y , ) . El primer miembro de

(1.39) se convierte en
z'2~ zi, (1-42)
donde z'2 es la altura vertical desde Q0 del plano tangente en P. Si

igualamos (1.41), (1.42), obtenemos
df = zf2Zi,
lo cual muestra que la diferencial df es el incremento en la altura del

plano tangente en P cuando el punto base (x, y) va desde P0
hasta Q0.
Adems, este resultado muestra que df y Af son casi iguales, cuando
los valores de dx y dy son pequeos. l~~l
Problema 1.20 Si f(x ,y ) = ex2y, encontrar un valor aproximado

para /(1.05, 0.97).
Solucin. Escribimos x = x0 + Ax, y = y< + Ay, donde x^ y y0
son arbitrarios. Si Ax y Ay son suficientemente pequeos, tenemos que,
aproximadamente,
f(x ,y ) ~ f( x 0,yo) = /*(*<,, y>) A *+ /(*0, y0) Ay.
Tomamos x0 = 1, y0 = 1, Ax = 0.05, Ay = 0.03. Entonces, f(x 0,y 0)

= e, y
fx{xO, yo) = 2x<)ex"v>= 2e,
fv(xo, yo) = xr<exv = e.
Por lo tanto, nuestro valor aproximado es
/(1.05,0.97) = e + 2e( (0.05) + e ( -0.03)
= 1.07* = 2.91.
En efecto, el valor exacto hasta cuatro cifras decimales es 2.9137.
www.FreeLibros.org
Podemos obtener una aproximacin mayor por medio del teore

ma de Taylor; vase el problema 3.4.
Problema 1.21 Si a, b, c son los lados de un tringulo, expresar

a en trminos de b, c y el ngulo opuesto A ; determinar la diferen
cial da. A continuacin, encontrar un valor aproximado para a cuan
do b = 4.10, c = 3.95, A = 62.
Solucin. Por la frmula del coseno,
a2 b2 + c2 2bccosA. (1.43)
Si tomamos diferenciales,
2ada = 2b db + 2c de 2c eos A db 2b eos A dc + 2bc sen A dA,
es decir,
da = cr ^ b c eos A )d b + (c b eos A)ds + bc sen A dA\. (1.44)
A fin de obtener la aproximacin que se desea, comenzamos con los

valores b = 4, c = 4, A 60, as que, por (1.43),
a2 = ( 4) 2+ ( 4 ) 22(4) (4) () = 16, es decir a 4
(lo cual tambin puede deducirse del hecho de que los valores
escogidos correspondan a un tringulo equiltero). A continuacin,
ponemos
Ab = db = 0.10, Ac = de = 0.05,
AA = d A = (62 - 60)rr/180 = tt/90
(radianes) y obtenemos una relacin aproximada a partir de (1.44),

cuando sustituimos da por Aa, lo cual conduce a
A = i [ 4 - 4 (|)](0.10) +{4 4 ( i ) ] ( 0.05) +4(4) ( V 3 ) (tt/90)

= (0.20-0.10+0.484) = 0.15,
hasta dos cifras decimales.

Por lo tanto, el valor aproximado para a es 4.15. En efecto, esto
concuerda con el valor exacto, calculado hasta dos cifras decimales.
www.FreeLibros.org
Ejercicios / 31
EJERCICIOS
1. Si f ( x ,.y) = x eos y + y sen xy, encontrar fx(x, y ), fv{x, y),

fxie(x, y), fxx(l, tt) , fxy(l> i 17)
2. Si f(x, y) = xy(x2 y2) /(x2 + y2) cuando (x, y) (0, 0) y

/(O, 0) = 0 , demostrar que / es continua en (0, 0 ). Demostrar, a
partir de las definiciones, que tanto fxy(0, 0) como fyx{0, 0) existen
pero tienen valores diferentes.
3. Si z = sen xy2 y x = t + e*, y te-1, encontrar dzdt y d?zdt2

cuando t = 1.
4. Si x eu eos v, y = eu sen v, encontrar du/dx, du/dy, dv/dx,

dv/dy, en trminos de * y y, (i) por el mtodo de eliminacin del
problema 1.12, (ii) por el mtodo de resolver primero para u y v.
Demostrar que, para una funcin arbitraria f(x, y) (continua y con
derivadas parciales continuas hasta de segundo orden),
5. Demostrar que z = f(x + ev) + g(x ev) es solucin de la

ecuacin
d2z d2z ^ 0z
dx2 dy2 dy
para / y g arbitrarias (con derivadas parciales de segundo orden con

tinuas). Encontrar una solucin con la propiedad de que z 0,
dz/dy = 1 + x cuando y = 0.
6. Demostrar que f(x, y) = V (*4 + y4) satisface la ecuacin
xfx+yfs = 2/,
(i) mediante el clculo de las derivadas parciales, (ii) por el teore

ma de Euler acerca de las funciones homogneas.
Demostrar tambin que
x2Ux+2xyfjV+ y 2fvy = 2/.
www.FreeLibros.org
7. (i) Demostrar que (x y + l )y d x + [(x y l ) * + y] dy no es una di

ferencial exacta, (ii) Encontrar una f(x, y) con la propiedad
df = y l ( l + x ) e x+v2 x]d x+ x^ (l+ y)ex+vx]dy.
8. Encontrar un valor aproximado, hasta dos cifras decimales para
ln[(0.97)^t-(0 .0 3 )e 0-52]
considerando la diferencial de l n[(lx )e1~vx^ en x = 0, y 0.5.
www.FreeLibros.org
CAPITULO 2
J a c o b ia n o s y tra n s fo rm a c io n e s
2.1 Funciones implcitas y jacobianos Guando tres variables x,

y, z estn relacionadas por una sola ecuacin de la forma
F {x ,y ,z ) = 0 (2.1)
normalmente podemos asignar valores a dos de ellas, por ejemplo

x y y, y entonces la tercera variable, z, queda determinada. Decimos
que (2.1) define z como funcin implcita de x y y.
Sin embargo, no toda ecuacin de esta forma define una de sus
variables (supuesta real) en funcin de las otras dos. Por ejemplo,
la ecuacin
*2 + y2 + z2 + l = 0
nunca se cumple cuando todas las variables toman valores reales.

Asimismo, la ecuacin
(* + y ) 2 + z2 - 1 = 0 (2.2)
define unaz realtan slo cuando {x + y ) 2 ^ 1, y en cada punto

que no seencuentresobre la frontera en este dominiode dependencia,
la funcin es de valores mltiples.
Cuando (2.1) define z como una funcin de x y y en una regin
R del plano xy, digamos z = f(x, y), entonces (2.1) se convierte en
una identidad en * y y, al sustituir z por /(#, y) . Por tanto, si F es la
funcin a la izquierda de (2.2), entonces, en la faja R cuya ecuacin
es |x + y| 1, tenemos
z = f(x ,y ) = V [ 1 - (* + y )2],
www.FreeLibros.org
33
34 / Jacobianos y transformaciones
y, al poner esta expresin en lugar de z en (2.2), nos queda
F[{*>y>f{x,y)] = ( * + y ) 2+ l - ( * + y ) 2- l = 0,
lo cual es una identidad.

Supongamos que podemos encontrar un conjunto de valores x0, y0,
z0 que satisfacen (2.1) y que, cerca de (*0, y0, 2o), F y sus primeras
derivadas parciales son continuas; adems que dF/dz= 0. Entonces
un teorema de existencia afirma que en una regin determinada del
plano xy que contiene (x0, y0) , existe precisamente una funcin dife-
renciable z = f(x ,y ) mediante la cual (2.1) se reduce a una identi
dad, tal que z0 = f(x0>y0).
Problema 2.1 Si x2xz+z*+yz = 4, encontrar dz/dx y dz/dy

cuando x = 1, y = 3.
Solucin. Tenemos
F (x,y,z) = x 2xz+ z2+ y z 4 = 0. (2-3)
Si suponemos que z est definida como una funcin de x y y me

diante esta ecuacin y derivamos con respecto a x (y constante), ob
tenemos
dz dz dz
I x - z - x + 2z + y 0. (2.4)
0 * 0 * 0*
De la misma manera, derivando con respecto a y (* constante),
02 02 02
- * +2 2 + y + z = . (2.5)
dy dy oy
Resolviendo (2.4), (2.5), resulta
02 22* 02 2
( 2-6 )
0* 2 z + y x dy 2z + y x
Cuando * = 1, y = 3, (2.3) da
z2+ 2z 3 = 0,
es decir,
2 = 1 -3 . (2.7)
www.FreeLibros.org
Funciones implcitas y jacobianos / 35
Al tomar este resultado para sustituirlo en (2.6),
dz _ _ 1 , 5 dz _ 1 , 3
dx 4 4 3y ~ 4 4
/
en cada caso, el primer valor corresponde a z = 1, y el segundo a
z = 3. CU
Problema 2.2 Si y o son funciones de * y y, definidas implci

tamente en alguna regin del plano xy por las ecuaciones
u sen v + x2 = 0,
u eos v y* = 0,
encontrar du/dx, dv/dx, dujdy, dv/dy.
Solucin. Derivamos las ecuaciones dadas con respecto a x, con

siderando y como constante.
du dv
sen v + u eos o -h 2x = 0,
dx dx
du dv
eos y + ( sen u) = 0.
dx dx
De igual manera, derivamos con respecto a y tomando x como cons

tante:
du dv
sen v + u eos v = 0,
dy dy
du dv
eos v + u( se na ) 2y 0.
dy dy
Resolvemos las ltimas cuatro ecuaciones a fin de obtener las deriva

das parciales que se buscan:
du dv 2x
= 2x sen v. --- = ---
dx dx U
du dv _2 y
= 2y eos v, =
dy dy u
www.FreeLibros.org
Cuando la ecuacin F(x, y, z) = 0 define z como una funcin de

x y y, el mtodo del problema 2.1 nos muestra (en la notacin com
pacta de subndices) que
Fx+ F zzx = 0, Fy+FzZy = 0,
de donde obtenemos
2* = Fx/Fz, Zy = -Fy/Fz. (2.8)
Observe el lector que el denominador Fz no se anula cuando F satis

face las condiciones del teorema de existencia citado al principio de
esta seccin.
De nuevo, si las ecuaciones simultneas
F(x, y, u, v) = 0, G(x, y, u,v) = 0 (2.9)
definen u y v como funciones de * y y, como en el problema 2.2,

entonces al derivar parcialmente cada ecuacin con respecto a x y
despus con respecto a y, se tiene:
Fx + Fuux + Fvvx = 0, Fy + Fuuy + Fvv 0, (2.10)

Gm+ GUtlX + GyVg = 0, Gy + GUUy + GyVy = 0. (2.11)
Una vez resueltas tales ecuaciones, obtenemos
Fx Fv 1 Fu Fv
Gx Gv 1 Gu Gv
Fu Fx 1 Fu Fv
Gu Gx 1 Gu Gv
con dos relaciones parecidas, donde se pone y en lugar de x. Se su

pone, desde luego, que el denominador / = FUGV FVGU 0.
Se aplica un teorema de existencia en el caso de (2.9) cuando
las ecuaciones se satisfacen para un conjunto de valores x<, y0, o, vQ,
si F, G y sus derivadas parciales de primer orden son continuas y
/ 0 en las cercanas de (x0, y0, Uo, o). El teorema establece que en
cierta regin del plano xy, la cual contiene a (r0, y0), existen precisa
mente dos funciones diferenciables u = f(x, y), v g(x, y), me
diante las cuales (2.9) se convierten en un par de identidades, con
la propiedad de que to = /(*o, yo), v0 = g(xo, y0).
www.FreeLibros.org
Funciones implcitos y jacobianos / 37
Los determinantes funcionales como el de (2.12) se llaman jaco

bianos, y se denota el denominador de esa ecuacin por 3 (F, G) /3
(ti, v ). De la misma manera, si F, G, H son funciones de las variables
ti, v, w, *i, . . xn, entonces el jacobiano de F, G, H con respecto
a u, v, w es
Fu Fv Fu W
W ,G ,H )
Gu Gv G (2.13)
3(, v, w)
Hu Hv Hw
En este ltimo caso, si las ecuaciones F = 0, G *= 0, H = 0 defi

nen u, v, w como funciones de las variables x, el procedimiento que
nos condujo a (2.12), muestra que, para una derivada tpica, se
tendr
ju - _ ( _ lj2>. . . n)i (2.14)

dxi d(F, G, H) /0(ti, v, w) v
con otras cinco formas semejantes.
Problema 2.3 Si la ecuacin F(x, y, z) = 0 puede resolverse para

cualquiera de las variables x, y, z en trminos de las otras dos, de
mostrar que

\dy/s\(zj x\dxjv
donde la variable indicada fuera de cada parntesis se mantiene

constante al derivar.
Solucin. En primer lugar, consideramos x como funcin de
y y z, y obtenemos, al derivar con respecto a y,
Fxxv + Fy = 0,
es decir, (xv) z = F/F. (2.15)
De la misma manera, encontramos que
(y .). = -F *IF V, {Z')v = - F . / F ( 2. 16)
As, al formar el producto de (2.15), (2.16)
(*) (y*)(^*)= O
www.FreeLibros.org i
2.2 Dependencia funcional Consideremos las ecuaciones
M = x2+ y + l , v = xi + 2x2y + y 2x2y. (2.17)
Como existe una identidad entre u y v, a saber:
v = (ml ) 2 (m1) = u23w+ 2,
decimos que u y v son funcionalmente dependientes. En general, si

i, u2, . . . , um son m funciones de las n variables xx, x2, . . . , xn> en
tonces decimos que las u son funcionalmente dependientes cuando
existe una relacin de identidad de la forma F(ut, u2, .. ., um) = 0.
En los problemas siguientes, supondremos que F es una funcin
continua con derivadas parciales continuas.
Problema 2.4 (i) Demostrar que si u(x, y ), v(x, y) son funcio

nalmente dependientes en una regin del plano xy, entonces
0 (, v )
i0(*,y)
r~ 7s 0 ' (2-18)
(ii) Verificar (2.18) en el caso en que u y v estn dadas por

( 2 - 1 7 ) . ............................................
Solucin, (i) Por hiptesis, existe una relacin deidentidad de
la forma F(u, v) = 0 ; entonces, derivando parcialmente con respec
to a x y y en sucesin:
Fuux + F vvm = 0, (2-19)

F uUy + Fvvy = 0. (2.20)
Por consistencia con este resultado, debe verificarse que
d{u,v)
= 0, (2.21)
d(x,y)
a menos que tanto Fu como Fv sean idnticamente cero.

En este ltimo caso, observamos que si u y v tienen la propiedad
de que el jacobiano (2.21) es continuo y distinto de cero en cual
quier punto, entonces debe ser distinto de cero en una vecindad N
del punto en cuestin. Por lo tanto, por (2.19), (2.20), Fu y F
www.FreeLibros.org
Dependencia funcional / 39
son cero en todos los puntos de N, de modo que F no depende de u

ni de v y la ecuacin F = 0 no define relacin funcional alguna.
(ii) Si u = x? + y + 1, v = xi + 2x?y + y2 x2 y, el jacobia-
no (2.21) es
d(u,v) 2x 4xs+ 4 xy2x
d(x,y) = 1 2x2+ 2y
= 2x(2x2+ 2y1) (4x3+ 4 xy2x) = 0 . Q
Problema 2.5 Demostrar que la condicin de (2.18) es suficiente

para la existencia de una relacin funcional entre u(x, y), v(x, y ) .
Solucin. Escribimos
u = f(x ,y ), v = g (x ,y ). ( 2 .22 )
Si no tomamos en cuenta el caso trivial en el que todos los elementos

del determinante (2.18) son cero, pdeme suponer que u * ^ 0 (de
lo contrario, intercambiamos la notacin u y v, x y y ) . Por lo tanto,
la primera relacin de 2.22), puesta en la forma f(x ,y ) u = 0
determina x como una funcin de y y u, de acuerdo con el teorema
de existencia de las pgs. 33 y 34. Cuando sustituimos x por esta
funcin en la segunda igualdad de (2.22) obtenemos una relacin
de la forma
v = G (u ,y). (2.23)
Si podemos demostrar que Gy es idnticamente cero, deducire

mos de (2.23) que u y v estn funcionalmente relacionadas. Ahora
bien, por (2.23),
Vg G UUX, Vy G uU y 4r Gyy
as que la condicin dada (2.18) se traduce en
Ux Uy Uy Uy
W
arGv_
Vy Vy G uUx G fiU x ~)r G y
una vez desarrollado el determinante. Pero ux = 0, y, por lo tanto,

Gv = 0. De esto se deduce el resultado. Q
www.FreeLibros.org
Problema 2 .6 Con el criterio del jacobiano, demostrar que existe

una relacin funcional entre
u = 2lnx+1ny, v (*, y > 0 ) , (2.24)
y determinar tal relacin.
Solucin. Tenemos:
Uj Uy 2/x 1/y
0,
V9 Xy VjkHVv e*Wx/2 V y
y, por lo tanto, existe una relacin funcional entre u y v.

Al resolver la primera igualdad de (2.24) para y, encontramos
que y /x2. Al poner esto en lugar de y en la segunda relacin
de (2.24),
ln v = x V y
es decir,
eiu- \ n v = 0.
El resultado tambin podra haberse obtenido por inspeccin.
Problema 2. 7 (i) Demostrar que si u(x, y, z) , v(x, y, z) , w(x, y, z)

estn funcionalmente relacionados, entonces
U& Uy Ug
Vx Vv Vg = 0. (2.25)
Wg Wy Wg
(ii) Con la suposicin de que se verifica el resultado recproco,

demostrar que existe una relacin funcional entre
u = j^ ( y z + x ) x2( x + y z),
v - x+y,
W = y2 x2 y2 + XZ'
Solucin, (i) Sea la relacin F(u, v, w) = . Cuando derivamos

sucesivamente con respecto a x, y, z, obtenemos
F vM x + F VVX + Fyflg = 0,
www.FreeLibros.org
Dependencia funcional / 41
con dos ecuaciones ms en las cuales x se sustituye por y y por z.

Ahora bien, a menos que se anulen F, Fv, Fw (en cuyo caso F 0
no define una relacin funcional), debemos tener, por consistencia
entre las tres ltimas ecuaciones, la condicin determinantal (2.25).
(ii) Con las funciones dadas, encontramos al formar las derivadas

necesarias,
u Uy Uz y2 3x2 2 x y + 2 x z 3y2 2 y z + 2 x y x2 x2y*

vx Vy Vz 8=3 1 1 0
wt Wy w z 2x 2y z x y
= 0, (2.26)
como se tiene (por ejemplo) al desarrollar el determinante respecto

al rengln intermedio y reducir. En consecuencia, existe una relacin
funcional entre u, v y w. En efecto, es u = vw.
Como extensin de los resultados anteriores, supongamos que

tenemos m funciones de n variables, Mi(*i, . . . , xn) , . . . , Um(x1} . . . ,
xn) . Si A denota la matriz m X n cuyo elemento en el i-simo rengln
y la j-sima columna es dui/dx, entonces existe una relacin funcio
nal de la forma F (i, .. .,*,) = 0, si el rango de A es menor que
m. (El rango de una matriz es el nmero mximo de renglones o
columnas linealmente independientes.) Cuando el rango es r ( < m),
existen exactamente m r relaciones independientes entre las es,
Por ejemplo, la matriz 3 X 3 de (2.26) tiene rango menor que
3, porque el determinante es cero. Pero, por inspeccin, los dos lti
mos renglones son linealmente independientes (pues no son propor
cionales), as que el rango es, por lo menos, 2. Esto ltimo nos per
mite afirmar que el rango es exactamente 2 y tan slo hay 1( = 3
2) relacin entre u, v y w a saber: u = vw.
Problema 2.8 Cuntas relaciones funcionales independientes exis

ten entre las funciones
t = 2 x+ y , u = x + z,
v = 2x2+ xy+ yz+ 2xz, w x + y z?
Solucin. Hemos de considerar el rango de la matriz 4 X 3
www.FreeLibros.org
ty t z '
r 2 1 1
w* % uz 1 0 1
vy (2.27)
V* V z 4x +y +2 z x + z 2x
W y W .. L 1 1 -1 J
El rango no puede exceder del nmero de columnas, 3, y como m = 4,
existe por lo menos una relacin funcional entre t, u, v y w. (Este
es siempre el caso cuando hay ms funciones que variables.) Como
los dos primeros renglones de la matriz son, sin duda, linealmente
independientes, el rango es, por lo menos, 2. Tan slo debemos de
terminar si el rango es 2 3.
Aqu podemos servimos provechosamente de otra definicin de
rango: si una matriz contiene por lo menos una submatriz cuadrada
de p renglones con un determinante que no se anula, y toda matriz
cuadrada de (p + 1) renglones tiene determinante cero, entonces el
rango es p. Las cuatro submatrices de 3 renglones en (2.27), que
formamos al eliminar cualquiera de los renglones resultan tener de
terminante cero, as que concluimos que el rango es menor que 3.
Por lo tanto, es 2.
De esto se desprende que el nmero de relaciones funcionales
independientes es 4 2 == 2. Podemos expresarlas de diversas mane
ras; una de ellas es v = tu, w = t u.
2.3 Propiedades de los jacobianos En esta seccin suponemos

que existen y son continuas todas las derivadas en cuestin.
Problema 2.9 Si u = u(x, y), v = v(x, y ), donde x y y son

funciones de las variables independientes r y s, demostrar que
d(tt, v) = d(u,v) d {x,y )

(2.28)
a(r, s) 3(x,y) 3 (r, s)
Solucin. Observamos la semejanza entre esta ecuacin y la

regla de derivar una funcin compuesta en el clculo de una variable.
La demostracin es sencilla, pues
Xr Xg
miembro izquierdo =
yr y*
UzXT+ u vyr UzXg4Uyy, ur u.
= miembro derecho
VsXr+VyJr VzX+vvy, Vr V,
www.FreeLibros.org
Propiedades de los jacobianos / 43
donde hemos aplicado la regla de multiplicacin de matrices para

multiplicar determinantes. Q
Problem a 2.10 Si u u(x, y), v = v(x, y) pueden resolverse

para obtener las relaciones inversas x = x(u, v), y = y(u, v) , de
mostrar que
3( * ) _ 1 / i Z l . (2.29)
3(*, y) i d(u,v
Solucin. Observe el lector que ninguno de los jacobianos en

(2.29) puede anularse, pues cualquiera de los pares de ecuaciones
que relacionan u, v con x, y es invertible.
Por (2.28), poniendo u, v en lugar de r, s (sin olvidar que las
primeras desempean papeles de variables tanto dependientes como
independientes), y puesto que
9(m, v) 1 0
= 1.
3 (, v) 0 1
tenemos
i = d(u>v) a(*y)
3(x,y) 3 (u,v)
de donde se desprende inmediatamente la validez de (2.29). Q
Problema 2.11 Si u, v, w son funciones de las variables inde

pendientes *i, x2, x3, *4, y si
0 (u, v, w) d{u,v,w)
A = ----------- , B=
d(x2, x3, x4) d(x3, x i, x 1)
c _ 0(, v, w) D= d{u,V,w)
3 (*4, X1} x2) 3 (*i, x2, x3)
demostrar que
3A 3B 3C 3D
--------+ =0. (2.30)
3*1 3*2 3*3 3*4
Solucin. Sean 0! = 3/3*i, i = du/dxi, etc. Consideremos
www.FreeLibros.org
Mediante un conocido procedimiento para derivar determinantes,

esta derivada es la suma de los tres determinantes que obtenemos de
A al derivar los elementos de un rengln mientras los otros dos
permanecen sin alterarse. Al desarrollar cada uno de estos tres deter
minantes respecto al rengln derivado, obtenemos una expresin para
dA/dxi como una suma de menores de 2 X 2 de A multiplicados por
una derivada de segundo orden (mixta) de u. Por ejemplo, el pri
mer trmino de la suma es '
Z>3 Vt
1 2 (2.32)
Ws Wt
Consideremos a continuacin la expresin (2.30) completa; po

demos expresarla como un determinante formal:
0x 02 03 04
1 U2 a M4
Ai jBj+C 3 D 4 (2.33)
O 2 Vs Dt
Wi Ws W3 Wt
donde desarrollamos respecto al primer rengln y mantenemos siem

pre un operador derivado a la izquierda de la funcin sobre la cual
acta. Al operar con los tres trminos restantes en este desarrollo
como se hizo con el (2.31), podemos expresar (2.33) como una
serie finita de trminos semejantes al (2.32), en el cual los dos ndi
ces que aparecen dentro del menor (por ejemplo, 3, 4) son distintos
a los de la segunda derivada que se encuentra fuera del menor,
(i, 2 ).
La inspeccin de (2.33) nos muestra que los nicos trminos que
contienen a i 2 ( ti2i) en la serie son
3 Vi Vs Vi
12 , 2 1
Ws Wi WS Wi
Cuya suma es cero. Por una permutacin cclica de los ndices y de

las variables u, v, w, se deduce que el coeficiente de cada segunda
derivada de , v, w en el desarrollo en serie de (2.33) se anula de
la misma manera. En consecuencia, el valor del determinante (2.33)
es cero, como deba demostrarse. O
2.4 Transformaciones Hasta aqu, venimos llamando funcin a

toda regla que asocia con cada miembro de un conjunto, un ele
mento particular de un segundo conjunto. Tambin se llama mapeo.
www.FreeLibros.org
Transformaciones / 45
En muchas aplicaciones donde intervienen cambios de variable,

debemos trabajar con frmulas como:
x = /( , y), y = g{ u, y), (2.34)
que transforman (o mapean ) puntos en alguna regin del plano

uv sobre puntos de una regin correspondiente del plano xy. Estos
mapeos entre conjuntos de puntos suelen llamarse transformaciones.
Podemos considerar tambin transformaciones de la forma
x = f( u, v, w), y = g(u, v,w), z h(u, v, w) ,
donde intervienen puntos en el espacio de tres dimensiones. (Aqu

no es preciso considerar otra posibilidad, a saber, que el nmero de
variables w, y, . . . difiera del nmero de variables x, y, . . .. )
En (2.34), el punto (x, y) que corresponde a una eleccin par
ticular de a y y forma la imagen del punto (a, y) bajo la transfor
macin. Un lugar geomtrico en el plano a, v, como una curva,
tendr un lugar imagen en el plano xy.
Si / y g son continuas y tienen derivadas parciales continuas, y
si d(x, y) /0(a, v) = 0, en principio podemos resolver (2.34) para
obtener la transformacin inversa u = F(x, y), v = G{x, y). La
correspondencia es entonces uno a uno, pues cada punto de la regin
adecuada de uno de los planos posee un punto imagen nico en la
regin correspondiente del otro plano.
Problema 2.12 Si i? es la regin triangular en el plano xy limi

tada por las rectas x + y = 2, y x = ~ 1, * = 0, encontrar la
regin imagen S en el plano uv bajo la transformacin x = u + 2v,
y = v 2u. Encontrar, adems, d(u, v)/d{x, y).
Solucin. La recta x + y 2 se mapea sobre el lugar geom
trico (u + 2y) + (y 2u) = 2, es decir 3v u 2.
La recta y x = 1 se mapea sobre (y 2u) (u + 2v) =
1, es decir, 3m + y = 1, y la recta x = 0 sobre u + 2y = 0. En
consecuencia, la regin S limitada por estas rectas imagen en el plano
uv es la que se muestra en la figura 2.1 .
A partir de las relaciones dadas, x = u + 2y, y = v 2w, encon
tramos:
(x v) xu xv i 2
d[^v) y y -2 1
www.FreeLibros.org
y, por lo tanto,
3(>g) = J I2(x,y) _ 1
I d(u,v) 5'
En ocasiones, una transformacin es vlida e invertible con la
salvedad de algunos puntos de una regin, llamados puntos singula
res en los cuales la correspondencia no es uno a uno. Esto sucede
en muchos casos prcticos, y usualmente se manifiesta en la calidad
del jacobiano, el cual puede anularse o volverse infinito en un punto
singular.
Problema 2.13 (i) Encontrar la regin R del plano xy mapeada

en el plano uv por medio de la transformacin
x = u cosh v, y = u senh v. . (2.35)
(ii) Describir las curvas de R cuyas imgenes son las rectas

u = Uo y v = v0.
(iii) Indicar en un diagrama la regin Rx en el plano xy cuya
imagen es la regin rectangular S1} limitada por las rectas u = 1,
u = 2, v = i, v = 1 .
Solucin, (i) Al eliminar sucesivamente y o entre las (2.35)
obtenemos
uz = x2 f , tanh v = y/x, (2.36)
siempre y cuando x=0. Cuando x = 0, de (2.35) se deduce que

u = 0 (pues cosh o = 0 ), y de ah que y 0 ; eso entraa que toda
www.FreeLibros.org
Transformaciones / 47
la recta u = O corresponde al punto x = 0, y = 0, de modo que

constituye un punto singular de la transformacin.
Cuando x^=0, tenemos, por (2.36), que \yx\ = |tanh y| < 1,
as que |y| < |jc|. Al someter (2.35) a esta ltima condicin, la trans
formacin nos define un valor nico de v en oo < v < oo para
cada par de valores (x, y). De nuevo, al tomar |y| < |*|, tenemos
que u2 > 0 en (2.36), lo cual nos asegura que u es real. Por (2.35),
vemos que u tiene el mismo signo que x, y (2.36) nos indica que u
puede tomar todos los valores reales. *
En consecuencia, la regin R est dada por |y| < |*| (que se ha
sombreado en la figura 2.2a), junto con x = 0, y = 0 como punto
singular. La regin imagen est compuesta de todo el plano uv.
i r j r
$
! " i'* * I
(b)
Figura 2 .2
(ii) La recta u = u<) es imagen de una rama de la hiprbola rec

tangular x2 y2 = u2, siendo la rama tal que x tiene el mismo signo
que o. (Excluimos el caso singular en que t*o = 0, que ya se trat
en (i).) La recta v = y0 es la imagen de la recta y = (tanh v0)x.
En la figura 2.2 se muestran algunos casos.
www.FreeLibros.org
(iii) A partir de (ii), vemos que las ramas para valores positivos
de x en las hiprbolas x2 y2 = 1 y x2 y2 = 4 corresponden res
pectivamente a u 1, = 2. Las rectas y = (tanh i ) x y y (tanh
1) x corresponden a * = y = l . La regin R x es, por lo tanto,
la que se muestra en el diagrama.
El jacobiano d(x, y ) /3(u, v) que corresponde a (2.35) es fcil
de evaluar; resulta ser igual a u. Observamos que se anula en el
punto singular x 0, y = 0 . O
Guando una regin i? en el plano xy corresponde a una regin S
en el plano uv, en una transformacin invertible, las fronteras de las
dos regiones tambin se corresponden. Supongamos que un punto P
describe la frontera de R en un sentido definido (por ejemplo, en el
sentido opuesto al movimiento de las manecillas del reloj). Entonces,
su punto imagen Q describir la frontera de S, ya sea en el mismo
sentido o en sentido opuesto. Un resultado importante es que si el
jacobiano es positivo, las dos fronteras se describirn en el mismo
sentido, y si el jacobiano es negativo, los sentidos sern opuestos.
Por ejemplo, en la figura 2.2, las partes correspondierites de las
fronteras de Ri y Sx se han marcado con el mismo nmero de trazos.
El nmero de trazos aumenta de 1 a 4 cuando se recorre cada fron
tera en la misma direccin (en el sentido opuesto al movimiento de
las manecillas del reloj) y el jacobiano u es positivo.
Gomo un segundo ejemplo, consideremos la transformacin que
resulta de (2.35) al reemplazar x por x. La regin R\ en el plano
xy, que corresponde a Sx, se obtiene al reflejar Rx en la recta x = 0
(figura 2.3). Esta reflexin invierte el sentido en que debe recorrerse
la frontera a fin de encontrar un nmero creciente de trazos, desde
1 hasta 4. Pero ahora tenemos d(x, y) /3 (, v) u, que es negativo
cuando u > 0.
Figura 2.3
www.FreeLibros.org
Transformaone / 49
Problema 2.14 C onsidrese la tra n sfo rm a c i n
senh u eos 9 senh u sen 9

x =
coshw eos y ^ cosh u eos v
donde
0 < u < oo, 0 < v < 2tt3 0 < 9 < 2tt.
Encontrar la regin R del espacio xyz que se mapea sobre la repon

rectangular del espacio uvO limitada por los plapps u = \, u = 1,
v = tt/6, v = tt/4, 9 = 0, 0 = tt/2.
Solucin. Empezaremos por una consideracin ms general de
las tres familias de superficies cuyas respectivas ecuaciones son
w == const, v = const. y 9 = const. Como (2.37) da y = * tan 0,
tenemos que la superficie 9 = 60 es un plano que pasa por el eje z,
con un ngulo de inclinacin 9< respecto del plano x = 0.
Si tanto u como v se mantienen constantes mientras 9 vara, en
tonces z y x2 + y2 permanecen constantes, de acuerdo con (2.37) y,
por tanto, el punto correspondiente en el espacio xyz describe una
circunferencia paralela al plano xy, con centro en el eje z. Por consi
guiente si cualquier miembro de la familia u = const. contiene un
punto de cualquier circunferencia as, debe contener la circunferencia
entera. Esto significa que cada uno de los miembros es una superficie
de revolucin alrededor de Oz, y lo mismo podemos decir de cada
curva de la familia v = const. Podemos establecer todas las dems
propiedades de ambas familias, si investigamos sus curvas de intersec
cin con el plano 9 = 0 (es decir, y = 0).
Cuando 9 = 0, obtenemos, a partir de (2.37),
(x coth u ) 2+ z 2 = cosech2 u, x2+ (z cot v)2 = cosec2 v, (2.38)
La primera de estas ecuaciones indica que la superficie u = w0 corta

el plano y = 0 en el espacio xyz, en una circunferencia de radio
cosech Uo con centro en x = coth Uo, z = 0. De la misma manera, la
segunda de (2.38) indica que la superficie v = v0 corta el plano
y = 0 en una circunferencia de radio cosec u0 y centro en x = 0,
z = cot v0. (Las dos familias de circunferencias u = const, v = const.
en el plano y = 0 son, en efecto, familias ortogonales de circunfe
rencias coaxiales, en las cuales x = 1, z = 0 son puntos lmite.
De todo lo anterior se desprende que cada miembro de la primera
familia es un toro; u, v, 9 son coordenadas toroidales.)
www.FreeLibros.org
La regin R que buscamos se obtiene al hacer girar la regin

sombreada de la figura 2.4, recorriendo un ngulo de alrededor
de Oz. Los extremos planos de la regin son y = 0 y x = 0.
Observe el lector que los denominadores de (2.37) se vuelven
cero cuando u = v = 0, lo cual constituye una recta de puntos
angulares de la transformacin en el espacio uvQ. O
En el captulo 4 estudiaremos otras propiedades de las transfor

maciones.
EJERCIOOS
1. Si x* + yu + zu? = xyz define u como una funcin de x, y, y z,
encontrar ux, Uy, ue.
2. Si las ecuaciones
u3x yv = u, v3y xu = v,
definen u y v como funciones de x y y, encontrar ux y vt .
3. Verificar la existencia de una relacin funcional entre
u == x y+z, v = xz( x+z) y, w = x ^ + j f + z 2,
y, si existe, determinarla,
4. Cuntas relaciones irracionales independientes existen entre
t = x ~y , u = x+3 y+2 z, v = y ( y + z ) x ( x + z ) , w = x+y+z?
www.FreeLibros.org
Ejercicios / 51
5. Para la transformacin u = x + y2, v = y x2, evaluar el jaco-

biano d{x, y)/d(u, v).
6. Sugerir una generalizacin de (2.29) que se aplique a una

transformacin invertible
u = u{x, y, z), v = v(x,y,z), w = w(x,y,z).
Si u = x + y + z , v = x2+ z 2, w = (x + y ) z , encontrar d(x, y, z) fd

(u, v, w) y dar los valores de x, y y z para los cuales el resultado es
vlido.
7. Una regin rectangular R en el plano xy, limitada por las rec

tas x ~ In a, x = ln b, y = far, y = ir ( > a > 0 ), se mapea sobre
una regin S en el plano uv bajo la transformacin
u= eos y, v = e* sen y.
Demostrar que las rectas x x0 y y = y0 en R se mapean respecti

vamente, en porciones de circunferencias y de rectas que pasan por
el origen en el plano uv. Hacer un esquema de la regin S.
Evaluar 3(k, o) fd(x, y). Si un punto P se mueve por la frontera
de R en un sentido dado, describe el punto Q, su imagen bajo la
transformacin, la frontera de S en el mismo sentido o en sentido
opuesto?
www.FreeLibros.org
www.FreeLibros.org
CAPITULO 3
E l te o r e m a d e T a y lo r
y sus a p lic a c io n e s
3.1 El teorema de Taylor en dos variables Si f(x) tiene una

(n + 1 ) -sima derivada continua en el intervalo a ^ x ^ a + h, en
tonces ,
f(a + h) - / ( a ) + A f ( ) + + ^ /<>()+ *, (3.1)
donde el residuo Rn est dado por
= 7(w+
- T 1T)!^ (n+1)^ (3-2)
para algn punto c con la propiedad de que a < c < a 4- h. Este

resultado se conoce como teorema de Taylor en una variable. (El
caso particular en que n = 0 se llama tambin teorema del valor
medio.)
Hay varias expresiones posibles para Rn. La de (3.2) es la
forma de Logrange, mientras que la forma de Cauchy es
f? = ------------------------------------------------(3.3)
ni
donde c es un punto con la propiedad de que a < c < a + h, aun

que no necesariamente el mismo punto de (3.2), y p = 1 (ca) h.
(Observe el lector que 0 < p < 1 .)
www.FreeLibros.org 53
54 / el teorema de Taylor y sus aplicaciones
Podemos extender el teorema de Taylor a funciones de ms de

una variable; aqu bastar con enunciar el teorema en el caso de dos
variables independientes. Supongamos que f(x} y) y sus derivadas
parciales de todos los rdenes hasta n + 1 son continuas en una
vecindad de cada punto sobre el segmento rectilneo PQ, donde P
es el punto (a, b) y Q es el punto (a + h, b + k ) . Entonces
f{a+h, b + k) f(a, b) + ( h ^ + k ^ j f{a, b) +
.+ . ( h 7T + k r ) f { a , b ) + R , (3.4)
n! \ dx dyj
donde
i / 3
(3.5)
i2 = ' ^ + y ! r 0 + V J
y
(c, d) = (a+6h, b+$k), 0 < 0 < 1,
es un punto del segmento rectilneo PQ. Aqu, la notacin
f{o, b) (3.6)
significa que el operador debe desarrollarse por el teorema del bino

mio y aplicarse a f(x, y) antes de poner x = a, y b. Por ejemplo,
h Idx
" + dy) H a> V h2f * * ( a> + 2 h k f* v (a> b ) + k * f w ( a> b )-
No es difcil demostrar (3.4), (3.5), si se suponen vlidas (3.1),

(3.2). Fijamos a, b, h, k y consideramos la funcin de una variable:
F(t) = f ( a + t h , b + tk), (0<<l).
Entonces, (3.1), (3.2) se usan para expresar F(t) en trminos de

F(0) y las primeras n derivadas de F(t) en t = 0, junto con un
trmino residual. El resultado se deduce del hecho de que un tr
mino como el (3.6) es simplemente F {n) (0), por la regla de la
cadena. Los detalles se dejan al lector. El caso en que n 0 se
llama tambin aqu teorema del valor medio.
www.FreeLibros.org
el teorema de Taylor en dos variables / 55
En cualquiera de las formas anteriores del teorema de Taylor, y

en las extensiones obvias hacia nmeros de variables mayores que
dos, se obtiene un desarrollo en serie infinita cuando se permite n
tienda hacia el infinito, siempre y cuando la funcin dada posea
derivadas continuas de todos los rdenes. Tal serie representa la
funcin si Rn tiende hacia cero, y se conoce como serie de Taylor
para la funcin. En condiciones normales, se reemplazan a + h por
b + k por y en la serie de Taylor que resulta de (3.4), con lo cual se
expresa f(x, y) como serie de productos de potencias de x a y
y b.
Problema 3.1 Si f(x, y) x2y + 2xy2 y si a = 1, h = 2,b = 2,

k = 1, encontrar 9 en el teorema del valor medio:
f( a+h, b + k)-f(a, b) = + k j
f(a+9h, b + 9k), 0<9<l. (3.7)
Solucin. Al sustituir los valores dados, el miembroizquierdo

de (3.7) se convierte en
/(1 + 2, 2 + 1) /(1, 2) = / ( 3 , 3 ) - / ( l , 2 )
= (27 + 5 4 )-(2 4 -8 ) = 71.
Adems,
( h ^ + k ^ j f ( x , y ) = 2fx(x,y) + fv(x,y)
= 2{2xy+2y ) + (x2+ 4 xy) = xa+8xy+4y2.
Si ponemos x = a + 9h = 1 + 29, y = b + 9k = 2 + 9, e iguala

mos los dos miembros de (3.7), obtenemos
(l + 20)2+ 8 ( l + 20) (2+0) + 4 (2 + 9)* = 71,

es decir,
1202+ 3O019 = 0,
9 = [-lS V (5 5 3 )]/1 2 .
Pero 0 < 6 < 1, lo cual indica que debemos tomar el signo
www.FreeLibros.org
positivo. Encontramos que, aproximadaniente, 9 = 0.710. Q
56 / el teorema de Taylor y su* aplicaciones
Problema 3.2 Desarrollar 3* eos y como una serie de Taylor

alrededor de x =* 0, y = 0 , hasta trminos de tercer grado.
Solucin. La proposicin del problema significa que debemos
tomar a = 0, b = 0 en la notacin adoptada en esta seccin. As
obtendremos una frmula aproximada para la funcin dada para
valores pequeos de x y y.
La serie de Taylor para /(*, y) en las inmediaciones de (0,0) es
/ ( * > y) = f(> ) + x U + y f v + 7 ^ ( xl!f * ' + 2x yf*v+ y lfvv) + > ( 3 -8 )
donde todas las derivadas se evalan en (0,0). En este punto,

( 0,0 ), encontramos mediante clculos sencillos los siguientes valores
para f(x, y) = e2* eos y y sus derivadas parciales hasta de tercer
orden:
/ = 1, U = 2, fy = 0,
/ = 4, fsy 0, fyy ~ 1j
/ai ~ 9, fxty 0, fxyy 2, fyyy ~ 0,
La sustitucin de (3.8) conduce a la serie de Taylor quebuscamos:
^co&y 1 + 2 * + (4a:2y2) + (8a^ b x f) H------- O (3.9)

2! 3!
Problema 3.3 Cmo puede modificarse la serie dada en (3.9)

a fin de que termine con los trminos de tercer grado en * y y,
mientras la ecuacin se conserva exacta?
Solucin. Aqu hemos de sustituir los trminos de tercer grado
por el residuo Rz. Con a b = 0 en (3.5) y poniendo (x, y) en
lugar de (h, k), una vez efectuadas las derivaciones necesarias, te
nemos:
R2= *?f** + 3x*yfav + Sxffzw+ffwv) (3-10)
(por desarrollo del operador), donde se eva an todas las derivadas

en {dx, Oy) y 0 < 6 < 1 .
Al derivar f{x, y) = e2x eos y, obtenemos en (x, y ) :
fxxx = Se23 eos y, fxsy = 4^* sen y,
www.FreeLibros.org
fxn = ~ 2Meos y, fvvv = e2Xsen y,
el teorema de Taylor en dos variables / 57
Al sustituir (x, y) por (0x, Oy) y llevar esto a (3.10),
R2 = [x3(8cos0y) +3x 2y ( 4sen(?y) +3xys( 2 cosfly)

3!
+ y 3(sen Qy) Je28*
= [( 8X36xy2)cos 0y ( 12xy2y3) sen flyje28*. Q

3!
Problema 3.4 Encontrar la serie de Taylor para /(x, y) ~ e*1' ena:s

alrededor del punto (2, 0) hasta los trminos de segundo grado. De
ah obtngase un valor aproximado para /(1.98, 0.015).
Solucin. En (2, 0), encontramos que
/ = 1> / = 0, f y ~ 8,
/** = 0, /,y = 12, fyy 64.
Por lo tanto, la serie de Taylor para f(x, y) alrededor de (2, 0) es
f(x, y) - / ( 2, 0 ) + (x 2 )/ ( 2, 0 ) +yfv( 2, 0 )
+ l [ ( x - 2 ) 2/ (2 , 0) + 2{x2)yfxv{2,0)
+ y % ( 2, <>)]+
= 1 + 8y + 12 (x 2 )y + 32y^+
Al reemplazar x por 2 + Ax y y por Ay, en la ltima ecuacin

obtenemos
/(2 + A x, Ay) = 1 + 8 Ay+12 AxAy+32 A y ^
La aproximacin requerida, resulta al poner Ax = 0.02, Ay = 0.015,

con lo cual, si consideramos despreciables los trminos de orden
superior al segundo en Ax, Ay,
/(1.98,0.015) = 1 + (8 + 12 Ax + 42 Ay) Ay
= 1+ ( 8 - 0.24 + 0.48) (0.015) = 1.124,
hasta tres cifras decimales. Podemos comparar esto con el valor

exacto, hasta cuatrp cifras decimales, 1.1235.
www.FreeLibros.org
Debemos observar que la serie de Taylor representa una funcin

dada tan slo cuando el trmino residual Rn de (3.1) tiende hacia
cero, al tender n hacia el infinito. No es suficiente la convergencia
de la serie infinita. Por ejemplo, la funcin definida por
( * , y ) ^ ( 0 , 0 ),
0, (*,y) = ( 0, 0 ),
posee derivadas parciales continuas de todos los rdenes en ( 0, 0 ),

y todas se anulan en el punto en cuestin. (Se calculan a partir
de los principios.) En consecuencia, la serie de Taylor alrededor de
(0, 0 ) para esta funcin es idnticamente cero, y no representa
Sin embargo, en casi todos los casos prcticos, si la serie de

Taylor converge, representa la funcin. En esos casos, el mtodo del
problema 3.4 conducir a una aproximacin satisfactoria si se usa
un nmero suficiente de trminos.
3.2 Mximos y mnimos Supongamos que se ha definido f(x,

y) en una regin R que contiene a (*<,, y0) como punto interior.
Entonces, se dice que f tiene un mximo absoluto en (xc, yo) si
f{*,y) < /(* o ,y 0) (3.11)
para todo punto (x, y) en R. Si se invierte el sentido de la desigual

dad en (3.11), entonces f tiene un mnimo (disoluto en (x0, yo). Los
mximos o mnimos absolutos se llaman extremos absolutos.
A menudo, suelen interesamos ms los extremos relativos, es
decir, casos en donde slo se requiere que la desigualdad se cumpla
para puntos (x, y) en una vecindad de (x0, y0). As, diremos que /
tiene un mximo relativo en yo) si el incremento
= f { x , y ) - f { x o , yo) < 0 (3.12)
para todo punto (x, y) en R con la propiedad de que
|x-*| < k, b -yol < h,
para algn h suficientemente pequeo (k > 0). Para el caso de un

mnimo relativo se aplica una definicin correspondiente, y ambas
www.FreeLibros.org
mximos y mnimos / 59
definiciones permiten extensiones directas hacia funciones de ms

de dos variables.
En los problemas siguientes, supondremos que las funciones son
continuas y poseen derivadas continuas de todos los rdenes nece
sarios.
Problema 3.5 Demostrar que si f{x, y) tiene un extremo relativo

en ('*o, y0) , entonces tanto fx como fv se anulan en este punto.
Solucin. Trabajaremos con el caso en el cual f tiene un mxi

mo relativo en (x.0, y0) ; en el caso de un mnimo relativo no habra
sino que invertir ciertas desigualdades en el argumento.
Consideremos (3.12) con y constante en el valor y<. Tenemos:
f{ x,yo) -f{xo, y*) < 0,
cuando [* x0|< h, donde h es algn nmero positivo. En conse

cuencia, la funcin F(x) f{x,%) tiene un mximo relativo (en
el contexto del clculo de una variable) en x = xa. De conocimien
tos tericos elementales se deduce que F'{xa) = 0 , es decir, fx(x0,
y0) = 0.
De la misma manera, si mantenemos x en el valor constante x0,
encontramos que la funcin G(y) f(x0, y) tiene un mximo rela
tivo en y = y0, de donde G'(y,a) = fv{x0, y) 0. De ah se deduce
el resultado.
Problema 3.6 Encontrar el punto del plano x + 2y 3z = 4

ms prximo al origen.
Solucin. Vamos a denotar por l la distancia de un punto ge

neral P(x, y, z) desde el origen, as que P = x2 + y2 + z2. Si P est
en el plano en cuestin, tenemos, una vez sustituida z,
P = x2+ y 2+ -^ -(x+2y4 )2.
La naturaleza del problema nos indica claramente que P de la

ltima ecuacin debe poseer un mnimo (tanto absoluto como rela
tivo) ; ste debe ocurrir donde
o* 2
= 2 * + - ( * + 2 y - 4 ) = 0, (3.13)
www.FreeLibros.org
60 / l teorema de Taylor y sus aplicaciones
= 2y + ( * + 2 y -4 ) - 0, (3.14)
dy 9
es decir,
5x+y = 2, 2x+13y = 8,
de donde x = y=
7* 7 7
Gomo sta es la nica solucin de (3.13), (3.14), debe corres

ponder al punto que se busca. A continuacin, la ecuacin del plano
nos permite hallar que z 6/7 para estos valores de x y y, de
modo que el punto ms prximo al origen est dado por
Un punto crtico de la funcin f(x, y) es un punto (x0, y0) en

el cual f a ~ f v = 0. En un punto as, el plano tangente a la super
ficie z = f(x, y) es horizontal. El problema siguiente nos muestra
que un punto crtico no siempre corresponde a un extremo relativo.
Problema 3.7 Encontrar los puntos crticos de la funcin /(*,

y) ~ y2 *2, y demostrar que la funcin no tiene extremos rela
tivos.
/
Solucin. Las ecuaciones fx = 0, fy = 0 dan x = y = 0 como
el nico punto crtico. Ahora bien, a lo largo de la recta y = 0, te
nemos
A/ = / ( * , 0 ) - / ( 0 , 0 ) = - * 2 < 0 ,
mientras que, a lo largo de la recta x = 0,
A/ = / ( 0 , y ) - / ( 0 , 0 )
En consecuencia, el signo de Af depende de la direccin del punto

(*, y) desde el punto (0, 0 ), as que no puede corresponder a un
mximo o a un mnimo relativo. Como no hay otro punto crtico,
hemos establecido la validez del resultado.
Observamos que la funcin f(x, 0), como funcin de una sola
variable, tiene un mximo en x = 0, mientras que la funcin / ( 0, y)
tiene un mnimo en y = 0. En la figura 3.1 se muestra una parte de
la superficie z f{x, y ) .
Guando el signo de Af en (3.12) depende de la direccin del
punto Q(x, y) a partir de un punto crtico P(x0, y0) , como en el
www.FreeLibros.org
problema anterior, el punto crtico se llama punto silla. Estos pun

tos pueden ser ms complicados que el representado en la figura
3.1. Por ejemplo, el comportamiento de / a lo largo de PQ puede
alternarse muchas veces a medida que PQ ejecuta una vuelta com
pleta alrededor de P.
Problema 3.8 Sea P(x0, y0) un punto crtico de f ( x ,y ) , y deno

temos por r, s, t los valores respectivos de fxx, fxy, fn en ?
(i) Demostrar que una condicin suficiente para que P sea un

punto extremo relativo es que
D E = r t - s * > 0. (3.15)
(ii) Si D > 0, demostrar que el extremo es un mximo cuando

r < 0 ( t < 0 ) y un mnimo cuando r > 0 ( t > 0 ).
(iii) Si D < 0, demostrar que el extremo es un punto silla.
Solucin, (i) Como /* = fv = 0 en el punto crtico P, el des
arrollo de Taylor de f(x, y) alrededor de P resulta en, con x x0 l,
y - y0 = m,
A/ = f { x , y ) - f { x 0, y 0) = i (i2/**+ Hmfsy+ m2fn ) , (3.16)
donde se evala el segundo miembro en x = x0 + 01, y = y<, + 6m, y

0 < 6 < 1. Demostraremos que A f 0 para todos los valores su
ficientemente pequeos de / y m (sin ser ambos cero), cuando D > 0.
Esto significa que A f no puede cambiar de signo en las inmediaciones
de P (suponiendo que las segundas derivadas de / son continuas) y
tendremos un mximo relativo en P si A f es negativo y un mnimo
relativo si A f es positivo.
www.FreeLibros.org
En efecto, si se anulara A/ y si m ^ 0, obtendramos a partir de

(3.16), al dividir entre ^m2, que la ecuacin cuadrtica
(*/m)a/ + 2 ( //m ) /w + / w = 0 (3.17)
tiene races reales para Ijm, de donde
fxxfyy~ (fxy)2 ^ 0. (3.18)
En caso de que tn = 0, podemos dividir (3.16) entre P a fin de

obtener (3.18). Pero la desigualdad (3.18) no puede satisfacerse
cerca de P, porque rt s2 > 0 y el primer miembro de (3.18) es
continuo. Por lo tanto, A/ no es cero cerca de P, por lo cual debe
ser un extremo relativo.
(ii) Como rt s2 > 0, r y t no se anulan y tienen el mismo
signo. Si ponemos m = 0, l =+ 0 en (3.16), vemos que el signo de
A/ es el mismo que el de /,, y, por la continuidad, ste es el signo
de r. Por consiguiente, r < 0 ( t < 0) corresponde a un mximo
relativo, y r > 0 ( t > 0 ) a un mnimo relativo.
(iii) Si D < 0, (3.18) se verifica cerca de P. Por lo tanto, (3.17)
tiene races reales para l/m. (Si m = 0, se considera la ecuacin
cuadrtica correspondiente en m/l.) Por consiguiente, el primer
miembro de (3.17) cambia de signo cuando vara la razn l/m de
modo que pase por una de las races de la ecuacin. Por (3.16),
A/ cambia tambin de signo, lo cual demuestra que P es punto silla.
Observe el lector que l/m determina la direccin de Q(x, y) desde
P (* 0, yo).
Cuando D = 0, se precisa otro criterio para determinar la natu
raleza de un punto crtico. {~~l
Problema 3.9 Encontrar e identificar todos los puntos crticos

de la funcin
f(x,y) = f + 3x2y - 3 x i - 3 f + 2.
Solucin. Al poner fx fv 0, encontramos que
x { y 1) = 0, y { y 2) + X 2 = 0.
La primera de estas ecuaciones resulta en x 0 y = 1, y por

medio de la segunda, encontramos que los puntos crticos son
(0, 0 ), ( 0, 2 ), ( 1, 1 ), ( - 1, 1).
www.FreeLibros.org
Ahora bien,
fxx = 6( y - l) , fxy = 6*, fyy = 6( y - l) ,
de donde
/W w - ( / ^ ) 2 = 3 6 C (y -l)2- ^ ] .
Por lo tanto:
en (0, 0), D = 36 > 0, r = 6 < 0, y / tiene un mx. re.,

en (0, 2), D 36 > 0, r = 6 > 0, y / tiene un mn. re.,
en (1, 1), D = 36 < 0, y / tiene un punto silla,
en ( 1, 1), D = 36 < 0, y / tiene un punto silla. O
Problema 3.10 Se quiere construir una cisterna metlica y abierta

para agua, con un tringulo rectngulo como base y lados verticales.
Si el volumen de la cisterna debe ser de 2 ms, qu diseo redundar
en la menor rea de metal?
Solucin. Denotemos los lados perpendiculares de la base trian
gular por x m y y m, respectivamente, y supongamos que la altura es
z m. Entonces, el rea total de la superficie es
S = %xy+xz+yz+ (xt+ y ) iz. (3.19)
Pero el volumen debe ser 2, as que
2 = ixyz, o sea z 4xy.
Sustituyendo este valor de z en (3.19)
S = ix y + 4 { * + ? + (**+70 *]/*? (3.20)
Para determinar un extremo, a partir de la ltima ecuacin tene

mos que
= h > ~ |~i + t ' 1 = 0 (3-21)
= i x - [ " l + ----- ------ = 0.

3y * f l ( ^ + y 2)U
1 (3.22)
Al multiplicar (3.21) por x2, (3.22) por y restar,
(x ~ y)[i*y+ 4 (xs+ y 2)-*] = 0.
www.FreeLibros.org
La expresin dentro de los corchetes no puede anularse por ser posi

tivos x y y, as que debemos tener x = y. Si sustituimos x por y en
(3.21), obtenemos
y * 8 ( l + * V 2 ),
de suerte que
y x = 2(1 + iV 2 )* = 2.39 (aprox.).
Por lo tanto,
z = 4xy = (1 + V 2 ) -* = 0.700 (aprox.),
y la mnima rea superficial de la cisterna es, por (3.20),
S = 6(1 + i V 2 ) 5 = 8.57 m2,
aproximadamente. Esta cantidad representa la mnima rea de metal

que se precisa.
De la naturaleza del problema, hemos logrado deducir que el
nico punto crtico de S, como una funcin de x y y, debe ser un
mnimo. Esto puede verificarse mediante el mtodo de los ltimos
dos problemas. En efecto, cuando y = x, encontramos fcilmente que
= (8 + 5 V 2 )/* 3, Sx,, = (4 + V 2) /* s,
de donde
SxxSyy (*ay)2> o, Sag ]> 0,
l o .cual demuestra que un punto crtico para el que y x es, sin
lugar a dudas, un mnimo. O
Cuando D vale cero en un punto crtico, el criterio anterior no
puede aplicarse. Un caso frecuente es aquel donde r = s = t 0.
Entonces, el signo de Af depende de los trminos que contienen la
tercera derivada en el desarrollo de Taylor de f[x, y) alrededor del
punto crtico, (xo, y0) . El examen minucioso de estos trminos nos
muestra que no existe extremo relativo a menos que todos valgan
cero; en ese caso, es preciso investigar los trminos con derivadas de
cuarto orden a fin de completar la prueba.
Problema 3.11 Verificar que f(x, y) = x'2yl {x + y + 1) 1 tie

ne un punto crtico en ( 0, 0 ), y determinar su naturaleza.
www.FreeLibros.org
Solucin. En (O, 0), tenemos:
fx 2xrf { x + y + \ ) + xiyi = 0,
fv = 2x2y(x+;y4- 1 ) 4-A^y2 = 0,
as que P(0, 0) es un punto crtico.

Al volver a derivar observamos que todas las derivadas de segundo
orden se anulan en este punto, as que D 0. Las derivadas de
tercer orden tambin se hacen cero en ( 0, 0 ), y lo mismo sucede
con las de cuarto orden, salvo
- 12( x +y ) + 4 = 4.
El desarrollo de Taylor de f(x, y) es
A/ = f(*,y) /( 0 ,0) = * Y [ l + 5(0A;+0:y)],
donde 0 < 0 < 1, habiendo obtenido la expresin entre corchetes al

evaluar las cuartas derivadas de / en (x, 6y ) . Gomo A/ es positivo
para todos los valores pequeos de * y y, f tiene un mnimo relativo
en (0, 0). (Este resultado puede obtenerse tambin mediante una
inspeccin de /.)
Una funcin f(x, y, z) de tres variables tiene un mximo relativo
en P(xo, y<, zQ) si
A/ = f(x, y, z ) - f ( x o , yo, z0) < 0
siempre que \x x0\< h, \y y<\ < h, \z Zo| < h, para valores

suficientemente pequeos de h. Para, un mnimo relativo se aplica una
definicin correspondiente. Una condicin necesaria es que P sea un
punto crtico, es decir, que todas las primeras derivadas parciales de
/ se anulen en el punto en cuestin.
Una generalizacin del criterio D es, como condicin suficiente
para un mnimo, que
fm > 0.
www.FreeLibros.org
mientras que si se invierten los signos de desigualdad, empezando con

fxx < 0, entonces el punto crtico es un mximo. Este resultado se
extiende a cualquier nmero de variables.
Problema 3.12 Encontrar e identificar los puntos crticos de
f(x,y,z) = e ^ z j ( l + e*) (*+ ey) (e+ ez) (1 + ee) .
Solucin. Si derivamos con respecto a x, considerando / como

un producto de cinco factores, obtenemos
e* e*
\+ e *1 e *+e f
que tan slo se anula (ya que / 0 ) cuando
(l+ * ) {e +ev) = e\ (+) + 1 + <?*],
es decir, e2x= ev, lo cual implica que y = 2x.

Por simetra, /*= 0cuando y = 2z, y un clculo semejante re
sulta en
ev ev
^V ^ e*+ev^ ev + e*^
de donde encontramos fv 0 cuando 2y = x + z.

Por lo tanto, los puntos crticos se determinan mediante las ecua
ciones simultneas
y = 2x, y = 2z, 2y = x+z ,
cuya nica solucin es x = y = z = 0 .

Aqu, podemos obtener mediante clculos directos
fxx ~ f n ~ fzz ~ ~ ~32 >
tmy fyz = , fzz = 0.
Aplicando el criterio (3.23), encontramos
fzz fxy
fzz 0,
fyz fyy
www.FreeLibros.org
restricciones / 67
mientras que el determinante de 3 X 3 en (3.23) resulta tener el

valor (despus de extraer un factor de cada elemento)
1 - 2 1 0 -4
1 -2 1 < 0.
(64)s 0 1 -2 (64)
En consecuencia, / tiene un mximo relativo en (0, 0, 0). O
3.3 Restricciones; multiplicadores indeterminados Suponga-

mos que necesitamos encontrar los extremos de una funcin f(x, y, z)
donde x, y y z no son variables independientes, sino que estn sujetas
a una condicin o restriccin-. g(x, y, z) = 0. En algunos casos, po
demos valemos de la ecuacin restrictiva para eliminar una de las
variables de f, como se hizo en los problemas 3.6 y 3.10. Pero en
otros casos tal eliminacin resulta imposible, y conviene recurrir al
mtodo de un multiplicador indeterminado.
En este mtodo se utiliza el hecho de que si / posee un extremo
en un punto particular bajo la restriccin dada, entonces tambin lo
posee la funcin <> = f + Xg, donde A es una constante arbitraria,
porque el trmino adicional es cero. Si consideramos x y y como
variables independientes, con z determinada por la ecuacin g = 0,
entonces la condicin necesaria para un extremo de y, z) es
4>te+ <>zZx 0, <j>y+ <>zZy = 0. (3.24)
Vamos a escoger ahora A de suerte que <>z = 0 en el extremo, de

donde, por (3.24), obtenemos <f>x = 0, < = 0, es decir,
/*+Ag* = 0, fv+\gy = 0, fz+Xgz = 0. (3.25)
Alresolver problemas, escribimos estas ecuaciones, agregando
g = 0 ;(3.26)
y las cuatro relaciones de (3.25) y (3.26) que determinan x, y, z,

A. En casi todos los casos, el valor de A no interesa; entonces pode
mos dejarlo indeterminado. Observamos que la eleccin de A de
modo que <j>z 0 slo entraa la condicin de que gz = 0 ; de lo
contrario, se pueden obtener los resultados anteriores si se escoge x
y en lugar de z como variable dependiente.
www.FreeLibros.org
68 / el teorema de taylor y sus aplicaciones
Problema 3.13 Tenemos una caja rectangular contenida exacta

mente dentro del elipsoide 2x2 + Zy2 + z2 = 18, con cada arista
paralela a uno de los ejes de coordenadas. Encontrar su mximo vo
lumen posible.
Solucin. El elipsoide es simtrico respecto a cada uno de los
planos x 0, y = 0, z 0, y sus ejes principales son segmentos
de los ejes de coordenadas. Por simetra, se deduce que los vrtices de
la caja estn todos sobre el elipsoide y sus coordenadas sern de la
forma ( x , y , z ) , donde
g(x, y, z) s 2x2+ 3y2+ z 218 = 0. (3.27)
El volumen de la caja es V = 8xyz, y buscamos el valor mximo

de V sujeto a la restriccin (3.27). Las ecuaciones que corresponden
a (3.25), con V en lugar de /, son
8yz+4\x = 0, (3.28)
8xz+6\y = 0, (3.29)
8xy+2\z = 0. (3.30)
Si multiplicamos las tres ltimas ecuaciones respectivamente por x,

y y z, y si restamos la segunda de la primera y la tercera de la
segunda, nos queda:
A(4**-6y*) = 0, \ ( 6 f - 2 z ? ) = 0. (3.31)
Como y > 0, z > 0, tenemos que 0, por (3.28). En consecuen

cia, por (3.31),
z2 = 3 f = 2*2. (3.32)
Si ponemos en (3.27) los valores de x y y dados por (3.32), obte

nemos z2 = 6, as que
* = VS, y = V 2, z = V 6, (3.33)
de donde
V = 8 xyz = 48.
Como tan slo existe un punto crtico para valores positivos de x, y

y z, vemos que la ltima ecuacin determina el volumen mximo
posible de la caja.
www.FreeLibros.org
restricciones / 69
Por inters, podemos determinar tambin el valor de X. Por

(3.28), (3.33), encontramos que X = 4.
El mtodo de los multiplicadores se aplica, con modificaciones,

al problema de encontrar los puntos crticos de una funcin de un
nmero cualquiera de variables, sujetas a cualquier nmero inferior
de restricciones. Si, como antes, tenemos tres variables x, y, z pero
stas sujetas a dos restricciones independientes de la forma g(x, y,
z) = 0, h{x, y, z) = 0, entonces las ecuaciones para determinar los
puntos crticos de f(x, y, z) son
fx+Xgg+p.h<f 0, (3.34)
fv+ Xgv+ xhv 0, (3.35)
fz+Xgz+ixha = 0, '(3.36)
g = 0, h = 0. (3.37)
Aqu tenemos dos multiplicadores indeterminados, X y /i. Su nmero

siempre es igual al nmero de restricciones.
Problema 3.14 Encontrar la distancia ms corta desde el origen

hasta la recta de interseccin de los dos planos Ix + my + nz = p,
l'x + m'y + n'z = p', donde l2 + m2 + n2 = 1, l'2 + m2 + n'2 = 1 .
Solucin. Debemos encontrar el mnimo de la expresin r2 = x2
+ y2 + z2, elcuadrado de la distancia del punto (x, y, z) al origen
bajo lasecuacionesrestrictivas de los dos planos dados.En conse
cuencia, correspondiendo a (3.34), . . . , (3.37), tenemos
2x + XI+ .V 0, (3.38)
2y + Xm+[im' 0, (3.39)
2z+ Xn+jin' = 0, (3.40)
Ix + my + nz p = 0, l'x+m 'y+n'zp' = 0. (3.41)
Estas ecuaciones determinan xf y, z en un punto crtico, junto con

X y jj.. Sin duda, el punto crtico debe corresponder a un mnimo
para r2.
Al multiplicar (3.38), (3.39), (3.40) respectivamente por x, y, z
y sumar, obtenemos:
2r2+Xp+np? = 0.
www.FreeLibros.org
Multiplicando las mismas ecuaciones por l, m, n y sumando,
2p + A.+ ik = 0,
donde k = 11' + mm' + nn . Por ltimo, al multiplicar respectiva

mente las ecuaciones por f , m', n' y sumar:
2p f + Xk + j. = 0.
Eliminamos A. y i de las tres ltimas ecuaciones, y obtenemos:
2r2 p f/
2 p 1 k = 0,
2p' k 1
lo cual, una vez desarrollado, da
r2( l - k 2) - p { p - k p ' ) + p ' { p k - p ' ) = 0.
Al resolver para r, obtenemos la distancia mnima que se desea
r = [(p2+p' 2- 2 k p p ' ) / { l - k 2)]*.
El lector familiarizado con la geometra analtica reconocer \p\ y

\p'\ como las distancias perpendiculares de los planosrespectivos al
origen, y que k = IV + mm' + nn' eos 0,donde 6 es el ngulo
entre los dos planos, cuyas normales tienenlos cosenos directores
(/, m, n) y (l', m', n').
3.4 Envolventes Las familias de curvas y superficies poseen fre

cuentemente lugares geomtricos conocidos con el nombre de envol
ventes, que revisten importancia sobre todo en la teora de las ecua
ciones diferenciales.
Si todo miembro de una familia uniparamtrica de curvas planas
es tangente a una determinada curva C en el plano, entonces C se
llama envolvente de la familia. Por ejemplo, la familia de rectas
x eos a + y sen a = 1, (3.42)
donde a es el parmetro, estn todas a una distancia perpendicular

unitaria desde el origen. Por lo tanto, todas estas rectas tocan la cir
cunferencia x2 + y2 = 1, que es la envolvente de (3.42).
www.FreeLibros.org
envolventes / 71
Las rectas P'Q, P'R de la figura 3.2 corresponden a los valores

paramtricos a, a + h. El punto de interseccin P' est dado por
las ecuaciones simultneas
<f>(x,y,a) = x eos a + y sen a1 = 0, (3.43)
<>(x.y} a+h) = 0 . (3.44)
Si restamos y dividimos entre h, obtenemos, aplicando el teorema

del valor medio,
h~x[j>{x,y,a+h) <>(x,y,a)] = cj>a(x.y,a + 6h) = 0, (3.45)
donde 0 < 6 < 1. Al tomar el lmite cuando h tiende hacia cero, ob

tenemos la posicin lmite de Pr, que es el punto de contacto P del
miembro a con la envolvente C. Por consiguiente, las coordenadas de
P se determinan mediante las ecuaciones simultneas
<j>(x, y, a) = 0, <>a{x,y,a) = 0. (3.46)
La ecuacin de la envolvente se obtiene al eliminar a con el con

curso de ambas ecuaciones. El resultado se aplica en general a una
familia <j>(x, y, a) = 0.
Por ejemplo, en el caso (3.43), la segunda relacin de (3.46) es
x sen a + y eos a = 0,
de suerte que y = x tan a. Al sustituir y por esto, en (3.43), encon

tramos que x = eos a, as que las coordenadas de P son x = eos a.
y sen a. Al eliminar a, se obtiene la envolvente x2 + y2 = 1.
www.FreeLibros.org
72 / el teorema de Taylor y su aplicaciones
Problema 3.15 Determinar la envolvente de la familia de circun

ferencias
A^+y22ay+;a2 = 0, a > 0.
Solucin. Se puede escribir la ecuacin de la familia en la forma
<}>{x,y,a) = xz+ ( y - a ) 1Ja2= 0, (3.47)
donde se ve que el miembro con parmetro a tiene centro en ( 0, a)

y radio a /V 2. En correspondencia con (3.46), tenemos (3.47) y
<f>a 2(ya) a = 0. (3.48)
Esto ltimo nos conduce a establecer que a = 2y, as que al eliminar

a entre (3.47) y (3.48) obtenemos
x2y2 = 0
como ecuacin de la envolvente. Es el par de rectas y = dzx, que

pasan por el origen con una inclinacin de 45 respecto a cada eje
de coordenadas. Q
Problema 3.16 Describir la envolvente de la familia de esferas
( x - a ) * + [ y - f ( a ) f + z 2 = 1, ' (3.49)
donde { es una funcin dada. Obtener su ecuacin f(a) = la + 1.
Solucin. La familia se compone de esferas unitarias, y el centro

del miembro con parmetro a est en el punto x = a, y = {(a ) ,
z = 0. Por lo tanto, todos los centros estn sobre la curva y = f(x)
en el plano xy. Guando a vara, la esfera con parmetro a describe
un tubo cuya seccin recta es una circunferencia unitaria. Esta su
perficie tubular es tangente a todos los miembros de la familia
(3.49) y se llama envolvente de la familia, en analoga con las
envolventes de curvas planas.
Obtenemos la ecuacin de la envolvente al eliminar a entre
<>{x,y,z,a) = { x ) 2+ [y /(a )] 2+z 21 = 0, (3.50)

y
$a{x,y,z,a) = - 2 ( x - a ) - 2 \ y - f ( a ) ] f ' ( a ) = 0 . (3.51)
www.FreeLibros.org
envolventes / 73
La eliminacin resulta imposible mientras se considere f(a) como

funcin general. Cuando /(a ) = 2a + 1, las dos ltimas ecuaciones
se reducen a
(* a )2+ (y2a1 ) 2+ 221 = 03 (3.52)
x - a + 2(y2a1) = 0. (3.53)
Si resolvemos la ltima para a y sustituimos en la primera, encon

tramos que la envolvente es
4,rs+ y 2-l-5224xy+4#2y4 = 0,
o sea,
[(y2x\) jy/bY+z* => 1.
La ltima forma exhibe la naturaleza de la envolvente, pues el

miembro izquierdo es el cuadrado de la distancia del punto (*, y, z)
desde la recta y 2x 1 = 0. Por lo tanto, la envolvente es un
cilindro circular unitario, cuyo eje es la recta citada, como tambin
puede deducirse de los comentarios generales anteriores. Q
Una familia biparamtrica de superficies tambin puede poseer
una envolvente. Supongamos, por ejemplo, que en (3.49) reempla
zamos f(a) por b, donde es un parmetro independiente de a.
Entonces, la nuevaecuacin representara una esferade radio uni
tario con centro en (a, b, 0). Cada una de tales esferas es tangente
al par de planos x = 1, que constituyen la envolvente de la fami
lia biparamtrica.
En general, la envolvente de la familia <>(*, y, z, a, b) = 0 se
obtiene (cuando existe) mediante la eliminacin de a y entre las
ecuaciones
<j> = 0, <>a = 0, <j>i> = 0. (3.54)
Problema 3.17 Encontrar la envolvente de la familia bipara

mtrica de planos z = ax + by + a2 + b2.
Solucin. En este caso, las ecuaciones de (3.54) son
z ax bya2b2 = 0 , x 2a = 0, y 2b = 0.
A partir de las dos ltimas, encontramos que a = \x, b ~ iy ,

y al sustituir en la primera, obtenemos la ecuacin que se busca:
2 = ~ U x 2+ f ) ,
www.FreeLibros.org
lo cual demuestra que la envolvente es el paraboloide de revolucin

obtenido por la rotacin de la parbola z = \x2, y = 0 alrededor
del eje z.
EJERCIOOS
1. Desarrollar xy2 + x2 + xy 1 en potencias de x 1 y y + 2

por medio del teorema de Taylor.
2. Desarrollar (1 x2 y2) como una serie de Taylor en po

tencias de x y y hasta los trminos de cuarto grado. Verificar el
resultado mediante el teorema del binomio.
3. Encontrar e identificar los puntos crticos de f(x, y) = e~x*

(2 xy + y2).
4. Encontrar e identificar los puntos crticos de u = 5x2 + 2y2 + z2

+ 2xy + 2z con el criterio D generalizado (3.23).
5. Encontrar las distancias mxima y mnima desde el origen hasta

la superficie (x/a ) 4 + (y/b)i + (z /c ) 4 = 1, donde a > b > c > 0 .
6. Sabiendo que u x2 + 2y2 + z2 + f2 posee un mnimo bajo las

restricciones 2x y + z + 2t = 4, x + 3y z + t = 2, encontrar su
ubicacin.
7. Encontrar la envolvente de la familia de superficies ax +

(y a) 2 + (z + a)2 = 0.
8. Encontrar la envolvente de la familia de todas las esferas que

pasan por el origen con centros en la parbola y2 = 4x, z = 0.
9. Obtener la envolvente de la familia biparamtrica de planos

Ix + my + nz = 1, donde /, m y n son constantes positivas que
satisfacen la condicin Imn =
27
.
www.FreeLibros.org
CAPITULO 4
In te g ra le s m ltip le s
4.1 Integrales dobles y repetidas Consideremos una funcin f(x,

y ) definida en una regin cerrada y acotada del plano xy. Sea 12
dividida en n subregiones, denotemos el rea de la t-sima subregin
por AA t (i = 1, 2, n) y por /j el valor de / en un punto arbi
trario (Xi, y i) de tal subregin. Si la suma
2 /AA
i= l
se aproxima a un lmite finito cuando las dimensiones de cada sub

regin se vuelven infinitamente pequeas (y n tiende hacia el infi
nito), tal lmite se llama integral doble de f(x, y) sobre R. Aqu,
suponemos que el lmite es independiente de la forma en la cual se
subdivide 12 y de la eleccin particular de los puntos (**, y). (Esto
se verifica siempre que f es una funcin continua.) La integral do
ble se simboliza por
(4.1)
R
Como ejemplo de lo anterior, supongamos que una fina lmina

de metal ocupa la regin 12, y que la densidad (masa por unidad de
rea) en la vecindad del punto (x, y) es <r{x, y). Entonces, en
nuestra lmina tendremos:
(i) rea = / / dA,

R
www.FreeLibros.org
75
76 / integrales mltiples
(ii) masa = / / a dA,

a
(iii) momento de inercia alrededor de Oy = / / xâdA,
B
(iv) momento polar de inercia alrededor de O f f (x^+fflvdA,
B
y as sucesivamente.
Si la subdivisin de R es rectangular, como en la figura 4.1, con
el rea comn de cada rectngulo como A4i = Ax Ay, por ejemplo,
se nos sugiere la idea de expresar la integral doble (4.1) en la
forma
1 =* ^ f { x , y ) dxdy. (4.2)
B
yaM
y,U)'
a x x + Ax b x
Figura 4.1
Se puede llevar a cabo la suma sobre los rectngulos, primero sobre

una faja paralela a Oy, seguida por una suma sobre todas esas
fajas. Este procedimiento nos conduce a expresar I como una inte
gral repetida. Supongamos que cada recta x = const. que cruza la
frontera de R lo hace precisamente en dos puntos, donde y = yi(x),
y y = y2{x), (yx < y2). Entonces,
1= I ] f{x,y)dy\ dx, (4.3)

Jo {JVi(x) )
donde a y b son los valores menor y mayor de x en R.

De la misma manera, si cada recta y = const. que cruza la fron
tera de R lo hace precisamente en dos puntos, donde x = x^(y) y
x = x2(y), (*i < x2), entonces, obtenemos otra forma de la integral
en la expresin anterior, obtenemos otra forma de la integral repe
tida:
www.FreeLibros.org
integrales dobles y repetidas / 77
(4.4)
donde c y d son los valores menor y mayor de y en R.

Si R no posee las propiedades que hemos supuesto para aplicar
(4.3) y (4.4), tal vez podamos descomponer R en un nmero finito
de partes tales que la aportacin de cada parte a I es, por separado, de
la forma (4.3) (4.4). Esto nos permite expresar I como una suma
de esos trminos.
En (4.3) y (4.4) pueden omitirse las llaves. Algunos autores
intercambian el orden de dx y dy una vez que se retiran las llaves;
en esta obra no procederemos as.
Problema 4.1 Si R es el rectngulo 0 x ^ 1, 1 y 2,
expresar la integral doble de x2y2(x2 y3) sobre R como una inte
gral repetida en dos formas distintas, y evaluar cada una de ellas.
Solucin. Si empezamos a integrar respecto a y, con x constante,

obtenemos
Si empezamos por integrar respecto a x, con y constante,
como antes.
www.FreeLibros.org
Problema 4 .2 Encontrar la masa de una lmina delgada de

metal situada en el cuadrante positivo del plano xy y limitada por
las lneas y = 2x + 1, y = x2 + 1, si su densidad en el punto (x, y)
es x*y.
Solucin. Las lneas y = 2x + 1 y y = x2 + 1 se cortan en los
puntos (0, 1) y (2, 5). (El lector debe hacer un esquema.) Por lo
tanto, la masa total est dada por la integral
*2 f2ar+l " 2 j i/=2s+l

M = i | x2y dy dx = \ \\x2y dx
= i I [x2{ 2 x + \ y - x ? ( x 2+ \ y] dx =
J a 35

Problema 4.3 Evaluar
(4.5)
cambiando primero el orden de integracin.
Solucin. Observamos que la integral resulta difcil de evaluar

sin alterar el orden de integracin, ya que como
deberamos tener
I = I |x senhJ (y/^) dx
a
[x senh^(a/x) x senh-1 1] dx,
o
lo cual no se integra con facilidad.

Al cambiar el orden, precisamos cambiar los lmites. Para encon
trar los nuevos lmites, examinamos la regin R sobre la cual se
aplica la integral doble que corresponde a 7. A partir de (4.5),
tenemos que x ^ y ^ a, de suerte que R est acotada inferiormente
por parte de la recta y = x, y acotada superiormente por parte de la
www.FreeLibros.org
integrales dobles y repetidas / 79
recta y = a. Estas rectas se cortan en (a, a) y como los lmites para

x son 0, a, la regin R es la que vemos en la figura 4.2.
Toda recta y = const. que corta la frontera de R en dos puntos,
lo hace en * 0 y x = y{P, Q en la figura), as que stos son
los lmites para x cuando integremos primero con respecto a esta
variable. Por lo tanto,
7=1 j [x/y/(x2+ y2)]dx dy

Jo Jo
'a I x=y
| y' (xz + y2) dy
(\ /2 y-y)dy = i(\ /2 - l )a?.

y
o X
Figura 4.2
Problema 4.4 Cambiar el orden de integracin en la integral

repetida
sen xy dx dy, (c > 0 ). (4.6)
Solucin. El lmite inferior para x satisface la ecuacin
x2+ y ! 2cy = 0,
es decir,
*2+ { y ~ c ) * = c2, (4.7)
mientras que el superior satisface
x* = 2cy. (4.8)
www.FreeLibros.org
80 / intgrale mltiples
Por consiguiente, la regin de integracin R para la integral doble

que corresponde a I est acotada a la izquierda por una parte de
la circunferencia (4.7J y a la derecha por una parte de la parbola
(4.8). Como 0 ^ x ^ 2c, R es la regin sombreada en la figu
ra 4.3, y Q, es el punto (2c, 2c).
Como no todas las paralelas a Oy cortan la frontera de R en no

ms de dos puntos, debemos dividir R en tres partes R1} i?2, R3,
como vemos en la figura, mediante un corte a lo largo de la recta
x = c. Denotemos por I lf 13, I3, respectivamente, las aportaciones a
I de cada una de tales partes. En Rx los lmites para y son xz/2c,
2c, mientras que los de x son c, 2c, de donde
(*2C p 2 C
7i = I | sen xy dy dx.
J e J V2C
Al considerar de la misma manera las otras dos aportaciones,

encontramos, puesto que I = I x + I2 + I3,
2c P2c Pe e c - y ( -* )
| sen xy dy dx + I I senxydydx
c J */2e J 0 J */2c
n 2C
sen xy dy dx. Q
www.FreeLibros.org
c+yc-*1)
transformaciones de las integrales dobles / 81
4.2 Transformaciones de las integrales dobles Mediante un

cambio apropiado de variables (transformacin)
* = * (, y), y = y(u, v), (4.9)
podemos expresar una integral de la forma
7 =
R
f(*y)dxdy (410>
como una integral doble sobre la regin imagen S en el plano uv.

Supongamos que las funciones en (4.9) son continuas y tienen
derivadas continuas de primer orden, y que el jacobiano
J = d(x,y)/d(u,v)^0 (4.11)
cuando (, v) est en S. Entonces se pueden invertir las relaciones

de (4.9), lo cual indica que puede identificarse un punto en la
regin jR con igual propiedad, dando los valores de (u, v) como
dando sus coordenadas (x, y). Llamaremos a (u, v) coordenadas
curvilneas en la regin, debido a que las dos familias de lneas
u const., v = const., (4.12)
son, en general, curvas.

Supongamos que se divide R en elementos de rea por medio de
una red de curvas u = const., a espacios regulares Au, y curvas
v = const., a espacios regulares Av. Un elemento tpico es aproxi
madamente un paralelogramo cuyos vrtices A, B, C, D tienen
coordenadas curvilneas (w, y), (u + Au, v), (u, v + Av), (u + Au,
v + Ay), respectivamente, y con rea
AB'AC sen BAC = 1ABAAC| (4.13)
en notacin vectorial. Como v es constante a lo largo de AB, los

incrementos enx yy entre estos dos vrtices son aproximadamente
dx dy
x B - x A = Au, yB - y = Au,
du du
www.FreeLibros.org
lo cual nos da como componentes rectangulares de A B :
/dx dy \
AB = ( Au, A ).
Vdu du )
Un resultado correspondiente para AC es
AC = ( Av,
I a" ) 1
y as, cuando formamos el producto vectorial de (4.13), obtenemos

una expresin para el rea del paralelogramo elemental:
dx dy dy dx d{x,y)
AuAv = AuAv, (4.14)
du dv du dv d(u,v)
donde se han considerado despreciables los trminos de grado supe

rior al segundo en Au y Av.
Si aplicamos el proceso (4.1) de tomar el lmite con esta sub
divisin de R, obtenemos una integral doble equivalente a (4.10):
d{x,y)
= | | / ( * , y ) dx dy = | | f[x{u, v) ,y( u, v )] du dv, (4.15)
d{u,v)
donde S es la imagen en el plano uv, de la regin R. Observe el

lector que lo que aparece en (4.15) es el valor absoluto del jacobia-
no (4.11).
En el caso particular de la transformacin hacia las coordenadas
polares en el plano (r, 9) , dadas por x = r eos 0, y = r sen 9, en
contramos :
7 = 3{x,y)/d{r, 0) = r.
De ah que
I = || f(r eos 0, r sen 9)r dr d9, (4.16)
donde S es la regin adecuada del plano r. Si bien el jacobiano se

anula en un punto, x = 0, y = 0, no se presenta dificultad alguna
cuando R incluye este punto. Siempre podemos considerar I como
el lmite de una integral sobre una regin modificada R u que for-
www.FreeLibros.org
mamas al eliminar de R una vecindad del origen. En condiciones

normales, esto vuelve a conducimos a (4.16) sin cambio.
o v
[vo-y)
(* 2+ y 2) s/! dx dy,
-O J -
YCo-v2)
mediante un cambio hacia coordenadas polares.

Solucin. Como V (a2 y2) x V (a? y2)equivale a
x2 ^ a2 y2, la regin de integracin en el plano xyest limitada
por la circunferencia de radio a y centro O. La regin correspon
diente del plano r6 es, por lo tanto, rectangular, y est dada por
0 r a, 0 0 2tt. En consecuencia, por (4.16).
2T P a P 2v P a
o jo
I .r 0 I
Jo J o
I f y. Q

2 ir I la f2?r
Ir5 d9 = a5 de = 2iras/5.
o | |o Jo
Problema 4.6 Encontrar el rea de la regin en el cuadrante

positivo del plano xy limitada por las curvas
x2+ 2y2 = 1, x2+ 2y2 = 4, y = 2x, y = 5*.
Solucin. Ponemos
u= x2+ 2 f , v = y/x. (4.17)
Entonces, laimagen en elplano uv de la regin dada R es la regin

rectangular : 1 m 4, 2
a (a, o) _ ux ux 2* 4y
d(x,y) Uy Mj, ~ y x 2 IJx
= 2+4/1 x2,
asi que
d(x,y) 1 1
0 (u, v) 2+4//X2 2 ( 1 + 2^ )
www.FreeLibros.org
Por lo tanto, para R tenemos:
Area = JJ 1 dx dy = l d(x,y)/d(u,v) du dv
5 f* du dv 1 , 4
tan-1 V 2v\ du
2 J 1 2(1 + 2^ ) = J2; 2V 2 |x
3
2\/2
(tan-14 V 2 tan_1V 2) = tan-1 f-Y
2V 2 \ 3 )

Problema 4.7 Evaluar la integral
I JJ V[ - (*7*2) - i f / b 2)] dx dy, a > 0, b > 0, (4.18)

R
donde R es la regin confinada por la elipse (x2/a2) + (y^/b2) = 1.

Solucin. La forma del integrando, y la naturaleza misma de la
regin, nos sugieren la sustitucin
x/a = u eos v, y/b = u sen v. (4.19)
La regin transformada es el rectngulo 0 ^ u ^ 1, 0 ^ v ^ 2ir. El

jacobiano de la transformacin se determina fcilmente:
d(x, v) / 0 (m, v) = abu,
y de ah, por (4.19), obtenemos
www.FreeLibros.org
/ = J er*2 dx, (4.20)
expresando I2 en la forma de una integral doble y transformando

hacia coordenadas polares.
Solucin. La integral es impropia, pues el intervalo de integra
cin es infinito. Al operar, debemos tener presente que la notacin
en (4.20) se interpreta
I = lm l a = lm | e~x2 dx, (4.21)

a->oo a->oo J 0
y suponer que exista tal lmite. Como x acta tan slo como variable
simblica en (4.12), igual podemos poner
/ = I]***dy>
y, como el valor de / tan slo depende de a, tenemos
I2
a= /-* dy = dx j er+ dy

a /fa \ f a *a
( I <r*! e-v*dx J dy I I e"(*J+1,S) dx dy.
o \J o / JoJo
Por lo tanto, sidenotamos por Ra la regin cuadrada 0 <! x a,

0 < y < ,obtendremos una expresin para I 2 entrminosde una
integral doble (en el lmite):
I2 = lm l\ = lm I [ dx dy.
a->co a->oo /J
La transformacin a coordenadas polares (r, 9), donde x = r

eos 9, y r sen 6, conduce a reemplazar dx dy por r dr dO (ver
4.16), y, por lo tanto,
www.FreeLibros.org
donde Sa es la imagen, en el plano r6, de Ra. Aqu se complicarn

los lmites, porque una regin cuadrada no se presta para la intro
duccin de coordenadas polares.
Pero observamos que Ra contiene la regin consistente en un
cuarto de crculo Ca : x2 + <f- ^ a2, x 0, y 0, y como er^ ^
es positivo, su integral doble sobre C es menor que P . Del mismo
modo, P es menor que la integral doble de e~l-x,*v) sobre Cy2a (que
contiene a Ra) . Sin embargo, cuando a tiende hacia el infinito,
las integrales dobles sobre Ca y CV2a deben tender al mismo lmite,
con lo cual vemos que el lmite en cuestin debe ser P. Por lo tanto,
Pa
I e~rir dr dd
o Jo
i* I
-
.Xg-
2 r*
o
= lm tt(1 -er*>) = J,
a-*ca
de donde I = V t .
Este es uno de varios mtodos para evaluar la importante inte
gral (4.20) y tiene xito debido a la introduccin del factor r como
el jacobiano de la transformacin hacia coordenadas polares. Q
4.3 Integrales triples Supongamos que f(x, y, z) es una funcin

definida en una regin R cerrada y acotada en el espacio tridimen
sional, y supongamos que se divide i? en ra subregiones, de las cuales
la t-sima tiene volumen A Vi (i = 1, 2, . . . , ra). Si denotamos por ft
el valor de / en un punto arbitrario en la -sima subregin, enton
ces la integral triple de / sobre R es
1 = ff
wJJ
f ( * >y >z ) d V = n->oo
lm 2 fi&Vi,
i= l
(4.23)
B
siempre y cuando exista un lmite definido en el segundo miembro

cuando las dimensiones de todos los AVi tienden a cero (sin to m a r
en cuenta la forma de subdividir). Esto sucede siempre que / es
continua.
www.FreeLibros.org
integrales triple / 87
Podemos expresar la integral triple como una integral repetida,

como se hizo con la doble.
Problema 4.9 Encontrar (i) la masa total, (ii) el momento de

inercia alrededor de Ox de un cuerpo que ocupa el octante positivo
de la esfera x2 + y2 + z2 1, con densidad p(x, y, z) = x2yz.
Solucin, (i) La densidad p es la masa por unidad de volumen
del cuerpo en la vecindad del punto (x, y, z) , as que, si R denota
la regin ocupada por el cuerpo, su masa total ser
(4.24)
B
Como se indica en la figura 4.4, ejecutaremos primero la suma

sobre los bloques que forman un prisma rectangular paralelo a Ox
(con y y z como constantes). En el prisma se verifica la desigualdad
0 < X < V ( 1 ~ y2 z2) . A continuacin, sumamos sobre todos los
prismas que forman una capa paralela al plano xy (con z constan
te) . En esta capa, tenemos 0 y ^ V (1 z2) . Por ltimo, suma
mos sobre todas esas capas, 0 ^ z ^ 1. Este procedimiento conduce
a expresar (4.24) como la integral repetida
xsyz dx dy dz
1 1
192
0
www.FreeLibros.org
(ii) El momento de inercia alrededor de Ox es
/ . = |j| ( f + z2) PdV
(y2+ z 2)x3yz dx dy dz
n V(i-z!) I Iv'.i-v3-*2)
x4 (y2+ z 2)yz dy dz
o o
VU-**)
(1 y 2z2) 2(y2+ z2) yz dy dz
- * n
-*n [(1 - y 2- z 2) 2- (1 - j ? - z 2) 3] yz dy dz.
Podemos expresar esta integral repetida como la diferencia de dos

integrales, en correspondencia con cada uno de los trminos en el
interior de los corchetes. La primera integral es la que ya evaluamos
en (i). La segunda puede evaluarse de la misma manera, y encon
tramos que
V (i- )
de donde
n o
j
*
(1y2z2) 3yzdydz =
__ i
192
i_
320
2
5

www.FreeLibros.org
transformaciones de las integrales triples / 89
4.4 Transformaciones de las integrales triples Si
1= B ^X>y^dXdydZ> (4-25)
y cambiamos las variables de acuerdo con la transformacin
x = x(u, v, w), y = y (u ,v ,w ), z = z(u ,v ,w ), (4.26)
d(x,y,z)
dv dv dw, (4.27)
1= B FÛ>V>^ d(u, v, w)
donde es la imagen en el espacio uvw de la regin R, y
F{u, v, w) = f[x{u ,v,w ), y(u, v, w), z{u,v,w )\
Suponemos aqu que las funciones (4.26) son continuas y tienen de

rivadas parciales continuas, y que el jacobiano d{x, y, z) / d(u, v, w)
no cambia de signo dentro de la regin de integracin.
Las transformaciones a coordenadas polares tridimensionales re
visten importancia.
Coordenadas polares cilindricas (figura 4.5):
x = p cos<>, y p sen<, z z, (4.28)

/ = d(x,y,z)/d(p,^,z) = p.
P (p ,t,z)
x/
Figura 4 .5
www.FreeLibros.org
Coordenadas polares esfricas (figura 4.6):
x = r sen 9 eos <j>, y r sen 6 sen <f>, z r eos 9, (4.29)

J = d(x,y,z)/d(r,9,<f>) Ia sen 0.
I = JJJ xyz(x2+ y z + z^)~^ dx dy dz.

B
donde R es el octante positivo de la esfera x2 + y2 + z2 ^ a2.
Solucin. Mediante una transformacin a coordenadas polares

esfricas, obtenemos
J (*j5r *o
I I r2 sen2 6 eos 9 eos <sen <j> r2sen 0 dr d9 d<j>
o J o Jo
JI 1
r5 sen3 0 eos 9 eos <f>sen <j>d9 d<j>
o Jo |7 o
i sen4 9 eos < sen <j>d<f>
i*
= a5 sen2<j>
20
= a5/40.
www.FreeLibros.org
Problema 4.11 Encontrar el volumen de la regin superior con

finada por la superficie de revolucin 4 (x2 + y2) = z? y la esfera
x2 + y2 + z2 = 3.
Solucin. En trminos de coordenadas polares cilindricas, la
ecuacin 4(x2 + y2) = z4 se convierte en 2p = z2, lo cual demuestra
que se trata de la superficie obtenida por rotacin de la parbola
y = |z2, x = 0 (con eje Oy y vrtice en el origen) alrededor de Oz.
La ecuacin de la esfera en coordenadas polares cilindricas es
p2 = 3 z2, y ambas superficies se intersecan en donde 3 p2 = 2p.
Como p ^5 0, las ecuaciones de las dos circunferencias horizontales
de interseccin son
p = 1, z = V2.
En la regin R que nos interesa, tenemos
V (2 p ) < Z < V( 3 - p 2) ,
y el volumen de R es
II J [ l - ( x / a ) 2- ( y / b ) 2- ( z / c y f dxdydz, (4.30)
B
donde R es la regin encerrada por el elipsoide (x/a) 2 + (y/b) 2

+ (z/c) 2 = 1.
www.FreeLibros.org
Solucin. Vamos a emplear un tipo modificado de coordenadas

polares, poniendo
x/a = r sen$ cos<>, y/b = r sen 0 sen <j>, z/c = r eos 0 (4.31)
La regin R est dada en estas coordenadas por
0 < r < 1, 0< 0< ti-, O < 0< 2tt,
y el jacobiano de la transformacin (4.31) resulta, mediante

clculos directos,
3 (x, y, z) /0 (r,0,<j>) = ber1sen 0.
Por lo tanto, la integral (4.30) se transforma en
l p27T
i | I (1 - r2) 'âber2 sen 0 d<>dd dr
Io J o J o
= 2Trabe
rr{i_
Jotlo
(1 r2) */2r2 sen 9 d9 dr
= 2-n-abcj 1 (1 r!)v r ! -c o s 0 dr
o
= A-n-abc | (1 r2) ,/sr2 dr.
La sustitucin r = sen a reduce la ltima integral a una forma

estndar elemental, de donde obtenemos el valor de la integral
(4.30):
Arrobe I eos4a sen2a da = iifabc.
/ = JJJ (x + y + z ) ( x + y z) ( x - y - z ) d x d y d z ,
donde R es el tetraedro limitado por los planos x + y + z = 0,
x + y z = 0, x y 2 = 0, 2x z = 1.
www.FreeLibros.org
Solucin. La forma de la integral y las ecuaciones de tres de

los planos que limitan R nos sugieren la transformacin
u = x+ y+ z, v = x + y z, w x y z, (4.32)
cuyo jacobiano es
1 1
3(u, v, w)
1 -1 = -4 ,
3 (x,y,z) 1 -1
as que \d(x, y, z) /3(w, v,w)\ La ecuacin 2x z = 1 se con

vierte en
( u + w ) - ^ ( u - v ) = 1,
es decir,
u + v + 2 w = 2,
de suerte que la regin S en el plano uvw que es imagen de R bajo

la transformacin (4.32) es el tetraedro limitado por los planos
= 0, v = 0, w = 0, u + v+2w = 2.
El ltimo de estos planos corta los ejes u, v y w en los puntos

(2, 0, 0), (0, 2, 0), (0, 0, 1), respectivamente, y por lo tanto S
es el tetraedro que aparece en la figura 4.7.
, 2, 0 )
u
Figura 4 .7
Para encontrar los nuevos lmites de integracin, consideremos

un plano arbitrario u = const. que corte a . A lo largo de cual
quier recta v = const., interceptada por S, tenemos que 0 w^ 1
www.FreeLibros.org
+ z>). Aqu, z) debe satisfacer O v ^ 2 m, mientras que

u, a su vez, O ^ u ^ 2. Por lo tanto,
2 ||*2-UI(l-JU+D) \uvw dw dv du.

o jo Jo
Ahora la integracin puede llevarse a cabo directamente, y con

duce al valor
I = 1/180.
Por supuesto, se obtiene el mismo valor al ejecutar la integracin en

cualquier otro orden, si se introducen los lmites adecuados. Q
EJERCIOOS
1. Evaluar las integrales
3 fjT t*l
0
(2x + y ) 2dy dx. (ii) I I r eos 0 dr dO.
0 J o * / eos 6
Bosquejar las regiones del plano xy sobre las cuales se toman las
integrales dobles correspondientes, si x = r eos 6, y = r sen 0, en
().
0 V*
(x2 + y2)dydx. Hacer un esquema de la regin
X
para la integral doble correspondiente y verificar la evaluacin in-

virtiendo el orden de integracin.
3. Aplicar la transformacin u = x 2y, v = x + 2y a fin de eva

luar
n 2-2V
exp [(* 2y) / (x + 2y)] dx dy.
4. Evaluar o
JJ V (1 x* y*) dx dy.
donde 12 es la regin x ^ 0, y ^ 0, x* + y* 1, por medio de la

transformacin x2 = u eos v, y2 = u sen v.
www.FreeLibros.org
5. Encontrar el volumen de la regin finita situadaentre las super

ficies z = l x2 y2 y z 13 4(x2 + y2) .
6. Demostrar que el centroide del octante positivo(x ^ 0, y ^ 0,

z ^3 0) de la esfera slida x2 + y2 + z2 5^ a2 est en el punto
x = y = z = fa. (El centroide (x, y, z) de una regin tridimensional
R se define como
Vx = x dx dy dz,
con las formas correspondientes para y, z, donde V es el volumen y

la integracin se lleva a cabo sobre R.)
7. Evaluar
x^x'^y^'z^xfydz,
donde R es la regin limitada por los planos x = 0, z = 0, y z = 0,
x + y + z = 1.
www.FreeLibros.org
www.FreeLibros.org
CAPITULO
In te g ra le s d e ln e a y d e s u p e rfic ie
5.1 Integrales de lnea En este captulo entenderemos por curva

un conjunto uniparamtrico de puntos P(x, y, z), definidos por
relaciones de la forma
* = x (t), y = y (t), z = z(t), (5.1)
donde toma todos los valores en algn intervalo a ^ t ^ b y las

funciones que aparecen en (5.1) son continuas. Una curva que se
corta a s misma lo har en puntos mltiples, es decir, puntos (x, y,
z) correspondientes a ms de un valor de t. Si los puntos correspon
dientes a.t = a y t = b coinciden, la curva es cerrada.
Una curva carente de puntos mltiples se llama s i m p le una
curva cerrada sin pimos mltiples aparte de sus extremos que coin
ciden, se llama curva simple cerrada.
Cuando las funciones en (5.1) tienen derivadas, y tales derivadas
no se anulan todas en el mismo punto, la curva posee una direccin
tangencial que tiene la direccin del vector con estas derivadas como
componentes:
[(t), / ( < ) , z '{t )l (5.2)
Si la direccin tangencial vara continuamente de uno a otro punto,

es decir, si las componentes de (5.1) son continuas, se dice que la
curva es suave.
Problema 5.1 Encontrar la longitud de la curva C:
x = 3 eos t, y = 3 sen t, z = f2, (0 ^ t ^ 1).
www.FreeLibros.org
97
98 / integrales de lnea y de superficie
Solucin. Consideremos primero una curva suave general de la

forma (5.1). Supongamos que nos aproximamos a ella mediante una
lnea poligonal de n segmentos que une los puntos con parmetros
tu = a, ti, t2, . . t-i, t = b. El segmento (tk, tM ) tiene la longi
tud
Afc = [(A*fc)2+ (Ayfc)2+ (Azfe)2]*, (5.3)
donde Axk x(tî) x(tk), y A%, Azk reciben las definiciones

correspondientes. Por el teorema del valor medio, tenemos que
Axit = x'(rjc) (fcrt h ),
donde Tk est entre tk y t^n, junto con dos expresiones similares j>ara
los incrementos de y y z. Si sustituimos en (5.3), sumamos sobre to
dos los segmentos y tomamos el lmite cuando ^+1 * -> 0 y m- oo,
obtenemos la integral
j V ,2( o + y 2( o + ^ 2( o ? ^ (5.4)
que se define como la longitud de la curva suave (5.1).

Para la curva en cuestin, C, tenemos:
x'(t) 3sen, / (t) = 3 eos t, z'() = 2f, (5.5)
de donde, por (5.4), la longitud requerida es
(9 + 4 e ).* -i[2 V 1 3 + 9 1 ^ ll)].
Si denotamos por s la longitud de arco a lo largo de la curva,

medida desde el extremo t = a, entonces
ds/dt = [*(*) + / 2() (5.6)
y podemos escribir (5.4) en la forma
J *.
0
www.FreeLibros.org
integrales de lnea / 99
Si f(x, y, z) est definida en todos los puntos sobre C y multiplica

mos cada segmento poligonal por el valor de / en un punto arbitra
rio sobre el arco interceptado por el segmento, entonces el proceso
de tomar el lmite que conduce a (5.4) resulta en
| fds = x ( t ), y (t ), z{ t ) Yt dt- (5-7)

c
Problema 5.2 Evaluar la integral de lnea
J (y + xyr1+ 2yz) ds,

o
donde C es la curva x = z, y = t, z = 1, 0 ^ t ^ 1.
Solucin. Se usa el trmino integral de lnea para hacer nfasis

en el hecho de que la integracin se realiza a lo largo de una curva
0 lnea especificada. Por (5.6) y las ecuaciones que definen C,
ds/dt = [(2f)2+ (1) + (O)]4 = (42+ l ) i .
Por lo tanto, al expresar x, y y z, en el integrando, en trminos de f,

obtenemos para la integral que se busca
1 ( + t + 2 0 ( 4 * + l ) * = 4 ( ( 4 2+ l ) M = (5 V5 1)/3.
Jo Jo
La forma (5.7) no es la nica forma de la integral de lnea de una

funcin f(x, y, z) sobre una curva C. Supngase que aproximamos
C mediante una lnea poligonal de n segmentos, siendo xc, xî las
coordenadas x de las extremos de un segmento representativo; y sea
fie el valor de f en un punto, arbitrario del arco de C interceptado
por este segmento. Si la suma sobre todos estos segmentos
2 /fcixlc+l xle)
%
tiende a un lmite definido cuando **+1 0 y n oo, se deno

ta tal lmite por
www.FreeLibros.org
| f{x,y,z) dx.
c
Las integrales de lnea con respecto a y y z se definen de la misma

manera.
Problem a 5.3 Evaluar
(5.8)
o
donde C es el arco semicircular de la circunferencia x2 + y2 = 1,

2 = 0, para el cual y 2 0 y x crece desde 1 hasta 1.
Solucin. El tercer trmino del integrando se anula sobre C,
pues 2 = 0. En los otros dos trminos, ponemos y = V (1 ~ x2), con
lo cual obtenemos para (5.8),
I jx2( l - * 2) + * v (1X2) ] dx = i* 3-X8i ( l x2) ^

J -i 6 -i
Obsrve el lector que si se lleva a cabo la integracin a lo largo

de la misma curva pero en sentido opuesto, habra que intercambiar
los lmites de la ltima integral, y el valor sera .
Otro procedimiento consiste en expresar la ecuacin de C en la
forma paramtrica x eos t, y sen t, z = 0, donde t crece desde
ir hasta 0. Entonces dx = sen t dt y (5.8) queda como
(eos21sen2 + cos t sen t) ( sen t di),
que, al integrarse, vuelve a producir el valtr 4/15.

( 5 .9 )
www.FreeLibros.org
donde (i) C es la curva x t, y = 2t, z i2 1, con t creciendo

desde 0 hsta 1, (ii) C consta de dos segmentos rectilneos, desde el
origen hasta el punto (1,0, 1) y desde . (1, 0, 1) hasta el punto
(2, 3, - 3 ) .
Solucin. La notacin en (5.9) denota la suma de tres integrales

de lnea separadas, que deben integrarse respectivamente con respec
to a x, y y z.
(i) Ponemos x, y y z en trminos de t en el integrando, mediante
las ecuaciones que definen C. Como se tiene que
dx dt, dy = 2dt, dz = 2tdt,
I = r { [ 4 2- ( 2- l ) ] + 2(2- l ) { 2 d t ) + t ( 2 t d t ) }
1 (4f3+ 5f24 + 1 )
ti +-'t3
3
2t2+ t n1 = -3
(ii) Denotemos por Cl3 C2 los segmentos rectilneos desde O hasta

(1,0, 1) y desde (1, 0, 1) hasta (2, 3, 3). A lo largo de Ci
tenemos y = 0 y z = x, de modo que dy = 0, dz dx. Por lo
tanto, la aportacin a / a lo largo de Cx es
1
(x dx xdx) = 0.
0
Para C2, observamos que la forma estndar para las ecuaciones car
tesianas de la recta que une los puntos (*i, yi, Zi) y (x2, y2, z2) es
x xx _ y yx _ z -z x
xzxx y z -y x z2zx
Por consiguiente, <la recta sobre la cual se encuentra C2 tiene las

ecuaciones
www.FreeLibros.org
x y 0 z ( 1)
2^1 ~ 3 ^ 0 ~ 3 ( 1) 5
lo cual resulta en
y = 3 ( x 1), z = l 2x, (5.10)
y, tomando diferenciales,
dy = 3 dx, dz = 2 dx. (5.H)
Al hacersustituciones en (5.9) con la informacin de (5.10),

(5.11), conCi en lugar de C, encontramos la aportacin a I de C2:
Ict = J 2 ( I2x2+ 2\x10) dx,
despus de hacer algunas reducciones. Esto conduce a
- 4 * * + *2-1 0 x
2
Luego
/ = ICl+ Ic2 = 0 - ^ =
Las integrales de linea de la forma
| [P{x,y,z)dx + Q( x, y, z)dy+R(x, y, z)dz] (5.12)
tienen gran importancia en aplicaciones fsicas y suelen expresarse

en notacin vectorial. Denotemos por F el vector cuya forma en
componentes rectangulares es
F = P i+ O j+ t fk ,
donde i, j, k denotan los vectores unitarios a lo largo de Ox, Oy, Oz,

respectivamente. Entonces, se asocia un valor particular de F con
cada punto (x, y, z). (F se llama funcin vectorial de punto o de
campo.) En particular, F tiene un valor en cada punto de C.
www.FreeLibros.org
Sobre C, los valores de x, y y z pueden expresarse como funcio

nes de la longitud d arco j a lo largo de la curva, medida desde el
punto inicial. El vector
dx dy dz
t= T + /j+ T -k (5.13)
as as ds
est en la direccin del vector tangente, y apunta en el sentido en

que crece s. Adems, como ds2 = dx2 + dy2 + dz2, la magnitud de t
es 1, es decir (5.13) es el vector unitario tangente a C. Si introduci
mos la diferencial del vector de posicin,
dr = dxi+dyj + dzk,
vemos que podemos escribir (5.12) en cualquiera de las formas del

producto escalar:
JF-fr J (F -t)*. (5.14)

o c
Por ejemplo, si F es la fuerza que acta sobre una partcula P

cuando est situada en el punto {x, y, z), entonces el trabajo reali
zado por F cuando P se mueve a lo largo de la curva C es la inte
gral de la componente tangencial de F con respecto a la distancia de
arco medida a lo largo de C, y est dado por (5.14).
Problem a 5 .5 Si F = (y 2z)i + xyj -h (2xz + y) k, evaluar

f F - d r a lo largo de la curva C del problema 5.4(i).
Solucin. Debemos evaluar
J [[(y- 2z) dx+xy dy+ (2x+y) dz],

o
donde C est definida por x t, y = 2t, z = 2 1, y t crece desde

0 hasta 1. Las ltimas ecuaciones resultan en:
dx = dt, dy = 2 dt, dz = 21 dt,
www.FreeLibros.org
as que, una vez efectuada la sustitucin, la integral que buscamos

queda como
J F-rfr = J 1 2(2f4+ 2+ +l)df =

c
5.2 El teorema de Green en el plano En una forma de este

teorema se afirma que si R es una regin del plano xy limitada por
una curva simple cerrada C, y si P(x, y), Q{x, y) son continuas y
tienen derivadas parciales de primer orden que tambin son conti
nuas en R y sobre C, entonces
| (P dx+Qdy) = ^ dx dy, (5.15)

a b
donde se describe C en el sentido positivo (es decir, en el sentido

contrario al movimiento de las manecillas del reloj cuando se mira
el plano desde el lado del eje positivo z, con lo cual R queda siempre
del lado izquierdo al efectuar el recorrido).
Guando R tiene la propiedad de que C se interseca en no ms
de dos puntos con toda recta paralela a uno de los ejes de coorde
nadas, la demostracin resulta elemental. Pues podemos considerar C
como si consistiera de una curva inferior y = yi(x) y otra supe
rior y = y2(x), donde y2 > yx y x vara sobre un intervalo
a^ x . Como el sentido de descripcin de C es positivo, x cre
cer desde a hasta a lo largo de la curva inferior, y decrecer desde
b hasta a a lo largo de la superior. Por consiguiente,
P dx ~ I P[xJy1(x)]dx + I P[x>y2(x)]dx
Ja J&
0
= - j^[P(x,;)/2) - P f o y O j d *
" L (Zwi y) ffr

R
dxdy (516)
Si intercambiamos los papeles de x y y, podemos ver a C como com

puesta por una curva izquierda x = xx(y) y otra derecha
x = *2(y), con x1 < x2, y demostrar que
www.FreeLibros.org
el teorema de Green en el plano / 105
\ a d y = \ \ ^ dxdy- (5,17)
O B
Al sumar (5.16) y (5.17) obtenemos el resultado que sq busca.

El teorema es vlido incluso cuando R no satisface la condicin
indicada en la demostracin anterior. La extensin para regiones
simplemente conexas ms generales del plano requiere de un anlisis
ms detenido, donde interviene la subdivisin. (Una regin simple
mente conexa R, de una superficie o en el espacio tridimensional,
es aquella en la cual toda curva cerrada puede encogerse en forma
continua hasta reducirse a un punto, sin salirse de R. Por ejemplo,
en el plano, un disco es simplemente conexo, pero un anillo no lo
es; en el espacio tridimensional, la esfera slida es simplemente conexa,
pero el toro no lo es.)
Problem a 5.6 Extender el teorema de Green al caso en que R

es el anillo b2 ^ x2, + y2 ^ a?, sobre la base de la validez supuesta
del teorema para cualquier regin simplemente conexa del plano.
Solucin. Denotemos por Ci y C2 las circunferencias mayor y
menor, respectivamente, que juntas limitan R (figura 5.1). Inter-
G%
Figura 5.1
pretaremos, en cada caso, el sentido positivo de descripcin de las

partes Ci y C2 de la frontera como aquel en el cual R queda siempre
hacia la izquierda.
Vamos a introducir un corte transversal AB desde Cx hasta C2,
a fin de formar la curva cerrada Cu AB, C2, BA, que encierra una
regin simplemente conexa. Si aplicamos (5.15) a esta regin, vemos
www.FreeLibros.org
que, al cancelarse las aportaciones de AB y BA a la integral de

lnea,
(P d .+ Q J ,)
donde C denota la suma de las curvas Ci y C2, descrita cada una de

ellas en el sentido positivo.
Por supuesto, se puede aplicar el mismo procedimiento a casos
ms generales. - O
Problema 5.7 Demostrar que la integral de lnea
\x(x2+ y2)d.x+ (2x + ^ y + ^ d y ] ,
donde C es una curva simple cerrada en el plano xy, es proporcio

nal al rea de la regin R encerrada por C.
Solucin. Ponemos P = x{x2 + y2), Q = 2 x + x 2y + y 3. Entonces,
sq ap
~ - = (2 + 2 x y ) - 2 x y = 2 .
ox dy
Por consiguiente, segn el teorema de Green, la integral dada es
^ (P dx + Qdy) = j j 2dxdy = 2A,

c R
donde A es el rea de R. De esto se deduce la validez del resultado.
Problema 5.8 Si P(x, y) y Q(x, y) satisfacen las condiciones del

teorema de Green (5.15), demostrar que una condicin suficiente
para que la integral de lnea
B
(P dx + Qdy) (5.18)
www.FreeLibros.org
integrales de superficie / 107
sea independiente de la curva que une A y B (bajo el supuesto de

que la curva y los puntos dados A y B estn en R) es que
dQ/dx = dP/dy, (5.19)
en todos los puntos de R.
Solucin. Sean C1 y C2 dos curvas cualesquiera que no se cortan,

ambas desde A hasta B y totalmente contenidas en R. La curva
cerrada que va de A a B y vuelve a A, compuesta por C\ y C2
(es decir, C2 recorrida en sentido inverso) encierra una regin den
tro de la cual sabemos que se verifica (5.19). De ah que, aplicando
el teorema de Green,
Esto es, la integral de lnea (5.18) tomada a lo largo de Ci tiene

el mismo valor que la integral de lnea tomada a lo largo de C2- Esto
demuestra el resultado en el caso de curvas que no se cortan. Si las
curvas se intersecan, basta con dividirlas en los puntos de intersec
cin y aplicar la argumentacin anterior a las diversas secciones.
Puede demostrarse que la condicin enunciada en (5.19) es tam
bin necesaria para que (5.18) sea independiente de la trayectoria
que une A y B.
5.3 Integrales de superficie Una superficie en el espacio tridi

mensional es un lugar geomtrico de puntos con dos parmetros,
definido por una ecuacin de la forma
2 = f{*> y) ; (5.20)
o
P(x, y, z) = 0; (5.21)
o por un conjunto de ecuaciones
x = x{u,v), y = y(u,v), z = z(u,v). (5.22)
Vamos a suponer que las funciones que aparecen aqu son continuas
y poseen derivadas parciales continuas en las regiones de definicin.
www.FreeLibros.org
108 / integrales de linea y de superficie
Una superficie cerrada es aquella que tiene una extensin limi

tada pero carece de curva frontera; ejemplos de ellas son la esfera,
el elipsoide y el toro. Algunas superficies, como la cinta de Mbius
(que puede formarse uniendo los dos extremos de una tira de papel
despus de torcerla una vez), tienen una sola cara y se dice que son
no orientables. Las superficies ms familiares, como la de la esfera
y el toro tienen dos caras, es decir, son orientables. Nosotros tan slo
estudiaremos superficies de la segunda especie.
En correspondencia con (5.22), sean
0(y,z) d{z,x) 9(*3y)

A = - , B= v. * ; , C = .. (5.23)
d(u,v) d(u,v) d(u,v)
Si 0, podemos resolver el primer par de (5.22) para u y v, a

fin de efectuar una sustitucin en la tercera y llegar a la forma
(5.20). Se aplican resultados parecidossi A ^ O BÂO.Conviene
suponer que las superficies consideradas pueden dividirse en un n
mero finito de partes, en cada una de las cuales se satisfagan ecua
ciones como las (5.22) con A, B y C no todas cero.
La integral de superficie de <>{x, y, z) sobre una superficie S se
define de la manera siguiente. Dividamos arbitrariamente S en n
elementos con reas respectivas ASi (i 1, 2, . . . , n). Denotaremos
por <f>i el valor de <j> en cualquiera de los pimos del elemento -simo.
Si
n
2 4-iA-Si
i=l
tiende hacia un lmite definido cuando todas las dimensiones de los

ASi tienden a cero y n tiende hacia el infinito, entonces el' lmite de
esta suma es la integral de superficie de <f> sobre S y se expresa como
Jj<M*,y,z)y. (5.24)
8
Este valor existe siempre que <f> es continua.

Por ej'emplo, cuando <>b= 1, (5.24) representa el rea de S. Asi
mismo, cuando <j> es la densidad de rea de una pelcula material
que forme la superficie , entonces (5.24) es la masa total de dicha
pelcula.
www.FreeLibros.org 1
Problema 5.9 Demostrar que el rea de la superficie S, cuya

ecuacin es z = f{ x, y) , puede expresarse como
dS = v ( i + f * + ) dxdy (5-25)
S B
donde R es la proyeccin de S sobre el plano xy (es decir, la regin

en la cual / est definida).
Solucin. Dividamos S en elementos cuyas proyecciones sobre
el plano xy sean rectngulos de lados Ax paralelos a O x y Ay parale
los a Oy. Si AS i es el rea de uno de estos elementos, ubicado en el
lugar donde la normal a S trazada hacia arriba tiene los cosenos
directores (l, m, n), entonces, mediante la proyeccin,
nASi = Ax Ay, (5.26)
dado que n es el coseno del ngulo que forman la normal a S y Oz.

Al expresar la ecuacin de S en la forma
F(x,y,z) = z - f ( x , y ) = 0,
entonces, como los cosenos directores en cuestin son proporcionales

a (Fx, Fv, Fs), vemos que tambin son proporcionales a ( /,, /,
1). (Vase, por ejemplo, la obra del L. Marder: Algebra vectorial
(captulo 5), publicada en esta misma serie.) Pero los cosenos direc
tores cumplen la condicin P + m? + n2 = 1, as que debe verifi
carse que
(l,m,n) = ( - / fy, 1 )/ V ( l + / * + / ) .
Al sustituir en (5.26) el valor de n dado en esta ecuacin,obtene

mos
AS i ~ V (1 + / + / ? ) S x Ay.
Sumando sobre todas las i y tomando el lmite cuando ASi 0, se

obtiene el resultado que se busca. O
Problema 5.10 Encontrar el rea de la superficie S compuesta

por la porcin de la superficie 2x* + Sy* + z = 1 contenida en el
interior del cilindro elptico Ax1 + 9y* = 1.
www.FreeLibros.org
Solucin. Observamos que nuestro cilindro elptico est formado

por la familia de rectas paralelas a Oz que pasan por la elipse
4x2 + 9y2 = 1, z = 0 en el plano xy. En consecuencia, buscamos el
rea de la superficie
z = f(x,y) 12 a:2 3y2
para la cual (x, y) est en la regin R del plano xy, definida por
4x2 + Qy2 ^ 1. Por (5.25), el rea en cuestin es
JJ V (1 + / + / ) dx dy = JJ V (l + 16;r! + 36y2) dxdy.

R R
A fin de evaluar la integral, realicemos una transformacin a coor

denadas polares modificadas, poniendo
4x = rcos0, 6y = r sen 0. (5-27)
La imagen de R en el plano rO es la regin 0 r 2, 0 ^ 0 2tt,

y el jacobiano de la transformacin (5.27) resulta ser, mediante
clculos fciles,
2(*,y)/0(r, 0) = r/24.
Por lo tanto, el rea es
1 flzir 2 J *2ir| 1
24J Jo
-(5 V 5 -1 ).
OO
Problema 5.11 Evaluar la integral de superficie de <j>(x, y,

z) = 6 a :2 + 3y2 + z sobre la superficie S del problema 5.10.
Solucin. Es preciso evaluar
JJ <>(x, y, z)dS = JJ <jj[x, y, f(x, y)] V (1 + lGxT + SBf) dx dy, (5.28)
(usando los resultados y la notacin del problema 5.10). Ahora

bien,
www.FreeLibros.org
4>{x,y,f) =*6* + 3 y + (l-2 * * -3 y * )

= 4xz+ 1 = ir2 eos2 0+1,
en trminos de las coordenadas polares modificadas (5.27). Por lo

tanto, (5.28) se convierte en
1 P2.1t (*2
I 1 ( i f2 eos2 9 + 1) V (1 +r2)r dr d.9.
24Jo Jo
A fin de simplificar la integracin respecto a r, haremos la susti

tucin r = V (2 1). Entonces, la ltima integral se convierte en
1 (*2ff f vs
I [i(21)eos2 9 + \ y2dtd9
24Jo Ji
ir
= 24 J 1 [ i ( * - l ) ' + 2 ] f *
7r 1 7 V5 *71*
~ 24 20
5 +
12 i
= ------(125 Y 5 19).
720

Guando se expresa la ecuacin de una superficie S en la forma
F(x, y, z) = 0, los cosenos directores (l, m, n) de la normal trazada
hacia arriba son proporcionales a (Fx, Fy, F), y como n > 0, tene
mos:
n = \FZ\ V (F^+F^+F^),
as que calculamos la integral de superficie de <>{x, y, z) sobre S

a partir de
(5 .2 9 )
S B
si bien an necesitamos resolver F 0 para z, ya que debemos ex

presar el integrando como funcin de x y y.
En el problema siguiente estudiaremos el caso en que se expresa
la superficie en forma paramtrica.
www.FreeLibros.org
Problema 5.12 Demostrar que el rea de la superficie S:
x = x(u,a), y = y(u,v), z = z{u,v) (5.30)
est dada por
JJ = JJ S V (A*+B*+C2)dudv, (5.31)
8 X
donde A, B, C son los jacobianos de (5.23) y 2 es la imagen de S en

el plano uv.
Obtener una expresin correspondiente para la integral de super
ficie de g(x, y, z) sobre S.
9
Solucin. Como se afirm en la pg. 108, supondremos que A,

B y C cao son cero, as que (5.30) equivale a una sola ecuacin,
F(x, y, z) = 0, que se satisface en forma idntica cuando se reem
plazan x, y, y z por (5.30); al efectuar una derivacin parcial con
respecto a u (con v constante),
Fxu+ Fvyu+ FzZu = 0.
La derivacin con respecto a v (con u constante) produce una

segunda ecuacin, semejante a la anterior, pero con v en lugar de u.
Cuando eliminamos Ft, Fv y Fz de estas dos ecuaciones, obtenemos
Fg/A = Fv/B = Fg/C.
Por (5.29), poniendo <f>e= 1, vemos que el rea de S es
8 B
(despus de sustituir FXFZ = A/C, etc.).

Si transformamos la ltima integral por medio del primer par de
ecuaciones (5.30), podemos reemplazar dxdy por |C| du da, pues C
es el jacobiano de la transformacin. La regin de integracin en el
plano uv es la imagen de R bajo la transformacin, y es, por lo
tanto, 2 , de donde se desprende la validez de (5.31).
www.FreeLibros.org
integrleS de superficie / 113
Sea G{u, v) la funcin obtenida al sustituir (5.30) en g{x, y, z).

Entonces, (5.31) conservar su validez si introducimos el factor g
en el integrando del primer miembro y G en el del segundo, con lo
cual nos queda
(5.33)
Problema 5.13 Encontrar (i) la masa, (ii) el centroide, (iii) el

momento de inercia alrededor de Oz de una delgada lmina material
de densidad uniforme k que forma la superficie S:
x = u eos v, y \uz, z = u sen v, (5.34)
donde 0 < m <[ 1, 0 z> 7t.
Solucin. Observe el lector que al eliminar y v de (5.34)

obtenemos x2 + z2 = 2y, lo cual representa un paraboloide de revo
lucin formado por la rotacin de la parbola x2 2y alrededor de
Oy. Por inspeccin de los lmites para u y v, vemos que S consta
de la parte de esta superficie para la cual z ^ O y O ^ y ^ ^ (figu-
ra 5.2).
Figura 5.2
Por (5.34),
A = d[y,v) u 0
= 2 eos V.
d(u,v) sen v u eos v
www.FreeLibros.org
De la misma manera, encontramos que
B u, C u? sen v,
de donde
y/(A2+B2+ C 2) = u V ( 2+ l ) .
(i) La masa es
M = k dS = k J J uV (u2+ l ) d u dv
s
1
= k j i ( u 2+ i ) 3/a dv
o
= i(2y/2-l)kTr.
(ii) Sea el centroide el punto (x, y, z ) . Por simetra, x = 0.

Como sobre S se verifica la relacin y = |m2, deducimos que
My = yk dS = k J J u3V (u2+ 1) du dv = ( V 2 + 1 ) AV/l,
donde hemos empleado la sustitucin u = V ( 2 1) a fin de eje

cutar la primera integracin. Por lo tanto, por el resultado (i),
y = (5 + 3V2)/35.
De la misma manera,
Mz = JJ zk dS = k J J u2V (uz+ 1) sen v du dv
= fc [3 V 2 -ln (l+ V2)]/4,
donde la sustitucin u senh 6 ha servido para efectuar la primera

integracin Entonces, podemos determinar z al dividir entre (i).
(ni) El momento de inercia alrededor de Oz es
Ig = JJ i^ + y ^ k dS = k JJ (eos2 v+\u2)u3yj (u2+ l ) dudv

8
= kir J (J + 2)m3V (m2+1) du,
www.FreeLibros.org
ejercicios / 115
(donde integramos primero respecto a v ) . Esto nos conduce a
I , = (5V2 + 2)*tt/42.
EJERCIOOS
1. Si <>(x, y, z) = 2z x2 y2, evaluar f<f> ds sobre la curva

x t eos t, y = t sen t, z = t2, donde t crece desde 0 hasta 1.
2. Evaluar
X *y
dx,
donde C es la circunferencia x2 + y2 = l del plano xy, descrita en

el sentido positivo.
3. Evaluar
J [xy dx+ (z x )dy + 2yz dz],

a
donde C est formada por los tres segmentos rectilneos que van
desde el origen hasta el punto A (1, 0, 0), desde A hasta (1, 2, 0),
y desde B hasta (1, 2, 2).
4. Aplicar el teorema de Green para evaluar
J {(x + l) y e * d x + * (e * + l) dy],
o
donde C es la circunferencia x2 + y2 = a2, z = 0 descrita en sentido

positivo.
5. Encontrar el rea de la superficie de la porcin del hemisferio

x2 + y2 + z2 = 16, z ^ 0, cuya proyeccin sobre el plano xy est
limitada por la curva r 26, 0 0 ^ ir (en coordenadas polares
del plano) y una parte del eje y.
www.FreeLibros.org
6. Evaluar
donde S es la superficie x = u cosh v, y = u senh v, z = (1 u2),

0<u<l, 0<y<l.
www.FreeLibros.org
R e s p u e s ta s a los e je rc ic io s
Captulo 1
1. eos y 4-y2 eos xy, x sen y + sen xy + xy eos xy, y3sen xy,
7T3/8, -(1+7T 2).
2. /w (0,0) = 1, / ( 0 ,0 ) = - 1 .
3. k cosAr, (k + e~2)cos k kz sen k, donde k = (1 + ) fe2.
4. x(xz+ yz)~1, y(*2+ y 2) -1, y(xz+ y z)~1, x ( r + y 2) -1.
5. z = ( l + * ) ( e * - l ) .
7. *y (**-*).
8. 0-42.
Captulo 2
1. (yz2x)/(y+2zu), (xz u)/(y+2zu), (xyu?)/(y+2zu).

2. m[(13p2y)ii2+y] [(3i2* 1) (3y2y 1) xyY1-
u[(3uzx 1) xuz1{(3uzx 1) (3vzy 1) xyY1.
3. w = uz 2v.
4. Dos; por ejemplo v tw, u = t+2w.
5. (1 + 4xy)-1.
6. [2x ( z - y - x ) } - 1, donde x =0, z y x= 0.
www.FreeLibros.org
117
7. S es la porcin del anillo a ^ V ( 2 + v2) ^ b para la cual u ^ 0,

v ^ 0. 0(, u) /3(*, y) = e2*. Los sentidos son todos iguales.
Captulo 3
1. 10[8(*1) 13(y+2)] + [(x 1) 2+ 13 ( a : 1) (y+2) -

6 ( y + 2 ) 2] { 6 ( x 1) ( y + 2 ) 2 ( y + 2 ) 3] + ( * 1) (y + 2 ) 3.
2. l + i ( * * + y * ) + t ( * 4+ 2 * y + y 4) ' + " *
3. Punto silla en (0, 0), mn. en ( 1, 1), mn. en (1, 1).
4. Mn. en (0, 0, - 1 ) .
5. El menor es c, el mayor [a4, + b* + c4]*.
_ 67 2 14
6. x t = , y = ,
697 ^ 233
z = 69
.
7. 4 ( y + z ) 2+ x ( 4 y 4z x) = 0.
8. x{x2+ y2+ z 2) + 2 f = 0.
9. xyz = 1.
Captulo 4
1. (i) 86, (ii) i.
2. .
35
3. senh 1.
4. 6
0.
5. 24tt.
7. 60
.
www.FreeLibros.org
respuestas a los ejercicios / 119
Captulo 5
11V6 V5 , , ,
1. --------- ------- l n ( V 5 + V 6 ) .
40 200 v '
2. rr/4.
3. 6.
4. 7ra2.
5. 8[7r-2sen-1(7r/4)]n-V((16-7r2).
6 . [2V 2(cosh 1cosh 2) 4-senh2 l]/15cosh2.
www.FreeLibros.org
I
www.FreeLibros.org
In d ic e a lfa b iic o
C Envolvente de curvas, 70
de superficie, 72-73
Campo vectorial, 103 Extremo, 58
Centroide, 95, 113 absoluto, 58
Coordenadas curvilneas, 81 relativo, 58
Conjunto, 7 Extremo relativo, 58
abierto, 7 condiciones suficientes, 61
cerrado, 7
Criterio D para puntos extremos, 62
generalizado, 65
lrp>
Curva, 97
Curva simple, 97 Forma de Cauchy del residuo, 53
Curva simple cerrada, 97 Forma de Lagrange del residuo, 53
Funcin, 8
Curva suave, 97
de valor nico, 8
de valores mltiples, 8
D implcita, 33
Dependencia funcional, 38-42 Funcin continua, 33
y rango, 41 Funcin implcita, 33
Derivada parcial, 10 teorema de existencias para la,
de segundo orden, 14 33, 36
interpretacin geomtrica, 11 Funciones homogneas, 25
regla de la cadena, 15-17 teorema de Euler sobre las, 24
Diferencial, 25
aplicada a aproximaciones, 29-30 J
interpretacin geomtrica, 28-29
Dominio de definicin, 8 Integracin repetida, 77
Integral
E de lnea, 99
de superficie, 108
Ecuacin de Laplace, 17-19 doble, 75
Ecuacin de onda, 21 repetida, 77
esfrica, 23 triple, 86
121
www.FreeLibros.org
122 / ndice alfabtico
Integral de linea, 99 Regla de la cadena, 15-17

Integral de superficie, 108 Restriccin, 67
Integral doble, 75
transformacin de una, 81-83
Integral triple, 86 S
transformacin de una, 89
Intervalo, Serie de Taylor, 55
abierto, 7 Superficie cerrada, 108
cerrado, 7 Superficie no orientable, 108
Superficie orientable, 108
J
Jacobiano, 36
C'p
L
Lmite, 8 Teorema de Euler, 24
Longitud de una curva, 97 Teorema de existencia para funcio
Lugar imagen, 45 nes implcitas, 33, 36
Teorema de Green en el plano, 104
Teorema de Taylor, 53
M y aproximacin, 57
Mximo, 58 Teorema del valor medio, 53, 55
Mnimo, 58 Transformacin, 44
Momento de inercia, 75, 113 a coordenadas polares cilindricas,
Multiplicador indeterminado, 67 89
a coordenadas polares del plano,
p 83
a coordenadas polares esfricas, 89
de una integral doble, 81-83
Parte principal del incremento, 25 de una integral triple, 89
Punto crtico, 60 uno a uno, 45
Punto frontera, 7 Transformacin inversa, 45
Punto mltiple, 97
Punto silla, 60
Punto singular, 46 V
n Variable dependiente, 8, 13
Variable independiente, 8, 12-13
Regin, 8 Vecindad, 8
Regin simplemente conexa, 28, 105 Vector tangente, 103
www.FreeLibros.org
Esta obra se termin de imprimir
el da 29 de julio de1974, en
los talleres de Programex Editora,
S. A., Comonfort 58-6, Mxico, D. F.
La edicin consta de3 000
ejemplares y sobrantes para
reposicin.
FE-100
www.FreeLibros.org
www.FreeLibros.org
www.FreeLibros.org
www.FreeLibros.org
www.FreeLibros.org
www.FreeLibros.org
4 . MECANICA ANALITICA
5 . CALCULO DE UNA VARIABLE
6 . ALGEBRA DE NUMEROS COMPLEJOS
7. CAMPOS VECTORIALES
8 . MATRICES Y ESPACIOS VECTORIALES
9. CALCULO DE VARIACIONES
10. TRANSFORMADAS DE LAPLACE
1 1 . ESTADISTICA
A. K. Shahani y
P. K. Nandi
1 2 . SERIES DE FOURIER Y PROBLEMAS CON |
VALORES EN LA FRONTERA
Mgp
1 3. ELECTROMAGNETISMO
www.FreeLibros.org
En este volumen el lector encontrar los conceptos bsicos del clculo
diferencial e integral de varias variables. El material presentado abarca las
derivadas parciales, integrales mltiples, funciones implcitas, jacobianos y
las integrales de lnea y de superficie.
La exposicin se hace desde el punto de vista de matemticas aplicadas

y los fundamentos tericos se proporcionan sin profundizar en el anlisis
formal. No obstante, al seguir cuidadosamente el desarrollo de problemas
de diferentes tipos, el estudiante aprecia la necesidad y conveniencia de las
tcnicas usadas y llega a captar el verdadero significado del clculo.
El libro es el complemento ideal de los cursos formales de la materia

que se imparten a los estudiantes de matemticas, ciencias e ingeniera en
el primero o segundo ao de la carrera.
L. MARDER es Profesor Titular de matemticas en la Universidad de

Southampton y autor de varias obras sobre temas de su especialidad. Ha de
dicado muchos aos a la enseanza de matemticas a nivel profesional y la
publicacin de la versin inglesa de esta serie de Problemas Resueltos se
debe sobre todo, a su iniciativa y gran conocimiento de las verdaderas nece
sidades del alumnado.
Adems de la presente monografa, escribi Algebra Vectorial y Campos

Vectoriales que forman parte de esta serie.
' l
www.FreeLibros.org

Cálculo de Varias Variables Vol. 2 - Marder

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Cálculo de Varias Variables Vol. 2 - Marder

Încărcat de

Drepturi de autor:

Formate disponibile

www.FreeLibros.

Los libros se han escrito para usarlos

cargo de L. Marder, Profesor Titular de Matemticas

SELECCION DE PROBLEMAS RESUELTOS

Derechos reservados en lengua espaola,

Primera edicin: 1974

CAPITULO 1. DERIVACION PARCIAL

CAPITULO 2. JACOBIANOS Y TRANSFORMACIONES 33

2.1 Funciones implcitas y jacobianos, 33

CAPITULO 3. EL TEOREMA DE TAYLOR Y

3.1 El teorema de Taylor en dos variables, 53

CAPITULO 4. INTEGRALES MULTIPLES 75

4.1 Integrales dobles y repetidas, 75

CAPITULO 5. INTEGRALES DE LINEA Y

5.1 Integrales de lnea, 97

RESPUESTAS A LOS EJERCICIOS 117

1.1 Definiciones Un conjunto es cualquier coleccin de objetos

Por regin entenderemos un conjunto abierto o un conjunto

|F(*,y) 1\ < e siempre que 0 < (x a)2+ (y b)2 < 82.

Se dice que la funcin es continua en (a, b) cuando est definida.

x2(x + y ) x2- y 2+ 2x3

cuando (x, y) ^ (0, 0), demostrar que, en (0, 0) : (i) / es continua

1.2 Derivadas pareiales Sea z = /(* , y) una funcin (real) de

Definimos de manera semejante la derivada parcial con respecto a y.

3/ ,, f(xi + h,y1) - f ( x 1,y 1)

cuando existen tales lmites.

Problema 1.2 Si f(x, y) - x2y3 2y2, encontrar los valores de

(ii) Consideramos x como constante y derivamos con respecto

Problema 1.3 Demostrar que z = eos (x + y) es una solucin de

Encontrar una ecuacin diferencial parcial que sea satisfecha, cuando

dz/dx = y sen xy, dz/dy = x sen xy,

la cual es una ecuacin diferencial parcial en z (es decir, una ecua

demostrar que / no es continua en (0, 0), pero que tanto fx como

siempre y cuando y^ 0. Por consiguiente, cuando el punto (x, y)

Problema 1.6 Si x = r eos 6 y y = r sen 6, encontrar dx/dr y

Solucin. Si consideramos r y 0 como las variables independien

La forma de notacin dr/dx es imprecisa, pues indica que x debe

r (x2+ y2) 1/2, 6 = tan-1(y/x). (1-6)

Derivando la primera de las expresiones de (1.6) conrespecto a x,

( ) = x(x2+ y 2)~1/2 = - = eos 0. (1-7)

Podemos escribir el producto de las ecuaciones (1.5) y (1.7) como

lo cual no es idnticamente igual a 1. Esto era previsible, pues se

Cuando f(x, y) posee derivadas parciales fx y fy en alguna regin,

a2/ _ a (d f\ 32/ _ 0 /df\

Problema 1.7 Encontrar las segundas derivadas parciales de la

fx 3x2y+ yexv, / = x3+ xexy.

Por lo tanto, al derivar de acuerdo con las frmulas anteriores, ob

Problema 1.8 Si f(x, y) = x2^ /(x2 + y2), (x, y) ^ ( 0 , 0 ) , de

(i) xfx+yfy = 2/,

Solucin, (i) Encontramos con facilidad que

(ii) Al derivar parcialmente (1.8) con respecto a x y despus

xfxx d"fx d"yfxv = 2fxj

Multiplicando la primera igualdad por * y la segunda por y, su

X!fxx+2xyfxv+ y2fm = xfx+ yfy = 2/,

Definimos las derivadas parciales de orden superior como exten

En condiciones adecuadas, no importa el orden de diferenciacin,

1.3 Funciones compuestas; la regla de la cadena

Problema 1.9 Si / y g son funciones arbitrarias de una variable,

donde c es una constante, es una solucin de la ecuacin de onda

Solucin. Sean u = x ct, v = x + ct. Si mantenemos cons

donde el apstrofo denota la derivacin de una funcin con, respecto

De la misma manera, si mantenemos x constante,

as que, por (1.9), (1.10), concluimos que

Si w = f(x, y, , . . . ) , donde x = x{r, s, t, . . . ) , y y(r, s,