Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Thái Thị Kim Chung, được thực hiện dưới sự hướng dẫn khoa học của Phó Giáo sư, Tiến sĩ Hà Tiến Ngoạn tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam, tập trung giải quyết bài toán biên Dirichlet đối với phương trình đạo hàm riêng phi tuyến hoàn toàn kiểu Monge-Ampère elliptic không đối xứng trong miền giới nội $\Omega \subset \mathbb{R}^n$ với số chiều không gian $n \ge 2$ bất kỳ.

Phương trình Monge-Ampère cổ điển bắt nguồn từ bài toán hình học vi phân xác định mặt cong có độ cong Gauss cho trước $K(x)$, được mở rộng thành phương trình phi tuyến hoàn toàn có dạng $\det D^2 u = f(x, u, Du)$. Trong các nghiên cứu hiện đại về Vận chuyển tối ưu và Hình học bảo giác, các mô hình toán học dẫn đến phương trình kiểu Monge-Ampère tổng quát chứa ma trận bổ sung phụ thuộc gradient: $$\det\left(D^2 u - A(x, u, Du) - B(x, u, Du)\right) = f(x, u, Du) \quad \text{trong } \Omega,$$ kèm theo điều kiện biên Dirichlet $u(x) = \phi(x)$ trên $\partial\Omega$. Trong cấu trúc toán tử này, ma trận $A(x, z, p) = [A_{ij}(x, z, p)]{n \times n}$ là ma trận đối xứng, $B(x, z, p) = [B{ij}(x, z, p)]_{n \times n}$ là ma trận phản đối xứng ($B^T = -B$), và hàm vế phải $f(x, z, p) > 0$ là hàm vô hướng xác định trên $\Gamma := \Omega \times \mathbb{R} \times \mathbb{R}^n$. Khi ma trận phản đối xứng $B \equiv 0$, phương trình trở thành kiểu Monge-Ampère đối xứng, vốn đã được nhóm nghiên cứu của nhà toán học Neil Trudinger giải quyết hoàn chỉnh cho số chiều $n$ bất kỳ nhờ vào tính lõm của hàm $\log(\det \omega)$ trên nón ma trận đối xứng xác định dương. Tuy nhiên, khi ma trận phản đối xứng $B \not\equiv 0$, phương trình chỉ mới được Trudinger khảo sát hạn chế ở trường hợp số chiều phẳng $n = 2$. Với số chiều $n \ge 3$, việc xuất hiện thành phần không đối xứng làm mất đi tính lõm cổ điển và phá vỡ cấu trúc chéo hóa trực giao đồng thời, tạo ra khoảng trống lý thuyết lớn chưa có lời giải.

Mục tiêu và các nhiệm vụ nghiên cứu cụ thể của luận án được xác định theo hệ thống các nội dung sau:

  1. Thiết lập khái niệm nghiệm $\delta$-elliptic với tham số $0 \le \delta < 1$ nhằm thu hẹp lớp nghiệm elliptic cổ điển, tạo cơ chế kiểm soát định lượng chuẩn toán tử của ma trận phản đối xứng $B$ thông qua giá trị riêng nhỏ nhất của phần đối xứng $\omega(x, u) = D^2 u - A(x, u, Du)$.
  2. Mở rộng tính lõm giải tích của hàm định thức thông qua việc xây dựng khái niệm tính $d$-lõm ($d \ge 0$) cho hàm số kiểu Monge-Ampère không đối xứng $F(R) = \log(\det R)$ trên tập lồi không bị chặn $D_{\delta, \mu} \subset \mathbb{R}^{n \times n}$.
  3. Thiết lập nguyên lý so sánh đối với các nghiệm $\delta$-elliptic của phương trình kiểu Monge-Ampère không đối xứng trong miền bị chặn.
  4. Xây dựng hệ thống các đánh giá tiên nghiệm toàn cục trong không gian Hölder $C^{2,\alpha}(\bar{\Omega})$ đối với nghiệm $\delta$-elliptic thông qua chuỗi đánh giá đạo hàm cấp hai trong miền, đánh giá trên biên và đánh giá tính liên tục Hölder.
  5. Xác định điều kiện cần đối với ma trận phản đối xứng $B$ và vận dụng phương pháp liên tục để chứng minh các định lý về sự tồn tại và tính duy nhất nghiệm $\delta$-elliptic cổ điển trong $C^{2,\alpha}(\bar{\Omega})$.

Đối tượng nghiên cứu của luận án là nghiệm cổ điển $\delta$-elliptic $u(x) \in C^{2,\alpha}(\bar{\Omega})$ của bài toán Dirichlet cho phương trình kiểu Monge-Ampère không đối xứng. Phạm vi nghiên cứu về mặt không gian là miền mở, bị chặn, liên thông $\Omega \subset \mathbb{R}^n$ có biên trơn $\partial\Omega$ thuộc lớp $C^{k+2,\alpha}$ hoặc $C^4$ với số chiều $n \ge 2$ tùy ý. Phạm vi đại số ma trận được giới hạn chặt chẽ trên tập lồi $D_{\delta, \mu}$ của các ma trận xác định dương không đối xứng có thành phần phản đối xứng bị chặn bởi $\mu \le \delta \lambda_{\min}(\omega)$.

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

Lịch sử nghiên cứu phương trình kiểu Monge-Ampère gắn liền với sự phát triển của giải tích hình học và lý thuyết phương trình đạo hàm riêng phi tuyến:

  • Giai đoạn khởi nguồn: Phương trình Monge-Ampère xuất hiện lần đầu từ cuối thế kỷ XVIII trong các công trình của Gaspard Monge (1784) và Alexandre-Marie Ampère (1820). Bài toán độ cong Gauss hai chiều $\det D^2 u = K(x)(1+|Du|^2)^2$ được nghiên cứu sâu sắc trong bài toán Minkowski bởi H. Minkowski, H. Lewy (thập niên 1930), L. Nirenberg (1953), S.S. Chern (thập niên 1950), A.D. Aleksandrov (thập niên 1950), I.Ya. Bakelman và A.V. Pogorelov (thập niên 1960-1970).
  • Giai đoạn hoàn thiện phương trình $\det D^2 u = f(x, u, Du)$: A.V. Pogorelov (1975, 1978) đã thiết lập các đánh giá tiên nghiệm bên trong miền đối với các đạo hàm cấp hai của nghiệm lồi chặt. Bước phát triển tiếp theo diễn ra vào những năm 1980 khi N.V. Krylov (1982, 1983) thiết lập các đánh giá tiên nghiệm Hölder bên trong miền đối với đạo hàm cấp hai một khi chuẩn trong $C^2(\bar{\Omega})$ đã được kiểm soát. Cùng thời kỳ đó, L.A. Caffarelli, L. Nirenberg, J. Spruck (1984) và N. Trudinger (1983, 1984) đã hoàn thiện các đánh giá tiên nghiệm toàn cục trong không gian $C^{2,\alpha}(\bar{\Omega})$, từ đó áp dụng phương pháp liên tục để chứng minh sự tồn tại và duy nhất nghiệm elliptic cổ điển.
  • Nghiên cứu phương trình kiểu Monge-Ampère tổng quát: Xuất phát từ lý thuyết Vận chuyển tối ưu và Hình học bảo giác, các công trình của X.J. Wang, N. Trudinger, J. Urbas (từ năm 2000 đến 2008) đã mở rộng bài toán sang phương trình có chứa các ma trận phụ thuộc cấp một $A(x, u, Du)$. N. Trudinger cùng các cộng sự (1995, 2001, 2006, 2008) đã thiết lập khung lý thuyết cho phương trình đối xứng với bốn giả thiết cơ bản T1)-T4), trong đó giả thiết T1 đòi hỏi tính chính quy hoặc chính quy chặt của ma trận $A$: $$D_{p_k p_l} A_{ij}(x, z, p)\xi_i \xi_j \eta_k \eta_l \ge a_0 |\xi|^2 |\eta|^2, \quad \forall \xi \perp \eta.$$
  • Nghiên cứu phương trình không đối xứng: Đối với phương trình có ma trận phản đối xứng $B(x, z, p) \not\equiv 0$, N. Trudinger (2006, 2008) đã khảo sát sự giải được của bài toán khi số chiều không gian $n = 2$. Trong các công trình nghiên cứu về hình học bảo giác, G. Huisken, M. Higgins và N. Trudinger đã nhấn mạnh yêu cầu cấp thiết phải mở rộng bài toán sang số chiều $n$ tổng quát.

Khoảng trống nghiên cứu mà luận án lựa chọn giải quyết nằm ở việc khắc phục rào cản khi số chiều $n \ge 3$ và ma trận $B \not\equiv 0$. Trong trường hợp đối xứng, công cụ trung tâm của nhóm Trudinger là tính lõm của hàm $F(\omega) = \log(\det \omega)$ trên nón ma trận đối xứng xác định dương và nguyên lý so sánh thông thường. Khi $B \not\equiv 0$, ma trận $R = \omega - B$ là ma trận xác định dương không đối xứng, hàm $F(R) = \log(\det R)$ không còn thỏa mãn tính lõm cổ điển, và phép chéo hóa trực giao đồng thời không thể thực hiện được trong trường thực. Luận án đã lấp đầy khoảng trống này bằng cách xây dựng khái niệm tính $d$-lõm, thiết lập nguyên lý so sánh có điều kiện cho toán tử không đối xứng và hoàn thiện hệ thống đánh giá tiên nghiệm $C^{2,\alpha}(\bar{\Omega})$ cho số chiều $n$ bất kỳ.

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

Luận án vận dụng hệ thống lý thuyết giải tích hàm và lý thuyết phương trình đạo hàm riêng elliptic phi tuyến hoàn toàn kết hợp với đại số tuyến tính nâng cao:

  • Khung lý thuyết phương trình phi tuyến hoàn toàn: Toán tử $F[u] = F(x, u, Du, D^2 u) = 0$ được xem xét dưới điều kiện elliptic đều, nghĩa là ma trận vi phân theo biến ma trận Hessian $[F_{r_{ij}}]{n \times n}$ là xác định dương. Luận án chỉ ra rằng tính elliptic của phương trình kiểu Monge-Ampère tương đương với điều kiện phần đối xứng $\omega(x, u) = D^2 u - A(x, u, Du)$ là xác định dương đều trên $\bar{\Omega}$, ký hiệu $\lambda_u := \min{x \in \bar{\Omega}} \lambda_{\min}(\omega(x, u)) > 0$.
  • Khái niệm nghiệm $\delta$-elliptic: Với hằng số $\delta \in [0, 1)$, hàm $u(x) \in C^2(\bar{\Omega})$ được gọi là nghiệm $\delta$-elliptic nếu nó là nghiệm elliptic và thỏa mãn điều kiện ma trận phản đối xứng bị chặn trên bởi phần đối xứng: $$\mu(B) := \sup_{(x,z,p) \in \Gamma} |B(x, z, p)| \le \delta \lambda_u.$$
  • Khung không gian ma trận $D_{\delta, \mu}$ và khái niệm tính $d$-lõm: Luận án xác định tập ma trận thực cấp $n$: $$D_{\delta, \mu} := {R \in \mathbb{R}^{n \times n} \mid R = \omega + \beta, , \omega^T = \omega, , \beta^T = -\beta, , \lambda_{\min}(\omega) > 0, , \mu \le \delta \lambda_{\min}(\omega), , |\beta| \le \mu}.$$ Hàm số $F(R) = \log(\det R)$ được định nghĩa là $d$-lõm ($d \ge 0$) trên tập lồi $D_{\delta, \mu}$ nếu với mọi cặp ma trận $R^{(0)}, R^{(1)} \in D_{\delta, \mu}$, bất đẳng thức sau luôn được thỏa mãn: $$F(R^{(1)}) - F(R^{(0)}) \le \sum_{i,j=1}^n \frac{\partial F(R^{(0)})}{\partial R_{ij}}\left(R_{ij}^{(1)} - R_{ij}^{(0)}\right) + d.$$ Khi $d = 0$, tính chất này trùng khớp với khái niệm tính lõm thông thường của hàm lồi.
  • Công cụ đại số ma trận: Sử dụng chuẩn Frobenius $|M| = (\sum_{i,j=1}^n |M_{ij}|^2)^{1/2}$, chuẩn toán tử $|M| = \sup_{|x|=1}|Mx|$, định thức ma trận compound bậc 2 $M^{(2)}$, định lý Schur về chéo hóa ma trận unita và ma trận trực giao.
  • Phương pháp đánh giá tiên nghiệm giải tích:
    1. Đánh giá đạo hàm cấp hai trong miền bằng cách xây dựng hàm phụ trợ kiểu Pogorelov kết hợp với tính chính quy chặt của ma trận $A$.
    2. Đánh giá đạo hàm cấp hai trên biên bằng kỹ thuật làm phẳng biên địa phương qua phép biến đổi tọa độ trơn và xây dựng hàm chắn (barrier functions).
    3. Đánh giá tính liên tục Hölder toàn cục đối với đạo hàm cấp hai thông qua bất đẳng thức Harnack yếu và kỹ thuật Krylov.
  • Phương pháp liên tục (Method of continuity): Nghiên cứu tính giải được của bài toán phương trình toán tử phi tuyến trong không gian Banach $C^{2,\alpha}(\bar{\Omega})$ bằng cách xét họ toán tử phụ thuộc tham số $t \in [0, 1]$: $$T[u, t] := F[u] - (1-t)F[u^{(0)}] = 0.$$ Tính mở của tập tham số $I = {t \in [0, 1] \mid \exists u \in \tilde{B}_1: T[u, t] = 0}$ được chứng minh thông qua tính khả vi Fréchet và Định lý hàm ẩn; tính đóng của $I$ được thiết lập từ các đánh giá tiên nghiệm đều trong $C^{2,\alpha}(\bar{\Omega})$ kết hợp tính compact của phép nhúng Arzelà-Ascoli $C^{2,\alpha}(\bar{\Omega}) \hookrightarrow C^2(\bar{\Omega})$.
  • Nguồn tư liệu nghiên cứu: Toàn bộ công trình sử dụng tư liệu giải tích toán học lý thuyết thuần túy, kế thừa các công trình nền tảng của N. Trudinger, D. Gilbarg, N.V. Krylov, A.V. Pogorelov và hai bài báo khoa học đã công bố của chính tác giả.

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

Chương 1: Một số kiến thức chuẩn bị

Chương 1 hệ thống hóa các cơ sở toán học nền tảng phục vụ cho toàn bộ các chứng minh của luận án:

  • Lý thuyết ma trận: Trình bày các tính chất của chuẩn ma trận Frobenius $|M|$ và chuẩn toán tử $|M|$, thỏa mãn bất đẳng thức tương đương $|M| \le |M| \le \sqrt{n}|M|$. Trình bày Định lý Schur về chéo hóa ma trận thực và phức, thiết lập đánh giá đối với vết của tích ma trận đối xứng $M$ và ma trận xác định không âm $N$: $$\lambda_{\min}(M) \text{Tr} N \le \text{Tr}(MN) \le \lambda_{\max}(M) \text{Tr} N.$$ Định nghĩa ma trận compound bậc 2 $M^{(2)}$ có kích thước $\binom{n}{2} \times \binom{n}{2}$ tạo bởi các định thức con cấp hai $M^{(2)}{ik, jl} = M{ij}M_{kl} - M_{il}M_{kj}$ với $i < k$ và $j < l$, chứng minh công thức Binet-Cauchy $(MN)^{(2)} = M^{(2)}N^{(2)}$ và hệ thức phân tích: $$\frac{1}{2}\left(M^{(2)} + (M^{(2)})^T\right) = \left(\frac{M+M^T}{2}\right)^{(2)} + \left(\frac{M-M^T}{2}\right)^{(2)}.$$
  • Không gian hàm Hölder và Sobolev: Định nghĩa các không gian $C^{k}(\bar{\Omega})$, nửa chuẩn Hölder $[u]_{\alpha;\Omega}$, không gian Hölder $C^{k,\alpha}(\bar{\Omega})$, định lý nhúng compact Arzelà-Ascoli, bất đẳng thức Hölder trong không gian tích phân $L^p(\Omega)$ và tiêu chuẩn đánh giá dao độ của hàm Sobolev $W^{1,1}(\Omega)$ tiến tới tính liên tục Hölder địa phương.
  • Phương trình đạo hàm riêng elliptic tuyến tính cấp hai: Trình bày nguyên lý cực đại, nguyên lý so sánh cho toán tử elliptic cấp hai dạng $Lu = a_{ij}(x)D_{ij}u + b_i(x)D_i u + c(x)u$, tính khả nghịch của bài toán Dirichlet trong không gian Hölder, bất đẳng thức Harnack yếu đối với nghiệm không âm và định lý đánh giá chuẩn $L^p$ cho đạo hàm cấp hai trong lân cận biên phẳng.
  • Phương trình phi tuyến hoàn toàn và phương pháp liên tục: Định nghĩa toán tử elliptic phi tuyến, chứng minh Mệnh đề 1.15 khẳng định tính elliptic của toán tử kiểu Monge-Ampère tương đương với điều kiện ma trận đối xứng $\omega(x, u) > 0$. Giới thiệu khái niệm đạo hàm Fréchet, đạo hàm Gâteaux, Định lý hàm ẩn trong không gian Banach và Định lý 1.18 về phương pháp liên tục.

Chương 2: Tính d-lõm của hàm số kiểu Monge-Ampère không đối xứng

Chương 2 tập trung giải quyết bài toán đại số giải tích trung tâm: mở rộng tính lõm của hàm định thức sang lớp ma trận không đối xứng:

  • Tính lõm đối xứng: Nhắc lại các đạo hàm riêng cấp một và cấp hai của hàm $F(\omega) = \log(\det \omega)$: $$F^{ij} = \frac{\partial F}{\partial \omega_{ij}} = \omega^{ji}, \quad F^{ij, kl} = \frac{\partial^2 F}{\partial \omega_{ij}\partial \omega_{kl}} = -\omega^{li}\omega^{jk},$$ dẫn đến vi phân cấp hai luôn xác định không dương trên không gian ma trận đối xứng: $$\sum_{i,j,k,l=1}^n F^{ij, kl} P_{ij} P_{kl} \le -\frac{1}{(\lambda_{\max}(\omega))^2}|P|^2 \le 0.$$
  • Tính chất hình học của tập $D_{\delta, \mu}$: Mệnh đề 2.3 chứng minh $D_{\delta, \mu}$ là tập lồi và không bị chặn trong $\mathbb{R}^{n \times n}$. Mệnh đề 2.4 và 2.6 thiết lập các bất đẳng thức định thức cơ bản đối với $R = \omega + \beta$: $$\det\beta \ge 0, \quad \det R \ge \det\omega + \det\beta \ge \det\omega > 0,$$ đặc biệt khi $n = 2$ thì đẳng thức xảy ra $\det R = \det\omega + \det\beta$. Đồng thời thiết lập đánh giá hai phía: $$\det\omega + (2^{[n/2]} - 1)\det\beta \le \det R \le (1+\delta^2)^{[n/2]}\det\omega.$$
  • Biểu diễn vi phân và ma trận nghịch đảo: Kỹ thuật chéo hóa phối hợp được thiết lập bằng cách đặt ma trận phản đối xứng chuẩn hóa $\sigma := \omega^{-1/2} \beta \omega^{-1/2}$. Ma trận $\sigma$ được chéo hóa unita $\sigma = C_1 D_1 C_1^*$, với các giá trị riêng thuần ảo $i\sigma_j$ thỏa mãn $|\sigma_j| \le \delta < 1$. Từ đó thiết lập biểu thức tường minh cho phần đối xứng và phản đối xứng của ma trận nghịch đảo $R^{-1}$: $$\frac{R^{-1} + (R^{-1})^T}{2} = \omega^{-1/2} (E-\sigma^2)^{-1} \omega^{-1/2}, \quad \frac{R^{-1} - (R^{-1})^T}{2} = \omega^{-1/2} (-\sigma)(E-\sigma^2)^{-1} \omega^{-1/2}.$$
  • Thiết lập tính $d$-lõm: Với ma trận gia số $M = P + Q$ ($P$ đối xứng, $Q$ phản đối xứng), vi phân cấp hai của $F(R)$ được tách thành $F(R, M) = F(R, P) + F(R, Q) + 2L(R, P, Q)$. Định lý 2.19 chứng minh cận trên vi phân cấp hai: $$F(R, M) \le -(1-\eta)\frac{1-\delta^2}{(1+\delta^2)^2}|\tilde{P}|^2 + \left(1 + \frac{4n^2\delta^2}{\eta(1-\delta^2)}\right)|\tilde{Q}|^2, \quad \forall \eta \in (0, 1).$$ Định lý 2.21 chứng minh kết quả trung tâm: hàm $F(R) = \log(\det R)$ là $d$-lõm trên tập $D_{\delta, \mu}$ với hằng số phụ thuộc duy nhất vào số chiều $n$ và tham số $\delta$: $$d = 2n\delta^2\left(1 + \frac{4n^2\delta^2}{1-\delta^2}\right).$$
Thuộc tính ma trận và hàm số Trường hợp đối xứng ($B \equiv 0$, $\delta = 0$) Trường hợp không đối xứng ($B \not\equiv 0$, $0 < \delta < 1$)
Không gian ma trận Tập lồi các ma trận đối xứng $\omega > 0$ Tập lồi không bị chặn $D_{\delta, \mu} \subset \mathbb{R}^{n \times n}$
Tính chất vi phân cấp hai $F(\omega, P) \le -(\lambda_{\max}(\omega))^{-2} P
Tính lõm giải tích Lõm thông thường ($d = 0$) $d$-lõm với $d = 2n\delta^2\left(1 + \frac{4n^2\delta^2}{1-\delta^2}\right)$
Cấu trúc ma trận nghịch đảo $\omega^{-1}$ hoàn toàn đối xứng Tách thành phần đối xứng $(E-\sigma^2)^{-1}$ và phản đối xứng $\sigma(E-\sigma^2)^{-1}$
Giá trị định thức $\det \omega > 0$ $\det R \ge \det \omega + \det \beta \ge \det \omega > 0$

Chương 3: Các đánh giá tiên nghiệm trong $C^{2,\alpha}(\bar{\Omega})$ đối với nghiệm $\delta$-elliptic

Chương 3 triển khai trọn vẹn chuỗi đánh giá tiên nghiệm toàn cục gồm 4 bước kỹ thuật:

  • Nguyên lý so sánh (Mục 3.1): Định lý 3.1 chứng minh nếu hai hàm $u, v \in C^2(\bar{\Omega})$ thỏa mãn phương trình toán tử $G[u] \le G[v]$ trong $\Omega$ và $u \ge v$ trên $\partial\Omega$, đồng thời thỏa mãn các điều kiện chặn định lượng: $$\mu(B) \le \delta \min{\lambda_u, \lambda_v}, \quad \inf_\Gamma \lambda_{\min}(D_z A) \ge -\alpha_1 \min{\lambda_u, \lambda_v}, \quad \mu(D_z B) \le \beta_1 \min{\lambda_u, \lambda_v},$$ $$f_1 := \inf_{\Gamma} \frac{D_z f}{f} \ge n\left(\alpha_1 + \frac{\delta}{1+\delta^2}\beta_1\right),$$ thì $u(x) \ge v(x)$ trên toàn miền $\Omega$, và nếu $u = v$ trên $\partial\Omega$ thì đạo hàm theo pháp tuyến trong thỏa mãn $\frac{\partial u}{\partial \nu} \ge \frac{\partial v}{\partial \nu}$.
  • Đánh giá đạo hàm cấp hai trong miền qua biên (Mục 3.2): Áp dụng kỹ thuật Pogorelov kết hợp tính chính quy chặt của ma trận $A$ (giả thiết T1 chặt với hằng số $a_0 > 0$) và tính $d$-lõm từ Định lý 2.20. Kết quả thu được đánh giá chặn đều đại lượng $|D^2 u(x)|$ trong $\Omega$ thông qua giá trị lớn nhất của nó trên biên $\partial\Omega$.
  • Đánh giá đạo hàm cấp hai trên biên (Mục 3.3): Sử dụng phép làm phẳng biên địa phương qua phép đổi biến trơn, chia tách việc đánh giá thành các đạo hàm tiếp tuyến - tiếp tuyến, tiếp tuyến - pháp tuyến và pháp tuyến - pháp tuyến. Bằng cách xây dựng các hàm chắn giải tích và áp dụng nguyên lý so sánh tuyến tính, luận án thiết lập chặn trên đều cho $|D^2 u|$ trên $\partial\Omega$.
  • Đánh giá Hölder toàn cục (Mục 3.4 & 3.5): Vận dụng bất đẳng thức Harnack yếu và kỹ thuật Krylov để thu được đánh giá nửa chuẩn Hölder bên trong miền $[D^2 u]{\alpha;\Omega'}$ và tại lân cận biên phẳng. Kết hợp toàn bộ các kết quả trên, Định lý 3.1 tổng kết đánh giá tiên nghiệm toàn cục quan trọng nhất: $$|u|{C^{2,\alpha}(\bar{\Omega})} \le C,$$ với các hằng số $\alpha \in (0, 1)$ và $C > 0$ phụ thuộc duy nhất vào số chiều $n$, miền $\Omega$, chuẩn của các hàm dữ kiện $A, f, \phi$ và độc lập đều với lớp ma trận phản đối xứng $B$ đủ nhỏ.

Chương 4: Tính giải được của bài toán Dirichlet cho phương trình kiểu Monge-Ampère không đối xứng

Chương 4 hoàn tất việc chứng minh tính giải được của bài toán Dirichlet:

  • Điều kiện cần (Mục 4.1): Luận án chứng minh một điều kiện cần về độ lớn ma trận phản đối xứng $B(x, z, p)$ để phương trình có thể tồn tại nghiệm $\delta$-elliptic. Nếu thành phần phản đối xứng vượt quá một ngưỡng giới hạn xác định bởi độ cong của miền và hàm vế phải $f$, tính elliptic sẽ bị phá vỡ.
  • Điều kiện đủ và định lý tồn tại duy nhất (Mục 4.2): Định lý 4.3 thiết lập các điều kiện đủ đối với ma trận $A, B$, hàm vế phải $f$ và giá trị biên $\phi$. Bằng cách chuyển bài toán về phương trình toán tử có điều kiện biên thuần nhất triệt tiêu trên $\partial\Omega$, tác giả áp dụng phương pháp liên tục trên không gian Banach $C^{2,\alpha}(\bar{\Omega})$. Do đã có đánh giá tiên nghiệm đều $|u|_{C^{2,\alpha}(\bar{\Omega})} \le C$ từ Chương 3, tập tham số $I$ là đóng trong $[0, 1]$. Đồng thời, tính khả nghịch của toán tử đạo hàm Fréchet đảm bảo tính mở của $I$. Do $0 \in I$, suy ra $I = [0, 1]$, chứng minh sự tồn tại và duy nhất nghiệm cổ điển $\delta$-elliptic trong $C^{2,\alpha}(\bar{\Omega})$ khi ma trận $B$ đủ nhỏ.
  • Ví dụ ứng dụng (Mục 4.3): Luận án minh họa lý thuyết trên hai bài toán cụ thể:
    1. Bài toán Dirichlet cho phương trình kiểu Monge-Ampère không đối xứng phát sinh trong Hình học bảo giác, kiểm chứng các điều kiện chính quy của ma trận $A$ và tính tương thích của ma trận $B$.
    2. Phương trình kiểu Monge-Ampère không đối xứng phụ thuộc tham số, thể hiện tường minh khoảng giá trị tham số để nghiệm $\delta$-elliptic tồn tại duy nhất.

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

Luận án đã đạt được các kết quả khoa học mới về mặt lý luận và thực tiễn giải tích:

  1. Đóng góp lý luận về đại số và hình học vi phân: Đưa ra khái niệm nghiệm $\delta$-elliptic ($0 \le \delta < 1$) đối với phương trình kiểu Monge-Ampère không đối xứng; thiết lập khái niệm tính $d$-lõm và chứng minh hàm $F(R) = \log(\det R)$ là $d$-lõm trên tập lồi không bị chặn $D_{\delta, \mu}$ với hằng số $d = 2n\delta^2[1 + 4n^2\delta^2/(1-\delta^2)]$; thiết lập công thức biểu diễn tường minh cho phần đối xứng và phản đối xứng của ma trận nghịch đảo $R^{-1}$ thông qua phép chéo hóa unita.
  2. Đóng góp lý luận về lý thuyết phương trình đạo hàm riêng phi tuyến: Mở rộng nguyên lý so sánh cho lớp toán tử kiểu Monge-Ampère không đối xứng; thiết lập thành công hệ thống đánh giá tiên nghiệm toàn cục trong không gian Hölder $C^{2,\alpha}(\bar{\Omega})$ đối với nghiệm $\delta$-elliptic cho số chiều $n \ge 2$ bất kỳ, đảm bảo tính bị chặn đều đối với lớp ma trận phản đối xứng $B$ nhỏ.
  3. Đóng góp về tính giải được và ứng dụng: Thiết lập điều kiện cần đối với ma trận $B$ cho sự tồn tại nghiệm; vận dụng thành công phương pháp liên tục để chứng minh định lý tồn tại duy nhất nghiệm cổ điển trong $C^{2,\alpha}(\bar{\Omega})$; áp dụng giải quyết bài toán biên cụ thể trong Hình học bảo giác và phương trình phụ thuộc tham số.

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

Các hạn chế được xác định trực tiếp từ phạm vi và giả thiết của văn bản luận án:

  • Nghiệm nghiên cứu mới chỉ dừng lại ở lớp con nghiệm trơn cổ điển $\delta$-elliptic trong không gian Hölder $C^{2,\alpha}(\bar{\Omega})$ với điều kiện khống chế tham số $0 \le \delta < 1$. Luận án chưa khảo sát được trường hợp ma trận phản đối xứng có độ lớn tùy ý ($\delta \ge 1$) hoặc trường hợp phương trình suy biến khi $\lambda_{\min}(\omega) = 0$.
  • Do kỹ thuật xấp xỉ phương trình phi tuyến trong trường hợp không đối xứng rất phức tạp, các giả thiết về độ trơn đối với miền $\Omega$ và các dữ kiện $A, B, f, \phi$ phải nâng lên mức cao hơn (lớp $C^4$ hoặc $C^{k+2,\alpha}$) so với trường hợp phương trình đối xứng.

Hướng nghiên cứu tiếp được mở ra bao gồm:

  • Nghiên cứu nới lỏng giả thiết từ điều kiện chính quy chặt của ma trận $A$ xuống điều kiện chính quy thông thường ($a_0 = 0$).
  • Xây dựng kỹ thuật xấp xỉ trơn chuyên biệt để giảm nhẹ đòi hỏi về độ trơn ban đầu của các hàm dữ kiện trong bài toán không đối xứng.
  • Mở rộng nghiên cứu bài toán cho nghiệm suy biến hoặc nghiệm yếu (nghiệm nhớt - viscosity solutions) trên các miền không trơn.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo giá trị cho các nhóm đối tượng học thuật:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Toán giải tích, Phương trình vi phân và đạo hàm riêng, Hình học vi phân và Giải tích hình học.
  • Các nhà nghiên cứu làm việc trong lĩnh vực Vận chuyển tối ưu, Hình học bảo giác và Cơ học chất lỏng phi tuyến cần công cụ xử lý các toán tử ma trận không đối xứng.

Các phần nội dung có giá trị tham khảo học thuật cao nhất trong văn bản:

  • Chương 2: Cung cấp kỹ thuật tính toán vi phân cấp hai của định thức ma trận không đối xứng, phương pháp chéo hóa phối hợp và kỹ thuật chứng minh tính $d$-lõm.
  • Chương 3: Cung cấp trọn vẹn quy trình phân tích tiên nghiệm giải tích 4 bước chuẩn mực từ kỹ thuật Pogorelov, hàm chắn trên biên đến đánh giá Krylov.
  • Chương 4: Cung cấp khuôn mẫu vận dụng phương pháp liên tục kết hợp Định lý hàm ẩn trong không gian Banach để xử lý bài toán biên phi tuyến hoàn toàn.

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

  1. Khái niệm nghiệm $\delta$-elliptic khác gì so với nghiệm elliptic thông thường của phương trình kiểu Monge-Ampère? Trả lời: Nghiệm elliptic thông thường chỉ yêu cầu ma trận đối xứng $\omega(x, u) = D^2 u - A(x, u, Du)$ là xác định dương đều trên $\bar{\Omega}$ ($\lambda_u > 0$). Khái niệm nghiệm $\delta$-elliptic với $0 \le \delta < 1$ thu hẹp lớp nghiệm này bằng cách bổ sung thêm điều kiện khống chế định lượng đối với ma trận phản đối xứng: $\mu(B) \le \delta \lambda_u$, trong đó $\mu(B) = \sup_{\Gamma}|B(x, z, p)|$. Khi $\delta = 0$, ma trận $B \equiv 0$ và nghiệm $\delta$-elliptic trùng khớp với nghiệm elliptic cổ điển.

  2. Tính $d$-lõm của hàm $F(R) = \log(\det R)$ được xác định với hằng số $d$ bằng bao nhiêu và phụ thuộc vào những yếu tố nào? Trả lời: Theo Định lý 2.21 của luận án, hàm $F(R) = \log(\det R)$ là $d$-lõm trên tập lồi không bị chặn $D_{\delta, \mu}$ với hằng số sai lệch $d$ được xác định tường minh bởi công thức: $$d = 2n\delta^2\left(1 + \frac{4n^2\delta^2}{1-\delta^2}\right).$$ Hằng số $d$ này chỉ phụ thuộc duy nhất vào số chiều không gian $n$ và tham số eliptic $\delta$, hoàn toàn độc lập với chặn trên $\mu$ của chuẩn ma trận phản đối xứng.

  3. Tại sao không thể áp dụng trực tiếp kỹ thuật chéo hóa ma trận của Trudinger cho trường hợp phương trình không đối xứng? Trả lời: Trong trường hợp đối xứng ($B \equiv 0$), ma trận $\omega$ là đối xứng thực, do đó luôn tồn tại ma trận trực giao thực $C$ để chéo hóa $\omega = CDC^{-1}$ tại từng điểm, giúp tính toán vi phân cấp hai dễ dàng. Khi $B \not\equiv 0$, ma trận $R = \omega - B$ có chứa thành phần phản đối xứng, các giá trị riêng của phần phản đối xứng là thuần ảo, không thể chéo hóa đồng thời $\omega$ và $B$ bằng một phép biến đổi trực giao thực. Luận án khắc phục điều này bằng cách chuẩn hóa $\sigma = \omega^{-1/2} \beta \omega^{-1/2}$ rồi chéo hóa unita phức cho $\sigma$.

  4. Bốn giả thiết T1)-T4) của Trudinger đối với bài toán Dirichlet đối xứng gồm những nội dung gì? Trả lời: Bốn giả thiết gồm: T1) Ma trận $A \in C^2$ thỏa mãn điều kiện chính quy $D_{p_k p_l} A_{ij}\xi_i \xi_j \eta_k \eta_l \ge 0$ hoặc chính quy chặt $\ge a_0 |\xi|^2 |\eta|^2$ với $\xi \perp \eta$; T2) Hàm vế phải thỏa mãn $f(x, z, p) \ge \gamma_0 > 0$; T3) Đạo hàm theo biến $z$ thỏa mãn $D_z A \ge 0$ và $D_z f \ge 0$; T4) Tồn tại một nghiệm dưới elliptic $\underline{u}(x) \in C^4(\bar{\Omega})$ của bài toán.

  5. Điều kiện cần và đủ để bài toán Dirichlet cho phương trình không đối xứng tồn tại duy nhất nghiệm trong $C^{2,\alpha}(\bar{\Omega})$ được thiết lập như thế nào? Trả lời: Điều kiện cần (Định lý 4.1) đòi hỏi ma trận phản đối xứng $B$ không được vượt quá một ngưỡng phụ thuộc vào hình học miền và vế phải $f$. Điều kiện đủ (Định lý 4.3) yêu cầu miền $\Omega$ trơn, ma trận $A$ thỏa mãn tính chính quy chặt, tồn tại nghiệm dưới elliptic, các hàm dữ kiện thỏa mãn điều kiện trơn thích hợp, và ma trận phản đối xứng $B$ đủ nhỏ theo nghĩa chuẩn $\mu(B) \le \delta \lambda_u$ với $\delta \in [0, 1)$, khi đó phương pháp liên tục khẳng định bài toán có nghiệm duy nhất trong $C^{2,\alpha}(\bar{\Omega})$.

Kết luận

Luận án tiến sĩ của tác giả Thái Thị Kim Chung đã giải quyết trọn vẹn bài toán Dirichlet cho phương trình kiểu Monge-Ampère elliptic không đối xứng với số chiều $n \ge 2$ bất kỳ khi ma trận phản đối xứng đủ nhỏ. Công trình đã đóng góp vào lý thuyết phương trình đạo hàm riêng phi tuyến các công cụ toán học mới bao gồm khái niệm nghiệm $\delta$-elliptic, tính chất $d$-lõm của hàm định thức trên tập ma trận không đối xứng và nguyên lý so sánh tương ứng. Chuỗi đánh giá tiên nghiệm toàn cục trong không gian Hölder $C^{2,\alpha}(\bar{\Omega})$ và định lý tồn tại duy nhất nghiệm bằng phương pháp liên tục đã hoàn thiện một bước phát triển quan trọng mở rộng từ chương trình nghiên cứu của Neil Trudinger.