Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Lê Thế Sắc với đề tài "Tính hầu tuần hoàn, hầu tự đồng hình và dáng điệu tiệm cận của một số luồng thủy khí trên toàn trục thời gian" thuộc chuyên ngành Toán học (mã số: 9460101), được thực hiện tại Trường Đại học Bách khoa Hà Nội dưới sự hướng dẫn khoa học của PGS. Nguyễn Thiệu Huy.

Nghiên cứu về nghiệm tuần hoàn, hầu tuần hoàn và các dạng mở rộng của chúng đối với phương trình tiến hóa là một chủ đề quan trọng trong lý thuyết định tính của phương trình đạo hàm riêng và hệ động lực vô hạn chiều. Trong trường hợp miền bị chặn, việc chứng minh sự tồn tại của nghiệm tuần hoàn thường dựa trên tính bị chặn của nghiệm kết hợp với tính compact của ánh xạ Poincaré thông qua các phép nhúng Sobolev compact (như các kết quả của Serrin, Massera, Tikhonov, Lyapunov). Tuy nhiên, khi xét phương trình trên các miền không bị chặn hoặc đối với các nghiệm không bị chặn, các phép nhúng compact không còn hiệu lực, dẫn đến việc thiết lập điều kiện ban đầu để thu được tính bị chặn trở nên khó khăn. Hơn nữa, nửa nhóm liên kết sinh bởi toán tử tuyến tính trong miền không bị chặn thường không đạt được tính ổn định mũ mà chỉ thỏa mãn tính ổn định cấp đa thức (polynomial stability).

Để khắc phục rào cản này, hướng tiếp cận kết hợp giữa nguyên lý dạng Massera, lý thuyết nửa nhóm và lý thuyết không gian nội suy thực đã được phát triển trong các nghiên cứu trước đây nhằm xử lý nghiệm tuần hoàn và hầu tuần hoàn. Tuy nhiên, sự tồn tại, tính duy nhất và tính ổn định tiệm cận của các lớp nghiệm tổng quát hơn—bao gồm nghiệm tựa hầu tuần hoàn có trọng, hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov và tựa hầu tự đồng hình có trọng—được xác định trên toàn trục thời gian $\mathbb{R}$ cho các hệ thủy khí trong miền không bị chặn vẫn là các bài toán mở.

Mục tiêu và nhiệm vụ nghiên cứu của luận án được xác định cụ thể như sau:

  1. Thiết lập sự tồn tại, tính duy nhất và tính ổn định cấp đa thức của nghiệm đủ tốt (mild solution) hầu tuần hoàn, hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov, tựa hầu tuần hoàn có trọng, tựa hầu tự đồng hình có trọng và tựa hầu tự đồng hình theo nghĩa Stepanov có trọng cho phương trình tiến hóa parabolic trừu tượng trên các không gian nội suy tổng quát.
  2. Mở rộng và áp dụng các kết quả trừu tượng vào phương trình Navier-Stokes trên nửa không gian $\mathbb{R}^n_+$ trong các không gian Lorentz có trọng Muckenhoupt.
  3. Nghiên cứu sự tồn tại, tính duy nhất và tính ổn định cấp đa thức của các lớp nghiệm trên đối với hệ phương trình Boussinesq trong các miền không bị chặn trên không gian tích Đề-Các của các không gian Lorentz.

Đố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 (hầu tuần hoàn, hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov, tựa hầu tuần hoàn có trọng, tựa hầu tự đồng hình có trọng, tựa hầu tự đồng hình theo nghĩa Stepanov có trọng) của phương trình tiến hóa trừu tượng, phương trình Navier-Stokes và hệ phương trình Boussinesq.
  • Phạm vi nghiên cứu: Xét trên toàn trục thời gian $\mathbb{R}$; phạm vi không gian bao gồm các miền không bị chặn trong $\mathbb{R}^n$ (nửa không gian $\mathbb{R}^n_+$, miền ngoại vi với biên trơn $C^{2+\mu}$, miền có lỗ thủng, toàn không gian $\mathbb{R}^n$); cấu trúc hàm thuộc các không gian nội suy thực, không gian Lorentz, không gian Lorentz có trọng Muckenhoupt $A_q(\mathbb{R}^n)$, không gian Besov và không gian tích Đề-Các.

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

Luận án đã tổng quan hệ thống các công trình nghiên cứu đi trước liên quan đến phương trình tiến hóa và động lực học thủy khí:

  • Phương pháp nghiên cứu nghiệm tuần hoàn trong miền bị chặn: Massera (1950, 1958) thiết lập nguyên lý Massera cho phương trình vi phân thường; Tikhonov (1935) đưa ra nguyên lý điểm bất động; Lyapunov thiết lập phương pháp hàm thế; Serrin (1959) sử dụng tính ổn định của nghiệm bị chặn để chỉ ra sự tồn tại nghiệm tuần hoàn của phương trình Navier-Stokes trong miền bị chặn.
  • Phương pháp nghiên cứu trong miền không bị chặn: Heywood (1980), Prodi (1960), Prouse (1963) và Yudovich (1960) phát triển kỹ thuật "miền xâm lấn" (invading domains) để chứng minh sự tồn tại nghiệm tuần hoàn; Yamazaki (2000) sử dụng tính chất nội suy của không gian $L^p$ yếu để chứng minh sự tồn tại và ổn định của nghiệm tuần hoàn trên miền ngoại vi; các nghiên cứu mở rộng khác của Maremonti (1988, 1991), Kozono & Nakao (1996), Miyakawa & Teramoto (1982).
  • Lý thuyết hàm hầu tuần hoàn và hầu tự đồng hình: H. Bohr (1925) đặt nền móng cho hàm hầu tuần hoàn đều; Bochner (1955, 1962) đưa ra khái niệm hàm hầu tự đồng hình trong nghiên cứu hình học vi phân và nhóm rời rạc; Stepanov, Besicovitch và Weyl mở rộng các khái niệm này trên các không gian tích phân; Casarino (2000) đưa ra khái niệm hàm hầu tự đồng hình theo nghĩa Stepanov; Zhang (1994) đưa ra khái niệm hàm hầu tuần hoàn có trọng; Diagana (2008) giới thiệu hàm tựa hầu tuần hoàn có trọng; Blot, Cieutat & Ezzinbi (2012) giới thiệu hàm tựa hầu tự đồng hình có trọng; Xia & Fan (2012) phát triển lớp hàm tựa hầu tự đồng hình theo nghĩa Stepanov có trọng; các nghiên cứu của N'Guérékata (2005, 2007) và Xiao, Liang & Lu (2013) về nghiệm hầu tự đồng hình có trọng.
  • Nghiệm của phương trình dòng thủy khí trên không gian nội suy: Geissert, Hieber & Nguyễn Thiệu Huy (2013) thiết lập hệ tiên đề cho nửa nhóm liên kết và phương pháp Ergodic kết hợp không gian nội suy; Nguyễn Thiệu Huy & các cộng sự (2014, 2016, 2018) chứng minh nguyên lý dạng Massera, sự tồn tại và tính ổn định cấp đa thức của nghiệm hầu tuần hoàn cho phương trình Navier-Stokes trên miền ngoại vi, miền có lỗ thủng và không gian Besov; Farwig & Taniuchi (2016) nghiên cứu tính duy nhất toàn cục của nghiệm hầu tuần hoàn; Ferreira (2011, 2013) và Roa (2010), Nakao (2012) nghiên cứu nghiệm của hệ Boussinesq trên nửa trục thời gian $\mathbb{R}_+$.

Khoảng trống nghiên cứu được luận án giải quyết là: Các công trình trước đây về hàm hầu tự đồng hình và hàm có trọng đa phần giả thiết nửa nhóm liên kết có tính ổn định mũ (exponential stability). Trong các miền không bị chặn của dòng thủy khí, nửa nhóm sinh bởi toán tử Stokes chỉ thỏa mãn tính ổn định cấp đa thức. Luận án đã lấp đầy khoảng trống này bằng cách xây dựng khung phân tích trên các không gian nội suy, chứng minh nguyên lý dạng Massera cho lớp nửa nhóm suy giảm cấp đa thức, từ đó thiết lập sự tồn tại, duy nhất và tính ổn định tiệm cận của 6 lớp nghiệm trên toàn trục thời gian $\mathbb{R}$.

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

Luận án sử dụng các hệ thống lý thuyết giải tích hàm và giải tích phương trình đạo hàm riêng:

  • Lý thuyết nửa nhóm: Nửa nhóm liên tục mạnh ($C_0$-semigroup) $(T(t)){t \ge 0}$ với toán tử sinh vô cùng bé $A$; nửa nhóm giải tích bị chặn $(T(z)){z \in \Sigma_\delta \cup {0}}$ xác định trên hình quạt $\Sigma_\delta = {\lambda \in \mathbb{C} : |\arg \lambda| < \delta} \setminus {0}$ với $\delta \in (0, \pi/2]$.
  • Lý thuyết không gian nội suy thực: Cặp nội suy $(X_0, X_1)$ thông qua hàm tử $K$-Peetre $K(t, x) = \inf {|x_0|{X_0} + t|x_1|{X_1} : x = x_0 + x_1}$, định nghĩa không gian nội suy thực $(X_0, X_1){\theta, q}$ với chuẩn: $$|x|{(X_0, X_1){\theta, q}} := \left(\int_0^\infty [t^{-\theta} K(t, x)]^q \frac{dt}{t}\right)^{1/q} \quad (1 \le q < \infty), \quad |x|{(X_0, X_1){\theta, \infty}} := \sup{t > 0} t^{-\theta} K(t, x).$$
  • Các không gian hàm chuyên biệt:
    • Không gian Lorentz $L^{p,q}(\Omega)$ và không gian Lorentz solenoidal $L^{r,q}\sigma(\Omega) := (L^{r_0}\sigma(\Omega), L^{r_1}\sigma(\Omega)){\theta, q}$.
    • Không gian Lorentz với trọng Muckenhoupt $L^{q,r}{\omega, \sigma}(\mathbb{R}^n+)$ xây dựng dựa trên lớp trọng $A_q(\mathbb{R}^n)$ thỏa mãn: $$\sup_Q \left(\frac{1}{|Q|} \int_Q \omega dx\right) \left(\frac{1}{|Q|} \int_Q \omega^{-1/(q-1)} dx\right)^{q-1} < \infty.$$
    • Không gian Besov thuần nhất $\dot{B}^s_{p,q}(\mathbb{R}^n)$ định nghĩa thông qua phân hoạch Littlewood-Paley $(\dot{\Delta}j){j \in \mathbb{Z}}$.
    • Các không gian hàm trên toàn trục thời gian $\mathbb{R}$: Không gian hàm hầu tuần hoàn $AP(\mathbb{R}, X)$; hàm hầu tự đồng hình $AA(\mathbb{R}, X)$; hàm hầu tự đồng hình theo nghĩa Stepanov $S^pAA(\mathbb{R}, X)$; không gian hàm triệt tiêu tiệm cận có trọng $PAA_0(\mathbb{R}, \rho) = {\phi \in BC(\mathbb{R}, X) : \lim_{r \to \infty} \frac{1}{m(r, \rho)} \int_{-r}^r |\phi(s)|X \rho(s)ds = 0}$ với $\rho \in U\infty$; không gian hàm tựa hầu tuần hoàn có trọng $WPAP(\mathbb{R}, X)$; hàm tựa hầu tự đồng hình có trọng $WPAA(\mathbb{R}, X)$ và hàm tựa hầu tự đồng hình theo nghĩa Stepanov có trọng $WS^pAA(\mathbb{R}, X)$.

Phương pháp nghiên cứu bao gồm:

  1. Biến đổi phương trình đạo hàm riêng dạng thủy khí về phương trình tiến hóa trừu tượng bằng phép chiếu Helmholtz $P$ và biểu diễn dạng ma trận.
  2. Chứng minh nguyên lý dạng Massera đối với phương trình tuyến tính không thuần nhất: Thiết lập toán tử nghiệm tích phân $S(f)(t) = \int_{-\infty}^t e^{-(t-\tau)A} B f(\tau) d\tau$, sử dụng các đánh giá $L^p - L^q$, bất đẳng thức đối ngẫu giữa không gian nội suy và tiền đối ngẫu cùng định lý hội tụ trội Lebesgue để chứng minh $S$ bảo toàn cấu trúc tuần hoàn, tự đồng hình và tính triệt tiêu tiệm cận có trọng.
  3. 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 bằng nguyên lý ánh xạ co Banach trên các quả cầu đóng trong không gian $BC(\mathbb{R}, Y)$ kết hợp điều kiện Lipschitz địa phương của toán tử phi tuyến.
  4. Thiết lập tính ổn định cấp đa thức: Xây dựng không gian hàm có trọng thời gian $M = {v \in BC(\mathbb{R}+, Y) : \sup{t \in \mathbb{R}_+} t^\gamma |v(t)|_Q < \infty}$ và sử dụng các đánh giá suy giảm tiệm cận của nửa nhóm để chứng minh sai phân giữa hai nghiệm suy giảm theo quy luật đa thức $O(t^{-\gamma})$ khi $t \to \infty$.
Mô hình nghiên cứu Toán tử chính Không gian hàm sử dụng Hướng tiếp cận
Phương trình tiến hóa trừu tượng (1) Toán tử sinh $-A$, toán tử liên kết $B$ Không gian nội suy thực $Y = (Y_1, Y_2)_{\theta, \infty}$ Tiên đề nửa nhóm, đối ngẫu, ánh xạ co
Phương trình Navier-Stokes nửa không gian (2) Toán tử Stokes, phép chiếu Helmholtz $P\text{div}$ Lorentz có trọng Muckenhoupt $L^{q,r}{\omega, \sigma}(\mathbb{R}^n+)$ Đánh giá $L^p - L^q$ có trọng, nguyên lý Massera
Hệ phương trình Boussinesq (4) Hệ ma trận Stokes-Laplace ghép Tích Đề-Các không gian Lorentz $L^{r_1, q_1}_\sigma \times L^{r_2, q_2}$ Phân rã Helmholtz ma trận, đánh giá suy giảm

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, bổ đề và định lý nền tảng làm công cụ cho các chứng minh ở các chương sau:

  • Trình bày định nghĩa và tính chất của $C_0$-nửa nhóm, cận tăng trưởng $\omega(T)$, toán tử sinh vô cùng bé $A$ và nửa nhóm liên hợp $(e^{tA})'_{t \ge 0}$ cùng mối quan hệ hội tụ yếu*.
  • Trình bày cấu trúc của nửa nhóm giải tích bị chặn $(T(z)){z \in \Sigma\delta \cup {0}}$ và đặc trưng tương đương thông qua chặn sup $|t A T(t)| < \infty$.
  • Hệ thống hóa lý thuyết không gian nội suy thực $(X_0, X_1){\theta, q}$, định lý nội suy đối với toán tử dưới tuyến tính, tính chất đối ngẫu $( (X_0, X_1){\theta, 1} )' = (X'_0, X'1){\theta, \infty}$.
  • Trình bày định nghĩa và bất đẳng thức Hölder yếu trên không gian Lorentz $L^{p,q}(\Omega)$, không gian Lorentz solenoidal $L^{r,q}\sigma(\Omega)$ sinh bởi phân rã Helmholtz $L^r(\Omega) = L^r\sigma(\Omega) \oplus {\nabla p : p \in L^r_{\text{loc}}(\bar{\Omega})}$.
  • Giới thiệu không gian Sobolev và Lorentz có trọng Muckenhoupt $L^{q,r}{\omega, \sigma}(\mathbb{R}^n+)$ với trọng $\omega \in A_q(\mathbb{R}^n)$, không gian Besov thuần nhất $\dot{B}^s_{p,q}(\mathbb{R}^n)$ qua phân tích Littlewood-Paley.
  • Trình bày chi tiết cấu trúc đại số và tôpô của các lớp hàm trên $\mathbb{R}$: $AP(\mathbb{R}, X)$, $AA(\mathbb{R}, X)$, $S^pAA(\mathbb{R}, X)$, cùng các lớp hàm mở rộng có trọng $\rho \in U_\infty$: $WPAP(\mathbb{R}, X)$, $WPAA(\mathbb{R}, X)$ và $WS^pAA(\mathbb{R}, X)$. Xây dựng ví dụ tường minh về hàm thuộc $S^pAA(\mathbb{R}, \mathbb{R})$ nhưng không thuộc $AA(\mathbb{R}, \mathbb{R})$ dựa trên dãy hầu tự đồng hình rời rạc.

Chương 2: Sự tồn tại và tính ổn định của một số lớp nghiệm của phương trình tiến hóa trên không gian nội suy

Chương 2 nghiên cứu phương trình tiến hóa nửa tuyến tính trừu tượng: $$u'(t) + Au(t) = BG(u)(t), \quad t \in \mathbb{R},$$ trong đó $-A$ là toán tử sinh của $C_0$-nửa nhóm bị chặn $(e^{-tA})_{t \ge 0}$ trên các không gian Banach $Y_1, Y_2$ có tiền đối ngẫu $Z_1, Z_2$ ($Y_i = Z'i$); $Y = (Y_1, Y_2){\theta, \infty}$ ($0 < \theta < 1$); $B$ là toán tử liên kết từ $X$ vào $Y$.

Các kết quả then chốt được thiết lập gồm:

  • Giả thiết 2.1: Tồn tại các hằng số $0 < \alpha_2 < 1 < \alpha_1$ và $L > 0$ sao cho: $$|e^{-tA} B v|_{Y_1} \le L t^{-\alpha_1} |v|X, \quad |e^{-tA} B v|{Y_2} \le L t^{-\alpha_2} |v|_X \quad (\forall t > 0).$$
  • Bổ đề 2.4 & 2.5: Chứng minh toán tử liên hợp thỏa mãn $\int_0^\infty |B' e^{-tA'} \psi|{X'} dt \le \tilde{L} |\psi|{(Z_1, Z_2)_{\theta, 1}}$, từ đó suy ra phương trình tuyến tính $u'(t) + Au(t) = Bf(t)$ có nghiệm đủ tốt duy nhất thỏa mãn $|u(t)|Y \le \tilde{L} |f|{\infty, X}$.
  • Định lý 2.5 (Nguyên lý Massera cho hàm hầu tuần hoàn và hầu tự đồng hình): Chứng minh toán tử nghiệm $S(f)(t) = \int_{-\infty}^t e^{-(t-\tau)A} B f(\tau) d\tau$ biến:
    • $f \in AP(\mathbb{R}, X) \implies S(f) \in AP(\mathbb{R}, Y)$;
    • $f \in AA(\mathbb{R}, X) \implies S(f) \in AA(\mathbb{R}, Y)$;
    • $f \in S^pAA(\mathbb{R}, X) \implies S(f) \in S^pAA(\mathbb{R}, Y)$.
  • Bổ đề 2.6 & Định lý 2.7: Mở rộng nguyên lý Massera cho các lớp hàm có trọng: Chứng minh nếu $\phi \in PAA_0(\mathbb{R}, \rho)$ thì $S(\phi) \in PAA_0(\mathbb{R}, \rho)$, từ đó chứng minh sự bảo toàn đối với các lớp hàm $WPAP$, $WPAA$ và $WS^pAA$.
  • Định lý 2.9 (Sự tồn tại và duy nhất cho phương trình nửa tuyến tính): Với toán tử phi tuyến $G$ thỏa mãn điều kiện Lipschitz $|G(u) - G(v)|{BC(\mathbb{R}, X)} \le L |u - v|{BC(\mathbb{R}, Y)}$ trên quả cầu $B_M(0, R)$ với $\tilde{L}L < 1$ và $|G(0)|_{L^\infty(\mathbb{R}, X)} \le \frac{R(1 - \tilde{L}L)}{\tilde{L}}$, phương trình có nghiệm đủ tốt duy nhất $\hat{u} \in B_M(0, R)$ thuộc cùng lớp hàm của dữ kiện đầu vào.
  • Định lý 2.11 (Tính ổn định cấp đa thức): Dưới các đánh giá suy giảm của nửa nhóm $|e^{-tA} \psi|_Q \le C t^{-\gamma} |\psi|_Y$ ($0 < \gamma < 1$), nghiệm $\hat{u}$ thỏa mãn tính ổn định cấp đa thức: Mọi nghiệm $u(t)$ có sai số ban đầu $|u(0) - \hat{u}(0)|_Y$ đủ nhỏ đều thỏa mãn: $$|u(t) - \hat{u}(t)|_Q \le D t^{-\gamma}, \quad \forall t > 0.$$
  • Ứng dụng thủy khí (Mục 2.3): Luận án áp dụng thành công lý thuyết trừu tượng vào 4 bài toán cụ thể:
    1. Phương trình Navier-Stokes trên miền ngoại vi trong $\mathbb{R}^3$.
    2. Dòng Navier-Stokes dọc theo vật cản vừa xoay vừa tịnh tiến.
    3. Phương trình Navier-Stokes trong miền có lỗ thủng.
    4. Phương trình Navier-Stokes trong không gian Besov $\dot{B}^{-1+3/p}_{p, \infty}(\mathbb{R}^3)$.

Chương 3: Một số lớp nghiệm của phương trình Navier-Stokes trên không gian Lorentz có trọng Muckenhoupt

Chương 3 tập trung giải quyết phương trình Navier-Stokes trên nửa không gian $\mathbb{R}^n_+$: $$\begin{cases} u_t + (u \cdot \nabla)u - \Delta u + \nabla \pi = \text{div} F & \text{trong } \mathbb{R} \times \mathbb{R}^n_+, \ \nabla \cdot u = 0 & \text{trong } \mathbb{R} \times \mathbb{R}^n_+, \ u(t, x) = 0 & \text{trên } \mathbb{R} \times \partial\mathbb{R}^n_+, \ \lim_{|x| \to \infty} u(t, x) = 0. & \end{cases}$$ Sau khi tác động toán tử chiếu Helmholtz $P$, phương trình được đưa về dạng: $$u'(t) + Au(t) = P\text{div}(-u(t) \otimes u(t) + F(t)), \quad t \in \mathbb{R}.$$

Các nội dung và kết quả chính:

  • Thiết lập các đánh giá $L^p - L^q$ có trọng giữa các không gian Lorentz solenoidal có trọng Muckenhoupt $L^{q,r}{\omega, \sigma}(\mathbb{R}^n+)$ với $\omega \in A_q(\mathbb{R}^n)$.
  • Chứng minh tính bị chặn và tính chất chính quy của nửa nhóm Stokes liên hợp trong các không gian có trọng.
  • Thiết lập nguyên lý dạng Massera trên không gian Lorentz có trọng: Chứng minh toán tử nghiệm bảo toàn tính chất hầu tuần hoàn, hầu tự đồng hình, $S^p$-hầu tự đồng hình và các dạng tựa có trọng tương ứng.
  • Chứng minh sự tồn tại, tính duy nhất của nghiệm đủ tốt trong quả cầu nhỏ của không gian $BC(\mathbb{R}, L^{q,\infty}{\omega, \sigma}(\mathbb{R}^n+))$.
  • Chứng minh tính ổn định cấp đa thức của nghiệm: Khi các trọng Muckenhoupt bằng nhau, kết quả thu được tương thích và tái lập lại tốc độ suy giảm đa thức đã thiết lập ở Chương 2.

Chương 4: Một số lớp nghiệm của phương trình Boussinesq trong miền không bị chặn

Chương 4 khảo sát hệ phương trình Boussinesq mô tả dòng đối lưu nhiệt dưới tác dụng của trường hấp dẫn $g(x) = G \frac{x}{|x|^3}$: $$\begin{cases} u_t + (u \cdot \nabla)u - \Delta u + \nabla p = \theta g + \text{div} F & \text{trong } \mathbb{R} \times \Omega, \ \nabla \cdot u = 0 & \text{trong } \mathbb{R} \times \Omega, \ \theta_t - \Delta \theta + (u \cdot \nabla)\theta = \text{div} f & \text{trong } \mathbb{R} \times \Omega, \ u(t, x) = \theta(t, x) = 0 & \text{trên } \mathbb{R} \times \partial\Omega, \end{cases}$$ xét trên các miền $\Omega \subset \mathbb{R}^n$ không bị chặn: toàn không gian $\mathbb{R}^n$, nửa không gian $\mathbb{R}^n_+$, miền bị chặn ($n \ge 3$) hoặc miền ngoại vi $\Omega \subset \mathbb{R}^n$ ($n \ge 4$) có biên trơn thuộc lớp $C^{2+\mu}$ ($\mu > 0$).

Nội dung nghiên cứu bao gồm:

  • Chuyển hệ Boussinesq về dạng ma trận trừu tượng thông qua phép chiếu Helmholtz $P$: $$\begin{pmatrix} u'(t) \ \theta'(t) \end{pmatrix} + \begin{pmatrix} A & -Pg \ 0 & B \end{pmatrix} \begin{pmatrix} u(t) \ \theta(t) \end{pmatrix} = \begin{pmatrix} P\text{div}(-u \otimes u + F) \ \text{div}(-\theta u + f) \end{pmatrix}.$$
  • Thiết lập các đánh giá $L^p - L^q$ cho nửa nhóm ma trận liên kết trên không gian tích Đề-Các của các không gian Lorentz $L^{r_1, q_1}_\sigma(\Omega) \times L^{r_2, q_2}(\Omega)$.
  • Chứng minh phương trình tuyến tính liên kết có duy nhất nghiệm đủ tốt bị chặn, hầu tuần hoàn, hầu tự đồng hình và các lớp nghiệm tựa có trọng tương ứng.
  • Chứng minh sự tồn tại, tính duy nhất của nghiệm đủ nhỏ của hệ phi tuyến nửa tuyến tính bằng nguyên lý ánh xạ co trên không gian tích.
  • Thiết lập định lý về tính ổn định cấp đa thức của nghiệm đối với các nhiễu loạn dữ kiện ban đầu nhỏ.
  • Luận án chứng minh rằng khi hàm nhiệt độ $\theta = 0$, hệ Boussinesq suy biến hoàn toàn về phương trình Navier-Stokes và tái lập các kết quả tương ứng đã thu được trong Chương 2.

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:

  1. Đóng góp về lý thuyết phương trình tiến hóa trừu tượng: Luận án đã mở rộng thành công lý thuyết định tính trên toàn trục thời gian $\mathbb{R}$ cho lớp phương trình tiến hóa parabolic trừu tượng trong trường hợp nửa nhóm liên kết chỉ thỏa mãn tính ổn định cấp đa thức (không ổn định mũ). Đã chứng minh nguyên lý dạng Massera đối với 6 lớp nghiệm: Hầu tuần hoàn, hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov, tựa hầu tuần hoàn có trọng, tựa hầu tự đồng hình có trọng và tựa hầu tự đồng hình theo nghĩa Stepanov có trọng trên các không gian nội suy thực tổng quát.
  2. Đóng góp về tính ổn định tiệm cận: Thiết lập điều kiện đủ để nghiệm đủ nhỏ của phương trình nửa tuyến tính đạt được tính ổn định cấp đa thức dạng $O(t^{-\gamma})$ ($0 < \gamma < 1$) trên không gian nội suy.
  3. Đóng góp cho phương trình Navier-Stokes trên nửa không gian: Thiết lập hệ thống đánh giá $L^p - L^q$ có trọng trên không gian Lorentz solenoidal với trọng Muckenhoupt $L^{q,r}{\omega, \sigma}(\mathbb{R}^n+)$, chứng minh sự tồn tại, duy nhất và ổn định cấp đa thức của các lớp nghiệm trên toàn trục thời gian.
  4. Đóng góp cho hệ phương trình Boussinesq: Mở rộng nghiên cứu hệ Boussinesq từ nửa trục thời gian $\mathbb{R}_+$ sang toàn trục thời gian $\mathbb{R}$ trong các miền không bị chặn (bao gồm miền ngoại vi $n \ge 4$ và nửa không gian) trên không gian tích Đề-Các của các không gian Lorentz.

Các kết quả nghiên cứu trong luận án được công bố trong 04 bài báo khoa học và 01 bản thảo gửi đăng tại các tạp chí chuyên ngành toán học, đồng thời đã được báo cáo tại seminar "Dáng điệu tiệm cận nghiệm của phương trình vi phân và ứng dụng" tại Trường Đại học Bách khoa Hà Nội (2018–2021) và Trường Đông về phương trình tiến hóa và ứng dụng tại VIASM (12/2019).

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

Hạn chế của luận án:

  • Các kết quả về sự tồn tại, tính duy nhất và tính ổn định tiệm cận của phương trình nửa tuyến tính chỉ đạt được đối với các nghiệm có chuẩn đủ nhỏ (small mild solutions) trên các quả cầu đóng $B_M(0, R)$ do phụ thuộc vào nguyên lý ánh xạ co Banach và tính liên tục Lipschitz địa phương của toán tử phi tuyến.
  • Các đánh giá suy giảm và tính ổn định tiệm cận chỉ áp dụng cho các nhiễu loạn ban đầu có chuẩn đủ nhỏ và phụ thuộc vào cấu trúc hình học biên trơn của miền khảo sát.

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

  1. Tiếp tục nghiên cứu tính hầu tuần hoàn, hầu tự đồng hình và dáng điệu tiệm cận nghiệm của phương trình Navier-Stokes và hệ Boussinesq với dữ kiện biên không thuần nhất hoặc biên có tính trơn thấp hơn.
  2. Mở rộng phương pháp sang các lớp phương trình thủy khí phi tuyến khác như phương trình từ thủy động lực học (MHD - Magnetohydrodynamics), phương trình chất lỏng vi cực (micropolar fluid equations) trong miền không bị chặn.
  3. Nghiên cứu tính duy nhất toàn cục và dáng điệu tiệm cận của nghiệm khi không có giả thiết về độ nhỏ của nghiệm trong một số lớp không gian hàm đặc biệt.

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: Nghiên cứu sinh, học viên cao học, giảng viên và các nhà nghiên cứu thuộc chuyên ngành Toán giải tích, Phương trình đạo hàm riêng, Cơ học chất lỏng lý thuyết và Lý thuyết định tính của hệ động lực.
  • Các nội dung có giá trị tham khảo chuyên sâu:
    • Kỹ thuật xây dựng không gian nội suy thực và đánh giá đối ngẫu để xử lý bài toán nửa nhóm suy giảm cấp đa thức (Chương 2).
    • Kỹ thuật đánh giá $L^p - L^q$ trên không gian Lorentz có trọng Muckenhoupt đối với toán tử Stokes trong nửa không gian (Chương 3).
    • Phương pháp ma trận hóa hệ phương trình ghép và phân tích hàm trên không gian tích Đề-Các cho hệ Boussinesq (Chương 4).

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

Câu hỏi 1: Tại sao các phương pháp truyền thống (như ánh xạ Poincaré và nhúng compact Sobolev) không áp dụng được để tìm nghiệm tuần hoàn/hầu tuần hoàn cho dòng thủy khí trong miền không bị chặn?
Trả lời: Trong miền không bị chặn, các phép nhúng Sobolev không còn compact, khiến ánh xạ Poincaré mất tính compact. Do đó không thể áp dụng các định lý điểm bất động kiểu Schauder hay Tikhonov. Ngoài ra, nửa nhóm Stokes trong miền không bị chặn không ổn định mũ mà chỉ suy giảm cấp đa thức, làm mất đi tính bị chặn của nghiệm trong các không gian $L^p$ thông thường nếu không sử dụng không gian nội suy.

Câu hỏi 2: Toán tử liên kết $B$ trong phương trình tiến hóa trừu tượng $u'(t) + Au(t) = BG(u)(t)$ đóng vai trò gì trong các bài toán thủy khí cụ thể?
Trả lời: Toán tử $B$ là toán tử liên kết giữa các không gian hàm phát sinh trong bài toán. Trong phương trình Navier-Stokes và hệ Boussinesq, $B$ chính là toán tử $P\text{div}$ (phép chiếu Helmholtz tác động lên toán tử phân kỳ). Trong một số ứng dụng khác như phương trình truyền nhiệt với hệ số thô hay phương trình Ornstein-Uhlenbeck, $B$ là toán tử đồng nhất $I$.

Câu hỏi 3: Sự khác biệt bản chất giữa lớp hàm hầu tuần hoàn ($AP$) và hầu tự đồng hình ($AA$) được thể hiện như thế nào trong luận án?
Trả lời: Hàm hầu tuần hoàn $f \in AP(\mathbb{R}, X)$ đòi hỏi dãy dịch chuyển ${f(t + \sigma_n)}$ phải chứa dãy con hội tụ đều trên toàn trục $\mathbb{R}$. Trong khi đó, hàm hầu tự đồng hình $f \in AA(\mathbb{R}, X)$ chỉ đòi hỏi sự tồn tại giới hạn điểm $\lim_{n \to \infty} f(t + \sigma_n) = g(t)$ và $\lim_{n \to \infty} g(t - \sigma_n) = f(t)$ với mỗi $t \in \mathbb{R}$, trong đó hàm giới hạn $g$ chỉ cần đo được chứ không nhất thiết phải liên tục.

Câu hỏi 4: Khi nào các kết quả của hệ Boussinesq ở Chương 4 và phương trình Navier-Stokes ở Chương 3 suy biến về kết quả ở Chương 2?
Trả lời: Đối với Chương 3, khi các trọng Muckenhoupt bằng nhau ($\omega_1 = \omega_2$), không gian Lorentz có trọng suy biến về không gian Lorentz thông thường và tái lập kết quả ổn định cấp đa thức của Chương 2. Đối với Chương 4, khi hàm nhiệt độ $\theta(t, x) = 0$, hệ Boussinesq tách rời và suy biến hoàn toàn về phương trình Navier-Stokes trên miền ngoại vi đã nghiên cứu ở Chương 2.

Kết luận

Luận án của nghiên cứu sinh Lê Thế Sắc đã giải quyết trọn vẹn bài toán về sự tồn tại, tính duy nhất và tính ổn định tiệm cận cấp đa thức của 6 lớp nghiệm (hầu tuần hoàn, hầu tự đồng hình, $S^p$-hầu tự đồng hình và các lớp tựa có trọng tương ứng) trên toàn trục thời gian $\mathbb{R}$ cho phương trình tiến hóa parabolic trừu tượng với nửa nhóm suy giảm cấp đa thức. Bằng việc kết hợp hiệu quả lý thuyết không gian nội suy thực, phân rã Helmholtz và các đánh giá $L^p - L^q$ có trọng, tác giả đã mở rộng thành công các kết quả trừu tượng vào phương trình Navier-Stokes trên nửa không gian với trọng Muckenhoupt và hệ phương trình Boussinesq trên các miền không bị chặn. Công trình là một đóng góp có giá trị khoa học vững chắc vào lý thuyết định tính của phương trình đạo hàm riêng và cơ học thủy khí toán học.