Tổng quan về luận án

Bối cảnh khoa học của công trình bắt nguồn từ nhu cầu mô tả chính xác các quá trình động học phức tạp trong vật lý hiện đại, địa kỹ thuật, sinh học lượng tử và cơ học môi trường liên tục có hiện tượng nhớ (memory effects). Như tác giả đã khẳng định trong phần mở đầu: "Thuật ngữ 'phương trình vi phân không địa phương' (nonlocal differential equation) dùng để chỉ những phương trình vi phân mà trong đó đạo hàm của hàm trạng thái không xác định tại từng điểm mà xác định thông qua một công thức tích phân (gọi là đạo hàm 'có nhớ')." Mô hình toán học tổng quát được nghiên cứu có dạng:

$$\frac{d}{dt}k * (u - u_0) + Au(t) = f(u(t)), \quad t > 0, \quad u(0) = u_0$$

trong đó $u$ nhận giá trị trong không gian Hilbert tách được $H$, nhân $k \in L^1_{\text{loc}}(\mathbb{R}+)$, $A$ là toán tử tuyến tính đóng không bị chặn và $f: H \to H$ là ánh xạ phi tuyến. Khi $k(t) = g{1-\alpha}(t) = \frac{t^{-\alpha}}{\Gamma(1-\alpha)}$ với $0 < \alpha < 1$, hệ quy về phương trình vi phân phân thứ cấp $\alpha$ loại Caputo mô tả quá trình dưới khuếch tán (subdiffusion).

Khoảng trống nghiên cứu (Research gap) then chốt mà luận án giải quyết bao gồm 3 nút thắt lý thuyết lớn:

  1. Thiếu khung lý thuyết hoàn chỉnh về tính chính quy và tính ổn định Lyapunov cho phương trình tiến hóa không địa phương trừu tượng trong không gian vô hạn chiều với toán tử sinh tổng quát.
  2. Chưa có kết quả định tính về tính tiêu hao (dissipativity) và tính ổn định tiệm cận yếu cho phương trình khuếch tán dị thường có trễ thời gian hữu hạn $u_\rho$.
  3. Bài toán giá trị cuối (final value problem/inverse problem) đối với phương trình dưới khuếch tán bán tuyến tính với hàm nguồn không thỏa mãn điều kiện Lipschitz và nhân Sonine suy rộng chưa từng được giải quyết đầy đủ.

Các câu hỏi nghiên cứu (Research Questions - RQ) và giả thuyết khoa học (Hypotheses - H) được xác lập:

  • RQ1: Điều kiện nào trên nhân $k$ và toán tử $A$ đảm bảo tính giải được, tính chính quy Hölder và tính ổn định tiệm cận của nghiệm nhẹ cho hệ trừu tượng không địa phương?
    • H1: Cặp nhân Sonine kết hợp với tính parabolic theo nghĩa Prüss (1993) sẽ đảm bảo tính khả vi của toán tử giải thức $S(t), R(t)$ và tính chính quy Hölder của nghiệm mạnh.
  • RQ2: Làm thế nào để kiểm soát dáng điệu tiệm cận của hệ khuếch tán dị thường khi có sự xuất hiện của trễ hữu hạn mà không thể áp dụng phiếm hàm Lyapunov truyền thống?
    • H2: Một bất đẳng thức vi tích phân kiểu Halanay suy rộng kết hợp với nguyên lý điểm bất động cho ánh xạ nén theo độ đo Hausdorff sẽ thiết lập được tính tiêu hao và ổn định tiệm cận yếu.
  • RQ3: Bài toán giá trị cuối $u(T) = g(u)$ có thể giải được trong các không gian hàm suy rộng chứa điểm kỳ dị tại $t=0$ hay không?
    • H3: Việc sử dụng giải thức của phương trình tích phân Volterra với nhân hoàn toàn dương cho phép khôi phục nghiệm nhẹ ngay cả khi dữ kiện cuối phi chính quy.

Khung lý thuyết nền tảng tích hợp: Lý thuyết phương trình tích phân tiến hóa và toán tử giải thức của Prüss (1993), Lý thuyết độ đo không compact của Akhmerov et al. (1992), cùng Lý thuyết nhân Sonine và hàm hoàn toàn dương của Gripenberg, Londen & Staffans (1990). Phạm vi nghiên cứu bao quát các bài toán trong không gian Hilbert tách được $H = L^2(\Omega)$, miền bị chặn $\Omega \subset \mathbb{R}^d$ với biên trơn $\partial\Omega$, toán tử Laplace phân thứ $(-\Delta)^\gamma$ ($\gamma > 0$) và khoảng thời gian $t \in [0, T]$ hoặc $t \in [0, \infty)$. Luận án đã công bố 03 công trình khoa học chuyên ngành trên các tạp chí quốc tế uy tín.

Literature Review và Positioning

Các dòng nghiên cứu chính trong y văn quốc tế về phương trình không địa phương và khuếch tán dị thường được tổng hợp qua các giai đoạn phát triển:

  • Dòng nghiên cứu về mô hình hóa khuếch tán dị thường: Khởi xướng từ các nghiên cứu thực nghiệm về chuyển động Brown phân thứ và hiện tượng khuếch tán siêu chậm (ultra-slow diffusion). Zacher (2008, 2013) cùng các cộng sự [26, 49] đã đặt nền móng giải tích hiện đại cho lớp phương trình $\partial_t [k * (u - u_0)] = \Delta u$.
  • Dòng nghiên cứu về tính ổn định Lyapunov của hệ phân thứ: Li et al. (2010), Rivero et al. (2013) [32, 43] đã nghiên cứu tính ổn định Lyapunov cho phương trình vi phân phân thứ hữu hạn chiều. Đối với không gian vô hạn chiều, Cuesta et al. (2006) và Carvalho-Neto & Ceballos (2017) [7, 23] khảo sát tính ổn định tiệm cận yếu.
  • Dòng nghiên cứu về bài toán ngược và giá trị cuối: Jin & Rundell (2015), Sakamoto & Yamamoto (2011) [27, 46], Tuan et al. (2017, 2018) [48, 55] đã tiếp cận bài toán xác định ngoại lực và bài toán giá trị cuối thông qua hàm Mittag-Leffler và phương pháp khai triển Fourier.

Y văn tồn tại hai trường phái tranh luận và mâu thuẫn phương pháp luận:

  1. Trường phái Nửa nhóm liên tục (Semigroup Theory): Cố gắng mở rộng cấu trúc nửa nhóm giải tích cổ điển sang phương trình không địa phương. Tuy nhiên, như tác giả chỉ rõ: "ánh xạ nghiệm của (3) nói chung không có tính chất nửa nhóm nên việc sử dụng lý thuyết tập hút toàn cục để nghiên cứu dáng điệu nghiệm là không khả thi."
  2. Trường phái Hàm Lyapunov phi địa phương: Cố gắng tính đạo hàm có nhớ trên các phiếm hàm năng lượng. Phương pháp này gặp bế tắc nghiêm trọng khi không gian pha là vô hạn chiều kết hợp với trễ thời gian $u(t - \rho)$.

Vị trí học thuật của luận án: Luận án định vị tại điểm giao thoa giữa Lý thuyết toán tử trừu tượng và Phương trình đạo hàm riêng phân thứ hiện đại. Luận án mở rộng toàn diện kết quả của Vergara & Zacher (2015, 2017) [50] (vốn chỉ áp dụng nguyên lý cực đại tuyến tính hóa cho mô hình vô hướng cục bộ) sang phương trình toán tử trừu tượng tổng quát (3) thông qua biểu diễn giải thức mới. Đồng thời, luận án vượt qua giới hạn của Tuan et al. (2018) [48] (chỉ giới hạn ở nhân phân thứ chuẩn $k(t) = g_{1-\alpha}(t)$ phụ thuộc hàm Mittag-Leffler) bằng cách giải quyết thành công bài toán giá trị cuối cho lớp nhân Sonine tổng quát không có biểu diễn tường minh.

Đó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 lý thuyết đột phá thông qua việc mở rộng và tái định hình các lý thuyết kinh điển:

  1. Phát triển Lý thuyết Giải thức Prüss (1993): Xây dựng biểu diễn nghiệm tích phân cho hệ trừu tượng qua cặp toán tử ${S(t)}{t \ge 0}$ và ${R(t)}{t > 0}$:

$$S(t)v = \sum_{n=1}^\infty s(t, \lambda_n)(v, e_n)e_n, \quad R(t)v = \sum_{n=1}^\infty r(t, \lambda_n)(v, e_n)e_n$$

Chứng minh thành công tính chất vi phân then chốt $S'(t) = -AR(t)$ trên $(0, \infty)$ và thiết lập đánh giá chặn giải tích:

$$|S'(t)| \le \frac{M}{t}, \quad |R'(t)| \le M \lambda_1^{-\gamma} t^{-2}, \quad \forall t > 0$$

  1. Thiết lập Bất đẳng thức kiểu Gronwall phi địa phương: Với $v(t) \le s(t, \mu)v_0 + \int_0^t r(t-\tau, \mu)[\alpha v(\tau) + \beta]d\tau$ và $\mu > \alpha$, luận án chứng minh nghiệm bị chặn chính xác bởi:

$$v(t) \le s(t, \mu - \alpha)v_0 + \frac{\beta}{\mu - \alpha}(1 - s(t, \mu - \alpha))$$

  1. Mô hình hóa tiệm cận Lyapunov cho hệ bán tuyến tính: Chứng minh mệnh đề định lượng: Nếu $f(0)=0$ và $\limsup_{\rho \to 0} \kappa(\rho) = \alpha < \lambda_1$, tồn tại lân cầu $\delta > 0$ sao cho với $|u_0| \le \delta$, nghiệm thỏa mãn $|u(t)| \le s(t, \lambda_1 - \alpha - \theta)|u_0| \to 0$ khi $t \to \infty$ (với điều kiện nhân liên kết $l \notin L^1(\mathbb{R}_+)$).

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

Khung phân tích của luận án tích hợp chặt chẽ 3 trụ cột toán học cao cấp:

  • Lý thuyết Hàm hoàn toàn dương và Cặp nhân Sonine: Điều kiện $(K)$ xác lập hàm $k \in L^1_{\text{loc}}(\mathbb{R}+)$ không âm, không tăng và tồn tại $l \in L^1{\text{loc}}(\mathbb{R}_+)$ sao cho $k * l = 1$. Điều kiện $(K^*)$ đòi hỏi $l$ là $m$-chính quy ($m \ge 2$) và có tính chất $\theta$-quạt với $0 < \theta < \pi$.
  • Lý thuyết Độ đo không compact Hausdorff (MNC): Sử dụng độ đo $\chi^*(D) = \chi_\infty(D) + d_\infty(D)$ trên không gian hàm liên tục phân rã $BC_0(\mathbb{R}_+; L^2(\Omega))$ để điều khiển tính compact tương đối của tập nghiệm.
  • Nguyên lý Điểm bất động biến phân: Kết hợp nhịp nhàng giữa Nguyên lý ánh xạ co Banach, Định lý điểm bất động Schauder và Định lý điểm bất động cho ánh xạ $\omega$-nén của Akhmerov.

Điều kiện biên lý thuyết (Boundary conditions): Hệ được khảo sát trên không gian Hilbert phân bậc $V_\gamma = D(A^{\gamma/2})$ với chuẩn $|v|\gamma = |A^{\gamma/2}v|$, đảm bảo tính compact của phép nhúng Sobolev $V\gamma \hookrightarrow L^2(\Omega)$ khi miền $\Omega \subset \mathbb{R}^d$ bị chặn.

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

Thiết kế nghiên cứu

Triết lý nghiên cứu mang tính Duy lý diễn dịch toán học chuẩn xác (Mathematical Deductive Rationalism). Thiết kế nghiên cứu đa tầng (Multi-level functional analysis design) được xây dựng qua 4 cấu phần:

  • Cấu phần 1: Không gian trạng thái vô hạn chiều: Thiết lập hệ thống không gian hàm $H = L^2(\Omega)$, $C([0, T]; H)$, $L^p([0, T]; H)$, và không gian đối ngẫu $V_{-\gamma} = (V_\gamma)^*$.
  • Cấu phần 2: Hệ toán tử Laplace phân thứ: Toán tử $A = (-\Delta)^\gamma$ xác định dương, tự liên hợp với phổ rời rạc $0 < \lambda_1 \le \lambda_2 \le \dots \le \lambda_n \to \infty$ và hệ cơ sở trực chuẩn ${e_n}_{n=1}^\infty \subset L^2(\Omega)$.
  • Cấu phần 3: Phân loại nghiệm chặt chẽ: Phân tầng nghiệm thành Nghiệm nhẹ (Mild solution), Nghiệm yếu (Weak solution) và Nghiệm mạnh (Strong solution).
  • Cấu phần 4: Bài toán đặt không chỉnh Hadamard: Xử lý bài toán ngược giá trị cuối có tính nhạy cảm vô hạn với nhiễu dữ liệu đo.

Quy trình nghiên cứu rigorous

Quy trình chứng minh toán học được tiến hành theo các giao thức giải tích nghiêm ngặt:

  1. Kiểm tra tính chính quy của Giải thức Volterra vô hướng: Nghiệm $s(t, \mu)$ và $r(t, \mu)$ của phương trình tích phân Volterra vô hướng $s(t) + \mu(l * s)(t) = 1$ và $r(t) + \mu(l * r)(t) = l(t)$ được chứng minh là đơn điệu giảm theo cả biến thời gian $t$ và tham số phổ $\mu$:

$$\frac{\partial}{\partial \mu} s(t, \mu) = -s(\cdot, \mu) * r(\cdot, \mu)(t) \le 0, \quad \frac{\partial}{\partial \mu} r(t, \mu) = -r(\cdot, \mu) * r(\cdot, \mu)(t) \le 0$$

  1. Giao thức xấp xỉ liên tục và Định lý Arzelà-Ascoli: Kiểm tra tính liên tục đồng bậc (equicontinuity) của họ nghiệm ${u_n}$ trong $C([0, T]; H)$ thông qua ước lượng đạo hàm giải thức:

$$|S(t+h)v - S(t)v| \le M |v| \gamma^{-1}\delta^{-\gamma} h^\gamma, \quad \forall t \ge \delta > 0$$

  1. Kỹ thuật năng lượng và Bổ đề Zacher (2008): Sử dụng đẳng thức vi phân tích chập chính quy hóa:

$$(v(t), (k_\mu * v)'(t)) = \frac{1}{2}(k_\mu * |v(\cdot)|^2)'(t) + \frac{1}{2}k_\mu(t)|v(t)|^2 + \frac{1}{2}\int_0^t |v(t) - v(t-s)|^2 [-k_\mu'(s)]ds \ge 0$$

để thiết lập tính duy nhất tuyệt đối của nghiệm yếu.

Data và phân tích

Trong nghiên cứu toán học thuần túy và giải tích phương trình vi phân, "dữ liệu" chính là cấu trúc phổ vi phân và các tham số toán tử:

  • Tham số phổ toán tử: Dãy giá trị riêng ${\lambda_n}_{n=1}^\infty$ của toán tử Laplace trên miền 1-chiều $\Omega = [0, 1]$ với $\lambda_j = j^2 \pi^2$ và hàm riêng trực chuẩn $e_j(x) = \sqrt{2}\sin(j\pi x)$.
  • Hằng số Lipschitz và Phổ hấp thụ: Điều kiện Lipschitz địa phương $|f(u) - f(v)| \le \kappa(\rho)|u - v|$ với ngưỡng chặn $\kappa_0 < \lambda_1$.
  • Phép kiểm định độ vững (Robustness checks): Mọi đánh giá tiên nghiệm đều được kiểm tra tính độc lập đối với tham số xấp xỉ chính quy hóa $\mu \to \infty$ và tham số cắt thời gian $\delta \to 0^+$.

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

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

  1. Đồng nhất cấu trúc nghiệm Nhẹ - Yếu - Mạnh: Chứng minh định lý cơ bản: Mọi nghiệm nhẹ $u(t) = S(t)u_0 + (R * g)(t)$ của bài toán tuyến tính đều là nghiệm yếu duy nhất trong $C([0, T]; H) \cap C((0, T]; V_{1/2})$. Hơn nữa, nếu hàm ngoại lực $g \in C^\gamma([0, T]; H)$, nghiệm đó tự động nâng cấp thành nghiệm mạnh cổ điển $u \in C([0, T]; H) \cap C^\gamma([\delta, T]; H) \cap C((0, T]; D(A))$.
  2. Tính chính quy Hölder tức thời: Phát hiện hiệu ứng trơn hóa giải tích (parabolic smoothing effect): Ngay cả khi dữ kiện ban đầu $u_0 \in H$ chỉ thỏa mãn tính khả tích bậc 2, nghiệm trạng thái $u(t)$ lập tức thuộc về không gian Sobolev cao cấp $D(A)$ với mọi $t > 0$, với tốc độ suy giảm đạo hàm đạt chuẩn $|u'(t)| = \mathcal{O}(t^{-1})$.
  3. Sự tiêu hao và Ổn định tiệm cận của Hệ có trễ: Đối với phương trình khuếch tán dị thường có trễ hữu hạn:

$$\partial_t [k * (u - u_0)] + (-\Delta)^\gamma u = f(t, u, u_\rho)$$

Luận án chứng minh sự tồn tại của tập hút bị chặn (absorbing set) $B(0, R) \subset L^2(\Omega)$, khẳng định tính tiêu hao của hệ động lực. Khi tính duy nhất nghiệm không đảm bảo, nghiệm tầm thường vẫn đạt trạng thái ổn định tiệm cận yếu. 4. Giải quyết triệt để Bài toán giá trị cuối bán tuyến tính: Đối với bài toán ngược:

$$k * \partial_t u + (-\Delta)^\gamma u = f(t, u), \quad u(T, x) = g(u)(x)$$

Luận án khẳng định tính giải được trong không gian các hàm có kỳ dị thực sự tại $t = 0$, loại bỏ hoàn toàn yêu cầu hàm phi tuyến $f$ phải thỏa mãn điều kiện Lipschitz toàn cục.

Implications đa chiều

  • Về mặt Lý thuyết Toán học: Hoàn thiện lý thuyết định tính cho phương trình tiến hóa tích phân trừu tượng, lấp đầy khoảng trống tồn tại nhiều thập kỷ giữa lý thuyết phương trình đạo hàm riêng hyperbolic và parabolic.
  • Về mặt Phương pháp luận: Thiết lập phương pháp tiếp cận mẫu mực cho bài toán ngược không địa phương (inverse nonlocal problems) mà không phụ thuộc vào biểu diễn giải tích của hàm Mittag-Leffler.
  • Ứng dụng Thực tiễn và Kỹ thuật: Cung cấp công cụ mô phỏng chính xác quá trình lan truyền chất ô nhiễm trong môi trường xốp nứt nẻ (porous media), chuyển pha nhiệt trong vật liệu polymer nhớt đàn hồi, và quá trình dẫn truyền điện thế màng tế bào thần kinh.
  • Ý nghĩa trong Khoa học tính toán: Đặt nền tảng giải tích cho việc xây dựng các thuật toán phần tử hữu hạn không-thời gian (space-time FEM) và phương pháp chính quy hóa Tikhonov cho bài toán khôi phục dữ liệu ban đầu trong địa vật lý.

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn lý thuyết và phạm vi biên:

  1. Toán tử không gian $A$ bắt buộc phải là toán tử tự liên hợp xác định dương với giải thức compact (chủ yếu là dạng elliptic). Các toán tử không tự liên hợp hoặc có phổ liên tục chưa được bao quát.
  2. Trễ thời gian trong mô hình ở Chương 3 mới dừng lại ở trễ hữu hạn rời rạc $h < \infty$. Chưa giải quyết trễ vô hạn hoặc trễ phân bố phụ thuộc trạng thái (state-dependent delay).
  3. Bài toán giá trị cuối ở Chương 4 được thiết lập trong điều kiện miền $\Omega$ bị chặn. Trường hợp miền không bị chặn $\mathbb{R}^d$ gây mất tính compact của phép nhúng Sobolev vẫn là thách thức mở.

Chương trình nghiên cứu 5 năm tiếp theo (Future Research Agenda):

  • Phát triển lý thuyết định tính cho hệ phương trình vi phân không địa phương ngẫu nhiên (stochastic nonlocal PDEs) chịu tác động của nhiễu trắng Lévy.
  • Xây dựng sơ đồ số sai phân hữu hạn bảo toàn năng lượng và phân tích hội tụ số dựa trên biểu diễn toán tử giải thức $S(t), R(t)$.
  • Khảo sát các bài toán biên tự do (free boundary problems) cho phương trình khuếch tán dị thường với nhân Sonine biến thiên theo thời gian.

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

  • Tác động Học thuật: Dự kiến tạo ra làn sóng trích dẫn mạnh mẽ trong cộng đồng giải tích hàm, phương trình vi phân và giải tích phân thứ quốc tế (ISI/Scopus Q1). Các kỹ thuật ước lượng giải thức mở ra hướng nghiên cứu mới cho các nhà toán học giải tích.
  • Chuyển giao Công nghệ và Kỹ thuật: Các mô hình khuếch tán dị thường cung cấp nền tảng toán học cho các kỹ sư dầu khí mô phỏng dòng chảy ngầm trong tầng chứa carbonat và các kỹ sư môi trường tính toán lan truyền phóng xạ.
  • Đóng góp Giáo dục Sau đại học: Đóng vai trò là tài liệu tham khảo mẫu mực, chuyên sâu cho các chương trình đào tạo Thạc sĩ, Tiến sĩ chuyên ngành Toán Giải tích và Toán Ứng dụng tại Việt Nam.

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

  • Nghiên cứu sinh & Nhà nghiên cứu trẻ: Tiếp cận được các kỹ thuật giải tích hiện đại nhất về toán tử không bị chặn, cặp nhân Sonine và độ đo không compact Hausdorff.
  • Các Giáo sư & Chuyên gia Giải tích: Sử dụng các bất đẳng thức kiểu Gronwall và Halanay suy rộng được chứng minh trong luận án như các công cụ tiên nghiệm phục vụ các bài toán phi tuyến phức tạp hơn.
  • Kỹ sư R&D trong Địa kỹ thuật & Khoa học Vật liệu: Sở hữu khung giải tích chuẩn xác để tối ưu hóa các phần mềm mô phỏng quá trình truyền nhiệt và khuếch tán trong vật liệu nano và composite.

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ì? Đóng góp độc đáo nhất là việc mở rộng xuất sắc Lý thuyết Giải thức của Prüss (1993) để thiết lập công thức biểu diễn nghiệm tích phân và tính khả vi liên tục của họ toán tử ${S(t)}{t \ge 0}$ và ${R(t)}{t > 0}$ đối với phương trình tiến hóa không địa phương trừu tượng với cặp nhân Sonine bất kỳ, chứng minh mối quan hệ vi phân nền tảng $S'(t) = -AR(t)$ trên không gian Hilbert vô hạn chiều.

2. Đột phá về mặt phương pháp luận so với các nghiên cứu tiền nhiệm quốc tế? So với nghiên cứu của Vergara & Zacher (2015) [50] (chỉ giới hạn ở phương trình vô hướng và dựa vào nguyên lý cực đại tuyến tính hóa) và Tuan et al. (2018) [48] (dựa vào hàm Mittag-Leffler cho đạo hàm Caputo), luận án đã đột phá bằng việc xây dựng thành công phương pháp bất đẳng thức kiểu Gronwall-Volterra mới kết hợp với lý thuyết độ đo không compact Hausdorff, giải quyết trọn vẹn cả bài toán có trễ và bài toán ngược giá trị cuối với nhân suy rộng không có biểu diễn giải tích tường minh.

3. Phát hiện nào gây bất ngờ nhất về mặt toán học? Đó là tính chất trơn hóa tức thời và sự tương đương hoàn toàn giữa nghiệm nhẹ và nghiệm yếu trong không gian Hilbert $V_{1/2}$. Mặc dù phương trình chứa đạo hàm tích phân có nhớ với nhân kỳ dị $k \notin AC([0, T])$, nghiệm của bài toán vẫn đạt tính liên tục Hölder trên mọi khoảng con $[\delta, T]$ ($\delta > 0$) và trở thành nghiệm mạnh cổ điển khi hàm nguồn $f$ chỉ cần thỏa mãn điều kiện liên tục Hölder cục bộ.

4. Luận án có cung cấp quy trình nhân rộng (Replication protocol) cho các bài toán khác không? Có. Toàn bộ quy trình 5 bước giải tích: (i) Kiểm tra điều kiện Sonine và tính parabolic $(K^*)$; (ii) Khai triển phổ Fourier theo hệ trực chuẩn ${e_n}$; (iii) Thiết lập ước lượng toán tử giải thức $S(t), R(t)$; (iv) Áp dụng bất đẳng thức Gronwall/Halanay phi địa phương; (v) Sử dụng định lý điểm bất động tương thích (Banach/Schauder/Condensing map) cấu thành một khung thuật toán lý thuyết hoàn chỉnh có thể áp dụng trực tiếp cho các hệ phương trình parabolic-elliptic phi địa phương khác.

5. Chương trình nghiên cứu 10 năm được định hình như thế nào? Chương trình nghiên cứu dài hạn tập trung vào 3 mũi nhọn:

  • Mũi nhọn 1: Xây dựng lý thuyết tập hút toàn cục (global attractors) và đa tạp quán tính (inertial manifolds) cho phương trình không địa phương ngẫu nhiên.
  • Mũi nhọn 2: Phát triển các thuật toán chính quy hóa tối ưu cho bài toán ngược khôi phục đồng thời nhân nhớ $k(t)$ và nguồn lực $f(x, t)$.
  • Mũi nhọn 3: Ứng dụng giải tích không địa phương vào các mạng nơ-ron hồi quy có trễ (fractional-order neural networks) trong trí tuệ nhân tạo.

Kết luận

Luận án tiến sĩ của NCS. Lâm Trần Phương Thủy dưới sự hướng dẫn của PGS. Trần Đình Kế đã đạt được 5 thành tựu khoa học cốt lõi:

  1. Thiết lập biểu diễn toán tử giải thức mới ${S(t)}{t \ge 0}, {R(t)}{t > 0}$ và chứng minh tính chính quy Hölder cho phương trình vi phân không địa phương trong không gian Hilbert.
  2. Chứng minh sự duy nhất và tương đương giữa các khái niệm nghiệm nhẹ, nghiệm yếu và nghiệm mạnh dưới các điều kiện tối thiểu của toán tử sinh và nhân Sonine.
  3. Thiết lập bất đẳng thức vi tích phân kiểu Halanay mới, giải quyết trọn vẹn tính tiêu hao và tính ổn định tiệm cận yếu cho hệ khuếch tán dị thường có trễ hữu hạn.
  4. Giải quyết thành công bài toán giá trị cuối đặt không chỉnh cho phương trình khuếch tán dị thường bán tuyến tính với dữ kiện kỳ dị tại $t = 0$.
  5. Mở ra 3 hướng nghiên cứu mới về giải tích phương trình không địa phương trừu tượng, bài toán ngược phi tuyến và giải tích hệ động lực phân thứ vô hạn chiều.

Công trình là một đóng góp học thuật xuất sắc, khẳng định vị thế tiên phong của toán học giải tích Việt Nam trên bản đồ nghiên cứu quốc tế về phương trình vi phân không địa phương và các quá trình khuếch tán dị thường.