Tổng quan luận án

Luận án tiến sĩ toán học "Tính giới nội và ổn định của nghiệm các phương trình tiến hóa và động lực học thủy khí" do nghiên cứu sinh Vũ Thị Mai thực hiện tại Trường Đại học Bách khoa Hà Nội (năm 2020), thuộc chuyên ngành Toán học (mã số: 9460101), dưới sự hướng dẫn khoa học của TS. Vũ Thị Ngọc Hà và TS. Trần Thị Loan.

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

Hệ phương trình Navier-Stokes và các phương trình tiến hóa trong cơ học chất lỏng mô tả nhiều hiện tượng vật lý quan trọng như chuyển động sóng, dòng hải lưu, bão khí quyển và dòng thủy khí. Khi nghiên cứu tính bị chặn theo thời gian của nghiệm trên miền không gian $\Omega$, trường hợp $\Omega$ bị chặn (hoặc bị chặn theo một hướng nhất định) cho phép sử dụng bất đẳng thức Poincaré và các định lý nhúng Sobolev compact để giải quyết bài toán. Tuy nhiên, khi miền $\Omega$ không bị chặn về mọi hướng (chẳng hạn miền ngoài, toàn không gian $\mathbb{R}^d$), bất đẳng thức Poincaré không còn hiệu lực và các phép nhúng compact không còn khả dụng, đồng thời nửa nhóm toán tử Stokes không có tính ổn định mũ.

Năm 1991, P. Maremonti đã nêu ra Bài toán A: Cho ngoại lực $f(t, x)$ và nghiệm $u(t, x)$ của phương trình Navier-Stokes $u_t - \Delta u + (u \cdot \nabla)u + \nabla p = f$; với $X$ và $Y$ là hai không gian Banach, nếu $|f(t, \cdot)|_X$ bị chặn đều theo thời gian thì $|u(t, \cdot)|_Y$ có bị chặn đều theo thời gian hay không. Luận án giải quyết bài toán xác định tính bị chặn, tính ổn định và tính tuần hoàn/hầu tuần hoàn của nghiệm đối với các phương trình tiến hóa trừu tượng và mô hình động lực học thủy khí trên các miền không bị chặn mà không phụ thuộc vào phép nhúng compact truyền thống.

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

  1. Xây dựng hệ điều kiện cho các cặp không gian Banach $Y_1, Y_2$ và không gian nội suy thực $(Y_1, Y_2){\theta,\infty}$ cùng với toán tử sinh và nửa nhóm tương ứng để chứng minh sự tồn tại và duy nhất của nghiệm bị chặn của phương trình tiến hóa tổng quát $\frac{du(t)}{dt} + Au(t) = B(G(u))$ trên không gian $(Y_1, Y_2){\theta,\infty}$.
  2. Thiết lập tính ổn định tiệm cận (ổn định đa thức) của nghiệm bị chặn nhờ hệ bất đẳng thức đánh giá dạng $L^p - L^q$ và lý thuyết nội suy.
  3. Thiết lập sự tồn tại và duy nhất của nghiệm tuần hoàn thông qua tính $\phi$-ổn định có điều kiện của nửa nhóm toán tử, và nghiệm hầu tuần hoàn trên toàn trục thời gian $\mathbb{R}$.
  4. Áp dụng khung lý thuyết trừu tượng vào các phương trình cụ thể trong cơ học thủy khí: phương trình Navier-Stokes-Oseen, phương trình Navier-Stokes trong miền có lỗ thủng, phương trình Navier-Stokes trong không gian Besov, phương trình Ornstein-Uhlenbeck, phương trình truyền nhiệt với hệ số thô và phương trình truyền sóng.

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

  • Đối tượng nghiên cứu: Các phương trình tiến hóa tuyến tính, nửa tuyến tính dạng trừu tượng; các lớp phương trình động lực học thủy khí cụ thể (Navier-Stokes, Navier-Stokes-Oseen, phương trình truyền sóng, phương trình Ornstein-Uhlenbeck).
  • Phạm vi không gian: Miền $\Omega \subseteq \mathbb{R}^d$ ($d \ge 3$) không bị chặn về mọi hướng, miền ngoài, miền có lỗ thủng, và toàn không gian $\mathbb{R}^d$.
  • Phạm vi thời gian: Nửa trục thời gian không âm $\mathbb{R}_+ = [0, \infty)$ (xét bài toán giá trị ban đầu, tính bị chặn, tính ổn định, nghiệm tuần hoàn) và toàn trục thời gian $\mathbb{R} = (-\infty, \infty)$ (xét nghiệm hầu tuần hoàn).

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

Vấn đề nghiệm bị chặn và nghiệm tuần hoàn của phương trình Navier-Stokes và phương trình tiến hóa trên miền không bị chặn đã được khảo sát qua nhiều hướng tiếp cận trong y văn:

  • Hướng tiếp cận hình học: P. Maremonti (1991, 1993) và P. Maremonti - M. Padula (1996) khai thác các đặc trưng hình học đặc thù của miền (như tính đối xứng của $\Omega$) để bù đắp cho sự thiếu hụt của bất đẳng thức Poincaré.
  • Hướng tiếp cận không gian hàm phân rã: G. P. Galdi và H. Sohr (1995, 1997) đưa ra các không gian hàm có liên quan đến tốc độ phân rã của nghiệm ở vô cực để nghiên cứu tính bị chặn và tuần hoàn trên miền ngoài.
  • Hướng tiếp cận nội suy không gian Lorentz và sơ đồ Kato: M. Yamazaki (2000) khai thác đặc trưng nội suy của các không gian Lorentz yếu $L^{d,\infty}$ ($L^d$-yếu) kết hợp sơ đồ lặp của T. Kato (1984) để chứng minh sự tồn tại và ổn định của nghiệm đủ tốt tuần hoàn theo thời gian của phương trình Navier-Stokes trên miền ngoài cố định.
  • Hướng tiếp cận Ergodic và mở rộng dòng chảy: Nguyen Thieu Huy (2005, 2010) và M. Nguyen (2014) kết hợp phương pháp nội suy với lý thuyết Ergodic để khảo sát nghiệm tuần hoàn trong không gian nội suy đối với phương trình Navier-Stokes quanh vật cản quay tròn và các mô hình dòng chảy tổng quát.
  • Phương pháp năng lượng và hàm Lyapunov: Các công trình của J. L. Massera (1950), A. N. Tikhonov, Y. Shibata (2000, 2004), G. P. Galdi và A. L. Silvestre (2006, 2009) sử dụng đánh giá năng lượng, phương pháp Galerkin hoặc định lý điểm bất động Tikhonov.

Vị trí của luận án: Luận án của Vũ Thị Mai tổng quát hóa hướng tiếp cận của M. Yamazaki và Nguyen Thieu Huy bằng cách thiết lập hệ tiên đề điều kiện trừu tượng trên cặp không gian Banach $(Y_1, Y_2)$ và không gian nội suy thực $(Y_1, Y_2)_{\theta,\infty}$. Đồng thời, luận án đề xuất phương pháp tiếp cận trực tiếp dựa trên khái niệm $\phi$-ổn định có điều kiện của nửa nhóm để xây dựng nghiệm tuần hoàn mà không cần dùng đến tính compact của phép nhúng hay tính compact trong tôpô yếu$^*$, và mở rộng phân tích nghiệm hầu tuần hoàn trên toàn bộ trục thời gian $\mathbb{R}$.

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

Khung lý thuyết và khái niệm sử dụng

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

  • Lý thuyết nội suy không gian Banach: Sử dụng cặp nội suy $(X_0, X_1)$, phiếm hàm $K(t, x, X_0, X_1) = \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 $\theta \in (0, 1), q \in [1, \infty]$, không gian nội suy phức $[X_0, X_1]\theta$, định lý đối ngẫu cho không gian nội suy $((X_0, X_1){\theta,q})' = (X_0', X_1'){\theta,q'}$ (với $1/q + 1/q' = 1$) và $((X_0, X_1)^0_{\theta,\infty})' = (X_0', X_1')_{\theta,1}$.
  • 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}$ sinh bởi toán tử đóng $A$, cận tăng trưởng $\omega(T)$, nửa nhóm giải tích bị chặn trong quạt $\Sigma\delta = {\lambda \in \mathbb{C} : |\arg \lambda| < \delta} \setminus {0}$, nửa nhóm hyperbolic có nhị phân mũ với phép chiếu $P$ và các hằng số nhị phân $M, \nu > 0$.
  • Các không gian hàm giải tích: Không gian Lorentz $L^{p,q}(\Omega)$, không gian $L^p$-yếu $L^{p,\infty}(\Omega) = L^p_w(\Omega)$, không gian Lorentz solenoidal $L^{r,q}\sigma(\Omega) = (L^{r_0}\sigma(\Omega), L^{r_1}\sigma(\Omega)){\theta,q}$ thông qua phép chiếu Helmholtz $P$, bất đẳng thức Hölder yếu; không gian Besov thuần nhất $\dot{B}^s_{p,q}(\mathbb{R}^d)$ dựa trên phân hoạch Littlewood-Paley $(\dot{\Delta}j){j \in \mathbb{Z}}$; không gian hàm hầu tuần hoàn theo nghĩa Bohr trên $\mathbb{R}$ với giá trị trong không gian Banach.

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

  1. Phương pháp đánh giá đối ngẫu: Sử dụng cặp đối ngẫu giữa không gian nội suy thực $(Y_1, Y_2){\theta,\infty}$ và tiền đối ngẫu $(Z_1, Z_2){\theta,1}$ kết hợp tính dưới tuyến tính của toán tử $T: Z_1 + Z_2 \to L^{1/\alpha_1,\infty}(0,\infty) + L^{1/\alpha_2,\infty}(0,\infty)$ để thu được tính khả tích của chuẩn toán tử liên hợp.
  2. Phương pháp điểm bất động: Thiết lập ánh xạ tích phân dạng Picard trên hình cầu đóng $B_\rho \subset C_b(\mathbb{R}+, (Y_1, Y_2){\theta,\infty})$ và chứng minh tính co để thu được tính tồn tại và duy nhất của nghiệm đủ tốt (mild solution).
  3. Phương pháp đánh giá phân rã $L^p - L^q$: Kết hợp các đánh giá độ trơn của nửa nhóm và phân rã tiệm cận để xác định không gian trọng số thời gian $\mathcal{M} = { v : \sup_{t>0} t^{\beta-1} |v(t)|{(\Theta_1, \Theta_2){\zeta,\infty}} < \infty }$, từ đó suy ra tốc độ suy giảm của nhiễu loạn.
  4. Phương pháp $\phi$-ổn định có điều kiện: Xây dựng dãy Cauchy $(u(nT))_{n \in \mathbb{N}}$ trong không gian Banach $Y$ từ quỹ đạo bị chặn, từ đó xác định điểm ban đầu $u^*$ sinh ra nghiệm tuần hoàn duy nhất mà không thông qua nguyên lý Massera hay tính compact.

Nguồn tư liệu và dữ liệu nghiên cứu

Luận án thuộc loại hình nghiên cứu toán học thuần túy và toán ứng dụng; nguồn tư liệu là các công thức toán học, hệ phương trình đạo hàm riêng trừu tượng và các bài toán biên xuất phát từ cơ học chất lỏng lý thuyết.

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

Chương Tên chương Trọng tâm nghiên cứu
Chương 1 Kiến thức chuẩn bị Trình bày lý thuyết không gian nội suy (thực, phức), nửa nhóm toán tử ($C_0$, giải tích, hyperbolic), không gian Lorentz, Besov và hàm hầu tuần hoàn.
Chương 2 Nghiệm bị chặn của phương trình tiến hóa trong không gian nội suy Thiết lập sự tồn tại, duy nhất và ổn định đa thức của nghiệm bị chặn cho phương trình tuyến tính và nửa tuyến tính trên $(Y_1, Y_2)_{\theta,\infty}$; áp dụng cho lớp phương trình thủy khí tổng quát.
Chương 3 Nghiệm tuần hoàn và hầu tuần hoàn của phương trình tiến hóa Chứng minh nghiệm tuần hoàn qua tính $\phi$-ổn định có điều kiện; chứng minh nghiệm hầu tuần hoàn duy nhất trên toàn trục thời gian $\mathbb{R}$.
Chương 4 Một số ứng dụng Ứng dụng kết quả vào phương trình Navier-Stokes-Oseen, Navier-Stokes trong miền có lỗ thủng, trong không gian Besov, phương trình Ornstein-Uhlenbeck, truyền nhiệt hệ số thô và truyền sóng.

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

Chương 1 hệ thống hóa các kết quả cơ sở phục vụ cho các chứng minh trong luận án:

  • Định nghĩa cặp nội suy $(X_0, X_1)$, không gian tổng $X_0 + X_1$, không gian giao $X_0 \cap X_1$, không gian nội suy phức $[X_0, X_1]\theta$ qua dải $S = {x+iy \in \mathbb{C} : 0 \le x \le 1}$ và không gian nội suy thực $(X_0, X_1){\theta,q}$.
  • Mệnh đề về bao đóng $(X_0, X_1)^0_{\theta,\infty}$ của $X_0 \cap X_1$ trong $(X_0, X_1){\theta,\infty}$, định lý nội suy cho toán tử dưới tuyến tính $T$ thỏa mãn $|T(x)|{Y_i} \le M_i |x|_{X_i}$ dẫn tới chuẩn bị chặn bởi $M_0^{1-\theta} M_1^\theta$, và định lý đối ngẫu cho không gian nội suy thực.
  • Lý thuyết $C_0$-nửa nhóm $(e^{tA}){t \ge 0}$, nửa nhóm liên hợp yếu$^*$ $((e^{tA})'){t \ge 0}$, nửa nhóm giải tích trong miền quạt $\Sigma_\theta$, và nửa nhóm hyperbolic đặc trưng bởi phép chiếu nhị phân $P$ thỏa mãn $|T(t)x| \le M e^{-\nu t}|x|$ với $x \in \text{Im} P$ và $|T(t)x| \ge \frac{1}{M} e^{\nu t}|x|$ với $x \in \text{Ker} P$.
  • Không gian Lorentz $L^{p,q}(\Omega)$, chuẩn $|\cdot|{p,q}$, không gian $L^p$-yếu $L^{p,\infty}(\Omega)$, bất đẳng thức Hölder yếu $|fg|{r,w} \le C |f|{p,w} |g|{q,w}$ ($1/p + 1/q = 1/r$), phân rã Helmholtz $L^r(\Omega) = L^r_\sigma(\Omega) \oplus {\nabla p \in L^r(\Omega) : p \in L^r_{\text{loc}}(\bar{\Omega})}$.
  • Không gian Besov thuần nhất $\dot{B}^s_{p,q}(\mathbb{R}^d)$ xây dựng qua toán tử phân hoạch Littlewood-Paley $\dot{\Delta}j u = 2^{jd} \int{\mathbb{R}^d} h(2^j y)u(x-y)dy$.
  • Định nghĩa hàm hầu tuần hoàn $f: \mathbb{R} \to X$ và Bổ đề 1.2: Nếu $f$ hầu tuần hoàn và $\lim_{t \to +\infty} f(t) = 0$ thì $f \equiv 0$ trên $\mathbb{R}$.

Chương 2: Nghiệm bị chặn của phương trình tiến hóa trong 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 dạng tổng quát: $$u'(t) + Au(t) = Bg(t, u(t)), \quad t \ge 0$$ trong đó $-A$ là toán tử sinh của $C_0$-nửa nhóm $(e^{-tA}){t \ge 0}$ trong không gian nội suy $Y := (Y_1, Y_2){\theta,\infty}$, và $B$ là toán tử liên kết.

  1. Phương trình tiến hóa tuyến tính: Xét $\frac{du}{dt} + Au = Bf(t)$ với $u(0) = u_0 \in (Y_1, Y_2){\theta,\infty}$. Giả thiết $Y_i$ có tiền đối ngẫu $Z_i$ ($i=1,2$) sao cho $Z_1 \cap Z_2$ trù mật trong $Z_i$, và tồn tại các hằng số $\alpha_1 > 1 > \alpha_2 > 0$ thỏa mãn $|e^{-tA} B v|{Y_1} \le K t^{-\alpha_1}|v|X$, $|e^{-tA} B v|{Y_2} \le K t^{-\alpha_2}|v|X$. Bổ đề 2.2 chứng minh rằng nếu $1 = (1-\theta)\alpha_1 + \theta\alpha_2$, toán tử đối ngẫu thỏa mãn: $$\int_0^\infty |B' e^{-\tau A'} \phi|{X'} d\tau \le \tilde{M} |\phi|{(Z_1, Z_2){\theta,1}}, \quad \forall \phi \in (Z_1, Z_2){\theta,1}$$ Từ đó, Định lý 2.3 khẳng định tồn tại duy nhất nghiệm đủ tốt bị chặn $u \in C_b(\mathbb{R}+, (Y_1, Y_2){\theta,\infty})$ thỏa mãn: $$|u|{\infty, (Y_1, Y_2){\theta,\infty}} \le M |u_0|{(Y_1, Y_2){\theta,\infty}} + \tilde{M} |f|{\infty, X}$$

  2. Phương trình tiến hóa nửa tuyến tính: Với hàm $g(t, u)$ thỏa mãn điều kiện Lipschitz địa phương $|g(t, v_1) - g(t, v_2)|X \le L |v_1 - v_2|{(Y_1, Y_2){\theta,\infty}}$ và $|g(t, 0)|X \le \gamma$. Định lý 2.2 chứng minh rằng khi $|u_0|{(Y_1, Y_2){\theta,\infty}}$, $\gamma$ và $L$ đủ nhỏ, phương trình có duy nhất nghiệm đủ tốt bị chặn $\hat{u}$ trong hình cầu $B_\rho \subset C_b(\mathbb{R}+, (Y_1, Y_2){\theta,\infty})$.

  3. Tính ổn định của nghiệm bị chặn: Dưới Giả thiết 2.3 về sự tồn tại cặp nội suy $(\Theta_1, \Theta_2)$, số mũ $\beta_1 > 1 > \beta_2 > 0$, $\zeta = \frac{\beta_1 - 1}{\beta_1 - \beta_2}$, và số mũ phân rã $\beta > 1$ sao cho $|e^{-tA}\psi|{(\Theta_1, \Theta_2){\zeta,\infty}} \le M t^{1-\beta}|\psi|{(Y_1, Y_2){\theta,\infty}}$, Định lý 2.3 chứng minh nghiệm bị chặn $\hat{u}$ là ổn định đa thức: với mọi nghiệm $u$ có dữ liệu ban đầu gần $\hat{u}(0)$, hiệu hai nghiệm suy giảm theo quy luật: $$|u(t) - \hat{u}(t)|{(\Theta_1, \Theta_2){\zeta,\infty}} \le \frac{C}{t^{\beta-1}}, \quad \forall t > 0$$

  4. Tổng quát hóa cho động lực học thủy khí: Xét phương trình $u_t + Au = P\text{div}(G(u) + F(t))$ với $B := P\text{div}$. Khi chọn $Y_1 = L^{p_1,w}\sigma(\Omega)$, $Y_2 = L^{p_2,w}\sigma(\Omega)$ sao cho $(Y_1, Y_2){\theta,\infty} = L^d{\sigma,w}(\Omega)$, và chọn $(\Theta_1, \Theta_2){\zeta,\infty} = L^r{\sigma,w}(\Omega)$ với $r > d$, Định lý 2.7 khẳng định sự tồn tại, duy nhất của nghiệm bị chặn $\hat{u} \in C_b(\mathbb{R}+, L^d{\sigma,w}(\Omega))$ và tốc độ ổn định tiệm cận: $$|u(t) - \hat{u}(t)|_{r,w} \le \frac{C}{t^{\frac{1}{2} - \frac{d}{2r}}}, \quad \forall t > 0$$

Chương 3: Nghiệm tuần hoàn và hầu tuần hoàn của phương trình tiến hóa

  1. Nghiệm tuần hoàn qua tính $\phi$-ổn định có điều kiện: Nửa nhóm $(T(t))_{t \ge 0}$ được gọi là $\phi$-ổn định có điều kiện trên không gian Banach $Y$ nếu $|T(t)x|_Y \le \phi(t)|x|Y$ với mọi $x \in Y$ thỏa mãn $\sup{t \ge 0}|T(t)x|Y < \infty$, trong đó $\lim{t \to \infty}\phi(t) = 0$.
  • Nếu $\phi(t) = M e^{-\omega t}$ thì nửa nhóm là ổn định mũ có điều kiện.
  • Nếu $\phi(t) = M t^{-\alpha}$ thì nửa nhóm là ổn định đa thức có điều kiện.

Định lý 3.3 chứng minh rằng nếu phương trình tuyến tính $u'(t) = Au(t) + f(t)$ có một nghiệm bị chặn và $f$ là hàm $T$-tuần hoàn thì dãy $u(nT)$ là dãy Cauchy hội tụ về $u^* \in Y$. Nghiệm đủ tốt xuất phát từ $u^*$ là nghiệm $T$-tuần hoàn duy nhất $\hat{u}$ và thỏa mãn $|\hat{u}|{C_b(\mathbb{R}+, Y)} \le (M+T) \sup_{t} |T(t)| |f|{C_b(\mathbb{R}+, Y)}$. Định lý 3.4 mở rộng kết quả này cho phương trình nửa tuyến tính $u'(t) = Au(t) + g(u)(t)$ bằng nguyên lý ánh xạ co trên không gian các hàm $T$-tuần hoàn $B^T_\rho$.

  1. Nghiệm hầu tuần hoàn trên toàn trục thời gian: Xét phương trình tuyến tính $u_t + Au = P\text{div} F(t)$ trên $t \in \mathbb{R}$. Định lý 3.1 chứng minh rằng nếu trường ten-xơ bậc hai $F \in C_b(\mathbb{R}, L^{d/2}{\sigma,w}(\Omega)^{d \times d})$ là hầu tuần hoàn, phương trình có duy nhất nghiệm đủ tốt hầu tuần hoàn dạng tích phân: $$u(t) = \int_0^\infty e^{-\tau A} P\text{div} F(t-\tau) d\tau = \int{-\infty}^t e^{-(t-\tau)A} P\text{div} F(\tau) d\tau, \quad \forall t \in \mathbb{R}$$ Định lý 3.2 chứng minh đối với phương trình nửa tuyến tính $z_t + Az = P\text{div}(G(z) + F(t))$ trên $\mathbb{R}$, nếu $|F|{\infty, d/2, w}$ đủ nhỏ thì tồn tại duy nhất một nghiệm đủ tốt hầu tuần hoàn trong hình cầu đóng của $C_b(\mathbb{R}, L^d{\sigma,w}(\Omega))$.

Chương 4: Một số ứng dụng

Chương 4 áp dụng các định lý trừu tượng đã xây dựng ở Chương 2 và Chương 3 vào các hệ phương trình đạo hàm riêng cụ thể:

  1. Phương trình động lực học thủy khí:
    • Phương trình Navier-Stokes-Oseen: Mô tả dòng chảy qua vật cản chuyển động tịnh tiến hoặc xoay quanh một trục. Toán tử Oseen kết hợp số hạng đối lưu bậc một được chứng minh sinh ra nửa nhóm thỏa mãn các đánh giá $L^p - L^q$ yêu cầu.
    • Phương trình Navier-Stokes trong miền có lỗ thủng (perforated domains): Thiết lập sự tồn tại nghiệm bị chặn và ổn định khi biên có nhiều thành phần liên thông không compact.
    • Phương trình Navier-Stokes trong không gian Besov: Chứng minh nghiệm bị chặn và ổn định trong không gian Besov đồng nhất $\dot{B}^s_{p,q}(\mathbb{R}^d)$.
  2. Phương trình Ornstein-Uhlenbeck và phương trình truyền nhiệt với hệ số thô:
    • Ứng dụng toán tử Ornstein-Uhlenbeck $-\Delta + x \cdot \nabla$ trên các không gian trọng số Gauss.
    • Phương trình parabolic có hệ số không trơn (hệ số thô) thỏa mãn tính bị chặn và ổn định thông qua đánh giá nội suy.
  3. Nửa nhóm hyperbolic và phương trình truyền sóng:
    • Khảo sát phương trình sóng có số hạng tắt dần dạng $u_{tt} + \gamma u_t - \Delta u = f(t, u)$, đưa về hệ phương trình cấp một sinh bởi nửa nhóm hyperbolic có phép chiếu nhị phân mũ, từ đó rút ra tính bị chặn và tính hầu tuần hoàn của nghiệm sóng.

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

Luận án đã tự công bố các đóng góp mới về mặt lý thuyết giải tích và phương trình vi phân đạo hàm riêng:

  1. Về mặt lý luận toán học:

    • Xây dựng một hệ điều kiện tiên đề hoàn chỉnh trên các cặp không gian Banach $(Y_1, Y_2)$ và không gian nội suy thực $(Y_1, Y_2)_{\theta,\infty}$ cùng với các đánh giá đối ngẫu để chứng minh tính tồn tại, duy nhất và ổn định đa thức của nghiệm bị chặn cho phương trình tiến hóa nửa tuyến tính tổng quát trên miền không bị chặn.
    • Đưa ra phương pháp tiếp cận trực tiếp dựa trên khái niệm $\phi$-ổn định có điều kiện của $C_0$-nửa nhóm để chứng minh sự tồn tại và duy nhất của nghiệm tuần hoàn mà không đòi hỏi tính compact của toán tử giải hay tính compact yếu$^*$, làm đơn giản hóa đáng kể các chứng minh so với các phương pháp trước đây.
    • Thiết lập lý thuyết tồn tại, duy nhất và ổn định cho nghiệm đủ tốt hầu tuần hoàn trên toàn bộ trục thời gian $\mathbb{R}$ trong không gian Lorentz yếu $L^d_w(\Omega)$.

  2. Về mặt ứng dụng:

    • Giải quyết bài toán biên Maremonti (Bài toán A) cho phương trình Navier-Stokes và Navier-Stokes-Oseen trong các miền ngoài không bị chặn về mọi hướng và miền có lỗ thủng.
    • Mở rộng phạm vi áp dụng thành công của lý thuyết nội suy sang các phương trình đạo hàm riêng khác bao gồm phương trình Ornstein-Uhlenbeck, phương trình truyền nhiệt có hệ số thô và phương trình truyền sóng tắt dần gắn với nửa nhóm hyperbolic.

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

  • Hạn chế: Các kết quả về tính duy nhất và tính ổn định của nghiệm bị chặn, nghiệm tuần hoàn và hầu tuần hoàn đều đòi hỏi điều kiện "dữ liệu nhỏ" (chuẩn dữ liệu ban đầu $|u_0|$, chuẩn ngoại lực $|f|\infty$ hoặc $|F|\infty$, và hằng số Lipschitz $L, \gamma$ của toán tử phi tuyến phải đủ nhỏ). Khung giải tích chưa áp dụng trực tiếp cho nghiệm toàn cục với dữ liệu ban đầu lớn tùy ý.
  • Hướng nghiên cứu tiếp: Mở rộng nghiên cứu bài toán tồn tại nghiệm lớn (large solutions), khảo sát tính chất định tính của nghiệm trong các thang không gian hàm có độ trơn thấp hơn hoặc áp dụng cho các hệ chất lỏng phi Newton và phương trình từ thủy động lực học (MHD).

Giá trị tham khảo

  • Đố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 các chuyên ngành Toán giải tích, Phương trình vi phân và tích phân, Cơ học chất lỏng lý thuyết và Toán ứng dụng.
  • Nội dung tham khảo trọng tâm:
    • Chương 1 và Chương 2: Cung cấp kỹ thuật tính toán bất đẳng thức trên không gian nội suy thực $(Y_1, Y_2){\theta,\infty}$, kỹ thuật chuyển vế đối ngẫu với tiền đối ngẫu $(Z_1, Z_2){\theta,1}$, rất hữu ích để xử lý các bài toán biên thiếu tính nhúng compact.
    • Chương 3: Cung cấp sơ đồ chứng minh nghiệm tuần hoàn qua dãy Cauchy dựa trên tính $\phi$-ổn định có điều kiện, có thể áp dụng trực tiếp cho các phương trình tiến hóa trừu tượng khác.
    • Chương 4: Tài liệu tham khảo chi tiết về việc kiểm tra các điều kiện nửa nhóm đối với toán tử Stokes, Oseen và hyperbolic trong các miền hình học phức tạp.

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

1. Bài toán A do P. Maremonti đề xuất là gì và tại sao lại gặp khó khăn trên miền không bị chặn về mọi hướng?

Bài toán A (1991) đặt câu hỏi: Nếu ngoại lực $f(t, \cdot)$ bị chặn đều theo thời gian trong không gian Banach $X$, thì nghiệm $u(t, \cdot)$ của phương trình Navier-Stokes có bị chặn đều theo thời gian trong không gian Banach $Y$ hay không. Khi miền $\Omega$ không bị chặn về mọi hướng, bất đẳng thức Poincaré không còn đúng và các định lý nhúng Sobolev compact không còn khả dụng, khiến các phương pháp giải tích truyền thống dựa trên tính compact hoàn toàn thất bại.

2. Không gian nội suy thực nào được luận án lựa chọn để thiết lập tính bị chặn cho phương trình Navier-Stokes?

Luận án sử dụng không gian nội suy thực $(Y_1, Y_2){\theta,\infty}$ với $Y_1 = L^{p_1,w}\sigma(\Omega)$ và $Y_2 = L^{p_2,w}\sigma(\Omega)$, trong đó $1 < p_1 < \frac{d}{d-1} < p_2 < \frac{d}{d-2}$ và $\frac{1-\theta}{p_1} + \frac{\theta}{p_2} = \frac{1}{d}$. Không gian nội suy nhận được chính là không gian Lorentz solenoidal yếu $L^d{\sigma,w}(\Omega)$, với không gian tiền đối ngẫu tương ứng là $(L^{p'1,w}\sigma(\Omega), L^{p'2,w}\sigma(\Omega)){\theta,1} = L^{d/(d-1),1}\sigma(\Omega)$.

3. Khái niệm $\phi$-ổn định có điều kiện của nửa nhóm trong Chương 3 đóng vai trò gì?

Nửa nhóm $(T(t))_{t \ge 0}$ được gọi là $\phi$-ổn định có điều kiện nếu $|T(t)x|Y \le \phi(t)|x|Y$ đối với mọi quỹ đạo bị chặn ($\sup{t \ge 0}|T(t)x|Y < \infty$), với $\lim{t \to \infty}\phi(t) = 0$. Tính chất này cho phép chứng minh dãy điểm thời gian $(u(nT)){n \in \mathbb{N}}$ là một dãy Cauchy trong không gian Banach $Y$, từ đó xác định trực tiếp điểm ban đầu $u^$ của nghiệm tuần hoàn duy nhất mà không cần sử dụng định lý điểm bất động Tikhonov hay tính compact yếu$^$.

4. Nghiệm đủ tốt hầu tuần hoàn của phương trình tuyến tính trên toàn trục thời gian $\mathbb{R}$ được biểu diễn như thế nào?

Đối với phương trình $u_t + Au = P\text{div} F(t)$ trên $\mathbb{R}$ với $F$ là trường ten-xơ bậc hai hầu tuần hoàn, nghiệm đủ tốt hầu tuần hoàn duy nhất có biểu diễn tích phân tích chập: $$u(t) = \int_0^\infty e^{-\tau A} P\text{div} F(t-\tau) d\tau = \int_{-\infty}^t e^{-(t-\tau)A} P\text{div} F(\tau) d\tau, \quad \forall t \in \mathbb{R}$$

5. Kết quả của luận án đã được áp dụng cho những lớp phương trình vi phân cụ thể nào?

Kết quả được áp dụng thành công cho phương trình Navier-Stokes-Oseen, phương trình Navier-Stokes trong miền có lỗ thủng, phương trình Navier-Stokes trong không gian Besov thuần nhất $\dot{B}^s_{p,q}(\mathbb{R}^d)$, phương trình Ornstein-Uhlenbeck với số hạng đối lưu bậc một, phương trình truyền nhiệt có hệ số đo được không trơn (hệ số thô) và phương trình truyền sóng tắt dần gắn với nửa nhóm hyperbolic.

Kết luận

Luận án tiến sĩ của tác giả Vũ Thị Mai đã xây dựng một khung giải tích hoàn chỉnh về tính bị chặn, tính ổn định đa thức, tính tuần hoàn và hầu tuần hoàn của nghiệm phương trình tiến hóa trừu tượng trong không gian nội suy thực. Bằng cách kết hợp lý thuyết nửa nhóm, đánh giá đối ngẫu trên không gian Lorentz yếu và khái niệm $\phi$-ổn định có điều kiện, luận án đã giải quyết bài toán Maremonti và vượt qua rào cản thiếu vắng tính compact trên các miền không bị chặn. Các kết quả lý thuyết trừu tượng được kiểm chứng nhất quán thông qua nhiều ứng dụng thực tế trong động lực học thủy khí và phương trình đạo hàm riêng hiện đại.