Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số bài toán ngược cho phương trình parabolic phi tuyến" do nghiên cứu sinh Võ Văn Âu thực hiệ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 (năm 2024), dưới sự hướng dẫn khoa học của PGS. Nguyễn Huy Tuấn, thuộc chuyên ngành Toán Giải tích (mã số: 62 46 01 02).

Tính cấp thiết của đề tài bắt nguồn từ việc các bài toán ngược cho phương trình đạo hàm riêng xuất hiện phổ biến trong kỹ thuật, vật lý và sinh học, khi các thông số hoặc trạng thái quá khứ không thể đo đạc trực tiếp mà phải khôi phục từ dữ liệu quan sát gián tiếp ở thời điểm sau đó. Điển hình như việc xác định nhiệt độ lúc bắt đầu xảy ra hỏa hoạn ($t_0 > 0$) khi chỉ đo được nhiệt độ ở thời điểm cuối ($t_1 > t_0$), hoặc xác định mật độ quần thể sinh vật trong quá khứ dựa trên số liệu khảo sát tại thời điểm hiện tại. Về mặt toán học, bài toán parabolic ngược thời gian là bài toán không chỉnh (ill-posed) theo nghĩa Hadamard: nghiệm có thể không tồn tại, không duy nhất, hoặc không phụ thuộc liên tục vào dữ liệu đầu vào. Một sai số đo đạc dù rất nhỏ ở thời điểm cuối $t = T$ cũng dẫn đến độ lệch vô cùng lớn của nghiệm tại thời điểm ban đầu $t = 0$.

Khoảng trống nghiên cứu được tác giả xác định là: phần lớn các công trình công bố quốc tế trước đây chủ yếu tập trung vào phương trình parabolic ngược thời gian với hàm nguồn thuần nhất hoặc tuyến tính. Các bài toán có hàm nguồn phi tuyến còn rất hiếm và chưa được khảo sát tỉ mỉ. Hơn nữa, những kết quả nghiên cứu phi tuyến trước đó thường đòi hỏi các điều kiện tiên nghiệm (a priori) rất mạnh trên nghiệm chính xác hoặc áp đặt điều kiện hệ số Lipschitz quá ngặt nghèo (chẳng hạn $KT < 1$), làm thu hẹp đáng kể lớp hàm áp dụng trong thực tế.

Mục tiêu nghiên cứu của luận án gồm ba nội dung chính được đánh số và phân loại theo hệ số phương trình:

  1. Nghiên cứu tính không chỉnh và đề xuất phương pháp chỉnh hóa chặt cụt chuỗi Fourier mới cho bài toán parabolic ngược thời gian phi tuyến với hệ số hằng trong không gian Hilbert, nhằm giảm nhẹ điều kiện tiên nghiệm của nghiệm chính xác và nới lỏng điều kiện Lipschitz của hàm nguồn.
  2. Nghiên cứu bài toán parabolic ngược thời gian phi tuyến với hệ số dẫn phi địa phương $a\left(\int_\Omega u(x,t) dx\right)$, sử dụng phương pháp tựa đảo (Quasi-reversibility - QR) để thiết lập bài toán chỉnh hóa và đánh giá sai số hội tụ đối với hàm nguồn thỏa mãn điều kiện Lipschitz toàn cục và Lipschitz địa phương.
  3. Nghiên cứu bài toán parabolic ngược thời gian phi tuyến với hệ số phi tuyến $a(x,t,u(x,t))$ và mở rộng sang hệ $m$-phương trình parabolic phi tuyến, phương trình có hệ số $a(x,t)$ và hệ số $a(x,t,u,\nabla u)$, áp dụng phương pháp QR có điều chỉnh.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Nghiệm $u(x,t)$ của các phương trình parabolic phi tuyến ngược thời gian, toán tử vi phân tuyến tính/phi tuyến, toán tử tự liên hợp dương, các hàm nguồn $F$ và các tham số nhiễu dữ liệu.
  • Phạm vi không gian: Miền không gian $\Omega \subset \mathbb{R}^d$ mở, bị chặn với biên trơn $\partial\Omega$, hoặc không gian Hilbert trừu tượng $H$, không gian $L^2(\Omega)$, không gian Hilbert scale $H^r$, không gian hàm Gevrey $G_{\gamma, \sigma}$.
  • Phạm vi thời gian: Khoảng thời gian hữu hạn $t \in [0, T]$ với điều kiện cuối được cho tại $t = T$.

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

Tổng quan tài liệu trong luận án điểm lại các hướng tiếp cận chính đối với phương trình parabolic ngược thời gian:

  • Phương pháp tựa đảo (Quasi-reversibility - QR): Lattes và Lions (1967) khởi xướng việc xấp xỉ toán tử $A$ bởi $A_\epsilon = A - \epsilon A^2$, đưa bài toán về dạng chỉnh $u_t + (A - \epsilon A^2)u = 0$ với bậc ổn định $\epsilon^{-c}$. Showalter cải tiến bằng việc sử dụng toán tử bị chặn $A^\epsilon = A(I + \epsilon A)^{-1}$, dẫn đến phương trình $u_t + Au + \epsilon A u_t = 0$. Miller phát triển phương pháp ổn định tựa đảo (Stabilized quasi-reversibility - SQR) với toán tử tổng quát $R^\epsilon(A)$.
  • Phương pháp tựa giá trị biên (Quasi-boundary value - QBV): Showalter (1983) đề xuất thay đổi điều kiện biên thời gian thành $u(T) + \epsilon u(0) = \varphi$. Năm 2016, Xu và cộng sự phát triển phương pháp QBV có điều chỉnh (modified-QBV) cho phương trình có hệ số phụ thuộc thời gian $a(t)$.
  • Phương pháp chặt cụt chuỗi Fourier: Nguyễn Huy Tuấn (2013) sử dụng phương pháp chặt cụt chuỗi Fourier cho bài toán phi tuyến với sai số hội tụ bậc Hölder, nhưng đòi hỏi điều kiện tiên nghiệm rất mạnh $\sup_{t \in [0,T]} \sum_{n=1}^\infty e^{2\beta \lambda_n} (u(t), \phi_n)^2 < \infty$. Điều kiện tương tự cũng xuất hiện trong các công trình của nhóm nghiên cứu Đặng Đức Trọng, Phan Thanh Nam, Hetrick.
  • Các hướng tiếp cận khác: Phương pháp chỉnh hóa Tikhonov của Đặng Đình Áng, Elden, Liu; phương pháp nửa nhóm toán tử của Ames, Huang, Kirkup, Nguyễn Thanh Long, Mel’nikova, Piskarev; phương pháp làm nhuyễn (Mollification) của Đinh Nho Hào; các phương pháp số của Fu, Hassanov, Mera, Klibanov, Liu, Lesnic.
  • Đối với bài toán hệ số phi địa phương và hệ số phi tuyến: Đặng Đức Trọng và cộng sự (2009) nghiên cứu bài toán với hệ số $a=1$ bằng phương pháp phương trình tích phân. Nhóm tác giả năm 2016 khảo sát hệ số $a=a(t) \in C([0,T])$ bằng lý thuyết nửa nhóm cho bậc ổn định $\epsilon^{t/T}$. Một số công trình của Murphy, Pereverzev, Duchateau, Hanke khảo sát hệ số $a(t,u)$, Clark, Yildiz khảo sát trường hợp $a>0, F=0$.

Khoảng trống luận án lựa chọn giải quyết: Thiết lập các phương pháp chỉnh hóa hiệu quả (chặt cụt Fourier cải tiến, QR và QR điều chỉnh) cho các lớp bài toán parabolic phi tuyến với hệ số hằng, hệ số phi địa phương $a\left(\int_\Omega u dx\right)$, hệ số phi tuyến $a(x,t,u)$, đồng thời làm suy yếu điều kiện trơn của nghiệm chính xác (chỉ yêu cầu thuộc không gian Hilbert scale $H^r$ hoặc $L^2(\Omega)$ thay vì hàm mũ Gevrey bậc cao) và xóa bỏ hạn chế $KT < 1$ đối với hệ số Lipschitz.

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

Cơ sở lý thuyết của luận án được xây dựng trên nền tảng giải tích hàm, lý thuyết phương trình đạo hàm riêng và lý thuyết bài toán không chỉnh:

  • Không gian hàm: Không gian Hilbert $(H, (\cdot,\cdot), |\cdot|)$; không gian Lebesgue $L^2(\Omega)$, $L^\infty(\Omega)$; không gian phụ thuộc thời gian $L^p(0,T; X)$, $C^m([0,T]; X)$, $C([0,T]; X)$; không gian Hilbert scale $H^r = {f \in H: \sum_{n=1}^\infty \lambda_n^{2r} (f,\phi_n)^2 < \infty}$ với $r > 0$; không gian Gevrey $G_{\gamma, \sigma} = {f \in L^2(\Omega): \sum_{n=1}^\infty e^{2\sigma \lambda_n^{1/\gamma}} (f,\phi_n)_{L^2(\Omega)}^2 < \infty}$ với bậc $\gamma > 0$, chỉ số $\sigma > 0$.
  • Toán tử tuyến tính: Toán tử tuyến tính không bị chặn $A: D(A) \subset H \to H$ tự liên hợp, dương, có toán tử nghịch đảo $A^{-1}$ compact, sở hữu hệ trực chuẩn đầy đủ các vectơ riêng ${\phi_n}{n=1}^\infty$ ứng với dãy giá trị riêng $0 < \lambda_1 \le \lambda_2 \le \dots \le \lambda_n \to \infty$. Khai triển chuỗi Fourier và đẳng thức Parseval: $|u|^2 = \sum{n=1}^\infty (u,\phi_n)^2$.
  • Tính chỉnh theo Hadamard: Ánh xạ $K: U \to V$ giữa hai không gian metric, bài toán $Ku = 0$ gọi là đặt chỉnh nếu tồn tại nghiệm, nghiệm là duy nhất và nghiệm phụ thuộc liên tục vào dữ liệu đầu vào; bài toán vi phạm ít nhất một trong ba điều kiện trên là không chỉnh.
  • Các bất đẳng thức giải tích: Bất đẳng thức Young ($ab \le \frac{a^p}{p} + \frac{b^q}{q}$), bất đẳng thức Hölder, bất đẳng thức Grönwall dạng tích phân ($f(t) \le b + k \int_0^t f(s)ds \Rightarrow f(t) \le b e^{kt}$), và các bất đẳng thức đại số mở rộng.

Phương pháp nghiên cứu thực tế:

  • Kỹ thuật giải tích định lượng thuần túy: Biến đổi bài toán vi phân ngược thời gian thành phương trình tích phân phi tuyến dạng Volterra; biểu diễn nghiệm qua chuỗi Fourier suy rộng.
  • Phương pháp chỉnh hóa chặt cụt Fourier cải tiến: Loại bỏ các tần số cao $\lambda_n > M_\epsilon$ gây mất ổn định và tái cấu trúc số hạng tích phân để khử sự phụ thuộc vào điều kiện hàm mũ.
  • Phương pháp phân chia miền thời gian: Chia đoạn $[0,T]$ thành $2m$ khoảng con độ dài $hT$ để nới lỏng điều kiện Lipschitz $KT < m$.
  • Phương pháp tựa đảo (QR) và QR có điều chỉnh: Bổ sung số hạng vi phân bậc cao nhân với tham số nhỏ $\beta(\epsilon)$ và điều chỉnh toán tử Laplace nhằm chặn phổ giá trị riêng.
  • Nguyên lý ánh xạ co Banach: Sử dụng định lý điểm bất động Banach trên các không gian hàm liên tục để chứng minh sự tồn tại và duy nhất nghiệm của các bài toán chỉnh hóa.

Nguồn dữ liệu/tư liệu nghiên cứu:

  • Luận án sử dụng dữ liệu mô hình toán học giải tích trừu tượng. Dữ liệu biên thời gian cuối $\varphi \in H$ (hoặc $\varphi \in L^2(\Omega)$) được giả định bị nhiễu bởi dữ liệu đo đạc thực nghiệm $\varphi^\epsilon \in H$ thỏa mãn sai số chuẩn $L^2$: $|\varphi^\epsilon - \varphi| \le \epsilon$ với mức nhiễu $\epsilon > 0$.

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

Chương 1: Kiến thức chuẩn bị

Chương 1 hệ thống hóa toàn bộ các công cụ giải tích hàm và lý thuyết bài toán không chỉnh làm tiền đề cho các chương sau:

  • Định nghĩa chi tiết về tích vô hướng, không gian tiền Hilbert, không gian Hilbert, hệ trực giao, hệ trực chuẩn đầy đủ trong không gian Hilbert và không gian $L^2(\Omega)$.
  • Định nghĩa các không gian hàm phụ thuộc thời gian $L^p(0,T; X)$, không gian $C^m([0,T]; X)$ cùng các chuẩn Banach tương ứng. Thiết lập định nghĩa chuẩn xác cho không gian Hilbert scale $H^r$ với chuẩn $|f|{H^r} = \left(\sum{n=1}^\infty \lambda_n^{2r} (f,\phi_n)^2\right)^{1/2}$ và không gian hàm Gevrey $G_{\gamma, \sigma}$.
  • Trình bày tính chất phổ của toán tử tự liên hợp dương $A$ có $A^{-1}$ compact, khai triển nghiệm theo hệ vectơ riêng ${\phi_n}_{n=1}^\infty$ và đẳng thức Parseval.
  • Trình bày định nghĩa chuẩn xác về tính đặt chỉnh và không chỉnh của bài toán toán tử $Ku = 0$ theo nghĩa Hadamard.
  • Phát biểu và chứng minh các bất đẳng thức cơ sở: bất đẳng thức Young, bất đẳng thức Hölder, và bất đẳng thức Grönwall.

Chương 2: Bài toán parabolic phi tuyến với hệ số hằng

Chương này khảo sát bài toán parabolic ngược thời gian phi tuyến với hệ số hằng trong không gian Hilbert $H$: $$u_t + Au = F(t, u(t)), \quad t \in (0, T); \quad u(T) = \varphi$$

  • Phân tích sự không chỉnh: Nghiệm biểu diễn qua phương trình tích phân: $$u(t) = \sum_{n=1}^\infty \left[ e^{(T-t)\lambda_n} (\varphi, \phi_n) - \int_t^T e^{(s-t)\lambda_n} (F(s, u(s)), \phi_n) ds \right] \phi_n$$ Do nhân $e^{(T-t)\lambda_n}$ tăng rất nhanh khi $n \to \infty$, tác giả thiết lập ví dụ phản chứng: với dãy dữ liệu $\varphi^j = \frac{1}{\sqrt{\lambda_j}} \phi_j \to 0$ khi $j \to \infty$ trong $H$, nghiệm tương ứng $|u^j|_{C([0,T]; H)} \to \infty$, chứng minh bài toán không chỉnh theo Hadamard.
  • Kết quả chỉnh hóa thứ nhất (với điều kiện $KT < 1$): Đề xuất nghiệm chỉnh hóa chặt cụt mới: $$u^\epsilon(t) = \sum_{\lambda_n \le M_\epsilon} \left[ e^{(T-t)\lambda_n} (\varphi^\epsilon, \phi_n) - \int_t^T e^{(s-t)\lambda_n} (F(s, u^\epsilon(s)), \phi_n) ds \right] \phi_n + \sum_{\lambda_n > M_\epsilon} e^{-t\lambda_n} (u(0), \phi_n) \phi_n$$ Chứng minh sự tồn tại duy nhất của $u^\epsilon \in C([0,T]; H)$ qua nguyên lý ánh xạ co. Với điều kiện tiên nghiệm $|u(0)|{H^r} \le E$, đánh giá sai số đạt được: $$|u^\epsilon(t) - u(t)| \le P_1(t) \left( e^{(T-t)M\epsilon}\epsilon + M_\epsilon^{-r} E \right)$$ Bằng cách chọn ngưỡng tối ưu $M_\epsilon = \frac{1}{T+\alpha} \ln(1/\epsilon)$ với $\alpha > 0$, tốc độ hội tụ đạt bậc logarit và Hölder suy rộng.
  • Kết quả chỉnh hóa thứ hai (với $K > 0$ bất kỳ): Chia đoạn $[0,T]$ thành $2m$ đoạn con bằng các mốc thời gian $T_k = khT$ ($k=0, 1, \dots, 2m$) thỏa mãn $KT < m$. Xây dựng nghiệm chỉnh hóa $U^\epsilon(t)$ nối tiếp trên từng khoảng con $[T_{k-1}, T_k]$. Đánh giá sai số chứng minh được: $$|U^\epsilon(t) - u(t)| \le 2m \Phi^{2m}(m, K, q) (1 + E) \epsilon^{\frac{T-t}{2mT}}$$ với điều kiện tiên nghiệm nhẹ hơn là $|u(t)|_{H^r} \le E$ với mọi $t \in [0,T]$.

Chương 3: Bài toán parabolic phi tuyến với hệ số phi địa phương

Chương 3 giải quyết bài toán với hệ số khuếch tán phụ thuộc tích phân toàn cục trên miền $\Omega \subset \mathbb{R}^d$: $$u_t - a\left(\int_\Omega u(x,t) dx\right) \Delta u = F(x,t,u(x,t)), \quad (x,t) \in \Omega \times (0,T)$$ $$\frac{\partial u}{\partial \nu} = 0 \text{ trên } \partial\Omega \times (0,T); \quad u(x,T) = \varphi(x)$$

  • Thiết lập hệ giả thiết: $(H_1)$ $a(z) > 0$ liên tục; $(H_2)$ $M_1 \le a(z) \le M_2$; $(H_3)$ $a(z)$ thỏa mãn điều kiện Lipschitz với hằng số $L$: $|a(z_1) - a(z_2)| \le L|z_1 - z_2|$; $(H_4)$ $f \in L^2(\Omega)$ với ký hiệu toán tử tích phân $I_f u(t) = \int_\Omega f(x)u(x,t)dx$; $(H_5)$ $|\varphi^\epsilon - \varphi|{L^2(\Omega)} \le \epsilon$. Bổ đề đánh giá: $|a(I_f u_1(t)) - a(I_f u_2(t))| \le L|f|{L^2(\Omega)} |u_1(\cdot,t) - u_2(\cdot,t)|_{L^2(\Omega)}$.
  • Chỉnh hóa bài toán thuần nhất: Đưa ra bài toán tựa đảo (QR): $$u^\beta_t = a(I_f u^\beta) \Delta u^\beta + \beta a(I_f u^\beta) \Delta u^\beta_t$$ Nghiệm chỉnh hóa biểu diễn dưới dạng tích phân giải tích. Chứng minh tồn tại nghiệm duy nhất và thiết lập đánh giá sai số trong không gian Gevrey $G_{1,\sigma}$: $$|u^\beta(\cdot,t) - u(\cdot,t)|{L^2(\Omega)} \le \sqrt{3} \left[ \epsilon^{\frac{t}{T}} + \frac{M_2^2 T^2}{\ln(1/\epsilon)} |u|{L^\infty(0,T; L^2(\Omega))} \right] \exp\left(P_3 |f|_{L^2(\Omega)}^2\right)$$ khi chọn tham số chỉnh hóa $\beta(\epsilon) = \frac{T}{\ln(1/\epsilon)}$.
  • Chỉnh hóa bài toán phi tuyến: Áp dụng phương pháp QR có điều chỉnh với toán tử Laplace xấp xỉ $A^\beta = \sum_{n=1}^\infty \lambda_n^\beta (\cdot, \phi_n)\phi_n$, trong đó $\lambda_n^\beta = \frac{1}{M_2 T} \ln(\beta + e^{-M_2 T \lambda_n})$. Luận án chứng minh sự tồn tại duy nhất nghiệm chỉnh hóa và đánh giá sai số cho hai trường hợp hàm nguồn $F$:
    1. Trường hợp $F$ thỏa mãn điều kiện Lipschitz toàn cục với hằng số $K > 0$: Đạt sai số hội tụ $|u^\epsilon(\cdot,t) - u(\cdot,t)| \le P_4 \epsilon^{\theta(t)}$.
    2. Trường hợp $F$ thỏa mãn điều kiện Lipschitz địa phương: Thiết lập chặn nghiệm và đánh giá hội tụ tương ứng.

Chương 4: Bài toán parabolic ngược thời gian phi tuyến với hệ số phi tuyến

Chương 4 mở rộng nghiên cứu sang phương trình parabolic có hệ số khuếch tán phụ thuộc phi tuyến vào tọa độ, thời gian và giá trị nghiệm: $$u_t - \nabla \cdot (a(x,t,u(x,t)) \nabla u) = F(x,t,u(x,t)), \quad (x,t) \in \Omega \times (0,T)$$ $$u(x,t) = 0 \text{ trên } \partial\Omega \times (0,T); \quad u(x,T) = \varphi(x)$$

  • Phương pháp tiếp cận: Do không thể chuyển trực tiếp phương trình về dạng tích phân tường minh qua hệ hàm riêng như hệ số hằng, tác giả áp dụng phương pháp tựa đảo (QR) có điều chỉnh kết hợp xấp xỉ biến phân để thiết lập bài toán chỉnh hóa.
  • Khảo sát hai trường hợp hàm nguồn $F$: trường hợp Lipschitz toàn cục và trường hợp Lipschitz địa phương.
  • Các kết quả mở rộng: Thiết lập nghiệm và đánh giá sai số cho hệ $m$-phương trình parabolic phi tuyến với ma trận hệ số $a := a(x,t)$, và phương trình tổng quát có hệ số dẫn nhiệt phụ thuộc đồng thời vào nghiệm và gradient của nghiệm: $a := a(x,t,u,\nabla u)$.

Bảng tổng hợp các bài toán, phương pháp chỉnh hóa và không gian hàm trong luận án:

Chương Dạng phương trình và hệ số Phương pháp chỉnh hóa Không gian hàm / Giả thiết nghiệm Bậc sai số hội tụ
Chương 2 $u_t + Au = F(t,u)$, hệ số hằng Chặt cụt chuỗi Fourier cải tiến (kỹ thuật 1 khoảng & $2m$ khoảng) $u(0) \in H^r$ hoặc $u(t) \in H^r$; Lipschitz $KT < 1$ hoặc $KT < m$ Bậc Hölder suy rộng $\epsilon^{\frac{T-t}{2mT}}$
Chương 3 $u_t - a\left(\int_\Omega u dx\right)\Delta u = F$, hệ số phi địa phương Tựa đảo (QR) và QR có điều chỉnh ($A^\beta$) $u \in G_{1,\sigma}$ hoặc $u \in C^1([0,T]; L^2(\Omega))$; $a(z)$ bị chặn và Lipschitz Bậc Hölder $\epsilon^{\theta(t)}$
Chương 4 $u_t - \nabla \cdot (a(x,t,u)\nabla u) = F$, hệ số phi tuyến Tựa đảo (QR) có điều chỉnh $u \in H^1_0(\Omega) \cap H^2(\Omega)$; Lipschitz toàn cục và địa phương Đánh giá sai số tựa năng lượng

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

Các đóng góp mới về mặt lý luận và khoa học được luận án tự nêu bao gồm:

  1. Phát triển thành công hai phương pháp chỉnh hóa chặt cụt chuỗi Fourier cải tiến cho bài toán parabolic ngược thời gian phi tuyến với hệ số hằng. Kết quả này giúp giảm nhẹ điều kiện tiên nghiệm trên nghiệm chính xác (chỉ cần thuộc không gian Hilbert scale $H^r$ thay vì điều kiện hàm mũ mạnh) và loại bỏ hoàn toàn ràng buộc nhỏ $KT < 1$ trên hệ số Lipschitz của hàm nguồn thông qua kỹ thuật phân chia miền thời gian.
  2. Thiết lập tính đặt chỉnh và đánh giá sai số hội tụ cho bài toán parabolic phi tuyến với hệ số khuếch tán phi địa phương $a\left(\int_\Omega u(x,t)dx\right)$ bằng phương pháp tựa đảo (QR) và QR có điều chỉnh. Đây là kết quả giải tích mới đối với phương trình có hệ số phi địa phương kết hợp hàm nguồn phi tuyến.
  3. Đề xuất quy trình chỉnh hóa bằng phương pháp QR có điều chỉnh cho bài toán parabolic ngược thời gian có hệ số phi tuyến $a(x,t,u)$, giải quyết khó khăn khi bài toán không thể chuyển trực tiếp về phương trình tích phân giải tích; đồng thời mở rộng thành công cho hệ $m$-phương trình parabolic phi tuyến và phương trình có hệ số $a(x,t,u,\nabla u)$.
  4. Toàn bộ các kết quả lý thuyết chính của luận án đã được công bố trên 05 công trình khoa học quốc tế uy tín, bao gồm 01 bài báo trên tạp chí Inverse Problems (SCI, nhóm Q1) và 01 bài báo trên tạp chí Acta Applicandae Mathematicae (SCI, nhóm Q2), cùng 03 công trình chuyên ngành khác ([A1]–[A5]).

Về mặt giải pháp đề xuất: Luận án cung cấp các công thức nghiệm xấp xỉ tường minh kèm quy tắc lựa chọn tham số chỉnh hóa tối ưu $\beta(\epsilon)$ và ngưỡng chặt cụt $M_\epsilon$ phụ thuộc tường minh vào mức độ nhiễu $\epsilon$, phục vụ trực tiếp cho việc xây dựng thuật toán tính toán số.

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

Hạn chế:

  • Luận án tập trung vào phân tích giải tích lý thuyết và chứng minh sự hội tụ định lượng, chưa trình bày các thuật toán mô phỏng số chi tiết trên máy tính cho các bài toán hai chiều và ba chiều phức tạp.
  • Các đánh giá sai số phụ thuộc vào giả thiết hệ số khuếch tán $a(\cdot)$ bị chặn dưới và chặn trên bởi các hằng số dương ($M_1 \le a \le M_2$) và giả thiết độ trơn của biên miền không gian $\Omega$.

Hướng nghiên cứu tiếp được tác giả xác định:

  • Mở rộng phương pháp cho hệ phương trình parabolic phi tuyến tổng quát với ma trận hệ số khuếch tán dị hướng phụ thuộc vào gradient cấp cao $a(x,t,u,\nabla u)$.
  • Nghiên cứu bài toán ngược xác định đồng thời hệ số nguồn và trạng thái ban đầu của phương trình parabolic phi tuyến với dữ liệu đo biên cục bộ.

Giá trị tham khảo

Luận án là tài liệu tham khảo có giá trị chuyên môn cao đối với:

  • Giảng viên, nghiên cứu sinh và học viên cao học chuyên ngành Toán Giải tích, Toán Ứng dụng, Phương trình vi phân và Đạo hàm riêng: Cung cấp phương pháp luận giải tích hiện đại để xử lý tính không chỉnh của phương trình đạo hàm riêng phi tuyến.
  • Các nhà nghiên cứu trong lĩnh vực Bài toán ngược và Tính toán khoa học (Inverse Problems & Scientific Computing): Các kỹ thuật chặt cụt chuỗi Fourier mới và phương pháp tựa đảo điều chỉnh tại Chương 2, Chương 3 và Chương 4 là công cụ mẫu mực để xây dựng các sơ đồ chỉnh hóa cho các mô hình truyền nhiệt ngược thời gian và khuếch tán phi tuyến.
  • Chuyên gia mô hình hóa trong vật lý và sinh học: Cung cấp cơ sở toán học chặt chẽ để khôi phục mật độ phân bố quần thể sinh học và trường nhiệt độ lịch sử từ dữ liệu quan sát hiện tại.

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

1. Bản chất sự không chỉnh theo nghĩa Hadamard của bài toán parabolic ngược thời gian là gì? Bản chất sự không chỉnh nằm ở việc nghiệm không phụ thuộc liên tục vào dữ liệu đầu vào. Do toán tử truyền nhiệt làm trơn dữ liệu theo chiều thời gian thuận, khi đảo ngược thời gian, các thành phần tần số cao trong chuỗi Fourier của nghiệm chứa nhân tích phân $e^{(T-t)\lambda_n}$ tăng theo hàm mũ khi $\lambda_n \to \infty$. Do đó, một nhiễu đo đạc $\epsilon$ dù rất nhỏ tại thời điểm cuối $t = T$ sẽ bị phóng đại theo hàm mũ $e^{T\lambda_n}$ tại thời điểm $t = 0$, làm mất tính ổn định của nghiệm.

2. Điểm cải tiến cốt lõi của phương pháp chặt cụt chuỗi Fourier ở Chương 2 so với các nghiên cứu trước đây là gì? Trước đây, các công trình (như của Nguyễn Huy Tuấn, Phan Thanh Nam) đòi hỏi nghiệm chính xác phải thỏa mãn điều kiện hàm mũ rất mạnh $\sup_{t \in [0,T]} \sum_{n=1}^\infty e^{2\beta \lambda_n} (u(t), \phi_n)^2 < \infty$. Phương pháp chặt cụt cải tiến của luận án đã cấu trúc lại nghiệm xấp xỉ kết hợp thông tin tại $t=0$, giúp giảm nhẹ điều kiện tiên nghiệm xuống không gian Hilbert scale thông thường $|u(0)|{H^r} \le E$ hoặc $|u(t)|{H^r} \le E$ với $r > 0$.

3. Kỹ thuật chia đoạn thời gian $[0,T]$ thành $2m$ khoảng con trong Chương 2 giải quyết vấn đề gì? Kỹ thuật này giúp phá vỡ giới hạn của điều kiện Lipschitz $KT < 1$ (vốn là điều kiện thu hẹp để áp dụng nguyên lý ánh xạ co trên toàn đoạn $[0,T]$). Bằng cách chia $[0,T]$ thành $2m$ đoạn con sao cho trên mỗi đoạn $2KhT < 1$ (tương đương $KT < m$), tác giả chứng minh được sự tồn tại duy nhất của nghiệm chỉnh hóa và thiết lập đánh giá sai số hội tụ với hằng số Lipschitz $K > 0$ bất kỳ.

4. Phương pháp Quasi-reversibility (QR) được áp dụng như thế nào cho bài toán hệ số phi địa phương ở Chương 3? Tác giả thay thế bài toán gốc không chỉnh bằng một bài toán phụ thuộc tham số nhỏ $\beta > 0$: bổ sung số hạng vi phân hỗn hợp $\beta a(I_f u^\beta) \Delta u^\beta_t$ vào phương trình thuần nhất, và thay toán tử Laplace $-\Delta$ bằng toán tử bị chặn phổ $A^\beta = \sum_{n=1}^\infty \lambda_n^\beta (\cdot, \phi_n)\phi_n$ với $\lambda_n^\beta = \frac{1}{M_2 T} \ln(\beta + e^{-M_2 T \lambda_n})$ vào bài toán phi tuyến, từ đó chuyển bài toán về dạng đặt chỉnh và kiểm soát sai số hội tụ theo $\beta(\epsilon)$.

5. Luận án đã công bố các kết quả nghiên cứu trên những diễn đàn khoa học nào? Các kết quả chính của luận án đã được công bố trên 05 bài báo khoa học quốc tế ([A1]–[A5]), tiêu biểu là tạp chí Inverse Problems (SCI, Q1) và Acta Applicandae Mathematicae (SCI, Q2); đồng thời được báo cáo tại Hội nghị khoa học Trường Đại học Khoa học Tự nhiên TP.HCM (2016), Hội nghị Toán học Miền Trung và Tây Nguyên lần I tại Đà Lạt (2017), và Đại hội Toán học Việt Nam lần thứ IX tại Nha Trang (2018).

Kết luận

Luận án tiến sĩ của tác giả Võ Văn Âu đã giải quyết một cách hệ thống và chặt chẽ tính không chỉnh của ba lớp bài toán parabolic ngược thời gian phi tuyến với hệ số hằng, hệ số phi địa phương và hệ số phi tuyến. Bằng việc đề xuất các phương pháp chỉnh hóa cải tiến (chặt cụt Fourier mới, QR và QR điều chỉnh), luận án đã thành công trong việc suy yếu các điều kiện tiên nghiệm của nghiệm và nới lỏng các ràng buộc đối với hệ số Lipschitz của hàm nguồn. Các kết quả lý thuyết đạt được có đóng góp học thuật rõ nét cho lý thuyết bài toán ngược và phương trình đạo hàm riêng phi tuyến, được bảo chứng bằng các công bố khoa học trên các tạp chí quốc tế chuyên ngành uy tín.