Luận văn Thạc sĩ Toán học: Thuật giải lặp và khai triển tiệm cận của nghiệm theo hai tham số bé cho phương trình sóng phi tuyến với điều kiện biên hỗn hợp

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

Thêm vào BST

Báo xấu

61
lượt xem 3
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: Thuật giải lặp và khai triển tiệm cận của nghiệm theo hai tham số bé cho phương trình sóng phi tuyến với điều kiện biên hỗn hợp nghiên cứu thuật giải xấp xỉ tuyến tính, khảo sát sự tồn tại và duy nhất nghiệm, thuật giải lặp cấp hai cho bài toán,... Mời các bạn tham khảo.

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: Thuật giải lặp và khai triển tiệm cận của nghiệm theo hai tham số bé cho phương trình sóng phi tuyến với điều kiện biên hỗn hợp

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HCM HỒ QUANG ĐỨC THUẬT GIẢI LẶP VÀ KHAI TRIỂN TIỆM CẬN CỦA NGHIỆM THEO HAI THAM SỐ BÉ CHO PHƯƠNG TRÌNH SÓNG PHI TUYẾN VỚI ĐIỀU KIỆN BIÊN HỖN HỢP LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Toán Giải Tích Mã số: 60. 46. 01 Thành phố HCM 2010
LỜI CẢM ƠN Lời đầu tiên tôi trân trọng kính gửi đến Thầy TS. Nguyễn Thành Long, Khoa Toán – Tin học, Trường ĐHKHTN TP. HCM lời cảm ơn sâu sắc nhất. Thầy đã tận tâm giảng dạy và hướng dẫn tôi từng bước làm quen với công việc nghiên cứu khoa học một cách nghiêm túc. Đức tính say mê, nghiêm túc trong nghiên cứu khoa học của Thầy là tấm gương để thế hệ chúng tôi noi theo. Nhân đây, tôi cũng biết ơn sâu sắc Thầy TS. Trần Minh Thuyết đã dành nhiều thời gian, công sức hướng dẫn và đưa ra nhiều góp ý quý báu cho luận văn của tôi. Xin chân thành cảm ơn Quý Thầy, Cô thuộc Phòng Khoa học Công nghệ - Sau đại học, Trường Đại học Sư Phạm TP.HCM đã tạo mọi điều kiện thuận lợi cho tôi hoàn thành chương trình học và quá trình hoàn thành luận văn. Xin trân trọng cảm ơn Ban Giám Hiệu và các đồng nghiệp trường THPT Vĩnh Kim – Tiền Giang, đã tạo nhiều điều kiện thuận lợi về vật chất, tinh thần cũng như thời gian để tôi hoàn thành tốt chương trình học tập và trong thời gian viết luận văn. Lời thân thương nhất 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; Vì kiến thức bản thân còn nhiều hạn chế, nên luận văn khó tránh khỏi thiếu sót, rất mong được sự chỉ bảo của Quý Thầy, Cô và sự góp ý chân thành của các bạn bè đồng nghiệp. Tiền Giang, tháng 10 năm 2010. Hồ Quang Đức 2
Chương 1 PHẦN TỔNG QUAN Trong luận văn này, chúng tôi tập trung xét bài toán giá trị biên và ban đầu cho phương trình sóng phi tuyến thuộc dạng dưới đây utt  (t )uxx  ut  f (x , t, u ), 0  x  1, 0  t  T , (1.1) u(0, t )  0, ux (1, t )  u(1, t )  g (t ), (1.2) u(x , 0)  u0 (x ), ut (x , 0)  u1(x ), (1.3) trong đó ,  là các hằng số; , u0 , u1, f , g là các hàm cho trước thỏa các điều kiện mà ta sẽ chỉ ra sau. Phương trình (1.1) mô tả dao động phi tuyến của một sợi dây đàn hồi, ở đây, u là độ võng, các hằng số ,  và các hàm , u0 , u1, f , g xuất hiện trong bài toán có một ý nghĩa Cơ học nào đó. Bài toán (1.1) − (1.3) cũng được nhiều nhà toán học quan tâm nghiên cứu trong thời gian gần đây, xem [3 – 13], [15 – 17] và các tài liệu tham khảo trong đó. Phương trình (1.1) với các dạng khác nhau của , f và các điều kiện biên khác nhau đã được khảo sát bởi nhiều tác giả, chẳng hạn Trong [3], N. T. Long, A. P. N. Định, T. N. Diễm đã khảo sát phương trình (1.1) với   1,   0, f  f (x , t, u, ux , ut )  g(x , t, u, ux , ut ) với điều kiện biên hỗn hợp không thuần nhất. Trong [5], N. T. Long, N. C. Tâm, N. T. T. Trúc khảo sát phương trình (1.1) với   1,   0, f  f (x , t, u, ux , ut ) với điều kiện biên hỗn hợp không thuần nhất. Trong [6] N. T. Long đã nghiên cứu bài toán (1.1) với   B(t,ux 2 ),   0, f  f (x , t, u, ux , ut ) với điều kiện biên hỗn hợp thuần nhất. Trong chương 3, chúng tôi nghiên cứu sự tồn tại và duy nhất nghiệm yếu của bài toán (1.1) – (1.3) với g(t )  0. Chứng minh được dựa vào phương pháp Galarkin 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. Trong chương 4, chúng tôi nghiên cứu sự tồn tại và duy nhất nghiệm yếu của bài toán (1.1)  (1.3) bằng cách đổi ẩn hàm, ta đưa bài toán (1.1)  (1.3) về bài toán của có điều kiện biên thuần nhất đã xét ở chương 3. 4
Trong chương 5, chúng tôi nghiên cứu sự tồn tại và hội tụ của dãy lặp cấp hai {um } về nghiệm yếu của bài toán (1.1)  (1.3) thỏa một đánh giá sai số n um  u*  C  2 . Trong chương 6, chúng tôi nghiên cứu bài toán nhiễu theo 2 tham số bé (, ) u  (t )u  u  f (x , t, u ), 0  x  1, 0  t  T ,  tt xx t  u(0, t )  0, ux (1, t )  u(1, t )  g(t ),   u(x , 0)  u0 (x ), ut (x , 0)  u1(x ), trong đó, , f , g, u0 , u1 là các hàm cho trước. a/ Nghiên cứu dáng điệu tiệm cận của nghiệm yếu u  u, của bài toán (P, ) khi   0,   0. b/ Nghiên cứu khai triển tiệm cận của nghiệm yếu u  u, của bài toán (P, ) theo 2 tham số bé (, ) , có nghĩa là có thể xấp xỉ nghiệm u, bởi một đa thức theo hai biến ,  : u, (x , t )   U ij (x , t )i  j i  j N Theo nghĩa cần phải chỉ ra các hàm U ij (x , t ) (i, j  1, N ) và thiết lập đánh giá   N 1 u  ,   U ij (x , t ) i  j  CN 2  2 i  j N * Theo một chuẩn thích hợp  , với các tham số dương ,  đủ bé, hằng số C N độc lập với các tham số bé , . Trong chương 7, ta xét một bài toán cụ thể để minh họa phương pháp tìm nghiệm tiệm cận của bài toán nhiễu ở chương 6. Luận văn này được trình bày theo các chương mục sau. Chương 1: Tổng quan về bài toán khảo sát trong luận văn và nêu các kết quả liên quan đến bài toán, đồng thời nêu bố cục của luận văn. Chương 2: Chúng tôi trình bày một số kết quả chuẩn bị bao gồm việc nhắc lại một số không gian hàm, một số kết quả về các phép nhúng compact giữa các không gian hàm. 5
Chương 3: Chúng tôi nghiên cứu một thuật giải xấp xỉ tuyến tính, sự tồn tại và duy nhất nghiệm yếu của bài toán (1.1)  (1.3) với g(t )  0 . Chương 4: Sự dụng kết quả của chương 3 để khảo sát sự tồn tại và duy nhất nghiệm yếu của bài toán (1.1)  (1.3). Chương 5: Nghiên cứu thuật giải lặp cấp hai cho bài toán (1.1)  (1.3). Chương 6: Dáng điệu tiệm cận và khai triển tiệm cận của bài toán (1.1) – (1.3). Chương 7: Xét một ví dụ cụ thể. Kế đến là Phần kết luận, nhằm tóm tắt kết quả đã thực hiện trong luận văn và cuối cùng là danh mục các tài liệu tham khảo. 6
Chương 2 MỘT SỐ CÔNG CỤ CHUẨN BỊ 2.1. Các không gian hàm Đầu tiên, ta đặt các ký hiệu   (0,1), QT   (0,T ), T  0. Ta bỏ qua định nghĩa các không gian hàm thông dụng như: C m (), Lp ()  Lp , H m ()  H m , W m ,p ()  W m ,p . Ta có thể xem trong [1]. Ta định nghĩa H  L2 () là không gian Hilbert đối với tích vô hướng 1 u, v    0 u(x )v(x )dx , u, v  L2 . (2.1) Ký hiệu ||  || chuẩn sinh bởi tích vô hướng này, nghĩa là 1/2  1  ||u||  u, u     u 2 (x )dx  , u  L2 . (2.2)  0  Ta định nghĩa H 1  {v  L2 : vx  L2 }, (2.3) và u, v H 1  u, v   ux , vx . (2.4) H 1 là không gian Hilbert đối với tích vô hướng (2.4). Ta ký hiệu ||v||H 1  v, v H 1 là chuẩn trong H 1 . Ta có bổ đề sau. Bổ đề 2.1. Phép nhúng H 1 ↪ C 0 () là compact và ||v||C 0 ()  2||v||H 1 , v  H 1. (2.5) Chứng minh bổ đề 2.1 có thể tìm trong [1]. Bổ đề 2.2. Đồng nhất H với H  (đối ngẫu của H ). Khi đó ta có H 1 ↪ H  H  ↪ (H 1 ) , với các phép nhúng liên tục và nằm trù mật. Chú thích 1.1. Từ bổ đề 2.2 ta dùng ký hiệu tích vô hướng ,  trong L2 để chỉ cặp tích đối ngẫu giữa H 1 và (H 1 ) Ta cũng ký hiệu ||  ||X để chỉ chuẩn trong một không gian Banach X và gọi X  là không gian đối ngẫu của X . 1
2.2. Không gian hàm Lp (0,T ; X ), 1  p   Ta định nghĩa Lp (0,T ; X ) là không gian các lớp tương đương chứa hàm u : (0,T )  X đo được, sao cho T p  0 u(t ) dt  , với 1  p  , X hay M  0: u(t )  M , a.e., t  (0,T ) khi p  . (2.6) X Ta trang bị Lp (0,T ; X ), 1  p  , bởi chuẩn như sau 1  T p p u    u(t ) dt    , với 1  p   , Lp (0,T ;X )  0 X  u  ess sup u(t ) Lp (0,T ;X ) 0t T X   inf M  0 : u(t ) X   M , a.e., t  (0,T ) khi p  . (2.7) Khi đó ta có các bổ đề sau đây mà chứng minh của chúng có thể tìm thấy trong Lions [2]. Bổ đề 2.3. Lp (0,T ; X ), 1  p   là không gian Banach. Bổ đề 2.4. Gọi X  là đối ngẫu của X . Khi đó Lp  (0,T ; X ) với p   p(p  1)1, 1  p  , 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.5. (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ạ. Bổ đề 2.6. Ta có Lp (0,T ; Lp ())  Lp (QT ), 1  p  . 2.3. Phân bố có giá trị vectơ Định nghĩa 2.1. Cho X là 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 (hàm suy rộng) phân bố có giá trị trong X . Tập các phân bố có giá trị trong X ký hiệu là D (0,T ; X ) = L ((0,T ); X ) ) = { f : D (0,T )  X , f tuyến tính, liên tục } . 2
Chú thích 2.2. Ta ký hiệu D((0,T )) thay cho D((0,T )) hoặc C c (0,T ) để chỉ không gian các hàm số thực khả vi vô hạn có giá compact trong (0,T ). df Định nghĩa 2.2. Cho f  D (0,T ; X ) . Ta định nghĩa đạo hàm theo nghĩa phân bố của dt f bởi công thức  dfdt ,    f , ddt ,   D(0,T ) . (2.8) Các tính chất i / Cho v  Lp (0,T ; X ) , ta làm tương ứng nó bởi ánh xạ như sau: Tv : D(0,T )  X , T Tv ,    0 v(t ) (t )dt,   D(0,T ) . (2.9) Ta có thể nghiệm lại rằng Tv  D (0,T ; X ) . Thật vậy, j) Ánh xạ Tv : D(0,T )  X là tuyến tính. jj) Ta nghiệm lại ánh xạ Tv : D(0,T )  X là liên tục. Giả sử { j }  D(0,T ) , sao cho  j  0 trong D(0,T ) . Ta có T T Tv , j  X   0 v(t )j (t )dt X  0 v(t )j (t ) dt X 1 1  T p p  T p/ p/    v(t ) dt    j (t ) dt   0, khi j  . (2.10)  0 X   0  Do đó Tv ,  j   0 trong X khi j   . Vậy 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. Bổ đề 2.7. (Lions [2]). Lp (0,T ; X ) ↪ D (0,T ; X ) với phép nhúng liên tục. 2.4. Đạo hàm trong Lp (0,T ; X ) df Do bổ đề 2.7, phần tử f  Lp (0,T ; X ) ta có thể coi f và do đó là các phần tử dt của D (0,T ; X ) . Ta có các kết quả sau. 3
Bổ đề 2.8. Nếu f  L1(0,T ; X ) và f   L1(0,T ; X ) , thì f bằng hầu hết với một hàm liên tục từ [0,T ]  X . Bổ đề 2.9. Nếu f  Lp (0,T ; X ) và f   Lp (0,T ; X ), thì f bằng hầu hết với một hàm liên tục từ [0,T ]  X . Chứng minh các bổ đề 2.8, 2.9 có thể tìm thấy trong nhiều sách, chẳng hạn như Lions [2]. 2.5. Một số kết quả sử dụng trong luận văn Cho ba không gian Banach X 0, X1, X với X 0 ↪ X ↪ X1 sao cho: X 0 , X1 là phản xạ. (2.11) Phép nhúng X 0 ↪ X là compact, X ↪ X 1 liên tục. (2.12) Với 0  T  , 1  pi   , i  0,1. Ta đặt W (0,T )  {v  L 0 (0,T ; X 0 ): v   L 1 (0,T ; X 1 )} . p p (2.13) Ta trang bị W (0,T ) bởi chuẩn v  v p  v' p . (2.14) W (0,T ) L 0 (0,T ;X 0 ) L 1 (0,T ;X1 ) Khi đó W (0,T ) là một không gian Banach. Hiển nhiên ta có W (0,T ) ↪ L 0 (0,T ; X ). p Ta cũng có kết quả sau đây liên quan đến phép nhúng compact. Bổ đề 2.10. (Bổ đề về tính compact của Lions trang 57). Với giả thiết (2.11), (2.12) và nếu 1  pi  , i  1, 2 , thì phép nhúng W (0,T ) ↪ L 0 (0,T ; X ) là compact. p Chứng minh bổ đề 2.10 có thể tìm thấy trong Lions [2]. Bổ đề sau đây liên quan đến sự hội tụ yếu trong Lp (Q ). Bổ đề 2.11. (Lions [2], trang 12). Cho Q là tập mở bị chận của  N và Gm , G  Lp (Q ), 1  p   , sao cho: Gm  C , trong đó C là hằng số độc lập với m, Lp (Q ) và 4
Gm  G a.e., trong Q. Khi đó, ta có: Gm  G trong Lp (Q ) yếu. Bổ đề sau liên quan đến một bất phương trình tích phân và nó rất cần thiết cho việc đánh giá tiên nghiệm trong các chương sau. Bổ đề 2.12. (Bổ đề 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 ) C 1  C 2  f (s )ds , với hầu hết t  [0,T ], 0 trong đó C 1, C 2 là các hằng số không âm. Khi đó C 2t f (t )C 1e , với hầu hết t  [0,T ] . Bổ đề 2.13. Cho dãy {m } thỏa mãn 0  0, 0  m  m 1  , m  1, 2,  trong đó 0    1,   0 là các hằng số cho trước. Khi đó  m  , m  1. 1 Bổđề 2.14. Đặt V  {v  H 1(0,1) : v(0)  0} và 1 a(u, v )   uvdx  u(1)v(1), u, v  V . 0 Khi đó a(u, v )  C 1||u|| ||v||, a(v, v )  C 0||v||2 , 1 trong đó C 0  , C 1  1  . 2 Vì vậy a là dạng song tuyến tính, đối xứng, liên tục, cưỡng bức trên V V , khi đó a(, ) xác định một tích vô hướng trên V và tích vô hướng này sinh ra một chuẩn trên V được ký hiệu là ||  ||V . Mặt khác ta có 5
||v||C 0  ||v||  ||v||V , [ 0,1] 1 2 ||v||H  ||v||  ||v||V  1  2 ||v||H . 1 1 Vì vậy trên V ta có ba chuẩn tương đương là ||v||H 1 , ||v||, ||v||V . Phép chứng minh là đơn giản, xin phép được bỏ qua. Bổ đề 2.15. Tồn tại cơ sở Hilbert {w j }j  trong L2 (0,1) gồm các hàm riêng w j ứng với trị riêng j sao cho 0  1  2  .....  j  ..., lim j  , j  và a(w j , v )  j w j , v , v  V , j  1, 2,.... Hơn nữa, dãy {w j } với w j  w j / j cũng là cơ sở Hilbert của V ứng với tích vô hướng a(, ). Ta lại có w j thoả bài toán giá trị biên sau: w   w , 0  x  1,  j j j  w (0)  0, w (1)  w (1)  0,  j j j  w j  C [0,1].  Phép chứng minh có thể tìm thấy trong [14]. Cuối cùng, ta ký hiệu: u(t ), u (t )  ut (t )  u (t ), u (t )  utt (t )  u(t ), ux (t )  u(t ), uxx (t )  u(t ), u 2u u 2u lần lượt thay cho u(x , t ), (x , t ), (x , t ), (x , t ), (x , t ). t t 2 x x 2 6
Chương 3 SỰ TỒN TẠI VÀ DUY NHẤT NGHIỆM 3.1. Giới thiệu Trong chương này, phần 1 chúng tôi sẽ kết hợp bài toán (1.1) – (1.3) với một thuật giải quy nạp tuyến tính mà sự tồn tại và duy nhất nghiệm được chứng minh bằng phương pháp Galerkin và phương pháp compact yếu; phần 2 chúng tôi chứng minh dãy {um } sẽ hội tụ về nghiệm yếu của bài toán (3.1). Nghiệm yếu của bài toán (1.1) – (1.3) là một hàm u  L (0,T ;V  H 2 ), sao cho ut  L (0,T ;V ), utt  L2 (QT ), đồng thời u thỏa mãn phương trình biến phân sau u , v   (t )a(u, v )  u , v    f (x , t, u ), v , v  V , a.e t  (0,T ),  tt t  (3.1)  u(x , 0)  u0 (x ), ut (x , 0)  u1(x ), trong đó a(u, v ) được xác định ở bổ đề 2.14. 3.2. Các ký hiệu và giả thiết Ta thành lập các giả thiết sau: (A1) u0  V  H 2 , u1  V , (A2) f  C 1([0,1] [0, )  ) thỏa f (0, t, 0)  0, t  0, (A3)   C 1(  ) với (t )  0  0, t  0, (A4) ,   0. Với M  0 , T *  0 ta định nghĩa K 0  K 0 (M , f )  sup{|f (x , t, u )| : (x , t, u )  A*(M )}, (3.2) K 1  K 1(M , f )  sup{(|D1 f |  |D3 f |)(x , t, u ) : (x , t, u )  A*(M )}, (3.3) trong đó A* (M )  {(x , t, u )  [0,1][0,T  ]  : |u|  M }. Ta đặt 7
W (M ,T )  {u  L (0,T ;V  H 2 ) : ut  L (0,T ;V ), utt  L2 (QT ), (3.4) ||u||L (0,T ;V H 2 )  M , ||ut ||L (0,T ;V )  M , ||utt ||L2 (Q )  M }, T W1(M ,T )  {u  W (M ,T ) : utt  L (0,T ; L2 )}. (3.5) 3.3. Thuật giải xấp xỉ tuyến tính cho phương trình sóng phi tuyến Trong phần này, với sự lựa chọn M và T thích hợp ta xây dựng một dãy {um } trong W1(M ,T ) bằng quy nạp. Dãy {um } sẽ được chứng minh hội tụ về nghiệm yếu của bài toán (1.1) – (1.3). Chọn số hạng ban đầu u 0  0. Giả sử rằng um 1  W1(M ,T ). (3.6) Ta liên kết bài toán (3.1) với bài toán biến phân sau. Tìm um  W1(M ,T ), m  1 sao cho  u (t ), v   (t )a(um (t ), v )  um (t ), v   Fm (t ), v , v  V ,   m  (3.7)   u (0)  u0 , um (0)  u1 ,   m trong đó Fm (t )  f (x , t, um 1(t )). (3.8) Sự tồn tại um cho bởi định lý sau đây. Định lý 3.1. Giả sử (A1) – (A4) đúng. Khi đó, tồn tại các hằng số M  0 và T  0 sao cho, với u 0  0 tồn tại một dãy quy nạp tuyến tính {um }  W1(M ,T ) xác định bởi (3.6) – (3.8). Chứng minh định lý 3.1. Gồm các bước sau. Bước 1. Xấp xỉ Galerkin. Giả sử {w j } là cơ sở của V . Dùng phương pháp xấp xỉ Galerkin để xây dựng nghiệm xấp xỉ của (3.7) dưới dạng k um(k )(t )   cmj (k ) (t )w j , (3.9) j 1 với cmj (k ) thỏa các hệ phương trình vi phân tuyến tính 8
u(k )(t ), w   (t )a(u (k )(t ), w )  u (k )(t ), w   F (t ), w , j  1, k,  m j m j m j m j  (3.10)  (k ) um (0)  u 0k , um (0)  u1k , (k ) trong đó k u 0k   mj (k ) w j  u0 mạnh trong V  H 2 , (3.11) j 1 k u1k   mj (k ) w j  u1 mạnh trong V . (3.12) j 1 Giả sử um 1 thỏa (3.6), ta có bổ đề sau. Bổ đề 3.1. Giả sử (A1) – (A4) đúng. Khi đó, với T  0 cố định, hệ phương trình (3.10) – (3.12) có nghiệm duy nhất um(k ) xác định trên 0  t  T . Chứng minh bổ đề 3.1. Bỏ qua các chỉ số m, k trong cách viết và ta viết (k ) (k ) (k ) c j (t ), j ,  j lần lượt thay cho cmj (t ), mj , mj . Khi đó, hệ phương trình (3.10) – (3.12) được viết lại dưới dạng như sau:  1  c (t )  (t )c (t )   c (t )  F (t ), w , 1  j  k ,   j j j j m j  j (3.13)  c (0)   , c (0)   .  j j j j Hệ phương trình này tương đương với hệ phương trình tích phân t t  c j (t )   j    je sds  j  d   (s )e (s  )c j (s )ds 0 0 0 (3.14) t   j  d   e (s  )Fm (s ), w j ds, 1  j  k . 0 0 Ta viết lại (3.14) dưới dạng c(t )  H [c ](t )  L[c ](t )+G (t ), c  C 0 ([0,T ];  k ), trong đó c(t )  (c (t ),..., c (t )), H [c ](t )  (H [c ](t ),..., H [c ](t )),  1 k 1 k   H j [c ](t )  Lj [c ](t )  G j (t ), và 9
 t  Lj [c ](t )=  j  d   (s )e (s  )c j (s )ds,  0 0   t t  G j (t )  j    je sds  j  d   e (s )Fm (s ), w j ds, 1  j  k .  0 0 0 Sự tồn tại nghiệm um(k )(t ) trên đoạn [0,T ] sẽ được suy ra từ sự tồn tại nghiệm cm(k )  C 0 ([0,T ];  k ) thỏa mãn phương trình tích phân nói trên. Như vậy ta cần chứng minh toán tử H : C 0 ([0,T ];  k )  C 0 ([0,T ];  k ) có điểm bất động. Ở đây, chuẩn trong không gian Banach X  C 0 ([0,T ]; k ) được định nghĩa như sau: k || c ||X  sup c(t ) , c(t )   c j (t ), với mỗi c  (c1,..., ck )  X . 0t T 1 1 j 1 Ta bắt đầu việc chứng minh bằng phương pháp quy nạp rằng: Với c, d  X , t  [0,T ], thì bất đẳng thức sau đúng.  |||| t  n 2 k  H n [c ](t )  H n [d ](t )  ||c  d||X , n  , (3.15) 1 (2n )! ở đây, ||||  ||||L (0,T ). Chứng minh (3.15) như sau Với n  1, ta có H j [c ](t )  H j [d ](t )  Lj [c ](t )  Lj [d ](t ) t   j  d   e (s t )(s ) c j (s )  d j (s ) ds 0 0   t   k ||||  d   c j (s )  d j (s ) ds, 1  j  k, 0 0 Hay k t  k  H [c ](t )  H j 1 j j [d ](t )  k ||||  d   0 0  c (s )  d j 1 j j (s ) ds t   k ||||  d   c(s )  d (s ) ds 0 0 1 k ||||t 2  ||c  d||X . 2 Do đó 10
k ||||t 2 H [c ](t )  H [d ](t )  ||c  d||X . (3.16) 1 2 Vậy, (3.15) đúng với n  1. Giả sử (3.15) đúng với n  1. Khi đó H n 1[c ](t )  H n 1[d ](t )  H [H n [c ]](t )  H [H n [d ]](t ) 1 1 t   k ||||  d   H n [c ](s )  H n [d ](s ) ds 0 0 1  1   t n  k ||||  d   k ||||s 2 ||c  d||Xds 0 0 (2n )!  |||| t  n 1 2 k   ||c  d||X . (3.17) (2n  2)! Bất đẳng thức (3.15) được chứng minh. Điều này dẫn đến  |||| T  n 2 k  H n [c ]  H n [d ]  ||c  d||X , với mọi n  . (3.18) X (2n )!  |||| T   |||| T  n n 2 2 k  k  Vì lim  0, nên tồn tại n   sao cho  1. n  (2n )! (2n )! Áp dụng định lý Banach, ta suy ra được H có một điểm bất động duy nhất c  X . Bổ đề 3.1 được chứng minh Khi đó hệ phương trình vi phân (3.10) có nghiệm duy nhất um(k )(t ) trên một khoảng [0,T ]. Bước 2. Đánh giá tiên nghiệm. Nhân (3.10)1 bởi cm(k )(t ) , sau đó lấy tổng theo j, ta được um(k )(t ), um(k )(t )  (t )a(um(k )(t ), um(k )(t ))  um(k )(t ), um(k )(t )  Fm (t ), um(k )(t ), (3.19) hay d  ||u k (t )||2  (t )a(u (k )(t ), u (k )(t ))    (t )a(u k (t ), u k (t )) dt  m m m  m m  2||u mk (t )||2  2Fm (t ), u m(k )(t ). (3.20) Sau đó tích phân theo biến thời gian, cận từ 0 đến t trong(3.20) ta được. 11
t X m(k )(t )  X m(k )(0)   (s )a(um(k )(s ), um(k )(s ))ds 0 t t  2  ||um(k )(s )||2ds  2  Fm (s ), um(k )(s )ds, (3.21) 0 0 trong đó X m(k )(t )  ||um(k )(t )||2  (t )a(um(k )(t ), um(k )(t )). (3.22) Trong (3.10)1 thay w j bởi w j , ta được um(k )(t ), w j   (t )a(um(k )(t ), w j )  um(k )(t ), w j   Fm (t ), w j . (3.23) Từ giả thiết (A2) và tính tích phân từng phần theo biến x , với cận từ 0 đến 1 các tích phân trong (3.23) ta thu được a(um(k )(t ), w j )  (t )um(k )(t ), w j   a(um(k )(t ), w j )  a(Fm (t ), w j ). (3.24) Nhân (3.24) bởi cm(k )(t ) , sau đó lấy tổng theo j, thì (3.24) trở thành a(um(k )(t ), um(k )(t ))  (t )um(k )(t ), um(k )(t )  a(um(k )(t ), um(k )(t ))  a(Fm (t ), um(k )(t )). (3.25) hay d   a( um(k )(t ), um(k )(t ))  (t )||um(k )(t )||2    (t )||um(k )(t )||2 dt   2a(um(k )(t ), um(k )(t ))  2a(Fm (t ), um(k )(t )). (3.26) Tích phân theo biến thời gian, cận từ 0 đến t, ta được t Y (t )  Y (0)    (s ) || um(k )(s ) ||2ds (k ) m (k ) m 0 t t  2  a(um(k )(s ), um(k )(s )) ds  2  a(Fm (s ), um(k )(s ))ds, (3.27) 0 0 trong đó Ym(k )(t )  a(um(k )(t ), um(k )(t ))  (t )||um(k )(t )||2 . (3.28) Tổ hợp (3.21) – (3.22) và (3.27) – (3.28), ta suy ra rằng t S m(k )(t )  S m(k )(0)    (s ) a( um(k )(s ), um(k )(s ))  || um(k )(s )||2  ds 0  t t  2  || um(k )(s ) ||2  a(um(k )(s ), um(k )(s )) ds  2  Fm (s ), um(k )(s )ds 0 0 12
t t  2  a(Fm (s ), um(k )(s ))ds   ||um(k )(s )||2ds, 0 0 5  S m(k )(0)   I j , (3.29) j 1 trong đó t S m(k )(t )  X m(k )(t )  Ym(k )(t )   ||um(k )(s )||2ds. (3.30) 0 Sau đây, ta sẽ lần lượt đánh giá các tích phân I j , j  1, 5, trong vế phải của (3.29). Tích phân thứ nhất. Từ giả thiết (A3) và (3.30). Ta có t I 1  || ||  a(u (k )(s ), u (k )(s ))  ||u (k )(s )||2  ds 0  m m m  (3.31) || || t  0  0 Sm(k )(s )ds. Tích phân thứ hai. Từ (3.30). Ta thu được t t I 2  2  ||um(k )(s ) ||2  a(um(k )(s ), um(k )(s )) ds  2  S m(k )(s )ds. (3.32) 0 0 Tích phân thứ ba. Từ giả thiết (A2), (3.2), (3.4), (3.6), (3.8) và (3.30). Ta suy ra rằng t t I 3  2  |Fm (s ), um(k )(s )|ds  2  ||Fm (s )|| ||um(k )(s )||ds 0 0 (3.33) t t  2K 0  Sm(k )(s )ds  TK 02   S m(k )(s )ds. 0 0 Tích phân thứ tư. Từ giả thiết (A2), (3.3), (3.6) và (3.8). Ta có được đánh giá Fm (t )  f (x , t, um 1(t ))  D1 f (x , t, um 1(t ))  D3 f (x , t, um 1(t ))um 1(t ), nên |Fm (t )|  |D1 f (x , t, um1(t ))|  |D3 f (x , t, um1(t ))|.|um1(t )|,    |D1 f (x , t, um 1(t ))|  |D3 f (x , t, um 1(t ))| . 1  |um 1(t )| ,   K 1(1  ||um 1(t )||)  K 1(1  M ), hay ||Fm (t )||  K1(1  M ). Do đó 13
t t I 4  2 |a(Fm (s ), um(k )(s ))|ds  2C 1  ||Fm (s )|| ||um(k )(s )||ds 0 0 2C 1K 1(1  M ) t  C0  0 a(um(k )(s ), um(k )(s )) ds [C 1K 1(1  M )]2T t    S m(k )(s )ds. (3.34) C0 0 Tích phân thứ năm. Ta có thể viết lại (3.10)1 như sau: um(k )(t ), w j   (t )um(k )(t ), w j   um(k )(t ), w j   Fm (t ), w j . (3.35) Nhân (3.35) bởi cm(k )(t ) , sau đó lấy tổng theo j, thì (3.35) trở thành um(k )(t ), um(k )(t )  (t )um(k )(t ), um(k )(t )  um(k )(t ), um(k )(t )  Fm (t ), um(k )(t ). hay ||um(k )(t )||2  |(t )|.||um(k )(t )||.||um(k )(t )||  ||um(k )(t )||.||um(k )(t )||  ||Fm (t )||.||um(k )(t )||  32 (t )||um(k )(t )||2  3 2||um(k )(t )||2  3K 02 . (3.36) Từ (3.36) tích phân theo t, ta được t t I 5  3||||  S m(k )(s )ds  3 2  S m(k )(s )ds  3K 02T 0 0 (3.37)   t  3 ||||   2 S m(k )(s )ds  3K 02T . 0 Tổ hợp (3.29), (3.31) – (3.37), ta được t Sm(k )(t )  Sm(k )(0)  D1(M ,T )  D2 (M ) S m(k )(s )ds, (3.38) 0 trong đó D1(M ,T )  T [4K 02  C 01C 12K 12 (1  M )2 ], (3.39) || || D2 (M )   3||||  3 2  2  2. (3.40) 0 Bây giờ ta đánh giá số hạng Sm(k )(0) . Ta có  Sm(k )(0)  ||u1k ||2  (0) a(u 0k , u 0k ) ||u 0k ||2  a(u1k , u1k ).  (3.41) 14
Từ các giả thiết (A1), (A3) và (3.11), (3.12). Ta suy ra rằng tồn tại hằng số M  0, độc lập với k và m , sao cho: M2 (k ) S (0)  m , với mọi k và m . (3.42) 2 Chú ý rằng lim D1(M ,T )  0. (3.43) T 0 Từ (3.38), (3.42), (3.43), chúng ta luôn chọn được hằng số T  0 sao cho:  M2 2   D1(M ,T ) e TD2 (M )  M 2, (3.44) và ) exp (   2  1) T2   1. || || KT  T K 1(1  1  (3.45) C 0 0  0  Cuối cùng, ta suy từ (3.38) và (3.44) rằng t  D2 (M ) S m(k )(s )ds , 0  t  T . TD2 (M ) Sm(k )(t )  M 2e (3.46) 0 Sử dụng bổ đề Gronwall, chúng ta suy từ (3.46) rằng TD2 (M ) D2 (M )t TD2 (M ) TD2 (M ) Sm(k )(t )  M 2e e  M 2e e  M 2, 0  t  T . (3.47) Vậy ta có um(k )  W (M ,T ), m, k . (3.48) Bước 3. Qua giới hạn. Từ (3.47) – (3.48) ta có thể suy ra rằng tồn tại một dãy con của dãy {um(k ) }, mà vẫn ký hiệu {um(k ) } sao cho um(k )  um trong L (0,T ;V  H 2 ) yếu *, (3.49) um(k )  um trong L (0,T ;V ) yếu *, (3.50) um(k )  um trong L2 (QT ) yếu , (3.51) thỏa um  W (M ,T ). (3.52) Từ (3.49) – (3.51) qua giới hạn trong (3.10) ta có thể kiểm tra dễ dàng rằng um thỏa (3.7) trong L2 (0,T ) yếu. Mặt khác, từ (3.7)1, (3.52), ta được um  (t )um  um  Fm  L (0,T ; L2 ). (3.53) 15