Luận văn Hàm green đa phức và xấp xỉ các hàm chỉnh hình

HÀM GREEN ĐA PHỨC VÀ XẤP XỈ CÁC HÀM CHỈNH HÌNH Mã số: 60.46.01 LUẬN VĂN THẠC SĨ TOÁN HỌC 1. Lý do chọn đề tài Lý thuyết đa thế vị phức được phát triển từ những năm 80 của thế kỷ trước dựa trên các công trình cơ bản của Bedford-Taylor, Siciak, Zahaziuta và nhiều tác giả khác. Đóng vai trò quan trọng trong lý thuyết này là hàm Green đa phức hay hàm cực trị toàn cục. Hàm Green đa phức với những điểm kỳ dị hữu hạn đã được nghiên cứu bởi nhiều tác giả như M.Klimek, J.P. Demailly , E.A. Poletsky, A. Zeriahi, .). Theo hướng này chúng tôi quan tâm đến hàm Green đa phức với cực tại vô cùng trên không gian parabolic, hàm Green đa phức với cực logarit tại vô cùng trên đa tạp con đại số và trên một đa tạp siêu lồi, đồng thời sử dụng các kết quả đạt được cho việc xấp xỉ các hàm chỉnh hình. Vì thế chúng tôi đã chọn đề tài nghiên cứu: “Hàm Green đa phức và xấp xỉ các hàm chỉnh hình ” MỤC LỤC Trang MỞ ĐẦU 1 CHưƠNG 1. HÀM GREEN ĐA PHỨC 4 1.1. Hàm Green đa phức với cực tại vô cùng trên không gian 4 parabolic. 1.2. Hàm Green đa phức với cực tại vô cùng trên đa tạp con đại số. 7 1.3. Các số Lelong đối với hàm đa điều hoà dưới. 10 1.4. Hàm Green đa phức với cực logarit trên đa tạp siêu lồi. 11 CHưƠNG 2. XẤP XỈ CÁC HÀM CHỈNH HÌNH 16 2.1. Bất đẳng thức đa thức trên đa tạp con đại số. 16 2.2. Định lí Bernstein - Walsh trên đa tạp con đại số. 20 2.3. Tiêu chuẩn đại số đối với đa tạp con giải tích. 22 2.4. Đa thức trực chuấn trên đa tạp con đại số . 29 2.5. Hệ trực chuẩn Bergman trên miền siêu lồi. 33 2.6. Hệ Bergman là một cơ sở Schauder trong không gian các 40 hàm chỉnh hình. KẾT LUẬN 50 TÀI LIỆU THAM KHẢO 51

pdf58 trang | Chia sẻ: maiphuongtl | Lượt xem: 1950 | Lượt tải: 1download
Bạn đang xem trước 20 trang tài liệu Luận văn Hàm green đa phức và xấp xỉ các hàm chỉnh hình, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
ãy tăng ( )jA các tập hữu hạn sao cho j j A Aj = U . Ký hiệu jG là hàm Green đa phức trên D liên kết với hàm chấp nhận được ( ) : ( ; ) log j j a A z a z aj n j Î = -å . Rõ ràng ( )jG là một dãy giảm các hàm đa điều hoà dưới trên D sao cho (.; ) ,jG Gj £ .j" . Vì thế giới hạn ° lim j j G G ® + ¥ = là đa điều hoà dưới trên D và thoả mãn bất đẳng thức °G G£ trên D . Dễ dàng thấy rằng từ định nghĩa ° 0G £ và ( ) ( );. ;.Gn n j³% trên D , suy ra °G G£ trên D . Vậy, chúng ta có lim j j G G G ® + ¥ = =% trên D , suy ra G là đa điều hoà dưới trên D and ( ) ( ) ( );. ;. ;.G Gn n n j= ³% trên D . Bất đẳng thức này và ( );. ( ;.)Gn n j£ trên D suy ra )i và )iii . Hơn nữa, vì lim j j G G ® + ¥ = trên D , nên theo Định lý hội tụ của Demailly ([Dm3]) và công thức 1 ( (.; )) (2 ) j p c n n n D j a j dd G A p n d = = å ta có )iv . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 16 Chƣơng 2 XẤP XỈ CÁC HÀM CHỈNH HÌNH Trong chương này chúng ta sẽ trình bày xấp xỉ đa thức tốt nhất và tính đại số đồng thời trình bày xấp xỉ tốt nhất của hàm chỉnh hình trên miền siêu lồi. 2.1 Bất đẳng thức đa thức trên đa tạp con đại số Giả sử X là một đa tạp con đại số của N£ có số chiều n . Giả sử K là một tập con compact của X và m là một độ đo dương trên K . 2.1.1. Định nghĩa. Cặp ( , )K m ) được gọi là thoả mãn điều kiện ( )L* tại một điểm 0x nếu với mọi họ ( )XÐF A , thoả mãn ( ){ }sup ;f x f Î < + ¥F m- hầu khắp nơi trên K , thì với mọi 1b > họ ( ){ }deg: ;fb b f f-= ÎF F bị chặn địa phương trong một lân cận của điểm 0x . Nếu ( , )K m thoả mãn điều kiện ( )L* tại mọi điểm x KÎ , chúng ta nói rằng ( , )K m thoả mãn điều kiện ( )L* . 2.1.2. Định nghĩa. Ta nói rằng m là một độ đo determining trên K , nếu với mọi tập con borelian E KÐ , sao cho ( ) ( )E Km m= . Thì E Kg g * *= trên X . Theo Định 1.1.7, với bất kỳ một tập con compact không đa cực K XÐ , độ đo cân bằng là một độ đo determining trên K . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 17 2.1.3. Định lý. Cho K là một tập con compact không đa cực của X và m là một độ đo dương trên K . Khi đó các mệnh đề sau xảy ra: (1) Giả sử m là độ đo determining trên K . Khi đó với mọi họ ( )XÐF A , sao cho ( ){ }sup ;f x f Î < + ¥F m - hầu khắp nơi trên K , ta có: (2.1) ( ) ( ){ } ( )1lim sup sup log ; , deg K d f x f f d g x d * ® + ¥ æ ö ÷ç Î £ £ è ø F , x X" Î Nói riêng, ( , )K m thoả mãn điều kiện ( )L* tại 0x khi và chỉ khi K là L- chính quy tại 0x nghĩa là Kg liên tục tại 0x . (2) ( , )K m thoả mãn điều kiện ( )L* nếu K là L- chính quy và m là một độ đo determining trên K . Chứng minh: Đặt ( ); sup f E x K f x Î ì üï ï = Î < + ¥í ý ï ïî þF Theo giả thiết ( ) ( )E Km m= và m là độ đo determining trên K , ta có E Kg g * *= . Từ định lý 1.1.5 suy ra E không đa cực trong X . Vì ( )( ){ } ( )1/ deg log ; ,f f f X g= Î ÐM F L bị chặn dưới tại mỗi điểm của E , nên theo Bổ đề 3.10 ([Zr]) M là họ bị chặn dưới địa phương các hàm đa điều hoà dưới trên X . Giả sử ( ) 1 lim sup(sup{ log ; , deg } d v f f f d d® + ¥ = Î =F và v* là mở rộng nửa liên tục trên . Do đó theo định nghĩa của E , ta có 0v £ trên E , điều này kéo theo * * * E Kg gu u£ £ = , trên X . (2.1) được chứng minh. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 18 Từ (2.1) suy ra K là L-chính quy tại 0x , khi đó ( , )K m thoả mãn điều kiện ( )L* tại 0x ý. Phần đảo lại suy ra từ Định lýýýýý 1.2.1, vì họ { }: ; , 1, 1d Kf f A f d= Î = ³F bị chặn đều trên K . Mệnh đề (1) được chứng minh. Để chứng minh mệnh đề (2) của Định lýýý, ta chỉ cần chứng minh rằng nếu ( , )K m thoả mãn điều kiện ( )L* thì m là một độ đo determining trên K . Giả sử E KÐ là một tập con borelian sao cho ( ) ( )E Km m= và cố định ( )v XÎ L sao cho / 0.Eu £ Ta sẽ chứng minh / 0.Ku £ Giả sử tồn tại 0x KÎ và 0e > sao cho 0( ) 2xu e> . Trước tiên chú ý rằng theo chứng minh của Định lýí xấp xỉ trong ([Zr], Định lí 4.4), không mất tính tổng quát, ta có thể giả sử u liên tục trên X . Khi đó theo Bổ đề xấp xỉ 1.2.2, tồn tại một dãy số nguyên dương 1, ..., md d và dãy hàm đa thức 1, ..., mf f với ( ), 1,..., jj d f X j mÎ =A sao cho: (2.2) 1 1 sup log j j m j f v d£ £ £ trên K và 0 1 1 sup log ( ) 0.j j m j f x d e £ £ > > Vì 0v £ trên E và ( ) ( )E Km m= , nên họ : { ;1 , 1}kjf j m k= £ £ ³F là m- bị chặn hầu khắp nơi trên K . Vì thế họ ( ){ }: exp ;1 , 1kj jkd f j m ke e= - £ £ ³F bị chặn đều trong một lân cận của 0x , điều này kéo theo 0( )v x e£ và dẫn tới mâu thuẫn với (2.2). W Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 19 Trong N£ điều kiện ( )L* đã được nghiên cứu bởi Nguyen T.V ([Ng]) và khái niệm độ đo determining đã được giới thiệu bởi Levenberg ([Lv]), người đã chứng minh phần hai của định lí trong trường hợp này. Bây giờ chúng ta quan tâm đến hệ quả sau là sự hoàn thiện của bất đẳng thức Bernstein-Markov. 2.1.4. Định lí. Giả sử K là một tập con compact không đa cực của X và m là một độ đo determining trên K . Khi đó với bất kỳ số mũ 0p > , và bất kỳ ( ) ( )( )0 : sup expx K Kr r K g x * Î> = , đều tồn tại một lân cận U của K và một hằng số ( ), 0C C r p= > sao cho: ( ) p BM , . ( ), 1d dU pf Cr f f X dm£ " Î " ³A , trong đó 1 , : ( ) p p p K f f d m m= ò . Chú ý rằng nếu K là L - chính quy thì ( )0 1r K = và ta được bất đẳng thức Bernstein-Markov. Chứng minh. Vì K không đa cực trong X , và m là một độ đo determining trên K nên theo Định lí 1.1.5 suy ra với mọi ( ), 0f A X fÎ ¹ , thì , 0 p f m > . Để chứng minh ( ) p BM , thì ta chỉ cần chứng minh ước lượng sau: 0, lim sup(sup{ / ; ( ), 0}) ( ).dK p d f f f X f r K m® + ¥ Î ¹ £A Giả sử rằng đảo lại là đúng, khi đó tồn tại một số thực ( )0jr r K> , một dãy tăng các số nguyên dương ( ) 1j j d ³ , và một dãy hàm đa thức khác không ( ) 1j j f ³ với , jj d f A j *Î Î ¥ , sao cho: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 20 (2.3) 1 , jd j jK p f r f m ³ . * .j" Î ¥ Tiếp theo xét dãy: , : , j j j p f F j f m *= Î ¥ . Ta sẽ buộc cho họ 2 { ; 1}pj jd F j - ³ là bị chặn m- hầu khắp nơi trên K . Thật vậy, đặt: 2 , : { : ( ) }, r m j j jS x K d F x m -= Î ³ , 1 m m j j S S ³ = U và chú ý rằng 2 2 1 1 ( ) . 6 m j j S d m m p m - ³ £ £å Khi đó 1 m m S S ³ = I là tập con borelian của K thoả mãn ( ) 0Sm = , và họ 2 { ; 1}pj jd F j - ³ bị chặn tại mỗi điểm của \K S . Vậy 2 { ; 1}pj jd F j - ³ là bị chặn m- hầu khắp nơi trên K . Bởi vậy theo Định lí 2.1.3, ta có ước lượng sau: (2.4) *1lim sup( log ( ) ) ( ), .K j j Fj x g x x X d® + ¥ £ " Î Lấy số thực 2r sao cho ( )0 2 1r K r r< < . Vì * 2{ ; ( ) log }KK x X g x rÎ <Ð , nên áp dụng Bổ đề Hartogs trên X ([Zr]), từ (2.4) ta thu được bất đẳng thức sau: 2 1 lim sup( log ) log ,j K j j F r d® + ¥ £ điều này mâu thuẫn với ước lượng (2.3). Vậy định lí được chứng minh. W Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 21 2.2. Định lí Bernstein-Walsh trên đa tạp con đại số Trong mục này chúng ta giả sử X là một đa tạp con đại số n - chiều của N£ , và giữ nguyên các kí hiệu như trong 1.2. Với một tập con mở XWÐ , ký hiệu ( )WO là không gian Frechet các hàm chỉnh hình trên W , với tôpô hội tụ đều địa phương trên W . Với một tập con compact K XÐ , kí hiệu ( )KO là không gian mầm các hàm chỉnh hình trong một lân cận của K , được trang bị tôpô giới hạn qui nạp. Cho f là một hàm phức liên tục trên một tập compact K XÐ , ta định nghĩa: (2.5) ( , ) : inf{ ; ( )},d dKf K f P P X de *= - Î ÎA ¥ . Đó là sai số bậc d trong xấp xỉ tốt nhất của f bởi đa thức theo chuẩn đều trên K . Ta có ước lượng đối với tốc độ hội tụ tới 0 của sai số này. 2.2.1. Định lý. Cho K là tập con compact không đa cực của X , sao cho Kg * là đa điều hoà dưới trên X . Khi đó với mọi ( ) ( )0 : sup expK Kr r K g *> = và với mọi 0q > , tồn tại một hằng số ( ), 0c r q > sao cho: (2.6) ( )( , ) ( , ) , , 1 r d d rf K c r r f f d q qe q + - +W £ " Î W " ³O . Định lí này được biết giống như định lí Berstein-Walsh và đã được chứng minh trong ([Zr]). 2.2.2. Chú ý. Nếu X là bất khả qui địa phương như một tập giải tích của N£ , thì Kg * là đa điều hoà dưới trên X . Trong trường hợp tổng quát Kg * không phải luôn là đa điều hoà dưới ngay cả khi K Kg g * = , giống như các ví dụ đã chỉ ra (xem [Zr]). Hơn nữa, nếu K không đa cực, thì Kg * là đa điều hoà dưới yếu trên Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 22 X và nó có thể cho một dạng yếu của Định lí Berstein-Walsh theo cách sau đây: Cho hàm đa điều hoà dưới và vét cạn ( )v XÎ L , tập ( ) ( ){ }: : log , 1r v x X v x r rW = Î < ³ , và ( ) 0 : sup exp K r v v= . Khi đó ước lượng (2.6) xảy ra với ( ) r vW thay cho ( )r KW , và ( ) 0r v thay cho ( )0r K , chú ý rằng trong trường hợp nếu / 0v K £ , ta có ( ) ( )r rK vW Ð W (xem [ ]Zr ). 2.3. Tiêu chuẩn đại số đối với đa tạp con giải tích. Trong phần này, chúng ta sẽ trình bày tiêu chuẩn địa phương về tính đại số của đa tạp con giải tích của N£ . Giả sử Y là một đa tạp con giải tích bất khả qui của N£ có số chiều n . Kí hiệu 1 ( ) ( )d d A Y A Y ³ = U , đại số phân bậc các hàm đa thức trên Y nghĩa là với mỗi số nguyên dương d , ( )dA Y là không gian tuyến tính hạn chế tới Y các đa thức chỉnh hình trên N£ , có bậc lớn nhất là d . Với một tập con mở không rỗng cố định U YÐ , ta có thể dễ dàng định nghĩa như trong trường hợp đại số, hằng số Chebyshev của tập compact K đối với U trong Y bởi công thức: ( ) ( ) ( ) 1 , lim , inf ,d d d d U K U K Ut t t ® + ¥ ³ K = = , trong đó ( ) { }1/, : inf : ( ), 1dd dK UK U f f Y ft = Î =A . 2.3.1. Định lí. Cho NY Ð £ là đa tạp con giải tích bất khả quy có số chiều là n . Khi đó các điều kiện sau là tương đương : Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 23 (1) Y là đa tạp con đại số của N£ (2) Tồn tại một thế vị parabolic [ ]: ,g Y ® - ¥ + ¥ trên Y sao cho log(1 ) ( ( ))z g z+ = O trên Y . (3) Tồn tại một tập con compact E YÐ sao cho ( )E locL L Y ¥Î . (4) Tồn tại một tập con mở khác rỗng U YÐ và một tập con compact E YÐ sao cho ( , ) 0E Ut > . Chứng minh: Điều kiện (1) Þ (2) theo tiêu chuẩn Rundin - Sadullaev xem trong ([Rd], [Sd]), giống như trong mục 1.2, ở đó nó đã được sử dụng để xây dựng một thế vị parabolic thoả mãn (1.8). ( ) ( )2 3Þ là rõ ràng bởi vì (2) suy ra với bất kỳ tập compact E YÐ ta có Elp g£ trên X , và theo Định lí 1.1.5 nếu E không đa cực trong Y , thì Eg là bị chặn địa phương trên Y . Vậy (3) được chứng minh. Nếu (3) thoả mãn thì theo định nghĩa của EL ta có: ( ) ( )( ) ( ) *, ; , d E dE f z f L z z f Y d N£ " Î U " Î " ÎA Bây giờ cố định một tập con mở không rỗng U YÐ . Khi đó do (3), ( ){ }: sup ;EM L z z U= Î < + ¥ và bất đẳng thức trên, ta có ; ( ), 1/ 0r E U M³ > . Vậy (4) được chứng minh . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 24 (4) Þ (1): Trước tiên chú ý rằng do (4), ( ): 1/ ,R E Ut= < + ¥ và ta có: (2.7) ( ) ( ) *, , ,d dEf z f R z U f Y d£ " Î " Î " ÎA ¥ Trước tiên chúng ta chứng minh nhận xét sau: Nhận xét: Với mọi tập mở, liên thông khác rỗng 0U UÐ và mọi tập con compact không đa cực 0K UÐ , ta có ( )0, 0K Ut > . Thật vậy, đặt: (*) ( ) ( ) ( ){ }1sup log ; , 1, 1 ,d Ez f z f Y f d z U d y = Î £ ³ ÎA . Theo bất đẳng thức (2.7), ta có ( ) log ,z R z Uy £ " Î . Giả sử rằng ( )0, 0,K Ut = với tập compact 0K UÐ . Khi đó tồn tại một dãy tăng ( ) 1j j d ³ các số nguyên dương và một dãy ( ) 1j j f ³ các hàm đa thức sao cho ( ), 1j jf d Y jÎ " ³A và ước lượng sau xảy ra: (**) ( ) 1/ 1, lim 0 o dj j jU Kj f f ® + ¥ = = Đặt ( ) ( ) *1 log , , j j j j K f z z z U j d f w = Î Î ¥ . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 25 Khi đó jw là đa điều hoà dưới trên 0U và theo (*), (**), nó thoả mãn các ước lượng sau đây: )i ( ){ } *sup ; 0,j z z K jw Î = " Î ¥ , )ii ( ){ }0sup ; ,j jm z z Uw= Î ® + ¥ khi j ® + ¥ )iii ( ) ( ){ } ( ) *sup ; , ,j j oz z z E z z U jw w y£ Î + " Î " Î ¥ Theo )ii , )iii và Bổ đề Hartogs, tồn tại 0 0z UÎ sao cho: ( )0 lim sup 1 0 j j j z m w ® + ¥ æ ö ÷ç - =÷ç è ø Khi đó bằng cách xét một dãy con, nếu cần, ta có thể giả sử rằng: 0( ) 1 1 , 2 j j j z j m w *- > - " Î ¥ . Bởi vậy hàm được định nghĩa bởi công thức: 0 1 ( ) ( ) ( 1), . j j j z z z U m w w + ¥ = = - Îå là đa điều hoà dưới trên 0U . Theo )iii ta có 0( )zw > - ¥ và theo )i ( )zw = - ¥ với z KÎ , do đó K là đa cực. Nhận xét được chứng minh. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 26 Bây giờ mục đích của chúng ta là ước lượng số chiều của không gian tuyến tính ( )d YA . Ta sẽ chứng minh ( )dim lim sup d nd Y d® + ¥ < + ¥ A, và cho cận trên của giới hạn này theo ngôn ngữ biểu diễn các hằng số Chebychev các phần nhỏ của đa tạp gần điểm chính qui. Cho 0y UÎ là một điểm chính quy của Y và 0U là một lân cận toạ độ của 0y là ảnh của một ánh xạ song chỉnh hình h lên đĩa mở 0U ¢ nào đó có tâm tại gốc trong N£ . Với mỗi ( )df YÎ A , định nghĩa 1:f foh -=% là hàm chỉnh hình trên 0U ¢ , và ký hiệu { }: ; ( )d df f A Y= Î%Q , với d *Î ¥ . Bây giờ khai triển mỗi hàm chỉnh hình dF Î Qv thành chuỗi Taylor trên đa đĩa 0U ¢ : 0( ) , nN F z b z z Uaa a Î ¢= Îå hội tụ đều trên các tập con compact của 0U ¢ . Cố định một đa đĩa mở V ¢ có tâm tại gốc trong N£ mà ta có thể giả sử là đa đĩa đơn vị. Cho sK ¢ là đa đĩa đóng có bán kính 0 1s< < , có tâm tại gốc trong N£ . Cố định 0 1s t< < < ; khi đó 0s tK K K V U¢ ¢ ¢ ¢ ¢= Ð Ð Ð . Nếu đặt ( ) :m m T z b zaa a £ = å với m NÎ , thì từ chuỗi Taylor trên và bất đẳng thức Cauchy ta có ước lượng sau: 0sup ( ) ( ) , , m m dV z K F z T z t F F Q m m¢ ¢Î - £ " Î " ³ , Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 27 trong đó 0m là một số nguyên đủ lớn phụ thuộc vào s và t . Từ ước lượng này suy ra ngay: (a) ' 0( , ( )) , , N m m dVK dist F t F F m m¢£ " Î " ³P Q£ , trong đó ( )NmP £ là không gian tuyến tính các đa thức n biến số phức có bậc không lớn hơn m và khoảng cách được tính toán theo chuẩn đều trên sK K¢ ¢= , tức là trong không gian Banach ( )K ¢Cj các hàm liên tục trên K ¢ . Theo nhận xét ở trên 1 ( ) ( , )sR s K V r = < + ¥ , và khi đó ta có ước lượng sau: (b) *( ) , ( ),d dV Kf f R s f Y d£ " Î " ÎA ¥ . Vì K là L - chính quy trong Y , nên độ đo cân bằng Kl là một độ đo determining và theo Định lí 2.1.4, nó thoả mãn bất đẳng thức Bernstein- Markov 2( )BM . Cố định 0( ) 1r r K> = , tồn tại một số thực dương 0 1d > sao cho: (c) 0,2 , ( ),d dK Kf r f f Y d d£ " Î " ³A , Giả sử không gian Hilbert H là không gian con đóng của 2( , )KL K dl được sinh bởi thu hẹp lên K của hàm chỉnh hình trong một lân cận của K , và °H là ảnh của H qua phép đẳng cấu. 1:f f f o h -® =% . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 28 Khi đó tổng hợp các bất đẳng thức (a), (b), (c), ta có (2.8) ° °( , ( )) ( ) n d m d mdist F r t R s F£ HH P £ với 0 0, ,dF m m d d" Î " ³ " ³Q . Chọn 1 k > sao cho tồn tại ( )0,1s Î với ( ) 1ks R s < , ta có thể tìm ( ),1t sÎ và 1r > sao cho ( ) 1kr t R sr = < . Khi đó theo (2.8), chúng ta kết luận : (2.9) ° ° ° 0( , ( )) , , n d kd ddist F F F F d dr£ < " Î " ³H HH P Q£ . Bây giờ giả sử rằng dim dim ( )nd k d>Q P £ , với { }0 0max ;d d m³ nào đó. Khi đó { }( ( )) 0 n d k d ^Ç ¹Q P £ . Lấy một hàm 0 00, ( ( )) n d k dF F P ^¹ Î ÇQ £ . Với hàm này, ta có ° °0 0( , ( )). n k dF dist F P£ HH £ Điều này mâu thuẫn với (2.9), do đó suy ra bất đẳng thức dim dim ( ) / !n n nd k dQ P k d n£ £ : . Bởi vậy với d đủ lớn ta có (2.10) ( )ddimA Y / ! n nk d n£ , trong đó dim n Y= . Từ đó suy ra Y là đại số. Thật vậy, giả sử J là ideal các đa thức thuộc [ ]1 2, ...., Nz z z£ đồng nhất triệt tiêu trên Y , và ( )loc JZ = . Khi đó Z là đa Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 29 tạp con đại số của N£ . Theo Nullstellensatz, ideal bị triệt tiêu của Z được cho bởi ( )I Z Rad J J= = . Vì thế với d đủ lớn ( ) [ ]d 1 2dim Y dim , ..., /Nz z z J=A £ [ ]1 2dim , ,..., / ( ) ( )N Zz z z I h d= Z =£ là đa thức Hilbert của đa tạp con đại số Z , mà bậc của nó đúng bằng dimZm = . Khi đó theo (2.10), với d ¢ đủ lớn ( ) / !n nZh d k d n£ , suy ra .m n£ Vì Y ZÐ là bất khả quy có số chiều n , nên ta có m n= và Y là thành phần bất khả quy của Z , do đó Y là đa tạp con đại số có số chiều n . Định lýí được chứng minh. W 2.3.2. Chú ý: Phép chứng minh mà chúng ta trình bày ở trên có thể thực hiện được nhiều hơn điều đã được phát biểu trong định lý. Trong thực tế có thể thu được một ước lượng về bậc của đa tạp con đại số Y bởi vì hệ số chính của đa thức Hilbert ( ) Yh d bằng ( ) ! nY d n dæ ö÷ç ÷ç ÷çè ø , trong đó ( )Yd là bậc của đa tạp con đại số Y , đó là số giao điểm của Y và ( )N n- - phẳng trong N£ . Theo ước lượng (2.10), ta kết luận ( ) nY kd < , trong đó k thoả mãn ước lượng sau: ( ) 1ks R s < , với ( )0,1s Î , trong đó ( ) 1/ ( , )sR s K Vt= . ( ) 0 lim (log , / log )s s k inf K V st ® > . Như vậy ta có ước lượng sau về bậc của Y : ( ) ( ) 0 (lim inf log , / log ) .ns s Y K V sd t ® £ Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 30 2.4. Đa thức trực chuẩn trên đa tạp con đại số. Cho X là một đa tạp con đại số có số chiều n trong N£ . Chúng ta giữ nguyên các kí hiệu trong phần 1.2. Đặt: { }( ) : ; ;NS S I z z Ia ba b aé ù= = Î Ï £ +ë û¥ , trong đó ( )I I X= , là ideal đa thức của X và ;z b b aé ù£ë û , là không gian con các đa thức trong [ ]1, ...., Nz z£ , sinh bởi các đơn thức { },z b b a£ , và £ là quan hệ thứ tự trên .N¥ Khi đó { };z Sa a Î là độc lập tuyến tính modulo I . Chọn một song ánh : ,Sa ®¥ sao cho ( ) ( )1 ,j j ja a£ + " Î ¥ , và xét các hàm đơn thức xác định trên X bởi công thức : ( ) ( ),jje x x j a= Î ¥ . Cho K là một tập compact không đa cực của X , và m là một độ đo determining trên K . Khi đó theo Định lí 1.1.5, hệ ( ) 0j j e ³ là độc lập tuyến tính trong không gian Hilbert 2( , )L K dm . Theo phương pháp trực chuẩn cổ điển của Hilbert-Schmidt, ta có thể xây dựng từ hệ này một hệ trực chuẩn ( ) 1j j B ³ trong 2( , )L K dm , bao gồm các hàm đa thức trên X , gọi là các đa thức m- trực chuẩn trên K . Khi đó kí hiệu: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 31 ( ) ( )deg ,j jd j B ja= = Î ¥ . Giống như trong chương 1, ta kí hiệu * Kg là hàm Green đa phức trên K và ( ) ( ){ }*; log , 1r r KK x X g x r rW = W= Î . 2.4.1. Định lí. Cho K là tập compact không đa cực của X và m là một độ đo determining trên K . Khi đó hệ m- trực chuẩn ( ) 0j j B ³ là một cơ sở Schauder của không gian ( )XO thoả mãn tính chất: * *1lim sup log K j j Bj g d® + ¥ æ ö ÷ç =÷ç è ø trên °\ XX K , trong đó ° ( ){ }; 0X KK x X g x= Î = là bao đa thức của K trong X . Hơn nữa, nếu K là L - chính quy và * K Kg g= là đa điều hoà dưới trên X , thì ( ) 0j j B ³ cũng là một cơ sở Schauder thông thường của tất cả các không gian ( )XK%O , và ( )rWO với 1r > , thoả mãn ước lượng sau: ( ) 1 lim , 1j r d j j B r r W® + ¥ = " > . Chứng minh: Kí hiệu ( )2 ,PL K dm là không gian con đóng của ( )2 ,L K dm sinh bởi hạn chế lên K của các hàm đa thức trên X . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 32 Cho ( )f XÎ O . Khi đó theo Định lí 2.2.1, ( )2/ ,Pf K L K dmÎ , điều này suy ra ta có khai triển sau : * 0 ( )j j j f B f B + ¥ = = å trong ( )2 ,PL K dm , trong đó ( ) , .j j K f f B d jm*B = Îò ¥ Vì deg j j B d= , nên theo cách xây dựng ( )1jj dB ^ -Î A và hệ số trong khai triển trên thoả mãn ước lượng sau: (2.11) ( ) ( ){ }* 1inf ; , .jj j dKf f P B d P jm -B £ - Î " Îò ¥A Cho ( )Xu Î L là một hàm vét cạn trên X , đặt { : ( ) log }, 0.D x X v xr r r= Î Khi đó từ (2.11) suy ra với ( )0 : sup expK vr r> = và 0q > tuỳ ý, tồn tại một hằng số ( ), 0c r q > sao cho : (2.12) ( ) ( )* , ,djj Df c p f j r q r q + -B £ " Î ¥ . Mặt khác, bởi lý do tương tự như việc đưa đến ước lượng (2.4), ta có thể chứng minh rằng: (2.13) *1lim sup( log ( ) ) ( )j j j B x g x d® + ¥ £ , x X" Î . Khi đó theo bổ đề Hartogs và (2.13), ta kết luận rằng với mỗi tập compact E XÐ có ước lượng sau: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 33 (2.14) ( ) 1 *lim sup , sup(exp ).jdj KEj E B r r g ® + ¥ £ " > Lấy p r> , từ (2.12) đến (2.14) ta thấy chuỗi *( ) j j B f Bå hội tụ trên mỗi tập compact E của X . Chuỗi này xác định một hàm chỉnh hình F trên X , mà theo khai triển ở trên nó trùng với f m- hầu khắp nơi trên K . Vì m là độ đo determining trên K , nên từ Định lí 1.1.5 suy ra hai hàm trùng nhau trên một tập con không đa cực của X , điều này kéo theo f F= trên X . Như vậy khai triển hàm f có hiệu lực trong ( )XO . Vì thế ta phải chứng minh rằng hệ ( )jB là một cơ sở Schauder trong không gian ( )XO . Nếu K là L - chính quy và gK là đa điều hoà dưới trên X , thì ta có thể lấy K v g= và khi đó D r r = W , với 0 0 ( ) 1p p r K> = = . Bởi vậy nếu ( )rf Î WO với 1r > , thì từ (2.12) và (2.13) suy ra chuỗi *( ) j j B f Bå hội tụ chuẩn trên mỗi tập compact của rW , điều đó đã kéo theo ( )jB là một cơ sở Schauder trong không gian ( )rWO . Vì 1 X r r K > = W% I , nên suy ra hệ ( )jB cũng là một cơ sở Schauder trong không gian ( )XK%O . Ước lượng ( ) 1 lim , 1 j r d j j B r r W® + ¥ = " > suy ra từ (2.12) và (2.14) bằng cách đưa vào ( )* 1, .j jB jB = " Î ¥ Bây giờ chúng ta sẽ kết hợp một hàm đa điều hoà dưới chấp nhận được trên một miền siêu lồi của N£ với một hệ trực chuẩn kiểu Bergman trong một không gian Bergman có trọng số xấp xỉ nào đó và chứng minh nó là một cơ sở Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 34 Shauder trong không gian các hàm chỉnh hình trên những tập mức con mở của hàm Green đa phức tương ứng. 2.5. Hệ trực chuẩn Bergman trên miền siêu lồi Cho D là một miền siêu lồi trong N£ , ( )W DÎ P SH sao cho We - là khả tích địa phương trên D . Ta kí hiệu ( ) ( ) ( )22 log 1 ),W z W z z z D= + + Î% , và đặt ( )2 ,W D W= =H H O % , không gian trọng Bergman các hàm ( )f DÎ O sao cho 2 Wf e- là khả tích theo nghĩa Lebesgue trên D , với chuẩn tương ứng được xác định bởi công thức: 2 2 2 W n D f f e dl-= ò % , trong đó 2n dl là độ đo Lebesgue trên n£ . Cho E DÐ và ( ),r E E r a a Î = BU với ( )0 ; \nr dist E D< < £ . Khi đó theo bất đẳng thức giá trị trung bình ta có: ( ) 2 2 22 22 2 1 r nE n E n f f d C r f r l w £ £ò , Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 35 trong đó ( ) ( )2 2 2 1 sup r W z n z En C r e rw Î = . Từ đó suy ra bao hàm chính tắc ( )W D®H O là tuyến tính và liên tục. W Ta cần kết quả xấp xỉ sau đây: 2.5.1. Bổ đề. Cho D là một tập con mở siêu lồi của n£ và W là một hàm đa điều hòa dưới trên D sao cho We - là khả tích địa phương trên D . Khi đó không gian trọng Bergman ( )2 ,W D W=H O % là trù mật trong không gian ( )DO . Đặt ( ){ }: [ ( , ) ] 1l lA a D v a lv a nj= Î = - ³ trong đó [ ]t ký hiệu phần nguyên của t . Từ giả thiết l A ¹ Æ với l đủ lớn, như vậy bằng quy nạp ta có thể định nghĩa một dãy { } 0j j l ³ các số nguyên dương theo cách sau: (2.15) { }0 10, : min 0 : ll l l A= = > ¹ Æ ( ) ( ){ }1 min ; , 1kk k k l ll l l a A a a kn n+ = > $ Î > ³ . Ta cũng có thể định nghĩa các không gian con: { ( ) ( ) }; log , , k k kl W l l f f x x x An n= Î > " ÎH H Chú ý rằng: ( ) ( ), 0, , , k k k n l W l lf f D f x x A x a a a nÎ Û Î = " Î " Î £H H ¥ . Suy ra kl H là không gian con đóng của H có số chiều hữu hạn. Ta xét bổ đề sau: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 36 2.5.2. Bổ đề. Giả sử ( ) ( ){ }0 0, , ... ,q qa an n là một hệ hữu hạn các điểm có trọng số trong D *´ ¥ thỏa mãn j k a a¹ với j k¹ , và ,na Î ¥ với 0a n= . Khi đó tồn tại Wf Î H sao cho: ( )0 1D f a a = và ( )log , , 0j jf a j qn n= £ £ . Chứng minh: Ta có thể xây dựng một đa thức [ ]1,..., nP C z zÎ thỏa mãn những điều kiện cần thiết. Để nhận được hàm W f Î H thỏa mãn các điều kiện tương tự, ta cần điều chỉnh P theo cách sau. Giả sử X là một hàm thuộc lớp C ¥ với giá compact trong D sao cho 1=X trên một lân cận của tập { }0 1, ...., qa a a , khi đó có một hàm u thuộc lớp C ¥ sao cho f u Pc= - thuộc W H và bị triệt tiêu tại bậc đủ lớn tại mỗi điểm của chúng. Điều đó có thể thực hiện bằng cách áp dụng 2L - ước lượng Hormander để giải phương trình ( )u P Pc c¶ = ¶ = ¶ vvới trọng 2 0 ( ) logj j j q W n z ay n £ £ = + + -å , trong đó 0n a= (xem [Hor]). W Bây giờ ta cho một vài nhận xét sẽ sử dụng về sau: Nhận xét 1: Giả sử { }sup ( ; );a a Dn n j= Î . Khi đó ta có (2.16) * 1 ,k k kl l l k k+< £ + " Î ¥ , trong đó k là số nguyên dương nhỏ nhất hoặc bằng 1/ n . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 37 Thật vậy, vì hàm ( ; )x xn j® là nửa liên tục trên trên D và ( ; ) 0xn j = nếu \x D KÎ , trong đó K là compact trong D , nên tồn tại b DÎ thỏa mãn ( ; ) 0bn j n= > . Đặt k l l k¢= + thì 1kl ln n¢³ + và [ ]kl n l nn né ù¢- > -ë û . Vì ( , )bn n j= trong đó kl b AÎ , nên bất đẳng thức (2.16) được suy ra từ định nghĩa (2.15). Vậy nhận xét 1 được chứng minh. W Nhận xét 2. Với mỗi 1 , k kl l k + Î ÐH H¥ và 1k kl l+ ¹H H . Thật vậy, theo định nghĩa (2.15) của 1k l + , tồn tại k l b AÎ sao cho 1 ( ) ( ) k kl l b bn n + > . Từ Bổ đề 2.5.2 suy ra tồn tại W f Î H thỏa mãn 1 (log ; ) ( ) kl f b bn n + = và (log ; ) ( ) 1 kl f x xn n= + với , k x A x bÎ ¹ . Vì 1 ( ) ( ) 1 k kl l b xn n + ³ + , nên từ { ( ) ( ) }; log , , k k kl W l l f f x x x An n= Î > " ÎH H suy ra 1 \ k k l l f + Î H H . Vậy nhận xét 2 được chứng minh. W Bây giờ với mỗi k Î ¥ , đặt: { }( , ) ; ( ) k k n k l la A aa a n= Î ´ £¥M ( ) ( ) k lk l k k a A a n m n n Î æ ö+ ÷ç= = ÷ç è ø åM và với mỗi ( , ) ka a Î M , ký hiệu , ,k a aH là tập hợp được xác định theo cách sau (2.17) , ,k af faÎ Û ÎH H và { } ( ) 1, ( ) 0 , ( ) ( ) 0, ( ), \ k k k l l l D f a D f a a D f x x x A a a b b b a b n b n ì = = " ¹ £ï ï í ï = " £ " Î ïî Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 38 Kết quả sau là cơ sở cho việc xây dựng của chúng ta: 2.5.3. Bổ đề. Giả sử *k Î ¥ và ( , ) ka a Î M . Khi đó ta có các tính chất sau : 1) , ,k a a H là tập con lồi, đóng khác rỗng của W H chứa trong 1kl - H . 2) Tồn tại một phần tử duy nhất , , , ,k a k a g g a a = Î H có chuẩn nhỏ nhất trong W H , tức là { }k,a,inf ;g f f a= Î H 3) Nếu W f Î H , ( ) { }log , ( ), \ k kl l f x x x A an n> " Î và (log ,f an a> thì , ,k a f g a ^ trong W H . Nói riêng, , , kk a l g Ha ^Î và 1 , , k k k a l l g a - ^Î ÇH H nếu *k Î ¥ và 1 ( ) ( ) k kl l a an a n - < £ . Hơn nữa, với k Î ¥ , và kl a AÎ cố định, ( ){ }, , ; kk a lg aa a n£ là một hệ trực chuẩn . 4) Với mỗi k NÎ hệ ( ){ }1, , 1; , \k a k Kg a M Ma a+ +Î là môt cơ sở trong không gian 1k k l l + ^ÇH H (nhận xét rằng 0 M = Æ và 0 l =H H ) . Chứng minh: Rõ ràng k,a,a H là tập con lồi của W H được chứa trong 1k l - H và theo Bổ đề 2.5.2, nó khác rỗng. Từ ước lượng ( ) 2 2 22 22 2 1 r nE a E a f f d C r f r l w £ £ò suy ra k,a,a H là đóng trong H . Vậy khẳng định thứ nhất được chứng minh. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 39 Khẳng định thứ hai của bổ đề là hệ quả trực tiếp của định lý phép chiếu đối với tập con lồi, đóng k,a,a H của không gian Hilbert W H . Để chứng minh khẳng định thứ ba, trước tiên chú ý rằng nếu W f Î H thỏa mãn các điều kiện của Bổ đề thì với bất kỳ Cl Î ta có , ,k ag f al- Î H , trong đó , ,k a g g a = . Do đó ta có : ,g f g Cl l- £ " Î . Vì ( ) 2 2 2 2 2 eg f g f R g fl l l- = + - , trong đó (. .) ký hiệu là tích vô hướng trong W H , nên với ( ) 2 (1/ )f g fl = ta có ( ) 0g f = . Nói riêng, ta có k l g ^Î H . Để chứng minh khẳng định thứ tư, giả sử ta đã cho một họ các số phức ( ){ }, ; ,a kaal a Î M thỏa mãn (2.18) ( ) , , , , 0 k a k a a M g a a a l Î =å Cho ( , ) ka a Î M cố định và chú ý rằng theo định nghĩa (2.17), ta có các tính chất sau: ( ), , 1k aD g a a a = ( ) ( ) ( ) ( ), 0, , , , ,k a kD g b b b a b a b b a= " Î ¹M . Do đó theo (2.18), ta có , 0 a a l = , điều đó chứng tỏ hệ đang xét là độc lập tuyến tính. Vì theo định nghĩa, số chiều của không gian k l H nhiều nhất là bằng Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 40 ( )k lk l k a A a n m n n Î æ ö+ ÷ç= ç ÷ç è ø å nên suy ra hệ ( ){ }, , ; ,k a kg aa a Î M là một cơ sở của không gian k l ^H , mà nó là một không gian con có số chiều là k m . Bởi vậy số chiều của không gian 1k k l l + ^ÇH H là 1k k m m + - và như vậy hệ ( ){ }1, , 1; , \k a k kg aa a+ +Î M M là một cơ sở của không gian 1k k l l + ^ÇH H . Từ Bổ đề 2.5.3, suy ra với mỗi k Î ¥ , hệ ( ){ }1, , 1; , \k a k kg aa a+ +Î M M là một cơ sở của không gian 1k kl l H H + ^Ç . Vì hệ này sắp thứ tự thành một dãy và áp dụng vào quá trình trực chuẩn hoá Hilbert - Schmidt tiêu chuẩn ta nhận được một cơ sở trực chuẩn { }1;j k kh m j m +< £ của không gian 1k k l l + ^ÇH H Bằng cách này ta nhận được một hệ trực chuẩn { } 1j j h ³ trong không gian Hilbert W H mà ta gọi là hệ trực chuẩn Bergman của không gian Hilbert W H kết hợp với hàm chấp nhận được j . Bây giờ đặt: 1,j k j kp l q l += = nếu 1k k m j m + £ £ và k Î ¥ Từ cách xây dựng ở trên, ta có các tính chất quan trọng sau: *, j jj p q h j^Î Ç " ÎH H ¥ . Hơn nữa, theo (2.16), bất đẳng thức sau được thoả mãn: , 1 j j j j p q p k£ £ + " ³ . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 41 2.6. Hệ Bergman là một cơ sở Schauder trong không gian các hàm chỉnh hình. Ta sẽ chứng minh rằng hệ trực chuẩn Bergman { } 1j j h ³ được xây dựng trong phần trên là một cơ sở Schauder trong không gian Frechet ( )DO và một vài không gian trung gian khác. Xét những miền mức con của hàm Green : ( ){ }: ; ; log , 0 1DD z D G zr j r r= Î < < £ và chú ý rằng 1 D D= . Trước tiên, ta cần biết về dáng điệu tiệm cận trên của hệ trực chuẩn Bergman. 2.6.1. Bổ đề. Hệ trực chuẩn Bergman { }; 1jh j ³ là một cơ sở trực chuẩn trong không gian Hilbert W H thỏa mãn ước lượng sau: (2.19) ( ) ( ) 1 lim sup log ; ,j D j j h z G z z D p j ® + ¥ æ ö ÷ç £ " Îç ÷è ø Chứng minh: Theo cách xây dựng, hệ { } 1j j h ³ là một hệ trực chuẩn trong W H Ta chứng minh nó là toàn phần. Thật vậy, giả sử W f Î H thỏa mãn j f h^ trong H , với mỗi 1j ³ . Vì j j g h H ^Î với mọi 1j ³ , nên ta có k l f Î H với mọi 0k ³ do đó f triệt tiêu tại mỗi điểm của k l A với mọi 0k ³ , tại bậc ( ) ( )[ ]; 1 kl k a l a nn n j= - ³ . Theo giả thiết trên j , điều đó kéo theo f triệt Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 42 tiêu tại bậc vô cùng tại một điểm của mỗi thành phần của D . Khi đó 0f º trên D . Điều đó đã chứng minh khẳng định đầu tiên của Bổ đề. Để chứng minh ước lượng (2.19), ta cố định a DÎ và 0r > sao cho ( ),B a r DÐ . Khi đó theo bất đẳng thức giá trị trung bình và 1, 1jh j= " ³ , ta có: (2.20) ( ) ( ) ( ) ( ) 22 2 22 2( , ) ,2 2 2 ,2 1 1 sup W zj j nn nB a r B a r n n z B a r h h d e C r r r l w w Î £ £ =ò % . Với mỗi số nguyên *j Î ¥ , đặt ( ) ( ) ( )( ) 1 log log log , .j j j j n z a u z h z C r z D p p r - = - + Î Khi đó j u là đa điều hòa dưới trên D , 0 j u £ trên ( ),B a r và vì (log ; ) ( ; )j jh a p a nn n j³ - nên ta có: (2.21) 1 ( ; ) (log ; ) ( ; ).j j j j n u a h a a p p n n n j= + ³ Vì 0 j u £ trên ( ),B a r nên Bổ đề Schwarz cổ điển và bất đẳng thức (2.21) suy ra: (2.21)’ ( ) ( ) ( ) *; log , , ,j z a u z a z B a r j r n j - £ " Î " Î ¥ . Bây giờ đặt ( ) ( ) 1 : lim sup log j j j u z h z p® + ¥ = với z DÎ . Theo (2.20), dãy ( ){ }1 / log : 1j jp h j ³ là dãy hàm đa điều hòa dưới bị chặn trên đều địa phương trên D . Khi đó kết quả cổ điển của Lelong [ ]( )1LI đã chỉ ra rằng hàm chính qui hoá nửa liên tục trên u * của u là đa điều hòa dưới trên D . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 43 Vì ( ) ( )lim sup j j u z u z ® + ¥ = , với mọi ( ),z B a rÎ , nên theo (2.21) ta có bất đẳng thức: (2.21)’’ ( ) ( ) ( )* ; log , , z a u z a z B a r r n j - £ " Î . Các bất đẳng thức (2.21)’ và (2.21)’’ kéo theo ( ) ( )*; ;u a an n j³ và * 0u £ trên ( ),B a r với mỗi ( ),B a r DÐ . Bởi vậy ( )* .;Du G j£ trên D . W Bước tiếp theo bao gồm các ước lượng dưới nhận được trên hệ Bergman bởi ước lượng hệ đối ngẫu của nó. Giả sử ' 1 { } j j h ³ là hệ đối ngẫu trong W ¢H liên kết với hệ { } 1j j h ³ được định nghĩa bởi công thức sau: ( ) 2: W j j n D h f f h e dl-¢ = ò % , f Î H 2.6.2. Bổ đề. Với mỗi 1j ³ dạng tuyến tính liên tục : j W h C¢ ®H có một thác triển duy nhất thành dạng tuyến tính liên tục j h¢ trên mỗi không gian ( )( )0 1Dr r< £O , thỏa mãn các ước lượng sau: Với bất kỳ 0 1t s r< < < £ , tồn tại một hằng số ( ), 0C t s > sao cho: ( ) ( ) ( ) ( ) 1/ 2 2* 2; , 1, jp j n D h f C f d j f D s rt s t l - £ " ³ " Îò O . Chứng minh: Giả sử Wf Î H , ta viết j j f f g= + , trong đó , j j f g Î H , với jj q g Î H , và j f nhỏ tùy ý. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 44 Cố định một hàm c lớpC ¥ với giá compact trong D sao cho 1ºX trên r D , với giá trong Ds và 0 1c£ £ . Ta sẽ xây dựng các hàm: theo cách sau: ,j j j jf f u g f fc= - = - , trong đó j u cần tìm thỏa mãn những điều kiện thích hợp. Để làm điều đó, ta áp dụng tiêu chuẩn 2L - ước lượng của Hormander [ ]( )Hor với trọng số ( ) ( )2 2 .;j j DW q Gy j= + + . Với mỗi *j Î ¥ , tồn tại một hàm j u lớp C ¥ trên D sao cho: ( )ju f fc c - ¶ = ¶ = ¶ trên D thỏa mãn ước lượng sau: (2.22) ( ) 2 2 2 2 221 j jj n n D D u e d f e d z y y l c l - - £ ¶ + ò ò . Vì ( ) /supp D Ds tc - ¶ Ð và 2 2j jq We ey t +³ trên \D D t , từ (2.22) suy ra ta có: (2.23) ( ) ( )( ) 22 2 2 2 2 1 22 , 1 j jq W j n D D e u C f e d z s y t s t l - - - -£ + ò ò , trong đó 1 ( , )C t s là một hằng số chỉ phụ thuộc vào t và s Hơn nữa, từ ( )ju f fc c - ¶ = ¶ = ¶ trên D suy ra j a là chỉnh hình trên D t . Giả sử a D t Î và 0r > sao cho ( ),2B a r DtÐ . Khi đó theo bất đẳng thức giá trị trung bình, với z a r- = ta có: (2.24) ( ) ( ) 2 22 ( ,2 ) 2 22 2 , 2 2 sup1 j jB a r j j n j nn n B z r D n n e u z u d u e d r r y y s l l w w - £ £ò ò . Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 45 Theo (2.22) và (2.24) ta có: (2.25) ( ) ( ) ( ) 2 sup log 2 log sup ( ,2 ) 1j j z a r u z n r B a r Oy - = £ - + + trong đó ( )1O ký hiệu là hằng số độc lập với r . Nhờ có các tính chất của hàm Green đã được thiết lập trong phần 2, từ (2.25) ta có các ước lượng sau: (2.26) ( ) ( ) ( ) ( ) *log ; 1 ; ; , , jj j j q u a q a n q a n a A jn n j n j³ + - > - " Î " Î ¥ Bây giờ xét các hàm sau: j j f f uc= - ( )= 1 j j jg f f f uc= - - + . Khi đó do ( )ju f fc c - ¶ = ¶ = ¶ trên D , , j j f g là những hàm chỉnh hình trên D và theo (2.23), , j j W f g Î H . Hơn nữa, vì j j g u= trên r D nên từ (2.26) suy ra jj g qÎ H . Như vậy j j g h ^Î H , ta có đồng nhất sau đây: (2.27) ( ) ( ) 2 2 W W j j j n j j n D D h f f g h e d f h e dl l- -¢ = - =ò ò % % . Ta sẽ ước lượng j jf f uc= - . Áp dụng bất đẳng thức Minkowski's và ước lượng (2.23), ta được: (2.28) ( ) ( ) ( ) 1/ 2 2 21/ 2 1/ 22 2 2 1 2 jqW W W j n n n D D D f e d f e d C f e d s s l l t l -- - -£ +ò ò ò % % % ( ) ( ) 1/ 2 2 1 21 jq W n D C f e d s t l - -£ + ò % , trong đó ( )1 1 ,C C t s= là hằng số chỉ phụ thuộc vào ( ),t s . Áp dụng bất đẳng thức Cauchy - Schwarz cho (2.27) và theo (2.28), cuối cùng ta được ước lượng: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 46 (2.29) ( ) ( ) 1/ 2 2 * 2 , , jq W j D h f C f e f O D j s rt - - æ ö ÷ç ¢ £ " Î " Î÷çè ø ò % ¥ , trong đó ( )2 2 ,C C t s= là hằng số chỉ phụ thuộc vào ( ),t s . Ước lượng (2.29) đã chứng minh rằng jh¢ là dạng tuyến tính liên tục trên W H với tô pô sinh bởi tô pô của ( )D r O . Vì W H là không gian con trù mật của ( )D r O , nên suy ra jh¢ có thể được thác triển duy nhất thành dạng tuyến tính liên tục trên ( )D r O sao cho nếu 1 2 0 1r r< < £ , thì thác triển toán tử lên 1 ( )DrO cảm sinh trên 2 ( )DrO một toán tử giống như thác triển lên 2 ( )DrO . Giả sử ký hiệu j h * là sự mở rộng nêu trên. Khi đó từ (2.29) dễ thấy j h * vẫn thỏa mãn các ước lượng giống như jh¢ . Bổ đề được chứng minh. W Bây giờ chúng ta sẽ chứng minh kết quả chính của phần này. 2.6.3. Định lý. Hệ Bergman { }; 1jh j ³ là một cơ sở trực chuẩn của không gian Hilbert WH sao cho hệ song trực giao { }* 1 ;j j j h h ³ là một cơ sở Schauder thông thường trong mỗi không gian Frechet ( ) (0 1)Dr r< £O thỏa mãn các tính chất sau: 1. Tính chất nội suy : Giả sử (0,1r ùÎ úû và ( )f O D r Î , khi đó với mỗi j N *Î hiệu 1 ( ) j i ii f h f h* = - å bị triệt tiêu tại mỗi điểm j x A r Î ở bậc ( ) j xrn . 2. Tính chất xấp xỉ Giả sử (0,1r ùÎ úû và ( )f O D r Î , khi đó tính chất xấp xỉ tiệm cận sau xảy ra: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 47 1/ 1 lim sup ( ) , (0,1) j j i ij i D f h f h s r s s r * ® + ¥ = æ ö ÷ç - £ " Îç ÷ çè ø å. 3. Dáng điệu tiệm cận : 1/ lim ( ) , (0,1)j j Dj h s r s s ® + ¥ = " Î . 4. Tính chất đẳng cấu: Nếu (0,1r ùÎ úû và { } 1j j c ³ là một dãy các số phức, thì ta có: 1 j j j c h + ¥ = å hội tụ trong ( )D r O Û 1/ 1 lim sup j j j c r r® + ¥ £ . Chứng minh : Trước tiên chú ý rằng nếu W f Î H , ta có khai triển sau: (2.30) 1 ( )j j j f h f h + ¥ = ¢= å trong ( )DO . Thật vậy, theo Bổ đề 2.6.1, đồng nhất (2.30) được thỏa mãn trong không gian W H . Do ( ) 2 2 22 22 2 1 r nE a E a f f d C r f r l w £ £ò nên bao hàm chính tắc ( )W D®H O là tuyến tính liên tục, do đó (2.30) xảy ra trong ( )DO . Bây giờ, cố định ( )0,1r Î . Giả sử E D r Ð và chọn 0 d t s r< < < < sao cho E DdÐ . Khi đó theo (2.19) và Bổ đề Hartogs cổ điển, tồn tại một hằng số ( , ) 0M M E d= > sao cho: sup ( ) , 1jj jE z E h h z M j r d Î = £ " ³ . Ước lượng này kết hợp với các ước lượng , 1j j jp q p k j£ £ + " ³ và (2.23) kéo theo: Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 48 (2.31). 12 2 2( ) . ( , ) ( ) , ( ), 1 j jj j nE D h f h MC f d f D j s r r r d t s l t * £ " Î " ³ò O . Ước lượng (2.31) chỉ ra rằng với mỗi ( )f D r Î O , chuỗi ( ) j j h f h*å hội tụ trên mỗi tập con compact của D r tới một hàm chỉnh hình trên D r , mà ta sẽ ký hiệu là ( )T f . Theo Bổ đề 2.6.2 và Định lý Banach - Steinhauss, toán tử tuyến tính : ( ) ( )T D D r r ®O O là liên tục trên không gian ( )D r O . Theo (2.30) ta có ( )T f f= nếu W f Î H . Vì theo Bổ đề 2.5.1, W H là trù mật trong ( )D r O , nên ta có: (2.32). 1 ( ) j j j f h f h + ¥ * = = å trong ( )D r O . Điều này đã chứng minh rằng hệ song trực giao { } 1 ( , ) j j j h h* ³ là một cơ sở Schauder của không gian ( )(0 1)D r r< £O . Khi đó tính chất nội suy được suy ra từ (2.32) và *, j jj p q h j^Î Ç " ÎH H ¥ . Chứng minh tính chất 2. Giả sử ( )0,1r Î cố định, ( )0,q rÎ và ( )f O D r Î . Theo chứng minh phần trước ta có (2.32) xảy ra. Chọn , ,d t s sao cho 0 q d t s r< < < < < . Khi đó áp dụng (2.31) với E D q = , ta được: (2.33) 1 1 ( ) ( ) k j j j j D j j kD f h f h h f h q q + ¥ * * = = + - £å å 1 ( / ) ,j D j k C f k s r d t + ¥ = + ¢£ " Îå ¥ Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 49 trong đó C¢ là một hằng số không phụ thuộc k . Khi đó từ (2.33) với 0 q d t r< < < < , suy ra ta có ước lượng sau: 1/ 1 lim sup ( ) k k j j k j D f h f h q r d t * ® + ¥ = æ ö ÷ç - £÷ç ÷çè ø å . Cho d tiến tới q và t tiến tới r trong bất đẳng thức trên, ta được ước lượng trong tính chất 2 của định lý. Chứng minh tính chất 3: Ước lượng (2.19) của Bổ đề 2.6.1 và Bổ đề Hartogs kéo theo bất đẳng thức sau: (2.34) 1 lim sup( ) , [0,1].jj D j h r r r r ® + ¥ £ " Î Mặt khác vì *( ) 1 j j h h = với 1j ³ bất kỳ , nên từ ước lượng (2.23) của Bổ đề 2.6.1 suy ra rằng nếu 0 1t r< < < , thì ta có : 1 ( , ) , 1j p j D C h j r t r t -¢£ " ³ , điều này kéo theo bất đẳng thức sau xảy ra: (2.35) 1 lim inf( ) , [0, ]jj Dj h r r t t r ® + ¥ ³ " Î . Ước lượng (2.34) và (2.35) kéo theo ước lượng tính chất 3 của Định lý. Chứng minh tính chất 4: Cho 1 { } j j c ³ là một dãy trong £ và (0,1r ùÎ úû . Giả sử chuỗi j jc hå hội tụ trong ( )D r O tới ( )f D r Î O , khi đó ta có *( ) j j c h f= với 1j ³ . Như vậy ước lượng cần tìm được suy ra từ (2.11). Phần đảo được suy trực tiếp từ ước lượng của tính chất 3. Định lý được chứng minh. W 2.6.4. Hệ quả. Hệ trực chuẩn Bergman 1{ }j jh ³ thỏa mãn ước lượng tiệm cận sau : Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 50 *1( ; ) ( lim sup log ) ( ), .D j j j G z h z z D p j ® + ¥ = " Î Chứng minh: Bất đẳng thức *1( ; ) (lim sup log ) ( ), .D j j j G z h z z D p j ® + ¥ ³ " Î suy ra từ Bổ đề 2.6.1. Ta chứng minh bất đẳng thức ngược lại: *1( ; ) (lim sup log ) ( ), .D j j j G z h z z D p j ® + ¥ £ " Î Giả sử rằng với điểm a DÎ nào đó bất đẳng thức sau cùng không thoả mãn . Khi đó theo tính nửa liên tục trên, tồn tại một hình cầu ( ,2 )B a r DÐ sao cho: 1 lim sup( log ( ) ) log ( ; ), ( ,2 ).j D j j h z G a z B a r p r j ® + ¥ < = " Î Theo Bổ đề Hartogs, ta có ước lượng sau : (2.36) ( ) ( , ) 1 lim sup j a r p j Bj h r ® + ¥ < . Giả sử ( )f D r Î O . Theo Định lý 2.6.3, chúng ta có thể khai triển hàm này thành chuỗi như sau : (2.37) * 1 ( ). j j j f h f h + ¥ = = å trong ( )D r O . Theo ước lượng (2.23) và (2.36), chuỗi *( ) j j h f hå này hội tụ đều trên mỗi tập compact của ( , )D B a r r È và xác định một hàm chỉnh hình thác triển f theo (2.37). Vì ( , )B a r D r Ë , nên điều này mâu thuẫn với D r là một miền chỉnh hình ([Hor]). W Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 51 KẾT LUẬN Luận văn đã trình bày: - Những tính chất quan trọng về hàm Green đa phức với cực tại vô cùng trên không gian parabolic. - Các kết quả nghiên cứu về hàm Green đa phức với cực tại vô cùng trên đa tạp con đại số và hàm Green đa phức với cực logarit trên đa tạp siêu lồi. - Mở rộng một vài dạng cổ điển của lý thuyết đa thế vị trong N£ cho trường hợp của đa tạp con đại số X của N£ . Chứng minh một vài bất đẳng thức đa thức đã biết giống như bất đẳng thức Bernstein – Markov và sử dụng chúng để trình bày một phép chứng minh tiêu chuẩn địa phương Sadullaev về tính đại số của đa tạp con giải tích. - Áp dụng các kết quả đạt được để xấp xỉ các hàm chỉnh hình: + Chứng minh định lý Berstein- Walsh về xấp xỉ đa thức tốt nhất của các hàm chỉnh hình trên một tập con compact không đa cực K của đa tạp X và sử dụng nó để nghiên cứu các đa thức trực chuẩn. + Sử dụng hàm đa phức Green với cực logarit đa trọng trên một đa tạp siêu lồi D để xây dựng hệ trực chuẩn Bergman trong không gian trọng Bergman nào đó. Chỉ ra rằng hệ trực chuẩn này cho một kết quả chính xác của phép xấp xỉ nội suy đối với các hàm chỉnh hình trên D . Đặc biệt, chúng tôi nhận được một sự mở rộng cho trường hợp đa phức về một kết quả cổ điển của Kadampata và Zahariuta. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 52 TÀI LIỆU THAM KHẢO [Bd] E. Bedford. ,The (dd c ) n on complex spaces with singularities, Lecture Notes in Math, Seminaire P.Lelong-H.Skoda 919(1980-81),293-324. [Dm1] J.P. Demailly, Mesures de Monge-Ampère et Caractérisation des Varíetés Algébriques Affines, Mémoires de la Sociéte Mathématique de France 19 (1985).1-125. [Dm2] J.P. Demailly, Mesures de Monge-Ampère et Mesures Pluriharmomques, Math. Zeit. 194 (1987), 519-664. [Dm3 ] J.P. Demaily, Potential Theory in Several Complex Variables, "JCPAM Summer School on Complex Analysis," Nice France, 1989. [Hor ] L. Hormander, Introduction to Complex Analysis in Several Variables North Holland. Amsterdam, 1973. [Kl1] M. Klimek, Extremal Plurisubharmonic Functions and Invariant Pseudodistances, Bull. Soc. Math. de Fance 113 (1985), 231-240. [Kl2] M. Klimek, Pluripotential Theory, Oxford University Press, Londre, 1991. [Ks] C.O. Kiselman, Densité des Fonctions Plurisousharmoniques, Bull. Soc. Math. de Fance 107 (1979), 295-304. [Ll] P. Lelong, fonction de Green Pluricomplexe et Lemmes de Schwarz daus les Espaces de Banach, J. Math. Pures et Appl. 68 (1989).319-347. [Lv] N.Levenberg, Monge-Ampère Measures Associated to Extrernal Plurisubharnonic Func-tions in C n , Trans. Amer. Math. Soc. 289 (1985),333- 343. Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 53 [Ng] T.V. Nguyen, Bases Polynomiales Scmi- simples àe Espace H(K), Lecture Notes in Math. 789 (1980), 370-383. [Ng-Zr] T.V. Nguyen and A. Zeriahi, Familles de Polynomes Presque Partout Bornées, Bull. Sci. Math . 2 eme série vol 179 (1983). 81-91. [Rd] W. Rudin, A Gcometric Criteram for Algbraic Varieties, Jour. Math. Meca. 17, 7 (1968).671-683. [Sc1] J. Siciak, Extremal Plurisubharmonic Functions and Capacities in N£ . Sophia Kokyurokn in Math 14 (1982), 1-97. [Sc2] J. Siciak, Families of Polynomials and Determining Measures, Ann. Fac. Sc. de Toulouse IX, 2 (1988), 193-211. [Sd] A. Sadullaev, A criterium for the Algebraicity of Analytic Sets, On Holomorphic Functions of Several Complex Variables, Inst. Fiz. Sibirsk. Odtel. Akad. Nauk. SSSR(1976). 107-122 (Russian). [Ste] J.L. Stehle, Fonctions Plurisousharmoniques et Convexité Holomorphe de ceriavns Fibrés tques, Lecture Notes in Math. Séminaire P. Lelong 474(1973/74), 155-179. [Su] Y.T. Siu, Analyticily of Sets Associated to Lelong Numbers and the Extension of Closed Positve Currenis, Invent. Math. 27(1974), 53-156. [Zh] V.P. Zahariuta, Spaces of Anakylic Functions and Complex Potential Theory, Linear Topological Spaces and Complex Analysis, Metu-Tubitak (Ankara,Turkey)1 (1994), 1-13. [Zr] A. Zeriahi, Functions de Green Pluricomplexc à Póle I’ Infini sur un Espace de Stein Parabolique, Math. Scand. 69 (1991), 89-126.

Các file đính kèm theo tài liệu này:

  • pdfdoc520.pdf
Tài liệu liên quan