Tổng quan về luận án

Nghiên cứu phương trình đạo hàm riêng (Partial Differential Equations - PDEs) đóng vai trò nền tảng trong toán học giải tích hiện đại và toán ứng dụng, cho phép mô phỏng chính xác các quy luật vật lý, sinh học, cơ học môi trường liên tục và công nghệ xử lý ảnh số. Trong khi các bài toán thuận (direct problems) mô tả sự tiến hóa của hệ thống từ nguyên nhân đến kết quả và phần lớn là chỉnh định theo nghĩa Hadamard (well-posed), thì các bài toán ngược (inverse problems) nhằm khôi phục trạng thái ban đầu hoặc các tham số nguồn từ quan sát gián tiếp ở thời điểm cuối. Bản chất cốt lõi của các bài toán ngược là tính không chỉnh (ill-posedness in the Hadamard sense), khi mà điều kiện phụ thuộc liên tục của nghiệm vào dữ liệu đầu vào bị vi phạm nghiêm trọng: sai số nhiễu vô cùng bé trong dữ liệu đo đạc thực tế có thể làm nghiệm bùng nổ vô hạn.

Luận án tiến sĩ toán học với đề tài "Bài toán giá trị cuối cho một số phương trình đạo hàm riêng" của Nghiên cứu sinh Danh Hứa Quốc Nam, thực hiện dưới sự hướng dẫn khoa học của PGS. Nguyễn Huy Tuấn tại Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Thành phố Hồ Chí Minh (Mã ngành: 9460102), đã giải quyết triệt để các khoảng trống nghiên cứu (research gaps) cấp bách trong giải tích toán học. Cụ thể, các nghiên cứu trước đây chủ yếu tập trung vào phương trình parabolic đơn tuyến tính hoặc không gian Hilbert $L^2$ truyền thống, bỏ ngỏ các mô hình hệ phi địa phương phức tạp, không gian Banach $L^p$ ($p \neq 2$), và dữ liệu bị nhiễu ngẫu nhiên rời rạc.

Luận án giải quyết 4 câu hỏi nghiên cứu (Research Questions - RQ) và kiểm chứng 4 giả thuyết khoa học (Hypotheses - H) tương ứng:

  • RQ1: Làm thế nào để thiết lập tính tồn tại, duy nhất và xây dựng nghiệm chỉnh hóa cho hệ phương trình parabolic phi địa phương chứa số hạng kiểu Kirchhoff khi dữ liệu cuối bị nhiễu?
  • RQ2: Có thể mở rộng kỹ thuật chỉnh hóa bài toán Cauchy cho phương trình elliptic phi tuyến khi dữ liệu quan sát thuộc không gian Banach $L^p$ ($p \neq 2$) thay vì không gian Hilbert $L^2$ hay không?
  • RQ3: Tốc độ hội tụ và sai số của nghiệm xấp xỉ trong bài toán xác định hàm nguồn cho phương trình bi-parabolic bằng phương pháp Tikhonov phụ thuộc như thế nào vào mức độ nhiễu kép $(\psi_\varepsilon, h_\varepsilon)$?
  • RQ4: Bằng cách nào để kiểm soát sai số ngẫu nhiên trong bài toán ngược thời gian cho phương trình sóng dầm mạnh (strongly damped wave equation) khi dữ liệu thu nhận dưới dạng thống kê rời rạc?

Tương ứng với các câu hỏi trên, 4 giả thuyết (H1-H4) về sự hội tụ theo bậc logarit và bậc lũy thừa của nghiệm chỉnh hóa đã được luận án chứng minh toán học tường minh. Khung lý thuyết của công trình được định vị vững chắc dựa trên Lý thuyết giải tích hàm phi tuyến, Lý thuyết phổ toán tử elliptic đối xứng, Phép nhúng Sobolev/Hilbert scale và Lý thuyết chỉnh hóa Hadamard-Tikhonov.

Đóng góp đột phá của luận án đã được công bố trên 4 tạp chí quốc tế uy tín thuộc danh mục ISI/Scopus bao gồm: 01 bài báo trên Mathematical Methods in the Applied Sciences (ISI-Q1), 01 bài báo trên Applicable Analysis (ISI-Q2), 01 bài báo trên Discrete and Continuous Dynamical Systems - Series S (ISI-Q2), và 01 bài báo trên Advances in Difference Equations (tên mới: Advances in Continuous and Discrete Models, ISI-Q2). Phạm vi nghiên cứu bao phủ miền không gian bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 1$), miền chữ nhật $(0,\pi)^2 \times (0,M)$, và khung thời gian $[0, T]$ với các mô hình thử nghiệm số thực tế trên dữ liệu ảnh $400 \times 256$ pixels.

Literature Review và Positioning

Lịch sử nghiên cứu các bài toán ngược thời gian và bài toán biên không địa phương bắt đầu phát triển mạnh mẽ từ những năm 1960-1970 với công trình kinh điển của Robert Lattès và Jacques-Louis Lions (1967) khi đề xuất phương pháp tựa đảo (Quasi-Reversibility Method) xấp xỉ toán tử $A$ bởi $A_\varepsilon = A - \varepsilon A^2$, mang lại bậc ổn định dạng $e^{c/\varepsilon}$. Tiếp đó, Ralph Edwin Showalter (1974, 1983) đã phát triển phương pháp tựa đảo với $A_\varepsilon = A(I + \varepsilon A)^{-1}$ và khởi xướng phương pháp tựa giá trị biên (Quasi-Boundary Value Method) bằng cách làm nhiễu điều kiện biên thời gian dạng $u(T) + \varepsilon u(0) = g$. Hướng tiếp cận này sau đó được Gordon Wayne Clark và Seth Fredric Oppenheimer (1994), Mohamed Denche và Khaled Bessila (2005) đào sâu mở rộng cho nhiều lớp phương trình vi phân trừu tượng.

Tuy nhiên, trong y văn tồn tại những tranh luận và bất đồng học thuật rõ rệt về tính khả thi của các phương pháp khi áp dụng vào các phương trình phi tuyến hoặc phi địa phương. Khi áp dụng phương pháp tựa giá trị biên cho mô hình chứa số hạng phi địa phương Kirchhoff: $$u^\varepsilon_t = L\left(|\nabla u^\varepsilon(\cdot, t)|_{L^2(\Omega)}\right) \Delta u^\varepsilon$$ cả tử số và mẫu số trong biểu diễn tích phân nghiệm đều chứa hàm cần tìm $u$, làm cho việc chứng minh sự tồn tại nghiệm bằng các định lý điểm bất động trở nên cực kỳ phức tạp và thiếu tính khả thi về mặt tính toán. Ngược lại, phương pháp chặt cụt chuỗi Fourier (Fourier series truncation method) - từng được Nguyễn Huy Tuấn và cộng sự phát triển cho các bài toán phi tuyến - thể hiện ưu thế vượt trội trong việc cô lập và loại bỏ các tần số cao $e^{(T-t)\lambda_n} \to \infty$, qua đó khôi phục tính ổn định của hệ thống.

Về phương diện không gian hàm, đại đa số các công trình quốc tế như nghiên cứu của Hongwu Zhang và Xiaoju Zhang (2013) về phương trình elliptic nửa tuyến tính, hay Hongwu Zhang và Renhu Wang (2014) về chỉnh hóa Tikhonov, đều giả định sai số quan sát nằm trong không gian Hilbert $L^2$. Việc phân tích bài toán Cauchy cho phương trình elliptic hoặc phương trình bi-parabolic với dữ liệu quan sát bị nhiễu trong không gian Banach $L^p$ ($p \neq 2$) là một bài toán mở đầy thách thức do tính chất phi đối xứng và sự thiếu vắng của tích vô hướng trực chuẩn.

Luận án đã định vị một cách xuất sắc vị trí tiên phong của mình bằng việc vượt qua các hạn chế của hai nghiên cứu quốc tế điển hình: mở rộng công trình của Erkan Nane và Nguyễn Huy Tuấn (2018, 2019) sang mô hình sóng dầm mạnh có tắt dần nhớt $-a\Delta u_t$ kết hợp dữ liệu thống kê rời rạc, đồng thời phát triển phương pháp xác định hàm nguồn cho phương trình bi-parabolic của Nguyễn Đức Phương, Nguyễn Hoàng Lực và Lê Đình Long (2015) lên một mức độ tổng quát hóa cao hơn với cấu trúc nhiễu kép trong các không gian Banach và Hilbert khác nhau.

Đó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 những bước tiến quan trọng trong lý thuyết phương trình đạo hàm riêng không chỉnh, thách thức và mở rộng trực tiếp các lý thuyết cổ điển:

  1. Mở rộng khung lý thuyết Hadamard: Chứng minh toán học nghiêm ngặt rằng hệ phương trình parabolic chứa số hạng phi địa phương Kirchhoff vi phạm điều kiện phụ thuộc liên tục vào dữ liệu ban đầu. Luận án trích dẫn bằng chứng giải tích rõ ràng: khi chọn dãy dữ liệu Cauchy $(f_m, g_m)$ với $f_m(x) = g_m(x) = \frac{e_m(x)}{\lambda_m}$, dù khoảng cách dữ liệu tiến về 0: $$\lim_{m\to+\infty} |(f_m, g_m)|{L^2(\Omega) \times L^2(\Omega)} = 0$$ thì chuẩn của nghiệm tương ứng lại bùng nổ lũy thừa: $$|(u_m, v_m)|{L^\infty(0,T; H^1(\Omega))} \ge \frac{\exp(\lambda_m M_0 T)}{\lambda_m} \to +\infty \quad \text{khi } m \to +\infty$$
  2. Xây dựng lớp nghiệm nhẹ (Mild Solutions) trong không gian Banach-Sobolev: Luận án đã thiết lập thành công tính tồn tại và duy nhất của nghiệm cho hệ Kirchhoff phi tuyến trong không gian $L^\infty(0, T; H^1(\Omega))$, cho phương trình elliptic trong thang không gian Hilbert scale $H^s(\Omega)$ nhúng vào $L^p(\Omega)$, và cho phương trình sóng dầm mạnh trong không gian Bochner $L^p_{\mathcal{B}}$.
  3. Thiết lập các bất đẳng thức tiên nghiệm và tốc độ hội tụ tối ưu: Chứng minh các đánh giá sai số giữa nghiệm chính xác $u$ và nghiệm chỉnh hóa $u_{N,\delta}$ đạt bậc hội tụ logarit hoặc bậc Holder tùy thuộc vào độ trơn tiền nghiệm của nghiệm trong không gian Gevrey $G_{\sigma,\nu}$ hoặc không gian Sobolev $H^s(\Omega)$.
+-----------------------------------------------------------------------------------+
|               KHUNG PHÂN TÍCH TỔNG HỢP CỦA LUẬN ÁN                                |
+-----------------------------------------------------------------------------------+
|  [Lý thuyết Phổ Toán tử]  +  [Giải tích Điều hòa Fourier]  +  [Kỹ thuật Chỉnh hóa]  |
|            |                                |                           |         |
|            v                                v                           v         |
|  +--------------------+          +--------------------+        +---------------+  |
|  | Phân rã Cơ sở      | -------> | Biểu diễn Nghiệm   | -----> | Khử Tần số    |  |
|  | Trực chuẩn phi_p   |          | Tích phân Fourier  |        | Cao Bùng nổ   |  |
|  +--------------------+          +--------------------+        +---------------+  |
|            |                                                            |         |
|            v                                                            v         |
|  +--------------------+          +--------------------+        +---------------+  |
|  | Nhúng Sobolev      | -------> | Ánh xạ Co & Banach | -----> | Đánh giá      |  |
|  | L^p -> H^s(Omega)  |          | Fixed Point Thm    |        | Sai số Tối ưu |  |
|  +--------------------+          +--------------------+        +---------------+  |
+-----------------------------------------------------------------------------------+

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ộ của bốn trụ cột lý thuyết lớn:

  • Lý thuyết toán tử vi phân elliptic đối xứng: Khai thác hệ cơ sở trực chuẩn ${\varphi_p}{p=1}^\infty \subset H_0^1(\Omega) \cap C^1(\bar{\Omega})$ của toán tử $-\Delta$ ứng với dãy trị riêng thực dương $0 < \lambda_1 \le \lambda_2 \le \dots \le \lim{p\to\infty} \lambda_p = +\infty$.
  • Lý thuyết điểm bất động Banach: Sử dụng nguyên lý ánh xạ co nhiều bước $Q^m$ trên không gian metric đầy đủ nhằm vượt qua các phi tuyến phức tạp sinh ra từ số hạng tích phân năng lượng $\int_t^T L(|\nabla u(\cdot, s)|{L^2(\Omega)}, |\nabla v(\cdot, s)|{L^2(\Omega)}) ds$.
  • Kỹ thuật thang không gian Hilbert (Hilbert Scales): Giải quyết rào cản phân tích trong không gian Banach $L^p$ ($p \neq 2$) thông qua phép nhúng liên tục $H^s(\Omega) \hookrightarrow L^p(\Omega)$ với chỉ số trơn $s > N(1/2 - 1/p)$.
  • Lý thuyết tối ưu hóa Tikhonov: Thiết lập bài toán cực tiểu hóa phiếm hàm Tikhonov: $$J_\alpha(x) = |Kx - y|Y^2 + \alpha |x|X^2$$ để giải phương trình toán tử compact $K^*K x\alpha + \alpha x\alpha = K^* y$.

Điều kiện biên và biên điều kiện (Boundary conditions) được xác định chuẩn mực với điều kiện thuần nhất Dirichlet trên biên trơn $\partial\Omega$, kết hợp các giả thiết tiền nghiệm thỏa mãn điều kiện Lipschitz toàn cục với hằng số $K_l > 0$: $$|L(z_1, z_2) - L(z_1', z_2')| \le K_l (|z_1 - z_1'| + |z_2 - z_2'|)$$

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

Thiết kế nghiên cứu

Nghiên cứu được xây dựng trên lập trường nhận thức luận duy lý thực chứng chặt chẽ (Rationalist Positivism / Mathematical Rigor), kết hợp giữa chứng minh giải tích thuần túy và mô phỏng số thực nghiệm (Numerical Experiments). Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1: Phân tích định tính tính không chỉnh của bài toán giá trị cuối theo nghĩa Hadamard.
  • Tầng 2: Thiết lập biểu diễn nghiệm nhẹ dưới dạng chuỗi Fourier hoặc toán tử tích phân Green.
  • Tầng 3: Xây dựng các thuật toán chỉnh hóa (Chặt cụt phổ tần số cao, Chỉnh hóa Tikhonov tham số hóa).
  • Tầng 4: Đánh giá sai số tiên nghiệm (A priori error estimates) và xác định tham số chỉnh hóa tối ưu $\alpha(\varepsilon)$ hoặc ngưỡng chặt cụt $N(\delta)$.
  • Tầng 5: Thử nghiệm số hóa mô hình trên ngôn ngữ lập trình khoa học.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ các bước chứng minh toán học nghiêm ngặt:

  1. Xác định nghiệm giải tích dạng chuỗi: Sử dụng hệ hàm trực chuẩn ${\varphi_p}$ trên miền $\Omega = (0, \pi) \times (0, \pi)$ với $\varphi_p(x) = \sqrt{2/\pi}\sin(px)$ và trị riêng $\lambda_p = p^2$.
  2. Kỹ thuật quy nạp giải tích để chứng minh tính co: Luận án định nghĩa toán tử $Q(u, v) = (Q_1(u,v), Q_2(u,v))$ và chứng minh bất đẳng thức co cấp $m$: $$|Q^m(u_1, v_1)(\cdot, t) - Q^m(u_2, v_2)(\cdot, t)|{H^1 \times H^1}^2 \le \frac{(T-t)^m}{m!} [2C(B_f + B_g)K_l^2]^m |(u_1, v_1) - (u_2, v_2)|{L^\infty(0,T; H^1)}^2$$ Do $\lim_{m\to\infty} \frac{[2C(B_f + B_g)K_l^2 T]^m}{m!} = 0$, tồn tại $m_0 \in \mathbb{N}^*$ để $Q^{m_0}$ là ánh xạ co tuyệt đối, bảo đảm nghiệm duy nhất theo Định lý điểm bất động Banach.
  3. Độ tin cậy và tính hợp lệ của phương pháp: Được bảo đảm qua việc bảo toàn tính ổn định của các chuỗi Fourier sau khi làm mịn, kiểm soát hoàn toàn hiện tượng khuếch đại nhiễu từ các tần số cao.

Data và phân tích

Dữ liệu mô phỏng và phân tích thực nghiệm trong luận án bao gồm:

  • Dữ liệu ảnh số thực tế: Khôi phục hình ảnh logo Trường Đại học Thủ Dầu Một và Trường Đại học Khoa học Tự nhiên - ĐHQG TP.HCM bị làm mờ bởi mô hình nhiễu Gaussian. Dữ liệu ảnh được chuẩn hóa thành ma trận ma trận điểm ảnh $400 \times 256$ pixels.
  • Thuật toán và công cụ phân tích: Toàn bộ thuật toán biến đổi Fourier rời rạc (Discrete Fourier Transform - DFT) và thuật toán chỉnh hóa Tikhonov được lập trình trên nền tảng ngôn ngữ Python.
  • Dữ liệu nhiễu mô phỏng: Thử nghiệm các mức nhiễu ngẫu nhiên rời rạc với độ lệch chuẩn $\varepsilon \in {10^{-1}, 10^{-2}, 10^{-3}}$ trên lưới không gian đoạn $[0, \pi]$.
  • Phân tích độ nhạy và kiểm tra độ bền vững: Luận án tiến hành kiểm tra trên các kích thước mẫu dữ liệu rời rạc $n \in {50, 100, 150}$ tại thời điểm $t = 0.8$, số hạng chặt cụt $M = 40$, tham số thời gian $T = 1$ và $\tau = 1.2$.

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

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

Luận án đã đạt được 5 phát hiện then chốt với các bằng chứng định lượng chính xác:

  1. Thiết lập chặn trên sai số chỉnh hóa cho hệ Kirchhoff: Luận án đã chứng minh công thức đánh giá sai số chính xác giữa nghiệm thực $(u, v)$ và nghiệm chỉnh hóa $(u_{N,\delta}, v_{N,\delta})$: $$|u_{N,\delta}(\cdot, t) - u(\cdot, t)|{H^1(\Omega)}^2 + |v{N,\delta}(\cdot, t) - v(\cdot, t)|{H^1(\Omega)}^2 \le \left[6\lambda{N(\delta)}^{-\gamma} e^{2M_1 T\lambda_{N(\delta)}}\delta^2 + 6E(\lambda_{N(\delta)}^{-\gamma})^2\right] e^{12K_l^2 \lambda_1^{-1} E C (T-t)}$$ Khi chọn tham số chặt cụt tối ưu $N(\delta)$ thỏa mãn $\frac{1-\nu}{2TM_1}\ln(\frac{1}{\delta}) \le \lambda_N \le \frac{1-\nu}{TM_1}\ln(\frac{1}{\delta})$ với $0 < \nu < 1$, tốc độ hội tụ đạt bậc logarit tối ưu $\mathcal{O}\left([\ln(1/\delta)]^{-2\gamma}\right)$.

  2. Khắc phục tính không chỉnh trong không gian Banach $L^p$: Đối với phương trình elliptic phi tuyến trên miền $(0, \pi)^2 \times (0, M)$, luận án chứng minh rằng thông qua phép nhúng Sobolev, sai số trong chuẩn $L^p$ được kiểm soát chặt chẽ bởi sai số trong không gian Hilbert scale $H^s$, mở đường cho việc xử lý các bài toán biên với dữ liệu đo không chuẩn tắc.

  3. Khôi phục hàm nguồn phương trình Bi-parabolic: Bằng phương pháp Tikhonov với dữ liệu đo bị nhiễu kép $(\psi_\varepsilon, h_\varepsilon)$, sai số giữa hàm nguồn chính xác $f$ và hàm nguồn chỉnh hóa $f^{\varepsilon,\alpha}$ đạt sự ổn định tuyệt đối khi tham số $\alpha(\varepsilon) \to 0$ phù hợp với tốc độ $\varepsilon \to 0$.

  4. Kiểm soát nhiễu ngẫu nhiên rời rạc cho phương trình sóng dầm mạnh: Kết hợp ước lượng phi tham số với phương pháp Fourier, nghiệm chỉnh hóa hội tụ về nghiệm chính xác trong không gian Bochner với kỳ vọng toán học $\mathbb{E}|u^{reg} - u^{ex}|^2 \to 0$ khi cỡ mẫu $n \to \infty$.

  5. Minh chứng thực nghiệm qua xử lý ảnh số: Tác giả chứng minh tính hiệu quả của thuật toán chỉnh hóa trên ảnh kích thước $400 \times 256$ pixels với thời gian thực thi CPU thực nghiệm được đo đạc chính xác:

  • Đối với Logo ĐH Thủ Dầu Một: Tham số $\alpha = 1 \times 10^{-1}$ đạt thời gian chạy CPU 10.838 giây; $\alpha = 2 \times 10^{-1}$ đạt 16.532 giây; $\alpha = 4 \times 10^{-1}$ đạt 20.312 giây.
  • Đối với Logo ĐH Khoa học Tự nhiên: Tham số $\alpha = 1 \times 10^{-1}$ đạt thời gian chạy CPU 8.428 giây; $\alpha = 2 \times 10^{-1}$ đạt 9.023 giây; $\alpha = 4 \times 10^{-1}$ đạt 13.415 giây.
Dữ liệu thử nghiệm ($400 \times 256$ px) Tham số chỉnh hóa $\alpha$ Thời gian CPU thực thi (giây) Mức độ phục hồi chi tiết ảnh
Logo ĐH Thủ Dầu Một $\alpha = 1 \times 10^{-1}$ 10.838 Khử nhiễu biên sắc nét
Logo ĐH Thủ Dầu Một $\alpha = 2 \times 10^{-1}$ 16.532 Làm mịn tần số trung bình
Logo ĐH Thủ Dầu Một $\alpha = 4 \times 10^{-1}$ 20.312 Triệt tiêu hoàn toàn nhiễu Gaussian
Logo ĐH Khoa học Tự nhiên $\alpha = 1 \times 10^{-1}$ 8.428 Tái tạo cấu trúc hình học chuẩn
Logo ĐH Khoa học Tự nhiên $\alpha = 2 \times 10^{-1}$ 9.023 Độ tương phản tối ưu
Logo ĐH Khoa học Tự nhiên $\alpha = 4 \times 10^{-1}$ 13.415 Khôi phục toàn diện nền ảnh

Implications đa chiều

  • Đóng góp lý thuyết: Mở rộng biên giới của giải tích phi tuyến và lý thuyết phương trình đạo hàm riêng không chỉnh, cung cấp công cụ toán học giải quyết các hệ phương trình phi địa phương phức tạp.
  • Đổi mới phương pháp luận: Thiết lập quy trình chuẩn mực kết hợp giữa phân tích điều hòa Fourier, phép nhúng không gian Sobolev-Hilbert và ước lượng thống kê phi tham số.
  • Ứng dụng thực tiễn: Cung cấp giải thuật tối ưu hóa cho công nghệ xử lý và phục hồi ảnh y tế (chụp cắt lọc CT, MRI), ảnh viễn thám địa vật lý và kỹ thuật kiểm tra không phá hủy vật liệu (Non-Destructive Testing).
  • Ứng dụng công nghệ và công nghiệp: Ứng dụng trực tiếp vào bài toán truyền tín hiệu trên đường dây điện báo (Telegraph equation) và kiểm soát dao động kết cấu dầm giảm chấn nhớt đàn hồi (Chen-Russell beam equations).

Limitations và Future Research

Luận án thừa nhận một cách khách quan các giới hạn nghiên cứu (limitations) mang tính biên:

  1. Giả thiết hàm toán tử Kirchhoff: Toán tử $L(z_1, z_2)$ đòi hỏi tính Lipschitz toàn cục và bị chặn dưới bởi hằng số dương $M_0 > 0$, chưa bao phủ hoàn toàn trường hợp toán tử suy biến (degenerate Kirchhoff models) khi $M_0 = 0$.
  2. Ràng buộc hình học miền: Các đánh giá sai số cụ thể cho phương trình elliptic chủ yếu được thực hiện trên miền hình học chữ nhật $(0,\pi)^2 \times (0,M)$ nhằm tận dụng dạng hàm riêng lượng giác tường minh $\sin(px)\sin(qy)$.
  3. Cấu trúc nhiễu ngẫu nhiên: Mô hình nhiễu thống kê trong bài toán sóng dầm mạnh được giả định dưới dạng nhiễu trắng rời rạc độc lập, chưa xét đến các quá trình ngẫu nhiên có tương quan phức tạp theo thời gian.

Các hướng nghiên cứu tiếp nối trong chương trình nghị sự tương lai (Future Research Agenda):

  • Mở rộng bài toán ngược cho mô hình Kirchhoff với hàm nguồn phi tuyến phụ thuộc vào đạo hàm cấp cao.
  • Nghiên cứu bài toán ngược thời gian cho hệ phương trình sóng dầm mạnh trong thang không gian Banach $L^p$ tổng quát.
  • Phát triển các bài toán ngược ngẫu nhiên liên quan đến quá trình Wiener, phương trình vi phân ngẫu nhiên Itô và chuyển động Brown phân đoạn (Fractional Brownian Motion).
  • Mở rộng bài toán xác định hàm nguồn sang các miền không bị chặn $\mathbb{R}^N$ thông qua biến đổi Fourier liên tục.

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ới 04 công trình công bố trên các tạp chí quốc tế chuyên ngành hạng Q1 và Q2, dự kiến thu hút lượng trích dẫn học thuật cao từ các nhóm nghiên cứu về bài toán ngược tại Châu Âu, Mỹ và Châu Á. Về mặt công nghệ, các giải thuật chỉnh hóa Tikhonov và chặt cụt phổ cung cấp thuật toán lõi cho các phần mềm xử lý tín hiệu số, nâng cao độ chính xác trong chẩn đoán hình ảnh y khoa và địa chấn học. Về mặt kinh tế - xã hội, nghiên cứu góp phần hoàn thiện các công cụ mô phỏng dự báo quá trình truyền nhiệt và lan truyền sóng ứng suất trong các công trình xây dựng và hàng không vũ trụ, giảm thiểu rủi ro hư hại kết cấu vật liệu.

Đố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 hệ thống phương pháp luận hoàn chỉnh và các kỹ thuật giải tích hiện đại để giải quyết bài toán không chỉnh.
  • Các nhà nghiên cứu xử lý ảnh và Thị giác máy tính (Computer Vision): Kế thừa thuật toán khử nhiễu, tái tạo ảnh mờ và tối ưu hóa ma trận dữ liệu ảnh.
  • Kỹ sư cơ học kết cấu và Truyền thông: Sử dụng mô hình sóng dầm mạnh và phương trình điện báo để tối ưu hóa thiết kế hệ thống truyền dẫn tín hiệu và dầm giảm chấn công trình.
  • Các cơ quan quản lý KH&CN và Viện nghiên cứu: Có thêm cơ sở khoa học chất lượng cao để xây dựng các chương trình tài trợ nghiên cứu cơ sở và ứng dụng mũi nhọ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 sự tồn tại duy nhất của nghiệm nhẹ và tính không chỉnh Hadamard cho hệ phương trình parabolic chứa toán tử phi địa phương Kirchhoff kép $L(|\nabla u|{L^2}, |\nabla v|{L^2})$, mở rộng trực tiếp lý thuyết phương trình sóng d'Alembert-Kirchhoff (1883) và khung phân tích chỉnh hóa Fourier sang hệ phi tuyến tương tác nhiều chiều.

  2. Đổi mới phương pháp luận của luận án khi so sánh với các nghiên cứu quốc tế trước đây? So sánh với nghiên cứu của Clark & Oppenheimer (1994) và Hongwu Zhang & Xiaoju Zhang (2013), luận án đã vượt qua bế tắc giải tích của phương pháp tựa giá trị biên bằng việc tích hợp phương pháp chặt cụt Fourier với định lý điểm bất động Banach đa bước $Q^m$, đồng thời tiên phong giải quyết bài toán Cauchy elliptic trong không gian Banach $L^p$ ($p \neq 2$) thông qua kỹ thuật nhúng Hilbert scale.

  3. Phát hiện gây bất ngờ nhất kèm theo bằng chứng dữ liệu thực nghiệm là gì? Phát hiện bất ngờ nhất là việc tham số chỉnh hóa $\alpha$ trong phương pháp Tikhonov có mối quan hệ phi tuyến tính mạnh với thời gian tính toán CPU khi khôi phục ảnh: khi tăng $\alpha$ từ $0.1$ lên $0.4$, thời gian chạy CPU trên ma trận $400 \times 256$ pixels tăng gần gấp đôi (từ 10.838s lên 20.312s trên ảnh ĐH Thủ Dầu Một và từ 8.428s lên 13.415s trên ảnh ĐH Khoa học Tự nhiên) nhưng lại triệt tiêu hoàn toàn hiện tượng phân kỳ tần số cao của nhiễu Gaussian.

  4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không? Có. Luận án cung cấp đầy đủ các biểu thức giải tích tường minh của nghiệm, các bước xây dựng toán tử tích phân, công thức xác định ngưỡng tham số tối ưu $N(\delta)$ và $\alpha(\varepsilon)$, cùng các thông số thiết lập mô phỏng số chi tiết ($M=40, T=1, \tau=1.2$, độ phân giải $400 \times 256$ px, các mức nhiễu $\varepsilon \in {10^{-1}, 10^{-2}, 10^{-3}}$), cho phép cộng đồng khoa học tái lập hoàn toàn kết quả nghiên cứu.

  5. Chương trình nghiên cứu 10 năm tiếp theo được định hình như thế nào? Chương trình nghiên cứu 10 năm tập trung vào: (1) Lý thuyết bài toán ngược cho phương trình vi phân ngẫu nhiên Itô-Kirchhoff; (2) Chỉnh hóa toán tử phi tuyến trên đa tạp Riemann và miền biên fractal; (3) Tích hợp thuật toán chỉnh hóa Tikhonov với mạng nơ-ron học sâu (Physics-Informed Neural Networks - PINNs) trong chẩn đoán y tế thời gian thực.

Kết luận

Luận án tiến sĩ của Nghiên cứu sinh Danh Hứa Quốc Nam đã tạo nên một công trình khoa học mẫu mực với 5 đóng góp học thuật cốt lõi:

  1. Chứng minh toán học hoàn chỉnh về tính không chỉnh theo nghĩa Hadamard và thiết lập nghiệm chỉnh hóa chặt cụt Fourier tối ưu cho hệ phương trình parabolic phi địa phương kiểu Kirchhoff.
  2. Tiên phong giải quyết bài toán Cauchy giá trị cuối cho phương trình elliptic phi tuyến với dữ liệu nhiễu trong không gian Banach $L^p$ ($p \neq 2$) bằng thang không gian Hilbert scale.
  3. Đề xuất phương pháp Tikhonov giải bài toán xác định hàm nguồn cho phương trình bi-parabolic dưới tác động của nhiễu kép và xác lập bậc hội tụ tối ưu.
  4. Xây dựng nghiệm chỉnh hóa thống kê cho phương trình sóng dầm mạnh với dữ liệu quan sát bị nhiễu ngẫu nhiên rời rạc trong không gian Bochner.
  5. Hiện thực hóa các kết quả lý thuyết trừu tượng thành các thuật toán mô phỏng số và ứng dụng thành công vào bài toán khôi phục ảnh số bị nhiễu với dữ liệu thời gian thực thi chính xác.

Công trình khẳng định bước tiến vượt bậc của nền toán học giải tích Việt Nam trên trường quốc tế, mở ra 3 hướng nghiên cứu mới về phương trình đạo hàm riêng ngẫu nhiên, mô hình Kirchhoff suy biến và giải thuật lai ghép giữa giải tích hàm với trí tuệ nhân tạo, để lại di sản học thuật lâu dài cho cộng đồng khoa học trong và ngoài nước.