(LUẬN văn THẠC sĩ) tính đa điều hòa dưới của nghiệm của phương trình fefferman và ứng dụng

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THỊ LỤA TÍNH ĐA ĐIỀU HỊA DƯỚI CỦA NGHIỆM CỦA PHƯƠNG TRÌNH FEFFERMAN VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - 2019 TIEU LUAN MOI download : skknchat@gmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN THỊ LỤA TÍNH ĐA ĐIỀU HỊA DƯỚI CỦA NGHIỆM CỦA PHƯƠNG TRÌNH FEFFERMAN VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ KHOA HỌC Chun ngành: Tốn giải tích Mã số: 60460102 Cán hướng dẫn: PGS TS NGUYỄN THẠC DŨNG Hà Nội - 2019 TIEU LUAN MOI download : skknchat@gmail.com LỜI CẢM ƠN Để hoàn thành đề tài luận văn, em xin gửi lời cảm ơn sâu sắc tới thầy giáo hướng dẫn Nguyễn Thạc Dũng tận tình giúp đỡ em suốt trình nghiên cứu luận văn trực tiếp hướng dẫn em hoàn thiện đề tài luận văn tốt nghiệp Thầy dành thời gian tâm huyết vào cơng việc, thầy ln đặt niềm tin vào học trị khơng ngừng mong mỏi học trị ln tiến bộ, lĩnh hội nhiều kiến thức Em xin bày tỏ lòng cảm ơn tới thầy giáo, giáo khoa Tốn Cơ - Tin học, trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội giảng dạy giúp đỡ em có mơi trường học tập tốt suốt thời gian học tập trường Cuối xin cảm ơn bố mẹ ủng hộ việc học tập; cảm ơn bạn bè, anh chị em đồng nghiệp giúp đỡ, cổ vũ động viên học tập, công việc q trình hồn thiện luận văn.Tơi xin cảm ơn anh chị bạn lớp cao học Tốn nhiệt tình giúp đỡ động viên tơi suốt trình học tập lớp Hà Nội, ngày 21 tháng 11 năm 2019 Học viên Nguyễn Thị Lụa TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung Mục lục LỜI CẢM ƠN LỜI MỞ ĐẦU Kiến thức 1.1 Miền siêu giả lồi 1.1.1 Hàm đa điều hòa 1.1.2 Miền giả lồi 1.1.3 Toỏn t Laplace-Beltrami trờn a Kăahler 1.1.4 Miền siêu giả lồi 1.2 Công thức xấp xỉ Phương trình Fefferman miền siêu giả lồi ứng 2.1 Hàm đa điều hòa chặt miều siêu giả lồi 2.2 Mối liên hệ miền siêu giả lồi miền lồi 2.3 Các phản ví dụ 6 7 11 dụng 16 17 19 23 KẾT LUẬN 30 Tài liệu tham khảo 31 (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung LỜI MỞ ĐẦU Cho D miền trơn, bị chặn, giả lồi Cn , u ∈ C (D) hàm giá trị thực H(u) ma trận Hessian phức cỡ n × n u Ta biết u đa điều hòa chặt D H(u) xác định dương D Khi u đa điều hòa cht D, u cm sinh mt metric Kăahler n X ∂ 2u g = g[u] = dz i ⊗ dz j (1) i,j=1 ∂zi ∂z j Ta nói metric g Einstein có độ cong Ricci Rkl = − ∂ log det[gij ] (2) ∂zk ∂z l thỏa mãn phương trình: Rkl = cgkl với số c Khi c < 0, sau chuẩn hóa, ta giả sử c = −(n + 1) Cheng Yau [2] chứng minh phương trình Monge-Ampère ( det H(u) = e(n+1)u , z ∈ D (3) z ∈ ∂D u = +∞, có nghiệm đa điều hịa chặt u C (D) Hn na, metric Kăahler n X ∂ 2u g[u] = dz i ⊗ dz j (4) i,j=1 ∂zi ∂z j cảm sinh u mt metric Kăahler-Einstein trờn D Khi D l gi lồi chặt, toán tồn nghiệm nghiệm nghiên cứu Fefferman [3] Feffermann xét phương trình dây ( det J(ρ) = 1, z ∈ D (5) z ∈ ∂D ρ = 0, " J(ρ) = −det ρ ∂ρ # (∂ρ)∗ H(ρ)  , ∂ρ = ∂ρ ∂ρ , , ∂z ∂z n  (∂ρ)∗  = ∂ρ ∂ρ , , ∂z1 ∂zn Phương trình gọi phương trình Feffermann Fefferman tìm (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com t (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung MỤC LỤC nghiệm ρ < D cho u = − log(−ρ) đa điều hòa chặt D Tác giả chứng minh tính đưa công thức nghiệm xấp xỉ cho (5) Nếu quan hệ ρ u cho ρ(z) = −e−u(z) , z ∈ D (6) (3) (5) trùng Hơn nữa, chứng minh (xem [8]) det H(u) = J(ρ)e(n+1)u (7) Khi D miền trơn, bị chặn, giả lồi chặt, Cheng Yau [2] chứng minh ρ ∈ C n+3/2 (D) Trên thực tế, người ta có ρ ∈ C n+2− (D) với  > đủ nhỏ Điều khẳng định suy từ công thức mở rộng tiệm cận cho ρ thu Lee Melrose [6]: ! ∞ X ρ(z) = r(z) a0 (z) + aj (rn+1 log(−r))j , (8) j=1 r ∈ C ∞ (D) hàm xác định cho D, aj ∈ C ∞ (D) a0 (z) > ∂D Nhiều nghiên cứu [8, 9, 13, 14] chứng tỏ toán thú vị quan trọng Bài toán 0.1 Giả sử D miền trơn, bị chặn, giả lồi chặt Cn Cho ρ nghiệm phương trình Fefferman (5) cho u = −log(−ρ) đa điều hòa chặt D Vậy bổ sung điều kiện D ta có ρ đa điều hịa chặt D Bằng cách giới thiệu khái niệm miền siêu giả lồi báo [7], Song Ying Li đưa đặc trưng hóa cho miền D Cn cho câu trả lời tốn Ngồi ra, tác giả nghiên cứu giá trị cực đại cho giá trị riêng "nhỏ nhất" ("bottom of the spectrum") miền Mục tiêu luận văn trình bày lại kêt báo nói Li Luận văn bao gồm hai chương Trong chương một, giới thiệu lại khái niệm miền giả lồi, hàm xác định, tốn tử Laplace-Beltrami Đặc biệt, chúng tơi giới thiệu khái niệm miền siêu giả lồi chứng minh kết xấp xỉ cho hàm xác định Kết dùng chương hai để chứng minh kết Như nói trên, chương hai tập trung vào phân tích kết Li Cụ thể, Định lý 2.2 miền siêu giả lồi lời giải Bài tốn 0.1 ln tồn Kết (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung MỤC LỤC cuối luận văn Định lý 2.1 đưa mối liên hệ khái niệm miền siêu giả lồi miền lồi Do hạn chế kiến thức nên luận văn không tránh khỏi thiếu sót, tác giả mong nhận ý kiến đóng góp thầy phản biện bạn đọc để nâng cao trau dồi kiến thức Các thảo luận góp ý trau đổi tác giả cảm ơn trân trọng (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung Chương Kiến thức 1.1 Miền siêu giả lồi 1.1.1 Hàm đa điều hòa Trong phần ta đưa số tính chất hàm đa điều hịa Trước hết ta nhắc lại vài định nghĩa định lý cho hàm đa điều hòa dưới, chứng minh định lý ta xem Kenzo Adachi ([4], phần 1.2 Đặc trưng tính giả lồi) Định nghĩa 1.1 Giả sử Ω tập mở Cn , u : Ω → R Hàm u gọi đa điều hòa (i) u nửa liên tục Ω, tức với c ∈ R : {z ∈ Ω : u(z) < c} tập mở (ii) Với z ∈ Ω ω ∈ Cn u(z + ζω) điều hòa {ζ ∈ C : z + ζω ∈ Ω} Ta ý vài tính chất hàm đa điều hòa sau Định lý 1.1 Cho Ω ⊂ Cn , u : Ω → R, u ∈ C (Ω) Khi đó, (i) u đa điều hòa ∂ 2u (z)ωj ω k ≥ 0, j,k=1 ∂zj ∂z k n P ∀z ∈ Ω, ω = (ω1 , , ωn ) ∈ Cn (ii) u đa điều hòa chặt ∂ 2u (z)ωj ω k > 0, j,k=1 ∂zj ∂z k n P ∀z ∈ Ω, ω = (ω1 , , ωn ) ∈ Cn (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung Chương Kiến thức Ví dụ 1.1 Xét không gian phức C2 , cho u(z, ω) = |z|2 +|ω|2 v(z, ω) = |z|2 + |ω|4 với (z, ω) ∈ C2 Khi đó, u hàm đa diều hòa chặt v hàm đa điều hòa Thật vậy, u, v ! hàm trơn ma trận Hessian ! phức u v Hu (z, ω) = 0 = I2 Hv (z, ω) = 0 |ω|2 Cả hai ma trận ma trận Hermit Ma trận Hu xác định dương chặt ma trận Hv xác định dương 1.1.2 Miền giả lồi Cho Ω ⊂ Cn tập mở Ta nói Ω có biên lớp C k (k ≥ 2) tồn lân cận U ∂Ω hàm r xác định lớp C k U cho • Ω ∩ U = {z ∈ U : r(z) < 0} • dr 6= ∂Ω, ta có dr(z) = n ∂r P j=1 ∂xj (z)dxj với z ∈ ∂Ω Định nghĩa 1.2 Giả sử Ω miền bị chặn Cn (n ≥ 2), Ω có biên trơn, D biên Ω r hàm xác định D Khi D gọi miền giả lồi p ∈ ∂Ω dạng Levi Lp (r, ω) = n X ∂ 2r i,j=1 ∂zi ∂z j (p)ωi ω j ≥ với ω ∈ Tp(1,0) (∂Ω) Ω gọi miền giả lồi chặt L(r, ω) xác định dương với ω 6= Ví dụ 1.2 Xét khơng gian phức C2 hình cầu đơn vị B2 = {(z, ω) ∈ C2 : |z|2 + |ω|2 < 1} Khi đó, B2 miền giả lồi chặt Thật vậy, ta chọn hàm xác định ∂B2 hàm r(z, ω) = |z|2 + |ω|2 − Hàm hàm đa điều hòa chặt điểm (z, ω) ∈ B2 1.1.3 Toỏn t Laplace-Beltrami trờn a Kă ahler Giả sử M đa tạp Riemann định hướng, n chiều Ωp (M ) không gian p-dạng M , đặt d : Ωp (M ) −→ Ωp+1 (M ) tốn tử vi phân thơng thường, P p ≥ Giả sử ds2 = gij dxi ⊗ dxj metric Riemann T ∗ M ⊗ T ∗ M , i,j (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung Chương Kiến thức gij ma trận thực cấp n xác định dương chặt Khi ds2 chứa metric Riemann T ∗ M ⊗ T ∗ M xác định X ij ∂ dS = g i,j ∂xi ⊗ ∂ ∂xj (g ij ) ma trận nghịch đảo (gij ) L Giả sử d∗ toán tử liên hợp d np=0 Ωp (M ) tương ứng với metric P gij dxi ⊗ dxj nghĩa i,j d∗ : Ωp (M ) −→ Ωp−1 (M ) ∗ Z hdα, βids2 (dα, β) = (α, d β) = M α ∈ Ωp−1 M, β ∈ Ωp M , ∗ toán tử Hogde Định nghĩa 1.3 Toán tử Hogde-Laplace Ωp M 4H = −(dd∗ + d∗ d) : Ωp (M ) −→ Ωp (M ) Toán tử Hogde-Laplace liên hệ với toán tử Laplace-Beltrami sau: Với hàm trơn f ta định nghĩa gradient 5f =: grad f =: g ij ∂f ∂f ∂xi ∂xj g = det(gij ), với trường vecto X ta có hgrad f, Xi = X(f ) = df (X) Mặt khác, toán tử div tác động lên trường vecto Z = Z i divZ =: ∂ định nghĩa ∂xi ∂ √ j ( gZ ) g ∂xj Định nghĩa 1.4 Toán tử Laplace-Beltrami Ωp (M ) 4f = −div(grad f ) Khi đó, biết không gian hàm khả vi M ta có = −4H Dễ dàng nhận thấy   ∂ √ ij ∂f 4f = − √ gg g ∂xj ∂xi = −g ij ∂ f + ··· ∂xi ∂xj Vì (gij ) xác định dương nên − f toán tử elliptic (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung(LUAN.van.THAC.si).tinh.da.dieu.hoa.duoi.cua.nghiem.cua.phuong.trinh.fefferman.va.ung.dung Chương Phương trình Fefferman miền siêu giả lồi ứng dụng n X ∂ log J(r) e r log J(r) B (z) = = ∆ aij [r] 2n(n + 1) ∂zi ∂z j 2n(n + 1) (2.5) i,j=1 Do đó, với z0 ∈ ∂D, ta có ∂j B(z0 ) = −B (z0 )∂j r(z0 ), Đặt R= n X j=1 ∂ , r ∂zj j ∂j B(z0 ) = −B (z0 )∂j r(z0 ) với ≤ j ≤ n n X R= rj j=1 n X fr f |2 =: |∇ = ∂ , ∂z j ri = rij rj , ri rj rij − −r + |∂r|2r i,j=1 n X rij ∂i f ∂j f − i,j=1 rj = rij ri (2.6) (2.7) ! ∂i f ∂j f |Rf |2 −r + |∂r|2r e r r|2 = ∂D Vì vậy, (1.21) ta có Khi đó, dễ dàng thấy |∇   −n n+1 det H(ρ1 )(z) = J(r) det H(r) − [∂i r∂j log J + ∂i log J(r)∂j r] − [∂i r∂j B + ∂i B∂j r] n+1 Mặt khác, Bổ đề 3.1 [8] nói det(In − A∗ B − B ∗ A) = |1 − hA, Bi|2 − |A|2 |B|2 với A = (A1 , , An ), B = (B1 , , Bn ) Do vậy, z = z0 ∈ ∂D, ta nhận      ∂j log J(r) n 0 ij det H(ρ)(z )J(r) n+1 (z ) = det H(r) − r ∂i r − B ∂j r n+1    n X − |∂r|2r rij i,j=1 ∂i log J(r) − B ∂i r n+1 ∂j log J(r) n+1 − B ∂j r  R log J(r) =det H(r) − + B |∂r|r