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

Chia sẻ: Nguyen Nguyen | Ngày: | Loại File: PDF | Số trang:12

Thêm vào BST

Báo xấu

59
lượt xem 1
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài viết phân tích tính chất Acyclic của tập nghiệm phương trình tích phân; đây là tài liệu tham khảo hữu ích dành cho sinh viên chuyên ngành Toán. Mời các bạn cùng tham khảo bài viết để nắm chi tiết nội dung nghiên cứu.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: 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ũ _____________________________________________________________________________________________________________ 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: t t x (t )   (t )  v (t , x ( (t )))  F (t , s , x (1 ( s )))ds  K (t , s ) g ( s, x ( 2 ( s )))ds , t  R (2).  0  0 Trong đó: R  [0, ) ;  E, .  là không gian Banach thực;  ,  1 ,  2 : R   R  ;  : R  E ; K : [0,  )2  L( E , E ) ; v, g : R  E  E ; F : R 2  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 t t x ( t )   ( t )  v ( t , x ( ( t )))   F ( t , s , x ( 1 ( s ))) ds  K ( t , s ) g ( s , x ( 2 ( s ))) ds , t  R  (2)  0 0 Here R  [0,  ) ;  E, .  real space Banach;  ,  1 ,  2 : R  R  ;  : R  E ; K : [0,  )2  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 11 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ v, g : R  E  E ; F : R 2  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:  x '( t )  g ( t , x ( t ))  , t  [0 , a ]  R ; (1)  x (0 )  x 0 với g : [0, a ]  R n  R n 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: t t x (t )   (t )  v (t , x ( (t )))   F (t , s , x(1 ( s ))) ds   K (t , s ) g ( s , x( 2 ( s ))) ds , t  R (2). 0 0 Trong đó: R  [0,  ) ;  E , .  là không gian Banach thực;  ,  1 ,  2 : R   R  ;  : R  E ; K : [0, )2  L( E , E ) ; v, g : R  E  E ; F : R 2  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. 12 Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ _____________________________________________________________________________________________________________ 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, K  t  K ; t  t0    , 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 t0  K và x0  C sao cho T ( x )(t0 )  x0 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 x K  y K thì T ( x ) K  T ( y ) K với mọi x, y  C ,     (iv) Mọi dãy ( xn )nN , xn  C , sao cho lim ( xn  T ( xn ))  0 có giới hạn điểm. n  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 U a : 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 a  , U a ( D )  D , (A.2) Với mọi a  , p  P tồn tại ka  Z  có tính chất   0, r  N ,   0 :  ap ( x, y )       ap (U ar ( x),U ar ( y ))   , trong đó    ap ( x, y )  max p U ai ( x)  U aj ( y ) , i, j  0,1,2,..., ka ,  N  1,2,3,... , Z   N  0 . Đị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 , 13 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ (iii) Tồn tại x0  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: p(U xr0 ( x)  U xr0 ( y ))   p ( x  y ) , (iv) C hoàn toàn liên tục và p (C ( A))   khi p ( A)  , A  X , p(C ( x )) (v) lim  0, x  X . p ( x )  p ( 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 1 ta có ánh xạ  I  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, 1 đóng và bị chặn (chứa phần tử 0) trong X sao cho  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]: Lp (; 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 f  Lp () với p  1,   . 1  p p p Ghi chú: L (; E ) là không gian Banach với chuẩn f p   f d   và trong      p p trường hợp E = R+ chúng tôi dùng kí hiệu L (  ) thay cho L (; 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 ( p  (1,  ) ) 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 hC  Lp    và tập compact K C  E sao cho x  C  g (t , x )  hC (t ) K C với hầu hết t . 3. Kết quả chính 14 Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ _____________________________________________________________________________________________________________ Đặt X 0  C 0,   ; 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 pn ( x )  sup  x (t )  , ta có X0 là không gian Fréchet với metric t[0, n ]  pn ( x  y ) d ( x, y )   2 n . 1  pn ( x  y ) n 1 Đặt X n  C 0, 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 x n  sup  x (t )  . t[0, n ] 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  ( t )  t , 1 (t )  t ,  2 ( t )  t ; t  [0,  ) . V2.2 v : R  E  E là hàm liên tục sao cho các điều kiện sau thỏa: t (i) Tồn tại hàm l : R  R sao cho l (t )  với mỗi t  [0, n], n 1 (ii) Với mỗi hằng số C > 0 nếu x  C thì v (0, x )  0, (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 Ft (s, x)  F (t, s, x) là hàm Carathéodory trên [0,t], (ii) Tồn tại các hàm h, k : [0,  )  [0,  ) sao cho h là hàm liên tục, k  L1 ([0,  )) 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 , g (t , x ) (ii) lim  0 đều theo biến t trên mỗi tập con bị chặn của R+ x  x 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: p 1 (i) Kt  Kt '  0 đều khi t  t ' với q , L ( E , E ) L ([0, n ]) q p 15 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ q (ii) Họ t  K (t , s ) L( E , E ) thỏa điều kiện: q   0,   0 :   R,  ( )   , s    K (t , s ) L( E , E ) 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  Đặt K ( t )  k ( s ) ds , H  sup  h (t )  , L  sup  l (t )  ta có L< 1. t[0, n ] t[0, n ] 0 Trên Xn xét chuẩn x N  sup t[0, n ]  e  NK ( t ) x (t )  , với N là hằng số được chọn sao cho N  H , ta có chuẩn x N tương đương với chuẩn x n . 1 L Đặt t  U ( x )(t )   ( t )  v(t , x (t ))  F (t , s, x(1 ( s))) ds , Uz(x)(t) = z(t) + U(x)(t). 0 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 X n , x  N . Chứng minh: t t   Uz ( x)(t )  Uz ( y)(t)  v(t, x(t))  v(t, y(t ))  F (t, s, x(1(s)))ds  F (t, s, y(1(s)))ds . 0 0 t   l ( t ) x ( t )  y ( t )  k ( s ) h ( s ) x (1 ( s )))  y (1 ( s )) ds 0 Tương đương e  NK (t ) U z ( x )( t )  U z ( y )(t )  e  NK ( t )l (t ) x (t )  y (t )  t  NK (t ) k (s)h(s)eNK (1 ( s))e NK (1 (s)) x(1(s)))  y(1(s)) ds. e  0 16 Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ _____________________________________________________________________________________________________________ t  NK ( s )   L x y N  H e  NK ( t )  de   x y N ds N  ds  0    L  H x  y N , t  [0, n ]. N  Vậy U z ( x )  U z ( y ) N  L  H x  y N . N  Vì N  H nên suy ra L  H  1 do đó Uz là ánh xạ co. 1 L N Bổ đề 2 Nếu giả thiết V2.4i và V2.5 thỏa thì t  C ( x )(t )  K (t , s ) g ( s, x ( 2 ( s )))ds 0 là một toán tử hoàn toàn liên tục trên X n , .  N . Chứng minh: Giả sử  là một tập bị chặn trong Xn. Khi đó A   x  2 ( s )  : x  , s  [0, 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 x 2 (s)  C với mọi x 2 ( s)   A . Do g là hàm Lp- Carathéodory nên tồn tại hàm không âm hC  Lp    và tập compact KC  E sao cho g ( s, x( 2 ( s )))  hC ( s ) K C , với hầu hết s  [0, n ] ; điều này suy ra được tồn tại hằng số dương G sao cho g ( s, x( 2 ( s)))  GhC ( s ) , với hầu hết s  [0, n ] . 1) Chứng minh C (  ) liên tục đồng bậc Với mọi t , t '  [0, n ] : t  t '   , đặt t0  max{t , t '} khi đó với mọi x   ta có: t t' C ( x )(t )  C ( x )(t ')   K (t, s)  g (s, x( (s)))  ds   K (t ', s)  g (s, x( (s))) ds 0 2 0 2 t t    K (t, s)  K (t ', s) g ( s, x( (s))) ds   K (t ', s) g ( s, x( (s))) ds 0 2 t' 2 17 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ 1  1 1 n  p  t0  q t  q p  q q    g(s, x(2 (s))) ds   K (t, s)  K (t ', s) ds    K (t ', s) L( E,E ) ds    0     0  L( E,E )       t'    1  1 1 n  p  t0 q q  t q  q   p       0     0   G hC ( s) ds  K (t , s )  K (t ', s) L ( E ,E ) ds     K (t ', s) L ( E , E ) ds      t'    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  xmm trong Xn sao cho lim xm  x0 . Đặt A  xm (s): s [0, n], m N* m   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  m ( s )  g ( s, xm ( 2 ( s )))  g ( s , x0 ( 2 ( s ))) ta có:  m ( s )  0 và m (s)  2GhC ( s) với hầu hết s  [0, n ] . Đặt K  sup t[0, n ]  K (t, s) L ( E , E ) Lq ([0,n ])  ta có: t C ( xm )(t )  C ( x0 )(t )    K ( t , s ) g ( s, x 0 m ( 2 ( s )))  K (t , s ) g ( s, x0 ( 2 ( s ))) ds t   K (t, s ) 0 L( E , E ) g ( s, xm (2 ( s)))  g ( s, x0 (2 ( s ))) ds 1 n p p  K  g ( s, xm (2 ( s )))  g ( s , x0 (2 ( s ))) ds   0    1 n p p  K   m ( s ) ds  , t  [0, n].  0    18 Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ _____________________________________________________________________________________________________________ 1 n p p Suy ra C ( xm )  C ( x0 ) n  K   m ( s ) ds  .  0    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 C (  )( t ),  t  [0, 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à b  K C  b* (b )  r . Như vậy với mỗi x   và hầu hết s  [0, n ] ta có b*  g ( s, x ( 2 ( s )))   hC (t )r . t Xét trường hợp h 0 C ( s )ds  0 , theo tính chất của tích phân Bochner suy ra t  t * t   g ( s , x (2 ( s )))ds   b  g ( s, x ( 2 ( s )))  ds r  hC ( s )ds * 0  0 b t t  t0  r.     hC ( s )ds   hC ( s )ds  hC ( s ) ds  0  0 0 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 t t  0 g ( s , x ( 2 ( s )))   0 hC ( s )ds  co ( K C ) , Do đó t t    0 K ( t , s ) g ( s, x ( 2 ( s )))   0 hC ( s ) ds  co ( K ( t , s )( K C ))  K 1 . Vậy t  C (  )( t )    hC ( s ) ds  co ( K ( t , s )( K C ))  K 1 ,  t  [0, n ]. 0  19 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ t Xét trường hợp h 0 C ( s )ds  0 khi đó ta có h = 0 với hầu hết t  [0, n ] vì vậy g ( s, x ( 2 ( s )))  0 với hầu hết t  [0, n ] , do đó dễ dàng suy ra được C (  )( t )  K 1 ,  t  [0, n ]. Vì K C 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 C (  )( t ),  t  [0, 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 X n , . n và do đó cũng hoàn toàn liên tục trên  Xn, . N . Bổ đề 3 C ( x) N Nếu giả thiết V2.4ii thỏa thì lim  0. x N  xN Chứng minh: g ( s, x) Ta có   0 ,   0 :   với mọi x thỏa x   và s  [0, n] . x 2 Kn Khi x   vì g là hàm Lp- Carathéodory nên tồn tại hằng số G > 0 sao cho 1 n p p g ( s, x )  GhC ( s ) với hầu hết s  [0, n] . Đặt H  G  hC ( s ) ds  ta có H hữu  0    hạn. Chọn 1 : 1   khi đó với mọi x  X với x   , đặt n 1 1 2HK n I1  s [0, n]: x( 2 ( s))    , I 2  [0, n] \ I1 Ta có: t C ( x )(t )  1  K (t, s)  g (s, x( ( s)))  ds 2 xn xn 0 20 Tạp chí KHOA HỌC ĐHSP TP HCM Lê Hoàn Hóa, Đỗ Hoài Vũ _____________________________________________________________________________________________________________ 1 n p p K  g ( s, x ( 2 ( s ))) ds   xn 0     1 1    p  p p  p  K  p   g ( s, x ( 2 ( s ))) x ( 2 ( s ))    x n   g ( s , x ( 2 ( s ))) ds     x (  2 ( s )) p ds     1   I2   I  1 1  p  p p p K p  g ( s , x ( ( s ))) ds   K  g ( s , x ( ( s ))) x ( ( s )) 2 2 ds   x n  2    x( 2 ( s )) p xn p   I1   I2   KH   n  KH     KH         , t  [0, n ] . x n 2n 1 2 2 KH 2 2 2 C( x) n C( x) n Suy ra   , x  X n hay lim  0, x  X n . xn x n  xn C( x) N Do . n tương đương với . N nên ta suy ra được lim  0, x  X n . x N  xN 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 1 chứng minh của định lý này ta có ánh xạ  I  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 ( I  U )1C ( D)  D . Áp dụng Định lý 2.1 bằng cách đặt C=D, T  ( I  U )1C , 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. 21 Tạp chí KHOA HỌC ĐHSP TP HCM Số 21 năm 2010 _____________________________________________________________________________________________________________ 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. 22