Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Tính liên tục Hölder và sự ổn định của nghiệm phương trình Monge-Ampère" (tiếng Anh thường dùng trong chuyên ngành: Hölder continuity and stability of solutions to the complex Monge-Ampère equation) được thực hiện bởi nghiên cứu sinh Trần Văn Thủy tại 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, hoàn thành vào tháng 9 năm 2018. Luận án thuộc chuyên ngành Giải tích toán học (hướng nghiên cứu chuyên sâu về Giải tích phức nhiều biến và Lý thuyết đa thế vị).

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

Toán tử Monge-Ampère phức $(dd^c \cdot)^n$ đóng vai trò trung tâm trong lý thuyết đa thế vị (pluripotential theory) hiện đại. Đối tượng trọng tâm gắn liền với toán tử này là bài toán Dirichlet đối với phương trình Monge-Ampère phức, ký hiệu là $MA(\Omega, \varphi, f)$: $$\begin{cases} u \in PSH(\Omega) \cap L^\infty(\Omega) \ (dd^c u)^n = f dV_n \quad \text{trong } \Omega \ \lim_{z \to \xi} u(z) = \varphi(\xi), \quad \forall \xi \in \partial\Omega \end{cases}$$ Trong đó $\Omega \subset \mathbb{C}^n$ là miền mở ($n \ge 1$), $f \ge 0$ thuộc không gian $L^p(\Omega)$ ($p > 1$), $\varphi$ là hàm liên tục và bị chặn trên biên $\partial\Omega$, và $dV_n = \frac{1}{n!} \beta^n$ (với $\beta = dd^c |z|^2$) là dạng thể tích Kähler chính tắc của $\mathbb{C}^n$.

Giai đoạn từ năm 1976 đến năm 2016, nhiều công trình đã giải quyết bài toán này trên các miền giả lồi chặt, bị chặn có biên trơn hoặc miền giả lồi bị chặn với biên lớp $C^2$ đa điều hòa dưới loại $m$. Tuy nhiên, bài toán $MA(\Omega, \varphi, f)$ đối với các miền giả lồi không trơn đa điều hòa dưới loại $m$ (đặc biệt là trường hợp miền không nhất thiết bị chặn) vẫn tồn tại như một vấn đề mở.

Bên cạnh đó, việc khảo sát dãy hàm đa điều hòa dưới ${u_j}$ gắn liền với mối quan hệ giữa sự hội tụ theo $C_p$-dung lượng ($p \in {n-1, n}$) và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng ${(dd^c u_j)^n}$. Mặc dù một số điều kiện đã được đề xuất trước đó, việc thiết lập các điều kiện đủ để đảm bảo tính tương đương giữa sự hội tụ theo $C_n$-dung lượng của ${u_j}$ và sự hội tụ yếu của dãy độ đo ${(dd^c u_j)^n}$, từ đó nghiên cứu tính ổn định nghiệm của phương trình Monge-Ampère phức, vẫn chưa có lời giải hoàn chỉnh.

Mặt khác, trong lý thuyết thác triển dưới của hàm đa điều hòa dưới, các câu hỏi về điều kiện tồn tại hàm thác triển dưới, đặc biệt là 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, vẫn là bài toán mở cần được làm sáng tỏ.

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

Luận án xác định 5 mục tiêu nghiên cứu cụ thể được đánh số như sau:

  1. Nghiên cứu bài toán Dirichlet đối với toán tử Monge-Ampère phức trên miền giả lồi không trơn, đa điều hòa dưới loại $m$.
  2. Tìm ra các điều kiện đủ đối với dãy hàm ${u_j} \subset PSH(\Omega)$ để 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 độ đo Monge-Ampère phức tương ứng.
  3. Nghiên cứu tính ổn định nghiệm phương trình Monge-Ampère phức.
  4. 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.
  5. Tiếp tục nghiên cứu tìm hiểu, để tìm ra những vấn đề nghiên cứu mới.

Đố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 ($PSH$), hàm đa điều hòa dưới cực đại ($MPSH$), và thác triển dưới cực đại của hàm đa điều hòa dưới.
    • Các lớp hàm đa điều hòa dưới do U. Cegrell đề xuất và phát triển: $\mathcal{E}_0(\Omega)$, $\mathcal{F}(\Omega)$, $\mathcal{N}(\Omega)$, $\mathcal{E}(\Omega)$, cùng các lớp mở rộng $\mathcal{K}^a(\Omega)$, $\mathcal{K}(\Omega, f)$, $\mathcal{N}^a(\Omega, f)$.
    • Toán tử Monge-Ampère phức $(dd^c \cdot)^n$ và bài toán Dirichlet $MA(\Omega, \varphi, f)$.
    • Phương trình Monge-Ampère phức và nghiệm của phương trình trên các lớp hàm Cegrell.
    • Các tính chất hội tụ theo $C_n$-dung lượng của hàm đa điều hòa dưới và hàm thác triển dưới cực đại.
  • Phạm vi nghiên cứu: Không gian số phức nhiều chiều $\mathbb{C}^n$ ($n \ge 1$), tập trung vào các miền giả lồi không trơn, miền siêu lồi bị chặn, và miền giả lồi đa điều hòa dưới loại $m$ (bao gồm cả trường hợp miền không bị chặn). Về thời gian, luận án tổng hợp tư liệu nghiên cứu từ năm 1976 đến 2016 và hoàn thành các chứng minh mới vào năm 2018.

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

Tổng quan tài liệu trong luận án được tác giả hệ thống hóa theo ba nhánh nghiên cứu chính gắn với các công trình tiêu biểu:

Nhánh nghiên cứu Tác giả & Năm công bố Kết quả nghiên cứu nền tảng
Bài toán Dirichlet $MA(\Omega, \varphi, f)$ E. Bedford & B. A. Taylor (1976) [3] Trên miền giả lồi chặt, bị chặn có biên trơn, tồn tại duy nhất nghiệm $u \in C^{0,\alpha}(\bar{\Omega})$ khi $\varphi \in C^{0,2\alpha}(\partial\Omega)$ và $f^{1/n} \in C^{0,\alpha}(\bar{\Omega})$ với $0 < \alpha \le 1$.
E. Bedford & B. A. Taylor (1982) [4] Tồn tại nghiệm liên tục khi $f \in C(\bar{\Omega})$; nghiệm trơn $C^\infty(\bar{\Omega})$ duy nhất khi $f > 0, f \in C^\infty(\bar{\Omega}), \varphi \in C^\infty(\partial\Omega)$. Giới thiệu khái niệm $C_n$-dung lượng tương đối.
Z. Błocki (1996) [7] Đư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 miền siêu lồi trong $\mathbb{C}^n$.
S. Kołodziej (1998) [36] Chứng minh sự tồn tại duy nhất và tính liên tục của nghiệm bài toán $MA(\Omega, \varphi, f)$ trên miền giả lồi chặt với $f \in L^p(\Omega), p > 1$.
S. Y. Li (2004) [38] Trên miền giả lồi bị chặn biên lớp $C^2$ đa điều hòa dưới loại $m$, bài toán có nghiệm duy nhất $u \in C^{0,\alpha}(\bar{\Omega})$ khi $\varphi \in C^{0,m\alpha}(\partial\Omega)$ ($0 < \alpha \le m/2$) và $f^{1/n} \in C^{0,\alpha}(\bar{\Omega})$.
V. Guedj & A. Zeriahi (2008) [26] Trên miền giả lồi mạnh bị chặn, nếu $\varphi \in C^{1,1}(\partial\Omega)$ và $f \in L^p(\Omega)$ ($p > 1$), nghiệm duy nhất liên tục $\alpha$-Hölder với $0 < \alpha \le \frac{2}{1 + \frac{np}{p-1}}$.
M. Charabati (2016) [21] Mở rộng tính liên tục Hölder của nghiệm bài toán Dirichlet trên miền Lipschitz siêu lồi mạnh bị chặn.
Hội tụ dung lượng & Sự ổn định nghiệm Y. Xing (1996, 2000) [41], [42] Toán tử $(dd^c \cdot)^n$ liên tục dưới sự hội tụ theo $C_n$-dung lượng của dãy hàm PSH bị chặn; chỉ ra sự hội tụ yếu của độ đo không kéo theo sự hội tụ theo dung lượng; nghiên cứu sự hội tụ trong lớp $\mathcal{F}^a(\Omega)$ và quan hệ với $C_{n-1}$-dung lượng.
U. Cegrell (1998, 2004, 2008) [12], [14] Thiết lập các lớp hàm $\mathcal{E}0(\Omega) \subset \mathcal{F}(\Omega) \subset \mathcal{N}(\Omega) \subset \mathcal{E}(\Omega)$; chứng minh độ đo hội tụ yếu nếu dãy hàm bị chặn dưới bởi hàm thuộc $\mathcal{E}(\Omega)$ và hội tụ theo $C{n-1}$-dung lượng; thiết lập định lý ổn định nghiệm.
Thác triển dưới cực đại H. Bremermann [..] Đưa ra ví dụ hàm PSH trên song đĩa đơn vị mà hạn chế trên đĩa nhỏ hơn không tồn tại thác triển dưới trên toàn không gian.
E. Bedford & B. A. Taylor (1988) [5] Tồn tại hàm PSH trơn trên miền bị chặn biên trơn không thể thác triển dưới tới miền lớn hơn.
U. Cegrell & đồng nghiệp Xây dựng lý thuyết thác triển dưới và thác triển dưới cực đại trong lớp $\mathcal{F}(\Omega)$.
Nguyễn Xuân Hồng (2015) [33] Thiết lập 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.

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

Luận án định vị nghiên cứu vào các điểm hạn chế của các công trình đi trước:

  1. Mở rộng bài toán Dirichlet $MA(\Omega, \varphi, f)$ sang các miền giả lồi không trơn đa điều hòa dưới loại $m$, bao gồm cả trường hợp miền không bị chặn với điều kiện hàm vế phải $f \in L^p(\Omega)$ có giá compact.
  2. Thiết lập điều kiện đủ để tạo nên tính tương đương hai chiều 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ụ theo topo yếu của dãy độ đo ${(dd^c u_j)^n}$ trong lớp hàm $\mathcal{N}^a(\Omega, f)$, qua đó tổng quát hóa định lý ổn định nghiệm của U. Cegrell.
  3. Ứng dụng kết quả về tính ổn định nghiệm để chứng minh sự hội tụ theo $C_n$-dung lượng của dãy các hàm thác triển dưới cực đại với giá trị biên.

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

Khung lý thuyết và các khái niệm sử dụng

Luận án vận hành trên nền tảng lý thuyết hàm giải tích phức nhiều biến và lý thuyết đa thế vị. Các khái niệm cốt lõi bao gồm:

  • Toán tử Monge-Ampère phức: Với $d = \partial + \bar{\partial}$ và $d^c = i(\bar{\partial} - \partial)$, toán tử vi phân phức cấp hai $dd^c = 2i\partial\bar{\partial}$. Dạng vi phân Kähler chính tắc trên $\mathbb{C}^n$ là $\beta = dd^c |z|^2$, và toán tử Monge-Ampère cấp cao biểu diễn dưới dạng tích nêm: $(dd^c u)^n = dd^c u \wedge \dots \wedge dd^c u$ ($n$ lần).
  • Họ hàm đa điều hòa dưới: Ký hiệu $PSH(\Omega)$ là tập hợp các hàm nửa liên tục trên $u: \Omega \to [-\infty, +\infty)$ sao cho hạn chế trên mọi đường thẳng phức đều là hàm điều hòa dưới; $PSH^-(\Omega)$ là họ các hàm $PSH$ nhận giá trị âm; $MPSH(\Omega)$ là họ các hàm đa điều hòa dưới cực đại (hàm thỏa mãn nguyên lý cực đại địa phương).
  • Miền đa điều hòa dưới loại $m$: Cho $m > 0$ và $\Omega \subset \mathbb{C}^n$ là miền giả lồi. Miền $\Omega$ được gọi là đa điều hòa dưới loại $m$ nếu tồn tại hàm bị chặn $\rho \in C^{0, 2/m}(\bar{\Omega})$ sao cho tập mức ${\rho < -\varepsilon} \Subset \Omega$ với mọi $\varepsilon > 0$, đồng thời hàm $\rho(z) - |z|^2$ là đa điều hòa dưới trong $\Omega$.
  • Dung lượng tương đối $C_n(E, \Omega)$: Khái niệm do Bedford và Taylor đưa ra năm 1982. Với tập compact $K \subset \Omega$: $$C_n(K, \Omega) := \sup \left{ \int_K (dd^c u)^n : u \in PSH(\Omega), -1 \le u \le 0 \right}$$ Với tập Borel $E \subset \Omega$, $C_n(E, \Omega) := \sup { C_n(K, \Omega) : K \text{ compact}, K \subset E }$.
  • Các lớp hàm Cegrell:
    • $\mathcal{E}0(\Omega)$: Gồm các hàm $\phi \in PSH^-(\Omega) \cap L^\infty(\Omega)$ thỏa mãn ${\phi < -\varepsilon} \Subset \Omega$ ($\forall \varepsilon > 0$) và $\int\Omega (dd^c \phi)^n < +\infty$.
    • $\mathcal{F}(\Omega)$: Tập các hàm $u \in PSH^-(\Omega)$ là giới hạn giảm của dãy ${u_j} \subset \mathcal{E}0(\Omega)$ sao cho $\sup_j \int\Omega (dd^c u_j)^n < +\infty$.
    • $\mathcal{E}(\Omega)$: Tập các hàm thuộc $PSH^-(\Omega)$ mà với mọi tập mở $G \Subset \Omega$ đều tồn tại $\psi \in \mathcal{F}(\Omega)$ sao cho $\psi = u$ trên $G$.
    • $\mathcal{N}(\Omega)$: Tập các hàm $u \in \mathcal{E}(\Omega)$ có dãy hàm xấp xỉ biên $u_j \nearrow 0$ hầu khắp nơi, thỏa mãn quan hệ bao hàm $\mathcal{E}_0(\Omega) \subset \mathcal{F}(\Omega) \subset \mathcal{N}(\Omega) \subset \mathcal{E}(\Omega)$.
    • $\mathcal{K}^a(\Omega)$: Lớp con của $\mathcal{K}(\Omega)$ gồm các hàm có độ đo Monge-Ampère triệt tiêu trên tất cả các tập đa cực của $\Omega$.
    • $\mathcal{N}^a(\Omega, f)$: Lớp các hàm $\phi \in PSH(\Omega)$ tồn tại $\psi \in \mathcal{N}^a(\Omega)$ sao cho $\psi + f \le \phi \le f$ trên $\Omega$.

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

Luận án sử dụng phương pháp giải tích lý thuyết thuần túy:

  • Kỹ thuật hàm rào và xấp xỉ mịn hóa: Xây dựng hàm rào địa phương $h_\xi$ trên biên để khống chế giá trị biên của nghiệm; sử dụng hàm lấy trung bình cầu $\hat{u}\delta(z) = \frac{1}{\sigma{2n} \delta^{2n}} \int_{B(z,\delta)} u dV$ và hàm bao trên $u_\delta(z) = \sup_{B(z,\delta)} u$ để chứng minh tính liên tục Hölder.
  • Nguyên lý cực đại và nguyên lý so sánh: Áp dụng nguyên lý so sánh cho toán tử Monge-Ampère phức trên các lớp hàm bị chặn và mở rộng sang lớp hàm Cegrell không bị chặn.
  • Kỹ thuật hàm cắt gọt (cutoff functions): Sử dụng hàm trơn có giá compact $\chi_k \in C_0^\infty(\Omega)$ với $0 \le \chi_k \le 1$ để cô lập các tập mức kỳ dị ${u = -\infty}$.
  • Đánh giá tích phân và dung lượng: Sử dụng công thức Jensen, định lý Fubini, bất đẳng thức Hölder và các ước lượng phi tuyến liên hệ giữa thể tích Lebesgue $dV$ và $C_n$-dung lượng tương đối.
  • Phương thức học thuật: Luận án hoàn thiện các kỹ thuật chứng minh thông qua sinh hoạt học thuật định kỳ tại Seminar Giải tích phức và Seminar Tổ Lý thuyết hàm - Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội.

Nguồn tư liệu

Toàn bộ tư liệu nghiên cứu là các công trình khoa học chuyên khảo quốc tế và trong nước thuộc cơ sở dữ liệu toán học (như các bài báo của Bedford, Taylor, Cegrell, Kołodziej, Guedj, Zeriahi, Li, Xing, Nguyễn Xuân Hồng) được trích dẫn trong danh mục tài liệu tham khảo.

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

Chương 1. Tính liên tục Hölder của nghiệm phương trình Monge-Ampère phức

Chương 1 gồm hai tiểu mục chính: Mục 1.1 khảo sát sự tồn tại nghiệm của bài toán Dirichlet và Mục 1.2 thiết lập tính liên tục Hölder của nghiệm.

1.1 Sự tồn tại nghiệm của bài toán Dirichlet

Tác giả mở đầu bằng việc hệ thống hóa định nghĩa miền giả lồi đa điều hòa dưới loại $m$ ($m > 0$) thông qua hàm $\rho \in C^{0, 2/m}(\bar{\Omega})$ thỏa mãn ${\rho < -\varepsilon} \Subset \Omega$ và $\rho(z) - |z|^2 \in PSH(\Omega)$.

  • Mệnh đề 1.4 (Trường hợp $f = 0$): Cho $m > 0$ và $\Omega$ là miền giả lồi đa điều hòa dưới loại $m$. Với $\varphi \in C^{0,\alpha}(\partial\Omega)$ ($0 < \alpha \le 1$) bị chặn, bài toán $MA(\Omega, \varphi, 0)$ có nghiệm bị chặn $u$ là hàm đa điều hòa dưới cực đại trên $\Omega$. Tác giả chứng minh nghiệm thỏa mãn: $$u \in C^{0, \min(\alpha/m, \alpha)}(\bar{\Omega})$$ Chứng minh sử dụng hàm rào $h_\xi(z) = M_1 |z - \xi|^{2/m} + M_2 (\rho(z) - \rho(\xi))$ và xấp xỉ trên miền co $\Omega_\delta = {z \in \Omega : \text{dist}(z, \partial\Omega) > \delta}$.
  • Mệnh đề 1.5 (Trường hợp $f$ có giá compact): Cho $0 \le f \in L^p(\Omega)$ ($p > 1$) có giá compact trong $\Omega$. Tồn tại hằng số $A > 0$ và nghiệm bị chặn $u(\Omega, \varphi, f)$ của bài toán Dirichlet thỏa mãn đánh giá hai phía: $$u(\Omega, \varphi, 0) + A\rho \le u(\Omega, \varphi, f) \le u(\Omega, \varphi, 0) \quad \text{trên } \Omega$$ Chứng minh dựa trên việc giải bài toán phụ trên miền con siêu lồi trơn $D$ chứa $\text{supp} f$ theo kết quả của Kołodziej [36] và nguyên lý so sánh.
  • Định lý 1.6 (Sự tồn tại nghiệm): Cho $m > 0$ và $\Omega$ là miền giả lồi đa điều hòa dưới loại $m$. Nếu $\Omega$ bị chặn hoặc giá của $f$ là tập compact trong $\Omega$, thì bài toán $MA(\Omega, \varphi, f)$ luôn tồn tại nghiệm bị chặn. Văn bản chỉ rõ tính duy nhất của nghiệm được đảm bảo khi $\Omega$ bị chặn, trong khi trên miền không bị chặn, tính duy nhất vẫn là một bài toán mở.

1.2 Tính liên tục Hölder của nghiệm bài toán Dirichlet

Tác giả vận dụng và mở rộng kỹ thuật của Guedj - Zeriahi [26]:

  • Bổ đề đánh giá tích phân (Mệnh đề 1.7): Với mỗi $0 \le \gamma < \frac{1}{1 + \frac{np}{p-1}}$, tồn tại hằng số $A_\gamma > 0$ sao cho với mọi $v \in PSH(\Omega)$ thỏa mãn ${u \le v - \varepsilon} \Subset \Omega$, ta có: $$\sup_\Omega (v - u) \le A_\gamma \left( \int_{\text{supp} f} |u - v| dV \right)^\gamma$$
  • Đánh giá thể tích qua dung lượng: Luận án chứng minh tồn tại hằng số $B_\tau > 0$ sao cho với mọi tập Borel $E \subset \text{supp} f$: $$\int_E dV \le B_\tau [C_n(E, \Omega)]^{q(1+n\tau)}$$ trong đó $q = \frac{p}{p-1}$ và $\tau = \frac{\gamma q}{1 - \gamma(nq + 1)}$.
  • Định lý 1.8 và Định lý tổng quát: Cho $m > 0$ và $\Omega$ là miền giả lồi đa điều hòa dưới loại $m$. Giả sử $\Omega$ bị chặn hoặc $f$ có giá compact trên $\Omega$. Khi đó nghiệm bị chặn $u(\Omega, \varphi, f)$ của bài toán $MA(\Omega, \varphi, f)$ liên tục $\gamma$-Hölder trên $\bar{\Omega}$ với mọi chỉ số $\gamma$ thỏa mãn điều kiện: $$0 < \gamma < \min \left{ \frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2m\left(1 + \frac{np}{p-1}\right)}, \frac{1}{2\left(1 + \frac{np}{p-1}\right)} \right}$$ Chứng minh thiết lập thông qua phân rã nghiệm $u$ giữa nghiệm của bài toán với điều kiện biên và nghiệm có vế phải compact, kết hợp tính toán tích phân Jensen trên các lân cận co $\Omega_\delta$ và $\Omega_{\sqrt{\delta}}$.

Chương 2. Sự ổn định của nghiệm phương trình Monge-Ampère phức

Chương 2 gồm ba tiểu mục: Mục 2.1 trình bày nguyên lý so sánh trên các lớp Cegrell; Mục 2.2 thiết lập điều kiện tương đương cho sự hội tụ theo dung lượng; Mục 2.3 trình bày tính ổn định nghiệm của phương trình Monge-Ampère phức.

2.1 Nguyên lý so sánh cho các hàm lớp Cegrell

  • Định nghĩa sự hội tụ theo $C_n$-dung lượng: Dãy hàm ${u_j} \subset PSH(\Omega)$ hội tụ tới $u$ theo $C_n$-dung lượng trên $\Omega$ khi $j \to +\infty$ nếu: $$\lim_{j \to +\infty} C_n({|u_j - u| > \delta}, \Omega) = 0, \quad \forall \delta > 0$$
  • Mệnh đề 2.4 (Khống chế tập đa cực): Cho $\Omega \subset \mathbb{C}^n$ là miền siêu lồi bị chặn và $u \in \mathcal{N}^a(\Omega, f)$. Luận án chứng minh phần đa cực của độ đo Monge-Ampère $(dd^c u)^n$ hoàn toàn được mang bởi tập kỳ dị ${f = -\infty}$, biểu diễn qua hệ thức: $$\mathbf{1}{{u = -\infty}} (dd^c u)^n = \mathbf{1}{{f = -\infty}} (dd^c f)^n \quad \text{trong } \Omega$$
  • Bất đẳng thức tích phân lớp Cegrell: Cho $v \in \mathcal{E}^a(\Omega, f)$ và $\phi \in \mathcal{E}0(\Omega)$ với $\phi \ge \rho$. Khi đó: $$\frac{1}{n!} \int\Omega (v - u)^n (dd^c \phi)^n + \int_\Omega -\phi (dd^c v)^n \le \int_\Omega -\phi (dd^c u)^n$$

2.2 Sự hội tụ theo dung lượng của các hàm đa điều hòa dưới

Tiểu mục này tập trung vào Định lý 2.7, giải quyết bài toán đặt ra ở phần tổng quan:

  • Định lý 2.7 (Định lý tương đương cốt lõi): Cho $\Omega \subset \mathbb{C}^n$ là miền siêu lồi bị chặn, $f \in \mathcal{E}(\Omega)$ và hàm chặn dưới $w \in \mathcal{N}^a(\Omega, f)$ thỏa mãn tích phân $\int_\Omega (-\rho)(dd^c w)^n < +\infty$ với $\rho \in \mathcal{E}_0(\Omega)$. Giả sử dãy hàm ${u_j} \subset \mathcal{N}^a(\Omega, f)$ hội tụ hầu khắp nơi tới $u_0$ và bị chặn dưới bởi $u_j \ge w$ trên $\Omega$ với mọi $j \ge 0$. Khi đó, ba mệnh đề sau đây là tương đương:
    1. $u_j \to u_0$ theo $C_n$-dung lượng trong $\Omega$ khi $j \to +\infty$.
    2. $(dd^c u_j)^n \to (dd^c u_0)^n$ theo topo yếu khi $j \to +\infty$.
    3. Với mỗi $a > 0$, hệ thức tích phân sau bị triệt tiêu: $$\lim_{j \to +\infty} \int_\Omega \left[ \max\left(\frac{v_j}{a}, \rho\right) - \max\left(\frac{u_j}{a}, \rho\right) \right] (dd^c u_j)^n = 0$$ trong đó $v_j := (\sup_{k \ge j} u_k)^*$ là bao trên nửa liên tục của dãy đuôi.

Quá trình chứng minh định lý này đòi hỏi kỹ thuật giải tích phức tạp:

  • Khẳng định sự tồn tại dãy chỉ số con ${j_k} \subset \mathbb{N}^*$ và các hàm cắt trơn $\chi_k \in C_0^\infty(\Omega)$ sao cho độ đo tích lũy trên tập mức ${u_0 > -\infty}$ hội tụ về độ đo giới hạn.
  • Khống chế phần kỳ dị đa cực thông qua bổ đề ước lượng dung lượng tập mức kỳ dị: $$C_n({h_k < -\delta}, \Omega) \le -\frac{1}{\delta^n} \int_{{w > -\infty}} \max\left(\frac{w}{k}, \rho\right) (dd^c w)^n \xrightarrow{k \to \infty} 0$$

2.3 Tính ổn định nghiệm của phương trình Monge-Ampère phức

Từ các kết quả tương đương ở Mục 2.2, tác giả chứng minh tính ổn định nghiệm cho phương trình Monge-Ampère phức: Khi dãy độ đo vế phải hội tụ yếu và thỏa mãn các điều kiện triệt tiêu tích phân kỳ dị biên, dãy nghiệm tương ứng sẽ hội tụ theo $C_n$-dung lượng về nghiệm của phương trình giới hạn. Kết quả này tổng quát hóa định lý ổn định nghiệm của U. Cegrell.

Chương 3. Thác triển dưới cực đại của hàm đa điều hòa dưới

Chương 3 áp dụng toàn bộ các công cụ và định lý ổn định đã thiết lập ở Chương 2 để nghiên cứu bài toán thác triển dưới.

3.1 Tính chất của các hàm thuộc lớp Cegrell

Tác giả trình bày các bổ đề nền tảng về tính chất giải tích của các hàm thuộc lớp Cegrell trên các miền siêu lồi lồng nhau $\Omega \Subset \widetilde{\Omega}$. Luận án thiết lập định nghĩa chính xác về hàm thác triển dưới cực đại của hàm đa điều hòa dưới với giá trị biên:

  • Cho $\Omega \Subset \widetilde{\Omega}$ là các miền siêu lồi và $\phi \in \mathcal{F}(\Omega)$. Hàm thác triển dưới $\widetilde{\phi} \in \mathcal{F}(\widetilde{\Omega})$ được gọi là thác triển dưới cực đại nếu với mọi hàm thác triển dưới khác $\psi \in \mathcal{F}(\widetilde{\Omega})$ thỏa mãn $\psi \le \phi$ trên $\Omega$, ta luôn có $\psi \le \widetilde{\phi}$ trên toàn miền $\widetilde{\Omega}$.
  • Tác giả nghiên cứu cấu trúc độ đo Monge-Ampère của các hàm thác triển này, chứng minh mối liên hệ giữa độ đo của hàm ban đầu trên miền trong $\Omega$ và độ đo của hàm thác triển cực đại trên phần bù $\widetilde{\Omega} \setminus \Omega$.

3.2 Sự hội tụ theo dung lượng của các hàm thác triển dưới cực đại

Nội dung trọng tâm của tiểu mục là định lý khẳng định:

  • Cho dãy hàm ${u_j}$ thuộc lớp Cegrell với các điều kiện biên tương thích, giả sử ${u_j}$ hội tụ theo $C_n$-dung lượng về hàm $u_0$.
  • Bằng cách sử dụng kết quả ổn định nghiệm của phương trình Monge-Ampère phức từ Chương 2, tác giả chứng minh dãy các hàm thác triển dưới cực đại tương ứng ${\widetilde{u}_j}$ cũng hội tụ theo $C_n$-dung lượng trên miền mở rộng $\widetilde{\Omega}$ về hàm thác triển dưới cực đại $\widetilde{u}_0$.

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

Theo phần tự công bố của luận án, các kết quả khoa học đạt được bao gồm:

1. Đóng góp về lý luận

  • Mở rộng phạm vi bài toán Dirichlet: Thiết lập sự tồn tại nghiệm và đưa ra đánh giá tường minh cho số mũ liên tục Hölder của nghiệm bài toán $MA(\Omega, \varphi, f)$ 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) khi vế phải $f \in L^p(\Omega)$ có giá compact. Đây là kết quả mở rộng trực tiếp định lý của Bedford - Taylor [3], Li [38] và Guedj - Zeriahi [26].
  • Điều kiện tương đương cho sự hội tụ dung lượng: Đưa ra điều kiện đủ tường minh trên lớp hàm $\mathcal{N}^a(\Omega, f)$ để khẳng định sự tương đương giữa sự hội tụ theo $C_n$-dung lượng của dãy hàm PSH và sự hội tụ yếu của dãy độ đo Monge-Ampère phức tương ứng. Kết quả này khắc phục hạn chế trong các nghiên cứu trước đây của Xing [42] và Cegrell [14].
  • Tổng quát hóa định lý ổn định: Thiết lập định lý tổng quát về tính ổn định nghiệm của phương trình Monge-Ampère phức trên miền siêu lồi bị chặn, mở rộng định lý ổn định của U. Cegrell.
  • Lý thuyết thác triển dưới cực đại: Ứng dụng thành công lý thuyết ổn định để giải quyết trọn vẹn bài toán về 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 của hàm đa điều hòa dưới với giá trị biên.

2. Ý nghĩa và giá trị ứng dụng

Văn bản nhấn mạnh lý thuyết đa thế vị là công cụ nền tảng trong nhiều chuyên ngành toán học hiện đại. Kết quả của luận án đóng góp vào việc hoàn thiện bộ công cụ kỹ thuật phân tích phục vụ trực tiếp cho:

  • Giải tích phức nhiều biến.
  • Hình học vi phân phức (nghiên cứu mêtric Kähler-Einstein và phương trình Monge-Ampère phức trên đa diện phức).
  • Phương trình đạo hàm riêng phức phi tuyến.
  • Động lực học phức và giải tích hyperbolic.

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

Dựa trên các nội dung văn bản đề cập, luận án ghi nhận các giới hạn phạm vi và định hướng mở rộng:

  • Tính duy nhất của nghiệm trên miền không bị chặn: Luận án mới chứng minh được sự tồn tại nghiệm của bài toán $MA(\Omega, \varphi, f)$ trên miền giả lồi đa điều hòa dưới loại $m$ không bị chặn khi vế phải có giá compact; tính duy nhất của nghiệm trong trường hợp miền không bị chặn vẫn là một bài toán mở chưa được giải quyết.
  • Phạm vi lớp hàm và hình học của miền: Các kết quả ổn định nghiệm và sự hội tụ dung lượng ở Chương 2 và Chương 3 chủ yếu được thiết lập trên các miền siêu lồi bị chặn và lớp hàm $\mathcal{N}^a(\Omega, f)$ với giả thiết tồn tại hàm chặn dưới $w$. Việc mở rộng sang các miền tổng quát hơn hoặc các lớp hàm rộng hơn trong giải tích phức chưa được bao quát.
  • Hướng nghiên cứu tiếp theo: Luận án định hướng tiếp tục nghiên cứu tìm kiếm điều kiện để giải quyết bài toán tính duy nhất nghiệm trên miền không bị chặn, đồng thời tìm hiểu các vấn đề nghiên cứu mới phát sinh trong mối liên hệ giữa độ đo Monge-Ampère và hình học phức.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị chuyên môn đối với:

  • Nghiên cứu sinh và học viên cao học: Là tài liệu tham khảo cho các đề tài nghiên cứu chuyên ngành Giải tích toán học, Giải tích phức và Giải tích hàm; cung cấp hệ thống định nghĩa và phương pháp giải quyết các bài toán liên quan đến toán tử Monge-Ampère phức và các lớp hàm Cegrell ($\mathcal{E}_0, \mathcal{F}, \mathcal{N}, \mathcal{E}$).
  • Giảng viên và nhà nghiên cứu:
    • Chương 1: Có giá trị tham khảo chuyên sâu về kỹ thuật xây dựng hàm rào, các phép xấp xỉ hình cầu và kỹ thuật đánh giá số mũ liên tục Hölder cho phương trình đạo hàm riêng phi tuyến trên miền biên không trơn.
    • Chương 2: Cung cấp chuỗi kỹ thuật xử lý giải tích vi tích phân đối với các tập mức kỳ dị đa cực và phương pháp thiết lập các định lý ổn định nghiệm thông qua topo yếu của độ đo.
    • Chương 3: Cung cấp kỹ thuật nghiên cứu lý thuyết thác triển giải tích trong không gian nhiều chiều.

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

1. Miền giả lồi đa điều hòa dưới loại $m$ được định nghĩa như thế nào trong luận án?

Theo Định nghĩa 1.2 trong văn bản, cho $m > 0$ và $\Omega$ là miền giả lồi trong $\mathbb{C}^n$. Miền $\Omega$ được gọi là đa điều hòa dưới loại $m$ nếu tồn tại một hàm bị chặn $\rho \in C^{0, 2/m}(\bar{\Omega})$ sao cho tập mức ${\rho < -\varepsilon} \Subset \Omega$ với mọi $\varepsilon > 0$, đồng thời hàm $\rho(z) - |z|^2$ là đa điều hòa dưới trong $\Omega$. (Miền giả lồi chặt, bị chặn, trơn trong $\mathbb{C}^n$ là trường hợp riêng với $m = 2$).

2. Số mũ liên tục Hölder của nghiệm bài toán Dirichlet $MA(\Omega, \varphi, f)$ trong Định lý 1.8 được xác định trong khoảng nào?

Theo chứng minh ở Chương 1, với $\varphi \in C^{0,\alpha}(\partial\Omega)$ ($0 < \alpha \le 1$) và $f \in L^p(\Omega)$ ($p > 1$), nghiệm bị chặn $u(\Omega, \varphi, f)$ liên tục $\gamma$-Hölder trên $\bar{\Omega}$ với mọi chỉ số $\gamma$ thỏa mãn: $$0 < \gamma < \min \left{ \frac{\alpha}{2m}, \frac{\alpha}{2}, \frac{1}{2m\left(1 + \frac{np}{p-1}\right)}, \frac{1}{2\left(1 + \frac{np}{p-1}\right)} \right}$$

3. Vì sao sự hội tụ yếu của dãy độ đo Monge-Ampère phức nói chung không suy ra được sự hội tụ theo $C_n$-dung lượng của dãy hàm?

Văn bản dẫn kết quả nghiên cứu của Y. 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ả khi tất cả các hàm $u_j$ trùng với $u$ trên biên $\partial\Omega$. Do đó, việc tìm các điều kiện đủ để tạo nên tính tương đương hai chiều đòi hỏi phải bổ sung các giả thiết chặn dưới và khống chế tích phân kỳ dị biên.

4. Điều kiện đủ để có sự tương đương giữa hội tụ dung lượng và hội tụ yếu độ đo trong Định lý 2.7 là gì?

Theo Định lý 2.7, các điều kiện đủ bao gồm: miền $\Omega \subset \mathbb{C}^n$ là siêu lồi bị chặn, $f \in \mathcal{E}(\Omega)$, tồn tại hàm chặn dưới $w \in \mathcal{N}^a(\Omega, f)$ thỏa mãn tích phân $\int_\Omega (-\rho)(dd^c w)^n < +\infty$ với $\rho \in \mathcal{E}_0(\Omega)$, dãy hàm ${u_j} \subset \mathcal{N}^a(\Omega, f)$ hội tụ hầu khắp nơi tới $u_0$, và $u_j \ge w$ trên $\Omega$ với mọi $j \ge 0$.

5. Luận án ghi nhận vấn đề nào vẫn là bài toán mở?

Văn bản chỉ rõ hai vấn đề mở:

  1. Tính duy nhất của nghiệm bài toán Dirichlet $MA(\Omega, \varphi, f)$ trên các miền giả lồi không trơn đa điều hòa dưới loại $m$ trong trường hợp miền $\Omega$ không bị chặn.
  2. Vấn đề giải quyết bài toán Dirichlet đối với 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$ mà không có điều kiện giá compact của $f$.

Kết luận

Luận án tiến sĩ của tác giả Trần Văn Thủy đã giải quyết có hệ thống ba vấn đề lý thuyết trọng tâm của giải tích phức nhiều biến và lý thuyết đa thế vị: thiết lập 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 miền giả lồi không trơn đa điều hòa dưới loại $m$; xác lập điều kiện tương đương cho sự hội tụ theo $C_n$-dung lượng và tính ổn định nghiệm trên các lớp hàm Cegrell; và chứng minh tính hội tụ theo dung lượng của dãy hàm thác triển dưới cực đại với giá trị biên. Các kết quả này mở rộng các định lý kinh điển đã công bố của Bedford - Taylor, Cegrell, Li và Guedj - Zeriahi. Toàn bộ công trình được trình bày theo phương pháp giải tích vi tích phân lý thuyết chặt chẽ, đóng góp vào sự phát triển của lý thuyết phương trình đạo hàm riêng phức phi tuyến.