Luận văn: Thác triển chỉnh hình của hàm nhiều biến phức, HAY

Please download to get full document.

View again

All materials on our website are shared by users. If you have any questions about copyright issues, please report us to resolve them. We are always happy to assist you.
 6
 
  Download luận văn thạc sĩ ngành toán giải tích với đề tài: Một số vấn đề về thác triển chỉnh hình của hàm nhiều biến phức, cho các bạn làm luận văn tham khảo
Share
Transcript
  • 1. BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Nguyễn Triệu Phú Quý MỘT SỐ VẤN ĐỀ VỀ THÁC TRIỂN CHỈNH HÌNH CỦA HÀM NHIỀU BIẾN PHỨC LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – 2012
  • 2. BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH Nguyễn Triệu Phú Quý MỘT SỐ VẤN ĐỀ VỀ THÁC TRIỂN CHỈNH HÌNH CỦA HÀM NHIỀU BIẾN PHỨC Chuyên ngành : Toán 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 VĂN ĐÔNG Thành phố Hồ Chí Minh - 2012
  • 3. LỜI CẢM ƠN Luận văn được hoàn thành dưới sự hướng dẫn khoa học của thầy Nguyễn Văn Đông. Người thầy tận tâm và nghiêm khắc trong công việc. Tác giả xin bày tỏ lòng biết ơn sâu sắc đến ngưởi thầy kính yêu đã hướng dẫn tác giả rất nhiều kiến thức về giải tích phức để dần nắm bắt bài toán nghiên cứu, từng bước hướng dẫn tác giả phương pháp nghiên cứu đề tài và những kinh nghiệm thực hiện đề tài, cung cấp nhiều tài liệu và truyền đạt những kiến thức quý báu trong suốt quá trình thực hiện luận văn. Xin chân thành cảm ơn quý thầy cô phòng Sau đại học đã tạo điều kiện thuận lợi cho tác giả thực hiện luận văn này. Xin chân thành cảm ơn Ban Giám Hiệu cùng các đồng nghiệp trường Cao Đẳng Nông Nghiệp Nam Bộ đã tạo điều kiện thuận lợi cho tác giả trong suốt quá trình học Cao học. Sau cùng xin chân thành cảm ơn các bạn cùng lớp đã trao đổi, góp ý và động viên tác giả rất nhiều trong suốt quá trình thực hiện luận văn. Thành phố Hồ Chí Minh, tháng 9 năm 2012 Tác giả Nguyễn Triệu Phú Quý
  • 4. MỤC LỤC Trang phụ bìa Lời cảm ơn Mục lục MỞ ĐẦU ....................................................................................................................1 Chương 1: CÁC KIẾN THỨC CHUẨN BỊ...........................................................3 1.1. Không gian n  và chuỗi lũy thừa...................................................................3 1.1.1. Không gian n  ..........................................................................................3 1.1.2. Chuỗi lũy thừa ...........................................................................................4 1.2. Hàm chỉnh hình nhiều biến ..............................................................................5 1.3. Hàm đa điều hòa dưới ......................................................................................8 1.4. Một vài định lý khác.......................................................................................10 Chương 2 : MỘT SỐ KẾT QUẢ VỀ THÁC TRIỂN GIẢI TÍCH....................12 2.1. Lý thuyết tổng quát về thác triển giải tích......................................................12 2.2. Thác triển giải tích qua miền Reinhardt .........................................................14 2.3. Định lý Hartogs về sự thác triển....................................................................18 Chương 3 : MIỀN CHỈNH HÌNH .........................................................................23 3.1. Khái niệm miền chỉnh hình ............................................................................23 3.2. Tính lồi chỉnh hình .........................................................................................28 3.3. Tính giả lồi .....................................................................................................42 KẾT LUẬN..............................................................................................................55 TÀI LIỆU THAM KHẢO ......................................................................................56
  • 5. 1 MỞ ĐẦU 1. Lý do chọn đề tài Trong mặt phẳng phức, miền bất kỳ (tập mở liên thông khác rỗng) là miền tồn tại tự nhiên của hàm chỉnh hình: đối với miền D ⊂  , tồn tại hàm chỉnh hình trong D và không thể thác triển giải tích ra ngoài giới hạn của miền. Trong không gian ( 1)n n > thì điều này không còn đúng, tồn tại các miền trong n  mà hàm chỉnh hình bất kỳ trong nó luôn luôn thác triển được ra miền rộng hơn. Đó là lý do chúng tôi chọn đề tài Luận văn là “ Một số vấn đề về thác triển chỉnh hình của hàm nhiều biến phức”. 2. Mục đích nghiên cứu Trình bày một số kết quả về thác triển chỉnh hình và mô tả các miền trong n  , ( 1n > ) như là miền tồn tại của hàm chỉnh hình. 3. Đối tượng và phạm vi nghiên cứu Các miền trong không gian phức n chiều (n >1), các hàm chỉnh hình nhiều biến, hàm đa điều hòa dưới. 4. Ý nghĩa khoa học thực tiễn của đề tài Tìm hiểu một số kết quả về thác triển chỉnh hình, trên cơ sở đó, nghiên cứu các miền trong n  , 1n > như là miền tồn tại của hàm chỉnh hình. 5. Cấu trúc của luận văn Nội dung luận văn gồm phần mở đầu, ba chương nội dung và phần kết luận. Cụ thể như sau: •Chương 1: Các kiến thức chuẩn bị. Trình bày các định nghĩa và các kết quả đã được viết thành giáo khoa liên quan đến đề tài. •Chương 2: Một số kết quả về thác triển giải tích. Trình bày một số kết quả về thác triển giải tích: thác triển giải tích qua miền Reinhardt, định lý thác triển Hartogs.
  • 6. 2 •Chương 3: Miền chỉnh hình. Chương này của luận văn chủ yếu được dành cho việc mô tả các miền chỉnh hình trong ( 1)n n > , tức là các miền mà mọi hàm chỉnh hình trong nó không thể thác triển được ra miền rộng hơn.
  • 7. 3 Chương 1: CÁC KIẾN THỨC CHUẨN BỊ 1.1. Không gian n  và chuỗi lũy thừa 1.1.1. Không gian n  * Ta kí hiệu ( )1 2, ,..., nx x x là một phần tử của n  . * ( ) ( ) ( )1 2 1 1 1 1, ,..., ,..., , , ,..., ,n n n n nz z z x iy x iy x y x y≈ + + ≈ được kí hiệu là một phần tử của n  . Giả sử  ký hiệu trường số phức, n  là không gian Euclide phức thành lập từ bộ n số phức ( )1 2 1 2, ,..., , , ,...,n nz z z z z z z= ∈. Trong n  ta xét khoảng cách Euclide 2 1 ' ' n j j j z z z z = −= −∑ •Hình cầu tâm n a∈ bán kính r được định nghĩa là tập { }( , ) :n B a r z z a r= ∈ − < •Biên ( , )B B a r∂ =∂ của hình cầu là mặt cầu { }:n z z a r∈ − = •Đa đĩa mở tâm n a∈ bán kính vector r = ( 1,..., nr r ) (với { }0, 1,..,jr j n> ∀ ∈ ) được định nghĩa là tập { }( , ) : , 1,n j j jP a r z z a r j n= ∈ − < ∀ = •Đa đĩa đóng tâm n a∈ bán kính vector r = ( 1,..., nr r ) (với { }0, 1,..,jr j n> ∀ ∈ ) được định nghĩa là tập { }( , ) : , 1,n j j jP a r z z a r j n= ∈ − ≤ ∀ = *Đặc biệt khi ( ,..., )r r r= ta gọi ( , )P a r là đa tròn tâm a đa bán kính r •Biên P∂ được định nghĩa là 1 n v ν = Γ với { }: , ,n z z a r z a rν ν ν ν µ µ µ µ νΓ = ∈ − = − ≤ ≠
  • 8. 4 •Khung của P được định nghĩa là { }: , 1,...n z z a r nν ν ν νΓ= ∈ − = = Các đa đĩa mở tạo thành một cở sở các tập mở của tôpô tích trên n  . Chỉ xem xét n  như là một không gian tôpô ( hoặc như là không gian vectơ thực) n  giống với không gian 2n  (không gian Euclide thông thường 2n chiều). Khi đó ta có thể áp đặt một cách tự nhiên các cấu trúc của 2n  , chẳng hạn độ đo Lebesgue lên trên 2n  trở thành độ đo trên n  mà ta kí hiệu là dV. 1.1.2. Chuỗi lũy thừa Một họ ( )i i I c ∈ là tập các phần tử n ic ∈ cho tương ứng duy nhất với các phần tử i của tập đánh chỉ số I. Ký hiệu ( )Iℑ là họ các tập con hữu hạn của I . Với mỗi họ ( )i i I c ∈ , các tổng riêng hữu hạn J i i J cσ ∈ = ∑ với ( )J I∈ℑ tạo thành hệ định hướng với quan hệ bao hàm ⊃ của lý thuyết tập hợp được sử dụng cho quan hệ ≥ Một họ ( )i i I c ∈ được gọi là khả tổng khi có n σ ∈ với tính chất sau : 0, ( )I Iεε∀ > ∃ ∈ℑ sao cho Jσ σ ε− ≤ với mọi ( )J I∈ℑ : J Iε⊃ ♦Nhận xét: a) Nếu I hữu hạn thì σ trùng với tổng thông thường; Nếu I =  thì σ được xem là tổng của một họ đếm được ( )n n c ∈ . b) Nếu ( )i i I c ∈ là họ khả tổng với tổng là σ thì với mọi phép hoán vị s của I ta có ( )s ic σ=∑ Một chuỗi 0 nc ∞ ∑ được gọi là hội tụ giao hoán khi với mọi phép hoán vị s của  , chuỗi ( ) 0 s nc ∞ ∑ hội tụ. Đặt ...n n + + += × ×    ở đây + =  là tập các số nguyên không âm. Mỗi phần tử 1( ,..., ) n nα α α += ∈ được gọi là một đa chỉ số.
  • 9. 5 Với 1( ,..., ) n nα α α += ∈ , đặt 1 ... nα α α= + + ; 1! !... !nα α α= ; 1 1 ... n nz z zααα = với n z ∈ . Cho biểu thức c zα α α ∑ trong đó 1, ( ,..., ) n nc z z zα ∈ = ∈  . Ta nói: c zα α α ∑ hội tụ tại điểm n ξ ∈ khi ( ) nc α α α ξ ∈ là khả tổng. c zα α α ∑ là hội tụ tuyệt đối tại điểm n ξ ∈ khi ( ) nc α α α ξ ∈ là khả tổng. Sự hội tụ tuyệt đối dẫn đến sự hội tụ. Khi có sự hội tụ tại ξ thì tổng của ( ) nc α α α ξ ∈ được ký hiệu là n c α α α ξ ∈ ∑  . Cho K là tập compact trong  và nếu ( , )E C K=  thì sự khả tổng trong E được gọi là khả tổng đều trên K và sự khả tổng tuyệt đối trong E thường được gọi là khả tổng chuẩn tắc trên K. Bổ đề Abel: Giả sử có sự hội tụ tại 1( ,...., )na a a= với 0ja j≠ ∀ thì ( )c zα α α∈ khả tổng chuẩn tắc trên mọi tập compact (0, )K P a⊂ . 1.2. Hàm chỉnh hình nhiều biến Định nghĩa 1.2.1 Cho Ω là một tập mở trong n  . Một hàm 1 ( )u C∈ Ω được gọi là hàm chỉnh hình trong Ω nếu 0u∂ = , ở đây 1 n j j u u dz z ∂ ∂ = ∂ ∑ . Ký hiệu tập các hàm chỉnh hình trong Ω là ( )H Ω . Định nghĩa 1.2.2 Hàm f được gọi là chỉnh hình tại điểm oz ∈Ω nếu tồn tại một lân cận mở U của oz nằm trong Ω sao cho hàm U f chỉnh hình trên U . Định nghĩa 1.2.3 Ánh xạ : m f Ω →  , Ω là mở trong n  , được gọi là chỉnh hình trên Ω nếu :jf Ω →  chỉnh hình trên Ω với mọi j = 1,...,m, ở đây ( )1,..., mf f f=
  • 10. 6 Định nghĩa 1.2.4 Cho Ω là một tập mở trong n  với 2n ≥ . Một hàm :f Ω →  được gọi là chỉnh hình theo từng biến nếu nó chỉnh hình với mỗi biến khi các biến còn lại cố định. Điều này có nghĩa là với mọi 1 2 1 1, ,..., , ...,j j nz z z z zο ο ο ο ο − + hàm g( ) : j jz z g V →   là hàm chỉnh hình, ở đây { }1 2 1 1:( , ,..., , , ..., )j j j j nV z z z z z z zο ο ο ο ο − += ∈ ∈Ω ; ( ) 1 2 1 1( , ,..., , , ..., )j j j j ng z f z z z z z zο ο ο ο ο − += Định lí 1.2.5 Hàm f liên tục trên đa đĩa đóng ( , )P a r và chỉnh hình từng biến trên ( , )P a r thì nó được biểu diễn bởi tích phân bội Cauchy: ( )( ) ( ) 1 2 1 1 2 2 ( ) ...1 ( ) 2 ... n n n n f d d d f z i z z z ζ ζ ζ ζ π ζ ζ ζΓ   =   − − −  ∫ , z∀ ∈ ( , )P a r Suy ra ( ( , ))f C P a r∞ ∈ và f chỉnh hình trong ( , )P a r Lưu ý: Ta có thể viết gọn 1 ( ) ( ) (2 )n f d f z i z ζ ζ π ζΓ = −∫ với ( )( ) ( )1 1 2 2 1 1 ... n nz z z zζ ζ ζ ζ = − − − − ; 1 2... nd d d dζ ζ ζ ζ= Hệ quả 1.2.6 Nếu Ω là tập mở trong n  và ( )u H∈ Ω thì ( )u C∞ ∈ Ω và mọi đạo hàm của u là hàm chỉnh hình trong Ω . Định lý 1.2.7 Cho Ω là tập mở trong n  . Với mọi tập con compact K của Ω và mọi lân cận mở ω của K có các hằng số Cα ứng với mọi đa chỉ số α sao cho: 1 ( ) sup ( )L K u C u u Hα α ω ∂ ≤ ∈ Ω
  • 11. 7 Hệ quả 1.2.8 Nếu ( )ku H∈ Ω và k ku u→ khi k → ∞ trên mọi tập compact K ⊂ Ω thì ( )u H∈ Ω Định lí 1.2.9 Giả sử hàm f chỉnh hình trên đa đĩa ( , )P a r thì tại mỗi ( , )z P a r∈ tồn tại một khai triển lũy thừa dạng: ( ) 0 ( )f z c z a α α α ∞ = = −∑ với ( ) 1 2 1 2 ... 1 1 2 1 2 1 ( ) 1 ( ) 1 ( ) 2 ! ! !... ! ... n n n n n f d f a f a c i z z z za α α αα α α αα αα ζ ζ π α α α αζ + + + + Γ ∂ ∂  = = =  ∂ ∂ ∂ ∂  − ∫ và sự hội tụ của chuỗi là sự hội tụ chuẩn tắc. Định lí 1.2.10 (Bất đẳng thức Cauchy) Nếu f chỉnh hình trong ( , )P a r và f M≤ trên khung Γ của ( , )P a r của nó thì hệ số của khai triển Taylor của f tại a thỏa: M c r α α ≤ trong đó 1 2 1 2 ... n nr r r rαα αα = Một hàm chỉnh hình trên Ω thì chỉnh hình theo từng biến. Khẳng định ngược lại cũng đúng: một hàm chỉnh hình theo từng biến cũng chỉnh hình trên Ω . Đó là nội dung của định lý Hartogs. Định lí 1.2.11 (Định lý Hartogs) Giả sử :f Ω →  với Ω mở trong n  , chỉnh hình theo từng biến phân biệt trên Ω . Khi đó f chỉnh hình trên Ω .
  • 12. 8 1.3. Hàm đa điều hòa dưới Định nghĩa 1.3.1 Hàm thực u , u−∞ ≤ < +∞ , xác định trong lân cận của điểm 0z , được gọi là nửa liên tục trên tại điểm 0z nếu 0 0lim ( ) ( ) z z u z u z → ≤ . Hàm u được gọi là nửa liên tục trên trong miền D ⊂ n  , nếu nó nửa liên tục trên tại mỗi điểm z0∈ D. Hàm thực : [ , )u D → −∞ +∞ gọi là nửa liên tục trên trong miền D ⊂ n  nếu và chỉ nếu Rλ∀ ∈ , ta có tập hợp { : ( ) }x D u x λ∈ < là tập mở. Hàm thực : ( , ]u D → −∞ +∞ gọi là nửa liên tục dưới trong miền D ⊂ n  nếu u− là hàm nửa liên tục trên. Định nghĩa 1.3.2 Một hàm u xác định trên một tập mở Ω ⊂  nhận giá trị trong [ , )−∞ +∞ được gọi là điều hòa dưới nếu: a) u nửa liên tục trên trong Ω . b) Với mọi tập compact K ⊂ Ω và mọi hàm h liên tục trên K, điều hòa trên phần trong của K và u h≤ trên K∂ thì u h≤ trên K. Định lý 1.3.3 Cho hàm u xác định trên một tập mở Ω ⊂  nhận giá trị trong [ , )−∞ +∞ và nửa liên tục trên trong Ω . Khi đó điều kiện cần và đủ để u điều hòa dưới là: Nếu D là đĩa đóng trong Ω và f là đa thức giải tích sao cho Reu f≤ trên D∂ thì Reu f≤ trên D . Định nghĩa 1.3.4 Cho n Ω ⊂  mở. Hàm : [ , )u Ω → −∞ +∞ được gọi là đa điều hòa dưới trong Ω nếu:
  • 13. 9 a) u nửa liên tục trên trong Ω . b) Với bất kì , n z w∈ , hàm ( )u z wτ τ→ + là hàm điều hòa dưới trong { }: z wτ τ∈ + ∈Ω . Ký hiệu tập các hàm đa điều hòa dưới trong Ω là ( )P Ω . Mệnh đề 1.3.5 Một hàm 2 ( )u C∈ Ω là hàm đa điều hòa dưới nếu và chỉ nếu biểu diễn dạng Levi của nó không âm, nghĩa là: 2 , 1 ( ) 0 n j k j k j k u z w w z z= ∂ ≥ ∂ ∂ ∑ với mọi z ∈Ω và n w∈ Một hàm đa điều hòa dưới 2 ( )u C∈ Ω được gọi là ngặt nếu 2 , 1 ( ) 0 n j k j k j k u z w w z z= ∂ > ∂ ∂ ∑ với mọi z ∈Ω và 0 n w≠ ∈ . Mệnh đề 1.3.6 Nếu ( )f H∈ Ω thì log ( )f P∈ Ω Mệnh đề 1.3.7 ( Nguyên lý cực đại) Cho n D ⊂  là một miền và ( )u D∈ , u ≡const . Khi đó u không đạt cực đại trong D. Hơn nữa, nếu D bị chặn, thì: ( ) sup{limsup ( )}, D D z u z u z z D ζ ζ∈∂ → < ∈  . Mệnh đề 1.3.8 Nếu một họ ( ) ( )i i Iu ∈ ⊂ Ω bị chặn trên và hàm (sup )i i I u u ∈ = nửa liên tục trên thì nó đa điều hoà dưới trong Ω .
  • 14. 10 Mệnh đề 1.3.9 Nếu 1( ) ( )uυ υ ∞ = ⊂ Ω và u uυ  thì ( )u ∈ Ω . Định lý 1.3.10 Cho 0 ( )n oCϕ ∞ ≤ ∈  bằng không khi 1z > , hàm ϕ chỉ phụ thuộc vào 1z , 2z ,…, nz và giả sử rằng ( ) ( ) 1z d zϕ λ =∫ mà dλ là độ đo Lebesgue. Nếu u là hàm đa điều hòa dưới trên Ω thì ( ) ( ) ( ) ( )u z u z dε εζ ϕ ζ λ ζ= −∫ là hàm đa điều hòa dưới, đồng thời u Cε ∞ ∈ khi ( , )d z ε∂Ω > và uε là dãy giảm hội tụ về u khi 0ε → ( ta giả sử u ≡ − ∞ ). Định lý 1.3.11 Cho n Ω ⊆  và ' m Ω ⊆  , cho f là ánh xạ chỉnh hình từ Ω vào trong 'Ω và ( ')u PSH∈ Ω . Khi đó ( )u f PSH∈ Ω . Chứng minh: Trước tiên ta giả sử rằng 2 ( ')u C∈ Ω . Khi đó ta có: 2 2 , 1 , 1 0 n n j k j k j k j kj k j k u u w w g g z z f f= = ∂ ∂ = ≥ ∂ ∂ ∂ ∂ ∑ ∑ , mà 1 n j j i i f g w z ∂ = ∂ ∑ . Do đó ( )u f PSH∈ Ω . Trong trường hợp tổng quát ( ')u PSH∈ Ω , Ta chỉ cần dùng định lý 1.3.10 để chọn một dãy các hàm đa điều hòa dưới thuộc lớp C∞ giảm đến u, khi đó ta có điều phải chứng minh. 1.4. Một vài định lý khác Định lý 1.4.1 (Stone – Weierstrass) Giả sử X là một không gian tôpô tách và compact, ( )C X là không gian tất cả các hàm liên tục : Xφ →  và A là một đại số con của ( )C X . Khi đó nếu A tách các điểm của X và A chứa tất cả các hàm hằng thì bao đóng A của A trùng với ( )C X .
  • 15. 11 Định lý 1.4.2 (Sard) • Định nghĩa tập độ đo không Với I = 1,2…,n cho I1=[ai,bi]. Đặt l(Ii)=bi - ai là chiều dài của đoạn Ii. Tập hợp B=I1xI2x…In được gọi là hình hộp đóng trong n  và 1 2( ) ( ). ( )... ( )nV B l I l I l I= là thể tích của hình hộp B. Tập n K →  được gọi là tập độ đo không trong n  nếu với mọi 0ε > tồn tại một dãy các hình hộp đóng ( )i iB ∈ sao cho: 1 i i K B ∞ = ⊂  và 1 ( )i i V B ε ∞ = <∑ • Định lý Sard Cho K là tập mở trong n  , : n f D →  có đạo hàm liên tục. Đặt { ,det '( ) 0}K x D f x=∈ =. Khi đó ( )f K là tập độ đo không trong n 
  • 16. 12 Chương 2 : MỘT SỐ KẾT QUẢ VỀ THÁC TRIỂN GIẢI TÍCH Chương này trình bày các phương pháp cổ điển của sự thác triển giải tích, các kỹ thuật thác triển giải tích dựa trên chuỗi lũy thừa, tích phân Cauchy đối với đa đĩa. 2.1. Lý thuyết tổng quát về thác triển giải tích Xét bộ ba (a,U,f) trong đó n a∈ ,U là một lân cận mở của a, f là một hàm trên U lấy giá trị trong một tập cố định X. Hai bộ ba (a,U,f) và (a’,U’,f’) được gọi là tương đương nếu a = a’ và f = f’ trên lân cận U’’ chứa trong 'U U∩ . Một lớp tương đương của (a,U,f) được gọi là một mầm của f tại a. Chúng ta sẽ gặp mầm các hàm liên tục, hàm trơn với giá trị trong  , và nổi bật nhất là mầm các hàm chỉnh hình tại a. Bộ ba (a,U,f) được gọi là phần tử hàm (a,U,f) tại n a∈ . Do định lý duy nhất ta có các phần tử (a,U,f) và (a’,U’,f’) tại điểm a là tương đương nếu f và f’ có cùng chuỗi lũy thừa tại a: 'a af f= . Do vậy các mầm các hàm chỉnh hình có thể được đồng nhất với các chuỗi lũy thừa hội tụ. Định nghĩa 2.1.1 Một phần tử hàm (b,V,g) được gọi là thác triển giải tích trực tiếp của phần tử (a,U,f) nếu U V∩ khác rỗng và g = f trên một thành phần liên thông của U V∩ . Tổng quát hơn, một phần tử hàm (b,V,g) được gọi là thác triển giải tích của phần tử (a,U,f) nếu có một xích hữu hạn các phần tử ( , , )k k ka U f , k =1,…,p nối (a,U,f) với (b,V,g) bởi thác triển trực tiếp liên tiếp: ( , , ) ( , , )o o oa U f a U f= , ( , , ) ( , , )p p pa U f b V g= và ( , , )k k ka U f là thác triển trực tiếp của 1 1 1( , , )k k ka U f− − − với k = 1,..,p. Với xích như trên, ta có thể bổ sung để bảo đảm rằng 1k k ka U U −∈ ∩ với k =1,…,p. Một xích như vậy có thể được tăng thêm các phần tử để nhận được một thác triển giải tích dọc theo cung :[0,1] n γ →  từ a đến b, nghĩa là γ được chọn như sau: (0) ; (1)a bγ γ= = và có một phân hoạch 10 ... 1o pt t t= < < < = sao cho ( )k kt aγ = và cung con tương ứng
  • 17. 13 khoảng 1[ , ]k kt t− thuộc 1kU − với k =1,…,p. Khi đó ta có thể xác định một xích liên tục các phần tử ( , , ),0 1t t t a U f t≤ ≤ nối (a,U,f) và (b,V,g). Với một phần tử (a,U,f) tại a và điểm b cho trước, các xích khác nhau bắt đầu từ (a,U,f) có thể dẫn đến các phần tử khác nhau tại b. Định nghĩa 2.1.2 Toàn bộ các lớp tương đương của các phần tử hàm (b,V,g) (hoặc các chuỗi lũy thừa hội tụ bg ) tại điểm n b∈ , có thể nhận được từ một phần tử đã cho (a,U,f) bởi một thác triển giải tích không bị giới hạn được gọi là hàm giải tích đầy đủ F sinh bởi (a,U,f). Miền Riemann đối với F: Ta xây dựng miền đa diện Riemann R đối với hàm giải tích đầy đủ F trên n  sao cho F được chuyển thành hàm đơn trị. Các điểm trên R đối với F trong định nghĩa 2.1.2 có dạng [ ]( , , )b V g hoặc ( , )bp b g= , ở đây [ ]( , , )b V g ký hiệu là lớp tương đương của các phần tử tại b. Ta nói rằng điểm p “bên trên” b và ánh xạ : ( , )bp b g bπ  được gọi là phép chiếu từ R vào n  . Các điểm [ ], ,c W h hoặc ( , )cc h tương ứng với thác triển giải tích trực tiếp (c,W,h) của (b,V,g) mà c∈V và c ch g= xác định một lân cận cơ bản = ( , , )p V gA A của p trong R. Các lân cận cơ bản nhỏ sẽ tách các điểm của R. Hạn chế π A xác định một đồng phôi từ A trong R lên V trong n  . Với mỗi điểm b của n  , miền Riemann R đối với F có nhiều lá mà được xem như là các lớp tương đương khác nhau [ ]( , , )b V g tại b. Nếu phần tử (b,V,g) được nhận là thác triển giải tích của (a,U,f) dọc theo cung γ trong n  , miền Riemann R sẽ chứa cung σ ”bên trên” nối các điểm trong tương ứng trong R. Trên miền Riemann, hàm giải tích đầy đủ F trở thành hàm đơn trị qua định nghĩa ( ) (( , )) ( )bF p F b g g b= =
  • 18. 14 Cho ( , )zq z h= thay đổi trong lân cận ( , , )p V gA trong R. Ta có: ( ) (( , )) ( ) ( ), ( , ) ( , , )z zF q F z h h z g z q z h p V g= = = ∀= ∈A Do vậy trên miền Riemann, hàm giải tích đầy đủ F được cho một cách địa phương bởi một hàm chỉnh hình thông thường g trên miền V trong n  “bên dưới” R. Đặt ( , , )op a U f= và đồng nhất ( , , )op U fA với U chúng ta có F = f trên U. Bằng cách này, miền Riemann R cung cấp một sự thác triển cực đại hay nói khác đi, miền tồn tại của hàm ( )f H U∈ : Mọi mầm của các thác triển giải tích được biểu diễn bởi một điểm của R. Với một phần tử hàm cho trước (a,U,f) và một điểm b thuộc U có thể có hoặc không có một thác triển trực tiếp (b,V,g) tại b. Trong trường hợp n =1 luôn tồn tại hàm ( )f H U∈ mà không thể có thác triển giải tích qua mọi điểm biên của U. Trong , 2n n ≥ thì hoàn toàn khác, có các miề
  • Related Search
    Similar documents
    View more
    We Need Your Support
    Thank you for visiting our website and your interest in our free products and services. We are nonprofit website to share and download documents. To the running of this website, we need your help to support us.

    Thanks to everyone for your continued support.

    No, Thanks
    SAVE OUR EARTH

    We need your sign to support Project to invent "SMART AND CONTROLLABLE REFLECTIVE BALLOONS" to cover the Sun and Save Our Earth.

    More details...

    Sign Now!

    We are very appreciated for your Prompt Action!

    x