Tổng quan về luận án

Luận án tiến sĩ toán học với đề tài "Phương pháp giải một số bài toán chấp nhận tách suy rộng liên quan đến bài toán cân bằng" của nghiên cứu sinh Đặng Xuân Sơn (chuyên ngành Toán giải tích, mã số 62460102), dưới sự hướng dẫn khoa học của GS. Phạm Kỳ Anh và GS. Lê Dũng Mưu tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội (2018), đại diện cho một công trình nghiên cứu mũi nhọn thuộc lĩnh vực giải tích phi tuyến và tối ưu hóa vô hạn chiều. Luận án giải quyết bài toán chấp nhận tách suy rộng (Generalized Split Feasibility Problem - GSFP), một cấu trúc toán học bao hàm bài toán chấp nhận lồi (CFP), bài toán chấp nhận tách đa tập hợp (MSSFP), bất đẳng thức biến phân (VIP) và bài toán cân bằng (EP).

Khoảng trống nghiên cứu (Research Gap) cốt lõi xuất phát từ thực tế: trong các công trình kinh điển của Tada và Takahashi (2007) [59], Censor và cộng sự (2011) [25], hay Martinez-Yanes và Xu (2006) [48], các thuật toán lặp phần lớn chỉ giới hạn ở lớp song hàm cân bằng đơn điệu (monotone) hoặc toán tử không giãn (nonexpansive) với các tập ràng buộc tường minh, đồng thời đa số chỉ đạt được hội tụ yếu trong không gian Hilbert vô hạn chiều. Luận án đã vượt qua rào cản này bằng cách mở rộng sang lớp song hàm cân bằng giả đơn điệu (pseudomonotone), toán tử giả co chặt (strictly pseudocontractive) và toán tử bán co (demicontractive), đồng thời thiết lập các dãy lặp hội tụ mạnh.

Hệ thống câu hỏi nghiên cứu và giả thuyết khoa học được xác định tường minh:

  • RQ1: Làm thế nào để xây dựng thuật toán hội tụ mạnh tìm nghiệm chung của bài toán cân bằng giả đơn điệu và bài toán điểm bất động của một họ các ánh xạ giả co chặt? (H1: Phép lai ghép giữa phương pháp đạo hàm tăng cường hai bước với phép lặp Mann và kỹ thuật chiếu lên giao hai nửa không gian $P_k \cap Q_k$ sẽ đảm bảo tính hội tụ mạnh).
  • RQ2: Có thể giải bài toán bất đẳng thức biến phân cấp hai trên tập nghiệm của bài toán cân bằng và điểm bất động của ánh xạ bán co mà không cần chiếu lên các tập phụ phức tạp không? (H2: Kết hợp phương pháp dưới đạo hàm tăng cường với xấp xỉ gắn kết sẽ loại bỏ sự phụ thuộc vào phép chiếu lặp $C_n \cap Q_n$).
  • RQ3: Thuật toán song song nào tối ưu hóa việc tìm điểm bất động chung của họ ánh xạ bán co kết hợp bài toán biến phân? (H3: Phân rã song song kết hợp đường dốc nhất thu hẹp đáng kể thời gian tính toán).
  • RQ4: Làm thế nào để giải bài toán chấp nhận tách suy rộng liên quan đến cân bằng và điểm bất động trên hai không gian Hilbert khác nhau? (H4: Tích hợp thuật toán CQ với phương pháp điểm gần kề và Halpern sẽ xác định nghiệm duy nhất có chuẩn cực tiểu).

Khung lý thuyết của công trình tích hợp ba trụ cột: Lý thuyết toán tử đơn điệu và bao hàm thức vi phân (Monotone Operator Theory), Lý thuyết điểm bất động phi tuyến (Nonlinear Fixed Point Theory), và Giải tích lồi hiện đại (Convex Analysis). Với 5 công trình công bố trên các tạp chí quốc tế thuộc danh mục ISI/Scopus [1–5], luận án mang lại bước đột phá định lượng trong việc giải các bài toán tối ưu phân tán, khôi phục ảnh số và y học xạ trị IMRT.

+-----------------------------------------------------------------------------------+
|                        KHUNG PHÂN TÍCH TỔNG QUAN LUẬN ÁN                          |
+-----------------------------------------------------------------------------------+
|                                                                                   |
|   +--------------------------+                +-------------------------------+   |
|   |   Không gian nguồn H1    |                |      Không gian ảnh H2        |   |
|   |                          |    Toán tử     |                               |   |
|   |  - EP giả đơn điệu       |   tuyến tính   |  - EP đơn điệu                |   |
|   |    Sol(C, f)             |   bị chặn A    |    Sol(Q, g)                  |   |
|   |  - Ánh xạ giả co chặt/   +--------------->+  - Điểm bất động              |   |
|   |    bán co Fix(S_i)       |                |    Fix(T)                     |   |
|   |  - Ràng buộc lồi đóng C  |                |  - Ràng buộc lồi đóng Q       |   |
|   +------------+-------------+                +---------------+---------------+   |
|                |                                              |                   |
|                +----------------------+-----------------------+                   |
|                                       |                                           |
|                                       v                                           |
|                     +-----------------------------------+                         |
|                     |     BÀI TOÁN CHẤP NHẬN TÁCH       |                         |
|                     |        SUY RỘNG (GSFP/SEP)        |                         |
|                     |                                   |                         |
|                     |   Tìm x* thuộc H1 thỏa mãn        |                         |
|                     |   x* trong Fix(S) giao Sol(C, f)  |                         |
|                     |   sao cho Ax* thuộc Sol(Q, g)     |                         |
|                     +-----------------+-----------------+                         |
|                                       |                                           |
|                                       v                                           |
|                     +-----------------------------------+                         |
|                     |    HỆ THỐNG THUẬT TOÁN ĐỀ XUẤT    |                         |
|                     |                                   |                         |
|                     | - Extragradient + Mann + Halpern  |                         |
|                     | - Dưới đạo hàm tăng cường         |                         |
|                     | - Kỹ thuật phân rã song song      |                         |
|                     | - Thuật toán CQ cải tiến          |                         |
|                     +-----------------------------------+                         |
|                                                                                   |
+-----------------------------------------------------------------------------------+

Literature Review và Positioning

Lịch sử bài toán chấp nhận lồi khởi nguồn từ Cauchy (giữa thế kỷ 19), phát triển qua các công trình nền tảng của Bauschke và Borwein (1996) [10], Butnariu, Censor và Reich (2005) [15]. Năm 1966, Philip Hartman và Guido Stampacchia đặt nền móng cho lý thuyết bất đẳng thức biến phân (VIP). Năm 1951, John Forbes Nash đưa ra khái niệm cân bằng trong lý thuyết trò chơi không hợp tác, được Isoda (1955) [55] và Ky Fan (1972) [35] tổng quát hóa thành bất đẳng thức minimax, trước khi Blum và Oettli (1994) [13], cùng Lê Dũng Mưu (1992) [52] chính thức định hình cấu trúc bài toán cân bằng (EP). Năm 2005, Censor và cộng sự [28] giới thiệu bài toán chấp nhận tách đa tập hợp (MSSFP), mở ra kỷ nguyên mới cho tối ưu hóa tách biến trong xạ trị ung thư và xử lý tín hiệu [16].

Trong y văn tồn tại hai cuộc tranh luận lý thuyết lớn:

  1. Hội tụ yếu đối nghịch hội tụ mạnh trong không gian vô hạn chiều: Phương pháp lặp Krasnoselski-Mann truyền thống chỉ đảm bảo hội tụ yếu. Để ứng dụng trong thực tế, các nhà nghiên cứu buộc phải xây dựng các phương pháp chiếu phụ như kỹ thuật lai ghép CQ của Byrne (2002) [68] hoặc phép xấp xỉ gắn kết viscosity của Halpern, song các kỹ thuật này thường làm tăng đột biến chi phí tính toán trên mỗi bước lặp.
  2. Tính đơn điệu cổ điển đối nghịch tính giả đơn điệu: Phần lớn các công trình (chẳng hạn như Tada và Takahashi, 2007 [59]) đòi hỏi song hàm $f$ phải đơn điệu ($f(x,y) + f(y,x) \le 0$). Tuy nhiên, vô số mô hình kinh tế và vật lý chỉ thỏa mãn tính giả đơn điệu yếu hơn ($f(x,y) \ge 0 \implies f(y,x) \le 0$), khiến các toán tử giải (resolvent operator) không còn tính không giãn chặt, làm vô hiệu hóa các chứng minh hội tụ chuẩn tắc.
+-----------------------------------------------------------------------------------------------+
|                            TIẾN TRÌNH PHÁT TRIỂN CỦA LÝ THUYẾT                                |
+-----------------------------------------------------------------------------------------------+
|                                                                                               |
|  [1850s] Cauchy: Khởi xướng bài toán chấp nhận lồi (CFP)                                      |
|    |                                                                                          |
|    v                                                                                          |
|  [1951-1955] Nash & Isoda: Cân bằng trò chơi không hợp tác                                   |
|    |                                                                                          |
|    v                                                                                          |
|  [1966] Hartman & Stampacchia: Bất đẳng thức biến phân (VIP)                                  |
|    |                                                                                          |
|    v                                                                                          |
|  [1972-1994] Ky Fan, Lê Dũng Mưu, Blum & Oettli: Định hình bài toán cân bằng (EP)             |
|    |                                                                                          |
|    v                                                                                          |
|  [2002-2005] Byrne & Censor et al.: Thuật toán CQ và bài toán chấp nhận tách đa tập (MSSFP)   |
|    |                                                                                          |
|    v                                                                                          |
|  [2006-2011] Martinez-Yanes & Xu, Tada & Takahashi, Censor et al.: Lặp Mann-Extragradient     |
|              (Giới hạn: toán tử không giãn, cân bằng đơn điệu, hội tụ yếu)                    |
|    |                                                                                          |
|    v                                                                                          |
|  [2018] Đặng Xuân Sơn (Luận án Tiến sĩ): Đột phá mô hình chấp nhận tách suy rộng (GSFP)       |
|         (Cân bằng giả đơn điệu + Toán tử giả co chặt/bán co + Hội tụ mạnh + Thuật toán song song)|
|                                                                                               |
+-----------------------------------------------------------------------------------------------+

Luận án định vị chính xác vào giao điểm của các mâu thuẫn này: giải quyết bài toán chấp nhận lồi suy rộng (GCFP) và chấp nhận tách suy rộng (GSFP) khi các tập ràng buộc là tập nghiệm ẩn (implicit solution sets). Khi so sánh với công trình quốc tế của Tada và Takahashi (2007) [59] (chỉ xét một ánh xạ không giãn $S$ và song hàm $f$ đơn điệu), luận án mở rộng đồng thời lên một họ $p$ ánh xạ $L_i$-giả co chặt và song hàm $f$ giả đơn điệu. So với nghiên cứu của Censor, Gibali và Reich (2011) [25] về phương pháp dưới đạo hàm tăng cường cho VIP, thuật toán của Đặng Xuân Sơn đã tích hợp thành công cấu trúc bán co (demicontractive) với kỹ thuật phân rã song song, giải phóng hoàn toàn yêu cầu tính nghịch đảo toán tử liên kết.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án tạo ra bước chuyển dịch mô hình (paradigm shift) từ việc xử lý các bài toán đơn lẻ sang một khung hợp nhất giải tích biến phân. Nghiên cứu mở rộng lý thuyết điểm bất động phi tuyến của Browder và Petryshyn bằng cách thiết lập tính hội tụ trên lớp ánh xạ $L$-giả co chặt:

$$|S(x) - S(y)|^2 \le |x - y|^2 + L|(I - S)(x) - (I - S)(y)|^2, \quad L \in [0, 1)$$

và lớp ánh xạ $\beta$-bán co (demicontractive):

$$|S(x) - x^|^2 \le |x - x^|^2 + \beta|S(x) - x|^2, \quad \forall x^* \in \text{Fix}(S), \beta \in [0, 1)$$

Các mệnh đề và định lý cốt lõi được chứng minh chặt chẽ:

  • Proposition P1: Tập điểm bất động $\text{Fix}(S)$ của ánh xạ giả co chặt là tập lồi đóng và toán tử $I - S$ thỏa mãn nguyên lý bán đóng (demiclosed principle) tại 0.
  • Proposition P2: Đối với song hàm $f$ giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz với hằng số $c_1 > 0, c_2 > 0$:

$$f(x, y) + f(y, z) - f(x, z) \ge -c_1|x - y|^2 - c_2|y - z|^2$$

dãy lặp đạo hàm tăng cường hai bước triệt tiêu sai số phi tuyến, bảo toàn tính hội tụ mạnh mà không cần giả thiết đơn điệu ngặt.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp ba lý thuyết nền tảng: Lý thuyết cân bằng Ky Fan, Phép chiếu Metric trên không gian Hilbert thực $H$, và Lý thuyết xấp xỉ liên tục.

+-----------------------------------------------------------------------------------------------+
|                       KHUNG PHÂN TÍCH VÀ CƠ CHẾ ĐIỀU PHỐI THUẬT TOÁN                          |
+-----------------------------------------------------------------------------------------------+
|                                                                                               |
|  [ĐIỀU KIỆN THIẾT LẬP BAN ĐẦU]                                                                |
|  - Bước nhảy lambda_k thuộc [a, b] con của (0, 1/L), trong đó L = max{2c1, 2c2}               |
|  - Trọng số Mann alpha_k thuộc [alpha, beta] con của (L_bar, 1), L_bar = max{Li}              |
|  - Phép gộp lồi lambda_{k, i} > 0, tổng lambda_{k, i} = 1                                     |
|                                                                                               |
|                                          |                                                    |
|                                          v                                                    |
|  [BƯỚC 1: ĐẠO HÀM TĂNG CƯỜNG HAI BƯỚC CHO EP GIẢ ĐƠN ĐIỆU]                                    |
|  * y^k = argmin_{y in C} { lambda_k * f(x^k, y) + (1/2)*||y - x^k||^2 }                       |
|  * t^k = argmin_{y in C} { lambda_k * f(y^k, y) + (1/2)*||y - x^k||^2 }                       |
|                                                                                               |
|                                          |                                                    |
|                                          v                                                    |
|  [BƯỚC 2: PHÉP LẶP MANN TÍCH HỢP HỌ ÁNH XẠ GIẢ CO CHẶT]                                      |
|  * z^k = alpha_k * t^k + (1 - alpha_k) * sum_{i=1}^p { lambda_{k, i} * S_i(t^k) }             |
|                                                                                               |
|                                          |                                                    |
|                                          v                                                    |
|  [BƯỚC 3: PHÉP CHIẾU METRIC TRÊN GIAO HAI NỬA KHÔNG GIAN]                                     |
|  * P_k = { z in C : ||z^k - z|| <= ||x^k - z|| }                                              |
|  * Q_k = { z in C : <x^k - z, x^0 - x^k> >= 0 }                                               |
|  * x^{k+1} = P_{P_k giao Q_k}(x^0)  ===>  HỘI TỤ MẠNH ĐẾN x* = P_Omega(x^0)                  |
|                                                                                               |
+-----------------------------------------------------------------------------------------------+

Các điều kiện biên (Boundary conditions) được xác định chính xác: tham số bước nhảy phải thỏa mãn $\lambda_k \in [a, b] \subset (0, 1/L)$ với $L := \max{2c_1, 2c_2}$; dãy trọng số Mann $\alpha_k \in [\alpha, \beta] \subset (\bar{L}, 1)$ với $\bar{L} := \max{L_i : 1 \le i \le p}$.

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

Thiết kế nghiên cứu

Nghiên cứu vận hành trên lập trường triết học thực chứng - duy lý diễn dịch toán học (Positivist-Rationalist Mathematical Deduction). Không gian nghiên cứu là không gian Hilbert thực $H$ trang bị tích vô hướng $\langle \cdot, \cdot \rangle$ và chuẩn cảm sinh $|\cdot|$.

Quy trình thiết kế đa tầng bao gồm:

  1. Thiết lập không gian trạng thái và toán tử: Xác định tập lồi đóng khác rỗng $C \subset H$, toán tử liên kết tuyến tính bị chặn $A: H_1 \to H_2$.
  2. Khử phi tuyến bằng kỹ thuật xấp xỉ liên tiếp: Sử dụng toán tử chiếu $P_C(x) = \text{argmin}{|y - x| : y \in C}$ với tính chất đặc trưng $\langle x - P_C(x), z - P_C(x) \rangle \le 0, \forall z \in C$.
  3. Mô hình hóa đa bậc: Thiết lập bài toán tìm nghiệm chung trên không gian nguồn:

$$\text{Find } x^* \in \bigcap_{i=1}^p \text{Fix}(S_i) \cap \text{Sol}(C, f)$$

và bài toán biến phân cấp hai (Hierarchical VIP):

$$\text{Find } x^* \in \Omega \text{ sao cho } \langle F(x^), x - x^ \rangle \ge 0, \quad \forall x \in \Omega := \text{Sol}(C, A) \cap \text{Fix}(S)$$

Quy trình nghiên cứu rigorous

Quy trình chứng minh hội tụ tuân thủ cấu trúc giải tích hàm nghiêm ngặt:

  • Chứng minh tính bị chặn (Boundedness): Sử dụng đẳng thức hình học Hilbert:

$$|\lambda x + (1 - \lambda)y|^2 = \lambda|x|^2 + (1 - \lambda)|y|^2 - \lambda(1 - \lambda)|x - y|^2$$

để kiểm soát năng lượng của dãy lặp ${x^k}, {y^k}, {z^k}, {t^k}$.

  • Đánh giá sai số tiệm cận (Asymptotic Regularity): Thiết lập bất đẳng thức suy giảm cơ sở:

$$|t^k - x^|^2 \le |x^k - x^|^2 - (1 - 2\lambda_k c_2)|t^k - y^k|^2 - (1 - 2\lambda_k c_1)|x^k - y^k|^2$$

từ đó dẫn xuất:

$$\lim_{k \to \infty} |x^{k+1} - x^k| = \lim_{k \to \infty} |x^k - y^k| = \lim_{k \to \infty} |x^k - t^k| = \lim_{k \to \infty} |t^k - \bar{S}_k(t^k)| = 0$$

  • Kỹ thuật tam giác đạc lý thuyết (Theoretical Triangulation): Phối hợp Bổ đề Moreau-Rockafellar về dưới vi phân của hàm lồi khả vi, Bổ đề Maingé (2008) [46] cho dãy số thực không đơn điệu, và Bổ đề Xu (2002) [66] về dãy số thực không âm thỏa mãn:

$$a_{n+1} \le (1 - \alpha_n)a_n + \alpha_n \xi_n$$

Data và phân tích

Trong môi trường toán học giải tích tính toán, "dữ liệu" là các chuỗi toán tử và dãy số lặp được kiểm soát thông qua:

  • Kỹ thuật dưới đạo hàm tăng cường (Subgradient Extragradient): Thay thế phép chiếu tốn kém trên tập lồi $C$ ở bước thứ hai bằng phép chiếu tường minh trên nửa không gian $T_n$:

$$T_n = {w \in H : \langle x^n - \lambda A x^n - y^n, w - y^n \rangle \le 0}$$

  • Phân tích độ vững (Robustness Checks): Kiểm định sự phụ thuộc của bán kính hội tụ vào hệ số Lipschitz $L$ và hệ số đơn điệu mạnh $\eta, \kappa$ của toán tử giá $F$. Mọi cận trên sai số đều được chặn tuyệt đối bởi hằng số hình học độc lập với số chiều không gian.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Đột phá về điều kiện đơn điệu của song hàm: Thuật toán 2.1 giải quyết thành công bài toán cân bằng khi song hàm $f$ chỉ cần thỏa mãn tính giả đơn điệu (pseudomonotone) trên $C$, phá vỡ thế độc tôn của giả thiết đơn điệu cổ điển trong các nghiên cứu trước năm 2018.
  2. Mở rộng phổ toán tử điểm bất động: Mở rộng thành công từ lớp ánh xạ không giãn sang lớp ánh xạ $L_i$-giả co chặt ($0 \le L_i < 1$) và $\beta$-bán co, cho phép áp dụng thuật toán vào các hệ động lực phi tuyến có tính tiêu tán năng lượng không đối xứng.
  3. Thiết lập công thức triệt tiêu phép chiếu kép: Thuật toán 2.2 cho bài toán bất đẳng thức biến phân:

$$v^n = t^n - \alpha_n F t^n, \quad x^{n+1} = (1 - \beta_n)v^n + \beta_n S v^n$$

với bước nhảy $\rho_n \in [\rho_, \rho^] \subset (0, \frac{1}{3L})$, đạt hội tụ mạnh đến nghiệm duy nhất $x^* \in \text{Sol}(C, A) \cap \text{Fix}(S)$ mà không cần xây dựng hai tập lồi phụ $C_n, Q_n$ tại mỗi bước lặp như thuật toán của Censor và cộng sự (2011) [25]. 4. Xây dựng kiến trúc lặp song song: Đề xuất sơ đồ phân tán tính toán đồng thời $p$ toán tử $S_i$, triệt tiêu nút thắt cổ chai tính toán tuần tự trong các bài toán cân bằng đa mục tiêu quy mô lớn. 5. Hợp nhất bài toán cân bằng tách và tìm cực trị hàm khoảng cách: Thiết lập thuật toán giải bài toán tìm cực trị hàm khoảng cách $\min \frac{1}{2}|x - u|^2$ trên tập nghiệm của bài toán cân bằng tách (SEP), chứng minh nghiệm tìm được là duy nhất và là nghiệm tối ưu chuẩn cực tiểu.

Implications đa chiều

+-----------------------------------------------------------------------------------------------+
|                            MA TRẬN ỨNG DỤNG VÀ HỆ QUẢ ĐA CHIỀU                                |
+-----------------------------------------------------------------------------------------------+
|                                                                                               |
|  [LÝ THUYẾT GIẢI TÍCH PHI TUYẾN]           [Y HỌC XẠ TRỊ IMRT]                                |
|  - Hợp nhất EP, VIP, CFP, MSSFP            - Tối ưu hóa chùm tia xạ đa hướng                  |
|  - Khung giải thuật toán tử bán co         - Tối đa hóa liều diệt u, bảo tồn mô lành         |
|                     \                                     /                                   |
|                      \                                   /                                    |
|                       v                                 v                                     |
|                  +-------------------------------------------+                                |
|                  |     HỆ GIẢI THUẬT CHẤP NHẬN TÁCH SUY RỘNG |                                |
|                  |              (ĐẶNG XUÂN SƠN, 2018)        |                                |
|                  +-------------------------------------------+                                |
|                       ^                                 ^                                     |
|                      /                                   \                                    |
|                     /                                     \                                   |
|  [XỬ LÝ TÍN HIỆU & KHÔI PHỤC ẢNH]          [GIAO THÔNG & SMART GRID]                          |
|  - Khôi phục ảnh mờ/nhiễu (Deconvolution)  - Cân bằng mạng lưới giao thông Wardrop            |
|  - Tái tạo dữ liệu nén (Compressed Sensing)- Cân bằng cung - cầu điện lưới thông minh        |
|                                                                                               |
+-----------------------------------------------------------------------------------------------+
  • Về mặt phương pháp luận: Cung cấp công cụ toán học tối ưu để giải các bài toán tối ưu phân tách biến trong không gian Hilbert vô hạn chiều.
  • Ứng dụng y học xạ trị IMRT: Bài toán chấp nhận tách đa tập hợp (MSSFP) là cốt lõi tính toán góc chiếu và cường độ chùm tia xạ trị. Nghiệm $x^$ trong không gian nguồn $H_1$ đại diện cho liều lượng phát xạ tại đầu phát, trong khi ảnh $A x^$ trong không gian $H_2$ kiểm soát liều hấp thụ trên thể tích khối u mục tiêu $Q_j$ và hạn chế tối đa tổn thương trên các cơ quan lành $C_i$.
  • Ứng dụng kinh tế và giao thông: Mô hình hóa chính xác bài toán cân bằng mạng lưới giao thông Wardrop và bài toán cân bằng thị trường Nash-Cournot phi đối xứng nơi hàm lợi ích không có tính chất lồi đơn điệu.

Limitations và Future Research

Luận án thừa nhận khách quan các giới hạn lý thuyết:

  1. Sự phụ thuộc vào hằng số Lipschitz tiên nghiệm: Các thuật toán yêu cầu tham số bước nhảy phải thỏa mãn $\lambda_k < 1/\max{2c_1, 2c_2}$ hoặc $\rho_n < 1/(3L)$. Trong thực tế, việc ước lượng chính xác hằng số Lipschitz $L, c_1, c_2$ của các toán tử phi tuyến phức tạp đòi hỏi chi phí tính toán rất lớn.
  2. Cấu trúc không gian Hilbert: Toàn bộ kết quả mới dừng lại ở không gian Hilbert thực. Trong nhiều bài toán tối ưu hiện đại (như xử lý ngôn ngữ tự nhiên hay không gian Banach phản xạ $L^p$), hình học không gian không có tích vô hướng trực giao.
  3. Phép chiếu lên tập lồi $C$: Mặc dù đã giảm thiểu số lần chiếu, thuật toán vẫn yêu cầu ít nhất một phép chiếu metric lên $C$ tại mỗi bước lặp, gây khó khăn nếu $C$ không có dạng giải tích tường minh.

Chương trình nghiên cứu 10 năm tiếp theo (Future Research Agenda):

  • Hướng 1: Xây dựng thuật toán bước nhảy tự thích nghi (self-adaptive / armijo-like step sizes) không cần biết trước hằng số Lipschitz.
  • Hướng 2: Mở rộng bài toán chấp nhận tách suy rộng lên không gian Banach phản xạ và đa tạp Hadamard (Hadamard manifolds).
  • Hướng 3: Nghiên cứu bài toán cân bằng tách ngẫu nhiên (Stochastic Split Equilibrium Problems) nhằm ứng dụng trong học máy xác suất và mạng nơ-ron sâu (Deep Equilibrium Models).
  • Hướng 4: Phát triển các biến thể quán tính tăng tốc (Inertial Extragradient Methods) kết hợp gia tốc Nesterov để tăng tốc độ hội tụ từ tuyến tính sang siêu tuyến tính.

Tác động và ảnh hưởng

Các kết quả của luận án được bảo vệ thành công trước Hội đồng chấm luận án tiến sĩ cấp Đại học Quốc gia Hà Nội năm 2018 và được công bố trong 5 công trình khoa học chuyên ngành chất lượng cao thuộc danh mục ISI/Scopus:

  • 05 bài báo đăng trên các tạp chí quốc tế chuyên ngành toán giải tích và tối ưu hóa uy tín.
  • Báo cáo và thảo luận chuyên sâu tại các diễn đàn học thuật đỉnh cao: Hội thảo Tối ưu và Tính toán khoa học lần thứ 15 (Ba Vì, 2017) và Hội thảo Quốc tế Việt – Hàn về một số vấn đề chọn lọc trong toán học (Đà Nẵng, 2017).

Tác động xã hội và học thuật của công trình được lượng hóa thông qua việc cung cấp nền tảng giải thuật vững chắc cho các phần mềm lập trình xạ trị ung thư, tối ưu hóa phân phối điện năng trong Smart Grid nhằm giảm phát thải carbon, và nâng cao độ chính xác trong xử lý tín hiệu địa chấn và khôi phục ảnh y tế kỹ thuật số.

Đối tượng hưởng lợi

+-----------------------------------------------------------------------------------------------+
|                             MA TRẬN ĐỐI TƯỢNG HƯỞNG LỢI                                       |
+-----------------------------------------------------------------------------------------------+
|                                                                                               |
|  [Nghiên cứu sinh & Giới học thuật]       [Kỹ sư R&D Y tế & Xử lý tín hiệu]                  |
|  * Khung giải tích toán tử hiện đại       * Thuật toán tối ưu xạ trị ung thư IMRT             |
|  * Kỹ thuật chứng minh hội tụ mạnh        * Giải thuật khôi phục ảnh cắt lớp CT/MRI           |
|                     \                                     /                                   |
|                      \                                   /                                    |
|                       v                                 v                                     |
|                  +-------------------------------------------+                                |
|                  |      GIÁ TRỊ ỨNG DỤNG CỦA LUẬN ÁN         |                                |
|                  +-------------------------------------------+                                |
|                       ^                                 ^                                     |
|                      /                                   \                                    |
|                     /                                     \                                   |
|  [Nhà hoạch định & Chuyên gia Kinh tế]    [Kỹ sư Mạng & Giao thông thông minh]                |
|  * Mô hình cân bằng thị trường Nash       * Điều phối luồng giao thông đô thị                 |
|  * Tối ưu hóa phân bổ nguồn lực quốc gia  * Tối ưu hóa tải truyền dữ liệu viễn thông 5G/6G    |
|                                                                                               |
+-----------------------------------------------------------------------------------------------+
  • Nghiên cứu sinh và học viên cao học Toán học: Tiếp cận hệ phương pháp luận mẫu mực về giải tích hàm, lý thuyết toán tử phi tuyến và kỹ thuật xử lý bất đẳng thức giải tích tinh tế.
  • Các nhà khoa học trong lĩnh vực Tối ưu hóa: Thừa hưởng các định lý nền tảng để tiếp tục phát triển các bài toán biến phân trên các cấu trúc hình học phức tạp hơn.
  • Kỹ sư R&D trong công nghệ Y sinh: Sử dụng trực tiếp thuật toán chấp nhận tách đa tập hợp (MSSFP) để nâng cấp độ chính xác tính toán liều xạ trong các hệ thống máy gia tốc xạ trị tuyến tính.
  • Chuyên gia Tối ưu hóa Hệ thống Giao thông và Viễn thông: Ứng dụng thuật toán phân rã song song để giải bài toán cân bằng lưu lượng mạng phân tán thời gian thực.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì?

Đóng góp độc đáo nhất là việc thiết lập sự hội tụ mạnh của dãy lặp giải bài toán chấp nhận tách suy rộng khi đồng thời giải phóng hai ràng buộc kinh điển: thay thế song hàm cân bằng đơn điệu bằng song hàm giả đơn điệu (pseudomonotone), và thay thế toán tử không giãn bằng toán tử $L$-giả co chặt / bán co. Đây là bước mở rộng lý thuyết toán tử giải tích phi tuyến có ý nghĩa tổng quát hóa cao.

2. Điểm cải tiến phương pháp luận so với các nghiên cứu tiền nhiệm?

So với nghiên cứu của Tada & Takahashi (2007) [59] và Censor et al. (2011) [25], luận án có 2 cải tiến đột phá:

  • Loại bỏ hoàn toàn sự phụ thuộc vào dãy phép chiếu phức tạp $C_n \cap Q_n$ tại mỗi bước trong bài toán VIP cấp hai thông qua kỹ thuật kết hợp dưới đạo hàm tăng cường với tham số viscosity.
  • Xây dựng thuật toán song song hóa hoàn toàn cho $p$ ánh xạ bán co, giảm độ phức tạp tính toán từ $O(p \cdot K)$ xuống $O(K)$ trên môi trường tính toán đa lõi.

3. Phát hiện toán học bất ngờ nhất có bằng chứng thực nghiệm?

Đó là tính chất suy giảm năng lượng vi phân được chứng minh tại Bổ đề 2.1:

$$|t - x^|^2 \le |x - x^|^2 - (1 - 3\rho L)[|y - x|^2 + |y - z|^2]$$

Bất đẳng thức này chỉ ra rằng bước phụ $z = P_C(y - \rho Ay)$ tạo ra một lượng suy giảm chuẩn bậc hai độc lập với vị trí của nghiệm $x^*$, bảo đảm thuật toán hội tụ ngay cả khi đạo hàm của toán tử giá $A$ biến thiên mạnh trên biên của tập ràng buộc $C$.

4. Giao thức tái lập nghiên cứu (Replication Protocol) có được cung cấp không?

Có. Luận án cung cấp đầy đủ các điều kiện tiên quyết của tham số: khoảng chọn bước nhảy $\lambda_k \in [a, b] \subset (0, 1/L)$, cận trọng số $\alpha_k \in [\alpha, \beta] \subset (\bar{L}, 1)$, công thức đại số tường minh của các tập nửa không gian chiếu $P_k, Q_k$, và các bước lặp $y^k, t^k, z^k, x^{k+1}$. Mọi nhà nghiên cứu đều có thể lập trình tái hiện thuật toán trên MATLAB, Python hoặc C++ với tính tất định 100%.

5. Định hướng nghiên cứu 10 năm tới được phác thảo như thế nào?

Định hướng tập trung vào việc tự động hóa tham số bước nhảy (Armijo line-search không cần Lipschitz), chuyển đổi không gian từ Hilbert sang đa tạp Riemann, và nhúng các lớp toán tử cân bằng tách vào các lớp ẩn của mạng nơ-ron sâu (Deep Equilibrium Models) nhằm giải các bài toán tối ưu hóa phân loại phi tuyến quy mô siêu lớn.

Kết luận

Luận án tiến sĩ của Đặng Xuân Sơn đã hoàn thành xuất sắc các mục tiêu khoa học đặt ra, đóng góp 5 giá trị cốt lõi:

  1. Xây dựng và chứng minh tính đúng đắn của thuật toán hội tụ mạnh giải bài toán tìm nghiệm chung của họ ánh xạ giả co chặt và bài toán cân bằng giả đơn điệu.
  2. Thiết lập thuật toán dưới đạo hàm tăng cường giải bài toán bất đẳng thức biến phân trên tập điểm bất động của ánh xạ bán co, loại bỏ bước chiếu lặp phức tạp.
  3. Đề xuất sơ đồ thuật toán song song tối ưu hóa việc tìm điểm bất động chung của nhiều toán tử phi tuyến.
  4. Đưa ra thuật toán đầu tiên giải bài toán chấp nhận tách suy rộng (GSFP) liên kết bài toán cân bằng và bài toán điểm bất động giữa hai không gian Hilbert.
  5. Giải quyết trọn vẹn bài toán tìm cực trị hàm khoảng cách trên tập nghiệm của bài toán cân bằng tách (SEP).

Công trình đã nâng tầm năng lực nghiên cứu giải tích toán học của Việt Nam trên trường quốc tế, mở ra 3 hướng nghiên cứu mới về tối ưu hóa ngẫu nhiên, giải tích trên đa tạp và học sâu toán tử, để lại di sản học thuật quan trọng cho chuyên ngành Toán giải tích ứng dụng.