Tổng quan về luận án

Luận án tiến sĩ "Tính liên tục Hölder và sự ổn định của nghiệm phương trình Monge-Ampère" đóng góp một cách sâu sắc vào Lý thuyết đa thế vị, một lĩnh vực nghiên cứu trọng tâm trong Giải tích phức nhiều biến. Nghiên cứu này được đặt trong bối cảnh các vấn đề mở tồn tại liên quan đến toán tử Monge-Ampère phức, đặc biệt là bài toán Dirichlet trên các miền phức tạp hơn, và sự hội tụ của các hàm đa điều hòa dưới. Tính tiên phong của nghiên cứu thể hiện ở việc giải quyết các thách thức chưa được làm rõ trong các công trình trước đó, mở rộng các định lý nền tảng và thiết lập các mối quan hệ mới trong lý thuyết này.

Research gap cụ thể mà luận án hướng tới giải quyết bao gồm ba vấn đề chính. Thứ nhất, mặc dù đã có nhiều nghiên cứu về bài toán Dirichlet $M A(\Omega, \varphi, f)$ trên các miền giả lồi trơn, bị chặn (E. Taylor, [3, 4]; Kolodziej, [36]), "bài toán $M A(\Omega, \varphi, f)$ đối với miền giả lồi không trơn đa điều hòa dưới loại m vẫn là một vấn đề mở." (Mở đầu, trang 7). Thứ hai, liên quan đến sự hội tụ của các dãy hàm đa điều hòa dưới và các độ đo Monge-Ampère phức tương ứng, "việc nghiên cứu một số điều kiện đủ để có được sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm ${u_j}$ và sự hội tụ yếu của dãy toán tử Monge-Ampère phức tương ứng, cũng như dựa trên cơ sở đó để nghiên cứu tính ổn định nghiệm của phương trình Monge-Ampère phức vẫn là một vấn đề mở." (Mở đầu, trang 8). Cuối cùng, trong lĩnh vực thác triển dưới cực đại của hàm đa điều hòa dưới, "vấn đề sự hội tụ theo $C_n$-dung lượng của các hàm thác triển dưới cực đại vẫn là một bài toán mở." (Mở đầu, trang 8), mở rộng các kết quả của U. Cegrell và Hồng [33].

Luận án tập trung vào các câu hỏi nghiên cứu và giả thuyết sau:

  1. RQ1: Liệu có thể tổng quát hóa tính liên tục Hölder của nghiệm bài toán Dirichlet cho toán tử Monge-Ampère phức trên các miền giả lồi không trơn, đa điều hòa dưới loại $m$ (không nhất thiết bị chặn)?
    • H1: Nghiệm của bài toán $M A(\Omega, \varphi, f)$ trên miền giả lồi, đa điều hòa dưới loại $m$ sẽ có tính liên tục Hölder trong các điều kiện xác định về hàm biên $\varphi$ và hàm nguồn $f$.
  2. RQ2: Những điều kiện nào là đủ để đảm bảo sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của một dãy hàm đa điều hòa dưới và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng?
    • H2: Dưới các điều kiện ràng buộc nhất định về tính bị chặn dưới và lớp hàm (ví dụ, lớp Cegrell $N^a(\Omega, f)$), sự hội tụ theo $C_n$-dung lượng sẽ tương đương với sự hội tụ yếu của độ đo Monge-Ampère.
  3. RQ3: Làm thế nào để nghiên cứu tính ổn định nghiệm của phương trình Monge-Ampère phức dựa trên các mối quan hệ hội tụ mới?
    • H3: Các kết quả về sự tương đương hội tụ sẽ cho phép tổng quát hóa các định lý ổn định nghiệm hiện có.
  4. RQ4: Tính chất hội tụ theo $C_n$-dung lượng của các hàm thác triển dưới cực đại được xác định như thế nào?
    • H4: Áp dụng các kết quả về tính ổn định nghiệm sẽ làm sáng tỏ tính hội tụ theo $C_n$-dung lượng của dãy hàm thác triển dưới cực đại với giá trị biên.

Khung lý thuyết của luận án được xây dựng dựa trên Lý thuyết đa thế vị (Pluripotential theory), sử dụng các khái niệm cốt lõi như Hàm đa điều hòa dưới (Plurisubharmonic functions - PSH), Toán tử Monge-Ampère phức ($(dd^c u)^n$), Bài toán Dirichlet, và các lớp hàm Cegrell ($E_0(\Omega)$, $F(\Omega)$, $N(\Omega)$, $K(\Omega,f)$). Các lý thuyết về tính liên tục Hölder và các khái niệm về dung lượng (capacity), đặc biệt là $C_n$-dung lượng (E. Taylor, [4]), là nền tảng để phân tích các tính chất định tính của nghiệm.

Đóng góp đột phá của luận án có thể được định lượng như sau:

  • Mở rộng phạm vi miền nghiên cứu: Luận án mở rộng kết quả về tính liên tục Hölder cho nghiệm bài toán Dirichlet từ các miền giả lồi trơn, bị chặn sang "các miền giả lồi không trơn, đa điều hòa dưới loại m (không nhất thiết bị chặn)" (Tổng quan các vấn đề nghiên cứu, trang 13), tổng quát hóa Định lý của [2]. Điều này đại diện cho một bước tiến quan trọng vì các miền không trơn và không bị chặn thường đặt ra những thách thức lớn trong Giải tích phức. Cụ thể, Định lý 1.6 cung cấp điều kiện tồn tại nghiệm liên tục $\gamma$-Hölder với $0 < \gamma < \min \left(\frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2np}, \frac{1}{2(1+np^{-1})}\right)$.
  • Thiết lập mối tương đương hội tụ: Luận án chứng minh sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm ${u_j}$ và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng dưới các điều kiện cụ thể (Định lý 2.5). Kết quả này mở ra một góc nhìn mới về mối liên hệ giữa các khái niệm hội tụ trong lý thuyết đa thế vị, vốn trước đây thường không suy ra trực tiếp được cho nhau (Xing, [42]).
  • Tổng quát hóa tính ổn định nghiệm: Luận án đưa ra một kết quả tổng quát cho định lý ổn định của U. Cegrell (Mở đầu, trang 15), cung cấp một nền tảng vững chắc hơn cho việc phân tích sự biến đổi của nghiệm khi các điều kiện biên hoặc hàm nguồn thay đổi.
  • Nghiên cứu tính hội tụ của thác triển dưới cực đại: Lần đầu tiên, luận án nghiên cứu sự hội tụ theo $C_n$-dung lượng của dãy hàm thác triển dưới cực đại (Maximal Plurisubharmonic Extensions), ứng dụng các kết quả về tính ổn định nghiệm. Điều này là một bổ sung quan trọng vào lý thuyết về thác triển hàm, vốn đã được H. Nishino và E. Taylor [5] khởi xướng, thường tập trung vào điều kiện tồn tại hơn là tính chất hội tụ.

Phạm vi nghiên cứu (Scope) của luận án bao gồm các hàm đa điều hòa dưới trên các miền $\Omega \subset \mathbb{C}^n$, với $n \ge 1$. Các đặc tính của miền $\Omega$ được xét đến là giả lồi (pseudoconvex), siêu lồi (hyperconvex), bị chặn (bounded) hoặc không bị chặn (unbounded), có biên trơn (smooth boundary) hoặc không trơn (non-smooth boundary), và đặc biệt là miền giả lồi đa điều hòa dưới loại $m$. Khung thời gian nghiên cứu bao gồm các công trình từ năm 1976 đến 2016 được các tác giả trước gặt hái, cho đến thời điểm luận án hoàn thành (2018), phản ánh sự phát triển của lý thuyết đa thế vị trong các thập kỷ gần đây.

Ý nghĩa (Significance) của luận án nằm ở việc hoàn thiện và mở rộng lý thuyết đa thế vị, cung cấp các công cụ và kỹ thuật mới cho việc nghiên cứu các phương trình đạo hàm riêng phức. Các kết quả này không chỉ có giá trị lý thuyết sâu sắc mà còn tiềm năng ứng dụng trong các lĩnh vực liên quan như Hình học vi phân phức và Động lực học phức, nơi các toán tử Monge-Ampère đóng vai trò quan trọng.

Literature Review và Positioning

Lý thuyết đa thế vị và toán tử Monge-Ampère phức là trọng tâm của một dòng nghiên cứu mạnh mẽ trong Giải tích phức nhiều biến, thu hút sự quan tâm của nhiều nhà toán học quốc tế như P. Lelong, P. De Bartolomeis, L. Hörmander, U. Cegrell, J. Siciak, J.P. Demailly, S. Kołodziej, Z. Blocki, V. Zeriahi, T. Charabati, K. Li, P.H. Xing và E. Taylor. Từ năm 1976 đến 2016, nhiều thành tựu quan trọng đã được gặt hái, đặc biệt là trong việc giải bài toán Dirichlet $M A(\Omega, \varphi, f)$ và nghiên cứu các tính chất nghiệm của nó.

Các dòng nghiên cứu chính (major streams) được tổng hợp bao gồm:

  • Sự tồn tại và tính chất nghiệm của bài toán Dirichlet: E. Taylor [3] (1996) chỉ ra rằng khi $\Omega$ là miền giả lồi chặt, bị chặn với biên trơn trong $\mathbb{C}^n$, bài toán $M A(\Omega, \varphi, f)$ có nghiệm duy nhất $u(\Omega, \varphi, f) \in C^{0,\alpha}(\Omega)$ nếu $\varphi \in C^{0,2\alpha}(\partial\Omega)$ và $f^{\frac{1}{n}} \in C^{0,\alpha}(\overline{\Omega})$. Taylor [4] tiếp tục chứng minh sự tồn tại nghiệm liên tục nếu $f$ liên tục. Blocki [7] (2005) đã đưa ra đặc trưng cho sự tồn tại nghiệm đa điều hòa dưới liên tục trên các miền siêu lồi. Kolodziej [36] (1998) chứng minh sự tồn tại duy nhất và liên tục của nghiệm trên các miền giả lồi chặt. K. Li [38] (2004) mở rộng nghiên cứu sang miền giả lồi bị chặn, đa điều hòa dưới loại $m$ với biên lớp $C^2$, chứng minh sự tồn tại nghiệm duy nhất $u \in C^{0,\alpha}(\overline{\Omega})$ dưới các điều kiện cụ thể về $\varphi$ và $f$. Zeriahi [26] (2001) nghiên cứu trên miền giả lồi mạnh bị chặn, chỉ ra nghiệm duy nhất $u(\Omega, \varphi, f)$ liên tục $\alpha$-Hölder với $0 < \alpha \le \frac{np}{1+p-1}$. Charabati [21] tiếp tục nghiên cứu tính liên tục Hölder trên miền Lipschitz siêu lồi mạnh bị chặn.
  • Sự hội tụ theo dung lượng: E. Taylor [4] (1982) giới thiệu và nghiên cứu khái niệm $C_n$-dung lượng. Xing [41] (2007) chứng minh toán tử Monge-Ampère phức là liên tục dưới sự hội tụ theo $C_n$-dung lượng của dãy hàm đa điều hòa dưới bị chặn. Xing [42] (2009) đi sâu vào mối liên hệ giữa sự hội tụ yếu của độ đo Monge-Ampère và sự hội tụ theo $C_n$-dung lượng, chỉ ra rằng chúng không tương đương trong trường hợp tổng quát và cung cấp các điều kiện đủ. Cegrell [14] (2004) chứng minh rằng nếu dãy hàm đa điều hòa dưới bị chặn dưới bởi một hàm lớp Cegrell $E(\Omega)$ và hội tụ theo $C_{n-1}$-dung lượng thì các độ đo Monge-Ampère tương ứng cũng hội tụ yếu.
  • Thác triển dưới cực đại: Các tác giả như H. Nishino và E. Taylor [5] (1996) đã quan tâm sớm đến vấn đề này, thường tập trung vào điều kiện tồn tại thác triển dưới. U. Cegrell cùng các đồng nghiệp đã giới thiệu khái niệm thác triển dưới cực đại và nghiên cứu trong lớp Cegrell $F(\Omega)$. Hồng [33] (2012) chứng minh một kết quả về độ đo Monge-Ampère phức của thác triển dưới cực đại với giá trị biên.

Contradictions/Debates: Một điểm tranh luận đáng chú ý là mối quan hệ giữa sự hội tụ yếu của dãy độ đo Monge-Ampère phức và sự hội tụ theo $C_n$-dung lượng của dãy hàm tương ứng. Xing [42] đã chỉ ra rằng "sự hội tụ yếu của dãy độ đo ${(dd^c u_j)^n}$ tới $(dd^c u)^n$ trong trường hợp tổng quát không suy ra được sự hội tụ yếu của dãy hàm ${u_j}$ tới $u$, ngay cả trong trường hợp tất cả các hàm $u_j$ trùng với $u$ trên biên của $\Omega$." (Tổng quan các vấn đề nghiên cứu, trang 14). Điều này làm nổi bật nhu cầu tìm kiếm các điều kiện đủ để thiết lập sự tương đương hoặc các mối liên hệ chặt chẽ hơn, là một trong những research gap chính mà luận án này giải quyết.

Positioning trong literature: Luận án này định vị mình ở giao điểm của ba vấn đề mở chính:

  1. Mở rộng miền nghiên cứu: Luận án trực tiếp giải quyết "bài toán $M A(\Omega, \varphi, f)$ đối với miền giả lồi không trơn đa điều hòa dưới loại m" (Mở đầu, trang 7), điều này vượt ra ngoài các giả định về biên trơn (E. Taylor, [3, 4]) hoặc biên lớp $C^2$ (K. Li, [38]), mang lại một kết quả tổng quát hơn.
  2. Thiết lập tương đương hội tụ: Luận án cung cấp "các điều kiện đủ để có được sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm ${u_j}$ và sự hội tụ yếu của dãy toán tử Monge-Ampère phức tương ứng" (Mở đầu, trang 8), lấp đầy khoảng trống mà Xing [42] đã chỉ ra.
  3. Hội tụ của thác triển dưới cực đại: Nghiên cứu này mở rộng các kết quả của U. Cegrell và Hồng [33] bằng cách giải quyết "vấn đề sự hội tụ theo $C_n$-dung lượng của các hàm thác triển dưới cực đại" (Mở đầu, trang 8), sử dụng các kết quả mới về tính ổn định nghiệm.

How this advances the field: Các đóng góp của luận án tiến xa hơn các công trình hiện có bằng cách:

  • Cung cấp một "kết quả tổng quát cho Định lý của [2] cho các miền giả lồi không trơn, đa điều hòa dưới loại m" (Tổng quan các vấn đề nghiên cứu, trang 13), thay vì chỉ giới hạn ở miền trơn hoặc bị chặn.
  • Giải quyết câu hỏi về điều kiện tương đương của các loại hội tụ, đây là một vấn đề trung tâm đã được Xing [42] đặt ra.
  • Tổng quát hóa định lý ổn định nghiệm của U. Cegrell, cung cấp cái nhìn sâu sắc hơn về tính bền vững của nghiệm dưới các nhiễu loạn nhỏ.
  • Mở rộng lý thuyết thác triển dưới cực đại bằng cách nghiên cứu tính hội tụ của chúng, đây là một khía cạnh chưa được khám phá đầy đủ.

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

  • So sánh với K. Li [38] (2004): Li đã nghiên cứu bài toán $M A(\Omega, \varphi, f)$ trên miền giả lồi bị chặn trong $\mathbb{C}^n$ với biên lớp $C^2$, đa điều hòa dưới loại $m$. Luận án này tổng quát hóa kết quả của Li bằng cách xem xét miền giả lồi không trơn (không nhất thiết bị chặn) và đa điều hòa dưới loại $m$, điều kiện biên ít khắt khe hơn ($C^{0,\alpha}(\partial\Omega)$ thay vì $C^{0,m\alpha}(\partial\Omega)$). Định lý 1.6 của luận án cung cấp điều kiện tồn tại nghiệm $u \in C^{0,\gamma}(\Omega)$ với $\gamma$ được xác định cụ thể, áp dụng cho một lớp miền rộng hơn.
  • So sánh với Xing [42] (2009): Xing đã chứng minh rằng sự hội tụ yếu của độ đo Monge-Ampère không suy ra sự hội tụ yếu của dãy hàm tương ứng trong trường hợp tổng quát, và đã đưa ra một số kết quả về mối liên hệ giữa các loại hội tụ. Luận án này tiến xa hơn bằng cách "tìm ra các điều kiện đủ để có được sự tương đương" (Mở đầu, trang 15) giữa sự hội tụ theo $C_n$-dung lượng và sự hội tụ yếu của toán tử Monge-Ampère phức, đặc biệt cho các hàm trong lớp $N^a(\Omega,f)$ và $u_j \ge w$. Đây là một bước đột phá trong việc thu hẹp khoảng cách giữa hai khái niệm hội tụ quan trọng này.

Đó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 các đóng góp lý thuyết quan trọng 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 phức nhiều biến, đặc biệt là trong Lý thuyết đa thế vị.

  • Mở rộng lý thuyết của E. Taylor và K. Li: Luận án mở rộng lý thuyết về tính liên tục Hölder của nghiệm bài toán Dirichlet cho toán tử Monge-Ampère phức (Taylor, [3, 4]; Li, [38]). Cụ thể, nó tổng quát hóa kết quả từ các miền giả lồi chặt, bị chặn, có biên trơn hoặc biên lớp $C^2$ sang "miền giả lồi không trơn, đa điều hòa dưới loại m (không nhất thiết bị chặn)" (Tổng quan các vấn đề nghiên cứu, trang 13). Điều này được thể hiện rõ ràng trong Định lý 1.6, cung cấp các điều kiện tồn tại nghiệm liên tục $\gamma$-Hölder cho một phạm vi miền rộng hơn nhiều so với các công trình trước.
  • Thách thức và bổ sung cho công trình của P.H. Xing và U. Cegrell: Luận án thách thức quan điểm rằng sự hội tụ yếu của độ đo Monge-Ampère không tương đương với sự hội tụ theo $C_n$-dung lượng trong trường hợp tổng quát (Xing, [42]). Bằng cách thiết lập "các điều kiện đủ để có được sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm ${u_j}$ và sự hội tụ yếu của dãy toán tử Monge-Ampère phức tương ứng" (Mở đầu, trang 8), luận án đã bổ sung một mảnh ghép quan trọng vào lý thuyết hội tụ của hàm đa điều hòa dưới. Kết quả này được trình bày cụ thể trong Định lý 2.5, nơi ba mệnh đề về các loại hội tụ được chứng minh là tương đương dưới các giả thiết về lớp hàm $N^a(\Omega, f)$ và điều kiện bị chặn dưới.
  • Phát triển lý thuyết ổn định nghiệm: Luận án tổng quát hóa "định lý ổn định của U. Cegrell" (Mở đầu, trang 15), cung cấp một lý thuyết mạnh mẽ hơn về sự ổn định của nghiệm phương trình Monge-Ampère phức. Điều này là cốt lõi để hiểu cách nghiệm phản ứng với các nhiễu loạn trong dữ liệu đầu vào.
  • Mở rộng lý thuyết thác triển hàm: Luận án đóng góp vào lý thuyết về thác triển dưới cực đại của hàm đa điều hòa dưới, vốn được nghiên cứu bởi H. Nishino, E. Taylor [5], và U. Cegrell. Cụ thể, luận án nghiên cứu "sự hội tụ theo $C_n$-dung lượng của dãy hàm thác triển dưới cực đại với giá trị biên" (Mở đầu, trang 8), một khía cạnh chưa được khám phá triệt để.

Khung phân tích khái niệm (Conceptual framework) của luận án dựa trên mối liên hệ chặt chẽ giữa các khái niệm chính: tính chất của miền $\Omega$ (giả lồi, đa điều hòa dưới loại $m$), đặc tính của hàm đa điều hòa dưới (PSH, MPSH, lớp Cegrell), toán tử Monge-Ampère phức ($(dd^c u)^n$), bài toán Dirichlet, tính liên tục Hölder, $C_n$-dung lượng, và tính ổn định nghiệm. Các thành phần này tương tác với nhau để xác định sự tồn tại, tính chất và hành vi của nghiệm.

Mô hình lý thuyết (Theoretical model) của luận án có thể được hình dung qua các giả thuyết và mệnh đề được đánh số trong các chương:

  • Giả thuyết 1 (Từ Chương 1): Nếu $\Omega$ là miền giả lồi, đa điều hòa dưới loại $m$, $\varphi \in C^{0,\alpha}(\partial\Omega)$ và $f \in L^p(\Omega)$ có giá compact hoặc $\Omega$ bị chặn, thì tồn tại nghiệm bị chặn, liên tục $\gamma$-Hölder $u(\Omega, \varphi, f)$ của bài toán $M A(\Omega, \varphi, f)$ với $0 < \gamma < \min \left(\frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2np}, \frac{1}{2(1+np^{-1})}\right)$. (Định lý 1.6)
  • Giả thuyết 2 (Từ Chương 2): Cho $\Omega$ là miền siêu lồi bị chặn, $f \in E(\Omega)$, $w \in N^a(\Omega, f)$ với $\int_\Omega (-\rho)(dd^c w)^n < +\infty$. Nếu ${u_j} \subset N^a(\Omega, f)$ sao cho $u_j \rightarrow u_0$ h.n trên $\Omega$ khi $j \rightarrow +\infty$ và $u_j \ge w$ trong $\Omega$, thì ba mệnh đề sau là tương đương: (a) $\lim_{j \rightarrow +\infty} \int_\Omega (dd^c u_j)^n = \int_\Omega (dd^c u_0)^n$; (b) $\lim_{j \rightarrow +\infty} \int_\Omega \phi (dd^c u_j)^n = \int_\Omega \phi (dd^c u_0)^n$ với mọi $\phi \in C_0^\infty(\Omega)$; (c) $\lim_{j \rightarrow +\infty} \int_\Omega \left[\max\left(\frac{u_j}{a}, \rho\right) - \max\left(\frac{v_j}{a}, \rho\right)\right] (dd^c u_j)^n = 0$. (Định lý 2.5).

Các đóng góp của luận án hướng tới một "paradigm advancement" trong việc xử lý bài toán Monge-Ampère phức trên các miền phức tạp hơn. Trước đây, các kết quả thường yêu cầu điều kiện trơn (smoothness) hoặc bị chặn chặt chẽ. Luận án này, thông qua việc nghiên cứu miền giả lồi không trơn đa điều hòa dưới loại $m$ (vốn được định nghĩa bởi một hàm $\rho \in C^{0, \frac{2}{m}}(\overline{\Omega})$ có tính chất đặc biệt, xem Định nghĩa 1.2), mở ra khả năng áp dụng lý thuyết cho các cấu trúc hình học tổng quát hơn. Điều này là bằng chứng cho việc dịch chuyển paradigm từ việc chỉ tập trung vào các trường hợp "ideal" sang việc xây dựng một lý thuyết mạnh mẽ hơn, có khả năng xử lý các "real-world" hay "less regular" domains trong toán học.

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

Khung phân tích của luận án tích hợp sâu sắc nhiều lý thuyết toán học tiên tiến để giải quyết các vấn đề đã nêu. Nó không chỉ áp dụng các lý thuyết hiện có mà còn kết hợp chúng một cách sáng tạo để tạo ra các phương pháp tiếp cận mới.

  • Tích hợp lý thuyết: Khung phân tích độc đáo được xây dựng dựa trên sự tích hợp của ít nhất ba lý thuyết chuyên sâu:

    1. Lý thuyết đa thế vị (Pluripotential Theory): Cung cấp các công cụ cơ bản cho việc định nghĩa hàm đa điều hòa dưới, toán tử Monge-Ampère phức, và $C_n$-dung lượng. Luận án đặc biệt nhấn mạnh các lớp hàm Cegrell ($E(\Omega)$, $N(\Omega)$, $F(\Omega)$), vốn là những lớp hàm quan trọng được U. Cegrell giới thiệu để mở rộng định nghĩa của toán tử Monge-Ampère cho các hàm đa điều hòa dưới không bị chặn.
    2. Lý thuyết phương trình đạo hàm riêng phức (Complex Partial Differential Equations): Đặc biệt là việc nghiên cứu bài toán Dirichlet cho phương trình Monge-Ampère phức, tập trung vào sự tồn tại và tính chất định tính của nghiệm (như tính liên tục Hölder).
    3. Giải tích hàm (Functional Analysis): Các khái niệm về không gian hàm ($L^p(\Omega)$, $L^\infty(\Omega)$, $C^{0,\alpha}(\Omega)$), sự hội tụ yếu của các độ đo, và các nguyên lý so sánh là những công cụ không thể thiếu trong các chứng minh.

  • Phương pháp phân tích mới lạ (Novel analytical approach): Luận án phát triển một phương pháp phân tích mới lạ để chứng minh tính liên tục Hölder của nghiệm trên các miền giả lồi không trơn, đa điều hòa dưới loại $m$. Cụ thể, Chương 1 áp dụng "kỹ thuật của V. Zeriahi [26]" (Chương 1, trang 24) nhưng được điều chỉnh và mở rộng đáng kể để phù hợp với các miền có cấu trúc phức tạp hơn. Điều này đòi hỏi việc xây dựng các hàm phụ trợ ($\psi$, $\phi_\delta$, $U_{\sqrt{\delta}}$), sử dụng các bất đẳng thức tinh vi (ví dụ, bất đẳng thức Hölder), nguyên lý cực đại, và các định lý tồn tại nghiệm đã biết trên các miền đơn giản hơn (như Định lý 3 trong [36]) để "xây dựng" nghiệm trên các miền tổng quát. Justification cho phương pháp này nằm ở khả năng giải quyết một vấn đề mở mà các kỹ thuật trực tiếp trước đó không thể thực hiện được. Đối với tính ổn định và sự tương đương hội tụ, phương pháp tiếp cận trong Chương 2 liên quan đến việc xây dựng các dãy hàm tăng dần (ví dụ, $v_j = \max(u, v - \frac{1}{j})$), việc sử dụng tính chất của các lớp hàm Cegrell, và các định lý hội tụ yếu trong không gian độ đo, kết hợp với các đánh giá dung lượng. Các chứng minh thường được chia thành nhiều bước nhỏ, yêu cầu sự tỉ mỉ trong việc kiểm soát các hằng số và điều kiện hội tụ.

  • Đóng góp khái niệm (Conceptual contributions):

    • Mở rộng khái niệm miền giả lồi đa điều hòa dưới loại m: Luận án sử dụng và mở rộng khái niệm "miền giả lồi, đa điều hòa dưới loại m" (Định nghĩa 1.2, trang 17), một lớp miền tổng quát hơn các miền giả lồi chặt, trơn hay biên lớp $C^2$ đã được nghiên cứu trước đây. Định nghĩa này dựa trên sự tồn tại của một hàm bị chặn $\rho \in C^{0, \frac{2}{m}}(\overline{\Omega})$ với tính chất $\left{\rho < -\varepsilon\right} \Subset \Omega$ và $\rho(z) - |z|^2$ là đa điều hòa dưới.
    • Làm rõ mối quan hệ giữa các loại hội tụ: Luận án đóng góp vào việc làm rõ các "điều kiện đủ để có được sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm ${u_j}$ và sự hội tụ yếu của dãy toán tử Monge-Ampère phức tương ứng" (Mở đầu, trang 8), điều này trước đây không được giả định là tương đương (Xing, [42]).

  • Điều kiện biên rõ ràng (Boundary conditions explicitly stated):

    • Hàm biên $\varphi$: Thường được giả định là liên tục và bị chặn trên biên $\partial\Omega$, hoặc cụ thể hơn, $\varphi \in C^{0,\alpha}(\partial\Omega)$ với $0 < \alpha \le 1$ (Định lý 1.6).
    • Hàm nguồn $f$: Là hàm không âm trên $\Omega$, $f \in L^p(\Omega)$ với $p > 1$, và có giá compact trong $\Omega$ hoặc $\Omega$ là miền bị chặn (Định lý 1.6).
    • Điều kiện bị chặn dưới: Trong nghiên cứu về tính ổn định nghiệm, các dãy hàm ${u_j}$ được yêu cầu bị chặn dưới bởi một hàm $w$ thuộc lớp $N^a(\Omega, f)$ (Định lý 2.5), tức là $u_j \ge w$ trong $\Omega$ với mọi $j \ge 0$. Các điều kiện này được thiết lập một cách cẩn thận để đảm bảo tính hợp lệ và khả năng chứng minh của các kết quả.

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

Luận án này sử dụng một phương pháp nghiên cứu tiên tiến và nghiêm ngặt, hoàn toàn thuộc về lĩnh vực toán học lý thuyết (pure mathematics). Nó không liên quan đến thu thập dữ liệu thực nghiệm hay phân tích thống kê, mà tập trung vào việc xây dựng các chứng minh logic, phát triển các định lý mới và tổng quát hóa các kết quả đã biết thông qua các kỹ thuật phân tích phức tạp.

Thiết kế nghiên cứu

  • Triết lý nghiên cứu (Research philosophy): Luận án tuân thủ triết lý Positivism (Chủ nghĩa thực chứng) trong bối cảnh toán học. Mục tiêu là phát hiện và chứng minh các định lý, mệnh đề, và các mối quan hệ toán học tồn tại khách quan, độc lập với người quan sát. Các kết quả được trình bày dưới dạng các chứng minh logic, chặt chẽ, dựa trên các tiên đề và định nghĩa được chấp nhận rộng rãi trong lĩnh vực Giải tích phức. Kiến thức được coi là có giá trị nếu nó có thể được chứng minh một cách logic và không mâu thuẫn.
  • Thiết kế đơn phương pháp (Single method design) - Analytical/Theoretical: Nghiên cứu này không sử dụng phương pháp hỗn hợp (mixed methods) mà hoàn toàn dựa vào phương pháp phân tích lý thuyết. Nó bao gồm việc:
    • Phân tích sâu các công trình nghiên cứu đã có để xác định các vấn đề mở và các hạn chế của lý thuyết hiện tại.
    • Xây dựng các định nghĩa, mệnh đề, và bổ đề phụ trợ.
    • Phát triển các kỹ thuật chứng minh mới hoặc điều chỉnh các kỹ thuật hiện có để áp dụng cho các trường hợp tổng quát hơn.
    • Thực hiện các chứng minh logic chặt chẽ để thiết lập các định lý mới. Rationale cho cách tiếp cận này là bản chất của toán học lý thuyết, nơi sự thật được thiết lập thông qua suy luận logic và chứng minh hình thức.
  • Thiết kế đa cấp (Multi-level design): Mặc dù không phải là "multi-level" theo nghĩa thống kê hay xã hội học, cấu trúc của luận án thể hiện sự phân cấp trong việc xây dựng lý thuyết:
    • Cấp độ 1: Nền tảng (Foundational Level): Nghiên cứu các tính chất cơ bản của hàm đa điều hòa dưới, các định nghĩa về miền giả lồi đa điều hòa dưới loại $m$, $C_n$-dung lượng, và các lớp hàm Cegrell.
    • Cấp độ 2: Nghiên cứu bài toán Dirichlet (Problem-Specific Level): Tập trung vào sự tồn tại và tính liên tục Hölder của nghiệm bài toán $M A(\Omega, \varphi, f)$ trên các miền tổng quát.
    • Cấp độ 3: Nghiên cứu tính ổn định và hội tụ (Stability & Convergence Level): Khảo sát mối liên hệ giữa các loại hội tụ và tính ổn định nghiệm của phương trình Monge-Ampère phức.
    • Cấp độ 4: Ứng dụng và mở rộng (Application & Extension Level): Áp dụng các kết quả đã đạt được để nghiên cứu tính hội tụ của các hàm thác triển dưới cực đại. Mỗi cấp độ xây dựng trên các kết quả của cấp độ trước, tạo thành một hệ thống lý thuyết mạch lạc và có tổ chức.
  • Kích thước mẫu và tiêu chí lựa chọn (Sample size and selection criteria): Trong toán học lý thuyết, khái niệm "kích thước mẫu" không áp dụng theo cách truyền thống. Đối tượng nghiên cứu là các cấu trúc toán học trừu tượng như "hàm đa điều hòa dưới", "toán tử Monge-Ampère phức", "miền giả lồi", "lớp hàm Cegrell", "bài toán Dirichlet" và "nghiệm của chúng trên các lớp hàm Cegrell" (Đối tượng nghiên cứu, trang 9). Tiêu chí lựa chọn dựa trên sự liên quan của các đối tượng này đến các vấn đề mở đã được xác định và tiềm năng của chúng trong việc thúc đẩy lý thuyết đa thế vị. Các định nghĩa về các lớp hàm như $PSH(\Omega)$, $PSH^-(\Omega)$, $MPSH(\Omega)$, $C^{0,\alpha}(\Omega)$, $L^p(\Omega)$ được nêu rõ ràng (Kí hiệu, trang 5).

Quy trình nghiên cứu nghiêm ngặt

  • Chiến lược lấy mẫu (Sampling strategy): Không có chiến lược lấy mẫu theo nghĩa thống kê. Thay vào đó, luận án tập trung vào việc nghiên cứu các "lớp" đối tượng toán học được định nghĩa chính xác, chẳng hạn như "tất cả các miền giả lồi đa điều hòa dưới loại $m$" hoặc "tất cả các hàm trong lớp $N^a(\Omega, f)$". Tính nghiêm ngặt được đảm bảo bởi các định nghĩa hình thức (formal definitions) và các tiên đề cơ bản của Giải tích phức. Tiêu chí bao gồm (inclusion criteria) việc xem xét các hàm thuộc các lớp như $PSH(\Omega) \cap L^\infty(\Omega)$, $\varphi \in C^{0,\alpha}(\partial\Omega)$, $f \in L^p(\Omega)$, và các miền $\Omega$ là giả lồi đa điều hòa dưới loại $m$. Tiêu chí loại trừ (exclusion criteria) là các hàm hoặc miền không thỏa mãn các điều kiện lý thuyết cần thiết cho các chứng minh.
  • Giao thức thu thập dữ liệu (Data collection protocols): Không có dữ liệu thực nghiệm được thu thập. "Dữ liệu" của nghiên cứu là các định lý, mệnh đề, bổ đề, và các kỹ thuật chứng minh từ các công trình toán học đã xuất bản (Tài liệu tham khảo, trang 72). Việc "thu thập" ở đây là việc nghiên cứu, hiểu sâu sắc, và tổng hợp các kiến thức nền tảng từ các nhà toán học hàng đầu như E. Taylor [3, 4], S. Kołodziej [36], K. Li [38], Z. Blocki [7], V. Zeriahi [26], T. Charabati [21], U. Cegrell [14], P.H. Xing [41, 42], và H. Nishino [5]. Các công cụ được mô tả là "các phương pháp và kỹ thuật truyền thống đã được các nhà toán học sử dụng, nghiên cứu trong Giải tích phức" (Phương pháp nghiên cứu, trang 9).
  • Kiểm tra độ tin cậy và giá trị (Validity and reliability): Trong toán học, khái niệm độ tin cậy và giá trị được thay thế bằng tính đúng đắn (correctness) và tính hợp lệ (validity) của các chứng minh.
    • Tính đúng đắn (Correctness): Mỗi bước trong mỗi chứng minh phải tuân thủ các quy tắc logic và các định lý toán học đã được thiết lập. Điều này được kiểm soát thông qua quá trình đánh giá ngang hàng (peer review) và sự kiểm tra cẩn thận của người hướng dẫn khoa học (PGS. Nguyễn Văn Trào và TS. Nguyễn Xuân Hồng) cũng như các thành viên trong nhóm seminar (GS. Lê Mậu Hải và GS. Nguyễn Quang Diệu).
    • Tính hợp lệ (Validity): Các định nghĩa, giả thuyết, và kết luận phải phù hợp với các lý thuyết nền tảng của Giải tích phức và Lý thuyết đa thế vị. Điều này thể hiện qua việc sử dụng các ký hiệu chuẩn mực và các thuật ngữ chuyên ngành (ví dụ, $C(\Omega)$, $C^\infty(\Omega)$, $C^{0,\alpha}(\Omega)$, $PSH(\Omega)$, $(dd^c u)^n$, $C_n(U, \Omega)$ được định nghĩa rõ ràng ở trang 5).
    • Không cần Triangulation, α values: Các khái niệm này không áp dụng trực tiếp cho toán học lý thuyết.

Data và phân tích

  • Đặc điểm mẫu (Sample characteristics): Không có dữ liệu định lượng về "đặc điểm mẫu" như trong các nghiên cứu thực nghiệm. Thay vào đó, luận án xác định rõ ràng các tham số của các đối tượng toán học được nghiên cứu:
    • $n \ge 1$ (số chiều không gian phức).
    • $m > 0$ (loại của miền đa điều hòa dưới, ví dụ, miền giả lồi chặt, trơn là loại $m=2$).
    • $p > 1$ (bậc của không gian $L^p(\Omega)$ cho hàm nguồn $f$).
    • $0 < \alpha \le 1$ (bậc của tính liên tục Hölder cho hàm biên $\varphi$).
    • $0 < \gamma < \min \left(\frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2np}, \frac{1}{2(1+np^{-1})}\right)$ (bậc của tính liên tục Hölder của nghiệm).
  • Kỹ thuật phân tích nâng cao (Advanced techniques): Phương pháp phân tích chủ yếu là định tính, tập trung vào các chứng minh hình thức. Các kỹ thuật toán học được sử dụng bao gồm:
    • Nguyên lý so sánh (Comparison principle): Được áp dụng rộng rãi, ví dụ: "Do $u_0 + \psi \le u_j \le u_0$ trên $\partial\Omega_j$ và $(dd^c(u_0+\psi))^n \ge (dd^c u_j)^n \ge (dd^c u_0)^n$, theo nguyên lý so sánh ta có $u_0 + \psi \le u_j \le u_0$ trên $\Omega_j$." (Chương 1, trang 23). Nguyên lý này là công cụ thiết yếu để so sánh các nghiệm hoặc các hàm đa điều hòa dưới khác nhau.
    • Bất đẳng thức Hölder: Được sử dụng trong các đánh giá tích phân để ước lượng các $C_n$-dung lượng, ví dụ: "Theo bước 1 và sử dụng bất đẳng thức Hölder, $t g(s+t) \le \left(\int_{suppf \cap U_s} f dV\right)^{\frac{1}{n}} \cdot \left(\int_{suppf \cap U_s} dV\right)^{\frac{nq-1}{nq}}$" (Chương 1, trang 27).
    • Định lý Fubini và công thức Jensen: Được áp dụng trong các tính toán tích phân và ước lượng giá trị trung bình của các hàm đa điều hòa dưới, ví dụ: "...sử dụng Định lý Fubini ta được $\frac{1}{\sigma_{2n-1} \delta^n} \int_{suppf} \int_0^\delta r^{2n-1} \int_0^r t^{1-2n} \int_{|\xi-z|\le t} \Delta u(\xi) dV(\xi) dt dr dV(z)$" (Chương 1, trang 31).
    • Lý thuyết về $C_n$-dung lượng: Được sử dụng để định lượng "kích thước" của các tập hợp nơi các hàm đa điều hòa dưới có hành vi bất thường, từ đó thiết lập các điều kiện hội tụ.
    • Lý thuyết về các lớp hàm Cegrell: Cho phép mở rộng định nghĩa của toán tử Monge-Ampère và nghiên cứu các hàm không bị chặn.
  • Kiểm tra độ vững chắc (Robustness checks): Trong toán học, độ vững chắc của một kết quả được đảm bảo bằng việc kiểm tra lại các giả định, các bước chứng minh, và xem xét các trường hợp biên. Luận án thường xuyên đề cập đến việc "không mất tính tổng quát ta có thể giả sử..." để đơn giản hóa chứng minh mà không ảnh hưởng đến tính tổng quát của kết quả. Ví dụ, trong Định lý 2.5, "Không mất tính tổng quát ta giả sử rằng $f < 0$ và $-1 \le \rho \le 0$ trong $\Omega$."
  • Kích thước hiệu ứng và khoảng tin cậy (Effect sizes and confidence intervals): Không áp dụng cho nghiên cứu này vì nó không phải là nghiên cứu thống kê. Các kết quả được báo cáo dưới dạng các định lý và mệnh đề đúng một cách tuyệt đối dưới các giả thiết đã nêu.

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

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

Luận án đã công bố bốn đến năm phát hiện then chốt, mỗi phát hiện được hỗ trợ bởi bằng chứng cụ thể từ các chứng minh toán học.

  1. Tính liên tục Hölder mở rộng cho nghiệm phương trình Monge-Ampère trên miền giả lồi không trơn đa điều hòa dưới loại m: Luận án chứng minh rằng nghiệm của bài toán Dirichlet $M A(\Omega, \varphi, f)$ tồn tại và liên tục $\gamma$-Hölder trên các miền giả lồi không trơn, đa điều hòa dưới loại $m$, ngay cả khi miền $\Omega$ không bị chặn và hàm nguồn $f$ có giá compact.

    • Specific Evidence: Định lý 1.6 nêu rõ: "Cho $m > 0$ và $\Omega$ là miền giả lồi, đa điều hòa dưới loại $m$...Khi đó, tồn tại một nghiệm bị chặn, liên tục $\gamma$-Hölder $u(\Omega; \varphi; f)$ của bài toán $M A(\Omega; \varphi; f)$ với mọi $0 < \gamma < \min \left(\frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2np}, \frac{1}{2(1+np^{-1})}\right)$." (Chương 1, trang 33). Kết quả này tổng quát hóa các định lý trước đây của Taylor [3] (chỉ cho miền trơn) và Li [38] (chỉ cho miền biên $C^2$).
    • Statistical significance: Trong toán học lý thuyết, "ý nghĩa thống kê" được thay thế bằng tính đúng đắn và tính tổng quát của chứng minh. Các điều kiện cho $\gamma$ được xác định chính xác và chứng minh là đúng một cách logic.
    • Compare with prior research findings: Các nghiên cứu trước đây như K. Li [38] yêu cầu miền $\Omega$ có biên lớp $C^2$ và $\varphi \in C^{0,m\alpha}(\partial\Omega)$, trong khi luận án này chỉ cần $\varphi \in C^{0,\alpha}(\partial\Omega)$ và miền không trơn, mở rộng đáng kể phạm vi áp dụng.

  2. Sự tương đương giữa sự hội tụ theo $C_n$-dung lượng và sự hội tụ yếu của độ đo Monge-Ampère: Phát hiện này giải quyết một vấn đề mở quan trọng trong lý thuyết đa thế vị. Luận án chỉ ra rằng, dưới các điều kiện cụ thể về lớp hàm (Cegrell class $N^a(\Omega, f)$) và điều kiện bị chặn dưới, hai loại hội tụ này là tương đương.

    • Specific Evidence: Định lý 2.5 (Chương 2, trang 45) chứng minh sự tương đương của ba mệnh đề: (a) sự hội tụ của tổng dung lượng, (b) sự hội tụ yếu của độ đo Monge-Ampère, và (c) một dạng hội tụ tích phân phức tạp hơn. Điều này xảy ra khi "${u_j} \subset N^a(\Omega, f)$ sao cho $u_j \rightarrow u_0$ h.n trên $\Omega$ khi $j \rightarrow +\infty$ và $u_j \ge w$ trong $\Omega$ với mọi $j \ge 0$".
    • Counter-intuitive results with theoretical explanation: Trước đây, P.H. Xing [42] đã chứng minh rằng trong trường hợp tổng quát, sự hội tụ yếu của độ đo không suy ra sự hội tụ yếu của hàm. Phát hiện này cung cấp các điều kiện cụ thể dưới đó điều tưởng chừng phản trực giác lại trở nên tương đương, làm sâu sắc thêm hiểu biết về bản chất của các loại hội tụ này.

  3. Tổng quát hóa định lý ổn định nghiệm của phương trình Monge-Ampère phức: Dựa trên sự tương đương hội tụ đã thiết lập, luận án đã tổng quát hóa định lý ổn định nghiệm của U. Cegrell, cung cấp một khuôn khổ vững chắc hơn để phân tích sự thay đổi của nghiệm dưới các điều kiện biến đổi.

    • Specific Evidence: Mặc dù định lý cụ thể không được trích dẫn chi tiết trong phần văn bản cung cấp, Mở đầu (trang 15) rõ ràng nêu: "luận án đưa ra một kết quả tổng quát cho định lý ổn định của U. Cegrell". Kết quả này dựa trên nền tảng của Định lý 2.5.

  4. Sự hội tụ theo $C_n$-dung lượng của dãy hàm thác triển dưới cực đại: Luận án đã xác định tính chất hội tụ của các hàm thác triển dưới cực đại, một lĩnh vực nghiên cứu mới và quan trọng.

    • Specific Evidence: "Trong vấn đề thứ ba này, luận án sẽ ứng dụng kết quả của chương 2 về tính ổn định nghiệm của phương trình Monge-Ampère phức để nghiên cứu sự hội tụ theo dung lượng của dãy các hàm thác triển dưới cực đại của các hàm đa điều hòa dưới với giá trị biên." (Mở đầu, trang 16). Đây là một phát hiện mới, mở rộng công trình của U. Cegrell và Hồng [33].

Implications đa chiều

Các phát hiện đột phá của luận án mang lại những implications sâu rộng trên nhiều khía cạnh:

  • Theoretical advances (Tiến bộ lý thuyết):

    • Contribution to 2+ theories: Luận án đóng góp vào Lý thuyết đa thế vị bằng cách mở rộng các định lý tồn tại và tính chất nghiệm, và vào Lý thuyết phương trình đạo hàm riêng bằng cách cung cấp các công cụ mới để phân tích các phương trình loại Monge-Ampère. Nó cũng tăng cường Lý thuyết dung lượng bằng cách làm rõ mối quan hệ giữa $C_n$-dung lượng và sự hội tụ yếu của độ đo.
    • Các điều kiện liên tục Hölder mở rộng cho phép các nhà toán học làm việc với một lớp miền rộng hơn, vốn gần với các vấn đề trong vật lý và kỹ thuật hơn (ví dụ, các miền có góc hoặc cạnh).
    • Việc thiết lập sự tương đương giữa các loại hội tụ cung cấp một cầu nối quan trọng giữa các khái niệm khác nhau trong Giải tích phức, đơn giản hóa một số chứng minh và mở ra các phương pháp tiếp cận mới.

  • Methodological innovations (Đổi mới phương pháp):

    • Các kỹ thuật phân tích được phát triển để xử lý các miền không trơn và không bị chặn, bao gồm việc điều chỉnh kỹ thuật của Zeriahi [26], có thể "applicable to other contexts" trong nghiên cứu phương trình đạo hàm riêng trên các miền phức tạp hơn. Điều này cung cấp một khuôn khổ cho các nghiên cứu tương lai về các toán tử đạo hàm riêng phi tuyến tính khác.
    • Việc tích hợp các lớp hàm Cegrell một cách có hệ thống vào các chứng minh hội tụ đặt ra một tiêu chuẩn mới cho việc phân tích các hàm đa điều hòa dưới không bị chặn.

  • Practical applications (Ứng dụng thực tiễn):

    • Mặc dù là toán học thuần túy, Lý thuyết đa thế vị có những "practical applications" gián tiếp. Ví dụ, phương trình Monge-Ampère xuất hiện trong các bài toán tối ưu hình học, biến đổi không gian, và lý thuyết điều khiển. Các cải tiến trong việc hiểu nghiệm của chúng có thể dẫn đến các thuật toán tốt hơn trong thiết kế quang học (optical design), điều khiển robot (robot control) hoặc xử lý ảnh (image processing).
    • Các khuyến nghị cụ thể (specific recommendations) cho ngành không được nêu trực tiếp trong luận án này do tính chất thuần túy của nó, nhưng các nhà nghiên cứu R&D trong các lĩnh vực trên có thể sử dụng các kết quả này làm nền tảng lý thuyết.

  • Policy recommendations (Khuyến nghị chính sách):

    • Không có khuyến nghị chính sách trực tiếp từ luận án toán học thuần túy này.

  • Generalizability conditions (Điều kiện tổng quát hóa):

    • Các kết quả có tính tổng quát cao, áp dụng cho mọi miền $\Omega \subset \mathbb{C}^n$ thỏa mãn các điều kiện về giả lồi, đa điều hòa dưới loại $m$, và các điều kiện ràng buộc về hàm biên $\varphi$ và hàm nguồn $f$ đã được nêu rõ (ví dụ, $p > 1$, $0 < \alpha \le 1$, $m > 0$).
    • Các điều kiện này "clearly specified" trong các định lý (ví dụ, Định lý 1.6, Định lý 2.5), cho phép các nhà nghiên cứu khác áp dụng hoặc mở rộng các kết quả này.

Limitations và Future Research

Mặc dù luận án đã đạt được những đóng góp đáng kể, nhưng cũng có những hạn chế nhất định và mở ra các hướng nghiên cứu trong tương lai.

3-4 specific limitations acknowledged

  1. Tính duy nhất nghiệm trên miền không bị chặn: Luận án đã chứng minh sự tồn tại nghiệm cho bài toán $M A(\Omega, \varphi, f)$ trên miền giả lồi không trơn, đa điều hòa dưới loại $m$, đặc biệt trong trường hợp $f$ có giá compact. Tuy nhiên, "trên miền không bị chặn thì tính duy nhất của nghiệm vẫn là bài toán mở." (Chương 1, trang 24). Đây là một hạn chế quan trọng, cần được giải quyết trong các nghiên cứu tiếp theo.
  2. Giới hạn của các lớp hàm: Các kết quả về sự tương đương hội tụ trong Định lý 2.5 được thiết lập cho các hàm thuộc lớp Cegrell $N^a(\Omega, f)$ và các điều kiện bị chặn dưới cụ thể. Việc mở rộng các kết quả này cho các lớp hàm rộng hơn hoặc các điều kiện ít ràng buộc hơn vẫn là một thách thức.
  3. Điều kiện về biên không trơn: Mặc dù đã mở rộng sang miền giả lồi không trơn, tính chất "đa điều hòa dưới loại $m$" vẫn đòi hỏi sự tồn tại của một hàm $\rho \in C^{0, \frac{2}{m}}(\overline{\Omega})$ với các tính chất nhất định. Việc nghiên cứu các miền có biên ít "đẹp" hơn nữa (ví dụ, chỉ Lipschitz hoặc chỉ liên tục) sẽ đòi hỏi các kỹ thuật khác.
  4. Bậc liên tục Hölder của nghiệm: Bậc liên tục Hölder $\gamma$ trong Định lý 1.6 vẫn phụ thuộc vào nhiều tham số (m, n, p, $\alpha$) và có thể chưa phải là tối ưu. Việc tìm ra bậc tối ưu cho các lớp miền và hàm nguồn đã cho là một vấn đề phức tạp.

Boundary conditions về context/sample/time

  • Context: Nghiên cứu được thực hiện trong khuôn khổ Giải tích phức và Lý thuyết đa thế vị. Các kết quả có thể không trực tiếp áp dụng cho các loại phương trình đạo hàm riêng khác (ví dụ, elliptic, parabolic) hoặc trong các cấu trúc hình học hoàn toàn khác (ví dụ, hình học Riemann).
  • Sample: Khái niệm "sample" trong toán học lý thuyết liên quan đến các đối tượng toán học được định nghĩa. Các kết quả được chứng minh cho các lớp hàm và miền cụ thể, không phải cho tất cả các hàm hay miền trong $\mathbb{C}^n$.
  • Time: Luận án phản ánh tình trạng nghiên cứu đến năm 2018. Các công trình mới hơn có thể đã xuất hiện, mở ra các góc nhìn hoặc kỹ thuật mới.

Future research agenda với 4-5 concrete directions

  1. Nghiên cứu tính duy nhất nghiệm trên miền không bị chặn: Đây là một "concrete direction" trực tiếp từ hạn chế đã nêu. Cần tìm ra các điều kiện bổ sung (ví dụ, điều kiện tăng trưởng của nghiệm, điều kiện trên hàm biên ở vô cực) để đảm bảo tính duy nhất của nghiệm bài toán $M A(\Omega, \varphi, f)$ trên các miền không bị chặn.
  2. Mở rộng tính liên tục Hölder và tính ổn định cho các toán tử phức tạp hơn: Mở rộng các kết quả về tính liên tục Hölder và tính ổn định nghiệm cho các dạng tổng quát hơn của toán tử Monge-Ampère phức hoặc các toán tử đạo hàm riêng phức phi tuyến tính khác (ví dụ, các toán tử loại Monge-Ampère suy rộng).
  3. Khám phá mối liên hệ giữa các loại hội tụ khác: Điều tra các mối liên hệ giữa $C_n$-dung lượng và các dạng hội tụ khác như hội tụ theo phân bố, hội tụ địa phương, hoặc hội tụ trong các không gian Sobolev-type cho hàm đa điều hòa dưới.
  4. Nghiên cứu thác triển dưới cực đại trên các miền phức tạp hơn: Mở rộng nghiên cứu về sự hội tụ của các hàm thác triển dưới cực đại sang các miền có cấu trúc biên yếu hơn (ví dụ, miền Lipschitz) hoặc các lớp hàm không bị chặn khác.
  5. Ứng dụng vào các bài toán hình học và vật lý: Tìm kiếm các ứng dụng cụ thể của các định lý đã chứng minh trong các bài toán hình học vi phân phức, lý thuyết Kahler-Einstein, hoặc các mô hình vật lý liên quan đến phương trình Monge-Ampère.
  6. Cải tiến phương pháp luận: Phát triển các kỹ thuật phân tích mạnh mẽ hơn để giảm bớt các ràng buộc về tính trơn của miền hoặc tính bị chặn của hàm trong các chứng minh, đặc biệt là trong việc xử lý các tập đa cực (pluripolar sets) và các singular measures.

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

Luận án này, dù thuộc lĩnh vực toán học lý thuyết, có tiềm năng tạo ra những tác động và ảnh hưởng sâu rộng trong giới học thuật và có thể gián tiếp đến các lĩnh vực khác.

  • Academic impact với potential citations estimate:

    • Các đóng góp về tính liên tục Hölder trên các miền giả lồi không trơn đa điều hòa dưới loại $m$ (Định lý 1.6) và sự tương đương giữa các loại hội tụ (Định lý 2.5) được kỳ vọng sẽ trở thành các kết quả nền tảng trong Lý thuyết đa thế vị.
    • Với tính chất mở rộng và tổng quát hóa các định lý của các nhà toán học hàng đầu như E. Taylor, K. Li, P.H. Xing và U. Cegrell, luận án có tiềm năng được trích dẫn thường xuyên trong các công trình nghiên cứu sau này, đặc biệt là trong các luận văn tiến sĩ, các bài báo khoa học trên các tạp chí chuyên ngành như Journal of Functional Analysis, Annales de l'Institut Fourier, Mathematische Annalen, hoặc Indiana University Mathematics Journal.
    • Ước tính tiềm năng trích dẫn: Với 3-4 đóng góp đột phá, luận án có thể thu hút từ 20-50 trích dẫn trong 10 năm đầu tiên, tùy thuộc vào việc các kết quả này được khai thác và phát triển bởi các nhà nghiên cứu khác như thế nào.

  • Industry transformation với specific sectors:

    • Là một nghiên cứu toán học thuần túy, luận án không trực tiếp gây ra "industry transformation". Tuy nhiên, các phương trình loại Monge-Ampère xuất hiện trong các bài toán tối ưu hình học, ví dụ trong thiết kế thấu kính quang học (optical lens design), nơi cần biến đổi hình dạng bề mặt để đạt được các thuộc tính quang học mong muốn. Các kết quả về tính liên tục Hölder của nghiệm có thể cung cấp các giới hạn lý thuyết về độ trơn của các giải pháp thiết kế này.
    • Trong lĩnh vực đồ họa máy tính (computer graphics) và xử lý ảnh (image processing), các toán tử Monge-Ampère có thể được sử dụng để biến đổi hình ảnh hoặc tạo ra các mô hình 3D với các đặc tính hình học nhất định. Việc hiểu sâu hơn về tính chất nghiệm có thể dẫn đến các thuật toán mạnh mẽ hơn và hiệu quả hơn trong việc tạo hình và biến đổi.
    • Các ngành cụ thể có thể hưởng lợi gián tiếp bao gồm: Thiết kế quang học, Kỹ thuật robot, Đồ họa máy tính, Thị giác máy tính.

  • Policy influence với government levels:

    • Không có ảnh hưởng trực tiếp đến chính sách của chính phủ. Tuy nhiên, việc hỗ trợ nghiên cứu cơ bản trong toán học, như luận án này, là nền tảng cho sự phát triển khoa học công nghệ lâu dài của quốc gia. Các chính sách cấp quốc gia về đầu tư vào khoa học cơ bản (Bộ Giáo dục và Đào tạo, Bộ Khoa học và Công nghệ) là cần thiết để nuôi dưỡng những tài năng nghiên cứu như tác giả luận án.

  • Societal benefits quantified where possible:

    • Lợi ích xã hội từ toán học thuần túy thường là gián tiếp và khó định lượng. Tuy nhiên, việc thúc đẩy tri thức khoa học cơ bản là yếu tố then chốt cho sự tiến bộ của nền văn minh. Nó nuôi dưỡng tư duy phản biện, kỹ năng giải quyết vấn đề phức tạp và tạo ra nền tảng cho các đột phá công nghệ trong tương lai.
    • Việc đào tạo một nhà khoa học có chuyên môn sâu trong một lĩnh vực toán học tiên tiến như Giải tích phức nhiều biến đóng góp vào nguồn nhân lực chất lượng cao của đất nước, có thể tham gia vào giảng dạy, nghiên cứu, hoặc các vị trí đòi hỏi tư duy logic cao trong các ngành công nghiệp công nghệ cao.
    • Có thể ước lượng lợi ích xã hội dưới dạng sự nâng cao uy tín khoa học của Trường Đại học Sư phạm Hà Nội và của ngành Toán học Việt Nam trên trường quốc tế.

  • International relevance với global implications:

    • Lý thuyết đa thế vị là một lĩnh vực nghiên cứu toàn cầu, thu hút các nhà toán học từ khắp nơi trên thế giới. Các kết quả của luận án này giải quyết các vấn đề mở được cộng đồng toán học quốc tế quan tâm (E. Taylor, K. Li, P.H. Xing, U. Cegrell đều là các nhà khoa học quốc tế nổi tiếng).
    • Việc tổng quát hóa các định lý hiện có và thiết lập các mối quan hệ hội tụ mới có "global implications" vì chúng góp phần vào kho tàng tri thức toán học chung, không giới hạn bởi địa lý.
    • Các công trình được trích dẫn và so sánh đều là các công trình quốc tế uy tín, thể hiện sự đối sánh và đóng góp của luận án vào dòng chảy nghiên cứu toàn cầu. Luận án này khẳng định khả năng của các nhà toán học Việt Nam trong việc thực hiện nghiên cứu tiên tiến, đóng góp vào cộng đồng khoa học quốc tế.

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

Các đóng góp của luận án này mang lại lợi ích cho nhiều đối tượng khác nhau trong và ngoài lĩnh vực học thuật, với những lợi ích cụ thể được định lượng khi có thể.

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

    • Specific research gaps: Luận án cung cấp một khuôn mẫu rõ ràng về cách xác định và giải quyết các vấn đề nghiên cứu mở trong toán học lý thuyết. Các "research gaps" được nêu cụ thể (ví dụ, tính duy nhất nghiệm trên miền không bị chặn, mở rộng lớp hàm) sẽ là điểm khởi đầu quan trọng cho các nghiên cứu sinh tiến sĩ tiếp theo trong Lý thuyết đa thế vị hoặc các lĩnh vực liên quan của Giải tích phức.
    • Lợi ích định lượng: Cung cấp ít nhất 4-5 hướng nghiên cứu mới (xem phần Future Research), giúp rút ngắn thời gian tìm kiếm đề tài và xây dựng khung lý thuyết cho các nghiên cứu sinh. Các kỹ thuật chứng minh phức tạp được sử dụng trong luận án cũng là nguồn tài liệu quý giá để học hỏi và phát triển năng lực nghiên cứu.

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

    • Theoretical advances: Các định lý mới về tính liên tục Hölder (Định lý 1.6) và sự tương đương hội tụ (Định lý 2.5) sẽ được các nhà khoa học cấp cao quan tâm sâu sắc. Chúng không chỉ lấp đầy các khoảng trống lý thuyết mà còn mở ra các con đường mới để phát triển Lý thuyết đa thế vị.
    • Các kết quả này có thể được sử dụng làm cơ sở để xây dựng các lý thuyết tổng quát hơn, giải quyết các bài toán khó hơn, hoặc tích hợp vào các khóa học sau đại học chuyên sâu.
    • Lợi ích định lượng: Nâng cao chất lượng giảng dạy và nghiên cứu trong các trường đại học, với các bài báo có chất lượng quốc tế từ các nghiên cứu sinh, giúp tăng chỉ số H-index và uy tín của các nhóm nghiên cứu.

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

    • Practical applications: Mặc dù là toán học thuần túy, các kết quả về phương trình Monge-Ampère có thể cung cấp các nguyên tắc cơ bản cho việc phát triển thuật toán trong các ứng dụng như thiết kế quang học, hình học tính toán, và xử lý tín hiệu/ảnh.
    • Ví dụ, việc hiểu biết sâu sắc hơn về tính chất nghiệm có thể dẫn đến việc thiết kế các thuật toán tối ưu hóa hiệu quả hơn cho các bề mặt hoặc vật thể có hình dạng phức tạp.
    • Lợi ích định lượng: Gián tiếp thúc đẩy sự đổi mới trong các lĩnh vực công nghệ cao. Mặc dù khó định lượng trực tiếp, các công ty R&D có thể tiết kiệm hàng ngàn giờ nghiên cứu thử và sai thông qua việc áp dụng các nguyên tắc toán học vững chắc.

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

    • Evidence-based recommendations: Mặc dù không có khuyến nghị chính sách trực tiếp từ nội dung luận án, sự tồn tại của các nghiên cứu tiến sĩ chất lượng cao như thế này là bằng chứng cho thấy cần tiếp tục đầu tư vào nghiên cứu khoa học cơ bản.
    • Các nhà hoạch định chính sách có thể sử dụng thành tựu này để thúc đẩy các chương trình hỗ trợ nghiên cứu toán học, công nhận vai trò của toán học trong sự phát triển kinh tế và công nghệ quốc gia.
    • Lợi ích định lượng: Góp phần vào việc cải thiện vị thế khoa học của Việt Nam trên bản đồ học thuật thế giới, một yếu tố quan trọng trong việc thu hút đầu tư nước ngoài và tăng cường hợp tác quốc tế.

  • Tổng thể: Luận án này góp phần vào việc tạo ra một môi trường học thuật sôi động, khuyến khích các nhà nghiên cứu trẻ và củng cố vị thế của toán học như một ngành khoa học cơ bản quan trọng đối với sự phát triển bền vững.

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

Các câu trả lời dưới đây cung cấp các chi tiết cụ thể để làm rõ các khía cạnh cốt lõi của luận án.

  1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? (Tên lý thuyết được mở rộng) Đóng góp lý thuyết độc đáo nhất của luận án là việc thiết lập sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của một dãy hàm đa điều hòa dưới và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng. Phát hiện này mở rộng lý thuyết hội tụ trong Lý thuyết đa thế vị, đặc biệt là các công trình của P.H. Xing [42] và U. Cegrell [14]. Xing đã chỉ ra rằng trong trường hợp tổng quát, sự hội tụ yếu của độ đo không suy ra sự hội tụ yếu của hàm, ngay cả khi các hàm trùng nhau trên biên. Luận án này đã xác định được "điều kiện đủ để có được sự tương đương" (Mở đầu, trang 8) này, cụ thể là cho các dãy hàm ${u_j} \subset N^a(\Omega, f)$ bị chặn dưới bởi $w \in N^a(\Omega, f)$ trên miền siêu lồi bị chặn $\Omega$. Định lý 2.5 nêu rõ ba mệnh đề tương đương, trong đó mệnh đề (b) là sự hội tụ yếu của độ đo và mệnh đề (a) liên quan đến dung lượng, chứng minh mối liên hệ chặt chẽ này dưới các giả thiết đã cho.

  2. Đổi mới phương pháp luận trong luận án là gì? (So sánh với 2+ nghiên cứu trước đây) Đổi mới phương pháp luận chính nằm ở việc phát triển và điều chỉnh kỹ thuật phân tích để chứng minh tính liên tục Hölder của nghiệm bài toán Dirichlet cho toán tử Monge-Ampère phức trên các miền giả lồi không trơn, đa điều hòa dưới loại $m$. Luận án này đã ứng dụng "kỹ thuật của V. Zeriahi [26]" (Chương 1, trang 24), nhưng mở rộng nó từ miền giả lồi mạnh bị chặn sang các miền giả lồi không trơn, đa điều hòa dưới loại $m$ (không nhất thiết bị chặn).

    • So với V. Zeriahi [26]: Zeriahi nghiên cứu trên các miền giả lồi mạnh bị chặn và chỉ ra rằng nghiệm liên tục $\alpha$-Hölder với $0 < \alpha \le \frac{np}{1+p-1}$. Luận án này đã điều chỉnh kỹ thuật của Zeriahi để xử lý các miền không trơn và không bị chặn, sử dụng khái niệm miền đa điều hòa dưới loại $m$ và một hàm $\rho \in C^{0, \frac{2}{m}}(\overline{\Omega})$ để xây dựng các ước lượng. Bậc Hölder của nghiệm trong luận án cũng tổng quát hơn, là $0 < \gamma < \min \left(\frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2np}, \frac{1}{2(1+np^{-1})}\right)$, phản ánh sự phức tạp của miền.
    • So với K. Li [38]: Li đã xem xét miền giả lồi bị chặn với biên lớp $C^2$ và đa điều hòa dưới loại $m$. Phương pháp của Li dựa trên tính trơn của biên. Luận án này vượt qua giả định về biên trơn, đòi hỏi một cách tiếp cận hoàn toàn khác để kiểm soát hành vi của nghiệm gần biên không trơn, thường thông qua việc xây dựng các hàm phụ trợ tinh vi (như $\psi$, $\phi_\delta$, $U_{\sqrt{\delta}}$) và áp dụng nguyên lý cực đại trên các miền được "làm trơn" một cách xấp xỉ.
    • So với E. Taylor [3, 4]: Taylor nghiên cứu trên miền giả lồi chặt, bị chặn có biên trơn. Phương pháp của ông dựa vào việc tận dụng tính trơn của biên. Luận án này giải quyết miền không trơn, đòi hỏi các kỹ thuật ước lượng dung lượng và tích phân phức tạp hơn để kiểm soát nghiệm, đặc biệt khi hàm nguồn $f$ chỉ thuộc $L^p(\Omega)$ thay vì $C^\infty(\Omega)$.

  3. Phát hiện đáng ngạc nhiên nhất trong luận án là gì? (Với hỗ trợ dữ liệu) Phát hiện đáng ngạc nhiên nhất là việc thiết lập sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của một dãy hàm đa điều hòa dưới và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng dưới các điều kiện cụ thể (Định lý 2.5). Điều này đáng ngạc nhiên vì P.H. Xing [42] đã chỉ ra rằng, trong trường hợp tổng quát, các loại hội tụ này không tương đương.

    • Hỗ trợ dữ liệu (Specific evidence): Định lý 2.5 (Chương 2, trang 45) phát biểu rằng: "Cho $\Omega \subset \mathbb{C}^n$ là một miền siêu lồi bị chặn và $f \in E(\Omega)$, $w \in N^a(\Omega, f)$ sao cho $\int_\Omega (-\rho)(dd^c w)^n < +\infty$ với $\rho \in E_0(\Omega)$. Giả sử ${u_j} \subset N^a(\Omega, f)$ sao cho $u_j \rightarrow u_0$ h.n trên $\Omega$ khi $j \rightarrow +\infty$ và $u_j \ge w$ trong $\Omega$ với mọi $j \ge 0$. Khi đó, ta có các mệnh đề sau là tương đương: (a) $\lim_{j \rightarrow +\infty} \int_\Omega (dd^c u_j)^n = \int_\Omega (dd^c u_0)^n$; (b) Với mỗi $\phi \in C_0^\infty(\Omega)$, ta có $\lim_{j \rightarrow +\infty} \int_\Omega \phi (dd^c u_j)^n = \int_\Omega \phi (dd^c u_0)^n$." Sự tương đương này là then chốt vì nó cung cấp một cầu nối mạnh mẽ hơn giữa hai khái niệm hội tụ tưởng chừng rời rạc, cho phép suy luận qua lại giữa chúng trong các lớp hàm và điều kiện miền cụ thể.

  4. Giao thức tái tạo (replication protocol) có được cung cấp không? Trong toán học lý thuyết, "giao thức tái tạo" không áp dụng theo nghĩa thực nghiệm. Thay vào đó, nó được thay thế bằng tính minh bạch và chặt chẽ của các chứng minh toán học. Luận án cung cấp đầy đủ các định nghĩa, mệnh đề, bổ đề, và các bước chứng minh chi tiết để người đọc có chuyên môn có thể độc lập kiểm tra và "tái tạo" (tức là xác minh) các kết quả đã công bố. Các công cụ và kỹ thuật được sử dụng (ví dụ, nguyên lý so sánh, bất đẳng thức Hölder, định lý Fubini) đều là tiêu chuẩn trong Giải tích phức. "Chứng minh được đưa ra tương tự [26]. Tuy nhiên, để thuận tiện cho người đọc, ta sẽ trình bày chi tiết như sau." (Chương 1, trang 25). Đây là một ví dụ về việc luận án cung cấp đủ chi tiết để người đọc có thể đi theo lập luận. Do đó, một nhà toán học khác có đủ kiến thức nền tảng hoàn toàn có thể kiểm tra tính đúng đắn của tất cả các kết quả và chứng minh trong luận án.

  5. Chương trình nghiên cứu 10 năm có được phác thảo không? Mặc dù luận án không có một phần riêng biệt với tiêu đề "Chương trình nghiên cứu 10 năm", phần "Limitations và Future Research" (trang 69) của nó đã phác thảo một lộ trình nghiên cứu rõ ràng và cụ thể cho tương lai. Các hướng nghiên cứu được đề xuất bao gồm:

    • Nghiên cứu tính duy nhất nghiệm trên miền không bị chặn (Chương 1, trang 24).
    • Mở rộng tính liên tục Hölder và tính ổn định cho các toán tử phức tạp hơn hoặc các lớp hàm rộng hơn.
    • Khám phá mối liên hệ giữa các loại hội tụ khác trong Lý thuyết đa thế vị.
    • Nghiên cứu thác triển dưới cực đại trên các miền có cấu trúc biên yếu hơn.
    • Ứng dụng các kết quả vào các bài toán hình học và vật lý.
    • Cải tiến phương pháp luận để giảm bớt các ràng buộc về tính trơn. Những gợi ý này đủ cụ thể để hình thành một chương trình nghiên cứu chi tiết kéo dài nhiều năm, cung cấp nhiều con đường tiềm năng cho các nghiên cứu sinh và nhà khoa học tương lai.

Kết luận

Luận án này đã thực hiện những đóng góp đáng kể vào Lý thuyết đa thế vị, một lĩnh vực trọng tâm trong Giải tích phức nhiều biến, bằng cách giải quyết một số vấn đề mở quan trọng.

  1. Mở rộng tính liên tục Hölder: Luận án đã tổng quát hóa tính liên tục Hölder của nghiệm bài toán Dirichlet cho toán tử Monge-Ampère phức trên các miền giả lồi không trơn, đa điều hòa dưới loại $m$, không nhất thiết bị chặn (Định lý 1.6). Phát hiện này mở rộng đáng kể phạm vi áp dụng của các định lý trước đây, vốn yêu cầu điều kiện biên trơn hơn.
  2. Thiết lập tương đương hội tụ: Nghiên cứu đã thành công trong việc xác định các điều kiện đủ để thiết lập sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm đa điều hòa dưới và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng (Định lý 2.5). Điều này giải quyết một vấn đề mở quan trọng, làm sâu sắc thêm hiểu biết về mối liên hệ giữa các loại hội tụ.
  3. Tổng quát hóa định lý ổn định: Dựa trên các kết quả về sự tương đương hội tụ, luận án đã tổng quát hóa một định lý ổn định nghiệm của U. Cegrell, cung cấp một nền tảng vững chắc hơn cho việc phân tích sự bền vững của nghiệm.
  4. Nghiên cứu hội tụ của thác triển dưới cực đại: Luận án đã khám phá thành công tính hội tụ theo $C_n$-dung lượng của dãy hàm thác triển dưới cực đại của các hàm đa điều hòa dưới với giá trị biên, ứng dụng các kết quả về tính ổn định nghiệm.
  5. Đổi mới phương pháp luận: Các kỹ thuật phân tích được điều chỉnh từ V. Zeriahi [26], cùng với việc tích hợp chặt chẽ các lý thuyết về $C_n$-dung lượng, các lớp hàm Cegrell, và nguyên lý so sánh, đại diện cho một phương pháp luận mạnh mẽ để xử lý các vấn đề trên miền phức tạp.

Các đóng góp này đại diện cho một paradigm advancement trong việc nghiên cứu toán tử Monge-Ampère phức. Thay vì chỉ giới hạn ở các miền "ideal" với biên trơn và bị chặn, luận án mở rộng lý thuyết sang các miền tổng quát hơn ("miền giả lồi không trơn đa điều hòa dưới loại m"), vốn gần với các ứng dụng thực tế hơn và đặt ra nhiều thách thức toán học hơn. Bằng chứng cho sự tiến bộ paradigm này nằm ở khả năng giải quyết các vấn đề mà các phương pháp trước đây không thể xử lý, cung cấp một khung lý thuyết rộng lớn hơn.

Luận án mở ra ít nhất 3+ new research streams cụ thể:

  1. Nghiên cứu sâu hơn về tính duy nhất của nghiệm trên các miền không bị chặn.
  2. Mở rộng các kết quả về tính liên tục Hölder và tính ổn định nghiệm cho các dạng toán tử đạo hàm riêng phức phi tuyến tính tổng quát hơn.
  3. Khám phá các mối liên hệ giữa $C_n$-dung lượng và các loại hội tụ khác trong các không gian hàm khác nhau.
  4. Ứng dụng các kỹ thuật và kết quả đã đạt được vào các bài toán hình học vi phân phức cụ thể hoặc lý thuyết điều khiển tối ưu.

Tính global relevance của luận án được thể hiện qua việc nó giải quyết các vấn đề được cộng đồng toán học quốc tế quan tâm, xây dựng trên nền tảng các công trình của các nhà khoa học hàng đầu thế giới như E. Taylor, S. Kołodziej, K. Li, Z. Blocki, V. Zeriahi, T. Charabati, U. Cegrell và P.H. Xing. Luận án không chỉ tổng quát hóa các định lý hiện có mà còn thiết lập các mối quan hệ mới, góp phần vào kho tàng tri thức toán học toàn cầu.

Di sản của luận án (Legacy measurable outcomes) có thể được đo lường qua:

  • Số lượng trích dẫn tiềm năng: Ước tính 20-50 trích dẫn trong 10 năm đầu tiên cho các công trình liên quan.
  • Số lượng nghiên cứu tiếp theo: Các hướng nghiên cứu mới được mở ra sẽ tạo động lực cho các luận án tiến sĩ và các dự án nghiên cứu sau này.
  • Chất lượng của các ấn phẩm khoa học: Các kết quả này có tiềm năng được xuất bản trên các tạp chí toán học quốc tế uy tín, nâng cao uy tín học thuật của tác giả và cơ sở đào tạo.
  • Nâng cao năng lực đào tạo: Cung cấp tài liệu và kiến thức chuyên sâu để nâng cao chất lượng giảng dạy và đào tạo nghiên cứu sinh trong ngành Toán Giải Tích tại Việt Nam.

Tóm lại, luận án "Tính liên tục Hölder và sự ổn định của nghiệm phương trình Monge-Ampère" không chỉ là một công trình nghiên cứu xuất sắc mà còn là một đóng góp quan trọng, mở rộng ranh giới tri thức trong Giải tích phức và Lý thuyết đa thế vị.