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 tiêu đề "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" (chuyên ngành Toán học, mã số 9460101, thực hiện tại Trường Đại học Bách khoa Hà Nội năm 2022 dưới sự hướng dẫn của PGS. Nguyễn Thiệu Huy) tập trung nghiên cứu lý thuyết định tính nghiệm của các phương trình đạo hàm riêng tiến hóa phi tuyến phát sinh từ cơ học chất lưu.

1. Tính cấp thiết và khoảng trống nghiên cứu

Nghiên cứu nghiệm tuần hoàn, hầu tuần hoàn và các dạng mở rộng (hầu tự đồng hình, tựa hầu tuần hoàn có trọng, tựa hầu tự đồng hình có trọng) của phương trình tiến hóa theo thời gian là một chủ đề quan trọng trong lý thuyết phương trình vi phân và hệ động lực. Đối với phương trình vi phân trong miền bị chặn, các phương pháp truyền thống như nguyên lý Massera, nguyên lý điểm bất động Tikhonov, hàm Lyapunov hoặc tính compact của ánh xạ Poincaré dựa trên phép nhúng compact Sobolev thường được áp dụng hiệu quả.

Tuy nhiên, khi xét phương trình trên các miền không bị chặn (như toàn không gian $\mathbb{R}^n$, nửa không gian $\mathbb{R}^n_+$, miền ngoại vi hay miền có lỗ thủng), các phép nhúng compact không còn hiệu lực. Hơn nữa, nửa nhóm liên kết sinh bởi toán tử tuyến tính không thỏa mãn tính ổn định mũ (exponential stability) mà chỉ đạt tính ổn định cấp đa thức (polynomial stability). Trong bối cảnh đó, các công trình trước đây chủ yếu dừng lại ở nghiệm tuần hoàn hoặc hầu tuần hoàn trên nửa trục thời gian $\mathbb{R}_+$, trong khi sự tồn tại, tính duy nhất và tính ổn định của các lớp nghiệm tổng quát hơn (hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov, các lớp nghiệm tựa hầu tuần hoàn/tựa hầu tự đồng hình có trọng) xác định trên toàn trục thời gian $\mathbb{R}$ vẫn là vấn đề mở cần giải quyết.

2. Mục tiêu nghiên cứu

Luận án giải quyết ba nhiệm vụ cụ thể được đánh số theo bài toán trung tâm:

  1. Chứng minh sự tồn tại và duy nhất của nghiệm hầu tuần hoàn, hầu tự đồng hình, hầu tự đồng hình theo nghĩa Stepanov và một số lớp nghiệm có trọng đối với phương trình tiến hóa tuyến tính và nửa tuyến tính trên toàn trục thời gian $\mathbb{R}$ trong các không gian nội suy.
  2. Thiết lập tính ổn định cấp đa thức của các lớp nghiệm này.
  3. Áp dụng các kết quả lý thuyết trừu tượng vào các mô hình luồng thủy khí cụ thể: phương trình Navier-Stokes trên miền ngoại vi, miền có lỗ thủng, dòng Navier-Stokes dọc theo vật cản vừa xoay vừa tịnh tiến, phương trình Navier-Stokes trong không gian Besov, 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 trong miền không bị chặn.

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

  • Đối tượng nghiên cứu: Các lớp nghiệm bị chặn và trơn trên toàn trục thời gian $\mathbb{R}$ bao gồm: nghiệm hầu tuần hoàn ($AP$), hầu tự đồng hình ($AA$), hầu tự đồng hình theo nghĩa Stepanov ($S^p AA$), tựa hầu tuần hoàn có trọng ($WPAP$), tựa hầu tự đồng hình có trọng ($WPAA$) và tựa hầu tự đồng hình theo nghĩa Stepanov có trọng ($WS^p AA$) của phương trình tiến hóa parabolic trừu tượng, phương trình Navier-Stokes và hệ Boussinesq.
  • Phạm vi không gian: Các miền không gian không bị chặn trong $\mathbb{R}^n$, bao gồm toàn không gian $\mathbb{R}^n$, nửa không gian $\mathbb{R}^n_+$, miền ngoại vi $\Omega \subset \mathbb{R}^n$ ($n \ge 3$ hoặc $n \ge 4$) với biên trơn $\partial\Omega \in C^{2+\mu}$ ($\mu > 0$), và miền có lỗ thủng.
  • Phạm vi thời gian: Toàn trục thời gian $\mathbb{R}$ đối với sự tồn tại của các lớp nghiệm tuần hoàn/hầu tuần hoàn/hầu tự đồng hình, và nửa trục thời gian dương $\mathbb{R}_+$ đối với bài toán khảo sát dáng điệu tiệm cận và tính ổn định nghiệm.

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

Luận án hệ thống hóa các hướng nghiên cứu liên quan đến bài toán nghiệm tuần hoàn, hầu tuần hoàn và dáng điệu tiệm cận của phương trình tiến hóa:

1. Các hướng nghiên cứu tiền đề

  • Nghiệm tuần hoàn: Nguyên lý Massera (Massera [1, 2]), nguyên lý điểm bất động Tikhonov [3] và phương pháp hàm Lyapunov [4] được phát triển cho các hệ phương trình hữu hạn chiều hoặc miền bị chặn. Serrin [9] sử dụng tính ổn định của nghiệm bị chặn để thiết lập nghiệm tuần hoàn của phương trình Navier-Stokes trong miền bị chặn. Heywood [14], Prodi [15], Prouse [16] và Yudovich [17] phát triển kỹ thuật "miền xâm lấn" để xử lý miền không bị chặn. Yamazaki [18] 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à tính ổn định của nghiệm tuần hoàn trên miền ngoại vi. Các mở rộng tiếp theo trên $\mathbb{R}^n$, miền không bị chặn và toàn trục thời gian $\mathbb{R}$ được thực hiện trong [10, 11, 12, 13, 19, 20, 21, 22].
  • Nghiệm hầu tuần hoàn: Lý thuyết hàm hầu tuần hoàn cổ điển do H. Bohr khởi xướng, sau đó được mở rộng bởi Bochner, Stepanov, Besicovitch và Weyl [24, 25, 26]. Gần đây, Nguyễn Thiệu Huy và các cộng sự [7, 8, 27, 28, 30] đã kết hợp nguyên lý dạng Massera với lý thuyết không gian nội suy để chứng minh sự tồn tại, duy nhất và tính ổn định nghiệm hầu tuần hoàn của phương trình Navier-Stokes trên miền ngoại vi, không gian Besov và phương trình Navier-Stokes-Oseen. Farwig & Taniuchi [29] đã chứng minh tính duy nhất toàn cục của nghiệm hầu tuần hoàn cho phương trình Navier-Stokes.
  • Hàm có trọng và hàm hầu tự đồng hình: Khái niệm hàm hầu tuần hoàn có trọng được giới thiệu bởi Zhang [31] (năm 1994); Diagana [32] (năm 2008) đưa ra khái niệm hàm tựa hầu tuần hoàn có trọng, mở ra hướng nghiên cứu trong [33, 34, 35, 36, 37]. Khái niệm hàm hầu tự đồng hình được Bochner đưa ra [38, 39], sau đó được N'Guérékata [44] và Xiao [45] tổng quát hóa sang hàm hầu tự đồng hình có trọng. Blot và các cộng sự [46] nghiên cứu hàm tựa hầu tự đồng hình có trọng. Khái niệm hàm hầu tự đồng hình theo nghĩa Stepanov được Casarino [47] đề xuất, và hàm tựa hầu tự đồng hình theo nghĩa Stepanov có trọng được phát triển bởi Xia & Fan [48]. Các công trình [49, 50, 51, 52, 53, 54, 55] đã nghiên cứu các lớp nghiệm này cho trường hợp nửa nhóm liên kết ổn định mũ.
  • Đánh giá $L^p - L^q$ có trọng và hệ phương trình Boussinesq: Đánh giá $L^p - L^q$ cho dòng Stokes trên nửa không gian với dữ kiện trong không gian $L^p$ có trọng được nghiên cứu bởi Bae [58], Kobayashi & Kubo [59, 60] với trọng dạng Muckenhoupt $\langle x \rangle^{sp}$ và $\langle x' \rangle^{s_1}\langle x_n \rangle^{s_n}$. Đối với hệ Boussinesq, nghiệm yếu và nghiệm chính quy trên $\mathbb{R}_+$ được nghiên cứu bởi Fife [61], Cannon [62], Hishida [63], Ferreira [64, 65, 66], nghiệm tuần hoàn được xét bởi Roa [67] và Nakao [68].

2. Khoảng trống luận án giải quyết

Trong khi các kết quả về nghiệm hầu tự đồng hình và nghiệm có trọng trước đó hầu hết yêu cầu nửa nhóm liên kết phải ổn định mũ (vốn chỉ thỏa mãn trên các miền bị chặn), luận án của Lê Thế Sắc đã lấp đầy khoảng trống khi thiết lập bài toán trong trường hợp nửa nhóm liên kết chỉ ổn định cấp đa thức. Luận án mở rộng việc phân tích các lớp nghiệm đủ tốt trên toàn trục thời gian $\mathbb{R}$ cho phương trình tiến hóa tổng quát, 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 miền không bị chặn.

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

1. Cơ sở lý thuyết và khung phân tích

  • Lý thuyết nửa nhóm toán tử: Nửa nhóm liên tục mạnh ($C_0$-nửa nhóm) $(T(t))_{t \ge 0}$ và nửa nhóm giải tích bị chặn trên không gian Banach theo giáo trình của Engel & Nagel [69].
  • Lý thuyết không gian nội suy thực: Cặp nội suy Banach $(X_0, X_1)$, hàm tử Peetre $K(t, x) = \inf { |x_0|{X_0} + t|x_1|{X_1} : x = x_0 + x_1 }$, không gian nội suy thực $(X_0, X_1){\theta, q}$ ($0 < \theta < 1, 1 \le q \le \infty$), cùng các định lý đối ngẫu nội suy thực: $$(Z_1, Z_2){\theta, 1}' = (Y_1, Y_2)_{\theta, \infty} = Y$$ với $Y_i = Z_i'$ là các không gian đối ngẫu.
  • Các không gian hàm chuyên biệt:
    • Không gian Lorentz $L^{p,q}(\Omega)$ và không gian Besov $B^s_{p,q}(\Omega)$.
    • Không gian Lorentz với trọng Muckenhoupt $L^{p,q}(\mathbb{R}^n_+, w)$.
    • Không gian Banach các hàm bị chặn, liên tục đều $BC(\mathbb{R}, X)$.
    • Các không gian hàm hầu tuần hoàn $AP(\mathbb{R}, X)$, hầu tự đồng hình $AA(\mathbb{R}, X)$, hầu tự đồng hình theo nghĩa Stepanov $S^p AA(\mathbb{R}, X)$, và các không gian hàm có trọng $WPAP(\mathbb{R}, Y)$, $WPAA(\mathbb{R}, Y)$ tương ứng với lớp trọng $\rho \in U_\infty$.

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

  • Phương pháp chiếu Helmholtz và toán tử ma trận: Sử dụng toán tử chiếu Helmholtz $P$ để khử áp suất trong phương trình Navier-Stokes và đưa hệ phương trình Boussinesq ghép (vận tốc - nhiệt độ) về dạng phương trình tiến hóa ma trận trừu tượng trên các không gian tích Descartes.
  • Chứng minh nguyên lý dạng Massera: Thiết lập tính bị chặn và tính chất bảo toàn tính hầu tuần hoàn/hầu tự đồng hình của toán tử nghiệm tích phân: $$S(f)(t) = \int_{-\infty}^t e^{-(t-\tau)A} B f(\tau) d\tau$$ thông qua các đánh giá $L^p - L^q$, bất đẳng thức đối ngẫu và định lý hội tụ bị chặn Lebesgue.
  • Kỹ thuật không gian nội suy: Sử dụng hàm tử nội suy thực để khắc phục sự suy giảm của tính compact và sự suy biến của nửa nhóm khi toán tử chỉ có tính ổn định đa thức $t^{-\alpha}$.
  • Nguyên lý ánh xạ co Banach: Áp dụng nguyên lý điểm bất động Banach trên các quả cầu đóng của không gian hàm bị chặn với giả thiết toán tử phi tuyến thỏa mãn điều kiện Lipschitz địa phương, từ đó suy ra sự tồn tại, tính duy nhất và tính ổn định cấp đa thức của nghiệm đủ nhỏ.

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 định nghĩa, mệnh đề và bổ đề nền tảng làm công cụ cho toàn bộ luận án:

  • Nửa nhóm liên tục mạnh và giải tích: Trình bày định nghĩa $C_0$-nửa nhóm, cận tăng trưởng $\omega(T)$, toán tử sinh vô cùng bé $A$, nửa nhóm giải tích trong hình quạt $\Sigma_\delta = { \lambda \in \mathbb{C} : |\arg\lambda| < \delta } \setminus {0}$, và đặc trưng của nửa nhóm giải tích bị chặn qua điều kiện $\sup_{t>0} |t A T(t)| < \infty$.
  • Lý thuyết nội suy và không gian hàm: Trình bày không gian nội suy thực $(X_0, X_1){\theta, q}$, không gian Lorentz $L^{p,q}$, không gian Lorentz có trọng Muckenhoupt $A_r$, và không gian Besov $B^s{p,q}$.
  • Các lớp hàm suy rộng: Định nghĩa hàm hầu tuần hoàn $AP(\mathbb{R}, X)$, hàm hầu tự đồng hình $AA(\mathbb{R}, X)$ (theo nghĩa Bochner: mọi dãy $(\sigma_n')$ đều trích được dãy con $(\sigma_n)$ sao cho $\lim_{n\to\infty} f(t+\sigma_n) = g(t)$ và $\lim_{n\to\infty} g(t-\sigma_n) = f(t)$ điểm-từng-điểm), hàm hầu tự đồng hình Stepanov $S^p AA(\mathbb{R}, X)$, và các lớp hàm tựa hầu tuần hoàn/tựa hầu tự đồng hình có trọng với lớp trọng $U_\infty = { \rho \in U : \lim_{r\to\infty} \int_{-r}^r \rho(x)dx = \infty }$.

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 này 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$ sinh nửa nhóm $C_0$ bị chặn $(e^{-tA}){t \ge 0}$, $B$ là toán tử liên kết giữa không gian $X$ và không gian nội suy $Y = (Y_1, Y_2){\theta, \infty}$.

  • Hệ tiên đề (Giả thiết 2.1): Các không gian $Y_i$ có tiền đối ngẫu $Z_i$ ($Y_i = Z_i'$), $Z_1 \cap Z_2$ trù mật trong $Z_i$, và tồn tại $\alpha_1, \alpha_2$ thỏa mãn $0 < \alpha_2 < 1 < \alpha_1$ 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ổ đề cơ bản (Bổ đề 2.4): Với $\psi \in (Z_1, Z_2){\theta, 1}$, tồn tại $L > 0$ sao cho: $$\int_0^\infty |B' e^{-tA'} \psi|{X'} dt \le L |\psi|{(Z_1, Z_2){\theta, 1}}$$ Từ đó chứng minh nghiệm đủ tốt $u(t) = \int_{-\infty}^t e^{-(t-\tau)A} B f(\tau) d\tau$ bị chặn: $|u(t)|Y \le \tilde{L} |f|{\infty, X}$.
  • Định lý 2.5 & 2.7 (Nguyên lý dạng Massera): Toán tử nghiệm $S$ bảo toàn tính chất hàm:
    • Nếu $f \in AP(\mathbb{R}, X)$ thì $S(f) \in AP(\mathbb{R}, Y)$.
    • Nếu $f \in AA(\mathbb{R}, X)$ thì $S(f) \in AA(\mathbb{R}, Y)$.
    • Nếu $f \in S^p AA(\mathbb{R}, X)$ thì $S(f) \in S^p AA(\mathbb{R}, Y)$.
    • Nếu $f = g + \phi$ với $g \in AP$ (hoặc $AA, S^p AA$) và $\phi \in PAA_0(\mathbb{R}, \rho)$ thì $S(f)$ thuộc lớp nghiệm có trọng tương ứng ($WPAP, WPAA, WS^p AA$).
  • Định lý 2.9 (Nghiệm phương trình nửa tuyến tính): Khi toán tử $G$ thỏa mãn tính chất Lipschitz địa phương trên quả cầu $B_M(0, R)$ với hằng số $\tilde{L}L < 1$, tồn tại duy nhất nghiệm đủ tốt $\hat{u} \in B_M(0, R)$.
  • Định lý 2.11 (Tính ổn định cấp đa thức): Với các giả thiết bổ sung về đánh giá $|e^{-tA} \psi|_Q \le C t^{-\gamma} |\psi|_Y$ ($0 < \gamma < 1$), nghiệm $\hat{u}$ ổn định cấp đa thức: $$|u(t) - \hat{u}(t)|_Q \le D t^{-\gamma}, \quad \forall t > 0$$
  • Ứng dụng cho luồng thủy khí: Áp dụng thành công cho phương trình Navier-Stokes trên miền ngoại vi, dòng Navier-Stokes dọc theo vật cản vừa xoay vừa tịnh tiến, phương trình Navier-Stokes trong miền có lỗ thủng, và phương trình Navier-Stokes trong không gian Besov.

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 mở rộng nghiên cứu cho 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 & \text{với } t \in \mathbb{R} \end{cases}$$ Sau khi tác động phép chiếu Helmholtz $P$, phương trình đưa về: $$u'(t) + Au(t) = P\text{div}(-u(t) \otimes u(t) + F(t)), \quad t \in \mathbb{R}$$

  • Đánh giá $L^p - L^q$ có trọng Muckenhoupt: Thiết lập các đánh giá cho nửa nhóm Stokes giữa các không gian Lorentz có trọng $L^{p,q}(\mathbb{R}^n_+, w)$, khắc phục khó khăn do tính dị hướng của biên nửa không gian.
  • Kết quả nghiệm: Chứng minh sự tồn tại, duy nhất và tính ổn định cấp đa thức của nghiệm hầu tuần hoàn, hầu tự đồng hình và các lớp nghiệm có trọng trong không gian Lorentz có trọng Muckenhoupt. Khi các hàm trọng bằng nhau, kết quả tái lập tính ổn định cấp đa thức như trong 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ả luồng chất lưu đối lưu nhiệt trong miền $\Omega$ không bị chặn ($\mathbb{R}^n$, $\mathbb{R}^n_+$, miền ngoại vi $\Omega \subset \mathbb{R}^n$ với $n \ge 4$): $$\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}$$ Sau phép chiếu Helmholtz, hệ được viết dưới dạng ghép: $$\begin{cases} u'(t) + Au(t) = P(\theta(t)g(t)) + P\text{div}(-u(t) \otimes u(t) + F(t)) \ \theta'(t) + B\theta(t) = \text{div}(-\theta(t)u(t)) + \text{div} f(t) \end{cases}$$

  • Dạng ma trận của hệ: Đặt $U = \begin{pmatrix} u \ \theta \end{pmatrix}$, $\mathbb{A} = \begin{pmatrix} A & 0 \ 0 & B \end{pmatrix}$, hệ phương trình được chuyển về dạng tiến hóa ma trận trừu tượng trên không gian tích Descartes của các không gian Lorentz.
  • Đánh giá $L^p - L^q$ ma trận: Thiết lập các đánh giá cho nửa nhóm ma trận giải tích $e^{-t\mathbb{A}}$ trên không gian tích $L^{p,q}_P(\Omega) \times L^{p,q}(\Omega)$.
  • Sự tồn tại và ổn định: Chứng minh sự tồn tại, duy nhất và ổn định cấp đa thức của nghiệm đủ nhỏ hầu tuần hoàn, hầu tự đồng hình, tựa hầu tuần hoàn/hầu tự đồng hình có trọng. Khi $\theta \equiv 0$ và $f \equiv 0$, hệ suy biến về phương trình Navier-Stokes thuần túy ở Chương 2.

Bảng tổng hợp các mô hình, không gian hàm và lớp nghiệm trong luận án

Chương Mô hình toán học Miền không gian Không gian hàm làm việc Lớp nghiệm thiết lập
Chương 2 Phương trình tiến hóa trừu tượng $u' + Au = BG(u)$ Miền ngoại vi, miền có lỗ thủng, vật cản xoay-tịnh tiến Không gian nội suy thực $Y = (Y_1, Y_2){\theta, \infty}$, không gian Besov $B^s{p,q}$ $AP, AA, S^p AA, WPAP, WPAA, WS^p AA$
Chương 3 Phương trình Navier-Stokes Nửa không gian $\mathbb{R}^n_+$ Không gian Lorentz có trọng Muckenhoupt $L^{p,q}(\mathbb{R}^n_+, w)$ $AP, AA, WPAP, WPAA$ có trọng
Chương 4 Hệ phương trình Boussinesq $\mathbb{R}^n$, $\mathbb{R}^n_+$, miền ngoại vi $\Omega$ ($n \ge 4$) Không gian tích Descartes $L^{p_1, q_1}(\Omega) \times L^{p_2, q_2}(\Omega)$ $AP, AA, WPAP, WPAA$ và ổn định cấp đa thức

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

1. Đóng góp mới về mặt lý luận

  • Thiết lập thành công khung giải tích trên không gian nội suy thực để chứng minh nguyên lý dạng Massera cho các phương trình tiến hóa dạng parabolic trong trường hợp nửa nhóm liên kết chỉ ổn định cấp đa thức.
  • Mở rộng phạm vi lớp nghiệm trên toàn trục thời gian $\mathbb{R}$ từ nghiệm tuần hoàn và hầu tuần hoàn sang các lớp nghiệm phức tạp hơn: nghiệm 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.
  • Chứng minh tính ổn định cấp đa thức $t^{-\gamma}$ ($0 < \gamma < 1$) của nghiệm đủ nhỏ trên nửa trục thời gian dương $\mathbb{R}_+$.

2. Đóng góp mới về mặt thực tiễn và ứng dụng

  • Giải quyết bài toán dáng điệu tiệm cận và tính hầu tuần hoàn/hầu tự đồng hình cho phương trình Navier-Stokes trên nửa không gian trong không gian Lorentz có trọng Muckenhoupt, cho phép kiểm soát tính chất tiệm cận không gian của dòng chảy tại vô cực và gần biên.
  • Xây dựng mô hình ma trận hóa cho hệ ghép Boussinesq trên miền không bị chặn, giải quyết trọn vẹn bài toán tồn tại, duy nhất và ổn định của nghiệm hầu tuần hoàn, hầu tự đồng hình cho luồng thủy khí đối lưu nhiệt trên toàn trục thời gian.
  • Cung cấp 05 bài báo khoa học đã công bố và các báo cáo tại các diễn đàn học thuật chuyên ngành (VIASM, nhóm seminar chuyên đề).

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

1. Hạn chế

  • Các kết quả về sự tồn tại và tính ổn định nghiệm đều yêu cầu điều kiện "nghiệm đủ nhỏ" (small solutions) và các ngoại lực $F, f$ có chuẩn đủ bé, chưa giải quyết được bài toán cho dữ kiện ban đầu lớn bất kỳ (large data).
  • Điều kiện trơn của biên đối với miền ngoại vi đòi hỏi thuộc lớp $C^{2+\mu}$ ($\mu > 0$), chưa mở rộng được cho các miền có biên không trơn (như biên Lipschitz hoặc miền góc).

2. Đề xuất các hướng nghiên cứu tiếp theo

  • Nghiên cứu sự tồn tại và dáng điệu tiệm cận của các lớp nghiệm nêu trên cho các mô hình chất lưu phức tạp hơn như hệ phương trình từ thủy động lực học (Magnetohydrodynamics - MHD) hoặc chất lưu vi cực (micropolar fluid).
  • Mở rộng nghiên cứu cho các bài toán biên hỗn hợp, bài toán biên Navier-slip hoặc các miền có biên không trơn.
  • Khảo sát các lớp nghiệm tổng quát hơn như nghiệm hầu tuần hoàn mờ (fuzzy almost periodic) hoặc nghiệm hầu tuần hoàn ngẫu nhiên trên toàn trục thời gian.

Giá trị tham khảo

  • Nghiên cứu sinh và học viên cao học ngành Toán giải tích, Toán ứng dụng: Là tài liệu tham khảo chi tiết về kỹ thuật kết hợp lý thuyết không gian nội suy thực, nửa nhóm toán tử giải tích và đánh giá $L^p - L^q$ để giải quyết phương trình đạo hàm riêng phi tuyến trên miền không bị chặn.
  • Giảng viên và nhà nghiên cứu phương trình vi phân - cơ học thủy khí: Cung cấp phương pháp luận ma trận hóa các hệ phương trình ghép tương tác (như hệ Boussinesq) và kỹ thuật xử lý trọng Muckenhoupt trong không gian Lorentz.
  • Phần đáng tham khảo nhất:
    • Kỹ thuật chứng minh Bổ đề 2.4 và Định lý 2.5 (Chương 2) về việc bảo toàn tính hầu tự đồng hình qua toán tử tích phân đối ngẫu.
    • Các đánh giá $L^p - L^q$ có trọng Muckenhoupt trên nửa không gian ở Chương 3.
    • Kỹ thuật ma trận hóa hệ Boussinesq trên không gian tích Descartes ở Chương 4.

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

1. Tại sao các phương pháp cổ điển (như định lý điểm bất động Schauder/Tikhonov) không áp dụng trực tiếp được cho bài toán trong luận án?

Các phương pháp cổ điển đòi hỏi tính compact của toán tử hoặc phép nhúng compact Sobolev, vốn chỉ đúng trên các miền bị chặn. Trên miền không bị chặn, các phép nhúng compact bị mất hiệu lực và nửa nhóm Stokes/nửa nhóm nhiệt không ổn định mũ mà suy giảm cấp đa thức $t^{-\alpha}$. Luận án phải sử dụng không gian nội suy thực và nguyên lý điểm bất động Banach trên các không gian hàm bị chặn để khắc phục khó khăn này.

2. Ý nghĩa của Giả thiết 2.1 với các chỉ số $0 < \alpha_2 < 1 < \alpha_1$ là gì?

Giả thiết này mô tả tính suy biến đa thức của toán tử nửa nhóm liên kết $e^{-tA}B$. Chỉ số $\alpha_1 > 1$ kiểm soát tính khả tích của hạt nhân tại lân cận vô cùng ($t \to \infty$), trong khi chỉ số $\alpha_2 < 1$ đảm bảo tính khả tích tại lân cận điểm gốc ($t \to 0^+$). Việc kết hợp hai đánh giá này qua hàm tử nội suy thực $(Y_1, Y_2){\theta, \infty}$ cho phép tích phân nghiệm $\int{-\infty}^t e^{-(t-\tau)A} B f(\tau) d\tau$ hội quy tụ tuyệt đối và bị chặn trên toàn trục thời gian.

3. Điểm mới của việc sử dụng không gian Lorentz có trọng Muckenhoupt ở Chương 3 là gì?

Không gian Lorentz có trọng Muckenhoupt $L^{p,q}(\mathbb{R}^n_+, w)$ cho phép kiểm soát đồng thời cả tính kỳ dị gần biên $\partial\mathbb{R}^n_+$ và tốc độ suy giảm của luồng thủy khí tại vô cực ($|x| \to \infty$). Kỹ thuật này mở rộng các đánh giá $L^p - L^q$ cổ điển sang lớp không gian tổng quát hơn, cho phép chứng minh sự tồn tại của nghiệm trong các môi trường có tính dị hướng không gian.

4. Hệ phương trình Boussinesq ở Chương 4 được xử lý như thế nào để áp dụng được khung lý thuyết ở Chương 2?

Hệ Boussinesq gồm phương trình vận tốc $u$ và phương trình nhiệt độ $\theta$ được ghép lại dưới dạng ma trận $U = \begin{pmatrix} u \ \theta \end{pmatrix}$. Bằng cách áp dụng phép chiếu Helmholtz $P$ lên thành phần vận tốc và định nghĩa toán tử ma trận $\mathbb{A} = \begin{pmatrix} A & 0 \ 0 & B \end{pmatrix}$, hệ phương trình được đưa về phương trình tiến hóa nửa tuyến tính trừu tượng trên không gian tích Descartes $L^{p,q}_P \times L^{p,q}$, từ đó kế thừa và mở rộng toàn bộ khung phân tích đã xây dựng ở Chương 2.

5. Dáng điệu tiệm cận của nghiệm được khẳng định dưới dạng đánh giá nào?

Dáng điệu tiệm cận của nghiệm được mô tả qua đánh giá suy giảm cấp đa thức: $$|u(t) - \hat{u}(t)|_Q \le D t^{-\gamma}, \quad \forall t > 0$$ trong đó $u(t)$ là nghiệm xuất phát từ dữ kiện ban đầu bất kỳ gần nghiệm dừng/nghiệm hầu tuần hoàn $\hat{u}(t)$, $Q$ là không gian đối ngẫu nội suy phù hợp, $\gamma \in (0, 1)$ là số mũ suy giảm, và $D > 0$ là hằng số độc lập với thời gian.

Kết luận

Luận án tiến sĩ của Lê Thế Sắc là một công trình nghiên cứu hoàn chỉnh thuộc chuyên ngành Toán học, tập trung giải quyết bài toán định tính về sự tồn tại, tính duy nhất và tính ổn định của các lớp nghiệm suy rộng (hầu tuần hoàn, hầu tự đồng hình, tựa hầu tuần hoàn/hầu tự đồng hình có trọng) trên toàn trục thời gian cho phương trình tiến hóa và các hệ phương trình thủy khí. Bằng việc xây dựng thành công nguyên lý dạng Massera trên các không gian nội suy thực, không gian Lorentz có trọng Muckenhoupt và không gian tích Descartes, luận án đã mở rộng các kết quả giải tích kinh điển sang trường hợp nửa nhóm chỉ đạt tính ổn định cấp đa thức trên miền không bị chặn. Các kết quả lý thuyết được áp dụng nhất quán và hiệu quả cho các mô hình luồng chất lưu Navier-Stokes và Boussinesq, đóng góp những phát triển mới cho lý thuyết định tính phương trình đạo hàm riêng.