Tổng quan luận án

Hệ phương trình Navier-Stokes là hệ phương trình đạo hàm riêng phi tuyến dạng Parabolic mô tả chuyển động của dòng chất lỏng nhớt, đồng nhất và không nén được. Về mặt toán học, hệ phương trình này đại diện cho một trong những vấn đề cơ bản của vật lý toán học và là một trong bảy bài toán thiên niên kỷ do Viện Toán học Clay công bố. Kể từ công trình đặt nền móng của J. Leray vào năm 1934, các câu hỏi cốt lõi liên quan đến nghiệm của hệ phương trình Navier-Stokes trong không gian ba chiều—bao gồm sự tồn tại toàn cục của nghiệm trơn, tính duy nhất của nghiệm yếu, tính chính quy và dáng điệu tiệm cận của nghiệm khi thời gian tiến ra vô cùng—vẫn chưa có lời giải hoàn chỉnh.

Trong khi bài toán trong không gian hai chiều ($n = 2$) đã được giải quyết trọn vẹn, trường hợp không gian ba chiều ($n = 3$) vẫn gặp phải rào cản lớn về khả năng bùng nổ nghiệm trong thời gian hữu hạn. Đa số các kết quả kinh điển về tính chính quy của nghiệm yếu chỉ được thiết lập trên các miền bị chặn với biên trơn. Việc mở rộng các nghiên cứu sang miền không bị chặn tổng quát gặp nhiều khó khăn kỹ thuật, đặc biệt là do toán tử Stokes thông thường không bị chặn trên các không gian khả tích bậc cao $L^q$ trên miền không bị chặn. Bên cạnh đó, việc xác định tốc độ suy giảm và dáng điệu tiệm cận của nghiệm khi thời gian dần tới vô cùng có ý nghĩa then chốt trong việc dự đoán trạng thái ổn định lâu dài của dòng chảy.

Luận án tiến sĩ toán học của tác giả Vũ Thị Thùy Dương, chuyên ngành Toán giải tích (mã số 946 01 02), được thực hiện dưới sự hướng dẫn của GS. Nguyễn Minh Trí tại Trường Đại học Sư phạm – Đại học Thái Nguyên (năm 2021), tập trung giải quyết các khoảng trống lý thuyết nêu trên.

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

  1. Nghiên cứu bài toán biên ban đầu cho hệ phương trình Navier-Stokes trong miền tổng quát $\Omega \subset \mathbb{R}^3$:
    • Đánh giá tính chính quy của nghiệm yếu thông qua điều kiện liên tục Hölder của động năng.
    • Khảo sát dáng điệu tiệm cận theo thời gian của nghiệm yếu và so sánh với hệ Stokes thuần nhất.
  2. Nghiên cứu bài toán Cauchy cho hệ phương trình Navier-Stokes trong toàn không gian ba chiều $\mathbb{R}^3$:
    • Khảo sát dáng điệu tiệm cận của nghiệm mạnh và so sánh tốc độ hội tụ với nghiệm của phương trình truyền nhiệt.

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

  • Đối tượng nghiên cứu: Nghiệm yếu và nghiệm mạnh của hệ phương trình Navier-Stokes đối với bài toán biên ban đầu và bài toán Cauchy.
  • Phạm vi không gian: Miền tổng quát $\Omega \subset \mathbb{R}^3$ (tập con mở, liên thông và không bị chặn trong $\mathbb{R}^3$ với biên $\partial\Omega \in C^3$) và toàn không gian ba chiều $\mathbb{R}^3$.
  • Phạm vi thời gian: Khoảng thời gian hữu hạn $[0, T)$ với $0 < T < \infty$ đối với bài toán chính quy địa phương và khoảng thời gian vô hạn $[0, \infty)$ đối với bài toán dáng điệu tiệm cận khi $t \to \infty$.

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

Lịch sử nghiên cứu hệ phương trình Navier-Stokes ghi nhận sự phát triển liên tục qua nhiều giai đoạn với các công trình tiêu biểu được tác giả điểm lại trong văn bản:

  • Về sự tồn tại nghiệm yếu và tính chính quy: J. Leray (1934) chứng minh sự tồn tại toàn cục của nghiệm yếu trong toàn không gian $\mathbb{R}^3$, sau đó E. Hopf (1951) mở rộng cho miền bị chặn. Năm 1982, nhóm tác giả L. Caffarelli, R. Kohn và L. Nirenberg chứng minh rằng số đo Hausdorff một chiều của tập hợp các điểm kỳ dị của nghiệm yếu bằng không.
  • Về điều kiện chính quy hóa Serrin: Điều kiện Serrin địa phương yêu cầu $u \in L^s(0, T; L^q(\Omega))$ với $\frac{2}{s} + \frac{3}{q} \le 1$. Dựa trên nền tảng này, các tác giả H. Sohr, W. von Wahl, R. Farwig và H. Kozono đã nghiên cứu tính chính quy của nghiệm yếu trong các miền bị chặn.
  • Về điều kiện Hölder của động năng: Giai đoạn 2008–2009, H. Kozono và R. Sohr chứng minh nghiệm yếu là chính quy trong khoảng $(a, b)$ nếu động năng liên tục Hölder trái với số mũ $\alpha \in (1/2, 1)$ trên miền bị chặn có biên thuộc lớp $C^{2,1}$. Đến năm 2011, H. Sohr mở rộng kết quả này tới số mũ giới hạn $\alpha = 1/2$. Năm 2012, R. Riechwald tiếp tục phát triển kết quả trên sang miền tổng quát trong không gian ba chiều nhưng đòi hỏi điều kiện biên thuộc lớp $C^3$ và sử dụng các không gian cắt ghép để khắc phục tính không bị chặn của miền. Năm 2014, W. Varnhorn phát triển thêm điều kiện chính quy hóa dựa trên tính chất của nửa nhóm Stokes và điều kiện Serrin địa phương phải $L^8(L^4)$.
  • Về dáng điệu tiệm cận của nghiệm: T. Kato (1984) thiết lập kết quả đầu tiên về tốc độ hội tụ nghiệm trong $L^q(\mathbb{R}^d)$ ($d = 3, 4$) nhờ các ước lượng $L^p - L^q$ cho nửa nhóm Stokes. M. Schonbek (1985, 1995) nghiên cứu tốc độ suy giảm nghiệm trong nửa không gian và không gian thuần nhất $H^m \cap L^1(\mathbb{R}^2)$. Năm 2000, T. Miyakawa mở rộng nghiên cứu dáng điệu tiệm cận của nghiệm yếu trong miền không bị chặn tổng quát.
  • Về bài toán Cauchy và nghiệm mạnh: H. Fujita và T. Kato (1964) chứng minh sự tồn tại toàn cục của nghiệm mạnh với giá trị ban đầu nhỏ trong không gian Sobolev $H^{1/2}$, sau đó được J.-Y. Chemin mở rộng cho $H^s$ ($s > 1/2$). T. Kato (1984) chứng minh trên không gian Lebesgue $L^3(\mathbb{R}^3)$, M. Cannone tổng quát hóa cho $L^q$ ($q > d$), H. Koch và D. Tataru (2001) xét trên không gian $BMO^{-1}$. Cheng He và Ling Hsiao (2002) mở rộng cho đạo hàm cấp cao, O. Sawada (2005) nghiên cứu trên không gian Besov. Giai đoạn 2014–2017, N. M. Trí và Đ. Q. Khải tiếp tục nghiên cứu sự tồn tại toàn cục trong các không gian Sobolev-Lorentz, Sobolev-Fourier-Lorentz và Besov. I. Gallagher (2003, 2004) và J. Benameur (2015) đã chứng minh tính ổn định và sự suy giảm về không của nghiệm mạnh trong các không gian $H^2(\mathbb{R}^3)$, $L^3(\mathbb{R}^3)$ và $\dot{H}^{-1}$.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết: Mặc dù đã có nhiều công trình nghiên cứu, việc phân tích tính chính quy tại số mũ tới hạn $\alpha = 1/2$ trong miền tổng quát không bị chặn vẫn gặp trở ngại do cấu trúc phổ và tính chất của toán tử Stokes bị thay đổi khi miền không có tính compact. Luận án lựa chọn giải quyết bài toán tính chính quy của nghiệm yếu trong miền tổng quát $\Omega \subset \mathbb{R}^3$ với điều kiện động năng liên tục Hölder trái tại số mũ $\alpha = 1/2$ cùng nửa chuẩn đủ nhỏ; đồng thời thiết lập mối quan hệ định lượng giữa tốc độ hội tụ của nghiệm yếu hệ Navier-Stokes với nghiệm của hệ Stokes thuần nhất, và tốc độ hội tụ của nghiệm mạnh bài toán Cauchy với phương trình truyền nhiệt.

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

Luận án sử dụng khung phân tích toán học thuần túy thuộc lĩnh vực giải tích hàm, giải tích điều hòa và lý thuyết phương trình đạo hàm riêng phi tuyến.

Các hệ phương trình và khái niệm cơ bản:

  1. Hệ phương trình Navier-Stokes trong miền tổng quát $\Omega \subset \mathbb{R}^3$: $$\begin{cases} u_t - \Delta u + u \cdot \nabla u + \nabla p = 0 \ \operatorname{div} u = 0 \ u|_{\partial\Omega} = 0, \quad u(0) = u_0 \end{cases}$$ trong đó $u = (u_1, u_2, u_3)$ là vectơ vận tốc, $p$ là áp suất, số hạng $u_t$ là đạo hàm theo thời gian, $u \cdot \nabla u$ biểu thị gia tốc đối lưu, $-\Delta u$ là lực ma sát nội tại và $\nabla p$ là gradient áp suất.
  2. Khái niệm nghiệm yếu (theo nghĩa Leray): Trường vectơ $u \in L^\infty(0, T; L^2_\sigma(\Omega)) \cap L^2_{\text{loc}}(0, T; W^{1,2}{0,\sigma}(\Omega))$ thỏa mãn hệ thức tích phân đối với các hàm thử trơn triệt tiêu phân kỳ $v \in C^\infty_0([0, T); C^\infty{0,\sigma}(\Omega))$: $$-(u, v_t){\Omega_T} + (\nabla u, \nabla v){\Omega_T} - (u \otimes u, \nabla v){\Omega_T} = (u_0, v(0))\Omega$$ và thỏa mãn bất đẳng thức năng lượng mạnh: $$\frac{1}{2}|u(t)|_2^2 + \int_s^t |\nabla u(\tau)|_2^2 d\tau \le \frac{1}{2}|u(s)|_2^2 \quad \text{với hầu hết } s \in [0, T) \text{ và mọi } t \in [s, T)$$
  3. Khái niệm nghiệm mạnh: Nghiệm yếu thỏa mãn điều kiện Serrin địa phương $u \in L^s_{\text{loc}}(0, T; L^q(\Omega))$ với $\frac{2}{s} + \frac{3}{q} \le 1$ ($2 < s < \infty, 3 < q < \infty$).
  4. Nghiệm mềm (mild solution): Biểu diễn nghiệm qua phương trình tích phân tích chập thời gian với nửa nhóm Stokes $S(t) = e^{-tA}$.

Các toán tử cơ bản:

  • Toán tử chiếu Helmholtz-Leray $\mathbb{P}$: Phép chiếu trực giao từ $L^2(\Omega)^3$ lên không gian các trường vectơ không phân kỳ $L^2_\sigma(\Omega)$, với phân tích trực giao $L^2(\Omega)^3 = L^2_\sigma(\Omega) \oplus G(\Omega)$, trong đó $G(\Omega) = {f \in L^2(\Omega)^3 : f = \nabla p, p \in L^2_{\text{loc}}(\Omega)}$. Chuẩn toán tử thỏa mãn $|\mathbb{P}| \le 1$. Trong $\mathbb{R}^3$, $\mathbb{P}$ được xác định qua biến đổi Fourier hoặc hệ các toán tử Riesz $R_j = D_j(-\Delta)^{-1/2}$: $$(\mathbb{P}u)j = \sum{k=1}^3 (\delta_{jk} - R_j R_k) u_k$$
  • Toán tử Stokes $A$: Định nghĩa hình thức $A = -\mathbb{P}\Delta$, là toán tử tự liên hợp dương đóng trên $L^2_\sigma(\Omega)$ với miền xác định $D(A) \subset W^{1,2}{0,\sigma}(\Omega)$. Phổ của $A$ sinh ra họ phép chiếu ${E\lambda, \lambda \ge 0}$. Luận án sử dụng toán tử mũ $A^\alpha = \int_0^\infty \lambda^\alpha dE_\lambda$.
  • Nửa nhóm Stokes $e^{-tA} = \int_0^\infty e^{-t\lambda} dE_\lambda$: Thỏa mãn tính chất nửa nhóm $S(t)S(\tau) = S(t+\tau)$ và các đánh giá suy giảm: $$|A^\alpha e^{-tA} u|_2 \le t^{-\alpha} |u|2, \quad \forall u \in L^2\sigma(\Omega), ; 0 < \alpha < 1$$

Hệ thống không gian hàm sử dụng:

  • Không gian hàm trơn và hàm thử: $C^k(\Omega)$, $C^\infty_0(\Omega)$, $C^\infty_{0,\sigma}(\Omega) = {u \in C^\infty_0(\Omega)^3 : \operatorname{div} u = 0}$.
  • Không gian Lebesgue $L^p(\Omega)$ và không gian Lorentz $L^{p,q}(\Omega)$.
  • Không gian Sobolev $W^{s,p}(\Omega)$, không gian Sobolev cấp phân $H^s(\mathbb{R}^d)$ và Sobolev thuần nhất $\dot{H}^s_p$ xác định qua toán tử Laplace cấp phân $(-\Delta)^{s/2}$.
  • Không gian Besov thuần nhất $\dot{B}^s_{p,q}$ và Triebel-Lizorkin thuần nhất $\dot{F}^s_{p,q}$ xây dựng từ phép phân tích Littlewood-Paley.
  • Không gian cắt ghép $\tilde{L}^q(\Omega)$: Nhằm khắc phục hạn chế của toán tử Stokes trên miền không bị chặn, luận án sử dụng $\tilde{L}^q(\Omega) = L^q(\Omega) \cap L^2(\Omega)$ với chuẩn $|u|_{\tilde{L}^q} = \max{|u|_q, |u|_2}$ khi $q > 2$, và $\tilde{L}^q(\Omega) = L^q(\Omega) + L^2(\Omega)$ với chuẩn tổng hợp khi $1 < q < 2$.
  • Không gian Banach bổ trợ $K_T^s$: Tập hợp các hàm thỏa mãn $t^{\frac{1-s}{2}} u \in BC((0, T); D(A^{s/2}))$ và $\lim_{t \to 0^+} t^{\frac{1-s}{2}} |A^{s/2} u(t)|2 = 0$, trang bị chuẩn $|u|{K_T^s} = \sup_{0 < t < T} t^{\frac{1-s}{2}} |A^{s/2} u(t)|_2$.

Phương pháp nghiên cứu: Phương pháp chủ đạo là phân tích giải tích điều hòa kết hợp lý thuyết nửa nhóm toán tử và phương pháp điểm bất động. Cụ thể, nghiệm được biểu diễn dưới dạng phương trình tích phân Duhamel đối với toán tử song tuyến tính $B(u, v)$: $$B(u, v)(t) = A^{1/2} \int_0^t e^{-(t-\tau)A} A^{-1/2} \mathbb{P}(u \cdot \nabla v)(\tau) d\tau$$ Tác giả áp dụng Bổ đề phương trình bậc hai trừu tượng trong không gian Banach: Nếu $B$ là toán tử song tuyến tính liên tục từ $(E \cap F) \times (E \cap F)$ vào $E \cap F$ thỏa mãn $|B(x, y)|_X \le \gamma |x|_X |y|_X$ với $X \in {E, F}$, thì với mọi $y \in E \cap F$ thỏa mãn $|y|_E < \frac{1}{4\gamma}$, phương trình $x = y - B(x, x)$ tồn tại nghiệm duy nhất trong $E \cap F$ thỏa mãn $|x|_E < \frac{1}{2\gamma}$.

Thành phần lý thuyết Khái niệm / Công cụ toán học cụ thể Vai trò trong luận án
Phương trình tích phân Phương trình Duhamel với nửa nhóm $e^{-tA}$ Chuyển hệ đạo hàm riêng phi tuyến về phương trình toán tử
Không gian hàm cốt lõi $L^2_\sigma(\Omega)$, $\tilde{L}^q(\Omega)$, $K_T^s$, $\dot{H}^s_p$, $\dot{B}^s_{p,q}$ Thiết lập các miền trơn và xử lý miền không bị chặn
Toán tử chính Helmholtz-Leray $\mathbb{P}$, Stokes $A$, lũy thừa $A^\alpha$ Khử áp suất và phân tích cấu trúc phổ của dòng chảy
Kỹ thuật ước lượng Bổ đề phương trình bậc hai, bất đẳng thức O'Neil, Serrin Chứng minh sự tồn tại, tính duy nhất và tính chính quy

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 toàn bộ các cơ sở giải tích và không gian hàm cần thiết phục vụ cho việc chứng minh các định lý ở các chương sau:

  • Trình bày định nghĩa và tính chất của các không gian hàm trơn, không gian hàm khả tích Lebesgue $L^p(\Omega)$, bất đẳng thức Hölder mở rộng: $$|uv|_r \le |u|_p |v|_q \quad \text{với } \frac{1}{r} = \frac{1}{p} + \frac{1}{q}$$ và bất đẳng thức nội suy Lebesgue: $$|u|_r \le |u|_p^\theta |u|_q^{1-\theta} \quad \text{với } \frac{1}{r} = \frac{\theta}{p} + \frac{1-\theta}{q}, ; 0 < \theta < 1$$
  • Giới thiệu lý thuyết hàm suy rộng $\mathcal{D}'(\Omega)$, đạo hàm yếu và không gian Sobolev $W^{s,p}(\Omega)$, không gian Sobolev cấp phân $H^s(\mathbb{R}^d)$, không gian đối ngẫu $W^{-s,p'}(\Omega)$ cùng tính chất compact của phép nhúng Sobolev $W^{1,p}_0(\Omega) \hookrightarrow L^p(\Omega)$ trên miền bị chặn.
  • Thiết lập định nghĩa không gian Besov thuần nhất $\dot{B}^s_{p,q}$ và không gian Triebel-Lizorkin thuần nhất $\dot{F}^s_{p,q}$ thông qua phép phân tích Littlewood-Paley ${\varphi_j, \psi_j}_{j \in \mathbb{Z}}$, cùng các công thức chuẩn tương đương.
  • Trình bày không gian Lorentz $L^{p,q}(\Omega)$ và bất đẳng thức tích chập O'Neil: $$|f * g|{L^{r,s}(\mathbb{R}^d)} \le C |f|{L^{p,p_1}(\mathbb{R}^d)} |g|_{L^{q,q_1}(\mathbb{R}^d)} \quad \text{với } 1 + \frac{1}{r} = \frac{1}{p} + \frac{1}{q}, ; \frac{1}{s} = \frac{1}{p_1} + \frac{1}{q_1}$$
  • Trình bày toán tử Helmholtz-Leray $\mathbb{P}$ với chuẩn thỏa mãn $|\mathbb{P}f|_2 \le |f|_2$ và tính chất phân tích trực giao năng lượng: $|f|_2^2 = |\mathbb{P}f|_2^2 + |(I - \mathbb{P})f|_2^2$.
  • Trình bày toán tử Stokes $A$, miền xác định $D(A)$, tính chất tự liên hợp dương, biểu diễn phổ, định lý nhúng $D(A^\alpha) \hookrightarrow L^q(\Omega)^d$ với $\frac{1}{q} = \frac{1}{2} - \frac{2\alpha}{d}$, và các ước lượng nửa nhóm Stokes $|A^\alpha e^{-tA} u|_2 \le t^{-\alpha} |u|_2$.
  • Định nghĩa chi tiết các lớp nghiệm của hệ Navier-Stokes: nghiệm yếu Leray kèm bất đẳng thức năng lượng, nghiệm mạnh thỏa mãn điều kiện Serrin và nghiệm mềm cho bài toán Cauchy trong $\mathbb{R}^3$.

Chương 2: Tính chính quy và dáng điệu tiệm cận nghiệm của hệ phương trình Navier-Stokes trong miền tổng quát

Chương 2 trình bày các kết quả nghiên cứu đối với bài toán biên ban đầu trong miền tổng quát $\Omega \subset \mathbb{R}^3$ (tập mở, liên thông và không bị chặn):

  • Đặt bài toán biên ban đầu và thiết lập công thức biểu diễn nghiệm qua phương trình tích phân tương đương: $$u(t) = e^{-tA}u_0 - A^{1/2} \int_0^t e^{-(t-\tau)A} A^{-1/2} \mathbb{P}(u \cdot \nabla u)(\tau) d\tau$$
  • Nghiên cứu không gian bổ trợ $K_T^s$ và không gian Banach giao $F = K_T^1 \cap G_T^0 \cap G_T^1$, với các chuẩn chuyên dụng cho phép kiểm soát kỳ dị tại lân cận $t = 0$.
  • Thiết lập và chứng minh Bổ đề phương trình bậc hai trong không gian Banach để bảo đảm sự tồn tại và tính duy nhất nghiệm của phương trình tích phân phi tuyến khi dữ liệu ban đầu hoặc giá trị vế phải có chuẩn đủ nhỏ.
  • Phân tích toán tử song tuyến tính $B(u, v)$: Tác giả chứng minh một chuỗi các bổ đề giải tích (Bổ đề 2.3, Bổ đề 2.4, Bổ đề 2.5), chứng minh tính bị chặn và tính liên tục Lipschitz của $B(u, v)$ trên các không gian $K_T^s$ và $F$: $$|B(u, v)|{K_T^{s_3}} \le C T^{\frac{s_1 + s_2 - s_3 - 1/2}{2}} |u|{K_T^{s_1}} |v|{K_T^{s_2}}$$ và với $p = 4, s = 1/2$: $$|B(u, v)|{L^4(0, T; D(A^{1/4}))} \le C T^{1/4} |u|{K_T^{1/2}} |v|{K_T^{1/2}}$$
  • Định lý về tính chính quy của nghiệm yếu: Giả sử $u$ là nghiệm yếu Leray thỏa mãn bất đẳng thức năng lượng mạnh và $u_0 \in L^2_\sigma(\Omega)$. Tồn tại hằng số $\gamma = \gamma(\Omega, T) > 0$ sao cho nếu tại thời điểm $t \in (0, T)$, động năng của nghiệm thỏa mãn điều kiện liên tục Hölder trái với số mũ $\alpha = 1/2$: $$\sup_{0 < \delta < \rho} \frac{\frac{1}{2}|u(t)|_2^2 - \frac{1}{2}|u(t-\delta)|_2^2}{\delta^{1/2}} < \gamma$$ với $\rho > 0$ đủ nhỏ, thì $t$ là điểm chính quy của nghiệm yếu $u$, nghĩa là tồn tại lân cận $(t-\delta, t+\delta)$ sao cho $u \in L^4(t-\delta, t+\delta; \tilde{L}^4(\Omega))$.
  • Dáng điệu tiệm cận của nghiệm yếu: Thiết lập định lý chứng minh nghiệm yếu $u(t)$ có cùng tốc độ hội tụ tiệm cận theo thời gian với nghiệm của hệ Stokes thuần nhất $e^{-tA}u_0$ khi số mũ hội tụ nhỏ hơn $1/2$. Cụ thể, nếu $|e^{-tA}u_0|_2 = O(t^{-\alpha})$ với $0 < \alpha < 1/2$ thì $|u(t)|_2 = O(t^{-\alpha})$. Hơn nữa, khi bổ sung các điều kiện tích phân thích hợp của $u_0$, nghiệm yếu hội tụ tiệm cận hoàn toàn về nghiệm của hệ Stokes thuần nhất khi $t \to \infty$.

Chương 3: Dáng điệu tiệm cận nghiệm của hệ phương trình Navier-Stokes trong không gian ba chiều

Chương 3 tập trung giải quyết bài toán Cauchy cho hệ phương trình Navier-Stokes trong toàn không gian $\mathbb{R}^3$:

  • Chuyển hệ phương trình về dạng toán tử trừu tượng trong $\mathbb{R}^3$: $$u_t + A u + \mathbb{P}\nabla \cdot (u \otimes u) = 0, \quad u(0) = u_0$$ trong đó nửa nhóm Stokes trùng khớp với nửa nhóm của phương trình truyền nhiệt $e^{t\Delta}$, với nhân tích phân nhiệt xác định bởi công thức Gauss-Weierstrass: $$(e^{t\Delta}u_0)(x) = (4\pi t)^{-3/2} \int_{\mathbb{R}^3} e^{-\frac{|x-y|^2}{4t}} u_0(y) dy$$
  • Phân tích các tính chất định lượng của nghiệm mạnh toàn cục trong các không gian Lebesgue $L^3(\mathbb{R}^3)$ và Sobolev $H^s(\mathbb{R}^3)$, dựa trên các kết quả ổn định nghiệm của I. Gallagher và kỹ thuật phân rã giải tích điều hòa.
  • Dáng điệu tiệm cận của nghiệm mạnh: Thiết lập định lý khẳng định nghiệm mạnh $u(t)$ của hệ phương trình Navier-Stokes có cùng tốc độ hội tụ theo thời gian với nghiệm của phương trình truyền nhiệt xuất phát từ giá trị ban đầu $|u_0|$. Cụ thể, tác giả đánh giá sự suy giảm của thành phần phi tuyến $B(u, u)(t)$ khi $t \to \infty$, chứng minh rằng thành phần phi tuyến suy giảm nhanh hơn thành phần tuyến tính, từ đó xác lập tốc độ tiệm cận của nghiệm mạnh được chi phối bởi toán tử truyền nhiệt tuyến tính.

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

Luận án đóng góp ba kết quả lý thuyết chính vào lĩnh vực nghiên cứu phương trình đạo hàm riêng phi tuyến:

  1. Tiêu chuẩn chính quy hóa cho nghiệm yếu trong miền tổng quát: Chứng minh nghiệm yếu $u$ của hệ phương trình Navier-Stokes trong miền không bị chặn tổng quát $\Omega \subset \mathbb{R}^3$ với biên thuộc lớp $C^3$ là chính quy tại thời điểm $t \in (0, T)$ nếu nghiệm thỏa mãn bất đẳng thức năng lượng mạnh và động năng liên tục Hölder trái tại $t$ với số mũ $\alpha = 1/2$ và nửa chuẩn Hölder đủ nhỏ. Kết quả này đưa số mũ Hölder về giá trị tới hạn $1/2$ trên miền tổng quát không bị chặn, hoàn thiện các kết quả trước đó của H. Sohr (trên miền bị chặn) và R. Riechwald.
  2. Quy luật dáng điệu tiệm cận của nghiệm yếu trong miền tổng quát: Chứng minh nghiệm yếu của hệ phương trình Navier-Stokes trong miền tổng quát có cùng tốc độ hội tụ theo thời gian với nghiệm của hệ Stokes thuần nhất $e^{-tA}u_0$ khi số mũ suy giảm nhỏ hơn $1/2$. Đồng thời, xác định các điều kiện ban đầu để nghiệm yếu tiệm cận và trùng khớp với nghiệm tuyến tính khi thời gian dần tới vô cùng.
  3. Tốc độ suy giảm tiệm cận của nghiệm mạnh bài toán Cauchy trong $\mathbb{R}^3$: Thiết lập kết quả chứng minh nghiệm mạnh của hệ phương trình Navier-Stokes có cùng tốc độ suy giảm theo thời gian với nghiệm của phương trình truyền nhiệt tương ứng với giá trị ban đầu $|u_0|$, làm sáng tỏ cơ chế chi phối của thành phần khuếch tán tuyến tính đối với nghiệm toàn cục ở lân cận vô cùng.

Về mặt kiến nghị khoa học: Luận án kiến nghị tiếp tục nghiên cứu việc nới lỏng hoặc loại bỏ giả thiết độ nhỏ của nửa chuẩn Hölder trong điều kiện chính quy hóa, cũng như mở rộng đánh giá tiệm cận của nghiệm yếu trong miền tổng quát đối với dải số mũ hội tụ lớn hơn hoặc bằng $1/2$.

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

Hạn chế của nghiên cứu:

  • Điều kiện chính quy hóa nghiệm yếu trong miền tổng quát vẫn đòi hỏi đại lượng nửa chuẩn Hölder của động năng phải đủ nhỏ ($\sup \delta^{-1/2} [ \dots ] < \gamma$), chưa áp dụng được cho nửa chuẩn có độ lớn tùy ý.
  • Tốc độ suy giảm tiệm cận của nghiệm yếu trong miền tổng quát mới chỉ được thiết lập chắc chắn đối với số mũ hội tụ $\alpha < 1/2$.
  • Dáng điệu tiệm cận của nghiệm mạnh bài toán Cauchy trong $\mathbb{R}^3$ phụ thuộc vào các điều kiện chuẩn ban đầu đủ nhỏ để bảo đảm sự tồn tại toàn cục và tính duy nhất của nghiệm.

Hướng nghiên cứu tiếp:

  • Khảo sát khả năng dỡ bỏ điều kiện về độ nhỏ của nửa chuẩn Hölder đối với tính chính quy của nghiệm yếu.
  • Mở rộng phạm vi số mũ suy giảm tiệm cận của nghiệm yếu trong miền không bị chặn lên dải $\alpha \ge 1/2$.
  • Nghiên cứu bài toán trên các miền hình học phức tạp hơn như miền có biên không trơn, miền hình nón hoặc miền góc nhọn.

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 chuyên ngành Toán giải tích, Phương trình đạo hàm riêng và Vật lý toán.
  • Các nhà nghiên cứu quan tâm đến cơ học chất lỏng lý thuyết và các bài toán phân tích giải tích liên quan đến hệ Navier-Stokes.

Các nội dung có giá trị tham khảo chuyên môn cao bao gồm:

  • Kỹ thuật xây dựng các không gian hàm cắt ghép $\tilde{L}^q(\Omega)$ và không gian bổ trợ có trọng số thời gian $K_T^s$ để xử lý toán tử Stokes trên miền không bị chặn.
  • Phương pháp giải phương trình toán tử bậc hai trừu tượng trong không gian Banach giao $E \cap F$ áp dụng cho phương trình tích phân phi tuyến.
  • Hệ thống các bổ đề ước lượng nửa nhóm Stokes kết hợp với các bất đẳng thức giải tích điều hòa hiện đại (bất đẳng thức O'Neil trong không gian Lorentz, nội suy Besov và Triebel-Lizorkin).

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

1. Luận án nghiên cứu hệ phương trình Navier-Stokes trên những dạng miền hình học nào?

Luận án khảo sát hai dạng miền: thứ nhất là miền tổng quát $\Omega \subset \mathbb{R}^3$, được hiểu là một tập con mở, liên thông và không bị chặn trong không gian ba chiều với biên $\partial\Omega$ thuộc lớp $C^3$; thứ hai là toàn không gian Euclide ba chiều $\mathbb{R}^3$ đối với bài toán Cauchy.

2. Tiêu chuẩn để một thời điểm trở thành điểm chính quy của nghiệm yếu trong miền tổng quát là gì?

Một thời điểm $t \in (0, T)$ là điểm chính quy của nghiệm yếu $u$ nếu $u$ thỏa mãn bất đẳng thức năng lượng mạnh và tại $t$, động năng của nghiệm liên tục Hölder trái với số mũ $\alpha = 1/2$ thỏa mãn: $$\sup_{0 < \delta < \rho} \frac{\frac{1}{2}|u(t)|_2^2 - \frac{1}{2}|u(t-\delta)|_2^2}{\delta^{1/2}} < \gamma$$ với $\rho > 0$ và hằng số $\gamma = \gamma(\Omega, T) > 0$ đủ nhỏ. Khi đó tồn tại khoảng lân cận thời gian sao cho $u \in L^4(t-\delta, t+\delta; \tilde{L}^4(\Omega))$.

3. Tại sao luận án phải sử dụng không gian $\tilde{L}^q(\Omega)$ thay vì không gian Lebesgue $L^q(\Omega)$ thông thường?

Do trên miền không bị chặn tổng quát, toán tử Stokes $A$ không bị chặn trên không gian $L^q(\Omega)$ với $q > 2$. Tác giả phải sử dụng không gian giao $\tilde{L}^q(\Omega) = L^q(\Omega) \cap L^2(\Omega)$ khi $q > 2$ và không gian tổng $\tilde{L}^q(\Omega) = L^q(\Omega) + L^2(\Omega)$ khi $1 < q < 2$ để bảo đảm tính hợp thức của các đánh giá nửa nhóm và phép nhúng Sobolev đối với toán tử Stokes.

4. Dáng điệu tiệm cận của nghiệm yếu trong miền tổng quát liên hệ như thế nào với hệ Stokes tuyến tính?

Nghiệm yếu $u(t)$ của hệ phương trình Navier-Stokes có cùng tốc độ suy giảm theo thời gian với nghiệm của hệ Stokes thuần nhất $e^{-tA}u_0$ với số mũ hội tụ $\alpha < 1/2$ (nếu $|e^{-tA}u_0|_2 = O(t^{-\alpha})$ thì $|u(t)|_2 = O(t^{-\alpha})$). Khi dữ liệu ban đầu thỏa mãn thêm điều kiện phụ, nghiệm phi tuyến sẽ hội tụ tiệm cận về nghiệm tuyến tính khi $t \to \infty$.

5. Nghiệm mạnh của bài toán Cauchy trong $\mathbb{R}^3$ có tốc độ tiệm cận tương đương với phương trình nào?

Trong toàn không gian $\mathbb{R}^3$, nghiệm mạnh của hệ phương trình Navier-Stokes có cùng tốc độ hội tụ tiệm cận theo thời gian với nghiệm của phương trình truyền nhiệt tuyến tính xuất phát từ dữ kiện ban đầu $|u_0|$, do thành phần phi tuyến của hệ suy giảm nhanh hơn thành phần khuếch tán tuyến tính khi thời gian tiến ra vô cùng.

Kết luận

Luận án của tác giả Vũ Thị Thùy Dương đã giải quyết các bài toán giải tích về tính chính quy và dáng điệu tiệm cận nghiệm của hệ phương trình Navier-Stokes trong miền không bị chặn tổng quát và toàn không gian ba chiều. Tác giả đã thiết lập tiêu chuẩn chính quy hóa cho nghiệm yếu dựa trên tính liên tục Hölder trái của động năng tại số mũ tới hạn $\alpha = 1/2$ với nửa chuẩn đủ nhỏ. Đồng thời, công trình xác định quy luật suy giảm tiệm cận của nghiệm yếu qua phép so sánh với hệ Stokes thuần nhất và quy luật suy giảm của nghiệm mạnh Cauchy qua phương trình truyền nhiệt. Các kết quả này đóng góp những đánh giá định lượng mới cho lý thuyết giải tích phương trình đạo hàm riêng phi tuyến trong cơ học chất lỏng.