Một số định lý thác triển của các hàm chỉnh hình tách với kỳ dị đa cực

ĐẠI HỌC THÁI NGUYÊN
TRƯỜNG ĐẠI HỌC SƯ PHẠM
--------------------------

NGUYỄN THỊ THU HƯƠNG

MỘT SỐ ĐỊNH LÝ THÁC TRIỂN CỦA
CÁC HÀM CHỈNH HÌNH TÁCH
VỚI KỲ DỊ ĐA CỰC
Chuyên ngành: Giải tích
Mã số: 60.46.01

LUẬN VĂN THẠC SĨ TOÁN HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC
TS. Nguyễn Thị Tuyết Mai

Thái nguyên -2010
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




1

MỞ ĐẦU
Nghiên cứu về ánh xạ chỉnh hình tách biến là một trong những hướng
nghiên cứu quan trọng của giải tích phức nhiều biến. Các kết quả đạt được
theo hướng nghiên cứu này ngày càng nhiều và đẹp đẽ. Ngày nay nhiều nhà
toán học trên thế giới vẫn tiếp tục quan tâm đến vấn đề này với những cách
tiếp cận khác nhau.

Lịch sử phát triển của việc nghiên cứu các hàm chỉnh hình tách vô cùng
phong phú, đa dạng và đã thu được những kết quả vô cùng đẹp, có ứng dụng
lớn trong giải tích hiện đại. Nó được chia làm ba giai đoạn cụ thể sau.
Đầu tiên là giai đoạn từ năm 1899 đến năm 1967 với những đóng góp
quan trọng của các nhà bác học nổi tiếng như: Osgood, Hartogs, Hukuhara,
Shimoda, Terada… Đặc trưng chủ yếu của giai đoạn này là nghiên cứu trên
chữ thập 2-lá. Trước tiên là vào năm 1899, Osgood đã khẳng định rằng nếu
một hàm chỉnh hình tách giới nội trong miền D thì chỉnh hình trong miền đó.
Tiếp đó là vào năm 1906, Hartogs khẳng định rằng mọi hàm chỉnh hình trong
miền D đều chỉnh hình tách trong miền đó. Bước đột phá quan trọng là nghiên
cứu của Hukuhara vào năm 1930. Ông đã khẳng định rằng hàm chỉnh hình
tách giới nội địa phương trên tập X(A1,A2; D1,D2) là chỉnh hình trên D1  D2
(trong đó A1  D1 , A2  D2 ) với điều kiện A2 có ít nhất một điểm tụ trong D2.
Nhưng ở đây ông lại mở rộng vấn đề bằng câu hỏi: “Với điều kiện nào của A2
thì khẳng định trên vẫn đúng”. Và phải đến hơn 30 năm sau Terada mới trả
lời được câu hỏi trên với điều kiện A2 là không đa cực.
Giai đoạn tiếp theo là từ năm 1969 đến năm 1997 với các nghiên cứu của
các nhà bác học Siciak năm 1969 và P. Zahariuta năm 1976 khi ông phát minh ra
cơ sở chung của không gian Hilber. Sau đó phương pháp của Zahariuta đã được

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




2

cải tiến bởi Nguyễn Thành Vân và Zeriahi trong các công trình của hai ông vào
các năm 1991, 1995 và 1997. Đến năm 2001 với định lý chữ thập cổ điển của
Alehyane và Zeriahi đã đưa ra công thức tổng quát cho giải tích phức.

Giai đoạn thứ ba là từ năm 1998 đến năm 2001. Đặc trưng của giai đoạn
này là nghiên cứu thác triển của các hàm chỉnh hình tách với kỳ dị giải tích, bắt
đầu với nghiên cứu của Oktem sau đó được tổng quát hóa bởi Siciak. Kết quả
tổng quát nhất là định lý thác triển của các hàm chỉnh hình tách với kỳ dị giải
tích và kỳ dị đa cực của Jarnicki và Pflug.
Với mục đích nghiên cứu một vài kết quả về thác triển các hàm chỉnh
hình tách, luận văn gồm những nội dung cơ bản sau:
Chƣơng 1. Kiến thức chuẩn bị.
Nội dung chính của chương chủ yếu trình bày các khái niệm đa tạp
phức, hàm đa điều hòa dưới, miền giả lồi, bao chỉnh hình, hàm cực trị tương
đối, tập đa cực, đa cực địa phương, đa chính quy địa phương và hàm chỉnh
hình tách, tập kỳ dị. Tiếp đó chúng tôi trình bày một số kết quả bổ trợ như
thác triển các hàm chỉnh hình tách và tính chất của tập đa cực, đa cực đóng
tương đối, đa chính quy địa phương để chuẩn bị cho việc trình bày chương 2.
Chƣơng 2. Định lý thác triển của các hàm chỉnh hình tách với kỳ dị đa cực.
Phần đầu chương chúng tôi trình bày sơ lược các kết quả nghiên cứu
về hàm chỉnh hình tách qua các giai đoạn phát triển của hướng nghiên cứu
này. Tiếp đó là một định lý về thác triển của các hàm chỉnh hình tách với kỳ
dị đa cực. Phần cuối chương, chúng tôi trình bày chứng minh định lý này
trong trường hợp chữ thập 2-lá và trong trường hợp tổng quát.
Luận văn được hoàn thành dưới sự hướng dẫn tận tình của cô giáo TS
Nguyễn Thị Tuyết Mai. Em xin bày tỏ lòng biết ơn sâu sắc đối với cô.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




3

Em xin chân thành cám ơn Ban chủ nhiệm Khoa Toán Trường Đại học
Sư phạm Thái Nguyên cùng các thầy cô giáo đã tận tình giảng dạy chúng em
suốt khóa học.
Tôi xin chân thành cảm ơn Ban giám hiệu Trường Cao đẳng Kinh tế
Tài chính Thái Nguyên, Ban chủ nhiệm Khoa Khoa cơ bản và Bộ môn Toán
đã quan tâm giúp đỡ và tạo mọi điều kiện thuận lợi cho tôi trong suốt quá
trình học tập và nghiên cứu.
Xin chân thành cảm ơn gia đình, đồng nghiệp và bạn bè đã động viên
khích lệ tôi trong suốt quá trình hoàn thành, bảo vệ luận văn.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




4

CHƢƠNG I
KIẾN THỨC CHUẨN BỊ
1.1.

Đa tạp phức

1.1.1. Ánh xạ chỉnh hình
Giả sử X là một tập mở trong  n và f : X   là một hàm số.
Hàm f

được gọi là khả vi phức tại x0  X nếu tồn tại ánh xạ tuyến

tính  :  n   sao cho:

lim

f  x0  h   f  x0     h 

h 0

h

0

1/2

 n
2
trong đó h   h1 ,..., hn   và h    hi  .
 i 1

n

Hàm f được gọi là chỉnh hình tại x0  X nếu f

khả vi phức trong

một lân cận nào đó của x0 và được gọi là chỉnh hình trên X nếu f chỉnh
hình tại mọi điểm thuộc X.
Một ánh xạ f : X   m có thể viết dưới dạng f   f1,..., f m  trong đó

fi   i  f : X   , i  1,..., m là các hàm tọa độ. Khi đó f gọi là chỉnh hình
trên X nếu fi chỉnh hình trên X với mọi i=1,…,m.

Ánh xạ f : X  f  X    n được gọi là song chỉnh hình nếu f là song
ánh, chỉnh hình và f 1 cũng là ánh xạ chỉnh hình.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




5

1.1.2. Đa tạp phức
Giả sử X là một không gian tô pô Hausdorff .
 Cặp U ,  được gọi là một bản đồ địa phương của X , trong đó U là

tập mở trong X và  : U   n là ánh xạ, nếu các điều kiện sau được thỏa mãn:
i)

 U  là tập mở trong  n .

ii)

 :U   U  là một đồng phôi.

 Họ =

U , 
i

i

iI

các bản đồ địa phương của X được gọi là tập bản

đồ giải tích (atlas) của X nếu các điều kiện sau được thỏa mãn:
i)

Ui iI

ii)

Với mọi U i ,U j mà Ui  U j   , ánh xạ

là một phủ mở của X.

 j  i 1 : i U i  U j    j U i  U j  là ánh xạ chỉnh hình.
Xét họ các atlas trên X. Hai atlas 1,2 được gọi là tương đương nếu
hợp 1  2 là một atlas. Đây là một quan hệ tương đương trên tập các atlas.
Mỗi lớp tương đương xác định một cấu trúc khả vi phức trên X và X cùng với
cấu trúc khả vi phức trên nó được gọi là một đa tạp phức n chiều.
1.2.

Hàm đa điều hòa dƣới

1.2.1. Hàm điều hòa dưới
Giả sử D là một miền trong  . Hàm u : D   ,   được gọi là điều
hòa dưới trong miền D nếu u thỏa mãn hai điều kiện sau:

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên

6

i)

u là nửa liên tục trên trong D, tức là tập  z  D; u  z   s là tập

mở với mỗi số thực s.
ii)

Với mỗi tập con mở compact tương đối G của D và mọi hàm

h : X   là điều hòa trong G và liên tục trong G ta có: nếu u  h trên G

thì u  h trên G.
1.2.2. Hàm đa điều hòa dưới
Giả sử G là một tập con mở trong  n . Một hàm  : G   ,   được
gọi là đa điều hòa dưới nếu:
i)

 là nửa liên tục trên và  không đồng nhất với  chỉ trên

thành phần liên thông của G.
ii)

Với mỗi z0  G và a   n mà a  0, và với mỗi ánh xạ

 :    n ,   z   z0  az , hàm    trên mỗi thành phần liên thông của

 1  G  (là các miền trong  ) hoặc bằng  hoặc là điều hòa dưới.
1.2.3. Hàm đa điều hòa dưới trên không gian phức
Giả sử X là không gian phức. Một hàm đa điều hòa dưới trên X là
hàm  : X   ,   thoả mãn: Với mỗi x  X tồn tại lân cận U mở của x
sao cho với một ánh xạ song chỉnh hình h : U  V lên một không gian
phức con đóng V của một miền G   m nào đó và một hàm đa điều hòa
dưới  : G   ,   sao cho 

U

   h .

Kí hiệu   X  là tập tất cả các hàm đa điều hòa dưới trên X .
1.3.

Miền giả lồi

Định nghĩa 1.3.1. G   n là một miền (tập con mở liên thông). Ta nói G là
giả lồi nếu tồn tại một hàm đa điều hòa dưới liên tục  trên G sao cho tập

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




7

 z  G :   z   x
là tập compact tương đối của G với mọi số thực x.
Bổ đề 1.3.2. [2, tr. 73]

Giả sử D   n là một miền giả lồi. Khi đó tồn tại một dãy các miền giả


lồi compact tương đối Dk Ð Dk 1 Ð D với D   k 1 D k .
1.4.

Bao chỉnh hình, miền chỉnh hình

 (đơn diệp hoặc không) được gọi là bao chỉnh hình
Định nghĩa 1.4.1. Miền D
của miền D   n nếu:
i)

 chứa D.
D

ii)

Hàm f  H  D  tùy ý thác triển được thành hàm chỉnh hình

.
trong D

iii)

 

 mà hạn chế
 tùy ý, tồn tại hàm f  H D
Đối với điểm z 0  D

0

 ) không thác triển chỉnh
của nó trên đa tròn U  z 0 , r  trong đó r   ( z 0 ,  D

hình được trên bất cứ một đa tròn U  z 0 , R  nào, trong đó R  r .
Định nghĩa 1.4.2. Miền trải  D,   được gọi là miền chỉnh hình nếu tồn tại
hàm f  H  D  sao cho nếu có miền

 D ,     D,  
1

nào đó và hàm

f1  H  D1  là  - mở rộng của hàm f thì  D1 ,   tương đương với  D,  
(tức là  là đơn trị hai chiều D lên D1).

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




8

1.5.

Hàm cực trị tƣơng đối

Định nghĩa 1.5.1. Giả sử    n và h :    được xác định bởi:

h*  z   limsup h  w , w 
w z

được gọi là hàm chính quy hóa nửa liên tục trên của h.
Định nghĩa 1.5.2. Giả sử    n là một tập mở và A   . Đặt
hA, : sup { u : u    , u  1 trªn , u  0 trªn A }

Hàm h* A, được gọi là hàm cực trị tương đối, trong đó kí hiệu * là
chính quy hóa nửa liên tục trên.
Định nghĩa 1.5.3. Ta định nghĩa:

A, : klim
h* A ,

k

k

trong đó  k k 1 là dãy các tập mở compact tương đối, k  k 1 Ð  với


k 1 k   .

Chú ý: i) Định nghĩa trên là không phụ thuộc vào dãy vét cạn  k k 1 .


ii)  A,     .
iii) Nếu  giới nội thì A,  h* A, .
Mệnh đề 1.5.4. (Tính chất của hàm cực trị tương đối) [2, tr. 9]
Giả sử 1   n và  2   m là các miền và A1  1 , A2  2 là các tập

con bất kỳ. Khi đó:
h* A  A ,    z1 , z2   max h* A ,   z1  , h* A ,  z2  ;
1

2

1

2

1

1

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên

2

2

 z , z    
1

2

1

2

9

1.6.

Tập đa chính quy địa phƣơng

Định nghĩa 1.6.1. Tập A   là đa chính quy địa phương tại một điểm

a  A nếu h* AU ,U  a   0 với mọi lân cận mở U của a.
Định nghĩa 1.6.2. Tập A được gọi là đa chính quy địa phương nếu nó đa
chính quy địa phương tại mọi điểm a  A .
1.7.

Tập cực, tập đa cực

Định nghĩa 1.7.1. Tập A trong  n ( n  2 ) được gọi là tập cực nếu tồn tại một
hàm đa điều hòa dưới khác hằng u trên  n sao cho:
A   x : u  x   

Định nghĩa 1.7.2. Tập A được gọi là đa cực trong  nếu tồn tại một hàm đa
điều hòa dưới sao cho u không đồng nhất bằng  trên mọi thành phần liên
thông của  và A   z   : u  z    .
Định nghĩa 1.7.3. Tập A được gọi là đa cực địa phương trong  nếu với mỗi

z  A có một lân cận mở V của z sao cho A  V là đa cực trong V.
Định lý 1.7.4. (Định lý Chirka) [9, tr. 1254]

 là bao chỉnh hình của D. Giả sử rằng S

Giả sử D   n là một miền và D
là một tập con đa cực đóng tương đối của D. Khi đó tồn tại một tập con đa
 \ S là bao chỉnh hình
 sao cho S  D  S và D
cực đóng tương đối S của D

của D \ S.

Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên




data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not

read....



data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....


data error !!! can't not
read....

data error !!! can't not
read....

data error !!! can't not
read....

data error !!! can't not
read....


data error !!! can't not
read....

data error !!! can't not
read....