Tổng quan luận án

Luận án tiến sĩ 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 thực hiện bởi nghiên cứu sinh Danh Hứa Quốc Nam 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, thuộc chuyên ngành Toán giải tích (mã số: 9460102).

Phương trình đạo hàm riêng là công cụ toán học mô phỏng nhiều quá trình và hiện tượng trong tự nhiên, kỹ thuật và công nghệ như truyền nhiệt, khuếch tán, dao động, cơ học kết cấu và xử lý ảnh. Trong khi các bài toán thuận thường thỏa mãn tính chỉnh theo nghĩa Hadamard, các bài toán ngược (gồm bài toán ngược thời gian và bài toán xác định hàm nguồn) hầu hết đều không chỉnh. Tính không chỉnh thể hiện ở việc nghiệm không phụ thuộc liên tục vào dữ liệu ban đầu: những sai số hoặc nhiễu ngẫu nhiên dù rất nhỏ trong dữ liệu đo đạc gián tiếp ở thời điểm cuối có thể dẫn đến sai lệch vô cùng lớn ở nghiệm cần tìm, khiến các phép tính toán số trực tiếp trở nên không đáng tin cậy.

Khoảng trống nghiên cứu được luận án chỉ ra là: phần lớn các nghiên cứu trước đây về bài toán ngược thời gian tập trung vào phương trình parabolic đơn lẻ hoặc xét sai số trong không gian Hilbert $L^2$. Các kết quả dành cho hệ phương trình phi tuyến chứa số hạng Kirchhoff, bài toán Cauchy cho phương trình elliptic với dữ liệu quan sát bị nhiễu trong không gian Banach $L^p$ ($p \neq 2$), bài toán xác định hàm nguồn cho phương trình bi-parabolic, cũng như bài toán sóng dầm mạnh có dữ liệu bị nhiễu ngẫu nhiên rời rạc vẫn còn rất hạn chế và cần các kỹ thuật chỉnh hóa chuyên biệt.

Mục tiêu nghiên cứu của luận án là:

  1. Xây dựng nghiệm chỉnh hóa cho các bài toán giá trị cuối của một số phương trình và hệ phương trình đạo hàm riêng cụ thể.
  2. Đánh giá sai số và tốc độ hội tụ giữa nghiệm chỉnh hóa đã thiết lập với nghiệm chính xác của bài toán dưới các điều kiện trơn tiên nghiệm khác nhau.
  3. Thực hiện các mô phỏng số minh họa để kiểm chứng các kết quả lý thuyết đạt được.

Đối tượng nghiên cứu của luận án bao gồm 04 bài toán cụ thể:

  • Bài toán 1: Bài toán ngược thời gian cho hệ phương trình parabolic có chứa số hạng Kirchhoff.
  • Bài toán 2: Bài toán giá trị cuối cho phương trình elliptic trong không gian $L^p$ ($p \neq 2$).
  • Bài toán 3: Bài toán xác định hàm nguồn cho phương trình bi-parabolic.
  • Bài toán 4: Bài toán giá trị cuối cho phương trình sóng dầm mạnh với dữ liệu bị nhiễu ngẫu nhiên rời rạc.

Phạm vi nghiên cứu thuộc lĩnh vực giải tích phương trình đạo hàm riêng, tập trung vào phương pháp chỉnh hóa cho hai mô hình chính là bài toán ngược thời gian (backward in time problem) và bài toán xác định hàm nguồn (inverse source problem) trên miền không gian bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 1$) có biên đủ trơn hoặc hình hộp $(0,\pi)^2 \times (0,M)$ trong khoảng thời gian xác định $[0,T]$.

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

Luận án đã tổng quan lịch sử phát triển của lý thuyết bài toán ngược và các kỹ thuật chỉnh hóa phương trình đạo hàm riêng:

  • Các phương pháp chỉnh hóa kinh điển:

    • Phương pháp tựa đảo (Quasi-Reversibility): Được đề xuất năm 1967 bởi Robert Lattès và Jacques-Louis Lions bằng cách xấp xỉ toán tử $A$ bởi $A' = A - \varepsilon A^2$; năm 1974, Ralph Edwin Showalter mở rộng với dạng $A' = A(I + \varepsilon A)^{-1}$ cho bậc ổn định $\varepsilon^{t/T}$.
    • Phương pháp tựa giá trị biên (Quasi-Boundary Value): Đưa ra năm 1983 bởi Ralph Edwin Showalter bằng cách làm nhiễu điều kiện biên thời gian $u(T) + \varepsilon u(0) = g$; được Gordon Wayne Clark và Seth Fredric Oppenheimer khảo sát chi tiết năm 1994; Mohamed Denche và Khaled Bessila đề xuất biến thể thay thế $u(T) - \varepsilon u_t(0) = g$.
    • Phương pháp chặt cụt chuỗi Fourier: Được Nguyễn Huy Tuấn và các cộng sự áp dụng thành công cho các lớp phương trình tuyến tính và phi tuyến nhằm loại bỏ các thành phần tần số cao gây mất ổn định nghiệm.
    • Phương pháp chỉnh hóa Tikhonov: Hệ thống hóa trong công trình của Andreas Kirsch, chuyển bài toán tìm nghiệm sang bài toán cực tiểu hóa phiếm hàm mục tiêu $J_\alpha(x) = |Kx - y|^2 + \alpha |x|^2$.

  • Tình hình nghiên cứu theo từng bài toán cụ thể:

    • Hệ parabolic chứa số hạng Kirchhoff: Mô hình dạng Kirchhoff xuất phát từ nghiên cứu của Gustav Kirchhoff (1883) mở rộng từ phương trình sóng d'Alembert (1747/1749). Các bài toán phi địa phương kiểu Kirchhoff được phát triển trong nhiều nghiên cứu cơ học và vật lý. Luận án kế thừa và phát triển hướng tiếp cận biểu diễn chuỗi Fourier kết hợp khử tính phi tuyến thời gian so với các kết quả của Lê Minh Triết và cộng sự.
    • Phương trình elliptic trong $L^p$: Các phương pháp giải bài toán Cauchy cho phương trình elliptic từng được nghiên cứu bởi Hongwu Zhang và Xiaoju Zhang (chỉnh hóa Lavrentiev), các tác giả nghiên cứu chỉnh hóa Tikhonov tổng quát, Nguyễn Huy Tuấn và cộng sự (nghiệm trong không gian Gevrey và phương pháp phương trình tích phân), Võ Anh Khoa và cộng sự (hệ elliptic sine-Gordon bằng nhân tổng quát), Nguyễn Hữu Cần và cộng sự (hệ elliptic trong không gian Hilbert). Luận án định vị khoảng trống nghiên cứu khi toàn bộ các công trình trên chỉ khảo sát sai số trong $L^2$, từ đó thiết lập phương pháp chỉnh hóa khi dữ liệu nhiễu nằm trong $L^p$ ($p \neq 2$).
    • Phương trình bi-parabolic: Mô hình bi-parabolic khắc phục nhược điểm của phương trình parabolic cổ điển trong truyền nhiệt. Nguyễn Huy Tuấn và cộng sự đã nghiên cứu bài toán ngược thời gian bằng chặt cụt Fourier; Nguyễn Đức Phương, Nguyễn Hoàng Lực và Lê Đình Long xét bài toán xác định hàm nguồn; Nguyễn Huy Tuấn nghiên cứu dữ liệu quan sát trong $L^p$. Luận án lựa chọn phương pháp Tikhonov để giải quyết bài toán xác định hàm nguồn bi-parabolic.
    • Phương trình sóng dầm mạnh với dữ liệu ngẫu nhiên: Các dạng phương trình sóng dầm liên quan đến phương trình điện báo, phương trình Chen-Russell và hệ vi phân ma trận cấp thấp. Nguyễn Huy Tuấn, Võ Văn Âu và Nguyễn Hữu Cần từng áp dụng phương trình tích phân cho trường hợp nguồn Lipschitz. Luận án giải quyết bài toán với dữ liệu đo rời rạc ngẫu nhiên dựa trên các kỹ thuật của Erkan Nane, Nguyễn Đăng Minh, Mokhtar Kirane và Nguyễn Huy Tuấn.

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

1. Khung lý thuyết và khái niệm cốt lõi

  • Tính chỉnh và không chỉnh theo nghĩa Hadamard: Xét ánh xạ $K: X \to Y$ giữa hai không gian định chuẩn và bài toán $Ku = g$. Bài toán là chỉnh nếu thỏa mãn đồng thời: (i) Tồn tại nghiệm; (ii) Nghiệm duy nhất; (iii) Nghiệm ổn định theo dữ liệu đầu vào. Bài toán là không chỉnh nếu vi phạm một trong ba điều kiện trên. Trong luận án, tính không chỉnh thể hiện ở điều kiện ổn định: khi dữ liệu đầu vào bị nhiễu $g^\delta \to g$ trong $Y$ ($|g^\delta - g|_Y \to 0$ khi $\delta \to 0$) nhưng nghiệm tương ứng không hội tụ về nghiệm chính xác ($|u^\delta - u|_X \not\to 0$).
  • Không gian hàm sử dụng:
    • Không gian Banach $L^p(0,T; X)$ với chuẩn $|u|{L^p(0,T; X)} = \left( \int_0^T |u(t)|X^p dt \right)^{1/p}$ ($1 \le p < \infty$) và chuẩn $|u|{L^\infty(0,T; X)} = \text{ess sup}{t \in [0,T]} |u(t)|_X$.
    • Không gian các hàm liên tục $C([0,T]; X)$ và $C^m([0,T]; X)$ có đạo hàm đến cấp $m$.
    • Không gian Hilbert Sobolev $H^s(\Omega)$ xác định thông qua hệ cơ sở trực chuẩn ${\phi_p}{p=1}^\infty$ của toán tử $-\Delta$ với chuẩn $|f|{H^s(\Omega)}^2 = \sum_{p=1}^\infty \lambda_p^s (f, \phi_p)^2$.
    • Không gian Gevrey $G_{\sigma, \mu}(\Omega) = { f \in L^2(\Omega): \sum_{p=1}^\infty e^{2\sigma \lambda_p^\mu} (f, \phi_p)^2 < +\infty }$.
    • Không gian Bochner $L^p_\varpi = L^p((\tilde{\Omega}, \mathcal{F}, \varpi); B)$ cho các biến ngẫu nhiên nhận giá trị trong không gian Banach $B$.
  • Bổ đề nhúng Sobolev: Luận án áp dụng các phép nhúng liên tục $L^p(\Omega) \hookrightarrow H^s(\Omega)$ và $H^s(\Omega) \hookrightarrow L^p(\Omega)$ tương ứng với các điều kiện về số chiều không gian $N$ và số mũ trơn $s$.
  • Định lý giải tích hỗ trợ: Định lý điểm bất động Banach cho ánh xạ co trên không gian metric đầy đủ; Bất đẳng thức Grönwall dạng tích phân.

2. Phương pháp nghiên cứu

  • Phương pháp giải tích lý thuyết: Khai triển chuỗi Fourier theo hệ hàm riêng của toán tử Laplace; thiết lập công thức nghiệm giải tích/nghiệm nhẹ dưới dạng phương trình tích phân; chứng minh sự tồn tại và duy nhất nghiệm thông qua nguyên lý ánh xạ co Banach.
  • Kỹ thuật chỉnh hóa:
    • Phương pháp chặt cụt chuỗi Fourier (Fourier series truncation method): loại bỏ các tần số cao $\lambda_n > \lambda_{N(\delta)}$ bằng việc lựa chọn tham số cắt ngưỡng $N(\delta)$ tối ưu phụ thuộc vào mức nhiễu $\delta$.
    • Phương pháp chỉnh hóa Tikhonov: xây dựng bài toán biến phân cực tiểu hóa phiếm hàm chỉnh hóa và xác định phương trình Euler tương ứng.
    • Phương pháp ước lượng phi tham số: xử lý dữ liệu rời rạc ngẫu nhiên trước khi thực hiện phép lọc Fourier.
  • Phương pháp mô phỏng số: Tính toán số nghiệm chỉnh hóa trên phần mềm Python, khảo sát mức độ khử nhiễu Gaussian trên dữ liệu ảnh kích thước $400 \times 256$ pixel bằng biến đổi Fourier rời rạc (DFT) và tính toán sai số tuyệt đối, sai số tương đối tại các lưới rời rạc trên miền không gian $[0,\pi]$.

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

Chương 1: Mở đầu

Chương 1 trình bày tổng quan về đề tài nghiên cứu:

  • Phân tích tính cấp thiết của lý thuyết bài toán ngược cho phương trình đạo hàm riêng và các ứng dụng trong thực tế.
  • Trình bày 04 bài toán mục tiêu của luận án.
  • Xác định đối tượng, phạm vi nghiên cứu, phương pháp tiếp cận kế thừa và phát triển lý thuyết.
  • Nêu ý nghĩa khoa học và thực tiễn của công trình.
  • Thống kê danh mục 04 bài báo quốc tế công bố kết quả nghiên cứu của luận án cùng 04 hội nghị/seminar khoa học đã báo cáo (Đại hội Toán học toàn quốc lần thứ IX năm 2018, Hội nghị khoa học ĐH KHTN lần XII năm 2020, Hội nghị Toán học Miền Trung - Tây Nguyên lần IV năm 2022, Seminar Bộ môn Giải tích năm 2023).

Chương 2: Tổng quan

Chương 2 trình bày chi tiết bức tranh tổng quan về bài toán ngược thời gian và bài toán xác định hàm nguồn:

  • Phân tích bản chất toán học của tính không chỉnh Hadamard qua sơ đồ ánh xạ toán tử $Ku = g$.
  • Giới thiệu chi tiết các phương pháp chỉnh hóa tuyến tính và phi tuyến: phương pháp tựa đảo, phương pháp tựa giá trị biên, phương pháp chặt cụt Fourier, và phương pháp Tikhonov (nêu Định lý nghiệm cực tiểu $x_\alpha$ thỏa mãn $\alpha x_\alpha + K^K x_\alpha = K^ y$).
  • Ứng dụng bài toán ngược thời gian trong khôi phục ảnh: phân tích mô hình làm mịn/khuếch tán thuận, kỹ thuật tăng cường dữ liệu, khử nhiễu tổng biến phân (total variation) và chỉnh hóa Tikhonov.
  • Thực nghiệm số khôi phục ảnh bị nhiễu Gaussian kích thước $400 \times 256$ pixel cho logo Trường Đại học Thủ Dầu Một và Trường Đại học Khoa học Tự nhiên - ĐHQG-HCM bằng biến đổi Fourier rời rạc (DFT), thể hiện mối quan hệ giữa tham số chỉnh hóa $\alpha$ và thời gian chạy CPU:
Dữ liệu hình ảnh thử nghiệm Tham số chỉnh hóa ($\alpha$) Thời gian CPU chạy (giây) Đặc điểm kết quả khôi phục
Logo Trường ĐH Thủ Dầu Một $\alpha = 1 \times 10^{-1}$ 10.838 Khôi phục các đường nét cơ bản từ ảnh nhiễu
Logo Trường ĐH Thủ Dầu Một $\alpha = 2 \times 10^{-1}$ 16.532 Độ mịn tăng dần
Logo Trường ĐH Thủ Dầu Một $\alpha = 4 \times 10^{-1}$ 20.375 Hình ảnh rõ nét, loại bỏ nhiễu nền
Logo Trường ĐH KHTN - ĐHQG-HCM $\alpha = 1 \times 10^{-1}$ 8.428 Khôi phục cấu trúc biểu trưng
Logo Trường ĐH KHTN - ĐHQG-HCM $\alpha = 2 \times 10^{-1}$ 9.023 Tăng độ sắc nét chi tiết
Logo Trường ĐH KHTN - ĐHQG-HCM $\alpha = 4 \times 10^{-1}$ 13.412 Khôi phục rõ chi tiết chữ và logo

Chương 3: Phương pháp nghiên cứu

Chương 3 xây dựng nền tảng giải tích phục vụ cho các chứng minh ở Chương 4:

  • Định nghĩa chuẩn xác tính chỉnh và không chỉnh Hadamard.
  • Thiết lập định nghĩa các không gian hàm $L^p(0,T; X)$, $C([0,T]; X)$, $C^m([0,T]; X)$, $H^s(\Omega)$, $G_{\sigma, \mu}(\Omega)$, và không gian ngẫu nhiên Bochner $L^p_\varpi$.
  • Nêu các bổ đề nhúng Sobolev giữa $L^p(\Omega)$ và $H^s(\Omega)$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$.
  • Trình bày Định lý điểm bất động Banach và Bất đẳng thức Grönwall.
  • Đề xuất quy trình 2 bước tiếp cận bài toán ngược: (1) Thiết lập công thức nghiệm nhẹ, chứng minh tính tồn tại, duy nhất và chỉ ra tính không chỉnh; (2) Xây dựng nghiệm chỉnh hóa và thiết lập đánh giá sai số tiên nghiệm.

Chương 4: Kết quả nghiên cứu và phân tích, đánh giá, thảo luận

Chương 4 là phần nội dung trọng tâm của luận án, trình bày kết quả chi tiết của 04 bài toán:

  • Mục 4.1: Chỉnh hóa nghiệm bài toán ngược thời gian cho hệ phương trình parabolic có chứa số hạng Kirchhoff:

    • Khảo sát hệ phương trình trên $\Omega \times (0,T)$: $$\begin{cases} u_t = \mathcal{L}(|\nabla u|{L^2(\Omega)}^2, |\nabla v|{L^2(\Omega)}^2)\Delta u \ v_t = \mathcal{L}(|\nabla u|{L^2(\Omega)}^2, |\nabla v|{L^2(\Omega)}^2)\Delta v \end{cases}$$ với điều kiện biên Dirichlet thuần nhất và điều kiện cuối $u(x,T) = f(x)$, $v(x,T) = g(x)$. Hàm $\mathcal{L}$ thỏa mãn $M_0 \le \mathcal{L}(z_1, z_2) \le M_1$ và điều kiện Lipschitz với hằng số $K_L$.
    • Chứng minh sự tồn tại duy nhất của nghiệm nhẹ $(u,v) \in (L^\infty(0,T; H^1(\Omega)))^2$ qua toán tử $Q(u,v)$ bằng nguyên lý ánh xạ co với chuỗi điều kiện Cauchy đầu cuối thỏa mãn $\sum_{n=1}^\infty \lambda_n^3 e^{2T M_1 \lambda_n} (f, e_n)^2 \le B_f$, $\sum_{n=1}^\infty \lambda_n^3 e^{2T M_1 \lambda_n} (g, e_n)^2 \le B_g$.
    • Chứng minh tính không chỉnh theo nghĩa Hadamard bằng việc xây dựng dãy dữ liệu Cauchy $f_m(x) = g_m(x) = \frac{e_m(x)}{\sqrt{m}}$ có chuẩn $L^2 \to 0$ khi $m \to \infty$, nhưng chuẩn nghiệm tại thời điểm $t < T$ tiến ra vô cùng: $$|(u_m, v_m)(\cdot, t)|_{L^2 \times L^2}^2 \ge \frac{2}{m} \exp(2\lambda_m M_0 (T - t)) \to +\infty \quad (m \to \infty).$$
    • Xây dựng nghiệm chỉnh hóa bằng phương pháp chặt cụt chuỗi Fourier: $$u^{N(\delta)}(x,t) = \sum_{n=1}^{N(\delta)} \exp\left(\lambda_n \int_t^T \mathcal{L}(|\nabla u^{N(\delta)}(\cdot,s)|{L^2}^2, |\nabla v^{N(\delta)}(\cdot,s)|{L^2}^2) ds\right) (f^\delta, e_n) e_n(x).$$
    • Thiết lập đánh giá sai số: Với $N(\delta)$ thỏa mãn $\lim_{\delta \to 0} N(\delta) = +\infty$ và $\lim_{\delta \to 0} \delta^2 \lambda_{N(\delta)}^2 \exp(2T M_1 \lambda_{N(\delta)}) = 0$, thu được sai số nghiệm có dạng: $$|u^{N(\delta)}(\cdot,t) - u(\cdot,t)|{H^1}^2 + |v^{N(\delta)}(\cdot,t) - v(\cdot,t)|{H^1}^2 \le \left[ 8\lambda_{N(\delta)} \exp(2M_1 T \lambda_{N(\delta)})\delta^2 + 6E(\lambda_{N(\delta)+1})^{-\tau} \right] \exp(\dots),$$ cho bậc hội tụ kiểu Hölder $\delta^{\frac{\tau}{\tau+1}}$ hoặc logarit.

  • Mục 4.2: Chỉnh hóa nghiệm bài toán giá trị cuối cho phương trình elliptic trong không gian $L^p$ ($p \neq 2$):

    • Khảo sát phương trình $\Delta u = G(x,y,z,u(x,y,z))$ trên hình hộp $(0,\pi)^2 \times (0,M)$ với điều kiện $u(x,y,M) = f(x,y)$, $u_z(x,y,M) = 0$.
    • Xây dựng nghiệm chỉnh hóa bằng phương pháp chặt cụt Fourier cho cả trường hợp hàm nguồn tuyến tính và phi tuyến.
    • Sử dụng phép nhúng Sobolev liên tục giữa không gian $L^p$ và không gian Hilbert $H^s$ để đánh giá sai số nghiệm trong chuẩn $L^p$.

  • Mục 4.3: Chỉnh hóa nghiệm bài toán xác định hàm nguồn cho phương trình bi-parabolic:

    • Khảo sát phương trình $u_{tt} + 2\Delta u_t + \Delta^2 u = \mu(t)f(x)$ với điều kiện $u(x,0) = u_t(x,0) = 0$ và điều kiện cuối $u(x,T) = h(x)$.
    • Áp dụng phương pháp Tikhonov để xây dựng hàm nguồn chỉnh hóa $f_\epsilon$ từ dữ liệu đo bị nhiễu $(\mu_\epsilon, h_\epsilon)$ thỏa mãn $|\mu_\epsilon - \mu|{L^2} \le \epsilon$, $|h\epsilon - h|_{L^2} \le \epsilon$.
    • Chứng minh sự hội tụ và đánh giá sai số giữa hàm nguồn chỉnh hóa $f_\epsilon$ và hàm nguồn chính xác $f$.

  • Mục 4.4: Chỉnh hóa nghiệm bài toán giá trị cuối cho phương trình sóng dầm mạnh với dữ liệu bị nhiễu ngẫu nhiên rời rạc:

    • Khảo sát phương trình sóng dầm $u_{tt} - \Delta u + b\Delta^2 u - a\Delta u_t = F(x,t,u)$ với dữ liệu cuối bị nhiễu ngẫu nhiên rời rạc.
    • Thiết lập nghiệm chỉnh hóa kết hợp kỹ thuật ước lượng phi tham số và chặt cụt chuỗi Fourier.
    • Đánh giá sai số kỳ vọng trong không gian Bochner $L^2_\varpi$.

  • Mục 4.5: Ví dụ số minh họa:

    • Khảo sát các ví dụ số kiểm chứng lý thuyết trên không gian 1D đoạn $[0,\pi]$.
    • Minh họa đồ thị nghiệm và hàm nguồn tại các mức nhiễu $\epsilon = 10^{-1}, 10^{-2}, 10^{-3}$ (Hình 4.1, Hình 4.2, Hình 4.3, Hình 4.4).
    • So sánh đồ thị nghiệm chính xác $u_{ex}$ và nghiệm chỉnh hóa $u_{reg}$ tại thời điểm $t = 0.8$ với số điểm chia $n \in {50, 100, 150}$ (Hình 4.5).
    • Tổng hợp dữ liệu tính toán qua các bảng số liệu:
      • Bảng 4.1: Sai số tương đối và sai số tuyệt đối giữa hàm nguồn chính xác $f$ và hàm nguồn chỉnh hóa $f_\epsilon$.
      • Bảng 4.2: Sai số giữa nghiệm chính xác và nghiệm chỉnh hóa cho trường hợp thời điểm $t = 0.8$ với $n \in {50, 100, 150}$.

Chương 5: Kết luận và kiến nghị

Chương 5 tổng kết toàn bộ các kết quả lý thuyết và thực nghiệm số đã đạt được, đồng thời đưa ra các kiến nghị và hướng nghiên cứu mở rộng trong tương lai.

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

  1. Về mặt lý luận và phương pháp toán học:

    • Chứng minh chặt chẽ tính không chỉnh theo nghĩa Hadamard của bài toán ngược thời gian cho hệ parabolic chứa số hạng Kirchhoff, bài toán Cauchy elliptic trong $L^p$, bài toán xác định hàm nguồn bi-parabolic và bài toán sóng dầm mạnh ngẫu nhiên.
    • Đề xuất phương pháp chặt cụt chuỗi Fourier để chỉnh hóa nghiệm cho Bài toán 1, Bài toán 2 và Bài toán 4.
    • Đề xuất phương pháp chỉnh hóa Tikhonov để xác định hàm nguồn ổn định cho Bài toán 3 (phương trình bi-parabolic).
    • Thiết lập thành công các đánh giá sai số tiên nghiệm giữa nghiệm chỉnh hóa và nghiệm chính xác, xác định bậc hội tụ kiểu Hölder hoặc logarit dưới các điều kiện trơn tiên nghiệm của nghiệm chính xác.
    • Ứng dụng kỹ thuật nhúng không gian giữa $L^p$ ($p \neq 2$) và các không gian Hilbert Sobolev $H^s$ để giải quyết bài toán elliptic phi tuyến khi dữ liệu quan sát bị nhiễu ngoài chuẩn $L^2$.

  2. Về mặt thực nghiệm số và ứng dụng:

    • Xây dựng thuật toán và chương trình tính toán số mô phỏng sự hội tụ của nghiệm chỉnh hóa, kiểm chứng sự phù hợp giữa kết quả lý thuyết và mô phỏng thực tế trên phần mềm Python.
    • Minh họa ứng dụng của bài toán ngược thời gian và phương pháp chỉnh hóa trong việc khôi phục hình ảnh 2D bị suy biến và nhiễu Gaussian.

  3. Công bố khoa học: Các kết quả của luận án đã được công bố trên 04 bài báo tại các tạp chí khoa học quốc tế uy tín thuộc danh mục ISI:

    • Mathematical Methods in the Applied Sciences (ISI-Q1).
    • Applicable Analysis (ISI-Q2).
    • Discrete and Continuous Dynamical Systems - Series S (ISI-Q2).
    • Advances in Difference Equations (tên mới từ năm 2022: Advances in Continuous and Discrete Models) (ISI-Q2).

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

Dựa trên các nội dung tác giả đã trình bày trong luận án, các hạn chế và hướng mở rộng nghiên cứu trong tương lai bao gồm:

  • Mở rộng khảo sát bài toán ngược cho mô hình Kirchhoff với hàm nguồn phi tuyến tổng quát.
  • Nghiên cứu bài toán ngược thời gian cho một số phương trình sóng dầm mạnh trong không gian Banach $L^p$ thay vì chỉ giới hạn trong không gian Hilbert $L^2$.
  • Mở rộng các bài toán ngược ngẫu nhiên gắn liền với quá trình Wiener hoặc chuyển động Brown (Brownian motion).

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị trong lĩnh vực phương trình vi phân và bài toán ngược:

  • Đối với nghiên cứu sinh, học viên cao học và giảng viên ngành Toán giải tích, Toán ứng dụng: Cung cấp tài liệu tham khảo chi tiết về kỹ thuật xử lý tính không chỉnh, phương pháp chặt cụt chuỗi Fourier, phương pháp Tikhonov, và kỹ thuật sử dụng các phép nhúng Sobolev giữa $L^p$ và $H^s$.
  • Đối với các nhà nghiên cứu trong lĩnh vực Xử lý ảnh và Khoa học tính toán: Cung cấp cơ sở giải tích và thuật toán số về bài toán ngược thời gian, hỗ trợ phát triển các mô hình khử nhiễu, làm rõ hình ảnh và khôi phục tín hiệu thực tế.

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

1. Tính không chỉnh theo nghĩa Hadamard của các bài toán trong luận án được chứng minh dựa trên yếu tố nào?
Trả lời: Tính không chỉnh được chứng minh thông qua sự vi phạm tính ổn định nghiệm (điều kiện thứ 3 của Hadamard). Tác giả đã chỉ ra rằng khi dữ liệu Cauchy cuối bị nhiễu rất nhỏ ($|f_m|_{L^2} \to 0$ khi $m \to \infty$), nghiệm chính xác chứa các thành phần nhân hàm mũ dương dạng $\exp(\lambda_m M_0 (T - t))$ sẽ tiến ra vô cùng khi $m \to \infty$ tại mọi thời điểm $t < T$, dẫn đến nghiệm không phụ thuộc liên tục vào dữ liệu đầu vào.

2. Điểm thuận lợi và thách thức khi nghiên cứu mô hình hệ parabolic Kirchhoff trong Bài toán 1 là gì?
Trả lời: Điểm thuận lợi là số hạng phi địa phương $|\nabla u|_{L^2(\Omega)}^2$ chỉ chứa biến thời gian $t$ mà không chứa biến không gian $x$, cho phép biểu diễn nghiệm dưới dạng tường minh theo chuỗi Fourier. Thách thức lớn nhất là số hạng này đưa vào biểu thức nghiệm một hàm số mũ chứa tích phân phụ thuộc nghiệm $\exp\left(\int_t^T \mathcal{L}(|\nabla u|^2, |\nabla v|^2)ds\right)$, khiến các tính toán đánh giá sai số trở nên cồng kềnh và phức tạp hơn so với mô hình tuyến tính thông thường.

3. Ý tưởng then chốt để xử lý bài toán giá trị cuối cho phương trình elliptic trong không gian $L^p$ ($p \neq 2$) ở Bài toán 2 là gì?
Trả lời: Do không thể áp dụng trực tiếp cấu trúc không gian Hilbert khi sai số nằm trong $L^p$ với $p \neq 2$, tác giả đã sử dụng kỹ thuật phép nhúng Sobolev liên tục hai chiều giữa không gian Banach $L^p(\Omega)$ và các không gian Hilbert $H^s(\Omega)$ kết hợp với phương pháp chặt cụt chuỗi Fourier để thiết lập đánh giá sai số.

4. Trong Bài toán 3, phương pháp chỉnh hóa Tikhonov xác định hàm nguồn $f_\epsilon$ như thế nào?
Trả lời: Phương pháp Tikhonov chuyển bài toán tìm hàm nguồn $f$ từ phương trình toán tử không chỉnh $Kf = h$ sang bài toán cực tiểu hóa phiếm hàm $J_\alpha(f) = |Kf - h_\epsilon|^2 + \alpha |f|^2$ với tham số chỉnh hóa $\alpha > 0$. Nghiệm chỉnh hóa $f_\alpha$ thỏa mãn phương trình Euler tương ứng $\alpha f_\alpha + K^K f_\alpha = K^ h_\epsilon$, đảm bảo tính ổn định khi mức nhiễu $\epsilon \to 0$.

5. Luận án đã thực hiện mô phỏng số trên các dữ liệu cụ thể nào để minh họa cho các kết quả lý thuyết?
Trả lời: Luận án đã mô phỏng khôi phục hình ảnh 2D logo của Trường Đại học Thủ Dầu Một và Trường Đại học Khoa học Tự nhiên - ĐHQG-HCM (kích thước $400 \times 256$ pixel) bị nhiễu Gaussian ở Chương 2; đồng thời thực hiện tính toán số nghiệm và hàm nguồn trên đoạn $[0,\pi]$ với các mức nhiễu $\epsilon \in {10^{-1}, 10^{-2}, 10^{-3}}$, thời điểm $t = 0.8$ và số điểm chia $n \in {50, 100, 150}$ ở Chương 4.

Kết luận

Luận án "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 đã giải quyết trọn vẹn 04 bài toán ngược thời gian và xác định hàm nguồn cho các lớp phương trình đạo hàm riêng phi tuyến, không thuần nhất và ngẫu nhiên. Bằng việc vận dụng linh hoạt phương pháp chặt cụt chuỗi Fourier và phương pháp chỉnh hóa Tikhonov kết hợp các kỹ thuật giải tích hiện đại, công trình đã chứng minh sự tồn tại, duy nhất, tính không chỉnh cũng như thiết lập các đánh giá sai số tiên nghiệm chặt chẽ cho nghiệm chỉnh hóa. Các kết quả lý thuyết được kiểm chứng qua mô phỏng số và được công bố trên 04 bài báo quốc tế thuộc danh mục ISI uy tín, khẳng định tính đúng đắn và giá trị khoa học của đề tài.