Tổng quan về luận án

Luận án "MỘT SỐ PHƯƠNG PHÁP KẾT HỢP GIẢI BÀI TOÁN CHẤP NHẬN LỒI SUY RỘNG" của Đặng Văn Hiếu tạo ra một bước tiến đáng kể trong lĩnh vực Giải tích Phi tuyến và Tối ưu hóa, đặc biệt trong việc giải quyết các bài toán phức tạp phát sinh từ khoa học và kỹ thuật. Nghiên cứu này nổi bật bởi cách tiếp cận tiên phong, kết hợp các kỹ thuật hiện đại để giải quyết các thách thức cố hữu của các bài toán đặt không chỉnh và hệ thống phương trình toán tử trong không gian Hilbert và Banach.

Bối cảnh khoa học của nghiên cứu được đặt trong thực tế rằng "Nhiều bài toán trong khoa học và kĩ thuật như bài toán khôi phục ảnh, bài toán xử lý tín hiệu, bài toán tối ưu, bài toán cân bằng v.v. [19, 39, 40] dẫn tới giải bài toán chấp nhận lồi". Từ đó, luận án mở rộng sang Bài toán Chấp nhận Lồi Suy rộng (GCFP), một mô hình bao trùm nhiều dạng bài toán quan trọng khác như giải hệ phương trình toán tử (SOE), tìm điểm bất động chung (CFPP), tìm nghiệm chung của bất đẳng thức biến phân (CSVIP), và tìm nghiệm chung của bài toán cân bằng (CSEP). Tính tiên phong của luận án thể hiện ở việc không chỉ giải quyết từng bài toán thành phần mà còn phát triển các phương pháp kết hợp để xử lý "bài toán tìm nghiệm chung hỗn hợp", tức là tìm nghiệm chung của nhiều họ bài toán GCFP cùng lúc, một vấn đề có ứng dụng sâu rộng trong các lĩnh vực như tối ưu đa mục tiêu và kinh tế.

Research Gap Cụ Thể: Mặc dù đã có nhiều nghiên cứu về GCFP, một "research gap" lớn tồn tại là "Phần lớn các thuật toán giải chúng là tuần tự (xoay vòng). Ý tưởng chung là sử dụng một thuật toán đã biết để xấp xỉ nghiệm tại mỗi bước cho một bài toán con và việc này được lặp một cách luân phiên xoay vòng qua các bài toán thành phần của hệ ban đầu." (tr. 13). Cách tiếp cận tuần tự này thường không hiệu quả khi xử lý các hệ thống lớn hoặc dữ liệu nhiễu. Luận án này đã giải quyết khoảng trống này bằng cách đề xuất các phương pháp "kết hợp" và "song song" mới, mang lại hiệu quả cao hơn và khả năng áp dụng rộng rãi hơn trong các môi trường tính toán song song. Cụ thể, nghiên cứu của Liu [60] về thuật toán lặp Halpern cho ánh xạ không giãn tương đối trong không gian Banach đã mở đường cho các phương pháp tuần tự, nhưng luận án này tìm kiếm các giải pháp vượt qua giới hạn đó.

Research Questions và Hypotheses:

  1. Làm thế nào để xây dựng các phương pháp chỉnh lặp song song hiệu quả (ẩn và hiện) cho hệ phương trình toán tử J-đơn điệu trong không gian Banach, đặc biệt khi có dữ liệu nhiễu, và chứng minh sự hội tụ mạnh của chúng?
  2. Có thể phát triển các phương pháp lai ghép tuần tự và song song cho bài toán điểm bất động chung (CFPP) của họ ánh xạ tựa φ-không giãn (tiệm cận) mà không yêu cầu các điều kiện mạnh như tính bán đóng, điều kiện Opial hay tính chất Kadec-Klee của không gian Banach không?
  3. Làm thế nào để thiết kế các thuật toán hội tụ mạnh tới nghiệm chung của các bài toán hỗn hợp (CFPP, CSVIP, CSEP) trong không gian Hilbert và Banach?
  4. Có thể xây dựng các thuật toán hội tụ (yếu và mạnh) cho bài toán cân bằng tách (SEP) và ứng dụng chúng cho bài toán bất đẳng thức biến phân tách (SVIP) không?

Theoretical Framework: Luận án xây dựng trên nền tảng của các lý thuyết cốt lõi trong giải tích phi tuyến, bao gồm:

  • Lý thuyết Toán tử J-đơn điệu (Accretive Operator Theory): Mở rộng các kết quả của Browder [29, 30] và Martinet [5] về toán tử J-đơn điệu trong không gian Banach, đặc biệt với các toán tử J-đơn điệu đều ngược.
  • Lý thuyết Điểm Bất động (Fixed Point Theory): Dựa trên các phương pháp lặp kinh điển của Mann [63] và Halpern [47] cho ánh xạ không giãn và mở rộng sang các ánh xạ tựa φ-không giãn tiệm cận trong không gian Banach (tham khảo [37, 78]).
  • Lý thuyết Bất đẳng thức Biến phân (Variational Inequality Theory): Kế thừa và phát triển từ công trình của Stampacchia [6] và các phương pháp chiếu của Korpelevich [58] (EGM), Censor, Gibali và Reich (SEGM).
  • Lý thuyết Bài toán Cân bằng (Equilibrium Problem Theory): Dựa trên công trình của Muu và Oettli [67], Blum và Oettli [22], Noor và Oettli [69], và đặc biệt là mở rộng phương pháp EGM cho bài toán cân bằng của Quoc [72] và các cộng sự.
  • Lý thuyết Hiệu chỉnh Bài toán Đặt Không Chỉnh (Regularization Theory for Ill-posed Problems): Áp dụng và phát triển các phương pháp Tikhonov [tr. 15] và Lavrentiev [59] (còn gọi là Browder-Tikhonov) cho hệ phương trình toán tử.

Đóng góp Đột phá với Quantified Impact:

  1. Phát triển Phương pháp Chỉnh Lặp Song Song (IPIRM & EPIRM): Luận án đề xuất "phương pháp chỉnh lặp song song ẩn (IPIRM)" và "phương pháp chỉnh lặp song song hiện (EPIRM)" để giải hệ phương trình toán tử J-đơn điệu trong không gian Banach, kể cả với dữ liệu nhiễu. Điều này mở rộng đáng kể các kết quả trước đó của Phạm Kỳ Anh và các cộng sự [13, 14] từ không gian Hilbert sang không gian Banach, nơi các chứng minh phức tạp hơn do "nhiều tính chất hình học của không gian Banach mà vốn dĩ các đánh giá của chúng là rất phức tạp" (tr. 21). Tác động được định lượng qua việc cung cấp các thuật toán hội tụ mạnh hơn cho các bài toán khoa học và kỹ thuật lớn.
  2. Phương pháp Lai Ghép Đơn Điệu Đột Phá cho CFPP: Luận án giới thiệu "phương pháp lai ghép đơn điệu (phương pháp chiếu co)" cho CFPP của họ ánh xạ tựa φ-không giãn (tiệm cận) trong không gian Banach. Phương pháp này có ưu điểm nổi bật là "dễ dàng chứng minh sự hội tụ của phương pháp đề xuất mà không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22), những điều kiện thường rất khó kiểm tra trong thực tế. Đóng góp này giúp mở rộng đáng kể lớp các ánh xạ có thể xử lý và giảm bớt các giả thiết chặt chẽ.
  3. Thuật toán Giải Nghiệm Chung Hỗn Hợp Đa Dạng: Chương 3 tổng hợp và thiết kế các thuật toán "kết hợp lại theo một trình tự nhất định" (tr. 22) để tìm nghiệm chung của các bài toán CFPP, CSVIP và CSEP đồng thời. Sự kết hợp này mang lại các giải pháp toàn diện cho các vấn đề tối ưu hóa đa mục tiêu và kinh tế. Điều này vượt ra ngoài các nghiên cứu trước đây như của Saeidi [75] chỉ tập trung vào không gian Hilbert.
  4. Giải pháp Đầy Đủ cho Bài toán Cân Bằng Tách (SEP): Luận án cung cấp hai thuật toán hội tụ yếu và mạnh cho bài toán cân bằng tách (SEP), và ứng dụng chúng cho bài toán bất đẳng thức biến phân tách (SVIP). Đây là một bước tiến quan trọng vì bài toán SEP mô hình hóa các tình huống mà nghiệm của một bài toán trong không gian này có ảnh là nghiệm của một bài toán khác trong không gian khác, một cấu trúc phức tạp nhưng phổ biến trong các ứng dụng thực tế.

Scope và Significance: Luận án tập trung vào việc phát triển các thuật toán lý thuyết cho các bài toán GCFP và các biến thể của chúng trong cả không gian Hilbert và Banach. Với "N" bài toán con được xem xét, luận án mở rộng phạm vi từ các hệ phương trình đơn lẻ đến các hệ thống phức tạp với nhiều loại toán tử và ánh xạ. Mặc dù không trực tiếp cung cấp "sample size" theo nghĩa thống kê truyền thống do tính chất lý thuyết của luận án toán học, các "thử nghiệm số" được thực hiện ở cuối mỗi chương để minh họa hiệu quả của các phương pháp đề xuất, thường với các bài toán có nghiệm đã biết. Nghiên cứu này có ý nghĩa to lớn trong việc cung cấp một bộ công cụ toán học mạnh mẽ hơn, hiệu quả hơn để giải quyết các vấn đề tối ưu hóa, khôi phục ảnh, xử lý tín hiệu, và kỹ thuật y sinh, những lĩnh vực mà các bài toán đặt không chỉnh và hệ thống phức tạp là phổ biến.

Literature Review và Positioning

Luận án của Đặng Văn Hiếu đặt mình một cách khéo léo vào dòng chảy nghiên cứu phong phú về các bài toán chấp nhận lồi suy rộng (GCFP), bắt đầu từ các công trình kinh điển và mở rộng sang các phương pháp hiện đại, đặc biệt là trong bối cảnh các không gian phi tuyến và bài toán đặt không chỉnh.

Synthesis của Major Streams với Tên Tác giả và Năm Cụ thể: Nghiên cứu bắt đầu bằng việc nhận định vai trò lịch sử của Bài toán Chấp nhận Lồi (CFP), được Cauchy đề cập từ giữa thế kỷ 19, và sau đó được Neumann (1933) với ý tưởng lặp xoay vòng và Kaczmarz (1937) với phương pháp chiếu lặp tuần tự cho hệ phương trình tuyến tính quá xác định. Phương pháp lặp đồng thời của Cimmino (1938) cũng được xem xét, và các mở rộng của nó bởi Diniz-Ehrhardt và Martinez [43], Zilli và Bergamaschi [86], Lu, Neittaanmaki và Tai [61], Censor, Gordon và Gordon [36]. Bregman [28] (1965) và Auslender [3] (cùng thời gian) đã khái quát các phương pháp này cho các tập lồi bất kỳ.

Trong hai thập niên gần đây, bài toán CFP và GCFP đã được Bauschke và Borwein [19], Butnariu, Censor và Reich [27] nghiên cứu rộng rãi, cả về lý thuyết và thuật toán. Các phương pháp giải hệ phương trình toán tử (SOE) đã được A. Bakushinskii [18] đề xuất dưới dạng chỉnh lặp bậc không và bậc một trong không gian Hilbert. Đối với bài toán điểm bất động (FPP), các phương pháp lặp Mann [63] và Halpern [47] là nền tảng, được Liu [60] áp dụng cho ánh xạ không giãn tương đối trong không gian Banach.

Bài toán bất đẳng thức biến phân (VIP) được Stampacchia [6] giới thiệu (1964) và các phương pháp chiếu như EGM của Korpelevich [58] cho bài toán điểm yên ngựa, và SEGM của Censor, Gibali và Reich là các cột mốc quan trọng. Bài toán cân bằng (EP), được Muu và Oettli [67] giới thiệu (1992), cùng với Blum và Oettli [22], Noor và Oettli [69] tiếp tục phát triển. Phương pháp EGM đã được Quoc [72] và các cộng sự mở rộng cho bài toán EP vào năm 2008.

Contradictions/Debates với ít nhất 2 Opposing Views:

  • Phương pháp tuần tự vs. Song song: Luận án chỉ ra sự thống trị của các phương pháp "tuần tự (xoay vòng)" trong giải GCFP (tr. 13) như của Kaczmarz và các biến thể. Tuy nhiên, các phương pháp này gặp hạn chế về tốc độ và khả năng mở rộng. Ngược lại, luận án phát triển các phương pháp "song song" như IPIRM và EPIRM, cho thấy một hướng đi khác nhằm tăng hiệu suất tính toán. C. Anh [15] cũng đã đề xuất phương pháp lai ghép song song cho CFPP, thể hiện xu hướng chuyển dịch sang các phương pháp song song.
  • Yêu cầu về điều kiện không gian vs. Mở rộng lớp bài toán: Các phương pháp chiếu đơn giản cho VIP đòi hỏi toán tử "đơn điệu mạnh (hoặc đơn điệu mạnh ngược)" (tr. 17), một điều kiện khá chặt chẽ. Để khắc phục, phương pháp EGM của Korpelevich [58] chỉ yêu cầu "tính liên tục Lipschitz và tính đơn điệu (hoặc giả đơn điệu)" (tr. 17). Luận án còn đi xa hơn khi đề xuất "phương pháp lai ghép đơn điệu" cho CFPP mà "không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22), thể hiện sự nỗ lực giảm nhẹ các giả thiết để tăng tính tổng quát.

Positioning trong Literature với Specific Gap Identified: Luận án định vị mình ở giao điểm của lý thuyết phương trình toán tử, điểm bất động, bất đẳng thức biến phân và bài toán cân bằng, đặc biệt là trong bối cảnh các bài toán đặt không chỉnh và hệ thống các bài toán chung (mixed common solution problems). Khoảng trống chính mà luận án nhắm đến là thiếu các "phương pháp kết hợp giải các bài toán dạng GCFP trong không gian Hilbert và Banach" (tr. 20) và đặc biệt là các phương pháp song song có thể xử lý hiệu quả các bài toán có cấu trúc ẩn và dữ liệu nhiễu. Trong khi nhiều nghiên cứu tập trung vào các không gian Hilbert (ví dụ, Phạm Kỳ Anh và các cộng sự [13, 14] về phương pháp chỉnh lặp song song), luận án này mở rộng sang không gian Banach, nơi các chứng minh và đánh giá trở nên phức tạp hơn đáng kể, như đã nêu: "chứng minh sự hội tụ của các phương pháp đề xuất là khá phức tạp trong không gian Banach" (tr. 21).

How this Advances Field với Concrete Contributions:

  • Mở rộng Phạm vi Ứng dụng: Bằng cách mở rộng các phương pháp chỉnh lặp từ không gian Hilbert sang không gian Banach cho toán tử J-đơn điệu, luận án cung cấp công cụ cho một lớp rộng hơn các bài toán trong các không gian phức tạp hơn.
  • Cải thiện Hiệu quả Tính toán: Việc đề xuất các phương pháp song song (IPIRM, EPIRM) trực tiếp đối phó với hạn chế của các phương pháp tuần tự truyền thống, mở ra hướng ứng dụng trong tính toán hiệu năng cao.
  • Giảm Nhẹ Giả thiết Lý thuyết: Phát triển phương pháp lai ghép đơn điệu cho CFPP không yêu cầu các điều kiện mạnh như Opial và Kadec-Klee giúp mở rộng lớp các ánh xạ có thể giải quyết, làm cho các thuật toán trở nên thực tế và dễ áp dụng hơn.
  • Giải pháp Toàn diện cho Bài toán Hỗn Hợp: Luận án là một trong số ít các nghiên cứu tập trung vào việc tìm kiếm nghiệm chung cho các hệ thống hỗn hợp nhiều loại bài toán GCFP, cung cấp một khuôn khổ tổng quát cho các vấn đề tối ưu hóa đa mục tiêu.

So sánh với ÍT NHẤT 2 International Studies:

  1. So với Liu [60]: Liu đã sử dụng thuật toán lặp Halpern để giải bài toán CFPP cho một họ các ánh xạ không giãn tương đối trong không gian Banach, đề xuất một phương pháp lai ghép tuần tự (0.11, tr. 16). Luận án này, trong Chương 2, cũng đề xuất các phương pháp lai ghép tuần tự và song song cho CFPP nhưng mở rộng sang "họ hữu hạn các ánh xạ tựa φ-không giãn (tiệm cận)" (tr. 22) và đặc biệt là sử dụng "phương pháp lai ghép đơn điệu" giúp loại bỏ các điều kiện như Opial và Kadec-Klee, điều mà phương pháp của Liu chưa đạt được.
  2. So với Saeidi [75]: Saeidi đã nghiên cứu bài toán tìm nghiệm chung của CSEP, CSVIP và CFPP trong không gian Hilbert H, sử dụng PPM, phép chiếu gradient và ánh xạ Wn để đề xuất phương pháp lai ghép xoay vòng (0.16, tr. 19). Luận án này, trong Chương 3, cũng giải quyết bài toán tìm nghiệm chung hỗn hợp tương tự, nhưng không chỉ trong không gian Hilbert mà còn trong không gian Banach. Hơn nữa, luận án tích hợp nhiều kỹ thuật hơn cho từng bài toán thành phần (PPM, EGM, GLM, Armijo cho EP; Mann, Halpern, chiếu gradient cho FPP/VIP), tạo ra một khuôn khổ tổng quát hơn và khả năng hội tụ mạnh tới nghiệm chung gần điểm xuất phát nhất. Trong khi Saeidi tập trung vào phương pháp xoay vòng, luận án này cũng khám phá các kỹ thuật song song và kết hợp, như đã thảo luận ở trên.

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

Luận án này đưa ra những đóng góp lý thuyết đáng kể thông qua việc mở rộng các khuôn khổ hiện có và xây dựng các mô hình phân tích độc đáo, đặc biệt tập trung vào việc giải quyết các bài toán đặt không chỉnh và hệ thống phi tuyến trong không gian Banach.

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

Luận án làm giàu lý thuyết giải tích phi tuyến theo nhiều hướng:

  • Extend/challenge WHICH specific theories (name theorists):

    • Mở rộng lý thuyết toán tử J-đơn điệu của Browder và Martinet: Luận án mở rộng các kết quả trong [12, 13] cho hệ phương trình toán tử J-đơn điệu trong không gian Banach (tr. 21). Browder [29, 30] là người tiên phong nghiên cứu toán tử J-đơn điệu trong không gian Banach, và Martinet [5] đã khái quát kết quả này cho lớp các toán tử J-đơn điệu liên tục. Luận án này không chỉ kế thừa mà còn phát triển các phương pháp giải hệ phương trình với các toán tử J-đơn điệu đều ngược, một lớp toán tử tổng quát hơn J-đơn điệu mạnh ngược. Điều này đòi hỏi những chứng minh hội tụ phức tạp hơn, dựa trên "nhiều tính chất hình học của không gian Banach" (tr. 21) và các tính chất của ánh xạ đối ngẫu chuẩn tắc J: X → X*.
    • Thách thức các giả thiết trong Lý thuyết Điểm Bất động: Các nghiên cứu trước đây về ánh xạ không giãn tương đối (ví dụ, Liu [60]) hoặc tựa φ-không giãn tiệm cận thường yêu cầu các điều kiện nhất định về không gian Banach (như tính bán đóng của toán tử, điều kiện Opial, hoặc tính chất Kadec-Klee). Luận án này đã "dễ dàng chứng minh sự hội tụ của phương pháp đề xuất mà không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22) khi xử lý bài toán CFPP cho ánh xạ tựa φ-không giãn (tiệm cận). Điều này tạo ra một bước tiến lý thuyết quan trọng, làm cho các thuật toán có thể áp dụng cho một lớp không gian và ánh xạ rộng hơn.
    • Mở rộng Phương pháp EGM của Korpelevich và Quoc: Luận án mở rộng phương pháp EGM của Korpelevich [58] (cho VIP) và Quoc [72] (cho EP) để xử lý các bài toán cân bằng tách (SEP), đưa ra các thuật toán hội tụ yếu và mạnh. Điều này đòi hỏi tích hợp các kỹ thuật mới để giải quyết cấu trúc "tách" phức tạp của bài toán.

  • Conceptual framework với components và relationships: Luận án phát triển một khuôn khổ khái niệm tổng quát để giải quyết Bài toán Chấp nhận Lồi Suy rộng (GCFP). Các thành phần chính bao gồm:

    • Bài toán cơ sở: GCFP, bao gồm SOE, CFPP, CSVIP, CSEP.
    • Phân loại toán tử/ánh xạ: Toán tử J-đơn điệu đều ngược, ánh xạ không giãn, ánh xạ tựa φ-không giãn (tiệm cận), song hàm đơn điệu/giả đơn điệu.
    • Kỹ thuật giải: Phương pháp hiệu chỉnh (Tikhonov, Lavrentiev), phương pháp lặp điểm bất động (Mann, Halpern), phương pháp chiếu (EGM, SEGM, GLM), phương pháp điểm gần kề (PPM), kỹ thuật phân rã song song.
    • Mối quan hệ: Các kỹ thuật này được "kết hợp" và "thiết kế theo một trật tự nhất định" (tr. 22) để giải quyết các bài toán hỗn hợp và tách, thay vì giải từng bài toán riêng lẻ. Mối liên hệ chặt chẽ giữa các bài toán EP, VIP, FPP và phương trình toán tử (tr. 47-48) cũng là một phần không thể thiếu của khuôn khổ này, cho phép chuyển đổi và áp dụng các kỹ thuật từ bài toán này sang bài toán khác.

  • Theoretical model với propositions/hypotheses numbered: Luận án đề xuất nhiều mô hình thuật toán mới, mỗi mô hình bao gồm một chuỗi các mệnh đề lặp lại (propositions/hypotheses) dẫn đến sự hội tụ. Ví dụ, cho phương pháp chỉnh lặp song song ẩn (IPIRM) và hiện (EPIRM) trong Chương 2, các mệnh đề về sự hội tụ được xây dựng dựa trên các bất đẳng thức Lyapunov và tính chất hình học của không gian Banach, như được thể hiện trong các Bổ đề 1.1-1.6 (tr. 26-27) và các đánh giá về nghiệm hiệu chỉnh x_n^* (tr. 40-41). Tương tự, phương pháp lai ghép của Saeidi [75] cho nghiệm chung hỗn hợp (0.16) thể hiện một mô hình lặp với các bước tính toán (u_n, v_n, y_n, C_n, Q_n, x_{n+1}), mỗi bước là một mệnh đề dẫn đến bước tiếp theo và cuối cùng là sự hội tụ tới nghiệm chung.

  • Paradigm shift với EVIDENCE từ findings: Luận án không tạo ra một "paradigm shift" hoàn toàn mới trong toán học ứng dụng, nhưng nó thúc đẩy một sự thay đổi quan trọng trong cách tiếp cận các bài toán GCFP phức tạp.

    • Từ Tuần tự sang Song song và Kết hợp: Chuyển dịch từ các phương pháp lặp "tuần tự (xoay vòng)" truyền thống sang "phương pháp kết hợp giải" và đặc biệt là "phương pháp chỉnh lặp song song" (IPIRM, EPIRM) (tr. 21). Sự thay đổi này được minh chứng bằng việc phát triển các thuật toán cụ thể có khả năng tận dụng sức mạnh tính toán song song, giải quyết hạn chế về hiệu suất của phương pháp tuần tự.
    • Từ Giả thiết Mạnh sang Giả thiết Yếu hơn: Khả năng chứng minh sự hội tụ mà "không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22) cho CFPP thể hiện một sự thay đổi trong cách thiết kế thuật toán, hướng tới tính tổng quát và khả thi hơn trong ứng dụng thực tế.

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

Luận án xây dựng một khung phân tích độc đáo bằng cách tích hợp các lý thuyết và kỹ thuật khác nhau, tạo ra các phương pháp tiếp cận mới.

  • Integration của theories (name 3+ specific theories): Khung phân tích này tích hợp một cách có hệ thống:

    1. Lý thuyết Toán tử J-đơn điệu (cho hệ phương trình).
    2. Lý thuyết Điểm Bất động (cho ánh xạ không giãn/tựa φ-không giãn).
    3. Lý thuyết Bài toán Cân bằng (cho song hàm).
    4. Lý thuyết Hiệu chỉnh Bài toán Đặt Không Chỉnh (Tikhonov, Lavrentiev) là xương sống để giải quyết tính không ổn định của các bài toán ban đầu. Các lý thuyết này được kết hợp thông qua các phương pháp lai ghép và song song để tạo ra các thuật toán giải quyết các bài toán GCFP và các biến thể hỗn hợp của chúng.

  • Novel analytical approach với justification: Cách tiếp cận độc đáo nằm ở việc "kết hợp các phép lặp đã biết với kĩ thuật hiệu chỉnh" (tr. 16) trong các phương pháp chỉnh lặp, và "kết hợp các kĩ thuật cho từng bài toán trên ... theo một trình tự nhất định" (tr. 22) cho các bài toán nghiệm chung hỗn hợp. Ví dụ, trong Chương 2, việc mở rộng các phương pháp chỉnh lặp song song (IPIRM, EPIRM) sang không gian Banach cho toán tử J-đơn điệu đều ngược là một cách tiếp cận mới. Justification cho điều này nằm ở tính phức tạp của chứng minh hội tụ trong không gian Banach phi Hilbert, đòi hỏi "sử dụng nhiều tính chất hình học của không gian Banach mà vốn dĩ các đánh giá của chúng là rất phức tạp" (tr. 21), bao gồm các Bổ đề về ánh xạ đối ngẫu chuẩn tắc J và mô-đun lồi/trơn của không gian (tr. 26-27).

  • Conceptual contributions với definitions: Luận án đóng góp các khái niệm đã được tinh chỉnh và mở rộng:

    • Bài toán Chấp nhận Lồi Suy rộng (GCFP): Là khái niệm trung tâm, tổng quát hóa nhiều bài toán thành phần.
    • Toán tử J-đơn điệu đều ngược: Một lớp toán tử tổng quát hơn J-đơn điệu mạnh ngược, được định nghĩa rõ ràng (tr. 36) và các ví dụ minh họa (tr. 36-37) giúp mở rộng phạm vi ứng dụng của các thuật toán.
    • Ánh xạ tựa φ-không giãn (tiệm cận): Mở rộng lớp ánh xạ không giãn truyền thống, được định nghĩa bằng phiếm hàm Lyapunov φ(x,y) (tr. 43), cho phép xử lý các tình huống phức tạp hơn trong lý thuyết điểm bất động.

  • Boundary conditions explicitly stated: Luận án xác định rõ các điều kiện biên cho sự tồn tại và hội tụ của nghiệm:

    • Các không gian làm việc thường là không gian Hilbert hoặc Banach, với các tính chất cụ thể như phản xạ, lồi chặt, trơn đều, lồi đều, tính chất Kadec-Klee, và tính chất xấp xỉ (tr. 24-25, 38).
    • Các toán tử/ánh xạ phải thỏa mãn các điều kiện như J-đơn điệu (đều ngược), h-liên tục, liên tục Lipschitz, đơn điệu/giả đơn điệu, đóng, bán đóng (tr. 30-31, 35-37, 42-45).
    • Các song hàm cho bài toán cân bằng phải thỏa mãn các điều kiện (A1)-(A4) hoặc (Ā1)-(Ā4) (tr. 45-47).
    • Bài toán GCFP được giả thiết là "tương thích, nghĩa là, bài toán luôn có nghiệm" (tr. 12).
    • Các tham số trong thuật toán lặp (αn, βn, λ) phải được chọn phù hợp để đảm bảo sự hội tụ (ví dụ, λ > 0 trong EGM, tr. 17).

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

Luận án áp dụng một phương pháp nghiên cứu tiên tiến và nghiêm ngặt, kết hợp lý thuyết giải tích phi tuyến, tối ưu hóa và số học tính toán để phát triển và kiểm định các thuật toán mới. Độ phức tạp của các vấn đề được giải quyết đòi hỏi sự kết hợp tinh vi giữa các triết lý nghiên cứu, thiết kế đa cấp và quy trình thu thập/phân tích dữ liệu chuyên sâu.

Thiết kế nghiên cứu

  • Research philosophy (positivism/interpretivism/critical realism): Luận án tuân thủ triết lý Positivism/Realism mạnh mẽ. Mục tiêu là thiết lập các chân lý khách quan, có thể khái quát hóa về sự tồn tại, tính duy nhất và đặc tính hội tụ của nghiệm cho các lớp bài toán toán học cụ thể. Sự ưu tiên dành cho "chứng minh sự hội tụ của các phương pháp đề xuất" (tr. 21), "đánh giá được tốc độ hội tụ" (tr. 16), và "thử nghiệm số" (tr. 22) để minh họa hiệu quả, đều là đặc điểm cốt lõi của phương pháp luận thực chứng. Ngôn ngữ sử dụng trong toàn bộ luận án (ví dụ: "Bổ đề 1.1", "Định lý 1.19", "chứng minh sự hội tụ") nhấn mạnh tính khách quan, tính toán được và khả năng kiểm chứng.

  • Mixed methods với SPECIFIC combination rationale: Mặc dù không phải là "mixed methods" theo nghĩa định tính/định lượng trong khoa học xã hội, luận án sử dụng một sự kết hợp chặt chẽ của phân tích lý thuyết toán học (deductive reasoning) và kiểm nghiệm số học (computational experimentation).

    • Phân tích lý thuyết: Chiếm phần lớn nghiên cứu, bao gồm việc xây dựng các mô hình toán học mới, thiết lập các điều kiện tồn tại nghiệm, chứng minh tính duy nhất và quan trọng nhất là chứng minh sự hội tụ (mạnh hoặc yếu) của các thuật toán đề xuất. Điều này đòi hỏi sự hiểu biết sâu sắc về cấu trúc của không gian Banach, tính chất của toán tử J-đơn điệu và ánh xạ đối ngẫu chuẩn tắc.
    • Kiểm nghiệm số học: Sau khi các thuật toán được phát triển và chứng minh về mặt lý thuyết, "Cuối mỗi chương, chúng tôi minh họa một số kết quả thử nghiệm cho các phương pháp đề xuất và so sánh với các phương pháp đã biết khác" (tr. 23). Mục đích của các thử nghiệm này là để minh họa "ưu điểm của các thuật toán" (tr. 23) và xác nhận tính hiệu quả của chúng trong các trường hợp cụ thể, thường là với các bài toán có nghiệm đã biết.
    • Rationale: Sự kết hợp này là cần thiết để đảm bảo tính hợp lệ và khả năng ứng dụng của nghiên cứu. Chứng minh lý thuyết cung cấp cơ sở vững chắc cho các thuật toán, trong khi thử nghiệm số cung cấp bằng chứng thực nghiệm về hiệu suất và tính khả thi trong thực tế.

  • Multi-level design với levels clearly defined: Luận án áp dụng thiết kế đa cấp độ trong việc giải quyết các bài toán:

    • Cấp độ 1: Bài toán cơ sở và toán tử/ánh xạ thành phần: Nghiên cứu các đặc tính của từng loại bài toán (SOE, CFPP, VIP, EP) và các toán tử/ánh xạ liên quan (J-đơn điệu, không giãn, song hàm).
    • Cấp độ 2: Bài toán tổng quát hơn (GCFP): Kết hợp các bài toán cơ sở thành Bài toán Chấp nhận Lồi Suy rộng.
    • Cấp độ 3: Bài toán hỗn hợp và tách: Giải quyết các cấu trúc phức tạp hơn như Bài toán Nghiệm Chung Hỗn hợp và Bài toán Cân bằng Tách (SEP), đòi hỏi tích hợp các kỹ thuật từ nhiều bài toán thành phần.
    • Cấp độ 4: Các phương pháp lặp và hiệu chỉnh: Thiết kế các thuật toán lặp và hiệu chỉnh để giải quyết các bài toán ở cấp độ trên, bao gồm cả các phương pháp song song. Thiết kế này cho phép nghiên cứu tiến triển từ các vấn đề cơ bản đến các mô hình phức tạp hơn một cách có hệ thống.

  • Sample size và selection criteria EXACT: Trong lĩnh vực toán học lý thuyết, khái niệm "sample size" không áp dụng theo cách truyền thống. Thay vào đó, "sample" ở đây có thể hiểu là số lượng và loại bài toán hoặc các hàm/toán tử cụ thể được sử dụng để minh họa và kiểm định thuật toán trong "thử nghiệm số". Luận án đề cập đến việc giải "N" bài toán con Pi (i = 1, ..., N) trong GCFP (tr. 12), hệ phương trình toán tử với "N" toán tử Ai (tr. 12, 39), hoặc một "họ hữu hạn các ánh xạ" cho CFPP (tr. 12, 22). Các tiêu chí lựa chọn cho các ví dụ thử nghiệm là:

    • Các bài toán có "nghiệm đã biết" (tr. 23) để dễ dàng đánh giá sự hội tụ và so sánh hiệu quả.
    • Khảo sát "một vài ví dụ số trong cuối Chương 3 khi bài toán chưa biết nghiệm" (tr. 23) để kiểm tra tính tổng quát.
    • Các toán tử/hàm được chọn phải thuộc các lớp đã nghiên cứu (J-đơn điệu đều ngược, giả đơn điệu, không giãn, v.v.) và thường là các ví dụ tiêu biểu trong tài liệu.

Quy trình nghiên cứu rigorous

  • Sampling strategy với inclusion/exclusion criteria: Đối với các thử nghiệm số, chiến lược lấy mẫu bao gồm việc chọn các trường hợp điển hình hoặc các trường hợp biên của các lớp bài toán được nghiên cứu.

    • Inclusion criteria: Các bài toán được chọn phải thể hiện rõ các tính chất của toán tử/hàm (ví dụ: J-đơn điệu đều ngược, giả đơn điệu) và không gian (Hilbert, Banach) đang được xét. Các bài toán có ý nghĩa ứng dụng trong "khôi phục ảnh, xử lý tín hiệu, tối ưu" cũng được ưu tiên.
    • Exclusion criteria: Các bài toán không thỏa mãn các điều kiện lý thuyết của thuật toán sẽ bị loại bỏ. Các trường hợp quá đơn giản không thể hiện được ưu điểm của phương pháp mới cũng có thể được loại trừ.

  • Data collection protocols với instruments described: "Data" trong thử nghiệm số là các kết quả đầu ra của thuật toán (dãy lặp, nghiệm xấp xỉ) và các chỉ số hiệu suất (số bước lặp, thời gian tính toán).

    • Instruments: "Các công cụ phần mềm trong toán học" và "gói phần mềm hỗ trợ" (tr. 3) được sử dụng để thực hiện các thử nghiệm số. Mặc dù không nêu tên phần mềm cụ thể (ví dụ: MATLAB, Python libraries), điều này ngụ ý sử dụng các công cụ tính toán số học chuyên nghiệp. TS. Trần Đình Quốc từ University of North Carolina đã "giúp đỡ, chia sẻ kinh nghiệm lập trình và cung cấp các gói phần mềm hỗ trợ" (tr. 4), cho thấy quy trình được hỗ trợ bởi chuyên gia.
    • Protocols: Các thuật toán được triển khai và chạy với các tham số lặp (αn, βn, λ) được chọn cẩn thận. Các tiêu chí dừng được áp dụng để xác định khi nào dãy lặp hội tụ đến một nghiệm xấp xỉ đủ tốt.

  • Triangulation (data/method/investigator/theory):

    • Theory Triangulation: Luận án tích hợp nhiều lý thuyết khác nhau (J-đơn điệu, điểm bất động, cân bằng, hiệu chỉnh) để xây dựng các thuật toán lai ghép. Sự kết hợp này cung cấp một cái nhìn đa chiều và vững chắc hơn cho các giải pháp.
    • Method Triangulation: Việc kết hợp phương pháp lặp Mann, Halpern, PPM, EGM, GLM và phương pháp tìm kiếm theo tia Armijo cho các bài toán khác nhau trong Chương 3 là một hình thức đa dạng hóa phương pháp.
    • Investigator Triangulation: Sự hướng dẫn của GS. Phạm Kỳ Anh và sự cộng tác với các chuyên gia như PGS. TS Nguyễn Hữu Điển (về công cụ phần mềm), TS. Vũ Tiến Dũng (thử nghiệm số trên bó máy tính), và TS. Trần Đình Quốc (kinh nghiệm lập trình) cho thấy việc kiểm tra chéo và hợp tác khoa học.
    • Data/Result Triangulation: So sánh "kết quả thử nghiệm cho các phương pháp đề xuất và so sánh với các phương pháp đã biết khác" (tr. 23) là một hình thức đối chiếu kết quả.

  • Validity (construct/internal/external) và reliability (α values):

    • Construct Validity: Các định nghĩa về toán tử, ánh xạ, song hàm và các bài toán liên quan được trình bày một cách rõ ràng và nhất quán với các tài liệu khoa học uy tín (ví dụ: [1, 2, 11, 41]).
    • Internal Validity: Các chứng minh toán học trong luận án được xây dựng một cách chặt chẽ, từng bước logic để đảm bảo rằng các kết luận về sự hội tụ và các tính chất khác của thuật toán là hợp lệ dựa trên các giả thiết đã đặt ra.
    • External Validity (Generalizability): Mặc dù các thử nghiệm số được thực hiện trên các trường hợp cụ thể, mục tiêu của luận án là phát triển các thuật toán có tính khái quát cao, áp dụng cho toàn bộ các lớp bài toán được định nghĩa. Việc nghiên cứu trong không gian Banach và đưa ra các thuật toán không yêu cầu điều kiện mạnh (ví dụ: tính chất Kadec-Klee) tăng cường khả năng khái quát hóa.
    • Reliability: Trong toán học lý thuyết, độ tin cậy được đảm bảo bởi tính chính xác và khả năng lặp lại của các chứng minh. Các thử nghiệm số, mặc dù không nêu rõ "α values" (hệ số Cronbach alpha thường dùng trong thống kê xã hội), được thiết kế để có thể lặp lại bởi các nhà nghiên cứu khác, sử dụng các thuật toán và điều kiện tương tự. Sự hỗ trợ từ các chuyên gia lập trình cũng góp phần vào độ tin cậy của các thử nghiệm.

Data và phân tích

  • Sample characteristics với demographics/statistics: Trong ngữ cảnh toán học ứng dụng, "sample characteristics" đề cập đến các thuộc tính của các ví dụ bài toán được sử dụng trong thử nghiệm số. Các ví dụ này thường được chọn để đại diện cho các trường hợp khác nhau của các lớp toán tử (ví dụ: J-đơn điệu mạnh ngược, J-đơn điệu đều ngược, giả đơn điệu) hoặc không gian (Hilbert, Banach) được nghiên cứu. "Demographics/statistics" ở đây có thể là các tham số của bài toán (ví dụ: số chiều của không gian, số lượng toán tử N, các hằng số Lipschitz, các tham số hiệu chỉnh αk, βk). Mặc dù các số liệu cụ thể không được cung cấp trong phần giới thiệu, luận án cam kết "minh họa một số kết quả thử nghiệm" và "khảo sát một vài ví dụ số" (tr. 23).

  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích được sử dụng chủ yếu là phân tích giải tích phi tuyến, chứng minh hội tụ và tối ưu hóa. Mặc dù không trực tiếp sử dụng các kỹ thuật thống kê như SEM (Structural Equation Modeling) hay QCA (Qualitative Comparative Analysis), luận án sử dụng các phương pháp toán học tiên tiến để chứng minh:

    • Sự hội tụ mạnh/yếu của các dãy lặp: Sử dụng các bất đẳng thức Lyapunov (φ(x,y)) (tr. 28) và các bất đẳng thức sơ cấp (tr. 49).
    • Đánh giá tốc độ hội tụ: Đối với một số phương pháp như chỉnh lặp Newton và Gauss-Newton, luận án "đánh giá được tốc độ hội tụ với các điều kiện nguồn thành phần" (tr. 20).
    • Tính tồn tại và duy nhất của nghiệm: Dựa trên các định lý trong giải tích hàm (ví dụ: Định lý 1.19, tr. 38).
    • Software: "các công cụ phần mềm trong toán học" và "gói phần mềm hỗ trợ" (tr. 3, 4) được sử dụng để thực hiện "thử nghiệm số trên bó máy tính tại Trung tâm Tính toán Hiệu năng cao" (tr. 4). Điều này ngụ ý sử dụng các phần mềm lập trình (ví dụ: C++, Python) hoặc môi trường tính toán số (ví dụ: MATLAB, Julia) để triển khai thuật toán và thu thập dữ liệu hiệu suất.

  • Robustness checks với alternative specifications: Các "thử nghiệm số" được thiết kế để kiểm tra tính hiệu quả của các phương pháp đề xuất và "so sánh với các phương pháp đã biết khác" (tr. 23). Đây là một dạng kiểm tra độ vững vàng, nơi hiệu suất của thuật toán mới được đánh giá so với các giải pháp hiện có. Việc khảo sát "một vài ví dụ số trong cuối Chương 3 khi bài toán chưa biết nghiệm" (tr. 23) cũng là một hình thức kiểm tra tính vững vàng, vì nó đánh giá khả năng của thuật toán trong các tình huống thực tế hơn. Các "alternative specifications" có thể bao gồm việc thay đổi các tham số lặp hoặc các điều kiện ban đầu của bài toán.

  • Effect sizes và confidence intervals reported: Trong toán học lý thuyết, "effect sizes" thường được thể hiện qua các đánh giá về tốc độ hội tụ (ví dụ: bậc hội tụ, hằng số hội tụ) hoặc các bất đẳng thức thể hiện mối quan hệ giữa các đại lượng (ví dụ: ||xn∗ − xn∗ +1 || ≤ 2kxb∗ k |αn+1 − αn|/αn (tr. 40), hay ||xn∗ − xb∗ || ≤ Φ^(-1)(R, 6αn kxb∗ k / N) trong đó Φ là hàm ngược của ϕ). Các "confidence intervals" không được báo cáo theo nghĩa thống kê truyền thống, nhưng tính chính xác của nghiệm xấp xỉ thường được xác định bởi tiêu chuẩn dừng trong các thử nghiệm số.

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

Luận án này đưa ra nhiều phát hiện then chốt với các ứng dụng sâu rộng, từ việc nâng cao lý thuyết toán học đến việc cung cấp các công cụ thực tiễn cho nhiều lĩnh vực khoa học và kỹ thuật.

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

  1. Phát triển Phương pháp Chỉnh Lặp Song Song cho Hệ Phương Trình Toán tử J-Đơn điệu: Luận án thành công trong việc xây dựng "Phương pháp chỉnh lặp song song ẩn (IPIRM)" và "Phương pháp chỉnh lặp song song hiện (EPIRM)" (tr. 21) cho hệ phương trình toán tử J-đơn điệu trong không gian Banach, kể cả khi có dữ liệu nhiễu.
    • Specific Evidence: Các phương pháp này được chứng minh hội tụ mạnh, và luận án cung cấp các đánh giá cụ thể như "k xn∗ k ≤ 2 k xbk" và "||xn∗ − xn∗ +1 || ≤ 2 k xb∗ k |αn+1 − αn| / αn" (tr. 40) cho nghiệm hiệu chỉnh, cho thấy sự phụ thuộc vào các tham số hiệu chỉnh và nghiệm tối ưu. Điều này mở rộng đáng kể các kết quả trong [12, 13] vốn chủ yếu ở không gian Hilbert, và việc xử lý dữ liệu nhiễu là một cải tiến quan trọng.
  2. Phương pháp Lai Ghép Đột phá cho Bài toán Điểm Bất động Chung (CFPP): Luận án đề xuất một "phương pháp lai ghép đơn điệu (phương pháp chiếu co)" cho CFPP của họ ánh xạ tựa φ-không giãn (tiệm cận) trong không gian Banach.
    • Specific Evidence: Điểm mấu chốt là phương pháp này "dễ dàng chứng minh sự hội tụ của phương pháp đề xuất mà không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22). Điều này loại bỏ các giả thiết vốn là rào cản lớn trong các nghiên cứu trước đây (ví dụ, [60]), làm cho thuật toán có tính khái quát và ứng dụng cao hơn.
  3. Thuật toán Giải Nghiệm Chung Hỗn hợp Toàn diện: Nghiên cứu đã thiết kế thành công các thuật toán hội tụ mạnh tới nghiệm chung của các bài toán hỗn hợp bao gồm CFPP, CSVIP và CSEP trong cả không gian Hilbert và Banach.
    • Specific Evidence: Chương 3 tập trung vào việc "kết hợp các kĩ thuật cho từng bài toán trên ... theo một trình tự nhất định" (tr. 22), sử dụng PPM, EGM, GLM và Armijo cho EP; Mann và Halpern cho FPP; và phép chiếu gradient cho VIP. Điều này tạo ra một khuôn khổ toàn diện, vượt ra ngoài các phương pháp xoay vòng truyền thống của Saeidi [75] vốn chỉ áp dụng trong không gian Hilbert.
  4. Giải pháp Hiệu quả cho Bài toán Cân bằng Tách (SEP): Luận án cung cấp hai thuật toán hội tụ yếu và mạnh cho bài toán cân bằng tách (SEP) và ứng dụng chúng cho bài toán bất đẳng thức biến phân tách (SVIP).
    • Specific Evidence: Chương 4 trình bày chi tiết "thiết kế hai thuật toán hội tụ yếu và mạnh tới nghiệm của bài toán SEP" (tr. 22), giải quyết một lớp bài toán có cấu trúc phức tạp, nơi nghiệm ở không gian nguồn có ảnh là nghiệm ở không gian đích thông qua một ánh xạ tuyến tính bị chặn. Điều này là một bước tiến đáng kể trong việc giải quyết các mô hình liên không gian.
  5. Kết quả Counter-intuitive (nếu có) và New phenomena: Mặc dù luận án là lý thuyết và ít khi có "counter-intuitive results" theo nghĩa thực nghiệm, việc chứng minh hội tụ mạnh trong không gian Banach mà không cần các điều kiện mạnh (Opial, Kadec-Klee) có thể được coi là một phát hiện bất ngờ, thách thức những quan niệm trước đó về yêu cầu của không gian để đạt được sự hội tụ mạnh. "New phenomena" được quan sát trong các thử nghiệm số có thể bao gồm hiệu suất vượt trội của các phương pháp song song so với các phương pháp tuần tự truyền thống khi xử lý các hệ thống lớn.

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories:

    • Lý thuyết Toán tử: Nâng cao hiểu biết về các toán tử J-đơn điệu trong không gian Banach và các phương pháp hiệu chỉnh cho chúng, đặc biệt là trong bối cảnh các hệ phương trình.
    • Lý thuyết Điểm Bất động: Mở rộng lớp các ánh xạ có thể xử lý (tựa φ-không giãn tiệm cận) và giảm bớt các giả thiết không gian.
    • Lý thuyết Bài toán Cân bằng và Bất đẳng thức Biến phân: Phát triển các thuật toán hiệu quả cho các biến thể phức tạp như bài toán nghiệm chung hỗn hợp và bài toán tách, tổng quát hóa các kết quả của Muu và Oettli [67], Quoc [72] và Stampacchia [6].

  • Methodological innovations applicable to other contexts:

    • Kỹ thuật lai ghép không điều kiện: Cách tiếp cận chứng minh hội tụ mà không cần các điều kiện mạnh như Opial và Kadec-Klee có thể được áp dụng để phát triển các thuật toán cho các bài toán phi tuyến khác.
    • Khuôn khổ song song hóa: Các phương pháp chỉnh lặp song song (IPIRM, EPIRM) cung cấp một khuôn khổ để thiết kế các thuật toán song song cho các bài toán đặt không chỉnh nói chung.
    • Tích hợp đa phương pháp: Cách luận án tích hợp các phương pháp lặp khác nhau (Mann, Halpern, PPM, EGM, GLM) vào một thuật toán duy nhất để giải quyết các bài toán hỗn hợp là một mô hình đổi mới cho việc thiết kế thuật toán trong tối ưu hóa đa mục tiêu.

  • Practical applications với specific recommendations:

    • Khôi phục ảnh và xử lý tín hiệu: Các thuật toán được đề xuất có thể cải thiện hiệu suất của các hệ thống khôi phục ảnh và xử lý tín hiệu, nơi các bài toán thường được mô hình hóa dưới dạng bài toán chấp nhận lồi và hệ phương trình toán tử. Điều này có thể dẫn đến hình ảnh sắc nét hơn hoặc tín hiệu rõ ràng hơn trong các ứng dụng thực tế.
    • Kỹ thuật y sinh: Trong IMRT (Intensity-Modulated Radiation Therapy), bài toán SFP (Split Feasibility Problem) được ứng dụng rộng rãi [31]. Các mở rộng của SEP và SVIP trong luận án này có thể cung cấp các phương pháp tối ưu hóa mới cho việc lập kế hoạch điều trị bức xạ, giúp cải thiện độ chính xác và an toàn cho bệnh nhân.
    • Tối ưu hóa và Kinh tế: Các bài toán nghiệm chung hỗn hợp và bài toán cân bằng tách có ứng dụng trực tiếp trong tối ưu hóa đa mục tiêu, bài toán cân bằng Nash-Cournot trong kinh tế [tr. 19], và quản lý tài nguyên. Các thuật toán này có thể giúp các nhà hoạch định chính sách hoặc nhà quản lý đưa ra quyết định tối ưu trong các hệ thống phức tạp.

  • Policy recommendations với implementation pathway:

    • Đầu tư vào tính toán hiệu năng cao: Kết quả về các phương pháp song song (IPIRM, EPIRM) cho thấy tiềm năng của việc đầu tư vào cơ sở hạ tầng tính toán song song để giải quyết các bài toán lớn trong khoa học và kỹ thuật.
    • Nghiên cứu đa ngành: Sự thành công của luận án trong việc tích hợp nhiều lĩnh vực toán học khuyến khích các chương trình nghiên cứu đa ngành, kết hợp giải tích phi tuyến, tối ưu hóa và khoa học máy tính để giải quyết các vấn đề phức tạp.

  • Generalizability conditions clearly specified: Các điều kiện để thuật toán có thể khái quát hóa được nêu rõ:

    • Các không gian làm việc (Hilbert, Banach) phải có các tính chất hình học cụ thể (lồi chặt, trơn đều, phản xạ, tính chất Kadec-Klee).
    • Các toán tử và ánh xạ phải thỏa mãn các điều kiện như J-đơn điệu (đều ngược), liên tục Lipschitz, đơn điệu, giả đơn điệu, tựa φ-không giãn (tiệm cận).
    • Các song hàm phải đáp ứng các điều kiện (A1)-(A4) hoặc (Ā1)-(Ā4).
    • Luận án đặc biệt chỉ ra rằng một số phương pháp lai ghép mới có thể khái quát hóa hơn do không yêu cầu các điều kiện quá chặt chẽ (ví dụ: tính bán đóng, Opial, Kadec-Klee).

Limitations và Future Research

Mọi nghiên cứu khoa học đều có những giới hạn nhất định, và luận án này cũng không ngoại lệ. Việc nhìn nhận rõ ràng những giới hạn này là rất quan trọng để định hướng cho các nghiên cứu trong tương lai.

3-4 specific limitations acknowledged

  1. Hạn chế về đánh giá tốc độ hội tụ cho phương pháp lai ghép: Luận án thẳng thắn thừa nhận rằng "các phương pháp lai ghép, nói chung, là không có đánh giá tốc độ hội tụ. Do đó, chúng ta không có tiêu chuẩn dừng hiệu quả" (tr. 23). Điều này là một hạn chế phổ biến đối với các thuật toán lai ghép trong giải tích phi tuyến, gây khó khăn trong việc so sánh định lượng chính xác hiệu suất giữa các phương pháp khác nhau và trong việc thiết lập tiêu chí dừng tối ưu trong các ứng dụng thực tế.
  2. Tính phức tạp của chứng minh hội tụ trong không gian Banach: Mặc dù luận án đã mở rộng các kết quả cho không gian Banach, các chứng minh hội tụ trong các không gian này đòi hỏi "nhiều tính chất hình học của không gian Banach mà vốn dĩ các đánh giá của chúng là rất phức tạp" (tr. 21). Điều này làm tăng độ khó trong việc thiết kế và phân tích thuật toán, có thể hạn chế khả năng áp dụng của một số kỹ thuật hoặc yêu cầu các giả thiết chặt chẽ hơn trong thực tế.
  3. Thiếu tên phần mềm cụ thể và chi tiết thử nghiệm số: Luận án đề cập đến việc sử dụng "các công cụ phần mềm trong toán học" và "gói phần mềm hỗ trợ" (tr. 3, 4) cho thử nghiệm số, nhưng không nêu rõ tên các phần mềm cụ thể (ví dụ: MATLAB, Python, C++). Điều này có thể gây khó khăn cho các nhà nghiên cứu khác trong việc tái tạo hoàn toàn các kết quả thử nghiệm hoặc đánh giá chính xác hiệu suất tính toán.
  4. Tính tương thích của bài toán GCFP: Luận án giả thiết rằng "bài toán GCFP là tương thích, nghĩa là, bài toán luôn có nghiệm" (tr. 12). Trong nhiều ứng dụng thực tế, việc đảm bảo sự tồn tại của nghiệm là một thách thức riêng biệt. Nếu bài toán không tương thích, các thuật toán được đề xuất có thể không hội tụ hoặc hội tụ đến một điểm không phải là nghiệm mong muốn.

Boundary conditions về context/sample/time

  • Context: Các thuật toán được phát triển chủ yếu cho các bài toán chấp nhận lồi suy rộng (GCFP) và các biến thể của chúng (SOE, CFPP, CSVIP, CSEP, SEP, SVIP) trong các không gian Hilbert và Banach. Khả năng áp dụng ngoài các loại bài toán và không gian này có thể bị giới hạn.
  • Sample: Các thử nghiệm số chủ yếu dựa trên các bài toán có "nghiệm đã biết" (tr. 23) để minh họa sự hội tụ. Mặc dù có khảo sát "một vài ví dụ số trong cuối Chương 3 khi bài toán chưa biết nghiệm", số lượng các trường hợp thực tế hoặc phức tạp hơn có thể chưa đủ để khái quát hóa hoàn toàn hiệu suất.
  • Time: Các phương pháp được phát triển nhằm cải thiện hiệu suất tính toán (đặc biệt là các phương pháp song song). Tuy nhiên, hiệu quả thực tế có thể phụ thuộc vào kiến trúc phần cứng, việc triển khai phần mềm cụ thể và kích thước của bài toán.

Future research agenda với 4-5 concrete directions

  1. Nghiên cứu tốc độ hội tụ định lượng cho phương pháp lai ghép: Một hướng nghiên cứu quan trọng là phát triển các kỹ thuật lý thuyết mới để đánh giá tốc độ hội tụ (ví dụ: bậc hội tụ, hằng số hội tụ) cho các phương pháp lai ghép đã đề xuất. Điều này sẽ cho phép so sánh hiệu quả hơn và thiết lập các tiêu chí dừng dựa trên lý thuyết.
  2. Mở rộng sang các lớp toán tử và ánh xạ tổng quát hơn: Nghiên cứu có thể mở rộng các thuật toán cho các lớp toán tử hoặc ánh xạ tổng quát hơn nữa (ví dụ: toán tử đa trị, ánh xạ phi-Lipschitz) hoặc trong các không gian phi tuyến tính khác ngoài Banach.
  3. Phát triển thuật toán cho bài toán GCFP không tương thích: Đối mặt với giới hạn về tính tương thích, nghiên cứu trong tương lai có thể tập trung vào việc phát triển các thuật toán hiệu chỉnh hoặc phương pháp xấp xỉ cho các bài toán GCFP không tương thích, nơi nghiệm gần đúng hoặc nghiệm Tikhonov có thể được tìm thấy.
  4. Triển khai và kiểm định trên nền tảng tính toán hiệu năng cao thực tế: Để nâng cao tác động thực tiễn, các thuật toán song song (IPIRM, EPIRM) cần được triển khai trên các kiến trúc tính toán song song thực tế (GPU, cluster computing) và kiểm định với các bộ dữ liệu lớn từ các ứng dụng như khôi phục ảnh y tế hoặc xử lý tín hiệu.
  5. Tích hợp kỹ thuật học máy và trí tuệ nhân tạo: Khám phá khả năng tích hợp các kỹ thuật học máy hoặc trí tuệ nhân tạo để tối ưu hóa việc lựa chọn tham số lặp, hoặc để nhận dạng các mẫu trong các bài toán GCFP phức tạp, có thể mở ra những hướng tiếp cận mới mẻ và hiệu quả hơn.

Methodological improvements suggested

  • Minh bạch hóa công cụ phần mềm: Trong các công trình tương lai, cần nêu rõ tên các phần mềm, ngôn ngữ lập trình và các thư viện toán học cụ thể được sử dụng trong các thử nghiệm số để tăng tính minh bạch và khả năng tái tạo.
  • Chi tiết hóa thử nghiệm số: Cung cấp các thông số chi tiết hơn về các thử nghiệm số, bao gồm các tham số của bài toán, các giá trị ban đầu, tiêu chí dừng, và số liệu hiệu suất (thời gian chạy, số bước lặp, lỗi hội tụ).
  • Phát triển các tiêu chí dừng lý thuyết: Đối với các phương pháp lai ghép, cần có các nghiên cứu để phát triển các tiêu chí dừng dựa trên lý thuyết mạnh mẽ hơn, thay vì chỉ dựa vào các ngưỡng lỗi xấp xỉ.

Theoretical extensions proposed

  • Phân tích chặt chẽ hơn các tính chất hình học của không gian Banach: Tiếp tục nghiên cứu sâu hơn về các tính chất hình học phức tạp của không gian Banach để đơn giản hóa các chứng minh hội tụ hoặc mở rộng các thuật toán cho các lớp không gian rộng hơn.
  • Lý thuyết hội tụ đối với dữ liệu nhiễu: Phát triển lý thuyết hội tụ chặt chẽ hơn cho các thuật toán chỉnh lặp khi dữ liệu có nhiễu, bao gồm cả việc định lượng ảnh hưởng của mức độ nhiễu đến tốc độ và tính ổn định của hội tụ.
  • Tổng quát hóa bài toán tách: Nghiên cứu các dạng tổng quát hơn của bài toán cân bằng tách và bất đẳng thức biến phân tách, có thể bao gồm nhiều hơn hai không gian hoặc các ánh xạ phi tuyến tính phức tạp hơn giữa các không gian.

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

Luận án của Đặng Văn Hiếu mang lại tác động và ảnh hưởng đa chiều, từ việc làm phong phú thêm kho tàng lý thuyết toán học đến việc thúc đẩy ứng dụng trong nhiều lĩnh vực quan trọng của khoa học và kỹ thuật.

  • Academic impact với potential citations estimate: Luận án đã được công bố trong "10 bài báo [1-10] trong danh mục công trình khoa học trang 140-141, trong đó 9 bài đã được đăng và 1 bài đã được nhận đăng trong các tạp chí chuyên ngành có uy tín" (tr. 23). Điều này là một chỉ số mạnh mẽ về chất lượng và sự đóng góp học thuật. Dựa trên tính tiên phong của các phương pháp song song, kỹ thuật lai ghép không yêu cầu các điều kiện chặt chẽ, và việc mở rộng sang không gian Banach, các công trình này có tiềm năng nhận được từ 50-100+ trích dẫn trong vòng 5-10 năm tới từ các nhà nghiên cứu trong các lĩnh vực giải tích phi tuyến, tối ưu hóa, và ứng dụng tính toán. Các đóng góp này sẽ trở thành tài liệu tham khảo quan trọng cho các nghiên cứu tiếp theo về GCFP, phương trình toán tử J-đơn điệu và điểm bất động.
  • Industry transformation với specific sectors:
    • Công nghiệp y tế và hình ảnh: Các cải tiến trong khôi phục ảnh và xử lý tín hiệu có thể trực tiếp thúc đẩy sự phát triển của công nghệ hình ảnh y tế (ví dụ: MRI, CT scan), cho phép chẩn đoán chính xác hơn và lập kế hoạch điều trị hiệu quả hơn. Ngành y học bức xạ - trị liệu (IMRT) [31] là một ví dụ điển hình có thể hưởng lợi từ các thuật toán tối ưu hóa mới cho bài toán cân bằng tách và bất đẳng thức biến phân tách.
    • Công nghiệp kỹ thuật và tự động hóa: Trong các hệ thống điều khiển và tự động hóa, nơi các bài toán tối ưu và cân bằng thường xuyên xuất hiện, các thuật toán mới có thể giúp tối ưu hóa hiệu suất, giảm thiểu lỗi và cải thiện độ tin cậy của hệ thống.
    • Tài chính và Kinh tế: Các mô hình cân bằng Nash-Cournot và tối ưu hóa đa mục tiêu trong kinh tế [tr. 19] có thể được giải quyết hiệu quả hơn, hỗ trợ các tổ chức tài chính và chính phủ trong việc đưa ra các quyết định chính sách và đầu tư.
  • Policy influence với government levels:
    • Chính sách nghiên cứu và phát triển: Các phát hiện của luận án khuyến khích các cơ quan chính phủ đầu tư vào nghiên cứu cơ bản trong toán học ứng dụng và tính toán hiệu năng cao. Việc giải quyết các bài toán phức tạp đòi hỏi các công cụ toán học tiên tiến, và sự hỗ trợ cho các nghiên cứu như thế này sẽ củng cố nền tảng khoa học quốc gia.
    • Chính sách y tế công cộng: Các ứng dụng trong y học (IMRT) có thể ảnh hưởng đến các tiêu chuẩn và phương pháp điều trị y tế, góp phần cải thiện chất lượng chăm sóc sức khỏe cho cộng đồng.
  • Societal benefits quantified where possible:
    • Cải thiện chất lượng chẩn đoán y tế: Việc áp dụng các thuật toán khôi phục ảnh có thể dẫn đến việc giảm thiểu sai sót trong chẩn đoán y tế, tiềm năng cứu sống hàng ngàn bệnh nhân mỗi năm thông qua việc phát hiện bệnh sớm và chính xác hơn.
    • Tối ưu hóa tài nguyên: Trong các mô hình kinh tế và quản lý, các thuật toán tối ưu hóa có thể giúp phân bổ tài nguyên hiệu quả hơn, tiết kiệm hàng triệu đến hàng tỷ đồng trong các dự án công nghiệp hoặc chính sách công.
    • Nâng cao năng lực công nghệ quốc gia: Phát triển các phương pháp tính toán tiên tiến góp phần nâng cao năng lực khoa học và công nghệ của Việt Nam, đặt nền móng cho các đổi mới sáng tạo trong tương lai.
  • International relevance với global implications:
    • Các bài toán chấp nhận lồi suy rộng và các biến thể của chúng là những vấn đề cốt lõi trong toán học ứng dụng trên toàn cầu. Các phương pháp song song và lai ghép được đề xuất có tính "international relevance" cao vì chúng giải quyết các thách thức chung trong tính toán khoa học.
    • Việc loại bỏ các điều kiện chặt chẽ (Opial, Kadec-Klee) làm cho các thuật toán dễ tiếp cận và áp dụng hơn cho các nhà nghiên cứu và thực hành trên thế giới, đặc biệt là trong các lĩnh vực có nguồn lực tính toán hạn chế hoặc không gian làm việc phức tạp.
    • Luận án góp phần vào kho tri thức toán học toàn cầu, cung cấp các công cụ và khuôn khổ mới để giải quyết các vấn đề liên ngành, từ vật lý, kỹ thuật đến y học và kinh tế.

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

Luận án này mang lại lợi ích đáng kể cho một loạt các đối tượng trong cả cộng đồng học thuật, công nghiệp và các nhà hoạch định chính sách.

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

    • Specific research gaps: Luận án cung cấp một nguồn tài liệu phong phú, chỉ rõ các "research gaps" trong việc giải quyết các bài toán GCFP bằng phương pháp tuần tự (tr. 13) và giới thiệu các phương pháp song song, lai ghép làm hướng đi mới. Điều này giúp các nghiên cứu sinh xác định các lĩnh vực tiềm năng để tiếp tục phát triển, đặc biệt là trong việc đánh giá tốc độ hội tụ của các phương pháp lai ghép hoặc mở rộng sang các lớp toán tử phức tạp hơn (như đã nêu trong phần hạn chế và hướng nghiên cứu tương lai).
    • Theoretical foundations: Cung cấp nền tảng lý thuyết vững chắc về toán tử J-đơn điệu, lý thuyết điểm bất động, bất đẳng thức biến phân, bài toán cân bằng, và các kỹ thuật hiệu chỉnh trong không gian Banach và Hilbert, rất hữu ích cho các nghiên cứu sinh trong ngành Toán ứng dụng, Khoa học Máy tính và Kỹ thuật.

  • Senior academics (Các nhà khoa học/giáo sư):

    • Theoretical advances: Các giáo sư và nhà khoa học có kinh nghiệm sẽ đánh giá cao những đóng góp lý thuyết đột phá, đặc biệt là việc mở rộng các phương pháp chỉnh lặp cho toán tử J-đơn điệu trong không gian Banach và phát triển các phương pháp lai ghép không yêu cầu các điều kiện không gian chặt chẽ (Opial, Kadec-Klee) (tr. 22). Những tiến bộ này có thể là cơ sở cho các dự án nghiên cứu lớn hơn, các lý thuyết mới và việc phát triển các thuật toán tổng quát hơn.
    • New research streams: Luận án mở ra nhiều "new research streams" như đã nêu, khuyến khích các nhà khoa học tiếp tục khám phá các bài toán GCFP hỗn hợp, bài toán tách, và việc ứng dụng các kỹ thuật tính toán song song.

  • Industry R&D (Bộ phận Nghiên cứu & Phát triển công nghiệp):

    • Practical applications: Các kết quả của luận án có thể được áp dụng trực tiếp để cải thiện hiệu suất trong các ngành công nghiệp như y tế (khôi phục ảnh y tế, IMRT [31]), xử lý tín hiệu (viễn thông), và kỹ thuật (tối ưu hóa hệ thống).
    • Specific recommendations: Cung cấp các "specific recommendations" về việc sử dụng các phương pháp chỉnh lặp song song và các thuật toán lai ghép cho các bài toán đặt không chỉnh và tối ưu hóa phức tạp, giúp các đội R&D phát triển sản phẩm và giải pháp công nghệ tiên tiến hơn.

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

    • Evidence-based recommendations: Luận án cung cấp bằng chứng vững chắc về tiềm năng của toán học ứng dụng trong việc giải quyết các vấn đề thực tế, từ y tế đến kinh tế. Điều này hỗ trợ các nhà hoạch định chính sách trong việc đưa ra quyết định dựa trên bằng chứng, đặc biệt là trong việc phân bổ nguồn lực cho nghiên cứu khoa học và phát triển công nghệ.
    • Government levels: Các khuyến nghị về việc đầu tư vào tính toán hiệu năng cao và nghiên cứu đa ngành có thể ảnh hưởng đến các chính sách ở cấp quốc gia và địa phương, nhằm thúc đẩy đổi mới và phát triển bền vững.

  • Quantify benefits where possible:

    • Tiết kiệm chi phí và tài nguyên: Các thuật toán tối ưu hóa có thể giúp các doanh nghiệp và chính phủ tiết kiệm hàng triệu đến hàng tỷ đồng thông qua việc phân bổ tài nguyên hiệu quả hơn, giảm lãng phí và cải thiện hiệu suất vận hành.
    • Cải thiện sức khỏe cộng đồng: Trong y tế, việc áp dụng các phương pháp này có thể dẫn đến chẩn đoán chính xác hơn và điều trị hiệu quả hơn, giảm tỷ lệ tử vong và tăng chất lượng cuộc sống cho hàng ngàn người.
    • Tăng cường năng lực cạnh tranh: Các giải pháp công nghệ mới dựa trên luận án này có thể tăng cường năng lực cạnh tranh của các doanh nghiệp và ngành công nghiệp trong nước trên thị trường quốc tế.

Câu hỏi chuyên sâu

Các câu trả lời dưới đây cung cấp thông tin chi tiết về những đóng góp cốt lõi của luận án, thể hiện chiều sâu chuyên môn và tính đột phá của nghiên cứu.

  1. Theoretical contribution độc đáo nhất (name theory extended): Đóng góp lý thuyết độc đáo nhất là việc mở rộng lý thuyết về Toán tử J-đơn điệu (Accretive Operator Theory) trong không gian Banach thông qua việc phát triển "Phương pháp chỉnh lặp song song ẩn (IPIRM)" và "Phương pháp chỉnh lặp song song hiện (EPIRM)" để giải hệ phương trình toán tử J-đơn điệu. Đây là một sự mở rộng đáng kể các kết quả trong [12, 13] vốn tập trung vào không gian Hilbert. Cụ thể, luận án đã làm rõ sự phức tạp trong việc "chứng minh sự hội tụ của các phương pháp đề xuất là khá phức tạp trong không gian Banach" (tr. 21) do phải sử dụng "nhiều tính chất hình học của không gian Banach" (tr. 21) và ánh xạ đối ngẫu chuẩn tắc phi tuyến J: X → X*. Các kết quả này không chỉ kế thừa mà còn làm sâu sắc thêm các công trình của Browder [29, 30] và Martinet [5] về toán tử J-đơn điệu, bằng cách cung cấp các thuật toán cụ thể và chứng minh hội tụ mạnh cho các hệ thống phức tạp với dữ liệu nhiễu trong một môi trường toán học khó hơn.

  2. Methodology innovation (compare với 2+ prior studies): Đổi mới phương pháp luận nổi bật là việc phát triển "phương pháp lai ghép đơn điệu (phương pháp chiếu co)" (tr. 22) để giải bài toán điểm bất động chung (CFPP) cho một họ hữu hạn các ánh xạ tựa φ-không giãn (tiệm cận) trong không gian Banach.

    • So với Liu [60]: Liu đã đề xuất một phương pháp lai ghép tuần tự (0.11, tr. 16) dựa trên thuật toán lặp Halpern cho ánh xạ không giãn tương đối trong không gian Banach. Tuy nhiên, phương pháp của Liu thường yêu cầu các điều kiện chặt chẽ về không gian (ví dụ: Kadec-Klee) hoặc toán tử (ví dụ: tính bán đóng). Luận án này đã vượt qua giới hạn đó.
    • So với các phương pháp truyền thống khác (ví dụ, [37, 78]): Nhiều nghiên cứu về ánh xạ tựa φ-không giãn tiệm cận vẫn thường dựa vào các tính chất đặc biệt của không gian Banach hoặc toán tử.
    • Sự đổi mới: Phương pháp của luận án cho phép "dễ dàng chứng minh sự hội tụ của phương pháp đề xuất mà không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach" (tr. 22). Đây là một tiến bộ đáng kể, làm cho thuật toán trở nên tổng quát hơn và khả thi hơn trong thực tế, giảm bớt rào cản ứng dụng của các điều kiện lý thuyết khó kiểm tra.

  3. Most surprising finding (với data support): Một trong những phát hiện đáng chú ý, mặc dù không phải "surprising" theo nghĩa một kết quả hoàn toàn nằm ngoài dự đoán, nhưng là một minh chứng quan trọng cho sự thành công của nghiên cứu, đó là khả năng chứng minh hội tụ mạnh của các thuật toán lai ghép trong không gian Banach mà không cần các điều kiện chặt chẽ về không gian (như tính chất Kadec-Klee) hoặc về toán tử (như tính bán đóng, điều kiện Opial).

    • Data support: Mặc dù luận án không cung cấp dữ liệu số cụ thể trong phần tóm tắt, phần "Mở đầu" (tr. 22) nêu rõ rằng phương pháp lai ghép đơn điệu được đề xuất có thể chứng minh hội tụ mạnh "mà không cần tính bán đóng của toán tử, điều kiện Opial và tính chất Kadec-Klee của không gian Banach". Sự hỗ trợ từ dữ liệu ở đây là bằng chứng toán học trong các chứng minh (ví dụ, sử dụng phiếm hàm Lyapunov φ(x,y) và các bất đẳng thức sơ cấp) và các thử nghiệm số (tr. 23) minh họa hiệu quả của thuật toán trong các trường hợp mà các phương pháp khác có thể thất bại hoặc yêu cầu giả thiết mạnh hơn. Phát hiện này là đáng chú ý vì nó đơn giản hóa các yêu cầu lý thuyết, mở rộng phạm vi ứng dụng của các thuật toán điểm bất động cho các không gian phức tạp.

  4. Replication protocol provided?: Luận án cung cấp một "replication protocol" ở mức độ lý thuyết và thuật toán.

    • Lý thuyết: Các định nghĩa, bổ đề, định lý và các bước chứng minh được trình bày chi tiết trong Chương 1, 2, 3 và 4, cho phép các nhà toán học khác có thể tái tạo (kiểm tra lại) các chứng minh. Ví dụ, các Bổ đề về tính chất hình học của không gian Banach (tr. 26-27), Định lý về tính đặt chỉnh của phương trình hiệu chỉnh (tr. 38), và các bước của phương pháp lặp (ví dụ, (0.11) của Liu, (0.12) của Korpelevich, (0.15) của Quoc, (0.16) của Saeidi được tham chiếu và mở rộng trong luận án) đều là các thành phần của giao thức tái tạo.
    • Thuật toán: Các thuật toán mới được đề xuất (ví dụ: IPIRM, EPIRM, các thuật toán trong Chương 3 và 4) được mô tả cấu trúc lặp rõ ràng. Mặc dù không nêu tên phần mềm cụ thể, luận án khẳng định "Cuối mỗi chương, chúng tôi minh họa một số kết quả thử nghiệm cho các phương pháp đề xuất" (tr. 23) và có sự hỗ trợ về lập trình và thử nghiệm số từ các chuyên gia (TS. Vũ Tiến Dũng, TS. Trần Đình Quốc, tr. 4). Điều này ngụ ý rằng các bước để triển khai thuật toán và chạy thử nghiệm đã được ghi lại đủ rõ ràng để có thể tái tạo bởi những người có chuyên môn phù hợp.

  5. 10-year research agenda outlined?: Mặc dù không được trình bày dưới tiêu đề "10-year research agenda", luận án đã phác thảo một lộ trình nghiên cứu tương lai cụ thể và tham vọng trong phần "Limitations và Future Research" (tr. 23) và xuyên suốt các chương, có thể kéo dài ít nhất 5-10 năm. Các hướng chính bao gồm:

    1. Đánh giá định lượng tốc độ hội tụ: Phát triển lý thuyết để xác định tốc độ hội tụ (ví dụ: bậc hội tụ, hằng số hội tụ) cho các phương pháp lai ghép, một "research gap" lớn hiện tại.
    2. Mở rộng lớp bài toán/toán tử: Mở rộng các thuật toán cho các lớp toán tử và ánh xạ tổng quát hơn (ví dụ: toán tử đa trị, ánh xạ phi-Lipschitz) hoặc trong các không gian phi tuyến tính khác ngoài Banach.
    3. Xử lý bài toán không tương thích: Nghiên cứu các phương pháp hiệu chỉnh cho bài toán GCFP không tương thích để tìm nghiệm gần đúng.
    4. Triển khai và kiểm định trên nền tảng tính toán song song thực tế: Kiểm định các thuật toán song song (IPIRM, EPIRM) trên các kiến trúc phần cứng chuyên dụng (GPU, cluster) với dữ liệu quy mô lớn, đặc biệt trong các lĩnh vực ứng dụng cụ thể.
    5. Tích hợp với Học máy/AI: Khám phá các phương pháp kết hợp với học máy hoặc trí tuệ nhân tạo để tối ưu hóa việc lựa chọn tham số hoặc nâng cao khả năng giải quyết các bài toán phức tạp.
    6. Nghiên cứu tổng quát hóa bài toán tách: Nghiên cứu các dạng tổng quát hơn của bài toán cân bằng tách và bất đẳng thức biến phân tách, có thể liên quan đến nhiều hơn hai không gian hoặc các ánh xạ phi tuyến phức tạp hơn.

Kết luận

Luận án của Đặng Văn Hiếu là một công trình nghiên cứu sâu sắc và tiên phong, đóng góp đáng kể vào lĩnh vực Toán ứng dụng, đặc biệt là trong việc giải quyết các bài toán Chấp nhận Lồi Suy rộng (GCFP) và các biến thể của chúng. Nghiên cứu đã thành công trong việc vượt qua nhiều thách thức cố hữu của các bài toán đặt không chỉnh và hệ thống phi tuyến.

  1. Phát triển các phương pháp chỉnh lặp song song hiệu quả (IPIRM, EPIRM) cho hệ phương trình toán tử J-đơn điệu trong không gian Banach, kể cả với dữ liệu nhiễu. Đây là một bước mở rộng quan trọng so với các công trình trước đây chỉ giới hạn trong không gian Hilbert (Phạm Kỳ Anh và cộng sự [13, 14]).
  2. Đề xuất phương pháp lai ghép đơn điệu đột phá cho CFPP, cho phép chứng minh sự hội tụ mạnh mà không cần các giả thiết hạn chế như tính bán đóng của toán tử, điều kiện Opial hoặc tính chất Kadec-Klee của không gian Banach (tr. 22), mở rộng đáng kể lớp các ánh xạ có thể xử lý.
  3. Thiết kế các thuật toán hội tụ mạnh toàn diện để tìm nghiệm chung của các bài toán hỗn hợp (CFPP, CSVIP, CSEP) trong cả không gian Hilbert và Banach, cung cấp một khuôn khổ linh hoạt và mạnh mẽ cho các vấn đề tối ưu hóa đa mục tiêu, vượt xa các phương pháp xoay vòng của Saeidi [75].
  4. Xây dựng thành công các thuật toán hội tụ (yếu và mạnh) cho bài toán cân bằng tách (SEP) và ứng dụng chúng cho bài toán bất đẳng thức biến phân tách (SVIP), giải quyết một lớp bài toán có cấu trúc phức tạp, liên không gian (tr. 22).
  5. Thúc đẩy ứng dụng thực tiễn trong nhiều lĩnh vực như khôi phục ảnh, xử lý tín hiệu, kỹ thuật y sinh (IMRT), tối ưu hóa và kinh tế, bằng cách cung cấp các công cụ toán học hiệu quả và khả thi hơn cho các bài toán phức tạp.

Paradigm advancement với evidence: Luận án thúc đẩy một sự chuyển dịch paradigm từ các phương pháp tuần tự và yêu cầu giả thiết chặt chẽ sang các phương pháp song song, lai ghép linh hoạt hơn và ít phụ thuộc vào các điều kiện không gian lý tưởng. Bằng chứng là khả năng chứng minh hội tụ mạnh trong không gian Banach mà không cần Opial hay Kadec-Klee (tr. 22), cho thấy một hướng tiếp cận mới trong giải quyết các bài toán phi tuyến phức tạp.

3+ new research streams opened: Nghiên cứu này mở ra ít nhất ba dòng nghiên cứu mới:

  1. Phân tích định lượng tốc độ hội tụ của các thuật toán lai ghép: Đây là một thách thức lớn được thừa nhận trong luận án (tr. 23).
  2. Phát triển thuật toán cho các bài toán GCFP không tương thích: Mở rộng phạm vi nghiên cứu để xử lý các bài toán không đảm bảo sự tồn tại của nghiệm.
  3. Tích hợp công nghệ tính toán song song và AI/Học máy: Áp dụng các kiến trúc phần cứng và kỹ thuật thông minh để tối ưu hóa việc triển khai và lựa chọn tham số cho các thuật toán đề xuất.

Global relevance với international comparison: Các đóng góp của luận án có "global relevance" cao, khi giải quyết các vấn đề chung trong cộng đồng toán học ứng dụng quốc tế. Các phương pháp mới và sự cải tiến của chúng được so sánh trực tiếp với các nghiên cứu quốc tế của Liu [60] và Saeidi [75], cũng như các nền tảng từ Korpelevich [58], Quoc [72], Browder [29, 30], và Tikhonov [tr. 15]. Điều này cho thấy sự đóng góp của luận án là đồng bộ và có khả năng ảnh hưởng đến các nghiên cứu trên toàn thế giới.

Legacy measurable outcomes: Luận án có thể tạo ra các kết quả đo lường được về lâu dài:

  • Số lượng trích dẫn: Ước tính từ 50-100+ trích dẫn trong 5-10 năm tới cho 10 công bố khoa học liên quan.
  • Ứng dụng công nghệ: Dẫn đến các cải tiến trong các phần mềm xử lý hình ảnh y tế, công cụ tối ưu hóa kỹ thuật, và mô hình kinh tế, có thể định lượng bằng việc giảm lỗi, tăng hiệu suất, hoặc tối ưu hóa chi phí.
  • Đóng góp vào giáo dục: Trở thành tài liệu giảng dạy và tham khảo quan trọng cho các chương trình đào tạo sau đại học về Toán ứng dụng, Khoa học Máy tính và Kỹ thuật trên toàn cầu.