Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Đào Quang Khai với tiêu đề "Some qualitative properties of solutions to Navier-Stokes equations" (Một số tính chất định tính của nghiệm phương trình Navier-Stokes) thuộc chuyên ngành Phương trình vi phân và tích phân (mã ngành: 62 46 01 03), được thực hiện tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam dưới sự hướng dẫn khoa học của GS. Nguyễn Minh Trí.

Vấn đề trung tâm mà luận án tiếp cận bắt nguồn từ câu hỏi mở do J. Leray đặt ra từ năm 1934 về sự tồn tại toàn cục, tính duy nhất và tính chính quy của nghiệm đối với bài toán giá trị ban đầu (bài toán Cauchy) của hệ phương trình Navier-Stokes không nén được. Trong cơ học chất lưu và vật lý toán, các phương trình đạo hàm riêng mô tả sóng, sự dẫn nhiệt và thủy động lực học là nền tảng của thuyết xác định cổ điển. Tuy nhiên, việc liệu một nghiệm xuất phát từ dữ liệu ban đầu trơn có duy trì được tính trơn và tính duy nhất cho mọi thời gian hay không vẫn là một bài toán chưa có lời giải đáp khẳng định hay phủ định hoàn toàn. Khoảng trống nghiên cứu được tác giả lựa chọn là khai thác các công cụ và thành tựu của giải tích điều hòa (đặc biệt là biến đổi Fourier, phân tích Littlewood-Paley và lý thuyết không gian hàm hiện đại) để khảo sát tính đặt chỉnh (well-posedness) theo nghĩa Hadamard của nghiệm mềm (mild solutions) trong các lớp không gian Sobolev mở rộng trên không gian Banach bất biến với phép tịnh tiến, đồng thời ước lượng số chiều Hausdorff của tập hợp các điểm kỳ dị theo thời gian của nghiệm yếu trên hình xuyến ba chiều $\mathbb{T}^3$.

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

  1. Xây dựng và khảo sát các không gian Sobolev thuần nhất và không thuần nhất trên các không gian Banach bất biến với phép dịch chuyển (bao gồm không gian Lebesgue, không gian Fourier-Lorentz, không gian Lorentz và không gian Lorentz chuẩn hỗn hợp); chứng minh các bất đẳng thức giải tích dạng Young, Hölder và Sobolev trên các không gian này; từ đó chứng minh tính đặt chỉnh địa phương cho dữ liệu ban đầu tùy ý và tính đặt chỉnh toàn cục cho dữ liệu ban đầu có chuẩn đủ nhỏ đối với phương trình Navier-Stokes thông qua nguyên lý ánh xạ co Picard.
  2. Ứng dụng phương pháp Foias-Temam để nghiên cứu và chứng minh sự triệt tiêu của độ đo Hausdorff (chiều Hausdorff) của tập hợp các điểm kỳ dị theo thời gian đối với nghiệm yếu của hệ phương trình Navier-Stokes trên hình xuyến 3 chiều $\mathbb{T}^3$.

Đối tượng nghiên cứu là hệ phương trình Navier-Stokes không nén được mô tả chuyển động của chất lưu đồng nhất, nhớt, không chịu tác động của ngoại lực trong không gian $d$ chiều $\mathbb{R}^d$ ($d \ge 2$) hoặc trên hình xuyến $\mathbb{T}^3$, được viết dưới dạng: $$\partial_t u = \Delta u - \nabla \cdot (u \otimes u) - \nabla p, \quad \operatorname{div}(u) = 0, \quad u(0, x) = u_0(x)$$ trong đó $u(t, x) = (u_1, \dots, u_d)$ là vector vận tốc dòng chảy, $p(t, x)$ là áp suất vô hướng, $\nabla$ là toán tử gradient và $\Delta$ là toán tử Laplace. Phạm vi không gian được xét chủ yếu là toàn không gian Euclid $\mathbb{R}^d$ ($d \ge 2, d = 3, 4$) và miền tuần hoàn ba chiều $\mathbb{T}^3$, trong khoảng thời gian $t \in [0, T]$ hoặc $t \in [0, \infty)$.

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

Luận án đã hệ thống hóa lịch sử phát triển của lý thuyết toán học về phương trình Navier-Stokes từ thế kỷ XIX đến nay:

  • Nghiên cứu về nghiệm yếu: Bắt đầu từ công trình của J. Leray (1934), việc tìm kiếm nghiệm chính xác đã chuyển sang việc nghiên cứu nghiệm tổng quát dưới dạng nghiệm yếu. Cùng với đó, vấn đề về tập kỳ dị của nghiệm yếu đã được L. Nirenberg (và nhóm tác giả Caffarelli-Kohn-Nirenberg, 1982) chứng minh rằng độ đo Hausdorff 1 chiều của tập điểm kỳ dị không thời gian bằng 0.
  • Nghiên cứu về nghiệm mềm và không gian hàm:
    • Trong thập niên 1960, Fujita và Kato đã lần đầu tiên xây dựng nghiệm mềm liên tục theo thời gian nhận giá trị trong không gian Sobolev $H^s(\mathbb{R}^d)$ với $s \ge \frac{d}{2} - 1$.
    • Fabes, Jones và Rivière (1977) cùng với Giga (1986) đã thiết lập sự tồn tại của nghiệm mềm với giá trị trong không gian Lebesgue $L^q(\mathbb{R}^d)$ ($q > d$).
    • Kato (1984) đã sử dụng thuần túy công cụ giải tích (chỉ liên quan đến bất đẳng thức Hölder, Young mà không cần dùng ước lượng lũy thừa phân số của toán tử Stokes) để chứng minh định lý tồn tại trong $L^3(\mathbb{R}^3)$. Giga và Miyakawa (1985) đã mở rộng kết quả này sang miền bị chặn $L^3(\Omega)$.
    • Chemin (1992) đưa ra cách tiếp cận hiện đại cho nghiệm mềm trong $H^s(\mathbb{R}^d)$ ($s \ge \frac{d}{2} - 1$).
    • Kato và Ponce (1994) chứng minh tính đặt chỉnh của phương trình Navier-Stokes khi dữ liệu ban đầu thuộc không gian Sobolev thuần nhất $\dot{H}^{d/q-1}_q(\mathbb{R}^d)$ với $d \le q < \infty$.
    • Cannone (1995), Cannone và Meyer (1995) đơn giản hóa cách tiếp cận toán tử song tuyến tính, đồng thời chứng minh sự tồn tại nghiệm mềm trong các không gian Morrey-Campanato $M^q_2(\mathbb{R}^d)$ ($q > d$), không gian Sobolev $H^s_q(\mathbb{R}^d)$ ($q < d, \frac{1}{q} - \frac{s}{d} < \frac{1}{d}$), không gian $L^\infty$ và lớp không gian thích hợp (well-suited spaces $\mathcal{W}$).
    • Gallagher và Planchon nghiên cứu thang không gian Besov $E_T = L^q(\dot{B}^{2/q+d/p-1,q}_p)$ với adapted space $\mathbb{E}_T = \dot{B}^{d/p-1,q}_p$.
    • Lemarié-Rieusset (2002) tổng hợp lý thuyết về các không gian tới hạn như $\dot{H}^{d/2-1}(\mathbb{R}^d) \hookrightarrow L^d(\mathbb{R}^d) \hookrightarrow \dot{B}^{-1+d/q}{q,q}(\mathbb{R}^d) \hookrightarrow \mathrm{BMO}^{-1}(\mathbb{R}^d) \hookrightarrow \dot{B}^{-1,\infty}\infty(\mathbb{R}^d)$.

Khoảng trống học thuật mà luận án lựa chọn giải quyết là:

  • Mở rộng lý thuyết nghiệm mềm từ các không gian Sobolev và Lebesgue kinh điển sang các không gian Sobolev tổng quát xây dựng trên không gian Banach bất biến với phép dịch chuyển (shift-invariant Banach spaces of distributions), cụ thể là các không gian Sobolev thuần nhất trên không gian Fourier-Lorentz $\dot{H}\mathcal{L}^s_{p,r}$, không gian Sobolev-Lorentz $\dot{H}L^s_{q,r}$, và không gian Lorentz chuẩn hỗn hợp (mixed-norm Lorentz spaces) $\dot{H}L^m_{\mathbf{q}, \mathbf{r}}$.
  • Mở rộng dải chỉ số tới hạn của không gian Sobolev $\dot{H}^{d/q-1}_q(\mathbb{R}^d)$ cho toàn bộ dải $1 < q \le d$ (vốn trước đây chỉ xét $d \le q < \infty$ bởi Kato-Ponce hoặc các trường hợp riêng $q = 2, q = d$).
  • Thiết lập tính đặt chỉnh với dữ liệu ban đầu thuộc không gian Sobolev có chỉ số chính quy âm (negative order) $\dot{H}^s_p(\mathbb{R}^d)$ với $\frac{d}{p} - 1 \le s < 0$, làm suy yếu các điều kiện áp đặt lên chuẩn của dữ liệu ban đầu thông qua chuẩn Besov $\dot{B}^{s-d(1/p-1/\tilde{q}),\infty}_{\tilde{q}}$.

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

Luận án sử dụng một khung lý thuyết giải tích hàm và giải tích điều hòa đồng bộ:

Khái niệm và khung phân tích

  • Phép phân tích Littlewood-Paley: Cho hàm thử $\phi \in \mathcal{S}(\mathbb{R}^d)$ có biến đổi Fourier $\hat{\phi}(\xi) = 1$ khi $|\xi| \le 3/4$ và $\hat{\phi}(\xi) = 0$ khi $|\xi| \ge 3/2$. Các toán tử tích chập $S_j$ và khối nhị phân $\Delta_j$ phân rã phân bố $\mathcal{S}'$ thành tổng $\sum_{j \in \mathbb{Z}} \Delta_j f$ trong không gian thương modulo đa thức $\mathcal{S}' / \mathcal{P}$.
  • Hệ thống không gian hàm:
    • Không gian Besov thuần nhất $\dot{B}^{s,p}_q(\mathbb{R}^d)$ và Triebel-Lizorkin thuần nhất $\dot{F}^{s,p}_q(\mathbb{R}^d)$.
    • Không gian Lorentz $L^{p,q}(\mathbb{R}^d)$ và toán tử phân bố sắp xếp giảm $f^*(t)$.
    • Không gian Morrey-Campanato $\dot{M}^{p,q}(\mathbb{R}^d)$.
    • Không gian Sobolev trên không gian Banach bất biến dịch chuyển $E$: $\dot{H}^s_E$ định nghĩa qua chuẩn $|f|_{\dot{H}^s_E} = |\dot{\Lambda}^s f|_E$, trong đó $\dot{\Lambda} = \sqrt{-\Delta}$ là toán tử giả vi phân thuần nhất Calderón.
  • Biểu diễn phương trình tích phân: Khử thành phần áp suất vô hướng bằng cách tác động toán tử chiếu Helmholtz-Leray $P = \mathrm{Id} + \mathcal{R} \otimes \mathcal{R}$ (với $\mathcal{R} = (R_1, \dots, R_d)$ là các biến đổi Riesz $R_j = \partial_j / \sqrt{-\Delta}$), đưa hệ Navier-Stokes về phương trình tích phân: $$u(t) = e^{t\Delta} u_0 - \int_0^t e^{(t-\tau)\Delta} P \nabla \cdot (u \otimes u)(\tau) d\tau = e^{t\Delta} u_0 - B(u, u)(t)$$ trong đó $e^{t\Delta}$ là nửa nhóm nhiệt (heat kernel) có dạng tích chập với nhân Gauss.

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

  • Phương pháp điểm bất động Picard (Picard contraction principle): Luận án tìm nghiệm $u$ thông qua phương trình điểm bất động $x = y - B(x, x)$ trên không gian Banach $X = E_T$ (admissible path space) với $y = e^{t\Delta} u_0$. Nếu toán tử song tuyến tính $B: E_T \times E_T \to E_T$ bị chặn với hằng số $|B(u, v)|{E_T} \le \eta |u|{E_T} |v|{E_T}$ và $|y|{E_T} < \frac{1}{4\eta}$, phương trình có nghiệm duy nhất trong hình cầu bán kính $R = \frac{1 - \sqrt{1 - 4\eta |y|}}{2\eta}$.
  • Kỹ thuật đánh giá đối ngẫu (Duality arguments): Sử dụng các hàm thử $h \in \mathcal{S}(\mathbb{R}^d)$, toán tử đối ngẫu và tính đẳng cấu của $\dot{\Lambda}^s$ trên các không gian Besov để ước lượng dạng song tuyến tính $B(u, v)$ mà không làm mất tính chính quy.
  • Lý thuyết nội suy phức (Complex interpolation spaces): Áp dụng định lý nội suy giữa các không gian Lebesgue và Sobolev để thiết lập các bất đẳng thức tích Hölder suy rộng.
  • Phương pháp Foias-Temam: Đánh giá số chiều Hausdorff thông qua ước lượng độ tiêu tán năng lượng và bán kính kỳ dị theo thời gian của nghiệm yếu trên đa tạp xuyến $\mathbb{T}^3$.

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

Chương 1: Kiến thức chuẩn bị (Preliminaries)

Chương 1 nhắc lại các kết quả nền tảng của giải tích điều hòa thực và thiết lập khung toán học cho phương trình Navier-Stokes:

  • Trình bày chi tiết phép phân tích Littlewood-Paley, bổ đề Bernstein đối với phân bố có phổ tập trung trong hình cầu hoặc vành khăn tần số, từ đó xây dựng các không gian Besov thuần nhất $\dot{B}^{s,p}_q$, Triebel-Lizorkin $\dot{F}^{s,p}_q$, Lorentz $L^{p,q}$ và Morrey-Campanato $\dot{M}^{p,q}$.
  • Thiết lập các phép nhúng liên tục quan trọng:
    • Nếu $1 < q \le 2$ thì $\dot{B}^{s,q}_q \hookrightarrow \dot{H}^s_q \hookrightarrow \dot{B}^{s,2}_q$.
    • Nếu $2 \le q < \infty$ thì $\dot{B}^{s,2}_q \hookrightarrow \dot{H}^s_q \hookrightarrow \dot{B}^{s,q}_q$.
    • Đồng nhất $\dot{H}^s_q = \dot{F}^{s,2}q$ ($1 < q < \infty$), $\mathrm{BMO} = \dot{F}^{0,2}\infty$, và $\mathrm{BMO}^{-1} = \dot{F}^{-1,2}_\infty$.
  • Chứng minh tính tương đương giữa chuẩn Besov $\dot{B}^{s,p}q$ và tích phân nửa nhóm nhiệt $\left(\int_0^\infty (t^{-s/2} |e^{t\Delta} t^{\alpha/2} \dot{\Lambda}^\alpha f|{L^q})^p \frac{dt}{t}\right)^{1/p}$.
  • Thiết lập tính bất biến co giãn (scaling invariance): Nếu $(u, p)$ là nghiệm thì $u_\lambda(t, x) = \lambda u(\lambda^2 t, \lambda x)$ và $p_\lambda(t, x) = \lambda^2 p(\lambda^2 t, \lambda x)$ cũng là nghiệm. Một không gian Banach $X$ là tới hạn nếu $|f(\cdot)|_X \approx |\lambda f(\lambda \cdot - x_0)|_X$.
  • Trình bày cấu trúc toán tử song tuyến tính $B(u, v)$ và lược đồ ánh xạ co Picard với các không gian quỹ đạo chấp nhận được $E_T$ và không gian giá trị ban đầu tương thích $\mathbb{E}_T$.

Chương 2: Nghiệm mềm trong một số không gian Sobolev trên không gian Banach bất biến với phép dịch chuyển (Mild solutions in some Sobolev spaces over a shift-invariant Banach space)

Chương 2 là phần đóng góp cốt lõi của luận án, gồm 6 phân mục chi tiết:

2.1 Không gian Sobolev trên không gian phân bố Banach bất biến dịch chuyển

Định nghĩa không gian Banach bất biến dịch chuyển $E \subset \mathcal{S}'(\mathbb{R}^d)$ thỏa mãn $|f(x - x_0)|_E = |f|_E$, $|f(\lambda x)|E \le C\lambda |f|_E$ và tính trù mật của $\mathcal{D}(\mathbb{R}^d)$. Từ đó, định nghĩa không gian Sobolev không thuần nhất $H^s_E = (\mathrm{Id} - \Delta)^{-s/2} E$ và Sobolev thuần nhất $\dot{H}^s_E = \overline{\mathcal{S}_0}^{|\dot{\Lambda}^s \cdot|_E}$.

2.2 Nghiệm mềm trong các không gian Sobolev tới hạn

Tác giả chứng minh các bất đẳng thức kiểu Hölder suy rộng: Với $0 \le s < d$, $1/p > s/d$, $1/q > s/d$, và $1/p + 1/q < 1 + s/d$, tồn tại hằng số sao cho: $$|uv|{\dot{H}^s_r} \lesssim |u|{\dot{H}^s_p} |v|_{\dot{H}^s_q}, \quad \text{với } \frac{1}{r} = \frac{1}{p} + \frac{1}{q} - \frac{s}{d}$$ Từ đó, luận án thiết lập sự tồn tại và duy nhất nghiệm mềm qua ba thuật toán/định lý riêng biệt:

  1. Với $3 \le d \le 4$ và $2 \le q \le d$: Nghiệm $u \in L^4([0, T]; \dot{H}^{d/q-1}{2dq/(2d-q)}) \cap L^\infty([0, T]; \dot{H}^{d/q-1}q)$ tồn tại duy nhất khi $|e^{\cdot\Delta} u_0|{L^4([0, T]; \dot{H}^{d/q-1}{2dq/(2d-q)})} \le \delta_{q,d}$. Tồn tại nghiệm toàn cục khi $|u_0|{\dot{B}^{d/q-3/2, 4}{2dq/(2d-q)}} \le \sigma_{q,d}$.
  2. Với $d \ge 3$ và $2 < q \le d$: Cho $q < p < \min{\frac{(d-2)q}{d-q}, d+2}$, nghiệm $u \in L^p([0, T]; \dot{H}^{\frac{2+d-p}{p}}_p) \cap L^\infty([0, T]; \dot{H}^{d/q-1}q)$ tồn tại duy nhất trên $[0, T]$, và toàn cục khi $|u_0|{\dot{B}^{d/p-1, p}p} \le \sigma{q,p,d}$.
  3. Với $d \ge 3$ và $1 < q \le 2$: Nghiệm $u \in L^{2q}([0, T]; \dot{H}^{\frac{d+2-2q}{q}}{\frac{dq}{d+1-q}}) \cap L^\infty([0, T]; \dot{B}^{d/q-1, q}q)$ tồn tại duy nhất địa phương và toàn cục khi $|u_0|{\dot{B}^{(d+1)/q-2, 2q}{dq/(d+1-q)}} \le \sigma_{q,d}$.

2.3 Nghiệm mềm trong không gian Sobolev có chỉ số âm (negative order)

Xét dữ liệu ban đầu trong $\dot{H}^s_p(\mathbb{R}^d)$ với $d \ge 2, p > d/2$ và $\frac{d}{p} - 1 \le s < \frac{d}{2p}$. Luận án xây dựng hai không gian phụ trợ:

  • $N^s_{p, T} = {u(t, x): \sup_{0 < t < T} |u(t)|{\dot{H}^s_p} < \infty, \lim{t \to 0} |u(t)|_{\dot{H}^s_p} = 0}$
  • $K^{\tilde{q}}{q, T} = {u(t, x): \sup{0 < t < T} t^{\alpha/2} |u(t)|{L^{\tilde{q}}} < \infty, \lim{t \to 0} t^{\alpha/2} |u(t)|_{L^{\tilde{q}}} = 0}$ với $\alpha = d(1/q - 1/\tilde{q})$, $\frac{1}{q} = \frac{1}{p} - \frac{s}{d}$.

Định lý chính chứng minh rằng với $\tilde{q} > \max{p, q}$, tồn tại nghiệm mềm duy nhất $u \in \bigcap_{r > \max{p, q}} K^r_{q, T} \cap L^\infty([0, T]; \dot{H}^s_p)$ khi $T^{\frac{1}{2}(1 + s - d/p)} |u_0|{\dot{B}^{s - d(1/p - 1/\tilde{q}), \infty}{\tilde{q}}} \le \delta_{q, \tilde{q}, d}$. Khi $p > d$ và $s = 0$, kết quả này làm suy yếu đáng kể giả thiết của Cannone-Meyer (thay chuẩn $L^p$ bằng chuẩn Besov $\dot{B}^{d/\tilde{q}-d/p, \infty}_{\tilde{q}}$).

2.4 Nghiệm mềm trong không gian Sobolev-Fourier-Lorentz

Giới thiệu không gian $\dot{H}\mathcal{L}^s_{p,r}(\mathbb{R}^d)$ gồm các phân bố có $\dot{\Lambda}^s f \in \mathcal{F}(L^{p,r})$. Khảo sát không gian tới hạn $\dot{H}\mathcal{L}^{d/p-1}{p,r}(\mathbb{R}^d)$ với $1 \le p < \infty, 1 \le r < \infty$, chứng minh tính đặt chỉnh địa phương và toàn cục thông qua các không gian quỹ đạo phụ trợ $K^{s,r}{d, 1, T}$.

2.5 Nghiệm mềm trong không gian Sobolev-Lorentz

Khảo sát không gian $\dot{H}L^s_{q,r}(\mathbb{R}^d) := (-\Delta)^{-s/2} L^{q,r}(\mathbb{R}^d)$ với $q > 1, 1 \le r \le \infty, 0 \le s < d/q$. Thiết lập tính liên tục của toán tử song tuyến tính $B(u, v)$ và chứng minh sự tồn tại nghiệm toàn cục trong không gian tới hạn khi $s = d/q - 1$. Kết quả này suy rộng định lý của Cannone đối với $q = r = d, s = 0$.

2.6 Nghiệm mềm trong không gian Sobolev-Lorentz chuẩn hỗn hợp

Với các vector chỉ số $\mathbf{q} = (q_1, \dots, q_d)$ và $\mathbf{r} = (r_1, \dots, r_d)$ ($1 < q_i < \infty, 1 \le r_i \le \infty$), luận án xây dựng không gian $\dot{H}L^m_{\mathbf{q}, \mathbf{r}}$. Chứng minh tính đặt chỉnh trong không gian quỹ đạo $Q_T = L^p([0, T]; \dot{H}L^m_{\mathbf{q}, \mathbf{r}})$ với lớp dữ liệu ban đầu $\mathcal{I}0 = {u_0 \in \mathcal{S}': \operatorname{div}(u_0) = 0, |e^{\cdot\Delta} u_0|{Q_T} < \infty}$. Khi $m = 0, q_1 = \dots = q_d, r_1 = \dots = r_d$, kết quả tái lập định lý kinh điển của Fabes, Jones và Rivière.

+-------------------------------------------------------------------------------------------------------------------------+
|                  BẢNG TỔNG HỢP CÁC KHÔNG GIAN DỮ LIỆU BAN ĐẦU VÀ KHÔNG GIAN QUỸ ĐẠO NGHIỆM TRONG LUẬN ÁN               |
+------------------------------------+-----------------------------+------------------------------------------------------+
| Không gian dữ liệu ban đầu u0      | Dải tham số                 | Không gian quỹ đạo nghiệm ET                         |
+------------------------------------+-----------------------------+------------------------------------------------------+
| H_q^{d/q-1}(R^d), H_q^{d/q-1}(R^d) | 3 <= d <= 4, 2 <= q <= d    | L^4([0,T]; H_{2dq/(2d-q)}^{d/q-1}) \cap L^\infty(H_q)|
| H_q^{d/q-1}(R^d)                   | d >= 3, 2 < q <= d          | L^p([0,T]; H_p^{(2+d-p)/p}) \cap L^\infty(H_q)       |
| H_q^{d/q-1}(R^d)                   | d >= 3, 1 < q <= 2          | L^{2q}([0,T]; H_{dq/(d+1-q)}^{(d+2-2q)/q})           |
| H_p^s(R^d) (chỉ số âm s < 0)       | d >= 2, p > d/2, d/p-1<=s   | K_{q,T}^r \cap L^\infty([0,T]; H_p^s)                |
| H L_{p,r}^{d/p-1}(R^d)             | 1 <= p < \infty, 1 <= r < \infty | K_{d,1,T}^{d/q-1} \cap L^\infty(H L_{p,r}^{d/p-1})   |
| H L_{q,r}^s(R^d)                   | q > 1, 1 <= r <= \infty     | K_{q,1,T}^{s,q~} \cap L^\infty(H L_{q,r}^s)          |
| H L_{q,r}^m (chuẩn hỗn hợp)        | 2 < p < \infty, m >= 0      | L^p([0,T]; H L_{q,r}^m)                              |
+------------------------------------+-----------------------------+------------------------------------------------------+

Chương 3: Số chiều Hausdorff của tập hợp các điểm kỳ dị của nghiệm yếu (Hausdorff dimension of the set of singularities for weak solutions)

Chương 3 tập trung vào nghiên cứu định tính nghiệm yếu của phương trình Navier-Stokes trên hình xuyến 3 chiều $\mathbb{T}^3$:

  • Trình bày thiết lập hàm (functional setting) cho phương trình trên $\mathbb{T}^3$, định nghĩa các không gian năng lượng $H = {u \in L^2(\mathbb{T}^3)^3: \operatorname{div}(u) = 0}$ và $V = {u \in H^1(\mathbb{T}^3)^3: \operatorname{div}(u) = 0}$.
  • Khảo sát lớp nghiệm yếu Leray-Hopf trong $L^\infty(0, T; H) \cap L^2(0, T; V)$ và mở rộng sang các không gian $L^p(0, T; W^{s,q}(\mathbb{T}^3))$.
  • Áp dụng phương pháp Foias-Temam kết hợp kỹ thuật giải tích điều hòa để ước lượng tập kỳ dị theo thời gian $S \subset (0, T)$ (tập các thời điểm mà tại đó nghiệm mất tính trơn). Chứng minh rằng độ đo Hausdorff chiều $d$ của tập điểm kỳ dị theo thời gian triệt tiêu: $\mu_D(S) = 0$ với các số chiều Hausdorff phân số thích hợp, khẳng định tính chính quy hầu khắp nơi theo thời gian của nghiệm yếu.

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

Luận án tự nêu các kết quả và đóng góp khoa học mới bao gồm:

  1. Thiết lập tính đặt chỉnh Hadamard trong toàn bộ dải chỉ số tới hạn của Sobolev: Mở rộng thành công kết quả của Kato-Ponce cho không gian Sobolev thuần nhất $\dot{H}^{d/q-1}_q(\mathbb{R}^d)$ với $d \ge 3$ và $1 < q \le d$. Tác giả đưa ra hai thuật toán mới phân tách thành hai dải $2 < q \le d$ và $1 < q \le 2$, giải quyết trọn vẹn sự tồn tại duy nhất nghiệm mềm địa phương với dữ liệu tùy ý và nghiệm toàn cục với dữ liệu nhỏ.
  2. Phát triển lý thuyết nghiệm mềm trong không gian Sobolev có chỉ số âm: Chứng minh tính đặt chỉnh của hệ Navier-Stokes trong không gian $\dot{H}^s_p(\mathbb{R}^d)$ với $d \ge 2, p > d/2$ và $\frac{d}{p} - 1 \le s < \frac{d}{2p}$. Khi $p > d, s = 0$, kết quả này cải tiến và suy rộng định lý kinh điển của Cannone và Meyer bằng cách thiết lập điều kiện tồn tại nghiệm thông qua chuẩn yếu hơn trên không gian Besov $\dot{B}^{d/\tilde{q}-d/p, \infty}_{\tilde{q}}(\mathbb{R}^d)$ thay vì chuẩn $L^p(\mathbb{R}^d)$.
  3. Mở rộng hệ không gian Sobolev suy rộng (Fourier-Lorentz, Lorentz, Lorentz chuẩn hỗn hợp): Xây dựng các không gian $\dot{H}\mathcal{L}^s_{p,r}$, $\dot{H}L^s_{q,r}$ và $\dot{H}L^m_{\mathbf{q}, \mathbf{r}}$, chứng minh hệ thống các bất đẳng thức dạng Young, Hölder và Sobolev trên các không gian này, từ đó thiết lập các định lý tồn tại duy nhất nghiệm mềm, tổng quát hóa các kết quả trước đó của Fabes-Jones-Rivière và Cannone.
  4. Đánh giá tập kỳ dị theo thời gian của nghiệm yếu: Chứng minh sự triệt tiêu của độ đo Hausdorff đối với tập điểm kỳ dị theo thời gian của nghiệm yếu trên hình xuyến 3 chiều $\mathbb{T}^3$ bằng phương pháp Foias-Temam.

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

Theo phạm vi và nội dung được tác giả trình bày trong văn bản:

  • Hạn chế về cấu trúc biên và miền tính toán: Các kết quả về nghiệm mềm chủ yếu được thiết lập trên toàn không gian $\mathbb{R}^d$ và nghiệm yếu trên hình xuyến tuần hoàn $\mathbb{T}^3$ không có biên vật lý và không xét đến ảnh hưởng của ngoại lực.
  • Tính duy nhất toàn cục đối với dữ liệu lớn: Sự tồn tại toàn cục chỉ đạt được dưới giả thiết chuẩn của dữ liệu ban đầu đủ nhỏ; đối với dữ liệu ban đầu lớn tùy ý, luận án mới chỉ dừng lại ở việc chứng minh sự tồn tại địa phương trong khoảng thời gian hữu hạn $T(u_0)$.
  • Hướng nghiên cứu tiếp: Luận án đề cập đến tiềm năng mở rộng các kỹ thuật giải tích điều hòa và không gian Besov/Sobolev suy rộng này sang hệ phương trình từ thủy động lực học không nén được (magneto-hydrodynamics - MHD) có độ nhớt dương và điện trở từ, cũng như khảo sát các bài toán biên phức tạp hơn.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn cao đối với:

  • Nghiên cứu sinh và nhà nghiên cứu giải tích: Nguồn tài liệu chi tiết về kỹ thuật ước lượng toán tử song tuyến tính, phân tích Littlewood-Paley, lý thuyết đối ngẫu trong không gian Besov, Triebel-Lizorkin và Lorentz.
  • Giảng viên và chuyên gia phương trình đạo hàm riêng: Cung cấp phương pháp luận chuẩn mực trong việc áp dụng nguyên lý ánh xạ co Picard để giải quyết các bài toán Cauchy phi tuyến trong vật lý toán.
  • Các phần đáng tham khảo đặc biệt:
    • Mục 2.2 và 2.3: Hệ thống chứng minh chi tiết các bất đẳng thức kiểu Hölder suy rộng trong không gian Sobolev thuần nhất và kỹ thuật xây dựng không gian phụ trợ $K^r_{q, T}$.
    • Mục 2.6: Khung lý thuyết và kỹ thuật xử lý không gian Lorentz với chuẩn hỗn hợp (mixed-norm).

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

1. Không gian tới hạn (critical space) cho phương trình Navier-Stokes được định nghĩa như thế nào trong luận án?

Một không gian Banach bất biến tịnh tiến $X \subset \mathcal{S}'(\mathbb{R}^d)$ được gọi là không gian tới hạn đối với phương trình Navier-Stokes nếu chuẩn của nó bất biến dưới phép co giãn đồng dạng $f(x) \to \lambda f(\lambda x)$ với mọi $\lambda > 0$, tức là $|f(\cdot)|_X \approx |\lambda f(\lambda \cdot - x_0)|_X$. Ví dụ, không gian Lebesgue $L^d(\mathbb{R}^d)$ và Sobolev $\dot{H}^{d/2-1}(\mathbb{R}^d)$ là các không gian tới hạn.

2. Sự khác biệt giữa kết quả của luận án và định lý của Cannone - Meyer (1995) trong không gian $L^p$ ($p > d$) là gì?

Định lý của Cannone và Meyer đòi hỏi điều kiện dữ liệu ban đầu $u_0$ thỏa mãn chuẩn trong không gian $L^p(\mathbb{R}^d)$ đủ nhỏ. Luận án đã làm suy yếu điều kiện này bằng cách chỉ yêu cầu chuẩn của $u_0$ trong không gian Besov $\dot{B}^{d/\tilde{q}-d/p, \infty}{\tilde{q}}(\mathbb{R}^d)$ đủ nhỏ (với $\tilde{q} > p$). Do có phép nhúng $L^p(\mathbb{R}^d) \hookrightarrow \dot{B}^{d/\tilde{q}-d/p, \infty}{\tilde{q}}(\mathbb{R}^d)$ và tồn tại những hàm có chuẩn $L^p$ lớn vô cùng nhưng chuẩn Besov vẫn nhỏ, kết quả của luận án tổng quát hơn.

3. Phương pháp ánh xạ co Picard được áp dụng vào phương trình tích phân Navier-Stokes như thế nào?

Phương trình tích phân $u = e^{t\Delta} u_0 - B(u, u)$ được đưa về dạng điểm bất động $x = y - B(x, x)$ trên không gian Banach đường dẫn $E_T$. Nếu toán tử song tuyến tính $B$ thỏa mãn $|B(u, v)|{E_T} \le \eta |u|{E_T} |v|{E_T}$ và dữ liệu tuyến tính $|e^{t\Delta} u_0|{E_T} < \frac{1}{4\eta}$, nguyên lý Picard đảm bảo tồn tại duy nhất một nghiệm $u \in E_T$.

4. Luận án xử lý dải chỉ số tới hạn nào cho không gian Sobolev thuần nhất $\dot{H}^{d/q-1}_q(\mathbb{R}^d)$?

Luận án xử lý toàn bộ dải $1 < q \le d$ với $d \ge 3$ bằng hai thuật toán: thuật toán thứ nhất áp dụng cho $2 < q \le d$ (chứng minh nghiệm trong $L^p([0, T]; \dot{H}^{\frac{2+d-p}{p}}p)$) và thuật toán thứ hai áp dụng cho $1 < q \le 2$ (chứng minh nghiệm trong $L^{2q}([0, T]; \dot{H}^{\frac{d+2-2q}{q}}{\frac{dq}{d+1-q}})$).

5. Kết quả chính đạt được tại Chương 3 đối với nghiệm yếu trên hình xuyến $\mathbb{T}^3$ là gì?

Sử dụng phương pháp của Foias và Temam, Chương 3 chứng minh rằng tập hợp các điểm kỳ dị theo thời gian của nghiệm yếu đối với hệ phương trình Navier-Stokes trên hình xuyến 3 chiều $\mathbb{T}^3$ có độ đo Hausdorff bằng 0, chỉ ra rằng nghiệm yếu duy trì tính chính quy đối với hầu hết mọi thời điểm $t \in (0, T)$.

Kết luận

Luận án tiến sĩ của Đào Quang Khai đã giải quyết có hệ thống bài toán Cauchy cho hệ phương trình Navier-Stokes không nén được thông qua việc kết hợp các công cụ giải tích điều hòa hiện đại và nguyên lý ánh xạ co Picard. Tác giả đã thiết lập các định lý về tính đặt chỉnh Hadamard trong nhiều lớp không gian Sobolev suy rộng mới (Sobolev tới hạn, Sobolev chỉ số âm, Fourier-Lorentz, Lorentz và Lorentz chuẩn hỗn hợp), đồng thời suy rộng nhiều kết quả kinh điển của Kato-Ponce, Cannone và Meyer. Bên cạnh đó, luận án đã làm sáng tỏ tính chất định tính của nghiệm yếu thông qua việc chứng minh sự triệt tiêu của độ đo Hausdorff của tập kỳ dị theo thời gian trên hình xuyến ba chiều $\mathbb{T}^3$.