Bài toán dirichlet cho phương trình elliptic á tuyến tính cấp hai trong miền với biên có cấu trúc hình học đặc biệt

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 oOo PHẠM THỊ NHÀI BÀI TOÁN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI TRONG MIEN VỚI BIÊN CÓ CẤU TRÚC HÌNH HỌC ĐẶC BIỆT LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 oOo PHẠM THỊ NHÀI BÀI TOÁN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI TRONG MIỀN VỚI BIÊN CÓ CẤU TRÚC HÌNH HỌC ĐẶC BIỆT HÀ NỘI - 2014 Chuyên ngành: Toán giải tích Mã số : 60.46.01.02 LUẬN VĂN THẠC SĨ KHOA HỌC TOÁN HỌC Người hướng dẫn khoa học: PGS.TS. Hà Tiến Ngoạn HÀ NỘI - 2014 LỜI CẢM ƠN Trước tiên, tôi xin chân thành cảm ơn thầy hướng dẫn PGS.TS. Hà Tiến Ngoạn, người đã luôn quan tâm, động viên và tận tình giúp đỡ, truyền đạt lại những kiến thức quý báu cho tôi trong suốt quá trình thực hiện luận văn. Tôi xin chân thành cảm ơn Ban Giám Hiệu, Phòng Đào tạo Sau Đại học, các thầy cô giáo dạy cao học chuyên ngành Toán giải tích cùng các thầy cô trong trường Đại học Sư Phạm Hà Nội 2 đã nhiệt tình giúp đỡ, giảng dạy, tạo điều kiện tốt nhất cho tôi trong thời gian học tập tại trường. Tôi xin kính gửi lời cảm ơn sâu sắc đến những người thân trong gia đình đã động viên, tạo những điều kiện học tập tốt nhất cho tôi. Cuối cùng, tôi xin chân thành cảm ơn các bạn đồng khóa cao học K16 nói chung và chuyên ngành Toán giải tích nói riêng đã giúp đỡ, động viên tôi hoàn thành luận văn này. Hà Nội, tháng 12, năm 2014 Phạm Thị Nhài Mục lục Tài liệu tham khảo 3 LỜI CAM ĐOAN Luận văn được hoàn thành tại trường Đại học Sư phạm Hà Nội 2 dưới sự hướng dẫn của PGS. TS. Hà Tiến Ngoạn. Một số kết quả đã đạt được trong luận văn là mới và chưa từng được công bố trong bất kỳ công trình khoa học nào của ai khác. Hà Nội, tháng 12, năm 2014 Tác giả Phạm Thị Nhài Mở đầu 1. Lý do chọn đề tài Tính giải được của bài toán Dirichlet đối với phương trình elliptic á tuyến tính cấp hai phụ thuộc vào việc đánh giá chuẩn Holder đối với đạo hàm cấp một của nghiệm ở trong lân cận biên của miền. Nếu biên của miền được giả thiết là trơn thì việc đánh giá nói trên là thuận lợi. Luận văn xét một số cấu trúc hình học đặc biệt của miền sao cho khi biên không trơn mà việc đánh giá nói trên vẫn có thể thực hiện được. Trong một số trường hợp đặc biệt của biên, luận văn đã chỉ ra bài toán Dirichlet không có nghiệm. Tài liệu tham khảo chính của luận văn là các chương 11, 14 quyển Elliptic Partial Differential Equations of Second Order của hai tác giả D. Gilbarg và N. Trudinger (2001). 5 2. Mục đích nghiên cứu Trình bày sự tồn tại của nghiệm bài toán Dirichlet đối với phương trình elliptic á tuyến tính cấp hai trong miền với biên thỏa mãn điều kiện hình cầu bên ngoài. 3. Nhiệm vụ nghiên cứu Tổng quan về sự tồn tại nghiệm bài toán Dirichlet đối với phương trình elliptic á tuyến tính cấp hai trong miền với biên thỏa mãn điều kiện hình cầu bên ngoài. 4. Đối tượng và phạm vi nghiên cứu Bài toán Dirichlet đối với phương trình elliptic á tuyến tính cấp hai trong miền với biên thỏa mãn điều kiện hình cầu bên ngoài. 5. Phương pháp nghiên cứu Nghiên cứu lý thuyết: thu thập tài liệu, đọc và phân tích, tổng hợp để được nghiên cứu tổng quan về lớp nghiệm suy rộng của phương trình elliptic tuyến tính cấp hai dạng bảo toàn. 6. Những đóng góp mới Luận văn là một tài liệu tham khảo về chuyên đề này. 7. Kết cấu luận văn Luận văn bao gồm: Phần mở đầu, 2 chương, kết luận và danh mục tài liệu tham khảo. 6 Chương 1: Kiến thức chuẩn bị Trình bày một số các không gian hàm, phát biểu bài toán Dirichlet và chỉ ra các điều kiện giải được của bài toán này, để kiểm tra tính giải được của bài toán ta phải đưa ra các đánh giá tiên nghiệm bên trong và trên biên. Chương 2: Đánh giá ở trên biên đối với đạo hàm cấp một của nghiệm của bài toán Dirichlet Đưa ra các đánh giá đối với nghiệm ở trên biên của miền. Để chỉ ra các đánh giá đó, luận văn đưa vào khái niệm hàm rào cản trên biên, điều kiện hình cầu ngoài, điều kiện mặt phẳng ngoài, điều kiện hình cầu trong và các điều kiện đối với độ cong của biên. Trên cơ sở khảo sát, luận văn chỉ ra các điều kiện tồn tại và không tồn tại nghiệm của bài toán Dirichlet. 7 Chương 1 Kiến thức chuẩn bị 1.1 Không gian Holder 1.1.1 Không gian c £ { )ũ Cho íì là miền bị chặn trong R" với biên trơn. Cho X = (íEi, X 2 , x n ) e íì và đa chỉ số Ck, Ck = (ai , «2: &n), a j € N với |a| = a 1 + «2 + ■■■ + Qí„. Ta ký hiệu: Khi đó ơ(fỉ) = ơ°(fĩ) là không gian các hàm số liên tục trên íí với chuẩn: “llơ(n) = =SUP!“(*)!• Từ đó ta cũng định nghĩa được c l (íì) như sau ơ'(íl) = {u( X y,D a u e ơ°(íl),Va : \a\ < l} , và được trang bị chuẩn: |a|<ỉ ù Các không gian c l (ũ) là các không gian Banach. Dau = D^D^2 D^u, (1. (1. 8 1.1.2 Không gian ơỉ,7(íỉ) với 0 < 7 < 1 Trước tiên ta định nghĩa không gian c 0 ; 7 (íì) như sau: và được trang bị chuẩn: IMI7;n = Hlo;íl + (1-3) Từ đó ta có định nghĩa của không gian cỉ, 7 (0) với 0 < 7 < 1 cl’7(n) = ịue Cl{ủ)-[Dau]in < +oo; V |a| = /} , với chuẩn: IMIỉ,7,n = IMI/íO + ^2 \.^ c ‘ u \'t,ủ (1-4) \a\=l Các không gian ƠỈ, 7 (Õ) là các không gian Banach. Ta có ƠỈ, 0 (Õ) = c l (ũ) và c 0 , 1 (n) là không gian các hàm thỏa mãn điều kiện Lipschitz. 1.2 Bài toán Dirichlet cho phương trình elliptic á tuyến tính cấp hai 1.2.1 Phát biểu bài toán Dirichlet Xét bài toán Dirichlet chophương trình elliptic á tuyến tính cấp hai sau: Qu = a u, Du)DiịU + b(x, u, Du) = Ũ,IEÍ1, (1-5) u = tp trên díì. (1-6) \u(x)-u(y)\ { ‘í’ ơ 0 ; 7 (íì) = < Giả sử toán tử thỏa mãn các điều kiện sau đây r aij = a j i (1.7) 0 < \(x,z,p)\ç\2 < а^(х,г,р)^ < A(x,z,p)|£| 2 , Ta cũng giả sử rằng với а e (0,1) các hệ số aij, b e c a (ù X R X R"), biên ỚÍ2 e c 2, a và tp là một hàm số được cho trong c 2 ’ a (ũ). 1.2.2 Tính giải được của bài toán Dirichlet Định lí 1.1. ([3]) Giả sử Q là một miền bị chặn trong R” ; Q ỉà elliptic trong ũ với các hệ số a ij ,ò e са(й X R X R"),o € (0,1). Giả sử dn e c2’a và <p E c2’a(ù). Khi đó, nếu với 0 < ß < 1 nào đó tồn tại một hằng số M không phụ thuộc vào и và ơ sao cho với mọi c2,a(ù) - nghiệm u(x) của bài toán Dirichlet, Qơu = 0 trong Q, и = ơ<p trên дп, 0 < ơ < 1 thỏa mãn: 1М1сг'0(й) < (1-8) thì bài toán (1-5), (1-6) là giải được trong c2,a(ù), trong đó: Qơu — ац(х, и, Du)D[ịU + ơb(x, u, Du) — 0 trong Г2, и — ơ(p trên ỠÍ2. (1-9) Nhận xét 1.2. Như vậy tính giải được của bài toán (1-5), (1.6) đưa về việc nghiên cứu đánh giá (1.8). [...]... bước quan trọng trong việc đánh giá (1.8) và đưa tới tính giải được của bài toán Dirichlet (1.5), (1.6) 4 Chương 2 Đánh giá ở trên biên đối với đạo hàm cấp một của nghiệm bài toán Dirichlet 2.1 Hàm rào cản trên biền Ta xét phương trình elliptic á tuyến tính cấp hai: Qu = u, Dn)DịịU + b(x, u, Du) = 0, (2-1) trong miền ílcl" Việc đánh giá đạo hàm trên biên sẽ cho lời giải của phương trình trên Những... hợp các điều kiện cấu trúc đối với các hệ số của Q và điều kiện hình học trên miền Í2 Nó cho thấy đạo hàm trên biên của nghiệm phương trình elliptic có những khía cạnh khác so với đánh giá Holder trên miền với biên trơn Việc đánh giá đạo hàm trên biên buộc phải xét trong nguyên lý cực đại và phải lựa chọn được các hàm rào cản Những đánh giá này rất quan trọng khi chúng được xem là thừa số chính trong. ..1.2.3 Các bước kiểm tra điều kiện (1.8) Để kiểm tra điều kiện (1.8) người ta thực hiện theo bốn bước: 1 Đánh giá max |tí| trên toàn miền 2 Đánh giá đạo hàm cấp một của nghiệm trên biên 3 Đánh giá đạo hàm cấp một của nghiệm bên trong miền Đánh giá chuẩn Holder của đạo hàm cấp một Nội dung chính của Chương 2 là việc thực hiện bước 2, trình bày đánh giá đạo hàm cấp một của nghiệm trên biên Đây là... 0 trong íĩvà и (p trên ỠÍ2 Giả sử Q ỉà miền lồi và e c2(ủ) Khi đó, nếu một trong các điều = kiện cấu trúc (2.2Ậ) và (2.25) được thỏa mãn thì ta có: \Du\ < С trên d£l, trong đó С = C(n, M, ß, (2.27) Hệ quả 2.4 đặc biệt được áp dụng cho toán tử mặt cực tiểu sơĩ cho bởi: 3Jtu — (l + ịDuị2') Alt — DiuDjuDiịU (2.2 ở đây X = 1, A = 1 + |p|2, vì vậy việc đánh giá đạo hàm trên biên vẫn đúng trong những miền. .. vậy một đánh giá đạo hàm trên biên sẽ cho lời giải của(2.35) trong những miền lồi đều với điều kiện hàm số H thỏa mãn: |tf|/i(|z|) (2-36) Điều kiện cấu trúc (2.32) rõ ràng thỏa mãn khi 0 = 0 Trong trường hợp này Hệ quả 2.6 có thể được suy ra bởi các hàm chắn tuyến tính, từ những biên có nhiều dạng khác nhau (ỠQ, ụ>) sẽ thỏa mãn một điều kiện biên nghiêng Hơn nữa khi b = о(Л |p|) trong (2.32),... ta có: |b| < /i(M)£ với |p| > n(\z\) (2.2 Các đại lượng chắn ở mục trước có thể áp dụng với V = ự(M), M = sup |tí| Do đó П ta thu được một đánh giá cho Du(x o) với điều kiện Qu = 0 trong Q và и = 0 trên ỠQ Mở rộng kết quả này cho giá trị biên tp khác 0, ta đòi hỏi ЛD 2 ip và b = o(^) phải thỏa mãn: Л ÌD2ip I + |b| < n (|z|) T với Ip - Dipị > fi(\z\), với hàm số ụ, không giảm nào đó Từ đó ta có đánh... hướng pháp tuyến của w ± và и tồn tại tại x 0 thỏa mãn dw~ , , du, dw+ , , s s (2-3) Ta gọi các hàm w ± tương ứng là các hàm cản trên và hàm cản dưới tại Xo của toán tử íĩ và hàm số u Sự tồn tại của chúng xảy ra ở tất cả các điểm Xũ e dũ, tương ứng với các đạo hàm trên biên nghĩa là việc đánh giá đạo hàm trên biên cho и thỏa mãn Qu = 0 trong fĩ Việc xây dựng các hàm rào cản thuận lợi cho phép cách tùy... việc xác định xem có thể giải quyết được đặc điểm bài toán Dirichlet hay không Ta miêu tả phương pháp chắn như sau: Giả sử Q là một toán tử elliptic của có dạng: Qu = 0^(2;, tí, Du)DiịU + b(x,u, Du), (2-2) ở đây b(x,z,p ) không tăng theo z Giả sử u e C 2 (Jl) n c°(n) thỏa mãn Qu = 0 trong 0 Giả sử x° e và trong một lân cận N = M X a nào đó của nó tồn tại hai hàm w± = w± € C 2 (N n íĩ) n n 0) sao cho. .. biến đổi công thức một một khoảng trong R và tập и — ф(и), ở đây Ф £ C 2 (I),ĩp Ф 0 trên I, với v(x ) eita có: E(x,v, Dv) =tử Q trong (2.5) ta Đối với toán F(x, u, Du, Dip) Công thức (2.4) và (2.5) báo trước phạm vi điều kiện cấu trúc đòi hỏi phải xây (2 dựng các hàm rào cản 2.2 Miền với biên thỏa mãn điều kiện hình cầu bên ngoài Ta bắt đầu xây dựng hàm chắn cho những miền trơn Giả sử íí thỏa mãn điều... trong (2.14) ve к v (2.15) Bây giờ mở rộng đánh giá (2.15) cho giá trị biên khác 0 Lấy . KHOA HỌC TOÁN HỌC BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 oOo PHẠM THỊ NHÀI BÀI TOÁN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI TRONG MIỀN VỚI BIÊN CÓ CẤU TRÚC HÌNH. BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI 2 oOo PHẠM THỊ NHÀI BÀI TOÁN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI TRONG MIEN VỚI BIÊN CÓ CẤU TRÚC HÌNH HỌC ĐẶC BIỆT LUẬN. của bài toán Dirichlet đối với phương trình elliptic á tuyến tính cấp hai phụ thuộc vào việc đánh giá chuẩn Holder đối với đạo hàm cấp một của nghiệm ở trong lân cận biên của miền. Nếu biên