Tổng quan luận án

Nhiều quá trình vật lý và kỹ thuật trong thực tế được mô tả thông qua các phương trình đạo hàm riêng ngẫu nhiên (SPDEs). Trong cơ học chất lưu, hệ phương trình Navier-Stokes giữ vai trò trung tâm. Tuy nhiên, việc nghiên cứu hệ Navier-Stokes ba chiều (3D) gặp phải những rào cản toán học lớn, đặc biệt là tính đặt đúng toàn cục của bài toán Cauchy hoặc bài toán biên ban đầu vẫn là một vấn đề mở kinh điển. Đồng thời, khi hệ số nhớt của chất lưu rất nhỏ (tương ứng với số Reynolds cao), việc mô phỏng và tính toán số trực tiếp nghiệm của hệ Navier-Stokes 3D trở nên bất khả thi ngay cả khi sử dụng các hệ thống tính toán hiệu năng cao. Để khắc phục hạn chế này, các nhà toán học đã đề xuất phương pháp chỉnh hóa hệ Navier-Stokes thành các $\alpha$-mô hình, bao gồm hệ Navier-Stokes-$\alpha$, hệ Leray-$\alpha$, hệ Leray-$\alpha$ cải biên, hệ Bardina đơn giản hóa và hệ Navier-Stokes-Voigt (N-S-V).

Mặc dù các $\alpha$-mô hình tất định đã được khảo sát ở nhiều khía cạnh, việc nghiên cứu dáng điệu tiệm cận của nghiệm đối với các $\alpha$-mô hình ngẫu nhiên 3D vẫn còn nhiều khoảng trống. Cụ thể:

  1. Đối với hệ Leray-$\alpha$ 3D ngẫu nhiên, bài toán khảo sát sự hội tụ của nghiệm ngẫu nhiên về nghiệm dừng của hệ tất định tương ứng khi thời gian dần tới vô cùng, cũng như cơ chế ổn định hóa nghiệm dừng khi nó không ổn định, chưa được giải quyết đầy đủ.
  2. Đối với hệ Navier-Stokes-Voigt 3D ngẫu nhiên, các kết quả trước đây chủ yếu dừng lại ở trường hợp không có trễ hoặc trễ hữu hạn, trong khi trường hợp trễ vô hạn chưa được nghiên cứu toàn diện.
  3. Đối với bài toán đồng hóa dữ liệu cho hệ Leray-$\alpha$ 3D, các công trình trước đây chỉ giới hạn ở dữ liệu lý tưởng không có sai số, chưa giải quyết trường hợp dữ liệu quan sát liên tục bị tác động bởi nhiễu ngẫu nhiên.

Luận án tiến sĩ toán học của nghiên cứu sinh Trần Quốc Tuấn, chuyên ngành Phương trình vi phân và tích phân (mã số 9 46 01 03), dưới sự hướng dẫn khoa học của GS. TS Cung Thế Anh tại Trường Đại học Sư phạm Hà Nội (năm 2023), được thực hiện nhằm giải quyết các khoảng trống lý thuyết nêu trên.

Mục đích nghiên cứu của luận án là tìm hiểu dáng điệu nghiệm và bài toán đồng hóa dữ liệu của một số $\alpha$-mô hình ngẫu nhiên trong cơ học chất lỏng. Đối tượng và phạm vi nghiên cứu được phân định thành ba nội dung cụ thể:

  • Nội dung 1: Khảo sát dáng điệu nghiệm của hệ Leray-$\alpha$ 3D ngẫu nhiên trên miền mở bị chặn với điều kiện biên Dirichlet thuần nhất.
  • Nội dung 2: Khảo sát dáng điệu nghiệm của hệ Navier-Stokes-Voigt 3D ngẫu nhiên có trễ vô hạn (xét trễ biến thiên không bị chặn, trễ phân phối và trễ tỉ lệ).
  • Nội dung 3: Nghiên cứu bài toán đồng hóa dữ liệu liên tục đối với hệ Leray-$\alpha$ 3D với dữ liệu quan sát có chứa nhiễu ngẫu nhiên.

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

Hệ phương trình Leray-$\alpha$ tất định được đề xuất bởi Cheskidov, Holm, Olson và Titi [23] như một mô hình chỉnh hóa của hệ Navier-Stokes 3D. Các tính chất về tính chính quy, xấp xỉ số, tốc độ hội tụ và dáng điệu tiệm cận của nghiệm của hệ tất định này đã được nghiên cứu trong các công trình của Guermond, Oden, Prudhomme [36], Olson, Titi [56] và các tác giả khác [30, 37]. Đối với trường hợp ngẫu nhiên, các vấn đề về nguyên lý độ lệch lớn, sự tồn tại và tính hội tụ của nghiệm hệ Leray-$\alpha$ ngẫu nhiên đã được khảo sát bởi Caraballo, Kloeden, Real [24], Sritharan, Sundar [59], cùng các nghiên cứu liên quan [39, 48, 49]. Vấn đề ổn định nghiệm của phương trình đạo hàm riêng thông qua nhiễu ngẫu nhiên hoặc điều khiển phản hồi đã được chỉ ra trong các công trình của Arnold [11], Caraballo [12], và Chow [22]. Tuy nhiên, bài toán xét nghiệm dừng tất định như một nghiệm ngẫu nhiên để đánh giá tốc độ hội tụ mũ, cũng như việc thiết kế điều khiển phản hồi cục bộ để ổn định hóa nghiệm dừng không ổn định cho hệ Leray-$\alpha$ 3D ngẫu nhiên, vẫn chưa được phân tích hệ thống.

Về phương pháp đồng hóa dữ liệu (Data Assimilation), đây là phương pháp kết hợp dữ liệu quan sát thực tế với các mô hình toán học động lực để dự báo các quá trình hải dương, khí quyển và môi trường. Phương pháp truyền thống chèn dữ liệu trực tiếp [33, 47] gặp trở ngại lớn khi các điểm đo phân bố rời rạc do không thể tính toán chính xác các đạo hàm không gian. Azouani, Olson và Titi [9, 10] đã đề xuất thuật toán đồng hóa dữ liệu dựa trên điều khiển phản hồi liên tục, khắc phục được nhược điểm của phương pháp cổ điển. Phương pháp này sau đó được mở rộng cho nhiều hệ phương trình động lực khác nhau [4, 7, 8, 37, 43]. Đối với dữ liệu có sai số ngẫu nhiên, Bessaih và cộng sự [13] đã nghiên cứu thuật toán đồng hóa cho hệ Navier-Stokes hai chiều. Gần đây, đồng hóa dữ liệu cho hệ Leray-$\alpha$ 3D được Alba, Farhat, Titi [1] và Biswas, Foias, Larios, Saha, Titi [14] nghiên cứu trên dữ liệu rời rạc và liên tục nhưng đều giả định dữ liệu không chứa sai số đo. Luận án chọn hướng đi giải quyết bài toán đồng hóa dữ liệu liên tục cho hệ Leray-$\alpha$ 3D với dữ liệu quan sát có nhiễu ngẫu nhiên.

Về hệ phương trình Navier-Stokes-Voigt (N-S-V), mô hình này được Oskolkov [57] đưa ra để mô tả chuyển động của chất lỏng nhớt đàn hồi tuyến tính và sau đó được Cao, Lunasin, Titi [26] đề xuất như một mô hình chỉnh hóa của phương trình Navier-Stokes 3D với tham số $\alpha$ nhỏ nhằm phục vụ mô phỏng số. Dáng điệu nghiệm và tập hút của hệ N-S-V 3D tất định đã được khảo sát trong [4, 21, 44]. Các mô hình N-S-V có trễ hữu hạn, trễ vô hạn hoặc có trí nhớ tiếp tục được phát triển trong [2, 17, 40, 54, 61]. Cung Thế Anh và cộng sự đã nghiên cứu sự tồn tại và tính ổn định của nghiệm dừng đối với hệ N-S-V ngẫu nhiên không có trễ. Dựa trên các kỹ thuật đánh giá phương trình ngẫu nhiên có trễ của Caraballo và cộng sự [62], luận án giải quyết bài toán dáng điệu nghiệm của hệ N-S-V 3D ngẫu nhiên có trễ vô hạn trên không gian pha thích hợp.

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

Luận án sử dụng khung giải tích hàm và giải tích ngẫu nhiên vô hạn chiều trên không gian Hilbert và không gian Banach.

  • Không gian hàm và toán tử cơ bản: Xét miền mở bị chặn $\mathcal{O} \subset \mathbb{R}^3$ với biên trơn $\partial \mathcal{O}$ (hoặc hình hộp $\mathcal{O} = [0, L]^3$ với điều kiện biên tuần hoàn). Các không gian hàm cơ bản bao gồm $H$ (bao đóng trong $(L^2(\mathcal{O}))^3$ của tập các trường vector trơn không phân kỳ) và $V$ (bao đóng trong $(H^1(\mathcal{O}))^3$ của tập các trường vector không phân kỳ triệt tiêu trên biên). Phép chiếu trực giao Leray ký hiệu là $P: (L^2(\mathcal{O}))^3 \to H$. Toán tử Stokes được định nghĩa bởi $A = -P\Delta$ với miền xác định $D(A) = (H^2(\mathcal{O}))^3 \cap V$. Toán tử $A$ là tự liên hợp, dương, có hệ giá trị riêng rời rạc $0 < \lambda_1 \le \lambda_2 \le \dots, \lambda_j \to +\infty$. Bất đẳng thức Poincaré có dạng $|u|^2 \ge \lambda_1 |u|^2$ với mọi $u \in V$. Toán tử song tuyến tính $B(u, v) = P((u\cdot\nabla)v)$ thỏa mãn các đánh giá liên tục trong không gian $V$ và $V'$.
  • Không gian ngẫu nhiên và tích phân ngẫu nhiên: Xét không gian xác suất đầy đủ $(\Omega, \mathcal{F}, \mathbb{P})$ với bộ lọc liên tục phải ${\mathcal{F}t}{t \ge 0}$. Quá trình ngẫu nhiên $W(t)$ là quá trình $Q$-Wiener nhận giá trị trong không gian Hilbert tách được $K$, với toán tử hiệp phương sai $Q$ đối xứng, xác định dương và có vết hữu hạn $\text{Tr}(Q) < \infty$. Quá trình này được biểu diễn dưới dạng chuỗi trực chuẩn $W(t) = \sum_{i=1}^\infty \sqrt{\mu_i} W_i(t) e_i$, trong đó ${W_i}$ là các quá trình Wiener tiêu chuẩn độc lập. Tích phân ngẫu nhiên được xây dựng cho các toán tử Hilbert-Schmidt thuộc $L_2(K_0, H)$ với $K_0 = Q^{1/2}K$.
  • Không gian pha cho phương trình có trễ vô hạn: Để xử lý số hạng trễ vô hạn, luận án sử dụng không gian pha Banach theo Hino et al. [53]: $$C_\gamma(V) = \left{ m \in C((-\infty, 0]; V) : \lim_{s \to -\infty} e^{\gamma s} m(s) \text{ tồn tại trong } V \right}$$ với chuẩn $|m|{C\gamma(V)} = \sup_{s \le 0} e^{\gamma s} |m(s)|$, trong đó $\gamma > 0$ là tham số suy giảm.

Phương pháp nghiên cứu kết hợp giữa các công cụ giải tích toán học thuần túy và lý thuyết xác suất hiện đại:

  1. Phương pháp xấp xỉ Galerkin kết hợp phương pháp compact và các định lý thác triển ngẫu nhiên để chứng minh tính đặt đúng và sự tồn tại nghiệm yếu.
  2. Phương pháp hàm Lyapunov ngẫu nhiên và công thức Itô dạng tích phân vô hạn chiều để khảo sát dáng điệu tiệm cận của nghiệm.
  3. Bất đẳng thức Martingale Burkholder-Davis-Gundy và Bổ đề Borel-Cantelli để chuyển từ tính ổn định theo kỳ vọng (bình phương trung bình) sang tính ổn định hầu chắc chắn.
  4. Kỹ thuật điều khiển toán học và nguyên lý phản hồi liên tục để ổn định hóa nghiệm dừng và xây dựng thuật toán đồng hóa dữ liệu.

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

Chương 1: Kiến thức cơ sở

Chương 1 hệ thống hóa các kiến thức nền tảng về không gian hàm, giải tích ngẫu nhiên và các bổ đề giải tích phục vụ trực tiếp cho các chứng minh trong luận án.

Nội dung chương trình bày chi tiết cấu trúc không gian hàm $H, V$ và đối ngẫu $V'$ cho cả hai trường hợp: miền mở bị chặn $\mathcal{O}$ với điều kiện biên Dirichlet thuần nhất và miền hình hộp $\mathcal{O} = [0, L]^3$ với điều kiện biên tuần hoàn. Các tính chất đại số và giải tích của toán tử Stokes $A$ cùng toán tử song tuyến tính $B(m, n) = P((m\cdot\nabla)n)$ được thiết lập, đặc biệt là các bất đẳng thức đánh giá chuẩn: $$|B(m, n), q| \le C_1 |m|^{1/4} |m|^{3/4} |n| |q|^{1/4} |q|^{3/4}, \quad \forall m, n, q \in V$$ $$|B(m, n), q| \le C_1 \lambda_1^{-1/4} |m| |n| |q|, \quad \forall m, n, q \in V$$

Về giải tích ngẫu nhiên, chương trình bày định nghĩa quá trình ngẫu nhiên khả trắc, đo được theo tiến trình, không gian các quá trình ngẫu nhiên khả tích $L^p(\Omega, \mathcal{F}_t, \mathbb{P}, C([0, T]; X))$, cấu trúc tích phân Itô trong không gian Hilbert đối với toán tử Hilbert-Schmidt và công thức Itô cho ánh xạ trơn trên không gian Hilbert. Bổ đề Burkholder-Davis-Gundy và Bổ đề Borel-Cantelli được phát biểu và đóng vai trò then chốt trong việc đánh giá chặn trên của các quá trình Martingale ngẫu nhiên.

Chương 2: Dáng điệu tiệm cận nghiệm của hệ Leray-$\alpha$ ba chiều ngẫu nhiên

Chương 2 nghiên cứu hệ phương trình Leray-$\alpha$ 3D ngẫu nhiên trên miền bị chặn $\mathcal{O} \subset \mathbb{R}^3$ với điều kiện biên Dirichlet thuần nhất: $$\begin{cases} dv + [-\nu\Delta v + (u\cdot\nabla)v + \nabla p]dt = f(x)dt + h(v)dW(t), & x \in \mathcal{O}, t > 0 \ \nabla \cdot u = 0, \quad v = (I - \alpha^2\Delta)u, & x \in \mathcal{O}, t > 0 \ u(x, t) = 0, \quad v(x, t) = 0, & x \in \partial\mathcal{O}, t > 0 \ u(x, 0) = u_0(x), & x \in \mathcal{O} \end{cases}$$ trong đó $u$ là vận tốc, $v = (I + \alpha^2 A)u$, $p$ là áp suất, $\nu > 0$ là hệ số nhớt, $f(x)$ là ngoại lực tất định và $h(v)dW(t)$ là số hạng nhiễu ngẫu nhiên nhân tính thỏa mãn điều kiện Lipschitz và điều kiện triệt tiêu tại nghiệm dừng $h(v^*) = 0$.

Chương thiết lập các kết quả giải tích chính:

  1. Tính đặt đúng và nghiệm dừng tất định: Khẳng định sự tồn tại duy nhất nghiệm yếu của hệ ngẫu nhiên. Đồng thời, chứng minh hệ Leray-$\alpha$ 3D tất định tương ứng tồn tại duy nhất nghiệm dừng $u^* \in V$ thỏa mãn $|v^| \le \frac{|f|}{\nu \lambda_1^{1/2}}$. Khi $\nu > \mu := C_1 \lambda_1^{-1/4} |v^|$, nghiệm dừng $u^*$ là duy nhất và ổn định mũ toàn cục.
  2. Tính ổn định bình phương trung bình theo tốc độ mũ: Khi giả thiết nhiễu thỏa mãn điều kiện Lipschitz $|h(v_1) - h(v_2)|_{L_2(K_0, H)}^2 \le \gamma_0 |v_1 - v_2|^2$ và điều kiện cấu trúc: $$2\nu - \frac{2\mu^2}{\nu} - \frac{\gamma_0}{\lambda_1} > 0$$ thì mọi nghiệm $u(t)$ của hệ ngẫu nhiên hội tụ tới nghiệm dừng $u^$ theo nghĩa bình phương trung bình với tốc độ mũ: $$\mathbb{E}|v(t) - v^|^2 \le \mathbb{E}|v(0) - v^*|^2 e^{-at}$$ với hằng số $a > 0$ thỏa mãn $a \lambda_1^{-1} - 2\nu + \frac{2\mu^2}{\nu} + \gamma_0 \lambda_1^{-1} < 0$.
  3. Tính ổn định hầu chắc chắn theo tốc độ mũ: Bằng việc áp dụng công thức Itô cho $|v(t) - v^|^2$, kết hợp đánh giá Martingale qua Bổ đề Burkholder-Davis-Gundy trên các đoạn thời gian rời rạc $[N, N+1]$ và Bổ đề Borel-Cantelli, chương chứng minh: $$\limsup_{t \to +\infty} \frac{1}{t} \ln |v(t) - v^| \le -\frac{a}{8} < 0, \quad \mathbb{P}\text{-hầu chắc chắn.}$$
  4. Ổn định hóa nghiệm dừng: Khi điều kiện ổn định tự nhiên không thỏa mãn (nghiệm dừng không ổn định), luận án đề xuất hai phương pháp ổn định hóa:
  • Ổn định hóa bằng nhiễu nhân tính Itô: Thêm vào hệ một nhiễu nhân tính có cường độ đủ lớn thỏa mãn $\sum_{i=1}^\infty (h(v)e_i^0, v - v^)^2 \ge \rho |v - v^|^4$. Khi đó, nếu $2\nu - \frac{2\mu^2}{\nu}\lambda_1 + 2\rho > \gamma_0$, nghiệm dừng được ổn định hóa theo cấp độ mũ hầu chắc chắn.
  • Ổn định hóa bằng điều khiển phản hồi cục bộ: Bổ sung số hạng điều khiển $1_{\mathcal{O}0} X dt = -\eta 1{\mathcal{O}_0} (v - v^) dt$ với giá đặt trên miền con mở $\mathcal{O}_0 \subset \mathcal{O}$. Chứng minh rằng khi miền vành khăn $\mathcal{O}_1 = \mathcal{O} \setminus \mathcal{O}_0$ đủ mỏng, giá trị riêng thứ nhất $\lambda_1^(\mathcal{O}_1)$ của toán tử Stokes trên $\mathcal{O}_1$ sẽ đủ lớn để triệt tiêu ảnh hưởng của nhiễu, làm cho hệ ổn định hóa được theo cấp độ mũ hầu chắc chắn.

Chương 3: Dáng điệu nghiệm của hệ N-S-V ba chiều ngẫu nhiên có trễ vô hạn

Chương 3 khảo sát hệ phương trình Navier-Stokes-Voigt 3D ngẫu nhiên có trễ vô hạn: $$\begin{cases} d(u - \alpha^2\Delta u) + [-\nu\Delta u + (u\cdot\nabla)u + \nabla p]dt = [f + g_1(t, u_t)]dt + g_2(t, u_t)dW(t), & (0, +\infty) \times \mathcal{O} \ \nabla \cdot u = 0, & (0, +\infty) \times \mathcal{O} \ u = 0, & (0, +\infty) \times \partial\mathcal{O} \ u(s, x) = \phi(s, x), & (-\infty, 0] \times \mathcal{O} \end{cases}$$ trong đó $u_t(s) = u(t+s)$ với $s \in (-\infty, 0]$ thuộc không gian pha $C_\gamma(V)$, $\alpha > 0$ là tham số đàn hồi, $g_1$ và $g_2$ là các hàm phi tuyến chứa trễ thỏa mãn các điều kiện Lipschitz và $g_2(t, u_\infty) = 0$.

Các kết quả đạt được trong chương bao gồm:

  1. Nghiệm dừng tất định: Chứng minh phương trình tất định tương ứng có nghiệm dừng duy nhất $u_\infty \in V$ khi $\nu > L_{g_1}$ và thỏa mãn điều kiện co: $$\frac{C_1 \lambda_1^{-1/4} |f|*}{\nu - L{g_1}} < \nu$$
  2. Tính ổn định bình phương trung bình địa phương: Đối với số hạng trễ vô hạn tổng quát thỏa mãn đánh giá tích phân: $$\int_0^t |g_1(s, u_s) - g_1(s, v_s)|{V'}^2 ds \le C{g_1}^2 \int_{-\infty}^t |u(s) - v(s)|^2 ds$$ luận án chứng minh nghiệm dừng $u_\infty$ có tính ổn định bình phương trung bình địa phương nếu: $$2\nu \ge \frac{2C_1 \lambda_1^{-1/4} |f|*}{\nu - L{g_1}} + 2C_{g_1} + C_{g_2}^2$$ Kết quả này được cụ thể hóa cho trường hợp trễ biến thiên không bị chặn $g_i(t, u_t) = G_i(u(t - h(t)))$ với $h'(t) \le h^* < 1$.
  3. Dáng điệu tiệm cận đối với trễ phân phối: Xét $g_i(t, u_t) = \int_{-\infty}^0 T_i(s, u(t+s))ds$ ($i=1, 2$). Bằng việc sử dụng bất đẳng thức Hölder và chuẩn trong không gian pha $C_\gamma(V)$, luận án chứng minh nghiệm ngẫu nhiên hội tụ về nghiệm dừng $u_\infty$ theo tốc độ mũ:
  • Ổn định bình phương trung bình theo tốc độ mũ: Tồn tại $\rho \in (0, 2\gamma)$ sao cho: $$\mathbb{E}|u_t - u_\infty|{C\gamma(V)}^2 \le e^{-\rho t} \max{1, C} \mathbb{E}|\phi - u_\infty|{C\gamma(V)}^2$$
  • Ổn định hầu chắc chắn theo tốc độ mũ: Tồn tại hằng số suy giảm mũ $\lambda > 0$ sao cho: $$\limsup_{t \to +\infty} \frac{1}{t} \ln |u(t) - u_\infty| \le -\lambda < 0, \quad \mathbb{P}\text{-hầu chắc chắn.}$$
  1. Dáng điệu tiệm cận đối với trễ tỉ lệ: Khi xét trễ tỉ lệ $h(t) = (1-q)t$ ($0 < q < 1$), nghiệm ngẫu nhiên không suy giảm theo quy luật mũ mà hội tụ theo quy luật đa thức. Luận án thiết lập các đánh giá chứng minh tính ổn định bình phương trung bình theo tốc độ đa thức và tính ổn định hầu chắc chắn theo tốc độ đa thức đối với nghiệm dừng $u_\infty$.

Chương 4: Bài toán đồng hóa dữ liệu liên tục cho hệ Leray-$\alpha$ ba chiều với dữ liệu có nhiễu ngẫu nhiên

Chương 4 thiết lập và giải quyết bài toán đồng hóa dữ liệu liên tục theo thời gian cho hệ Leray-$\alpha$ 3D khi các phép đo thực nghiệm bị ảnh hưởng bởi nhiễu ngẫu nhiên.

Nội dung chương tập trung vào các vấn đề:

  1. Mô hình đồng hóa dữ liệu: Dựa trên thuật toán điều khiển phản hồi liên tục của Azouani, Olson và Titi, hệ phương trình đồng hóa được thiết lập bằng cách đưa thêm một số hạng điều khiển phản hồi tỷ lệ với sai số giữa dữ liệu quan sát có nhiễu và nghiệm xấp xỉ của mô hình.
  2. Tính đặt đúng của bài toán đồng hóa: Chứng minh sự tồn tại và tính duy nhất của nghiệm yếu đối với hệ phương trình đồng hóa ngẫu nhiên trên khoảng thời gian $[0, T]$ và toàn cục theo thời gian.
  3. Định lý về sự hội tụ và đánh giá sai số: Thiết lập điều kiện cho tham số phản hồi và độ phân giải không gian của toán tử quan sát để chứng minh rằng nghiệm của hệ đồng hóa dữ liệu hội tụ tiệm cận về nghiệm chính xác của hệ Leray-$\alpha$ 3D gốc ban đầu. Luận án đưa ra đánh giá tường minh cho sai số tiệm cận kỳ vọng bình phương trung bình giữa nghiệm tái tạo và nghiệm thực, khẳng định sai số này tỷ lệ thuận với cường độ của nhiễu đo lường ngẫu nhiên và tiến về 0 khi mức độ nhiễu triệt tiêu.

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

Luận án mang lại các kết quả lý thuyết mới trong lĩnh vực phương trình đạo hàm riêng ngẫu nhiên và cơ học chất lưu:

Mô hình nghiên cứu Vấn đề khoa học giải quyết Kết quả và đóng góp mới của luận án
Hệ Leray-$\alpha$ 3D ngẫu nhiên Tính đặt đúng, dáng điệu nghiệm tiệm cận và ổn định hóa nghiệm dừng - Chứng minh tính đặt đúng toàn cục và thiết lập điều kiện đủ cho tính ổn định mũ bình phương trung bình và hầu chắc chắn của nghiệm dừng.
- Đề xuất và chứng minh hai cơ chế ổn định hóa nghiệm dừng không ổn định: bằng nhiễu nhân tính Itô cường độ lớn và bằng điều khiển phản hồi với giá đặt trên miền con mở.
Hệ N-S-V 3D ngẫu nhiên có trễ vô hạn Dáng điệu tiệm cận của nghiệm có trễ trong không gian pha $C_\gamma(V)$ - Thiết lập điều kiện đủ cho tính ổn định bình phương trung bình địa phương đối với trễ vô hạn tổng quát.
- Chứng minh tính ổn định mũ (bình phương trung bình và hầu chắc chắn) cho trường hợp trễ phân phối.
- Chứng minh tính ổn định đa thức (bình phương trung bình và hầu chắc chắn) cho trường hợp trễ tỉ lệ.
Đồng hóa dữ liệu cho hệ Leray-$\alpha$ 3D Xử lý dữ liệu quan sát liên tục có chứa sai số/nhiễu ngẫu nhiên - Xây dựng thuật toán đồng hóa dữ liệu liên tục có điều khiển phản hồi cho hệ Leray-$\alpha$ 3D có nhiễu.
- Chứng minh tính đặt đúng của hệ đồng hóa và thiết lập đánh giá chặn trên của sai số tiệm cận giữa nghiệm xấp xỉ và nghiệm thực.

Các kết quả nghiên cứu chính của luận án đã được công bố trong 02 bài báo khoa học trên các tạp chí quốc tế chuyên ngành uy tín và 01 công trình gửi đăng, đồng thời được báo cáo tại Seminar Bộ môn Giải tích, Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội.

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

Căn cứ trên các nội dung và phạm vi nghiên cứu được trình bày trong luận án, một số giới hạn và định hướng mở rộng bao gồm:

  • Luận án chỉ giới hạn khảo sát trên hai lớp mô hình cụ thể là hệ Leray-$\alpha$ 3D và hệ Navier-Stokes-Voigt 3D; các $\alpha$-mô hình khác như hệ Bardina ngẫu nhiên hay hệ Navier-Stokes-$\alpha$ đầy đủ chưa được đề cập.
  • Các quá trình ngẫu nhiên điều khiển nhiễu trong luận án hoàn toàn là quá trình Wiener (nhiễu Gauss trắng theo thời gian); chưa mở rộng cho các quá trình ngẫu nhiên có bước nhảy (quá trình Lévy hoặc nhiễu Poisson).
  • Bài toán đồng hóa dữ liệu mới chỉ xét trường hợp dữ liệu đo liên tục theo thời gian; bài toán đồng hóa dữ liệu rời rạc theo thời gian có kèm sai số ngẫu nhiên đối với các $\alpha$-mô hình 3D vẫn là vấn đề cần tiếp tục nghiên cứu hoàn thiện.

Giá trị tham khảo

Luận án là tài liệu tham 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 Phương trình vi phân và tích phân, Giải tích ngẫu nhiên và Toán ứng dụng trong cơ học chất lưu.
  • Các nhà nghiên cứu quan tâm đến kỹ thuật ước lượng năng lượng ngẫu nhiên, ứng dụng công thức Itô vô hạn chiều, phương pháp không gian pha $C_\gamma(V)$ xử lý trễ vô hạn (Chương 2 và Chương 3).
  • Các chuyên gia trong lĩnh vực mô hình hóa dự báo hải dương, khí quyển và khoa học dữ liệu quan tâm đến cơ sở giải tích của thuật toán đồng hóa dữ liệu liên tục có nhiễu (Chương 4).

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

1. Vì sao luận án lại tập trung nghiên cứu các $\alpha$-mô hình thay vì khảo sát trực tiếp hệ Navier-Stokes 3D ngẫu nhiên? Hệ Navier-Stokes 3D gặp phải vấn đề mở lớn về tính đặt đúng toàn cục chưa được chứng minh, đồng thời việc mô phỏng số trực tiếp khi hệ số nhớt nhỏ là bất khả thi. Các $\alpha$-mô hình (như Leray-$\alpha$ và N-S-V) đóng vai trò là các hệ chỉnh hóa giải tích, đảm bảo tính đặt đúng toàn cục và hỗ trợ hiệu quả cho mô phỏng số dòng chảy rối.

2. Điều kiện đủ để nghiệm dừng của hệ Leray-$\alpha$ 3D ngẫu nhiên ổn định mũ là gì? Điều kiện đủ được thiết lập tại Chương 2 là $2\nu - \frac{2\mu^2}{\nu} - \frac{\gamma_0}{\lambda_1} > 0$, trong đó $\nu$ là hệ số nhớt, $\lambda_1$ là giá trị riêng thứ nhất của toán tử Stokes, $\mu = C_1 \lambda_1^{-1/4} |v^*|$ phụ thuộc vào chuẩn của nghiệm dừng, và $\gamma_0$ là hằng số Lipschitz của hàm nhiễu $h(v)$.

3. Trong trường hợp nghiệm dừng của hệ Leray-$\alpha$ 3D không ổn định, luận án xử lý bằng cách nào? Luận án đề xuất hai kỹ thuật ổn định hóa: (1) Thêm nhiễu nhân tính Itô có cường độ suy biến thỏa mãn $\sum_{i=1}^\infty (h(v)e_i^0, v - v^)^2 \ge \rho |v - v^|^4$ đủ lớn; (2) Thiết kế điều khiển phản hồi $X = -\eta 1_{\mathcal{O}_0}(v - v^*)$ đặt cục bộ trên một miền con mở $\mathcal{O}_0$, lợi dụng tính chất giá trị riêng của miền vành khăn ngoài $\mathcal{O}_1$ để ổn định hóa nghiệm.

4. Không gian pha $C_\gamma(V)$ đóng vai trò gì trong việc xử lý hệ N-S-V 3D có trễ vô hạn? Không gian Banach $C_\gamma(V)$ cung cấp chuẩn đánh giá $|m|{C\gamma(V)} = \sup_{s \le 0} e^{\gamma s} |m(s)|$ với trọng số suy giảm mũ $e^{\gamma s}$, cho phép kiểm soát lịch sử của trường vận tốc trên toàn bộ khoảng thời gian quá khứ $(-\infty, 0]$, từ đó thiết lập các đánh giá tiên nghiệm và chứng minh tính ổn định mũ cho trễ phân phối và ổn định đa thức cho trễ tỉ lệ.

5. Sai số của thuật toán đồng hóa dữ liệu liên tục cho hệ Leray-$\alpha$ 3D có đặc điểm gì khi dữ liệu có nhiễu? Nghiệm của hệ đồng hóa dữ liệu không hội tụ tuyệt đối về 0 so với nghiệm thực mà hội tụ về một lân cận sai số tiệm cận. Luận án chứng minh rằng kỳ vọng bình phương sai số bị chặn trên bởi một đại lượng tỷ lệ thuận trực tiếp với phương sai của nhiễu ngẫu nhiên trong dữ liệu quan sát.

Kết luận

Luận án tiến sĩ của tác giả Trần Quốc Tuấn đã giải quyết có hệ thống bài toán dáng điệu tiệm cận của nghiệm và bài toán đồng hóa dữ liệu cho hai mô hình chất lưu quan trọng là hệ Leray-$\alpha$ 3D và hệ Navier-Stokes-Voigt 3D ngẫu nhiên. Luận án đã thiết lập các điều kiện giải tích tường minh cho tính ổn định mũ, tính ổn định đa thức của nghiệm dừng, đề xuất các cơ chế ổn định hóa bằng nhiễu ngẫu nhiên và điều khiển phản hồi, đồng thời chứng minh tính đặt đúng và đánh giá sai số cho thuật toán đồng hóa dữ liệu liên tục có nhiễu. Các kết quả này đóng góp những luận cứ toán học mới, làm phong phú thêm lý thuyết định tính của phương trình đạo hàm riêng ngẫu nhiên trong cơ học thủy khí hiện đại.