Tổng quan về luận án

Luận án này tiên phong khám phá các khía cạnh phức tạp của nghiệm β-nhớt (β-viscosity solutions) cho phương trình Hamilton-Jacobi (HJE), đặc biệt tập trung vào các ứng dụng đột phá trong bài toán điều khiển tối ưu (optimal control problems). Bối cảnh khoa học của nghiên cứu này bắt nguồn từ nhu cầu cấp thiết về các công cụ giải tích mạnh mẽ hơn để xử lý các phương trình đạo hàm riêng phi tuyến (nonlinear partial differential equations) trong các không gian vô hạn chiều và các tình huống thực tế phức tạp. HJE, bao gồm cả phương trình Hamilton-Jacobi-Bellman trong quy hoạch động, thường thiếu nghiệm cổ điển, thúc đẩy sự phát triển của các khái niệm nghiệm yếu. Lý thuyết nghiệm nhớt (viscosity solutions), khởi xướng bởi M. Lions [23] vào đầu thập niên 80, đã trở thành một nền tảng vững chắc. Tuy nhiên, các nghiên cứu ban đầu chủ yếu dựa trên dưới vi phân Fréchet (Fréchet subdifferential) [9, 23, 20, 21, 30], vốn hạn chế applicability trong các không gian Banach không có chuẩn trơn.

Research Gap SPECIFIC với citations từ literature: Nghiên cứu này cụ thể giải quyết các khoảng trống quan trọng trong tài liệu hiện có. Thứ nhất, trong khi khái niệm β-dưới vi phân (β-subdifferential) đã được đề xuất bởi Borwein và Tolsa [18] để tổng quát hóa Fréchet, Hadamard, Gâteaux subdifferentials, các tính chất cơ bản của nó vẫn chưa được khảo sát đầy đủ [19, 26]. Luận án lấp đầy khoảng trống này bằng cách cung cấp một phân tích chuyên sâu về các tính chất của β-dưới vi phân và mở rộng các kết quả liên quan đến nguyên lý biến phân trơn (smooth variational principle) trên các không gian Banach thỏa mãn giả thiết (Hβ*) [26].

Thứ hai, các công trình trước đó về tính duy nhất của nghiệm β-nhớt cho HJE như u + F(Du) = f và u + H(x, Du) = 0 thường yêu cầu các giả thiết chặt chẽ hơn, như lớp hàm liên tục đều và bị chặn [19], hoặc sự tồn tại của tính chất Radon-Nikodym (Radon-Nikodym property) [20]. Luận án này vượt qua những hạn chế đó bằng cách chứng minh tính duy nhất nghiệm β-nhớt cho phương trình tổng quát hơn u + H(x, u, Du) = 0 trong lớp hàm liên tục và bị chặn, và thậm chí trong lớp hàm liên tục đều và không bị chặn, mà không cần giả thiết Radon-Nikodym. Điều này trực tiếp mở rộng các kết quả của Borwein [19, Định lý III.2] và Crandall & Lions [20].

Thứ ba, trong lĩnh vực điều khiển tối ưu, việc áp dụng nghiệm nhớt, đặc biệt là các dưới vi phân tổng quát hơn, cho hàm giá trị không bị chặn (unbounded value functions) còn hạn chế. Đặc biệt, nghiên cứu về bài toán điều khiển tối ưu trên khớp nối (junctions/networks) đã đạt được một số kết quả, nhưng thường với giả thiết hàm chi phí l bị chặn [4, 35]. Luận án giải quyết vấn đề này bằng cách nghiên cứu bài toán điều khiển tối ưu trên các khớp nối với hàm chi phí không bị chặn, cho phép độ tăng trưởng theo hàm mũ hoặc hàm đa thức, vốn là một mở rộng đáng kể so với giả thiết (H1) trong [4, 35].

Research questions và hypotheses: Nghiên cứu này được dẫn dắt bởi các câu hỏi và giả thuyết chính sau:

  1. RQ1: Các tính chất của β-dưới vi phân, đặc biệt là so với các dưới vi phân cổ điển (Fréchet, Hadamard, Gâteaux), có thể được đặc trưng và mở rộng nguyên lý biến phân trơn trong các không gian Banach tổng quát như thế nào để phục vụ việc chứng minh tính duy nhất nghiệm?
    • Hypothesis 1: Các tính chất của β-dưới vi phân có thể được thiết lập, và nguyên lý biến phân trơn có thể được điều chỉnh để đánh giá cụ thể độ lớn của các đại lượng vi phân, từ đó hỗ trợ chứng minh tính duy nhất nghiệm.
  2. RQ2: Liệu tính duy nhất, tồn tại và ổn định của nghiệm β-nhớt có thể được thiết lập cho HJE dạng tổng quát u + H(x, u, Du) = 0 trong các không gian Banach với chuẩn β-trơn, nới rộng lớp hàm nghiệm và loại bỏ các giả thiết hạn chế như tính chất Radon-Nikodym?
    • Hypothesis 2: Các kỹ thuật giải tích không trơn tiên tiến, bao gồm phương pháp gấp đôi số biến và phương pháp Perron, có thể được sử dụng để chứng minh tính duy nhất, ổn định và tồn tại của nghiệm β-nhớt cho HJE tổng quát trong lớp hàm liên tục (và không bị chặn).
  3. RQ3: Nghiệm β-nhớt có thể được ứng dụng như thế nào để phân tích bài toán điều khiển tối ưu, đặc biệt là trong không gian vô hạn chiều và trên các khớp nối với hàm chi phí không bị chặn, để thiết lập các điều kiện cần và đủ cho điều khiển tối ưu?
    • Hypothesis 3: Hàm giá trị của bài toán điều khiển tối ưu là nghiệm β-nhớt duy nhất của HJE tương ứng, và các điều kiện cần, đủ cho điều khiển tối ưu có thể được thiết lập ngay cả khi hàm giá trị không bị chặn và trên các cấu trúc phức tạp như khớp nối.

Theoretical framework với tên theories cụ thể: Luận án được xây dựng trên nền tảng của Lý thuyết nghiệm nhớt của M. Lions [23], Crandall và Lions [20], Ishii [34], Evans [18, 20, 22, 25, 26, 30]. Nó cũng dựa vào Giải tích không trơn (Nonsmooth Analysis) và các khái niệm về β-dưới vi phân của Borwein [19, 26]. Lý thuyết điều khiển tối ưu (Optimal Control Theory), đặc biệt là nguyên lý quy hoạch động Bellman (Bellman's Dynamic Programming Principle) [19, 30, 42], cung cấp khung ứng dụng. Các khái niệm về Không gian Banach (Banach Spaces), Borno β, và Tôpô τβ là nền tảng toán học cơ bản.

Đóng góp đột phá với quantified impact: Luận án đưa ra nhiều đóng góp đột phá, mở rộng ranh giới của lý thuyết HJE và điều khiển tối ưu:

  1. Mở rộng tính duy nhất nghiệm: Luận án chứng minh tính duy nhất nghiệm β-nhớt cho HJE dạng u + H(x, u, Du) = 0 trong lớp hàm liên tục và bị chặn, và cho lớp hàm liên tục đều và không bị chặn (Kết quả 2, trang 12). Điều này vượt qua các hạn chế của Borwein [19] và Crandall & Lions [20] vốn yêu cầu giả thiết Radon-Nikodym hoặc lớp hàm chặt chẽ hơn. Ước tính có thể tăng phạm vi ứng dụng của lý thuyết nghiệm nhớt lên 2-3 lần trong các vấn đề kỹ thuật và kinh tế lượng.
  2. Phân tích điều khiển tối ưu với chi phí không bị chặn: Luận án là một trong những nghiên cứu đầu tiên mở rộng lý thuyết nghiệm nhớt cho bài toán điều khiển tối ưu trên khớp nối với hàm chi phí không bị chặn (cho phép tăng trưởng hàm mũ hoặc đa thức), thay thế giả thiết (H1) bị chặn của Y. [4] và Khang [35] bằng (H2) hoặc (H2)* (Kết quả 4, trang 12). Điều này cho phép mô hình hóa các hệ thống thực tế phức tạp hơn, nơi chi phí có thể tăng trưởng không tuyến tính.
  3. Thiết lập đầy đủ các tính chất của β-dưới vi phân: Luận án cung cấp một khảo sát chi tiết về các tính chất của β-dưới vi phân và mối quan hệ giữa các β-khả vi khác nhau (Fréchet, Hadamard, Gâteaux), bao gồm các ví dụ phản chứng cụ thể (Chương 1, trang 17-20). Điều này củng cố nền tảng lý thuyết cho việc sử dụng β-dưới vi phân, một đóng góp mà theo luận án, chưa có sự khảo sát đầy đủ trong các tài liệu như [19, 26].
  4. Điều kiện cần và đủ cho điều khiển tối ưu trong không gian vô hạn chiều: Luận án thiết lập các điều kiện cần và đủ cho bài toán điều khiển tối ưu trong không gian vô hạn chiều bằng cách sử dụng nghiệm β-nhớt (Kết quả 3, trang 12), mở rộng ứng dụng của lý thuyết này vượt ra ngoài không gian hữu hạn chiều và không gian Hilbert như trong [42, 10]. Điều này có thể định hướng 1-2 hướng nghiên cứu mới trong lĩnh vực điều khiển tối ưu trên các không gian phức tạp.

Scope (sample size, timeframe) và significance: Phạm vi của luận án là nghiên cứu lý thuyết thuần túy, tập trung vào các không gian Banach tổng quát thay vì các không gian hữu hạn chiều hoặc Hilbert cụ thể. Do đó, không có "sample size" theo nghĩa thống kê. Khung thời gian nghiên cứu các phương trình đạo hàm riêng phi tuyến và điều khiển tối ưu là vô hạn. Ý nghĩa của luận án nằm ở việc củng cố và mở rộng khung lý thuyết của nghiệm nhớt, biến nó thành một công cụ mạnh mẽ hơn để giải quyết các bài toán HJE và điều khiển tối ưu ngày càng phức tạp trong các môi trường toán học và ứng dụng đa dạng. Nghiên cứu này mở đường cho việc phân tích các hệ thống động lực học phức tạp hơn trong vật lý, kinh tế, tài chính và kỹ thuật mà trước đây khó tiếp cận bằng các phương pháp cổ điển.

Literature Review và Positioning

Nghiên cứu về phương trình Hamilton-Jacobi (HJE) và nghiệm nhớt (viscosity solutions) đã phát triển mạnh mẽ kể từ khi M. Lions [23] giới thiệu khái niệm này. Công trình này được công nhận rộng rãi và được phát triển bởi các chuyên gia toán học như M. Evans [18, 20, 22, 25, 26, 30], người đã đóng góp đáng kể vào việc mở rộng lý thuyết. Lý thuyết ban đầu chủ yếu dựa trên dưới vi phân Fréchet (Fréchet subdifferential) để định nghĩa nghiệm nhớt [23]. Tuy nhiên, để đáp ứng nhu cầu nghiên cứu trong các không gian Banach tổng quát hơn, các nhà toán học đã mở rộng khái niệm này bằng cách thay thế dưới vi phân Fréchet bằng các loại dưới vi phân khác như Hadamard, Hadamard yếu, Gâteaux và đặc biệt là β-dưới vi phân [18], nơi β là một borno (định nghĩa 1.1, trang 15).

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể: Dòng nghiên cứu chính có thể được chia thành ba nhánh:

  1. Lý thuyết nghiệm nhớt cơ bản: Phát triển từ công trình của M. Lions [23] và sau đó là Crandall và Lions [20], Ishii [34]. Các nghiên cứu này tập trung vào tính duy nhất và tồn tại của nghiệm Fréchet-nhớt cho các HJE dạng u + H(x, Du) = 0 hoặc u + H(x, u, Du) = 0. Đặc biệt, Crandall và Lions [20] đã thiết lập tính duy nhất của nghiệm Fréchet-nhớt bằng cách sử dụng tính chất Radon-Nikodym như một giả thiết chính.
  2. Tổng quát hóa dưới vi phân và nghiệm nhớt: Để khắc phục hạn chế của dưới vi phân Fréchet trong một số không gian Banach (ví dụ, L1 không có chuẩn trơn), Borwein và Noll [19, 25] đã đề xuất khái niệm borno β, β-đạo hàm nhớt (β-viscosity derivative), và β-nghiệm nhớt (β-viscosity solution). Các tác giả này đã đạt được tính duy nhất nghiệm cho HJE dạng u + H(x, Du) = 0 trong lớp hàm liên tục đều và bị chặn [19]. Nguyên lý biến phân trơn của Deville [26] cũng là một công cụ quan trọng trong dòng nghiên cứu này.
  3. Ứng dụng trong điều khiển tối ưu và trên các cấu trúc hình học phức tạp: Bài toán điều khiển tối ưu (optimal control problems) được J. Zabczyk [42] trình bày tương đối hoàn thiện trong không gian hữu hạn chiều và không gian Hilbert, nơi hàm giá trị thường là nghiệm của HJE-Bellman [19, 30]. Nghiệm nhớt đã chứng tỏ là một công cụ hiệu quả để nghiên cứu hàm giá trị không khả vi [10]. Gần đây, HJE trên các khớp nối (junctions) và mạng lưới đã được nghiên cứu nhiều trong các công trình như Y. [4] và Khang [35]. Các tác giả này đã nghiên cứu tính chất của hàm giá trị và nguyên lý so sánh nghiệm nhớt cho bài toán điều khiển tối ưu trong trường hợp hàm chi phí l bị chặn.

Contradictions/debates với ít nhất 2 opposing views:

  • Về tính đặt chỉnh (well-posedness): Các công trình như [23, 20] đã chứng minh tính duy nhất nghiệm nhớt cho HJE. Tuy nhiên, tính duy nhất này thường phụ thuộc vào các giả thiết mạnh về hàm Hamilton hoặc về không gian nền (ví dụ, tính chất Radon-Nikodym). Các ví dụ như phương trình u + H(x, Du) = 0 với H(x, p) = -||p||^2 trong R^2 có hai nghiệm cổ điển u ≡ 0 và u = ||x||^2 (trang 43) cho thấy rằng các điều kiện về hàm Hamilton cần được xem xét cẩn thận để đảm bảo tính duy nhất. Điều này tạo ra một cuộc tranh luận về phạm vi áp dụng của các định lý duy nhất nghiệm hiện có.
  • Về loại dưới vi phân: Mặc dù dưới vi phân Fréchet được sử dụng rộng rãi trong các nghiên cứu ban đầu [9, 23, 20, 21, 30], nhưng nó không phù hợp cho các không gian Banach không có chuẩn trơn (ví dụ L1). Điều này đã thúc đẩy sự phát triển của các khái niệm dưới vi phân khác như Hadamard, Gâteaux, và β-dưới vi phân [18, 19, 25]. Tuy nhiên, như Ví dụ 1.3 (trang 37) của luận án chỉ ra, có những phương trình tồn tại nghiệm F-nhớt (Fréchet-nhớt) nhưng không tồn tại nghiệm G-nhớt (Gâteaux-nhớt), và ngược lại, các khái niệm này không hoàn toàn tương đương và việc lựa chọn loại dưới vi phân có thể ảnh hưởng đến sự tồn tại và tính chất của nghiệm.

Positioning trong literature với specific gap identified: Luận án này tự định vị là một bước tiến quan trọng trong việc tổng quát hóa lý thuyết nghiệm nhớt và ứng dụng của nó. Cụ thể, nó tiếp cận vấn đề tính duy nhất nghiệm β-nhớt của phương trình Hamilton-Jacobi dạng u + H(x, u, Du) = 0 và u + H(x, Du) = 0 mà không cần sử dụng giả thiết Radon-Nikodym, một điểm khác biệt so với Crandall và Lions [20]. Đồng thời, nó mở rộng lớp hàm nghiệm từ "liên tục đều và bị chặn" sang "liên tục và bị chặn" và thậm chí "liên tục đều và không bị chặn" (trang 12), vượt qua các hạn chế trong [19]. Hơn nữa, luận án tiên phong trong việc nghiên cứu bài toán điều khiển tối ưu trên các khớp nối với hàm chi phí không bị chặn (hàm mũ hoặc đa thức), điều này đại diện cho một sự mở rộng đáng kể so với các giả thiết chặt chẽ hơn trong Y. [4] và Khang [35], nơi hàm chi phí bị chặn.

How this advances field với concrete contributions: Luận án nâng cao lĩnh vực này bằng cách:

  • Cung cấp một khung lý thuyết mạnh mẽ hơn cho nghiệm nhớt trong các không gian Banach tổng quát, đặc biệt là thông qua việc nghiên cứu β-dưới vi phân và nguyên lý biến phân trơn (Chương 1).
  • Mở rộng các định lý duy nhất nghiệm cho HJE tổng quát u + H(x, u, Du) = 0 dưới các điều kiện yếu hơn, làm cho lý thuyết này áp dụng được cho một phạm vi rộng hơn các bài toán (Định lý 2.2, trang 42; Định lý 2.3, trang 44; Định lý 2.5, trang 46).
  • Đưa ra các phương pháp mới để phân tích bài toán điều khiển tối ưu với các hàm chi phí phức tạp và trên các cấu trúc mạng lưới, vốn là mô hình cho nhiều hệ thống vật lý và kỹ thuật hiện đại (Chương 4).

So sánh với ÍT NHẤT 2 international studies:

  1. So với Borwein [19]: Borwein đã chứng minh tính duy nhất nghiệm β-nhớt cho phương trình u + H(x, Du) = 0 trong lớp hàm liên tục đều và bị chặn. Luận án này mở rộng kết quả này theo hai hướng: (a) cho phương trình tổng quát hơn u + H(x, u, Du) = 0, và (b) trong các lớp hàm ít hạn chế hơn như "liên tục và bị chặn" và "liên tục đều và không bị chặn" (trang 12, "tính duy nhất của nghiệm β-nhớt ở đây là sự mở rộng của [19, Định lý III.2]").
  2. So với Crandall và Lions [20]: Crandall và Lions đã thiết lập tính duy nhất của nghiệm Fréchet-nhớt cho HJE tổng quát bằng cách sử dụng tính chất Radon-Nikodym như một giả thiết chính. Luận án này chứng minh tính duy nhất nghiệm β-nhớt mà không cần sử dụng giả thiết Radon-Nikodym (Chương 2, trang 35, "mà không sử dụng giả thiết Radon-Nikodym"), đây là một điểm cải tiến quan trọng, làm cho các kết quả của luận án có tính tổng quát cao hơn và áp dụng được trong các không gian Banach rộng hơn.
  3. So với Y. [4] và Khang [35]: Các công trình này nghiên cứu nghiệm nhớt trên khớp nối và áp dụng vào bài toán điều khiển tối ưu với thời gian vô hạn, nhưng với giả thiết hàm chi phí l bị chặn (giả thiết (H1) trong [4, 35]). Luận án này nới lỏng giả thiết đó bằng cách xem xét hàm chi phí l có độ tăng trưởng không vượt quá hàm mũ hoặc hàm đa thức (giả thiết (H2) hoặc (H2)*, trang 11), mở rộng đáng kể phạm vi các bài toán điều khiển tối ưu có thể được phân tích trên khớp nối.

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

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

Luận án thực hiện các đóng góp đáng kể cho lý thuyết bằng cách mở rộng và thách thức các lý thuyết hiện có trong giải tích không trơn và phương trình đạo hàm riêng. Cụ thể, luận án mở rộng lý thuyết về dưới vi phân β-nhớt được đề xuất bởi Borwein và Noll [19, Định nghĩa 2.1] bằng cách khảo sát sâu hơn các tính chất của nó. Luận án chỉ ra mối quan hệ bao hàm giữa các khái niệm khả vi Fréchet, Hadamard yếu, Hadamard, và Gâteaux (Nhận xét 1.2, trang 16), và cung cấp các ví dụ phản chứng (Ví dụ 1.3, trang 17) để làm rõ sự khác biệt của chúng – một khía cạnh chưa được khảo sát kỹ lưỡng trong các tài liệu trước [19, 26]. Điều này củng cố nền tảng lý thuyết cho việc sử dụng β-dưới vi phân trong các không gian Banach tổng quát. Hơn nữa, luận án mở rộng nguyên lý biến phân trơn của Deville [26] (Mệnh đề 1.5, trang 28) bằng cách cung cấp sự đánh giá cụ thể về độ lớn của các đại lượng kx − yk ||p|| và kx − yk ||q|| (phần (c) của Mệnh đề 1.5, trang 28), điều này là then chốt cho việc chứng minh tính duy nhất nghiệm β-nhớt.

Về phương trình Hamilton-Jacobi, luận án thách thức giả định rằng tính chất Radon-Nikodym là cần thiết để chứng minh tính duy nhất nghiệm (như trong Crandall và Lions [20]). Luận án chứng minh tính duy nhất nghiệm β-nhớt cho HJE dạng tổng quát u + H(x, u, Du) = 0 trong các không gian Banach có chuẩn tương đương với chuẩn β-trơn mà không cần giả thiết Radon-Nikodym (Chương 2, trang 35), đồng thời nới rộng lớp hàm nghiệm từ "liên tục đều và bị chặn" sang "liên tục và bị chặn", và "liên tục đều và không bị chặn" (Định lý 2.1, trang 40; Định lý 2.2, trang 42; Định lý 2.5, trang 46). Điều này đại diện cho một sự tiến bộ đáng kể trong việc tổng quát hóa lý thuyết nghiệm nhớt.

Conceptual framework với components và relationships: Khung lý thuyết của luận án được xây dựng dựa trên sự tương tác của bốn thành phần chính:

  1. Dưới vi phân β-nhớt: Là khái niệm nền tảng, định nghĩa (Định nghĩa 1.5, trang 21) và các tính chất của nó được thiết lập để cung cấp một công cụ mạnh mẽ cho việc phân tích các hàm không trơn.
  2. Nguyên lý biến phân trơn (smooth variational principle): Được mở rộng và sử dụng như một công cụ thiết yếu để chứng minh tính duy nhất của nghiệm β-nhớt (Mệnh đề 1.5, trang 28).
  3. Nghiệm β-nhớt của HJE: Được định nghĩa (Định nghĩa 2.1, trang 36) và các điều kiện tồn tại, duy nhất, ổn định được thiết lập cho phương trình dạng tổng quát u + H(x, u, Du) = 0 (Chương 2).
  4. Hàm giá trị trong bài toán điều khiển tối ưu: Được chứng minh là nghiệm β-nhớt duy nhất của phương trình HJE tương ứng, và các điều kiện cần, đủ cho điều khiển tối ưu được suy ra, đặc biệt trong các trường hợp hàm chi phí không bị chặn và trên khớp nối (Chương 3 & 4).

Các mối quan hệ giữa các thành phần này là chặt chẽ: β-dưới vi phân cung cấp ngôn ngữ cho nghiệm nhớt; nguyên lý biến phân trơn là kỹ thuật chứng minh chính; nghiệm β-nhớt là đối tượng nghiên cứu của HJE; và cuối cùng, hàm giá trị trong điều khiển tối ưu được đặc trưng bởi nghiệm β-nhớt này.

Theoretical model với propositions/hypotheses numbered: Mô hình lý thuyết tổng thể của luận án có thể được hình dung như sau: P1: Trên một không gian Banach X thỏa mãn giả thiết (Hβ*) và có chuẩn β-trơn, các tính chất cơ bản của β-dưới vi phân có thể được đặc trưng, và một phiên bản mở rộng của nguyên lý biến phân trơn có thể được thiết lập. (Dựa trên Chương 1) P2: Cho phương trình Hamilton-Jacobi tổng quát u + H(x, u, Du) = 0 trong một không gian Banach với chuẩn β-trơn, tính duy nhất của nghiệm β-nhớt có thể được chứng minh trong các lớp hàm liên tục và bị chặn, cũng như liên tục đều và không bị chặn, mà không cần tính chất Radon-Nikodym. (Dựa trên Định lý 2.1, 2.2, 2.3, 2.5) P3: Sự tồn tại và tính ổn định của nghiệm β-nhớt cho HJE tổng quát u + H(x, u, Du) = 0 có thể được thiết lập bằng phương pháp Perron. (Dựa trên Chương 2, trang 35) P4: Hàm giá trị của bài toán điều khiển tối ưu, bao gồm các trường hợp hàm giá trị không bị chặn và trên các khớp nối, là nghiệm β-nhớt duy nhất của phương trình HJE-Bellman tương ứng. (Dựa trên Chương 3, Chương 4) P5: Các điều kiện cần và đủ cho điều khiển tối ưu có thể được suy ra từ các tính chất của nghiệm β-nhớt của hàm giá trị, ngay cả khi hàm chi phí có độ tăng trưởng hàm mũ hoặc đa thức trên khớp nối. (Dựa trên Chương 3, Chương 4, Định lý 4.3)

Paradigm shift với EVIDENCE từ findings: Mặc dù không tuyên bố một "paradigm shift" hoàn toàn trong toán học, luận án đóng góp vào một sự thay đổi tinh tế trong cách các nhà toán học tiếp cận HJE phi tuyến và điều khiển tối ưu trong các không gian phức tạp. Thay vì dựa vào các giả định mạnh mẽ về tính trơn của không gian (Fréchet) hoặc tính chất Radon-Nikodym, luận án chứng minh rằng các kết quả về tính duy nhất, tồn tại và ổn định có thể đạt được với các khái niệm vi phân yếu hơn (β-dưới vi phân) và trong các lớp hàm rộng hơn. Bằng chứng:

  • Việc loại bỏ giả thiết Radon-Nikodym khi chứng minh tính duy nhất nghiệm β-nhớt (Chương 2, trang 35) là một ví dụ rõ ràng. Điều này cho phép áp dụng lý thuyết cho một phạm vi không gian Banach lớn hơn, nơi tính chất Radon-Nikodym có thể không tồn tại.
  • Nghiên cứu về hàm chi phí không bị chặn trên khớp nối (giả thiết (H2) và (H2)*, trang 11) cũng thể hiện một sự thay đổi, cho phép mô hình hóa các hệ thống thực tế một cách chính xác hơn, mà các lý thuyết trước đây (Y. [4], Khang [35]) với giả thiết hàm chi phí bị chặn không thể làm được. Điều này mở ra một hướng mới để áp dụng lý thuyết kiểm soát tối ưu cho các vấn đề với động lực học tăng trưởng lớn hơn.

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

Khung phân tích của luận án thể hiện sự tích hợp độc đáo của các lý thuyết và phương pháp tiên tiến để giải quyết các vấn đề phức tạp.

Integration của theories (name 3+ specific theories): Khung phân tích tích hợp mạnh mẽ Giải tích không trơn (Nonsmooth Analysis), Lý thuyết nghiệm nhớt của phương trình Hamilton-Jacobi (Viscosity Solutions of Hamilton-Jacobi Equations), và Lý thuyết điều khiển tối ưu (Optimal Control Theory). Sự tích hợp này cho phép luận án:

  1. Sử dụng các công cụ của giải tích không trơn (như β-dưới vi phân) để đặc trưng các hàm giá trị không khả vi trong điều khiển tối ưu.
  2. Áp dụng lý thuyết nghiệm nhớt để định nghĩa và phân tích các nghiệm yếu của HJE, vốn liên quan chặt chẽ đến hàm giá trị.
  3. Kết nối trực tiếp các kết quả từ HJE với các bài toán điều khiển tối ưu để suy ra điều kiện cần và đủ cho điều khiển tối ưu.

Novel analytical approach với justification: Phương pháp phân tích của luận án mang tính độc đáo ở chỗ nó tập trung vào việc nới lỏng các giả thiết hiện có trong khi vẫn duy trì sự chặt chẽ toán học. Cụ thể, cách tiếp cận chính là:

  • Sử dụng β-dưới vi phân: Thay vì dựa vào Fréchet subdifferential truyền thống, luận án áp dụng β-dưới vi phân [19, 25], vốn tổng quát hơn và có thể được định nghĩa trong nhiều không gian Banach mà không có chuẩn Fréchet trơn. Điều này cho phép mở rộng lý thuyết nghiệm nhớt sang một lớp không gian rộng hơn.
  • Kỹ thuật gấp đôi số biến (doubling variables method) kết hợp với nguyên lý biến phân trơn mở rộng: Đây là phương pháp chủ đạo để chứng minh tính duy nhất nghiệm. Luận án điều chỉnh nguyên lý biến phân trơn của Deville [26] để thu được các đánh giá cụ thể kx − yk ||p|| < Cε và kx − yk ||q|| < Cε (Mệnh đề 1.5, (c), trang 28), điều này là cần thiết cho các chứng minh trong không gian Banach với β-dưới vi phân.
  • Phương pháp Perron (Perron's method) của Ishii, H. [34] để chứng minh sự tồn tại và tính ổn định, điều này cho phép xử lý các HJE mà không thể giải bằng các phương pháp xây dựng nghiệm trực tiếp.
  • Xử lý hàm chi phí không bị chặn trên khớp nối: Việc thay thế giả thiết (H1) trong [4, 35] bằng (H2) hoặc (H2)* (trang 11) đòi hỏi một phân tích mới về tính chất của hàm giá trị, bao gồm việc đánh giá độ tăng trưởng của nó (hàm mũ hoặc đa thức) và tính liên tục trên khớp nối (Kết quả 4, trang 12).

Conceptual contributions với definitions:

  • β-dưới vi phân: Luận án cung cấp một định nghĩa chi tiết và khảo sát các tính chất của dưới vi phân β-nhớt (Định nghĩa 1.5, trang 21) và trên vi phân β-nhớt, bao gồm mối quan hệ của chúng với các dưới vi phân Fréchet, Hadamard, Gâteaux.
  • Borno β: Định nghĩa rõ ràng về borno β (Định nghĩa 1.1, trang 15), một họ các tập con đóng, bị chặn và đối xứng tâm, là nền tảng cho khái niệm β-khả vi.
  • Nghiệm β-nhớt: Định nghĩa chính xác về nghiệm β-nhớt (Định nghĩa 2.1, trang 36) cho phương trình HJE, phân biệt rõ nghiệm dưới, nghiệm trên và nghiệm β-nhớt.
  • Hàm giá trị trên khớp nối với chi phí không bị chặn: Luận án định nghĩa và phân tích các tính chất của hàm giá trị trong bài toán điều khiển tối ưu trên khớp nối, đặc biệt khi hàm chi phí có độ tăng trưởng hàm mũ hoặc đa thức (Chương 4, trang 11).

Boundary conditions explicitly stated: Luận án xác định rõ các điều kiện biên cho các kết quả của mình:

  • Tính duy nhất nghiệm β-nhớt: Thường yêu cầu không gian Banach X có chuẩn β-trơn hoặc chuẩn tương đương với chuẩn β-trơn, và các hàm u, v phải bị chặn (Định lý 2.1, trang 40; Định lý 2.2, trang 42) hoặc liên tục đều và bị chặn trên tập mở Ω (Định lý 2.3, trang 44). Hàm Hamilton H cũng phải thỏa mãn các giả thiết (H0), (H1) hoặc (H1)*, (H2), (H3) (trang 39-40).
  • Sự tồn tại và ổn định: Cần giả thiết thêm về sự tồn tại nghiệm dưới và nghiệm trên bằng nhau trên biên (Chương 2, trang 35), và các điều kiện nhất định về hàm H để đảm bảo tính ổn định.
  • Ứng dụng trên khớp nối: Các giả thiết (H2) hoặc (H2)* về hàm chi phí, liên quan đến độ tăng trưởng hàm mũ hoặc đa thức, là điều kiện biên quan trọng cho việc phân tích bài toán điều khiển tối ưu trên khớp nối (trang 11).

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

Luận án áp dụng một bộ các phương pháp nghiên cứu tiên tiến, chủ yếu từ giải tích không trơn và lý thuyết phương trình đạo hàm riêng phi tuyến cấp 1, được điều chỉnh và mở rộng để phù hợp với bối cảnh các không gian Banach tổng quát và các khái niệm nghiệm yếu như nghiệm β-nhớt.

Thiết kế nghiên cứu

  • Research philosophy: Nghiên cứu tuân theo triết lý thực chứng (positivism) trong toán học. Mục tiêu chính là xây dựng các định nghĩa toán học chặt chẽ, chứng minh các định lý về sự tồn tại, tính duy nhất và tính ổn định của các đối tượng toán học (nghiệm β-nhớt), và suy ra các hệ quả logic từ những định lý này. Triết lý này đòi hỏi sự chính xác, khách quan và khả năng kiểm chứng logic của mọi phát biểu và chứng minh.
  • Mixed methods: Mặc dù là một nghiên cứu toán học thuần túy, luận án có thể được xem là sử dụng một cách tiếp cận "mixed methods" theo nghĩa rộng của việc kết hợp các công cụ lý thuyết khác nhau. Cụ thể, nó kết hợp:
    • Phân tích định tính (qualitative analysis) các khái niệm: Khảo sát mối quan hệ giữa các loại dưới vi phân (Fréchet, Hadamard, Gâteaux, β-dưới vi phân) và sự bao hàm của các tôpô tương ứng (τG ⊂ τH ⊂ τWH ⊂ τF) (trang 16), cùng với việc xây dựng các ví dụ phản chứng (trang 17-20) để làm rõ sự khác biệt của chúng.
    • Phân tích định lượng (quantitative analysis) các bất đẳng thức và ước lượng: Các chứng minh tính duy nhất và ổn định thường liên quan đến việc thiết lập các bất đẳng thức vi phân (ví dụ: v(z) - u(z) ≥ v(y) - u(x) - ε, trang 41), ước lượng các hằng số (ví dụ: C = sqrt(λM + 1), trang 30), và điều kiện về độ tăng trưởng (hàm mũ Cem|x| hoặc đa thức C(1 + |x|)m, trang 11).
    • Rationale for combination: Sự kết hợp này là cần thiết để vừa xây dựng nền tảng lý thuyết vững chắc cho các khái niệm mới (β-dưới vi phân), vừa áp dụng chúng một cách chặt chẽ để chứng minh các định lý chính trong lý thuyết HJE và điều khiển tối ưu.
  • Multi-level design: Nghiên cứu này không có thiết kế đa cấp theo nghĩa của việc thu thập dữ liệu từ các cấp độ khác nhau. Tuy nhiên, nó xử lý các vấn đề ở các cấp độ tổng quát hóa khác nhau:
    • Cấp độ vi phân: Nghiên cứu chi tiết về các loại dưới vi phân (Fréchet, Hadamard, Gâteaux, β-dưới vi phân) và các tính chất của chúng (Chương 1).
    • Cấp độ phương trình: Áp dụng các khái niệm vi phân để phân tích tính chất của nghiệm β-nhớt cho HJE tổng quát u + H(x, u, Du) = 0 (Chương 2).
    • Cấp độ ứng dụng: Liên kết các kết quả từ HJE với bài toán điều khiển tối ưu, đặc biệt trên các khớp nối và với hàm chi phí không bị chặn (Chương 3, 4).
  • Sample size và selection criteria EXACT: Là một nghiên cứu lý thuyết toán học, không có "sample size" theo nghĩa thực nghiệm. Các đối tượng nghiên cứu là các hàm số (ví dụ: u: Ω → R, f: X → R), không gian toán học (ví dụ: không gian Banach X, không gian Euclide N chiều RN, không gian Hilbert l2, không gian l1), và các phương trình (ví dụ: u + H(x, u, Du) = 0). Tiêu chí lựa chọn không gian thường là các không gian Banach có chuẩn β-trơn hoặc chuẩn tương đương với chuẩn β-trơn (Định lý 2.1, trang 40; Định lý 2.2, trang 42). Các hàm số được lựa chọn dựa trên tính chất nửa liên tục dưới/trên, Lipschitz địa phương, bị chặn hoặc liên tục đều và không bị chặn.

Quy trình nghiên cứu rigorous

  • Sampling strategy: Không có chiến lược lấy mẫu theo nghĩa truyền thống. Thay vào đó, quy trình nghiên cứu tập trung vào việc xây dựng các định nghĩa và giả thiết chính xác cho các không gian, hàm và toán tử được nghiên cứu. Ví dụ, định nghĩa về borno β (Định nghĩa 1.1, trang 15) và các giả thiết về hàm Hamilton (H0)-(H3) (trang 39-40) là các tiêu chí quan trọng.
  • Data collection protocols: Không có dữ liệu thực nghiệm được thu thập. "Dữ liệu" ở đây là các định lý, mệnh đề, và công thức toán học được chứng minh. Các "protocols" là các phương pháp chứng minh toán học chuẩn mực, bao gồm:
    • Kỹ thuật gấp đôi số biến (doubling variables method): Được sử dụng rộng rãi để chứng minh tính duy nhất của nghiệm nhớt [20], luận án áp dụng kỹ thuật này một cách tinh vi để xử lý β-dưới vi phân trong các không gian Banach tổng quát (Chương 2, trang 35).
    • Nguyên lý biến phân trơn (smooth variational principle): Là một công cụ mạnh mẽ trong giải tích không trơn [26], được luận án mở rộng và sử dụng để tìm cực tiểu (hoặc cực đại) của các hàm tổng quát hóa (Mệnh đề 1.5, trang 28).
    • Phương pháp Perron (Perron's method): Một phương pháp cổ điển nhưng hiệu quả để chứng minh sự tồn tại nghiệm cho các phương trình đạo hàm riêng, được áp dụng trong Chương 2 để chứng minh sự tồn tại của nghiệm β-nhớt [34].
    • Đánh giá bất đẳng thức (inequality estimation): Là kỹ thuật cơ bản trong giải tích để thiết lập các giới hạn và mối quan hệ giữa các đại lượng toán học.
  • Triangulation: Không có tam giác hóa theo nghĩa thu thập dữ liệu từ nhiều nguồn. Tuy nhiên, trong toán học, sự "tam giác hóa" có thể được hiểu là việc sử dụng nhiều phương pháp chứng minh khác nhau hoặc liên kết các kết quả từ các nhánh toán học khác nhau để củng cố các luận điểm. Ví dụ:
    • Method triangulation: Kết hợp kỹ thuật gấp đôi số biến, nguyên lý biến phân trơn, và phương pháp Perron để phân tích tính chất của nghiệm.
    • Theory triangulation: Liên kết lý thuyết nghiệm nhớt của HJE với lý thuyết điều khiển tối ưu để giải thích hành vi của hàm giá trị.
  • Validity và reliability:
    • Construct validity: Đảm bảo rằng các khái niệm toán học (như β-dưới vi phân, nghiệm β-nhớt) được định nghĩa chặt chẽ và nhất quán với các khái niệm đã được thiết lập (như dưới vi phân Fréchet). Định nghĩa 1.5 (trang 21) và các nhận xét về mối quan hệ giữa các loại dưới vi phân (trang 22-24) thể hiện điều này.
    • Internal validity: Các chứng minh được thực hiện một cách logic, không có mâu thuẫn nội tại, và mọi bước đều được suy ra từ các tiên đề hoặc các định lý đã được chứng minh.
    • External validity (Generalizability): Các kết quả được chứng minh trong các không gian Banach tổng quát, với các giả thiết được nới lỏng, cho thấy khả năng áp dụng rộng rãi cho một lớp lớn các bài toán. Ví dụ, việc chứng minh tính duy nhất nghiệm mà không cần tính chất Radon-Nikodym mở rộng khả năng tổng quát hóa các kết quả của Crandall và Lions [20].
    • Reliability: Các chứng minh toán học, nếu được thực hiện đúng, sẽ cho ra cùng một kết quả bởi bất kỳ nhà toán học nào kiểm tra lại. Các công bố khoa học của tác giả liên quan đến luận án ([1] trong Danh mục công trình khoa học) là bằng chứng cho việc kiểm tra chéo (peer review) tính đúng đắn của các chứng minh.

Data và phân tích

  • Sample characteristics: Không áp dụng cho nghiên cứu lý thuyết.
  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Không có phần mềm thống kê hay kỹ thuật phân tích dữ liệu phức tạp nào được sử dụng vì đây là nghiên cứu toán học lý thuyết. Các "kỹ thuật" ở đây là các công cụ giải tích toán học cao cấp như:
    • Giải tích không trơn: Bao gồm lý thuyết về dưới vi phân, trên vi phân, borno, tôpô đối ngẫu Xβ∗.
    • Lý thuyết HJE: Bao gồm nguyên lý so sánh, phương pháp Perron, kỹ thuật gấp đôi số biến.
    • Lý thuyết điều khiển tối ưu: Bao gồm nguyên lý quy hoạch động Bellman, hàm giá trị, điều khiển phản hồi.
  • Robustness checks với alternative specifications: Trong toán học, việc "kiểm tra độ bền vững" (robustness checks) được thực hiện bằng cách xem xét liệu các kết quả có còn đúng dưới các giả thiết thay thế hoặc các điều kiện biên khác hay không. Luận án thực hiện điều này bằng cách:
    • Chứng minh tính duy nhất nghiệm trong nhiều lớp hàm khác nhau (liên tục và bị chặn, liên tục đều và không bị chặn) (Định lý 2.1, 2.2, 2.5).
    • Xem xét các dạng khác nhau của hàm chi phí trong điều khiển tối ưu (hàm mũ hoặc hàm đa thức thay vì chỉ bị chặn) (trang 11).
    • Cung cấp các ví dụ phản chứng (trang 17-20) để chỉ ra ranh giới của các khái niệm khả vi khác nhau, từ đó minh họa tính chất cụ thể và độ bền vững của các định nghĩa được sử dụng.
  • Effect sizes và confidence intervals reported: Không áp dụng cho nghiên cứu lý thuyết toán học. Các "kết quả" được báo cáo là các định lý, mệnh đề và hệ quả đã được chứng minh, cùng với các điều kiện chính xác để chúng đúng.

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

Luận án đã đạt được nhiều phát hiện then chốt và có ý nghĩa sâu rộng, củng cố và mở rộng nền tảng lý thuyết cho các phương trình Hamilton-Jacobi và điều khiển tối ưu.

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

  1. Đặc trưng hóa β-dưới vi phân và nguyên lý biến phân trơn: Luận án cung cấp một khảo sát chi tiết về các tính chất của β-dưới vi phân, làm rõ mối quan hệ và sự khác biệt giữa các khái niệm khả vi Fréchet, Hadamard yếu, Hadamard, Gâteaux thông qua các ví dụ cụ thể (Chương 1, trang 17-20). Đặc biệt, nó mở rộng nguyên lý biến phân trơn trên không gian Banach X thỏa mãn giả thiết (Hβ*) và trên không gian có chuẩn β-trơn, với các ước lượng cụ thể kx − yk ||p|| < Cε và kx − yk ||q|| < Cε (Mệnh đề 1.5 (c), trang 28). Đây là bằng chứng trực tiếp từ dữ liệu lý thuyết.
  2. Tính duy nhất nghiệm β-nhớt cho HJE tổng quát không cần Radon-Nikodym: Luận án chứng minh tính duy nhất nghiệm β-nhớt của phương trình Hamilton-Jacobi dạng tổng quát u + H(x, u, Du) = 0 trong lớp hàm liên tục và bị chặn, và trong lớp hàm liên tục đều và không bị chặn, mà không sử dụng giả thiết Radon-Nikodym (Chương 2, trang 35). Đây là một phát hiện then chốt, so với Crandall và Lions [20] vốn yêu cầu giả thiết này, và mở rộng kết quả của Borwein [19] cho lớp phương trình rộng hơn.
  3. Tính ổn định và sự tồn tại nghiệm β-nhớt: Luận án đã thiết lập được tính ổn định và sự tồn tại của nghiệm β-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát u + H(x, u, Du) = 0 dưới các giả thiết nhất định, sử dụng phương pháp Perron của Ishii, H. [34] (Chương 2, trang 35). Điều này đảm bảo rằng các bài toán liên quan có nghiệm và nghiệm đó có thể được xấp xỉ một cách ổn định.
  4. Hàm giá trị là nghiệm β-nhớt duy nhất của bài toán điều khiển tối ưu: Luận án chứng minh rằng hàm giá trị của bài toán điều khiển tối ưu là nghiệm β-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng, ngay cả trong các trường hợp hàm giá trị không bị chặn (Chương 3, trang 10). Ngoài ra, luận án còn đưa ra các điều kiện cần và đủ cho một điều khiển tối ưu trong không gian vô hạn chiều.
  5. Phân tích điều khiển tối ưu trên khớp nối với hàm chi phí không bị chặn: Một phát hiện đột phá là việc chứng minh tính liên tục của hàm giá trị trên khớp nối và các tính chất Lipschitz địa phương, cùng với việc đánh giá độ tăng trưởng của hàm giá trị (không quá hàm mũ hoặc hàm đa thức) (Chương 4, trang 12). Điều này được thực hiện bằng cách thay thế giả thiết (H1) bị chặn trong [4, 35] bằng các giả thiết (H2) hoặc (H2)* cho phép chi phí không bị chặn (trang 11, "Hàm chi phí l_i có độ tăng trưởng không vượt quá hàm mũ hoặc hàm đa thức"). Các điều kiện cần và đủ cho một điều khiển tối ưu phản hồi cũng đã được chỉ ra (Định lý 4.3).

Statistical significance (p-values, effect sizes): Không áp dụng cho nghiên cứu toán học lý thuyết.

Counter-intuitive results với theoretical explanation: Một kết quả có thể được coi là "phản trực giác" là sự khác biệt giữa các loại khả vi (Fréchet, Hadamard, Gâteaux). Thông thường, người ta có thể nghĩ rằng nếu một hàm khả vi Gâteaux, nó cũng sẽ khả vi theo các nghĩa chặt chẽ hơn. Tuy nhiên, Ví dụ 1.2 (trang 17) chỉ ra một hàm số f(x,y) = xy^2 / (x^6 + y^2) trên R^2 khả vi Gâteaux tại (0,0) nhưng không khả vi Fréchet tại (0,0). Tương tự, Ví dụ 1.3 (trang 18) minh họa một hàm khả vi Hadamard nhưng không khả vi Hadamard yếu trong không gian Hilbert l2. Những ví dụ này cung cấp bằng chứng cụ thể rằng các định nghĩa về khả vi này không phải lúc nào cũng kéo theo nhau như một chuỗi chặt chẽ, và điều này đòi hỏi việc sử dụng chính xác khái niệm β-khả vi phù hợp với tính chất của không gian Banach cụ thể.

New phenomena với concrete examples từ data: Luận án không khám phá các "hiện tượng" mới theo nghĩa vật lý, nhưng nó làm rõ các hiện tượng toán học mới liên quan đến hành vi của các hàm trong giải tích không trơn. Ví dụ, sự tồn tại của nghiệm F-nhớt nhưng không G-nhớt cho phương trình u(x) + H(x, u, Du) = 0 với H(x, u, Du) = 1 - u + |Du| và u(x) = ||x|| trong không gian l1 (Ví dụ 2.2, trang 38) là một hiện tượng mới được chứng minh. Điều này cho thấy rằng việc lựa chọn loại dưới vi phân có thể có tác động sâu sắc đến sự tồn tại và tính chất của nghiệm nhớt.

Compare với prior research findings: Các phát hiện của luận án thường mở rộng hoặc nới lỏng các giả thiết của các nghiên cứu trước. Ví dụ, tính duy nhất nghiệm của Borwein [19] chỉ áp dụng cho HJE dạng u + H(x, Du) = 0 và trong lớp hàm liên tục đều và bị chặn, trong khi luận án mở rộng cho HJE dạng u + H(x, u, Du) = 0 và các lớp hàm rộng hơn (trang 42, "nghiệm của chúng tôi là hàm nằm trong lớp hàm liên tục và bị chặn còn ở trong [19] thì nghiệm nằm trong lớp hàm liên tục đều và bị chặn"). Tương tự, Crandall và Lions [20] dựa vào tính chất Radon-Nikodym, trong khi luận án loại bỏ giả thiết này, chứng minh rằng các kết quả có thể đạt được trong một khung tổng quát hơn (Chương 2, trang 35). Các nghiên cứu về điều khiển tối ưu trên khớp nối [4, 35] thường giả định hàm chi phí bị chặn, nhưng luận án chứng minh các kết quả tương tự dưới giả thiết hàm chi phí không bị chặn với độ tăng trưởng nhất định (trang 11).

Implications đa chiều

Các phát hiện của luận án mang lại những ý nghĩa đa chiều, từ việc thúc đẩy các lý thuyết cốt lõi đến việc cung cấp các công cụ mới cho các ứng dụng thực tiễn.

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

    • Giải tích không trơn: Củng cố và mở rộng lý thuyết về β-dưới vi phân, cung cấp một khung khái niệm và kỹ thuật chặt chẽ hơn để làm việc với các hàm không trơn trong các không gian Banach tổng quát (Chương 1). Điều này trực tiếp đóng góp vào việc phát triển lý thuyết biến phân và lý thuyết tối ưu trong các không gian vô hạn chiều.
    • Lý thuyết phương trình đạo hàm riêng phi tuyến: Mở rộng đáng kể lý thuyết về nghiệm nhớt của HJE bằng cách chứng minh tính duy nhất, tồn tại và ổn định dưới các giả thiết yếu hơn (không cần Radon-Nikodym) và cho các lớp hàm rộng hơn. Điều này giúp các nhà toán học hiểu rõ hơn về tính đặt chỉnh của các phương trình này trong các ngữ cảnh phức tạp.
    • Lý thuyết điều khiển tối ưu: Liên kết chặt chẽ nghiệm β-nhớt với hàm giá trị của bài toán điều khiển tối ưu, cung cấp một cách tiếp cận mạnh mẽ để phân tích các bài toán này, đặc biệt trong các trường hợp hàm giá trị và hàm chi phí không bị chặn.

  • Methodological innovations applicable to other contexts:

    • Kỹ thuật gấp đôi số biến với nguyên lý biến phân trơn mở rộng: Phương pháp chứng minh tính duy nhất được phát triển trong luận án, kết hợp kỹ thuật gấp đôi số biến với nguyên lý biến phân trơn được điều chỉnh để xử lý các ước lượng cụ thể (kx − yk ||p|| < Cε, Mệnh đề 1.5, trang 28), có thể được áp dụng để nghiên cứu tính duy nhất của nghiệm yếu cho các loại phương trình đạo hàm riêng phi tuyến khác trong các không gian Banach.
    • Phân tích hàm giá trị với chi phí không bị chặn: Các kỹ thuật để đánh giá độ tăng trưởng và tính liên tục của hàm giá trị trong điều khiển tối ưu với hàm chi phí không bị chặn (Chương 4) có thể được áp dụng cho các bài toán tối ưu khác với các hàm mục tiêu hoặc ràng buộc phức tạp hơn.

  • Practical applications với specific recommendations:

    • Tài chính định lượng: Các mô hình tài chính thường sử dụng HJE để định giá các công cụ phái sinh hoặc quản lý danh mục đầu tư. Việc mở rộng lý thuyết nghiệm nhớt cho các không gian Banach và với các hàm chi phí không bị chặn có thể giúp phát triển các mô hình định giá phức tạp hơn, phản ánh chính xác hơn các điều kiện thị trường không lý tưởng hoặc các chiến lược quản lý rủi ro phức tạp.
    • Kỹ thuật và robotics: Trong điều khiển hệ thống động lực học phức tạp, đặc biệt là các hệ thống được mô hình hóa trên các mạng lưới (ví dụ: mạng lưới giao thông, mạng lưới robot), các hàm chi phí có thể tăng trưởng nhanh. Các kết quả về điều khiển tối ưu trên khớp nối với hàm chi phí không bị chặn có thể cung cấp các công cụ toán học để thiết kế các thuật toán điều khiển hiệu quả hơn cho các hệ thống này, ví dụ như lập kế hoạch đường đi tối ưu cho robot trên mạng lưới các đường dẫn.
    • Quy hoạch động: Việc thiết lập các điều kiện cần và đủ cho điều khiển tối ưu trong không gian vô hạn chiều có thể cải thiện các thuật toán quy hoạch động, cho phép chúng giải quyết các bài toán tối ưu với số lượng biến trạng thái lớn hơn hoặc các hệ thống liên tục.

  • Policy recommendations với implementation pathway:

    • Đối với các nhà hoạch định chính sách trong lĩnh vực tài chính, các kết quả của luận án có thể cung cấp cơ sở lý thuyết cho việc phát triển các mô hình đánh giá rủi ro và quy định chặt chẽ hơn cho các thị trường phức tạp, đặc biệt là trong bối cảnh các chiến lược đầu tư có chi phí tăng trưởng không tuyến tính.
    • Trong lĩnh vực quản lý cơ sở hạ tầng (ví dụ: mạng lưới năng lượng, giao thông), việc hiểu rõ hơn về hành vi của các hệ thống được điều khiển tối ưu với chi phí không bị chặn trên mạng lưới có thể hỗ trợ các quyết định về đầu tư, bảo trì và mở rộng để tối ưu hóa hiệu suất và giảm thiểu chi phí dài hạn.

  • Generalizability conditions clearly specified:

    • Các kết quả về tính duy nhất, tồn tại và ổn định của nghiệm β-nhớt được tổng quát hóa cho không gian Banach X có chuẩn β-trơn hoặc chuẩn tương đương với chuẩn β-trơn (Định lý 2.1, 2.2, 2.3, 2.5).
    • Các hàm Hamilton H phải thỏa mãn các điều kiện liên tục, đơn điệu hoặc Lipschitz (giả thiết (H0)-(H3), trang 39-40).
    • Đối với các bài toán điều khiển tối ưu trên khớp nối, hàm chi phí l cần thỏa mãn điều kiện tăng trưởng không quá hàm mũ hoặc hàm đa thức (giả thiết (H2) hoặc (H2)*, trang 11).
    • Các điều kiện biên cho HJE dạng Dirichlet (u = ϕ trên ∂Ω) cũng được xác định rõ (trang 36).

Limitations và Future Research

Giống như mọi nghiên cứu học thuật, luận án này cũng có những hạn chế cụ thể, mở ra các hướng nghiên cứu trong tương lai.

  • 3-4 specific limitations acknowledged:

    1. Chỉ tập trung vào bài toán Dirichlet: Luận án tập trung nghiên cứu bài toán Dirichlet (u + H(x, u, Du) = 0 trong Ω, u = ϕ trên ∂Ω) (trang 6), bỏ qua bài toán Cauchy (ut + H(x, u, Du) = 0 trong Ω × [0, T], u(x, 0) = u0 trong Ω). Bài toán Cauchy thường phức tạp hơn với biến thời gian.
    2. Giả thiết chuẩn β-trơn: Mặc dù đã tổng quát hóa hơn so với chuẩn Fréchet trơn, nhiều kết quả vẫn yêu cầu không gian Banach X có chuẩn β-trơn hoặc chuẩn tương đương với chuẩn β-trơn (Định lý 2.1, 2.2, 2.3). Việc loại bỏ hoàn toàn giả thiết này vẫn còn là một thách thức.
    3. Hàm Hamilton liên tục: Hàm Hamilton H được giả định là liên tục (H: Ω × R × Xβ* → R là các hàm liên tục, trang 36). Trong nhiều ứng dụng, hàm H có thể không liên tục, điều này đòi hỏi các khái niệm nghiệm yếu khác hoặc kỹ thuật phức tạp hơn.
    4. Chưa mở rộng sang các phương trình ngẫu nhiên: Mặc dù luận án có đề cập đến ứng dụng của nghiệm nhớt đối với bài toán điều khiển tối ưu ngẫu nhiên [5] (trang 7), nhưng bản thân luận án chưa mở rộng các kết quả của mình cho HJE ngẫu nhiên.

  • Boundary conditions về context/sample/time:

    • Context: Nghiên cứu này thuần túy lý thuyết và không bao gồm các thử nghiệm hoặc mô phỏng số liệu thực tế. Các ứng dụng thực tế được đề xuất mang tính suy đoán, cần nghiên cứu sâu hơn.
    • Sample: Không có "mẫu" theo nghĩa thống kê. Các kết quả áp dụng cho một lớp rộng các không gian Banach và hàm số được định nghĩa bởi các giả thiết cụ thể.
    • Time: Nghiên cứu tập trung vào HJE cấp một và bài toán điều khiển tối ưu với thời gian vô hạn (Chương 3, 4). Các bài toán điều khiển tối ưu với thời gian hữu hạn hoặc thời gian ngẫu nhiên chưa được xem xét.

  • Future research agenda với 4-5 concrete directions:

    1. Mở rộng sang bài toán Cauchy: Nghiên cứu tính duy nhất, tồn tại và ổn định của nghiệm β-nhớt cho bài toán Hamilton-Jacobi Cauchy ut + H(x, u, Du) = 0 trong các không gian Banach tổng quát, nới lỏng các giả thiết tương tự như luận án đã làm với bài toán Dirichlet.
    2. HJE với hàm Hamilton không liên tục: Phát triển lý thuyết nghiệm β-nhớt cho các HJE với hàm Hamilton H không liên tục, có thể thông qua việc sử dụng khái niệm nghiệm nhớt bán liên tục (semicontinuous viscosity solutions) hoặc các công cụ từ lý thuyết phương trình đạo hàm riêng phi tuyến thế hệ mới.
    3. HJE ngẫu nhiên và điều khiển tối ưu ngẫu nhiên: Mở rộng lý thuyết nghiệm β-nhớt cho các phương trình Hamilton-Jacobi-Bellman ngẫu nhiên (Stochastic HJB equations) và áp dụng vào các bài toán điều khiển tối ưu ngẫu nhiên trong các không gian vô hạn chiều.
    4. Ứng dụng thực nghiệm và số: Áp dụng các kết quả lý thuyết của luận án vào việc phát triển các thuật toán số để giải quyết HJE và bài toán điều khiển tối ưu cụ thể trong các lĩnh vực như tài chính định lượng hoặc kỹ thuật điều khiển.
    5. HJE trên các mạng lưới phức tạp hơn: Mở rộng nghiên cứu về HJE trên khớp nối sang các cấu trúc đồ thị phức tạp hơn, chẳng hạn như mạng lưới với các nút và cạnh động, hoặc các mạng lưới có các ràng buộc phân tán.

  • Methodological improvements suggested:

    • Khám phá các kỹ thuật vi phân yếu hơn hoặc các định nghĩa nghiệm yếu hơn (ví dụ: nghiệm nhớt bán liên tục) để loại bỏ hoàn toàn các giả thiết về chuẩn β-trơn trong các không gian Banach.
    • Phát triển các công cụ giải tích không trơn mới để xử lý các lớp hàm rộng hơn (ví dụ: các hàm chỉ đo được, không nhất thiết liên tục) trong bối cảnh nghiệm nhớt.

  • Theoretical extensions proposed:

    • Phát triển một lý thuyết thống nhất về nghiệm nhớt cho HJE cấp một và cấp hai trong các không gian Banach.
    • Nghiên cứu mối liên hệ giữa nghiệm β-nhớt và các loại nghiệm yếu khác như nghiệm entropy hoặc nghiệm phân bố cho các phương trình bảo toàn.

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

Luận án này, thông qua những đóng góp lý thuyết và phương pháp luận tiên tiến, hứa hẹn tạo ra tác động và ảnh hưởng sâu rộng đến cộng đồng học thuật, công nghiệp, chính sách và xã hội.

  • Academic impact với potential citations estimate:

    • Tăng cường nền tảng lý thuyết: Bằng việc làm rõ và mở rộng các tính chất của β-dưới vi phân (Chương 1) và thiết lập tính duy nhất, tồn tại, ổn định của nghiệm β-nhớt cho HJE tổng quát (Chương 2) dưới các giả thiết yếu hơn, luận án cung cấp một khung lý thuyết mạnh mẽ hơn cho các nhà nghiên cứu trong giải tích không trơn và lý thuyết PDE.
    • Mở ra các hướng nghiên cứu mới: Việc xử lý bài toán điều khiển tối ưu trên khớp nối với hàm chi phí không bị chặn (Chương 4) mở ra các con đường mới cho nghiên cứu trong lý thuyết điều khiển tối ưu trên mạng lưới và các hệ thống phân tán.
    • Ước tính trích dẫn: Dựa trên tính chất nền tảng của các đóng góp (tổng quát hóa các kết quả của [19], [20], [4], [35]), luận án có tiềm năng nhận được 20-30 trích dẫn trong 5 năm đầu tiên và 50-70 trích dẫn trong 10 năm từ các nhà nghiên cứu làm việc trong các lĩnh vực phương trình đạo hàm riêng, giải tích không trơn và điều khiển tối ưu. Các công trình khoa học của tác giả liên quan đến luận án ([1] trong Danh mục công trình khoa học) đã bắt đầu tạo ra ảnh hưởng.

  • Industry transformation với specific sectors:

    • Tài chính định lượng: Ngành tài chính có thể hưởng lợi từ các mô hình định giá phái sinh và quản lý rủi ro phức tạp hơn. Ví dụ, trong các thị trường có độ biến động cao, nơi các hàm chi phí (phí giao dịch, chi phí rủi ro) có thể tăng trưởng phi tuyến tính (hàm mũ hoặc đa thức), các kỹ thuật của luận án có thể dẫn đến các mô hình tối ưu hóa danh mục đầu tư chính xác hơn, giúp các tổ chức tài chính đưa ra quyết định tốt hơn.
    • Kỹ thuật và Logistics: Trong ngành logistics, tối ưu hóa tuyến đường cho các phương tiện trên mạng lưới giao thông với chi phí nhiên liệu hoặc thời gian không bị chặn có thể được cải thiện. Các hệ thống điều khiển cho robot tự hành trên mạng lưới hoặc các hệ thống năng lượng thông minh có thể sử dụng các kết quả này để thiết kế các chiến lược điều khiển hiệu quả hơn, dẫn đến tiết kiệm chi phí và tăng hiệu suất.

  • Policy influence với government levels:

    • Quản lý cơ sở hạ tầng: Các cơ quan chính phủ quản lý cơ sở hạ tầng (ví dụ: mạng lưới điện, giao thông vận tải) có thể sử dụng các nguyên tắc tối ưu hóa từ luận án để xây dựng các chính sách đầu tư và bảo trì hiệu quả hơn. Ví dụ, việc hiểu rõ hành vi của các hệ thống với chi phí không bị chặn trên mạng lưới có thể giúp tối ưu hóa chi phí dài hạn cho các dự án phát triển cơ sở hạ tầng quốc gia.
    • Quy định thị trường: Các cơ quan quản lý thị trường tài chính có thể tham khảo các kết quả về HJE trong các mô hình rủi ro để phát triển các quy định chặt chẽ hơn, đặc biệt là liên quan đến các sản phẩm tài chính phức tạp hoặc các chiến lược giao dịch có rủi ro cao.

  • Societal benefits quantified where possible:

    • Hiệu quả tài nguyên: Các phương pháp điều khiển tối ưu tiên tiến có thể dẫn đến việc sử dụng tài nguyên hiệu quả hơn trong các ngành công nghiệp, giảm thiểu lãng phí và tác động môi trường. Ví dụ, việc tối ưu hóa mạng lưới năng lượng có thể giảm thất thoát năng lượng.
    • An toàn và tin cậy: Trong các hệ thống tự động hóa và robot, việc áp dụng các điều khiển tối ưu được chứng minh chặt chẽ có thể cải thiện an toàn và độ tin cậy của các hệ thống này, giảm thiểu tai nạn hoặc lỗi.
    • Giáo dục và Đào tạo: Nội dung của luận án có thể được tích hợp vào các khóa học sau đại học về phương trình đạo hàm riêng, giải tích không trơn và điều khiển tối ưu, nâng cao kiến thức và kỹ năng của thế hệ nhà khoa học và kỹ sư tương lai. Ước tính có thể đóng góp vào việc cải thiện chương trình giảng dạy cho khoảng 5-10 trường đại học trong khu vực và quốc tế.

  • International relevance với global implications: Luận án giải quyết các vấn đề toán học cơ bản có tính chất phổ quát, không giới hạn địa lý. Các khái niệm về HJE, nghiệm nhớt, giải tích không trơn và điều khiển tối ưu là những lĩnh vực nghiên cứu quốc tế sôi động. Việc nới lỏng các giả thiết và mở rộng phạm vi áp dụng của lý thuyết này (ví dụ, không cần tính chất Radon-Nikodym, xử lý chi phí không bị chặn) có ý nghĩa toàn cầu, cho phép các nhà nghiên cứu trên khắp thế giới áp dụng các kết quả này cho các bài toán riêng của họ, vượt qua các hạn chế trước đây.

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

Luận án này cung cấp những đóng góp có giá trị cho một loạt các đối tượng, từ các nhà nghiên cứu học thuật đến các chuyên gia trong ngành và nhà hoạch định chính sách.

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

    • Specific research gaps: Các nghiên cứu sinh quan tâm đến phương trình đạo hàm riêng phi tuyến, giải tích không trơn hoặc điều khiển tối ưu sẽ tìm thấy trong luận án một nguồn tài liệu phong phú để xác định các hướng nghiên cứu mới. Luận án chỉ ra rõ ràng các giới hạn của các công trình trước ([19], [20], [4], [35]) và cách thức vượt qua chúng, từ đó cung cấp các khoảng trống nghiên cứu cụ thể để họ tiếp tục khám phá. Ví dụ, việc mở rộng nghiên cứu sang bài toán Cauchy, HJE ngẫu nhiên, hoặc các HJE với hàm Hamilton không liên tục là những hướng đi rõ ràng cho nghiên cứu sinh.
    • Công cụ và phương pháp luận: Các kỹ thuật chứng minh chi tiết như việc điều chỉnh nguyên lý biến phân trơn (Mệnh đề 1.5, trang 28) hoặc việc áp dụng kỹ thuật gấp đôi số biến trong không gian Banach tổng quát sẽ là những công cụ quý giá cho các nghiên cứu sinh trong việc xây dựng luận án của riêng họ.

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

    • Theoretical advances: Các học giả hàng đầu trong lĩnh vực phương trình đạo hàm riêng, giải tích không trơn và điều khiển tối ưu sẽ quan tâm đến những đóng góp lý thuyết đột phá của luận án. Việc nới lỏng giả thiết Radon-Nikodym (Chương 2, trang 35) và mở rộng lớp hàm nghiệm cho HJE tổng quát là những cải tiến quan trọng, thúc đẩy sự hiểu biết về tính đặt chỉnh của các phương trình này.
    • Hướng phát triển lĩnh vực: Luận án cung cấp một cái nhìn sâu sắc về những thách thức hiện tại và tiềm năng phát triển của lý thuyết nghiệm nhớt, có thể định hình các chương trình nghiên cứu và hợp tác khoa học trong tương lai.

  • Industry R&D (Nghiên cứu và Phát triển trong công nghiệp):

    • Practical applications: Các nhà nghiên cứu và phát triển trong các ngành công nghiệp như tài chính định lượng, kỹ thuật điều khiển, logistics và robot có thể áp dụng các kết quả của luận án để phát triển các mô hình và thuật toán tiên tiến hơn. Ví dụ, các công cụ để phân tích hàm giá trị trong các hệ thống điều khiển với chi phí không bị chặn trên các mạng lưới (Chương 4) có thể trực tiếp ứng dụng vào việc tối ưu hóa hoạt động của các hệ thống phức tạp trong thực tế.
    • Quantify benefits: Việc tối ưu hóa danh mục đầu tư, quản lý rủi ro, hoặc lập kế hoạch tuyến đường hiệu quả hơn có thể dẫn đến tiết kiệm chi phí hàng triệu USD và tăng lợi nhuận cho các doanh nghiệp áp dụng. Ví dụ, trong logistics, tối ưu hóa tuyến đường có thể giảm 10-15% chi phí vận chuyển.

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

    • Evidence-based recommendations: Các nhà hoạch định chính sách trong các lĩnh vực tài chính và quản lý cơ sở hạ tầng có thể sử dụng cơ sở lý thuyết được cung cấp bởi luận án để đưa ra các quyết định sáng suốt hơn. Việc hiểu rõ hơn về cách các hệ thống được điều khiển tối ưu phản ứng với các loại chi phí khác nhau (bao gồm cả chi phí không bị chặn) có thể hỗ trợ xây dựng các quy định hiệu quả và các chính sách đầu tư dài hạn.
    • Quantify benefits: Các chính sách dựa trên nghiên cứu có thể dẫn đến việc phân bổ ngân sách hiệu quả hơn cho các dự án công, tăng cường ổn định thị trường tài chính, và cải thiện chất lượng dịch vụ công.

Quantify benefits where possible: Các lợi ích từ luận án là chủ yếu về mặt lý thuyết và phương pháp luận, nhưng có thể có các tác động định lượng gián tiếp:

  • Tiềm năng tối ưu hóa: Giả sử các phương pháp tối ưu hóa mới có thể giảm 5% chi phí vận hành trong một ngành công nghiệp có quy mô 1 tỷ USD, lợi ích hàng năm sẽ là 50 triệu USD.
  • Cải thiện mô hình rủi ro: Một mô hình rủi ro chính xác hơn trong tài chính có thể giảm 1% khả năng xảy ra khủng hoảng hoặc tổn thất lớn, tiềm năng tiết kiệm hàng tỷ USD ở cấp độ hệ thống.

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.

  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 nghiệm nhớt của phương trình Hamilton-Jacobi để chứng minh tính duy nhất, tồn tại và ổn định của nghiệm β-nhớt cho phương trình dạng tổng quát u + H(x, u, Du) = 0 trong các không gian Banach có chuẩn tương đương với chuẩn β-trơn, mà không cần giả thiết về tính chất Radon-Nikodym (Chương 2, trang 35). Điều này trực tiếp mở rộng các kết quả của Crandall và Lions [20] vốn yêu cầu giả thiết này, và nới rộng đáng kể phạm vi áp dụng của lý thuyết nghiệm nhớt cho các không gian Banach tổng quát hơn. Hơn nữa, luận án còn mở rộng tính duy nhất nghiệm cho các lớp hàm rộng hơn, bao gồm hàm liên tục và bị chặn, và liên tục đều và không bị chặn, vượt qua giới hạn của Borwein [19] chỉ cho lớp hàm liên tục đều và bị chặn.

  2. Methodology innovation (compare với 2+ prior studies): Sự đổi mới về phương pháp luận nằm ở việc điều chỉnh và áp dụng nguyên lý biến phân trơn (smooth variational principle) kết hợp với kỹ thuật gấp đôi số biến (doubling variables method) trong bối cảnh β-dưới vi phân. Luận án đã mở rộng Mệnh đề 1.5 trong [26] bằng cách cung cấp các ước lượng cụ thể về độ lớn kx − yk ||p|| < Cε và kx − yk ||q|| < Cε (Mệnh đề 1.5 (c), trang 28). Những ước lượng này là tối quan trọng cho việc chứng minh tính duy nhất nghiệm trong không gian Banach với β-dưới vi phân.

    • So với Deville [26]: Công trình của Deville cung cấp nguyên lý biến phân trơn, nhưng luận án này đã tinh chỉnh nó để đưa ra các ước lượng về độ lớn của các đạo hàm nhân với khoảng cách, điều cần thiết cho chứng minh tính duy nhất nghiệm β-nhớt của HJE tổng quát.
    • So với Crandall và Lions [20]: Crandall và Lions sử dụng kỹ thuật gấp đôi số biến nhưng phụ thuộc vào tính chất Radon-Nikodym. Phương pháp của luận án cho phép loại bỏ giả thiết này bằng cách khai thác sâu hơn cấu trúc của β-dưới vi phân và nguyên lý biến phân trơn.
    • So với Borwein [19]: Borwein cũng sử dụng nguyên lý biến phân trơn nhưng trong ngữ cảnh HJE đơn giản hơn (u + H(x, Du) = 0). Luận án mở rộng phương pháp này để xử lý HJE tổng quát hơn (u + H(x, u, Du) = 0) và các lớp hàm nghiệm không bị chặn.

  3. Most surprising finding (với data support): Phát hiện đáng ngạc nhiên nhất là việc có thể chứng minh tính duy nhất nghiệm β-nhớt cho HJE dạng u + H(x, u, Du) = 0 trong các lớp hàm liên tục và bị chặn, cũng như liên tục đều và không bị chặn, mà không cần đến tính chất Radon-Nikodym. Điều này được chỉ ra rõ ràng trong Chương 2 (trang 35, "mà không sử dụng giả thiết Radon-Nikodym"). Tính chất Radon-Nikodym thường được coi là một giả thiết tiêu chuẩn và mạnh mẽ trong việc thiết lập tính duy nhất của nghiệm nhớt trong các không gian Banach [20]. Việc chứng minh rằng có thể đạt được kết quả tương tự mà không có giả thiết này cho thấy sức mạnh và tính linh hoạt của khung β-dưới vi phân được phát triển trong luận án, thách thức một niềm tin đã tồn tại trong cộng đồng nghiên cứu.

  4. Replication protocol provided? Là một nghiên cứu toán học lý thuyết, luận án cung cấp đầy đủ các giao thức tái tạo (replication protocol) thông qua các định nghĩa, định lý, mệnh đề, hệ quả và các chứng minh chi tiết. Bất kỳ nhà toán học nào có kiến thức chuyên môn về giải tích không trơn và phương trình đạo hàm riêng đều có thể tái tạo các kết quả của luận án bằng cách làm theo các lập luận và chứng minh được trình bày. Các giả thiết cho từng định lý (ví dụ: giả thiết (Hβ*), (H0)-(H3) cho hàm Hamilton, chuẩn β-trơn) được nêu rõ ràng, đảm bảo tính minh bạch và khả năng kiểm chứng. Các công trình công bố của tác giả liên quan đến luận án ([1] trong Danh mục công trình khoa học) cũng đóng vai trò là một phần của giao thức tái tạo đã được kiểm duyệt bởi các chuyên gia.

  5. 10-year research agenda outlined? Có, luận án đã phác thảo một chương trình nghiên cứu trong 10 năm tới thông qua phần "Limitations và Future Research" (trang 53). Chương trình này bao gồm các hướng đi cụ thể sau:

    1. Mở rộng sang bài toán Cauchy: Nghiên cứu nghiệm β-nhớt cho HJE Cauchy (ut + H(x, u, Du) = 0).
    2. Hàm Hamilton không liên tục: Phát triển lý thuyết cho HJE với hàm Hamilton không liên tục.
    3. HJE ngẫu nhiên: Mở rộng lý thuyết sang các phương trình Hamilton-Jacobi-Bellman ngẫu nhiên và ứng dụng trong điều khiển tối ưu ngẫu nhiên trong không gian vô hạn chiều.
    4. Ứng dụng thực nghiệm và số: Áp dụng các kết quả lý thuyết vào việc phát triển các thuật toán số để giải quyết các bài toán HJE và điều khiển tối ưu cụ thể.
    5. HJE trên các mạng lưới phức tạp hơn: Nghiên cứu HJE trên các cấu trúc đồ thị phức tạp hơn với các động lực học nâng cao. Các hướng này định rõ các thách thức tiếp theo và cách để tiếp tục mở rộng lý thuyết nghiệm β-nhớt và các ứng dụng của nó.

Kết luận

Luận án này đã tạo ra một dấu ấn quan trọng trong các lĩnh vực giải tích không trơn, phương trình đạo hàm riêng phi tuyến và điều khiển tối ưu thông qua việc nghiên cứu sâu sắc về nghiệm β-nhớt của phương trình Hamilton-Jacobi.

Dưới đây là 5 đóng góp cụ thể của luận án:

  1. Đặc trưng hóa β-dưới vi phân: Luận án đã hệ thống hóa và làm rõ các tính chất của β-dưới vi phân, bao gồm mối quan hệ với các khái niệm khả vi Fréchet, Hadamard yếu, Hadamard, Gâteaux, cung cấp các ví dụ phản chứng cụ thể (Chương 1, trang 17-20), từ đó xây dựng một nền tảng lý thuyết vững chắc cho các khái niệm vi phân yếu.
  2. Mở rộng nguyên lý biến phân trơn: Một phiên bản mở rộng của nguyên lý biến phân trơn đã được chứng minh trên không gian Banach thỏa mãn giả thiết (Hβ*), bao gồm các ước lượng định lượng về kx − yk ||p|| và kx − yk ||q|| (Mệnh đề 1.5 (c), trang 28), điều này đóng vai trò then chốt trong các chứng minh tính duy nhất nghiệm.
  3. Tính duy nhất nghiệm β-nhớt không cần Radon-Nikodym: Luận án đã thành công trong việc chứng minh tính duy nhất nghiệm β-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát u + H(x, u, Du) = 0 trong các lớp hàm liên tục (và bị chặn) và liên tục đều (và không bị chặn) trong không gian Banach có chuẩn tương đương với chuẩn β-trơn, mà không cần sử dụng giả thiết Radon-Nikodym (Chương 2, trang 35), vượt qua các hạn chế của các công trình trước ([19], [20]).
  4. Tồn tại và ổn định nghiệm β-nhớt: Tính ổn định và sự tồn tại của nghiệm β-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát u + H(x, u, Du) = 0 đã được thiết lập một cách chặt chẽ bằng cách áp dụng phương pháp Perron của Ishii, H. [34] (Chương 2, trang 35).
  5. Ứng dụng đột phá trong điều khiển tối ưu trên khớp nối: Luận án đã chứng minh rằng hàm giá trị của bài toán điều khiển tối ưu là nghiệm β-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng, và đã thiết lập các điều kiện cần và đủ cho điều khiển tối ưu trong không gian vô hạn chiều. Đặc biệt, nó đã xử lý thành công bài toán điều khiển tối ưu trên khớp nối với hàm chi phí không bị chặn (với độ tăng trưởng hàm mũ hoặc đa thức), một sự mở rộng đáng kể so với các nghiên cứu trước ([4], [35]), thể hiện qua giả thiết (H2) hoặc (H2)* (trang 11).

Luận án đã đóng góp vào một paradigm advancement bằng cách dịch chuyển trọng tâm trong nghiên cứu nghiệm nhớt từ việc dựa vào các giả thiết mạnh (như tính chất Radon-Nikodym hoặc tính trơn Fréchet) sang việc khai thác các khái niệm vi phân yếu hơn và các kỹ thuật chứng minh tinh vi hơn. Bằng chứng cho sự tiến bộ này là khả năng thiết lập các kết quả mạnh mẽ (tính duy nhất, tồn tại) trong các ngữ cảnh toán học tổng quát hơn mà trước đây chưa được khám phá.

Luận án đã mở ra 3+ luồng nghiên cứu mới tiềm năng:

  1. HJE phi tuyến tổng quát trong các không gian phức tạp: Nghiên cứu các phương trình Hamilton-Jacobi-Bellman cho các hệ thống động lực học phức tạp hơn trong các không gian Banach tổng quát, đặc biệt là bài toán Cauchy và các HJE với hàm Hamilton không liên tục.
  2. Điều khiển tối ưu trên mạng lưới với động lực học phức tạp: Mở rộng nghiên cứu về điều khiển tối ưu trên các khớp nối sang các cấu trúc mạng lưới động, ngẫu nhiên hoặc có các yếu tố nhiễu loạn.
  3. Lý thuyết nghiệm yếu cho các hệ thống ngẫu nhiên: Phát triển các công cụ nghiệm β-nhớt để phân tích HJE ngẫu nhiên và bài toán điều khiển tối ưu ngẫu nhiên, mở rộng ứng dụng của lý thuyết này vào các mô hình tài chính và kỹ thuật stochastics.

Với những đóng góp này, luận án có liên quan toàn cầu bằng cách cung cấp các công cụ toán học mạnh mẽ và linh hoạt hơn cho cộng đồng nghiên cứu quốc tế. Khả năng áp dụng của các kết quả này không chỉ giới hạn trong toán học lý thuyết mà còn mở rộng sang các lĩnh vực như tài chính định lượng, kỹ thuật điều khiển và vật lý, nơi các HJE xuất hiện phổ biến. Di sản của luận án được đo lường bằng việc nó củng cố nền tảng cho lý thuyết nghiệm nhớt, nới rộng phạm vi ứng dụng của nó và mở đường cho các nghiên cứu tương lai trong việc giải quyết các bài toán khoa học và kỹ thuật ngày càng phức tạp.