Tổng quan luận án

Nghiên cứu định tính về dáng điệu tiệm cận theo thời gian của nghiệm các phương trình đạo hàm riêng và phương trình tiến hóa là một chủ đề trọng tâm trong cơ học chất lỏng và toán học giải tích. Các hệ phương trình động lực học thủy khí như hệ Navier-Stokes, Stokes hay Oseen-Navier-Stokes mô tả chuyển động của chất lưu (chất lỏng, chất khí) trong nhiều điều kiện biên và hình học khác nhau. Trong các bài toán thực tế chịu tác động của ngoại lực mang tính chu kỳ (tuần hoàn theo thời gian), việc xác định sự tồn tại, tính duy nhất và tính ổn định của các nghiệm tuần hoàn đóng vai trò quan trọng để dự báo quy luật vận động dài hạn của dòng chảy.

Khoảng trống nghiên cứu được luận án chỉ ra xuất phát từ hạn chế của các phương pháp truyền thống khi chứng minh sự tồn tại của nghiệm tuần hoàn:

  1. Phương pháp cổ điển dựa trên nguyên lý Massera thường kết hợp tính bị chặn của nghiệm với tính compact của ánh xạ Poincaré thông qua các phép nhúng Sobolev compact. Tuy nhiên, trên các miền không bị chặn (như miền ngoại vi hoặc toàn không gian), các phép nhúng compact không còn hiệu lực. Đồng thời, việc tìm kiếm điều kiện ban đầu thích hợp để đảm bảo nghiệm bị chặn toàn cục gặp nhiều trở ngại kỹ thuật.
  2. Phương pháp của Serrin (1959) khai thác tính ổn định $L^2$ trên miền bị chặn để suy ra sự tồn tại nghiệm tuần hoàn, sau đó được mở rộng cho miền ngoại vi thông qua không gian Lorentz và giải tích nội suy (Yamazaki, 2000; Nguyễn Thiệu Huy và cộng sự). Dù vậy, vẫn cần các khung tiếp cận trực tiếp hơn, không phụ thuộc vào tính compact yếu*, đồng thời có khả năng thống nhất việc xử lý cho cả lớp phương trình dạng parabolic và hyperbolic.

Luận án xác định các mục tiêu nghiên cứu cụ thể được đánh số như sau:

  1. Mục tiêu 1: Thiết lập các điều kiện về tính ổn định và phân rã của nửa nhóm giải tích liên kết để chứng minh sự tồn tại, tính duy nhất và tính bị chặn của nghiệm đủ tốt (mild solution) tuần hoàn của phương trình tiến hóa tuyến tính không thuần nhất dạng trừu tượng; áp dụng trực tiếp cho phương trình Stokes trong không gian các hàm bị chặn trên miền ngoại vi và nửa nhóm thỏa mãn ước lượng Gauss.
  2. Mục tiêu 2: Xây dựng khung lý thuyết nửa nhóm $(X, Y, \phi)$-ổn định để giải quyết bài toán nghiệm tuần hoàn của phương trình tiến hóa nửa tuyến tính; áp dụng thống nhất cho phương trình Navier-Stokes trên miền bị chặn, phương trình Navier-Stokes trên miền ngoại vi và phương trình sóng tắt dần (dạng hyperbolic).
  3. Mục tiêu 3: Nghiên cứu phương trình Oseen-Navier-Stokes không ô-tô-nôm trên miền ngoại vi mô tả chuyển động của chất lưu xung quanh vật cản vừa tịnh tiến vừa quay với vận tốc phụ thuộc thời gian; chứng minh sự tồn tại, tính duy nhất và tính ổn định của nghiệm đủ tốt tuần hoàn trong các không gian Lorentz.

Đối tượng nghiên cứu của luận án là các lớp nghiệm đủ tốt bị chặn, nghiệm tuần hoàn và tính ổn định của chúng đối với 3 dạng phương trình tiến hóa:

  • Phương trình tiến hóa tuyến tính: $$u'(t) - Au(t) = f(t), \quad t > 0; \quad u(0) = u_0 \in X \tag{1}$$ trong đó $A$ là toán tử sinh của $C_0$-nửa nhóm giải tích bị chặn $(T(t))_{t \ge 0}$ thỏa mãn giả thiết ổn định đa thức.
  • Phương trình tiến hóa nửa tuyến tính: $$u'(t) - Au(t) = Bg(u)(t), \quad t > 0 \tag{2}$$ trong đó $A$ sinh nửa nhóm liên tục mạnh (hoặc giải tích), $g$ là toán tử phi tuyến trên không gian các hàm tuần hoàn chu kỳ $T$, và $B$ là toán tử liên kết giữa các không gian hàm.
  • Phương trình Oseen-Navier-Stokes không ô-tô-nôm trên miền ngoại vi $\Omega \subset \mathbb{R}^3$: $$\begin{cases} u_t + (u \cdot \nabla)u - \Delta u + \nabla p = (\eta(t) + \omega(t) \times x) \cdot \nabla u - \omega \times u + \text{div}F & \text{trong } \Omega \times (0, \infty), \ \nabla \cdot u = 0 & \text{trong } \Omega \times (0, \infty), \ u = \eta(t) + \omega(t) \times x & \text{trên } \partial\Omega \times (0, \infty), \ u|{t=0} = u_0 \quad \text{trong } \Omega, \quad \lim{|x|\to\infty} u = 0. \end{cases} \tag{3}$$

Phạm vi nghiên cứu của luận án:

  • Phạm vi thời gian: Bán trục thời gian thực không âm $\mathbb{R}_+ = [0, \infty)$ và khảo sát tính tuần hoàn với chu kỳ $T > 0$.
  • Phạm vi không gian: Miền bị chặn $\Omega \subset \mathbb{R}^n$ có biên trơn lớp $C^2$, miền ngoại vi $\Omega = \mathbb{R}^n \setminus \overline{\mathcal{O}}$ (với $\mathcal{O}$ là tập compact có biên trơn lớp $C^2$ hoặc $C^3$), toàn không gian $\mathbb{R}^n$, và không gian Hilbert trừu tượng $H$.
  • Phạm vi không gian hàm: Không gian Banach tổng quát $X, Y, Z$, không gian Lebesgue $L^p(\Omega)$, không gian các hàm bị chặn liên tục $C_b(\mathbb{R}+, X)$, không gian Sobolev $W^{k,p}(\Omega)$, không gian Lorentz $L^{p,q}(\Omega)$, và không gian các trường vector solenoidal (phân rã Helmholtz) $L^r\sigma(\Omega)$, $L^{r,q}_\sigma(\Omega)$.

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

Nghiên cứu nghiệm tuần hoàn của phương trình vi phân và phương trình tiến hóa bắt đầu từ các công trình kinh điển của Massera ([1], [2]), thiết lập mối quan hệ giữa tính bị chặn của nghiệm và sự tồn tại nghiệm tuần hoàn đối với hệ phương trình vi phân thường tuyến tính và phi tuyến. Hướng tiếp cận này sau đó được phát triển qua nguyên lý điểm bất động Tikhonov ([3]), phương pháp hàm Lyapunov ([4]), cũng như các kỹ thuật nhúng compact cho ánh xạ Poincaré ([5], [6]).

Đối với phương trình Navier-Stokes (NSE), Serrin (1959, [7]) đã đề xuất phương pháp chứng minh tính ổn định của nghiệm trong không gian $L^2$ trên miền bị chặn, từ đó suy ra sự tồn tại của nghiệm tuần hoàn mà không cần qua phép nhúng compact của ánh xạ Poincaré. Kết quả của Serrin đặt nền móng cho hàng loạt nghiên cứu mở rộng sau đó:

  • Miyakawa và Teramoto (1982, [8]), Kaniel và Shinbrot (1980, [9]), Maremonti, Kozono và Nakao (1995, [10]) tiếp tục phát triển hướng tiếp cận ổn định và khảo sát nghiệm tuần hoàn trên các miền khác nhau.
  • Trên miền ngoại vi, Maremonti và Padula (1996, [11]) nghiên cứu sự tồn tại nghiệm của NSE trong các miền có tính đối xứng. Galdi và Sohr (1995, [12]) mở rộng phương pháp của Serrin cho miền ngoại vi dựa trên đặc trưng phân rã của nghiệm ở vô cực.
  • Yamazaki (2000, [13]) đưa ra bước tiến mới khi sử dụng không gian nội suy thực trên các không gian $L^p$ yếu (không gian Lorentz $L^{p,\infty}$) kết hợp phương pháp lặp kiểu Kato ([14], [15]) để chứng minh sự tồn tại và duy nhất nghiệm đủ tốt tuần hoàn trong miền ngoại vi.
  • Các hướng mở rộng tiếp theo trên miền ngoại vi và không gian vô hạn được thực hiện bởi Taniuchi (2004, [16]), van Baalen và Wittwer (2003, [17]), Galdi và Silvestre (2006, [18]).
  • Gần đây, phương pháp của Yamazaki được nhóm nghiên cứu của Nguyễn Thiệu Huy và các cộng sự ([19], [20], [21], [22]) hoàn thiện và phát triển cho các lớp phương trình tiến hóa trừu tượng, phương trình Oseen-Navier-Stokes miền ngoại vi, phương trình Ornstein-Uhlenbeck, phương trình Boussinesq trong miền không bị chặn và mô hình Oldroyd-B.

Vị trí của luận án: Luận án kế thừa và phát triển hướng nghiên cứu của Serrin, Yamazaki và Nguyễn Thiệu Huy. Luận án giải quyết khoảng trống về một phương pháp trực tiếp, độc lập với các phép nhúng compact và không phụ thuộc vào lý thuyết nội suy phức tạp trong trường hợp tuyến tính, bằng cách xây dựng dãy Cauchy từ ước lượng suy giảm của nửa nhóm. Đồng thời, luận án thiết lập khung $(X, Y, \phi)$-ổn định bao quát cả phương trình parabolic và hyperbolic, giải quyết bài toán phương trình Oseen-Navier-Stokes không ô-tô-nôm với vật thể chuyển động quay và tịnh tiến phụ thuộc thời gian trên miền ngoại vi.

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 hiện đại và lý thuyết phương trình đạo hàm riêng:

  • Lý thuyết nửa nhóm toán tử tuyến tính: $C_0$-nửa nhóm liên tục mạnh, toán tử sinh vô cùng bé $A$, cận tăng trưởng $\omega(T) = \inf{\omega \in \mathbb{R} : \exists M_\omega \ge 1, |T(t)| \le M_\omega e^{\omega t}}$; nửa nhóm liên hợp $(T(t)'){t \ge 0}$ trên không gian đối ngẫu $X'$ với tính liên tục yếu*; nửa nhóm giải tích góc $\delta$ trên quạt $\Sigma\delta = {\lambda \in \mathbb{C} : |\arg \lambda| < \delta} \setminus {0}$ và nửa nhóm giải tích bị chặn thỏa mãn $\sup_{t>0} |t A T(t)| < \infty$; nửa nhóm hyperbolic (có nhị phân mũ) với phép chiếu nhị phân $P$ và đánh giá $|T(t)x| \le M e^{-\nu t}|x|$ trên $\text{Im}P$, $|T(t)x| \ge \frac{1}{M} e^{\nu t}|x|$ trên $\text{ker}P$; họ tiến hóa hai biến ${U(t,s)}_{t \ge s \ge 0}$.
  • Lý thuyết không gian nội suy và không gian hàm: Cặp nội suy Banach $(X_0, X_1)$, phiếm hàm $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}$ với chuẩn tích phân hoặc cận trên; không gian Lorentz $L^{p,q}(\Omega)$ định nghĩa qua hàm phân bố $\mu({|u| > s})$; không gian $L^p$ yếu $L^p_w(\Omega) = L^{p,\infty}(\Omega)$; bất đẳng thức Hölder yếu $|fg|{r,w} \le C |f|{p,w} |g|{q,w}$ với $\frac{1}{r} = \frac{1}{p} + \frac{1}{q}$; phân rã Helmholtz $L^r(\Omega) = L^r_\sigma(\Omega) \oplus {\nabla p}$ và phép chiếu Helmholtz $P_r, P_{r,q}$.

Phương pháp nghiên cứu cụ thể trong luận án bao gồm:

  1. Nguyên lý ổn định suy ra tuần hoàn kiểu Serrin: Sử dụng các đánh giá phân rã (dạng đa thức $t^{-\alpha}$ hoặc tổng quát $\phi(t)$) của nửa nhóm để chứng minh dãy giá trị nghiệm tại các bước chu kỳ ${u(nT)}{n \in \mathbb{N}}$ lập thành một dãy Cauchy trong không gian Banach. Giới hạn $u^* = \lim{n\to\infty} u(nT)$ được chứng minh chính là giá trị ban đầu sinh ra nghiệm đủ tốt tuần hoàn chu kỳ $T$. Phương pháp này không đòi hỏi tính compact của không gian hay của toán tử.
  2. Nguyên lý ánh xạ co Banach: Thiết lập toán tử tích phân $\Phi$ trên hình cầu đóng $B_\rho^T$ thuộc không gian các hàm tuần hoàn liên tục bị chặn $C_b(\mathbb{R}_+, Y)$, chứng minh $\Phi$ là ánh xạ co khi ngoại lực và dữ lượng đầu vào đủ nhỏ để rút ra sự tồn tại và duy nhất nghiệm tuần hoàn cho phương trình nửa tuyến tính.
  3. Kỹ thuật chuyển hệ tọa độ và phương pháp nguyên lý Massera cho hệ không ô-tô-nôm: Đổi biến tọa độ gắn với vật cản chuyển động để chuyển bài toán biên biến thiên về bài toán trên miền ngoại vi cố định, kết hợp đánh giá tiên nghiệm trong không gian Lorentz để chứng minh tính bị chặn và tính tuần hoàn.

Nguồn dữ liệu và tư liệu nghiên cứu: Luận án là công trình nghiên cứu toán học lý thuyết giải tích thuần túy, toàn bộ các kết quả được chứng minh bằng lập luận logic, các bất đẳng thức giải tích (Gagliardo-Nirenberg, Hölder, Minkowski, ước lượng $L^p - L^q$, ước lượng nhân nhiệt Gauss) và các bổ đề giải tích hà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, định nghĩa và bổ đề cơ sở làm công cụ cho toàn bộ luận án:

  • Trình bày cấu trúc và tính chất của nửa nhóm liên tục mạnh ($C_0$-nửa nhóm), nửa nhóm liên hợp liên tục yếu*, nửa nhóm giải tích bị chặn và đặc trưng toán tử của nửa nhóm giải tích thông qua điều kiện $\sup_{t>0} |t A T(t)| < \infty$.
  • Định nghĩa nửa nhóm hyperbolic với phép chiếu nhị phân $P$, toán tử tiến hóa $U(t,s)$ và toán tử Green $G(t)$ thỏa mãn đánh giá $|G(t)| \le (1 + |P|)M e^{-\nu |t|}$ trên toàn trục thực $\mathbb{R}$.
  • Trình bày lý thuyết không gian nội suy thực $(X_0, X_1){\theta,q}$, không gian Lorentz $L^{p,q}(\Omega)$, phân rã Helmholtz và phép chiếu Helmholtz $P_r: L^r(\Omega) \to L^r\sigma(\Omega)$ cũng như $P_{r,q}: L^{r,q}(\Omega) \to L^{r,q}_\sigma(\Omega)$ trên miền có biên trơn.

Chương 2. Phương trình tiến hóa tuyến tính

Chương 2 nghiên cứu phương trình tiến hóa tuyến tính không thuần nhất $u'(t) - Au(t) = f(t)$ với toán tử $A$ sinh nửa nhóm giải tích bị chặn $(T(t)){t \ge 0}$ thỏa mãn Giả thiết 2.1: Tồn tại các không gian Banach $X_1, X_2, X_3$ và các hằng số $\alpha_1 > 1 > \alpha_2 > \alpha_3 > 0$ thỏa mãn $\alpha_1 - \alpha_3 > 1$ sao cho: $$|T(t)x|X \le M t^{-\alpha_1} |x|{X_1}, \quad |T(t)x|X \le M t^{-\alpha_2} |x|{X_2}, \quad |T(t)x|X \le M t^{-\alpha_3} |x|{X_3}$$ $$|T(t)x|{X_3} \le M t^{-\alpha_1+\alpha_3} |x|{X_1}, \quad |T(t)x|{X_3} \le M t^{-\alpha_2+\alpha_3} |x|_{X_2}$$

Các kết quả chính của Chương 2:

  • Định lý 2.1 (Tính bị chặn): Với mọi $u_0 \in X$ và $f \in L^\infty(\mathbb{R}+, X_1 \cap X_2)$, nghiệm đủ tốt $u(t) = T(t)u_0 + \int_0^t T(t-s)f(s)ds$ thuộc $C_b(\mathbb{R}+, X)$ và thỏa mãn: $$|u(t)|X \le M |u_0|X + \left( \frac{1}{\alpha_1 - 1} + \frac{1}{1 - \alpha_2} \right) |f|{L^\infty(\mathbb{R}+, X_1 \cap X_2)}$$
  • Định lý 2.2 (Sự tồn tại và duy nhất nghiệm tuần hoàn): Nếu $f$ tuần hoàn chu kỳ $T$, dãy ${u(nT)}_{n \in \mathbb{N}}$ với $u(0)=0$ thỏa mãn $|u(nT) - u(mT)|_X \le C (nT)^{-\alpha_3}$ (với $m > n$), do đó là dãy Cauchy trong $X$ và hội tụ về $u^* \in X$. Nghiệm xuất phát từ $u^*$ là nghiệm đủ tốt tuần hoàn chu kỳ $T$ duy nhất trong lớp các nghiệm có điểm ban đầu thuộc $X_j$ ($j=1,2,3$).
  • Ứng dụng cho phương trình Stokes trên $L^\infty_\sigma(\Omega)$ (với $\Omega$ là miền ngoại vi biên $C^3$): Với $1 \le p < \frac{n}{2} < q < \infty$ và $\frac{1}{p} + \frac{1}{q} > \frac{4}{n}$, đặt $\alpha_1 = \frac{n}{2p}$, $\alpha_2 = \frac{n}{2q}$, $\alpha_3 = \frac{n}{2r}$, chứng minh tồn tại duy nhất nghiệm đủ tốt tuần hoàn trong không gian các hàm bị chặn.
  • Ứng dụng cho nửa nhóm thỏa mãn ước lượng Gauss $|T(t)f| \le M G(bt)|f|$ trên $L^p(\Omega)$ (ví dụ toán tử Dirichlet-Laplacian, Neumann-Laplacian): Chứng minh ước lượng $L^p - L^q$: $|T(t)x|_q \le M t^{-\frac{n}{2}(\frac{1}{p}-\frac{1}{q})} |f|_p$ và suy ra sự tồn tại, duy nhất quỹ đạo nghiệm tuần hoàn.

Chương 3. Nửa nhóm (X, Y, ϕ) ổn định và nghiệm tuần hoàn của phương trình tiến hóa

Chương 3 mở rộng nghiên cứu cho phương trình nửa tuyến tính $u'(t) = Au(t) + Bg(u)(t)$ bằng việc đưa ra khái niệm tổng quát về nửa nhóm $(X, Y, \phi)$-ổn định:

  • Định nghĩa 3.1: Nửa nhóm $(T(t)){t \ge 0}$ được gọi là $(X, Y, \phi)$-ổn định nếu tồn tại hàm liên tục $\phi: (0, \infty) \to (0, \infty)$ thỏa mãn $\lim{t\to\infty} \phi(t) = 0$, $\phi \in L^1(0,t)$ với mọi $t > 0$ sao cho $|T(t)x|_Y \le \phi(t)|x|_X$ với mọi $x \in X, t > 0$.
  • Định lý 3.2 (Tuyến tính): Chứng minh tính ổn định kéo theo tính tuần hoàn đối với phương trình $u'(t) = Au(t) + Bf(t)$, dãy ${u(nT)}$ là dãy Cauchy thỏa mãn $|u(nT) - u(mT)|_Y \le C \phi(nT) \to 0$.
  • Định lý 3.3 (Nửa tuyến tính): Sử dụng nguyên lý ánh xạ co trên quả cầu $B_\rho^T \subset C_b(\mathbb{R}_+, Y)$, chứng minh khi hằng số Lipschitz $L$ của $g$ và giá trị $\gamma = |g(0)|$ đủ nhỏ thì tồn tại duy nhất nghiệm đủ tốt tuần hoàn $T$.

Các ứng dụng trong Chương 3:

  1. Phương trình Navier-Stokes trong miền bị chặn $\Omega \subset \mathbb{R}^n$ ($n \ge 2$): Sử dụng nửa nhóm Stokes $e^{-tA}$ với đánh giá $|e^{-tA}x|r \le M e^{-\delta t} t^{-\frac{n}{2}(\frac{1}{p}-\frac{1}{r})} |x|p$. Hàm ổn định có dạng mũ-đa thức $\phi(t) = M e^{-\delta t} t^{-\frac{n}{2}(\frac{1}{r}-\frac{1}{2p})}$. Chứng minh tồn tại duy nhất nghiệm tuần hoàn trong hình cầu nhỏ của $C_b(\mathbb{R}+, L^{2p}\sigma(\Omega))$.
  2. Phương trình Navier-Stokes trong miền ngoại vi: Không có tính ổn định mũ, nửa nhóm Stokes thỏa mãn đánh giá Lorentz $|e^{-tA}x|{r,q} \le M t^{-\frac{n}{2}(\frac{1}{p}-\frac{1}{r})} |x|{p,q}$. Hàm ổn định có dạng đa thức $\phi(t) = M t^{-(\frac{n}{2r}-\frac{1}{2})}$. Chứng minh tồn tại duy nhất nghiệm tuần hoàn trong hình cầu nhỏ của $C_b(\mathbb{R}+, L^{n,\infty}\sigma(\Omega))$.
  3. Phương trình sóng tắt dần $\ddot{u} + \alpha \dot{u} + Au + \omega u = r(u) + f(t)$ trên không gian Hilbert: Đưa về hệ cấp một $U = (u, \dot{u})^T$ trên $Y = D(A^{1/2}) \times H$. Toán tử sinh ra nửa nhóm hyperbolic với phép chiếu nhị phân $P$, tương ứng hàm ổn định dạng mũ $\phi(t) = M e^{-\nu t}$. Chứng minh sự tồn tại và duy nhất nghiệm tuần hoàn thông qua biểu diễn toán tử Green $G(t)$.

Chương 4. Phương trình Oseen-Navier-Stokes không ô-tô-nôm

Chương 4 khảo sát phương trình Oseen-Navier-Stokes trên miền ngoại vi $\Omega \times (0, \infty)$ với vận tốc tịnh tiến $\eta(t)$ và vận tốc góc $\omega(t)$ của vật cản tuần hoàn theo thời gian:

  • Thực hiện phép đổi biến tọa độ không gian và vận tốc để chuyển phương trình về miền ngoại vi không gian cố định $\Omega$.
  • Nghiên cứu phương trình tuyến tính không ô-tô-nôm liên kết: Sử dụng họ tiến hóa ${U(t,s)}_{t \ge s \ge 0}$, chứng minh sự tồn tại của nghiệm bị chặn và áp dụng nguyên lý Massera để chỉ ra sự tồn tại nghiệm tuần hoàn.
  • Nghiên cứu phương trình phi tuyến: Áp dụng nguyên lý ánh xạ co trong không gian Lorentz, chứng minh với ngoại lực nhỏ thì tồn tại duy nhất nghiệm đủ tốt tuần hoàn chu kỳ $T$, đồng thời chứng minh tính ổn định tiệm cận của nghiệm tuần hoàn này.

Bảng tổng hợp các lớp phương trình và phương pháp nghiên cứu chính trong luận án:

Chương Phương trình nghiên cứu Không gian hàm / Miền Dạng phân rã của nửa nhóm $\phi(t)$ Phương pháp chứng minh chính
Chương 2 Tuyến tính trừu tượng $u' - Au = f$, Stokes, Gauss Miền ngoại vi / $L^\infty_\sigma(\Omega)$, $L^p(\Omega)$ Đa thức $t^{-\alpha_j}$ ($\alpha_1 > 1 > \alpha_2 > \alpha_3 > 0$) Xây dựng dãy Cauchy ${u(nT)}$, ước lượng $L^p - L^q$
Chương 3 Nửa tuyến tính $u' - Au = Bg(u)$, Navier-Stokes Miền bị chặn $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) Mũ-đa thức $M e^{-\delta t} t^{-\frac{n}{2}(\frac{1}{r}-\frac{1}{2p})}$ $(X, Y, \phi)$-ổn định + Ánh xạ co trên $B_\rho^T$
Chương 3 Navier-Stokes Miền ngoại vi $\Omega \subset \mathbb{R}^n$ Đa thức $M t^{-(\frac{n}{2r}-\frac{1}{2})}$ Không gian Lorentz $L^{n,\infty}_\sigma(\Omega)$ + Ánh xạ co
Chương 3 Phương trình sóng tắt dần Không gian Hilbert $D(A^{1/2}) \times H$ Suy giảm mũ $M e^{-\nu t}$ Nửa nhóm Hyperbolic, hàm Green $G(t)$, ánh xạ co
Chương 4 Oseen-Navier-Stokes không ô-tô-nôm Miền ngoại vi $\Omega \subset \mathbb{R}^3$ Họ tiến hóa ${U(t,s)}_{t \ge s \ge 0}$ Đổi biến tọa độ, nguyên lý Massera, ánh xạ co

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

Luận án đạt được các kết quả và đóng góp mới sau:

  1. Đóng góp về mặt lý luận giải tích phương trình vi phân:
    • Đề xuất phương pháp trực tiếp xây dựng dãy Cauchy ${u(nT)}_{n\in\mathbb{N}}$ dựa trên tính ổn định và phân rã của nửa nhóm giải tích để chứng minh sự tồn tại và duy nhất nghiệm đủ tốt tuần hoàn của phương trình tiến hóa tuyến tính, loại bỏ sự phụ thuộc vào các phép nhúng compact của ánh xạ Poincaré.
    • Xây dựng thành công khung lý thuyết nửa nhóm $(X, Y, \phi)$-ổn định, cho phép xử lý thống nhất cả hai lớp phương trình đạo hàm riêng có bản chất toán học khác biệt: dạng parabolic (phương trình Navier-Stokes với suy giảm đa thức hoặc suy giảm mũ) và dạng hyperbolic (phương trình sóng tắt dần với nửa nhóm hyperbolic suy giảm mũ).
  2. Đóng góp về mặt giải tích cơ học thủy khí:
    • Thiết lập các định lý về sự tồn tại và duy nhất nghiệm đủ tốt tuần hoàn cho phương trình Stokes không thuần nhất trên miền ngoại vi trong không gian các hàm bị chặn $L^\infty_\sigma(\Omega)$.
    • Chứng minh sự tồn tại và duy nhất nghiệm tuần hoàn của phương trình Navier-Stokes trong không gian Lorentz $L^{n,\infty}_\sigma(\Omega)$ trên miền ngoại vi khi ngoại lực nhỏ.
    • Giải quyết bài toán tồn tại, duy nhất và tính ổn định của nghiệm tuần hoàn đối với phương trình Oseen-Navier-Stokes không ô-tô-nôm trên miền ngoại vi dưới tác động của vật cản vừa quay vừa tịnh tiến tuần hoàn theo thời gian.

Các kết quả của luận án đã được công bố trong 03 công trình khoa học chuyên ngành và báo cáo tại seminar "Dáng điệu tiệm cận của phương trình vi phân và ứng dụng" tại Đại học Bách khoa Hà Nội giai đoạn 2018–2022.

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

Về mặt hạn chế: Luận án chỉ tập trung vào trường hợp chất lưu không nén được với ngoại lực và dữ liệu đầu vào có chuẩn nhỏ (để đảm bảo tính co của ánh xạ trong lân cận gốc). Các kết quả trên miền ngoại vi đối với phương trình nửa tuyến tính chưa mở rộng cho trường hợp dữ liệu lớn tùy ý do các giới hạn nội tại của phương pháp điểm bất động co.

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

  1. Mở rộng khung lý thuyết $(X, Y, \phi)$-ổn định và phương pháp dãy Cauchy cho các lớp phương trình động lực học thủy khí phức tạp hơn như phương trình Boussinesq trong miền không bị chặn, hệ phương trình chất lưu vi cực (micropolar fluid equations), và hệ phương trình Oldroyd-B mô tả chất lưu phi Newton.
  2. Khảo sát nghiệm tuần hoàn và dáng điệu tiệm cận của phương trình Oseen-Navier-Stokes với điều kiện biên hỗn hợp hoặc trên các miền có biên không trơn (miền góc, miền Lipschitz).
  3. Nghiên cứu tính gần tuần hoàn (almost periodic) và tính tuần hoàn yếu của nghiệm phương trình tiến hóa phi tuyến khi ngoại lực là hàm gần tuần hoàn theo thời gian.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo hữu ích 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, Toán ứng dụng, Cơ học lý thuyết và Cơ học thủy khí.
  • Các nhà nghiên cứu quan tâm đến lý thuyết định tính của phương trình đạo hàm riêng, lý thuyết nửa nhóm toán tử, giải tích nội suy và dáng điệu tiệm cận của dòng chất lưu quanh vật thể chuyển động.

Các nội dung có giá trị tham khảo chuyên sâu:

  • Kỹ thuật xây dựng dãy Cauchy không sử dụng tính compact trong Chương 2 và Chương 3.
  • Khung kỹ thuật đánh giá $L^p - L^q$ và ước lượng Lorentz cho nửa nhóm Stokes trên miền ngoại vi.
  • Phương pháp xử lý vật cản chuyển động tịnh tiến và quay phụ thuộc thời gian bằng phép đổi biến không gian trong Chương 4.

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

1. Tại sao phương pháp cổ điển của Massera gặp khó khăn khi áp dụng cho phương trình đạo hàm riêng trên miền ngoại vi? Phương pháp Massera truyền thống dựa vào việc chứng minh nghiệm bị chặn kết hợp với tính compact của toán tử Poincaré thông qua các phép nhúng Sobolev compact. Trên miền ngoại vi (miền không bị chặn), các phép nhúng Sobolev compact không còn đúng và việc xác định điều kiện ban đầu để nghiệm bị chặn toàn cục gặp nhiều trở ngại giải tích.

2. Bản chất của phương pháp xây dựng dãy Cauchy của luận án trong Chương 2 là gì? Luận án xuất phát từ nghiệm xuất phát từ gốc $u(0)=0$, xét dãy giá trị tại các chu kỳ $u(nT) = \int_0^{nT} T(nT-s)f(s)ds$. Nhờ tính tuần hoàn của ngoại lực $f$ và ước lượng phân rã đa thức của nửa nhóm, tác giả chứng minh $|u(nT) - u(mT)|_X \le C (nT)^{-\alpha_3} \to 0$ khi $n \to \infty$. Dãy ${u(nT)}$ lập thành dãy Cauchy trong không gian Banach $X$, hội tụ về điểm ban đầu $u^*$ của nghiệm tuần hoàn duy nhất.

3. Khái niệm nửa nhóm $(X, Y, \phi)$-ổn định trong Chương 3 mang ý nghĩa gì trong việc thống nhất lý thuyết? Khái niệm này tổng quát hóa tốc độ phân rã của nửa nhóm từ không gian $X$ sang không gian $Y$ thông qua hàm suy giảm $\phi(t)$ ($\lim_{t\to\infty} \phi(t) = 0$). Nó cho phép xử lý đồng thời hàm phân rã dạng đa thức $\phi(t) = C t^{-\alpha}$ (đặc trưng cho phương trình dạng parabolic trên miền ngoại vi), dạng mũ-đa thức $\phi(t) = M e^{-\delta t} t^{-\beta}$ (parabolic miền bị chặn), và dạng mũ thuần túy $\phi(t) = M e^{-\nu t}$ (hyperbolic/sóng tắt dần).

4. Trong Chương 3, điều kiện nào cần thiết để phương trình Navier-Stokes nửa tuyến tính có nghiệm tuần hoàn duy nhất? Điều kiện cần là chuẩn của ngoại lực $|F|{L^\infty(\mathbb{R}+, L^p_\sigma)}$ (hoặc trong không gian Lorentz tương ứng) phải đủ nhỏ. Khi đó, toán tử tích phân $\Phi$ biến một hình cầu đóng nhỏ $B_\rho^T$ vào chính nó và trở thành một ánh xạ co, dẫn tới sự tồn tại duy nhất điểm bất động là nghiệm tuần hoàn theo nguyên lý Banach.

5. Phương trình Oseen-Navier-Stokes trong Chương 4 mô tả hiện tượng vật lý cụ thể nào? Phương trình mô tả dòng chảy của chất lưu nhớt không nén được bao quanh một vật thể rắn đang chuyển động tịnh tiến với vận tốc $\eta(t)$ và tự quay xung quanh trục với vận tốc góc $\omega(t)$, trong đó cả hai vận tốc này biến thiên tuần hoàn theo thời gian.

Kết luận

Luận án của nghiên cứu sinh Trần Thị Kim Oanh đã giải quyết trọn vẹn các bài toán về sự tồn tại, tính duy nhất và tính ổn định của nghiệm tuần hoàn cho 3 lớp phương trình động lực học thủy khí thông qua việc phát triển phương pháp dãy Cauchy trực tiếp và khung lý thuyết nửa nhóm $(X, Y, \phi)$-ổn định. Các kết quả đạt được không chỉ làm sáng tỏ các tính chất định tính của nghiệm phương trình Stokes, Navier-Stokes và Oseen-Navier-Stokes trên miền bị chặn và miền ngoại vi mà còn tạo ra công cụ giải tích thống nhất cho cả hai họ phương trình parabolic và hyperbolic. Công trình đóng góp các định lý mới có giá trị học thuật cao vào lý thuyết định tính của phương trình vi phân và giải tích cơ học chất lưu hiện đại.