Tổng quan luận án

Bất đẳng thức Łojasiewicz và bất đẳng thức Łojasiewicz gradient giữ vai trò nền tảng trong hình học giải tích, hình học đại số thực và giải tích biến phân kể từ khi được Stanisław Łojasiewicz đề xuất nhằm giải quyết giả thuyết của Laurent Schwartz (1950) về phép chia phân bố. Trong lý thuyết cổ điển, các bất đẳng thức này chủ yếu được thiết lập trong phạm vi cục bộ (trên lân cận compact của một điểm kỳ dị) đối với các hàm giải tích. Khi mở rộng sang trường hợp toàn cục (trên toàn bộ không gian $\mathbb{R}^n$ hoặc các tập không bị chặn), bất đẳng thức Łojasiewicz cổ điển thường không còn được bảo toàn nếu không bổ sung các số hạng điều chỉnh hoặc các điều kiện kiểm soát dáng điệu của hàm tại vô hạn.

Khoảng trống nghiên cứu được luận án chỉ ra gồm ba vấn đề trọng tâm:

  1. Trong lý thuyết kỳ dị cục bộ, các bất biến cực (thương cực) và số mũ Łojasiewicz gradient từng được Bernard Teissier nghiên cứu chủ yếu cho các kỳ dị siêu mặt cô lập và thu gọn; việc tính toán tường minh cũng như khẳng định tính bất biến tô pô của chúng trong trường hợp kỳ dị đường cong phẳng phức không nhất thiết thu gọn vẫn chưa được giải quyết trọn vẹn.
  2. Trong bài toán toàn cục đối với đa thức thực nhiều biến, việc xác định tập các giá trị nhận cận sai số Hölder toàn cục $\Lambda^+(f)$ và tập các giá trị thớ thỏa mãn bất đẳng thức Łojasiewicz toàn cục $\Lambda(f)$, phân loại tính ổn định của chúng dưới các nhiễu loạn giá trị, cũng như mối liên hệ bản chất với tập các giá trị rẽ nhánh và giá trị Fedoryuk tại vô hạn $K_\infty(f)$ chưa có thuật toán tính toán cụ thể.
  3. Trong tối ưu hóa không trơn và tối ưu hóa các hàm thuần (tame optimization), việc xây dựng tiêu chuẩn tồn tại cận sai số Hölder toàn cục và bất đẳng thức Łojasiewicz gradient không trơn cạnh thớ cho lớp hàm định nghĩa được trong các cấu trúc o-tối tiểu vẫn là hướng nghiên cứu mới mở.

Mục tiêu và nhiệm vụ nghiên cứu của luận án được xác định theo các nội dung đánh số sau:

  1. Nghiên cứu tính bất biến tô pô của tập các thương cực và số mũ Łojasiewicz gradient đối với kỳ dị đường cong phẳng phức (kể cả trường hợp không thu gọn); thiết lập công thức tính toán và cận trên hiệu quả cho các số mũ Łojasiewicz cục bộ theo bậc của đa thức.
  2. Thiết lập công thức tường minh và quy trình tính toán tập $\Lambda^+(f)$ cho hàm đa thức thực hai biến bằng khai triển Newton-Puiseux tại vô hạn; phân loại toàn bộ các kiểu ổn định của cận sai số Hölder toàn cục thông qua tập giá trị Fedoryuk; khảo sát tập $\Lambda(f)$ của bất đẳng thức Łojasiewicz toàn cục.
  3. Đưa ra tiêu chuẩn tồn tại cận sai số Hölder toàn cục cho hàm liên tục, định nghĩa được trong cấu trúc o-tối tiểu thông qua điều kiện kiểu Palais-Smale và khảo sát bất đẳng thức Łojasiewicz gradient cạnh thớ với độ dốc không trơn.

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

  • Đối tượng nghiên cứu: Mầm hàm giải tích phức và thực hai biến tại gốc tọa độ (kỳ dị đường cong phẳng); hàm đa thức thực $n$ biến trên $\mathbb{R}^n$; hàm thực liên tục định nghĩa được trong cấu trúc o-tối tiểu trên $\mathbb{R}$.
  • Phạm vi không gian: Không gian xạ ảnh và Euclid $\mathbb{C}^2$, $\mathbb{R}^2$, $\mathbb{R}^n$ và không gian mêtric đầy đủ.
  • Phạm vi lý thuyết: Hình học đại số thực và phức, lý thuyết kỳ dị, hình học nửa đại số, cấu trúc o-tối tiểu và giải tích biến phân.

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

Luận án điểm lại hệ thống các công trình nghiên cứu xoay quanh bất đẳng thức Łojasiewicz và lý thuyết kỳ dị:

  • Về nguồn gốc và bất đẳng thức giải tích: L. Schwartz (1950) đề xuất bài toán chia phân bố, dẫn đến các công trình nền tảng của S. Łojasiewicz (1959, 1965) về bất đẳng thức khoảng cách và bất đẳng thức gradient cho hàm giải tích thực và phức. L. Hörmander (1958) mở rộng bất đẳng thức khoảng cách trên toàn không gian $\mathbb{R}^n$ với trọng số đa thức phụ thuộc biến số.
  • Về thương cực và bất biến tô pô cục bộ: B. Teissier (1977, 1980) đưa ra khái niệm thương cực để nghiên cứu điều kiện đẳng kỳ dị của kỳ dị siêu mặt phức cô lập thu gọn. Lê Dũng Tráng (1980) mở rộng thương cực cho siêu mặt có kỳ dị không cô lập. A. Parusiński (2001) chứng minh phân loại tô pô của mầm kỳ dị đường cong phẳng thông qua các cặp Puiseux và bậc liên kết. T. C. Kuo và A. Parusiński (2000) xây dựng phương pháp đa giác Newton tương ứng với một cung và kỹ thuật trượt để tính khai triển Newton-Puiseux.
  • Về cận trên hiệu quả của số mũ Łojasiewicz: J. J. Risler và D. Trotman (1997) nghiên cứu tính bất biến bi-Lipschitz của số mũ Łojasiewicz cổ điển trong trường hợp phức. T. C. Kuo (1974) đưa ra công thức tính số mũ cổ điển trong trường hợp thực. Các cận trên theo bậc của đa thức được khảo sát bởi J. Ji, J. Kollár, B. Shiffman (1992), J. Gwoździewicz (1999), S. Spodzieja (2005), D. D'Acunto và K. Kurdyka (2005), A. Haraux (1998).
  • Về bất đẳng thức Łojasiewicz toàn cục và giá trị kỳ dị tại vô hạn: Hà Huy Vui và Nguyễn Hồng Đức (2008), Đinh Sĩ Tiệp, Hà Huy Vui và Nguyễn Thị Thảo (2012) đề xuất mô hình bất đẳng thức Łojasiewicz toàn cục dạng $|f(x)|^\alpha + |f(x)|^\beta \ge c \operatorname{dist}(x, V)$. Các nghiên cứu về tập giá trị Fedoryuk $K_\infty(f)$ và tập giá trị rẽ nhánh tại vô hạn $B_\infty(f)$ gắn liền với các công trình của M. V. Fedoryuk, K. Kurdyka, P. Orro, S. Simon (2000), Hà Huy Vui và Phạm Tiến Sơn (2001), Z. Jelonek và K. Kurdyka (2014).
  • Về cấu trúc o-tối tiểu và tối ưu hóa hàm thuần: L. van den Dries (1998) hệ thống hóa hình học o-tối tiểu. K. Kurdyka (1998) mở rộng bất đẳng thức Łojasiewicz gradient cho hàm định nghĩa được trong cấu trúc o-tối tiểu. J. Bolte, A. Daniilidis, A. S. Lewis (2006, 2007) phát triển lý thuyết giải tích biến phân cho hàm thuần. Tạ Lê Lợi (2008), Đinh Sĩ Tiệp, Hà Huy Vui, Phạm Tiến Sơn (2014) và Hà Huy Vui (2017) khảo sát cận sai số Hölder toàn cục cho hàm định nghĩa được.

Vị trí của luận án được xác lập qua việc giải quyết các khoảng trống: mở rộng kết quả của Teissier và Parusiński sang trường hợp kỳ dị đường cong phẳng không thu gọn; cải biên chặn trên số mũ gradient của D'Acunto và Kurdyka; hoàn thiện thuật toán xác định tập $\Lambda^+(f)$ cho đa thức hai biến và phân loại ổn định thông qua tập Fedoryuk; mở rộng tiêu chuẩn cận sai số của Hà Huy Vui cho cấu trúc o-tối tiểu tổng quát.

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

Luận án vận dụng các cơ sở lý thuyết toán học thuần túy:

  • Lý thuyết mầm hàm giải tích nhiều biến: Định lý chuẩn bị Weierstrass và Định lý chia Weierstrass nhằm quy việc khảo sát mầm hàm giải tích về đa thức Weierstrass.
  • Lý thuyết khai triển Newton-Puiseux: Định lý Puiseux biểu diễn nghiệm của phương trình đại số/giải tích tại lân cận gốc tọa độ và tại vô hạn dưới dạng chuỗi lũy thừa với số mũ hữu tỷ.
  • Hình học nửa đại số và cấu trúc o-tối tiểu: Hệ thống tiên đề cấu trúc o-tối tiểu $\mathcal{O} = (\mathcal{O}n){n \in \mathbb{N}}$ trên $\mathbb{R}$, Định lý Tarski-Seidenberg dạng logic, tính chất bảo toàn qua phép chiếu, tính định nghĩa được của hàm khoảng cách $\operatorname{dist}(x, A)$, Định lý đơn điệu và Bổ đề phân đôi cấp tăng.
  • Giải tích biến phân không trơn: Dưới vi phân Fréchet $\hat{\partial} f(x)$, dưới vi phân giới hạn (Mordukhovich) $\partial f(x)$, độ dốc không trơn $m_f(x) := \inf{|v| : v \in \partial f(x)}$, độ dốc mạnh $|\nabla f|(x)$ và Nguyên lý biến phân Ekeland.

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

  • Phương pháp đa giác Newton tương ứng với một cung và phương pháp trượt (sliding method): Xây dựng đa giác Newton $P(f, \varphi)$ từ các điểm $(i, j/N)$ và thực hiện phép trượt liên tiếp dọc theo cạnh cao nhất $E_H$ để tiếp cận nghiệm Newton-Puiseux của phương trình đạo hàm riêng $\partial f/\partial x = 0$.
  • Bổ đề chọn đường cong (Curve Selection Lemma): Rút gọn việc tính số mũ Łojasiewicz gradient $L(f)$ trên toàn lân cận về bài toán tìm cận trên đúng của cấp tăng dọc theo các đường cong giải tích thực/phức.
  • Phân tích tiệm cận tại vô hạn: Sử dụng khai triển Newton-Puiseux tại vô hạn của các nhánh đường cong đại số phẳng để kiểm soát dáng điệu của tập dưới mức và tập gradient triệt tiêu.
  • Đánh giá giải tích và độ đo: Sử dụng Định lý Bezout để đếm bội giao của các đường cong đại số và áp dụng bất đẳng thức đánh giá độ đo Lebesgue của tập mức đối với hàm khả vi một biến.

Nguồn tư liệu nghiên cứu là các văn bản toán học lý thuyết, công trình công bố chuyên ngành và các chứng minh giải tích - hình học thuần túy, không sử dụng dữ liệu thực nghiệm hay phần mềm tính toán số.

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

Chương 1. Một số kiến thức chuẩn bị

Chương 1 hệ thống hóa các định nghĩa và kết quả bổ trợ cần thiết cho toàn bộ luận án:

  • Mầm hàm giải tích và bất đẳng thức Łojasiewicz: Trình bày Định lý chuẩn bị Weierstrass đưa mầm hàm giải tích $f \in \mathcal{O}_n$ về dạng đa thức Weierstrass $x_1^k + a_1(x_2, \dots, x_n)x_1^{k-1} + \dots + a_k(x_2, \dots, x_n)$. Giới thiệu bất đẳng thức Łojasiewicz gradient: $$|\nabla f(x)| \ge C |f(x)|^\rho, \quad \forall x \in U$$ với $\rho \in (0, 1)$, và bất đẳng thức Łojasiewicz cổ điển $|f(x)| \ge c \operatorname{dist}(x, V)^\alpha$ trên tập compact $K$.
  • Khai triển Newton-Puiseux: Nhắc lại Định lý Puiseux địa phương cho đa thức Weierstrass bất khả quy và Mệnh đề 1.10 về dạng khai triển Newton-Puiseux tại vô hạn của đa thức hai biến $g(x, y) = y^d + a_1(x)y^{d-1} + \dots + a_d(x)$: $$y_i(x) = c_i x^{k_i/p} + c_{i,1} x^{(k_i-1)/p} + \dots$$ hội tụ trong miền ${x \in \mathbb{C} : |x| > r}$.
  • Cấu trúc o-tối tiểu và tập nửa đại số: Định nghĩa hệ tiên đề cấu trúc o-tối tiểu trên $\mathbb{R}$, Định lý Tarski-Seidenberg dạng logic, tính định nghĩa được của hàm cận dưới $\phi(y) = \inf_{x \in G^{-1}(y)} f(x)$, Định lý đơn điệu và Bổ đề phân đôi cấp tăng tại $0^+$ và $+\infty$. Nêu Bổ đề 1.18 về ước lượng độ đo Lebesgue: $\operatorname{mes}{\tau \in \mathbb{R} : |u(\tau)| \le \varepsilon} \le (2\varepsilon)((d+1)!)^{1/d} \varepsilon^{1/d}$.
  • Giải tích biến phân: Định nghĩa dưới vi phân Fréchet, dưới vi phân giới hạn, độ dốc không trơn $m_f(x)$, độ dốc mạnh $|\nabla f|(x)$ và Nguyên lý biến phân Ekeland trong không gian mêtric đầy đủ.

Chương 2. Bất biến tô pô của kỳ dị đường cong phẳng: Các thương cực và số mũ Łojasiewicz gradient

Chương 2 giải quyết bài toán tính toán và chứng minh tính bất biến tô pô cho kỳ dị đường cong phẳng phức không nhất thiết thu gọn, đồng thời đưa ra các chặn trên hiệu quả:

  • Đa giác Newton tương ứng với một cung và phương pháp trượt: Cho mầm hàm giải tích $f(x, y)$ chính quy cấp $m$ theo $x$ và một cung $\varphi(y)$. Đa giác Newton $P(f, \varphi)$ được xây dựng từ bao lồi của các điểm $(i, j/N)$ có hệ số $c_{ij} \neq 0$. Bổ đề 2.2 xác lập cơ sở kỹ thuật cho phép trượt dọc theo cạnh cao nhất $E_H$ để biến đổi cung $\varphi$ thành nghiệm của $f = 0$.
  • Tính bất biến tô pô của thương cực: Tập các thương cực được định nghĩa bởi: $$Q(f) := \left{ \operatorname{ord} f(\gamma(y), y) ;\middle|; \gamma \text{ là nghiệm Newton-Puiseux của } \frac{\partial f}{\partial x} = 0, f(\gamma(y), y) \not\equiv 0 \right}$$ Định lý 2.4 thiết lập công thức xác định $Q(f)$ thông qua các nghiệm xấp xỉ $\xi_{i,j}$ của các cặp nghiệm Newton-Puiseux phân biệt $\xi_i, \xi_j$ của $f = 0$: $$Q(f) = \left{ \operatorname{ord} f(\xi_{i,j}(y), y) ;\middle|; 1 \le i < j \le r \right}$$ Kết hợp kết quả phân loại tương đương tô pô phải của Parusiński (2001), Định lý 2.6 khẳng định: Tập các thương cực $Q(f)$ của kỳ dị đường cong phẳng (không nhất thiết thu gọn) là một bất biến tô pô.
  • Số mũ Łojasiewicz gradient trong trường hợp phức: Định lý 2.8 chứng minh số mũ $L(f)$ đạt được trên một nhánh của đường cực: $$L(f) = \begin{cases} \dfrac{m-1}{m} & \text{nếu } \Gamma(f) = \emptyset \ \max {\ell(\gamma) \mid \gamma \in \Gamma(f)} & \text{nếu } \Gamma(f) \neq \emptyset \end{cases}$$ Hệ quả 2.9 biểu diễn $L(f)$ qua các nghiệm xấp xỉ $\xi_{i,j}$: $L(f) = \max_{1 \le i < j \le r} {1 - 1/\operatorname{ord} f(\xi_{i,j}(y), y)}$. Từ đó, Hệ quả 2.10 khẳng định $L(f)$ là một bất biến tô pô trong trường hợp phức.
  • Trường hợp thực và sự không bất biến: Định lý 2.12 xác định số mũ gradient thực $L(f) = \max{L^+(f), L^-(f)}$ thông qua các nhánh cực thực của $f(x, y)$ và $\bar{f}(x, y) := f(x, -y)$. Nhận xét 2.13 chỉ ra tính không bất biến tô pô trong trường hợp thực bằng phản ví dụ: $f(x, y) = x^2 - y^3$ có $L(f) = 2/3$, trong khi $g(x, y) = x^2 - y^5$ có $L(g) = 4/5$, dù hai hàm tương đương tô pô phải qua đồng phôi $(x, y) \mapsto (x, y^{5/3})$. Hệ quả 2.14 chứng minh với đa thức thuần nhất bậc $d$ bất kỳ trên $\mathbb{K}^2$, số mũ $L(f) = 1 - 1/d$.
  • Ước lượng hiệu quả cho số mũ Łojasiewicz: Định lý 2.15 thiết lập chặn trên cho số mũ Łojasiewicz gradient của đa thức hai biến bậc $d$ thỏa mãn $f(0) = 0$: $$L(f) \le 1 - \frac{1}{(d-1)^2 + 1} = \frac{d(d-2)+1}{(d-1)^2 + 1}$$ Chặn trên này cải tiến kết quả của D'Acunto và Kurdyka (2005) trong không gian hai chiều.
Đối tượng / Đại lượng Trường hợp Phức ($\mathbb{C}^2$) Trường hợp Thực ($\mathbb{R}^2$) Ghi chú văn bản
Tập thương cực $Q(f)$ Bất biến tô pô (Định lý 2.6) — Đúng cho cả kỳ dị không thu gọn
Số mũ gradient $L(f)$ Bất biến tô pô (Hệ quả 2.10) Không là bất biến tô pô (Nhận xét 2.13) Phản ví dụ: $x^2 - y^3$ vs $x^2 - y^5$
Công thức tính $L(f)$ $\max_{i < j} {1 - 1/\operatorname{ord} f(\xi_{i,j})}$ $\max{L^+(f), L^-(f)}$ Đạt trên nhánh cực thực
Đa thức thuần nhất bậc $d$ $L(f) = 1 - 1/d$ $L(f) = 1 - 1/d$ Hệ quả 2.14
Chặn trên hiệu quả bậc $d$ $L(f) \le 1 - \frac{1}{(d-1)^2+1}$ $L(f) \le 1 - \frac{1}{(d-1)^2+1}$ Tinh hơn cận D'Acunto - Kurdyka

Chương 3. Sự tồn tại và ổn định của cận sai số Hölder, bất đẳng thức Łojasiewicz toàn cục và các giá trị Fedoryuk đặc biệt

Chương 3 chuyển trọng tâm sang bài toán toàn cục đối với đa thức thực $n$ biến $f: \mathbb{R}^n \to \mathbb{R}$:

  • Cận sai số Hölder toàn cục và tập $\Lambda^+(f)$: Tập $\Lambda^+(f)$ là tập tất cả các giá trị $t \in \mathbb{R}$ sao cho tập dưới mức $[f \le t] := {x \in \mathbb{R}^n \mid f(x) \le t}$ nhận cận sai số Hölder toàn cục dạng: $$\operatorname{dist}(x, [f \le t]) \le c \left( [f(x) - t]+^\alpha + [f(x) - t]+^\beta \right), \quad \forall x \in \mathbb{R}^n$$ với $c, \alpha, \beta > 0$. Luận án đưa ra đặc trưng của cận sai số trên tập $V_1 := {x \in \mathbb{R}^n \mid \frac{\partial f}{\partial x_n}(x) = 0}$.
  • Mối liên hệ với tập giá trị Fedoryuk: Tập các giá trị Fedoryuk được định nghĩa bởi: $$K_\infty(f) := \left{ t \in \mathbb{R} ;\middle|; \exists {x_k} \subset \mathbb{R}^n, |x_k| \to \infty, |\nabla f(x_k)| \to 0, f(x_k) \to t \right}$$ Định lý 3.7 chứng minh: Nếu $K_\infty(f)$ là tập hữu hạn thì $\Lambda^+(f) \neq \emptyset$. Hệ quả 3.8 suy ra rằng đối với mọi đa thức hai biến thực, tập $\Lambda^+(f)$ luôn khác rỗng. Ví dụ 3.9 xây dựng một đa thức có $K_\infty(f)$ là tập vô hạn và $\Lambda^+(f) = \emptyset$.
  • Phân loại các kiểu ổn định của $\Lambda^+(f)$: Định lý 3.4 chứng minh $\Lambda^+(f)$ là tập con nửa đại số của $\mathbb{R}$. Luận án phân loại toàn bộ các kiểu ổn định của cận sai số Hölder toàn cục dưới các nhiễu loạn của giá trị $t$ theo các trường hợp: $K_\infty(f) = \emptyset$, $K_\infty(f)$ hữu hạn khác rỗng, và $K_\infty(f)$ vô hạn.
  • Quy trình tính toán cho hàm hai biến: Thiết lập quy trình tường minh xác định tập $\Lambda^+(f)$ cho đa thức hai biến bất kỳ bằng cách phân tích các khai triển Newton-Puiseux tại vô hạn của đường cong $f(x, y) = t$ và kiểm tra các nhánh làm triệt tiêu đạo hàm tiệm cận.
  • Bất đẳng thức Łojasiewicz toàn cục và tập $\Lambda(f)$: Khảo sát tập $\Lambda(f)$ gồm các giá trị $t$ sao cho thớ $f^{-1}(t)$ thỏa mãn bất đẳng thức Łojasiewicz toàn cục $|f(x) - t|^\alpha + |f(x) - t|^\beta \ge c \operatorname{dist}(x, f^{-1}(t))$. Luận án chứng minh các điểm biên của $\Lambda(f)$ chính là các giá trị Fedoryuk đặc biệt và đưa ra Ví dụ 3.11 về đa thức hai biến có $\Lambda(f) = \emptyset$.

Chương 4. Cận sai số Hölder toàn cục và bất đẳng thức Łojasiewicz gradient trong các cấu trúc o-tối tiểu

Chương 4 mở rộng các kết quả giải tích sang lớp hàm định nghĩa được trong cấu trúc o-tối tiểu trên $\mathbb{R}$:

  • Tiêu chuẩn tồn tại cận sai số Hölder toàn cục: Thiết lập các bất đẳng thức kiểu Łojasiewicz gần tập và xa tập. Đưa ra tiêu chuẩn cần và đủ cho sự tồn tại cận sai số Hölder toàn cục của hàm liên tục định nghĩa được thông qua sự kiểm soát cấp tăng của độ dốc dọc theo các đường mức.
  • Mối liên hệ với điều kiện Palais-Smale: Luận án chỉ ra rằng điều kiện Palais-Smale suy rộng tại vô hạn đảm bảo tính bị chặn dưới của độ dốc ngoài một tập compact, từ đó suy ra sự tồn tại của cận sai số Hölder toàn cục cho hàm định nghĩa được.
  • Bất đẳng thức Łojasiewicz gradient cạnh thớ: Khảo sát hàm liên tục định nghĩa được $f$, thiết lập bất đẳng thức gradient không trơn cạnh thớ $f^{-1}(t)$ sử dụng độ dốc không trơn $m_f(x)$: $$m_f(x) \ge C |f(x) - t|^\rho$$ trong lân cận của thớ, phục vụ trực tiếp cho các thuật toán tối ưu hóa biến phân trên các tập thuần.

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

Luận án tự tổng hợp các đóng góp khoa học mới về mặt lý luận và phương pháp tính toán:

  1. Đóng góp về lý thuyết kỳ dị cục bộ:

    • Chứng minh tính bất biến tô pô của tập các thương cực $Q(f)$ và số mũ Łojasiewicz gradient $L(f)$ đối với mầm kỳ dị đường cong phẳng phức không nhất thiết thu gọn, hoàn thiện kết quả kinh điển của Teissier (1977) và Parusiński (2001).
    • Thiết lập công thức biểu diễn tường minh số mũ Łojasiewicz gradient thông qua các nghiệm xấp xỉ của các cặp nghiệm Newton-Puiseux.
    • Chứng minh công thức xác định số mũ Łojasiewicz gradient thực và chỉ ra tính không bất biến tô pô của số mũ này trong trường hợp thực bằng phản ví dụ giải tích.
    • Thiết lập chặn trên hiệu quả cho số mũ Łojasiewicz gradient của đa thức hai biến bậc $d$: $L(f) \le 1 - \frac{1}{(d-1)^2+1}$, cải tiến chặn trên của D'Acunto và Kurdyka (2005).

  2. Đóng góp về lý thuyết toàn cục và bài toán cận sai số:

    • Thiết lập mối liên hệ giữa tập giá trị Fedoryuk $K_\infty(f)$ và sự tồn tại cận sai số Hölder toàn cục; chứng minh định lý về tính khác rỗng của $\Lambda^+(f)$ khi $K_\infty(f)$ hữu hạn và khẳng định $\Lambda^+(f) \neq \emptyset$ đối với mọi đa thức hai biến thực.
    • Phân loại đầy đủ tất cả các kiểu ổn định của tập $\Lambda^+(f)$ dưới tác động của nhiễu trị số.
    • Xây dựng quy trình thuật toán hoàn chỉnh tính toán tập $\Lambda^+(f)$ cho đa thức hai biến thực bằng công cụ khai triển Newton-Puiseux tại vô hạn.
    • Xác định cấu trúc tập $\Lambda(f)$ của bất đẳng thức Łojasiewicz toàn cục và chứng minh các giá trị biên của $\Lambda(f)$ là các giá trị Fedoryuk đặc biệt.

  3. Đóng góp về cấu trúc o-tối tiểu và giải tích biến phân:

    • Thiết lập tiêu chuẩn tồn tại cận sai số Hölder toàn cục cho lớp hàm liên tục định nghĩa được trong cấu trúc o-tối tiểu thông qua điều kiện Palais-Smale.
    • Mở rộng bất đẳng thức Łojasiewicz gradient cạnh thớ cho các hàm không trơn định nghĩa được thông qua độ dốc không trơn $m_f(x)$.

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

Hạn chế của luận án theo phạm vi văn bản:

  • Quy trình tính toán tường minh tập $\Lambda^+(f)$ và thuật toán dựa trên khai triển Newton-Puiseux tại vô hạn mới được giải quyết trọn vẹn cho trường hợp đa thức hai biến thực ($n = 2$). Đối với trường hợp $n \ge 3$, luận án mới thiết lập điều kiện đủ thông qua tính hữu hạn của tập giá trị Fedoryuk và trên tập tập trung $V_1$.
  • Bất đẳng thức Łojasiewicz gradient trong trường hợp thực không có tính bất biến tô pô, gây khó khăn cho việc phân loại tô pô mầm hàm thực bằng số mũ gradient.

Hướng nghiên cứu tiếp được đề xuất:

  • Mở rộng quy trình tính toán tường minh các tập $\Lambda^+(f)$ và $\Lambda(f)$ cho hàm đa thức thực từ 3 biến trở lên ($n \ge 3$).
  • Nghiên cứu các thương cực và số mũ Łojasiewicz cho kỳ dị siêu mặt số chiều cao hơn trong $\mathbb{C}^n$ với kỳ dị không cô lập.
  • Ứng dụng tiêu chuẩn cận sai số và bất đẳng thức gradient không trơn trong cấu trúc o-tối tiểu vào bài toán phân tích tốc độ hội tụ của các thuật toán tối ưu hóa không lồi trong lý thuyết tối ưu hàm thuần.

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à học viên cao học chuyên ngành Hình học - Tô pô, Hình học đại số thực, Lý thuyết Kỳ dị: Chương 2 cung cấp kỹ thuật sử dụng đa giác Newton tương ứng với một cung, phương pháp trượt và kỹ thuật xấp xỉ nghiệm Newton-Puiseux để tính toán bất biến kỳ dị.
  • Giảng viên và nhà nghiên cứu Giải tích biến phân, Tối ưu hóa: Chương 3 và Chương 4 cung cấp khung lý thuyết về cận sai số Hölder toàn cục, cấu trúc tập mức, tập giá trị Fedoryuk và bất đẳng thức gradient không trơn, hữu ích cho việc khảo sát tính ổn định nghiệm và sự hội tụ của thuật toán gradient/proximal.
  • Các chuyên gia nghiên cứu Hình học o-tối tiểu: Tài liệu tham khảo hữu hiệu về phương pháp mở rộng các bất đẳng thức giải tích cổ điển sang cấu trúc thuần bị chặn đa thức.

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

1. Tập các thương cực $Q(f)$ và số mũ Łojasiewicz gradient $L(f)$ của mầm hàm giải tích phức có phải là bất biến tô pô khi kỳ dị không thu gọn không?
Có. Luận án đã chứng minh trong Định lý 2.6 và Hệ quả 2.10 rằng cả tập thương cực $Q(f)$ và số mũ Łojasiewicz gradient $L(f)$ đều là các bất biến tô pô đối với mầm kỳ dị đường cong phẳng phức hai biến, kể cả trong trường hợp mầm hàm không thu gọn.

2. Số mũ Łojasiewicz gradient trong trường hợp hàm giải tích thực có bảo toàn tính bất biến tô pô không?
Không. Luận án đã chỉ ra trong Nhận xét 2.13 rằng số mũ gradient thực không phải là bất biến tô pô. Tác giả đưa ra phản ví dụ hai mầm hàm $f(x, y) = x^2 - y^3$ (có $L(f) = 2/3$) và $g(x, y) = x^2 - y^5$ (có $L(g) = 4/5$); hai mầm hàm này tương đương tô pô phải qua đồng phôi $(x, y) \mapsto (x, y^{5/3})$ nhưng có số mũ gradient khác nhau.

3. Mối liên hệ giữa tập giá trị Fedoryuk $K_\infty(f)$ và sự tồn tại cận sai số Hölder toàn cục $\Lambda^+(f)$ là gì?
Định lý 3.7 chứng minh rằng nếu tập giá trị Fedoryuk $K_\infty(f)$ là hữu hạn thì tập $\Lambda^+(f)$ luôn khác rỗng. Đối với đa thức hai biến thực bất kỳ, do tập $K_\infty(f)$ luôn hữu hạn nên $\Lambda^+(f)$ luôn là tập khác rỗng (Hệ quả 3.8). Nếu $K_\infty(f)$ là tập vô hạn, $\Lambda^+(f)$ có thể là tập rỗng như trong Ví dụ 3.9.

4. Luận án đưa ra chặn trên hiệu quả nào cho số mũ Łojasiewicz gradient của đa thức bậc $d$?
Định lý 2.15 chứng minh rằng với đa thức hai biến bậc $d$ thỏa mãn $f(0) = 0$, số mũ Łojasiewicz gradient thỏa mãn bất đẳng thức $L(f) \le 1 - \frac{1}{(d-1)^2+1} = \frac{d(d-2)+1}{(d-1)^2+1}$. Kết quả này chặt hơn ước lượng trước đó của D'Acunto và Kurdyka.

5. Điều kiện Palais-Smale đóng vai trò gì trong việc xác lập cận sai số trong cấu trúc o-tối tiểu ở Chương 4?
Điều kiện Palais-Smale suy rộng tại vô hạn đảm bảo độ dốc của hàm định nghĩa được không suy biến về 0 khi chuẩn biến số tiến ra vô hạn trên các tập mức tiệm cận. Điều này đóng vai trò điều kiện đủ để thiết lập cận sai số Hölder toàn cục cho hàm định nghĩa được, liên tục trên toàn không gian.

Kết luận

Luận án của Hoàng Phi Dũng nghiên cứu hệ thống và toàn diện các bất đẳng thức Łojasiewicz từ phạm vi cục bộ đến toàn cục, mở rộng trên các trường số phức, số thực và cấu trúc o-tối tiểu. Tác giả đã chứng minh tính bất biến tô pô của thương cực và số mũ gradient phức cho kỳ dị không thu gọn, thiết lập chặn trên hiệu quả cho số mũ theo bậc đa thức, đồng thời xây dựng quy trình tính toán tập cận sai số Hölder toàn cục $\Lambda^+(f)$ và phân loại tính ổn định của nó qua tập giá trị Fedoryuk. Công trình đóng góp các kết quả lý thuyết giải tích - hình học đại số chặt chẽ, mở ra hướng ứng dụng trong phân tích biến phân và tối ưu hóa các hàm thuần.