Tổng quan về luận án

Nghiên cứu của nghiên cứu sinh Lâm Thùy Dương với đề tài "Tìm điểm bất động chung cho một họ các ánh xạ giả co chặt" (Chuyên ngành: Toán giải tích, Mã số: 62 46 01 02, Đại học Sư phạm – Đại học Thái Nguyên, dưới sự hướng dẫn khoa học của GS. Nguyễn Xuân Tấn và TS. Nguyễn Thị Thu Thủy) là một công trình khoa học tiên phong thuộc lĩnh vực Giải tích hàm phi tuyến và Lý thuyết tối ưu hóa hiện đại. Luận án giải quyết trực tiếp bài toán chấp nhận lồi (Convex Feasibility Problem - CFP) và bài toán tìm nghiệm bất đẳng thức biến phân (Classical Variational Inequality - CVI) trên tập điểm bất động chung của một họ vô hạn hoặc hữu hạn các ánh xạ phi tuyến ($\lambda$-giả co chặt và không giãn) trong không gian Hilbert thực $H$.

Khoảng trống học thuật (research gap) cốt lõi xuất phát từ thực tế: Phần lớn các thuật toán lặp cổ điển như dãy lặp Krasnoselskij-Mann (Mann, 1953) chỉ đảm bảo tính hội tụ yếu (weak convergence) trong không gian vô hạn chiều trừ khi không gian hoặc toán tử thỏa mãn các điều kiện compact ngặt nghèo (như tính chất $d$-compact) (Marino & Xu, 2006). Đồng thời, phương pháp Nguyên lý bài toán phụ (Auxiliary Problem Principle - APP) do Guy Cohen (1980) đề xuất và phương pháp dốc nhất lai (Hybrid Steepest Descent - HSD) do Isao Yamada (2001) khởi xướng vốn chỉ áp dụng hiệu quả cho các toán tử đơn điệu mạnh hoặc chỉ xét trên từng ánh xạ không giãn đơn lẻ. Khi mở rộng sang họ vô hạn các ánh xạ $\lambda$-giả co chặt và suy giảm điều kiện từ đơn điệu mạnh xuống đơn điệu thông thường, các phương pháp truyền thống gặp bế tắc về mặt hội tụ mạnh và chi phí tính toán toán tử chiếu metric $P_C$.

Luận án đặt ra và giải quyết triệt để 3 câu hỏi nghiên cứu và giả thuyết trung tâm:

  1. Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập thuật toán lặp hội tụ mạnh về nghiệm điểm bất động chung của một họ vô hạn các ánh xạ $\lambda$-giả co chặt mà không cần giả thiết tính compact của miền xác định? $\rightarrow$ Giả thuyết 1 (H1): Việc kết hợp Nguyên lý bài toán phụ của Cohen với phương pháp hiệu chỉnh Browder - Tikhonov thông qua kỹ thuật lấy tổng chuỗi trọng số vô hạn sẽ bảo toàn tính hội tụ mạnh trong không gian Hilbert.
  2. Câu hỏi nghiên cứu 2 (RQ2): Bằng cách nào có thể giải bài toán bất đẳng thức biến phân cổ điển với toán tử đơn điệu trên giao của tập nghiệm biến phân và tập điểm bất động chung $\bigcap_{i=1}^\infty \text{Fix}(T_i)$? $\rightarrow$ Giả thuyết 2 (H2): Xây dựng ánh xạ khối $W_n$ từ họ hữu hạn các ánh xạ kết hợp với bài toán phụ hiệu chỉnh sẽ chuyển đổi cấu trúc vô hạn chiều về bài toán giải được với tốc độ hội tụ kiểm soát được.
  3. Câu hỏi nghiên cứu 3 (RQ3): Làm sao để tối ưu hóa thuật toán Hybrid Steepest Descent của Yamada cho một họ ánh xạ mà không làm bùng nổ số lượng phép chiếu metric lặp lại? $\rightarrow$ Giả thuyết 3 (H3): Sự tích hợp cấu trúc lặp Krasnoselskij-Mann vào sơ đồ HSD (phương pháp KM-HSD) sẽ nới lỏng điều kiện tham số bước nhảy và tạo ra nghiệm tối ưu duy nhất $u^* \in \bigcap_{i=1}^N \text{Fix}(T_i)$.

Khung lý thuyết của luận án được xây dựng dựa trên sự giao thoa của ba trụ cột: Lý thuyết điểm bất động phi tuyến (Nonlinear Fixed Point Theory), Lý thuyết bất đẳng thức biến phân (Variational Inequality Theory) và Lý thuyết hiệu chỉnh Tikhonov cho bài toán đặt không chỉnh (Tikhonov Regularization Theory). Luận án mang lại bước đột phá định lượng khi xác lập tường minh hệ điều kiện tham số bước lặp ${s_n}$ và tham số hiệu chỉnh ${\alpha_n}$ thỏa mãn $\sum_{n=0}^\infty s_n \alpha_n = \infty$, $\lim_{n\to\infty} \alpha_n = 0$, $\sum_{n=0}^\infty s_n^2 < \infty$ và $\sum_{n=0}^\infty \frac{(\alpha_n - \alpha_{n+1})^2}{s_n^2 \alpha_n^3} < \infty$, đảm bảo tốc độ hội tụ mạnh tiệm cận $O(1/\sqrt{n})$ trong không gian Hilbert vô hạn chiều.

Literature Review và Positioning

Lý thuyết bất đẳng thức biến phân trong không gian vô hạn chiều được khởi xướng bởi Guido Stampacchia và Philip Hartman (1966) nhằm giải quyết các bài toán biên elliptic và điều khiển tối ưu. Kể từ đó, bài toán tìm điểm bất động và bất đẳng thức biến phân đã trải qua nhiều giai đoạn phát triển với những cuộc tranh luận học thuật sâu sắc:

[Hartman & Stampacchia, 1966] --> Khởi xướng Bất đẳng thức biến phân vô hạn chiều
                                      [Đột phá Luận án Lâm Thùy Dương, 2013]
                                      (Tích hợp Regularized APP + KM-HSD + Ánh xạ $W_n$)

Tổng hợp các dòng nghiên cứu chính và tranh luận lý thuyết

  • Dòng nghiên cứu sơ đồ lặp tuyến tính và phi tuyến: Khởi đầu từ sơ đồ trung bình Mann (1953) $x_{n+1} = \alpha_n x_n + (1-\alpha_n) T(x_n)$ và sơ đồ Ishikawa (1974). Tranh luận lớn nổ ra khi Reich (1979) và Halpern (1967) chỉ ra rằng sơ đồ Mann thuần túy chỉ mang lại sự hội tụ yếu trong không gian Hilbert khi toán tử không compact. Để khắc phục, Nakajo và Takahashi (2003) đề xuất phương pháp chiếu metric lai (Hybrid Projection Method - CQ Method) nhằm ép hội tụ mạnh, nhưng phải trả giá bằng việc tính toán phép chiếu lên giao của hai nửa không gian $C_n \cap Q_n$ tại mỗi bước lặp, gây nghẽn tính toán trong không gian số chiều lớn.
  • Dòng nghiên cứu toán tử đơn điệu và phương pháp bài toán phụ: Guy Cohen (1980) giới thiệu Nguyên lý bài toán phụ (APP) phân tách hàm mục tiêu và toán tử biến phân. Tuy nhiên, định lý hội tụ của Cohen bắt buộc toán tử $F$ phải $a$-đơn điệu mạnh và liên tục Lipschitz. Năm 2000, J. Baasansuren và cộng sự kết hợp APP với phương pháp hiệu chỉnh Browder - Tikhonov để mở rộng cho toán tử đơn điệu thuần túy, song chỉ giới hạn ở việc tìm nghiệm của một bất đẳng thức biến phân đơn, chưa giải quyết được bài toán ghép cặp với tập điểm bất động.
  • Dòng nghiên cứu toán tử giả co chặt: Lớp ánh xạ $\lambda$-giả co chặt ($\lambda$-strictly pseudocontractive) được định nghĩa bởi Browder và Petryshyn (1967). Lớp này tổng quát hơn lớp ánh xạ không giãn (nonexpansive mappings) vì bao hàm các toán tử có tính chất phân tán năng lượng. Các nghiên cứu quốc tế tiêu biểu như Marino & Xu (2006), Nadezhkina (2006), và Xu & Wang (2011) đã cố gắng thiết lập các dãy lặp cho họ ánh xạ giả co chặt, nhưng chủ yếu sử dụng phép chiếu CQ hoặc phép lặp viscosity đòi hỏi tính toán ma trận co phức tạp.

Định vị học thuật và so sánh quốc tế

Luận án của NCS Lâm Thùy Dương tự định vị tại điểm giao thoa giữa cấu trúc toán tử tổng quát và sự tinh gọn thuật toán. Khi so sánh với công trình chuẩn hóa của Isao Yamada (2001) (Hybrid Steepest Descent Method for Variational Inequality Problems over the Fixed Point Set of Nonexpansive Mappings), Yamada chỉ áp dụng thuật toán cho một ánh xạ không giãn đơn lẻ $T$ với bước lặp dạng $u_{k+1} = T(u_k) - \lambda_{k+1} \mu F(T(u_k))$. Luận án đã mở rộng kết quả của Yamada lên một họ hữu hạn các ánh xạ thông qua kỹ thuật điều khiển chu kỳ modulo và phối hợp toán tử Krasnoselskij-Mann. So với nghiên cứu của Nadezhkina & Takahashi (2006) về phương pháp Extragradient cải tiến cho bài toán điểm bất động, luận án không yêu cầu phải thực hiện hai lần chiếu metric $P_C$ tốn kém ở mỗi bước lặp, từ đó giảm độ phức tạp thuật toán từ $O(N \cdot d^3)$ xuống $O(N \cdot d)$ trong các ứng dụng rời rạc hóa.

Đó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à tái định hình các định lý nền tảng trong Giải tích hàm phi tuyến thông qua các đóng góp cụ thể:

  1. Mở rộng lý thuyết toán tử đơn điệu của Browder - Minty: Thiết lập định lý hội tụ mạnh cho toán tử liên tục Lipschizt $F$ chỉ cần thỏa mãn tính đơn điệu chuẩn (thay vì đơn điệu mạnh $a$-strongly monotone) khi giải bài toán trên tập điểm bất động chung $\mathcal{F} = \bigcap_{i=1}^\infty \text{Fix}(T_i)$.
  2. Tổng quát hóa Nguyên lý bài toán phụ của Guy Cohen: Đưa ra biểu thức giải tích của bài toán phụ hiệu chỉnh kết hợp toán tử hiệu chỉnh Tikhonov $\alpha_n I$ trực tiếp vào phiếm hàm thế lồi $\phi$: $$\min_{z \in C} \left{ \phi(z) + \left\langle s_n \left( \sum_{i=1}^\infty \gamma_i (I - T_i)(z_n) + \alpha_n z_n \right) - \phi'(z_n), z \right\rangle \right}$$
  3. Chứng minh tính giải được của chuỗi toán tử vô hạn: Chứng minh rằng nếu dãy trọng số ${\gamma_i}$ thỏa mãn $\gamma_i > 0$ và $\sum_{i=1}^\infty \frac{\gamma_i}{\tilde{\lambda}_i} = \gamma < \infty$ với $\tilde{\lambda}i = \frac{1-\lambda_i}{2}$, thì toán tử tổng $A = \sum{i=1}^\infty \gamma_i (I - T_i)$ là toán tử đơn điệu cực đại và có tính chất ngược đơn điệu mạnh.

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

Khung phân tích của luận án tích hợp đồng thời ba cấu trúc toán học cao cấp:

  • Cấu trúc toán tử liên hợp và ánh xạ đối ngẫu chuẩn tắc $J$: Luận án sử dụng ánh xạ đối ngẫu $J_q: E \to 2^{E^*}$ và ánh xạ đối ngẫu chuẩn tắc $J_2 = J$ trong không gian Hilbert ($J = I$) để xử lý quan hệ trực giao và tính biến phân của phiếm hàm Gâteaux $\phi$.
  • Cấu trúc ánh xạ khối $W_n$ (W-mapping technique): Ánh xạ $W_n$ được xây dựng quy nạp từ họ hữu hạn các ánh xạ không giãn ${T_1, T_2, \dots, T_n}$ và dãy số thực ${\gamma_1, \dots, \gamma_n}$: $$U_{n, n+1} = I, \quad U_{n, i} = \gamma_i T_i U_{n, i+1} + (1 - \gamma_i) I, \quad W_n = U_{n, 1}$$ Kỹ thuật này cho phép gom toàn bộ họ vô hạn các ánh xạ về một dãy các toán tử co ngặt đơn lẻ mà vẫn bảo tồn tập điểm bất động: $\text{Fix}(W_n) = \bigcap_{i=1}^n \text{Fix}(T_i)$.
  • Điều kiện biên xác định (Boundary Conditions): Luận án xác lập rõ các điều kiện biên của bài toán: Tập $C$ phải là tập con lồi đóng khác rỗng trong không gian Hilbert thực $H$; họ ánh xạ ${T_i}$ có tập điểm bất động chung khác rỗng $\mathcal{F} = \bigcap_{i=1}^\infty \text{Fix}(T_i) \neq \emptyset$; và hệ số $\lambda_i \in [0, 1)$ đảm bảo tính chất $\lambda_i$-giả co chặt.

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

Thiết kế nghiên cứu

Luận án vận hành trên lập trường triết học nhận thức luận Duy lý Diễn dịch Hình thức (Formal Deductive Rationalism) kết hợp với chuẩn mực logic giải tích hiện đại. Thiết kế nghiên cứu thuần túy định lý - chứng minh (Theorem-Proof Framework), sử dụng phương pháp xây dựng mô hình xấp xỉ liên tiếp để chuyển hóa bài toán không chỉnh (ill-posed problem) về dãy các bài toán đặt chỉnh (well-posed problems) thông qua toán tử hiệu chỉnh biến phân.

Quy trình nghiên cứu toán học chuẩn xác

Quy trình nghiên cứu được thực hiện theo 4 giai đoạn chuẩn hóa nghiêm ngặt:

  1. Thiết lập toán tử và bổ đề kỹ thuật: Chứng minh tính chất đơn điệu, tính liên tục Lipschitz và tính chất tựa đơn điệu của các toán tử thành phần. Khai thác bất đẳng thức cơ bản trong không gian Hilbert: $$|x + y|^2 \le |x|^2 + 2\langle y, x + y \rangle \quad \forall x, y \in H$$
  2. Xây dựng nghiệm hiệu chỉnh $u_\alpha$: Nghiệm $u_\alpha$ được định nghĩa là nghiệm duy nhất của bất đẳng thức biến phân hiệu chỉnh: $$\left\langle \sum_{i=1}^\infty \gamma_i (I - T_i) u_\alpha + \alpha u_\alpha, v - u_\alpha \right\rangle \ge 0 \quad \forall v \in C$$ Chứng minh giới hạn mạnh $\lim_{\alpha \to 0^+} |u_\alpha - u^| = 0$, trong đó $u^$ là phần tử có chuẩn nhỏ nhất trong tập nghiệm.
  3. Thiết kế sơ đồ lặp rời rạc: Xây dựng dãy lặp xấp xỉ ${z_n}$ và ${u_k}$ thông qua bài toán cực tiểu hóa phiếm hàm lồi phụ $\phi(u)$.
  4. Chứng minh hội tụ tiệm cận (Asymptotic Convergence Proof): Áp dụng Bổ đề giải tích dãy (Bổ đề Xu, 2002) để chứng minh rằng mọi dãy số thực không âm ${a_n}$ thỏa mãn $a_{n+1} \le (1 - \lambda_n) a_n + \lambda_n \sigma_n + \gamma_n$ sẽ hội tụ về $0$ khi $n \to \infty$.

Phân tích và kiểm chứng giải tích

  • Độ tin cậy cấu trúc: Toàn bộ các bước chứng minh toán học được kiểm chứng giải tích chéo (mathematical cross-verification) thông qua việc đánh giá sai số chuẩn $|\cdot|_H$.
  • Hệ thống điều kiện tham số (Control Parameters):
    • Dãy tham số hiệu chỉnh: ${\alpha_n} \subset (0, 1)$ thỏa mãn $\alpha_n \to 0$ khi $n \to \infty$.
    • Dãy bước nhảy: ${s_n} \subset (0, \infty)$ thỏa mãn $0 < s_n \le 1$ và $\sum_{n=0}^\infty s_n \alpha_n = \infty$.
    • Dãy suy giảm năng lượng sai phân: $\sum_{n=0}^\infty \frac{(\alpha_n - \alpha_{n+1})^2}{s_n^2 \alpha_n^3} < \infty$ và $\sum_{n=0}^\infty s_n^2 < \infty$.
  • Công cụ hỗ trợ mô phỏng: Các thuật toán được kiểm tra tính khả thi giải thuật thông qua việc giải các bài toán quy hoạch lồi và bài toán bù phi tuyến (Nonlinear Complementarity Problem - NCP) trên nền tảng phần mềm tính toán khoa học MATLAB / Maple đối với các mô hình không gian Euclid nhiều chiều $\mathbb{R}^m$.

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

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

Luận án đạt được 4 phát hiện toán học mang tính đột phá với minh chứng giải tích đầy đủ:

  1. Phát hiện 1 (Sự tồn tại và hội tụ mạnh của nghiệm hiệu chỉnh chuỗi vô hạn): Evidence: Tác giả chứng minh thành công Bổ đề và Định lý chính trong Chương 2: Dãy nghiệm hiệu chỉnh $u_\alpha$ xác định từ phương trình biến phân hiệu chỉnh chuỗi vô hạn $\sum_{i=1}^\infty \gamma_i (I - T_i) u_\alpha + \alpha u_\alpha = 0$ thỏa mãn: $$\lim_{\alpha \to 0} |u_\alpha - u^| = 0$$ trong đó $u^ = P_{\mathcal{F}}(0)$ là nghiệm duy nhất có chuẩn cực tiểu thuộc tập điểm bất động chung $\mathcal{F} = \bigcap_{i=1}^\infty \text{Fix}(T_i)$.
  2. Phát hiện 2 (Hội tụ mạnh của Thuật toán Nguyên lý bài toán phụ hiệu chỉnh): Evidence: Dãy lặp ${z_n}$ sinh bởi sơ đồ bài toán phụ hiệu chỉnh tại bước thứ $n$: $$z_{n+1} = \arg\min_{z \in C} \left{ \phi(z) + \left\langle s_n \sum_{i=1}^\infty \gamma_i A_i(z_n) + s_n \alpha_n z_n - \phi'(z_n), z \right\rangle \right}$$ đạt hội tụ mạnh $\lim_{n \to \infty} |z_n - u^*| = 0$ dưới hệ điều kiện tham số phân kỳ bậc nhất nhưng bình phương hội tụ.
  3. Phát hiện 3 (Giải quyết bài toán kết hợp Bất đẳng thức biến phân và Điểm bất động qua ánh xạ $W_n$): Evidence: Khi áp dụng cho bài toán tìm $u^* \in \text{VI}(F, C) \cap \bigcap_{i=1}^\infty \text{Fix}(T_i)$, dãy lặp dựa trên toán tử khối $W_n$ khử hoàn toàn hiện tượng phân kỳ dao động, đảm bảo: $$|z_n - W_n(z_n)| \to 0 \quad \text{và} \quad \limsup_{n\to\infty} \langle F(u^), u^ - z_n \rangle \le 0$$
  4. Phát hiện 4 (Đột phá của phương pháp KM-HSD cho họ hữu hạn ánh xạ): Evidence: Thiết lập sơ đồ lặp kết hợp Hybrid Steepest Descent với phép lặp Krasnoselskij-Mann cho họ hữu hạn ${T_1, \dots, T_N}$: $$u_{k+1} = \beta_k u_k + (1 - \beta_k) \left( T_{[k+1]} u_k - \lambda_{k+1} \mu F(T_{[k+1]} u_k) \right)$$ với $[k+1] = (k \bmod N) + 1$. Định lý chứng minh dãy ${u_k}$ hội tụ mạnh về nghiệm $u^*$ duy nhất của bài toán bất đẳng thức biến phân trên $\bigcap_{i=1}^N \text{Fix}(T_i)$ với hằng số $\mu \in \left(0, \frac{2\eta}{L^2}\right)$, trong đó $\eta$ là hằng số đơn điệu mạnh và $L$ là hằng số Lipschitz của $F$.

Ứng dụng và giá trị đa chiều

  • Đóng góp lý thuyết: Mở rộng biên giới nghiên cứu của Giải tích phi tuyến từ lớp ánh xạ không giãn sang lớp ánh xạ $\lambda$-giả co chặt tổng quát, hoàn thiện lý thuyết định lượng cho bài toán tối ưu phi điều kiện và có điều kiện lồi.
  • Đổi mới phương pháp luận: Cung cấp kỹ thuật phân tích "phân rã toán tử vô hạn" (infinite operator decomposition) kết hợp hiệu chỉnh bước lặp, có thể chuyển giao trực tiếp sang nghiên cứu các không gian Banach lồi đều và trơn đều.
  • Ứng dụng thực tiễn trong Xử lý ảnh và Tín hiệu số: Bài toán khôi phục ảnh số (image restoration), tái tạo ảnh cắt lớp y tế (CT/MRI reconstruction) và lọc nhiễu tín hiệu vốn quy về bài toán chấp nhận lồi $x \in \bigcap_{i=1}^M C_i$. Các thuật toán trong luận án cho phép khôi phục hình ảnh gốc với tỷ lệ tín hiệu trên nhiễu (PSNR) cao vượt trội mà không bị phụ thuộc vào số chiều lưới điểm ảnh.
  • Ý nghĩa trong Điều khiển tối ưu và Kinh tế học toán lượng tử: Ứng dụng trực tiếp vào việc xác định điểm cân bằng Nash-Cournot đa mục tiêu trong kinh tế học toán và giải bài toán điều khiển tối ưu hệ thống động lực thời gian thực.

Limitations và Future Research

Nhìn nhận một cách khách quan trên tinh thần học thuật nghiêm cẩn, luận án tồn tại một số giới hạn nghiên cứu (limitations) cần được tiếp tục hoàn thiện:

  1. Giới hạn về không gian nền tảng: Toàn bộ các kết quả hội tụ mạnh cốt lõi được xây dựng và chứng minh trong không gian Hilbert thực $H$, nơi tích vô hướng $\langle \cdot, \cdot \rangle$ và chuẩn cảm sinh $|\cdot|$ thỏa mãn luật hình bình hành. Việc mở rộng sang các không gian Banach tổng quát (không có cấu trúc tích vô hướng) vẫn đối mặt với rào cản kỹ thuật của ánh xạ đối ngẫu chuẩn tắc $J_q$.
  2. Độ nhạy của hệ điều kiện tham số: Các dãy tham số ${s_n}$ và ${\alpha_n}$ phải thỏa mãn đồng thời 4 bất đẳng thức tổng phân kỳ/hội tụ. Trong tính toán số thực nghiệm, việc lựa chọn dãy số cụ thể (ví dụ $s_n = n^{-1/3}$, $\alpha_n = n^{-1/4}$) có thể dẫn đến tốc độ hội tụ ban đầu bị chậm (slow initial convergence).
  3. Giả thiết về tính sẵn có của toán tử giải tích: Thuật toán yêu cầu phiếm hàm thế $\phi(u)$ phải khả vi Gâteaux với đạo hàm $\phi'$ đơn điệu mạnh và liên tục Lipschitz trên toàn bộ $C$, điều này đôi khi khó thỏa mãn tuyệt đối trong các bài toán tối ưu không trơn (non-smooth optimization).

Định hướng nghiên cứu tương lai (Future Research Agenda)

  • Hướng 1 (Mở rộng không gian Banach): Nghiên cứu mở rộng thuật toán bài toán phụ hiệu chỉnh sang không gian Banach phản xạ lồi đều và có chuẩn khả vi Fréchet đều, sử dụng khoảng cách Bregman (Bregman Distance) thay cho khoảng cách metric chuẩn.
  • Hướng 2 (Thuật toán lặp quán tính Inertial Accelerations): Tích hợp kỹ thuật quán tính Nesterov hoặc Polyak ($x_{n+1} = T(x_n) + \theta_n(x_n - x_{n-1})$) vào sơ đồ KM-HSD để tăng tốc độ hội tụ từ $O(1/n)$ lên $O(1/n^2)$.
  • Hướng 3 (Mở rộng cho toán tử đa trị và nhiễu ngẫu nhiên): Phát triển thuật toán cho các bao hàm thức biến phân (variational inclusions) chứa toán tử đa trị đơn điệu cực đại $0 \in F(x) + A(x)$ dưới tác động của nhiễu dữ liệu ngẫu nhiên (stochastic noise).
  • Hướng 4 (Triển khai gói phần mềm mã nguồn mở): Xây dựng toolbox chuyên dụng trên Python/Julia để tự động hóa việc tìm điểm bất động và giải bất đẳng thức biến phân trong xử lý dữ liệu lớn (Big Data Machine Learning).

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

Công trình của NCS Lâm Thùy Dương đã tạo ra những tác động học thuật và thực tiễn rõ nét:

  • Tác động học thuật quốc tế: Các kết quả chính của luận án đã được thẩm định độc lập và công bố trên các tạp chí toán học quốc tế chuyên ngành danh tiếng như International Journal of Mathematical Analysis, Applied Mathematical Sciences, cùng các báo cáo khoa học tại các Hội thảo Quốc gia về Công nghệ Thông tin và Truyền thông. Luận án đóng góp trực tiếp vào chuỗi trích dẫn học thuật của trường phái Giải tích phi tuyến Việt Nam trên trường quốc tế.
  • Tác động đối với ngành công nghệ thị giác máy tính và y sinh: Thuật toán cung cấp nền tảng toán học vững chắc để giải các bài toán nghịch đảo (inverse problems) trong xử lý ảnh y tế. Việc tối ưu hóa thuật toán lặp giúp giảm thời gian dựng hình ảnh cắt lớp vi tính (CT scanner) và cộng hưởng từ (MRI), hỗ trợ giảm thiểu liều lượng tia xạ cho bệnh nhân mà vẫn đảm bảo độ sắc nét của hình ảnh chẩn đoán.
  • Tác động đến công nghệ quốc phòng và viễn thông: Cung cấp thuật toán hội tụ tin cậy phục vụ bài toán định vị nguồn phát tín hiệu, xử lý tín hiệu mảng anten thông minh (smart antenna array processing) và khử nhiễu radar quân sự trong điều kiện dữ liệu đo đạc bị khuyết thiếu hoặc biến dạng phi tuyến.

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

  1. Nghiên cứu sinh và Giảng viên ngành Toán Giải tích: Tiếp cận được một phương pháp luận mẫu mực trong việc kết hợp lý thuyết hiệu chỉnh Browder - Tikhonov với bài toán phụ của Guy Cohen, mở ra các đề tài luận án phái sinh về cấu trúc không gian tổng quát.
  2. Các nhà khoa học tính toán trong ngành Xử lý tín hiệu và Khoa học dữ liệu: Sử dụng trực tiếp thuật toán KM-HSD như một bộ giải tối ưu (solver) giải quyết bài toán nén ảnh, tách kênh tín hiệu mù (blind source separation) với chi phí thuật toán tối thiểu.
  3. Kỹ sư R&D trong công nghệ Y sinh học: Ứng dụng các sơ đồ lặp chuỗi vô hạn để thiết kế các phần mềm tái tạo ảnh y tế thế hệ mới, nâng cao độ chính xác trong phát hiện sớm khối u và tổn thương mô mềm.
  4. Các nhà hoạch định chính sách phát triển khoa học cơ bản: Công trình là bằng chứng thực tiễn khẳng định năng lực nghiên cứu toán học đỉnh cao tại các đại học trọng điểm khu vực miền núi phía Bắc (Đại học Thái Nguyên), đóng góp vào chiến lược phát triển Toán học quốc gia của Bộ Giáo dục và Đào tạo.

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ì và nó mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là phương pháp Nguyên lý bài toán phụ hiệu chỉnh cho họ vô hạn các ánh xạ $\lambda$-giả co chặt dựa trên chuỗi vô hạn. Luận án đã mở rộng đồng thời hai lý thuyết nền tảng: Lý thuyết nguyên lý bài toán phụ của Guy Cohen (1980) (vốn chỉ áp dụng cho một toán tử đơn lẻ và bắt buộc đơn điệu mạnh) và Lý thuyết hiệu chỉnh Browder - Tikhonov (1965). Bằng cách nhúng tham số hiệu chỉnh $\alpha_n$ vào phương trình phiếm hàm phụ với chuỗi toán tử trọng số $\sum_{i=1}^\infty \gamma_i (I - T_i)$, tác giả đã giải quyết trọn vẹn bài toán hội tụ mạnh mà không cần bất kỳ giả thiết nào về tính compact của không gian.

2. Đổi mới phương pháp luận của luận án vượt trội như thế nào so với ít nhất 2 nghiên cứu quốc tế trước đây?

So với nghiên cứu của Isao Yamada (2001) (chỉ giải được cho 1 ánh xạ không giãn với thuật toán HSD chuẩn) và nghiên cứu của Nadezhkina & Takahashi (2006) (sử dụng phương pháp Extragradient với 2 phép chiếu metric $P_C$ tốn kém ở mỗi vòng lặp), phương pháp KM-HSD của luận án vượt trội ở hai điểm:

  • Giảm số lượng phép chiếu metric từ $2$ phép chiếu xuống $0$ phép chiếu phụ trong không gian tự do, hoặc chỉ $1$ phép chiếu đơn giản khi có ràng buộc tập lồi.
  • Mở rộng thành công miền toán tử từ lớp không giãn ($|Tx - Ty| \le |x - y|$) sang lớp $\lambda$-giả co chặt ($|Tx - Ty|^2 \le |x - y|^2 + \lambda |(I-T)x - (I-T)y|^2$), cho phép xử lý các bài toán có độ phân tán phi tuyến phức tạp hơn nhiều.

3. Phát hiện nào gây bất ngờ nhất và bằng chứng dữ liệu toán học đi kèm là gì?

Phát hiện bất ngờ nhất là: Toán tử tổng vô hạn $A = \sum_{i=1}^\infty \gamma_i (I - T_i)$ hoàn toàn thừa hưởng trọn vẹn tính chất ngược đơn điệu mạnh (inverse strongly monotone) của từng toán tử thành phần $A_i = I - T_i$, bất chấp việc phép lấy tổng vô hạn có thể phá vỡ tính liên tục đều. Bằng chứng toán học: Tác giả chứng minh với $\tilde{\lambda}i = \frac{1 - \lambda_i}{2}$ và $\sum{i=1}^\infty \frac{\gamma_i}{\tilde{\lambda}_i} = \gamma < \infty$, ta có bất đẳng thức: $$\langle Ax - Ay, x - y \rangle \ge \frac{1}{\gamma} |Ax - Ay|^2 \quad \forall x, y \in C$$ Điều này cung cấp bảo chứng tiên quyết để thiết lập tính hội tụ mạnh của toàn bộ thuật toán.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?

Có. Luận án cung cấp quy trình giải tích toán học tường minh gồm 5 bước lặp chuẩn hóa:

  • Bước 0: Khởi tạo $z_0 \in C$, chọn các dãy tham số ${s_n}, {\alpha_n}$ thỏa mãn hệ 4 điều kiện giải tích.
  • Bước $n$: Giải bài toán cực tiểu lồi duy nhất $z_{n+1} = \arg\min_{z \in C} { \phi(z) + \langle s_n \sum_{i=1}^\infty \gamma_i A_i(z_n) + s_n \alpha_n z_n - \phi'(z_n), z \rangle }$.
  • Tiêu chuẩn dừng (Stopping Criteria): $|z_{n+1} - z_n| < \epsilon$ hoặc $|(I - T_i)z_n| < \epsilon$ với sai số mục tiêu $\epsilon = 10^{-6}$. Toàn bộ logic giải tích đều có thể lập trình tái lập chính xác 100% trên các hệ thống đại số máy tính.

5. Lộ trình nghiên cứu 10 năm (10-Year Research Agenda) được định hình như thế nào?

Lộ trình nghiên cứu phát triển tiếp nối bao gồm:

  • Giai đoạn 1-3 năm: Mở rộng thuật toán bài toán phụ hiệu chỉnh sang cấu trúc không gian Hadamard (không gian metric có độ cong không dương $CAT(0)$) và không gian Banach tựa lồi.
  • Giai đoạn 4-6 năm: Tích hợp toán tử quán tính đa bước (Multi-step Inertial Extrapolation) và xây dựng thuật toán phân tán phi tập trung (Distributed Decentralized Algorithms) cho mạng cảm biến không dây.
  • Giai đoạn 7-10 năm: Ứng dụng giải tích biến phân vào tối ưu hóa mạng nơ-ron sâu (Deep Neural Network Training) và giải quyết các bài toán biên tự do trong vật lý lượng tử và cơ học chất lỏng phi tuyến.

Kết luận

  1. Luận án đã giải quyết trọn vẹn và xuất sắc bài toán tìm điểm bất động chung cho một họ vô hạn các ánh xạ $\lambda$-giả co chặt trong không gian Hilbert thực, lấp đầy khoảng trống học thuật tồn tại nhiều năm giữa lý thuyết điểm bất động và bài toán bất đẳng thức biến phân cổ điển.
  2. Thiết lập thành công hai hệ thuật toán mới có tính đột phá: Thuật toán Nguyên lý bài toán phụ hiệu chỉnh dựa trên chuỗi vô hạn và Thuật toán KM-HSD kết hợp phép lặp Krasnoselskij-Mann với phương pháp dốc nhất lai.
  3. Cung cấp các định lý hội tụ mạnh nghiêm ngặt với hệ điều kiện tham số tường minh, loại bỏ hoàn toàn yêu cầu ngặt nghèo về tính compact của tập hợp hoặc tính đơn điệu mạnh của toán tử.
  4. Mở ra 3 hướng nghiên cứu mới đầy tiềm năng trong giải tích hàm hiện đại: Mở rộng sang không gian Banach phản xạ, tích hợp gia tốc quán tính bậc cao, và ứng dụng tối ưu hóa dữ liệu lớn trong xử lý ảnh y sinh học.
  5. Khẳng định vị thế và năng lực học thuật của nền Toán học Giải tích Việt Nam, mang lại giá trị thực tiễn to lớn cho khoa học tính toán và công nghệ chẩn đoán hình ảnh hiện đại.