Luận văn Thạc sĩ Toán học: Phương trình vi phân đối số lệch loại trung hòa

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

Thêm vào BST

Báo xấu

52
lượt xem 5
download

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

Luận văn Thạc sĩ Toán học: Phương trình vi phân đối số lệch loại trung hòa gồm có 3 chương trình bày về những khái niệm và kết quả dùng trong chứng minh; các bổ đề và định lí; dạng tiệm cận của phương trình vi phân trung hòa. Mời các bạn tham khảo luận văn để nắm bắt nội dung chi tiết.

Chủ đề:

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

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Phương trình vi phân đối số lệch loại trung hòa

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH -------------------- Võ Văn Thảo PHƯƠNG TRÌNH VI PHÂN ĐỐI SỐ LỆCH LOẠI TRUNG HÒA Chuyên ngành : Toán giải tích Mã số : 60 46 01 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS.TS LÊ HOÀN HÓA Thành phố Hồ Chí Minh – 2009
LỜI CẢM ƠN Tôi xin bày tỏ lòng biết ơn sâu sắc đến PGS.TS. Lê Hoàn Hóa, người thầy rất tận tình chỉ bảo tôi từng bước nghiên cứu trong suốt quá trình làm luận văn này. Tôi xin chân thành cảm ơn quí thầy, cô đã tận tình giảng dạy tôi trong suốt khóa học. Tôi xin gởi lời cảm ơn đến quí thầy, cô và các anh, chị làm công tác quản lý ở phòng sau đại học, những người đã tạo điều kiện tốt nhất để tôi hoàn thành khóa học. Tôi cũng xin chân thành cảm ơn Ban Giám Hiệu trường THPT Nguyễn An Ninh, quí thầy cô và các bạn đồng nghiệp cùng khóa học cũng như các bạn đồng nghiệp đã tạo điều kiện tốt nhất để tôi hoàn thành khóa học, đặc biệt là thầy Trần Quang Huy. Người viết Võ Văn Thảo
MỞ ĐẦU 1. Lí do chọn đề tài Bài toán về phương trình vi phân ,sự tồn tại nghiệm và dạng tiệm cận của nghiệm đã được nhiều tác giả nghiên cứu ,đó là lí do để tôi chọn đề tài này. 2. Mục đích nghiên cứu Luận văn này trình bày lại toàn bộ nội dung của bài báo [1] và [2], mà phần chính là phương trình vi phân đối số lệch và dạng tiệm cận của nghiệm. 3. Đối tượng và nội dung nghiên cứu Đối tượng bao gồm: Phương trình vi phân đối số lệch và dạng tiệm cận của nghiệm, trong không gian Banach. Về nội dung nghiên cứu trình bày lại toàn bộ nội dung của bài báo [1] và[2]. 4. Ý nghĩa khoa học và thực tiễn Dạng tiệm cận của nghiệm dùng để chứng minh phương trình trình vi có nghiệm và phương trình vi phân là một trong những công cụ ứng dụng nhiều trong vật lý. 5. Cấu trúc của luận văn Luận văn được chia thành các mục như sau: Mở đầu, nêu lý do chọn đề tài, mục đích, đối tượng và nội dung nghiên cứu, cũng như ý nghĩa khoa học và thực tiễn của đề tài, đồng thời nêu bố cục của luận văn. Chương 1: Những khái niệm và kết quả dùng trong chứng minh. Chương 2: Các bổ đề và định lí. Chương 3: Dạng tiệm cận của phương trình vi phân trung hòa.
Chương 1 : NHỮNG KHÁI NIỆM VÀ KẾT QUẢ DÙNG TRONG CHỨNG MINH 1.1. Các kí hiệu  - R( , A)  ( I  A)1 và e * x  e  x được xác định như sau:  e * x( )  (e  x)( )  e x với x  E ,   . - BC ( R , X ) là không gian Banach của các hàm liên tục, bị chặn từ R đến X. - BUC ( R , X ) là không gian con đóng của các hàm liên tục, bị chặn. - Nếu f : R  X tập tất cả các tịnh tiến ,được gọi là bao của f là H ( f ) :  f (.  t ): t  R  - Một hàm f  BC ( R , X ) được gọi là tiệm cận hầu như cộng tuyến tuần hoàn nếu: H ( f ) là compact tương đối trong BC ( R , X ) . - x(t )  A(t ) x(t )  L(t ) xt  f (t ); xS   , t  s  0 (1.1) - x(t )  A(t ) x(t ) t  s Với x  s   x  E . (1.2) 1.2. Định nghĩa Họ các toán tử tuyến tính T (t )t 0 xác định trên không gian Banach X được gọi là nửa nhóm liên tục mạnh nếu: - T (s  t )  T (s)  T (t ) t , s  0 - T (0)  I - Mỗi x  X , T (.) x liên tục trên 0,    Ngoài ra nếu t  T (t ) là liên tục theo tôpô của hội tụ đều thì ta gọi T (t )t 0 là một nửa nhóm liên tục đều.
1.3 . Định nghĩa T (t )t 0 là nửa nhóm liên tục mạnh xác định trên X với h  0 , ta định T (h) x  x nghĩa toán tử tuyến tính Ah xác định như sau: Ah x  , x X . h Ký hiệu: D( A) là tập tất cả các x  X sao cho lim Ah x tồn tại, xác h0 định toán tử A trên D( A) như sau: Ax  lim A x , x  D( A) . h0 h Ta gọi toán tử A xác định như trên là toán tử sinh của nửa nhóm T (t )t 0 Khi đó ta có kết quả sau: - D( A) là trù mật trong X và A là toán tử tuyến tính đóng trên D( A) . - Nửa nhóm liên tục mạnh T (t )t 0 có một toán tử sinh là bị chặn khi và chỉ khi T (t )t 0 là một nửa nhóm liên tục đều. 1.4. Định lí :(Hille-Yosida- Phillips) Cho A là một toán tử tuyến tính đóng với miền xác định trù mật. Khi đó A là toán tử sinh của một nửa nhóm liên tục mạnh nếu và chỉ nếu tồn tại các số thực M và  sao cho với    , ta có    ( A) và R( , A)n  M (   )n với n  * Trong đó : R( , A)  ( I  A)1 1.5. Định lí Cho T (t )t 0 là nửa nhóm liên tục mạnh xác định trên X và A là toán tử sinh tương ứng. Khi đó ta có kết quả sau: lim  R( , A) x  x , x  X  
Chương 2 : CÁC BỔ ĐỀ VÀ ĐỊNH LÍ 2.1. Bổ đề 1 2.1.1. Phát biểu Cho U (s, t )t s0 là một họ tiến hóa bị chặn trên X,  là không gian con đóng của BUC ( R , X ) . Giả sử ánh xạ : t  U (t  s, s) x thuộc về  với mọi x  X và s  0 , t  . t Nếu h  L1(  , X ) thì ánh xạ t   U ( s  t , s   )h( )d 0 thuộc  với mọi s  0. 2.1.2. Chứng minh t Với s  0 ,đặt U s * f (t )   U ( s  t , s   ) f ( )d với f  L1 ( , X ) 0 Khi đó : ánh xạ f  us * f là tuyến tính, liên tục từ L1 ( , X ) vào BC ( R , X ) Thật vậy Chứng minh us * f bị chặn: t 1 Ta có: us * f (t )   u (t  s, s   ). f ( )d  M  f ( ) d  M f L1 , t  0 0 0 Trong đó M  sup u (t , s) t s0  f L1  0 f ( ) d Vậy us * f (t ) bị chặn  Mặt khác với giả thiết: (t , s)  u (s, t ) liên tục mạnh trên (t , s)  2 :t  s 
Nên us * f liên tục trên  Vậy us * f  BC ( R , X ) - us * f tuyến tính (hiển nhiên) - us * f liên tục được suy ra từ kết quả: us * f  M f L1 Xét h  1  x với 0  a  b, x X  a ,b    x , t   a, b  Với 1   x(t )   a,b 0 , t   a, b     Khi đó: với t  0 t b Ta có: us * h(t  b)  0 u (t  b  s, s   )h( )d b = a u(t  b  s, s   ) xd Mà u (t  b  s, s   )  u (t  b  s, b  s) u (b  s, s   )    a, b  b Vậy us * h(t  b)  u (t  b  s, b  s)  u (b  s, s   ) xd a Vì t  u (t  b  s, b  s) x thuộc  x  X , s  0 Nên us * h(.  b)  . do  là dịch chuyển (“bi-invariant” nên us * h(.)  , s  0  Nếu h là hàm đơn giản trên L1( , X ) thì do kết quả vừa chứng minh ở trên và tính tuyến tính của tích phân nên us * h   Nếu h  L1(  + , X ) thì do tập các hàm đơn giản trên L1( , X ) là trù mật trong L1( , X ) .
1 Nên tồn tại dãy (hn ) các hàm đơn giản hn  L h Mà f  us * f liên tục nên us * hn  us * h Do  đóng nên : us * h  (điều phải chứng minh). 2.2. Chuỗi DYSON-PHILLIPS và dáng điệu của tiệm cận của nghiệm trong trường hợp thuần nhất 2.2.1. Giới thiệu bài toán - Cho ( A(t ), D( A(t )))t 0 là một họ ổn định và sinh ra một họ tiến hóa (V (t , s))t s0 trên một không gian Banach E thỏa: V (t , s)  M .e (t  s) với  là các hằng số trên và M  1 . - Cho họ ( L(t ))t 0 các toán tử tuyến tính từ Cr vào E với L(.)  BC (  , Ls (Cr , E )) , nghĩa là : t  L(t ) là hàm liên tục mạnh và bị chặn. - Phương trình vi phân đối số lệch biến thuần nhất không tự điều khiển: x(t )  A(t ) x(t )  L(t ) xt t  s (2.1) Với xs    cr : C ( r ,0 , E ) . được nhiều tác giả nghiên cứu trong 10,13,20,26 của bài báo  I  , tác giả đã chỉ ra sự tồn tại và duy nhất nghiệm yếu của (2 .1) Nghĩa là : hàm liên tục x thỏa x :  s  r ,    E  t (2.2) x(t )   s  v(t , s) (0)  v(t , ) L( ) xd ts   ( s, t ) sr t  s và ( xt ) là họ tiến hóa trên Cr Trong phần này chúng tôi muốn chỉ ra rằng : bằng cách khác chúng tôi chỉ ra sự tồn tại nghiệm yếu của (2.1).
Chính xác hơn chúng tôi chỉ ra họ nghiệm của (2.1), được biểu diễn dưới dạng Chuỗi DYSON-PHILLIPS và thỏa công thức biến thiên hằng số . Đồng thời nghiệm yếu của (2.1) có cùng dáng điệu tiệm cận với ánh xạ: t  v(t  s, s) x , s  0 , x  E , (t  ) . Trong các bài báo [2,5] đã chỉ ra rằng: họ nghiệm tiến hóa của phương trình không dừng ( L(t )  0) được cho bởi: v(t   , s) (0) t   s u(t , s) ( )   (*)  (t    s) s  r  t   s với   Cr Kết quả (*) được dùng nhiều trong các chứng minh ở phần sau. 2.2.2. Bổ đề 2 a) Phát biểu : Cho g  C (  , E) t  Khi đó: lim  u (t , ).e * .R( , A(0)) g ( )d   s tồn tại đều trên Cr trong các tập compact của (t , s): t  s  0. b) Chứng minh : Với   0  max ( ,0) (  là hằng số đánh giá của họ v(t , s) trong chuổi Phillips). Và 0 s  t T ( T  0 cho trước) t Đặt W (t , s):  u(t , ) e* R( , A(0)) g ( )d s    r ,0 Với    t  s  r
Ta có t  W (t , s)( )   u (t , ) e* R( , A(0)) g ( )( )d + s t  u (t , ) e* R( , A(0)) g ( )( )d t  Do (*) ta có t  W (t , s)( )   u(t   , ) R( , A(0)) g ( )d + s t   e (t   ) R( , A(0)) g ( )d t  Do đó với  ,   0 ta có: t  W (t , s)( )  W (t , s)( )   v(t  , )[ R( , A(0)   R( , A(0))]g ( )d s t +  [ e (t   ) R( , A(0))   e (t   ) R( , A(0))]g ( )d t  Khi t    s . và t W (t, s)( )  W (t , s)( )   [ e (t   ) R( , A(0)   e (t   ) R( , A(0))]g ( )d s khi t    s . Nhận xét: t t   e(t   ) R( , A(0) g ( )d   e (t   ) R( , A(0) . g d t  t  với g  sup g ( ) 0.T   
  R( , A(0)) . g 1  R( , A(0)) . g  M  . g với      M Do R( , A(0))  với    (định lý Hill-Yosida-Phillips)   Nên T W (t , s)( ) W (t , s)( )  M (t )   R( , A(0))   R( , A(0))]g ( ) d + 0 M M 0T (  ) g ( )       0sup ( M (T )  Me )  T Sử dụng kết quả: lim  R( , A(0)) x  x x  E .    lim  R( , A(0))   R( , A(0))]g ( ) d  0  [0,T ] .   Theo định lí hội tụ bị chặn Lebesgue, ta có: T  R( , A(0))   R( , A(0))]g ( ) d  0  ,    lim 0 Suy ra sup W (t , s)( )  W (t , s)( )  0 khi  ,    r ,0           Đều trên tập (s, t ): 0  s t T  ( điều phải chứng minh)  Từ bổ đề trên ta đưa ra định nghĩa họ các toán tử (un (s, t ))n0 như sau : u0 (s, t )  u(s, t ) t un (s, t )  lim  u (t , )e*  R( , A(0)) L( )un1( ) d   s với   Cr , n  1 và 0 st
2.2.3. Định lí 1 a) Phát biểu : i. Chuỗi uL (s, t ):  un (t, s) , t  s  0 hội tụ đều trên L(Cr ) trên n 0 tập (t, s):0  s  t  T  (T  0) và (uL (t , s))t  s 0 là họ tiến hóa trên Cr . Hơn thế nữa ta có công thức biến thiên hằng số: uL (t , s)  u (t , s)  t lim  u (t , )e*  R( , A(0)) L( )u ( , s) d (2.3)   s Thỏa với mọi   Cr và t  s  0 ii. Với mọi   Cr và s  0 u (t , s) (0) ts Hàm xác định bởi: x(t , s, ):  L (2.4)  (t  s) sr t  s Là nghiệm yếu của (2.1) và xt  uL (t , s) ts0 b) Chứng minh i) với n  0 ta có: u0 (t , s)  Me (t  s) t s0 với n  1, t  s  0 và   Cr ta có: t u1(t , s)  lim  u (t , )e*  R( , A(0)) L( )u0 ( , s) d   s
Nên t u1(t, s)  lim  u(t, )e*  R( , A(0)) L( )u0 ( , s) d   s Ta có : u0 ( , s)  u( , s)  Me (  s) t   s Với e  1 ,    r ,0 (  0 ) M R( , A(0))  với      lim  R( , A(0)) x  x   Suy ra u1(t , s)  M 2 L(.)  e (t  s) (t  s)  Nên u1(t, s)  M 2 L(.) e (t  s) (t  s)  Bằng quy nạp ta chứng minh được ( M 2 L(.)  ) n un (t , s)  .Me (t  s).(t  s), n  , n! t s0 Vì vậy chuỗi  un (t, s) hội tụ đều trong L(Cr ) trên n0 (t, s): s  t  T . (uL (t , s))t  s 0 liên tục do bổ đề (2) và chuổi hội tụ đều theo (chứng minh trên) Ngoài ra uL (t , s):  un (t, s) t s0 n0 uL (t , s)  u(t , s)   un (s, t ) ; n1
t un (t , s)  lim  u (t , )e*  R( , A(0)) L( )un 1( , s) d   s Suy ra n t n 1     uk (t, s)  lim   u(t, )e  R( , A(0))L( )   uk ( , s)  d *  k 1 s  k 0    Cho n Ta có: uL (t , s)  u (t , s)  t lim  u (t , )e*  R( , A(0)) L( )uL ( , s) d   s Vậy (i) đã được chứng minh ■ (ii) từ (2.3) ta có: uL (t, s) ( )   t  v(t   , s) (0)  v(t  , ) L( )uL ( , s) d t   s     s  (t    s) s  r  t  s ( 2.5) uL (t   , s) (0) t   s Nên uL (t , s) ( )    (t    s) s  r  t   s Bây giờ hàm (2.4) x(t , s, ) thỏa xt  uL (t , s) Theo (2.2) thì xt là nghiệm yếu duy nhất của (2.1) (ii) được chứng minh ■ Bây giờ chúng ta xem xét tính bền của dáng điệu tiệm cận của phương trình (1.2). Cụ thể hơn chúng ta giả sử hàm t  v(t  s, s) x s  0, x  E nằm trong một không gian con đóng thuần nhất  nào đó của BUC ( R , E )
 1 0  q  Và sự tồn tại các hằng số  M thỏa s  0  o   L(t  s)u (  s, s) d  q  (2.6) 0 Với    Cr , s  so Ta có kết quả chính sau 2.2.4. Định lí 2 a) Phát biểu : Giả sử (2.6) xảy ra và t  v(t  s, s) x ( s  0, x  E ) nằm trong một không gian con đóng thuần nhất  nào đó của BUC ( R , E ) . Khi đó: Nghiệm t  x(t  s, s, ) của (2.1) cũng nằm trong  với mọi   Cr và s  0 b) Chứng minh Với t  0 s  so và   Cr Vì t  s  s nên ta có kết quả đã biết x(t  s, s, )  uL (t  s, s) (0) t s  v(t  s, s) (0)   v(t  s, )L( )uL ( , s) d theo (2.5) s t   v(t  s, s) (0)  v(t  s,  s)L(  s)uL (  s, s) d 0 (Đổi cận tích phân với u    s ) Theo bổ đề (1) ta chỉ cần chứng minh. L(.  s)U L (.  s, s)  L1(  , E )
Thật vậy theo công thức (2.3), ta có: L(t  s)uL (t  s, s)  L(t  s)u (t  s, s)  ts lim  L(t  s)u(t  s, )e*  R( , A(0)) L( )u( , s) d   s Do đó: t t  L(  s)uL (  s, s) d   L(  s)u(  s, s) d  0 0 t  s L(  s)u(  s, )e*  R( , A(0)) L( )uL ( , s) d d     lim 0 s t   L(  s)u(  s, s) d  0 t  s  s  lim   L(   )u (   , )e*  R( , A(0)) L( )uL ( , s) d d   s 0 Do (2.6) , ta có: t t  L(  s)u(  s, s) d   L(  s)u(  s, s) d  0 0 t  s  s  lim   L(   )u(   , )e*  R( , A(0)) L( )uL ( , s) d d   s 0 t  q   q lim  e*  R( , A(0)) L( )uL ( , s) d   s t  q   q  L(  s)uL (  s, s) d 0  q   q2   k  Do đó với 0  s  so ,   Cr ta có :
L(.  s)U L (.  s, s)  L1(  , E ) . Do bổ đề (1) ánh xạ : t  x(t  s, s, ) thuộc  . với 0  s  so , t  0 ,   Cr ta có thể viết uL (t  so  s, s) (0)  uL (t  so  s, so  s) uL (so  s, s) (0) vì s  so  so nên: Ta suy ra: t  uL (t  so  s, s) Do  thuần nhất nên t  uL (t  s, s) (0)  (Định lí được chứng minh)■ 2.3. Trường hợp không thuần nhất:công thức biến thiên hằng số và dạng tiệm cận 2.3.1. Giới thiệu bài toán Phương trình vi phân lệch không thuần nhất x(t )  A(t ) x(t )  L(t ) xt  f (t ) t s0 (2.7) xs    Cr Trong đó ( A(t ), D( A(t ))t 0 là họ ổn định, sinh ra họ tiến hóa liên tục mạnh (v(t , s))t  s 0 trên một không gian Banach E và:  v(t , s)  Me (t  s) (t , s): t  s  0 (với  , M là các hằng số, M  1 )  L(.)  BC (  , Ls (Cr , E )) và f  Lloc1(  , E ) . 2.3.2. Định nghĩa Một hàm liên tục x : x(., s, ):  r ,    E được gọi là nghịêm yếu của (2.7) nếu:
 t v(t , s) (0)  v(t , )[ L( ) x  f ( )]d x(t )      ts (2.8)  s  (t  s) sr t  s Sự tồn tại nghiệm yếu của (2.7) đã được nghiên cứu bởi nhiều tác giả [3,5]. Ở đây chúng ta muốn chỉ ra nghiệm yếu của phương trình (2.7) bởi công thức biến thiên hằng số. 2.3.3. Bổ đề 3 a) Phát biểu : f  Lloc1( , E ) (t , s): t  s  0 t Ta có: lim  e (s  ) R( , A(0)) f ( )d  0   s b) Chứng minh Nếu f  C([s,t ], E ) với  đủ lớn ta có: t t  (  ) M  sup f  e (s  )d  e R( , A(0)) f ( )d  s   s s  t s (định lý Hill-Yosida-Phillips) M 1 es t  .. sup f ( ) (    )   s  t M    s t f ( )  . sup . t Nên lim   e (s  ) R( , A(0)) f ( )d  0   s Nếu f  Lloc1(  , E ) thì f  L1 ([ s, t ], E ) Khi đó tồn tại dãy ( f n ) trong C([ s,t ], E ) : f n  f 1 0 L [ s,t ]
t  ( s  ) R( , A(0)) f ( )d  Do đó :  e s t  ( s  ) R( , A(0))[ f ( )  f ( )]d  e n s t    e (s  ) R( , A(0)) f n ( )d s    I t    e (s  ) R( , A(0)) . f ( )  f n ( ) d  I s t M .. f ( )  f n ( ) d  I cho    rồi cho n       s Suy ra điều phải chứng minh■ 2.3.4. Bổ đề 4 a) Phát biểu : Với mỗi f  Lloc1(  , E ) t lim  uL (t, )e*  R( , A(0)) f ( )d hội tụ đều trong Cr trên các   s tập compact của tập (t , s): t  s  0 b) Chứng minh : Theo bổ đề (3) để có bổ đề (4) ta chỉ cần xét f  C([0,T ], E ) ( T  0 là hằng số sao cho: T  t  s  0 ) Với   max( , o) t  Đặt Z (t , s)   uL (t , ) e * R( , A(0)) f ( )d . s
Với  [r , o], t    s từ công thức (2.5) ta có: t  Z (t , s)( )   uL (t , ) e* R( , A(0)) f ( )( )d s t   uL (t, )e* R(, A(0)) f ( )( )d t  t    v(t   , ) R( , A(0)) f ( )d s t   e (t   ) R(, A(0)) f ( )d t  t  t     v(t  , )L( )U L ( , )e* R(, A(0)) f ( )d d (2.9) s    I t   * R(, A(0)) f ( )d d Mà I    v(t  , )L( , )e s s (đổi thứ tự lấy tích phân) t     V (t  , ) L( )  U L ( , )e* R(, A(0)) f ( )d d s s t    V (t  , ) L( )Z ( , s)d s  Nên với t    s ta có: t  Z (t , s)( )   V (t  , ) R( , A(0)) f ( )d s t   e (t   ) R( , A(0)) f ( )d t 