Phương trình elliptic á tuyến tính cấp hai với hai biến độc lập

www.facebook.com/hocthemtoan

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN THỊ TÂM PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI VỚI HAI BIẾN ĐỘC LẬP LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN – 2012 1Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN THỊ TÂM PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI VỚI HAI BIẾN ĐỘC LẬP Chuyên ngành: Toán giải tích Mã số: 60.46.01.02 LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: PGS. TS. Hà Tiến Ngoạn THÁI NGUYÊN – 2012 2Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 1 Mục lục Mở đầu 2 1 Một số kiến thức chuẩn bị 4 1.1. Lớp hàm Holder ……………………………………………… 4 1.1.1 Liên tục Holder ……………………………………… 4 1.1.2 Không gian   ,k C   ………………………………… 5 1.2. Đánh giá đối với ánh xạ á bảo giác…………………………… 6 1.2.1 Đánh giá đối với tích phân Dirichlet đối với ánh xạ á bảo giác…………………………………………………. 8 1.2.2 Đánh giá chuẩn Holder đối với ánh xạ á bảo giác………. 12 2 Bài toán biên Dirichlet cho phương trình elliptic á tuyến tính cấp hai với hai biến độc lập 16 2.1 Đánh giá địa phương đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai……………… 16 2.2 Đánh giá toàn cục đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai………………… 20 2.3 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic đều á tuyến tính cấp hai……………………………… 22 2.4 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic không đều á tuyến tính cấp hai………………………… 28 2.5 Sự tương đương của độ nghiêng bị chặn và điều kiện ba điểm 35 Kết luận 38 Tài liệu tham khảo 39 3Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 2 Mở đầu 1. Lý do chọn Luận văn Phương trình đạo hàm riêng cấp hai loại elliptic có một quá trình phát triển lâu dài. Trường hợp phương trình với hai biến độc lập có một mối liên quan chặt chẽ với lý thuyết hàm chỉnh hình và ánh xạ bảo giác trên mặt phẳng phức. Mục tiêu của Luận văn là trình bày lý thuyết phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. Khác với trường hợp khi số biến lớn hơn hoặc bằng ba, trong trường hợp hai biến, người ta không đòi hỏi các hệ số của phương trình là các hàm trơn, mà chỉ cần là các hàm liên tục. 2. Phương pháp nghiên cứu Sử dụng các kết quả và phương pháp của lý thuyết ánh xạ á bảo giác và của lý thuyết phương trình elliptic cấp hai tuyến tính cùng với phương pháp lặp. 3. Mục đích của Luận văn Trình bày các tính chất định tính về độ trơn của nghiệm phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. 4. Nội dụng của luận văn Nội dung chủ yếu của Luận văn được dựa vào một chương của tài liệu [1]. Trong chương 1 Luận văn đã trình bày khái niệm ánh xạ á bảo giác cùng với các đánh giá tiên nghiệm trong lớp Holder của chúng. Các kết quả trong chương 1 đã được áp dụng trong chương 2 vào các đánh giá tiên nghiệm và tính giải được của bài toán Dirichlet cho phương trình á tuyến tính elliptic đều và không đều. Đối với trường hợp elliptic không đều, bài toán Dirichlet chỉ được xét trong các miền lồi với dữ kiện biên thoả 4Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 3 mãn điều kiện độ nghiêng bị chặn. Luận văn cũng đã chỉ ra rằng điều kiện độ nghiêng bị chặn là tương đương với điều kiện ba điểm. Luận văn này được hoàn thành dưới sự hướng dẫn và chỉ bảo nhiệt tình của PGS.TS. Hà Tiến Ngoạn, Viện toán học. Em xin được bày tỏ lòng biết ơn sâu sắc đến thầy. Tác giả cũng xin gửi lời cảm ơn chân thành đến Ban Giám hiệu, phòng Đào tạo, khoa Toán – trường Đại học sư phạm, Đại học Thái Nguyên đã tạo điều kiện thuận lợi trong suốt quá trình học tập tại trường. Xin chân thành cảm ơn gia đình, bạn bè đồng nghiệp và các thành viên trong lớp cao học toán K18B đã luôn quan tâm, động viên, giúp đỡ tôi trong suốt thời gian học tập và quá trình làm Luận văn. Tuy có nhiều cố gắng, song thời gian và năng lực của bản thân có hạn nên Luận văn khó tránh khỏi những thiếu sót. Rất mong được sự đóng góp ý kiến của các thầy cô cùng toàn thể bạn đọc. Thái Nguyên, tháng 08 năm 2012 Tác giả Trần Thị Tâm 5Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 4 Chương 1 Một số kiến thức chuẩn bị 1.1 Lớp hàm Holder 1.1.1. Liên tục Holder Định nghĩa 1.1. Cho 0 x là một điểm trong n và f là một hàm xác định trên miền bị chặn D chứa 0 x . Nếu 01   , ta nói rằng f là liên tục Holder với số mũ  tại 0 x nếu: (1.1)       0 0 0 ; 0 sup x xD xx f x f x f xx        hữu hạn. Ta gọi   0 ;x f  là hệ số Holder bậc α của f tại 0 x . Nếu f là liên tục Holder tại 0 x thì f liên tục tại 0 x . Khi (1.1) là hữu hạn với 1   , f là liên tục Lipschitz tại 0 x . Ví dụ 1.2. Hàm f trên   1 0B được cho bởi   f x x   , 01   là liên tục Holder với số mũ  và liên tục Lipschitz khi 1   , trong đó   1 0B là hình cầu đơn vị. Định nghĩa 1.3. Ta nói f là liên tục đều Holder trong D với số mũ  nếu đẳng thức: 6Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 5 (1.2)       ; , sup , 0 1, D x y D xy f x f y f xy           hữu hạn. Ta nói f là liên tục Holder địa phương với số mũ  trong D nếu f là liên tục đều Holder với số mũ  trên mọi tập con compact của D . 1.1.2. Không gian   ,k C   Cho  là tập mở trong n và k là một số nguyên không âm.   ,k C   là không gian các hàm   k fC mà các đạo hàm riêng cấp k liên tục Holder với số số mũ  trong  . Để đơn giản ta viết:         0, 0, , .C C C C           Và ta hiểu rằng với 01   ký hiệu này được sử dụng bất cứ khi nào, trừ khi có quy ước khác. Cũng như vậy, ta đặt:         ,0 ,0 , . k k k k C C C C      Chúng bao gồm các không gian       , kk CC trong số các không gian       ,, , kk CC   với 01   . Ta cũng ký hiệu   , 0 k C   là không gian các hàm trên   ,k C   có giá compact trong  . Ta đặt: (1.3)     ,0; 0; ,; ;; supsup , 0,1,2, sup . k k k k k k u D u D u k u D u D u                   Với những nửa chuẩn này, ta định nghĩa các chuẩn tương ứng: 7Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 6 (1.4)         , ; ,0; ,0; 0; 00 , ; ; ; ,; ; , , k k kk j C k k j jj k C k k k k u u u u D u u u u u u D u                               trên các không gian   k C  ,   ,k C   tương ứng. Đặc biệt, đôi lúc ta đưa vào các chuẩn không thứ nguyên trên   k C  ,   ,k C   : nếu  bị chặn, với d là đường kính của  , ta đặt, (1.5)         , ; ,0; 0; 00 , ; ; ; ,; ; , . k k kk j j j Ck j jj k k k C k k k k u u d u d D u u u u d u u d D u                                   Các không gian   k C  ,   ,k C   với các chuẩn tương ứng là những không gian Banach. Ta chú ý rằng, tích các hàm liên tục Holder cũng liên tục Holder. Thật vậy, nếu     ,u C v C      , ta có   uv C   trong đó   min ,     , và (1.6)               2 max 1, ; . C C C C C C uv d u v uv u v                      1.2 Đánh giá đối với ánh xạ á bảo giác. Nhiều khái niệm và phương pháp khác nhau trong lý thuyết hàm đóng vai trò đặc biệt trong lý thuyết của các phương trình elliptic hai biến. Ở đây chủ yếu quan tâm đến đánh giá tiên nghiệm phát sinh từ lý thuyết của ánh xạ á bảo giác. Một ánh xạ khả vi liên tục   ,p p x y ,   ,q q x y từ một miền  8Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 7 trong mặt phẳng   ,z x y tới mặt phẳng   w,pq là á bảo giác hay K  á bảo giác, trong miền  nếu với mỗi hằng số 0K  , ta có: (1.7)   2 2 2 2 2 x y x y x y y x p p q q K p q p q     với mọi   ,xy . Mặc dù bất đẳng thức (1.7) thỏa mãn cho p và q trong   1 C  , trong phần này kết quả được phát triển cho , pq liên tục và có đạo hàm yếu bình phương khả tích. Khi 1K  , (1.7) kéo theo p và q là hằng số và do đó ta giả thiết 1K  . Với 1K  , ánh xạ       w z p z iq z là một hàm giải tích của z . Khi 1K  bất đẳng thức (1.7) có ý nghĩa hình học là tại mọi điểm không triệt tiêu của Jacobian thì ánh xạ này giữa mặt phẳng z và mặt phẳng w sẽ bảo toàn định hướng và ánh xạ đường tròn đủ nhỏ vào các đường elliptic đủ nhỏ với tâm sai bị chặn đều, trong đó tỉ số của trục nhỏ tới trục lớn là bị chặn dưới bởi   1/2 2 10KK      . Ta sẽ quan tâm đến lớp các ánh xạ tổng quát hơn     ,,x y p q xác định bởi bất đẳng thức: (1.8)   2 2 2 2 2' x y x y x y y x p p q q K p q p q K      trong đó K , 'K là hằng số, với 1, ' 0KK . Mặc dù ý nghĩa hình học là không giống nhau, ta sẽ gọi các ánh xạ tuân theo (1.8) là   ,'KK  á bảo giác. Trong sự phát triển tiếp theo, ta thấy rằng các ánh xạ thỏa mãn (1.7) và (1.8) phát sinh từ phương trình elliptic hai biến với p và q biểu diễn các đạo hàm cấp một của nghiệm. Mục đích của phần này là đưa ra các đánh giá tiên nghiệm trong lớp Holder cho ánh xạ   ,'KK  á bảo giác. Kết quả cơ bản sẽ là hệ quả của những bổ đề liên quan đến công thức tính tích phân Dirichlet: 9Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 8 (1.9)   2 2 2 ( ) ( ) ( , ) r r xy z B z r z Dw dx dy w w dx dy B      D của ánh xạ   ,'KK  á bảo giác w được lấy trên đĩa   r Bz . Khi đó để đơn giản ta viết   rD thay cho   ,rzD và r B thay cho () r Bz . 1.2.1 Đánh giá đối với tích phân Dirichlet đối với ánh xạ á bảo giác. Bổ đề 1.4. Giả sử w p iq là   ,'KK  á bảo giác trên hình tròn 0 () RR B B z thỏa mãn (1.8) với 0, 0KK , và giả sử pM trong R B . Khi đó với mọi /2rR , ta có (1.10) 2 2 2 1/2 ( ) , ( 1) , r r r Dw dx dy C K K R B            D với 22 1 ( )( ' )C C K M K R . Nếu '0K  , kết luận vẫn đúng với 1.K  Chứng minh. Trước tiên chúng ta thiết lập đánh giá cho tích phân Dirichlet trong hình tròn bán kính / 2.R Từ (1.8) ta có với bất kỳ hình tròn đồng tâm rR BB , ta có: (1.11) 2 2 2 ( , ) ( ) 2 ' ( , ) =2 ' , r r r B C pq z Dw dx dy K dx dy K r xy B q K p ds K r s              D với s là ký hiệu độ dài cung tròn rr CB lấy theo phương ngược chiều kim đồng hồ. Mặt khác sử dụng 2 () r C z Dw ds  D' , ta thấy: 10Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn [...]...  với   p  C1  và p 1,  M , thì xét p  p trong vị trí của p , ta thấy w cũng thỏa mãn với đánh giá toàn cục, với  , C phụ thuộc vào K , K ', M , M ' và  17Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 16 Chương 2 Bài toán Dirichlet cho phương trình elliptic á tuyến tính cấp hai 2.1 Đánh giá địa phương đối với chuẩn Holder cho đạo hàm cấp một của nghiệm phương. .. thức (2.9), ta có đánh giá chuẩn như sau:    [u ]1,  C u 0  f  0 , C  C ( ) (2.10) 2 2.2 Đánh giá toàn cục đối với chuẩn Holder đạo hàm cấp một của nghiệm phương trình tuyến tính cấp hai Định lý 2.1 về đánh giá địa phương có thể được mở rộng cho đánh giá C1, () dưới giả thiết tính trơn phù hợp với dữ kiện trên biên Giả sử thêm 2 vào giả thiết của Định lý 2.1 là u  C () với  là một miền... Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 22 2.3 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic đều á tuyến tính cấp hai Ta xét bài toán Dirichlet cho phương trình elliptic á tuyến tính dạng tổng quát, Qu  a  x, y, u, u x , u y  u xx  2b  x, y, u, u x , u y  u xy (2.11)  c  x, y, u, u x , u y  u yy  f  x, y, u, u x , u y   0 được xác định trong một miền... qua các số hạng của u 1, và   u0 2.4 Tính giải được của bài toán biên Dirichlet cho phương trình elliptic không đều á tuyến tính cấp hai Nghiên cứu về phương trình elliptic không đều, ta sẽ thấy rằng không giống như phần trước, khả năng giải được của bài toán Dirichlet nói chung là liên kết chặt chẽ với dạng hình học của miền Nét đặc trưng của phương trình elliptic không đều đã được quan sát trong... cấp một của nghiệm phương trình tuyến tính cấp hai Những kết quả phần trước sẽ được áp dụng để thu được đánh giá Holder cho các nghiệm của đạo hàm cấp một của phương trình elliptic đều Lu  auxx  2buxy  cu yy  f , (2.1) với a, b, c, f được xác định trong miền  của mặt phẳng z   x, y  Ký hiệu     z  , =  z  là giá trị riêng nhỏ nhất và lớn nhất của ma trận các hệ số thỏa mãn (2.2) ... C2 M 2 1.2.2 Đánh giá chuẩn Holder đối với ánh xạ á bảo giác Bổ đề tính toán sau đây của Morrey là một bước thiết yếu để từ đánh giá cấp tăng của tích phân Dirichlet có thể nhận được đánh giá Holder trên chính hàm đó Giả sử  và Ω là các miền trong 2 Ta ký hiệu    nếu bao đóng của  chứa trong  , tức là    Bổ đề 1.5 Giả sử w  C1 () và    với dist(, )  R Giả sử các hằng số dương... chặn với hằng số K   Giả sử u  C 2     C 0  thỏa mãn phương trình elliptic tuyến tính (2.28) Lu  auxx  2buxy  cu yy  0 trong  , với u   trên  Khi đó sup Du  K (2.29)  Ta nhấn mạnh rằng L chỉ cần là toán tử elliptic và không cần điều kiện nào khác trên các hệ số Chứng minh Đầu tiên ta chú ý rằng nếu  là hạn chế của một hàm tuyến tính trên  thì từ tính duy nhất nghiệm u trùng với. .. Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 28 chứng minh bởi Định lý 2.3 cũng phải nằm trong C 2, () Để chứng minh khẳng định này, đầu tiên ta quan sát phương trình Qu  0 sau đó chèn u vào các hệ số, được các hệ số trong C  () khi   u  C 2,     C 0  và u   trên  , với   C 2, () Theo kết quả đánh giá toàn cục của phương trình tuyến tính, nghiệm u nằm trong C1, () với  nào... Áp dụng đánh giá trước và đánh giá Schauder bên trong miền cho họ phương trình QnuN  0 trên tập con compact, ta thu được một dãy con un  uN  hội tụ đến một nghiệm u của Qu  0 trong  thỏa mãn đánh giá (2.25) Điều đó chứng tỏ rằng u cũng thỏa mãn điều kiện bị chặn u   và cho mục đích này ta lập luận tương tự như trên Theo kết quả của (2.20) và (2.23), mỗi un là một nghiệm của phương trình tuyến. .. trình elliptic không đều đã được quan sát trong lí thuyết tuyến tính Kết quả của phần này nhấn mạnh vai trò quan trọng tính lồi của miền nhằm đảm bảo khả năng giải được của bài toán biên Dirichlet 30Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn 29 Bài toán Dirichlet cho phương trình elliptic á tuyến tính tổng quát có dạng Qu  a  x, y, u, u x , u y  u xx  2b  x, y, . Đánh giá chuẩn Holder đối với ánh xạ á bảo giác………. 12 2 Bài toán biên Dirichlet cho phương trình elliptic á tuyến tính cấp hai với hai biến độc lập 16. tiêu của Luận văn là trình bày lý thuyết phương trình elliptic á tuyến tính cấp hai với hai biến độc lập. Khác với trường hợp khi số biến lớn hơn hoặc