Bài toán biên dirichlet cho phương trình elliptic tuyến tính cấp 2 trong không gian holder

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN THỊ THÚY MAI BÀI TỐN BIÊN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC TUYẾN TÍNH CẤP HAI TRONG KHƠNG GIAN HOLDER LUẬN VĂN THẠC SỸ TOÁN HỌC Thái Nguyên - Năm 2012 1Số hóa Trung tâm Học liệu – Đại học Thái Nguyên Tai ngay!!! Ban co the xoa dong chu nay!!! http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM TRẦN THỊ THÚY MAI BÀI TOÁN BIÊN DIRICHLET CHO PHƯƠNG TRÌNH ELLIPTIC TUYẾN TÍNH CẤP HAI TRONG KHƠNG GIAN HOLDER Chuyên ngành: 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 - Năm 2012 2Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i Mục lục Mở đầu Một số kiến thức chuẩn bị 1.1 Cơng thức tích phân phần 1.2 Công thức Green thứ 1.3 Công thức Green thứ hai 1.4 Công thức Green biểu diễn hàm số 1.5 Lớp hàm Holder 1.6 Đánh giá Schauder vị Newton 1.7 Phương pháp liên tục 1.8 Phương pháp làm trơn hàm số Bài toán biên Dirichlet cho phương trình elliptic tuyến tính cấp hai 2.1 Đánh giá Schauder nghiệm toán biên Dirichlet cho phương trình Poisson 2.2 Đánh giá Schauder nghiệm toán biên Dirichlet cho phương trình elliptic tuyến tính cấp hai 2.3 Tính giải tốn biên Dirichlet cho phương trình Poisson 2.4 Tính giải tốn Dirichlet cho phương trình elliptic cấp hai dạng tổng quát 3 4 10 11 14 14 19 26 27 Kết luận 28 TÀI LIỆU THAM KHẢO 29 3Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Mở đầu Lý chọn Luận văn Phương trình elliptic tuyến tính cấp hai có đặc điểm quan trọng là: vế phải hệ số phương trình hàm liên tục nghiệm cổ điển lớp C nói chung khơng tồn Nhà tốn học Schauder có phát quan trọng vế phải hệ số phương trình thuộc lớp Holder C α nghiệm tồn lớp C 2,α Do cần phải trình bày cách hệ thống lý thuyết Schauder tính giải phương trình elliptic cấp hai không gian Holder Phương pháp nghiên cứu Các phương pháp sử dụng Luận văn đánh giá tiên nghiệm vị Newton sử dụng phương pháp liên tục để chuyển kết cho phương trình Poisson sang loại phương trình tổng qt Mục đích Luận văn Trình bày tính giải tốn Dirichlet cho phương trình elliptic cấp hai dạng tổng quát Nội dung Luận văn Luận văn bao gồm phần Mở đầu, hai chương nội dung chính, Kết luận Tài liệu tham khảo Chương Giới thiệu kiến thức chuẩn bị cho việc nghiên cứu kết Luận văn Trước hết trình bày cơng thức tích phân phần, sau trình bày cơng thức Green thứ nhất, công thức Green thứ hai công thức tích phân phần Tiếp theo giới thiệu lớp hàm Holder, đánh giá Schauder vị Newton hai phương pháp quan trọng phương pháp liên tục phương pháp làm trơn hàm số Chương Giới thiệu đánh giá Schauder nghiệm 4Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn toán biên Dirichlet cho phương trình Poisson nghiệm tốn biên Dirichlet cho phương trình elliptic tuyến tính cấp hai Tiếp theo trình bày tính giải tốn biên Dirichlet cho phương trình Poisson tính giải tốn Dirichlet cho phương trình elliptic cấp hai dạng tổng quát Luận văn hoàn thành hướng dẫn nhiệt tình bảo PGS.TSKH Hà Tiến Ngoạn, Viện Toán học Em xin bày tỏ lòng biêt ơn sâu sắc đến Thầy Tác giả xin gửi lời cảm ơn chân thành đến Ban Giám hiệu, phịng Đào tạo, khoa Tố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 suốt trình học tập trường Xin chân thành cảm ơn gia đình, bạn bè đồng nghiệp thành viên lớp cao học tốn K18B ln quan tâm, động viên, giúp đỡ tơi suốt thời gian học tập q trình làm Luận văn Tuy có nhiều cố gắng, song thời gian lực thân có hạn nên Luận văn khó tránh khỏi thiếu sót Rất mong đóng góp ý kiến thầy toàn thể bạn đọc Thái Nguyên, tháng 08 năm 2012 Tác giả Trần Thị Thúy Mai 5Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương Một số kiến thức chuẩn bị 1.1 Cơng thức tích phân phần Giả sử Ω ⊂ Rd miền bị chặn Rd với biên ∂Ω Với x ∈ ∂Ω ta ký hiệu νx = (ν1 , ν2 , , νd ) véctơ pháp tuyến đơn vị x, dσ(x) phần tử diện tích ∂Ω Với u(x), v(x) ∈ C (Ω) ∩ C (Ω) ta có cơng thức tích phân phần sau đây: Z Z Z ∂u(x) ∂v(x) v(x)dx = − u(x) dx + u(x)v(x)νk dσ(x) (1.1) ∂xk ∂xk Ω 1.2 Ω ∂Ω Công thức Green thứ Bổ đề 1.2.1 Giả sử u(x) ∈ C (Ω) ∩ C (Ω), v(x) ∈ C (Ω) ∩ C (Ω), d P ∂2u ∆u = Khi ta có cơng thức Green thứ ∂x2 k=1 k Z Z v(x)∆u(x)dx + Ω ∇u = ∇u(x).∇v(x)dx = Ω ∂u ∂u ( ∂x , , ∂x ) d Z v(z) ∂u (z)dσ(z), ∂νz (1.2) ∂Ω , ∂u ∂νz = d P k=1 ∂u ∂xk νk = (∇u, νz ) đạo hàm u theo hướng νz 6Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chứng minh Ta có: Z Z d X ∂ ∂u v(x)∆u(x)dx = v(x) ( )dx ∂xk ∂xk Ω k=1 Ω  X Z Z X d d ∂u(z) ∂u ∂v dx + v(z) νk dσ(z) = − ∂x ∂x ∂x k k k k=1 Ω k=1 ∂Ω Z Z ∂u = − ∇u(x).∇v(x)dx + v(z) (z)dσ(z) ∂νz Ω ∂Ω Do ta có cơng thức (1.2) 1.3 Công thức Green thứ hai Bổ đề 1.3.1 Giả sử u(x), v(x) ∈ C (Ω) ∩ C (Ω), ta có cơng thức Green thứ hai:  Z Z  ∂u ∂v − u(z) (z) dσ(z) {v(x)∆u(x) − u(x)∆v(x)}dx = v(z) ∂νz ∂νz Ω ∂Ω (1.3) Chứng minh Theo cơng thức Green thứ ta có: Z Z Z ∂u (z)dσ(z) v(x)∆u(x)dx + ∇u(x).∇v(x)dx = v(z) ∂νz Ω Ω ∂Ω Đổi vai trò hàm u(x) v(x) ta có: Z Z Z ∂v u(x)∆v(x)dx + ∇v(x).∇u(x)dx = u(z) (z)dσ(z) ∂νz Ω Ω ∂Ω Trừ vế hai phương trình ta có (1.3) 1.4 Cơng thức Green biểu diễn hàm số Định lý 1.4.1 Nếu u ∈ C (Ω), ta có:  Z  Z ∂Γ ∂u u(y) = u(x) (x, y) − Γ(x, y) (x) do(x) + Γ(x, y)∆u(x)dx, ∂νx ∂νx ∂Ω Ω (1.4) 7Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ( Γ(x, y) = Γ(|x − y|) = 2π log |x − y| với d = 2−d với d > d(2−d)ωd |x − y| (1.5) ωd thể tích hình cầu đơn vị Rd Chứng minh Với  > đủ nhỏ, tồn hình cầu tâm y bán kính  B(y, ) ⊂ Ω (vì Ω mở ) Áp dụng (1.3) cho v(x) = Γ(x, y) Ω \ B(y, ) Do Γ hàm điều hòa theo biến x Ω \ {y}, ta thu được: Z Z n ∂Γ(x, y) o ∂u (x) − u(x) dσ(x) Γ(x, y)∆u(x)dx = Γ(x, y) ∂νx ∂νx ∂Ω Ω\B(y,) Z n + ∂Γ(x, y) o ∂u (x) − u(x) dσ(x) Γ(x, y) ∂νx ∂νx ∂B(y,) (1.6) Trong tích phân thứ hai biên, ν pháp tuyến Ω \ B(y, ), pháp tuyến B(y, ) Ta lấy giới hạn tích phân cơng thức  → Do u ∈ C (Ω), ∆u bị chặn Do Γ khả tích nên vế trái (1.6) trở thành: Z Γ(x, y)∆u(x)dx Ω Trên ∂B(y, ), ta có Γ(x, y) = Γ() Vì  → 0, Z Z i i i i x − y x − y dy |v i (x1 ) − v i (x2 )| ≤ sup |f | − (1.14) d d |x − y| |x − y| Ω Ω 10Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Theo định lý giá trị trung bình ta có: Trong đoạn [x1 ; x2 ] tồn x3 cho: i i i x1 − y i x − y c3 |x1 − x2 | (1.15)