Tổng quan luận án
Luận án tiến sĩ toán học của tác giả Trần Việt Anh với đề tài "Phương pháp giải bất đẳng thức biến phân trên tập nghiệm của bài toán chấp nhận tách suy rộng", thuộc chuyên ngành Toán giải tích (mã số: 62460102), được hoàn thành năm 2018 tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội dưới sự hướng dẫn khoa học của GS. Lê Dũng Mưu và PGS. Nguyễn Hữu Điển.
Tính cấp thiết và khoảng trống nghiên cứu
Bài toán bất đẳng thức biến phân (VIP - Variational Inequality Problem) là một mô hình toán học tổng quát, chứa nhiều bài toán quan trọng của toán học ứng dụng như bài toán tối ưu hóa, bài toán bù, bài toán điểm bất động Brouwer, lý thuyết trò chơi và cân bằng mạng lưới giao thông. Trong thực tế, các bài toán như xử lý tín hiệu, khôi phục ảnh và xạ trị điều chỉnh cường độ (IMRT - Intensity-Modulated Radiation Therapy) dẫn đến yêu cầu tìm nghiệm của một bài toán trong không gian Hilbert này sao cho ảnh của nó qua một toán tử tuyến tính bị chặn là nghiệm của một bài toán trong không gian Hilbert khác. Mô hình này được gọi là bài toán chấp nhận tách (SFP - Split Feasibility Problem).
Khi các tập ràng buộc không cho dưới dạng tường minh mà cho dưới dạng tập nghiệm của bài toán điểm bất động, bài toán bất đẳng thức biến phân hoặc bài toán cân bằng, việc xác định hình chiếu trực tiếp lên các tập này không thực hiện được. Dạng bài toán này được gọi là bài toán chấp nhận tách suy rộng. Do bài toán chấp nhận tách suy rộng có thể có vô số nghiệm, việc xây dựng các thuật toán tìm một nghiệm cụ thể (như nghiệm có chuẩn nhỏ nhất) hoặc giải bài toán bất đẳng thức biến phân với tập ràng buộc là tập nghiệm của bài toán chấp nhận tách suy rộng là vấn đề có ý nghĩa lý thuyết và tính toán thực tế. Luận án tập trung giải quyết khoảng trống này bằng cách đề xuất các thuật toán lặp hội tụ mạnh trong không gian Hilbert.
Mục tiêu nghiên cứu
Mục tiêu của luận án là xây dựng và chứng minh sự hội tụ mạnh của các thuật toán giải bài toán bất đẳng thức biến phân trên tập nghiệm của các dạng bài toán chấp nhận tách suy rộng, bao gồm:
- Bài toán bất đẳng thức biến phân đơn điệu mạnh và liên tục Lipschitz trên tập nghiệm của bài toán điểm bất động tách đối với các ánh xạ không giãn.
- Bài toán bất đẳng thức biến phân hai cấp với bài toán cấp trên là đơn điệu mạnh, liên tục Lipschitz và bài toán cấp dưới là bài toán bất đẳng thức biến phân giả đơn điệu, liên tục Lipschitz.
- Bài toán bất đẳng thức biến phân hai cấp với bài toán cấp dưới là bài toán bất đẳng thức biến phân tách của các ánh xạ giá giả đơn điệu, liên tục Lipschitz.
- Bài toán bất đẳng thức biến phân đơn điệu mạnh và liên tục Lipschitz trên tập nghiệm của bài toán chấp nhận tách đa tập hợp.
- Bài toán tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách đối với các song hàm cân bằng giả đơn điệu và thỏa mãn điều kiện kiểu Lipschitz.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Các thuật toán lặp, điều kiện hội tụ mạnh của dãy lặp, các tính chất của toán tử chiếu, ánh xạ không giãn, ánh xạ tựa không giãn, ánh xạ đơn điệu, giả đơn điệu, song hàm cân bằng và các bài toán biến phân phân cấp.
- Phạm vi không gian: Không gian Hilbert thực vô hạn chiều và hữu hạn chiều ($H, H_1, H_2$).
- Phạm vi thời gian và thực nghiệm: Thử nghiệm số trên môi trường phần mềm MATLAB R2012a, so sánh nghiệm tính toán với nghiệm giải tích chính xác.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước
- Lý thuyết và phương pháp giải bài toán bất đẳng thức biến phân:
- Philip Hartman và Guido Stampacchia (1966) công bố những nghiên cứu đầu tiên về bất đẳng thức biến phân gắn với bài toán điều khiển tối ưu và bài toán biên trong phương trình đạo hàm riêng.
- David Kinderlehrer và Guido Stampacchia (1980), Claudio Baiocchi và Antonio Capelo (1984) hệ thống hóa lý thuyết bất đẳng thức biến phân trong không gian vô hạn chiều và ứng dụng biên tự do.
- Về phương pháp giải: B. Martinet đề xuất phương pháp điểm gần kề; Auslender và Fukushima phát triển phương pháp hàm đánh giá; Alan A. Levitin và Boris T. Polyak (1966) đề xuất phương pháp chiếu đạo hàm (Gradient Method) cho tối ưu và được mở rộng cho VIP; Yair Censor cùng đồng nghiệp (2011) giới thiệu phương pháp dưới đạo hàm tăng cường (Subgradient Extragradient Method); Rapeepan Kraikaew và Satit Saejung (2014) kết hợp phương pháp dưới đạo hàm tăng cường và phương pháp Halpern để tạo dãy lặp hội tụ mạnh.
- Bài toán chấp nhận tách và các mở rộng:
- Yair Censor và Tommy Elfving (1994) giới thiệu bài toán chấp nhận tách (SFP) trong không gian Hilbert hữu hạn chiều.
- Charles Byrne (2002) đề xuất thuật toán CQ cho SFP trong không gian hữu hạn chiều; Hong-Kun Xu (2006) mở rộng thuật toán CQ sang không gian Hilbert vô hạn chiều và chứng minh sự hội tụ yếu.
- Lu-Chuan Ceng cùng đồng nghiệp (2012) đề xuất thuật toán tìm nghiệm có chuẩn nhỏ nhất của SFP.
- GS. Nguyễn Bường nghiên cứu thuật toán giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán chấp nhận tách đa tập hợp.
- Bài toán cân bằng và mối liên hệ với điểm bất động:
- Hukukane Nikaido và Kazuo Isoda (1955) đặt nền móng qua mô hình cân bằng trò chơi; Ky Fan (1972) thiết lập định lý tồn tại nghiệm bất đẳng thức minimax; Lê Dũng Mưu (1986) nghiên cứu tính ổn định.
- Lê Dũng Mưu và Werner Oettli (1992), Eugen Blum và Werner Oettli (1994) chuẩn hóa khái niệm bài toán cân bằng (EP) và thiết lập các điều kiện tồn tại nghiệm tổng quát.
- Patrick Louis Combettes và Sever Adrian Hirstoaga (2005) xây dựng toán tử giải $T_r^f$ cho bài toán cân bằng với song hàm đơn điệu, chứng minh tính không giãn vững và tập điểm bất động trùng với tập nghiệm của EP.
- Trần Đình Quốc cùng đồng nghiệp (2012) đề xuất phương pháp đạo hàm tăng cường giải bài toán cân bằng.
Khoảng trống luận án lựa chọn giải quyết
- Xây dựng toán tử tựa không giãn $T_f$ từ song hàm cân bằng giả đơn điệu thỏa mãn nguyên lý bán đóng và có tập điểm bất động trùng khớp với tập nghiệm bài toán cân bằng, mở rộng kết quả từ trường hợp đơn điệu của Combettes và Hirstoaga.
- Xây dựng thuật toán giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán bất đẳng thức biến phân tách (BSVIP) với các ánh xạ giá giả đơn điệu và liên tục Lipschitz — đây là bài toán mới chưa có thuật toán giải trước đó.
- Đề xuất thuật toán tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách (SEP) với song hàm giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết và khái niệm sử dụng
Luận án vận dụng hệ thống khái niệm và định lý thuộc giải tích lồi, giải tích hàm và lý thuyết toán tử:
- Hàm lồi và dưới vi phân: Miền hữu hiệu $\text{dom} f$, dưới đạo hàm, dưới vi phân $\partial f(x)$, nón pháp tuyến ngoài $N_C(x)$, định lý Moreau-Rockafellar về dưới vi phân của tổng hai hàm lồi.
- Toán tử chiếu trong không gian Hilbert: Toán tử chiếu trực giao $P_C$, tính không giãn vững và các đẳng thức, bất đẳng thức đặc trưng của phép chiếu.
- Lý thuyết điểm bất động: Ánh xạ không giãn, ánh xạ tựa không giãn, nguyên lý bán đóng (demyclosedness principle), bổ đề Opial, kỹ thuật lặp Krasnoselskii-Mann và phương pháp Halpern.
- Toán tử và song hàm: Khái niệm đơn điệu mạnh, đơn điệu mạnh ngược, liên tục Lipschitz, giả đơn điệu của toán tử; tính chất đơn điệu, giả đơn điệu, liên tục yếu đồng thời và điều kiện kiểu Lipschitz đối với song hàm cân bằng.
Phương pháp nghiên cứu
- Phương pháp kết hợp chiếu và lặp Krasnoselskii-Mann: Áp dụng cho bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán điểm bất động tách.
- Phương pháp dưới đạo hàm tăng cường (Subgradient Extragradient Method): Sử dụng phép chiếu trên nửa không gian phụ thuộc bước lặp kết hợp kỹ thuật hiệu chỉnh Halpern để thu được sự hội tụ mạnh cho các bài toán VIP cấp hai và VIP tách.
- Phương pháp song song kết hợp thuật toán CQ: Áp dụng cho bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán chấp nhận tách đa tập hợp.
- Phương pháp đạo hàm tăng cường liên kết qua toán tử tuyến tính: Kết hợp hai bài toán cân bằng trong hai không gian Hilbert khác nhau thông qua toán tử tuyến tính bị chặn $A$ và toán tử liên hợp $A^*$.
- Thực nghiệm số: Viết mã chương trình trên MATLAB R2012a, chạy trên máy tính Intel Core i3-3217U 1.80GHz, RAM 2GB. Tiêu chuẩn dừng chung cho các thuật toán là $|x_{k+1} - x_k| < \varepsilon$.
Nội dung chính theo từng chương
Chương 1. Kiến thức chuẩn bị
Chương 1 hệ thống hóa các định nghĩa, tính chất cơ bản và bổ đề bổ trợ làm công cụ chứng minh cho các chương sau:
- Trình bày định nghĩa hàm lồi chính thường, dưới vi phân và Định lý Moreau-Rockafellar: cho $f_1, f_2$ là hai hàm lồi chính thường và một trong hai hàm liên tục tại một điểm thuộc miền hữu hiệu của hàm kia thì $\partial(f_1 + f_2)(x) = \partial f_1(x) + \partial f_2(x)$.
- Trình bày tính chất toán tử chiếu $P_C$: $|P_C(x) - P_C(y)| \le |x - y|$ và $\langle x - P_C(x), z - P_C(x)\rangle \le 0, \forall z \in C$.
- Trình bày mối liên hệ giữa các bài toán VIP, bài toán tìm điểm bất động, giải hệ phương trình và bài toán tìm nghiệm có chuẩn nhỏ nhất.
- Chứng minh tính lồi đóng của tập nghiệm bài toán bất đẳng thức biến phân trong không gian Hilbert khi ánh xạ $F$ là giả đơn điệu và liên tục Lipschitz (hoặc thỏa mãn điều kiện nửa liên tục trên yếu).
- Kết quả lý thuyết trong Chương 1: Xây dựng ánh xạ $T_f: C \to C$ từ song hàm cân bằng $f$ giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz: $$T_f(x) := \arg\min \left{ \lambda f(s(x), y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$ với $s(x) := \arg\min \left{ \lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}$. Chứng minh với $0 < \lambda < \min\left{\frac{1}{2c_1}, \frac{1}{2c_2}\right}$, ánh xạ $T_f$ là tựa không giãn, thỏa mãn nguyên lý bán đóng và có tập điểm bất động $\text{Fix}(T_f)$ trùng với tập nghiệm $\text{Sol}(C, f)$ của bài toán cân bằng.
Chương 2. Phương pháp giải bất đẳng thức biến phân trên tập nghiệm của bài toán điểm bất động tách
Chương 2 nghiên cứu bài toán bất đẳng thức biến phân $\text{VIP}(\Omega, F)$ tìm $x^* \in \Omega$ sao cho $\langle F(x^), x - x^\rangle \ge 0, \forall x \in \Omega$, trong đó $\Omega$ là tập nghiệm của bài toán điểm bất động tách (SFPP): tìm $x^* \in \text{Fix}(T)$ sao cho $Ax^* \in \text{Fix}(S)$ ($T: C \to C, S: Q \to Q$ là các ánh xạ không giãn, $A: H_1 \to H_2$ là toán tử tuyến tính bị chặn).
- Thuật toán đề xuất: Xuất phát từ $x^0 \in C$, dãy lặp xác định bởi: $$\begin{cases} u^k = P_Q(Ax^k) \ y^k = P_C(x^k + \delta A^*(Su^k - Ax^k)) \ z^k = P_C(y^k - \lambda_k \mu F(y^k)) \ x^{k+1} = \alpha_k x^k + (1 - \alpha_k) T(z^k) \end{cases}$$ với $\delta \in \left(0, \frac{1}{|A|^2 + 1}\right)$, $0 < \mu < \frac{2\beta}{L^2}$, các dãy ${\lambda_k}, {\alpha_k} \subset (0, 1)$ thỏa mãn $\lim_{k\to\infty} \lambda_k = 0$, $\sum_{k=0}^{\infty} \lambda_k(1 - \alpha_k) = \infty$, $\lim_{k\to\infty} \alpha_k = \alpha \in (0, 1)$.
- Định lý hội tụ: Chứng minh dãy ${x^k}$ hội tụ mạnh đến nghiệm duy nhất của bài toán $\text{VIP}(\Omega, F)$ qua 7 bước chứng minh chặt chẽ (đánh giá khoảng cách, chứng minh tính bị chặn, chứng minh hiệu các bước lặp tiến về 0, áp dụng bổ đề Opial và bất đẳng thức biến phân).
- Các hệ quả: Rút ra thuật toán giải VIP trên tập nghiệm của bài toán bất đẳng thức biến phân tách (khi ánh xạ giá đơn điệu mạnh ngược), thuật toán giải VIP trên tập nghiệm của bài toán cân bằng tách (theo giả thiết Blum-Oettli), và thuật toán tìm nghiệm có chuẩn nhỏ nhất của bài toán bất đẳng thức biến phân tách và cân bằng tách khi chọn $F = I$.
- Thử nghiệm số: Kiểm chứng tính hội tụ và độ chính xác của thuật toán trên MATLAB.
Chương 3. Phương pháp giải bất đẳng thức biến phân trên tập nghiệm của bài toán bất đẳng thức biến phân tách và bài toán chấp nhận tách đa tập hợp
Chương 3 mở rộng phạm vi áp dụng phương pháp dưới đạo hàm tăng cường cho ba bài toán phức tạp:
- Bài toán bất đẳng thức biến phân hai cấp (BVIP): Bài toán cấp trên là đơn điệu mạnh, liên tục Lipschitz; bài toán cấp dưới là bất đẳng thức biến phân giả đơn điệu, liên tục Lipschitz. Thuật toán kết hợp phép chiếu trên nửa không gian $T_k = {\omega \in H: \langle x^k - \tau F_1(x^k) - y^k, \omega - y^k\rangle \le 0}$ và kỹ thuật hiệu chỉnh Halpern, chứng minh hội tụ mạnh.
- Bài toán bất đẳng thức biến phân tách hai cấp (BSVIP): Bài toán cấp trên là VIP đơn điệu mạnh, liên tục Lipschitz; bài toán cấp dưới là bài toán bất đẳng thức biến phân tách (SVIP) tìm $x^* \in \text{Sol}(C, F_1)$ sao cho $Ax^* \in \text{Sol}(Q, F_2)$ với $F_1, F_2$ giả đơn điệu và liên tục Lipschitz. Luận án thiết lập thuật toán đầu tiên giải dạng bài toán này và chứng minh sự hội tụ mạnh của dãy lặp. Hệ quả thu được áp dụng cho bài toán tìm nghiệm có chuẩn nhỏ nhất của SVIP và bài toán VIP trên tập nghiệm SFP.
- Bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán chấp nhận tách đa tập hợp (MSSFP): Xét bài toán tìm $x^* \in \bigcap_{i=1}^M C_i$ sao cho $Ax^* \in \bigcap_{j=1}^N Q_j$. Đề xuất thuật toán song song kết hợp thuật toán CQ và phương pháp chiếu hiệu chỉnh, khắc phục các hạn chế trong thuật toán của GS. Nguyễn Bường.
Chương 4. Phương pháp tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách
Chương 4 tập trung giải bài toán tìm nghiệm $x^$ có $|x^| \le |x|$ với mọi $x \in \Omega$, trong đó $\Omega$ là tập nghiệm của bài toán cân bằng tách (SEP): tìm $x^* \in \text{Sol}(C, f)$ sao cho $Ax^* \in \text{Sol}(Q, g)$, với các song hàm $f, g$ giả đơn điệu và thỏa mãn điều kiện kiểu Lipschitz với các hằng số $c_1, c_2, k_1, k_2 > 0$.
- Cơ chế thuật toán: Sử dụng phương pháp đạo hàm tăng cường giải bài toán cân bằng của Trần Đình Quốc và cộng sự, thực hiện các phép lặp đồng thời trên hai không gian $H_1, H_2$ và kết nối thông qua toán tử tuyến tính bị chặn $A$ cùng toán tử liên hợp $A^*$.
- Định lý hội tụ: Chứng minh dãy lặp hội tụ mạnh đến nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách khi các tham số bước lặp và hệ số hiệu chỉnh thỏa mãn các điều kiện phân kỳ và hội tụ giải tích.
- Hệ quả: Thiết lập thuật toán tìm nghiệm có chuẩn nhỏ nhất của bài toán bất đẳng thức biến phân tách (khi $f(x, y) = \langle F(x), y - x\rangle, g(u, v) = \langle G(u), v - u\rangle$) và bài toán chấp nhận tách (khi $f = 0, g = 0$).
Bảng tổng hợp các bài toán và phương pháp giải chính trong luận án
| Chương | Mô hình bài toán chính | Giả thiết toán tử / Song hàm | Phương pháp giải chủ đạo | Kết quả hội tụ |
|---|---|---|---|---|
| Chương 1 | Xây dựng toán tử $T_f$ cho bài toán cân bằng $EP(C, f)$ | $f$ giả đơn điệu, thỏa mãn điều kiện kiểu Lipschitz | Toán tử giải tựa không giãn | $\text{Fix}(T_f) = \text{Sol}(C, f)$, thỏa mãn nguyên lý bán đóng |
| Chương 2 | VIP trên tập nghiệm của SFPP | $F$ đơn điệu mạnh, Lipschitz; $T, S$ không giãn | Chiếu + Lặp Krasnoselskii-Mann | Hội tụ mạnh |
| Chương 3 | VIP hai cấp (BVIP), VIP tách hai cấp (BSVIP), VIP trên MSSFP | $F$ đơn điệu mạnh, Lipschitz; $F_1, F_2$ giả đơn điệu, Lipschitz | Dưới đạo hàm tăng cường + Halpern + CQ song song | Hội tụ mạnh |
| Chương 4 | Nghiệm chuẩn nhỏ nhất của SEP | $f, g$ giả đơn điệu, thỏa mãn điều kiện kiểu Lipschitz | Đạo hàm tăng cường kết nối qua $A, A^*$ | Hội tụ mạnh |
Kết quả và những đóng góp mới
Các kết quả và đóng góp mới của luận án bao gồm:
- Mở rộng mối quan hệ giữa bài toán cân bằng và bài toán điểm bất động: Xây dựng thành công ánh xạ tựa không giãn $T_f$ từ song hàm cân bằng $f$ giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz, chứng minh $T_f$ thỏa mãn nguyên lý bán đóng và có tập điểm bất động trùng với tập nghiệm bài toán cân bằng.
- Đề xuất thuật toán mới cho VIP trên tập nghiệm SFPP: Thiết lập thuật toán lặp và chứng minh sự hội tụ mạnh trong không gian Hilbert đối với bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán điểm bất động tách.
- Giải bài toán bất đẳng thức biến phân tách hai cấp: Đưa ra thuật toán đầu tiên giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán bất đẳng thức biến phân tách (BSVIP) với các ánh xạ giá giả đơn điệu, liên tục Lipschitz.
- Cải tiến thuật toán giải VIP trên tập nghiệm MSSFP: Đề xuất thuật toán song song kết hợp CQ mới để giải bài toán bất đẳng thức biến phân với ràng buộc chấp nhận tách đa tập hợp.
- Thuật toán tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách: Đưa ra thuật toán đầu tiên tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách (SEP) với các song hàm giả đơn điệu kiểu Lipschitz.
Danh mục các công trình và diễn đàn khoa học công bố kết quả
- Công bố quốc tế: 6 bài báo khoa học [1-6] đăng trên các tạp chí chuyên ngành quốc tế thuộc danh mục ISI và SCOPUS.
- Báo cáo hội nghị và xêmina:
- Báo cáo tại Xêmina Bộ môn Giải tích, Bộ môn Toán học tính toán và Toán ứng dụng (Trường ĐHKHTN – ĐHQG Hà Nội) và Xêmina liên cơ quan ĐHKHTN, ĐHBK Hà Nội và Viện Nghiên cứu cao cấp về Toán (VIASM).
- Hội thảo Tối ưu và Tính toán khoa học lần thứ 14 (Ba Vì, 21–23/4/2016) và lần thứ 15 (Ba Vì, 20–22/4/2017).
- Hội nghị khoa học kỷ niệm 60 năm thành lập Khoa Toán – Cơ – Tin học, Trường ĐHKHTN – ĐHQG Hà Nội.
- Hội nghị quốc tế lần thứ 7 về Tính toán Khoa học Hiệu năng cao (7th International Conference on High Performance Scientific Computing - HPSC), Hà Nội, 19–23/3/2018.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế dựa trên phạm vi nghiên cứu
- Các thuật toán đề xuất yêu cầu toán tử liên kết $A$ là toán tử tuyến tính bị chặn giữa các không gian Hilbert thực. Trong trường hợp toán tử liên kết là phi tuyến hoặc không gian nền là không gian Banach tổng quát, các kỹ thuật chứng minh chưa áp dụng trực tiếp được.
- Các bước lặp đòi hỏi thông tin về hằng số Lipschitz hoặc chuẩn của toán tử $|A|$ để chọn bước lặp $\delta, \tau, \mu$.
- Mỗi bước lặp cần giải các bài toán tối ưu phụ hoặc phép chiếu lên tập lồi, đòi hỏi chi phí tính toán khi không gian có số chiều lớn hoặc tập ràng buộc phức tạp.
Hướng nghiên cứu tiếp
- Mở rộng các thuật toán cho các lớp toán tử phi tuyến và trong không gian Banach.
- Phát triển kỹ thuật chọn độ dài bước lặp tự điều chỉnh (self-adaptive stepsize) không phụ thuộc vào hằng số Lipschitz hoặc chuẩn toán tử $|A|$.
- Ứng dụng các thuật toán giải quyết các bài toán thực tế quy mô lớn trong xử lý ảnh, phục hồi tín hiệu số và mô phỏng tối ưu hóa xạ trị IMRT.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Toán giải tích, Lý thuyết tối ưu và Giải tích phi tuyến:
- Đối với nghiên cứu sinh và học viên cao học: Cung cấp phương pháp luận và kỹ thuật chứng minh hội tụ mạnh trong không gian Hilbert vô hạn chiều; kỹ thuật phân tích kết hợp giữa phương pháp Halpern, phương pháp Krasnoselskii-Mann và phương pháp dưới đạo hàm tăng cường.
- Đối với giảng viên và nhà nghiên cứu chuyên ngành: Là nguồn tài liệu tham khảo về mối liên hệ giữa bài toán cân bằng, bài toán điểm bất động và bất đẳng thức biến phân phân cấp; cung cấp thuật toán cho các lớp bài toán chấp nhận tách suy rộng.
- Đối với người làm toán ứng dụng và tính toán khoa học: Cung cấp thuật toán dạng hiện kèm thử nghiệm số trên MATLAB, hỗ trợ cài đặt thuật toán giải các mô hình chấp nhận tách trong xử lý tín hiệu và ảnh y tế.
Câu hỏi thường gặp
1. Sự khác biệt cơ bản giữa bài toán chấp nhận tách (SFP) cổ điển và bài toán chấp nhận tách suy rộng trong luận án là gì?
Trong bài toán chấp nhận tách cổ điển do Censor và Elfving đề xuất, các tập ràng buộc $C$ và $Q$ là các tập lồi đóng có thể tính trực tiếp toán tử chiếu $P_C, P_Q$. Trong bài toán chấp nhận tách suy rộng, các tập ràng buộc được cho dưới dạng ẩn (tập điểm bất động của ánh xạ không giãn, tập nghiệm của bài toán bất đẳng thức biến phân hoặc bài toán cân bằng), khiến phép chiếu trực tiếp không thể thực hiện được và đòi hỏi kỹ thuật xấp xỉ nghiệm qua các bước lặp phụ.
2. Vai trò của toán tử $T_f$ được xây dựng trong Chương 1 đối với bài toán cân bằng là gì?
Toán tử $T_f$ được xây dựng nhằm thiết lập mối liên hệ tương đương giữa bài toán cân bằng với song hàm giả đơn điệu và bài toán điểm bất động. Bằng cách chứng minh $T_f$ là ánh xạ tựa không giãn, thỏa mãn nguyên lý bán đóng và có $\text{Fix}(T_f) = \text{Sol}(C, f)$, luận án cho phép chuyển đổi các thuật toán tìm điểm bất động của ánh xạ tựa không giãn thành thuật toán giải bài toán cân bằng giả đơn điệu.
3. Tại sao phương pháp dưới đạo hàm tăng cường lại được ưu tiên sử dụng thay cho phương pháp đạo hàm tăng cường tiêu chuẩn trong Chương 3?
Phương pháp đạo hàm tăng cường cổ điển đòi hỏi thực hiện hai phép chiếu lên tập ràng buộc $C$ trong mỗi bước lặp. Phương pháp dưới đạo hàm tăng cường thay thế phép chiếu thứ hai lên $C$ bằng phép chiếu lên nửa không gian chứa $C$ ($T_k$), giúp giảm đáng kể khối lượng tính toán do phép chiếu lên nửa không gian có công thức giải tích hiện.
4. Thuật toán giải bài toán bất đẳng thức biến phân trên tập nghiệm SFPP ở Chương 2 yêu cầu những điều kiện gì đối với các dãy tham số ${\lambda_k}, {\alpha_k}$ và $\delta$?
Thuật toán yêu cầu hệ số bước lặp $\delta \in \left(0, \frac{1}{|A|^2 + 1}\right)$, hệ số $\mu \in \left(0, \frac{2\beta}{L^2}\right)$, các dãy số ${\lambda_k}, {\alpha_k} \subset (0, 1)$ thỏa mãn đồng thời ba điều kiện: $\lim_{k\to\infty} \lambda_k = 0$, $\sum_{k=0}^{\infty} \lambda_k(1 - \alpha_k) = \infty$, và $\lim_{k\to\infty} \alpha_k = \alpha \in (0, 1)$.
5. Cấu hình phần cứng và phần mềm được tác giả sử dụng để thực hiện các thử nghiệm số trong luận án là gì?
Các thử nghiệm số minh họa trong luận án được lập trình và thực hiện trên phần mềm MATLAB R2012a, chạy trên máy tính xách tay trang bị vi xử lý Intel Core i3-3217U CPU @ 1.80GHz và bộ nhớ RAM 2 GB, với tiêu chuẩn dừng dựa trên khoảng cách giữa hai bước lặp liên tiếp nhỏ hơn sai số $\varepsilon$.
Kết luận
Luận án tiến sĩ của tác giả Trần Việt Anh đã giải quyết trọn vẹn mục tiêu xây dựng và chứng minh sự hội tụ mạnh của các thuật toán giải bài toán bất đẳng thức biến phân trên tập nghiệm của bài toán chấp nhận tách suy rộng trong không gian Hilbert. Các đóng góp chính bao gồm việc thiết lập toán tử tựa không giãn thỏa mãn nguyên lý bán đóng cho bài toán cân bằng giả đơn điệu, đề xuất các thuật toán mới cho bài toán bất đẳng thức biến phân tách hai cấp, bài toán chấp nhận tách đa tập hợp và bài toán tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách. Kết quả nghiên cứu đã được công bố qua 6 bài báo quốc tế thuộc hệ thống ISI/SCOPUS và báo cáo tại nhiều diễn đàn khoa học chuyên ngành. Công trình cung cấp cơ sở lý thuyết giải tích và thuật toán tính toán có giá trị cho lĩnh vực tối ưu hóa và giải tích phi tuyến.