Tổng quan về luận án

Nghiên cứu về các phương trình đạo hàm riêng ngẫu nhiên (Stochastic Partial Differential Equations - SPDEs) và bài toán ngược (Inverse Problems) là một trong những địa hạt tiên phong của Giải tích Toán học hiện đại. Luận án tiến sĩ chuyên ngành Toán giải tích (mã số: 9460102) với đề tài "Một số phương trình khuếch tán có yếu tố ngẫu nhiên" do Nghiên cứu sinh Trần Ngọc Thạch thực hiện dưới sự hướng dẫn của PGS. Nguyễn Huy Tuấn và TS. Nguyễn Minh Quân tại Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia TP. Hồ Chí Minh (2023), tập trung giải quyết toàn diện tính chỉnh (well-posedness), tính không chỉnh (ill-posedness) và thiết lập các thuật toán chỉnh hóa (regularization) cho bốn lớp mô hình khuếch tán ngẫu nhiên cốt lõi.

Khoảng trống nghiên cứu (Research Gap) lớn nhất trong y văn quốc tế xuất phát từ thực tế: trong nhiều thập kỷ qua, bài toán ngược thời gian (backward problem) cho phương trình khuếch tán tất định đã được khảo sát sâu rộng từ các công trình kinh điển của Lavrentiev (1967), Lattes và Lions (1969), Miller (1970), Payne (1975) đến Showalter (1983). Tuy nhiên, đối với phương trình khuếch tán ngẫu nhiên chịu tác động của nhiễu trắng (white noise) và chuyển động Brown phân thứ (fractional Brownian motion - fBm), các nghiên cứu của Lu và Zhang (2012, 2016), Johansson (2007) chỉ dừng lại ở đánh giá Carleman hoặc bài toán thuận (forward problem), hoàn toàn để ngỏ việc chứng minh tính không chỉnh theo nghĩa Hadamard và kỹ thuật chỉnh hóa nghiệm trên không gian Hilbert ngẫu nhiên $L^2(\Omega, H)$, đặc biệt khi tham số Hurst thuộc miền kỳ dị $h \in (0, 1/2)$.

Luận án đặt ra và giải quyết 4 nhóm câu hỏi nghiên cứu (RQ) và giả thuyết khoa học (H) cụ thể:

  • RQ1 & H1: Phương trình truyền nhiệt ngẫu nhiên $u_t(t) + \nu(t)Au(t) = f(t) + \sigma(t)\dot{W}(t)$ có thỏa mãn tính ổn định nghiệm ngược thời gian hay không? Giả thuyết $H_1$ khẳng định nghiệm bất ổn định nghiêm trọng do toán tử tiến hóa $\mathcal{A}(t, s)$ không bị chặn, đòi hỏi cấu trúc toán tử lọc $B_\alpha$ để khôi phục bậc hội tụ.
  • RQ2 & H2: Phương trình bi-parabolic ngẫu nhiên $(\partial_t + A)^2 u(t) = f(t) + \sigma(t)\dot{W}^h(t)$ với $h \in (1/2, 1)$ có tồn tại nghiệm nhẹ duy nhất và bất ổn định thế nào dưới chuẩn $L^2(\Omega, H)$? Giả thuyết $H_2$ chỉ ra nghiệm suy biến dạng mũ đối với các tần số cao trong biểu diễn chuỗi Fourier trực chuẩn.
  • RQ3 & H3: Phương trình giả parabolic (pseudo-parabolic) $u_t(t) + \alpha A u_t(t) + A^\beta u(t) = f(t) + \sigma(t)\dot{W}^h(t)$ biến thiên tính chất ra sao khi tham số $\beta$ thay đổi? Giả thuyết $H_3$ đột phá chỉ ra rằng bài toán là chỉnh (well-posed) khi $\beta \in (0, 1]$ và chuyển pha sang không chỉnh (ill-posed) khi $\beta > 1$.
  • RQ4 & H4: Phương trình khuếch tán phản ứng phi tuyến chứa đạo hàm Riemann-Liouville $\partial_t u(t) + \partial_t^{1-\alpha} Au(t) = f(t, u(t)) + \sigma(t)\dot{W}^h(t)$ với $h \in (0, 1/2) \cup (1/2, 1)$ xử lý các nhân kỳ dị Mittag-Leffler như thế nào? Giả thuyết $H_4$ khẳng định sự kết hợp giữa định lý điểm bất động Banach và kỹ thuật chặt cụt Fourier cho phép chỉnh hóa tối ưu.

Khung lý thuyết của công trình được định vị trên nền tảng Giải tích hàm, Lý thuyết toán tử trong thang không gian Hilbert $H^s$, Giải tích ngẫu nhiên Itô, Tích phân Wiener ngẫu nhiên và Giải tích phân thứ. Đóng góp đột phá của luận án được định lượng thông qua việc công bố thành công 4 công trình khoa học chuyên sâu trên các tạp chí quốc tế thuộc danh mục uy tín: Journal of Inverse and Ill-posed Problems, Asymptotic Analysis, Stochastics and Dynamics, và Bulletin des Sciences Mathématiques. Phạm vi nghiên cứu bao quát miền không gian bị chặn $D \subset \mathbb{R}^d$ ($d \ge 1$), biên trơn trơn $\partial D$, toán tử đối xứng dương xác định $A = -\Delta$, khung thời gian $t \in [0, T]$ và cấp độ nhiễu quan sát $\delta \in (0, 1)$.

Literature Review và Positioning

Các khuynh hướng nghiên cứu bài toán ngược cho phương trình parabolic bắt đầu định hình từ những năm 1960. Dòng nghiên cứu cổ điển tập trung vào phương trình nhiệt tất định thuần nhất thông qua phương pháp tựa nghịch đảo (quasi-reversibility method) của Lattes và Lions (1969), Alekseeva và Yurchuk (1976), Huang và Zheng (2005) hoặc phương pháp giá trị tựa biên (quasi-boundary value method) do Showalter (1983), Clark và Oppenheimer (1994), Melnikova (2001) khởi xướng. Dòng nghiên cứu thứ hai mở rộng sang bài toán không thuần nhất và phi tuyến với đóng góp của Klibanov và Yagola (2019), Đinh Nho Hào và Nguyễn Văn Đức (2011), Đặng Đức Trọng, Phạm Hoàng Quân, Nguyễn Huy Tuấn và Trần Vũ Khanh (2015, 2018).

Tuy nhiên, sự xung đột và tranh luận học thuật (scholarly debates) sâu sắc nảy sinh giữa hai quan điểm:

  1. Quan điểm tất định khép kín: Cho rằng các ngoại lực và nguồn phát nhiệt trong môi trường thực tế hoàn toàn có thể kiểm soát và ước lượng được bằng các hàm giải tích thuần túy $f(x, t)$.
  2. Quan điểm ngẫu nhiên hiện đại: Đại diện bởi Chen (2014), Foondun, Liu và Nane (2017), Tindel và Nualart (2010), Tomas Caraballo và Ouahab (2019), lập luận rằng các dao động vi mô không thể kiểm soát trong vật liệu xốp, dòng chảy rối hay biến động thị trường tài chính bắt buộc phải được mô hình hóa bằng các quá trình ngẫu nhiên như chuyển động Brown thông thường $W(t)$ hoặc chuyển động Brown phân thứ $W^h(t)$ với bộ nhớ dài ($h > 1/2$) hoặc biến thiên thô ($h < 1/2$).

Luận án của Trần Ngọc Thạch định vị chính xác tại giao điểm còn trống giữa lý thuyết bài toán ngược và giải tích SPDEs. Khi đặt cạnh các nghiên cứu quốc tế đương đại, luận án vượt trội về tính toàn diện:

  • So với nghiên cứu của Lu và Zhang (2012) trên Journal of Mathematical Analysis and Applications, vốn chỉ áp dụng ước lượng Carleman để chứng minh tính duy nhất nghiệm cho phương trình parabolic ngẫu nhiên mà không đưa ra nghiệm chỉnh hóa;
  • So với công trình của Kovács, Larsson và Saedpanah (2015) trên IMA Journal of Numerical Analysis, vốn dừng lại ở phương pháp sai phân số cho bài toán thuận Volterra ngẫu nhiên;
  • Luận án đã thiết lập tường minh công thức nghiệm nhẹ (mild solution), chứng minh toán học chặt chẽ về sự bùng nổ sai số vô hạn (instability) của nghiệm khi dữ liệu có nhiễu cấp $\delta$, đồng thời xây dựng thành công toán tử chỉnh hóa đạt tốc độ hội tụ tối ưu dạng Hölder và Logarithmic.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng và thách thức các định lý hiện hữu trong lý thuyết bài toán không chỉnh của Jacques Hadamard (1923) và lý thuyết phương trình vi phân ngẫu nhiên của Kiyosi Itô (1944). Mô hình lý thuyết của luận án thiết lập 4 mệnh đề nền tảng:

  • Mệnh đề 1: Nghiệm nhẹ của phương trình nhiệt ngẫu nhiên trên không gian $L^2(\Omega, H)$ chịu sự bất ổn định phi tuyến khi $t < T$, thỏa mãn cận dưới sai số: $$|u^k(t)|{L^2(\Omega, H)} \ge \left( \frac{\nu-}{2\nu_+ \lambda_k} \right)^{1/2} e^{\lambda_k \nu_-(T-t)} \left( e^{\frac{2}{3} \lambda_k \nu_-(T^3 - t^3)} - 1 \right)^{1/2}$$ chỉ ra rằng khi $k \to \infty$ ($\lambda_k \to \infty$), nghiệm phát tán ra vô cùng dù dữ liệu cuối $\phi^k \to 0$.
  • Mệnh đề 2: Cấu trúc toán tử chuyển động Brown phân thứ với nhân kỳ dị $K_h(t, s)$ khi $h \in (0, 1/2)$ không bảo toàn tính khả tích chuẩn $L^2$ thông thường, đòi hỏi sự tích hợp của giải tích Malliavin và định lý nhúng Sobolev trên thang Hilbert scale $H^s$.
  • Mệnh đề 3: Hiện tượng chuyển pha tính chỉnh trong phương trình giả parabolic: bậc của toán tử khuếch tán $A^\beta$ chi phối trực tiếp tốc độ suy giảm của nhân giải tích, tạo ra ranh giới phân định rõ ràng giữa bài toán parabolic cổ điển và pseudo-parabolic.

Khung phân tích độc đáo

Khung phân tích của luận án là sự tích hợp đồng bộ giữa ba trường phái lý thuyết: (1) Thang không gian Hilbert scale $H^s$ với chuẩn tích phân phổ vô hạn $|g|{H^s} = (\sum{j=1}^\infty \lambda_j^{2s} (g, e_j)^2)^{1/2}$, (2) Giải tích phân thứ Riemann-Liouville với hàm đặc biệt Mittag-Leffler hai tham số $E_{\alpha, \beta}(z) = \sum_{k=0}^\infty \frac{z^k}{\Gamma(\alpha k + \beta)}$, và (3) Đẳng thức đẳng cự Itô (Itô isometry) trên không gian toán tử Hilbert-Schmidt $\mathcal{L}_2^0(H)$.

Cách tiếp cận phân tích mới của tác giả sử dụng nguyên lý lọc phổ biến thiên (spectral filtering): thay thế toán tử giải không bị chặn $\mathcal{A}(t, s) = \sum_{j=1}^\infty \exp(\lambda_j \int_t^s \nu(\tau)d\tau) \langle \cdot, e_j \rangle e_j$ bằng toán tử giải chỉnh hóa bị chặn $B_\alpha \mathcal{A}(t, s)$, trong đó tham số chỉnh hóa $\alpha = \alpha(\delta) > 0$ được lựa chọn tự động theo nguyên lý bù trừ sai số Morozov, thỏa mãn $\lim_{\delta \to 0} \alpha(\delta) = 0$.

Điều kiện biên xác định cho toàn bộ mô hình: miền không gian $D \subset \mathbb{R}^d$ compact, trơn cấp $C^2$, điều kiện biên Dirichlet thuần nhất $u(x, t)|{\partial D} = 0$, toán tử Laplace đối xứng nhận hệ giá trị riêng $0 < \lambda_1 \le \lambda_2 \le \dots \le \lambda_j \to \infty$ và hệ hàm riêng trực chuẩn ${e_j}{j=1}^\infty$ tạo thành cơ sở trực chuẩn trong không gian hàm $L^2(D)$.

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

Thiết kế nghiên cứu

Luận án tuân thủ triết lý nhận thức luận thực chứng chặt chẽ (mathematical positivism), vận dụng các cấu trúc logic quy suy diễn hình thức để chứng minh các định lý giải tích thuần túy. Thiết kế nghiên cứu đa tầng (multi-level mathematical design) được phân định cụ thể qua 3 cấp độ:

  • Cấp độ toán tử (Operator Level): Nghiên cứu tính chất phổ của toán tử Laplacian âm $A = -\Delta$ và toán tử đạo hàm phân thứ $\partial_t^{1-\alpha}$.
  • Cấp độ ngẫu nhiên (Stochastic Level): Xây dựng không gian xác suất đầy đủ $(\Omega, \mathcal{F}, \mathbb{P})$, dòng thông tin tự nhiên (filtration) $\mathcal{F}t$, quá trình Wiener vô hạn chiều $W(t) = \sum{j=1}^\infty \sqrt{\gamma_j} \beta_j(t) e_j$ với $\text{Tr}(Q) = \sum_{j=1}^\infty \gamma_j < \infty$, và quá trình fBm $W^h(t)$.
  • Cấp độ đánh giá sai số (Error-bound Level): Khảo sát mô hình dữ liệu quan sát bị nhiễu: $$|\phi^\delta - \phi|{L^2(\Omega, H)} + |f^\delta - f|{L^\infty(0, T; L^2(\Omega, H))} + |\sigma^\delta - \sigma|_{L^2(0, T; \mathcal{L}_2^0(H))} \le \delta$$

Quy trình nghiên cứu rigorous

Quy trình giải tích được chuẩn hóa qua 5 bước nghiêm ngặt:

  1. Chiếu Fourier phổ (Fourier Spectral Projection): Khai triển hàm nồng độ/nhiệt độ $u(t) = \sum_{j=1}^\infty u_j(t) e_j$ với $u_j(t) = \langle u(t), e_j \rangle$.
  2. Thiết lập phương trình vi phân ngẫu nhiên thành phần (Stochastic ODE components): $$d u_j(t) + \nu(t) \lambda_j u_j(t) dt = f_j(t) dt + \langle \sigma(t) dW(t), e_j \rangle$$
  3. Tích phân biến thiên hằng số Itô (Itô variation of constants): Giải ngược từ thời điểm cuối $t = T$ về $t < T$ để thiết lập công thức nghiệm nhẹ chính xác.
  4. Phân tích tính không chỉnh (Ill-posedness Verification): Xây dựng các dãy hàm nhiễu giải tích kỳ dị ${\phi^k}, {f^k}, {\sigma^k}$ chứng minh sự phân kỳ nghiệm.
  5. Thiết kế hạt nhân chỉnh hóa và đánh giá độ hội tụ (Regularization & Convergence Estimates): Áp dụng phương pháp cắt cụt Fourier (Fourier truncation) $P_N u(t) = \sum_{j=1}^N u_j(t) e_j$ hoặc phương pháp hàm lọc Tikhonov/Filter $B_\alpha$. Độ tin cậy và tính đúng đắn toán học được kiểm chứng tuyệt đối qua các định lý giới hạn, đẳng thức Parseval và bất đẳng thức Burkholder-Davis-Gundy.

Data và phân tích

"Dữ liệu" trong luận án toán học giải tích chính là các cấu trúc tham số, toán tử và miền nghiệm định lượng:

  • Toán tử khuếch tán biến thiên $\nu(t)$ bị chặn đều: $0 < \nu_- \le \nu(t) \le \nu_+ < \infty$.
  • Tham số Hurst phân nhánh: $h \in (1/2, 1)$ (nhiễu có tương quan dài - long-range dependence) và $h \in (0, 1/2)$ (nhiễu thô, xuất hiện kỳ dị mạnh).
  • Cấp đạo hàm phân thứ Riemann-Liouville: $\alpha \in (0, 1)$.
  • Tốc độ hội tụ của nghiệm chỉnh hóa $u^\delta(t)$ về nghiệm thực $u(t)$ được đánh giá chính xác trên chuẩn $L^2(\Omega, H)$ đạt cấp lũy thừa $\mathcal{O}(\delta^{\frac{t}{T}})$ đối với bài toán parabolic và cấp $\mathcal{O}((\ln \frac{1}{\delta})^{-p})$ đối với bài toán có tính không chỉnh bậc cao.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Chứng minh hoàn chỉnh tính không chỉnh của bài toán nhiệt ngẫu nhiên: Văn bản luận án khẳng định rõ: "Sự xuất hiện của exp $(\lambda_j \int_t^T \nu(\tau) d\tau)$ tiến tới vô cùng rất nhanh khi $j \to \infty$ làm cho $\mathcal{A}(t, s)$ không bị chặn trong $\mathcal{L}(H)$ với $t < s$, dẫn đến sai số vô hạn trong không gian $L^2(\Omega, H)$." Đây là minh chứng mẫu mực khép lại giả định về tính ổn định ngẫu nhiên.
  2. Phát hiện tính chỉnh tự nhiên của phương trình giả parabolic với $\beta \in (0, 1]$: Khác biệt hoàn toàn với phương trình nhiệt cổ điển, khi $\beta \le 1$, phương trình $u_t + \alpha A u_t + A^\beta u = f + \sigma \dot{W}$ có nghiệm phụ thuộc liên tục trực tiếp vào dữ liệu cuối mà không cần áp dụng bất kỳ kỹ thuật chỉnh hóa nào.
  3. Chế ngự thành công nhân kỳ dị của fBm với $h \in (0, 1/2)$: Luận án là một trong số rất ít công trình quốc tế vượt qua rào cản kỹ thuật của tích phân ngẫu nhiên phân thứ với tham số $h < 1/2$, nhờ việc thiết lập các chặn giải tích tinh vi cho nhân tích phân $K_h(t, s) = c_h (t/s)^{h-1/2} (t-s)^{h-1/2} + \dots$
  4. Thiết lập tính chính quy và duy nhất cho mô hình phản ứng khuếch tán phi tuyến cấp không nguyên: Chứng minh nghiệm nhẹ của phương trình chứa đạo hàm Riemann-Liouville tồn tại duy nhất trên không gian Banach ngẫu nhiên $C([0, T]; L^2(\Omega, H^s))$ dưới điều kiện hàm phi tuyến $f(t, u)$ thỏa mãn điều kiện Lipschitz cục bộ.

Implications đa chiều

  • Về lý thuyết: Cung cấp nền tảng giải tích ngẫu nhiên hoàn chỉnh để mở rộng nghiên cứu bài toán ngược sang các hệ phương trình Navier-Stokes ngẫu nhiên, phương trình Schrödinger ngẫu nhiên và phương trình sóng ngẫu nhiên.
  • Về phương pháp luận: Cung cấp khung mẫu thuật toán lọc phổ kết hợp giải tích Itô có thể chuyển giao trực tiếp sang các bài toán nhận dạng hệ số (parameter identification) và bài toán xác định hàm nguồn (source term identification).
  • Về ứng dụng thực tiễn: Mô hình hóa chính xác quá trình lan truyền ô nhiễm nước ngầm trong địa chất thủy văn nứt nẻ, quá trình khuếch tán nhiệt trong vật liệu bán dẫn chịu nhiễu nhiệt lượng tử, và tối ưu hóa xử lý ảnh y khoa (khôi phục ảnh siêu âm và cộng hưởng từ MRI bị suy biến bởi nhiễu ngẫu nhiên).

Limitations và Future Research

Tác giả chỉ rõ 4 giới hạn nội tại của luận án:

  1. Miền không gian $D \subset \mathbb{R}^d$ bắt buộc phải là miền bị chặn với biên trơn $C^2$; chưa bao quát các miền không bị chặn $\mathbb{R}^d$ hoặc miền có góc fractal.
  2. Cấu trúc nhiễu ngẫu nhiên chỉ giới hạn ở dạng cộng tính (additive noise) $\sigma(t)\dot{W}(t)$; chưa giải quyết trường hợp nhiễu nhân tính phức tạp (multiplicative noise) $\sigma(t, u(t))\dot{W}(t)$.
  3. Điều kiện biên thời gian là điều kiện cục bộ tại $t = T$; chưa bao quát điều kiện phi địa phương (non-local final conditions) $\sum_{i=1}^m c_i u(t_i) = \phi$.
  4. Mô hình chưa xét đến yếu tố trễ thời gian (time-delay dynamics) phát sinh trong các hệ sinh thái và kinh tế lượng.

Trên cơ sở đó, luận án đề xuất 4 hướng nghiên cứu tiếp nối trong tương lai:

  • Hướng 1: Khảo sát tính chỉnh/không chỉnh của SPDEs với điều kiện tích phân phi địa phương.
  • Hướng 2: Mở rộng sang phương trình vi phân đạo hàm riêng ngẫu nhiên có trễ (stochastic delay PDEs), trong đó trạng thái phụ thuộc vào toàn bộ lịch sử quá khứ $t \le 0$.
  • Hướng 3: Khảo sát các dạng nhiễu màu (colored noise), nhiễu Lévy với bước nhảy (jump processes) và nhiễu fractional Brownian trường không gian.
  • Hướng 4: Mở rộng phân tích giải tích phổ trên các đa tạp phi compact và miền nhiều chiều không bị chặn.

Tác động và ảnh hưởng

Luận án tạo ra tác động học thuật sâu sắc và mở rộng tiềm năng liên ngành:

  • Ảnh hưởng học thuật: Định hình chuẩn mực nghiên cứu mới cho các bài toán ngược ngẫu nhiên, ước tính thu hút hàng trăm trích dẫn quốc tế trên các hệ thống Scopus/Web of Science trong giai đoạn 5-10 năm tới.
  • Chuyển đổi công nghệ và R&D: Đóng vai trò là thuật toán lõi cho các phần mềm mô phỏng động lực học chất lưu, tính toán cơ học đất đá ngẫu nhiên và công nghệ vật liệu composite xốp.
  • Chính sách và cộng đồng: Cung cấp công cụ toán học dự báo chính xác sự phát tán của các chất phóng xạ hoặc hóa chất độc hại trong môi trường không khí và nguồn nước, hỗ trợ các cơ quan tài nguyên môi trường xây dựng kịch bản ứng phó sự cố môi trường tối ưu.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và học viên cao học ngành Toán giải tích & Toán ứng dụng: Tiếp cận trọn vẹn các kỹ thuật chứng minh giải tích hiện đại, công thức Itô, tích phân Wiener và phương pháp chỉnh hóa tiên tiến.
  • Các nhà toán học và chuyên gia SPDEs: Thừa hưởng các đánh giá tiên nghiệm (a priori estimates) sắc bén cho hàm Mittag-Leffler và toán tử Hilbert-Schmidt.
  • Kỹ sư mô phỏng R&D trong công nghiệp vật liệu và địa chất: Ứng dụng các thuật toán cắt cụt và lọc Fourier để tái tạo dữ liệu nhiệt độ và mật độ vi mô từ dữ liệu đo đạc thực tế có sai số.
  • Nhà hoạch định chính sách môi trường: Khai thác các mô hình khuếch tán ngẫu nhiên để dự báo lan truyền ô nhiễm với độ tin cậy thống kê cao.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?
Trả lời: Đóng góp độc đáo nhất là việc thiết lập lý thuyết chỉnh hóa bài toán ngược thời gian cho phương trình parabolic ngẫu nhiên dẫn bởi chuyển động Brown phân thứ với tham số Hurst $h \in (0, 1/2) \cup (1/2, 1)$. Luận án mở rộng trực tiếp lý thuyết bài toán không chỉnh Hadamard sang cấu trúc không gian ngẫu nhiên vô hạn chiều $L^2(\Omega, H^s)$, kết hợp giải tích phân thứ Riemann-Liouville với hàm Mittag-Leffler.

2. Đột phá về phương pháp luận so với các nghiên cứu quốc tế trước đây?
Trả lời: So với Lu & Zhang (2012) chỉ đánh giá bất đẳng thức Carleman mà không có nghiệm chỉnh hóa, và Kovács et al. (2015) chỉ giải bài toán thuận bằng số trị, luận án đã sáng tạo phương pháp toán tử lọc giải tích phổ $B_\alpha$ trên chuỗi Fourier ngẫu nhiên, cho phép kiểm soát hoàn toàn sự bùng nổ của tích phân ngẫu nhiên Itô/Wiener và thiết lập cận sai số hội tụ tối ưu $\mathcal{O}(\delta^r)$.

3. Phát hiện gây bất ngờ nhất (counter-intuitive) có dữ liệu minh chứng?
Trả lời: Phát hiện phương trình giả parabolic $u_t + \alpha A u_t + A^\beta u = f + \sigma \dot{W}$ là một bài toán chỉnh (well-posed) khi $\beta \in (0, 1]$ và chỉ trở thành không chỉnh (ill-posed) khi $\beta > 1$. Điều này hoàn toàn đi ngược lại trực giác thông thường trong phương trình truyền nhiệt (vốn luôn luôn không chỉnh khi đảo ngược thời gian).

4. Quy trình tái lập nghiên cứu (Replication Protocol) có được cung cấp tường minh?
Trả lời: Có. Luận án cung cấp đầy đủ từng bước biến đổi Fourier, định nghĩa tường minh hệ cơ sở trực chuẩn ${e_j}$, công thức nhân tích phân $K_h(t, s)$, các bổ đề chặn hàm Mittag-Leffler $|E_{\alpha, \beta}(-\lambda)| \le C/(1+\lambda)$ và thuật toán lựa chọn tham số chỉnh hóa $\alpha(\delta)$, cho phép tái lập và kiểm chứng toán học độc lập 100%.

5. Lộ trình nghiên cứu 10 năm (10-year research agenda) được vạch ra như thế nào?
Trả lời: Lộ trình tập trung vào việc mở rộng bài toán sang: (i) SPDEs có trễ với nhiễu nhân tính $\sigma(t, u)dW(t)$, (ii) Điều kiện biên phi địa phương đa điểm, (iii) Quá trình khuếch tán trên miền không gian không bị chặn $\mathbb{R}^d$ và đa tạp Riemann, (iv) Xây dựng gói phần mềm tính toán khoa học chuyên dụng cho bài toán ngược ngẫu nhiên.

Kết luận

  1. Luận án giải quyết trọn vẹn và tường minh bài toán ngược thời gian cho 4 lớp phương trình khuếch tán ngẫu nhiên cốt lõi: phương trình nhiệt, bi-parabolic, giả parabolic và phản ứng khuếch tán phi tuyến cấp không nguyên.
  2. Thiết lập định lý toán học khẳng định tính không chỉnh nghiêm trọng của nghiệm trên không gian $L^2(\Omega, H)$, chỉ ra nguyên nhân gốc rễ do toán tử tiến hóa mũ $\mathcal{A}(t, s)$ không bị chặn trên phổ Fourier tần số cao.
  3. Phát hiện quy luật chuyển pha tính chất giải tích của phương trình pseudo-parabolic giữa hai miền tham số $\beta \in (0, 1]$ (chỉnh) và $\beta > 1$ (không chỉnh).
  4. Xây dựng thành công hai họ nghiệm chỉnh hóa bằng phương pháp lọc phổ toán tử $B_\alpha$ và phương pháp chặt cụt chuỗi trực chuẩn, chứng minh toán học chặt chẽ về tốc độ hội tụ của nghiệm chỉnh hóa về nghiệm chính xác dưới cấp độ nhiễu $\delta$.
  5. Mở ra 4 nhánh nghiên cứu học thuật mới mẻ cho ngành Toán giải tích Việt Nam và quốc tế trong lĩnh vực phương trình đạo hàm riêng ngẫu nhiên, phương trình có trễ và giải tích phân thứ.
  6. Kết quả nghiên cứu khẳng định vị thế khoa học xuất sắc với 4 công trình công bố trên các tạp chí chuyên ngành quốc tế hàng đầu, đóng góp nền tảng toán học vững chắc cho các ứng dụng công nghệ mô phỏng truyền nhiệt, xử lý ảnh và dự báo môi trường.