Documente Academic
Documente Profesional
Documente Cultură
1 Formularea problemei 83
Capitolul 3
REZOLVAREA SISTEMELOR DE ECUAŢII
ALGEBRICE LINIARE ÎN SENSUL CELOR MAI
MICI PĂTRATE
nr. experiment u1 up y
1 a11 a1p b1
84 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
m am1 amp bm
Definiţii:
Matricea A mn se spune că are coloanele liniar independente sau că
este monică, dacă vectorii colană ai săi sunt liniar independenţi:
n
j a j 0m j 0, j 1, , n .
j1
Definiţie:
Sistemul de ecuaţii algebrice liniare:
AT A x AT b
( REZOLVAREA
SISTEMELOR DE ECUAŢII ALGEBRICE LINIARE ÎN SENSUL CELOR
MAI MICI PĂTRATE.0)
88 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
r
bx
A * *
r
bx
A Im(
A
)
yAx * *
yx
A
I
m (
A )
3.1 Formularea problemei 89
Fig. 3.1. Interpretarea geometrică a soluţiei în sensul celor mai mici pătrate
(lema proiecţiei ortogonale)
ceea ce implică:
x n1 .
T *
x A T (b A x ) 0,
De aici rezultă:
*
(A T A) x A T b ,
*
ceea ce pune în evidenţă existenţa soluţiei în sensul celor mai mici pătrate, x
.
Observaţie:
Conform celor prezentate în capitolul 2, pentru sistemul determinat de
ecuaţii normale ( REZOLVAREA SISTEMELOR DE ECUAŢII ALGEBRICE
LINIARE ÎN SENSUL CELOR MAI MICI PĂTRATE.0), pseudosoluţia x *
este unic determinată dacă matricea acestui sistem, A T A , este inversabilă.
Această condiţie este îndeplinită dacă matricea A T A este pozitiv definită.
În practică, însă, nu se recomandă rezolvarea sistemului de ecuaţii normale
( REZOLVAREA SISTEMELOR DE ECUAŢII ALGEBRICE LINIARE ÎN
SENSUL CELOR MAI MICI PĂTRATE.0) deoarece matricea A T A , deşi
teoretic este pozitiv definită, prin calcul, datorită erorilor de rotunjire, ea poate
deveni pozitiv semidefinită, deci neinversabilă. Astfel, în general, matricea
A T A este prost condiţionată deoarece calculul său este afectat de erori de
rotunjire deseori cu caracter catastrofal.
Exemplul 3.2:
Fie o matrice A de forma:
1 1
A 1 1 , cu 2 m , fl(1 m ) 1 , fl(1 2 ) 1 .
1 1
90 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
Definiţie:
Fie o matrice Q mm . Matricea Q se numeşte ortogonală dacă este
îndeplinită una din relaţiile:
Q T Q I m sau Q T Q 1 .
k k u k , k , k k .
Funcţia semn, sign(.), este folosită pentru a evita fenomenul de neutralizare a
termenilor la sinteza termenului u k , k .
m
Dacă k i 0 , aceasta este echivalentă cu i 0, i k ,..., m ,
2 2
ik
de unde rezultă că k 0 , u k 0 m , k 0 , ceea ce înseamnă că
transformarea U k nu există.
Se enunţă, în continuare, următoarea proprietate.
3.1 Formularea problemei 93
j, k j
m u
în care .
j k k
În particular, dacă vectorul este de forma
m1
cu j 1,..., k 1 , atunci:
T
[ j] [1 j 0 0]
U k [ j] [ j] ,
d 2
Rezultă:
0 n 0 n
r U U1 U 2 U n
* T
d 2 d 2
unde 1 1
T
reprezintă pseudosoluţia exactă a sistemului.
Propoziţie:
Pentru orice matrice A mn , m n , există o matrice ortogonală
Q mm şi o matrice nn , numită matrice generală de permutare de
coloane, astfel încât:
A QR ,
unde matricea R are structura:
R1
a) dacă rang( A) n , atunci R , unde R 1 nn este superior
0 ( m n )n
triunghiulară, cu elementele de pe diagonala principală ordonate descrescător
în modul:
| 11 || 22 | | nn | 0 ;
3.1 Formularea problemei 99
R 11 R 12
b) dacă rang (A ) r n atunci R , unde
0 ( m r )r 0 ( m r )( n r )
rr
R 11 este superior triunghiulară, nesingulară şi cu elementele de pe
diagonala principală ordonate descrescător în modul, iar R 12 r( n r ) .
Observaţie:
Este posibil ca, datorită erorilor de rotunjire, elementele ii , i r 1,..., n
să nu rezulte nule ci foarte mici. Practic, pentru corectarea eventualelor erori de
rotunjire, se aplică următoarea procedură:
1. se calculează o mărime:
tol max{m, n} m | 11 | ;
2. se determină rangul efectiv r ca fiind egal cu numărul de elemente de pe
diagonala principală care satisfac la relaţia:
| ii | tol, i 1,..., r ;
3. restul de valori ii , i r 1,..., n se setează forţat pe zero.
În acest fel, se corectează eventualele erori de rotunjire.
Matricea Q este un produs de matrice ortogonale Householder, iar matricea
este un produs de matrice de permutare de coloane. Deoarece matricele de
permutare sunt matrice ortogonale, rezultă că şi matricea este ortogonală.
Demonstraţia propoziţiei mai sus menţionată este constructivă. Se presupune că
pasul k {1,..., n} este fixat. În cei k 1 paşi anteriori s-a produs
triangularizarea ortogonală în primele k 1 coloane, asupra matricei A
aplicându-se transformările:
U k 1 U 1 A 1 k 1 R [ k ] ,
m m
unde U j , j 1,..., k 1 sunt reflectori Householder, iar j nn
, j 1,..., k 1 sunt matrice de permutare de coloane. R [ k ] este o matrice de
forma:
R 11[k ] [k]
R 12
R [k ] ,
0 R [22k ]
( m k 1)( k 1)
[k ]
în care R 11 ( k 1)( k 1) şi este superior triunghiulară, nesingulară, iar
celelalte matrice au dimensiunile [k ]
R 12 ( k 1)( n k 1) ,
R [22k ] ( m k 1)( n k 1) , R [22
k]
fiind scrisă pe coloane astfel:
100 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
R [22k ] z k [k ] [k ]
z k 1 zj
[k ]
zn ,
[k]
z j ( m k 1)1 , j k,..., n .
[k ]
Observaţie:
*
Vectorul y reprezintă pseudosoluţia x * din relaţia ( REZOLVAREA
SISTEMELOR DE ECUAŢII ALGEBRICE LINIARE ÎN SENSUL CELOR
MAI MICI PĂTRATE.0), cu deosebirea că liniile acesteia sunt permutate, în
absenţa erorilor de rotunjire. Teoretic, în această ultimă ipoteză, pseudosoluţia
x
*
dată de relaţia ( REZOLVAREA SISTEMELOR DE ECUAŢII
ALGEBRICE LINIARE ÎN SENSUL CELOR MAI MICI PĂTRATE.0) va
coincide cu pseudosoluţia ( REZOLVAREA SISTEMELOR DE ECUAŢII
ALGEBRICE LINIARE ÎN SENSUL CELOR MAI MICI PĂTRATE.0). În
practică, însă, intervin corecţii de tipul celor implicate la triangularizarea
ortogonală cu permutare de coloane, aşa cum s-a prezentat anterior.
104 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
* 2
z mimn1{| z| 2}.
z
Czd
Caracterizarea problemei este realizată prin următoarele.
Definiţie:
Matricea C nm , n m , se spune că are liniile liniar independente sau
că este epică dacă matricea A C T mn , m n , are coloanele liniar
independente (este monică).
Propoziţie:
Pentru orice matrice C nm , n m , următoarele afirmaţii sunt
echivalente:
i.) C este epică;
ii.) rang(C) n , adică matricea C este de rang complet pe linii;
iii.) Im(C) {w n1 / w C z, z m1 } n1 ;
iv.) C C T este matrice pozitiv definită, deci nesingulară.
În cele ce urmează se enunţă următorul rezultat referitor la pseudosoluţia
normală.
Teoremă de existenţă şi unicitate:
3.1 Formularea problemei 105
teoretic egală cu C C T (C C T ) 1 .
Problema rezolvării unui sistem subdeterminat, cu matrice de rang complet
pe linii, este duală problemei rezolvării unui sistem supradeterminat, cu matrice
de rang complet pe coloane. Dualitatea constă în faptul că prin corespondenţa
A C T , respectiv C A T , condiţiile de rezolvabilitate a celor două tipuri de
sisteme coincid.
În practică se realizează triangularizarea ortogonală pe linii a matricei C şi
anume se înmulţeşte matricea C, la dreapta, cu o matrice ortogonală
V mm , astfel încât:
C V L , ( REZOLVAREA SISTEMELOR
DE ECUAŢII ALGEBRICE LINIARE ÎN SENSUL CELOR MAI MICI
PĂTRATE.0)
unde L este o matrice de forma: L [ L1 0 n( m n ) ] cu L1 nn
inferior triunghiulară, nesingulară.
Algoritmul triangularizării ortogonale pe linii este următorul:
atribuie C1 C
pentru k 1, n execută
* determină matrice ortogonală Vk , astfel ca:
(C k Vk ) k , j 0, j k 1,..., m
atribuie C k 1 C k Vk
Considerând vectorul [1 k 1 k k 1 m ] ca fiind
linia k a matricei C k C V1 Vk 1 şi matricea ortogonală Vk definită
prin:
T
v v 1
Vk I m k k , k || v k || 22 ,
k 2
unde v k m1 este un vector Householder sintetizat după regulile generale,
dar pe baza vectorului linie , atunci:
m
Vk [1 k 1 k 0 0], 2k 2k 2j 0 .
j k
106 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
scrie ‘a = ’, a
atribuie flag 0
atribuie i 1
cât timp ( (i <= n) şi (flag = 0) ) execută
dacă ( abs ( a(i,i) ) < EPS ) atunci
atribuie flag 1
atribuie i i + 1
dacă ( flag = 1 ) atunci
scrie ‘matrice deficientă de rang’
atribuie rang rank (a)
scrie ‘rang (a) = ’, rang
5. Alocare spaţiu de memorie pentru termenul liber al sistemului, în
variabila b, prin iniţializarea acesteia cu un vector coloană nul, cu
m componente. Introducerea elementelor termenului liber se
realizează pe linii. Reluare introducere, în caz de eroare. Salvarea
valorilor din vectorul b, în vectorul de lucru bb:
atribuie bb b
6. Transformare ortogonală termen liber sistem:
pentru k = 1,n execută
atribuie sum u(k:m,k)’ * b(k:m)
atribuie taub sum / beta(k)
atribuie b(k:m) b(k:m) – taub * u(k:m,k)
scrie ‘b = ’, b
7. Calcul soluţie sistem prin substituţie înapoi:
atribuie x zeros (n,1)
atribuie x(n) b(n) / a(n,n)
pentru i = n-1,(pas = -1),1 execută
atribuie sum a(i,i+1:n) * x(i+1:n)
atribuie x(i) ( b(i) – sum ) / a(i,i)
8. Calcul reziduu asociat soluţiei x:
110 3. Rezolvarea sistemelor de ecuaţii algebrice liniare în sensul celor
mai mici pătrate
II. m = 5; n = 3;
1 6 11 4
2 7 12 5
a 3 8 13, b 5 .
4 9 14 5
5 10 15 5
Exemple numerice:
y( x ) k 1 e k 2 x , k 1 , k 2 ? . ( REZOLVAREA
SISTEMELOR DE ECUAŢII ALGEBRICE LINIARE ÎN SENSUL CELOR
MAI MICI PĂTRATE.0)
care aproximează, în sensul CMMP, şirul de date experimentale:
( x i , y i ) i 1,...,m ; y i y( x i ) .
Folosind faptul că ln( y( x )) ln(k 1 ) k 2 x , programele vor fi
adaptate pentru a sintetiza matricea A şi termenul liber b pentru un
sistem supradeterminat de ecuaţii algebrice liniare, de dimensiune
mn2, vectorul necunoscutelor fiind:
T T
x [ x 1 x 2 ] [ln(k 1 ) k 2 ] . Pe baza soluţiei calculate, x , se vor
calcula, apoi, necunoscutele k 1 şi k 2 .
Exemple numerice:
I.
xi yi
3.1 Formularea problemei 113
77 2.4
100 3.4
185 7.0
239 11.1
285 19.6
II.
xi yi
94 10
118 16
147 25
180 40
230 60
Să se extindă programul realizat prin includerea reprezentării grafice, în
acelaşi ecran, a următoarelor: perechile de date de intrare
( x i , y i ) i 1,..., m reprezentate prin cercuri şi perechile de date rezultate în
urma identificării coeficienţilor funcţiei: ( x i , y( x i )) i 1,..., m ,
reprezentate prin linie continuă, unde valorile y( x i ), i 1,..., m se
obţin prin evaluarea relaţiei (3.37) în punctele x i precizate în cadrul
exemplelor numerice.