..
ĐẠ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
và chỉ khi Hessian H u (z ) = (
¶ 2u
) 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 ,
¶ 2u
H u (z )( w, w) = å
(z )wj wk ³ 0.
j ,k = 1 ¶ z j ¶ z k
n
Định nghĩa 1.1.3. Tập hợp E Ì
đều có một lân cận V
E ÇV Ì
{z Î V
n
được gọi là đa cực nếu với mỗi điểm a Î E
của a và một hàm u Î PSH (V ) sao cho
: 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ì
1
u (a ) £
2p
*
2p
òu
*
(a + e i qb)d q
0
Dễ thấy với mọi z Î W, b Î £ n sao cho {z + l b, l £ 1} Ì W ta có
1
u (z ) £
2p
2p
òu
0
8
*
(z + e i qb)d q
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 đó
1
u (z n ) £
2p
2p
òu
*
(z n + e i qb)d q
0
Bổ đề Fatou cho ta
1
u (a ) = lim sup u (z n ) £
2p
n
*
2p
ò limnsup u
*
(z n + e i qb)d q
W
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ì
1
w(a ) £
2p
2p
ò w(a + re
iq
b)d q
0
Với a Î W, b Î £ n , chọn r > 0 đủ bé để
{a + l b, l £ r } Ì w
Khi đó
9
1 2p
u (a ) £
u (a + re i qb)d q £ w(a ) £
ò
2p 0
2p
1
v(a ) £
v(a + re i qb)d q £ w(a ) £
ò
2p 0
1
Từ đó w(a ) £
2p
1 2p
w(a + re i qb)d q
ò
2p 0
2p
1
w(a + re i qb)d q
ò
2p 0
2p
ò w(a + re
iq
b)d q .
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
1
w(a ) = u (a ) £
2p
2p
1
ò u(a + re b)d q £ w(a ) £ 2p
0
iq
2p
ò w(a + re
iq
b)d q
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
< L ( Y o u )(a, w) > = Y¢(u (a )) < Lu (a, w) > + Y¢¢(u (a ))
¶u
(a )wj ³ 0
j=1 ¶ z j
n
å
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 đó
1
u (z 0 ) = u (a ) £
2p
2p
ò u(a + re
b)d q £ u (z 0 )
iq
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
E = {z Î W: u (z ) < v(z ) +
h
}
2
Theo giả thiết có compact K Ì W sao cho với mọi z Î W\ K thì u(z ) ³
v (z ) +
h
. 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
lim inf(u - (v +
z® ¶G
12
h
)) ³ 0
2
Bởi giả thiết (i ) , u ³ v +
u (a ) = v(a ) + h < v(a ) +
h
trên G và ta gặp mâu thuẫn vì a Î E Ì G mà
2
h
.
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 ),
ï
v%(z ) = ïí
ïï lim sup v(t ),
ïî G ' t ® z
Khi đó v%Î PSH (G )
zÎ G
z Î ¶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 *
v *(z ) = lim sup v( w)
W' w® z
14
¶W
£ f , ở đó
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
và do đó
Î U (W, f ) . Vậy uW, f = uW
,f
,f
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
Lấy z%Î W với z%- z 0 <
(1.1)
d
% W- (z - z%) . Xác định hàm
và đặt W=
0
2
ìï m ax{u (z ), u (z + z + z%) - 2e},
0
v(z ) = ïí
ïï u (z ),
î
%
z Î WÇ W
%
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
% và
hàm v Î PSH (W) . Nếu z Î W\ W
xét
%
z Î WÇ ¶ W
với
z- y <
d
.
2
Khi
đó
y + z 0 - z%Î ¶ W. Vậy theo (1.1)
u(z ) - f (y + z 0 - z%) < e
15
z - (y + z 0 - z%) < d
và
hay u (z ) > f (y + z 0 - z%) - e . Mặt khác do z + z 0 - z%Î W và
z + z 0 - z%- (y + z 0 - z%) = z - y <
d
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
% trong W sao
Như vậy cho y thay đổi trên WÇ W
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 £
z Î WÇ W
d
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 )
Do đó v(z ) £ u(z ) nếu d (z , ¶ W) £
d
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
j ¶G
. Khi đó theo định lý 1.2.3. {u j } là
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 êê
dV ,
ú
1444444442 444444443
¶
z
¶
z
êë 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
n
)
(
)
c
(
c
)
n
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
c
ò j dd u
(
C 0 (W) ' j a
n
).
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
um ] u và
{u }
m
m>1
Ì P H S (W) Ç C ¥
{(dd u ) } hội tụ yếu tới độ đo Radon m trên Wtức là:
n
c
m
17
sao cho
lim ò j dd cum
n
ò j d m, " j Î C (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
)
=
0
W
W
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ì
(
y Ù dd cT
n
)
(
)
- dd c y ÙT = d y Ù d cT - d c y ÙT .
{ } là dãy các độ đo Radon trên tập mở WÌ
Mệnh đề 1.3.2. Giả sử mj
¡
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
Từ đó
)=
lim mj (j
j® ¥
)£
m(G ) £ lim inf mj (G ).
j® ¥
18
lim inf mj (G ).
j® ¥
- Xem thêm -