Tổng quan luận án
Tính cấp thiết và khoảng trống nghiên cứu
Hệ phương trình Navier-Stokes là hệ phương trình cơ bản trong cơ học chất lưu, mô tả chuyển động của chất lỏng lý tưởng, nhớt và không nén được thông qua các định luật bảo toàn khối lượng và động lượng: $$\frac{\partial u}{\partial t} - \nu \Delta u + (u \cdot \nabla)u + \nabla p = f(x, t), \quad \nabla \cdot u = 0$$ Mặc dù được thiết lập từ năm 1822, các bài toán về sự tồn tại nghiệm mạnh toàn cục và tính duy nhất của nghiệm yếu trong không gian ba chiều vẫn là thách thức lớn của toán học giải tích. Bên cạnh hệ cổ điển, hệ phương trình $g$-Navier-Stokes được đề xuất bởi J. Roh: $$\frac{\partial u}{\partial t} - \nu \Delta u + (u \cdot \nabla)u + \nabla p = f(x, t), \quad \nabla \cdot (gu) = 0$$ trong đó $g = g(x)$ là hàm số thực dương cho trước. Việc nghiên cứu hệ $g$-Navier-Stokes hai chiều xuất phát từ hai lý do chính:
- Hệ phương trình xuất hiện tự nhiên khi nghiên cứu hệ Navier-Stokes ba chiều trong miền mỏng $\Omega_g = \Omega \times (0, g)$ với $\Omega \subset \mathbb{R}^2$. Các tính chất của hệ $g$-Navier-Stokes hai chiều hỗ trợ việc khảo sát hệ Navier-Stokes trong miền mỏng ba chiều.
- Về mặt toán học, hệ $g$-Navier-Stokes là dạng tổng quát hóa của hệ Navier-Stokes cổ điển; khi $g = \text{const}$ (hoặc $g = 1$), bài toán quy về hệ Navier-Stokes tiêu chuẩn.
Trước thời điểm luận án thực hiện, các công trình đã công bố chủ yếu tập trung vào nghiệm yếu của hệ $g$-Navier-Stokes trên miền bị chặn với ngoại lực không phụ thuộc thời gian (hệ ô-tô-nôm). Các vấn đề trọng yếu còn bỏ ngỏ bao gồm:
- Khảo sát nghiệm và dáng điệu tiệm cận khi ngoại lực phụ thuộc thời gian (không ô-tô-nôm) trên các miền không bị chặn thỏa mãn bất đẳng thức Poincaré (nơi các phép nhúng Sobolev chỉ liên tục chứ không compact).
- Sự tồn tại, tính duy nhất, tính chính quy và dáng điệu tiệm cận của nghiệm mạnh.
- Nghiệm và dáng điệu tiệm cận khi ngoại lực chứa số hạng trễ vô hạn (mô hình đạo hàm riêng có trễ vô hạn chiều theo cả biến không gian và thời gian).
- Xấp xỉ số nghiệm mạnh trong khoảng thời gian hữu hạn và xấp xỉ dáng điệu tiệm cận của nghiệm mạnh.
Mục tiêu nghiên cứu
Luận án xác định ba mục tiêu nghiên cứu cụ thể:
- Chứng minh sự tồn tại và tính duy nhất của nghiệm yếu và nghiệm mạnh đối với hệ phương trình $g$-Navier-Stokes hai chiều.
- Khảo sát dáng điệu tiệm cận của nghiệm khi thời gian $t \to +\infty$ thông qua sự tồn tại của tập hút toàn cục, tập hút lùi và tính ổn định của nghiệm dừng.
- Xây dựng lược đồ và chứng minh sự hội tụ của nghiệm xấp xỉ nghiệm mạnh trong khoảng thời gian hữu hạn cũng như xấp xỉ dáng điệu tiệm cận của nghiệm mạnh.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Hệ phương trình $g$-Navier-Stokes hai chiều dưới các điều kiện biên Dirichlet thuần nhất, các họ toán tử liên kết phi tuyến, tập hút toàn cục, tập hút lùi, nghiệm dừng và các lược đồ xấp xỉ số.
- Phạm vi nghiên cứu:
- Nội dung 1: Sự tồn tại, tính duy nhất và dáng điệu tiệm cận của nghiệm yếu trên miền không nhất thiết bị chặn thỏa mãn bất đẳng thức Poincaré với ngoại lực phụ thuộc thời gian.
- Nội dung 2: Sự tồn tại, tính duy nhất, dáng điệu tiệm cận và các phương pháp xấp xỉ nghiệm mạnh của hệ $g$-Navier-Stokes hai chiều.
- Nội dung 3: Sự tồn tại, tính duy nhất và dáng điệu tiệm cận của nghiệm yếu của hệ $g$-Navier-Stokes hai chiều khi ngoại lực chứa số hạng trễ vô hạn.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu liên quan
Các công trình tổng quan và chuyên khảo của Temam (1983, 1995, 2001), Constantin và Foias (1988), Robinson (2001), Chepyzhov và Vishik (2002), Caraballo và Langa (2002, 2003) đã đặt nền móng cho lý thuyết giải tích và lý thuyết hệ động lực tiêu hao vô hạn chiều của các phương trình cơ học chất lưu.
Bên cạnh hệ Navier-Stokes chuẩn, nhiều dạng mở rộng và mô hình liên quan đã được phát triển:
- Mô hình $\alpha$ (Foias, Holm, Titi, 2001, 2002);
- Hệ Navier-Stokes-Voigt (Cao, Lunasin, Titi, 2008; Celebi, Kalantarov, 2006);
- Hệ Brinkman-Forchheimer (Celebi, Kalantarov, Ugurlu, 2005, 2006);
- Mô hình chất lỏng phi Newton (Diening, Malek, Steinhauer, 2008);
- Hệ chất lưu loại hai (Iftimie, 2002);
- Hệ ghép Bénard (Babin, Vishik, 1992; Foias, Manley, Temam, 1987) và hệ từ thủy động học (Sermange, Temam, 1983);
- Các mô hình tiệm cận trong cơ học chất lỏng (Amrouche, Girault, 1994; Bresch, Colin, 2002).
Đối với hệ $g$-Navier-Stokes, sau khi J. Roh giới thiệu mô hình trong các công trình năm 2004 và 2005, các nghiên cứu tiếp theo của Bae, Roh (2008, 2012), Jiang, Hou (2010, 2011), Yue, Zhong (2008), Kwak, Roh (2011) đã chứng minh sự tồn tại của nghiệm yếu và tập hút trong trường hợp miền bị chặn với điều kiện biên Dirichlet hoặc tuần hoàn, hoặc bài toán Cauchy trên toàn không gian $\mathbb{R}^2$.
Khoảng trống nghiên cứu được lựa chọn giải quyết
Luận án định vị nghiên cứu vào bốn bài toán chưa được giải quyết đầy đủ trong các công trình trước đó:
- Thiết lập tính giải được và cấu trúc tập hút lùi cho bài toán không ô-tô-nôm trên miền không bị chặn thỏa mãn bất đẳng thức Poincaré.
- Đánh giá cận trên tường minh cho số chiều fractal của tập hút lùi theo các thông số vật lý và hàm trọng số $g$.
- Nghiên cứu toàn diện không gian nghiệm mạnh, tập hút mạnh và bài toán xấp xỉ số nghiệm mạnh (cả trong khoảng thời gian hữu hạn và tiệm cận thời gian vô hạn).
- Khảo sát phương trình $g$-Navier-Stokes có trễ vô hạn trong không gian pha suy giảm pha nhớ (fading memory space).
Cơ sở lý thuyết và phương pháp nghiên cứu
Không gian hàm và toán tử
Luận án sử dụng hệ thống không gian hàm có trọng số $g(x)$:
- Không gian $L^2(\Omega, g) = (L^2(\Omega))^2$ với tích vô hướng $(u, v)g = \int\Omega u \cdot v , g(x) , dx$ và chuẩn $|u| = (u, u)_g^{1/2}$.
- Không gian $H_0^1(\Omega, g) = (H_0^1(\Omega))^2$ với tích vô hướng $((u, v))g = \sum{j=1}^2 \int_\Omega \nabla u_j \cdot \nabla v_j , g(x) , dx$ và chuẩn $|u| = ((u, u))_g^{1/2}$.
- Không gian $H_g$ là bao đóng của $\mathcal{V} = {u \in (\mathcal{C}_0^\infty(\Omega))^2 : \nabla \cdot (gu) = 0}$ trong $L^2(\Omega, g)$.
- Không gian $V_g$ là bao đóng của $\mathcal{V}$ trong $H_0^1(\Omega, g)$. Ta có dãy nhúng liên tục và trù mật: $V_g \subset H_g \equiv H_g' \subset V_g'$.
- Miền xác định của toán tử Stokes có trọng: $D(A) = {u \in V_g : Au \in H_g} = H^2(\Omega, g) \cap V_g$, với $Au = -P_g \Delta u$, trong đó $P_g$ là toán tử chiếu trực giao từ $L^2(\Omega, g)$ lên $H_g$.
- Toán tử phi tuyến $B(u, v) \in V_g'$ xác định bởi dạng tam tuyến tính: $$b(u, v, w) = \langle B(u, v), w \rangle = \sum_{j,k=1}^2 \int_\Omega u_j \frac{\partial v_k}{\partial x_j} w_k , g(x) , dx$$ thỏa mãn tính chất triệt tiêu $b(u, v, v) = 0$ và $b(u, v, w) = -b(u, w, v)$ với mọi $u, v, w \in V_g$.
- Toán tử phụ thuộc gradient trọng số $C: V_g \to H_g$ định nghĩa qua: $$(Cu, v)_g = \left( \left(\frac{\nabla g}{g} \cdot \nabla\right) u, v \right)_g = b\left(\frac{\nabla g}{g}, u, v\right)$$
Các công cụ giải tích và bổ đề then chốt
- Bất đẳng thức Ladyzhenskaya trong không gian hai chiều: $|u|_{L^4} \le c |u|^{1/2} |\nabla u|^{1/2}, \forall u \in H_0^1(\Omega)$.
- Đánh giá dạng tam tuyến tính $b(u, v, w)$ thông qua Bổ đề 1.1: $$|b(u, v, w)| \le c_1 |u|^{1/2} |u|^{1/2} |v| |w|^{1/2} |w|^{1/2}, \quad \forall u, v, w \in V_g$$ $$|b(u, v, w)| \le c_2 |u|^{1/2} |u|^{1/2} |v|^{1/2} |Av|^{1/2} |w|, \quad \forall u \in V_g, v \in D(A), w \in H_g$$ $$|b(u, v, w)| \le c_3 |u|^{1/2} |Au|^{1/2} |v| |w|, \quad \forall u \in D(A), v \in V_g, w \in H_g$$ $$|b(u, v, w)| \le c_4 |u| |v| |w|^{1/2} |Aw|^{1/2}, \quad \forall u \in H_g, v \in V_g, w \in D(A)$$
- Đánh giá toán tử $C$: $|Cu(t)| \le \frac{|\nabla g|\infty}{m_0} |u(t)|$ và $|Cu(t)|* \le \frac{|\nabla g|_\infty}{m_0 \lambda_1^{1/2}} |u(t)|$.
- Các bổ đề nhúng compact của Aubin-Lions và Temam cho miền không bị chặn kết hợp với hàm cắt cụt $\rho \in C_0^\infty(\mathbb{R}^+)$.
- Bất đẳng thức vi phân Gronwall và bổ đề điểm bất động Brouwer.
Phương pháp nghiên cứu
- Phương pháp xấp xỉ Faedo-Galerkin: Xây dựng dãy nghiệm xấp xỉ trong không gian hữu hạn chiều sinh bởi cơ sở trực chuẩn các hàm riêng của toán tử $A$, thiết lập các ước lượng tiên nghiệm trong các không gian năng lượng $L^\infty(\tau, T; H_g) \cap L^2(\tau, T; V_g)$, sau đó chuyển qua giới hạn yếu và *-yếu.
- Phương pháp hệ động lực tiêu hao: Sử dụng phương pháp hàm năng lượng và kỹ thuật thác triển nghiệm lùi để chứng minh tính compact tiệm cận lùi (pullback asymptotic compactness) trên miền không compact; áp dụng công thức vết kết hợp bất đẳng thức Lieb-Thirring để đánh giá số chiều fractal của tập hút lùi.
- Kỹ thuật phương trình đạo hàm riêng có trễ: Sử dụng không gian pha chứa lịch sử trạng thái với độ suy giảm hàm mũ để chuyển qua giới hạn các số hạng phi tuyến trễ vô hạn.
- Phương pháp giải tích số: Rời rạc hóa thời gian bằng lược đồ sai phân ẩn/hiện và rời rạc hóa không gian bằng phương pháp phần tử hữu hạn/Galerkin; đánh giá sai số tiên nghiệm và hậu nghiệm.
Nội dung chính theo từng chương
CẤU TRÚC BỐ CỤC BỐN CHƯƠNG CỦA LUẬN ÁN
Chương 1: Một số kiến thức chuẩn bị
Chương 1 thiết lập khung giải tích nền tảng cho toàn bộ luận án:
- Định nghĩa chi tiết các không gian Sobolev có trọng $H_g, V_g, D(A)$ và chứng minh tính tương đương chuẩn giữa chuẩn có trọng $| \cdot |, | \cdot |$ với chuẩn Lebesgue/Sobolev thông thường nhờ giả thiết chặn dưới và chặn trên $0 < m_0 \le g(x) \le M_0$.
- Xây dựng dạng toán tử trừu tượng cho bài toán: $$\frac{du}{dt} + \nu Au + B(u, u) + \nu Cu = f(t)$$
- Thiết lập hệ thống 4 đánh giá bất đẳng thức cho toán tử phi tuyến $b(u, v, w)$ (Bổ đề 1.1) và các đánh giá chuẩn đối ngẫu của toán tử $C$.
- Trình bày lý thuyết tập hút toàn cục đối với nửa nhóm liên tục $S(t)$, tập hấp thụ, tính compact tiệm cận và cấu trúc bất biến của tập hút $\mathcal{A}$.
- Trình bày lý thuyết tập hút lùi cho quá trình hai tham số ${U(t, \tau)}_{t \ge \tau}$, khái niệm họ hấp thụ lùi $\hat{B} \in \mathcal{D}$ và tính $\mathcal{D}$-compact tiệm cận lùi.
- Trình bày phương pháp vi phân Gateaux và kỹ thuật ước lượng số chiều fractal $d_F(K)$ của Chepyzhov-Vishik và Langa thông qua bài toán tuyến tính hóa biến phân: $$\frac{dv}{dt} = F'(U(t, \tau)u_0, t)v$$
Chương 2: Nghiệm yếu của hệ g-Navier-Stokes hai chiều
Chương 2 giải quyết trọn vẹn bài toán biên - ban đầu không ô-tô-nôm cho nghiệm yếu trên miền $\Omega \subset \mathbb{R}^2$ tùy ý (bị chặn hoặc không bị chặn) thỏa mãn ba giả thiết:
- (H1) Thỏa mãn bất đẳng thức Poincaré: Tồn tại $\lambda_1 > 0$ sao cho $\int_\Omega |\varphi|^2 g , dx \le \frac{1}{m_0 \lambda_1} \int_\Omega |\nabla \varphi|^2 g , dx, , \forall \varphi \in H_0^1(\Omega)$.
- (H2) Hàm trọng số $g \in C^1(\bar{\Omega})$, thỏa mãn $0 < m_0 \le g(x) \le M_0$ và $|\nabla g|\infty = \sup{x \in \Omega} |\nabla g(x)| < +\infty$.
- (H3) Hệ số hình học thỏa mãn điều kiện dương: $\gamma_0 = 1 - \frac{|\nabla g|_\infty}{m_0 \lambda_1^{1/2}} > 0$.
Luận điểm và kết quả chính của Chương 2:
-
Sự tồn tại và duy nhất nghiệm yếu: Với mọi $u_0 \in H_g$, $\tau \in \mathbb{R}$, bài toán tồn tại duy nhất nghiệm yếu $u \in L^\infty(\tau, T; H_g) \cap L^2(\tau, T; V_g)$ thỏa mãn ước lượng tiêu hao năng lượng: $$|u(t)|^2 \le e^{-\sigma(t-\tau)} |u_0|^2 + \frac{e^{-\sigma t}}{2\epsilon\nu} \int_{-\infty}^t e^{\sigma s} |f(s)|_*^2 , ds$$ với $\sigma = 2\nu\lambda_1(\gamma_0 - \epsilon)$ và $\epsilon \in (0, \gamma_0)$. Nghiệm phụ thuộc liên tục vào dữ kiện ban đầu trong chuẩn $H_g$.
-
Sự tồn tại của tập hút lùi $\hat{\mathcal{A}} = {A(t) : t \in \mathbb{R}}$: Do miền $\Omega$ không bị chặn, phép nhúng $V_g \hookrightarrow H_g$ không compact. Luận án vượt qua khó khăn này bằng phương pháp hàm cắt cụt $\rho(x)$ kết hợp kỹ thuật phân rã năng lượng: $$[u, v]_g = \nu ((u, v))_g + \frac{\nu}{2}\left( \left(\frac{\nabla g}{g} \cdot \nabla\right) u, v \right)_g + \frac{\nu}{2}\left( \left(\frac{\nabla g}{g} \cdot \nabla\right) v, u \right)g - \frac{\sigma}{2} (u, v)g$$ Qua đó chứng minh quá trình $U(t, \tau)$ là $\mathcal{D}\sigma$-compact tiệm cận lùi và tồn tại duy nhất tập $\mathcal{D}\sigma$-hút lùi $\hat{\mathcal{A}}$.
-
Đánh giá số chiều fractal của tập hút lùi: Giả sử $f \in L^\infty(-\infty, T^; V_g')$. Luận án chứng minh quá trình $U(t, \tau)$ thỏa mãn tính chất tựa vi phân và sử dụng bất đẳng thức Lieb-Thirring để đánh giá cận trên số chiều fractal: $$d_F(A(t)) \le \max\left{ 1, , \frac{\kappa |f|_{L^\infty(-\infty, T^; V_g')}^2}{16\nu^4 (\gamma_0 - \epsilon)^2 \epsilon^2 \lambda_1} \right}, \quad \forall t \in \mathbb{R}$$ trong đó $\kappa$ là hằng số chỉ phụ thuộc vào miền $\Omega$.
-
Trường hợp ô-tô-nôm: Khi $f \in V_g'$ không phụ thuộc thời gian, nửa nhóm liên tục $S(t)$ có một tập hút toàn cục compact $\mathcal{A}$ trong $H_g$ với số chiều fractal hữu hạn. Khi ngoại lực $f$ đủ nhỏ, tồn tại duy nhất nghiệm dừng $u^* \in V_g$ và nghiệm $u(t)$ hội tụ hàm mũ về $u^*$ khi $t \to +\infty$.
Chương 3: Nghiệm mạnh của hệ g-Navier-Stokes hai chiều
Chương 3 khảo sát hệ phương trình trong không gian nghiệm chính quy cấp cao:
- Khái niệm nghiệm mạnh: Nghiệm thỏa mãn $u \in L^\infty(0, T; V_g) \cap L^2(0, T; D(A))$ và $u' \in L^2(0, T; H_g)$ với dữ kiện ban đầu $u_0 \in V_g$ và ngoại lực $f \in L^2(0, T; H_g)$.
- Tồn tại và duy nhất: Sử dụng phương pháp Faedo-Galerkin với các hàm riêng của toán tử $Au = -P_g \Delta u$, kết hợp ước lượng tiên nghiệm cấp hai $|u(t)|^2$ và $\int_0^T |Au(t)|^2 , dt$.
- Dáng điệu tiệm cận: Chứng minh sự tồn tại của tập hút toàn cục $\mathcal{A}{V_g}$ trong không gian $V_g$, tính trơn của tập hút, và tính ổn định tiệm cận của nghiệm dừng mạnh khi $|f|{H_g}$ thỏa mãn điều kiện biên độ nhỏ.
- Xấp xỉ nghiệm mạnh:
- Xây dựng lược đồ sai phân toàn phần rời rạc hóa thời gian (bước thời gian $k$) và không gian (chiếu Galerkin chiều $m$).
- Chứng minh tính ổn định vô điều kiện của lược đồ xấp xỉ.
- Thiết lập tốc độ hội tụ của nghiệm xấp xỉ $u_m^n$ về nghiệm chính xác $u(t)$ trên đoạn thời gian hữu hạn $[0, T]$: $$|u(t_n) - u_m^n|{H_g}^2 + k \sum{j=1}^n |u(t_j) - u_m^j|{V_g}^2 \le C(T) (k^2 + \lambda{m+1}^{-1})$$
- Chứng minh tính hội tụ của tập hút của hệ rời rạc về tập hút toàn cục của bài toán liên tục khi $k \to 0, m \to \infty$ (xấp xỉ dáng điệu tiệm cận).
Chương 4: Hệ g-Navier-Stokes hai chiều với trễ vô hạn
Chương 4 mở rộng mô hình sang trường hợp ngoại lực chứa số hạng phụ thuộc lịch sử quá khứ với trễ vô hạn: $$\frac{\partial u}{\partial t} - \nu \Delta u + (u \cdot \nabla)u + \nabla p = f_0(x, t) + F(t, u_t), \quad \nabla \cdot (gu) = 0$$ trong đó $u_t(s) = u(t + s)$ với $s \in (-\infty, 0]$.
- Không gian pha: Luận án sử dụng không gian pha suy giảm pha nhớ $C_\gamma(H_g) = {\phi \in C((-\infty, 0]; H_g) : \lim_{s \to -\infty} e^{\gamma s} \phi(s) \text{ tồn tại trong } H_g}$ với chuẩn $|\phi|{C\gamma} = \sup_{s \le 0} e^{\gamma s} |\phi(s)|$.
- Giả thiết cho toán tử trễ $F$: Thỏa mãn điều kiện Lipschitz cục bộ và điều kiện tăng dưới tuyến tính theo lịch sử trễ.
- Sự tồn tại và duy nhất nghiệm yếu có trễ: Áp dụng phương pháp Galerkin cải biên, kết hợp đánh giá tiên nghiệm có trọng số thời gian và định lý compac Aubin-Lions để xử lý số hạng trễ vô hạn khi chuyển qua giới hạn.
- Nghiệm dừng và tính ổn định: Chứng minh sự tồn tại duy nhất của nghiệm dừng $u^*$ và chứng minh nghiệm suy giảm theo quy luật hàm mũ về nghiệm dừng khi các tham số nhớt $\nu$, hệ số trễ và hệ số Poincaré thỏa mãn điều kiện tiêu hao năng lượng.
Kết quả và những đóng góp mới
Tổng hợp các kết quả khoa học chính của luận án
| Chương | Đối tượng khảo sát | Không gian nghiệm | Điều kiện miền & Ngoại lực | Kết quả đạt được |
|---|---|---|---|---|
| Chương 2 | Nghiệm yếu | $L^\infty(\tau, T; H_g) \cap L^2(\tau, T; V_g)$ | Miền $\Omega$ thỏa mãn Poincaré; $f(t)$ không ô-tô-nôm | - Tồn tại & duy nhất nghiệm yếu. - Tồn tại tập hút lùi $\hat{\mathcal{A}}$ trong $H_g$. - Cận trên số chiều fractal $d_F(A(t))$. - Tập hút toàn cục & nghiệm dừng khi $f$ ô-tô-nôm. |
| Chương 3 | Nghiệm mạnh | $L^\infty(0, T; V_g) \cap L^2(0, T; D(A))$ | Miền $\Omega$ trơn bị chặn; $f \in H_g$ | - Tồn tại & duy nhất nghiệm mạnh. - Tồn tại tập hút toàn cục trong $V_g$. - Tính ổn định nghiệm dừng mạnh. - Lược đồ xấp xỉ số ổn định và hội tụ trong thời gian hữu hạn & tiệm cận vô hạn. |
| Chương 4 | Nghiệm yếu có trễ vô hạn | $C((-\infty, T]; H_g) \cap L^2(\tau, T; V_g)$ | Không gian pha $C_\gamma(H_g)$; số hạng trễ $F(t, u_t)$ | - Tồn tại & duy nhất nghiệm yếu có trễ vô hạn. - Sự tồn tại duy nhất của nghiệm dừng. - Tính ổn định tiệm cận hàm mũ của nghiệm dừng. |
Đóng góp mới về mặt lý luận
- Thiết lập hoàn chỉnh lý thuyết giải tích cho hệ $g$-Navier-Stokes hai chiều không ô-tô-nôm trên miền không bị chặn thỏa mãn bất đẳng thức Poincaré, giải quyết rào cản mất tính nhúng compact bằng phương pháp năng lượng và hàm cắt cụt.
- Đưa ra công thức hiển đánh giá cận trên cho số chiều fractal của tập hút lùi phụ thuộc trực tiếp vào độ nhớt $\nu$, hằng số Poincaré $\lambda_1$, chuẩn ngoại lực $|f|{L^\infty(-\infty, T^*; V_g')}$ và đại lượng hình học $\gamma_0 = 1 - \frac{|\nabla g|\infty}{m_0 \lambda_1^{1/2}}$.
- Xây dựng lý thuyết nghiệm mạnh và phân tích số cho hệ $g$-Navier-Stokes hai chiều, cung cấp cơ sở toán học cho các lược đồ rời rạc hóa và xấp xỉ tập hút.
- Mở rộng thành công mô hình $g$-Navier-Stokes sang lớp phương trình đạo hàm riêng có trễ vô hạn, làm phong phú lý thuyết hệ động lực trễ trong cơ học chất lưu.
Công bố khoa học từ luận án
Các kết quả chính của luận án đã được công bố trong 03 bài báo trên các tạp chí chuyên ngành quốc tế/quốc gia và 01 bài gửi đăng, đồng thời được báo cáo tại các xê-mi-na chuyên môn của Học viện Kỹ thuật Quân sự, Trường Đại học Khoa học Tự nhiên (ĐHQG Hà Nội), Trường Đại học Sư phạm Hà Nội, Viện Toán ứng dụng và Tin học (Đại học Bách khoa Hà Nội) và Hội nghị khoa học trẻ HVKTQS năm 2011.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế gắn với phạm vi nghiên cứu
- Các kết quả toán học trong luận án được thiết lập cho trường hợp không gian hai chiều ($n = 2$). Trường hợp ba chiều ($n = 3$) chưa được khảo sát do những khó khăn nội tại chưa giải quyết được về tính duy nhất nghiệm yếu và tính chính quy toàn cục của hệ Navier-Stokes ba chiều.
- Hàm trọng số $g(x)$ đòi hỏi điều kiện khả vi $C^1$ và bị chặn dưới dương ($g(x) \ge m_0 > 0$), chưa mở rộng cho trường hợp trọng suy biến hoặc đổi dấu.
- Đánh giá số chiều fractal của tập hút lùi yêu cầu ngoại lực bị chặn đều theo thời gian lùi ($f \in L^\infty(-\infty, T^*; V_g')$).
Hướng nghiên cứu tiếp theo
Luận án đề xuất bốn hướng nghiên cứu mở rộng:
- Nghiên cứu hệ phương trình $g$-Navier-Stokes trong không gian ba chiều hoặc trong miền mỏng ba chiều $\Omega \times (0, \epsilon g)$ khi tham số $\epsilon \to 0$.
- Khảo sát tính chính quy cấp cao của nghiệm (tính giải tích theo thời gian, không gian Gevrey) và cấu trúc tập điểm kỳ dị.
- Nghiên cứu bài toán điều khiển tối ưu và bài toán điều khiển được (biên hoặc miền) đối với hệ phương trình $g$-Navier-Stokes.
- Khảo sát hệ $g$-Navier-Stokes ngẫu nhiên (chứa số hạng nhiễu ngẫu nhiên Ito hoặc Stratonovich) và tập hút ngẫu nhiên (random attractors).
Giá trị tham khảo
Đối tượng thụ hưởng học thuật
- Nghiên cứu sinh và học viên cao học ngành Toán ứng dụng, Giải tích, Toán cơ: Tài liệu tham khảo về việc áp dụng phương pháp Faedo-Galerkin, phương pháp năng lượng, lý thuyết hệ động lực tiêu hao vô hạn chiều trên miền không compact và lý thuyết phương trình đạo hàm riêng có trễ.
- Giảng viên và nhà nghiên cứu giải tích phương trình đạo hàm riêng: Cung cấp các kỹ thuật xử lý số hạng phi tuyến $b(u, v, w)$ và toán tử phụ $C(u)$ liên kết với hàm trọng số trong cơ học chất lưu.
- Các nhà nghiên cứu trong lĩnh vực cơ học tính toán và mô phỏng dòng chảy: Cung cấp cơ sở lý thuyết chứng minh tính ổn định và sự hội tụ của các lược đồ sai phân/phần tử hữu hạn mô phỏng chất lưu trong các miền hình học phức tạp hoặc miền mỏng.
Các phần có giá trị kế thừa cao
- Bổ đề 1.1 và các đánh giá tiên nghiệm đối với toán tử phi tuyến và toán tử $C$.
- Kỹ thuật sử dụng dạng song tuyến tính đối xứng $[u, v]_g$ để khắc phục tính không compact trên miền không bị chặn trong Chương 2.
- Quy trình đánh giá số chiều fractal thông qua công thức vết và bất đẳng thức Lieb-Thirring.
- Khung giải tích xử lý số hạng trễ vô hạn trong không gian pha suy giảm $C_\gamma(H_g)$ tại Chương 4.
Câu hỏi thường gặp
1. Hệ phương trình $g$-Navier-Stokes khác gì so với hệ phương trình Navier-Stokes cổ điển?
Hệ $g$-Navier-Stokes đưa thêm hàm trọng số dương $g(x)$ vào phương trình bảo toàn khối lượng $\nabla \cdot (gu) = 0$. Về mặt giải tích, điều này làm xuất hiện thêm toán tử đạo hàm bậc một có trọng $Cu = \left(\frac{\nabla g}{g} \cdot \nabla\right) u$ trong phương trình toán tử. Khi $g(x) = \text{const}$ (hoặc $g = 1$), hệ $g$-Navier-Stokes quy về hệ Navier-Stokes cổ điển.
2. Ý nghĩa hình học và vật lý của hàm trọng số $g(x)$ là gì?
Hệ $g$-Navier-Stokes hai chiều xuất hiện tự nhiên khi mô hình hóa dòng chảy của chất lưu Navier-Stokes ba chiều trong một miền mỏng có độ dày thay đổi $\Omega_g = {(x_1, x_2, x_3) \in \mathbb{R}^3 : (x_1, x_2) \in \Omega, 0 < x_3 < g(x_1, x_2)}$. Hàm $g(x_1, x_2)$ biểu thị bề dày cục bộ của lớp chất lưu.
3. Tại sao việc nghiên cứu tập hút trên miền không bị chặn lại phức tạp hơn miền bị chặn?
Trên miền bị chặn, theo định lý Rellich-Kondrachov, phép nhúng Sobolev $V_g \hookrightarrow H_g$ là compact, giúp việc chứng minh tính compact tiệm cận của nửa nhóm hoặc quá trình được thực hiện trực tiếp. Trên miền không bị chặn, phép nhúng này chỉ liên tục chứ không compact. Do đó, luận án phải sử dụng kỹ thuật hàm cắt cụt $\rho(x)$ kết hợp với phân rã năng lượng qua chuẩn tương đương $[u]_g$ để chứng minh tính compact tiệm cận lùi.
4. Điều kiện $\gamma_0 = 1 - \frac{|\nabla g|_\infty}{m_0 \lambda_1^{1/2}} > 0$ có vai trò gì trong các chứng minh?
Điều kiện $\gamma_0 > 0$ bảo đảm rằng số hạng nhớt tiêu tán năng lượng $\nu ((u, u))_g$ khống chế được số hạng sinh ra từ gradient của hàm trọng $\nu (Cu, u)_g$. Khi điều kiện này thỏa mãn, toán tử vi phân có tính chất bức và bảo đảm tính tiêu hao năng lượng cần thiết để nghiệm bị chặn và tồn tại tập hút.
5. Kết quả đánh giá số chiều fractal của tập hút lùi phản ánh điều gì?
Đánh giá $d_F(A(t)) \le \max\left{ 1, , \frac{\kappa |f|_{L^\infty}^2}{16\nu^4 (\gamma_0 - \epsilon)^2 \epsilon^2 \lambda_1} \right}$ chứng minh rằng mặc dù hệ động lực $g$-Navier-Stokes là vô hạn chiều, nhưng về mặt tiệm cận dài hạn, các trạng thái dừng và nghiệm của hệ bị giam giữ trong một tập hợp có số chiều fractal hữu hạn. Do đó, theo định lý Mañé-Hölder cải biên, động lực tiệm cận của hệ có thể được biểu diễn và mô phỏng hiệu quả thông qua một hệ hữu hạn chiều các thông số.
Kết luận
Luận án tiến sĩ của Đào Trọng Quyết đã giải quyết có hệ thống các bài toán nền tảng về tính giải được, dáng điệu tiệm cận và tính toán xấp xỉ số cho hệ phương trình $g$-Navier-Stokes hai chiều. Các kết quả đạt được trải rộng từ bài toán nghiệm yếu phi ô-tô-nôm trên miền không bị chặn, bài toán nghiệm mạnh và xấp xỉ số, đến mô hình hệ động lực có trễ vô hạn. Công trình cung cấp các đánh giá toán học tường minh về số chiều fractal của tập hút lùi và điều kiện ổn định của nghiệm dừng, đóng góp các cơ sở lý luận cho lý thuyết phương trình đạo hàm riêng và cơ học chất lưu.