I. Tổng quan đa thức vi phân hàm phân hình và lý thuyết Nevanlinna
Nghiên cứu về đa thức vi phân của các hàm phân hình là một lĩnh vực chuyên sâu trong giải tích phức, tập trung vào việc tìm hiểu cấu trúc và tính chất của các hàm số phức tạp. Trọng tâm của lĩnh vực này là vấn đề chia sẻ giá trị, một bài toán kinh điển nhằm xác định khi nào hai hàm số nhận cùng một giá trị tại cùng một điểm. Luận văn thạc sĩ về chủ đề này thường đi sâu vào việc áp dụng các công cụ mạnh mẽ để giải quyết các giả thuyết và định lý liên quan. Nền tảng lý thuyết không thể thiếu cho hướng nghiên cứu này chính là Lý thuyết phân bố giá trị, hay còn được biết đến rộng rãi với tên gọi Lý thuyết Nevanlinna. Được phát triển bởi nhà toán học Rolf Nevanlinna vào những năm 1920, lý thuyết này cung cấp một bộ công cụ định lượng để đo lường tần suất một hàm phân hình nhận các giá trị khác nhau. Các khái niệm cốt lõi như hàm đặc trưng Nevanlinna (T(r,f)) và hàm đếm Nevanlinna (N(r,f)) cho phép các nhà toán học mô tả chính xác "kích thước" và sự phân bố của các không điểm, cực điểm của hàm. Luận văn của Mai Thị Liên, dưới sự hướng dẫn của GS. Hà Huy Khoái, là một công trình tiêu biểu, trình bày các kết quả gần đây trong lĩnh vực này, đặc biệt là mối quan hệ giữa các cặp hàm khi đa thức vi phân của chúng chia sẻ một giá trị.
1.1. Khái niệm cơ bản về hàm phân hình và hàm nguyên
Một hàm phân hình (meromorphic function) trên một miền mở của mặt phẳng phức là một hàm giải tích trên miền đó, ngoại trừ một tập các điểm cô lập được gọi là các cực điểm. Tại mỗi cực điểm, hàm có thể được biểu diễn dưới dạng một chuỗi Laurent với số hạng có số mũ âm là hữu hạn. Một trường hợp đặc biệt quan trọng là hàm nguyên (entire function), đây là hàm giải tích trên toàn bộ mặt phẳng phức, tức là không có bất kỳ cực điểm nào. Các ví dụ kinh điển về hàm nguyên bao gồm hàm đa thức, hàm mũ (eᶻ), và các hàm lượng giác (sin(z), cos(z)). Hiểu rõ sự khác biệt giữa hàm phân hình và hàm nguyên là bước đầu tiên để tiếp cận các bài toán phức tạp hơn về tính duy nhất của hàm phân hình và vấn đề chia sẻ giá trị, vì sự tồn tại của cực điểm ảnh hưởng trực tiếp đến hành vi của hàm.
1.2. Nền tảng Lý thuyết phân bố giá trị của Nevanlinna
Lý thuyết phân bố giá trị, hay Lý thuyết Nevanlinna, là công cụ trung tâm để nghiên cứu các hàm phân hình. Lý thuyết này định lượng cách các giá trị của một hàm phân hình được phân bố trên mặt phẳng phức. Thay vì chỉ hỏi liệu một hàm có nhận một giá trị nào đó hay không (như trong Định lý Picard), lý thuyết Nevanlinna đo lường "mức độ thường xuyên" hàm nhận giá trị đó. Công cụ chính của lý thuyết này là hai định lý cơ bản, chúng thiết lập một mối quan hệ sâu sắc giữa số lượng không điểm, cực điểm và tốc độ tăng trưởng của hàm. Lý thuyết này đã cách mạng hóa ngành giải tích phức và trở thành nền tảng không thể thiếu trong việc chứng minh các định lý về vấn đề chia sẻ giá trị và các phương trình vi phân phức.
II. Khám phá vấn đề chia sẻ giá trị và tính duy nhất của hàm
Vấn đề chia sẻ giá trị là một câu hỏi trung tâm trong Lý thuyết Nevanlinna, tìm hiểu mối liên hệ giữa hai hàm phân hình f và g khi chúng có chung các điểm nhận một giá trị nào đó. Nói một cách đơn giản, nếu f(z₀) = a và g(z₀) = a tại cùng một điểm z₀, ta nói f và g chia sẻ giá trị a tại z₀. Vấn đề trở nên phức tạp hơn khi xem xét đến bội của các điểm này. Từ đó, các khái niệm về chia sẻ giá trị CM (Counting Multiplicities) và chia sẻ giá trị IM (Ignoring Multiplicities) ra đời. Việc hai đa thức vi phân của các hàm phân hình chia sẻ một hoặc nhiều giá trị có thể dẫn đến những kết luận mạnh mẽ về mối quan hệ cấu trúc giữa hai hàm ban đầu. Thông thường, mục tiêu cuối cùng là chứng minh tính duy nhất của hàm phân hình, tức là nếu điều kiện chia sẻ giá trị đủ mạnh, thì hai hàm đó phải bằng nhau (f ≡ g) hoặc có một mối liên hệ đại số đơn giản. Đây là hướng đi mà nhiều nghiên cứu, bao gồm cả luận văn đang phân tích, tập trung khai thác, nhằm mở rộng các kết quả kinh điển cho các biểu thức đa thức vi phân phức tạp hơn.
2.1. Định nghĩa chia sẻ giá trị CM và chia sẻ giá trị IM
Hai khái niệm cốt lõi trong vấn đề chia sẻ giá trị là CM và IM. Ta nói hai hàm phân hình f và g chia sẻ giá trị a IM (Ignoring Multiplicities) nếu tập hợp các a-điểm của chúng là như nhau, tức là {z | f(z)=a} = {z | g(z)=a}. Điều này chỉ quan tâm đến vị trí của các điểm, không xét đến bội. Một điều kiện mạnh hơn là chia sẻ giá trị a CM (Counting Multiplicities), yêu cầu không chỉ vị trí các a-điểm phải giống nhau mà cả bội của chúng tại mỗi điểm cũng phải bằng nhau. Rõ ràng, chia sẻ CM kéo theo chia sẻ IM. Các định lý trong lĩnh vực này thường khám phá xem với điều kiện chia sẻ IM hoặc CM cho một hoặc nhiều giá trị (hoặc một tập hợp chia sẻ), ta có thể rút ra kết luận gì về mối quan hệ giữa f và g.
2.2. Thách thức xác định tính duy nhất của hàm phân hình
Thách thức chính trong việc xác định tính duy nhất của hàm phân hình là tìm ra các điều kiện tối thiểu về việc chia sẻ giá trị để có thể kết luận hai hàm là đồng nhất. Ví dụ, nếu hai hàm nguyên f và g chia sẻ 4 giá trị phân biệt CM, thì f ≡ g. Câu hỏi đặt ra là: điều gì sẽ xảy ra nếu chúng chia sẻ ít giá trị hơn, hoặc nếu chúng là các hàm phân hình tổng quát (có cực điểm)? Bài toán trở nên phức tạp hơn nữa khi đối tượng nghiên cứu không phải là chính các hàm f và g, mà là các đa thức vi phân của chúng, chẳng hạn như P[f] = fⁿ + af⁽ᵏ⁾. Việc chứng minh rằng nếu P[f] và P[g] chia sẻ một giá trị thì f và g có mối liên hệ chặt chẽ đòi hỏi phải sử dụng các kỹ thuật và bất đẳng thức tinh vi từ Lý thuyết Nevanlinna.
III. Phương pháp áp dụng hai Định lý cơ bản của Nevanlinna
Để giải quyết vấn đề chia sẻ giá trị, công cụ không thể thiếu là hai định lý cơ bản của Nevanlinna. Định lý cơ bản thứ nhất có thể được xem như một sự tổng quát hóa định lý Liouville, khẳng định rằng hàm đặc trưng Nevanlinna T(r,f) là bất biến đối với hầu hết các giá trị. Cụ thể, nó phát biểu rằng T(r, 1/(f-a)) ≈ T(r,f) với mọi số phức a. Điều này ngụ ý rằng, về trung bình, một hàm phân hình nhận mọi giá trị với tần suất như nhau. Trong khi đó, Định lý cơ bản thứ hai là một kết quả sâu sắc và mạnh mẽ hơn rất nhiều. Nó thiết lập một bất đẳng thức quan trọng, cho thấy tổng số khuyết của một hàm phân hình không vượt quá 2. Định lý này tạo ra một sự ràng buộc chặt chẽ về số lượng giá trị mà một hàm có thể "bỏ qua" hoặc nhận với tần suất thấp. Trong các chứng minh về tính duy nhất của hàm phân hình, Định lý cơ bản thứ hai thường được sử dụng để tạo ra mâu thuẫn khi giả sử hai hàm không có mối liên hệ đơn giản, bằng cách chỉ ra rằng một hàm phụ trợ nào đó sẽ có tổng số khuyết lớn hơn 2, điều này là không thể.
3.1. Phân tích Định lý cơ bản thứ nhất của Nevanlinna
Định lý cơ bản thứ nhất của Nevanlinna là phát biểu nền tảng của lý thuyết. Nó khẳng định rằng với một hàm phân hình f khác hằng và một số phức a bất kỳ, ta có: m(r, 1/(f-a)) + N(r, 1/(f-a)) = T(r,f) + O(1). Trong đó, m(r, 1/(f-a)) là hàm xấp xỉ, đo lường mức độ f tiến gần đến a trên đường tròn |z|=r, và N(r, 1/(f-a)) là hàm đếm Nevanlinna cho các a-điểm của f. T(r,f) là hàm đặc trưng Nevanlinna. Ý nghĩa cốt lõi của định lý này là tổng của hai đại lượng đo lường sự phân bố giá trị a (hàm đếm và hàm xấp xỉ) gần như không phụ thuộc vào a, mà chỉ phụ thuộc vào hàm f. Đây là cơ sở để so sánh tần suất hàm nhận các giá trị khác nhau.
3.2. Ứng dụng Định lý cơ bản thứ hai của Nevanlinna
Định lý cơ bản thứ hai của Nevanlinna là một bất đẳng thức sâu sắc, thường được coi là trái tim của lý thuyết. Một dạng đơn giản của nó phát biểu rằng: (q-1)T(r,f) ≤ N(r,f) + Σᵢᴺ(r, 1/(f-aᵢ)) + S(r,f), trong đó a₁, ..., aᵩ là các giá trị phân biệt và S(r,f) là một số hạng sai số nhỏ so với T(r,f). Định lý này cho thấy rằng hàm đếm các cực điểm và không điểm (và a-điểm nói chung) không thể quá nhỏ so với hàm đặc trưng. Trong bối cảnh vấn đề chia sẻ giá trị, định lý này được dùng để ước lượng hàm đặc trưng của một hàm phụ trợ. Nếu hai đa thức vi phân chia sẻ giá trị, ta có thể xây dựng một hàm mới từ chúng và áp dụng định lý này để chỉ ra rằng nếu hai hàm gốc không liên quan, hàm phụ trợ sẽ vi phạm bất đẳng thức, dẫn đến mâu thuẫn.
IV. Giải mã kết quả về đa thức vi phân fⁿ af ᵏ chia sẻ giá trị
Một trong những kết quả trung tâm được trình bày trong luận văn là định lý về hai hàm phân hình f và g khi các đa thức vi phân tương ứng ψ_f := fⁿ + af⁽ᵏ⁾ và ψ_g := gⁿ + ag⁽ᵏ⁾ chia sẻ một giá trị b khác không. Đây là một sự mở rộng quan trọng từ các kết quả trước đó, vốn chỉ tập trung vào các biểu thức đơn giản hơn như fⁿf'. Định lý này đặt ra các điều kiện chặt chẽ về bậc n và cấp đạo hàm k, cụ thể là n ≥ 5k + 17 đối với hàm phân hình tổng quát, và n ≥ 11 đối với hàm nguyên. Dưới các điều kiện này, nếu ψ_f và ψ_g chia sẻ giá trị b CM, thì kết luận đưa ra rất mạnh mẽ: hoặc hai hàm là đồng nhất (f ≡ g), hoặc chúng thỏa mãn một trong các mối quan hệ đại số xác định. Việc chứng minh kết quả này đòi hỏi một loạt các kỹ thuật phức tạp, bao gồm việc xây dựng các hàm phụ trợ H và D, áp dụng Bất đẳng thức Milloux, và phân tích cẩn thận các cực điểm và không điểm của hàm phân hình liên quan. Kết quả này khẳng định rằng cấu trúc của một hàm phân hình bị ràng buộc rất mạnh mẽ bởi hành vi chia sẻ giá trị của các đa thức vi phân phức tạp của nó.
4.1. Điều kiện chính của định lý n 5k 17 cho hàm phân hình
Điều kiện n ≥ 5k + 17 không phải là một con số ngẫu nhiên. Nó xuất phát từ quá trình chứng minh, nơi các bất đẳng thức từ Lý thuyết Nevanlinna được sử dụng để so sánh tốc độ tăng trưởng của các hàm khác nhau. Cụ thể, hàm đặc trưng Nevanlinna T(r,f) của hàm gốc được so sánh với hàm đặc trưng của các hàm phụ trợ. Số hạng n.T(r,f) từ fⁿ phải đủ lớn để "át đi" các số hạng liên quan đến đạo hàm của hàm phân hình f⁽ᵏ⁾, có hàm đặc trưng được ước lượng bởi (k+1)T(r,f) và các số hạng sai số S(r,f). Điều kiện n ≥ 5k + 17 đảm bảo rằng khi áp dụng Định lý cơ bản thứ hai và các bổ đề liên quan, ta sẽ đi đến mâu thuẫn nếu giả định f và g không có mối liên hệ đặc biệt. Đối với hàm nguyên, điều kiện này được nới lỏng vì không có sự đóng góp từ hàm đếm cực điểm N(r,f).
4.2. Phác thảo chứng minh và vai trò của hàm phụ trợ D và H
Ý tưởng chính của chứng minh là xây dựng các hàm phụ trợ để khai thác điều kiện chia sẻ giá trị. Hàm D được định nghĩa là D := (ψ'_f / (ψ_f - b)) - (ψ'_g / (ψ_g - b)). Do ψ_f và ψ_g chia sẻ giá trị b CM, hàm D không có cực điểm tại các b-điểm này. Tuy nhiên, việc ước lượng hàm đếm của D vẫn phức tạp. Để giải quyết vấn đề này, một hàm phụ trợ phức tạp hơn là H được giới thiệu. Hàm H được xây dựng từ D và các biểu thức Q[f], Q[g] sao cho mỗi không điểm đơn của ψ_f - b cũng là một không điểm của H. Ưu điểm lớn nhất của H là nó không chứa số hạng fⁿ, giúp việc ước lượng hàm đặc trưng trở nên khả thi. Bằng cách chứng minh H ≡ 0, ta thu được một đồng nhất thức đầu tiên liên kết f và g, từ đó dẫn đến kết luận của định lý.
V. Ứng dụng và hệ quả cho các đa thức vi phân khác nhau
Các kết quả chính của luận văn không chỉ dừng lại ở một định lý tổng quát mà còn mở ra nhiều hệ quả và ứng dụng quan trọng cho các dạng đa thức vi phân cụ thể. Một trường hợp đáng chú ý là khi xét toán tử vi phân ψ_f := fⁿ + af', tức là trường hợp k=1. Với điều kiện n ≥ 11, nếu ψ_f và ψ_g chia sẻ giá trị b CM, định lý kết luận rằng f ≡ g. Điều này cho thấy với đạo hàm cấp một, điều kiện về bậc n được giảm xuống đáng kể. Một hệ quả thú vị khác là khi so sánh một hàm với chính đạo hàm của nó. Cụ thể, nếu ψ_f = fⁿ + af⁽ᵏ⁾ và ψ_{f'} = (f')ⁿ + a(f')⁽ᵏ⁾ chia sẻ một giá trị b khác không, thì với các điều kiện đủ mạnh về n và k, ta có thể suy ra f ≡ f', dẫn đến f(z) = ceᶻ. Những kết quả này minh họa sức mạnh của lý thuyết, cho thấy hành vi chia sẻ giá trị có thể xác định hoàn toàn cấu trúc của một hàm. Việc nghiên cứu các phương trình vi phân phức cũng là một hướng tiếp cận hiệu quả, trong đó điều kiện chia sẻ giá trị được chuyển thành việc hai hàm là nghiệm của cùng một phương trình vi phân.
5.1. Phân tích trường hợp đặc biệt khi k 1 và n 11
Trường hợp k=1, tương ứng với đa thức vi phân fⁿ + af', là một trong những dạng được nghiên cứu nhiều nhất. Kết quả của Hayman cho thấy nếu fⁿ + af' ≠ b với n ≥ 3 (cho hàm nguyên), thì f là hằng số. Luận văn này mở rộng vấn đề sang bài toán hai hàm. Khi fⁿ + af' và gⁿ + ag' chia sẻ giá trị b CM và n ≥ 11, kết luận f ≡ g là một kết quả rất mạnh. Việc chứng minh trong trường hợp này tuân theo logic chung nhưng được đơn giản hóa, và ý tưởng về việc hai hàm thỏa mãn cùng một phương trình vi phân phức dạng u' = uⁿH + b/a đóng vai trò then chốt. Bằng cách áp dụng định lý duy nhất cho nghiệm của phương trình vi phân, có thể chỉ ra rằng hai hàm phải đồng nhất.
5.2. Mối liên hệ khi hai đa thức vi phân chia sẻ hai giá trị
Một hệ quả mạnh hơn được đưa ra khi hai đa thức vi phân ψ_f và ψ_g chia sẻ hai giá trị phân biệt b₁ và b₂ CM. Trong trường hợp này, với các điều kiện tương tự về n và k (n ≥ 5k+17), kết luận trở nên chặt chẽ hơn: f ≡ g. Các trường hợp khác có thể xảy ra trong bài toán một giá trị đều bị loại bỏ. Lý do là việc chia sẻ hai giá trị cung cấp hai phương trình ràng buộc, cho phép loại trừ các khả năng như fⁿ(ag⁽ᵏ⁾ - b₁) = gⁿ(af⁽ᵏ⁾ - b₁). Phân tích đồng thời hai phương trình này thường dẫn đến các mâu thuẫn, trừ khi f và g là đồng nhất. Điều này cho thấy số lượng giá trị được chia sẻ có ảnh hưởng trực tiếp đến tính duy nhất của hàm phân hình.
