Tổng quan luận án

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

Lý thuyết đa tạp với mật độ (manifolds with density) hay đa tạp với trọng (weighted manifolds) là cấu trúc toán học mở rộng từ hình học Riemann cổ điển, trong đó không gian được trang bị thêm một hàm mật độ trơn dương $e^{-f}$ đóng vai trò làm trọng số cho thể tích và chu vi. Trong vật lý, cấu trúc này mô tả các môi trường có sự phân bố khối lượng nội tại không đồng nhất; trong kinh tế và xác suất thống kê, mặt phẳng Gauss $\mathbb{R}^2$ với mật độ $(2\pi)^{-1}e^{-r^2/2}$ là mô hình chuẩn tắc thường xuyên được sử dụng.

Vấn đề khảo sát các mặt cực tiểu với mật độ ($f$-cực tiểu, thỏa mãn độ cong trung bình với mật độ $H_f = 0$) và các mặt có $f$-độ cong trung bình hằng đang thu hút sự quan tâm lớn của các nhà toán học. Đặc biệt, các siêu mặt $f$-cực tiểu trong không gian Gauss có mối liên hệ nội tại chặt chẽ với nghiệm tự co rút (self-shrinker) của dòng độ cong trung bình (Mean Curvature Flow - MCF), đóng vai trò cốt lõi trong việc phân tích các điểm kỳ dị của dòng độ cong trung bình.

Trong hình học vi phân, Định lý Bernstein cổ điển (về tính phẳng của đồ thị cực tiểu toàn phần) và Định lý Halfspace cổ điển của Hoffman - Meeks (về sự giao nhau của hai mặt cực tiểu nhúng proper đầy đủ trong $\mathbb{R}^3$) là hai kết quả nền tảng nhưng lại không còn đúng ở số chiều cao hoặc thay đổi khi có thêm trọng số mật độ. Khoảng trống nghiên cứu đặt ra là:

  • Cần làm rõ mối liên hệ giữa các mặt $f$-cực tiểu và các nghiệm tự đồng dạng của dòng độ cong trung bình.
  • Mở rộng các định lý kiểu Bernstein và định lý kiểu Halfspace lên các đa tạp dạng tích (tích Riemann, tích cong - warped product, tích Lorentz) cũng như lên các mặt có đối chiều cao ($m > 1$).

Luận án tiến sĩ toán học với đề tài "Một số kết quả về mặt $f$-cực tiểu trong các không gian tích" được thực hiện nhằm giải quyết các vấn đề trên.

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

Luận án xác định 4 mục tiêu nghiên cứu cụ thể được đánh số theo văn bản:

  1. Nghiên cứu phát biểu mối quan hệ giữa mặt $f$-cực tiểu và nghiệm tự đồng dạng của dòng độ cong trung bình.
  2. Nghiên cứu phát biểu một số tính chất của mặt $f$-cực tiểu trong các không gian tích.
  3. Nghiên cứu xây dựng các định lý kiểu Bernstein, định lý kiểu halfspace cho các mặt $f$-cực tiểu ($f$-cực đại) trong các không gian tích.
  4. Nghiên cứu phát biểu một số kết quả về mặt $f$-cực tiểu đối chiều cao.

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

  • Đối tượng nghiên cứu: Siêu mặt và đa tạp con $f$-cực tiểu, siêu mặt $f$-cực đại, nghiệm tự đồng dạng của dòng độ cong trung bình (self-shrinker, translator), toán tử $f$-Laplace, các slice, đồ thị toàn phần, định lý kiểu Bernstein và định lý kiểu halfspace.
  • Phạm vi không gian: Không gian Ơclit $\mathbb{R}^n$ với mật độ Gauss, mật độ log-tuyến tính, mật độ cầu; không gian tích Gauss $G^n$; không gian tích cong $\mathbb{R}^+ \times_w G^n$; không gian tích Lorentz $G^n \times \mathbb{R}_1$.
  • Thời gian và cơ quan đào tạo: Luận án thuộc chuyên ngành Hình học và Tôpô (mã số: 62 46 01 05), được hoàn thành tại Trường Đại học Sư phạm Thành phố Hồ Chí Minh năm 2021, dưới sự hướng dẫn khoa học của PGS. Đoàn Thế Hiếu và TS. Nguyễn Hà Thanh.

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

Các hướng nghiên cứu đi trước được tổng quan

Luận án điểm lại hệ thống các công trình và tác giả tiêu biểu theo các mạch phát triển lý thuyết:

  • Lý thuyết đa tạp với mật độ và $f$-độ cong trung bình: M. Gromov (năm 2003, [26]) đã mở rộng khái niệm độ cong trung bình $H$ thành độ cong trung bình với mật độ $H_f = H + \frac{1}{n-1}\langle \nabla f, N \rangle$. Frank Morgan (năm 2009, [40]) đã hệ thống hóa lý thuyết "đa tạp với mật độ", thiết lập các biến phân diện tích theo mật độ. Morgan và nhóm cộng sự (năm 2009, [14]) đã giải quyết bài toán đẳng chu trong không gian với mật độ. Xu (năm 2009, [14]) và Harold Rosenberg (năm 2010, [13], [44]) nghiên cứu các mặt đầy đủ có $f$-độ cong trung bình hằng trong không gian Gauss và không gian tích. Hoang (năm 2017, [31]) phân loại các mặt kẻ trụ $f$-cực tiểu trong $\mathbb{R}^3$ với mật độ log-tuyến tính. Hieu (năm 2016, [29]) áp dụng phương pháp dạng cỡ với mật độ để chứng minh tính $f$-cực tiểu diện tích.
  • Dòng độ cong trung bình và nghiệm tự đồng dạng: Colding và Minicozzi (năm 2012, [12]), Ecker và Huisken (năm 1989, [23]), Lu Wang (năm 2014, [47]), Cheng và Wei (năm 2018, [7]), D. Hieu (năm 2014, [28]), và Zhou (năm 2018, [51]) đã khảo sát tính chất kỳ dị, đồ thị tự co rút (shrinker) và nghiệm tịnh tiến (translator).
  • Lịch sử Định lý Bernstein và các mở rộng:
    • Năm 1915–1917: S. N. Bernstein [43] chứng minh đồ thị cực tiểu toàn phần trên $\mathbb{R}^2$ là mặt phẳng trong $\mathbb{R}^3$.
    • Năm 1965: De Giorgi [17] chứng minh cho đồ thị cực tiểu toàn phần trên $\mathbb{R}^3$ trong $\mathbb{R}^4$.
    • Năm 1966: Almgren [2] chứng minh trong $\mathbb{R}^5$.
    • Năm 1968: Simons [46] chứng minh đồ thị cực tiểu toàn phần $n$-chiều trong $\mathbb{R}^{n+1}$ là siêu phẳng với $n \le 7$.
    • Năm 1969: Bombieri, De Giorgi và Giusti [5] tìm ra phản ví dụ khi $n \ge 8$.
    • Mở rộng sang không gian Lorentz-Minkowski $\mathbb{R}_1^{n+1}$: Định lý Bernstein cho siêu mặt cực đại đúng với mọi $n$ (Cheng và Yau, [8]).
    • Mở rộng cho đối chiều cao và không gian tích: J. Wang (năm 2003, [48]), Lu Wang (năm 2014, [47]), H. Zhou (năm 2018, [51]), D. Nam (năm 2017, 2018, [28], [32]).
  • Lịch sử Định lý Halfspace và các mở rộng: Định lý Halfspace cổ điển của Hoffman - Meeks (năm 1990, [35]) chứng minh hai mặt nhúng proper cực tiểu, đầy đủ trong $\mathbb{R}^3$ luôn cắt nhau trừ khi chúng là các mặt phẳng song song. Định lý này không còn đúng ở số chiều cao, thúc đẩy hướng mở rộng sang đa tạp với mật độ, không gian tích và đối chiều cao.

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

Luận án định vị trọng tâm vào việc thiết lập sự tương đương hình học giữa nghiệm tự đồng dạng của dòng độ cong trung bình và siêu mặt $f$-cực tiểu dưới các hàm mật độ chuyên biệt; đồng thời xây dựng các định lý dạng Bernstein và định lý dạng Halfspace trong các không gian tích cong $\mathbb{R}^+ \times_w G^n$, không gian tích Lorentz $G^n \times \mathbb{R}_1$, và cho các mặt $f$-cực tiểu đối chiều cao trong không gian Gauss $G^n$.

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

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

  • Đa tạp với mật độ $(M, g, e^{-f}dV)$: Phần tử thể tích và phần tử diện tích với mật độ lần lượt là $dV_f = e^{-f}dV$ và $dA_f = e^{-f}dA$.
  • Độ cong trung bình với mật độ ($f$-độ cong trung bình): $$H_f := H + \frac{1}{n-1}\langle \nabla f, N \rangle$$ (hoặc $H_f = H + \langle \nabla f, N \rangle$ tùy theo quy ước chuẩn hóa của toán tử hình dạng $S_p$). Siêu mặt thỏa mãn $H_f = 0$ được gọi là siêu mặt $f$-cực tiểu (hoặc $f$-cực đại trong không gian Lorentz).
  • Các dạng không gian tích:
    • Đa tạp tích Riemann: $(M \times N, g_M + g_N)$.
    • Đa tạp tích cong (Warped Product): $M = B \times_w F$ trang bị metric $g = \pi^(g_B) + (w \circ \pi)^2 \sigma^(g_F)$, trong đó $w: B \to (0, +\infty)$.
    • Đa tạp tích Lorentz: $(M \times N, g)$ với chỉ số metric $\nu = 1$.
    • Không gian tích với mật độ: Đa tạp tích $M_1 \times M_2$ trang bị hàm mật độ $e^{-f(x,y)} = e^{-(h_1(x) + h_2(y))}$.

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

Luận án là công trình nghiên cứu thuần túy thuộc lĩnh vực Toán học lý thuyết (Hình học vi phân và Giải tích hình học), áp dụng các phương pháp phân tích giải tích và hình học chặt chẽ:

  1. Phương pháp vi tích phân hình học: Thiết lập biểu thức giải tích địa phương cho liên thông Levi-Civita, toán tử hình dạng Weingarten $S_p$, dạng cơ bản thứ hai $II_p$, divergence và gradient trên đa tạp và siêu mặt dạng đồ thị.
  2. Phương pháp biến phân: Tính biến phân thứ nhất của phiếm hàm diện tích theo mật độ $\text{Area}f(\Sigma) = \int\Sigma e^{-f} dA$ để chỉ ra các mặt $f$-cực tiểu là điểm cực trị của phiếm hàm.
  3. Phương pháp dạng cỡ với mật độ ($f$-calibration): Sử dụng $k$-dạng vi phân $\omega$ thỏa mãn $d_f \omega = e^f d(e^{-f}\omega) = 0$ và chuẩn comass $|\omega| = 1$, kết hợp với Định lý Stokes tổng quát có mật độ: $$\int_M e^{-f} d_f\omega = \int_{\partial M} e^{-f}\omega$$ để chứng minh tính cực tiểu diện tích theo mật độ trong lớp đồng điều.
  4. Phương pháp định lý phân kỳ tổng quát: Sử dụng định lý divergence tổng quát trên đa tạp Riemann: $$\int_M \text{div}M X , dS = \int{\partial M} X \cdot \nu_{\partial M} , ds - \int_M \vec{H} \cdot X , dS$$ để ước lượng $f$-thể tích của $m$-shrinker và thiết lập định lý kiểu Bernstein đối chiều cao.

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

Chương 1: Sơ lược về mặt cực tiểu

Chương 1 tổng hợp có hệ thống các kiến thức nền tảng về lý thuyết mặt cực tiểu cổ điển và dòng độ cong trung bình:

  • Độ cong trung bình và siêu mặt trong $\mathbb{R}^n$: Trình bày toán tử hình dạng Weingarten $S_p(v) = -\nabla_v N$, dạng cơ bản thứ hai $II_p(v,w) = \langle S_p v, w \rangle$, độ cong chính $\kappa_1, \dots, \kappa_{n-1}$ và độ cong trung bình $H = \frac{1}{n-1}\text{tr}S_p$. Đối với đồ thị $\Sigma_u = {(x, u(x))}$, véctơ pháp tuyến đơn vị là $N = \frac{(-\nabla u, 1)}{\sqrt{1+|\nabla u|^2}}$ và độ cong trung bình được xác định bởi: $$H = \frac{1}{n-1}\text{div}\left(\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}\right)$$
  • Đa tạp con và phương trình Lagrange: Trình bày dạng cơ bản thứ hai $A(X,Y) = (\nabla_X Y)^N$, véctơ độ cong trung bình $\vec{H} = \frac{1}{k}\sum_{i=1}^k A(e_i, e_i)$ và công thức $\text{div}\Sigma N = -(n-1)H$. Phương trình mặt cực tiểu trong $\mathbb{R}^3$ quy về phương trình đạo hàm riêng phi tuyến Lagrange: $$(1+u_y^2)u{xx} - 2u_x u_y u_{xy} + (1+u_x^2)u_{yy} = 0$$
  • Các ví dụ mặt cực tiểu kinh điển:
    • Mặt Catenoid: Đồ thị $z = \cosh^{-1}\sqrt{x^2+y^2}$, độ cong Gauss $K = -\frac{1}{\cosh^4 v}$. Mọi mặt cực tiểu tròn xoay trong $\mathbb{R}^3$ đều là mặt phẳng hoặc Catenoid (Định lý Bonnet).
    • Mặt Helicoid: Tham số $X(u,v) = (u\sin v, u\cos v, v)$, độ cong Gauss $K = -\frac{1}{(1+x^2+y^2)^2}$. Mọi mặt kẻ cực tiểu trong $\mathbb{R}^3$ đều là mặt phẳng hoặc Helicoid (Định lý Catalan, 1842).
    • Mặt Scherk (1835): Đồ thị hàm $f(x,y) = \frac{1}{a}\ln\left(\frac{\cos ax}{\cos ay}\right)$.
  • Các kết quả then chốt:
    • Biến phân thứ nhất: $\delta^1(u) = -\int_M (n-1)Hu , ds$. Mặt cực tiểu là điểm dừng của phiếm hàm diện tích.
    • Tính cực tiểu diện tích: Đồ thị cực tiểu trong $\mathbb{R}^n$ là mặt cực tiểu diện tích trong lớp đồng điều của nó.
    • Mối liên hệ với toán tử Laplace: Nhúng đẳng cự $\psi: M \to \mathbb{R}^n$ là cực tiểu khi và chỉ khi các hàm tọa độ của $\psi$ là các hàm điều hòa ($\Delta \psi = m\vec{H} = 0$). Tính toán trên siêu mặt cực tiểu cho thấy $\Delta r^2 = 2(n-1)$.
  • Dòng độ cong trung bình và nghiệm tự đồng dạng: Định nghĩa dòng độ cong trung bình $\frac{\partial F(x,t)}{\partial t} = H(x,t)N(x,t) = \vec{H}$. Khảo sát nghiệm tự co rút (self-shrinker) thỏa mãn $H + \frac{\langle X, N \rangle}{2} = 0$ (như siêu cầu $S^n_{\rho(t)}$ bán kính $\rho(t) = \sqrt{\rho_0^2 - 2nt}$, siêu trụ $S^{n-k} \times \mathbb{R}^k$) và nghiệm tịnh tiến (translator) thỏa mãn $H = \langle \xi, N \rangle$ (như đường cong Grim Reaper $y = -\ln\cos x + t$).

Chương 2: Mặt $f$-cực tiểu

Chương 2 mở rộng toàn diện lý thuyết mặt cực tiểu sang đa tạp với mật độ:

  • Đa tạp với mật độ và các không gian mẫu:
    • Không gian Gauss $G^n$: $\mathbb{R}^n$ trang bị mật độ $(2\pi)^{-n/2}e^{-r^2/2}$. Trên mặt phẳng Gauss $G^2$, độ dài theo mật độ ($f$-độ dài) của trục hoành là $L_f = \frac{1}{\sqrt{2\pi}}$, và $f$-diện tích của toàn bộ mặt phẳng $G^2$ bằng đúng 1 ($\text{Area}_f(G^2) = 1$).
    • Mật độ cầu: $\mathbb{R}^n$ với mật độ $e^{-f(r)}$.
    • Mật độ log-tuyến tính: $\mathbb{R}^n$ với mật độ $e^{-\sum a_i x_i + b}$, quy về không gian tích $\mathbb{R}^{n-1} \times \mathbb{R}_f$ với mật độ $e^{-x_n}$.
  • Tính chất hình học của $f$-độ cong trung bình: Khảo sát đại lượng $\langle \nabla f, N \rangle$:
    • Trong $G^3$: Mặt phẳng qua gốc tọa độ là mặt $f$-cực tiểu; mặt cầu tâm $O$ bán kính $R=\sqrt{2}$ là mặt $f$-cực tiểu; mặt trụ tròn trục qua gốc tọa độ bán kính $R=1$ là mặt $f$-cực tiểu.
    • Trong $\mathbb{R}^n$ với mật độ log-tuyến tính $e^{-x_n}$: Các siêu phẳng song song với trục $Ox_n$ là các mặt $f$-cực tiểu.
    • Trong $G^2 \times \mathbb{R}$: Các mặt phẳng $z = c$, mặt phẳng chứa trục $Oz$, mặt trụ đứng bán kính $R=1$, mặt Helicoid $X_H(u,v) = (\sinh v\sin u, -\sinh v\cos u, u)$ đều là các mặt $f$-cực tiểu.
  • Biến phân và Toán tử $f$-Laplace:
    • Biến phân thứ nhất theo mật độ: $\delta^1(u) = -\int_\Sigma (n-1)H_f u , ds_f$.
    • Nguyên lý dạng cỡ với mật độ: Mọi đa tạp con được định cỡ bởi một $f$-dạng cỡ $\omega$ ($d_f\omega = 0, |\omega|=1$) đều là cực tiểu diện tích theo mật độ trong lớp đồng điều. Đồ thị $f$-cực tiểu là cực tiểu diện tích địa phương theo mật độ.
    • Toán tử $f$-Laplace của hàm số: $\Delta_f h := \text{div}_f(\nabla h) = \Delta h - \langle \nabla f, \nabla h \rangle$.
    • Định nghĩa $f$-Laplace của tham số hóa siêu mặt: $\Delta_f X := \Delta X + \langle \nabla f, N \rangle N$.
    • Định lý đặc trưng: Tham số hóa trực giao $X$ của siêu mặt $\Sigma$ là $f$-cực tiểu khi và chỉ khi $\Delta_f X = 0$.
  • Mối liên hệ giữa mặt $f$-cực tiểu và nghiệm tự đồng dạng của dòng độ cong trung bình:
    • Mệnh đề 2.4.1: Nghiệm tự đồng dạng co rút (self-shrinker) của dòng độ cong trung bình trong $\mathbb{R}^n$ ($H + \frac{\langle X, N \rangle}{2} = 0$) đồng nhất chính xác với siêu mặt $f$-cực tiểu trong không gian mật độ tựa Gauss $(\mathbb{R}^n, e^{-r^2/4})$.
    • Mệnh đề 2.4.2: Nghiệm tự đồng dạng tịnh tiến (translator) của dòng độ cong trung bình ($H = \langle v, N \rangle$) đồng nhất chính xác với siêu mặt $f$-cực tiểu trong không gian với mật độ log-tuyến tính $(\mathbb{R}^n, e^{-ax_n})$. Kết quả này giúp thiết lập nghiệm tịnh tiến mới trong $\mathbb{R}^3$ từ mặt $f$-cực tiểu $X(u,v) = (u, v, -\ln\cos v)$ trong $(\mathbb{R}^3, e^z)$.

Chương 3: Một số kết quả về mặt $f$-cực tiểu trong các không gian tích

Chương 3 trình bày các đóng góp trọng tâm của tác giả trên các không gian tích cụ thể:

  • Cấu trúc hình học không gian tích:
    • Trình bày đa tạp nửa Riemann với chỉ số $\nu$, phân loại vectơ tiếp xúc (kiểu không gian khi $\langle v, v \rangle > 0$, kiểu thời gian khi $\langle v, v \rangle < 0$, kiểu ánh sáng khi $\langle v, v \rangle = 0$). Thiết lập bất đẳng thức Cauchy - Schwarz ngược cho vectơ kiểu thời gian: $\langle v, w \rangle = -|v||w|\cosh\phi$.
    • Cấu trúc tích cong $M = B \times_w F$: Các lát cắt $p \times F$ là ảnh vị tự của $F$ với hệ số vị tự $w(p)$. Ví dụ: mặt trụ $\mathbb{R} \times_r S^1(1)$, mặt hyperbolic 1-tầng $C \times_{|y|} S^1(1)$, mặt Catenoid $C \times_{\cosh z} S^1(1)$.
    • Trong tích cong $\mathbb{R} \times_w \mathbb{R}^2$, độ cong trung bình của đồ thị $u(y,z)$ liên hệ với divergence bởi: $$\text{div}\left(\frac{Du}{w\sqrt{w^2+|Du|^2}}\right) = 2H + \frac{w'(u)}{\sqrt{w^2+|Du|^2}}\left(2 - \frac{|Du|^2}{w^2}\right)$$ Nếu mặt ở dạng slice ($u = \text{const}$) thì $H = -(w'/w) = -(\ln w)' = \text{const}$.
  • Mặt $f$-cực tiểu trong không gian tích cong $\mathbb{R}^+ \times_w G^n$:
    • Thiết lập công thức độ cong trung bình và $f$-độ cong trung bình cho đồ thị toàn phần $\Sigma = {(u(x), x) : x \in \mathbb{R}^n}$: $$n H(u) = \text{div}\left(\frac{Du}{\sqrt{w(u)^2+|Du|^2}}\right) - \frac{w'(u)}{\sqrt{w(u)^2+|Du|^2}}\left(n - \frac{|Du|^2}{w(u)^2}\right)$$
    • Chứng minh tính $f$-cực tiểu diện tích của các slice $P$ trong $\mathbb{R}^+ \times_w G^n$ và $G^+ \times_a G^n$ thông qua phương pháp dạng cỡ.
    • Xây dựng định lý kiểu Bernstein cho đồ thị toàn phần $f$-cực tiểu trong không gian tích cong.
  • Mặt $f$-cực đại trong không gian tích Lorentz $G^n \times \mathbb{R}_1$:
    • Khảo sát các siêu mặt kiểu không gian $f$-cực đại ($H_f \equiv 0$).
    • Thiết lập định lý kiểu Bernstein khẳng định mọi đồ thị toàn phần $f$-cực đại trong $G^n \times \mathbb{R}_1$ đều nhận dạng phẳng/slice dưới các điều kiện biên và độ tăng thích hợp.
  • Mặt $f$-cực tiểu đối chiều cao và đồ thị tự co rút trong không gian Gauss:
    • Mở rộng phân tích sang đa tạp con có số chiều $k$ bất kỳ (đối chiều $m = n-k > 1$).
    • Sử dụng định lý divergence tổng quát trên đa tạp Riemann để thiết lập công thức biểu diễn $f$-thể tích của các $m$-shrinker trong $G^n$.
    • Chứng minh định lý kiểu Bernstein và các định lý kiểu Halfspace (nửa không gian) cho các đồ thị tự co rút đối chiều cao trong không gian Gauss.

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

  1. Thiết lập và chứng minh tường minh mối liên hệ giữa mặt $f$-cực tiểu và nghiệm tự đồng dạng của dòng độ cong trung bình:
    • Chứng minh nghiệm tự đồng dạng co rút (shrinker) trong $\mathbb{R}^n$ là siêu mặt $f$-cực tiểu trong không gian với mật độ tựa Gauss $(\mathbb{R}^n, e^{-r^2/4})$.
    • Chứng minh nghiệm tự đồng dạng tịnh tiến (translator) là siêu mặt $f$-cực tiểu trong không gian với mật độ log-tuyến tính $(\mathbb{R}^n, e^{-ax_n})$.
  2. Xây dựng toán tử $f$-Laplace cho tham số hóa siêu mặt:
    • Đưa ra định nghĩa giải tích $\Delta_f X := \Delta X + \langle \nabla f, N \rangle N$.
    • Chứng minh định lý tương đương: Siêu mặt tham số hóa trực giao $X$ là $f$-cực tiểu khi và chỉ khi $\Delta_f X = 0$.
  3. Phát triển lý thuyết mặt $f$-cực tiểu trong không gian tích cong $\mathbb{R}^+ \times_w G^n$:
    • Thiết lập công thức giải tích cho $f$-độ cong trung bình của đồ thị toàn phần.
    • Ứng dụng thành công nguyên lý dạng cỡ ($f$-calibration) kết hợp định lý Stokes có mật độ để chứng minh tính cực tiểu diện tích của các slice và đồ thị $f$-cực tiểu.
    • Thiết lập Định lý kiểu Bernstein cho đồ thị toàn phần $f$-cực tiểu trong lớp không gian tích cong này.
  4. Phát triển lý thuyết mặt $f$-cực đại trong không gian tích Lorentz $G^n \times \mathbb{R}_1$:
    • Xây dựng phương trình đạo hàm riêng cho siêu mặt kiểu không gian $f$-cực đại và chứng minh định lý kiểu Bernstein cho đồ thị toàn phần trong môi trường Lorentz có trọng số Gauss.
  5. Mở rộng định lý kiểu Bernstein và kiểu Halfspace cho mặt đối chiều cao:
    • Thiết lập công thức $f$-thể tích cho $m$-shrinker trong không gian Gauss $G^n$.
    • Chứng minh các định lý kiểu Bernstein và kiểu nửa không gian cho đồ thị tự co rút đối chiều cao ($m > 1$).

Danh mục công trình công bố của tác giả liên quan đến luận án

Các kết quả chính của luận án được phát triển và công bố trong 5 công trình khoa học (được trích dẫn tại các mã số [3], [20], [21], [22], [30] trong danh mục công trình của tác giả).

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

  • Hạn chế: Các kết quả của luận án tập trung chủ yếu trên các mô hình không gian tích cụ thể với các trọng số chuẩn tắc gồm tích cong $\mathbb{R}^+ \times_w G^n$, tích Lorentz $G^n \times \mathbb{R}_1$, và không gian Gauss $G^n$. Kỹ thuật dạng cỡ và định lý phân kỳ phụ thuộc vào dạng tường minh của metric tích và hàm mật độ $e^{-f}$.
  • Hướng nghiên cứu tiếp theo:
    • Mở rộng các định lý kiểu Bernstein và định lý kiểu Halfspace lên các đa tạp tích cong tổng quát $B \times_w F$ với hàm mật độ tùy ý trên cả đáy $B$ và thớ $F$.
    • Nghiên cứu bài toán biên Dirichlet đối với phương trình mặt $f$-cực tiểu và phương trình dòng độ cong trung bình trong các đa tạp tích có trọng.
    • Khảo sát bài toán kỳ dị và sự hội tụ của dòng độ cong trung bình đối chiều cao trong các đa tạp nửa Riemann có mật độ.

Giá trị tham khảo

  • Đối tượng thụ hưởng: Giảng viên, nghiên cứu sinh, học viên cao học và các nhà nghiên cứu thuộc chuyên ngành Hình học và Tôpô, Giải tích hình học, Phương trình đạo hàm riêng phi tuyến.
  • Giá trị tài liệu:
    • Hệ thống lý thuyết nền tảng: Cung cấp tổng quan bài bản từ mặt cực tiểu cổ điển, dòng độ cong trung bình đến hình học đa tạp với mật độ (Chương 1 và Chương 2).
    • Kỹ thuật tính toán giải tích: Cung cấp chi tiết các kỹ thuật biến phân diện tích có trọng số, kỹ thuật xây dựng $f$-dạng cỡ để định cỡ cực tiểu diện tích, và phương pháp ước lượng tích phân thông qua định lý divergence tổng quát.
    • Cầu nối liên ngành: Cung cấp phương pháp chuyển đổi hiệu quả giữa các bài toán dòng hình học thời gian (dòng độ cong trung bình) và các bài toán tĩnh trong không gian có mật độ.

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

1. Khái niệm $f$-độ cong trung bình ($H_f$) trên đa tạp với mật độ được định nghĩa như thế nào?

Trên đa tạp Riemann $M^n$ với hàm mật độ $e^{-f}$, $f$-độ cong trung bình $H_f$ của một siêu mặt $\Sigma$ với véctơ pháp đơn vị hướng ra ngoài $N$ được xác định bởi công thức do M. Gromov đề xuất: $$H_f = H + \frac{1}{n-1}\langle \nabla f, N \rangle$$ (hoặc $H_f = H + \langle \nabla f, N \rangle$ khi chuẩn hóa $H = \text{tr}S_p$). Siêu mặt được gọi là $f$-cực tiểu khi $H_f = 0$ tại mọi điểm.

2. Mối liên hệ giữa nghiệm tự đồng dạng của dòng độ cong trung bình và mặt $f$-cực tiểu là gì?

Luận án chứng minh hai mối tương đương:

  • Nghiệm tự đồng dạng co rút (self-shrinker) trong $\mathbb{R}^n$ (thỏa mãn $H + \frac{\langle X, N \rangle}{2} = 0$) là siêu mặt $f$-cực tiểu trong không gian với mật độ tựa Gauss $(\mathbb{R}^n, e^{-r^2/4})$.
  • Nghiệm tự đồng dạng tịnh tiến (translator) trong $\mathbb{R}^n$ (thỏa mãn $H = \langle v, N \rangle$) là siêu mặt $f$-cực tiểu trong không gian với mật độ log-tuyến tính $(\mathbb{R}^n, e^{-ax_n})$.

3. Phương pháp $f$-dạng cỡ ($f$-calibration) được luận án vận dụng như thế nào?

Phương pháp $f$-dạng cỡ sử dụng một dạng vi phân $\omega$ thỏa mãn $d_f\omega = e^f d(e^{-f}\omega) = 0$ và chuẩn comass $|\omega| = 1$. Kết hợp với Định lý Stokes có mật độ $\int_M e^{-f} d_f\omega = \int_{\partial M} e^{-f}\omega$, phương pháp này cho phép chứng minh một đa tạp con được định cỡ bởi $\omega$ sẽ đạt cực tiểu diện tích theo mật độ trong lớp đồng điều tương ứng.

4. Trong không gian tích cong $\mathbb{R} \times_w \mathbb{R}^2$, độ cong trung bình của một slice ($u = \text{const}$) có giá trị bằng bao nhiêu?

Đối với một slice $u = \text{const}$ trong không gian tích cong $\mathbb{R} \times_w \mathbb{R}^2$, độ cong trung bình $H$ là một hằng số và được tính theo công thức: $$H = -\frac{w'(u)}{w(u)} = -(\ln w(u))'$$

5. Định lý kiểu Bernstein trong luận án mở rộng những nội dung gì so với định lý Bernstein cổ điển?

Định lý Bernstein cổ điển khẳng định đồ thị cực tiểu toàn phần trên $\mathbb{R}^2$ trong $\mathbb{R}^3$ phải là mặt phẳng. Luận án mở rộng định lý này theo ba hướng:

  • Mở rộng cho đồ thị toàn phần $f$-cực tiểu trong không gian tích cong $\mathbb{R}^+ \times_w G^n$.
  • Mở rộng cho đồ thị toàn phần $f$-cực đại kiểu không gian trong không gian tích Lorentz $G^n \times \mathbb{R}_1$.
  • Mở rộng cho đồ thị tự co rút đối chiều cao ($m > 1$) trong không gian Gauss $G^n$.

Kết luận

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Thị Mỹ Duyên đã nghiên cứu lý thuyết mặt $f$-cực tiểu trên các lớp không gian tích với mật độ. Luận án đã thiết lập mối liên hệ giữa các nghiệm tự đồng dạng của dòng độ cong trung bình và siêu mặt $f$-cực tiểu, đồng thời chứng minh điều kiện cần và đủ để siêu mặt là $f$-cực tiểu thông qua toán tử $f$-Laplace. Các kết quả chính về tính cực tiểu diện tích theo mật độ, định lý kiểu Bernstein và định lý kiểu Halfspace trong các không gian tích cong $\mathbb{R}^+ \times_w G^n$, không gian tích Lorentz $G^n \times \mathbb{R}_1$, và cho các mặt đối chiều cao trong không gian Gauss $G^n$ là những đóng góp lý thuyết chuyên sâu cho chuyên ngành Hình học và Tôpô.