Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Đường cong Brody giới hạn và bài toán nâng ánh xạ từ đa đĩa đối xứng hóa trong chiều thấp", chuyên ngành Hình học và Tôpô (mã số 62.05), được nghiên cứu sinh Trần Đức Anh thực hiện dưới sự hướng dẫn khoa học của GS. TSKH Đỗ Đức Thái (Trường Đại học Sư phạm Hà Nội) và GS. Pascal J. Thomas (Trường Đại học Paul Sabatier, Cộng hòa Pháp), bảo vệ năm 2017.

Tính cấp thiết và khoảng trống nghiên cứu

Nghiên cứu tập trung vào hai chủ đề chính trong giải tích phức và hình học phức:

  1. Lý thuyết về tính hyperbolicity và tính chuẩn tắc của các họ ánh xạ chỉnh hình: Xuất phát từ định lý Zalcman (1975) và tiêu chuẩn Brody (1978) về đa tạp hyperbolic, khái niệm không gian loại $E$-giới hạn được Đỗ Đức Thái, Mai Anh Đức và Ninh Văn Thu (2011) đề xuất nhằm giải quyết giả thuyết Zalcman trên không gian $\mathbb{C}^n$ do Đỗ Đức Thái, Phạm Nguyễn Thu Trang và Phạm Đinh Hương (2009) đặt ra. Ba tác giả trên đã chứng minh $\mathbb{C}^n$ ($n \ge 2$) không thuộc loại $E$-giới hạn bằng kỹ thuật trích dãy phức tạp dựa trên kết quả của J. Winkelmann. Khoảng trống đặt ra là cần tìm một chứng minh ngắn gọn, tổng quát hơn bằng công cụ giải tích cổ điển và mở rộng tính chất này lên các lớp đa tạp tích phức tạp hơn như $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$.
  2. Bài toán nâng ánh xạ từ đa đĩa đối xứng hóa lên quả cầu phổ: Xuất phát từ bài toán nội suy Nevanlinna-Pick phổ và Carathéodory-Fejér phổ trong lý thuyết điều khiển mạnh (Robust control theory). Quả cầu phổ đơn vị $\Omega_n \subset \mathbb{C}^{n \times n}$ (tập hợp các ma trận vuông phức cấp $n$ có bán kính phổ $r(M) < 1$) là miền không bị chặn, không lồi và kỹ thuật họ chuẩn tắc không áp dụng được. Để khắc phục, J. Agler và N. J. Young (2000) đã xét phép chiếu đối xứng hóa $\pi: \Omega_n \to G_n$ lên đa đĩa đối xứng hóa $G_n$ (miền bị chặn, siêu lồi, taut). Vấn đề đặt ra là khi chuyển bài toán nội suy từ $\Omega_n$ xuống $G_n$, cần có quá trình ngược lại: tìm điều kiện cần và đủ để nâng một đĩa chỉnh hình $\phi: D \to G_n$ thành ánh xạ chỉnh hình $\Phi: D \to \Omega_n$ thỏa mãn $\pi \circ \Phi = \phi$ và nhận các giá trị ma trận cho trước tại các mốc nội suy (có hoặc không có điều kiện đạo hàm bậc nhất).

Mục tiêu nghiên cứu

Luận án xác định 3 mục tiêu cụ thể:

  1. Mở rộng kết quả của ba tác giả Đỗ Đức Thái, Mai Anh Đức và Ninh Văn Thu về sự không tồn tại các đường cong $E$-Brody giới hạn trên tích của $\mathbb{C}$ (hoặc $\mathbb{C}^*$) với một đa tạp phức $X$ bất kỳ có chứa đường cong nguyên.
  2. Đưa ra công thức nâng cụ thể cho bài toán nâng ánh xạ không có điều kiện đạo hàm trong chiều thấp $n \le 5$, đồng thời chứng minh công thức nâng do Pascal J. Thomas đề xuất không hoạt động khi chiều $n \ge 6$.
  3. Nghiên cứu bài toán nâng ánh xạ có điều kiện đạo hàm bậc nhất cho trước ở chiều $n = 4$, xây dựng hệ điều kiện tường minh và dễ sử dụng hơn phương pháp biến đổi sơ cấp trước đó.

Câu hỏi và giả thuyết nghiên cứu

  • Giả thuyết tính Zalcman: Liệu $\mathbb{C}^n$ có phải là không gian Zalcman với mọi $n \ge 1$ hay không?
  • Câu hỏi nâng không đạo hàm: Với ma trận $B_0 \in \Omega_n$ vi phạm (phi-cyclic) và ánh xạ $\phi \in \text{Hol}(D, G_n)$ thỏa mãn $\phi(0) = \pi(B_0)$, điều kiện cần và đủ về cấp triệt tiêu của các đạo hàm của đa thức đặc trưng $P_{[\phi(\zeta)]}(t)$ là gì để tồn tại nâng $\Phi$?
  • Câu hỏi nâng có đạo hàm bậc nhất: Khi bổ sung điều kiện $\Phi'(0) = B_1 \in \mathbb{C}^{n \times n}$, cấu trúc đại số tuyến tính của toán tử $L_{B_0, B_1}$ quyết định khả năng nâng địa phương ở chiều $n=4$ như thế nào?

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

  • Đối tượng nghiên cứu: Các không gian phức không thuộc loại $E$-giới hạn, quả cầu phổ $\Omega_n$, đa đĩa đối xứng hóa $G_n$, các ánh xạ chỉnh hình giữa đĩa đơn vị $D \subset \mathbb{C}$ vào $G_n$ và $\Omega_n$.
  • Phạm vi không gian: Không gian ma trận phức $\mathbb{C}^{n \times n}$ và miền giải tích phức trong chiều thấp ($n \le 5$ đối với bài toán không đạo hàm; $n = 4$ đối với bài toán có đạo hàm bậc nhất).
  • Phạm vi thời gian: Luận án hoàn thành và bảo vệ năm 2017.

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

  1. Lý thuyết đường cong Brody và tính chuẩn tắc:
    • Lawrence Zalcman (1975): Thiết lập bổ đề tái chuẩn hóa Zalcman cho các họ hàm phân hình không chuẩn tắc trên đĩa đơn vị $\mathbb{D}$.
    • Robert Brody (1978): Đưa ra tiêu chuẩn Brody đặc trưng hóa tính hyperbolic của đa tạp phức compact thông qua sự không tồn tại của đường cong nguyên có đạo hàm bị chặn (đường cong Brody).
    • Đỗ Đức Thái, Phạm Nguyễn Thu Trang, Phạm Đinh Hương (2009): Đặt ra giả thuyết Zalcman cho $\mathbb{C}^n$ và chứng minh cho trường hợp $\mathbb{C}^1$.
    • Đỗ Đức Thái, Mai Anh Đức, Ninh Văn Thu (2011): Định nghĩa không gian loại $E$-giới hạn và chứng minh $\mathbb{C}^n$ ($n \ge 2$) không thuộc loại $E$-giới hạn với mọi hàm độ dài $E$.
  2. Lý thuyết nội suy và bài toán nâng:
    • Georg Pick (1916) và Rolf Nevanlinna (1919): Giải quyết bài toán nội suy Nevanlinna-Pick cổ điển trên đĩa đơn vị $\mathbb{D}$ thông qua tính nửa xác định dương của ma trận Pick $\left[\frac{1 - \bar{z}_j z_i}{1 - \bar{\lambda}j \lambda_i}\right]{1 \le i,j \le N}$.
    • Donald Sarason (1967): Tiếp cận bài toán nội suy bằng lý thuyết toán tử và không gian Hardy.
    • Nicholas J. Young (2002): Tổng quan ứng dụng của bài toán nội suy phổ trong lý thuyết điều khiển $\mu$-synthesis.
    • Jim Agler và Nicholas J. Young (2000, 2004): Định nghĩa đa đĩa đối xứng hóa $G_n$ và giải quyết bước đầu bài toán nâng ở chiều $n=2$.
    • Srdjan Petrovic (2005): Khảo sát bài toán nâng cho $n=3$ liên quan đến câu hỏi của H. Bercovici.
    • Pascal J. Thomas và Nguyễn Văn Trào (2011, 2014): Khảo sát bài toán nâng không đạo hàm khi ma trận $B_0$ là lũy linh (hoặc có một giá trị riêng duy nhất), liên hệ với tính liên tục của hàm Lempert $\ell_\Omega(A, B)$.
    • A. Huang, P. Marcantognini, N. J. Young (2006): Chứng minh ma trận cyclic luôn nâng được trong bài toán có đạo hàm.
    • Nikolai Nikolov, Pascal J. Thomas, Vladimir Kostov (2013): Nghiên cứu bài toán nâng có đạo hàm bậc nhất cho ma trận phi-cyclic ở chiều $n \le 3$ bằng phương pháp biến đổi sơ cấp ma trận.
    • Rafael Andrist (2014): Sử dụng lý thuyết đồng luân chỉnh hình Oka-Gromov-Forstnerič để chỉ ra rằng các điều kiện cần và đủ địa phương của bài toán nâng không đạo hàm cũng chính là điều kiện toàn cục.

Khoảng trống luận án giải quyết

Luận án của Trần Đức Anh giải quyết các mắt xích còn thiếu giữa các công trình trên:

  • Thay thế các kỹ thuật trích dãy phức tạp của J. Winkelmann bằng phương pháp lý thuyết bó trên không gian Stein $\mathbb{C}$, mở rộng kết quả không gian không thuộc loại $E$-giới hạn từ $\mathbb{C}^n$ sang $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$.
  • Cung cấp công thức đại số tường minh cho ánh xạ nâng toàn cục đối với $n \le 5$ (kết quả của R. Andrist chỉ mang tính tồn tại trừu tượng dựa trên lý thuyết Oka), đồng thời xác định ranh giới hiệu lực của công thức Newton-Thomas tại $n = 6$.
  • Khắc phục hạn chế của phương pháp biến đổi sơ cấp của N. Nikolov, P. J. Thomas và V. Kostov ở chiều $n \le 3$ bằng cách xây dựng phương pháp đa tuyến tính hóa toán tử $L_{B_0, B_1}$, cho phép giải quyết trọn vẹn bài toán nâng có đạo hàm bậc nhất ở chiều $n = 4$.

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

Khung lý thuyết và khái niệm sử dụng

  • Metric Hermit và Đường cong $E$-Brody: Cho đa tạp phức $X$ trang bị metric Hermit $E$. Ánh xạ chỉnh hình $f: \mathbb{C} \to X$ là đường cong $E$-Brody nếu tồn tại hằng số $c > 0$ sao cho $|f'(z)|_E \le c$ với mọi $z \in \mathbb{C}$.
  • Không gian loại $E$-giới hạn: Đa tạp phức $X$ thuộc loại $E$-giới hạn nếu với mọi họ không chuẩn tắc $\mathcal{F} \subset \text{Hol}(\Delta, X)$ không chứa dãy phân kỳ compact, tồn tại $p_j \to p_0 \in \Delta$, $f_j \in \mathcal{F}$, $\rho_j \to 0^+$ sao cho $g_j(\xi) = f_j(p_j + \rho_j \xi)$ hội tụ đều trên các tập compact của $\mathbb{C}$ về một đường cong $E$-Brody khác hằng $g: \mathbb{C} \to X$.
  • Quả cầu phổ và Đa đĩa đối xứng hóa: $$\Omega_n := {M \in \mathbb{C}^{n \times n} : r(M) < 1}$$ $$G_n := \pi(\Omega_n) = {(\sigma_1(M), \dots, \sigma_n(M)) : M \in \Omega_n}$$ với $\sigma_i(M)$ là đa thức đối xứng sơ cấp thứ $i$ của các giá trị riêng của $M$, tương ứng với các hệ số của đa thức đặc trưng: $$P_M(t) = \det(tI_n - M) = t^n + \sum_{j=1}^n (-1)^j \sigma_j(M) t^{n-j}$$
  • Dạng Jordan sửa đổi: Dạng ma trận đồng dạng với dạng Jordan chuẩn nhưng thay các phần tử $0$ tại vị trí nối giữa hai khối Jordan liên tiếp $a_{n_i, 1+n_i}$ thành $1$.
  • Toán tử Sai phân chia (Divided differences): $$\Delta^0 P = P, \quad \Delta^1 P(x_1, x_2) = \frac{P(x_1) - P(x_2)}{x_1 - x_2}, \quad \dots$$ $$\Delta^m P(x_1, \dots, x_{m+1}) = \frac{\Delta^{m-1} P(x_1, \dots, x_m) - \Delta^{m-1} P(x_2, \dots, x_{m+1})}{x_1 - x_{m+1}}$$

Phương pháp nghiên cứu

  • Phương pháp lý thuyết bó và đối đồng điều: Áp dụng cho Chương 1. Xây dựng bó lý tưởng $\mathcal{I} = h \cdot \mathcal{O}$ trên không gian Stein $\mathbb{C}$, sử dụng định lý triệt tiêu đối đồng điều $H^1(\mathbb{C}, \mathcal{I}) = 0$ để dán các mầm hàm chỉnh hình giải bài toán nội suy Hermite vô hạn điểm.
  • Phương pháp sai phân chia và ma trận tựa đồng hành: Áp dụng cho Chương 2. Biểu diễn đa thức đặc trưng của ma trận nâng dạng tam giác dưới dạng công thức nội suy Newton, chuyển các điều kiện giải tích về hệ phương trình đại số của các sai phân chia $\Delta^k P_{[\phi(\zeta)]}$.
  • Phương pháp đa tuyến tính hóa và đại số ma trận: Áp dụng cho Chương 3. Tuyến tính hóa các đa thức đối xứng sơ cấp $\sigma_m(M)$ thành các dạng đa tuyến tính đối xứng, thiết lập ánh xạ tuyến tính liên kết $L_{B_0, B_1}: \mathbb{C}^{n \times n} \to \mathbb{C}^n$, phân tích hạng và sử dụng kỹ thuật thu hẹp về không gian con ma trận có đúng một dòng khác không để bảo đảm tính hội tụ của chuỗi lũy thừa Taylor: $$\Phi(\zeta) = \sum_{k=0}^\infty \frac{B_k}{k!} \zeta^k$$

Nguồn tư liệu và dữ liệu

Toàn bộ tư liệu nghiên cứu là các công trình toán học thuần túy, các định lý và bổ đề được chứng minh giải tích - đại số chính xác, không sử dụng tập dữ liệu thực nghiệm hay phần mềm thống kê số liệu.

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

Chương 1: Về sự không tồn tại các đường cong $E-$Brody giới hạn

Chương 1 thiết lập chứng minh mới và tổng quát hóa định lý của Đỗ Đức Thái, Mai Anh Đức và Ninh Văn Thu về không gian không thuộc loại $E$-giới hạn.

Bổ đề then chốt (Bổ đề 1.9 của luận án)

Cho ${\alpha_j}{j=1}^\infty$ là một dãy các số phức khác không đôi một phân biệt thỏa mãn $\sum{j=1}^\infty \frac{1}{|\alpha_j|} < \infty$. Khi đó, với mọi bộ số phức $p_j$ và $k_j$ ($j \ge 1$), luôn tồn tại hàm chỉnh hình nguyên $g: \mathbb{C} \to \mathbb{C}$ thỏa mãn điều kiện nội suy Hermite: $$g(\alpha_j) = p_j \quad \text{và} \quad g'(\alpha_j) = k_j, \quad \forall j \ge 1$$

Chứng minh: Dãy tích vô hạn $h(z) = \prod_{j=1}^\infty \left(1 - \frac{z}{\alpha_j}\right)^2$ hội tụ về một hàm nguyên có các không điểm $\alpha_j$ bậc ít nhất là 2. Bó $\mathcal{I} = h \cdot \mathcal{O}$ là bó nhất quán trên không gian Stein $\mathbb{C}$. Theo Định lý B Cartan, nhóm đối đồng điều $H^1(\mathbb{C}, \mathcal{I}) = 0$. Do đó, đối chu trình Čech xây dựng từ các nghiệm địa phương $(U_j, f_j)$ triệt tiêu, cho phép dán thành hàm chỉnh hình toàn cục $g$.

Kết quả chính của Chương 1 (Định lý 1.7 của luận án)

Cho $X$ là một đa tạp phức có chứa một đường cong nguyên khác hằng $f: \mathbb{C} \to X$. Khi đó, cả hai đa tạp tích $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$ đều không thuộc loại $E$-giới hạn với mọi metric Hermit $E$ tương ứng trên $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$.

Lược đồ chứng minh trên $\mathbb{C}^ \times X$:*

  1. Do $f$ khác hằng, chọn dãy ${p_j} \subset \mathbb{C}^*$ sao cho $f(p_j) \neq 0$. Chọn $\alpha_j = e^{q_j}$ thỏa mãn điều kiện hội tụ của Bổ đề 1.9.
  2. Sử dụng Bổ đề 1.9, xây dựng hàm nguyên $g: \mathbb{C} \to \mathbb{C}$ với đạo hàm $g'(\alpha_j) = k_j$ được chọn đủ lớn: $$k_j = j \cdot \left[ \frac{1}{E_{(\alpha_j, f(p_j))}(\alpha_j, 0)} + \frac{1}{E_{(\alpha_j, f(p_j))}(0, f'(p_j)\alpha_j)} \right]$$
  3. Khi đó đường cong nguyên $F(z) = (e^z, (f \circ g)(e^z))$ không phải là đường cong $E$-Brody.
  4. Xét dãy ánh xạ $f_n(z) = F(nz) \in \text{Hol}(\Delta, \mathbb{C}^* \times X)$. Dãy này không phân kỳ compact vì $f_n(0) = F(0)$. Giả sử tồn tại dãy con tái chuẩn hóa hội tụ về đường cong nguyên $G = (L, (f \circ g)(L))$. Bằng định lý Hurwitz và phép lấy đạo hàm, tác giả chỉ ra $j\rho_j \to B \neq 0$ và $e^{j a_j} \to e^A \neq 0$, dẫn đến mâu thuẫn về độ lớn đạo hàm của $F$ tại các điểm $q_j$.

Chương 2: Bài toán nâng ánh xạ từ đa đĩa đối xứng hóa không có điều kiện đạo hàm

Chương 2 giải quyết bài toán nâng không có điều kiện đạo hàm tại $N$ điểm cho trước $\Phi(\alpha_j) = A_j$ ($1 \le j \le N$).

Chỉ số liên kết và Dạng Jordan sửa đổi

Với ma trận $A_1 \in \mathbb{C}^{n \times n}$ ở dạng Jordan gồm các khối $B_k$ ứng với giá trị riêng $\lambda_k$ cấp $m_k$, tác giả định nghĩa dãy số nguyên $d_i(B)$ ($1 \le i \le m$): $$d_i(B) := 1 + #{k : m - i + 2 \le b_k \le m} = 1 + (m - r) - \max{j : b_j \le m - i + 1}$$ trong đó $b_j$ là vị trí các cột có hệ số $0$ trên đường chéo phụ trên, $r = \text{rank}(B - \lambda I_m)$.

Điều kiện cần và đủ địa phương (Mệnh đề 2.11 của luận án)

Cho $\phi \in \text{Hol}(\omega, G_n)$ với $\omega$ là lân cận của $\alpha \in D$. Tồn tại lân cận $\omega' \subset \omega$ và $\Phi \in \text{Hol}(\omega', \Omega_n)$ sao cho $\pi \circ \Phi = \phi$ và $\Phi(\alpha) = A_1$ khi và chỉ khi: $$\frac{d^k P_{[\phi(\zeta)]}}{dt^k}(\lambda_j) = O\left((\zeta - \alpha)^{d_{m_j - k}(B_j)}\right), \quad 0 \le k \le m_j - 1, \quad 1 \le j \le s$$

Công thức nâng phân hình Pascal J. Thomas

Tác giả xét ma trận nâng dạng tam giác: $$\Phi(\zeta) = \begin{pmatrix} \phi_{1,1}(\zeta) & f_2(\zeta) & 0 & \dots & 0 \ 0 & \phi_{2,2}(\zeta) & f_3(\zeta) & \dots & 0 \ \vdots & \vdots & \ddots & \ddots & \vdots \ 0 & 0 & \dots & \phi_{n-1,n-1}(\zeta) & f_n(\zeta) \ \phi_{n,1}(\zeta) & \phi_{n,2}(\zeta) & \dots & \phi_{n,n-1}(\zeta) & \phi_{n,n}(\zeta) \end{pmatrix}$$ trong đó các phần tử dòng cuối được xác định qua sai phân chia: $$\phi_{n,k}(\zeta) = - \frac{\Delta^{n-k} P_{[\phi(\zeta)]}(\phi_{k,k}, \dots, \phi_{n,n})}{\prod_{j=k+1}^n f_j(\zeta)}$$

Kết quả nâng toàn cục khi $n \le 5$ (Định lý 2.20 của luận án)

Luận án chứng minh rằng với $n \le 5$, các điều kiện cần và đủ địa phương (2.2) là điều kiện cần và đủ để nâng toàn cục $\Phi \in \text{Hol}(D, \Omega_n)$ qua $N$ điểm.

Phân loại các trường hợp ma trận A_1 tại n = 4:
  • Trường hợp $n = 4$: Khảo sát chi tiết 3 dạng Jordan sửa đổi không cyclic. Bằng cách chọn các đạo hàm $\phi'{1,1}(0)$ và $\phi'{2,2}(0)$ thích hợp (nghiệm của phương trình bậc hai), tác giả khử triệt để các cực điểm của các thương sai phân chia, làm cho $\phi_{4,k}$ chỉnh hình tại $\zeta = 0$.
  • Trường hợp $n = 5$: Khảo sát trường hợp có ít nhất 3 giá trị riêng phân biệt và trường hợp có đúng 2 giá trị riêng phân biệt có bội lớn hơn hoặc bằng 2.
  • Phản ví dụ khi $n \ge 6$ (Mục 2.7 của luận án): Tác giả chỉ ra rằng khi $n \ge 6$, hệ phương trình khử cực điểm của các sai phân chia trở nên phi tuyến vượt cấp so với số bậc tự do của các đạo hàm $\phi'{k,k}(0)$, dẫn đến công thức nâng Thomas không thể bảo đảm tính chỉnh hình đồng thời cho mọi phần tử $\phi{n,k}$.

Chương 3: Bài toán nâng ánh xạ từ đa đĩa đối xứng hóa có điều kiện đạo hàm bậc nhất

Chương 3 tập trung vào bài toán nâng địa phương tại $\zeta = 0$ khi cho trước ma trận $B_0 \in \Omega_4$ và ma trận đạo hàm $B_1 = \Phi'(0) \in \mathbb{C}^{4 \times 4}$.

Phương pháp đa tuyến tính hóa và Phương trình nâng

Đưa ma trận $B_0$ về dạng lũy linh. Đa thức đối xứng sơ cấp $\sigma_m(M)$ được đa tuyến tính hóa thành dạng đối xứng: $$\sigma_m(M) = \frac{1}{m!} M \cdot M \cdots M \quad (m \text{ lần})$$ Khai triển chuỗi Taylor $\Phi(\zeta) = \sum_{k=0}^\infty \frac{B_k}{k!} \zeta^k$. Đồng nhất đạo hàm cấp $k$ của hai vế $\pi \circ \Phi(\zeta) = \phi(\zeta)$ tại $\zeta = 0$, tác giả thu được hệ phương trình nâng tuyến tính theo $B_k$: $$X_k = L_{B_0, B_1}(B_k) + \dots$$ trong đó $X_k = \left( \phi_1^{(k+d_1-1)}(0), \dots, \phi_n^{(k+d_n-1)}(0) \right)^T$, dấu chấm biểu thị các đa thức phụ thuộc vào $B_0, B_1, \dots, B_{k-1}$, và ánh xạ tuyến tính $L_{B_0, B_1}: \mathbb{C}^{n \times n} \to \mathbb{C}^n$ có tọa độ thứ $m$ xác định bởi: $$[L_{B_0, B_1}(M)]m = \frac{(k+d_m-1)!}{k!(m-d_m)!(d_m-1)!} \underbrace{B_0 \cdots B_0}{m-d_m \text{ lần}} \underbrace{B_1 \cdots B_1}_{d_m-1 \text{ lần}} M$$

Phân tích các trường hợp ở chiều $n = 4$

Khi $B_0$ lũy linh cấp 4, các trường hợp khối Jordan gồm:

  1. Trường hợp 1: $B_0$ gồm 2 khối cấp 2.
  2. Trường hợp 2: $B_0$ gồm 1 khối cấp 2 và 2 khối cấp 1.
  3. Trường hợp 3: $B_0$ gồm 1 khối cấp 3 và 1 khối cấp 1.

Trong mỗi trường hợp, tác giả khảo sát chi tiết theo hạng của ánh xạ liên kết:

  • Khi $\text{rank}(L_{B_0, B_1}) = 4$ (Hạng cực đại): Tồn tại nghiệm ma trận $B_k$ ở mỗi bước $k \ge 2$.
  • Khi $\text{rank}(L_{B_0, B_1}) < 4$ (Hạng suy biến bằng 2 hoặc 3): Xuất hiện các quan hệ tuyến tính giữa các thành phần của $X_k$, dẫn đến các điều kiện cần bổ sung cho các đạo hàm cấp cao của $\phi$. Tác giả thay thế $L_{B_0, B_1}$ bằng toán tử mở rộng $L_{B_0, B_1, B_2}$ có chứa $B_2$ để đạt hạng cực đại trên không gian con.

Kỹ thuật bảo đảm hội tụ của chuỗi ma trận Taylor

Để chuỗi $\sum_{k=0}^\infty \frac{B_k}{k!} \zeta^k$ có bán kính hội tụ dương (tạo thành ánh xạ chỉnh hình $\Phi$), tác giả chứng minh rằng luôn có thể chọn nghiệm $B_k$ ($k \ge 2$) thuộc không gian con các ma trận chỉ có dòng thứ 4 khác không: $$V_{\text{last}} = {M \in \mathbb{C}^{4 \times 4} : M_{i,j} = 0 \text{ với mọi } i \le 3}$$ Khi thu hẹp lên $V_{\text{last}}$, hệ phương trình nghiệm trở thành một hệ thức truy hồi tuyến tính có thể đánh giá chuẩn ma trận $|B_k| \le C^k k!$, bảo đảm bán kính hội tụ của chuỗi lũy thừa lớn hơn 0.

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

Các đóng góp mới về mặt lý thuyết

  1. Lý thuyết không gian loại $E$-giới hạn: Mở rộng kết quả của Đỗ Đức Thái, Mai Anh Đức và Ninh Văn Thu từ không gian $\mathbb{C}^n$ sang tích $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$ với $X$ là đa tạp phức bất kỳ chứa đường cong nguyên; cung cấp kỹ thuật chứng minh mới sử dụng đối đồng điều bó $H^1(\mathbb{C}, \mathcal{I}) = 0$.
  2. Bài toán nâng không đạo hàm: Thiết lập đặc trưng hóa hình học hoàn chỉnh cho điều kiện nâng địa phương qua dãy chỉ số liên kết $d_i(B_j)$; xây dựng dạng Jordan sửa đổi; chứng minh công thức nâng toàn cục của Pascal J. Thomas đúng cho mọi $n \le 5$; thiết lập phản ví dụ chứng minh công thức này không tổng quát được cho $n \ge 6$.
  3. Bài toán nâng có đạo hàm bậc nhất: Thiết lập hệ điều kiện cần và đủ tường minh cho bài toán nâng có đạo hàm ở chiều $n = 4$; đề xuất phương pháp toán tử liên kết $L_{B_0, B_1}$ và kỹ thuật ma trận một dòng khác không để giải quyết bài toán hội tụ của chuỗi Taylor nghiệm.

Bảng tổng hợp các kết quả chính của luận án

Chương Đối tượng nghiên cứu Chiều không gian ($n$) Công cụ toán học chính Kết quả đạt được
Chương 1 Không gian không thuộc loại $E$-giới hạn Tùy ý ($\mathbb{C} \times X, \mathbb{C}^* \times X$) Lý thuyết bó nhất quán, đối đồng điều Čech, tích Mittag-Leffler, định lý Hurwitz Chứng minh $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$ không thuộc loại $E$-giới hạn với mọi metric Hermit $E$.
Chương 2 Bài toán nâng không có điều kiện đạo hàm $n \le 5$ (và phản ví dụ $n \ge 6$) Dạng Jordan sửa đổi, sai phân chia Newton, ma trận tựa đồng hành Đưa ra công thức nâng cụ thể cho $n \le 5$; chỉ ra công thức thất bại khi $n \ge 6$.
Chương 3 Bài toán nâng có điều kiện đạo hàm bậc nhất $n = 4$ Đa tuyến tính hóa đa thức đối xứng $\sigma_m$, toán tử $L_{B_0, B_1}$, không gian con $V_{\text{last}}$ Thiết lập điều kiện cần và đủ địa phương; chứng minh tính hội tụ của chuỗi Taylor ma trận nâng $\Phi(\zeta)$.

Kiến nghị và giải pháp đề xuất từ luận án

  • Đối với bài toán nâng không đạo hàm ở chiều $n \ge 6$, cần tìm kiếm các dạng ma trận nâng thay thế cho ma trận tựa đồng hành của Thomas nhằm tránh sự bùng nổ phi tuyến của các sai phân chia.
  • Đối với bài toán nâng có đạo hàm bậc nhất ở chiều $n \ge 5$, cần nghiên cứu cấu trúc đại số trừu tượng của toán tử $L_{B_0, B_1}$ để tránh tính toán ma trận trực tiếp.

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

Hạn chế được ghi nhận trong văn bản

  • Phụ thuộc vào kỹ thuật tính toán tọa độ: Phương pháp ở Chương 3 đòi hỏi tính toán đại số ma trận rất dài dòng, phân chia nhiều trường hợp nhỏ tùy theo hạng của $L_{B_0, B_1}$, gây khó khăn khi mở rộng trực tiếp lên các chiều $n \ge 5$.
  • Giới hạn của công thức nâng Thomas: Công thức nâng giải tích bằng sai phân chia của Pascal J. Thomas bị phá vỡ từ chiều $n = 6$.
  • Tính địa phương của bài toán có đạo hàm: Kết quả Chương 3 mới giải quyết trọn vẹn ở mức độ nâng địa phương trong lân cận điểm 0, chưa đưa ra công thức nâng toàn cục trên toàn bộ đĩa đơn vị $D$.

Hướng nghiên cứu tiếp theo

  1. Nghiên cứu bài toán nâng có điều kiện đạo hàm bậc nhất cho chiều tổng quát $n \ge 5$ bằng các phương pháp hình học giải tích phi tọa độ.
  2. Kết hợp điều kiện địa phương của bài toán nâng có đạo hàm với lý thuyết đồng luân chỉnh hình Oka-Gromov-Forstnerič để chuyển từ nghiệm địa phương sang nghiệm toàn cục.
  3. Nghiên cứu bài toán nâng với điều kiện đạo hàm cấp cao (đạo hàm bậc $k \ge 2$) và áp dụng vào việc khảo sát tính liên tục nhiều biến của hàm Lempert $\ell_{\Omega_n}(A, B)$ trên quả cầu phổ.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị tham khảo chuyên môn trong các lĩnh vực:

  • Nghiên cứu sinh và Giảng viên chuyên ngành Hình học - Tôpô và Giải tích phức:
    • Kỹ thuật sử dụng lý thuyết bó và đối đồng điều Stein để giải quyết bài toán nội suy vô hạn điểm trong Chương 1 là mẫu hình phương pháp luận cho các bài toán về họ chuẩn tắc và tính hyperbolic.
    • Phương pháp xây dựng dạng Jordan sửa đổi và kỹ thuật biến đổi sai phân chia trên ma trận trong Chương 2 cung cấp công cụ đại số - giải tích trực quan để xử lý cấu trúc kỳ dị của các ánh xạ giải tích nhiều biến.
  • Các nhà nghiên cứu trong Lý thuyết toán tử và Lý thuyết điều khiển mạnh:
    • Toàn bộ kết quả Chương 2 và Chương 3 cung cấp các tiêu chuẩn tường minh xác định sự tồn tại của nghiệm giải tích cho bài toán nội suy Nevanlinna-Pick và Carathéodory-Fejér phổ, hỗ trợ trực tiếp việc tính toán bán kính ổn định và $\mu$-tổng hợp trong kỹ thuật điều khiển.

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

1. Sự khác biệt cốt lõi giữa không gian loại $E$-giới hạn và không gian Zalcman là gì?

Sự khác biệt nằm ở ràng buộc đối với đường cong giới hạn $g: \mathbb{C} \to X$. Trong định nghĩa không gian loại $E$-giới hạn, đường cong giới hạn $g$ bắt buộc phải là một đường cong $E$-Brody (có đạo hàm Hermit bị chặn: $|g'(z)|_E \le c$ với mọi $z$). Ngược lại, trong không gian Zalcman, đường cong giới hạn $g$ chỉ cần là một đường cong nguyên khác hằng mà không đòi hỏi bất kỳ điều kiện bị chặn nào đối với đạo hàm. Do đó, tính chất thuộc loại $E$-giới hạn mạnh hơn tính chất Zalcman.

2. Đa đĩa đối xứng hóa $G_n$ được xây dựng từ quả cầu phổ $\Omega_n$ như thế nào?

Đa đĩa đối xứng hóa $G_n \subset \mathbb{C}^n$ là ảnh của quả cầu phổ đơn vị $\Omega_n \subset \mathbb{C}^{n \times n}$ qua phép chiếu đối xứng hóa $\pi = (\sigma_1, \dots, \sigma_n)$, trong đó $\sigma_i(M)$ là đa thức đối xứng sơ cấp thứ $i$ của các giá trị riêng của ma trận $M \in \Omega_n$. Về mặt giải tích, $G_n$ ghi nhận thông tin phổ của các ma trận một cách liên tục và chỉnh hình; chuyển miền nghiên cứu từ $\Omega_n$ (không bị chặn, không lồi) sang $G_n$ (bị chặn, siêu lồi và taut).

3. Dạng Jordan sửa đổi trong Chương 2 có đặc điểm gì khác so với dạng Jordan chuẩn tắc?

Dạng Jordan sửa đổi của ma trận $A_1$ giữ nguyên các khối Jordan trên đường chéo chính nhưng thay đổi hệ số tại các vị trí nối giữa hai khối liên tiếp $a_{n_i, 1+n_i}$ (vốn bằng $0$ trong dạng Jordan chuẩn) thành giá trị $1$. Dạng ma trận này không còn chẻ không gian thành các không gian con bất biến, nhưng giữ nguyên dạng tam giác trên và cho phép ma trận trở thành cyclic khi và chỉ khi tất cả các phần tử trên đường chéo phụ trên đều bằng $1$.

4. Tại sao công thức nâng của Pascal J. Thomas chỉ hoạt động đến chiều $n = 5$ và thất bại khi $n \ge 6$?

Công thức nâng của Thomas biểu diễn các phần tử của dòng cuối ma trận nâng $\phi_{n,k}$ dưới dạng thương của các sai phân chia bậc cao với tích các hàm $f_j$. Để $\phi_{n,k}$ chỉnh hình tại các điểm nội suy, cần triệt tiêu các không điểm ở mẫu thức bằng cách chọn giá trị thích hợp cho các đạo hàm của các phần tử đường chéo $\phi'_{k,k}(0)$. Khi $n \le 5$, số bậc tự do của các đạo hàm đủ để giải hệ phương trình khử cực điểm. Khi $n \ge 6$, số phương trình phi tuyến phát sinh từ các sai phân chia vượt quá số bậc tự do có thể chọn, dẫn đến hệ vô nghiệm.

5. Luận án đã sử dụng kỹ thuật gì để bảo đảm chuỗi Taylor ma trận ở Chương 3 có bán kính hội tụ dương?

Để giải quyết bài toán hội tụ của chuỗi lũy thừa hình thức $\Phi(\zeta) = \sum_{k=0}^\infty \frac{B_k}{k!} \zeta^k$, tác giả đã tìm kiếm nghiệm $B_k$ ($k \ge 2$) nằm trong không gian con $V_{\text{last}}$ gồm các ma trận có đúng dòng cuối cùng khác không. Khi thu hẹp ánh xạ tuyến tính $L_{B_0, B_1, B_2}$ lên không gian con này, dãy ma trận nghiệm thỏa mãn một hệ thức truy hồi tuyến tính bị chặn, cho phép đánh giá chuẩn $|B_k| \le C^k k!$, từ đó bảo đảm chuỗi Taylor hội tụ trên một lân cận của gốc tọa độ.

Kết luận

Luận án tiến sĩ của Trần Đức Anh đã giải quyết hoàn chỉnh bài toán về sự không tồn tại các đường cong $E$-Brody giới hạn trên các đa tạp tích $\mathbb{C} \times X$ và $\mathbb{C}^* \times X$ thông qua phương pháp đối đồng điều bó trên không gian Stein. Trong lý thuyết nội suy phổ, luận án đã xác lập hệ điều kiện cần và đủ địa phương cho bài toán nâng ánh xạ từ đa đĩa đối xứng hóa $G_n$ lên quả cầu phổ $\Omega_n$, thiết lập công thức nâng toàn cục tường minh cho chiều $n \le 5$ và xác định ranh giới hiệu lực của công thức Newton-Thomas tại $n=6$. Đồng thời, công trình đã xây dựng phương pháp đa tuyến tính hóa toán tử liên kết $L_{B_0, B_1}$ để giải quyết bài toán nâng có đạo hàm bậc nhất ở chiều $n=4$. Các kết quả đạt được đóng góp cơ sở giải tích và đại số tường minh cho lý thuyết họ chuẩn tắc, hình học phức và lý thuyết nội suy toán tử.