Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Hoàng Việt được thực hiện tại Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội dưới sự hướng dẫn khoa học của PGS. Nguyễn Văn Trào và GS. Đỗ Đức Thái, hoàn thành và bảo vệ năm 2018. Luận án thuộc chuyên ngành Toán giải tích, mã số đào tạo 9.02. Nghiên cứu tập trung vào lớp hàm đa điều hòa dưới plurifine (gọi tắt là hàm $F$-đa điều hòa dưới), khảo sát tính chất cực đại và bài toán xấp xỉ hàm trong khuôn khổ Lý thuyết đa thế vị plurifine ($F$-đa thế vị).

Tính cấp thiết và khoảng trống nghiên cứu

Trong Lý thuyết đa thế vị cổ điển trên không gian vectơ phức $\mathbb{C}^n$, lớp hàm đa điều hòa dưới (plurisubharmonic functions - PSH) đóng vai trò trung tâm, đặc biệt trong việc nghiên cứu toán tử Monge-Ampère phức và giải bài toán Dirichlet tổng quát. Tuy nhiên, theo tôpô Euclidean thông thường, các hàm đa điều hòa dưới nói chung không liên tục, trong khi tính liên tục là điều kiện then chốt đối với nhiều bài toán của Lý thuyết hàm. Nhằm khắc phục hạn chế này, các nhà toán học đã xây dựng tôpô plurifine ($F$-tôpô) trên $\mathbb{C}^n$ – tôpô yếu nhất làm cho mọi hàm đa điều hòa dưới trở nên liên tục. Từ đây, Lý thuyết $F$-đa thế vị được hình thành và mở rộng.

Khoảng trống nghiên cứu thứ nhất nảy sinh từ việc nghiên cứu tính cực đại của hàm đa điều hòa dưới. Trên các tập mở Euclidean, M. Klimek (1991) đã chỉ ra rằng một hàm đa điều hòa dưới bị chặn địa phương là cực đại khi và chỉ khi nó là cực đại địa phương, điều này gắn liền với việc triệt tiêu của toán tử Monge-Ampère phức $(dd^c u)^n = 0$. Tuy nhiên, khi xét hàm $F$-đa điều hòa dưới trên các tập mở theo $F$-tôpô ($F$-mở), các kỹ thuật giải tích của Klimek không còn áp dụng được trực tiếp. Công trình của El Kadiri và Smit (2014) mới chỉ thiết lập được mối quan hệ này đối với hàm đa điều hòa dưới $F$-cực đại, $F$-địa phương, bị chặn trên tập mở Euclidean, đồng thời chỉ ra tính chất này không còn đúng nếu hàm không hữu hạn. Vấn đề thiết lập sự tương đương giữa tính cực đại toàn thể và tính cực đại địa phương đối với hàm $F$-đa điều hòa dưới trên tập $F$-mở tổng quát là một khoảng trống lý thuyết cần giải quyết.

Khoảng trống nghiên cứu thứ hai liên quan đến bài toán xấp xỉ hàm. Nghiên cứu của J. E. Fornæss và J. Wiegerinck chứng minh rằng hàm đa điều hòa dưới liên tục trên miền bị chặn với biên $C^1$ có thể xấp xỉ đều bởi dãy hàm đa điều hòa dưới trơn xác định trên các lân cận Euclidean. Tiếp đó, P. Avelin, L. Hed, H. Persson và các tác giả khác (kể cả các công trình của U. Cegrell và Nguyễn Xuân Hồng) đã mở rộng bài toán xấp xỉ đơn điệu từ bên ngoài cho các hàm thuộc các lớp năng lượng Cegrell. Câu hỏi đặt ra là: Nếu $u$ là một hàm $F$-đa điều hòa dưới âm trên một $F$-miền $\Omega$, khi nào $u$ có thể được xấp xỉ bởi một dãy tăng các hàm đa điều hòa dưới thông thường xác định trên các lân cận Euclidean của $\Omega$? Luận án lựa chọn giải quyết hai bài toán này.

Mục tiêu nghiên cứu

Luận án đặt ra hai mục tiêu nghiên cứu cụ thể được đánh số như sau:

  1. Mục tiêu 1: Nghiên cứu mối quan hệ giữa tính chất địa phương và toàn cục của các hàm $F$-đa điều hòa dưới, xác định điều kiện cần và đủ để một hàm $F$-đa điều hòa dưới là $F$-cực đại toàn cục thông qua tính chất $F$-cực đại $F$-địa phương trong điều kiện hàm liên tục hoặc bị chặn trên tập $F$-mở của $\mathbb{C}^n$.
  2. Mục tiêu 2: Nghiên cứu điều kiện đủ để một hàm $F$-đa điều hòa dưới âm trên một tập mở theo nghĩa thích hợp có thể xấp xỉ được bởi một dãy tăng các hàm đa điều hòa dưới thông thường xác định trên các lân cận Euclidean của miền đó.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Hàm đa điều hòa dưới, hàm $F$-đa điều hòa dưới, hàm $F$-đa điều hòa dưới cực đại ($F$-MPSH); toán tử Monge-Ampère phức áp dụng cho lớp hàm $F$-đa điều hòa dưới hữu hạn; các lớp hàm $F$-đa điều hòa dưới chuyên biệt $\mathcal{E}_0(\Omega)$ và $\mathcal{F}_p(\Omega)$.
  • Phạm vi không gian: Không gian vectơ phức $n$ chiều $\mathbb{C}^n$, xét trên các tập con mở Euclidean và các tập con $F$-mở (plurifine open sets).
  • Phạm vi thời gian và học thuật: Các kết quả được kế thừa và phát triển từ các mốc nghiên cứu lý thuyết thế vị từ thập niên 1940 (H. Cartan), thập niên 1970 (B. Fuglede) đến giai đoạn 2003–2017 (các công trình của El Kadiri, Wiegerinck, Smit, Cegrell, Hed, Persson, Nguyễn Xuân Hồng).

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu tiền đề

Lý thuyết thế vị tinh tế (fine potential theory) khởi đầu từ các công trình của H. Cartan vào đầu thập niên 1940. Để khắc phục sự gián đoạn của các hàm điều hòa dưới trên mặt phẳng phức $\mathbb{C}$, Cartan đề xuất tôpô "fine" trên $\mathbb{C}$ như là tôpô yếu nhất làm cho mọi hàm điều hòa dưới đều liên tục, dựa trên khái niệm điểm mỏng (thinness) của một tập hợp do M. Brelot giới thiệu. Đến thập niên 1970, B. Fuglede phát triển lý thuyết này, đưa ra các khái niệm hàm điều hòa fine, hàm chỉnh hình fine và xây dựng các mối liên hệ cơ bản tương tự giải tích phức cổ điển.

Khi mở rộng lên không gian nhiều biến phức $\mathbb{C}^n$, J. Wiegerinck và các cộng sự đã xây dựng tôpô plurifine ($F$-tôpô), từ đó định nghĩa hàm $F$-đa điều hòa dưới và phát triển Lý thuyết đa thế vị plurifine. Các hướng nghiên cứu chính được tác giả điểm lại gồm:

Hướng nghiên cứu Tác giả và năm công bố Nội dung và đóng góp chính
Xây dựng F-tôpô và đo độ hội tụ E. Bedford và B. A. Taylor (1982) Nghiên cứu sự hội tụ của các dòng liên hệ với $F$-tôpô của hàm đa điều hòa dưới.
Tính chất topo của F-tôpô M. El Marzguioui và J. Wiegerinck (2007, 2010) Chứng minh $F$-tôpô có tính chất tựa-Lindelöf, chính quy đầy; chứng minh hàm $F$-đa điều hòa dưới là $F$-liên tục.
Định nghĩa hàm F-đa điều hòa dưới M. El Kadiri (2003); M. El Kadiri, B. Fuglede và J. Wiegerinck (2011) Định nghĩa hàm $F$-đa điều hòa dưới dạng yếu (trên các đường thẳng phức) và dạng mạnh (qua xấp xỉ); khảo sát tính chất giải tích.
Toán tử Monge-Ampère phức plurifine M. El Kadiri và J. Wiegerinck (2014) Định nghĩa toán tử Monge-Ampère $(dd^c u)^n$ trên lớp hàm $F$-đa điều hòa dưới hữu hạn trên tập $F$-mở, chứng minh độ đo nhận được là độ đo dương.
Tính cực đại và cực đại địa phương M. Klimek (1991); M. El Kadiri và I. Smit (2014) Klimek chứng minh tương đương cực đại toàn cục và địa phương trên tập mở Euclidean. El Kadiri & Smit đưa ra khái niệm hàm $F$-cực đại, chứng minh hàm đa điều hòa dưới $F$-cực đại $F$-địa phương bị chặn trên tập mở Euclidean là $F$-cực đại.
Xấp xỉ hàm đa điều hòa dưới J. E. Fornæss và J. Wiegerinck (1989); P. Avelin, L. Hed, H. Persson (2011); U. Cegrell; Nguyễn Xuân Hồng Xấp xỉ đều hàm đa điều hòa dưới trên miền biên $C^1$ hoặc biên là đồ thị liên tục; xấp xỉ đơn điệu từ bên ngoài trên các miền có tính chất $F$-xấp xỉ cho lớp Cegrell.

Khoảng trống luận án lựa chọn giải quyết

  1. Nghiên cứu của El Kadiri và Smit (2014) chỉ xét hàm xác định trên tập mở Euclidean thông thường và đòi hỏi giả thiết hàm bị chặn. Bài toán đặt ra là tìm điều kiện cần và đủ để tính $F$-cực đại toàn cục suy ra được từ tính $F$-cực đại $F$-địa phương trực tiếp trên các tập $F$-mở của $\mathbb{C}^n$ (vốn có cấu trúc tôpô phức tạp hơn tôpô Euclidean).
  2. Xây dựng điều kiện xấp xỉ cho các hàm $F$-đa điều hòa dưới âm trên các miền mở bằng một dãy tăng các hàm đa điều hòa dưới xác định trên các lân cận Euclidean, thông qua việc thiết lập các lớp hàm năng lượng thích hợp trong bối cảnh plurifine.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

Nghiên cứu sử dụng các lý thuyết nền tảng của Toán học giải tích hiện đại:

  • Lý thuyết đa thế vị (Pluripotential Theory): Khung lý thuyết về hàm đa điều hòa dưới, tập đa cực, dung lượng Monge-Ampère và toán tử Monge-Ampère phức $(dd^c u)^n = dd^c u \wedge \dots \wedge dd^c u$.
  • Lý thuyết đa thế vị plurifine ($F$-đa thế vị): Hệ thống không gian với $F$-tôpô trên $\mathbb{C}^n$ – tôpô yếu nhất làm cho mọi hàm $u \in PSH(\Omega)$ liên tục. Khái niệm cơ sở địa phương tại điểm $a \in \Omega$ là các tập $U(a, B, \phi) = {z \in B : \phi(z) > 0}$, với $B$ là hình cầu mở Euclidean tâm $a$ và $\phi \in PSH(B)$ thỏa mãn $\phi(a) > 0$.
  • $\sigma$-đại số $QB(\mathbb{C}^n)$: $\sigma$-đại số trên $\mathbb{C}^n$ sinh bởi các tập Borel và các tập con đa cực của $\mathbb{C}^n$.
  • Toán tử Monge-Ampère phức trên tập $F$-mở: Mở rộng toán tử cho các hàm $F$-đa điều hòa dưới hữu hạn dựa trên tính chất phân rã địa phương $u_j = f_{j,k} - g_{j,k}$ ngoài một tập đa cực.

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

Luận án là công trình toán học lý thuyết thuần túy (nghiên cứu định tính suy diễn toán học), không sử dụng công cụ thống kê hay phân tích số liệu thực nghiệm. Các phương pháp kỹ thuật chính gồm:

  • Phương pháp giải tích phức nhiều biến và giải tích hàm: Sử dụng các nguyên lý cực đại, giải tích dòng (currents), hàm lồi, chuẩn hóa nửa liên tục trên và các không gian hàm bị chặn $L^\infty(\Omega)$, $L^\infty_{\text{loc}}(\Omega)$.
  • Kỹ thuật xấp xỉ và giải tích định lượng thế vị: Ứng dụng tính chất tựa-Lindelöf của $F$-tôpô (mọi hợp tùy ý các tập $F$-mở đều phân rã thành hợp của một họ đếm được và một tập đa cực) và tính chính quy đầy để tách các điểm kỳ dị đa cực.
  • Kỹ thuật dung lượng Monge-Ampère: Ước lượng độ đo và tính hội tụ thông qua dung lượng: $$C_n(E, D) = \sup \left{ \int_E (dd^c w)^n : w \in PSH(D), -1 \le w \le 0 \right}$$
  • Hình thức sinh hoạt học thuật: Báo cáo, thảo luận và hoàn thiện các chứng minh tại Seminar Lý thuyết hàm, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội và các hội nghị chuyên ngành Giải tích toàn quốc.

Nguồn tư liệu

Văn bản luận án sử dụng hệ thống 47 tài liệu tham khảo chuyên khảo quốc tế và trong nước, bao gồm các bài báo trên các tạp chí toán học chuyên ngành của H. Cartan, B. Fuglede, J. Wiegerinck, E. Bedford, B. A. Taylor, M. Klimek, U. Cegrell, M. El Kadiri, I. Smit, P. Avelin, L. Hed, H. Persson, Nguyễn Xuân Hồng.

Nội dung chính theo từng chương

Chương Tên chương Số trang Nội dung trọng tâm
Chương 1 Hàm $F$-đa điều hòa dưới, $F$-đa điều hòa dưới cực đại và toán tử Monge-Ampère phức 22–35 Trình bày cơ sở về $F$-tôpô, định nghĩa hàm $F$-đa điều hòa dưới, cấu trúc độ đo Monge-Ampère phức trên $QB(\Omega)$ và các tính chất ban đầu của hàm $F$-cực đại.
Chương 2 Tính chất địa phương của hàm $F$-đa điều hòa dưới cực đại 36–53 Chứng minh sự tương đương giữa tính $F$-cực đại toàn cục và $F$-cực đại $F$-địa phương cho hàm liên tục và hàm bị chặn trên tập $F$-mở.
Chương 3 Xấp xỉ hàm $F$-đa điều hòa dưới 54–71 Xây dựng khái niệm miền $F$-siêu lồi, lớp hàm $\mathcal{F}_p(\Omega)$ và chứng minh định lý xấp xỉ đơn điệu ngoài bởi các hàm đa điều hòa dưới.

Chương 1. Hàm F-đa điều hòa dưới, F-đa điều hòa dưới cực đại và toán tử Monge-Ampère phức

Chương 1 hệ thống hóa các khái niệm, bổ đề công cụ cần thiết cho toàn bộ luận án, đồng thời thiết lập một số mệnh đề kỹ thuật mới:

  • Cấu trúc F-tôpô: Nhắc lại định nghĩa $F$-tôpô trên tập mở Euclidean $\Omega \subset \mathbb{C}^n$ là tôpô yếu nhất làm cho mọi hàm thuộc $PSH(\Omega)$ liên tục. Khẳng định $F$-tôpô mịn hơn tôpô Euclidean và thỏa mãn tính chất tựa-Lindelöf: mỗi hợp tùy ý của các tập $F$-mở bằng hợp của một họ đếm được các tập con cùng một tập đa cực. Đồng thời, $F$-tôpô có tính chính quy đầy: với mọi tập $F$-đóng $A \subset \Omega$ và điểm $a \in \Omega \setminus A$, luôn tồn tại hàm $F$-liên tục $f$ sao cho $f|_A = 0$ và $f(a) \neq 0$.
  • Hàm F-điều hòa dưới và F-đa điều hòa dưới: Định nghĩa hàm $f: \Omega \to [-\infty, +\infty)$ là $F$-đa điều hòa dưới ($f \in F\text{-}PSH(\Omega)$) nếu $f$ là $F$-nửa liên tục trên và với mọi đường thẳng phức $l$ trong $\mathbb{C}^n$, hạn chế của $f$ trên mỗi $F$-thành phần của $l \cap \Omega$ là $F$-điều hòa dưới hoặc đồng nhất bằng $-\infty$. Thiết lập mệnh đề: Nếu $\Omega$ là tập $F$-mở, $u \in F\text{-}PSH^-(\Omega)$ và $\chi: \mathbb{R}^- \to \mathbb{R}^-$ là hàm lồi tăng thì $\chi \circ u \in F\text{-}PSH^-(\Omega)$.
  • Toán tử Monge-Ampère phức: Trình bày định nghĩa độ đo Monge-Ampère phức $(dd^c u)^n$ cho hàm $F$-đa điều hòa dưới hữu hạn trên tập $F$-mở $\Omega$ thông qua $\sigma$-đại số $QB(\Omega)$. Nhờ tính chất tựa-Lindelöf, tồn tại tập đa cực $E \subset \Omega$, dãy tập $F$-mở ${O_k}$ và các hàm đa điều hòa dưới $f_{j,k}, g_{j,k}$ trên các lân cận Euclidean của $O_k$ sao cho $\Omega = E \cup \bigcup_{k=1}^\infty O_k$ và $u_j = f_{j,k} - g_{j,k}$ trên $O_k$. Tác giả chứng minh tính tựa-liên tục của toán tử: Cho ${u_j}$ là dãy đơn điệu các hàm $F$-đa điều hòa dưới âm, hữu hạn, hội tụ hầu khắp nơi tới $u \in F\text{-}PSH^-(\Omega)$. Khi đó với mọi hàm $f \ge 0$, bị chặn, $F$-liên tục trên $\Omega$: $$\int_\Omega f (dd^c u)^n \le \liminf_{j \to +\infty} \int_\Omega f (dd^c u_j)^n$$
  • Hàm F-cực đại: Định nghĩa lớp $F\text{-}MPSH(\Omega)$: Hàm $u \in F\text{-}PSH(\Omega)$ gọi là $F$-cực đại trên $\Omega$ nếu với mọi tập $F$-mở bị chặn $G$ thỏa mãn $\overline{G}^F \subset \Omega$ và với mọi hàm $v \in F\text{-}PSH(G)$ bị chặn trên, mở rộng $F$-nửa liên tục trên tới $\overline{G}^F$, điều kiện $v \le u$ trên biên $\partial_F G$ kéo theo $v \le u$ trên $G$. Thiết lập Mệnh đề 1.3: Nếu $u$ bị chặn trên $\Omega$ thì $u \in F\text{-}MPSH(\Omega)$ khi và chỉ khi $u + g \in F\text{-}MPSH(\Omega)$ với mọi hàm đa điều hòa $g$ trên $\mathbb{C}^n$.

Chương 2. Tính chất địa phương của hàm F-đa điều hòa dưới cực đại

Chương 2 giải quyết trọn vẹn Vấn đề thứ nhất của luận án, tập trung vào hai kết quả chính:

1. Tính cực đại địa phương của hàm F-đa điều hòa dưới liên tục

  • Định nghĩa 2.1: Hàm $u \in F\text{-}PSH(\Omega)$ được gọi là $F$-cực đại $F$-địa phương trên $\Omega$ nếu với mỗi $z \in \mathbb{C}^n$, tồn tại một lân cận $F$-mở $V_z$ của $z$ sao cho hạn chế $u|_{V_z \cap \Omega}$ là $F$-cực đại trên $V_z \cap \Omega$.
  • Định lý 2.1: Cho $\Omega$ là tập $F$-mở trong $\mathbb{C}^n$. Giả sử $u$ là hàm $F$-đa điều hòa dưới liên tục trên $\Omega$. Khi đó, $u$ là $F$-cực đại trên $\Omega$ khi và chỉ khi nó là $F$-cực đại $F$-địa phương trên $\Omega$.
  • Kỹ thuật chứng minh: Chiều cần là hiển nhiên. Đối với chiều đủ, tác giả phản chứng: nếu tồn tại miền $G$ và hàm $v$ vi phạm nguyên lý cực đại, đặt $\sup_G (v_\varepsilon - u) > \delta_0 > 0$. Sử dụng tính liên tục của $u$ để kẹp $u$ bởi hàm trơn $f$ trên $\mathbb{C}^n$ ($u \le f \le u + \delta$), kết hợp hàm thế vị $\psi(z) = \varepsilon(|z|^2 - R^2)$, kỹ thuật cộng hàm đa điều hòa trợ giúp $g$ và đánh giá chặn trên compact mở để khử phần dư, đi đến mâu thuẫn $\sup_G (v - u) \le 0$.

2. Tính cực đại địa phương của hàm F-đa điều hòa dưới bị chặn

  • Tác giả làm yếu điều kiện từ "liên tục" xuống "bị chặn", đây là bước mở rộng khó khăn vì hàm bị chặn trong $F$-tôpô có thể chứa tập điểm gián đoạn phức tạp.
  • Bổ đề then chốt 2.2.1: Cho $D$ là miền siêu lồi trong $\mathbb{C}^n$ và ${\phi_j}$ là dãy các hàm đa điều hòa dưới xác định trên các tập con mở Euclidean $U_j \Subset D$ sao cho $\bigcup_{j=1}^\infty U_j \Subset D$. Khi đó tồn tại một dãy tăng các hàm đa điều hòa dưới âm bị chặn ${\psi_k}$ trên $D$ sao cho:
    1. $\psi_k \to 0$ trên $D \setminus E$, với $E \subset D$ là tập đa cực;
    2. $\phi_j$ liên tục trên $U_j \cap {\psi_k > -1}$ với mọi $j, k \ge 1$. Bổ đề được chứng minh thông qua dung lượng Monge-Ampère $C_n(G_{j,l}, U_j) < \frac{1}{2^{j+l}}$ để kiểm soát tập mở làm gián đoạn hàm $\phi_j$.
  • Định lý 2.2: Cho $\Omega$ là tập $F$-mở trong $\mathbb{C}^n$ và giả sử $u \in F\text{-}PSH(\Omega)$ là hàm bị chặn. Khi đó các khẳng định sau là tương đương:
    1. $u$ là $F$-cực đại trên $\Omega$;
    2. $u$ là $F$-cực đại $F$-địa phương trên $\Omega$.
  • Hệ quả 2.2.3: Cho $\Omega$ là tập $F$-mở trong $\mathbb{C}^n$ và $u \in F\text{-}PSH(\Omega)$ bị chặn. Khi đó với mọi $m \in \mathbb{N}^*$, ta có $u \circ \pi \in F\text{-}MPSH(\Omega \times \mathbb{C}^m)$, trong đó $\pi: \mathbb{C}^{n+m} \to \mathbb{C}^n$ là phép chiếu chính tắc.

Chương 3. Xấp xỉ hàm F-đa điều hòa dưới

Chương 3 trình bày các kết quả giải quyết Vấn đề thứ hai của luận án:

  • Xây dựng khái niệm hình học và lớp hàm: Đưa ra khái niệm miền $F$-siêu lồi trong $\mathbb{C}^n$. Định nghĩa các lớp hàm năng lượng tổng quát hóa lớp Cegrell trong bối cảnh $F$-tôpô: lớp $\mathcal{E}_0(\Omega)$ gồm các hàm $F$-đa điều hòa dưới âm, bị chặn với tổng khối lượng Monge-Ampère hữu hạn và biên triệt tiêu; và lớp $\mathcal{F}_p(\Omega)$ ($p > 0$) gồm các hàm $u \in F\text{-}PSH^-(\Omega)$ tồn tại dãy giảm các hàm thuộc $\mathcal{E}0(\Omega)$ hội tụ về $u$ sao cho sup khối lượng tích phân dạng $\int\Omega (-u)^p (dd^c u)^n$ bị chặn.
  • Định lý 3.1: Giả sử $\Omega$ là miền $F$-siêu lồi trong $\mathbb{C}^n$. Khi đó mỗi hàm $u \in \mathcal{F}_p(\Omega)$ ($p > 0$) đều có thể xấp xỉ được bởi một dãy tăng các hàm đa điều hòa dưới âm xác định trên các lân cận Euclidean rộng hơn của $\Omega$.
  • Kết quả này mở rộng các định lý xấp xỉ cổ điển của Fornæss, Wiegerinck và Avelin-Hed-Persson từ không gian Euclidean sang miền $F$-mở, cho phép chuyển các bài toán giải tích trên tập $F$-mở về giới hạn của dãy bài toán trên lân cận Euclidean thông thường.

Kết quả và những đóng góp mới

Các đóng góp mới về mặt khoa học

  1. Thiết lập tính tương đương cực đại địa phương cho hàm liên tục: Chứng minh được sự tương đương giữa tính chất $F$-cực đại toàn thể và tính chất $F$-cực đại $F$-địa phương đối với lớp hàm $F$-đa điều hòa dưới liên tục trên các tập $F$-mở bất kỳ của $\mathbb{C}^n$ (Định lý 2.1).
  2. Mở rộng tính tương đương cực đại địa phương cho hàm bị chặn: Bằng kỹ thuật dung lượng Monge-Ampère và xây dựng dãy hàm kiểm soát kỳ dị đa cực (Bổ đề 2.2.1), luận án đã mở rộng thành công tính tương đương giữa $F$-cực đại toàn thể và $F$-cực đại $F$-địa phương cho lớp hàm $F$-đa điều hòa dưới bị chặn trên tập $F$-mở của $\mathbb{C}^n$ (Định lý 2.2). Kết quả này tổng quát hóa định lý của M. Klimek (1991) từ tập mở Euclidean sang tập $F$-mở, đồng thời vượt qua hạn chế trong công trình của El Kadiri và Smit (2014).
  3. Mở rộng lý thuyết xấp xỉ hàm lên lớp plurifine: Đưa ra định nghĩa miền $F$-siêu lồi và lớp hàm $\mathcal{F}_p(\Omega)$ trong $F$-tôpô. Chứng minh tính chất xấp xỉ được của hàm $u \in \mathcal{F}_p(\Omega)$ ($p > 0$) bởi dãy tăng các hàm đa điều hòa dưới âm trên dãy giảm các miền mở Euclidean chứa $\Omega$ (Định lý 3.1).

Ý nghĩa khoa học và thực tiễn

  • Ý nghĩa khoa học: Các kết quả đóng góp trực tiếp vào sự phát triển của Lý thuyết $F$-đa thế vị, làm rõ cấu trúc cục bộ và toàn cục của hàm cực đại – đối tượng cốt lõi tương tự hàm điều hòa trong giải tích cổ điển.
  • Ý nghĩa phương pháp: Bổ sung các công cụ kỹ thuật mới trong việc xử lý tập đa cực, dung lượng Monge-Ampère và phép xấp xỉ hàm khi làm việc trên không gian trang bị $F$-tôpô, hỗ trợ nghiên cứu Giải tích phức nhiều biến.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế nội tại theo văn bản

  • Kết quả tương đương giữa tính cực đại toàn cục và tính cực đại địa phương trong Định lý 2.2 chỉ mới áp dụng cho lớp hàm bị chặn. Văn bản khẳng định bài toán đối với hàm đa điều hòa dưới tùy ý (không bị chặn hoặc không hữu hạn) trên tập mở vẫn là bài toán mở chưa được giải quyết triệt để.
  • Phản ví dụ của El Kadiri và Smit (2014) được tác giả dẫn lại cho thấy tính chất tương đương địa phương - toàn cục không còn đúng khi hàm không hữu hạn, cho thấy ranh giới hiệu lực của các định lý hiện tại.

Hướng nghiên cứu tiếp theo

  • Tiếp tục tìm kiếm điều kiện để mở rộng tính tương đương giữa tính $F$-cực đại toàn thể và $F$-cực đại địa phương cho các lớp hàm rộng hơn lớp hàm bị chặn (chẳng hạn các lớp hàm có độ tăng hoặc tích phân Monge-Ampère hữu hạn).
  • Khảo sát bài toán Dirichlet tổng quát đối với toán tử Monge-Ampère phức trên các miền $F$-mở sử dụng các lớp hàm năng lượng $\mathcal{F}_p(\Omega)$ vừa được thiết lập.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành hữu ích cho:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán giải tích: Cung cấp tài liệu hệ thống về $F$-tôpô, các kỹ thuật giải tích phức hiện đại trên $\mathbb{C}^n$ và phương pháp làm việc với toán tử Monge-Ampère phức.
  • Giảng viên và nhà nghiên cứu Giải tích phức và Lý thuyết thế vị:
    • Kỹ thuật chứng minh trong Chương 2 (đặc biệt là Bổ đề 2.2.1 về việc tách tập gián đoạn của dãy hàm đa điều hòa dưới thông qua hàm chuẩn hóa và dung lượng) có thể tái sử dụng cho các bài toán giải tích khác liên quan đến không gian hàm suy rộng.
    • Định lý xấp xỉ trong Chương 3 cung cấp công cụ chuyển giao các tính chất đã biết từ lân cận Euclidean vào miền $F$-mở.

Câu hỏi thường gặp

1. F-tôpô trên không gian phức $\mathbb{C}^n$ được định nghĩa như thế nào và có đặc trưng gì khác biệt so với tôpô Euclidean?

$F$-tôpô (plurifine topology) trên một tập mở Euclidean $\Omega \subset \mathbb{C}^n$ được định nghĩa là tôpô yếu nhất trên $\Omega$ làm cho mọi hàm đa điều hòa dưới trên $\Omega$ đều trở nên liên tục. Do hàm đa điều hòa dưới theo tôpô Euclidean thông thường chỉ có tính nửa liên tục trên, $F$-tôpô mịn hơn (chứa nhiều tập mở hơn) so với tôpô Euclidean. Cơ sở địa phương của $F$-tôpô tại điểm $a$ gồm các tập $U(a, B, \phi) = {z \in B : \phi(z) > 0}$, với $B$ là hình cầu mở tâm $a$ và $\phi \in PSH(B)$ thỏa mãn $\phi(a) > 0$. $F$-tôpô có tính chất tựa-Lindelöf và chính quy đầy.

2. Sự khác biệt căn bản giữa kết quả của Luận án tại Chương 2 so với công trình trước đó của M. Klimek (1991) và El Kadiri - Smit (2014) là gì?

M. Klimek (1991) chỉ chứng minh tính tương đương giữa cực đại toàn cục và cực đại địa phương cho hàm đa điều hòa dưới bị chặn trên tập mở Euclidean dựa vào toán tử Monge-Ampère cổ điển. Đến năm 2014, El Kadiri và Smit chứng minh tính chất này cho hàm đa điều hòa dưới $F$-cực đại $F$-địa phương bị chặn xác định trên tập mở Euclidean. Luận án của Hoàng Việt (2018) đã mở rộng kết quả lên một cấp độ tổng quát hơn: chứng minh tính tương đương giữa $F$-cực đại toàn cục và $F$-cực đại $F$-địa phương cho hàm $F$-đa điều hòa dưới bị chặn trực tiếp trên các tập $F$-mở của $\mathbb{C}^n$ (Định lý 2.2), sử dụng kỹ thuật dung lượng Monge-Ampère để xử lý tập điểm gián đoạn.

3. Toán tử Monge-Ampère phức được xác định như thế nào cho lớp hàm F-đa điều hòa dưới hữu hạn?

Do hàm $F$-đa điều hòa dưới không nhất thiết khả vi hay liên tục theo nghĩa Euclidean, toán tử Monge-Ampère phức $(dd^c u)^n$ được xây dựng trên $\sigma$-đại số $QB(\mathbb{C}^n)$ (sinh bởi các tập Borel và tập đa cực). Dựa vào tính chất tựa-Lindelöf, tập $F$-mở $\Omega$ được phủ ngoài một tập đa cực $E$ bởi một họ đếm được các tập $F$-mở ${O_k}$, trên đó mỗi hàm $u_j$ biểu diễn được dưới dạng hiệu của hai hàm đa điều hòa dưới $f_{j,k} - g_{j,k}$ trên lân cận Euclidean. Độ đo Monge-Ampère được định nghĩa thông qua dạng vi phân của các hàm thành phần này và được chứng minh là một độ đo dương, không phụ thuộc vào cách chọn phủ hay cách phân tích hiệu hàm.

4. Bổ đề 2.2.1 đóng vai trò kỹ thuật gì trong việc chứng minh Định lý 2.2?

Bổ đề 2.2.1 cho phép kiểm soát tập điểm gián đoạn của một dãy hàm đa điều hòa dưới ${\phi_j}$ trên miền siêu lồi $D$. Bằng cách sử dụng dung lượng Monge-Ampère $C_n(G_{j,l}, U_j) < \frac{1}{2^{j+l}}$, bổ đề chỉ ra sự tồn tại của một dãy tăng các hàm đa điều hòa dưới âm bị chặn ${\psi_k}$ tiến về 0 ngoài tập đa cực, sao cho mỗi hàm $\phi_j$ trở nên liên tục khi hạn chế trên tập mức ${\psi_k > -1}$. Nhờ đó, việc chứng minh tính cực đại của hàm bị chặn có thể quy về trường hợp hàm liên tục trên các tập mức này, loại bỏ trở ngại do tính gián đoạn trong $F$-tôpô gây ra.

5. Kết quả chính của Chương 3 về bài toán xấp xỉ hàm F-đa điều hòa dưới khẳng định điều gì?

Định lý 3.1 trong Chương 3 khẳng định rằng: Trên một miền $F$-siêu lồi $\Omega \subset \mathbb{C}^n$, mọi hàm $u$ thuộc lớp năng lượng $\mathcal{F}_p(\Omega)$ (với chỉ số $p > 0$) đều có thể biểu diễn dưới dạng giới hạn của một dãy tăng các hàm đa điều hòa dưới âm thông thường xác định trên các lân cận Euclidean mở rộng hơn của $\Omega$. Kết quả này thiết lập cầu nối giải tích, cho phép xấp xỉ các đối tượng plurifine phức tạp bằng các hàm giải tích cổ điển trên không gian Euclidean.

Kết luận

Luận án tiến sĩ của tác giả Hoàng Việt là công trình nghiên cứu chuyên sâu thuộc chuyên ngành Toán giải tích, giải quyết hai bài toán lý thuyết quan trọng trong Lý thuyết đa thế vị plurifine trên không gian phức $\mathbb{C}^n$. Tác giả đã thiết lập thành công điều kiện cần và đủ về sự tương đương giữa tính chất cực đại toàn thể và cực đại địa phương cho lớp hàm $F$-đa điều hòa dưới liên tục và bị chặn trên các tập $F$-mở. Đồng thời, luận án đã xây dựng lớp hàm $\mathcal{F}_p(\Omega)$ trên miền $F$-siêu lồi và chứng minh định lý xấp xỉ đơn điệu ngoài thông qua các hàm đa điều hòa dưới thông thường. Toàn bộ các kết quả đạt được đều là những đóng góp mới về mặt lý thuyết, góp phần hoàn thiện các công cụ giải tích phức nhiều biến và lý thuyết hàm hiện đại.