Chương 1 của Luận án). Trước khi nói về vấn đề dưới thác triển các hàm đa điều hòa dưới trên các lớp của Cegrell, ta hãy đề cập tới một vài lớp con của lớp PS (9) trên một miền siêu lồi bị chặn Q C C*” mà trên đó toán tử Monge-Ampère (dd°. Các lớp này được Cegrell đưa ra và nghiên cứu trong [21], các khái niệm cần thiết được đề cập đến ở đây sẽ được dùng cho phần này và các chương sau: Định nghĩa 1. Giả sử © là miền siêu lồi bị chặn trong C*.
Khi đó ta xác 14 định các lớp sau. j Nhan xét: Ti dinh nghia trén ta c6 €)(Q) C F(Q) C E(Q). Năm 2003, Cegrell và Zeriahi ([27]) đã nghiên cứu bài toán dưới thác triển cho lớp Z(O). Các tác giả đã chứng minh được rằng: nếu Q9 € Ø là những miền siêu lồi bị chặn trong C” va u € F(Q), thi tén tai «@ € F(Q) sao cho / (ddữ)" < / (dd’u)”.
Q Q u<u trén 2 vA Sau đó năm 2008, đối với lớp £„(O), p > 0, bài toán dưới thác triển được nghiên cứu bởi Phạm Hoàng Hiệp. Q Q 15 Ỏ đây tác giả đã bỏ được điều kiện © compact tương đối trong Q. Tiếp đến năm 2009, ba tác giả Benelkourchi, Guedj va Zeriahi đã đưa ra và nghiên cứu lớp năng lượng phức có trọng €v(O) (xem [13]). Trong [10] Benelkourchi đã chứng minh được rằng: nếu © C là những miền siêu lồi trong C” va y : RT —> Rt 1a ham giam véi y(—oo) = +00 thi với mọi uw € E,(Q), ton tai 7 € E,(Q) sao cho ñ < u trên Q va (dd°ữ)" < (dd°u)" trên Q va | xc@uarin < | xy(aeray.
õ Q Trong trường hợp đặc biệt nếu ta chọn x(t) = (—t)?, p > 0 thi ldp €,(Q) la lép E,(Q). Néu x(¢) bi chan va x(0) > 0 thi €,(Q) 1a lép F(Q) và lúc đó kết quả dưới thác triển quay về các kết quả đã nói ở trên. Bây giờ ta nói về dưới thác triển trong lớp có giá trị biên. Kết quả đầu tiên theo hướng này đưa ra và nghiên cứu bởi Czyz và Hed.
Trong [34], đối với lớp F(Q, f), Czyz va Hed đã chứng minh được rằng: nếu © C Ô là những miền siêu lồi bị chặn trong C”, n > 1. Giả sử ƒ e £(O) và g € E(2) A MPSH(Q) với ƒ > ø trên Q. Khi đó với mọi hàm + € Z(9, ƒ), tồn tại dưới thác triển ve F(Q, 9) va Jare" < are", õ Q 6 day MPSH(Q) la tap cdc ham da diéu hda dudi cuc dai trén Q. Ta thay rằng trong các nghiên cứu trên của các tác giả mới dừng lại ở việc đánh giá mass của độ đo Monge-Ampère toàn thể của hàm dưới thác triển và hàm đã cho.
Năm 2014, trong |41] hai tác giả Lê Mậu Hải và Nguyễn Xuân Hồng đã nghiên cứu về bài toán dưới thác triển với giá trị biên lớp Z(9, ƒ), các tác giả đã phát hiện ra một kết luận mạnh hơn các kết quả đã có trước đó là độ đo Monge-Ampère của hàm dưới thác triển và hàm đã cho là không thay đổi. Kết quả của họ đạt được như sau. Giả sử Q C Q 1a những miền siêu lồi bị 16 chan trong C” (n > 1), f € €(Q) vag € E(Q) N MPSA(Q) véi f > g trên Q. Khi d6 véi moi ham u € Z(O, ƒ) với ƒ(dd°u)” < +oo, tén tai tw € Z(Ö, g) 2 với < u trên © và (dd°ð)" = 1o(dd°u)” trên Ò.
Từ kết quả này ta có thể thu được các kết quả của Cegrell, Zeriahi trong [27] và của Czyz, Hed trong [34]. Hướng nghiên cứu của luận án là mở rộng kết quả của hai tác giả Lê Mậu Hải và Nguyễn Xuân Hồng cho lớp năng lượng phức có trọng với giá trị biên lớp £„(O, ƒ). Chúng tôi đã chỉ ra bài toán dưới thác triển trong lớp năng lượng phức có trọng £v(Ó, ƒ) giải được và cho đẳng thức độ đo Monge-Ampère của hàm dưới thác triển và hàm đã cho. Cụ thể là, Định lý 1.
Cho © € Q là những miền siêu lồi bị chặn trong C" và ƒc£(0)n MPSH(), ạ e £(0)n MPSH(Ô) tới Ƒ > g trên Q. Giả sử x:R- —>Rr là hàm liên tục giảm sao cho x(t) > 0 uới mọi t < 0. Khi đó uới mợi u € E,(Q, f) sao cho [lx = elidatuy” < +00, Q ưới p nào đó thuộc £o(Q), tồn tại t € Ex(Q, 9) sao chou <u trénQ va x(\(dđã)" = 1ex(u)(dd°u)" trên Q. Để chứng minh được kết quả trên chúng tôi phải sử dụng một phương pháp chứng minh khác so với cách chứng minh truyền thống đã được sử dụng để chứng minh vấn đề trên cho các lớp Z(9, ƒ) hoặc £„(9), bởi vì lớp £v(9, ƒ) không có được những tích chất tốt như là lớp Z(O, ƒ) và việc so sánh giữa độ đo 1ox(u)(dd°u)”, u € £v(9, ƒ) với độ đo của hàm dưới thác triển là việc làm không hề đơn giản vì có sự tham gia của hàm x.
Do đó, trong quá trình nghiên cứu vấn đề dưới thác triển trong lớp ể„(9, ƒ) chúng tôi đã tìm ra một hướng tiếp cận mới để giải quyết vấn đề này. Dưới thác triển các hàm đa điều hoà dưới trong miền siêu lồi không bị chặn và ứng dụng 17 Bài toán dưới thác triển trong các lớp Cegrell trên các miền siêu lồi bị chặn © trong C” đã đạt được những kết quả cơ bản như đã giới thiệu trong mục 1 Một câu hỏi tự nhiên đặt ra là nếu 2 1A miền siêu lồi không bị chặn trong C” thi van đề dưới thác triển có giải được không? Khi đi tìm câu trả lời cho câu hỏi này chúng tôi nhận thấy đối với miền siêu lồi bị chặn thì một trong các kỹ thuật được sử dụng là giải phương trình Monge-Ampère. Do đó đến nay dưới thác triển các hàm đa điều hòa dưới chỉ thực hiện được trên các miền siêu lồi bị chặn bởi vì trên miền đó đã đạt được nhiều kết quả đối với việc giải phương trình Monge-Ampère. Tuy nhiên đối với miền siêu lồi không bị chặn trong C”, kết quả nhận được về giải phương trình Monge=Ampère trên các miền này còn khá hạn chế.
Năm 2014 trong [44], ba tác giả Lê Mậu Hải, Nguyễn Văn Trào, Nguyễn Xuân Hồng đã nghiên cứu lời giải của phương trình Monge-Ampère trên miền siêu lồi không bị chặn trong C*; đồng thời giới thiệu lớp Cegrell các hàm đa điều hòa dưới trên một miền siêu lồi không bị chặn trong C”. Cac két quả đó được céng bé trong bai bao “The complex Monge-Ampeére equation in unbounded hyperconvex domains in C"” dang trén tap chi Complex Var and Elliptic Equar. Giả sử © là miền siêu lồi không bi chan trong C” sao cho PSH*(0)nL®(9) # Ø. Ta xác định, £u(9) = {u e PSH-(9)n1®(9):Y e>0, {u< =e} €9, Tae < oo}, Q F(Q) = {we PSH (Q): 4 &(Q) 3d uj \u, sup f(ad'w)" < oo}, ọ và E(Q) = {ue PSH (Q):V UEQA vE FQ) voi v=u trong U}.
Nếu ƒ € MPSHT(0)nứ(9) và K € {€, F, E} ta ki hiệu, K(Q, f) ={ue PSH (Q):4 ủceK(©), + ƒ <Su< ƒ trong ©}. 18 Nhận xét: Từ định nghĩa trên ta có quan hé bao ham &(Q, f) C F(Q, f) C E(Q, f). Dựa vào kết quả lời giải của phương trình Monge-Ampère trên miền siêu lồi không bị chặn trong C" của ba tác giả nói trên cùng với kết quả nghiên cứu của hai tác giả Lê Mậu Hải, Nguyễn Xuân Hồng trong [41] đặt ra hướng nghiên cứu tiếp theo cho luận án đó là nghiên cứu bài toán dưới thác triển các hàm đa điều hòa dưới cho lớp Z#(O, ƒ) với © là miền siêu lồi không bị chặn trong C”. Cu thé chúng tôi nhận được kết quả sau, Định lý 2.G¡đ sử © C Ô là các miền siêu lỗi không bi chan trong C” sao cho PSH*(Q)n L*(Ô) # Ø.
Khi dé voi moi f € MPSH~(Q)NC(Q) va moi u € F(Q, f) sao cho (dd°u)” < co, 9 ton tại tù € F(Q, f) sao chou <u trénQ va (dd°ữ)" = 1o(dd°u)" trên Ô. Trên cơ sở kết quả thu được, chúng tôi áp dụng vào nghiên cứu bài toán xấp xỉ các hàm đa điều hòa dưới bằng dãy tăng các hàm đa điều hòa dưới trên các miền rộng hơn. Lược sử vấn đề này là như sau. là những miền siêu lồi bị chặn trong C”.
Nam 2006, dưới giả thiết Q là miền siêu lồi mạnh và lim Cap(K,Q;) = Cap(K,Q), moi tap kK € Q, Benelkourchi trong [9] da chứng minh với mọi u € F*(Q) tồn tại dãy tăng các hàm u; € Z#“(Q;) sao cho u; —> u hầu khắp nơi trên ©. Tiếp đó năm 2008, bỏ qua giả thiết lim Cap(K,Q;) = Cap(K,Q), Cegrell và Hed đã chứng minh được rằng: nêu cov € N(Q), v < 0 va vj € N(Q,;) sao cho vj —> v hau kh&p noi trén 2 thi véi moi u € F(Q) ton tai day cc ham tang u; € F(Q,;) sao cho u; —> u hau kh&p noi trén 2 (xem 5). Đối với trường hợp có giá trị biên, năm 2010, Hed trong [38] đã chứng minh kết quả trên cho lớp. Cụ thể, Hed đã chứng minh được rằng nếu có 19 v EN(Q), v <0 va v; € N(Q;) sao cho 0; —> ø hầu khắp nơi trên © thì với mọi ƒ€ MPSH(0¡)n€(9¡) và u e 7(9, ƒ) sao cho lan" < 00, 9 thì tồn tại dãy các hàm tăng u; € F(Q;, f) sao cho u; —> u hau kh&p noi trên ©.
Dùng kết quả về dưới thác triển cho miền siêu lồi không bị chặn, chúng tôi thiết lập kết quả của Hed cho các miền siêu lồi không bị chặn trong C*. Cụ thể chúng tôi chứng minh được kết quả sau: Định lý 2. Giá sử © là miễn siêu lồi không chặn trong " tà {9/}7¡ là dãu các miền siêu lồi không bị chăn sao cho QC Ôj2¡ CO; uà PSH°(0)ñ L1®(®I) # Ø. Giả sử tồn tại € ZƑ(Ò) va vj; € F(Q;) sao chow < 0 trên Q tà Ủ; " Ù hầu khắp nơi trên Q khi j co.
Khi đó với mọi Ƒ € MPSH-(Q1)NC(Q1) va vdi moi u € F(Q, f) sao cho lan" < 00, 9 ton tai day céc ham uj; € F(Q;, f) sao cho uj 7 u hau khắp nơi trên © khá JX. Dưới thác triển của ham m-diéu hda dưới Trong thời gian gần đây, việc mở rộng lớp hàm đa điều hòa dưới cũng như nghiên cứu các toán tử vi phân trên các lớp hàm mở rộng này đã được một số tác giả nghiên cứu, chẳng hạn nhu Z. Cụ thể họ đã đưa ra và nghiên cứu lớp hàm m-điều hòa dưới và nghiên cứu toán tử mm-Hessian phức trên lớp hàm này. Các kết quả đạt được của Z.