Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh 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" được thực hiện tại Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội (năm 2018), thuộc 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. Lê Dũng Mưu và PGS. Nguyễn Hữu Điển. Luận án đi theo hướng tiếp cận lý thuyết giải tích phi tuyến, giải tích lồi kết hợp với giải tích số và tính toán khoa học.

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) do Philip Hartman và Guido Stampacchia giới thiệu năm 1966 đóng vai trò mô hình toán học tổng quát chứa đựng nhiều bài toán tối ưu hóa, bài toán bù, bài toán điểm bất động, lý thuyết trò chơi và bài toán cân bằng mạng lưới giao thông. Trong thực tế, nhiều ứng dụng như mô hình xạ trị điều biến cường độ (IMRT), xử lý tín hiệu và khôi phục ảnh đòi hỏi giải bài toán chấp nhận tách (SFP) do Yair Censor và Tommy Elfving đề xuất năm 1994: tìm một điểm thuộc tập lồi đóng ở không gian này sao cho ảnh của nó qua một toán tử tuyến tính bị chặn thuộc vào tập lồi đóng ở không gian khác.

Tuy nhiên, thuật toán CQ kinh điển của Byrne (2002) cũng như mở rộng của Hong-Kun Xu (2006) trong không gian Hilbert vô hạn chiều đòi hỏi tính toán được phép chiếu trực tiếp lên hai tập ràng buộc. Trong nhiều trường hợp thực tế, các tập ràng buộc này không cho tường minh mà xuất hiện dưới dạng tập nghiệm ẩ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), hình thành nên 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 tìm một nghiệm thỏa mãn tính chất tối ưu bổ sung—đặc biệt là nghiệm có chuẩn nhỏ nhất hoặc nghiệm của một bài toán bất đẳng thức biến phân cấp trên—trở thành một đòi hỏi cấp thiết nhưng còn nhiều khoảng trống về mặt thuật toán và điều kiện hội tụ.

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

Mục tiêu tổng quát của luận án là nghiên cứu, đề xuất các thuật toán lặp 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 thực, đồng thời chứng minh sự hội tụ mạnh của các thuật toán và tiến hành thử nghiệm số để đánh giá tính khả thi. Luận án cụ thể hóa thành 5 bài toán nghiên cứu chính:

  1. Giải 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 của các ánh xạ không giãn.
  2. Giải 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 đơn điệu mạnh, liên tục Lipschitz và 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.
  3. Giải 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 đơn điệu mạnh, liên tục Lipschitz và bài toán cấp dưới là bất đẳng thức biến phân tách với các ánh xạ giá giả đơn điệu, liên tục Lipschitz.
  4. Giải 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.
  5. Tìm nghiệm có chuẩn nhỏ nhất của bài toán cân bằng tách 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 bài toán biến phân và tối ưu hai cấp gồm bài toán điểm bất động tách (SFPP), bài toán bất đẳng thức biến phân tách (SVIP), bài toán cân bằng tách (SEP), bài toán chấp nhận tách đa tập hợp (MSSFP), các toán tử tuyến tính bị chặn, ánh xạ không giãn, ánh xạ tựa không giãn, ánh xạ đơn điệu mạnh, ánh xạ giả đơn điệu, ánh xạ đơn điệu mạnh ngược và song hàm cân bằng kiểu Lipschitz.
  • Phạm vi nghiên cứu: Không gian Hilbert thực (hữu hạn chiều và vô hạn chiều); các thuật toán lặp hội tụ mạnh với tiêu chuẩn dừng dựa trên sai số khoảng cách giữa hai bước lặp kế tiếp; thực nghiệm tính toán trên môi trường máy tính với phần mềm MATLAB.

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

Các hướng nghiên cứu tiền đề

Luận án đã tổng quan các kết quả nghiên cứu liên quan đến bất đẳng thức biến phân và bài toán chấp nhận tách suy rộng:

  • Lý thuyết bất đẳng thức biến phân và phương pháp giải: Khởi xướng bởi Hartman và Stampacchia (1966); phát triển trong không gian vô hạn chiều và ứng dụng bài toán biên bởi Kinderlehrer và Stampacchia (1980), Baiocchi và Capelo (1984). Về thuật toán, 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á; Levitin và Polyak (1966) đề xuất phương pháp chiếu đạo hàm; Korpelevich đề xuất phương pháp đạo hàm tăng cường (Extragradient Method); Yair Censor và cộng sự (2011) cải tiến thành phương pháp dưới đạo hàm tăng cường (Subgradient Extragradient Method); Kraikaew và Saejung (2014) kết hợp phương pháp dưới đạo hàm tăng cường với kỹ thuật Halpern để đạt hội tụ mạnh; phương pháp chiếu đạo hàm phản xạ và phương pháp hàm phạt của Lê Dũng Mưu và Werner Oettli (1992).
  • Bài toán chấp nhận tách (SFP) và thuật toán CQ: Censor và Elfving (1994) khởi xướng trong không gian Euclide; Byrne (2002) đưa ra thuật toán CQ; Hong-Kun Xu (2006) mở rộng thuật toán CQ sang không gian Hilbert vô hạn chiều; Lu-Chuan Ceng và cộng sự (2012) đề xuất thuật toán tìm nghiệm có chuẩn nhỏ nhất của bài toán chấp nhận tách.
  • Bài toán cân bằng (EP) và bài toán cân bằng tách (SEP): Khởi nguồn từ công trình của Nikaido và Isoda (1955), bất đẳng thức minimax của Ky Fan (1972), nghiên cứu ổn định của Lê Dũng Mưu (1986), bài báo của Lê Dũng Mưu và Werner Oettli (1992), cùng các khảo sát toàn diện của Eugen Blum và Werner Oettli (1994). Patrick Louis Combettes và Sever Adrian Hirstoaga (2005) thiết lập ánh xạ đơn trị không giãn vững để liên hệ bài toán cân bằng đơn điệu với điểm bất động. Trần Đình Quốc và cộng sự (2012) phát triển phương pháp đạo hàm tăng cường cho bài toán cân bằng.
  • Các nghiên cứu trong nước: Luận án kế thừa và phát triển hướng nghiên cứu của các tác giả Phạm Kỳ Anh, Nguyễn Bường, Phan Quốc Khánh, Lê Dũng Mưu, Nguyễn Thị Thu Thủy về giải tích phi tuyến và bài toán biến phân.

Khoảng trống luận án lựa chọn giải quyết

  1. Thuật toán CQ kinh điển bất lực khi tập ràng buộc $C$ và $Q$ là tập nghiệm ẩn của các bài toán biến phân, điểm bất động hay cân bằng.
  2. Thiếu vắng các thuật toán hội tụ mạnh cho bài toán bất đẳng thức biến phân với ràng buộc là tập nghiệm của bài toán bất đẳng thức biến phân tách (SVIP) khi các toán tử giá chỉ thỏa mãn tính giả đơn điệu và liên tục Lipschitz.
  3. 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 (SEP) với các song hàm giả đơn điệu kiểu Lipschitz chưa từng có thuật toán giải trong các công bố trước đó.
  4. Ánh xạ lặp cho bài toán cân bằng giả đơn điệu trong các nghiên cứu cùng thời (chẳng hạn tài liệu tham khảo số [5] của luận án) chưa chứng minh được nguyên lý bán đóng (demyclosedness principle)—một điều kiện then chốt để bảo đảm sự hội tụ của dãy lặp.

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

Cơ sở lý thuyết và khung phân tích

Luận án vận dụng các cấu trúc giải tích lồi và toán tử trong không gian Hilbert thực $H$:

  • Hàm lồi và dưới vi phân: Miền hữu hiệu $\text{dom} f$, hàm chính thường, dưới vi phân $\partial f(x_0)$, nón pháp tuyến ngoài $N_C(x_0)$ và Định lý Moreau-Rockafellar về dưới vi phân của tổng hai hàm lồi chính thường: $$\partial(f_1 + f_2)(x) = \partial f_1(x) + \partial f_2(x)$$
  • Toán tử chiếu trong không gian Hilbert: Phép chiếu vuông góc $P_C(x)$ lên tập lồi đóng khác rỗng $C$, tính chất không giãn $|P_C(x) - P_C(y)| \le |x - y|$, cùng đặc trưng biến phân: $$\langle x - P_C(x), z - P_C(x) \rangle \le 0, \quad \forall z \in C$$
  • Lớp ánh xạ phi tuyến: Ánh xạ không giãn, tựa không giãn, nguyên lý bán đóng (nếu $x_k \rightharpoonup x$ và $|T(x_k) - x_k| \to 0$ thì $T(x) = x$), ánh xạ đơn điệu mạnh với hệ số $\beta > 0$, liên tục Lipschitz với hệ số $L > 0$, đơn điệu mạnh ngược với hệ số $\eta > 0$ ($\eta$-cocoercive), đơn điệu và giả đơn điệu: $$\langle F(x), y - x \rangle \ge 0 \implies \langle F(y), y - x \rangle \ge 0$$
  • Song hàm cân bằng: Tính đơn điệu, tính giả đơn điệu, tính liên tục yếu đồng thời trên $C \times C$, và điều kiện kiểu Lipschitz với hằng số $c_1, c_2 > 0$: $$f(x, y) + f(y, z) \ge f(x, z) - c_1|x - y|^2 - c_2|y - z|^2, \quad \forall x, y, z \in C$$

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

  • Phương pháp chiếu kết hợp kỹ thuật lặp Krasnoselskii-Mann: Áp dụng cho bài toán VIP trên tập nghiệm của SFPP để thu được dãy lặp hội tụ mạnh.
  • Phương pháp dưới đạo hàm tăng cường: Sử dụng phép chiếu thứ hai lên nửa không gian phụ thuộc bước lặp thay vì tập ràng buộc gốc, giải bài toán VIP hai cấp và bài toán VIP tách hai cấp đối với toán tử giả đơn điệu.
  • Phương pháp tính toán song song kết hợp thuật toán CQ: Phân rã bài toán trên hệ thống đa tập hợp $C_i$ và $Q_j$ nhằm giải bài toán VIP trên tập nghiệm của MSSFP.
  • Phương pháp đạo hàm tăng cường liên kết qua toán tử liên hợp: Áp dụng giải hai bài toán cân bằng trên hai không gian Hilbert độc lập và kết nối nghiệm qua toán tử tuyến tính bị chặn $A$ và toán tử liên hợp $A^*$.

Nguồn tư liệu và công cụ thực nghiệm số

  • Nguồn tư liệu: Các tài liệu khoa học chuyên ngành quốc tế, các công trình của các nhóm nghiên cứu giải tích lồi trong và ngoài nước.
  • Môi trường thử nghiệm số: Phần mềm MATLAB R2012a chạy trên máy tính xách tay cấu hình Intel(R) Core(TM) i3-3217U CPU @ 1.80GHz, 2 GB RAM.
  • Tiêu chuẩn dừng chung cho các thuật toán: $|x^{k+1} - x^k| < \varepsilon$, với $\varepsilon$ là sai số dung sai định trước.

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ủa giải tích lồi, nón pháp tuyến, toán tử chiếu và các lớp ánh xạ phi tuyến, đồng thời đưa ra các bổ đề kỹ thuật hỗ trợ việc chứng minh hội tụ.

Điểm nhấn học thuật của chương nằm ở việc xây dựng toán tử giải $T_f: C \to C$ cho song hàm cân bằng giả đơn điệu $f: H \times H \to \mathbb{R} \cup {+\infty}$ thỏa mãn điều kiện kiểu Lipschitz với hằng số $c_1, c_2 > 0$ thông qua hai bài toán tối ưu trung gian: $$s(x) := \text{argmin} \left{ \lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$ $$T_f(x) := \text{argmin} \left{ \lambda f(s(x), y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$

Tác giả đã chứng minh Mệnh đề 1.1, Mệnh đề 1.2 và Định lý 1.3: Khi tham số bước lặp $\lambda$ thỏa mãn $0 < \lambda < \min \left{ \frac{1}{2c_1}, \frac{1}{2c_2} \right}$, toán tử $T_f$ là ánh xạ tựa không giãn trên $C$, thỏa mãn nguyên lý bán đóng, và tập điểm bất động của $T_f$ trùng khớp hoàn toàn với tập nghiệm $\text{Sol}(C, f)$ của bài toán cân bằng. Kết quả này khắc phục khiếm khuyết trong nghiên cứu cùng thời của nhóm tác giả khác (tài liệu [5]), nơi tính chất bán đóng chưa được chứng minh.

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 này đề xuất thuật toán giải bài toán bất đẳng thức biến phân $VIP(\Omega, F)$ với ánh xạ giá $F: C \to H_1$ là $\beta$-đơn điệu mạnh và $L$-liên tục Lipschitz, trên tập ràng buộc $\Omega = {x^* \in \text{Fix}(T) : Ax^* \in \text{Fix}(S)}$ là tập nghiệm của bài toán điểm bất động tách (SFPP) giữa hai không gian Hilbert $H_1$ và $H_2$.

Thuật toán lặp đề xuất

Khởi tạo $x^0 \in C$ tùy ý, dãy lặp ${x^k}$ được xây dựng theo sơ đồ: $$\begin{cases} u^k = P_Q(Ax^k) \ y^k = P_C\left(x^k + \delta A^*(Su^k - Ax^k)\right) \ z^k = P_C\left(y^k - \lambda_k \mu F(y^k)\right) \ x^{k+1} = \alpha_k x^k + (1 - \alpha_k)T(z^k), \quad \forall k \ge 0 \end{cases}$$ Các tham số thỏa mãn: $$0 < \delta < \frac{1}{|A|^2 + 1}, \quad 0 < \mu < \frac{2\beta}{L^2}, \quad {\lambda_k}, {\alpha_k} \subset (0, 1)$$ với các điều kiện giới hạn: $$\lim_{k \to \infty} \lambda_k = 0, \quad \sum_{k=0}^{\infty} \lambda_k(1 - \alpha_k) = \infty, \quad \lim_{k \to \infty} \alpha_k = \alpha \in (0, 1)$$

Trình tự chứng minh định lý hội tụ mạnh

Định lý hội tụ được chứng minh hoàn chỉnh qua 7 bước:

  1. Đánh giá sai số cơ sở: $|y^k - x^|^2 \le |x^k - x^|^2 - \delta(1 - \delta|A|^2)|Su^k - Ax^k|^2 - \delta|u^k - Ax^k|^2$.
  2. Chứng minh tính bị chặn của các dãy ${x^k}$, ${y^k}$ và ${F(y^k)}$.
  3. Thiết lập bất đẳng thức sai phân liên tiếp: $|y^{k+1} - y^k|^2 \le |x^{k+1} - x^k|^2 - \delta(1 - \delta|A|^2)|Su^{k+1} - Su^k + Ax^k - Ax^{k+1}|^2$.
  4. Chứng minh giới hạn triệt tiêu sai khác: $\lim_{k \to \infty} |x^{k+1} - x^k| = 0$ và $\lim_{k \to \infty} |x^k - T(y^k)| = 0$.
  5. Chứng minh các tính chất tiệm cận: $\lim_{k \to \infty} |y^k - T(y^k)| = 0$ và $\lim_{k \to \infty} |u^k - Su^k| = 0$.
  6. Sử dụng bổ đề Opial và tính đóng yếu để chứng minh: $\limsup_{k \to \infty} \langle F(x^), x^ - y^k + \lambda_k \mu F(y^k) \rangle \le 0$.
  7. Thiết lập hệ thức co tiệm cận để kết luận dãy ${x^k}$ hội tụ mạnh về nghiệm duy nhất $x^* \in \Omega$ của $VIP(\Omega, F)$.

Chương 2 cũng rút ra 4 hệ quả trực tiếp: giải VIP trên tập nghiệm của SVIP khi ánh xạ giá là đơn điệu mạnh ngược; giải VIP trên tập nghiệm của SEP khi song hàm thỏa mãn điều kiện Blum-Oettli; tìm nghiệm có chuẩn nhỏ nhất của SVIP và của SEP (bằng cách chọn $F = I$).

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 xử lý sang các mô hình bài toán hai cấp phức tạp:

  1. 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 có toán tử đơn điệu mạnh, Lipschitz; bài toán cấp dưới là bất đẳng thức biến phân với toán tử giả đơn điệu, Lipschitz. Tác giả áp dụng phương pháp dưới đạo hàm tăng cường (chiếu lên nửa không gian $T_k$) kết hợp kỹ thuật hiệu chỉnh Halpern để chứng minh định lý hội tụ mạnh.
  2. Bài toán bất đẳng thức biến phân tách hai cấp (BSVIP): Tìm nghiệm của VIP cấp trên trên tập nghiệm của bài toán bất đẳng thức biến phân tách: tìm $x^* \in \text{Sol}(C, F_1)$ sao cho $Ax^* \in \text{Sol}(Q, F_2)$, trong đó $F_1, F_2$ giả đơn điệu và liên tục Lipschitz. Đây là thuật toán đầu tiên được công bố giải quyết mô hình toán học này. Khi chọn $F = I$ hoặc $F_1 = F_2 = 0$, chương thu được thuật toán tìm nghiệm chuẩn nhỏ nhất của SVIP và của bài toán chấp nhận tách SFP kinh điển.
  3. Bài toán VIP với ràng buộc chấp nhận tách đa tập hợp (MSSFP): Ràng buộc yêu cầu tìm $x^* \in \bigcap_{i=1}^M C_i$ sao cho $Ax^* \in \bigcap_{j=1}^N Q_j$. Luận án xây dựng thuật toán tính toán song song kết hợp CQ, khắc phục hạn chế tuần tự và cải tiến cấu trúc thuật toán của GS. Nguyễn Bường (2014).

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 thiết kế 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): $$\text{Tìm } x^* \in \text{Sol}(C, f) \text{ sao cho } Ax^* \in \text{Sol}(Q, g) \text{ và } |x^*| \le |x|, \quad \forall x \in \Omega_{SEP}$$ trong đó $f, g$ là các song hàm cân bằng giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz.

Cấu trúc thuật toán

Kế thừa phương pháp đạo hàm tăng cường cho bài toán cân bằng đơn lẻ của Trần Đình Quốc và cộng sự (2012), tác giả thiết lập sự liên kết song song hai không gian thông qua toán tử tuyến tính bị chặn $A$ và liên hợp $A^$. Tại mỗi bước lặp, thuật toán giải hai bài toán tối ưu lồi phụ trên $C$ và hai bài toán tối ưu lồi phụ trên $Q$, sau đó thực hiện bước hiệu chỉnh theo hướng liên hợp $A^$ với tham số hiệu chỉnh suy giảm để bảo đảm nghiệm hội tụ về điểm có chuẩn tối thiểu.

Khi song hàm có dạng tích vô hướng $f(x, y) = \langle F(x), y - x \rangle$, thuật toán chuyển hóa thành thuật toán tìm nghiệm chuẩn nhỏ nhất của SVIP. Khi $f = 0$ và $g = 0$, bài toán thu hồi về thuật toán tìm nghiệm chuẩn nhỏ nhất của bài toán chấp nhận tách SFP.

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

Luận án đã đạt được các đóng góp mới về mặt lý luận giải tích phi tuyến và phương pháp tính:

  1. Mở rộng lý thuyết toán tử giải cân bằng: Xây dựng thành công ánh xạ $T_f$ tựa không giãn thỏa mãn nguyên lý bán đóng cho lớp bài toán cân bằng với song hàm giả đơn điệu thỏa mãn điều kiện kiểu Lipschitz, chứng minh tập điểm bất động của ánh xạ trùng với tập nghiệm cân bằng $\text{Sol}(C, f)$.
  2. Thuật toán hội tụ mạnh cho SFPP: Đề xuất thuật toán kết hợp phép chiếu đạo hàm với lặp Krasnoselskii-Mann để giải VIP trên tập nghiệm của bài toán điểm bất động tách, bảo đảm tính hội tụ mạnh trong không gian Hilbert vô hạn chiều mà không cần giả thiết tập nghiệm bị chặn.
  3. Thuật toán đầu tiên cho bài toán biến phân tách hai cấp: Xây dựng và chứng minh sự hội tụ của thuật toán giải bài toán bất đẳng thức biến phân hai cấp trên tập nghiệm của bất đẳng thức biến phân tách (BSVIP) với các toán tử giả đơn điệu, lấp đầy bài toán chưa từng có thuật toán trước thời điểm bảo vệ.
  4. Cải tiến thuật toán cho bài toán đa tập hợp: Đề xuất sơ đồ thuật toán song song giải bài toán VIP trên tập nghiệm của bài toán chấp nhận tách đa tập hợp (MSSFP), cải tiến thuật toán của Nguyễn Bường (2014).
  5. Thuật toán đầu tiên tìm nghiệm chuẩn nhỏ nhất của SEP: Thiết lập thành công 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 với các song hàm giả đơn điệu kiểu Lipschitz thông qua phương pháp đạo hàm tăng cường liên kết toán tử liên hợp.
  6. Công bố khoa học: Các kết quả chính của luận án đã được công bố trong 6 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục ISI và SCOPUS.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế được ghi nhận từ phạm vi nghiên cứu

  • Các thuật toán đề xuất yêu cầu xác định hoặc ước lượng trước chuẩn của toán tử tuyến tính $|A|$ để chọn bước lặp $\delta \in (0, 1/(|A|^2 + 1))$, điều này đòi hỏi chi phí tính toán đáng kể khi ma trận $A$ có kích thước lớn hoặc trong không gian vô hạn chiều phức tạp.
  • Yêu cầu bài toán cấp trên phải thỏa mãn tính chất đơn điệu mạnh; chưa xử lý được trường hợp toán tử cấp trên chỉ đơn điệu thuần túy hoặc giả đơn điệu.
  • Các phép chiếu $P_C$ và $P_Q$ phải có dạng biểu diễn tường minh (như trên nửa không gian, mặt phẳng, hình cầu); nếu các tập này có cấu trúc hình học phức tạp thì chi phí giải bài toán phụ tại mỗi bước lặp sẽ tăng cao.

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

  • Xây dựng các thuật toán với kỹ thuật chọn bước lặp tự thích nghi (self-adaptive stepsize) không phụ thuộc vào việc tính toán trước chuẩn toán tử $|A|$.
  • Mở rộng bài toán biến phân cấp trên sang lớp toán tử đơn điệu thuần túy, giả đơn điệu hoặc tựa lồi.
  • Nghiên cứu mở rộng các thuật toán từ không gian Hilbert sang không gian Banach tổng quát hoặc không gian Hadamard.
  • Phát triển các thuật toán giải bài toán chấp nhận tách suy rộng với toán tử đa trị hoặc trong điều kiện dữ liệu có nhiễu ngẫu nhiên.

Giá trị tham khảo

Đối tượng thụ hưởng

  • Nghiên cứu sinh, học viên cao học và giảng viên: Chuyên ngành Toán giải tích, Toán tối ưu, Phương pháp tính và Giải tích số có thể sử dụng luận án như một tài liệu tham khảo chuyên khảo về kỹ thuật chứng minh hội tụ mạnh trong không gian Hilbert vô hạn chiều.
  • Kỹ sư và nhà nghiên cứu ứng dụng: Trong các lĩnh vực xử lý tín hiệu số, khôi phục ảnh và y vật lý (xạ trị điều biến cường độ IMRT)—những bài toán thực tế quy về mô hình chấp nhận tách suy rộng và tối ưu hai cấp.

Các phần có giá trị tham khảo chuyên sâu

  • Kỹ thuật chứng minh hội tụ 7 bước (Chương 2): Cung cấp khung mẫu phân tích giải tích phi tuyến chuẩn mực để xử lý các sơ đồ lặp kết hợp giữa phép chiếu và lặp Krasnoselskii-Mann.
  • Kỹ thuật xây dựng toán tử $T_f$ (Chương 1): Cung cấp công cụ chuyển hóa bài toán cân bằng giả đơn điệu về bài toán tìm điểm bất động của ánh xạ tựa không giãn bán đóng.
  • Thiết kế thuật toán song song (Chương 3): Cung cấp cơ sở kiến trúc thuật toán để lập trình tính toán hiệu năng cao trên các hệ thống tính toán phân tán xử lý bài toán tối ưu ràng buộc đa tập hợp.

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

1. Vì sao bài toán tìm nghiệm có chuẩn nhỏ nhất lại được quy về bài toán bất đẳng thức biến phân?

Trong luận án (Mục 1.4), bài toán tìm nghiệm có chuẩn nhỏ nhất trên tập lồi đóng $C$ là tìm $x^* \in C$ sao cho $|x^| \le |x|$ với mọi $x \in C$. Khi xét ánh xạ giá là ánh xạ đồng nhất $F(x) = x$, bài toán bất đẳng thức biến phân $VIP(C, I)$ có dạng: $$\langle x^, x - x^* \rangle \ge 0, \quad \forall x \in C$$ Bất đẳng thức này tương đương với $\langle x^, x \rangle \ge |x^|^2$. Áp dụng bất đẳng thức Cauchy-Schwarz: $$|x^|^2 \le \langle x^, x \rangle \le |x^| \cdot |x| \implies |x^| \le |x|, \quad \forall x \in C$$ Ngược lại, nếu $x^$ có chuẩn nhỏ nhất, do $C$ lồi nên đoạn thẳng $x^ + t(x - x^) \in C$ với mọi $t \in (0, 1]$. Bằng phép khai triển chuẩn bình phương và cho $t \to 0^+$, ta thu được $\langle x^, x - x^* \rangle \ge 0$. Do đó, bài toán tìm nghiệm có chuẩn nhỏ nhất chính là trường hợp riêng của VIP với ánh xạ giá $F = I$.

2. Sự khác biệt cốt lõi giữa bài toán chấp nhận tách (SFP) kinh đ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 kinh điển của Censor và Elfving, hai tập ràng buộc $C \subset H_1$ và $Q \subset H_2$ là các tập lồi đóng cho trước tường minh, có thể tính toán trực tiếp phép chiếu $P_C$ và $P_Q$.

Trong bài toán chấp nhận tách suy rộng của luận án, các tập ràng buộc được xác định dưới dạng tập nghiệm ẩn của các bài toán toán học khác:

  • Tập điểm bất động của ánh xạ không giãn: $C = \text{Fix}(T), Q = \text{Fix}(S)$;
  • Tập nghiệm của bài toán bất đẳng thức biến phân: $C = \text{Sol}(C, F_1), Q = \text{Sol}(Q, F_2)$;
  • Tập nghiệm của bài toán cân bằng: $C = \text{Sol}(C, f), Q = \text{Sol}(Q, g)$. Vì không thể tính trực tiếp phép chiếu lên các tập nghiệm ẩn này, các thuật toán kinh điển như CQ hoàn toàn không thể áp dụng, đòi hỏi phải tích hợp các toán tử giải trung gian và kỹ thuật đạo hàm tăng cường.

3. Thuật toán ở Chương 2 kết hợp những kỹ thuật nào để bảo đảm dãy lặp hội tụ mạnh?

Thuật toán kết hợp ba kỹ thuật giải tích phi tuyến:

  1. Phép chiếu đạo hàm hiệu chỉnh: Áp dụng bước dịch chuyển $y^k = P_C(x^k + \delta A^(Su^k - Ax^k))$ để kéo dãy lặp tiệm cận về tập nghiệm chấp nhận tách qua toán tử liên hợp $A^$.
  2. Kỹ thuật chiếu giải biến phân: Áp dụng bước $z^k = P_C(y^k - \lambda_k \mu F(y^k))$ với tham số bước $\lambda_k \to 0$ và $\sum \lambda_k(1 - \alpha_k) = \infty$ nhằm điều khiển dãy lặp tiến về nghiệm của bất đẳng thức biến phân cấp trên.
  3. Kỹ thuật lặp Krasnoselskii-Mann: Áp dụng bước tổ hợp lồi $x^{k+1} = \alpha_k x^k + (1 - \alpha_k)T(z^k)$ với $\lim \alpha_k = \alpha \in (0, 1)$ để bảo đảm sự hội tụ mạnh về điểm bất động của ánh xạ $T$.

4. Ánh xạ $T_f$ xây dựng trong Chương 1 có bước tiến gì so với các công trình trước đó?

Trong nghiên cứu của Combettes và Hirstoaga (2005), toán tử giải $T_r^f$ đòi hỏi song hàm $f$ phải đơn điệu. Đối với lớp song hàm giả đơn điệu rộng hơn, một số tác giả trước đó (chẳng hạn tài liệu tham khảo số [5] trong luận án) đã xây dựng ánh xạ lặp nhưng không chứng minh được nguyên lý bán đóng (demyclosedness principle), đồng thời không chỉ ra mối liên hệ trực tiếp giữa tập điểm bất động của ánh xạ với tập nghiệm của bài toán cân bằng. Luận án đã giải quyết trọn vẹn cả hai vấn đề này: chứng minh $T_f$ là tựa không giãn, thỏa mãn nguyên lý bán đóng và khẳng định đẳng thức $\text{Fix}(T_f) = \text{Sol}(C, f)$ dưới điều kiện bước lặp $0 < \lambda < \min{1/(2c_1), 1/(2c_2)}$.

5. Cấu hình thực nghiệm số và tiêu chuẩn dừng của các thuật toán trong luận án được thiết lập ra sao?

Các ví dụ số trong luận án đều được lập trình và tính toán trên phần mềm MATLAB R2012a, chạy trên máy vi tính cấu hình vi xử lý Intel(R) Core(TM) i3-3217U CPU @ 1.80GHz, bộ nhớ RAM 2 GB. Tiêu chuẩn dừng được áp dụng thống nhất cho các thuật toán là kiểm tra khoảng cách giữa hai bước lặp kế tiếp thỏa mãn điều kiện $|x^{k+1} - x^k| < \varepsilon$, với sai số $\varepsilon$ được lựa chọn phù hợp để so sánh số bước lặp và thời gian tính toán với nghiệm giải tích chính xác.

Kết luận

Luận án tiến sĩ của Trần Việt Anh là một công trình nghiên cứu hoàn chỉnh thuộc chuyên ngành Toán giải tích, giải quyết có hệ thống 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 trong không gian Hilbert. Bằng việc kết hợp các công cụ của giải tích lồi, phương pháp chiếu đạo hàm tăng cường, lặp Krasnoselskii-Mann và tính toán song song, tác giả đã thiết lập các định lý hội tụ mạnh chặt chẽ và đề xuất các thuật toán mới cho bài toán điểm bất động tách, bài toán biến phân tách hai cấp và bài toán cân bằng tách. Các kết quả lý thuyết cùng 6 công trình công bố trên các tạp chí quốc tế thuộc danh mục ISI/SCOPUS khẳng định giá trị khoa học và đóng góp thiết thực của luận án cho lĩnh vực tối ưu hóa và giải tích phi tuyến.