Calcul Numeric

Cursul 3

2011-2012



Anca Ignat
1

Surse de erori n calculule numerice
1. Erori n datele de intrare:
- msurtori afectate de erori sistematice sau
perturbaii temporare,
- erori de rotunjire: 1/3 , t , 1/7,
2. Erori de rotunjire n timpul calculelor:
- datorate capacitii limitate de memorare a datelor,
- operaiile nu sunt efectuate exact.

2
3. Erori de trunchiere:
- limita unui ir , suma unei serii , funcii neliniare
aproximate de funcii liniare, aproximarea derivatei
unei funcii
4. Simplificri n modelul matematic
- idealizri , ignorarea unor parametri.
5. Erori umane i erori ale bibliotecilor folosite.


3
Eroare absolut , eroare relativ
a valoarea exact,
valoarea aproximativ.
Eroare absolut : a- sau |a - | sau a
a = D
a
, |a - | s D
a
Eroare relativ: a = 0 sau sau
a a a
a a

a

a
a
o

a
(
a
o se exprim de regul n %).
4
n aproximrile 1kg 5g, 50g5g erorile absolute sunt egale
dar pentru prima cantitate eroarea relativ este 0,5% iar
pentru a doua eroarea relativ este 10%.
( )
1 2
1 2
1 2 1 2
1 1 2 2
1 2 1 2
, ,
( )
.
a a
a a
a a a a
a a
a a
+
= A = A
= A A
A s A + A





a
1
cu eroare relativ
1
a
o i a
2
cu eroare relativ
2
a
o :
a = a
1
* a
2
sau
1
2
a
a
rezult
1 2
a a a
o o o = + .
5
Condiionare stabilitate
Condiionarea unei probleme caracterizeaz sensibilitatea
soluiei n raport cu perturbarea datelor de intrare, n ipoteza
unor calcule exacte (independent de algoritmul folosit pentru
rezolvarea problemei).
Fie x datele exacte de intrare, x

o aproximaie cunoscut a
acestora, P(x) soluia exact a problemei i ( ) P x

soluia
problemei cu x

ca date de intrare. Se presupune c s-au fcut

calcule exacte la obinerea soluiilor P(x) i ( ) P x

.
6
O problem se consider a fi prost condiionat dac P(x)
i ( ) P x

difer mult chiar dac eroarea relativ

|| ||
|| ||
x x
x

este
mic.
Condiionarea numeric a unei probleme este exprimat
prin amplificarea erorii relative:

7
|| ( ) ( ) ||
|| ( ) ||
( ) pentru 0 si ( ) 0
|| ||
|| ||
P x P x
P x
k x x P x
x x
x

= = =

O valoare mic pentru k(x) caracterizeaz o problem
bine-condiionat.
Condiionarea este o proprietate local (se evalueaz
pentru diverse date de intrare x). O problem este
bine-condiionat dac este bine-condiionat n orice punct.

8
Pentru rezolvarea unei probleme P, calculatorul execut un
algoritm P

. Deoarece se folosesc numere n virgul mobil,

calculele sunt afectate de erori:
( ) ( ) P x P x =


Stabilitatea numeric exprim mrimea erorilor numerice
introduse de algoritm, n ipoteza unor date de intrare exacte,
|| ( ) ( ) || P x P x

sau
|| ( ) ( ) ||
|| ( ) ||
P x P x
P x

.
9
O eroare relativ de ordinul erorii de rotunjire caracterizeaz
un algoritm numeric stabil.
Un algoritm numeric stabil aplicat unei probleme bine
condiionate conduce la rezultate cu precizie foarte bun.
Un algoritm P

destinat rezolvrii problemei P este numeric

stabil dac este ndeplinit una din condiiile:
1. ( ) ( ) P x P x ~

pentru orice intrare x;

10
2. exist x

apropiat de x, astfel ca ( ) ( ) P x P x ~

x = datele exacte,
P(x) = soluia exact folosind date exacte,
( ) P x

= soluia calculat folosind algoritmul P

cu date
exacte de intrare

11

Rezolvarea sistemelor liniare
Istoric
- 1900 .Cr. , Babilon - apar primele probleme legate de
ecuaii liniare simultane
- 300 .Cr. Babilon - tbli cu urmtoarea problem:Avem
dou cmpuri de arie total 1800 ha. Producia la hectar
pe primul cmp este de 2/3 buel (=36,3l) iar pe al doilea
este de 1/2 buel. Dac producia total este de 1100 bueli,
s se determine aria fiecrui teren n parte.
12
- 200-100 .Cr. China 9 capitole despre arta matematic
metod de rezolvare foarte asemnatoare eliminrii Gauss
(Avem 3 tipuri de gru. tim c 3 baloturi din primul tip, 2
baloturi din al doilea tip i 1 balot din al treilea tip cntresc 39
msuri. Deasemenea, 2 baloturi din primul tip, 3 baloturi din al
doilea tip i 1 balot din al treilea tip cntresc 34 msuri i 1
balot din primul tip, 2 baloturi din al doilea tip i 3 baloturi din
al treilea tip cntresc 26 msuri. Cte msuri cntrete un
balot din fiecare tip de gru)
13
- 1545, Cardan n Ars Magna, propune o regul (regula de
modo) pentru rezolvarea unui sistem de 2 ecuaii cu 2
necunoscute (seamn cu regula lui Cramer)
- 1683, Seki Kowa, Japonia - ideea de determinant-
Method of solving the dissimulated problems. Calculeaz
ceea ce astzi cunoatem sub numele de determinant,
determinanii matricilor 2x2, 3x3, 4x4, 5x5 n legtur cu
rezolvarea unor ecuaii dar nu a sistemelor de ecuaii.
14
- 1683, Leibniz ntr-o scrisoare ctre lHpital explic faptul
c sistemul de ecuaii:
10 11 12 0
20 21 22 0
30 31 32 0
x y
x y
x y
+ + =
+ + =
+ + =

are soluie deoarece :
10*21*32+11*22*30+12*20*31=10*22*31+11*20*32+12*21*30
(condiia ca determinantul matricii coeficienilor este 0).

15
Leibniz era convins c o notaie matematic bun este
cheia progresului i experimenteaz mai mult de 50 de
moduri diferite de a scrie coeficienii unui sistem de
ecuaii. Leibniz folosete termenul de rezultant n loc de
determinant i a demonstrat regula lui Cramer pentru
rezultani. tia c orice determinant poate fi dezvoltat n
raport cu o coloan operaia se numete azi dezvoltarea
Laplace.

16
- 1750, Cramer prezint o formul bazat pe determinani
pentru rezolvarea unui sistem de ecuaii liniare regula lui
Cramer Introduction in the analysis of algebraic curves
(d o regul general pentru sisteme n x n:
One finds the value of each unknown by forming n
fractions of which the common denominator has as
many terms as there are permutations of n things
- 1764 Bezout, 1771 Vandermonde, 1772 Laplace reguli de
calcul al determinanilor
17

- 1773 Lagrange prima utilizare implicit a matricilor n
legtur cu formele biliniare ce apar la optimizarea unei
funcii reale de 2 sau mai multe variabile (dorea s
caracterizeze punctele de maxim i minim a funciilor de
mai multe variabile)


18
- 1800-1801, Gauss introduce noiunea de determinant
(determin proprietile formei ptratice) Disquisitiones
arithmeticae(1801); descrie operaiile de nmulire
matricial i invers a unei matrici n contextul tabloului
coeficienilor unei forme ptratice. Gauss dezvolt
eliminarea Gaussian pe cnd studia orbita asteroidului
Pallas de unde obine un sistem liniar cu 6 ecuaii cu 6
necunoscute.
19
- 1812, Cauchy folosete termenul de determinant n sensul
cunoscut azi.
- 1826, Cauchy gsete valorile proprii i deduce rezultate
legate de diagonalizarea unei matrici. Introduce noiunea de
matrici asemenea i demonstreaz ca acestea au aceeai
ecuaie caracteristic. Demonstreaz c orice matrice real
simetric este diagonalizabil.

20
- 1850, Sylvester introduce pentru prima data termenul de
matrice (din latin, uter un loc unde ceva se formeaz
sau este produs, an oblong arrangement of terms)
- 1855, Cayley algebr matricial, prima definiie abstarct
a unei matrici. Studiaz transformrile liniare i compunerea
lor ceea ce l conduce la operaiile cu matrici (adunare,
nmulire, nmulirea cu un scalar, inversa)


21
- 1858, Cayley n Memoriu asupra teoriei matricilor : Sunt
multe lucruri de spus despre aceast teorie a matricilor i,
dup prerea mea, aceast teorie ar trebui s precead
teoria determinanilor
- Jordan (1870 Treatise on substitutions and algebraic
equations forma canonic Jordan), Frobenius (1878 On
linear substituions and bilinear forms, rangul unei matrici),
Peano
22
- 1890, Weierstrass On determinant theory, definiia
axiomatic a determinantului
- 1925, Heisenberg reinventeaz algebra matricial pentru
mecanica cuantic
- 1947, vonNeuman & Goldstine introduc numerele de
condiionare atunci cnd analizeaz erorile de rotunjire
- 1948, Turing introduce descompunerea LU a unei matrici
- 1958, Wilkinson dezvolt factorizarea QR
....
23
Evaluarea erorii n rezolvarea sistemelor liniare
(condiionarea sistemelor liniare)
Fie , ,
n n n n
A b x

e e e i sist. de ec. liniare:

Ax b =
1
nesingular det 0 sol. sist. A A x A b

= - =
Pentru erorile n datele de intrare facem notaiile:
- eroarea absolut pentru
n n
A A

A e ;
- eroarea absolut pentru
n
b b A e ;

24
n realitate se rezolv sistemul:
( )
A A x b b + A = + A
soluia fiind x

:
x x x = + A
n mod natural se ridic urmtoarele probleme :
1. dac A nesingular, ? A A = a.. A A + A s fie nesingular ?
2. Pp. A i A A + A nesingulare care sunt relaiile ntre
,
A b
A b
A A
i
x
x
A
?
25
1. Pp. A nesingular.
( )
( )
1
1
nesingular nesingular
n
n
A A A I A A
A A I A A

+ A + A
+ A + A
=

Propoziia 5
Fie A nesingular i
1
1
A
A

A < . Atunci I+A

-1
AA este
nesingular i avem:

26
( )
1
1
1
1
1
n
I A A
A A

+ A s
A

Demonstraie. Avem:
( )
Pr.4
1
1 1 1
1
1
1 A A A A A I A A
A

A < A s A < - + A


( )
1
1
1 1
1 1
1 1
I A A
A A A A

+ A s s
A A
.
Pp. c A este nesingular i
1
1
A
A

A < .
27
( )( ) ( ) ( )
( )
( )
( )
( )
( ) ( )
1
1 1 1
1
1 1
1
1
(1)
1
A A x x b b A A x Ax A x b b
A I A A x b A x x I A A A b A x
x I A A A b A x
A
x b
A
x x A A

+ A + A = + A + A A + + A = + A
+ A A = A A A = + A A A (

A s + A A + A
| | A A
s + A
|
A
\ .




Din Ax =b obinem
1 A
b A x
x b
s s i innd seam
de acest rezultat, din (1) deducem:
1
1
.
1
A A
x b A
x b A A A

| | A A A
s +
|
A
\ .

28

k(A) = ||A
-1
|| ||A|| numrul de condiionare al matricii A.
Propoziia 6
Dac matricea A este nesingular i
1
1
A
A

A < atunci:
( )
( )
1
k A x b A
A
x b A
k A
A
| | A A A
s +
|
A
\ .

.
Din I
n
=A A
-1
rezult
( )
1
1 .
n
I A A k A

= s =
k(A) > 1, A dar dep. de norma matricial natural utilizat.
29

O matrice A pentru care numrul de condiionare este mare se
numete matrice prost condiionat (k(A) mare).
Ax=b cu k(A) mare
x
x
A
poate fi mare chiar dac erorile
relative i
b A
b A
A A
sunt mici.


30
Fie A o matrice simetric
T
A A = , nesingular. Utiliznd
norma matricial subordonat normei vectoriale euclidiene:
( ) ( )
( )
2
2
1
2
2
T
A A A A
k A A A

= =
=




Matricea simetric A are valorile proprii reale
1 2
,
n


, ..., ,
A
2
are valorile proprii
2 2 2
1 2
,
n
, ...,
A
-1
are valorile proprii
1 2
1 1 1
, , ....,
n

.
31
( )
( )
1
1 2
1
1
.... i
n n
A A

s s s = =
( )
( )
1 1
2
2
1
1
,
T
n
A A A A A A

= = = = = ,
( )
1
2 2 2
1
|| || || ||
n
k A A A

= = numr de condiionare spectral.

32
A matrice ortogonal k
2
(A)=1
1 T T T
n
A A A A I A A

= = =
( )
( )
2
2
1
T T
A A A I A = = = =
( )
1
2
2 2
2 2
1,
T
k A A A A A

= = =
Matrice aproape singular dar cu numr de condiionare mic
100 100 99 99
1 1
2 2 2 2 2
diag [1, 0.1, 0.1, ..., 0.1] det 1 (0.1) 10
|| || 1 , || || 10 ( ) || || || || 10
A A
A A k A A A


= e = =
= = = =

33
Matrice foarte prost condiionat cu determinant nenul
(det A=1)
1 2 0 0
0 1 2 0
,
0 0 0 2
0 0 0 1
A
| |
|
|
= |
|
|
|
\ .

34
1 1
2 2
1
1 2 4 ( 2) ( 2)
0 1 2 ( 2) ( 2)
0 0 0 0 1
i n
i n
A

| |

|

|
=
|
|
\ .

1
1 1 1
1
1 1 100
1 1
|| || || || 3 ,
|| || || || 1 2 2 2 1
100 ( ) || || || || || || || || 3 (2 1)
det 1
n n
A A
A A
n k A A A A A
A

= =
= = + + + =
= = = =
=

35

2 2
, ( ) 4002
1.001 2 1.001 2.001
2 , 0 1 , 1
x y x y
k A
x y x y
x y x y
+ = + =

=

+ = + =

= = = =


400 201 200 401 201 200
, ( ) 4002
800 401 200 800 401 200
100 , 200 40000 , 79800
x y x y
k A
x y x y
x y x y
= =

=

+ = + =

= = = =


36

2
8
8
1.2969 0.8648 0.8642
2 , 2 ( ) 249730000
0.2161 0.1441 0.1440
0.9911, 0.4870 ,
0.8642 1.2969 0.8648 0.9911
10
0.1440 0.1441 0.1441 0.4870
10
x y
x y k A
x y
x y
r b Az

+ =

= = =

+ =

= =
| |
| | | | | |
= = =
|
| | |

\ . \ . \ .
\ .

Matricea Hilbert
1
2
, 1
0
1
( ) ,
1
n i j
ij i j ij
H h h x dx
i j
+
=
= = =
+
}

37
4( 1)
3.5
2
15
4
( 2 1)
( )
2
n
n
n
k H e
n t
+
+
~
n k
2
(H
n
) n k
2
(H
n
)
1 1 7
4.75310
8
2 19.281 8
1.52610
10
3
5.241 10
2
9
4.93210
11
4
1.55110
4
10
1.60210
13
5
4.76610
5
11
5.22010
14
6
1.49510
7
12
1.67810
16

| |
1
2
( 1) ( 1)! ( 1)!
( )
( 1)
( 1)!( 1)! ( )!( )!
i j
ij ij
n i n j
H g g
i j
i j n i n j
+

+ +
= =
+


38
Metode numerice de rezolvarea sistemelor liniare
Fie matricea nesingular
n n
A

e i
n
be . Rezolvarea
sistemului de ecuaii liniare Ax=b se poate face folosind
regula lui Cramer:
det ( )
, 1, ,
det
i
i
A b
x i n
A
= = ,
n care A
i
(b) se obine din matricea A prin nlocuirea coloanei
i cu vectorul b.
Algoritmul dat de regula lui Cramer este foarte costisitor din
punct de vedere al resurselor i instabil numeric.
39
Din aceste motive s-au cutat alte metode de aproximare a
soluiei x. Unul din cele mai folosii algoritmi este
algoritmul de eliminare Gauss :
Ax=b cu Ax b A =

matrice superior triunghiular

1 1
(not m ) x A b A b Ax b Ax b

= = = =