Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matematicas Superiores Calculo Diferencial e Integral - Bugrov - Nikolski PDF
Matematicas Superiores Calculo Diferencial e Integral - Bugrov - Nikolski PDF
Bugrov
S. M. Nikolski
Matemáticas
.
superiores
Cálculo
diferencial
e integral
Editorial
Mir
Moscú
S. C. 6YrPOB, C. AJ. HUl\OJJbCIUHI
~H<l><J>EPEHUHAJlbHOE
Jil HHTErPAJlbHOE
JilCtJHCJlEIDlE
Ya. S. Bugrov
S.M. Nikolski
Matemáticas
.
su penares
Cálculo
diferenciaJ
e integraJ
~
V
Editorial Mir Moscú
Impreso ea lo liRSS
A NUESTROS l.EC1'0RES:
§ 1.1 . .Asignatura
de 1.as matemátkas.
Magnitudes variables
y constantes, conjuntos
Entre todas las c.ienc.ias lns ruatemiiLica!l oc11p11J1 ttn 'lug,nr espe-
cial. Las matemáticas se definen como un a c iencin sobro las formas.
espaciales y relaciont'.~ cuanlitMivas ¡Jel mund o real. Si .;oo toman en
cons idHrnción el csl9do con\umporón<JQ do !ns mnlcrnál.icos y la di-
versidad !In ·1as cstructurns que cons\.ilt1y~n el objete• de ~u est11dio,
las romrns cspacinles y rofacion es -cuantit11l.i»os so 1ln1Je11 e11 Lonll~r.
por ~upueslu, 1tosd~ e l p11nlo de vis ta mtís gem.'J"1t l.
Las mntem1Hicns ofree<?n a otms cioncin.s u n louguajc nmu.érico
y simból ico paro expm;Ar toda uno serie 110 1·eh•cion~s que oxisten
entre los fenómenos do 1~ 1rnlur~lern. 1\fa~. Hules lle rccurril' ttl len·
guaje malem:\ti co, un biólogo. u11 l'ísico o un etonornista hnn cle-
comJlrcnder profuntlanicnte 1:1 escoda de l fouómcno qu<' sn non l iza,
descomponerlo en la~ partes que pueden ser lrnl-0dns rnate111úli·
mente.
Los objetos de estud io''" lns propias uaatom1ilirnssou fos modelos.
lógicos con~lrnidos eon ol iin ele describir los fonórnenos de la n11t1i-
raleza y de In sociedad. L•s mnlemáti r,as invesllgi111 lns rel11ciCt11es.
exi~tentcs entre Jos elemento~ de los morlclo~ moncionndos. Si 1111
mode lo m~temálico rcíl t\ja correctamento In esMcia 1le>I ienómen0>
dado , permite también poner ele manifiesto Jos lazos iuteriores lógi·
cos que parecían otul tos ni comien zo de la invcstignciém, es decir,
las mntemáUces :ron capaces dl' d<'scnbrir , ndemíis, Ja faceta c1tnliLa-
Uva de tal o cual fenúmcno.
Por s~r muy ahst.rncto, un mismo modelo matemático puede des-
cribir los lll:Ís 1liferontes proccso.s. Por cj~mplo, uoa misma ecuación
diferencial describe tanto t•l carácter <le Ja des intogración ro1liactivn,
como h• variación d!o' l~1ll pl!ratur11 ne un c\1erp11 hHmano .
Al eslt111iar los fenómenos de Ja nntnral07.0 nos onconLramos.
• c11do pnso con la v11r.iacir\u !le l ;,~ mngn itndes y cott la clt•ptln<leucía
de una mng11itu1l ele. la. olrn. P or P.st a razón. ol co11topto 110 mng11ilml
variable es funclamenl.nl en el análisis mntomálico.
l'or ma~niiud vartable (o simplomenle vnri111Jle} se cntcndork
aquella que en el proceso do estudio de un fenómeno tulll<pd or a adc1llie-
re p or lo meoo~ dos vnloros d istintos. Una mngnilurl qno NI el
proceso dA In investigación de una cucsr.ión datln ndmit1» 1111 so l<>
valor, lleva el nombre 1)0 constante.
10 Capitulo 1. 1Dtroduccl6n
{A\8)+B•A
§ 1.3. Símbolos
de la lógica matemática
Con el fin de reducir los inscripciones so cmpl~arán en •delante algunos sím ·
b0Jo3 lógicos más shnples. S i pnra nOS-Otros no •• de intcrP~ I• esencia de tal o
cual afirmación, sino sí su rda<'ión c.on las otras afirmaciones. lu prlmera se
designnrá medi11nlc un.u de l:t! letras«. ~.. . .. La inscripción a=> Ji significa~
•de fa afirmac ión a se dcdure la •lirmacióu ~.. Mcdi11ntc el signo«=~ se dcs!g·
nará el hecho de~ que la s {1íirmnciones ~y ~ !Wll equivalentes, es decir, .te o.. se
deduce 1\ y de ll se deduce a.
Ln ínserlpc i(m '!/ .r E A: tt ; ignificn que •p11rn torlo elemento " tó .4 tiene
lugllr lu 9firrUaeión ..., , E:l símbo1o 't/ Ucva ~1 nombre do cuautt/lcador 1t1iil1ersal.
LQ iusc1·ipcír'·n 3 !J E n: Q. sigmfica <1ue ~xisle UD elerucut.o {/ E 8 , para ~1
cual ti<.'nl• lugor lct a fll-mncu'm ~1>. lil shnbolu se;.• dcuominu cu,aoti/lcfldur (t:cis1ta·
tinl.
El simLulo ;¡se <~ut.cndt.\rá ccHnh '•cc11cl6n d1..' Ju afirm;1<'i•)n IX. o. hrovl•men te.
•110 e.u .
t:.o11st.ruytul\os lt• negadóu d~ lit :.•firm;.icióo 'Vx. E .A ; 'J.,
Si dkh:• u(irurnción no tie ne lu.grir, entouccs- lA ce. ticn~ luwir un para ltJdOS
fos :r E ,t . es íletsir 1 ~~istf! un C')t.•ntl'fltO :i: E A , tntra d cuo l 'J. 110 tieuc lugar:
Vz E A : ".;:;,. 3., E A : <i.. ,\náloganoonte: 3~..;='<Ir¡ E JJ: ~·
L)'-' este rnocfo., par:t construir lo negueilin dr. eie1·1i1 {órmuln lógicu 1~11 l1:t
qut• St.: e;ouli~nc1l lns signos 'rt y 3 t es ru:cesario sustiluir el si~no 'V J>Ot 3 )' el
sii:no 3 ¡1"r '!/,y, además, trnnsferh In no!!'.•~ión ¡la ra)'nl ll 1,. propi~da<I <¡ut>
sigue t.1•t1s d09 ]Hrntos. Por cjcmp1o. lo nrg"c16n de la afirumcitln
3M. Vz EA: f(z)"> :I/
Wuue fa forma
3M, Vz E A: / (>:) ,¡;; M -~ '!/ M, 3 T E A : ) (x\ ,.,; ,1} ="
<:=-'t/M, 3,,E A: /(x}> M.
y llo mnremos al segundo mi~m bro de (3) desarrollo decLrnal del nrú1iero
±mln.
Si el denominador de 111 frocci6n tiene l a forman = 2'51, donde
s, l son ciertos números onteros no negativos, entonces el proceso (2)
se da por terminndo, reolir.ados un númeTo finito de pasos, y se
14 Capítulo l. lotrod11ceiü11
§ 1.S. Definiciones
de la Igualdad y
de la desigualdad
<lados dos númorns u.= ±r.t.0 ,a1r.i., •• • , b
$en n ±~0 • =
~,~ ••.. ,definidos mediante las fracciones decimales infinitas.
Convenga mos en w us iderar que dichos n6meros son Iguales entre sí
cuaotlo. y sólo cuando, son iguales sus signos y
CXt = ~~ (k = 0, 1, 2, ...).
Supongamos que Jos números a y b son posili\'OS. Por definición,
a < b o bien, que es Jo mlsmo, b > a, si < ~•. o si existe tal ª•
fndice (un número entero no negativo) 1 que ah - llA (k = O, t,
• •. , l) y ªi+• < ~1+1 ·
Si fas.fracciones decima les fJ,tfinitas a y b tíouen la forma
a = a 0 ,a 1 a..,99 .•• (ar.· < 9), (1)
b = llo•ll; • • . f} ,v 99 • • • (~,, < 9),
se pueden escribir como {racciones decimales fioita.s
a = a0, CX1 • • • a.,, _1 {CX¡.· + f ), (1')
b = ~01 ll1 • • • !IN -1 (~N + 1).
§ 1.6. Detinlel6n de las operaciones aritméticas
l
Sxn minemos ahora u.nn sucesión de fracciones decimales no negn-
tivM (sólo fin itas o sólo infinitas):
ª• = ª•0•"11ªuªu • • ••
a, = <X20,«uctu<X23 • • •1
(2)
a3 a== Cl30 1Ct3¡CX32ct33 • • ·•
......... ... .
Los seg11ndos miembros en (2) forman una labl11 (motrú tn/l11ita).
Diremos que la sucesi6n (2) 1e estabiliza hacia el número a =
= Yo•Y1Ys •• •, Y se escribirá
(3)
Efectivamente, por cuanto los desarrollos de los números a,. (con n;;.
;;;:;. n0 ) tienen Ja forma
'1'01ªn1CXn 20:n 3 · • • ~ M (n;;;:;. llo)
ª = Yo·YtY•)'s · · · ·
Si t.odos los C011\poncnto..1i correspontht?>nles dr n.mhos desarrollos son i:;:uali!s
(ans = y,, ' -= O, 1, z. . ..), eotonccs º"
= a. Oe lo contrnrlo para cierto s
se tiene
<tn¡=y¡ U-0, l, · · .,.-1), } (7)
a.n• < '\'4·
En este coso, si•= O, !ns Igualdades en (7) se tlol"'n o mitir. Paran en consldo·
rnei6n los números "ni = y¡ (/=O, 1 • ... , • - 1) ya eotán es\.abilitados,
por lo eual
4n:s;;; "no1Cttt1 • • • a-n, s-1 {"='n• + 1) a::.. i'o,?'1 • · ·
.. •y,_, C-ns + !) <;;; y,,y, .. • y,_,y, ..; a,
y queda demosi.rada, pues, In prirnern desigunlJ:td Jo (4).
Resta por demos).tar la segunda rlceigua lclad de (4) . Si a = y0 ,y1 ••• YN
es.•m• fracción decimal finita~ ello proviene de (5) euondo k = N. Sen ohora
a.-== Yo,"'r'sY2 • • ·
una Crocei6n decimol lnllruta. De.,.rrollcmos el número M t.umbiún en una frae-
ol6n lnflolt.n .U= m 0 , m1m, •••• Sí aduútlmos que la desigualdad que se de·
muestro no •s clcrtn, .S<J 011contranl tal k que
y¡=m¡ (/ = Ü, l . . .. ,k-l), }
'\'i.>m•· (9)
Si.k =O, las Igualdades eil (9) se omiten. Puesto que el desarrollo (8) es l!úi-
oíto, 1;c, encontrará tal 1 que y-+, > O. Por ello
v,. Y1 •.·• • i'1<-1Y• • • • Y~+, > Yo1 Y1 • • • Y~-11'1< -
= m0 , m, .. .. mi.-tYA ;;. m0 , m1 • • • m,._, (mh + 1) =
.; 1 = m0 , m1 ••• m11 _ 1 11t,tt90 • .. ;;it m1 , m1 m 1 ••. = M
· y so ha obtenido la con1.radlccl6n con. la desigualdad (5).
§ l.G. Dcfioleióo do las opcraeiooes aritm6Ueu 21
es tlocir,
a<nJ ::;;;: a ::;;;: aln) + 10-n
La magnitud a.(n) so aproxima hacia a (al crecer n) sin docrocer-
En lo que se refiere a Ja)nagnitud a<">+ 10-n, ésta se aproxi ma
hac;a a sin crecer:
a(") + 10-11 = et0 ,cx1 • • • Ctn99 ••• ;;;;. et0 ,Ct¡ • • •
• , • 0Cna,n+l99 • • • = a(R+I) + 10- (n+t).
Esta clrcllnstaacia se aprovechará al definir la djferencia y el
cociente de los números positivos.
Si a> b > O, entonces la diferencia. a - b se deiine como una
fracción decimal (Un número), hacia la cual se estabiliza !a sucosión
de fraccione.s decímalos finitas:
(12)
si, a, b > O, entonces el cociente a/b se define corno una fracción
decimal, hacia la cual se estabíliza la sucesión do fracciones finitas.
a(n) ) (n) a
1>1">+10-•
( ~T · (13)
l" Para cada par de números reales a y b tieno lugar una, y sólo
wu1, relación:
a =
b, a > b; a < b.
1:· Do Jo que a < b y b > e oo deduce a < e (propiedad transi-
tiva del signo •< •).
13 • SI a< b, existe tal número e que a< e< b.
JI PROPIEDADES DE LAS OPWIACIONES DE AD!CJON Y SUSTllACCION.
(a · {-)b=a(-!·b) = a(b·i;-)=a·1 = a.
D e las propiedades aducidas proviene con facilidad quo el co-
ciente do la división de a por b es único. Se puede demostrar que el
c-oci cnte definido de este modo co incide con el cociente Ji?finido
mcdianlc la fórmula (13) del § 1.G.
IV. PROPIEDAD DE ARQUíMBDSS.
Cualquiera que sea .,¡ número e> O, existe un número natural
n >c. Efect.ivamento, si e = <:t 0 ,<:ti<:t 2 • • • , se puede tomar n =
=<:to +2.
De l a pro¡>iedad de Arqulmodesy ciertns propiedades anteriores
se deduce que cuah111iera que sea un número positivo e., siempre
puede indicarse un número na tural n ta l que se cumpla la de.sigual-
dad 2- <e.
,.
En efec~o. de ncu!'rdo c.oa I V , para e.l número •J /~ p ucd!' encon-
trarse un n natural tal que 1/t < n, lo C[\1 0, en virtud de IH6 , lleva
l'onsigo la desigt1aldad requerida.
Observemos qua para el númoro dado e ;;;:, Ocu la serie O, 'l , 2, ...
do números enteros no negativos se tiene. evidentemente. un único
número ni, pnrn el cual se verifica n lns desigualdades m ~ e<
<m + 1.
PROPJED>\O. v. Si una s11cesi6n de ntímeros reales a1 , a 2 , ª•• .. .
no decrece y está aéotada superiormente por el número 1'fi/ (a. ~ 1'vl),
e:rl$1e un número a~ Jl1, al cual dicha sucesión tiende teniénMlo co1no
su límtte
.Jíma,.=a~M.
Esto s ignifica que .para t:odo número .positivo e >O, tan pequeño
como se quiera, s e encontrará un número natural n 0 ta l que
1a - an 1 = a - ª" < &
para todos los n > n0 •
§ i.8. Acceso axiomático ~J eoncepto de_DÚll)ero real 25
Enum eremos los ní1m11ros pues tos cntr~ las llaves de izqnieruo
a dert'cho , suprimiendo. po r otrn pnrto, en r11da et opn rl~ la numera-
ción aquellos que yn se hao sido 1111mnrarloR NI unn 1le lns ctap~s ante-
cedentes. De resul ta~. se obtenc!rá la surcsión
t t
'•~1, r~=T • r3 ~ 2, r4 ==
3 r$~3, . . . .
9
1
EJEMPLO 3. {i , 2, 3, 4, S1 . ... } = {n c- 11• ).
No obstante. consideramos que los elementos .i:,, :r•• ..• son dis-
tint os.
Si iodos los elcmcnios de lo sucesión {x,,} son iguales a tm mismo
númoro a, Ja llamon c0/1$tarate.
Es fácil vur que las sucesiones en los ejemplos 1. 2 y 4 está11 aco-
tada$ (véase el§ f.6}. En esio cnso se dk.e tamblén quu las variabll's
cor1·esponclieotos que recorren dichas sucesiones están 11cotad11s.
Cnanio a las sucesiones on los ejemplos 3, S y 6 . éstas no están aco-
111d11s. Sin embargo, la sucesión en &l ejemplo 3 está, evidentemente.
acotada i1úcriormenie por el número O. miootras quo Ja sucesión
c·n el ejemplo S está 11colada inferiormente por el nl'.imero 2. En lo
que se refiere a la sucesión en el ejemplo E\, podemos decir que no
1'$tá acolada ni por debajo ni por auiba.
l nu·oduicamos el concepto de límite de uno sucesión.
J)CPrN1cto)i t. El número a. se denomina límite de la sucestó11 {.i:n },
sl para todo ~ > O existe un número (dependiente de e) n 0 = n 0 (e}
.tal fJUe se verifica la desiguale/ad
Jz.-al<e., ( l}
cualquiera que sea n (natural} >11 0 •
En esle caso se escribe
lím x. = llm :r" =a ó :r" ~a
l+-ol=+<e
se verifica para todo n > n0 , y la igualdad (2) está domos~rada.
EmMPLO 1. Lft ,·ariable del ejemplo 4 tiende hacia i :
Hm .!!::.!.. = 1. (3)
n - oo "
En efeclo, formemos uno. desigualdad
J 1- n-;;{ l=f <_
e.
Esta desigualdad se verüica. según lo hemoS""Visto. para todo e> O
si n > n 0 .... t/t,. Est o se demuestra por 1a igualdad (3).
EJE)IPLO 8. Si 1 q 1 < t, ontoncos
(4)
Por otra parte, si se sabe que fuera de (c, d) hay sólo un número·
finito de pmitos x,, 1 , x,,,, . . ., x,,,, entonces, al designar·
k = máx {n.,, n,, . . ., n,),
es decir, el máximo entre los índi~es 11,. • . ., 11,, podemos decir
que los puntos x,, de indices n > k quedar•n ubicl!dOs den~io del
intervalo (c, d). Por eso, el concepto de límite se puede enunciar
también .así: la variable lin tiene el punto a como su límite, si fuera
de cualquier entamo de dicho punto se tiene un conjunto finito o vacío
de los puntos j;•.
EJEM:Ptó 10. La variable
(a - f, a+ f ).
La longitud del entorno es 2/3. Está claro qui! dicho entotno no pnede
contener en sí el punto 1 f el l>unto -1 a la vez, porque la distancia
entro estos puntos es igual a 2 (2 > 2/3). Con.vengam.os en considerar,
para concretar, que ol punto 1 no pertenece a nuestro entorno. Pero
x., = i cuando ll = i , 3, 5, .. ., es decir, fuera de nuestro entorno
hay unn infinidad de elemen tos de la sucesión.
Así pues, el punto a no puede servir de límite para nuestra suce-
sión, y, como este punto es arbitrarlo, la sucesión (6) no tiene límite.
TEOREMA t Si la ~·ariable z. tiene tm límite, éste es el único.
En efecto, admitamos, c.ontrariamento al teorema, que x. t iene
dos límit.e.~ distintos a y b. Cubramos los puntos a, b con los inter-
valos (e, á), (e, /}, respectivamente, de
longitud tan pequeña q.uo estos interva-
los no se corten (fig. 8). C-Omo z. -.. a, e d t f
Qntonces en el intecvalo (e, d) se dispr.- ~ t11
nen todo~ los clemantos x.,, a excepción
de llD número finito de ellos, poro en Fig. 8
tlll caso el intervalo (e, /) no puede .
contener en sí un número irifinito de elementos x• .Y :i:,.. n·o puede
tender a b. Hemos ll egado a una contradicción. El. teorema está
demostr111lo.
TEORlllllA 2 Si la sucesién {xn} es convergente, estci acotada.
Dcmosttaclón. Se.a lim Xn = 11. Prefijemos ir. = 1 y elijamos un
número natural n0 ~ n0 (1) de 110 modo tal que sea
1 > 1Xn - 11 1 (n > n 0) ,
J•
Capilulo 2. Limite do uoa sucesión
Entonces
l(:z:,. ± 11 ..)-(a±b) I.;;;; lx.-al + 111.-bl < ~ +f=e (n>no).
con lo que queda demostrada (1).
Para demostrar (2) observemos que
1Xn//n - ab 1 = 1Zn//n - a11. + ª!In - ab 1~
.;;;; 1Znl/n - ay. 1+ 1ª//• - ab 1= 1!In 1 1X. - a 1+
+
b l. 1a 1 l l/n
(4) -
Dado quo ¡¡., tiene un limite , entonces (de acuerdo con el teorema 2
del párrafo antecede¡1te) existe un número posHivo M tal que
l l/n 1.;;;; M (n = ·J , 2, • • • ), (5)
1a¡.,;;;: M. (6)
Elijamos el número 110 de tal m odo que sea
I'..!!__ TO l=l
l/n
"nb - gRa
v.6
I= l(J:n - a)b+(b - 11n)Ol .,;;;
IVnl Jb(
...,.. lrn-• l +
lb-vnl Jo l (8)
- lvnl lvn l Jbi
S 2..2. Opcracio11ca arilmétlcas 39
Tenemos
1-qn+a i ql'l+t
Xn-1=-q = 1-q - 1- q
§ 1.3. Jnfinitésimo
y variable infinitamente grande
Una variable <Xn quo t iene lim ite igu al a cero , se denomina in/i·
nilam.ente peque1ia o, más brcuemente, infinitésimo.
Do este modo, una variable ª" es un inlinitésimo, siempre que
p~ra todo t >O e.xiste tal n 0 que Ja;" 1<e (n > n 0 ).
No es difícil ver que para que una variable :tn tenga un limite a,
es ntU$0rlo y suficiente que Zn = a + ª"' dontk ª• es un tnfinUésima.
Una variable lln se denomina infinitamente grande o, simplemente,
infinito, silllXlpre que para cualquier M >O existo tal n 0 que
l lln 1> M (n > n 0) . En este caso se escribo
lím lln ~ oo, o bien lln-+ oo (i)
y so dico que lln t iende al Infinito.
Si una variable infin itamente grande ji. toma, a partir de cierto
11 0 , sólo valores positivos o sólo valores negativos , se escribe
'
~\>.!. ~ M (n>n 0 ) .
Vn t
P rruíjemos arbitrariamen te un número positi"o M y olijamos según
él llJI t tal qnc sea M ~ ale; tomemos, además, según s, tal n0 que
tenga lugar la propiedad (4). 'Entonces, 1z 0 1Yn l > M (n > noJ,
lo que so tl'ataba de demostrar.
De los dos aJirmaciones enunciadas se obtíenon los siguientes
corolarios:
Yn=-;t• entonces ~
1 1
si .Cn ._7 ,
Vn
= .!...n -+- O 1>ara 11 .-... oo;
a t
si :.Cn~fi t Yn ~n t entonces ~ ·-:: a~a para n-+-oo;
!In
( -1)" 1
si z.~ --
n- ' Yn s:: n• enwuces ~
Yn
..:(- J)~ y el límite
de esta sucesión no existe.
De este modo, para determinar el límil-0 de {.:i:.ty.} oo es suii-
cionle conocer que z.-+- O, lln->- O. Son necesarios, además, 1:iertos
datos adicionales sobre ol earácler de variación de z. e Yn· Para
encontrar dielto limiw hacen falta los p rocedimientos espooiales
on cada caso concreto.
Suule decirse que la expresión x.l y. pnra x. - O, 11•-+ O repre-
scnt11 unn i11determinacl611 de la forma { ~)
2. Si z.-+ oo, y11 -+- oo, la expresión x.111. también representa
uno indeterminación y la llaman indeler1ninacl611 ck la forma ( ~} .
3. Si :r. -+-O, y. -+- oo, para la oxprl'sión x.y. se obtiene una
lnde1~rmi11aci6n de la formfl (O·oo).
4 . Si Xn -+- +oo, Yo-+ -oo, entonces lo ex presión ;¡:,. + Yn
roprcsontn una tndeterminacl6n de la f orma (oo - oo),
Para cada uno do los casos mencionados p11odon aducirse los
ejemplos correspondientes.
Rcsolvor una iodeterminnción correspondionte quiere decir 1:al-
cul11r el límite (si eidste) de 111 expresión corr~spondiente lo q110 no
es siempre fácil.
CJEMPLO l. Si
+ ... + a,11 + a 0 ,
.r. - a,,.11'"
/In= b,n.1 + ... + b,11 + b 0 (am +o, b1 <P O),
ontonces, cuando n-+ oo, para ln oxpresión x.ly., tenemos una indo-
lor.ml naelón dG ]a forma (~). Resolvamos dich a indeterminación.
n) Sil = ·m , tendremos al 1H... idlr el numerador y t>l donomioador
por n'":
a,.+.,.._,+ ... +~
~..
- --......-"------~"--+ -ª-"'-
¡;;-- + 6.,_,
L + + bo
""' -,,-
bm
... ññ\
§ 2.S. Sucesiones monótonos
cuando n - oo, es decir, lim. (znly.) = amlbm (11' la razón entro los
coeficientes de las potencios superiores de n ou lo.s expresiones para
z. e y.).
b) An&logamenlo podemos m ostrar que, para m > l, llm (z.b;.)=
= oo, y, pru:a m < l, lím (z0 /y 0 ) =O.
F.IEMJ•LO 2.. Si z. = +
V n 1, Yn = Vñ, entonces, cuando
11-+ oo, para la expresión :r0 - 110 tenemos \ion ifidetermínaclón
de la forma (oo - oo).
Resolvamos esta indeterminación:
1
Yn+t+ --º
Ir,.
poro. n -+- oo. Esto significa quo llm (Víi+1 - lfñ) =O.
n-00i
2) {n1 }
.os \tna sucesión creciento.
Más abajo viene la demostración de un teorema iroportunle qu.e
a[irma que una sucesión acotada monótona da números siempre
tiene su límite. Bn el § 1.7 el mismo teorema figuraba como una de
las propiedades fundamentales (propiodad V) do un conjunto de
ní1meros reales.
i·1zoRl!••A 1. Si u11a sucesión de números reales
(1)
Qipílulo 2. Límite d• ut111 EUr!'l;ifon
el limito llm
.....
arrlb•, existe un limite llm b0 . . b.;;; J.f
ª• -= n-oo
lim (bn -
+
e pero, en esto cago, exbte también
e) .,. b - e~ 111, con lo qua el teorema queda
n-oo
demostndo para una su~s16n arbluarla no decreciente.
Si, ahora, l:. sucesión (o¡t) no crec:e y esl.á acotada lnferiormenle por el
número m, entonces Ja sueesi6n de números
-m, {- :.inJ
..no dt-cNCe y está acotada
....
superiormente por el número y, en vista de lo emostrado, existe un límite
11111 (-00 ) .. - o.:; -m , designado por noaotro• mediante - o. Por consiguien-
§ 2.5. Sucesiones won6lonoe
-
... --1.0 .. . 011 ... (k- 1,2, . .. ).
A nees
··-.. =0,9____.
. .. 911 .. . (k=l, 2, ... ),
l • ..,..
Ja suceelón {•nl Uono un llmllo igua.l a i (•11 _,. f ). no o bstctute, lo que es fácil
de ver, dicha aucoslón no so estabiliza.
EJEMPLO 1. Demos a conocer uoa n11e1•a demostr ación de l a ig11a l-
dad (compárese con el ojomplo 8 del § 2.1)
lím q" = O, 1g 1<1. (4)
Tenemos también
A = llm qn+i = g lim tf - qA,
Entonces.
..!!l!!l.=
u,. 11 +
ª i -+-0 (" -+oo).
Do nqul proviene que 1¿,1 ., 1 <u,., 'in > n 0 , <lonrlu 11 0 es ; uficicnle.
mente grande.
Do este modo, la variable u. decrew cuando 11 > 11 0 • Además,
es lA acotada ínferiormentc por el número O. Pero , en este caso existe
el límite
llmu. - A;;,.O.
t enemos
%. = +
(1 + )"-1+11f+ ...
n ln~t) .. . (11-k+H 4 + .. · + n\11 - l) .. . (n-n-t- 1) X
.. • + k ñli ni
= 2 +-fil- (1 - f) + ... + 1 -
X :. :!( +) ...
... (t - "-;;- 1)+ ... +;h(1-.;) ... (1- •;i ). (1)
tenemos
t 1 1 2
... + 7~2 + 2+ ... + p:r + ... + z¡;::¡-~
j
%ft~2 +2i"+
·~ "'
..c..i
.
En adclnntc (• n el l 4. 16) se deo1oslrará U. fórmula, de lo oual provtcnc que
1 e
kí+;;r \n> 2), (3)
t-O
donde 6 ea cierto número. dependiente de n. que SALl8face las desitualdades
O< O < l. Con nyuda do esta fórmula no es dificil demosll'lr que• u un nú-
•Mro irrll<:lonal. Admll.&11101 que' - pl g. donde p y q 1<1n naturalu. Enlont-OS,
al hacer en (3) n - 9, tendremos
p ~ 1 8
-;¡- = 2; Ti" +Ti
••o
Al mullíplicor por q!. obtenemos
r (q - 1¡ 1 - i ~ e, (4)
•
dolido 1 - ql ~ ~••un númer<> Potur~l. Hemoa obtenido uno controdlcción :
•-o
el primer miembro de (4) os un niuner o entero, mientras que el segundo miembro.
igunl a O, es unn fracción propia.
48 Cop!Lulo 2. Llmite de una sucosiúu
§ 2.7. Principio
de segmentos e ncajados
·r eon&MA 1 !PR INCIPIO DE Sil-OMENTOS l!NCAJAOOS).Sea dada 11na
$Ucestón de segmentos
On = (a 01 bnl (11 - 1, 2, ...),
encajadcs uno en otro (es decir, de tal f11dole que <1n + t e: C1n (11 =
~ 1, 2, . . .)), cuyas fongltudes tienden a cero;
d,.=b0 - a0 -+-0 (n -+-oo).
En este caso ezlslt un punto (número) e, y esu punte u único, que
pertenece a la vez a todos ltu segmentos 0 0 (e E C1. , n ~ 1, 2, .. .).
Ocmosl ración. Es oviden to lfUe
4i ~ ª• ~as~ • • . ~ bm
para cual quier m natural prefijado. Est.o es indicio de que los núme-
rosª• no decrecen y están acotados superiormente por el número b,,.
para cualquier n~. y, de conformidad co n el teorema 1 del § 2.5,
existe un número e hacia el cual Lionde la variable a.., (lhn ª• = e).
En este caso a. ~ e ~ b,,.. Por cuant.o ti y m nalurales en e!tas desi-
gualdades son arbitrarios, entoncos, en particular, ª• ~e ~ b.
(n = 1, 2, .. .). Por consiguiente, e E º••cualquiera quo sean EN.
El punto dotormiuado e es úuico. Admitamos que ox iste otro
punto c1 E 110 , "In. Enlonces, ª•~e, c1 ~ bn• de donde
b,. - a,,;;;¡, 1e - e, (>O, lr/n,
poro e.,Lo contradi ce lo que b,. - ª• -+- O.
Obser vación . En él teóroma 1 es esencial que so consideran eu él
los segmentos la. , b. I y no los intervalos, como lo muesLra el si-
guiente ojcmplo. Los intervalos (O, 1/ n) (n = 1, 2, .. . ) están encaja-
dos uno un ol otro, su longit ud d,. = i.. _O ~..!... ..... o,peronoexiste
11 n
ning(m punt.o que perlenezca a la vez. a lodos los intervalos me1iclo-
nado~.
En ofecto, cualquier puot.o e,¡;;;; O no porte.n occ a ninguno de los
intervalos (O, 1/ n). E n cambio, si e> O, so encontrará tal n quo
1/n < e y e E (O, 1/n). '
l) z = ¡· ...
Ho aquí unos ejemplos:
-9, -2, -1, o, i , 2, .. . ),
2)N= t,2,3, ... },
3) N.= ... , -2, -1},
4) la, b),
5) [a, b),
6) (a, b).
El conjunto Z no tiene números máximo y minimo. El intervalo
(a, b) tampoco los tiene. En este caso no importa si los números
a, b son finitos o Infinitos. Cualquiera que sea el número e E (a, b).
es decir, un número que satisface Ju desigualdades a < e < b,
siempre existen los números e,, c1 de tel género que a< c1 < e<
<e,< b.
El conjunto N no tiene un elemento máximo, pero tiene el míni-
mo :r: = 1. En cambio, el conjunto N_ cuenta con un elemento máxi-
mo ;¡; = -1, p ero está privado de elemento minimo.
Es obvio tambl6n que mfn [a, b) = a, mlíx (a, bJ = b,
mln la, b) = a, sin embargo, el n<smoro máximo en fa , b) está
ausente.
Surge, pues, la cuestión sobre la introduc:Gión do los números
pera el conjunto arbitntio E, que suatituirán, en lo posible, máx E
y m!n E. El papel de tales números (finitos o infinitos) lo desempe-
ñan la cota superwr exacta
sup E = sup z - M
>EH
EJEMPLOS. Pru·a los conju ntos 1)-6). aducidos más arriba . t ienen
lugar:
sup Z = +oo, inf Z = -oo,
sup N = oo, inf N = mín N - 1,
sup N_ = ntáx N_ = -1, inf N_ = -oo ,
sup (a, b) = b , inf (a, b) = a,
donde a y b son los números que pueden ser tanto fi'nitos como infiJ
ni tos.
Se puedo dar la definición general de cotn superior (inferior)
exacta de un conjunto, la que es válida para cualq ui~r conjunto·
(acotado o no ac.otado). ·
Fig . 9 Fig. 10
·-
zo;; M = liru b4 , 'Vz E E;
2) para cualquier e > O, ~· E B se tiene
M - a <:z! .;; /.f. (2)
2. Porc,onilinto (zy} s& entenderá toda una 's&rie de productos de los. níune.-
ro~ no negativos z E X"'¡¡ E Y . Demu~trese que
sup (•Y)= sup {%} sup {y.), lnf ,(%V} - inf (z) in( (Y)
3. Deñiuéstzese que
(.z;;;. º· y;;;. 0).
§ l.9. Teorema de
BolzailO'-Weiersfrass ·'J
Sea dnda una sucesi ón arbitraria de números reales '{x.}. Elija-
mos de ella un con junto inflnito de elementos con los número~ ni, < 1
< 11 2 < . ... Obtendremos una nueva.sucosión .(x.h} q uo se denollli-
nn subsucesi6n de la sucesi6n {xn}. De 1a sucesión dada.se pueden elegir
una infinidad de tales su bsucesiones.
Si la sucesión {Xn} converge (n un número finito , a +oo o -oo),
toda S\tbsucesión de ella converge, evidentemente, también y,
además. a l mismo níunero (fiuito, + oo 6 -oo).
Unn s ucesión
(1 , - 1, 1. -1 , .. . ) (1)
puede intervenir como un ejemplo de una sucesión de núiueros que no
converge. No obstante, vemos que d icha sucesión contione una sub--
sucesión
{1, 1. 1, ... },
qu(I converg<:1 (a 1). Surge unn pregunt a si es siempre así que cual-
quier sucesión de números reales contiene una subsucesión que con-
verge. a cierto númo1·0 (finito, + oo , -oo). La respuesta positiva a
esta pregunta da el
TEOREMA 1. En toda sucesión. de números reales {Xn} puede seleccio-
narse 1ma subsucest6n {xn k} convergen.te a wi número ftnito o bien a
+oo, o bien a - oo.
E n el caso en que la sucesión {x0 } no esté acotada s11periorroente
(i nferiormente), cont iene, evidentemente, una subsucesión que tiende
a +oo (a -oo), lo que derouest.ra el teorema. Si, en cambio , la
sucesión está acotada, el teorema 1 se reduce al siguiante
TEOREMA 2 (DI! BOLZA.'(0-WEIEllSTRASS ). En toda sucesión acotada
{xn} puede selecctonarse una subsucest6n {xn ~) que converge a cierto
mímero.
Demost raci ón. Como la sucesión de puntos (.1:0 ) está acotada,
tocios los puntos perlcnecer1 a cierto segmento [a, bl qua se designará
1) Bolzano B . (1781-1848), uu OUlt.ellló.tlco checo; Weierstrass K. (1815-
1897). un moternóhco olemán.
54 Capitulo 2. UmilA! de una sucesión
.'!:'! "n~ ~ M.
2) Para cualquier subsuce1í6n con•ergento {zn ~ ) de lo sucesión (.:n}
M- fiiñ :<n = n-
Tiiñ "• = n-e» lhn sup "-"·
oo ll>11
lliñll'a - +oo.
En le auc~i6n {(- 1)•¡ la variable z 11 tiene llm r,. = 1.
He aqui un ejemp o mh:
Esto significa que para todo e> O existe un número n 6 = n0 (e) tal que
lrn - a 1< ef2, Vn > n•.
A la par con el número natural n > nn 1>0demos sustituir en este desigualdad
otro número natural m > n0 :
1Zm - a 1 < ef2, Vm > n0 •
Entonces,
1.:tn-Zm 1=1 zn-•+•-Zm ¡ .¡;; l .:tn-• 1+
e e
+I srn-a 1<2+2=60 'Vn, m >no•
n.,
Al tomar en eon.sideraelón quo
k 1 > 1< 0 que &ca > n1 • Por eso
n• - oo para k - oo, se puede eneontzar tal
§ J.t. Función
Sen E uo conjunto do números y supongnmos que en virtud de
cierta ley bien dolcr minnda a todo número r de E se le ha puesto
en correspondencia un (rolo) número ¡¡; en este caso so dice que en E
eslá definida una jUJu:l6n (unívoca). Ja cu11 I se escribe así:
11 = f (z) (z E E). (1)
Oich11 definición de l a función fue propuesta por N. J. Lo bachevski
y Dirichlet 1). El conjunto E recibe el nombre de campo de definición
de la función f (z). Suele decirso también que está dada una variable
independiente x Ja cual puede t omar valores particulares de x del
COHjunlo E , y a cualquier z E E so lt> ha puesto on correspondencia, en
virtud clo la ley m encionada, un valor detorrninado (número) de
otra variable ¡¡, llamada funcl6n o variable dependien te. La variable
independiente se denomina argum4ntc.
Para expresar ol concepto de función se utiliza el lenguaje geomé·
trico. Se 1fice que está dado un coníunto E de puntos z de una recta
real (un domt11to de de/intci6n de la funci6n) y la ley, en virtud do
Ja cunl u tocio punto x E E se le asigna un nlimer o y = f (x).
Hablando de una función como de cierta ley que pone on corres-
pondencil\ a todo número z E E otro número 11. resulta suficiente
designarla con una letra / . E l sl.mbolo / (z) deoota un número y,
el cual, en \'lrtud de Ja ley/, corresponde ol ,-aJor z E E. Si, por
e jemplo, el númer o 1 pertenece al dominio E de de(inición de la
función/, entonces f (1) es el vafor de la funcl6n /en el pun to x = 1.
Si f no pertenece a E (t E E), se d ice que Ja función f no está defintda
en el p unto x = t.
Un conjunto B1 de todos los valores de 11 = / (z), donde z E E,
se denomina imagen del conjunto E creada con ayuda de la fonción /.
A veces se escribo en O$te caso E, ~ f (E). S in em bargo , osta úl tima
designación debe emplearse c:on caut ela, explicándola en lo posible
cada vez cuando se u t ilice para que no sea conlusión con la designa-
ción 11 = f (z) , doode x es un punto (número) arbitrario perte11ccieoto
al conjunto E, mien tras que ¡¡ es un punto ri el conjunto E, que se
') Lob•chevskl N. l . (1792.-1856), un gnn matemático ruso, creador de
la geometria no euclidiana . Diriehl ct L.P.G. (1805-1859), un\ matemático
alemú.
§ 3.i. Función 61
pone correspondiente a :i: con ayuda de la función (la. ley f). Se dice,
además, que la función .f aplica el conjunto E. sobre ol conjunt9 E 1 •
Si la imagen E, = f (E) e:: A, donde A es un conjunto de.números
que, en general, no coincide con E,, dicen que la función f aplica.
E en A.
Para las funciones / y q>, definidas en un .m ismo conjunto E, 5e
determinan la suma / +
«p, la difer.encia f - q>, el producto fq>, el
cociente f/q>. l!:stas son urras funciones nuevas cuyos valores se expre-
san med.i ante las fórinu'Jas correspondientes
en lllS que se supone en el caso del cocion to quo q> (x) <fo O en E.
Pa ra Ja designación de fas funciones, se emplean t:nnbién otras
letras cualesquiera: F, <l> , 'l', .... al igual que en l ugar de x, y se
pueden escribi:r z, u, v, . . . .
Si la función f aplica el conjunto Ben E,, y lo. función P aplica
el conjunto E 1 en el conjunto E 2 , la función r; = P (/ (x)) se denomina
función de función, o bién fu.nción compuesta, o bien superposición
de f y F. Está definida en el conjunto E y aplica E en P.:,.
Puede existir una función compuesta en cuya formación partici·
pan n funciones: z =
F 1 (Fa (F3 ( ••• (Fn (x)) ••. ))).
E n la práctica se encuentran varios ejemplos de las funciones.
Por ejemplo, el área S de un círculo es una í'llnción de su radio r,
expresRda mediante la fórmula S = nr2• Esta función está definida,
evide11temente, en el conjunto tle todos los números positivos r.
Podfiamos hablar, sin ligar la cuestión con el área del círculo,
sobre la dependencia que existe entre las variables S y r, expresada
mediante la fórmula S = nr•. La función S = q> (r), prefijada por
esta fórmula, está definida en todo el eje real, es deciT, defü:lida para
todos los números reales r que no sean necesariamente positivos.
Más abajo vienen los ejemplos de fanciooes definidas por las
fórmulas:
t) y=Vt-x>, 2) y= lg(1 + x), 3) Y=X-1,
4) y = z'- t
..-1 ' 5) y= ru:csen :i:.
Tenemos en cuenta las funciones reales que toman valores reales y
para los valores reales del argumento x. No es difícil ver que los
dominios de definición de las fUilciones aducidas son:·
1) segmento r-1, 1] = {-i ~ ;¡; ~ 1};
2) conjunto x > -1;
3) todo el eje real;
4) todo el eje real del cual esLá excluido el punto x = 1;
5) segmento [-1 , 1). l'CSp<'ctivarnente.
62 Capítulo 8. l'Wltí6n. Llmi!A do Ulla fUllci6n
~
arbitrar io del segmento [a, b) , el valer
correspondiente de JI = f (:i:) se determina
1 1 como ordenada del punto A (véase la
1 1 fig. 11). Por consiguiento, con ayuda de
1 1 lo gráfica se da uno ley bien determi-
o nada de correspondoncia enlre z e
11 .. f (z).
Pig. 11 Hemos definido la función con avuda
de una gráfica en el conjunto E· que
representa el segmento [a, b). En otras circunstancias E puede
representar un intervalo, un semj-iotervalo, todo el eje real, un
conjunto de números rac!onnles perte11ecientes al intervalo dado,
etc.
De!innroos en cierto int.4lrvalo {a, b) una función f (:¡;) y un número
arbitrario (constante) a <'/= O. Sirviéndose de a y f, se pueden construir
una serie de funciones: 1) a/ {:i:); 2) f (:i:) -1- a; 3) f (x - a); 4) f (az).
Las funciones i) y 2) están definidas en eJ mismo intervalo (a, b).
Las ordenadas de la grá.f ica de la función 1) están nument ads.s en a
veces en comparación con las ordenadas correspondientes f (z). La
gráfica de la función 2) se obLiene de la gráfica de/. elevando la últi-
ma 11 una magnHud a (si a> 0) y bajándola a la magnitud 1a 1
(si a< O); la gráfica de la función 3) se obtiene do la gráfica de f,
desplazándose la última a lo derecha a la magnitud a, si a> O,
y a Ja izquierda a 1 a t. slempro que a< O. Por !in, la función 4)
está, evidentemente, definida, cuando a;> O, on el intervalo
(ala, bla); su gráfica se obtiene de Ja gráfica do f, comprimi6ndose
esta últiJOa uoiformemente en a veces.
La luncíón l so denomiun par o impar, si está definida en un
conjunto simétrico respecto del punto nulo y posee on dicho conjunto
Ja propiedad f (- :i:) = f (:i:) o bien la propiedad / (-z) =
-f (:i:).
La gráfica de una función par es, obviamen!AI, simétrica respecto
del ejo 11. y la gráfica de una /unción impar es simétrica respecto del
origen de coordenadas. Por ejemplo, :i;U (k es natural), cos %, lg ¡.i: r.
§ 3.1. Función
1, X> 0,
y = sign x = O, x = O,
{ -1, x<O,
y= { r +
i, X~ 0,
sen r., :r >O,
tiene la gráfica expuesta en la iig. 12. Decrece en (-oo, 0) y tien&
el periodo igual a 2n en (O, oo). Esta función est.á definida mediante
64 Capitulo 3. Función. Limite de una función
o I·.·I 24
T Ti I·. . T..
o pura u ;;>O.
• =f(z. y) ~ { 1 "'"'' v<O
6t' ~Xpt111(! gco1ué1rlc11mcntt.· por dos ~iniplanos parale los c1nc no cst6n 1igndos
crUt'e '' Su rt i11111()sfoión cou rc•Jarión ol si-. temu de ccortfenado)I (z, 11· :) es obvia.
U1111 lu11ció11 de u1111 solo v.iri•ble p11c1le defi u ir~o i111pllcltami'11te
co11 nynila ·I~ la ig11nldn1I
P (r. 11) ~ n. (3)
clo111I~ F es una f1111dó11 ele rlos vnri11ble~ :r 1: y.
S upon gn mos •¡¡1e ~n cierto cnn j 11nt.o G d~ puntos (r. 11) vit111c dMla
111111 f1111ció11 F. Ln ig unld¡v l (:!) 1lotormi11a c.icrto subco 11j1111to Q rlcl
co11¡11111 0 (i, en t> I cua l 111 funci611 F ~s ig u·a t a cero. Dcsilll J11t·¡,:o. <'ll
pnrlíc11lnr, l"l p11 01le re pre.5en lnr 1111 r,011jnoto vacío. S<>n IJ 1111 conjunlo
no vo.clo '! supo11g>i mos q1u• /~ <'S ron conj 11nlo (no vnclo. c,• itlt•n LementQ
<le nq1ic'lln• ,·nlores dl' :r lntimcro.'1). 11 los cuales corN'spomle Al meno$
un v1tlor do y rll' modo Lnl qtcr> el pnr .r, y pl'rtt'nezca n Q , Así pues, E
e$ 1111 ronjnuto rlc todos los uúmcros x. a cnua uno tic los cuales
corrc~porulc "" conjunto 110 vaclo e, ele números y 1!e Lnl modo que
(X. y) E Q o !Jion, que es Jo miMIO, p1tra ~ l par cilJldo (z. y) :.e vorHique
lo i¡c11alrl11rl <~). C-On f'll o qHctl11 clefini<la en el <:n njunlo E ciert a
fun ci611 tia r: y ~ 'l' (.r) q ue es, e 11 g~nural , mu l Liíormo. En t:>slc caso-
suelc tl 1Jc i r~~ q111> la f1111ció11 <J e.<t<í defin ida l mplfoll11mentc cou ny ud a
ele In í~11111<1 11<1 1:{) . Parn l)ll ll .so ¡·111nplLi. 0]1\'inmcn<<'. lu iclcutidnrl
F (:r, <P (.t)) - () parro lorlo x E E.
Por ¡ina!ogla, podemos defi nir tam bifo unn funcí6n z = 'i' (y)
rlu In ' "nrinhlo y . t¡ue M' ddín~ implícitamenlo co11 nyuua de Ja
i¡:u11lcln1I (3). Para clln se cumplr la iden tidad
F (lt (y). y) - O pnrn L<11h1 !f E E, .
••
Capírulo 3. i:onrioin. r.íruit<: lle una f11nc!ón
dotttlc E, es 11n ~.onj1rnto rle núnicro~. l)i ~u. ndomús. que In función
11 = rp (:r} (ó .r = lj1 (y)) s11tisfnco 111 ccu~cióu (3}. LH fuución :r =
= ,¡. (11) so denomina muersa ""PN'lO rle In fuui:ión 11 = 'í (:.r).
ESEMPLO 1 l. r..n CClh\CÍÓll
.r' + !/'J = r~. (4)
donde r >O, dcfiue implíci~amenl·O una funciórt biforme de una
sola \"nriable:
!/ = ± lrr - X' (-r ~ X :¡;; r);
no obstante, pora x - ±r <'S uniforme. E~ 11nt11r11l consicler11r que la
citad11 función bi for111\' se dcscomponl' 1•n dos funciones uniformes
continuos 11 = + Yr* - x* <' 11 ... - ].' ~ l-r ~ r ~ r). S11s
gráficn.s (scn1icil'C'11nfcr~ncins) proporcionan cu t nlalidarl untt cir-
cunfer~ncia tll' rn1lio r co11 centro e11 d origNl d<' roor1IN1"dns. D ich11
·Circu uforoncia es 1111 Juga r gcomlÍl.ríco de los puntos t:uyns coonlonadns
(:.r, y) sntisfocen la ec11nción (11). P\'r11, rnlitln<lose de la fórmula (4),
se purdon construir diversas funcioral'S uniformes (disc-0111.inuas)
que satisfo¡an la ecuoción (4). Por cjrmrln. una función ti<- este
tipo es
·-· f
lím (:t) • , 1, o bion f (x) -+ A (x ->-a) .
111 i,gua l que on los otros casos stm1"Cjniltes, aquí se ndm"l te si.n
ninguna rlud•1 que IR vnriltble x,. qmi tillnd~ hacia a. recorro lo$ valores,
para los cuales· f (x) queda clef ini<l a.
Las definiciones cnuucinclas son equivalentes. En afecto, suj)ooga-
rnos c¡uo la ñJución f tion~ nn lfo1i~o e.n el sentido cto I~ primera defi-
nición y sea Xn una varfnblc qµe ~s di$tint a, da a con n ·cualquiera y
quo tiende hacia a. Prefijamos e y olijamos 6 tal como 's e l1idlca en
l:i primera definición. Luego selecci·onem<Js .% natural de una manera
tal que sea 1x,. - a f < /l para n > n 0 • Pero. en este caso,
1f (x.) - A 1< e porCI n > 11 0,
lo que ~ignifica c¡nc Ja sucesión do números fJ (xn)} tiende hacia A,
y, como esta propiedAcl es verldica par11 ctiolq11ier sucusión (x,.} (que
tiende hncía a) cu11 tnl do c111e sea l',. =F a y todos los l 'n porlerwzcao
a l clominio do definición ele In fondón, entonces queda, pues. d~1nos
lraclo que de la primcr11 definlr,ión del límite se deduco la segunda.
Vicevorsa, supougamos quo la fondón f (x) ticno un límilc ca el
sentido ile la ~egunda cleiinkión. Adtn ilamos. además, que en l'SLO
cnso •!1111 no liuno límite en QJ scnl.i do de Ja primera dcfinic.ión. Eslo
O.•iJHlirio de que existe ¡wr lo mo110' un solo •·, el cunl so desigHnrá
mutlianl.c P- 0 , p~ra l>l cual no ~e ¡mude elegir 6 rl'(jucriclo, ~·s decir,
parA cualquier ll entre los 2· que sntisfnccn lns Cllrrelac.iones O<
< J x - a 1<6 cl ebo existir annqu~ sen un único x = ,.coi !Al que
parn él I f l:t<'> - A I ~ •o·
A titulo de ll tonrnmo~ t.oclos In!< níum•ro~ dol tipo {i = 'llk lk =
= l , 2. , .) y pt1ri1 rACI~ uno d(! el lo¡¡ en~,c¡nt ram l)S 11n punto xk = ,xl6)
t~l que
O< 1:r1, - a 1< 11k (xk =F a.)
y
1j' (.r.h) - A I .;;; e 0 (k = 1, 2, •. .).
D11 estas relaciones se ve que xk--.. a (2·~ +a). miruitras que
f (x~) no t ien de a ciencia cierta hacía. el número A. Do {ISt<l modo, la
admisión ele q11e ele la segunda definición del limito no se tlednce la
primera c.onducc n uJla cont.radícción.
Lo equivalencia de dos definiciones e.~lÍI <lemostrntla.
La "xpresión el límite d4 1ma función en el pu.rito u so sustituye
a menudo poi· la otra el lfmite de una función para :r que tiende hacia a,
o, más b1·ovomente. el límite de una funcló11 pllra. x-.. a.. En c11<1l<iu ier
caso esta e>:presión corr~sponde más al esplritu del concepto de
l!mile, porque la expresión llm f (x) caracleriz11 el comport.amiento
70 CapílUlo 3. F'u1tchJn. Límill· d" 11n1.1 funcltiu
da lll íuncióu en 11r1 e111or110 pequt>íl <• del p uulo a, dd cual ~l propio
pun.to a t•sLá extraído. Didrn cxp1•csió11 mucsh·a qu e si 11; so aproxi ma
h ac11111 <le ac uerdo c<> n 11 nn loy c.1.wJq11 iQr:t, qne<h11ulo siempre rl ii;l.inlo
de a, e ntonces el va'lor corrcsponrli e11tc ele f ¡:r.) se aprox imn, a s u voz,
hocia A, C$ clccir, so hace t" 11 curc11no a A como se qu iera.
EJt~MPLO 1 A1101lremos una función f (x) = (w - 4)1(.r. - 2).
'Está rlcfi nida p11.ra todo x =P 2. Trataremos lle encontrar s u límite
p a r• x - 2 . Se 1.iuno, pArit cualqu il•r z =P 2. ;,•-.: .z - . = x +
2 . y,
como, a l definir ol limite paro :r ~ 2, d e ningún morlo se t omuu t•n
considoración los valows rl ~ lll f11nció11 f en el punt.o :r ~ 2 , enton ces
Est:1 i~ualclad está ~se.rita por a linta en el senLiclo J.a que s i uno d o los
Hmih!S u:>'. iste, tiene lllgar tnmliién el segu11d11 y es, además, igual ol
primer lfotitc. De os te modo, en lugar 1le r.¡llcnlar el 1ím i Le ele 1ma
función más compk ja (x~ - 4.) !(.r - 2), res1tlta su!iciente cok'ular
el lím ite ele la fun ción más s imple x +
2. Es ohvio qne l'sto último
lím iLe es igual a 4 ·para x -+ 2. En efecto, si en :e + 2 s ustitu imos x
por nna Y:oriahlc 1u·bitra ria x 0 quo Liencle hacia 2, en to nr-cs
lím (x.+2)=2+2=4,
Xn·•2
d esigualdad
5
1x• -1 t = 1r + 1 11 x - 1l~T1 z -1 I·
Pr~fljemos ahora arbitrnriamen~o e> oy .pO)lgOl,l'lOS 6=
~ mln { T,•fe}. En C!Sto caso para todo x, qu é sa tisface la de-
sigualdarl 1x - i 1< 6, tendrá h1gar la relación
5 2
iz'-tl"2 · 5e ~s.
&1C~ll>r..o :s. La función sen (i/.i) está definída para t odos lo.s valores
de x "6- O y es impar (su grMka pan x >O se expone en l a lig. 13).
Estú dcfiriida, por e<111signiente, en un entorno del punto x = O,
a cxc.~pci6 n dol mismo p11n1.r1 .& = O. Esta foncióu no Liene lí mito
p Arn .t - U, porq110 In s11ccsi611 1\tj
valore.~ xk =
2tn (2k +
1) (k = y
= O, t . 2... .), dislinlos d P (Oro ,
tiende 11 cero y al mis mo t.í ompo
f (xk) ~ (-1)~
no tiende , para k -+ oo, a ningún
limite. o :e
1111 ro1l111.carnos una dcíiniciúu
m1í~. E:;cribiremos
A= lim / (x)
· -~
y 1ilrcmos que el mhnero A es un Pig . 13
limite de la funci-On f (x) (cuando x
tie11de al lrifinlto), si f está 1ieílni1la para todos los x qu o satisfacen
la tfosigunülad 1x 1 > K , pn rn cier to K >O, y porn cunlq1lier
1: >O ~e puede enconlra r un número M > K tal que 1/ (x) - A 1 <
< e, cualquiera que sea x que satisfaga la desiguald ad 1x 1 > M.
So puede demostrar que esta definición es equivnlento a la que
sigue.
El número A es un límite de la /1mci6n f (x) para x ~ oo, si la
función f (x} ~stá defipida pArn todos los x con 1 :r 1 > M, para
ci erto /11, y
Hm f(xn)=A
x,._-.oo
para cuolqtticr sucesión l.:rn) quo convorgo hacia oo.
Ln demostración de la eq uivalencia para CSLll$ dos defi niciones
mencionftdas se realiza siguiendo el mismo esquema que se he utiliza-
do en el caso analizado anteriormente de un llmile de f en el punto
finito a.
72 Capitulo 3. E'Ílllcióa Limite de una función
lo qa c se trataba de demo~t.rar.
TllOl\EMA 3. Si
lim/i(x)=A,, limf2 (x)=A 2
x-a x-4
y en cierto entorno U (a), :r =/=a , se ~v:rijica
f, (x) ~ / 2 (x)
entonces A 1 ~A,.
Demostración . Sea x,,-+ a, x,. =/=a; entonces par a "• suficiente-
mentu grande tiene lugar la dcsigualilad
f1 (xn) ~ /, (:r,.) (11 >no)
y, µnsaodo al límite, la desig\laldlld A,~ A,.
74 Capíllllo 3. Función. Umitc de uua [unción
y, e•t v irtud rlc (1), existe \Ln limita d e <p(xn) igual a A, y. como
{:rn} es unA sn<~ef:'ión arl,itrt1ria qlHj CO ll \Pergt.• haciri a, resn1ta ,~álida
la cxpre,.~ión (3).
1·eont>AlA l (CRlTE RJO OE CAUCUY !'.IRA LA EXJSTENC!A OEL Lf~U'l'E) ,
Para qitc exista e.l litnUe (finito) !Ílo j ~:t.), e• neresarlo y suflctente
.-.;-11
·que la fullci.ón f (x) esté rkftnirkt en un entorno de u.. excepto, quizás.
el propio punto a, y que para lodc e> () exi.•le un entorno U (a) tal
que se i'l'ri/ique
I / (:r.') - f rz') 1 <e.
cualesquiera que sean los puntos x', x· E C (a). x'. x· <f= a.
Demos lractóo . s~a lítu f (>;)=A. doude A P.S 1111 uítrn~rc· Ciuiio: Nl este caso
,,_4
exlsle un entorno de a, donde/ (x) está <l<•lin i<la. ~ csce pción, quiuís, olcl mismo
punto a . Además, para eualquicr e> O se cnc•mh·arú un 11utorl'JO IJ (a) t•l..que
·si z: E U (A). z <;6 a, so liene 1 f (z) - A 1 < •/2. Supongamos que z', z." E
E U (a) y z: , z;• + a; entonces
t f(z')-/(z') t <;;; 1/(:')-A l +I A - f(z") 1 <-i+t-e,
y hemos llegado, eues, a 9uc ta co11dlción del \ooroOUJ es necesaria.
Oemos\remos \a suf1cioncia do lu eoodicion citada. Supo11gamc>s que la
!unción f (z) está déftnldá ort cierio ootoroo de a, r exoepto. quizás, el mismo
.Punto o, Y, itue 1. adcinás, para cua lquier e> O podemos indicar tal entorno U (a)
quo 1f (:t ) - f (:e•) 1 < e, eualesqui~rn c¡:~e sean ~', :r:• E U (a) •. :t', :r.• .¡. a.
Prefijemos llllA suc.esióo arbitraria l'<n}, "'n ,,¡, a (n = 1, 2, ...) qile tiende
.ba~ia a. Entonccs, de. acue.~do con el criterio de Coucby, para uno sucesión que
tic1tdo .nacía u11 limite se cnconlrnrá 101 nlÍmero ~.que con n. m > n 0 tendre-
JtlOSZn• "'m EU (a) . rero, en este caso
1f ·(:r¡¡) - f (rm) 1 < 8 (11, m > no),
jlOr lo cual l;i sucesión.{/ ("nl'I satisface ol cr iterio- de Caucby y, oooeecuentc
men.te t.icpe ua lhnlte.,.
1 ~ ·
Hemos demoslrodo li\ siguiente propiedad de la funolóu eo consideración /:
para cualquier sucesiói¡, (lo númc.ros "n convergente ba9ia a (r..- ...¡,a) oxi~te
§ 3.2. Límite de una función 75
·• ~ O.
lírn :--:i
'\ .., q· \.t}
f(n-O)=lím /(.x).
·-·
, >•
(4)
(5)
X,..11
:r.rfl
§ 3. 3. Continuidad de la función
1:111 le fig. ·14 t>Stá ~x puesta la gráfica de una foncióu /1 = f (:i:)
(a ~ :r ~ b). Es nnturnl que. In_ lhunt•mos g~áf.ica _continun. pu~
puedo ser trazada poi' ull mov u111~nto do 1111 lnp12 s111 irpnrtnrla tlel
y
R
y
{J)
Flg. 14
\lt•amo• uhorn Jn gráfica cs pul'stn 011 111 fi~. 15. l!:~tá compt1t'$l,a
por do!I troios contin\los PA y QR . Siu l!t11bnr¡:o 1llcht>l< trozos no eslán
unido.~ 1lu nrnucrn ronLinun. por Jo cual ~l'rá 1111lur11I llom»r In ¡;rMic~
tli~1·00Linua. Pnr11 cons~"•ir que In grófirn t>>. prcsc una fu11ci611 uni-
formn y - f (x) en ol punto x., co11,·u11¡;11m11" e11 r11ueillt•n1r q11e
F {x0 ) l'll i¡:1111I a Ju lo11git11d dl'I s<:>gmN1l<> qu<' 1111c , J y .r0 ; (011 t-sto
fin t•I rrnnlo A l'StlÍ mnrro1lo 011 I• grMi1·n por un 1·í1·c11lo. miuntros 1111e
el punto Q tieno 11ibujud:i una flcd111 que •irv~ ele in1licio 1lt• quo Q
no port c11t'<'t' 11 111 grMii;n. Si el punto Q lrnbier~ p1•r1011cci1l11 u In grá-
fil'a, 111 función F hahri11 ~ido bifo1·mo 1•n (') punto .l'o·
Com1111ie¡oecmos nloor11 " .r. 1111 inrrnm(luto 6.r., y o l N~r miner'IHoS l'l
incrNm•nlu corrc~ p11111lit•11 te .to 111 f1111<'i(111:
f:..F = F (x0 + óx) - P (.r0 ).
1\ I l1nrcr tender ~x~ u cero, yn no podernos •ledr <¡11c .lF 1.cu de.1·á
en C.$lt• •·Rso ft rcrn. Pnrn ~. rregath·o!' 1111<' tíc111l<·n u l'\'ro e~tn 11lirma-
<·ió11 q11 c1la ,. ;~enl(I. pero par11 Ax0 po~ith•o~ no st>ró 11sí: PI 1lih11jo
110~ nurcsLra que ··i A.€0 lil'ndl' a cero. q11eol1111clo ~icmprc posilh·o. el
i11ae111c11lo rorre~pondicntc> AF tienrlr Al mi1<mo lil.'mpo n "" nitmero
po~ili\11 1gu:ol u 111 lo11¡:i111d del S••grneulo AQ
'l'i•11w1ulo flr<-seuLos lo~ r;oion11mic111os ntl11ci1los. llanwremos
contlnu11 e11 6l punto .r del .o;egmento la . bl. n 111 fw1c11ín f, definida eu
didw $eg111tt1/(), .<t .•u incremento en e.<te ¡1unto, rorrc.<pOll(liente al
111crt111t11/o ~.r. líe11de hacia cero. no impor/1~ el modo de r¡uc lie11de a
cero .l.r. Ln cnunt:iaciún r.itncln (propicdMI lle ro11Li1111iclail de f en .r)
se n nn~n un íorr110 rlc In rel~ción (1) o bien ele otro m11nern más:
Hm t.y =O. (2}
4x-a
J,~ in'<l·ripcíó11 (2) ~e leo así: el lími t.01 110 Ay es i¡:1111 I 11 1·oro ruando
~.r; tic11cl1• 11 coro sc¡¡úu unn ley ru;iJquiera. La cxprcsióu tscg1'in una
ley ( 11/llq11iur11• ~e omilc rorricntc>mcnlc ~in dejar el<• l'Olirccntenderla.
Si la f1111<:16n /, definida en la. bl. no c.~ c-011linua en el punt<>
z E la. bl. es dec ir. si para dirha función no se cmnplc In condición
(2). :rnnqn<' HM para un úniro mo1lo de quo 6.r ticmla a e.ero, ~o
llamará discontinua on el punto :r.
Lo l\onción cxpuesi.a en la fig. 14 es <:ontinun cu ru~lqnicr punto
:r E la, b), y In quo dstá &X.puesto en In fig. 15 cs. C\'iclentemente,
(oulim111 en crmlquior punto :r E [a, bl. a n.~ccpoión del punto :r0,
porque pncn este 1íl limo punlo la relnrión (2) no •O cumpl e cuand1)
lu:-t- O quednndo siempre posil,ivo.
Unn f11nció11 conLínun en t.oclo pu nto 1lr l xegmcuto (iuterva lo) se
denomina conllnua en dicho .~egmenlo (interualo).
Tocln función contin ua exprc,.<a matem<iticnmcnte unu propiedad
q110 s() t rl\Ln n monurlo en 111 pt·l\ct ica cons islcnLc en que a un i.nc.re-
mooto pGqncíio de la vnrinble indeperHliont c Je corra~ponde \111 i ncro-
§ 3.3. Ct>nlinuldod de la flmdón
donde ª•
son unos coeficientes constantes, se denomino poltnom10
do 11-ésimo grado . Es continua para z cualquiera. Efectivameote,
para obtener P (x), C8 necesario realíz8r, partiendo de los números
constantes a0 , •• ., ª• y de Ja flrnción de .:t , un númoro finito de
operaciones arilmóticas de adición , sustracción y multiplicación.
Pero. una constante 8S la función continua (véase el ejemplo 1),
como también lo es la !unción y = .z: (véase el ejemplo 2), razón por
la cuAl la conti nuidad de P (z) se desprende del teorema t.
EJE:MPLO 6. La función y = cos z es continua. Es uno composición
§ 3.4. Discontinuidades
de primera y segun~a ~specles
Por definición, la función f es continua en el punto :t = a por la
derecha (por ta tzqu.iuda). si
f (a) = [ (~ + 0) U (a) = f (a - O), respecti vamente)
(véase el fin del § 3.2).
La co.n ti_nuidad do f en el pup\o a puede definirse · t~mbién del
modo siguiente: la fu nción f es continua en el punto :t = a , si está
deflni.d a eti ciertu entorno de este punto, inclwro en el propio punto
:t = a, y st e.xistfn· los límites f {a +
O) y! (a - O) tales que
' f (a) ~ f (a+ 0} = f (a - O). (1)
.'
Si la función fes de lnl género que pnrn ~lla e.xisl.en l os límites
f (a. + 0). f (a -j O) sin
que se cu mplan ! ns igualdotles (1), entonces,
evidentemen~\l,_ ~erli di.sco11ttnua (no continua) en el punto o. En
este caso suele decirse qu e la funcUm f tien& e n el punto a unn disco11-
tlru¿tdad de primera especie.
E n l asiigg. 18-23 se cfan ~~is gráficas d~ las funcic>nes que tienen
en el punto a di~contin uidadl!S clo primera e~pedo. La letra A denoLa
el punto A = (a, f (al) de la gritrica de las fu nciones. La fl ecl1a en
u n extremo del t.rozo de la c11.r va sign ifica que el punto terminal. en
el quo se ubir.a In flcchn , ostó extraído.
En las figs. 18- 21 se ex ponen las gráficas de las fundones, para
las ctiales todos los t res núm ~ros f (a), / (a +0). f (a - 0) tienen
sentido. En la fig. 18 tr!'s números f (a.), f (a +
O), f (a - O) ~011
disti ntos dos s dos: In función no es sólo discont inu a en a. sino que
t ambién lo es poi· la. derecha y por la izquierda . En la fig . 19 la
func.ión es continua on a por la izquierdo.. pero discontinua por la
dercchn . En la fig. 21 se ve que f (a +0) = f (a - 0) =F f (a). En
l'fite caso dicen que la función f tiene en el pun to a una discontinuidad
evita.ble. pues se puede modificarla en el punto a, a l poner f (a) =
= .f (a + O) = f (a - 0), y la función se hará continua en este
pun to. En Ja fig. 22 la fu nció n no está definida en el punto a. En
l a fig. 23 la función tampoco est á definida eo el pun ~o a, pero
f (a + 0) = f (a - O), por lo cual , si definimos f en el punto a
adicionalmente , al ponor f (a) = f (a +
O) ~ f (a - 0), entonces la
fun ción f se hará continna en el punto a.
En l os casos q t1e ~e muestran en lru; figs. 22 y ·2 3 la función f
está definida en un entorno del punto, a excepción del mismo punto a.
En tales casos se dice a menudo q ue la función fes 'discontinua en el
-p11nto a, a11nq uc la idon de continuidad y tlisc;ontínuid\ld ·en el piloto a
es Ja de cotejar f (a) con f (x) para x ubicados en las c-erc.anlas de a.
Capltulo 3. FUllclón. Umile de una función
~' ·¡~ A~
/
'1
q a .r. O a :r: o~
J.' ig, t 8 Flg. t9 Flg, 20
sign z =
O, z = O,
1, z > º·
{
-1, z<O,
es, evidontemonte, continua para z =!=O, y en el punto x = O tiene
una disc.ontinutdad de primera especie. En este caso sign (O + O) ~
= 1, sigr.. (O,..... O) = __:1.
BreN.PLO 3. La !unción (zl -la parte entera de z- tiene, para
z ;;;;. O, .l.a gráfica ex puesta en 1a 1ig. 24. Es continua para los .i; no
§ 3.4. Di.!coolinuidades de prlmera y segunda esocoiu R5
la desigualdad
1f (x) 1~ K, '</x E. [a, b).
En la fig. 25 :viene expresada la gráfica r de .u na funcióp· continua
J en e! segm~nto {a, bl. E.(fate , e-videnti.meni e, un 11úu;r1i10 K >O
tal que r se encuentra más abajo que la recta y = K, pero por encima
de la recta y = - K'. En esto preci~ament.e consisie el teorema 1.
Ha dB óotatse que si una función es continua eri el intcnálo
(a, b) o bien ·en el semi-intervalo [a , b) ó (a, bl, entonces no está forzo-
samentE' ~cotada en él. Por ejemplo, la función 1/x es continua en el
semi-intervalo (O, 11, pero no está acotad!I' en este úl\imo.
!/
J{(i¡--- ----== -- - !/
-X:9-------- O a.a fl
Fig. 25 Fig. 26
Plg. 27
~- ..
llm f (xn") = f (a.). (2)·
Por cuanto l a s ucesión {xn} pertenece a la, b), ella está acolada y por
esta razón se p11ede formar en dicha sucesión una su bsucesión {x,,~}
que converja a cierto número ~. el coal pertenece, a c iencía cierta,
a la. bl. Mas. la función f es continua en el punto B. nor lo r.uR I
1
Por otra parte, M - ¡;;: < j (xn~) ,¡;;; M (k = 1. 2, ... ) y
!~~ f (x,,A) =M.
Teniendo presente q ue j (x,.h) puede tender sólo hacia un lí mite,
resu lta que M = f (~). De estll modo, la cota super ior (3) se alcanza
en el punLo ~. es decir, como suele dec;irse, la fu11.ci6n f alcanza en el
punto ~ su máximo so6re el segmento la, bl . Hemos demostrado que
<'Xiste un punto 13 E (a, bl , p11ra el cual
máx /(x)~f(~).
•E[o, b]
La demostración de la otra piu·to del taorema referente al mínimo
es análoga, pero puede ser reducida a Ja demostracíón de l a primera
parte del teorema tomando en considoracióo que
min /(z)~ - máx {-/(x)}.
xE(o, b] .xe(a, b]
y - sen (1/x)
§ 3.8. Funcione~ elementales !ÍS
la función representa uno recta, ¡¡aralela al eje x, qus dista ele este
oje a una magnitud J C J y pasa por encima de él, si C >O. y por
debajo, sí C <O. Es una función continua eo todo el oje real (véase
¡•l § 3.3, ojomplo 1).
b) Función potencial .xn (n es una constante}. Cuando n E N es
nntnral, dicha función está definida en todo el eje real. Para calcular-
la (!teóricamente¡) desarrollemos x en una fracción decimal (z =
= ±cx 0 , a¡ a, .. . ) y multiplictuemos cstn fracción por sí misma 11
vec.es, aplicando cada vez la regla de multiplicación ele las fracciones
decimales (véase el § 1.6 (11) y la rtlgla de signos.)
La función xn es continua, porque re}>resenta un produc.to do
funciones continuas (y = x) tomaclns en un número finito. Elln crece
estrictanwnte en (0, "oo) lo que se ve de las relaciones
x~ - x~ = (x, - z,) (~-· + ~-•x, + ... + x;• - > 1
) O
para x, <
a:2 • Además, esta función tiende hacia + oo, cuando z-+
-+ +oo. En efecto. si x ;;;a., 1, se tiene x" = zn·•x ;;;a., x {11 > t} ~·.
para x - oo. x"-+ oo .
Asi pu~s. In función <p (a:} = :rf'{para n natural} es continua, crece
e'tric.tamente en 10, oo) y para ellll qi (O) = O, sup qi (x} =
~ELO, oo)
= +co. Poro, en virtud del teorema i', § 3.G, la función y= x''
aplica el semiintervalo X = 110, oo).sobreel semiintervalo Y = [0,oo)
y existe una función, inversa de y, uniformo continua y estrictament~
creciente. Esta última func.ión se d(lSigna asl:
X = yl / n = y.y (y ;;;a., 0)
Por ello, en virtud do! teorema f', § 3.6, •11 función y = .i;S41 aplica
(- oo, oo) sobre (-oo, oo) y tiene on (- oo, oo) su inversa
z = yY, y E (- ao, oo), n = 2k + 1,
que es continua y estrictamenf,\I creciente.
La expresión VY para y > O se entiende como valor aritmético de
la rafa de n-ésimo grado de j¡, es decir, como un número positivo
Fig. 30 Fig. 3t
y se demuestra que
zP/q ... :x•/l/lfl = (Vx}P (x;;;;. O).
So supoue también
y, además,
x" ... 1.
P11re cualquier ll racional se demuestra la propiedad propia parll
uno función polenclal:
(ry)n = z"vn (r, y > O).
Observemos que la función y = :zP/q (p, q E N) es continua, crew
de modo estricto en el somiintervalo 10, oo) y aplico (0, oo) sobre
(0, oo) (todas estas p?opledades ss establecen sin dilicultades algu-
nas), raión por la cual tiene función i nvers11. conti nua )" estricta-
mente crecieot"6, definida , evidentemente, por la igualdad
% = ¡¡-" 1P, 0 ~y< 00
Es evidente que
lim:i:-p/q= +oo, líin y- •IP = + oo.
s-0
x>O •-0
v>O
C\lalquier función potenciol x" puede ser deJinldo. (para x >o.
y tambjén para z = O, siempre que n;;;. O), además, para n irracio-
nales, pero -es mejor :Qacorlo con ayuda de fa función exponencial a"
(vónse e) más abajo).
NoLornos que 011 los rlizonamien tos aducidos nos han sid o de
interés sólo las raíces reales ele la ecu.ación y =
x". Pero, si buscára-
mos las raíces complejas, se encontrarían n rníC')s distintas parn
cada 11 .,.¡:,O (véa!le más ob8jo ol § 5.3).
EJEMPLO ~. RrobJ)mos que
Hm ;Yñ= 1. (2)
o~•
§ 3.8. Funciones ele.ment&les 99
y si a,, .... +oo, entonces [et.] -.. +oo, por consiguíento, alo:nl -..
_. +oo . Pero, ea est.e C11so aª• -+ +oo .
Sea x un número racional arbitrario. Demostremos que el nií-
mero a• puede definirse como una cota snperior exacta
sup aª= a" (4)
"'<"
de los números a", extendida a totÜ!s los números racional.es a < x.
En efecto, a baso de 31 ),
aª< a", V a < :z:, (5)
es decir, S<l cumple In primera propiedad de la cotn superior exacta.
Po r otro lado, for memos uua sucesión estr ictamente creciente de
n úmeros racionales ª• que tiende hacia :z: (a,. -.. :z:). Para dicha
sucesión ª"'" -+ il'", n-.. oo. Esta propiedad se demuestra más abajo
(véase (8)) . Por ello, para cualquier e> O se puede encontrar tal n
que sea
a• - & < ª"" < a~, (6)
es decir, queda cumplida la segunda propiedad de la cota superio•
exacta. De (5) y (6) se deduce (4).
&la ahora :z: un número arbitrarío irracional y sea m un oúmero
oatural su perior a x (m > x). Se verifica, evidenwmente, la des-
igualdad
a« <a"'
«<•
es decir, el conjunto de números aa., exwndi do a los n{Lmeros raciona-
les a < x , está acotado. Pero, en este caso existe w1a cota superior
ex.acta de dicho conjunto
sup aa..
<><X
Es un número bien deter minado el cual se designará mediaote a"'1
a"= sup a«. (7)
ct<l<
Con esto queda definid!I la función a" para todos los z reales
(z E (-oo, op )). Esta funci.ón se llama exponenctal.
Asi pues, la funct611 a" se define como uoa cot{I. superior exact.a
de los números a", ezte11.dida. a todo$ los números racionales a< z.
Si :z: es racional, dicha definición c0incíde con Ja. antigua (da un
mlsm9, número) ,. en. cambio , s i los z son irracionales, da los números
nuevos .a".
Se pue~o demostr'ar qu.e la función a•, definida con ayuda de la
igualdad (7), posee las s igu iente5 propiedades importantes:
1) a"> O,
2) a"a• = a"+•,
§ S.8. Fwleiooes elementalos 101
Prol!lcmos ohor n \lll& su~slón a.r bltrarla de números positivos "'" < f , q ue
tienda e cero (rn - O,"'•> O). Sea k,. - (J/z,.J !aparte entera de lfzn· llotoocn,
O <z. < 1/kn Y
t -=- o.•< a~n ~ a1 11tn •
Por eso, eo virtud de (14),
lim a"" =I.
n-oo
Poracr {z,.}, donde .r,. >O, arbitrarla, queda demostrado que existe un Urulte
derecho
lim 11"=1, (15)
a; .. o
%.><I
pero, en este CMO exlate tambi~n el limite ftquierdo
t 1 t
~tP= 2;e.-;;=z-~=s7=1. (1&)
:c<O -x>O :;g
Oe (15) y (16) proviene quo
,._.
l[m •" ~ I
(v6ase ol § 3.2, (6), (7). Con 6ato la propitdad 4) queda complctsmente demos·
tzada).
l)cmoslrncl6n de 5). Pr clilr.mos un número M > O tao grande como se
quiera. Existe un oúmerc r aoloool ex tal que aa > M, por lo cual
M<a"<4", Vz> 1.1.
Por coosl¡uleote, a" - +oo cuoo.to z - +oo.
Demoslrac16o de 6).
~
11
1 - - --- --
- -1
Fig. 32
~ t"lg. 33
1 "'
- -llm - -
2 x-D ( )' (
sen T
...!...
2
1 sen
= -:- lim - -
2 :c-D
2...
.!_
2
)' 1
= -·1
2
TEOREMA 2.
Lím {1++)"=e.
;ii;-QI) '
(2)
(3)
.Para Zn-+- + oo, lznl = kn ...... +oo, ele lo que podemos concluir
que el Primero y el último términos de la cadena de desigualdades
tienden hacia e. Por ello
- (1+2-)"n+l ....._c
"" .
y, pubsto que en este caso 1 + 1.... ....... 1, quiere decir que hemos
demostrado (3) para i,. -+ +oo . zn
§ 8.9. Limites ootabfes 109
(t+-';-)"=[(i+: }*]"=u",;~/'·
Se debe tomar en cuenta que la función potencial u"' es continua en
el punto u =
e (véase el § 3.8, e)).
ElEMPLO 4.
§ 3.10. Orden
de la variable.
Equlvalencla
Analizaremos dos funciones cp {x) y lj> (x), definidas en cierto
entorno U (a) del punto a, salvo, quizás, en el propio punto a. El
punto a puede sor finito o iniinito (+oo, -oo, o bien oo). Convenga-
mos en considerar, además, que 'ljl (x) =I= O en U{(a). Si
, cp (%) o
..1~~rn= . (1)
'Por ejemplo,
sen :r: ~ z, :i-..,.. O, (3)
o abajo vienen unos ejemplos más (véanse también los ejemplos
i, 4, 5 en el § 3.9)
1 - cos z ~ z'/2, z-+0, (4)
lo (1 +
z) ~ z, z-+-0, (5)
t9 - 1 ~ %, z--..0, (6}
a•- i ~ z 1n a, z-+0. (7)
Observemos que si
lim f (z)
x-o
=A -:F O,
1 l;!'x "" 11 z• O O
-~~zr.+.T=~~~ :'+z= x~'"' + I = 1 - ·
01m11rcro:-:. SL para la fu11clén qi (z) se p11edet1 elegir tales mímeros
A y 111, donde A el= O, que
rp (z) ~ A (x - a)"', :t 4- a,
se dice que 14 /wtcl6n A (x - a)"' es el término potencial principal
de la función q> (z) en el entornq del punto a. ·
Los miembros derechos de las rel aciones (3)-(7) son, ovidoote-
meote, términos potencia les principales de lo~ primeros miembros
cuando z-+ O.
Diremos que f en el wnjunlo E es de ortkn q>, o, do otro modo,
f es O grande de 'I' en E y en esle caso anotoromos
f (z) = O (qi (z)) en E, (14)
si
1/ (z) 1,,¡;;; C 1<r (z) l. '!/ z E E,
donde C es uno conslllnLo posiLiYa q ue 110 rlo 11ende tle .r.
En particular, la igualdad
f (z) =O (1) en E
Cálculo diferencial
de las funciones
de una sola variable
§ 4. f. Derivada
El concepto de derivada es fundamentaHsiruo en el análisis
malemático, a Ja par con el de integral.
Se denomina derivada de la funci6n f en el punto z el ltm ite de la
raz611 de su Incremento 6 y en düho punto al incremen.lo correspondiente
del argumento ó.z, cuando lste último incremento tiende a cero.
Ln derivada suele designarse así:
f'(z)= lim & ... Hm H•+Az)-/lz>_ (1)
Ax-o Az A:r-O Az
4
Si>n de amplio uso también otras designaciones: y', 1),,"'l , : .
Lo comodidad de ta.! o cual designación se apreciará por el lector
más adelante.
Siendo z fijo, la magnitu d !~ l!S una función de 1.'12::
ó.y
'l!>(L\z)=Tr (llz+O).
Para que exista In derivada do f t'n el punto z. os necesario que
In función f sea definida 011 ciorto entorno del puolo .r, incluso en el
mismo punto r. Ent-0nccs, la función 1J> (llr) cstii definida para 6:.c
sulicientement~ pequoños y distintos de cero, es decir, para aquellos
Az que •.aUsfacen las desieualdade.s O< f Az 1< 6. donde 6 es lo
suficíontemonte pequeño.
Desde luego, el limite (t ) existe no para toda función f definida
en el entorno del punto z. En general se dice qu e l a función f tiene
on ol punro :i: una derivada /'(z), se. supone, como regla, que es finj-
til, es decir, el limite (1) es fíoito. No obstante, puede suceder que
eidsta el limite (1) infinito, igual a + oo, -oo, o oo. En estos casos
resulta conveniente decir que la función f tiene en el punto x una
derivada infinita (igual a +oo, - oo, o oo).
Si se supone en la fórmula (1) que Ax-+ O, tomontlo sólo Jos
valores positivos (óz > O), entonces el limito correspondiente (si
existe) recibe ol nombre de derit>ada derecha de / en el pu11to z. Se
puedo designarlo así: /der (z).
§ 4.f. Derivada HS
Do este modo,
Ay { 1, si x>O,
lxl' = ~·-O
lím -Az = - i, . x< o.
SI
P or OSI.a razón
lim~='l
i\.x-+0 t.\Z '
t.;r>O
=
Así pues, la fu 11ci6n 1 :r 1 ~iona on el punto x O una dedvad a
dorochn igua l a 1, y u 1111 dorivado i?.q uicrda igunl u -1. lo qul' es
indicio do que en el punto x "" O lo fu nción 1 x ¡es tá pri1•nda do Ja
derl11a4a.
Snl>emos que (véase el § 3.3, ~jccnplo 8) J z 1es una fWlci6n conti-
nua pora lodos los valores de z, incluso en el punto z = O. razón por
la cual puede intervenir como ejemplo de una función conlinna en
tocio punlo sin <1110 tenga derivada en uno do cllus. 'En las matemá-
ticas se conocen ejemplos de l as íunciones que srm conHnu~s en lodo
ol oje ronl y no tienen derivado cu ningún punto do éste. Tal es,
por cj~mplo , la fu nción do Wder!ltrass representada por una serie
trigonométrica
..
~· (:r) ... ~ 2-" stm 2"11x.
n-0
~! - f'(:r)+e(Ax) , (2)
!/
l'lg. 37 Fig. 38
(1)
tga:=lÍDl ~ =/4.,(z).
Ax- o
l.tx>O
3) llm ~ - - oo .
/Í,q= .a-o ~-- ; .
Ax< O
/~cr(x)~llm ~V
óx-0 u:S
- -oo, ~-7- 2n.
ox>O
Las tangentes izquiordn y derecha e.~tán orienladas de modo tal
que son pualelas al cjo y, la primera hacia auiba y la segunda hacia
a bajo (fíg. 43).
Obser vación. La de!in ición corriente do lo tangente a una
curvn rescomo sigue: 1a tangen te T a la cuna en su punto A es r
g ... T
o J:
Flg. 40 fig. 41
y y
T
o
l :¡;
T
.:ti o
T
A
w .:ti
Flg. 42 FJ¡¡. 4S
!/
Fig. 44
Flg. 45 f'ig. 46
Yy 0 = p (X + :i:0). (11)
De este modo, con el fin de obtene.r la ecuación de la tangont.e
a una parábola en su punto (x0 , 11 0), hay que en la ecuación de la
parábola (10) susti tuir y1 por Yy0 , y 2:z: por X + :i: 0 •
La tangente (H) a l a parábola (10') en el punto (x0 , y0) do la
misma corla el eje z en un punto de ab:scisa (-.r0) (fig. 46), inde-
124 Capitulo 4. C5Jculo diferencial
§ 4.3. Derivadas
de las funciones elementales
La constante C. A cadu x corresponde un mismo valor de g = C-
De La.! manera, al valor x +
tix corresponde el Yalor ele la foncióa
g + óy = C. Por cousiguiento,
e' = Al'11n C-C
- -
x- u 6 ~
=
11
l'1m T=
4
A,,,.-o
I'1m
i.\:x-o
o= o. (1}
. . . + óx"-1 ~ nx"- 1 •
Son v;ilidas las f6rmuln.•
{u ± v)' = u.' ± v', e:~>
(uv)' = uv' + 1/v, (4}
{"7 )' = .,,·.~w' (v=¡l=O). (5)
( ...!±..)'
v
- llm
~•-O
(~-~)...!...=
v+l!.v v l!.z
/J.u /J.v
= lim v/J.u - u/J.v ~ lim •-¡z- u-sz u'v-1w•
Ax-Q (•+Av) ot!.r .i.x-o (•+ l•I • - -.,.
--
Eslll vez también se debe tenor en cuenl11 que Av-. O c.uan<lo
Ax - O, yn que 111 í1uici6n v es conlloua, pues litno una <leri n11fa.
Examincmo~ 111 función sen x. Tonemos
(sen x)' = cos x. (6)
,porque
.,
_son 7ilZ cos ( '"'T /J.z )
(~on x)' = l!m sen (z + ór)- sen.. lím
Ax-o ó.z A.x-•O /J.r
seny ""'
~ lím--,- lim cos
(/J.)
x+T.i: - 1·cos.:r~cos z.
Ux- 0 ~ A:c•O
2
Es ncecsnr io te11er en cuenta que la funeiciu cns x es continua.
Análogamente se demuestra quo
(cosx)' = -sen x, (7)
(Lgx)' = scct:z:= -cos',-% , (8)
(ctgx)' = -
son "'
cosec1 x= 4 . (9)
log4 ( J+~}
A"
obtenemos
{log. :r)' = .!. Iog. e= .:t- 11DO •
%
(10)
Ea particular
(ln :r)'=+ . (fO')
§ 4.4. Derivada
de una función compuesta
TEOR.EAJA 1Si 1ma funci611 x = qo, (1) tiene derivada en el pun-
to 1, y la funci6n y = / (:r) tiene deri.i·ada ett el punto :r, e11to11c.es la
/u11ct611 compuesta
y = F (t) = / l•r ll) I (1)
tiene derivada (respecto de t) m el punto 1 y se vertftca la igualdad
F' (tl = j' (x) q¡' (1) (2)
o bic11
YÍ = Y~Í- (3)
Demostración. Prefijemos un t, le corresponde el valor de
x = 'P (t). Domos a l un incremento l:i.t .P. O, esto originará un
incremento t:i.x = cp (t + 6t) - cp (t). Como la función y = f (x)
tiene d.erjvada on el punto x, ento11ces, en vir.tud de Ja igu aldad (2)
en el § 4·.1, tonemos
+
tiiJ, = /' (:¡:) t:i.x e (6:r) ó.:r., (4)
rlondn e (6·:r) -.. O para ó.x-.. O.
·eonvongamos en considerar que e (O) = O. La igualdad (4) en
este caso se verifica y si ponem¡¡s·en ella 6x = O, se obtendrá O = O.
Dividamos ahora la igualdad (4) ·por ó.t 9= O.
Ay
Ti = f' (x}T¡
A>:
+ e ( c:r.
A ) A.>:
Ti · (5)
_§4.5. Derivodo de una íuneión inverSA - - - - - - ' - 1 2:;;.7
y~ - +
sen z
(sen:z)' = ••
1
.,...n z
2
, 2son x (sen x)' = - -cosx - 2ctg x,
sen :i
y;=~
sen•~
2seo x cos :z:= 2ctg x.
§ 4.S. Derivada
de una función inversa
Suponga11ws que la frmcl6n 11 =/
(x) estrictamente crece, es conti-
nua etl et Intervalo (a, b) y time derivada ftnita /' (z), dfstf11ta de cero.
en rierw pwito x E (a, b). 1lftentras que la funció11 l11verS11 de f, x =
~ ¡-1 (y) =- g (y), tiene tambt6n derivada en wi p1111to correspondt.e11te
y ésta ~e determt11a $eg1í11 la /6rrnula
~·(y) = /' ~..) (1)
o bi~n.
(J')
128 Cap!lnlo 4. Cá.leulo dlfereocial
es decir,
(arcseo z)' .... - -1-
yr.=z;·
Ante la rafa se ha puesto el s igno +. pnestQ que cos 11 >O en
(-n/2, n/2). ·
3. (arecos:i:)' := ( f-arcsen % ) ' = - v11-z1·
4. v= arctg :i:, :i: = tg v es una función inversa ( -co< :r: < oo,
-nl2<v<n/2). Enton~
:t!1 ~ l"'"''"·
Ya quo las funciones e• y e; ln :r tienen su derivada, entonces de
acuerdo c.on el teorems. sobro la derivada de una función compuesta,
obtenemos
De este, modo,
(zO)' ~ az0-1.
o;;r Este resultado concuerda con la !6rmuJa. (2), § 4.3, para Ja derh:a-
da de lo. funci6n :r" (:r E (-oo, oo)), donde n es un número natural.
7. Punción y = u (:r)"CX) (u> O). Si u (:r) y v (:i:) tienen las deri-
vadas, Jo misma propiedad t iene la función
(i)
y
(u')' = e•ln• (v '11 u)'':" u• ( f ,u' + .v' In u). (2)
La expresión
(In J(:r:)J' = j (~~> (3)
I '• . -- '
se donomina derivada lcgaritmlca de la funci6n f.
e-o 13' 0
130 Capítulo 4. Cálculo diferencial
Darlo que
In uº = v In u,
ent<'nCes, en virtud de la fórmula (3},
(u.•.)' = (v Jn u)' - v' lu u+ "u' ,
u u
de donde se deduco (2).
8. Funciones hiperb6licas
~-r" )'
(shx)'= ( --i
- - = --
ex+ e•x
2-- ~chz,
(chx) =
' ( e%+e~ )'
- -2- - =--
eX-rx
2
- -= shx,
Entonces la _razón !!
puede ail.o.tatse, para .6:z:·suficientemente pegue-
·ños,O)?. form!l de una suma do f' t~) y cierta función qui) se designará
mediante e '(.6:i:) y que posee la propiedad de que tie~de a aero a la
par con Ax:
~! = /' (:z:) + e (óx} (e (Ax) - O, A:z:-.. O)
y el incremento de f en el opúnto :z: puede ser escrito así:
Ay = f' (:z:) Ax +Ax· e (A:z:) (e (Ax)->- O, A:z:-+- O)
o bien
A¡¡ = f' (:z:) A:z: + o (óz).
Az·~o
(1 )
§ 4.7. Diferencial_ de llDl funcl6n 13t
~=A+~=A +o (ll.
A:s: t,.:_ 0 4x-6
El limite rlel segundo miembro existe, para ór - O, y os igua l a A:
lím ~=A.
6.:<-0
óx = 0,001:
Es evidente que
d"y ,.. /1"1 (x) d.r' • (1)
puesto que esta fórmula es justa para 11 = f , y si admitimos que es
justa paro n - 1, entonces
d"y ~ d [/<•-1> (x) dx" "'l =- dx•· 1d [/l""'l (x)l = /t•l (:r) d:z:•.
Por supue.sto, para que exista la diferencial do n-ósimo orden de
la función y - f {.i:) en el pllllto .i:, es necesario que. la función citada
tenga la derivada /<"l {z) de n-ésimo orden en el mismo punto.
En virtud de (1) tene.mos
(2)
§ 4.f1. Diferenciación
de las funciones definidas
para métricamente
Supongamos que la dependencia entre y e :z: se expre.,a mediante
•tn parámetro t:
X = <p (t) }
= 11> (t) , t E (a, b) . (1)
11
Esto debe entenderse en aquel sentido que oxis te unn función inversa
-Oe la función :i; "" <p (t) y puede escribirse la forma expHcita de la
-dependencia entre y e :i;:
y ="'[q>- 1 (:z:) J. (2)
Buscaremos la derivada de y respecto a :z: en términos de las deri-
vadas de :i; e y respecto á t. Emplearemos fas designacipnes y~,
z;,
g;, ... , yj, donde la letra abajo indica reapecto a qué variable
se bu.sea la derivada. Debido a Ja i ovariancia de la forma de la pri·
m era diferencial, y~ = dy/dx. Pero, d¡¡ = vi dl, dx = :z:í dt. Por eso
• d , "l ( YÍ ) d ( VÍ ) di "'ÍVi-vjzj
Ye""' -¡"; !lx=-¡z ""if ==F 7f %f' -,¡¡""' (.,¡)' (4)
§ '-12. 1'ooremas del valor medio t39
Es evid ento que si la función f (x) crece (decrece) on (a, b), será
creciente (decreciente) en cualquier punto z E (a, b).
T.llOJ\lmA 7. Si r
(zo) >o (<O), La func16n !I - f (x) crece
(decrece) en el punto x0 •
Demoslracl6n. Por cuanto f' (x 0 ) - lím
6.-o
%,
entoocos, al pre-
f ijar e> O, se puede encontrar tal 6 >O que f' (x0) -e < !!<
< f' (z0) +e, cuando l 6.:r. 1<6. Sea f' (z0 ) >O. Al to mar e</' (:r.0 )
obtenemos que !~ > O para 16.:r.1<6, es decir, la función /
crece en el punto :r.0 •
Observación 6. Si la función f tiene derivada y no decrece en
(a , b), entonces f' (x) ;;;.. O en dicho intervalo. Sioodo vigentes las
condiciones onunciadas, res11lta imposible que en algí10 punto x E
E (a, b) la dorivada de f sea negativa, pues esto contradiría el teo-
rema 7.
Si f tiene dorivada y es llStrictamente crccionte en (a, b) y si
no disponemos de otra información acerca de /, de todas formas
tendremos quo concluir que f' (x) ;a. O en (a., b), puesto que u na
función estrictamente creciente puede tener en ciertos puntos da
(a, b) uon derivada oulo. Tal es, por ejemplo, la f1111ci60 :r;B que es
estrictamente crocieote en (-oo , oo) y que tjene, para % =O, una
dt-rivada igual a cero.
Obser,.acl6n 7. Si una función crece en el punto z 0 , no es creciente de modo
obUgatorio on cierto entorno del punto r 0 •
Como ejemplo puede !nlcrvcolr una func! ~n
o,
F (.z) = "
{ -2-%, senz,
1 .. .¡. o.
Es obvio que
..=_ _ _.. &eo.!.
2 ., t
F' (O>~ llm ... z ~2
~-o
=
quier entomo poqueño de Cllro lanto. valores poaltlvos, como neroUvoa (Véaoe
el teorema 5). Pa.fo.z,. .~/kn (k ,.. 1, 2, •.. ) I~ ~erivada es !gua 0 8/2, alendo
k par, y ea fgual a - 1/2, til /e ea !mpú.
'l'EORSMA 8. SI la funcl6n / {z) ts par (lmpor) ~ dl/erencloble .,, f-a, al,
•ntonce1 /' (%) tt UM /U11t:t6n Impar (pa r).
Demostracl6a . Como que f (.a:) GI f {= .. ).v..
E (- o, o), lu derlndas ae loa
miembros izquierdo 'f deieeho eolocidañ tambl6n: ,/' (z) • - ( (-z), es decir,
j' (:<) es una luncl6o •mpar {la misma, aflrmacl6n puede ser demostrada partien·
do de la delinlcl6n de derivada) . - ·
S 4.13. Revelt.cl6n de llldetermilleolonea t 45
§ 4. t3. Revelación
de indeterminaciones
Diremos que la razón ~ ~~ representa una indeterminación de
In forma% cuando :r: ->- a, si J[m f (:r:) =lim g(z) =0. La revelación
""'º """'
de dicha. indatorminnci6n consiste en ballar el llmit.e lím ~(<"'1 ,
x•a 1> z 1
al existe.
TEOREMA 1. Supo11gamos que f (:r:) 11 g (z) están defintda1 11 son
di/trtnciablu en un entorna del punto z = a , salvo, gulzát, en el
mirmo p1into a. 11 tn dicho entorno llm f (:r:) = Hm g (z) = O,
g (:r:l y g' (:r:) r¡. O. Entonces, si tziste Hru ( r~
x-a 1 z.,
«:-.O
, :t-0
existe también
Ji m i l i y se veriCica la igualdad
•-• ~ (z)
lím / (z) = Um /' (z) (1)
·-· g (z) %-0 g" <~> .
Oemostracl6n. Vamos a cons iderar que a es un número finito.
(Véase más abajo la observación 3 para el caso en que a - oo).
beCinamos adicionalmente f y g en el punto x = a, suponiendo
f (a) = g (a) = O. ,En est.e caso las funciones serán continuas en el
punt-0 a. Analicemos el segmento (a. zl, donde z > a, o bien .:r < a
(véase la observación 5 en el § 4. t2). En la, xi las funciones f y g
son continuas y en el intervalo (a, z) son diforenciables, por lo cual,
de acuerdo con el teorema de Cauchy, ex isLo un punto ~ tal que
l im - ,<(..-)
> !' m I' Cz>
= lim---r=-(t¡ = li m -.--( ¡, (2)
x-o ll z t-a 1 'j x-o g %
a condición de que el l imHe en el segundo miembro de la igualdad
existe.
Con esto q11eda demostrado el teorema.
0b5t'rvac16n 1. Si el límite en el segundo miembro do (1) no
ox iste, puede existir el limito del primer miembro.
ll.Tl!MPLO. Como son x ~z, resulta
r!en.!
líru ---"-- lím :i:sen
.... 0 seor :r-o
.!.-o
s
.
10-01380
146 Capitulo 4. Cálculo dilerenclal
No obstante,
1
2% seo - - cos .!.
lím - - -cosz
x-o "--- "-
no existe.
nación de In forma
dicione~
*
Obsorv11tl6n 2. Si lu expresión
y
del t eorema 1, ent onces
~'. ~~ representa una indetermi-
lns !unciones f' (z). g' (z) sa t isfacen las con-
llm
~-eoo
.i: - o,
tJ
"ta.>0, a>i .
1)L'Hospital G. F. (1661-ii04). un matemático franc:&. Berooulll l.
(1661-1748), un matom!Ueo sulio.
§ 4.t3. Revelación do lndotermillaaion• t4T
=- ~lim z;«. = O.
ex ~.. o
b. /11determi1u¡ciones de la forma i'°, 00, oo• se roduceo, para la
expresión do f', a lo indetermlnnc.ión O·oo. SP.gún In defin ición de
esta función, /ª = e'I/ In t (/ > O).
Si
lim g In f = k,
tenemos
·~·
t48 Capl1ulo 4. C6lculo diterenofal
(1)
o bien
(k=O, 1, .. . , n), (4)
P. (x) ~ ±Pt
""'º
{z-z0 )"= t
.k-4
p,; (z - z 0)".
•-o
La fórmula (2.) se denomi na /6rmula de Ta11lor para el poltrumiw
P. (z) en potet1eúu de (z - z 0 ). Observemos que el segundo miembro
do (2') de hecho no depende de z 0 •
UllMPLO 1. Sea P. (z) = (a +
z)" y z 0 ... O. Entonces, en virtud
de (2')
~
Qn (r ) -._. """" /lk)(z0 ) ( _ )"
(6)
kl X Zo '
l=O
f(z)- ~
-L.J
~(z-:r
kl o)A+ /ln+•l(e) (z-z )"••
(11+ t)1 o • (8')
•• o
La fórmula (8') se llama fórmula de Taylor con el t6rmino residual
en forma de Lagrange.
Hemos demostrado un teorema de importancia.
TEOREAIA 1. Si ta fwu:i6n / tiene en un entorno del punto :r0
Una derflJ(lda COntínua f"+I (z), para cualquaier Z dt dicho entorno St
encontrará un punto e E (z 0 • z) tal que / (z) puede anotarse según
la /6rmula (8').
Aqui e depende de x y 1L.
Si el punto x0 = O, In fórmula (8) se conoce con ol nombro de
/6rm1<la de Maclaurin.
Sabemos también otras formas del térmíno residunl do la rórm11la
de Taylor. Es de mucha importancia, por ej0mplo, la forma de Cau.chy
rn (z),,. (J:- :r,,)"~
1
(t -Ol" ¡tn•t) (z0 +e (x-z0)), (tO)
"
"z'--~ (:>+.1) .
L.J 1- z
-..o
Por eoo
n n
t '1 zn•1 ~
'i> (z) =t=z • L.J z)I + "'i-=% = L.J ..~+,"._~•). (17)
•-o •-o
Por olra parte, la fund6n .¡.tiene en el entorno del punto "' = O las deriva-
d•• de cualquier ordeo, por lo tllDto para dicha luod6n tieoo lugar la fórmula
de Taylor con el re!iduo en la forme de Peano
.
suma de Ja se.rie. Al mismo tiompo se anotan para expresar lo dicho
resulta qae
(zo) ( x-xol" '
f (x) = 'V
,(,J _/ CA)
_k_I_
•-o
o S(la, la función f (x) es una suma de su serie de 'l'aylor en cierto
entorno del punto x0 , para todo valor de x E (z0 - 6, x 0 6). +
En este caso se dice que la funcl6n f (x) se desarrolla en la serie
de Taylor m potencias de (x - x0 ) convergente hacia si misma.
TEOREMA t. Si la funci6n f tiene en el segmento lz 0 - 6,
.x0 +6) derioodiu de cuaU¡uter orden y el residuo de s1i f6rmula de
Taylor en el segmento numclonado tiende a cero para n-+ oo
,,_ ..
lím r. (x) =O, :r; E (x 0 - 6, :r:0 8), (4)
entonr.es. f se desarrolla. en una serie de Taylor en el mtsmo segmento
+
gue converge hacia la misma funci6n f .
Oemostraclón. Supongamos qué la función f tfone en el seg-
mento f.:r 0 - 6, x0 +
81 derivadas ele cualquier orden. Entonces
dichas derivadas son continuas en [z 0 - 6, x0 + li], puesto que,
si f tiene la derivada /<~> en fx 0 - 6, :r;0 +
6), la derivada ji•-•>
stwá continua en fx 0 - 11, x 0 + lil.
Por eso p11ra nuestra función tiene sentido la fórmula de Taylor
n
~ /(k) (:rol (
f (x ) - ,(,J - -k-1- z-:i:0)• +r. ( x,
)
k=O
En este caso, en virtud de (4).
(3)
156 Capítulo t.1. Cálculo diferencial
" a
•= ""
L.J 1
-¡;¡-l-;;r
t~o
In (1 + z)=z- 2
i:•
+ ... +(-W• 1
%1'
7+rn(x).
Empleando las formas de Lagrange y tle Cauchy del lérmino resi-
dual, se puede mostrar quo
Hm Tn (.-i:} =O para -1 < .-i: ~ 1.
n- ~
ln(i +x) =~
._, (- 1) ~ (-1<x~1).
1 1
"
= l{m
-{ f +. . )"'+•(:r'J ll m [-.!-c:r:+ o(1)1. = -..!.2 - c:r:.
z-o % :e-o 2
Observac16n 1. Si
f' (xo) = o y r (xo) = o, (3)
la función f puede tener extrem9 y oo tenorio ¡¡n el punto. x 0 • Por
ojemplo, las funciones :i:' y x' satisfacen las condicion8S (3) en el
punto x 0 = O, ·P!lro la: prrmera de •ellas .no tiene extróD;IO ón dicho
punto, mientras que la segunda lo tiene y este extreµio es un mfnimo.
TEOJU:PfA 2. Sea f' (x0 ) ~ .!' (x0 ) = . . . = ¡<n> '(x0) = O y su.-
p,ongarrws que f<n•t) (x0 ) =F O y és contirnu1- e(I el entorno del punto
.x0 ; entonces:
+
si (n 1) es par y ¡<n••>(x 0) < O, en el pwito x 0 f tiene un máximo
local;
si (n + i) es par y ¡<n•o (x0 ) >O, en el punto x 0 f tiene un mí·
nimo local;
si (n + i) es impar y /<n+•>(x 0) :p O, entonces a ciencia cierta f
no tiene en x 0 extremo local.
La demostración de este teorema se basa también en la aplica-
ción de la fórmula de Taylor. Tenemos
f (.x) - f (x0 ) = 1"'(;..;.o!~;• /<n+l) (e), e E(x0 , x) (4)
1h
V
/¡\ 1
o illq (¡;
F1g. 52 Fig. 53
punto un mínimo (fig. 52), siompre que el signo menos se troca (¡al
crecer rl) en el más, y un mbimo (fig. 53), si el signo más se cambia
en el menos. En este caso no es obligatorio que f' (r 0) e:tista. No
obstante se requiere que f sea continua en el punto x0 • Examínese
lo función
1 x<O,
f(x) = { ~:: z~O.
'ó
l!JEMPW 2. La func1 n y-= -¡:¡:z; ; y = (t +..•¡l •
1 • - :!z
Vemos que y'> O cuando x <O. y' < O cuando z >O. y, ade-
más, JI es cootj.nua en el punto :r = O. puesto que, de acuerdo con el
teorema 3, Ja función y tiene en el punto z ... O un máximo local.
La función está privada de otros extremos locales.
UEMPW 3. La fuoel6o u-= 2 - :el ( i - ••o f) (z.,&O), !/ (0}=2, es
eonllouu eo el punto :z: ~ Oy tleoo mbimo local: y (z) < 2 • 11 (0), Vz. Si.o
embargo, 110 ,. pmd• elegir un •Morno d<l punto z = O do modo tal que para
z < Ola fu.nclón crezea en dieho punto y decrctca, para .. > O.
En eleciAl,
11'=-2.<(t-sea +)- cos+ (z.,..0).
{ º·
f (z) = z • sen 1 ,
7
!J
Plg 56 Fig. 57
/< 0 ••>(.z,) <O, 6 /tn+•) (z,) >O, 11 si n es par, .z0 será u11 punto
de inflezl6n. de la curva.
La demostroción est!Í bnsada en que tiene lugar, en las condi-
<:iones citadas, un desarrollo seg ún la fórmu la de Taylor
( }A•I
/(:e) ~f (x0}+(x- x0 ) / ' (x0 )+ ~;;-;t)I f'"•t•(xo+9(x - xo)).
Como concl usión obsorvemos que se dico, además , que la curva
y = f (x) tiene un pon lo de inilexión en ~l punto x. dondo ll\ deri-
vada j' es i gual a + oo 6 a -<X> (v~anse las figs. 40 y 41 del § 4.2).
P or definición . una cu r,·a y = f (.r) so denomina conioe.ro. hacia
las y positi~-as (hacta las y ncgatloos) en el segmento la, b), si cualquier
lll'('O d e dicha curva con extre.mos en los pun~os de abscisas :i:¡, zs
(a~ .r, < .r~ ~ b) está dispuesto no más abajo (no máJ! orriba) de la
cuerda que uno los extremos del o.reo (!igs. 56 y 57).
Observación. Si fes diferonciablo en In , bl, la definición aducida
de e-0nvexidaJ en un scgment.o es equivalente a la siguien~e: una
curva y = / (x) so llama convexa hacia las y positil:as (hacia las y nega-
tivas) m el segmento la. bl si es convexa hacia las 11 posi tivas (negati-
vas) en cada punto .r del intervalo (a, b).
TEORt:MA 4. Sea f una /un.ct6n conttnua en (o.. b] y tune en
(a, b) una derivada de segumlo orden.
Pnro. f[!•e u11a cur11a y = f (x) sea convexa hacin. las y positivas
(negat.tvas) en In., bl, es necesario y suficie11le que se verifique la de--
sigualdad !' (x) ~ o (/" (x) ~ 0} para cualq1üer x E (o., b).
Omitimos 11qui la demostración de este teorema.
168 Capitulo 4. Cálculo dlfere11eial
-J
Fig. 58 Pig. 59
§ 4.20. Asfntota
de ·la grlifica de una función
Se dice que la recta x = a es una aslntota vertical de. la gráfica
de una función. con~inua y = f (z), si por lo meno.s uno de los límites
·Jim f (x) o bien lím f (-x)
x-o ~~~
%>0 «<a
es igual a 90.
Si la función y = f (.:a:) viene dofinida para x > M (x < M),
dicen qne la recta Y = /ex + b es una as!ntota oblicua de la curva
=
continua il =
f (x) cuando.x ->- +oo (.:a:--+- -oo), siem).lre qµe f (:i;)
= h + +a
b (x}, donde lím a. (x) =O {es decir, I / (x} -
x-+""
cx--oo)
-kx - b ( es un infinitésirno cuando x ..... + oo (.x-+ -oo}.
§ 4.20. Asíntota. do la :gráfica de· Ul\ª función 16~
!/
y
~
Q 31
\ l'ig. 60 Fig. 61
Luego,
x~~Jv-( ± +x)J=
-=±.!!._ lím lV.z.=ai-xl=±.!.. lím -•' O.
a x-+oo a x ... + oo V z'-a 1 +z
De es~e modo, ae conformidad con el teorema domostrado, las
cectas
y=±.!..x Q
§ 4.2t. Curva coiiliDua y .suave
son .las asíntotas de nuestra curva, con la particularidad de que el
signo + se roflere a la mitad derecba superlor de la bipérbola, y el
signo - , a la mit ad derecha inferior. do la cnxva.
Debido a la simetría se pone claro. que estas rectas son asintotas
también para x-+- - o<>. En este :últrimo caso el signo +
corresponde
!/
Flg. 62
donde qi y'!> son unas funciones continuas en (a. b}, definen cierta
curva continua definida con. ayuda del parámetro t, es decir, un lugar
geométrico do puntos (q> (t) , '11 (1)) ordenados mediante el parámot.ro
t E (a. b). C'1ando t creco, el punto (<¡> (t), ,¡, (t)) se desplaza por un
plano. No está excluido que a los diferentes t (t1 y lt) les corresponde
un mismo punto del plano: (<P (t 1 ). 1p (t1)} = (q> (t.), 11> (1 2 )).
La cnrva continua (1) se dono01ina s1iave, si las funcíones qi (t)
y..¡; (t) tienen derivada C-Ontinua en (a, b} y si se verifica la designa].
dad
qi' (t)' + $' (t)' > O, Vt E {a, b). (2)
Designemos la curva (i) con r. Sen t 0 E (a, b). En virtud de la
condición (2), \lllO do los números q>' (t0), ,¡,' (t 0) es distinto de cero.
Sea, para concretar, <¡>' (t 0 ) =cfo O. Entonces, por ser continua q>' (t),
existt\ un i nt1.>rvalo (t0 - 6, t 0 + 6), an el cual qi' (t) conserva el
signo de qi' (t0 ). Por consiguiente, q> (t) es estrictamente monótona
+
en [t 0 - ll, t 0 ll l y, además, como ya sabemos. es continuamente
172 Capítulo 4. Cálculo dilereucial
x~. 1• xh. 2, • • • (k = O, 1, 2, •. ),
y crece asín- [ - 4
tot.nv=%- t l decrece
asínto ta
vertical decrece
1
o
1
decrocG
asintot.a
v=z - 1
y'
1
<O [<o <0 -
1
>0 l> 0 I > 0
X= te 1, }
y = te-• (-oo<t<oo). (1)
-2
/\ -J
__ _,
Fig. 64
Plg. 6Sa
( ..!=!..,-.1)'
1+1 2 1•- 2 ·-31 (3)
(f+iiT• .
§ 4.22. Esquema de construcción. de la gráfica t77
De donde
11~11-,i,VZ=O. (4)
Nos interesa ah-ora el valor de t =
~l/2, al cual c·o nesponde el
punto B =- <-Vie-i."'2, -V2ell2) E r,.
De (3) se ·ve que si t < - V·2 (es decir, en Já ¡iarte de r 1 que está
más abajo del punto B), entonces y;< º·
y ri gira Sll c9ávexidad
!/
A -e JJ=(-·/i/VZ,-Vio 0.
Fig. 66
L ' L
~· -l.
o
Flg. 67a Fig. 67b
L
o
Fig. 67e
t'ig. 68 Fig. 69
en este caso que la curva T viene prefijadii por mt1dlo del paráme-
t ro t . Sn cc.uación puede ser riada en In forma vector ial
r (t) 7 ·:r (t) i +
y (t) j (a< t < b)1 (1')
donde i , j son lo-~ versorcs unidades dB los ejes, :r, y, tcspcctiva-
Olent e. y r =
r (t) es ol radio vector de 11n punto de f , corresponcl ien·
le al valor t del parámotro (fig. 68).
El vect.or r (t) se denomina / unctórt ~·ectortal (defi nida parn
t E (a, b)).
Se di® cou este m otivo que la curva r es un hod6grafo de la fun-
ci6o. vect orial r (t}, e¡¡ decir, un lqga.r . geométrico de ex.tre.mos dl) los
vectores r (t) que parten del punto..nuJo ·o.
L a curv·a r so lláina suave en· (a, b), si las funciones :r (t) e y (t)
lienen derivadas continuas en (a, b) no nulas s imultáneamente.
Si t recibe un incremento l!.t, el vector r adquiere el incremento
(fig. 69)
Ar = r (t + ót) - r (t} =
= l:r (t +M - :t,(t)I i + ly (t + IJ.t) - y (t) l ¡ =
= ózí + Ó.yj ,
§ 4..23. Puoeióli ve<:torial Veewr8l 181
donde a es el áugulo formado por 'f y la dirección positiva del eje .J:.
El vector unidad <k la 1iorrnal o r, es decir, el vector unidnd per-
pendicular a "· se det-0rmino por la ecuación
V = (v, , 'V,},
v1 = :¡: sen ex, v 2 = :¡: cos a (3)
o bien
V - g' (3')
• ca + V z''+ v'' , "'i= ± Vz'ª+v·•
i82 Capítulo 4. C'lculo diferencial
EJ determinante
r(t) rltJ
Q tr: Q :JI
Fig. 70 Fllf. 71
tras que Jos ínferiore.s, al caso en que el par ('t, v) está orientado del
modo contrario (fig. 71).
La segunda derivada de In función vectorial r (t) (véase (1 ')) se
determina como el Límite
';. (t) = lím ~ (1 + &t) -~ (t) x· (t) i +y• (i) j.
61-0 M
En J~ fig. 72 está expnesta una curva f; el punto A corresponde
al valor t, y el punto B, al valor t +
ót. A los puntos menciona-
dos están aplicados los vectores tan-
V gentes ~ (t) y r (t + ót). Trasladamos
el segundo vector de un modo tal que
esté aplicado al punto A. En la
figura vemos designada la diferencia
Ú = ~ (t + ót) - ~ (t), como tam-
bién el vector D. ~ ! at, ·orientado igual
-c. + - - -.......----1---_.a: que 6;.. Por f in, est á marcado el
0
vector limile ; = ·; (t). El vector ~-está
0
donde Rn (t), Rn (1) son los términos residuales en alguna de las formas conoci-
das (de Lagrange, de Cáuchyiet.c). Multiplicando (4) por i, y (5) por i. y sumando
los resultados, obtendremos a formula de Taylor para la función vectorial r (1):
r (l)=r (10) + r' <:ol (1-10) + ••. + r<"~{1•1 (l-t0)"+rn (1),
1
donde el resto
r,. (1) - Rn (1) i + R,. (1) ¡.
Ha de noiarse que si los rsstoa R,. ~I) y ii. (1) se anotan en la forma de
Lagrange o en la de Cauehy las (n +
i -6slri:ías derivadas de las funciones
z (1) e y (l) que figuran en eilos, se caleu an, en el ceso general, en los puntos
disMntos.
Capítulo 5
Integrales Indefinidas
J
2°. dF (:.) = F (x) +
C, es decir, ) y d son también recípro·
camen te reducibles, pero se debe añadit ciertu constante C a F (x).
Tenemos JdF (x) = J F' (:e) d:c = (por definición} 1= ,F (:.) + C.
3°. j Af (x) d:c = A ) f (x) dx + C, donde A _es un númer<>
186 Capítulo 5. Integrales indefinidas
6. J r ~. r ~=
cos ·z =ig:z:+ c. J son z - ctgz+c en un intervalo,
o!lond11 la función subintegral es continua.
§ 5.J. lntegral indefinida 181
arosenz+C,
7• 1-v...,=:=za~ { -arccou+C. (-t<z<i).
Í dz { arctgz+C,
8
· J 1'+ii = -arcetgz+C,
9. l shz dz=ch z+C, ~ chzdz=slu+C.
10. ) chs;i: = tgb:c+ C,} st.'., = -ctglu+C {z:;<!>OJ.
H.
Jr ydz
..•+1 =lnj:c + l/zs+1l+C ... Arshz+C,
J v:-ll =ln lz +V.xa-1i+C-Arcchz+c. (lzl>i).
) sen(az+b)dz= - f cos(a:i:+li)+C.
188 Capl~ulo 5. Integrales lndofinldas
~ ':;,, ,
1
logaritmo integral.
~ eo;z d:i:, coseno integral,
l se:z d:i:, se110 integral.
Las Integrales c.itadas, aunque ex isten, no son funciones elo·
m~nlalcs. Ha'y otros métodos de su cá lculo. Por ejemplo, el seno
luLegra l puede sor represcnla do en formo de una serie infinita de
potencias (véase el ~ 4 .16)
( sen:r e +:i:- n..r + ~
.i - %-d:i: = s.51 + · · · ·
Jt (:i:) dx= j f (q¡(t)) cp' (t) dt·+c = j f ('ll (t)) dcp (t)+C. (1)
Jr (-
f _d:t_ _ _L 1- - -1- ) dx-
j .i'-o: - 2a .z-a .:+a -
5 z•+pz+q
th
J (z+(p/2¡¡i:(q-(p' /4))
r a <.i+cp12n a(~)
= J (:t+(p/2))•-1·•' f + ( z+!P/2) )2
u(z)=lnz, ldu-=";,
XtU = dV, V= Jdv= Jzdx = ~·.
Entonces,
Jr zluxdx= 2z' 1nx- Jf 2'""'i'"=
z) 4z; z2 zl e
T ln z-T+ .
En el ca~o dado
P 2 (x) = x 2 +
1, Q2 (x) a:i? = +
bx +e,
domfa hao de hallarse los coeficientes a, b, c. Tenemos
(Q 2 (x) e•)' = [ax• + (2a + b) x + b + e) er = (x' + 1) e•,
dt1 1loncle ax' + (2a+ + + = +
b) x b e x2 1. Por c111tn to esta
igualdad debe verificarse para t-0dos loa x, los coeficientes de las
potencias iguales de x on los miembros primero y segundo son igllnle.~
ent.re sí f~ 4'.14, (1!'1)): a = 1, 2a+ b ~O, 1> + e = 1. De este modo,
~ (x• + 1) e-"dx = (.x2 -2x + 3) e'+ C.
13-oUSo
Capitulo 5. lnwgra les Indefinidas
De 1) y 3) se deduce que
¡2 ~ -1.
Los operaciones de adición y mu ltiplicación in trod ucidas Je esta
rnal\Ora poseen las propiedades de conmutalividad (z1 +
z2 = z, +
+ z1 , z1z 2 = zzz,), asociatividad ((z1 + z2) + za = z, + (za + z3),
(z1z2 ) z8 = z1 (z2z 3}), distributividail. ((z1 + zJ z 9 = z,z2 + z2z,).
Se puede decir, además, que con los números complejos podemos
operar sumamente igual que con las e xpresiones literales en el í1l-
gobra la lo qua nos hemos 11costumbrado), pero en el prirn~r c.i1so las
operacioMs se simplifican debido a quo ;• = -1.
+
Do la propiedad de que a Ot = a se deduce 4ue un conjunto
de números complejos coo Licne en sí , como S IL pai:tti integrnnte, un
conjunto de tonos los números realc~. Eo este caso es fáci! ver que
In aplicación de lns opcracioues m·itmélicas 2). 3), 4) a las cxpre-
s iont!S z1 = a, +
Oi, z, ~ a 2 +
Ol comluce " ª·' ± a 2 ± Oi = 1.11 ±
+ +
± a., a1a 2 Ot = a,at , .!!.. Oi = ~ (a2 .¡,, 0). respecti.vamente.
- ª2 ª'
El númoro z = a - tb seUama con¡ugado coti el número complejo z.
Un número r eal l .z 1 Y a' = +
b' lleva el nombre d~ máduw del
núnrero complejo z. J!;videntementc, z·i = 1z 1~.
Si el número complejo z = a +
tb se interpreta corno uu punto
(un vector) M (a, b) en el plano :r:Oy, resulta que 1 z 1 es igual a la
distancia en~ro ·01 punto Af (a, b) y el origen de coordon,ndas ((ig. 74).
Al in t.roducir en el plano las coordenados p olares (p, ip), tenemos
a = p cos <P = 1 z f cos q> ,
(lz 1>0). (1 )
=
b p sen lf' = 1 z 1sen ip
§ 5.3. NíimorOJ! complejos 195
(4)
198 Capítulo li. llllegrales l.ndeflnldu
En efecto,
el(.,,+~» = cos (q>1 + cp2) +l sen (<¡>1 + •p.) =
- sen 'f/1 Sllll <r:) +
= (cns q> 1 cos cp 1
+ i (sen q> cos !J'o + sen •Pi cos qi,) ...
1
= (cos q¡1 + t sen q>1) (cos q>2 + i seo q>1) ~ et11>1el11>1,
.....!_
, 1•
= cosq>
~ !sen rp coscp-lsenq>=cos(-q>) +
.. ..
( •1 }=~
(8)
EfocLivamente,
(o 1 + b1 1) ± (a, + b,t} = (o 1 ± aa} + (ó1 ± b,) t =
-= (Oi ±a,} - i (ó, ± b,) = (a, - b.i) ± (a, - ó2 1) =
= (a1 + b~I} :t: (a, + ó.t};
y luego, como
(•t'T = -fl-(.,..c_o_
s _rp- - -. ""',-s-.,-n-rp) "" p (cos rp - t sen q¡) = pe-'"'•
cnlOl\CCS
z1z: "" p 1 1:i~1p 2e 1<t• = p 1p 1cl<<t1+.><l =
~ p 1p 2r 1« 11 ... •11 = p 1e-t.,,p,r••h =
= p 1 e•"•·p 0el~ = ;,.:•.
La dl'most.ración análoga subsiste también en ol caso de un cociente.
Ana li cemos un prohlema sobre el cálculo de unn raíz de n-ésimo
º
grado del número a = pe 1 (P > 0). So pide, do esLe modo, ballar
to<fos los números b =
rc•<t- tales que sea b~ = a. Pero, on este cnso,
r•e•••P - pete (r, p > 0) y, n con~11Ct1encia de que lo representación
<le 11n número complt1jo 011 l o forma exponencinl es única, p = r",
ne;> = e+ 2/m. k =O, :1:1, ±2, . . . . De la primera ig110.li.lad
se cloduco que r = í'/(> (res el valor ariltnético de la ralz do n-ési·
mo grado del número positivo p). De la segundn igualdad so infiere
que q> .,. ñ+-n-
e 2,,,. •.
(,.· = 0 . ± 'l, ...).
Pn e• ln qne la rnn ci6n ~,., es periódica del periodo 2n. los valores
tle lf' qnto tlan las raíces ~~oncin1mente diferentes de n-ésimo grado
dt> et corre.• ponc1t>n sólo a n \'alores ele k:
(k = O, 1, .... n - 1). (9)
A los demiis le enteros los corl'esponden lo~ valores clo <r dl.s Unlos de
llno rle los va lores (9} en 11110 magnitud mú lt iple de 2n.
Hcmo~ <lcmo~trado c¡u o no número complejo a+ O tienen (Y só-
lo 11) rnlc.es de grado n, que se anotan según la fórmula
'ifa= rpe•º = f/j)ei.>.o. (k=O, i ..... n - f ),
donde <i>A se determinan por las igualdades (9).
198 Capitulo 5. llltegrales indefinidas
&Jl!lalPLOS:
..'º. ,y-1=re'"=e
r- ,, - (y +~) • =:l:I (k - O, t ) .
Qn (z) =
..
2J ahzh (a. =I= O) {1)
"""º
se denomina real, si ~"~ coeficientes a.k son números reales. Die.ha
denominación se debe a quo un polinomio i-eal , si se examína sólo
para una var\abl o real z = .2', ad opta los valores reales. Po1· supuesto,
para z complojos un po linomio real toma, en t>l caso general, Jos
valores c.omplcjos.
LE~IA Pa.ra un polinomio real Q. (z) se verifica la ig1taldad
donde Q•• ,. (z) es ui: polinomio real de grado n - 2'11, distinto de ccr<>-
para z = z0 y z = z0 •
Demostración. Sea z0 =et +
ijl (p ~O) una rafa de Q• .
z
Entonces 0 = et - ijl ~erá tamb ién una raíz. de Q. , puesto que, en·
virtud de (2), Q. (z0 ) = Q. (z 0 ) = O= O. Los nú'meros z0 y~. no son
iguales ontre sí y On (z) se divid& ']lOr
(z - et - ijl) (z - et + ijl) = (z - et)i + ji'. (4}
es decir, por un polinomio 1·eal de segundo grado. De este modo,
Q•. (z) = l(z - t;t;) 2 + .11'1Q••.~ (z),
doutle Q,.., (z) es un polinomio de grado n - 2, y, obviamente, real.
Es que el cociente de Ja división do los polinom.io.s reales es un poli-
nomio real.
Si z 0 es una raíz de Q. de multiplicidad, v y '11 > 1, entonces z,,
es la rafa de Qn-a de multiplicidad '11 - 1, por l o cual, al reilerar
nuestros razonamientos 1·espec.to de Q. _, (z), podemos seleccionar
en GI un factor (4). Entone.es, ol segundo factor será un polinomio·
real On-4 de orden n - 4 . Al repetir este proceso '11 1•eces, obtondre-
mos In reproscntación de Q,. (z) en la forma (3), donde Q•- •• (z}
es un polinomio real de grado n - 2'11, quo posee la propiedad
On- 2 v (z 0 ) *O. Pero, en este caso, también Q,,. 2 • (z0) =FO. Efecti-
vamente, s i z0 fuera una raíz del polinomio real Qn - •v• tambiéu z0.
sería forzosamente una raíz del polinomio citado.
PJ\OBLllM,1. Demuéstrese que el pol inomio Q6 (z) = :• - 3z' 2z +
tieno 110 menos de tr<:'.~ raíces re~les.
TE-OREMA 2 . Un poli1wmio real Q. (.::) cuyo coeficiente mayor
*
ª• O p1ude ser representado en forma de un producto
On (z) ~ an (z-c 1) 1" ••• (z-c,}v' [(z-o:1 ) ' 4-jl:J'" ...
Q.(z} = an tJ (z -
J- 1
c1¡"1 JÍ
1=1
(z2 -'- p 1z + q1 )" 1 , (5')
·donde z• +
p 1z +
g1 son los polinomios reales de s~gundo grado que
tienen raíces complejas a1 ± i~1 (~J > O, p} - 4q1 = -4~} < O)
Demostración . En virtud de la fórmula (3), § 5.4,
Q. (z)= fr (z -
i•I
c¡(1 Qm(• ),
<loode Q., (z) es un polinomio real de grado m. = n - µ 1 - • . .
. . . - µ,.Si nL = O, tendremos, evidentemente, Qm (z) =a,,; on el
caso general apJi(,amos sucesivamente el teorema 1 a las raíces com-
plejas de Q,,..
Observemos quo el teorema básico d"mu~tra sólo Ja eristeucia
do uua rafa (compleja, generalmoute) ll A \lll polinomio de n-ésimo
grado s in ofrecer los métodos efectivos de buscarla en el caso general.
Por otra parte, la demostración del teorema citado se efectúa por los
medios del análisis matemát ico, y no del álgebra. Omitimos aquí la
demostración de "C'ste teorema. Es~á t olacionado orgánic.amente c.on
Ja teoría de funciones do una variable compleja.
Existen las fórmulas de resolución <le las ecuaciones gen<'ralos de
segundo, tareero y cuarto órdeucs. Para las L><:naclones do orden
.n > 4 no existen fórmul ag semejantes. Abol 1) demostró que ellas
no podían existir. Esto se debe ent ender en el sentido de que para
.n > 4 las raíces de la ecuación a.z" + ... +
a1 z +
a.0 .,. O (a,.+0)
no se expresan en términos de los coeficientes ah por medio de las
ruociones de estos coeficieatcs qne reprosentan el resultado de nn
número fini to de operaciones pertenecie.ntes sólo al siguionto grupo:
adición, sustracción, multiplicación, división y cxt.racción de una
raíz.
§ 5.6. Integración
de las expresiones racionales
La razón de dos polinomios algebraicos
/(z)= Pm(.i:) (1)
Qn(Z) '
Pm (z) = b0 + b,z + . . . b,,.zm, +
Q,, (:r) = · a0 a1z + + .. .+
a.xn,
ém , a,. =FO, m;;;;:. O, ~~;;;;:. 1, lleva el nombre de funct6n racional,
~ bien de fracct6n racional.
1) Abe! N. G. (1802-1829), un dest<1.eado matemtltieo noruego.
§ 5.6. Integración de las expresi~J>:es racionales
2'<'+"'+.::+2 A1 A, .11.. +N
(:r-í)•t..•+.. +t\ =z=y+ (z- t)• + z• + :+t • (4)
donde A" A, , ilf, N son los números cons lnntes bien definidos.
Para encontrorlos i:educímos (4) a un rlenomiuador com ún e iguala-
mos entre i<l los numeradore~ de los miombros primero y segundo:
2.r + x2 + z + 2 = A (z - 1) (r + z + 1) +
1
(6)
f
J
2%'+.:'+z+2
(z \)' (:i•+z+ 1) d:z: =
r tU
J T-1 + J
2 r (z-1)"
dz
+
+ rJ z -H. 2
z•+z+l d.x= lnl:z:-i. l - %=i+lnV:z:2 +:z:+ i +
+--1..,,.arctg ix+t +c.
\f3 t/3
Observación 1. ·Lo ig_u aldad (5). os vttlida paroa cualquier :z: :;!= 1.
Por consiguiente, se vcriflcn también para x = 1. puosto q110 tanto
e u el p rimer miembro , como en el soglLn<fo figuran las !une.iones
~ontinu.as de x. Al s11sU tuir en (5) :z: =
1-, ob~ondzemos 6 = 3Az.
es decir. A 2 = 2. y. al poner :z: = O, obtendremos 2 = - A 1 + A 0 +
+ N . es decir, N = -4 1 • Estos datos (A 2 = 2, N = A 1) h11C<m c1
s istema (G) con~i dl'rabllntw11te más simple. En 111 prácLic11 Ho se
dehen menospreciar Jos razouamiontos semejo.11Los.
Obse,.vación 2. En principio toda función r11ciona l es integrul>Jc
en funcionos e lementales. En Ja práctica la int~gración co mpleta
de (1) pwule lle varse a <:nbo. si se conocen todas las raíces rle Q,..
co1no Lnmhién s11s mulliplicidades. Pero, según lo dicho en l•l § 5.5,
no :;icmpro es ¡iosiblc conocer t.o<lns las raíces. Debido a ello. toda
chlso do simplificación de la integral d¡, una fracción racional ( 1)
.resulw ser muy \·aliosa.
l.>esclo esto punto 110 ''ista m erece gran alonción 1111 métQdo pr(•-
powsto por Ú8trogracL~ki 1) que so expone corrieutauwnle '"' los
l i hros ele toxto m.;s cletallaclos3 ).
§ 5.7. Integración
de las funciones Irracionales
La integración de las funcio11es elementales quo no sean racionales
1-epresenta grandes dificultades, lncluso cuando una función ele-
mental, que es la integral de una función dada, realmente existe .
Examinemos los casos ~n que con ayuda dol cambio de variable
se pue de reducir la integ1·ación de las funciones irracionales a la
de las funciones racionales (es decir, como s11ele decirse , racionalizar
la integral).
Sea R (x, y) una función racional ele sus argumentos :z: e y, es
-decir, con :r. o y se realizan só lo las operaciones aritm~ticas con
1. CALCOLESE R ( z, J V ::t: )
dz, donde a, b, e, d son unos
números constan tes, mes un número nnl\\ra l. ad-bc.P,0, (x, y) n
es una función raciounl.
L:i función de la forma R ( z,
nalidad lineal jraccionaria.
V::: ) se denomina irracio-
= V t ¡i!.
(.i- Suponiendo ·vz+Tz::¡-~t. oblen<lremos z= 1•+
1
1
,_ ,
1
-&~.u
dz= Vª- il' , z -
2 r 1 ª/.0:+1
1 =il=T. De tal manera J (z-lJ' j z=-; dz=
=
.1r t ~.
(t'- t)•
~
•
dt - _ J!....
2 J
r 'ª dt = -+,.+e
o
- - ..:!....
8
x
X cv=~~)'+ c.
&JE~PLO 2.
t= lfax"-f-bx+c+ x 1fá.
De a1¡11f, ax: +bz+c~t•-2x ll iit + a:t•, es deci1', x= 1• -:- • ~'I
21 1' a+ b
una funcí6n racional 1le t. Puro, en este caso
Vax•+bx +c- t - x lta=t- 1
'-:-c
21 lf a + b
Va
ser á Lnmbión unn fontión rncionnl 1le t. Por ello
i R(z. Vax• + b.c + c)d-x= i R,(t)dt.
Observac ión, Si a < O. y e> O (ax•+ bx +e;;;;. O), potlomos
reo li z11r una su5lHllci6 u
Va.,•+ bx+c=:rt+-Vc.
BJZ\IPLO 3 Calcúlese } 1f ñi"+%2 dx.
El binomio r + a: no ti1>ne raíces reales. Por lo tanto supo-
nemos
t =V.,•+ a• + x,
y
, /x• -1-a• - t - x ~
V
t•+.-•
21 '
Do aq11I
r- -- 11 - a• t! + a1
z } x•+a' ~--:tr• dx = ---uz-til.
1 ) Eata &ustiluelón purde ophcanc también en el caso de mices l'\'alcs para
En virtud de ello
U-1113$0
Capitulo 6
Integral definida
S n= M
n-1
/(~1}óz1 (llr.1 =x1.. ,-x1), (3}
!I
o :o
Flg. 75
m= ! p(x)dx.
~
V!' 1
crear alguno;; métodos generales.
Es inLNesnnw observar con este
111oli1•0 c¡uo ..\rqulmedM fue el
(/ a x primero on plantear el problema
ele este gór1cro. Cou ayuda tle los
Pig. 76 razonamientos que rocuerdan romo-
tamento el método moderno do
limites él calculó el área del segrueuto de u.na parábola. Ultorior-
ment-0, en el tnuscurso do siglos, a muchos matemáticos les tocaba
a resol ver los problemas referentus al cú.lculo de las árens de las
figuras y de los volúmenes de ciertos cuerpos. No obstante, aun
en el siglo XVll el planteamiento do Lnles problemas y los métodos
de su resolucíóu llevaban un carácte1· sumamente particular. Un
progreso coasitlerable en e~te respecto so debe a Newton y Loibniz 1)
que indicaron el 1Détodo general de resolución de d ichos problemas.
Hao mostrado que el cálculo de la integral definida de una faJJción
puedo ser reducido a la búsqueda de su primitiva,
Según lo ebserv~do más arriba, una función continuo eo la, b)
os!inwgrable en la, b). Esto se demostrará en el§ 6.7. Demostraremos
también que una f\lJ\ción monófona en [a, bl será integrable en el
segmento. citiido. Es preciso tomar en consideración que una función
mooót.ona puedo touer discontinuidades en un número finito o inclu-
so en un numerable (véase e\ teorema 2, del § 3.4),
En la fig. 7.6 \•iene expuesto la gráti.c a de la función y = f (:z:)
prefija~a en ol sogl!lento {O, a). Esta fonción es contiaun on JO, :z:J,
deor!)oe on [x1, ~, I y crece en [x,, al. Por consiguiente, os integrable
en cada uno de los segmentos mencionados. Pero, en esto caso, en
virtud do las pro.piedades aditivas de la integral de las cuales trata-
1
) Newton l. (1643-1727), un ilustre físico, matemátioo inglés, Leibniz
G. (11146- 1716), un omtnenle ma.t em4tíeo alecnó.n.
§ 6.1. Problemas dol eoucepto de ioto¡¡ral definida 21S
n-t n- \ b
= L; F'(~.)(%x< t - z~} -= ~ /(~.)Az• 7"- \' f(z)dz, (7)
k• O A>- 0 11.,,.. 0 ~
de lo cual se desprende la fórmula (6}.
En la cuarta igualdad de (7) se ha empicado el teoremn do La-
grango del valor medio
P (zH1) - F (z~) = F'fü) (ZHt - ::.},
onl virtud del cual~. es un puut.o del intervalo (.:r:i. , .:r:,+1). La última
relación proviene del hecho de que Ja función fes contin ua e11 la, bl
y, por lo tanto, inlcgrahlo 011 la, bl, razón por lo cual su c11alquiet
216 Capíbllo 6. Integral definida
Esto prueba que o,, no puedo tener un mirmto Hmlle, cua lquiera que sea
la CfCCCfÓn de e
ÍJ y, por ende, )8 ÍUOCiÓo ljl es DO intcgr•ble en fo, b),
O«moslrnclón cfol teurcmo t. Sen
·-·
OR - ~ / (~1) (z1.1-z1)
¡.,g
§ 6.l. Propiedades
de las integrales definidas
En est-0 párrafo estudiaremos las propiedades de las funciones
integrables. Se ha observado más arriba que las funciones contínuas
y monótonas en un segmento lo., ~] son integt'ables en dicho seg·
mento. La demostración de esta afirmación se realizará_en el § fi.7.
'l'l!OREMA t. St M es una comtante, se tiene
b
5M dx=M (b-a). (1)
•
Efectivamente, Ja snnrn integral de Ja función f (x) = llf para
cualqu ier partición R del segi:nento [a, bl es igual a
n .. t n- 1
<1n= ')'. MAx1 = M] áx1 =M (b-a).
t;;li 1- 0
De aqui
líro rsn = M (b-a).
~n- O
'r"EOREMA 2 Par'1 uno f tJ11ci611
(2}
o o e
(propiedad aditiva de la integral definida).
218 Capitulo 6. Integral definida
lím oR - lírn
l..R-0 i~u,-0
an,+ lím
l n , -U
OH,= j / (:r)dz + J
d e
/ (z)d:c.
J• /(:e)dz=O,
o
(3)
lb
f(:r)dz= -
•
J f dr = ) f dz + J f (:r:\ d:r:
< < •
o bien
y se ha obtenido (2).
TEOREMA • . St las funciones / 1 y / 1 s01t Integrable.• en la, b) y A, B
soii los números arbitrarlos, entonces
o b b
O, obtenemos la igualdad
.
l f rk. 1 (5)
• b
.
} (f, ± f.)dx = J/ dx± Jf,dz.
.
Demostra r16u. Para una partición nrbitraria R tonemos
1
. (i)
~ i f (x) d:r.
. f,(:t) dx =
"
220 Capítulo 6. lnlegral definida
puesto que /lz 1 > O. Por esta razón, después de pasar al limite para
An - O. obtendremos (8).
§ 6.2. Pri>plodades de- las iot.egraloil definidas 221
o bieo
.
J(-1/(z) ld:c ~ J
. . fd3:~5 Jfld:c, (a<b)
• b b
- J1f1 dz~ J f dz~} 1f1 dz,
~Q o o
ó
b b
l Jfdxl~i /f[dz
o •
(a<b) ,
.f
c+6
/ (,.)t!z>O,
1+6
c+6
Jf (z)dr';;< O,
CJR= "11. + µ,
donde µ = f (~m) ('"m +1 - "'nJ -1 (~In) (e - :z:,,,) - / <tií.} (:z:,,,+1 - e), "m ~
~ ·'~~e, e~ tñt ~ xm+> · E5 evidente q\1e
1 µ l t;; M (Zm+i - Zm) +fil (e - "ml +
M (rm+1 - e)~
= 2Jlf ("m +t - ....> >.;=o
o.
Por con!lguiente,
lím OR = llm cr11. + llm µ=l +o -1.
4n-O ) u ,.-0 xn4 1 - x111 -0
C1n = ¿ f(~J} Ax
n-1
1•
Así pues
...:+tt x+h
+ -} J [/(u) -
z
/(:r:)Jdu.=/(x)+t ~ [f(rt) ·-f(z)/du.
~
(3)
,. Jr [f(u)-/(:r:)jdu-~o.
1
-,
,,_º (4)
"
La función f es continua en el punto x, razón por la cual para cual-
quier e >O se puede indicar tal 6 >O que si 1h 1< 6, se tiene
11 (u.) - f (x) 1< e, 'V u E fx, :r: + h) .
Por lo tanto, para 1 h. J < o tenemos
~+h .'t+h
lf j
Z
(/(u)-/(:r:)I duj.;;;;j} J I' (u) -
X
/(:r:) ¡au¡.;;;;
x+11
.;;;;ji J eduj =[ f eh j=e,
X
Observemos que
a ., b
F(a}= ~ f(u}du=O y F(b)=} f(u)du. (3)
o a
AdeJlláS'1 sábeI!los qu·e F (x) es una priIDítiva para f (;z:) en [a, b].
Por tanto, si <I> (x) es, en el caso general, alguna primitiva, existe
upa constan'te e ta1 que
ll> {x) = F (x) + C, Vx E (a, b]. (4)
§ 6.4. Fórmula de Newton-L6ibnlt
) z•ciz~; t::=~.
o
Esto prueba que el área (fig. 78) de la -figura rayada que so dispone
Pig. 78 Fig. 79
F(z) =
-1
Í signudu=-h·lzl (-1~z:s;;;1). (5}
228 Capítulo 6. Integral def.iDida
í
_,
sJgnudu= !
-1
(-1)du= -u.¡~ 1 = -1-x (-io;;;;x< O). (6)
~ signudu=I x 1· (9)
o
Bajo el signo de integral en (9) interviene una función acolada
discontinua en el punto x =O. La integral como función del límite
superior F (x) = 1z l. es una función continua, el punto x = O
incluido, lo que concuerda con el teorema 1 del § 6.3. No obstante,
la derivaqa Ji" (0) no exis~s y esto no contradice el teorsma 2 del
§ 6.3, el que garantiza la existe'nci'a ds Ja derivada F' (x), siempre
que f sea continua en el punto x.
TEOREMA 1 (SOBRE EL CAM.lltO DE YARIAJlLEj, Tiene lugar una Igual-
dad
b d
=a J os
~
2 r e 2 t dt
= 4 J - -2-
~
t r 1 +cos 21 dt •• t ' sen 21
=2
na•r -r - rJ •
IMD = -¡- .
~~
o o
Observa ción. El límite superior de integración respecto de t
puede tomarse igual a 5n/2 y el resultado quedará el mismo, lo que
concuerda con el teorema 1.
EJEMPLO S
•:i .,..
) sen~tdt =-1 (1 -co!'.2 t)d(cost)=(x =cos t) =
o o
= - j (1-z•)dz = O,
1
puesto que en la integral oMenid & el límite inferior es igual al
superior.
l!Jl?.\I PLO ' · Si f es una fnnci6o par (/(- u) = f (u)), entonces
J/(u)du ~ 2 Jf(u)du,
puesto que -· o
o O a
Jf (u) du=(u- -x)= - Jf ( -
-a a
:r) dx = }
O
f (-x) d;e=
o
= f f(x)dx=
o
f(u)du. I
E.raldl'LO 1. Si f es una función i mpA? (/ (-u) = - 1 (u)), entonces
l f (x)dx =O.
230 Capitulo 6. Integral definida
J
..
f (x) dx = Jf (x) dx,
<)
porque
2:t+Gt ~ (,L o
) f(x)dx = (x = t + 2n)= J f(t + 2n)dt= Jf(t)dt = - J f(t)dt.
2:i o o a.
y, por consiguiente,
2:n•a O 2n 2:i+a 2:<
J /(x)dx= Jf(z)dx + ) f(x)dx+
« ex O
)
:?n
f(z)dx= 1f(x)dz.
O
E.l!!!Ml'LO $
Sn -t l
Jsen3tdt=(x=cost)= - ) (1 -.xª)dx= j (1 - xt¡dx=
o 1 - l
l
= 2 Jo (1-x')dx=2(x - ; )l:=i·
E.JE~lPLO 10. Resolvamos el ejemplo 5, haciendo uso de los ejem-
plos 8, 7:
~rt 2n l¡,i:t :t
Jsen3 t dt =
o
~ sen3 t dt +
o
1seus t dt
2 :'1
= 2 ) i;enl t dt =O,
-11
f (r) -1 CaJ + ~
;,
r (t ) dt - (a" -
O=
Id' (t)
t
1®= r dt)-
V=t-:r
(t}
232 Capítulo 6. Integral deflnfde
r n (z) =* Í •
(.z:-t)" j(r.+tJ (t)dt. (2)
Suponiendo
De este modo,
Sii. - 'R',,¡;; S11 - •R·
De mostrnciún. Para. dc1uostrur 1::. propit:dad podeinos, ('\. . idc utcnwute. H1ll.i ..
tamos con un cu9u M que se Ríiade sólo un p1mto nUt:vu <le divisi.\n ..:' E
E (z¡, "'1+1)· Se• S!l la suma Je Darboux superior para la put1ción R, y Sw .
para la partición R' . En este caso S 11 se Jiferoncia de S 11 • por lo 11ue en lugar
del sumando M¡tlr1 "º
Ja suma S 11 • intervend ..án dos s umandos:
Mj (z' - :i:¡) +Mi (:r1+1 -;s'),
donde MÍ= sup f (z), MÍ= sup f ¡r).
xé(x¡. x• J xé[x'. x1.,,l
l'or cuanto los segmentos [.:e¡, z' J. f:r', •t+tl forman porte de (z1, z 1 +1), rosuha
-que Mj..; M¡, M¡ .;; ;lf 1 (cuando se reduce el dominio de consideración, sup
puede sólo dlsmiuuJt). Por esta razón
Mj (z' - z¡) +
Mj (:r1+1 - z' ) .¡;; M, (z' - r ¡ + z ¡ +1 - z') =
M¡ (:r1 +1-.i:¡),
=
es decir, S 11 • ~SR• lo que se trntaha de demostrar.
P.ra las sumas inferiores la demostraclóo es análoga.
2º. Co.cltJ s11m¡1 dt Darbou-x inferior no es 1uptrior a 'ada 1uma de Darbouz
suptrtor~ tnclu:o cua.tuW ltl últtma correspondo a otra partid6n del ugmento :
511,.,; SR>
Demostración. Ses R 3 ~ R 1 + R,. Teuiendo presente la propiedad !º,
·obtenemos •n, .;:; •u ~ SR• .;;; Sn .
Asi pues. hemos· demostrado q~1c el cuujunto de sumas do Darboux inferio·
res (1 1,) está acotado superiormente por cierto suma superior S w (•n :;:; S n->.
.por l~ tanto •:z/Jte la c·ota 1up1:rior e:ro.cta. d{I lu 1uma.1 i11ferll)ru:
1. =•~r •n :;:;sn··
En adición se ba demostrado también que toda sumo superior S R' no es
menos dol número r•. Esto muestra de que ezl$1'! Ja cota lnfetlor exacta de la.i
..rumos superiou1
i· =v/sn.;;;. 1•.
.Por conslgufente, 1• .;;. 1•. Con ello, para cualquier partición R se verifican
las desigualdades
(2)
Los númer:os l 0. 1 • llevan el nombre de int•11rale& de Darboux tn/.rU>r y su-
perior.
. TWl\EMA t ( DE EX ISTENCIA DE UNA fNTEGR,\I,). fara qucezt.st• la lnte11;al
.definida de una /unci6n acotada f (z), es necesario !J suftcl1nte que u vtrtffque
n- 1
lim (S 11 -• 11 ) ~ lím ¿] "'' tlz;=ú, (3)
'·n-o í.R-o t~o
y
llm (SR - •R) ~o.
~R-0
1•
~.Í,'.! f (~) dx,
se ll an1ar8 integral tm.propla de f en [a , oo) y se designará así:
- b'
) f (x) d:r; = ~¡-'! ) / (:r;) dx.
a •
Convengamos en usar la siguiente terminologla. La expresión
b
b
De un modo semejante se entiende la integral j f (x) dx con
a
Ja única singularidad en el punto a. Ahora, bes un punto terminal.
Si el punto a< b es también finito, entonces f no está acotada en
el entorno de a y es integrable en cualquier segmento la', bl, donde
a< a' < b. Si, en cambio, a = -oo, la función f se sllpone inte-
grable on [a', bl parn cualquier a' < b.
En adelante se analizará, para concretar, la integral (2) con la
única singularidad en el punto b, sea éste finito o infinito. Todas.
las deducclones pueden extenderse por analogía al caso de una
integral con la única singularidad en el punto a.
TEOReMA. Sea dada una integral (2) con la única singularidad
en el punto b. Para su exisu11cia es 11ecesarto y suftclente el cumpli-
miento de la condición (de Cauchy): para todo s >O existe b0 < b
tal que
b"
j j J(t)dt/<e, (3)
b'
cualesquiera que sean b', b' que satisfagan l118 desigualdades b0 <
< b' < b. < b.
Demostración. Exam.inemos una función
F (:i:) =
.jf (t} dt (a< x < b) .
lim Í -
1 dz
- Hm -
,,1 - 0<
-
ll=lím-1 - (t - i 1 -"')=t( _ I_
t-cc 'a
<1
•- 0 j czt;. •-O l - <l • • - O ·1-«
t>O • oo, a>i.
De este modo, Ja ,integral (4) converge para a< 1 y es igual a (1 -
- a)- 1 ; la integral diverge para a> L Si a 1, la integral di· =
verge:
t
lim 12!. = -Umloe=+oo.
e-o ~ .i e-o
EJEMPLO s. La i ntegral
..fdz = J. .
_\ Ci'
l'
.•rn ~
r dz
=1=<1: 1m z
1 r 1-a\"\ - r - .- ,-.a>i(converge}.
a-
'1 "' !'i-eo t _. N-~ l +oo, ex< 1 (diverge),
oo N
! 2!.= lim J2!. = Ií m lnN = + oo (di\"erge).
1 .Z: l\'-t'IO 1 ~ l\'- oo
EJEMPLO
.
Í
e-x dx tiene una única singularidad en
a. La integral
o
el punto z = +oo. Ella converge y es igual a
i°' e-d:x -
O ·"-'-+~
N
lhn ) e-xd:x= lím (-e-x) I ~ = lim ("l-e-NJ ... t.
N-+w N-+oo
0
1f (:x) d.x
o
(5)
e b' e b
=) fdx + D!?:.) fdx=) fdx+ 5fdx, (7)
a e a e
•
<!onde ~ es una integra l propia corriente de Riernann y las inle-
•
grates f f y son impropias.
1ím J <pdx =
-A l ím
ó·-· Jr fdx-\-8 b'-•
a t•
A I' fdz + BJ qidz , (8)
Ja o
donde A y. 8 son constantes. Esta igualdad se debe entender en
~I sentido do que si cxis«in las integrales en el miembro derecho,
también existe la Et1tegral en ol miembro izquierdo y tiene lugar la
igualdad (8).
Dicen que l a integral (5) (quo tiene una singularidad en el pun to b)
converge absolutamente, si converge Ja integral
ó
J1f(x) 1dz (9)
~
.
decir, si ) l / I lb: < oo, entonces converge tarubtéa nuestra integra l
b
~ f dx. Por supuesto, si ) l f 1 dx = oo, tendremos que aplicar
• •
a nuestra integral los métodos más linos. Es posible q1te a pesar
de todo ella converge, pero no. nbsolutamente (véanse los ejemplos
al fiuul dol § 6.9).
16-0 1380
F(b') =
.J f(x)dx (a</1' <b)
242 Capí1ulo 6. Integral de!i.nlda
.
f /(:r;)dz=lim
J b '-b
b b
~ f(x) dx< oo, o bien j f(x)dx ~ oo,
• •
segúu sea la integral con vergente o divergente.
TEOREMA 1. Su.pongamos que las i11tegra/es
b
) f (x) dz, (1)
•
b
) cp (x) dx (2)
Jf dx.;;; Jq>dx ,
4 n
y de la dtvergcncto. de la Integral (1) se desprende la divergencia de la
integral (2).
Demostración. Do (3) se deduce Ci,llO para a<.b' < b
b' b'
Jfdx.;;; ~ cpdx. (4)
.
J
r¡d:i:=
b'-b
. .
lí m r¡a:i:~r<pa:e.
J J
Viceversa, de la divergencia de la integral (i ) proviene que el
limite do! primer miembro en (4) es igual, para b' -+ b, a ao, y, por
Jo tanto, el limite del segundo miembro es iamblén igual a oo.
tllORll~lA t. Supongamos que las Integrales (1) y (2) .tienen. una
rlnfca stngularlclad en. el punto b, con. la .• pal'tlcularidad de ~ la.
funciones subinJegrales son posttivat y eztste un límite
llm f(rl - A>O. (5)
s-b op(z)
En tal caso dichas integrales son co1wergentes o no lo son slmult4nea-
n-.ente.
Deroostracl6n. De (5) se deduce que para e< A positivo ee
puede escoger tal e E (a, b) que
A- e<lli
qi(~)
<A + e (c<z<b) •
y, como (p (z) >O, entonces
(A - e) <¡> (z) < f {z) < (A + e) <¡> {z) (e < x < b). (6)
b
De In convorgenci11 de In integral } q> dx, se deduce Ja con ver-
~
Igualdad
Capitulo 6. Integral definido
..
llTl:M:PLO s. Analicese la con\'orgoncia <le lo iotegrn.l
EJtMPW 3. f
t
Js~nyz
d:r - f ~: 1
< oo.
IWOll>LO ~.
..
o
) "';:--
1
o
e·• d:i: -
Jy z
..
J1r·• d.:r < ()().
1 '
Las integrales en los ejemplos 2 y 3 tienen
1111n (inica singularidad
en el punto z =
O. Se dobe tomar en consideraciOn que !!&U x ~ z,
sen Vi~ Y Z. z ....... O.
La Integral del ejemplo 4 tiene la única s ingularidad en z = co.
Se debe lomar en consideración que.=..=! e""~ e-"'. :r-+ + oo.
r
%
paru todos los A >a finitos. Pasando ahora al limite para A ->- oo,
obten,lrornos
..r r., cos:i:
. srnz d cosa
J -,,- ;r: = - .- - J---za
. _,_
(J.*,
..J
1~CMVLO z Ln integral
(convencionalmente), pu<'s la integral
. !IC~" dx converge no absolutamente
f li;en,.,-
J- zl ·'-
·u.i;- - oo, a>O, (2)
Capitulo CI. Integral definida
2J u 2}.u 2
~11u 11
l..
2a . 41 24
diver gente.
Obscrvacl6n. La convergencia de Ja integral (l) so debo a quo
Ja función son :z es per iódi camente oscilante y t.oma sucesivamente
los valores positivos y negativos. La acumulnci6n del área causada
por Jos vaJores posit ivos de sen :z: se compensa por Ja acutnulnción
correspondient~ proporcionado por Jos valores negaLivos.
Este fenómeno se explicará en la teoría do las series (véase la
serio de Leibniz y las serios convergentes convencíoonlmente).
Los ejemplos aducidos muestr an que la intogracl6n por partes
puede servir de medio 6t!l on la investigación do la convergoncJa
do los integrales impropios.
Más abalo vienen los razonnmlentos general~• que c~plicDo mejvr el 111cca-
nl!ID0 de est.e método.
Supoogemos que la función 'I' (r) ee continua en (o, ..,¡ y <I> (z) es su pri·
mi Uva. Supoogamo! tambi4n quo 1 (")es un& funci6neontlnuallll?nledlforeneiA·
blo en [o, b). Bn toóees
A A
J 'I' (:i:) r ("') dh• I (") CI> (:r) 1:- Í CI> (:r) t' (z) d:r~
• • A
SI
=1 (A) CD (A) - g (o) CI> (a)-
.J CD (z) g' (r) dr. (3)
1 J
•
<l> (z) i' (z) dz J oi;;; J 1<1>l.,)1' (:rl l dz.;;;; J 1
•
M
o
e'(>;) 1 d:<=
.. A
= - M
.f g' (r)dr--J\f llw f
J A-~ J . g' (.o:)dz~ -M Jlm (¡¡(A)-g
A••
(al1 ~11(a)-M .
EJCMPLO 3. La inlcgrnl
.. ::s~n x
f -r"'- d..
•o
(o; > \I),
a
Jt(x)dx=~
/us (I
J /(x)dx.
ch
Jt(x)dx = oo ,
•
~¡ In integral citada rliverge .
.EJ.E~IPLO l.
.. o ..
f e-"dx Je·"dx+ Je""dx= oo + i =oo.
_.,
=
tl
de dondo
1 1
Jse.,:"' dz~ jz•-" dz<oo parn a<2,
o o
l 1
Jr ~<k;.,
~Í;¡: l -ach ~ oo para a ;;;;t 2.
.r~ n: J
o o
Por consiguiente,
ÍI sc_:x d:c { COllVCrgO nbsoln tBIJ\Cnle JlOTll a< 2, (.\)
•1 ,. diverge paro a;;;.. 2.
0
Luego (véase el § 6.10), ejemplo 2)
f' se_:,,. dz { converge P•ra a> O, (S}
t ... converge absolut.amento sólo para a> 1.
Capítulo 7
Aplicaciones
de las Integrales.
Métodos aproximados
Fig. 80 f'ig 81
(1)
v=bJ/1-;: <-a.,¡;;.r~a>
ahededor del eje :r, por lo tanto, on vi r tud do la fórmula (1), su
volumen es
o bien, correspondientemente,
:i = q>¡ (z), y = ~. (i)
(p < z < q, p <%o< q, :, = X (to)).
Las ecuaciones (1.) de 'la cun·a suave r no sólo delineo r (como
un lugar goomútrico do puntos (q> (t), 'lj> (t). 'X (t)), t E [a, bl}. sino
determinen 1 ndemás, la orienlaci6n i!o r , es decir, In dirección, a lo
largo de la cual crece el parámetro t. En la fig. 83 viene expuesta
una cun•a suave r , corrospondiante a In variación del parámetro t
en ol seitmento [a, b) (a< b}: A = (q> (a.), ip (a), x (a)) es el punto
inicial de r, B = (<p (b), ,¡, (b}, x (b}) os el punto Hnal do r. y la
flecha Indica la orientación dE- r.
C11ando ol pnráro~lro t crece continuamente d~sdo a. hasta b, el
punto (<p (t), '!> (t} , ¡: (t)) se clcsplaza continuamente o lo lnrgo de r
11 partir del puulo inici1\I A = (<P (a), 'JI (a}, X (a)) b1111ta ol punto
finnl B - (q> (b), .¡i (b), x (b)). El punto móvil puedo rotomru- a la
posición de partida, ~.s decir. puede s11cedor que 11 • t, E (a, bl,
t 1 < t, y cp (t,) = <r (1 1), \ji (t,) = .¡. (t,). x (1 1 ) ,.. "!. (t,); en este C.'ISO
di~n que lo cun·a r se tnter~eca.. La curva r se Jenomina cerrada..
si coinciden los puntos A y B.
Introduzcamos nna función t = Á. (T), e~ T ~ d, quo tiono en
le. dl una derivada continua distint11 de cero y qul' oplicA (e, d i
sobre fa. bl. Puesto que J..' (T) no cambia do signo uu [e, di, pueden
hnber sólo dos cnsol!:
1) ;.: (T) >O. y en tal caso ).. (e) = a, ). (d) = h.
2) >..' (i:) <O, y 011 tal caso ).. (e) = b, ).. (d) - a.
N11cslrn curv a s111wc r puedo sor deíinidn modi:111to los ecuaciones
q> [A (T)f = q> 1(T), }
X =
y= t~ (Á. (T)J = '111 (T), (1 ')
z ='l.¡¡. (-i:)I = X1 (T)
oon nyuda del parAmelro T (e ~ T ~ d). Una misma curv~ r puedo
dofin irso en formn parnmétricn mcd inn te <llforentos parámetros
t, T • • • • •
Ha de ser notado quo las conrl ifionl\S (2) quedan on vigor en el
lenguaje de'!', pueslO que. 1lo acuerdo con la !6ro1uln para la derivada
de una runció11 du función,
+ +
(<r>; Ml' (11:; (T})' ex; (T))" =
[ (•F' (t))' + ('!>' (!)}' + (X' (l))'l ()..' (T))1 > 0.
= (3)
Sin cmhargo. cuando se introduce ol nuevo parúmo lro i:, puedo
1111.ernrso In orienloción do r. Si )..' (T) > (l en le. d l, In í11nciór1
r = >. (T) •!S estrictnniente crecienlo y i. (e) = a, ). (d) b. En esto=
254 Capllulo 7. Aplícaciones do las lntegralM
cnso, al c1-occr i:, croco lamuién t J~sdo i.. (e) = a hast:a t. (d) = b,
es decir, 111 orientación do r no combiu: lus ccunciones (1) y (1')
definen una misnrn curva suave con la misma orientación, mns con
11y111la rlc Jos parámouos djstintos. En cambio, !li ;,.• (i:) <O en
(e, d], entonces ~. (e) = b y 1.. (d) = a, y, al crecer i:, el parámclro l
va decreciendo. En este caso las ecuaciones (1') definen la misma
curva r que las ecuaciones (1), pero de orientación opuesta.
En los cuestiones, donde so dobe lomar en consideración la
orientación de la curva, por I' se entiende no sólo la pro.p ía c11rva
(un lugar geornótrico do puntos), sino tombién su orientación. Es
Flg. 84
(4)
sten~pre que dicho Umlte exista (es un número finito). Lo hemos designa-
do eon J r J.
So puede c!emostrnr que para cua lquier curva continua (1) o:dsto
ol limito (5), finito o infinito (+oo). En el coso si ol limite citado
es finito , la curva so denomina rectificable.
TllOllEMA t. Una cu.rua. suave r. definida por las igualdades (1),
es rectl/tcable. La longitud de su arco es igual n
b
1r1 =
.JV !cp' (t)J'+ 111>' (tlJ•+ 1x (l)J'dt.
1
N-l
= ~ -Vrcp' c1rn2 + 111>' <tm1 + rx'CtiJJ•ti.1. -
b1)
CAp;tulo 7. "plocaciooes de las in"'K•nl ¡•s
:'- 1
= ~ lf l<r' (t¡)l•+ ['\>' Cl•W+ [X' (t¡)I' ó.tA -1-
b
+rN---+ r 1f 1q>'(t)]' -J- 11Jl'(l)l 2 + (X'(t)l"dt (7)
1.h-0 }
(111¡11i tí,, t;, tí," E(t•, tH 1) son. en general, unos puntos disLintos),
es decir, es vólida In fórmula (G).
En efecto, por sor conlinua on (6) In función subintegrnl,
¡,V- 1
• b
= J11 (cp' (t))1 + (ljJ' (t))2 +(X1 (t))ªdt,
.
En la \1llima igualdad de csla cadena hemos realiiodo el cambio
(i,l ('f) >0);
(8)
del limite superior de Ja integral. Ssta expreso lo longitud del arco
Tc, donde Ces un puu~o varfable del arco Aó = r cor respondiente
al valor del parámetro t. Bajo el signo de int'egral en (8) figura una
(unción continuo de u, por lo cual la derivada do la longltud del
arco s respecto de t vale
: -v (cp' (t))• + c11i (t)1•+ cx1 <'>>' .
1
(9)
Puesto que q¡' (t), 11J' (t), y_' (t) son continuas, la deri veda dslcli
es, a su vez, una función continua do t, y, adem6.s, positiva (véase
el§ 7.3, (2)). Pero, en esLe caso, s = µ (t) es estrictamente creciente
en (a, bl y tiene su función inversa continuamente diCerenciable
t = µ-1 (s), o ,; :; $ ,;;:;; 1r 1. (10)
que posee la propiedad
~! = ((q¡' (t))~+ ('!>' (t))'+ (X' (t))IJ-1/J>O.
Pero , en este caso, la varinble s puede servir de .P arámetro de nuestra
curva suave r. y, por endo, IDS ecuaciones de r puodon ser escri tos
L7-01380
25~ Capitulo 7. Aplicacione3 de lBs inte.gral~s
en la forma
x = cp ¡µ-• (s)J = <p• (s), }
y = ·~(µ-• (s)) =iJ>.(s), o,.;;;s,.;;; 1r1.
z ~ x (µ-• (s)) = x. (s) ,·
dondo las f~lllcioMs <p., '!>., x. son continua mente 1Jiferenciables
en 10, r r IJ.
Con el fin de obtener -los result11dos correspondientes para una
curva p lana l' = AB, se debe poner en los razonamientos anteceden-
tes z = x (t) = O. Entonces, la curva pinna suave r se definirá
por dos ecuaciones
X= Cp(t),}
a,.;;;t ,¡;;;b,
t •
y ~ 1~ ()
.
1r1 ,,;; -JV<'P~ (tllª+ <•f (t))2dt. (6')
:! )2
b
1r1=1y1 + ( d:i: .
•
'§ 7·.4. Curvnlura y radio de curvatura 259
Entonces
in 2><
¡r¡ =- JVR•
o
se112 t+ R2 cos• t dt = J
R dt = 2nR.
o
P.JEMPLO a. Hállc-si.l la longitu<l dol arco el«\ lll curva r: y =
o
Fig. 85 Fi¡¡. 86
f'ig. 87 Flg. 88
r<.. +6.r) 1
- lítr1 1 + /,' (s+d.r)}' l/' (z)I
- ~.-o 11' 10 (/ (z+ ~r)' (1 + [I' (zJ) )it•
1 ·
Hemos obtenido In fórmula Ja cnrvn r.urn
!' (11;) 1
K ~ 1 (i + U' (z))t¡•t• • (4)
262 Capítulo 7. Aplicaciones de las lnte¡ralc!
- 1 (z;•+
R- , - v;'l'''
- I, K = ...!....
R. (5)
11iz,-z,11t
~ :k>v
Pig. 89 Flg, 90
•111
(véase el § 4.11).
EJllXPLO 1. La evoluta de la cicloide :e - t - sen t, y "" t -
- cos t es la curva s
= t + sen t, TJ = -J +
cos t. Suponiendo
fig. 91
deJ eje :i: (suma de las mas do las superficies laterales de lo:; conos.
troncados):
,,_,
8,. = 1t ~ (f (x.)
h•O
+ f {:tH1)Jlf L\:tl + Áy!,
Ay• = f (xA+1)- f (:i:h)•
Aplicando el teorema de Lagrange a la diferen cia L\y•,: optendremOS'
•-1
=
s,. n ~ 11 (:i:.)+ f (:i:u,)I lf 1 +V' 2 A:t• = cs.))
"-O
.
.... 2n} /.(:i:) 'V 1 + (/ 1 (x)) 2 dx
lím 2n
'-1a-O
~ f (x.) V 1 + (/ 1 (:t•))" '-'x• = 2n
~-o
Jf (x) ').
a
1
'l + (1 1 (rJ) 2 dr.
Luego,
n- 1
fRn J- ] n Í:: /(/(x.)+/ (x.+ 1 )1 ]/ t+(/'(1;•})1 -
li-O
~- o
s~ 21t rJ .!..
a
y a2-z2 •V/ i .... (..!?...)
1
a
2
--.::.....
a.~-~-
d:t=
-o
-- a• va•-Ji•· Jo ya•-u•du =
4.:16
L.(x)=
~-o
i¡ Q•. Jt(:r)f(:rll), (1)
268 Capítulo 7. Aplicaciones de las lnlegr~lt.s
pues
n n
L0 (x 1 ) =~ Q,.,, (x1)/(x.) = :'~ 6,¡f(x~)=f(x,¡ (i = O, 1, ... , n).
A-=O k-.O
!/
Fig. 92
No obstante, la primiti''ª no es s ieruprl! conocida y surge un proble-
ma referente a l cálculo aproximado de la inLegral.
Un método más simple da cálculo aproximado de le integral
definida se desprende de la propia definición de ésta. Dividimos el
segmento (a, bl en partes iguales mediante los puntos
(k~O, i , .. ., N) (1)
'J suponemos
b N- 1
) f(:r)d:i:~ b;a ~ f ( z~v··· )' (2)
•-o
doode el signo = oxpresn una igualdad aproximada
La expresión {2) lleva el nombro de fórmula d4 integrnci6il nunté-
rtca U6rmula de cuadratura) de ws rectángulos. En el Cl\SO expuesto
en la Hg. 92 el área buscada do una figura, limi tada por la eur"a
v = / (z), el eje z y lu rcclfts :r = a, :z: = b, es nproximad amente
igual :. In auma de fas áreas Jo los reet.'\ngulos expuestos.
270 Capitulo 7. Apllcaoiooes de las lnlegral&S
Fig. 93
R, (j) I _ M 1 (b - al•
1 N ... 12N' '
que es cierta para la• fúrruul09 de los rec táugulos y de los trapecios. ,\hora, el'
orden de aproximación por medio de Ju fórmulas de los rectángUl01 y de lo,.
trapecios que se consideran , ya es O (N- ').
Resulto que po.r• la olaso do !unolonoe po.eedoras de derhradn aco tada de
orden 1 > 2 ol orden de apr11xl mación por medio de las fórmulas do los recién·
gulos y de los Lrapecio¡ no !C mejora: e[ orden queda Igual a O (N-2).
La explicación do ••te fenómeno es~ utreehl\menle vinculada con el hecho
de que ambas fórmulas de lntegr:idón numórica (de los recungulo1 y de los
lrapccios) son exactas para loa polinomios de primer arado y no aon exactas
para los polln.,mios de gf1l<lo superior • uno .
Si In función ! cuenta con la tercor• derivada acol3Ja. ~ puede lmngioor
un• C6rmula do integración numérica que dorá el error do aproximación do orden
O (N·'). Tal l6rmula debe 3'.'r exacta por• Jos polinomios de segundo grado.
Mas, si no u exacta para los polinomios de tercer gr8do, entonces para las fun-
ciones 9ne cuentan con un• derivada acotada do cuarto F,do el NTOr de apro-
xirnaciun queda el mismo, u deoir. tiene cJ orden O (N- / .
.El fenómeno de que 8" trata oq,ul ~ ilu$\rará en el S 7.8 con un oicmplo
de I• fórmul¡i Je iMe¡¡racittn numérica de Simp.,,n').
.V-1 f¡,+ ~ N- 1
=l 2: J /(r)Jz - h 2; HS11l l<
o ··-i o
..... ¡
J f (¡•)ti.ro•/ (i1cl-
l¡,- ~
N-1 i1r:+f
~ R1<1 (J) l < :Z 1 ~ f' (011) (:r- i11l dzl .,¡;;
o ~. - ~
N-t U+; N-1~+;
,¡;; :Z 5 11' (011l1 I z- t. I dz<; M 1 ~ 1h1 .. -t. I d.r,
o ··- ~ h-;¡-
o - /2
h/2
l t 1dt = 2M,·N - i dt = 2.ll,N
o
í ,. 1~/l =
To
=M•t''
§ 7.8. Fórmula de Simpso~ 273
Por t.anto
mento,
'
Jr r dz = -b•-o•
- , y el segundo miembro de Ja fórmula (4)
4
§ 7.8. Fórmula de Simpson 27S
.
para calcular la integral ) / (z) dz se recomienda que se emplee
los tntpecios o. lo que es 1114!jor aun, la de Simpson.
)Q lónnula de
1- ~ y1+.r<dz.
1
I "'3o lf (zo)+4f (s,)+2f (z:) +4t (z,)+
+2/ (z4 )+4f (:<1l+2f(z0) +4/ (z,)+2f <zsl+
32.f,8473
+ 4f(r 0)+f (:r 10))=- -- =1 ,08949.
30
§ 7.8. Pórwula. de Símpson 277
Cálculo diferencial de
funciones de varias variables
§ 8. f . Información prelimlnaria
E l eoocepto de función do ,·arias variables se ha introducido al
final del § 3.1. Para poder ostudiax las funciones z = f (:r) =
= f (x., .. .• :r,,) do n variables, e.s decir, las funciones de los
puntos .x = (:r., •.. , :r,.) de un espacio n-dimensional R. (x E R.),
el l ector ha de poseer cierta i nformación elemental refetoentt> a In
teoría de espacio n-dimensional1).
La distancia') entre dos puntos :r = (x, . .. ., x. ) y :r.' = (x~ • .••
• . . , .r;,) del espacio rt-dimenslonal R. = R so determin;i según Ja
fórmula
1X - Y 1 ,¡;;;; 1 :r - Z 1 + 1Y - Z ,, (1)
1 1X 1 - I // 1 1 ~ J X - Y J. (2)
1
) Véase nuestro libro <b!aoomáticas superiores. Elementos del Algebra
Hneal y de la geometría analítica•, § 6.
§ 8.1. lnfonn~ción prelimlnaria 279
(
t:1 J-1
Y
~ (z1- y,}2)''2~( (z,- '1>2)''2 +(f. (:1-Y1>')112. ( 1')
~
Esta es la desigualdad de /lflnko1uski').
La desigualdMl (2) se derluco inmodiRtnmente de In desigual-
dad (! ). En efocto.
1X 1 = j X - Y +Y j ~ 1X - J/ i + 1Y j,
i Y 1 = 1Y - :r .J... Z 1~ 1 X - Y 1 + 1Z ,,
por lo cual
- iX - lf i~ 1X 1 - i ,1/ 1~ 1X - lf ¡,
o sea, tiene lugar (2).
Se¡cím In tlefi11iciú11. un~ s11cc~ión de puntos
:r' = (.r:. . . ., T~).
z.! ="" (.T~. ..• , :z:~),
:i' -· (i~ • .. .. l~) .
(3')
·-..
lt111 :r• = lím x• ~ x•. o liieu x• - x"
nG
Definamos un rectángulo 011 R (un rectángulo cerrado o uu parale-
lepí¡Hldo rectangula~ en il) como un conjunto do puntos x E R,
cu.yas coordenadas satisfacen las desigualdades ªJ ~ x1 .;;;, bJ. (a1 <
< o,, j = 1, .. ., n). En el caso don= 3 esto es un paralelepípedo-
rectangula. real C\1yas car!IS son pnrn lolns
a los ejos de las 'coordenadas rectangu lares
(x,, x., x 3). Poclemos deftnír en adicLón
1'n rectángulo. abiert/l en R c·omo un conjunto
de puntos .t = (4, . . .. z.) que s·atisfacen r
las desigualdades estrictas a1 < :e;< b;
0
JJ
(j = 1, ..... , n).
Un conjunto dB puntos :i: cuyns coorde- ·
nadas.satisfacen las desigualdades l .1:1 -x~¡~
0
:r:,
:¡¡;;a (j = 1, .•. , n), donde a> O es un Fig. 95
númel'o dado, se deuotnin:i naLurAlrnente
cubo (o cubo cerrado) en R con centro en ol pu11Lo :i:• y un lado ele·
longitud 2a. Por supu~sto, c11ando n = 3, esto será un c11bo cuyas
caras son parRlelAs a lo$ lljes de un sisLcnin (rectangular) tle coor-
den:1das. Por fin, un cubo abierto (~n R) se d0fi11e con ayudn do las
desigualdades 1 x 1 - xJ j <a (j = 1, . . . , n.).
Todo punto x 1lc 11nn esfer11 1 x - :x0 1 < r dG radio r y centro·
en a:º tiene las coor<1~11Adas x 1 que Síltis.fnccn la nesigualdaol
(suele escri birse, además, f (31) _._A (31 _,_ xº)), si dicha fu ndón está
definida en cierto entorno de.I punto x 0 , a excepción, q u izá~. del
propio punt.o, y si existe el lím i te
lim f ex-)~ A, (2)
l"-._ .,..ul- 0
tl"·lf,,e:,,.o
cualquiera que ~ex la sucesión de punt.os x~ (la <1ue t ienda 11 xº) del
entorno mencionado (k = 1, 2, ... ), disti ntos d0 .:z:º (vúa.se ol
§ 8.1).
La otra defin ición oquivalcute consiste ou lo siguíonte: la/unción/
t tene ert el punto 31• uri lCmtte, Igual a A, si está definida en cierto
entorno del p unto x•, a excepción, quizñs, del mismo p1rnto, y si
para cualquier e> O se encont rará un 6 >O tal que
I f (31) - A I < e (3}
para todos l os .:z: c¡11e satisfacen las desigual dadt's
() < 1X - .:z:O f < 1), (4)
Copll11lo & Cálculo diloTCocial
y vi ccversn.
·-·
lím/(xº+l1) =A .
4-.tt
y q> (z,, :tz) = zt+z~ .
Estas funciones están definidas en el plano (:t¡, :r,), salvo en el
punto .z0 =(O, O). Tenemos (se debe tomnr en consideración que
+
1Xi I' ~ (~ x'Jª/1)
2(z"+4l'~
lf (zu :t2)I~ ,.\+o:I 2(:r:: + zi)''1~21:r:l-21.r-z0 ¡,
§ 8.S. Lím_ite de UJl4 función 285
de donde
Hm /(:r,,:rJ=O
%l, ~·t-0
tim /(.t)
Hm
.r-<º q> z
JC(.tl) = ;t"'
m <p
() (l!m
.f'-.,.., cp(z)*O),
~
(8)
ie-.eiJ
don<le puede s~r que :1:0 = oo. Como siempre ocurre en estos casos,
los limit.es (finitos) en 103 primeros miembros existen, si oxisten
los límites de / y de cp. Demostremos, a título de ejemplo, (7).
Sea ~-+ :c0 (x" +
:r!'); elllonces
Hm (/ (a:A) q> (:i;h)) = l!m f (:e~)· lím cp (x•)
~A_,,.o ~'--xº ,,'lt._~o
=
- um
~rcQ
f (x) lim cp(x).
1 -JI'
(9}
/, (3')= " l =h
¿] ,,
1
están dellnidas y son continuas on Rn.
En este cruso los con.juntos de los valores de x, para los cuales se cumplen
laB desi,gualdaoes /¡ (x) <e (1 ~ t. 2), son abiertos. El p r imero de ellos es el
interior de un elipsoide en el espacio n-dimensional; el S<tgutldo es, para " = 2,
el interior del cundradQ expuesto en la fig. 97.
Las desistual dades /¡ (x) > e > O espooifkan los exteriores de !ns ííguras
Indicadas.
19-01380
290 Capílulo S. C6lculo difercuciQI
íJ'f o'J
D:x, D"•f = itz1 h• ' · ··• iJz• = f.,,,
íJ'f •
iJzDv - f,v·
Si r = (r,. . . ., r0 ) es un vector de coordenadas enleras no
negativas, se escribirá
.,. . "• r,. l •+- ..+ r,./
D f = Dx, ... D" f e: , .
n ar¡•.'. IJ~f¡,.
EJEMPLO Hállese 0 :Jv• de la función f (z, y) = z• + sen zy.
Tenemos
.!L=xcosxy
iJy '
aiJy• ... - zªsenzy
'
~/
aza~· = -2zsenz11-z2yco~z•i
10•
292 Capitulo 8. Cálculo diferencial
df=* Az + :~ óy+*
$obro otras de,sginaciones hablaremos en el § 8.9.
Az.
1 ~1~1-
.J: ~' 1~1~~
y ~ .
Vemos, pues, que los números 6%, l:!.y no deben ser forzosamente
igual<>s. Si, por ejemplo, x es considerablemente inferior a y, hemos
de tomar, correspondientemente., l:!.x menor que óy. De lo contrario
nuestros cálculos no serían económicos. Si, por ejemplo, fuora
Fig. 98
y la de T os
z ... /(zo, Yo>+(! )0 <z-zo>+( !! )0 <v- vo)·
La distancia entre los puntos M y T es igual a
1 M'l' 1 = 1f (z, y) -1 (zo, Yo) -
- (.!L.)
a. o
(z-z.)- (.!L.)
ª" o (y - yo)· (3)
"°º cosenos directores del vootor de lo tangente a r. Por ello, una magnitud
:~ = : tp' (1J+ ~~ 'I'' (•)+ :~ '/..' (•) - :. f ('!> (1), ljl (s), X (tl),
donde/ ea una fu.ocl6n derivable, representa la detivad3 .e¡¡úo la dlncclón del
vector lbngeute citado. Suele dccbse, además. que :~ e• una derivada de /
• lo largo de r.
8.8.S. Gradiente de una funci6n
1ni rocluzcamos un vector
Qf {)/ IJ/ ) (6)
grad / ... ( h ' T¡¡ • Ti '
llomndo gradlent~ de lo función / oo el punto (:e, y, z).
La fórmula (5) dice qua la derivada de f en tl punto (z. y, i)
stgú1t la direcci6n del vector unidad n es igual a la progeccwn del
gradlente tn dicho punto sobre la dirección de n:
iJ/
8ñ'=(grad/, n)=grad ni· (7)
Tiene lugar una dcslgunJdnd obvia
:~ ,,;;;; lgrod fl (8)
+I 2+( )ª,
2
(9)
co~ Vo
11
·-·
Si on csln ig11n lctnd suponc111 0~ 1 = 1. obt~nom•)S In igl111ldad (11).
2) S11po11g11111os ahora que ti~ n ~ lugar In ig11n ldnd ( 11 ) . Fijemos
1111 p11111.o :e = (.ti • .. .• x.) y formemos nnn f11n ción
_.,.!!:l.
'l'(t)=t "/(t>.1.r 1 • • ••• ¡A".rn) (12)
Oifcrcuciando CSla función rcspt1cto do t. encont rnmos:
1 ~1 ,. El _,
q>' (1) =-- ------- - ··_·: :.: :::~'__· __,_,_,~_._..._._._._.._,_'·_"_"•_·>
irq 1!l
' "
Z A¡/ 1zi/; (t11 r,,
1
.... 11 •r 0 l - m -1!;1 t (l>.1r 1, •• , t •r 1
0)
o= t-1
,..ill+t
= o.
1 n
".nv
u' TT' "' Tz}L\Xri·
' =L.J O(p) (p-.. O), (4)
J- 1
az, ...
= -1
u'
"
( v ¿,¡
" -8u ~ - iJrl
d x1-u ¿,¡
I•\ 8z1 }=I 8z1
. dx 1) ..,, vdu.-vi u.Jv
d'W=d~
/- 1
1!!'...dx,=~
l •I
hj
a(1!!'...ax1)=
0%¡
n ,. "'
=L; (d :' ) dx1 - ~ ~
l•I J J-1 icl
.,!;':z
I
dx,.
d:z: 1 (12)
a•w = a•w
Y a que Bzr Bz¡ llz¡ a::, , entonces lo segun da diferencial repre-
sen ta en si una forma cuadrática con relación n lo.s diforeuciales
iodependientes dz,,, .... dx0 • Se llluna forma cuadrática de las
vortables t, .... , ~. uoa función del tipo
n n
~ ~~ a 1 kSr~k • donde a,k -a- 1.
Mí-'
En general, una dife~encial de orden l de W para las diforenci a-
Je~ independientes dz,,, ... , dz. se determin a por inducción con
ayudn do una relación recurrente
d 1W = d (d1 - 1 lV), (! 2, 3, . . .), (13)=
donde d 1, d, d 1-l se tomnn parn las diferenciales independ ientes indi-
cntlns ax 1 • • • • , ax•• los cunles. en adición , se consideran en los
c;ílculos como constantes (oo dependientes de :z:1 , •• • , z.).
Al nt7.0ll3r igual que en (J2), obtenemos con facilidad quo
n H f'I
(15)
más abnjo)
d1W =d(dW)= L; aw 1 )
d ( ~du =
i•t
(16)
Haciendo t = 1, obtenemos
1- 1
F(1) - F(O) = ~ N~/Ol + P<~/Ol , donde 0<6< t . (3)
k~I
Análogamente
F" (t) = fx> (x 0 + tD.:r, Yo + tD.¡¡) D.x + 2
ó. f
.(P )
o= -
d/ (P0 )
1-1
at-t¡ (Po)
- + ··· '" --¡¡::1)1
,
+/!1 d f (xo -:- 0ll:r, Jlo+ 06Y).
1 , (4)
-es decir, ull conjunto ele puntos (z, !J, z) que sa tisfacen la ecuación
{1}. Dt>signcmos este r.onjunLo mediante .B. Es un conjunto acolado,
pul\~lo que para cualquiera de sus punbo~ (z, y, z) se verifico la
·rlcsignnlrlad
%'1 y• a.2 )
x2 -l-y 1 ~ z2 .;;;m ( -;;;-+-¡;;-+...- = m.·i ~ m,
-Oomlo m;;;;, u.i, b', lf. El conjunto ol'S también CCl'rndu, puesto quo
s i dofinimos una suce~ión arbitral'ia de puntos (x 1., zk) E 8, y,,.
·C<Hl\'orgcntu hacin o! punto (200, y 0 • z0). éste últiruo también per-
lt•llOL'-0 a B. En efocLo. d~ la iguulrlao.J
>=% y¡ 'k
-;;;-•v+ 7 = 1 (I,= ·1. 2, .. ·>
proviene, al pa~ar ol limite para k-+ oo, uua igualdad
7xi+ bT yg +cr-
~ - 1
,
fo que muestra que (x0 , y 0 , z0) E B.
Veamos ahora un conjunto más extenso A, compuesto por los
puntos (x. y, :), cuyas coordonadas satisfacen la desigualdad
(2)
(3)
El conj\Jnto A' es abierto (véase ol § 8.2), no es cerrado. To¡ilem.o s,
por ejemplo una sucesión do puntos ·(ak, O, O), donde ah tiende
al núme.ro a, creciendo estrictn!flenLC. Entonces, (ah, O, O) E A'
(k = 1, 2 . .. .) y (a,, O, O)->- (11., O, 0). Sin embarg!>, el punto
lími te (a, O, O) no perte:1cce a A'.
Los ejemplos examinados so generalizan con facilidad. Supon-
gamos que un todo el espacio R .,, \•iene pre~ija1.la uJla íuJlción conti-
nua F (x) = F (Xi• ...• x" ). Podl'mos afirmar quo ul r.onjunto B de
todos los puntos .:i; = (x 1 • • • • • xn) , parn los cuales se vl'rificn lo
igun ldac\
F (x) ~ F (x1 , •• ., x,1) = C. (4)
(5)
(6)
(7)
k1 h¡
Por cuanto (k1~ } es una subsucesióu de (4·11 J, tenemos a la vez"• e .... .i:f, "'• 2_
- z:ª. (.Qntinunndo este proc.eso , obt.~ndre mos t;'n $ U n-é.sima c t:tptt una sub...
sucesión de números naturales k ¡0 = k 1 y un sistl•ma ele ntÍmeros z~, rg .. .. ,
.r\1,
ta les que simultáneamente
~~l - x:, z:l - zf, . . . , z~I - ;z:t (l ~ oo) .
Al poner <l'' ==- (.i:~, . . . , zl), obtenrirernoe Ja afirmación cJel h~ma .
Demostración de la propiedad 1). Admitamos que f 110 está acotnda
en el co njunto cerrado acotado A. Entonces. parn cada número na-
1-urnl m existe un punte :1·"' E A tal qua
1/ (x"') 1> m (m = 1, 2, .. .) . (2)
Como el conjunto A está acotado, la sucesión de puntos {x"' }
·Csl/( también acota<ln y, en virtud del lema, !!<) puede elegir en ella
1.mn su llsucesióo {x'"~} t¡ue converge hacia cltirto punto x 0 • Por
J1ipótcsis, el conjunto A está acotado, por lo cual el ponto xº E A.
Pero en el punlo x 0 la fundón f tis continua y por eso
llm f (x"'k) = f (.t:") . (3)
k~ ..
:.mlteA
M-J_<f(x'")~M
m
(nt=1, 2, . .. ).
La sucesión {:e"'} pertenece. al conjunto cerrado acotado A y por
'IJSO retá acotada·
§ 8. t 3. Extremos
S11pongamos que en un dominfo (un conjunto conexo nbic,rto) G
vione dndn una función u = j (:&), x =
(x1••.• , x.) y sea .zº =
= (x¡, . . .. X:.l un punto de G. Suele decirse quo la función 1t =
= f \:&) dispone do máximo (mínimo) local en el punto :e•. si un
entorno 3 de este punLo es tal que 'l/;i:, perteneciente a dicho entor-
no, tieno lugar la clesigualdad
I (:zi)~J (:eº) U (:e)"~f (.rº)). (1)
El punto .r0 se denomin11rá punto de máximo (111!11imo) focal y el
valor cor.re.<JponJicnte do In [unción f {.xº), valor máximo (mEn.lmo}
de la /1tnción. E l máximo y el minimo locales tienen una deuomina-
ci6n general uxlrenw locaü. De la definición de extremo se deduce
que en un entorno suficienloroenle pequeiio del puMo :r;G el incremen-
=
to de In función 6u f (.r) - f (:i:º) no cambia de signo:
6rt;;> O cli el caso de 11n minimo locol (mín):
tluE;;; O en el caso .de un máximo locol (mb).
Tl!ORBMA 1 (CONDJCJO:-> NECllSARI/. DE UN Bll'RE"O). Supongamos
que una funci6n u = f (.x) dtspone de exlre1rw local en el punto :i:0 •
Entonces, si existen las derivadas parctales de primer orden •01 (i =
vz1
= 1, .. ., 1l) m el punUJ :e•, toda$ ellas se a11ula1l en este punto:
a¡8z1
(z') = o (.I = 1 ' • .. , n.
) (2)
§ S.13. Extromos
" n
= ~ h h (/; 1 % 1 (.x0)+eil(L\z 1 óz 1 ~
"-' i-t
324 Capitulo 8. Cálculo dilereneial
d onde
(4)
m
Es fücíl ver que
1'1 1 =Vrn-
¿; 'li=
,_,
1 1
; - 1.
l a,,
ª!1
ª121=ª11ª2:- ai,= fx·¡(x") 1:,(xº) -
ªn 1
(f;,.,(.i:º)l'>O
!}¡ (x") <O, /~¡ {:xº) !;¡ (:i:O} - lfx1. , (:i:0)]2 >O
(en esto caso la forma (4} es estrictamente definida negativa), enton-
ces la función u.= f {z,, .:i: 2) tiene máximo local en el punto .i:0 •
Si 11i1a 22 - a~,< O, entonces d'f {:r:º), siendo una forma cuadrá-
ti·c a, no está definida según su s.ig110 al variar .6.:i:1• por lo cual en
esto caso ó/ (.:z:º), tampoco cons·e rva el signo, cualq-uiera que sea el
punto.~·. y, .POr lo tanto, ~n x 0 no hay extremo.
Si a 11a2 , - a¡, = O. la cucsllón sobre un extremo qneda suspen-
dida.
EJEMPLO 1. Parn la función u = x" - 3x y2 los puntos +
(±1,0) son estacionarios. Veamos si Li~n.en o no algúu extremo.
Tenemos
u~.= u;.
6:r, (±t, O) = ±6, u~v = O, u;·,
= 2.
Do esLe modo, pára ol punto (1, O): auaH - a:,= 6· 2 -0 =
= 12 >O, a 11 = 6 >O. Po r eso en el pui1lo (1. O) nuestra función
d'ispone de máximo local. Par11 eL punto (- 1 , 0): a 11 = - 6 <O,
a 11a~ 0 - , a~, = - t 2 < O, por lo cual la función 110 tiene ox trel)'lO
éii el pu1\ to (-i , O).
F!Jl!)U>Lo ? . Para H1 función u = :e' +
¡¡• e l punto (O. O) es esta-
cionario y es fácil ver que en este pimto ln función lien'e un mloimo
local. Entre ~an to, u;. = 2
12x 1 if.u T O, u;•.,,
2,- es decir., a¡, .=
d O, ª•• = O, a 21 = 2, y a; 1a 22 - a!;=· O. ·
EJEMPLO 3. P11ra la ruoción u = :i' + 11• tenemos e11 el punto
c~tacionnrio (O, O) a 11 = U, a 12 ;=i-Q, ª••= 2, es decir, aquí también
a 1 ,a,~- u:, = O, Sin embargo en este cpso la función u
= :i' y•+
no tiene 1•xtremo en el punto (O, O), puos(o q ue én lo recla 11 = O
el in~remc11to óu = r cnm biA rle signo a'l posar por el punto :r -= O.
z~
2) Sea !/ =
= - 1
º·
+ 2:r =O
entonces z = 1 - X+
x", o:o;;; x:o;;; t. Loego,
para x = 1i2, ,es decir, x = 1i2 es un punto
estacionario. Al calcular el valor de la
!/ funci6n en esl.e punto y en ln frontera para
x = O y x = 1, oblOn(lremos: z (112) = 3/4,
z (0) = 1, z (1) = l.
3) Sea x +
y = l, entonces z = 3 -
- 3.:i:+ z', O,.;; z:;;;,; 1. Por cunnto z~ =
0 ~-3 + 2·z =O en el punto z = 312 É (0, 1),
concluimos que en nuestro segmento
o a; [O, 1] no hay punt os estacionarios. Luego,
z (O) = 3, z (1) = 1.
Fig. 100 Comparando todos los '\'alort>s máximos
de la htnción en diferentes partes ele la
Irontern, vemos que el valor máximo de !a función z (x, y) en G
es igual a 3 y se alcanza este valor en el punto :rP = (O. 1).
!/o
j
t
""-~~+-<............~...._..~_._t~6+ó
.2'0 • :&0-q .z: ~ :i:,, •O.J: J¡¡•O "'
Pig. !Ol
Examine 11os ahorA, para :i: E t;.• arbiLrariomentc fi)ndo , una fun-
<:ión f como función _de /1 en el segmento (1(0 - b, llo +
bl. Es conti-
nua , crtce estr ictamente (1~ > O!) y tieno signos opuestos en los
-extl't'mos del s!lgmenl.o. De acuerdo con el teoroma del valot ioter·
medio, exis\.O en nste caso un número y,. y, 11domás, íonico. perteoe-
-ciente al inlor1·alo (l/o - b. llo +
b}; designamos este número me-
diante y .,. 11> (:i:). par11 el cual f (;,;, lj> (z)) .;. O.
Con est.<> queda demostrada In exi~tencla de la runción 1j> (z)
que está defin ida en t.0 y saLisface la ecunci_6n (6).
Dcniostremos q110 Ja !unción lj> (x) e.s cootiuua on t:i. 0 • Supongamos
.quo x, x + L\x E A~, y = 1jl (x). Ay ""''111 (x
.ce.s, on virtud do I~ .fórmula de Tay lor (pág. 312), tenemos
+
L\:i;) - lji (x). En ton-
De 11qui
l ~~~1 ~,
es d~cir, 6y-+ O cua ndo l:!.x - .. O, r esto implica lo con ti n uid ad de
l a función y = 11' (x) en el punto :r. Como el pii'nto :res arhit.rnrin-
mente elegido en 6°, la función 'lji (x) es continua en 6°.
Ahorn, pasando al límite en (8) pim• Ar-+- O, obtenemos (según
lo demoslrado, 6y también __. 0)
Hemos d'o mostrado la existencio. de la tlcrh •adA ij>' (x) ~11 ol pu nto
z y la igualclad
(10)
L a continuidad 110 i¡>' (x) so ve d irecta mente 1lc (10), puesto que
/~ y f~ son cantinuas en el rectángulo 6, y la cur"a y = 1j> (x) no salo
de sus márgenes y es contínun, lo quo so ha riemoslr:ido más 11rrib~.
Enunciemos 1111 toorema, análogo 11.l Leoremn 1, para el c:iso sn
q ue 11nn funció n 1mplícita dopenl{e de n \'ariables .
TP.OHE:~•A 1'. Sea prefijada una ecuación
(2')
lj:"(x) =
1; (/~. + 1;...·1-1; u;u+ 1;.'1>')
v;»
So ha a¡1rovechn1lo aqví la f6rmula de cliCoronciaci6n do la fun-
ci611 compuest o.
flg. 102
torno ele! punto (x0 , y 0 , z0) so descr ibe expUc!tamente por las ecua-
ciones respectivas
z = qi (¡¡, i), y =11> (z, z),
Vemos que, cumplid11 la condición (12). cierto ped11zo de la super-
ficie S. rertenocieote a un entorno suficienlemen t.e pequeño de
(x0 , y 0 , : 0 ) tiene en cualquiera de sus puntos un plano tangente que
varía continu amente a medida que SI.' desplun con t inuamente el
punto (x0 , y 0 , z0 ). Tal pedazo ref.ibc el nombre de pedaw suave de
'4 ~uperflcle S.
Otra cosa es, s i gr nd 0 F = 0, En este casl> no puedo garantizarse
que en el puoto (z0 , y0 , z0 ) existe un p lano tangente o S. Este puede
e xistir y puede no existir.
CIEMPLO. La ecuación
i•+ y• - z• = O (5)
define un cono circular cnyo vtlrtice se encuentra en el origen de
coordenadas )' el eje del cooo coincide con el eje z (fig. 102).
Cnpítnlo 8. Cálr.ulo diferoncfol
IJ~,
(ª' ) (
8/ )
011 ( 0:
0
ª' ) . 0
ve·mós quo el vector
g.rad fo= ( ( :~ )0 , ( ;~ )
0
• ( :~ )J
éstá: orientado a Jo 1argo de· Ja norm al a la superficie S.
La ecuación z = f (x, y), dolido la función f tiene derivadas par-
ciales contin¡1as, define cierta superficie suave S. Pongamos A =
= f (z0 1 y 0 )-. Si en el punto (z0 , y 0 ) las derivadas parciales (*)o.'
·( ~ )0 no .s.on nu.las simultáneament.e, Ja ecuación A = f (z, y)
§ 8.1 7. Sistemas de luuclooos dadas lmplícílomeote 33<>-
definirá on el en torno tle este puoLo cieJ:ta curva suave l' (linea dt
nivel de la función z = f (z, u)).
La ccuneión de la tAngento a r en (z0 , y 0 ) será
(:!) (z-.zol+ ( :! )
0 0
(Y-Yo)= O.
:~: .!h..
=I.!./J. :~~ l/.!h...¡.
ov. o . (16)
8111 811,
§ 8.17. Sistemas de funciones dadas impllcltamente 8311
.!l!!!..+.2&..
11.r• ov, !!.!.,
O:r•
... +~""'"'
av.. iJzh .. o.
El sislcma (19) es linool respccw de las dcrivudas desconocidas !Ji.!... a
iJZ•
,.1iL U - l , .. ., m) eu)'o determinan~ ~sel jocobiano
iJz•
D (/,, .. . , /..,) O
D(11,, ... , Vm) "P •
Por eso el sist.c1na (19) tienp unn úmcu solución:
U/11
7ri: =
D (/,, • .. , /,.) ¡
D (f,, · .. , /,,.)
D (z•, //t• ••. , y.,.)
D (111o •• ., y.,)
O/In\ D(f,, ••• , f,.)
~= - D(y., ... , /lm- 14Al
¡
D(f,, .... /ml
/J(y,. .. ., !lnil •
§ 8.18. Aplicaciones
Sea dado un sisLema de funciones ronliuun1nBnle difcrenciablcs
y¡ = '1'1 (r ) = q / (.t 1, ••• , .r.}, :e E Q U= 1, .... m), (1)
don1lc Q t'S 1111 conjunLo alJlorlo tlc p1111tos :c = (x., .. . • x.). Oire-
mos 411e el sisl.ima ('l) defin e una aplicaci6n continuamente d.iferen-
ciable
y = , \:e , r En. (1 ')
del c.onjunlo Q so~ro cierto coujuulo Q' de puntos !I = (g 1 , . . . . Yml·
Se escri be Q' ~ A (Q) y se denominn O' 111wge1• de O, y Q 11e llama
pret11iag~n (imngen recíprocn) de Q' (por modio ele In npli cación A).
A la par con A exnminomo~ ot1·n 1q11icoción co11ti11trnme11to
diferenciabl o B:
z¡ = '1>1 (y) = ij¡¡ (y,. .. ., y,.), !/ E.\ U = 1, .... m),
D \>1. .. ., '••)
D(:rh , . . • Ztn) 11:.!..l =I,_,
ÜT.J
~ .,,, ~1=
º"J
LJ iJy,
- !!!.Ll.llhl=
- .Jy, léJ:<¡
D(i 1• . .. ,z,.)
D(11,, . .. ,y,,.)
D (v, • ... , vml
O(~ •••. ,z,,,) 1 (2)
cuyn 1leniostrnción, e-0mo vernos, está bnsad n en el umploo do la
fórmnlR pnrn la der ivuda du unn función compuestn y de 111 regla de
multiplicación de los determinantes.
En p:1rlic•1lor, si B nplic11 A sobro el conjun to do punt os z E Q,
es dot'ir, sl z = BAz, x E Q, e~ una aplicación id~n Licn, entonces.
debido n qu su jncobi11no l•S ignn l t1 1. o btendre!llM In ff>rmn ln
_ V(,-, , . .. , r,.l. D\y,, . .. • Ym l , .r E U. ()
1 3
D 1111• . . . , Um) D\x,, .... .z:,..)
Supou1lrl'n10~ a lu.H1l r1uc Ja npJicnci<"m l'<>nlluunmentt' dllCrl•ncioMu JJ = Az.
quo M" deler111ina ¡ior IHs ig u 11lilnd es (1). lie ne d J"cuhl.rno
D 111,, .. . , y •• I >F Q, .., E ll,
D (z 1, ••, z.,.)
que cs 1llsunlo de ceru 1·11 «idu punU> del c o 11junlo abierto O.
Oc mos a couo~r W1 dett\(\~tueuin las siguien les prupioJall<"&:
1) 12' - A (Qi es un oonjun&o ublorlo (¡junio con 121),
:.!J s i U es un oloroinio. S<•r' t~mhi'u un dominio O',
3) lu aplicneión A es biunivoca locn lmente, ~•decir, pnru cunlquicr punto
"'°E {I oxlstt' tu l esfera V e:: íl. co n r~111ru en dfoh<i punto, qw In uplicnoion A.
exnmllJlicla sólo <'n 1'. t:S l.iiunivuco .
L n propledod 8) allrnrn sólo Jn l11unl vocitlad lo e~ !. La biuniv<•rl dad ~lo ba!
nn rxis&,e l-fl g~neral. PoT ejemplo. In nplicaolt\n.; = p cos O, v - p sen O de 1...
coordModAS pu l<tres de lo• punw • de \In plano en las <lll'leslnnos. porn p >O
y O orbilr•rlo. ca eontinuamenle Jiíerenclable y Lleno 11n l11cobln110 po!lllvo
igual a p. t\plica lus punli•s (I>, O) (p > O, -<» < 6 <. oo) del plnoo
en los puntos (r. y} , distintos rlrl ¡wnto nult1. de un modo blunh"OCo loca . No
0) 'r.·
obe1nnte. nunque ¡, todo pnnlo (r, 11) lo oorresponrle un úlllr n vnlor de p, h~y una
i nlinidnd tic d islin&us valnl'I'.• ol~ ~. que ac diferendau 011 2kn (J; :t: l. ± 2, . .. ) .
_, (~)o dx
d¡¡. = "1
LJ 111¡ 1 (k = 1, ... , m).
344 Cupíllllo $. C•ílculo dífer~ucia l
0
g rad 0 0; - grnd O¡ ( P ) = ( ( ;;:: ) ., . · · · • { :~~ )0 • ( ~~: ) • • • •
iiG' ) )
. . . ' (..::::.i.1
•
(r= t. . ... ml.
I Yru O
grad 0 /? =
..
I, ?.1, g1·ad 0G" . (7)
·-·
La afi rm aci6u in,•et'Sn os tambi én cierta. Si se s11bc que gracl 0F
puede sor· rcp1·c$ontado, para ciertos númcTos /,1, . . ., en la '·m·
~orma (7), es decir, como una combinac.ión lineal do los gradicn Lcs
grad 0G~ (/< = 1, . . . , 1n), du aquí pro,·icn () cliroolamcntc l[llC s i
uno clo los vec.Lores dz os ortogonal a los grad ientes grnrl~Gh , sorlÍ
automáticamente ortogonal a gract 0 F.
§ S.19. E~trcmo condicionado
1) Véu.st· nu~stro libro «.M tiutmállc:.ns super iore:;. Elementos tlcl OIS:t"l>rit
Jincul y de Ja geometría analllir.a•, § 18, \('<ll'eu1t1s 1, 2 y e l cm·olor io l.
2 ) Véas~ ~l leo:n.•ma 1 § ·10 MI mismo libro.
"l Véaso ~ 13 <Id libro cil.ndo.
346 Capítulo 8. Cñ\enl<> diferencial
ltul co11diciones (1.), para e.l cua.l el gradiente de F es una cornb inaci6n
lineal de gradimtes G¡ (f = 1 , .. .. m)
grad 0 1' = ,_
~.'>. 1 gracl .G1•
(¡ - - 1, .... n ),
(9'}
,;L = •11-2i.x ~ o.
l
~z
i•L
~ - :r:-1~ -= 0,
y .- ~:2 - 3=0.
Rc~ol\'icndo e.ste sistomn. cmconltlllllO!:' q uc x = 1 , y = 2, l. = i .
Dv e.<te modo, el punto (1. 2) 1•s estacio nario y le corr¡,,•pon<lc un
factor de L~grnngc }, = 1. lnYt.,~ligncmos en el punt o t'.Stnrio11a1•io
l o sttguntla oliforcnoia l cl!.l Lagrongc
L (;z; , ¡¡, 1) = xy - y - x2 +
3.
Tonemos
d'L (x. y, i) = !,~~ tk2 + 2L~ dy +L; , dy' = 2dx(dy - di).
Si dx y dy ~e co ns idcr.:111 ~umu ti ifcrenr.iall!S de las variab le.< indc-
punditintcs, eotourcs d'L lX, y. 1) no l'Stá de!inidu por ~u ~iguo.
No obstante, \le Ja er11ar.ióo do e11 lnce se ve que dy = - 2x da:, y un
l'l punto (l , 2) d¡¡ = - 2x. De e.~Le modo,
d''L (1, 2, 1) = - Hda:2 < O (d:i: o!= 0),
348 C..pilulo ti. CMcnlo difereociol
Series
(5)
lím
"'
Lj Un+~ =líui (S71 +m-Sn)=S - Sn.
t11- o:i k.-1 f¡'t.... (IQ
r bt
"'O
"•
/(:i;)dx +) f(;i;)dx + ... =
bt
(11) b A+ I
¿; j f(dx) ,
t-0 ti Ji
(2}
es COllV(!f{.'tllltC,
~=G 2k~
~ sontdt- t - c.osx
o
no tiend e a un límite cuando :r. ~ oo.
TEon eltA 2 Si 1ma f1tnci611 f (:~) ~ O es c<>nti11ua y no erece en
(0, oo), la Integral
00
Efectivamenle,
~o auA = "-"°
llm iJ auA =a líni ±u~ "" a}'] uA •
o o o f' -00
13-0 1380
354 C. pi lulo 9. Series
.. f..
convergo (sus términos son tocios ignaJes
~l -
11 cero), pero In expresión
1 no tieno sentido, pues, las series que la int.egran son
divergen tes.
Si una serie
U0 +u, + u,+ ... (4)
con vergc y tiene la suma S, sus términos pueden agruparse de un
modo cualquiura (sin perm1Jtarlos) y encerrarse entro paréot.esis
asf, por ejemplo:
u0 +(u, + rt 0 ) + (u 3 + u4 + u5) + ... ,
formando una serie nueva cuyos términos son iguales o las su!Jlas J0
nl'.lmeros puestos entre paré11lesis. La serie nueva será con\•ergeote
y, además, hacia S, puesto qua sus sumas parcialos forman la s11b-
sucesión de una sucesión convergente lle sumes parcinlcs de la ~rie
(4).
Viceversa. serlo ilícito suprimir paréntesis en la serie cuando se
t ratn lle un caso general, por e jemplo, después de abrir los parénte-
sis en Ja serie convergento (3) se obtiene una serie dhergente
1- t + 1 - .... No obstante, si entre paréntesis figuran siem-
pre sólo los números no negaLivos o no positivos, entooces l a su-
presión d~ paréntesis en tnl serie no alterA lll convergencia de In
serio ni el valor de sn sumo.
1)
..
dos serles de Urmllzos no negatlvo1:
f 11~,
a) Si uk~ vk (k =O, 1, ...), la convergencia de la serte 2) no
signtfica la conlJel'gencla de la ser~ 1). mientras que la dlvergencta de
la serie 1) implica la dtvergencta de la serie 2).
b) St
(1)
(A - e) v• <
·- <
líe.itas para N sulicientemente grande. o las desigunldndes
u~ (A + s) v., k > N. (2)
..
Si In ~erie 2) e., coovorgen Le, lo
t -.'it+s
~
serie
..
la convergencia de la serie ·t ) lleva consigo la convergencia de la
a) Si
"~;·~ 11 <1 (k .... o. 1. 2, ... ). (4)
la serie (3) será eonvergente; en ramhio, si
~;:;.1 (k=O, 1, 2, . .. ),
la serie 1erá dlvtrgen to.
b) SI
lím~ = q, (6)
i - <» UJI
ncs, debido.al criterio (5), la serie ¿,u~ diverge y junto con ella di-
verge t ambién la serio (3).
'l'i¡OREMA 3 (CRITERIOS DE CAUCHY).
" Sea dada una serte (3) CO/I tér-
minos postfü'Os:
a) St
~<q<1 (k=O, 1, ... ), (8)
•la serie (3) será convergente; en cambio, si
Y1't;.;;;d (k=O, 1, ... ), (9)
la serle (3) diverge.
§ 9.4. Series de términos no negativos 357
b) St
(11)
la serte (3) converge para q < 1, y d/r;erge p ara q > 1.
Demos tración. De Ja desigua ldad (8) se deduce que
k =O, 1, . . .). y, puesto que co este caso l a serie
..
u, <
¿: q'
converge,
q1' (g < 1,
o
será convorgcnte también In serie (3). De la desigualdnrl (9) se despren-
de que uh ;;.. 1 (k =O, i , . .. ), es decir, no se cu n1ple la condición
neccsnrin par a J¡i convcrge>ncio, por l(J cual la serie (3) será di vergen te.
Lnvgo, ile lo propied nd (10) so deduce, par(I q < 1, que
"vuh<q+e< 1 (k';;.N> (t2J
pnra N suficientemente gTnndo, de donde
y. como In serie ~ (q
..
u-< (q +e)• (k> N) .
+ ~)• con verge, será convergente t ambién la
N
"' u., y. junto con ésta, h1 ~crie (3). De In propieuad (10) se
st>rie h
N
despronde. pnra q > l , quo Vuh > 1 , es decir, u.h > 1 (k;;. N)
pnrn N su íicientcmenle ¡¡ronde, <lt' dond e provieno In diwrgencia de
lo serio (3).
Du la propiedad (11) (al igual que de la propictlod (10)}, para
q < 1, desprende (12), Lle donde. do acuerdo con lo tlomostrodo. se
de11prcndo la convergencia tlo 111 serle (3).
Por fi n, supongamos que se cumple Ja propiedad (1 t ) para q > 1.
E lijnmo!< u n número finito q1 de un modo tnl quo sen 1 < q1 <
< q. Debidu o In proJ)it'dnd del límite superior (vénsc el § 2.10),
ex islt' una subsuco~ión k 1 < k, ... tal <1110
~u~, >q, > i (s=i, 2, ... ).
es decir ,
u.,> tf.•.
Mas, en oste coso, ,_
lím .. U t, = oo , y lo serio (3) diverge.
Observ ación . Una serie cuyo término ~neral es Un "" n.- (a >O)
converge para a> '!, y diverge para a:~ 1 (vense el § 9.2, (5)).
358 Captlulo 9. Se1·1es
lí m~=1 , (13)
A-oo u,.
lo mismo que
lim
n -oo
vU. =1. ( 14)
4)
..
o
L;1J1(1 ++). 5) :¿qA+ •'i (q>O).
1
(15)
términos,
u; + u;+ u;+ ... (16)
~bién con11erge y ttene la misma suma S.
De111ostraci6n, Sea
s~ = u; + u.; + . . . + U-~
una suma parcial de la serie (16). Los términos de esta suma tienen
l os Indices k 0 , • • • , k,, como términos de la serie original (15}. Sea
N el número má~imo enlre ellos )' sea S ~ la N-éstma suma parcial
de la serie (15). Es evidente que s:, ~ S.v ~ S, y, como n es na~ural,
la serie (16) es convergenLe y tiono la suma S' ~ S. Ahora, cambian-
do de lugar las series (15) )' (16), podemos repetir los razonamientos
~ducldos y obtener que S ~ S'. Por eso, S = S'.
es decir,
e > I/ Vx E E, n > N.
(r) - In (x} [, (2)
Vico,·~rsa, de acuerdo con lo soguoda. deCinición, pnra todo
8 > O se encont.rará tal N que se cumple (2). Entonce:¡
e;:.. sup 1f (:i:) - l. (x) 1 = Pn• 11 > N. (3)
:tEE
dos los x E E tales que 1x - x!' 1< 6; por eso. de (7) se deduce que
para tales x se verifica
2t
1/ (x) - 1 (x") 1< T + 3• "" e '
y el teorema queda demostrado.
E J F.MPU> 1 Una serie
1 + (x - 1) + (x" - x) + (x 3
- x') + (8)
convorgc. en el segmenLo [0. 11. pero no 1miformc.mente. En el seg-
mento 10, qJ, donde O< q < 1, la sarie converge uniformemente.
En efecto, la n-ésima suma parcial de Ja S(\rie (8)
O, O~x< 1,
s. (x) = x" -;::::;;: { i, x = 1.
El valor ab~oh1to de la cli!erencia S (x) - s. (x) (del resto de
la serie) es
x". O~.r<1,
JS(.r)-S. (.r)I { o, x-t. (9)
donde a ¡ , ji~
gomos B~-lln+t
'°" +
lln ~, + ... +
r
las luneiones de z E (o bien los números <onalantes). Pon-
n+~ y apliquemos la trana!ormaclón de
Abel u In suma truncada de la serle ( l) :
p
~ tt n»~n•- = ª••1ll•+1+ ... +an.p~n+P
•-1
=an+iBa+ a .,..1 (B,-Bi)+ ... +an.r (Bp-Bp. 1)=
= 1a...1 -a,...J B,+(a,..1 - ,...)81 + ... +<ª-•P-•-ª••P)Bp_ 1+a••pBp=
..
P-1
=- Í:: (an+~ -a.,~.,) B~+'-'•+rBp. (12),
~-·
Capítulo 9. Series
2
1 +cos :e + cos 2z + cos 3.x + ... , sen .z+ sen 2z + ...
§ 9.9. lntogn1.ol6n y diferenciación da laa sorles 569
son iguales a
oen(n+-})z
Dn (z) = , K,. (z)-
2sonf
.
~~º~ )
.
/,,(t)dt - ) f(l)dt.
f,.(t)dt- a)r.,
a a • o
24-013$0
3i0 Capitulo 9. Series
J.
1 S(t)dt- l
~ u•(t)dtl=ll S(t)dt - J. S. (t)dtl=
=IJ..• [S(t)-S.(t)ldtl~}.• !S(t)-S~(t)!dt~
~(b - a)r ..... o (n-+oo),
y el teoto1na queda demostrado.
TEOllEM.< s. StLpongamos. que m el segme11to la, b] viene d4da una
serle de funciones (de valores complejos)
u 0 (x) + Ui (z) + u. (x) + . . . (6)
las cuales disponen de una derivada continua.
SI la serie (6) converge en cierto punto x 0 E [a. bl 11. además, si
con1JCTge unijormér'íiente en la. bl una serie fom1almtnte diferenciada
u;
(z) + u; (z) + u~ (x) + .. ., (7)
S 9.9. laltegraeión y dHeronelaelón do las sorles 371
No ob~Lnnte
S(x) ... S(x0)+
..j q¡(t)dt•
y
..
~n-"'<oo (a>1).
1
1 l/2n
·-.. O para todo x E [0, il, Y
l /n
j /,,(:i:)dx= J 2na.xd:t: + J 2na,,( !-x)clx=~:.
SJ o 1/2•
b
con\"erge hacia una integral 1lc la función límite ~ / (z)dx,
u bien con verge hacia o~ro número (para a,, = n convergeª no hacia
cer o, si no hncia 1/ 2) , o bit1n no converge en general.
~J.E MP1'0 3. De 1a igualdod (1 - s)-1 = 1 + • + •' + . . . (• = P•le,
r< 1) so deduce que
Au -~
aps
+..!....!!!..+
POf>
...!..~
p•aeo --o· (17)
§ 9.tO. Multiplicación
de las series absolutamente
convergentes
Veamos dos series absolutamente convergentes
s ... 2 u~.
t•O
a= f
l=U
v1 (1)
!le úrminos reales o complejos. Numeremos los pares (k, l), dond¡.
k "" O, 1, 2, .. . , l =O, 1, 2, . . . , de tal o cual modo
(1')
§ 9.10. Multiplicación do las series 375
Pongamos
N N
sN-.>-i fuAI .. ON=)', 1v, 1.
•-o t;;o
Primero orden,emos los pares (k, l) del modo siguiente (fig. 108):
(O, 0), (O, i) (1, 1.). (1, O), (O, 2) (1, 2), (2, Z), (2, 1.), (2, O),
entonces
:So= N-oo
lím S,, lím crN~ lím (S,., .ü,.,)-
N-oo
-- N-"'°
= Llm (1 Uo I · r v. 1+1 Uo l·lVs 1+ 1u, 1· IV¡1 +
+ 1~1·IVo1 + • .• + 1 u,.,
.
+ 1u1 I• l vo 1+ 1Uo 1· 1u, 1+ 1u, 1• 1v, 1+ 1u, l · 1Va 1+ 1u, I· 1v 1 f +
f • I Vo \). (4')
Esto muestra que la suma en el segundo miembro tiende, para N ->- oo
a un límite igual a Su, y como sus términos son no negativos, enton-
<:es el número Ser es la suena de Ja serie
+
Se¡ ~ 1 rio I• ]vo 1 1Uo I• 1 u, 1 + l
1 u, 1· J v, 1 + . . .. (5') N
Por cuanto los términos de esta serie no
son negativos, pueden permutarse de un
modo sumamente arbitrario sin que se J
alteren la convergencia y la suma SÜ de 2
la serie. I
Hemos demostrado nuestra afüma-
<:ión esta vez para las series (1.'). O I z iJ N k
Sea ahora
N N Fig. 108
S,.,= ¿: uh,
t. o
C1N= 2:
r-o
vi.
Al igual que en (4'}, por ser convergentes las series (1.), tendremos
Sv - lím (SN11N) ~
N-ool
lím (UoVo +u.u,+ UiV1 + u,v. + ... + UNVo)• (4)
_~ '
R= lím .. li(2>
donde en el clencmtnador figura el límite su.perior (véase el § 2.10).
Nos permitimos en este caso considerar q110
·1 1
er=oo, -;;;;-=º·
De tal manera, si el límite suporior ci tado es igual a O, entonces
R = oo, si, en cambio, dicho limite es jgnal a oo., entonces R = O.
El circulo abierto ·I = 1< R se denomina cfrculo de conuergencia:
de la. serie de·polencias. Cuando R = oo , dicho c.írculo se c.onvierte en
todo el pJ.ano complejo. Cuando R = O, la se.ria d~ potencias tieo&
\tn solo punto de copvcrgencia, a saber, el punto z .... O; R SG deno-
mina rudiQ de coni;erge11cia de la. serte (1).
Observac ión 1. El número R , que satisface In afümación 1) dell
teorema 1, es, r.>bviament(). único.
Obsenaci6n 2. Si para lo se.ríe de potencfos (1) existo un límite
corriente llm 'V jii;;-¡, será igual al limite superior
íim ;Y¡¿-¡. Por eso
R=--,,...;.,-~
~~ }.-'.• \an 1
00
Un lector que no está fawilia.ri.z ado con el concepto de limite su-,
perior pue.de segufr la clemoslración. del teorema 1 su poniendo que
:S78 ~pl~ulo 9. Sorios
-
1; 1anq"1 < oo.
".,.º .
Por otra parto, paras E Gq tenemos
1a.~" I~ 1a.q" 1 (n = O, 1, 2, ... ).
Los segundos miembros do estas desigualdades no dependen des E Gq
y la serie formada de los segundos miembros os convergen te, por lo
c11al, de conformidad con el criterio Jo Weierstr11ss (véase el § 9.8,
ol teorema 1), la serie de potencias (1) converge en o9 absoluta y uni-
formemente .
T60Rl!:MA a. La suma
S (z) - a0 + a 1z + a,z• +
<k u.na serie <k potenc/a4 ts una funci6n continua en tu cfrcuúi de con-
"~rgencia 1i 1 <R.
Efectivamente, Jos términos de nuestra serie son Juncionos con-
tinuas de z, y la propia sorie convorgo u.niformomente en ol círculo
Oq , q < R. Por consiguicnto, de acuerdo con el célebre tcoroma de
la teoría de las series uniformemento convergentes (véase el § 9.8.
el teorema 2), la suma de In serio S (z) es una función continua en
<14 , y, entonces, en todo el circnlo 1s 1< R , puesto que q < R l'5
11rbitrario.
El radio de convergencia de una serie do potencias puedo ser cal-
culndo según la fórmula (2), pero prácticamente resulta a menudo más
~onvenienLe aprovechnr el criterio de d'Alembort.
Supongamos que existe un limito (finito o in.finito)
.
l llU 1-
.....
-
1 (4)
fj-~ 41\ t
(9)
§ O 12. Oife.rcncíación o in t~gración 381
En el caso go11er3I, eu•ndo el llnute 13) no exi• le. titne lu¡ar la i~""ldad
-
~~'"! • lu.1 =7f1
· ·- -
y en1onces
1 - ,¡ - - 11 ~- - JI - 1 1
w =,!~'!!' n1an1-,.1~r: · 11~~· lan l ~ hn=-¡¡.
Sin emh•r¡¡o, se l'<'quicre Jo argumeniación de lo segundo leueldad, es decir,
es neceurio demostrar que al-:.,., P. > Oy a,. - 1, entonces
liñi (1%i.Jl.) = li'iiip.. {~)
Eo electo. existe un• sub(ucesf6o (•A) tal que
IIiñ ll. - llm llnA = lim ª"A lim llnA"" 11.m (a,.Alln~l e; lim (a,.!!.)· (5)
Existe también una sub~ucesióo {•A) tal que
=
11m (an~nl
.
= Jlm (a,.Allnh) =
lím \anA~"A)
.,. Jím ~·~ .;;; lim ~.. (6)
11m<:inJt
De (5) y de (6) se deduoo (4).
TEORE.MA :_Una wte de pottncins
+ a,: + a,;• +
/ (z) = 11 0 ( l z I < R)
puede lfcltamente dtferenelarse dentro de los limites de su círculo (abierto)
de convergencia l z 1 < R , ts derir. es válida la /6rm11lll
f' (z) =a, + 2a 2: + 3a,;;t + . .. , 1s 1< R. (8)
Demostración. Esto teorema sólo se demostrarll bajo el ~upuestc>
de que: = :i es 11nn variab le real, Jo q1le nos pres ta la posibilidad
de reducir el problema a un hecho bien conocido por In teoría do las
series reales .
Así pues, la serie do potencias (7) para una varíablo real tiene por
expresión
f (z) = a + a,z + a .i:' + .. .,
0 2 -R < z <R. (7')
Esta serie tiene esta vez no el drcuJ.o, sino un intervalo de con-
vergencia (- R, R). Una serie correspondiente diforenelada formal-
moute tiene la formá •
<p (z) .,. a~ + 2a~z + 3ar2 + . . . (8')
La · suma de ést a se ha designado, por ahora, mediante 11' (:i). En
virtud del teorema antecedente, esta serie converge en el intervalo
(-R, R). Como ya sabemos , ambas series convergen uniformemente
en el segmento 1-q, ql , donde q <R. Al mismo Uempo los términos
de la segunda serie son continuos y representan las derivadas de los
§ O. t2. OiierOJ1ciad6n e inlcgraci6n
j f(t) dt = a (x - x
0 0) + -T<x•-xp +
...
+ ª; (:r3 - x:)+ ... , -R<x. :i0 <R. (12)
.
En particular, cuando x0 -
(sh x)t•i = {
sh z, si
.
"= 2k,
cb Z, SI n=2k+t.
entonces
O, si n=2k,
(shz)<•> lx-o·= { f, si ll=2'k-+"I'.
por lo cual la serie de Taylor para Ja función sh :e se anotar~ asf:
~ ~ 1
shz=x + 31 + 51 +.... (15)
' . '
Puesto que estn serie de potencias converge en todo el oje real (aplí-
quese el criterio de <VA!embert) , podemo~ diferenciarla término a
2s- ouso
Capflulo ~. 58!'ies
término:
(16)
... •
e' = e"+hl = e"ei• .
1 •
i 9.13. ~~ncioocs •'. son e, eos 1,;de ~ variable compleja0 387
cos z (4)
.
. . .+··
coslz = - -2--=chz-oo,
e·x.-ez
z-oo. (5)
donde
l
.t::n.•1
a n -(
- - 1)"+l
Jo - 1+:z;i
-- - d:r: •
~
arctgi- ¿¡ 2k+l -+O,
( - t)k 1
11-+ oo,
1
k=O
(3)
!Rnl = l4 L;
• =n+ l
~-;:!: I< Z11~a •
E:ntOJICOS
l 2 ~a 21~ 5
g 2 et = t - lg'a. = 1 - 11-¿~ =l'l,
l. 2 lg 2« 120
tg "10! 1- tg• 2Q. = 119 '
4 n ) lg4cx-lg (n/4) 1
tg ( a- -¡- f-Hg4a-tg(n/4) ;eao·
De aquí
4cx--f = arctg (i/239),
n = 16a - 4arctg (t/239) = 16arclg (1/5) - 4at"ctg (1/239).
Haciondo uso, ahora, de la seriu (2), obtenemos
lu(i+x)= J
.
fdx z2 :i:' :eJ
1+z = x-z- + 3 - 4 + • ·•.
(]x\<1),
o
Para :t == 1, es.ta serie es convergente y converge olla hacia ln 2.
En efecto, integrando la Identidad
1. ,:itJ+L
t+:c =1:-x+xi- . . .-+ (-1)"x~+ (-1)"•• i + :i:
doode
(1 + x)"=1 + Z
k~I
et (a- t) ..k.t (ct-k + 1> "'~· (9)
5 {1 8 2·81 2·5·8 1
§ 9.1 S. Concepto
de serle múltiple
Uno expresión
.... ª•"
~ L) (1)
•-oz-o
donde a1, 1 ~on unos númaros (realos o com¡>lejos) dependientes de
l os parCl! de indices k, l = O. 1 , 2, .... so denomina serle doble.
26•
396 Capítulo 9. Series
Smn = f) +. a~ 1
•- o,;¡,
(m, n =O, t, 2, ... ) 12)
Al igual q 110 en el caso de los series ordi nar ias, so dcm11cstra que una
serie absolutemente convergente converge. La demostnción se basa
en el criterio do Cauchy: parn que lo serio (1.) converja , es necl'.!lario
y snfidon l l• que parn todo e > Ooxista un número N (e) tal quo sea
( S mn - Spq J < s,
cualeSt¡ufora qull sean m, n. p. q > N (e).
Ln nrgumoutación o~l criterio de Cauchy es la mls1ua que para
las series ordinarias .
A lo par con la serie (1. ) puedo exruninnr una expresión
~ { ~a.,).
""º l •.(I
a la que sería natural asignat un número A (si es que e.xiste) que
se obtiene del modo siguionlll¡ si la serie encerrada entre par6ntl'.!lis
es conver,:ont e para todo k ""' O, 1, . . . y tiene por suma A•• y si
la sorie 2:
A-O
A • converge hado el número A, suponemos
(5)
(6)
(7)
398 Capitulo 9. Series
~ ( ~ a~r)~S
.t.-.o l•O
para cualquier m, y de aquí so doduce la e:dsL.encia del número A
(véase (5)) y el hecho de (¡ue A ~ S .
Por otra parte, si el número A es finito, entonces
00 1 t 00 •'-c.
h A~~(i""::T h k' ""= ~ .._ h a=T~
.... , A::al ·-·
1
~«-t
1
+o:=¡-
..
Jr '3:1-C.dx.
1
que dependen sólo del índice n.. A las sucllSionos {S.,,}. {S;,. } les
.c;orrt>spondcn los setios convcrgcntcs
S =ª•o+ + G11 + ao,) + (a,o + ª" + llt2 + ª02) +
(a10
+ (oaG + .. .) + .. ., (8)
s· - 1ª•• 1+ (1 ª'º 1 + 1ªu 1 + 1ª•• 1) +
+ (1ª•• 1+ 1"~• 1+ 1ªu 1+ 1ªu 1+ 1ªn 1) +
+ (1 ª•• 1 + . . .) + . . . (9)
400 Capi1u.lo O. Series
f.. (u~I = M,
donde la serie a la derecha converge de modo abwl!tto .
.. ..
Dcmo.stración. E!ec.t ívamqnte , supongamos que
..
_íl ¡v,¡ = N. La serie dob le 2: ~ u.v, conve1·ge de modo absoluto,
(l k-0 l•O
p.u esto que para cualesquiera 111, 11 se Lieue
Por lo tttnto
~
lr:c:aO
UA· ,¿:
l• O
V¡=lím
n-~
'iJ u,· lím z-o
lt• O
~V¡ ·=
n-oo
fln ooco
>] w,.
(11)
= lím ¿:
n .... oo k•n l-O·
~ 1t,V1= ~ ~
k-O 1-0
ltAVr =/;:_~
donde l a úllima igualdad se vorific¡¡ debido al t09rcrua a,1ttecetleute.
Ob.•orvemos en coPclusión que pueden cxnmi11nrse las series
n-n1últiples in;;.. 3)
~ •. . ~ ªkt, kt .. . . ... .
"~=O °'"""'"'º
Obscrvaclóu. tl.emos iutroducldo más n.criba el concepto de su-
mas parciale5 rectangulares Sm11 quo cpntienen JI/ términos de la se-
rie (i) (JI/ = (ni+ 1) (n + 1)), Cua lquier s111na cornpue$ta por
l
M
>----(fe,l)
(fe.l)
k H k
o R
Hespue~Lo.: o. > 3.
2 ln"~t!gucsc para qué o.> O converge la serie o-múltiplo
2
.... o. > O converge la serio doble
~ (kl+l•)-".
1:-1 t;;,
Respuesta: a: > 1.
4 . !nvestiguese para qu é o., ~ 1 , ~. convergo la serle doble
i:
•-t z
l•O
(k~• + lº')-".
§ 9.t6. Adíc6n .de las serle.e y .de las sucesiones 403
L! i; <kP•+ . .. +k~·>-"'·
t1-t ""' - '
•l
§ 9. t6. Adición
de las serles y de las
sucesiones
Sean daci as una sl\rio numéric.n
Uo + + + Ut U2
ª• = ~
k.-0
( i- n~t }uk.
De este moclo, los términos de la suma a,, se difier en de los té1·-
minos corrcspondienlL'S de la suma parcial' ele Ja serio (1) en lo que
los últimos se mul ti plica11 por los números h~ = 1 - n ~ t quo
son inferiores a la unjdad . Por eso, si la sucesión {Sn } di\•orge. pue-
de ocurrir que, a ptlSar do eso. la sucesión {o.} sM convergente.
Por definición, la scri~ (1) (o bien la sucesión {S.}) se acl ir.iona
por el método d e medias ariLméLicas hacia el nóm ero cr, siem pTe que
existe un límite
S- an•p-(s - + ~ sn+lt) -L
•=1
p •
+( ...!...p _ _11-p,_)"
+ I
s --'-"'
LJ n+lt
s=
11 + p+t LJ l
.0-1 •-o
h (S - Sn+•>+ ( +- n+ ~+ I) L; Sn+• -
p p
~ 8 ••
- n+!+1A-G
de doiule, ;11 tomar· en considt•rncióu que
1 1 11 + 1
p- n+p+ ·I ".. P\ll+P+I!'
O b tcOl'lllOR
-+ 2 (n-+co).
S 9. t6. Adlc6n de las sorlea y de Ju •uceslo11es
otr,omto de Newton O
=
- - Jnler1ormonte 28
;_,;:g:1\~'31noott 28
- conoxo 183
- - Miokolt"llJ 279
oor::A:~~ 2:.c1onea ..
- - lot CODJUDtos t1
- tntl.nlto 2.8 - - - aóme.ra. COJD.PleJot 194
- Innumerable SO - - aucoalo.ne• 37
- uo acotado 2a· DllcrentlaclOn de Jaa fu nctoau de.tlnldH
- numerable l9 pa.rom,trleamente 138 ·
- 11empre denso a4 - - - 1ertt1 S&9
- n.cJo to Dlttrenclal de uu. tuncl4o UO. 307
Coall1111ldall de lot a1lD>lloo real.. M Dlte.rcacla.l u de orden .-a:per1or IS7
- u.ouorme os, llt OU<ootlolllclod de primen eapecla 83
~·:!."".::t. d~ra IDl<psl lm,pfOpla 1137
Dbh"n'á~º::~r:ero.c ~i:tot
1
===;;c~:,¡:1::.e1;:2an
ConYoxlde.d do Ja ourva ea un punto tU
Dominio H3
- de doflateldn de una tuac16o
%78
eo
- - - - - - ttrmeuto 187
Cota e.u.eta lnlertor u
- - 1uperlor 49
Orltulo de Abe:I d• co.o•erp:a.da uaitormo
- -rtc;aa:'
de ..... urte 318
4• coo.,use-11c1a d• uu ....
=~1::~~~~~~"~~h288
- dlteonUnua t-n un punlo 78
=!::'re1~n.;_C'ntr.
-
-
blp<rbOllcn IOG
6
=~fn~~~·~~ 10~
-
-
r:a.clt~nat
\lft\VOC!O 00
3.02
-
;-,~DJugado 19'
tllllto (hHJnfto) 25
- trn.~lonaJ 13, u
- racJonal t J. t6
- rut U
V~rl11bl€' d1tpendlcnle 60
- tnttnllamente grande to
- - E>P,ctU-efta iO
- 1n<1epencllente 60