ĐẠ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 Hà Nội 2019 LUẬN VĂN THẠC SĨ KHOA HỌC ĐẠI HỌC QUỐC GIA H[.]
ĐẠ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 ĐẠ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 Chuyên ngành: Toá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 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 Toá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 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 đa tạp Kăahler 1.1.4 Min siờu gi li 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 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 chặt D, u cảm sinh 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) Hơn nữa, metric Kăahler n X 2u g[u] = dz i ⊗ dz j (4) i,j=1 ∂zi ∂z j cảm sinh bi u l mt metric Kăahler-Einstein trờn D Khi D 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 t 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, toán tử Laplace-Beltrami Đặc biệt, 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 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 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 ω = (ω1 , , ωn ) ∈ Cn ∂ 2u (z)ωj ω k > 0, j,k=1 ∂zj ∂z k n P ∀z ∈ Ω, 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 đa tạp Kă ahler Gi s M l mt a Riemann định hướng, n chiều Ωp (M ) không gian p-dạng M , đặt d : Ωp (M ) −→ Ωp+1 (M ) toá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 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 ) (dα, β) = (α, d∗ β) = Z hdα, βids2 M α ∈ Ωp−1 M, β ∈ Ωp M , ∗ tố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 ...ĐẠ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 Chuyên ngành: Toán giải... , ∂z1 ∂zn Phương trình gọi phương trình Feffermann Fefferman tìm t 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... 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