Nghiên Cứu Điểm Bất Động và Điểm Cân Bằng Thành Phố Hồ Chí Minh - Năm 2023

Luận án tiến sĩ toán học khám phá ứng dụng dãy lặp trong nghiên cứu điểm bất động và điểm cân bằng, mở ra hướng đi mới trong toán học.

• Tác giả: Nguyen Trung Hieu
• Người hướng dẫn: PGS. Nguyen Bich Huy
• Trường học: Trường Đại Học Sư Phạm Thành Phố Hồ Chí Minh
• Chuyên ngành: Toán Giải Tích
• Đề tài: Nghiên Cứu Điểm Bất Động và Điểm Cân Bằng Trong Không Gian Banach
• Loại tài liệu: luận án
• Năm xuất bản: 2023
• Địa điểm: Thành Phố Hồ Chí Minh

Mục lục chi tiết

• LỜI CAM ĐOAN
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Một số khái niệm và kết quả trong không gian Banach. Một số khái niệm và kết quả liên quan đến khoảng cách Bregman
• 1.2. Điểm bất động của một số ánh xạ không giãn suy rộng
• 1.3. Nghiệm bài toán cân bằng và bài toán cân bằng có định tổng quát
• 2. CHƯƠNG 2: SỰ HỘI TỤ CỦA DÃY LẶP ĐẾN ĐIỂM BẤT ĐỘNG CHUNG CỦA ÁNH XẠ TRONG KHÔNG GIAN BANACH VỚI ĐỒ THỊ
• 2.1. Sự hội tụ dãy lặp hai bước, ba bước đến điểm bất động chung của hai và ba ánh xạ G-không giãn trong không gian Banach với đồ thị
• 2.2. Sự hội tụ của dãy lặp lai ghép đến điểm bất động chung của hai ánh xạ tựa G-ó-không giãn tiệm cận trong không gian Banach với đồ thị
• 3. CHƯƠNG 3: SỰ HỘI TỤ CỦA DÃY LẶP ĐẾN ĐIỂM CHUNG CỦA TẬP NGHIỆM BÀI TOÁN CÂN BẰNG VÀ TẬP ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ TRONG KHÔNG GIAN BANACH
• 3.1. Sự hội tụ của dãy lặp lai ghép đến điểm chung của tập nghiệm bài toán cân bằng (EP) và tập điểm bất động của ánh xạ tựa ó-không giãn tiệm cận trong không gian Banach trơn đều và lỗi chặt
• 3.2. Sự hội tụ của dãy lặp lai ghép đến điểm chung của tập nghiệm bài toán (GMEP) và tập điểm bất động của ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman trong không gian Banach phản xạ
• KẾT LUẬN VÀ KIẾN NGHỊ
• DANH MỤC CÔNG TRÌNH NGHIÊN CỨU LIÊN QUAN ĐẾN LUẬN ÁN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Điểm Bất Động và Cân Bằng Tổng Quan Nghiên Cứu Banach

Nghiên cứu về điểm bất động và điểm cân bằng trong không gian Banach là một lĩnh vực quan trọng của giải tích hàm và lý thuyết điểm bất động. Các khái niệm này xuất hiện trong nhiều bài toán toán học và ứng dụng kỹ thuật. Việc xác định và tìm kiếm các điểm này có ý nghĩa then chốt trong việc giải quyết các phương trình và bài toán liên quan. Theo tài liệu, nhiều vấn đề trong toán học và kỹ thuật dẫn đến việc giải phương trình T(x) = x, nghiệm x của phương trình này được gọi là điểm bất động của ánh xạ T. Các nhà nghiên cứu đã tập trung vào việc xây dựng các công cụ hiệu quả để khảo sát sự tồn tại và tìm kiếm điểm bất động của các ánh xạ. Việc nghiên cứu này đã thu hút sự quan tâm lớn từ các tác giả và đã tạo ra nhiều kết quả quan trọng trong lý thuyết điểm bất động.

1.1. Khái Niệm Cơ Bản về Không Gian Banach

Không gian Banach là một không gian vectơ định chuẩn đầy đủ. Điều này có nghĩa là mọi dãy Cauchy trong không gian đều hội tụ đến một điểm trong không gian đó. Các khái niệm liên quan như tính liên tục, sự hội tụ, và giới hạn có ý nghĩa quan trọng trong không gian Banach. Một ví dụ điển hình là không gian các hàm liên tục trên một khoảng đóng với chuẩn supremum. Theo tài liệu, không gian Banach (X, ||.||) là một không gian vectơ trên trường số thực (hoặc phức) cùng với một hàm ||.||: X -> R thỏa mãn các tính chất: ||x|| >= 0 với mọi x thuộc X, ||x|| = 0 khi và chỉ khi x = 0, ||ax|| = |a| ||x|| với mọi a thuộc trường số thực (hoặc phức) và x thuộc X, và ||x + y|| <= ||x|| + ||y|| với mọi x, y thuộc X. Một không gian Banach còn phải là không gian đầy đủ, tức là mọi dãy Cauchy trong không gian đó đều hội tụ đến một điểm trong không gian.

1.2. Điểm Bất Động Định Nghĩa và Ý Nghĩa

Điểm bất động của một ánh xạ T là một điểm x sao cho T(x) = x. Việc tìm kiếm điểm bất động có ứng dụng rộng rãi trong nhiều lĩnh vực, bao gồm giải phương trình, tối ưu hóa và kinh tế học. Một trong những kết quả quan trọng nhất trong lý thuyết điểm bất động là Nguyên lý ánh xạ co Banach, khẳng định sự tồn tại duy nhất và đưa ra phương pháp lặp để tìm điểm bất động của ánh xạ co. Nguyên lý này đã được mở rộng cho nhiều lớp ánh xạ tổng quát hơn và cho nhiều lớp không gian khác nhau. Cụ thể, Nguyên lý ánh xạ co Banach phát biểu rằng: Cho (X, d) là một không gian metric đầy đủ và T: X -> X là một ánh xạ co (contraction mapping). Khi đó, T có một điểm bất động duy nhất.

II. Thách Thức Nghiên Cứu Điểm Bất Động Hạn Chế Hiện Tại

Mặc dù đã có nhiều kết quả về điểm bất động, việc tìm kiếm và xác định chúng trong các không gian Banach phức tạp vẫn còn nhiều thách thức. Một trong những khó khăn là việc tìm kiếm các dãy lặp hội tụ đến điểm bất động cho các lớp ánh xạ không thỏa mãn điều kiện co. Nhiều kết quả chỉ đảm bảo sự tồn tại điểm bất động mà không cung cấp thuật toán hiệu quả để tìm kiếm chúng. Hơn nữa, các giả thiết về không gian Banach và tính chất của ánh xạ cũng có thể là những rào cản lớn. Theo tài liệu, việc xây dựng những kỹ thuật để tìm điểm bất động của ánh xạ không giãn và ánh xạ không giãn tiệm cận được nhiều tác giả quan tâm nghiên cứu [15]. Kỹ thuật cơ bản để tìm điểm bất động của ánh xạ không giãn và ánh xạ không giãn tiệm cận là xây dựng dãy lặp và nghiên cứu sự hội tụ của dãy lặp đến điểm bất động cũng như điểm bất động chung của những ánh xạ không giãn và ánh xạ không giãn tiệm cận.

2.1. Giới Hạn của Ánh Xạ Co Trong Không Gian Banach

Nguyên lý ánh xạ co Banach là một công cụ mạnh mẽ, nhưng nó chỉ áp dụng cho các ánh xạ co. Trong thực tế, nhiều ánh xạ không thỏa mãn điều kiện này. Việc mở rộng lý thuyết cho các lớp ánh xạ tổng quát hơn, chẳng hạn như ánh xạ không giãn, là một thách thức lớn. Ánh xạ không giãn là một lớp ánh xạ rộng hơn ánh xạ co, nhưng việc tìm điểm bất động của chúng khó khăn hơn nhiều. Theo tài liệu, năm 1965, Browder [14] đã giới thiệu một lớp ánh xạ tổng quát của lớp ánh co và được gọi là ánh xạ không giãn, đồng thời thiết lập điều kiện đủ cho sự tồn tại điểm bất động của lớp ánh xạ này trong không gian Banach lỗi đều.

2.2. Tính Toán Điểm Cân Bằng Độ Phức Tạp Thuật Toán

Việc tính toán điểm cân bằng trong không gian Banach, đặc biệt là khi liên quan đến các bài toán cân bằng tổng quát (GMEP), có thể rất phức tạp. Các thuật toán hiện tại có thể hội tụ chậm hoặc không hội tụ trong một số trường hợp. Việc tìm kiếm các thuật toán hiệu quả và ổn định hơn là một lĩnh vực nghiên cứu quan trọng. Bài toán cân bằng (EP) được Muu và Oettli [43] giới thiệu vào năm 1992, sau đó, một số kết quả về điều kiện đủ cho sự tồn tại nghiệm của bài toán cân bằng (EP) đã được thiết lập bởi Blum và Oettli [10], Noor và Oettli [47].

III. Phương Pháp Dãy Lặp Giải Pháp Nghiên Cứu Điểm Bất Động

Một phương pháp phổ biến để tìm kiếm điểm bất động là sử dụng các dãy lặp. Các dãy lặp như dãy Mann, dãy Halpern, và dãy Ishikawa đã được sử dụng rộng rãi trong nghiên cứu. Việc lựa chọn dãy lặp phù hợp và chứng minh sự hội tụ của nó là một vấn đề then chốt. Các nhà nghiên cứu cũng đã phát triển các kỹ thuật để tăng tốc độ hội tụ của các dãy lặp. Từ đó, nhiều kết quả về sự hội tụ của những dãy lặp đến điểm bất động của ánh xạ không giãn và ánh xạ không giãn tiệm cận đã được thiết lập trong không gian Hilbert cũng như trong không gian Banach [48, 66, 69].

3.1. Dãy Lặp Mann Ưu Điểm và Nhược Điểm

Dãy lặp Mann là một dãy lặp đơn giản và được sử dụng rộng rãi. Tuy nhiên, nó có thể hội tụ chậm trong một số trường hợp. Việc lựa chọn các tham số trong dãy lặp Mann có ảnh hưởng lớn đến tốc độ hội tụ. Để khắc phục hạn chế này, năm 2003, Nakajo và Takahashi [44] đã kết hợp dãy lặp Mann với phép chiếu metric trong không gian Hilbert để giới thiệu dãy lặp lai ghép như sau: Họ EQ Vp = đạt + (1 = ay) Tuy, Cy = {0 ED: |w — || < In — v|} Q, = {v € @: {uy — vua — Hạ) = 0} Unt = Po,ngnMo: trong đó, Pc„=o„ là phép chiếu từ @ lên C„í1@„.

3.2. Dãy Lặp Halpern Cải Thiện Tốc Độ Hội Tụ

Dãy lặp Halpern là một cải tiến của dãy lặp Mann và có thể hội tụ nhanh hơn trong một số trường hợp. Nó sử dụng một điểm cố định để điều chỉnh hướng của dãy lặp. Việc lựa chọn điểm cố định phù hợp có thể cải thiện đáng kể tốc độ hội tụ. Trong không gian Banach với đồ thị, năm 2018, Kangtunyakarn [35] đã tổng quát kết quả của Tiammee và cộng sự [79] để nghiên cứu sự hội tụ của dãy lap Halpern cho họ hữu han ánh xạ G-không giãn trong không gian Banach với đỗ thị.

IV. Ứng Dụng Điểm Bất Động Giải Bài Toán Cân Bằng EP

Nghiên cứu về điểm bất động có ứng dụng quan trọng trong việc giải các bài toán cân bằng (EP). Bài toán cân bằng là một mô hình tổng quát bao gồm nhiều bài toán tối ưu và bài toán bất đẳng thức biến phân. Việc tìm kiếm nghiệm của bài toán cân bằng có ý nghĩa thực tiễn trong nhiều lĩnh vực. Vì bài toán cân bằng (EP) là bài toán tổng quát của nhiều mô hình toán học khác như bài toán tối ưu, bài toán bất đẳng thức biến phân, bài toán điểm bất động nên bài toán cân bằng (EP) được nhiều tác giả quan tâm nghiên cứu theo nhiều hướng khác nhau, trong đó có hướng nghiên cứu sự tồn tại nghiệm, tính chất của tập nghiệm và phương pháp giải.

4.1. Liên Hệ Giữa Điểm Bất Động và Nghiệm EP

Nghiệm của bài toán cân bằng (EP) có thể được xem như điểm bất động của một ánh xạ liên quan. Việc sử dụng các kỹ thuật tìm kiếm điểm bất động có thể giúp giải quyết bài toán cân bằng. Một số tác giả đã xây dựng dãy lặp và khảo sát sự hội tụ của dãy lap này đến nghiệm của bài toán cân bằng hoặc đến hình chiếu của điểm xuất phát lên tập nghiệm của bài toán cân bằng. Cụ thể, năm 2005, Combettes và Hirstoaga [20] đã chứng minh rằng tập nghiệm của bài toán cân bằng (EP) là tập điểm bất động của ánh xạ giải thức H, : H ——› 2@.

4.2. Khoảng Cách Bregman Công Cụ Mới Cho Bài Toán EP

Khoảng cách Bregman là một công cụ hữu ích trong việc nghiên cứu bài toán cân bằng trong không gian Banach phản xạ. Nó cho phép xây dựng các ánh xạ giải thức và các dãy lặp hội tụ đến nghiệm của bài toán. Năm 2010, Reich và Sabach [57] đã sử dụng khái niệm khoảng cách Bregman, gradient của hàm khả vi Gâteaux,. để nghiên cứu bài toán cân bằng (EP) trong không gian Banach phản xạ. Các tác giả đã chứng minh rằng tập nghiệm của bài toán cân bang (EP) là tập điểm bất động của ánh xạ giải thức Res}: X — 2%.

V. Kết Luận Hướng Đi Mới Trong Nghiên Cứu Điểm Bất Động

Nghiên cứu về điểm bất động và điểm cân bằng trong không gian Banach vẫn là một lĩnh vực năng động và đầy tiềm năng. Các kết quả mới và các phương pháp tiếp cận mới liên tục được phát triển. Việc mở rộng lý thuyết cho các lớp ánh xạ và không gian Banach tổng quát hơn là một hướng đi quan trọng. Ngoài ra, việc phát triển các thuật toán hiệu quả và ổn định để tìm kiếm điểm bất động và nghiệm của bài toán cân bằng cũng là một mục tiêu quan trọng. Từ những phân tích trên, luận án tập trung nghiên cứu những nội dung sau: (1) So sánh tốc độ hội tụ đến điểm bất động chung của một số dãy lặp đã được giới thiệu bằng phép chứng minh và ví dụ minh họa tính toán. (2) Giới thiệu khái niệm ánh xạ tựa G-ó-không giãn và ánh xạ tựa G-ỏ-không giãn tiệm cận trong không gian Banach với đỗ thị.

5.1. Tổng Kết Các Kết Quả Nghiên Cứu Hiện Tại

Các kết quả nghiên cứu hiện tại đã cung cấp nhiều công cụ và kỹ thuật để nghiên cứu điểm bất động và điểm cân bằng. Tuy nhiên, vẫn còn nhiều vấn đề mở cần được giải quyết. Việc kết hợp các phương pháp khác nhau và phát triển các phương pháp mới có thể mang lại những đột phá quan trọng. Một số kết quả hội tụ của day lap cho họ hữu han bài toán cân bằng (EP) trong không gian Banach phản xạ đã được thiết lập. Tiếp tục hướng nghiên cứu này, một số tác giả quan tâm xây dựng những dãy lặp mới và ứng dụng vào nghiên cứu điểm chung của tập nghiệm bài toán cân bằng (EP) và tập điểm bất động của ánh xạ liên quan đến khoảng cách Bregman [39, 59, 68].

5.2. Triển Vọng và Hướng Nghiên Cứu Tương Lai

Nghiên cứu tương lai có thể tập trung vào việc phát triển các thuật toán hiệu quả hơn, mở rộng lý thuyết cho các lớp ánh xạ và không gian Banach tổng quát hơn, và áp dụng các kết quả vào các bài toán thực tế. Việc kết hợp lý thuyết điểm bất động với các lĩnh vực khác như học máy và khoa học dữ liệu cũng có thể mang lại những kết quả thú vị. Đến đây, một van dé cũng được đặt ra là tiếp tục xây dung những day lặp mới và chứng minh sự hội tụ của chúng đến điểm chung của tập nghiệm bài toán (GMEP) và tập điểm bất động của những ánh xa liên quan khoảng cách Bregman, trong đó có ánh xa tựa tiệm cận không giãn hoàn toàn Bregman.

Nội dung chính

Tổng quan về luận án

Lý thuyết điểm bất động phi tuyến và lý thuyết cân bằng là hai trụ cột của giải tích phi tuyến hiện đại, đóng vai trò nền tảng trong việc mô hình hóa và giải quyết các bài toán tối ưu hóa lồi, bất đẳng thức biến phân, phân tích cân bằng kinh tế và xử lý tín hiệu. Luận án tiến sĩ toán học với đề tài "Sử dụng một số dãy lặp trong nghiên cứu điểm bất động và điểm cân bằng", chuyên ngành Toán Giải tích (Mã số: 9460102), do nghiên cứu sinh Nguyễn Trung Hiếu thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Bích Huy và TS. Nguyễn Văn Dung tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh (2023), tập trung giải quyết các bài toán biên lý thuyết cốt lõi về sự hội tụ của các lược đồ lặp xấp xỉ điểm bất động chung và nghiệm cân bằng trên các cấu trúc hình học phi Hilbert.

Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án xác định bao gồm bốn nút thắt mang tính thời sự:

1. Các kết quả kinh điển của Browder (1965) và Goebel & Kirk (1972) chỉ xác lập điều kiện tồn tại điểm bất động cho ánh xạ không giãn và không giãn tiệm cận mà không cung cấp thuật toán kiến tạo tường minh. Hơn nữa, việc đánh giá tốc độ hội tụ của các lược đồ lặp trên cấu trúc đồ thị định hướng trong các nghiên cứu gần đây của Sridarat và cộng sự (2018), Thianwan & Yambangwai (2019) còn tồn tại mâu thuẫn về tiêu chí đo lường định lượng và sai sót về giả thiết tập lồi của tập cạnh đồ thị $E(G)$.
2. Sự hội tụ yếu của các dãy lặp đòi hỏi các giả thiết ngặt nghèo như điều kiện nửa compact, tính chất Opial (1967) hoặc điều kiện (A) của Senter & Dotson (1974). Để thu được sự hội tụ mạnh, phương pháp chiếu lai ghép (hybrid CQ projection) của Nakajo & Takahashi (2003) và Takahashi và cộng sự (2008) chủ yếu được thiết lập trong không gian Hilbert; việc mở rộng sang không gian Banach với cấu trúc đồ thị định hướng cho các lớp ánh xạ suy rộng vẫn là bài toán mở phức tạp do sự mất đi tính chất tích vô hướng tự nhiên.
3. Bài toán cân bằng (EP) của Muu & Oettli (1992) cùng mở rộng cân bằng hỗn hợp tổng quát (GMEP) của Darvish (2016) trên không gian Banach đòi hỏi các kỹ thuật giải thức (resolvent) phi tuyến thích ứng, trong khi việc tìm điểm chung của tập nghiệm cân bằng và tập điểm bất động của các ánh xạ tựa tiệm cận không giãn hoàn toàn vẫn chưa có thuật toán lặp lai ghép hội tụ mạnh hoàn chỉnh.

Để giải quyết triệt để các khoảng trống này, luận án đặt ra bốn câu hỏi nghiên cứu và bốn hệ giả thuyết trung tâm:

• Câu hỏi 1 (RQ1) & Giả thuyết 1 (H1): Liệu có thể xây dựng một cấu trúc lồi suy rộng mới trên tập cạnh đồ thị để khắc phục các sai sót cấu trúc trong các nghiên cứu quốc tế, đồng thời thiết lập một dãy lặp ba bước mới có tốc độ hội tụ vượt trội hơn các lược đồ S-lặp và SP-lặp hiện có theo tiêu chuẩn Popescu (2007)?
• Câu hỏi 2 (RQ2) & Giả thuyết 2 (H2): Có thể mở rộng phương pháp chiếu lai ghép từ không gian Hilbert sang không gian Banach trơn đều và lồi đều trang bị đồ thị định hướng cho lớp ánh xạ tựa $G$-$\phi$-không giãn tiệm cận mà không cần giả thiết nửa compact?
• Câu hỏi 3 (RQ3) & Giả thuyết 3 (H3): Khi kết hợp phiếm hàm Lyapunov $\phi$ và phép chiếu suy rộng $\Pi_\Omega$, dãy lặp lai ghép có bảo toàn sự hội tụ mạnh đến điểm chung của tập nghiệm bài toán cân bằng (EP) và tập điểm bất động của ánh xạ tựa $\phi$-không giãn tiệm cận trong không gian Banach lồi chặt và trơn đều?
• Câu hỏi 4 (RQ4) & Giả thuyết 4 (H4): Thông qua khoảng cách Bregman $D_g$ và hàm Legendre, việc hiệu chỉnh toán tử giải thức $Res_{f,\varphi,\psi}^g$ có loại bỏ được điểm kỳ dị về miền xác định để chứng minh sự hội tụ mạnh của thuật toán chiếu Bregman lai ghép đến nghiệm của bài toán cân bằng hỗn hợp tổng quát (GMEP) trong không gian Banach phản xạ?

Khung lý thuyết phân tích của công trình được định vị vững chắc trên nền tảng Giải tích hàm phi tuyến, Lý thuyết toán tử đơn điệu, Hình học không gian Banach (tính lồi đều, trơn đều, phản xạ, tính chất Kadec-Klee) và Lý thuyết tối ưu hóa lồi Bregman. Đóng góp đột phá của luận án được lượng hóa qua 04 công trình khoa học công bố trên các tạp chí chuyên ngành quốc tế và kỷ yếu hội nghị quốc tế uy tín (như ISAS 2019, 2021). Phạm vi nghiên cứu bao quát toàn diện các không gian Banach tổng quát vô hạn chiều, vượt khỏi biên giới không gian Hilbert và giải quyết triệt để sự phụ thuộc vào các điều kiện compact cục bộ.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết điểm bất động phi tuyến ghi nhận bước ngoặt khi Browder (1965) mở rộng Nguyên lý ánh xạ co Banach sang lớp ánh xạ không giãn trên không gian Banach lồi đều, tiếp nối bởi Goebel & Kirk (1972) với lớp ánh xạ không giãn tiệm cận. Tuy nhiên, như luận án đã trích dẫn trực tiếp từ văn bản gốc:

"Việc xây dựng những công cụ hữu hiệu để khảo sát sự tồn tại và tìm điểm bất động của ánh xạ $T$ là chủ đề quan trọng trong lĩnh vực lí thuyết điểm bất động và thu hút nhiều tác giả quan tâm nghiên cứu."

Để tìm nghiệm xấp xỉ tường minh, hàng loạt lược đồ lặp đã ra đời: dãy lặp Mann (1953), Ishikawa (1974), Halpern (1967), Noor (2000), dãy S-lặp của Agarwal và cộng sự (2007), SP-lặp của Phuengrattana & Suantai (2011), và dãy lặp Thakur (2014).

Một bước tiến quan trọng diễn ra khi Jachymski (2008) kết hợp lý thuyết đồ thị với giải tích phi tuyến để giới thiệu ánh xạ $G$-co trên không gian metric trang bị đồ thị định hướng $G = (V(G), E(G))$. Ngay sau đó, Aleomraninejad và cộng sự (2012) mở rộng cho ánh xạ $G$-không giãn, và Sangago và cộng sự (2018) đề xuất lớp ánh xạ $G$-không giãn tiệm cận. Song song đó, các tác giả như Suparatulatorn và cộng sự (2018), Sridarat và cộng sự (2018), Thianwan & Yambangwai (2019), Yambangwai và cộng sự (2019) đã xây dựng các dãy lặp hai bước, ba bước để xấp xỉ điểm bất động chung. Tuy nhiên, một cuộc tranh luận học thuật sâu sắc nảy sinh xung quanh hai vấn đề:

1. Đo lường tốc độ hội tụ: Berinde (2004) đưa ra định nghĩa so sánh tốc độ hội tụ dựa trên dãy chặn sai số $|u_n - p| \le a_n$ và $|v_n - p| \le b_n$. Popescu (2007) đã chỉ ra mâu thuẫn nội tại của định nghĩa Berinde qua các phản ví dụ cụ thể, chứng minh rằng kết luận phụ thuộc hoàn toàn vào việc chọn dãy trung gian ${a_n}, {b_n}$, từ đó đề xuất chuẩn so sánh thương số trực tiếp $\lim_{n \to \infty} \frac{|u_n - p|}{|v_n - p|} = 0$. Quan điểm này tiếp tục được Phuengrattana & Suantai (2013) và Zalinescu (2021) củng cố. Luận án đã định vị lập trường phân tích theo chuẩn giải tích chính xác của Popescu.
2. Tính hợp lệ hình học của tập cạnh đồ thị: Luận án phát hiện lỗ hổng nghiêm trọng trong các công trình quốc tế công bố trước đó:

"Trong [70, Example 4.1]... Tuy nhiên $(2,2) \notin E(G)$ và do đó điều kiện $E(G) \supset {(u,u) : u \in V(G)}$ không được thỏa mãn. Trong [71, Example 4.2]... $(3,3) \notin E(G)...$ Do đó, $E(G)$ không là tập lồi." Việc áp đặt giả thiết $E(G)$ là tập lồi trong tích Descartes $X \times X$ là quá ngặt và dẫn đến sự vô hiệu của các ví dụ minh họa kinh điển.

                  TIẾN TRÌNH TIẾP NỐI VÀ ĐỊNH VỊ HỌC THUẬT

Trong địa hạt bài toán cân bằng, Muu & Oettli (1992), Blum & Oettli (1994), Combettes & Hirstoaga (2005) đã đặt nền móng cho cấu trúc toán tử giải thức $H_r$. Takahashi & Zembayashi (2009) mở rộng giải bài toán cân bằng trên Banach trơn đều và lồi đều bằng phiếm hàm Lyapunov $\phi(u,v) = |u|^2 - 2\langle u, Jv\rangle + |v|^2$. Reich & Sabach (2010) tiếp tục tạo bước nhảy vọt khi áp dụng khoảng cách Bregman $D_g(x,y)$ trong không gian Banach phản xạ, tạo tiền đề để Chang và cộng sự (2016) giới thiệu lớp ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman và Darvish (2016) đề xuất mô hình cân bằng hỗn hợp tổng quát (GMEP).

Luận án tự định vị là công trình tiên phong hợp nhất ba nhánh lý thuyết: (i) Lý thuyết xấp xỉ điểm bất động trên đồ thị với cấu trúc lồi theo tọa độ; (ii) Phương pháp chiếu lai ghép không gian Banach cho ánh xạ tựa $\phi$-không giãn tiệm cận; và (iii) Thuật toán chiếu Bregman tối ưu cho bài toán cân bằng hỗn hợp tổng quát (GMEP).

Đó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 những bước tiến mang tính đột phá, mở rộng và hoàn thiện hệ thống định lý giải tích hàm phi tuyến thông qua các đóng góp cụ thể:

1. Khái niệm tập lồi theo tọa độ (Coordinate-convex sets): Luận án mở rộng khái niệm tập lồi trên tích Descartes $X \times X$. Một tập con $D \subset X \times X$ được gọi là lồi theo tọa độ nếu với mọi $t \in [0, 1]$ và mọi $(p, u), (p, v) \in D$ thì $(p, (1-t)u + tv) \in D$, đồng thời với mọi $(u, p), (v, p) \in D$ thì $((1-t)u + tv, p) \in D$. Khái niệm này nới lỏng giả thiết lồi toàn phần ngặt nghèo của tập cạnh $E(G)$, cứu vãn tính hợp lệ của toàn bộ lớp bài toán điểm bất động trên không gian Banach với đồ thị vốn bị vướng phản ví dụ trong các công bố của Suparatulatorn và cộng sự (2018) và Sridarat và cộng sự (2018).
2. Lớp ánh xạ tựa $G$-$\phi$-không giãn và tựa $G$-$\phi$-không giãn tiệm cận: Luận án thiết lập định nghĩa toán học chuẩn xác cho hai lớp toán tử phi tuyến mới trên không gian Banach trơn trang bị đồ thị định hướng: Ánh xạ $T: \Omega \to \Omega$ được gọi là tựa $G$-$\phi$-không giãn tiệm cận nếu $T$ bảo toàn cạnh đồ thị ($(u,v) \in E(G) \implies (Tu, Tv) \in E(G)$), $F(T) \neq \emptyset$ và tồn tại dãy ${k_n} \subset [1, \infty)$ với $\lim_{n \to \infty} k_n = 1$ sao cho với mọi $u \in \Omega$ và $p \in F(T)$ thỏa $(u, p) \in E(G)$, ta có: $$\phi(p, T^n u) \le k_n \phi(p, u), \quad \forall n \in \mathbb{N}^*$$ Luận án chứng minh tính chất đóng và lồi của tập điểm bất động $F(T)$ trong không gian Banach lồi chặt, trơn và phản xạ, tạo tiền đề để áp dụng phép chiếu suy rộng.
3. Hoàn thiện toán tử giải thức Bregman cho bài toán GMEP: Luận án phát hiện trong công thức giải thức gốc của Darvish (2016) chứa số hạng $\psi(u)$ với $u \in X$, tuy nhiên do $\text{dom}(\psi) = \Omega \subset X$, giá trị $\psi(u)$ không xác định khi $u \in X \setminus \Omega$. Luận án đã hiệu chỉnh công thức giải thức $Res_{f,\varphi,\psi}^g: X \to 2^\Omega$: $$Res_{f,\varphi,\psi}^g (x) = {w \in \Omega : f(w,y) + \langle \psi(w), y-w\rangle + \varphi(y) - \varphi(w) + \langle \nabla g(w) - \nabla g(x), y-w\rangle \ge 0, \forall y \in \Omega}$$ Chứng minh rằng $\text{dom}(Res_{f,\varphi,\psi}^g) = X$, toán tử này là đơn trị, không giãn vững Bregman và $F(Res_{f,\varphi,\psi}^g) = GMEP(f, \varphi, \psi)$.

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

Khung phân tích của luận án tích hợp liên ngành giữa ba trường phái toán học: (1) Cấu trúc hình học Banach vi phân (Ánh xạ đối ngẫu chuẩn tắc $J$, phiếm hàm Lyapunov $\phi$); (2) Hình học lồi Bregman (Hàm Legendre, đối ngẫu Fenchel $g^*$, đạo hàm Fréchet đều); và (3) Cấu trúc tôpô đồ thị định hướng có tính bắc cầu $G = (V(G), E(G))$ kết hợp tính chất $(G)$ của tập lồi $\Omega$.

graph TD
    A["Không gian Banach (X, ||.||)"] --> B["Cấu trúc Đồ thị G = (V(G), E(G))"]
    A --> C["Hình học Vi phân & Lyapunov: J, phi(u,v), Pi_Omega"]
    A --> D["Tối ưu hóa Lồi Bregman: g Legendre, D_g(x,y), P_Omega^g"]
    
    B --> E["Tập lồi theo tọa độ & Ánh xạ G-không giãn"]
    C --> F["Dãy lặp lai ghép Banach: Hội tụ mạnh đến F(T) giao EP(f)"]
    D --> G["Toán tử giải thức hiệu chỉnh Res: Hội tụ mạnh đến F(T) giao GMEP"]
    
    E --> H["Khung Thuật toán Lặp Hội tụ Mạnh Tối ưu"]
    F --> H
    G --> H

Biên điều kiện (boundary conditions) được thiết lập chặt chẽ:

• Không gian nền $X$ bắt buộc phải là Banach lồi chặt, trơn đều hoặc Banach phản xạ có tính chất Kadec-Klee.
• Đồ thị định hướng $G$ không chứa cạnh song song, có tính phản xạ ($(u,u) \in E(G)$) và tính bắc cầu ($(u,v), (v,w) \in E(G) \implies (u,w) \in E(G)$).
• Hàm sinh Bregman $g$ phải là hàm Legendre, khả vi Fréchet đều và thỏa mãn điều kiện cưỡng bức mạnh ($\lim_{|x| \to \infty} \frac{g(x)}{|x|} = +\infty$).

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ nghiêm ngặt quan điểm nhận thức luận duy lý toán học diễn dịch (Deductive Rationalism / Mathematical Positivism). Toàn bộ hệ thống kết quả được phát triển thông qua các chứng minh toán học thuần túy với độ chính xác tuyệt đối, không dựa trên các xấp xỉ kinh nghiệm thiếu chứng cứ tiên nghiệm.

Thiết kế nghiên cứu đa tầng (Multi-level Analytical Design) bao gồm:

• Tầng 1 (Hình học giải tích): Khảo sát vi mô cấu trúc metric của không gian Banach thông qua các môđun trơn đều $\rho_X(t)$ và môđun lồi đều $\delta_X(\epsilon)$, đánh giá hành vi phi tuyến của ánh xạ đối ngẫu chuẩn tắc $J(x) = {x^* \in X^* : \langle x^, x\rangle = |x|^2 = |x^|^2}$.
• Tầng 2 (Lược đồ thuật toán): Thiết kế các bước lặp nhiều tầng (hai bước, ba bước, lặp lai ghép kết hợp phép chiếu giao các nửa không gian đóng $C_n \cap Q_n$).
• Tầng 3 (Phân tích tiệm cận và hội tụ): Đánh giá giới hạn dãy số, phân tích tính bị chặn, sử dụng bổ đề Kadec-Klee và điều kiện Opial để suy ra hội tụ mạnh từ hội tụ yếu.

Quy trình nghiên cứu rigorous

Quy trình giải tích được thiết kế theo giao thức 5 bước chuẩn mực:

1. Kiểm định tiên nghiệm miền xác định (Domain Validation): Thiết lập điều kiện khả vi Gâteaux/Fréchet của hàm lồi $g$, xác định miền giá trị $\text{ran}(\nabla g) = \text{int}(\text{dom}(g^*))$ và chứng minh tính đơn trị của toán tử giải thức.
2. Thiết lập tính bất biến cạnh đồ thị: Chứng minh bằng quy nạp toán học rằng mọi phần tử của dãy lặp ${u_n}, {v_n}, {w_n}$ đều thỏa mãn quan hệ cạnh $((u_n, p) \in E(G), (p, u_n) \in E(G))$ với mọi điểm bất động $p \in F$.
3. Xây dựng tập đóng lồi phân tách $C_n$ và $Q_n$: Tại mỗi bước lặp $n$, xác định các tập: $$C_n = {w \in \Omega : \phi(w, v_n) \le \phi(w, u_n) + \theta_n}$$ $$Q_n = {w \in \Omega : \langle u_n - w, J u_0 - J u_n\rangle \ge 0}$$ Chứng minh rằng $F \subset C_n \cap Q_n$ với mọi $n \ge 1$, bảo đảm tính khả thi của phép chiếu suy rộng $u_{n+1} = \Pi_{C_n \cap Q_n}(u_0)$.
4. Triệt tiêu tính phụ thuộc compact (Decoupling Compactness): Thay vì đòi hỏi toán tử $T$ phải nửa compact hoặc không gian có tính chất Opial, luận án sử dụng tính chất hình học của phép chiếu suy rộng $\phi(u_n, u_0) \le \phi(p, u_0) - \phi(p, u_n)$ để ép dãy ${\phi(u_n, u_0)}$ tăng và bị chặn, suy ra $\lim_{n \to \infty} |u_{n+1} - u_n| = 0$.
5. Tam giác hóa chứng minh (Proof Triangulation): Kết hợp giữa lý thuyết bất đẳng thức giải tích, đối ngẫu Fenchel-Moreau và tính chất Kadec-Klee của không gian Banach phản xạ để cô lập điểm giới hạn duy nhất.

Data và phân tích

Trong nghiên cứu toán học thuần túy lý thuyết, "dữ liệu" là hệ thống các mô hình giải tích số thực, hàm số giải tích và ma trận không gian được thiết kế chính xác để kiểm thử thuật toán.

Các thông số tham số hóa và cấu hình thuật toán được lượng hóa chi tiết:

• Dãy tham số hồi quy: $a_n, b_n, c_n \in [0, 1]$ thỏa mãn $0 < \liminf_{n \to \infty} a_n \le \limsup_{n \to \infty} a_n < 1$.
• Dãy hệ số tiệm cận: ${k_n} \subset [1, \infty)$ với $\sum_{n=1}^\infty (k_n - 1) < \infty$.
• Hệ số bán kính siêu cầu: $B_r = {x \in X : |x| \le r}$ với $r > 0$.

Bảng tham số kỹ thuật và đặc trưng hình học không gian:

Đại lượng / Cấu trúc	Ký hiệu toán học	Không gian áp dụng	Vai trò trong thuật toán
Phiếm hàm Lyapunov	$\phi(u,v) = |u|^2 - 2\langle u, Jv\rangle + |v|^2$	Banach trơn	Đo sai số phi tuyến thay cho $|u-v|^2$
Khoảng cách Bregman	$D_g(x,y) = g(x)-g(y)-\langle\nabla g(y), x-y\rangle$	Banach phản xạ	Thay thế khoảng cách metric Euclid
Phép chiếu suy rộng	$\Pi_\Omega(x) = \arg\min_{y \in \Omega} \phi(y, x)$	Banach lồi chặt, trơn, phản xạ	Tạo bước lặp hội tụ mạnh $u_{n+1} = \Pi_{C_n \cap Q_n}(u_0)$
Phép chiếu Bregman	$P_\Omega^g(x) = \arg\min_{y \in \Omega} D_g(y, x)$	$\text{int}(\text{dom}(g))$	Thực hiện phép chiếu phi tuyến theo hàm Legendre $g$
Ánh xạ đối ngẫu chuẩn tắc	$J(x) = \partial\left(\frac{1}{2}|x|^2\right)$	$X \to X^*$	Cầu nối đẳng cự giữa không gian gốc và đối ngẫu

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

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

Luận án xác lập 5 phát hiện đột phá mang tính bản lề:

1. Chứng minh tính ưu việt vượt trội về tốc độ hội tụ của Dãy SP-lặp cải tiến ba bước: Luận án thiết lập dãy lặp ba bước (2.7) cho ba ánh xạ $G$-không giãn $T_1, T_2, T_3$: $$\begin{cases} w_n = (1-c_n)u_n + c_n T_3 u_n \ v_n = (1-b_n)T_2 w_n + b_n T_1 w_n \ u_{n+1} = (1-a_n)T_3 v_n + a_n T_1 v_n \end{cases}$$ Sử dụng tiêu chuẩn thương số Popescu (2007), luận án chứng minh rằng với $a_n \in [0, \delta], \delta \in [0, \frac{1}{1+\alpha})$, dãy lặp (2.7) hội tụ đến điểm bất động chung $p \in F(T_1) \cap F(T_2) \cap F(T_3)$ với tốc độ nhanh hơn hẳn dãy lặp Ishikawa (2.1), dãy S-lặp (2.2), dãy SP-lặp gốc (2.3) của Sridarat và cộng sự (2018), và dãy S-lặp cải tiến (2.4) của Thianwan & Yambangwai (2019). Sai số co giảm theo cấp số nhân: $$|u_{n+1} - p| \le \alpha^n [1 - (1-\alpha)b_0]^n |u_1 - p|$$ trong đó $\alpha = \max{\alpha_1, \alpha_2, \alpha_3} < 1$.

2. Giải quyết triệt để nghịch lý tập lồi trên đồ thị: Bằng việc đưa vào khái niệm tập lồi theo tọa độ, luận án chứng minh định lý tồn tại và đóng của tập điểm bất động $F(T)$ mà không cần đòi hỏi tập cạnh $E(G)$ phải là tập lồi trên $X \times X$, khắc phục toàn bộ các lỗ hổng logic toán học tồn tại trong loạt công trình quốc tế từ năm 2018–2021.

3. Thiết lập định lý hội tụ mạnh của phương pháp chiếu CQ cho ánh xạ tựa $G$-$\phi$-không giãn tiệm cận: Luận án chứng minh rằng dãy lặp lai ghép: $$\begin{cases} u_0 \in \Omega \ v_n = J^{-1}\left(\alpha_n J u_n + (1-\alpha_n) J T^n u_n\right) \ C_n = {w \in \Omega : \phi(w, v_n) \le \phi(w, u_n) + (k_n - 1) M_n} \ Q_n = {w \in \Omega : \langle u_n - w, J u_0 - J u_n\rangle \ge 0} \ u_{n+1} = \Pi_{C_n \cap Q_n}(u_0) \end{cases}$$ hội tụ mạnh trong không gian Banach trơn đều và lồi đều về điểm $\Pi_{F(T)}(u_0)$, loại bỏ hoàn toàn yêu cầu về tính nửa compact hay điều kiện (A) của Senter & Dotson.

4. Khám phá nghiệm chung duy nhất giữa Bài toán Cân bằng (EP) và Điểm bất động tựa $\phi$-không giãn: Luận án chứng minh dãy lặp lai ghép tích hợp toán tử giải thức $H_{r_n}$: $$z_n = H_{r_n}(u_n), \quad y_n = J^{-1}\left(\beta_n J u_n + (1-\beta_n) J T^n z_n\right)$$ hội tụ mạnh theo chuẩn Banach về hình chiếu suy rộng $u^* = \Pi_{EP(f) \cap F(T)}(u_0)$ trong không gian Banach trơn đều và lồi chặt.

5. Xác lập định lý hội tụ mạnh tối ưu cho Bài toán Cân bằng Hỗn hợp Tổng quát (GMEP) và Ánh xạ Bregman: Với ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman $T$, thuật toán chiếu Bregman lai ghép: $$u_{n+1} = P_{C_n \cap Q_n}^g (u_0)$$ được chứng minh hội tụ mạnh đến điểm $P_{GMEP(f,\varphi,\psi) \cap F(T)}^g(u_0)$ trong không gian Banach phản xạ, giải quyết trọn vẹn bài toán mở đặt ra bởi Darvish (2016) và Chang và cộng sự (2016).

          BẢNG SO SÁNH HIỆU NĂNG TỐC ĐỘ HỘI TỤ THEO TIÊU CHUẨN POPESCU

Implications đa chiều

• Về mặt lý thuyết thuần túy: Mở rộng biên giới giải tích hàm phi tuyến, tạo bước chuyển dịch mô hình (paradigm shift) từ không gian Hilbert cổ điển sang các lớp không gian Banach tổng quát trang bị cấu trúc topo đồ thị và khoảng cách Bregman.
• Về phương pháp luận: Cung cấp khung thuật toán chiếu lai ghép tổng quát, có thể chuyển giao trực tiếp để nghiên cứu các lớp toán tử n-tạp đơn điệu cực đại, bài toán biến phân bao hàm (variational inclusions) và hệ động lực phi tuyến.
• Về ứng dụng thực tiễn: Cung cấp công cụ toán học nền tảng cho việc giải quyết các bài toán biên tối ưu hóa đa mục tiêu, khôi phục ảnh số trong xử lý tín hiệu (image deblurring/reconstruction), và cân bằng Nash trong mạng lưới kinh tế phức hợp.

Limitations và Future Research

Nhìn nhận khách quan dưới góc độ toán học phản biện, công trình có một số giới hạn biên lý thuyết nhất định:

1. Độ phức tạp tính toán của phép chiếu giao tập lồi: Tại mỗi bước lặp, việc xác định hình chiếu suy rộng $\Pi_{C_n \cap Q_n}$ hoặc phép chiếu Bregman $P_{C_n \cap Q_n}^g$ đòi hỏi giải một bài toán quy hoạch lồi phụ thuộc thời gian (sub-problem convex optimization), làm gia tăng chi phí tính toán khi chuyển giao sang các thuật toán số xấp xỉ rời rạc.
2. Ràng buộc cấu trúc đồ thị: Các định lý hội tụ trong Chương 2 vẫn phụ thuộc vào tính bắc cầu của tập cạnh $E(G)$. Khi đồ thị định hướng mất đi tính bắc cầu, việc kiểm soát dãy lặp trở nên phức tạp và chưa được bao quát hoàn toàn.
3. Tính trơn đều của không gian Banach: Một số kết quả trong Chương 3 đòi hỏi không gian Banach vừa phải trơn đều vừa phải lồi chặt/lồi đều, loại trừ một số không gian hàm thực tế như $L^1(\mu)$ hoặc $C[a, b]$.

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

• Phát triển các thuật toán chiếu tự do (projection-free algorithms) hoặc phương pháp co quán tính (inertial forward-backward splitting) trên đồ thị nhằm giảm thiểu độ phức tạp tính toán của bước chiếu $\Pi_{C_n \cap Q_n}$.
• Nới lỏng điều kiện bắc cầu của đồ thị $G$, mở rộng sang các lớp đồ thị ngẫu nhiên và siêu đồ thị (hypergraphs).
• Mở rộng các kết quả hội tụ sang các cấu trúc không gian phi tuyến metric có độ cong dương/âm như không gian Hadamard ($CAT(0)$ và $CAT(\kappa)$ spaces).
• Ứng dụng thuật toán vào việc giải các mô hình cân bằng Walrasian và cân bằng mạng lưới giao thông thông minh quy mô lớn.

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

Công trình luận án tạo ra những giá trị học thuật và ứng dụng có thể định lượng rõ nét:

• Tác động học thuật quốc tế: Đóng góp trực tiếp 04 công trình nghiên cứu trên các diễn đàn khoa học chuyên ngành; dự kiến thu hút trích dẫn khoa học cao từ cộng đồng giải tích phi tuyến và tối ưu hóa quốc tế trong các hướng nghiên cứu về Fixed Point Theory and Algorithms for Sciences and Engineering.
• Tác động trong đào tạo và nghiên cứu: Cung cấp tài liệu tham khảo giải tích chuyên sâu chuẩn mực cho các chương trình đào tạo sau đại học chuyên ngành Toán Giải tích, Toán Ứng dụng tại Việt Nam và khu vực.
• Chuyển giao thuật toán công nghệ: Các lược đồ lặp lai ghép và thuật toán giải thức Bregman có tiềm năng ứng dụng trực tiếp trong các thuật toán máy học (Machine Learning Optimization), mạng nơ-ron học sâu (Deep Neural Networks với các hàm kích hoạt phi giãn), và kỹ thuật nén cảm biến (Compressed Sensing).

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

• Nghiên cứu sinh và học viên cao học Toán học: Thừa hưởng các kỹ thuật chứng minh giải tích hàm phi tuyến hiện đại, phương pháp xử lý phiếm hàm Lyapunov và khoảng cách Bregman trong không gian Banach.
• Các nhà nghiên cứu giải tích phi tuyến và tối ưu: Tiếp cận hệ thống định lý hoàn chỉnh về dãy lặp trên đồ thị định hướng và lời giải cho bài toán cân bằng tổng quát (GMEP).
• Kỹ sư R&D và chuyên gia khoa học dữ liệu: Vận dụng các thuật toán chiếu lai ghép tối ưu để nâng cao tốc độ hội tụ và độ chính xác của các mô hình tối ưu hóa lồi quy mô lớn.
• Các nhà hoạch định chính sách kinh tế lượng: Ứng dụng mô hình bài toán cân bằng tổng quát để phân tích cân bằng thị trường tài chính và phân bổ nguồn lực công.

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à đã mở rộng lý thuyết nào? Trả lời: Đóng góp độc đáo nhất là việc phát minh khái niệm "Tập lồi theo tọa độ" và hiệu chỉnh toán tử giải thức Bregman $Res_{f,\varphi,\psi}^g$. Công trình đã mở rộng trực tiếp Lý thuyết điểm bất động trên đồ thị của Jachymski (2008) và Lý thuyết toán tử giải thức cân bằng Bregman của Reich & Sabach (2010), Darvish (2016) từ không gian Hilbert sang không gian Banach phản xạ tổng quát.

2. Đột phá phương pháp luận của luận án khi so sánh với các nghiên cứu tiền nhiệm? Trả lời: So với phương pháp của Nakajo & Takahashi (2003) (chỉ giới hạn trong không gian Hilbert) và Sridarat và cộng sự (2018) (bị vướng lỗi tập lồi đồ thị), luận án đã thiết lập thành công phương pháp chiếu lai ghép suy rộng $\Pi_{C_n \cap Q_n}$ và chiếu Bregman $P_{C_n \cap Q_n}^g$ trong không gian Banach trơn đều/phản xạ, hoàn toàn thoát ly khỏi giả thiết compact hay tính chất Opial.

3. Phát hiện bất ngờ nhất có dữ liệu toán học minh chứng là gì? Trả lời: Phát hiện rằng tiêu chuẩn so sánh tốc độ hội tụ kinh điển của Berinde (2004) bị lỗi logic phụ thuộc dãy chặn; và việc áp dụng tiêu chuẩn thương số Popescu (2007) chứng minh dãy SP-lặp cải tiến ba bước (2.7) của luận án đạt tốc độ co cấp số nhân nhanh hơn toàn bộ các dãy lặp hai bước, ba bước đã công bố trong giai đoạn 2018–2019.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) tường minh không? Trả lời: Hoàn toàn tường minh. Mọi thuật toán lặp (dãy lặp (2.7), các dãy lặp lai ghép trong Chương 2 và Chương 3) đều được định nghĩa với các công thức giải tích giải tích xác định, các dãy số tham số ${\alpha_n}, {\beta_n}, {r_n}$ có điều kiện biên định lượng rõ ràng kèm theo các ví dụ giải tích số minh họa chi tiết.

5. Lộ trình phát triển nghiên cứu trong 10 năm tới được phác thảo như thế nào? Trả lời: Lộ trình tập trung vào việc loại bỏ bước chiếu tốn kém trên tập đóng $C_n \cap Q_n$ bằng cách phát triển các lược đồ lặp quán tính (inertial extrapolation techniques), mở rộng sang không gian metric phi tuyến Hadamard ($CAT(0)$) và giải quyết các bài toán tối ưu phân tán trên mạng đồ thị lớn.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Trung Hiếu là một công trình khoa học xuất sắc, mẫu mực về tính chuẩn xác giải tích và chiều sâu học thuật, đúc kết qua 6 đóng góp cốt lõi:

1. Định nghĩa thành công cấu trúc tập lồi theo tọa độ, khắc phục hoàn toàn các sai sót về tập lồi cạnh đồ thị trong y văn quốc tế.
2. Thiết kế dãy SP-lặp cải tiến ba bước mới, chứng minh toán học chuẩn xác về tính ưu việt tốc độ hội tụ theo tiêu chuẩn Popescu.
3. Sáng tạo lớp ánh xạ tựa $G$-$\phi$-không giãn và tựa $G$-$\phi$-không giãn tiệm cận, hoàn thiện lý thuyết điểm bất động trên Banach trang bị đồ thị.
4. Thiết lập định lý hội tụ mạnh cho phương pháp chiếu lai ghép Banach, giải phóng thuật toán khỏi sự phụ thuộc vào tính compact và điều kiện Opial.
5. Hiệu chỉnh hoàn hảo toán tử giải thức $Res_{f,\varphi,\psi}^g$, giải quyết triệt để bài toán cân bằng hỗn hợp tổng quát (GMEP) kết hợp ánh xạ Bregman toàn phần.
6. Mở ra ba hướng nghiên cứu liên ngành mới: Giải tích lồi Bregman trên đồ thị, Phương pháp chiếu suy rộng cho hệ động lực phi tuyến, và Tối ưu hóa cân bằng đa biến trên không gian vô hạn chiều.