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" được thực hiện bởi nghiên cứu sinh Bùi Cao Vân, 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, bảo vệ tại Trường Đại học Vinh năm 2016, thuộc chuyên ngành Hình học và Tôpô (Mã số: 62.46.01.05).
| Thông tin tổng quan | Chi tiết trích xuất từ văn bản |
|---|---|
| Tác giả | Bùi Cao Vân |
| Người hướng dẫn khoa học | PGS. Nguyễn Hữu Quang, PGS. Kiều Phương Chi |
| Cơ sở đào tạo | Trường Đại học Vinh |
| Năm bảo vệ | 2016 |
| Chuyên ngành | Hình học và Tôpô |
| Mã số chuyên ngành | 62.46.01.05 |
| Công bố khoa học liên quan | 07 bài báo (05 bài đã công bố quốc tế: 01 SCIE, 01 ESCI; 02 bài gửi đăng) |
Tính cấp thiết và khoảng trống nghiên cứu
Lý thuyết đạo hàm Lie là một phân ngành của toán học hiện đại, khởi nguồn từ những năm 30 của thế kỷ XX trong các công trình của W. Ślebodziński, D. van Dantzig, J. A. Schouten và E. R. 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 các độ cong chính và độ cong Ricci của đa tạp Riemann, đồng thời ứng dụng trong tìm nghiệm phương trình vi phân, hệ phương trình tuyến tính, hệ động lực, hệ Hamilton, cơ học lượng tử và khoa học máy tính.
Cùng với sự phát triển của giải tích phức và hình học giải tích từ cuối những năm 60 của thế kỷ XX, lý thuyết dòng (currents) của ngành Hình học - Tôpô đã được ứng dụng trong nghiên cứu thể tích cực tiểu của $k$-mặt trên đa tạp Riemann (tiêu biểu qua các công trình của A. T. Fomenko, F. R. Harvey, Đào Trọng Thi, Lê Hồng Vân). Tuy nhiên, các nghiên cứu truyền thống về đạo hàm Lie chủ yếu tập trung trên không gian hàm số, trường véctơ, dạng vi phân và trường tenxơ. Việc thiết lập khái niệm đạo hàm Lie cho dòng, dạng suy rộng, dòng song bậc và các dạng liên thông hình học (đặc biệt là liên thông pháp dạng trên đa tạp con) đặt ra một khoảng trống lý thuyết cần được nghiên cứu và mở rộng một cách có hệ thống.
Mục tiêu nghiên cứu
Mục đích nghiên cứu của luận án được tác giả xác định cụ thể gồm:
- Thiết lập khái niệm và nghiên cứu các 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.
- Khảo sát đạo hàm Lie của dạng và dòng song bậc trên đa tạp phức.
- Nghiên cứu toán tử 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 (trọng tâm là liên thông pháp dạng trên đa tạp con Riemann).
- Vận dụng các kết quả giải tích - hình học thiết lập được để chứng minh định lý vận chuyển Reynolds đối với dòng, công thức đồng luân cho dòng và tìm điều kiện để đa tạp con đạt cực tiểu.
Đố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, và đạ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: Các cấu trúc hình học vi phân trên đ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$, cùng cấu trúc phân bố, dòng tích phân, liên thông Levi-Civita và liên thông pháp dạng $\nabla^\perp$ trên đa tạp con Riemann.
Tổng quan tài liệu và vị trí của luận án
Văn bản luận án điểm lại quá trình hình thành và phát triển của lý thuyết đạo hàm Lie, lý thuyết liên thông và lý thuyết dòng qua các công trình nghiên cứu sau:
- Khởi nguyên lý thuyết đạo hàm Lie: S. Lie đưa ra khái niệm đạo hàm $X[f]$ của hàm số $f$ theo trường véctơ $X$ trên đa tạp khả vi. Năm 1920, Élie Cartan đưa ra định nghĩa toán tử vi phân $L_X$ trên dạng vi phân, chứng minh tính giao hoán giữa $L_X$ và vi phân ngoài $d$, đồng thời xác lập công thức Cartan kinh điển: $$L_X = d \circ i_X + i_X \circ d$$
- Mở rộng trên tenxơ và hình học vi phân: Năm 1931, W. Ślebodziński nghiên cứu toán tử vi phân $L_X$ của trường tenxơ theo trường véctơ $X$, chứng minh công thức đạo hàm Lie của tích hai trường tenxơ và giải phương trình Hamilton chính tắc. D. van Dantzig định danh chính thức thuật ngữ "đạo hàm Lie" và ứng dụng mô tả không gian xạ ảnh $n$-chiều có liên thông tuyến tính. Tiếp đó, J. A. Schouten, E. R. van Kampen, D. J. Struik, K. Yano, L. Wang nghiên cứu biến dạng đường cong, không gian con và các nhóm chuyển động (affine, xạ ảnh, bảo giác).
- Các phát triển hiện đại về đạo hàm Lie:
- Y. J. Suh (2010): 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.
- B. N. Shapukov: Nghiên cứu đạo hàm Lie của trường tenxơ trên đa tạp Fiber.
- K. Röbenack: Xây dựng thuật toán tính đạo hàm Lie bậc cao bằng máy tính.
- M. S. Stanković: Nghiên cứu đạo hàm Lie của liên thông và tenxơ cong trên không gian với liên thông affine không đối xứng.
- A. Sultanov (2010): Xây dựng khái niệm đạo hàm Lie trên đại số và khảo sát độ cong, độ xoắn trên các đại số kết hợp, giao hoán, có đơn vị.
- L. Francaviglia (2011): Nghiên cứu đạo hàm Lie của tenxơ Lorentz ứng dụng trong không gian Minkowski.
- J. D. Pérez (2012): Nghiên cứu đạo hàm Lie trên siêu mặt thực trong không gian xạ ảnh phức.
- V. A. Yudin: Khảo sát đạo hàm Lie trên đại số Lie.
- 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.
- Vị trí và đóng góp của luận án: Kế thừa kết quả ban đầu công bố năm 2012 của nhóm tác giả (Bùi Cao Vân, Nguyễn Hữu Quang, Kiều Phương Chi), luận án hoàn thiện hệ thống giải tích đối ngẫu để chuyển toán tử đạo hàm Lie sang lớp các phân bố, dòng có giá compact $\mathcal{D}_k(M)$, dạng suy rộng $\widetilde{\Omega}^k(M)$, dòng song bậc $\mathcal{D}^{(p,q)}(M^c, \mathbb{C})$ và liên thông pháp dạng $\nabla^\perp$ của đa tạp con.
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 các cấu trúc toán học thuần túy:
- Đa tạp Riemann và không gian hàm: Đa tạp Riemann thực $n$-chiều $M$ với mêtric $g$, không gian tiếp xúc $T_p M$, không gian các trường véctơ trơn $\mathcal{B}(M)$, không gian các hàm trơn $\mathcal{F}(M)$ và không gian các hàm trơn có giá compact $\mathcal{F}_c(U)$ trên tập mở $U \subset M$.
- Dạng vi phân và tôpô không gian dạng: Không gian các $k$-dạng vi phân trơn $\Omega^k(M)$ và $\Omega^k_c(M)$ (giá compact) với tôpô sinh bởi hệ nửa chuẩn: $$P_{s,K}(\alpha) = \sup \left{ |D^\beta \alpha_I(x)| : x \in K, |\beta| \leq s, I \right}$$
- Lý thuyết phân bố (distributions): Không gian $\mathcal{D}(U)$ gồm các phiếm hàm tuyến tính liên tục trên $\mathcal{F}c(U)$. Phân bố Dirac $\delta{x_0}$, phân bố Heaviside $H$, phân bố chính quy $u_f$ xác định bởi hàm khả tích địa phương $f \in L^1_{loc}(U)$. Đạo hàm phân bố cấp $\alpha$: $$\frac{\partial^\alpha u}{\partial x^\alpha}(\phi) = (-1)^{|\alpha|} u\left(\frac{\partial^\alpha \phi}{\partial x^\alpha}\right)$$
- Lý thuyết dòng (currents): Không gian $k$-dòng $\mathcal{D}_k(M)$ (đối ngẫu với không gian $(n-k)$-dạng vi phân trơn có giá compact $\Omega^{n-k}c(M)$), dòng tích phân $[E]$ trên tập con Borel $E$, dòng sinh bởi dạng khả tích $T\psi$.
- Lý thuyết liên thông và hình học Riemann con: Liên thông Levi-Civita $\nabla$, tenxơ xoắn $T$, tenxơ cong Riemann $R$, liên thông pháp dạng $\nabla^\perp$ trên không gian các trường véctơ pháp dạng $\mathcal{N}(M)$ và tenxơ cong pháp dạng $R^\perp$.
Ánh xạ đối ngẫu (Duality)
[Không gian dạng vi phân Ω^{n-k}_c(M)] <---------> [Không gian k-dòng D_k(M)]
| |
Toán tử vi phân L_X Toán tử vi phân £_X
| |
v v
[Dạng vi phân đã lấy đạo hàm Lie] <---------> [Dòng đã lấy đạo hàm Lie £_X T]
Phương pháp nghiên cứu
Tác giả sử dụng phương pháp nghiên cứu lý thuyết thuần túy của toán học hiện đại, bao gồm:
- Phương pháp đối ngẫu hàm phân tích: Chuyển các toán tử vi phân từ không gian dạng vi phân sang không gian dòng và dạng suy rộng thông qua quan hệ đối ngẫu dạng tuyến tính liên tục $\langle \pounds_X T, \omega \rangle = \langle T, L_X \omega \rangle$.
- Phương pháp tọa độ vi phân và đại số tenxơ: Sử dụng hệ tọa độ cục bộ, cơ sở đối ngẫu ${dx^i}$, phép co tích trong $i_X$, tích ngoài $\wedge$ và biến đổi đạo hàm riêng nhiều biến.
- Phương pháp nhóm một tham số và phương trình vi phân trên đa tạp: Khảo sát nhóm vi phôi một tham số $\phi_t$, nhóm phụ thuộc thời gian $F_{t,s}$ sinh bởi trường véctơ $X_t$, đường cong tích phân và phép đẩy tới (push-forward) $(F_t)_*$.
- Phương pháp giải tích phức và cấu trúc song bậc: Phân rã không gian dạng và dòng thành các thành phần kiểu $(p,q)$ trên đa tạp phức.
Nội dung chính theo từng chương
Chương 1. Kiến thức chuẩn bị
Chương 1 hệ thống hóa các khái niệm, định lý và ký hiệu nền tảng được dùng trong toàn bộ luận án, bố cục thành 4 mục:
- 1.1. Dạng vi phân trên đa tạp Riemann: Định nghĩa $k$-dạng vi phân trơn $\Omega^k(M)$, biểu diễn cục bộ $\omega = \sum \phi_{i_1 \dots i_k} dx^{i_1} \wedge \dots \wedge dx^{i_k}$, toán tử vi phân ngoài $d: \Omega^k(M) \to \Omega^{k+1}(M)$ thỏa $d^2 = 0$, $d(\omega \wedge \mu) = d\omega \wedge \mu + (-1)^k \omega \wedge d\mu$, khái niệm dạng đóng ($d\omega = 0$), dạng khớp ($\omega = d\mu$), và phép kéo lùi $f^*$.
- 1.2. Liên thông trên đa tạp Riemann: Định nghĩa liên thông tuyến tính $\nabla$, các hệ số liên thông $\Gamma^k_{ij}$, khái niệm đa tạp khả song. Định lý cơ bản của hình học Riemann xác lập sự tồn tại duy nhất của liên thông Levi-Civita (liên thông đối xứng và tương thích với mêtric $g$). Khảo sát tenxơ xoắn $T(X,Y) = \nabla_X Y - \nabla_Y X - [X,Y]$ kiểu $(2,1)$ và tenxơ cong $R(X,Y)Z = \nabla_X \nabla_Y Z - \nabla_Y \nabla_X Z - \nabla_{[X,Y]} Z$ kiểu $(3,1)$.
- 1.3. Đạo hàm Lie của dạng vi phân: Định nghĩa đạ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 $k$-dạng vi phân: $$(L_X \omega)p = \left. \frac{d}{dt} \right|{t=0} \phi_t^* \omega_{\phi_t(p)}$$ Chứng minh toán tử tích trong $i_X$, công thức Cartan $L_X = d \circ i_X + i_X \circ d$, 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 tìm nghiệm phương trình đạo hàm riêng cấp 1 trên $\mathbb{R}^{n+1}$. Thiết lập định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dạng vi phân dưới tác động của nhóm $F_{t,s}$ sinh bởi trường véctơ phụ thuộc thời gian $X_t$: $$\frac{d}{d\tau} 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: Trình bày không gian phân bố $\mathcal{D}(U)$, điều kiện liên tục qua họ nửa chuẩn, phân bố Dirac $\delta_{x_0}$, phân bố chính quy $u_f$, phép lấy đạo hàm phân bố, tích hàm số với phân bố. Trình bày cấu trúc tôpô không gian dạng $\Omega^k_c(U)$, định nghĩa không gian $k$-dòng $\mathcal{D}k(U)$ (dòng bậc $k$, chiều $n-k$), tích ngoài dòng và dạng $T \wedge \omega$, biểu diễn dòng dưới dạng $T = \sum{|I|=k} T_I dx^I$ (với $T_I \in \mathcal{D}(U)$). Định nghĩa vi phân ngoài của dòng: $$(dT)(\omega) = (-1)^{k+1} T(d\omega), \quad \forall \omega \in \Omega^{n-k-1}c(M)$$ khái niệm dòng đóng ($dT=0$), dòng khớp ($T=dS$), phép đẩy tới $(f* T)(\omega) = T(f^* \omega)$ 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 là nội dung nghiên cứu trọng tâm thứ nhất của luận án, gồm 4 mục:
2.1. Đạo hàm Lie của dòng và dạng suy rộng
Tác giả xây dựng định nghĩa đạo hàm Lie của $k$-dòng $T$ theo trường véctơ $X$ trên $M$: $$(\pounds_X T)(\omega) := T(L_X \omega), \quad \forall \omega \in \Omega^{n-k}_c(M)$$ Định nghĩa toán tử tích trong $i_X: \mathcal{D}k(M) \to \mathcal{D}{k-1}(M)$ đối với dòng: $$(i_X T)(\omega) := (-1)^{k-1} T(i_X \omega), \quad \forall \omega \in \Omega^{n-k+1}_c(M)$$ Thiết lập các kết quả giải tích cơ bản:
- Công thức kiểu Cartan đối với dòng: $$\pounds_X T = d(i_X T) + i_X(dT)$$
- Các tính chất tuyến tính và vi phân:
- $\pounds_X (T + T') = \pounds_X T + \pounds_X T'$
- $\pounds_{X+Y} T = \pounds_X T + \pounds_Y T$
- $\pounds_X (\phi T) = (L_X \phi) T + \phi \pounds_X T, \quad \forall \phi \in \mathcal{F}(M)$
- $\pounds_X (T \wedge \omega) = (\pounds_X T) \wedge \omega + T \wedge (L_X \omega), \quad \forall \omega \in \Omega^p_c(M)$
- Tính giao hoán với vi phân ngoài: $\pounds_X (dT) = d(\pounds_X T)$. Do đó, đạo hàm Lie bảo toàn tính đóng và tính khớp của dòng.
- Định lý đạo hàm Lie và phụ thuộc thời gian đối với dòng:
- Với nhóm 1-tham số $F_t$ sinh bởi $X$: $\frac{d}{dt} ((F_t)* T) = (F_t)* (\pounds_X T)$.
- Định lý đạo hàm Lie phụ thuộc thời gian thứ nhất: $\left.\frac{d}{d\tau}\right|{\tau=t} (F{\tau,s})* T = \pounds{X_t} ((F_{t,s})_* T)$.
- Định lý đạo hàm Lie phụ thuộc thời gian thứ hai: $$\left.\frac{d}{d\tau}\right|{\tau=t} (F{\tau,s})* T(\omega\tau) = (F_{t,s})* T(\dot{\omega}t) + \pounds{X_t} ((F{t,s})_* T)(\omega_t)$$
- Trường hợp phân bố (dòng bậc $n$): Đạo hàm Lie của phân bố $u \in \mathcal{D}(U)$ có biểu thức tọa độ cục bộ: $$\pounds_X u = -\sum_{i=1}^n \frac{\partial (X_i u)}{\partial x^i}$$ Đối với phân bố Heaviside: $\pounds_X H = -X' \cdot \delta$. Đạo hàm Lie có tính liên tục theo dãy phân bố hội tụ và dãy trường véctơ hội tụ. Với phân bố chính quy: $\pounds_X u_f = u_{L_X f}$.
- Dạng suy rộng (generalized forms): Định nghĩa không gian $k$-dạng suy rộng $\widetilde{\Omega}^k(M)$ là không gian các phiếm hàm tuyến tính liên tục trên $\mathcal{D}_{n-k}(M)$. Xây dựng các toán tử đạo hàm Lie $(L_X \omega)(T) = \omega(\pounds_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 đối với 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
Khảo sát các cấu trúc đạo hàm Lie của dòng và dạng suy rộng trên nhóm Lie compact, thiết lập tính bất biến của dòng đối với các phép tịnh tiến trái, tịnh tiến phải và quan hệ với đại số Lie của nhóm.
2.3. Một số ứng dụng của đạo hàm Lie của dòng
- Định lý vận chuyển Reynolds cho dòng: Chứng minh toán tử vận chuyển $R_\phi(t)(T)$ của $k$-dòng $(F_t)* T$ trên đa tạp chính là đạo hàm Lie $\pounds{X_t}((F_t)_* T)$.
- Công thức đồng luân cho dòng: Sử dụng toán tử tích trong và vi phân ngoài để thiết lập công thức đồng luân đối với dòng.
- Tiêu chuẩn đa tạp con cực tiểu: Khảo sát đạo hàm Lie của dòng tích phân $[M]$ của đa tạp con $M$. Chứng minh điều kiện cần và đủ để đa tạp con đạt cực tiểu địa phương là đạo hàm Lie của dòng tích phân triệt tiêu theo các trường biến dạng thích hợp.
2.4. Đạo hàm Lie của dạng và dòng song bậc
Khảo sát không gian dạng vi phân song bậc $\Omega^{(p,q)}(M^c, \mathbb{C})$ và không gian dòng song bậc $\mathcal{D}^{(p,q)}(M^c, \mathbb{C})$ trên đa tạp phức $M^c$. Xác định điều kiện cần và đủ của trường véctơ $X$ để đạo hàm Lie $L_X \omega$ của dạng song bậc kiểu $(p,p)$ tiếp tục là dạng song bậc kiểu $(p,p)$, định hướng áp dụng khảo sát 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 trình bày các kết quả nghiên cứu về đạo hàm Lie của liên thông và liên thông pháp dạng trên đa tạp con Riemann, gồm 2 mục:
3.1. Đạo hàm Lie của liên thông và vi phân ngoài liên kết
- Khảo sát tác động của đạo hàm Lie lên liên thông tuyến tính $\nabla$ trên đa tạp Riemann.
- Xây dựng toán tử vi phân ngoài liên kết với liên thông và nghiên cứu các tính chất đại số vi phân của toán tử này.
3.2. Đạo hàm Lie của liên thông pháp dạng
- Cho $M$ là đa tạp con Riemann của đa tạp Riemann $\widetilde{M}$. Xét không gian các trường véctơ pháp dạng $\mathcal{N}(M)$ và liên thông pháp dạng $\nabla^\perp$.
- Thiết lập định nghĩa và tính chất của đạo hàm Lie của liên thông pháp dạng $\pounds_X \nabla^\perp$ và đạo hàm Lie của tenxơ cong pháp dạng $R^\perp$.
- Khảo sát các tính chất hình học và công thức tường minh khi $M$ là siêu mặt trong đa tạp Riemann.
Kết quả và những đóng góp mới
Các kết quả mới mà luận án tự nêu bao gồm:
Đóng góp về mặt lý luận
- Hoàn thiện lý thuyết đạo hàm Lie cho dòng: Xây dựng định nghĩa đạo hàm Lie $\pounds_X T$ và tích trong $i_X T$ cho $k$-dòng trên đa tạp Riemann. Thiết lập và chứng minh công thức kiểu Cartan đối với dòng: $$\pounds_X T = d(i_X T) + i_X(dT)$$ Chứng minh $\pounds_X$ giao hoán với vi phân ngoài $d$, bảo toàn tính đóng và tính khớp của dòng.
- Xác lập hệ định lý đạo hàm Lie phụ thuộc thời gian: Chứng minh định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dòng dưới tác động của nhóm một tham số $F_{t,s}$ sinh bởi trường véctơ phụ thuộc thời gian $X_t$.
- Mở rộng sang lớp dạng suy rộng và phân bố: Xây dựng toán tử đạo hàm Lie, tích trong, vi phân ngoài và công thức kiểu Cartan cho dạng suy rộng $\widetilde{\Omega}^k(M)$. Thiết lập công thức giải tích tọa độ cho đạo hàm Lie của phân bố và chứng minh tính liên tục qua giới hạn dãy.
- Mở rộng trên cấu trúc phức và hình học con: Khảo sát đạo hàm Lie của dòng song bậc $\mathcal{D}^{(p,q)}(M^c, \mathbb{C})$, tìm điều kiện để trường véctơ bảo toàn bậc $(p,p)$. Thiết lập khái niệm đạo hàm Lie của liên thông pháp dạng $\pounds_X \nabla^\perp$ và tenxơ cong pháp dạng $R^\perp$ trên đa tạp con Riemann.
Đóng góp về mặt ứng dụng
- Chứng minh định lý vận chuyển Reynolds và thiết lập công thức đồng luân cho dòng trên đa tạp Riemann.
- Xác lập tiêu chuẩn hình học cho bài toán thể tích cực tiểu: đa tạp con đạt cực tiểu địa phương khi và chỉ khi đạo hàm Lie của dòng tích phân triệt tiêu.
Danh mục công trình khoa học của tác giả
Các kết quả chính của luận án được công bố trong 07 công trình khoa học (05 bài báo quốc tế và 02 bài gửi đăng):
| STT | Tên bài báo / Tạp chí | Tình trạng công bố |
|---|---|---|
| 1 | Lobachevskii Journal of Mathematics [6] | Đã công bố (2012) |
| 2 | Bulletin of Mathematical Analysis and Applications [43] | Đã công bố |
| 3 | Journal of Nonlinear and Convex Analysis [44] | Đã gửi đăng |
| 4 | Vietnam Journal of Mathematics [7] | Đã gửi đăng |
| 5 | Các tạp chí toán học quốc tế khác (theo danh mục luận án) | 01 SCIE, 01 ESCI |
Hạn chế và hướng nghiên cứu tiếp
- Hạn chế: Luận án giới hạn phạm vi khảo sát trên các đa tạp Riemann thực trơn có cơ sở đếm được, nhóm Lie compact, đa tạp phức trơn và các đa tạp con không có điểm kỳ dị. Các kết quả đối với dòng song bậc chủ yếu dừng lại ở mức thiết lập cấu trúc đại số vi phân và điều kiện bảo toàn song bậc, chưa mở rộng cho lớp dòng dương có kỳ dị giải tích phức tạp.
- Hướng nghiên cứu tiếp theo (theo văn bản):
- 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ị.
- Mở rộng khảo sát đạo hàm Lie của liên thông pháp dạng và bài toán cực tiểu trên các lớp đa tạp con tổng quát hơn và đa tạp CR.
Giá trị tham khảo
Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực Hình học - Tôpô và Giải tích:
- Đối tượng hưởng lợi: Sinh viên chuyên ngành Toán, học viên cao học, nghiên cứu sinh và giảng viên nghiên cứu về Hình học vi phân, Hình học Riemann, Giải tích phức nhiều biến, Lý thuyết dòng và Vật lý toán.
- Nội dung giá trị chuyên sâu:
- Mục 2.1 & 2.3: Kỹ thuật đối ngẫu thiết lập công thức Cartan cho dòng, định lý vận chuyển Reynolds và tiêu chuẩn dòng tích phân cực tiểu.
- Mục 2.4 & Chương 3: Kỹ thuật xử lý dòng song bậc trên đa tạp phức và đạo hàm Lie của liên thông pháp dạng $\nabla^\perp$ trên đa tạp con Riemann.
Câu hỏi thường gặp
1. Đạo hàm Lie của một $k$-dòng $T$ theo trường véctơ $X$ được định nghĩa như thế nào?
Đạo hàm Lie của $k$-dòng $T$ theo trường véctơ $X$ trên đa tạp Riemann $M$ (ký hiệu $\pounds_X T$) được định nghĩa thông qua tính đối ngẫu với đạo hàm Lie $L_X$ của dạng vi phân: $$(\pounds_X T)(\omega) = T(L_X \omega), \quad \forall \omega \in \Omega^{n-k}_c(M)$$ trong đó $\Omega^{n-k}_c(M)$ là không gian các $(n-k)$-dạng vi phân trơn có giá compact trên $M$.
2. Công thức kiểu Cartan đối với dòng được xác lập như thế nào trong luận án?
Luận án chứng minh công thức kiểu Cartan đối với dòng $T \in \mathcal{D}_k(M)$ theo trường véctơ $X \in \mathcal{B}(M)$ có dạng: $$\pounds_X T = d(i_X T) + i_X(dT)$$ trong đó $i_X T$ là tích trong của trường véctơ $X$ đối với dòng $T$ (xác định bởi $(i_X T)(\omega) = (-1)^{k-1} T(i_X \omega)$) và $d$ là toán tử vi phân ngoài của dòng.
3. Đạo hàm Lie của một phân bố trong hệ tọa độ địa phương được tính bằng biểu thức nào?
Với $u \in \mathcal{D}(U)$ là một phân bố (dòng bậc $n$) trên tập mở $U \subset M$ và $X = \sum_{i=1}^n X_i \frac{\partial}{\partial x^i}$ là trường véctơ trơn, đạo hàm Lie $\pounds_X u$ được tính theo công thức: $$\pounds_X u = -\sum_{i=1}^n \frac{\partial (X_i u)}{\partial x^i}$$ Đặc biệt, nếu $u_f$ là phân bố chính quy sinh bởi hàm liên tục $f$ thì $\pounds_X u_f = u_{L_X f}$.
4. Đạo hàm Lie của dòng tích phân liên hệ như thế nào với bài toán đa tạp con cực tiểu?
Trong Mục 2.3, luận án chứng minh rằng đối với dòng tích phân $[M]$ xác định trên đa tạp con $M$, điều kiện để đa tạp con $M$ là cực tiểu địa phương tương đương với việc đạo hàm Lie của dòng tích phân $[M]$ triệt tiêu ($\pounds_X [M] = 0$) dọc theo các trường véctơ biến dạng thích hợp.
5. Luận án đã ứng dụng đạo hàm Lie của dòng vào những bài toán cụ thể nào?
Luận án đã ứng dụng đạo hàm Lie của dòng để:
- Chứng minh định lý vận chuyển Reynolds đối với dòng trên đa tạp (trong đó toán tử vận chuyển $R_\phi(t)(T)$ chính là đạo hàm Lie $\pounds_{X_t}((F_t)_* T)$).
- Chứng minh công thức đồng luân cho dòng trên đa tạp.
- Thiết lập tiêu chuẩn nhận biết đa tạp con cực tiểu qua sự triệt tiêu của đạo hàm Lie của dòng tích phân.
Kết luận
Luận án tiến sĩ của tác giả Bùi Cao Vân đã giải quyết có hệ thống bài toán xây dựng và mở rộng toán tử đạo hàm Lie từ dạng vi phân sang dòng, dạng suy rộng, dòng song bậc và liên thông pháp dạng trên đa tạp Riemann. Công trình đã thiết lập các công thức giải tích cơ bản như công thức kiểu Cartan và các định lý đạo hàm Lie phụ thuộc thời gian cho dòng, đồng thời chứng minh 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. Các kết quả nghiên cứu đã được công bố trên các tạp chí toán học quốc tế uy tín, đóng góp tài liệu học thuật cho chuyên ngành Hình học - Tôpô và Giải tích.