Tổng quan luận án

Nghiên cứu về tính tuần hoàn, hầu tuần hoàn và tính ổn định nghiệm của phương trình Navier-Stokes là một chủ đề trọng tâm trong lý thuyết phương trình đạo hàm riêng và động lực học thủy khí. Khi mô tả các hiện tượng chuyển động quy mô lớn như dòng hải lưu hay các luồng khí quyển trên bề mặt Trái Đất hoặc đại dương, mô hình phương trình Navier-Stokes trên đa tạp Riemann với độ cong khác không phản ánh sát thực tế hơn so với không gian Euclid phẳng. Trong bối cảnh đó, các bài toán về dáng điệu tiệm cận của nghiệm phương trình tiến hóa tổng quát trên đa tạp Einstein và phương trình Navier-Stokes trên đa tạp Riemann không compact có độ cong Ricci âm vẫn tồn tại những khoảng trống lý thuyết chưa được giải quyết đầy đủ.

Mục tiêu nghiên cứu của luận án được xác định cụ thể qua hai nội dung chính:

  1. Nghiên cứu sự tồn tại, tính duy nhất và tính ổn định mũ của nghiệm đủ tốt tuần hoàn (trên nửa trục thời gian $\mathbb{R}+$), hầu tuần hoàn (trên toàn trục thời gian $\mathbb{R}$) và hầu tuần hoàn tiệm cận (trên nửa trục thời gian $\mathbb{R}+$) cho lớp phương trình tiến hóa tổng quát trên đa tạp Einstein không compact; đồng thời thiết lập ứng dụng của các kết quả này cho phương trình Navier-Stokes và phương trình truyền nhiệt dạng vectơ.
  2. Nghiên cứu sự tồn tại, tính duy nhất và tính ổn định mũ của nghiệm tuần hoàn của phương trình Navier-Stokes không nén được trên đa tạp Riemann không compact với độ cong Ricci âm.

Đối tượng và phạm vi nghiên cứu của luận án:

  • Đối tượng nghiên cứu: Các lớp nghiệm tuần hoàn, hầu tuần hoàn, hầu tuần hoàn tiệm cận của phương trình tiến hóa tổng quát dạng $\partial_t u(t) + Au(t) = BG(t, u(t))$ trên đa tạp Einstein và nghiệm tuần hoàn của phương trình Navier-Stokes dạng $\partial_t u = -\mathbb{A}u + P[-\nabla_u u + f]$ trên đa tạp Riemann không compact.
  • Phạm vi không gian và thời gian: Xét trên các đa tạp Einstein không compact có ten-xơ Ricci $R_{ij} = -c g_{ij}$ ($c > 0$) và các đa tạp Riemann không compact thỏa mãn Giả thiết H của Pierfelice; phạm vi thời gian bao gồm nửa trục thời gian $\mathbb{R}_+ = [0, +\infty)$ và toàn trục thời gian $\mathbb{R} = (-\infty, +\infty)$.

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 Navier-Stokes trong không gian Euclid ghi nhận nhiều mốc phát triển quan trọng về nghiệm tuần hoàn và tính ổn định:

  • Năm 1959, Serrin thiết lập sự tồn tại nghiệm tuần hoàn trong miền bị chặn thông qua tính ổn định nghiệm. Sau đó, Maremonti chứng minh sự tồn tại nghiệm tuần hoàn trên toàn không gian $\mathbb{R}^d$.
  • Kozono và Nakao nghiên cứu nghiệm đủ tốt trên toàn trục thời gian trong $\mathbb{R}^d$ ($d \ge 4$). Heywood, Prodi, Prouse và Yudovich phát triển phương pháp "miền xâm lấn" cho các miền không bị chặn.
  • Maremonti và Padula, Galdi và Sohr, Yamazaki, Taniuchi, Van Baalen và Wittwer, Galdi và Silvestre khảo sát nghiệm tuần hoàn trên các miền ngoại vi bằng phương pháp lặp Kato và không gian Lorentz.
  • Về tính ổn định của nghiệm và nghiệm dừng: Maremonti, Borchers và Miyakawa, Novotny và Padula, Galdi và Simader, Kozono và Sohr, Kozono và Yamazaki nghiên cứu sự hội tụ tiệm cận trong không gian Sobolev, Morrey và Lorentz.
  • Gần đây, Nguyen, Geissert, Hieber sử dụng phương pháp trung bình ergodic và nguyên lý Massera để nghiên cứu nghiệm tuần hoàn quanh vật cản xoay và trên toàn không gian.

Trên đa tạp Riemann, việc mô tả phương trình Navier-Stokes gắn liền với ten-xơ biến dạng do Ebin và Marsden đề xuất năm 1970, sau đó được Touomela mở rộng trên đa tạp tổng quát. Czubak, Chan và Lichtenfelz chỉ ra tính không duy nhất của nghiệm yếu Leray-Hopf trên đa tạp hyperbolic $\mathbb{H}^2$ và các đa tạp không compact chiều $d \ge 3$. Pierfelice đã thiết lập các ước lượng $L^p - L^q$ phân rã mũ cho nửa nhóm nhiệt dạng vectơ và nửa nhóm Stokes trên đa tạp Riemann không compact có độ cong âm. Trên đa tạp Einstein, Nguyen và cộng sự đã bước đầu nghiên cứu nguyên lý Massera và bất đẳng thức nón cho nghiệm tuần hoàn.

Nhóm tác giả tiêu biểu Không gian khảo sát Phương pháp tiếp cận chính Vấn đề giải quyết
Serrin (1959), Maremonti (1988) Miền bị chặn, toàn không gian $\mathbb{R}^d$ Phương pháp Serrin, phân rã tiệm cận Nghiệm tuần hoàn trong không gian Euclid
Ebin & Marsden (1970), Touomela (1995) Đa tạp Einstein, đa tạp Riemann Ten-xơ biến dạng, hình học vi phân Mô tả phương trình Navier-Stokes trên đa tạp
Pierfelice (2017) Đa tạp Riemann không compact ($\text{Ric} < 0$) Ước lượng $L^p - L^q$, lặp Kato Tồn tại nghiệm đủ tốt cục bộ và toàn cục
Luận án của Nguyễn Thị Vân (2023) Đa tạp Einstein, đa tạp Riemann không compact Nguyên lý Massera, Bất đẳng thức nón, Serrin Nghiệm tuần hoàn, hầu tuần hoàn, ổn định mũ

Khoảng trống nghiên cứu được luận án lựa chọn giải quyết là: Mở rộng nghiên cứu sang lớp phương trình tiến hóa tổng quát trên đa tạp Einstein (vốn chưa có kết quả đầy đủ về nghiệm tuần hoàn, hầu tuần hoàn, hầu tuần hoàn tiệm cận và tính ổn định mũ) và giải quyết trọn vẹn bài toán về sự tồn tại cùng tính ổn định mũ của nghiệm tuần hoàn cho phương trình Navier-Stokes trên đa tạp Riemann không compact với độ cong Ricci thay đổi.

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

Luận án sử dụng khung lý thuyết giải tích hàm và hình học vi phân hiện đại:

  • Khung hình học Riemann: Sử dụng đa tạp khả vi, phân thớ tiếp xúc $TM$, liên thông Levi-Civita $\nabla$, ký hiệu Christoffel $\Gamma_{ij}^k$, ten-xơ độ cong Riemann $R(X,Y)Z$, độ cong thiết diện $K(X,Y)$, ten-xơ độ cong Ricci $\text{Ric}$ và toán tử Bochner-Laplace $\Delta u = \text{Tr}_g(\nabla^2 u)$.
  • Ten-xơ biến dạng Ebin-Marsden: Biểu diễn toán tử Laplace trên trường vectơ $\mathbb{L}u = \text{div}(\nabla u + (\nabla u)^T)^\sharp = \Delta u + r(u)$, trong đó $r(u) = (\text{Ric}(u, \cdot))^\sharp$.
  • Phân rã Kodaira-Hodge: Sử dụng phép chiếu $P = I + \text{grad}(-\Delta_g)^{-1}\text{div}$ và toán tử hiệu chỉnh $G(u) = 2\text{grad}(-\Delta_g)^{-1}\text{div}(r(u))$ để chuyển phương trình Navier-Stokes về dạng tương thích $\partial_t u = -\mathbb{A}u + P[-\nabla_u u + f]$ với $\mathbb{A}u = -(\Delta u + r(u) + G(u))$.
  • Giả thiết H của Pierfelice: Đa tạp $(M, g)$ trơn, không compact, liên thông, đơn liên, đóng, thỏa mãn:
    • $(H_1)$ $|R| + |\nabla R| + |\nabla^2 R| \le K_0$
    • $(H_2)$ $-c_1 g \le \text{Ric} \le -c_0 g$ với $c_0 > 0$
    • $(H_3)$ Độ cong thiết diện $K \le 0$
    • $(H_4)$ Bán kính nội xạ $\inf_{x \in M} r_x > 0$
  • Không gian hàm và giải tích hàm: Không gian hàm liên tục bị chặn $C_b$, không gian hàm hầu tuần hoàn $AP(\mathbb{R}, X)$, hầu tuần hoàn tiệm cận $AAP(\mathbb{R}+, X) = AP(\mathbb{R}, X) \oplus C_0(\mathbb{R}+, X)$, không gian Sobolev $H_p^k(\Gamma(TM))$ trên đa tạp, lý thuyết $C_0$-nửa nhóm và nửa nhóm đối ngẫu.
Phương pháp nghiên cứu Kỹ thuật toán học sử dụng Mục đích áp dụng trong luận án
Phương pháp Massera Ánh xạ Poincaré $P(x) = u(T)$, trung bình Cesàro, Định lý Banach-Alaoglu trong tôpô yếu* Chứng minh tồn tại nghiệm tuần hoàn của phương trình tuyến tính
Nguyên lý ánh xạ co Tính Lipschitz địa phương của số hạng phi tuyến, không gian Banach $C_b$ Chứng minh sự tồn tại và duy nhất nghiệm của phương trình nửa tuyến tính
Định lý Bất đẳng thức nón Cấu trúc nón trong không gian Banach, bán kính phổ $r_A < 1$ của toán tử bị chặn Chứng minh tính ổn định mũ của nghiệm đủ tốt
Phương pháp Serrin Đánh giá năng lượng, tính bị chặn và tính ổn định nghiệm suy ra tính tuần hoàn Thiết lập quan hệ giữa tính ổn định và tính tuần hoàn trên đa tạp Riemann

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 toàn bộ các công cụ giải tích và hình học vi phân cần thiết làm nền tảng cho các chứng minh ở các chương sau:

  • Trình bày chi tiết cấu trúc đa tạp khả vi, phân thớ tiếp xúc $TM$, phân thớ đối tiếp xúc $T^*M$, trường vectơ, các dạng vi phân ngoài, metric Riemann và bán kính nội xạ $i(M)$. Cung cấp các ví dụ chuẩn mực như không gian Euclid $\mathbb{R}^d$, mặt cầu $S^d$ và không gian hyperbolic thực $\mathbb{H}^d$.
  • Thiết lập định nghĩa liên thông Levi-Civita $\nabla$, ký hiệu Christoffel $\Gamma_{ij}^k$, đạo hàm hiệp biến của trường ten-xơ, ten-xơ độ cong Riemann $R$, đẳng thức Bianchi thứ nhất và thứ hai, độ cong thiết diện $K(X,Y)$ và ten-xơ Ricci. Nêu định nghĩa đa tạp Einstein thỏa mãn $R_{ik} = c g_{ik}$.
  • Trình bày các toán tử vi phân trên đa tạp: Laplace-Beltrami $\Delta_g$, Bochner-Laplace $\Delta$, Hodge-Laplace $\Delta_H$, bất đẳng thức Kato $|\nabla |u|| \le |\nabla u|$, không gian Sobolev $H_p^k(\Gamma(TM))$ và tính chất phản xạ của chúng khi $p > 1$.
  • Trình bày lý thuyết $C_0$-nửa nhóm, nửa nhóm đối ngẫu $(e^{tA})^$, định lý Banach-Alaoglu về tính compact yếu của hình cầu đơn vị đóng, định nghĩa cấu trúc nón và Định lý Bất đẳng thức nón trong không gian Banach.
  • Thiết lập cách biểu diễn phương trình Navier-Stokes trên đa tạp Riemann không compact thông qua ten-xơ biến dạng Ebin-Marsden và phân rã Kodaira-Hodge. Trích dẫn các ước lượng $L^p - L^q$ có phân rã dạng mũ đối với nửa nhóm nhiệt dạng vectơ $e^{-t\mathbb{A}}$ và nửa nhóm Stokes trên đa tạp Riemann không compact thỏa mãn Giả thiết H.

Chương 2. Dáng điệu tiệm cận của nghiệm phương trình tiến hoá trên đa tạp Einstein không compact và ứng dụng

Chương 2 tập trung khảo sát phương trình tiến hóa tuyến tính $\partial_t u + Au = Bf(t)$ và phương trình nửa tuyến tính $\partial_t u + Au = BG(t, u(t))$ trên đa tạp Einstein không compact có ten-xơ Ricci $R_{ij} = -c g_{ij}$ ($c > 0$):

  • Xây dựng Giả thiết AB: Không gian Banach $Y$ có không gian tiền đối ngẫu tách được $Z$ ($Z^* = Y$), $Z$ bất biến dưới nửa nhóm tiền đối ngẫu, thỏa mãn các đánh giá phân rã mũ: $$|e^{-tA}v|_Y \le M e^{-\beta t}|v|_Y$$ $$|e^{-tA}B w|_Y \le (C_1 t^{-\alpha_1} + C_2) e^{-\beta t}|w|_X$$ với $0 \le \alpha_1 < 1$, $\beta > 0$.
  • Thiết lập công thức nghiệm đủ tốt dạng tích phân Duhamel $u(t) = e^{-tA}u_0 + \int_0^t e^{-(t-s)A}B f(s) ds$ và chứng minh tính bị chặn theo thời gian: $|u|{C_b(\mathbb{R}+, Y)} \le M |u_0|Y + \tilde{M}|f|{\infty, X}$ với $\tilde{M} = C_1 \beta^{\alpha_1 - 1}\Gamma(1 - \alpha_1) + C_2 \beta^{-1}$.
  • Chứng minh Định lý 2.3 (Nguyên lý Massera cho nghiệm tuần hoàn): Xét dãy tổng Cesàro $x_n = \frac{1}{n}\sum_{k=1}^n u(kT)$ của ánh xạ Poincaré $P(x) = u(T)$, chứng minh dãy bị chặn trong $Y$, trích dãy con hội tụ yếu* $x_{n_k} \rightharpoonup^* \hat{x} \in Y$ theo định lý Banach-Alaoglu, từ đó chứng minh $P(\hat{x}) = \hat{x}$ để khẳng định sự tồn tại duy nhất nghiệm tuần hoàn chu kỳ $T$.
  • Chứng minh Định lý 2.5 cho nghiệm hầu tuần hoàn trên toàn trục thời gian $\mathbb{R}$ qua toán tử nghiệm $S(F)(t) = \int_{-\infty}^t e^{-(t-\tau)A}BF(\tau) d\tau$ và chứng minh Định lý 2.7 cho nghiệm hầu tuần hoàn tiệm cận trên $\mathbb{R}+$ qua phép phân tích $f(t) = H(t) + \Phi(t)$ với $H \in AP(\mathbb{R}, X)$, $\Phi \in C_0(\mathbb{R}+, X)$.
  • Áp dụng nguyên lý ánh xạ co chứng minh sự tồn tại và duy nhất nghiệm đủ tốt cho phương trình nửa tuyến tính khi chuẩn của dữ kiện đủ nhỏ; áp dụng Định lý Bất đẳng thức nón chứng minh tính ổn định mũ của các nghiệm này.
  • Ứng dụng các kết quả trừu tượng vào hai mô hình cụ thể: Phương trình Navier-Stokes trên đa tạp Einstein (khi đó $B = P\text{div}$, $A = \mathbb{L}u + ru$, $G(u) = u \otimes u$, phép chiếu $P$ giao hoán với $A$) và phương trình truyền nhiệt dạng vectơ.

Chương 3. Dáng điệu tiệm cận của nghiệm phương trình Navier-Stokes trên đa tạp Riemann không compact

Chương 3 mở rộng bài toán sang đa tạp Riemann không compact có độ cong Ricci biến thiên thỏa mãn Giả thiết H, nơi toán tử $\mathbb{A}$ không còn giao hoán với phép chiếu Kodaira-Hodge $P$:

  • Khảo sát phương trình Stokes tuyến tính không thuần nhất $\partial_t u = -\mathbb{A}u + P f(t)$ trên nửa trục thời gian $\mathbb{R}_+$. Sử dụng các ước lượng $L^p - L^q$ phân rã mũ của nửa nhóm Stokes kết hợp phương pháp Massera để chứng minh sự tồn tại duy nhất nghiệm đủ tốt tuần hoàn bị chặn.
  • Khảo sát phương trình Navier-Stokes nửa tuyến tính $\partial_t u = -\mathbb{A}u + P[-\nabla_u u + f]$. Sử dụng tính chất Lipschitz địa phương của toán tử phi tuyến $u \mapsto P(\nabla_u u)$ kết hợp nguyên lý ánh xạ co để chứng minh sự tồn tại và duy nhất của nghiệm tuần hoàn có chuẩn nhỏ trong không gian $C_b(\mathbb{R}_+, L^q)$.
  • Chứng minh tính ổn định mũ của nghiệm tuần hoàn của phương trình Navier-Stokes bằng cách thiết lập đánh giá hiệu hai nghiệm qua phương trình tích phân, áp dụng bất đẳng thức nón đối với toán tử tích phân có bán kính phổ bé hơn 1.
  • Thiết lập định lý kiểu Serrin trên đa tạp Riemann không compact: Chứng minh rằng tính ổn định mũ của nghiệm đủ tốt sẽ kéo theo sự tồn tại của nghiệm tuần hoàn, cung cấp một cách tiếp cận thứ hai độc lập với phương pháp Massera.

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 sau:

  • Xây dựng thành công hệ tiên đề (Giả thiết AB) cho các toán tử tuyến tính $A, B$ và các không gian Banach $X, Y$ trên đa tạp Einstein không compact, tích hợp các ước lượng $L^p - L^q$ phân rã dạng mũ.
  • Thiết lập trọn vẹn nguyên lý dạng Massera cho lớp phương trình tiến hóa tổng quát trên đa tạp Einstein, chứng minh sự tồn tại, tính duy nhất và tính ổn định mũ của ba lớp nghiệm: Nghiệm tuần hoàn trên $\mathbb{R}+$, nghiệm hầu tuần hoàn trên $\mathbb{R}$ và nghiệm hầu tuần hoàn tiệm cận trên $\mathbb{R}+$.
  • Mở rộng thành công các kết quả định tính sang phương trình Navier-Stokes trên đa tạp Riemann không compact có độ cong Ricci thay đổi thỏa mãn Giả thiết H, giải quyết khó khăn khi toán tử vi phân không giao hoán với toán tử chiếu Kodaira-Hodge.
  • Thiết lập Định lý kiểu Serrin trên đa tạp Riemann không compact, khẳng định mối liên hệ định tính giữa tính ổn định mũ và tính tuần hoàn của nghiệm phương trình Navier-Stokes.

Các kết quả nghiên cứu trong luận án được xây dựng từ 04 công trình khoa học của tác giả và người hướng dẫn, đã được báo cáo tại nhóm seminar "Dáng điệu tiệm cận của phương trình vi phân và ứng dụng" tại Đại học Bách khoa Hà Nội (từ năm 2020) và các hội thảo chuyên đề về phương trình đạo hàm riêng tại Viện Nghiên cứu cao cấp về Toán (VIASM) vào các năm 2020, 2021 và 2023.

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

Hạn chế và phạm vi chưa khảo sát trong luận án:

  • Nghiên cứu giới hạn trong lớp đa tạp Riemann không compact thỏa mãn Giả thiết H với độ cong Ricci âm bị chặn dưới và chặn trên bởi các hằng số âm; chưa mở rộng cho các đa tạp có độ cong biến thiên đổi dấu hoặc tiệm cận về 0 ở vô cùng.
  • Các kết quả về sự tồn tại nghiệm tuần hoàn và tính ổn định mũ của phương trình Navier-Stokes phi tuyến đòi hỏi điều kiện dữ kiện ban đầu và hàm ngoại lực có chuẩn đủ nhỏ (nghiệm nhỏ).

Hướng nghiên cứu tiếp theo được đề xuất:

  • Mở rộng nghiên cứu dáng điệu tiệm cận của nghiệm phương trình Navier-Stokes trên các lớp đa tạp Riemann tổng quát hơn, nới lỏng các điều kiện trong Giả thiết H.
  • Nghiên cứu các dạng nghiệm phức tạp hơn như nghiệm tựa hầu tuần hoàn có trọng, hầu tự đồng hình và hầu tự đồng hình theo nghĩa Stepanov trên đa tạp Riemann.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên ngành Toán giải tích, Hình học vi phân và Phương trình đạo hàm riêng.
  • Các nhà nghiên cứu quan tâm đến phương pháp giải tích trên đa tạp Riemann, lý thuyết nửa nhóm toán tử và động lực học chất lỏng trên không gian cong.
  • Chương 1 và Chương 2 có giá trị tham khảo cao về kỹ thuật xây dựng ước lượng nửa nhóm và phương pháp Massera kết hợp tôpô yếu; Chương 3 cung cấp quy trình phân tích phương trình Navier-Stokes với toán tử không giao hoán trên đa tạp không compact.

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

  1. Phương trình tiến hóa tổng quát dạng 1 trong luận án được khảo sát trên không gian nào và có dạng toán học ra sao? Phương trình được xét trên đa tạp Einstein không compact có ten-xơ Ricci $R_{ij} = -c g_{ij}$ ($c > 0$), có dạng $\partial_t u(t) + Au(t) = BG(t, u(t))$, trong đó $-A$ là toán tử sinh của $C_0$-nửa nhóm trên $Y$, $B: X \to Y$ là toán tử liên kết giữa hai không gian Banach của các trường vectơ.

  2. Tại sao khi chuyển phương trình Navier-Stokes sang đa tạp Riemann lại cần thêm số hạng $G(u)$ và sử dụng toán tử $\mathbb{A}$? Do trên đa tạp Riemann không compact tổng quát, ten-xơ Ricci $r$ không phải là hằng số nên toán tử $\text{div}(r(u))$ không triệt tiêu khi $\text{div} u = 0$. Khi tác động toán tử chiếu Kodaira-Hodge $P = I + \text{grad}(-\Delta_g)^{-1}\text{div}$, xuất hiện số hạng hiệu chỉnh $G(u) = 2\text{grad}(-\Delta_g)^{-1}\text{div}(r(u))$ để khử thành phần áp suất, dẫn đến toán tử vi phân $\mathbb{A}u = -(\Delta u + r(u) + G(u))$.

  3. Nguyên lý dạng Massera được luận án chứng minh bằng kỹ thuật giải tích nào? Tác giả sử dụng ánh xạ Poincaré $P(x) = u(T)$ để sinh dãy quỹ đạo ${u(kT)}{k \in \mathbb{N}}$, xây dựng dãy trung bình Cesàro $x_n = \frac{1}{n}\sum{k=1}^n u(kT)$ bị chặn trong không gian Banach $Y = Z^$. Nhờ $Z$ tách được, áp dụng Định lý Banach-Alaoglu để trích dãy con hội tụ trong tôpô yếu về điểm bất động $\hat{x}$, từ đó xác định nghiệm tuần hoàn duy nhất.

  4. Định lý Bất đẳng thức nón đóng vai trò gì trong việc xác định dáng điệu tiệm cận của nghiệm? Định lý Bất đẳng thức nón cho phép thiết lập quan hệ so sánh $z \le Az + x$ trong không gian Banach với cấu trúc nón bất biến. Khi toán tử tích phân tuyến tính $A$ có bán kính phổ $r_A < 1$, định lý suy ra $z \le u_0$ (nghiệm của phương trình tuyến tính liên kết), từ đó chứng minh hiệu giữa hai nghiệm phân rã mũ về 0 theo thời gian, khẳng định tính ổn định mũ.

Kết luận

Luận án của nghiên cứu sinh Nguyễn Thị Vân đã giải quyết các bài toán định tính cơ bản về dáng điệu tiệm cận của nghiệm phương trình tiến hóa tổng quát trên đa tạp Einstein và phương trình Navier-Stokes trên đa tạp Riemann không compact với độ cong Ricci âm. Bằng sự kết hợp giữa hình học vi phân, lý thuyết nửa nhóm toán tử, phương pháp Massera và bất đẳng thức nón, công trình đã thiết lập các định lý về sự tồn tại, tính duy nhất và tính ổn định mũ của các lớp nghiệm tuần hoàn, hầu tuần hoàn và hầu tuần hoàn tiệm cận. Các kết quả đạt được tạo tiền đề phát triển lý thuyết phương trình đạo hàm riêng trên các cấu trúc đa tạp hình học không compact.