Tổng quan về luận án

Bài toán xác định nguồn (Inverse Source Problem - ISP) cho phương trình parabolic là một trong những chủ đề trọng tâm của lý thuyết phương trình đạo hàm riêng và toán ứng dụng hiện đại. Trong thực tiễn kỹ thuật và đời sống, bài toán này đóng vai trò mô hình toán học cốt lõi cho các quá trình truyền nhiệt ngược, định vị nguồn ô nhiễm nguồn nước, phát tán khí độc trong khí quyển, cũng như mô phỏng động học sinh học và cơ học môi trường liên tục. Tuy nhiên, các bài toán xác định nguồn từ dữ liệu quan sát thời điểm cuối đều thuộc lớp bài toán đặt không chỉnh (ill-posed problems) theo nghĩa Hadamard. Như văn bản luận án đã viện dẫn: "Một bài toán được gọi là đặt chỉnh theo nghĩa Hadamard nếu nó thỏa mãn cả ba điều kiện sau: i) Nghiệm của bài toán luôn tồn tại. ii) Nghiệm của bài toán là duy nhất. iii) Nghiệm phụ thuộc liên tục vào dữ liệu của bài toán." Khi điều kiện phụ thuộc liên tục bị vi phạm, một nhiễu loạn vô cùng nhỏ trong dữ liệu đo đạc thực nghiệm $\delta > 0$ sẽ bị khuếch đại theo hàm mũ ở miền tần số cao, dẫn đến sự phá hủy hoàn toàn nghiệm số nếu áp dụng các thuật toán giải trực tiếp.

Khoảng trống nghiên cứu (research gap) lớn trong y văn quốc tế nằm ở chỗ: phần lớn các công trình kinh điển chỉ khảo sát phương trình parabolic với hệ số hằng số hoặc phương trình bậc phân đơn lẻ theo thời gian/không gian. Hơn nữa, các bài toán xác định nguồn trong không gian trừu tượng Banach hầu như chưa có đánh giá tốc độ hội tụ định lượng hay kiểm chứng số học. Luận án tiến sĩ của tác giả Lương Duy Nhật Minh (Trường Đại học Vinh, thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Văn Đức và TS. Nguyễn Trung Thành) đã giải quyết trọn vẹn 3 bài toán nghiên cứu cốt lõi:

  1. Bài toán ISP1: Xác định nguồn nhiệt $f(x)$ cho phương trình parabolic với hệ số khuếch tán phụ thuộc thời gian $a(t)$ trong không gian Hilbert $L^2(\mathbb{R}^n)$: $\partial_t u(x, t) = a(t)\Delta u(x, t) + f(x)h(t)$ với điều kiện ban đầu $u(x,0)=0$ và dữ liệu đo thời điểm cuối $u(x,T)=g(x)$.
  2. Bài toán ISP2: Xác định nguồn $f(x)$ cho phương trình parabolic bậc phân đồng thời theo cả biến thời gian $\alpha \in (0,1)$ (đạo hàm Caputo) và biến không gian $\gamma > 0$ (toán tử Laplace bậc phân $(-\Delta)^{\gamma/2}$) trong không gian $L^2(\mathbb{R}^n)$: $\partial_t^\alpha u + (-\Delta)^{\gamma/2} u = f(x)h(t)$.
  3. Bài toán ISP3: Xác định phần tử nguồn $F \in X$ cho phương trình parabolic trừu tượng trong không gian Banach vô hạn chiều $X$: $u'(t) + Au(t) = F$, trong đó $-A$ là toán tử sinh của một nửa nhóm giải tích (analytic semigroup).

Khung lý thuyết của luận án tích hợp sâu sắc lý thuyết nửa nhóm toán tử tuyến tính, giải tích điều hòa (phép biến đổi Fourier, không gian Sobolev $H^p(\mathbb{R}^n)$, định lý Paley-Wiener), lý thuyết tích phân - đạo hàm bậc phân (hàm Mittag-Leffler) và phương pháp chỉnh hóa làm nhuyễn (mollification regularization method). Đột phá của nghiên cứu là thiết lập thành công các đánh giá ổn định có điều kiện kiểu Hölder (Hölder-type conditional stability), chứng minh sai số hội tụ đạt bậc tối ưu (optimal convergence order), đồng thời hiện thực hóa các thuật toán số kiểm chứng trên dữ liệu nhiễu ngẫu nhiên.

Literature Review và Positioning

Nghiên cứu về bài toán ngược parabolic khởi nguồn từ các công trình đặt nền móng của Cannon (1968, 1990) khi nghiên cứu bài toán xác định nguồn nhiệt từ quan sát biên, chứng minh tính không chỉnh bằng phản ví dụ chuỗi Fourier với hệ số $a_n = \sqrt{n}$. Tiếp nối hướng đi này, Yamamoto (1993) chứng minh tính duy nhất và tính ổn định cho phương trình truyền nhiệt 2D dạng tách biến nguồn $\sigma(t)f(x_1, x_2)$ với điều kiện $\sigma(0) \neq 0$. Tại Việt Nam, nhóm tác giả Đinh Nho Hào (1998, 2014) và Đặng Đức Trọng cùng các cộng sự (2005, 2006, 2009) đã phát triển các phương pháp chặt cụt chuỗi Fourier, phương pháp tựa đảo và quan sát tích phân trên miền bị chặn.

Trong trường hợp phương trình truyền nhiệt có hệ số biến thiên, Cannon et al. (1998), Choulli & Yamamoto (1999) và Rundell (2008) đã nghiên cứu tính duy nhất nghiệm, nhưng việc thiết lập đánh giá ổn định định lượng và thuật toán chỉnh hóa vẫn gặp nhiều bế tắc do tính bất biến tịnh tiến thời gian bị phá vỡ. Đứng trước thách thức này, Dou, Fu & Yang (2009) và Cheng, Zhao & Fu (2010) đã áp dụng phương pháp Tikhonov và tựa đảo, song chủ yếu dừng lại ở không gian 1 chiều với hệ số hằng số.

                    TIẾN TRÌNH PHÁT TRIỂN CỦA LÝ THUYẾT CHỈNH HÓA ISP
  Cannon (1968) --------> Yamamoto (1993) --------> Yang & Fu (2010-2015)
 (Tính không chỉnh)      (Tính ổn định 2D)        (Tikhonov, Fourier 1D)
         |                       |                          |
         v                       v                          v
  Đặng Đức Trọng (2009) --> Zhang & Wei (2013) ---> LUẬN ÁN NÀY (2020)
(Fourier truncation 2D) (Phân số thời gian 1D)   (Hệ số $a(t)$, Phân số kép,
                                                  Không gian Banach, Bậc tối ưu)

Đối với phương trình đạo hàm riêng bậc phân (Fractional Partial Differential Equations - FPDEs), Zhang & Wei (2013) và Yang et al. (2014, 2015) khảo sát bài toán khuếch tán dưới (sub-diffusion) bằng phương pháp làm nhuyễn và biến đổi Fourier. Tuy nhiên, các tác giả quốc tế này hầu như chỉ giới hạn ở phương trình bậc phân theo biến thời gian hoặc biến không gian riêng biệt. Các công trình đa chiều không gian - thời gian fractional đồng thời (như bài toán của Sakamoto & Yamamoto 2011; Li, Liu & Yamamoto 2015) rất hiếm hoi và phần lớn chưa cung cấp thuật toán số hoàn chỉnh.

Đối với không gian Banach tổng quát, các nghiên cứu ban đầu của Iskenderov & Tagiev (1984), Rundell (1987), Prilepko, Piskarev & Shaw (2000) và Hasanov (2013) chỉ dừng ở việc biểu diễn nghiệm hình thức qua nửa nhóm ${S(t)}_{t \ge 0}$ hoặc chứng minh tính duy nhất nghiệm, thiếu vắng các đánh giá sai số hội tụ tốc độ cao và ví dụ số minh họa. Luận án của Lương Duy Nhật Minh đã định vị chính xác vào ba "điểm nghẽn" này, vượt lên trên các nghiên cứu của Yang & Fu (2014) và Hasanov (2013) để xây dựng một khung giải tích chỉnh hóa tổng thể từ không gian Hilbert đến không gian Banach.

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

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

Luận án tạo ra bước phát triển mở rộng đối với lý thuyết bài toán đặt không chỉnh của Tikhonov, Lavrentiev và Morozov qua ba hệ thống kết quả giải tích định lượng:

  1. Thiết lập đánh giá ổn định có điều kiện kiểu Hölder cho phương trình hệ số phụ thuộc thời gian: Với giả thiết tiên nghiệm nguồn $f \in H^p(\mathbb{R}^n)$ thỏa mãn $|f|{H^p} \le E_p$ và dữ liệu đo cuối $|g|{L^2} \le \delta$, luận án chứng minh: $$|f|_{L^2} \le C_1^{\frac{p}{p+2}} E_p^{\frac{2}{p+2}} \delta^{\frac{p}{p+2}}$$ Đồng thời, với chuẩn giải tích mũ $|f|q \le E_q$, luận án thu được đánh giá ổn định: $$|f|{L^2} \le [H(0)]^{-\frac{q}{q+b}} \delta^{\frac{q}{q+b}} E_q^{\frac{b}{q+b}}$$ trong đó $b = \int_0^T a(t)dt$ và $H(0) = \int_0^T h(t)dt$.

  2. Xác lập tốc độ hội tụ đạt bậc tối ưu cho bài toán bậc phân không - thời gian: Bằng cách sử dụng lý thuyết toán tử phổ và hàm điều biến $\phi(\lambda)$, luận án chứng minh sai số chỉnh hóa theo luật chọn tham số tiên nghiệm $\nu(\delta) = (\frac{1}{b}\ln \frac{E}{\delta})^{\frac{1}{\gamma}}$ đạt cận dưới tối ưu theo nghĩa Vainikko (1986).

  3. Mở rộng lý thuyết nửa nhóm giải tích để chỉnh hóa trên không gian Banach: Sử dụng biểu diễn nghiệm qua tích phân Dunford-Taylor và giải tích hàm trừu tượng, luận án khắc phục nhược điểm không thể áp dụng biến đổi Fourier trên không gian Banach tổng quát, thu được đánh giá sai số kiểu Hölder chuẩn xác giữa nghiệm chính xác $F$ và nghiệm chỉnh hóa $F_\alpha^\delta$.

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

Khung phân tích của luận án kết hợp 3 trụ cột lý thuyết toán học cao cấp:

+-------------------------------------------------------------------------+
|                        KHUNG PHÂN TÍCH TOÁN HỌC                         |
+------------------------------------+------------------------------------+
| TRỤ CỘT 1: GIẢI TÍCH ĐIỀU HÒA       | TRỤ CỘT 2: ĐẠO HÀM BẬC PHÂN        |
| - Biến đổi Fourier đa chiều $L^2$  | - Đạo hàm Caputo $\partial_t^\alpha$ |
| - Không gian Sobolev $H^p(\mathbb{R}^n)$ | - Hàm Mittag-Leffler $E_{\alpha,\beta}$|
| - Nhân Dirichlet làm nhuyễn $D_\nu$| - Toán tử Laplace $(-\Delta)^{\gamma/2}$ |
+------------------------------------+------------------------------------+
| TRỤ CỘT 3: LÝ THUYẾT TOÁN TỬ VÀ NỬA NHÓM TRÊN KHÔNG GIAN BANACH         |
| - Nửa nhóm giải tích $\{S(t)\}_{t \ge 0}$ sinh bởi toán tử đóng $-A$     |
| - Lũy thừa phân số $A^b$ định nghĩa qua quỹ đạo tích phân Cauchy        |
| - Đánh giá ổn định kiểu Hölder & Nguyên lý bù sai số Morozov            |
+-------------------------------------------------------------------------+

Về mặt kỹ thuật chỉnh hóa, nguyên lý làm nhuyễn dựa trên tích chập với nhân Dirichlet đóng vai trò then chốt: "Điểm chính của phương pháp này là bỏ đi các thành phần tần số cao, là những thành phần liên quan đến sai số trong dữ liệu đo đạc." Toán tử làm nhuyễn $S_\nu(g^\delta)(x)$ biến đổi dữ liệu đo nhiễu $g^\delta \in L^2(\mathbb{R}^n)$ thành một hàm nguyên dạng mũ $\nu$ (theo định lý Paley-Wiener), từ đó chặn đứng sự bùng nổ của các tần số cao $|\xi| > \nu$.

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ủ nghiêm ngặt quan điểm nhận thức luận duy lý - diễn dịch hình thức (deductive mathematical positivism) của trường phái Giải tích hàm hiện đại. Thiết kế nghiên cứu kết hợp 3 giai đoạn hữu cơ:

  • Giai đoạn 1 (Thuận & Tính duy nhất): Thiết lập tính giải được và tính duy nhất của nghiệm bài toán thuận thông qua biểu diễn Fourier và biểu diễn nửa nhóm.
  • Giai đoạn 2 (Ổn định & Chỉnh hóa): Chứng minh đánh giá ổn định tiên nghiệm kiểu Hölder; xây dựng toán tử chỉnh hóa $S_\nu$ và $R_\alpha$; thiết lập luật chọn tham số chỉnh hóa kiểu tiên nghiệm (a priori) và kiểu hậu nghiệm (a posteriori).
  • Giai đoạn 3 (Thuật toán & Mô phỏng số): Rời rạc hóa bài toán bằng lưới sai phân / FFT, tạo dữ liệu nhiễu ngẫu nhiên có kiểm soát, giải nghiệm xấp xỉ và đánh giá sai số định lượng $L^2$.

Quy trình nghiên cứu rigorous

Quy trình giải tích áp dụng các công cụ toán học chính xác tuyệt đối:

  • Toán tử làm nhuyễn Dirichlet: $$D_\nu(x) = \prod_{j=1}^n \frac{\sin(\nu x_j)}{\pi x_j}, \quad S_\nu(g^\delta)(x) = \left(\frac{2}{\pi}\right)^{n/2} (D_\nu * g^\delta)(x)$$ Biến đổi Fourier của hàm làm nhuyễn triệt tiêu hoàn toàn ngoài hình lập phương $M_\nu = [-\nu, \nu]^n$: $$\mathcal{F}S_\nu(g^\delta) = \widehat{g^\delta}(\xi) \cdot \chi_{M_\nu}(\xi)$$
  • Đánh giá phổ Mittag-Leffler: Sử dụng các bất đẳng thức đơn điệu hoàn toàn của hàm $E_{\alpha,1}(-\lambda \xi^\gamma)$ để kiểm soát hàm truyền nhiệt trong miền tần số.
  • Khai triển nửa nhóm giải tích: Sử dụng đánh giá $|A^\beta e^{-tA}| \le M_\beta t^{-\beta}$ và bất đẳng thức mômen hàm mũ cho toán tử đóng $A$ trong không gian Banach.

Data và phân tích số

Phần thực nghiệm số của luận án được lập trình và mô phỏng trên môi trường phần mềm tính toán khoa học chuyên dụng (MATLAB/C++).

  • Thiết lập tập dữ liệu thử nghiệm: Nghiệm giải tích chính xác $u(x,t)$ và hàm nguồn $f(x)$ được chọn trước dưới nhiều dạng hàm khác nhau (hàm Gauss trơn, hàm đa thức tuần hoàn, hàm không trơn cục bộ).
  • Giao thức tạo nhiễu: Dữ liệu đo đạc tại thời điểm cuối $T$ được làm nhiễu nhân tạo theo công thức: $$g^\delta(x) = g(x) + \epsilon \cdot (2\cdot \text{rand}(x) - 1)$$ trong đó mức sai số $\delta = |g - g^\delta|_{L^2}$ được khảo sát tại các mức định lượng chính xác: $\delta \in {10^{-1}, 10^{-2}, 10^{-3}, 10^{-4}}$.
  • Chỉ số đánh giá độ chính xác: Sai số tương đối (Relative Error - RE) giữa nghiệm khôi phục $f^{\nu,\delta}$ và nghiệm thực $f$: $$\text{RE}(f) = \frac{|f^{\nu,\delta} - f|{L^2}}{|f|{L^2}}$$ Kết quả cho thấy khi $\delta \to 0$, sai số thực nghiệm hội tụ đơn điệu về 0 với tốc độ hoàn toàn khớp với chặn lý thuyết $\mathcal{O}(\delta^{\frac{p}{p+2}})$.

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

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

  1. Khôi phục hoàn hảo hàm nguồn với hệ số $a(t)$ biến thiên: Luận án chỉ ra rằng dù $a(t)$ biến thiên mạnh theo thời gian ($a \le a(t) \le \bar{a}$), toán tử chỉnh hóa làm nhuyễn vẫn phục hồi ổn định $f(x)$ với bậc sai số $\mathcal{O}(\delta^{\frac{p}{p+2}})$, triệt tiêu hiện tượng khuếch đại nhiễu bậc cao vốn phá hủy các thuật toán cổ điển.
  2. Xác lập bậc tối ưu cho phương trình bậc phân kép: Đối với bài toán phân số đồng thời $\partial_t^\alpha u + (-\Delta)^{\gamma/2} u = f(x)h(t)$, luận án chứng minh rằng tốc độ hội tụ của phương pháp làm nhuyễn đạt mức tối ưu toàn cục, không phụ thuộc vào việc bậc thời gian $\alpha \in (0,1)$ bị suy biến gần điểm 0.
  3. Giải quyết bài toán Banach trừu tượng không cần tính Hilbert: Luận án chứng minh rằng phương pháp chỉnh hóa nửa nhóm giải tích cho bài toán $u'(t) + Au(t) = F$ trên không gian Banach đạt tốc độ hội tụ kiểu Hölder định lượng mà không cần tới cấu trúc tích vô hướng hay hệ cơ sở trực chuẩn.
  4. Tính ưu việt của luật chọn tham số hậu nghiệm: Thuật toán chọn tham số hậu nghiệm (dựa trên mức sai số dữ liệu $g^\delta$) cho kết quả tái tạo hình ảnh nguồn sắc nét tương đương luật tiên nghiệm mà không đòi hỏi biết trước độ trơn Sobolev $E_p$ của nghiệm thực.
+-------------------------------------------------------------------------+
|                  BẢNG SO SÁNH CÁC PHƯƠNG PHÁP CHỈNH HÓA                  |
+----------------------+--------------------+-----------------------------+
| Tiêu chí             | Phương pháp Tikhonov| Phương pháp Làm nhuyễn     |
|                      | cổ điển (Yang, Fu) | (Luận án Nhật Minh)         |
+----------------------+--------------------+-----------------------------+
| Xử lý hệ số $a(t)$   | Rất phức tạp       | Tự nhiên qua biến đổi Fourier|
| Phương trình FPDE kép| Đơn biến thời gian | Không - Thời gian đồng thời |
| Không gian Banach    | Không tối ưu       | Tối ưu qua Nửa nhóm giải tích|
| Tốc độ tính toán     | Giải hệ ma trận lớn| Lọc trực tiếp trên miền tần số|
| Đánh giá bậc sai số  | Kiểu Logarit/Hölder| Bậc Hölder tối ưu           |
+----------------------+--------------------+-----------------------------+

Implications đa chiều

  • Về mặt toán học thuần túy: Cung cấp công cụ giải tích mạnh mẽ để xử lý các lớp bài toán ngược parabolic phi tuyến và bài toán truyền nhiệt phi cổ điển (non-classical heat equations).
  • Về mô phỏng môi trường: Cho phép các kỹ sư môi trường xác định chính xác tọa độ và cường độ của các nhà máy xả thải khí độc hoặc rò rỉ hóa chất ngầm chỉ dựa trên nồng độ đo được ở thời điểm hiện tại.
  • Về kỹ thuật nhiệt và vật liệu: Ứng dụng trong việc chuẩn đoán tổn thương nhiệt bên trong vật liệu composite chịu nhiệt cao mà không cần phá hủy mẫu thử.

Limitations và Future Research

Luận án thẳng thắn thừa nhận các giới hạn nội tại của mô hình lý thuyết:

  1. Tính chất tuyến tính của bài toán: Các mô hình phương trình trong luận án đều là tuyến tính. Trong thực tế, nhiều quá trình truyền nhiệt và khuếch tán phản ứng tuân theo phương trình parabolic phi tuyến hoặc bán tuyến tính (semilinear) $u_t - \Delta u = f(u, x, t)$.
  2. Không gian xác định vô hạn: Bài toán ISP1 và ISP2 được xét trên toàn không gian $\mathbb{R}^n$, tạo thuận lợi cho việc áp dụng biến đổi Fourier toàn cục. Việc mở rộng sang miền bị chặn $\Omega \subset \mathbb{R}^n$ với điều kiện biên hỗn hợp (Robin, Wentzell-Neumann) đòi hỏi kỹ thuật phân tích phổ phức tạp hơn nhiều.
  3. Dữ liệu đo liên tục thời điểm cuối: Giả thiết $g^\delta(x) \in L^2(\mathbb{R}^n)$ đòi hỏi dữ liệu liên tục trên không gian, trong khi thực tế chỉ thu thập được dữ liệu rời rạc tại một số trạm quan trắc hữu hạn ($x_1, x_2, \dots, x_M$).

Chương trình nghiên cứu 5-10 năm tới:

  • Mở rộng phương pháp làm nhuyễn cho phương trình parabolic phi tuyến bậc phân trong không gian Banach.
  • Kết hợp phương pháp làm nhuyễn với mạng nơ-ron vật lý (Physics-Informed Neural Networks - PINNs) để giải các bài toán ngược với dữ liệu đo đạc cực kỳ thưa thớt (sparse data).
  • Khảo sát các bài toán ngược ngẫu nhiên (stochastic inverse problems) khi nhiễu đo đạc là quá trình ngẫu nhiên Gaussian/Levy.

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

Các kết quả nghiên cứu của luận án đã được công bố trên 03 tạp chí quốc tế chuyên ngành uy tín thuộc danh mục SCIE:

  1. Inverse Problems in Science and Engineering (Taylor & Francis, SCIE, IF: 1.314) - Công bố công trình về hệ số phụ thuộc thời gian.
  2. Applicable Analysis (Taylor & Francis, SCIE, IF: 1.107) - Công bố công trình về phương trình parabolic bậc phân không - thời gian.
  3. Applied Numerical Mathematics (Elsevier, SCIE, IF: 1.050+) - Công bố công trình về bài toán trên không gian Banach.

Công trình tạo ra cơ sở lý thuyết chuẩn mực cho cộng đồng nghiên cứu bài toán ngược trong nước và quốc tế, mở ra hướng ứng dụng tính toán hiệu năng cao cho các bài toán phân tán chất ô nhiễm và hình ảnh nhiệt y sinh học.

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

  • Nghiên cứu sinh và Giảng viên ngành Toán Giải tích / Toán Ứng dụng: Tiếp cận một khung phương pháp luận hoàn chỉnh từ giải tích điều hòa đến lý thuyết nửa nhóm để xử lý bài toán không chỉnh.
  • Kỹ sư R&D trong ngành Khoa học Dữ liệu và Môi trường: Sở hữu thuật toán số có cơ sở toán học vững chắc để tích hợp vào các phần mềm giám sát ô nhiễm không khí và nguồn nước.
  • Các nhà hoạch định chính sách môi trường: Có căn cứ khoa học định lượng chuẩn xác từ mô hình toán học để truy vết nguồn phát thải vi phạm quy chuẩn an toàn.

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?

Đóng góp độc đáo nhất là việc thiết lập đánh giá ổn định có điều kiện kiểu Hölder đạt bậc tối ưu cho bài toán xác định nguồn của phương trình parabolic bậc phân đồng thời theo cả biến không gian $\gamma$ và biến thời gian $\alpha$, cũng như phương trình có hệ số $a(t)$ biến thiên. Kết quả này mở rộng trực tiếp lý thuyết chỉnh hóa của Tikhonov và phương pháp làm nhuyễn của Murio, Manselli-Miller sang lớp phương trình đạo hàm riêng phân số đa chiều phức tạp.

2. Phương pháp luận của luận án có gì đổi mới so với 2 nghiên cứu quốc tế tiêu biểu?

So với nghiên cứu của Yang & Fu (2014) (chỉ giải phương trình khuếch tán bậc phân 1 chiều theo thời gian và chỉ đạt sai số kiểu Logarit cho luật hậu nghiệm), luận án đã giải quyết bài toán bậc phân đa chiều theo cả không gian - thời gian và đạt bậc sai số kiểu Hölder cao cấp. So với công trình của Hasanov (2013) trong không gian Banach (chỉ biểu diễn nghiệm qua nửa nhóm mà không có đánh giá sai số định lượng), luận án đã thiết lập trọn vẹn đánh giá tốc độ hội tụ và thực hiện các thuật toán mô phỏng số kiểm chứng.

3. Phát hiện bất ngờ nhất trong phân tích số học là gì?

Phát hiện bất ngờ nhất là hiệu năng lọc nhiễu vượt trội của nhân Dirichlet $D_\nu$: ngay cả khi mức sai số $\delta$ lên tới $10%$ dữ liệu đo, toán tử làm nhuyễn $S_\nu$ vẫn khôi phục chính xác biên dạng của nguồn nhiệt $f(x)$ mà không xuất hiện dao động giả (Gibbs phenomenon) ở vùng lân cận điểm kỳ dị.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không?

Có. Luận án trình bày chi tiết từng bước thuật toán: từ công thức rời rạc hóa biến đổi Fourier nhanh (FFT), thuật toán làm trơn dữ liệu với nhân Dirichlet, quy tắc chọn tham số chỉnh hóa $\nu$ theo nguyên lý bù sai số, đến các mã giả toán học phục vụ lập trình trực tiếp trên MATLAB/Python.

5. Định hướng nghiên cứu 10 năm tiếp theo được vạch ra như thế nào?

Trọng tâm 10 năm tới là phát triển lý thuyết chỉnh hóa cho các bài toán ngược parabolic phi tuyến mạnh (strongly nonlinear parabolic systems), bài toán ngược với toán tử ngẫu nhiên (random PDEs), và tích hợp thuật toán chỉnh hóa giải tích vào các mô hình học sâu (Deep Learning & Operator Learning).

Kết luận

Luận án tiến sĩ của tác giả Lương Duy Nhật Minh đã tạo ra những đóng góp đột phá và toàn diện:

  1. Chứng minh tính duy nhất và đánh giá ổn định kiểu Hölder cho bài toán xác định nguồn parabolic với hệ số $a(t)$ phụ thuộc thời gian trong $L^2(\mathbb{R}^n)$.
  2. Thiết lập thuật toán chỉnh hóa làm nhuyễn và đánh giá sai số đạt bậc tối ưu cho phương trình parabolic bậc phân kép (không gian và thời gian).
  3. Đề xuất phương pháp chỉnh hóa dựa trên lý thuyết nửa nhóm giải tích để giải quyết trọn vẹn bài toán xác định nguồn trong không gian Banach tổng quát.
  4. Xây dựng hệ thống thuật toán số hoàn chỉnh và kiểm chứng độ hội tụ trên các bộ dữ liệu đo đạc mô phỏng có nhiễu ngẫu nhiên.
  5. Công bố 03 bài báo khoa học chất lượng cao trên các tạp chí quốc tế chuyên ngành thuộc danh mục SCIE uy tín.
  6. Mở ra các hướng nghiên cứu liên ngành giá trị giữa Giải tích hàm, Toán học tính toán và Khoa học môi trường hiện đại.