Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số vấn đề định tính đối với lớp phương trình vi phân không địa phương" được thực hiện bởi nghiên cứu sinh Lâm Trần Phương Thủy dưới sự hướng dẫn của PGS. Trần Đình Kế tại Bộ môn Giải tích, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội.

Về tính cấp thiết và khoảng trống nghiên cứu, thuật ngữ "phương trình vi phân không địa phương" (nonlocal differential equation) 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 cục bộ mà được tính toán thông qua một công thức tích phân mang hiệu ứng "có nhớ" (memory effect). Phương trình đạo hàm riêng phân thứ loại Caputo là mô hình tiêu biểu của lớp phương trình này, thường được dùng để mô tả các hiện tượng khuếch tán dị thường (anomalous diffusion) như khuếch tán chậm (subdiffusion), khuếch tán nhanh (fast diffusion) hay khuếch tán siêu chậm (ultra-slow diffusion). Trong khi các kết quả định tính cho phương trình vi phân phân thứ với toán tử elliptic cụ thể đã được quan tâm nhiều trong hai thập kỷ qua, các nghiên cứu định tính đối với lớp phương trình vi phân không địa phương nửa tuyến tính trừu tượng trong không gian vô hạn chiều vẫn còn hạn chế. Việc phân tích dáng điệu nghiệm của lớp phương trình này đối mặt với các khó khăn toán học căn bản:

  • Ánh xạ nghiệm nói chung không có tính chất nửa nhóm, khiến việc áp dụng lý thuyết tập hút toàn cục truyền thống không khả thi.
  • Không gian pha là vô hạn chiều và việc tính đạo hàm có nhớ trên các phiếm hàm Lyapunov rất phức tạp, cản trở việc sử dụng phương pháp hàm Lyapunov trực tiếp.
  • Sự xuất hiện của các yếu tố trễ thời gian gây cản trở lớn trong việc thiết lập các ước lượng tiên nghiệm.
  • Bài toán giá trị cuối (final value problem - bài toán ngược thời gian) là bài toán đặt không chỉnh theo nghĩa Hadamard do hiệu ứng làm trơn của bài toán thuận, dẫn đến khả năng xuất hiện kỳ dị tại thời điểm ban đầu.

Mục tiêu nghiên cứu của luận án được xác định rõ: Thiết lập các điều kiện đủ cho tính giải được, tính chính quy và tính ổn định tiệm cận, ổn định tiệm cận yếu của nghiệm đối với phương trình vi phân không địa phương không trễ và có trễ, đồng thời khảo sát tính giải được của bài toán giá trị cuối tương ứng.

Đối tượng nghiên cứu là các bài toán đối với phương trình vi phân không địa phương không chứa trễ và có chứa trễ thời gian.

Phạm vi nghiên cứu của luận án được xác định theo 3 nội dung cụ thể:

  1. Nội dung 1: Khảo sát sự tồn tại và tính chính quy của nghiệm tích phân của phương trình vi phân không địa phương nửa tuyến tính trừu tượng trong không gian Hilbert.
  2. Nội dung 2: Khảo sát dáng điệu của nghiệm thông qua tính tiêu hao, tính ổn định tiệm cận và tính ổn định tiệm cận yếu của lớp phương trình khuếch tán dị thường có trễ hữu hạn.
  3. Nội dung 3: Khảo sát bài toán giá trị cuối cho phương trình vi phân không địa phương nửa tuyến tính với dữ kiện chính quy và dữ kiện không chính quy.

Phạm vi không gian xét trên miền bị chặn $\Omega \subset \mathbb{R}^d$ với biên trơn $\partial\Omega$ hoặc không gian Hilbert tách được $H$; phạm vi thời gian xét trên các khoảng thời gian hữu hạn $[0, T]$ hoặc nửa trục thời gian dương $\mathbb{R}_+ = [0, \infty)$, với độ trễ hữu hạn trên đoạn $[-h, 0]$.

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

Trong phần tổng quan, tác giả đã điểm lại các công trình nghiên cứu trong và ngoài nước liên quan trực tiếp đến các hướng bài toán của luận án:

  • Về mô hình phương trình khuếch tán dị thường không địa phương $\partial_t [k * (u - u_0)] = \Delta u$: Tác giả trích dẫn các nghiên cứu của Zacher và cộng sự [26, 49], trong đó công trình [49] phân tích ý nghĩa vật lý của các nhân khả tích tổng quát dẫn tới các hiện tượng khuếch tán nhanh hoặc khuếch tán siêu chậm.
  • Về tính ổn định nghiệm cho phương trình vi phân phân thứ: Các kết quả về tính ổn định Lyapunov được khảo sát qua các công trình của Li, Chen, Podlubny [32], Choi, Doan, Tuan [11], Bhalekar [2], Sadati và cộng sự [43]. Tính ổn định trong thời gian hữu hạn được nghiên cứu bởi Lazarević và cộng sự [31], Liang và cộng sự [33], Yang [58]. Đối với hệ vi phân phân thứ trong không gian vô hạn chiều, tính ổn định tiệm cận yếu được đề cập trong các nghiên cứu của Cuesta [19], Carvalho và cộng sự [7], Dos Santos và cộng sự [23].
  • Về mô hình cụ thể của phương trình nửa tuyến tính: Vergara và Zacher [50] đã khảo sát phương trình vi phân đạo hàm riêng nửa tuyến tính không địa phương, sử dụng nguyên lý cực đại cho phương trình tuyến tính hóa để chứng minh tính ổn định tiệm cận của nghiệm tầm thường. Tuy nhiên, kỹ thuật này dựa trên nguyên lý cực đại nên không thể áp dụng cho các toán tử trừu tượng trong không gian Hilbert tổng quát. Trong trường hợp nhân phân thứ chuẩn $k = g_{1-\alpha}$, các kết quả ổn định được đề xuất bởi Bazhlekova [5], Dos Santos và cộng sự [22, 23].
  • Về bài toán có trễ và bất đẳng thức vi tích phân: Nghiên cứu [52] thiết lập bất đẳng thức kiểu Halanay cho phương trình phân thứ, là cơ sở để tác giả mở rộng sang lớp nhân không địa phương tổng quát. Kỹ thuật đánh giá độ đo không compact và ánh xạ nén dựa trên lý thuyết của Akhmerov và cộng sự [3], Kamenskii và cộng sự [21], kết hợp tiếp cận của [7, 23].
  • Về bài toán ngược và bài toán giá trị cuối: Bài toán xác định nguồn hoặc ngoại lực cho phương trình đạo hàm riêng phân thứ tuyến tính sử dụng khai triển chuỗi Fourier được nghiên cứu bởi Cheng và cộng sự [14], Sakamoto và Yamamoto [40], Tuan và cộng sự [53], Wang và Liu [59], Ashurov và Umarov [4], Janno [27]. Với phương trình phi tuyến, bài toán xác định ngoại lực phức tạp hơn, được giải quyết bằng nguyên lý cực trị bởi Liu và Zhang [34], hoặc bằng phương pháp tối ưu và rời rạc hóa trong [42, 44]. Đối với bài toán giá trị cuối (u(T) = g), các nghiên cứu của Tuan và cộng sự [54, 55], Wang và cộng sự [60], Sakamoto và Yamamoto [46, 47] chứng minh tính đặt không chỉnh của bài toán tuyến tính và đưa ra các phương pháp chính quy hóa. Nghiên cứu [48] khảo sát phương trình nửa tuyến tính với dữ kiện cuối phụ thuộc trạng thái thông qua biểu diễn hàm Mittag-Leffler kết hợp định lý điểm bất động.
  • Về lý thuyết giải thức và hàm hoàn toàn dương: Luận án kế thừa khung giải tích phương trình tích phân Volterra từ các chuyên khảo của Prüss [38], Clément và Nohel [10], Gripenberg [17].

Khoảng trống nghiên cứu luận án lựa chọn giải quyết bao gồm:

  1. Mở rộng đối tượng toán tử đạo hàm phân thứ chuẩn sang lớp đạo hàm không địa phương với cặp nhân Sonine tổng quát $k * l = 1$, bao hàm cả các quá trình khuếch tán chậm, siêu chậm và phân thứ đa thành phần.
  2. Thiết lập công thức biểu diễn nghiệm qua hệ toán tử giải thức $S(t)$ và $R(t)$ cho toán tử tuyến tính tự liên hợp trừu tượng, thay thế cho việc phụ thuộc vào hàm đặc biệt Mittag-Leffler vốn chỉ áp dụng được cho trường hợp phân thứ.
  3. Giải quyết bài toán đánh giá dáng điệu tiệm cận (tiêu hao, ổn định tiệm cận và ổn định tiệm cận yếu) cho hệ có trễ mà không thể áp dụng hàm Lyapunov hay lý thuyết nửa nhóm thông thường.
  4. Chứng minh tính giải được của bài toán giá trị cuối nửa tuyến tính trong điều kiện hàm phi tuyến không thỏa mãn điều kiện Lipschitz và dữ kiện cuối không chính quy.

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

Luận án sử dụng các hệ thống lý thuyết, khái niệm và công cụ giải tích toán học trừu tượng bao gồm:

  • Không gian hàm: Không gian khả tích Lebesgue $L^p(\Omega)$, $L^p_{loc}(\Omega)$; không gian các hàm liên tục $C([a, b]; H)$, khả tích mạnh $L^p([a, b]; H)$; không gian Sobolev và không gian Hilbert hình thức $V_\gamma = D(A^\gamma)$ với chuẩn $|v|\gamma = |A^\gamma v| = (\sum{n=1}^\infty \lambda_n^{2\gamma} v_n^2)^{1/2}$.
  • Lý thuyết toán tử tuyến tính: Toán tử tuyến tính đóng, xác định trù mật; toán tử tự liên hợp; toán tử tự liên hợp xác định dương với giải thức compact; định lý phổ cho toán tử compact tự liên hợp; khái niệm giải thức $R(z, A) = (zI - A)^{-1}$, tập chính quy $\rho(A)$ và tập phổ $\sigma(A)$; lũy thừa phân thứ của toán tử $A^\gamma$.
  • Khái niệm ổn định: Ổn định Lyapunov, ổn định Lyapunov đều, tính chất hút (attracting), tính chất hút yếu, ổn định tiệm cận, ổn định tiệm cận yếu và ổn định mũ.
  • Toán tử đạo hàm không địa phương và nhân tích chập: Cặp nhân Sonine $(k, l)$ thỏa mãn điều kiện $(K)$: $k, l \in L^1_{loc}(\mathbb{R}_+)$, $k$ không âm và không tăng, thỏa mãn $k * l = 1$ trên $(0, \infty)$. Khái niệm hàm hoàn toàn đơn điệu, hàm hoàn toàn dương; nhân $l$ tăng trưởng dưới mũ, nhân có tính chất $\theta$-quạt ($|\arg \hat{l}(\lambda)| \le \theta$ với $\text{Re}\lambda > 0$), và nhân $m$-chính quy ($|\lambda^n \hat{l}^{(n)}(\lambda)| \le c|\hat{l}(\lambda)|$ với $0 \le n \le m$).
  • Phương trình tích phân Volterra vô hướng: Các phương trình giải thức cơ bản $s(t) + \mu (l * s)(t) = 1$ và $r(t) + \mu (l * r)(t) = l(t)$ với $\mu > 0$.

Phương pháp nghiên cứu thực tế của luận án là phương pháp định tính toán học thuần túy (qualitative mathematical analysis), bao gồm:

  • Phương pháp giải tích toán tử: Xây dựng biểu diễn nghiệm qua các chuỗi Fourier suy rộng dựa trên cơ sở trực chuẩn các hàm riêng ${e_n}{n=1}^\infty$ và dãy giá trị riêng ${\lambda_n}{n=1}^\infty$ của toán tử $A$. Định nghĩa họ giải thức $S(t) = \sum_{n=1}^\infty s(t, \lambda_n)(v, e_n)e_n$ và $R(t) = \sum_{n=1}^\infty r(t, \lambda_n)(v, e_n)e_n$.
  • Phương pháp phương trình tích phân: Áp dụng lý thuyết giải thức của Prüss đối với phương trình Volterra dạng parabolic để nghiên cứu tính khả vi và tính chính quy của các toán tử $S(t)$ và $R(t)$.
  • Lý thuyết điểm bất động: Áp dụng Nguyên lý ánh xạ co Banach cho các bài toán có điều kiện Lipschitz; Nguyên lý điểm bất động Schauder cho các bài toán thỏa mãn tính compact; Nguyên lý điểm bất động cho ánh xạ nén (dạng Darbo/Sadovskii) dựa trên độ đo không compact Hausdorff $\chi$ và $\chi^*$ trên không gian $BC_0(\mathbb{R}_+; L^2(\Omega))$ cho bài toán không duy nhất nghiệm.
  • Phương pháp bất đẳng thức tích phân: Xây dựng và chứng minh Bất đẳng thức kiểu Gronwall mới cho phương trình không địa phương; thiết lập Bất đẳng thức kiểu Halanay mới cho hệ có trễ thời gian.

Nguồn tư liệu nghiên cứu: Luận án là công trình nghiên cứu toán học lý thuyết, toàn bộ luận cứ dựa trên các tiên đề giải tích, định lý toán học và các bài báo khoa học chuyên ngành đã xuất bản; công trình không sử dụng dữ liệu thực nghiệm thống kê hay khảo sát xã hội học.

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 các kiến thức nền tảng và thiết lập các bổ đề giải tích công cụ phục vụ trực tiếp cho các chương sau.

Về không gian hàm và toán tử: Tác giả trình bày cấu trúc không gian $L^p(\Omega)$, $L^p([a, b]; H)$, Định lý Arzelà-Ascoli về tính compact tương đối của họ ánh xạ liên tục đồng bậc và compact theo điểm trong không gian metric. Tiếp đó, chương phân tích tính chất của toán tử tuyến tính đóng, toán tử tự liên hợp, phổ của toán tử và lũy thừa $A^\gamma$ xác định qua khai triển chuỗi theo cơ sở trực chuẩn các véctơ riêng ${e_n}_{n=1}^\infty$.

Về nguyên lý điểm bất động và độ đo không compact: Chương trình bày Nguyên lý ánh xạ co, Nguyên lý điểm bất động Schauder và Nguyên lý điểm bất động cho ánh xạ nén. Đối với không gian $BC_0(\mathbb{R}+; L^2(\Omega))$ gồm các hàm liên tục phân rã về 0 khi $t \to \infty$, tác giả định nghĩa độ đo không compact $\chi^*(D) = \max{d\infty(D), \chi_\infty(D)}$, trong đó: $$d_\infty(D) = \lim_{T \to \infty} \sup_{u \in D} \sup_{t \ge T} |u(t)|, \quad \chi_\infty(D) = \sup_{T > 0} \chi_T(\pi_T(D))$$ với $\chi_T$ là độ đo Hausdorff trên $C([0, T]; L^2(\Omega))$.

Về phương trình Volterra và cặp nhân Sonine: Khảo sát phương trình Volterra vô hướng với cặp nhân Sonine $(k, l)$ thỏa mãn giả thiết $(K)$. Hai hàm nghiệm cơ bản $s(t, \mu)$ và $r(t, \mu)$ được chứng minh có các tính chất:

  • $s(\cdot, \mu)$ không âm, không tăng, thỏa mãn $s(t, \mu) \le 1$ và $\lim_{t \to \infty} s(t, \mu) = 0$ khi $l \notin L^1(\mathbb{R}_+)$.
  • Các ánh xạ $\mu \mapsto s(t, \mu)$ và $\mu \mapsto r(t, \mu)$ là không tăng với mỗi $t > 0$, được chứng minh qua biến đổi Laplace với công thức $\frac{\partial}{\partial \mu} s(t, \mu) = - s(\cdot, \mu) * r(\cdot, \mu) \le 0$.
  • Tích phân của nhân: $\int_0^t r(\tau, \mu) d\tau = \frac{1}{\mu}(1 - s(t, \mu))$.

Bất đẳng thức kiểu Gronwall mới (Mệnh đề 1.4): Cho $\mu > 0, v_0 \ge 0, \alpha > 0, \beta \in L^1_{loc}(\mathbb{R}_+)$, nếu hàm không âm $v$ thỏa mãn: $$v(t) \le s(t, \mu)v_0 + \int_0^t r(t - \tau, \mu)[\alpha v(\tau) + \beta(\tau)] d\tau, \quad t \ge 0$$ thì nghiệm thỏa mãn đánh giá: $$v(t) \le s(t, \mu - \alpha)v_0 + \int_0^t r(t - \tau, \mu - \alpha)\beta(\tau) d\tau$$ Đặc biệt, nếu $\beta$ là hằng số và $\mu > \alpha$, ta có: $$v(t) \le s(t, \mu - \alpha)v_0 + \frac{\beta}{\mu - \alpha}(1 - s(t, \mu - \alpha))$$

Về toán tử giải thức và tính chính quy: Xây dựng toán tử $S(t)$ và $R(t)$. Tác giả chứng minh rằng nếu giả thiết $(A)$ thỏa mãn, thì với $v \in H$, ta có $S(\cdot)v \in C([0, T]; H)$, $|S(t)v| \le s(t, \lambda_1)|v| \le |v|$, và $|R(t)v| \le r(t, \lambda_1)|v|$. Khi xét trường hợp cụ thể $H = L^2(\Omega)$ và $A = (-\Delta)^\gamma$, các toán tử $S(t)$ (với $t > 0$) và toán tử tích chập $Q_t(f) = (R * f)(t)$ là các toán tử compact vào $L^2(\Omega)$ do phép nhúng Sobolev $V_\gamma \hookrightarrow L^2(\Omega)$ là compact. Dưới giả thiết $(K^*)$ (nhân $l$ là 2-chính quy và $\theta$-quạt), phương trình tích phân thuộc loại parabolic, họ giải thức $S(t)$ khả vi trên $(0, \infty)$ thỏa mãn $S'(t) = -AR(t)$ với $|S'(t)| \le M t^{-1}$. Nếu $l$ là 3-chính quy, toán tử $R(t)$ khả vi trên $(0, \infty)$ và thỏa mãn $|R'(t)| \le M \lambda_1^{-\gamma} t^{-2}$.

Chương 2: Tính chính quy và tính ổn định nghiệm của một lớp phương trình vi phân không địa phương

Chương 2 nghiên cứu phương trình vi phân không địa phương nửa tuyến tính: $$\frac{d}{dt}k * (u - u_0) + Au(t) = f(u(t)), \quad t > 0, \quad u(0) = u_0$$ trong không gian Hilbert tách được $H$.

Bài toán tuyến tính (thay $f(u(t))$ bằng $g(t) \in C([0, T]; H)$):

  • Khái niệm nghiệm: Luận án định nghĩa nghiệm nhẹ (mild solution) qua công thức $u(t) = S(t)u_0 + \int_0^t R(t-s)g(s)ds$; nghiệm yếu (weak solution) thuộc $C([0, T]; H) \cap C((0, T]; V_{1/2})$; và nghiệm mạnh (strong solution) thuộc $C([0, T]; H) \cap C((0, T]; D(A))$.
  • Định lý 2.1 chứng minh nghiệm nhẹ cũng chính là nghiệm yếu của bài toán.
  • Định lý 2.2 chứng minh tính duy nhất của nghiệm yếu thông qua việc xấp xỉ nhân $k_\mu = k * h_\mu$ (với $h_\mu = \mu r$) và sử dụng bổ đề cơ bản về tích vô hướng: $(v(t), (k_\mu * v)'(t)) \ge \frac{1}{2} (k_\mu * |v|^2)'(t)$.
  • Định lý 2.3 thiết lập tính chính quy: Nếu $g \in C^\gamma([0, T]; H)$ với $\gamma \in (0, 1)$, thì nghiệm yếu $u$ thỏa mãn $u \in C([0, T]; H) \cap C^\gamma([\delta, T]; H)$ với mọi $\delta \in (0, T)$, và $u$ là nghiệm mạnh. Chứng minh dựa trên việc phân rã $u(t) = u_1(t) + u_2(t)$ với $u_1(t) = S(t)u_0$ và $u_2(t) = (R * g)(t)$, sử dụng đánh giá $|S'(t)| \le M t^{-1}$ kết hợp bất đẳng thức $\ln(1+r) \le \gamma^{-1} r^\gamma$.

Bài toán nửa tuyến tính:

  • Giả thiết $(F)$: Hàm $f: H \to H$ thỏa mãn với mỗi $\rho > 0$ tồn tại hằng số $\kappa(\rho) > 0$ sao cho $|f(u) - f(v)| \le \kappa(\rho)|u - v|$ với mọi $u, v \in B_\rho$.
  • Định lý 2.4 chứng minh sự tồn tại và duy nhất nghiệm nhẹ địa phương trên đoạn $[0, t^]$ bằng Nguyên lý ánh xạ co trên hình cầu đóng $B_\rho \subset C([0, t^]; H)$, với điều kiện chọn $t^$ sao cho $\kappa(\rho)(1 - s(t^, \lambda_1)) < \lambda_1$. Nghiệm nhẹ này thỏa mãn $u(t) \in V_{1/2}$ với mọi $t > 0$.
  • Định lý 2.5 khảo sát trường hợp Lipschitz toàn cục ($\kappa(\rho) = \kappa_0$): Bài toán có nghiệm nhẹ toàn cục duy nhất trên $[0, T]$ với mọi $T > 0$. Hơn nữa, nếu $\kappa_0 < \lambda_1$ và $l \notin L^1(\mathbb{R}_+)$, áp dụng Bất đẳng thức kiểu Gronwall (Mệnh đề 1.4), nghiệm $u$ bị chặn toàn cục: $$|u(t)| \le |u_0| + \frac{1}{\lambda_1 - \kappa_0} |f(0)|$$ và nghiệm ổn định tiệm cận theo đánh giá $|u(t) - v(t)| \le s(t, \lambda_1 - \kappa_0)|u(0) - v(0)|$.
  • Định lý 2.6 và Định lý 2.7: Nếu $f(0) = 0$ và $\limsup_{\rho \to 0} \kappa(\rho) = \alpha < \lambda_1$, thì tồn tại $\delta > 0$ sao cho với $|u_0| \le \delta$, bài toán có duy nhất nghiệm nhẹ toàn cục. Khi $l \notin L^1(\mathbb{R}_+)$, nghiệm tầm thường là ổn định tiệm cận.
  • Hệ quả 2.1 (Ổn định tuyến tính hóa): Nếu $f: H \to H$ khả vi liên tục, $f(0) = 0$ và toán tử tuyến tính hóa $\tilde{A} = A - f'(0)$ thỏa mãn tính chất tự liên hợp, xác định dương với giải thức compact, thì nghiệm tầm thường của bài toán nửa tuyến tính là ổn định tiệm cận.

Chương 3: Tính tiêu hao và tính ổn định nghiệm của lớp phương trình khuếch tán dị thường có trễ hữu hạn

Chương 3 khảo sát 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), \quad t > 0, \quad x \in \Omega$$ với điều kiện ban đầu có trễ $u(\tau, x) = \phi(\tau, x)$ trên đoạn $\tau \in [-h, 0]$, $\phi \in C([-h, 0]; L^2(\Omega))$, $\phi(0, \cdot) = u_0$, và điều kiện biên Dirichlet thuần nhất $u(t, x) = 0$ trên $\partial\Omega$.

Nội dung và kết quả chính của chương gồm:

  • Bất đẳng thức kiểu Halanay không địa phương: Tác giả xây dựng một bất đẳng thức vi tích phân kiểu Halanay mới áp dụng cho đạo hàm không địa phương với nhân Sonine, mở rộng kết quả đã biết của phương trình vi phân phân thứ trong công trình [52]. Bất đẳng thức này là công cụ toán học chủ đạo để xử lý số hạng có trễ $u_\rho$ trong các đánh giá tiên nghiệm.
  • Tính giải được: Thiết lập sự tồn tại nghiệm nhẹ của hệ có trễ trên cơ sở biểu diễn tích phân và nguyên lý điểm bất động.
  • Tính tiêu hao (dissipativity): Dưới các điều kiện thích hợp đặt lên nhân $k$, hàm trễ $\rho$ và hàm ngoại lực $f$, tác giả chứng minh hệ thống có tính tiêu hao, nghĩa là tồn tại một tập hút đóng, bị chặn trong không gian pha có khả năng hấp thụ tất cả các quỹ đạo nghiệm xuất phát từ mọi tập bị chặn sau một khoảng thời gian đủ lớn.
  • Tính ổn định tiệm cận: Trong trường hợp hàm $f$ thỏa mãn điều kiện Lipschitz đảm bảo nghiệm là duy nhất, áp dụng bất đẳng thức kiểu Halanay giúp chứng minh nghiệm của phương trình ổn định tiệm cận về 0 khi $t \to \infty$.
  • Tính ổn định tiệm cận yếu: Trong trường hợp hàm phi tuyến không thỏa mãn tính duy nhất nghiệm, khái niệm ổn định tiệm cận thông thường không còn áp dụng được trực tiếp. Tác giả sử dụng Định nghĩa 3.1 về ổn định tiệm cận yếu (nghiệm ổn định Lyapunov và có tính chất hút yếu - tồn tại ít nhất một nghiệm tiến về 0). Bằng kỹ thuật đánh giá độ đo không compact Hausdorff $\chi^*$ và áp dụng Nguyên lý điểm bất động cho ánh xạ nén trên tập lồi đóng bị chặn của không gian $BC_0(\mathbb{R}_+; L^2(\Omega))$, luận án chứng minh nghiệm tầm thường đạt được tính ổn định tiệm cận yếu.

Chương 4: Bài toán giá trị cuối cho lớp phương trình khuếch tán dị thường nửa tuyến tính

Chương 4 nghiên cứu bài toán ngược thời gian (giá trị cuối): $$k * \partial_t u + (-\Delta)^\gamma u = f(t, u), \quad t \in (0, T), \quad x \in \Omega$$ với điều kiện giá trị cuối phụ thuộc phi tuyến vào trạng thái: $$u(T, x) = g(u)(x), \quad x \in \Omega$$ và điều kiện biên Dirichlet $u(t, x) = 0$ trên $\partial\Omega$.

Nội dung và phát hiện chính của chương gồm:

  • Phân tích bản chất bài toán: Khác với bài toán giá trị đầu (bài toán thuận), bài toán giá trị cuối là bài toán ngược đặt không chỉnh theo nghĩa Hadamard. Do hiệu ứng làm trơn của phương trình dạng parabolic, trạng thái $u(t)$ với $t > 0$ thuộc không gian chính quy hơn dữ kiện ban đầu $u(0)$. Do đó, khi đi ngược thời gian từ $t = T$ về $t = 0$, nghiệm có thể xuất hiện điểm kỳ dị tại $t = 0$ nếu giá trị cuối không đủ độ trơn.
  • Biểu diễn nghiệm của bài toán tuyến tính: Khi nhân $k$ là nhân Sonine tổng quát, toán tử nghiệm không thể biểu diễn tường minh qua hàm Mittag-Leffler như trong trường hợp phân thứ chuẩn. Luận án khắc phục rào cản này bằng cách áp dụng lý thuyết hàm hoàn toàn dương của Gripenberg [17] và lý thuyết giải thức của Prüss [38], xây dựng biểu diễn giải thức mới cho bài toán giá trị cuối tuyến tính.
  • Định nghĩa nghiệm nhẹ: Dựa trên hệ toán tử giải thức thu được, tác giả đưa ra định nghĩa nghiệm nhẹ cho bài toán giá trị cuối nửa tuyến tính.
  • Tính giải được với điều kiện chính quy: Luận án chứng minh sự tồn tại nghiệm khi hàm ngoại lực $f$ và hàm giá trị cuối $g$ thỏa mãn các điều kiện chính quy tương thích. Tính chất parabolic của phương trình khuếch tán dị thường đảm bảo tính compact của toán tử giải thức, cho phép áp dụng Định lý điểm bất động Schauder để giải bài toán trong trường hợp hàm phi tuyến không thỏa mãn điều kiện Lipschitz.
  • Tính giải được với điều kiện không chính quy: Luận án mở rộng việc nghiên cứu sang trường hợp dữ kiện cuối không chính quy, chứng minh tính giải được của bài toán trong không gian các hàm có thể bị gián đoạn hoặc có kỳ dị tại $t = 0$.

Bảng tổng hợp cấu trúc và nội dung nghiên cứu của 4 chương:

Chương Mô hình toán học khảo sát Không gian pha / Toán tử Phương pháp / Công cụ chính Kết quả cốt lõi đạt được
Chương 1 Phương trình Volterra vô hướng & phương trình tuyến tính trừu tượng Không gian Hilbert tách được $H$; Toán tử đóng $A$ tự liên hợp, giải thức compact Biến đổi Laplace, lý thuyết giải thức Prüss, lý thuyết hàm hoàn toàn dương Thiết lập tính chất đơn điệu của $s(t, \mu), r(t, \mu)$; Bất đẳng thức Gronwall mới; Tính khả vi $S'(t), R'(t)$
Chương 2 Phương trình nửa tuyến tính: $\frac{d}{dt}[k * (u - u_0)] + Au = f(u)$ Không gian Hilbert $H$; $A$ tự liên hợp; $f: H \to H$ Lipschitz địa phương Khai triển chuỗi Fourier suy rộng, Ánh xạ co Banach, Bất đẳng thức Gronwall mới Nghiệm nhẹ là nghiệm yếu duy nhất; Tính chính quy Hölder; Nghiệm toàn cục và ổn định tiệm cận; Ổn định tuyến tính hóa
Chương 3 Phương trình có trễ: $\partial_t [k * (u - u_0)] + (-\Delta)^\gamma u = f(t, u, u_\rho)$ Miền bị chặn $\Omega \subset \mathbb{R}^d$; $A = (-\Delta)^\gamma$; Biên Dirichlet; Trễ $[-h, 0]$ Bất đẳng thức kiểu Halanay mới, Độ đo không compact Hausdorff $\chi^*$, Ánh xạ nén Tính giải được; Tính tiêu hao (tập hút bị chặn); Tính ổn định tiệm cận (khi nghiệm duy nhất); Tính ổn định tiệm cận yếu (khi không duy nhất)
Chương 4 Bài toán giá trị cuối: $k * \partial_t u + (-\Delta)^\gamma u = f(t, u)$, $u(T) = g(u)$ Miền bị chặn $\Omega \subset \mathbb{R}^d$; Biên Dirichlet; Dữ kiện cuối tại $t = T$ Lý thuyết giải thức parabolic, Điểm bất động Schauder, Không gian hàm có kỳ dị tại $t=0$ Biểu diễn nghiệm nhẹ qua giải thức; Giải được khi $f, g$ không Lipschitz (chính quy); Giải được với dữ kiện cuối không chính quy

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ủa luận án bao gồm:

  1. Xây dựng công thức biểu diễn nghiệm và hệ toán tử giải thức $S(t), R(t)$ cho lớp phương trình vi phân không địa phương nửa tuyến tính với cặp nhân Sonine tổng quát trong không gian Hilbert vô hạn chiều. Khắc phục sự phụ thuộc vào hàm Mittag-Leffler trong lý thuyết phân thứ truyền thống.
  2. Chứng minh mối liên hệ bản chất giữa các lớp nghiệm: nghiệm nhẹ cũng chính là nghiệm yếu duy nhất của bài toán tuyến tính, và trở thành nghiệm mạnh khi hàm ngoại lực thỏa mãn tính liên tục Hölder.
  3. Thiết lập hai công cụ bất đẳng thức vi tích phân mới cho đạo hàm không địa phương:
    • Bất đẳng thức kiểu Gronwall không địa phương (Mệnh đề 1.4), dùng để đánh giá chặn trên của nghiệm và chứng minh tính ổn định tiệm cận.
    • Bất đẳng thức kiểu Halanay không địa phương cho hệ có trễ, giải quyết khó khăn trong việc đánh giá tiên nghiệm đối với số hạng lịch sử trễ.
  4. Đưa ra các điều kiện đủ đảm bảo tính tiêu hao và tính ổn định tiệm cận cho lớp phương trình khuếch tán dị thường có trễ hữu hạn. Đồng thời, giải quyết thành công bài toán ổn định tiệm cận yếu trong trường hợp không duy nhất nghiệm bằng cách kết hợp độ đo không compact Hausdorff với nguyên lý điểm bất động cho ánh xạ nén.
  5. Giải quyết bài toán giá trị cuối nửa tuyến tính cho phương trình khuếch tán dị thường với nhân Sonine tổng quát; chứng minh sự tồn tại nghiệm trong cả hai trường hợp dữ kiện cuối chính quy (không cần giả thiết Lipschitz của hàm phi tuyến) và dữ kiện cuối không chính quy (cho phép nghiệm có kỳ dị tại $t = 0$).

Về mặt công bố khoa học và ứng dụng thực tiễn:

  • Các kết quả chính của luận án đã được công bố trong 03 bài báo khoa học trên các tạp chí chuyên ngành toán học.
  • Nội dung nghiên cứu đã được báo cáo và thảo luận tại Xê-mi-na Bộ môn Giải tích, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội và Hội thảo Khoa học dành cho Nghiên cứu sinh năm 2019.
  • Luận án cung cấp cơ sở toán học giải thích các hiện tượng vật lý khuếch tán dị thường, các quá trình truyền dẫn có nhớ trong môi trường không đồng nhất, cũng như cung cấp cơ sở giải tích cho các bài toán ngược khôi phục dữ liệu quá khứ trong xử lý tín hiệu và địa vật lý.

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

Hạn chế của luận án (dựa trên phạm vi và giả thiết nghiên cứu của văn bản):

  • Khung không gian khảo sát chủ yếu giới hạn trong không gian Hilbert tách được $H$ với toán tử tuyến tính tự liên hợp, xác định dương có giải thức compact (chẳng hạn toán tử $(-\Delta)^\gamma$ với điều kiện biên Dirichlet); chưa mở rộng sang không gian Banach tổng quát với toán tử không tự liên hợp hoặc toán tử sinh nửa nhóm không giải tích.
  • Đối với bài toán có trễ trong Chương 3, phạm vi khảo sát mới dừng lại ở trễ hữu hạn trên đoạn $[-h, 0]$; chưa bao quát các dạng trễ vô hạn, trễ phân bố hay trễ phụ thuộc trạng thái phức tạp.
  • Luận án tập trung thuần túy vào các tính chất định tính lý thuyết (sự tồn tại, tính chính quy, tính ổn định, tính giải được); chưa xây dựng các thuật toán giải số xấp xỉ hay các phương pháp chính quy hóa số cụ thể để tính toán nghiệm cho bài toán giá trị cuối đặt không chỉnh.

Hướng nghiên cứu tiếp:

  • Mở rộng nghiên cứu tính giải được và tính ổn định của phương trình vi phân không địa phương sang các không gian Banach tổng quát.
  • Khảo sát phương trình khuếch tán dị thường với các mô hình trễ vô hạn hoặc trễ biến thiên.
  • Nghiên cứu các phương pháp số và thuật toán chính quy hóa cụ thể để tính toán nghiệm xấp xỉ cho bài toán giá trị cuối khi dữ kiện đo đạc tại thời điểm cuối chứa sai số ngẫu nhiên.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn đối với:

  • Giảng viên, nghiên cứu sinh và học viên cao học chuyên ngành Giải tích, Phương trình vi phân và tích phân, Toán ứng dụng: Luận án cung cấp tài liệu chi tiết về kỹ thuật kết hợp lý thuyết giải thức Volterra với giải tích hàm hiện đại để nghiên cứu phương trình tiến hóa không địa phương.
  • Các nhà nghiên cứu trong lĩnh vực cơ học vật liệu đàn nhớt, vật lý thống kê và địa vật lý: Cung cấp khung lý thuyết toán học hỗ trợ việc thiết lập mô hình cho các hiện tượng khuếch tán chậm, khuếch tán siêu chậm và các quá trình truyền nhiệt/vật chất có nhớ.

Các phần có giá trị tham khảo học thuật cao trong văn bản:

  • Chương 1: Kỹ thuật xây dựng các hàm giải thức $s(t, \mu), r(t, \mu)$ từ cặp nhân Sonine và chứng minh Bất đẳng thức kiểu Gronwall mới.
  • Chương 2: Phương pháp đánh giá tính chính quy Hölder của nghiệm mạnh dựa trên chặn vi phân của giải thức parabolic $|S'(t)| \le M t^{-1}$.
  • Chương 3: Cách thức thiết lập Bất đẳng thức kiểu Halanay cho đạo hàm có nhớ và kỹ thuật áp dụng độ đo không compact Hausdorff $\chi^*$ trên không gian $BC_0(\mathbb{R}_+; L^2(\Omega))$ để xử lý bài toán ổn định yếu khi mất tính duy nhất nghiệm.
  • Chương 4: Kỹ thuật xử lý bài toán ngược giá trị cuối nửa tuyến tính bằng biểu diễn giải thức mà không cần sử dụng hàm Mittag-Leffler.

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

1. Đạo hàm không địa phương trong luận án được định nghĩa như thế nào và có điểm gì khác biệt căn bản so với đạo hàm thông thường?

Đạo hàm không địa phương trong luận án được định nghĩa thông qua tích chập Laplace giữa nhân tích phân $k \in L^1_{loc}(\mathbb{R}_+)$ và đạo hàm của hàm trạng thái: $$(k * f')(t) = \int_0^t k(t - s) f'(s) ds$$ Khác với đạo hàm thông thường mang tính địa phương (giá trị đạo hàm tại điểm $t_0$ chỉ phụ thuộc vào lân cận vô cùng bé của điểm đó và không làm tăng giá của hàm số: $\text{supp}(P f) \subset \text{supp}(f)$), đạo hàm không địa phương mang tính "có nhớ". Giá trị của đạo hàm tại thời điểm $t$ phụ thuộc vào toàn bộ lịch sử biến thiên của trạng thái từ thời điểm 0 đến $t$, do đó toán tử này có thể làm tăng giá của hàm số tác động.

2. Giả thiết (K) về cặp nhân Sonine là gì và có ý nghĩa như thế nào đối với việc giải phương trình?

Giả thiết $(K)$ đòi hỏi nhân $k \in L^1_{loc}(\mathbb{R}+)$ là hàm không âm, không tăng và tồn tại hàm nhân liên kết $l \in L^1{loc}(\mathbb{R}_+)$ sao cho $k * l = 1$ trên khoảng $(0, \infty)$. Ý nghĩa cốt lõi của giả thiết này là cho phép chuyển đổi phương trình vi phân không địa phương chứa đạo hàm có nhớ về phương trình tích phân Volterra loại hai tương đương thông qua phép tích chập với nhân $l$. Điều này mở đường cho việc áp dụng lý thuyết giải thức và lý thuyết hàm hoàn toàn dương của phương trình tích phân để khảo sát nghiệm.

3. Tại sao phương pháp hàm Lyapunov truyền thống khó áp dụng để nghiên cứu tính ổn định của phương trình vi phân không địa phương trong luận án?

Theo phân tích của tác giả, phương pháp hàm Lyapunov rất khó áp dụng trực tiếp vì hai nguyên nhân chính: Thứ nhất, không gian pha của hệ là không gian vô hạn chiều (không gian Hilbert tách được $H$); thứ hai, việc lấy đạo hàm có nhớ (đạo hàm không địa phương) trên một phiếm hàm Lyapunov phi tuyến là một thao tác giải tích rất phức tạp, chưa có công thức tính vi phân trực tiếp thuận tiện như đạo hàm thông thường. Do đó, luận án phải tìm hướng tiếp cận mới thông qua việc thiết lập các bất đẳng thức vi tích phân kiểu Gronwall và kiểu Halanay.

4. Tại sao bài toán giá trị cuối trong Chương 4 lại là bài toán đặt không chỉnh theo nghĩa Hadamard?

Bài toán giá trị cuối (cho biết trạng thái $u(T) = g(u)$ tại thời điểm cuối $T > 0$ và cần tìm lại trạng thái $u(t)$ tại các thời điểm trước đó $t \in [0, T)$) là bài toán đặt không chỉnh (ill-posed) vì phương trình khuếch tán mang tính chất parabolic có hiệu ứng làm trơn (smoothing effect) theo chiều thời gian thuận: trạng thái $u(t)$ với $t > 0$ sẽ thuộc vào không gian hàm trơn hơn, chính quy hơn không gian chứa dữ kiện ban đầu $u(0)$. Do đó, khi giải ngược thời gian, nghiệm nghiệm rất nhạy cảm và không ổn định đối với dữ kiện cuối; nếu dữ kiện cuối $u(T)$ không đủ độ chính quy cao, điểm xuất phát ban đầu $t = 0$ có thể trở thành điểm kỳ dị của hàm nghiệm.

5. Sự khác biệt giữa nghiệm nhẹ, nghiệm yếu và nghiệm mạnh của bài toán tuyến tính trong Chương 2 là gì?

Trong Chương 2, ba khái niệm nghiệm được phân biệt theo không gian chứa nghiệm và mức độ thỏa mãn phương trình:

  • Nghiệm nhẹ (mild solution): Hàm $u \in C([0, T]; H)$ thỏa mãn công thức tích phân biểu diễn qua các toán tử giải thức: $u(t) = S(t)u_0 + \int_0^t R(t-s)g(s)ds$.
  • Nghiệm yếu (weak solution): Hàm $u \in C([0, T]; H) \cap C((0, T]; V_{1/2})$ thỏa mãn điều kiện ban đầu $u(0) = u_0$ và phương trình vi phân được thỏa mãn theo nghĩa phân phối trong không gian đối ngẫu $V_{-1/2}$.
  • Nghiệm mạnh (strong solution): Hàm $u \in C([0, T]; H) \cap C((0, T]; D(A))$ thỏa mãn $u(0) = u_0$ và phương trình vi phân được thỏa mãn hầu khắp nơi trực tiếp trong không gian Hilbert $H$. Luận án chứng minh rằng nghiệm nhẹ trùng với nghiệm yếu, và khi hàm ngoại lực $g$ liên tục Hölder thì nghiệm yếu trở thành nghiệm mạnh.

Kết luận

Luận án của nghiên cứu sinh Lâm Trần Phương Thủy đã giải quyết có hệ thống các bài toán định tính cơ bản cho lớp phương trình vi phân không địa phương trong không gian Hilbert vô hạn chiều. Bằng việc kết hợp lý thuyết giải thức Volterra, lý thuyết phổ của toán tử tự liên hợp và các nguyên lý điểm bất động, tác giả đã thiết lập các kết quả về sự tồn tại, tính duy nhất, tính chính quy và tính ổn định tiệm cận của nghiệm cho cả trường hợp phương trình không trễ và có trễ hữu hạn. Đồng thời, công trình đã đề xuất cách tiếp cận mới để chứng minh tính giải được của bài toán giá trị cuối nửa tuyến tính dưới các điều kiện dữ kiện chính quy và không chính quy. Các kết quả đạt được góp phần hoàn thiện lý thuyết định tính cho các phương trình tiến hóa không địa phương và mô hình khuếch tán dị thường.