Luận văn Thạc sĩ Toán học: Hàm đơn diệp và một số tính chất của hàm đơn diệp

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

Thêm vào BST

Báo xấu

93
lượt xem 9
download

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

Luận văn Thạc sĩ Toán học: Hàm đơn diệp và một số tính chất của hàm đơn diệp trình bày một số tính chất của hàm đơn diệp - tính chất của hàm biểu diễn ánh xạ bảo giác từ hình tròn đơn vị lên các miền đặc biệt; cực trị của các hàm biến miền thành hình tròn và một số nội dung khác.

Chủ đề:

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

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Hàm đơn diệp và một số tính chất của hàm đơn diệp

THƯ BỘ GIÁO DỤC VÀ ĐÀO TẠO VIỆN TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH NGUYỄN TẤN MINH HÀM ĐƠN DIỆP VÀ MỘT SỐ TÍNH CHẤT CỦA HÀM ĐƠN DIỆP 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. LÊ THỊ THIÊN HƯƠNG Thành phố Hồ Chí Minh - 2010
LỜI CÁM ƠN Em xin được bày tỏ lòng biết ơn chân thành và sâu sắc đến Cô hướng dẫn luận văn TS.LÊ THỊ THIÊN HƯƠNG, đã nhiệt tình và tận tâm hướng dẫn em trong suốt thời gian thực hiện luận văn. Em xin chân thành cám ơn tập thể quý Thầy Cô đã tham gia giảng dạy lớp Cao học giải tích K17. Quý Thầy Cô đã nhiệt tình giảng dạy, mang đến cho em những kiến thức bổ ích và thú vị, làm tăng thêm khả năng tìm tòi nghiên cứu khoa học trong em. Em xin chân thành cám ơn quý Thầy Cô đã đọc và góp ý cho luận văn của em thêm sâu sắc. Cuối cùng, em xin chân thành cám ơn Ban Giám Hiệu, Khoa Toán, Phòng KHCN-SĐH trường ĐHSP TP.HCM, đã tạo mọi điều kiện thuận lợi cho em trong suốt thời gian học tập cũng như trong suốt thời gian thực hiện luận văn này. Luận văn ắt hẳn còn những thiếu sót. Kính mong nhận được sự góp ý nhiệt tình của quý Thầy Cô.
LỜI CAM ĐOAN Em xin cam đoan đây là đề tài nghiên cứu của em, các số liệu, các kết quả của luận văn là trung thực và chưa từng được ai công bố trong bất kì một công trình nào khác. Tác giả luận văn
MỞ ĐẦU Giải tích phức đã xuất hiện trong nửa đầu thế kỉ XVIII, gắn liền với tên tuổi của L.Ơle. Đỉnh cao của nó là trong thế kỉ XIX, chủ yếu bằng các công trình của Cauchy, Riemann, Weierstrass. Đến ngày nay, phần cổ điển của giải tích phức - lý thuyết hàm một biến phức - đã phát triển gần như trọn vẹn. Song, cũng chính điều này, thường xuất hiện những vấn đề chưa được giải quyết do cách đặt mới của các bài toán toán học cũng như các ứng dụng của nó trong thực tiễn theo đà phát triển của xã hội. Hàm đơn diệp là một bộ phận không thể thiếu trong lý thuyết hàm một biến phức. Hàm đơn diệp có nhiều tính chất đẹp và được nhiều nhà toán học từ nhiều trường phái quan tâm nghiên cứu. Việc tập hợp các kết quả đó một cách có hệ thống, rõ ràng, mạch lạc là việc cần thiết cũng như cần phát hiện thêm những vấn đề mới từ việc nghiên cứu đề tài. Đây cũng là lí do em chọn đề tài này. Mục tiêu của luận văn là trình bày về khái niệm hàm đơn diệp, một số kết quả cơ bản của hàm đơn diệp, để từ đó nêu ra những tích chất quan trọng của hàm đơn diệp. Luận văn gồm hai chương: Chương 1: Trình bày khái niệm hàm đơn diệp và các kết quả cơ bản nhất của hàm đơn diệp; các định lí dùng để tính diện tích trong và ngoài của miền ảnh của hàm đơn diệp; đánh giá cận trên đối với môđun hệ số z 2 trong khai triển hàm đơn diệp; các cận đối với môđun của hàm đơn diệp. Chương 2: Từ những kết quả đạt được trong chương 1, trong chương 2 này trình bày một số tính chất của hàm đơn diệp: tính chất của hàm biểu diễn ánh xạ bảo giác từ hình tròn đơn vị lên các miền đặc biệt; cực trị của các hàm biến miền thành hình tròn.
MỘT SỐ KIẾN THỨC CẦN CHUẨN BỊ 1. Các khái niệm cơ bản C là mặt phẳng phức, X  C. - Giả sử z0  C và r > 0. Ta gọi đĩa mở hay hình tròn mở tâm z0, bán kính r là tập S(z0, r) = {z  C: |z-z0| < r}. Hình tròn S(z0, r) cũng thường gọi là  - lân cận của điểm z0. - Giả sử r > 0 bất kỳ, tập hợp các điểm z  C: 0 < |z-z0| < r gọi là  - lân cận thủng của điểm z0  C. - Tập X gọi là mở nếu mọi z0  X, tồn tại hình tròn tâm z0, bán kính r > 0 sao cho S(z0, r )  C. - Điểm z0 được gọi là điểm biên của X nếu mọi hình tròn S(z0, r), r > 0 đều chứa những điểm thuộc X và những điểm không thuộc X. Tập tất cả những điểm biên của X được gọi là biên của X, kí hiệu ∂X. - Điểm z0 được gọi là điểm dính của X nếu mọi hình tròn S(z0, r), r > 0 đều chứa một phần tử nào đó của X. Tập tất cả điểm dính của X gọi là bao đóng của X, kí hiệu X . - Điểm z0 được gọi là điểm trong của X nếu tồn tại r > 0 sao cho S(z0, r)  X. o Tập tất cả các điểm trong của X gọi là phần trong của X, kí hiệu X. o Dễ thấy X = X  ∂X, X = X\∂X. - Tập X được gọi là đóng nếu X = X hay nói cách khác X  ∂X. - Tập X được gọi là bị chặn nếu có một số dương R sao cho hình tròn |z| < R chứa toàn bộ tập X. - Điểm z0 được gọi là điểm cô lập của X nếu có một lân cận thủng của z0 trong đó không có một điểm nào của X. - Tập X được gọi là liên thông nếu không tồn tại hai tập hợp mở A, B sao cho X  A ≠  , X  B ≠  ; X  A  B =  ; X  A  B. - Miền là một tập hợp con X của C có hai tính chất: i) Với mỗi điểm thuộc X luôn tồn tại hình tròn đủ bé nhận điểm đó làm tâm và nằm hoàn toàn trong X (tính mở). ii) Có thể nối hai điểm bất kì thuộc X bằng một đường cong nằm hoàn toàn trong X (tính liên thông).
- Miền X có biên là một tập liên thông gọi là miền đơn liên. Ngược lại, miền X có biên là một tập không liên thông gọi là miền đa liên. - Một đường cong có điểm đầu và điểm cuối trùng nhau gọi là đường cong đóng. Đường cong không có điểm tự cắt gọi là đường cong Jordan. Đường cong Jordan đóng còn gọi là chu tuyến. - Miền X được gọi là miền Jordan nếu biên ∂X của nó gồm những đường cong Jordan đóng. - Giả sử (t) và  (t) là các hàm thực liên tục trên [a,b] của đường thẳng thực. Khi đó phương trình z = z(t) = (t) + i (t), a ≤ t ≤ b cho biểu diễn tham số một đường cong L = z([a,b]) trong mặt phẳng phức C. Đường cong L gọi là trơn nếu các hàm (t),  (t) có đạo hàm liên tục và các đạo hàm đó không đồng thời bằng 0 với mọi t  [a,b]. Đường cong liên tục tạo bởi một số hữu hạn các đường cong trơn được gọi là trơn từng khúc. - Xét hàm số  = f(z), với mỗi giá trị của đối số có một giá trị duy nhất của hàm số gọi là hàm số đơn trị. Ngược lại, với mỗi giá trị của đối số ta nhận được nhiều giá trị của hàm số gọi là hàm số đa trị. - Hàm giải tích: Nếu hàm số  = f(z) có đạo hàm tại z = z0 và tại mọi điểm trong lân cận của điểm z0 thì f(z) giải tích tại z0 và z0 là một điểm thường của f(z). Một hàm giải tích tại mọi điểm của X được gọi là giải tích trong X. - Điểm chính quy: Giả sử f giải tích trong miền (liên thông) X và z0 là một điểm biên của X. Ta nói z0 là điểm chính quy của f nếu tồn tại lân cận mở liên thông  của z0 và một hàm g giải tích trong  sao cho g trùng với f trong một tập hợp mở khác rỗng của X   nhận z0 làm điểm biên. Trong trường hợp ngược lại ta nói z0 là một điểm kì dị của f. - Điểm z0  C (mặt phẳng phức mở rộng) được gọi là điểm bất thường cô lập của hàm số f(z) nếu có một lân cận thủng của z0 (nếu z0 là điểm hữu hạn thì lân cận thủng đó là 0 < |z-z0| < r, r > 0; nếu z0 là điểm vô hạn thì lân cận thủng là r < |z| < ∞, r > 0) trong đó hàm số f(z) giải tích, nhưng chính tại z0 thì hàm số không giải tích. Điểm bất thường cô lập được chia hành ba loại: i) Điểm bất thường bỏ được nếu lim f(z) = A ≠ ∞ z  z0 ii) Cực điểm nếu lim f(z) = ∞ z  z0
iii) Điểm bất thường cốt yếu nếu hàm f(z) không có giới hạn khi z  z0 i = +∞ - Chuỗi hàm  ai(z-z0)i gọi là chuỗi hàm Laurent và khai triển i = -∞ i = +∞ i = +∞ i = -1 f(z)=  ai (z-z0) i =  ai (z-z0) +i  ai (z-z0)i trong lân cận thủng của z0 gọi là khai triển i = -∞ i=0 i = -∞ Laurent. Chuỗi Laurent gồm hai bộ phận: một bộ phận gồm các số hạng có số mũ không âm, gọi là phần đều; một bộ phận gồm các số hạng có số mũ âm, gọi là phần chính. - Điểm bất thường cô lập z0 của hàm số f(z) là cực điểm của nó khi và chỉ khi phần chính trong khai triển Laurent của f(z) trong lân cận thủng của z0 chỉ chứa một số hữu hạn số hạng i = +  ai (z-z0 )i, trong đó a-n ≠ 0 . i = -n f(z+∆z)-f(z) - Cho hàm số f xác định trên miền X. Xét lim , z, ∆z  X. Nếu tại z giới ∆z  0 ∆z df(z) hạn này tồn tại thì nó được gọi là đạo hàm phức của hàm f tại điểm z, kí hiệu f’(z) hay . dz Hàm f có đạo hàm phức tại điểm z cũng được gọi là khả vi phức hay C-khả vi tại z. - Hàm số f xác định trên miền X được gọi là chỉnh hình tại điểm z0 nếu tồn tại số dương r sao cho f là C-khả vi tại mọi z  S(z, r). Hàm f chỉnh hình tại mọi điểm thuộc X gọi là chỉnh hình trên X. - Nếu trong mặt phẳng C mọi điểm bất thường của hàm số f(z) đều là điểm cô lập và không phải là điểm bất thường cốt yếu (nghĩa là chỉ có thể là điểm bất thường bỏ được hoặc cực điểm) thì f(z) là một hàm phân hình. - Ánh xạ f gọi là bảo giác tại mọi điểm của tập mở X nếu nó giải tích trong X và f’(z) ≠ 0, z  X. - Hàm số f(z) gọi là khai triển được tại điểm a nếu nó phân tích được thành chuỗi luỹ thừa theo (z-a) tại lân cận của điểm a. - Hàm số f(z) gọi là chuẩn hoá được tại điểm z0 nếu f( z0 ) = 0 và f’( z0 ) = 1. 2. Một số định lí sử dụng trong luận văn - Định lí Ruse: Giả sử f và g chỉnh hình trong miền đóng X với biên liên tục X và giả sử f ( z ) > g ( z ) với mọi z  X . Khi đó các hàm f và (f + g) có số 0-điểm như nhau trong X.
- Định lí Hurwitz: Giả sử dãy hàm f n chỉnh hình trong miền X, hội tụ đều trên tập con compắc K  X bất kì đến hàm f ≠ const. Khi đó, nếu f( z0 ) = 0 thì trong hình tròn { z  z0 < r}  X bất kì mọi hàm f n , bắt đầu từ hàm nào đó, đều bị triệt tiêu. - Định lí Liouville: Nếu hàm f chỉnh hình trong toàn mặt phẳng C và giới nội thì nó là hằng số. - Định lí Joukowski: Nếu a là điểm bất thường cốt yếu của hàm f thì với số b  C bất kì, ta có thể tìm dãy điểm zn  a sao cho limf( zn ) = b. - Định lí Weierstrass: Cho f1 , f 2 ,…là dãy hàm giải tích trong tập mở A  C. Giả sử dãy hàm này hội tụ đều trên mỗi tập con compắc của A đến một hàm f. Khi đó f cũng giải tích trong A. Hơn nữa, dãy { f n' } cũng hội tụ đều trên mỗi tập con compắc của A đến hàm f’. - Nguyên lí môđun cực tiểu: Nếu hàm f chỉnh hình trong miền X và không bị triệt tiêu trong miền ấy thì f có thể đạt cực tiểu (địa phương) trong X chỉ trong trường hợp f = const. - Nguyên lí Argument: Giả sử hàm f phân hình trong miền X  C, G  X là miền mà biên G là đường cong liên tục và G không chứa 0-điểm và cực điểm của f. Gọi N và P lần lượt là tổng số các 0-điểm và tổng số các cực điểm của f trong G. Khi đó N - P = 1  G argf(z). 2 - Bổ đề Schwarz: Giả sử hàm f chỉnh hình trong hình tròn D: z < 1 và f ( z ) ≤ 1,  z  D, f(0) = 0. Khi đó  z  D: f ( z ) ≤ z . Đẳng thức xảy ra khi f(x) = ei z,  là hằng số thực. - Bất đẳng thức Lebedev-Milin thứ hai: Gọi  là một hàm giải tích trong một lân cận của   0 mà  (0) = 0 và  (z) =   k z k , gọi ψ(z) = e ( z ) = k 1  k 0 k z k ,  0 = 1. Khi đó, với mọi n = 1,  1 n m 1  k ≤ (n + 1)exp{  2 2 2,…thì (k  k  ) }. k 0 n  1 m 1 k 1 k
Chương 1: HÀM ĐƠN DIỆP 1.1. Khái niệm hàm đơn diệp 1.1.1. Hàm đơn diệp Một hàm của biến phức z xác định trên tập A  C là một quy luật f, theo nó mỗi giá trị z  A được đặt tương ứng một giá trị f(z)  C. Như vậy, một hàm số f xác định trên A là một ánh xạ f: A  C, z  f(z): = . Khi đó, A gọi là tập xác định của f; tập hợp gồm tất cả các giá trị  của f(z) lấy trên A gọi là tập các giá trị. Khi ánh xạ f: A  C là đơn ánh thì hàm f được gọi là đơn diệp (hay 1-lá). Ví dụ: Ánh xạ a : D  D với D = {z C: |z| < 1} thoả mãn za a (z) = ,  a  D là đơn diệp. 1  az Có thể xảy ra một hàm không đơn diệp trên C nhưng có thể chia C thành các miền con D1, D2,…để trên D1, D2,…hàm f đơn diệp. Khi đó mỗi miền Di, i = 1, 2,…được gọi là một miền đơn diệp của f. Ví dụ: Xét hàm  = zn, n ≥ 2. Dễ thấy, nếu A  C không chứa các điểm z1, z2 sao cho |z1| = |z2| và arg(z1 - z2) = k2 thì  = zn đơn diệp trên A. Nói riêng, tập An = {z = rei : 0 ≤ r n 2 1; hàm w = z cz  d (ad-bc ≠ 0) đơn diệp trong C . 1 Dễ thấy rằng, hàm f(z) đơn diệp trên A thì cũng đơn diệp trên A và ngược lại. f ( z) 1.1.2. Một số kết quả cơ bản - Nếu hàm phân hình (trong trường hợp đặc biệt là hàm giải tích)  = f(z) là hàm đơn diệp trong miền A thì tại mọi điểm chính quy của miền này đạo hàm của nó sẽ khác không.
Thật vậy, nếu tại điểm z0 nào đó mà f(z0) = a, f’(z0) = 0 thì z0 là a-điểm có bội lớn hơn 1. Khi đó theo một trong các hệ quả của Định lí Ruse, với b đủ gần a, f(z) sẽ nhận giá trị b nhiều hơn một lần. Điều này trái với giả thiết đơn diệp. Tuy nhiên, khi đạo hàm của hàm w = f(z) khác 0 trên toàn miền xác định A thì chưa chắc là đơn diệp. Chẳng hạn, đạo hàm của hàm w = f(z) = (z-1)n, n ≥ 3 khác 0 trên toàn miền D = {z  C: |z| < 1} nhưng nó không đơn diệp trên D. - Hàm đơn diệp  = f(z) trong miền A có thể có không nhiều hơn một cực điểm, trong đó cực điểm chỉ có thể là cực điểm đơn. 1 Thật vậy, nếu z0 là một cực điểm đối với hàm  = f(z) thì z0 là 0-điểm đối với hàm . Vì f(z) 1 1 cũng là hàm đơn diệp nên z0 là 0-điểm đơn đối với hàm . Suy ra z0 là cực điểm đơn đối f(z) f(z) với hàm f(z). - Mọi hàm giải tích  = f(z) đều là hàm đơn diệp trong một lân cận đủ nhỏ của điểm bất kì mà tại đó đạo hàm của nó khác không. Thật vậy, giả sử f’(z0) ≠ 0. Nếu tại mọi lân cận của z0 mà f(z) không đơn diệp thì sẽ tồn tại hai dãy điểm an, bn sao cho an  z0, bn  z0; an ≠ bn, f(an) = f(bn). Khi đó, giả sử  là đường tròn có tâm tại z0, bán kính , sao cho f(z) ≠ f(z0) với 0 < |z-z0| ≤ . Rõ ràng hàm f(z)- f(z0) chỉ có một 0-điểm bên trong  (kể cả bội) và không có 0-điểm trên . Mặt khác, do f(z)-f(an)  f(z)-f(z0) đều trên  nên theo Định lí Hurwitz, với n đủ lớn thì f(z)-f(an) cũng có một 0-điểm bên trong  (kể cả bội). Do đó ta thấy mâu thuẫn vì với n đủ lớn thì hàm này có các 0-điểm là an, bn bên trong . Chú ý rằng nếu w = f(z) đơn diệp thì hàm số ngược z = f-1(w) chỉ giải tích trong một lân 1 2  2  z  1 cận nào đó của w0 = f(z0). Chẳng hạn, hàm số w = z giải tích trong miền A:  và 0  arg z  3  2 1 trong A có w’ = 2z ≠ 0. Song, qua phép ánh xạ w = z2 biến A thành hình vành khăn  w  1, 4 trong nửa trên của hình vành khăn này hàm số z = f-1(w) không đơn trị. - Mọi hàm phân hình đều là hàm đơn diệp trong một lân cận đủ nhỏ của cực điểm đơn bất kì.
1 Thật vậy, nếu z0 là cực điểm đơn của f(z) thì z0 là 0-điểm đơn đối với hàm . f(z) 1 Suy ra là hàm đơn diệp trong một lân cận của z0. Do đó f(z) cũng là đơn diệp trong lân cận f(z) này. - Mọi hàm phân hình f(z) đơn diệp trong miền A đều cho ta một ánh xạ bảo giác  = f(z) từ miền A lên miền giá trị tương ứng của hàm f(z). Điều này được suy từ điều kiện: Đạo hàm của hàm đơn diệp khác không tại mọi điểm chính quy và cực điểm có thể có là cực điểm đơn. Ngoài ra còn được suy từ ánh xạ là bảo giác tại điểm mà tại đó hàm số biểu diễn ánh xạ đó có đạo hàm khác không (hoặc có cực điểm đơn). Chú ý: Cho hàm f(z) = ez xác định trên A. Khi đó, f’(z) = ez ≠ 0, z  A . Suy ra f(z) bảo giác trên A. Tuy nhiên, f(z) không đơn diệp trên A, vì f(z + k2) = f(z), z  A. Do đó, chiều ngược lại của ý trên là không đúng. - Nếu f(z) là hàm phân hình trên cả mặt phẳng thì f(z) là hàm hữu tỉ. Thật vậy, giả sử z1, z2,…, zn là các cực điểm của f(z) (số lượng của chúng là không âm và trong số chúng có thể có ). Từ f(z) ta tính tổng các phần chính của f(z) tại các điểm z1, z2,…, zn. Khi đó ta được hàm giải tích trên toàn bộ mặt phẳng. Theo Định lí Liouville thì hàm này là hàm hằng. Suy ra f(z) bằng tổng của hằng số và các phần chính của nó tại các điểm z1, z2 ,…, zn . Vậy f(z) là hàm hữu tỉ. - Nếu hàm f(z) là hàm phân hình và đơn diệp trên toàn mặt phẳng thì f(z) là hàm phân az+b tuyến tính (nghĩa là có dạng ). cz+d Thật vậy, f(z) có thể có không quá một cực điểm và đó chỉ có thể là cực điểm đơn. Theo nhận xét trên, f(z) bằng tổng của hằng số và các phần chính của f(z) tại các cực điểm. Suy ra, ở k trường hợp đang xét, f(z) chỉ có thể có dạng c + ( nếu có cực điểm hữu hạn a), hoặc c + kz z-a (nếu  là cực điểm). Trường hợp không có cực điểm không xảy ra vì khi đó f(z) là hàm hằng. Do vậy f(z) là hàm phân tuyến tính. Để ý rằng tất cả các điểm của mặt phẳng đều là giá trị của f(z). Ta còn có một lưu ý khác dành cho hàm đơn diệp. Nếu f(z) là hàm đơn diệp trong miền thu được từ A bằng cách bỏ đi một tập hợp điểm nào đó không có giới hạn bên trong A, thì sau khi xác định thêm một cách thích hợp tại các điểm của tập hợp đó f(z) sẽ là hàm đơn diệp trong miền A.
Thật vậy, các điểm của tập hợp đó là điểm cô lập đặc biệt đối với f(z). Để ý đến tính đơn diệp của f(z) và Định lí Joukowski, dễ thấy rằng các điểm đặc biệt này không thể là điểm đặc biệt cốt yếu. Suy ra ta có thể xác định thêm f(z) tại các điểm này một cách tự nhiên để f(z) trở thành hàm phân hình trong A. Nếu tại hai điểm của A, f(z) nhận giá trị a giống nhau thì tại lân cận bất kì đủ nhỏ của hai điểm này f(z) sẽ nhận các giá trị gần với a. Điều này trái với giả thiết f(z) là đơn diệp trên miền xác định ban đầu. - Từ những ví dụ cơ bản nhất đã chỉ ra rằng tổng, hiệu, tích, thương của hai hàm đơn diệp trên miền A có thể không đơn diệp trên A. Đạo hàm, tích phân của một hàm đơn diệp trên A cũng vậy. 1 Chẳng hạn, f(z) + g(z)= z(1-z)-1 + z(1+iz)-1 có đạo hàm triệt tiêu tại (1+i). 2 Tuy nhiên, nếu f(z) và g(z) đơn diệp trên A thì hàm hợp g[f(z)] (với điều kiện là g(z) được xác định trên miền giá trị của f(z)) cũng đơn diệp trên A. Nói cách khác, hợp của hai hàm đơn diệp là hàm đơn diệp. - Nếu dãy hàm fn chỉnh hình và đơn diệp trong miền A, hội tụ đều trên mỗi tập con compắc K  A, thì hàm giới hạn f của dãy ấy hoặc là đơn diệp hoặc là hằng số. Thật vậy, giả sử f(z1) = f(z2) nhưng z1 ≠ z2 (z1, z2  A) và f là hằng số. Ta xét dãy hàm gn(z) = fn(z)-fn(z2) và hình tròn  = {z  C: |z-z1| < r}, trong đó r ≤ |z1-z2|; hàm giới hạn g(z) = f(z)- f(z2) bằng không tại z1, do đó theo Định lí Hurwitz, mọi gn(z) bắt đầu từ chỉ số nào đó đều bằng không trong hình tròn này. Điều này trái với tính đơn diệp của các hàm fn . - Điều kiện f’(z0) ≠ 0 là cần và đủ của tính đơn diệp địa phương của hàm f chỉnh hình tại z 0. Tính đủ của điều kiện này cũng có thể thu được từ định lí tổng quát về sự tồn tại hàm ẩn ∂(u,v) trong giải tích thực (Jacobian = |f’(z)|2 của ánh xạ (x,y)  (u,v) là khác không tại các ∂(x,y) điểm được xét ). Song, đối với các ánh xạ khả vi theo nghĩa giải tích thực bất kỳ, điều kiện ∂(u,v) | ≠ 0 không phải là điều kiện cần cho tính đơn diệp. Điều này thấy rõ từ ví dụ: Ánh xạ f ∂(x,y) z0 = x3 + iy có Jacobian bằng không tại z = 0, tuy thế nó là đơn diệp. Một hàm giải tích f có thể đơn diệp địa phương trên toàn miền A không phải là đủ để f đơn diệp trên A. Ví dụ: Hàm giải tích f(z) = z2 đơn diệp địa phương trên A ={z:1 < |z| < 2, 0 < 3 argz < } nhưng f không đơn diệp trên A. 2
- Nếu f giải tích và Re{f’(z)} > 0 trong một miền lồi A thì f đơn diệp trên A. Thật vậy, cho z1, z2  D, z1 ≠ z2 . Khi đó: z2 1 f(z2) - f(z1) =  f '( z )dz z1 = (z2 - z1)  f '(tz2  (1  t ) z1 )dt ≠ 0, vì Re{f’(z)} > 0 . 0 - Mọi hàm gần lồi là đơn diệp. Thật vậy, vì f là hàm gần lồi nên có hàm lồi g sao cho Re{ f’(z) } > 0. Gọi A là miền xác định của g và xét hàm g’(z) f '( g 1 ( w)) f '( z ) h(w) = f(g-1(w)), w  A. Thế thì h’(w) = 1 = . g '( g ( w)) g '( z ) Suy ra Re{h’(w)} > 0 trong A. Theo kết quả trên thì h đơn diệp. Vì vậy, f cũng đơn diệp. 1.2. Định lí diện tích Chúng ta đã biết rằng Jacobian của một ánh xạ trơn có thể được xem như hệ số khuếch đại của diện tích. Vì vậy, nếu f giải tích và đơn diệp trong miền A thì diện tích của miền ảnh B 2 = f(A) được tính S =  A f '( z ) dxdy . Nếu A là một miền Jordan bị chặn bởi một đường cong Jordan trơn và f giải tích, đơn diệp trong bao đóng của nó thì theo một ứng dụng của Định lí Green, diện tích của miền ảnh B = f(A) có thể được tính bằng tích phân theo chu tuyến: S = 1 1  2i  wdw = 2i C f ( z ) f '( z )dz với  = f(C) là ảnh của C. Đạo hàm của một hàm giải tích có nhiều ý nghĩa hơn nữa về mặt hình học. Môđun của nó được xem như hệ số khuếch đại của độ dài cung hoặc độ đo của sự biến dạng. Vì vậy, nếu f giải tích trên một đường cong trơn C và  = f(C) thì chiều dài cung  là  =  f '( z ) dz . C 1.2.1. Định lí diện tích trong Gọi f: D → G, z  f(z) := w, D = {z: z < 1}, trong đó f giải tích, đơn diệp trên D và có khai triển f(z) = z + a2z2 + a3z3 +…+ anzn +…Gọi S là lớp các hàm f có tính chất như trên.  Định lí 1: Nếu f  S thí diện tích của f(D) là A =   n an . 2 n 1 Chứng minh Ta có: w = f(z) = z + a2z2 + a3z3 +…+ anzn +…, z < 1. Gọi Cr = {z: z = rei , 0 < r < 1, 0 ≤  ≤ 2},  r = f(Cr), Dr = Int(Cr), r = Int(  r), Ar là diện tích của r.
Hình 1 2 r 2 2 Khi đó: Ar =  dudv =  f '( z ) dxdy =  f '(rei ) rdrd (1.1) Vì f’(rei) = a1 r Dr 0 0  + 2a2 rei +…+ nan rn-1ei(n-1) +… =  na r n 1 n n 1 i ( n 1) e  và f '(rei ) =  ma m 1 m r n 1e i ( m 1)  n  c e  , ck phụ thuộc vào an và r. Suy ra 2 i = f’(rei) f’(re ) 2 nên f '(rei ) = 2 an r 2 n  2 + k ik n 1 k 0  n  rc e  . 2 2 r f '(rei ) = 2 an r 2 n 1 + k ik n 1 k 0 Thế vào (1.1), sau khi tính tích phân ta được  2 Ar =   n an r 2n ( vì  eik d = 0 với k ≠ 0 ). 2 n 1 0 N   n an r2n < M 2 - Nếu Ar bị chặn, với 0 < r < 1 thì gọi M là cận trên của Ar, ta sẽ có n 1 (1.2) N Với N là số nguyên dương cố định tuỳ ý. Dễ thấy   n an r2n tăng đơn điệu theo r và bị 2 n 1 chặn. Vì thế, lấy giới hạn khi r → 1 của (1.2), ta được N N    n an  n an n a 2 2 2 ≤ M . Vì tổng riêng bị chặn nên n hội tụ. n 1 n 1 n 1  Cho N →  ta được A = lim Ar =   n an . 2  r 1 n 1  - Nếu Ar không bị chặn khi r → 1 thì  n a 2 n không hội tụ. Khi đó n 1 diện tích của f(D) không xác định.
z Ví dụ: Xét hàm w = = z + z2 + z3 +… 1-z Ánh xạ từ Dr = {z: |z| < r, 0 < r < 1} vào hình tròn r2 r  r2  r = {w: w  1 r2 < 1 r2 } có A r = (1  r 2 ) 2 =   n 1 nr 2 n . Rõ ràng, khi r → 1 thì Ar → . 1 Chú ý rằng khi r → 1 thì hình tròn r tiến tới phủ nửa mặt phẳng Re(w) >  như hình 2 vẽ. Hình 2 Nhận xét: A =  (1 + 2 a2 + …) ≥  . Đẳng thức xảy ra khi f(z) = z. 2 1.2.2. Định lí diện tích ngoài Định lí 2: Nếu f giải tích, đơn diệp trên D* = {z: |z| > 1} và có khai triển f(z) = z + b0 + b1 b2 b + 2 + … + nn + … (1.3) z z z  Và gọi E = C\f(D*) thì diện tích của E là B =  [1 - n b 2 n ] (1.4) n 1 Chứng minh Với r > 1, gọi  r là đường cong ảnh theo f của đường tròn |z| = r. Vì f đơn diệp nên  r là một đường cong trơn Jordan có định hướng dương.
Hình 3 Nếu Er được bao quanh bởi  r thì Er  E. Áp dụng Định lí Green, diện tích Br 1 1 của Er là: Br = 2  (udv  vdu) = r 2i r wdw 2 1 r = 2i  z r f ( z ) f '( z )dz = 2  0 f (rei ) f '(rei )ei d (1.5)  bn Từ khai triển (1.3) ta có: f (rei ) = re-i + b0 + r n 1 n ein ,  bm m r i f’(re )= 1 - m 1 e  i ( m 1) m 1 2 0, k  0 e d =  ik Sử dụng kết quả 0 2 , k=0 2 2 r  n b  n bn và từ (1.5) suy ra Br = [2 r -  2 nn1 (2 )] =  (r2 -  ), r > 1. 2 n 1 r n 1 r 2n  Cho r giảm đến 1 ta được B = m(E) =  (1 - n b 2 n ) (m(E) là độ đo ngoài của E) (đpcm). n 1 Nhận xét: - Gọi  là lớp các hàm f giải tích, đơn diệp trên D* và có khai triển (1.3). Mỗi hàm f   là  một ánh xạ từ D* lên phần bù của một tập E compact, liên thông. Gọi  là lớp con của tất cả  các hàm f   mà tập E có độ đo Lebesgue theo hai hướng bằng không. Hàm f   được gọi là ánh xạ đầy (full mapping).  Như vậy, dễ thấy rằng B = 0 khi f   . - Khi f(D*) = D* thì f(z) = z, z  D* . Thật vậy:  Theo (1.4) suy ra  =  (1 - n b ). Do đó bn = 0,  n ≥ 1. 2 n n 1
Vậy f(z) = z + b0 . Mặt khác, theo giả thiết ta cũng thấy rằng |f(z)| →1 khi |z| →1. Ta có |f(z)|2 = |z+b0|2 = |z|2 + 2Re(b0 z ) + |b0|2 . Cho z → 1: |z|2 + 2Re(b0 z ) + |b0|2 → 1 + 2Re(b0) + |b0|2. Suy ra 1+2Re(b0) + |b0|2 = 1. Từ đó ta có 2Re(b0) + |b0|2 = 0 (1.6) Cho z → -1 : |z|2 +(b0. z ) + |b0|2 → 1 - 2Re(b0) + |b0|2. Suy ra 1 - 2Re(b0) + |b0|2 = 1. Từ đó ta có -2Re(b0) + |b0|2 = 0 (1.7) Từ (1.6) và (1.7) suy ra b0 = 0. Vậy f(z) = z. Từ Định lí 2 ta thu được hệ quả quan trọng. Hệ quả này đóng vai trò làm nền tảng cơ bản cho lý thuyết hàm đơn diệp. Hệ quả 1 (định lí Gronwall-Bieberbach):  Nếu f   thì n b 2 n ≤ 1. Đẳng thức xảy ra khi B = 0. n 1 Chứng minh   Vì B =  (1- n b n b 2 2 n ) ≥ 0 nên n ≤1 (đpcm). n 1 n 1 Dễ thấy đẳng thức xảy ra khi B = 0. -1 Một kết quả trực tiếp được suy ra từ hệ quả 1 là |bn| ≤ n , n = 1, 2, 3,….Tuy nhiên, bất 2 -1 2 -n đẳng thức này không thoả mãn với mọi n ≥ 2 vì f(z) = z + n z không đơn diệp. Thật 1 vậy, f’(z)=1 - n .z-n-1 triệt tiêu tại những điểm chắc chắn nằm trong D* nếu n ≥ 2. Nhưng khi n 2 = 1 thì bất đẳng thức thoả mãn . Ta có hệ quả quan trọng: Hệ quả 2: Nếu f   thì |b1| ≤ 1. Đẳng thức xảy ra khi và chỉ khi i b1 * E = C\f(D ) là một đoạn thẳng có chiều dài là 4. Khi đó f(z) = z + b0 + |b | , 1 =1 và E= [-2e 2 z i + b0 ; 2e 2 + b0]. Chứng minh
b1 Khi |b1| =1 thì bn = 0,  n ≥ 2. Vì thế f(z) = z + b0 + , |b1| =1. Ta có thể xem f(z)= z + z ei * i i b0 + . Đây là ánh xạ bảo giác từ D vào phần bù của đoạn thẳng E = [-2e + b0 ; 2e 2 + b0 ]. 2 z Đoạn thẳng này có độ dài bằng 4. ei ei Thật vậy, từ f(z) = z + b0 + suy ra f(z) - b0 = z + . z z -i -i -i 1 1 Do đó e2 [f(z) - b0] = e2z + = u + , u = e 2 z. -i u e2z 1 Khi đó |u| > 1 vì |z| > 1 và w = u + , |u| > 1 là ánh xạ bảo giác từ u |u| > 1 vào phần bù của đoạn thẳng [-2; 2] trong mặt phẳng w. i ei Vì thế, f(z) = e2w + b0 = z + b0 + cũng là ánh xạ bảo giác từ |z| > 1 vào phần bù của z i i đoạn thẳng [-2e 2 + b0 ; 2e 2 + b0]. Rõ ràng, đoạn thẳng này có độ dài bằng 4. Hình 4 Ngược lại, giả sử E là đoạn thẳng có độ dài bằng 4. Khi đó E có dạng: E = [-2 + 0 ; 2 + 0] với 0 và   C, || = 1. 2 Nếu g(z) = z + 0 + thì g   và g(D*) = C\E = f(D*). Vì thế f  g 1  , ánh xạ này từ D* z vào D* . Vì vậy theo nhận xét thứ hai bên trên thì f  g. Suy ra b0 = 0, b1 = 2 . Do đó |b1| = 1. Hệ quả 3: Nếu f   thì b0 ≤ 2. Đẳng thức xảy ra khi và chỉ khi   i ei i f(z) = z + 2 e 2 + . Khi đó f là ánh xạ bảo giác từ D* vào C\[0,4 e 2 ]. z
Chứng minh Ta lấy một hàm h   sao cho [h(z)]2 = f(z2), z  D* và hàm h có khai 1 triển h(z) = z + 0 + + …Khi đó [h(z)]2 = z2 + 20z + (02 + 21) + …và z b1 f(z2) = z2 + b0 + + …Từ đó suy ra 0 = 0 và b0 = 21 . z2 Vì 1 ≤ 1 (theo Hệ quả 2) nên b0 ≤ 2.  i e2 Ta thấy b0 = 2  1 = 1  h(z) = z + z   i ei i ei  [h(z)]2 = z2 + 2 e 2 +  f(z2 ) = z 2 + 2 e 2 + z2 z2  i ei  f(z) = z + 2 e 2 + . z  i Dễ thấy f là ánh xạ bảo giác từ D* vào C\[0,4 e 2 ] (theo Hệ quả 2). 2 1.3. Cận trên đối với môđun hệ số z trong khai triển hàm đơn diệp Bây giờ, ta lấy g   sao cho g(z) = [f(z-1)]-1, z  D*, f  S. Khi đó g có khai triển g(z) = z - a2 + (a22 - a3 )z-1 + …Thật vậy: 1 1 Ta có = f ( z ) z (1  a2 z  a3 z 2  ...) 1 = [1 - ( a2 z  a3 z 2  . ..) + ( a2 z  a3 z 2  ... )2 -…] z 1 = - a2 + (a22 - a3)z + … z Suy ra g(z) = [f(z-1)]-1 = z - a2 + (a22 - a3 )z-1 + … Vì g   và có khai triển (1.3) nên theo Hệ quả 3 ta có |a2| ≤ 2.   i i ei ( z  e 2 )2 Khi |a2| = 2 thì g(z)= z - 2e 2 + = . z z z Suy ra f(z) =  . i (1  e z ) 2 2 Như trên ta đã tìm được cận trên đối với môđun hệ số z2 của bất kỳ hàm đơn diệp f  S. Định lí 3: Nếu f  S thì |a2| ≤ 2. Đẳng thức xảy ra khi và chỉ khi
z  f(z) = . Khi đó f là ánh xạ bảo giác từ D vào phần bù của tia có góc nghiêng  - , i  2 (1  e 2 z ) 2  1 i xuất phát từ điểm  e 2 đến vô cực (không đi qua gốc toạ độ 0) như hình vẽ. 4 v 1 i    e 2 - 4 o 2 u Hình 5 Thật vậy, ta chỉ cần thực hiện liên tiếp các phép biến hình bảo giác sau sẽ có ngay kết   i 1 1 i 1 quả: z1 = - e z; z2 = ( z1  ) ; z3 = -2 e 2 (z2 + 1); w = = f(z). 2 2 z1 z3 1.3.1. Hằng số Koebe Một ứng dụng quan trọng của định lí trên là dùng để chứng minh định lí sau. 1 Định lí 4: Nếu f  S thì f(D) chứa hoàn toàn đĩa {z: z < }, 4 1 z và nếu tồn tại những điểm trên đường tròn |z| = không thuộc vào f(D) thì f(z) = . 4 i  (1  e 2 z ) 2 1 Số được gọi là hằng số Koebe. 4 Chứng minh 1 Lấy c  D nhưng c  f(D). Ta sẽ phải chỉ ra rằng |c| ≥ . 4 1 Vì 0  f(D) nên c ≠ 0 và vì thế g(z):= f(z) [1- f ( z )]1 là một hàm giải tích trên D. Ta sẽ c chứng minh g  S. Thật vậy: g ( z) - Dễ thấy g(0) = 0; g’(0) = lim = f’(0) = 1. z 0 z - Lấy z1, z2  D sao cho g(z1) = g(z2). 1 1 Tức là f(z1) [1- f ( z1 )]1 = f(z2) [1- f ( z2 )]1 . c c Suy ra f( z1 ) = f(z2 ). Vì thế z1 = z2 (vì f đơn diệp).