Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 69 trang
THÔNG TIN TÀI LIỆU
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH Cao Phi Thơ MỘT SỐ KẾT QUẢ CHÍNH QUY NGHIỆM CHO PHƯƠNG TRÌNH PARABOLIC DẠNG DIVERGENCE LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh - 2019 Luan van BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM THÀNH PHỐ HỒ CHÍ MINH Cao Phi Thơ MỘT SỐ KẾT QUẢ CHÍNH QUY NGHIỆM CHO PHƯƠNG TRÌNH PARABOLIC DẠNG DIVERGENCE Chun ngành: Tốn giải tích Mã số: 84 601 02 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 NHÂN Thành phố Hồ Chí Minh - 2019 Luan van LỜI CẢM ƠN Trước hết xin bày tỏ lòng biết ơn sâu sắc tới TS Nguyễn Thành Nhân, người trực tiếp hướng dẫn lựa chọn thực đề tài này, cảm ơn Thầy tận tâm bảo, giúp đỡ truyền đạt kiến thức để tơi hồn thành luận văn Tơi xin bày tỏ lịng biết ơn chân thành đến quý thầy cô trường Đại học sư phạm Thành phố Hồ Chí Minh, đặc biệt khoa Tốn- tin phòng sau đại học tạo điều kiện thuận lợi cho tơi suốt q trình học tập nghiên cứu Qua xin gởi lời cảm ơn đến bạn học viên lớp Toán giải tích k28, bạn bè, đồng nghiệp ln cổ cũ, động viên giúp đỡ tơi hồn thành khóa học Thành phố Hồ Chí Minh, ngày 28 tháng năm 2019 Học viên Cao Phi Thơ Luan van DANH MỤC CÁC KÍ HIỆU x = x(x0 , xn ) điểm điển hình Rn Rn+ = {x ∈ R : xn > 0} không gian Rn với điểm có xn > Br = {x ∈ Rn : |x| < r} cầu mở tâm O, bán kính r Rn Br+ = Br ∩ {xn > 0} nửa cầu Qr = Br × (−r2 , 0] 2i Cr = Br × − r2 , r2 hình lập phương parabolic ΩT = Ω × (0, T ) Miền trụ với chiều cao T đáy Ω ⊂ Rn hình lập phương parabolic tâm gốc tọa độ = {(x, t) : x ∈ Rn , t ∈ (0, T )} ∇u(x, t) = (ux1 (x, t), , uxn (x, t)) P divf(x, t) = Z ni=1 (f i (x, t))xi f (x, t)dxdt f Qr = |Qr | Qr ∂p ΩT = (∂Ω × [0, T ]) ∪ (Ω × {0}) Gradient u ∂p Qr = (∂Br × [−r2 , 0]) ∪ (Br × {−r2 }) biên parabolic Divergence f giá trị trung bình hàm f Qr biên parabolic C0∞ (ΩT ) = {u ∈ C ∞ (ΩT ) : u có giá compact ΩT } Không gian V2 (ΩT ) tập hợp hàm v ∈ W 1,2 (ΩT ) cho: kvkV2 (ΩT ) = sup kv(·, t)kL2 (ΩT ) + kvkW 1,2 (ΩT ) < ∞ 0≤t≤T n o R p L (ΩT ) = u : kukLp (ΩT ) = ( Ω |u|p dxdt) p < ∞ (1 p < ∞) W01,p (ΩT ) không gian Sobolev với kukW 1,p (ΩT ) = kukLp (ΩT ) + k∇ukLp (ΩT ) Ta nói u ∈ W01,p (Ω) u ∈ W 1,p (Ω) u = biên Ω Chuẩn không gian BM O (dao Z động trung bình BM O bé) [A]BM O = sup sup |A(y, s) − Acr (x,t) |2 dyds r>0 (x,t) |Cr | cr (x,t) Luan van (Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence Mục lục Giới thiệu Chương Phương trình parabolic với hệ số khơng liên tục 1.1.Sự tồn nghiệm yếu bổ đề phủ Vitali 1.2.Các đánh giá địa phương 1.3.Các đánh giá so sánh 11 1.4.Bất đẳng thức dạng “level sets” 15 1.5.Kết quy nghiệm địa phương 19 Chương Phương trình với hệ số BMO miền Lipschitz 22 2.1.Bổ đề phủ Vitali 22 2.2.Các đánh giá địa phương 24 2.3.Các đánh giá so sánh 28 2.4.Bất đẳng thức dạng “level sets” 32 2.5.Kết quy nghiệm miền Lipschitz 37 Chương Phương trình với hệ số BMO miền Reifenberg 41 3.1.Bổ đề phủ Vitali 41 3.2.Các đánh giá địa phương 43 3.3.Các đánh giá so sánh 47 3.4.Bất đẳng thức dạng “level sets” 53 3.5.Kết quy nghiệm miền Reifenberg 59 Kết luận 62 Tài liệu tham khảo 63 (Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence Luan van (Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence Giới thiệu Phương trình đạo hàm riêng chủ đề nhiều nhà toán học nghiên cứu, mà vấn đề tồn tại, tính chất nghiệm Bên cạnh tốn tồn nghiệm phương trình đạo hàm riêng, câu hỏi tính quy nghiệm quan tâm Có nhiều phương pháp để khảo sát tính quy nghiệm lớp phương trình elliptic [2], [3], [8], [9], [7] parabolic [14], [15], [11], [5] Gần đây, số kết chủ đề cho phương trình có dạng divergence với hệ số khơng liên tục nghiên cứu miền có biên Lipschitz [4] thỏa điều kiện Reifenberg [10], [11], [12] Ý tưởng chứng minh kết dựa việc sử dụng bổ đề phủ Vitali số bất đẳng thức có dạng “level sets” thơng qua tốn tử cực đại nghiên cứu nhiều lĩnh vực giải tích điều hịa Trong luận văn này, chúng tơi tìm hiểu số kết tính quy nghiệm phương trình parabolic tuyến tính, có dạng divergence với điều kiện biên Dirichlet sau ut − div(A∇u) = divf u =0 ΩT , ∂p ΩT , tham số < p < ∞, u = u(x, t) với (x, t) ∈ ΩT = Ω × (0, T ] nghiệm phương trình f ∈ Lp (ΩT ; Rn ) hàm liệu cho trước Đặc biệt, khảo sát phương trình với hệ số A khơng liên tục, có chuẩn BMO nhỏ thỏa điều kiện sau: Λ−1 |ξ|2 ξ T A(x, t)ξ Λ|ξ|2 , ∀(x, t) ∈ ΩT , ξ ∈ Rn , (Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence Luan van (Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence(Luan.van.thac.si).mot.so.ket.qua.chinh.quy.nghiem.cho.phuong.trinh.parabolic.dang.divergence với Λ số dương cho trước Chính xác hơn, chúng tơi trình bày lại chứng minh tác giả S.-S Byun cộng kết quy nghiệm yếu phương trình (1.1) ba trường hợp, bao gồm kết quy địa phương bên miền xác định kết quy tồn cục cho miền có biên thỏa mãn điều kiện Lipschitz Reifenberg Phương pháp chung cho chứng minh xây dựng bất đẳng thức sau mà gọi bất đẳng thức dạng “level sets”: (x, t) ∈ Q1 : M |∇u|2 > N12k i i X |C5ri (xi , ti )| (do (1.9)) X =5 |Cri (xi , ti )| i X Cr (xi , ti ) ∩ Q+ ≤ 5n+2 2n+3 (do (1.10)) i i [ = 2.10n+2 (Cri (xi , ti ) ∩ Q+ )