Sunteți pe pagina 1din 12

PARTEA I

PRINCIPIILE MATEMATICII NUMERICE


ANALIZA STABILITII I ERORILOR


1.1. Probleme stabile (sau bine puse)

Considerm problema: calculeaz x astfel nct
( ) 0 = d x F , (1)
unde d este mulimea datelor de care depinde soluia x i F este relaia funcional ntre x i d.
n funcie de problema particular rezolvat, x i d pot fi din R, din R
n
(vectori) sau din R
mxn

(matrice).

Definiia 1. Dac F i d sunt date (cunoscute), problema (1) se numete direct. Dac F
i x sunt date, problema (1) se numete invers. Dac d i x sunt date, problema (1) se numete
problem de identificare.
Definiia 2. Problem (1) se numete stabil sau bine pus dac soluia x este unic i
depinde continuu de datele d. Dac problema (1) nu este stabil, pentru rezolvarea sa numeric
este necesar transformarea ei ntr-o problem stabil.
Observaie. Prin dependen continu de date nelegem faptul c perturbaii mici ale
datelor d determin modificri mici ale soluiei x. Cu alte cuvinte, dac d o este perturbarea
adus datelor i x o este perturbarea indus soluiei i are loc relaia
( ) 0 = o + o + d d x x F , (2)
atunci,
( ) d K , q - > q 0 astfel nct ( )
d x d
d d K x d o q < o q < o ,
unde
x
. este norma pe spaiul soluiilor i
d
. este norma pe spaiul datelor.
n continuare, pentru simplificare, vom nota ambele norme cu . , faptul c o norm
este definit pe un spaiu sau cellalt fiind neles din context.

Exemplul 1. Fie polinomul ( ) ( ) ( ) 1 1 2
2 4
+ = a a x a x x p . Problema ( ) 0 , = a x F ,
unde ( ) ( ) x p a x F = , nu este stabil deoarece exist o variaie discontinu a numrului
rdcinilor din R ale lui ( ) x p funcie de parametrul continuu a.
Evident, notnd 0
2
> = x t , rezult,
( ) ( ) 0 1 1 2
2
= + a a t a t
Dac { } 1 , 0 e a
1
1
1

=
a
t ,
a
t
1
2
=
- Dac 1 > a sunt 4 soluii distincte n R
- Dac 1 = a , 1 , 0
2 1
= = t t i sunt 4 soluii n R (dou confundate)
- Dac 1 0 < < a sunt 2 soluii distincte n R
- Dac 0 = a sunt 2 soluii confundate n R
- Altfel, problema nu are soluii n R
Observaie. Condiia de unicitate a soluiei poate fi ndeplinit, dac prin soluie
nelegem un vector cu fiecare component rdcin a polinomului (vezi exemplul 2). Pentru
ca acest lucru s fie posibil trebuie ca, indiferent de date (aa cum este formulat problema,
e a R), numrul rdcinilor s rmn acelai. De exemplu, problema devine este stabil
pentru mulimea datelor satisfcnd 4 > a .

Definiia 3. Pentru problema (1) indicatorul de condiie relativ este definit prin
( )
d d
x x
d K
D d o
o
o e
= sup
unde D este o vecintate a originii i desemneaz setul perturbaiilor admisibile asupra
datelor d pentru care problema perturbat (2) are sens. Dac 0 = d sau 0 = x este definit
indicatorul de condiie absolut, prin
( )
d
x
d K
D d
abs
o
o
o e
= sup
Definiia 4. Problema (1) este bine condiionat dac ( ) d K este mic pentru orice
perturbaie admisibil.

Observaie. Chiar dac indicatorul de condiie formal este infinit, problema poate fi
reformulat echivalent astfel nct s devin problem stabil (vezi exemplu 2).

Dac problema (1) admite o soluie unic, atunci exist o funcie G, numit funcie care
rezolv problema (rezolvitor), definit pe mulimea valorilor datelor d cu valori n mulimea
valorilor soluiei i astfel nct
( ) ( ) ( ) 0 , , = = d d G F d G x (3)
Pe baza relaiei(2), rezult
( ) d d G x x o o + = + (4)
Dac G este difereniabil, din dezvoltarea n serie Taylor, prin aproximare de ordinul I,
obinem,
( ) ( ) ( ) ( ) d O d d G d G d d G o o o + + = + ' , pentru 0 d o
( ) ( ) ( ) d d G d G d d G o o ' ~ +
Pe baza relaiilor (3) i (4), obinem,
( ) ( ) ( ) d G d d G x d d G x + = + = o o o
( )
( ) ( ) ( ) ( ) ( )
d d
d G d d G
d d
d G d G d d G
d d
x x
d K
D d D d D d o
o
o
o
o
o
o o o
'
sup sup sup
e e e
~
+
= =
Observaie. Dac : G R
n
R
m
, atunci ( ) d G' este matricea Jacobian calculat n
vectorul d.
Deoarece, dac . este norma unui vector, rezult c funcia
x
Ax
A
x 0
sup
=
= este norma
indus pe mulimea matricelor, obinem,
( )
( ) d G
d
d d G
D d
'
'
sup =
e o
o
o
i deci
( ) ( )
( ) d G
d
d G d K ' ~
Similar,
( ) ( ) d G d K
abs
' ~
Observaie. Dac : G R
n
R
m
, atunci ( ) d G' este matricea Jacobian calculat n
vectorul d.
Exemplul 2. Fie ecuaia algebric de gradul II,
0 1 2
2
= + px x , cu 1 > p
Deoarece ( ) 1 4
2
= A p , rdcinile sunt 1
2
=

p p x .
n acest caz ( ) 1 2 ,
2
+ = px x p x F , p d = i x este vectorul | |
T
x x
+
, . Funcia
rezolvitor este,
: G RR
2
, ( ) | |
T
x x p G
+
= ,
( ) | |
T
p p p p p G 1 , 1
2 2
+ =
Obinem,
( )
(
(
(
(
(

+
=
1
1
1
1
'
2
2
p
p
p
p
p G
Considernd
2 2
2
, . . y x
y
x
+ =
(

= , rezult,
( ) ( ) ( ) 2 4 1 1
2
2
2
2
2
= + + = p p p p p p G
( )
1
2 4
1
1
1
1 '
2
2
2
2
2
2

=
|
|
.
|

\
|

+ +
|
|
.
|

\
|

+ =
p
p
p
p
p
p
p G
p p =
Obinem,
( ) ( )
( )
1
'
2

= =
p
p
p G
p
p G p K
Concluzii
1. n cazul rdcinilor bine separate (de exemplu 2 > p ), problema ( ) 0 , = p x F este
bine condiionat.
2. n cazul rdcinilor multiple, pentru 1 = p , funcia : G RR
2
,
( ) | |
T
p p p p p G 1 , 1
2 2
+ = nu este difereniabil, deci ( ) p K nu poate fi calculat n
funcie de G.
n plus, dac 1 > p , dar este apropiat de 1, ( ) p K are valori mari i problema nu este
bine condiionat. Problema poate fi reformulat ntr-o manier echivalent i astfel nct s
devin stabil.
Fie ( ) 1
1
,
2
2
+
+
= x
t
t
x t x F , ( ) 0 , = t x F , cu 1
2
+ = p p t .
Evident, p
t
t
2
1
2
=
+
.
Cele dou rdcini sunt
t
x
1
=
+
, t x =

|
|
.
|

\
|
+
=
1
1
1
2
2
p p
p p i coincid pentru
1 = = p t . Pentru funcia considerat, rezult
( )
T
t
t t G
(

=
1

( )
T
t
t G
(

=
2
1
1 '
( )
t
t
t
t t G
1 1
4
2
2
+
= + =
( )
2
4
4
1 1
1 '
t
t
t
t G
+
= + =
Rezult,
( ) ( )
( )
1 ' = ~
t G
t
t G t K
deci problema este stabil n aceast reprezentare.

1.2. Stabilitatea i convergena metodelor numerice

Considerm c problema (1) este stabil. O metod numeric pentru aproximarea
soluiei problemei (1) este n general o secven de probleme ce depind de 1 > n ,
( ) 1 , 0 , > = n d x F
n n n
(5)
i astfel nct x x
n
cnd n , adic soluia numeric este convergent ctre soluia
exact. Pentru aceasta trebuie ca d d
n
i
n
F s aproximeze F cnd n .
Definiia 5. Dac setul de date d din (1) este admisibil pentru
n
F , problema numeric
(5) se numete consistent dac
( ) ( ) ( ) 0 , , , = d x F d x F d x F
n n
cnd n . (x este soluia problemei 1)
O metod se numete consistent n sens tare dac
( ) ( ) ( ) 0 , , , = d x F d x F d x F
n n
pentru orice n (nu numai dac n ).
Definiia 6. n cazul metodelor iterative, problema (5) are forma,
( ) q n d x x x F
n q n n n n
> =

, 0 , ,..., ,
1
(6)
cu
1 1 0
,..., ,
q
x x x valori date. n acest caz consistena n sens tare revine la verificarea
proprietii,
( ) q n d x x x F
n
> = , 0 , ,..., , (7)

Exemplul 4. Fie metoda iterativ de aproximare a rdcinii unice o a funciei
: f RR, dat de relaia
( )
( )
1 ,
'
1
1
1
> + =

n
x f
x f
x x
n
n
n n
,
0
x dat. (metoda Newton)
Conform definiiei, metoda este consistent n sens tare, deoarece
( ) 1 , 0 , , > = n f F
n
o o , unde
( )
( )
( )
1 ,
'
, ,
1
1
1 1
> =


n
x f
x f
x x f x x F
n
n
n n n n n

ntr-adevr,
( )
( )
( )
1 , 0
'
, , > = = n
f
f
f F
n
o
o
o o o o , deoarece o este rdcina funciei f.
Definiia 7. O metod numeric asociat problemei (1) etse stabil (bine pus) dac,
pentru orice 1 > n s aib loc proprietatea,
( ) ( )
n n n n n
d d K x d d K o q o q o q q , : , 0 s < - >
Similar problemei (1), pentru fiecare problem din secvena (5) sunt definii indicatorii
( )
n n
n n
D d
n n
d d
x x
d K
n n
o
o
o e
= sup
( )
n
n
D d
n n abs
d
x
d K
n n
o
o
o e
= sup
,

i definim:
- indicatorul condiie asimtotic relativ: ( ) ( )
n n
k n
k
n
num
d K d K
>

= sup lim
- indicatorul condiie asimtotic absolut: ( ) ( )
n n abs
k n
k
n
num
abs
d K d K
,
sup lim
>

=
Metoda numeric este bine condiionat dac
num
K este suficient de mic pentru toate
datele admisibile
n
d .

Similar problemei (1), dac presupunem existena cte unei soluii unice
n
x a celei de-a
n-a probleme din secvea (5), atunci exist cte o funcie care rezolv problema (rezolvitor),
n
G definit prin,
( ) ( ) ( ) 1 , 0 , , > = = n d d G F d G x
n n n n n n n

Dac
n
G este difereniabil, similar indicilor condiie definii pentru problema (1), sunt
calculai indicii contiie asimtotic prin,
( ) ( )
( )
n n
n
n n n n
d G
d
d G d K ' ~
( ) ( )
n n n n abs
d G d K '
,
~

Exemplul 5. Fie problema din exemplul 2 i considerm 1 > p (cazul rdcinilor
separate). Dac 1
2
=

p p x este evaluat direct algoritmul nu este stabil. ntr-adevr,


pentru p cu valori mari, calculul formulei
1
2
p p
|
.
|

\
|
0 de apropiat este 1
2
p p induce erori mari de calcul datorit
reprezentrii aritmetice finite (vezi 1.5, situaia subdepirii de domeniu). Variantele de
rezolvare a problemei de subdepire:
- calculez 1
2
+ =
+
p p x i, evident,
+

=
x
x
1

- rezolv ecuaia pentru domeniu ce conine numai valoare

x cu metoda Newton
( )
( )
1 ,
'
1
1
1
> =

n
x f
x f
x x
n
n
n n
,
0
x dat
( ) 1 ,
2 2
1 2
1
1
2
1
1
> =

+
=

n p G
p x
px x
x x
n
n
n n
n n

( )
p x
px x
x x p x x F
n
n n
n n n n
2 2
1 2
, ,
1
1
2
1
1 1

+
+ =




( )
( ) p x
x
p G
n
n
n

1
2
1
2
1

( )
( )
2
1
2
1
2
1
'
p x
x
p G
n
n
n


( ) ( )
( ) p x
p
p G
p
p G p K
n n
n n

= ~
1
'
( )
p x
p
p K
n
k n
k
num

>

1
sup lim
Dar 1
2
1

p p x
n
n
deoarece 1
2
+ + =
+
p p x x
n
sau
1
2
+ =

p p x x
n

Rezult,
( ) ( )
1
2

~
p
p
p K p K
num
n

deci metoda nu este bine condiionat cnd 1 ~ p , altfel metoda este bine condiionat.

Definiia 8. Metoda numeric (5) este convergent dac,
( ) ( )
( ) ( ) ( ) ( ) c o c o o c
c o c c
s + < >
- - >
n n n
d d x d x n d n n
n n
, ,
: , , , 0
0 0
0 0

unde d este setul datelor admisibile pentru (1), ( ) d x este soluia problemei (1) i ( )
n n
d d x o +
este soluia problemei (5) cu setul de date
n
d d o + .
Observaie. Pentru a verifica proprietatea de convergen a metodei numerice (5) este
suficient verificarea urmtoarei proprieti,
( ) ( )
2
c
o o s + +
n n n
d d x d d x
ntr-adevr, din regula triunghiului obinem,
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) 2 def.
2
,
0
c
o c o o o o
o o o
o o o o
+ s + + + =
= + + + + s
s + + + + = +
n n n n
n n n n
n n n n n n
d n K d d x d d x x
d d x d d x d d x d x
d d x d d x d d x d x d d x d x

Prin alegerea lui
n
d o astfel nct ( ) ( )
2
,
0
c
o c o s
n
d n K , rezult,
( ) ( ) c o s +
n n
d d x d x

Cele mai utilizate msuri ale convergenei irului ( )
1 > n n
x sunt
- eroarea absolut: ( )
n n
x x x E =
- eroarea relativ: ( ) ( ) 0 =

= x
x
x x
x E
n
n rel

- dac soluia este vector sau matrice sunt utilizate erorile pe componente,
( )
( )
j i
j i n
j i
n
c
rel
x
x x
x E
,
,
,
max

=
Observaii.
1. Dac problema (1) este bine pus, pentru ca metoda numeric s convearg ea
trebuie s fie stabil.
2. Pentru orice metod numeric cu proprietatea c este consistent, stabilitatea este
echivalent cu convergena (teorema Lax-Richtmyer)

1.3. Analiza a priori i a posteriori a stabilitii

Analiza stabilitii unei metode numerice poate fi realizat a priori n una din
urmtoarele variante
- analiza nainte (forward analysis), care furnizeaz o limit a variaiei soluiei,
n
x o , datorate perturbaiei n date i erorile intrinseci ale metodei numerice;
- analiza napoi (backward analysis), care are ca scop estimarea perturbaiilor care
sunt aduse datelor unei probleme specificate pentru a obine rezultatul calculat
de metod. Cu alte cuvinte, dat fiind soluia calculat
n
x , scopul este de a
determina perturbaia n setul de date,
n
d o , astfel nct ( ) 0 , = +
n n n
d d x F o .
Analiza a priori poate fi utilizat i pentru investigarea proprietii de convergen a
metodelor numerice, caz n care este referit drept analiza a priori a erorilor.
Analiza a posteriori are ca scop evaluarea erorii
n
x x ca funcie a reziduurilor,
( ) d x F r
n n
, =
prin intermediul unor constante numite factori de stabilitate, unde
n
x este soluia calculat
numeric, aproximare a lui x, soluia problemei (1).

1.4. Surse de eroare n modelele de calcul numeric

Dac problema numeric (5) este o aproximare a problemei matematice (1) care, la
rndul ei este modelul unei probleme reale (fizice) PP, problema (5) este numit model de
calcul al problemei PP.
Eroarea global, e, este definit ca diferena dintre soluia calculat de modelul de
clacul (5),
n
x , i soluia problemei PP,
PP
x modelate prin problema (1) care are soluia x.
Eroarea global poate fi interptretat ca
c m
e e e + = , unde,
-
m
e , eroarea modelului matematic,
PP m
x x e =
-
c
e , eroarea modelului de calcul, x x e
n c
=
Similar, eroarea modelului de calcul este exprimat prin suma urmtoarelor valori,
-
a
e , eroarea indus de algoritmul numeric i erorile de calcul datorate
reprezentrilor numerelor reale n calculator (ca mulime finit de numere cun
un numr finit de zecimale)
-
n
e , eroarea determinat de procesul de transformare a problemei ntr-una
discret, x x e
n n
=
Situaiile desrise mai sus sunt sintetizate n figura 1.1.

PP:
PP
x

n
x


m
e
e
c
e
n
e
a
e
Figura 1.1
( ) 0 , = d x F

( ) 0 , =
n n n
d x F


n general, sursele erorilor sunt urmtoarele,
- erori datorate modelului, care pot fi corectate printr-o alegere potrivit a
modelului matematic;
- erori n date, care pot fi controlate prin creterea acurateii msurtorilor;
- erori de trunchiere, care provin din limitarea numrului de iteraii (etape) ale
algoritmului de calcul al unei soluii;
- erori de rotunjire, care sunt cauzate de faptul c n calculator pot fi reprezentate
doar un numr finit de numere reale i acestea au un numr finit de cifre
zecimale.


1.5. Reprezentarea numerelor n calculator. Erori de rotunjire

Orice operaie pe calculator este afectat de erori de rotunjire (rounding errors sau
roundoff), datorate faptului c din mulimea numerelor reale R, doar o mulime finit pot fi
reprezentate n calculator.
Reprezentarea numerelor reale (sistemul poziional)
Fie o baz, , , x cu un numr finit de cifre x
k
, , k=-m, , n
( ). Notaia convenional:
(8)
este numit reprezentarea poziional a lui x n raport cu baza , unde s este semnul iar
punctul dintre x
0
i x
-1
este punctul zecimal (dac este 10) sau punctul binar (dac este 2).
Reprezentarea (8) este echivalent cu
.

Exemplul 6.
- x
10
= 425.31
- x
6
= 425.31
Un numr raional poate avea un numr infinit de cifre n reprezentarea ntr-o baz i un
numr finit de cifre n reprezentarea ntr-o alt baz. De exemplu 1/3 n baza 10 este
reprezentat ca 0.(3) iar n baza 3 reprezentarea este 0.1.
Orice numr real poate fi aproximat prin numere cu reprezentare finit. Pentru
baz finit, este ndeplinit urmtoarea proprietate:
(9)
unde are un numr finit sau infinit de cifre.
Fie (cu numr finit sau infinit de cifre) i r ,
oarecare. Atunci numerele
i
au cte r cifre i snt astfel nct
i =
Dac r este astfel nct , atunci rezult (9) cu sau .

Reprezentarea numerelor reale n calculator n sistem flotant (virgul mobil)
Dac snt N poziii de memorie (bii) alocai reprezentrii unui numr n, atunci ei snt
repartizai astfel: unul pentru semn, N-k-1 pentru partea ntreag i k pentru partea fracionar.
, (10)
(sistem virgul fix). (10) este echivalent cu
(11)
Sistemul virgul fix limiteaz valorile minime i maxime care pot fi reprezentate, cu
excepia situaiilor n care N este foarte mare. Dezavantajul poate fi depit prin utilizarea unei
scale variabile pentru (11), obinnd astfel reprezentarea n sistemul flotant sau virgul mobil,
astfel:
(n general i
1
>
t
m |
obinndu-se forma normalizat),
unde:
- este numrul cifrelor semnificative ,
- este mantisa,
- este exponentul.
Fie e: (n general i ). Cele N poziii disponibile snt distribuite
astfel:
- 1 pentru semn
- t pentru mantis
- N-t-1 pentru exponent.
Pentru reprezentarea n simpl precizie se folosesc 32 bii iar pentru reprezentarea n
dubl precizie se folosesc 64 bii.

Fig. 1.2

Fie , . Evident, dac
=> .
n plus, , , .
.
Cel mai mic numr pozitiv din normalizat este . Cel
mai mare numr pozitiv din este (
.
Observaie. Pentru , 2 = |

Dac F nu e normalizat, atunci .

Exemplul 7. Setul conine, n reprezentarea normalizat, urmtoarele
numere pozitive:
e=2:



e=1:



e=0:



e=-1:




exponent mantis

exponent mantis
1 8 23
1 11 52
semn
semn
n varianta denormalizat snt adugate numere pentru e=-1 (de exemplu, pentru e=2,
, deci exist deja reprezentarea):




Observaii:
1. n mulimea numerele nu snt egal distanate, ele devenind mai dense ctre cel mai
mic numr care poate fi reprezentat.
2. Dac , consecutive, cea mai mic distan posibil este
iar cea mai mare este , unde este denumit epsilon calculat i desemneaz
distana ntre 1 i cel mai apropiat minor din F, deci este cel mai mic numr din F cu
proprietatea c .
3. Pe intervale de tipul numerele din F snt egal distanate de .
4. Spre deosebire de distana absolut dintre dou numere consecutive din F (dea descris la 2. i
3.), distana relativ are un comportament periodic i depinde de mantisa m.
Fie . Numrul urmtor se afl la distana , deci
distana relativ este .
n intervalul , descrete cu creterea lui x (n reprezentarea normalizat
mantisa variaz ntre i exclusiv). Cnd x devine distana relativ revine la
valoarea i rencepe descreterea. Fenomenul oscilatoriu este cu att mai pronunat cu ct
este mai mare. Este un motiv n plus pentru care este preferat mic.
Standardul folosit este IEC559:
- simpl precizie: ,
- dubl precizie:
cu includerea reprezentrii denormalizate
- format extins.

Rotunjirea numerelor reale n operaii pe F
Fie (parametrii snt fixai) reprezentarea numerelor reale n calculator.
Prima problem de ordin practic este reprezentarea n F a oricrui numr real (chiar dac
, nu rezult c , op fiind un operator binar). n consecin, este necesar
definirea unei aritmetici pe F. Cea mai simpl abordare este rotunjirea numerelor. Fie n
reprezentarea normalizat (12); x este substituit cu reprezentarea ,
, unde .
Evident, 1) dac =>
2) dac , cu => .
Observaii:
1. dac , fl(x) nu este definit; dac x este rezultatul unei operaii se
afl n situaia depirii de domeniu (overflow).
2. Dac , operaia de rotunjire poate fi definit; dac x este rezultatul unei
operaii pe F se afl n situaia de subdepire de domeniu (underflow).
3. Dac eroarea absolut i eroarea relativ rezultate prin
substituirea lui x cu fl(x) este stabilit prin urmtorul rezultat:
, cu ,
unde ( este precizia calculatorului sau unitatea roundoff).
Obinem:
- pentru eroarea relativ ,
- pentru eroarea absolut
( ) ( ) ( ) ( )
t t t t
t e
a a a a a a a a x fl x x E
~
.... .... . ....
2 1 2 1 2 1
s =
+ +

| . Dar
( ) ( )
1
2 1 2 1 2 1
2
~
.... .... . ....

+ +
s |
|
t t t t
a a a a a a a a ,
deci
.