Académique Documents
Professionnel Documents
Culture Documents
1 . / . Liashk, A. K. Boiarthuk
l . G. Gai, G. P. Golovath
Anlisis matemtico
Series
Funciones de
argumento vectorial
"EMATI/IKA
URSS
M, M. JhuiiKo, A K liou|vtVK, >1. I. I'ait, l". II. I (uiomi'i
Ciiltiino'iiioe iiocnfiiie no iimciiicH mutcmiithkc. Tom 2 .
MiircMiii'M'iO'KHit timiJiH i: |i>i;u.i, <|iyiiKiLiiu nuKTopnoro apryMcimi
lista serie consta de ocho volmenes. Los cuatro primeros tomos con los que se abre esta obra,
estn dedicados al estudio prctico de las funciones, las sucesiones, las series, el clculo diferencial e
integral de las funciones de una y varias variables; en ellos se presentan soluciones completamente
detalladas de los problemas expuestos en el famoso libro de B.P. Demidvich.
lin los lomos 5 y 6, aparte de una detallada exposicin de la teora de las funciones de variable
compleja, se resuelven escrupulosamente cerca de 400 problemas, muchos de los cuales aparecen en
l.i inmortal coleccin del matemtico sovitico L. I. Volkoviski. Adems de los temas caractersticos
de los cursos de este tipo, en esta parte de la obra se hallan cuestiones menos comunes como son la
integral de NewtonLeibniz y la derivada de Fermat Lagrange. Se presta una especial atencin a
las aplicaciones conformes.
lin aproximadamente 800 problemas resueltos paso a paso, los tomos 7 y 8 abarcan todos los tpicos
del curso habitual de la teora de las ecuaciones diferenciales. En cada seccin se expone el mnimo
terico estrictamente necesario para la resolucin de los problemas correspondientes; muchos de
stos aparecen en la genial coleccin de A. F. Rlppov. Asimismo, en estos volmenes se analizan
U n a una serie de temas bastante atpicos para libros de esta clase (teora de la prolongacin de la
solucin del problema de Cauchy, ecuaciones diferenciales en derivadas parciales de primer orden
no lineales, algunos mtodos numricos para la resolucin de ecuaciones diferenciales, aplicacin de
los criterios de existencia de los ciclos lmites en el plano fsico, etc.).
Reservados todos los derechos en todos los idiomas y en todos los pases del mundo. Quedan rigurosamente
prohibidas, sin la autorizacin escrita del titular del "Copyright", bajo las sanciones establecidas en las leyes,
hi reproduccin total o parcial de esta obra por cualquier medio o procedimiento, comprendidos la reprografa
y el tratamiento informtico, y la distribucin de ejemplares de ella mediante alquiler o prstamo pblico.
Series
Sn = a\ -f 2 + * * +
lim5 = S , 5.G
I nk
se denomina rc-simo resto de la serie (1) o bien resto despus del n-simo trmino.
La serie (1) converge o diverge junto con su resto; por tanto, analizando la
convergencia de la serie en vez de la ltima se examina frecuentemente el n-simo resto.
Definicin 5. Sea an R. Si an > O, la serie (1) se llama positiva; si an > O, n G N,
la serie (1) se llama estrictamente positiva.
!() C a p t u l o I. S e r i e n
^ nP
rj=l
Vi
se denomina serie armnica generalizada, y para p 1 se llama serie armnica. La serie
converge si p > l y diverge si p < 1.
1.5. Criterios de comparacin para series numricas
Teorema 1. Si la serie Vj a definida en el p. 1.1 y la serie
oo
(!)
n=i
son positivas, siendo, adems, an C. b Vra > no, entonces de la convergencia de la serie
bn se deduce la convergencia de la serie an, y de la divergencia de la serie ^ anj la
divergencia de la serie Yl K-
Teorema 2. Si las series J2 an }/ 12 ljn son estrictamente positivas y Vrt > nu se
satisfacen las desigualdades
a ^ bun J
entonces son vlidas las mismas conclusiones que en el teorema anterior.
Teorema 3. S las series V K son estrictamente positivas y
lim yfa^ = L,
no
lim n ( ^ - - l )
T
K3Q
o \
V &n+\
6_i_i /
entonces para p > 1 la serie converge y para p < 1, diverge. Si p = +oo, la serie (!)
del p. 1 converge; si p ~ es necesario recurrir a otros criterios para establecer su
convergencia o divergencia.
1,8. Criterio de Gauss
Si la serie (1) del p. 1.1 es estrictamente positiva y
a+i + ^
n + n A, / = const,
donde e > 0, < entonces la serie (1) converge para A > 1 y diverge para A < 1.
Si A 1 la serie converge para p > 1 y diverge para p ^ 1.
1.9. Criterio integral de CauchyMaelaurin
OQ
Sea / una funcin no negativa para x > 0 y no creciente, entonces la serie f(n)
converge o diverge segn lo haga la integral impropia
+oo
f(x) dx.
i
1 J _L i
14 + 47 + ''' + (3n - 2)(3n + 1) + " *'
5 = lim S = lim l ( l - i - ) =
n-oo ti oo \ oTl t 1/ O
Teniendo en cuenta la condicin < 1 obtenemos \qeu"\ < 1, de donde se deduce que
lim (<f + 1 e i ( "~ 1 ) a ) = 0. A partir de la frmula anterior hallamos
TI00
3. + l + s/Ti).
n=\
= 1 - V2 + Vn + 2 - V+l = 1-V2+ = = .
s/n + 2+ s/n + X
Por consiguiente,
S = lim Sn = 1 - Vi.
ile donde resulta que lim srn(n I \)w 0, o lim (nen nx eos x 4- eos nx sen a:) 0.
H 'mxj rj >*i
Tomando en consideracin (I), de la lilllma igualdad oblicuemos que
lim couwj: 0, x / kw. (2)
ji +<\>
A partir de (1) y (2) se deduce que
2 . 2
lim (eos nx -f sen nx) 0,
T- 00
II t*J
~-Pn
dada sin infringir el orden preestablecido, tambin converge y tiene la misma suma.
00
Solucin, De la convergencia de la serie an se deduce la existencia de lmite para
n1
cualquier subsucesin de la sucesin de sus sumas parciales, y dicho lmite es igual a la
suma de la serie S. En calidad de uria subsucesin tal tomaremos
ai SPl, a\ + a2 + b a^-i = SP2,
i + a2 -f - - - + aP2-i + aP2 + + Oft-i = S^ ..., ai + 2 + - + aPlHhl-i - SPri+l.
Segn las condiciones del problema lim SPn = St y como la sucesin de sumas parciales de
n^oo
la segunda serie estudiada Ai+A2+ V An es iguala Sp ,entonces lim {A\JrA2-\ Mtt)
tambin es igual a c. q. d.
La afirmacin recproca no es correcta, puesto que de la convergencia de una
subsucesin no se deduce la convergencia d e j a propia sucesin. Examinemos un ejemplo-
Sea an ( - l ) n + 1 . Obviamente, la serie diverge, a pesar de que la serie,
00 -1
por ejemplo, $^(11), obtenida de la anterior al agrupar sus trminos
n=\
converge.
00 00
6 Demostrar que si los trminos de una serie son positivos y la serie JZ An
an
rt-l
^ n-1
obtenida al agrupar los trminos de la primera converge, entonces la serie dada tambin
converge.
Solucin* Sea una subsucesin arbitraria de nmeros naturales, y (5 n ) y ( 5 P J sumas
parciales de las series primera y segunda, respectivamente. Dado que los trminos an son
positivos, se tienen las desigualdades
Pasando al lmile en la ullima desigualdad (si k oo) y teniendo en ren ta que Ja segunda
serie converge, ni>1 encino
lim S. = lim Su lim SVn S.
k 'txi n>oo k->oo '
7. 1 + + ! + I + . . . + 5 J _ _ + ....
Solucin. Obviamente, toda sucesin de sumas parciales de la serie dada crece. De-
mostraremos que stas no estn acotadas. Para ello, consideraremos la subsucesin (Sy),
n N, de la serie en cuestin
,2,1 = (l + l ) + ( l + i ) + ( l + l + l + i ) + - +
8. 4 = + _ L = + J j = + ... + _ ! + . . . .
4*+(4=+4)+ (4+4+4+4) +
A Solucin. Examinemos la serie
Por lo Linio, para la sucesin de Mimhm jmiviiilr.N di1 ln Nene (I) es valida la estimacin
1 1 1
9. ; H- - ' + %
> i + + = i Jn(n -f 1)
2 \ 2 n J 2
la serie en cuestin diverge.
00 00
10. Demostrar que si la serie a n ; a ) 0, converge, la serie ^ a^ tambin converge,
n=l n1
4 Solucin. Evidentemente, la sucesin de sumas parciales (C n ) de la segunda serie es
montonamente no decreciente. Adems, como a n '> 0 y la primera serie converge,
entonces es vlida la desigualdad
2 2 2 2 2.
Cft ~ al + a2 + ' * * + an < ( a l + a2 + ' ' * ^n) ~ ^ COnst
l'or eso, conforme al teorema de las sucesiones montonas y acotadas existe lim Cn, es
oo
11. Demostrar que si las series X ) ^ y E convergen, tambin convergen las series
rt=i n=l
oo oo oo |
71
n=1 n=1 t1
| a ty
'4 Solucin. Empleando la elemental desigualdad |an&| ^ fan + K)* a partir de las
condiciones del problema obtenemos
ti Ti 11 CO 00
E M*| | ( E + E < | ( E + E * ) = -
Jfc = l jfc-1 ra 1
oo
De aqu se deduce que la serie \an bn | converge. De la estimacin
OO OO 00 OO 00
E(<*+w
n1
2 = E a+ 2E +
=l 1
En=1b " ** 2 ( c + E n=l
|an,re|)
!() Captulo I. S e r i e n
P I P P 1
(a - e) Y] - < V am+n < (a + e) Y] ,
' m+n ' ' m+ n
m=1 m~l
de donde vemos que el resto de la serie estudiada diverge, pues diverge la serie armnica
P
lim ~~ +oo. Por consiguiente, la propia serie tambin diverge.
<j> Nota. De las condiciones del ej. 12 resulta que an = ~ + o Q ) ~ O* para n * oo, Por eso,
conforme al teorema 4 del p. 1.5 la serie dada diverge. No obstante, hemos preferido la demostracin
directa.
00
13. Demostrar que si la serie X) a f a " > 0' de trminos montonamente decrecientes
n=l
converge, entonces lim nan 0.
n-*oo
COS COS n
X . eos x
15. + P *
22
_ l
i
-4 Solucin. Determinaremos un nmero tiq tal que V71 > n 0 y un p > 0 arbitrario se cumpla
l.i desigualdad \Sn+p Snj < e. Tenemos
n+2
eos x n-fl cosa; eos X n+p
% i p Sn | + 4
+
Q (n + 2)2 (n +
1 1 1
-f <
(n + 1) 2 Z (n + p)
<
1
+
1 i i E1 ' f f ^
+
1 I
n{ + 1) (n + + 2) {n+p - 1)(t + p) n 7i 7
1 +
i
2 +
i
3 +
1 + I + -.
ra
1
+
1
_L_ 1 ^ 1
n + 1 n+2 2n 2n
Consiguientemente, segn el criterio de Cauchy la serie dada diverge,
. - ^ ^ ^ ^ T | |- ^ ^ ^ ^ W l l l l I l T l I !! I- n ~ I I M rfll'l I I 1 1
17 1+ 1 i + U 1 J +
1
18. 1
+ +
* i | "
+ 4> 4
Ay)' 2 2 - 6 2 - 6 - 1 0 '
Solucin. Observemos que el trmino general de la serie a, tiene la forma
- 4 - 7 -10 . . . (3n + 1)
a " 2 6 10 . . . (4n 2)'
de donde hallamos
l i m SsI = l i m 3 ! L 4 = 3
oo a, n-oo 4n + 2 4
De este modo, segn el criterio de D'Alembert la serie converge.
-n si n = m2,
a = < (TO es un nmero natural).
1
\ n-
si n m ,
Solucin. Demostraremos que la serie
+ +
+
( n 2 + (n2 + l) 2 + " ' + ((n + l) 2 - l ) 2 ) + " ' ' (1)
obtenida al agrupar los trminos de la serie dada, converge. Para ello, estimemos primera-
mente cada trmino de la serie (1). Tenemos
1 + +... +
1 1 < 1 + 2" < 2 . J _
nz (n2
+ l)2 ((n + l)2 l)2 n2 (n2 + l)2 n 2' "" "
00
Debido a que la serie segn el p. 1.4 converge, tambin converge la serie (1) (en virtud
del teorema 1 del p. 1.5). Entonces a partir de la afirmacin demostrada en el ej. 6 resulta
que la serie inicial tambin converge.
i L Sci t-s iHiiiUMU JM. C i iltrioN tlr i i M i h |mi*i ru-iios t\v signo umshinlc H
' \> 71
22. nx I I W',V A:'
I -I x2 | eos-' fav'
n 1 kJ
00 n{n~\)
En2( Sni j 1)
Solucin. Tenemos l i m f ^ ) " lim(l *= lim e = < 1, Por tanto, segn
el criterio de Cauchy 1a serie converge.
M Solucin. Sea e > O un nmero tan pequeo que se verifique la desigualdad < q\ - q.
Segn la definicin de lmite, para un e dado se puede hallar un nmero N, a partir del
cual se cumplen las desigualdades
- fl/V + <l g
< Jl+l -e < &N+2
< q -+ 0,-n
q-e<-^<qE.
q e + ) q y
ilc ilomlt'
i V >1\ f '/i
Vemos, pues, que aumenlando el nmero n se puede llegar a la desigualdad
qj \ 5] J
que proporciona que an o(q").
^
OO
26. Demostrar que si lim " = q < 1, a > 0, la serie 2 an converge.
n-+oo a n=1
0 < ~ < q + e, i = N, n - 1.
Ai-
Multiplicando dichas desigualdades hallamos
Debido a que la serie + )" converge, a partir del teorema 1 deducimos que la
serie a tambin converge.
La afirmacin recproca no es correcta. Considerando, por ejemplo, la serie
l i l i l
2 + 3 + 22 + ^ + ^ 3 + ^ 3 + -
vemos que
lim i = lim ^ = oo,
n-.co an n-oo 2 \2/
mientras que la serie
OO 00
Xv =E (2 + 3) '
evidentemente, converge. De este modo, de la convergencia de la serie a no se deduce,
por lo general, que lim q < 1. ;
n->00 a "
Sea q > 1. intonees para i uidi|iiiei' t que /Killhlaga la condicin 0 < e < q I existe
un nmero M tal que Mk > M lo trmino.*! de la rmre/iin (tiHt.) (ttlfihxk q wk > oo)
verifican las desigualdades
>(9- > (q es)""", . .., * > (? - efk, q~e> 1,
es decir, el trmino general de la serie no tiende a cero, con lo que la serie an diverge.
29.
^ V2 + cosn>'
?i - i
4 Solucin. Dado que
^t ln ^ tu
M
OS 71 / < l i mn-+(oo|\3/
r>oo V 2 C
) w = i<i,
9
la serie dada converge conforme al criterio de Cauchy generalizado.
P
? T > OO
n \n/
y empleando el criterio de Raabe vemos que para p > 2x la serie converge.
UmM J W
<
I> l'nplulo I. Sci-on
32. VU> i O .(?' i i), i
ni ' n'i'
ii i
< Solucin. Hliminainlo el caso trivial cuando p es un nmero entero negativo o cero,
reduciremos la expresin siguiente a una forma ms sencilla
an
n+1 V + ra 0 'ra)0 n) 0 n)
n + 1 /., , 1\ 7
X
/, , M " 1 ( , , 1 \ ? + 1
( 1 + i l + o ( I ) ) = 1 + i ^ l + 0 ( I ) )
(ra)
7 i- OO
\ n \nJ/ ra \n)
Debido a que
' lim n {v "+'
noo l ) = q ~ p+ 1, el criterio de Raabe nos dice que
1 la serie
converge si q > p.
33 V f l ' 3 - 5 . . . ( 2 n - l ) y J_
2 4 6 . . . (2ra) ) ' ni'
34. fff!!",!p+ffi'!'y,P>o,{>o,
q(q + l ) . . .(q + n - 1 )
\ na -I- 1 V . (n 4- n - 1 W
-J ' x
1- p y = 1 + a(q - P)
n+1 \p + nJ
\p + nJ
V
V p + n/
p + n/
p+ n
p + n
\nJ
V ~ o , ^ , , P + o
l + r-z < ~ < 1 + -V-i) i = N , n - 1,
t ai+y i
p n\\ un
l / ft
7
- _
n\\ \
v 7
nJ
1 J
an+\1 V n/ \ n \nJ J
Observando que dicha expresin tiene igual forma que a partir de lo demostrado
anteriormente vemos que en 0 para n oo.
| | Mil ! i 1 11 1 I M I I I I I I I M
O O
i
SLff Investigar la convergencia de la serie ^ ^ a n si
n .1
36. an = (Vn
v
+ 1 - VY7 ln 7, n > L
n +1
^ Solucin, Transformaremos el termino general an desarrollando (1 + y ln(l + x) en
serie de Maclaurin con trmino residual en forma de Peano:
= l n { l . ^ . . - , { 2 + . ( i ) ) - ( * + . ( i ) ) .
{Jn + l + s/f
1 Aa,* =
- j , n->oo,
n ln 6 nh\b\n \n/ / \nJ
Entonces, conforme al teorema 4 la serie converge si b ^ 1.
!() C a p t u l o I. S e r i e n
( ) ) ( 5 ) ) '
Entonces si p > 1 la serie converge (ver el teorema 4).
n s-
O ^ a ^< n\n(\
e v " >.
Empleando los desarrollos de las funciones x i-> ln(l + x) y e': en serie de Maclaurin con
trmino residual en forma de Peano, de la ltima desigualdad hallamos
1 1 2 ln211 , /ln2 n\
a ^ e 2" v " ' - p - r + o rrr > n 00,
1 ln n
an ^ r -
n 2n2
La ltima desigualdad implica la divergencia de la serie.
00
40. Demostrar que la serie ^ , an > 0, converge s existe un nmero a > 0 tal que
n=1
-1 ^ -1
,a" f 1 + a para n n0, y diverge si < 1, n ^ n0 (criterio logartmico),
ln n lnti
4 Solucin. De las condiciones del problema fcilmente resulta que 0 < ti ^ --777, n Js na
(primer caso), y an ^ n ^ n(, (segundo caso). Empleando los criterios de comparacin
podemos afirmar que en el primer caso la serie converge si a > 0, y en el segundo caso la
serie diverge.
41. an = . , n > 2,
(ln(ln ))'""
M Solucin. Dado que ^ - Nin(i>) = ] n ( l n ( l n > 1;1 para > cxp(cxp ( e x p 1,1)),
el criterio logartmico (v, ej. 40) nos dice que la serie converge.
j I. Serios numricas. Criterion <lr < nnv^i^eiu la pai NericH de signo constante
vlida para un nmero n lo suficientemente grande ( lim (!nf.ln 0 ) , a partir del criterio
loga rtmico resulta que la serie dada diverge.
(n7r
1 ) 2 A
L2 n V
+
Empleando la desigualdad ln(n!) < n ln n y el teorema 1 del p. 1.5 deducimos que la serie
dada tambin diverge.
4 Solucin. Dado que O < ai+a2+a3+4 + '-+<12"*' ^ aj+2a 2 +4a4 + - + 2"a 2 ", entonces
n
en virtud del carcter montono de6Q6Q y segn el teorema de las sucesiones
k~i
acotadas montonas, la convergencia de la segunda serie conlleva la convergencia de la
primera.
Adems, puesto que es vlida la estimacin
49. Sea f(x) > O, x Js 1, una funcin montonamente no creciente. Demostrar que si la
00 <x>
serie /( n ) converge, para su resto R" = ^ ^ f(k) es vlida la estimacin
fi L Series numricas Criterios de loiivei^en* l-t series de signo umslanle 21
| OU | IX k
J f(x) <x < ltn < /(?i, I I) I I }{x) dx>
71+1 | I
OO ^
oo H1
}{x)dx - J f(*)dx< Y ,
ii+1 k
co H1
f(x) dx= J dx > X) +1) - ^ - /(+1).
lis f;u il ver que la estimacin a demostrar resulta a partir de las desigualdades obtenidas.
Apliquemos dicha estimacin para calcular la suma de la serie con el error indicado.
n el caso considerado Rn 0,01, }{x) = entonces
+DO +00
1 (ra + 1 ) 3 J x31
donde obtenemos el nmero de los primeros trminos de la serie necesarios para calcular
ii suma con un error de 0,01: n 7. Consiguientemente, ^ ~ 1 ^ ^ +
i + r
n^ i
i
1
i + 1 ^ 1 + 0,1250 + 0,0370 + 0,0156 -f 0,0080 + 0,0046 + 0,0029 1,1931 1,19
(por defecto).
1 + 8(2n + 1 )
( onsiguientemente, la serie diverge (ver el teorema 4 del p. 1.5).
51 / J na
!() C a p t u l o I. S e r i e n
n - 2 ln(w!) Inn
^ ^ i
n" ti
00
Segn el criterio integral las series y V convergen si a > 2, por tanto la serie
n= n=l
investigada tambin converge si a > 2 (ver el teorema 1 del p. 1.5).
00
52. (tt*3*7 - 1 )
n=l
53. XI
. ln2 V(sen ni/) '
n1
de donde, basndose en el criterio integral y en el teorema 3 del p. 1.5 vemos que la serie
converge si a < 1.
00 2n
55. V t / a > 0, b > 0.
f ^ (n + a)n+b(n + b)"+a'
Debido a que las sucesiones ^{l ) ' " " ) V ( ( ' i ) " ' " ) Piirn n <1
,, I
00
TI=L
an ln ~a - ln (sen - aM = - ln fn a sen a
n \ n/ \ n /
n - > oo,
00 -1
57. Sea una serie d e trmino general tn = i v r + dx 1 . investigar su
O
< onvergencia,
< Solucin. Como
n n
J y/l + x4 dx > J xdx7^-,
o o
entonces O < u n < ^ ; por tanto, a partir de los teoremas 1 y 4 del p.L5 resulta que la serie
converge. >
OO
2 J ani t i 1,fe-
7 1 -
oo
4 Solucin 1. Supongamos que todas las series ^ anf i 1, fe convergen. Entonces
I lim Sni Si, donde $ni y Si son las sucesiones de sumas parciales y las sumas de las
->00
series, respectivamente. Por definicin de lmite de sucesiones, para Ve > O 3 tal que
Vn > tiq se cumplen las desigualdades
f i
- lj fe)
luego
k
J2
t^l
ISni - Si|2 < V^fc,
XJ
de donde
l|S - S|| < e o
N J 2 |S - s|2 < E,
t=l
n=2
oo
b) y f e " ^ - )
' A ' ns/' (2n + l)!!(|senn| + | eosn\)/
co
< Solucin, a) Debido a que la serie ]T) ^-^ diverge en virtud del criterio integral de
n2
CauchyMaclaurin, la serie vectorial dada tambin diverge segn la afirmacin del ej. 58.
b) Para que la serie vectorial dada converja es condicin necesaria y suficiente que
converjan las tres series siguientes:
Vi V5 QQ
ln n n!
W V -Hl V a -
> Z - f ny/' j (2n
-J ; + l)!!(|sen n| + | eos n\)'
lim n e ^ - ^ - l ) = lim n f e ^ T s - l ) =
ntoo n>co
oo
60. Demostrar que la convergencia de la serie de nmeros complejos ^ zn es equva-
00 00 n=1
Irnle a la convergencia de las series reales xn y ^ ^ yn/ donde zn = ar -+ iyn.
71=1 W1
OO 00
Solucin, 1, Supongamos que las series X ] Y S
x convergen y sus sumas son X
n=l rc=l
v Y, respectivamente. Entonces, segn la definicin 1 del p, 1,1 para Ve > O H rio tal que
V//, > no se verifican las desigualdades
Xn-X}<e y \Yn -Y\<e, (I)
tunde Xn, Yn son las sumas parciales de dichas series. Teniendo en cuenta las desigual-
I.kles (1) obtenemos
a) y ; 4 i ;
j 7 ! 3
b)
y ; r n!
n + ' ' =<i (i + 2)(i + )...(i
- / A , F
+ 2n)'
OO 00
Solucin, a) Debido a que las series -q-j- y X ) p i convergen, la serie compleja en
n=1 n=l
. 1 1 1 U w U A r t r t * ' A + ' V r t i ^ r t - n f r t ^ m A 1 f f f t t ^ / n l A l ( " S I Y i r ^ l A ^ n f i l ' H l A T
2(i C'apilo lo I, S e r i e s
l>) Utilizando la frmula x \ iy --- \/x2 | y\ws <p'\-i son <p), reduzcamos la expresin
n |( .
a la o m i a ffiiC/fe' d o n d e V = g a r c t 8- Q , m o v i i ^ h <
oo
^ T C T T T ' < ^ . " W y l a s e r i e 5 ^ T O T T T c o n v e r 8 e segn el
V s ^ V ^ T
criterio de D'Alembert, entonces a partir del teorema del ej. 60 resulta que la serie compleja
dada tambin converge.
H Analizar la convergencia de las sucesiones (x n ), n <E N, utilizando para ello las seriea
convenientes:
n-l
1 1 _
1i + 4 = + + 4 = - = - i - y ]
V2 V VF+(Vk + + Vk)
Por consiguiente,
00
lim x = -1 -
Ti*co ' Vk +
f^ ' " \2
\(VkTT+Vkf
Dicha serie converge conforme al teorema 4 del p. 1.5, pues
_1 _ r^j p a r a
1 z k > oo,
por lo tanto, la sucesin dada tambin converge.
ln fc ln2 n
6 3 . xn =
=i
Xji
de donde
k^ 1
Empleando la frmula de Maclaurin con trmino residual en forma de Peano, tenemos
. 2)n(n + 1 ) , n . , ...
2an = r r 2 + ln T T " ln n ( n + 1)
n+ 1 n+1
21n(rc;+ l) ln(n + l) + lnn
hU
*/In?T
n+1 n YW) ~
2 ln n / 1\ - n + 1 nt / ln n \ _
n(n + l) V+ n) " n(n +1) \ n2 ) ~
2 ln n n-l / ln n \ / ln n \
; +
n(n l)Hn2(n +1)
rr+C \ 5-n2 =0
J
=-),
V n2 J n o o .
!i J. Series nunitf ricas. ("rilerioN de mu vi'igrnrhi |mm eru'fi de signo constanle 27
l4* Cuntos primeros trminos (aproximadamente) de fas series siguientes hay que
Ihut fji cuenta para que (as mismas queden determinadas con un error de 10 L ?
OO C
1 , , x-N 2n
n=I -1
4 Mol ucin. El numero buscado de trminos de la serie se determina a partir de la desigualdad
L 5
K + l + On+2 + - - - I < 10 I (0
(onde a n es el trmino general de la serie considerada,
a) Sea an En virtud de que
71+1
1 ^ f dx w
(n + l) 2 J x
n
.'r llene
+oo
1 i 1 , ^ r dx
(n + l) (n + 2) J X2 '
n
1 )i' t \ste modo, la desigualdad (1) se verifica si
+00
/
n
dx
x1
< 10-5
. 2n+l A 2 22
<
+ + " " ' 1 = toT2M
(n + 2)! lV1 + nT+f 33 + (n X n +4)
(n ++33){n + 4) +
, 2. , / 2 \2 , \ (n + 3)2wKl
2)1 V
( + 2)J\ n+ 3 Vn + 3 / 7 (n + 2)!(w + l)
lijercicios
Investigar la convergencia de las series:
X. +x
23. E n i /(#)|sennx[ donde la funcin / es absolutamente integrable en ]0, +oc{ y
n=l 0
x
f(x) dx 0.
/
3 lim y Ap A,
j>=l
donde A es una matriz k x i.
Probar que la convergencia de la serie matricial es equivalente a la convergencia de todas las
series del tipo
n-l
donde aVn son elementos de la matriz A, n E N.
27. Demostrar la convergencia de la serie matricial
xA x1A1 x"A"
+ (1)
donde A es una matriz cuadrada, I la matriz unidad y x un nmero. Ntese que la serie
matricial {1) define la denominada exponente matricial exA, es decir.
tj2. Criterios do ('(iDvot^iicft ptiiii idlomadas 7})
VH. Sea /l una matriz cuadrada que puedo nei ii'i11ii it Iti ii iniii lu mu diagonal, es decir, existe una
nialn/, T tal que
A 0
A-,
T'lAT i
0 A,
I Amostrar que se verifica
0
\
te
e=T T
0 /
VI. Se.i / una matriz cuadrada n x n de la forma
A 1 0
/ A 1 0 o
1 =
1,
\ A/
I >emostrar que se verifica
g
/e* 1! 21 * * I
A
eA e1 *
(b-2!)
1!
\ o
- A
/
:X
OO tt-1
Serio I "!' n
a a O C.
H - l
ex ce
Definicin 2. Si la serie X ] a n converge mientras que la serie \anI diverge,
oo n=l
entonces la serie XI na s e llama condicionalmente converge.
n=1
,10 C a p t u l o I. S e r e s
65.
Demostrar que una serie a convele si se cumplen las condiciones siguientes:
n=l 00
a) el trmino general a de la serie tiende a cero para n > oo; b) converge la serie A
obtenida al agrupar los trminos de la serie dada sin violar su orden; c) el nmero deM=i
p. i-i
sumandos ; contenidos en el trmino An y] a, 1 = pj < p2 < . . . , es finito.
i=P
oo ^n Entonces
M Solucin. Sea (S t ) la sucesin de sumas parciales de la serie X)
n1
oo /P+i -i
m > ~ ' (x E % Y a > 0; 1 = pi < p2 < , .. .
n=1 =pn
que es, evidentemente, la sucesin de sumas parciales de la segunda serie. Por lo tanto, la
urgunda serie tambin converge.
1
Supongamos ahora que la segunda serie converja. Entonces ^ 0 para
=Pn
n > no. Dado que todos los son positivos, la suma a^+i + - -f i (v. ej, 65) tambin
l l e u d e a cero y
(>7. Demostrar que la suma de una serie convergente no se altera si los trminos de la
serie se reordenan de tal modo que ninguno de ellos se aleje de su posicin inicial en ms
de m posiciones, donde m es un nmero fijado de antemano.
00
Solucin. Sea S la suma de la serie entonces Ver > 0 3 TV tal que Vn > N la
an>
=i
sucesin de sumas parciales (5 n ) satisface las desigualdades S < Sn < S e. Segn las
condiciones del problema para n > N -f m es vlida la desigualdad S - < Srn < S +
donde es la sucesin de sumas parciales de la serie obtenida despus de efectuar la
reordcnacin indicada. Consiguientemente, lim S'n S.
J1.+OQ
I|f| Demostrar la convcrgcnein de las series siguientes y li.illar niin sumas:
6 8 .
- J <fW
<? n +J - " n
<?' > _L
T'
2
' TJ . Oc(+l),
n
,rs+l
_ i _ I + i _ 1+. (-1)'
Sl
" 1 2+ 4
2 +
8 +
4 8
ti 2"
2"
\
)
=
3V
4/ i
3V 2
2"-1
2"
2
(~ir}\
++1i /'
Por lo tanto, el lmite lim Sn existe (es decir, la serie converge) y es igual a |.
69. 1 - 1 + 1 - 1 + I - 1 + ....
2 3 4 5 6
Solucin. Como el trmino general de la serie es de la forma an = , N, y la
sucesin ( ) tiende montonamente a cero, dicha serie converge conforme al criterio de
Leibniz. Hallemos ahora S2n:
+
= 1 - 1
2
+
3
1 +
2n l 2n ' 2 ' 3 ' ' 2n 1 + | + '
)-
= C + In 2n + e2n - (C + Inn + e) - ln 2 + e2n ~ en>
donde C es la constante de Eulery s * 0 para n - o o .
Tomando en consideracin que lim Sn lim S2n, donde (5) es la sucesin de
ao * co
sumas parciales de la serie dada, obtenemos finalmente
1 1 1
( I V
,n+l
70. Utilizando el hecho de que y , = ln 2, demostrar la afirmacin siguiente:
Ti,
1! = 1
1 1 1 1
si los trminos de la serie 1 - + - - - + - - se reordenan de tal modo que grupos
2. Criterios de convergencia jmui nrrh'H alternadas 33
1 1 Al realizar dicha
4 Solucin. 1 1 reordenacin
1 1 1 la serie
se obtiene 1 1
I I h ^ + 1 ' ' H~ : _ -(- + * + ?
3 5 2p 1 2 4 2q 2p +1 2p + 3 4p - 1
I I
V + - +
1 \
}- ]
(\ 1
_ ( + -]
1
i +
+
3 5 2p-\) \2 4 2q
f [ 1 - 4- 1
2p + 1 2p + 3
-L * * -L
4p ^y)-- o)
ti Li ultima converge,
Examinemos la serie
I k >
1 1
v( + 2(n
T: - l)p
TT + 3 + ' * * + 2np - 1
- 2(n - 1\)p + 1
J\7(n-
1 1 1
2(n-l)r + 2 2(?i-l)g + 4
+
2nq
(2)
,.i serie (2) se obtiene a partir de la serie (1) al agrupar los trminos de la serie (1) de dos
ti dos. Por ello, si demostramos que la serie (2) converge y hallamos su suma, entonces
alindse en el resultado del ej, 65 podemos afirmar que la serie (1) tiene igual suma.
Sea p > q. En este caso es fcil obtener la expresin para
1 1 1 1 / 1 1
H-^7 + '" + - H -f * * +
2 nq + 2 2 nq + 4 2 np 2\nq r\
J nq + 2 np
2lt) 1 f/D
Sn = C2np + ln - ~ ^ + 0, n oo, (4)
O O
donde (C2np) es una subsucesin par de sumas parciales de la serie convergente j ] Ti' ,
n^l
I )e este modo, a partir de (4) se obtiene
lim ln 2 + ~ ln
!() C a p t u l o I. S e r i e n
v V3
y/3 y/
y/l y/2)
a/2/ \J7
\y/7 y/9
V9 vTF
Vil y/i
y/i-y
1 1 1 1 \
1 - 1 1 ) 4 ... _
V6n-5 vbn - 3 y/bn -1 \/2v
1 , n E f f l
n=l
n=l
Dicha serie se obtiene de la serie inicial una vez realizada la reordenacin siguiente:
a cada tres trminos positivos le sigue uno negativo. Demostremos que la serie diverge.
En virtud de la desigualdad ^ + ^ _ > -Lj _ -J. > 0 obtenemos la
siguiente estimacin del trmino general de la segunda serie: a n > - g L . Debido a que
00 00 *
la serie v 5 diverge segn el teorema 4 del p. 1.5, la serie a " tambin diverge de
acuerdo con el teorema 1 del p. 1.5. Notemos que la serie inicial converge segn el criterio
de Leibniz.
Investigar la convergencia de las series alternadas:
72 i + I + I - l - I - I + I + I + I_...
2 3 4 5 6 7 8 9
< Solucin. En virtud de que la serie con trminos agrupados converge (segn el criterio de
Leibniz), entonces la demostracin realizada en el ej. 65 nos dice que la serie dada tambin
converge.
73. ln n
sen
717T
4
n=l
OO <X) M
Solucin. Las series XJ y convergen: la primera segn el criterio de
Ti1 7l~l jr n \
VA y la segunda segn el criterio de Dirichlet (pues, la sucesin f X X - ! ) * c o s est
ili 'ni,ido,
i
1 -l)n 1 + (cos 1)-i
(-d* cos 2k - i + ^ L r c o s ( 2 7 i + l) <
2 2 cos 1 2
oo
(-i)"
7.S. V
2 V ^ + - l ) " '
(-ir 1
V + (-l)n n- 1 r 1 n- 1
oo / -i y " fX oo -i
donde bn = sen tiende montonamente (si n > ra0) a cero para n * oo, entonces
aplicando el criterio de Leibniz vemos que la serie estudiada converge,
00 / i\[VI
n
71=1
4 Solucin, Examinemos la serie obtenida al agrupar los trminos de la serie dada. Tenemos
1
+ + +
K * M
4 * 4
8 9 10 + 115/
) +
+ + I
36 C a p i t u l o 1. S e r i o s
Dado que
a 1 1 1 2 k +1
k2 + k2 + + ' + (fc + l ) ? _ l < fc2 - > U '
2k
E l 1 1
(k 2 +
-2 + m)((A;
mMtk + + 1l)^2 4+- rn\
m) ~ WTJTT5 &2 +
k2 + 4k + 2 ~ fc2 4v* -I-
4- A + 31 >
(2k +1)2 1 1
(fe + 2k){k + 4k + l)
2 2 Z k + 4k + 2
2 k + 4k { 3
2
para k ^ k0, la serie ^ ( - l ) 4 ^ converge segn el criterio de Leibniz. Haciendo uso del
L O
ej. 66 llegamos entonces a la conclusin de que la serie dada tambin converge.
eos n+1
78.
ln 2 n
4 Solucin. Se tiene
72 / i\ ( n2 ^ / t
cos T+T = cos rTfT " =^ cosiTPT
f _ i y + i
Debido a que la serie J ^ converge segn el criterio de Leibniz, y la sucesin
(cos ^ j ) es montona "y acotada, la serie investigada tambin converge conforme al
criterio de Abel.
M Solucin. Como se deduce del ej. 35, para p > 0 la sucesin (bn) l 0 si n > n 0 . Por tanto,
a partir del criterio de Leibniz resulta que la serie dada converge.
80- X'^)-
ti = 2
Solucin. Sea p < 0. En este caso el trmino general de la serie no tiende a cero y, por
consiguiente, la serie diverge. Sea, ahora, p > 0. Empleando la frmula de Maclaurin con
trmino residual en forma de Peano obtenemos
$2. C'iili'iios (! (iuvim'MI'IU'Ih urthi Ncrlru .il temadas 37
O
(\ w'P)/ SI 11 00.
m i
^ 1i I i
1 lo que, segn el criterio de Loibm/,, lii so rio converge para p > 0 y la serie
i h i I
1 <|ln(l + .("1)n
2nP n?
V Ion leo remas 1 y 4 del p, 1,5, vemos que la serie dada converge absolutamente para p > 1.
IW mnsiguiente, si \ < p < X la serie investigada converge condicionalmente.
Hl. (-ir
n 2 ( + ( - 1 ) " ) '
Solucin. Para p ^ O el trmino general de la serie no tiende a cero, es decir, la serie
divnge. Consideraremos entonces el caso p > 0. Empleando la frmula de Maclaurin con
rl limi ni no residual en forma de Peano transformemos el trmino general de la serie como
nI^iic:
nv -
( o" <-i)"r'(i + t i )
(n | { 1))f n
n+1
( - i ) " r ( i + p (-D (-ir p 1
p + r + o
n nP np+l \nP-
00 00
n n > oo. Las series y { ^ r -f o convergen para p > O (la primera en
71=2
vit liul del criterio de Leibniz y la segunda/ por el teorema 4 del p. 1.5). Por tanto, la serie
Inicial converge siempre que se verifique esta misma condicin.
Como
< < n = 2, oo,
(n + iy (n + (-l)")p (n - l)p'
oo
y Li serie Y^ converge para p > 1, entonces a partir de la ltima desigualdad y del
ti=2
I ni rema 1 del p. 1,5 deducimos que la serie inicial converge absolutamente si p > 1,
i no siguientemente, si O < p ^ 1 la serie converge condicionalmente.
oo KJT
sen
82. V Ti'iT
nP + sen 4.
!I=I
Solucin. Obviamente, para p ^ O la serie diverge, pues no se cumple la condicin
mirosaria de convergencia. Al igual que en el ejemplo anterior, representemos el trmino
- 1 forma
tltt -1
/ATT / 77T i rnr sen
un I w + sen n r sen
4 4 4 TiP
sen
nv sen nv sen
nw
sen 2 mr 1
1 + n oo
np V? n? n 2p n 2v
Captulo I. Series
00
Para p > 0 la serie tambin converge segn el criterio de Dirichlet La serie
n=l
^ ( n 2 ? + 0 ( i 2 P ) )
=i N '
converge tan slo para p > | segn el teorema 4 del p. 1.5. Por ello, la semidiferencia de
estas series ^ ^
\ 71=1 \
+ -
/
\
11=1 V
+
'
00
converge para p > | (pues, para 0 < p ^ ~ la serie ~-v diverge, por lo tanto esta ltima
n=t 7
serie tambin diverge). Consiguientemente, la serie inicial converge slo para p >
Para definir la regin de convergencia absoluta hacemos uso de las estimaciones
|senf | [ s e n f | 1 <2|senf|
1 cosf = s e n 2 f ^ |sen^[ ^ i
2n? 2n? nP ^ nP ^ nP'
as como de los teoremas 1, 4 del p. 1.5. De estas desigualdades resulta que la serie dada
converge absolutamente slo para p > 1, Por lo tanto, si | < p < 1, la serie converge
condicionalmente.
83-
=i
i\l</]
m
Solucin. Es evidente que para p > 1 la serie converge absolutamente. Para determinar el
dominio de su convergencia examinemos la serie
71
oo
=1
(2)
donde An = + (n] + + fri^y, se obtiene al agrupar los trminos de la serie
dada. Puesto que 0 < A < para n > oo y p > y, adems,
* - -1
(2n + l)((n 2 + 4 n + l f - (n 2 + 2 n f ) _ 1 1
(n + 2n)P(n + 4n + \)P
2 2 (n +4n + 2)?
2 (n2+4n + 3)P
2. Criterios iK* conv^r^nt ifi jwt'rt MPI'IIW alternada
para un n lo suficien tomen te grande, la Nodo ronvoigr en virlud del criterio de Leibniz.
Atlomis, An > no tiende a coro si p |; por lano, la serie (2) diverge si p <
I'm onsiguiente, conforme al ej. 66 la serio (I) converge slo para p > As pues, la
hoHo (I) converge condicional mente para ^ < p L
84. yL l l
Z n
4 Niillicin. La serie obtenida al reagrupar los trminos de la serie de partida tal como sigue
OO
1
< - ' " ( ^J t t + '+ [ek}J7
=1
86 1 , 1 + 1 - 1 + 1 - 1 + ...
F 2 y 4? 5P *
4 Sol ucn. Evidentemente, para p^Ooq^O la serie diverge (esto resulta del criterio
i ici osario de convergencia). Por tanto, a continuacin consideraremos que p > O y q > O.
Agrupemos los trminos de la serie dada del modo siguiente:
I Jado que
I ^ 1 = J^ 1 A. . 1
' (n + 1) ~~ vP- K )
1 1 a q , n\\ 1 1 , q , / 1 \
np n? V
upillHO
la serio agrupada converge para p q > 0 segn el teorema 4 di'l p. |.!>. Un el caso p -A q
vemos que la serie converge si se cumplen ambas desigualdades p > I y q > 1. Entonces
teniendo en cuenta el ej. 65 deducimos que para que la serie dada converja tienen que
cumplirse las mismas condiciones. Obviamente, la serie converge absolutamente slo para
p > 1 y g > 1.
87. i + l _ l + 1 + 1 _ 1 +.
3P 2P 5" 7? 4?
Solucin. La serie 1 + + + + + de los valores absolutos de los trminos
de la seiie dada, converge tan slo para p > 1, ya que bajo dicha condicin converge la,
00
serie Y ] ^ y ios trminos de una serie absolutamente convergente pueden reordenarse de
cualquier manera.
Si p 1, obtenemos la serie analizada en el ej. 70, donde se estableci que dicha
serie converge.
Consideraremos el caso 0 < p < 1. Formemos la subsucesin (5 3 ) de sumas
parciales de la serie dada, donde
Ssn -1 ~ b+ 4? ^ +
1
(2 n - (2n)P
1 . 1
+
(2n +1)?
+
1
1 1 +
+ = C2 + + +
(2n + 3)P ' ' (4n-1)P ' (271 + 1)? (2n + 3)'' (4ra - 1)'''
siendo (C2n) una subsucesin de la sucesin de sumas parciales de la serie convergente
(-)" . Debido a que
Q
E O
1 1 n
(2n +1)?
+ + +
(4n - 1)P
>
(4n-iy
+oo, para oo,
(2n + 3)?
entonces
Por consiguiente, para O < p < 1 la serie en cuestin diverge. A partir de la condicin
necesaria de convergencia vemos que la serie diverge tambin para p < 0. As pues,
llegamos a la conclusin de que la serie investigada converge absolutamente si p > 1, y
converge condicioxialmente si p = 1.
i_
88. i + 1 + 1 , 1
1? 5p 7?
1 + 1 + J _ _ l +
3? 3? 9? 11? 5?
Solucin. Evidentemente, si p > 1 dicha serie converge absolutamente, pues bajo esta
00
condicin converge la serie - y los trminos de series absolutamente convergentes
n-l
pueden reordenarse de cualquier manera.
Sea O < p < 1. Consideremos la subsucesin (S3n) de la sucesin de las sumas
parciales de la serie en cuestin
1 1 1
+
3n (2n + l)P ' (2n + 3)P ' ' (4n l)f
Como S3n > (4n-l)P oo para n -+ oo, la serie dada diverge.
2. t riU rios do cimvMHii<it p<u,i hv\vh .dhrnadas 41
Sea p I. ri este cuso 0 S^ v * y w^un el teorema de una sucesin mo
y mulada, lim es finito, Por (unsi^uicnle, converge J<i seri
tt >00
I 4 I
5
I )rl>ii lo i que en el ejemplo considerado se cumplen lodos las condiciones del ej. 65, la serie
e mi ni n id a converge.
lomando, adems, en consideracin que para p ^ O dicha serie diverge, establecemos
iletimlivamente que la serie converge absolutamente para p ^ 1 y condicional mente para
/
V
H>,
2 1 1 2 1 1 2
29 3? 4? 5 6P 7P 8?
NuIim in. Examinemos la serie
2 1
-f
( + iy ( + 2)p
n=l,4s/v
hHci(K. de la inicial al agrupar sus trminos de tres en tres. Asumiendo que p > O y q > O,
leemos
2 1 /I 1\
" n>> (n +1)1 (n + 2f Vn? ni)
+ n > oo,
de dtMide, en virtud de los criterios de comparacin del p. 1.5, se deduce que para p q
lii M'rie (2) converge. Sea p q- Entonces an ^ para n oo y, por consiguiente,
nrj;im los criterios de comparacin la serie (2) diverge si mnQ?, q) ^ 1. Teniendo en cuenta
el i rilerio del ej, 65 y observando que todas las condiciones de dicho ejemplo se cumplen
cn el raso considerado, llegamos, en lo que respecta a la convergencia de la serie (1), a las
mininas conclusiones que para la serie (2),
Vemos, adems, que para p ^ O o q ^ O la serie (1) diverge (pues el trmino gene mi
le l.i serie no tiende a cero), y para p > l y g > l l a serie converge absolutamente, luego
|iiii,i O < p q < 1 la serie converge condiciona lmente.
V I I I I M I I I I I M B ! ! I I I lllll I I I I II I I I ' * I I I I I I I I B I M I M I M B I I M
E^ ^ ) \, J J \ ( ~ ty - - ( ~ 1)
n l m m m m 7 1
)(). donde
n / ni
Tt=]
91. Demostrar que para cada p > 0 el valor de la suma de la serie ^ ^ est
comprendido entre los lmites ^ y 1.
4 Solucin. Debido a que, en virtud del criterio de Leibniz, la serie converge, todas las
subsucesiones de sumas parciales tienen un mismo lmite S. Adems, la subsucesin (S2n)r
decrece. Por consiguiente, S2n < S < S2r...., de donde se deduce que S < Si < 1. Para
demostrar la estimacin inferior consideremos la subsucesin (,S.in_i). Debido a que la
grfica de la funcin h p > 0, x > 0, es cncava, se verifican las desigualdades
S = 1 _ l - i _ l 4 . . 1 1 1 >
*" 1 2'' ' 3P 4P ' (4n - 1)P (4b)'' (4B +1)''
> i _ l + l _ . . 1 i 1 ^ 1 1 ?
2>' 4>' (4B - 2f (4nf 2? 2">
y el paso al lmite litis proporciona
1 S
lim Sin-1 = 5 ^ 1 - lim S 2 = 1 - ~.
ti>oo r n^oo f
As pues, S ^ > c. q. d.
92. Cuntos primeros trminos de las series siguientes hay que tener en cuenta para
que las mismas queden determinadas con un error de 10~6?
, V (-ir1. ,, ^senB
a) ^
n=l v b ^ t t '
b) ^n=l - j r -
M Solucin, a) Segn la estimacin del resto que se deduce del criterio de Leibniz, el
nmero N buscado se determina a partir de la desigualdad r- < 10 6 , de donde
N 106 (v. p. 2.2).
b) Conforme al criterio de Dirichlet la serie converge y su suma es igual, segn
el p. 2.5, a la suma de la serie agrupada
2. CrileruH lo convoi^imu Li |iti<t himU-s .illi-ni.nl.is 43
00
11
K, K ( 0
11 ^ sen k
k 1MI){U l)|l y/k
*|0i\ evidentemente, es de tipo Leibniz, es decir, converge segn el criterio de Leibniz.
i ntiN}uentcmente, para el resto de oslo serie es vlida la estimacin
180+179 lBOw+179
sen k 1
< V sen k < 1 - < lO' 6 ,
k-18071+1 , fr? ,
Viso n +1 kl80n+l VTlsen 4
360
de donde N ^ 1,32 -10 6 *
M3. demostrar que la serie armnica permanece divergente si, sin reordenar sus trminos,
t iiinbiainos sus signos de un modo tal que q trminos negativos alternen con p trminos
ponilivos (p ^ q). La convergencia tendr lugar slo para p = q.
Polucin. La serie indicada en las condiciones del problema
1 1 1 1 1
1 -h i + 9 m 4
+ + 4 * 1
+ I * I
2 3 p p +1 p + 2 P+ q p + q+ l 2p + q
Mc^un el ej. 66, converge o diverge segn lo haga la serie
1 1
i" f + + ' - * "h +
2 p 4-1 p+ 2
1 1
+ (1)
p+ q+ 1 2p -f q
'iim p > q. Dado que son vlidas las estimaciones
i 1
* >
m
+
p+ 1
+ + M
al
p+q
> 1- J-o-
1 i 1 i
s2 + (
2p + q
+ + >
p+ 1 2p + q + l 2p + 2q
P q H
>P~
2p + q 2p + q p 2p
*p ^ i - _ i
IJ xn. > 0
p 2p + q wp+{n- - 1 l)a)
)q
y liin an - +oo, concluimos que la serie (1) diverge.
Jl <<x>
Sea p < qr Estimando las sumas parciales de la serie del modo siguiente
Si < p, S2<p-
q q-p
> s3 <P
p+Q p+ q
q-p q 1
Si<p- S s < p - t ^ ( 1 +
p+ q Y (p + qy p+ q \
q_-p 1 1
$2n < P 1 + - + --- +
p+q 2 n - n(p + q)'
1.
ftto+l < p +
p+ q V 2 n
Icarminamos que lim S2n \ i oo, o sea, la serie (1) diverge.
n^oo
44 Caplulo I. S e r i e s
Ejercicios
Investigar la convergencia de las series siguientes: ;l
33.sen^ln(l + = ^ ) .
n=2 -1 n=1
34- & 35 " E arcl* <g ) s e n ( " + ) 36 " t arcsen^ cos - (-!). :
n-2 TI1 N=l ;j
37. 39.((farctg^)U"-l).
n=2 T
i2 u=.1 V '
40. V fc" eos3 2n, p N. 41. 42. V ( - l ) " f + ~r + " +
PCTt
0C- +-X OC 1 X ti
43. ( - 1 ) " / 44. -f{l-x2r dx-senn. 45. /
o ti=l D 0
TC
46. an/ donde an es la solucin de la ecuacin
n1
1
C + 2)an+1 + 2(u + l)aB+1 + nan = 0, ffli =-1, a2 =
x
Investigar la convergencia de las series matriciales ^ ,4 siguientes:
n=l
G ^ , (1)
=1 n=l
7l~ l I
l'nlii irmula es vlida tambin en el caso de que las tres series convergen
v _ _ 1 (l + 1 U i - i + J - U
2" ~ 2 \2 22 / 23 2 \ 24 25/
M I 00 ,00
i i _ ! I x i U i = - - V -n - 2
26 2 \27 28 / 29 * * 2 ^
71=1
23 2 ^n - l 2r 7
M < 1.
n^O
oo
Solucin. Puesto que la serie J 2 ( x v T converge, entonces empleando la afirmacin
n-Q
I p.3.1 tenemos
k i
\ a f I 2i 1 2 2 2 2 3
\ Ilyi * 1 = l + y + xy + xy + x y +x y H
>. n OO 00 00
i +y
$ > | f ) t t + y X > f ) " = (l + y) 1 -xy
710 71=o
n=l
^ (x n - 1 ' ) !n=l
^ vn - l '! Af
n=l n=2 '
!() C a p t u l o I. S e r i e n
donde
H ( l)fc 1 ( l) 4
Cn = akb-k+] = (-1)" ^ {k _ I)[(n _ k)V a^jj^, =
(-1)'
11 k
k=0
La afirmacin queda demostrada.
oo
97. Demostrar que el cuadrado de la serie convergente ^ -j= es una seria
n1
divergente.
Solucin. Ante todo observemos que la serie dada converge (condicionalmente) por e
criterio de Leibniz. Segn la regla del p.3.2 se tiene
W(-lr+ 1 . >, = ( _ 1 ) n + i y - 1
Cn
A Vk Vn-k + lJ f ^ y/k(n- k + l)
y"
n 1i
^ y/k(n - k +1) ^ n
00
Por consiguiente, segn el criterio necesario la serie J 2 cn diverge.
T!=l
ra1
-(ir y n=;l
proporciona una serie convergente absolutamente.
Solucin. Es fcil establecer (por ejemplo, con la ayuda del criterio de Cauchy) que las
series divergen. Utilizando la regla de multiplicacin de series tenemos
Ti
c,, = aibn + bran + ^ akbn~k+lj
k=2
donde
hii i onsiguiente,
i
Y
D U A ku2 L 6 (k-2A D
)
00 OO -i
n=l n=l
|ljt*lTCOS
l( ni picando la regla de Cauchy multiplicar las seres siguientes y determinar las sumas
de los productos:
* "X OC ; ; OC 00 3C
*t I n=l
in I Amostrar las propiedades siguientes de la exponente matricial:
t.nAcx2A =1X+X)A; ^xAyl - f
e .ie^ n j e a+B,
donde A, B son matrices cuadradas.
ft1/ Mnslnir que: a) (eAY - e', donde A*
ri?
es una matriz conjugada hermtica;
i
Si todos los trminos de una serie uk(x) son continuos en X , dicha serie converge
uniformemente en X . v su suma es S(x). entonces la funcin ft pk rnnKrmn t>n Y
tj'l, Sint'NluiU'N y npiU'n hincioiitdi'H 4(J
V f\\ lim Uf(x) = ck, k G N, entonces la serio numrica )>J Cf. converge y, adems,
r k i
(XJ CM
ti una serie (1) del p.4.1 con trminos integrables en [a, b] converge uniformemente en
o, tf\r entonces es vlida la igualdad
X X
oo
S(t) dt = i uh(t) dt,
fe]
decir, la serie (1) del p.4,1 puede ser integrada trmino a trmino en el segmento
h ' n , I C [a, b].
4.7. Paso al lmite bajo el signo de derivada y diferenciacin de series
trmino a trmino
Si una sucesin de funciones diferenciables con continuidad (/ t t ), / : [a, >] IR,
ii i N, converge a una funcin / : [a, 6] * R, y la sucesin n N, converge
Miiiloj memente a una funcin <p : [a, b] * M, entonces la funcin f tambin es diferenciable
1,11 K &] y f ( x ) = = l" 11 K ( x ) i e s <Jecir, se puede aplicar el paso al lmite bajo el
M|;uo de derivada.
Si la serie (1) del p.4.1 cuyos trminos son diferenciables con continuidad converge
ni [a, b] y la serie de derivadas
00
jt-i
converge uniformemente en [a, b], entonces la suma de la serie (1) del p.4.1 es diferenciable
cn |, b] y, adems, en este segmento se verifica la igualdad
00
S'(x) = a(x) = ^2uk(x\
c=1
o sea, la serie (1) del p.4.1 se puede diferenciar trmino a trmino.
50 C a p i t u l o I. Scrit-N
diverge para 0 < q - p ^ 1. Efectivamente, en virtud del teorema 4 del p.1.5 la primer!
serie del segundo miembro diverge a +00, pues ~ para n 00; la segunda ser
en el segundo miembro converge segn el criterio de Dirichlet para 0 < q - p < 1, puest<
que
n
sen nx costra + l)x
| cos 2kx sen x sen a:
fc=1
y TT^r j 0 P a r a >
Adems, como |sen nx\ < 1, entonces en virtud de los teoremas 1 y 4 del p. 1.5 le
serie
00 p 00 v
E n 1 1 ^ V ^ n
- sen na;1 ^ > -
1 + ra? 1 ^ 1 + ni
n=l n=l
==i
nVP 1+ n-i
00 n
100. n 4- yn
y > 0.
n=l
4 Solucin. Sea 0 ^ y < 1. En este caso, conforme al criterio de Cauchy la serie converge
para |a:| < 1. Efectivamente,
Sik'Mijh'n y m>i!i*h Iiim oiiiU'n !>
i . 1 1 j
1
Y(z)n-
ln(l + xn)
101. f ^ ^ ^ O O .
Z^ n y ' ^
12 1
Noliu in. Examinemos tres casos: a) 0 ^ x < 1; b) x = 1; c) x > 1. En el caso a) se
0 0
.
Ilt-iii' ln( l + t") ^ xn para tl oo. Debido a que la serie ^ converge segn el criterio
n=i
dik < '.uichy para cualquier y, de acuerdo con el teorema 3 del p. 1.5 la serie investigada
I * 11111 > 11- n converge bajo las mismas condiciones.
00 , ln ?
rc-1
1
oo
Ln ?crie ^T converge segn las condiciones del problema y ( - y - ) es una sucesin
n=l " "
montona v acotada por la unidad Var >
!() C a p t u l o I. S e r i e n
donde
rn{x) = \f(x)~ f{x)\.
4 Solucin. Necesidad. Sea fn(x) f(x) en el conjunto X , n oo. Segn la definicin
del p.4.1, esto significa que Ve > 0 3N = N(e) tal que Vrt > N A Va: 6 X se verifica 1
desigualdad \fn(x) - f(x)| < e, de donde se deduce que sup r(x) < e.
x
Suficiencia. Sea lim (sup rn(x)) 0, Segn la definicin del lmite de una succsi
11>00 J
numrica Ve > 0 3 N N(e) tal que \/n > N se cumple sup r(x) < e. Dado qi
x
r(x) <; supr n (x), entonces rn(x) < Va: X. Segn la definicin 2 del p.4.1, est
x
conduce a que fn(x) f(x) en el conjunto X si n -* oo.
oSUP<] !/,() - / ( . ^ - ^ ( i + I ) - ,
l i m f 1 ( l + i r ) , i lim - i - = 0 ,
n-oo \ n + 1 \ nJ J e oo n + 1
entonces de acuerdo con el criterio demostrado en el ej. 103, fn(x) ^ 0 .
i
107, jH(x) x- -I- oo . x *. |
7
i
| Polucin. S n > oo, entonces /(:) > M en el intervalo | oo, foo[. Adems,
1 l
sup X2 + \ - Le sup - n
71- ^G|-txj,-i-ooi n 2 J x 2 + - I" \x
ii'lmln a que
1 1 1
sup sup +oo,
IK I oo Zy/X X n
1
+ v
ni rl caso a) y
X
sup sen 1
co<#<+-oo 71
IZtl
i'W * I caso b) (ste se alcanza para x = (2fc + 1), k Z), entonces utilizando el
11 Hi:t deducimos que en el caso a) fn{%) 0, y en el caso b) la sucesin converge no
nn Ion nenente;
I 10- a) fn(x) = arctg nx, 0 < x < -foo; b) fn(x) - x arctg nx, 0 < x < --oo.
Polucin, a) Tenemos f(x) lim arctg nx = Como
TI 0 0
7r 7T 7T
sup arctg nx lim arctg nx
2
0<X<+OQ 2 V
un! iiii.irin
54 C a p t u l o I. Sorit'H
\ , 1 1 1
|a; - arotgvxj ZZZ x arete - U, n oo,
} " nx \ nx n
vlida para cualquier x ]0, +oo[. Por consiguiente, fn(x) t- " conforme a ]
definicin 2 del p.4.1,
< Solucin. En ambos casos es fcil hallar la funcin lmite / : x h- ex. En el caso a,
representemos la sucesin en la forma
fn(x) = exp + ,
En virtud de que
e 1
lim e x - ( l
x-^+oo \ 71/ I
por ello SUp Tn (x) = +oo. De este modo, la sucesin ( f ( x ) ) converge no uniformemente
-00<<+00
en todo el eje real.
113.
n2x si O < x ^^ n1
HuhwWm. Como /(()) ^ 0, entonan lim /(U) (I, I W lano Va? e JO, l[ 3 N : Vn > N so
H
i umplr x > Consiguientemente, fri(x) 0 y lim /(:r) para x- [0, J]. Do esto modo,
" U M U )
nf(x) 1
1 1 4 . Sea / una funcin arbitraria definida en un segmento [atb] y sea fn(%)
n
iVmoslrar que /n(x) =4 }{x) para a < x < b, n * oo.
Nolmin. A partir de la definicin de la parte entera se deduce que nf(x)-pu(x),
0 i*tf(-r.) < 1 Por lo tanto / (a?) puede representarse en la forma fn{x) ~ luego
lim /(*) - f{x), as como \fn(x) - }{x)\ = ^ 1 o, es decir fn(x) z$ f(x).
" * >
i
^ohu iii- La serie estudiada converge segn el criterio de comparacin (efectivamente,
00 JJ
1
S(a) - Sn(a:)| = - 2j U -r^ 0 para n oo,
k k2
&=ti + 1
yIude S(x) y (5rt(a:)) son la suma y la sucesin de sumas parciales de la serie dada,
ni|u'i livnmente, llegamos a la conclusin de que la serie examinada converge uniforme-
incnlr.
rX) n
I1 ^ en el intervalo ]0, +oo[.
I
n0
tari Licin. Dado que la suma de dicha serie es S(x) ex, el resto de la serie es
n k
rM{ -) - ex fy* Sin embargo, sup -foo (la funcin x i-* ex tiende a +oo si
A= ' 0<af<+oo
'i * I oo ms rpido que cualquier funcin potencial x xn)> Por ello, la serie converge
XQ uniformemente.
oo
l 17. x)xn en el segmento [0,1].
n=o
71
Solucin. Calculemos la suma parcial de la serie Sn(x) 52(1 x) x * = 1 xn+l
K=Q
11 x ^ 1. Utilizando este resultado para la suma de la serie obtenemos
Cnptulo I. S e r i e n
Por consiguiente, sup |.S'(:<:) - >'(;)| 1, o sea, ln serie d.id.i converge no uniforme-;
mente.
<p> Nota. Si una serie funcional de funciones continuas en cierto segmento converge en dicho segmento,
a una funcin discontinua, la serie converge no uniformemente.
TI " 1 1 1
Sn(C) = S ((ft - + l)(ft + !) + 1 ~ fc + l ) = 1 ~ + ''-
de donde obtenemos S(x) lim Sn(x) = 1, 0 < x < +oo. Debido a que sup 1,
W W
I G G WccR
la serie investigada converge no uniformemente.
Tenemos
t^l. SIKVHJOIU'K y MOLIH lilil OII, N'ri 57
II ,V I
sup |
|j;|<fix> fi'l^ |>* 1 | u\tr'
00
1
y tiM alianza para xn l'or lo lano, podemos lomar la serie ^p/z como mayorante
111
tlt< hi .serie dada. Debido a que Ja serie mayorante converge, la serie estudiada converge
Uniformemente segn el criterio de Weierstrass.
Mj
n
121. V (xn + O/ N ^
n 1 V
-J
U\x\<2
OO
? > V^
,X3
, tal < a, donde a > 0.
L2J*
00
Mol licin. Consideraremos la serie 7%' 1 1 9
mayorante de la serie dada. La conver es
n=l 1 2
00
X'
123, ] l n ( l + ) / M < a-
2 t ln^ T
n <r tr. (1
11 4- a:' a
V V A J. I X (.
< <r
V nlnnS " nlnzn nhnn
00
1 v ile la convergencia de la serie numrica ^ n n , que es mayorante de la serie funcin
ra2
ilinla, deducimos la convergencia uniforme de la serie estudiada.
5S C aptulo I. St'IU'N
n
sen f sen ^ x 1 i
^ sen kx -
sen sen : sen ;
k=i
y la sucesin ] 0 para n > oo, entonces segn el criterio de Dirichlet la serie converj
uniformemente.
b) En este caso dicha suma no est acotada respecto a las variables x y n, pues paj
x -, n N, se tiene
kir ir
E k=l
sen = ctg > +oo para n oo.
Solucin. Para todo x > 0 fijo se tiene 2" sen ~ ~ (|)" ~ para n - > oo, lo que conlleva
la convergencia de la serie dada segn el teorema 3 del p. 1.5. Para investigar el carctej
uniforme de la convergencia apliquemos el criterio de Cauchy. Sea \, j> n, x =
Entonces
vi'iiuK <|ue las sumas parciales estn acotadas y la sucesin funcional {(n f- x) 1//2 ) tiende
mimo uniformemente respecto a x ( i/l+X i 1 0) y montonamente respecto a n
: <
y/t
1 1 1
> 0
y/n + x Vn+I+X yj{n + x)(n + l + x) (VTTTx + VrT+x)
00
I2H. )emostrar que la serie absoluta y uniformemente convergente fn(x)t O ^ x ^ 1,
TJ1
li tndi
O si O < x 2" ( n + 1 )
sen2(2n+1nx) si < x < 2~n,
O si 2~n ^x^ 1,
un 'e puede mayorar por una serie numrica convergente de trminos no negativos.
0 si X ^ 1,
Sn(x) i sen 2 (2 k + 1 xx) si 2~(jfc+1) ^ x < 2~\ ft = l,ra,
=
0 si
0 si
S(x) = lim Sn(x) l sen2 ( 2 M i r x ) si 2~(M) z < 2~kj fc = )
n~*<x
0 si
donde {S n (x)) y S(x) son la sucesin de sumas parciales y la suma de la serie dada,
h'ipcctivamente. Entonces
O si
S(x) - Sn(x) l sen2(2k+lnx) si 2~{M) 2~k, fc = + 1 , oo,
O si x o,
01) C a p t u l o I. St'if'N
Un virtud do que sup |V(x) A'(x)| (se alcanza para x ~) tiende a cero par
i
n * oo, la serie converge uniformemente.
La convergencia absoluta de la serie se deduce del hecho de que para un x C [0,1
fijo la serie contiene a lo sumo un trmino distinto de cero.
Sean c,, los trminos de una serie numrica mayorante. Segn las condiciones d<
problema, c,, ^ sup |/n(z)|. Dado que sup |/ri(:t')l = que se alcanza para x ^ru
o
se tiene c > Sin embargo, la serie \ diverge, por lo tanto la serie estudiada no s
71=1
puede mayorar por una serie numrica convergente de trminos no negativos.
oa
1 2 9 . Demostrar que si una serie 'pn(x) cuyos trminos son funciones montonas e
n=l
un segmento [a, b], converge absolutamente en los puntos de frontera de este segmento, 1
serie dada converge absoluta y uniformemente en dicho segmento [a, 6],
Solucin. Tomando en consideracin el carcter montono de las funciones <f>n, estimemo
el resto de la serie rn(x). Para x [a, 6] tenemos
fc=)t+I k=n+1
oo
EM
>tfl < |
OO
k=n+1 k=n+l
00
E M>
6l < -
Dado que mx(|^(a), |>t(6)|) < | >*() | + \<pk{b)\, utilizando las desigualdades (2)
representemos la expresin (1) en la forma
k=n+1
de donde se infiere que rn(x) O, x > oo, o sea, la serie investigada converge
uniformemente.
La convergencia absoluta de la serie resulta de la estimacin (1).
CO 00
1,1 L I Amostrar que la funcin f : r *^J fi n f,t rn continua y lieno derivada continua
m el dominio - o o < x < -foo. " 1
Nitlucion. Las funciones x f-+ sen na:, x > cos/r;i: son continuas en el dominio indicado.
Ademas, las series
OO fX)
( v sen rix /,
, % v\ cos nx
TI ' NZ
n=l rt=l
11 mivy,en uniformemente en virtud del criterio de Weierstrass, Por ello, se puede diferenciar
Ir mu ir ilada trmino a trmino (segn el p.4.7) y las funciones / y / ' son continuas (segn
el '1/1).
CsO
4 Nnllicin. Se tiene
T
Sn(x) = - (fe - l)xe-{k~l}*) =
k=
S(x) = lim Sn(x) - O, a; [0,1].
T
i ^CO
i ir r?i1e modo, S es una funcin continua en [0,1]. Sin embargo, sup Sn{x) i:'
jiut lo tanto la serie converge no uniformemente. ^IM
( iJ. r\ ^ x +
x + ) ; b) f(x) x2 -f n2
n1 n=1
4 fiolucin. a) Segn el criterio de Cauchy la serie converge si lim a?-f < 1, o sea,
n> oo
fii || < 1 y diverge para x ^ 1, pues en este caso el trmino general de la serie no
ende a cero. De este modo, la funcin / viene definida para < 1, Si \x\ ^ r < I
la Me rio funcional converge uniformemente, pues converge la serie mayorante de trminos
(* | Basndose en el p.4,4 se puede afirmar que la funcin / es continua para
r| r < 1, es decir, / es continua en el intervalo 1[.
b) La funcin / : x es continua para - o o < x < +oo y la serie con
ln minos fn(x) converge uniformemente en todo el eje real En efecto, representando las
limnones fn en la forma
n2 (x (-1)"
Jn * * ' ? t 7
x -f n \ n n
niifiervemos que las funciones ipn : x > ^ ^ estn acotadas en conjunto (<pn(x) ^ 1) y
oo u
l,ira cada x forman una sucesin montona respecto a n; adems, la serie +
T 1 1 "
mnverge uniformemente en todo intervalo ]Lr L[. Por lo tanto, segn el criterio de Abel
62 Captulo I. S o n e s
(X)
00 1 !
C : x i- y^ j
' J 71
nx i
n -l ]
s
es continua en el dominio x > 1 y tiene en este dominio derivadas continuas de todos lo]
rdenes. 1
< Solucin. Sea x ^ XQ > 1. A partir de la convergencia de la serie
*
ln'n ^ _
En=l
>
ln p n
n
n=l
p f_ M, (1)
Tt00
siendo x ^ XQ > O, que es mayorante de la serie
SuccnIOIICI* y N*rltN intii hundes 6 3
i
(2)
ti -
|Mdn que segn el criterio de Cauchy la serie {!) converge, a partir del criterio de
VVoh?iMl rass se infiere que la serie (2) converge uniformemente. Por consiguiente, segn
|< 'IV lii funcin 0 es diferenciable cualquier numen) de veces para x ^ a?o > 0. Como
m iibilrario, dicha conclusin es vlida para x > 0,
v i-ir
00
f(x) =
J w ^ (n-bx) 2
tti
Miuverge uniformemente, segn el criterio de Dirichlet, en todo conjunto cerrado del eje
ti'iil que no contenga los puntos x 2) 4 t V li serie a) puede ser diferenciada trmino
ri lamino para x ^ n, n E N .
I>) Segn el criterio de Weierstrass, la serie converge uniformemente para todo x
istl A i
u ln efecto, en este caso ^ A = const, y la serie X ) ^ converge. Por
/ ( A a ) - /(O) _ /JAx| y 1 X
oo
I ii nerio converge uniformemente de acuerdo con el criterio de Weierstrass. Por
ti=i
<no, conforme al p,4.5 tenemos
00 oo
^ I ^2
lim V 5 /A 2 = -=2 < +00. (3)w
Azo ^ Ti2 -f (Ax) ns
1 n
M Capitulo I. Si'rk's
As pues, a partir de (2) y (3) obtenernos /(O) = b> /-(<>) >J De este moc
-[ ii i
la funcin / no es diferenciable en el punto x = 0.
HiiIJii;
oo
(-1r1 xn
1,1'). |m \
* >10 ^1 71 XTI \
n=1
NtihnIik Segn el criterio de Abel la serie dada converge urdormemente para x 0.
Hitik 1^
AiUmuiK JT* = ' Por tant/ conforme al p.4.5 se puede efectuar el
<il lmite bajo el suma torio
Um y (( - i\t+l
l)_ xn 1 f -iyi+1 1
^
ar1-0 n xn + 1 2 ' n 2
7=1 l
OO
no. um y ; ( x n - x n + i ) .
i > i -o ^^
OO
, ,.0 -^t 2nnx
n=1
Mnlminn. En virtud del criterio de Weierstrass la serie dada converge uniformemente para
^ I). Por ello segn el p.4.5 tenemos
OO ^ OO J 1
lim > - > lm - = > = 1.
TI1 =1 n1
OO J
X
|'|2. lim V ^ y.
r >oo 1 + n -f X
Tl^l
C 1 co ^ ^ ^ ii
00
X
Estudiar si la serie arctg j puede ser diferenciada trmino a trmino.
n1
Nntucin. Las funciones x arctg r, n N, tienen derivadas continuas para < oo.
..I . .. J 1 L ^ J ^ 1 C / * ^ - ^ ^Mr^ ^ < ^^ \ ^./S iJ ^ . J 4 4 AiA A ^SM ^J A K , C
76 C a p t u l o I. S e r i t - H
oo
intervalo la serie funcional ^ arctg ^ converge. Adems, en virtud del criterio d
n=l
oo 2
Weierstrass la serie de derivadas Y1 c o n v e r g e uniformemente para |ar| < oo. P<J
n=l
consiguiente, segn 4.7 la serie estudiada puede ser diferenciada trmino a trmino.
OQ ,
144. Estudiar si la serie (x 2n+1 - x2n~') puede ser integrada trmino a trmino en j
n=l
segmento [0,1].
< Solucin. En [0,1] la serie funcional dada converge no uniformemente. En efecto, para
suma parcial S(a:) y la suma 5(a;) de la serie se tiene
Se ve que la suma de la serie es una funcin discontinua; por tanto la serie no pue<
converger uniformemente y, por consiguiente, la afirmacin del p.4.6 no puede ser aplicad
No obstante, debido a que
L oo i 00
js(x)dx =
o
la serie puede ser integrada trmino a trmino.
Ejercicios
Investigar la convergencia uniforme de las siguientes familias funcionales:
58. a) fy(x) = ^ para y +oo, x ]0, +00I; b) fy(x) = para y -> +0, x JO, +oo[;
c) fy(x) = ^p para y +0, x ]1, +A[; d) fy(x) = ^ para Jl, +oo[.
59. fy(x) = tg a; G ]0,1[: a) para y-* 1; b) para y -> 2.
60. /() = f J e J 1 ) +00[; a) p a r a J, +oo; b) para y -> +0.
/
' U !HM lim y/\ctn\ 1. Demostrar que la serie a n e~ n x converge uniformemente para
r - > 0.
Argumentar la posibilidad de diferenciar trmino a trmino las siguientes series en loa
dominios indicados:
Determinan
, 0 5 - h t 21 i )
* ' " ^ E w ^ o s n * . 87. I k S ^ - li
Se dice que una sucesin de funciones (/), fn E i2[a, b], n G N , converge en media a una
uncin / G &] si
b
lim J \fn(x)-f(x)\2dx = 0.
c
I >emostrar que de la convergencia uniforme de una sucesin de funciones integrables se deduce
la convergencia en media.
oc
Se dice que una serie funcional n()f &], converge en media a una funcin 5
^ ^
o c
X
5() dt = > / jan
an(t)dL
VIH..
n=l
68 Captulo I. Ser i OH
93. Demostrar que si una serie funcional V ] aM(x) cuyos trminos son lilcivndablc.s con continuidl
converge en cada punto x 6 [a, >] y la serie ^ at(x) converge en media a una funcii
5. Seres de potencias
5.1. Crculo de convergencia y radio de convergencia de una serie
de potencias
Definicin. Se llama serie de potencias a una serie del tipo
oo
an(z - a)n, an, z, a C C,
n=0
donde an reciben el nombre de coeficientes de dicha serie (stos no dependen de z) y a
un punto fijo en el plano complejo.
Teorema, Cada serie de potencias converge absolutamente dentro de cierto crcu
z - R, donde el radio del circule i 0 se determina por la frmula de Cauchy
Hadamard
0si i = +oo,
n-oo
o bien a partir de la frmula
+oo
si l = 0,
R = lim
noo an+\
si este lmite existe por lo menos en sentido impropio.
Ntese que la serie (1) no converge en ningn punto z G C fuera del crcu
\z ~ a| i R. Por lo que se refiere a los puntos de la propia circunferencia |z - a\
R > 0, el problema de la convergencia de la serie (1) en los mismos requiere un anlii
complementario para cada serie en particular.
En el caso de que an, z, a el interior del crculo de convergencia se reduce
intervalo ]a - R, a + R[, R > 0, en la recta real.
Para R = 0 el crculo se reduce al punto z a. Para R -l oe el crculo
flK Sl'fltW llf |Hl||4hClt1N (M
w-0
Teorema (de Taylor). Para que una funcin f pueda desarrollarse en serie de Taylor
ra itn intervalo ]a R, a -f /?.[, R > 0, es condicin necesaria y suficiente que dicha funcin
HUJ n finitamente diferenciable y el trmino residual en la frmula de Taylor para esta funcin
m lintla a cero para n + oc en dicho intervalo.
1:1 desarrollo tiene la forma
m = fc! (1)
JFC=D
Hiiii uncin / que puede ser desarrollada en serie de Taylor se denomina analtica y su
diwrollo (1) es nico.
n la prctica, las ms utilizadas son las representaciones del trmino residual del
diwrollo (1) en forma de Lagrange
*:! x 7 (n + 1)!
V ni forma de Cauchy
TJ 1
I. e* = f ; , N<00.
71=0
II. \x\ < 00.
It=0
n0 n=0 i=0
00 00 00
]T an(z - a)n J2 W* - af = ^2 " >",
n=0 n=0 n=0
donde c = a0bn + ai&i + + anb0; A, j, son nmeros.
Si la serie de potencias (1) del p.5.1 es real, sta puede ser derivada trmino
trmino e integrada trmino a trmino dentro de su intervalo de convergencia; adems,
intervalo de convergencia de las series obtenidas coincide con el intervalo de convergenc;
de la serie inicial. Las frmulas correspondientes se escriben como sigue:
00
^
(X) ~
71=0
oo
00
n=0
oo
+
/ ( E a(* - a ?)dx = E tTT^ - a )" + 1 +
J 11=0 71=0
I = b /3" 1 ( lim V ^ 4 - * ,
R T I - . X I V M V 2 A : '
E
n-l
7l3"
a = lim = lim ( 2 n + M + 2) = 4,
n-oo (2n)!((n + l)l) 2 n-+oo (71 + \f
|IIM ln kinto la serie converge absolutamente para }x\ < 4.
E ('+s)
De este modo, en el punto x la serie de potencias diverge. I'or la misma razn, la serii
tambin diverge en el punto x =
"o- fx'^v.'yn^r
< Solucin. Aplicando la frmula (2) del p. 5.1 hallamos
* = lim = 2 lim ( l + = 2.
noo V (2n}V.(2n +1)!! ) n-co V 2n + \)
Consiguientemente, la serie converge absolutamente para - 1 < x < 3.
Para investigar el carcter de convergencia de la serie en los puntos x = 1 y x = j
utilicemos el ej. 79 y el criterio de Gauss, respectivamente. Tenemos (a
= (i 1 y = , P , pfp-l) oo.
an+1 \ 2n +1 / 2n + l 2(2n +l)2
Tomando en consideracin los criterios mencionados deducimos que en el punto x = !
la serie converge para p > O, y converge absolutamente para p > 2. Por consiguiente, ei
el punto x 1 la serie converge condicionalmente para U < p ^ 2. En el punto x = 3 1<
serie converge absolutamente para p > 2 y diverge para p < 2.
151.
o=l
= Hm ( | M 2 _ J * + 3 * ) = lim - 2'.
n-oo V (271 + 1)! 2n+1((7l + l)!) 2 J n-oo V II + 1 /
Por eso, la serie converge absolutamente para |a?| < 2P.
Examinemos el comportamiento de la serie de potencias en los puntos de frontera
de su intervalo de convergencia. Para ello consideraremos la expresin
> m(m. 1 ) . . . (m n f I) H
m . >j
w!
ui
mIiu ii. Para que sea ms cmodo, representemos la serie en la forma
00
tt_ i ( n - l - m)(n - m - 2 ) . . . (1 - m)m tl
n-l
n
1
+
m ( m
- ro)
+
a)
y iimplcando el criterio de Gauss llegamos a la conclusin de que que en dicho punto la
miile de potencias converge absolutamente si m > 0 y diverge si m < 0.
Sea x 1. A partir de (1) y basndose en el ej. 79 concluimos que la serie
li? potencias converge si m > - 1 . Por consiguiente, si 1 < m < 0 la serie converge
hiiilirionalmente.
oo
n 1 r \eJ
V.
NhIk n. Aplicando la frmula (2) del p. 1.5 obtenemos
an
R lim lim e ( b
M+00 n+l
a
155. p + t - i n y
' n
n=l
Solucin. Aplicando la frmula de CauchyHadamard obtenemos
1 y 3 + ( 1)" .. 4
= bm = lim - i r = 4,
K jioo yn k-ioo /2k
de donde se deduce que para \x\ < | la serie converge absolutamente.
Debido a que para una subsucesin (>2,0 de la sucesin de sumas parciales de
00 s n 00
serie numrica J J s e verifica la desigualdad Sz ^ | en el punto x -
n=l 1 fc=1
la serie diverge. Anlogamente, en el punto x -- se tiene
n n
, 1 _ v 1 y 1
2 ' 2 3 23 4 22"^(2n-l) 2n 1k 2 2 k - l {2k - 1 ) '
I = Um ^ ^ = lim j= = 1.
R ->oe ti*oo vil
De este modo, la serie de potencias converge absolutamente para fas [ < 1.
Si x = 1, la serie estudiada se convierte en una serie numrica cuya convergenci
se demostr en el ej. 77.
Si x 1, llegamos a la serie
^ _ ^ 10",n>
157. y. (1 x ) > donde v(ri) es el nmero de cifras en el nmero n.
n 1 n
f).ri. HptIMJ |MHI*iii'iiin 75
NuIihm. Aplicando la frmula de C mti hy I Lnhm.ud obtenemos
I r |()l'Kll I
hm \
t. u mx V n
|V r| -IS), o sea, para 0 < x < 2 la serie de potencias converge absolutamente.
A partir de la desigualdad n - 101 "" < l |lfin,H ^ 10^ n + 1 = 10 llegamos a la
hmm lusiu de que en los puntos s = 0 y x - 2 la serie diverge, pues el trmino general de
nene no tiende a cero.
Impleando los desarrollos del p.5.4 desarrollar las funciones siguientes en series
do potencias respecto a x :
a: 1 sen5a;.
Q fy -l
ssen
c n a3 *: ~ -4 W 1 ) '>
" ' Y V I ) U" (2n - 1)! = '4 V i n" (2n - 1)!x "-
1 1 2
(2n 1)! ''
Utilizando la frmula (2) del p. 1.5 es fcil ver que la serie converge absolutamente pal
todo x.
i
161. (1 - x)2'
4 Solucin. Como = derivando trmino a trmino el desarrollo de (1 - x)'
00
obtenemos r nx"'1, |x| <1.
=1
162.
(1-xXl
A Solucin. Escribiendo la fraccin dada como una suma de fracciones simples (| ...
~ 4(i+a) - + y empleando el desarrollo IV del p. 5.4, as como el resultado d
ejemplo anterior, obtenemos
00 00 00 oo
jv r ^ w ^ j = - E E < + v = i
" ' n=0 n=0 n=0 n=0
El intervalo de convergencia absoluta de la serie de potencias obtenida se halla a partir
la frmula de CauchyHadamard y es |i-| < 1 .
163. 1
1 + X + X2 '
< Solucin. Representando la fraccin dada en la forma
1 1 1
m
1 + X + X2 1 - (t + t)x + X2 (x - t}(X - i)
= J L (-L L_\ _ _L ( L_
t-t\x-t X- i/ t - i V1 - xt 1 - xt
donde t v, <p = y , y utilizando el desarrollo IV del p. 5.4, as como la frmula de Eulei
e'" cos a I i sen a, obtenemos
oo , 00 _ \
1
m - - !>*>") =
\ n=0 n=0
nn ' . oo oo
= 7T7- E (,1+I - r + 1 ) + 1 v
n O V ti=0
Aplicando la frmula de CauchyHadamard hallamos el radio y el intervalo de conver-
gencia de la serie
7 n,
1 Tlim v/|sen(n + \)<p\ = 1, R = 1, || < 1.
xt noo
x sen a
164.
1 - 2x cos a + x2'
4 Solucin. Tomando sen a = cos a - donde z - c"', y desarrollando la fraccin'
dada en fracciones simples obtenemos
fj.S. SferifN lll* |ttl4MI'L4f( 77
x f'hfif 1 / I I \
l CONO 1 W? * I I XZ/
Re(exc05a+i*seU*) = Re(exei)
V empleando el desarrollo I del p.5.4 obtenemos
uuiverge para todo x 6 ]oo, H-oo[, el desarrollo obtenido es vlido para \x\ < oo.
2n
a;
=. + 1 W<.
76 C a p t u l o I. S e r i t - H
(2n - 1)!! 2u 11
aresen , M < 1.
2nnl(2n +1)
168.
M Solucin. Desarrollando la derivada de la funcin dada /'(x) = (1 + ar) _ I y 2 en serie
potencias para |a:| < 1
f\x) = 1 + ^(-ipSjLjJ! J*
n=1
(2n)\\(2n +1}
=i
2-2a;
1 6 9 . f : x 1- > arctg
1 + 4x'
< Solucin. Representemos la funcin / en la forma
2 2x
f : x arctg - = arctg 2 arctg 2x - tts(x),
donde
0 si x >
e{x)
1 si x<-i.
Desarrollando en serie la funcin x <- > arctg 2x al integrar trmino a trmino la serie de su
derivada, hallamos
FT?
arctg
h
arcig2 V< l)^'""**1'1 *e(x).
i 4- 4x :>w i i
i)
M>ido a que la serie obtenida converge para \x\ < \ (su convergencia absoluta
|r| se establece con la ayuda del criterio de D'Alembert, y la convergencia en los
lUhliin de frontera se deduce del criterio de Leibniz), entonces en el caso considerado
, 0 si
= i - . i ^ ^ i
1 SI
1-f4 1 + 4'
lnodr /. y empleando la frmula IV del p. 5,4 hallamos
OO 00
/() = n-0
S-D^+E-
n=0
1 )" 4 '
tridentemente, las dos series en el segundo miembro convergen absolutamente para |[ < 1,
|MU ln iinto podemos sumarlas en dicho intervalo
oo oo 2n
Inliy.randolas, obtenemos
oo 2n+l
fi x 1 arceos (1 - 2x 2 ).
Solucin. Derivando la funcin / obtenemos
Vi - x2
MO C a p t l u l o I. S e r i e n
(2n 1)!!
Segn el criterio de Raabe, dicha serie converge absolutamente para |ar < 1, o S
en todo el dominio de la fruicin /.
n=0 vj'=0
1 7 4 . Por definicin,
00
, 2n+l
X
00
^/ -i \nX2n
( t)
E
(-1) wr, y
' iln + 1)! 1
cosa; -
^
> - ., .
(2ra)!
t=0 ' H=0
Demostrar que sen x cos x = i sen 2x .
oo ri
tMllfio
!||jMn H II 2
cos zl
2
= 2I sen
2
+V
f - lM
) * + l ^2 sen
2 yv n!
- - T *!{-*)!' TJ Jt!(iiJk)1
H r ~... l/0
S >n 2 C 0 S 2 _ 2 77T
E
_ M{n - k)l ~ Sen T'
! ^ 2 " s e n f i
sen x cos x - > x -sen2x.
2 n\ 2
1 7 5 . Obtener las expresiones para los primeros trminos del desarrollo de la funcin
oo X
n \ -1
t" 1 * I 7 ^ 71 7-f-) 1 e n ser^e potencias.
n=0
I Uulucin. En el desarrollo
00
= / ( )
n=0
X
anxn V
Z <n .1. 11 = 1.
l +
n-0 n-0
tMo proporciona un sistema de ecuaciones infinito respecto a otn:
n 1
a 0 = 1, V r = , ftEN,
=I
1 7 6 . / : a? (1 x)2 ch -Jx.
| Nulucin. Desarrollando prii funcin x h- ch y / x
jenneeto a \fx obtenemos
('ipiltilo I. S e r i o s
ou nu oo ,|., IX- ) l | 7
/<x) = (1 - 2 , + E E Jf |h)!
rt=0 v ' = v ' 11=0 v
' 11-.-U v '
00 n+1 J 2 . ^."+2
2 ' ^ v(2n)l ^ v(2n)! (2n)!
=2 ' n=l ' n=0
oo
, 3 2 1 \ n
2X A (2n)\ {2n 2)1 (2n - 4)! ) '
177. ln 2 (l x).
4 Solucin. Elevando al cuadrado la serie - ~ x ) obtenemos f(x) a
oo
E c , ^ 1 , donde
n=i
_ V" ' 1 2 , 1 , 1 , 1\
i;=l
Dado que lim = 1, este desarrollo es correcto para |x| < 1 .
n>00
178. t: x i- e cosa;.
M Solucin. Desarrollando la funcin / : x h e d+<) e n s e r ; e
x potencias
.. , - A {XV2)" 717T
f(x) = ^ eos .
n!
n=0
179.
J | aresen")g:2^ si x0,
/: x i
l 1 si x = 0.
Solucin. Utilizando el resultado del ej. 166 hallamos
2n \ 2 / < i\tt2\2
f ( a ; )-Ci+v ( 2 n -1)!!x2"V- ( V - y ^
i t i +1) j - (2)!!(2n + 1 ) / ~ ** '
donde
= A (2n - 2fe - 1)!! (2fe - l)!!((2fc)!!)-1
" f-' (2n 2k)\\ (2n 2k + l)(2fc + 1)' 1 '"
fcj.'i Series de potein hei 83
l'i fcil establecer que la serie converge para |x| < 1. Para estudiar la convergencia
Iri uei ie (I) en los puntos de frontera x = 1 empleemos el criterio de Raabe
ve que la serie (1) converge absolutamente tambin en los puntos de frontera del
l i m i t o de convergencia \x\ < 1. Consiguientemente, en virtud de la continuidad de la
ttHi In / en el segmento [ - 1 , 1 ] y segn el criterio de Abel el desarrollo (1) es vlido en
Mfrh M I T.ej > 11 tent indicado.
Hllt Sea .s' (1 Ayl y sea lim An = O, donde A es una matriz cuadrada e / es la
71OC
unidad. Desarrollar la matriz S en serie matricial de potencias respecto a A.
(I-A) S = I,
le donde
IHI. Sea S = (21 - 3A + A2) y sea lim An = 0, donde A es una matriz cuadrada.
1
noo
rollar la matriz 5 en serie matricial de potencias respecto a A.
I = a(2I-A) + P(I-A\
1L : I I .i 1 Ur^llrt-mAn Al 1 ft i
76 C a p t u l oI.S e r i t - H
De este modo,
S = <7-A)"1-i (/-)"'.
Empleando los desarrollos del ejemplo anterior, definitivamente obtenemos
00 OO 00
A11
2't+i
n=0 n=0 =0
luego
S ~^ = jv,
n-0
donde
I=0
tdt
m . f: x +, M
ln(l + )
o
fonliuin. Los coeficientes del desarrollo en serie de potencias del integrando se
oo r oo
ilDlerniitum a partir de la identidad 1 = la cual proporciona el sistema
= n=0
llmenle de ecuaciones algebraicas respecto a a:
n
0*(-l) f c + 1 1
/ rf T
n -
fc + 1 n+ 1
^ l
1 1 1
Ki "mi viendo este sistema obtenemos sucesivamente ai = = ~ , etc. De este
tiiodu, leemos
a; oo
t-
ln(l + ) ~~ + i ~ x + 4 36 + 96
o
lin virtud de que la funcin <p : t rn,; , ip{0) 1 es analtica en todos los
ln{l+0
00
}4Miiins salvo t = 1, el radio de convergencia de la serie es igual a la unidad.
n=0
i nuMguientemente, el desarrollo obtenido al integrar dicha serie tiene el mismo radio de
moviTgencia.
l *iU ular las sumas de las series que citamos a continuacin derivndolas trmino a
lamino:
3 5
1 8 5 . x - + - *.
3 5
Ni tincin* Conforme a la frmula de CauchyHadamard la serie dada tiene el radio de
mnvcrgencia igual a la unidad. Segn el p.5.5 toda serie de potencias se puede derivar
lorni no a trmino dentro de su intervalo de convergencia, entonces se tiene 1x1 i-x 4 *
i , \x\ < 1. Integrando la expresin obtenida tenemos x - 3 4- - - = arctg x -f C\
II:.
limiando a; 0 concluimos que la constante C = 0.
As pues, tenemos definitivamente
3 5
X X
x . . . = arctg a?.
3 5
Ntese que en los puntos de frontera del intervalo de convergencia la serie converge.
tVr lo tanto, segn el teorema de Abel la suma de la serie es una funcin continua en
v\ memento [1,1], Debido a que la funcin x J--> arctg as tambin es continua en este
memento, la. ltima igualdad es vlida para todo x [1,1],
MI l ' a p t l u l o I. S e r i o s
186. 1+
Solucin. Es obvio que la serie converge en todo el eje real. Denotando la suma de la |
dada mediante S(x) y derivndola trmino a trmino, obtenemos las ecuaciones
S(x) + S'(x) = ex, S(x) - S'{x) = e _3 \
de donde
S(a;) = i ( e 1 + e x) = ch x, < oo.
x x-
En virtud de que x = 0 es un punto de discontinuidad evitable de la funcit
podemos definir 5(0) = ' . Integrando (1) tenemos
/ S(x) dx - In(l - x) + C.
x x2 . x 3 , = T 1+ ^ n(l - si Xfi'O,
12 1 2-3 34 1 0 si i = 0.
Si | .ir | < 1, dicha igualdad se garantiza por los teoremas que permiten derivar e inte
trmino a trmino una serie de potencias dentro de su intervalo de convergencia,
mostremos que en los puntos de frontera del intervalo x 1 dicha igualdad tambi
cumple si imponemos cierta condicin. Efectivamente, debido a que en los puntos x =
dicha serie de potencias converge, su suma es una funcin continua en el segmento [-
(conforme al teorema de Abel). Si suponemos que en el punto x 1 el valor de la func
en el segundo miembro de la igualdad (3) es igual a la unidad, entonces esta funcin, co
es fcil vr, ser continua en el segmento [ - 1 , 1 J . As pues, obtenemos definitivamente
l 4 ) 0 . 1 >2x + 2-3x2 + + 4 h
4 Solucin. El trmino general de la serie tiene la forma an(x) = n(n + \)xn, por lo tanto
i = 1
lim V n { n + 1 )
Vara las funciones que citamos a continuacin calcular sus valores con el error
indicado empleando para cada caso desarrollos apropiados:
)"-' 7T2"-'
senlS = s e n - = ^
10 (2n - 1)! 10 2 "- 1 '
Dado que la serie es de tipo Leibniz, el mdulo del resto de la serie no supera el primero I
los trminos despreciados. Por ello, de las desigualdades < 1CP3 < ~o> s e deduce q
para obtener el resultado con el error exigido es suficiente tomar los tres primeros trmir
del desarrollo. Tenemos
"-rg^'M 1 -^^-- -
1 9 2 . tg 9 con un error de 10 .
+ T+
Tomando en esta expresin x = ^ r f obtenemos la frmula indicada.
i 5. tt4rli** Ip mtfih \an 89
I Merminemos ahora los m'uurmti A; lo Ion Mihihon do la serie (1) necesarios para
(-HII I I la I los valores aproximados de ln 2 y ln 'I. Tara rilo eM i memos el resto /* de la serie.
iNM'iww
f =<?(**" ***** \ 2 * 1 M
b \2k + 1 1 2k I 3 H / v {2k + 1)(1 - x 2 ) 7
^ dondr se deduce que si x = ^ {n = 1), entonces ^ 10~5 a partir de k ~ 5; si
u- ! {a, 2), entonces R& ^ 10~5 a partir de k = 3. As pues,
2w2
(I+ + 5 + 1^9 + 1 7 ^ ) = ^ '
1 1 1
i n 3 0 ) 69314 + 2 ( - + - + 0 9 8 6 0 . . .
n=0
do i Iude
oo
e - - - (-ir
n!(2n + 1 )
\ ti herir obtenida es de tipo Leibniz. Por lo tanto, tomando los primeros k trminos para
tloleMI linar aproximadamente el valor de la integral dada, el error que cometemos no
superar al ( -f l)-simo trmino de la serie. As pues, de dicha condicin determinamos
ti) numero k. Tenemos (fc+1^2+3) ^ 0,001, de donde k ^ 4. Por consiguiente,
+ - 1 f - 0,747
3 10 42 216
o
b) Empleemos la frmula del p.5,4 y desarrollemos el integrando respecto a las
^ OO
| mi enras de ^. Tenemos e
7 r* > 0. Integrando luego esta serie trmino a
lamino obtenemos n~Q
1\ 1
e* dx = 2 + \n2 + Y^ (*
2 n / n(n + 1 )!2n
2
<
V
(ra + 1)!2' !+1 ( + 1) \
(l +
(n H
1
22(n+2)
+ 2
2 (n + 2)(n + 3) )
1
<
+
+ 4 (2ra+ 4)-
se deduce que para obtener el resultado con el error indicado hay que tomar k ^
este modo,
i
/ e : ^ . 2 + 0,6931+ 1 - 1 - + = 2 , 8 3 4 . . .
2
(o 2,835 por exceso).
c) En este caso x Js 2, por lo tanto desarrollamos el integrando respecto
potencias de ^. Tenemos
-i
=o
de donde
00
idx _ \^ (-ir
/n (3ra + 2)23"+2'
n=U
Ya que la serie es de tipo Leibniz, para obtener el resultado con el error indicad
suficiente tomar un nmero k de primeros trminos de la serie tal que satisfag
desigualdad < 0,001. Resolvindola determinamos que k 1. Por consiguie
+CO
i
Itodo que lml) - / xm dx = se liene / m - f de donde Inn - ^ v r r - ^ esto
I OO
Mlmin, / X * dx^Y, ("I^T-
I) Ti0
I )e la estimacin del resto de la serie
00 .
(-D
(fc + l)* + l ^ (n
7 + 2)n+2 ^ >
'
001
Manila que para calcular la integral dada con un error de 0,001 es suficiente tomar !os
t u n i r o primeros trminos de esta serie. As pues, se obtiene
* * ..- 1 . 1 1
x * d a r l - - + - = 0,783 . , . .
o
3 /_ 1 . \1'2
\ / l + eos2 x \2 + g eos 2 x j
V observando que ^ |cos 2x\ < - desarrollemos el integrando enserie de potencias respecto
a ' eos 2x empleando la frmula IV del p. 5.4
(2)
(2ra)!!3n
v ^ i T ^ * - J l ( x + ) , (3)
o
donde
JT
(4)
0
l a posibilidad de integrar dicha serie trmino a trmino se deduce del hecho de que
la serie (2) segn el criterio de Weierstrass converge uniformemente respecto a x y las
r n ^ 2 x j i o n continuas. Integrando por partes en (4), hallamos
i npflulo 1. S e r i e n
= H ( l + V (4n
(4n -- l)?!(2i
l)!!(2n -- l ) \
y 2\ f^ (4n)!3 2n (2) }'
n=k+1
(4n - l)!i{2ra - 1 ) ' . !
(4ra)!!32n(2ri)
< (4fe + 3)!!(2fc + 1)!!
3 2i+2 (2fc + 2)!!(4A; + 4)!! V
(4fc + 7)(2fc + 3)
9(4fe + 8)(2fc + 4) )
< 3.,24+2 v + 9
y teniendo en cuenta que el error absoluto al calcular la integral dada no debe superar 0,
+ 81
J . + . . ./) = 3 J- 1
5
Ejercicios
Determinar Jos radios de convergencia de las series de potencias siguientes:
114. x h J ln(l + xt) dt. 115. x i-> j arctg (xt) dt. 116. x ^ f di.
(e) = Ae,
dt
donde A es una matriz cuadrada constante.
Serle tl*+l iHiiit'i 93
o
j Vmostrar que las series nutricia les convergen pora A arbitrarios,
/t una matriz cuadrada. Definamos el desarrollo siguiente:
-v
ln(J + = A\ (1)
T=l
I Amostrar que si ^ a ^ < 1 , donde son elementos matriales de A, la serie (1) converge.
i
6. Series de Fourier
* V^ / tara: ,
bk s e n - p .
k=1
Definicin 4. Una funcin / ; [ - , l] R se denomina continua a trozos en [ - , /J
ilicha funcin es continua en cada punto x [ly i] salvo, tal vez, un nmero finito de
puntos donde / tiene discontinuidades de primera especie.
Definicin 5- Una funcin / : /I - > R se denomina suave a trozos en l]
ni ilicha funcin es continua a trozos y tiene la derivada continua en este segmento, a
excepcin, tal vez, de un nmero finito de puntos en cada uno de los cuales la derivada
llene valores lmites unilaterales finitos.
C a p t u l o I- S e r i e
00
jt=i
2) La serie de Fourier de esta funcin puede ser derivada m veces trmino a trmin
en el segmento indicado.
La serie de Fourier de una funcin / integrable segn Riemann en el segment
[, ], puede ser integrada trmino a trmino en dicho segmento.
6.4. Desarrollo en serie de Fourier respecto a diferentes sistemas
ortogonales. Polinomios ortogonales
1) Los polinomios de Chbishev Tn(x) = y cos(n arceos x) son ortogonales en e1
intervalo ] - l , 1[ con peso x o sea,
f Tm(x)Tn(x) x
J V T ~ i2'"1 m"'
-i
donde
_ f 0, mn,
mn ~ \ 1, m = n.
A si 0 < x <
m. /. r . i+
0 si l<x<2l,
donde A es una constante perteneciente al intervalo ]0, 2Z[*
HIih Inn I .a funcin estudiada es suave a trozos y en el punto x i tiene discontinuidad
jhItner.i especie. Por tanto, segn el teorema 1 del desarrollo en serie de Fourier la
ftM* lou / puede ser desarrollada en serie de Fourier.
1 'rnlijuguemos peridicamente (con perodo 21) la funcin / en todo el eje real y
fcttfinMru remos la funcin
A si 2kt < x < (2k + 1) i,
/
*
: x i* si x kl,
0 si (2 k - 1 )<x< 2kl,
^MM'le k ( Z.
egiin el teorema mencionado la funcin / * coincide en todo punto x del eje real
hu mu -erie (convergente) de Fourier
co
OO nicx . nirx \
cos : h on sen 1
2 l l / '
n=l
FIihuIe
i 21 l
1 f , nirx ,
y1 If J(X)
^ \COS 7 dx
njrx j = A
ti A.il
y '*7l y I f (x) eos dx jr cos 717TX
r dx, 0
l l l l
I o o
I i
X / 7X7T3? A nirx . A
bn y I f*(x) sen ^ dar / sen : dx ( ( - i r ^ i ) .
l l ! l nir
o
OO
1
l\>r consiguiente, f*{x) i ttc para todo x ]-oo, +oo[,
00
2n- 1
+, > ^ 1 7 sen
2A
7T0T
2 7T ^ 271 - 1
n1
I
cn todo el eje real llegamos a la funcin /': x -> [a; 2kir\ para |a; 2kn\ < x, de
k e Z. La funcin obtenida satisface todas las condiciones del teorema del desarrollo!
una funcin en serie de Fourier convergente a dicha funcin.
Como la funcin /* es par, entonces b = 0 y
n %
-i/
,71 i 1
2 (-1) ;
sen ax sen nx dx sen ax, |a| n.
j^lf jiuivi, la funcin / * puede ner dcstirmllmlii en Nrrle de l'ourier convergente a dicha
filio jOn ni cada punto x j -oo, i 001.
leemos
t u I 7.1
1 f * kitx , I
M - l 0, ak - I f (x) cos d x J(X) COS dX =
/ V
i D
+2 i
1 f kirx , 21 lena
-y I X COS j dx
sf s c n ~r'
D
i tt-f-2/
fuTTX 1 i Hitx 21 kira j T.T
- I f(x) sen dx -eos , k e N.
i / f (x) sen ^^l dx kir l
t D
mIm
i W>n. La funcin estudiada es suave a trozos (sus puntos de discontinuidad de
l'ttuier.i especie Xk se hallan a partir de la ecuacin cosa?* = 0) y tiene derivada continua
H Mu/os f\x) = 0 para x ^ X&. Adems, la funcin / es peridica de perodo 2tt y
fUh) ! {f($k ~ 0) + f(xt + 0)). Por consiguiente, la funcin puede desarrollarse en serie
ta l'ourier convergente en cada punto x del eje real.
Teniendo en cuenta el carcter par de la funcin considerada obtenemos
=0, aQ = 0,
TT 7T X
4 Tin
II sgn(cos a;) cos nx dx cos nx dx cos nx dx sen n E N.
7T n 21
o o jr
(e?ile modo,
00 0 0 * Y
4 ^ 1 irn 4 ^ (-1)
sen cos nx cos(2& + l)x, 00 < x < +oo.
ir 2k +1
i n 2 k=o
2 f (ir \ , 2 ((-1)" - 1 )
an~ / I - x 1 cos nx dx = -x , n G N.
7 J \2 ) 7 UD
As pues,
, , 2/ ^ ( ( - ! ) " - 1) 4* ^
V cos(2Jfc
COS^K +
i - lJ)X
)s
areseni ((cosa:)' = > 5 cos na: 2 > .
' tt t n 2 ir ^ (2k +1) 2 '
n=l
-rrl
" " k1.H
0 * X
1/2 1/2
1 f (-1)" - 1
bn = 0, a0 = 4 / x dx = an 4 x cos 2irnx dx = , t
J 2 y 7r2ra2
o o
As pues, tenemos
oo
, , 1 2 v ^ cos(4ra - 2)ttx , .
n=l
oo
sen nx
204. H<1.
t sen x
n=l
< Solucin. Dado que
00
n sen nx
a
sen x "" jsenx| ' ^ |scnar| '
n\ oo
ice" cos roa? ^
lim z = y na (-lf = pru
n +m
V
-
x-+kit rfVZ
COS Xv JL-J '
n=\
, /() si a^for,
a? |
si X k%
im lear rol la en serie de Fourier convergente en todos los puntos a dicha funcin
00 n
/*(j } ^ ^ " ( s e n ( n 2) eos 2a? -f cos(ra - 2)x sen 2a;) =
n 1 SenC oo , . oo
sen (n ~ 2)X + 2 V a " cos( - l ) x =
^j sen x '
n=l =1
oo oo
, i sr^ n sen nx , ^ / t\
-a + a f> J a con t 1-2 (> a cosrc - ltos.
sena:
w=l 1
le dundo hallamos
00 n 00
f*(x) = ?
a
-- + 2 V 2 cos(n -
a = 2 + 2a V ]
a
2 cos nx.
a
cr - 1 ^ ^ 1 az 1 - cr ^ ^ 1 - a2
ra^l n=1
00 00 . - n+ l ^
y - I , y - H l Z l y- 1
71=1 ti =1 t r <2 - , 2 *
Nnlut in. En el caso a) la funcin / est dada (segn las condiciones del ejemplo) slo
en el segmento [tt, tt]. Por lo tanto, prolongumosla con perodo 2?r en todo el eje real
Ah pues, se obtiene una funcin / * continua y suave a trozos que coincide con la funcin
/ para \x\ ^ tt y se desarrolla en serie de Fourier slo respecto a ios cosenos. Para los
ineficientes an y bn se tiene
7T 7T
hn O, aD = I x2 dx an = ~ / a;2 cos nx dx = (-1)"-^-, GN,
~ 3 ir J nL
A
C a p t u l o I. S e r i e n
luego
2 00 c 1 \1i
i*/ \ "" +, NT^ eos na: , . , r
/ - Y 2- 2 Para todo x 6 l-00>
=i
oo
( - 1 ) " eos nx
slo para )x| < ir.
ra-
n=l
Con el fin de obtener el desarrollo en el caso b), la funcin x i-+ x1 dada en
intervalo ]0, ir[ se prolonga en ]-ir, 0[ de modo impar; luego, la funcin as construida
prolonga con perodo 2ir en todo el eje real. Como resultado llegamos a la funcin
*
/ : xi
{ | - 2kir\{x - 2kir)
0 si
si
k, l G Z, definida en todo el eje real y que satisface todas las condiciones del teorema
\x - 2kir\ < ir,
x = (21 +1)7r,
As pues,
00
/*<*) = ("1)" + 1 + 3 ( ( - 1 )n - 1 ) ) sen na, |x| < oo,
7t=1
00
* 2 = E ( f + -ir -1)) * . o < x < x.
Q O
. = 1/ T
7i
r.2'
2x
2 .
/*(x) sen nx dx = - / x senraa = , ra G
* J
Por consiguiente,
00 00
4tt2 eos nx senrax
> M < oo,
3 n2 ra
71=1
00 oo
4x 2 cos nx
2
3
n=1
ra
B=1
I\h. Norlt** dp ftiiirliu un
<\ .
y 1
(2n - I7 ) 2 8"
I V
| 1 1
I Empleando las frmulas cosa: = ~{z + z) y sen a? ~ ( z donde z (iJ
* 1 2 ' 2
i r , x , desarrollar en series de Fourier las funciones siguientes:
2 0 6 . a; cos2m s# ra N.
| Nulmin. Utilizando las frmulas indicadas y la frmula del binomio de Newton podemos
mi i bir
2m . 2m
m 1
tt W X 4m (z+z)
v 1 2m
' = 47TI V
/ Vc t z " " - ^ = 4 m
2 ( c o s 2 ( m - f c ) x + sen2(m-A0*) -
IF $
1 2m m m
= ^ E C t C0S ^ ^ ^ + ^ E COS 2 kx.
Jk=0 fe^
En estas igualdades hemos usado la identidad Cm = as*como el carcter
j<iip do la funcin a: cos y el carcter impar de la funcin x sen 2(m
cinx 6e-inx
1 00
^ Sen X 1 V j / n
n -n
-TK\ \ ^ t C \ ^ n .
l -2qco$x
*
+ q1 2 2i ^ E
n=0 iiO
2i
n1
n1
ile donde
00 tt
ln(l - 2q cos x + q2) 2 ^ cos nx + C.
n
n=l
vi|/tvuur i . cenes
Tomando x ir hallamos
n=l
Aplicando la frmula V de la seccin 5 vemos que C = 0. Definitivamente obtenemos
q"
In(l - 2q cos x + qz) = - 2 cos nx. >
z-' n
n=l
n (
n=l
(donde z = e'x) converge para todo x indicado.
Comprobaremos ahora que
I fi eos X
1 al : v ~
y la representacin w |wj(cos <p + i sen <p), donde w es un nmero complejo, <p es si)
argumento y Re ln w = ln |w|, obtenemos (tomando w |(1 - z))
ln | sen | j ,
c. q. d.
As pues, utilizando la frmula (2) y el desarrollo (1) de la funcin z - ln(l - z
en serie tenemos
I X
ln sen
-1 n n
n=l n=l
Debido a que e puede ser elegido tan pequeo que sea, a partir de la ltima igualdad!
resulta que el desarrollo obtenido es vlido para todo x 2kir. '
es 2ir-peridica y en los intervalos 0 < < 2ir puede ser desarrollada en serie de Fourier.
En efecto, basndose en el ejemplo anterior tenemos
6. Serle* ili> l'tiiii'ler 103
1*1
x roh wwi
ln sen - ln 2 , x / 2Attt, k G Z,
2 n
fX)
X ( - 1 ) " cos na?
ln cos - In2 , x(2k + 1 )x
2 n
2 1 1 S<M dada una funcin / continua y definida en el intervalo 10, |[. Prolongar dicha
[niiHnii in el intervalo ]jt, tt[ de un modo tal que su desarrollo en serie de Fourier tenga
00
ta liMina f(x) ~ ^ an cos{2n - l)x, -?r < x < tt.
n=1
| Holmion. Dado que & 0, la funcin / es par; es decir debe ser prolongada en el
jiilt'rv.tlo 0[ de modo par. Observando tambin que en dicho desarrollo no intervienen
hm 11-1minos azr t cos2nx / llegamos a la conclusin de que
1 1
y nuribiando de variable a? -(?r y) en la primera integral y x = ^(tt + y) en la segunda
olMencmos
ti)1
o
f(x) cos 2nx dx
2 - /o ( I - I )+ ^ ( I +
1 ) ) =
H hlwi
o
(-D
0
f(x) cos 2nx dx
2 7 -JT( ' ( l + f ) + ' ( ! - ) ) - -
ilo tlondo resulta q u e
Obviamente, la funcin construida es continua en todos los puntos x del eje real
tiene derivada continua a trozos. Adems, la funcin es par y sus coeficientes de Fourier a^M
n 6 son iguales a cero, pues
jr jr
2n = ~ j f*(x) eos 2nx dx ~ J f*(x) cos 2nx dx
-* ir o
I *
>
l)) Dado que el desarrollo de Fourier no debe contener cosenos, la funcin / * que
tMliuide con / en el intervalo ]0, |[ es impar. Adems, segn las condiciones del problema
tMtr verificarse
w w
t) >n ~ J f*(x) sen 2nx dx = ~ j f*(x) sen 2nx dx + ~ j f*{x) sen 2nx dx = 0.
o o
0
M lilrn
0
-ir
r T
&2n-i = ~ J *(x) sen (2n - l)x dx = ^ J x - a;) sen (2n l)x da; +
T X 0
+ ! / ( ! - ) ( * - ) - ( 2 . - 1 ) , dx = ^ (l + J ^ ) , <
IT
2
ft=l
213.
Sea una funcin / que satisface la propiedad /(a; + %) f(x). Qu particul
dades posee la serie de Fourier de esta funcin en el intervalo ] - j t , jt[?
Solucin. Asumiendo que la funcin en cuestin admite un desarrollo en serie de Fouj
y teniendo en cuenta su carcter "antiperidico" hallamos
TT X 2T
a0 / /(x) da: = - / /(x + ir) dx = - i / /(x) dx = - a 0 ,
t J ?r J ir J
-IT 3T
de donde resulta que o 0.
Los dems coeficientes a son
* ir+A
bn ^ J f(x + h) sen nx dx = ~ J /()(sen ni cos nh - eos nt sen nh) dt =
S e n 7 1 C 0 S n X S e n S e n
~ + ~
n=1
h a?3, x G ]1,1[.
ni Ion. Partimos de la representacin general de una funcin mediante su serie de
plMMin v
00
3
X
J 2 anTn(^
=0
^iihle n,j son los coeficientes de Fourier a determinar. Para calcularlos utilizaremos el hecho
f Hiir tos polinomios de Chbishev son ortogonales en el intervalo ] 1 , 1 [ con peso - ' =.
Multipliquemos ambos miembros de la igualdad (1) por la funcin peso e integrmoslos
fttafM'i lo u x G ] - l , En virtud del carcter ortogonal de dichos polinomios y debido a
t|Hi< lii Iuncin x x^ es impar obtenemos que Multipliquemos ahora los dos
(liliimhros de la igualdad (1) por dx, m N, e integrmoslos respecto a x G ] 1,1[.
MNUlUi
1
-i
'ara calcular la integral utilicemos la expresin explcita de los polinomios de
\ 'Mlu.shev y cambiemos de variable x t. As pues, obtenemos
* f 0 si m^l,
2m f _ _ _ I 3
eos cos(ra) ^ - si m 1,
a
"' =
T j
o i 1 si m 3.
2 1 7 . /: a w |z|, a e J - l , 1[.
< Solucin. AI igual que cn el ejemplo anterior, representemos la funcin dada en la
ou
f : x- Oo + S anT{x). Multiplicando sucesivamente los dos miembros de esta igual
Q O
por e integrando entre los lmites x ]1,1[, as como multiplicando por
e integrando entre los lmites x ]1,1[ obtenemos (ntese que los polinomios
ortogonales)
i i
- I f
|x|
M j gdx 1 2 f f xdx
o =
' ir J vT^a? v j y/T^H? ~ ir'
-i o
-i
7T
m = 1,
cos t cos (m) di eos t cos(m) di - \ COS a i
L 7T 1-D2 ' m -fi 1.
218.
f 0 si - 1 < x < 0,
f: x i <{
\ 1 si 0 < x < 1.
J
oo
< Solucin. Tenemos f(x) J2 t-Pfc(x). Calcularemos los coeficientes
i i
fe - f f(*m*) dx = J Pk{x) dx =
2fc + 1 f _ 1 d ft (x - 1) , = 2fc + l d_
2 J 2kk\ dx X 2k+1k\ dx*- 1
o
i
o = \Jf(x)Po(x)dx = , kEN.
O
ir)
1 S : i
As pues,
i onsiguiente,
oo
{ - l ) m ( 4 m + 3)(2m)!
2 ' 2 2m+2 m!(rn -f 1)!
1
akPk(X)> 2k
oo
Para & 2ra |- 1 se tiene a2m+i = 0, ya que en este caso el integrando es impar,
fu i i k 2m el integrando es par, entonces
i
2m
tttl
I
a2 m
4m+ 1
22m(2rn)
a;
dx 2m
dx
o
4m+1 d2m~\x 2 -11)d
2m
W -1)
2m 1
2 (2m) V
2m dx2-10 dx2m~2 o
4ro-f 1
2lm(2m)\
((x2 - lf ) 1
2m\(2m-2)
ra G N.
220. f:x^e~ax.
" ~ (1 +-ar
" f+oo
J e (1 + a)" +1
, n N.
i 00 nn
n=0
2 2 1 . f : x ^ x a , n ^ 1.
< Solucin. Se tiene
-l-oo
a0 J x"e~x dx = n\,
+oo
ak
hj*- = -
jfc! X
+O0
dxk~l
- n j x ^ dx 1 =
fc=o
fjf. SmIim di* l'nmltH VII
122. ( l, a; < 0 ,
f ; a: i > <
{ U * >0.
j ImIi ln. El desarrollo buscado es de la forma
oo
k~0
-fe o
-k\ X
f(x)Hfi{x) dx e 2H
k(x)dx +
V'iit J 6
-OO O O +00
a 0 = O, K N
o
Utilizando la expresin explcita de los polinomios JETj^a:) y sustituyendo en la
ImIih^im integral x por x obtenemos
+00
&+i (l + ( - l ) f c + 1 )
ak 1 + (~1) dx =
2=0
O
/ (A-1)
l'nhi calcular la expresin (e * J consideraremos la funcin ' : ar . Al
ar=0
Ioniiela derivada de dicha funcin vemos que sta satisface la ecuacin diferencial
V ) I xu(x) = 0. Aplicando a esta igualdad la frmula de Leibniz obtenemos
n-l
uin\x) + J2 Cli^'VWf"1"*0 - 0.
A=0
223. / : a; N.
No Ilicin. Al igual que en el ejemplo anterior se tiene
+00
Jfe
1 + (-D ! + ( - ! ) * / .v(t-2)
keN\{ih
V2c x0
o
C a p t u l o I- S e r i e
= o, a2 = [<~21 I e N,
2'- 2 (i - DVSF
+00 +00
1 f 2 f 2
a 0 == / b l e 2 dx = == I xe - dx = ==.
y/2irj J
-00 0
Por tanto, el desarrollo es de la forma siguiente:
224. f:x^e' a x ,
4 Solucin. Calculemos los coeficientes del desarrollo
+00
ak = ~ j e-ax(e-^)k) dx, k G Z0.
00
Integrando por partes obtenemos
+oo
-co
o bien a = a o i - i . Tomando en esta frmula de recurrencia k = 1 , 2 , . . . y teniendo
cuenta que +00 +00 2 +00
a0
= 4 = f e i dx=4= to - 4 = f e-T dt = c ,
V2r y y V2? y
hallamos
ft
a = e 2 , i- G ,
De este modo, tenemos definitivamente
2 00
fc=0
Ejercicios
Desarrollar las funciones siguientes en series trigonomtricas de Fourier:
120. ' / : >-> 2x + 5, x G J - l , 5[. 121. f : x sen ir2x, x ] - l , 1[.
122. / : a; n-sgnsen2, a; 123. / : h cosa;, x ]0,1[.
124. / : x i-> cos x, x G [2,3].. 125. / : x t-* aresen (sen 2a;), a; R.
126. e_COBa! ( cos (2a; - sen x) + 2 cos x cos(sen x)) cos x,
127. / : i H e " m (sen (2a; sen x) 2 cos x sen (sen a;)) + sen x.
Sumacin de srica.
Clculo de integrales definidas mediante
el desarrollo del integrando en serie
7,1. Sumacin directa
Supongamos que se ha de sumar una serie convergente
oo
(I)
TI1
% = , f^ e R(C),
n&n-f-l * * * &n+m
n=0 n-0
73, Sumacin de series trigonomtricas
Supongamos que la suma de la serie de potencias
oo
ix
Y z e ,
n=0
*t> y i moce y es igual a C{x) + iS(x), entonces se verifican las igualdades
00 00
Y Un c o s n x ~ Y v>n sen nx = S(x).
n=0
n=1
f|iir converge para \z\ ^ , salvo el punto z 1.
v.^'ituio i. Series
226. J1 -
2
-2L- 3 + 3J- -4 - J4L- 5 + ....
Solucin. El trmino general de la serie dada es igual a u, = . Consiguienteme
segn el criterio de comparacin la serie converge absolutamente, puesto que \un
para n + oo.
Analicemos la serie de potencias
xn+1
^ n(n + 1)"
La serie converge absolutamente para |s| s '1 y, al igual que cualquier serie de potenc
puede ser derivada dentro de su intervalo de convergencia. Su derivada es
/ W - f ^ h - i
' n 1_ !x
n~ 1
Integrando los dos miembros de la igualdad obtenida hallamos
f(x) = (1 - x) ln(l - x) + x + C.
Como /(O) O, a partir de esta excr :3in resulta C 0. As pues,
/{i) = (1 - x) ln(l - x) + x.
Como vemos, en est= caso se puede aplicar el mtodo de Abel de sum acin de 1
series (v. p. 7.2). Tenemos
/_1V'+1 00 B-rl
V \ = lim T 1- f l i m ((1 - x) ln(l ~ x) + x) = 2 ln 2 1.
sn(n + 1) i+o - n(n + 1) *--i+ov '
71=1 11=1 '
00
227 V -
* (n + l X + 2X + 3)'
Q O
A|>lii|tii'inos el mtodo de suirmciii directa, Wuw cada una de las ultimas series obtenemos
N
i i
t i (n + 2){ + 3)
>-1
i
- i) 1 (i - 1 ) + ( T l
+ -JV ) +) 3M 5 '
N
1 1 1 1
Pl l
(71 4 1 )(n 4 2)
lim
JV-00 ((I - 1 ) - ( I " 4/
. H h.
\N +1 N + 2) ) 4
i
J ' m n ^siguiente, S 4'
1
22. E froeN.
4- m)
M i
jihlenrmos
i 1
S = lim Sn
n - o o m
(l + l2 + I3 + 771
H-nH
i i i
+ + 4-
1-2-3 3-4-5 5*6*7
ftulutin. Escribiendo la serie dada en la forma
1
) + ( ) +
KCt 1 2 2 3/ \3-4 4*5/ 2
iluiide 5 es la suma de la serie examinada en el ej. 226, obtenemos - o t
5 {S - W
i >vi>
< r o v< .
n
1 1 1
1-2-3
4
3-4-5
+ 5-6-7
In2-
2
p ?
liWi M
00
i
230. X)
n 1
n2
i Nolucn. Transformando la serie en la forma
oo 00
1 1
71 1
s 4 2)
n2 w=l
1
Dado que
_l __ 1 yi 1 ?[_ y 1 _ tT_ _ 1
n(n + 1) ' ^ n2 ~ 6 ' ^ (n + l) 2 6 '
se tiene
V^ 2 " ~ 1 _ 7 _ 2 2 .
^ n 2 (n +1) 2 3
iX> i
232.
^ n(2n + 1)
*-.(i-stt)(Harn+a)) (- )
y utilizando la frmula 1 + ~ -f - f ~ = l n w + C + e, e > 0, n * oo, hallam
5 = lim 5 = 2 ( l - l n 2 ) .
rt->oo
1' n!
n=0
(2xe2T)' = fi^V
=o
de donde, tomando x = 1, hallamos
' n!
n=0
234 V -
* n2 (n + l) 2 (n + 2) 2 '
6>
n 1 (f' i i y
E
^ (n + 2)2
^ t a
6
,
I
4
liplnilivjnicnte obtenemos
00
i x 39
^ n (n + l)2(n + 2)2
2 4
tii
C-iyn
115
O (2 + 1 ) !
TI -
v .
= -(cosl-senl).
n=0
O O
236. E
ra2 + 71 - 2
n=2
ti Solucin. Desarrollemos en fracciones simples
71 00 n
v (-ir* 1 c-ir 1 00 (-l)nxn+2
^ n2 + n 2 3 n-l ~~ 3a;
V 3i 71+2
rf 11=2 n=2
1 1 x' &
3 M I + a?) ln(l + x) + x O < \x\ < 1,
3a?3 2 3
237. ^
(2n)!
ri=0
n=1
donde
P oo 2n1
/ * ) * = - i s - i r 1 ^ - ! ^ . ,
o 71 1
0 0 2 Ti
238. X] (2 nx
n +1)!
ftu
n2xn
^ {2iT+1)! = S (2ti + 1)! = 2/51 (3/) '
=0 n=l
n=l
De manera anloga hallamos
" "" ,2
/ n=l
Derivando los dos miembros de la igualdad (2) respecto a y hallamos la funcin S2-
A partir de la ecuacin (1) determinamos, en forma parecida, la funcin S\. As pues,
definitivamente tenemos
-- J<
( + - 4 vs) . . >ft
Ntese que en el punto x 0 la expresin en el segundo miembro de la frmula es igual,
segn el teorema de Abel, a su valor lmite para x * -1-0.
7. Sumacin de ( Indo ili* Inleuralcs definidas i iv
W t ^ - (< " - v l 1
5(0) 0.
tf vtuulo trmino a trmino, hallar la suma de las series:
/ 1 vn-l
,K5
(-ir-1-
i. > QQ
M I
tifln. Derivando dos veces la serie en cuestin trmino a trmino (una serie de
ilmrlas se puede derivar trmino a trmino un nmero arbitrario de veces en su intervalo
H>i ivcreencia) hallamos
w o
m < i
lin virtud de que la serie de potencias dada converge en los puntos de frontera del
foil'iv.ilo de convergencia [ 1 , entonces segn el teorema de Abel y conforme a la
Hilluuidad del segundo miembro podemos afirmar que la ltima igualdad se verifica para
H
oo
OQ + O[ ln
240.
711
Ti0
| Nnludn. Denotando la suma de la serie por 6[I ?[? < oo, e integrando la serie trmino
m trmino obtenemos
BQO
Jb
6[ G[ \ -
& [H
D
ni
n0
I Vrivnndo ios dos miembros de esta igualdad respecto a [ hallamos
[
6[ [ H ?[? < o o .
- | i - i ^ ^ ^
2 . i - l + ! - l + ....
n=Q
76 C a p t u l oI.S e r i t - H
Es fcil determinar que la serie converge absolutamente para |x| < I. Como podemos
en el punto x = 1 la serie de potencias coincide (en virtud del criterio de Leibniz) c
serie numrica examinada. Por tanto, conforme al teorema de Abel se tiene
4 7 10 ->i-o
Queda por determinar S(x). Derivando la serie trmino a trmino obtenemos
s\x) 00
B=0
i
= j > d v = rh N <
de donde
S(x) = f =
dx
J l+x3 3
lnI
l + x
V^+x + l
1 f
+ arctg
2 x - l ,
+ C.
As pues, 1 - | + \ - i + = | l n 2 +
1-3 1-3-5
2 4 2 . 1-1 + +
2 ' 2-4 2-4-6
< Solucin. Puesto que para |x| < 1 es vlido el desarrollo (ver la frmula IV de ia sec.
n=l
y en virtud del criterio de Leibniz la serie numrica dada converge, a partir del teorema
Abel obtenemos
1 1,1-3 1-3-5 .. 2,-1/2 1
1 - - H -- - --7 + - - - = umv (l+x) ' :
2 2-4 2-4-6 a - k i-n ' J
y/2
243. 1+ 1 . 1 + L J . 1 + .
2 3 2 - 4 5
< Solucin. La convergencia de dicha serie se demostr en el ej. 167, donde tambin,
obtuvo el desarrollo
(Zn - l) x,2+l
= aresenx, |x| < 1,
(2n)U (2n + 1 )
n=l
a partir de lo cual resulta que 1 + -1 + p - | H = f-
ni .
* t (*r*\-l Si 0<X<*>
- s g n ( t g - ) - a r c t gt (tg ) -
si -x < x < 0
n cos nx
245. $ > i )
2
| Holin ion. Considerando dicha serie como la parte real de la serie
0 0
/ \n
^ n2 - V
n=2
tflMI'Mins
n2 1 ^ 2 w2 - 1 -
712 "=
Pitra - 1 , representemos esta ltima serie como una suma de dos series
H ii iv rigentes
, mi t 00 / J ^ l-z\ n ~ l 1/ , - 2 ln(l + z)
. -7 u 2 - 1 2 TI1 n 3 n
hn nnisiguiente,
V< = | Re ln(l + +1 - | -
II 1
1 - 9 cos x - sen x^j > -1
n 2- 1
, G [ 7", 7r]. En"virtud del carcter (2TT )-perldico de la suma de la serie, dichos
vnlmvs se repetirn sucesivamente
i ipltuln L S e r i e n
246. v
S
~ 2n
J ] (in -1)!) -(2x)
2
247.
(27i)!
(1 - x2)S"(x) - xS'(x) - 4 = 0.
Cambiando la variable independiente x por t arcsen x obtenemos la ecuacin S"(t) j
de donde hallamos
5() = 2f2 + Cxt + C2> Cu C2 = const.
Dado que 5(0) S'(0) = 0, a partir de esta expresin resulta
S(x) = 2(arcsen x f , \x\ < 1.
Como podemos ver, la serie numrica
(( - 1 ) 0 2
E
n=l (2n)!
4",
que para x 1 nos proporciona el valor de la serie de potencias dada, converge cortfor
al criterio de Gauss. A partir del teorema de Abel y debido al carcter continuo de la fund]
x * 2(arcsen xf en el segmento [ - 1 , 1 ] llegamos a la conclusin de que S(x) - 2(arcsen x j
para |x| ^ 1.
1! 2! 3!
248. + +-
x + l (x + l)(x + 2) (x + l)(x + 2)(x + 3)
4 Solucin. En primer lugar determinemos la regin de convergencia. Para ello apliquemoi
el criterio de Gauss, observando que el trmino general de la serie an (s+jl
x -k, k 6 N, es de signo determinado a partir de un nmero n lo suficientementl
grande. Tenemos ^ = 1 + x- - de dond
x > 1.
Hallemos la suma S(x) de la serie dada. Con este fin representemos el trmind
general de la serie en la forma
n! (n + 1)!
= 7 ( N\{1},'
x - 1 \ (1 + x)(2 + x)...(n-l+x) (1 + x)(2 + x ) . . . ( + x)
$ 7 . S u m a c i n dt1 Herir*. ( rilnilt de hile^ialrN definidas 123
! , 1 / / 2! ;M
r ' - )
.r | l x 1 V \1 | x (I i ir)(2 | x)
rJ V
ni (n + l)\
(1 + )(2 + x)... (ra - 1 -f a?) (1 + ar){2 + x)... (n + x)
53: 1 (n + 1)! 1 (n-hl)F4
Al
2-1 (se - 1)(1 + a?)(2 + a?)... (n + x) x-1 x-l '
V
Puesto que la serie convergey los trminos de la serie son positivos y montonamente
A?
|M(t)l) _L_ + I ( - , ^ +
2 + 3! x \ V 02 + a; (2 + x )( a ?. + a')
" I
010203 II II IMM
01020304 I U M I ^ ^ ^ ^ M I " t " *
(2 + )(03 + x) (a2 + )( a 3 + +
f 1*12 ... an a\a2 >.. an+1
-r
(2 + )(3 + ar) - (o + (fl2 + - (a+i +
ai 1 Z' aia^ a\a,2...
-r GN\{1}.
a2 + x a? \
x\2 -j- x (a2 + + a ; ) . . . (a +1 + x)
y> virlud de que
1 Q2a3 - - - flft+1 1 - 1
II v r^ T- : : r = _, , r^ ^
(o2 + x)(a3 + X)... (a n+1 + x) (l + ) (l + ... (l + ^ ,
1 (j,
f ln nerie divergente en el denominador, por ser de trminos posilivns, puede lener por
hnllr slo +00, tenemos Um - 0.
Tor consiguiente, S(x) = lim 5(ff) =
71>OC
C a p t u l o I. S e r i e n
250. + i- ^ +
i - X 1- X* 1 - Xfl
< Solucin. Representando la suma parcial de la serie en la forma
Snfr) - i/7-i.
2
M + M+-+
2VV1- l + x/ Vl-x2 l + x2/
de donde
s j x ) = v-1 1
xn+1
251. E
(1 - x")(l - x" +1 >'
y observando que
-re-I
X"
(1 + X + X2 + + x"- 1 )(l + X + + X")
= l + g + ' - ' + s " - 1 _ 1 + X + - + x"~ 2
1 + X + - + Xn 1 + X+ b X"-1'
obtenemos la frmula
x2 1+ X+ + X2 l-x"
S(x)
( l - x ) 2 1 + X + + X" ' (1 - x) 2 1 - x " + 1 '
7. Surnicin di- NerleN. t lenlo de inli'Ki.dcs tli'findiiM 125
M |IIU', para \x\ < 1 la suma A'(:) dr ln nvvlv en '(ji:) Jim Sn{x) -- {] 'xy.Si x
i
253. I a T 1 ln(l - xq) dx,p>Q,q> 0.
o
| Ptuliicin* Dicha integral es, en realidad, impropia, es decir
1
ln(l - xq) dx = lim J 1 ln(l - xq) dx.
o
00
I VI > ido a que para 0 < x < 1 es vlido el desarrollo ln(l - xq) E
Q O
T I
tenemos
I t oo tft+p oo 00
p-1
e a- (1 - e2fn^ =
X ln(l - xq) dx - ~
+ p) n(qn + p) T l n(qn + p)
T1 n=l n-1
00
.p sr^
(1-
w r
i ^ n(qn + p) 2} n(qn+p)
n1 n1
Observando que las dos series de potencias convergen para t\ = e2 - 0 a partir del
Ico rema de Abel obtenemos
i 00
I xv'X ]rt(l - xq) dx lim 1
V -
s n(qn + p)
72-1 00 00
1
- lim (1 - e2f J 2
+ p) n(qn + p) *
n-1
i Captulo 1. Series
i
254. ! ln x In(l x) dx.
n-l '
integrando las series de potencias trmino a trmino, segn el teorema de Abel a pal
de (1) obtenemos
f \
/ ln x ln(l - x) dx = |
= lim f y ^ ' - 1 4- V * ~ ~ 2 4- V 1 2 ~ \
(n + 1 ) ' -J W(n + 1) ^ ^ n2 )
j^+D vn=l n=l v ' n=l '
co co ,
= i - i
n(n n2
+oo ;
255 f ]
i
dtp
m . ' vi
y/] - k? sen2y>
0
liitprt lo a las potencias enteras positivas del mdulo 0 ^ k < 1,
| Mnlunn. Para k sen <p ^k < 1 es vlido el desarrollo (ver la frmula IV de la sea 5)
00
1 (2n - 1)!! u2n 2TI
Vi
n1
(2w)!!
s sen <p /
. t i A T I
(1)
OO
(2n - 1)!!, 2n
k $ex\2n<p d<pT
2 ' Q9
W1 o
23"
Ir donde haciendo uso de la igualdad / sen2n<p dtp = - hallamos
o
/
F(k) n+E (2n - 1 ) ! ! 2n
OYP
2
rrfi"
dx s
1
B n*
QO
o
4 Solucin, En virtud de que
i 1
d
O o
donde
a; ln a; si O < a? ^ 1,
ip(x)
O si x ~ O,
leemos
RR RR
o
dx _
xx ~ f
o
f (-ir
^ n!
da;
=0
VGG
o
lle donde con la ayuda del ej. 195 llegamos a la igualdad buscada.
^ ..[..i.ihj i. .ii-rics
258.
Vi
J eaHI x cos(sen x) cos nx dx = j ^ q'
R
< Solucin. Desarrollando la funcin x i- e Sir cos(senx) en serie hallamos
cos kx
: cos(sen a;) = Re (e*) = Re J I = J
k! '
X
lO ' fc=0
J
2r,
ecosar cos(sen x) dx = ^
0 2r,kl J
1 J
o
cos kx dx = 2n.
n\
o i=0 o
T f xsenx
11
, f vr-^ _i
*0
11 0 -- t dx = 0 ny= 1 a x sen nx dx.
J 1 - 2ct cos x + a j '
Debido a que las funciones x > x sen nx son continuas en [0, tt] y la serie
funcional en el segundo miembro (en virtud del criterio mayorante de Weierstrass)
converge uniformemente (pues, \an"lx sen nx\ ^ 7r|a|n_1 y la serie M"" 1 converge),
la serie inicial puede ser integrada trmino a trmino. Tenemos '
n 1 v si a ~ 0.
71=1 L
-In(l-f
a V
-)
a/
, |a| > 1.
7. Sumacin de nitIcn, 4 atrillo de Integrales definidas \2i)
i
V 2 /
o
La funcin
si = 0,
/:<->={ si 0 < < f,
0 si = f
pis i -nnlinua en el segmento [0, luego integrable (es decir, la ltima integral tiene sentido).
n
n=1
hrii a En este caso la integral
7T
I = |J x tg | dx
o
diverge, pues x tg | ^ ^ ^ para x > tt.
As pues, definitivamente obtenemos
l In(l + a ) si - I < ar < 0, 0 < a ^ 1 i
T{ 7t si a^O, p,
^ln(H-i) si \a\ > 1.
7T
2
2f>0. f ln(l 2 a cos a? + a ) dx.
u
Solucin. Sea |aj < 1. Utilizando el resultado del ej. 208 tenemos
00
1= j ln(l - la cos x + a2) dx = - 2 ^ Jcosnxdx~0. (1)
o o
HM \a > 1. Escribiremos el integrando en la forma ln(l - 2arcosx + a 2 ) 21n ja| +
ln (l - ^ cosa: y empleemos la igualdad (1). Obtenemos
J = 27rln|a|.
Sea a = 1. Utilizando el teorema de Abel nos cercioramos de que es vlido el
desarrollo
00
in (2(1 - cas )) = z^ltoc,
130 C a p t u l o I. S e r i e s
luego
7T TT
l oo
/ y - eos nx
J\ai = / ln(2(1 - cos z)) dx = lim / ln(2(l - cosa;)) dx = - 2 lim
J -+0 J +u J ' ra
0 "=1
lirn^ sen
Adems, lim sen ne 0. Por
ne == 0. Por consiguier
consiguiente, haciendo uso de las propiedades de las ser
rl ,. sen ne
1 a =i = 2 > hm 5 - 0.
71 1
0 si |a| < 1,
1 =
2ir ln la I si lal > 1.
(a" A2n\ ( 1 2
261 s = -1 1
S-fer-e-ff.
I=0 =0 n=0 11=0 v 7 '
UX X I 1
X ^
t
j
1
-i P11 11
KV
`
1
A _ Y 32 [
ri
i -
8 X ` 89 1 `
[ _ [
1 17 57
S \^
89 17
Y
OO 1 1
2 Z
t>2. 5 = ^ ( r c + 1 )An, donde A 1 1
n=0 Z [
ttHll'moS
i:- i i - 2
Z 1 XZ
YG ZG [ Z 72 432 12
1
5
XG ZG 1 Z 35 245 1
ZG [G Z [
1 Z
G JG
N PlC ICIOS
ll.kllar las sumas de las seres siguientes:
X X
n
Jl'
mn >:
71
cos cc
> sQ[ , 141 , ^
(2n-1)
J 2 (2fl)!!(2n+lj S e n
i ' r(+l) 1 3 9 - ji(rt^l)- 140- Z-J {B-1)B(+1)*
+
il I n2 712 n^l
1 h'sarrollando los integrandos en series calcular las integrales siguientes (en los ej. 145-148
k-V.
A es una matriz constante):
I X
Ui I erf (z) dx, donde erf (x) J e 1 dt es la fundn error.
o o
+oc
141. fG (x) dx, donde si (x) = - J ^ dt es la funcin seno integral.
o
o bien
f(x-i,..., xm) A para xj x, , xm
Definicin 2 (de Cauchy). Se dice que la funcin / tiene lmite para x > x 0 ,
existe un nmero A tal que Ve > 0 3 6 > 0 tal que Vx C;: E que satisface la condic
0 < |jx - Xo|| < 6, donde
se verifica la desigualdad
|/(x) <
.2. Continuidad
Sea / : D R, D C IT", y x i /J,
Definicin. La funcin / se denomina continua cn el punto Xq D, si se verifica
de las siguientes condiciones que son equivalentes:
I) Ve > 0 3 5 > 0 tal que |/{x) - /(x(>)| < e una vez que |[x - x0|| < 6;
7) para una sucesin arbitraria (x) de valores x E D convergente al punto x<> la
|lHiU>n correspondiente {/(x)) de valores de la funcin / converge a / ( x 0 ) para n -- oo;
:i) lim / ( x ) = /(XQ) o JF(X) - f(xQ) 0 para x - x 0 0;
X ^^ ^^
4) Ve > 0 3 6 > 0 tal que
/ : S(x0,6) - ] / ( x o ) - e, / ( x 0 ) + e[,
I
i x V
1, 1 demostrar que la funcin f(x. y) = - verifica la condicin
x + y
i onsideraremos las sucesiones (xny yn) ( i , i ) y (a^, y*n) = que tienen por lmite
v\ pnnto (0,0) si n > oo. No obstante, las sucesiones de valores correspondientes de dichas
funciones tienden para n > oo a lmites diferentes
1 1
/ f o i t Vn) ^ 0 0, f(xni y'n)= !
n
luego lim f(x, y) no existe.
y-0
II i... V - h um morena al ile las fimcioiu'N Ir .ii'uiiincnlo vectorial
2 2
2. Demostrar que la funcin y) ~ - - ]' verifica la condicin
x-y2 (x - y)2
1 1
3. Demostrar que para la funcin f(x, y) = (x~y) sen - sen - ambos h'mites reiterado
x y
lim (lim f(x, y)) y lim [ lim(, y)) no existen, sin embargo, s existe lim f(x, y) -- 0.
i^OVj/0 / y0 / Z0
S0
A bolucin. Sea y / n G N, luego y sen i ^ 0. Obviamente, las sucesiones (x-) ( i
y x'n = (T^by^) tienden a cero para n > oo. Sm embargo, las sucesiones de valoi
correspondientes de la funcin (f(x,y)) = ( 0 ) , (f(x'n, y)) - (y sen i ) tienden a valores
lmites distintos para n oo. Por consiguiente, lim f(x, y) no existe. De un modo anlogo si
io
establece que lim f(x,y) tampoco existe, de donde se deduce que ambos lmites reiterados nol
210 I
existen. Sin embargo, a partir de la desigualdad 0 < \{x \-y) sen sen 11 s \x-\-y\ ^ J x | +
vlida para cualquier x # 0, y # 0, obtenemos que
( 1 l\
lim (x + y) sen sen - ) - 0.
-o V x y J
4. Comprobar
la existencia del limite hm Y.
x-G R y
ZSTW
4 Solucin. El lmite en cuestin no existe puesto que las sucesiones {x nr y^) i),
(,?:' y') = ( i , tienden al punto (0,0) para n * oo, mientras que las sucesiones de
valores correspondientes de la funcin tienden para n > oo a valores lmites distintos
2_ 2_
f(Xn: yn) = f - 1, f(x'n, y'n) = T-2^- - o.
n2 rt1 + n3
ft, 2 f(x,
I tallar lim( lim 2 y)) y limf lim /(as, t/)J si:
.1) y) =V^T' o= b = 00' b) f(x> y) = T T ^ ? ' = +0' 6 = +0;
y) ^ log^O + 2/), a = 1, * = 0.
| nliicin. a) Para o? ^ O, y O tenemos
r
unos y > O, la funcin x ^ xy ser continua para todo x > O, entonces lm x +00.
Empleando las igualdades obtenidas hallamos
pV \ 1 ( xv
lim [ lim ) ^ lim lim -7 1 1.
1^+00 \f--K) 1 + X1J J .2 y^-i-Q 1 + X
i \ >1 isiguientemente,
hm f{x, y) = hm - = : = l.
jr^o y-o Inx Inx
lim si. y = o,
x-i Inx
vemos que lim f(x, y) y, consiguientemente, lim (lim /(x, y)) no existen.
ZXG Vv XeX
7. i, m * + v
co x xy f y
i, lim
x *0 X
\t
llllunn. Tenemos M = y, y 0. Como lim ^ - lim = ] (xy i,
y-+a
xy v x
lim f 2
aE.
>+C
00 \X
V + y2
12. lm(x 2 + y 2 r v .
y-G
I Solucin. De las desigualdades tf2y2 < \(x2 + y2)2, l^(x2 + y2fV ^ + y2)^^
viilidas para O < x2 + y 2 < 1, y del hecho de que
!
2 2
a^O
j.>f> C aplulo Oleufo diciencial tic las funcionen iU* insinenlo vectorial
i
13. lim f l l i ) " " .
xoo \ x )
y*a
A Solucin. En virtud de la continuidad de las funciones exponencial y logartmica se til
14. l i m 1 " ^ .
15. Hallar las direcciones (parametrizadas mediante <p) en las cuales las funcin!
siguientes tienen lmites finitos:
T 2 ,2
a ) l i m e*-- 2 ; b ) lim ex ~J senlxy, x pcos<p, y psernp.
>->+0 />+oo
Debido a que p2 +oo y la funcin p >~* sen (p2 sen 2<p) es acotada, el lmite ser finito
cos 2ip < 0 o bien sen 2^ 0. Ert el primer caso 4ir <<- VV33^< T '' 5
< 3t
T 77 - PT - T4 -
<{ < e n c ' segundti
ip 0, <p ir.
16. uG G
1
y/x^T
A Solucin. La funcin (x, y) x2 + y2, por ser un polinomio de x c y, es continua paral
todo x e y. Segn el teorema de continuidad de la superposicin de funciones continuas,!
la funcin (x, y) (x2 + y2)~1^2 tambin es continua para todo x e y salvo el puntol
(0,0), donde se anula el denominador (x2 + ?/2)1;2. Por consiguiente, (0,0) es un punto del
discontinuidad infinita.
L JJmllo le uim rum in < iulimild<id 139
x Iy
x* 4- y 3
Mrili. Debido i que el numeriulor y el denominador son funciones continuas, la
ln analizada puede tener discontinuidades slo vt\ los puntos donde se anula el
A M q
n) J-2 + 4 z } W i J A2 + I 2 5
n ^ n n ^ n
f(X,y)^{ W . 2 , 2 ri
0 si x + y 0
i'n umtinua en el punto (0,0) a lo largo de cualquier direccin radial x t cos a , y ~ sen a,
\) i, 4 4oo, es decir, existe lim / ( / cos a , sen a ) / ( 0 , 0 ) , sin embargo, la funcin no es
f " ^0
i fftitinua en el punto (07 0).
.-n,G ii|>iun<> ,'. v.ncuio ilcrcncil do Lis funcioiuNu doG vectorial
Solucin. Tenemos
,. , . icos a s e n a
lim fu cos a, t sen a ) lim .
t->o (o eos4 a + serra
Como f(t. cos a, sen a ) = 0 para = kir
y , k Z 0 , entonces para dichos valores de a
lim f(t cos a, sen a) = 0 = /(0,0).
- o
Si 0 < a < 2n, a k G N, entonces t eos a + sen a > 0 y t eos a + sen a
sen a > 0 para t 0. Por consiguiente, lim f(t cos a, i sen a) = 0 = /(0,0). De este m:
2
tan pronto que |xi - x2\ < | = 6, \y\ - y2\ < | = 6. Por consiguiente, la funcin n es, p
definicin, uniformemente continua en el plano M2.
M - ( a/1 yi - sena),
|/(Mu) - /(M')j |sen2n7r sen ( | 4-2rc7r) | = 1 para todo rc, entonces para e G |0, l[
fti * | t M I omos encontrar ningn 6 del que figura en la definicin de continuidad uniforme,
p(Mn, O = \f ( - - i Y 2 + ( - + ) 2 - - - 0, n oo,
V \n n/ \n n/ n
inJcnlras que la diferencia entre los valores de la funcin en los puntos correspondientes
Jo(Mrl) tt(M,)|=|arcsen1 aresen {1)| 2 aresen 1 tt n puede ser menor que 7T,
si |Ax] < <5?. Sea 5 = mn{5|, 2 }; entonces para |Ax| < 5, |Ayj < 8 se cumplen
desigualdades (2) y (3). Por eso, si |Ax| < 6, |Aj/ < <5 a partir de las desigualdades (2),
y (1) resulta que |A/(x0, /) < e, lo cual significa la continuidad de la funcin / en
punto (x 0 y0).
26. Sea / una funcin definida en una regin G. Supongamos que sta es contin
respecto a la variable x y satisface la condicin de Lipschitz respecto a la variable y, es dec!
| f(x, y)- /(x 0 j 2/o)| < VOS y) - f(x, /o)| + y0) ~ /(o, Sfo)|
^ | y - yo i + j/( , yo) - f(x0, yo) | - (i)
La continuidad de la funcin x >-* f(x, yo) en el punto Xo implica que podemos indicar un
~ 6\(s, x 0 , y0) tal que para |x - x0\ < tenga lugar la desigualdad
|/<*,y)-/<so,)|<+ =,
valida para todo x G [a, A] e y" E # J que satisfacen Ja condicin - y"| <
h viriud de la convergencia uniforme de la sucesin en el segmento fa, A],
cualquier V > 0 (inclusive el indicado anteriormente) 3N N(6) tal que
f i /(*'") ~ V^^)! < Vn > N, Vp > 0 y Va; G a,^]* Tomando en la desigualdad (1)
Vi. \A )' y" = Vn(%) (notemos que (pn+p(x), <pn{x) [5, J3]} obtenemos la desigualdad
x
Supongamos que: 1) / es continua en un dominio R .= { ( z , y) : a < x < A,
(i - ji < B}; 2) (p es continua en el intervalo ]a, A\ y toma valores en el intervalo j/>, B[.
I Amostrar que la funcin F(x) = f(x, <p(x)) es continua en el intervalo ]a, A[.
Nulm ion* Sea (a^o, yo) un punto arbitrario del dominio R. La continuidad de la funcin /
mii rl dominio R implica que Ve > 0 3 6i = >i(, Xq, yo) tal que
M |;: - xo\ < $2> Por consiguiente, a partir de las desigualdades (1) y (2) y del hecho de que
1/ y si x A[ concluimos que para \x - x$\ < 6 = mn(^i3 S2) es vlida
lii desigualdad
\j(x, <p(x)) - f(xo, 9?(a?0)) | <
Y`U
Supongamos que: 1) la funcin / es continua en el dominio R {(, y): a < x < A,
U [y < B}; 2) las funciones x = <p(u} v) e y = ^(-w, v) son continuas en el dominio
!(' -- {(w, v ) : - < il', bl < ? < 5 ' } y toman valores en los intervalos Ja, A[ y ]6, B[,
< M
irspectivamente. Demostrar que la funcin F(u, v) / f) 7 v)) es continua en el
dominio R\
^...niniii.ii ce las funcionen dt* a r g u m e n t o vectorial
S o l u c i n . Sea (, % ) un punto de fi' arbitrario fijo y sea x() tp(uv, v0), y0 = ip(u
La condicin 1) implica que Ve > 0 3 a a ( s , Xq, yo) tal que
| f(<p(u, v), ip(u, v)) - f(<p(u0, v0), ip(uo, v 0 ) ) | = v) - F(n0, o)| <
para \u - 0 | < 8,\v uo < 6, es decir, que la funcin F es continua en el punto (lo,
En virtud de que (UQ, V0) es un punto arbitrario de R' deducimos que la funcin F
continua en el dominio R'.
Ejercicios
1. Demostrar que en el punto (0,0) la funcin (x, y) t-* Ax3 -f Bx2y + Cxy2 + Dy3, {x, y)
es un infinitsimo de al menos el mismo orden que p (x2 + y2)*'2
2. Demostrar que la sucesin anm = n_J+o5, n, m f_ N, verifica lim (lim anm) = lim ( lim aJ
no obstante lim <i, no existe.
n-~* oo
m->oo
3. Demostrar que para la sucesin am = n, m S N , existe el lmite doble lim a n m , per
2 = y V + ^sen-^U^, x2 + y2 0, /(0,0) = 0.
16. Demostrar que la funcin f(x, y, z) = sen (x2 + y2 + z2), (x, y, z) R 3 no es uniformementi
I i vadas parciales y di fei enchile* de im.i um um dr argumento vectorial 'Mi
/ (*o + "" ?)
J
ej) - /(xb)
lim , J = 1,772, (I)
XJ Xj - Xj
jtolr nribe el nombre de derivada parcial de dicha funcin respecto a Xj en el punto x(,
y r tvpresenta por
d
(x0), bien f X j (x 0 ), o bien Djf(xo).
dxj
1.a funcin / tiene derivada parcial f!x. en el punto XQ si y slo si en dicho punto
si' < limpie la igualdad
Junde Z-(x - Xo) = i(a5i - as?) + 2(^2 - 2) H ^ mfen ~ es una aplicacin lineal
del topacio R en R y a(x 7 XQ) O para x > XQ.
m
4T(xb) + ^ ) h 2 + . . . + L(X(s)hm
. An\ Ai Anm }
"o
es una aplicacin lineal del espacio en el espacio R " y a(x, xo) 0 para x -+ x 0 .
Si una aplicacin f es diferenciable en un punto xg, entonces Atj ^'-(XQ) y
dx/
/ dh dh dfx \
dx\ dx2 0xm
nji dji df2
A = dx\ 8X2 dxm
fn dfn >fn
\ dX] dx2 dxm )
se denomina derivada de la aplicacin en el punto xo y se designa mediante f'(xo).
f i D e r i v a d a s p a r e l e s y dMWciiHtili?* d e IIIUI hi licin d e rgimicnlo voclori.il \\7
()'(
y 11 i.<1.. ert orma matricin l
/ 0(/i o g)
dh
>(/t g )
dt2
t T *
>(/l o g)
dtk \
g) d(h g ) d(h g )
^ I
dh dt2 dtk
Oh V
"
/dfi
dx x
dfx
dx2
t
dfx
dxm
\ dgi
dh
dgi
dt2
V t
Oh d2 Oh dgi dg*
4
V dh
Bti Ot2
4 4 *
dh / i.
p.urial respecto a una variable X{, dicha derivada se denomina derivada parcial de segundo
titilen y se denota mediante
02f
(x 0 ) o bien fjXi(xa).
dxj dx j
d2f d2f
(xa) \ = l , m .
dxj Bx (xo),
(1)
dxidxj
que se puede escribir tambin en la forma siguiente ^ = (1, grad /), donde 1 (cos
cos /'5, cos 7).
El gradiente de la funcin / en el punto (xj, YO, ZQ) caracteriza la direccin y
valor del crecimiento mximo de dicha funcin en el punto (ar0, yo, zo)- Por consiguiente
(fL +(%)'+(%Y
El vector grad / en el punto dado (a;0, yo, zo) es normal a la superficie de nivel
la funcin / que pasa por el punto (a?oi Vo-,
f'x(x, 1) = lim ^ + h ^ z m H .
o h
Como f(x + h,l)-x + h, f(x, 1) = x, se tiene
,. x + h - x h
fx(x, 1) = lim = lim - = 1.
h h->o h
f'A0,0) = Hm M Z i m Um =
X^O X X^O X
/(0,0)
- * lim
_.Ln f ^ - 11 f M = lim flTy-0 = 0
j0 -on 11
J I erivadas parciales y dilVivnrlrtli* il h*m liinrliiu do inhmenlo vectorial
r'
,,
Para estudiar la diierenewhllldfid de Ifi luiuin en el punto ( 0 , 0 ) h l l a n o s hu
M M* I I lv-|*> I ' * ^
I.
ilinuk- 0(2;, y)
Debido a que la sucesin
} T 5 U
iu> es infinitesimal para rc 00 (o sea, para x 0, y 0), entonces la funcin
y)"sfx2 -f y 2 ^ o (y 7 x 2 -f I/2 ) para 2? 0 , 3 / 0, luego la funcin / no es diferenciabe
rn el punto (0, 0).
X i0 X
y y-O y y^0 y
Ul incremento de la funcin / en el punto (0,0) puede ser representado 2 en2 la forma i . 1 _ . V
iMinto (0,0),
v.apittuo J., Ctenlo diferencial de las funciones de tirgunit'iilo vectorial
34. Demostrar que la funcin f(x, y) ~ \/x?/( c s continua en el punto (0,0), tiene e
este punto las derivadas parciales f'x(0, 0) y /(O, 0), pero no es diferenciable en dic
punto. Estudiar detalladamente el comportamiento de las derivadas f'x y f'y en un entorn
del punto (0,0).
f0S o) = i i m M d M = lim V E S , 0j
-0 X X
= 0.
y-,o y y-ro y
Como
V\xy\ (\ 1\ V 1
a(x, y) -
35. Demostrar que a pesar de que la funcin f(x, y) ~ ' ( j b (donde x -{-y / 0 y
x + y
/(0, 0) 0) presenta una discontinuidad en el punto (0,0), dicha funcin tiene derivadas
parciales en este punto.
Solucin. A partir de que jjj) > (0,0) para n > oo y
X - .0 x*0 X
4(0,0)
y- -o v
Hnvadas parciales y difeivuclafen de mu Inndii de .ii>;nmenlo vectorial I!) 1
iflp P 2
1 Amostrar que la funcin /(, y) y/-7 donde x ' I 7/ 0 y /((),<)) 0, es
x' i r
Dona\ sus derivadas parciales fj, y f v eMrn m o l i d a s . No obstante, dicha funcin no
leienciablc en el punto (0,0).
forln. Si x2 -f y1 / 0, la funcin / es, evidentemente, continua, A partir de la
m 0) = lim Q) - = lim 0,
h x ' I-.0G 5^0G G
f y y2x
f'v(x,y) z2 + y2 -/- o, fy(o, o) - o.
\Jx2 + y2 vV + y1?
P
l ai
y^T^
dG RG
x2 + y2 ^ T y 2 2
ilt'i ir, las derivadas indicadas estn acotadas.
^ inscribiendo ahora el incremento de la funcin / en el punto (0, 0) en la forma
xy
a(x} y)p, donde y) p = y/x2 + y2, es fcil convencerse
V
z YG YG 1
5v
Demostrar que la funcin y) (a? -f y ) sen , donde a 2 4- y 2 0
I ji o) = 0, es diferenciabe en el punto (0,0), a pesar de que sus derivadas f x y f v no
itlriu acotadas en un entorno de dicho punto y son discontinuas en el mismo punto (0, 0).
2 2 / / *
01 - f 0 01 sen A
Demostremos que las derivadas parciales y f'tJ son discontinuas en el punto (ti
y no estn acotadas en ningn entorno de dicho punto. Con este fin escojamos una suce
(x, y) convergente al punto (0,0) tal que cos = 1, es decir. = 2ft7r, Sea,
ejemplo,
1 1
Xn ynG dG n
2V' 2 v / r'
Debido a que x 0 e yn > 0 para n -+ oo, los puntos de la sucesin (xn, y)
acumularn en un entorno del punto (0,0). No obstante, la sucesin correspondiente
valores de la funcin fx(xny) n N tiende a - o o . Por consiguiente!
derivada parcial f x es discontinua en (0, 0) y no est acotada en ningn entorno de di|
punto. Conclusiones anlogas son vlidas tambin para f y .
Demostraremos la diferenciabilidad de la funcin / en el punto (0,0). Pul
que f'x(0, 0) fy(0,0) = y el incremento A/(0, 0) puede representarse en la foj
A/(0,0) = (x2+y2) sen - p -- pa(p), donde a(p) = p sen 0 para p =
entonces la funcin es diferenciable.
d2u d-a
38. Comprobar la igualdad para: a) t = xv ; b) u arceos . / .
dx dy dy dx
4 Solucin, a) Tenemos
Ou 2 y21 Jru_
: = 2yx "\l
r + y ln a),
te'** ' dy dx
du d2u
2yxv ln x, 2yx v^\l + y2]nx),
dy dx dy
du 32U
\{xy - x2y1/2, = -(xv - x2r3/2
9x dydx 4(xy X ) '
du X. 3 2 2\ 1/2 d2u x. 2\~32
Ify = 2(X1J ~ X y ) d x d r ^ x y ' x )
x2 2
39. Sea f(x, y) - x y ~ s i x2 + y2 / 0, y sea /(0,0) - 0. Demostrar que
' X2 + y
4,(0,0)^(0,0).
4x2y3 2 2 4x3y2
y y -y
y) = y R
+ ' ' (x -\ y2)2' V) - x:
X22 r2
2 2 + y2 (x2 4 y2)3'
>nAvadas parciales y dilViviuliili** ilt< uiiti him Ion tic m^unimio vectorial Ifxl
/lio,.,)
f?
. 1 m ^0)-mjS..n in , />,) Hm / . M i m o ) = |im o ()
k
x-l) X X X " y 'O y y -o y
(lll/amlo estos datos obtenemos los valores de las derivadas mixtas
r f'<(x'0) ~ 0) r ^ 1
a; ar^O x
hi virtud de que el lmite
y ^o 2/
Mn existe, la derivada f"y en el punto {0, 0) tampoco existe,
4 I. Demostrar que una funcin diferenciabe (x, y, z) h-* /(#, z), y, 6 que
ni lisia ce la ecuacin
Xdx+ydy+Zdz~Pf> (1)
1 Irlanda para aquellos t > 0 que satisfacen la condicin (txo, tyo7 tz0) G. Dicha funcin
i"; continua y diferenciabe. Calculando la derivada de la funcin F obtenemos en el
numerador
t (x0fl(tx0, ty0, tz0) + yofy{tx0> ty0, tz0) + z0fz(tx0, tyQ, tz0)) - pf(tx0, 2/0, (3)
a. v .mino ciiN-rcnciat de Kis funcionen do .ngmiionlo vectorial
42. Demostrar que las derivadas parciales fx, J'y, f[ de una funcin f homognea
grado p, tambin son funciones homogneas pero de grado (p 1).
A Solucin. La funcin f , por ser una funcin homognea de grado p, satisface la iguald
f(tx, ty, tz) = tpf(x, y, z). La funcin f es diferenciabe segn las condiciones del proble
por lo tanto derivemos esta igualdad respecto a x. Obtenemos f'x(tx, ty, tz)t = tpf'x(:e, y,-
o bien f'x(tx,ty,tz) = tp~l f'x{x, y, z). La ltima igualdad implica que f'x es una funci
homognea de grado p 1. Para las derivadas f'y y /' la demostracin es anloga.
43. Sea (x, y, z) w u(x, y, z) una funcin homognea de grado n. Supongamos tambi
que es dos veces diferenciabe. Demostrar que
/ d d a
0,98 t / l W
i) sen 29 tg 46;
c e) 0,97 1,05
llniln, a) Aplicando la igualdad (1) del ejemplo anterior a la funcin f(x, y, z)
1 I !')(2 -f yf{3 + zf tenemos
(1 + x)(2 + yf(3 + zf & 1 2 2 - 3 3 + 2 2 3 3 x + 22 3 3 y + 21 - 3
IIHll hyendo x - 0,002, y = 0,003, 2 - 0,004, obtenemos 1,002 - 2,003 2 3,004 /"VJ
1,03:
( V 1 + 0,06 + 0,0066 - 0,0125fcs1,054.
0,98^/1^053
en toncos
sen 29 tg 46" ~ 0,5 - 0,866 0,017 + 0,017 w 0,502.
47. Demostrar que una funcin / cuyas derivadas parciales f'x y /' estn acota
un dominio convexo E es uniformemente continua en este dominio.
^ Solucin. Sean [x\,y\) y y2) dos puntos arbitrarios del dominio E. En virtud
convexidad del dominio E el punto (x2 +t(x-l - x2), y2+t(y - Vi)) pertenece al dom*
para 0 < t < 1.
Para t 6 JO, lf la derivada de la funcin <p(t) = f(x2 + t(xi x2), y2 + t(y1
est acotada
48. Demostrar que si una funcin (x, y) /(a;, y) es continua respecto a la variable
para todo y fijo, y su derivada respecto a la variable y est acotada, entonces la funcin
continua respecto a las variables x e y en conjunto.
\f'3(x, y)| M
|/(, V) - /(o, 2/o){ < | f{x, y) - f{x, + \f(x, yo) - f(xlh y 0 )j <
< | fy i*, yo + % - yo)) | \y - y| +1 f(x, y) - f(x0, t/0)|.
I Olivadas part ales y dilerenrlrtlea di1 inii I I I H I I I de arrunenlo vectorial l/i7
TT
|/{a?, 2/) - Jfo>, Jfti)| M\y - r/0| + | <
i.-iy
V +
> Yn
' (0 ' flas2 + V dz*Z +2dxdyXy + 2dxdzXZ + 2dy 8zVZ ~
d o o
lilil/ando el mtodo de induccin matemtica es fcil demostrar que
d2u 2 ,G Y 2 ,G e Y 2 u
51. S e Ga A ^ - )
cG SG S ( d u \
V dz /2 ' . = te w dz ' 1 A
zpG rG dG
V ^ + p + Z5
.iLfl^i = . f - i A - a 2 ^ fi^ i
se tiene = - ^ + = - A + ^ = 0 , r p. *
52. Demostrar que para toda funcin (, r, Q f{, C) I a forma funcional dflj
diferenciales de cualquier orden no vara al sustituir 7;, por funciones lira
= a\X + a2y + a 3 z, t = bx + b2y + b3z, < = q x + c2y + c3z.
4 Solucin. Calculando la diferencial de segundo orden de la funcin d2f - f'f'-_
f". d(2 + 2fr di di] + 2/;'c di, dC + 2 f , ( dV d( + f d2( + d2? + f'( d2( y observando;
en virtud del carcter lineal de las funciones i , r, tienen lugar las igualdades d2^ i
d2r 0, d2( 0 obtenemos
es decir, la forma de las diferenciales de orden arbitrario 110 vara al sustituir los argumenil
por funciones lineales. j
53. = / ( v ^ + 92).
Hilo
jxJx I V fi!t d r l r < V {V \ (?/
lit'lH
P G eG
du - f(y dx + x dy) +
y
d,} = fn(yx
, T +, xdy)
, x2+2/
( ~ s/2 da2^ - dy (ydx-x dy\
2 2
12- + j +
r, , , ~ j.t (v dx - a? dy) dy
+ 2f[dx dy - 2/2 ?
H Determinar d n u para:
( d 8 d \"
d"u = a dx + b dy + c dz j f(s, t, r),
60. u = /(s ; t, r), donde s aix + bry + c^z, t = a2x + b2y + c2z, r ax + b3y + c
A Solucin. Utilicemos la invariancia de la forma de la diferencial de n-simo ord
(v. ej. 52). Tenemos
/ ^ A \ JJ y n
d"U = \ ds + di dt + dr d r ) T* =
( ( a i dX + b l d y + Cl dz^0s +
d d \n
+ (a2 dx + b2dy + c2 dz)~ + (a 3 dx + b 3 dy + c 3 J f(s, t, r).
d2u _ ,1 _ , j f _ ,1 _
dy2 1 r2 1 r 1 r3' dz2 1 rz ] r 1 r3'
De este modo,
Mrtivadas parcial cuy (lileiemlde* dt un funcin Ir argumento vectorial 161
ti'u 'V yG G
llP ihf'
t
(x r | y2 x2 H-
i.y2 /j [^mbien satisface
ecuacin.
|2,
Fv .. (9<P\22^ W. ,
, tt d<p df .. (sfithsl
W y , P2-,
f&V^ a2
<F1>
R
O O~PR
Calculando las derivadas
"v V2 ~ 3)2 d(p _ 2xy d(p _ 2 x & 4 ~ tyf) dLip _ 2x(3y - xl)
h (x2 + y2)2 > dy (x2 -f y2)2' dx2 ~ -f ?/2)3 5 %2 (x2 + y 2 ) 3 '
th> 2xy 6j> _ x2-y2 d2$ _ 2y(3x2 - y 2 ) _ 2yfa 2 - 3a; 2 )
/J,r (a:2 + y 2 ) 2 ' dy ~ ( a 2 + / 2 ) 2 ' ote 2 " ( x 2 + y2)3 > ( a 2 + y 2f 1
venios que
Av = , 2o 1 2 2 Au 0.
(x + y )
2 # 'U
(i3. Demostrar que si una funcin u = u(#, t) satisface la ecuacin del calor a
dt dx2'
1 -Jt- ( x 1 \
mtonces la funcin v - pe u ( 77, j- )r t > 0, tambin satisface dicha ecuacin.
aVt a.HJ
donde mediante u\ y u'( se denotan las derivadas parciales ile la funcin u respe<
primer argumento, y mediante u 2 , respecto al segunde) argumento. Sustituyamos
derivadas en la expresin v - aLv"7i. Despus de simplificar obtenemos
i 2 II 1 4- f i 2 II \
vt-a uX2 = =e *<-' (u2 - a un).
aPVP
Segn las condiciones del problema u'2 - a 2u".a} = 0, luego v - a 0.
a 2 ) 92! L0 , . 2 , / 2 , 2 , 2\32M2
dz 2 0z 2 dz 2
Por consiguiente,
A = Ai + 62 + 4 ( . x | j -f ^ + j ) + + V2 +
Ai'i 0\ <Pu2 jl j
i) tf dx R yGdy RG
AlAiO + w
r.
i)x"' dz
" X
A(Av) = 1 4 A u 2 + 4 z - ^ ( A t t 2 ) + 4 y Oh Y P R
7
a?
S
y lilil/ando el hecho de que &u2 0, nos aseguramos de que A(Av) = 0.
V 1
Supongamos que (x, y, 2) y, 2) es una funcin homognea de grado n
y es m veces ddiferenciabe. m
Demostrar que
d d
x + y + f(x, y, 2) = - 1 ) . . . (n - m + 1) f(x, y, z).
ota
1 Solucin, Sea (x, y, z) un punto fijo arbitrario del dominio de la funcin / y sea
in u. En virtud de la propiedad homogeneidad de dicha funcin es vlida la igualdad
y, z) f(tx, ty, 2). Derivndola m veces sucesivamente respecto a
ni* i
df df o GSG0 0
) / ( * M y , tz),
0a; 9y dz " a i * * dy ' dz
n(w-l)f / ( a , y, 2) = tf + y &L
dy d
* 02/ . o1/ d 0 o- 2
+ z ) }{tx,ty,tz\
dxdz dydz x rx+ y T y dz
F'^f- - \f
u pt _ f r V jt _ u
T ~
O)
{ 2VV1 v 2^Jvw 2>/w'
Multiplicando la primera de las igualdades (1) por u, la segunda por v, la tercera por w
y sumndolas obtenemos
uw uv vw UV
ul<iGR vFGR wF'wG f +fl + +fi
2y/w 2y/v 2 \/vw
uw
' - L N+ Jfy
~ JXriG
R Vvwfx + Vwfy + Vuvfl
^ / 4 M H
r vupiruio 2. Clculo diferencial tic las funcloni'H do aiy,unu-nlo vectorial
68. z = x + <p(xy).
4 Solucin. Hallemos las derivadas parciales respecto a x e y
dz , dz ,
70. 2 = <p(x)f(y).
4 Solucin. Como J | ip'tp, ~ ~ ipip', entonces || ^ = pipip'ip' zip'if)'. Es fcil ver q
- ip'ip'. De las dos ltimas igualdades resulta inmediatamente que f -
obtenemos
fe 02 2a: ,, 2d
2z 2a; ,,
luego
ai ~L v,:> -
73. Para la funcin z = ln(ar + y1) hallar en el punto M = (xth y0) la derivada en la
direccin 1 normal a la curva de nivel que pasa por dicho punto.
Derivadas parciales y diferciM IjiI<*m tlp mu fundn de arrmenlo vectorial IV>
MM ^tM
cos a = TI , cos fi
||grad u(M)ir '' ||grad (M)||
ite[M) __ 2x, 0z{M) __ 2yK
nx ~ xl+yi' dy ~
i i f
A pues, tg a = jy y los cosenos directores de la normal interior vienen dados por las
inri nulas c o s a = ^ J ^ / eos/? = (tomamos el signo menos, pues la normal es
erior). Utilicemos la frmula de la derivada en la direccin n = (cos o) cos fi)
dz( M) 0z{ M) Qz( M)
"sr = cos a + c o s
du(M) \2 (du{M)\2 ,
g n . d . M ^ / l ^ j + - A
166 Capitulo 2. C alculo diferencial de las fiinrlnncN di' .(relmenlo vectorial
grad u = (2axa, 2byu, 2cz0), grad V = (2ax0 + 2M, 2by0 4- 2N, 2CZQ + 2p),
||grad tt|| = 2^(ax0 f + (by0)2 + (cz0)2,
||grad v| = 2\/{aX() + ra)2 + (byn + n)2 + (cz0 + p f ,
para determinar el ngulo <p tenemos la igualdad
ax0(ax0 + m)+ by0(by0 + n) i- cz0(cz0 + p)
eos tp =
\fiiflxo )2 + (byQ )2 + (cz0)2) ((aso + m)2 + ( % ) + nf + (cz 0 + p)2)
Calculemos sen <p y demostremos que sen <p > 0 si y x\ + yl + Zq > oo:
Utilizando las desigualdades 2\xay0\ < x2 + yl, 2|c0^o1 S + zo> %i)Zo! yl + zjj
y denotando mediante A el coeficiente de Xg,
2 o Zg con mayor valor absoluto de entre
los que se tiene en el numerador, obtenemos la estimacin
A ^ 4G R y20GR z 2
0 s Isen^l < - -
B\jxl + Vl + zl^/(ax0 + m)2 + {btjQ + n)2 + (cz0 + p)2
(1)
B \/{ax o + m)2 + (M + T)2 + (czn + n)2
I varias parciales y dfereminU* di ma funcin ur ai^u I l l C i K i r
itutfi, pues, quede la desigualdad (I) se? infiere que sen y? y <p tienden a cero si el punto M(
Hule a infinito.
du du du du
cos ai 4- cos P\ 4-
Oh '
dx dy dz LUS u>
du du du du
cos a2 4- cos p2 + ^COSJ2 a)
dl2 dx dy
du du du du
cos 3 4- cos p3 4-
dl3 " dx dy dz 3>
( cos ai
cos a2
cos a 3
cos 3}
cos P2
cos ps
(3)
Iransforma la base ortonormalizada (i, j, k) en otra base ortonormalizada (h, I2,I3), dicha
matriz verifica las propiedades siguientes: la suma de los cuadrados de los elementos de
cualquier fila (columna) es igual a la unidad, y la suma de los productos de los elementos
de dos filas (columnas) diferentes es igual a cero.
As pues, en la igualdad (2) los coeficientes de los cuadrados de las derivadas ( ,
( g ) 2 , ( f f ) 2 son iguales a la unidad, y los de los productos de las derivadas f| fj/
JJjJ son iguales a cero. Tomndolo en consideracin, a partir de la igualdad (2) obtenemos
directamente la igualdad a).
ic ni ru ncKMH'N tic jii|jFintH'nlo vectorial
d2u d2u
R 2d^COSaiCOS^+2dxdz
cos a i cos 71 + 2 cos /3i c
dy dz
d2u , d2u ,
di
+ ~ t +
d\\
t (eos
d\\ dx2'
j + cos a2 + cos a 3 ) +
02tt. 2 , 2 , 2 \
d2 d\,
+ (eos /?! + eos* /?2 + COS Ps) + ^ " ( c o s 71 + cos 72 + cos 73) +
dy
+ 2(ros
d2u
i c o s 7 l - f cos a 2 eos72 - cos cos 73) +
(cos j3i COS 7 1 + COS p2 eos 7 2 - f COS (i-i cos '
dy dz
de donde, haciendo uso de las propiedades de la matriz (3), obtenemos la igualdad b).
79. Supongamos que u = u{x, y) es una funcin diferenciabe que para y x satisf
la condicin u(x, x2) = l y ~ = x. Hallar ~ para y x2.
ox ay
< Solucin. Como u(x, x2) 1 segn las condiciones del problema, derivando la funcin
A j
obtenemos x ) 0, o sea.
dx dy O
Utilizando ahora la otra condicin del problema x, a partir de (1) obtenemo
2"
ciones siguientes: u(x, 2x) = x, u'x(x, 2x) = a;2. Hallar u"x(x, 2x), u"y(x, 2x), 2x).
< Solucin. Derivando los dos miembros de la igualdad u(x, 2x) x respecto a x
K2. Para la ecuacin = x 4- y hallar una solucin z = z(x, y) que satisfaga las
ax dy
ruin liciones z{x, 0) = x, z{0, y)~ y .
Polucin. Tenemos
X
donde = /pofaJdj/.
o
A partir de la condicin 0) = x hallamos z(x, 0) = ij?{x) = x, luego zfx, y) =
7 + f + **y) +
La condicin 2/) = y implica que ^(O, y) = <p(y) = y , De este modo, en
lefinitiva tenemos z(x y) = x vXxy 4- y1 + x. >
d2z
83, Para la ecuacin = 2 hallar una solucin z z(x, y) que verifique las
V x 2G R y2
84. :: (r, <p) ^ ( r C b 9 ), g : (x, y) ( si
\ r sen <pj \ a^g f
D = {(r, v?): 0 < a < r ^ R, 0 ^(p < 2tt - <5, 0 <8< 2 it).
( v/w
iseny?
x2+ y'
rycosyi V ^ V 1 , rx^ cos y \I _ /I 1Q oj \J
yseny?
D = {{r, v?, z ) : 0 < a < r ^ R, < 2tt - \z\ ^ H, 0 < <5 < 2ir}.
Solucin. Tenemos
cos (p r sen tp 0
{f o g)' = f' g' = j sen (p r cos tp 0
0 0 1
/I 0 0\
(fog)'= 0 1 0 .
Vo 0 \ )
Derivadas parciales y dlferemlrtl*** di* Milu funcin dr argumento vectorial
fi can
\
* ^^^ |'T11 LJ i l| I
y/x2 + y2 -f- z2
r cos y? sen 0 \
arctg V
H: V? r sen y? sen 0 I , f: (x, y, ' x f
z
r cos 0 / arccos
^/ac2 + y2 + z2 /
$ t 0) ( D, D = {(r,p,0) 0 < ^ < 2 t t - ^ 0 ^ 0 < TT, 0 < <5 < 2
+ V2 / r cos ip \ stu
I: (.r, y) y 1 S : fa V) h : ( 5 , , u)
^ctg - r sen y? s2 t2 + u
x'+y
2_s2
sen ip
w tu su st 1
2$ 21 u
v iipitiiii) t tictilo diferencial de las funcioiit'N de ai^uiiu-nlo vectorial
se tiene
r'
V
_ /1
" ^0
0 \(
1 ) \ 2s
tw
21
su
2u)~\2s
\-f 21
tu *
2u J '
n sl ^
Ejercicios
Determinar las derivadas parciales de las funciones siguientes;
17. f(x, y)- 18. f(x, y, z) = ln (xy2z3). 19. f(x, y) = X4y + 2x2t? + xy3 + x-y.
20. fix, y) = . 21. f(x,y)=. 22. f(x, y) = (2v'y2 -x + l f . 23. f(x, y) = arctg
24. f(x,y) = y/x2 + y2-x + l. 25. /(*, y,z) = y/i2 + y* + T2. 26. f(x,y)^2x-".
27. f(x, y) = ln(x3 + sen xy). 28. /(x, y, z) = ln(s3 + 2y + tg 3z). 29. f(x, y) = cos(2or +
30. /(, y) - 31. /(x, y) - (x -I 32. /(x, ?/) = arctg 33. /(*, y) = .
34. /(*, .y) = ln(er + 2e'->). 35. /{x, y) = arctg 4-. 36. /(*, j,) = xy - + |.
37. f(x, y,z) = xz+y2 + z2 + xy + xz + yz + xyz. 38. f(x, y, z) = (xyf.
39. f(x, y, z) zxy. 40. f(x, y,z)- arctg x + arctg y + arctg z.
Hallar las diferenciales de las funciones siguientes:
41. f(x, y) = sen(x2 4 y2). 42. f(x, y) - arceos (xy). 43. f(x, y) = ln tg |.
44. f(x,y) = arctg (x2+y2). 45. f(x,y, z) = ln(x+y-z). 46. f(x, y) - xv. 47, f(x, y) = cos(
48. f(x, y) = x3 4-y3 ~ xy. 49. /(x, y) = 50. f(x, y, z) = x ^ 4- yzx + z3y.
Calculando directamente las derivadas de las funciones siguientes comprobar el teor
de Euier de las funciones homogneas:
51. f(xy,z)^(x2 + i + z1)>2lnZ 52. f(x, y, z) = \e*. 53. /(g, y, z) = sen V*'.
f ya:
54. f(x,y,z)~ =. 55. f(x, y, z) = V ^ + y 2 + 56. f(x, y) = arctg \.
/+JI2+I2
Hallar las derivadas parciales de primer y segundo orden en los ejemplos siguientes!
57. f(x, y) = | ln(x2 4- y2).58. f(x, y) = arctg x+y
f-
-xy '
59. f(x, y) = xsen(x 4-y) 4-y cos(x 4- y). 60. /(x, y,z) = y'x 2 4- y2 + z2.
Determinar las derivadas de los dos primeros rdenes de las funciones siguientes:
61. u = <p(, t), f = x + y, t = x - y. 62. u = r/), = x2 4- y2 4- z1, ij = xyz.
63. = p(,q),=f,9=-
64. Probar que si x2 = y2 = ( z2 - (t), entonces a g 4- y g == | 4- +|.
65. Tomando x = r eos 9 c i/ - ir senay> hallar el jacobiano
t)r Bf
0t
r dv
66. Tomando x = ar- cos" f sen"0, y br senaip sen"fl y z cr eos" 0 hallar el jacobiano
dx fa 0x
Or M
Si dy Sy
Sr dv do
S S Qi
dr dtp dO
67. Tomando x = y & - 4'i;(, z - j) - t) hallar el jacobiano
68. Demostrar que si x = cos y, y sen 'p cos 0 y z = sen tp sen 8 cos entonces el jacobiano
igual a -senV sen2? son ip.
fi t L'IHM UHIC'I IllipNclriM 173
du 2 ^a - 1 - ,
n ( omprobar que f = aa 2 ^ si = -^e
du du du
n ( omprobar que x g + y ^ -f = 0 si u
i alcular las expresiones:
aru ,
"J - 2 dxdy dy1 si u y>(x + y). 73,frc2
yf
Comprobar las igualdades siguientes:
L
-
(is+ffs+^) v ^ T y T ^ . - o ,
n,
K
I*
U
I_ tr , 1 0z p - a 2 u, = e aaV(ar - y).
L j :
, z = w ( s 2 + y>). 7 7 . 0 a2 -
f a y fljr
2 0aw+ 2 xy fu
c,( i2 dxdy 3y2
3. Funciones implcitas
3.1. Principio del punto fijo
Sea X un espacio mtrico.
Definicin 1. Un operador (una aplicacin) A: X * X se denomina de contrac-
t'U'm si
3 0 E [0,1[ A Va?, y X : p(Ax, Ay) ^ 0p(x7 y).
Jistudieinos la ecuacin
f (x, y) = 0.
Si existen conjuntos no vacos E C X y F C Y tales que Vx E la ecuacl
tiene una solucin nica y F, entonces se puede definir la aplicacin ip: E > F sigu
a cada x E se le pone en correspondencia tal valor de y = <^(x), y C-F, que sat
la ecuacin (1) con dicho x. En este caso, la ecuacin (1) define <p como una apile
E F: x -+ ip(\) que recibe el nombre de aplicacin implcita (si n 1, funcin imp'
definida mediante la ecuacin (1).
3.3. Teoremas de las funciones implcitas
Supongamos que se tiene la ecuacin
f(xux2,.-.,xm,y) = 0
que para abreviar escribiremos en la forma /(x, y) = 0.
Aqu x = (xh x2,. -., xm), x 5(x 0 , a), x 0 = (xu xm), y G 5 ( j
SiVa, b) = \yo -b,y0-r b[. Introduzcamos la notacin D S(x0, a) x '(yo, b).
Teorema 1. Supongamos que la funcin f:D~>M. satisface las condiciones siguie
1) / es continua en D y /(x 0 , yo) ~ 0; 2) en el dominio D la derivada parcial /,', de d
funcin es continua en el punto (x0, yn); 3) f'y(x0, y0) / 0.
Entonces, 36 f |0, a[ A 3 e G JO, /;[ tales que la ecuacin (1) determina una
funcin
y : S(xa, 6) -> S(y0, e)
continua en la bola S(x0, 6) y tal que y(x0) y0.
Teorema 2. Supongamos que se cumplen todas las condiciones del teorema 1 ye
dominio S(x0, ) x S(y0, e) C IRm+1 existen derivadas continuas f'Xj, j = T/rn, /,' y, ade
fy ^ 0. En este caso, la funcin implcita y : S(xo, <5) S(y0, e) definida por la ecuacin
es diferenciable en cada punto de la bola S(xo, S) y sus derivadas parciales se calculan se~
las frmulas
j =l,7?l.
/(*, y) = 0, (
donde x = (i, x2,..., xm), x S(x0, a), x 0 = (a?, x\,..., xm), y = (jn, y2l..., y
y e S (y0, b), y 0 = (yt y2,..., 3/). Designemos D = 5(x 0 , a) x S(yu, b).
Teorema 3. Supongamos que la aplicacin f : D > K satisface las condicion
siguientes: 1) f es continua en D y f(x u, y 0 ) 0; 2) en D existe la derivada parcial
:\) dct ry{xo, yo) - 'X;{;;;:;{ / < ' / ' " " ' " (*. y)-
l'.nlottccs 3 G JO, [. A 11; t |U, h\ Uilvn tpw la iriwrin (4) define una sola aplicacin
y: ,S'(xUl)
$nlhtuti en la bola cerrada 5(x t)} 0) y /*?/ r/uc y(xo) ^ yo-
Teorema 4. Si se cumplen todas las condiciones del teorema 3, en el dominio D
intat las derivadas parciales 'x/ N y para la matriz f y (x, y) existe la matriz inversa en
jficho dominio> entonces la aplicacin y: S(XQ, ) > S(y0l $) es diferenciabe en cada puni
1i ,S'(xo> 5) y, adems,
y'(x) - - ( ^ ( x , y)) f'x(x, y). (5)
3.4. Aplicacin inversa
Sea dada una aplicacin f : X - + Y , donde X C R", Y C Mn.
Si para cada y G F la ecuacin f(x) = y tiene una solucin nica x X, entonces
tm el conjunto y se puede definir la aplicacin f~ : Y X poniendo en correspondencia
$ t Hlo y F el valor x X que es la solucin de la ecuacin f(x) = y para dicho y.
licacin as definida se denomina aplicacin inversa a f.
Es obvio que la aplicacin f es inversa a f - 1 , por lo tanto decimos que las aplicaciones
fy " 1 son mutuamente inversas.
De la definicin anteriormente expuesta se deduce que
-i
F*(f(x)) = x V x G X ,
-i (i)
f(f (y)) = y V y e r .
Teorema. Supongamos que una aplicacin f : X > Y satisface las siguientes con di-
tluties: 1) f es continua en X e yo = f(xo), x 0 E X, y 0 Y; 2) en el dominio X existe la
derivada f' continua en el punto x0 y, adems, la matriz
QG QG ^(Xo)
ih (xo)
f'(xo) &F, TG QG
V fefo) U
i
^(/l fl * > i fn l) i
(yo) (4)
^(s/li f2 1 Sft) (xo)
X cumplidas
Mota. En los enunciados de la mayora de los problemas de este prrafo se supone que vienen
todas las condiciones que garantizan la existencia de las funciones implcitas y sus
derivadas.
i/n mpllulo 2, (Menlo diferencial de las fundoin-N de .uf-umi-nlo vectorial
r i si x es racional,
=\ 0 si x es irracional.
Solucin. Supongamos que y = y(x) y z ~ z(x), a < x <b, son dos soluciones continua
de la ecuacin (1), es decir, que se verifica f(x)y(x) = g(x), f{x)z(x) = g(x), lueg
f{x)(y(x) - z(x)) ( a < x < b. ' '
As pues, las soluciones y y z de la ecuacin (1) coinciden si la funcin y = 0(
a < x < b, es la nica solucin continua de la ecuacin homognea f(x)y = 0, lo que
posible si y slo si el conjunto de ceros de la funcin / es nunca denso en el intervalo Ja, 6[|
(v, ej. 89). 1
Si f[x) 0, a < x < b, entonces la funcin y ~ es, obviamente, la nical
solucin continua de la ecuacin (1). Supongamos que / se anule en un conjunto de puntos!
nunca denso { } ja, b[. En este caso, en el conjunto { } la expresin j no est definida;
la funcin y j satisface la ecuacin (1) slo en el conjunto de los puntos del intervalo
Ja, b[ para los cuales f(x) ^ 0.
Si se exige que exista el lmite finito
81. r u n n o n t tmpiu nm
MI, ^ / F e ),
mG G
a. ^ lim x - G {}>
t i. Consideraremos la ecuacin
x2 + y2 = 1. 0)
m
; 1 ^ < 1,
filil funcin que satisface la ecuacin (1).
1) Cuntas funciones (2) verifican la ecuacin (1)?
2) Cuntas funciones (2) continuas satisfacen la ecuacin (1)?
3) Cuntas funciones (2) continuas satisfacen la ecuacin (1) y, adems, las condi-
ciones: a) y(0) = 1; b) = 0?
Molucin. 1) El nmero de las funciones que verifican la ecuacin (1) es infinito. Tomemos,
mr ejemplo, Xj - 1 + k= n; n ~ 2, 3 , . . , , entonces para cualquier n = 2, 3 , . , .
t iilicin
y/T= x si a?2Jt < # < SC2+1,
y:x VI si .a?2jfc+i ^ # < #2*4-2 >
0 SI X 1,
ilonde k 0, n, cumplir la ecuacin (1).
2) Sea x un nmero fijo del segmento [- 1,1], Podemos construir entonces dos
un liciones continuas que satisfacen la ecuacin (1)
y y/i X y -Vi X
donde - 1 ^ x < 1.
3) Evidentemente, slo una de las funciones determinadas en el punto anterior,
,i saber y vT- , satisface la condicin 2/(0) = 1. Las dos funciones cumplen Ja
condicin b).
x2 + y2 = x4 + y4 (
define y en funcin de x. Hallar los conjuntos de puntos del eje real en los cuales
nmero de dichas funciones es: 1) uno; 2) dos; 3) tres; 4) cuatro. Determinar los puntos dd
ramificacin de dicha funcin y sus ramas continuas.
+ V2
y = si 0 ^ |a:| ^
y = si 1 < \x\ ^
1 + V2 y x = 0,
I |V2
0 < |x| -: I y \x\
2
3) Si 3T 0 |ar| las igualdades (2) proporcionan tres valores de y. Por eso, la
^iim'in (1) determina tres funciones en el conjunto { - 1 , 0 , 1 } .
4) Si 1 < \x] < la ecuacin (1) determina cuatro funciones. A partir de (2)
V^iiios que
es positiva. Por consiguiente, la funcin y ip(y), -oo <y < -foo, crece montonamente,
Como los conjuntos de valores de las funciones (p(y) = sen y + sh?/, -oo < x < foo,
y f(x) = x, - o o < x < H-oo, coinciden, entonces la ecuacin seny + sh y x determinr
una funcin nica y u)(x), oo < x < -foo, que idnticamente satisface dicha ecuacin,
idu v.npmno . V nictil (.lilcrcnri.il de la funcione* de .iigium-nlo vectorial
95. Sea
x = y + tp{y),
donde <>(0) = 0 y \<p'{y)\ < fc < 1 si-a < y < a. Demostrar que para e < x < e e
solamente una funcin derivable y 1-> y(x) que satisface la ecuacin (1) y que veri
adems, la condicin ^(0) 0.
x = ky + <p(y),
donde k -fi 0 es una constante e y >- <p(y) es una funcin diferenciable de perodo u>
que \(p'{y)\ < |ft|. Demostrar que y = | +ip(x), donde ip es una funcin de perodo
donde est comprendido entre y y z. Como \f'{y)\ < se tiene 0 < 9 mx l ^ p < 1
Por consiguiente, p(Ay, Az) < Op(y, z); as pues, A es una aplicacin de contraccin.
j,l l'llll llllU'B IIH|IIt tI.IN !8I
De este modo, a jmrIIr del Icnienm del p U vemos que existe una sola funcin
f k .
k k ' k k
uiiiulo al lmite en la ltima igualdad obtenemos y - f + i){x)f donde
1
f(x) = - y- lim
p.ira n oo. Dado que cada uno de los sumandos tiende uniformemente a cero, resulta
ijue ip(x + |ft|ci/) - ip(x) = O, lo que demuestra el carcter peridico de la funcin ij).
97* Comprobar que para 1 + xy k(x y), siendo k una magnitud constante, tiene
lugar la igualdad
dx dy
2' (D
l + x i + y
4 Solucin. Como x ^ yt entonces k 9
Derivando esta igualdad obtenemos
(x - y){x dy + y dx) - (1 + xy)(dx - dy)
O 1
(x - y)2
donde se obtiene la igualdad (1 + x1) dy - (1 + y2) dx O, equivalente a (1),
+ y2) dx + yj 1 ^ ( 1 + dy = 0,
\/ - y4 dx + yj\ - x* dy = 0.
de donde se deduce inmediatamente la igualdad (2).
<p(x)
La funcin x >-> <p(x) as^definida es continua en ]e, ef y <p(0) = 0. Por eso, se pue
definir cuatro funciones continuas:
r 'p(x) si o<i<e, / -<p(x) si 0 < x < e,
^ = { -tf) si - S < a < 0, = i <p(x) si - e < x < 0,
y3(x) = <p(x), -e <G < e, yx) = -<p(x), -e< x<e,
que satisfacen la ecuacin (1).
Estudiemos la diferenciabilidad de estas funciones en el punto x 0. Para ell
calculemos <p'. (0). Tenemos
lAxj^-Aa:2 - V a 2 ~ Az 2
lim ==! - -- : = lim
At- -o / r , / ) 7 ,
AxJ y/2a2 Ax2 +aj + Ax2 + - J yW-Az2 + i. + A2 +
dy (1 + t2)(St - 4 3 ) - 4(3 2 - 4 )
dx (1 + 2 )(3 - 32) - 4{3i5 - 3 ) '
dy 2x + y
x -2y,
dx x+2y1
1 0 2 . Para la curva
- a?^ -I- 2y2 + x - y - 1 = 0 (1
hallar y" e y'" en el punto = 0, y = 1.
2x y xy + Ayy + 1 - y = 0,
2 2y xy11 + 4y2 + 4yy" - y" = 0,
OW / / / . - / /f , ^ Hf H/
-3i/ - a r y + 12i/ y -y = o
SU Determinar las derivadas parciales de primer y segundo orden para las funcion
z zix, y) que citamos a continuacin:
e OF
9
dz
dx OZ OF '
dx
dy az
En el caso considerado se tiene
dz -3yz yz dz Xz
z ^ xy.
dx 3z1 - 3xy z2 - xy' dy z2 - xy'
Teniendo en cuenta que 2 = z(x. y) hallamos las derivadas parciales de segundo orden
d2z (z2-xy)y%-yz{2z%-y)
dx2 (z2 - xy)2
(z2-xy)y-^y-yz{2z zxy y) 2 xy3z
(zz xy)2 (z2- xy)3'
vx 1 -- y2 tg
\/x' ir
m ln. Anlogamente al ejemplo anlerior leemos
xz
yJL^ tg -I- J~x2- y2 eos 2 ( ^ ^
Oz y/^-? h -y* V J Xx/^-yi W-^-y'f
dx y 2 eos - 2 ( J - I t1
i - v ^
-2
tg eos + L
\ A 2 - 2/ x-~ y x2 y2
ifz 2 2 / 2
(x2 - y2)2 2 -_ ,2\2'
y2)
x ^ y* *
Oy2
ll.illar dz y d 2 z si:
== ln + 1,
z y
4 Solucin. Considerando que 2 z(x} y) y diferenciando la igualdad de partida obtenemos
zdx-xdz _ y y dz - zdy
y2 .
2
yz dx xy dz yz dz + z dy 0, (i)
de donde
z(y dx + z dy)
y(x + z)
I iferenciando la igualdad (1) y realizando luego simplificaciones triviales hallamos
^ _L z dx dv 4-(z dv x dv) dz y dz2,
X
^.L,,,uiin> ,. v aicuio ilitcrcnci.il tic la funcionen tic .ir^iimcnto vectorial
d2z^_z\ydx-xdyfG G G
y (x + zy
107. z - x = arctg
G G G G
de donde
({z - xf + y2 + y) d(z -x) = (z-x) dy,
o bien
dz = dx+ {2-X2d?
(z - x)~ + y + y
Diferenciemos la igualdad (1):
_ (F + 2xF[) dx + (F + 2yF) dy
" F[ + 2F2 (3)1
y calculamos la suma
tj.'l l'umiMw* JmplrHar* 187
2 (i-' + 2zF[f
+ - ^ ^ + d y 2 ) ( F + '
(F+2zn)32' F * + 2 z F ^ a *
V
_ F}' dx + Fj dy
a z ~ Ft + F
dx\dz~dx
ax + az-ax F ; dX, +
p + ^% dy - + - dy) ,
b) Tenemos
,,zdx xdz . . .i z dy y dz
F " " + ?2 * , - 0. (3)
z z2-
Multiplicando dicha igualdad por z2 y volviendo a diferenciarla una vez ms hallamos
/, n (z dx - x dz)
2
+ (zdx-x dz)(z dy - y dz) +
+ ^ ^ l l ^ t _ {xF> + y F ) z = o. (4)
z
ino Captulo ?.. Clenlo diferencial de las f uncin "t <|<- .n|>, ti ment vectorial
al
F[ dx + "i dy
dz~z
xF + yF '
Calcularemos ahora las sumas
, , y dx - x dy , , y dx - x dy
z dx x dz = zF~i --;-, zdy-ydz = -zFi^-.
xF{ + y F 1 xF{ + yF
Resolviendo la igualdad (4) respecto a d'z y empleando las igualdades (5) determinaJ
la diferencial de segundo orden
dy
dz
F;>
dz
dx
F'
ZJL
F'
dy dz dx V F A F')\ F'J
1 1 1 . Hallar ^ y ^ si
dz dz
x + y + z = Q, x2 + y2 + z2 = 1.
A Solucin. El sistema en cuestin define las funciones x = x(z') e y y(z) cuyas derivad
se determinan por la frmula (5) del p.3,3. Derivando las igualdades (1) respecto a
obtenemos el sistema
dz dz dz dz
del cual resulta || = ^ x ^y-
dz2 4 dz2 4
4 y >/2
v y
r"' sen - - - .
2/ V2
4 Solucin. Diferenciando el sistema en cuestin tenemos
a v x du u dx
e T cos
v y dv v dy dx
^ e x sen
v x1 y y2
v xdu- , ii udx v y dv - v dy dy
ex sen - h ex cos - -
= =- = (I
y xL y y Vi'
lomando aqu x y = 0, v | obtenemos el sistema
7T 7T
du - dv + j dy = dx, du + dv dy dyi
4 4
luego
1 7T 1
du -(idx + dy), dv - - dy - - dy). <-
. .,,..!> i . v .mun> ouercncial de la funcione* >lc argumento vectorial;
d2? - 2 dudx- d2v +2 dvdy dy2 + du2 - ^dw - ^ dy) -2du (dv - ^ d?/) =
A partir de los sistemas (2) y (3) hallamos d2u dx2, d2v l(di/ - da:)2.
1 1 5 . Sean x = + 1 ~ \ y = 2 + T 2 y 2 = 3 + T 3 . Hallar g , g , f,
^ Solucin. El sistema dado define en forma paramtrica las dos funciones siguientes
i = + x = + t 1,
y = t2 + r 2 y z = t3 + r3,
luego
<y
dy _ f t _2t- 2rs _ . /, , 1
= 2 (< + ,
da; 1 -
i M.
= =
3i - -
2 3 f ~ 4
= 3 (f 2 + I + l ) , t * 1,
dx ~ ^ - i - 2
Ai
'2~ _ t ( f )
d_ -
dx 2 ~~ te-
di
1 1 6 . Sea x = v). j/ = ?/'(, v). Hallar las derivadas parciales de primer y segundo!
orden de las funciones inversas u = u(x, y), v - v(x, y).
#,1 Punrliintii ImplfiifAN i*i
dx du 1 dv, dy f ^ du I dv, (o
Ou dv ihi dv
b| i iiii! determinamos las diferenciales de las funciones inversas
dtp_ d<p_
du dv = dx -
I\dv dv J r du du
0 cth + d v + 2t 4- 2 ^ du d-u + dv ,
du dv du 2
d2j;
0 + 2 - d v + dv
du dv <?2 dv2
y lu liemos las diferenciales de segundo orden de las funciones inversas
Sustituyendo en estas igualdades las expresiones (2) para las diferenciales y agrupando los
ineficientes de dx2f 2 dx dy y dy2 obtenemos
chp artp ^ djp oy \ dip <hp_ d2<p _ dtp d2tp \ dtp dtp
Dx1 P dv du2 dv du2 ) \ dv
+ 2
dv du dv dv du dv / dv du
+
d<p d2tp dtp d2(p \ /dtp
+ dv dv2 dv dv1) V du
t)u 1 dtp frp _ dtp &P
t)x dy ~ P \ \ dv du2 dv du2 ) dv dv
+
dtp d2tp dtp d2tp dtp dtp dtp dp 02jp\dtp dtp
+ dv du dv dv du dv / V dv du
H"
du dv
+ dv dv2 dv dv2 / du du
)2ja
dy2 P
dtp djtp
dv du2
dtp cfcp\ (&P\2
dv du2 ) V dv ) +
2(0 d2<P
V dv du dv
dtp_ d2tp \dip dtp
dv du dv ) du dv
+
dtp d2ip dtpd2tp\/d<p
+ dv dv2 dv dv2 / \du
etc.
l x f Captulo 7. Cilt'ulo diferencial de las fundones de argumento vectorial
, du d2u
h a l ] a r dx y
< Solucin. Suponiendo que el sislema en cuestin define tres funciones diferenciabe
argumento x: u = u(x), y y(x) y z z(x) derivemos dicho sistema respecto a a;:
du _ df df dy ^ df dz
dx dx dy dx dz dx'
0<2l + l + ?.
dx dy dx dz dx'
Q_dh + dh dy dh dz
dx dy dx dz dx'
A partir de las dos ltimas igualdades hallamos las derivadas
dy = h ^ k
dx Ii' dx ij'
Hnnrfp T, ~
donde - V { y z ) , i7,
2 -- J r3 - _ V { x y y
Empleando (2), a partir de la primera igualdad del sistema (1) obtenemos
+ 2
&2h dz , 2
d2fl Ul^ dh ^y + dh d2z
" dx dz dx dy dz dx dx dy dx2 dz dx2
Haciendo uso de las frmulas (2) escribiremos las ltimas igualdades en una forma
compacta:
Off y
Oy dx2-
% d> z
tz dx'
I / h
l V 1 tx
t
' Oy
>
ynz V)
Ohfy.Oh dy I ( t t rjM2,
dy dx2 + dz dx2 i~ V dx '
1 2 Oy ' ' dz)
un dos ltimas igualdades nos proporcionan las derivadas
*v ( ? l ( L + j 9 + J3A) 2 _ M f a 9 9
= a + I + / v
7
dx2 Vflz V1 dx dy dz) dz V'dx + 2dy + 3dz
d2z 1 (dh (T 9 ^T 9 ^T 9 Y
* .T 9(T d
+J.Th
9
1 + h + 3 9 + h 9
dx2 - V dy V di di Tz ) ~ ai V1 ai di dz
[ ulularemos ahora la suma
tf y V(y, z) \ dx dy dz) +
dy = 5 tt + .jr dv -f
dz = ft^ dtt + h*v dv + h!wdw,
i le donde resulta ta expresin para la diferencial
dx fv fw
v
t i _ _ J _ Z P M
dw ' dy !), .</,,
EL&M - BLiS V t) + ^ + 2J,)
V(uv,w) dz h v hm | Wwv)
r M T^WglV. T ^ P^I / ) r ^ ^ M
V(u,v7wy 1 . V(v,w)' 2 -2>(v, w)' 3 w)"
^^^^^^^^^ ' p M ^^^^^ ' )M I | I I
ir tur i unciones le argumento vectorial
de donde
1 f'x dx + / ; dy }
dz -
BM g'x dx + g'y dy g
V(z,t)
siendo h = b = ^ j , 5M
120.
Comprobar que la funcin m = f(z) (donde z es una funcin implcita de
variables x e y) definida mediante la ecuacin z = as - f yp(z) satisface la frmula
Lagrange d"u <T~1 /, ,,>t^
das" das J '
du^ddz= ' L du _ c/ dz
dy dz dy n dx dz dx
de donde
du . ,du
dy =
, *+i du I
dyM~ dxk\\vW) d x y
t / Oz Ou ( >xk f)?u
~z Oy dx 1 ('f[Z)} dx dy
jfedip .Oz du faz))* (
k(<p(z))
dz <P(z)dx dx
+
kd<p dz du k d
k (<p(z))
dz dx dx + ^ ^ dx
. / , ^.kdip dz du , / , d 2u dip dz du\
f z Tx Tx + DL d~x+ te)
k dtp dz 1 du fc+i d ti d f/ f Ou \
dz dx ) dx + {m) tetPW) te/-
dx2
A iMt lir de esta igualdad y de (4) se deduce inmediatamente (3),
, dz
ilr donde
dz = . i, da: +
ata?*; + 2 / ^ ) +. yP ) 2
ajfj + yfj ^ 0,
luego
2 Tn?
dz y{zF[ - X F{)
2 dz x(zFl - y2F)
dx x(xF{ + yF{) t\ dy y(xF{ + yF{)
Multiplicando la primera igualdad por xf la segunda por y y sumndolas, nos convencemos
de que
dz , dz y{zF[-x2F[) + x(zF[-y1F!l)
Xdx+Vdi xF{ + yF!
xF[(z - xy) + yF(z - xy)
z - xy,
xF[ + yF
< Solucin. Diferenciando la primera igualdad del sistema obtenemos cos or dx +sen m
(a; sen a + y cos a / ' ( ) ) da + 0. Utilizando la segunda igualdad del sil
vemos que el coeficiente de da es igual a cero. Por eso, dz -z cos a dx z sen i
luego
dz dz
= ~z cos a , 77 = z sen a ,
dx dy
As
a s l ues
Pues'
dx
dv - x z-f(a) = xyx~v ^
H Ejercicios
87. x2 + 2xy + y2 - 4a; + 2y - 2 = 0. Hallar y'" para x - !, y = 1. 88. x + y = ex~y. Hallar y
89. (x2 + y2- bx)1 = a2(x2 + y2). Hallar y' para x = 0, y = 0.
90. ar1 4- if - 3xy - 0. Hallar >j para x = 0, y ~ 0.
91. Para el sistema x2 - y2 + z2 = 1, y2 - 2x + z ~ 0, hallar y1 y z" para x 1, y = 1 y z = 1,
92. Para el sistema x3 + y3 + z3 = a 3 , x2 + y2 + z2~b2, hallar y' y z'.
93. Para el sistema x2 + y2 z2 = 0, x2 + 2ij2 + 3z2 = 1, hallar y <2, donde a; es una variab
independiente.
94. Para el sistema x2 + y2 = 2z 2 , 2 + 2y2 + z2 - 4, hallar jg y en el punto (1, - 1 , 1 ) (z i
una variable independiente).
95. Para el sistema x + y + z = a, x3 + y3 + z3 = 3xyz, hallar las derivadas de las funciones y y ;
96. Para el sistema x + y+z 0, a:3 + t/3 - s 3 = 10, hallar las derivadas de primer y segund
orden de las funciones y y z en el punto (f, 1, - 2 ) .
97. x2 +y2 + z2 = 2z. Hallar 0 . 98. x3 + y3 + z3 - 3z = 0. Hallar .
99. x cos y + y cos z + zco s x a. Hallar f | y f j -
100. xy + xz + yz = 1. Hallar dz y d2z. 101. x3 + z3 - 3axz = y 3 . Hallar d2^ en el punto (a, a, 0)
102. Para la funcin z definida en funcin de x c y mediante la ecuacin y = xp(z) + ip{z) halla:
sus derivadas parciales de segundo orden.
M ( amiim fip rNi*ft 9 p r
10*
' " thj
Comprobar que para y x<p(z) ) r)(z) se cumple ln ecuacin
ifz D*z_ 02 z \ 2
= 0.
dx2 dy2 dx dy/
jp, jr'1 f y4 - 4axy. Hallar y' e y". 106. +1/ 5 - 5zy = 0. Hallar y' e y".
jH7. ,u-ctg fX = ln yjx2 + y1. Hallar y", 108. x3 + y3 = x + y. Hallar y' para a: = 1, y = 1.
+ 2y3 - 3xy = 0. Hallar y' para x = 1, y -
I0. Iri el sistema - y3 + = 1, 2/ - 2ar + * = 0, hallar y' y para a? = 1, y ~ 1, 2? = 1.
|||t ^ + / + = a5t ^ + y4 + z4 = b4 Hallar y' y x'm
9
ir;. + x 3 + y3 - 3z = a. Hallar f y 113, z3 + 3z + 3y2 - 3(a: + y 4 = 0, Hallar iir. (t}f4
III f f Ix + y + z^S, t2 + x3 + y4 + z4 Hallar |f, ff, f , para - cc - y = z ^ [.
IN. t+Ax + y + z 3, f* + s + y - * - 3 0 . Hallar
4 4 3 & gf p a r a t a
4 , , Hallar *dz* 1X7,. x + y + z = 5z. Hallar
*
5 5 5
4. Cambio de variables
4.1. Cambio de variables en expresiones con derivadas ordinarias
Consideraremos la expresin
V V ( , y, j* * 0)
Qz dz
dz dz \
dx' dy'
que contiene las variables independientes x e y, la funcin (x, y) i z(x, y) y sus deriva
parciales. En esta expresin se quiere pasar de la funcin z y las variables independien
e y a una nueva funcin {ti, v) w(u, v) de nuevas variables independientes u y v,
variables u, v y w estn relacionadas con las antiguas x, y y z mediante las frmulas
donde las funciones <p, i> y x son diferenciables un nmero suficiente de veces y
en un cierto dominio.
Para resolver el problema planteado basta expresar los argumentos de la f"
cin F mediante u, v, w, ... Con este fin escribiremos las diferenciales
las igualdades (2)
' dz dy;
+ dv Vdy dz dy)
=
dy
+. dxdz dz
dy'
del cual obtenemos
dw d , dw d _
dz da dx + dv dx Ox
dx i dtc dji_
du )z " " " dv lz dz
(7)
dw df . dw dtp
dz 'au dy + dv dy dy
dy OtS 9t , &U! dl
dv az + av dz dz
Las derivadas parciales de segundo orden se hallan a partir de las igualdades que
se obtienen diferenciando las derivadas de primer orden.
Si las nuevas variables u, v, w estn relacionadas con las antiguas x, y, z mediante
las ecuaciones
x = f(u, Y W), y = g{u, v, w), z - h(u, v, w),
donde las funciones /, g y h son diferenciables un nmero suficiente de veces, entonces
el procedimiento es el siguiente. Utilizando la invariancia de la forma de la diferencial de
f4 (Emilio i\v Viiilil>Uvt ivv
d x dx
di/ dy + 3
JL ( i v \ 1 d dy1
dx3 j dy \dx2 J
dy
dy
(S) (S
d?y
dar4
1 d
dy
(d?y
dx3
1 d
* dy
d3x dx
dy* dy
+ 3
)
dy * dy * dy J
d*x d^x d2 x dx
I (g) 2 + wdy
dy 3 dy2 dy 15 V dt}
dt
(e-t
V A _
dt)
Sustituyendo en la ecuacin dada x por y las derivadas y' e y" por sus valo
V ^ dt)'
( i i - i b ? i
calculaos obtenemos
y2
dt + 9 = 0.
A
da;
A ?A ,
dx 3 xdt\x2\dt2 dt)) x 3 V dt3 di 2 ' di
De este modo, la ecuacin dada adopta la forma
M
A d2y dy
di 3 ~~ di 2 di ~ b y
A
da;2
1 d
1 dy =
sen i dt
sen i dt )
1 A
sen 2 di 2
\ cosi dy
sen 3 i d i '
As pues, traducida a la nueva variable la ecuacin dada es
A 4- n y - 0.
dt2
i 'I. ('riinhhi to viu liiMr 20
2
1
y* 4 y'thx f ~ y 0. Tnuw & ln ^ ".
ch x- '
Jtolucin. Tenemos
dy 1 dy dy t2 y y 2,d2y , _ _ _ , _ _ jiy
sen ie~t I( sen ti
d
sen t sen i - -f sen eos/
dx ^ dt dt' dx2 dt \ di dt dt
dt
('orno tha? -4-i sen2,' se tiene
- cos t,1 cn
+m2y
y + y Uu
th x 4-
.
ch'x
m 2
sen2
U 0,
dx dx 2 2 )
dy
-i'i11^
dx .i
. dy
dry dt dx d2u du . .
dx ,t 4 - 3 4-2tt,
dx2 dt2 dt
dt
d 2u . _ di
4- (t 4- 3)-rr + 2tt = 0.
d2 di
u
132. (1 4- x2)2y = y. Tmese ar = tg i e y , donde u = u(t)
cos t
4 Solucin. Anlogamente al ejemplo anterior tenemos
' cosf+asenf
dy HRV
1 u cos 14- u sen t,
dx
eos21
202 C apilulo 2. Clculo diferencial de las funcionen de argumento vectorial
)~
- , d
dy du d y dt
dx
,d_u du du
dx i 'lt dx2 ~ dt2 1 di2
dt
A! \dx2 J ?.d2u
dx + 31 2
dx3 dt
dt
De este modo, la ecuacin dada adopta la forma
-,d3u . ,,4 . d2u , du
x'"{t) 3 fx"(t)
3 7 . Demostrar que el schwartziano S (x(t)) = no cambia su valor
x"(t) 2 \xf(t)
_ ax(t) 4- b
firl caso de una transformacin homogrfica y , ad - be ^ 0,
cx{t) 4- d
flolucin. Tenemos
x n x tt 2cx '2
y = (ad - be) y (ad - be) 1
(ex + d)2> (car 4- d) (ex 4- dj
m
/ tti t .Jt cV3 \
y (ad - be)
(ex + d)2 (ex 4- df + (ca -f df ) '
tlr donde
m tt ttt
y 3 y x 6cx" 6 <?x'2
nm)
y' 2 V y' xt ex + d
+ (car -i- d)2
tt
3 ( x 2cxr xm 6ex" 6<?x2
Xt
~ R
t S(x(t)).
2 V ar 4- (ex 4- d)2 X 2 \ xJ
lHcribir las ecuaciones siguientes en coordenadas polares r y <p tomando x = r cos ip,
y ^ r sen (p:
dy _ X r y
138.
dx x y
Solucin* Empleando las frmulas (3) del p.4.1 hallamos
dr
dy ^sen^H-rcosy?
dx o)
cos <p- rsen<p ?
luego
dr
sentp + r cos<p ^ Cosy> + sen<p
dr cos ip - r sen <p eos <p - sen ip
dtp
dr
As pues, en coordenadas polares tenemos ^ r.
un i ipiiiiio /.. i altillo diferencial de las ('iinelniien tlr argumento vectorial
{
\
r sen tp + r cos tp
r cos ip, 1 r sen
r cos tp r sen ip ) 2
2r sen tp cos tp
/.
1+
/ r sen ip + r cos tp
-; 1
\ \ r cos tp - r sen tp )
de donde r'2 = i sen
^ 2V
tp
.
(
del que hallamos
dr dx , dy dtp - I dy
sen tp + cos tp ] .
~ r \ dt
Teniendo en cuenta que = r sen tp + kr3 cos tp, _ r cos p sen ^ determinamol
^ = fcr3, ^ = 1.
H < auddn Ir v.u Libliv 21 >?
) d' x
Transformar la ex p enlo n tu r. O y t , i ni induciendo las nuevas funciones
di dr
f - \ f x 2 + y , <p arctg .
2
t/
drj dy d dr}'
+
8Z dz
0. De este modo, resolviendo la ecuacin dz 0 determinamos
_ _ r j
de donde - ihj A
A G M M
dz dz
145. y - x 0. Tmese x, i) x2 + y2.
dx dy
dz
Solucin* Calculando las derivadas parciales = ~ -f 0z
- 2x, dy dr)
2y hallamos
i)z dz dz 0. As pues, z = <p(j]) o z ~ ip(x + y ), donde ip es una funcin
'hix xdy y di
diferenciable arbitraria.
dz dz
146. X + y/l + y2 xy. Tmese u = ln x, v ln(y -f + y2).
dx dy
4 Solucin. Segn la regla de diferenciacin de funciones compuestas tenemos
dz dz du dz dv dz i dz dz du dz dv dz i
~ R xf-Q
dx du dx dv dx du x' dy du dy dv dy dv + y21
Utilizando estas igualdades, las condiciones de partida y el hecho de que x = eu, y - sh v
obtenemos ~ + = eu sh v.
y
147. (a H- - (x - = 0. Tmese u = ln ^/x2~+ y2, v arctg
dx V x
4 Solucin. Anlogamente al ejemplo anterior tenemos
dz X dz y dz dz y Bz x dz
dx x2 -b y2 du x2 -b y2 dv' dy x2 + y2 du x2 -f y2 dv
dz
Sustituyendo estas expresiones en la ecuacin inicial obtenemos p
du - dv
o.
ZU(i Captulo 2. Clculo diferencial de la funciimcn .it^uim-nlo vectorial
dz _ dz du dz dv y dz X+ z
>x dx dv dx x2 du ' \
+ + y2 z2 5a; / dv
az
dz = dzdu + dzdvz=ldz +
y + z ax . dz \ dz
cty % dv dy x du l \fxr + y2 + z2 + 9y
"5TJ dv
oT'
de donde
JL S x 1 te , j _ dz
dz '-x1 du _ v-z dv dz te v~~z 0
dx Sz ' dyy i ^
v-z Ov
1 v-z dv
As pues, la ecuacin inicial adopta la forma
x2 + y2+v2 dz . . dz
= v o bien -
v~ z dv dv
dz . dz
149. x '~~ Tmese u = 2x - z2, v - .
dx dy ~~ z z
< Solucin. Segn la regla de diferenciacin de funciones compuestas tenemos
<? ~ 2 Ov
Ou+ z Ov Z'
ti consiguiente,
/h
TIUn I U I U />N < y du 4-
A
( 2 l t/ 2 )* U2 + V
m
,
dz
1<. Transformar la ecuacin (x z) Z 0, tomando x como funcin de las
dx dy
!rtiml>Ies independientes y, z,
loluctn. Escribiremos la igualdad (5) del p.4.2 tomando en sta 11 z,v = y, w x
^ilta
- dx (dz , -dz dx A
dx I dx + dy 1 + dyr
dz \dx dy dy
Comparando los coeficientes de dx y dy obtenemos el sistema
dx dz dx dz dx
1 0
dz dx' dz dy dy'
ilrl i|ue hallamos
dx
JL_ dz
dz
& dx
dx dy
dz dz
transformada es de la forma
dx
x V dy dx X
dx dx 0 o bien 0.
dz dz dy y
dz dz
1 5 2 . Transformar la ecuacin (y - z)~ -f {y + z) 0 considerando x como funcin
dx dy
ilr las variables independientes u y - z, v = y +
Kolucin. Tomando en la igualdad (5) del p.4.2 w xf u~y z, v y-Yz tenemos
dx dz dz , \ dx dz dz
dx
du
(dy-
dx
dx + dx dx
3y
dy\
dv Du dv " du
.
{y -
.dz
z)
dx + (y
,, ,
+ A
.dz
dy dx
dv
u
du
dx | dx
du
dx V Dx dx
dv
dv
du
0.
dx^-^(zdx+xdx+4dy) + ^(z
As pues, para la determinacin de y ^ tenemos el sistema
du ' xd dx+ylhd^' V
de donde
dx x~ + W^E
Por consiguiente,
x ir i
4 dx , >a; \ , _
(Sx , lV * \Ud + Vdv) * *
du _ du _ du du du _ du du _ du
dx ~ di dr " dC dy di}' dz ~
Por consiguiente, f + g + g s | = 0 .
dz = JU2x ~ g +1 = a , g u L
0 -I ' % -I
z " z
_ dw yz dw , _ dw , xz dw , ,
2xyzJu + 2xyzd + f d v ~ x z = {y-z)z>
w w
D* y-
Hhl V
p .i
I 5 I
dx Oy
Ow
tli ird i luyndolas en la ecuacin inicial obtenemos = 0.
dz dz
157. (Xy + z)^ + {l-y2) x + yz. Tmese u = yz x, v = xz y, w xy
dx dy
Solucin. Utilizando la misma frmula que en el ejemplo anterior hallamos
dw , dw dw dw
dz dz X
du du dv
dw i
dx dy
du dv du v + fr + i
lotjue junto con la ecuacin inicial nos proporciona
(xy + z)( f)w dw dw dw
du dv
x + yz.
+ x
dv * +^ 1
dw
I despus de agrupar los trminos semejantes obtenemos = 0.
dz dz 2 Oz Oz rii r* ?// w w
158. X + y z . Tmese x = ue , y = ve, z we
dx dy dx dy
dw dw
Solucin. Para la determinacin de y J j en funcin de ^ y de ~ hagamos uso del
sistema (9) del p.4.2
Dz dw , dz dw M , .dw dz dw , dz dw
1 + ~V (1 -| w) u h 1+ v
Ox du dy du du' dx dv dy dv
de donde resulta
dw
, dv
dx 0W
1+ < S + + K 5
As pues, en las nuevas variables u , v w la ecuacin inicial tiene la forma siguiente:
Las derivadas y x , '^ y jj-j se hallan a partir de los sistemas obtenidos al deriva
igualdades x r cos tp, y ~r sen tp respecto a x e y
- OV dtp
<' V dr
"I dtp
VHS
1 = cos tp- r sen , 0 = cos rsenw^--,
ox 'Ox' 'dy 1dy5
dr dtp 1 dr dtp
0-sen tpreos ip~-, 1-sen tp+r cos tp~-,
dx dx dy dy
luego
dr dtp sen tp dr dtp cos tp
eos tp,
dx dy ri dy r
Escribiremos las igualdades (1) en la forma
du du du sen tp du du du cos tp
d i = frC0Sip- dy Ify = dp
De este modo,
a) w = r eos ^ ( sen y, + g _ r sen v ( cos v - % ) = g;
fJU
Ift'L Kosolvcr Ja mmcin rj n[[ ^ medanle la introduccin de las nuevas variables
/ x
at.
|r| rendientes x til, t/ X
Unin. Tenemos
du du di , du Orj Ou Ou
dx dx df] dx di di}
dzu d {du\di d fdu\ dr} d2u d2u dy
dx2 di\dx) dx drj \dxJ dx di di drj ' dt)2 >
du _ du di du dr\_ _ du , du
a 4- a
dt " di dt dV dt ~ ~ &i dr}'
02u ln2_0y_ 2 d u
2
a Ia . _h a
dt2 ~ o\dt]) dt di] vdt) dt di2 di di7 dr2 *
162 2 u 2z - + Ox + dz 0z 0. Tmese u x + 2y + 2, v x ~ y - 1.
dx2 dxdy dy2 dy
BolLj'n. Segn la regla de diferenciacin de funciones compuestas hallamos
Oz dz du dz dv dz dz
dx du dx dv dx du dv'
d2 z d /dz\du d /dz\ dv d 2z d2z
+ ddvz '
2
semejantes obtenemos + = 0.
dz dz
m . d + + + + x --- 4- y 0. Tmese u = ln(x 4- y/l 4- x2 ),
Ox2 Oy- dx dy
v ln(y -f \f\ 4-y 2 ) .
i
llrz _ 0 (ijz}']^ + JL
dx2 Ou \ Ox ) dx du dx
dz _ dz dv _ dz
dy ~ dv dy' dv +y2'
d2z d (dz\dvdv
JL dz J_d /(
dz \
1 \\ d2z 1 dz y
=
dy2 - dv\dy)
dvKdy/dy dy dv dy Va/1
V JlTy1) dv2l + y2 dv
dz _ dz ^ t l 2 - dz x* D'~z a;2 dz 2x
+ 2B + = 0
dx2 dx dy dy2
df, OT
Hallar la forma general de las funciones que satisfagan la ecuacin (1).
-< Solucin. Calculando las derivadas parciales
cfz
Demostrar que la ecuacin de Laplace Az - 0 permanece invariable
dx2 dy2
til rectuar cualquier cambio de variables regular x = v) q u e satisface las
v), y
Fundiciones
di?
dip __ thp dip _ (O
du*
du " ~dv' "
Nolucin. Derivando 2 como una funcin compuesta y utilizando las condiciones (1) ol>-
(memos
<9 dip dz dz dip dz d<p
du dx du dy dv1 dv dx dv dy du
Anlogamente hallamos
d2z ^ d2z fdip\2 d2z dip dip d2z fd<p\2 dz d2<p dz d2<p
2
du2 ~ dx2\du) dx dy du dv dy2 \dv) dx du1 dy du dv'
rd<p\2 . d2z d<p dip
d2z ron v d%<p
dx dv2
. d z
dy du dv'
in mando las dos ltimas igualdades obtenemos
d2z ^ d2z ( ? v \ 2 + ( ftL\ 2 d2z | d2z d ip d2ip dz
+ "H 1
du2 dv2 v du / \dv) dx2 dy2 du2 dv 7 dx'
1 Privando luego la primera de las igualdades (1) respecto a u y la segunda respecto a v
d<p di> d2<p dtp
du2 dv du' dv2 du dv
nos cercioramos de que
d2ip d2ip
0. (3)
du1 ' dv2
finalmente, a partir del hecho de que el cambio de variables es regular, de las igualdades {1)
resulta df
du dv da dv dipy
V{u, v) dip d d<> d<p du)
+
du dv dv du
d 2z
As pues, la igualdad (2) nos proporciona dv2 0.
Solucin- a) Tenemos
du _ du dr du x d2u _ d2u x2 du r2 xz
dx dr dx dr r1 dx2 dr1 r2 dr
214 Captulo 2. Clculo diferencial de las funcione de intmenlo vectorial
rf~w , 1 fn
Anlogamente hallamos 0 = + ~ Por consiguiente, Au . dr' + r </r '
b) Procediendo de igual modo obtenemos
P(An) d3U X X du x^
d 2U
dx dr3 r
dr2 r dr r 3 '
d2(Au) 3 1 d2u r2 - 3x2 _ du r2 - 3x2
T
dr74 - V + T
dr3T - + dr2 A ,lr ' ,.5 '
dx1
d2( Au) <fu fu 1 <fu r 2 - 3 y2 du r2 - 3y1
dy2 dr 4 dr r
3 dr2 r' dr r5
* (du\" , (du\2 ,
V
i
\dzJ '
A
A2U=dx
d2u ,
+ W
, i2i
+ d
en coordenadas esfricas tomando x r sen 9 cos tp, y-r sen 9 sen <p, z = r cos 9.
Solucin. Representemos la transformacin dada como una composicin de dos trans
mariones:
x = R cos tp, y R sen tp, z z,
R = r sen 6, tp = tp, z r cos 0.
Realizando el cambio (1) tenemos (v. ej. 159, c))
Por consiguiente, Ai = @ ) 2 + ( ) 2 + ( g ) 2 .
Aplicando la transformacin (2) (v. ej. 159, c)) obtenemos
(du\2 fdu\2 1 fdu\2 fdu\2 J_(du\_2 = i (duy
\6RJ \dz) r2\do) \dr) ' R2\dtp)
d<p ) r2 sen2 6* \dtpJ
En definitiva, hallamos
i / du\ 2
A'll :
drJ
+ r \de) 2 + r2sen20\0ipJ
De manera anloga, efectuando el cambio (1) obtenemos (v. ej. 160, a})
+ 1 ^ + 1 , 1 du con0 Ou 1 02u
A dr2 r dr r1 d(P r Dr r' seo 0 OO r2 sen20 0<p2
du
+ sen1 0 d<p
du
1 1 d 2
dr
r 2^
dr/
W sen0 00
sen#
dO 2
dz\2
1 6 9 . Escribir la ecuacin z m + p2n P ? ^ ) trminos de la nueva
\dx2 dy ) V dx) dy/
Juncin w(z) z2.
Hn lucin. Tenemos
dw dz_ dw dz
2z 2z
dx dx" dy dy'
d 2w
dx2
2
\dx )
/ dz \2 . . d2z
+ 2z
dx2 '
d 2w
dy
le donde resulta
d i dw dz 1 dw
dx 2z dx" dy 2z dy'
d2z 1 d2w i / dw;v2 d 2z i d2w 1 /dw\2
2 dx2
?
dx2 4w\dx) dy 2 dy 4w\dy )
As pues, traducida a las nuevas variables la ecuacin dada es de la forma
(d2w , d2w\ _
dy2 / V dx )
,
\dy) '
2 x
I/ U. . Tmese u , v ~ x, w = zx y.
% a; y
4 Solucin. Aplicando la segunda de las frmulas (7) del p.4.2 obtenemos
dz du\ y2 ) ^ 1
dy x y2 du x
Calculando la derivada parcial de segundo orden
d 2z 1 d2w du ^ 2 dw x_ d2w ^2 dw
Oy2 y2 du2 dy y3 du y4 du2 y3 du
d 2w
vemos que la ecuacin dada adopta la forma ^ 0.
dx 2 du2 x dudv x dv
3 2 du'
d2z _ 02ui (y \ d2w y d2w dw
dxdy~Xdu2 V / dudv x2 lv2 dv'
- + 2 2w + 1
dy2 du2 du dv x dv2'
AI sustituir en la ecuacin inicial las derivadas de segundo orden por sus valof
obtenidos llegamos a la ecuacin = 0.
luego
d2z __ d2w d2w d2w 02z _ d zw d2w
dx2~ du2 dudv dv2' dx dy ~~ du2 + dv2 + '
de donde obtenemos - | = 0.
dw i , dw i ^ .
= -ILULUj, - l e y(2l 4 )
dx -e> 2 \du dv)'
d2z dp du dp dv J L / E dw (dw - 1 +
Ox dy du dy dv dy A3 \ du2 dv \ dv
d2w dw dw
+ dud wdv
2 dw dw
--1 +- 7
V du dv dv2 du V du
fz dq du j dq dv 1 / 02w dw
oy2 du dy dv dy A3 \ dv1 V du
d w dw (dw d2w dw
2 -1 + - 1
dudv du V dv du2 V dv
d2w
A partir de las igualdades (1), (2) y de la ecuacin de partida tenemos ^ ^ 0,
= i / i U _ J l
dz y^j dx (|e)3'
tfz Ox a*x dx
dz1 dy dz By dz
0x\3 :
(f)
. (&L\2 _ fx 1 4_ (!>x\2
dy1 \dz) dz
Oz dy
Oy dz i)y Oz1 \ du )
dy- ' (dx\3
\dz)
Vemos, pues, que
1 7 6 . Aplicar a la ecuacin
= dX
w
dx2 rx' dx dy I~l ' dy2 JM'
Utilizando las igualdades (1) y (4) escribiremos la ecuacin transformada en la forma
0 i ~ 2 B ( X > y) dx z
dY + =
Ejercicios
128. Transformar la ecuacin y" - ast/ 3 + eyT/3 = 0 tomando y como nueva variable independiente.
129. Transformar la ecuacin y y 3y tomando la variable independiente x como funcin de /.
130. Tomar y como nueva variable independiente y transformar la ecuacin
'2 IV - n / LW WW "3 n . i r
y y 10yy y =0.
131. Hacer x = en la ecuacin x2y" + 3xy' 4- y = 0.
132. Transformar la ecuacin x3y,ft r 2x 2 y" - xy -f y = 0 tomando t ~ Insr.
133. Hacer t - \n(x 4- a) en la ecuacin (x + a ) V " + 3(ar + a ) 2 / + (a? + + by ~ 0.
134. Hacer x = tg en la ecuacin (1 4- x ) y" + 2a(1 +
2 2 + = 0.
135. Demostrar que la ecuacin
d2y ^e2x e~2x dy 4m2y
dx2 + e2x + e - 2 * dx + (e2r-fej21)2
se reduce a la forma y" + 4m 2 y = 0 al efectuar al cambio de variable # =- i ln tg 2f.
136. Transformar la ecuacin
2.2 n . 2^ / . 2a?Jf
(1 - x ) y" - 2x(l - x2)y' + = 0
1 a?
tomando # = 1
Pasar a las coordenadas polares r, <p mediante las frmulas x = r cos y t sen y?:
i "jo j+yy'
tomando = ^ P o r n u e v o argumento.
140. Transformar la ecuacin n / ^ 1
dn f A\i \ du
5. Frmula de Taylor
5.1. Frmula de Taylor
Supongamos que una funcin x t-+ /(x) ; x E S(x0,6), x = (x1, x2, -.., xrn)
x0 (x, x, , x','), es n + I veces diferenciable en cierto entorno ,S(x0, ). En este ca((
para todos los puntos pertenecientes a dicho entorno se verifica la frmula '
donde t
0 < 6 < 1.
5.2. Serie de Taylor
Sea x i> /(x), x 5(x 0 , S), una funcin infinitamente diferenciable y supongamos
lim (x) = 0, entonces dicha funcin admite la representacin en forma de serie do
noo
potencias
que se denomina serie e Taylor de la funcin / en el entorno 5(x 0 , ). Los casos particulares
de las frmulas (1) del p.5.1 y (1) del p.5.2 para xo = 0, 0 = ( 0 , 0 , . . . , 0) se denominan.
frmulas de Maclaurin y serie de Maclaurin, respectivamente.
177.
Desarrollar la funcin f(x, y) = 2x - xy y - 6.x - 3y + 5 en serie de Taylor en
un entorno del punto (1, - 2 ) .
< Solucin. Dicha funcin tiene derivadas parciales continuas de cualquier orden. Debido
a que todas las derivadas parciales de orden superior a dos son iguales a cero, el trmino
residual 11,, Vw > 2 se anula y la frmula de Taylor adopta la forma siguiente:
'v Ittrmiilrt dt Taylor /_/. i
+1 f n i,
fte2 I)'" I 2 / ' ^ 2 ) ( x - 1 ) ( i , + 2) + L
2 y 2
11aliamos las derivadas parciales
P / ( s , g) 4x y 6, y) - a: - 2;/ - 3, 4
dx -.
dy
2.
dx dy
= -1, % 2
i f ^ / k - 1 ) < - l f + 2 ^ 7 ( 1 , - l ) ( - l ) ( p + l) + fl2/(l, - 1 )
2! V dx2 dxdy (ff+ir +
H
+
0X2 %
180.
En el desarrollo de la funcin f{x, y) xy en un entorno del punto (1,1) por
frmula de Taylor escribir los trminos de hasta segundo orden inclusive.
< Solucin. Primeramente, hallaremos las derivadas de hasta tercer orden inclusive
/*(> y) = yxy~\ fy(x, y) = xy]n x;
f'Mx, y) = y(y - 1 V " 2 , f"y(x,y) = (]l + ybir)e-\ fy2(x, y) xy ln2 x,
/'<*, y) - y(y - l)(y - 2)xy-\ y) - (2y - 1 + 2/(2, - 1) ln a:)3'-2,
y) - (y ln a,' + 2 ln x)xv~\ /'(, y) = xy ln J x.
Calcularemos los valores de la funcin y de sus derivadas de rdenes primero y segundo
en el punto (1,1): /(1,1) = 1, f'x( 1,1) = 1, /( 1,1) = 0 , / ( l , l ) = 0, /^{l, 1) = 1,
/," (1,1) = 0, y los de las diferenciales de rdenes primero y segundo en dicho punto
?/In x + 21nx 2 3
+ 3- dx dy + ln x dy3^j .
x
<4 Solucin. Hallaremos las diferenciales de la funcin f de hasta cuarto orden inclusive
y) = - j | n - X 2 - y2r7/2{-2x dx - 2y dy)A+
lomando x y = 0, dx = x, dy = y obtenemos
/ ( 0 , 0 ) + df(0,0) + ~ d 2 / ( 0 , 0 ) + i d3f(0,0) +
1 8 2 . Para las funciones que citamos a continuacin hallar los desarrollos aproximados
cos x 1 "1" x
despreciando los trminos de rdenes superiores ai segundo: a) -; b) arctg - x -\- y '
a) Haciendo uso de las frmulas
x2 y2 z2 1
cosa; ft; 1 , cos/Rsl-y, coszrI-, cos(a; + y + z) & 1 - -(x + y + f
184.
Desarrollar la funcin F(x, y) = (/{as + h, y) - f(x, y + h) + f(x - h, y) ,
f(x, y h)) f(x, y) respecto a las potencias de h con un error de h4.
Solucin. Segn la frmula de Maclaurin tenemos
+ + + + o ( h ' ) + f - h f a + f / ;- +
donde los valores de la funcin / y de sus derivadas f{n\ n 1,4, se calculan en el punto
(x, y). Al agrupar los trminos semejantes obtenemos
185.
Desarrollar la funcin
A y ) = f(x + h,y + k)- f(x + h, y) - /{ar, y + k) + f(x, y)
respecto a las potencias de h y k.
4 Solucin. Primeramente, escribiremos el desarrollo de la funcin (h, k) -* f(x + h,y + k)
es serie de Maclaurin
i'v I'iUihiiLwIi* T.tylor 225
9 , . 3 \n
V dx d y/
dv)
,
i
m0
ml{n
Ti!
-t ml(n - m)!
m)l
* m * n-m m
dx "/(*,dy y)
~ n m
+ 2^ w r + K dr )'
=3 ^
1 8 6 . Desarrollar la funcin
2 7T
F(p) = ~ J f{x + p eos tp, y + p sen y?) dtp
o
en serie de potencias respecto a p asumiendo que la funcin / es diferenciabe cualquier
nmero de veces y puede ser desarrollada en serie de potencias respecto a p.
< Solucin, Desarrollemos la funcin (p1 (p) -+ f(x + p eos <p y -f p sen <p) en serie de
Macla urin
D O i. _ ^ i
E P (
-i *
0 0
^
\ k
22b Captulo 2. Clculo diferencial de las funcionen de arrunenlo vectorial
Asumiendo que dicha serie de potencias puede ser integrada trmino a trmino obtenui
el desarrollo de la funcin p F(p) respecto a las potencias do p
2v
F{p) = f(x, y) + J 2 k] p / (cos +sen f(x> y) dv-
=1 Q
Como
w-^+ty,
* i.I
/^w-w fc=1 j=0
*h,
Estudiemos la integral
2jt
J ( j , k ~ j) = ~ J cosJ <p s c n ^ V f l V .
Si j 2m - 1, entonces eos-7 y sen* J<p = Pj-i(sen y?) d(sen tp), donde P^_i(sen <p)
im polinomio de grado fc 1. Por consiguiente,
2r
7{2m - 1, fc - 2n + 1) = ~ J Pk-i(sen y>) d(sen y?) = 0.
o
De manera anloga, si fe = 2n 1, entonces I(J, 2n 1 j) 0.
Por Jo tanto, la integral (2) es distinta de cero si y slo si k 2n, j 2m
2x
I(2m,2n-2m)= ~ J c o s 2 " > sen 2 "~ 2 "V dtp.
o
La integracin por partes proporciona
I(2m, 2n - 2m) - n
2 m 1
2n -2m + l
-J(2w - 2,2n - 2m + 2),
hallamos
(in 1)1 [(2-u 2vi I)!! (2n - 1)!! _ (2m - l)!!(2n - 2m - 1)1!
I(2m, 2n 2ra) ( 2 m - |) ~ (2n) ~ (2n)!l
Sustituyendo en el desarrollo (1) k por 2n, j por 2rn y utilizando la igualdad (3)
obtenemos en definitiva
oo 2n n
Fio) +
( 2 "> ! (2m)!(2n - 3m)l 8f{x, y)
{l ) J ^ {2rn)'.(2n - 2m)\ 22nnlml(n - m)l dx2m 0y2n 2'"
(2)! rn-0
n=1
oo / n\2n
V I E v n!
Z - / /n2 Z - / iffr _ mV /J
y)
n=l
donde A = + Jj^
= ( _ i r . ( C . y - _
n=l r>=l roG
LJS Caplulo ?.. Clculo diferencial ile las funcione" de argumento vectorial
189. f(x,y)^c*m\y.
< Solucin. Modifiquemos la serie de Maclaurin de la funcin estudiada
00
-
Q O
n=0
= v - V n[x,"yn'm / M L = V V xmy"~m #'7(0, 0)
-1 m\(n - m)! dxm dyn~m n=0
^n=0 ni m=0 ~~ m=0
^ m\{n - m)\ dxm dyn'm
Tomando n m k obtenemos
fc=0 m=0
m<kl dxm 0y*k ' W
En el caso considerado
dm+kf(x,y)
zi
dxmdyk
'
^ z-L dm+k{e
i
x
dxmdyk
senslx.
y) g sen
(+ *f),
de donde
dm+kf(0,0) = fex f (-1)" Si fe = 2n +1,
S6n 2 ~ \ 0 si fe = 2n.
Sustituyendo la ltima expresin en la frmula (1) obtenemos
~ ()n xmv2n+1
^ " ^ E L m.(2n + lV ' W < ' lyl<C - *
n=0 m~0
'lomando x ^ 0, y 0 leiirmm
fl i __ q cn [ S d c m s casos.
de donde
si m = k 2n,
La sustitucin de los valores obtenidos en la frmula (1) del ej. 189 proporciona
0 0 / i \ S 2 S _ . 2 t i
s-0
seni =
0 0
bVr
1 9 3 . Escribir los tres primeros trminos del desarrollo en serie de Maclaurin de la funcin
i
0
_..|,muiiw i-, v .iiimo tmcronrnl tic las funciom-N to ar^tiuicnlu vectorial
d y j
= o - "
oo
00 i V
r " nl(x -~ i1 O
r e^y ~- ^
l)"-" 1 0/(i,
Q > 1)
E
n=0
-L
n!
m=0
m(n-m)! dxmdyn~m
r
m\k\
fc=0 m = 0
d2z Q2z 6 z%
dxdy (3z2 2x)2' dy2 (3z2-2x)21
6. Rxftwmi <1f> un F i l m u m WV -
Ejercicios
147. Desarrollar la funcin f(x, y) x* f xy1 + xy + x y en serie de Taylor en un entorno del
punto (1,1)
Desarrollar las funciones siguientes por la frmula de Maclaurin:
148. f(xy y) = 149, f(ar, y) = a;3 sen y 4 cos(ar + y). 150* /(ar, y) e* 1 "^.
/J(*b) = o, i = (1)
Para una funcin / diferenciabe en el punto xo, la condicin
es necesaria para que dicho punto sea un extremo local. Los puntos donde se verifica la
condicin (1) o (2) se denominan puntos estacionarios, La funcin / puede alcanzar un
extremo local slo en sus puntos estacionarios o en los puntos donde no existen las derivadas
parciales de primer orden. Tales puntos se denominan puntos candidatos a extremo.
,> tapllulo 2. Clculo <lifercnci.il de las funcionen de mgmnenlo vectorial
funcin u alcanza un
< 0, entonces, un
6-6. Extremo condicionado
Supongamos que una funcin / ( x , y ) - f(xi, . . . , rcnr jfi,. - . , 2 / m ) est definida
dominio D C E n + m y las variables x, y se someten, adems, a m condiciones
complementarias (ecuaciones de ligaduras):
Fi(Xj y) 0,
F2(X, y) - 0,
Fm(x, y) = 0 .
V..['mu-.'. v<iiluid iinerciu'iai oo las iiincinm'N u e argumento vectorial
So dice que la funcin / tiene en el punto (x<>, yu) un mximo condicionado (mnir,
cottdicionado), si en el entorno de (x0, y 0 ) se cumple la desigualdad /(x, y) < /(x<j, yg"
(/(x, y) > /(xo, yo)) bajo la condicin de que ios puntos (x, y) y (x0, yo) satisfagan I
ecuaciones de ligaduras (1).
El estudio de lo? extremos condicionados de una funcin sometida a las ecuacin
de ligaduras Fj = 0, j = 1, m, se reduce al estudio del extremo ordinario de la funclv
(funcin de Lagrange)
m
$(x, y) - /(x, y) + 5 3 X 3 F *> y).
j=i
donde Xj, j 1, m son factores constantes (multiplicadores de Lagrange). El carcter de 1
extremos se determina a partir del signo de la diferencial de segundo orden d2<l>(xo, yo)
el punto estacionario (xo, yo), bajo la condicin de que las diferenciales dxj, dx2,..., dxn
diji, dy2,. .., dym estn relacionadas entre s como sigue:
Qp.
53 dXk +
^dFJ
+ 2J "r ddy
,
V> s =
- o,
0, 3 = 1, m.
k=1 *
6.7. Extremo absoluto f
S una funcin /(x) _/(x1; x2,..., xn) es diferenciable en un dominio D C R*
y continua en la adherencia D, dicha funcin alcanza sus valores extremos o bien en
conjunto D, o bien en sus puntos estacionarios, o bien en puntos perteneciente a la frontert
del dominio D.
Para determinar el extremo absoluto de la funcin f en el conjunto D hay qu
comparar los valores mximo y mnimo de la funcin / en los puntos estacionarios de
dominio D con los en la frontera del dominio D.
Hallar los extremos locales de las funciones siguientes:
1 9 6 . z = x* + y4-x2-2xy-~y1.
Solucin. Calcularemos las derivadas parciales: z'x 4x3 2x 2y, z'y - 4y3 - 2x 2y,
Los puntos estacionarios se determinan a partir del sistema
4x3 ~2x-2y = 0, 4y3 -2x-2y = 0
la cual tiene tres soluciones: x\ 0, i/( 0; x2 = 1, jr2 = - 1 ; ar3 1, y 1. Para
comprobar la condicin suficiente para la existencia de extremo local calcularemos las
derivadas de segundo orden au = z", = \2x2 - 2, a2 z"y 2, 22 zfi 12y2 - 2
y analizaremos la expresin
9 7 . z = 2x y xi
elucin. A partir del sistema
4 - B a r - 2x - 0, zy - 4t/ 3 - 4y = 0
nlIamos los puntos estacionarios
[0,0) se tiene un mximo (pues z%{0,0) - - 2 < 0) igual a z^ = 0; en los puntos (1, l),
i (',-1)/ ( - j a l ) ' y (_|i " i ) se tiene un mnimo (pues z"2 ( | , l ) 4 > 0) igual a
/
mrt - _ 2o *
i 01 z = x2y3(-x-y).
Solucin. Resolviendo el sistema
t 2.2
xyJ{ 12 - 3a: - 2y) = 0, z y = af j f (18 - 3;r - 4y) = 0
obtenemos los puntos estacionarios (2,3), (0, y) si oo < y < -foo; (x, 0) si oo < x < -foo.
Para comprobar la verificacin de las condiciones suficientes de extremo local
calcularemos las derivadas
LW
12/ - 6xy3 - 2y\
W
xy 36xy 9 x2y2 Sxy\ (1)
tt
ZY2 36x2y - 6x3y - 12x 2 y 2
uii mximo no estricto y en los puntos (0, y) donde 0 < y < 6, un mnimo no estricto;
los puntos (0,0) y (0,6) la funcin 2 no tiene extremos, ya que para x = 0 el incremt
A .2(0, y) cambia de signo cuando la variable y pasa por los puntos y = 0 e y = 6.
A partir de las igualdades (1) vemos que la diferencial de segundo orden es 1|
a cero en los puntos {a;, 0), oo < x < +oo. Por eso, para llevar a cabo el anlisis;
problema calcularemos el incremento de la funcin en los puntos (x, 0), - o o < a; < +<
199. z = x 3 + y3 - 3xy.
< Solucin. Calculando las derivadas parciales e igualndolas a cero obleemos el sistet)
zx = 3x 2 - 3y = 0, z'y = 3y 2 - 3x = 0,
a partir del cual determinamos los puntos estacionarios (0,0) y (1,1). Busquemos ah<
las derivadas parciales de segundo orden z"2 = 6x, zxy = - 3 , z = 6y y hallen
A(x, y) aua,22 - <hi = 36xy - 9. En el punto (0,0) se tiene A = - 9 < 0, as que en i
punto no hay extremo. En el pimo (1,1) se tiene A = 27 > 0, a\\ > 0, luego en este pul
la funcin alcanza un mnimo igual a i = 1.
200. z = xy+^-+^,x>0,y>0.
x y
< Solucin. A partir del sistema
201. , = j
o z z H - Q
s ' h _ i2 _ y--\1/z
V1 O2 Vf ^ a if>
Para comprobar lan cond< oiicj suft icnlrh ralciilaremos las derivadas de segundo
ftlden
y.
tt
Zxi
3K* n Zy2
tt fr1 W ft- ti 2 /
x- \3/2 7
h - : - 1
{i o2 vA ^ W
tt tt a b
Z z
x Zx2 - f <0.
vT
rr a b // Aab
Z?1 Zx 2 >0,
vT 9
puntos y un mnimo.
T v
Queda por analizar los puntos (re, y) que satisfacen la condicin 1 aj fr '
C alcularemos el incremento de la funcin en dichos puntos
p
(X + h)2 ,y2
(y + fe)
Az(x, y) = (x + h)(y + A;)
a
h2 *\2
(b + k)
Az(0, b) := h(b + k)
a b2
ax + by 3xy(ax + by + c)
z"xy
- +
(x2+y2 + I)3/2 (x2 + y2 + 1)5/2 '
Calculando los valores de las derivadas parciales de segundo orden en el punto estacin
n a b\ b 2 + c2 _ ,,(a b\ a2+c2
+S+i)s/2: ZyI\c'cJ-
ab
c ( + +l)3/2>
G + S + l)
11 a b\
Zxy \c'c) *2
hallamos
b2 + <? a2 + c2 aV
>0,
c2
es decir, en dicho punto la funcin presenta un extremo.
Debido a que en el punto estacionario la derivada de segundo orden z"i es negativi
para c > 0 y positiva para c < 0, entonces en el primer caso la funcin z presenta un mxim
(z, = Va1 + b2 + (?) y en el segundo caso, un mnimo (znin = - Va2 + b2 + c 2 ).
203. yx2+ r-
Solucin. Es fcil cerciorarse de que la funcin dada no tiene puntos estacionarios. Nc
obstante, en el punto (0,0) las derivadas parciales de primer orden no existen, pues
cocientes incrementales
z(Az, 0) - 2(0,0) = \Ax\ z(0, A y) - z{ 0,0) ^ |Ay|
Aa; Ax 1 Ay Ay
no tienen lmites. Por consiguiente, el punto (0,0) es candidato a extremo. Debido a que
el incremento z(x, y) - z(0,0) = - y/x2 + y2 es negativo, deducimos que en este punto la
funcin tiene un mximo igual a = 1.
6. lxlri'ino dv IIMI Itimln a raimiento vectorial 239
obtenemos
1
sen (x - y) 0, sen (x y) =
de donde
x + y^(-l)m+~+m7T, m e Z, x-y^mr, G Z, (1)
o
o bien
Las derivadas de segundo orden son = 4 sen x sen y, zy2 = 4 sen x sen
4 cos a? cos luego
2 2 ^ _ 2 2
A(, t/) = 16 sen x sen y - 16 eos ar eos y = - 1 6 cos(x cos(a; 4- y).
Para calcular los valores de (xy y) en los puntos estacionarios utilizaremos las frmulas (1).
Tenemos
de donde se deduce que para m + n + 1 par A > 0, es decir la funcin tiene extremos; si
m + n 4-1 es impar, entonces no hay extremos. As pues, la funcin tiene extremos si mVf n
es impar, es decir si los nmeros m y n son de paridad diferente. 1
2 0 6 . u = x2 + y2 + z2 + 2x + 4y - 6z.
4 Solucin. A partir del sistema
u'x = 2x + 2 = 0, u'y = 2y + 4 = 0, u'z - 2z - 6 = 0
encontramos un nico punto estacionario x 1, y = 2, z = 3,
Hallamos las derivadas de segundo orden u"xl - 2, v!'j2 = 2, u"2 = 2, u"xy u"X
uyz = 0. Vemos, pues, que
n
Uxy U
u'L u" xy
3 ( 4 > 0. yx Uy2 Uy* 8 > 0,
yx ,11 II
u7.y rl
es decir, la diferencial de segundo orden d2u es, segn el criterio de Sylvester, una forma
cuadrtica definida positiva. Por consiguiente, en el punto (1, - 2 , 3) la funcin tiene un
mnimo (-h,, = -14).
En el punto (24, 144, I) ne llene A 144 > 0, 2 144 > 0, A:i 283 > 0,
luego la funcin tiene un mnimo ()nll1 (^>13).
^ 2
208. U x + - + +
4x y z
~,x>Q,y>Q,z>Q.
i y t y i 2z _ 2
ux 1- 0, u 0, u
4.x1 2x y y
punto 75 xy
75 / U"
axz 75 / 7S M y '
ti _ 6a- = D
Ai < 0, Ai > 0, 3 < 0, donde A\, j42 y son determinantes
forma cuadrtica. Por consiguiente, en este punto la funcin tiene un mximo
u max
Utilizando las igualdades (1) obtendremos la diferencial de segundo orden de la
funcin u en los puntos (0, y, z)
Es fcil ver que los valores de la diferencial de segundo orden pueden tomar cualquier
signo, o sea, sta no es una forma de signo definido respecto a las variables dx, dy y dz.
r\o octo mnrln los nuntos (Q<v*z) no hay extremo.
1
242 Captulo 2. Clculo diferencial de las funciono* df nigutiu-ulo vectorial
i
Calculando la diferencial de segundo orden en los punios (x, 0, z)
210. u = sen a; + sen y + sen z - sen (x + y + z), 0 < x ^ x, 0 ^ y < w, 0 < z < n.
4 Solucin. Tenemos
(f'i'f)' (0''0)'
Veamos si dichos puntos son extremos. Calculando los valores de las derivadas d i f
segundo orden
- s e n x + sen (x + y + z), u"y = sen (a; + y + z),
u!f = - s e n y + sen (x -hy + z), u'y2 = sen (x + y + z),:
u"z - s e n + sen (x + y + z), u"x = sen (x + y + z)
en el punto ( f , f , ) obtenemos u"xi = - 2 , u"y = - 1 , u"zx = - 1 , uy2 = -2, -". - - 1 ,
u"i = - 2 , de donde resulta
<1 u'xy
u..a
uxz
y
Ai = u"x2 <0, A2 -- II >0, A3 uyx Uy2 uyz <0.
II
U zx
..a
uzy '"-z
11 iiijaij . . . ;r(yj x t ) 0,
f
2ujx? 'x;. . . x\\{tp x 2 ) 0,
t
u 3^1X2X3 1 ... x\\((p - x 3 ) 0,
k = 2,71,
WW
u xkx m-i k-l
m
kmx \x2... x* 1.., x 1 ... x{ip Xfc) - kmxxx2 ... x 1 . . . x,
k,m = 1? k 771.
Denotemos mediante x el valor comn de las coordenadas del punto estacionario x = x \
x 2 = . . . = x y mediante aj, los valores de las derivadas u".x. en dicho punto.
= n 2 + n + 2
calculemos el determinante
Ou a12 tti3 Im
21 22 23 2m
Am 31 32 33 3m (4)
m3 mm m2
A partir de las frmulas (2) vemos que la fc-sima fila del determinante (4) tiene un factor
nl+n-2
comn (l)kx 2 . Por lo tanto,
2 2 3 4 4 m
n
1 3 3 4 * ra
1 2 4 4 m
( - D - m t e ^ f l + ^ + i
* 4
A rn (-l) rnlx
m m
1 2 3 5 m
* *
2
1 2 3 4 * r f m +1
244 Capitulo','. Clculo diferencial do lan funcloncN de aiy,iinn nl<> vectorial
de donde resulta inmediatamente que Ax < 0, A2 > 0, A\ < 0, > ( ) , . . . , o sea, ]ft
forma (3) es definida negativa. De este modo, cn el punto estacionario la funcin tiene un
mximo. Calculando el valor correspondiente de la funcin tenemos
mx
= )
\n2+n + 2/
< Solucin. Igualando a cero las derivadas parciales de primer orden obtenemos el sistema |
I
siguiente para determinar los puntos estacionarios m
= fe - 2, n - 1,
1 x
1 2
Kx_ = 2 -
de donde resulta que el punto estacionario es x2 ~ x\, X3 = x3, ...,= x", X\ 2"+* .
Para comprobar la verificacin de las condiciones suficientes de extremo hallemos
las derivadas de segundo orden. Introduciendo la notacin aj = u".x. tenemos
2 1 n - o
an = , 12 = 2' aij = 3 - 3> "i
X\ X\
1 2 1
o-kk-i =
ti Ct T> fejr = 0,
j-\,k-2, j = f c + 2, n, fe = 2 , 7 1 - 1 , (1)
1 4 2
n-1 = - " ,2n-2' 2n1' 0, j = 1,71 - 2.
Xt
d2u = y ] aj dx dxj,
donde los coeficientes vienen dadas mediante las frmulas (1), consideraremos el determi-
nante compuesto de los coeficientes de la forma (2)
1 0 0 o
as,
2 1
xf 0 o
Ajti 1 2 1
0 o
*
2
o 0 0 0
({fllmuu <t<* tinii fiinHrtii ti*1 trjttiiiHMilo vectorial
X
1
IT I o
5f
Am 0
4 1
o j
0 3x, T b
I V
m+1
o o 0 o *
irisril^T
213* (Problema de +X\JHQV). Entre dos nmeros positivos a y & insertar n nmeros
x\ * > x n de modo que el valor de la fraccin u ffiftz HCil
+ (a x^ixx [ [X + b)
mximo.
Solucin. Tomando el logaritmo de la funcin u y denotando v ln u tenemos
1 1 1
VX n 0.
Xn
1 2
De -x1; de la segunda,
X3
i
ltima
X IL
.ft+1
a , de donde
,
determinamos a ( - ) " ' ' , As pues, las coordenadas del punto estacionario M se puede
escribir en forma de una progresin geomtrica X\ = aq, x2 i aqn de razn
. i
_ (v\n+t
segundo
n 1
x\
+ {a +1Xi} + (xi +1
2 x2fy
vXiX
2
D
,
(Si+Z2)2'
WW
0, i = 3,71,
WW 1 WW 1 1
V
- xV { x k ^ + x k f
+1 (xk + xk+1)2'
<lkk
1
1 (q2k-2{i + q)2>
akk =
2
atjt+i =
aV (l+?)2' ft
1
ti = 0, (1)
fc = 2, n - 1,
1 -2
ann-l an bj = 0 , j = 1, n - 2.
V n " 2 (i + <?)2' aV'Hl+)2'
Al igual que en el ejemplo anterior, calculamos los determinantes Am dondf
intervienen los coeficientes de la forma cuadrtica
Teniendo en cuenta que las expresiones para en las igualdades (1) tienen el
factor comn , escribiremos el determinante del modo siguiente:
<
^
2
f o o o
zl o o
1 r F ff4
Am
0 x =T ZS o o *
w M - r <t
1 -2
0 0 o jzm- 2m-l
Til 1 1
0 o o o mq2"1_1
214. x2 + y2 + z2 - 2x +2y - 4z )
Solucin. La funcin F(x, y, z) = x2 + y2 + z2 - 2x + 2y - 4z - 10, (x, y, z) K 3 , por
ser un polinomio, es continua y diferenciabe cualquier nmero de veces. Por consiguiente,
en el entorno de cualquier punto (x0, y0, z0) donde F = 0 y F'z / 0, se verifican todas las
condiciones del teorema 1 del p. 3.3 segn el cual la ecuacin F(x, y,z) 0 define una
funcin implcita (a:, y) >- z(x, y) que en el punto (XQ, y0) adopta un valor igual a z0. Dicha
funcin es diferenciabe cualquier nmero de veces.
lxtwmo tic mu* Ihiiln i\v linimiento vectorial 247
Para determinar Ion punttm <*hUh*o mirlos y los valores correspondientes de la funcin
tenemos el sistema
F = 2x - 2 = t, F* 2y + 2 - 0 , ' E x H / f z 2 - 2a + - 4z - 10 = 0,
de donde hallamos
M a - (1, - 1 ) , zx - - 2 ; M 2 - (1, - 1 ) , z 2 = 6.
y en el punto M 2 para z 6
y z o, un maxmiu.
215. x2 + y2 + z2 - xz - yz + 2x -f 2y + 2z - 2 = 0.
Solucin* A partir del sistema
Frx he 2x - z + 2 - 0, Fy = 2y - z + 2 = 0,
F = x 2 + y2 + 2 2 - - yz + 2x + 2y + 2z - 2 = 0
hallamos los puntos estacionarios y los valores correspondientes de la funcin
Mi = ( - 3 + - 3 + y/6), zx = - 4 + 2V,
M2 - ( - 3 - A - 3 - V), ^ - 4 - 2\/6,
Calculamos las derivadas j = 2z - a? - y 4- 2, F' = 2, j - 2, = 0. Como F[--/0,
determinamos la diferencial de segundo orden en los puntos Mi y M 2
F = x* + y4 + zA - 2a\x 2 + y2 + z2) = 0,
p
248 Captulo 2. (Menlo diferencial de la funcionen de argumento vectorial
i
del que resultan seis puntos estacionarios y seis valores de la (uncin: |
M i = (0,0), z = aV2, M 2 = (0,0), z 2 - W2,
M 3 ,4 = (a, a), z3>4 = a\J\ + V3, M5,6 = (a, o), 25,6 = -a\J1 + V5.
Hallaremos las derivadas
F'z = 4z3 - 4a2z, F' = I2x2 - 4a 2 , F", = 1 2 j f - 4a 2 , = 0.
Debido a que jFJ(M;), i = 1,6, entonces en el entorno de cada uno de dichos puntos la I
ecuacin F = 0 define una funcin implcita (x, y) 1> z(x, y) que en el punto M adopta |
el valor z, i 1,6.
Calcularemos la diferencial de segundo orden d2z en los puntos M,-, i = 1 , 6
.2 / A 4 > dx2 + dy2 j2 .... dx2 + dy2
d z(M]) = r , d z{M2)
V2a ' Va
j2 ,. , -2(dx2 + dy2) ,2 , 2(dx2 | dy1)
d2z( M 3 j 4 ) = d2z(M5,6) = , V-
a\/3 + 3V3 a\/3 + V3
As pues, en el punto Mi la funcin tiene un mnimo local (zm,x en el punto I
M 2 tiene un mximo (zmo = -aV2); en los puntos M34, un mximo (zmK = ayl + V3) I
V en los plintos M , g , un mnimo (z mn = -- a\/ri +~\/3),
I
5
s=l =1
y ei sistema
>1
= ma: 1 + A = 0, i 1, n,
^ ^ x = na,
1=1
del que obtenemos el valor de A = - ma'"~ ] y las coordenadas x = a del punto
M (a, a , . , . , a) candidato a extremo. Hallaremos la diferencial de segundo orden
Ti
d2$ = m(m - 1) XT~2 d'xf y calcularemos su valor en el punto (M, A)
4=1
218. u = xyz si x2 + y2 + z2 3.
Solucin. Anlogamente al ejemplo anterior escribiremos la funcin de Lagrange $
xyz + A(2;2 + y2 + z2 3) y el sistema para determinar A y las coordenadas del punto
candidato a extremo:
K = yz + 2Aa; = 0, = xz + 2A y = 0, = xy + 2\z = 0, x2 + y2 + z2 = 3.
fixlri'ino Ir lilla f om Iii ilc tirgumciiLo vectorial 2.4(>
El sistema nos proporciona ocho punios ci|<h ouarios: M\ ~ (1,1, 1), M -- (1, I, I),
M 3 = ( - 1 , 1 , - 1 ) , M; ( I, l ? l ) |uihi A, ^ y M 5 - ( - 1 , - 1 , - 1 ) , M* ( 1,1,1),
M 7 = ( 1 , - 1 , 1 ) , M (1, I, I) para A2 ).
Determinaremos la diferencial de segundo orden de la funcin de Lagrange
219. u - xmynzp si x + y 4- z = a (x > 0, y > 0, z > 0, m > 0, n > 0, p > 0, a > 0).
4 Solucin. Obviamente, los extremos de las funciones u y v = ln u coinciden. Estudiemos,
pues, el extremo condicionado de la funcin v = Inu = minas 4- n ln y 4- phxz bajo la
condicin x + y 4- 2 = a.
Escribiendo la funcin de Lagrange $ mhxx + nlny + pki z + X(x + y + z - a)
y el sistema
= + A = 0, ^ = - + A = 0, = x + y+ z = a
x y z
determinamos las coordenadas del punto candidato a extremo: x mt, y nt, z = pt,
donde i = . Debido a que la diferencial de segundo orden de la funcin
tonces en el punto (mt, nt, pt) la funcin v (y tambin la funcin u) tiene un mximo
m
"mx ^ijpn^pj^+n+M J * ^
2JiU Captulo 2, Clculo diferencial du las funcionen de argumento vectorial
7 7 2
220. u = x2 + yz + x 2 si ~ + ^ + ^ = 1 (a > 6 > c > 0).
a2 O 2 c2
Solucin. Derivando la funcin de Lagrange $ = x2 + y2 + z2 + A ^ + fr + ^ - 1 )
respecto a todas las variables y aadiendo la ecuacin de ligadura obtenemos el sistema
+ * ; = 2 , + f U 0 t =2z + 0, + + . = 1,
del cual resultan el valor de A y los puntos candidatos a extremo: Ai)2 = c2, Mi,2 =
(0,0 c); A3,4 - ~a2, M 3 , 4 = (o, 0,0); A5(6 = -b2, M 5 , 6 = (0, 6 , 0 ) .
Comprobaremos el cumplimiento de las condiciones suficientes. Hallaremos, pues,
la diferencial de segundo orden d2<$ 2 ( l + ^)dx2 + -) dz2. Entonces,
a partir de las desigualdades
= i + A = 0, <E\, - f 2A = 0, $' 3 = - + 3A = 0,
s v y z
x + 2y + 3z = a,
obtenemos A y las coordenadas del punto estacionario: A = x y z = Debido
a que la diferencial de segundo orden d2,I> = en el punto estacionario
satisface la condicin
2
/a a a a\ 3 6 , , 2 , . 2 , j 2>
V6' 6 ' 6 ' ~~6/ = "a2 + d y
222. 11 xyz si x2 + y2 + z2 = 1, x + y + z = 0.
< Solucin. Igualando a cero las derivadas de la funcin de Lagrange $ xyz + \{x2 -f
y2 + z2 - 1} + fi(x + y + z) respecto a x, y y z obtenemos el sistema
de donde resulta que para A < 0 {o sea, en el punto M 4 ) d <I> < 0, consiguientemente,
en dicho punto la funcin u alcanza un mximo (u mx = Para A > 0 (o sea, en e!
punto Mi) d2$> > 0, por tanto, en este punto la funcin u tiene un mnimo {umn = )-
Anlogamente establecemos que en los puntos M 5 y M 6 la funcin u tiene un
mximo ( w = 77^) y en los puntos M 2 , M 3 / un mnimo ( ^ = - .
x 2 4 y2 ~ 2} y 4 = 2,
hallamos A, i as como las coordenadas del punto estacionario: x y z = 1, A ~ ~ ^,
Multiplicando la primera igualdad del sistema (1) por x, la segunda por y, la tercera por z
4- 4.2L
y sumndolas, obtenemos la igualdad
V z
^ - 2A(r/;2 1/+ z2) + i(x cos a + y cos (3 \- z cos 7) = 0,
+ b2 +
C2
o bien
A
\
,2
~Aa li +ocusen /3p +sen 7f \v +eosr> au +eosV-vjo y ft+eosLUSwI7 =a
. I(sen
\ 2 2 2 2
Denotaremos las races de dicha ecuacin por Aj y Ai. Asumiendo que Ai < X? tenemos
2 2
2 2 6 . tt = x\ + x\ + h X2, S
E l ++ 2 + , . . + 2 = i (a > 0, i = TT).
a\ a?
a2 a
n / n .
< Solucin. Tenemos '!> - x f h X J J ^ - 1 ) . A partir del sistema ^ = 2Xj + A = 0,
j - l , n , resulta
-T, 3 - 1, (1)
^
3=1 JJ
= v^k 1 - * = 0 (k = n )j X3 ^ a>
l
obtenemos X=p () , =
71
Hallemos la diferencial de segundo orden p(p ~ 1) E xk dxt - Calculando
Jk=i
Ti
i=l
A= - - ah xk = (k = 1, n).
i-i <*j
i=i
n
Busquemos la diferencial de segundo orden d2<> = - % Observando que
rtM ~ ( 1 < ft
Z54 Capitulo 2. Clculo diferencial do la funcione* de tuguiuenln vectorial
oiJ
1=1
1
= a l x l + a22 + ' ' " + Km - A)z = 0.
El sistema (1) tiene soluciones no triviales si y slo si A son races de la ecuacin
U ~ ^ 12 ln
21 22 ~ ^ 2n
ni 2 n A
En primer lugar, demostraremos que las races A de la ecuacin (2) son reales.
Conviene utilizad la notacin A para la matriz simtrica {a,y} de la forma cuadrtica u en
cuestin; entonces el sistema (2) se escribe en la forma
Ax = Ax, (3)
donde x = (xi,x2,...,xn). Supongamos que A es complejo, o sea, A = a + ip, donde
i = V1. Debido a que aj son nmeros reales, entonces x u + iv. Por consiguiente, de
la igualdad (3) resulta
Au au - pv, 5
Av [3u + av. (5)
Multiplicando escalarmente ambos miembros de la igualdad (4) por v, los de la igualdad (5)
por u y sustrayendo las expresiones resultantes obtenemos
(Au, v) - (Av, u) = -p((u, u) + (vy >)). (6)
Debido a que (Au, v) (u, A r v) = (u, Av), donde Ar es la matriz transpuesta, a partir
de (6) determinamos p((, u) + (v, v)) 0. Como (u, u) + (v, v) 4- 0/ se tiene P = 0, o sea,
A es un nmero real.
Sean Ai, A 2 [ . . . , An as races de la ecuacin (2). Entonces para cada A, i = l,n,
n
a partir del sistema (1) y la condicin x = 1 obtenemos los puntos candidatos a extremo
=i
w nx*"1 , ny11"1
= 2 A = > = ' + y =
, n /s\n_1 s
2 \2/ ' * =
. / p \p ( q
E
donde a ^ 0, Xi ^ 0, = ^; p > 1, ^ + ^ = 1.
n
bajo la condicin A = ^ donde -4 = const. Escribiremos la funcin de Lagrange
i
y el sistema
n x 1 y n \
Efln41 ' ^
E n - A a ^ o ,
-. 1
aj
2% C a p i t u l o ?. ( M e n l o d i f e r e n c i a l d e l a s f u n c i o n e n d e . i r ) , l m e n l o v e c t o r i a l
\Xni J m
de donde para un m fijo resulta
f a-; \1iL~<
xj xm ( I , 3 = 1, n, j m.
\ am /
Sustituyendo (2) en la ecuacin de ligadura tenemos
" / \ ^T
I I ~r -"-i
\<W
o bien
Q
*
Haciendo uso del hecho de que -p^ = p, - = Jj, a partir de (3) hallamos las coordenadas
del punto candidato a extremo
Aa
xm = ~ , m rl,n.
=i
Para comprobar la verificacin de las condiciones suficientes determinamos la
diferencial de segundo orden de la funcin $
=i 7 v =i x
n
En virtud de las ecuaciones de ligaduras se tiene a,- dXi = 0, luego en el punto
i=i
estacionario se verifica
( \ 2(9-1)
E
. =1
< ' d'X>- ) = Eaidx=>
=i
| Para las funcionen que citamos a continuacin determinar sus valores supremo (sup)
e nfimo (inf) en los dominios indicados.
ux 2x 0, uy = 4y 0, uz ~6z 0
hallamos el punto estacionario Mi (0, 0, 0), perteneciente al conjunto {x2+y2+z2 < 100}.
Escribiendo la funcin de Lagrange $ = x -3- 2y + 3z + A(100 - x - y z2)
2 2 2 2 2
y resolviendo el sistema
x2 + y2 + z1 = 100
encontramos tres puntos candidatos a extremo condicionado: M 2 = (10,0,0), \ == 1;
M 3 = (0,10,0), A2 = 2; M 4 = (0,0,10), A3 = 3. De las igualdades (Mi) = 0, u(M2) - 100,
m(M3) =: 200, U(M4) = 300 resulta que sup u = 300, inf u = 0.
Fg- 1
Construyendo la funcin de Lagrange $ = + ~ + A(Z - o tg a 3 - b tg a2)
y resolviendo el sistema
<&' _ ttsenai _ _n
i 7 7 J
i eos-4 i cos a !
_ ^>sen 2 Aft _ n
V2 COS 2 COS' 2
i = a tg a } + b tg az,
encontramos que en el punto estacionario se verifica la condicin
. sen ai sen 2
i>i v2
d2* = ( + (^ - A W +
\ V\ COS tti COS s 1 V V\ /}
+ ( - j + 2b s ^ - x) ) da2.
\ V2 COS a 2 COSj 2 V V2 )J
Ixlivtno ilo una funcin J e argumento vectorial 259
Ejercicios
Hallar los valores ex t r e m a les de las funciones siguientes:
151. z - x2 4 xy 4 y2 - 3ax - 3fcy. 152. z = x4 4 y4 - 2x2 4 2xy - ly1.
153. z = a?3 4 y3 - 9xy 4- 27 s 0 ^ x ^ at 0 < y < a, a > 3,
154. z x)(a - y)(x -4 y o). 155. z (a cos x + b cos y)2 4 {a sen x + 6 sen y) 2 .
156. u = xyz(4a - x - y - z), 157. u = x2 + y2 + z2 - xy 4 2z 4- x.
158, u = ^ > 0, y > 0, z > 0. 1W. u = ^ + ^ + j , * > 0, y > 0, z > 0. .
160. 6a?2 + 6y 2 4- 6z 2 4 4ar - 8y - 8z 4 5 = 0. 161. 5x2 4 5y 2 4 5z2 - 2xy - 2xz - 2yz - 72 - 0,
162. x*y 3xy2 4 6ar 4- y 2 4 7y 4 z2 3z 14 0. 163. x* 4 y 4 + z 4 - 22(ar2 4 y2 + z 2 ).
Hallar los valores supremo e nfimo de las funciones que citamos a continuacin
sometidas a las ecuaciones de ligaduras indicadas:
164. u - x 4 y ; 4 4?||
- -r-
,
165. u = ar^yV; 2a; 4 3y 4 4z = a.
166. t ar2 4 2y 2 4 3z z ; t2 4 y 2 4 z 2 1, a: 4- 2y 4 3z = 0.
167. u xyz; x 4 y 4 z = 5, zy 4- yz 4 arz = 8.
168. u = x2 4 y2 4 z2; ar 4 my 4 nz = 0, (ar2 4 y2 4- z2)2 = a V 4 b2y2 4- c V .
169. t = 4 4 ff2 4 y 2 4 z 2 - 1, ar + my 4 nz = 0.
170. Demostrar que todo determinante de tercer orden
a b e
u = b\ C|
a2 c2
verifica la desigualdad de Hadamard:
Captulo 1
1. Converge. 2. Converge. 3. Converge. 4. Converge. 5. Converge. 6. Diverge. 7. Con
verge. 8. Converge. 9. Diverge. 10. Converge. 11. Diverge. 12. Converge. 13. Converge,
14. Converge para a > j . 15. Converge para a > 17. Converge para a > 1. 18. Con-
verge para a > 1. 19.'Converge para a < 1. 20. Diverge. 21. Converge. 22. Diverge.
23. Diverge. 24. Diverge. 25. Converge. 31. Converge. 32, Converge para - 1 < q ^ 1,
33. Converge. 34. Converge. 35. Converge. 36. Converge. 37. Converge para cualquier a ;
converge absolutamente para a > 1. 38. Converge condicionalmente para a > 0. 39. Converge
condicionalmente. 40. Converge absolutamente para a > p I 2; converge condicionalmente para
p -\ I < a i. p -f 2. 41. Converge para a > 0; converge condicionalmente para 0 < a ^ 1.
42. Converge condicionalmente. 43. Diverge. 44. Converge condicionalmente. 45. Converge
condicionalmente. 46. Converge condicionalmente 47. Converge condicionalmente. 48. Con-
verge condicionalmente. 49. (e 2 - l)(-/e 1). 50. 51. 52. e - 1 . 53.
54. . 58. a) No uniformemente; b) no uniformemente; c) uniformemente; d) unifonnemente.
59. a) No uniformemente; b) uniformemente. 60. a) No uniformemente; b) uniformemente.
61. En todos los casos converge no uniformemente, 62. a) Unifonnemente; b) no uniforme-
mente. 63. a) Uniformemente; b) uniformemente. 64. a) No uniformemente; b) uniformemente.
65. a) No uniformemente; b) uniformemente. 66. a) No uniformemente; b) uniformemente.
67. No uniformemente, 68. a) Uniformemente; b) no unifonnemente. 69. a) Uniformemente;
b) no uniformemente. 70. No uniformemente. 71. No uniformemente. 72. |x| < 1; no
uniformemente. 73. ] oo, +oc[; no uniformemente. 74. ] oo, +oo[; no uniformemente,
75. ] oo, +oo[; no uniformemente. 76. x > 0; no uniformemente. 78. S, puede. 85. a) S;
b) no; c) s. 86. 87. 1. 88. 0. 87, 1. 89. ln L5. 90. In2. 94. No. 103. 1.
0 X
104.1. 105.0. 106. 00. 107.4. 108. 5. 109. . 110. . 111. E anx2n, a = x
n=l k=1
126. x cos nx. 127. sen nx. 128 e'^coste. 129. \ s e n +
71=1 n~T 00
t ^ s e n n x , |s| < tt. 130. \ - J cosa; + ' eos nx, |ar| < jr. 131. f g ^ J e ^ x
n=2 f n=2 i-=l o
(eos ky+(-l)M) dy. 132. \ f ^ ( c o s kxx-cos kir) dx. 133. 134. (tt2 - ) .
x 1 o
138. _1_lpsi+ln(lO) J dx0. 139. ( I - c o s ar) ln (2sen ) sen ar+cos z , 0 < x < 2ir.
140. (1 - cos ar) ln (2 sen ) + j cos ar - \. 141. - s e n ar+ln{ 1 / 1 + [sen ar|+ ^/jsenarl) sen x, |x| ^ jr.
142. 0,486. 143. ss 0, 486. 144. 1,78.
KCHpUCNtilN
Captulo 2
4. No. 5, No. 6. S. 8. 9. e. 10. xj. II. I. 15, Uniformemente tonlimw.
17
17 ^ =
cos xv y -
cosjt/, p . 18
lo. & - 1
0X x , i,y
>y, {h 2
, 19l'" ^ - - //I tW i Iw'V
, IMr
- i2" 34 & 35 ^ - - A 36 ^ I
37. + + + z + +y+ 38. f
r ^ V = zafV"1 % = (zyYMxy). 39. % - | = x^ln^, =
40- lf = = rfF' lf = K ? 41. d/ = 2 cos2 + ^ + y dy). 42. d/ = .
M-df^^h-V^- M = = 46. d/ = J/X"- d + ar'ln rfy.
11
\
47. d / = 48, d / = (3ar - y) dx -f ( 3 y - x ) dy 49. df - -e~*y(y dx-\x dy)
50. df = (3x2y + y*)dx + (3y2x + x3)dy + 3z2ydz. 57. % - ^ | = fe, 0 =,
_ cq Vpr pt ri q? - -L -zgni-^r' ^ .
62.u'=(2xH+;/z^ + x ^ ) . 63. = (i | - |
65. aabr cos a _ 1 ip seri*' V * a2acr2x sen 2a " 1 0(cos ^ s e n ^ cosfl)*" 1 . 67. T 2 . 72. 0.
73, 0. 87, j T - I . 88. / - 89. y' = 90. y = 0, 3/' - 00.
u
94. ^ = 5, y" = 12. 95. y' = 2' - a ^ 0. 96. y' - -1, - 0, v ,
4 t/ _ 4 _ j2+(2-1)2 _ lzx2y2 __ ^sene-cos7/ /h
5' Z ~ 51 ^ ~ {-I)3 ' (2-!)3 ' fo: .y
;csen cos
^ ysens\
CSX 100, dz - x+y '^ =: y^+Vr t ^ 1 2 ^ 2 c / y^2 )'.
T>n /i^ y -^A-'fiPn2?^ rns 2+sen22x cos f^2+2 cos sen 2j sen 2y dx dy+(seri22z cos 2y
262 Iti-sp tiesta
Respuestas 260