Tổng quan luận án

Đa thức là một trong những đối tượng nghiên cứu cơ bản trong nhiều lĩnh vực toán học như Giải tích, Đại số và Hình học. Về mặt ứng dụng thực tiễn, đa thức một và nhiều biến được sử dụng để xây dựng các phần tử hữu hạn (finite elements) và các đường cong/mặt cong spline phục vụ tính toán gần đúng cũng như thiết kế hình học. Trong các bài toán thực tế, khi đối tượng nghiên cứu là một hàm số chưa biết nhưng có thể thu thập được một số hữu hạn thông tin (như giá trị hàm hoặc đạo hàm tại các điểm mốc), phương pháp tiếp cận kinh điển là thiết lập một đa thức nội suy nhận cùng các dữ liệu đó để xấp xỉ hàm ban đầu.

Khác với không gian một chiều $\mathbb{R}$ — nơi bài toán nội suy Lagrange và Hermite luôn tồn tại nghiệm duy nhất khi chọn các mốc nội suy phân biệt — trong không gian nhiều chiều $\mathbb{R}^n$ ($n \ge 2$), một tập hợp gồm $\binom{n+d}{n}$ điểm phân biệt bất kỳ chưa chắc đã là tập giải duy nhất đối với không gian đa thức bậc không vượt quá $d$, ký hiệu là $\mathcal{P}_d(\mathbb{R}^n)$. Việc xác định tính chính quy (regularity), tìm các điều kiện hình học/đại số đảm bảo tính giải duy nhất, cũng như xây dựng công thức biểu diễn tường minh của đa thức nội suy nhiều biến là bài toán mở có nhiều thách thức. Luận án tiến sĩ toán học của nghiên cứu sinh Lê Ngọc Cường (chuyên ngành Toán giải tích, Trường Đại học Sư phạm Hà Nội, năm 2025, dưới sự hướng dẫn của PGS. Phùng Văn Mạnh và TS. Phan Thanh Tùng) tập trung giải quyết khoảng trống này bằng cách xây dựng các lược đồ nội suy Hermite chính quy mới, thiết lập toán tử dạng Taylor và mở rộng sang các không gian đa thức thuần nhất.

Mục tiêu và các bài toán nghiên cứu chính được văn bản xác định cụ thể như sau:

  1. Bài toán 1 (Bài toán nội suy tổng quát bởi đa thức): Cho $V$ là không gian định chuẩn thực các hàm số xác định trên miền $\Omega \subset \mathbb{R}^n$, chứa không gian con hữu hạn chiều các đa thức $\mathcal{P}$. Cho trước họ phiếm hàm $\mathcal{F} = {\mu_k : k = 1, \dots, m}$ trên $V$ và tập giá trị ${c_1, \dots, c_m} \subset \mathbb{R}$. Tìm đa thức $P \in \mathcal{P}$ sao cho $\mu_k(P) = c_k$ với mọi $k = 1, \dots, m$. Bài toán là chính quy khi và chỉ khi $P$ tồn tại duy nhất, đòi hỏi điều kiện cần $\dim \mathcal{P} = m = \binom{n+d}{n}$ khi $\mathcal{P} = \mathcal{P}_d(\mathbb{R}^n)$.
  2. Bài toán 2 (Bài toán nội suy Hermite loại đầy đủ các bậc trong $\mathbb{R}^n$): Cho $m$ điểm phân biệt ${b_1, \dots, b_m} \subset \mathbb{R}^n$ và các bậc $d_1, \dots, d_m \in \mathbb{N}$ thỏa mãn $\sum_{j=1}^m \binom{n+d_j}{n} = \binom{n+d}{n}$. Tìm điều kiện để hệ phương trình $\frac{\partial^{|\alpha|} P}{\partial x^\alpha}(b_j) = c_{j,\alpha}$ (với $1 \le j \le m, |\alpha| \le d_j$) có nghiệm duy nhất trong $\mathcal{P}_d(\mathbb{R}^n)$.
  3. Bài toán 3 (Bài toán nội suy Hermite với toán tử đạo hàm riêng sinh bởi đa thức): Cho tập $m$ điểm phân biệt ${a_1, \dots, a_m} \subset \mathbb{R}^n$ và các số nguyên dương $n_1, \dots, n_m, d$ thỏa mãn $\sum_{j=1}^m n_j = \binom{n+d}{n}$. Tìm các toán tử đạo hàm riêng tường minh $P_{jk}(D)$ ($1 \le j \le m, 0 \le k \le n_j - 1$) sao cho bài toán $P_{jk}(D)P(a_j) = f_{jk}$ có nghiệm duy nhất trong $\mathcal{P}_d(\mathbb{R}^n)$.
  4. Bài toán 4 (Bài toán nội suy Hermite trên không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$): Thiết lập bài toán nội suy loại đầy đủ các bậc trên nửa trên mặt cầu đơn vị $S_+^N \subset \mathbb{R}^{N+1}$ và khảo sát mối liên hệ với bài toán nội suy trong $\mathcal{P}_d(\mathbb{R}^N)$.

Đối tượng nghiên cứu của luận án bao gồm: đa thức nhiều biến, toán tử đạo hàm riêng $Q(D)$, lược đồ nội suy chính quy, đa thức nội suy Lagrange, đa thức nội suy Hermite và đa thức kiểu Taylor. Phạm vi nghiên cứu đặt trong không gian Euclid thực $\mathbb{R}^n$ ($n \ge 2$), $\mathbb{R}^N$, $\mathbb{R}^{N+1}$, hình cầu đơn vị $B_N$, mặt cầu đơn vị $S^N$, nửa trên mặt cầu $S_+^N$, không gian đa thức $\mathcal{P}_d(\mathbb{R}^n)$ và không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$.

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

Trong phần tổng quan các vấn đề nghiên cứu, tác giả điểm lại các mốc phát triển chính của lý thuyết nội suy đa thức nhiều biến:

  • Nội suy Lagrange và điều kiện hình học GC: Yao (1989) đưa ra điều kiện hình học GC (Condition GC) để xác định tập giải duy nhất cho nội suy Lagrange nhiều biến dựa trên hệ thống các siêu phẳng phân biệt. L. Bos đề xuất phương pháp chọn điểm trên các tập đại số $V_k \subset \mathbb{R}^n$ với ideal chính $I(V_k) = \langle q_k \rangle$ để xây dựng tập giải duy nhất bậc $d$. Calvi tổng quát phương pháp cổ điển của Bierman để xây dựng tập giải duy nhất trong $\mathbb{R}^{n_1+n_2}$ từ tích trực tiếp của các tập giải duy nhất trên $\mathbb{R}^{n_1}$ và $\mathbb{R}^{n_2}$.
  • Nội suy Hermite loại đầy đủ các bậc: Lorentz (1992, chuyên khảo) tập hợp các kết quả về tính chính quy và tính kỳ dị của nội suy Hermite loại đầy đủ các bậc trên $\mathcal{P}_d(\mathbb{R}^n)$ và không gian tích ten-xơ $\Pi_d(\mathbb{R}^n)$. Một kết quả khẳng định: trong $\mathbb{R}^n$ ($n \ge 2$), loại nội suy Hermite loại đầy đủ các bậc duy nhất chính quy với mọi cách chọn mốc là nội suy Taylor; với số mốc $2 \le m \le n+1$, bài toán luôn không chính quy trừ trường hợp nội suy Lagrange.
  • Nội suy với đạo hàm theo hướng: T. Bloom và Y. Xu (1992) nghiên cứu lược đồ nội suy Hermite với dãy đạo hàm theo hướng cấp tăng dần, xác định điều kiện cần và đủ để lược đồ chính quy hầu khắp nơi và chứng minh tính chính quy của lược đồ trên các đường tròn đồng tâm trong $\mathbb{R}^2$ với đạo hàm theo bán kính.
  • Toán tử đạo hàm riêng từ siêu mặt đại số: L. Calvi (2005) sử dụng tham số hóa địa phương $L = (a, U, R)$ tại điểm chính quy $a$ của siêu mặt đại số $V$ trong $\mathbb{R}^n$ để xây dựng không gian tối thiểu $\mathcal{P}_{L\downarrow}^d$ (dựa trên lý thuyết của C. de Boor và A. Ron), từ đó tạo ra các toán tử đạo hàm riêng $\text{Diff}(L, d)$ và đa thức Taylor địa phương.
  • Nội suy Hermite trên $\mathbb{R}^2$ và các không gian đặc thù: Phùng Văn Mạnh (2014, 2017) tìm điều kiện chia hết cho đa thức hai biến $q_a(x_1, x_2) = (x_1-a_1)^2 + (x_2-a_2)^2$ qua đạo hàm phức $\partial/\partial x$, xây dựng lược đồ nội suy Hermite chính quy trên $\mathbb{R}^2$, thiết lập đa thức kiểu Taylor và công thức Newton cho đa thức nội suy; đồng thời mở rộng lên mặt cầu đơn vị trong $\mathbb{R}^3$ và không gian đa thức chẵn $S_d$ đối với biến $y$.
  • Tính liên tục của toán tử nội suy: T. Bloom và J.-P. Calvi đưa ra điều kiện đủ để dãy toán tử nội suy Hermite loại đầy đủ các bậc đối với $\mathcal{P}_d(\mathbb{R}^n)$ hội tụ về đa thức Taylor $T_d^0(f)$ khi các mốc tụ về gốc tọa độ. P. Long và cộng sự nghiên cứu tính liên tục của đa thức nội suy đối với không gian đa thức thuần nhất hai chiều $\mathcal{H}_d(\mathbb{R}^2)$.

Vị trí của luận án được xác lập từ các khoảng trống nghiên cứu cụ thể:

  1. Đa thức bậc hai $q_a(x) = |(x_m-a_m) + c(x_j-a_j)|^2$ ($c \in \mathbb{C} \setminus \mathbb{R}$) có tập không điểm là phẳng $(n-2)$ chiều, không có điểm chính quy theo nghĩa siêu mặt đại số, do đó phương pháp của L. Calvi không thể áp dụng. Luận án mở rộng lý thuyết từ $\mathbb{R}^2$ lên $\mathbb{R}^n$ với số chiều tùy ý.
  2. Đa thức bậc hai bất khả quy trên $\mathbb{C}$ dạng $q_a(x) = c_{i,j}(x_i-a_i)(x_j-a_j) + (x_n-a_n)^2$ có điểm $a$ là điểm kỳ dị của siêu mặt $V(q_a)$, đòi hỏi phải thiết lập tiêu chuẩn chia hết và hệ toán tử đạo hàm riêng hoàn toàn mới.
  3. Luận án thiết lập cầu nối lý thuyết giữa bài toán nội suy Hermite loại đầy đủ các bậc trong $\mathcal{P}_d(\mathbb{R}^N)$ và không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$ trên nửa mặt cầu, chứng minh sự tương đương về tính chính quy và tính liên tục của toán tử nội suy.

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

Luận án vận dụng các khái niệm và công cụ của Toán giải tích, Lý thuyết xấp xỉ, Lý thuyết nội suy, Đại số giao hoán và Đại số tuyến tính:

  • Khung lý thuyết và khái niệm:
    • Không gian véctơ đa thức $\mathcal{P}_d(\mathbb{R}^n)$ sinh bởi các đơn thức $x^\alpha$ với $|\alpha| \le d$, có số chiều $\dim \mathcal{P}_d(\mathbb{R}^n) = \binom{n+d}{n}$.
    • Không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$ sinh bởi các đơn thức thuần nhất bậc $d$ trên $\mathbb{R}^{N+1}$, có số chiều $\binom{N+d}{N}$.
    • Toán tử vi phân hình thức: Với đa thức $Q(x) = \sum c_\alpha x^\alpha$, toán tử đạo hàm riêng tương ứng là $Q(D) = \sum c_\alpha \frac{\partial^{|\alpha|}}{\partial x^\alpha}$.
    • Khái niệm không gian $\mathcal{D}$-bất biến: Một không gian hàm $\mathcal{F}$ được gọi là $\mathcal{D}$-bất biến nếu đóng kín đối với phép lấy đạo hàm riêng theo mọi biến tọa độ, tức $\frac{\partial}{\partial x_k} \mathcal{F} \subset \mathcal{F}$ với mọi $k$.
    • Tính chất Leibniz yếu của toán tử dạng Taylor: $T_d^{a, q_a}(fg) = T_d^{a, q_a}(f T_d^{a, q_a}(g))$.
    • Công thức Leibniz-Hörmander cho đạo hàm của tích: $$Q(D)(fg)(a) = \sum_{|\beta| \le \deg Q} \frac{1}{\beta!} \left(D^\beta Q\right)(D)(g)(a) \cdot D^\beta f(a)$$
    • Bổ đề 2.5 trong chuyên khảo của J. Milnor (1968) về điều kiện triệt tiêu của đa thức phức trên các siêu phẳng.
  • Phương pháp nghiên cứu thực tế:
    1. Phương pháp phân tích nhân tử đa thức và quy nạp bậc: Đưa bài toán nội suy không thuần nhất về bài toán thuần nhất ($\mu(P) = 0$), chứng minh nghiệm $P \in \mathcal{P}d(\mathbb{R}^n)$ chia hết liên tiếp cho tích các đa thức bậc hai $q{a_1}, \dots, q_{a_m}$. Khi số mốc $m = [d/2]+1$, tổng bậc của các nhân tử vượt quá $d$, dẫn đến $P \equiv 0$ và khẳng định nghiệm duy nhất.
    2. Phương pháp giải tích phức: Biểu diễn đa thức bậc hai thực thành tích hai nhân tử bậc nhất phức trên $\mathbb{C}^n$, chuyển bài toán chia hết về sự triệt tiêu trên các siêu phẳng phức, sau đó ánh xạ về không gian thực $\mathbb{R}^n$.
    3. Phương pháp đối ngẫu đại số: Xây dựng hệ đa thức đối ngẫu $B_{\beta'}(x)$ trực giao với hệ toán tử vi phân $\Pi_{\alpha'}(D)$ tại điểm mốc $a$ để thiết lập biểu thức giải tích tường minh cho toán tử kiểu Taylor.
    4. Phương pháp đồng nhất đại số - hình học trên mặt cầu: Sử dụng phép đổi biến đồng nhất giữa hàm trên hình cầu đơn vị $B_N \subset \mathbb{R}^N$ và hàm thuần nhất trên nửa trên mặt cầu $S_+^N \subset \mathbb{R}^{N+1}$ thông qua biểu thức $H(x) = x_{N+1}^d P\left(\frac{x'}{x_{N+1}}\right)$.
  • Nguồn tư liệu: Toàn bộ công thức, định lý, bổ đề và chứng minh được khai thác trực tiếp từ toàn văn luận án tiến sĩ của tác giả và các tài liệu tham khảo nền tảng được trích dẫn (như công trình của L. Bos, L. Calvi, Phùng Văn Mạnh, R. Lorentz, T. Bloom, Y. Xu, J. Milnor, L. Hörmander).

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

Chương 1: Nội suy dạng Taylor và dạng Hermite trong không gian $\mathbb{R}^n$

Chương 1 mở rộng kết quả nội suy trên mặt phẳng của Phùng Văn Mạnh (2014) lên không gian $\mathbb{R}^n$ ($n \ge 2$) đối với họ đa thức bậc hai: $$q_a(x) = |(x_m - a_m) + c(x_j - a_j)|^2 = (x_m - a_m)^2 + 2\text{Re}(c)(x_m - a_m)(x_j - a_j) + |c|^2 (x_j - a_j)^2$$ với $a = (a_1, \dots, a_n) \in \mathbb{R}^n$, $1 \le j \ne m \le n$, và hằng số phức $c \in \mathbb{C} \setminus \mathbb{R}$. Tập không điểm $V(q_a) = {x \in \mathbb{R}^n : x_m = a_m, x_j = a_j}$ là một phẳng affine $(n-2)$ chiều.

  • Tiêu chuẩn chia hết (Định lý 1.1): Đa thức $P \in \mathcal{P}d(\mathbb{R}^n)$ chia hết cho $q_a$ khi và chỉ khi: $$\Pi{\alpha'}(D) P(a) = \prod_{k=1, k \ne j, m}^n \left(\frac{\partial}{\partial x_k}\right)^{\alpha_k} \left(\frac{\partial}{\partial x_j} - c \frac{\partial}{\partial x_m}\right)^{\alpha_j} P(a) = 0, \quad \forall |\alpha'| = \sum_{k=1, k \ne m}^n \alpha_k \le d$$ Toán tử $\Pi_{\alpha'}(D)$ sinh ra từ đa thức $\Pi_{\alpha'}(x) = (x_j - c x_m)^{\alpha_j} \prod_{k \ne j, m} x_k^{\alpha_k}$. Khi $\alpha_j > 0$, toán tử tách thành hai toán tử thực $\text{Re}[\Pi_{\alpha'}(D)]$ và $\text{Im}[\Pi_{\alpha'}(D)]$. Số lượng điều kiện nội suy độc lập tuyến tính tại mỗi điểm là $\binom{n+d-1}{n-1} + \binom{n+d-2}{n-1} = \binom{n+d}{n} - \binom{n+d-2}{n}$.

  • Đa thức dạng Taylor và cơ sở đối ngẫu (Định lý 1.5): Tác giả xây dựng họ đa thức đối ngẫu $B_{\beta'}(x)$ thỏa mãn quan hệ trực giao $\Pi_{\alpha'}(D) B_{\beta'}(a) = \delta_{\alpha', \beta'}$. Từ đó, đa thức dạng Taylor $T_d^{a, q_a}(f) \in \mathcal{P}d(\mathbb{R}^n)$ của hàm $f$ khả vi cấp $d$ tại $a$ được xác định tường minh: $$T_d^{a, q_a}(f)(x) = f(a) + \sum{|\alpha'|=1, \alpha_j=0}^d \Pi_{\alpha'}(D)(f)(a) B_{\alpha'}(x) + \sum_{|\alpha'|=1, \alpha_j>0}^d \left[ \Pi_{\alpha'}(D)(f)(a) B_{\alpha'}(x) + \overline{\Pi_{\alpha'}(D)(f)(a)} \overline{B_{\alpha'}(x)} \right]$$ Họ đa thức sinh bởi ${\Pi_{\alpha'} : |\alpha'| \le d}$ có tính chất $\mathcal{D}$-bất biến (Bổ đề 1.7), từ đó suy ra tính chất Leibniz yếu (Bổ đề 1.10) và tính triệt tiêu $T_d^{a, q_a}(Q) = 0$ khi $Q$ chia hết cho $q_a$ (Định lý 1.12).

  • Lược đồ nội suy Hermite chính quy và công thức Newton (Định lý 1.6): Với $d \ge 2$, đặt $m = [d/2]+1$, dãy bậc $s_k = d - 2k + 2$ ($1 \le k \le m$). Cho $m$ điểm phân biệt ${a_1, \dots, a_m} \subset \mathbb{R}^n$ thỏa mãn $q_{a_k}(a_j) \ne 0$ với mọi $j > k$. Khi đó, bài toán nội suy tìm $P \in \mathcal{P}d(\mathbb{R}^n)$ thỏa mãn các điều kiện đạo hàm riêng dạng $\Pi$ tại các mốc $a_k$ có nghiệm duy nhất. Đa thức nội suy $P$ có công thức biểu diễn dạng Newton: $$P(x) = \sum{k=1}^m P_k(x), \quad P_1(x) = T_{s_1}^{a_1, q_{a_1}}(f)(x), \quad P_k(x) = \prod_{j=1}^{k-1} q_{a_j}(x) \cdot T_{s_k}^{a_k, q_{a_k}}\left( \frac{f - P_1 - \dots - P_{k-1}}{\prod_{j=1}^{k-1} q_{a_j}} \right)(x) \quad (2 \le k \le m)$$

Đại lượng / Thành phần Biểu thức giải tích / Giá trị trong Chương 1
Dạng đa thức cơ sở $q_a(x) = |(x_m - a_m) + c(x_j - a_j)|^2$, $c \in \mathbb{C} \setminus \mathbb{R}$, $j \ne m$
Tập không điểm $V(q_a)$ Phẳng affine $(n-2)$ chiều ${x \in \mathbb{R}^n : x_m = a_m, x_j = a_j}$
Số toán tử đạo hàm riêng tại bậc $d$ $\binom{n+d-1}{n-1} + \binom{n+d-2}{n-1} = \binom{n+d}{n} - \binom{n+d-2}{n}$
Số mốc nội suy $m = [d/2] + 1$ điểm phân biệt thỏa mãn $q_{a_k}(a_j) \ne 0$ ($\forall j > k$)
Bậc của toán tử tại mốc thứ $k$ $s_k = d - 2k + 2$ ($1 \le k \le m$)
Dạng biểu diễn của đa thức nội suy Công thức chuỗi kiểu Newton hồi quy qua các toán tử dạng Taylor $T_{s_k}^{a_k, q_{a_k}}$

Chương 2: Nội suy dạng Hermite liên kết với một dạng đa thức bậc hai trong $\mathbb{R}^n$

Chương 2 nghiên cứu lớp đa thức bậc hai bất khả quy trên $\mathbb{C}$ có dạng: $$q_a(x) = c_{i,j}(x_i - a_i)(x_j - a_j) + (x_n - a_n)^2, \quad 1 \le i < j \le n-1, ; c_{i,j} \ne 0$$ Tập không điểm $V(q_a)$ có các điểm chính quy khác rỗng, tuy nhiên điểm mốc $a = (a_1, \dots, a_n)$ lại là điểm kỳ dị (không chính quy) của $V(q_a)$ do gradient $\nabla q_a(a) = 0$. Vì vậy, phương pháp tham số hóa địa phương của L. Calvi không thể áp dụng tại $a$.

  • Tiêu chuẩn chia hết (Định lý 2.1): Đa thức $P \in \mathcal{P}d(\mathbb{R}^n)$ chia hết cho $q_a(x)$ khi và chỉ khi $Q(D)(P)(a) = 0$ với mọi $Q \in \mathcal{B}d = \mathcal{B}d^{\text{chẵn}} \cup \mathcal{B}d^{\text{lẻ}}$, trong đó: $$\mathcal{B}d^{\text{chẵn}} = \left{ R{\alpha'}(x) = \sum{m=0}^{\min(\alpha_i, \alpha_j)} \frac{(-1)^m c{i,j}^m \alpha_i! \alpha_j!}{(2m)! (\alpha_i - m)! (\alpha_j - m)!} (x')^{\alpha' - m e_i - m e_j} x_n^{2m} : |\alpha'| \le d \right}$$ $$\mathcal{B}d^{\text{lẻ}} = \left{ S{\alpha'}(x) = \sum{m=0}^{\min(\alpha_i, \alpha_j)} \frac{(-1)^m c{i,j}^m \alpha_i! \alpha_j!}{(2m+1)! (\alpha_i - m)! (\alpha_j - m)!} (x')^{\alpha' - m e_i - m e_j} x_n^{2m+1} : |\alpha'| \le d-1 \right}$$ Số lượng phần tử của cơ sở toán tử vi phân là $\sharp \mathcal{B}_d = \binom{n+d}{n} - \binom{n+d-2}{n}$.

  • Tính chính quy của lược đồ nội suy (Định lý 2.2): Không gian đa thức sinh bởi $\mathcal{B}d$ có tính chất $\mathcal{D}$-bất biến. Bằng cách chọn $m = [d/2]+1$ điểm phân biệt ${a_1, \dots, a_m} \subset \mathbb{R}^n$ thỏa mãn điều kiện $q_k(a_l) \ne 0$ với mọi $k < l \le m$, bài toán nội suy Hermite: $$Q(D)(P)(a_k) = f{Q, k}, \quad \forall Q \in \mathcal{B}_{s_k}, ; 1 \le k \le m \quad (s_k = d - 2k + 2)$$ có nghiệm duy nhất trong không gian $\mathcal{P}_d(\mathbb{R}^n)$.

Chương 3: Nội suy Hermite loại đầy đủ các bậc gắn với một số không gian đa thức

Chương 3 tập trung vào bài toán nội suy Hermite loại đầy đủ các bậc và nghiên cứu mối quan hệ cấu trúc giữa hai không gian đa thức: $\mathcal{P}_d(\mathbb{R}^N)$ và không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$.

  • Nghiên cứu bài toán nội suy loại đầy đủ các bậc trong $\mathcal{P}_d(\mathbb{R}^n)$: Tác giả điểm lại định lý của Bloom - Xu (1992) về điều kiện cần và đủ để bài toán nội suy loại đầy đủ các bậc (Bài toán 2) chính quy hầu khắp nơi khi có nhiều nhất $n+1$ bậc $d_j > 0$, đó là $d_j + d_k < n$ ($\forall j \ne k$). Trong Mệnh đề 3.6, tác giả đưa ra chứng minh cho trường hợp riêng khi chỉ có duy nhất một bậc dương ($d_2 = \dots = d_m = 0$) bằng phương pháp sơ cấp và trực tiếp hơn.

  • Nội suy Hermite trên không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$: Xét các mốc nội suy $a_j = (a'_j, \sqrt{1 - |a'j|^2}) \in S+^N$ với $a'_j \in B_N$. Bài toán nội suy tìm $H \in \mathcal{H}_d(\mathbb{R}^{N+1})$ thỏa mãn các điều kiện đạo hàm riêng hỗn hợp đến cấp $d_j$ tại $a_j$ được gọi là $h$-chính quy.

  • Tính tương đương về tính chính quy (Định lý 3.3): Cho tập mốc $B = {(b'_1; d_1), \dots, (b'm; d_m)} \subset \mathbb{R}^N \times \mathbb{N}$ thỏa mãn $\sum{j=1}^m \binom{N+d_j}{N} = \binom{N+d}{N}$. Đặt $a'_j = \frac{b'_j}{\sqrt{|b'_j|^2 + 1}} \in B_N$ và $a_j = (a'_j, \sqrt{1 - |a'j|^2}) \in S+^N$. Lược đồ $B$ là chính quy đối với $\mathcal{P}_d(\mathbb{R}^N)$ khi và chỉ khi lược đồ $A = {(a_1; d_1), \dots, (a_m; d_m)}$ là $h$-chính quy đối với $\mathcal{H}_d(\mathbb{R}^{N+1})$.

  • Tính tương đương về tính liên tục của toán tử nội suy (Định lý 3.4): Khi xét dãy các cấu hình mốc ${B_n}$ và ${A_n}$, tác giả chứng minh giới hạn của dãy toán tử nội suy $\lim_{n \to \infty} H[B_n; f] = L(f)$ tồn tại với mọi hàm $f$ đủ trơn khi và chỉ khi giới hạn $\lim_{n \to \infty} H_h[A_n; F] = L_h(F)$ tồn tại với mọi hàm $F$ đủ trơn. Mối liên hệ giữa hai toán tử giới hạn được xác định qua các hệ thức: $$L\left( L_h(F)\left( \frac{x'}{\sqrt{|x'|^2+1}}, \frac{1}{\sqrt{|x'|^2+1}} \right) \right) = L\left( F\left( \frac{x'}{\sqrt{|x'|^2+1}}, \frac{1}{\sqrt{|x'|^2+1}} \right) \right)$$ $$L_h\left( x_{N+1}^d L(f)\left( \frac{x'}{x_{N+1}} \right) \right) = L_h\left( x_{N+1}^d f\left( \frac{x'}{x_{N+1}} \right) \right)$$

Đặc trưng so sánh Không gian affine $\mathcal{P}_d(\mathbb{R}^N)$ Không gian thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$
Miền xác định của mốc nội suy Không gian thực $\mathbb{R}^N$ ($b'_j \in \mathbb{R}^N$) Nửa trên mặt cầu đơn vị $S_+^N \subset \mathbb{R}^{N+1}$ ($a_j \in S_+^N$)
Số chiều của không gian $\dim \mathcal{P}_d(\mathbb{R}^N) = \binom{N+d}{N}$ $\dim \mathcal{H}_d(\mathbb{R}^{N+1}) = \binom{N+d}{N}$
Quan hệ chuyển đổi mốc $b'_j \in \mathbb{R}^N$ $a'_j = b'_j / \sqrt{|b'_j|^2+1}$, $a_j = (a'_j, \sqrt{1-|a'_j|^2})$
Tính chất toán tử nội suy Ký hiệu $H[B; f]$, chính quy theo Bài toán 2 Ký hiệu $H_h[A; F]$, $h$-chính quy theo Bài toán 4
Quan hệ tiệm cận / liên tục Dãy $H[B_n; f] \to L(f)$ Dãy $H_h[A_n; F] \to L_h(F)$ (tương đương qua Định lý 3.4)

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

Luận án tự khẳng định các kết quả nghiên cứu mới về mặt lý thuyết giải tích và đại số:

  1. Thiết lập tiêu chuẩn chia hết và toán tử dạng Taylor cho đa thức bậc hai trên $\mathbb{R}^n$: Mở rộng thành công tiêu chuẩn chia hết cho họ đa thức $q_a(x) = |(x_m-a_m) + c(x_j-a_j)|^2$ từ 2 chiều lên $n$ chiều với $c \in \mathbb{C} \setminus \mathbb{R}$; xác định hệ toán tử đạo hàm riêng tường minh $\Pi_{\alpha'}(D)$, xây dựng cơ sở đối ngẫu $B_{\beta'}(x)$ và chứng minh các tính chất đại số quan trọng (tính $\mathcal{D}$-bất biến, tính Leibniz yếu).
  2. Xây dựng lược đồ nội suy Hermite và công thức Newton tường minh: Chứng minh tính chính quy của lược đồ nội suy Hermite trên $\mathbb{R}^n$ gắn với họ đa thức $q_a(x)$ và thiết lập công thức biểu diễn dạng chuỗi Newton hồi quy thông qua các đa thức dạng Taylor, cho phép thêm điểm mốc nội suy mà không phải tính lại các thành phần cơ sở trước đó.
  3. Giải quyết bài toán nội suy Hermite với đa thức bậc hai có kỳ dị: Đưa ra tiêu chuẩn chia hết và hệ toán tử đạo hàm riêng $\mathcal{B}_d = \mathcal{B}_d^{\text{chẵn}} \cup \mathcal{B}d^{\text{lẻ}}$ cho lớp đa thức bậc hai bất khả quy $q_a(x) = c{i,j}(x_i-a_i)(x_j-a_j) + (x_n-a_n)^2$, đồng thời chứng minh tính chính quy của lược đồ nội suy tương ứng tại điểm kỳ dị $a$.
  4. Chứng minh tính tương đương giữa nội suy đa thức affine và nội suy thuần nhất: Thiết lập định lý tương đương về tính chính quy (Định lý 3.3) và tính tương đương về tính liên tục (Định lý 3.4) giữa bài toán nội suy Hermite loại đầy đủ các bậc trong $\mathcal{P}_d(\mathbb{R}^N)$ và bài toán nội suy Hermite trong $\mathcal{H}_d(\mathbb{R}^{N+1})$ trên nửa mặt cầu.

Về mặt kiến nghị, tác giả đề xuất một số hướng phát triển:

  • Nghiên cứu mở rộng tiêu chuẩn chia hết và toán tử dạng Taylor cho các dạng đa thức bậc cao hơn ($k \ge 3$) hoặc các dạng toàn phương tổng quát trong $\mathbb{R}^n$.
  • Ứng dụng các công thức biểu diễn Newton của đa thức nội suy Hermite nhiều biến vào các thuật toán số giải phương trình đạo hàm riêng và xây dựng phần tử hữu hạn.

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

Dựa trên phạm vi và các nội dung văn bản trình bày, luận án có các giới hạn nghiên cứu sau:

  • Phạm vi dạng đa thức: Luận án mới chỉ khảo sát các lớp đa thức bậc hai cụ thể (dạng rút gọn khả quy trên $\mathbb{C}$ có tập không điểm là $(n-2)$-phẳng và dạng bất khả quy bậc hai có một thành phần bình phương). Các lớp đa thức bậc cao hơn ($d \ge 3$) chưa được bao quát.
  • Dạng điều kiện nội suy: Luận án không xét bài toán nội suy Birkhoff (nội suy với các cấp đạo hàm không liên tiếp) nhiều chiều.
  • Tính liên tục của toán tử nội suy tổng quát: Bài toán kiểm tra điều kiện liên tục của toán tử nội suy Hermite đối với không gian $\mathcal{P}_d(\mathbb{R}^n)$ khi $d$ lớn vẫn là bài toán mở phức tạp chưa có lời giải tổng quát hoàn chỉnh.
  • Hướng nghiên cứu tiếp theo được đề cập: Mở rộng nghiên cứu sang các lớp siêu mặt đại số tổng quát, khảo sát bài toán nội suy trên các đa tạp compact khác và phát triển các thuật toán xấp xỉ số ứng dụng.

Giá trị tham khảo

Luận án cung cấp tài liệu tham khảo chuyên khảo cho các nhóm đối tượng học thuật:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán giải tích, Lý thuyết hàm và Lý thuyết xấp xỉ: Cung cấp phương pháp chi tiết kết hợp giữa giải tích phức, lý thuyết phương trình đạo hàm riêng và đại số giao hoán để giải quyết các bài toán nội suy nhiều chiều.
  • Các nhà nghiên cứu trong lĩnh vực Toán ứng dụng và Tính toán khoa học: Các công thức biểu diễn dạng Newton ở Chương 1 và cấu trúc hệ toán tử $\mathcal{B}_d$ ở Chương 2 có thể tham khảo để thiết kế giải thuật tính toán gần đúng hàm nhiều biến và xây dựng lưới nội suy.
  • Các phần nội dung đáng tham khảo:
    • Mục 1.1 và 1.2 (Chương 1): Kỹ thuật xây dựng cơ sở đối ngẫu $B_{\beta'}(x)$ và công thức giải tích của đa thức dạng Taylor.
    • Mục 2.1 (Chương 2): Tiêu chuẩn chia hết đại số và cấu trúc các toán tử vi phân chẵn/lẻ đối với đa thức bậc hai bất khả quy.
    • Mục 3.2 và 3.3 (Chương 3): Phương pháp chuyển đổi hình học vi phân giữa bài toán trên $\mathbb{R}^N$ và nửa mặt cầu $S_+^N$.

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

1. Điều kiện cần cơ bản để bài toán nội suy đa thức tổng quát trên $\mathbb{R}^n$ có nghiệm duy nhất là gì?
Điều kiện cần để bài toán nội suy tổng quát (Bài toán 1) chính quy là số lượng điều kiện nội suy $m$ phải bằng đúng số chiều của không gian đa thức $\mathcal{P}$, tức $m = \dim \mathcal{P}$. Khi $\mathcal{P} = \mathcal{P}_d(\mathbb{R}^n)$, số điều kiện nội suy phải bằng $\binom{n+d}{n}$.

2. Tại sao phương pháp xây dựng toán tử đạo hàm riêng của L. Calvi (2005) không áp dụng được cho các đa thức $q_a(x)$ trong Chương 1 và Chương 2?
Phương pháp của L. Calvi đòi hỏi mốc nội suy $a$ phải là điểm chính quy trên siêu mặt đại số $V(q)$ (tức $\nabla q(a) \ne 0$) để thực hiện tham số hóa địa phương chiều $n-1$. Trong Chương 1, tập không điểm $V(q_a)$ là phẳng affine $(n-2)$ chiều nên không có điểm chính quy theo nghĩa siêu mặt. Trong Chương 2, mốc $a$ là điểm kỳ dị của $V(q_a)$ vì gradient $\nabla q_a(a) = 0$.

3. Số lượng các toán tử đạo hàm riêng độc lập tuyến tính tại mỗi điểm mốc trong Chương 1 và Chương 2 được xác định là bao nhiêu?
Số lượng toán tử đạo hàm riêng tại mỗi mốc trong cả hai chương đều bằng đúng $\binom{n+d}{n} - \binom{n+d-2}{n}$. Trong Chương 1, số lượng này được tính từ tổng $\binom{n+d-1}{n-1} + \binom{n+d-2}{n-1}$ khi tách phần thực và ảo của toán tử $\Pi_{\alpha'}(D)$. Trong Chương 2, số lượng này là tổng số phần tử của hai tập $\mathcal{B}_d^{\text{chẵn}}$ và $\mathcal{B}_d^{\text{lẻ}}$.

4. Ưu điểm tính toán của công thức biểu diễn đa thức nội suy dạng Newton trong Chương 1 so với dạng Lagrange là gì?
Với công thức dạng Lagrange, khi bổ sung thêm một mốc nội suy mới, người tính toán bắt buộc phải tính lại toàn bộ hệ đa thức cơ sở. Với công thức dạng Newton do luận án thiết lập ($P = \sum P_k$), khi bổ sung thêm mốc nội suy, các số hạng $P_1, \dots, P_{k-1}$ đã tính trước đó được giữ nguyên và người tính chỉ cần tính toán thêm số hạng cuối cùng $P_k$ thông qua đa thức dạng Taylor.

5. Mối quan hệ giữa bài toán nội suy Hermite trên $\mathcal{P}_d(\mathbb{R}^N)$ và bài toán trên không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$ được phát biểu như thế nào?
Hai bài toán có sự tương đương đầy đủ: Lược đồ nội suy $B = {(b'j; d_j)}{j=1}^m$ là chính quy đối với $\mathcal{P}d(\mathbb{R}^N)$ khi và chỉ khi lược đồ $A = {(a_j; d_j)}{j=1}^m$ trên nửa mặt cầu $S_+^N$ là $h$-chính quy đối với $\mathcal{H}_d(\mathbb{R}^{N+1})$ (Định lý 3.3). Đồng thời, tính liên tục của dãy toán tử nội suy trên $\mathcal{P}_d(\mathbb{R}^N)$ cũng tương đương với tính liên tục của dãy toán tử nội suy thuần nhất tương ứng trên $\mathcal{H}_d(\mathbb{R}^{N+1})$ (Định lý 3.4).

Kết luận

Luận án tiến sĩ của Lê Ngọc Cường đã giải quyết trọn vẹn các mục tiêu nghiên cứu đặt ra về lý thuyết nội suy đa thức nhiều biến trong không gian $\mathbb{R}^n$. Tác giả đã thiết lập thành công các tiêu chuẩn chia hết đại số, xây dựng hệ toán tử đạo hàm riêng tường minh, đa thức dạng Taylor và chứng minh tính chính quy cho các lược đồ nội suy Hermite gắn với hai họ đa thức bậc hai đặc thù. Đồng thời, công trình đưa ra công thức giải tích dạng Newton cho đa thức nội suy và chứng minh sự tương đương về tính chính quy cũng như tính liên tục giữa bài toán nội suy trong $\mathcal{P}_d(\mathbb{R}^N)$ và không gian đa thức thuần nhất $\mathcal{H}_d(\mathbb{R}^{N+1})$. Các kết quả đạt được đóng góp cơ sở lý thuyết mới cho chuyên ngành Toán giải tích và cung cấp công cụ toán học phục vụ nghiên cứu giải tích số và lý thuyết xấp xỉ.