Luận văn Thạc sĩ Toán học: Phương trình Parapolic liên kết với một bài toán Cauchy cho một phương trình vi phân thường

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

Thêm vào BST

Báo xấu

102
lượt xem 14
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 Parapolic liên kết với một bài toán Cauchy cho một phương trình vi phân thường trình bày về những kiến thức cần chuẩn bị, sự tồn tại và duy nhất nghiệm, khảo sát tính đơn điệu và một số nội dung khác.

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 Parapolic liên kết với một bài toán Cauchy cho một phương trình vi phân thường

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH __________________________ Nguyễn Trần Quang Vinh 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: TS. NGUYỄN THÀNH LONG Thành phố Hồ Chí Minh – 2009
LỜI CẢM ƠN Lời đầu tiên tôi xin bày tỏ lòng biết ơn sâu sắc tới Thầy TS. Nguyễn Thành Long về sự hướng dẫn tận tình trong suốt quá trình học tập và thực hiện luận văn. Xin trân trọng cảm ơn Thầy TS. Trần Minh Thuyết đã có những nhận xét, chỉ bảo, và những góp ý hết sức quan trọng trong quá trình thực hiện luận văn. Xin trân trọng cảm ơn Thầy PGS. TS. Nguyễn Bích Huy, cùng các Quý Thầy trong hội đồng đã dành cho tôi thời gian, công sức để đọc và có những góp ý sâu sắc cho bản luận văn. Xin trân trọng cảm ơn TS. Lê Thị Phương Ngọc đã có những nhận xét và chỉ bảo trong quá trình tôi thực hiện luận văn. Xin trân trọng cảm ơn các Quý Thầy Cô thuộc Khoa Toán – Tin học trường Đại học Sư phạm TP. Hồ Chí Minh đã truyền đạt những kiến thức, kinh nghiệm quý báu cho tôi trong suốt thời gian học tập tại trường. Xin cảm ơn các anh chị và các bạn trong lớp Cao học giải tích khóa 17, cũng như các anh chị và các bạn trong nhóm xemina do các Thầy hướng dẫn tổ chức đã hỗ trợ tôi nhiều mặt trong thời gian học tập và nghiên cứu. Xin chân thành cảm ơn UBND tỉnh An Giang, trường THPT Nguyễn Hữu Cảnh, Thầy ThS. Nguyễn Đình Phùng đã tạo điều kiện thuận lợi cho tôi được học tập và hoàn thành luận văn này. Và cuối cùng, lời thân thương nhất tôi xin được gửi đến gia đình tôi, nơi đã tạo cho tôi mọi điều kiện thuận lợi để học tập và hoàn thành luận văn này. NGUYỄN TRẦN QUANG VINH
DANH MỤC CÁC KÝ HIỆU - a.e. : hầu hết. i.e. : nghĩa là. -    0,1 , QT     0, T  . - C 0 [0, T ]  C [0, T ] là không gian các hàm liên tục trên đoạn [0, T ]. - D 0,T  là tập hợp các hàm số khả vi vô hạn lần và có giá compact trong  0,T  . - D  0,T  là không gian đối ngẫu của D 0,T  hay là không gian các hàm phân bố trên  0,T  . - L  X ;Y   { f : X  Y f tuyến tính, liên tục}. - X ↪ Y : phép nhúng liên tục từ không gian X vào không gian Y . - Lp  Lp ()  {v :    p  | v( x) | dx  } với 1  p   .   - L  L     v :    M : v  x   M a.e. x   .  - ||  ||X dùng để chỉ chuẩn trên không gian X. - ||  || chuẩn trong không gian L2    . 1 neáu x  A, - Hàm đặc trưng  A  x    0 neáu x  A. u - Ký hiệu u (t ) , u (t )  ut (t )  u (t ) , u x (t )  u(t ) , uxx (t )  u (t ) , lần lượt để chỉ u( x, t ), ( x, t ) , t u  2u ( x , t ) , 2 ( x, t ) . x x
Chương 1 PHẦN TỔNG QUAN  ©  Trong luận văn này, chúng tôi xét phương trình parabolic phi tuyến t u   u     h ( x, t )u     x, t  u  f ( x, t )     u   k  t    u( x, )d , t x  x  0 (1.1) 0  x  1, 0  t  T , liên kết với điều kiện biên  u  x (0, t )  h(0, t )u (0, t )  0,  (1.2)  u (1, t )  h(1, t )u (1, t )  0, 0  t  T ,  x và điều kiện đầu u( x,0)  u0  x  , 0  x  1, (1.3) trong đó, các hàm số f , k , h,  , u0 và các hằng số  ,  được cho trước. Bài toán (1.1) – (1.3) có liên quan đến bài toán khuếch tán trong hóa học (xem [5] - [8] và các tài liệu tham khảo trong đó) mà mấu chốt vấn đề về mặt toán học dẫn đến bài toán sau. Cho    0,1 , ta đặt QT     0, T  , T  0. Tìm cặp hàm  u, v  thỏa bài toán sau: u   u   t  x  x  h ( x, t )u   F1  u, v  , 0  x  1, 0  t  T ,     u  (0, t )  h (0, t )u (0, t )  0, 0  t  T ,  x (1.4)  u  (1, t )  h (1, t )u (1, t )  0, 0  t  T ,  x u ( x,0)  u0 ( x ), 0  x  1,  v   F2  u, v  , 0  x  1, 0  t  T ,  t (1.5) v ( x,0)  v0 ( x ), 0  x  1, trong đó, h( x, t ), u0  x  , v0  x  cho trước, các số hạng F1  u, v  , F2  u, v  có dạng cụ thể  F1  u , v   1  2 u  3 v   4 uv,   F2  u , v   1   2 u  3 v, (1.6)    0,   0, i  1, 2,3.  i i
Ta xem (1.5) như là phương trình vi phân thường  v   3v  1  2 u, 0  x  1, 0  t  T ,  t (1.7)  v( x,0)  v0 ( x ), 0  x  1. Giải phương trình này, ta được t   v ( x, t )  exp   3t  v0  x    exp  3   1   2u ( x, ) d   0  t  1   exp   3t   exp  3t   1  v0  x    2  exp  3  u ( x, ) d   3 0  t 1  1  exp   3t    exp   3t  v0  x   2  exp   3  t     u( x, )d . 3 0 Đặt 1 A  x, t   1  exp   3t   exp   3t  v0  x  , 3  t B  x, t    exp   3  t     u ( x, ) d . 0 Ta viết lại F1  u, v  dưới dạng F1  u , v   1   2 u  3  A   2 B    4 u  A   2 B  (1.8)  1  3 A    2   4 A  u   3  2   4  2 u  B t F1  u, v   f ( x, t )    x, t  u     u   k  t    u( x, )d , (1.9) 0 trong đó   f ( x, t )  1  3  1 1  exp   3t   exp   3t  v0  x    , (1.10)  3   1    x, t    2   4  1  exp   3t   exp   3t  v0  x    , (1.11)  3  k  t   exp   3t  , t   0, T  , (1.12)   3 2  0,   4 2  0 . (1.13) Thay F1  u, v  vào (1.4) ta thu được bài toán (1.1) – (1.3).
Bài toán (1.1) – (1.3) có nhiều ý nghĩa trong khoa học mà nhiều nhà Toán học quan tâm nghiên cứu trong thời gian gần đây (xem thêm [5] - [10]). Trường hợp  ( x, t )  1,   0, bài toán (1.1) – (1.3) đã được nghiên cứu trong [3] - [4]. Luận văn được trình bày theo các chương mục sau: Chương 1: Phần mở đầu tổng quan về bài toán (1.1) – (1.3), chỉ ra các kết quả mà các tác giả khác đã khảo sát trước đó, đồng thời nêu tóm tắt các chương mục sẽ trình bày trong luận văn. Chương 2: Nhắc lại một số kết quả cần thiết cho việc trình bày luận văn. Chương 3: Khảo sát về sự tồn tại và duy nhất của nghiệm yếu của bài toán (1.1) – (1.3) với các giả thiết u0  L2 (), f  L2 (QT ), h,   L (QT ), k  H 1 (0, T ). Trong chương này chúng tôi sử dụng các phương pháp Faedo – Galerkin liên kết với các đánh giá tiên nghiệm, cùng với kỹ thuật hội tụ yếu và về tính compact. Chương 4: Với điều kiện đầu u0  H 1 (),   L (QT ),   x, t   0  0, h  C1 (QT ), f  L2 (QT ), k  H 1 (0, T ), luận văn chứng tỏ nghiệm thu được của bài toán (1.1) – (1.3) có tính trơn tốt hơn, cụ thể là u  L  0, T ; H 1   L2  0, T ; H 2   C  0, T ; H 1  , ut  L2 (QT ). Chương 5: Với điều kiện đầu u0  L2 (), u0  x   0 , a.e. x   , cùng với một số điều kiện khác, tính không âm của nghiệm bài toán (1.1) – (1.3) cũng được khảo sát. Cuối cùng là phần kết luận và danh mục các tài liệu tham khảo.
Chương 2 KIẾN THỨC CHUẨN BỊ  ©  Trong chương này chúng tôi trình bày ngắn gọn một số không gian hàm sử dụng trong luận văn. Một số bổ đề, định lý quan trọng sẽ được sử dụng trong các đánh giá về sau của luận văn. 2.1. Không gian Hilbert H 1    : Cho    0,1 , ta định nghĩa L2    là không gian Hilbert đối với tích vô hướng 1 u, v   u  x  v  x  dx, u, v  L2    . (2.1) 0 Ký hiệu    để chỉ chuẩn sinh bởi tích vô hướng (2.1), nghĩa là 1 1 2 2  u   u , u     u  x  dx  , u  L2    . (2.2) 0  Ta định nghĩa không gian Sobolev H 1    : H 1 ( )  {u  L2 ( ) : u x  L2 ()}, (2.3) trong đó ux được hiểu là đạo hàm theo nghĩa phân bố. Ta trang bị H 1    tích vô hướng 1 u, v H 1  u, v  ux , vx    [u ( x)v( x)  ux ( x)vx ( x)]dx, u, v  H 1. (2.4) 0 Khi đó H 1  H 1 () là không gian Hilbert đối với tích vô hướng (2.4). Ký hiệu ||  ||H1 để chỉ chuẩn sinh bởi tích vô hướng (2.4), nghĩa là 1 1 2  v  H 1   v, v H 1     v 2 ( x)  vx2 ( x)  dx  , v  H 1. (2.5) 0  Khi đó ta có bổ đề sau Bổ đề 2.1.1 Phép nhúng H 1 ↪ C 0 () là compact và
 v C 0    2  v H 1 , với mọi v  H 1 . (2.6) Bổ đề 2.1.2 Đồng nhất không gian L2 với L2  (đối ngẫu của không gian L2 ). Khi đó ta có   H 1 ↪ L2  ( L2 ) ↪ ( H 1 ) , với các phép nhúng liên tục và trù mật. 2.2. Không gian Lp  0, T ; X  : Cho X là không gian Banach thực. Ký hiệu Lp (0, T ; X ) , 1  p  , là không gian các lớp hàm tương đương chứa hàm u : (0, T )  X sao cho T   u (t )  p - X dt  , nếu 1  p  . 0 - M  0 : u (t ) X  M , a.e. t  (0, T ), nếu p  . Trên Lp (0, T ; X ), 1  p   , ta trang bị chuẩn như sau: 1 T p -  u Lp (0,T ; X )     u (t ) Xp dt  , nếu 1  p  . 0  -  u L (0,T ; X )  sup ess  u (t ) X 0  t T  inf M  0 : u (t ) X  M , a.e. t  (0, T ) nếu p  . Chú ý rằng nếu X  Lp () thì Lp (0, T ; X )  Lp (  (0, T )) . Khi đó ta có các kết quả sau đây mà chứng minh có thể tìm trong Lions [11]. Bổ đề 2.2.1 Với 1  p   , thì Lp  0, T ; X  là không gian Banach. 1 1 Bổ đề 2.2.2 Gọi X  là không gian đối ngẫu của X và   1, 1  p   . Khi đó p p Lp  0, T ; X    Lp  0, T ; X   là đối ngẫu của Lp  0, T ; X  . Hơn nữa, nếu X phản xạ thì Lp  0, T ; X  cũng phản xạ. Bổ đề 2.2.3 L1  0, T ; X    L  0, T ; X  . Hơn nữa các không gian L1  0, T ; X  , L  0, T ; X   không   phản xạ.
2.3. Phân bố có trị vectơ: Định nghĩa 2.3.1 Cho X là một không gian Banach thực. Một ánh xạ tuyến tính liên tục từ D 0,T  vào X gọi là một phân bố có giá trị trong X . Tập các hàm phân bố có giá trị trong X ký hiệu là D  0, T ; X  . D  0, T ; X   L  D  0, T  ; X  . du Định nghĩa 2.3.2 Cho u  D  0, T ; X  . Ta định nghĩa đạo hàm theo nghĩa phân bố của u bởi công dt thức du d  ,    u ,  ,   D 0, T  . (2.7) dt dt Nhận xét: i/ Cho v  Lp  0, T ; X  . Ta làm tương ứng nó bởi ánh xạ Tv : D  0, T   X như sau: T Tv ,     v  t    t  dt ,   D  0, T  , (2.8) 0 thì Tv  D  0, T ; X  . ii/ Ánh xạ v  Tv là một đơn ánh, tuyến tính từ Lp  0, T ; X  vào D  0, T ; X  . Do đó ta có thể đồng nhất Tv  v . Khi đó ta có kết quả sau mà chúng ta có thể tham khảo trong Lions [11], Chipot [9]. Mệnh đề 2.3.3 Nếu X , Y là hai không gian Banach sao cho X ↪ Y là phép nhúng liên tục, thì D  0, T ; X  ↪ D  0, T ;Y  , và
Lp  0, T ; X  ↪ Lp  0, T ;Y  . Bổ đề 2.3.4 Lp  0, T ; X  ↪ D  0, T ; X  với phép nhúng liên tục. u Bổ đề 2.3.5 Nếu u  Lp  0, T ; X  và  Lp  0, T ; X  , 1  p    , thì có thể đồng nhất u với một hàm t liên tục trên [0, T ] lấy giá trị trong X . Bổ đề 2.3.6 (Bổ đề về tính compact của Lions) Cho ba không gian Banach X 0 , X , X 1 với X 0 ↪ X ↪ X 1 là các phép nhúng liên tục sao cho: (i) X 0 , X 1 là phản xạ, (ii) Phép nhúng X 0 vào X là compact. Với 0  T  , 1  pi  , i  0,1 , ta đặt   W (0, T )  v  Lp0 (0, T ; X 0 ) : v   Lp1 (0, T ; X 1 ) Khi đó không gian W (0, T ) là một không gian Banach với chuẩn  v W (0,T )  v Lp0 (0,T ; X )   v Lp1 (0,T ; X ) (2.9) 0 1 Hơn nữa, nếu 0  T  , 1  pi  , i  0, 1, thì phép nhúng W (0, T ) vào Lp0 (0, T ; X ) là compact. 2.4. Không gian H 1  a,b;V,V'  Cho V ↪H ↪ V  các phép nhúng là liên tục, V trù mật trong H , a , b   . Ta đặt
 H 1  a, b;V ,V    u  L2  0, T ;V  ut  L2  0, T ;V   .  (2.10) Khi đó ta có các kết quả sau đây mà chứng minh có thể xem trong Chipot [9]. Định lý 2.4.1 H 1  a, b;V ,V  là không gian Hilbert với chuẩn  u 12  u L22  0,T ;V    ut L22  0,T ;V  . (2.11) Định lý 2.4.2 Lấy u  H 1  a, b;V ,V  , thì có thể đồng nhất u với một hàm liên tục trên  a , b  lấy giá trị trong H . Hơn nữa H 1  a, b;V ,V   ↪ C  a, b ; H  . Định lý 2.4.3 Nếu u  H 1  a , b;V ,V  , thì với mọi v  V d dt  u  , v   ut  , v trong D  0, T  . (2.12) 2.5. Một số định lý quan trọng: Định lý 2.5.1 Cho  là tập mở bị chặn trong  n và f m , f  Lp    , 1  p   , sao cho  f m Lp   C  const  , m     f m  f a.e.  Khi đó f m  f yếu trong Lp    . Chứng minh định lý 2.5.1 có thể xem trong Lions [11], trang 12. u u Định lý 2.5.2 Cho  mở, bị chặn của  n có biên đủ trơn. Cho u  H 1 thì u    H 1, 2 u u u   H 1 . Hơn nữa 2 u  u   u  0 , i  1,..., n (2.13) xi xi u  u   u  0 , i  1,..., n (2.14) xi xi với   u  0  ,   u  0  lần lượt là hàm đặc trưng của tập u  0   x   : u  x   0 , u  0   x   : u  x   0 .
Hai định lý biểu diễn dưới đây rất thông dụng và có trong hầu hết các sách, chẳng hạn xem Lions [11], Chipot [9]. Định lý 2.5.3 (Định lý biểu diễn Riesz – Fréchet) Cho H là không gian Hilbert, H  là không gian đối ngẫu của H . Khi đó, mọi   H  thì tồn tại duy nhất f  H sao cho  , v   f , v  , v  H , (2.15) trong đó   ,   là tích vô hướng của H. Định lý 2.5.4 (Định lý Lax – Milgram) Cho H là một không gian Hilbert thực. Giả sử a  u, v  là một song tuyến tính trên H sao cho (i) a là liên tục, i.e. tồn tại một hằng số C  0 sao cho a  u , v   C  u H  v H , u , v  H , (2.16) (ii) a là cưỡng bức, i.e. tồn tại hằng số   0 a  u , u     u  2H , u  H . (2.17) (Ký hiệu    H là chuẩn trong H ứng với tích vô hướng   ,   ) Khi đó với mọi f  H , có duy nhất u  H a  u, v    f , v, v  H . (2.18) Định lý 2.5.5 (Định lý Ascoli – Arzela) Cho T  0 , ký hiệu X  C  0, T  ;  m  là không gian Banach các hàm liên tục f : 0, T    m đối với chuẩn m f X  sup  f t  , j f   f1 ,..., f m   X . t[0,T ] j 1 Định lý Ascoli – Arzela Giả sử Y  X thỏa: i) Y bị chặn đều, tức là M  0 : f  X  M , f  Y . ii) Y liên tục đồng bậc (đẳng liên tục), tức là m   0,   0 : t , t   0, T  , t  t    thì sup  f j  t   f j  t    . f Y j 1 Khi đó Y compact tương đối trong X . Định lý 2.5.6 (Định lý Schauder) Cho X là một tập lồi, đóng, khác trống và bị chặn trong không gian Banach E và T là một ánh xạ compact từ X vào X. Khi đó T có một điểm bất động trong X.
Định lý 2.5.7 (Bất đẳng thức Gronwall) Giả sử f :  0, T    là hàm khả tích, không âm trên  0,T  và thỏa bất đẳng thức t f  t   C1  C2  f   d , a.e. t  0, T  , 0 trong đó C1 , C2 là các hằng số không âm. Khi đó f  t   C1 exp  C2t  , a.e. t  0, T  .
Chương 3 SỰ TỒN TẠI VÀ DUY NHẤT NGHIỆM  ©  Với mỗi T  (0, T * ] , T *   cố định, bài toán đặt ra: Tìm u sao cho t u   u     h( x, t )u     x, t  u  f ( x, t )     u   k  t    u ( x, )d , t x  x  0 (3.1) 0  x  1, 0  t  T ,  u  x (0, t )  h(0, t )u (0, t )  0,  (3.2)  u (1, t )  h(1, t )u (1, t )  0, 0  t  T ,  x u( x,0)  u0  x  , 0  x  1. (3.3) Trong chương này, chúng tôi nghiên cứu về sự tồn tại và duy nhất của nghiệm yếu của bài toán (3.1) - (3.3). Chúng ta sẽ sử dụng phương pháp Faedo – Galerkin liên kết với các đánh giá tiên nghiệm cùng với kỹ thuật hội tụ yếu và tính compact. Ta thành lập các giả thiết (A1) u0  L2    , (A2)   h,   L QT * , (A3)   f  L2 QT * , (A4) k  H 1  0, T *  ,  ,  là hằng số dương. Định lý 3.1 Giả sử rằng các giả thiết (A1) – (A4) đúng. Khi đó, tồn tại hằng số T  (0, T * ] sao cho bài toán (3.1) - (3.3) có duy nhất một nghiệm yếu u  L  0, T ; L2   L2  0, T ; H 1  , ut  L2 (0, T ;( H 1 ) ) . Tức, u là nghiệm của bài toán biến phân t d u  t  , v  a  t ; u (t ), v    f (t ), v     u   k  t    u   d , v (3.4) dt 0 trong D  0, T  , v  H 1 ,
u (0)  u0 , (3.5) trong đó a  t ; u , v   u  h(t )u , v    t  u , v . Chứng minh định lý 3.1 Trước hết ta có bổ đề sau liên quan đến dạng song tuyến tính a. Bổ đề 3.2 Tồn tại ba hằng số M ,  ,   0 , sao cho (i) a  t ; u , v   M  u H 1  v H 1 , u , v  H 1 , a.e. t   0, T  , (3.6) (ii) a  t ; u, u     u 2    u H2 1 ,  u  H 1 , a.e. t   0, T  . (3.7) Chứng minh bổ đề 3.2 Chứng minh (i). u , v  H 1 , a.e. t   0, T  , ta có a  t ; u , v    u  v    h L Q  u  v     L  u  v    T* Q T*     h      1  u H 1  u H 1 L Q *  L Q *   T T   M  u H 1  v H 1 . (3.8) Chứng minh (ii). u , v  H 1 , a.e. t   0, T  , ta có a  t ; u , u    u  2   h L  u  u     L Q  u 2 Q  T*   T*  1     u 2   h     u 2   u  2        u 2 L QT *   2 2  L  Q T *     u H2 1   u 2 , trong đó    1   h L , (3.9) 2  Q  T*  1   1   h L  h    . (3.10) 2  Q  2 T* L Q  T* L Q  T*  Chọn   0 sao cho   1  h  0 , và do đó   0. 2 L Q  T* Bổ đề 3.2 được chứng minh. Chứng minh định lý 3.1 gồm các bước
Bước 1: Xấp xỉ Galerkin. Lấy một cơ sở w j  đếm được của H 1 . Ta tìm nghiệm xấp xỉ Galerkin của bài toán (3.1) - (3.3) dưới dạng m um (t )   cmj  t  w j , (3.11) j 1 trong đó, cmj  t  là nghiệm của hệ phương trình vi phân thường sau um  t  , w j   a  t ; um (t ), w j    f (t ), w j  (3.12) t     um  t    k  t    um ( )d , w j , 0 0 cmj  0   cmj , um  0   u0 m , 1  j  m , m 0 u0 m   cmj w j  u0 mạnh trong L2 , khi m   . (3.13) j 1 Ta sẽ kiểm tra hệ (3.12) - (3.13) có nghiệm um trên  0, Tm  . Bằng cách thay (3.11) vào (3.12), ta được m m  cmi  t  wi , w j    cmi  t  a t; wi , w j  i 1 i 1 (3.14) t   f (t ), w j      um  t    k  t    um   d , w j . 0 Viết lại (3.14) ta được Dcm  t   A  t  cm  t   F cm   t  , (3.15) trong đó D   dij  , i, j 1, m : dij   wi , w j  , A  t    aij  t   , i, j 1, m : aij  t   a  t ; wi , w j  , F cm   t    F j cm   t   , j 1, m : t Fj  cm   t    f (t ), w j      um  t    k  t    um   d , w j  , 0 cm  t    cm1  t  ,..., cmm  t   . Do ma trận D là khả đảo nên ta viết (3.15) lại như sau cm  t   D 1 A  t  cm  t   D 1 F cm   t  , (3.16) Tích phân theo t ta được
t t cm  t   c   D A   cm  d   D 1 F  cm    d . 0 m 1 (3.17) 0 0 0 Để cho gọn trong việc ký hiệu, ta có thể bỏ qua chỉ số m của cmj . Ta ký hiệu cmj , cmj , cm  t  lại lần lượt là c j , c0j , c  t    c1  t  ,..., cm  t   . Khi đó (3.17) được biểu diễn thành hệ sau c  t   U  c   t  , 0  t  T * ,   t t (3.18) U  c   t   c0   D 1 A   c  d   D 1 F  c   d .  0 0 Bổ đề 3.3 Giả sử các giả thiết (A1) – (A4) đúng. Khi đó, tồn tại Tm  0 , Tm  T * sao cho hệ (3.18) có nghiệm c  t    c1  t  ,..., cm  t   . Chứng minh bổ đề 3.3 Với mỗi Tm  0 ,   0 ta đặt X  C [0, Tm ];  m  , S  c  X :  c X   , trong đó chuẩn m  c X  sup c  t  1 , c t  1   c j t  . 0 t Tm j 1 Dễ thấy S là tập con lồi, đóng và bị chặn trong X . Ta ký hiệu chuẩn tự nhiên của ma trận cấp m tương ứng với chuẩn vector  1 là:  Ac 1 m   A 1  sup  max  aij , 0  cX c 1 j  m (3.19)  1 i 1   A   aij  , i, j  1, m. i) Chứng minh U : X  X liên tục: - Lấy c  X , ta chứng minh U c   X : Do aij  L1  0, T *  nên aij   c j   L1  0, Tm  . Ta suy ra m D 1 A   c    L1  0, Tm   . (3.20) Mặt khác t Fj  c  t    f (t ), w j      um  t    k  t    um   d , w j  0
 g j  t   p j c   t  , với g j   f (), w j  L2  0, T *   L1  0, T *  , t m t p j  c   t      um  t    k  t    um   d , w j      k  t    ci   d  wi , w j  0 i 1 0 m m t    ci  t   k  t    cl   d  wi wl , w j . i 1 l 1 0 Rõ ràng p j c     C [0, Tm ],   ↪ L1  0, Tm  . Vậy Fj c     L1  0, Tm  , nên m D 1F  c    L1  0, Tm   . (3.21) Từ (3.18), (3.20) và (3.21) ta suy ra U c   X . - Chứng minh U liên tục: lấy dãy c n   X , c n   c1n ,..., cmn  sao cho c n  c trong X , tức là  c n  c X  0 . Khi đó dãy c n  bị chặn trong X , nên tồn tại hằng số   0 sao cho  c n X   . Đặt   A1  max dij , A2  max  wi w j , wl  . i , j1, m i , j ,l1, m   Ta có Fj  c n   t   F j  c   t   p j  c n   t   p j  c   t  m t    A1  k  t    cin    ci   d i 1 0 m m t n n    A2 c    ci   i  k  t    c   d l i 1 l 1 0 m m t n    A2 ci    k  t    c    c   d l l i 1 l 1 0   mA1  c n  c X  k L1 0,T * 2 m2 A2  c n  c X  c n X  k L1 0,T *    
  c n  c X  k L1 0,T * m  A1  2 mA2  .   Do đó F  c n   t   F  c   t   c n  c X  k L1 m 2  A1  2  mA2  . 1 0,T * t t Tm D 1 F c    d   D F  c    d  n 1   D 1 F c n     F  c     1 d 0 0 1 0 Tm    D 1 1 F c n     F c    d 1 0  D 1 1 Tm  c n  c X  k L1 m2  A1  2  mA2  .  0,T  * Nên t t  D F c    d   D F  c    d  M  c  c X  0 , 1 n 1 n sup t[0,Tm ] 0 0 1 với M   D 1 1 Tm  k L1 0,T * m 2  A1  2 mA2  .   Vậy     D 1 n F c    d  D 1 F  c    d trong X. (3.22) 0 0 Mặt khác t t Tm  D A   c  d   D A   c  d    D 1  A   1 c    c   d 1 n 1 1 n 1 0 0 1 0  Tm  D 1 1 sup  A  t  1  c n  c X . t[0,T * ] nên t t sup 1 n  D A   c  d   D A   c  d 1  Tm  D 1 1 sup  A  t  1 c n  c X t[0,Tm ] 0 0 t[0,T * ] 1 Vậy    1 n 1  D A   c  d   D A   c  d 0 0 trong X. (3.23) Từ (3.18), (3.22) và (3.23) ta suy ra U  c n   U  c  trong X . Vậy U : X  X liên tục. ii) Với  , Tm được chọn thích hợp thì U : S  S
Lấy c  S , tức  c X   , ta có m t m m t p j  c  t     A1  k  t    ci   d    A2 ci  t   k  t    c   d l i 1 0 i 1 l 1 0   c X   m A2Tm  c X k L 0,T  2 2   mAT 1 m k  L1 0,T * 1 *   A1   mA2  c X  mTm  c X k  L1 0,T * , p c   t  1   A1   mA2  c X  m 2Tm  c X  k L1 0,T * .   Mặt khác F  c   t  1  g  t  1  p c   t  1  g  t  1   A1   mA2  c X  m 2Tm  c X  k L1 0,T * . (3.24)   Nên t t U c   t  1  c0 1   D A   c  d  1 D 1 F c    d 0 1 0 1 Tm Tm  c0 1    D 1  A   1 c   1d    D 1 1 F c    1 d 1 0 0  c0 1  Tm  D 1 1 sup  A  t  1  c X t[0,T * ] Tm     D 1   g  t    A   mA  c X  m2Tm  c X  k L1 1 d 0 1 1 2  0,T   *  c0 1  Tm  D 1 1 sup  A  t  1  t[0,T * ] Tm   D 1 1  2   k L    g  t    A   mA   m T 0 1 1 2 m 1  0,T   * d  c0 1  Tm  D 1 1 sup  A  t  1  t[0,T * ]   D 1 1  g L1 0,T *   D 1 1  A1   mA2   m 2Tm2   k L1 0,T * .     Chọn  sao cho  c0 1   D 1 1  g L1  ,  0,T  * 2 Khi đó, chọn Tm sao cho  Tm  D 1 1 sup  A  t  1    D 1 1  A1   mA2   m 2Tm2   k L1  . t[0,T * ]  0,T  * 2