Nghiệm tuần hoàn của phương trình vi phân phi tuyến bậc hai loại trung hòa với đối số lệch

Chia sẻ: Năm Tháng Tĩnh Lặng | Ngày: | Loại File: PDF | Số trang:13

Thêm vào BST

Báo xấu

77
lượt xem 5
download

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

Trong bài báo này, tác giả sử dụng định lí điểm bất động của toán tử dạng Krasnoselskii để chứng minh sự tồn tại nghiệm tuần hoàn của phương trình vi phân phi tuyến bậc hai loại trung hòa với đối số lệch. Mời các bạn cùng tham khả để 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: Nghiệm tuần hoàn của phương trình vi phân phi tuyến bậc hai loại trung hòa với đối số lệch

Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ NGHIỆM TUẦN HOÀN CỦA PHƯƠNG TRÌNH VI PHÂN PHI TUYẾN BẬC HAI LOẠI TRUNG HÒA VỚI ĐỐI SỐ LỆCH LÊ HOÀN HÓA*, LÊ THỊ HẰNG** TÓM TẮT Trong bài báo này, chúng tôi sử dụng định lí điểm bất động của toán tử dạng Krasnoselskii để chứng minh sự tồn tại nghiệm tuần hoàn của phương trình vi phân phi tuyến bậc hai loại trung hòa với đối số lệch sau: x  t   cx  t     p  t  x  t   q  t  x  t     f t , x  t  1  t   , x  t   2  t   ,..., x  t  n  t    g  t  (1) trong đó c  1 và  là hằng số. Từ khóa: nghiệm tuần hoàn, phương trình vi phân phi tuyến bậc hai loại trung hòa với đối số lệch. ABSTRACT Periodic solutions for a second – order nonlinear neutral differential equation with deviating argument In this paper, we use Krasnoselskii’s fixed point theorem to prove the existence of periodic solutions for a second – order nonlinear neutral differential equation with deviating argument: x  t   cx  t     p  t  x  t   q  t  x  t     f t , x  t  1  t   , x  t   2  t   ,..., x  t  n  t    g  t  (1) where c  1 and  is a constant. Keywords: periodic solutions, second – order nonlinear neutral differential equation with deviating argument. 1. Giới thiệu Năm 2010, Guo, O’Regan và P.Agarwal [2] đã sử dụng định lí điểm bất động của toán tử dạng Krasnoselskii để chứng minh sự tồn tại nghiệm tuần hoàn của phương trình   x  t   cx  t     a  t  x  t   g t , x  t  1  t   , x  t  2  t   ,..., x  t  n  t    p  t  Trong bài báo trên, phương trình được xét không chứa đạo hàm cấp một x  t  , * PGS TS, Khoa Toán – Tin học Trường Đại học Sư phạm TPHCM ** HVCH, Trường Đại học Sư phạm TPHCM 37 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________ do đó trong bài báo này chúng tôi thiết lập một số điều kiện để chỉ ra sự tồn tại nghiệm tuần hoàn của phương trình (1). Để chứng minh sự tồn tại nghiệm tuần hoàn của phương trình (1), trước tiên chúng tôi tìm hàm Green của phương trình (1) để biến đổi phương trình (1) về phương trình tích phân, sau đó tiếp tục biến đổi đưa về dạng tổng của một ánh xạ co và một ánh xạ compact, từ đó áp dụng định lí điểm bất động kiểu Krasnoselskii. Để tìm hàm Green cho phương trình (1) chúng tôi dựa vào kết quả của Wang, Lian và Ge [3] khi các tác giả nghiên cứu sự tồn tại nghiệm tuần hoàn của phương trình  x  t   p  t  x  t   q  t  x  t   r  t  x  t    t    f t , x  t  , x  t    t    2. Kiến thức chuẩn bị Trong suốt bài báo này chúng tôi luôn giả sử: (H1) p và q là các hàm liên tục, tuần hoàn với chu kì T, T T  p  u du  0 ;  q u du  0 0 0 (H2) f  C  n 1 , , f  t  T , x1 , x2 ,..., xn   f  t , x1, x2 ,..., xn  t  và tồn tại k  0 : f  t , x   f  t , y   k x  y 2 , n trong đó . 2 là chuẩn Euclide trong (H3) g là hàm liên tục, tuần hoàn với chu kì T. (H4) i  i  1, 2,..., n  tuần hoàn với chu kì T, khả vi trên và i  t   1, t  1 Hơn nữa kí hiệu hàm ngược của t  i  t  là  i .Đặt  i  max 1  i  i  t   Bổ đề 1. ([3]) Giả sử điều kiện (H1) được thỏa mãn và  T   R1  exp   p  u  du   1     0    H5  1 Q1T 38 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ s  t T exp   p  u  du    2  t  T  2 với R1  max  q  s  ds và Q1  1  exp   p  u  du   R1 t 0,T   T     t exp   p  u  du   1   0    0  Khi đó tồn tại các hàm liên tục, tuần hoàn với chu kì T là a và b sao cho T b  t   0 ;  a  u  du  0 ; a  t   b  t   p  t  ; b  t   a  t  b  t   q  t  , t  0 Bổ đề 2. ([3]) Giả sử các điều kiện của bổ đề 1 được thoả mãn và φ là hàm liên tục, tuần hoàn với chu kì T. Khi đó phương trình sau sẽ có nghiệm tuần hoàn chu kì T : x  t   p  t  x  t   q  t  x  t     t  Hơn nữa nghiệm có dạng : t T x t    G  t , s    s  ds t s u s  t T u s T    exp  b  v  dv   a  v  dv  du    exp  b  v  dv   a  v  dv  du t  t u   s  t u  với G  t , s     T    T   exp   a  u  du   1 exp   b  u  du   1        0   0   Hệ quả. ([3]) Hàm Green G có các tính chất sau G t , t  T   G  t , t  ; G  t  T , s  T   G t , s  s  exp   b  v  dv  G   t   t, s   a  s  G  t, s   T s   exp   b  v  dv   1   0  39 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________ s  exp   a  v  dv  G   t   t , s   b  t  G  t , s   t T  exp   a  v  dv   1   0  Bổ đề 3. ([3]) T 1T  2 Đặt A   p  u  du , B  T exp   ln  q  u   du  . Nếu T  0  0   H6  A2  4 B thì ta có T T  1  0 0  2  min   a  u  du ,  b  u  du   A  A2  4 B : l  T T  1  0 0  2  m ax   a  u  du ,  b  u  du   A  A2  4 B : m  và khi đó ta có các đánh giá sau T  T  T  T exp   p  u  du  T exp   a  u  du  exp   b  u  du  T        G t , s   0  0  0  2 2 2 e m 1   l e 1   l e 1  2    T em  em   T  l 2  T  2 , với   em .  2  e 1 el  1  e  1 l s  exp   b  v  dv    Đặt Eb  t , s    t  . Khi đó ta có E  t , s    T b   exp   b  v  dv   1   0  Định lí Krasnoselskii Giả sử  là tập con khác rỗng, lồi, đóng và bị chặn của không gian Banach X. Các ánh xạ U , S :   X thỏa mãn các điều kiện sau: 40 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ i. Ux+Sy   với mọi x, y   . ii. U là ánh xạ co. iii. S là ánh xạ compact. Khi đó tồn tại z   sao cho z  Uz  Sz . 3. Kết quả chính Kí hiệu: a0  max a  t  , b0  max b  t  , g 0  max g  t  0,T  0,T  0,T  0  max f  t ,0,0,..., 0  , p0  max p  t  , q0  max q  t  0,T  0,T  0,T  Định lí. Giả sử các điều kiện từ (H1) – (H6) được thoả mãn và có thêm giả thiết sau n c 1  a0T 1  b0 T   k2T 2   i  1 i 1 Khi đó phương trình (1) sẽ có nghiệm tuần hoàn với chu kì T. Chứng minh:  Đặt X  x x  C 2  ,  , x  t  T   x  t  với chuẩn x  max x  t   max x  t   max x  t  0,T  0,T  0,T  Khi đó X , .   là không gian Banach. 1  x  t   p  t  x  t   q  t  x  t   cx  t       f t , x  t  1  t   , x  t  2  t   ,..., x  t  n  t    g  t  t T  xt    G  t, s  cx  s    f  s, x  s  1  s   ,..., x  s  n  s     g  s   ds t Áp dụng tích phân từng phần và hệ quả, ta được t T t T t T G  G t , s  x  s   ds  G t , s  x  s    s t   s  t , s  x  s    ds t t t T t T   x  s    Eb  t , s  ds   x  s   a  s  G t , s  ds t t 41 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________ t T t T  x t     x  s    b  s  Eb t , s  ds   x  s   a  s  G t , s  ds t t t T Vậy x  t   cx  t     c  x  s    b  s  Eb t , s  ds t t T   G  t, s  cx  s    a  s   f  s, x  s  1  s   ,..., x  s  n  s     g  s  ds t Chọn K1 là số thoả mãn  n   0  g0  2T 2  1  c 1  a0 T 1  b0T   k2T 2  i  K1  i 1  Đặt K 2  1  b0T K1 , K3    q0  k n K1  p0 K 2  g 0  0 và T 1 c    x  X x  t   K1 , x  t   K 2 , x  t   K 3  Khi đó Ω là tập con lồi, đóng, bị chặn của X. Đặt U, S là các ánh xạ xác định như sau U : X  X , Ux  t   cx  t    S:X X t T  Sx  t   c  x  s   b  s  Eb  t , s  ds t t T   G t, s  cx  s   a  s   f  s, x  s  1  s  ,..., x  s  n  s    g  s  ds t Ta kiểm tra các điều kiện của định lí Krasnoselskii 1) Với x, y   ta chứng minh Uy  Sx    Uy  t   cy  t     c K1  Sx  t   c b0TK1  c a02T 2 K 2 t T   G t , s   f  s, x  s  1  s  ,..., x  s  n  s    f  s,0,..., 0   ds t 42 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ t T 2 2   G t , s  f  s,0,...,0  ds  g0 T t 1 t T 2  n 2 2 2 2 2  c b0TK1  c a02T 2 K 2  k  2T   x  s  i  s    ds 0 T  g 0 T t  i 1  t T  n  2 2 2 2   x  s  i  s   ds 0 T  g 0 T 2 2 2  c b0 TK1  c a0 T K 2  k  T  t  i 1  n T x u   c b0TK1  c a0 T K 2  k T   2 2 2 du 02T 2  g02T 2 i 1 0 1  i  i  u   n  c b0TK1  c a02T 2 K 2  k2T 2 K1   i 02T 2  g02T 2 i 1 Dẫn đến Uy  t    Sx  t   Uy  t    Sx  t   n    c  c b0 T  k2T 2  i  K1  c a02T 2 K 2   0  g0  2T 2  K1 (2)  i 1  Uy   t   cy  t     Sx   t   c  x  t  T    b  t  T  Eb  t , t  T   x  t    b t  Eb  t , t   t T t T E G c  x  s    b  s  b  t , s  ds  c  x  s    a  s  t t , s  ds t t t t T G   t    t , s   f s, x  s  1  s   ,..., x  s  n  s    g  s   ds t  b  t   Ux  t    Sx  t   t T    Ea  t, s cx s  a  s  f s, x  s 1  s  ,..., x  s n  s   g  s  ds    t Uy   t   cy  t     c K 2 43 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________  n    Sx   t   b0 K1    c a0TK 2  kTK1  i  T 0  Tg0   i 1  Do đó Uy   t    Sx   t   Uy   t    Sx   t   n  1  b0T   b0  k T   i  K1  c 1  a0T  K 2  T  0  g 0   K1  K 2 (3)  i 1  T Uy   t   cy  t     Sx   t   b  t  Ux  t    Sx  t    b  t  Ux   t    Sx   t         Ea  t , t  T   Ea  t , t   cx  t    a  t   f t , x  t  1  t   ,..., x  t   n  t    g  t     t T Ea   t    t , s  cx  s    a  s   f s, x  s  1  s   ,..., x  s   n  s    g  s  ds t = b  t  Ux  t    Sx  t    b  t  Ux   t    Sx   t      + cx  t    a  t   f t , x  t  1  t   ,..., x  t   n  t    g  t  t T a  t      Ea  t , s  cx  s    a  s   f s, x  s  1  s   ,..., x  s   n  s    g  s   ds  t =  q  t  Ux  t    Sx  t    p  t  Ux   t    Sx   t       f t , x  t   1  t   ,..., x  t   n  t    g  t  Ta có  f t , x  t  1  t   ,..., x  t   n  t     f  t , x  t  1  t   ,..., x  t   n  t     f  t ,0,...,0  + f  t ,0,..., 0  n 2 k  x  t   i t    f  t , 0,..., 0  i 1 44 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________  Do đó  Sx  t   q0 K1  p0 K2  k nK1  0  g0 = q0  k n K1  p0K2  0  g0  Dẫn đến Uy   t    Sx   t   Uy   t    Sx   t     c K3  q0  k n K1  p0K2  0  g0 = c K3  1 c  K3  K3 (4) Từ (2),(3) và (4) ta có Uy  Sx   với x, y   . 2) U là ánh xạ co trên Ω Ta có Ux  t  T   Ux  t  . Với x, y   Ux  Uy  c max x  t     y  t     c max x  t     y  t    0,T  0,T   c max x  t     y   t    = c x  y 0,T  Vậy U là ánh xạ co. 3) S là ánh xạ compact trên Ω.  Trước tiên ta chứng minh S liên tục trên Ω. Ta có  Sx  t  T    Sx  t  . Với x   bất kì, giả sử  xm m là dãy trong Ω sao cho xm  x  0 . Với  0 cho trước, do xm  x  0 nên m0 sao cho  xm  x  , m  m0 n   hay max xm  t   x  t   và max xm  t   x  t   m  m0 0,T  n 0,T  n Với m  m0 , từ giả thiết  H 2  ta có t T  Sxm   t    Sx  t   c  xm  s     x  s    b  s  Eb  t , s  ds t t T c  xm  s     x  s    a  s  G  t , s  ds t 45 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________ t T       G t, s  f s, xm  s  1  s   ,..., xm  s  n  s    f s, x  s  1  s   ,..., x  s  n  s   ds t  c max xm  t   x  t  b0T  c max xm  t   x t  a0 2T 2  k  2T 2 , t   0, T  0,T  0,T    c b0  T  c a0  2T 2  k  2T 2 , t  0, T  n n    max  Sxm   t    Sx  t   c b0T  c a02T 2  k2T 2 , m  m0 0,T  n n  max  Sxm   t    Sx  t   0 khi m   0,T  Lập luận tương tự ta có max  Sxm   t    Sx   t   0 khi m   0,T  max  Sxm   t    Sx   t   0 khi m   0,T  Dẫn đến Sxm  Sx  0 , nghĩa là S liên tục tại x   bất kì. Suy ra S liên tục trên  .  Ta chứng minh S    là tập compact tương đối trong X Trước tiên ta chứng minh S    là tập compact tương đối trong C 2 0, T  ,  với chuẩn x  max x  t   max x  t   max x  t  0,T  0,T  0,T  t  0, T  , x   ta có  n   Sx t    với    c b0T  k T i  K1  c a02T 2 K2 02T 2  g02T 2 2 2  i 1   n   Sx   t    với   b0 K1    c a0TK 2  kTK1   i  T 0  Tg 0   i 1   Sx   t      với   q0  k n K1  p0 K 2  0  g 0 Do đó S    bị chặn đều trong C 2 0, T  , ,  46 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ t2  Sx  t1    Sx  t2     Sx   t  dt   t1  t2 (5) t1 t2  Sx   t1    Sx   t2     Sx  t  dt   t1  t2 (6) t1  Sx  t1    Sx  t2   q  t1 Ux t1   q  t2 Ux t2   q  t1  Sx t1   q  t2  Sx t2   p  t1 Ux   t1   p  t2 Ux   t2   p  t1  Sx   t1   p  t2  Sx   t2   g  t1   g  t2      f t1 , x  t1  1  t1   ,..., x  t1   n  t1    f t2 , x  t2  1  t2   ,..., x  t2   n  t2    Ta có q  t1 Ux  t1   q  t2 Ux  t2   q  t1  Ux  t1   Ux t2   q  t1   q  t2  Ux  t2  t1  c q0  x s ds  c K1 qt1   qt2   c q0 K 2 t1  t2  c K1 q  t1   q  t2  (7) t2  q  t1  Sx  t1   q  t2  Sx  t2   q  t1   q  t2   Sx  t1   q  t2   Sx  t1    Sx  t2    q  t1   q  t2    q0 t1  t2 (8) p t1 Ux  t1   p  t2 Ux  t2   p  t1   p  t2  Ux  t1   p  t2  Ux  t1   Ux  t2   c K 2 p  t1   p  t2  + c p0 K 3 t1  t2 (9) p  t1  Sx  t1   p  t2  Sx   t2   p  t1   p  t2   Sx  t1   p  t2   Sx   t1    Sx   t2    p  t1   p  t2   p0 t1  t2 (10) Với i  1, 2,..., n t1  i  t1  x  t1   i  t1    x  t2   i  t2     x  s  ds  K 2  t1  t2   i  t1    i  t2   t2  i  t2   t1   K 2  t1  t2      i  s  ds   2 K2 t1  t2  t2  47 Tạp chí KHOA HỌC ĐHSP TPHCM Số 43 năm 2013 _____________________________________________________________________________________________________________ Dẫn đến ta có    f t1 , x  t1  1  t1   ,..., x  t1   n  t1    f t2 , x  t2  1  t 2   ,..., x  t2   n  t2     f  t1, x  t1  1  t1   ,..., x  t1   n  t1     f  t2 , x  t1   1  t1   ,..., x  t1   n  t1     f  t2 , x  t1   1  t1   ,..., x  t1   n  t1     f  t 2 , x  t2  1  t2   ,..., x  t2   n  t2     f  t1, x  t1  1  t1   ,..., x  t1   n  t1     f  t2 , x  t1   1  t1   ,..., x  t1   n  t1    1  n 2 2  k   x  t1   i  t1    x  t2   i  t2     i 1      f t1, x  t1  1  t1   ,..., x  t1   n  t1    f t2 , x  t1   1  t1   ,..., x  t1   n  t1    + 2kK 2 n t1  t2 (11) n Kí hiệu B  0, K1  là quả cầu đóng tâm O bán kính K1 trong . Với   0 cho trước, do f liên tục đều trên 0, T   B  0, K1  nên 1  0 sao cho với t1, t2  0, T  , t1  t2  1 suy ra     f t1, x  t1 1  t1   ,..., x  t1  n  t1    f t2 , x  t1 1  t1   ,..., x  t1  n  t1     (12) Do tính liên tục đều của các hàm p , q, g trên 0,T  , ta có thể chọn được   0 sao cho với t1, t2  0, T  , t1  t2   từ (5) - (12) ta suy ra  Sx  t1    Sx  t2   C1 ,  Sx   t1    Sx   t2   C2 ,  Sx  t1    Sx  t2   C3 trong đó Ci  i  1, 2,3 là hằng số dương. Do đó S    đồng liên tục trên  0,T  . Theo định lí Ascoli – Azela, S    là tập compact tương đối trong C 2 0, T  , .  Giả sử  xm m là một dãy trong S    . Đặt  S      x 0,T  : x  S    trong 1  đó x 0,T  là thu hẹp của x trên 0,T  . Khi đó  S     là tập compact tương đối 1 48 Tạp chí KHOA HỌC ĐHSP TPHCM Lê Hoàn Hóa và tgk _____________________________________________________________________________________________________________ trong C 2 0, T  , . Do đó tồn tại dãy con của  xm m là  xm k k sao cho lim xmk 0,T   a0 trong C 2  0, T  , . k   a0  t  khi t   0, T  Đặt a  t    k    a0  t  kT  khi t   kT ,  k  1 T  Khi đó xmk  a trong X . Thật vậy xmk  a  max xmk  t   a  t   max xm   t   a  t   max xm  t   a  t  0,T  0,T  k 0,T  k  max xmk  t   a0  t   max xm   t   a0  t   max xm  t   a0  t  0,T  0,T  k 0,T  k Từ lim xmk 0,T   a0 trong C 2 0, T  ,  dẫn đến xm k  a trong X . k  Do đó S    compact tương đối trong X . Vậy S là ánh xạ compact trên Ω. Theo định lí điểm bất động Krasnoselskii, ánh xạ U + S có điểm bất động trong Ω. Điểm bất động đó là nghiệm tuần hoàn của phương trình (1). TÀI LIỆU THAM KHẢO 1. Lê Hoàn Hóa, (2010), Định lí điểm bất động và ứng dụng để nghiên cứu sự tồn tại nghiệm của phương trình, Đề tài nghiên cứu khoa học cấp cơ sở, Đại học Sư phạm Thành phố Hồ Chí Minh. 2. Chengjun Guo, Donal O’Regan, Ravi P.Agarwal, (2010), “Existence of periodic solutions for a class of second – order neutral differential equations with multiple deviating arguments”, CUBO A Mathematical Journal, Vol.12, pp. 153-165. 3. Youyu Wang, Hairong Lian, Weigao Ge, (2007), “Periodic solutions for a second order nonlinear functional differential equation”, Applied Mathematics Letters, 20 (2007), pp. 110-115. (Ngày Tòa soạn nhận được bài: 01-6-2012; ngày phản biện đánh giá: 04-10-2012; ngày chấp nhận đăng: 22-11-2012) 49