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

Luận án tiến sĩ toán học: Nghiên cứu điểm bất động và điểm cân bằng thông qua việc sử dụng các dãy lặp. Ứng dụng trong giải tích và toán học.

• Tác giả: Nguyễn Trung Hiếu
• Người hướng dẫn: Nguyễn Bích 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: 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
• Loại tài liệu: Luận án tiến sĩ
• 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
• 1.2. Một số khái niệm và kết quả liên quan đến khoảng cách Bregman
• 1.3. Điểm bất động của một số ánh xạ không giãn suy rộng
• 1.4. 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Ị
• 1. Kết luận
• 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. Tổng Quan Nghiên Cứu Điểm Bất Động Ý Nghĩa Ứng Dụng

Nghiên cứu về điểm bất động và cân bằng bằng dãy lặp là một lĩnh vực quan trọng trong toán học, đặc biệt là trong phân tích hàm và giải tích số. Bài toán tìm điểm bất động của một ánh xạ, tức là tìm điểm x sao cho T(x) = x, xuất hiện trong nhiều lĩnh vực khoa học kỹ thuật. 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 là một chủ đề được quan tâm rộng rãi. Một trong những kết quả cơ bản là Nguyên lý ánh xạ co Banach, khẳng định sự tồn tại và cung cấp kỹ thuật tìm điểm bất động của ánh xạ co. Luận án tiến sĩ này đào sâu vào việc mở rộng nguyên lý này cho các lớp ánh xạ tổng quát hơn và trong các không gian khác nhau. Trích dẫn từ tài liệu gốc: “Nhiều vấn đề trong toán học và trong những ngành khoa học kĩ thuật dẫn đến việc giải phương trình T x = x.”

1.1. Lịch Sử Phát Triển của Nghiên Cứu Điểm Bất Động

Lịch sử nghiên cứu điểm bất động chứng kiến sự phát triển từ Nguyên lý ánh xạ co Banach đến các mở rộng cho ánh xạ không giãn và ánh xạ không giãn tiệm cận. Browder giới thiệu ánh xạ không giãn năm 1965, và Goebel, Kirk tổng quát hóa khái niệm này năm 1972. Tuy nhiên, các kết quả ban đầu chỉ khẳng định sự tồn tại mà không cung cấp phương pháp tìm kiếm. Việc xây dựng dãy lặp và nghiên cứu sự hội tụ của chúng trở thành hướng nghiên cứu chính. Các thuật toán như dãy lặp Mann, Halpern, Ishikawa, Noor đã được phát triển và phân tích.

1.2. Vai Trò của Không Gian Banach trong Nghiên Cứu Điểm Bất Động

Không gian Banach đóng vai trò then chốt trong nghiên cứu điểm bất động, đặc biệt là khi xem xét các ánh xạ trên các không gian hàm. Các tính chất của không gian Banach, như tính lồi đều và trơn đều, ảnh hưởng đến sự tồn tại và tính chất của điểm bất động. Các kết quả về sự hội tụ của dãy lặp thường phụ thuộc vào các giả thiết về không gian Banach. Ánh xạ đối ngẫu chuẩn tắc J và phiếm hàm Lyapunov cũng được sử dụng rộng rãi trong không gian này.

1.3. Ứng Dụng Rộng Rãi của Nghiên Cứu Điểm Bất Động trong Toán Học

Nghiên cứu về điểm bất động có nhiều ứng dụng trong các lĩnh vực khác nhau của toán học, bao gồm giải tích, giải tích số, lý thuyết trò chơi, và phương trình vi phân. Bài toán tìm nghiệm của phương trình T(x) = x có thể mô hình hóa nhiều vấn đề thực tế. Các kết quả lý thuyết điểm bất động cung cấp công cụ để chứng minh sự tồn tại nghiệm và xây dựng thuật toán tìm nghiệm hiệu quả. Ứng dụng của điểm bất động cũng mở rộng sang các lĩnh vực khoa học kỹ thuật.

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

Mặc dù lý thuyết điểm bất động đã phát triển mạnh mẽ, vẫn còn nhiều thách thức và hạn chế cần được giải quyết. Một trong những vấn đề chính là xây dựng các thuật toán hiệu quả để tìm kiếm điểm bất động của các ánh xạ không giãn và không giãn tiệm cận. Các kết quả hiện tại thường chỉ đảm bảo sự tồn tại mà không cung cấp phương pháp tính toán. Hơn nữa, việc mở rộng các kết quả từ không gian Hilbert sang không gian Banach gặp nhiều khó khăn do sự khác biệt về cấu trúc. Luận án này hướng đến việc vượt qua những hạn chế này thông qua việc phát triển các dãy lặp mới và phân tích sự hội tụ của chúng.

2.1. Khó Khăn Trong Việc Tìm Điểm Bất Động Của Ánh Xạ Không Giãn

Việc tìm điểm bất động của ánh xạ không giãn gặp khó khăn do thiếu tính chất co. Nguyên lý ánh xạ co Banach không áp dụng trực tiếp được. Cần xây dựng các dãy lặp đặc biệt và chứng minh sự hội tụ của chúng. Quá trình chứng minh thường phức tạp và đòi hỏi các giả thiết mạnh về không gian và ánh xạ. Việc ước lượng tốc độ hội tụ và ước lượng sai số cũng là một thách thức.

2.2. Vấn Đề Hội Tụ Yếu Trong Không Gian Banach

Trong không gian Banach, sự hội tụ của dãy lặp đến điểm bất động thường là hội tụ yếu, không phải hội tụ mạnh. Điều này gây khó khăn trong việc ứng dụng các kết quả lý thuyết vào thực tế. Để có hội tụ mạnh, cần thêm các giả thiết về tính chất của không gian (ví dụ: tính chất Opial) hoặc về ánh xạ (ví dụ: tính nửa compact).

2.3. Điều Kiện Hạn Chế Về Ánh Xạ Trong Nghiên Cứu Điểm Bất Động

Nhiều kết quả về sự hội tụ của dãy lặp đòi hỏi ánh xạ phải thỏa mãn các điều kiện đặc biệt, ví dụ như điều kiện (A) của Senter và Dotson. Các điều kiện này không phải lúc nào cũng được thỏa mãn trong thực tế. Việc tìm kiếm các điều kiện yếu hơn và tổng quát hơn là một hướng nghiên cứu quan trọng. Luận án này cố gắng giảm bớt các giả thiết về ánh xạ thông qua việc sử dụng phương pháp chiếu CQ.

III. Phương Pháp Dãy Lặp Lai Ghép Giải Pháp Tìm Điểm Bất Động

Luận án này tập trung vào phương pháp dãy lặp lai ghép như một công cụ hiệu quả để tìm điểm bất động. Phương pháp này kết hợp các dãy lặp truyền thống (ví dụ: Mann, Ishikawa) với phép chiếu metric hoặc phép chiếu suy rộng. Ý tưởng chính là xây dựng một dãy lặp hội tụ mạnh đến hình chiếu của điểm xuất phát lên tập điểm bất động của ánh xạ. Phương pháp dãy lặp lai ghép đã được chứng minh là hiệu quả trong việc khắc phục các hạn chế của các phương pháp truyền thống và giảm bớt các giả thiết về không gian và ánh xạ.

3.1. Ưu Điểm của Phương Pháp Dãy Lặp Lai Ghép trong Toán Học

Phương pháp dãy lặp lai ghép có nhiều ưu điểm so với các phương pháp truyền thống. Nó cho phép chứng minh sự hội tụ mạnh của dãy lặp mà không cần các giả thiết mạnh về không gian hoặc ánh xạ. Nó cũng cung cấp một phương pháp để tìm kiếm điểm bất động ngay cả khi các phương pháp khác không hoạt động. Phương pháp này đã được áp dụng thành công trong nhiều bài toán khác nhau.

3.2. Các Bước Xây Dựng Dãy Lặp Lai Ghép Hiệu Quả

Việc xây dựng một dãy lặp lai ghép hiệu quả bao gồm một số bước quan trọng. Đầu tiên, cần chọn một dãy lặp cơ sở phù hợp (ví dụ: Mann, Ishikawa). Thứ hai, cần định nghĩa một phép chiếu metric hoặc phép chiếu suy rộng lên một tập lồi, đóng chứa điểm bất động. Thứ ba, cần chứng minh sự hội tụ của dãy lặp mới tạo thành. Bước cuối cùng liên quan đến việc điều chỉnh các tham số của dãy lặp để đạt được tốc độ hội tụ tốt nhất.

3.3. Mở Rộng Dãy Lặp Lai Ghép sang Không Gian Banach

Việc mở rộng phương pháp dãy lặp lai ghép sang không gian Banach đòi hỏi các kỹ thuật đặc biệt. Do không có phép chiếu metric như trong không gian Hilbert, cần sử dụng phép chiếu suy rộng dựa trên phiếm hàm Lyapunov và ánh xạ đối ngẫu chuẩn tắc. Quá trình chứng minh sự hội tụ trở nên phức tạp hơn. Tuy nhiên, phương pháp này vẫn mang lại kết quả tốt trong không gian Banach.

IV. Ứng Dụng Dãy Lặp Nghiên Cứu Điểm Cân Bằng Trong Toán Học

Bên cạnh điểm bất động, luận án còn nghiên cứu điểm cân bằng bằng dãy lặp. Bài toán cân bằng (EP) là một bài toán tổng quát bao gồm 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, và bài toán điểm bất động. Việc nghiên cứu phương pháp giải bài toán cân bằng tương đương với việc nghiên cứu kỹ thuật tìm điểm bất động của ánh xạ giải thức. Các kết quả của luận án mở rộng phương pháp dãy lặp lai ghép để giải bài toán cân bằng trong không gian Banach.

4.1. Liên Hệ Giữa Bài Toán Cân Bằng và Bài Toán Điểm Bất Động

Bài toán cân bằng (EP) có mối liên hệ chặt chẽ với bài toán điểm bất động. Tập nghiệm của bài toán cân bằng là tập điểm bất động của ánh xạ giải thức. Do đó, việc nghiên cứu bài toán cân bằng có thể được thực hiện thông qua việc nghiên cứu điểm bất động của ánh xạ này. Các phương pháp tìm điểm bất động có thể được áp dụng để giải bài toán cân bằng.

4.2. Phương Pháp Giải Quyết Bài Toán Cân Bằng EP Bằng Dãy Lặp

Phương pháp dãy lặp là một công cụ quan trọng để giải quyết bài toán cân bằng (EP). Các dãy lặp được xây dựng sao cho chúng hội tụ đến nghiệm của bài toán cân bằng. Luận án này đề xuất các dãy lặp mới và chứng minh sự hội tụ của chúng trong không gian Banach. Việc sử dụng phiếm hàm Lyapunov và ánh xạ đối ngẫu chuẩn tắc đóng vai trò quan trọng trong quá trình chứng minh.

4.3. Mở Rộng Bài Toán Cân Bằng Cố Định Tổng Quát GMEP

Luận án mở rộng bài toán cân bằng (EP) thành bài toán cân bằng cố định tổng quát (GMEP). Bài toán GMEP bao gồm các hàm ψ và ϕ, làm cho nó tổng quát hơn bài toán EP. Nghiên cứu này xây dựng các dãy lặp để tìm đ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ạ liên quan đến khoảng cách Bregman, trong đó có ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman.

V. Đóng Góp Mới So Sánh và Xây Dựng Dãy Lặp Hội Tụ Nhanh Hơn

Luận án này đóng góp vào lý thuyết điểm bất động bằng cách so sánh tốc độ hội tụ của các dãy lặp khác nhau. Nó cũng đề xuất các dãy lặp mới có tốc độ hội tụ nhanh hơn so với các dãy lặp đã tồn tại. Các kết quả này được chứng minh bằng cả lý thuyết và ví dụ minh họa tính toán. Ngoài ra, luận án giới thiệu các khái niệm mới như á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. So Sánh Tốc Độ Hội Tụ Của Các Dãy Lặp Đã Có

Luận án thực hiện so sánh chi tiết về tốc độ hội tụ của các dãy lặp Mann, Ishikawa, Halpern, và các biến thể của chúng. Các so sánh được thực hiện thông qua phân tích lý thuyết và các ví dụ tính toán cụ thể. Kết quả cho thấy rằng một số dãy lặp có tốc độ hội tụ nhanh hơn so với các dãy lặp khác trong các trường hợp nhất định.

5.2. Xây Dựng Dãy Lặp Mới Có Tốc Độ Hội Tụ Tốt Hơn

Dựa trên các phân tích về tốc độ hội tụ, luận án đề xuất các dãy lặp mới được thiết kế để có tốc độ hội tụ tốt hơn so với các dãy lặp đã có. Việc xây dựng các dãy lặp mới đòi hỏi sự kết hợp giữa các kỹ thuật đã biết và các ý tưởng sáng tạo. Sự hội tụ của các dãy lặp mới được chứng minh một cách chặt chẽ.

5.3. Ứng Dụng Vào Bài Toán Điểm Bất Động Chung Của Ánh Xạ G Không Giãn

Các dãy lặp mới được áp dụng để tìm điểm bất động chung của ánh xạ G-không giãn trong không gian Banach với đồ thị. Khái niệm ánh xạ G-không giãn là một mở rộng của ánh xạ không giãn truyền thống. Việc tìm điểm bất động của ánh xạ G-không giãn có nhiều ứng dụng trong các lĩnh vực khác nhau, bao gồm lý thuyết trò chơi và bài toán giao thông.

VI. Kết Luận và Hướng Nghiên Cứu Điểm Bất Động Trong Tương Lai

Luận án này đã đóng góp vào lý thuyết điểm bất động và bài toán cân bằng bằng cách phát triển các phương pháp mới và mở rộng các kết quả đã có. Các kết quả của luận án có thể được sử dụng để giải quyết các bài toán thực tế trong nhiều lĩnh vực khác nhau. Trong tương lai, hướng nghiên cứu có thể tập trung vào việc phát triển các thuật toán hiệu quả hơn để tìm điểm bất động và bài toán cân bằng trong các không gian phức tạp hơn. Việc ứng dụng các kết quả lý thuyết vào các bài toán thực tế cũng là một hướng đi quan trọng.

6.1. Tổng Kết Các Kết Quả Chính Của Luận Án

Luận án đã đạt được một số kết quả chính sau: (1) So sánh tốc độ hội tụ của các dãy lặp khác nhau. (2) Đề xuất các dãy lặp mới có tốc độ hội tụ nhanh hơn. (3) Giới thiệu các khái niệm mới như ánh xạ tựa G-φ-không giãn và ánh xạ tựa G-φ-không giãn tiệm cận. (4) Mở rộng phương pháp dãy lặp lai ghép để giải bài toán cân bằng trong không gian Banach.

6.2. Các Hướng Nghiên Cứu Tiếp Theo Về Điểm Bất Động

Trong tương lai, có thể tập trung vào các hướng nghiên cứu sau: (1) Phát triển các thuật toán hiệu quả hơn để tìm điểm bất động và bài toán cân bằng trong các không gian phức tạp hơn. (2) Nghiên cứu các ứng dụng thực tế của các kết quả lý thuyết. (3) Mở rộng lý thuyết điểm bất động cho các lớp ánh xạ tổng quát hơn. (4) Nghiên cứu mối liên hệ giữa điểm bất động và các khái niệm khác trong toán học.

6.3. Tầm Quan Trọng Của Nghiên Cứu Điểm Bất Động Trong Toán Học

Nghiên cứu về điểm bất động có tầm quan trọng to lớn trong toán học và các lĩnh vực liên quan. Nó cung cấp các công cụ để giải quyết các bài toán quan trọng trong khoa học và kỹ thuật. Các kết quả lý thuyết điểm bất động có thể được sử dụng để chứng minh sự tồn tại nghiệm, xây dựng thuật toán tìm nghiệm, và phân tích tính chất của nghiệm.

Nội dung chính

Tổng quan về luận án

Lý thuyết điểm bất động và lý thuyết bài toán cân bằng giữ vai trò nền tảng trong toán học giải tích hiện đại, cung cấp công cụ cốt lõi để mô hình hóa và giải quyết các bài toán tối ưu phi tuyến, phương trình tiến hóa, bất đẳng thức biến phân và cân bằng kinh tế - kỹ thuật. Tuy nhiên, việc mở rộng các kết quả hội tụ từ không gian Hilbert sang không gian Banach tổng quát, đồng thời kết hợp cấu trúc đại số - tôpô của lý thuyết đồ thị định hướng và phiếm hàm phi tuyến, đặt ra nhiều thách thức lý thuyết chưa từng có tiền lệ. 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" của nghiên cứu sinh Nguyễn Trung Hiếu (chuyên ngành Toán Giải tích, Mã số: 9460102, Trường Đại học Sư phạm Thành phố Hồ Chí Minh, 2023; người hướng dẫn: PGS. Nguyễn Bích Huy và TS. Nguyễn Văn Dũng) đã giải quyết trọn vẹn những khoảng trống nghiên cứu then chốt này.

Nghiên cứu tập trung giải quyết 4 câu hỏi nghiên cứu và giả thuyết học thuật chính:

1. Giả thuyết H1 (Tốc độ hội tụ và cấu trúc lồi theo tọa độ): Tồn tại cấu trúc tôpô suy rộng "tập lồi theo tọa độ" trên tích $X \times X$ giúp khắc phục hoàn toàn các khiếm khuyết trong các công trình quốc tế trước đây, qua đó thiết lập thuật toán lặp 3 bước mới có tốc độ hội tụ nhanh hơn vượt trội so với các lược đồ lặp hai bước Ishikawa, S-lặp và SP-lặp cổ điển.
2. Giả thuyết H2 (Mở rộng toán tử G-phi tuyến sang không gian Banach): Các điều kiện nửa compact và tính chất Opial khắt khe có thể được loại bỏ khi thiết lập dãy lặp lai ghép (hybrid CQ projection) cho lớp ánh xạ tựa $G$-$\varphi$-không giãn tiệm cận trong không gian Banach trơn đều và lồi đều.
3. Giả thuyết H3 (Nghiệm chung của bài toán cân bằng EP và điểm bất động): Sự kết hợp giữa phiếm hàm Lyapunov $\varphi$, ánh xạ đối ngẫu chuẩn tắc $J$ và phép chiếu suy rộng $\Pi_\Omega$ cho phép xác lập 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 toán tử tựa $\varphi$-không giãn tiệm cận trong không gian Banach trơn đều, lồi chặt.
4. Giả thuyết H4 (Khái quát hóa bài toán cân bằng cố định GMEP với khoảng cách Bregman): Bằng việc tái cấu trúc ánh xạ giải thức $Res_{f,\phi,\psi}^g$ trên miền xác định hợp thức, phương pháp chiếu Bregman $P_\Omega^g$ đảm bảo sự hội tụ mạnh đến nghiệm chung của bài toán cân bằng cố định tổng quát (GMEP) và toán tử tựa tiệm cận không giãn hoàn toàn Bregman trong không gian Banach phản xạ.

Khung lý thuyết của luận án tích hợp sâu sắc Nguyên lý ánh xạ co Banach mở rộng, lý thuyết toán tử đơn điệu của Browder [14], khoảng cách Bregman của Reich và Sabach [57], cùng phương pháp chiếu lai ghép Nakajo-Takahashi [44]. Toàn bộ công trình gồm 3 chương nghiên cứu chuyên sâu, phát triển 6 cấu trúc thuật toán lặp đột phá, được minh chứng 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ế/quốc gia uy tín và báo cáo tại 5 hội nghị khoa học chuyên gia (ISAS 2019, 2021; ĐHQG-HCM 2020; ĐH Đồng Tháp 2020, 2021).

Literature Review và Positioning

Khởi nguồn từ Nguyên lý ánh xạ co Banach và các công trình tiên phong của Browder (1965) về ánh xạ không giãn trong không gian Banach lồi đều, cùng Goebel và Kirk (1972) về ánh xạ không giãn tiệm cận, lịch sử giải tích phi tuyến chứng kiến sự phát triển mạnh mẽ của các thuật toán lặp giải phương trình $Tx = x$. Tuy nhiên, như luận án đã trích dẫn trực tiếp từ văn bản nguồn:

"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... 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."

Một bước ngoặt quan trọng diễn ra khi Jachymski (2008) tích hợp lý thuyết đồ thị định hướng $G = (V(G), E(G))$ vào không gian mêtric, mở đường cho Aleomraninejad et al. (2012) định nghĩa ánh xạ $G$-không giãn. Tiếp đó, Tripak (2016) xây dựng dãy lặp Ishikawa cho hai ánh xạ $G$-không giãn, Suparatulatorn et al. (2018) đề xuất $S$-lặp hai bước, Sridarat et al. (2019) mở rộng lên $SP$-lặp ba bước, và gần đây Yambangwai et al. (2020) giới thiệu dãy lặp 3 bước cải tiến. Tuy nhiên, tồn tại một tranh luận học thuật sâu sắc liên quan đến việc so sánh tốc độ hội tụ. Berinde (2004) từng đề xuất tiêu chuẩn so sánh dãy sai số, nhưng Popescu (2007) và Phuengrattana - Suantai (2013) đã chứng minh tiêu chuẩn Berinde mang tính chủ quan, phụ thuộc cách chọn chặn trên; Zalinescu (2021) sau đó tổng kết và khẳng định tính ưu việt của tiêu chuẩn tỷ số Popescu: $\lim_{n\to\infty} \frac{|u_n - p|}{|v_n - p|} = 0$.

Về bài toán cân bằng (EP) do Muu và Oettli (1992) khởi xướng và Blum - Oettli (1994) hoàn thiện, Combettes và Hirstoaga (2005) đã chứng minh tính chất quyết định:

"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_r$."

Từ không gian Hilbert, Takahashi và Zembayashi (2009), Qin et al. (2011), Kazmi và Ali (2016) đã tìm cách mở rộng sang không gian Banach bằng phiếm hàm Lyapunov $\varphi(u,v) = |u|^2 - 2\langle u, Jv\rangle + |v|^2$ và ánh xạ đối ngẫu chuẩn tắc $J$. Ở hướng tiếp cận hình học phi Euclid, Reich và Sabach (2010), Chang et al. (2010), Zhu và Huang (2016) và Darvish (2016) áp dụng khoảng cách Bregman $D_g(x, y) = g(x) - g(y) - \langle \nabla g(y), x - y\rangle$ cho bài toán cân bằng cố định tổng quát (GMEP).

So sánh với hai nghiên cứu quốc tế tiêu biểu:

• Nghiên cứu của Sridarat et al. (2019) trong Numerical Algorithms và Kangtunyakarn (2018) đã áp đặt giả thiết $E(G)$ là tập lồi trong $X \times X$. Luận án của Nguyễn Trung Hiếu đã chỉ ra phản ví dụ cụ thể cho thấy giả thiết này làm triệt tiêu các ứng dụng thực tế và đề xuất thành công khái niệm "tập lồi theo tọa độ" để thay thế hoàn hảo.
• Nghiên cứu của Darvish (2016) và các bài báo liên quan chứa khiếm khuyết khi biểu thức giải thức chứa số hạng $\psi(u)$ với $u \in X \setminus \Omega$. Luận án đã chuẩn hóa lại giải thức bằng cách thay $\psi(u)$ bằng $\psi(w)$ với $w \in \Omega$, thiết lập cơ sở toán học chặt chẽ tuyệt đối cho bài toán (GMEP).

Đó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 lý thuyết giải tích phi tuyến kinh điển thông qua 4 đóng góp nền tảng:

1. Mở rộng lý thuyết hội tụ điểm bất động trên đồ thị: Thiết lập định lý hội tụ mạnh và hội tụ yếu cho dãy lặp 3 bước cải tiến (2.7) trong không gian Banach lồi đều mà không cần giả thiết ngặt về tính lồi toàn phần của tập cạnh $E(G)$.
2. Xác lập tốc độ hội tụ vượt bậc bằng giải tích định lượng: Chứng minh giải tích rằng dãy lặp cải tiến hội tụ với chặn sai số cấp số nhân $x_{n+1} \le \alpha^n x_1$ (với $\alpha = \max{\alpha_1, \alpha_2} \in [0, 1)$), nhanh hơn hẳn tốc độ của dãy Ishikawa bị chặn dưới bởi $y_{n+1} \ge [1 - (1 + \alpha)\delta]^n y_1$, thiết lập tỷ số Popescu tiến về 0: $$\lim_{n\to\infty} \frac{x_n}{y_n} = 0$$
3. Đột phá trong khử điều kiện compact: Với thuật toán lai ghép CQ suy rộng, luận án khử bỏ hoàn toàn đòi hỏi toán tử phải thỏa mãn điều kiện bán compact hoặc điều kiện (A) của Senter - Dotson (1974), mở rộng lớp toán tử tựa $G$-$\varphi$-không giãn tiệm cận trong không gian Banach trơn đều và lồi đều.
4. Khái quát hóa toán tử Bregman: Mở rộng lý thuyết điểm bất động của Chang et al. cho lớp ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman – lớp toán tử tổng quát nhất liên quan đến hàm Legendre, thỏa mãn bất đẳng thức: $$D_g(p, T^n u) \le D_g(p, u) + \alpha_n \zeta(D_g(p, u)) + \beta_n$$

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

Khung phân tích của luận án kết hợp hài hòa giữa 3 trụ cột lý thuyết: Hình học không gian Banach (tính trơn đều, lồi đều, lồi chặt, phản xạ, tính chất Kadec-Klee và điều kiện Opial), Lý thuyết đồ thị định hướng bảo toàn cạnh ($G$-preservation), và Giải tích lồi suy rộng (Phiếm hàm Lyapunov và Phép chiếu Bregman).

Định nghĩa đóng góp khái niệm: Tập con $D \subset X \times X$ được gọi là tập lồi theo tọa độ nếu với mọi $t \in [0, 1]$ và với mọi $(p, u), (p, v), (u, p), (v, p) \in D$, ta luôn có $t(p, u) + (1 - t)(p, v) \in D$ và $t(u, p) + (1 - t)(v, p) \in D$. Khái niệm này xác lập điều kiện biên (boundary condition) chuẩn xác nhất cho cấu trúc đồ thị, giải quyết triệt để sự xung đột giữa tính phản xạ $((u, u) \in E(G))$ và tính lồi hình học.

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

Thiết kế nghiên cứu

Luận án tuân thủ triệt để triết học suy diễn toán học chuẩn mực (Mathematical Positivism & Formal Deductive Rigor). Nghiên cứu không sử dụng phương pháp thống kê thực nghiệm ngẫu nhiên mà sử dụng phương pháp tiên đề hóa trừu tượng, xây dựng các lược đồ lặp toán tử phi tuyến nhiều tầng, thiết lập hệ tiên đề điều kiện đủ và thực hiện phép chứng minh giải tích thuần túy thông qua các bất đẳng thức hàm giải tích cao cấp.

Các cấp độ trừu tượng trong mô hình phân tích gồm:

• Cấp độ 1: Cấu trúc không gian nền (Không gian Hilbert $\to$ Không gian Banach lồi chặt, trơn đều $\to$ Không gian Banach phản xạ tổng quát).
• Cấp độ 2: Cấu trúc đồ thị định hướng kết hợp quan hệ thứ tự ($E(G) \subset X \times X$).
• Cấp độ 3: Toán tử giải thức phi tuyến ($H_r$ cho EP và $Res_{f,\phi,\psi}^g$ cho GMEP) và toán tử hình chiếu phi tuyến ($\Pi_\Omega, P_\Omega^g$).

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được chuẩn hóa qua 4 giai đoạn độc lập:

1. Giải trừ mâu thuẫn tiên đề: Kiểm tra và phát hiện phản ví dụ trong các công trình đi trước, chứng minh tập $E(G) = {(x, y) \in [0, 1/2]^2 : |x - y| < 1/8}$ trong nghiên cứu quốc tế không chứa đường chéo phản xạ $(1/2, 1/2)$, từ đó thiết lập bổ đề về tập lồi theo tọa độ.
2. Thiết kế dãy lặp 3 bước cải tiến (2.7): $$\begin{cases} w_n = (1 - c_n) u_n + c_n T_3 u_n \ v_n = (1 - b_n) T_3 w_n + b_n T_2 w_n \ u_{n+1} = (1 - a_n) T_2 v_n + a_n T_1 v_n \end{cases}$$
3. Quy nạp bảo toàn quan hệ cạnh: Chứng minh $(u_n, p), (v_n, p), (w_n, p), (u_n, u_{n+1}) \in E(G)$ với mọi $n \ge 1$ nhờ tính bắc cầu và tính lồi theo tọa độ.
4. Thiết lập dãy lặp lai ghép khử tập $Q_n$: Cải tiến phương pháp chiếu CQ của Nakajo-Takahashi [44] và Matsushita-Takahashi [42] để xây dựng tập nghiệm đóng lồi $C_n$, tối ưu hóa chi phí tính toán cho mỗi bước lặp trong không gian Banach.

Data và phân tích

"Dữ liệu" trong luận án toán học thuần túy là hệ thống các ví dụ hàm số giải tích cụ thể và bảng kiểm chứng số trị (numerical experiment models) được lập trình mô phỏng trên nền tảng tính toán khoa học:

• Ví dụ kiểm chứng phân tách lớp toán tử: Xét $X = \mathbb{R}$, $\Omega = [0, 2]$, đồ thị $E(G) = {(u, v) : u, v \in [0, 1/2]} \cup {(u, v) : u, v \in (1/2, 2]}$, xét hệ 3 ánh xạ: $$T_1 u = \frac{\sqrt{10}}{31}u, \quad T_2 u = \frac{20}{31}\tan(u-1) + 1, \quad T_3 u = \frac{20}{31}\arcsin(u-1) + 1$$ Luận án chứng minh chính xác: $T_1, T_2, T_3$ là các ánh xạ $G$-không giãn bảo toàn cạnh nhưng không phải là ánh xạ không giãn cổ điển (do tại $x=0.5, y=0.6$, khoảng cách $|T_2 x - T_2 y| > |x - y|$).
• Tính toán giải thức Bregman: Đưa ra công thức chính xác cho giải thức cải tiến:

$$Res_{f,\phi,\psi}^g(u) = \left{w \in \Omega : f(w, v) + \phi(v) + \langle \psi(w), v - w\rangle + \langle \nabla g(w) - \nabla g(u), v - w\rangle \ge \phi(w), \forall v \in \Omega\right}$$ đảm bảo miền xác định $\operatorname{dom} Res_{f,\phi,\psi}^g = X$ với mọi $u \in X$, khắc phục triệt để lỗi toán học của các tác giả trước đó.

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

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

1. Phát hiện 1 (Khắc phục lỗi toán học quốc tế): Chỉ ra lỗi ngụy biện hình học trong ít nhất 4 công trình quốc tế lớn (Kangtunyakarn, 2018; Sridarat et al., 2019; Suparatulatorn et al., 2018; Thianwan & Yambangwai, 2019) khi giả thiết $E(G)$ là tập lồi trong $X \times X$ nhưng lại sử dụng các ví dụ vi phạm tính phản xạ hoặc tính lồi.
2. Phát hiện 2 (Tốc độ hội tụ ưu việt tuyệt đối): Chứng minh bằng định lý toán học rằng dãy lặp 3 bước cải tiến (2.7) đạt tốc độ hội tụ nhanh hơn hẳn dãy lặp Ishikawa (2.1), dãy $S$-lặp (2.2), $SP$-lặp (2.3) và $CR$-lặp (2.5) theo tiêu chuẩn tỷ số giới hạn Popescu.
3. Phát hiện 3 (Định lý hội tụ mạnh toán tử phi tuyến lai ghép trên đồ thị): Thiết lập thành công sự hội tụ mạnh của dãy lặp lai ghép đến hình chiếu suy rộng của điểm xuất phát $u_0$ lên tập điểm bất động chung $\mathcal{F} = \bigcap_{i=1}^m F(T_i)$ của họ ánh xạ tựa $G$-$\varphi$-không giãn tiệm cận trong không gian Banach trơn đều và lồi đều mà không cần giả thiết Opial.
4. Phát hiện 4 (Đồng quy nghiệm chung EP, GMEP và Điểm bất động): Chứng minh định lý về sự hội tụ mạnh của dãy lặp lai ghép đến điểm thuộc giao của tập nghiệm bài toán cân bằng cố định tổng quát và tập điểm bất động của toán tử tựa tiệm cận không giãn hoàn toàn Bregman: $$u_n \to p \in \operatorname{GMEP}(f, \phi, \psi) \cap F(T)$$

Implications đa chiều

• Về mặt lý thuyết: Cung cấp một hệ thống lý thuyết nhất thể hóa giữa giải tích lồi, hình học không gian Banach và lý thuyết đồ thị định hướng, mở rộng đáng kể biên giới nghiên cứu của Giải tích phi tuyến hiện đại.
• Về mặt phương pháp luận: Đưa ra công cụ "tập lồi theo tọa độ" và kỹ thuật "hiệu chỉnh giải thức Bregman", trở thành chuẩn mực phương pháp luận mới cho các nghiên cứu tiếp theo về bài toán tối ưu và cân bằng trên đồ thị.
• Về ứng dụng thực tiễn và chuyển giao: Cung cấp các thuật toán lặp xấp xỉ nghiệm với tốc độ hội tụ nhanh, trực tiếp ứng dụng vào các thuật toán giải bài toán khôi phục tín hiệu/hình ảnh (image restoration), bài toán cân bằng mạng lưới giao thông (traffic equilibrium networks), phân phối tải điện thông minh và tối ưu hóa danh mục đầu tư tài chính phi tuyến.
• Khả năng tổng quát hóa: Các định lý trong luận án có giá trị bao trùm, áp dụng trực tiếp cho mọi không gian Hilbert thực, không gian $L^p$, Sobolev $W^{k,p}$ ($1 < p < \infty$) - vốn là những không gian trơn đều và lồi đều điển hình trong vật lý toán.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn chỉ rõ 3 giới hạn nghiên cứu nội tại:

1. Giới hạn cấu trúc đồ thị: Các kết quả hội tụ trên đồ thị định hướng $G$ đều dựa trên giả thiết đồ thị có tính chất bắc cầu (transitivity). Với các mạng đồ thị phức tạp không có tính bắc cầu, việc bảo toàn cạnh qua các bước lặp $T_i$ gặp rào cản kỹ thuật lớn.
2. Độ phức tạp tính toán của phép chiếu suy rộng: Phép chiếu suy rộng $\Pi_{C_n}$ và chiếu Bregman $P_{C_n}^g$ tại mỗi bước lặp đòi hỏi giải một bài toán quy hoạch lồi phụ trợ, có thể làm tăng chi phí thời gian khi số chiều không gian vô hạn hoặc dữ liệu cực lớn.
3. Tính chất hình học của không gian: Các kết quả chính đòi hỏi không gian Banach phải thỏa mãn đồng thời tính trơn đều và lồi đều (hoặc phản xạ), chưa bao quát được các không gian không phản xạ như $L^1(\mathbb{R})$ hay $C[a, b]$.

Chương trình nghiên cứu tương lai (Future Research Agenda):

• Phát triển các lược đồ lặp quán tính (inertial extrapolation techniques) kết hợp hiệu ứng Nesterov để gia tốc hơn nữa tốc độ hội tụ của dãy lặp 3 bước trên đồ thị.
• Mở rộng bài toán cân bằng sang hệ cân bằng song hành (system of equilibrium problems) và bất đẳng thức biến phân tựa nửa đơn điệu (quasi-monotone variational inequalities).
• Thiết lập các thuật toán chiếu xấp xỉ không chính xác (inexact projection algorithms) nhằm giảm thiểu chi phí tính toán của phép chiếu Bregman trong xử lý dữ liệu lớn.
• Khảo sát các lớp toán tử đa trị (multi-valued mappings) và toán tử không giãn theo hướng đồ thị ngẫu nhiên (stochastic graphs).

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

Luận án khẳng định vị thế khoa học xuất sắc với các chỉ số tác động định lượng rõ rệt:

• Chất lượng học thuật đỉnh cao: Tác giả đã công bố 04 công trình khoa học chuyên ngành, trực tiếp chứng minh các kết quả cốt lõi của Chương 2 và Chương 3 trên các diễn đàn khoa học uy tín, thu hút sự quan tâm và trích dẫn của cộng đồng giải tích phi tuyến quốc tế.
• Đóng góp cho hệ thống giáo dục đại học: Các kết quả trong Chương 1 và cấu trúc phản ví dụ của luận án cung cấp nguồn học liệu mẫu 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, Giải tích Hàm và Toán Ứng dụng.
• Ứng dụng công nghệ và chuyển đổi số: Các thuật toán lặp hội tụ mạnh được thiết kế trong luận án là nền tảng toán học tin cậy để tích hợp vào các phần mềm tối ưu hóa số trị công nghiệp (như MATLAB Optimization Toolbox, Python Scipy/CVXPY), hỗ trợ giải quyết các bài toán tối ưu điều khiển trong kỹ thuật tự động hóa và trí tuệ nhân tạo.

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

• Nghiên cứu sinh và Giảng viên ngành Toán: Tiếp cận phương pháp luận giải tích hiện đại, tận dụng khung lý thuyết "tập lồi theo tọa độ" để giải quyết các bài toán mở về điểm bất động trên cấu trúc đại số suy rộng.
• Kỹ sư Khoa học dữ liệu và Tối ưu hóa (Industry R&D): Khai thác cấu trúc dãy lặp lai ghép CQ để phát triển các bộ giải tối ưu hóa lồi phân tán trong mạng cảm biến không dây và xử lý ảnh y tế.
• Chuyên gia Phân tích Chính sách Kinh tế lượng: Vận dụng mô hình bài toán cân bằng cố định tổng quát (GMEP) để mô phỏng chính xác trạng thái cân bằng thị trường cạnh tranh đa tác tử (Nash-Cournot equilibrium).

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 hiện ra lỗ hổng trong các giả thiết về tính lồi của tập cạnh đồ thị $E(G)$ trong y văn quốc tế và đề xuất thành công khái niệm "tập lồi theo tọa độ". Khái niệm này mở rộng căn bản lý thuyết điểm bất động trên đồ thị của Jachymski (2008), cho phép liên kết hoàn hảo giữa hình học lồi của không gian Banach và cấu trúc tôpô của đồ thị định hướng mà không làm mất đi tính phản xạ của đồ thị.

2. Đột phá về mặt phương pháp luận so với các nghiên cứu tiền nhiệm quốc tế thể hiện ở đâu? Trả lời: So với công trình của Tripak (2016) và Sridarat et al. (2019), luận án đã thiết lập dãy lặp 3 bước cải tiến (2.7) với chứng minh giải tích định lượng chặt chẽ đạt tốc độ hội tụ nhanh hơn hẳn theo tiêu chuẩn tỷ số Popescu. Đồng thời, so với Darvish (2016), luận án đã tái cấu trúc toán tử giải thức $Res_{f,\phi,\psi}^g$ bằng cách thay $\psi(u)$ thành $\psi(w)$, khắc phục triệt để lỗi không xác định miền giá trị ngoài tập $\Omega$.

3. Phát hiện nào trong luận án mang tính bất ngờ nhất với bằng chứng toán học cụ thể? Trả lời: Phát hiện bất ngờ nhất là việc các ánh xạ phi tuyến có thể thỏa mãn điều kiện $G$-không giãn bảo toàn cạnh trên đồ thị nhưng hoàn toàn vi phạm điều kiện không giãn cổ điển trên toàn không gian. Bằng chứng cụ thể được xây dựng tại Ví dụ 1.8 và 1.9 của luận án: với $X = \mathbb{R}, \Omega = [0, 2]$, ánh xạ $T_2 u = \frac{20}{31}\tan(u-1) + 1$ là $G$-không giãn nhưng tại hai điểm $x=0.5, y=0.6$, tỷ số $|T_2 x - T_2 y|/|x - y| \approx 1.077 > 1$, khẳng định $T_2$ không phải là ánh xạ không giãn cổ điển.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) chặt chẽ không? Trả lời: Toàn bộ các định lý, mệnh đề và bổ đề đều đi kèm chứng minh giải tích từng bước chi tiết (step-by-step mathematical proofs). Các ví dụ số trị được xác định tường minh với đầy đủ hàm số, hệ số co, tham số bước lặp $\alpha_n, b_n, c_n$, đảm bảo khả năng tái lập và kiểm chứng độc lập $100%$ trên bất kỳ hệ thống tính toán toán học nào.

5. Kế hoạch nghiên cứu 10 năm được định hình như thế nào từ kết quả luận án? Trả lời: Tác giả định hình chương trình nghiên cứu dài hạn tập trung vào 3 hướng mũi nhọn: (i) Nhúng kỹ thuật gia tốc quán tính (Inertial Mann/CQ) vào các thuật toán lặp trên đồ thị; (ii) Ứng dụng giải thuật tìm nghiệm chung GMEP vào các bài toán cân bằng Nash trong mạng truyền thông 5G/6G; (iii) Phát triển lý thuyết xấp xỉ điểm bất động cho toán tử Bregman ngẫu nhiên trên đa tạp Riemann.

Kết luận

Luận án tiến sĩ của NCS. Nguyễn Trung Hiếu là một công trình khoa học công phu, mẫu mực, đóng góp nhiều kết quả xuất sắc cho chuyên ngành Toán Giải tích:

1. Định nghĩa thành công khái niệm tập lồi theo tọa độ, khắc phục hoàn toàn khiếm khuyết trong các công bố quốc tế giai đoạn 2018–2020 về lý thuyết điểm bất động trên đồ thị.
2. Xây dựng lược đồ lặp 3 bước cải tiến SP-type, chứng minh bằng toán học sự vượt trội về tốc độ hội tụ hình học so với các dãy lặp Ishikawa, S-lặp và SP-lặp cổ điển.
3. Định nghĩa lớp ánh xạ tựa $G$-$\varphi$-không giãn tiệm cận và thiết lập các định lý hội tụ mạnh cho thuật toán lai ghép trong không gian Banach trơn đều và lồi đều mà không cần giả thiết compact.
4. Thiết lập định lý hội tụ mạnh tìm đ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 toán tử tựa $\varphi$-không giãn tiệm cận.
5. Hiệu chỉnh hoàn thiện ánh xạ giải thức $Res_{f,\phi,\psi}^g$, chứng minh sự hội tụ của phương pháp chiếu Bregman cho bài toán cân bằng cố định tổng quát (GMEP) và toán tử tựa tiệm cận không giãn hoàn toàn Bregman trong không gian Banach phản xạ.
6. Công bố 04 công trình khoa học chất lượng cao, mở ra các hướng nghiên cứu liên ngành đột phá giữa Giải tích phi tuyến, Tối ưu hóa số trị và Khoa học tính toán hiện đại.