✨Hàm phân hình

Trong toán học, cụ thể là ngành giải tích phức, một hàm phân hình trên một tập con mở của mặt phẳng phức là một hàm số chỉnh hình trên toàn bộ ngoại trừ một tập các điểm cô lập, gọi là cực điểm của hàm số.

Mỗi hàm phân hình trên có thể được biểu diễn thành tỉ số của hai hàm chỉnh hình (với mẫu số khác 0) trên , khi ấy mọi cực điểm cũng là không điểm của mẫu số. thumb|right|[[Hàm gamma là hàm phân hình trên toàn bộ mặt phẳng phức.]]

Theo cảm tính, do là tỉ số của hai hàm chỉnh hình, hàm phân hình cũng có hành vi dễ mô tả, trừ những điểm mà mẫu số của phân thức là 0. Nếu mẫu số bằng tại còn tử số thì không, thì giá trị của hàm số tiến đến vô cùng; nếu cả tử lẫn mẫu đều bằng 0 tại thì phải xét cả nghiệm bội này.

Từ góc nhìn đại số, nếu liên thông, thì tập hợp những hàm phân hình là trường các thương của miền nguyên các hàm chỉnh hình. Điều này tương tự như mối liên hệ giữa số hữu tỉ và các số nguyên.

Hàm phân hình là một hàm bộ phận: miền xác định của nó là một tập con trù mật của $D$.

Định nghĩa

Có ba dạng điểm kỳ dị cô lập, bao gồm: điểm kỳ dị bỏ được, cực điểm và điểm kỳ dị cốt yếu. Trong đó nếu là một điểm kỳ dị cô lập của thì là cực điểm của nếu :$\backslash lim\_\{z\backslash to\; a\}\; \backslash left\; |\; f(z)\; \backslash right\; |=\backslash infty$ Một cách định nghĩa khác đó là là cực điểm của nếu là không điểm của .

Từ đó, hàm phân hình được định nghĩa như sau: một hàm định nghĩa trên tập mở được gọi là phân hình trên nếu tồn tại tập con rời rạc của sao cho:

• là tập các cực điểm của , và
• chỉnh hình trên .

Tập có thể là tập rỗng, khi ấy là hàm chỉnh hình trên . Như vậy mọi hàm chỉnh hình đều là hàm phân hình.

Thuật ngữ

Trong tiếng Anh, cụm từ meromorphic function được dùng để chỉ các hàm phân hình, còn holomorphic function được dùng để chỉ các hàm chỉnh hình. Từ này bắt nguồn từ tiếng Hy Lạp cổ đại meros (μέρος), nghĩa là "phần", và morphe (μορφή), nghĩa là "dạng" hay "hình dáng". Trái với holos (ὅλος), nghĩa là "toàn bộ".

Tính chất

Do các cực điểm của một hàm phân hình bị cô lập, nên tập các cực điểm là đếm được, nhưng không nhất thiết hữu hạn, ví dụ như hàm số : $f(z)\; =\; \backslash csc\; z\; =\; \backslash frac\{1\}\{\backslash sin\; z\}.$ có cực điểm là với số nguyên bất kỳ.

Bằng cách sử dụng thác triển giải tích để loại bỏ các điểm kỳ dị bỏ được, hàm phân hình có thể được cộng, trừ, nhân và tỉ số có nghĩa trừ khi trên một thành phần liên thông của . Do đó, nếu liên thông, các hàm phân hình tạo thành một trường, thực chất là một mở rộng trường của số phức.

Chiều cao hơn

Với nhiều biến phức, một hàm phân hình được định nghĩa là thương của hai hàm chỉnh hình tại địa hương. Ví dụ, là một hàm phân hình trên không gian afin phức hai chiều. Lúc này, mỗi hàm phân hình không thể xem là hàm chỉnh hình với các giá trị thuộc mặt cầu Riemann (tức mặt phẳng phức mở rộng, bao gồm các giá trị ở vô cùng)

Không như trong trường hợp một biến, với nhiều biến tồn tại những đa tạp phức mà trên đó không có hàm phân hình khác hằng nào, ví dụ như hầu hết hình xuyến phức.

Ví dụ

• Tất cả hàm phân thức, ví dụ ::$f(z)\; =\; \backslash frac\{z^3\; -\; 2z\; +\; 10\}\{z^5\; +\; 3z\; -\; 1\},$ :phân hình trên toàn mặt phẳng phức.
• Các hàm ::$f(z)\; =\; \backslash frac\{e^z\}\{z\}\; \backslash quad\backslash text\{và\}\backslash quad\; f(z)\; =\; \backslash frac\{\backslash sin\{z\{(z-1)^2\}$ :cũng như hàm gamma và hàm zeta Riemann là phân hình trên toàn bộ mặt phẳng phức.
• Hàm số ::$f(z)\; =\; e^\backslash frac\{1\}\{z\}$ : được định nghĩa trên toàn bộ mặt phẳng phức, trừ . Tuy nhiên, không phải là cực điểm của hàm số, mà là một điểm kỳ dị cốt yếu. Vì thế, hàm số này không phân hình trên toàn bộ mặt phẳng phức. Tuy nhiên, nó phân hình (và chỉnh hình) trên $\backslash mathbb\{C\}\; \backslash setminus\; \{0\}$.
• Hàm lôgarit phức ::$f(z)\; =\; \backslash ln(z)$ :không phân hình trên toàn bộ mặt phẳng phức, do nó không thể được định nghĩa trên toàn bộ mặt phẳng phức mà loại bỏ một tập các điểm cô lập.
• Hàm số ::$f(z)\; =\; \backslash csc\backslash frac1z\; =\; \backslash frac1\{\backslash sin\backslash left(\backslash frac\{1\}\{z\}\backslash right)\}$ :không phân hình trên toàn bộ mặt phẳng phức, do điểm là một điểm giới hạn của các cực điểm chứ không là một điểm kỳ dị cô lập. Hàm số ::$f(z)\; =\; \backslash sin\backslash frac1z$ :cũng không phân hình, do nó có điểm kỳ dị cốt yếu tại .

Trên các mặt Riemann

Trên một mặt Riemann, mọi điểm đều có một lân cận mở song chỉnh hình với một tập con mở của mặt phẳng phức. Do đó khái niệm của một hàm phân hình có thể được định nghĩa trên một mặt Riemann.

Nếu là toàn bộ mặt cầu Riemann, trường các hàm phân hình chỉ là trường các hàm phân thức một ẩn trên trường số phức, do ta có thể chứng minh bất kỳ hàm phân hình nào trên mặt cầu đều là hữu tỉ.

Với một mặt Riemann, một hàm phân hình tương đương với một hàm chỉnh hình có giá trị thuộc mặt cầu Riemann và khác hằng . Các cực tương ứng với những số phức bị biến thành .

Trên một mặt Riemann không compact, mỗi hàm phân hình đều có thể viết dưới dạng thương của hai hàm chỉnh hình. Mặt khác, trên một mặt Riemann compact, mọi hàm chỉnh hình đều là hằng số nhưng luôn tồn tại hàm phân hình khác hằng.

Những hàm phân hình tuần hoàn theo hai hướng phân biệt trên mặt phẳng phức được gọi là hàm elliptic.