Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Đạo hàm Lie của dòng và liên thông" do nghiên cứu sinh Bùi Cao Vân thực hiện tại Trường Đại học Vinh vào năm 2016, dưới sự hướng dẫn khoa học của PGS. Nguyễn Hữu Quang và PGS. Kiều Phương Chi. Luận án thuộc chuyên ngành Hình học và Tôpô, mã số 62.46.01.05 (ghi mã số 62. 05 trong văn bản).

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

Lý thuyết đạo hàm Lie bắt đầu hình thành từ những năm 30 của thế kỷ XX qua các công trình của Slebodzinski, Dantzig, Schouten và Van Kampen. Phép đạo hàm Lie trên đa tạp là công cụ khảo sát các bài toán đa tạp con có thể tích cực tiểu địa phương, xác định độ cong chính, độ cong Ricci trên đa tạp Riemann, giải phương trình vi phân, khảo sát hệ phương trình tuyến tính, hệ động lực và hệ Hamilton. Ngoài toán học thuần túy, đạo hàm Lie còn được ứng dụng trong cơ học lượng tử, khoa học máy tính, sinh học và kinh tế học.

Song song đó, lý thuyết dòng (currents) của hình học và tôpô phát triển mạnh từ cuối thập niên 60 của thế kỷ XX cùng với sự ra đời của lý thuyết không gian phức hyperbolic, được ứng dụng trong giải tích phức nhiều biến, hình học giải tích, hình học đại số và bài toán thể tích cực tiểu của $k$-mặt trên đa tạp Riemann (nghiên cứu của A. Fomenko, Harvey, Đào Trọng Thi, Lê Hồng Vân).

Khoảng trống nghiên cứu được tác giả xác định là: trong khi đạo hàm Lie của hàm số, trường véctơ, dạng vi phân và trường tenxơ đã được thiết lập hoàn chỉnh, việc mở rộng và thiết lập khái niệm đạo hàm Lie cho dòng (currents), dạng suy rộng (generalized forms) và các cấu trúc liên thông (đặc biệt là liên thông pháp dạng trên đa tạp con Riemann) vẫn cần được xây dựng hệ thống, khảo sát các tính chất giải tích - hình học và tìm kiếm ứng dụng cụ thể.

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

Mục tiêu tổng quát của luận án là nghiên cứu đạo hàm Lie trên các đa tạp, bao gồm:

  1. Thiết lập khái niệm và tính chất của đạo hàm Lie của dòng và dạng suy rộng trên đa tạp Riemann.
  2. Thiết lập đạo hàm Lie của dạng và dòng song bậc trên đa tạp phức.
  3. Nghiên cứu vi phân ngoài liên kết với liên thông và đạo hàm Lie của các liên thông (đặc biệt là liên thông pháp dạng trên đa tạp con Riemann).
  4. Khảo sát các ứng dụng hình học và giải tích: chứng minh định lý vận chuyển Reynolds cho dòng, thiết lập công thức đồng luân đối với dòng, và tìm điều kiện triệt tiêu của đạo hàm Lie của dòng tích phân để đa tạp con đạt cực tiểu thể tích.

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

  • Đối tượng nghiên cứu: Đạo hàm Lie của dòng, đạo hàm Lie của dạng suy rộng, đạo hàm Lie của các liên thông trên đa tạp Riemann.
  • Phạm vi nghiên cứu:
    • Không gian toán học: Đa tạp Riemann thực $n$-chiều có cơ sở đếm được $M$, nhóm Lie compact, đa tạp phức $M^c$, và đa tạp con Riemann.
    • Nội dung giới hạn: Các tính chất giải tích của phép đạo hàm Lie của dòng, phân bố, dạng suy rộng, dạng và dòng song bậc $(p, q)$, liên thông tuyến tính, liên thông Levi-Civita, liên thông pháp dạng $\nabla^\perp$ và tenxơ cong pháp dạng $R^\perp$.

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

Luận án đã điểm lại lịch sử hình thành và phát triển của hai trục lý thuyết chính:

Hướng nghiên cứu Tác giả và năm công bố Nội dung và kết quả chính được điểm lại
Nền tảng đạo hàm Lie trên hàm và dạng vi phân Sophus Lie; Élie Cartan (1920); W. Slebodzinski (1931); Dantzig S. Lie đưa ra đạo hàm $X[f]$ của hàm số theo trường véctơ. Cartan định nghĩa toán tử $L_X$ trên dạng vi phân, chứng minh tính giao hoán $L_X \circ d = d \circ L_X$ và công thức Cartan $L_X = d \circ i_X + i_X \circ d$. Slebodzinski mở rộng cho trường tenxơ, ứng dụng giải phương trình Hamilton. Dantzig đặt tên toán tử là đạo hàm Lie và ứng dụng vào vật lý.
Mở rộng kỹ thuật tính toán và hình học Riemann D. J. Struik; K. Yano; L. Wang Struik phát triển kỹ thuật tính đạo hàm Lie của dạng vi phân. Yano hệ thống hóa lý thuyết đạo hàm Lie và các ứng dụng hình học, khảo sát phép biến dạng đường cong, chuyển động affine, xạ ảnh, bảo giác.
Đạo hàm Lie của tenxơ và liên thông hiện đại Y. J. Suh; Shapukov; M. Röbenack; M. S. Stanković; A. Sultanov (2010); L. Francaviglia (2011) Suh nghiên cứu đạo hàm Lie của tenxơ trên siêu mặt thực kiểu A trong không gian dạng phức. Shapukov khảo sát trên đa tạp Fiber. Röbenack đề xuất thuật toán tính đạo hàm Lie bậc cao bằng máy tính. Stanković nghiên cứu đạo hàm Lie của liên thông affine không đối xứng. Sultanov xây dựng đạo hàm Lie trên đại số kết hợp, giao hoán có đơn vị để xét độ cong và độ xoắn. Francaviglia khảo sát tenxơ Lorentz và không gian Minkowski.
Đạo hàm Lie trên siêu mặt và đại số Lie J. Pérez; V. Yudin Pérez khảo sát đạo hàm Lie trên siêu mặt thực trong không gian xạ ảnh phức. Yudin nghiên cứu tính chất đạo hàm Lie trên đại số Lie.
Lý thuyết dòng và ứng dụng cực tiểu hóa A. Fomenko; F. R. Harvey; Đào Trọng Thi; Lê Hồng Vân Ứng dụng dòng trong bài toán thể tích cực tiểu của $k$-mặt trên đa tạp Riemann, giải tích phức nhiều biến và hệ động lực.
Định lý vận chuyển cho dòng Lior Falach và Reuven Segev Phát biểu và chứng minh định lý vận chuyển đối với dòng trên đa tạp, trong đó toán tử vận chuyển gắn liền với đạo hàm Lie.
Đạo hàm Lie của dòng trên nhóm Lie Bùi Cao Vân, Kiều Phương Chi, Nguyễn Hữu Quang (2012) Tác giả luận án cùng các cộng sự bước đầu xây dựng đạo hàm Lie của dòng trên đa tạp Riemann và ứng dụng trên nhóm Lie compact.

Vị trí và khoảng trống luận án giải quyết: Kế thừa công trình năm 2012 của nhóm tác giả và công trình của Falach - Segev, luận án giải quyết khoảng trống về mặt toán học: hoàn thiện giải tích vi tích phân cho dòng và dạng suy rộng (định nghĩa tích trong $i_X$, công thức kiểu Cartan, định lý phụ thuộc thời gian), liên kết đạo hàm Lie của dòng với bài toán cực tiểu hóa hình học, đồng thời mở rộng toán tử đạo hàm Lie sang liên thông pháp dạng $\nabla^\perp$ của đa tạp con Riemann.

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

Luận án vận dụng các cấu trúc giải tích và hình học vi phân hiện đại trên đa tạp Riemann thực $n$-chiều $M$ có cơ sở đếm được:

  • Dạng vi phân: Không gian $\Omega^k(M)$ các $k$-dạng vi phân trơn, không gian $\Omega_c^k(M)$ các dạng có giá compact, toán tử vi phân ngoài $d$, tích ngoài $\wedge$, tích trong $i_X$, và ánh xạ kéo lùi (pull-back) $f^*$.
  • Liên thông: Không gian tiếp xúc $T_p M$, trường véctơ trơn $\mathcal{B}(M)$, mêtric Riemann $g$, liên thông tuyến tính $\nabla$, các thành phần liên thông $\Gamma_{ij}^k$, liên thông Levi-Civita đối xứng và tương thích mêtric, tenxơ xoắn $T(X, Y) = \nabla_X Y - \nabla_Y X - [X, Y]$ và tenxơ cong $R$.
  • Lý thuyết phân bố (L. Schwartz): Không gian hàm thử $\mathcal{F}c(U)$, không gian phân bố $\mathcal{D}(U)$ trang bị tôpô nửa chuẩn $P{s, K}$, phân bố chính quy $u_f$, phân bố Dirac $\delta_{x_0}$, và phân bố Heaviside $H$.
  • Lý thuyết dòng (G. de Rham): Không gian $k$-dòng $\mathcal{D}k(M)$ (đối ngẫu tôpô của $\Omega_c^{n-k}(M)$), dòng tích phân $[E]$ của tập con Borel $E$, vi phân ngoài của dòng $dT(\omega) = (-1)^{k+1} T(d\omega)$, ánh xạ tiếp xúc (push-forward) $f*$, tích ngoài của dòng và dạng.
Ký hiệu Đối tượng toán học Định nghĩa / Vai trò
$M$, $M^c$ Đa tạp Riemann thực / Đa tạp phức Không gian nền $n$-chiều, cơ sở đếm được
$\mathcal{B}(M)$, $\mathcal{F}(M)$ Trường véctơ trơn / Hàm số trơn Các trường tiếp xúc và hàm vô hướng khả vi vô hạn
$\Omega^k(M)$, $\Omega_c^k(M)$ Không gian các $k$-dạng vi phân trơn Dạng vi phân tự do / Dạng vi phân có giá compact
$\mathcal{D}(U)$, $\mathcal{D}_k(M)$ Phân bố / $k$-dòng Phiếm hàm tuyến tính liên tục trên $\mathcal{F}_c(U)$ và $\Omega_c^{n-k}(M)$
$\tilde{\Omega}^k(M)$ Không gian $k$-dạng suy rộng Phiếm hàm tuyến tính liên tục trên $\mathcal{D}_{n-k}(M)$
$L_X$, $\mathcal{L}_X$ (hoặc $£_X$) Đạo hàm Lie $L_X$ tác động lên hàm, véctơ, dạng; $\mathcal{L}_X$ tác động lên dòng
$i_X$ Tích trong theo trường véctơ $X$ Giảm bậc của dạng vi phân, dòng hoặc dạng suy rộng
$\nabla$, $\nabla^\perp$ Liên thông Levi-Civita / Liên thông pháp dạng Liên thông trên đa tạp Riemann $M$ / Liên thông trên phân bố pháp tuyến
$R$, $R^\perp$ Tenxơ cong / Độ cong pháp dạng Đo độ cong tiếp xúc và độ cong pháp dạng của đa tạp con

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

Luận án sử dụng phương pháp nghiên cứu lý thuyết thuần túy của toán học:

  • Phương pháp giải tích hàm và đối ngẫu: Định nghĩa các toán tử trên không gian suy rộng (dòng, phân bố, dạng suy rộng) thông qua quan hệ đối ngẫu yếu với không gian các dạng vi phân và hàm thử có giá compact.
  • Phương pháp hình học vi phân và hình học Riemann: Sử dụng nhóm vi phôi một tham số $\phi_t$ sinh bởi trường véctơ $X$, các cấu trúc liên thông Levi-Civita, tenxơ cong Riemann, đạo hàm hiệp biến và phân tích đa tạp con.
  • Phương pháp suy diễn tiên đề và đại số: Thiết lập các hệ thức toán tử (toán tử Cartan, toán tử vi phân ngoài liên kết), chứng minh các định lý qua phép biến đổi giải tích và tính toán tenxơ địa phương.

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

Chương 1. Kiến thức chuẩn bị

Chương 1 gồm 4 mục, hệ thống hóa các công cụ toán học làm cơ sở cho toàn bộ luận án:

  • 1.1 Dạng vi phân trên đa tạp Riemann: Định nghĩa không gian $\Omega^k(M)$, cơ sở địa phương ${dx^i}$, biểu diễn $\omega = \sum \phi_{i_1 \dots i_k} dx^{i_1} \wedge \dots \wedge dx^{i_k}$. Thiết lập các tiên đề của toán tử vi phân ngoài $d: \Omega^k(M) \to \Omega^{k+1}(M)$ ($d(f) = df$, $d^2 = 0$, luật Leibniz graded), định nghĩa dạng đóng ($d\omega = 0$), dạng khớp ($\omega = d\mu$), và toán tử kéo lùi $f^*: \Omega^k(N) \to \Omega^k(M)$.
  • 1.2 Liên thông trên đa tạp Riemann: Khảo sát liên thông tuyến tính $\nabla$, các hệ số liên thông Christoffel $\nabla_{E_i} E_j = \sum_{k=1}^n \Gamma_{ij}^k E_k$, liên thông chính tắc trên đa tạp khả song $R^n$. Trình bày điều kiện tương thích mêtric $X[g(Y, Z)] = g(\nabla_X Y, Z) + g(Y, \nabla_X Z)$, tính đối xứng (xoắn tự do: $\nabla_X Y - \nabla_Y X = [X, Y]$), Định lý cơ bản của hình học Riemann về sự tồn tại duy nhất của liên thông Levi-Civita, tenxơ xoắn $T$ kiểu $(2, 1)$ và tenxơ cong $R$ kiểu $(3, 1)$.
  • 1.3 Đạo hàm Lie của dạng vi phân: Định nghĩa nhóm vi phôi một tham số địa phương $\phi_t$, đạo hàm Lie của hàm số $L_X f = X[f]$, đạo hàm Lie của trường véctơ $L_X Y = [X, Y]$, đạo hàm Lie của dạng vi phân $L_X \omega = \frac{d}{dt} (\phi_t^* \omega)|{t=0}$. Thiết lập công thức Cartan kinh điển: $$L_X \omega = d(i_X \omega) + i_X(d\omega)$$ chứng minh tính giao hoán $L_X \circ d = d \circ L_X$, định lý đạo hàm Lie $\frac{d}{dt}(\phi_t^* \omega) = \phi_t^*(L_X \omega)$ ứng dụng giải phương trình vi phân đạo hàm riêng bậc nhất trên $\mathbb{R}^{n+1}$. Trình bày trường véctơ phụ thuộc thời gian $X_t$, dạng vi phân phụ thuộc thời gian $\omega_t$, định lý đạo hàm Lie phụ thuộc thời gian thứ nhất $\frac{d}{d\tau}|{\tau=t} F_{\tau, s}^* \omega = F_{t, s}^(L_{X_t} \omega)$ và thứ hai $\frac{d}{d\tau}|{\tau=t} F{\tau, s}^ \omega_\tau = F_{t, s}^*(L_{X_t} \omega_t + \dot{\omega}_t)$.
  • 1.4 Phân bố và dòng trên đa tạp Riemann: Thiết lập không gian phân bố $\mathcal{D}(U)$ trên tập mở $U \subset \mathbb{R}^n$, phân bố Dirac $\delta_{x_0}$, phân bố chính quy $u_f(\phi) = \int_U f \phi dx$, đạo hàm của phân bố $\frac{\partial^\alpha u}{\partial x^\alpha}(\phi) = (-1)^{|\alpha|} u(\frac{\partial^\alpha \phi}{\partial x^\alpha})$. Thiết lập tôpô trên $\Omega_c^k(U)$, định nghĩa không gian $k$-dòng $\mathcal{D}k(U)$, dòng chính quy sinh bởi dạng vi phân khả tích địa phương $T\psi(\alpha) = \int_U \psi \wedge \alpha$, dòng tích phân $E = \int_E \alpha$, tích ngoài $T \wedge \omega$, vi phân ngoài $dT(\omega) = (-1)^{k+1} T(d\omega)$, ánh xạ tiếp xúc $f_* T$, và định lý Stokes đối với dòng.

Chương 2. Đạo hàm Lie của dòng trên đa tạp

Chương 2 gồm 4 mục, là phần đóng góp lý thuyết trọng tâm của luận án:

  • 2.1 Đạo hàm Lie của dòng và dạng suy rộng:
    • Định nghĩa đạo hàm Lie của $k$-dòng $T$ theo trường véctơ $X$: $$(\mathcal{L}_X T)(\omega) = T(L_X \omega), \quad \forall \omega \in \Omega_c^{n-k}(M)$$
    • Định nghĩa tích trong của trường véctơ $X$ đối với $k$-dòng $T$: $$(i_X T)(\omega) = (-1)^{k-1} T(i_X \omega), \quad \forall \omega \in \Omega_c^{n-k+1}(M)$$
    • Chứng minh công thức kiểu Cartan đối với dòng (Định lý 2.6): $$\mathcal{L}_X T = i_X(dT) + d(i_X T)$$
    • Các tính chất đại số: Tuyến tính $\mathcal{L}_X(T + T') = \mathcal{L}_X T + \mathcal{L}X T'$, $\mathcal{L}{X+Y} T = \mathcal{L}_X T + \mathcal{L}_Y T$; quy tắc nhân với hàm trơn $\mathcal{L}_X(\phi T) = T \mathcal{L}_X \phi + \phi \mathcal{L}_X T$; quy tắc Leibniz với dạng vi phân $\mathcal{L}_X(T \wedge \omega) = (\mathcal{L}_X T) \wedge \omega + T \wedge (L_X \omega)$.
    • Chứng minh đạo hàm Lie giao hoán với vi phân ngoài của dòng: $\mathcal{L}_X(dT) = d(\mathcal{L}_X T)$. Từ đó suy ra $\mathcal{L}_X$ bảo toàn tính đóng ($dT = 0 \Rightarrow d(\mathcal{L}_X T) = 0$) và tính khớp ($T = dS \Rightarrow \mathcal{L}_X T = d(\mathcal{L}_X S)$).
    • Thiết lập định lý đạo hàm Lie cho dòng: $\frac{d}{dt} ((F_t)* T) = (F_t)* (\mathcal{L}_X T)$, cùng hai định lý đạo hàm Lie phụ thuộc thời gian:
      • Định lý thứ nhất: $\frac{d}{d\tau}|{\tau=t} (F{\tau, s})* T = \mathcal{L}{X_t} (F_{t, s})_* T$.
      • Định lý thứ hai: $\frac{d}{d\tau}|{\tau=t} (F{\tau, s})* T(\omega\tau) = (F_{t, s})* T(\dot{\omega}t) + \mathcal{L}{X_t} (F{t, s})_* T(\omega_t)$.
    • Khảo sát trường hợp dòng bậc $n$ (phân bố $u \in \mathcal{D}(U)$): Chứng minh công thức biểu diễn qua đạo hàm riêng: $$\mathcal{L}X u = -\sum{i=1}^n \frac{\partial (X_i u)}{\partial x^i}$$ Đối với phân bố Heaviside $H$, thu được $\mathcal{L}_X H = -X' \cdot \delta$ (với $\delta$ là phân bố Dirac). Đối với phân bố chính quy: $\mathcal{L}X u_f = u{L_X f}$.
    • Thiết lập lý thuyết $k$-dạng suy rộng $\tilde{\Omega}^k(M)$ (phiếm hàm trên $\mathcal{D}_{n-k}(M)$): Định nghĩa đạo hàm Lie $(L_X \omega)(T) = \omega(\mathcal{L}_X T)$, vi phân ngoài $d\omega(T) = (-1)^{k+1} \omega(dT)$, tích trong $(i_X \omega)(T) = (-1)^{k-1} \omega(i_X T)$, và chứng minh công thức kiểu Cartan cho dạng suy rộng: $$L_X \omega = d(i_X \omega) + i_X(d\omega)$$
  • 2.2 Đạo hàm Lie của dòng trên nhóm Lie: Nghiên cứu cấu trúc dòng trên nhóm Lie, các trường véctơ bất biến trái, bất biến phải và tính bất biến của đạo hàm Lie của dòng dưới tác động của nhóm Lie compact.
  • 2.3 Một số ứng dụng của đạo hàm Lie của dòng:
    • Ứng dụng chứng minh định lý vận chuyển Reynolds đối với dòng: Luận án chỉ ra toán tử vận chuyển $\mathcal{R}\phi(t)(T)$ chính là đạo hàm Lie $L{X_t}((\phi_t)* T)$ của $k$-dòng $(\phi_t)* T$.
    • Chứng minh công thức đồng luân đối với dòng trên đa tạp vi phân.
    • Mô tả đạo hàm Lie của dòng tích phân trên đa tạp con: Thiết lập điều kiện để một đa tạp con đạt cực tiểu thể tích là đạo hàm Lie của dòng tích phân tương ứng triệt tiêu.
  • 2.4 Đạo hàm Lie của dạng và dòng song bậc: Khảo sát trên đa tạp phức $M^c$, nghiên cứu không gian dạng $\Omega^{(p,q)}(M^c, \mathbb{C})$ và dòng song bậc $\mathcal{D}_{(p,q)}(M, \mathbb{C})$. Tìm điều kiện cần và đủ của trường véctơ $X$ để đạo hàm Lie của dạng song bậc $(p, p)$ tiếp tục là dạng song bậc $(p, p)$, định hướng nghiên cứu dòng dương trong lý thuyết đa thế vị.

Chương 3. Đạo hàm Lie của liên thông pháp dạng

Chương 3 gồm 2 mục, mở rộng phép toán đạo hàm Lie sang các đối tượng liên thông trên đa tạp con:

  • 3.1 Đạo hàm Lie của liên thông và vi phân ngoài liên kết: Nghiên cứu toán tử vi phân ngoài liên kết với liên thông tuyến tính, định nghĩa và khảo sát các tính chất của đạo hàm Lie tác động lên liên thông tuyến tính trên đa tạp Riemann.
  • 3.2 Đạo hàm Lie của liên thông pháp dạng: Xét đa tạp con Riemann $M$ nhúng trong đa tạp Riemann $\tilde{M}$, không gian các trường véctơ pháp dạng $\mathcal{N}(M)$, liên thông pháp dạng $\nabla^\perp$ và tenxơ cong pháp dạng $R^\perp$. Luận án thiết lập khái niệm đạo hàm Lie của liên thông pháp dạng $\nabla^\perp$ và đạo hàm Lie của tenxơ cong pháp dạng $R^\perp$, đồng thời khảo sát chi tiết các tính chất giải tích và hình học khi đa tạp con $M$ là một siêu mặt.

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

Luận án tự xác định các kết quả đóng góp mới về lý luận và thực tiễn như sau:

  1. Về mặt lý luận toán học:

    • Xây dựng định nghĩa đạo hàm Lie $\mathcal{L}_X T$ cho dòng và dạng suy rộng trên đa tạp Riemann thông qua nguyên lý đối ngẫu với dạng vi phân trơn có giá compact.
    • Định nghĩa toán tử tích trong $i_X T$ cho dòng và thiết lập công thức kiểu Cartan hoàn chỉnh cho dòng: $\mathcal{L}_X T = i_X(dT) + d(i_X T)$, cũng như công thức kiểu Cartan cho dạng suy rộng: $L_X \omega = d(i_X \omega) + i_X(d\omega)$.
    • Chứng minh các tính chất đại số và giải tích cơ bản: luật Leibniz đối với tích của hàm và dòng, tích ngoài của dòng và dạng; chứng minh tính giao hoán giữa đạo hàm Lie và toán tử vi phân ngoài ($\mathcal{L}_X \circ d = d \circ \mathcal{L}_X$), khẳng định tính đóng và tính khớp của dòng được bảo tồn qua phép đạo hàm Lie.
    • Thiết lập các định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dòng.
    • Thiết lập công thức tọa độ tính đạo hàm Lie của phân bố (dòng bậc $n$): $\mathcal{L}X u = -\sum{i=1}^n \frac{\partial(X_i u)}{\partial x^i}$ và xác định đạo hàm Lie của phân bố Heaviside $\mathcal{L}_X H = -X' \cdot \delta$.
    • Tìm điều kiện của trường véctơ để đạo hàm Lie bảo toàn kiểu song bậc $(p, p)$ của dạng và dòng trên đa tạp phức.
    • Xây dựng khái niệm và khảo sát tính chất của đạo hàm Lie của liên thông pháp dạng $\nabla^\perp$ và tenxơ cong pháp dạng $R^\perp$ trên đa tạp con Riemann và siêu mặt.

  2. Về mặt ứng dụng và thực tiễn toán học:

    • Vận dụng lý thuyết dòng để chứng minh định lý vận chuyển Reynolds cho dòng trên đa tạp, đồng nhất toán tử vận chuyển với đạo hàm Lie.
    • Chứng minh công thức đồng luân cho dòng.
    • Đưa ra tiêu chuẩn hình học: điều kiện để một đa tạp con đạt thể tích cực tiểu là đạo hàm Lie của dòng tích phân trên đa tạp con đó triệt tiêu.

  3. Công bố khoa học: Toàn bộ kết quả chính của luận án đã được công bố trong 07 bài báo khoa học, bao gồm:

    • 05 bài báo đã xuất bản trên các tạp chí toán học quốc tế (trong đó có 01 bài thuộc danh mục SCIE, 01 bài thuộc danh mục ESCI, và 01 bài đã ghi nhận 02 trích dẫn khoa học).
    • 02 bài báo đã hoàn thiện và gửi đăng tại các tạp chí quốc tế chuyên ngành (Journal of Nonlinear and Convex Analysis, Vietnam Journal of Mathematics).

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

Căn cứ vào phạm vi và nội dung trình bày trong văn bản:

  • Hạn chế: Luận án giới hạn không gian khảo sát ở lớp các đa tạp Riemann thực có cơ sở đếm được, các cấu trúc đa tạp con có liên thông pháp dạng cảm ứng, và nhóm Lie compact. Việc khảo sát dòng song bậc mới dừng lại ở việc tìm điều kiện của trường véctơ để bảo toàn kiểu song bậc $(p, p)$, chưa đi sâu vào toàn bộ các lớp kỳ dị phức tạp của dòng dương.
  • Hướng nghiên cứu tiếp được tác giả đề xuất:
    • Vận dụng các kết quả về đạo hàm Lie của dạng và dòng song bậc để nghiên cứu sâu hơn về đạo hàm Lie của dòng dương trong lý thuyết đa thế vị (pluripotential theory).
    • Tiếp tục mở rộng nghiên cứu đạo hàm Lie của các liên thông cấp cao và tenxơ cong pháp dạng trên các lớp đa tạp con tổng quát hơn trong hình học Riemann và hình học phức.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong các lĩnh vực:

  • Đối tượng thụ hưởng: Sinh viên, học viên cao học, nghiên cứu sinh và giảng viên chuyên ngành Hình học - Tôpô, Giải tích phức, và Vật lý toán.
  • Nội dung có giá trị tham khảo cao:
    • Kỹ thuật đối ngẫu thiết lập giải tích vi phân cho dòng và phân bố tại Chương 2 (đặc biệt là công thức kiểu Cartan và định lý phụ thuộc thời gian).
    • Phương pháp liên kết đạo hàm Lie của dòng tích phân với bài toán cực tiểu hóa thể tích đa tạp con.
    • Các công thức biến thiên và đạo hàm Lie của liên thông pháp dạng $\nabla^\perp$ trên siêu mặt tại Chương 3, hữu ích cho các nghiên cứu về biến dạng hình học và hình học vi phân đa tạp con.

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

1. Đạo hàm Lie của một dòng được định nghĩa như thế nào trong luận án?

Theo Định nghĩa trong Mục 2.1, với $M$ là đa tạp Riemann $n$-chiều, đạo hàm Lie của $k$-dòng $T \in \mathcal{D}_k(M)$ theo trường véctơ trơn $X \in \mathcal{B}(M)$, ký hiệu là $\mathcal{L}_X T$ (hoặc $£_X T$), là một $k$-dòng được xác định thông qua quan hệ đối ngẫu: $$(\mathcal{L}_X T)(\omega) = T(L_X \omega), \quad \forall \omega \in \Omega_c^{n-k}(M)$$ trong đó $L_X \omega$ là đạo hàm Lie thông thường của $(n - k)$-dạng vi phân trơn có giá compact $\omega$ theo trường véctơ $X$.

2. Công thức kiểu Cartan đối với dòng được phát biểu và chứng minh ra sao?

Theo Định lý 2.6, với mọi $k$-dòng $T \in \mathcal{D}_k(M)$ và trường véctơ $X \in \mathcal{B}(M)$, ta có công thức kiểu Cartan: $$\mathcal{L}_X T = i_X(dT) + d(i_X T)$$ Công thức này được chứng minh bằng cách áp dụng công thức Cartan kinh điển cho dạng vi phân $L_X \omega = d(i_X \omega) + i_X(d\omega)$, kết hợp với định nghĩa tích trong của dòng $(i_X T)(\omega) = (-1)^{k-1} T(i_X \omega)$ và định nghĩa vi phân ngoài của dòng $dT(\omega) = (-1)^{k+1} T(d\omega)$. Khi tác động lên dạng thử $\omega \in \Omega_c^{n-k}(M)$, các dấu luân phiên triệt tiêu lẫn nhau, dẫn đến đẳng thức: $$(\mathcal{L}_X T)(\omega) = T(d(i_X \omega)) + T(i_X(d\omega)) = (i_X(dT) + d(i_X T))(\omega)$$

3. Đạo hàm Lie của một phân bố được tính theo tọa độ địa phương như thế nào?

Theo Định lý 2.15, khi xét phân bố $u \in \mathcal{D}(U)$ (dòng bậc $n$ trên tập mở $U \subset \mathbb{R}^n$) và trường véctơ $X = \sum_{i=1}^n X_i \frac{\partial}{\partial x^i}$, đạo hàm Lie của $u$ theo $X$ được biểu diễn qua đạo hàm riêng của các phân bố: $$\mathcal{L}X u = -\sum{i=1}^n \frac{\partial (X_i u)}{\partial x^i}$$ Đặc biệt, nếu áp dụng cho hàm bước nhảy Heaviside $H$ trên $\mathbb{R}$, ta thu được $\mathcal{L}_X H = -X' \cdot \delta$, với $\delta$ là phân bố Dirac.

4. Luận án ứng dụng đạo hàm Lie của dòng vào bài toán đa tạp con cực tiểu như thế nào?

Trong Mục 2.3, luận án xét dòng tích phân $[E]$ sinh bởi một đa tạp con $E \subset M$. Bằng việc khảo sát đạo hàm Lie của dòng tích phân dọc theo trường véctơ biến dạng $X$, luận án chứng minh được rằng điều kiện cần và đủ để đa tạp con đạt thể tích cực tiểu địa phương là đạo hàm Lie của dòng tích phân tương ứng triệt tiêu: $\mathcal{L}_X [E] = 0$.

5. Toán tử vận chuyển Reynolds có mối liên hệ gì với đạo hàm Lie của dòng?

Trong Mục 2.3, khi nghiên cứu định lý vận chuyển Reynolds cho dòng trên đa tạp dưới tác động của nhóm một tham số các phép biến đổi $\phi_t$, luận án chỉ ra rằng toán tử vận chuyển $\mathcal{R}\phi(t)(T)$ của một $k$-dòng $T$ dọc theo quỹ đạo biến dạng thực chất chính là đạo hàm Lie của dòng kéo theo thời gian, tức là: $$\mathcal{R}\phi(t)(T) = L_{X_t}((\phi_t)_* T)$$ trong đó $X_t$ là trường véctơ vận tốc phụ thuộc thời gian sinh bởi dòng chuyển động $\phi_t$.

Kết luận

Luận án "Đạo hàm Lie của dòng và liên thông" của tác giả Bùi Cao Vân là một công trình nghiên cứu lý thuyết thuộc chuyên ngành Hình học và Tôpô. Bằng phương pháp giải tích hàm kết hợp với hình học Riemann, luận án đã mở rộng toán tử đạo hàm Lie từ dạng vi phân sang không gian dòng, phân bố, dạng suy rộng và liên thông pháp dạng trên đa tạp con. Các kết quả thu được bao gồm hệ thống công thức kiểu Cartan, định lý đạo hàm Lie phụ thuộc thời gian, việc bảo toàn tính đóng/khớp, cùng các ứng dụng trong định lý vận chuyển Reynolds, công thức đồng luân và tiêu chuẩn đa tạp con cực tiểu. Những đóng góp của luận án đã được công bố qua 07 bài báo khoa học trên các tạp chí toán học quốc tế và trong nước.