Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Đặng Văn Đoạt, được thực hiện dưới sự hướng dẫn khoa học của PGS. Hà Huy Vui và PGS. Phạm Tiến Sơn tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam, tập trung vào việc áp dụng công cụ đa diện Newton để giải quyết các bài toán trong lĩnh vực tối ưu hóa đa thức và giải tích thực.

Đa diện Newton của một đa thức nhiều biến là bao lồi của tập các số mũ của các đơn thức xuất hiện trong đa thức với hệ số khác không. Khái niệm này đóng vai trò mở rộng tự nhiên cho bậc của đa thức, mang các thông tin hình học, đại số, tổ hợp và giải tích của hệ phương trình đa thức. Luận án giải quyết ba khoảng trống nghiên cứu chính:

  1. Biểu diễn đa thức dưới dạng tổng bình phương (SOS): Các điều kiện đủ đã biết trước đây (như công trình của J. Lasserre) chỉ áp dụng cho lớp đa thức có đa diện Newton là các đơn hình cơ bản. Luận án đặt vấn đề mở rộng điều kiện này cho lớp đa thức với đa diện Newton bất kỳ thông qua việc mở rộng tập đỉnh hình học thành tập đỉnh số học.
  2. Tính đặt chỉnh của bài toán tối ưu đa thức không ràng buộc: Nghiên cứu tính đặt chỉnh theo nghĩa Zolezzi cho bài toán tìm infimum toàn cục $\inf_{x \in \mathbb{R}^n} f(x)$ trên không gian các đa thức có cùng đa diện Newton cho trước.
  3. Tiêu chuẩn tồn tại và số mũ của bất đẳng thức Łojasiewicz toàn cục: Tiêu chuẩn kiểm tra sự tồn tại của bất đẳng thức Łojasiewicz toàn cục trên $\mathbb{R}^n$ do D'Acunto, Kurdyka và các tác giả khác đưa ra trước đây rất khó kiểm tra trực tiếp. Luận án xây dựng một tập kiểm tra đại số $V_1$ có chiều thấp hơn để đơn giản hóa việc xác định tính hợp lệ của bất đẳng thức cũng như tính toán các số mũ liên quan.

Mục tiêu nghiên cứu của luận án được cụ thể hóa thành 4 nhiệm vụ:

  1. Đưa ra một điều kiện đủ để một đa thức thực không âm biểu diễn được dưới dạng tổng bình phương của các đa thức (SOS), được phát biểu thông qua đa diện Newton.
  2. Chứng minh sự tồn tại của một tập nửa đại số mở, trù mật trong không gian tất cả các đa thức có cùng một đa diện Newton thuận tiện cho trước, sao cho với mỗi đa thức thuộc tập này và bị chặn dưới, bài toán tìm infimum toàn cục là đặt chỉnh theo nghĩa Zolezzi.
  3. Đưa ra một tiêu chuẩn mới cho sự tồn tại của bất đẳng thức Łojasiewicz toàn cục của hàm đa thức nhiều biến trên $\mathbb{R}^n$ thông qua tập kiểm tra $V_1 = {x \in \mathbb{R}^n : \frac{\partial f}{\partial x_n}(x) = 0}$.
  4. Đánh giá các số mũ Łojasiewicz toàn cục thông qua bậc của đa thức và các số mũ trên tập kiểm tra; tính toán tường minh số mũ Łojasiewicz cho trường hợp hai biến ($n=2$) bằng thuật toán khai triển Newton-Puiseux và đa diện Newton tại vô hạn, đồng thời thiết lập dạng tường minh cho bất đẳng thức kiểu Hörmander.

Đối tượng nghiên cứu của luận án là lớp các hàm đa thức thực $n$ biến $f \in \mathbb{R}[x_1, \dots, x_n]$, bài toán tối ưu hóa không ràng buộc $\inf_{x \in \mathbb{R}^n} f(x)$, và tập mức nghiệm $f^{-1}(0)$ trong không gian Euclid $\mathbb{R}^n$, với các phân tích chuyên sâu mở rộng trên không gian hai chiều $\mathbb{R}^2$.

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

Công cụ đa diện Newton đã được thiết lập và ứng dụng rộng rãi trong nhiều nhánh toán học:

  • Lý thuyết kỳ dị và hình học đại số: Arnold, Gusein-Zade, Varchenko [AGV] đã tổng kết các ứng dụng của đa diện Newton trong lý thuyết kỳ dị; Kouchnirenko [Ko] nghiên cứu số Milnor và điều kiện không suy biến của hàm giải tích; Khovanskii [Kh] phát triển các ứng dụng trong hình học đại số; Gindikin và Volevich [GV] ứng dụng trong phương trình đạo hàm riêng.
  • Biểu diễn đa thức dương và tối ưu hóa: Mối liên hệ giữa tập đa thức dương bán xác định ($P_{d,n}$) và tập đa thức tổng bình phương ($\Sigma_{d,n}$) là vấn đề kinh điển bắt nguồn từ bài toán thứ 17 của Hilbert. Hilbert [Hi] chứng minh $\Sigma_{d,n} = P_{d,n}$ khi $n=1$, $d=2$ hoặc $(n,d)=(2,4)$. Motzkin [Mo] đưa ra ví dụ đầu tiên về đa thức PSD nhưng không là SOS: $M(x, y) = x^4 y^2 + x^2 y^4 - 3x^2 y^2 + 1$. Các công trình sau đó của Robinson [Re1], Choi và Lam [CL], Reznick [Re2] tiếp tục phát triển chủ đề này. J. Lasserre [La, La1, La2, La3] đã ứng dụng SOS vào việc nới lỏng bài toán tối ưu đa thức về bài toán quy hoạch nửa xác định (SDP) và đưa ra điều kiện đủ để đa thức là SOS khi đa diện Newton là đơn hình cơ bản.
  • Tính đặt chỉnh trong tối ưu hóa: Hadamard khởi xướng khái niệm đặt chỉnh; Tykhonov [Ty] đưa ra khái niệm đặt chỉnh cho bài toán cực tiểu hóa trên không gian metric; Zolezzi [Zo] đề xuất khái niệm đặt chỉnh mạnh hơn có xét đến sự nhiễu tham số. Các công trình của Ioffe, Zaslavski [IZ], Lucchetti, Revalski [ILR, IL1] đã chứng minh tính đặt chỉnh cho các lớp bài toán tối ưu và quy hoạch toàn phương.
  • Bất đẳng thức Łojasiewicz: Hörmander [Ho] (1958, cho đa thức) và Łojasiewicz [Lo] (1959, cho hàm giải tích trên tập compact) đã thiết lập bất đẳng thức $|f(x)| \ge c \operatorname{dist}(x, f^{-1}(0))^\alpha$ phục vụ bài toán chia phân bố cho đa thức. D'Acunto, Kurdyka [DHT] lần đầu tiên nghiên cứu dạng toàn cục của bất đẳng thức này trên $\mathbb{R}^n$. Sau đó, các tác giả Haraux, Phan, Souplet [HNS], D'Acunto, Kurdyka, Grandjean [DKL], O'Shea, Rimányi [OR], Hà Huy Vui [Ha1, Ha2, Ha3], Dinh, Hà, Pham [DHP2], Bierstone, Milman [BM], Bochnak, Coste, Roy [BCR], Kurdyka, Mostowski, Parusinski [KMP], Teissier [Te] đã phát triển lý thuyết này theo nhiều hướng khác nhau. Đặc biệt, Hà Huy Vui [Ha2] chứng minh rằng với đa thức không suy biến theo Kouchnirenko có đa diện Newton thuận tiện, bất đẳng thức Łojasiewicz toàn cục luôn tồn tại.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết:

  • Điều kiện đủ của J. Lasserre chỉ áp dụng khi đa diện Newton là đơn hình với các đỉnh là $2d e_i$. Luận án mở rộng định lý này cho đa diện Newton có hình học bất kỳ bằng cách đưa vào khái niệm đỉnh số học.
  • Mở rộng phạm vi khẳng định tính đặt chỉnh Zolezzi cho bài toán tối ưu đa thức với số biến và bậc tùy ý, thông qua tính không suy biến Kouchnirenko và đa diện Newton thuận tiện.
  • Giải quyết trở ngại trong việc kiểm tra tiêu chuẩn toàn cục của D'Acunto và Kurdyka [DHT] bằng cách chuyển việc kiểm tra trên toàn bộ $\mathbb{R}^n$ về tập đại số $V_1$, đồng thời đưa ra phương pháp tính tường minh số mũ Łojasiewicz trên $\mathbb{R}^2$.

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

1. Hệ thống lý thuyết và khái niệm sử dụng

  • Đa diện Newton và Đa diện Newton tại vô hạn: Cho $f(x) = \sum_{\alpha \in \mathbb{N}^n} f_\alpha x^\alpha \in \mathbb{R}[x_1, \dots, x_n]$ với $\operatorname{supp}(f) = {\alpha \in \mathbb{N}^n : f_\alpha \ne 0}$. Đa diện Newton $\Gamma(f)$ là bao lồi của $\operatorname{supp}(f)$ trong $\mathbb{R}^n_+$. Đa diện Newton tại vô hạn $\Gamma_\infty(f)$ là bao lồi của $\operatorname{supp}(f) \cup {0}$. Đa diện $\Gamma_\infty(f)$ gọi là thuận tiện nếu nó cắt tất cả các trục tọa độ tại các điểm khác gốc $0$.
  • Đỉnh số học và Khuôn (Framework): Đặt $C(f) := \Gamma(f) \cap \mathbb{Z}^n$; $A(f) := {\frac{1}{2}(s+t) : s, t \in \Gamma(f) \cap (2\mathbb{Z})^n}$; tập đỉnh số học $\mathcal{V}(f) := A(f) \setminus {\frac{1}{2}(s+t) : s \ne t, s, t \in \Gamma(f) \cap (2\mathbb{Z})^n}$. Tập hữu hạn $U = {u^1, \dots, u^m} \subset (2\mathbb{Z})^n$ được gọi là khuôn nếu $u^i_j \ge 0$ và $\sum_{j=1}^n u^i_j = 2d$. Tập $L \subset \mathbb{Z}^n$ là $U$-trung bình nếu $U \subset L$ và mọi $v \in L \setminus U$ là trung bình cộng của hai điểm chẵn phân biệt trong $L$. Tồn tại tập $U$-trung bình lớn nhất $U^$ thỏa mãn $A(U) \subset U^ \subset C(U)$.
  • Ma trận Moment: Ánh xạ tuyến tính $L_y: \mathbb{R}[x]{2d} \to \mathbb{R}$ xác định bởi $L_y(x^\alpha) = y\alpha$, ma trận moment $M_d(y) = (L_y(x^{\alpha+\beta}))_{|\alpha|, |\beta| \le d}$. Đa thức $f$ là SOS khi và chỉ khi $L_y(f) \ge 0$ với mọi $y$ sao cho $M_d(y) \succeq 0$.
  • Tính đặt chỉnh theo Tykhonov và Zolezzi:
    • Tykhonov: Bài toán $\inf_{x \in X} f(x)$ đặt chỉnh nếu $f$ đạt cực tiểu duy nhất tại $x_0$ và mọi dãy $x_n$ có $f(x_n) \to f(x_0)$ đều có $x_n \to x_0$.
    • Zolezzi: Bài toán $\inf_{x \in X} f_a(x)$ đặt chỉnh nếu giá trị cực tiểu $f_a^$ đạt tại $x_a$ duy nhất; với mọi dãy tham số $a_n \to a$, giá trị $f_{a_n}^$ hữu hạn và với mọi dãy $x_n$ thỏa mãn $f_{a_n}(x_n) - f_{a_n}^* \to 0$ thì $x_n \to x_a$.
  • Tính không suy biến theo Kouchnirenko: Đa thức $f$ không suy biến tại vô hạn nếu với mọi mặt $\Delta \in \Gamma_\infty(f)$, hệ $\frac{\partial f_\Delta}{\partial x_1}(x) = \dots = \frac{\partial f_\Delta}{\partial x_n}(x) = 0$ không có nghiệm trong $(\mathbb{R} \setminus {0})^n$.
  • Hàm đánh giá $P_\Gamma(x)$: $P_\Gamma(x) = \sum_{\alpha \in V} |x^\alpha|$ với $V$ là tập đỉnh của $\Gamma$. Khi $\Gamma$ thuận tiện, $P_\Gamma(x)$ là hàm ép (coercive, tức $\lim_{|x| \to \infty} P_\Gamma(x) = +\infty$).
  • Dãy loại một và Dãy loại hai trên tập kiểm tra $V_1 = {x \in \mathbb{R}^n : \frac{\partial f}{\partial x_n}(x) = 0}$:
    • Dãy loại một: ${x_k} \subset V_1$, $x_k \to \infty$, $f(x_k) \to 0$ và $\operatorname{dist}(x_k, f^{-1}(0)) \ge M > 0$.
    • Dãy loại hai: ${x_k} \subset V_1$, $x_k \to \infty$, $\operatorname{dist}(x_k, f^{-1}(0)) \to +\infty$ và $|f(x_k)| < M < +\infty$.

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

Luận án sử dụng phương pháp nghiên cứu toán học lý thuyết kết hợp giữa:

  • Phương pháp hình học đại số thực và tập nửa đại số: Áp dụng Định lý Tarski-Seidenberg về phép chiếu tập nửa đại số; Bổ đề Sard nửa đại số cho ánh xạ trơn giữa các đa tạp nửa đại số để chứng minh tính mở và trù mật của các không gian tham số.
  • Phương pháp giải tích và tối ưu: Đánh giá tiệm cận, giải tích lồi, chặn dưới hàm đa thức bằng các hàm ép qua chuẩn và ma trận Hessian.
  • Phương pháp khai triển giải tích Newton-Puiseux: Khai triển nghiệm của phương trình đại số thực trên $\mathbb{R}^2$ thành chuỗi lũy thừa phân số để xác định hành vi tiệm cận của hàm số và khoảng cách tại vô hạn.

3. Nguồn tư liệu nghiên cứu

Nghiên cứu dựa hoàn toàn trên các công cụ toán học giải tích, đại số giao hoán, lý thuyết kỳ dị, các tài liệu chuyên khảo và bài báo quốc tế chuyên ngành về tối ưu hóa đa thức và hình học giải tích thực.

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

Chương 1: Điều kiện đủ để một đa thức thực là tổng bình phương của các đa thức

Chương 1 thiết lập điều kiện đủ để một đa thức thực không âm là tổng bình phương (SOS) của các đa thức khác, mở rộng kết quả của J. Lasserre (2006).

  • Thiết lập bài toán: Xét đa thức thuần nhất $n$ biến bậc chẵn $2d$, biểu diễn dưới dạng: $$f(x) = \sum_{u \in U} f_u x^u + \sum_{\alpha \in \Delta} f_\alpha x^\alpha + \sum_{\alpha \notin (U \cup \Delta)} f_\alpha x^\alpha$$ trong đó $U$ là một khuôn (framework), $\Delta = {\alpha \in \operatorname{supp}(f) : f_\alpha < 0 \text{ hoặc } \exists \alpha_i \text{ lẻ}}$.

  • Bổ đề trọng tâm (Bổ đề 1.5): Cho $U$ là một khuôn và $L$ là một tập $U$-trung bình. Khi đó với mọi dãy $y$ thỏa mãn $M_d(y) \succeq 0$, ta có: $$|L_y(x^\alpha)| \le \max_{u \in U} L_y(x^u), \quad \forall \alpha \in L$$

  • Kết quả chính (Định lý 1.4): Cho $f$ là đa thức thuần nhất bậc $2d$ và $U$ là một khuôn. Giả sử:

    1. $\alpha \in U^*$ với mọi $\alpha \in \Delta$;
    2. $\min_{u \in U} f_u \ge \sum_{\alpha \in \Delta} |f_\alpha|$.

    Khi đó $f$ là SOS. (Nếu $\Delta = \emptyset$, quy ước tổng bằng $0$).

  • Mở rộng kết quả Lasserre: Khi $\Gamma(f)$ là đơn hình với các đỉnh là $V(f) = {2d e_1, \dots, 2d e_n}$, tập $U^* = C(U) = \Gamma(f) \cap \mathbb{Z}^n$, điều kiện trên trở về đúng định lý của J. Lasserre. Luận án chỉ ra rằng trong trường hợp tổng quát, tập đỉnh hình học $V(f)$ không đủ để bao quát mà phải sử dụng tập các đỉnh số học $\mathcal{V}(f)$ và tập $U^*$.

Chương 2: Tính đặt chỉnh của bài toán tối ưu đa thức

Chương 2 nghiên cứu tính đặt chỉnh theo nghĩa Zolezzi của bài toán tối ưu đa thức không ràng buộc $\inf_{x \in \mathbb{R}^n} f(x)$ trên không gian $A_\Gamma = {f \in \mathbb{R}[x] : \Gamma_\infty(f) \subseteq \Gamma} \cong \mathbb{R}^N$, với $\Gamma \subset \mathbb{R}^n_+$ là đa diện thuận tiện.

  • Các bổ đề nền tảng:

    • Bổ đề 2.4: Tồn tại tập nửa đại số mở, trù mật $B_\Gamma \subset A_\Gamma$ sao cho mọi $f \in B_\Gamma$ chỉ có các điểm tới hạn không suy biến.
    • Bổ đề 2.5: Tồn tại tập nửa đại số mở, trù mật $C_\Gamma \subset B_\Gamma$ sao cho mọi $f \in C_\Gamma$ chỉ có các điểm tới hạn không suy biến và các giá trị tới hạn đôi một phân biệt.
    • Bổ đề 2.6: Tập $D_\Gamma = {f \in A_\Gamma : \Gamma(f) \subset \Gamma \text{ và } f \text{ không suy biến tại vô hạn}}$ là tập nửa đại số mở và trù mật trong $A_\Gamma$.
    • Bổ đề 2.7 & 2.10: Nếu $f \in D_\Gamma$ bị chặn dưới thì tồn tại các hằng số $c_1, c_2, r > 0$ sao cho $c_1 P_\Gamma(x) \le f(x) \le c_2 P_\Gamma(x)$ với mọi $|x| \ge r$, kéo theo $f$ là hàm ép trên $\mathbb{R}^n$.

  • Kết quả chính (Định lý 2.1): Đặt $U_\Gamma := B_\Gamma \cap C_\Gamma \cap D_\Gamma$. Khi đó $U_\Gamma$ là tập nửa đại số mở, trù mật trong $A_\Gamma$. Với mọi $f \in U_\Gamma$ bị chặn dưới trên $\mathbb{R}^n$:

    1. $f$ có duy nhất một điểm cực tiểu toàn cục $x^* \in \mathbb{R}^n$.
    2. Tồn tại $\varepsilon > 0$ sao cho với mọi $u \in \mathbb{R}^N, |u| < \varepsilon$, đa thức $f_u = f + \sum_{\alpha \in C} u_\alpha x^\alpha \in A_\Gamma$ có duy nhất điểm cực tiểu toàn cục $x^*_u \in \mathbb{R}^n$.
    3. $f_u$ chỉ có các điểm tới hạn không suy biến, các giá trị tới hạn phân biệt, và Hessian $\nabla^2 f_u(x^*_u)$ xác định dương.
    4. Ánh xạ $u \mapsto x^u$ là giải tích và $\lim{u \to 0} x^_u = x^*$.
    5. Với mọi dãy ${x_u} \subset \mathbb{R}^n$, nếu $\lim_{u \to 0} [f_u(x_u) - \inf_{x \in \mathbb{R}^n} f_u(x)] = 0$ thì $\lim_{u \to 0} x_u = x^*$.

    Do đó, bài toán tìm infimum toàn cục của $f$ là đặt chỉnh theo nghĩa Zolezzi.

Chương 3: Bất đẳng thức Łojasiewicz toàn cục của hàm đa thức

Chương 3 xây dựng tiêu chuẩn kiểm tra sự tồn tại của bất đẳng thức Łojasiewicz toàn cục đối với đa thức $f(x_1, \dots, x_n) = a_0 x_n^d + a_1(x')x_n^{d-1} + \dots + a_d(x')$ với $a_0 \ne 0$ thông qua tập kiểm tra $V_1 = {x \in \mathbb{R}^n : \frac{\partial f}{\partial x_n}(x) = 0}$.

  • Bổ đề cơ sở (Bổ đề 3.2): Với mọi $x = (x', x_n) \in \mathbb{R}^{n-1} \times \mathbb{R}$, tồn tại điểm $x^* = (x', x_n^*) \in f^{-1}(0) \cup V_1$ thỏa mãn:
    1. $|f(x^*)| \le |f(x)|$;
    2. $|x - x^*| \le (2e)[|a_0| d! (d+1)!]^{1/d} |f(x)|^{1/d}$.
  • Phân loại bất đẳng thức Łojasiewicz trên tập kiểm tra $V_1$ (Mệnh đề 3.5): Đặt $f_* := \inf_{x \in V_1} |f(x)|$. Không tồn tại dãy loại một và loại hai trên $V_1$ khi và chỉ khi $f$ thỏa mãn một trong 4 dạng bất đẳng thức trên $V_1$ tùy thuộc vào giá trị $f_*$ và tính bị chặn của hàm khoảng cách $\operatorname{dist}(x, f^{-1}(0))$ trên $V_1$.
  • Định lý tương đương toàn cục (Định lý 3.6): Các mệnh đề sau là tương đương:
    1. Không tồn tại dãy loại một và loại hai của $f$ trên $\mathbb{R}^n$.
    2. Tồn tại các hằng số $c, \alpha, \beta > 0$ sao cho $|f(x)| \ge c \min{\operatorname{dist}(x, f^{-1}(0))^\alpha, \operatorname{dist}(x, f^{-1}(0))^\beta}$ với mọi $x \in \mathbb{R}^n$.
    3. Không tồn tại dãy loại một và loại hai của $f$ trên $V_1$.
    4. Bất đẳng thức Łojasiewicz toàn cục trên $\mathbb{R}^n$ nhận một trong 4 dạng cụ thể tương ứng với hành vi trên $V_1$.
Trường hợp Điều kiện trên $V_1$ Dạng bất đẳng thức Łojasiewicz toàn cục trên $\mathbb{R}^n$
(a) $f_* > 0$ và $\operatorname{dist}(x, f^{-1}(0))$ bị chặn trên $V_1$ $|f(x)| \ge c \operatorname{dist}(x, f^{-1}(0))^d$
(b) $f_* > 0$ và $\operatorname{dist}(x, f^{-1}(0))$ không bị chặn trên $V_1$ $|f(x)| \ge c \min{\operatorname{dist}(x, f^{-1}(0))^{L_\infty(V_1)}, \operatorname{dist}(x, f^{-1}(0))^d}$
(c) $f_* = 0$ và $\operatorname{dist}(x, f^{-1}(0))$ bị chặn trên $V_1$ $|f(x)| \ge c \min{\operatorname{dist}(x, f^{-1}(0))^{L_0(V_1)}, \operatorname{dist}(x, f^{-1}(0))^d}$
(d) $f_* = 0$ và $\operatorname{dist}(x, f^{-1}(0))$ không bị chặn trên $V_1$ $|f(x)| \ge c \min{\operatorname{dist}(x, f^{-1}(0))^{L_0(V_1)}, \operatorname{dist}(x, f^{-1}(0))^{L_\infty(V_1)}, \operatorname{dist}(x, f^{-1}(0))^d}$

Chương 4: Bất đẳng thức Łojasiewicz của hàm đa thức trên $\mathbb{R}^2$

Chương 4 tập trung vào trường hợp không gian hai biến ($n=2$), cung cấp giải thuật tính toán cụ thể cho các số mũ Łojasiewicz.

  • Mục 4.1 - Khai triển Puiseux và kiểm tra sự tồn tại: Sử dụng thuật toán khai triển Newton-Puiseux để biểu diễn các nhánh của đường cong đại số $V_1 = {(x, y) \in \mathbb{R}^2 : \frac{\partial f}{\partial y}(x, y) = 0}$ dưới dạng chuỗi phân số tiệm cận tại vô hạn $y(x) = c x^\gamma + \dots$. Từ các khai triển này, việc kiểm tra sự tồn tại của dãy loại một và dãy loại hai trên $V_1$ được thực hiện bằng giải thuật hữu hạn bước.
  • Mục 4.2 - Tính số mũ Łojasiewicz: Tính toán tường minh số mũ gần tập $L_0(f)$ và số mũ xa tập $L_\infty(f)$ của đa thức hai biến tùy ý thông qua bậc tiệm cận của các nhánh Puiseux của $V_1$ và $f^{-1}(0)$.
  • Mục 4.3 - Đa thức không suy biến tại vô hạn: Đối với lớp đa thức hai biến không suy biến theo phần chính Newton tại vô hạn, các số mũ Łojasiewicz được tính toán trực tiếp thông qua các đặc trưng hình học của các cạnh và độ dốc của biên đa diện Newton tại vô hạn $\Gamma_\infty(f)$.
  • Mục 4.4 - Dạng tường minh của bất đẳng thức kiểu Hörmander: Thiết lập bất đẳng thức kiểu Hörmander trên $\mathbb{R}^2$ với các số mũ được xác định cụ thể từ cấu trúc đa diện Newton và khai triển Puiseux.

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

1. Đóng góp về mặt lý luận

  • Mở rộng điều kiện đa thức SOS: Luận án mở rộng định lý của J. Lasserre từ lớp đa thức có đa diện Newton là đơn hình cơ bản sang đa thức có đa diện Newton bất kỳ thông qua khái niệm khuôn và đỉnh số học $\mathcal{V}(f)$, cung cấp điều kiện đủ tường minh dựa trên các hệ số của đa thức.
  • Xác lập tính đặt chỉnh tổng quát trong tối ưu đa thức: Chứng minh rằng tính đặt chỉnh theo nghĩa Zolezzi là một tính chất tổng quát (generic) trong không gian các đa thức có cùng đa diện Newton thuận tiện, với số biến và bậc tùy ý, thông qua tập mở trù mật $U_\Gamma$.
  • Xây dựng tiêu chuẩn tập kiểm tra $V_1$ cho bất đẳng thức Łojasiewicz: Đưa ra tiêu chuẩn quy việc kiểm tra bất đẳng thức Łojasiewicz toàn cục từ toàn bộ không gian $\mathbb{R}^n$ về tập đại số $V_1 = {x : \frac{\partial f}{\partial x_n} = 0}$, giúp đơn giản hóa việc phân tích tính chất giải tích toàn cục của đa thức.
  • Thuật toán tính số mũ Łojasiewicz trên $\mathbb{R}^2$: Cung cấp phương pháp tính toán tường minh các số mũ Łojasiewicz và dạng cụ thể của bất đẳng thức kiểu Hörmander dựa trên khai triển Newton-Puiseux và hình học đa diện Newton tại vô hạn.

2. Kiến nghị và giải pháp đề xuất

  • Ứng dụng điều kiện SOS dựa trên đỉnh số học vào việc tối ưu hóa các bài toán xấp xỉ quy hoạch nửa xác định (SDP relaxations), giảm bớt độ phức tạp tính toán khi nhận diện đa thức không âm.
  • Sử dụng tập kiểm tra $V_1$ và các số mũ Łojasiewicz tường minh trong việc đánh giá tốc độ hội tụ của các thuật toán tối ưu hóa đa thức (như thuật toán gradient descent) và các bài toán giải tích biến phân.

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

Dựa trên nội dung và phạm vi nghiên cứu được trình bày trong văn bản:

  • Hạn chế về tính toán số mũ cho số chiều cao ($n \ge 3$): Việc tính toán tường minh các số mũ Łojasiewicz và bất đẳng thức Hörmander mới được giải quyết trọn vẹn cho trường hợp hai biến ($n=2$) nhờ thuật toán Newton-Puiseux. Đối với $n \ge 3$, luận án mới dừng lại ở các đánh giá chặn thông qua bậc $d$ và số mũ trên tập kiểm tra $V_1$.
  • Điều kiện thuận tiện của đa diện: Kết quả về tính đặt chỉnh Zolezzi ở Chương 2 đòi hỏi giả thiết đa diện Newton tại vô hạn $\Gamma_\infty(f)$ phải thuận tiện (giao với tất cả các trục tọa độ tại các điểm khác gốc).
  • Tính chất điều kiện đủ của SOS: Điều kiện thiết lập ở Chương 1 là điều kiện đủ để đa thức là SOS, chưa phải điều kiện cần và đủ cho lớp đa thức tổng quát.

Giá trị tham khảo

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

  • Nghiên cứu sinh và Giảng viên ngành Toán học:
    • Chuyên ngành Tối ưu hóa: Tham khảo kỹ thuật chứng minh tính đặt chỉnh Zolezzi qua tập mở trù mật và tính chất ép của đa thức $P_\Gamma(x)$ (Chương 2); phương pháp xấp xỉ SOS qua đỉnh số học (Chương 1).
    • Chuyên ngành Hình học đại số thực và Lý thuyết kỳ dị: Tham khảo phương pháp sử dụng tập kiểm tra đại số $V_1$ (Chương 3), kỹ thuật khai triển Newton-Puiseux và đa diện Newton tại vô hạn để tính số mũ Łojasiewicz (Chương 4).
  • Các nhà nghiên cứu giải tích ứng dụng và phương trình đạo hàm riêng: Tham khảo dạng tường minh của bất đẳng thức kiểu Hörmander và bất đẳng thức Łojasiewicz toàn cục để phục vụ việc đánh giá nghiệm và tính ổn định của hệ phương trình đạo hàm riêng.

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

1. Khái niệm "đỉnh số học" trong Chương 1 khác gì so với "đỉnh hình học" của đa diện Newton?

Đỉnh hình học $V(f)$ là các điểm cực biên của bao lồi $\operatorname{supp}(f)$. Trong khi đó, đỉnh số học $\mathcal{V}(f)$ được định nghĩa là $\mathcal{V}(f) := A(f) \setminus {\frac{1}{2}(s+t) : s \ne t; s, t \in \Gamma(f) \cap (2\mathbb{Z})^n}$, với $A(f) = {\frac{1}{2}(s+t) : s, t \in \Gamma(f) \cap (2\mathbb{Z})^n}$. Đỉnh số học bổ sung các điểm nguyên chẵn nội tại cần thiết để kiểm soát biểu diễn tổng bình phương (SOS) khi đa diện Newton không phải là đơn hình cơ bản.

2. Tính đặt chỉnh Zolezzi trong Chương 2 được thiết lập dưới những điều kiện nào của đa thức?

Bài toán $\inf_{x \in \mathbb{R}^n} f(x)$ đặt chỉnh theo nghĩa Zolezzi khi đa thức $f$ thuộc tập nửa đại số mở và trù mật $U_\Gamma = B_\Gamma \cap C_\Gamma \cap D_\Gamma$ trong không gian $A_\Gamma$ (với $\Gamma$ là đa diện thuận tiện) và $f$ bị chặn dưới trên $\mathbb{R}^n$. Khi đó, $f$ có cực tiểu toàn cục duy nhất, nghiệm ổn định và khả vi giải tích dưới các nhiễu tham số nhỏ.

3. Tập kiểm tra $V_1$ trong Chương 3 được xây dựng như thế nào và có vai trò gì?

Tập kiểm tra $V_1$ được xác định bởi tập các điểm dừng theo biến cuối cùng: $V_1 = {x \in \mathbb{R}^n : \frac{\partial f}{\partial x_n}(x) = 0}$. Luận án chứng minh rằng bất đẳng thức Łojasiewicz toàn cục tồn tại trên toàn bộ không gian $\mathbb{R}^n$ khi và chỉ khi không tồn tại dãy loại một và dãy loại hai trên tập $V_1$, biến $V_1$ thành tập kiểm tra hữu hiệu cho toàn bộ không gian.

4. Dãy loại một và dãy loại hai của hàm đa thức được định nghĩa thế nào trên $V_1$?

  • Dãy loại một: Dãy ${x_k} \subset V_1$ thỏa mãn $x_k \to \infty$, $f(x_k) \to 0$ nhưng khoảng cách $\operatorname{dist}(x_k, f^{-1}(0)) \ge M > 0$.
  • Dãy loại hai: Dãy ${x_k} \subset V_1$ thỏa mãn $x_k \to \infty$, $|f(x_k)| < M < +\infty$ nhưng khoảng cách $\operatorname{dist}(x_k, f^{-1}(0)) \to +\infty$.

5. Công cụ chính nào được sử dụng trong Chương 4 để tính toán tường minh số mũ Łojasiewicz trên $\mathbb{R}^2$?

Luận án sử dụng thuật toán khai triển Newton-Puiseux để biểu diễn các nhánh đại số của tập $V_1$ tại vô hạn thành các chuỗi lũy thừa phân số, kết hợp với các đặc trưng hình học của đa diện Newton tại vô hạn $\Gamma_\infty(f)$ đối với lớp đa thức không suy biến theo Kouchnirenko.

Kết luận

Luận án tiến sĩ của Đặng Văn Đoạt đã phát triển và ứng dụng công cụ đa diện Newton vào việc giải quyết các bài toán thời sự trong tối ưu hóa đa thức và giải tích thực. Các kết quả chính bao gồm việc mở rộng điều kiện đủ cho đa thức tổng bình phương thông qua đỉnh số học, chứng minh tính đặt chỉnh Zolezzi tổng quát cho bài toán tối ưu đa thức, và xây dựng tiêu chuẩn tập kiểm tra $V_1$ cho bất đẳng thức Łojasiewicz toàn cục. Công trình đồng thời cung cấp giải thuật tính toán tường minh các số mũ Łojasiewicz và bất đẳng thức kiểu Hörmander trên không gian hai chiều, đóng góp cơ sở lý thuyết cho lĩnh vực hình học đại số thực và tối ưu hóa.