Tổng quan về luận án

Nghiên cứu về bất đẳng thức biến phân (Variational Inequality Problem - VIP) giữ vị trí trung tâm trong giải tích phi tuyến hiện đại kể từ công trình tiên phong của Lions và Stampacchia (1967). VIP đóng vai trò một công cụ toán học hợp nhất cho hàng loạt bài toán lý thuyết và ứng dụng thực tiễn như bài toán tối ưu hóa lồi, bài toán tìm điểm bất động, bài toán cân bằng Nash, bài toán bù phi tuyến và các bài toán biên tự do của phương trình đạo hàm riêng. Trong không gian Hilbert thực $H$, bài toán bất đẳng thức biến phân cổ điển $\text{VIP}(F, C)$ yêu cầu tìm $x^* \in C$ sao cho: $$\langle F(x^), x - x^ \rangle \ge 0, \quad \forall x \in C$$ với $C$ là tập con lồi đóng khác rỗng và $F: H \to H$ là toán tử phi tuyến.

Khi tập ràng buộc $C$ được mô hình hóa dưới dạng tập điểm bất động chung của một họ vô hạn các ánh xạ không giãn $C = \bigcap_{i=1}^\infty \text{Fix}(T_i)$, bài toán liên kết trực tiếp với các ứng dụng công nghệ cao như phục hồi tín hiệu số, kiểm soát công suất trong mạng viễn thông vô tuyến CDMA và phân phối băng thông mạng. Tuy nhiên, việc mở rộng bài toán từ không gian Hilbert sang không gian Banach tổng quát gặp phải các rào cản nghiêm trọng về mặt hình học giải tích (thiếu tính chất tích vô hướng, thiếu quy tắc hình bình hành và phép chiếu metric nói chung không còn là ánh xạ không giãn).

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Song Hà (Mã số: 9460102, chuyên ngành Toán giải tích) dưới sự hướng dẫn khoa học của GS. Nguyễn Bường tại Trường Đại học Sư phạm – Đại học Thái Nguyên (2018) mang tiêu đề: "Xấp xỉ nghiệm cho bất đẳng thức biến phân với họ vô hạn các ánh xạ không giãn". Luận án đã giải quyết căn bản các khoảng trống học thuật (research gaps) lớn trong y văn quốc tế thông qua các câu hỏi và giả thuyết nghiên cứu tường minh:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Làm thế nào để thiết lập các lược đồ lặp dạng hiện (explicit iterative schemes) giải bài toán bất đẳng thức biến phân $\text{VIP}^*(F, C)$ trên không gian Banach phản xạ, lồi chặt và có chuẩn khả vi Gâteaux đều mà không đòi hỏi ánh xạ đối ngẫu chuẩn tắc $j$ phải liên tục yếu theo dãy?
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Có thể loại bỏ hoàn toàn điều kiện giao hoán ngặt trên tập điểm bất động của họ các ánh xạ không giãn $\text{Fix}(T_1 T_2 \dots T_N) = \dots = \bigcap_{i=1}^N \text{Fix}(T_i)$ và khắc phục cấu trúc lồng nhau phức tạp của toán tử $W_k$ hay không?
  • Câu hỏi nghiên cứu 3 ($RQ_3$): Làm thế nào để xây dựng các thuật toán lặp có khả năng tính toán song song (parallel computing) mà dãy tham số bước không phụ thuộc vào hằng số đơn điệu mạnh $\eta$ và hằng số Lipschitz $L$ vốn rất khó xác định trong thực tế?

Tương ứng với các câu hỏi trên, luận án đặt ra ba giả thuyết khoa học:

  • Giả thuyết 1 ($H_1$): Tồn tại các toán tử trung bình trọng số mới $\tilde{S}_k, \hat{S}_k, \bar{S}_k$ bảo toàn tính không giãn, cho phép thiết lập thuật toán lai ghép hướng dốc nhất dạng hiện hội tụ mạnh tới nghiệm duy nhất của bài toán $\text{VIP}^*(F, C)$ trong không gian Banach thích hợp.
  • Giả thuyết 2 ($H_2$): Bằng việc sử dụng công cụ giải tích hiện đại gồm phiếm hàm giới hạn Banach $\mu$, bổ đề triệt tiêu sai số và tính chất giải tích của toán tử giải (resolvent), có thể chứng minh sự hội tụ mạnh mà không cần giả thiết liên tục yếu theo dãy của ánh xạ đối ngẫu $j$.
  • Giả thuyết 3 ($H_3$): Các thuật toán song song đề xuất đạt hiệu năng vượt trội về tốc độ tính toán số và khả năng ứng dụng thực tế vào bài toán phân phối băng thông mạng truyền thông so với các thuật toán tuần tự kinh điển.

Phạm vi nghiên cứu của luận án bao quát không gian Banach phản xạ thực, lồi chặt có chuẩn khả vi Gâteaux đều, mở rộng trực tiếp cho các không gian hàm quan trọng như không gian $L_p[a, b]$ với $1 < p < \infty$ ($p \ne 2$) – môi trường mà các thuật toán trước đây của Ceng et al. (2008) hoàn toàn bất khả thi.

Literature Review và Positioning

Khảo sát tiến trình phát triển của các phương pháp xấp xỉ nghiệm cho thấy ba dòng nghiên cứu chủ lưu:

  1. Dòng phương pháp chiếu và hiệu chỉnh: Khởi nguồn từ phương pháp chiếu gradient của Goldstein (1964), Levitin-Polyak (1966), phương pháp điểm gần kề của Martinet (1970), Rockafellar (1976), nguyên lý bài toán phụ của Cohen (1980) và phương pháp hiệu chỉnh Browder-Tikhonov (Browder 1967, Tikhonov 1977). Hạn chế cốt tử của dòng này là phụ thuộc vào phép chiếu metric $P_C$, vốn đòi hỏi cấu trúc tập $C$ phải tường minh và chỉ thuận lợi trong không gian Hilbert.
  2. Dòng phương pháp lai ghép hướng dốc nhất trong không gian Hilbert: Yamada (2001) đã tạo ra bước đột phá khi đề xuất phương pháp lai ghép hướng dốc nhất (hybrid steepest descent method) kết hợp toán tử không giãn $T$ với bước giảm gradient: $$x_{k+1} = T(x_k) - \lambda_{k+1} \rho F(T(x_k))$$ Yamada chứng minh dãy ${x_k}$ hội tụ mạnh tới nghiệm duy nhất của $\text{VIP}(F, \text{Fix}(T))$ với điều kiện bước $\lambda_k$ thỏa mãn (L1: $\lim_{k\to\infty} \lambda_k = 0$), (L2: $\sum \lambda_k = \infty$) và điều kiện ngặt (L3: $\lim_{k\to\infty} \frac{\lambda_k - \lambda_{k+1}}{\lambda_{k+1}^2} = 0$), đồng thời tham số $\rho \in (0, 2\eta/L^2)$. Xu và Kim (2003) đã cải tiến (L3) thành điều kiện yếu hơn (L4: $\lim_{k\to\infty} \frac{\lambda_k}{\lambda_{k+1}} = 1$). Khi mở rộng cho họ hữu hạn $N$ ánh xạ không giãn ${T_i}{i=1}^N$, Yamada (2001), Xu & Kim (2003), và Zeng et al. (2007) đều bắt buộc phải áp dụng phép lặp xoay vòng tuần tự (cyclic iteration) và dựa trên giả thiết giao hoán ngặt: $$\text{Fix}(T_1 T_2 \dots T_N T_1) = \dots = \text{Fix}(T_N T_1 \dots T{N-1}) = \bigcap_{i=1}^N \text{Fix}(T_i)$$ Luận án chỉ ra rằng điều kiện giao hoán này rất dễ bị vi phạm trong thực tế; chẳng hạn khi chọn $T_1 = T_2 = -I$ trên $H$, thì $\bigcap_{i=1}^2 \text{Fix}(T_i) = {0}$, trong khi $\text{Fix}(T_1 T_2) = \text{Fix}(I) = H$.
  3. Dòng phương pháp mở rộng sang họ vô hạn và không gian Banach: Để giải quyết bài toán với họ vô hạn đếm được các ánh xạ không giãn ${T_i}{i=1}^\infty$, Iemoto & Takahashi (2008), Yao et al. (2010), và Wang (2011) đã xây dựng dãy ánh xạ khối lồng nhau $W_k$ định nghĩa bởi $U{k, k+1} = I$, $U_{k, i} = \alpha_i T_i U_{k, i+1} + (1-\alpha_i)I$, $W_k = U_{k, 1}$. Ánh xạ $W_k$ có cấu trúc đệ quy vô cùng phức tạp, đòi hỏi chi phí tính toán tuần tự rất lớn khi $k$ tăng. Mặt khác, khi chuyển sang không gian Banach:
    • Ceng et al. (2008) đề xuất lược đồ lặp cho một ánh xạ không giãn nhưng bắt buộc ánh xạ đối ngẫu chuẩn tắc $j$ phải liên tục yếu theo dãy (chỉ đúng trên không gian dãy $l_p$, không đúng trên không gian hàm $L_p$).
    • Chidume et al. (2011) mở rộng trên không gian Banach $q$-trơn đều ($q > 1$) nhưng vẫn đòi hỏi điều kiện giao hoán và bước $\rho \in (0, \min{1, (q\eta / d_q L^q)^{1/(q-1)}})$, đòi hỏi phải biết trước các hằng số hình học $d_q, \eta, L$.
    • Nguyễn Bường và Lâm Thùy Dương (2011, 2013) đã khắc phục điều kiện giao hoán nhưng chỉ dừng lại ở các phương pháp lặp ẩn (implicit iteration) hoặc toán tử $V_k$ tuần tự.

Luận án của NCS. Nguyễn Song Hà định vị chính xác tại giao điểm giải quyết toàn diện các mâu thuẫn học thuật nói trên: mở rộng bài toán lên không gian Banach tổng quát, xử lý họ vô hạn đếm được các ánh xạ không giãn, chuyển đổi từ lặp ẩn sang lặp hiện, giải phóng thuật toán khỏi sự phụ thuộc vào các hằng số không khả thi và mở đường cho tính toán song song.

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

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

Luận án mở rộng và làm sâu sắc thêm lý thuyết đơn điệu phi tuyến của Browder, Petryshyn, Lions, Stampacchia và Yamada. Trên không gian Banach phản xạ thực, lồi chặt và có chuẩn khả vi Gâteaux đều $E$, bài toán $\text{VIP}^(F, C)$ được phát biểu: Tìm $x^ \in C := \bigcap_{i=1}^\infty \text{Fix}(T_i) \ne \emptyset$ sao cho: $$\langle F(x^), j(x - x^) \rangle \ge 0, \quad \forall x \in C$$ trong đó $j: E \to E^$ là ánh xạ đối ngẫu chuẩn tắc đơn trị, $F: E \to E$ là ánh xạ $j$-đơn điệu mạnh với hệ số $\eta > 0$ và $\gamma$-giả co chặt ($\gamma$-strictly pseudocontractive) với $\eta + \gamma > 1$. Luận án chứng minh rằng nghiệm của $\text{VIP}^(F, C)$ là duy nhất và thiết lập các định lý hội tụ mạnh mà không cần bất kỳ giả thiết nào về tính liên tục yếu theo dãy của $j$.

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

Luận án xây dựng ba toán tử trung bình trọng số cải tiến hoàn toàn mới:

  1. Toán tử $\tilde{S}_k$: Xác định bởi: $$\tilde{S}k = \sum{i=1}^k \frac{s_i}{\tilde{s}k} T^{(i)}, \quad T^{(i)} = (1-\alpha_i)I + \alpha_i T_i, \quad \tilde{s}k = \sum{i=1}^k s_i$$ với $\alpha_i \in (0, 1)$, ${s_i}$ là dãy số thực dương thỏa mãn $\sum{i=1}^\infty s_i = \tilde{s} < \infty$.
  2. Toán tử $\hat{S}_k$ và $\bar{S}_k$: Các biến thể song song hóa tối ưu nhằm gia tăng tốc độ hội tụ và giảm thiểu sai số tính toán qua từng tầng xấp xỉ.

Khung phân tích của luận án tích hợp nhuần nhuyễn bốn trụ cột lý thuyết:

  • Lý thuyết ánh xạ đối ngẫu và hình học không gian Banach: Khai thác tính liên tục đều mạnh-yếu* của $j$ trên các tập bị chặn của không gian có chuẩn khả vi Gâteaux đều.
  • Lý thuyết giới hạn Banach $\mu$: Kỹ thuật giải tích phi tuyến xử lý sự hội tụ của dãy vô hạn mà không đòi hỏi tính compact mạnh.
  • Lý thuyết tập Chebyshev và phép chiếu metric: Đảm bảo tính duy nhất của điểm xấp xỉ tốt nhất trên tập lồi đóng của không gian phản xạ, lồi chặt.
  • Lý thuyết nửa nhóm và bao hàm thức toán tử: Mở rộng trực tiếp sang bài toán tìm không điểm chung $\text{Zer}(A) = {x \in E : 0 \in Ax}$ của họ vô hạn các toán tử $j$-đơn điệu cực đại thông qua toán tử giải $J_r^A = (I + rA)^{-1}$.

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

Thiết kế nghiên cứu

Luận án áp dụng phương pháp luận diễn dịch giải tích thuần túy (deductive mathematical analysis) thuộc trường phái duy lý hình thức (formal rationalism) kết hợp với giải tích số thực nghiệm (numerical experimental analysis). Nghiên cứu không sử dụng phương pháp thống kê xã hội học mà thiết kế các chuỗi chứng minh định lý toán học chuẩn xác theo chuẩn mực quốc tế cao nhất trong giải tích hàm và tối ưu hóa.

Quy trình nghiên cứu rigorous

Quy trình chứng minh tính hội tụ mạnh của các thuật toán lặp được thực hiện qua bốn giai đoạn nghiêm ngặt:

  1. Thiết lập tính bị chặn: Chứng minh dãy lặp ${x_k}$ và các dãy ảnh ${F(\tilde{S}_k x_k)}, {\tilde{S}_k x_k}$ bị chặn đều trong không gian Banach $E$.
  2. Đánh giá triệt tiêu sai số: Chứng minh $\lim_{k\to\infty} |x_{k+1} - x_k| = 0$ và $\lim_{k\to\infty} |x_k - \tilde{S}k x_k| = 0$ bằng việc sử dụng Bổ đề Suzuki (2007) và cấu trúc hiệu số toán tử: $$\limsup{k\to\infty} \left( |z_{k+1} - z_k| - |x_{k+1} - x_k| \right) \le 0 \implies \lim_{k\to\infty} |x_k - z_k| = 0$$
  3. Khử điều kiện biên bằng Giới hạn Banach: Sử dụng phiếm hàm tuyến tính liên tục $\mu \in (l_\infty)^$ thỏa mãn $|\mu| = \mu(1) = 1$ và $\mu_k(a_{k+1}) = \mu_k(a_k)$ để thiết lập bất đẳng thức then chốt: $$\mu_k \langle F(x^), j(x_k - x^) \rangle \ge 0 \implies \limsup_{k\to\infty} \langle F(x^), j(x^* - x_k) \rangle \le 0$$
  4. Áp dụng Bổ đề giải tích thực Xu (2002): Với dãy số thực không âm ${a_k}$ thỏa mãn $a_{k+1} \le (1 - b_k)a_k + b_k c_k$, với $b_k \in [0, 1], \sum b_k = \infty, \limsup c_k \le 0$, suy ra $\lim_{k\to\infty} a_k = 0$, từ đó khẳng định $|x_k - x^*| \to 0$.

Data và phân tích

Tính hiệu quả và độ vững vững của các thuật toán được kiểm chứng qua mô phỏng số trên môi trường MATLAB/Mathematica cho hai lớp bài toán:

  • Bài toán 1: Không gian $E = \mathbb{R}^n$ và không gian hàm $L_2[0, 1]$, kiểm thử với họ 100 đến 1000 ánh xạ không giãn.
  • Bài toán 2 (Ứng dụng thực tế): Bài toán phân phối băng thông mạng truyền thông (Bandwidth allocation problem) với mô hình hàm mục tiêu tối ưu hóa lưu lượng và kiểm soát tắc nghẽn mạng viễn thông.

Dữ liệu tính toán số tại Chương 3 (minh họa qua các Bảng từ 3.1 đến 3.7) cung cấp bằng chứng định lượng chính xác:

  • Phương pháp lai ghép mới sử dụng ánh xạ $\tilde{S}_k$ hội tụ đạt độ chính xác sai số $\epsilon = 10^{-6}$ sau trung bình 42 bước lặp, trong khi phương pháp lặp cyclic của Yamada cần 187 bước lặp và phương pháp dùng toán tử $W_k$ của Iemoto-Takahashi cần 235 bước lặp.
  • Thời gian thực thi CPU của thuật toán song song $\tilde{S}_k$ giảm $68.4%$ so với thuật toán tuần tự $W_k$ trên cùng một cấu hình phần cứng khi số lượng ánh xạ tăng lên $N = 500$.

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

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

  1. Xóa bỏ rào cản tính liên tục yếu theo dãy của $j$: Luận án chứng minh thành công định lý hội tụ mạnh trong không gian Banach có chuẩn khả vi Gâteaux đều mà không cần giả thiết $j$ liên tục yếu theo dãy. Đây là phát hiện đột phá, mở rộng phạm vi áp dụng từ không gian dãy $l_p$ sang toàn bộ các không gian Lebesgue $L_p[a, b]$ với $1 < p < \infty$.
  2. Giải phóng hoàn toàn điều kiện giao hoán: Bằng việc đề xuất cấu trúc tổ hợp lồi cải tiến của $\tilde{S}_k$, thuật toán hội tụ về điểm bất động chung mà không phụ thuộc vào thứ tự tác động của các ánh xạ $T_i$, khắc phục triệt để nghịch lý toán học trong các công trình của Yamada (2001) và Chidume et al. (2011).
  3. Khả năng tính toán song song hóa thực thụ: Khác với cấu trúc đệ quy nối tiếp của toán tử $W_k$ ($U_{k, 1} = \alpha_1 T_1 U_{k, 2} + \dots$), toán tử $\tilde{S}k$ có dạng tổng phân tách $\sum{i=1}^k \frac{s_i}{\tilde{s}_k} T^{(i)}(x)$, cho phép phân phối việc tính toán $T^{(i)}(x)$ đồng thời trên các lõi vi xử lý độc lập.
  4. Thuật toán hoàn toàn độc lập với hằng số $(\eta, L)$: Dãy bước lặp $\lambda_k \in (0, 1)$ chỉ cần thỏa mãn hai điều kiện cổ điển cực kỳ lỏng là $\lim_{k\to\infty} \lambda_k = 0$ và $\sum_{k=1}^\infty \lambda_k = \infty$ (ví dụ chọn $\lambda_k = 1/k$ hoặc $\lambda_k = 1/\sqrt{k}$), loại bỏ yêu cầu phải ước lượng tham số $\rho \in (0, 2\eta/L^2)$.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp khung lý thuyết hoàn chỉnh cho giải tích biến phân trong không gian Banach, tạo cầu nối vững chắc giữa lý thuyết điểm bất động và lý thuyết tối ưu hóa phi tuyến.
  • Về mặt phương pháp luận: Chuẩn hóa quy trình sử dụng Giới hạn Banach và Bổ đề Suzuki như một công cụ mẫu mực để xử lý các bài toán hội tụ mạnh trong giải tích hàm.
  • Về mặt ứng dụng thực tiễn: Cung cấp thuật toán tối ưu hóa phân tán có độ phức tạp tính toán thấp, ứng dụng trực tiếp vào việc điều khiển công suất mạng viễn thông CDMA thế hệ mới và thuật toán định tuyến cân bằng tải trong mạng máy tính diện rộng.

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn nghiên cứu:

  • Ràng buộc không gian: Kết quả đòi hỏi chuẩn của không gian Banach phải khả vi Gâteaux đều và lồi chặt; chưa bao quát các không gian phi lồi hoặc không gian metric tổng quát (như không gian Hadamard $CAT(0)$).
  • Độ trơn của toán tử: Ánh xạ $F$ vẫn cần điều kiện $\gamma$-giả co chặt và $j$-đơn điệu mạnh; chưa xử lý được lớp toán tử đơn điệu thuần túy (monotone) hoặc giả đơn điệu (pseudomonotone).
  • Tốc độ hội tụ tiệm cận: Luận án mới chứng minh sự hội tụ định tính mà chưa thiết lập được đánh giá tốc độ hội tụ định lượng chính xác (convergence rate dạng $O(1/k)$ hay $O(1/k^2)$).

Chương trình nghiên cứu 10 năm tiếp theo được vạch ra:

  1. Mở rộng các lược đồ lặp $\tilde{S}_k$ sang cấu trúc đa tạp Riemann và không gian phi tuyến $CAT(\kappa)$.
  2. Nghiên cứu thuật toán cho các bao hàm thức biến phân với toán tử đa trị (multi-valued maximal monotone mappings).
  3. Phát triển các biến thể ngẫu nhiên (Stochastic Hybrid Steepest Descent Methods) phục vụ huấn luyện mô hình học máy quy mô cực lớn (Big Data Optimization).
  4. Xây dựng gói phần mềm mã nguồn mở chuyên dụng cho tính toán song song các bài toán biến phân phi tuyến.

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

  • Tác động học thuật: Các kết quả cốt lõi của luận án đã được công bố trên các tạp chí toán học uy tín quốc tế thuộc danh mục ISI/Scopus và báo cáo tại các Hội nghị Tối ưu và Tính toán Khoa học toàn quốc. Luận án tạo tiền đề cho hàng loạt trích dẫn trong lĩnh vực giải tích phi tuyến và tối ưu hóa vô hạn chiều.
  • Chuyển giao công nghệ thuật toán: Mô hình phân phối băng thông và kiểm soát công suất phát triển trong luận án cung cấp giải pháp thuật toán cho các viện nghiên cứu viễn thông và các kỹ sư phát triển giao thức mạng truyền thông thế hệ mới (5G/6G).
  • Giá trị đào tạo: Đóng vai trò tài liệu tham khảo chuẩn mực cho các khóa đào tạo tiến sĩ, thạc sĩ chuyên ngành Giải tích toán học và Toán ứng dụng tại Việt Nam.

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

  • Nghiên cứu sinh và học giả: Tiếp cận hệ thống bổ đề hoàn chỉnh, phương pháp chứng minh mẫu mực và các hướng nghiên cứu mở có chiều sâu.
  • Nhà toán học giải tích: Kế thừa khung phân tích để mở rộng sang các lớp toán tử tổng quát hơn.
  • Kỹ sư R&D Viễn thông và Khoa học dữ liệu: Ứng dụng trực tiếp thuật toán song song vào các bài toán xử lý tín hiệu số, cân bằng mạng và tối ưu hóa lồi phân tán.

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 mở rộng thành công phương pháp lai ghép hướng dốc nhất của Yamada (2001) lên không gian Banach phản xạ, lồi chặt và có chuẩn khả vi Gâteaux đều cho họ vô hạn các ánh xạ không giãn mà loại bỏ hoàn toàn yêu cầu về tính liên tục yếu theo dãy của ánh xạ đối ngẫu chuẩn tắc $j$ và điều kiện giao hoán trên tập điểm bất động.

2. Phương pháp luận của luận án có gì đột phá khi so sánh với 2 nghiên cứu quốc tế tiêu biểu? So với nghiên cứu của Ceng et al. (2008, J. Math. Anal. Appl.), luận án không bị giới hạn trong không gian dãy $l_p$ mà áp dụng thành công cho không gian hàm $L_p[a, b]$. So với nghiên cứu của Chidume et al. (2011), luận án giải phóng hoàn toàn điều kiện bước lặp $\rho$ phụ thuộc vào các hằng số $(d_q, \eta, L)$ và thay thế cấu trúc tuần tự bằng lược đồ lặp có khả năng tính toán song song.

3. Phát hiện bất ngờ nhất có dữ liệu minh chứng là gì? Phát hiện bất ngờ nhất là việc cấu trúc toán tử trung bình trọng số $\tilde{S}k = \sum{i=1}^k \frac{s_i}{\tilde{s}_k} T^{(i)}$ dù có dạng biểu thức đơn giản hơn nhiều so với toán tử khối $W_k$ của Iemoto & Takahashi (2008) nhưng lại đạt tốc độ hội tụ số nhanh hơn gấp 4.45 lần về số bước lặp và giảm $68.4%$ thời gian tính toán CPU khi số lượng ánh xạ lớn ($N = 500$).

4. Luận án có cung cấp quy trình tái lập (replication protocol) không? Có. Toàn bộ các bước thuật toán lặp $(2.1)$, công thức xác định dãy tham số bước ${\lambda_k}$, hệ số trọng số ${s_i}$, các bước tính toán song song và mã giả mô phỏng số trên bài toán phân phối băng thông mạng truyền thông đều được trình bày chi tiết tại Chương 2 và Chương 3, đảm bảo khả năng tái lập độc lập hoàn toàn.

5. Lộ trình nghiên cứu 10 năm được vạch ra như thế nào? Lộ trình tập trung vào 4 hướng chiến lược: (i) Mở rộng sang không gian metric phi lồi $CAT(0)$, (ii) Tích hợp kỹ thuật bước ngẫu nhiên (Stochastic schemes) cho học sâu, (iii) Xử lý toán tử đơn điệu đa trị trong không gian vô hạn chiều, và (iv) Tối ưu hóa phân tán trên mạng tính toán đám mây.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Song Hà đã mang lại những đóng góp khoa học đặc biệt xuất sắc:

  1. Xây dựng thành công ba lớp toán tử trung bình trọng số mới $\tilde{S}_k, \hat{S}_k, \bar{S}_k$ với cấu trúc giải tích đơn giản và hỗ trợ xử lý song song.
  2. Thiết lập các thuật toán lặp dạng hiện lai ghép hướng dốc nhất giải bài toán $\text{VIP}^*(F, C)$ với họ vô hạn các ánh xạ không giãn trong không gian Banach.
  3. Chứng minh định lý hội tụ mạnh tổng quát, giải quyết triệt để hạn chế về tính liên tục yếu theo dãy của ánh xạ đối ngẫu chuẩn tắc $j$.
  4. Loại bỏ hoàn toàn giả thiết giao hoán ngặt và sự phụ thuộc vào các tham số hình học khó ước lượng $(\eta, L)$.
  5. Mở rộng ứng dụng giải quyết bài toán tìm không điểm chung của họ vô hạn các toán tử $j$-đơn điệu cực đại.
  6. Chứng minh tính ưu việt định lượng của thuật toán thông qua thực nghiệm số trên bài toán công nghệ phân phối băng thông viễn thông.

Công trình tạo nên một bước tiến quan trọng trong chuyên ngành Toán giải tích, khẳng định năng lực hội nhập đỉnh cao của toán học giải tích Việt Nam trên trường quốc tế.