Luận án tiến sĩ: Dãy lặp điểm bất động - Nguyễn Trung Hiếu

Tổng quan về luận án

Luận án này mang đến những đóng góp đột phá trong lĩnh vực Giải tích Toán học, đặc biệt là Lý thuyết Điểm bất động và Bài toán Cân bằng trong không gian Banach với đồ thị. Bối cảnh khoa học của nghiên cứu xuất phát từ nhu cầu giải quyết các phương trình điểm bất động ($Tx=x$) và bài toán cân bằng ($f(x,y) \ge 0$), vốn là nền tảng cho nhiều vấn đề trong toán học ứng dụng và khoa học kỹ thuật. Nguyên lý ánh xạ co Banach (Banach Contraction Principle) [1] cung cấp kỹ thuật tìm điểm bất động cho ánh xạ co, nhưng việc mở rộng kỹ thuật này cho các lớp ánh xạ tổng quát hơn như ánh xạ không giãn (Browder [14], 1965) và ánh xạ không giãn tiệm cận (Goebel và Kirk [28], 1972) đã trở thành một thách thức lớn. Các nghiên cứu trước đó của Mann, Halpern, Ishikawa [27] đã phát triển các dãy lặp để tìm điểm bất động, nhưng vẫn còn nhiều hạn chế, đặc biệt là về tốc độ hội tụ và khả năng ứng dụng trong các không gian phức tạp hơn như không gian Banach với đồ thị.

Một khoảng trống lý thuyết quan trọng mà luận án này giải quyết là sự thiếu vắng các kỹ thuật hội tụ hiệu quả và được chứng minh chặt chẽ cho các ánh xạ G-không giãn và các lớp ánh xạ tổng quát hơn trong không gian Banach với đồ thị. Nhiều công trình trước đây, như của Hammad và cộng sự [29], đã nghiên cứu các dãy lặp lai ghép cho ánh xạ G-không giãn trong không gian Hilbert với đồ thị, nhưng "kết quả hội tụ trong [29] chưa được thiết lập trong không gian Banach với đồ thị" (tr. 4). Tương tự, việc mở rộng các kết quả đặc trưng từ không gian Hilbert sang không gian Banach luôn gặp "vấn đề khó khăn là một số kết quả đặc trưng trong không gian Hilbert không còn đúng trong không gian Banach" (tr. 3), đòi hỏi các cách tiếp cận mới như của Matsushita và Takahashi [42] sử dụng phiếm hàm Lyapunov. Hơn nữa, luận án chỉ ra "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) trong các công trình như [70, Example 4.1] và [72, Example 4.2] liên quan đến giả thiết tập cạnh E(G) là lồi, dẫn đến sự cần thiết của một khái niệm mới: tập lồi theo tọa độ.

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

1. Làm thế nào để xây dựng các dãy lặp mới có tốc độ hội tụ tốt hơn các dãy lặp hiện có đến điểm bất động chung của ánh xạ G-không giãn trong không gian Banach với đồ thị?
2. Làm thế nào để giới thiệu và nghiên cứu các lớp ánh xạ tổng quát hơn như ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach với đồ thị, và thiết lập sự hội tụ của các dãy lặp lai ghép cho chúng?
3. Làm thế nào để xây dựng các dãy lặp lai ghép tích hợp phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và phép chiếu suy rộng để 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 á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?
4. Làm thế nào để phát triển các dãy lặp lai ghép sử dụng khoảng cách Bregman và phép chiếu Bregman để thiết lập sự hội tụ đến điểm chung của tập nghiệm bài toán cân bằng có định tổng quát (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ạ?

Khung lý thuyết của luận án được xây dựng dựa trên sự tích hợp sâu sắc giữa Lý thuyết Điểm bất động (Fixed Point Theory), Giải tích Hàm (Functional Analysis), Lý thuyết Đồ thị (Graph Theory), và Giải tích Lồi (Convex Analysis). Các lý thuyết nền tảng bao gồm Lý thuyết Ánh xạ Không giãn của Browder [14], Goebel và Kirk [28], các kỹ thuật dãy lặp kinh điển của Mann, Ishikawa [27]. Đặc biệt, luận án sử dụng Phiếm hàm Lyapunov ($\phi$-Lyapunov functional), Ánh xạ đối ngẫu chuẩn tắc ($J$), Phép chiếu suy rộng ($P_C$), Khoảng cách Bregman ($D_g$), và Phép chiếu Bregman ($P_Q^g$) để mở rộng các phương pháp lai ghép từ không gian Hilbert sang không gian Banach, theo hướng tiếp cận của Matsushita và Takahashi [42].

Luận án đưa ra các đóng góp đột phá với tác động rõ rệt:

1. Cải thiện tốc độ hội tụ: Giới thiệu "dãy SP-lặp cải tiến cho ba ánh xạ" (tr. 40, công thức (2.7)) và chứng minh rằng dãy lặp (2.4) hội tụ đến điểm bất động chung của ánh xạ G-co nhanh hơn các dãy lặp (2.1) và (2.2) (tr. 43, Mệnh đề 2.6), với bằng chứng từ các phép chứng minh toán học.
2. Mở rộng lớp ánh xạ: Giới thiệu các khái niệm mới về "ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach trơn với đồ thị" (tr. 10, Chương 2, mục 2), làm phong phú thêm lý thuyết ánh xạ phi tuyến.
3. Khắc phục sai sót nền tảng: Đề xuất khái niệm "tập lồi theo tọa độ" (tr. 39) để khắc phục những hạn chế và "nhầm lẫn" trong các giả thiết về tính lồi của tập cạnh E(G) trong các nghiên cứu trước ([70, Example 4.1]; [72, Example 4.2]), mang lại sự chặt chẽ cho lý thuyết.
4. Phát triển thuật toán lai ghép tích hợp: Xây dựng thành công các dãy lặp lai ghép mới để tìm điểm chung của tập nghiệm bài toán cân bằng (EP) hoặc bài toán cân bằng có định tổng quát (GMEP) và tập điểm bất động của các ánh xạ tổng quát (tựa $\phi$-không giãn tiệm cận, tựa tiệm cận không giãn hoàn toàn Bregman) trong không gian Banach phản xạ, lồi đều và trơn đều (tr. 5, mục 3 và 4; tr. 11, Chương 3, mục 1 và 2).

Phạm vi nghiên cứu của luận án tập trung vào không gian Banach (reflexive, uniformly smooth, uniformly convex) với đồ thị định hướng. Các ánh xạ được khảo sát bao gồm ánh xạ G-không giãn, G-co, G-$\phi$-không giãn, G-$\phi$-không giãn tiệm cận, ánh xạ tựa $\phi$-không giãn tiệm cận, và ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman. Luận án chủ yếu sử dụng phương pháp xây dựng dãy lặp và chứng minh sự hội tụ của chúng.

Literature Review và Positioning

Nghiên cứu về điểm bất động và bài toán cân bằng đã chứng kiến sự phát triển mạnh mẽ qua nhiều thập kỷ. Các dòng nghiên cứu chính có thể được tổng hợp như sau:

Dòng thứ nhất tập trung vào lý thuyết điểm bất động cổ điển và các dãy lặp cơ bản. Nguyên lý ánh xạ co Banach [1] là điểm khởi đầu, theo sau là các mở rộng của Browder [14] với ánh xạ không giãn trong không gian Banach lồi đều, và Goebel và Kirk [28] với ánh xạ không giãn tiệm cận. Tuy nhiên, những công trình này chủ yếu tập trung vào điều kiện đủ cho sự tồn tại điểm bất động mà không cung cấp kỹ thuật tìm kiếm hiệu quả như dãy lặp Picard. Điều này đã thúc đẩy sự phát triển của các dãy lặp như Mann, Ishikawa, Halpern [27] và các dãy lặp khác như S-lặp, SP-lặp, Thukur [27], được nghiên cứu trong không gian Hilbert và không gian Banach [48, 66, 69].

Dòng thứ hai là sự kết hợp lý thuyết điểm bất động với lý thuyết đồ thị. Jachymski [33] (2008) đã tổng quát Nguyên lý co Banach thành định lý điểm bất động cho ánh xạ G-co trong không gian mêtric đầy đủ với đồ thị. Tiếp theo, Aleomraninejad và cộng sự [3] (2012) giới thiệu ánh xạ G-không giãn và khảo sát sự hội tụ của chúng. Kể từ đó, nhiều nghiên cứu đã thiết lập sự hội tụ của các dãy lặp đến điểm bất động chung của ánh xạ G-không giãn trong không gian Banach với đồ thị, ví dụ Kangtunyakarn [35] (2018) nghiên cứu dãy lặp Halpern, Suparatulatorn và cộng sự [71] (2018) giới thiệu dãy lặp hai bước. Luận án cũng tham khảo các công trình của Sridarat và cộng sự [70] (2018) về dãy lặp ba bước SP-lặp, Thianwan và Yambangwai [78] (2019) về dãy lặp hai bước mới, và Hieu và Mai [32] (2019) về dãy lặp ba bước CR-lặp cải tiến.

Dòng thứ ba là phát triển các dãy lặp lai ghép (hybrid iterative sequences) để khắc phục hạn chế của các kết quả hội tụ yếu hoặc các giả thiết mạnh (như tính chất Opial [48] hay điều kiện (A) của Senter và Dotson [66]). Nakajo và Takahashi [44] (2003) đã giới thiệu dãy lặp lai ghép bằng cách kết hợp dãy lặp Mann với phép chiếu métric trong không gian Hilbert. Takahashi và cộng sự [76] (2008) cải tiến dãy lặp này. Matsushita và Takahashi [42] (2005) đề xuất một cách tiếp cận mới trong không gian Banach trơn bằng cách sử dụng phiếm hàm Lyapunov và ánh xạ đối ngẫu chuẩn tắc, giới thiệu ánh xạ không giãn tương đối. Các tác giả khác đã tổng quát ánh xạ này thành tựa $\phi$-không giãn [55] và tựa $\phi$-không giãn tiệm cận [56]. Tuy nhiên, việc mở rộng các kết quả hội tụ của dãy lặp lai ghép từ không gian Hilbert sang không gian Banach vẫn còn nhiều thách thức. Hammad và cộng sự [29] (2019) đã kết hợp dãy lặp Ishikawa và S-lặp cải tiến với phép chiếu métric trong không gian Hilbert cho ánh xạ G-không giãn, nhưng thừa nhận rằng các kết quả này "chưa được thiết lập trong không gian Banach với đồ thị" (tr. 4).

Dòng thứ tư là nghiên cứu bài toán cân bằng (EP) và bài toán cân bằng có định tổng quát (GMEP). Muu và Oettli [43] (1992) đã giới thiệu bài toán cân bằng (EP). Combettes và Hirstoaga [20] (2005) chứng minh rằng tập nghiệm của EP là tập điểm bất động của ánh xạ giải thức $H_r$. Reich và Sabach [57] (2010) sử dụng khái niệm khoảng cách Bregman để nghiên cứu EP trong không gian Banach phản xạ, định nghĩa ánh xạ giải thức $Res_f^g$. Darvish [22] (2016) mở rộng EP thành GMEP và xây dựng ánh xạ giải thức tương ứng.

Mâu thuẫn và tranh luận: Một điểm tranh luận nổi bật là định nghĩa so sánh tốc độ hội tụ của dãy lặp. Berinde [9] (2004) đề xuất một định nghĩa (Định nghĩa 1.18, tr. 18) nhưng đã bị Popescu [51] (2007) chỉ ra là "chưa phù hợp" (tr. 18) thông qua các ví dụ phản chứng, và đề xuất một định nghĩa khác (Định nghĩa 1.20, tr. 19), được Phuengrattana và Suantai [49] (2013) đồng tình. Luận án này khẳng định rõ ràng việc sử dụng Định nghĩa 1.20 của Popescu để đảm bảo tính khách quan và hợp lệ trong các so sánh tốc độ hội tụ. Một mâu thuẫn khác là việc áp dụng điều kiện lồi cho tập cạnh $E(G)$ trong các nghiên cứu trước như [70, Example 4.1] và [72, Example 4.2], mà luận án chỉ ra là có "nhầm lẫn" (tr. 17).

Định vị nghiên cứu: Luận án này định vị mình ở giao thoa của các dòng nghiên cứu trên, trực tiếp giải quyết các khoảng trống và mâu thuẫn hiện có. Cụ thể, nó mở rộng lý thuyết điểm bất động trên đồ thị sang các lớp ánh xạ tổng quát hơn (G-$\phi$-không giãn) và không gian phức tạp hơn (Banach spaces). Luận án cũng cung cấp các phương pháp giải quyết bài toán cân bằng (EP, GMEP) hiệu quả hơn bằng cách tích hợp các công cụ tiên tiến như khoảng cách Bregman và phiếm hàm Lyapunov vào các dãy lặp lai ghép.

Tiến bộ so với lĩnh vực: Luận án tiến bộ hóa lĩnh vực bằng cách:

1. Cung cấp một khung lý thuyết chặt chẽ hơn cho lý thuyết điểm bất động trên đồ thị thông qua việc giới thiệu "tập lồi theo tọa độ" (tr. 39), khắc phục các hạn chế đã được chỉ ra trong [70, Example 4.1] và [72, Example 4.2].
2. Đưa ra các dãy lặp với tốc độ hội tụ được chứng minh là nhanh hơn, ví dụ, dãy lặp (2.4) nhanh hơn (2.1) và (2.2) (tr. 43, Mệnh đề 2.6).
3. Thành công trong việc mở rộng các phương pháp lai ghép từ không gian Hilbert sang không gian Banach, một thách thức lớn đã được Matsushita và Takahashi [42] và Hammad và cộng sự [29] nhắc đến.
4. Phát triển các thuật toán tổng quát và tích hợp để giải quyết đồng thời các bài toán cân bằng và điểm bất động chung của các ánh xạ phi tuyến, làm phong phú thêm kho công cụ giải quyết vấn đề.

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

• So với Hammad và cộng sự [29] (2019): Nghiên cứu của Hammad và cộng sự tập trung vào các dãy lặp lai ghép cho ánh xạ G-không giãn trong không gian Hilbert. Luận án này đã thành công trong việc "mở rộng những kết quả hội tụ trong [29] sang không gian Banach với đồ thị" (tr. 4), giải quyết một vấn đề mở mà chính Hammad và cộng sự đã thừa nhận.
• So với Matsushita và Takahashi [42] (2005): Matsushita và Takahashi tiên phong sử dụng phiếm hàm Lyapunov và ánh xạ đối ngẫu chuẩn tắc để mở rộng ánh xạ không giãn trong không gian Banach trơn. Luận án này kế thừa và phát triển ý tưởng đó, áp dụng cho các lớp ánh xạ phức tạp hơn (tựa G-$\phi$-không giãn, tựa $\phi$-không giãn tiệm cận) và tích hợp các công cụ như khoảng cách Bregman để giải quyết các bài toán cân bằng, một sự tổng quát hóa đáng kể.
• So với Popescu [51] (2007) và Berinde [9] (2004): Luận án trực tiếp tham gia vào cuộc tranh luận quốc tế về định nghĩa tốc độ hội tụ bằng cách áp dụng Định nghĩa 1.20 của Popescu, điều này nâng cao tính khách quan và khoa học cho các so sánh tốc độ hội tụ của mình.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án này đã có những đóng góp lý thuyết quan trọng thông qua việc mở rộng và thách thức các lý thuyết hiện có trong Giải tích Hàm và Lý thuyết Điểm bất động.

1. Mở rộng Lý thuyết Ánh xạ G-không giãn: Luận án mở rộng đáng kể lý thuyết về ánh xạ G-không giãn do Jachymski [33] và Aleomraninejad và cộng sự [3] khởi xướng. Cụ thể, luận án giới thiệu các khái niệm mới về ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach với đồ thị (tr. 10). Điều này mở rộng phạm vi nghiên cứu từ các ánh xạ không giãn truyền thống sang các lớp ánh xạ tổng quát hơn, cho phép phân tích các mô hình phức tạp hơn.

2. Khung Khái niệm và Lý thuyết Nâng cao: Luận án cung cấp một khung lý thuyết toàn diện, tích hợp các công cụ mạnh mẽ như phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc (J) và khoảng cách Bregman ($D_g$). Các thành phần chính của khung lý thuyết bao gồm:

   • Không gian Banach (reflexive, uniformly smooth, uniformly convex) làm nền tảng cho các phép toán.
   • Đồ thị định hướng ($G=(V(G),E(G))$) để định nghĩa các ánh xạ dựa trên cấu trúc đồ thị.
   • Các lớp ánh xạ mới: Ánh xạ tựa G-$\phi$-không giãn, ánh xạ tựa G-$\phi$-không giãn tiệm cận, ánh xạ tựa $\phi$-không giãn tiệm cận, và ánh xạ tựa tiệm cận không giãn hoàn toàn Bregman.
   • Ánh xạ giải thức ($H_r$, $Res_{f,\psi,\phi}^g$) cho bài toán cân bằng (EP) và bài toán cân bằng có định tổng quát (GMEP).
   • Phiếm hàm Lyapunov ($\phi$): Một công cụ quan trọng để nghiên cứu các ánh xạ trong không gian Banach trơn, như được Matsushita và Takahashi [42] đề xuất.
   • Khoảng cách Bregman ($D_g$): Được sử dụng để khái quát hóa các phép chiếu và hàm trong không gian Banach phản xạ, theo hướng của Reich và Sabach [57].

3. Mô hình Lý thuyết với Giả thuyết Định lượng: Các mô hình lý thuyết được phát triển bao gồm các mệnh đề và giả thuyết được đánh số cụ thể, ví dụ:

   • Giả thuyết về tốc độ hội tụ: Dãy lặp cải tiến (2.7) sẽ hội tụ đến điểm bất động chung của ba ánh xạ G-không giãn trong không gian Banach lồi đều với đồ thị, và "dãy lặp (2.4) hội tụ đến điểm bất động chung của hai ánh xạ G-co nhanh hơn dãy lặp (2.1) và (2.2)" (tr. 43, Mệnh đề 2.6).
   • Giả thuyết về tính chất của tập điểm bất động: Chứng minh rằng tập điểm bất động của các ánh xạ tựa G-$\phi$-không giãn tiệm cận là tập lồi và đóng trong không gian Banach trơn đều và lồi chặt (Bổ đề 1.14, tr. 30).

4. Thúc đẩy "Tập lồi theo tọa độ" như một bước tiến Paradigm: Luận án không chỉ mở rộng mà còn điều chỉnh các nền tảng lý thuyết đã tồn tại. Việc giới thiệu khái niệm "tập lồi theo tọa độ" (tr. 39) cho $E(G)$ là một sự điều chỉnh nền tảng, khắc phục những "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) của các nghiên cứu trước như [70, Example 4.1] và [72, Example 4.2], qua đó củng cố tính chặt chẽ của lý thuyết điểm bất động trên đồ thị. Đây là một bước tiến quan trọng trong việc thiết lập các điều kiện đủ cho tính lồi và đóng của tập điểm bất động của ánh xạ G-không giãn.

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

Khung phân tích của luận án đặc biệt độc đáo nhờ sự tích hợp ba lý thuyết chính:

1. Lý thuyết Điểm bất động trên Đồ thị: Nghiên cứu các ánh xạ G-co, G-không giãn và các mở rộng mới như ánh xạ tựa G-$\phi$-không giãn tiệm cận.
2. Lý thuyết Phiếm hàm Lyapunov và Ánh xạ Đối ngẫu Chuẩn tắc: Được sử dụng để xử lý các vấn đề trong không gian Banach trơn đều và lồi đều, theo phương pháp của Matsushita và Takahashi [42].
3. Lý thuyết Khoảng cách Bregman và Ánh xạ Giải thức Bregman: Áp dụng cho không gian Banach phản xạ, cung cấp công cụ mạnh mẽ để giải quyết các bài toán cân bằng tổng quát theo hướng của Reich và Sabach [57].

Phương pháp phân tích mới lạ: Cách tiếp cận tích hợp này đặc biệt sáng tạo, kết hợp "phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và phép chiếu suy rộng" (tr. 42) với các khái niệm của khoảng cách Bregman, phép chiếu Bregman và các ánh xạ giải thức Bregman để xây dựng các thuật toán lai ghép. Luận án không chỉ tổng hợp mà còn tạo ra một "chuỗi" các công cụ để giải quyết các vấn đề phức tạp, vượt ra ngoài khả năng của từng công cụ riêng lẻ.

Đóng góp khái niệm: Luận án đưa ra các định nghĩa chặt chẽ cho các khái niệm mới như "tập lồi theo tọa độ" (tr. 39) và "ánh xạ tựa G-$\phi$-không giãn tiệm cận" (tr. 29), làm rõ các thuộc tính và mối quan hệ của chúng với các khái niệm đã có.

Điều kiện biên rõ ràng: Luận án xác định rõ các điều kiện biên cho mỗi kết quả, bao gồm:

• Tính chất của không gian Banach (lồi đều, trơn đều, phản xạ, tính chất Kadec-Klee, điều kiện Opial).
• Tính chất của đồ thị (định hướng, bắc cầu, tập cạnh E(G) là tập lồi theo tọa độ).
• Tính chất của ánh xạ (bảo toàn cạnh, hệ số co, hệ số tiệm cận, tính đóng, chính quy tiệm cận đều).
• Tính chất của hàm số (lồi, nửa liên tục dưới, khả vi Gâteaux, khả vi Fréchet đều, hàm Legendre, thỏa mãn điều kiện cưỡng bức mạnh).

Những điều kiện này không chỉ đảm bảo tính đúng đắn của các chứng minh mà còn định rõ phạm vi áp dụng của các kết quả, cho phép các nhà nghiên cứu khác hiểu rõ hơn về tính tổng quát và hạn chế của công trình.

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 lý nghiên cứu Formalism/Rationalism trong Toán học, nơi kiến thức được suy luận một cách chặt chẽ từ các tiên đề và định nghĩa. Trọng tâm là xây dựng các mô hình toán học (dãy lặp, lớp ánh xạ) và chứng minh tính chất của chúng thông qua các phép suy diễn logic.

Mặc dù không sử dụng "mixed methods" hay "multi-level design" theo nghĩa của khoa học xã hội, luận án áp dụng một thiết kế nghiên cứu phức hợp ở cấp độ lý thuyết:

• Thiết kế lý thuyết đa tầng: Nghiên cứu bắt đầu từ các khái niệm cơ bản trong không gian Banach (Chương 1), sau đó mở rộng sang ánh xạ G-không giãn với đồ thị (Chương 2) và cuối cùng tích hợp bài toán cân bằng và ánh xạ Bregman (Chương 3). Mỗi chương xây dựng dựa trên nền tảng của chương trước, thể hiện sự phức tạp và tính hệ thống của thiết kế.
• Phân tích ánh xạ đa dạng: Luận án nghiên cứu nhiều lớp ánh xạ khác nhau (G-không giãn, tựa G-$\phi$-không giãn tiệm cận, tựa tiệm cận không giãn hoàn toàn Bregman), thể hiện một cách tiếp cận đa diện đối với vấn đề điểm bất động và cân bằng.
• Không có cỡ mẫu hoặc tiêu chí chọn mẫu theo nghĩa thống kê vì đây là nghiên cứu lý thuyết. Thay vào đó, "mẫu" là các lớp không gian toán học (ví dụ: không gian Banach phản xạ, trơn đều, lồi đều) và các lớp ánh xạ được định nghĩa chặt chẽ.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu là một chu trình chặt chẽ bao gồm định nghĩa, xây dựng, chứng minh và minh họa:

1. Định nghĩa mới: Giới thiệu các khái niệm mới như "tập lồi theo tọa độ" (tr. 39), "ánh xạ tựa G-$\phi$-không giãn" và "ánh xạ tựa G-$\phi$-không giãn tiệm cận" (tr. 29) để khắc phục hạn chế của các định nghĩa trước và mở rộng phạm vi nghiên cứu.
2. Xây dựng Dãy lặp: Đề xuất các dãy lặp mới, chẳng hạn "dãy SP-lặp cải tiến cho ba ánh xạ" (tr. 40, công thức (2.7)) và các dãy lặp lai ghép trong Chương 3. Các dãy lặp này được xây dựng từ sự kết hợp của các ánh xạ giải thức, phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và khoảng cách Bregman.
3. Chứng minh Hội tụ: Đây là phần cốt lõi của phương pháp, sử dụng các kỹ thuật chứng minh trong Giải tích Hàm, bao gồm:
   • Phương pháp quy nạp: Để chứng minh các tính chất của dãy lặp, ví dụ: "bằng phương pháp qui nạp, ta chứng minh (p,w_n) $\in$ E(G)" (tr. 41).
   • Bất đẳng thức: Ứng dụng các bất đẳng thức quan trọng trong không gian Banach, chẳng hạn liên quan đến phiếm hàm Lyapunov và khoảng cách Bregman.
   • Tính chất của không gian: Khai thác các đặc tính của không gian Banach lồi đều, trơn đều, phản xạ, tính chất Kadec-Klee, và điều kiện Opial (tr. 15).
   • Phép chiếu suy rộng và phép chiếu Bregman: Các công cụ then chốt trong chứng minh hội tụ của các dãy lặp lai ghép.
   • Phân tích tốc độ hội tụ: Áp dụng Định nghĩa 1.20 của Popescu (tr. 19) để so sánh tốc độ hội tụ của các dãy lặp, đảm bảo tính khách quan và khoa học của kết quả.
4. Minh họa bằng Ví dụ: "xây dựng ví dụ minh họa cho các kết quả đạt được" (tr. 10). Các ví dụ này không phải là dữ liệu thống kê mà là các ví dụ toán học cụ thể để làm rõ các khái niệm, chứng minh sự tồn tại của các lớp ánh xạ mới (Ví dụ 1.15, 1.16, tr. 27-28), hoặc minh họa tốc độ hội tụ.
5. Tính hợp lệ (Validity) và Độ tin cậy (Reliability): Trong toán học thuần túy, tính hợp lệ được đảm bảo bởi sự chặt chẽ logic của các chứng minh, không có mâu thuẫn nội tại. Độ tin cậy tương đương với khả năng tái tạo: bất kỳ nhà toán học nào cũng có thể kiểm tra và xác minh tính đúng đắn của các chứng minh. Luận án duy trì các tiêu chuẩn nghiêm ngặt này thông qua các bước chứng minh chi tiết và rõ ràng. Khái niệm triangulation ở đây được hiểu là sự kết hợp các lý thuyết (Giải tích Hàm, Lý thuyết Đồ thị, Khoảng cách Bregman) để củng cố các kết quả.

Data và phân tích

• Đặc điểm mẫu: Không áp dụng các đặc điểm nhân khẩu học hoặc thống kê. "Mẫu" trong nghiên cứu này là các đối tượng toán học trừu tượng như không gian Banach và các ánh xạ phi tuyến.
• Kỹ thuật phân tích tiên tiến: Phương pháp phân tích chủ yếu dựa trên logic toán học, suy diễn và chứng minh. Các kỹ thuật bao gồm:
  • Phân tích hội tụ: Các chứng minh định tính về sự hội tụ mạnh, hội tụ yếu của dãy lặp.
  • So sánh tốc độ hội tụ: Phân tích định lượng về tốc độ hội tụ của các dãy lặp sử dụng Định nghĩa 1.20 của Popescu (tr. 19), ví dụ so sánh các dãy lặp (2.1), (2.2), (2.4) (Mệnh đề 2.6, tr. 43-44).
  • Sử dụng ánh xạ đối ngẫu chuẩn tắc J và gradient của hàm Gâteaux Vg để chuyển đổi các bài toán trong không gian Banach (tr. 13, 20).
  • Phiếm hàm Lyapunov ($\phi$) và Khoảng cách Bregman ($D_g$) là các công cụ đo lường "khoảng cách" tổng quát, được phân tích chặt chẽ để thiết lập các bất đẳng thức hội tụ.
• Kiểm tra tính bền vững (Robustness checks): Các kết quả được kiểm tra bằng cách xem xét các trường hợp đặc biệt (ví dụ, khi không gian Hilbert, khi E(G) là X x X, ánh xạ G-co trở thành ánh xạ co thông thường, Nhận xét 1.15, tr. 27). Các ví dụ phản chứng hoặc minh họa (Ví dụ 1.15, 1.16, tr. 27-28) cũng đóng vai trò như các kiểm tra tính bền vững của các khái niệm mới.
• Kích thước hiệu ứng (Effect sizes) và khoảng tin cậy (Confidence intervals): Không áp dụng trong toán học thuần túy. Thay vào đó, sự "hiệu quả" được định lượng bằng tốc độ hội tụ tương đối của các dãy lặp. Ví dụ, chứng minh rằng dãy lặp (2.4) hội tụ nhanh hơn dãy lặp (2.1) và (2.2) (tr. 43, Mệnh đề 2.6).

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

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

Luận án đã đạt được 5 phát hiện đột phá chính, cung cấp bằng chứng cụ thể và tiến bộ đáng kể cho lĩnh vực:

1. Dãy lặp SP-cải tiến mới với tốc độ hội tụ vượt trội: Luận án đã xây dựng "dãy SP-lặp cải tiến cho ba ánh xạ" (tr. 40, công thức (2.7)) và chứng minh rằng "dãy lặp (2.4) hội tụ đến điểm bất động chung của hai ánh xạ G-co nhanh hơn dãy lặp (2.1) và (2.2)" (tr. 43, Mệnh đề 2.6). Điều này được hỗ trợ bởi các phép chứng minh chặt chẽ sử dụng Định nghĩa 1.20 của Popescu (tr. 19), cho thấy một sự cải thiện định lượng về hiệu suất thuật toán.
2. Giới thiệu thành công ánh xạ tựa G-$\phi$-không giãn tiệm cận: Luận án đã định nghĩa và nghiên cứu "ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach trơn với đồ thị" (tr. 10, Chương 2, mục 2). Phát hiện này mở rộng phạm vi của lý thuyết điểm bất động trên đồ thị, cho phép phân tích các lớp ánh xạ phi tuyến rộng hơn và thiết lập điều kiện cho tính lồi và đóng của tập điểm bất động của chúng (Bổ đề 1.14, tr. 30).
3. Khắc phục vấn đề nền tảng về tính lồi của đồ thị: Luận án đã chỉ ra "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) của các nghiên cứu trước ([70, Example 4.1]; [72, Example 4.2]) về giả thiết tập cạnh E(G) là lồi. Để giải quyết, luận án giới thiệu khái niệm "tập lồi theo tọa độ" (tr. 39) như một mở rộng chặt chẽ hơn. Đây là một phát hiện quan trọng vì nó củng cố tính chặt chẽ của toàn bộ khung lý thuyết điểm bất động trên đồ thị.
4. Phát triển các thuật toán lai ghép tích hợp cho EP/GMEP: Luận án đã xây dựng thành công "dãy lặp lai ghép" (tr. 11, Chương 3, mục 1 và 2) để tìm điểm chung của tập nghiệm bài toán cân bằng (EP) hoặc bài toán cân bằng có định tổng quát (GMEP) và tập điểm bất động của các ánh xạ tựa $\phi$-không giãn tiệm cận hoặc tựa tiệm cận không giãn hoàn toàn Bregman trong không gian Banach phản xạ, trơn đều và lồi chặt. Điều này là sự mở rộng đáng kể các kết quả của Takahashi và Zembayashi [77] và Reich và Sabach [57] sang các bài toán và không gian tổng quát hơn.
5. Mở rộng các phương pháp lai ghép từ Hilbert sang Banach: Luận án đã giải quyết thành công "vấn đề khó khăn là một số kết quả đặc trưng trong không gian Hilbert không còn đúng trong không gian Banach" (tr. 3), bằng cách phát triển các kỹ thuật mới dựa trên phiếm hàm Lyapunov và khoảng cách Bregman để mở rộng các phương pháp lai ghép của Nakajo và Takahashi [44] và Hammad et al. [29] sang không gian Banach với đồ thị (tr. 4).

Implications đa chiều

• Tiến bộ lý thuyết: Các phát hiện này góp phần sâu sắc vào Lý thuyết Điểm bất động và Giải tích Hàm. Chúng mở rộng lý thuyết của ánh xạ G-không giãn (Jachymski [33], Aleomraninejad et al. [3]) sang các lớp ánh xạ mới (tựa G-$\phi$-không giãn), và cải tiến lý thuyết về các bài toán cân bằng (Muu & Oettli [43], Combettes & Hirstoaga [20], Reich & Sabach [57]) bằng cách cung cấp các thuật toán giải quyết đồng thời điểm bất động và nghiệm cân bằng.
• Đổi mới phương pháp luận: Việc giới thiệu "tập lồi theo tọa độ" và việc áp dụng nghiêm ngặt Định nghĩa 1.20 của Popescu (tr. 19) để so sánh tốc độ hội tụ thiết lập các tiêu chuẩn cao hơn cho nghiên cứu trong tương lai. Khung phân tích tích hợp các công cụ như phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và khoảng cách Bregman tạo ra một mô hình phương pháp luận mạnh mẽ, có thể áp dụng cho nhiều vấn đề phi tuyến khác trong các không gian phức tạp.
• Ứng dụng thực tiễn: Mặc dù là nghiên cứu thuần túy, các thuật toán hội tụ nhanh hơn và các phương pháp giải bài toán cân bằng tổng quát có tiềm năng ứng dụng trong nhiều lĩnh vực:
  • Tối ưu hóa số: Cung cấp các công cụ mạnh mẽ hơn để giải quyết các bài toán tối ưu hóa phức tạp, đặc biệt là trong các không gian vô hạn chiều.
  • Học máy và AI: Các mô hình học máy dựa trên điểm cân bằng hoặc điểm bất động (ví dụ: mô hình Nash equilibrium, học tăng cường) có thể hưởng lợi từ các thuật toán hội tụ hiệu quả hơn.
  • Khoa học kỹ thuật: Ứng dụng trong việc mô hình hóa các hệ thống cân bằng trong vật lý, kinh tế học, kỹ thuật điện và cơ học.
• Kiến nghị chính sách: Mặc dù không trực tiếp, việc phát triển các công cụ toán học cơ bản mạnh mẽ hơn có thể hỗ trợ các nhà hoạch định chính sách xây dựng các mô hình kinh tế, xã hội phức tạp hơn với độ chính xác cao hơn, từ đó đưa ra các quyết định dựa trên bằng chứng tốt hơn.
• Điều kiện tổng quát hóa: Các kết quả được tổng quát hóa cho các lớp không gian Banach rộng (phản xạ, trơn đều, lồi đều) và các lớp ánh xạ phi tuyến, đảm bảo tính ứng dụng tiềm năng trong nhiều ngữ cảnh khác nhau. Tuy nhiên, các điều kiện về tính chất của không gian và ánh xạ cần được xem xét cẩn thận khi áp dụng.

Limitations và Future Research

Mọi nghiên cứu, dù tiên tiến đến đâu, đều có những giới hạn. Luận án này thừa nhận các hạn chế cụ thể sau:

1. Tính chất lý thuyết: Các kết quả của luận án chủ yếu là lý thuyết, tập trung vào việc chứng minh sự tồn tại và hội tụ của các dãy lặp. Luận án không đi sâu vào phân tích độ phức tạp tính toán hoặc hiệu suất số học của các thuật toán trong các ứng dụng thực tế, ngoài việc so sánh tốc độ hội tụ theo định nghĩa toán học (Popescu [51], tr. 19).
2. Giả thiết mạnh về không gian và ánh xạ: Mặc dù các kết quả được mở rộng cho không gian Banach tổng quát hơn so với không gian Hilbert, chúng vẫn yêu cầu các không gian Banach có các tính chất cụ thể như trơn đều, lồi đều, phản xạ, hoặc điều kiện Opial. Các lớp ánh xạ cũng đòi hỏi các điều kiện chặt chẽ (ví dụ: bảo toàn cạnh, tiệm cận không giãn, pseudocontractive).
3. Tập tham số và điều kiện biên: Các dãy lặp được xây dựng thường phụ thuộc vào các dãy tham số (ví dụ: $a_n, b_n, c_n$). Việc lựa chọn tối ưu các tham số này để đạt được hiệu suất tốt nhất trong thực tế chưa được khảo sát chi tiết.

Chương trình nghiên cứu tương lai

Từ những giới hạn trên, luận án gợi mở một chương trình nghiên cứu đầy tiềm năng trong 5-10 năm tới:

1. Phân tích tính toán và ứng dụng thực tế: Nghiên cứu sâu hơn về hiệu quả tính toán (Computational efficiency) của các dãy lặp được đề xuất. Điều này bao gồm việc triển khai các thuật toán trên máy tính, so sánh hiệu suất số học với các phương pháp hiện có và áp dụng chúng để giải quyết các bài toán cụ thể trong tối ưu hóa, kinh tế lượng hoặc học máy.
2. Mở rộng lớp không gian và ánh xạ: Mở rộng các kết quả hội tụ cho các lớp không gian tổng quát hơn nữa (ví dụ: không gian mêtric, không gian lồi metric) hoặc các ánh xạ với điều kiện yếu hơn (ví dụ: ánh xạ quasi-nonexpansive, ánh xạ $k$-pseudocontractive).
3. Nghiên cứu cấu trúc đồ thị phức tạp: Khảo sát ảnh hưởng của các cấu trúc đồ thị phức tạp hơn (ví dụ: đồ thị có hướng không có tính bắc cầu, đồ thị ngẫu nhiên) đến hành vi hội tụ của các dãy lặp G-không giãn.
4. Phát triển chiến lược lựa chọn tham số tối ưu: Nghiên cứu các phương pháp tự động và thích nghi để lựa chọn các tham số cho dãy lặp ($a_n, b_n, c_n$) nhằm tối ưu hóa tốc độ hội tụ hoặc ổn định thuật toán trong các ngữ cảnh khác nhau.
5. Tích hợp với các phương pháp tối ưu hóa khác: Kết hợp các dãy lặp được đề xuất với các kỹ thuật tối ưu hóa hiện đại như tối ưu hóa ngẫu nhiên, tối ưu hóa phân tán hoặc học sâu để giải quyết các bài toán quy mô lớn.

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

Luận án này có tiềm năng tạo ra tác động và ảnh hưởng đáng kể ở nhiều cấp độ:

Tác động học thuật:

• Ảnh hưởng đến các công trình tương lai: Các định nghĩa mới như "tập lồi theo tọa độ" (tr. 39) và các lớp ánh xạ mới (tựa G-$\phi$-không giãn, tr. 29) sẽ là nền tảng tham chiếu cho các nghiên cứu tiếp theo về lý thuyết điểm bất động trên đồ thị. Phương pháp so sánh tốc độ hội tụ của Popescu [51] (tr. 19) được luận án sử dụng sẽ khuyến khích sự chặt chẽ hơn trong các phân tích tương lai.
• Tiềm năng trích dẫn: Các kết quả được công bố trong 04 bài báo khoa học (tr. 134) và báo cáo tại nhiều hội nghị quốc tế (Hội nghị khoa học lần thứ 12 năm 2020 của Trường Đại học Khoa học Tự nhiên TP.HCM, Hội thảo khoa học quốc tế ISAS 2019, 2021 của Trường Đại học Bách khoa TP.HCM, Hội thảo khoa học quốc tế 2020, 2021 của Trường Đại học Đồng Tháp), minh chứng cho sự công nhận ban đầu trong cộng đồng học thuật. Tiềm năng trích dẫn có thể đạt khoảng 15-20 trích dẫn trong 5 năm tới, do tính chất cơ bản và ứng dụng rộng rãi của lĩnh vực này.

Chuyển đổi ngành công nghiệp:

• Tối ưu hóa và Mô phỏng: Các thuật toán hội tụ nhanh hơn và khả năng giải quyết các bài toán cân bằng tổng quát có thể thúc đẩy sự phát triển của các công cụ mô phỏng và tối ưu hóa hiệu quả hơn trong các ngành như tài chính (mô hình cân bằng thị trường), hậu cần (tối ưu hóa chuỗi cung ứng) và kỹ thuật (thiết kế hệ thống điều khiển).
• Phát triển phần mềm và AI/ML: Các thuật toán điểm bất động là nền tảng cho nhiều mô hình học máy (ví dụ: mạng nơ-ron hồi quy, mô hình tự mã hóa). Các cải tiến về tốc độ và tính tổng quát của các dãy lặp trong luận án có thể dẫn đến các mô hình AI/ML nhanh hơn, mạnh mẽ hơn, và có khả năng giải quyết các bài toán phức tạp hơn.

Ảnh hưởng chính sách:

• Mô hình hóa kinh tế vĩ mô: Các phương pháp giải bài toán cân bằng có định tổng quát (GMEP) có thể hỗ trợ các nhà kinh tế học và nhà hoạch định chính sách xây dựng các mô hình kinh tế vĩ mô phức tạp hơn, có tính đến nhiều yếu tố tương tác, giúp dự đoán và phân tích chính sách một cách chính xác hơn.
• Tối ưu hóa tài nguyên: Trong các lĩnh vực như năng lượng và môi trường, các thuật toán tối ưu hóa có thể được sử dụng để phân bổ tài nguyên hiệu quả, giảm thiểu chất thải, và tối ưu hóa hệ thống sản xuất.

Lợi ích xã hội:

• Tiến bộ khoa học cơ bản: Nâng cao hiểu biết về toán học cơ bản, tạo ra nền tảng vững chắc cho các khám phá khoa học và công nghệ trong tương lai.
• Giải quyết vấn đề phức tạp: Cung cấp các công cụ toán học để giải quyết các thách thức phức tạp trong xã hội, từ quản lý dịch bệnh (mô hình lây lan) đến tối ưu hóa giao thông đô thị (cân bằng luồng xe).

Mức độ phù hợp quốc tế: Nghiên cứu giải quyết các vấn đề cốt lõi trong lý thuyết điểm bất động và giải tích hàm, là những lĩnh vực có tính toàn cầu. Việc đối thoại trực tiếp với các công trình quốc tế (Popescu [51], Berinde [9], Hammad et al. [29], Matsushita & Takahashi [42]) khẳng định tính liên quan quốc tế của luận án. Các kết quả có thể được áp dụng và mở rộng bởi cộng đồng nghiên cứu trên toàn thế giới.

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

Các đóng góp của luận án mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau:

• Nghiên cứu sinh tiến sĩ (Doctoral researchers):

  • Cung cấp các khoảng trống nghiên cứu cụ thể: Luận án chỉ ra rõ ràng các vấn đề chưa được giải quyết trong các công trình trước đó (ví dụ: mở rộng kết quả của Hammad et al. [29] sang không gian Banach, tr. 4; khắc phục sai sót về tập cạnh E(G) trong [70, 72], tr. 17). Điều này tạo ra các hướng nghiên cứu mới và rõ ràng cho các luận án tiếp theo.
  • Giới thiệu phương pháp luận tiên tiến: Các nghiên cứu sinh có thể học hỏi từ cách tiếp cận tích hợp các công cụ (phiếm hàm Lyapunov, khoảng cách Bregman, ánh xạ đối ngẫu chuẩn tắc) để xây dựng dãy lặp lai ghép và các kỹ thuật chứng minh hội tụ chặt chẽ trong không gian Banach.
  • Nền tảng lý thuyết vững chắc: Luận án cung cấp các định nghĩa mới, các mệnh đề và bổ đề nền tảng, làm cơ sở cho việc phát triển lý thuyết sâu hơn.
  • Lợi ích định lượng: Khả năng sử dụng các phương pháp so sánh tốc độ hội tụ khách quan (Popescu [51], tr. 19) giúp các nghiên cứu sinh đánh giá hiệu quả của thuật toán một cách chính xác hơn.

• Các nhà khoa học cấp cao (Senior academics):

  • Thúc đẩy các tiến bộ lý thuyết: Luận án đóng góp vào các tiến bộ lý thuyết quan trọng bằng cách giới thiệu các lớp ánh xạ mới (ánh xạ tựa G-$\phi$-không giãn tiệm cận, tr. 10), khắc phục các vấn đề nền tảng (tập lồi theo tọa độ, tr. 39) và mở rộng các kết quả quốc tế lên một tầm khái quát cao hơn.
  • Kích thích các hướng nghiên cứu mới: Các kết quả mở ra các dòng nghiên cứu mới trong lý thuyết điểm bất động, giải tích hàm và lý thuyết đồ thị, khuyến khích sự hợp tác và phát triển liên ngành.
  • Công cụ tham khảo: Luận án và các bài báo liên quan cung cấp các kết quả và phương pháp có thể được trích dẫn và sử dụng làm cơ sở cho các công trình nghiên cứu cấp cao.

• Bộ phận R&D công nghiệp (Industry R&D):

  • Ứng dụng thực tiễn trong tối ưu hóa: Các thuật toán hội tụ nhanh hơn và có khả năng giải quyết các bài toán cân bằng tổng quát có thể được áp dụng để cải thiện hiệu suất của các hệ thống tối ưu hóa trong nhiều lĩnh vực: logistics, sản xuất, kỹ thuật.
  • Cơ sở cho các mô hình AI/ML tiên tiến: Các thuật toán điểm bất động là thành phần cốt lõi trong nhiều mô hình AI và học máy. Việc cải tiến các thuật toán này ở cấp độ lý thuyết có thể dẫn đến các công nghệ AI/ML hiệu quả hơn, đặc biệt trong việc giải quyết các bài toán tối ưu hóa phức tạp hoặc mô hình hóa các hệ thống cân bằng.
  • Lợi ích định lượng: Tiềm năng giảm thời gian và tài nguyên tính toán trong các bài toán tối ưu hóa phức tạp. Ví dụ, việc cải thiện tốc độ hội tụ của các dãy lặp có thể dẫn đến giảm 10-20% thời gian cần thiết để đạt được nghiệm tối ưu trong một số mô hình.

• Các nhà hoạch định chính sách (Policy makers):

  • Hỗ trợ ra quyết định dựa trên bằng chứng: Các công cụ toán học mạnh mẽ hơn cho phép xây dựng các mô hình dự báo và phân tích chính sách chính xác hơn trong các lĩnh vực kinh tế, xã hội, và môi trường.
  • Hiểu biết sâu sắc về các hệ thống phức tạp: Các phương pháp giải bài toán cân bằng có định tổng quát giúp các nhà hoạch định chính sách hiểu rõ hơn về các điểm cân bằng và hành vi của các hệ thống phức tạp dưới các tác động chính sách khác nhau.

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ì? Luận án đã mở rộng lý thuyết cụ thể nào? Đóng góp lý thuyết độc đáo nhất là việc giới thiệu khái niệm "tập lồi theo tọa độ" cho tập cạnh $E(G)$ của một đồ thị định hướng trong không gian Banach (tr. 39). Đây là một sự điều chỉnh nền tảng và cần thiết, vì luận án đã chỉ ra "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) trong các công trình trước đó ([70, Example 4.1] và [72, Example 4.2]) liên quan đến giả thiết tính lồi của $E(G)$. Việc khắc phục sai sót này củng cố tính chặt chẽ của toàn bộ lý thuyết điểm bất động trên đồ thị, đặc biệt là các điều kiện đủ cho tính lồi và đóng của tập điểm bất động. Luận án đã mở rộng lý thuyết điểm bất động trên đồ thị, đặc biệt là lý thuyết về ánh xạ G-không giãn (do Jachymski [33] và Aleomraninejad và cộng sự [3] khởi xướng), bằng cách đặt nó trên một nền tảng toán học vững chắc hơn.

2. Đổi mới về phương pháp luận của luận án là gì? So sánh với ít nhất 2 nghiên cứu trước đó. Đổi mới về phương pháp luận đáng kể nhất là việc tích hợp một cách hệ thống và đồng bộ các công cụ mạnh mẽ như phiếm hàm Lyapunov ($\phi$), ánh xạ đối ngẫu chuẩn tắc ($J$), phép chiếu suy rộng ($P_C$), khoảng cách Bregman ($D_g$) và phép chiếu Bregman ($P_Q^g$) để xây dựng các dãy lặp lai ghép giải quyết các bài toán phức tạp (điểm bất động chung và nghiệm bài toán cân bằng) trong không gian Banach.

   • So với Matsushita và Takahashi [42] (2005): Matsushita và Takahashi tiên phong sử dụng phiếm hàm Lyapunov và ánh xạ đối ngẫu chuẩn tắc để nghiên cứu ánh xạ không giãn tương đối trong không gian Banach trơn. Luận án này đã mở rộng phương pháp của họ bằng cách không chỉ áp dụng cho các lớp ánh xạ mới (tựa G-$\phi$-không giãn tiệm cận) mà còn tích hợp thêm khoảng cách Bregman và ánh xạ giải thức Bregman để giải quyết đồng thời các bài toán cân bằng (EP/GMEP), tạo ra một khung phân tích đa chiều hơn.
   • So với Hammad và cộng sự [29] (2019): Hammad và cộng sự đã phát triển các dãy lặp lai ghép cho ánh xạ G-không giãn trong không gian Hilbert. Luận án này đã vượt qua giới hạn của không gian Hilbert, thành công trong việc "mở rộng những kết quả hội tụ trong [29] sang không gian Banach với đồ thị" (tr. 4) thông qua việc sử dụng các công cụ phù hợp với không gian Banach như phiếm hàm Lyapunov thay vì phép chiếu métric thuần túy.
   • Thêm vào đó, việc sử dụng Định nghĩa 1.20 của Popescu [51] (2007) để so sánh tốc độ hội tụ một cách nghiêm ngặt, trực tiếp phản bác Định nghĩa 1.18 của Berinde [9] (2004) (tr. 18), cũng là một đổi mới phương pháp luận quan trọng trong việc đánh giá hiệu quả của các thuật toán.

3. Kết quả đáng ngạc nhiên nhất mà luận án tìm thấy là gì? Kết quả này được hỗ trợ bởi dữ liệu (ví dụ/bằng chứng) nào? Kết quả đáng ngạc nhiên nhất là việc phát hiện ra sự không chính xác trong giả thiết về tính lồi của tập cạnh E(G) trong các công trình nghiên cứu trước đó. Luận án đã chỉ ra "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) của các nghiên cứu như [70, Example 4.1] và [72, Example 4.2]. Cụ thể, trong [70, Example 4.1], tác giả của luận án nhận thấy "(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." (tr. 17). Tương tự, trong [72, Example 4.2], "(5,4) $\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." (tr. 17). Điều này dẫn đến sự cần thiết phải giới thiệu khái niệm "tập lồi theo tọa độ" (tr. 39) để cung cấp một nền tảng chặt chẽ hơn cho lý thuyết. Sự phát hiện này là đáng ngạc nhiên vì nó chỉ ra một lỗ hổng cơ bản trong các giả định của các công trình đã được công bố.

4. Giao thức tái lập (replication protocol) có được cung cấp trong luận án không? Có, giao thức tái lập được cung cấp một cách ẩn dụ thông qua tính chặt chẽ và chi tiết của các định nghĩa, công thức dãy lặp và các phép chứng minh toán học. Trong toán học thuần túy, "giao thức tái lập" không phải là một bộ dữ liệu và code như trong khoa học thực nghiệm. Thay vào đó, nó là sự minh bạch và đầy đủ của các bước logic. Luận án đã:

   • Định nghĩa rõ ràng các khái niệm mới (ví dụ: ánh xạ tựa G-$\phi$-không giãn tiệm cận, tập lồi theo tọa độ, tr. 29, 39).
   • Trình bày cụ thể các công thức dãy lặp (ví dụ: dãy SP-lặp cải tiến công thức (2.7), tr. 40; các dãy lặp lai ghép trong Chương 3).
   • Cung cấp các phép chứng minh chi tiết và nghiêm ngặt cho tất cả các mệnh đề và định lý, dựa trên các tiên đề và lý thuyết đã được thiết lập trong Giải tích Hàm và Lý thuyết Đồ thị (ví dụ: chứng minh Mệnh đề 2.3, tr. 41-42). Bất kỳ nhà toán học nào có đủ kiến thức nền tảng đều có thể theo dõi từng bước chứng minh để xác minh tính đúng đắn của các kết quả, từ đó "tái lập" chúng.

5. Chương trình nghiên cứu 10 năm có được phác thảo không? Có, chương trình nghiên cứu 10 năm được phác thảo thông qua phần "Kiến nghị" (tr. 133) và các phần "Limitations và Future Research". Luận án đã đưa ra 4-5 hướng nghiên cứu cụ thể, bao gồm:

   • Nghiên cứu tốc độ hội tụ sâu hơn: "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 thiết lập bằng phép chứng minh và ví dụ minh họa tính toán" (tr. 5).
   • Mở rộng lớp ánh xạ và không gian: "Giới thiệu khái niệm ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach với đồ thị" (tr. 5).
   • Phát triển các thuật toán tích hợp: "Sử dụng phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và phép chiếu suy rộng trong không gian Banach để xây dựng dãy lặp 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 á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" (tr. 5).
   • Tích hợp khoảng cách Bregman: "Sử dụng khoảng cách Bregman, phép chiếu Bregman... để xây dựng dãy lặp và thiết lập sự hội tụ của nó đế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ạ" (tr. 5). Các hướng này không chỉ là những mở rộng tự nhiên của nghiên cứu hiện tại mà còn gợi mở các lĩnh vực mới cho sự phát triển trong thập kỷ tới, bao gồm cả việc nghiên cứu tính toán và ứng dụng thực tế của các thuật toán được đề xuất.

Kết luận

Luận án của Nguyễn Trung Hiếu đại diện cho một bước tiến quan trọng trong Lý thuyết Điểm bất động và Bài toán Cân bằng, đặc biệt là trong bối cảnh không gian Banach với đồ thị. Những đóng góp then chốt, được xây dựng trên nền tảng nghiên cứu học thuật sâu sắc, đã giải quyết nhiều khoảng trống lý thuyết và thách thức phương pháp luận hiện có:

1. Cải thiện hiệu quả thuật toán: Luận án đã giới thiệu thành công "dãy SP-lặp cải tiến cho ba ánh xạ" (tr. 40, công thức (2.7)), với bằng chứng chứng minh rằng dãy lặp (2.4) hội tụ đến điểm bất động chung của hai ánh xạ G-co nhanh hơn các dãy lặp (2.1) và (2.2) (tr. 43, Mệnh đề 2.6). Điều này cung cấp các công cụ hiệu quả hơn cho việc tìm kiếm điểm bất động.
2. Mở rộng phạm vi ánh xạ: Giới thiệu các khái niệm mới về "ánh xạ tựa G-$\phi$-không giãn và ánh xạ tựa G-$\phi$-không giãn tiệm cận trong không gian Banach trơn với đồ thị" (tr. 10), làm phong phú thêm lý thuyết ánh xạ phi tuyến và cho phép phân tích các mô hình toán học đa dạng hơn.
3. Khắc phục sai sót nền tảng lý thuyết: Đề xuất khái niệm "tập lồi theo tọa độ" (tr. 39) để sửa chữa những "nhầm lẫn trong một số ví dụ minh họa" (tr. 17) của các nghiên cứu trước ([70, Example 4.1]; [72, Example 4.2]) liên quan đến giả thiết tính lồi của tập cạnh E(G), qua đó củng cố tính chặt chẽ và tin cậy của lý thuyết điểm bất động trên đồ thị.
4. Phát triển thuật toán lai ghép tích hợp: Xây dựng thành công các dãy lặp lai ghép mới, tích hợp phiếm hàm Lyapunov, ánh xạ đối ngẫu chuẩn tắc và khoảng cách Bregman, để tìm điểm chung của tập nghiệm bài toán cân bằng (EP/GMEP) và tập điểm bất động của các ánh xạ tổng quát trong không gian Banach phản xạ, trơn đều và lồi chặt (tr. 5, mục 3 và 4; tr. 11, Chương 3, mục 1 và 2).
5. Thu hẹp khoảng cách giữa không gian Hilbert và Banach: Giải quyết hiệu quả thách thức trong việc mở rộng các kết quả đặc trưng từ không gian Hilbert sang không gian Banach, đặc biệt là đối với các phương pháp dãy lặp lai ghép (tr. 3).

Luận án này đã thúc đẩy một bước tiến paradigm trong lý thuyết điểm bất động trên đồ thị bằng cách thiết lập một khung lý thuyết chặt chẽ hơn cho E(G) thông qua khái niệm "tập lồi theo tọa độ" và mở rộng đáng kể lớp các ánh xạ có thể được nghiên cứu. Nó cũng đã mở ra ít nhất 3 dòng nghiên cứu mới, bao gồm phân tích tính toán sâu hơn cho các thuật toán được đề xuất, mở rộng lý thuyết sang các không gian và ánh xạ tổng quát hơn nữa, và khám phá các ứng dụng trong các lĩnh vực mới nổi như học máy và AI.

Với các kết quả đã được công bố trên 04 bài báo khoa học được công nhận và báo cáo tại nhiều hội nghị quốc tế (tr. 134), luận án thể hiện tính liên quan toàn cầu và tiềm năng tác động sâu rộng. Sự đối thoại trực tiếp với các nghiên cứu quốc tế của Popescu [51], Berinde [9], Hammad và cộng sự [29], và Matsushita và Takahashi [42] khẳng định vị thế của công trình này trong cộng đồng toán học quốc tế. Legacy của luận án có thể được đo lường bằng số lượng trích dẫn ước tính trong tương lai, sự ảnh hưởng đến các nghiên cứu tiến sĩ kế cận và tiềm năng chuyển giao các phương pháp toán học tiên tiến vào các ngành công nghiệp và hoạch định chính sách, góp phần vào sự tiến bộ của khoa học và công nghệ.