Tổng quan luận án

Luận án tiến sĩ toán học "Các bất đẳng thức Łojasiewicz: Sự tồn tại và tính toán các số mũ" được thực hiện bởi nghiên cứu sinh Hoàng Phi Dũng dưới sự hướng dẫn khoa học của PGS. Hà Huy Vui tại Viện Toán học, Viện Hàn lâm Khoa học và Công nghệ Việt Nam (năm 2021), thuộc chuyên ngành Hình học và tô pô (mã số: 9 46 01 05). Luận án là công trình nghiên cứu lý thuyết thuần túy thuộc lĩnh vực Hình học đại số thực, Lý thuyết kỳ dị và Tối ưu hóa hàm thuần.

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

Bất đẳng thức Łojasiewicz cổ điển và bất đẳng thức Łojasiewicz gradient khởi nguồn từ năm 1950 khi L. Schwartz đề xuất giả thuyết về chia phân bố ($T = \phi S$). Để giải quyết bài toán này, S. Łojasiewicz đã thiết lập các bất đẳng thức so sánh cấp tăng giữa giá trị hàm số với khoảng cách tới tập không điểm và chuẩn của gradient. Các bất đẳng thức này đóng vai trò quan trọng trong việc khảo sát kỳ dị địa phương của hàm giải tích, giả thuyết bội Zariski, giả thuyết gradient Thom, cũng như giải tích biến phân và phương trình đạo hàm riêng vô hạn chiều.

Tuy nhiên, các nghiên cứu trước đây để lại những khoảng trống lý thuyết rõ rệt:

  1. Trong trường hợp địa phương: Các công trình kinh điển của B. Teissier chỉ khảo sát thương cực và số mũ Łojasiewicz gradient cho các kỳ dị mặt cô lập và kỳ dị đường cong phẳng thu gọn (reduced). Vấn đề tính bất biến tô pô của tập các thương cực và số mũ Łojasiewicz gradient cho trường hợp mầm hàm không nhất thiết thu gọn vẫn chưa được giải quyết trọn vẹn; các chặn trên hiệu quả cho số mũ theo bậc đa thức hai biến vẫn còn khoảng cách để làm mịn thêm.
  2. Trong trường hợp toàn cục: Các bất đẳng thức Łojasiewicz dạng nguyên bản chỉ đúng trên các lân cận compact. Khi xét trên toàn không gian $\mathbb{R}^n$, các bất đẳng thức này nói chung không còn được bảo toàn nếu không có thêm các điều kiện kiểm soát hình học tại vô hạn. Việc xác định điều kiện tồn tại, tính ổn định của cận sai số Hölder toàn cục cho tập dưới mức (tập $\Lambda^+(f)$) và bất đẳng thức Łojasiewicz toàn cục (tập $\Lambda(f)$), cùng mối liên hệ của chúng với tập các giá trị Fedoryuk $K_\infty(f)$, chưa có các mô tả tường minh và thuật toán tính toán cụ thể.
  3. Trong hình học thuần: Việc mở rộng cận sai số Hölder toàn cục và bất đẳng thức Łojasiewicz gradient cạnh thớ sang lớp hàm định nghĩa được trong các cấu trúc o-tối tiểu (tame optimization) là vấn đề mới mở ra gần đây và còn ít kết quả hệ thống.

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

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

  1. Chứng minh tập các thương cực và số mũ Łojasiewicz gradient là các bất biến tô pô của kỳ dị đường cong phẳng phức (không nhất thiết thu gọn); thiết lập công thức tính số mũ gradient trong trường hợp thực và tìm ước lượng hiệu quả theo bậc của đa thức.
  2. Thiết lập công thức tường minh và phân loại đầy đủ các kiểu ổn định của tập $\Lambda^+(f)$ đối với hàm đa thức $n$ biến thực thông qua tập các giá trị Fedoryuk $K_\infty(f)$; xây dựng quy trình tính toán tập $\Lambda^+(f)$ và khảo sát tập $\Lambda(f)$ cho đa thức hai biến thực.
  3. Đưa ra 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 cạnh thớ cho các hàm liên tục, định nghĩa được trong các cấu trúc o-tối tiểu.

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

  • Đối tượng nghiên cứu: Bất đẳng thức Łojasiewicz gradient, bất đẳng thức Łojasiewicz cổ điển, cận sai số Hölder toàn cục, số mũ Łojasiewicz, thương cực, đa giác Newton, khai triển Newton-Puiseux, giá trị Fedoryuk, giá trị rẽ nhánh tại vô hạn, hàm nửa đại số và hàm định nghĩa được trong cấu trúc o-tối tiểu.
  • Phạm vi nghiên cứu:
    • Về không gian: Phạm vi địa phương trong lân cận gốc tọa độ của $\mathbb{C}^2$ và $\mathbb{R}^2$ đối với kỳ dị đường cong phẳng; phạm vi toàn cục trên $\mathbb{R}^n$ (trọng tâm là $n = 2$) đối với hàm đa thức; và không gian $\mathbb{R}^n$ đối với lớp hàm định nghĩa được trong cấu trúc o-tối tiểu.
    • Về thời gian/dữ liệu: Luận án là công trình toán học lý thuyết, toàn bộ kết quả dựa trên các chứng minh giải tích - đại số suy diễn logic hình thức, hoàn thành và bảo vệ năm 2021.

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

Luận án đã tổng quan hệ thống các công trình nền tảng và chuyên sâu trong và ngoài nước:

Hướng nghiên cứu Các tác giả, công trình tiêu biểu được trích dẫn Kết quả nền tảng đã ghi nhận
Giả thuyết chia phân bố & Bất đẳng thức Łojasiewicz L. Schwartz (1950) [39, 62]; S. Łojasiewicz (1958, 1965) [62, 63]; Hörmander (1958) [40]. Thiết lập bất đẳng thức gradient $|\nabla f(x)| \ge C |f(x)|^\rho$ và bất đẳng thức cổ điển $|f(x)| \ge c \operatorname{dist}(x, V)^\alpha$ trên compact; Hörmander bổ sung trọng số $(1+|x|^\beta)$ cho trường hợp không compact.
Thương cực và Kỳ dị địa phương B. Teissier (1973, 1977) [80, 81]; Lê Dũng Tráng (1975) [79]; A. Parusiński (1988) [73]. Teissier định nghĩa thương cực cho kỳ dị mặt cô lập thu gọn; Lê Dũng Tráng mở rộng cho kỳ dị không cô lập; Parusiński phân loại tương đương tô pô phải của mầm hàm phẳng qua khai triển Puiseux.
Đa giác Newton và Khai triển Puiseux T. C. Kuo, A. Parusiński (2000) [50]; Hà Huy Vui, Phạm Tiến Sơn (2001) [30]; Hà Huy Vui, Nguyễn Hồng Đức (2011) [31]. Khái niệm đa giác Newton tương ứng với một cung và phương pháp trượt (sliding method) để tính nghiệm Newton-Puiseux địa phương và tại vô hạn.
Ước lượng số mũ Łojasiewicz theo bậc J.-J. Risler, D. Trotman (1997) [76]; T. C. Kuo (1974) [49]; D'Acunto, Kurdyka (2005) [13]; J. Kollár (1999) [48]; Ji-Kollár-Shiffman (1992) [47]; A. Płoski (1990) [74]; Chądzyński-Krasiński [26]. Trong trường hợp phức, Risler-Trotman chỉ ra $\mathcal{L}_e(f) = \operatorname{ord} f \le d$; D'Acunto-Kurdyka đưa ra chặn trên cho số mũ gradient; Kuo tính số mũ thực.
Giá trị kỳ dị tại vô hạn và Bất đẳng thức toàn cục M. V. Fedoryuk (1967) [29]; S. A. Broughton (1988) [12]; Hà Huy Vui, Nguyễn Hồng Đức (2011) [31]; Đinh Sĩ Tiệp, Hà Huy Vui, Nguyễn Thị Thảo (2014) [16]. Khái niệm tập giá trị Fedoryuk $K_\infty(f)$, giá trị rẽ nhánh tại vô hạn $B_\infty(f)$; dạng bất đẳng thức Łojasiewicz toàn cục $|f(x)|^\alpha + |f(x)|^\beta \ge c \operatorname{dist}(x, V)$.
Cấu trúc o-tối tiểu & Tối ưu hóa hàm thuần L. van den Dries (1998) [20]; J. Bochnak, M. Coste, M.-F. Roy (1998) [5]; A. Ioffe (2000) [42]; Tạ Lê Lợi (2008) [61]; Đinh Sĩ Tiệp, Hà Huy Vui, Phạm Tiến Sơn [18]. Hình học giải tích thực, lý thuyết tập nửa đại số, giải tích biến phân không trơn (dưới vi phân, độ dốc), cận sai số cho các hàm thuần.

Vị trí của luận án: Luận án mở rộng trực tiếp lý thuyết của Teissier sang trường hợp mầm hàm không nhất thiết thu gọn bằng cách dùng phương pháp trượt; làm mịn chặn trên số mũ gradient của D'Acunto và Kurdyka; hoàn thiện bức tranh về sự tồn tại và ổn định của cận sai số toàn cục $\Lambda^+(f)$ liên hệ với tập Fedoryuk $K_\infty(f)$; và là một trong những công trình tiên phong thiết lập cận sai số Hölder toàn cục cùng bất đẳng thức gradient cạnh thớ trong cấu trúc o-tối tiểu.

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

Luận án sử dụng các hệ thống lý thuyết, khái niệm và phương pháp toán học giải tích - hình học chính xác sau:

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

  • Lý thuyết mầm hàm giải tích: Sử dụng Định lý chuẩn bị Weierstrass và Định lý chia Weierstrass để đưa mầm hàm giải tích nhiều biến quy về đa thức Weierstrass $x_1^k + a_1(x')x_1^{k-1} + \dots + a_k(x')$.
  • Lý thuyết khai triển Puiseux: Định lý Puiseux địa phương cho mầm đường cong phẳng phức và Định lý Puiseux tại vô hạn cho đa thức hai biến $g(x, y) = y^d + a_1(x)y^{d-1} + \dots + a_d(x) = 0$ dạng $y_i(x) = \sum_{k=-\infty}^{k_i} c_{ik} x^{k/p}$.
  • Cấu trúc o-tối tiểu và tập nửa đại số: Hệ 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 cho các công thức bậc nhất, Định lý đơn điệu, và Bổ đề phân đôi cấp tăng của hàm nửa đại số một biến ($f(s) = a s^\alpha + o(s^\alpha)$ khi $s \to 0^+$ hoặc $s \to +\infty$ với $\alpha \in \mathbb{Q}$).
  • Giải tích biến phân và tối ưu 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) := \limsup_{h \to 0, h \ne 0} \frac{[f(x) - f(x+h)]^+}{|h|}$, và Nguyên lý biến phân Ekeland trong không gian metric đầy đủ.

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

  • Phương pháp đa giác Newton tương ứng với một cung và phép trượt (sliding method): Cho cung giải tích $\varphi$, xây dựng đa giác Newton $\mathcal{P}(f, \varphi)$. Sử dụng quá trình trượt liên tiếp $\varphi \to \varphi_1 \to \varphi_2 \to \dots \to \varphi_\infty$ thông qua nghiệm của đa thức kết hợp với cạnh Newton cao nhất $E_H(z) = 0$ để tiếp cận nghiệm Newton-Puiseux của $f = 0$ hoặc của đạo hàm $\frac{\partial f}{\partial x} = 0$.
  • Bổ đề chọn đường cong (Curve Selection Lemma): Quy việc khảo sát giới hạn và infimum/supremum của các đại lượng hình học trong tập nửa đại số và giải tích về việc tính bậc tăng dọc theo các cung giải tích tham số hóa $\phi(t)$.
  • Phương pháp đại số giao hoán và lý thuyết giao điểm: Sử dụng công thức bội giao $i(f, g)$ của hai mầm đường cong phẳng và Định lý Bezout để thiết lập các bất đẳng thức chặn bậc.

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 kết quả cơ sở phục vụ cho ba chương nghiên cứu chuyên sâu:

  • Trình bày giải tích phức nhiều biến, mầm hàm giải tích, điểm kỳ dị, đa thức Weierstrass và Định lý chuẩn bị Weierstrass.
  • Phát biểu chuẩn xác bất đẳng thức Łojasiewicz tổng quát so sánh hai hàm giải tích $f, g$ ($|f(x)| \ge c |g(x)|^\alpha$ khi $f^{-1}(0) \subset g^{-1}(0)$), bất đẳng thức Łojasiewicz gradient địa phương với số mũ $\mathcal{L}(f) \in (0, 1) \cap \mathbb{Q}$, và bất đẳng thức Łojasiewicz cổ điển với số mũ $\mathcal{L}_e(f)$.
  • Nhắc lại Định lý Puiseux địa phương và công thức khai triển Newton-Puiseux tại vô hạn theo lũy thừa hữu tỉ giảm dần.
  • Giới thiệu hình học nửa đại số và cấu trúc o-tối tiểu, Định lý Tarski-Seidenberg, Định lý đơn điệu, tính định nghĩa được của hàm khoảng cách $\operatorname{dist}(x, A)$ và hàm giá trị biên $\phi(y) = \inf_{x \in G^{-1}(y)} f(x)$, Bổ đề phân đôi cấp tăng, và bất đẳng thức tích phân đo độ đo cấp $d$.
  • Trình bày giải tích biến phân: các khái niệm dưới vi phân, mối liên hệ giữa các chuẩn độ dốc $\inf{|y| : y \in \hat{\partial} f(x)} \ge |\nabla f|(x) \ge m_f(x)$, tính định nghĩa được của độ dốc và Nguyên lý biến phân Ekeland.

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 tập trung giải quyết bài toán địa phương cho mầm hàm hai biến $f \in \mathbb{C}{x, y}$ và $f \in \mathbb{R}{x, y}$:

  • Đa giác Newton tương ứng với một cung và phương pháp trượt: Định nghĩa đa giác $\mathcal{P}(f, \varphi)$, cạnh cao nhất $E_H$, đa thức kết hợp $E_H(z)$, và phép trượt cung $\varphi_1(y) = \varphi(y) + c y^{\tan \theta_H}$. Bổ đề 2.2 chứng minh rằng bậc tăng của $f$ dọc theo cung được bảo toàn qua các bước trượt phù hợp.
  • Tính bất biến tô pô của thương cực: Với mầm hàm giải tích phức chính quy cấp $m$ theo $x$, tập các nhánh cực không nằm trên tập không điểm ký hiệu là $\Gamma(f)$. 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 \in \Gamma(f) \right}$$ Định lý 2.4 chứng minh công thức đồng nhất tập thương cực thông qua xấp xỉ 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 với định lý của Parusiński [73] về sự tương đương tô pô phải bảo toàn bội và bậc liên kết $\operatorname{ord}(\alpha_i - \alpha_j)$, Định lý 2.6 khẳng định: Tập các thương cực 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 phức: Định lý 2.8 xác lập công thức: $$\mathcal{L}(f) = \begin{cases} \frac{m-1}{m} & \text{nếu } \Gamma(f) = \emptyset \ \max {\ell(\gamma) \mid \gamma \in \Gamma(f)} & \text{nếu } \Gamma(f) \ne \emptyset \end{cases}$$ trong đó $\ell(\gamma) = 1 - \frac{1}{\operatorname{ord} f(\gamma(y), y)}$. Hệ quả 2.2 suy ra: Số mũ Łojasiewicz gradient của mầm hàm giải tích phức hai biến là một bất biến tô pô.
  • Số mũ Łojasiewicz gradient thực: Định lý 2.9 chứng minh rằng đối với mầm hàm giải tích thực $f(x, y)$, số mũ gradient đạt được trên các nhánh cực thực của $f$ hoặc của $\bar{f}(x, y) := f(x, -y)$: $$\mathcal{L}(f) = \max {\mathcal{L}^+(f), \mathcal{L}^-(f)}$$ Khác với trường hợp phức, Nhận xét 2.3 chứng minh bằng phản ví dụ ($f(x, y) = x^2 - y^3$ có $\mathcal{L}(f) = 2/3$ và $g(x, y) = x^2 - y^5$ có $\mathcal{L}(g) = 4/5$, dù $f$ và $g$ tương đương tô pô phải) rằng: Số mũ Łojasiewicz gradient thực không phải là bất biến tô pô. Đối với đa thức thuần nhất bậc $d$, Hệ quả 2.3 chứng minh $\mathcal{L}(f) = 1 - \frac{1}{d}$.
  • Ước lượng hiệu quả số mũ Łojasiewicz: Bằng cách áp dụng Định lý Bezout cho thành phần bất khả quy của đạo hàm riêng $\frac{\partial f}{\partial x}$ và tham số hóa nhánh cực, Định lý 2.11 thiết lập chặn trên hiệu quả cho đa thức hai biến bậc $d$ với $f(0) = 0$: $$\mathcal{L}(f) \le 1 - \frac{1}{(d-1)^2 + 1}$$ Chặn này tinh hơn và chặt hơn chặn trên trước đó của D'Acunto và Kurdyka [13]. Định lý 2.12 nhắc lại chặn số mũ cổ điển $\mathcal{L}_e(f) \le d(d-1)^n + 1$.

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 khảo sát bài toán toàn cục trên $\mathbb{R}^n$ cho hàm đa thức $f$:

  • Tập $\Lambda^+(f)$ và cận sai số Hölder toàn cục: Tập dưới mức $[f \le t] := {x \in \mathbb{R}^n : f(x) \le t}$ nhận một cận sai số Hölder toàn cục nếu tồn tại $c > 0, \alpha > 0$ sao cho $\operatorname{dist}(x, [f \le t]) \le c [f(x) - t]_+^\alpha$ với mọi $x \in \mathbb{R}^n$. Tập tất cả các giá trị $t$ như vậy ký hiệu là $\Lambda^+(f)$. Định lý 3.2 đặc trưng hóa điều kiện này trên tập đại số: $$V_1 := \left{ x \in \mathbb{R}^n ;\middle|; \frac{\partial f}{\partial x_n}(x) = 0 \right}$$
  • Mối liên hệ với tập giá trị Fedoryuk $K_\infty(f)$: Tập các giá trị Fedoryuk được định nghĩa là tập các giá trị tới hạn tại vô hạn: $$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)$ là tập khác rỗng. Hệ quả 3.8 khẳng định: Đối với đa thức hai biến thực bất kỳ, tập $\Lambda^+(f)$ luôn luôn khác rỗng. Ngược lại, Ví dụ 3.9 chỉ ra sự tồn tại của đa thức có tập $K_\infty(f)$ vô hạn mà $\Lambda^+(f) = \emptyset$.
  • Phân loại các kiểu ổn định của cận sai số Hölder toàn cục: Dựa trên Định lý 3.4 mô tả $\Lambda^+(f)$ là một tập con nửa đại số của $\mathbb{R}$, Định lý 3.10 phân loại toàn bộ các dạng hình học có thể có của $\Lambda^+(f)$ thành các khoảng nửa mở, nửa đóng hoặc hợp hữu hạn tùy thuộc vào vị trí của các giá trị ngưỡng và giá trị biên thuộc $K_\infty(f)$ (chia làm 3 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 tập $\Lambda^+(f)$ cho đa thức hai biến: Sử dụng khai triển Newton-Puiseux tại vô hạn của đường cong đại số $V_{\mathbb{C}}(\frac{\partial f}{\partial y})$, phân tích cấp tăng của hàm số dọc theo các nhánh tiệm cận tại vô hạn, từ đó đưa ra một thuật toán tường minh xác định chính xác các giá trị thuộc $\Lambda^+(f)$.
  • Bất đẳng thức Łojasiewicz toàn cục và tập $\Lambda(f)$: Tập $\Lambda(f)$ là tập 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))$. Định lý 3.14 xác định công thức của $\Lambda(f)$, chứng minh các điểm biên của $\Lambda(f)$ chính là các giá trị Fedoryuk đặc biệt. Đáng chú ý, Ví dụ 3.11 đưa ra một đa thức hai biến thực cụ thể mà tại đó $\Lambda(f) = \emptyset$ (không tồn tại bất kỳ thớ nào nhận bất đẳng thức Łojasiewicz toàn cục).

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 bất đẳng thức sang lớp hàm định nghĩa được trong cấu trúc o-tối tiểu tùy ý trên $\mathbb{R}$:

  • Bất đẳng thức kiểu Łojasiewicz gần tập và xa tập: Thiết lập các đánh giá so sánh hàm khoảng cách $\operatorname{dist}(x, S)$ với các hàm giá trị trong hai vùng: lân cận compact của tập $S$ và vùng vô hạn bên ngoài một quả cầu bán kính lớn.
  • Tiêu chuẩn tồn tại cận sai số Hölder toàn cục: Định lý 4.1 và Mệnh đề 4.2 đưa ra điều kiện cần và đủ để một hàm liên tục, định nghĩa được nhận cận sai số Hölder toàn cục trên tập dưới mức thông qua dáng điệu tiệm cận của hàm khoảng cách dọc theo các cung định nghĩa được.
  • Mối liên hệ với điều kiện Palais-Smale: Thiết lập mối liên hệ trực tiếp giữa sự thỏa mãn điều kiện Palais-Smale tại vô hạn với sự tồn tại của cận sai số Hölder toàn cục, cho thấy điều kiện Palais-Smale đảm bảo chặn dưới của độ dốc và ngăn chặn sự tích lũy các giá trị tới hạn tại vô hạn.
  • Bất đẳng thức Łojasiewicz gradient cạnh thớ: Mục 4.2 khảo sát trường hợp hàm không khả vi trơn. Định lý 4.5 chứng minh rằng đối với hàm liên tục, định nghĩa được trong một cấu trúc o-tối tiểu, tồn tại bất đẳng thức Łojasiewicz gradient dạng không trơn cạnh thớ: $$m_f(x) \ge C |f(x) - t|^\rho$$ đúng trong một lân cận của thớ $f^{-1}(t)$, trong đó gradient thông thường được thay thế bằng độ dốc không trơn $m_f(x)$ hoặc độ dốc mạnh $|\nabla f|(x)$.

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

Luận án đã đạt được các kết quả và đóng góp khoa học mới sau đây:

  1. Về lý thuyết kỳ dị địa phương:

    • Chứng minh tập các thương cực $Q(f)$ và số mũ Łojasiewicz gradient $\mathcal{L}(f)$ là các bất biến tô pô của mầm hàm giải tích phức hai biến trong trường hợp kỳ dị đường cong phẳng tổng quát, không cần điều kiện thu gọn (reduced).
    • Thiết lập công thức giải tích tính số mũ Łojasiewicz gradient thực thông qua các nhánh cực thực của $f$ và $\bar{f}$, đồng thời chứng minh bằng phản ví dụ rằng số mũ gradient thực không phải là bất biến tô pô.
    • 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$: $\mathcal{L}(f) \le 1 - \frac{1}{(d-1)^2 + 1}$, làm mịn kết quả của D'Acunto và Kurdyka (2005).

  2. Về bất đẳng thức toàn cục và cận sai số của đa thức thực:

    • Đặc trưng hóa điều kiện tồn tại cận sai số Hölder toàn cục của tập dưới mức thông qua tập nghiệm của đạo hàm riêng $V_1$.
    • Chứng minh định lý tồn tại: Nếu tập giá trị Fedoryuk $K_\infty(f)$ hữu hạn thì tập $\Lambda^+(f)$ khác rỗng; rút ra hệ quả đối với đa thức hai biến thực thì $\Lambda^+(f)$ luôn khác rỗng.
    • Phát hiện ví dụ đa thức thực có $K_\infty(f)$ vô hạn và $\Lambda^+(f) = \emptyset$; và ví dụ đa thức hai biến mà không có thớ nào thỏa mãn bất đẳng thức Łojasiewicz toàn cục ($\Lambda(f) = \emptyset$).
    • 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 theo tập giá trị Fedoryuk và xây dựng thuật toán tính toán tường minh tập $\Lambda^+(f)$ cho đa thức hai biến bằng khai triển Puiseux tại vô hạn.

  3. Về tối ưu hóa trong cấu trúc o-tối tiểu:

    • Thiết lập tiêu chuẩn tồn tại cận sai số Hölder toàn cục cho các hàm liên tục, định nghĩa được và làm sáng tỏ mối liên hệ với điều kiện Palais-Smale.
    • Mở rộng bất đẳng thức Łojasiewicz gradient cạnh thớ cho các hàm định nghĩa được không trơn 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 ghi nhận từ phạm vi nghiên cứu

  • Các kết quả tính toán tường minh thương cực và số mũ Łojasiewicz gradient bằng phương pháp trượt và đa giác Newton mới chỉ áp dụng hoàn chỉnh cho hàm hai biến (kỳ dị đường cong phẳng); chưa mở rộng được cho kỳ dị siêu mặt nhiều biến ($n \ge 3$) khi không có tính chất cô lập hoặc không thu gọn.
  • Quy trình thuật toán xác định cụ thể tập $\Lambda^+(f)$ bằng khai triển Puiseux tại vô hạn mới được giải quyết trọn vẹn trong trường hợp đa thức hai biến thực; đối với đa thức $n$ biến ($n \ge 3$), luận án mới dừng ở các kết quả định tính và phân loại lý thuyết.

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

  • Mở rộng việc tính toán thương cực và kiểm tra tính bất biến tô pô cho các kỳ dị siêu mặt số chiều cao hơn có thành phần không thu gọn.
  • Phát triển các kỹ thuật đại số máy tính để mở rộng quy trình tính toán tập $\Lambda^+(f)$ và $\Lambda(f)$ cho các đa thức thực từ ba biến trở lên.
  • Nghiên cứu sâu hơn về cận sai số và các số mũ Łojasiewicz trong các cấu trúc o-tối tiểu cụ thể có ý nghĩa ứng dụng cao như cấu trúc các hàm giải tích mở rộng hàm mũ $\mathbb{R}_{\text{an, exp}}$.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị cao cho các đối tượng và định hướng cụ thể:

  • Nghiên cứu sinh và học viên cao học ngành Hình học và tô pô, Hình học đại số thực: Chương 1 và Chương 2 cung cấp tài liệu chi tiết về kỹ thuật sử dụng đa giác Newton tương ứng với một cung và phương pháp trượt để khảo sát kỳ dị phẳng, cùng cách khai thác Định lý Puiseux địa phương và tại vô hạn.
  • Giảng viên và các nhà nghiên cứu về Lý thuyết kỳ dị: Kết quả về tính bất biến tô pô của thương cực không thu gọn và chặn trên hiệu quả cho số mũ Łojasiewicz gradient ở Chương 2 là công cụ trực tiếp để giải quyết các bài toán liên quan đến phân loại tô pô và đẳng kỳ dị.
  • Các nhà nghiên cứu về Giải tích biến phân và Tối ưu hóa hàm thuần (Tame Optimization): Chương 3 và Chương 4 là phần đáng tham khảo nhất đối với các nhà toán học làm về tối ưu, cung cấp bức tranh toàn diện về cận sai số Hölder, tính ổn định nghiệm dưới nhiễu, vai trò của giá trị Fedoryuk tại vô hạn và kỹ thuật đánh giá độ dốc không trơn.

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

1. Vì sao tập thương cực $Q(f)$ và số mũ Łojasiewicz gradient $\mathcal{L}(f)$ là bất biến tô pô trong trường hợp phức nhưng không là bất biến tô pô trong trường hợp thực?

Trong trường hợp phức, Định lý 2.4 và 2.8 chứng minh rằng $Q(f)$ và $\mathcal{L}(f)$ được biểu diễn hoàn toàn qua bậc tiếp xúc và bội của các nghiệm Newton-Puiseux của mầm hàm $f(x, y) = 0$. Theo kết quả của Parusiński (1988), hai mầm hàm phức tương đương tô pô phải khi và chỉ khi tồn tại song ánh giữa các nghiệm Puiseux bảo toàn bội và bậc liên kết, do đó các giá trị này không đổi qua đồng phôi. Ngược lại, trong trường hợp thực, số mũ gradient phụ thuộc vào các nhánh cực thực tiệm cận nằm giữa các nhánh của tập không điểm; các phép đồng phôi thực có thể làm biến dạng cấp tiếp xúc giữa các cung mà vẫn giữ nguyên tô pô (chẳng hạn $f(x, y) = x^2 - y^3$ có $\mathcal{L} = 2/3$ đồng phôi với $g(x, y) = x^2 - y^5$ có $\mathcal{L} = 4/5$).

2. Ước lượng số mũ Łojasiewicz gradient cho đa thức hai biến bậc $d$ trong luận án cải tiến kết quả của D'Acunto và Kurdyka như thế nào?

D'Acunto và Kurdyka (2005) đã đưa ra chặn trên cho số mũ Łojasiewicz gradient của đa thức phụ thuộc vào bậc $d$. Bằng cách kết hợp phương pháp trượt với việc phân tích bội giao $i(\frac{\partial f}{\partial y}, g)$ và áp dụng Định lý Bezout trên các thành phần bất khả quy của đa thức đạo hàm, Định lý 2.11 của luận án đã thiết lập chặn trên: $$\mathcal{L}(f) \le 1 - \frac{1}{(d-1)^2 + 1}$$ Chặn số mũ này nhỏ hơn (tinh hơn) chặn trên tương ứng của D'Acunto và Kurdyka, tạo ra ước lượng hiệu quả và sát thực tế hơn cho mầm hàm đa thức hai biến.

3. Tập các giá trị Fedoryuk $K_\infty(f)$ đóng vai trò gì đối với sự tồn tại của cận sai số Hölder toàn cục $\Lambda^+(f)$?

Tập $K_\infty(f)$ gồm các giá trị giới hạn của $f(x^k)$ khi $|x^k| \to \infty$ mà gradient $|\nabla f(x^k)| \to 0$, đại diện cho sự mất tính compắc và suy biến tiệm cận tại vô hạn. Định lý 3.7 chứng minh rằng nếu $K_\infty(f)$ là tập hữu hạn thì tập $\Lambda^+(f)$ chắc chắn khác rỗng (kéo theo $\Lambda^+(f) \ne \emptyset$ luôn đúng cho hàm hai biến vì tập Fedoryuk của đa thức hai biến luôn hữu hạn). Khi $K_\infty(f)$ là tập vô hạn, hàm số có thể dao động suy biến phức tạp tại vô hạn dẫn đến việc không tồn tại bất kỳ giá trị nào có cận sai số Hölder toàn cục ($\Lambda^+(f) = \emptyset$), như được minh họa trong Ví dụ 3.9.

4. Quy trình tính toán tập $\Lambda^+(f)$ cho đa thức hai biến thực được thực hiện bằng công cụ toán học nào?

Quy trình tính toán tập $\Lambda^+(f)$ trong Mục 3.4 sử dụng công cụ khai triển Newton-Puiseux tại vô hạn của đường cong đại số $V_{\mathbb{C}}(\frac{\partial f}{\partial y}) = {(x, y) \in \mathbb{C}^2 : \frac{\partial f}{\partial y}(x, y) = 0}$. Bằng cách xác định các nghiệm Puiseux tại vô hạn có dạng $y(x) = c x^\alpha + \dots$, tác giả thế các nhánh này vào hàm $f(x, y(x))$ để xác định các giá trị tiệm cận, các giá trị Fedoryuk và các cấp tăng tương ứng, từ đó giải phương trình xác định chính xác các điểm mút và các khoảng của tập $\Lambda^+(f)$.

5. Điều kiện Palais-Smale liên hệ như thế nào với cận sai số Hölder toàn cục trong cấu trúc o-tối tiểu?

Trong cấu trúc o-tối tiểu, điều kiện Palais-Smale tại vô hạn đòi hỏi mọi dãy ${x^k}$ làm cho $f(x^k) \to t$ và độ dốc tiệm cận về 0 đều phải chứa dãy con hội tụ. Luận án chỉ ra rằng điều kiện Palais-Smale ngăn chặn sự hình thành các giá trị Fedoryuk tại vô hạn, đảm bảo độ dốc không trơn $m_f(x)$ tách rời khỏi 0 khi điểm tiến ra xa tập mức, từ đó thiết lập điều kiện đủ để cận sai số Hölder toàn cục tồn tại trên toàn không gian.

Kết luận

Luận án tiến sĩ của tác giả Hoàng Phi Dũng là một công trình chuyên khảo hoàn chỉnh, giải quyết hệ thống các bài toán từ địa phương đến toàn cục về các bất đẳng thức Łojasiewicz. Bằng việc phối hợp phương pháp đa giác Newton tương ứng với một cung, kỹ thuật trượt và giải tích biến phân trong cấu trúc o-tối tiểu, luận án đã chứng minh tính bất biến tô pô của tập thương cực và số mũ gradient phức cho kỳ dị không thu gọn, làm mịn chặn trên hiệu quả theo bậc đa thức, phân loại toàn diện tính ổn định của cận sai số toàn cục theo tập giá trị Fedoryuk và mở rộng bất đẳng thức gradient không trơn sang hình học thuần. Toàn bộ các định lý, công thức và ví dụ phản chứng được xây dựng chặt chẽ, đóng góp các kết quả lý thuyết có giá trị cho chuyên ngành Hình học và tô pô cũng như lĩnh vực Tối ưu hóa hiện đại.