Tài liệu CHƯƠNG 2: MA TRẬN - Pdf 99


58
CHƯƠNG 2: MA TRẬN

§1.MỘTSỐKHÁINIỆM
 (Matrận[A]gọilà đối x ứngnếu[A]
T
=[A]
(Chomộtmatrậnvuông[A],cấpn.Tanóimatrận[A]khôngsuybiến
(nonsingular)nếumatrậncóthểnghịchđảođượchaynóicáchkhác,định
thứccủamatrậnkhác
không.
 (Ma trận Hermitelàmột ma trận vuông  cócácphần tử là  s ố phức
bằngchuyểnvịliênhợpcủanó,nghĩalàphầntửởhàngicộtjbằngsốphức
liên
hợp của phân tử ở hàng j cột i
T
AA



⎡⎤
=
⎣⎦


. Ví dụ ma trận
[]
32j
A
2j 1

⎡⎤
=
⎣⎦

⎦⎣⎦
.Vídụma
trận
[]
1j 1j
22
U
1j 1j
22
+−+
⎡⎤
⎢⎥
=
⎢⎥
+−
⎢⎥
⎢⎥
⎣⎦
làmatrậnunita
(Mộtmatrậnchỉcómộtcộtgọilàmộtvectơ

(ChuẩncủamộtvectơX,kíhiệulà X ,làmộtsốthựcthoảmãn:
‐
X >0
‐
cX c X= 

Xx
=
=



(Chuẩncủamộtmatrận[A],kíhiệulà A,làmộtsốthựcthoảmãn:
‐
A >0
‐
cA c A= 
‐
AB A B+≤ + 
‐
AB A B


Tathườngdùngmộttrong3chuẩnsauđây:
‐
n
i,j
1
i
j1
Amaxa
=
=


‐

[][ ][]
T
xAx 0≥ 
Tađịnhnghĩamatrậnxácđịnhâmvànửaxácđịnhâmmộtcáchtương
tự.
(Hạngcủamatrậnlàcấpcủamatrậnconcủamatrậnấycóđịnhthức
khác không còn mọi ma trận con cấp cao hơnđều cóđịnh thưc bằng
không(matrậnconlàmatrậncóđược
bằngcáchxoámộtsốhàngvàcộtcủa
matrậnbanđầu).

§2.BIẾNĐỔIHOUSEHOLDER
1. Ma trận Householder
: Ta bi ếnđổi ma trận [A] về dạng có các phần tử
thuộcđường chéo chính, các phần tử phía trên và phía dướiđường chéo
chínhkháczero,còncácphầntửcònlạibằngzero(matrậnba
đườngchéo)
bằngcáchdùngphépbiếnđổiHouseholder.
 PhépbiếnđổiHouseholderdùngmatrậnHouseholder.

[][]
[][]
=−
T
UU
HE
Q
(1)

60

[][][]
(
)
[]
=− +
TT
T
2
UUU U
UU
E2
QQ


[]
[][]
[
]
()
[
]
[]
=− + =
T
T
2
U2QU
UU
E2 E
QQ

+
⎛⎞
⎪⎪
=− =−
⎨⎬
⎜⎟
⎝⎠
⎪⎪
⎩⎭
T
T
1
UX kI
UU
HX E X E X
QQ



[]
[][][]
[]
[]
(
)
[]
[]
[]
()
+

2
TT
T
2
11 1111
2Q X k I X k I X k X I I X k I I 

=+ += +
222
11
k 2 kx k 2( k kx )

Nhưvậy:

[][][][]
[]
=−=− =−




L
T
1
HX X U kI k 0 0 0
(4)
nghĩalàphépbiếnđổiloạitrừtấtcảcácphầntửcủa[X]trừphầntửđầutiên.
2.BiếnđổiHouseholdermộtmatrậnđốixứng: Bây giờ ta ápdụng phép
biếnđổichomatrận[A]đốixứng:



61
Trongđó[X]làcộtđầutiêncủa[A]vớiphầntửđầutiênbịbỏđi.[A’]cóđược
từ[A]bằngcáchbỏđicộtvàhàngđầutiên.Matrận[H]cấp(n‐1)đượcxây
dựngtheocác
côngthức(1)÷(3).Do(4)tathấyphépbiếnđổinàylàmcột
đầutiêncủa[A]trởthành:

[][]
⎡⎤
⎢⎥

⎢⎥
⎡⎤
⎢⎥
=
⎢⎥
⎢⎥
⎣⎦
⎢⎥
⎢⎥
⎣⎦
M
11
11
a
k
a
0
HH






Hàngvà cộtthứ2củamatrận[A]đượcbiếnđổitiếpbằngcáchdùngphép
biếnđổiđốivớiphầnbênphải,phíadướicủamatrận.Phépbiếnđổinàycó

thểbiểudiễnbằng
[]
[]
[]
[
]

22
PAP A,trongđó:

[]
[]
[]
[] [ ]
⎡⎤
=
⎢⎥
⎣⎦
T
2
2
E0

a11 a12 a13 a14
a21
a31
a41
[A’]
1 0 0 0
0
0
0
[Q]
×

=
a11 ‐k 0 0
‐k
0
0
[Q][A’]
[Q]

62

[]
[]
[]
[]
[][]
[]
[
]

[]
[]
[] []
[][]
[]
[][]
()
⎛⎞
′′
=− −
⎜⎟
⎝⎠
T
T
UU
HA H E A VU
Q

 
[]
[][]
[
]
[
]
[]
[][]
()
′′
=− − −

[
]
[
]
[
]
[
]
[
]

=−−+
TT T
AVU UV2gUU

Trongđó:

[][]
=
T
UV
g
2Q
(9)
Đặt:[W]=[V]‐g[U](10)
Tathấyngayphépbiếnđổicódạng:

[]
[]
[]

X nếux1>0vàk=‐
[
]
X nếux1<0
‐Cho

=+
⎡⎤
⎡⎤
⎣⎦
⎣⎦
L
T
12 ni
Ukxx x
‐Tính
[]
=
2
U
Q
2

‐Tính
[]
[]
[]

=
AU

aa k
Taxâydựnghàm
housetrans()đểthựchiệnthuậttoántrên:

functionA=housetrans(A)
%BiendoiHouseholdermatranAthanhmatran
%bađườngchéodang[c\d\c].
%Decocvaddungd=diag(A),c=diag(A,1).
n=size(A,1);
fork=1:n‐2
u=A(k+1:n,k);
uMag=sqrt(dot(u,u));

ifu(1)<0;
uMag=‐uMag;
end
u(1)=u(1)+uMag;
A(k+1:n,k)=u;%LuuuvaophanduoicuaA.
H=dot(u,u)/2;
v=A(k+1:n,k+1:n)*u/H;
g=dot(u,v)/(2*H);
v=v‐g*u;
A(k+1:n,k+1:n)=A(k+1:n,k+1:n)‐v*uʹ‐
u*vʹ;
A(k,k+1)=‐uMag;
end
k=zeros(n);
fori=1:n
k(i,i)=A(i,i);
end

nn
aaa a
aaa a
0a a a
H
000 a
⎡⎤
⎢⎥
⎢⎥
⎢⎥
=
⎢⎥
⎢⎥
⎢⎥
⎣⎦
L
L
L
MMML M
L

TathựchiệnphépbiếnđổiHouseholdertrênmatrận[A]vàcóđược:
 [Q][H][Q’]=[A]
trongđó[Q]làmatrậntrựcgiao(tagọiđâylàphântíchHessenbergmatrận
[A]).
Thuậttoáncóthểtóm
lạinhưsau:
‐Cho[Q]làmatrậnđơnvịcấpn
‐Đặt
+

β=
2
U
2

‐Tính
[] []
[]
[]

=−
β
UU
PE 

65
‐Tính
[]
[][]
=QQP
‐Tính
[
]
[][ ][]
=APAP
Taxâydựnghàm
hessenberg()đểthựchiệnphépphântíchtrên:

function[H,Q]=hessenberg(a)
[n,n]=size(a);

66
Mộtmatrậnkhôngsuybiến[A]gọilàphântíchđượcthànhtíchhaima
trận[L]và[R]nếu:
 [A]=[L][R]
Việcphântíchnày,nếutồntại,làkhôngduynhất.
Nếuma
trận[L]cócácphầntửnằmtrênđườngchéochínhbằng1,tacó
phépphântíchDoolittle.
Nếumatrận[R]cócácphầntửnằmtrênđườngchéochínhb ằng1,ta
cóphépphântíchCrout.
Nếu
[R]=[L]
T
(hay[L]=[R]
T
)tacóphépphântíchCholeski.

Vớimatrậnbậc3,[L]và[R]códạng:
[] []
11 12 13
21 22 23
31 32 33
100 rrr
Ll 10 R0rr
ll1 00r
⎡⎤ ⎡ ⎤
⎢⎥ ⎢ ⎥
==
⎢⎥ ⎢ ⎥
⎢⎥ ⎢ ⎥

22 32 23 32 33
rr r
A0r r
0rl rl r
⎡⎤
⎢⎥
=
⎢⎥
⎢⎥
+
⎣⎦

Sauđótalấyhàngthứhailàmtrụvàthựchiệnbiếnđổi:
 hàng3‐l32
×hàng2(khửa32)→hàng3
vàcó:

[]
11 12 13
22223
33
rrr
A0rr
00r
⎡⎤
⎢⎥
=
⎢⎥
⎢⎥
⎣⎦

l(i,i)=A(i,i);
end

§5.PHÂNTÍCHMATRẬNTHEOPHƯƠNGPHÁPCROUT
TươngtựnhưthuậttoánDoolittle,tacóthểphântíchmatrận[A]theo
thuậttoánCroutthànhtíchcủamatrận[L]và[R].Cácmatrậnbậc3theo
Croutcódạng:
 
[] []
11 12 13
21 22 23
31 32 33
l00 1rr
Lll 0 R01r
lll 001
⎡⎤ ⎡⎤
⎢⎥ ⎢⎥
==
⎢⎥ ⎢⎥
⎢⎥ ⎢⎥
⎣⎦ ⎣⎦

Đểtìml
ijvàrijtathựchiệnphépnhân.Saukhinhântacó:

68
[]
11 11 12 11 13
21 21 12 22 21 13 22 23
31 31 12 32 31 13 32 23 33

j1=aj1/r11(j=1tớin)
 vớii=2tớin


=
−=
1i
1k
kjik
ijij
rlar (j=itớin)

ii
1i
1k
kijk
ji
ji
r
rla
l


=

= (j=itớin)
Taxâydựnghàm
crout()đểphântíchmatrậntheothuậttoánCrout:

function[l,r]=crout(a)

11 12 13 11 11 21 31
21 22 23 21 22 22 32
31 32 33 31 32 33 33
aaa l 00lll
aaa ll 00ll
aaa lll 00l
⎡⎤⎡⎤⎡⎤
⎢⎥⎢⎥⎢⎥
=
⎢⎥⎢⎥⎢⎥
⎢⎥⎢⎥⎢⎥
⎣⎦⎣⎦⎣⎦

Saukhithựchiệnphépnhântacó:

2
11 12 13 11 11 21 11 31
22
21 22 23 11 21 21 22 21 31 22 32
222
31 32 33 11 31 21 31 22 32 31 32 33
a a a l ll ll
aaa llll llll
aaa lllllllll
⎡⎤
⎡⎤
⎢⎥
⎢⎥
=+ +
⎢⎥


j
ij ik jk
k1
a l l i j,j 1, ,n j 1,2, ,n
=
==+=


Domatrận[L]làmatrậntamgiáctráinênđốivớicộtthứnhấttacó:

11 11 i1 i1 11
la la/l==
Đốivớicộtkhác,rútl
ijrakhỏitổngtacó:

70

j
1
ij ik jk ij jj
k1
allll

=
=+


Nếui=j(phầntửtrênđườngchéo)thì:


functionL=choleski(A)
%PhantichmatranathanhA=LL’.
%Cuphap:L=choleski(A)
f=posdef(A);
iff==0
error(ʹMatrankhongxacdinhduong!ʹ);
return
end
n=size(A,1);
forj=1:n
temp=A(j,j)‐
dot(A(j,1:j‐1),A(j,1:j‐1));
iftemp<0.0
error(ʹMatrankhongxacdinhduongʹ)
end
A(j,j)=sqrt(temp);
fori=j+1:n
A(i,j)=(A(i,j)‐dot(A(i,1:j‐1),A(j,1:j‐1)))/A(j,j);
end
end
L=tril(A);

functionf=posdef(M)
%Kiemtralieu
matranMcoxacdinhduonghaykong
isposdef=true;

71
fori=1:length(M)
if(det(M(1:i,1:i))<=0)

[][ ][ ]
[][][]

−−
−− − −
−−
= ⋅⋅⋅ = ⋅⋅⋅
= ⋅⋅⋅ =
1
11
n1 n2 1 1 n2 n1
1n2n1
AHH H RH H HR
HHHRQR
 (2)
TíchcủatấtcảcácmatrậnHouseholder:

[]
[][ ][ ]
−−
= L
1n2n1
QH H H(3)
khôngnhữngđốixứngmàcòntrựcgiaonhưmỗimatrận[H
k]:

[][]
[][ ][ ]
(
)


Hàm
householder()dùngđểtạoramatrậnHouseholder:

functionH=householder(x,k)
%TaomatranHouseholder
n=length(x);
tmp=sum(x(k+1:n).^2);
g=sqrt(x(k)^2+tmp);
c=sqrt((x(k)+g)^2+tmp);
u=zeros(n,1);
u(k)=(x(k)+g)/c;
u(k+1:n)=x(k+1:n)/c;
H=eye(n)‐2*u*uʹ;%matran
Householder

Đểphântíchmatrậntadùngchươngtrình
ctqrdecom.m:

clearall,clc
a=[413‐2;1‐241;3412;‐2123];
[q,r]=qrdecom(a)

§8.PHÂNTÍCHQRBẰNGTHUẬTTOÁNQUAYGIVENS
KỹthuậtquayGivenslàmộtphươngphápđểphântích ma trận [A]
thànhtíchcủamatrận[Q]vàmatrận[R]bằngcáchlàmchocácphầntửlần
lượtbằngzerochođếnkhicó được
ma trậntamgiácphải.Ýtưởnglàdùng
mộtmatrậnquayđơngiản2×2đặtdọctheođườngchéochínhcủamộtma
trậnđơnvịvàlàmchomộtphầntửcủa

thìmatrậnquayđểthựchiệnphépquaynàytheochiềukimđồnghồmộtgóc
θlà:

[]
θ
θθ
⎡⎤
=
⎢⎥
−θ θ
⎣⎦
cos sin
Q
sin cos

Trongđó:
θ= =
+
1
22
12
x
cos c
xx

θ= =
+
2
22
12



+
⎡⎤⎡ ⎤
+
⎢⎥
===
+


⎢⎥⎢ ⎥
⎢⎥
−+
⎣⎦⎣ ⎦




⎢⎥
⎣⎦
22
12
22
112
22
12
12
212
xx
xcxsx






δ
≠≠




==



==



==






==




gg 
vàđòihỏi:
 c
2
+s
2
=1
Điềunàyđúngvìcos
2
θ+sin
2
θ=1∀θ.Khimatrậnnàyđượcápdụngchoma
trậnm×ntacó:


δ= ≠



== =+=



=
−+ =



∑∑


a
c
aa

Nhưvậytasẽcó:

−+
==
+
jr ir ir jr
jr
22
jr ir
aa ab
b
0
aa

Taxâydựnghàm
givens()đểthựchiệnthuậttoántrên:

function[Q,R]=givens(A);
%PhantichQRbangthuattoanquayGivens
n=size(A,1);
Q=eye(n);
forj=1:n‐1
fori=n:‐1:j+1
z=1/sqrt(A(i‐1,j)^2+A(i,j)^2);
c=A(i‐1,j)*z;
s=A(i,j)*z;


21 1
vyba=−

vớibđượcchọnsaochov
1trựcgiaovớiv2:

12 1 2 1 12 11
vv v(a bv) va bvv 0=−=− =
hay:

12
11
va
b
vv
= 
Tiếptụcquátrìnhđếnbướcthứktacó:

k1
ik
kk i
ii
i1
va
va v
vv

=
=−

vàr
kkđượcchọnsaocho
k
q1
=
,nghĩalà:

76

kkik
za qr=− 

kk
rz= 
Taxâydựnghàm
qrgramschmidt()đểthựchiệnthuậttoántrên:
function[Q,R]=qrgramschmidt(A);
%PhantichmtbangthuattoanGram‐Schmidt
[m,n]=size(A);
R(1,1)=norm(A(:,1));
Q(:,1)=A(:,1)/R(1,1);
fork=2:n
 R(1:k‐1,k)=Q(1:m,1:k‐1)ʹ*A(1:m,k);
 z=A(1:m,k)‐Q(1:m,1:k‐1)*R(1:k‐1,k);
 R(k,k)=
norm(z);
 Q(1:m,k)=z/R(k,k);
end

Để phân tích một ma trận ta dùng chương trình chương trình

§11.PHÂNTÍCHLQ

Chomatrận[A]
T
,tacóthểphântíchQRmatrậnnàythành:
 [A]
T
=[Q1][R1]
 Do([Q][R])
T
=[R1]
T
[Q1]
T
nên:
 ([A]
T
)
T
=[A]=[L][Q]
vàtanhậnđượcphântíchLQcủama trận[A].Taxâydựnghàm
lqdecom()
đểthựchiệnthuậttoánnày:

function[Q,L]=lqdecom(A)
A=Aʹ;
[Q,L]=qrdecom(A);
L=Lʹ;
Q=Qʹ;


2.DạngJordan:Khikhôngthểtìmđượcngiátrịriêngphânbiệt,nghĩalàma
trận[A]khôngcónvectơriêngđộclậptuyếntínhthìmatrận[A]khôngthể
đườngchéohoá.Tuynhiên,nếucóphépbiếnđổ
iđồngdạng[M]biếnđổi[A]
thành[J]:
 [A]=[M][J][M]
‐1
Trongđó[J]làmatrậngầnđườngchéo:
 [J]=diag(J
1, ,Jn)

[]
i
i
i
i
i
i
10 0
01
J
1
0
λ
⎡⎤
⎢⎥
λ
⎢⎥
λ
⎢⎥

GM(λ
i)=pi,AM(λi)=mithìtacầntìmmi‐pivectơđộclậptuyếntínhđểkết
hợpvớigiátrịriêngnày.Cácvectơnàyđượctạotừcácvectơriêngvàđược
gọilàvectơriêngtổngquáthoácủa[A].Gọiλlàgiá
trịriêng và[x]làvectơ
riêngtươngứng.k‐1vectơriêngtổngquáthoá{[x
1], ,[xk]}đượctạoranhư
sau:

[]
[] []
11
Ax x=λ 

[]
[] [][]
221
Ax x x=λ +
M


[]
[] [][ ]
kkk1
Ax x x

=λ + 
{[x
1], ,[xk]} tạo thànhchuỗi các vec tơ cóvec tơ [x1]đứngđầu.Chuỗinày
tươngứngvớikhốiJordanđơn.

λ


L
M
MOOO
KK
LL
LL

Xuấtpháttừvectơtổngquáthoábậckcủa[A]ứngvớiλ,kíhiệulà[x
k]tacó:
 [x
k]
 [x
k‐1]=([A]‐λ[E])[xk]
M
 [xi]=([A]‐λ[E])
k‐i
[xk]
 M
 [x1]=([A]‐λ[E])
k‐1
[xk]
Chúýlà[x1]làmộtvectơriêngcủa[A]vì:
([A]‐λ[x1])=([A]‐λ[E])([A]‐λ[E])
k‐1
[xk]
Đểphântíchmatrận[A]tadùngthuậttoánFilipovgồmcácbướcsau:
‐Giảsửrằngkíchthướckhônggiancộtcủamatrận[A]làr<n.Phảicó

error(ʹMatranAphailamatranvuong!ʹ)
end
n=r;
ifn==1
J=a;
M=1;
return
end
ifn<1
J=[];
M=[];
return
end
[m,d]=eig(hess(a));
d=sort(diag(d));
tiny=norm(a)*eps;
%lamcacgiatribangzero
p=find(abs(d)<=tiny);
if~isempty(p)
d(p)=0;
end
%A*M=M*J
[M,J]=jord(a,d,small);


function[M,D]=jord(a,d,small)
%TinhphantichJordancuamatranA
norma=sqrt(mean(mean(abs(a))));
tiny=norma*eps;
ifnargin<3

end
da=det(a);
dp=prod(d);
e=abs(abs(da)‐abs(dp));
ife>sqrt(eps)
disp(ʹʹ)
warning(ʹCacgiatririengcothekhongchinhxac!ʹ)
end
ds=flipud(sort(d));
sds
=size(ds,1);
du=flipud(unique(ds));
sdu=size(du,1);
ifsdu==sds

82
[M,D]=eig(a);
return
end
M=[];
forkk=1:sdu
e=du(kk);
ameig=sum(ismember(ds,e));
a1=a‐e*I;
ifameig==1
[u,s,v]=svd(a1);
M=[Mv(:,end)];
else
pp=0;
ns=[];


Nhờ tải bản gốc

Tài liệu, ebook tham khảo khác

Music ♫

Copyright: Tài liệu đại học © DMCA.com Protection Status