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 Trí Đạt, chuyên ngành Đại số và lý thuyết số (mã số 9 46 01 04), được thực hiện tại Khoa Toán và Thống kê, Trường Đại học Quy Nhơn dưới sự hướng dẫn của TS. Ngô Lâm Xuân Châu và PGS. Lê Công Trình, bảo vệ năm 2024 tại Bình Định. Luận án tập trung nghiên cứu bài toán xác định nghiệm Liouville tổng quát (liouvillian general solutions) của phương trình vi phân thường đại số cấp một (first-order algebraic ordinary differential equations - AODEs).

Phương trình vi phân đóng vai trò nền tảng trong việc mô tả các quy luật tự nhiên trong vật lý, kỹ thuật, kinh tế và sinh học. Mặc dù các phương trình vi phân tuyến tính có nhiều phương pháp giải giải tích hoàn chỉnh, các phương trình vi phân phi tuyến lại biểu hiện những đặc tính phức tạp và hiện có rất ít phương pháp tìm nghiệm chính xác (exact solution methods). Ý tưởng biến đổi phương trình phi tuyến về phương trình tuyến tính chỉ áp dụng được cho một số trường hợp hạn chế. Do đó, việc nghiên cứu độc lập cấu trúc nghiệm của phương trình vi phân đại số phi tuyến cấp một là một bài toán cơ bản nhưng chứa đựng nhiều thách thức lý thuyết.

Khoảng trống nghiên cứu được luận án chỉ ra xuất phát từ thực trạng các phương pháp hình học đại số trước đây (như các công trình của Feng và Gao giai đoạn 2004–2006, Chen và Ma năm 2005, Ngo và Winkler giai đoạn 2010–2011, Vo và cộng sự năm 2018) chủ yếu tập trung vào việc tìm nghiệm tổng quát hữu tỉ (rational general solutions) hoặc nghiệm đại số (Aroca và cộng sự, 2005), nghiệm căn thức (Grasegger, 2014). Đối với lớp nghiệm rộng hơn là nghiệm Liouville—bao gồm nghiệm đại số, nghiệm nguyên sơ (primitive), nghiệm siêu hàm mũ (hyperexponential) và nghiệm sơ cấp (elementary)—các tiêu chuẩn đại số trước đó của Singer (1975, 1976) và Srinivasan (2017) chỉ giới hạn ở dạng phương trình đơn giản $y' = R(y)$ với $R \in \mathbb{C}(y)$, chưa được mở rộng đầy đủ cho các phương trình vi phân đại số cấp một tổng quát $F(y, y') = 0$ hoặc $F(x, y, y') = 0$.

Mục tiêu nghiên cứu của luận án bao gồm ba định hướng chính:

  1. Phát triển và khảo sát các phương pháp giải tích - đại số mới nhằm xác định nghiệm Liouville của phương trình vi phân thường đại số cấp một thông qua việc chuyển bài toán vi phân sang bài toán hình học đại số;
  2. Thiết lập điều kiện cần và đủ cho sự tồn tại nghiệm Liouville hữu tỉ và nghiệm Liouville của phương trình vi phân thường đại số cấp một tự trị có giống bằng không (genus zero);
  3. Mở rộng phương pháp giải cho phương trình vi phân thường đại số cấp một tổng quát (bao gồm cả trường hợp không tự trị) có giống bằng không thông qua phương trình vi phân tựa tuyến tính liên kết, đồng thời đề xuất hướng tiếp cận giải cho phương trình có giống dương ($g > 0$) thông qua phép biến đổi lũy thừa.

Các câu hỏi nghiên cứu được luận án giải quyết bao gồm:

  1. Điều kiện cần và đủ để một phương trình vi phân thường đại số cấp một tự trị $F(y, y') = 0$ có nghiệm Liouville hữu tỉ là gì, và thuật toán xác định nghiệm này được thiết lập như thế nào?
  2. Mối quan hệ cấu trúc giữa nghiệm Liouville và nghiệm Liouville hữu tỉ đối với phương trình tự trị có đường cong đại số tương ứng thuộc lớp giống bằng không là gì?
  3. Làm thế nào để mở rộng việc tìm nghiệm Liouville cho phương trình vi phân thường đại số cấp một tổng quát $F(x, y, y') = 0$ có giống bằng không dựa trên tham số hóa tối ưu và phương trình vi phân tựa tuyến tính liên kết?
  4. Những phương trình vi phân thường đại số cấp một có giống dương nào có thể xác định được nghiệm Liouville thông qua việc rút gọn cấu trúc đường cong đại số bằng phép biến đổi lũy thừa?

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

  • Đối tượng nghiên cứu: Nghiệm Liouville tổng quát của phương trình vi phân thường đại số cấp một dạng $F(y, y') = 0$ và $F(x, y, y') = 0$, trong đó $F$ là đa thức bất khả quy hai hoặc ba biến.
  • Phạm vi lý thuyết: Trường cơ sở có đặc trưng 0 (cụ thể là trường số phức $\mathbb{C}$); các đường cong đại số phẳng trong mặt phẳng afin $\mathbb{A}^2(\mathbb{C})$ và mặt phẳng xạ ảnh $\mathbb{P}^2(\mathbb{C})$; trường các hàm đại số một biến; mở rộng trường Liouville của $\mathbb{C}(x)$ và $\mathbb{C}$. Luận án khảo sát cả hai lớp phương trình tự trị và không tự trị, phân biệt theo giống hình học $g = 0$ và $g > 0$.

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

Lịch sử nghiên cứu phương trình vi phân bắt nguồn từ các công trình đặt nền móng giải tích của Newton và Leibniz vào những năm 1660–1670. Riêng đối với phương trình vi phân thường đại số cấp một, hướng tiếp cận giải tích và đại số đã được nghiên cứu từ công trình của Fuchs (1884) và sau đó được Ince hệ thống hóa trong chuyên khảo năm 1926. Đến thập niên 1970, Matsuda đã phân loại các trường hàm vi phân không có điểm kỳ dị di động theo các đẳng cấu của trường vi phân. Về nghiệm kỳ dị và nghiệm giải tích đặc biệt, Malmquist (1913) đã nghiên cứu lớp phương trình AODE cấp một có nghiệm phân hình siêu việt, kết quả này được Eremenko xem lại vào năm 1982. Dựa trên lý thuyết của Matsuda, Eremenko (1998) đã đưa ra các xem xét lý thuyết về chặn bậc cho nghiệm hữu tỉ, đặt cơ sở cho việc tìm dạng tường minh của nghiệm.

Bài toán tìm nghiệm dạng đóng của phương trình vi phân bắt đầu từ định lý của Liouville (thập niên 1830) cho phương trình vi phân đơn giản nhất $y' = \alpha$ với $\alpha \in k$ ($k$ là trường vi phân đặc trưng không). Nếu phương trình này có nghiệm trong một mở rộng vi phân sơ cấp $E$ của $k$ có cùng trường hằng số $K$, thì tồn tại các hằng số $c_1, \dots, c_n \in K$ và các phần tử $u_1, \dots, u_n, v \in k$ sao cho: $$\alpha = \sum_{i=1}^n c_i \frac{u_i'}{u_i} + v'$$

Rosenlicht (1968) đã đại số hóa định lý Liouville. Về khía cạnh thuật toán, Risch (1969, 1970) đề xuất phương pháp xác định tích phân sơ cấp $\int u$. Singer (1975, 1976) mở rộng phương pháp của Risch để nghiên cứu nghiệm sơ cấp của AODE cấp một, thiết lập điều kiện cần và đủ để phương trình $y' = R(y) \in \mathbb{C}(y)$ có nghiệm sơ cấp. Đến năm 2017, Srinivasan tổng quát hóa kết quả của Singer cho trường hợp nghiệm Liouville với cùng các điều kiện giải tích. Năm 1986, Kovacic công bố thuật toán hiệu quả tìm nghiệm Liouville của phương trình vi phân tuyến tính cấp hai, chứa thuật toán tìm nghiệm tổng quát hữu tỉ của phương trình Riccati. Hubert (1996) nghiên cứu nghiệm tổng quát ẩn của $F(y, y') = 0$ thông qua cơ sở Gröbner, và Duarte cùng Da Mota (2021) đề xuất phương pháp tính tích phân đầu Liouville.

Điểm khởi đầu cho phương pháp hình học đại số hiện đại áp dụng vào phương trình vi phân là các thuật toán của Feng và Gao (2004, 2006). Phương pháp này quyết định tính giải được và tính toán nghiệm tổng quát hữu tỉ của AODE tự trị cấp một $F(y, y') = 0$ bằng cách xem $F(y, w) = 0$ là một đường cong đại số phẳng. Nghiệm hữu tỉ sẽ tạo ra một tham số hóa hữu tỉ chuẩn tắc (proper rational parametrization) của đường cong, từ đó tìm một phép tái tham số hóa thỏa mãn thành phần thứ hai là đạo hàm của thành phần thứ nhất. Thuật toán tính tham số hóa chuẩn tắc dựa trên công trình của Sendra và Winkler (2001).

Nhiều hướng mở rộng dựa trên ý tưởng của Feng và Gao đã được phát triển:

  • Chen và Ma (2005) sử dụng tham số hóa hữu tỉ để quy bài toán tìm nghiệm tổng quát hữu tỉ của AODE cấp một tham số hóa được về việc giải phương trình Riccati, kết hợp thuật toán của Kovacic (1986). Tuy nhiên, công trình này chưa trọn vẹn do đòi hỏi dạng hữu tỉ của tham số hóa trên trường hàm hữu tỉ.
  • Ngo và Winkler (2010, 2011) giới thiệu phương pháp dựa trên tham số hóa mặt đại số để tìm nghiệm tổng quát hữu tỉ cho AODE tham số hóa được.
  • Vo, Grasegger và Winkler (2018) khắc phục các bước còn thiếu của Chen và Ma bằng cách xác định tham số hóa hữu tỉ tối ưu của đường cong đại số trên trường hàm hữu tỉ, từ đó hoàn thiện thuật toán quyết định tìm nghiệm tổng quát hữu tỉ mạnh (strong rational general solutions).
  • Aroca, Cano, Feng và Gao (2005) nghiên cứu nghiệm đại số bằng tham số hóa địa phương và chuỗi lũy thừa hình thức. Grasegger (2014) khảo sát nghiệm căn thức thông qua tham số hóa căn thức.

Khoảng trống mà luận án lựa chọn giải quyết là kế thừa và kết hợp các kết quả của Feng và Gao (2004, 2006), Srinivasan (2017) và Vo và cộng sự (2018) để mở rộng việc tìm nghiệm từ lớp nghiệm hữu tỉ, căn thức sang toàn bộ lớp nghiệm Liouville tổng quát của AODE cấp một. Luận án giải quyết mối liên hệ bản chất giữa nghiệm Liouville và nghiệm Liouville hữu tỉ trên đường cong giống bằng không, cung cấp thuật toán phân loại nghiệm đại số và nghiệm siêu việt, đồng thời mở rộng phạm vi giải cho AODE giống dương thông qua phép biến đổi lũy thừa.

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

Luận án xây dựng trên nền tảng kết hợp chặt chẽ giữa đại số vi phân (differential algebra) và hình học đại số (algebraic geometry).

Về đại số vi phân:

  • Trường vi phân: Một trường $k$ đặc trưng 0 trang bị phép vi phân $'$ thỏa mãn $(a+b)' = a' + b'$ và $(ab)' = a'b + ab'$. Phần tử $a \in k$ là hằng số nếu $a' = 0$. Vành đa thức vi phân ký hiệu là $K(x){y}$. Separant của đa thức vi phân bất khả quy $F$ cấp $n$ là $S_F = \frac{\partial F}{\partial y^{(n)}}$.
  • Phân tích i-đê-an vi phân: Theo Ritt (1950), i-đê-an vi phân căn ${F}$ sinh bởi $F$ được phân tích thành ${F} = \Sigma_F \cap {F, S_F}$, trong đó $\Sigma_F = {F}:\langle S_F \rangle$ là thành phần tổng quát (general component) và ${F, S_F}$ là thành phần kỳ dị (singular component). Nghiệm tổng quát của phương trình vi phân là một không điểm tổng quát (generic zero) của $\Sigma_F$. Nghiệm kỳ dị là nghiệm làm triệt tiêu separant $S_F$.
  • Mở rộng Liouville: Cho $E$ là mở rộng vi phân của $k$. Phần tử $t \in E$ được gọi là nguyên sơ (primitive) trên $k$ nếu $t' \in k$; siêu hàm mũ (hyperexponential) nếu $t'/t \in k$; Liouville nếu $t$ là đại số, nguyên sơ hoặc siêu hàm mũ trên $k$. Trường $E$ là mở rộng Liouville của $k$ nếu tồn tại tháp các trường vi phân $k = k_0 \subseteq k_1 \subseteq \dots \subseteq k_n = E$ sao cho $k_i = k_{i-1}(t_i)$ với $t_i$ là phần tử Liouville trên $k_{i-1}$. Mở rộng sơ cấp là trường hợp riêng khi các phần tử thêm vào là đại số, hàm mũ ($t'/t = b'$) hoặc logarit ($t' = b'/b$).

Về hình học đại số và trường hàm:

  • Đường cong đại số phẳng: Cho đa thức bất khả quy $F \in K[X, Y]$, đường cong afin là tập không điểm $C = V(F) \subset \mathbb{A}^2(K)$. Đa thức thuần nhất hóa $\hat{F}(X_0, X_1, X_2) = X_0^d F(X_1/X_0, X_2/X_0)$ xác định bao đóng xạ ảnh $\Gamma = V(\hat{F}) \subset \mathbb{P}^2(K)$. Điểm $P$ là điểm kỳ dị nếu tất cả các đạo hàm riêng cấp một của $\hat{F}$ triệt tiêu tại $P$.
  • Giống hình học (Genus): Giống $g$ của đường cong xạ ảnh $\Gamma$ bậc $d$ được tính bởi công thức: $$g = \frac{(d-1)(d-2)}{2} - \sum_{P \in S} \delta_P$$ trong đó $S$ là tập các điểm kỳ dị và $\delta_P$ là bất biến delta của điểm $P$. Nếu các điểm kỳ dị là thông thường với số bội $m_P$, thì $\delta_P = \frac{m_P(m_P - 1)}{2}$. Đường cong là hữu tỉ khi và chỉ khi $g = 0$.
  • Trường hàm đại số một biến: Mở rộng trường $L \supset K$ sao cho $L$ chứa phần tử $x$ siêu việt trên $K$ và $L$ là mở rộng đại số bậc hữu hạn trên $K(x)$. Giống $g_L$ của trường hàm $L$ liên hệ qua công thức giống Hurwitz khi xét mở rộng hữu hạn phân ly bậc $n$: $$2g_E - 2 = n(2g_L - 2) + \sum_{Q} (e_Q - 1)$$
  • Trường hàm đại số liên kết: Nếu $\eta$ là một nghiệm siêu việt trên $K$ của phương trình vi phân $F(y, y') = 0$, thì $K(\eta, \eta')$ là trường hàm đại số liên kết của đường cong đại số $C: F(y, w) = 0$. Khi $C$ có giống bằng không, trường hàm liên kết này đẳng cấu với trường hàm hữu tỉ $K(t)$.
  • Tham số hóa hữu tỉ: Cặp hàm hữu tỉ $P(t) = (r(t), s(t)) \in K(t)^2$ sao cho $F(r(t), s(t)) = 0$. Tham số hóa là chuẩn tắc (proper) nếu ánh xạ xác định bởi $P(t)$ là song hữu tỉ, tương đương với $K(r(t), s(t)) = K(t)$.

Phương pháp nghiên cứu thực tế:

  • Phương pháp hình học đại số: Xem phương trình vi phân $F(y, y') = 0$ như phương trình đại số $F(y, w) = 0$, chuyển đổi bài toán tìm nghiệm hàm sang bài toán tham số hóa đường cong đại số thỏa mãn ràng buộc vi phân.
  • Phương pháp quy biến qua phương trình vi phân tựa tuyến tính: Dùng tham số hóa hữu tỉ tối ưu để quy đổi AODE cấp một về phương trình vi phân tựa tuyến tính $t' = M(x, t)$.
  • Phương pháp khử biến bằng Resultant Sylvester: Dùng $\mathrm{res}_t(A, B)$ để khử tham số và tìm phương trình đại số ẩn $G(x, y) = 0$ cho nghiệm đại số.
  • Tính toán đại số máy tính: Luận án sử dụng phần mềm Maple (gói algcurves) để tính toán bậc, xác định các điểm kỳ dị, tính giống hình học $g$, và tìm tham số hóa chuẩn tắc của các đường cong đại số.
Khái niệm / Công cụ toán học Định nghĩa / Cấu trúc trong văn bản Vai trò / Chức năng trong luận án
Separant $S_F$ $S_F = \frac{\partial F}{\partial y^{(n)}}$ Tách nghiệm tổng quát ($\Sigma_F$) khỏi nghiệm kỳ dị (${F, S_F}$)
Giống hình học $g(\Gamma)$ $g = \frac{(d-1)(d-2)}{2} - \sum_{P \in S} \delta_P$ Tiêu chuẩn phân loại: $g = 0$ (hữu tỉ, tham số hóa được) và $g > 0$
Trường hàm liên kết $K(\eta, \eta')$ Mở rộng sinh bởi nghiệm siêu việt $\eta$ và đạo hàm $\eta'$ Cầu nối giữa nghiệm phương trình vi phân và trường hàm của đường cong
Tham số hóa chuẩn tắc $P(t)$ $(r(t), s(t)) \in K(t)^2$, $K(r(t), s(t)) = K(t)$ Chuyển đổi phương trình vi phân sang phương trình vi phân của biến tham số $t$
Resultant Sylvester $\mathrm{res}_t$ Định thức ma trận Sylvester bậc $(n+m)$ Khử tham số $t$, tìm đa thức triệt tiêu ẩn $G(x, y) = 0$ của nghiệm đại số
Phép biến đổi lũy thừa Đổi biến dạng đơn thức lũy thừa trên $y$ và $w$ Rút gọn đường cong đại số giống dương về dạng có giống bằng không

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

Chương 1: Kiến thức chuẩn bị (Preliminaries)

Chương 1 hệ thống hóa các khái niệm và công cụ giải tích - đại số cơ sở được sử dụng xuyên suốt luận án. Nội dung chương gồm 5 tiểu mục:

  • Mục 1.1 trình bày đại số vi phân, định nghĩa phép vi phân, vành đa thức vi phân $K(x){y}$, cấu trúc i-đê-an vi phân nguyên tố, nghiệm kỳ dị và nghiệm tổng quát theo lý thuyết của Ritt. Mục này cũng phân biệt ranh giới giữa mở rộng Liouville và mở rộng sơ cấp, minh họa qua phương trình vi phân $y' - 2xy - 1 = 0$ có nghiệm tổng quát chứa tích phân Gauss $\int \exp(-x^2)dx$ thuộc mở rộng Liouville nhưng không thuộc mở rộng sơ cấp.
  • Mục 1.2 định nghĩa đường cong đại số phẳng trong mặt phẳng afin $\mathbb{A}^2(K)$ và mặt phẳng xạ ảnh $\mathbb{P}^2(K)$, các khái niệm điểm kỳ dị, số bội, và công thức tính giống hình học thông qua các bất biến delta. Luận án trình bày các câu lệnh cụ thể trong Maple (singularities, genus) để tính toán giống của đường cong.
  • Mục 1.3 trình bày lý thuyết trường hàm đại số một biến, vành định giá, điểm (places), bậc phân nhánh và công thức giống Hurwitz. Các mô hình trường hàm giống 0 và trường hàm siêu elliptic được khảo sát chi tiết.
  • Mục 1.4 khảo sát hàm hữu tỉ trên đường cong đại số, thiết lập đẳng cấu giữa trường hàm hữu tỉ của đường cong xạ ảnh $R(\hat{F})$ và trường các thương của vành tọa độ afin $Q(K[F]) \cong K(x, y)$.
  • Mục 1.5 chuẩn bị hai công cụ trọng tâm: trường hàm đại số liên kết và tham số hóa hữu tỉ. Định lý 1.7 khẳng định nếu $\eta$ là một nghiệm siêu việt của $F(y, y') = 0$ thì $K(\eta, \eta')$ là trường hàm liên kết của đường cong $C: F(y, w) = 0$; khi $C$ có giống bằng không, $K(\eta, \eta')$ đẳng cấu với trường hàm hữu tỉ $K(t)$. Định lý 1.9 khẳng định một đường cong đại số là hữu tỉ khi và chỉ khi giống của nó bằng không.

Chương 2: Nghiệm Liouville hữu tỉ của AODE tự trị cấp một (Rational liouvillian solutions of first-order autonomous AODEs)

Chương 2 tập trung nghiên cứu nghiệm Liouville hữu tỉ của phương trình vi phân thường đại số cấp một tự trị $F(y, y') = 0$ với $F(y, w) \in \mathbb{C}[y, w]$ bất khả quy:

  • Mục 2.1 điểm lại phương pháp của Feng và Gao (2004) tìm nghiệm tổng quát hữu tỉ qua tham số hóa chuẩn tắc $(r(x), s(x))$ với điều kiện $a r'(x) = s(x)$ hoặc $a(x-b)^2 r'(x) = s(x)$, đồng thời giới thiệu thuật toán RatSol. Mục này cũng trình bày hướng tiếp cận của Aroca và cộng sự (2005) đối với nghiệm đại số $G(x, y) = 0$, nêu rõ các chặn bậc $\deg_x G = \deg_w F$ và $\deg_y G \le \deg_y F + \deg_w F$, cùng khái niệm tháp căn thức và nghiệm căn thức của Grasegger (2014).
  • Mục 2.2 đưa ra các định nghĩa nền tảng:
    • Định nghĩa 2.2: Phần tử $t \in E \setminus \mathbb{C}$ được gọi là một phần tử Liouville hữu tỉ (rational liouvillian element) trên $\mathbb{C}$ nếu $t' \in \mathbb{C}(t)$, tương đương với việc $t$ là một nghiệm Liouville không hằng của phương trình vi phân dạng $y' = R(y)$ với $R \in \mathbb{C}(y)$.
    • Định nghĩa 2.3: Nghiệm $y = r(t)$ của $F(y, y') = 0$ được gọi là nghiệm Liouville hữu tỉ (rational liouvillian solution) trên $\mathbb{C}$ nếu $r(t) \in \mathbb{C}(t)$ và $t$ là một phần tử Liouville hữu tỉ trên $\mathbb{C}$. Luận án chứng minh qua các ví dụ rằng lớp nghiệm này mở rộng và chứa các lớp nghiệm hữu tỉ, nghiệm phân thức hữu tỉ và nghiệm căn thức trước đây. Ví dụ, phương trình $y^2 y'^2 - y^2 + 1 = 0$ có nghiệm $y(x) = \sqrt{x^2+1}$ biểu diễn được dưới dạng hàm hữu tỉ của phần tử Liouville hữu tỉ $t = (x + 1 + \sqrt{x^2+1})/2$.
  • Mục 2.3 thiết lập các điều kiện cần và đủ:
    • Định lý 2.1: Nếu phương trình $F(y, y') = 0$ có nghiệm Liouville hữu tỉ không hằng thì đường cong đại số tương ứng $F(y, w) = 0$ phải là đường cong hữu tỉ ($g = 0$).
    • Định lý 2.4 và Định lý 2.7 (Định lý chính): Phương trình $F(y, y') = 0$ có nghiệm Liouville hữu tỉ không hằng khi và chỉ khi đường cong $F(y, w) = 0$ là hữu tỉ và với mọi tham số hóa chuẩn tắc $(r(t), s(t))$, hàm $h(t) = \frac{dr/dt}{s(t)}$ phải có dạng $\frac{dz}{dt}$ hoặc $\frac{dz/dt}{az}$ với $z \in \mathbb{C}(t)$ và $a \in \mathbb{C} \setminus {0}$. Trong trường hợp thứ nhất, đặt $z(t) = x$; trong trường hợp thứ hai, đặt $z(t) = \exp(ax)$. Khi đó $r(g(x+c))$ là nghiệm Liouville hữu tỉ tổng quát. Bổ đề 2.6 khẳng định tính giải được này độc lập với việc chọn tham số hóa chuẩn tắc.
  • Mục 2.4 xây dựng Thuật toán RatLiouSol (trang 33) nhận đầu vào là đường cong $F(y, w) = 0$ và trả về nghiệm Liouville hữu tỉ tổng quát nếu tồn tại. Các ví dụ minh họa chi tiết bao gồm phương trình bậc cao có nghiệm hữu tỉ, phương trình $y^5 - y'^2 = 0$ có nghiệm căn thức $y = \sqrt[3]{4/(9(x+c)^2)}$, phương trình $y^2 + y'^2 = 1$ có nghiệm lượng giác $y = \frac{i}{2}(\exp(ix) - \exp(-ix))$, và phương trình $y'^5 + y^2 y'^3 - 3y^2 y'^2 + 3y^2 y' - y^2 = 0$ không có nghiệm Liouville hữu tỉ.

Chương 3: Nghiệm Liouville của AODE tự trị cấp một giống bằng không (Liouvillian solutions of first-order autonomous AODEs of genus zero)

Chương 3 mở rộng phạm vi từ nghiệm Liouville hữu tỉ sang toàn bộ không gian nghiệm Liouville của AODE tự trị cấp một có giống bằng không:

  • Mục 3.1 trình bày công cụ Resultant Sylvester. Định lý 3.2 chứng minh rằng nếu $P(t) = (r(t), s(t))$ là tham số hóa hữu tỉ của đường cong $C$ xác định bởi $F(x, y) = 0$, thì tồn tại số nguyên $h \in \mathbb{N}$ sao cho $\mathrm{res}_t(H_1^P(t, x), H_2^P(t, y)) = (F(x, y))^h$, trong đó $h = 1$ khi và chỉ khi tham số hóa là chuẩn tắc.
  • Mục 3.2 thiết lập kết quả cốt lõi tại Bổ đề 3.2: Cho $F(y, w) = 0$ là một đường cong hữu tỉ. Nếu $\eta$ là một nghiệm Liouville của $F(y, y') = 0$ trên $\mathbb{C}$, thì $\eta$ nhất thiết phải là một nghiệm Liouville hữu tỉ trên $\mathbb{C}$. Bổ đề này thu hẹp bài toán tìm nghiệm Liouville bất kỳ về bài toán tìm nghiệm Liouville hữu tỉ đã giải quyết ở Chương 2.
  • Mục 3.3 xây dựng Thuật toán LiouSolAut (trang 45) và phân loại nghiệm thành hai nhánh:
    • Nhánh nghiệm đại số: Sử dụng Resultant Sylvester để khử tham số $t$ trực tiếp từ quan hệ đại số $z(t) - (x + c) = 0$ và $y - r(t) = 0$, thu được phương trình triệt tiêu dạng ẩn $G(x, y) = 0$. Phương pháp này giải quyết trực tiếp mà không cần tính khai triển chuỗi lũy thừa hình thức hay giải hệ tuyến tính như trong thuật toán của Aroca và cộng sự (2005).
    • Nhánh nghiệm siêu việt: Thuật toán xác định nghiệm dưới dạng giải tích đóng hội tụ từ quan hệ $z(t) = \exp(a(x+c))$.
  • Cũng trong chương này, dựa trên kết quả của Srinivasan (2017), luận án khẳng định các AODE tự trị có giống $g > 0$ không có nghiệm Liouville không hằng nếu đường cong không tham số hóa được, từ đó đặt ra tiền đề cho Chương 4 nghiên cứu các lớp AODE giống dương có thể đưa về giống bằng không.

Chương 4: Nghiệm Liouville của AODE cấp một (Liouvillian solutions of first-order AODEs)

Chương 4 hoàn thiện lý thuyết cho phương trình vi phân thường đại số cấp một tổng quát và khảo sát các phương trình có giống dương:

  • Mục 4.1 nghiên cứu nghiệm Liouville của AODE cấp một có giống bằng không, mở rộng cho cả phương trình không tự trị $F(x, y, y') = 0$. Thông qua việc áp dụng tham số hóa hữu tỉ tối ưu của đường cong trên trường hàm $\mathbb{C}(x)$, phương trình vi phân ban đầu được chuyển đổi tương đương sang một phương trình vi phân tựa tuyến tính cấp một liên kết có dạng $t' = M(x, t)$ với $M(x, t) \in \mathbb{C}(x, t)$. Luận án chứng minh tính tương đương về tính giải được Liouville giữa phương trình ban đầu và phương trình tựa tuyến tính liên kết, từ đó đề xuất Thuật toán LiouSol (trang 57).
  • Mục 4.2 khảo sát phương trình vi phân có giống dương ($g > 0$). Luận án đưa ra Định nghĩa 4.1 về phép biến đổi lũy thừa (power transformations) đối với các biến $y$ và $w$ của đa thức $F(y, w)$, và xây dựng Thuật toán RedPol (trang 67) để tính toán dạng rút gọn (reduced forms) của đa thức bất khả quy. Nếu dạng rút gọn có giống bằng không, nghiệm Liouville của phương trình ban đầu có thể tìm được bằng cách kéo ngược nghiệm Liouville của dạng rút gọn.
  • Luận án cũng khảo sát các phép biến đổi Möbius trên biến độc lập $x$.
  • Mục 4.3 và 4.4 nghiên cứu bài toán giải AODE cấp một có hệ số nằm trong trường mở rộng Liouville của $\mathbb{C}(x)$. Bằng các phép đổi biến thích hợp, bài toán được quy về việc giải phương trình vi phân đại số có hệ số trong $\mathbb{C}(x)$.

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

Luận án đã đạt được 5 đóng góp khoa học chính về mặt lý luận và thuật toán:

  1. Định nghĩa khái niệm nghiệm Liouville hữu tỉ (Định nghĩa 2.3) và thiết lập Thuật toán RatLiouSol (trang 33) cho phép quyết định và tính toán nghiệm Liouville hữu tỉ của AODE tự trị cấp một.
  2. Chứng minh định lý cấu trúc (Bổ đề 3.2) khẳng định mọi nghiệm Liouville của AODE tự trị cấp một có giống bằng không đều là nghiệm Liouville hữu tỉ. Đề xuất Thuật toán LiouSolAut (trang 45) phân loại hoàn chỉnh nghiệm thành hai trường hợp đại số và siêu việt, đồng thời cung cấp phương pháp khử bằng Resultant Sylvester để xác định dạng ẩn $G(x, y) = 0$ cho nghiệm đại số.
  3. Đề xuất Thuật toán LiouSol (trang 57) xác định nghiệm Liouville của AODE cấp một có giống bằng không (bao gồm cả trường hợp tự trị và không tự trị) thông qua phương trình vi phân tựa tuyến tính cấp một liên kết và tham số hóa hữu tỉ tối ưu.
  4. Định nghĩa phép biến đổi lũy thừa (Định nghĩa 4.1) và thiết lập Thuật toán RedPol (trang 67) tìm dạng rút gọn của AODE cấp một, mở ra phương pháp giải nghiệm Liouville cho một lớp AODE cấp một có giống dương khi dạng rút gọn tương ứng có giống bằng không.
  5. Thiết lập phương pháp biến đổi quy bài toán giải AODE cấp một có hệ số trong mở rộng Liouville về bài toán giải AODE với hệ số hữu tỉ thông qua các phép đổi biến.
Tên thuật toán Vị trí trong luận án Dữ liệu đầu vào Kết quả đầu ra Phạm vi áp dụng
RatSol Trang 24 (từ [14]) Đa thức $F(y, w) \in \mathbb{Q}[y, w]$ Nghiệm tổng quát hữu tỉ AODE tự trị cấp một có giống $g = 0$
RatLiouSol Trang 33 Đường cong $F(y, w) = 0$ Nghiệm Liouville hữu tỉ tổng quát AODE tự trị cấp một
LiouSolAut Trang 45 Đường cong hữu tỉ $F(y, w) = 0$ Nghiệm Liouville (đại số hoặc siêu việt) AODE tự trị cấp một có giống $g = 0$
LiouSol Trang 57 AODE cấp một $F(x, y, y') = 0$ Nghiệm Liouville tổng quát AODE cấp một tổng quát có giống $g = 0$
RedPol Trang 67 Đa thức bất khả quy $F(y, w)$ Dạng rút gọn của đa thức AODE cấp một có giống dương ($g > 0$)

Về mặt kiến nghị và giải pháp đề xuất, tác giả đề xuất tích hợp các thuật toán đã xây dựng vào các thư viện đại số máy tính (như gói algcurves của Maple) để giải quyết tự động lớp phương trình vi phân đại số phi tuyến mà các bộ giải truyền thống chưa xử lý được.

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

Văn bản luận án chỉ ra các hạn chế và hướng nghiên cứu tiếp như sau:

  • Về mặt hạn chế:
    • Thuật toán RatLiouSol ở Chương 2 chưa hoàn toàn quyết định được dạng tường minh của hàm $t = g(x)$ trong mọi trường hợp tổng quát khi tích phân không thể đảo ngược một cách giải tích trực tiếp.
    • Đối với phương trình vi phân có giống dương ($g > 0$), phương pháp biến đổi lũy thừa qua thuật toán RedPol chỉ áp dụng được cho lớp phương trình có dạng rút gọn quy về giống bằng không; chưa giải quyết được bài toán tổng quát cho các đường cong giống dương không quy biến được.
    • Nghiên cứu chỉ giới hạn ở phương trình vi phân đại số cấp một, chưa xét đến hệ phương trình hoặc phương trình vi phân đại số cấp cao hơn ($n \ge 2$).
  • Về hướng nghiên cứu tiếp:
    • Nghiên cứu tiêu chuẩn giải nghiệm Liouville cho AODE cấp một có giống dương tổng quát mà không đòi hỏi điều kiện quy biến về giống bằng không.
    • Mở rộng phương pháp đại số - hình học để giải phương trình vi phân thường đại số cấp cao $F(x, y, y', \dots, y^{(n)}) = 0$.
    • Tối ưu hóa và xây dựng gói phần mềm hoàn chỉnh thực thi toàn bộ các thuật toán được công bố trong luận án.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên sâu trong các lĩnh vực:

  • Nghiên cứu sinh và nhà nghiên cứu: Cung cấp tài liệu tham khảo hữu ích cho các hướng nghiên cứu về đại số máy tính (computer algebra), đại số vi phân, lý thuyết Galois vi phân và hình học đại số tính toán.
  • Giảng viên đại học: Sử dụng làm tài liệu giảng dạy chuyên đề cao học và nghiên cứu sinh ngành Đại số và lý thuyết số hoặc Toán giải tích, đặc biệt là phần giao thoa giữa lý thuyết đường cong đại số và phương trình vi phân.
  • Các nhà phát triển phần mềm toán học: Tham khảo các bước của 4 thuật toán (RatLiouSol, LiouSolAut, LiouSol, RedPol) để cài đặt các hàm giải nghiệm ký hiệu (symbolic solvers) cho phương trình vi phân phi tuyến.
  • Phần đáng tham khảo nhất: Tiêu chuẩn kiểm tra nghiệm Liouville qua hàm $h(t) = \frac{dr/dt}{s(t)}$ tại Chương 2; kỹ thuật sử dụng Resultant Sylvester để xác định dạng ẩn của nghiệm đại số tại Chương 3; và phương pháp quy biến qua phương trình vi phân tựa tuyến tính liên kết tại Chương 4.

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

  1. Phần tử Liouville hữu tỉ và nghiệm Liouville hữu tỉ được định nghĩa như thế nào trong luận án? Theo Định nghĩa 2.2 và 2.3, một phần tử $t$ trong mở rộng Liouville $E$ của $\mathbb{C}$ được gọi là phần tử Liouville hữu tỉ nếu $t' \in \mathbb{C}(t)$. Nghiệm $y = r(t)$ của AODE tự trị $F(y, y') = 0$ được gọi là nghiệm Liouville hữu tỉ nếu $r(t) \in \mathbb{C}(t)$ và $t$ là một phần tử Liouville hữu tỉ trên $\mathbb{C}$.

  2. Mối quan hệ giữa nghiệm Liouville tổng quát và nghiệm Liouville hữu tỉ đối với AODE tự trị giống bằng không là gì? Theo Bổ đề 3.2 của luận án, nếu một AODE tự trị cấp một có đường cong đại số tương ứng thuộc giống bằng không ($g = 0$) và thừa nhận một nghiệm Liouville $\eta$ trên $\mathbb{C}$, thì $\eta$ nhất thiết phải là một nghiệm Liouville hữu tỉ. Điều này khẳng định không tồn tại nghiệm Liouville nào nằm ngoài lớp nghiệm Liouville hữu tỉ đối với AODE tự trị có giống bằng không.

  3. Hàm $h(t)$ trong thuật toán RatLiouSol giữ vai trò gì để quyết định sự tồn tại của nghiệm Liouville hữu tỉ? Cho tham số hóa chuẩn tắc $(r(t), s(t))$ của đường cong $F(y, w) = 0$, hàm $h(t) = \frac{dr/dt}{s(t)}$. Phương trình có nghiệm Liouville hữu tỉ khi và chỉ khi $h(t)$ có dạng đạo hàm $\frac{dz}{dt}$ hoặc dạng logarit $\frac{dz/dt}{az}$ với $z \in \mathbb{C}(t)$ và $a \in \mathbb{C} \setminus {0}$. Nếu thỏa mãn, nghiệm tương ứng được xác định bằng cách đặt $z(t) = x$ hoặc $z(t) = \exp(ax)$.

  4. Resultant Sylvester được sử dụng như thế nào để tìm nghiệm đại số trong thuật toán LiouSolAut? Khi thuật toán LiouSolAut xác định nghiệm thuộc nhánh đại số với $z(t) = x + c$, tác giả sử dụng Resultant Sylvester đối với biến $t$ giữa hai đa thức tử số của $z(t) - (x + c) = 0$ và $y - r(t) = 0$. Kết quả triệt tiêu tham số $t$ cho ra trực tiếp phương trình đại số bất khả quy dạng ẩn $G(x, y) = 0$ của nghiệm mà không cần tính chuỗi lũy thừa hình thức.

  5. Phương pháp biến đổi lũy thừa (power transformations) giúp giải quyết AODE có giống dương ($g > 0$) như thế nào? Luận án sử dụng phép biến đổi lũy thừa trên các biến $y$ và $w$ thông qua thuật toán RedPol để đưa đa thức bất khả quy $F(y, w)$ về dạng rút gọn. Nếu dạng rút gọn này tương ứng với một đường cong đại số có giống bằng không, phương trình vi phân liên kết có thể giải được để tìm nghiệm Liouville, sau đó kéo ngược lại để thu được nghiệm Liouville của phương trình vi phân ban đầu.

Kết luận

Luận án của nghiên cứu sinh Nguyễn Trí Đạt đã giải quyết trọn vẹn bài toán xác định và phân loại nghiệm Liouville cho phương trình vi phân thường đại số cấp một có giống bằng không thông qua phương pháp hình học đại số. Công trình chứng minh định lý cấu trúc khẳng định mọi nghiệm Liouville của AODE tự trị giống bằng không đều quy về nghiệm Liouville hữu tỉ, đồng thời đề xuất hệ thống các thuật toán hình thức (RatLiouSol, LiouSolAut, LiouSol, RedPol) có khả năng cài đặt trực tiếp trên hệ thống đại số máy tính. Luận án cũng mở ra hướng tiếp cận khả thi cho việc giải các phương trình vi phân đại số có giống dương thông qua kỹ thuật rút gọn bằng phép biến đổi lũy thừa.