Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Việt Phương, được thực hiện dưới sự hướng dẫn của PGS. Tạ Thị Hoài An tại Viện Toán học – Viện Hàn lâm Khoa học và Công nghệ Việt Nam, tập trung vào lĩnh vực Giải tích phức với trọng tâm là Lý thuyết phân bố giá trị (Lý thuyết Nevanlinna) và bài toán tính duy nhất của các hàm phân hình cùng các đa thức vi phân của chúng.

Tính cấp thiết của luận án xuất phát từ nhu cầu giải quyết và tổng quát hóa các giả thuyết kinh điển trong lý thuyết Nevanlinna. Trong giải tích phức, việc nghiên cứu mối quan hệ giữa các không điểm, cực điểm của một hàm phân hình với đạo hàm và đa thức vi phân của hàm đó là một bài toán trung tâm. Mặc dù các giả thuyết nổi tiếng như giả thuyết Gol'dberg (về quan hệ giữa cực điểm của hàm phân hình và không điểm của đạo hàm cấp cao) và giả thuyết Mues (về tổng các số khuyết của đạo hàm) đã được giải quyết cho trường hợp đạo hàm thuần túy, nhưng việc mở rộng các kết quả này sang lớp đa thức vi phân tổng quát vẫn còn nhiều khoảng trống lý thuyết. Bên cạnh đó, các nghiên cứu trước đây về phân bố giá trị dạng Hayman và bài toán tính duy nhất khi các đa thức vi phân chung một hàm nhỏ thường phải đặt ra các giả thiết hạn chế, chẳng hạn như yêu cầu đa thức có không điểm cấp cao và hàm nhỏ chỉ có hữu hạn không điểm cũng như cực điểm.

Mục tiêu nghiên cứu của luận án bao gồm các nội dung được xác định như sau:

  1. Thiết lập mối liên hệ định lượng giữa số cực điểm của một hàm phân hình và số không điểm của đa thức vi phân của hàm phân hình đó, nhằm tổng quát hóa kết quả của Yamanoi và giả thuyết Gol'dberg.
  2. Thiết lập quan hệ số khuyết cho đa thức vi phân của hàm phân hình, đưa ra chặn trên tối ưu nhằm mở rộng giả thuyết Mues và cải tiến các chặn đã có của Jiang và Huang.
  3. Mở rộng giả thuyết Hayman về sự phân bố giá trị cho các dạng đa thức vi phân tổng quát hơn.
  4. Nghiên cứu tính duy nhất của các hàm phân hình khi các đa thức vi phân của chúng chung một hàm nhỏ đối với cả hai trường hợp: tính cả bội và không tính bội, đồng thời loại bỏ các điều kiện hạn chế về tính hữu hạn của tập không điểm và cực điểm của hàm nhỏ.
  5. Khảo sát và đưa ra đặc trưng nghiệm của phương trình hàm phi tuyến dạng $Q(f) = Q(g) + c$.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Các hàm phân hình siêu việt và hàm hữu tỉ trên mặt phẳng phức $\mathbb{C}$, các toán tử vi phân, đơn thức vi phân và đa thức vi phân của hàm phân hình, cùng các hàm nhỏ tương ứng.
  • Phạm vi nghiên cứu: Nghiên cứu lý thuyết thuần túy trong khuôn khổ Giải tích phức và Lý thuyết Nevanlinna trên trường số phức $\mathbb{C}$.

Tổng quan tài liệu và vị trí của luận án

Lý thuyết phân bố giá trị có cội nguồn từ Định lý cơ bản của đại số. Vào cuối thế kỷ 18 và đầu thế kỷ 19, Borel đã kết hợp và cải tiến các kết quả của Picard, Poincaré và Hadamard đối với hàm nguyên, đặt nền móng cho lý thuyết phân bố giá trị. Đầu thế kỷ 20, Rolf Nevanlinna xây dựng lý thuyết phân bố giá trị cho hàm phân hình, thiết lập hai định lý cơ bản mang tên ông. Hướng nghiên cứu này đã thu hút sự đóng góp của nhiều nhà toán học như Gol'dberg, Ostrovskii, Ahlfors, Shimizu, Drasin, Hayman, Bergweiler, Langley, Ru, Vojta, Yamanoi và các nhà toán học Việt Nam.

Tác giả luận án đã điểm lại các công trình tiền đề then chốt:

  • Năm 1922, Pólya chứng minh rằng nếu hàm phân hình $f$ có ít nhất hai cực điểm thì với mỗi số nguyên dương $k$ đủ lớn, đạo hàm cấp $k$ ($f^{(k)}$) có ít nhất một không điểm.
  • Gol'dberg đặt ra giả thuyết: với $f$ là hàm phân hình siêu việt trên $\mathbb{C}$ và số nguyên $k \ge 2$, ta có $\overline{N}(r, f) \le \overline{N}(r, 1/f^{(k)}) + o(T(r, f))$ ngoài một tập có độ đo hữu hạn. Năm 1986, Frank và Weissenborn chứng minh giả thuyết này cho trường hợp cực điểm đơn bằng phương pháp Wronskian. Langley (1993) chứng minh cho hàm phân hình cấp hữu hạn khi $f''$ có hữu hạn không điểm. Đến năm 2013, Yamanoi chứng minh hoàn toàn giả thuyết Gol'dberg bằng cách xây dựng hàm xấp xỉ hiệu chỉnh.
  • Về quan hệ số khuyết, Hayman (1959) chứng minh $\sum_{a \in \mathbb{C}} \Theta(a, f^{(k)}) \le 1 + \frac{1}{k+1}$. Mues (1971) chứng minh dấu bằng xảy ra khi $f$ là nghiệm của phương trình Riccati hệ số hằng và đưa ra chặn $\sum_{a \in \mathbb{C}} \delta(a, f^{(k)}) \le \frac{k^2+5k+4}{k^2+4k+2} < 1 + \frac{1}{k+1}$, đồng thời đặt giả thuyết chặn trên là 1. Yang (1990) và Ishizaki (1990) đưa ra chặn $\frac{2k+1}{2k+2}$. Yang và Wang (1992) chứng minh giả thuyết Mues đúng với $k \ge K(f)$. Wang (1993) chứng minh đúng cho mọi $k \ge 0$ trừ tối đa 4 giá trị của $k$. Năm 2013, Yamanoi thu được giả thuyết Mues như hệ quả từ việc chứng minh giả thuyết Gol'dberg. Jiang và Huang (2016) mở rộng cho đơn thức vi phân $f^l (f^{(k)})^n$ và nhận được chặn $1 + \frac{1}{nk+n+l-1}$.
  • Về giả thuyết Hayman: Hayman (1959) khẳng định $f^n f'$ nhận mọi giá trị hữu hạn khác 0 vô số lần với $n \ge 3$ và đặt giả thuyết đúng với mọi $n \ge 1$. Mues (1979) chứng minh cho $n=2$; Bergweiler – Eremenko (1995) và Chen – Fang (1995) chứng minh độc lập cho $n=1$. Đối với biểu thức $\phi = f' - af^n$, Hayman chứng minh đúng khi $n \ge 5$, trong khi Mues đưa ra phản ví dụ cho $n=3, 4$ bằng nghiệm của phương trình Riccati $w' = -(1+2\eta)(w+1)(w+\eta)$ ($\eta = e^{2\pi i/3}$) và $w' = 2(w^2+1)$. Doringer (1982) mở rộng cho $\phi = f^{(k)} - af^n$ với $n \ge k+4$.
  • Về lý thuyết tính duy nhất: Fang và Hua (1996), Yang và Hua (1997), Fang và Hong (2000), Lin và Yi (2004), Boussaf và đồng nghiệp (2013), Bhoosnurmatha và Dyavanal, Zang, Xu và đồng nghiệp nghiên cứu sự xác định duy nhất của hàm phân hình khi các biểu thức dạng $[f^n P(f)]^{(k)}$ chung một giá trị hoặc một hàm nhỏ $\alpha$.

Khoảng trống nghiên cứu được luận án giải quyết: Nâng chặn trên của tổng số khuyết cho đa thức vi phân về mức tối ưu bằng 1 (cải tiến kết quả của Jiang và Huang); mở rộng giả thuyết Hayman sang các dạng đa thức vi phân bậc cao phức tạp; và xây dựng lý thuyết tính duy nhất cho các đa thức vi phân chung một hàm nhỏ mà không cần đòi hỏi hàm nhỏ phải có hữu hạn không điểm hay cực điểm.

Cơ sở lý thuyết và phương pháp nghiên cứu

Luận án vận dụng toàn bộ hệ thống lý thuyết và công cụ phân tích của Giải tích phức hiện đại:

  • Khung lý thuyết Nevanlinna cổ điển:

    • Công thức Jensen: Xác định mối liên hệ giữa môđun của hàm phân hình tại gốc với tích phân môđun trên đường tròn và các không điểm, cực điểm trong hình đĩa: $$\log |c_m| = \frac{1}{2\pi} \int_0^{2\pi} \log |f(re^{i\theta})| d\theta + \sum_{\mu=1}^M \log \frac{|a_\mu|}{r} - \sum_{\nu=1}^N \log \frac{|b_\nu|}{r} - m \log r$$
    • Các đại lượng Nevanlinna: Hàm xấp xỉ $m(r, f) = \frac{1}{2\pi} \int_0^{2\pi} \log^+ |f(re^{i\theta})| d\theta$; hàm đếm cực điểm $N(r, f) = \int_0^r \frac{n(t, f)-n(0, f)}{t} dt + n(0, f) \log r$; hàm đếm không tính bội $\overline{N}(r, f)$; hàm đặc trưng $T(r, f) = m(r, f) + N(r, f)$.
    • Số khuyết và phân nhánh: Số khuyết $\delta(a, f) = 1 - \limsup_{r \to \infty} \frac{N(r, 1/(f-a))}{T(r, f)}$; phân nhánh toàn phần $\Theta(a, f) = 1 - \limsup_{r \to \infty} \frac{\overline{N}(r, 1/(f-a))}{T(r, f)}$.
    • Bổ đề đạo hàm logarit: $m(r, f'/f) = o(T(r, f))$ khi $r \to \infty$ ngoài tập có độ đo hữu hạn.
    • Định lý cơ bản thứ nhất và Định lý cơ bản thứ hai của Nevanlinna.

  • Công cụ giải tích của Yamanoi:

    • Khoảng cách cầu $[z, w] = \frac{|z-w|}{\sqrt{1+|z|^2}\sqrt{1+|w|^2}}$ trên $\mathbb{P}^1(\mathbb{C})$.
    • Mật độ logarit trên và dưới của tập $E \subset \mathbb{R}$: $\overline{\text{logdens}}(E) = \limsup_{r \to \infty} \frac{1}{\log r} \int_{[e, r] \cap E} \frac{dt}{t}$.
    • Định lý cơ bản thứ hai cho hàm nhỏ: $(q - 2 - \epsilon)T(r, f) \le \sum_{j=1}^q \overline{N}(r, \frac{1}{f-a_j})$.
    • Hàm xấp xỉ hiệu chỉnh: $$m_{d,n}(r, f) = \sup_{(a_1, \dots, a_n) \in (R_d)^n} \int_0^{2\pi} \max_{1 \le j \le n} \log \frac{1}{[f(re^{i\theta}), a_j(re^{i\theta})]} \frac{d\theta}{2\pi}$$ trong đó $R_d$ là tập các hàm hữu tỉ bậc không quá $d$.
    • Ước lượng dao động của hàm phân hình $v(r, f, \theta)$ và hàm $\lambda(r) = \min{1, (\log^+ \frac{T(r, f)}{\log r})^{-1}}$.

  • Phương pháp nghiên cứu: Phương pháp suy diễn toán học thuần túy của giải tích phức, bao gồm việc xây dựng các hàm phụ trợ, phân tích khai triển Laurent cục bộ quanh các điểm cực và không điểm, sử dụng kỹ thuật ước lượng hàm xấp xỉ hiệu chỉnh và đạo hàm logarit, kết hợp giải tích bất đẳng thức tích phân để khử các số hạng dư.

  • Nguồn tư liệu: Luận án là công trình nghiên cứu toán học lý thuyết; đối tượng khảo sát là các thực thể giải tích trừu tượng trên mặt phẳng phức $\mathbb{C}$, không sử dụng dữ liệu thực nghiệm hay phần mềm tính toán thống kê.

Nội dung chính theo từng chương

Chương 1: Không điểm của các đa thức vi phân của hàm phân hình

Chương 1 thiết lập mối liên hệ giữa số cực điểm của hàm phân hình siêu việt và số không điểm của đa thức vi phân của nó. Đa thức vi phân được xét có dạng $\Phi = \sum_{\nu=0}^k Q_\nu(f^{(\nu)})$, trong đó $Q_i(z) = c_i \prod_{j=1}^{h_i} (z - \beta_{ij})^{q_{ij}}$ là các đa thức bậc $q_i$ với $c_i \in \mathbb{C}^*$ và $q = \sum_{\nu=0}^k q_\nu$.

Kết quả trung tâm của chương là Định lý 1.1:

Cho $f$ là hàm phân hình siêu việt trên $\mathbb{C}$, $k \ge 2$ là số nguyên và $\epsilon > 0$ tùy ý. Cho $A \subset \mathbb{C}$ là tập hữu hạn các số phức. Khi đó: $$\sum_{\nu=0}^k (\nu - 1)q_\nu \overline{N}(r, f) + q \sum_{a \in A} N_1\left(r, \frac{1}{f-a}\right) \le \overline{N}\left(r, \frac{1}{\Phi}\right) + \epsilon T(r, f)$$ đúng với mọi $r > e$ ngoài một tập $E \subset (e, \infty)$ có mật độ logarit bằng 0, trong đó $N_1(r, \frac{1}{f-a}) = N(r, \frac{1}{f-a}) - \overline{N}(r, \frac{1}{f-a})$.

Để chứng minh định lý, tác giả xây dựng hàm $R_k = q(k+2)\log^+ |f| + \log \frac{1}{|\Phi|}$, khai triển qua công thức Jensen và kết hợp các bổ đề ước lượng dao động $v(r, f, \frac{2\pi}{\sigma(r)})$ với hàm $\sigma(r) \sim (\log^+ \frac{T(r, f)}{\log r})^{20}$.

Các trường hợp riêng đáng chú ý:

  • Khi $Q_0(z) = \dots = Q_{k-1}(z) = 1$ và $Q_k(z) = z$, bất đẳng thức trở thành: $$(k-1)\overline{N}(r, f) + \sum_{a \in A} N_1\left(r, \frac{1}{f-a}\right) \le \overline{N}\left(r, \frac{1}{f^{(k)}}\right) + \epsilon T(r, f)$$
  • Khi chọn thêm $A = \emptyset$, thu lại trực tiếp giả thuyết Gol'dberg đã được Yamanoi chứng minh: $\overline{N}(r, f) \le \overline{N}(r, \frac{1}{f^{(k)}}) + o(T(r, f))$.
Kết quả / Định lý Dạng biểu thức vi phân $\Phi$ Ước lượng không điểm thu được
Định lý 1.1 (Tổng quát) $\sum_{\nu=0}^k Q_\nu(f^{(\nu)})$ $\sum_{\nu=0}^k (\nu - 1)q_\nu \overline{N}(r, f) + q \sum_{a \in A} N_1(r, \frac{1}{f-a}) \le \overline{N}(r, \frac{1}{\Phi}) + \epsilon T(r, f)$
Trường hợp Yamanoi $f^{(k)}$ $(k-1)\overline{N}(r, f) + \sum_{a \in A} N_1(r, \frac{1}{f-a}) \le \overline{N}(r, \frac{1}{f^{(k)}}) + \epsilon T(r, f)$
Giả thuyết Gol'dberg $f^{(k)}$ ($A = \emptyset$) $\overline{N}(r, f) \le \overline{N}(r, \frac{1}{f^{(k)}}) + o(T(r, f))$

Chương 2: Phân bố giá trị của đa thức vi phân của hàm phân hình

Chương 2 giải quyết hai bài toán lớn: quan hệ số khuyết và sự mở rộng giả thuyết Hayman.

1. Quan hệ số khuyết của đa thức vi phân:

  • Định lý 2.1: Cho $f$ là hàm phân hình và $k \ge 1$ là số nguyên. Với $\Phi$ được xác định như trong Chương 1, nếu thỏa mãn điều kiện $k \ge 2$ và tồn tại $\nu \in {2, \dots, k}$ sao cho $Q_\nu(z)$ có ít nhất một không điểm bội từ 2 trở lên (hoặc điều kiện đạo hàm tương đương), thì: $$\sum_{a \in \mathbb{C}} \delta(a, \Phi) \le 1$$
  • Hệ quả 2.3: Đối với đơn thức vi phân dạng $f^l (f^{(k)})^n$ với $k, l, n \ge 2$ là các số nguyên dương, ta có: $$\sum_{a \in \mathbb{C}} \delta(a, f^l (f^{(k)})^n) \le 1$$ Kết quả này cải tiến trực tiếp chặn trên $1 + \frac{1}{nk+n+l-1}$ của Jiang và Huang (2016), đưa chặn về giá trị tối ưu 1.
  • Hệ quả 2.4: Khi $k \ge 1$ và $Q_k(z) = z$, thu lại Giả thuyết Mues: $\sum_{a \in \mathbb{C}} \delta(a, f^{(k)}) \le 1$.

2. Mở rộng giả thuyết Hayman cho các dạng đa thức vi phân:

  • Định lý 2.4: Cho $k \ge 1$ và $Q(z)$ là đa thức bậc $q$ có $l$ không điểm phân biệt. Nếu $f$ là hàm phân hình siêu việt và $q \ge l + 1$ thì $[Q(f)]^{(k)}$ nhận mỗi giá trị hữu hạn khác 0 vô số lần.
    • Trường hợp riêng $k=1, Q(z) = z^{n+1}$ suy ra giả thuyết Hayman: $f^n f'$ nhận mỗi giá trị hữu hạn khác 0 vô số lần với mọi $n \ge 1$.
    • Trường hợp $Q(z) = z^n$, suy ra $(f^n)^{(k)}$ nhận mỗi giá trị hữu hạn khác 0 vô số lần với mọi $n \ge 2$ (thay vì điều kiện $n > k$ trong các công trình trước).
  • Định lý 2.5: Cho $P(z)$ và $Q(z)$ là các đa thức bậc $p$ và $q$, $l$ là số không điểm phân biệt của $Q(z)$. Nếu $q \ge (k+1)p + l + 2$ thì $Q(f) + P(f^{(k)})$ có vô số không điểm. Khi $P(z)=z, Q(z)=-az^n+b$ ($a \ne 0$), định lý cho lại kết quả kinh điển của Hayman cho $\phi = f' - af^n$ với $n \ge 5$.
  • Định lý 2.7: Xét đa thức vi phân dạng tích $\Phi = Q_0(f)Q_1(f') \cdots Q_k(f^{(k)})$. Dưới các điều kiện về bội của không điểm của $Q_0$ và $Q_\nu$, $\Phi$ nhận mỗi giá trị hữu hạn khác 0 vô số lần. Hệ quả khẳng định $f^l (f^{(k)})^n$ nhận mọi giá trị hữu hạn khác 0 vô số lần ($k, l, n \ge 2$).

Chương 3: Tính duy nhất của các hàm phân hình trong trường hợp các đa thức vi phân chung một hàm nhỏ

Chương 3 nghiên cứu tính duy nhất của hai hàm phân hình $f$ và $g$ khi chúng hoặc các đa thức vi phân của chúng chung một hàm nhỏ $\alpha$ (thỏa mãn $T(r, \alpha) = o(T(r, f)) + o(T(r, g))$).

Tác giả sử dụng các ký hiệu hàm đếm theo cấp bội: $N_{p)}(r, f)$ (cực điểm bội $\le p$), $N_{(p}(r, f)$ (cực điểm bội $\ge p$), $N_p(r, f)$ (cực điểm bội chặn cấp $p$), hàm đếm không điểm chung $N_E^{1)}$, $N_E^{(2}$, và $N_L$. Hàm phụ trợ cơ bản được xây dựng là: $$H = \left(\frac{F''}{F'} - \frac{2F'}{F-1}\right) - \left(\frac{G''}{G'} - \frac{2G'}{G-1}\right)$$ với $F = f/\alpha$ và $G = g/\alpha$.

Các kết quả định lý chính:

  • Định lý 3.2 (Chung hàm nhỏ tính cả bội): Cho $f, g$ là hai hàm phân hình khác hằng và $\alpha \not\equiv 0$ là hàm nhỏ. Nếu $f$ và $g$ chung $\alpha$ tính cả bội thì xảy ra một trong ba trường hợp:
    1. $T(r, f) \le N_2(r, f) + N_2(r, g) + N_2(r, \frac{1}{f}) + N_2(r, \frac{1}{g}) + o(T(r, f)) + o(T(r, g))$ (bất đẳng thức tương tự đúng cho $T(r, g)$);
    2. $f \equiv g$;
    3. $fg \equiv \alpha^2$.
  • Định lý 3.4 (Chung hàm nhỏ tính cả bội và chung cực điểm không tính bội): Nếu $f, g$ chung $\alpha$ tính cả bội và chung $\infty$ không tính bội thì:
    1. $T(r, f) \le N_2(r, \frac{1}{f}) + N_2(r, \frac{1}{g}) + 3\overline{N}(r, f) + o(T(r, f)) + o(T(r, g))$;
    2. $f \equiv g$;
    3. $fg \equiv \alpha^2$.
  • Định lý 3.5 (Chung hàm nhỏ không tính bội): Nếu $f, g$ chung $\alpha$ không tính bội thì xảy ra một trong ba trường hợp:
    1. $T(r, f) \le N_2(r, f) + N_2(r, g) + N_2(r, \frac{1}{f}) + N_2(r, \frac{1}{g}) + 2\overline{N}(r, f) + \overline{N}(r, \frac{1}{f}) + \overline{N}(r, g) + \overline{N}(r, \frac{1}{g}) + o(T(r, f)) + o(T(r, g))$;
    2. $f \equiv g$;
    3. $fg \equiv \alpha^2$.

Ứng dụng của các định lý trên cho phép tác giả giải quyết bài toán tính duy nhất cho các đa thức vi phân của $f$ và $g$ chung một hàm nhỏ $\alpha$, đồng thời đưa ra đặc trưng đầy đủ cho nghiệm của phương trình hàm dạng $Q(f) = Q(g) + c$, trong đó $Q(z) \in \mathbb{C}[z]$ và $c \in \mathbb{C}$.

Kết quả và những đóng góp mới

Luận án tự nêu các đóng góp học thuật mới về mặt lý thuyết giải tích phức:

  1. Thiết lập bất đẳng thức ước lượng không điểm tổng quát: Chứng minh Định lý 1.1 cho đa thức vi phân của hàm phân hình siêu việt, tạo ra một sự tổng quát hóa trực tiếp cho kết quả của Yamanoi và giả thuyết Gol'dberg.
  2. Xác lập chặn trên tối ưu cho quan hệ số khuyết: Chứng minh tổng số khuyết của đa thức vi phân $\Phi$ luôn bị chặn trên bởi 1 (Định lý 2.1). Đặc biệt, đã cải tiến chặn số khuyết của đơn thức vi phân $f^l(f^{(k)})^n$ từ $1 + \frac{1}{nk+n+l-1}$ xuống đúng bằng 1, mở rộng trọn vẹn giả thuyết Mues.
  3. Mở rộng phạm vi giả thuyết Hayman: Mở rộng khẳng định về sự phân bố giá trị cho các lớp đa thức vi phân tổng quát $[Q(f)]^{(k)}$, $Q(f) + P(f^{(k)})$ và tích $\prod_{\nu=0}^k Q_\nu(f^{(\nu)})$, nới lỏng các điều kiện bậc so với các công trình trước đây.
  4. Phát triển lý thuyết tính duy nhất với hàm nhỏ tổng quát: Thiết lập các định lý đặc trưng tính duy nhất (Định lý 3.2, 3.4, 3.5) cho hàm phân hình và đa thức vi phân chung một hàm nhỏ ở cả hai trường hợp tính bội và không tính bội. Luận án đã loại bỏ thành công giả thiết ràng buộc về tính hữu hạn của không điểm và cực điểm của hàm nhỏ $\alpha$.
  5. Đặc trưng phương trình hàm: Đưa ra đặc trưng cấu trúc nghiệm cho phương trình hàm $Q(f) = Q(g) + c$.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Các kết quả của luận án được xây dựng trên không gian một chiều $\mathbb{C}$ (mặt phẳng phức). Các bất đẳng thức cơ bản đều phải loại trừ một tập các giá trị bán kính $r$ có độ đo tuyến tính hữu hạn hoặc có mật độ logarit bằng 0.
  • Hướng nghiên cứu tiếp: Văn bản gợi mở việc tiếp tục mở rộng các bài toán phân bố giá trị và tính duy nhất cho các hệ phương trình vi phân phức, các hàm phân hình trên trường phi Archimedes ($p$-adic), hoặc mở rộng lý thuyết sang hàm phân hình nhiều biến phức trên $\mathbb{C}^m$.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn cao đối với:

  • Nghiên cứu sinh, học viên cao học và giảng viên thuộc các chuyên ngành Toán giải tích, Giải tích phức, Lý thuyết phương trình vi phân trong miền phức và Hình học phức.
  • Các nhà nghiên cứu lý thuyết Nevanlinna:
    • Chương 1 cung cấp kỹ thuật ước lượng sử dụng hàm xấp xỉ hiệu chỉnh của Yamanoi kết hợp đại lượng dao động.
    • Chương 2 cung cấp phương pháp đánh giá triệt tiêu số hạng để tìm chặn số khuyết và kỹ thuật xử lý bài toán kiểu Hayman.
    • Chương 3 cung cấp khung phân tích hàm phụ trợ $H$ và kỹ thuật phân tách hàm đếm bội phục vụ bài toán tính duy nhất khi chung hàm nhỏ.

Câu hỏi thường gặp

1. Định lý 1.1 trong luận án tổng quát hóa giả thuyết Gol'dberg như thế nào?
Định lý 1.1 thiết lập bất đẳng thức giữa hàm đếm cực điểm của hàm phân hình siêu việt $f$ và hàm đếm không điểm của đa thức vi phân tổng quát $\Phi = \sum_{\nu=0}^k Q_\nu(f^{(\nu)})$. Khi chọn $Q_0 = \dots = Q_{k-1} = 1$, $Q_k(z) = z$ và tập $A = \emptyset$, bất đẳng thức thu về đúng dạng $\overline{N}(r, f) \le \overline{N}(r, 1/f^{(k)}) + o(T(r, f))$, chính là giả thuyết Gol'dberg đã được Yamanoi chứng minh.

2. Luận án đã cải tiến kết quả của Jiang và Huang (2016) về số khuyết của đơn thức vi phân ra sao?
Jiang và Huang (2016) nghiên cứu đơn thức vi phân $f^l (f^{(k)})^n$ ($l, n, k \ge 2$) và thu được chặn trên của tổng số khuyết là $1 + \frac{1}{nk+n+l-1}$. Luận án (Hệ quả 2.3) đã chứng minh tổng số khuyết này không vượt quá 1, đạt được chặn trên tối ưu tương thích với giả thuyết Mues.

3. Điều kiện để $[Q(f)]^{(k)}$ nhận mọi giá trị hữu hạn khác 0 vô số lần trong Định lý 2.4 là gì?
Điều kiện yêu cầu là đa thức $Q(z)$ bậc $q$ có $l$ không điểm phân biệt và thỏa mãn bất đẳng thức bậc $q \ge l + 1$, với $f$ là hàm phân hình siêu việt trên $\mathbb{C}$ và $k \ge 1$.

4. Khi hai hàm phân hình $f$ và $g$ chung hàm nhỏ $\alpha$ tính cả bội, Định lý 3.2 đưa ra những khả năng nào?
Định lý 3.2 khẳng định chỉ xảy ra một trong ba trường hợp: (i) $T(r, f) \le N_2(r, f) + N_2(r, g) + N_2(r, \frac{1}{f}) + N_2(r, \frac{1}{g}) + o(T(r, f)) + o(T(r, g))$; (ii) $f \equiv g$; hoặc (iii) $fg \equiv \alpha^2$.

5. Điểm mới của luận án trong bài toán tính duy nhất so với các công trình của Boussaf, Bhoosnurmatha hay Zang là gì?
Các công trình trước đòi hỏi đa thức phải có ít nhất một không điểm cấp đủ cao và hàm nhỏ $\alpha$ bắt buộc phải có hữu hạn không điểm và cực điểm. Luận án đã mở rộng bài toán cho các biểu thức vi phân tổng quát hơn và loại bỏ hoàn toàn điều kiện về tính hữu hạn của tập không điểm và cực điểm của $\alpha$.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Việt Phương là một công trình nghiên cứu chuyên sâu trong chuyên ngành Giải tích phức, tập trung giải quyết các bài toán về ước lượng không điểm, quan hệ số khuyết, phân bố giá trị và tính duy nhất của hàm phân hình cùng các đa thức vi phân. Bằng việc kết hợp lý thuyết Nevanlinna cổ điển với phương pháp hàm xấp xỉ hiệu chỉnh hiện đại, luận án đã mở rộng thành công các giả thuyết kinh điển của Gol'dberg, Mues và Hayman sang các lớp đa thức vi phân tổng quát. Các kết quả đạt được không chỉ cải tiến các chặn số khuyết đã có mà còn giải quyết bài toán tính duy nhất khi chung hàm nhỏ dưới các điều kiện tổng quát.