Professional Documents
Culture Documents
TRNG i hc S phm
Vi diu minh
Tnh iu khin C
h PHNG trnh vi phn i s
tuyn tnh
Chuyn ngnh: Gii tch
M s
: 60.46.01
Mc lc
Trang
Li ni u.. ............................................................................................. 1
Chng 1 PHNG TRNH VI PHN I S TUYN TNH VI H
S HNG ...................................................................................6
1 Tnh gii c ca h phng trnh vi phn i s tuyn tnh vi
h s hng ........................................................................................ 6
2 Tnh iu khin c ca h phng trnh vi phn i s tuyn tnh
vi h s hng. ............................................................................... 35
Chng 2 PHNG TRNH VI PHN I S TUYN TNH C H S
BIN THIN .............................................................................................. 41
1 Tnh gii c ca h phng trnh vi phn i s tuyn tnh vi h s
bin thin ................................................................................... 41
2 Tnh iu khin c ca h phng trnh vi phn i s tuyn t nh vi
h s bin thin .............................................................................. 63
Kt lun................................................................................................... 72
Ti liu tham kho. ............................................................................. 74
http://www.lrc-tnu.edu.vn
LI NI U
L thuyt iu khin ton hc l mt trong nhng lnh vc ton hc ng
dng quan trng mi c pht trin khong 50 nm tr li y. Cng c chnh
ca l thuyt iu khin ton hc l nhng m hnh v cc phng php ton hc
gii quyt nhng vn nh tnh v gii s cc h thng iu khin. Rt nhiu
bi ton trong khoa hc, cng ngh, k thut v kinh t c m t bi cc h
phng trnh vi phn cha tham s iu khin v cn n nhng cng c ton hc
tm ra li gii.
Mt trong nhng vn u tin v quan trng nht trong l thuyt iu
khin h thng l l thuyt iu khin c, tc l tm mt chin lc iu khin
sao cho c th chuyn h thng t mt trng thi ny sang mt trng thi khc.
Bi ton iu khin c lin quan cht ch n cc bi ton khc nh bi ton
tn ti iu khin ti u, bi ton n nh v n nh ha, bi ton quan st
c,
Mc d l thuyt iu khin c hnh thnh cch y khong 50 nm,
nhng nhiu bi ton v vn v iu khin nh: iu khin c h phng
trnh vi phn n tuyn tnh dng v khng dng c hn ch trn bin iu khin,
iu khin c h phng trnh vi phn v sai phn n tuyn tnh c chm,
nhng bi ton lin quan gia iu khin c, quan st c v n nh ho, ,
hin nay vn cn mang tnh thi s v c rt nhiu nh ton hc trn th gii
cng nh trong nc quan tm.
Phng trnh vi phn thng c nghin cu t rt lu, khong 200 nm
tr li y. Tuy nhin l thuyt phng trnh vi phn n, trong c phng trnh
vi phn i s tuyn tnh li mi c tht s quan tm trong vng 40 nm tr li
y. Phng trnh vi phn i s tuyn tnh c rt nhiu im c bit m ta
khng th tm thy phng trnh vi phn thng, v d: ma trn h s l ma trn
suy bin, khng c tnh cht nhn qu gia u vo v u ra,, lm cho vic
nghin cu nhng vn lin quan tr nn phc tp nhng li rt hp dn. Hin
nay, mc d c nhiu c gng kho st nhng tnh cht c bit y, nhng vic
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
3
nghin cu h phng trnh vi phn suy bin vn cn l thi s, bi cn rt nhiu
cu hi cha c gii p.
Mc ch ca lun vn ny l trnh by cc kt qu m rng tiu chun iu
khin c ca cc h iu khin m t bi phng trnh vi phn thng tiu
chun Kalman cho h phng trnh vi phn i s tuyn tnh dng v khng
dng. Lun vn c gng trnh by mt cch c h thng t n gin n phc tp,
t phng trnh vi phn i s tuyn tnh dng n phng trnh vi phn i s
tuyn tnh khng dng. Tiu chun iu khin c dng Kalman c c trng
thng qua tiu chun v hng ca ma trn h s. Thng nht i theo hng nghin
cu , trc tin lun vn trnh by tiu chun iu khin c m rng cho h
phng trnh vi phn i s thng qua ma trn h s ca cc h phng trnh vi
phn n tuyn tnh dng v sau l cho h m t bi h phng trnh vi phn n
tuyn tnh khng dng. Cc tiu chun iu khin c ny ni chung phc tp
hn rt nhiu so vi tiu chun Kalman.
Ni dung ca lun vn gm hai chng:
Chng 1 nghin cu h phng trnh vi phn i s tuyn tnh vi h s
hng.
Mc 1 chng 1 trnh by hai cch tip cn h phng trnh vi phn i s
tuyn tnh nhm nghin cu tnh cht tp nghim ca phng trnh dng
Ex (t )
Ax(t )
Bu (t )
x1 (t ) A1 x1 (t ) B1u1 (t );
Nx2 (t ) x2 (t ) B2u2 (t ), t
0,
trong phng trnh th nht l phng trnh vi phn thng v phng trnh
th hai l phng trnh vi phn vi ma trn ly linh.
Cch tip cn th hai nhm nghin cu cu trc tp nghim ca phng trnh
vi phn vi h s hng thng qua ma trn c s. Mc ny gii thiu khi nim
ton t hiu chnh, nghim ca phng trnh vi phn i s c tm thng qua
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
4
ton t hiu chnh . Cng thc nghim ny cho thy r hn s khc bit ca
phng trnh vi phn suy bin so vi phng trnh vi phn thng, ngoi ra vic
tm ra cu trc tp nghim cn nhm p dng vo vic nghin cu tnh iu khin
c ca h phng trnh vi phn tuyn tnh c trnh by mc 2.
Mc 2 trnh by tnh iu khin c ca h phng trnh vi phn i s
tuyn tnh vi h s hng theo [6], trong tiu chun iu khin c l m rng
ca tiu chun hng Kalman.
Chng 2 nghin cu cu trc tp nghim v tnh iu khin c ca h
phng trnh vi phn i s tuyn tnh c h s bin thin.
Mc 1 ca chng 2 trnh by tnh gii c ca phng trnh vi phn tuyn
tnh khng dng theo cun sch [7]. Bng cch tc ng ton t hiu chnh tri
vo phng trnh vi phn n, ta c th a phng trnh t phc tp v n gin
d nghin cu hn.
Mc 2 ca chng 2 trnh by tnh iu khin c h phng trnh vi phn
i s vi h s bin thin theo [9]. Thng nht vi mc 1, mc 2 cng dng ton
t hiu chnh tri a vic nghin cu tiu chun iu khin c h suy bin
khng dng v nghin cu h n gin hn.
Mc d lun vn ch yu l trnh by li cc kt qu trong [6], [7], [8], [9],
nhng chng ti c gng th hin nhng lao ng ca mnh trong qu trnh c,
nghin cu v m rng cc kt qu y cho h phng trnh vi phn i s tuyn
tnh. Th d: Mc 1.1 chng 1 trnh by cng thc nghim tng minh ca
phng trnh vi phn tuyn tnh khng dng vi ma trn lu linh l kt qu ca
tc gi, c bo co ti Hi ngh nghin cu khoa hc sau i hc do i hc
S phm Thi Nguyn t chc (Thi Nguyn, thng 7-2008) v c ng trong
[3]. Chng ti cng c gng chi tit ha hoc tm ra nhng cch chng minh khc
vi cch chng minh trong [6], [7], [8], [9]. Trong ton b lun vn, chng ti c
gng din gii nhng nh l, b mt cch d hiu nht. Chng ti hy vng
rng, lun vn cho thy r hn s pht trin trong nghin cu tiu chun iu
khin c h phng trnh vi phn t n gin n phc tp, t phng trnh vi
phn thng n phng trnh vi phn n suy bin vi h s bin thin.
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
5
Lun vn c hon thnh di s hng dn khoa hc ca PGS TS T
Duy Phng. Xin c t lng cm n chn thnh nht ti Thy.
Tc gi xin cm n chn thnh ti Trng i hc S phm i hc Thi
Nguyn, ni tc gi nhn c mt hc vn sau i hc cn bn.
V cui cng, xin cm n gia nh, bn b, ng nghip cm thng, ng
h v gip trong sut thi gian tc gi hc Cao hc v vit lun vn.
Thi Nguyn, ngy 18 thng 9 nm 2008
Tc gi
Vi Diu Minh
http://www.lrc-tnu.edu.vn
6
Chng 1 PHNG TRNH VI PHN I S
TUYN TNH VI H S HNG
1 TNH GII C CA H PHNG TRNH VI PHN I S
TUYN TNH VI H S HNG
1.1 H phng trnh vi phn i s tuyn tnh vi ma trn ly linh
Xt phng trnh vi phn i s tuyn tnh dng
Nx (t )
(1.1.1.1)
n2
N k x( k ) (t )
N k 1 x( k 1) (t ) N k
k 1
Cki 1B ( k
1 i)
(t )u (i ) (t ) ,
(1.1.1.2)
i 0
k!
vi 0 i k .
i !(k - i ) !
Chng minh
Nhn phng trnh (1.1.1.1) vi ma trn N ri ly o hm hai v ta c:
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
Nx (t ) N B (t )u (t ) B(t )u (t ) .
N 2
x(t )
(t )u (t ) B (t )u (t ) B (t )u (t ) B (t )u(t )
N 2
x(t ) N 2 B
N 3
x (t )
N 2
x(t ) N 2
C2i B (2 i ) (t )u ( i ) (t ).
i 0
N k x( k ) (t )
N k 1 x( k 1) (t ) N k
k 1
Cki 1B ( k
1 i)
(t )u (i ) (t ) .
i 0
1)
N k x ( k ) (t )
(t )
Nk
k 1
Cki
B(k
i)
(t )u ( i ) (t )
B(k
1 i)
(t )u ( i
1)
(t )
i 0
N k x ( k ) (t )
N k Ck0 1 B ( k ) (t )u (t )
N k Ck1 1 B ( k
N k Ck0 1 B ( k
1)
2)
N k Ck2 1B ( k
N k Ck1 1 B ( k
1)
(t )u (t )
N k Ck2 1 B ( k
3)
(t )
u (t ) ... N k Cks 11 B ( k
N k Cks 1 B ( k
s)
(t )u ( s ) (t )
N k Cks 1 B ( k
(t )u(t )
s 1)
1 s)
(t )u (t )
(t )u ( s
1)
(t )
(t )u ( s
1)
(t )
1)
(t )
2)
(t )u(t )
N k Cks 11 B ( k
s)
(t )u ( s ) (t )
2)
s)
(t )u ( s ) (t )
(k - 1 )!
i !(k - 1 - i )!
nn
C k0- 1 = 1 = C k0 ; C kk-- 11 = 1 = C kk
Cks 11
Cks 1
Cks
http://www.lrc-tnu.edu.vn
8
nn
N k 1 x ( k 1) (t )
N k x ( k ) (t ) N k Ck0 1 B ( k ) (t )u (t ) N k Ck0 1 Ck1 1 B ( k 1) (t )u (t )
N k Ck1 1 Ck2 1 B ( k
2)
s)
(t )u ( s ) (t )
2)
Cks B ( k
s)
(t )u ( s ) (t ).
s 0
x(t )
Fk (t )u ( k ) (t ) ,
(1.1.1.3)
k 0
h- 1
trong Fk (t ) = -
N sC sk B (s - k ) (t ) .
s= k
Chng minh
Vit li (1.1.1.2) vi k = 1, 2,..., h ta c
Nx (t )
N 2
x(t )
Nx (t ) NC10 B (t )u (t ) NC11B(t )u (t ) ;
N 3
x (t )
http://www.lrc-tnu.edu.vn
N k x ( k ) (t )
N k 1 x ( k 1) (t ) N k
k 1
Cki 1B ( k
1 i)
(t )u (i ) (t )
i 0
k 1 ( k 1)
(t ) N
... N k 1Cki 1 B ( k
k 1
0
k 1
C B
1 i)
( k 1)
(t )u (t ) N k 1Ck1 1B ( k
2)
(t )u (t )
N h x ( h ) (t )
N h 1 x ( h 1) (t ) N h
h 1
Chi 1B ( h
1 i)
(t )u (i ) (t )
i 0
N h 1 x ( h 1) (t ) N h 1Ch0 1B ( h 1) (t )u (t ) N h 1Ch1 1B ( h
... N h 1Chi 1 B ( h
1 i)
2)
(t )u (t )
(t )u (i ) (t ) N h 1Chh 11B(t )u ( h 1) (t ).
x(t )
0
s
h 1
(s)
N C B (t )u (t )
s 0
h 1
...
N s Cs1B ( s 1) (t )u (t )
s 1
N s Csk B ( s
k)
(t )u ( k ) (t ) ... N h 1 B (t )u ( h 1) (t )
s k
h 1
x(t )
Fk (t )u ( k ) (t ).
k 0
T y suy ra x(t )
h 1
Fk (t )u ( k ) (t ).
k 0
Nx (t )
x(t ) Bu(t )
(1.1.1.4)
x(t )
N k Bu ( k ) (t ) .
(1.1.1.5)
k 0
http://www.lrc-tnu.edu.vn
10
Chng minh
Khi B (t ) B th
h- 1
Fk (t ) = -
N sC sk B (s - k ) (t ) = - N kC kk B = - N k B
s= k
Ex (t ) Ax(t )
B(t )u(t ) .
(1.1.2.1)
0 hoc a thc sE
0.
QEP
trong n1 + n 2 = n , A1
cp n 1 v n 2 ; N
n2
n2
I n1
n n1
1
, QAP
A1
0
0
,
I n2
l ma trn ly linh.
x1 (t )
Nx2 (t )
A1 x1 (t ) B1 (t )u (t ),
(1.1.2.2a )
x2 (t ) B2 (t )u (t ).
(1.1.2.2b )
(1.1.2.2)
http://www.lrc-tnu.edu.vn
11
Tht vy, do (E , A ) l cp ma trn chnh qui nn tn ti cc ma trn khng suy
bin P v Q sao cho
QEP
I n1
, QAP
A1
0
0
.
I n2
QEx (t ) QAx(t )
QB(t )u(t ) .
&
t x (t ) = Px%(t ) hay x%(t ) = P - 1x (t ) . Khi y x&
(t ) = Px%
(t ) v phng trnh trn
c th vit thnh
QEPx(t ) QAPx(t )
QB(t )u(t ) .
(1.1.2.3)
hay
I n1
x%1
v QB (t )
%
x
=
t
x%2
x (t )
A1
0
0
x (t )
I n2
QB(t )u (t ) .
B1 (t )
, khi y phng trnh trn c dng
B 2 (t )
I n1 x1 (t )
A1 x1 (t ) B1 (t )u (t );
Nx2 (t )
I n2 x2 (t ) B2 (t )u (t )
hay
x1 (t ) A1 x1 (t ) B1 (t )u (t );
Nx2 (t ) x2 (t ) B 2 (t )u (t )
vi x1 (t ) n1 , x2 (t ) n2 v N
n2
n2
l ma trn ly linh.
http://www.lrc-tnu.edu.vn
12
ban u
x10
n1 v mi hm o c cho trc u (t ) , t
0 , nghim ca
x1 (t )
A1t
e A1 (t s ) B1 (s )u (s )ds .
0
1
e x
(1.1.2.4a)
s 0
x2 (t )
Fk (t )u ( k ) (t )
k 0
Nh vy, nghim x (t )
h 1
h 1
k 0
s k
N s Csk B2( s
x1 (t )
k)
(t ) u ( k ) (t ) .
(1.1.2.4b)
x2 (t )
Ex (t ) Ax(t ) Bu(t )
t
c dng:
x1 (t )
A1t
0
1
e x
s 0
h 1
x2 (t )
N k Bu ( k ) (t ) .
k 0
http://www.lrc-tnu.edu.vn
13
1.3 Cng thc nghim ca h phng trnh vi phn i s vi ma trn c s
1.3.1 H phng trnh vi phn i s vi ma trn c s
Mt cch t nhin, h phng trnh vi phn i s c hiu l h
x1 (t )
0
R1 x1 (t ) R2 x2 (t )
R3 x1 (t ) R4 x2 (t )
f1 (t );
(1.1.3.1)
f 2 (t ),
(1.1.3.2)
x
trong I
x1
; f
x2
f1
;E
f2
I 0
; A
0 0
R1
R3
R2
,
R4
Ex
Ax
(1.1.3.3)
hay
Ex
Ax
(1.1.3.4)
Nhn xt 1.3.1
Trong cc ti liu, h phng trnh vi phn i s thng c ng nht vi h
(1.1.3.4). Tuy nhin, cch vit (1.1.3.1), (1.1.3.2) ch i hi l x1 c o hm.
Cch vit (1.1.3.4) i hi l x c o hm, tc l ton b cc ta , hay x2
cng phi c o hm. T ta thy, (1.1.3.3) v (1.1.3.4) ni chung l khc
nhau.
Di y, ph hp vi cc ti liu, ta vn gi h (1.1.3.3), (1.1.3.4), trong
ma trn E c th suy bin ( det E c th bng 0) l h phng trnh vi phn i
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
14
s. Dng c bit (1.1.3.1)-(1.1.3.2) c gi l dng na hin (na hin) ca h
phng trnh vi phn i s.
Nhn xt 1.3.2
Ni chung ma trn E v ma trn A trong (1.1.3.3) v (1.1.3.4) khng nht thit
phi l ma trn vung, nhng chng phi c cng kch thc. Th d, nu x n
v ma trn A c s chiu l m n th E cng phi c s chiu l m n , cn f
phi l mt vect c s chiu l m 1 .
B 1.3.1
Tn ti dy ma trn C0 , C1 , C2 ,.... ( gi l h ma trn c s) sao cho mi nghim
ca h phng trnh
dx(t )
dt
C0 Ax(t )
i 0
d
dt
( I C0 E ) x(t )
i 0
d
dt
Ci f (t ) ;
(1.1.3.5)
Ci 1 f (t ) .
(1.1.3.6)
EC0 A
ECi
trong
0
i
AC0 E
ACi
(1.1.3.7)
0
i
I ,i
0,1, 2,...,
(1.1.3.8)
l nhn Kroneker, tc l
0
i
1,
0,
i 0;
i 0.
Edx(t )
dt
EC0 Ax(t )
( Ex(t ))
i 0
d
dt
EC0 Ax(t )
i 0
ECi f (t )
d
dt
ECi f (t ) .
http://www.lrc-tnu.edu.vn
(*)
15
Nhn (1.1.3.6) vi A , ta c:
A( I C0 E ) x(t )
i 0
Ax(t )
d
dt
ACi 1 f (t )
AC0 Ex(t )
i 0
d
dt
ACi 1 f (t ) .
(**)
Ly (*) tr (**) ta c:
( Ex(t ))
Ax(t )
d
dt
ECi
ACi
f (t ) .
T (1.1.3.7) v (1.1.3.8) ta c:
( Ex(t ))
Ax(t ) 0
i 0
d
dt
i
0
i
I f (t )
d
dt
f (t )
f (t ) .
suy ra
Ex (t )
Ax (t )
f (t ) .
1 0 ;A
0 1;x
x1
; f (t ) .
x2
x1 (t )
Chn C0
V EC0
0
; C1
0
AC1 I
c
; Ci
1
x2 (t )
f (t ) .
(1.1.3.3)
c
; i 1, 2,3... v c bt k.
c
1 I (ng v I 1, ma trn n v)
http://www.lrc-tnu.edu.vn
16
EC1
AC2 0
ECi
ACi
c c;
c c; i
2,3...
c
f (t )
1
dx(t )
dt
c
c
f (i ) (t )
i 2
hay
dx1 (t )
dt
f (i ) (t );
c
i 1
dx2 (t )
dt
(1.1.3.5)
f (i ) (t ).
f (t ) c
i 2
H (1.1.3.6) c dng
x(t )
c
1
c
c
f (t )
f (i ) (t )
i 1
hay
f (i ) (t );
x1 (t ) c
i 0
x2 (t )
(1.1.3.6)
f (i ) (t ).
f (t ) c
i 1
1
;A
0
0
;x
1
x1
f1
x2
f2
http://www.lrc-tnu.edu.vn
17
T phng trnh (1.1.3.7) ta c
EC0 A
AC0 E
Vy C0
1
c01 , c02
0
0
1
0
c01 , c02
1
1
0
c02
0
0
.
c01
0 0 ;
Thay vo (1.1.3.8) vi i 0 :
EC0
AC1
0
0I
1
0,0
0
0
c11, c12
1
0 0
0 0
0
0
c11 c12
1 0
c11 1
ACi
0
i I;
Ci E
Ci 1 A
0
i I,
(1.1.3.9)
i
0,1,2,...
(1.1.3.10)
vi iu kin
C0
C0 EC0 ;
(1.1.3.11)
C1
C1 AC1
(1.1.3.12)
1,
0,
0
i
l nhn Kroneker, tc l
i 0;
i 0.
(1.1.3.13)
( 1)i 1 (C1 E )i 1 C1 .
(1.1.3.14)
( 1)i 1 C1 ( EC1 )i 1 .
(1.1.3.15)
http://www.lrc-tnu.edu.vn
18
Chng minh
Cho i
0 , t ( 1.1.3.9) v (1.1.3.10) ta c:
EC0
AC1 I
(1.1.3.16)
C1 A I .
(1.1.3.17)
C0 E
C1 EC0
C1 AC1 C1 .
(1.1.3.17)
T (1.1.3.12) ta suy ra
C1 EC0
0.
(1.1.3.18)
C0 EC1
C1 AC1 C1 .
(1.1.3.17)
T (1.1.3.12) ta suy ra
C0 EC1
0.
(1.1.3.19)
ECi
ACi 1 ;
(1.1.3.20)
Ci E
Ci 1 A, i
2,3,...
(1.1.3.21)
C2
C1 EC1 .
(1.1.3.21)
Nhn hai v vi E ta c
EC2
Vi i
EC1 EC1
( EC1 )2 .
(1.1.3.22)
(C1E ) 2 C1 .
(1.1.3.23)
( 1)2 (C1E )2 C1
Nhn hai v vi A ta c:
AC3
M theo (1.1.3.16) th AC1
A(C1E )2 C1
EC0
AC1 ( EC1 )2 .
I nn theo (1.1.3.19) ta c
http://www.lrc-tnu.edu.vn
19
AC3
I )( EC1 ) 2
( EC0
(1.1.3.24)
( EC1 ) 2 .
AC3 .
C2 E
(C1E )2 .
C1 EC1 E
C3 A (C1 E )2 C1 A .
M theo (1.1.3.17) v (1.1.3.17) th C1 A C0 E
I v C0 EC1
C1 AC1 C1 .
Theo (1.1.3.18) ta c
(C1 E ) 2
C3 A .
Nh vy vi i
(1.1.3.20) v (1.1.3.21).
Gi s cng thc nghim (1.1.3.14) v (1.1.3.15) tho mn h (1.1.3.20) v
(1.1.3.21) vi i
k.
k 1.
k 1 th theo (1.1.3.14) ta c:
Ck
( 1)k (C1 E )k ; Ck
( 1) k 1 (C1E ) k
Vy:
ECk
( 1)k E (C1E )k ;
ACk
( 1)k 1 A(C1E ) k
ACk
( 1) k 1 ( EC0
( 1) k 1 AC1E (C1E ) k .
EC0
I nn theo (1.1.3.19) ta c
I ) E (C1 E ) k
( 1) k (C1 E ) k
ACk 2 .
http://www.lrc-tnu.edu.vn
20
Ck
( 1)k C1 ( EC1 )k v Ck
( 1)k 1 C1 ( EC1 ) k
nn
Ck 1 E
( 1)k C1 ( EC1 )k E
( 1) k (C1E ) k 1;
I nn do (1.1.3.18) ta c
( 1) k (C1 E ) k 1.
Vy Ck 1 E
Ck 2 A .
Khng nh ng vi i
ECi A
ACi E; i
0,1,...
(1.1.3.25)
AC0
EC0 AC0 ;
(1.1.3.26)
C0 A C0 AC0 E ;
(1.1.3.27)
EC1
AC1 EC1 ;
(1.1.3.28)
C1 E
C1 EC1 A;
(1.1.3.29)
EC0
( EC0 )i ;
(1.1.3.30)
AC1
(1.1.3.31)
Chng minh
T (1.1.3.9) v (1.1.3.10) ta c (1.1.3.25):
ECi A
ACi 1 A
T (1.1.3.11) v (1.1.3.25) vi i
AC0
0
i
A(Ci 1 A
0
i
I ) ACi E .
AC0 EC0
EC0 AC0 .
0 ta c (1.1.3.27):
C0 A C0 EC0 A C0 AC0 E .
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
21
T (1.1.3.12) v (1.1.3.25) vi i 1, ta c (1.1.3.28) v (1.1.3.29):
EC1
EC1 AC1
AC1EC1 ;
C1 E
C1 AC1E
C1EC1 A.
( AC0 )2 .
AC0 AC0
( AC0 )2
( AC0 )3
( AC0 )2 AC0
( AC0 )3 .
....
( AC1 )2 .
AC1 AC1
AC1 AC1
Vy
( AC1 )2
AC1
( AC1 )3
E) 0 .
Nhn xt
1, Nu
E) 0 th tn ti v s
c tnh cht y.
det( A
E ) det
(E
)n det( E
A) ,
trong n l cp ca ma trn.
Nu cp ma trn ( E, A) l chnh quy th (xem [10]) tn ti hai ma trn khng suy
bin P, Q sao cho:
;A
PEQ
PAQ
(1.3.3.1)
http://www.lrc-tnu.edu.vn
22
vi
N
0
0 0
I 0 ,
0 S
I 0 0
0 R 0 ,
0 0 I
0; l
(1.3.3.2)
0 tc l N k
0; Rl
0,
Q 1Ci P 1 ; i
Ci
0,1, 2,... ,
(1.3.3.3)
trong
0 0
0 I
C 0
0
0 ;
0 0 S
Ni
0
0
Ci
C1
0 0
0 0 ;
0 0
I
0
0 0
0 0
0 0
2,3,...,
(1.3.3.4)
0
C 0 EC
0 0 0
0 I 0
0 0 S 1
0 0 0
0 I 0
0 0 I
nn t C0
Q 1C 0 P
C0 EC0
N
0
0
0 0
I 0
0 S
0 0 0
0 I 0
0 0 S 1
0 0 0
0 I 0
0 0 S 1
0 0 0
0 I 0
0 0 S 1
C 0
ta c
)(Q 1C0 P 1 )
(Q 1C0 P 1 )( PEQ
0 P 1 Q 1C0 P 1 C0
Q 1C0 EC
Vy ta c (1.1.3.11).
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
23
Hon ton tng t:
)(Q 1C P 1 )
(Q 1C1 P 1 )( PAQ
1
1
1
1
Q C1 AC1 P
Q C1 P 1
C1
C1 AC1
Vy ta c (1.1.3.12).
By gi ta chng minh (1.1.3.9).
V
0
EC
N
0
0
AC
1
0 0
I 0
0 S
0 0 0
0 I 0
0 0 I
nn vi i
0 0 0
0 I 0
0 0 S 1
I
0
0
I 0 0
0 R 0
0 0 I
0 0
0 0
0 0
I
0
0
0 0
0 0
0 0
0 ta c:
EC0
V
i
EC
AC
i
N
0
0
Ni
0
0
0 0
I 0
0 S
Ni
0
0
0 0
0 0
0 0
0 0
0 0
0 0
Ni
0
0
0 0
0 0
0 0
Ni
0
0
I 0 0
0 R 0
0 0 I
0 0
0 0
0 0
nn vi i 1 ta c
ECi
ACi
)(Q 1C P 1 )
)(Q 1Ci P 1 ) ( PAQ
( PEQ
i 1
P 1 P( EC
)P
i P 1 PAC
i AC
PEC
i 1
i 1
0.
0 nn vi i 0 ta c
http://www.lrc-tnu.edu.vn
24
) I
) (Q 1C1P 1 )( PAQ
(Q 1C0 P 1 )( PEQ
Q 1C0 EQ
Q 1C1 AQ
I Q 1 (C0 E C1 A I )Q 0.
C0 E C1 A I
Vy C0 A C1 B E .
Vi i 1 ta phi chng minh Ci A Ci 1 B . Tht vy:
Ci E
Ci 1 A
)
) (Q 1Ci 1 P 1 )( PAQ
(Q 1Ci P 1 )( PEQ
Q 1Ci EQ
Q 1Ci 1 AQ
Ci E Ci 1 A
Ni
0
0
0 0
0 0
0 0
Ni
0
0
N
0
0
0 0
I 0
0 S 1
Ni
0
0
0 0
0 0
0 0
0 0
0 0
0 0
Ni
0
0
0 0
0 0
0 0
I 0 0
0 R 0
0 0 I
i.
Vy ta c (1.1.3.10).
Hn na, ECk
0 , trong k l ch s ca cp ma trn ( E, A) .
0; Ck E
Tht vy,
)(Q 1C k P 1 )
( PEQ
ECk
P 1.
PAC
k
k
EC
N
0
0
0 0
I 0
0 S
Nk
0
0
0 0
0 0
0 0
Nk
0
0
0 0
0 0
0 0
0,
cn
Ck E
do C k E
0.
Vy Ck A
Vi i
) Q 1C k EQ
(Q 1C k P 1 )( PEQ
0.
k , do Ci
Ni
0
0
0 0
0 0
0 0
0 nn Ci
Q 1Ci P
0 i.
http://www.lrc-tnu.edu.vn
25
T ta c nhn xt sau.
Nhn xt
Nu ( E, A) l cp ma trn chnh quy th dy C0 , C1 ,...Ck , Ck 1 ,.... ch c hu hn
0 th cc
ma trn c s Ci c xc nh bi h sau:
1
0
i
Ci E Ci 1 A
0
i
ECi
ECk
0; Ck E
C1
C1 AC1 ;
C0
Vi i
ACi
I;
(1.3.4.1)
I , i 0,1, 2....k 1.
(1.3.4.2)
0;
(1.3.4.3)
(1.3.4.4)
C0 EC0 .
(1.3.4.5)
AC1 I
C0 E
C1 A I
0; (C1 E ) k
0.
0 nn theo (1.3.14)
ECk
E ( 1)k 1 (C1E )k 1 C1
Suy ra ( EC1 )k
V Ck E
( 1)k 1 EC1EC1E...C1
( 1)k 1 ( EC1 )k
( 1)k 1 C1EC1E...C1E
( 1)k 1 (C1E )k
0.
0 nn theo (1.3.15) ta c
Ck E
Vy (C1 E )k
( 1)k 1 C1 ( EC1 )k 1 E
0.
Ta c nh l sau.
http://www.lrc-tnu.edu.vn
26
nh l 1.3.4
Gi s ( E, A) l cp ma trn chnh quy vi ch s k
0 . Khi y, h (1.3.4.1)-
C1 ...
Ck ,
(1.3.5.1)
trong k l ch s ca cp ma trn ( E, A) ; Ci , i
0,1,... k l cc ma trn c s
tho mn h:
ECi
ACi
0
i I;
(1.3.5.2)
Ci E
Ci 1 A
0
i I,
(1.3.5.3)
i 0,1,2....k 1.
ECk
0; Ck E
C1
C1 AC1
C0
(1.3.5.4)
(1.3.5.5)
C0 EC0
(1.3.5.6)
0 i 1,2,...k .
0; Ci AC0
(1.3.5.7).
Tht vy,
C0 ACi
)(Q 1C P 1 ) Q 1C AC
P 1.
(Q 1C0 P 1 )( PAQ
i
0
i
M
C 0 AC
i
0 0
0 I
0
0
0 0 S
I 0 0
0 R 0
Ni
0
0 0
0 0
0 0
0 0
Ni
0 I
0
0
0 0 S
Tng t ta c: Ci AC 0
0 0
0 0
0 0
0.
0.
http://www.lrc-tnu.edu.vn
27
B 1.3.5.1
( I
C0 A) 1C0
( I
C0 A)
Ci ( I
AC0 ) 1;
C0 ( I
(1.3.5.8)
Ci
Ci ;
(1.3.5.9)
Ci .
(1.3.5.10)
C0 A)
Chng minh
Ta c:
( I C0 A)C0
IC0 C0 AC0
C0 I C0 AC0
C0 ( I
AC0 ) .
Suy ra
AC0 ) ( I C0 A)C0 .
C0 ( I
(*)
M
(*)
( I
C0 A) 1C0 ( I
( I
C0 A) 1 ( I
( I
C0 A) 1C0
AC0 )( I
AC0 )
AC0 )C0 ( I
AC0 )
AC0 ) 1.
C0 ( I
0 . Suy ra
Ci
Ci
C0 ACi
( I C0 A)Ci
hay
( I
C0 A)
Ci
( I
C0 A) 1 ( I
C0 A)Ci
Ci .
0 . Suy ra
Ci
Ci AC0
Ci ( I
AC0 ) .
Hay
Ci ( I
AC0 )
Ci ( I
AC0 )( I
AC0 )
Ci .
A) x(t )
f (t )
(1.3.5.11)
( I C0 A) x(t ) R( ) f (t ) .
(1.3.5.12)
http://www.lrc-tnu.edu.vn
28
Chng minh
Nhn (1.3.5.11) vi R( ) ta c: R( )( E A) x(t)
R( ) f ( t) .
( E
A)
C0
C1 ...
Ck
C0 A
C0 E C1 A
C0 A
C0 E C1 A
I C0 A.
C1 E C2 A
A
k
...
Ck 1 E C k A
k 1
Ck E
Vy
R( )
A x(t )
I C0 A x(t )
f (t ) .
AC0 y (t )
f (t )
l nghim ca (1.3.5.11).
Chng minh
T (1.3.5.2) v (1.3.5.4) ta c
A R
A R
AC0 .
Suy ra
A x(t )
y (t )
AC0 y (t )
f (t ).
I C0 A
(ii) R
AC0
I C0 A
C0
AC0
C0
1
C1
C1
C2 ...
C2 ...
k 1
Ck .
k 1
Ck .
Nhn xt
V phi ca (i) v (ii) l trng nhau do (1.3.5.8) trong B 1.3.5.1, ngha l B
1.3.5.2 v B 1.3.5.3 cho cng mt cng thc biu din nghim ca
(1.3.5.11).
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
29
T (i) ta c
1
I C0 A
I C0 A x
V theo (1.3.5.12) th
I C0 A
C0 C1
C2 ...
k 1
Ck ] f (*)
f.
Suy ra
I C0 A
f.
I C0 A
C0 f
C1 f
...
k 1
Ck f .
T ta c nh l sau.
nh l 1.3.5.1
Nghim ca phng trnh
A x
f , vi cp ma trn ( E, A) chnh
quy ch s k c dng:
y C1 f
...
k 1
Ck f ,
I C0 A y C0 f .
(1.3.5.15)
iu ny tng ng vi
x(t )
C0 z (t ) C1 f (t )
C2 f (t ) ...
k 1
Ck f (t ) ,
AC0 z (t )
f (t ) .
( 1.3.5.16)
Ch
Nu
l s m
A; I C0 A; I
http://www.lrc-tnu.edu.vn
30
1.3.6 Nghim ca h phng trnh vi phn i s
Xt h phng trnh vi phn i s
d
( Ex(t ))
dt
Ax(t )
0 t T,
f (t ),
(1.3.6.1)
0.
d
. Khi nghim ca phng trnh (1.3.6.1) c dng:
dt
k
x(t ) C0 z (t )
i 1
d
dt
trong k l ch s ca cp ma trn
i 1
Ci f (t ) ,
(1.3.6.2)
E , A , cn vect z (t ) l nghim ca
phng trnh
dz (t )
dt
AC0 z (t )
f (t ) .
(1.3.6.3)
a.
a vo
(1.3.6.2), ta c
k
a C 0 z0
i 1
d
dt
i 1
Ci f (t ) t 0 .
(1.3.6.4)
y(0)
Ex(0)
Ea ,
(1.3.6.5)
http://www.lrc-tnu.edu.vn
31
2 TNH IU KHIN C CA H PHNG TRNH VI PHN I
S TUYN TNH VI H S HNG
Xt h phng trnh vi phn i s tuyn tnh
Ex (t )
trong x(t )
Ax(t ) Bu(t )
n ; u (t )
rankE
(1.2.1)
n n; B
l cc ma trn hng s. Gi s
QEP
diag ( I , N ); QAP
P 1x
x1
; CP
x2
diag ( A1 , I ) .
B1
.
B2
C1 , C2 ; QB
x1 (t )
Nx2 (t )
A1 x1 (t ) B1u (t );
x2 (t ) B2u (t );
(1.2.2)
y (t ) C1 x1 (t ) C2 x2 (t ),
trong x1
n1 ; x2
n2 ; n1 n2
n , cn N
n2
n2
l ma trn ly linh bc
h.
H (1.2.2) gm mt phng trnh vi phn thng (c gi l h tin, hay h
chm) v mt phng trnh vi phn suy bin vi ma trn ly linh (c gi l h
li hay h nhanh). Nghin cu h (1.2.2) n gin hn rt nhiu so vi vic
nghin cu h (1.2.1). Do , trong phn ny ta nghin cu h (1.2.2) thay cho
(1.2.1) m kt qu thu c cho c hai h l tng ng.
Gi thit rng, iu khin chp nhn c u vo u (t ) C ph 1 , trong C ph
lp hm kh vi lin tc h 1 ln. T mc 1.2, ta bit rng khi t
0 , nghim ca
h (1.2.2) l:
http://www.lrc-tnu.edu.vn
32
t
A1t
x1 (t )
0
1
e x
h 1
x2 (t )
N k Bu ( k ) (t ) .
k 0
w n , c th tm c mt thi im t1
u(t) C p h
0 v mt iu khin u vo
n,
w.
x1
A1 x1
B1u , y1
C1 x1 ;
(1.2.2a )
x2
B2u , y2
C2 x2 ;
(1.2.2b)
Nx2
Ta c nh l sau
nh l 2.1
rank sE
A B
n,
s , s hu hn.
n2 ;
n2 ;
n.
http://www.lrc-tnu.edu.vn
33
(3) Cc mnh sau l tng ng:
(3a) H (1.2.2) l iu khin c hon ton.
(3b) C hai h chm v nhanh l iu khin c hon ton.
(3c) rank B1 A1B1... A1n1 1B1
rank sE
(3d)
n1 ;
n, s , s hu hn v rank E B
A B
n2 ;
n.
Chng minh
Ta s chng minh tng kt qu mt.
(1) H chm (1.2.2a) l mt h phng trnh vi phn thng. Do , (1.2.2a)
l iu khin c hon ton (xem, th d, [4], [6]) nu v ch nu
rank sI
n1 , s , s hu hn.
A1 B1
(*)
Ch rng:
rank sE
A B
rank
sI
A1
0
0
sN I
B1
.v
B2
rank sE
A B
n2
rank sI
A1 B1 .
rank sE
A B
n1
n2
n; s
, s hu hn.
N B2
n2 hay
rank B2
n2 .
rank sI
N B2
n2 , s
(N ) ,
http://www.lrc-tnu.edu.vn
(**)
34
trong
s s : sI
(N )
(N )
Do N l ma trn lu linh,
rank
0 .
0 . Vy (**) xy ra nu v ch nu
B2
rank N
B2
n2 .
rank E
rank QEP QB
n1 rank N
B2 .
iu ny c ngha l
rank N
B2
n2
rank E
n.
e A1 (t s ) B1 ( s )u ( s )ds;
x1 (t ) e x10
Rt ( x1 (0)) :
x(t ) u (t ) :
h 1
x2 (t )
N k Bu ( k ) (t )
k 0
v tp t c t im x1 (0) l
R( x1 (0)) : Rt ( x1 (0)), t
Gi s c (3a). Chn iu kin ban u x1 (0)
0 .
0 . nh ngha iu khin c
0 v mt iu khin
w . Ngha l tp t c
t1
x1 (t1 )
R(0) :
e A1 (t s ) B1 ( s )u ( s )ds;
x(t1 ) u (t ) :
h 1
x2 (t1 )
N k Bu ( k ) (t1 )
k 0
R(0)
A1 B1
N B2
n,
http://www.lrc-tnu.edu.vn
35
hay rank B1
n1 ; rank B2
n2 .
H ( x1 (0)) :
x1 / x2 : x1 (t ) e A1t x1 (0) n1 , x2
0 n2 ,
0 ).
R( x1 (0))
Gi s c (3c). Khi y R(0)
R(0) H ( x1 (0)) .
n . Suy ra R( x1 (0))
n , do h (1.2.1) l iu
khin c hon ton. Vy t (3c) suy ra (3a) hay (3a) v (3c) l tng ng.
Kt hp cc kt qu trn vi (1) v (2) dn n s tng ng ca (3a) v (3c),
(3b) v (3d).
nh l 2.1 chng minh xong.
http://www.lrc-tnu.edu.vn
36
d
dt
A(t )]x(t )
f (t ), t T
t0 , t1 ,
(2.1.1)
vi gi thit det E (t ) 0, t T .
Nghin cu tnh gii c (s tn ti nghim) ca phng trnh (2.1.1) ta hng
ti hai mc tiu sau:
1) Tiu chun gii c ca h phng trnh (2.1.1).
2) Cu trc tp nghim.
Ta bit, i vi phng trnh vi phn thng, bi ton gi tr ban u (bi ton
Cauchy) lun c nghim duy nht. Nu phng trnh l tuyn tnh, th tp hp
nghim ca n to thnh mt khng gian hu hn chiu vi c s l mt b vect
nghim c lp tuyn tnh. Cc nghim khc c biu din qua cc vect c s
nh ma trn nghim c bn. Ta c
nh ngha 1.1
Ma trn X (t ) cp n n tho mn bi ton ban u
X (t ) C (t ) X (t ), t I
X ( ) En .
c gi l ma trn nghim c bn ca phng trnh
x (t ) C (t ) x(t )
f (t ) .
http://www.lrc-tnu.edu.vn
37
nh l 1.1
H phng trnh vi phn
x (t )
vi A, f
A(t ) x(t )
(2.1.2)
f (t ), t T
c dng
t
x(t , c)
X (t )c
X (t ) X 1 ( s) f ( s) ds, t T ,
n bt k. Hn na,
c th
x(t , c) C1 (T ) .
K hiu C i (T ) l khng gian cc hm kh vi n cp i v C A (T ) l khng gian
cc hm gii tch trn T . Ta c
H qu 1.1
Nu f , A C i (T ) th nghim tng qut ca (2.1.2) x(t , c) C i 1 ( I ) . Hn na,
nu f , A C A (T ) th x(t , c) C A ( I ) trn mi khong ng I
T.
cho mi c
1
x 0
khc vi x(t , c) .
Hm x(t ) c gi l nghim ca phng trnh (2.1.1) trn T nu n kh vi trn
http://www.lrc-tnu.edu.vn
38
C th thy, khng gian nghim ca h (2.1.1) c th l v hn chiu.
Th d 1.1
Xt phng trnh vi phn
x1 (t )
x2 (t )
1 2
0 0
1 2
1 2
x1 (t )
x2 (t )
0, t
0,1 .
(2.1.3)
Ta thy:
rank ( A, B) rank
1 2 1 2
0 0 1 2
2 n
xi (t )
xi1 (t )
xi2 (t )
2t i
, i
ti
0,1, 2...
l nghim ca h (2.1.3) v
1 2
0 0
M xi (t )
i 0
2it i 1
it i 1
1 2
1 2
2t i
ti
0
,
0
0,1 ,
0,1...
l c lp tuyn tnh v
ci t i
2
ci xi (t )
0
0
i 0
i 0
ci t i
ci t i
0,1 .
i 0
i 0
Do t i
i 0
P(t )
nn suy ra ci
0 i
Pm (t )
ai t i ; m 0,1,...
0,1, 2...
http://www.lrc-tnu.edu.vn
39
nn det( E
1 2
0 0
1 2
1 2
1 2(
1
1)
2
A) 0
A.
t 1 dx(t )
0 0 dt
0
x(t ) 0,
1
tx1 (t ) x2 (t )
0,1 .
(2.1.4)
x1 (t ) 0;
tx1 (t ) x2 (t ) 0.
Ta c
t 1
0 0
0
1
t, .
E (t ) A(t )
Nu
t
0
0 th det( E (t ) A(t )) 0
0
1
t
t
V (2.1.4) tr thnh
tx1 (t ) x2 (t ) 0;
tx1 (t ) x2 (t ) 0.
http://www.lrc-tnu.edu.vn
40
H trn c duy nht mt nghim x1 (t )
Tht vy, t phng trnh tx1 (t )
Suy ra x2 (t )
0 , x2 (t ) 0 .
x2 (t ) 0 ta c x2 (t )
tx1 (t ) x1 (t ) .
x2 (t ) 0 ta c
tx1 (t ) x2 (t ) tx1 (t )
Vy x1 (t )
Vi
tx1 (t ) .
tx1 (t ) x1 (t )
x1 (t ) 0 .
0 . Suy ra x2 (t ) 0 .
1 th
tx1 (t ) x2 (t ) x1 (t ) 0
(2.1.4)
Hn na: xi (t )
x1 (t )
tx1 (t ) x2 (t ) 0
ti
ti
x2 (t )
0,1,... l nghim ca h v xi (t )
tx1 (t )
i 0
l c lp tuyn
det( E (t ) A(t ))
Vi
1 0
1:
x2 (t )
(2.1.4)
tx1 (t )
tx1 (t ) ( tx1 (t ) x1 (t ))
x2 (t )
(
tx1 (t )
1) x1 (t )
x1 (t )
x2 (t )
x1 (t )
0 mc d
det( E (t ) A(t ))
E2 . Ta
KerA
E1 : Au
0 c gi l nhn (hch) ca A .
http://www.lrc-tnu.edu.vn
41
Im A
E2 : Au
E2
Co ker A
E1 c gi l nh ca A .
f ;u
c gi l i nhn (i hch) ca A .
Im A
nh ngha 1.4
Ta ni
hch ca ton t
(dim Ker
: C1 (T )
l hu hn chiu
C (T )
Nhn xt
Nhiu nh ca h phng trnh vi phn i s tuyn tnh c th s thay i chiu
ca khng gian nghim thm ch khi rankE (t ) khng thay i.
Th d 1.3
Xt h
t
0
1
0
x1 (t )
x2 (t )
vi t
0,1 ; x 2 ; ,
Khi
0,
x1 (t )
x2 (t )
0
1
0
0
(2.1.5)
l cc nhiu nh.
0 th
t 1
x (t )
0 0
(2.1.5)
tx1 (t ) x2 (t )
0
x(t ) 0
1
x1 (t ) 0
tx1 (t ) x2 (t ) 0
H ny c xt trong Th d 1.2.
Khi
Khi
0;
0 . Khi y
x1 (t ) x2 (t )
(2.1.5)
(t
(t
x2 (t )
x1 (t ) 0
) x1 (t ) x2 (t ) 0
) x1 (t ) (t
(t
) x1 (t ) x1 (t )
x1 (t ) 0
) x1 (t )
http://www.lrc-tnu.edu.vn
42
) x1 (t ) (
(
x2 (t )
(t
1) x1 (t ) 0
) x1 (t )
ln x1 (t )
x2 (t )
(t
1
c1
dx1 (t )
x1 (t )
x1 (t ) ce
dt
) x1 (t )
;
1
x2 (t )
Vi t
(t
) x1 (t )
x2 (t )
x2 (0)
c1
x1 (0).
1
x1 (t )
x1 (0)e t ;
x2 (t )
tx1 (0)e
0 sao cho x1 (t )
0 th
)ce
x1 (0) c;
0 th
Chn
(t
0 v
x1 (0)e t .
khi y
. Th d chn
; x2 (t )
Suy ra
1
x1 (t )
x1 (0)e
; x2 (t )
tx1 (0)e
x1 (0)e
E (t )
A(t )
1
0
1 khng i vi mi nhiu ,
t
0
0
1
t
t
tc l
det( E (t )
A(t ))
0.
0 vi mi t T th Im
C (T ) .
0.
http://www.lrc-tnu.edu.vn
43
Th d 1.4
Xt h
x1 (t )
x2 (t )
0 1
0 0
1x
1 0
0 1
x1 (t )
x2 (t )
f1 (t )
f 2 (t )
x1 (t )
f1 (t )
f2 (t )
x2 (t )
f 2 (t )
0,1 ,
(2.1.6)
Ta c:
x2 (t ) x1 (t )
(2.1.6)
x2 (t )
f1 (t )
f 2 (t )
Nh vy, nu ta ch gi thit f
C2 .
Ta bit, i vi phng trnh vi phn thng tuyn tnh khng thun nht (v
phi khng ng nht bng 0), khng gian nghim lun hu hn v khng ph
thuc vo v phi. Vi phng trnh vi phn i s, tnh cht s chiu hu hn ca
khng gian nghim lin quan cht ch vi tnh gii c ca h khng thun nht.
Th d 1.5
Xt h
1x
t 1
0 0
x1 (t )
x2 (t )
x1 (t )
x2 (t )
1 0
t 1
f1 (t )
.
f 2 (t )
(2.1.7)
Ta c:
(2.1.7)
tx1 (t ) x2 (t ) x1 (t )
tx1 (t ) x2 (t )
f1 (t );
f 2 (t ).
tx1 (t )
x2 (t )
x1 (t )
tx1 (t )
x2 (t )
x1 (t ) C 1 ;
x2 (t )
tx1 (t )
http://www.lrc-tnu.edu.vn
44
i vi h (2.1.7) ta c:
tx1 (t ) x2 (t ) x1 (t )
x2 (t )
f1 (t )
f 2 (t ) tx1 (t )
tx1 (t ) ( f2 (t ) tx1 (t ) x1 (t )) x1 (t )
x2 (t )
Suy ra f2 (t )
f1 (t )
f 2 (t ) tx1 (t )
f1 (t )
x1 (t ) C1 ;
x2 (t )
f 2 (t ) tx1 (t ).
x n: x a
U ( a, r )
r, r
Gi s
A( x) C i (U (a, r )); i
Khi y,
b U (a, r ); U (b, )
0,1, 2....
const
http://www.lrc-tnu.edu.vn
45
3, det R( x)
khng bng
A1 ( x)
;
0
0 v L( x). A( x)
2, det L( x)
0;
A( x).R( x)
nh l 1.2.1
Gi s A(t ); B(t ) C
( I ) trong
max rankA(t ), t T .
I khi v ch khi
I sao cho
rank[A(t ), B (t )] n
Chng minh
Gi s
p dng b :
const
2,
rankA(t )
const
0 v
A1 (t ) B1 (t )
0
B2 (t ) ,
L1 (t )( A(t ) B(t ))
sao cho
C1 1, 1 sao cho L1 (t )
v tn ti ma trn L1 (t )
(2.1.2.1)
2.
Xt h
0,
(2.1.2.2)
trong
( A11 A12 )
A1 ; det A11
Xy dng trn
x(t )
0; ( B11 B12 )
B1 trn
y(t ) vi y (
0; y '(
0; y(
0; y '(
0.
(2.1.2.3)
http://www.lrc-tnu.edu.vn
46
( y1 (t ) y2 (t )) tng ng vi cc khi ca A1 , B1 , ta c:
Tch y (t )
y '1 (t )
(2.1.2.4)
trong
q(t )
Suy ra
X (t )c X (t ) X 1 ( s)q( s)ds; X (t )
y1 (t )
(2.1.2.5)
y1 (
X(
y1 (
Do y1 (
X(
)c
0; y1 (
) 0; y2 (
0; y2 (
) 0; y1 (
0; y2 (
) 0; y2 (
0.
) 0.
)c 0 nn c 0 .
Ta tm y2 (t ) di dng:
y2 (t ) a0
a1 (t
) a2 (t
trong a0 , a1 ,...a j
)2 ... a j (t
y2 (t ) a1 2a2 (t
y2 (
) 0 . Vy a1
) ...
ja j (t
) (
) a2
y2 (
) (
) 2a2 3a3 (
a3 (
X(
2)
) 0 . Vy a0
0.
X(
) ...
ja j (
X 1 ( s)
2)
)j
0 ; (2.1.2.6)
)j
0;
) X ( s)q( s)ds
ci ai
0,
(2.1.2.7)
i 2
trong y1 (
)j
) ... a j (
2
2
0.
y2 (
y1 (
)j,
http://www.lrc-tnu.edu.vn
47
Thay y2 ; y2 ta c:
y1 (
c2 a2
0.
c3a3 ... c j a j
Suy ra
2
ci
X 1 ( s ) iA2 ( s)( s
2)
X(
)i
B2 ( s)( s
)i ds .
Khi j
) 0 c tha mn.
0
sao cho rank ( A(t ) B(t ))
) 0; y1 (
Theo b 1.2.1,
rank A(t ) B (t )
; rankA(t )
A1 (t ) B1 (t )
0
B2 (t ) .
L1 : L1 (t )( A(t ) B(t ))
0
Do B2 (t )
0 nn
ma trn B2 m B22
0 trn
Xt h
A1 (t )
x '(t )
0
B1 (t )
x(t )
B2 (t )
0; t
A1 (t ) x '(t ) B1 (t ) x(t )
B2 (t ) x(t )
Coi B2
(*)
B2 (t ) x(t ) 0
x2 (t )
B21 (t ) x1 (t ) B22 (t ) x2 (t ) 0
B221 (t ).B21 (t ) x1 (t )
F (t ) x1 (t ) .
http://www.lrc-tnu.edu.vn
48
x1' (t )
( A11 (t ) A12 (t )) '
x2 (t )
x1 (t )
B11 (t ) B12 (t )
x2 (t )
A12 (t ) F (t )) c s chiu
Trng hp 2.1
rank[A11 (t )
A12 (t ) F (t )]
( A11 (t )
A12 (t ) F (t ))
Ta c nhn xt nh sau: nu x1 ( )
x1' ( )
0 th F ( ) x1 ( )
0.
( B11 (t ) B12 (t ) F (t )
( E (t ) B (t ).B (t ))u(t ) ,
x1 (t )
trong u (t ) l mt hm bt k trn
u(
0.
) u '(
0; u (
u '(
v c th i hi
cho ( A11 (t )
dy:
r 1
r 1
...
1) bc s dn n
Trng hp 2.2.
nh l c chng minh.
Nhn xt
iu kin ca nh l 1.2.1 c th c tho mn nhng vn c th
dim( Ker
http://www.lrc-tnu.edu.vn
49
Ta xt li th d 1.1:
x1 (t )
x2 (t )
1 2
0 0
x1 (t )
x2 (t )
1 2
1 2
0, t
0,1 .
Ta c
1 2 1 2
0 0 1 2
rank ( A, B) rank
2 n
xi1 (t )
xi2 (t )
xi (t )
2t i
ti
Ker
0,1, 2...
xi
0.
B 1.2.2
Gi s
1
1, E (t ), A(t ) C
2, dim( Ker
( I ) trong
max rankE (t ), t T .
,t T .
(T ) .
Hn na,
x(t , c)
(t ) C1 0 ,
X d (t )c
0,
(t ); t
; rankX d (t ) d
,c n ;
const t
H qu
Gi s E (t ), A(t ) C
Khi y f
( I ) v dim( Ker
,t T.
(T ) m (2.1.1) v nghim.
B 1.2.3
Gi s
1, E (t ), A(t )
C m ( I ); m
max rankE (t ), t T
http://www.lrc-tnu.edu.vn
50
2, dim( Ker
Khi y,
,t T
1)
0
cp n n
Id
0
0
N (t )
E (t )
dQ(t )
dt
J (t )
0
0
In d
N (t )
... N1k (t )
... N 2 k (t )
;
...
...
...
0
1.
Nhn xt
N k (t ) 0 .
Tht vy,
N 2 (t )
N12
...
0
...
0
N13
... N1k
N12
N 23 ... N 2 k
...
0
...
0
...
0
...
...
...
0
N13
... N1k
N 23 ... N 2 k
...
0
...
...
...
0
N12 N 23 ...
N1i N ik
i 1
k
...
N 2i N ik ;
i 2
... ...
...
...
...
...
http://www.lrc-tnu.edu.vn
51
k
N12 N 23 ...
N1i Nik
i 2
k
N 3 (t )
...
N 2i Nik
i 3
... ...
...
...
...
...
0 N12
0 0
... ...
0
...
N12 N 2i N ik
i 3
k
...
N 23 N3i Nik .
i 4
...
...
...
...
0.
nh ngha 1.5
Ta ni h (2.1.1) c nghim Cauchy trn T nu n gii c vi mi
cho rankX d (t )
x(t , c)
X d (t )c
const
T v
(t ) l nghim trn T , c n .
Th d 1.6
Xt h phng trnh sau
t 0
0 0
x1 (t )
x2 (t )
x1 (t )
x2 (t )
f1 (t )
;
f 2 (t )
0 t
0 0
y1 (t )
y 2 (t )
y1 (t )
y2 (t )
f1 (t )
;
f 2 (t )
1,1
T.
(2.1.2.8)
http://www.lrc-tnu.edu.vn
52
tx1 (t )
x1 (t )
f1 (t )
x2 (t ) f 2 (t )
ty 2 (t ) y1 (t )
y2 (t )
x(t , c)
f 2 (t )
0 0
c
0 0
y (t , c)
f 2 (t )
t
trong
1
t
f1 ( s )ds , cn x1 (t )
1
sau: x1 (0)
1
( (t )
t
f2
0 0
c
0 0
(t )
(0)
(2.1.2.9)
tf2
f1
f2
(0) c xc nh ti t
0 nh
f1 (0) .
Tnh gii hn
1
f1 (0) x1 (t )
0 t
lim
t
lim
t
1
tf1 (0)
t2
(t )
(0)
tf1 (0)
f1 (0)
lim
t
f (0) s 0( s) ds
f (0)
.
2
t2
tx1 2 x1
Vy x1 (0)
f1 .
f1 (0)
.
2
,1
T th h (2.1.2.8a) c mt h nghim
x(t , c)
1
0
c
t
0 0
1
( (t ) (0)
,
t
f2
d
L j (t )
dt
0
http://www.lrc-tnu.edu.vn
53
trong L j (t ) C (T ) l cc ma trn c n n , c gi l ton t hiu chnh tri
nu
.
vi mi x(t ) C
x(t )
x (t )
A x(t )
l ch s tri ca (2.1.1).
Xt h
f (t ); t T
[0; )
(2.1.1)
x0 (1.1*)
Nhn xt
Bi ton Cauchy (2.1.1) - (1.1*) gii c khng phi vi mi x(0)
Ton t hiu chnh tri
n.
bin (2.1.1) v h:
x (t )
A(t ) x(t )
f (t ) ; t T .
(2.1.3.1)
x(0) n .
B 1.3.1
Gi s cho (2.1.1) c ton t hiu chnh tri
E (t ) x (t ) A(t ) x(t ) 0; t T
[0; ) .
(2.1.3.2)
B 1.3.2
Gi s rng E (t ), A(t ) C 2
tri
ch khi x0
x(0, c1 )
c1
, trong c1
0
bin.
http://www.lrc-tnu.edu.vn
54
B 1.3.3
Gi s rng E (t ), A(t ) C 2
tri
x(t , c) U (t )
Y (t ) 0
c
0 0
t T v phng
x(t , c) U (t )
Y (t )
0
c,
0 Y (t )
t T , cp
(n d ) (n d ) .
Chng minh
Gi s (2.1.3.2) c ton t hiu chnh tri. Khi y h (2.1.3.2) c bin i v h
x (t )
A(t ) x(t ) 0; t T .
(2.1.3.3)
(t ) x(0) , trong
(t ) l ma trn nghim
x0
x(0, c1 )
(t ) S
x(t , c)
c1
.
0
G1 (t ) G2 (t )
th nghim ca (2.1.3.2) c dng
G3 (t ) G4 (t )
G1 (t ) G2 (t )
G3 (t ) G4 (t )
Nhng rank
G1 (t )
G3 (t )
c1
0
G1 (t )c1
G3 (t )c1
const = d,
G1 (t )
c.
G3 (t ) 1
U (t ) C1 (T ) cp n n sao cho
http://www.lrc-tnu.edu.vn
55
U 1 (t )
G1 (t )
G3 (t )
Y (t )
,
0
x(t , c) U (t )
Y (t )
Y (t ) 0
c1 U (t )
c.
0
0 0
Y (t )
0 En
U 1 (t ) (t ) S
0
En
.
d
Khi y ta c
(t ) S U (t )
Y (t )
0
.
0 Y (t )
http://www.lrc-tnu.edu.vn
56
2 TNH IU KHIN C CA H PHNG TRNH VI PHN I
S VI H S BIN THIN
Xt h phng trnh:
E (t ) x (t )
det E (t )
0 t T
(2.2.1)
x(t )
P(t ) E (t ) x (t )
AC (t ) y (t ) P(t ) B(t )u (t ),
(2.2.3)
trong :
Id
0
0
;
N (t )
EC (t )
P(t ) E (t )Q(t )
AC (t )
J (t ) 0
;
0
In d
B1 (t ) B2 (t )
;
B3 (t ) B4 (t )
P (t ) B (t )
J (t ) l ma trn c d d ;
0; r
n d .
Xt ton t
Id
0
0
W0 (t )
trong : W j (t ); j
0
0
d
0 W1 (t ) dt
0,1,..., r-1
r -1
W j (t )
j 0
( j)
...
0
0
0 Wr -1 (t )
d
dt
r 1
c xc nh bi
r 1
(t )
Fj
(t ) ; (t ) C r 1 (T )
j 0
http://www.lrc-tnu.edu.vn
57
v
F0
Nh vy, W0 (t )
(t ); F 1
(t )
I n d ; W j (t ) ( j
N (t ) (t ); N r (t )
(t )
0.
0,1,...r 1) l cc ma trn c
(n d ) (n d ) c cng cu trc vi N (t ) .
Lu
Phng trnh
N (t ) x (t )
x(t )
f (t )
(**)
F j f (t ) .
(***)
c nghim dng
r 1
x(t )
j 0
Tht vy:
Vi r
1 th ta c
x(t )
Suy ra x (t )
F 0 f (t )
f (t ) . Chng t N (t ) x (t )
f (t ) .
N (t ) f (t ) .
Thay vo (**) ta c:
N (t ) f (t )
f (t ) (lun ng
f (t )
Vi r
2 ta c:
x(t )
F 0 (t ) F 1 (t )
t T v N (t )
0 khi r 1 ).
f (t ) N (t ) f (t )
f (t ) N (t )
f (t ) N (t ) f (t )
N (t ) x (t )
N (t ) f (t ) N 2 (t )
f (t ) N (t ) N (t ) f (t )
x (t )
V r
khng nn N 2 (t ); N (t ) N (t )
t T v ta c:
N (t ) x (t )
N (t ) f (t ) .
Thay vo (**) ta c:
N (t ) f (t )
f (t ) N (t ) f (t )
f (t ) ( lun ng).
http://www.lrc-tnu.edu.vn
58
Vi r
x(t )
f (t ) N (t ) f (t ) N (t ) N (t )
f (t ) N (t ) f (t )
F 0 (t ) F 1 (t ) F 2 (t )
f (t )
x (t )
f (t )
N (t ) N (t ) N (t ) f (t ) N 2 (t ) f (t )
N (t ) N 2 (t ) N (t ) N (t ) f (t )
N (t ) N (t ) N (t )
f (t )
2 N (t ) N (t ) f (t ) N 2 (t )
f (t )
N (t ) x (t )
N (t ) f (t ) N (t ) N (t ) N (t ) N 2 (t ) f (t )
N 2 (t ) N 2 (t ) N (t )
f (t )
2 N 2 (t ) N (t ) f (t ) N 3 (t )
f (t )
V r
3 th
(t ); N 2 (t ) N (t ) 0 t T
N 3 (t ); N 2 (t ) N (t ); N 2 (t ) N
nn ta c
N (t ) f (t )
(**)
f (t )
N (t ) N (t ) f (t ) N 2 (t )
f (t )
N (t )
N (t ) N (t ) N (t ) f (t ) N 2 (t )
f (t )
f (t )
Id
0
0
y (t )
0
Id
0
J (t )
0
0
In
y (t )
d
0
0
0
0
0
;
;...;
W0 (t ) 0 W1 (t )
0 Wr-1 (t )
t )].d r
.M r 1[B(
u (t ) (2.4)
trong :
B (t )
B1 (t ) B2 (t )
;d
B3 (t ) B4 (t ) r
u (t )
u (t )
u (t )
...
u ( r 1) (t )
t )]
M r 1[B(
t)
C00 B(
t )
C1B(
...
t)
C11B(
...
0
...
...
...
...
( j ) (t ) C1j B
( j 1) (t ) ... C jj B(
t)
C 0j B
0
(#)
http://www.lrc-tnu.edu.vn
59
Chng hn:
Vi r
2 th
W0 (t ) (t ) W1 (t ) (t )
(t ) N (t ) (t )
W0 (t )
In d ;
W1 (t )
N (t )
trong (t ) bt k,
Id
0
0
W0 (t )
0
0
d
0 W1 (t ) dt
v phng trnh N (t ) x (t )
f (t ) c nghim x(t )
x(t )
f (t ) N (t ) f (t ) .
y (t )
J (t )
In
Id
0
0
y (t )
0
Id
0
0
y (t )
0
y (t )
d
J (t )
0
J (t )
0
0
In
0
In
Id
W0 (t )
y (t )
d
Id
0
0 W1 (t )
t )].d
.M r 1[B(
r
u (t )
B 0 u (t )
0
0
0
;
.
W0 (t ) 0 W1 (t )
B B u (t )
y (t )
d
W0 (t ) B3 (t )u1 (t ) B4 (t )u2 (t )
B1 (t )u1 (t ) B2 (t )u2 (t )
W1 (t ) B3 (t )u1 (t ) B4 (t )u2 (t ) B3 (t )u1(t ) B4 (t )u2 (t )
Nhn xt
Ta thy:
Id
0
0
In
d
dt
U r (t )d r (t ),
(2.2.5)
trong
U r (t )
j
0
0
0
0
0
;...;
;...;
(t )
(t )
(t )
0 Wj (t ) W
W
0 W
j+1
0
r-1
Id
0
0,1,..., r
(2.2.6)
http://www.lrc-tnu.edu.vn
60
B 2.1
d j Av (t )
M j A(t ) d j v(t )
A(t ); v(t ) C i (t )
Theo B 2.1 th (2.2.3) c a v dng
J (t ) 0
y (t ) U r (t ) M r P(t ) M r B(t ) d r u (t )
0 0
y (t )
Do x(t )
x (t )
(2.2.7)
Q 1 (t ) x(t ) nn
trong A (t )
J (t ) 0
Q (t ) Q(t )
0
0
(2.2.8)
Q 1 (t ) .
Q(t )U r (t ) M r P (t ) d r .
V trong (2.2.8) th A (t )
(2.2.9)
A(t ) .
Xt h
E (t ) x (t )
A(t ) x(t ) B (t )u (t ), t T
a, b .
(2.2.1)
nh ngha 2.1
H (2.2.1) c gi l iu khin c hon ton theo trng thi nu t mt trng
thi ban u cho trc bt k x(t0 )
x0 ; t0
x1 ; t1
a, b sau
t0 .
B 2.2
1) H x (t )
rank B (t );
B (t ) ;...;
n 1
A
B (t )
n hu khp ni trn t0 , t1 .
http://www.lrc-tnu.edu.vn
61
Trong k hiu
In
d
dt
A(t ) .
T y suy ra
A
i 1
A
B (t )
B (t )
2) H i s 0
d ( B (t ))
dt
In
i
A
A(t ) B (t ) ;
B (t ) .
ngha:
j
( .
) x(t )
d
L j (t )
dt
0
x (t )
theo
A(t ) x(t )
x C
(T ) .
Xt
H (t ) ( H 0 (t ); H1 (t );...H r (t )) ( L0 (t ); L1(t );...Lr (t ) M r B(t ) )
Do (2.2.6),(2.2.9) v b 2.1 ta c:
H (t ) Q(t )
j
Id
0
0
0
0
0
0
;...;
;...;
(t )
(t)
(t )
0 Wj (t ) W
W
0 W
j+1
0
r-1
Mr
B1 (t ) B2 (t )
B3 (t ) B4 (t )
0,..., r 2
0
0
B1 (t ) b2 (t )
; H j (t ) Q(t )
; j 1,..r 1
S j 3 (t ) S j 4 (t )
S03 (t ) S04 (t )
trong :
Sri (t ) Crr Wr-1 (t ) Bi (t ); S r
1i (t )
..............................
r 1
S1i (t )
(t ))B ( j
C1j (Wj-1 (t ) W
j
i
1)
(t ) Cr1Wr-1 (t ) Bi( r
1)
(t )
j 1
(t ) B (t )
S0i (t ) C00 W
0
i
r 1
(t )) B ( j ) (t ) C 0 W (t ) B ( r )
C 0j (Wj-1 (t ) W
j
i
r
r-1
i
j 1
3, 4.
http://www.lrc-tnu.edu.vn
62
K hiu:
d
In
dt
A (t ) v
J (t ) 0
Q (t ) Q(t )
0 0
vi A (t )
J (t ) 0
0
0
d
In
dt
In
d
dt
Q 1 (t ) .
B 2.3
Gi s
Q(t )
(t )
0,1, 2....
Q( )t
J (t) 0
0 0
Chng minh
Ta chng minh bng quy np.
Vi k 0 ng thc trn ng.
Vi k 1 ta c:
Q(t) ( t)
d Q(t) ( t)
dt
d Q(t)
dt
B( )t Q( )t ( )t
(t) Q( t)
( t)
Q( )t
dt
Q (1 )t Q
( )t ( ) t
J (t ) 0
Q (t ) (t ) Q(t ) (t ) Q (t )Q 1 (t )Q(t ) (t ) Q(t )
0 0
Q(t ) (t ) Q(t )
J (t ) 0
0 0
(t ) Q (t )
(t )
(t )
Q(t ) (t )
n Q(t ) (t )
d
Q(t )
dt
Q(t )
d
dt
(t )
(t )
J (t ) 0
Q (t ) Q(t )
0 0
Q(t )
J (t ) 0
0 0
(t )
Q 1 (t )Q(t )
Q(t )
n 1
(t )
(t ) .
http://www.lrc-tnu.edu.vn
63
nh l 2.1
Gi s:
1, E(t ), A(t ) C A (T ); B(t ), u(t ) C r (T ) ;
2, Tn ti ton t hiu chnh tri cho (2.2.1);
3, rank H (t ); H (t ) ;... d
H (t )
n hu khp ni trn T
t0 , t1 , vi d l s
4, rank ( H1 (t )
( 1)j
H j 1 (t ) ;...H r
t( ) H r
t( ) 2 H r t( );
j 1
H r 1(t )
H (t ) ; H (t )) n d khi t
r
r
t0 v t
t1 .
ca (2.2.1) c Ker
0 .
rank ( H1 (t )
( 1) j
H j 1 (t ) ;...H r 2 (t )
H (t )
r 1
2 H (t )
r
j 1
; H r 1 (t )
H (t ) ; H (t )) n khi t
r
r
t0 v t
t1 .
http://www.lrc-tnu.edu.vn
cho
64
KT LUN
L thuyt phng trnh vi phn (thng) cha tham s iu khin c
nghin cu trong rt nhiu cun sch vi nhng vn : cng thc nghim, tnh
iu khin c, quan st c, Nghin cu v phng trnh vi phn suy bin
dng v khng dng, lun vn trnh by nhng cch tip cn, nhng phng
php khc nhau nh cp ma trn chnh quy, ton t hiu chnh tri nhm cng mt
mc ch l a phng trnh vi phn phc tp tr v dng n gin c
nghin cu trc hoc c nhng tnh cht c bit gim bt kh khn trong
vic nghin cu, v d nh phng trnh vi phn c ma trn h s l ma trn lu
linh.
T nh ngha iu khin c h phng trnh vi phn, ta thy xt n tnh
iu khin c hon ton i hi phi tm mt hm iu khin u(t) a trng thi
ban u x0 v trng thi bt k x1 no trong n , ngha l ta phi quan tm n
u ra. iu dn ti vic cn nghin cu cu trc tp nghim ca h phng
trnh vi phn. V vy, trong mc 1 ca chng 1 v chng 2 chng ti pht
biu v chng minh cng thc nghim, tnh cht nghim ca h phng trnh vi
phn i s tuyn tnh.
Tiu chun iu khin c nu trong mc 2 ca chng 1 v chng 2 cho h
phng trnh vi phn i s tuyn tnh chnh l m rng tiu chun hng Kalman,
nhng do tnh cht phc tp ca h tuyn tnh n suy bin nn tiu chun iu
khin c cng i hi nhng iu kin kh phc tp. Chng ti c gng trnh
by cc tiu chun v din gii phn chng minh mt cch tng minh.
Quay tr li vi khi nim iu khin c hon ton, n i hi tm mt hm
iu khin a trng thi ban u x0 v trng thi bt k x1 . Tuy nhin trong thc
t, ta khng quan st c ton b u ra ca trng thi x(t) m ch c th quan st
c mt s ta ca n. Th d, khi quan st chuyn ng ca mt chic my
bay trn bu tri, ta ch c th bit c cc ta v tr ca n trong khng gian
m khng c kh nng o c chnh xc tc thi cc ta khc (vn tc, gia
S ha bi Trung tm Hc liu i hc Thi Nguyn
http://www.lrc-tnu.edu.vn
65
tc), ngha l v mt ton hc ta khng bit ton b x(t) m ch quan st c
u ra qua vect H(t)x(t). iu ny gii thch khi nim iu khin c v khng
gian con hay H iu khin c. Trong mt s cun sch v iu khin c trnh
by tiu chun H iu khin c cho h phng trnh vi phn thng. Tuy
nhin i vi phng trnh vi phn i s tuyn tnh ta li cha c c tiu
chun H iu khin c (xem nh l m rng ca tiu chun H iu khin
c phng trnh vi phn thng). V vy vn ny (v nhiu vn khc ca
phng trnh vi phn i s) cn c xem xt k hn. Hy vng rng n s tip
tc c nghin cu trong thi gian sp ti.
http://www.lrc-tnu.edu.vn
66
TI LIU THAM KHO
I.
Ting Vit
Ting Anh
6. L. Dai: Singular Control Systems (in Lecture Notes in Control and Information
Sciences, Vol 118), Springer-Verlag Berlin, Heidelberg, 1989.
III.
Ting Nga
http://www.lrc-tnu.edu.vn