Capitulo 1

PRELIMINARES MATEMA.TICOS
1.1 Conceptos basicos y elteorema de Taylor
).2 6rdenes de convergencia y conceptos basicos adicionales
*].3 Ecuaciones en diferencias
Comenzamos el capitulo con un repaso de algunos temas importantes del Calcuto que
seran necesarios mas adelante. EI lector har~bien en pasar por alto aquel material con
el que se encuentre familiarizado.
1Conceptos basicos y el teorema de Taylor
Comenzamos con larevision de algunos conceptos basicos del Calculo.
Limite, continuidad y derivada
Si Ies una funcion real de variable real. entonces el limite deIen c (si es que
existe) se define como sigue. La ecuaci6n
signifies que acada nnmero e positive lecorresponde un mimero S tambien positivo tal
que I/ ( x ) - L Ies menor que e . siempre que 0<Ix - c] <O. Si no hay un numero L con
esta propiedad, el limite deIen c no existe.
Por ejemplo, laecuaci6n
es verdadera yaque Ix
2
-41 <s siempre que 0<Ix- 21<e(5+)-'. (Vease el Prob. I.)
Como ejemplo adicional .n6tese que laecuaci6n
no es verdadera para cualquier nurnero L. Para entender esto, sea E'=)y supongamos
que Ilxl/x - L I< I siempre que 0<Ixl <o. En tal caso tenemos que Ix l l x =J cuando
x = !oy Ix l l x = -1 cuando x = - !S. Como no hay un n6mero L que satisface
1 1 - L I <1Y I - I - L I <I. decimos que 01lfmite no existe.
Si f'esta definida s610en un subconjunto especlfico X de larecta real, ladefinici6n
de limite se modi ficade manera que lI(x) - L I<E. siempre quex E X y 0 <Ix - c] <,So
!(x) =14

2 Cap(llIlo J Preliminares matemdticos

Se dice que I. (unci6n/ es continua en c si
lim/ex) =fCc).
z_c
As], I. funci6n/(x) =Xl es continua en el punto 2, mientras que la funci6n lx I / x n
es continua en 0, sin importar como se defina aM. Estas afirmaciones se sigucn de los
comentarios anteriores.
L. derived. de/ en c (si es que cxiste) so define mediante I. ecuaci6n:
/'(e) =lim /ex) - ea.
"'-~ x-c
Puesto que est. Ifmite no neeesariamente existe para una funcion y una c partieulares,
es posible que I. derivada no exista pam tal funei6n.
Por ejemplo, si
entonces!'(O) no cxiste. Si/ es una funci6n para In que/'(c) existe, decimos que! es
diferenciablc en c. Si f es difereneiable en c, emonces j'es continua en c. (Vease el
Prob.18.)
EI conjunto de todas las funciones continues sobre la recta real Itse dcnota con
C(R). EI conjunto de funciones para las que J' es continua en todas partes se denolO
COnC'(R). En consecuencia, Ia ascveraci6n del plirrnfo anterior se pucde cscribir en
forma sucinta como C'(R) cC(R). Estainclusi6n es propia, puesto que son muchas
las funciones cnntinuas cuyas derivadas no existen, La funci6n!(x) =Ixl es un ejcmplo.
Denotamos con Cl(J R) 01conjunto de todas las funciones para las que/" es continua
en todas partes, De rnanera semejante se define C"(R) para cada rnimero natural n, Por
tihimo, COO(Ilt)es cl conjunto de funciones que lienen In propiedad de que todn~ "US
derivadas s ean continuas en toda la r ec t a r eal . Ah ar a rcncmos q u e:
CO"(R) c ... c C
1
(J R) C C
I
(IR) c C(IR).
Una funci6n conocida de CO"(IR)es !(x) =e',
De I. misma manera, definimos C"[a. bJ como el conjunto de funciones / pam las
que!"" existe y.s continua en el intervalo [a. bl.
Un teorcmn important. relativo a las funciones de C"la, hI es 01teorema de Taylor,
EI teorema de Taylor y 10f6rmula de Lagrange para cl reslduo
TEOREMA 1 Si ] E COL a, bl y sl !''''') ex iste sobre el lntervolo (a, b), entonces para pun los cuales-
quiero Cy x ell I n } b ] hay Illi pllnlo!; entre c )' x tal que:
(I)
donde
1.1 Conceptos bdslcos y ,I teorema de Taylor 3
Ilustramos .1 teorema de Taylor con la funcioo
f(x) =lar,
tomando los valoresa = I. b =2 Y c =1. Laf6nnularequiere varias de las derivadas de
f. las cuales sonf' :::X-I. J " = _x-
2
,j'" =2. %-3,fl. ) . . _6x-
4
I y n s f sucesivamcnte,
Parak;:;l.
y
/')(1) =(-Iy-I{k - I)!.
Por supuesto que_f0)( 1) =In I = O. AI poner todo 0$10 eo I. f6nnul. de Taylor tenemos:
I I
Inx= L(-I)'-I-(x-I)'+(-I)"--I;-t""{X-I)'"
'~I k n+1
en donde I <I; <x. La sumatoria L : a la derecha del signo de igualdad produce una
funcion polinomial cnx, ESlapuedeconsiderarsecomo una funci6n simple que aproxima
a lnmas compleja funei6n Inx, EI dltimo termino a 10derecha puede considerarse como
un termino de error, &1. nos dice qut tanto difiere el polinomio de Inx. N61ese que es"te
I~nnino no cs un polinomio en virtud de que l;depeodc d. x de un modo no polinomial.
Podcmos reescribir I. ecuaci6n como:
I 1)'I I3 ._1I . (
Inx=(x-I)-2(x- +3(x-) - .. +(-1) ;;(x-I) +E.x).
donde
I
E (x)1=_1_1;-<o+,)(x - I)'" :;;_I_(x - I)"".
/I n+l -n+l
Hay que observer en esta estlmacien que I <l;y que f;-("I) <L
Ahora supooga que vamos a utilizar la serie para calcular In2. Tendremos eo este
caso:
con 1.(2)1<I/(n + I). Calcular In2 COnuna precision de uno a 10
8
requiere que n
se elija de modo que .(2) ~10-
8
. Esto significa que I/(If +I) ;;; 10-
8
0 bien que
n +I ;:; 10
8
. Un calculo de Inl precision requerirfa un polinomio con cien millone s d.
terminos, En cambia. un ealculo semejame paraIn 1.5 se puede realizar con la misma
precision con tan s610ivcintid6s terminos! (vease el Prob, 19.)
Con frecuencia en los argumentos matematicos 50 utiliza 01ClI50 especial n =I del
tcorema de Taylor. Seeonoee como el teorema del valor media. este indica que sif
es una funcion de CIa. bl y si f' existe sobre (a. b). entonces parax y c en [a. b]
[(x) =f(c) +f'(t,)(x - c).
El teorema deTaylor can I. forma Integral para el reslduo
TEOREMA 2 Sif eC'+I[a. bl entonces para cua/esquierapunlos x y c en [a. bl
I
I(x) =Lkt)(c)(x - e)' +R.(x).
1=0
(2)
4 Capitulo I Pretiminares malemalicos
en donde I;seencueotra entre e y x. Tomando x =by e =a. y reordenando, se lIega
In i mpor t ant e ecuacicn:
feb) - f(a) =re-a) donde a <I;<b.
Un COSO particular del teorema del valor medio es el Teorema de Rolle, En
so establece que si f es una fuoci6n continua sobre [a. bl. f' existe sobre (a, b)
f(a) =feb) =O, entoncesf'(!;) =0para algun f, en (a. b). Esta es UDaconsecuencia
inmediata delaecuaci6n precedente. (En reaJ idad. enun desarrollo formal elteorema de
Rolle sedemuestra primero, deriv:lndose de'puE. el teorema de Taylor como una de sus
consecuencias.) Tanto en el teorema d. Rolle como en el del valor media puede habet
mi. de un punta l;enel intervale10. b Ique sotisfaga Inecuaci6n dada.
En el capitulo 6 necesitaremos una fonn. distinta delteorema de Taylor.
d o m l e
R.(x)=~[f"'I)(,X x - ,)"dl.
n. ,
Demostracien Recordemos la f6nnula para 10integracien por panes
!ud" =uV - I v du,
y apliquemosla a10integral R. tomando
u =(x - ,)" dv =/"')(1)d,.
III
EI resultado es
=-.!.,r)(eX x- e)"+R._
I

n.
Si iteramos esteproceso de integracien por panes, eventualmente Uegaremos a
I
R. =- L kt)(c)(x- d+Ro.
1=1
Como
tcncmos que
"I
f(x) =fCc) +Lk/')(C)(x - ,-'I' +R
1=1
10que complete nuestra demostraci6n.

1.1 Conceptos bastcos y el teorema de Taylor 5

Otras rormns para la formula de Taylor
Se puede obtener aun otra forma para I. serie y el I~rrnino de error en la formula
deTaylor si se reemplazan x por x +h Y f' por x en .1 teorema I. EJ resultado es
I
I(x +h) =:E k(')(x)h' +E.(h)
....
(3)
E (h) =_1_.r"I)(~)h'
(n+I)1
en donde cl punto ~seencuentra entre x yx +h.
Para las funciones con valores y argumentos vectorlales tambien solienen formulas
y series de Taylor. As], sil es un mapeode 1R"enIR". hay formula. quecxpres.n/(x+h)
Oil t~nninos dej(x),f'(x),f"(x). etc. Enestes cases I.mayordificuJ tad radi caen definir
las derivadas apropiadas. Estas cuestiones seconsideran en detalle en muchos libros de
rexto, tales como Bartle (1976). K . T. Smilb [1971) Y DieudoM6 (1960). Aquf tan s610
mc nc i onar c mos al gunos ' cases especiales que neeesitaremos m a s adelante,
Para una funci6nJ :!!itt - IR, laexpresion m4s sencilla de la formula de Taylor so
cscribe asf:
I(a a)'
j(a+h,b+k) =:E -;; h-" +k-;- J(a. b) +E.(h,k)
1=0 I. X . c . l y
I.(a I) ) ...
E.(h,kl= -(--) h;;- +k;;- J(a+9h,b+9k),
n+ I! ox v1
(4)
endonde 9 es un mirnero entre 0 y I. Eisignificndo deestes terminos tan misteriosos es
01siguiente:
y .sl sueesivamenre. EI teorerna que rige laaplicabilidad deI. f6rmula (4) es el siguiente.
TE ORE MA 3 SI sodas las derivadas parcial es d. arden n + Ide J son continuos en et rectdngulo
dofinido por Ix - al ; a Ihl y Iy - b l ; a 1 *1 , entonces hay un namero 9 en el intervalo
ablerto (0, I) para e! que laformula (4) es vdtida.
Ejenlplo I.Cu41esson los primeros lerminos en laformula deTaylor paraJ (; c,y) =cos(xy)?
./
of
- =-ysen(.ry)
o x
of
- =-x sen(.ry)
oy
6 Capt/ulo 1 Prelimlnares matemdtico s
Respuesta Para esta funci6n tenemos que
o ~ iJ ~ iJ ~
ax ' - -/ cos(.ry) o x o y =-x yco s(.ry) - sen(xyJ o y' =_x
2
cos(.ry).
As], si tomamos n =1en 1. formula de Taylor (4). el resultado OS
cos[ea +h)(b +k)j =cos(ab) - hbsen(ab) - kasen(ab) +t(h. k).
81residuo E, es I.suma de tres t~rminos. a saber,
_~h2(b +9k)' cos!Ca +9h)(b +9k)}
-hk {(a +6h)(b +9k)cos[(a +9h)(b +9k)j +sen[(a +9h)(b +9k)]}
-lP(a+9h)2 cos[(a +9h)(b +9k)J .
,.- -I<! 10-'
f o A X=2
X

(S
Redondeo
81redondeo es un concepto muy important. en los cdlculos cientfficos. Considere
un mlmcro decimal positive x de I.forma 0. ... COnm digitos a I.dercclul dd
punto decimal. Se redo ndea x a " cifras decimales (" <m) de una manera que depende
del valor del digito (n +1). Si .SIedlgito es 0, 1,2,304 ntonces e1n~imo dlgito
Dose cambia y los que Iesigucn se eliminan (redondeo por defecto), En cambio, si el
n-.simo primer digito es 5. 6. 7,809, entonces e1n-!!simo dlgito seincrement" en u~
unidad y los que le siguen se eliminan (redondeo por exceso). (La situacion en que 5 es
e1,,c.imo primer dfgilo se puede manejur de varia, maneras. Por ejemplo, hay quie"os
prefieren redo ndear por exceso sOlocuando 01dfgito anterior es par, en el supuesto
de que eSIOsucede aproximadameme I.mitad de las veces. En aras de la simplicidad
nosotros hemos decidido siempre redondear por exceso en tal cireunstacia.)
He aquf algunos ejemptos de rcdondeo cornecto a cuatro dlgitos de oWneros c:oc
siete dfgitos:
.1735499 - .1735
.9999500 - 1.000
.4321609 _ .4322
Si X 50 redo ndea de modo que 1 es su aproximacion con II digitos. entonces
Para \'CC por que es cierto esto ,lltim o. r azo n em o s d e 13 manera siguiente: si et n-& in:ao
primcrdfgitodcxesO. 1,2,304 entoncesx =.<+&con<t X 10-' y (5)secumple En
cambio, si es 5.6. 7. 80 9. entonces r =x + 10-' dondeZes un numerocon los misna;
primeros 11 dfgilos que x y todos Ins resrantes iguales aO. AhOnt. x =i+0 X 10.......
Ii ~~y1-x =(1- 0) x 10--. Como I - 0 ~ !.I. desigu.ldad (5) 50 satisfaoo
1.1 COlle,pIOS bdsicos y el teorema de Taylor 7
Si x es u n nurnero decimal, su aproximaci6n por tn111Ca",;ento a n digitos es el
nlimero:t que seobtiene illdescartar todos sus dlgitos m4s alld del a-esimo. Thnemos
I x - xl < 10-'.
( 6 )
La relacion entre x y x cs tal que x - x arroja 0 en las primeras If posiciones y x =
X +0 x J O-n <on 0 ::;; a < J . Asf, tenemos que I x - xl = 101x J O-n < J O-
n
y J a
desigualdad (6) secumplc,
SERlE DE PROBLEMAS 1.1
I . Demuestre que ~ - 41< cuendo 0<Ix - 21<.(S +.)-' y proebe que lims_' x' =4.
2. Demuestre que Um._,(4x+ 2) =6pormcdiode una pruct.l tipoe-ll.
3. Demeesue quelim.._l( I Ix) - !por mcdio deuna prueba tipo 0-6,
4. Encuentre.el ntlmero~ q u e s e meeclona ee el teorema del valor medlo enel case de 13 funci6n
I(x) =3 - 2x +x' y el in'e,,'.lo [(I, b) =[1.31.
S. Encuenlre)a serie de Taylor para In funci6nf(x) = cosh.e alrededor del punto c =O.
6. Si In serie para In.esc corta t1espu~s del termino que comprende a (.f - li
ooo
y despues se
utiliza p ar a calcular In 2, l}qu~COla se puede lmpcner al er r o r "
7. Encuentre 13 sene de Taylor paro/(x) =alrededcr del punto c =3. Despues simplifique
la serie )' demuestre cOmo S o C podtia h3bet obtenido direetemerse a. p:1ttirde fa sene p4JI3/
alrcdcdor dec = O.
S. Demaestreque lafunci6olv-) =xsc:n(l/x).con/(O) =O,escon,inua, masnodiferencioble
eno.
9. Determine si la siguienre (unci6n esconrlnua, una \<e1. difertnciabJeodos veces diterenciable:
I(.v) ~ { x-: -e x - I x: ii 0
.r -x-I x>O.
10. Responda 1<1p r eg u n lu del probtema 9 para In fu n c i6n
I(.v) ={ x, x;; 1
r: x >l.
I I . Repita el problem. 4 pam 1. funci6nfCx) = ... +x' - I en el inlcn'l1lo [0, I J .
12, SoolV-) =x-'(x - senx), po.. X" O. i,Como deberi. defonil1le/(O) pera quef fuese
c o n t in u a en 01 ~Seriatanlbi~nd ifer en c iab le?
13. S ea k . u n emero pcsirivo y sea0c Q. c 1. i..A que clase C' { ,R) pertenece la fu n c i6n x ' ' ' ' ' ?
14. Dernuesrre que: $; I e e'eR), ernonces j" E C'- 'CR) y J : /(1) (/ I pertenece a I.close
C"'(iR).
IS. Demuestre directamente el reorerna d e Rolle (y n o C0l110 UI) CAS O particular del teorema d el
valor medio).
16. Demuesrre que: si I e C"(R) y I (.ro) =ft',) =... =IV-.) =0 p:un.to <x, < . <x. .
entoneesf")(~) = 0par.! .1,4n ~E (.... x.).
J 1. Demuestre que II. funci6n /< x ) ;;: : - ~ es ccnrinua en todas p;utC$.
18. Dem u c s lr e q u e u n a funci6n t ~n ec d ' ar iam e.n t e c o n t in u a en c Ulllq u ier p u n lo en el q u e es
diferenciable.
19. (a) Obtenga I I I serie de Taylor en 0 para la funci6n/(x) =I n(x +1). Escriba la sene usan
la notaclen de sumatorias. De dos expresiones para el residuo cuando la serie se trunca,
(b) Determine el menor numer() de tcrmin()~que dcberan incluirse en lasene pam aproxim
I n 1.5 con un margen de error menorque 10--8.
(c) Oe[ennjneeillumerode(~rnlillosnecesarios pam aproxlmar ln 1.6con un error no rna
que 10-
10

20. Muchas veces se utiliza J a aproximaei6n sen x ::::: x para valores pequenos de x. Con
ayuda deL teorema de Taylor estime el error en esta aproximncicn. i.Pam que valores de x
correcta esta aproximacica bastala sexta cifra decimal?
21. P ara vatores pequenos de .r {.qu~tan correcta es la <\i)fOXinlaci6n cosx :::::1 - t~?i,Pa
qut valores dex es corrects esra aproximaei6n hasta lotterocra cifra decimal? -
22. Haga una cruica del siguiente razcnamiento; L3 funcionj" definida como
{
,x3+X x~O
I(x) = ,
x -x x~O
8 Capitulo 1 Preliminaresmatemdticos
tiene las siguicntes propiedades:
IfmI"~<)= lim 6., = 0
... -0' z-.O
Ifm J
U
(.') = Ifm 6x =o.
z_O- z_O-
Por 10tnnlo.j" es continua.
23. Use eJ teorema de Taylor con n =2 para probar que la desigualdad 1+;..'<e' es valida para
todos los ndmeros reales. excepto pam x =O.
24. Derive I n sene deTayfor coa residue para 10(1+x) alrededor de 1. Deduzca una desigualded
que proporcione el numero de. terminos que deben tomarse para aproximer I n 4 con un error
menor que 2- ".
25. <.CuAI es el tercer termino de la serie de Taylor para ~ +x - 2 alrededor del punto 31
26. Con laserie de Taylor para c" l.cuAn[os terminos es necesario considerar para aproximar;
con una precision de cuatro cifras decimates (por redondeo)?
27. Pruebe que sif es diferenciable en x. entonces
Ifm(2h)-'r/ +h) - If.;<- h)) =1').
' _ 0
Dernuestre que para algunas funeiones que no son diferenciables enx ellfmite anterior cxistc.
(V~ase Eggermom [1988) 0 el problem. 36.)
28. Desarrolte laserie de Taylor paraj(x) =I nx en torno ae; escrtba el resulrado en nOlaci6n de
sumatcrias y d6. el rerminc para el residue. Supcngamos que I: t - cl < L Y que se quiere una
precision menor que ix10-
1
"cual es el mfnimo ndmero de terminos que deben considerarse
en I n serie pam ajcenzar tal precision?
29. Determine los dos primcros termtnos de J a scrie de Taylor para r alrededcr de I ycl
residue 1.
30. Determine el polinomio de Taylor de segundo grado para
J(x) =e(~s)
al desarrcltar en tomo al.punrc n.
31. Desarrolte I . funcion Vi en series de potencies de (x- 1) y aproxime ';0.9999999995 haste
et decimo luger decimal.
32. Suponga que !xl < t y determine por medio del teorema de Taylor 101mejor cote superior
pm
(a) [cosx- (I -x' /2)1 (b)Isenx-x(1 - ,'76)1.
33. Determine una funci6n que pucda I lamarse J ineaJ izaci6n de x
J
- 2x en 2.
1.2 On/enes de convergenciay conceptos bdsicos adicionales 9
34. i.Cuantos tEnninos se n:quiefto en la serie
~l
~=L;;!
-
para aproximar al ndmerc e con un error inferior a 6/10 de unidad en el vigesimo lugaf
decimal?
35. Encuentre los dos primeros t4!(nlinos del deserrolto de Toylor para x'IS alrededor del punto
x =32. Aproxime 10mtz quinta de 3].999999 recurriendc a eSIOSdos terminos de 13sene.
lQue tan precise es la soJ uci6n?
36. Demuesue 0 refute la siguientc afirmaci6n: Si Ies diferencioble en x, eatonces para a _ I
rex) =Irm[f(x+h) - f(>- +ah)l/(h - <>h~
. - 0
37. Eneuenueel polinomiode Thylo<degradodos para I.runcl6n{.(x) =e
b
seDxdesarrollado
en tOrDO aI punto rr./2.
38. Determine la fonnll deLagrangepara el residue al aplicarel teceemade Taylor a 13 funci6n
f(x) =COSX. tomando 5 2 y c =~/2 . Qut Ian pequcfto se debe hacer Ix - ,,/21 para
que el residua no sea mayer que ix 10-" en valor absoluto?
39. En el ejemplo que lIuSIT.I. formula de Taylor '0 obiuvo un error de I. forma (-1)'(/1 +
1)-1; -,II-I (x - 1)",.1. C(lInpareeste error con el que surge en In rorma integral del residue.
Ll Ordenes de convergencia y conceptos basicos adicionales
En 11)5calculos numerieos. espeeialmente con las J ru!quinas eomputadoras de alto rendi-
rniento, sucede con frecuencla que J 3 respuestaa un problema no se obticnc de inmediato.
M~s bien, 10que segenera es una sueesi6n de respuestas aproximadas cada vex mas pre-
cisas.
Suceslones convergentes
Pensemos en una silUaci6n ideal en Ia que se busca un solo numcro real como
respuesta a un problema. P uede ser, por ejemp!o, un cere de una ecuaei6n complicada
o el valor numerico de una integral definida diflcil de uabajar. En tal caso, un programa
de computacicn quiZll prodezca una sucesi6n de nemeres reales x,. X2. x3 ... que se
esten aproximando a la so1uci6n correcta,
Escribimos:
lim x. =L.
'_00
si a cada mimero c positive lecorrespond. un numero real r tal que Ix. - LI <s siempre
que n >T. (En este caso II es un entero.)
Por ejemplo:
I
, n +I 1
1m --=
A-OC n
yaque
I
n+ t I
-n--I -c e
siempre que n >&-1.
EI limite es"fi =1.414213562 ... Y la sucesi6n converge a su limite COn gran rapid
10 Cap(tulo I Prellminaresmatemdticos
Como un ejemplo mas, recordernos I. ecuacion
por medio de Ia cual 50 puede delinir el importante nnmere irracional e. Si calculamos
la suoesi6nx. =(I ...I/n), encomramos que algunos de sus elementos SOn
x , ~ 2.000000
X'O "" 2.593742
X J o =2.674319
X50 =2.691588
X, OOO - 2.716924.
EI anterior es un eiemplo de una succsi6n que converge m~s bien en forma lenta, ya qu
ellfmite es e =2.71828 18... Y en el mil~imo termino aun hay un error de 0.00135 8
Como ejemplo de sucesi6n que converge nlpidamente. considtrese I. que 50 defin
recursivamente como sigue:
{
XI =2
I I
,1',,+1 =2 " , 1 ' " + X II
(ni:: I).
Los elementos de esta succsi6n son:
x , =2.000000
X2 =I.500000
X J =1.416667
x . =1.414216.
NOlacl6n de 0mayUscula yde (I mlnllscula
Considerarcmos ahora varias fonnas de comparar dos sucesiones 0dos funeion
Comenzamos con las sucesioncs.
Sean [x.J y [0..) dos sucesiones distintas, Escribimos:
x . =0(0..).
en caso de que bay" constantes C y r tales que 1x.1 ~ Clo.. cuando n ;;; r, Si a... 0
toda n, .SIO signifies que la raz6n Ix./a.1 permanece "colada (por C) conforme -
L a ecuaci6n
x. =o(a.),
signitica que Ifm._oo(x./o..) =O. En el primer caso decimos que z, es 0mayu _
de a. yen el segundo caso que x . es 0minuscula de a.
J.2 Ordelles de convergencla y conceptos bas/cos adicionales II
Bstas nociones nos proporcionan un ",61000 para comparar dos sucesiones, siendo
m6s frecuente SU uso cuando ambas sucesioocs convergen a cero. Si x; ~ O~an - O.
Y x,. = O(a,,). entonces Xn. converge a cero al menos tan rnpidamente COmo aJ i' Si
x,. -= o(Cl.). enronces .f"converge a 0mas rapido que a .
He aqui algunos ejempJ os:
(I)
I (I) --so -
IJ I n II 11
I (I)
_ C(} _
II I n II
(2)
(3)
5 -n 0 ( 1)
- +(! = -
Jl "
(4)
_. ( I)
e=olll'
(5)
Tomando un ejemplo de I . seccion 1.1podemos escribir:
0-' I (I)
I n2 - "'(-1)1-'- = 0 - .
L- k Il
1.',..1
(6)
Es-toultimo nos da un ejemplo de una convergencin muy lenta. Por el contrario
-, 1 ( I )
f!' -.~ _ ,.k = 0 -
~k! If!
-':=0
( Ix l ~ I)
(7)
nos da un ejernplo de una convergcneia OIU)' nlpido,
La notaci6n que acabamos de introducir se utiliza tambien para otras funciones
adem:is de las sucesiones. Par ejemplo, podemos eseribir:
xl
sen.r =.r - '6 +O<x ') ( x - 0). (8)
EsI O lilt.imo significa que hay una ,ccindad de 0 y una constante C tales que en 05.
vecindad
Laverdad deesta afirmacion sc pucdc ccmprobur aI nlv<!s del reorema de Taylor. tomando
11= 4 YI( x) = senr.
Una ccuacion de 13forma
1( X) =O( g( ... ( x - 00)
12 Co p t t f l l o I Preliminares matematicos
significa que hay eonstantes r y Ctales que 1/(.<)1~ q~{x)1 siempre que z ~ r. Asf,
poeejemplo.
";x'+I=O(x)
pues ..;x' +I~2x cuundo.<~ I.
En general escribimos:
(x - 00),
(II ~ N),
/(x) =O(g(x ex .... '<0)
cuando hay una constante C y una vecindad de .11) tales que I/(.<)! ;;; Clg(x)1 en csa
vecindad, De manera semeiante,
lex) =o(g(x ex .... .1 1 )
significaque IJ m,_,./(x)/ g(x) =o.
Ordenes dc convergencta
Hay una termlnologfa especial que se utiliza par. describir Inrapidcz con I. que uno
sucesion converge, Sea [x,1 una sucesi6n de numeros reales quo tienden a un Umile x' ,
Decimos q u e In c " d z6n d e ccnvergencia es p o r 10 menos lineal s i ex i s t e u n a consuinte
c <I Y un entero N tales que
1.r I-x'l ~clx. -x'!
Decimos que 13rown de convergencia es superUneal ~i hay una sucesion G. tendiente
a 0y un cntero N 1.1"" que
(n ;;; N),
La convergencia es al menos cuadratiea si hay una constanic C (no necesariamcnte
menor que 1) y un entero N tales que
Ix -x'! ~ CIx. -x'I'
(n ;;; N).
En general, si hay dos constanres C y 0: Y un entero N tales que
dccimos que la roz.6n de convergencia cs por 10 mcnos de orden a.
EI teorerna del valor medlo para Integrates
Otto tcorema del valormedio deuso frecuerueenel andlisis numerico es el siguiente:
TEOREMA 1 Sean u y v dosfunclones realesy consinuassob,.. el intervalo la, bl con v ;;;O. monus
exist un PWlIO ~ .n I... bl tal que
/.b II(X)"(X).u =11(1;)/.6 "(.t) dx:
1.2 Ordenes de convergencia yconceptos bdsicos adicionales 13
~ion Sean A y B respectivamente el menor y el mayor valor de u(x) en (a. bJ . En 1111 caso
A ~ u(x) ~ B (a ~ x ~ b).
Como v(x) ~ 0, tenemos que
Av~<) ~ u(x}v(x) ~ Bv(x).
Si ahorn integramos cada uno de los terminos de esta desigualdad y escribimos I =
f : v(x)dx, resulta que
AI ~ ]." u(x)v(x)dx sBI.
Si 1=0, se concluye que v(x) '" 0, y el resuUado que qucremos demostrar es trivial. Si
I es distinto de cero, tenemos:
A ~ r' ].'u(x)v(x)dx ~ B.
Por el teorerna del valor intermedio para funcioncs continuas, hay un punto <; en (a, b I
pam el cual
u(l;) =t:' /." u(x)v(x) dx.
El teorema del valor intermedio dice que sif es continua en [a, bl y r es un nemero real
comprendido entre el valor maximo y el valor minimo def en [a, b I, entonces hay un
punto c en [a. h I dondef(c) =r,
MultJ pUcacJ 6n anJ dada
EI polinomio
se pucde escribir, con la notacion matematica para sumas y productos L y IT , como
sigue:
n n ( )
pix) =~akx' =~ a.]] x .
Recordemos que si n ~ nl, entonces
'"
L S k =s " +S1f +1 + ... +$", Y
k=1I
m
IIYI: =)'"Y,,+I ... Ym
1 ::::1 '1
Y. dcbido a 1 0 anterior.
m
I>=(m - n +l)r y
k=n
m
IIx =x(nl-n+I).
.1 := "
(x E $).
14 Capttulo J Preliminares matemaucos
Par convenci6n, si m < n.. enronces
"
I I " =l.

Para evaluar el polinomio con elieieDeia, podemos agrupar sus terminos valiendonos de
la mnltJ pUead6n anidada:
p(x) =Go +x(a, +x(al +... +X(O._1 +x(o.) . .
Bsto corresponde al siguiente algorilmo simple que s610comprende n multiplicaciones
y n adiciones:
p~a"
rork=n-l.n-2 ..... 0do
P-xp+u.
end.
Este procedimiento tarnbien se conoce como 01metoda de Homer 0division sintetica.
Colas superiores einfertcres
Dos conceptos importantes q u e s u r g en eo n f r ec u c n c i a en el analisis numerico s o n
los de supremo (minima cola superior) 0 I nflmo (mAxima cola inferior). Sea S un
conjunto de nemeros reales no vaclo y aeotado. 1acotamiento es la propiedad por I.
eual para ndmeros reales aprapiados a y b
En est. situacion se dice que b es una COla superior de S y a una cola inferior. Por
supuesto, S tiene muchas cotas superiores: si c ~ b. entonces c tarnbien es una cola
superior de S. Es obvio que no hay una maxima cota superior. Sin embargo, hay una
minima cota superior para S.
AXlOMA Cualquier conjunto no vaclo de n.umeros "ales que tenga una cota superior tiene una
mi ni ma cof a super i or .
El axioma expresa una caractenstiea que es distintiva del sistema de los numeros
reales, (Por ejemplo, el sistema de los n6mcros racionales no posee esta propiedod.) La
minima cota superior de un conjuntoS (si esque lahay) sedenota con mciS. La pal.blll
supremo es un sin6nimo y se abrevia supS. Asi. podemos eseribir v =supS cuando
1. v cs una cota superior de S
2. NingGn numero real mas pequeno que v es cota superior de S.
Ejemplo 1 lQut numero es el sup $si $={x:x
1
<2}7
Respuesta Dado queS ={x:-../'i <x < ../'i}. la minima cotasuperior es ../'i.
Si f es una funcion, 1. notaclcn sUP,e.f(x) significa sup{f(x) : x E A}. Par
ejemplo,
sup scnx =!.
0<,1,(,,/6
1.2 Orden .. de conve'Btncio yconceptos b6sicos adicionales 15
E J concepto correspondlente relative a I. maxima cota inferior 0fnjirrw se define
como sigue. Escribimos U =mci Sou =fnf S si:
Lu es una cota inferior de S.
2. Ning~n n.mem real mayor que u es una cota inferior de S.
En este caso el resultado basico es que, si un conjunto no vaclo de n~meros reales tiene
una COl. inferior. posee unanWtima COla inferior. Esto se sigue del axioma cuando so
aplica al conjunto -S ={-x:x E S}.
Flloclones expUcitas e impUcitas
En general una funci6n so define a ttav6s de una f6rmula expltcita, a partir de I. cual
01valor de I. funci6n se puede calcular para cada uno de sus argumentos. POt cjemplo,
podemos definir una fUDci6nl por medio de laf6rmula:
I(x) =..j7x' - 2x.
Cuando el repenorio de funciones que nos son familiares aumenta, podemos definir
funciones cada vez mas eomplicadas como. por ejemplo.
I(x) =In(lan-
'
x)+cos(.,-').
No obstante. bay otros caminos para definir funciones, como puede ser a travu de una
ecuaci6n diferencial 0de una integral. POt ojemplo. una funci6DY ~ I(x) qucda definida
por medio de la sill1liente ccuaci6n diferencial con una condici6n inicial:
/=I+scny yeO) =o.
Una funcion importante, lIamada funci6n error y dcno!8da con el1(x). so define por
medio de la integral:
ert(z) =~f oX .-" dr;
En esta secci6n vamos a considerar funciones que sodefinen tmpltcitamente. Esto
significa que daremos una funci6n G de dos variables y una ecuacion G(x. y) =O. con I.
esperanza de recuperar a y como una funci6n dex. En algunos caSGSes posible despejar
laceu"don G(x. y) =0y obtener y =I(x). Por cjemplo. e~laceuaci6n
1+3..,.-7=0.
podernos despejar a y y obtencr
I
s= :z(-3x v'9x'+28).
recuperando de esta manera dos funeiones explfcitas. Del mismo modo. de la ceuaci6n
s.n(y+7) =x'-2
podemos recuperar una funci6n explicita resolviendo para y:
y =sen-
I
(_.)-2) -7.
16 Cap(tll16 1 Preliminares matenuiticos
,
Aquf tambien se cuenta con multiples funciones, puesto que son varias las ramas de la
funei6n inversa del seno que se pueden escoger,
En general, si 0 es una funei6n prescrita, y si (XO,Yo) es un punto particular en
donde O(xo, Yo) =0, esperamosque hay. puntos cercanos que satisfagan la ecuaci6n
G(x, y) ;;;:: 0, es dccir, esperamos que cuando x sufra una pequefia alteracion, un carnbio
apropiado para y hag. que siga siendo valida la ecuaei6n G(x, y) =O. Por 10tanto, y
deberia ser una funci6n de x en una vecindad de X o . La figura 1.1 nos muestra un caso.
(fpico.
,\'o
x
Figura 1.1
,= O(x. y)
O(x. y) =0
La superficie 0 intersecta al plano xy mostrando la curva O(x. y) = O.
Ellcorema de la funcl6n Impliclta
EI s i g u i en t e teorema r i g e en esta situaci6n.
TEOREMA 2 Sea 0 unafuncion de dos variables reales definida ycontinrlamente diferenciable en ulla
vecindad de (xo. )'0). Si O(XO.Y o) =0y cOloy ~ 0 en (xo. Yo), entonces hay 1111nllmero
positivo 0 y una funcion f contlnuamente diferenciable definida para I.t - x ol <I) tales
que f(xo) =Y O y O(x,f(x = 0 para Ix - x ol <O.
Ejemplo 2 l,Define la ecuacion
aycomo Unafunci6n de x conlinuamente difereneiable en alguna vecindad de x =- I?
1.2 6rd.ne$ de convergencia y COIIC'PIO$ basicos adicionales 17
Respuesta Para contestar esta pregunl' tomemos (4 )'0)=(-I.I) Ydefinamos
G(x.y)=x
'
+2l-;.
En Ial caso G(Xo. )'0) =0y
oG
- =16/-3y2.
oy
En consecuencia, oG (xo. > ~ ) / oy , . O. Por el teorema de In funci6n implfcita, Y cs una
funci6n de x conunuamente diferenciuble cerca de X o =- I.
Si f es una funciOn dcfinida implfcitamente pot G (x. y ) =O.entonees, pam x en
algun intervale. G(x.f(x =O. Si queremos calcular f' (x) podcmos recurrir a un.l~ica
familiar del calculo. Derivamos 18ecuacion G(x. y ) = 0 con resPOCIOax. recordando
que y seinterpret. como una funci6n de x. EIresuhado 0.<:
()G +oGdy =0,
a x a y dx
de donde obtenemos
dy =OG/ilG
tit O x ily
o
f(x) =aG/oG
ax ijy
La derivada que asl seobucne es probablemente una funci6n de x y y.
E;jemplo 3 i.CUlII es el valor de (I) '/ tlx en cl punto (2, 1).si y (x) sc define implfcitamente por medio
de I. eeuaci6n xl - / +4xa +y" - 24=O?
Respuesta La derivaci6n total de I. ccuaci6n con respecto x nos dn
Sustituyendo x =2Y Y - 1lenemos que
dy tly
12-7-+16+4-=0
dx dx'
de donde dy/dx =28/3.
En I. seccion 3.2so analizan algunos problemas numericos que comprenden fun-
ciones implfcitas,
SERlE DE PROBLEMAS 1.2
I. El calculo de 13 sucesi6n x. =(I + l /n r lOdo pareee indiear que se trata de una suce.~6n
mon6lon.a crecienre. Demuestre que as{ es.
1M.. X" 3_ i1 9x"
~ =I+x+-+-+-+ ..
2! 31 4!
18 Cap(rll/o I Preliminares matematicos
2. Oemu es ee que los elementos do I.sucesiOn dol problema I son menores que 3.
3. DemuestrequexlI =x+n(I) si), s6losi Lim._ ~.r:"=x.
4. Vcriliqllc 13validez. de las eeeaeiones (I) a (8) del leXIO.
S. Para una If I1jo.demuesrre que r::=o.x' =1/(1 - x) +i1{x") cuendo x _ O.
6. Denlue.sttt que si x" =O(a,,). entonces ex ... =O(et...).
7. Oen'UC$fn:- que si x.. =O(a..). entonces :eftj 1n n =o(a ..).
8. Encuen"" 01vaIot<ljl<imo """ ken laafinn:lci6n CO$X- I +xl /2=W)cuandox - O.
9. Demuesne que si x.. =0(0",).eerceces x.. =0(0.). Demuesee que el rec:(proco de este
enuncilldo no es cierto.
10. Oernueslre que si '\'11 =O(e..) yy" =0(0.,.), enronces x.. +y.. =O(a,,).
11. Demuestre que si Xit =0(0,11)yy.. =o{u
lt
). entonces x, +y " _ O(UII)'
12. Oemue~lrt: que para cunlquier r >O.: c ' =OCt"') cuando x _ . 00.
13. Oemuestre que para tada r >O.lnx =O(x) c",",dox - 00.
14. Ocmueslrequesia,. - O,x" =O(a.)y)'" =O(a ..),enlonc:esx..y" =o(a.)-
IS. Dtmueslre que si x.. =O(a.). tnlonces ;' =O(X;'). Demuesue que 10mismo sucede
p3m 0mindscula.
16. Determine eJ valcr opumc pamk en Iaecuaclen t:m-'.t =x +O(.r) cuandox - O.
17, Derinimos Inductivamente Insuceslon .t" por medio de 10ecuaci6n XIH-I =F(x.). Supcnga-
mos que x" ~ x cuando a - ooyquc F'(.t) ~ O. Demcesee que XIl.2 -X,,'"1 =O(X"~ I -.f,,).
IS. Ocmucstrt que coda (uDci6n sulicientemente lisa se puede apro:timat C ,1'l un intervalo de
longiludh par mediOdc:UD polinnmiode gradon con un error que es O(h-')cuandolr _ O.
19. (0)Con<idcre I.sene
Conserve rres de sus terrninos y estime el restc de Inmlsme vallendose de la notacl6n " COn
el vllJ nr optimo cuandor - O.
(b) Repira el problema con In notnci6n 0 y J aserie
xl 7<' 62x'
1.0tan x =In.t+- ...- +-- +...
3 90 283~
20. Determine e! ronjunto de vajores pam ., yo para J os que II parte +... de la serie
If-I xl '
In(1+x)= L(-I)'-'T+'"
k=J
so puede sustituir pet 0"')0per 0("') cuandc x - O.
21. ;.Para eustes de Ias siguienLeS parejas (.too.a.) $C_cumpleque x. =Q(a..)cuandox - oo?
(a) x. =SIr! ... 9n.) +1. a. =n' (d) x.. =Sn
l
+9,,' ... 1. a..=,()
(b) x. =Sn' +9n' +I. a. - 1 (e)x. =yin +3. a. = I/n
(c) x" := v'n+3. a.. =I.
22. Ulljn las afirmaciones COITCCIOS (tn cada C3SO II _ 00)
(0) (II +1)/ 11
'
=,>(1III) (d) 1/(11Inn) =0(1/11)
(b) (n +1)/Jn =0(1) (e) ,/ n' =O(I/ n).
(.) I/Inn =O(l / n)
1.2 Ord.n.s d. convergencia >' conceptos bdsicos adictonales 19
23. Los cuairo expl'<Sione .t. (I - h
4
)-'. cos(h), Y 1 +sen(h') tionen et mismo I lmite cuanclo
h - O. ExpR$clos en I.,igu;<I I le forma conios valc<u eereree 6ptimo<de ay p.
I(h) =c +O(h') =c +0(").
24. lCual es ellCmite y cutlla ra16n de ccnvergeecla de la slguiente expresion cu.ando h - 07
Expresela en I ns formas dodes en el problema 23.
25. Eacuetre el vaL or 6plL mo p.... 1l1.1que para n fij.
1 '. ~_J
--:; I+X-+f++.l +vvo)
I-x
(O<x<l)
cuando x - O. Repi t a.: 1 pr obl ema para ott' ) . ,ExisiC un val or 6pt i mo en esie case?
Explique su respuesta,
26. Demuestre q ue las slg uienlcs afirmacioees son faiS IL S :
(0) .' - 1 =O(x') cuando x - 0 (c) colX - o(x-') cuendc x _ 0
(b) x-' =O(eol x) cunndo x - O.
27. Supongamcs q ue (a.. ) - 0 y q ue) . > 1. DemucS lte q ue r:;=!tatA~= o(A") cuondo
n _ 00.
("' 28 . Considere la rtl3Ci6n t' CClJrsiYl
{
xo=1 XI=C
X... ,=Z,,+X,._1 (nf;;I) .
(a) Se puede demostrar q ue euandc c =(I ... ./5) /2, S Cobtiene la f6rmula cerreda
(b) De mane .. simil.r .e,",ndo c ={I- v'S)/2.
(C) Si c =I. entonees
x. =_I (I +v'S)'" __I (I _v'S)'"
v'5 2 v'S 2
Para todcs los valores de n desde I hasia 30. calcule en cada caso XII, t ant o con Ja relacien
recurslva como con la f6rmulo. correspondiente, ApJiq ue los resultados, Esta recursidn
define 101{amosa susi6n de Fibonacci.
29. E:c:pliq uepot q UE claxioma de 13 mfnima COOlsuperior nOse 3plka al conjunto vacfo.
30. E.ncueaue dos (undone., en forma ex.plfcita q ue es1~ndeFinidos implic:iWDente par la ecce-
ci On
(.... - I , +,'y' +cosx -I a O.
y-In(x+y) .. 0
20 Capttuto 1 PreliminaresInat~m{b"co:r
31. CUando Sot rcsuc,h<en ecaaciones difc:reneiales. a menudo 5C obtierteo. solue-iones en Conn.
implrcila. Demcesee que 13ecuaci6n
define una soluci6n de 1::1. ecuacion diferencial
32. La ecutlci6n de Kepler usada en astronomfa I!SX - ,v+c sen)' =O. en donde e es un pardmetru
en el in1cTv310[0, II. Pruebe que para cada nameeo real x hay un numero real yque s:uis(lI C:c
la ecuacicn. Demucslre que $10 ~ e < 1. entonees dy/dx es continua en todas parte~.
33. Encuenln: los puntos x en los que 13 ecuaciOn
define impltehamenre n y como una (unc-i6n de z, Calcule dy/dx.
34. De unejcmplo que muestrepor que cl axlomn de I I I m(nima cote superior no secumpte para
el sistema de los ndmercs mcionates.
35. I,Secumple el uxknua de I n minima com superior parn el siSlema de los numeros enteros?
36. i.Cu~I :s son 10.$valores de las siguienres exprestones?
(a) suPxeR13n-' ~ (c) sups~e-.I I
(b) I nl, '- (d) SUP.~Rcr+1)-'
37. Use elteorem. del valor m<dio par:1 inlegrules par:1 del1105tr>rque
1
,"
I) t'co5:cd'C::~
para alguna y en et I ntervale (0. ;;;./2).
38. De un ejernpto que muestre por que en et ieorema 2 J uhip6lC:sis scbre 13ccntinuidad de It no
se puede suprlmlr.
*1.3 Ecuaciones en diferencias
A menudo. los algoritmos para calculos numericos se disena para generar suceslon .1
de mimeros. Por consiguicnte, nos sera de utilidad desarrollarun fragrnento de I . I corra d.
los cspacios de suecsiones lineales, Est. teorfa I n neccsitarernos en el capftulo R pur.
analizar los metoda, lineales de pasos multiples.
Conccptos basioos
A cominuccion, V designara al conjunto de sucesiones infinitas de mlmeros com ..
plejos. como por ejemplo:
.r =(XI. Xl. Xl 1
y=[, ..)':I>)'J I.
*1.3 Ecuac;ones en diferencias 21
Una succsion 05, formalmentc, una funci6n compleja definida en el conjunto de los
enteros positives N ={I, 2, 3, ... }. Es s610cuestion deconveniencia ct que escribamos
'\'11 en vel de x(n) paradenotar el valor de la funcion x en cl argurnento 11.
En el conjunto V detinimos dos operaciones:
x +y =(x, +y"x, +Y2,X} +)'3,,,.}
J .t =[1"'>:1, I..X,. )""), " .].
Una forma compacta de escribir esras ecuaciones es:
(x + )')n =Xu + Y,I Y (i... t ) 1I =i,.x
lI
.
Hayen V un elemenio ccro, a saber. 0 =[0. O.0, ... J . Con estas dcfiniciones V se
convierte en un espacio vectorial. La vcrificacien de los posrulados de los cspacios
vectoriales es tediosa y poco edificante. EI espacio v~clorial V es dedimension infinita:
en efecto, el siguientc conjunto de vectores es linealmcntc independientc:
v(l) =[I, O.O.0.".1
vI') =[0. 1.O. O.... J
v(l) =[0,0, 1.O.".J
etcetera.
Nuestro interes se limilal"~a los operadorcs lineales L: V ..... V. De eSlOS,uno de
los mas importantes esel operador de desplazamlento, que sodenote E ysedefine por
medic de laecuacion:
ASi, ( .\ ' ) 1 1 =" it +l Esta claro que E se puede aplicar varias veces en f or m a consecutiva
para producir, por ejemplo. (EEx). =x 2 0(EkX). = X".t. En 10que testa de esta
seccion nos ocuparernos 5610de aqucllos operadores que se pueden expresar como
cornbinaciones lineales de potencies de E . ES1 0S operadores se llaman operadores en
diferencius lineales (con coeficientcs constantes y rango finito). Su forma generales:
w ,
/_.= LC;E;.
i=O
(I)
Por supucsto, 0 se define como el operador identidad, ('lx). =(Ix). =x. En I.
ccuacion (I) podemos ver que los operadores lineales en diferencias de 10forma (1)
constnuyen un subespacio lineal en etconjunto de los opcradorcs lineales de V en V.
Las potencias de E proporcionan una base para dicho subespacio.
Observe que L en la ecuacion (J) es un polinomio en E ' , cs decir, una cornbinacion
lineal de potencies de E. De cstc modo, podemos escribir L =ptE). dondc II cs
un polinomio llamado pollnomlo caractertstlce de L y que se define de 10siguiente
manera:
pO.) =:Lc;f.
1
1' =0
22 CCl pf l ul o I Preliminares matemdticos
EI problema que se esstudiard aquf es 01de encontrar todas las soluciones de una
ecuaci6n de Infonn. Lx =0, dondc Los unopemdor del tipo(l). Delalinealidadde L
resulta que el conjunto {x: Lx =OJ es un subespacio lineal de V. Este ultimo se llama
espacio ""/0de L. Podemos considerar que I. ccu.ci6n Lx =0esta resuelta euando se
ha encontrado una base para el espacio nulo de I...
A f i n de saber-en tcrminos generales que sepucdc esperar, considcremos un ejemplo
concreto de L, dignmos Co = 2. (', = -3. c, = I Y I", restantes CI = O. La ecuaclon
que resulta de ello. conocida COIllO ecuaci6n en dlferenclas, se puede escribir de tres
maneras:
p(E).t =0
(II =I.2. 3.. .. )
P().) =A ' - 3}. +2.
( 2 )
Es muy sencillo generar sueesioncs que resuelvan las ecuaciones (2). En realidad,
podemos elegir libremcnte a x, y x, y determiner Xl. X par media de (2). Por
c j em p l o . podemos obtener de C!'UI rnancrn l as soluciones disunras
[I.O.-2. -6. -14. -30.... )
[I. I. I. 1... 1
[2.4.8.16... 1.
De estaS. 10.pri mer .. wluc-i 6n es mas mistcriosa que las ottns dos, pues no es obvio cu;ll
es so terminc general. F.n cambio, las otras dos sotuciones son de la f orma .tl f .;;; A".
donde i. =1 02, Rcsuttu natural la pregunta acereode laexistcncia de otrns sotucioncs.
Si hacemos x; :s "-"en (2) obtcncmus:
i."().~- 3). +2) - 0
i."(l. - 1)0. - 2) = 0
Este simple OInJ ilisisno<mucstra que 5610hay "n. suluci6n del tipo que se buse.
saber. (0. O. 0.. 1. I!,ta se llama solucion trivtot. Por otra pane. las soluciones 1/ Y ,.
definidas IX,r It" = I )' ~'" =2" constituycn una base del cspacio de soluciones de (2).
Par a veriftcar esto. considcrcmos una solucion urbitraria de (2). digamos .r. B USC-: \1l 10S
constantes (.( Y P rales que .r =au +J3v. Esraccuucien significa que x,; =(XII" +P" " para
l o da n. E n particular. p ar a II = I Y 2. tcncmos que:
(3)
La ecuaclon (3) determine unlvocamemc 3 (l Y II en vinud de 'I"" cl deierminanre
de 13 matriz [: ~) cs distirno de c er a. (Se trata del determinante de una matri: dt
vandermonde 101 como sc define en 1< 1 seccion 6 .1.} A hora p o dem o s demostrar por
,
(n=I.2... ). ( 5)
".3 Ecuaciones en diferencWs 23
induoci6n que x. =nil.+Ilv.par.loda n. En rcalidad, si est. igualdad se cumple pur.
Indices rnenorcs que 1I.lambitn 10haec para II.pues
.f" =-3x
ll
_1 - 2x1t:-2
=3(1uo_1 +~v'_I) - 2(nllo_2 +PV._2)
=a(3u1 , _1 - 2U
n
_2) +~(3V'I_J - 2v
ll
_2)
=(lU
n
+pv
lI
'
Este ejemplo ilustra .1caso de un polinomio caructerfstico fO R ceros simples.
Ceros simples
..... (M~1 Si P es lUr polinomio y }.. es un cera de P. entonces UIU, solucitin de lo ecuacion en
diferencias p(E)x =0 es lA, A', A', ... J . Si todos los ceros de p son simples y 1If)
nulos, coda .toluClQ"de /a ecuaci6n en dj/erencias es una combinQci6n lineal de dichas
soluciones especlales.
~n En primer lugar, si).. cs un numero complejo y II = [I., A', )..3,,,.J enronces Ell =A/I
ya que (Eu). = 111 =}.~I = )..(1.") = 1 .1 1 .. Volvicndo a aplicar el operador
obIendrell105, en general, Eill =A'II, Puesto quc Eo se ha definido como el operador
idenlidad, tenemos que E "II =Au, As], si p c.' un polinomio definido por p(1 .) =
L ; : ' o CjA
i
,entonccs
(
.. )" ,n
p()/I = LciE
i
/I - LC,(E'II) =LC,'!II =p()..lll,
; =0 , =0 1=0
Si p(A) =0, entcnces p(E)u =0, como se afinn".
Seapun po lino mio cuyo s cer es AI . A2 ..... Am. so n simples yd istinto s d e ccr o , Hay
unn solucion de I. ecuacion en difereneias p(E)x =0:a saber. 1/(') = p..,.I.i, Al, ' . "
que correspondc a cualquier cero At, Sea x cualquier soluci6n de I. ecuacion en difc-
reneias. Quercmo s expresar a x en I n fo rma x:: E;'. (I t"tt). 'Iomando las prirneras m
co mpo nentes de las sucesiones en esraecuacion, tcnemos:
r
...
X, =L(lkA~
lsI
(i ~I, 2.. " ,m). (4)
L a matriz de m x m que tiene co mo cempo ncmcs a las ; , 1 : cs no singular. pues de 1 0
contrario tendriamos la ecuaci6n no tr iv ial;
'"
L b, i..t - o . 0
=1
'"
Lbll.~-I=O .
;=1
(Esta tiltima ecuaci6n muestr a un po lino mio de gFJ.do ttl - J que uenc m cer o s.) As], la
ecuaci6n (4) deterrnina a al. G2 .. , (IIff de rnanera unic". 561 0 no s resin dcmostrar que
la ecuaci6n (4) es v61 ida para I ndus lo s valorcs de i. Sea z =x - L:~".I ilAIl
1k
). Entonccs
P( E )z =00, 10que es 10 mismo, E;~o r, Z ; lt+ i =0 para toda u. En otras palabras,
Zm +1 =Z",+2 =... =O .

24 Capitulo I Preliminaresmatemdticos
Adviertasc que em ' " 0 en virtud de que el polinomio p tiene m ceros diferentes yes.
por consiguiente, de grado m. Como Zl =0 para i =1.2... m. la ecuaci6n (5) nos
demuestra, aJ utilizarJ a repetidas veces, que
Ceros multiples
Aun nos faltael problema de resolver unaecuaci6n endifcrcncias p(E)x =0 cuando
p tiene ceros multiples. Definimos x(),,) =[i ),,'. ),,'.... J . Hemos visto que si p cs un
potinomio:
p(E)x(,J...) =pQ.)x(),,) (6)
Derivando con respecto a)" resulta que:
p(E)x'Q.) =p'().,)x(A) +p(),,)X/(),,) (7)
Si ).,es un cero multiple de P. entonces. p(l.) =p'(A) =o. y las ecuaciones (6) y (7) nos
muestranquex(h. ) y x'(A,} son solucioncs de laccuaci6n en difcrcncius. Enconsecucncia,
una soluci6n es I_ succsi6n rO.) =[1.2) .. 31..'.... 1. Si A " O. resolta independiente de
10 soluci6n x().,), ya que
[
) " A ' ]
det I 2J .. ;t 0
y en consecuencia, si l as succsiones se truncan despues d el s eg u n d o termino, c l p ar d e
vectores que resulta en R' es Iineaimenre independiente.
AI extender este razonamlento podemos demosrrar que si I. es un cero de p de
multiplicidad k, entonces las siguientes sucesiones son soluciones de 1a ecuaci6n en
diferencias p(E)x =0:
X(A) =[A.),,'.),,' J
..1 0 .) =[I, 2J ... 3).' J
X" ().,) =(0. 2. 6)" J
TEOREMA 2 Sea p un polinomio que sausface p(O) "0. Sf puede oblener una base para el espacio
nulo de p(E) de la manera siguiente: asociese a cada cern A de p de multiplicidud k las
k soluciones basicas x(),,). X/(" ,), ... X('-I)(A ). donde xO') =[A. ).'. I.'.... J .
EJ emplo 1 Determine I_ soluci6n general de laecuacion en difcrencias
4XII + 7x
l l
_1 + 2x
1l
-2, - X
Il
_3 =O.
-1.3 Ecuaciones el l diferencias 2S
Respuesta La ecuaci6n es dela fonna p(E)x =0, donde pQ.} - 4),) +n
2
+2A - 1. Los factores
dep SOn(l. +I)' Y(4). - I}.Como se ve,p tiene un cere de multiplicidad dos cn -I y
un cero simple en 1/4. Las soluciones basicas son:
x(-I) =[-1, I, -I, 1, )
x'(-I) =I t. -2,3, -4, 1
x(~) =[~.-h . " .... I
La solucion gener a1 es
x =ax( -I}+Ilx'(-I}+yx(~}
o
x. =(1(-1)" +Iln(-Ir-
I
+r(l)'

Ecuaciones en diferenclas estables

So dice que un elemento x =[XI. X,... J de V esta acotado si existe una constante c
tal que Ix.1;i; c para loda II. En otras palabras, suP. Ix.I <00. Se dice que una ecuaci6n
en difercncias de I n formn p(E)x =0 decimos que es estable si todas sus soluciones
estan acotadas. Por eJ emplo.la ecuaei6n en diferencias (2) no es estable en virtud de que
una de sus soluciooes esta dada por x. =2'. Ah ora nos preguntamos si h ay un m~todo
seneillo para identificar una ecuaci6n en diferenei as estable.
rrOREMA 3 Para aquellos polinomio: p que saiisfacen P{O} .,. O. las sigl/ienIes condiciones son
equivalentes:
(i) LA ecuaci6n en dift",ncias p(lJ)x =0 es establt.
(ii) Todos los ceros de" .ratisfacelllzi ~ I y todos los ceros mtdtiples satisfacen It I < I.
Demostracion Supongarnos que I I I eondici6n (ii) cs eierta para p. Sea A un cero de p. La soluei6n
correspondiente de I necuaci6n en diferencias cs X(A) =I A. i.', A3... J . Como IA I ~ I .
esta sucesi6n est~acotada, Si). es un cero multiple, eotcnces .1menos una entre ,,'().).
x"0.}, ... sc m lambi6n una soluci6n de la ecuaci6n en difereneias. En estc coso I AI < I
por (ii), Ademas, por I nregia de L'Hopitai del c:ilculo elcment:11
!fm ,.,t... =0
'-00
(k =O. I .... )
podernos ver que cada sucesi6n x' Q.}.x' 0.) ... csl~acotada. (V eanse los problema.' 22
y23.)
Para demostrar 01 rccrproco, supongamos que I ncondici6n (ii) es falsa. Si p uene
un cero i. que saris face 1.. 1 >I . enronces la sucesi6n X(A) no eSla " colada. Si p tiene un
cero multiple A que satisfuce I AI ~ I . entonces x'0.) no eSldacornda, ya que su termino
general satisface la desigualdad

Ejemplo 2 Determine si I . siguiente ecuaci6n en diferencias es estable:

4x" + 1x r t . _ 1 + Un_l - x,,_) =O .
26 Capitulo J Preliminares matemdticos
Respuesta La ecuaci6n es de la forma p(E) . =0, con p{}.,) =4)..
3
+7)..
2
+2)" - I. Por el ejemplo
anterior, p tiene un cero doble en -I y un cero simple en 1/4. En consecuencia, la
ecuaci6n es inestable.
Un cjcmplo de ccuaci6n en diferencias con coeficientes no constantes aparece en
la teorfa de las funciones de Bessel. Estas funciones J . de Bessel se deftnen por medio
de la formula:
1 J ."
].(x) =- cos(x sen 9 - nO) d9
" 0
Es obvio, apartir de I. definicion, que IJ .(x)1 a I. No tan obvia, pero no por ello menos
cierta, es la f6rmula recurrente:
Si (para cieno argumcnto x) conocemos J .(x) y J ,(x), la relaci6n recurrente S O puede
utilizar pard calcular h(x), },(x), ... ,J .(x}. Este proeedimiento deviene inestable y
de poca utilidad cuando 2n >Ixl porque los errores de redondeo, que inevitablemente
ocurren, se multiplicanln por el factor 2nx-', que a la larga lIega a ser muy grande.
(Vease el problema 25.)
Para obtener mayor informacion acerca de las funciones calculablcs por medio de
relaciones recurrentes yea Abramowitz y Stegun [1964, p. xiii], Cash (1979), Gautschi
[1961,1967.1975] Y Wimp [19841.
SERlE DE PROBLEMAS *1.3
I. Delas sucesionesquesiguenalaecuecton (2), expreselaprimeradeellas comocombinaci6n
lineal de Ins otras dos.
2. Seap un polinomio de grado m. iEs el especio de soluciones de p(E" )x =0 necesariamente
de dimensi6n nr?
3. Seapun poltnomlode.gradom conp{O) ~O. Si una sucesi6nx contiene mceres censecutlvos
y p(E)x =O . entcnces x =0,
4. iEs inyectivc (uno (I uno) cl oporador E? "TIene inverse derecho 0 inverso izquierdo? ,,8$
suprayecnvo (sobrt!)? Defina un operedor F mediante (Fx).11=Xn_1 y (Fx)1 =0 y responda
las rnismas preguntas para F. Explore la relaci6n entre E y F. Suponga que. V se ba definido
como el especic de- todas las funciones complejas que tienen como dominio ul ccnjuntc
{.... -3. -2.-1.O.I. 2. 3.... } y que F se ha dcfinido simplemente por(Fx). =X.-l. I.En
qu6 forma se verian afectadas las respuestas a las preguntas anteriores con estes cambics?
S, iCuliles son los valores y los vectores propios del operador E1
6, lQue puede usted decir acerca de la ccnvergeecia de la siguiente serie infinha?
Demuestre quex =E:
1
Xllv"'l. en un sentido pumual.
7. Si (",~'), va), ... } se toma como la base de V . demuestrc que Ltaa clF! se puede representar
per medic de-una matriz infinita.
8. Demuestre que dos operadcres cualesquiera con la forma descrita en el problema 7conmutan
entre sf,
*1.3 Ecuacion es en diferencias 27
9. Demuestte que ,iLI yL:50n combinaciones lineales de potencias deE. Y LI ,,r =O. entceces
L,L.x= O.
10. De:sam>U e una teorl:a completa para la ecuacion en difen:ncilU ~ x =o.
.; I I . D6 bases que COMlen de sucesiones reaJ es para ei cfq)aCio de scluctcnes de
(0) (4E" - 3E' +').< _ 0 (c) (2E' - 9E' +1211' - 4&).< =0
(b) (3E" - 2+e').< e 0 (d) (.e' - ..I2E +log 2 . E').< =O.
12.. Demuestre que sl p es un polinomio con coerlcientes reales y si z == (zJ , ZZ... J es una
solucion ccmpleja de p(E). =O. entonces eI ccnjugadc de " I . parte =1 de ty I . pone
imaginaria de z, lumbl6n son soluciones.
13. Resuelva
(a)x...1 -J U .. =0 (b)X,..1 -x .. =n (C) x".I -z... _ 2
14. OefiM unopenidor" mediante
lox =lx,-x,.", --'1,.<0 -.I),...).
Demuestre que E - r +fl, y que si pes un polinomio.
p(E) =p(/) +p' (1)6 +lP " (/).:1' +....
15.(Contin~aci6n) Demuestreque st.c =(A.,~1, A;J.. jypc$unpOlinomio,entoncesp(o).t_
p O . - l)x. Oesctiba como se resuelve una ecuaci6n en dlferenclns que se escnbe en la fonrut
p(6).< =O.
16. (Continuaci6n) Oemu es ue que
,,"=(-lrlE' -.+!n(n - 1)& -llt(n - I Xn- 2)E' +...~
'17. Considere 1a ecuaci6n en diferencias
X ... 2 - 2.(..., - lxn =0.
U na de sus soluetcnes es x .. =(1 - V)"-I,Esta soluci6n eltema sus signos y converge n
cere. Calcule e imprlma los 100prirreros terminos de OSlO sucesi6n por medio de J aecuaci6n
.1'".1 =2(x..,.,., +'xII).tomo.ndo como punto de partida Xl =: I Y Xl =I - ..;3. Explique el
curiosa fen6meno que sucede.
18. Hogo una demostr.ld6n comple" del teorema 2.
19. Seapun polinomio .. 1que P (O) =O. Describa eleapxlo nulo dep(.E}.
20. P ara cad. A E C S O define .r O.) =(>..1.'.1.' .... ). Oem eesue que sil.,. A' ..... A.. son
nemeros complejos no nulos y diferentes entre sf.entonces {.r(l.I ) .to-), .... xQ_>} es un
conjumc tinealmcnle independieme en V.
21. Si A es una raiz dep distinta de cero y de multiplicidad k, entonces ta ecuaci6n P <E>x =0
tiene como solucioncs "(1),,,(1) .. ,,(k) en dondc u!f =II}-I)./"
22. Demuestre que si ~ e (0.00) y 1'-1 < I , entonces I fm,_ .. II).' =O.
23. Dernuestre con todo detalle que una sueesien ccnvergeete esu ,",COtltda.
24. Demuestre el teon:ma 3 sln I . hip6tesi, de que P (O) _ O.
'2$. A partir de J .(I)- 0.7651976866 Y J,(I) =O.4400S0S857 y utilizandc I . f6nnul. de
recum""i. que._ en el texto. ealcule 1,(1), 1,(1), .. J,,(I) .. Que evide"cia so none
dol 3100pdo de enor de los valores obteoidos?
26. Defina inductivamente una sucesi6n por mediode la ecuaei6n X".I =X.II +x,,-I. con ~ >O.
Determine el componamiemo de x" cuandc n .- 00.
~27. Considere 13ecuaci6n en diferenelas 4X .. ,.1 - & 1 :. . +1 +3x" =O. Determine si es estabt
Encuentn la soluci6n general. Suponiendo <iVC. ll)=0 Y XI S -2. calcule Xu recurrie
.1mitodo nUs eficiente,
28. Cons-j<icrelare1 aci6n recurrences,. iii 2(.1',,_1 +x.._ v . Demuesce qce 1 3soluei6n genera)
lit ;: : : ;: a() +V'J )"+J }(I - V3)". Demuestre que III soluci6nquetienevaloreslnicialesxI _ 1
yx, =1 - V3correspondeau _Oy~=(1 - .,13)-'.
'29. (ConIiDUIci6.) En.1 problema "lerior. calcule I. soluci6n particular en las tres fo
que a continuaci6n se indican. Celcute estes scluciones para I ~ n ~ 100 Y cornpdrel
entre ,'.
0) x. Itpartir de la re.laci6n recurrente
(ti)y. - PO - V3r
(oii) '" - a(1 . . V3r .. ~(I - .,13)'. duode a soeligecomo I. unidad delerrorde redondee
para su eomputadoro.
30. Determine si ta ec;uaei6n eo diferencias x. =X.,_I +.1' .. _ 2 es e$t:lbJ e.
r31. Resuelva num&ieamente la UICi6n en diferc.ncias
28 Cap(TUlo 1 Pretiminares matmulticos
con XO- I Y XI :::: ~. Calcule 49 de sU$lirminos ydetmnioe (1 error relalivo en Xso. Hap
10mtsme cambiandoxi por.n-' yexplique II difc~ncia en los errores relativos de los dos
cases.