Tổng quan luận án
Luận án tiến sĩ toán học với đề tài "Về lý thuyết Nevanlinna cho hình vành khuyên và vấn đề duy nhất" được thực hiện bởi nghiên cứu sinh Leuanglith Vilaisavanh, dưới sự hướng dẫn khoa học của PGS. TS Hà Trần Phương, thuộc chuyên ngành Toán Giải tích (mã số 9460102) tại Trường Đại học Sư phạm – Đại học Thái Nguyên (năm 2022).
Tính cấp thiết và khoảng trống nghiên cứu
Lý thuyết phân bố giá trị cho hàm phân hình (Lý thuyết Nevanlinna), khởi nguồn từ các công trình của R. Nevanlinna vào đầu thế kỷ XX với hai định lý cơ bản, là một trong những trụ cột của giải tích phức hiện đại. Sau đó, H. Cartan đã mở rộng lý thuyết này cho đường cong chỉnh hình từ mặt phẳng phức $\mathbb{C}$ vào không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$. Trong những năm gần đây, việc phát triển Lý thuyết Nevanlinna-Cartan tập trung vào hai hướng lớn:
- Xây dựng các dạng định lý cơ bản (thứ nhất và thứ hai) cho ánh xạ chỉnh hình trên các miền phức khác nhau với mục tiêu là các siêu phẳng, siêu mặt cố định hoặc di động.
- Ứng dụng lý thuyết phân bố giá trị vào nghiên cứu tính suy biến của đường cong đại số và vấn đề xác định duy nhất cho hàm phân hình, đường cong chỉnh hình thông qua ảnh ngược của các tập hợp mục tiêu.
Trong khi các nghiên cứu trên toàn bộ mặt phẳng phức $\mathbb{C}$ đã đạt được nhiều kết quả sâu rộng, việc nghiên cứu lý thuyết Nevanlinna-Cartan cho đường cong chỉnh hình trên miền đa liên, cụ thể là hình vành khuyên $\Delta = {z \in \mathbb{C} : 1/R < |z| < R}$ ($1 < R \le +\infty$), đối với các mục tiêu là siêu mặt đại số vẫn còn là một khoảng trống lớn. Đa số các kết quả trước đó trên hình vành khuyên chỉ mới dừng lại ở trường hợp mục tiêu là siêu phẳng cố định hoặc siêu phẳng di động. Mặt khác, đối với vấn đề duy nhất của hàm phân hình trên $\mathbb{C}$, việc mở rộng giả thuyết Brück cho các đa thức vi phân bậc cao kết hợp kỹ thuật của lý thuyết họ chuẩn tắc cũng đặt ra nhiều bài toán mở cần được giải quyết. Do đó, luận án được thực hiện nhằm giải quyết trực tiếp các vấn đề lý thuyết nêu trên.
Mục tiêu nghiên cứu
Luận án xác định 03 mục tiêu cụ thể, tương ứng với 03 hướng nghiên cứu:
- Hướng nghiên cứu thứ nhất: Xây dựng Định lý cơ bản thứ nhất và Định lý cơ bản thứ hai với bội cắt cụt cho đường cong chỉnh hình trên hình vành khuyên $\Delta$ với mục tiêu là các siêu mặt ở vị trí tổng quát.
- Hướng nghiên cứu thứ hai: Thiết lập các điều kiện đủ về số lượng siêu mặt và cấu trúc ảnh ngược để hai đường cong chỉnh hình không suy biến đại số trên hình vành khuyên trùng nhau (vấn đề duy nhất cho đường cong chỉnh hình với mục tiêu là các siêu mặt ở vị trí tổng quát đối với phép nhúng Veronese).
- Hướng nghiên cứu thứ ba: Thiết lập tiêu chuẩn chuẩn tắc mới cho họ các hàm phân hình và ứng dụng chứng minh định lý xác định duy nhất cho hàm nguyên liên quan đến giả thuyết Brück khi thay thế hàm $f$ bởi đơn thức $F = f^{n+n_1+\dots+n_k}$ và đạo hàm $f'$ bởi đa thức vi phân $M[f] = f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)}$.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Các tính chất giải tích của hàm phân hình trên mặt phẳng phức $\mathbb{C}$ và đường cong chỉnh hình $f: \Delta \to \mathbb{P}^n(\mathbb{C})$ trên hình vành khuyên.
- Phạm vi không gian và miền xác định: Hình vành khuyên $\Delta = {z \in \mathbb{C} : 1/R < |z| < R}$ trong $\mathbb{C}$ (với $R > 1$ là số thực dương hoặc $+\infty$) và không gian xạ ảnh phức $\mathbb{P}^n(\mathbb{C})$.
- Phạm vi mục tiêu hình học: Họ các siêu mặt đại số cố định $D_1, \dots, D_q$ bậc $d_j$ ở vị trí tổng quát trong $\mathbb{P}^n(\mathbb{C})$ và vị trí tổng quát đối với phép nhúng Veronese; các đa thức vi phân phi tuyến của hàm nguyên/phân hình một biến phức.
+---------------------------------------------------------------------------------------------------+
| THÔNG TIN TỔNG QUAN VỀ LUẬN ÁN TIẾN SĨ |
+----------------------+----------------------------------------------------------------------------+
| Tên đề tài | Về lý thuyết Nevanlinna cho hình vành khuyên và vấn đề duy nhất |
| Tác giả | Leuanglith Vilaisavanh |
| Người hướng dẫn | PGS. TS Hà Trần Phương |
| Cơ sở đào tạo | Trường Đại học Sư phạm – Đại học Thái Nguyên |
| Chuyên ngành & Mã số | Toán Giải tích – Mã số: 9460102 |
| Năm hoàn thành | 2022 |
| Miền nghiên cứu | Hình vành khuyên Delta = {z in C : 1/R < |z| < R} và mặt phẳng phức C |
+----------------------+----------------------------------------------------------------------------+
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước trong y văn
Trong phần tổng quan tài liệu, tác giả luận án đã hệ thống hóa các mốc phát triển chính của Lý thuyết phân bố giá trị và vấn đề duy nhất:
- Phân bố giá trị trên không gian xạ ảnh $\mathbb{P}^n(\mathbb{C})$: H. Cartan (1933) thiết lập hai định lý cơ bản cho đường cong chỉnh hình kết hợp với các siêu phẳng ở vị trí tổng quát. E. I. Nochka (1983) mở rộng cho họ siêu phẳng ở vị trí $N$-tổng quát. M. Ru (1997, 2001, 2004) thiết lập Định lý cơ bản thứ hai cho đường cong chỉnh hình không suy biến đại số với mục tiêu là các siêu mặt cố định và mở rộng lên đa tạp đại số xạ ảnh $V$. Z. Chen (2004) chứng minh quan hệ giữa hàm đặc trưng $T_f(r)$ và các hàm đếm bội cắt cụt $N_f^M(r, D_j)$ cho họ siêu mặt cố định ${D_1, \dots, D_q}$ ở vị trí tổng quát.
- Vấn đề duy nhất cho ánh xạ chỉnh hình/phân hình: H. Fujimoto (1975, 1998) chứng minh sự tồn tại của tập xác định duy nhất kể cả bội (URSCM) gồm $3n+2$ siêu phẳng ở vị trí tổng quát cho ánh xạ phân hình không suy biến tuyến tính. L. Smiley (1983) nghiên cứu vấn đề duy nhất thông qua ảnh ngược của họ hữu hạn siêu phẳng. T. B. Cao, K. Y. Zheng, X. M. Li, Trần Văn Tấn (2008) mở rộng cho trường hợp siêu phẳng di động. M. Dulock và M. Ru (2008), sử dụng Định lý cơ bản thứ hai của An – Phương (2008), đã chứng minh một số định lý duy nhất cho đường cong chỉnh hình với mục tiêu là siêu mặt. H. T. Phương (2007, 2011) công bố các kết quả duy nhất cho đường cong chỉnh hình với siêu phẳng cố định và di động.
- Phân bố giá trị trên hình vành khuyên: A. A. Kondratyuk và Ya. V. Vasyl’kiv / S. I. Tarasyuk (2005) đặt nền móng cho lý thuyết phân bố giá trị của hàm phân hình trên hình vành khuyên. H. X. Yi, W. C. Lin, Z. S. Meng tiếp tục phát triển hướng này. H. T. Phương và N. V. Thìn (2015) thiết lập hai định lý cơ bản cho đường cong chỉnh hình trên hình vành khuyên với mục tiêu là siêu phẳng di động. H. T. Phương và N. T. Minh (2013), T. T. H. Giang (2021) nghiên cứu vấn đề duy nhất trên hình vành khuyên với mục tiêu là các siêu phẳng cố định.
- Vấn đề duy nhất liên quan đến giả thuyết Brück: R. Brück (1996) đưa ra giả thuyết: nếu hàm nguyên $f$ có chỉ số tăng $\sigma_2(f)$ không nguyên và không bằng $\infty$, thỏa mãn $f$ và $f'$ chung giá trị hữu hạn $a$ kể cả bội thì $(f'-a)/(f-a) = c$. Brück đã chứng minh cho $a=0$. G. G. Gundersen và L. Z. Yang (1998) chứng minh giả thuyết đúng khi $f$ có bậc hữu hạn không nguyên. Z. X. Chen và K. H. Shon (2004) chứng minh cho bậc vô hạn với $\sigma_2(f) < 1/2$. Q. C. Zhang (2005) xét bài toán cho $F = f^n$ ($n \ge 7$). P. Li và T. B. Cao (2008) nghiên cứu mở rộng giả thuyết Brück khi thay $f$ bởi $F = f^{n+n_1+\dots+n_k}$ và thay $f'$ bởi $M[f] = f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)}$.
+----------------------------------------------------------------------------------------------------+
| CÁC CÔNG TRÌNH TIÊU BIỂU ĐƯỢC ĐIỂM LUẬN TRONG TÀI LIỆU |
+--------------------------+------+------------------------------------------------------------------+
| Tác giả | Năm | Hướng đóng góp chính |
+--------------------------+------+------------------------------------------------------------------+
| R. Nevanlinna | 1926 | Định lý duy nhất 5 điểm phân biệt cho hàm phân hình trên C |
| H. Cartan | 1933 | Hai định lý cơ bản cho đường cong chỉnh hình vào P^n(C) |
| H. Fujimoto | 1975 | Tập xác định duy nhất gồm 3n+2 siêu phẳng |
| E. I. Nochka | 1983 | Định lý cơ bản thứ hai cho siêu phẳng ở vị trí N-tổng quát |
| R. Brück | 1996 | Giả thuyết Brück về hàm nguyên và đạo hàm chung giá trị |
| G. Gundersen, L. Yang | 1998 | Chứng minh giả thuyết Brück cho hàm bậc hữu hạn không nguyên |
| A. Kondratyuk et al. | 2005 | Phân bố giá trị cho hàm phân hình trên hình vành khuyên |
| M. Dulock, M. Ru | 2008 | Định lý duy nhất cho đường cong chỉnh hình với siêu mặt |
| P. Li, T. B. Cao | 2008 | Vấn đề duy nhất liên quan đến giả thuyết Brück cho M[f] |
| H. T. Phương, N. V. Thìn | 2015 | Hai định lý cơ bản trên hình vành khuyên với siêu phẳng di động |
| H. T. Phương, T. H. Giang| 2021 | Vấn đề duy nhất trên hình vành khuyên với mục tiêu siêu phẳng |
+--------------------------+------+------------------------------------------------------------------+
Khoảng trống luận án lựa chọn giải quyết
Luận án tập trung giải quyết ba khoảng trống lý thuyết:
- Thiếu vắng các dạng định lý cơ bản (đặc biệt là Định lý cơ bản thứ hai với bội cắt cụt) cho đường cong chỉnh hình trên hình vành khuyên $\Delta$ khi mục tiêu được mở rộng từ siêu phẳng sang các siêu mặt có bậc tùy ý ở vị trí tổng quát.
- Thiếu các tiêu chuẩn xác định duy nhất cho hai đường cong chỉnh hình trên hình vành khuyên đối với mục tiêu là họ các siêu mặt ở vị trí tổng quát đối với phép nhúng Veronese.
- Cần thiết lập tiêu chuẩn chuẩn tắc cho họ các hàm phân hình thỏa mãn quan hệ nghiệm chia sẻ dạng $F = a \Leftrightarrow M[f] = b$ để giải quyết tường minh vấn đề duy nhất liên quan đến giả thuyết Brück cho đa thức vi phân.
Cơ sở lý thuyết và phương pháp nghiên cứu
Cơ sở lý thuyết và các khái niệm sử dụng
Luận án vận dụng hệ thống lý thuyết giải tích phức và hình học đại số:
- Lý thuyết Nevanlinna trên hình vành khuyên: Cho $\Delta = {z \in \mathbb{C} : 1/R < |z| < R}$, các miền con $\Delta_{1,r} = {z \in \mathbb{C} : 1/r < |z| \le 1}$, $\Delta_{2,r} = {z \in \mathbb{C} : 1 < |z| < r}$, $\Delta_r = \Delta_{1,r} \cup \Delta_{2,r}$ ($1 < r < R$). Các đại lượng Nevanlinna cơ bản gồm hàm bù/hàm xấp xỉ $m_0(r, f) = m(r, f) + m(r^{-1}, f)$, hàm đếm cực điểm $N_0(r, f) = N_1(r, f) + N_2(r, f)$, hàm đếm bội cắt cụt $N_0^k(r, f) = N_1^k(r, f) + N_2^k(r, f)$, và hàm đặc trưng Nevanlinna $T_0(r, f) = m_0(r, f) - 2m(1, f) + N_0(r, f)$.
- Lý thuyết Nevanlinna-Cartan trên hình vành khuyên: Cho đường cong chỉnh hình $f = (f_0 : \dots : f_n): \Delta \to \mathbb{P}^n(\mathbb{C})$ với biểu diễn rút gọn $(f_0, \dots, f_n)$ ($|f(z)| = \max_{0 \le j \le n} |f_j(z)|$). Hàm đặc trưng Nevanlinna-Cartan được xác định bởi: $$T_f(r) = \frac{1}{2\pi}\int_0^{2\pi} \log |f(re^{i\theta})| d\theta + \frac{1}{2\pi}\int_0^{2\pi} \log |f(r^{-1}e^{i\theta})| d\theta$$ Hàm xấp xỉ $m_f(r, D)$ và hàm đếm $N_f(r, D)$, $N_f^M(r, D)$ kết hợp với siêu mặt $D$ bậc $d$ xác định bởi đa thức thuần nhất $Q$.
- Lọc Corvaja-Zannier: Xây dựng dãy các không gian con lọc ${W_{(i)}}{(i)\in S}$ của không gian $V_N$ các đa thức thuần nhất bậc $N$ trong $\mathbb{C}[z_0, \dots, z_n]$ dựa trên thứ tự từ điển của các $n$-bộ chỉ số, phục vụ ước lượng số chiều không gian thương $\Delta(i) = \dim(W{(i)}/W_{(i')}) = d^n$ khi $\sigma(i) \le N/d - n$.
- Định thức Wronskian: Sử dụng $W(f_0, \dots, f_n)$ và hàm đếm triệt tiêu $N_W(r, 0)$ để đánh giá sự độc lập tuyến tính và ước lượng chặn trên của hàm xấp xỉ.
- Định lý Nullstellensatz của Hilbert: Sử dụng để biểu diễn lũy thừa tọa độ qua tổ hợp các đa thức xác định siêu mặt ở vị trí tổng quát.
- Lý thuyết họ chuẩn tắc (Normal families): Áp dụng tiêu chuẩn chuẩn tắc kiểu Montel và kỹ thuật Zalcman kết hợp phương pháp phân bố giá trị Nevanlinna để xử lý các bài toán duy nhất.
Phương pháp nghiên cứu
Phương pháp nghiên cứu thuần túy lý thuyết giải tích và toán học trừu tượng:
- Thiết lập các đẳng thức và bất đẳng thức giải tích thông qua tích phân trên đường tròn biên của hình vành khuyên.
- Sử dụng phương pháp lọc không gian đại số Corvaja-Zannier kết hợp định thức Wronskian để kiểm soát số hạng dư và ước lượng chỉ số bội cắt cụt.
- Phương pháp đại số xạ ảnh (phép nhúng Veronese) để quy bài toán vị trí tổng quát của siêu mặt về siêu phẳng trong không gian xạ ảnh chiều cao hơn.
- Phương pháp phản chứng kết hợp tiêu chuẩn họ chuẩn tắc để xác định dạng giải tích của hàm nguyên thỏa mãn quan hệ chia sẻ giá trị.
Nguồn tư liệu nghiên cứu
Tư liệu nghiên cứu gồm các công trình chuyên khảo, bài báo khoa học trên các tạp chí toán học quốc tế và trong nước về lý thuyết Nevanlinna, lý thuyết phân bố giá trị trên hình vành khuyên và bài toán duy nhất kiểu Brück từ năm 1926 đến năm 2021.
Nội dung chính theo từng chương
Chương 1. Hai định lý cơ bản cho đường cong chỉnh hình trên hình vành khuyên
Chương 1 thiết lập các cơ sở giải tích và chứng minh hai định lý cơ bản cho đường cong chỉnh hình $f: \Delta \to \mathbb{P}^n(\mathbb{C})$ đối với các siêu mặt đại số.
+----------------------------------------------------------------------------------------------------+
| TÓM TẮT ĐỊNH LÝ CƠ BẢN THỨ NHẤT VÀ THỨ HAI TRÊN HÌNH VÀNH KHUYÊN (CHƯƠNG 1) |
+----------------------+-----------------------------------------------------------------------------+
| Định lý | Phát biểu toán học chính |
+----------------------+-----------------------------------------------------------------------------+
| Định lý 1.3 | Cho D là siêu mặt bậc d, f(Delta) không chứa trong D. Với 1 < r < R: |
| (ĐL cơ bản thứ nhất) | m_f(r, D) + N_f(r, D) = d T_f(r) + O(1) |
+----------------------+-----------------------------------------------------------------------------+
| Định lý 1.6 | Cho {D_1,...,D_q} bậc d_j ở vị trí tổng quát, d = BCNN(d_1,...,d_q). |
| (ĐL cơ bản thứ hai | Với mọi epsilon in (0, 1) và alpha >= (d[(n+1)^2 2^n / epsilon] + 1)^n: |
| với bội cắt cụt) | || (q - (n + 1) - epsilon) T_f(r) <= d^(-1) sum_{j=1}^q alpha N_f^M(r, D_j)|
| | + O_f(r) |
+----------------------+-----------------------------------------------------------------------------+
-
Định lý cơ bản thứ nhất cho siêu mặt (Định lý 1.3): Tác giả mở rộng Định lý cơ bản thứ nhất cho đường cong chỉnh hình trên hình vành khuyên kết hợp với một siêu mặt $D$ bậc $d$: $$m_f(r, D) + N_f(r, D) = d T_f(r) + O(1)$$ Kết quả này khẳng định tổng của hàm xấp xỉ và hàm đếm kết hợp với siêu mặt $D$ tăng trưởng tương đương với $d$ lần hàm đặc trưng Nevanlinna-Cartan của đường cong.
-
Kỹ thuật bổ trợ:
- Sử dụng định thức Wronskian $W(f_0, \dots, f_n)$ và hàm đếm không điểm $N_W(r, 0)$.
- Ứng dụng Hilbert Nullstellensatz: tồn tại số nguyên $t_k \ge d$ sao cho $\sum_{j=1}^{n+1} Q_{jk}(z_0, \dots, z_n) = z_k^{t_k}$, dẫn đến bất đẳng thức $|f(x)|^{t_k} \le C_1 |f(x)|^{t_k-d} \max_{1 \le j \le n+1} |P_{i_j} \circ f(x)|$.
- Xây dựng lọc Corvaja-Zannier ${W_{(i)}}_{(i)\in S}$ trên không gian đa thức thuần nhất $V_N$ bậc $N$, xác định cơ sở $\mathcal{B} = {\psi_1, \dots, \psi_M}$ tương ứng với các dạng tuyến tính độc lập $L_1, \dots, L_M$ trong $\mathbb{P}^{M-1}(\mathbb{C})$.
-
Định lý cơ bản thứ hai với bội cắt cụt (Định lý 1.6): Cho $f: \Delta \to \mathbb{P}^n(\mathbb{C})$ là đường cong chỉnh hình không suy biến đại số, $D_1, \dots, D_q$ là họ các siêu mặt bậc $d_j$ ở vị trí tổng quát trong $\mathbb{P}^n(\mathbb{C})$, $d = \text{BCNN}(d_1, \dots, d_q)$. Khi đó với mỗi $0 < \varepsilon < 1$ và $\alpha \ge (d[(n+1)^2 2^n \varepsilon^{-1}] + 1)^n$, bất đẳng thức sau thỏa mãn: $$| (q - (n+1) - \varepsilon)T_f(r) \le d^{-1} \sum_{j=1}^q \alpha N_f^M(r, D_j) + O_f(r)$$ đúng với mọi $1 < r < R$ ngoài một tập loại trừ có độ đo thỏa mãn điều kiện tích phân xác định, trong đó số hạng dư $O_f(r)$ được xác định bởi: $$O_f(r) = \begin{cases} O(\log r + \log T_f(r)) & \text{khi } R = +\infty \ O\left(\log \frac{1}{R-r} + \log T_f(r)\right) & \text{khi } R < +\infty \end{cases}$$
Chương 2. Vấn đề duy nhất cho đường cong chỉnh hình trên hình vành khuyên
Chương 2 nghiên cứu các điều kiện đủ để hai đường cong chỉnh hình $f, g: \Delta \to \mathbb{P}^n(\mathbb{C})$ trùng nhau đồng nhất thông qua ảnh ngược của họ các siêu mặt.
+----------------------------------------------------------------------------------------------------+
| CÁC ĐỊNH LÝ XÁC ĐỊNH DUY NHẤT ĐỐI VỚI SIÊU MẶT TRÊN HÌNH VÀNH KHUYÊN (CHƯƠNG 2) |
+---------------+-------------------------------+----------------------------------------------------+
| Định lý | Điều kiện số lượng siêu mặt q | Giả thiết ảnh ngược và kết luận |
+---------------+-------------------------------+----------------------------------------------------+
| Định lý 2.1 | q >= n_D + 1 + 2 n_D^2 / delta_D | f, g không suy biến đại số, O(r) = o(T(r)), |
| | | E_f(D) = E_g(D) => f đồng nhất g |
+---------------+-------------------------------+----------------------------------------------------+
| Định lý 2.2 | q > n_D + 1 + 2 n_D / m_D | (a) f(z) = g(z) trên E_f(D) hợp E_g(D); |
| | | (b) E_f(D_i) giao E_f(D_j) = rong, |
| | | E_g(D_i) giao E_g(D_j) = rong (i != j) |
| | | => f đồng nhất g |
+---------------+-------------------------------+----------------------------------------------------+
-
Hệ thống hàm đếm có trọng: Tác giả đưa vào các khái niệm hàm đếm có trọng và phân chia theo chỉ số bội $k$:
- $N_{f,\le k}(r, D)$, $N_{f,>k}(r, D)$: Hàm đếm kể cả bội tại các không điểm có bội $\le k$ và $> k$.
- $N_{f,\le k}^M(r, D)$, $N_{f,>k}^M(r, D)$: Hàm đếm bội cắt cụt bởi $M$ tại các không điểm có bội $\le k$ và $> k$.
- Thiết lập các bất đẳng thức cơ bản (Mệnh đề 2.1): $$N_f^M(r, D) = N_{f,\le k}^M(r, D) + N_{f,>k}^M(r, D)$$ $$N_{f,\le k}^1(r, D) \le N_{f,\le k}^M(r, D) \le M N_{f,\le k}^1(r, D)$$ $$N_{f,>k}^1(r, D) \le N_{f,>k}^M(r, D) \le M N_{f,>k}^1(r, D)$$
-
Hai định lý xác định duy nhất chính:
- Định lý 2.1 (Trường hợp không xét nghịch ảnh của từng siêu mặt): Cho $f, g: \Delta \to \mathbb{P}^n(\mathbb{C})$ là hai đường cong chỉnh hình không suy biến đại số thỏa mãn $O_f(r) = o(T_f(r))$ và $O_g(r) = o(T_g(r))$. Giả sử ${D_1, \dots, D_q}$ là họ gồm $q \ge n_D + 1 + 2n_D^2/\delta_D$ siêu mặt ở vị trí tổng quát đối với phép nhúng Veronese trong $\mathbb{P}^n(\mathbb{C})$. Khi đó điều kiện $E_f(\mathcal{D}) = E_g(\mathcal{D})$ kéo theo $f \equiv g$.
- Định lý 2.2 (Trường hợp có xét điều kiện nghịch ảnh của từng siêu mặt): Cho $f, g$ là hai đường cong chỉnh hình không suy biến đại số từ $\Delta$ vào $\mathbb{P}^n(\mathbb{C})$ thỏa mãn $O_f(r) = o(T_f(r))$ và $O_g(r) = o(T_g(r))$, họ ${D_1, \dots, D_q}$ gồm $q > n_D + 1 + 2n_D/m_D$ siêu mặt ở vị trí tổng quát đối với phép nhúng Veronese. Giả sử:
- (a) $f(z) = g(z)$ với mọi $z \in \overline{E}_f(\mathcal{D}) \cup \overline{E}_g(\mathcal{D})$;
- (b) $\overline{E}_f(D_i) \cap \overline{E}_f(D_j) = \emptyset$ và $\overline{E}_g(D_i) \cap \overline{E}_g(D_j) = \emptyset$ với mọi $i \ne j$. Khi đó $f \equiv g$.
Chương 3. Vấn đề duy nhất cho hàm nguyên liên quan đến giả thuyết Brück
Chương 3 trình bày các kết quả về tiêu chuẩn chuẩn tắc của họ các hàm phân hình và áp dụng giải quyết bài toán duy nhất cho đa thức vi phân của hàm nguyên liên quan đến giả thuyết Brück.
+----------------------------------------------------------------------------------------------------+
| TIÊU CHUẨN CHUẨN TẮC VÀ ĐỊNH LÝ DUY NHẤT LIÊN QUAN ĐẾN GIẢ THUYẾT BRÜCK (CHƯƠNG 3) |
+---------------+-------------------------------------+----------------------------------------------+
| Định lý | Điều kiện số mũ & bậc vi phân | Kết luận giải tích |
+---------------+-------------------------------------+----------------------------------------------+
| Định lý 3.4 | sum_{j=1}^k n_j >= sum_{j=1}^k t_j, | Ho F cac ham phan hinh thoa man: |
| (Tiêu chuẩn | n + sum_{j=1}^k n_j | f^(n+n_1+...+n_k) = a <=> |
| chuẩn tắc) | >= sum_{j=1}^k t_j + 3 | f^n (f^(n_1))^(t_1)...(f^(n_k))^(t_k) = b |
| | (hoặc +2 đối với họ hàm chỉnh hình) | => F la ho chuan tac |
+---------------+-------------------------------------+----------------------------------------------+
| Định lý 3.5 | 1) k=1, n=0, n_1 >= t_1 + 1; hoặc | f^(n+n_1+...+n_k) - a |
| (Định lý | 2) n >= 1 hoặc k >= 2, | ⇌ f^n (f^(n_1))^(t_1)...(f^(n_k))^(t_k)- b|
| duy nhất) | sum n_j >= sum t_j, | => (M[f] - b) / (F - a) = c. |
| | n + sum n_j >= sum t_j + 2 | Đặc biệt, nếu a = b: f(z) = c_1 e^(t z) |
+---------------+-------------------------------------+----------------------------------------------+
-
Tiêu chuẩn chuẩn tắc cho họ các hàm phân hình (Định lý 3.4): Cho $\mathcal{F}$ là họ các hàm phân hình trên miền phẳng $D \subset \mathbb{C}$, $a, b \in \mathbb{C}$ với $b \ne 0$. Cho $n \in \mathbb{N}, k \in \mathbb{N}^$ và $n_j, t_j \in \mathbb{N}^$ ($j=1, \dots, k$) thỏa mãn: $$\sum_{j=1}^k n_j \ge \sum_{j=1}^k t_j, \quad n + \sum_{j=1}^k n_j \ge \sum_{j=1}^k t_j + 3 \quad (1)$$ Giả sử với mỗi $f \in \mathcal{F}$ ta có: $$f^{n+n_1+\dots+n_k} = a \Longleftrightarrow f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)} = b$$ Khi đó $\mathcal{F}$ là một họ chuẩn tắc trên $D$. Đối với trường hợp $\mathcal{F}$ là họ các hàm chỉnh hình, điều kiện $(1)$ được giảm xuống còn:
- $k = 1, n = 0, n_1 \ge t_1 + 1$; hoặc
- $n \ge 1$ hoặc $k \ge 2$, thỏa mãn $\sum_{j=1}^k n_j \ge \sum_{j=1}^k t_j$ và $n + \sum_{j=1}^k n_j \ge \sum_{j=1}^k t_j + 2$.
-
Định lý duy nhất cho đa thức vi phân (Định lý 3.5): Cho $f$ là hàm nguyên khác hằng, $a, b \in \mathbb{C} \setminus {0}$, và các số nguyên $n, k, n_i, t_i$ thỏa mãn các điều kiện bậc như trong Định lý 3.4. Giả sử: $$f^{n+n_1+\dots+n_k} - a \rightleftharpoons f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)} - b$$ (nghĩa là hai biểu thức có cùng không điểm và cực điểm kể cả bội). Khi đó: $$\frac{f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)} - b}{f^{n+n_1+\dots+n_k} - a} = c \quad (c \text{ là hằng số khác 0})$$ Đặc biệt, nếu $a = b$ thì $f$ có dạng hàm mũ $f(z) = c_1 e^{tz}$, trong đó $c_1, t$ là các hằng số khác 0 và $t$ thỏa mãn phương trình đại số $(t^{n_1})^{t_1} \dots (t^{n_k})^{t_k} = 1$.
Kết quả và những đóng góp mới
Luận án tự nêu các đóng góp mới về mặt lý thuyết giải tích phức bao gồm:
Đóng góp về mặt lý luận khoa học
- Mở rộng lý thuyết Nevanlinna-Cartan trên miền đa liên: Thiết lập thành công dạng Định lý cơ bản thứ nhất (Định lý 1.3) và Định lý cơ bản thứ hai với bội cắt cụt (Định lý 1.6) cho đường cong chỉnh hình trên hình vành khuyên $\Delta$ với mục tiêu là họ các siêu mặt đại số tổng quát bậc $d_j$, mở rộng các kết quả trước đó của H. T. Phương và N. V. Thìn (vốn chỉ xét cho siêu phẳng).
- Thiết lập tiêu chuẩn xác định duy nhất đối với siêu mặt: Chứng minh hai định lý xác định duy nhất (Định lý 2.1 và Định lý 2.2) cho đường cong chỉnh hình không suy biến đại số trên hình vành khuyên thông qua ảnh ngược của họ các siêu mặt ở vị trí tổng quát đối với phép nhúng Veronese.
- Phát triển tiêu chuẩn chuẩn tắc và giải quyết dạng mở rộng của giả thuyết Brück: Đưa ra tiêu chuẩn chuẩn tắc mới (Định lý 3.4) cho họ các hàm phân hình/chỉnh hình chia sẻ giá trị giữa đơn thức lũy thừa và đa thức vi phân; từ đó chứng minh định lý duy nhất (Định lý 3.5) cho hàm nguyên, xác định chính xác cấu trúc giải tích của hàm $f(z) = c_1 e^{tz}$ khi $a=b$.
+---------------------------------------------------------------------------------------------------+
| CÁC CÔNG BỐ KHOA HỌC TRỰC TIẾP TỪ LUẬN ÁN |
+----+-----------------------------------------------------------------------+---------------------+
| STT| Tên bài báo và tác giả | Tạp chí / Năm |
+----+-----------------------------------------------------------------------+---------------------+
| 1 | Leuanglith Vilaisavanh, Ha Tran Phuong. Hai định lý cơ bản trên | Bài báo [40], 2022 |
| | hình vành khuyên cho siêu mặt. | |
| 2 | Leuanglith Vilaisavanh, Ha Tran Phuong. Định lý duy nhất cho đường | Bài báo [39], 2022 |
| | cong chỉnh hình trên hình vành khuyên với siêu mặt. | |
| 3 | Leuanglith Vilaisavanh, Ha Tran Phuong. Tiêu chuẩn chuẩn tắc và vấn | Bài báo [47], 2018 |
| | đề duy nhất liên quan đến giả thuyết Brück. | |
+----+-----------------------------------------------------------------------+---------------------+
Kiến nghị và giải pháp đề xuất
Văn bản luận án hướng tới việc ứng dụng các định lý cơ bản và kỹ thuật lọc không gian đại số vào:
- Nghiên cứu sự phân bố không điểm và cấu trúc nghiệm của các hệ phương trình vi phân phức và đạo hàm riêng phức trên các miền đa liên.
- Tiếp tục mở rộng các lớp bài toán xác định duy nhất cho ánh xạ phân hình nhiều biến phức và ánh xạ vào các đa tạp đại số xạ ảnh tổng quát.
Hạn chế và hướng nghiên cứu tiếp
Dựa trên phạm vi và các giả thiết được nêu trong văn bản luận án:
- Hạn chế về miền xác định: Các kết quả về đường cong chỉnh hình được xây dựng trên hình vành khuyên phẳng một chiều $\Delta \subset \mathbb{C}$; chưa mở rộng trực tiếp cho các miền đa liên tổng quát có giống $g > 1$ hoặc các đa tạp phức nhiều chiều.
- Hạn chế về cấu trúc mục tiêu: Các định lý duy nhất trong Chương 2 đòi hỏi các siêu mặt phải ở vị trí tổng quát đối với phép nhúng Veronese và đường cong phải thỏa mãn điều kiện tăng trưởng $O_f(r) = o(T_f(r))$.
- Hạn chế về bậc vi phân trong giả thuyết Brück: Định lý duy nhất trong Chương 3 yêu cầu các điều kiện chặn dưới nghiêm ngặt về số mũ $\sum n_j \ge \sum t_j$ và $n + \sum n_j \ge \sum t_j + 2$ (hoặc $+3$); các trường hợp số mũ nhỏ hơn vẫn chưa được bao quát.
- Hướng nghiên cứu tiếp:
- Nghiên cứu lý thuyết phân bố giá trị và vấn đề duy nhất cho đường cong chỉnh hình trên hình vành khuyên với mục tiêu là các siêu mặt di động.
- Mở rộng giả thuyết Brück cho trường hợp hàm phân hình tổng quát có bậc $\sigma_2(f) \ge 1/2$.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Giải tích phức và Hình học đại số:
- Đối tượng thụ hưởng: Nghiên cứu sinh, học viên cao học, giảng viên và các nhà nghiên cứu chuyên ngành Toán Giải tích, Giải tích phức, Hình học vi phân và Phương trình vi phân phức.
- Các phần có giá trị tham khảo chuyên sâu:
- Kỹ thuật xây dựng lọc Corvaja-Zannier trên không gian đa thức thuần nhất $V_N$ kết hợp định thức Wronskian để xử lý số hạng bội cắt cụt trong chứng minh Định lý cơ bản thứ hai (Mục 1.3).
- Phương pháp xây dựng và thiết lập hệ thống bất đẳng thức cho các hàm đếm có trọng $N_{f,\le k}^M(r, D)$ trên hình vành khuyên (Mục 2.1).
- Kỹ thuật kết hợp giữa lý thuyết họ chuẩn tắc và phương pháp phân bố giá trị Nevanlinna để giải quyết các bài toán chia sẻ giá trị phi tuyến kiểu Brück (Chương 3).
Câu hỏi thường gặp
1. Hàm đặc trưng Nevanlinna-Cartan cho đường cong chỉnh hình trên hình vành khuyên được định nghĩa như thế nào và có phụ thuộc vào biểu diễn rút gọn không?
Hàm đặc trưng $T_f(r)$ của đường cong chỉnh hình $f = (f_0 : \dots : fn): \Delta \to \mathbb{P}^n(\mathbb{C})$ trên hình vành khuyên $\Delta = {z \in \mathbb{C} : 1/R < |z| < R}$ ($1 < r < R$) được định nghĩa bằng: $$T_f(r) = \frac{1}{2\pi}\int_0^{2\pi} \log |f(re^{i\theta})| d\theta + \frac{1}{2\pi}\int_0^{2\pi} \log |f(r^{-1}e^{i\theta})| d\theta$$ trong đó $|f(z)| = \max_{0 \le j \le n} |f_j(z)|$. Khái niệm này độc lập với mọi cách chọn biểu diễn tối giản (rút gọn) của $f$, sai khác một hằng số giới nội.
2. Định lý cơ bản thứ hai cho đường cong chỉnh hình trên hình vành khuyên (Định lý 1.6) đạt được kết quả gì với bội cắt cụt?
Định lý 1.6 chứng minh rằng với $f$ không suy biến đại số và họ $q$ siêu mặt $D_1, \dots, D_q$ bậc $d_j$ ở vị trí tổng quát ($d = \text{BCNN}(d_1, \dots, d_q)$), với mỗi $\varepsilon \in (0, 1)$ và $\alpha \ge (d[(n+1)^2 2^n \varepsilon^{-1}] + 1)^n$, ta có: $$| (q - (n+1) - \varepsilon)T_f(r) \le d^{-1} \sum_{j=1}^q \alpha N_f^M(r, D_j) + O_f(r)$$ trong đó số hạng dư $O_f(r) = O(\log r + \log T_f(r))$ khi $R = +\infty$ và $O_f(r) = O(\log \frac{1}{R-r} + \log T_f(r))$ khi $R < +\infty$.
3. Điều kiện số lượng siêu mặt $q$ trong các định lý duy nhất ở Chương 2 là bao nhiêu?
- Trong Định lý 2.1 (không xét nghịch ảnh từng siêu mặt), số lượng siêu mặt yêu cầu là $q \ge n_D + 1 + 2n_D^2/\delta_D$.
- Trong Định lý 2.2 (có xét điều kiện tách biệt nghịch ảnh $\overline{E}_f(D_i) \cap \overline{E}_f(D_j) = \emptyset$), số lượng siêu mặt yêu cầu giảm xuống còn $q > n_D + 1 + 2n_D/m_D$.
4. Dạng giải tích của hàm nguyên $f$ nhận được trong Định lý 3.5 liên quan đến giả thuyết Brück là gì?
Khi $f^{n+n_1+\dots+n_k} - a \rightleftharpoons f^n(f^{n_1})^{(t_1)}\dots(f^{n_k})^{(t_k)} - b$ với $a, b \ne 0$, tỉ số giữa đa thức vi phân trừ $b$ và đơn thức trừ $a$ là một hằng số $c$. Đặc biệt khi $a = b$, hàm $f$ có dạng hàm mũ $f(z) = c_1 e^{tz}$, với $c_1, t \ne 0$ và $t$ thỏa mãn phương trình $(t^{n_1})^{t_1} \dots (t^{n_k})^{t_k} = 1$.
Kết luận
Luận án tiến sĩ của tác giả Leuanglith Vilaisavanh đã mở rộng thành công Lý thuyết Nevanlinna-Cartan cho đường cong chỉnh hình trên hình vành khuyên từ mục tiêu siêu phẳng sang họ các siêu mặt đại số tổng quát thông qua việc thiết lập hai định lý cơ bản với bội cắt cụt. Đồng thời, công trình đã xác lập các điều kiện đủ về số lượng siêu mặt đối với phép nhúng Veronese để đảm bảo tính duy nhất của đường cong chỉnh hình trên hình vành khuyên. Ngoài ra, luận án đã xây dựng tiêu chuẩn chuẩn tắc mới cho họ hàm phân hình và giải quyết trọn vẹn bài toán xác định duy nhất liên quan đến giả thuyết Brück cho đa thức vi phân của hàm nguyên.