Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas Análisis Numérico
Notas Análisis Numérico
0 existe un 6 > Otal que
S10 < |x-al < 8 implica que | f(x) —a| < ©.
a 2. Decimos que una sucesién fa,} tiene un limite « cuando n tiende a
48 infinito, en simbolos
Powered by (@ CamScannerlim ay, = 4, 0a) a
ne
si para todo £ > 0 existe N € N tal que
Conceptos bisicos
sin> N implica que \a,—a| <€
Teorema 1.2.1.
1. El limite si existe es unico.
2. Elimite de una suma o resta de funciones 0 sucesiones es la suma 0
resta de los limites de las respetivas funciones o sucesiones, siempre que
estos limites existan. En simbolos: si lim f(x) = a1, lim g(x) = a2
entonces lim( +g (x)= lim f(x)+ lim g(x) = «1 + a2. De forma
similar para sucesiones.
* + (nay)
Figure 1.38, Grafica de una Sucesion
3. Sidesunniimerorealfijoy im f(x) =
De forma similar para sucesiones.
entonces lim 2 f(x) = ha
4. Ellimite de un producto de funciones 0 sucesiones es igual al producto
de los limites, siempre que ests existan; y el limite de un cociente SY
de funciones 0 sucesiones es igual al cociente de los limites, siempre
que la funcién del denominador o sucesién sea diferente de ceroy 49
Powered by (@ CamScannerlos limites existan. Luego si jim fa) 7 1, lim g(x) = @2, entonces
tim( fo) g(x)) = are2 Y lim(f(x)/ g(a) = 41/42. De forma
similar para sucesiones.
Omitimos la mayoria de demostraciones de esta parte por no ser el
objetivo principal de este libro de notas, pero para las demostraciones
referimos al lector a los libros [1, 27]
Definici6n 1.2.3.
Decimos que una funcién f : A C RR, es continua ena € A si
lim f(x) = fla), y por la definicion 1.2.2, decimos ques: A C RK
es continua en a & A, si para todo & > O existe un 5 > 0 tal que
Notas de anilisis numérico con MATLAB
si |x-a\ <8 implica que | f(s) - f(@)\ <«.
Cuando f es continua en todos los puntos de A decimos que f es
continua.
Nota 1.2.1.
Claramente las sucesiones no son continuas. Se deja como ¢jercicio
demostrarlo.
Teorema 1.2.2.
(Continuidad por Sucesiones). Una funcién f: A C RR, es continua en
a & A siy solo si dada la sucesion {a,} en A cona, —-a entonces {f (a,)}
converge a f(a).
Demostracién. Ejercicio.
Del teorema 1.2.1 podemos deducirel siguiente teoremadecontinuidad
de funciones:
Teorema 1.2.3.
La funcién constante, la suma, resta, producto, cociente de funciones
continuas, es continua.
Demostracién. Ejercicio.
Nota 1.2.2.
x y 1. No mencionamos el caso de continuidad del producto de una
constante por una funcién, porque es un caso particular del producto
50 efunaones
Powered by (@ CamScanner2. Una funcién polindmica (0 polinomio) la definimos asi: dados
a, 4, ..., a, nlimeras fijas en los reales, y x una variable real (no fija)
tenemos
Conceptos bisicos
»
AG) = at ayxt + ay + ax" = Yair!
Fe
Luego un polinomio es una funcién formada por sumas y productos
y por el teorema 1.2.3 es continua.
Teorema 1.2.4.
(Teorema de Valor Intermedio). Si fes continua en el intervalo cerrado
Lab] yf (a)
10°. Un cdlculo con tal presicién requiere un polinomio con cien millones de
términos.
Xx y Corolario 1.2.15.
Si P (x) representa la parte polindmica de grado n del teorema de
56 taylor, entonces Pi (x,) = f(x,) con k = Out
Powered by (@ CamScannerDemostracién. La parte polinémica del teorema de Taylor es
-ylyo — x9)
Pax) dat (o)(a~ 30) (1217
Conceptos bisicos
que es igual a
14
PalX)= f0)+ YF o)a- x0)",
oat (1.2.18)
claramente tenemos que p,(x,) = f (x,). Derivando p,(x) en (1.2.17)
tenemos
pila) = Plays 2F COE 30)
+ Sh eax xo)"
(1.2.19)
utilizando (1.2.19) se tiene que p’, (x,) ="(X,) y por induccién sobre
nllegamos a que
nbf(x0)
ph (x0) = fo) (1.2.20)
yse verifica que p” (x) =S(x,)
Definicion 1.2.5.
El polinomio que aparece del teorema de Taylor se llama polinomio de
Taylor y cuando c = 0 se llaman polinomio de MacLaurin.
Ejemplo 1.2.3.
(Ejemplo en Matlab). Utilizar comandos de Matlab para graficar la
funcién f = encontrar el polinomio de Taylor y graficar junto
1
5+ 4cos(x)”
con la funcién
Un procedimiento realizado en Matlab es cédigo 1.1 en él se muestra
como se introducen los comandos exactamente, y podemos ver la gréfica SY
resultante en 1.39.
57
Powered by (@ CamScannerPalinomlo de Taylor Ve Funcién
Notas de anilisis numérico con MATLAB
Figura 1.39. Comparacién del polinomio y la Funci6n del Ejemplo 1.2.3,
1 >> syms x % convier
2 >> £=1./(5+4*com(x)); % definicién de 1a funcidn
3 >> Tstaylor(£, 'order',8); % Crea el polinomio de taylor
4 >> pretty(T) 3 forma simb“olica del polinomio de Taylor
s & 6 4
e en simbélica a x
8131220 1458 81 9
9 >> ezplot(T,{-pi.pi]) % Graficacién del nolinomio
10 >> x=-pi:0.05:pi;
11 >> Fesubs(£,x); % Crea la funcién numérica
12 >> hold on
13 >> plot(x,F,'.') % Grafica le funcién numérica
14 >> title( ' Polinomio de Taylor vs Funcién ' );
15 >>legend('Taylor grado 8', 'Funcién Teérica')
Cédigo 1.1: Graficacion y generacién de Polinomio de Taylor
¥ J Otros eédigos en Matlab son 1.2, y 1.3.
58
Powered by (9 CamScanner>> taylor (1og(x) ,x, ‘ExpansionPoint',1, ‘Order’ , 6)
1
Conceptos bisicos
>> pretty (ans)
2 3 4 5
1
a
3
4
5 x - (x - 1)°2/2 + (x - 1973/3 - (e- 14/4 + (15/5 - 1
6
i
8
9 (e- 1) (= 1) (= 1) (x - 1)
Cédigo 1.2. Procedimiento en Matlab para encontrar el polinomio de Taylor
El cédigo 1.2 genera un polinomio con 6 términos diferentes de cero
alrededor del punto 1.
>> taylor (sin(x) ,x, 'ExpansionPoint ',pi/2, 'Order',6);
>> pretty (ans)
1
2
3
a
5/ pi \4/ pi 2
6
7
8
9
24
Cédigo 1.3. Procedimiento en Matlab para general el polinomiode Taylor 6
alrededor de un punto
El cédigo 1.3 genera un polinomio de grado 4 al rededor del
punto ©
Otra presentacién del teorema de Taylores dada por el siguiente teorema
Teorema 1.2.16.
(El teorema de Taylor con la formula integral para el residuo).
Sif C™! [a,b] entonces para cualquier punto x y cen [a,b]
S()= v Af ou- oy Rn (x) (1.2.21) SS
ae 59
Powered by (@ CamScannerdonde
Ra) = Lf aoe" at
(1.2.22)
Demostracién. Utilizando la integracién por partes en (1.2.22)
” pe
ie wee AN dv= f° (dt emconces d= at
y por el teorema fundamental del cdlculo (1.2.13) tenemos v =f (1)
“sf ner 0" ema 7
re Je
= - LM @a- a" [PO ea
Notas de anilisis numérico con MATLAB
Ry(a)= | eo" p>)
o RB gy OP *
Lr our ors fs" ya
Raa) = D
nl
a(x) = = SP (a= ort aol ™ (x— 0)" de
Bei
Bala) = = SPOR 0)" Ret
(1.2.23)
Repitiendo el proceso de integracién por parte en (1.2.23),
eventualmente llegamos a
n |
Ralad= — Y BLOCH oF + Ros (12.24)
a
nuevamente por el teorema fundamental del calculo tenemos
" p(dt= f(x)— flo) (1.2.25)
, laecuacién (1.2.24) queda
Sot et
R= — FEM (MaH oO +f) (0)
60 De (1.2.26)
Powered by (@ CamScannery despejando / tenemos
s.1
LO= H+ Y GLOCOG- ol + By (1.22)
a
Conceptos bisicos
Otra forma para la formula de Taylor
Remplazando x porx + hy c por x tenemos
"|
f(xt y= Zareowe E,(h) (1228)
con
my: (nt 1) ee) path.
En(h)= lr pw eet, (1.2.29)
& se encuentra entrex yx +h
Esta formula se puede utilizar en el caso que se quiera calcular una
funcién donde el argumento se altere en un pequefio valor por ejemplo
In(2.5) en este caso h = 0.5.
Ejemplo 1.2.4.
Vearnos una aplicacién del teorema de Taylor 1.2.14
Busquemos un polinomio que aproxime a la funcién
1 /*sen(e)
[ea en 1,1 (1.230)
Aplicando el teorema de Taylor a Ia funcién sen x que satisface las
SQ)
condiciones
yr ant
Gn i"
*
aeee(-yr!
(-)
sen(é)
(1.231)
za
Qn+Dt
reemplazando (1.2.31) en (1.2.30) con el respectivo cambio de variable.
we A = _qyei XS
Sia) if ar st (0! Gimp [Att Rer2)
(1232) 61
Powered by (@ CamScannerg Integrando en (1.232) y simplificando tenemos
i 1
§ 8-155 HOD" ae Re)
2 donde
2
3 Row 2 = = Mc D Ga =n By enEsdt con0< Est
2
como | sen&,|<1
pe en
1 )
Ror 2S 5 fy Gat in” = Gar iant (1233)
Podemos elegir el grado tal que
Ry, 9 (| $5 % 10° (elegido arbitrariamente)
; 1
ime « |Ron-2(3)| = = Gas DiGn=)
elegido n tal que
1 6
——_____< 5x 10
Gr piGa <> (1234)
La desigualdad (1.2.34) es vilida cuando 2n + 1 > 11. Luego el polinomio
que usamos para aproximar a (1.2.30) es
2.2 #2!
PO) I> ag 5157 77 * om
con-1Sx<1. (1235)
El c6digo 1.4 es un procedimiento en Matlab para graficar y comparar
(1.2.30) y (1.2.35). Podemos ver la comparacién en la figura 1.40.
iy
62
Powered by (9 CamScannerPotinomio de Taylor x) vs funciéa S{x)
Conceptos bisicos
aos
Figura 1.40. Comparacién entre $y P del Ejemplo 1.2.4
(1.2.35). Podemos ver la comparacién en la figura 1.40.
1 >> x=-1:0.05:1;
Ror Pam
A-x,°2/(Zactorial (3)*3)+x.°4/(£actorial(5)*5)-x.-6/ ©
(factorial (7)*7) +x.78/ (factorial (9)*9);
>> plot (x,P,'0')
>> hold on
>> syms x
>> S=(1/x)*sinint (x);
>> ezplot (8, [-1 11)
>> title(*Polinomio de Taylor P(x) vs funci ‘on S(x)')
10 >> legend ('P(x)*,'S(x)")
Cédigo 1.4. Graficacién y Comparacién de Polinomio de Taylor
Otro procedimiento utilizando comando Taylor de Matlab es el cédigo.
's sy
63
Powered by (9 CamScannerNotas de anilisis numérico con MATLAB
Sat
64
1 >> syms x
2
3 >> P = taylor (sinint (x) /x,x,0,'Ordez',9)
4
5 ans =
6
7 x°8/3265920 - x°6/35280 + x°4/600 - x°2/18 + 1
Cédigo 1.5. Comando Taylor de Matlab
1.2.2. Redondeo
Consideremos un ntimero decimal positivo x de la forma
x=0.d,d,d,...d,,d,, (1.236)
Donde d, escualquier elemento del conjunto {0, J. 2... 9f. Seredondea
xa cifras decimales (7 < m) de manera que depende del valor del digito
(n+ 1). Siel digito d,_, es 0.1, 2. 3 0 4, entonces el n-ésimo digito d, no
se cambia y los que siguen se eliminan, este redondeo se llama redondeo
por defecto.
0,1,2,3,4
O.dydy- "dy dyer dye 2** de 1m ** = O.dyda** “dn
Sil digito d,,, es 5, 6. 7. 8 0 9, entonces el digito d, se incrementa en
una unidad y los que siguen se eliminan, este redondeo se llama redondeo
por exceso.
5,6,7,8,9
Odyda dn dye dpt2°* dy idm * O.dyd** (dnt 1)
Ejemplo 1.2.5.
Redondear a cuatro digitos los siguientes nuimeros:
a
1. 0.1735499 = 0.1735 redondeo por defecto
2 0,9999500 = 1.0000 redondeo por exceso
3. 04321609 © 4.322 redondeo por exceso.
au
2
Powered by (@ CamScannerNota 1.2.4.
Six se redondea de modo que x es su aproximacién conn digitos, entonces
Conceptos bisicos
x-3]< 5 lo" (1.2.37)
Veamos:
1. Sieldigiton+| es0, 1, 2, 30-4entoncesx = $+ econe < 5x 107"
y se cumple (1.2.37)
2. Siel digito n+l es 5, 6, 7, 8, 0 9entonces ¥= $+ 107” donde x
es un nimero con los mismos primeros n digitos que x y todos los
restantes iguales a cero.
Ahora, x =
$45 % 10" cond > } yk x=( 1-8)» 10"
como 1— 5 < 5 tenemos <— x
1-8) 10"< 3x 10"
Si x es un numero decimal, su aproximacién por truncamiento a 7
digitos es el nimero ¥ que se obtiene al descartar todos sus digitos mas
alla del n-ésimo. Tenemos
|x- 4] < 107" (1.2.38)
Es decir, que la relacion entre x y ¥ es tal que x — $ arrojan cero en las,
primeras n posiciones y |x— &| < 10°” con0<8<1
Ix— $= [8] 107" < 107” yaqued< 1 (1.239)
Nota 1.2.5.
Pensemos en solucionar un problema, digamos: buscar el cero de una
ecuacién complicada o el valor numérico de una integral definida, dificil
de trabajar. En tal caso, un programa de computacién quiza produzca una
solucién de niimeros reales x, ,x,, X,.... que se esté aproximando a la solucién
correcta. Denotemos con {x, } este conjunto de datos. Tenemos lim x, = L,
(ver 1.2.2). Donde L. es la solucién exacta. yy
65
Powered by (@ CamScannerEjemplo 1.2.6. 1
1. Recordemos que e = lim (1- ‘) que nos sirve para definir el
importante numero e. Utilizando un archivo .m de Matlab podemos
calcular términos de la sucesién
(ty
¥ el programa en Matlab en archivo.m es:
Xn
Notas de anilisis numérico con MATLAB
function y = xn(n)
y= (41A)n;
Valores calculados con el anterior archivo:
x, = 2.000000
1p = 2.593742
Xy, = 2674319
1691588
= 2.716924
sp
ove
Esta es una sucesién que converge mds bien en forma lenta ya que el
limite es ¢ = 2.71822818...
En el milésimo termino hay un error de 0.001358.
2. Como ejemplo de sucesién que converge répidamente:
Lod
= 1
ae pa el) (1240)
Utilizando un archivo de Matlab podemos calcular algunos de sus
términos.
y y archivo .m
function y = xn2(n)
66 ifn == 1, y= 20;
¥
Powered by (@ CamScannerelse
y= 1/2 *xn2(nel) + 1/xn2 (nel): end
Algunos de sus términos son:
Conceptos bisicos
000000
500000
416667
414216
El limite de esta sucesién es 12 = 1.414213562...
iscula
1.2.3. Notacién de O mayuscula y 0 mi
Sean fx,} y {a,} dos sucesiones distintas. Decimos que x, es 0
mayuiscula (u o grande) de cr,, en simbolos (/a,), si existen constantes
c#0y r, tal que |x,|