Luận văn Thạc sĩ Toán học: Sự tồn tại nghiệm của phương trình Monge Ampère phức trong các lớp năng lượng đa phức có trọng

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:45

Thêm vào BST

Báo xấu

22
lượt xem 2
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Mục đích của đề tài "Sự tồn tại nghiệm của phương trình Monge Ampère phức trong các lớp năng lượng đa phức có trọng" là nghiên cứu các lớp năng lượng đa phức có trọng và sự tồn tại nghiệm của phương trình Monge-Ampère phức trong các lớp đó

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Sự tồn tại nghiệm của phương trình Monge Ampère phức trong các lớp năng lượng đa phức có trọng

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM --------------------------------------- SHERLOR NENGZE SỰ TỒN TẠI NGHIỆM CỦA PHƯƠNG TRÌNH MONGE-AMPÈRE PHỨC TRONG CÁC LỚP NĂNG LƯỢNG ĐA PHỨC CÓ TRỌNG LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN - 2017
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM ------------------------------- SHERLOR NENGZE SỰ TỒN TẠI NGHIỆM CỦA PHƯƠNG TRÌNH MONGE-AMPÈRE PHỨC TRONG CÁC LỚP NĂNG LƯỢNG ĐA PHỨC CÓ TRỌNG Chuyên ngành: TOÁN 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. Phạm Hiến Bằng THÁI NGUYÊN-2017
LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi. Các tài liệu trong luận văn là trung thực. Luận văn chưa từng được công bố trong bất cứ công trình nào. Tác giả Sherlor Nengze i
LỜI CẢM ƠN Bản luận văn được hoàn thành tại Trường Đại học Sư phạm - Đại học Thái Nguyên, Việt Nam dưới sự hướng dẫn tận tình của PGS.TS Phạm Hiến Bằng. Nhân dịp này tôi xin cám ơn Thầy về sự hướng dẫn hiệu quả cùng những kinh nghiệm trong quá trình học tập, nghiên cứu và hoàn thành luận văn. Xin chân thành cảm ơn Phòng Sau Đại học, Ban chủ nhiệm Khoa Toán, các thầy cô giáo Trường Đại học Sư phạm - Đại học Thái Nguyên, Viện Toán học và Trường Đại học Sư phạm Hà Nội đã giảng dạy và tạo điều kiện thuận lợi cho tôi trong quá trình học tập và nghiên cứu khoa học. Xin chân thành cảm ơn Ban giám hiệu Trường THPT Lào - Việt nam (Thủ đô Viêng Chăn) cùng các đồng nghiệp đã tạo điều kiện giúp đỡ tôi về mọi mặt trong quá trình học tập và hoàn thành bản luận văn này. Bản luận văn chắc chắn sẽ không tránh khỏi những khiếm khuyết vì vậy rất mong nhận được sự đóng góp ý kiến của các thầy cô giáo và các bạn học viên để luận văn này được hoàn chỉnh hơn. Cuối cùng xin cảm ơn gia đình và bạn bè đã động viên, khích lệ tôi trong thời gian học tập, nghiên cứu và hoàn thành luận văn. Tháng 05 năm 2017 Tác giả ii
MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN ii MỤC LỤC iii MỞ ĐẦU 1 Chương 1. CÁC KIẾN THỨC CHUẨN BỊ 4 1.1. Hàm đa điều hòa dưới 4 1.2. Hàm đa điều hòa dưới cực đại 8 1.3. Toán tử Monge-Ampère phức 14 1.4. Nguyên lý so sánh Bedford-Taylor 16 1.5. Các lớp năng lượng Cegrell 18 Chương 2. SỰ TỒN TẠI NGHIỆM CỦA PHƯƠNG TRÌNH MONGE- 22 AMPÈRE PHỨC TRONG CÁC LỚP NĂNG LƯỢNG ĐA PHỨC CÓ TRỌNG 2.1. Các lớp năng lượng và các lớp năng lượng có trọng trong £ n 22 2.2. Sự tồn tại nghiệm trong lớp Ec (W) 25 2.3. Sự tồn tại nghiệm trong lớp Ec ( f ) 28 2.4. Sự tồn tại nghiệm trong lớp F ( f ) 32 KẾT LUẬN 38 TÀI LIỆU THAM KHẢO 39 iii
MỞ ĐẦU 1. Lý do chọn đề tài Toán tử Monge-Ampère phức cho lớp hàm đa điều hòa dưới bị chặn địa phương, một khái niệm đóng vai trò quan trọng trung tâm trong lý thuyết đa thế vị đã được E. Berfod và B.A. Taylor xây dựng năm 1982. Từ đó trở đi lý thuyết này liên tục phát triển và đạt được nhiều kết quả quan trọng, đồng thời tìm thấy nhiều ứng dụng vào các lĩnh vực khác nhau của toán học. Năm 1998, Cegrell đã định nghĩa các lớp năng lượng E0(W), F p (W), Ep (W) trên đó toán tử Monge-Ampère phức là xác định. Năm 2004, Cegrell đã định nghĩa các lớp E(W), F (W) và chỉ ra rằng lớp E(W) là lớp hàm định nghĩa tự nhiên của toán tử Monge-Ampère phức. Đó là lớp hàm lớn nhất trên đó toán tử Monge-Ampère xác định, liên tục dưới dãy giảm các hàm đa điều hòa dưới. Tiếp tục mở rộng lớp năng lượng F (W) , năm 2009, S. Benelkourchi đã đưa ra lớp năng lượng có trọng Ec (W) và nghiên cứu toán tử Monge-Ampère trên lớp năng lượng đa phức hữu hạn trong trường hợp tổng quát. Đồng thời giải thích các lớp này theo nghĩa tốc độ giảm của dung lượng của tập mức dưới và mô tả đầy đủ miền giá trị của toán tử Monge-Ampère (dd c .)n trong các lớp Ec (W) . Nghiên cứu các lớp này dẫn đến nhiều kết quả như nguyên lý so sánh, giải bài toán Dirichlet,… Với mong muốn tìm hiểu sâu hơn về toán tử Monge-Ampère và áp dụng các kết quả đạt được trong việc giải bài toán Dirichlet trong lớp năng lượng có trọng, chúng tôi chọn “Sự tồn tại nghiệm của phương trình Monge-Ampère phức trong các lớp năng lượng đa phức có trọng” làm đề tài nghiên cứu của mình. 4
2. Mục đích và nhiệm vụ nghiên cứu 2.1. Mục đích nghiên cứu Nghiên cứu các lớp năng lượng đa phức có trọng và sự tồn tại nghiệm của phương trình Monge-Ampère phức trong các lớp đó 2.2. Nhiệm vụ nghiên cứu Luận văn tập trung vào các nhiệm vụ chính sau đây: + Trình bày tổng quan và hệ thống một số kết quả cơ bản của lý thuyết đa thế vị phức. + Trình bày lại một cách chi tiết một số kết quả của S. Benelkourchi về sự tồn tại nghiệm của phương trình Monge-Ampère phức trong các lớp năng lượng đa phức có trọng. 3. Phương pháp nghiên cứu Sử dụng phương pháp của lý thuyết đa thế vị phức. 4. Bố cục của luận văn Nội dung luận văn gồm 43 trang, trong đó có phần mở đầu, hai chương nội dung, phần kết luận và danh mục tài liệu tham khảo. Nội dung của luận văn được viết chủ yếu dựa trên các tài liệu [1] và [5]. Chương 1. Trình bày tổng quan và hệ thống các kết quả về các tính chất của hàm đa điều hoà dưới, hàm đa điều hoà dưới cực đại, toán tử Monge-Ampère và nguyên lý so sánh. Chương 2. Là nội dung chính của luận văn. Phần đầu của chương trình bày một số khái niệm và kết quả về các lớp năng lượng và các lớp năng lượng có trọng trong £ n . Tiếp theo trong mục 2.2 nghiên cứu sự tồn tại nghiệm của phương trình Monge-Ampère phức trong lớp Ec (W) (Định lý 2.2.1). Mục 2.3 trình bày 5
kết quả về sự tồn tại nghiệm của phương trình Monge-Ampère phức trong lớp Ec ( f ) (Định lý 2.3.6 và Hệ quả 2.3.7). Cuối cùng mục 2.4. trình bày sự tồn tại nghiệm của phương trình Monge-Ampère phức trong lớp F ( f ) (Định lý 2.4.1 và Hệ quả 2.4.2). Cuối cùng là phần kết luận trình bày tóm tắt kết quả đạt được. 6
Chương 1 CÁC KIẾN THỨC CHUẨN BỊ 1.1. Hàm đa điều hoà dưới Địng nghĩa 1.1.1. Giả sử WÌ £ n là tập mở, u : W® é- ¥ , + ¥ ) là hàm nửa êë liên tục trên, không đồng nhất bằng - ¥ trên moi thành phần liên thông của W. Hàm u gọi là đa điều hoà dưới trên W (viết u Î PSH (W) ) nếu với mọi a Î W và b Î £ n , hàm l a u (a + l b) là điều hoà dưới hoặc bằng - ¥ trên mọi thành phần liên thông của tập {l Î £ : a + l b Î W}. Định lý sau đây cho một đặc trưng của tính đa điều hoà dưới đối với các hàm lớp C 2 trên tập mở WÌ £ n . Định lý 1.1.2. Giả sử WÌ £ n là tập mở và u Î C 2(W) . Khi đó u Î PSH (W) khi ¶ 2u và chỉ khi Hessian H u (z ) = ( ) của u tại z xác định dương, nghĩa là với ¶ z j ¶ zk mọi w = (w1, w2,..., wn ) Î £ n , n ¶ 2u H u (z )( w, w) = å (z )wj wk ³ 0. j ,k = 1 ¶ z j ¶ z k Định nghĩa 1.1.3. Tập hợp E Ì n được gọi là đa cực nếu với mỗi điểm a Î E đều có một lân cận V của a và một hàm u Î PSH (V ) sao cho E ÇV Ì {z Î V : u (z ) = - ¥ }. 7
Hệ quả 1.1.4. Các tập đa cực có độ đo (Lebesgue) không. Dưới đây là một số kết quả liên quan tới tính đa điều hoà dưới khi qua giới hạn và tính lồi của họ các hàm đa điều hoà dưới. Định lý 1.1.5. Giả sử W là tập mở trong £ n . i ) Nếu u, v Î PSH (W) thì m ax{u, v} Î PSH ( W) và nếu a , b ³ 0 thì a u + b v Î PSH (W) . Nghĩa là PSH (W) là nón lồi. ii ) Nếu {u j }j ³ 1 Ì PSH (W) là dãy giảm thì u = lim u j hoặc là hàm đa điều hoà dưới trên W hoặc º - ¥ . iii ) Nếu dãy {u j } Ì PSH (W) là dãy hội tụ đều trên mọi tập compact của W tới hàm u : W® ¡ thì u Î PSH (W) . iv ) Giả sử {ua }a Î I Ì PSH (W) sao cho u = sup {u a : a Î I } là bị chặn trên địa phương. Khi đó chính quy hoá nửa liên tục trên u * Î PSH (W) . Chứng minh. Các khẳng định i ) , ii ) , iii ) suy ra từ định nghĩa 1.1.1. và định lý hội tụ đơn điệu hay định lý qua giới hạn dưới dấu tích phân trong trường hợp dãy hội tụ đều. Ta chứng minh iv ) . Chỉ cần chứng tỏ a Î W, b Î £ n sao cho {a+ l b:l Î £ , l £ 1} Ì W thì 2p 1 u (a ) £ * òu * (a + e i qb)d q 2p 0 Dễ thấy với mọi z Î W, b Î £ n sao cho {z + l b, l £ 1} Ì W ta có 2p 1 u (z ) £ òu * (z + e i qb)d q 2p 0 8
Với a Î W, chọn dãy {z n } Ì W sao cho z n ® a và u(z n ) ® u *(a ) . Từ {z + l b, l £ 1} Ì W nên với n đủ lớn {z n + l b, l £ 1} Ì W. Khi đó 2p 1 u (z n ) £ òu * (z n + e i qb)d q 2p 0 Bổ đề Fatou cho ta 2p 1 u (a ) = lim sup u (z n ) £ * ò limnsup u * (z n + e i qb)d q W n 2p 0 Sau đây là kết quả về dán hai hàm đa điều hoà dưới tương tự như hàm điều hoà dưới. Mệnh đề 1.1.6. Giả sử WÌ £ n là tập mở, w Ì W là tập con mở thực sự, khác rỗng của W. Giả sử u Î PSH (W), v Î PSH ( w) và lim supx ® y v(x ) £ v(y ) với mọi y Î ¶ w Ç W. Khi đó hàm ìï m ax{u, v } t rong w w = ïí ïï u trong W\ w î là hàm đa điều hoà dưới trên W. Chứng minh. Rõ ràng w là nửa liên tục trên trên W. Chỉ cần chứng tỏ nếu a Î W, b Î £ n sao cho {a + l b, l £ r } Ì W thì 2p 1 w(a ) £ ò w(a + re iq b)d q 2p 0 Với a Î W, b Î £ n , chọn r > 0 đủ bé để {a + l b, l £ r } Ì w Khi đó 9
1 2p 1 2p u (a ) £ ò u (a + re i qb)d q £ w(a ) £ ò w(a + re i qb)d q 2p 0 2p 0 2p 2p 1 1 v(a ) £ ò v(a + re i qb)d q £ w(a ) £ ò w(a + re i qb)d q 2p 0 2p 0 2p 1 Từ đó w(a ) £ ò w(a + re iq b)d q . 2p 0 Chứng minh tương tự cho trường hợp a Î W\ wW, ở đó WwW là bao đóng của w lấy trong W. Chỉ cần xét trường hợp a Î wW Ç W. Khi đó w(a ) = u (a ) . Vậy 2p 2p 1 1 w(a ) = u (a ) £ ò u(a + re b)d q £ w(a ) £ 2p iq ò w(a + re iq b)d q 2p 0 0 và mệnh đề được chứng minh. W Mệnh đề 1.1.7. Giả sử u Î PSH (W) , WÌ £ n là tập mở và Y : u(W) ® ¡ là hàm lồi, tăng lớp C 2 . Khi đó Y o u Î PSH (W) . Chứng minh. Lại có thể coi u Î C 2(W) . Với mọi w Î W và w Ì £ n , do Y là hàm lồi tăng ta có 2 n ¶u < L ( Y o u )(a, w) > = Y¢(u (a )) < Lu (a, w) > + Y¢¢(u (a )) å (a )wj ³ 0 j=1 ¶ z j Suy ra điều phải chứng minh. W Hệ quả 1.1.8. Nếu u Î PSH (W) thì eu Î PSH (W) . Nếu u Î PSH (W) , u ³ 0 và a ³ 1 thì u a Î PSH (W) . Hệ quả 1.1.9 . Nếu u 1, u 2 là các hàm không âm trên tập mở WÌ £ n và log u1, log u 2 Î PSH (W) thì u1u 2 Î PSH (W) và log(u1 + u 2 ) Î PSH (W) . 10
Mệnh đề 1.1.10. (Nguyên lý cực đại) Giả sử D là một miền trong £ n và u Î PSH (D ) , u không đồng nhất hàm hằng. Khi đó u không đạt cực đại toàn thể trên D. Hơn nữa nếu D là bị chặn thì với mọi z Î D ta có u (z ) < sup { lim sup u (z )} wÎ ¶ D D' z® w Chứng minh. Giả sử z 0 Î D sao cho u (z 0 ) = m ax{u (z ) : z Î D } . Đặt D0 = u - 1u(z 0 ) . Khi đó Æ ¹ D0 Ì D . Giả sử a Î D 0 Ç D . Khi đó u(z 0 ) = lim sup u(z ) £ lim sup u(z ) = u(a ) £ u(z 0 ) D0 ' z ® a D0 ' z ® a Vậy a Î D 0 và D 0 đóng trong D . Nếu a Î D 0 , với mọi b Î £ n , chọn r > 0 sao cho {a + l b : l £ r } Ì D . Khi đó 2p 1 u (z 0 ) = u (a ) £ ò u(a + re b)d q £ u (z 0 ) iq 2p 0 Từ đó, do tính nửa liên tục trên của u suy ra u = u (z 0 ) trên một lân cận của a . Vậy D 0 là mở và do đó D 0 = D . Điều này kéo theo u = u (z 0 ) trên D và mâu thuẫn với giả thiết. W 1.2. Hàm đa điều hòa dưới cực đại Định nghĩa 1.2.1. Cho WÌ £ n là tập mở và u Î PSH (W) . Ta nói u là hàm đa điều hòa dưới cực đại trên W và viết u Î MPSH (W) nếu với mọi tập mở, compact tương đối G Ð W và mọi hàm v nửa liên tục trên trên G , v Î PSH (G ) và v £ u trên ¶ G thì v £ u trên G . Trường hợp n = 1 thì tập MPSH (W) trùng với tập các hàm điều hòa trên W. Mệnh đề sau nói về các cách nhận biết một hàm là đa điều hoà dưới cực đại. 11
Mệnh đề 1.2.2. Giả sử WÌ £ n là tập mở và u Î PSH (W) . Khi đó các khẳng định sau là tương đương. (i ) Với mọi tập mở, compact tương đối G Ð W và mọi hàm v Î PSH (G ) , nếu lim sup(u (z ) - v(z )) ³ 0 với mọi x Î ¶ G thì u ³ v trên G . z® x (ii ) Nếu v Î PSH (W) và với e > 0 tồn tại tập compact K Ì W sao cho u - v ³ e trên W\ K thì u ³ v trên W. (iii ) Nếu v Î PSH (W) , G là tập mở, compact tương đối trong W và u ³ v trên ¶ G thì u ³ v trên G . (iv ) Nếu v Î PSH (W) , G là tập mở, compact tương đối trong W và với mỗi x Î ¶ G , lim inf(u(z ) - v(z )) ³ 0 thì u ³ v trên G . z® x (v ) u là hàm cực đại. Chứng minh. (i ) Þ (ii ) . Giả sử v Î PSH (W) thỏa mãn giả thiết của (ii ) và giả sử a Î Wsao cho u (a ) - v(a ) = h < 0 . Đặt h E = {z Î W: u (z ) < v(z ) + } 2 Theo giả thiết có compact K Ì W sao cho với mọi z Î W\ K thì u(z ) ³ h v (z ) + . Vậy E Ì K và do đó E là tập compact trong W. Tồn tại tập mở, 2 compact tương đối G Ì W chứa E . Trên ¶ G h lim inf(u - (v + )) ³ 0 z® ¶G 2 12
h Bởi giả thiết (i ) , u ³ v + trên G và ta gặp mâu thuẫn vì a Î E Ì G mà 2 h u (a ) = v(a ) + h < v(a ) + . 2 (ii ) Þ (iii ) . Giả sử v Î PSH (W) , G là tập mở, compact tương đối trong W và u ³ v trên ¶ G . Đặt ìï m ax(u (z ), v(z )) , zÎ G u%(z ) = ïí ïï u (z ) , z Î W\ G î Mệnh đề 1.1.6. cho u%Î PSH (W) . Với e > 0 , lấy K = G là tập compact trong W và với z Î W\ K , u(z ) - u%(z ) = 0 > - e . Do đó bởi giả thiết u ³ u%trên G . (iii ) Þ (iv ) . Giả sử v Î PSH (W) và G Ð W sao cho lim inf(u(z ) - v(z )) ³ 0 G' z® x đúng cho mọi x Î ¶ G . Khi đó lim sup v(z ) £ u ( x) . Đặt G' z® x ìï m ax(u (z ), v(z )) , zÎ G u%(z ) = ïí ïï u (z ) , z Î W\ G î Khi đó theo mệnh đề 1.1.6, ta có u%Î PSH (W) . Dễ thấy trên ¶ G thì u = u%. Vậy u ³ u%trên W và do đó u ³ v trên G (iv ) Þ (v ) . Giả sử G Ì W là tập mở, compact tương đối và v là hàm nửa liên tục trên trên G và v £ u trên ¶ G . Do tính compact tương đối của G trong W, ta có thể coi u là liên tục trên G và v£ u trên ¶G . Thật vậy nếu trái lại ta xét họ ue = u * c e Î C ¥ (We ) Ç PSH (We ) với We É G . Nếu ta chứng tỏ trên G , v £ u e thì v £ u 13
trên G vì trên G ta có lim u e = u . Từ giả thiết v £ u trên ¶ G nên e® 0 lim sup v(x ) £ u (y ) với y Î ¶ G . Do đó hàm G' x® y ìï m ax{u, v } t ren G u%= ïí ïï u t ren W\ G î là đa điều hoà dưới trên W. Ta thấy lim inf(u - u%) ³ 0 với mọi x Î ¶ G . Thật G' z® x vậy nếu không có h < 0 và dãy {z n } Ì G, z n ® x mà u (z n ) - u%(z n ) £ h < 0 với mọi n . Từ đó u (z n ) £ u%(z n ) + h Cho n ® ¥ ta có u (x) £ m ax(u( x), v( x)) + h = u( x) + h < u( x) và gặp mâu thuẫn. Vậy từ giả thiết u ³ u%trên G và chứng minh (iv ) Þ (v ) hoàn thành. (v ) Þ (i ) . Giả sử G Ð W, v Î PSH (G ) và lim inf(u - v )(z ) ³ 0 với mọi G' z® x x Î ¶ G . Lại có thể coi u liên tục trên W. Khi đó xét ìï v(z ), zÎ G ï v%(z ) = ïí ïï lim sup v(t ), z Î ¶G ïî G ' t ® z Khi đó v%Î PSH (G ) và nửa liên tục trên trên G . Mặt khác từ lim inf(u (z ) - v(z )) ³ 0 kéo theo u( x) ³ v%( x) tại mọi x Î ¶ G . Từ đó suy ra G' z® x u ³ u%trên G và vậy thì u ³ v trên G . W Giả sử WÌ £ n là miền bị chặn và f Î L¥ (¶ W) . Ta kí hiệu U (W, f ) là lớp các hàm đa điều hòa dưới v Î PSH (W) sao cho v * ¶W £ f , ở đó v *(z ) = lim sup v( w) W' w® z 14
với mọi z Î W. Với z Î W, ta xác định u(z ) = uW, f (z ) = sup{v(z ) : v Î U (W, f )} Hàm U W, f gọi là bao Perron – Bremermann của f trong W. Định lý 1.2.3. Giả sử W là miền bị chặn và f Î C (¶ W) sao cho u * = u* = f trên ¶W, ở đó u = u W,f . Khi đó u = u W,f là hàm liên tục trong W. Chứng minh. Từ u * = f trên ¶W nên uW * ,f Î U (W, f ) . Vậy uW, f = uW * ,f và do đó u W, f là nửa liên tục trên trên W. Vậy chỉ cần chứng minh u = u W,f là nửa liên tục dưới trên W. Cố định z 0 Î W và e > 0 . Do với mọi w Î ¶ W, . lim inf u (z ) = lim sup u (z ) = f ( w) nên lim u(z ) = f ( w) . Từ đó do ¶W là z® w z® w z® w compact suy ra có d > 0 sao cho " z Î W, " w Î ¶ W, z .w £ d Ü u(z ) - f ( w) < e (1.1) d % W- (z - z%) . Xác định hàm Lấy z%Î W với z%- z 0 < và đặt W= 0 2 ìï m ax{u (z ), u (z + z + z%) - 2e}, z Î WÇ W% v(z ) = ïí 0 % ïï u (z ), z Î W\ W î % trong W và do đó Dùng (1.1) ta chứng tỏ v = u trên một lân cận của WÇ ¶ W % thì rõ ràng v(z ) = u(z ) . Lấy y Î WÇ ¶ W hàm v Î PSH (W) . Nếu z Î W\ W % và % d xét z Î WÇ ¶ W với z- y < . Khi đó z - (y + z 0 - z%) < d và 2 y + z 0 - z%Î ¶ W. Vậy theo (1.1) u(z ) - f (y + z 0 - z%) < e 15
hay u (z ) > f (y + z 0 - z%) - e . Mặt khác do z + z 0 - z%Î W và d z + z 0 - z%- (y + z 0 - z%) = z - y < 2 nên u (z + z 0 - z%) < f (y + z 0 - z%) + e Từ đó u (z ) > u (z + z 0 - z%) - 2e % ta được một lân cận của WÇ W Như vậy cho y thay đổi trên WÇ W % trong W sao cho u (z ) > u (z + z 0 - z%) - 2e . Vậy v = u trên lân cận đó. Hơn nữa nếu % và w Î ¶ W sao cho z - w £ d z Î WÇ W thì z + z 0 - z%- w < d và lại từ 2 (1.1), ta có u (z + z 0 - z%) - 2e £ f ( w) - e £ u (z ) d Do đó v(z ) £ u(z ) nếu d (z , ¶ W) £ và như vậy v £ u trên W. Ta có: 2 u (z%) ³ v(z%) ³ u (z 0 ) - 2e. Như vậy u nửa liên tục dưới trên W và định lý được chứng minh. W Sau đây là một số tính chất của các hàm đa điều hòa dưới cực đại. Mệnh đề 1.2.4. Giả sử W là một miền trong £ n . Khi đó (i ) Giới hạn của dãy giảm các hàm đa điều hòa dưới cực đại trong W hoặc bằng - ¥ hoặc là hàm đa điều hòa dưới cực đại trong W. (ii ) Nếu u Î MPSH (W) thì với mọi G Ð W tồn tại một dãy giảm các hàm đa điều hòa dưới cực đại trong W hội tụ giảm tới u trên G . 16
Chứng minh. (i ) Giả sử {u j } Î MPSH (W) và u j ¯ u trên W. Giả sử u không đồng nhất - ¥ trên W. Lấy G Ð W là tập mở, compact tương đối trong W. Giả sử v là hàm nửa liên tục trên G và v Î PSH (G ) , v £ u trên ¶ G . Khi đó v £ u j trên ¶ G và do đó v £ u j trên G . (ii ) Do G Ð W nên có thể chọn dãy hàm đa điều hòa dưới liên tục v j trên một lân cận của G giảm tới u . Đặt u j = uG , f . Khi đó theo định lý 1.2.3. {u j } là j ¶G dãy giảm các hàm đa điều hòa dưới liên tục trên G và sử dụng định lý dán có thể chứng minh chúng đạt cực đại trên G . Từ (i ) suy ra u j ¯ u . W 1.3. Toán tử Monge-Ampère phức Cho u là đa điều hoà dưới trên miền WÌ £ n . Nếu u Î C 2 (W) thì toán tử: é 2 ù ¶ u ú dd u := dd u Ù ... Ù dd u = 4 n !det êê n ( c ) ( c ) 1444444442 444444443 ( c ) ¶ z ¶ z n ú dV , êë j k ú û1£ j ,k £ n n với dV là yếu tố thể tích trong C n gọi là toán tử Monge-Ampère. Toán tử này có thể xem như độ đo Radon trên W, tức là phiếm hàm tuyến tính liên tục trên không gian các hàm liên tục với giá compact C 0 (W) trên W n C 0 (W) ' j a ò j dd u ( ). c W Bedford và Taylor đã chứng minh rằng nếu u là đa điều hoà dưới bị chặn địa phương trên W thì tồn tại dãy {u } m Ì P H S (W) Ç C ¥ sao cho m>1 um ] u và {(dd u ) } hội tụ yếu tới độ đo Radon m trên Wtức là: c m n 17
n lim ò j dd cum ( ò j d m, " j Î C (W). ) = 0 m W W Hơn nữa m không phụ thuộc vào việc chọn dãy {u } như trên, ta ký hiệu: m (dd cu )n = m và gọi là toán tử Monge-Ampère của u . Sau đây là một vài tính chất cơ bản của toán tử toán tử Monge-Ampère. Mệnh đề 1.3.1. Nếu y Î C (¥p, p ) là (p, p )-dạng lớp C ¥ trên tập mở WÌ £ n và T là (q, q )-dòng với p + q = n - 1 thì n ( y Ù dd cT ) ( - dd c y ÙT = d y Ù d cT - d c y ÙT . ) Mệnh đề 1.3.2. Giả sử mj { } là dãy các độ đo Radon trên tập mở WÌ ¡ n hội tụ yếu tới độ đo Radon m. Khi đó a) Nếu G Ì W là tập mở thì m(G ) £ lim inf mj (G ). j® ¥ b) Nếu K Ì W là tập compact thì m(K ) ³ lim sup mj (K ). j® ¥ c) Nếu E compact tương đối trong Wsao cho m(¶ E ) = 0 thì m(E ) = lim mj (E ). j® ¥ { Chứng minh. a) Ta có m(G ) = sup m(K ) : K Ð G . Giả sử K Ð G là tập } compact. Lấy j Î C 0 (G ), 0 £ j £ 1 và j = 1 trên K . Khi đó m(K ) £ m(j )= lim mj (j )£ lim inf mj (G ). j® ¥ j® ¥ Từ đó m(G ) £ lim inf mj (G ). j® ¥ 18