1. Trang chủ
  2. » Luận Văn - Báo Cáo

bài toán biên dạng tuần hoàn cho phương trình vi phân hàm bậc nhất phi tuyến

59 943 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 59
Dung lượng 597,22 KB

Nội dung

THƯ BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH NGUYỄN VĂN TIẾN BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT PHI TUYẾN Chuyên ngành : Tố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 NGUYỄN ANH TUẤN Thành phố Hồ Chí Minh - 2011 LỜI CẢM ƠN Đầu tiên tơi xin bày tỏ lịng biết ơn sâu sắc đến PGS.TS Nguyễn Anh Tuấn, người tận tâm hướng dẫn tạo điều kiện tối đa để tơi hồn thành luận văn Tơi xin gửi lời cảm ơn đến Quý Thầy, Cô Hội đồng chấm luận văn giành thời gian đọc, chỉnh sửa đóng góp ý kiến giúp cho tơi hồn thành luận văn cách hồn chỉnh Tơi xin cảm ơn Ban Giám Hiệu, Phòng KHCN-Sau Đại học tồn thể thầy khoa TốnTin học trường Đại học Sư Phạm TP Hồ Chí Minh giảng dạy tạo điều kiện tốt cho suốt thời gian nghiên cứu đề tài Cuối cùng, q trình viết luận văn khó tránh khỏi thiếu sót, mong nhận góp ý Quý Thầy Cô bạn đọc nhằm bổ sung hoàn thiện đề tài Xin chân thành cảm ơn TP Hồ Chí Minh tháng 12 năm 2010 BẢNG CÁC KÍ HIỆU  Tập hợp số tự nhiên R Tập hợp số thực R  [0, ) Tập hợp số thực không âm R  (,0] Tập hợp số thực khơng dương A Bao đóng tập A C  a, b  ; R  Không gian Banach hàm liên tục v :  a, b   R với chuẩn v C  max  v(t ) : a  t  b C   a, b  ; D  Không gian hàm liên tục v :  a, b   D , D  R C  a, b  ; D  Không gian hàm liên tục v :  a, b   D thỏa mãn điều kiện  v(a )   v(b)   C   a, b  ; D  Tập hàm liên tục tuyệt đối v :  a, b   D i Bc  a, b  ; R  Tập hàm v  C  a, b  ; R  thoả mãn điều kiện  v  a    v  b   sgn    i   v  a    i  1  v  b    c    ,  , c  R i  1, 2 L   a, b  ; R  Khơng gian Banach hàm khả tích Lebesgue p :  a, b   R với chuẩn b p L   p  s  ds a L  a, b  ; D  Không gian hàm p :  a, b   D khả tích Lebesgue, D tập R M ab Tập hàm đo  :  a, b    a, b  ; Lab Tập toán tử  : C  a, b  ; R   L  a, b  ; R  tuyến tính bị chặn cho với  tồn   L  a, b ; R  thoả mãn bất đẳng thức   v  t     t  v C t   a, b  , v  C  a, b  ; R  Khi  gọi tốn tử tuyến tính bị chặn mạnh Pab Tập toán tử  : C  a, b  ; R   L  a, b  ; R  cho  tuyến tính   Lab Tập toán tử F : C  a, b ; R   L  a, b  ; R  liên K ab tục thoả mãn điều kiện Carathèodory, nghĩa với r  tồn qr  L  a, b ; R  cho F  v  t   qr  t  , t   a, b  , v C r Tập hàm f :  a, b   A  B ,  A  R n , B  R, n    K  a, b   A; B  thoả điều kiện Carathèodory, nghĩa :  Hàm f  , x  :  a, b   B đo với x  A  Hàm f  t ,  : A  B liên tục với t   a, b   Với r  tồn qr  L  a, b  ; R  cho f  t , x   qr  t  t   a, b  , x  r Toán tử t0 -Volterra  t0   a, b  Tập toán   Lab tử cho với a1   a, t0  , b1  t0 , b  cho a1  b1 với hàm v  C  a, b  ; R  thoả mãn điều kiện : v  t   0, t   a1 , b1  ta có   v  t   hầu khắp nơi  a1 , b1  1  x    x  x   x  sgn x  1 2 1  x    x  x   x  sgn x  1 2 Toán tử   Lab gọi không tầm thường,  1  hai số tùy ý MỞ ĐẦU Phương trình vi phân hàm (PTVPH) xuất vào kỉ 18 với vai trị cơng thức tốn học tốn vật lí hình học Ta tìm thấy chúng cơng trình Ơle Condorcet Tuy nhiên, cuối kỉ 19, PTVPH nghiên cứu ứng dụng cá biệt chưa nghiên cứu cách hệ thống Chỉ cơng trình E.Schmidt , F.Shurer E.Hilb năm đầu kỉ 20, cố gắng nghiên cứu có tính hệ thống phương trình đặc biệt với đối số chậm xuất Tầm quan trọng dạng PTVPH nảy sinh thập niên 30 đặc biệt ứng dụng mở rộng học, sinh học kinh tế Tại thời điểm này, sở lý thuyết định tính phương trình đối số chậm phương trình vi tích phân đặt cơng trình Myshkis R.Bellman Họ số nhà toán học khác theo hướng cơng nhận việc xây dựng lí thuyết định tính mở rộng PTVPH tồn Lý thuyết khơng quan trọng ứng dụng mà ảnh hưởng rộng rãi đến nhiều lãnh vực toán học tuý Trong thập kỉ 70, người ta ý nhiều đến việc xây dựng lí thuyết toán biên PTVPH Nhiều phương pháp khác đưa sử dụng vấn đề Thí dụ: lý thuyết tốn tử Fredholm, phương pháp tham số nhỏ, phương pháp topo, v v Từ quan điểm đương thời, nói phương pháp giải tích hàm phương pháp topo phương pháp hữu dụng Qua ứng dụng có tính hệ thống phương pháp này, sở lý thuyết toán biên cho lớp rộng PTVPH xây dựng Tuy nhiên tận bây giờ, thực tế toán biên cho PTVPH nghiên cứu với thành cơng phận Khó khăn nảy sinh việc nghiên cứu PTVPH nằm đặc trưng khơng cục phương trình chúng xuất phương trình tuyến tính.Ví dụ, câu hỏi tính giải tốn biên đơn giản (bài toán giá trị đầu): u'  t   p  t  u    t   q  t  , u  a   0, (với p,q :[a; b]  R hàm khả tích Lebesgue  :[a; b]  [a; b] hàm đo được), không trở nên tầm thường với phương trình vi phân thơng thường, có nghĩa trường hợp   t   t, t  [a; b] Bởi ta không ngạc nhiên biết tài liệu chun khảo khơng có nhiều thơng tin chi tiết tính giải tốn giá trị đầu Mặt khác, độ lệch   t   t “nhỏ” (có nghĩa phương trình “đóng” với PTVP thường), cách trực giác ta trơng đợi tốn cho có nghiệm Trong trường hợp đơn giản, hiệu lực giả thiết thử lại trực tiếp Với tốn phức tạp phương pháp tồn cục khơng cung cấp đủ độ xác, tự nhiên ta cần tìm kĩ thuật xác để nghiên cứu PTVPH phát sinh Về phần PTVP thường, lý thuyết hoàn toàn hiệu xây dựng cho toán giá trị biên, sử dụng phương pháp mà sở nằm giải tích tốn học Việc tương ứng với nỗ lực để điều chỉnh phương pháp giải tích tốn học việc nghiên cứu PTVPH Trong vài năm sau nỗ lực thành công trường hợp vài tốn biên PTVPH Đặc biệt cơng trình I.Kiguradze P.Buza, điều kiện phức tạp tính giải giải lớp rộng thật toán biên cho PTVPH tuyến tính lẫn phi tuyến tìm Được truyền cảm hứng từ kết định sử dụng phương pháp giải tích tốn học nghiên cứu kĩ thuật toán biên PTVP thông thường với điều chỉnh phù hợp cho PTVPH Phần lớn phương pháp đánh giá tiên nghiệm kĩ thuật bất đẳng thức vi phân Trong luận văn tơi nghiên cứu tốn biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến Bài tốn có dạng sau: Xét tồn nghiệm phương trình vi phân hàm phi tuyến: u  t   F  u  t  với điều kiện biên u  a   u  b   h  u  Trong F  K ab ,  ,   R,     0, h : C  a, b  ; R   R r  0,  M r  R cho : h  v   M r v C hàm liên tục thoả mãn r  Nghiệm toán hàm u C  a, b ; R  cho u  t   F  u  t  hầu khắp nơi  a, b thỏa mãn điều kiện biên u  a   u  b   h  u  Luận văn gồm chương: Chương Chúng ta xây dựng điều kiện cần đủ để tốn tử tuyến tính bị chặn mạnh   thuộc vào lớp Vab ( ,  ) Chương Đây nội dung luận văn Trong chương xây dựng điều kiện đủ để toán biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến có nghiệm có nghiệm Chương Trong chương xây dựng tính chất hiệu để tốn biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến có nghiệm có nghiệm Trong phần cuối chương, áp dụng kết tốn biên dạng tuần hồn cho phương trình vi phân hàm phi tuyến để nghiên cứu điều kiện đủ cho việc tồn nghiệm tốn biên dạng tuần hồn cho phương trình vi phân đối số lệch CHƯƠNG 1: MỘT SỐ BẤT ĐẲNG THỨC VI PHÂN Trong luận văn này, nghiên cứu tính giải tốn biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến Trước hết ta giới thiệu bất đẳng thức vi phân 1.1 BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT TUYẾN TÍNH Xét phương trình vi phân hàm tuyến tính bậc nhất: u(t )  (u )(t )  q (t ) (1.1) u (a)  u (b)  c (1.2) với điều kiện biên   Lab , q  L([a, b]; ); c    ,   R cho        Nghiệm toán (1.1), (1.2) hàm u  C ([ a, b];  ) thoả mãn phương trình (1.1) hầu khắp nơi [a,b] thỏa mãn điều kiện biên (1.2) Lưu ý Các đẳng thức bất đẳng thức hàm khả tích hiểu hầu khắp nơi [a,b] Cùng với toán (1.1) , (1.2) ta xét toán tương ứng u(t)  (u)(t) (1.10)  u(a)   u(b)  (1.20) Từ kết I Kiguradze, B Puza [1] ta có định lí sau: Định lý 1.1 Bài tốn (1.1) , (1.2) có nghiệm tốn tương ứng (1.10), (1.20) có nghiệm tầm thường Chú ý 1.2 Theo định lý Riesz-Schauder tốn (1.10), (1.20) khơng có nghiệm tầm thường tồn q  L([a, b]; ),c   cho tốn (1.1), (1.2) khơng có nghiệm 1.2 MỘT SỐ BẤT ĐẲNG THỨC VI PHÂN Giả sử       Hơn nữa, trường hợp     tốn tử   Lab phải tốn tử khơng tầm thường, nghĩa  1   Định nghĩa 1.3 Ta nói tốn tử   Lab thuộc vào tập hợp Vab ( ,  ) ,  thoả mãn điều kiện sau: (i) Bài tốn (1.10), (1.20) có nghiệm tầm thường (ii) Với q  L([a, b]; R ), c  R thỏa mãn (sgn   sgn  )c  (1.3) tốn (1.1), (1.2) có nghiệm không âm   Chú ý 1.4 Theo định nghĩa, toán tử   Vab ( ,  ) với u , v  C [a, b];   thoả mãn bất đẳng thức sau: (i ) u(t )  (u )(t )  q(t ), t   a, b  (ii ) v(t )  (v)(t )  q (t ), t  [ a, b] (iii )  u (a)   u (b)   v(a)   v(b) u (t )  v (t ) với t  [a, b] Chứng minh Đặt h(t )  v(t )  u  t  Theo (i), (ii), (iii) ta có h  t     h  t  , t   a, b   h(a )   h(b)  Dễ thấy h(t ) nghiệm phương trình sau: h(t )  (h)(t )  q (t )  h(a)   h(b)  c với q  t   h  t     h  t   , c  h  a   h b Do c  sgn   sgn    2c.sgn     h(a )   h(b) sgn     h(a )   h(b)      nên theo định nghĩa   Vab ( ,  ) ta có tốn có nghiệm h  t  khơng âm Từ suy u (t )  v(t ) với t  [a, b]  Chú ý 1.5 Theo Định lý 1.1, rõ ràng   Vab ( ,  ) tốn (1.1), (1.2) có nghiệm với c   q  L([a,b]; )  Hơn nữa,   Pab   Vab ( ,  )    Chứng minh Do    Vab ( ,  ) nên với q  L([ a, b]; R ), c  R thỏa mãn điều kiện (sgn   sgn  )c  , tốn (1.1), (1.2) có nghiệm u  t   C  a, b  ; R  Mặt khác,   Pab nên   u  t   L  a, b  ; R  Do ta suy u(t )  (u )(t )  q(t )  Do hàm q  t  ta chọn hàm dương nên ta phải có u(t )  (u )(t )  q (t )  hay u(t) hàm tăng ngặt theo t hay u  b   u  a  Lại  u  a    u  b   c     u  a    u  b   (sgn   sgn  )  c(sgn   sgn  )  (sgn   sgn  )c    sgn    sgn        u  a    u b       u b   u a nên ta có    Mệnh đề 1.6 Giả sử      Pab  Khi   Vab ( ,  ) toán u(t )  (u )(t ), u (a )  u (b)  (1.4) khơng có nghiệm khơng âm khác tầm thường Chứng minh  Điều kiện cần: Giả sử   Vab ( ,  ) , ta chứng minh toán (1.4) khơng có nghiệm khơng âm khác tầm thường Gọi u nghiệm tốn (1.4) Vì   u (a)  u (b)  nên ta có  u (a)   u (b)  Áp dụng Chú ý 1.4 với v  t   0, q  t   ta u (t )  với t   a, b  Do đó, tốn (1.4) khơng có nghiệm khơng âm khác tầm thường Điều kiện đủ : Giả sử tốn (1.4) khơng có nghiệm khơng tầm thường không âm Ta chứng  minh   Vab ( ,  ) theo định nghĩa (1.1) Gọi u0 nghiệm toán (1.10), (1.20) Ta chứng minh u0  t   Ta có:   u0  t    u0  t  sgn  u0  t     u0  t  sgn u0  t     u0   t  sgn u0  t        Vab   ,   ,  1  Vab   ,   Khi   , 1   B   ,   Chứng minh Ta chứng minh Bổ đề 2.12 định nghĩa  Lấy q*  L  a, b ; R  , c  R , u  C  a, b  ; R  thỏa mãn u  a    u  b   sgn  u  a    c,   (2.76) u  t   1  u  t   sgn u  t     u   t   q*  t  , t   a, b    (2.77) Ta chứng minh tồn r  cho (2.14)  Do   Vab   ,   nên giả thiết Bổ đề 2.2 thỏa mãn Chúng ta chứng minh bất đẳng thức (2.14) xác với r  r0 số dương Bổ đề 2.2  Đặt q  t   u  t   1  u  t  , t   a, b  , ta có:   u  t   1  u  t   q  t  , t   a, b    q  t  sgn u  t     u   t   q*  t  t   a, b  Do đó, ta có:    u  t       u _  t     u   t   q *  t        1 u   t   1  u   t     u   t   q*  t  , t   a, b    u  t    1 u   t     u   t   q*  t        1 u   t   1  u   t     u   t   q*  t  , t   a, b   Do 1  Vab   ,   nên theo Định lí 1.1 tốn    t   1   t   1  u   t     u   t   q*  t    a     b   c sgn  Có nghiệm  Do   (2.76) ta có:  u  a      u  b     c ,      u  a      u  b     c      Từ   , bất đẳng thức trên, kết hợp điều kiện 1  Vab   ,   ý 1.4 dẫn đến u  t       t  ,   Suy Do đó, ta chứng minh   u  t       t  , u  t     t  , t   a, b  t   a, b     t      t   q*  t  , t   a, b   Do   Vab   ,   ,   a     b   c sgn  từ bất đẳng thức ta suy   t   v  t  , t   a, b  Trong v nghiệm tốn v  t     v  t   q  t  , v  a   v  b   c với q  q* c  c sgn  Và theo Bổ đề 2.2 đánh giá (2.14) xác với r  r0 CHƯƠNG 3: CÁC TIÊU CHUẨN HIỆU QUẢ VỀ TÍNH GIẢI ĐƯỢC CỦA BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN HÀM PHI TUYẾN BẬC NHẤT Ở chương 3, ta thiết lập điều kiện cụ thể cho tính giải giải toán (2.1), (2.2) điều kiện biên (2.2) dạng tuần hoàn, nghĩa bất đẳng thức   thoả mãn Mục 3.1 nói định lý tồn nghiệm tốn; mục 3.2 nói định lý nghiệm toán Mục 3.3 đề cập đến phương trình vi phân đối số lệch Mục 3.4 đưa ví dụ nhằm chứng minh tính tối ưu bất đẳng thức Định lí 3.1 Các định lý chương giải vấn đề    , trường hợp    , ta giải theo hướng tương tự Trong phần ta giả sử hàm q  K  a; b   R ; R  hàm không giảm theo đối số thứ hai thoả mãn: b q  s, x  ds  x  x  a lim 3.1 CÁC ĐỊNH LÝ VỀ TỒN TẠI NGHIỆM Định lí 3.1 Giả sử      Giả sử tồn c  R  cho tập C  a, b ; R  ta có h  v  sgn   v  a    c ,  Giả sử tồn  , 1  Pab cho  1 L  o o  1  L   1 L   1 1 L    1  (3.1) (3.2) L o Trên tập B c  a; b  ; R  ta có bất đẳng thức:   F  v  t     v  t   1  v  t   sgn v  t   q t , v   Khi đó, tốn (2.1), (2.2) có nghiệm Chứng minh C , t   a, b  Từ (3.1),(3.2) ta thấy điều kiện Bổ đề 2.7 thỏa mãn Từ suy   1  A1   ,   Đặt     1  A1   ,   Do bất đẳng thức h  v  sgn   v  a    c ,   F  v  t     v  t   1  v  t   sgn v  t   q t , v   C , t   a, b  ta thấy điều kiện Bổ đề 2.5 thỏa mãn với i=1     1  A1   ,   Vậy toán (2.1), (2.2) có nghiệm Chú ý 3.2 Giả sử     Đặt D tập hợp cặp số thực dương  x, y   R  R thỏa mãn điều kiện  x   y  1 x  1 x x  1, Định lí 3.1 viết lại sau : Giả sử      Giả sử tồn c  R  cho tập C  a, b  ; R  ta có h  v  sgn   v  a    c , (a)  Giả sử tồn  , 1  Pab cho o  1 L , 1 1 L   D o Trên tập B c  a; b  ; R  ta có bất đẳng thức:   F  v  t     v  t   1  v  t   sgn v  t   q t , v   C , t   a, b  (b) Khi đó, tốn (2.1), (2.2) có nghiệm Ở mục 3.4 ta chứng tỏ với x0 , y0  R , x0 , y0  D , tồn hàm F  K ab ,  , 1  Pab c0  R cho điều kiện (a) (b) với h  c0 , c  c0 x0   1 L , y0  1 1 L , toán (2.1), (2.2) với h  c0 khơng có nghiệm Định lí 3.3 Giả sử      Giả sử tồn c  R  cho tập C  a, b  ; R  ta có bất đẳng thức h  v  sgn   v  b    c  Giả sử tồn  , 1  Pab cho 1 1 L  o  o    1 1      1 L  L (3.3)   1 1  (3.4) L o Trên B c  a; b  ; R  ta có bất đẳng thức:   F  v  t     v  t   1  v  t   sgn v  t    q t , v   C  , t   a, b Khi đó, tốn (2.1), (2.2) có nghiệm Chứng minh Từ (3.3),(3.4) ta thấy điều kiện Bổ đề 2.8 thỏa mãn Từ suy   1  A2   ,   Đặt     1  A2   ,   Do bất đẳng thức h  v  sgn   v  b    c ,   F  v  t     v  t   1  v  t   sgn v  t   q t , v   C , t   a, b  ta thấy điều kiện Bổ đề 2.5 thỏa mãn với i=2     1  A2   ,   Vậy tốn (2.1), (2.2) có nghiệm Định lý 3.4 Giả sử     Giả sử tồn c  R cho tập C  a, b  ; R  ta có bất đẳng thức h  v  sgn   v  a    c,  Giả sử tồn  , 1  Pab cho  o   Vab   ,   ,  1  Vab   ,   o Trên tập hợp B c  a, b  ; R  bất đẳng thức   F  v  t   1  v  t   sgn v  t     v   t   q t , v   C  , t   a, b  Khi tốn (2.1), (2.2) có nghiệm Chứng minh   Do   Vab   ,   , 1  Vab   ,   nên theo Bổ đề 2.12 ta có   , 1   B   ,   Kết hợp với bất đẳng thức ta thấy điều kiện Bổ đề 2.10 thỏa mãn Do tốn (2.1), (2.2) có nghiệm 3.2 CÁC ĐỊNH LÝ DUY NHẤT NGHIỆM Định lí 3.5 Giả sử     ,  Trên tập C  a, b  ; R  ta có bất đẳng thức    h  v   h  w   sgn   v  a   w  a    , ,    Giả sử tồn  , 1  Pab cho  1 L  o  1 o  L   1 L   1 1 L    1  L o Trên tập B c  a; b  ; R  với c  h   ta có bất đẳng thức:  F  v  t   F  w  t     v  w  t   1  v  w  t   sgn  v  t   w  t    0, t   a, b   Khi đó, tốn (2.1), (2.2) có nghiệm Chứng minh Từ bất đẳng thức toán tử  , 1 ta thấy điều kiện Bổ đề 2.7 thỏa mãn Suy   1  A1   ,   Điều kết hợp với bất đẳng thức lại ta suy điều kiện Bổ đề 2.6 thỏa mãn với i=1     1 Từ tốn (2.1), (2.2) có nghiệm Định lí 3.6 Giả sử     , giả sử  Trên tập C  a, b  ; R  ta có bất đẳng thức    h  v   h  w   sgn   v  b   w  b    ,    Tồn  , 1  Pab cho o o 1 1 L   ,      1 1    1 L  L   1 1 L ,  o Trên tập B c  a; b  ; R  với c  h   ta có bất đẳng thức:  F  v  t   F  w  t     v  w  t   1  v  w  t   sgn  v  t   w  t    0, t   a, b    Khi đó, tốn (2.1), (2.2) có nghiệm Chứng minh Từ bất đẳng thức toán tử  , 1 ta thấy điều kiện Bổ đề 2.8 thỏa mãn Suy   1  A2   ,   Điều kết hợp với bất đẳng thức lại ta suy điều kiện Bổ đề 2.6 thỏa mãn với i=2     1 Từ tốn (2.1), (2.2) có nghiệm Định lí 3.7 Giả sử    giả sử  Trên tập C  a, b  ; R  ta có bất đẳng thức    h  v   h  w   sgn   v  a   w  a    ,    Tồn  , 1  Pab cho  o   Vab   ,   ,  1  Vab   ,   , o Trên tập B c  a; b  ; R  với c  h   , ta có bất đẳng thức:  F  v  t   F  w  t   1  v  w  t   sgn  v  t   w  t      v  w   t  , t   a, b    Khi đó, tốn (2.1), (2.2) có nghiệm Chứng minh   Từ điều kiện   Vab   ,   ,  1  Vab   ,   theo Bổ đề 2.12 ta có   , 1   B   ,   Điều kết hợp với bất đẳng thức lại ta suy điều kiện Bổ đề 2.11 thỏa mãn Do tốn (2.1), (2.2) có nghiệm 3.3 BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN ĐỐI SỐ LỆCH Trong mục ta xét trường hợp riêng toán (2.1), (2.2) Đó tốn biên dạng tuần hồn cho phương trình vi phân đối số lệch n     u ' t    pk  t  u k  t    gk  t  u k  t    f t, u  t  , u 1  t   , , u  n  t   , k 1 Với điều kiện biên: (3.5) u  a   u  b   h  u  (3.6) Trong f  K  a, b   R n 1 ; R  , pk , g k  L  a, b  ; R  ,        k , k  M ab k  1, m ,  j  M ab j  1, n , m, n N ; h : C  a, b  ; R   R hàm liên tục thoả mãn r  0,  M r  R cho : h  v   M r v C r Ta giả sử q  K  a, b   R ; R  hàm không giảm theo biến thứ thỏa mãn đẳng thức b lim  q  s, x  ds  x  x a Ta đưa toán (3.5), (3.6) dạng (2.1), (2.2) cách đặt sau: Đặt m     F  v  t    pk  t  v  k  t    g k  t  v k  t    f t , v  t  , v   t   , , v  n  t   , k 1 m m   v  t    pk  t  v  k  t  , 1  v  t    g k  t  v k  t  , k 1 k 1 m m p0  t    p j  t , g  t    g j  t  j 1 j 1 Khi tốn (3.5) , (3.6) thành u ' t   F  u t  u  a  u  b  h u Ta chứng minh toán tử  , 1 F thỏa mãn điều kiện toán (2.1), (2.2)  1 L 1 1  p0 L , L  g0 L 3.3.1 CÁC ĐỊNH LÝ TỒN TẠI NGHIỆM Định lí 3.8 Giả sử      Giả sử tồn c  R cho tập C  a, b  ; R  ta có bất đẳng thức: h  v  sgn   v  a    c  Trên tập hợp  a, b   R n 1 ta có bất đẳng thức: f  t , x, x1 , , xn  sgn x  q  t , x  (3.7)  Giả sử tồn pk , g k  L  a, b  ; R   k  1, , m  cho o p0 L  1, (3.8) p0 o  L  p0 L   g0  L   p0 (3.9) L Khi đó, tốn (3.5), (3.6) có nghiệm Chứng minh Từ (3.7) ta có:     f t , v  t  , v   t   , , v  n  t   sgn v  t   q t , v  t  , t   a, b    q t, v t   q t, v Mà  C , t   a, b   Nên ta có: f t , v  t  , v   t   , , v  n  t   sgn v  t   q  t , v Hay  F  v  t     v  t   1  v  t   sgn v  t   q t , v    C , t   a, b  C , t   a, b  Kết hợp với (3.8), (3.9) ta thấy điều kiện định lý 3.1 thỏa mãn Do đó, theo định lí 3.1 tốn (2.1), (2.2) có nghiệm Từ suy tốn (3.5), (3.6) có nghiệm Chú ý Bất đẳng thức nghiêm ngặt (3.8), (3.9) thay bất đẳng thức khơng ngặt Chi tiết xem mục Chú ý phần 3.4 Định lí 3.9 Giả sử      Giả sử tồn c  R cho tập C  a, b  ; R  ta có bất đẳng thức: h  v  sgn   v  b    c ,  Trên tập hợp  a, b   R n 1 ta có bất đẳng thức: f  t , x, x1 , , xn  sgn x   q  t , x  (3.10)  Giả sử tồn pk , g k  L  a, b  ; R   k  1, , m  cho g0 o o     g0   p0 L L  2 L  ,    g0  (3.11) L (3.12) Khi đó, tốn (3.5), (3.6) có nghiệm Chứng minh Một cách tương tự định lí 3.8 Từ (3.10),(3.11),(3.12) ta thấy điều kiện định lí 3.3 Do đó, theo định lí 3.3 tốn (2.1), (2.2) có nghiệm.hay tốn (3.5), (3.6) có nghiệm 3.3.2 ĐỊNH LÝ TỒN TẠI DUY NHẤT NGHIỆM Định lí 3.10 Giả sử      Giả sử tồn c  R cho tập C  a, b ; R  ta có bất đẳng thức    h  v   h  w   sgn   v  a   w  a    ,    Trên tập hợp  a, b   R n 1 ta có bất đẳng thức:  f  t , x, x1 , , xn   f  t , y, y1 , , yn   sgn  x  y      Giả sử tồn pk , g k  L  a, b  ; R   k  1, , m  cho p0 o o p0  L  p0 L L  1,   g0  L   p0 L Khi đó, tốn (3.5), (3.6) nghiệm Chứng minh Dễ thấy điều kiện định lí 3.5 thỏa mãn Vậy, theo định lí 3.5 tốn (2.1), (2.2) có nghiệm Từ tốn (3.5), (3.6) có nghiệm Định lí 3.11 Giả sử     ,  Giả sử tồn c  R cho tập C  a, b ; R  ta có  h  v   h  w   sgn    v  b   w  b     0,      Trên tập hợp  a, b   R n 1 ta có bất đẳng thức:    f  t , x, x1 , , xn   f  t , y, y1 , , yn   sgn  x  y    Giả sử tồn pk , g k  L  a, b  ; R   k  1, , m  cho g0 o o     g0 L    p0 L  ,  L 2   g0  L Khi đó, tốn (3.5), (3.6) có nghiệm Chứng minh Dễ thấy điều kiện định lí 3.6 thỏa mãn Vậy, theo định lí 3.6 tốn (2.1), (2.2) có nghiệm Từ tốn (3.5), (3.6) có nghiệm 3.4 CHÚ Ý Cho     Rõ ràng x0 , y0     x0 , y0   D  x0 , y0  thuộc tập sau: D1   x, y        :1  x ,    x    x  1, y   D2   x, y        : ,    1 x    D3   x, y     Cho  x0 , y0   D1 Đặt a  0, b  3,    y0  p (t )   x0  0 , t  [0,1) , t  1,  , , t   2,3     : x  1,  x  y   1  y0      1  , t   0,   z (t )   x0       x    1  t  3 , t   2,3  1 , t   0,1  3 , t  1,3   (t )   Dễ dàng chứng minh b x0    p ( s ) ds, a b y0    p( s ) ds (3.13) a Và toán u(t )  p(t )u  (t )   z (t )u (t ), u (a)   u (b)  (3.14) Có nghiệm khơng tầm thường       t     u (t )   x0  (t  1)       x    1  t  3     , t   0,1 , t  1,  , t   2,3 Khi theo Chú ý 1.2 , tồn q0  L  a, b ;   c0   cho toán (2.1), (2.2) với F (v)(t )  p (t )(v( (t ))  z (t )v(t )  q0 (t ), h(v)  c0 (3.15) khơng có nghiệm, với  (v)(t )   p (t )  v( (t )), 1 (v)(t )   p(t )  v( (t )), q  q0 , c  c0 Ta có h  v  sgn   v  a    c , v  C  a, b ; R   , 1  Pab (3.16) Cho  x0 , y0   D2 Đặt a  0, b   x0  p (t )   y0 0  , t   0,1 , t  1,  , , t   2,3 1 , t   0,1  0 , t  1,3   (t )    t   0,   z (t )      (1  x0 )   y0 (1  x0 )    (1  x )      (1  x )   y (1  x )  (t  3) t   2,3 0 0  Dễ dàng chứng minh (3.13) thoả mãn, tốn (3.14) khơng có nghiệm tầm thường   x0 t     x0    u (t )    y0 (t  1)   x0      (1  x )     y0  (t  3)    x0    , t   0,1 , t  1,  , t   2,3 Khi đó, theo Chú ý 1.2, tồn q0  L  a, b  ;   , c0   cho toán (2.1), (2.2) với F h cho (3.15) khơng có nghiệm, điều kiện h  v  sgn   v  a    c , v  C  a, b ; R  thoả mãn, với  , 1 , q, c định nghĩa (3.16) Cho  x0 , y0   D3 Đặt a  0, b  0    x0 p (t )    x0 2  x  y 0  , t   0,1   2,3 , t  1,   3,  , t   4,5  , t  5,6 6 , t   0,3   4,5    (t )  2 , t  3,  1 , t  5,6  Hiển nhiên, (3.13) thoả mãn Hơn nữa, định nghĩa G  K ab v(t ) v(t )  G (v)(t )  0 q (t )  Với q0  L  a, b ;   cho , t   0,1   2,3 , t  1,   3,5  , t  5,6  , 1  Pab (3.17)  q (s)ds   y 0   x0 (*) Ta chứng minh toán (2.1), (2.2) với F h cho F  v  t   p  t  v   t    G  v  t  , h  v   (3.18) vô nghiệm, điều kiện (3.17) thoả mãn, với  , 1 , q, c định nghĩa     v  t    p  t    v   t   ,  1  v  t    p  t   _ v   t   ,  q  q0 , c0 (3.19) Thật vậy, giả sử ngược lại u nghiệm toán (2.1), (2.2) với F h cho (3.18), có nghĩa điều kiện (1.10) u  t   p  t  u   t    G  u  t  , t   a, b  (3.20) Từ (3.20) ta có u (1)  u  0 ,  u 0 u (2)  u 1  u    x0 , u (3)  u (2) ,  u  2 u (4)  u (3)  u    x0 , u    u    u   x0 ,   u    u    y0   x0 u 1   q0  s  ds Từ đẳng thức cuối ta suy       u u00   u u22     u u00  u u22   y u  3  y0   x0 u 1   q0  s  ds  q  s  ds  y0   x0  y0   x0 Điều mâu thuẫn với bất đẳng thức (*)   x0 KẾT LUẬN VÀ KIẾN NGHỊ Mục đích luận văn nghiên cứu điều kiện đủ cho việc tồn nghiệm toán biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến (2.1), (2.2) Nội dung luận văn gồm chương: Chương Chúng ta xây dựng điều kiện cần đủ để toán tử tuyến tính bị chặn mạnh    Vab   ,   Kết mệnh đề 1.6 định lý 1.7 Chương Đây nội dung luận văn Trong chương xây dựng điều kiện đủ để toán (2.1), (2.2) có nghiệm có nghiệm Các kết bổ đề 2.5, bổ đề 2.6, bổ đề 2.10 bổ đề 2.11 Chương Trong chương 3, dựa kết chương chương xây dựng tính chất hiệu để tốn (2.1), (2.2) có nghiệm có nghiệm Kết định lý 3.1, định lý 3.3, định lý 3.5 định lý 3.6 Trong phần cuối chương, áp dụng kết toán biên dạng tuần hồn cho phương trình vi phân hàm phi tuyến (2.1), (2.2) để nghiên cứu điều kiện đủ cho việc tồn nghiệm toán biên dạng tuần hồn cho phương trình vi phân đối số lệch Kết định lý 3.8 định lý 3.10 Từ vấn đề đưa luận văn, câu hỏi đặt kết cịn hay khơng cho phương trình vi phân hàm bậc cao hay toán biên nhiều điểm cho phương trình vi phân hàm Hơn tốn chúng tơi cịn chưa nghiên cứu tính xấp xỉ nghiệm thời gian có hạn Chính thơng qua kết đạt luận văn này, tác giả mong muốn mở rộng tiếp tục nghiên cứu vấn đề nêu Tuy nhiên, với hiểu biết hạn chế thân, tác giả mong học hỏi từ góp ý bảo Quý Thầy, Cơ ngồi Hội đồng TÀI LIỆU THAM KHẢO Tiếng Việt [1] Haim Brezis (2002), Giải tích hàm lý thuyết ứng dụng, NXB Đại Học Quốc Gia TP Hồ Chí Minh Tiếng Anh [2] I Kiguradze and B Puza (1997), “On boundary value problems for systems of linear functional differential equations”, Czechoslovak Math.J, 47(2), pp.341 – 373 [3] I Kiguradze and B Puza (1997), “Conti-Opial type theorems for systems of functional differential equations”, Differentsial’nye Uravneniya, 33(2), pp.185 – 194 [4] I Kiguradze and B Puza (1997), “On periodic solutions of systems of linear functional differential equations”, Arch Math J, 33(3), pp.197 – 212 [5] I Kiguradze and B Puza (1998), “On the solvability of nonlinear boundary value problems for functional differential equations”, Georgian Math J , 5(3), pp.251 – 262 [6] R Hakl, A Lomatidze and J Sremr (2002), Some boundary value problems for first order scalar functional differential equations, Masaryk University Brno, Czech Republic ... phương trình vi phân hàm bậc phi tuyến Trước hết ta giới thiệu bất đẳng thức vi phân 1.1 BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN HÀM BẬC NHẤT TUYẾN TÍNH Xét phương trình vi phân hàm tuyến. .. hiệu để tốn biên dạng tuần hồn cho phương trình vi phân hàm bậc phi tuyến có nghiệm có nghiệm Trong phần cuối chương, áp dụng kết tốn biên dạng tuần hồn cho phương trình vi phân hàm phi tuyến để... CỦA BÀI TỐN BIÊN DẠNG TUẦN HỒN CHO PHƯƠNG TRÌNH VI PHÂN HÀM PHI TUYẾN BẬC NHẤT Ở chương 3, ta thiết lập điều kiện cụ thể cho tính giải giải toán (2.1), (2.2) điều kiện biên (2.2) dạng tuần hoàn,

Ngày đăng: 19/02/2014, 10:15

Nguồn tham khảo

Tài liệu tham khảo Loại Chi tiết
[1] Haim Brezis (2002), Giải tích hàm lý thuyết và ứng dụng, NXB Đại Học Quốc Gia TP Hồ Chí Minh.Tiếng Anh Sách, tạp chí
Tiêu đề: Giải tích hàm lý thuyết và ứng dụng
Tác giả: Haim Brezis
Nhà XB: NXB Đại Học Quốc Gia TP Hồ Chí Minh. Tiếng Anh
Năm: 2002
[3] I. Kiguradze and B. Puza (1997), “Conti-Opial type theorems for systems of functional differential equations”, Differentsial’nye Uravneniya, 33(2), pp.185 – 194 Sách, tạp chí
Tiêu đề: Conti-Opial type theorems for systems of functional differential equations”, "Differentsial’nye Uravneniya
Tác giả: I. Kiguradze and B. Puza
Năm: 1997
[4] I. Kiguradze and B. Puza (1997), “On periodic solutions of systems of linear functional differential equations”, Arch. Math. J, 33(3), pp.197 – 212 Sách, tạp chí
Tiêu đề: On periodic solutions of systems of linear functional differential equations”, "Arch. Math. J
Tác giả: I. Kiguradze and B. Puza
Năm: 1997
[5] I. Kiguradze and B. Puza (1998), “On the solvability of nonlinear boundary value problems for functional differential equations”, Georgian Math. J , 5(3), pp.251 – 262 Sách, tạp chí
Tiêu đề: On the solvability of nonlinear boundary value problems for functional differential equations”, "Georgian Math. J
Tác giả: I. Kiguradze and B. Puza
Năm: 1998
[6] R. Hakl, A. Lomatidze and J. Sremr (2002), Some boundary value problems for first order scalar functional differential equations, Masaryk University Brno, Czech Republic Sách, tạp chí
Tiêu đề: Some boundary value problems for first order scalar functional differential equations
Tác giả: R. Hakl, A. Lomatidze and J. Sremr
Năm: 2002

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN