Tính chất Acyclic của tập nghiệm phương trình tích phân trong không gian Fréchet

Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 11 
TÍNH CHẤT ACYCLIC CỦA TẬP NGHIỆM PHƯƠNG TRÌNH 
TÍCH PHÂN TRONG KHÔNG GIAN FRÉCHET 
LÊ HOÀN HÓA *, ĐỖ HOÀI VŨ ** 
TÓM TẮT 
Trong bài báo này, chúng tôi xét tính chất Acyclic của tập nghiệm phương trình tích 
phân dưới đây: 
1 2
0 0
( ) ( ) ( , ( ( ))) ( , , ( ( ))) ( , ) ( , ( ( ))) ,
t t
x t t v t x t F t s x s ds K t s g s x s ds t R    (2). 
Trong đó: [0, )R ; , .E là không gian Banach thực; 1 2, , : R R   ; 
: R E ; 2: [0, ) ( , )K L E E ; , :v g R E E ; 2:F R E E ; L(E,E) là 
không gian các toán tử tuyến tính liên tục từ E vào E, với các giả thiết của các hàm F, g, K 
được mở rộng (nhẹ) hơn bài báo [2]. 
Trong bài báo này, chúng tôi xét tính chất Acyclic của tập nghiệm phương trình tích 
phân dưới đây: 
X(t) = ϕ(t)+v(t,x(θ(t)))+ 
ABSTRACT 
The Acyclic property of the solution set of integral equation in fréchet space 
In this paper we consider the Acyclic property of solution set to the following 
intergral equation 
1 2
0 0
( ) ( ) ( , ( ( ))) ( , , ( ( ))) ( , ) ( , ( ( ))) ,
t t
x t t v t x t F t s x s ds K t s g s x s ds t R    (2) 
Here [0, )R ; , .E real space Banach; 
1 2, , : R R   ; : R E ; 2: [0, ) ( , )K L E E ; 
* PGS TS, Khoa Toán – Tin học, Trường Đại học Sư phạm TP HCM 
** ThS, Khoa Khoa học Cơ bản, Trường Đại học Công nghiệp TP HCM 
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 12 
, :v g R E E ; 2:F R E E . E is a real Banach space with norm |.| 
and L(E,E) is the Banach space of continuous linear operators with domain E and range 
in E, with the hypothesis of the functions F, K, g that satisfy the conditions which are 
more general than that in the article [2] . 
1. Giới thiệu 
Khi khảo sát một phương trình vi phân (hoặc tích phân) nói chung, bên cạnh 
việc chứng minh phương trình tồn tại nghiệm thì sự xem xét về cấu trúc của tập 
nghiệm cũng được chú ý (trong trường hợp phương trình có nhiều nghiệm). 
Năm 1890 Peano khi nghiên cứu bài toán Cauchy: 
0
'( ) ( , ( ))
, [0 , ] ;
(0)
x t g t x t
t a R
x x
  
 (1) 
với : [0, ] n ng a R R là hàm liên tục đã chứng minh được trong trường hợp n=1 
tập nghiệm S của phương trình (1) là liên thông, compact (xét topo trên đường 
thẳng thực) với t thuộc lân cận t0. Kết quả này còn được mở rộng bởi Kneser (1923) 
khi xét n là số tự nhiên tùy ý (khác không) và Hukuhara (1928) khi thay Rn bằng 
không gian Banach thực. 
Năm 1942, N. Aronszajn đã chứng minh được tập nghiệm S của (1) đồng phôi 
với dãy giảm các không gian compact co rút (compact contractible). Điều này suy 
ra được S compact, liên thông và không những thế, mặc dù S không đơn trị nhưng 
đứng trên quan niệm topo đại số, S sẽ tương đương với không gian điểm (theo 
nghĩa nhóm đồng đều của S trùng với nhóm đồng đều của không gian điểm). Tập S 
có tính chất như trên gọi là tập Acyclic và được kí hiệu là R . 
Trong bài báo này, chúng tôi xét tính chất Acyclic của tập nghiệm phương 
trình tích phân dưới đây: 
1 2
0 0
( ) ( ) ( , ( ( ))) ( , , ( ( ))) ( , ) ( , ( ( ))) ,
t t
x t t v t x t F t s x s ds K t s g s x s ds t R    (2). 
Trong đó: [0, )R ; , .E là không gian Banach thực; 1 2, , : R R   ; 
: R E ; 2: [0, ) ( , )K L E E ; , :v g R E E ; 2:F R E E ; L(E,E) 
là không gian các toán tử tuyến tính liên tục từ E vào E. 
Chú ý: Cấu trúc (compact, liên thông) tập nghiệm của phương trình dạng (2) đã 
được khảo sát trong một số bài báo gần đây (xem [2]), trong đó giả thiết các hàm 
tham gia trong (2) đều liên tục (cùng thêm nhiều giả thiết khác). Trong bài báo này, 
chúng tôi xét tính chất Acyclic của tập nghiệm của (2) với giả thiết các hàm F, g là 
hàm Carathéodory. 
Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 13 
Kết quả chính của bài báo được trình bày trong định lý 3.1, để chứng minh 
định lý này chúng tôi sử dụng các định lý dưới đây (trong đó định lý 2.1 là cơ bản). 
2. Các định nghĩa và định lý sử dụng trong bài báo 
Định lý 2.1[3] 
Xét K là tập con lồi không bị chặn của R, 0;K t K t t  , E là không 
gian Banach và C là không gian Fréchet của các hàm liên tục bị chặn địa phương 
:f K E với topo hội tụ đều địa phương. Giả sử rằng :T C C là ánh xạ liên tục 
thỏa mãn các điều kiện sau: 
(i) Tồn tại 0t K và 0x C sao cho 0 0( )( )T x t x với mọi x C , 
(ii) Tập T(C) liên tục đồng bậc địa phương, 
(iii) Với mọi 0 nếu K Kx y  thì ( ) ( )K KT x T y  với mọi ,x y C , 
(iv) Mọi dãy ( ) ,n n N nx x C , sao cho lim( ( )) 0n nn x T x có giới hạn điểm. 
Khi đó tập các điểm cố định của T là Acyclic. 
Chú ý: Nếu T là ánh xạ compact thì các điều kiện (ii) và (iv) luôn thỏa. 
Giả thiết 2.2 (Giả thiết (A) [1]) 
Cho X là không gian véc tơ tôpô lồi địa phương, P là họ tách các nửa chuẩn 
trên X. Đặt D là tập con của X và :U D X . Với mỗi a X , định nghĩa 
:aU D X bằng Ua(x)= U(x)+a. 
Toán tử U gọi là thỏa giả thiết (A) trên tập con  của X nếu: 
(A.1) Với mọi , ( )aa U D D   , 
(A.2) Với mọi ,a p P  tồn tại ak Z có tính chất 
0, , 0 :r N   ( , ) ( ( ), ( ))p p r ra a a ax y U x U y    , 
trong đó 
 ( , ) max ( ) ( ) , , 0,1,2,...,p i ja a a ax y p U x U y i j k , 
  1,2,3,... , 0N Z N  . 
Định lý 2.3 [1] 
Cho X là không gian đầy đủ theo dãy, lồi địa phương với họ tách các nửa 
chuẩn P. U, C là các toán tử trên X sao cho: 
(i) U thỏa giả thiết (A), 
(ii) Với p tùy ý thuộc P tồn tại k > 0 (độc lập với p ) sao cho: 
( ( ) ( )) ( )p U x U y kp x y , ,x y X , 
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 14 
(iii) Tồn tại 0x X có tính chất: Với p tuỳ ý thuộc P, tồn tại ,r N 
[0,1) ( ,r  phụ thuộc vào p) sao cho: 
0 0
( ( ) ( )) ( )r rx xp U x U y p x y , 
(iv) C hoàn toàn liên tục và ( ( ))p C A khi ( ) ,p A A X  , 
(v) 
( )
( ( ))lim 0,( )p x
p C x x Xp x 
  . 
Khi đó U + C có điểm cố định . 
Chú ý: Nếu các giả thiết của định lý 2.3 thỏa thì trong chứng minh của định lý này 
ta có ánh xạ 1I U C là ánh xạ hoàn toàn liên tục trên X và tồn tại tập D lồi, 
đóng và bị chặn (chứa phần tử 0) trong X sao cho 1 ( )I U C D D  . 
Đặt ( , , )  là không gian độ đo với [0, ],a a R  ,  là độ đo 
Lebesgue. 
Định nghĩa 2.4 [4]: 
( ; )pL E là không gian các lớp các hàm tương tương đo được (mạnh) 
:f E sao cho ( )pf L  với  1,p . 
Ghi chú: ( ; )pL E là không gian Banach với chuẩn 
1
p
p
pf f d

 và trong 
trường hợp E = R+ chúng tôi dùng kí hiệu ( )pL  thay cho ( ; )pL E . 
Định nghĩa 2.5 [4]: 
Xét ( , , )  là một không gian độ đo. Hàm :g E E gọi là hàm 
Carathéodory nếu thỏa các điều kiện 
(i) Với mọi x E hàm ( , )t g t x đo được, 
(ii) Với mọi t  hàm ( , )x g t x liên tục. 
Định nghĩa 2.6 [5]: 
Hàm :g E E gọi là hàm LP- Carathéodory ( (1, )p ) nếu g là hàm 
Carathéodory và thỏa thêm điều kiện: Với mỗi hằng số C dương tồn tại hàm không 
âm pCh L  và tập compact CK E sao cho ( , ) ( )C Cx C g t x h t K với 
hầu hết .t  
3. Kết quả chính 
Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 15 
Đặt  0 0, ;X C E là không gian gồm tất cả các hàm liên tục từ 
 0, vào E. Với mỗi số tự nhiên n N , trên X0 xét họ nửa chuẩn 
 
[0, ]
( ) sup ( )n
t n
p x x t
 , ta có X0 là không gian Fréchet với metric 
1
( )( , ) 2 1 ( )
n n
nn
p x yd x y p x y
  . 
Đặt   0, ;nX C n E là không gian của tất cả các hàm liên tục từ [0,n] vào 
E. Ta có Xn không gian Banach với chuẩn 
[0, ]
sup ( )n
t n
x x t
 . 
Xét phương trình (2) với các giả thiết sau: 
V2.1 1 2, , : [0, ) [0, )   là các hàm liên tục thỏa điều kiện 
1 2( ) , ( ) , ( ) ; [0, )t t t t t t t    . 
V2.2 :v R E E là hàm liên tục sao cho các điều kiện sau thỏa: 
(i) Tồn tại hàm :l R R sao cho ( ) 1
tl t
n
 với mỗi [0, ],t n 
(ii) Với mỗi hằng số C > 0 nếu x C thì (0, ) 0,v x 
(iii) ( , ) ( , ) ( )v t x v t y l t x y . 
V2.3 :F R R E E thỏa các điều kiện sau : 
(i) Với mỗi t R cố định ( , ) ( , , )tF s x F t s x là hàm Carathéodory trên [0,t], 
(ii) Tồn tại các hàm , : [0, ) [0, )h k sao cho h là hàm liên tục, 
1([0, ))k L và ( , , ) ( , , ) ( ) ( )F t s x F t s y h s k t x y . 
V2.4 :g R E E thỏa các điều kiện sau: 
(i) Với mỗi số thực t hàm g là hàm LP- Carathéodory trên [0, ]t E , 
(ii) 
( , )
lim 0
x
g t x
x 
 đều theo biến t trên mỗi tập con bị chặn của R+ 
V2.5 : ( , )K R R L E E sao cho với mỗi số thực t các điều dưới đây thỏa: 
(i) ' ( , ) ([0, ])
0
qt t L E E L n
K K đều khi 't t với 1,pq p
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 16 
(ii) Họ ( , )( , )
q
L E Et K t s thỏa điều kiện: 
( , )0, 0 : , ( ) , ( , )
q
L E ER s K t s d     

      
Định lý 3.1 
 Nếu các giả thiết V2.1- V2.5 thỏa thì tập nghiệm của phương trình (2) là 
Acyclic. 
Để chứng minh định lý trước hết chúng tôi chứng minh các bổ đề sau : 
Đặt 
0
( ) ( )
t
K t k s ds , [0, ]sup ( )t nH h t , [0, ]sup ( )t nL l t ta có L< 1. 
Trên Xn xét chuẩn ( )
[0, ]
sup ( )NK tN
t n
x e x t 
 , với N là hằng số được chọn sao 
cho 1
HN L , ta có chuẩn Nx tương đương với chuẩn nx . 
Đặt 
1
0
( )( ) ( ) ( , ( )) ( , , ( ( )))
t
U x t t v t x t F t s x s ds  , Uz(x)(t) = z(t) + U(x)(t). 
Bổ đề 1 
Nếu các giả thiết V2.1, V2.2, V2.3 thỏa thì Uz là ánh xạ co trên ,n NX x . 
Chứng minh: 
1 1
0 0
( )( ) ( )( ) ( , ( )) ( , ( )) ( , , ( ( ))) ( , , ( ( ))) .
t t
z zU x t U y t v t x t v t y t F t s x s ds F t s y s ds  
1 1
0
( ) ( ) ( ) ( ) ( ) ( ( ))) ( ( ))
t
l t x t y t k s h s x s y s ds  
Tương đương 
( ) ( )( )( ) ( )( ) ( ) ( ) ( )NK t NK tz ze U x t U y t e l t x t y t
1 1( ( )) ( ( ))( )
1 1
0
( ) ( ) ( ( ))) ( ( )) .
t
NK s NK sNK te k s h s e e x s y s ds    
Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 17 
( )( )
0
t
NK sNK t
N N
deHL x y e x y dsN ds
 , [0, ].NHL x y t nN  
Vậy ( ) ( ) .z z N NHU x U y L x yN 
Vì 1
HN L nên suy ra 1
HL N do đó Uz là ánh xạ co. 
Bổ đề 2 
Nếu giả thiết V2.4i và V2.5 thỏa thì 
2
0
( )( ) ( , ) ( , ( ( )))
t
C x t K t s g s x s ds 
 là một toán tử hoàn toàn liên tục trên , .n NX . 
Chứng minh: 
Giả sử là một tập bị chặn trong Xn. Khi đó 
 2 ( ) : , [0, ]A x s x s n là một tập bị chặn trong E, điều này suy ra tồn tại 
hằng số C sao cho 2( )x s C với mọi 2( )x s A . Do g là hàm Lp-
Carathéodory nên tồn tại hàm không âm pCh L  và tập compact CK E sao 
cho 2( , ( ( ))) ( )C Cg s x s h s K , với hầu hết [0, ]s n ; điều này suy ra được tồn tại 
hằng số dương G sao cho 2( , ( ( ))) ( )Cg s x s Gh s , với hầu hết [0, ]s n . 
1) Chứng minh ( )C liên tục đồng bậc 
Với mọi , ' [0, ] : ' ,t t n t t  đặt 0 max{ , '}t t t khi đó với mọi 
x ta có: 
'
2 2
0 0
( )( ) ( )( ') ( , ) ( , ( ( ))) ( ', ) ( , ( ( )))
t t
C x t C x t K t s g s x s ds K t s g s x s ds  
 2 2
0 '
( , ) ( ', ) ( , ( ( ))) ( ', ) ( , ( ( )))
t t
t
K t s K t s g s x s ds K t s g s x s ds  
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 18 
0
( , )
11 1
2 ( , )
0 0 '
( , ( ( ))) ( , ) ( ', ) ( ', )
L E E
tn tqp q
p q q
L E E
t
g s x s ds K t s K t s ds K t s ds
0
( , )
11 1
( , )
0 0 '
( ) ( , ) ( ', ) ( ', )
L E E
tn tqp q
q qp
C L E E
t
G h s ds K t s K t s ds K t s ds
Do giả thiết V2.5 suy ra ( )C liên tục đồng bậc. 
2) Chứng minh C liên tục 
Xét dãy m mx trong Xn
 sao cho 0lim mm
x x
 . Đặt *( ): [0, ],mA x s s n m N 
thì A là tập compac (xem [1]), điều này suy ra được A là tập bị chặn trong E. 
Đặt 2 0 2( ) ( , ( ( ))) ( , ( ( )))m ms g s x s g s x s   ta có: 
( ) 0m s và ( ) 2 ( )m Cs Gh s với hầu hết [0, ]s n . 
Đặt ( , ) ([0, ])[0, ]sup ( , ) qL E E L nt nK K t s ta có: 
 0 2 0 2
0
( )( ) ( )( ) ( , ) ( , ( ( ))) ( , ) ( , ( ( )))
t
m mC x t C x t K t s g s x s K t s g s x s ds  
2 0 2( , )
0
( , ) ( , ( ( ))) ( , ( ( )))
t
mL E EK t s g s x s g s x s ds  
1
2 0 2
0
( , ( ( ))) ( , ( ( )))
n p
p
mK g s x s g s x s ds 
1
0
( ) , [0, ].
n p
p
mK s ds t n 
  
Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 19 
Suy ra 
1
0
0
( ) ( ) ( ) .
n p
p
m mnC x C x K s ds 
Theo giả thiết V2.5 suy ra K hữu hạn, từ đó theo định lý hội tụ, bị chặn 
Lebesgue và sự liên tục đồng bậc của ( )C suy ra sự liên tục của C. 
3) Chứng minh ( )( ), [0, ]C t t n  là tập compact trong E 
Đặt * *b E sao cho KC nằm trong nửa không gian *b r nghĩa là 
* ( )Cb K b b r . 
Như vậy với mỗi x và hầu hết [0, ]s n ta có 
 * 2( , ( ( ))) ( )Cb g s x s h t r . 
Xét trường hợp 
0
( ) 0
t
Ch s ds , theo tính chất của tích phân Bochner suy ra 
 *2 2
* 0 0 0
0 0 0
( , ( ( ))) ( , ( ( ))) ( )
( ) ( ) ( )
t t t
C
t t t
C C C
g s x s ds b g s x s ds r h s ds
b r
h s ds h s ds h s ds
 
. 
Vì giao của tất cả các nửa không gian đóng chứa KC là bao lồi đóng nên ta được 
2
0 0
( , ( ( ))) ( ) ( )
t t
C Cg s x s h s ds co K
 , 
Do đó 
 2 1
0 0
( , ) ( , ( ( ))) ( ) ( ( , )( ))
t t
C CK t s g s x s h s ds co K t s K K
  
 . 
Vậy 
1
0
( )( ) ( ) ( ( , )( )) , [0, ].
t
C CC t h s ds co K t s K K t n
    
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 20 
Xét trường hợp 
0
( ) 0
t
Ch s ds khi đó ta có h = 0 với hầu hết [0, ]t n vì vậy 
2( , ( ( ))) 0g s x s với hầu hết [0, ]t n , do đó dễ dàng suy ra được 
1( )( ) , [0, ].C t K t n   
Vì CK là tập compact và ( , )K t s là ánh xạ tuyến tính liên tục từ E vào E nên ta có 
K1 là tập compact trong E, từ đó kết luận được ( )( ), [0, ]C t t n  là tập 
compact trong E. 
Từ các chứng minh 1), 2), 3) và theo kết quả của Ambrosetti, kết luận C là 
toán tử hoàn toàn liên tục trên , .n nX và do đó cũng hoàn toàn liên tục trên 
 , .n NX . 
Bổ đề 3 
Nếu giả thiết V2.4ii thỏa thì 
( )
lim 0
N
N
x N
C x
x 
 . 
Chứng minh: 
Ta có 
( , )
0 , 0 : 2
g s x
Knx
   với mọi x thỏa x  và [0, ]s n . 
Khi x  vì g là hàm Lp- Carathéodory nên tồn tại hằng số G > 0 sao cho 
( , ) ( )Cg s x Gh s với hầu hết [0, ]s n . Đặt 
1
0
( )
n p
p
CH G h s ds
 ta có H hữu 
hạn. 
Chọn 1
1
1: 2HK


 khi đó với mọi nx X với 1nx  , đặt 
 1 2 2 1[0, ]: ( ( )) , [0, ] \I s n x s I n I  
Ta có: 
 2
0
( )( ) 1 ( , ) ( , ( ( )))
t
n n
C x t
K t s g s x s ds
x x
 
Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ 
_____________________________________________________________________________________________________________ 
 21 
1
2
0
( , ( ( )))
n p
p
n
K g s x s ds
x

1 2
1 1
2 2
2
2
( , ( ( ))) ( ( ))
( , ( ( )))
( ( ))
p pp p
p
p
n I I
g s x s x sK g s x s ds ds
x x s
 


1 2
1 1
2 2
2
2
( , ( ( ))) ( ( ))
( , ( ( )))
( ( ))
p pp p
p
p p
n nI I
g s x s x sK g s x s ds K ds
x x s x
 


12 2 2 2n
KH n KH KH
n KHx
   

 , [0, ]2 2 t n
    . 
Suy ra 
( )
,n n
n
C x
x X
x
  hay 
( )
lim 0,
n
n
nx n
C x
x X
x 
  . 
Do . n tương đương với . N nên ta suy ra được 
( )
lim 0,
N
N
nx N
C x
x X
x 
  . 
Vậy bổ đề đã được chứng minh. 
Chứng minh định lý 3.1 : 
Từ các Bổ đề 1, 2, 3 suy ra các giả thiết của Định lý 2.3 đều thỏa, do vậy trong 
chứng minh của định lý này ta có ánh xạ 1I U C là ánh xạ hoàn toàn liên tục 
trên X0 và tồn tại tập D lồi, đóng và bị chặn trong X0 và sao cho 1( ) ( )I U C D D  . 
Áp dụng Định lý 2.1 bằng cách đặt C=D, 1( )T I U C , t0=0, x0=0 thì rõ ràng 
các giả thiết của Định lý này đều thỏa. Vậy định lý 3.1 được chứng minh. 
TAØI LIEÄU THAM KHAÛO 
1. Le Hoan Hoa and Klaus Schimtt (1994), « Fixed point theorems of 
Krasnosel'skii type in locally convex space and applications to integral 
equation » , Results in Mathematics, Vol.25, pp. 291-313. 
2. Lê Hoàn Hóa, Đỗ Hoài Vũ, Lê Thị Kim Anh (2008), « Tính compact và liên 
thông của tập nghiệm của phương trình tích phân trong không gian Fréchet”, 
Tạp chí Khoa học ĐHSP TP HCM, (14), tr. 20-31. 
Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 
_____________________________________________________________________________________________________________ 
 22 
3. Daria Bugajewska (2000), On the structure of solution sets of differential 
equations in Banach space, Math. Sovaca, No. 4, pp. 463-471. 
4. Leszek Gasi'nski, Nikolaos S.Papageorgiou (2005), Nonlinear Analysis, 
Taylor Francis Group , LLC. 
5. John W. Lee, Donal O'Regan (1994), Existence principles for differential 
equations and systems of equations, Topological methods in differential 
equations and inclusions, Kluwer Academic publishers. Series C: 
Mathematical and Physical Sciences, Vol. 472, pp. 239-289.