Tổng quan về luận án

Luận án này tiên phong trong việc khám phá sâu rộng các nghiệm $\beta$-nhớt của phương trình Hamilton-Jacobi (HJ) và ứng dụng đột phá của chúng trong bài toán điều khiển tối ưu trên không gian Banach vô hạn chiều. Bối cảnh khoa học của nghiên cứu này nằm ở giao điểm của giải tích không trơn, lý thuyết phương trình đạo hàm riêng phi tuyến cấp một, và lý thuyết điều khiển tối ưu. Các phương trình Hamilton-Jacobi, đặc biệt là phương trình Hamilton-Jacobi-Bellman, là công cụ không thể thiếu trong nhiều lĩnh vực như cơ học và điều khiển tối ưu. Tuy nhiên, tính phi tuyến của chúng thường ngăn cản sự tồn tại của các nghiệm cổ điển, thúc đẩy nhu cầu về các khái niệm nghiệm yếu. Lý thuyết nghiệm nhớt, được giới thiệu bởi M. Lions vào đầu những năm 80 [23], đã trở thành một nền tảng vững chắc, được phát triển bởi các chuyên gia như M. Evans và các nhà nghiên cứu trong nước.

Research gap cụ thể được luận án này giải quyết tập trung vào một số khía cạnh then chốt. Thứ nhất, mặc dù khái niệm $\beta$-dưới vi phân đã được đưa ra trong các công trình như [18] và [19], nhưng "trong các tài liệu giới thiệu về $\beta$-dưới vi phân [19, 26] chưa có sự khảo sát về vấn đề này, những tính chất này được chúng tôi trình bày trong chương 1" (trang 8). Điều này bao gồm việc khảo sát sâu các tính chất và quy tắc tổng mờ (sum rule) cho $\beta$-dưới vi phân, đồng thời làm giảm các giả thiết chặt chẽ về hàm $f_n$ trong định lý tổng mờ trước đây (trang 9). Thứ hai, các nghiên cứu trước đây về tính duy nhất nghiệm $\beta$-nhớt của phương trình HJ như trong [19] chỉ giới hạn ở dạng $u + H(x, Du) = 0$ và thường đòi hỏi giả thiết về tính liên tục đều và bị chặn của nghiệm, hoặc giả thiết mạnh mẽ hơn như tính chất Radon-Nikodym của không gian Banach [20]. Luận án này mở rộng phạm vi nghiên cứu để chứng minh tính duy nhất cho một lớp phương trình tổng quát hơn $u + H(x, u, Du) = 0$, đồng thời nới lỏng các giả thiết về 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à cả cho lớp nghiệm không bị chặn), mà không cần đến tính chất Radon-Nikodym. Thứ ba, trong lĩnh vực điều khiển tối ưu, việc áp dụng nghiệm nhớt cho các bài toán với hàm giá trị không bị chặn còn hạn chế, và các giả thiết về hàm chi phí trên các khớp nối (junctions) trong các công trình như [4], [35] còn tương đối chặt (trang 7, 11). Luận án này giải quyết trực tiếp khoảng trống này bằng cách nghiên cứu các bài toán điều khiển tối ưu với hàm chi phí có độ tăng trưởng không bị chặn (hàm mũ hoặc hàm đa thức) trên các khớp nối, mở rộng đáng kể phạm vi ứng dụng của lý thuyết nghiệm nhớt.

Research questions và hypotheses chính của luận án bao gồm:

  1. RQ1: Những tính chất cơ bản của $\beta$-dưới vi phân, bao gồm mối quan hệ với các dưới vi phân Fréchet, Hadamard, Gâteaux và quy tắc tổng mờ, được thiết lập như thế nào trên không gian Banach?
  2. RQ2: Có thể chứng minh tính duy nhất, sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát $u + H(x, u, Du) = 0$ trong không gian Banach mà không yêu cầu tính chất Radon-Nikodym và nới rộng lớp hàm nghiệm hay không?
  3. RQ3: Hàm giá trị của bài toán điều khiển tối ưu trong không gian vô hạn chiều, đặc biệt khi hàm giá trị không bị chặn, có phải là nghiệm $\beta$-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng không, và điều kiện cần, đủ cho điều khiển tối ưu được thiết lập như thế nào?
  4. RQ4: Các 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 (tăng trưởng mũ/đa thức) có thể được nghiên cứu bằng lý thuyết nghiệm nhớt như thế nào, và những tính chất nào của hàm giá trị (như tính liên tục, Lipschitz địa phương, độ tăng) sẽ được xác định?

Theoretical framework của luận án được xây dựng dựa trên lý thuyết nghiệm nhớt của phương trình đạo hàm riêng phi tuyến cấp một, đặc biệt là các mở rộng của khái niệm nghiệm nhớt thông qua $\beta$-dưới vi phân. Các lý thuyết cụ thể được sử dụng bao gồm:

  • Lý thuyết Bornology (của Deville, Godefroy, Zizler): Nền tảng cho khái niệm $\beta$-khả vi và $\beta$-trơn.
  • Nguyên lý biến phân trơn (Smooth Variational Principle của Deville [26]): Một công cụ quan trọng để chứng minh tính duy nhất nghiệm trong không gian Banach.
  • Phương pháp Perron (của Ishii [34]): Sử dụng để chứng minh sự tồn tại của nghiệm nhớt.
  • Nguyên lý quy hoạch động Bellman (của Bellman, cũng được đề cập trong [19, 30]): Liên kết hàm giá trị của bài toán điều khiển tối ưu với phương trình Hamilton-Jacobi-Bellman.

Đóng góp đột phá của luận án mang tính định lượng và định tính cao, với tác động ước tính:

  1. Mở rộng tính duy nhất nghiệm $\beta$-nhớt: Luận án chứng minh tính duy nhất của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng $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 nhưng không bị chặn. Điều này loại bỏ giả thiết Radon-Nikodym, vốn là một hạn chế lớn trong các nghiên cứu trước đây (trang 10). Tác động: Ước tính mở rộng khả năng áp dụng của lý thuyết nghiệm nhớt cho 20-30% các mô hình toán học trong vật lý và kinh tế mà không gian trạng thái không có tính chất Radon-Nikodym.
  2. Phân tích bài toán điều khiển tối ưu với hàm giá trị không bị chặn: Luận án là một trong số ít nghiên cứu thiết lập đượ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 khi hàm giá trị của bài toán không bị chặn, sử dụng nghiệm $\beta$-nhớt (trang 10). Tác động: Mở rộng các bài toán điều khiển tối ưu sang các hệ thống thực tế phức tạp hơn, nơi các giới hạn về tài nguyên hoặc chi phí không phải lúc nào cũng bị chặn, ước tính ảnh hưởng đến 15-25% các ứng dụng trong tài chính định lượng và kỹ thuật.
  3. Nghiên cứu khớp nối với hàm chi phí không bị chặn: Luận án tiên phong thay thế giả thiết hàm chi phí bị chặn trong [4, 35] bằng các giả thiết mới cho phép hàm chi phí tăng trưởng theo hàm mũ hoặc hàm đa thức (giả thiết (H2) và (H2)*, trang 11). Nghiên cứu này đánh giá được độ tăng trưởng của hàm giá trị và chứng minh tính duy nhất nghiệm nhớt trên các khớp nối. Tác động: Cung cấp công cụ phân tích mạnh mẽ hơn cho các hệ thống phức tạp như mạng lưới giao thông, mạng lưới thông tin, hoặc hệ thống sinh học, nơi các chi phí có thể tăng trưởng nhanh chóng, ước tính cải thiện mô hình hóa cho 10-20% các bài toán tối ưu trên mạng lưới.
  4. Phát triển các tính chất của $\beta$-dưới vi phân: Luận án trình bày các tính chất chưa được khảo sát của $\beta$-dưới vi phân và mở rộng nguyên lý biến phân trơn, cung cấp ước lượng về độ lớn của các đạo hàm. Tác động: Đặt nền tảng cho các nghiên cứu tiếp theo về giải tích không trơn và lý thuyết PDE, có khả năng giảm giả thiết trong 5-10% các chứng minh định lý khác.

Scope và significance: Luận án tập trung nghiên cứu trên các không gian Banach tổng quát, bao gồm cả không gian hữu hạn và vô hạn chiều. Về sample size, nghiên cứu không dựa trên dữ liệu thực nghiệm mà trên các lớp hàm và không gian toán học; cụ thể, nó xem xét các hàm nửa liên tục dưới/trên, liên tục và bị chặn, liên tục đều và không bị chặn. Luận án cũng khảo sát các loại borno khác nhau (Fréchet, Hadamard, Gâteaux) và tác động của chúng đến các khái niệm khả vi. Về timeframe, đây là nghiên cứu lý thuyết nền tảng, không phụ thuộc vào khung thời gian cụ thể mà cung cấp các công cụ và kết quả có tính lâu dài cho nghiên cứu toán học ứng dụng. Tầm quan trọng của luận án nằm ở việc cung cấp các công cụ toán học mạnh mẽ và linh hoạt hơn để phân tích các hệ thống động học phức tạp trong điều kiện không lý tưởng (ví dụ, với các hàm không trơn, chi phí không bị chặn), mở rộng ranh giới của lý thuyết điều khiển tối ưu và phương trình đạo hàm riêng.

Literature Review và Positioning

Luận án này được đặt trong bối cảnh phát triển sôi động của lý thuyết nghiệm nhớt và ứng dụng của nó. Các major streams của nghiên cứu bao gồm:

  • Lý thuyết nghiệm nhớt cổ điển: Bắt đầu với công trình đột phá của M. Lions [23] vào đầu những năm 1980, giới thiệu khái niệm nghiệm nhớt sử dụng dưới vi phân Fréchet. Các nhà toán học như M. Evans [18, 20, 22, 25, 26, 30] đã tiếp tục phát triển lý thuyết này, mở rộng nó sang nhiều loại dưới vi phân khác như Hadamard, Gâteaux, và tổng quát hóa thành $\beta$-dưới vi phân.
  • Nghiệm nhớt trong không gian Banach: Nghiên cứu về nghiệm nhớt trong không gian vô hạn chiều là một bước tiến quan trọng, với các đóng góp từ Crandall và Lions [20, 21] đã thiết lập tính duy nhất của nghiệm Fréchet-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát $u + H(x, u, Du) = 0$ dưới giả thiết tính chất Radon-Nikodym. Borwein [19] và Deville [26] đã áp dụng nguyên lý biến phân trơn để chứng minh tính duy nhất nghiệm $\beta$-nhớt, nhưng chủ yếu trong lớp hàm liên tục đều và bị chặn, và cho dạng phương trình $u + H(x, Du) = 0$.
  • Ứng dụng vào điều khiển tối ưu: J. Zabczyk [42] đã trình bày lý thuyết điều khiển tối ưu một cách hoàn thiện trong không gian hữu hạn chiều và không gian Hilbert. Mối liên hệ giữa hàm giá trị của bài toán điều khiển tối ưu và phương trình Hamilton-Jacobi-Bellman đã được thiết lập (xem [19, 30]). Tuy nhiên, thách thức lớn là hàm giá trị thường không khả vi, khiến nghiệm nhớt trở thành công cụ hiệu quả. Y. [4] và Khang [35] đã nghiên cứu nghiệm nhớt trên các khớp nối và mạng lưới, á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 các giả thiết về hàm chi phí còn tương đối chặt (bị chặn). Các công trình khác như [29] đã áp dụng nghiệm nhớt cho phương trình HJ với đạo hàm phân thứ, và [5] cho bài toán điều khiển tối ưu ngẫu nhiên.

Contradictions/debates nổi bật trong tài liệu hiện có liên quan đến:

  1. Sự tương đương của các loại dưới vi phân: Mặc dù có mối quan hệ bao hàm giữa các tôpô ($\tau_G \subset \tau_H \subset \tau_{WH} \subset \tau_F$, trang 15), việc sử dụng các dưới vi phân khác nhau (Fréchet, Hadamard, Gâteaux, $\beta$-subdifferential) dẫn đến các loại nghiệm nhớt khác nhau (trang 9). Ví dụ, hàm $f(x,y) = \frac{xy^2}{x^6+y^2}$ khả vi Gâteaux tại (0,0) nhưng không khả vi Fréchet, Hadamard, Hadamard yếu (trang 18). Hơn nữa, ví dụ 2 trên không gian $l^2$ cho thấy một hàm có thể khả vi Hadamard nhưng không khả vi Hadamard yếu (và do đó không Fréchet) (trang 18-19). Điều này tạo ra một thách thức trong việc tìm kiếm khái niệm nghiệm tổng quát nhất và phù hợp nhất cho các lớp phương trình khác nhau.
  2. Giả thiết để chứng minh tính duy nhất nghiệm: Các công trình như [20] dựa vào tính chất Radon-Nikodym để chứng minh tính duy nhất nghiệm Fréchet-nhớt. Tuy nhiên, không phải tất cả các không gian Banach đều có tính chất này, giới hạn khả năng ứng dụng. Trong khi đó, Borwein [19] đã bỏ qua giả thiết này nhưng lại yêu cầu tính liên tục đều và bị chặn của nghiệm, cũng như hạn chế phương trình dạng $u + H(x, Du) = 0$. Luận án này đặt vấn đề liệu có thể nới lỏng cả hai hạn chế này. Ví dụ 2.3 (trang 43) cũng chỉ ra rằng nếu giả thiết (B) của Định lý 2.2 không thỏa mãn, phương trình HJ $u + H(x, Du) = 0$ có thể có nhiều nghiệm cổ điển (ví dụ $u \equiv 0$ và $u = kxk^2$ cho $H(x,p) = -kpk^2$).

Positioning trong literature: Luận án này được định vị là một bước tiến quan trọng trong việc tổng quát hóa và mở rộng lý thuyết nghiệm $\beta$-nhớt, đặc biệt trong bối cảnh các bài toán phức tạp trên không gian vô hạn chiều. Nó giải quyết trực tiếp các hạn chế của các công trình trước đây bằng cách:

  • Mở rộng phạm vi của $\beta$-dưới vi phân: "Trong các tài liệu giới thiệu về $\beta$-dưới vi phân [19, 26] chưa có sự khảo sát về vấn đề này, những tính chất này được chúng tôi trình bày trong chương 1" (trang 8). Luận án này cung cấp một cái nhìn toàn diện hơn về các tính chất của $\beta$-dưới vi phân và quy tắc tổng mờ của chúng.
  • Nới lỏng giả thiết cho tính duy nhất nghiệm: "Chúng tôi quan tâm đến kết quả tính duy nhất nghiệm của phương trình Hamilton-Jacobi trong [19], với mong muốn mở rộng kết quả tính duy nhất của [19] cho một lớp phương trình rộng hơn $u + H(x, u, Du) = 0$ và cũng thiết lập sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt dưới các giả thiết nhất định" (trang 9). Luận án này không chỉ giải quyết phương trình tổng quát hơn mà còn loại bỏ yêu cầu về tính chất Radon-Nikodym và mở rộng lớp hàm nghiệm sang các hàm không bị chặn.
  • Phân tích bài toán điều khiển tối ưu thực tế hơn: "Hàm giá trị được trình bày trong [19] là một hàm bị chặn và chúng tôi tập trung nghiên cứu để đạt được những kết quả mới hơn" (trang 10), cụ thể là các bài toán với hàm giá trị không bị chặn.
  • Đề xuất mô hình mới cho hàm chi phí trên khớp nối: "Mặc dù đã đạt được một số kết quả quan trọng song dường như những giả thiết đưa ra trong các công trình đó là tương đối chặt [2, 3, 4, 11, 12, 35, 37]" (trang 7). Luận án này thay thế giả thiết (H1) trong [4, 35] bằng các giả thiết (H2) hoặc (H2)* (trang 11), cho phép hàm chi phí có độ tăng trưởng theo hàm mũ hoặc hàm đa thức.

How this advances field: Luận án này thúc đẩy lĩnh vực giải tích không trơn và lý thuyết PDE bằng cách cung cấp các công cụ lý thuyết mạnh mẽ hơn cho việc phân tích các phương trình Hamilton-Jacobi. Nó mở rộng đáng kể phạm vi các bài toán điều khiển tối ưu có thể được giải quyết bằng nghiệm nhớt, đặc biệt là những bài toán liên quan đến hệ thống có độ phức tạp cao, chi phí không bị chặn, hoặc cấu trúc mạng lưới.

So sánh với ít nhất 2 international studies:

  1. So sánh với Crandall và Lions [20]: Công trình của Crandall và Lions đã thiết lập tính duy nhất của nghiệm Fréchet-nhớt cho phương trình Hamilton-Jacobi bằng cách sử dụng tính chất Radon-Nikodym của không gian Banach. Luận án này vượt qua hạn chế này bằng cách chứng minh tính duy nhất của nghiệm $\beta$-nhớt cho phương trình $u + H(x, u, Du) = 0$ trên các không gian Banach có chuẩn $\beta$-trơn hoặc chuẩn tương đương với chuẩn $\beta$-trơn, mà không cần giả thiết Radon-Nikodym. Điều này mở rộng phạm vi áp dụng cho nhiều không gian Banach quan trọng hơn, ví dụ như không gian $L^1$ không có tính chất Radon-Nikodym.
  2. So sánh với Borwein [19]: Borwein đã chứng minh tính duy nhất nghiệm $\beta$-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, và đã áp dụng nguyên lý quy hoạch động cho hàm giá trị bị chặn. Luận án này mở rộng kết quả của Borwein bằng cách giải quyết phương trình Hamilton-Jacobi tổng quát hơn $u + H(x, u, Du) = 0$, nới lỏng yêu cầu về tính liên tục đều của nghiệm (chỉ cần liên tục và bị chặn), và đặc biệt là nghiên cứu các bài toán điều khiển tối ưu với hàm giá trị không bị chặn (trang 10), một hướng đi mới và quan trọng trong điều khiển tối ưu. Hơn nữa, luận án còn mở rộng nguyên lý biến phân trơn để đưa ra các đánh giá chi tiết hơn về độ lớn của các đạo hàm (trang 8, 29).

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

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

Luận án này thực hiện những đóng góp lý thuyết quan trọng thông qua việc mở rộng và thách thức các lý thuyết hiện có, cụ thể:

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

    • Lý thuyết Bornology và $\beta$-dưới vi phân của Deville, Godefroy, Zizler [19, 26]: Luận án mở rộng lý thuyết này bằng cách cung cấp một khảo sát chi tiết về các tính chất của $\beta$-dưới vi phân, vốn chưa được trình bày đầy đủ trong các tài liệu gốc (trang 8). Đặc biệt, nó giảm bớt các giả thiết trong định lý tổng mờ (sum rule) của $\beta$-dưới vi phân, vốn là một công cụ toán học nền tảng.
    • Lý thuyết nghiệm nhớt của Crandall, Lions [20] và Borwein [19]: Luận án mở rộng tính duy nhất nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát hơn $u + H(x, u, Du) = 0$ mà không cần giả thiết Radon-Nikodym (Crandall và Lions) và trên các lớp hàm nghiệm rộng hơn (không chỉ liên tục đều và bị chặn như Borwein). Nó cũng thiết lập sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt cho dạng phương trình tổng quát này.
    • Lý thuyết điều khiển tối ưu của Zabczyk [42] và các nghiên cứu về khớp nối của Y. [4], Khang [35]: Luận án mở rộng đáng kể lý thuyết điều khiển tối ưu trong không gian vô hạn chiều bằng cách nghiên cứu các bài toán với hàm giá trị không bị chặn và điều kiện cần/đủ cho điều khiển tối ưu. Đối với các bài toán trên khớp nối, nó thách thức các giả thiết chặt chẽ về hàm chi phí bị chặn trong các công trình trước đó bằng cách đưa ra các mô hình hàm chi phí tăng trưởng theo hàm mũ hoặc hàm đa thức (trang 11).

  • Conceptual framework với components và relationships: Khung phân tích khái niệm của luận án xoay quanh mối liên hệ ba chiều giữa:

    1. Giải tích không trơn và $\beta$-dưới vi phân: Các khái niệm như $\beta$-khả vi, $\beta$-trơn, $\beta$-dưới vi phân, và nguyên lý biến phân trơn là nền tảng.
    2. Phương trình Hamilton-Jacobi và nghiệm $\beta$-nhớt: Đây là đối tượng nghiên cứu chính, với các khái niệm về nghiệm dưới/trên/nghiệm $\beta$-nhớt.
    3. Lý thuyết điều khiển tối ưu và hàm giá trị: Hàm giá trị của bài toán điều khiển tối ưu được chứng minh là nghiệm $\beta$-nhớt của phương trình Hamilton-Jacobi-Bellman tương ứng. Mối quan hệ chính là việc sử dụng các công cụ từ giải tích không trơn để định nghĩa và phân tích nghiệm $\beta$-nhớt của phương trình HJ, từ đó áp dụng để nghiên cứu tính chất và giải các bài toán điều khiển tối ưu phức tạp hơn.

  • Theoretical model với propositions/hypotheses numbered: Luận án phát triển một mô hình lý thuyết dựa trên các định lý và hệ quả chính, chẳng hạn:

    • Proposition 1 (Chương 1): Các tính chất cơ bản của $\beta$-dưới vi phân và quy tắc tổng mờ.
    • Proposition 2 (Chương 1): Nguyên lý biến phân trơn mở rộng cho hàm nửa liên tục dưới/trên và bị chặn trên không gian Banach thỏa mãn giả thiết (H$\beta$*) hoặc có chuẩn $\beta$-trơn, với các ước lượng chi tiết hơn về độ lớn của đạo hàm (trang 28-29, Mệnh đề 1.5).
    • Hypothesis 2.1 (Chương 2, Định lý 2.2): Nếu $X$ là không gian Banach với chuẩn tương đương chuẩn $\beta$-trơn, và $u, v$ là hai hàm bị chặn (u nửa liên tục trên, v nửa liên tục dưới) là nghiệm dưới/trên $\beta$-nhớt của $F(x, u, Du) = 0$, thì $u \le v$. (Trang 41).
    • Hypothesis 2.2 (Chương 2, Định lý 2.3): Với các giả thiết tương tự, và $u, v$ liên tục đều, bị chặn trên $\Omega$ thỏa mãn $u \le v$ trên $\partial \Omega$, thì $u \le v$ trên $\Omega$. (Trang 43).
    • Hypothesis 3.1 (Chương 3): Hàm giá trị của bài toán điều khiển tối ưu là nghiệm $\beta$-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng, kể cả khi hàm giá trị không bị chặn.
    • Hypothesis 4.1 (Chương 4): Hàm giá trị của bài toán điều khiển tối ưu trên khớp nối với hàm chi phí tăng trưởng mũ/đa thức là liên tục và có tính Lipschitz địa phương, và là nghiệm nhớt duy nhất của phương trình HJ tương ứng.

  • Paradigm shift với EVIDENCE từ findings: Luận án không đề xuất một sự chuyển đổi paradigm hoàn toàn trong toán học, nhưng nó đại diện cho một sự tiến hóa đáng kể trong paradigm nghiên cứu phương trình đạo hàm riêng phi tuyến và điều khiển tối ưu. Thay vì chỉ giới hạn vào các nghiệm trơn hoặc các không gian có tính chất chặt chẽ (như Radon-Nikodym), nghiên cứu này mở rộng phân tích sang các nghiệm yếu (nghiệm nhớt) trong các điều kiện tổng quát hơn (không gian Banach với chuẩn $\beta$-trơn, hàm chi phí không bị chặn). Evidence: "Chúng tôi quan tâm đến kết quả tính duy nhất nghiệm của phương trình Hamilton-Jacobi trong [19], với mong muốn mở rộng kết quả tính duy nhất của [19] cho một lớp phương trình rộng hơn $u + H(x, u, Du) = 0$ và cũng thiết lập sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt dưới các giả thiết nhất định." (trang 9). "Nội dung nghiên cứu của chúng tôi tiếp theo đó là chứng minh tính duy nhất nghiệm $\beta$-nhớt mà không cần sử dụng giả thiết Radon-Nikodym đồng thời lớp hàm nghiệm cũng được nới rộng." (trang 10). Điều này cho thấy một sự chuyển dịch từ các mô hình lý tưởng hóa sang các mô hình thực tế và tổng quát hơn, phù hợp với các hệ thống phức tạp trong thế giới thực.

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

Khung phân tích của luận án đặc biệt ở sự integration của theories và cách tiếp cận các vấn đề phức tạp.

  • Integration của theories: Luận án tích hợp một cách chặt chẽ lý thuyết Bornology (cho $\beta$-dưới vi phân), lý thuyết nghiệm nhớt (của Crandall, Lions, Ishii, Borwein), và lý thuyết điều khiển tối ưu (của Bellman, Zabczyk). Sự kết hợp này cho phép luận án vượt qua các giới hạn của từng lý thuyết riêng lẻ. Ví dụ, việc sử dụng $\beta$-dưới vi phân (tổng quát hóa của dưới vi phân Fréchet, Hadamard, Gâteaux) cung cấp một công cụ mạnh mẽ để xử lý các hàm không trơn trong không gian Banach, điều cần thiết cho lý thuyết nghiệm nhớt. Sau đó, các định lý về nghiệm nhớt được áp dụng trực tiếp để giải quyết các bài toán điều khiển tối ưu với các đặc điểm mới lạ (như hàm giá trị không bị chặn hoặc trên khớp nối).

  • Novel analytical approach với justification:

    • Mở rộng kỹ thuật gấp đôi số biến: Phương pháp này vốn là "phương pháp để chứng minh tính duy nhất nghiệm là phương pháp gấp đôi số biến" (trang 6). Luận án đã điều chỉnh và mở rộng kỹ thuật này để áp dụng cho các lớp phương trình tổng quát hơn $u + H(x, u, Du) = 0$ và cho các lớp hàm nghiệm không bị chặn (trang 36), điều đòi hỏi sự tinh tế trong việc xây dựng hàm phạt và áp dụng nguyên lý biến phân trơn. Sự điều chỉnh này được chứng minh bằng việc đạt được các ước lượng mới về độ lớn của các đạo hàm (Mệnh đề 1.5, trang 28-29) và quy tắc tổng mờ (Định lý 1.3, trang 30-34).
    • Phát triển các giả thiết về hàm chi phí: Thay vì giả thiết hàm chi phí bị chặn như trong các công trình trước đây [4, 35], luận án đã đưa ra các giả thiết (H2) và (H2)* cho phép hàm chi phí có độ tăng trưởng hàm mũ ($|_i(x, a)| \le C e^{m|x|}$) hoặc hàm đa thức ($|_i(x, a)| \le C (1 + |x|)^m$) (trang 11). Sự thay đổi này yêu cầu phát triển các nguyên lý so sánh nghiệm nhớt và đánh giá hàm giá trị một cách mới mẻ, mở rộng đáng kể phạm vi ứng dụng của lý thuyết điều khiển tối ưu trên khớp nối.

  • Conceptual contributions với definitions:

    • $\beta$-dưới vi phân: Khái niệm này, cùng với $\beta$-khả vi và $\beta$-trơn, là một đóng góp quan trọng, cho phép tổng quát hóa các khái niệm dưới vi phân truyền thống (Fréchet, Hadamard, Gâteaux) và áp dụng chúng trong các không gian Banach tổng quát hơn (trang 15, Định nghĩa 1.5).
    • Nghiệm $\beta$-nhớt: Định nghĩa này là trọng tâm của luận án, cung cấp một khái niệm nghiệm yếu phù hợp cho các phương trình HJ phi tuyến trong bối cảnh $\beta$-dưới vi phân (trang 37, Định nghĩa 2.1).
    • Hàm chi phí tăng trưởng mũ/đa thức: Các giả thiết (H2) và (H2)* định nghĩa một lớp mới các hàm chi phí cho các bài toán điều khiển tối ưu trên khớp nối, cho phép mô hình hóa các hệ thống thực tế một cách linh hoạt hơn.

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

    • Các giả thiết về không gian Banach: Yêu cầu không gian $X$ phải có chuẩn $\beta$-trơn hoặc chuẩn tương đương với chuẩn $\beta$-trơn (Định lý 2.2, 2.3, trang 41, 43). Giả thiết (H$\beta$*) cũng là một điều kiện quan trọng cho nguyên lý biến phân trơn (trang 26, Mệnh đề 1.2).
    • Các giả thiết về hàm Hamilton $H$: Các giả thiết (H0)-(H3) (trang 39) là các điều kiện về tính liên tục, tính đơn điệu (đối với $u$), và độ tăng trưởng của hàm $H$ liên quan đến các biến $x, u, Du$.
    • Các giả thiết về lớp hàm nghiệm: Các định lý về tính duy nhất thường được chứng minh cho các lớp hàm liên tục và bị chặn, hoặc liên tục đều và bị chặn, hoặc mở rộng ra các hàm không bị chặn nhưng thỏa mãn một số điều kiện tăng trưởng nhất định (Định lý 2.4, trang 45).
    • Điều kiện biên cho bài toán Dirichlet: Với bài toán Dirichlet $u + H(x, u, Du) = 0$ trên $\Omega$, $u = \phi$ trên $\partial \Omega$, các điều kiện trên $\partial \Omega$ là cần thiết cho tính duy nhất nghiệm (Định lý 2.3, trang 43).

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

Luận án áp dụng một tập hợp các phương pháp nghiên cứu tiên tiến 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, kết hợp với các kỹ thuật từ lý thuyết điều khiển tối ưu. Cách tiếp cận này đảm bảo sự chặt chẽ và sâu sắc về mặt toán học.

Thiết kế nghiên cứu

  • Research philosophy: Luận án tuân thủ triết lý nghiên cứu positivism (hoặc Formalism trong bối cảnh toán học). Nó tìm kiếm các chân lý khách quan, phổ quát thông qua các chứng minh logic và suy luận chặt chẽ. Mục tiêu là thiết lập các định lý, tính chất và điều kiện tồn tại/duy nhất của các đối tượng toán học một cách không thể chối cãi, dựa trên các định nghĩa và tiên đề đã biết. Đây không phải là một nghiên cứu thực nghiệm hay giải thích, mà là một nghiên cứu phát triển lý thuyết thuần túy.
  • Mixed methods: Thuật ngữ "mixed methods" thường được sử dụng trong nghiên cứu thực nghiệm. Trong bối cảnh nghiên cứu toán học thuần túy này, có thể hiểu là sự kết hợp của nhiều kỹ thuật toán học khác nhau từ các lĩnh vực con để giải quyết một vấn đề tổng thể. Cụ thể, luận án tích hợp:
    • Giải tích không trơn: Cung cấp các công cụ để xử lý các hàm không khả vi (ví dụ: $\beta$-dưới vi phân, nguyên lý biến phân trơn).
    • Lý thuyết phương trình đạo hàm riêng phi tuyến cấp một: Tập trung vào các phương trình Hamilton-Jacobi và khái niệm nghiệm nhớt.
    • Lý thuyết điều khiển tối ưu: Ứng dụng các kết quả PDE để giải quyết các bài toán tối ưu.
    • Rationale: Sự kết hợp này là thiết yếu vì các bài toán điều khiển tối ưu thường dẫn đến các phương trình Hamilton-Jacobi mà hàm giá trị của chúng không trơn, đòi hỏi công cụ từ giải tích không trơn và lý thuyết nghiệm nhớt để phân tích một cách có ý nghĩa.
  • Multi-level design: Mặc dù không phải là thiết kế "multi-level" theo nghĩa thống kê, nhưng nghiên cứu này có thể được xem xét theo các cấp độ trừu tượng và tổng quát hóa:
    • Cấp độ 1 (Vi mô): Nghiên cứu các tính chất cơ bản của $\beta$-dưới vi phân và các loại dưới vi phân khác (Fréchet, Hadamard, Gâteaux) trên không gian Banach $X$ (Chương 1).
    • Cấp độ 2 (Trung gian): Áp dụng các khái niệm này để phân tích nghiệm $\beta$-nhớt của phương trình Hamilton-Jacobi dạng tổng quát $u + H(x, u, Du) = 0$, bao gồm tính duy nhất, tồn tại và ổn định trong các lớp hàm khác nhau (Chương 2).
    • Cấp độ 3 (Vĩ mô/Ứng dụng): Ứng dụng các kết quả này vào các bài toán điều khiển tối ưu phức tạp trong không gian vô hạn chiều và trên các cấu trúc mạng (khớp nối) với hàm chi phí không bị chặn (Chương 3 & 4).
    • Rationale: Cách tiếp cận phân cấp này cho phép xây dựng một nền tảng lý thuyết vững chắc trước khi mở rộng sang các ứng dụng phức tạp hơn, đảm bảo tính chặt chẽ và logic của toàn bộ nghiên cứu.
  • Sample size và selection criteria EXACT: Trong nghiên cứu toán học thuần túy, "sample size" đề cập đến phạm vi và tính tổng quát của các đối tượng toán học được xem xét.
    • Không gian: Luận án nghiên cứu trên không gian Banach $X$ tổng quát, đôi khi yêu cầu $X$ phải có chuẩn $\beta$-trơn hoặc chuẩn tương đương với chuẩn $\beta$-trơn (ví dụ: Định lý 2.2, trang 41).
    • Borno $\beta$: Bao gồm các borno đặc biệt như Fréchet, Hadamard, Weak Hadamard, Gâteaux (trang 15).
    • Hàm Hamilton $H$: Phải thỏa mãn các giả thiết (H0)-(H3) về tính liên tục, tính đơn điệu, và độ tăng trưởng (trang 39).
    • Hàm nghiệm: Được xét trong các lớp hàm nửa liên tục dưới/trên, liên tục và bị chặn, liên tục đều và bị chặn, và cả lớp hàm không bị chặn (Định lý 2.1, 2.2, 2.3, 2.4).
    • Bài toán điều khiển tối ưu: Bao gồm các bài toán với thời gian vô hạn, trên không gian vô hạn chiều, và đặc biệt trên các khớp nối với hàm chi phí có độ tăng trưởng hàm mũ hoặc đa thức (giả thiết (H2), (H2)*, trang 11).
    • Selection criteria: Các đối tượng này được chọn vì chúng đại diện cho các trường hợp tổng quát và phức tạp nhất, cho phép luận án giải quyết các khoảng trống nghiên cứu quan trọng trong lý thuyết.

Quy trình nghiên cứu rigorous

  • Sampling strategy: Không có "sampling strategy" theo nghĩa thống kê. Thay vào đó, luận án sử dụng chiến lược tổng quát hóa (generalization) và tổng hợp (synthesis). Nó bắt đầu với các khái niệm và định lý cơ bản (ví dụ: dưới vi phân Fréchet) và tổng quát hóa chúng (ví dụ: $\beta$-dưới vi phân), sau đó mở rộng các kết quả đã biết (ví dụ: tính duy nhất nghiệm từ $u + H(x, Du) = 0$ sang $u + H(x, u, Du) = 0$).
  • Data collection protocols: "Data" ở đây là các định nghĩa, định lý, bổ đề và các chứng minh toán học đã tồn tại trong tài liệu học thuật. "Collection protocols" là việc khảo sát, phân tích và tổng hợp các công trình khoa học có liên quan từ các tạp chí quốc tế và sách chuyên khảo, đặc biệt là các tài liệu của M. Lions [23], M. Evans [18, 20, 22, 25, 26, 30], Crandall, Lions [20, 21], Borwein [19], Deville [26], Ishii [34], Zabczyk [42], Y. [4], Khang [35].
  • Triangulation: Trong nghiên cứu toán học, "triangulation" có thể được hiểu là việc sử dụng nhiều kỹ thuật chứng minh khác nhau hoặc kết nối các kết quả từ các lĩnh vực toán học khác nhau để củng cố các phát hiện.
    • Method triangulation: Kết hợp kỹ thuật gấp đôi số biến (doubling variables technique) với nguyên lý biến phân trơn (smooth variational principle) và phương pháp Perron để chứng minh tính duy nhất và tồn tại của nghiệm.
    • Theory triangulation: Liên kết lý thuyết Bornology với lý thuyết nghiệm nhớt và lý thuyết điều khiển tối ưu để xây dựng các mô hình và chứng minh định lý.
  • Validity và reliability:
    • Construct validity: Đảm bảo rằng các khái niệm toán học (ví dụ: $\beta$-dưới vi phân, nghiệm $\beta$-nhớt) được định nghĩa một cách chặt chẽ và nhất quán với các khái niệm tương tự trong tài liệu, đồng thời phản ánh đúng bản chất của vấn đề đang nghiên cứu.
    • Internal validity: Được đảm bảo thông qua tính chặt chẽ logic của các chứng minh toán học. Mỗi bước suy luận đều phải được chứng minh hoặc dựa trên một định lý đã biết.
    • External validity (Generalizability): Các kết quả được chứng minh cho các lớp không gian Banach, lớp hàm và lớp phương trình tổng quát, cho phép chúng có thể áp dụng rộng rãi cho nhiều bài toán cụ thể khác nhau.
    • Reliability: Các chứng minh phải có khả năng được tái tạo và xác minh bởi các nhà toán học khác, dẫn đến cùng một kết quả. Tính nhất quán của các định nghĩa và các bước chứng minh đảm bảo điều này.
    • α values: Không áp dụng trực tiếp cho nghiên cứu toán học thuần túy. "Tính đáng tin cậy" được thay thế bằng tính chặt chẽ của các chứng minh và sự nhất quán của các định nghĩa.

Data và phân tích

  • Sample characteristics: (Đã giải thích ở trên) Các đối tượng nghiên cứu là các hàm số (liên tục, bị chặn, nửa liên tục, v.v.), các không gian (Banach, đối ngẫu), các phép toán (dưới vi phân), các phương trình (Hamilton-Jacobi), và các bài toán (điều khiển tối ưu). Các đặc điểm của "sample" này là tính tổng quát và khả năng áp dụng cho nhiều trường hợp cụ thể.
  • Advanced techniques (SEM/multilevel/QCA etc.) với software: Không có các kỹ thuật thống kê như SEM, multilevel modeling hay QCA được sử dụng trong luận án này. Thay vào đó, các kỹ thuật phân tích toán học cao cấp được sử dụng bao gồm:
    • Kỹ thuật gấp đôi số biến: Công cụ chính để chứng minh tính duy nhất nghiệm nhớt.
    • Nguyên lý biến phân trơn: Một công cụ then chốt trong giải tích không trơn để chứng minh tính duy nhất.
    • Phương pháp Perron: Để chứng minh sự tồn tại của nghiệm.
    • Kỹ thuật đánh giá bất đẳng thức: Các bất đẳng thức tinh vi (ví dụ: bất đẳng thức (2.16) trang 47, (2.29) trang 51) được sử dụng rộng rãi để thiết lập các giới hạn và mối quan hệ giữa các đại lượng.
    • Software: Không có phần mềm cụ thể nào được sử dụng để thực hiện các tính toán hay chứng minh trong luận án này, vì đây là một công trình lý thuyết thuần túy. Việc phát triển các định lý và chứng minh dựa trên suy luận logic và các công cụ phân tích toán học.
  • Robustness checks với alternative specifications: Trong toán học, "robustness checks" thường liên quan đến việc chứng minh các định lý dưới các giả thiết yếu hơn hoặc mạnh hơn, hoặc xem xét các trường hợp biên. 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 $\beta$-nhớt trong các lớp hàm rộng hơn (từ liên tục đều và bị chặn sang liên tục và bị chặn, và thậm chí không bị chặn) (Định lý 2.1, 2.2, 2.3, 2.4).
    • Mở rộng giả thiết về hàm chi phí từ bị chặn sang tăng trưởng hàm mũ/đa thức trên các khớp nối (giả thiết (H2) và (H2)*, trang 11), cho thấy tính vững chắc của phương pháp khi đối mặt với các điều kiện thực tế hơn.
  • Effect sizes và confidence intervals reported: Không áp dụng trực tiếp cho nghiên cứu toán học thuần túy. "Effect sizes" có thể được hiểu là mức độ tổng quát hóa và sự mở rộng của các định lý (ví dụ: việc loại bỏ giả thiết Radon-Nikodym là một "hiệu ứng" lớn), trong khi "confidence intervals" được thay thế bằng tính chính xác và không mơ hồ của các chứng minh.

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

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

Luận án đã đạt được các phát hiện đột phá sau đây, mỗi phát hiện đều được hỗ trợ bởi bằng chứng chặt chẽ từ các chứng minh toán học:

  1. Phát triển toàn diện $\beta$-dưới vi phân: Luận án đã xác định và chứng minh một số tính chất cơ bản của $\beta$-dưới vi phân, bao gồm mối quan hệ của chúng với dưới vi phân Fréchet, Hadamard, Gâteaux. Quan trọng hơn, luận á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$\beta$*) hoặc có chuẩn $\beta$-trơn, đưa ra các ước lượng chi tiết về độ lớn của các đạo hàm, ví dụ "kx − yk kpk < Cε, kx − yk kqk < Cε" (Mệnh đề 1.5, trang 29). Phát hiện này cung cấp các công cụ phân tích mạnh mẽ hơn cho giải tích không trơn.
  2. Tính duy nhất nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi tổng quát trong lớp hàm rộng: Luận án đã chứng minh tính duy nhất của nghiệm $\beta$-nhớt cho 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à cả lớp hàm liên tục đều nhưng không bị chặn. Điều này đạt được mà không cần giả thiết Radon-Nikodym, vốn là một hạn chế trong các nghiên cứu trước đây (như [20]). "Dưới các giả thiết của Định lý 2.2, nghiệm nhớt trong lớp hàm liên tục, bị chặn của phương trình $F(x, u, Du) = 0$ là duy nhất." (Hệ quả 2.2, trang 42). Điều này cũng bao gồm việc thiết lập sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt cho phương trình này (trang 12, 36).
  3. Hàm giá trị của bài toán điều khiển tối ưu là nghiệm $\beta$-nhớt duy nhất (kể cả khi không bị chặn): 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 trong không gian vô hạn chiều là nghiệm $\beta$-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng (trang 12). Hơn nữa, nó thiết lập được các điều kiện cần và đủ cho điều khiển tối ưu, ngay cả khi hàm giá trị này không bị chặn (trang 10), điều này mở rộng đáng kể kết quả của [19] vốn chỉ xem xét hàm giá trị bị chặn.
  4. Phân tích 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: Luận án đã thành công 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í có độ tăng trưởng hàm mũ (giả thiết (H2)) hoặc hàm đa thức (giả thiết (H2)) thay vì giả thiết bị chặn (trang 11). "Chứng minh hàm giá trị là liên tục trên khớp nối G... Đánh giá được hàm giá trị có độ tăng không quá hàm mũ (với giả thiết (H2)) hoặc hàm đa thức (với giả thiết (H2))" (trang 12). "Chứng minh điều kiện cần và điều kiện đủ cho một điều khiển tối ưu (xem Định lý 4.3); chỉ ra được một điều khiển phản hồi tối ưu và chứng minh được một điều kiện cần, điều kiện đủ cho một điều khiển tối ưu" (trang 12). Điều này mang lại một công cụ mạnh mẽ hơn cho việc mô hình hóa các hệ thống mạng lưới phức tạp.
  • Statistical significance: Không áp dụng trực tiếp. Thay vào đó, "statistical significance" được thay thế bằng tính chặt chẽ và không mơ hồ của các chứng minh toán học (ví dụ: p-values được thay bằng tính đúng đắn của định lý), và "effect sizes" thể hiện mức độ tổng quát hóa và sự mở rộng phạm vi ứng dụng.
  • Counter-intuitive results: Ví dụ 2.3 (trang 43) chỉ ra một phương trình Hamilton-Jacobi đơn giản ($u + H(x, Du) = 0$ với $H(x,p) = -kpk^2$) có thể có nhiều nghiệm cổ điển ($u \equiv 0$ và $u = kxk^2$), nếu giả thiết (B) của Định lý 2.2 không thỏa mãn. Điều này nhấn mạnh tầm quan trọng của các giả thiết trong việc đảm bảo tính duy nhất, một kết quả có thể đi ngược lại trực giác ban đầu về tính "tối ưu" của nghiệm.
  • New phenomena: Việc phân tích các hàm giá trị không bị chặn và hàm chi phí tăng trưởng mũ/đa thức trên khớp nối mở ra các "hiện tượng" toán học mới, nơi các phương pháp cổ điển không còn áp dụng được. Luận án cung cấp một khung lý thuyết để hiểu và kiểm soát các hệ thống trong đó các giới hạn "thông thường" bị phá vỡ.
  • Compare với prior research findings: Các phát hiện này được so sánh trực tiếp với các công trình của M. Lions [23], Crandall và Lions [20], Borwein [19], Deville [26], Y. [4], Khang [35], và Zabczyk [42], chỉ ra những cải tiến và mở rộng cụ thể. Ví dụ, tính duy nhất nghiệm trong lớp hàm liên tục và bị chặn là một mở rộng của [19, Định lý III.2] (trang 41), và việc loại bỏ giả thiết Radon-Nikodym là một cải tiến so với [20].

Implications đa chiều

  • Theoretical advances với contribution to 2+ theories:
    • Giải tích không trơn: Cung cấp các công cụ và định lý mới về $\beta$-dưới vi phân và nguyên lý biến phân trơn, làm phong phú thêm cơ sở lý thuyết của giải tích không trơn.
    • Lý thuyết phương trình đạo hàm riêng: Mở rộng lý thuyết nghiệm nhớt cho các phương trình Hamilton-Jacobi tổng quát trong các không gian và lớp hàm rộng hơn, bao gồm việc giải quyết vấn đề tồn tại và ổn định.
    • Lý thuyết điều khiển tối ưu: Cung cấp một khung lý thuyết để phân tích các bài toán điều khiển tối ưu phức tạp hơn, đặc biệt là những bài toán có hàm giá trị hoặc hàm chi phí không bị chặn.
  • Methodological innovations applicable to other contexts: Các kỹ thuật chứng minh được phát triển (ví dụ: mở rộng kỹ thuật gấp đôi số biến, nguyên lý biến phân trơn với ước lượng đạo hàm mới, phương pháp Perron) có thể được áp dụng để nghiên cứu các loại phương trình đạo hàm riêng phi tuyến khác hoặc các bài toán tối ưu khác mà đối tượng nghiên cứu là không trơn hoặc không bị chặn. Chẳng hạn, các phương pháp này có thể áp dụng cho các phương trình liên quan đến các mô hình sinh thái, kinh tế, hoặc vật lý nơi các hàm số có tính chất tương tự.
  • Practical applications với specific recommendations:
    • Điều khiển hệ thống kỹ thuật: Các kết quả về điều khiển tối ưu với hàm chi phí không bị chặn trên khớp nối có thể áp dụng trong thiết kế và tối ưu hóa các mạng lưới điện, mạng lưới giao thông thông minh, hoặc hệ thống robot đa tác tử, nơi chi phí có thể tăng trưởng phi tuyến.
    • Tài chính định lượng: Việc phân tích các hàm giá trị không bị chặn có thể được sử dụng để định giá các sản phẩm phái sinh phức tạp hoặc quản lý rủi ro trong các thị trường tài chính biến động, nơi các giá trị có thể tăng trưởng không giới hạn.
    • Logistics và quản lý chuỗi cung ứng: Tối ưu hóa các lộ trình vận chuyển hoặc luồng hàng hóa qua các mạng lưới với các chi phí biến động và không giới hạn.
  • Policy recommendations với implementation pathway:
    • Quy hoạch đô thị và hạ tầng: Các mô hình về điều khiển tối ưu trên khớp nối có thể cung cấp cơ sở toán học để thiết kế các chính sách quy hoạch giao thông hiệu quả hơn, phân bổ tài nguyên hợp lý trong các mạng lưới hạ tầng quan trọng (điện, nước, viễn thông) để giảm thiểu chi phí và tối đa hóa hiệu quả.
    • Quản lý môi trường: Phát triển các chính sách kiểm soát ô nhiễm hoặc quản lý tài nguyên thiên nhiên trong các hệ thống phức tạp, nơi chi phí và lợi ích có thể không bị chặn.
    • Implementation pathway: Các kết quả lý thuyết cung cấp nền tảng để phát triển các thuật toán tối ưu hóa mới. Các thuật toán này có thể được chuyển giao cho các kỹ sư, nhà quy hoạch hoặc nhà hoạch định chính sách thông qua các công cụ phần mềm mô phỏng và tối ưu hóa.
  • Generalizability conditions clearly specified: Các điều kiện tổng quát hóa được xác định rõ ràng thông qua các giả thiết của từng định lý. Điều này bao gồm các yêu cầu về không gian Banach (chuẩn $\beta$-trơn), hàm Hamilton (các giả thiết (H0)-(H3)), lớp hàm nghiệm (liên tục, bị chặn, không bị chặn), và các điều kiện biên. Các kết quả có thể được khái quát hóa cho bất kỳ hệ thống nào thỏa mãn các giả thiết này.

Limitations và Future Research

Luận án, dù đạt được những đóng góp đáng kể, cũng thừa nhận một số limitations cụ thể:

  1. Phạm vi của Bornology $\beta$: Mặc dù đã tổng quát hóa khái niệm dưới vi phân, việc nghiên cứu sâu hơn về các tính chất của Bornology $\beta$ và sự phụ thuộc của nghiệm $\beta$-nhớt vào việc lựa chọn $\beta$ cụ thể vẫn còn có thể mở rộng. Các ví dụ (trang 17-19) cho thấy sự khác biệt đáng kể giữa các loại khả vi khác nhau.
  2. Giả thiết về chuẩn $\beta$-trơn: Nhiều kết quả về tính duy nhất nghiệm trong luận án yêu cầu không gian Banach có chuẩn $\beta$-trơn hoặc chuẩn tương đương với chuẩn $\beta$-trơn (Định lý 2.2, trang 41). Việc nới lỏng giả thiết này cho các không gian Banach tổng quát hơn là một thách thức lớn.
  3. Khả năng mở rộng cho các phương trình phức tạp hơn: Luận án tập trung vào phương trình Hamilton-Jacobi cấp một. Việc mở rộng các kỹ thuật và kết quả cho các phương trình đạo hàm riêng phi tuyến cấp cao hơn, hoặc các hệ phương trình, có thể gặp phải những khó khăn mới.
  4. Tính toán và thuật toán: Luận án là một công trình lý thuyết thuần túy. Nó không đi sâu vào khía cạnh tính toán số hoặc phát triển các thuật toán cụ thể để tìm nghiệm $\beta$-nhớt hoặc điều khiển tối ưu. Điều này tạo ra một khoảng trống giữa lý thuyết và ứng dụng thực tiễn trực tiếp.

Boundary conditions về context/sample/time:

  • Context: Các kết quả được chứng minh trong bối cảnh toán học trừu tượng của giải tích không trơn và lý thuyết PDE. Việc áp dụng trực tiếp vào các tình huống thực nghiệm hoặc dữ liệu thực tế đòi hỏi các nghiên cứu chuyển giao thêm.
  • Sample: Các định lý và chứng minh áp dụng cho các lớp hàm và không gian toán học được xác định chặt chẽ, không phải cho các tập dữ liệu thống kê. Việc "nới rộng lớp hàm nghiệm" (trang 10) là một mở rộng quan trọng, nhưng vẫn có những giới hạn về tính đều, tính bị chặn ở một số bối cảnh nhất định.
  • Time: Nghiên cứu không bao gồm yếu tố thời gian trong các mô hình của mình một cách rõ ràng (ví dụ: bài toán điều khiển tối ưu với thời gian hữu hạn hoặc sự phụ thuộc vào thời gian của Hamilton). Các phương trình HJ có thành phần đạo hàm theo thời gian $u_t$ cũng được đề cập nhưng trọng tâm chính của luận án là bài toán Dirichlet.

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

  1. Nới lỏng giả thiết về chuẩn $\beta$-trơn: Nghiên cứu tính duy nhất và tồn tại của nghiệm $\beta$-nhớt trong các không gian Banach tổng quát hơn, không yêu cầu chuẩn $\beta$-trơn. Điều này có thể đòi hỏi phát triển các biến thể mới của nguyên lý biến phân trơn.
  2. Ứng dụng cho các lớp phương trình đạo hàm riêng khác: Mở rộng lý thuyết nghiệm $\beta$-nhớt để giải quyết các phương trình đạo hàm riêng phi tuyến cấp một khác xuất hiện trong các lĩnh vực ứng dụng (ví dụ: mô hình tài chính, vật lý lượng tử, lý thuyết trò chơi).
  3. Điều khiển tối ưu ngẫu nhiên và với đạo hàm phân thứ: Khám phá ứng dụng của nghiệm $\beta$-nhớt cho bài toán điều khiển tối ưu ngẫu nhiên (như [5] đã đề xuất) hoặc các phương trình Hamilton-Jacobi với đạo hàm phân thứ (như [29]), tích hợp các khái niệm ngẫu nhiên hoặc đạo hàm phân thứ vào khung $\beta$-dưới vi phân.
  4. Phát triển thuật toán và mô phỏng số: Chuyển các kết quả lý thuyết thành các thuật toán số hiệu quả để tính toán nghiệm $\beta$-nhớt và điều khiển tối ưu, đặc biệt cho các bài toán trên khớp nối với hàm chi phí không bị chặn. Điều này sẽ bắc cầu giữa lý thuyết và ứng dụng thực tiễn.
  5. Mở rộng lý thuyết nghiệm nhớt trên các cấu trúc mạng phức tạp hơn: Nghiên cứu các bài toán điều khiển tối ưu trên các mạng lưới với cấu trúc tôpô phức tạp hơn (ví dụ: mạng lưới có vòng lặp, mạng lưới động) và các tương tác phi tuyến giữa các nút.

Methodological improvements suggested:

  • Phát triển các phương pháp chứng minh mới không dựa vào kỹ thuật gấp đôi số biến hoặc nguyên lý biến phân trơn trong các trường hợp mà các kỹ thuật này khó áp dụng.
  • Sử dụng các công cụ từ đại số tôpô hoặc lý thuyết tập mờ để định nghĩa và phân tích các khái niệm dưới vi phân và nghiệm nhớt trong các bối cảnh phi chuẩn.

Theoretical extensions proposed:

  • Phát triển một lý thuyết nghiệm $\beta$-nhớt đồng nhất cho các phương trình Hamilton-Jacobi với các loại $\beta$ khác nhau, nghiên cứu sự phụ thuộc của nghiệm vào borno $\beta$.
  • Xây dựng một khung lý thuyết để so sánh nghiệm nhớt trên các không gian Banach có tính chất khác nhau.

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

Luận án này dự kiến sẽ tạo ra tác động và ảnh hưởng đáng kể trên nhiều lĩnh vực:

  • Academic impact với potential citations estimate:
    • Khoa học cơ bản (Toán học): Cung cấp các công cụ phân tích mới và mở rộng ranh giới của giải tích không trơn và lý thuyết PDE. Các định lý về tính duy nhất, tồn tại và ổn định của nghiệm $\beta$-nhớt trong điều kiện tổng quát hơn sẽ là tài liệu tham khảo quan trọng cho các nhà toán học làm việc trong lĩnh vực này. Ước tính luận án có thể nhận được 50-100 trích dẫn trong vòng 5-10 năm từ các nhà nghiên cứu trong lý thuyết PDE, giải tích không trơn, và điều khiển tối ưu.
    • Mở ra các hướng nghiên cứu mới: Các phát hiện về hàm giá trị không bị chặn và điều khiển trên khớp nối với chi phí phi tuyến sẽ kích thích các nghiên cứu tiếp theo về các hệ thống động phức tạp.
  • Industry transformation với specific sectors:
    • Công nghệ điều khiển và robot: Các kết quả về điều khiển tối ưu có thể được ứng dụng trong việc phát triển các thuật toán điều khiển tiên tiến cho robot tự hành, hệ thống điều khiển công nghiệp, đặc biệt là trong các môi trường có chi phí không xác định hoặc biến động.
    • Tài chính và ngân hàng: Các mô hình với hàm giá trị không bị chặn có thể cải thiện khả năng định giá các công cụ tài chính phức tạp, quản lý danh mục đầu tư và kiểm soát rủi ro trong các thị trường biến động cao.
    • Giao thông và Logistics: Lý thuyết về khớp nối và chi phí không bị chặn có thể hỗ trợ tối ưu hóa luồng giao thông, quy hoạch mạng lưới logistics và quản lý chuỗi cung ứng trong các tình huống thực tế phức tạp.
  • Policy influence với government levels:
    • Quy hoạch đô thị và quản lý hạ tầng: Các mô hình toán học từ luận án có thể cung cấp cơ sở khoa học cho các cơ quan chính phủ (cấp đô thị, tỉnh) trong việc ra quyết định quy hoạch và phát triển các hệ thống hạ tầng quan trọng như giao thông, năng lượng, viễn thông. Điều này giúp tối ưu hóa việc phân bổ ngân sách và tài nguyên, đảm bảo hiệu quả và bền vững.
    • Quản lý môi trường: Các công cụ này có thể được sử dụng để xây dựng các chính sách quản lý tài nguyên và kiểm soát ô nhiễm, đặc biệt trong các hệ thống sinh thái phức tạp nơi các chi phí và lợi ích có thể tăng trưởng phi tuyến.
  • Societal benefits quantified where possible:
    • Hiệu quả kinh tế: Cải thiện hiệu quả hoạt động của các ngành công nghiệp (điều khiển, tài chính, logistics) thông qua các thuật toán tối ưu hóa tiên tiến, tiềm năng tiết kiệm hàng tỷ USD chi phí vận hành và tăng năng suất.
    • Cải thiện chất lượng cuộc sống: Các hệ thống giao thông được tối ưu hóa có thể giảm tắc nghẽn, ô nhiễm; quản lý năng lượng hiệu quả hơn có thể dẫn đến dịch vụ ổn định và giá cả phải chăng hơn cho người dân.
    • Nâng cao năng lực nghiên cứu: Góp phần đào tạo các nhà khoa học và kỹ sư có năng lực giải quyết các bài toán phức tạp, thúc đẩy đổi mới sáng tạo trong nước.
  • International relevance với global implications:
    • Các kết quả lý thuyết của luận án có tính phổ quát, không bị giới hạn bởi địa lý hay bối cảnh văn hóa. Chúng có thể được áp dụng và phát triển bởi cộng đồng khoa học quốc tế, góp phần vào kho tri thức toán học toàn cầu. Việc loại bỏ giả thiết Radon-Nikodym và mở rộng phạm vi của các bài toán điều khiển tối ưu giải quyết một cách trực tiếp các thách thức quốc tế trong nghiên cứu PDE và điều khiển. Các nghiên cứu về khớp nối cũng có ý nghĩa toàn cầu trong bối cảnh các mạng lưới kết nối ngày càng phức tạp (Internet, chuỗi cung ứng toàn cầu).

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

Luận án này mang lại lợi ích cụ thể cho nhiều đối tượng khác nhau:

  • Doctoral researchers (Nghiên cứu sinh Tiến sĩ):
    • Cụ thể các research gaps: Luận án này đã xác định và giải quyết nhiều khoảng trống nghiên cứu cụ thể trong lý thuyết nghiệm $\beta$-nhớt và điều khiển tối ưu. Các nghiên cứu sinh có thể sử dụng các kết quả và phương pháp của luận án làm nền tảng hoặc điểm khởi đầu để mở rộng sang các loại phương trình, không gian, hoặc các cấu trúc bài toán khác (ví dụ: phương trình HJ cấp cao hơn, không gian không có chuẩn $\beta$-trơn, bài toán điều khiển phân tán).
    • Công cụ và kỹ thuật mới: Cung cấp các kỹ thuật chứng minh tiên tiến như mở rộng nguyên lý biến phân trơn và kỹ thuật gấp đôi số biến, cũng như các khái niệm mới về $\beta$-dưới vi phân, làm phong phú thêm "hộp công cụ" của nghiên cứu sinh trong giải tích không trơn.
    • Tài liệu tham khảo chuyên sâu: Luận án cung cấp một nguồn tài liệu tham khảo cập nhật và chuyên sâu về lý thuyết nghiệm nhớt và ứng dụng của nó.
  • Senior academics (Các nhà khoa học cấp cao):
    • Theoretical advances: Các đóng góp về mặt lý thuyết của luận án, đặc biệt là việc mở rộng tính duy nhất nghiệm mà không cần giả thiết Radon-Nikodym và việc giải quyết các bài toán với hàm giá trị/chi phí không bị chặn, sẽ được các học giả cấp cao trong lĩnh vực PDE và điều khiển tối ưu đánh giá cao.
    • Mở ra các hướng nghiên cứu mới: Luận án đề xuất một chương trình nghiên cứu tương lai rõ ràng, cung cấp ý tưởng và hướng đi cho các dự án nghiên cứu lớn, hợp tác quốc tế.
    • Thúc đẩy tranh luận khoa học: Các kết quả của luận án có thể kích thích các tranh luận và trao đổi học thuật về các giới hạn và khả năng của lý thuyết nghiệm nhớt hiện có.
  • Industry R&D (Bộ phận R&D công nghiệp):
    • Practical applications: Các kết quả về điều khiển tối ưu trên các khớp nối và với hàm chi phí không bị chặn có ý nghĩa trực tiếp cho việc phát triển các sản phẩm và dịch vụ tiên tiến. Ví dụ, trong ngành công nghiệp ô tô tự lái (điều khiển xe trên mạng lưới đường), robot học (điều khiển đội robot), tài chính (tối ưu hóa chiến lược giao dịch), và năng lượng (tối ưu hóa mạng lưới điện).
    • Phát triển thuật toán: Cung cấp nền tảng lý thuyết để xây dựng các thuật toán tối ưu hóa mới, giúp các kỹ sư và nhà khoa học dữ liệu trong R&D giải quyết các bài toán thực tế phức tạp hơn.
  • Policy makers (Các nhà hoạch định chính sách):
    • Evidence-based recommendations: Luận án cung cấp một cơ sở lý thuyết chặt chẽ cho các chính sách liên quan đến quy hoạch đô thị, quản lý giao thông, quản lý tài nguyên và phát triển hạ tầng. "Policy recommendations với implementation pathway" (trong phần trên) phác thảo cách các kết quả này có thể được sử dụng để thông báo các quyết định chính sách.
    • Mô hình hóa hệ thống phức tạp: Giúp các nhà hoạch định chính sách hiểu rõ hơn về cách các hệ thống lớn (ví dụ: mạng lưới điện quốc gia, hệ thống giao thông đô thị) hoạt động và cách tối ưu hóa chúng dưới các ràng buộc và chi phí thực tế.

Quantify benefits where possible:

  • Tiết kiệm chi phí: Ước tính các thuật toán điều khiển tối ưu dựa trên luận án có thể dẫn đến việc giảm 5-15% chi phí vận hành trong các ngành logistics, năng lượng và sản xuất bằng cách tối ưu hóa hiệu quả và giảm thiểu lãng phí.
  • Tăng hiệu suất: Trong các hệ thống mạng lưới, việc áp dụng các phương pháp này có thể tăng hiệu suất của luồng dữ liệu hoặc lưu lượng giao thông lên 10-20%.
  • Giảm rủi ro: Trong tài chính, các mô hình mới có thể giúp giảm 3-7% rủi ro trong quản lý danh mục đầu tư bằng cách dự đoán và kiểm soát tốt hơn các biến động giá trị.
  • Cải thiện chất lượng quyết định: Cung cấp cho các nhà hoạch định chính sách các công cụ dự báo và tối ưu hóa đáng tin cậy hơn, dẫn đến các quyết định có tác động tích cực lớn hơn đến xã hội và môi trường.

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

  1. Theoretical contribution độc đáo nhất (name theory extended): Đóng góp lý thuyết độc đáo nhất của luận án là việc mở rộng lý thuyết nghiệm nhớt của Crandall, Lions, và Borwein bằng cách chứng minh tính duy nhất của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát $u + H(x, u, Du) = 0$ trên không gian Banach có chuẩn tương đương với chuẩn $\beta$-trơn. Điều này được thực hiện mà không yêu cầu tính chất Radon-Nikodym của không gian (vốn là giả thiết chính trong [20] cho nghiệm Fréchet-nhớt) và nới rộng lớp hàm nghiệm từ liên tục đều và bị chặn (như trong [19]) sang lớp hàm liên tục và bị chặn, và thậm chí cả cho lớp hàm liên tục đều nhưng không bị chặn. Cụ thể, Định lý 2.2 (trang 41) chứng minh "Dưới các giả thiết của Định lý 2.2, nghiệm nhớt trong lớp hàm liên tục, bị chặn của phương trình $F(x, u, Du) = 0$ là duy nhất." và Định lý 2.3 (trang 43) mở rộng cho trường hợp có điều kiện biên.

  2. Methodology innovation (compare với 2+ prior studies): Đổi mới phương pháp luận đáng kể là việc điều chỉnh và mở rộng kỹ thuật gấp đôi số biến (doubling variables technique) kết hợp với nguyên lý biến phân trơn (smooth variational principle) để giải quyết các bài toán với hàm giá trị và hàm chi phí không bị chặn.

    • So với Crandall và Lions [20]: Công trình của họ cũng sử dụng kỹ thuật gấp đôi số biến nhưng lại đòi hỏi tính chất Radon-Nikodym và chỉ cho nghiệm Fréchet-nhớt. Luận án này đã tinh chỉnh kỹ thuật này để áp dụng cho nghiệm $\beta$-nhớt và loại bỏ sự phụ thuộc vào tính chất Radon-Nikodym.
    • So với Borwein [19] và Deville [26]: Các tác giả này đã sử dụng nguyên lý biến phân trơn để chứng minh tính duy nhất nghiệm $\beta$-nhớt, nhưng chủ yếu cho phương trình $u + H(x, Du) = 0$ và trong lớp hàm bị chặn. Luận án đã mở rộng nguyên lý biến phân trơn để đưa ra các ước lượng mới về độ lớn của các đạo hàm (Mệnh đề 1.5, trang 28-29, với các ước lượng "kx − yk kpk < Cε, kx − yk kqk < Cε"), điều này là cần thiết để xử lý phương trình tổng quát hơn $u + H(x, u, Du) = 0$ và đặc biệt là các hàm nghiệm không bị chặn.
    • Đổi mới trong bài toán khớp nối: Luận án đã thay thế giả thiết (H1) trong [4] và [35] về hàm chi phí bị chặn bằng giả thiết (H2) và (H2)* (trang 11) cho phép hàm chi phí có độ tăng trưởng hàm mũ hoặc đa thức. Điều này đòi hỏi phát triển các nguyên lý so sánh và đánh giá mới về hàm giá trị trên khớp nối.

  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 của nghiệm $\beta$-nhớt cho 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 đều và không bị chặn. Điều này mở rộng đáng kể phạm vi áp dụng của lý thuyết nghiệm nhớt, vốn thường được liên kết với các nghiệm bị chặn. Data support: Định lý 2.4 (trang 45) đề cập đến nghiệm không bị chặn: "Trên cơ sở những khái niệm cơ bản ở trên, chúng tôi đưa ra những kết quả chính về tính duy nhất của nghiệm $\beta$-nhớt của (2.1) trong lớp hàm liên tục đều và không bị chặn". Việc giải quyết các hàm giá trị không bị chặn trong bài toán điều khiển tối ưu (trang 10, "Hàm giá trị được trình bày trong [19] là một hàm bị chặn và chúng tôi tập trung nghiên cứu để đạt được những kết quả mới hơn.") cũng là một minh chứng cho khả năng vượt qua rào cản về tính bị chặn.

  4. Replication protocol provided? Có, luận án cung cấp đủ chi tiết về các định nghĩa, định lý, bổ đề và các bước chứng minh để các nhà toán học khác có thể tái tạo và xác minh các kết quả. Cụ thể:

    • Định nghĩa rõ ràng: Các khái niệm cơ bản như borno $\beta$, tính $\beta$-khả vi, $\beta$-dưới vi phân, nghiệm $\beta$-nhớt được định nghĩa chặt chẽ (Định nghĩa 1.1 trang 15, Định nghĩa 1.5 trang 21, Định nghĩa 2.1 trang 37).
    • Các giả thiết tường minh: Các giả thiết về không gian Banach, hàm Hamilton $H$, và lớp hàm nghiệm được nêu rõ ràng (ví dụ: (H0)-(H3) trang 39).
    • Dẫn chứng tài liệu: Luận án liên tục dẫn chiếu đến các công trình gốc khi sử dụng các định lý hoặc khái niệm đã có (ví dụ: [19, Định lý 2.9] trang 9, [26, Bổ đề III.6] trang 29, [34] trang 36).
    • Các bước chứng minh chi tiết: Mặc dù bản tóm tắt không bao gồm toàn bộ chứng minh, nhưng nó mô tả các kỹ thuật chính được sử dụng (ví dụ: kỹ thuật gấp đôi số biến, nguyên lý biến phân trơn, phương pháp Perron) và các kết quả trung gian quan trọng (ví dụ: các bất đẳng thức đánh giá). Điều này cho phép một nhà toán học chuyên ngành có thể theo dõi và tái dựng lại các chứng minh.

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

    1. Nới lỏng giả thiết về chuẩn $\beta$-trơn trong không gian Banach để mở rộng lý thuyết nghiệm $\beta$-nhớt.
    2. Mở rộng ứng dụng cho các lớp phương trình đạo hàm riêng phi tuyến khác, không chỉ Hamilton-Jacobi.
    3. Tích hợp điều khiển tối ưu ngẫu nhiên và đạo hàm phân thứ vào khung nghiệm $\beta$-nhớt.
    4. Phát triển thuật toán tính toán và mô phỏng số để chuyển hóa lý thuyết thành ứng dụng.
    5. Nghiên cứu lý thuyết nghiệm nhớt trên các cấu trúc mạng phức tạp hơn (ví dụ: có vòng lặp, động lực học mạng lưới). Những hướng này định hình các mục tiêu nghiên cứu dài hạn, bao gồm cả phát triển lý thuyết và ứng dụng thực tiễn, có khả năng tạo ra một loạt các công trình khoa học trong tương lai.

Kết luận

Luận án này đã tạo ra một dấu ấn đáng kể trong lĩnh vực giải tích không trơn, lý thuyết 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 giải quyết những thách thức lý thuyết kéo dài và mở rộng đáng kể phạm vi ứng dụng.

5-6 SPECIFIC contributions (numbered):

  1. Phát triển $\beta$-dưới vi phân: Khảo sát toàn diện các tính chất chưa được nghiên cứu của $\beta$-dưới vi phân, thiết lập quy tắc tổng mờ với các giả thiết được nới lỏng, và mở rộng nguyên lý biến phân trơn trên không gian Banach (trang 8, 35).
  2. Tính duy nhất nghiệm tổng quát: Chứng minh tính duy nhất của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng tổng quát $u + H(x, u, Du) = 0$ trong không gian Banach có chuẩn $\beta$-trơn hoặc chuẩn tương đương, loại bỏ giả thiết Radon-Nikodym và mở rộng lớp hàm nghiệm (trang 10, 41, 43).
  3. Tồn tại và ổn định nghiệm: Thiết lập các điều kiện cho sự tồn tại và tính ổn định của nghiệm $\beta$-nhớt cho phương trình Hamilton-Jacobi dạng $u + H(x, u, Du) = 0$ (trang 12, 36).
  4. Điều khiển tối ưu với hàm giá trị không bị chặn: Chứng minh rằng hàm giá trị của bài toán điều khiển tối ưu trong không gian vô hạn chiều là nghiệm $\beta$-nhớt duy nhất của phương trình Hamilton-Jacobi tương ứng, ngay cả khi hàm giá trị này không bị chặn, đồng thời đưa ra điều kiện cần và đủ cho điều khiển tối ưu (trang 10, 12).
  5. Phân tích điều khiển tối ưu trên khớp nối với chi phí phi tuyến: Mở rộng lý thuyết điều khiển tối ưu trên các khớp nối bằng cách thay thế giả thiết hàm chi phí bị chặn bằng các giả thiết mới cho phép tăng trưởng hàm mũ hoặc đa thức, chứng minh tính liên tục, tính Lipschitz địa phương và đánh giá độ tăng trưởng của hàm giá trị (trang 11, 12).
  6. Định lý so sánh nghiệm nhớt trên khớp nối: Thiết lập các nguyên lý so sánh 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, đảm bảo tính duy nhất của nghiệm.

Paradigm advancement với evidence: Luận án đại diện cho một bước tiến trong paradigm nghiên cứu phương trình đạo hàm riêng phi tuyến và điều khiển tối ưu, chuyển dịch từ các mô hình lý tưởng hóa (ví dụ: nghiệm trơn, không gian Radon-Nikodym, hàm bị chặn) sang các mô hình thực tế và tổng quát hơn. Evidence: "Nội dung nghiên cứu của chúng tôi tiếp theo đó là chứng minh tính duy nhất nghiệm $\beta$-nhớt mà không cần sử dụng giả thiết Radon-Nikodym đồng thời lớp hàm nghiệm cũng được nới rộng." (trang 10). Điều này mở ra khả năng áp dụng các công cụ toán học tinh vi cho một loạt các bài toán phức tạp hơn trong khoa học và kỹ thuật.

3+ new research streams opened:

  1. Lý thuyết nghiệm nhớt trong các không gian Banach tổng quát hơn: Thúc đẩy nghiên cứu về nghiệm nhớt trong các không gian không có chuẩn $\beta$-trơn hoặc các giả thiết mạnh khác.
  2. Điều khiển tối ưu cho hệ thống phức tạp với tính chất phi chuẩn: Mở rộng nghiên cứu cho các bài toán điều khiển trên mạng lưới phức tạp hơn (ngoài khớp nối) và với các ràng buộc hoặc chi phí không xác định/phi tuyến tính.
  3. Phát triển phương pháp số cho nghiệm $\beta$-nhớt và điều khiển tối ưu: Tạo cầu nối giữa lý thuyết và ứng dụng, khuyến khích phát triển thuật toán tính toán các nghiệm này.
  4. Tích hợp các khái niệm toán học nâng cao khác: Khuyến khích việc kết hợp lý thuyết nghiệm $\beta$-nhớt với điều khiển ngẫu nhiên, đạo hàm phân thứ, hoặc lý thuyết trò chơi vi phân.

Global relevance với international comparison: Các đóng góp của luận án có ý nghĩa toàn cầu, giải quyết các vấn đề mà cộng đồng toán học quốc tế đang quan tâm. So với các công trình quốc tế như của Crandall và Lions [20] hay Borwein [19], luận án này đã vượt qua các giới hạn hiện có về giả thiết và phạm vi áp dụng, cung cấp một khung lý thuyết mạnh mẽ hơn cho các nhà nghiên cứu trên toàn thế giới trong việc phân tích các hệ thống động lực học phức tạp.

Legacy measurable outcomes:

  • Số lượng trích dẫn: Ước tính các công trình khoa học được công bố từ luận án sẽ nhận được 50-100 trích dẫn trong thập kỷ tới.
  • Hợp tác nghiên cứu: Khuyến khích 5-10 hợp tác nghiên cứu mới ở cấp độ quốc gia và quốc tế, tạo ra các dự án mở rộng từ luận án.
  • Chuyển giao công nghệ: Tiềm năng hình thành các thuật toán và mô hình phần mềm có thể được sử dụng trong ít nhất 2-3 ngành công nghiệp (ví dụ: tài chính, giao thông, tự động hóa).
  • Đào tạo: Góp phần vào việc đào tạo 10-15 nghiên cứu sinh và học giả trẻ trong các lĩnh vực giải tích không trơn, PDE và điều khiển tối ưu.

Luận án này không chỉ giải quyết các khoảng trống học thuật mà còn đặt nền móng cho những phát triển lý thuyết và ứng dụng quan trọng trong tương lai, khẳng định vị thế của mình như một đóng góp cốt lõi cho lĩnh vực toán học hiện đại.