Tổng quan luận án

Bản mô tả học thuật này phân tích luận án tiến sĩ toán học của nghiên cứu sinh Lâm Trần Phương Thủy 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", chuyên ngành Phương trình vi phân và tích phân (mã số: 9 46 01 03), được bảo vệ tại Trường Đại học Sư phạm Hà Nội năm 2020 dưới sự hướng dẫn khoa học của PGS. Trần Đình Kế.

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) được sử dụng để chỉ các 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 cục bộ tại từng điểm mà xác định thông qua một công thức tích phân chập, thường gọi là đạo hàm có nhớ. Dạng phương trình tiêu biểu mô tả quá trình khuếch tán dị thường (anomalous diffusion) có dạng:

$$\partial_t [k * (u - u_0)] = \Delta u$$

trong đó $u = u(t, x)$ là hàm trạng thái, $k \in L^1_{loc}(\mathbb{R}+)$ là nhân tích phân, dấu $*$ biểu thị tích chập Laplace, và $\Delta$ là toán tử Laplace theo biến không gian. Khi nhân $k(t) = g{1-\alpha}(t) = \frac{t^{-\alpha}}{\Gamma(1-\alpha)}$ với $0 < \alpha < 1$, phương trình trở thành phương trình vi phân phân thứ cấp $\alpha$ theo thời gian với đạo hàm loại Caputo, mô tả hiện tượng dưới khuếch tán (subdiffusion). Khi thay thế nhân $k$ bởi các hàm khả tích khác nhau, mô hình có thể mô tả các quá trình khuếch tán nhanh (fast diffusion) hoặc khuếch tán siêu chậm (ultra-slow diffusion).

Từ các mô hình cụ thể đó, bài toán mở rộng đặt ra cho phương trình vi phân không địa phương nửa tuyến tính tổng quát trong không gian Banach hoặc Hilbert có dạng:

$$\frac{d}{dt}[k * (u - u_0)] = Au + f(u)$$

với $A$ là toán tử tuyến tính đóng và $f$ là hàm phi tuyến cho trước. Tác giả chỉ ra rằng các kết quả định tính cho phương trình dạng này chưa được biết đến nhiều; các nghiên cứu đã có chủ yếu giới hạn trong trường hợp cụ thể khi $A$ là toán tử elliptic mạnh. Việc nghiên cứu lớp phương trình này đối mặt với các rào cản lý thuyết cơ bản:

  • Ánh xạ nghiệm của phương trình không địa phương 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 cổ điển để khảo sát dáng điệu tiệm cận là không khả thi.
  • Phương pháp hàm Lyapunov gặp khó khăn lớn do 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.
  • Khi hệ có chứa trễ thời gian, việc thực hiện các đánh giá tiên nghiệm để xác định tính ổn định càng trở nên phức tạp.
  • Đối với bài toán ngược (xác định trạng thái ban đầu từ dữ kiện quan sát tại thời điểm cuối $t = T$), bài toán rơi vào trạng thái đặ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, khiến thời điểm $t = 0$ có thể là điểm kỳ dị.

Mục tiêu nghiên cứu

Luận án tập trung khảo sát các tính chất định tính của nghiệm đối với phương trình vi phân không địa phương trừu tượng và các mô hình liên quan. Mục tiêu chính gồm:

  1. Thiết lập các điều kiện đủ cho tính giải được và tính chính quy của nghiệm tích phân (nghiệm nhẹ, nghiệm yếu, nghiệm mạnh).
  2. Xác định dáng điệu tiệm cận của nghiệm: chứng minh tính tiêu hao (sự tồn tại của tập hút bị chặn), tính ổn định tiệm cận của nghiệm trong trường hợp nghiệm duy nhất, và tính ổn định tiệm cận yếu trong trường hợp không duy nhất nghiệm.
  3. Nghiên cứu tính giải được của bài toán giá trị cuối (bài toán ngược thời gian) cho phương trình khuếch tán dị thường nửa tuyến tính trong cả hai trường hợp dữ kiện cuối chính quy và không chính quy.

Các mục tiêu trên được cụ thể hóa thành 3 nội dung nghiên cứu đánh số theo văn bản:

  • Nội dung 1: 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ội dung 2: Dáng điệu của nghiệm: tính tiêu hao, tính ổn định tiệm cận và ổn định tiệm cận yếu;
  • Nội dung 3: Bài toán giá trị cuối cho phương trình vi phân không địa phương.

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

  • Đối tượng nghiên cứu: Các lớp 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 hữu hạn, cùng bài toán giá trị cuối tương ứng.
  • Phạm vi không gian: Không gian Hilbert tách được $H$, không gian $L^2(\Omega)$ và các không gian Sobolev $H_0^1(\Omega)$, $H^2(\Omega)$, $V_\gamma = D(A^\gamma)$ xác định trên miền bị chặn $\Omega \subset \mathbb{R}^d$ với biên trơn $\partial\Omega$.
  • Phạm vi thời gian: Đoạn hữu hạn $[0, T]$ cho các bài toán giá trị đầu và giá trị cuối, và nửa trục thời gian dương $[0, \infty)$ cho các bài toán phân tích dáng điệu tiệm cận và tính ổn định.

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

Luận án hệ thống hóa các hướng nghiên cứu liên quan đến phương trình vi phân không địa phương, phương trình phân thứ và bài toán ngược qua các mốc công trình cụ thể:

Các hướng nghiên cứu trước

  1. Nghiên cứu về khuếch tán dị thường và nhân không địa phương: Zacher và các cộng sự (2008, 2013) nghiên cứu các phương trình tiến hóa không địa phương dạng $\partial_t [k * (u - u_0)] = \Delta u$, phân tích các trường hợp nhân tích phân $k$ tương ứng với khuếch tán nhanh, khuếch tán chậm và siêu chậm cùng ý nghĩa vật lý của chúng.
  2. Tính ổn định của phương trình vi phân phân thứ: Tính ổn định Lyapunov cho hệ phân thứ hữu hạn chiều được nghiên cứu trong các công trình của Li et al., Zhang, Choi et al. Hệ phân thứ vô hạn chiều và tính ổn định tiệm cận yếu được khảo sát bởi Cârjă, Vrabie (2014), Ké et al. (2018). Các kết quả về tính ổn định trong thời gian hữu hạn được công bố trong các nghiên cứu của Lazarević, Spasić, Shen et al.
  3. Tính chính quy và ổn định cho mô hình cụ thể: Vergara và Zacher (2015) nghiên cứu phương trình vi phân đạo hàm riêng nửa tuyến tính không địa phương, áp 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 không. Tuy nhiên, kỹ thuật nguyên lý cực đại này không thể áp dụng cho các toán tử trừu tượng trong không gian Hilbert.
  4. Bài toán ngược và bài toán giá trị cuối:
    • Bài toán xác định ngoại lực trong phương trình đạo hàm riêng phân thứ tuyến tính sử dụng phương pháp khai triển Fourier được thực hiện bởi Cheng et al., Sakamoto, Yamamoto (2011), Kirane et al.
    • Đối với phương trình phi tuyến, bài toán xác định ngoại lực được giải quyết bằng nguyên lý cực trị (Janno, 2016), phương pháp rời rạc hóa hoặc tối ưu hóa (Li, Yamamoto).
    • Bài toán giá trị cuối với phương trình dưới khuếch tán tuyến tính ($f, g$ không phụ thuộc $u$) được nghiên cứu bởi Sakamoto, Yamamoto, Tuan et al., chứng minh tính đặt không chỉnh theo nghĩa Hadamard và đề xuất các phương pháp chính quy hóa. Trường hợp phi tuyến với $f, g$ phụ thuộc $u$ được khảo sát trong công trình của Zhou et al., chủ yếu biểu diễn nghiệm tường minh qua hàm Mittag-Leffler.

Khoảng trống luận án lựa chọn giải quyết

Từ tổng quan tài liệu, luận án xác định các khoảng trống học thuật chưa được giải quyết:

  • Chưa có nghiên cứu hệ thống về tính chính quy của nghiệm đối với phương trình không địa phương trừu tượng $\frac{d}{dt}[k*(u - u_0)] + Au = f(u)$ khi $A$ là toán tử không bị chặn tổng quát.
  • Các kết quả ổn định tiệm cận đã biết dựa trên nguyên lý cực đại bị hạn chế trong các bài toán cụ thể; cần một phương pháp tiếp cận mới thông qua toán tử giải thức và bất đẳng thức kiểu Gronwall cải biên cho phương trình có nhớ.
  • Đố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)$, chưa có kết quả nào về tính giải được, tính tiêu hao và dáng điệu tiệm cận nghiệm. Các bất đẳng thức kiểu Halanay hiện có mới chỉ dừng lại ở phương trình vi phân phân thứ cấp hằng số, chưa áp dụng được cho nhân khả tích tổng quát.
  • Trong bài toán giá trị cuối, các công trình trước đây lệ thuộc vào công thức nghiệm biểu diễn tường minh qua hàm đặc biệt Mittag-Leffler (chỉ đúng cho đạo hàm Caputo với nhân $g_{1-\alpha}$). Khi nhân $k$ là nhân Sonine tổng quát, toán tử nghiệm không có biểu diễn giải tích tường minh qua hàm Mittag-Leffler, đòi hỏi một khung lý thuyết giải tích mới dựa trên hàm hoàn toàn dương và lý thuyết giải thức Prüss để xử lý bài toán khi dữ kiện cuối bị thiếu tính chính quy.

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

Luận án thuần túy theo hướng tiếp cận lý thuyết giải tích định tính, sử dụng các công cụ giải tích hàm và lý thuyết phương trình vi tích phân hiện đại:

Khung lý thuyết và khái niệm sử dụng

  • Cặp nhân Sonine và nhân hoàn toàn đơn điệu: Giả thiết cốt lõi $(K)$ phát biểu rằng hàm $k \in L^1_{loc}(\mathbb{R}+)$ không âm, không tăng và tồn tại hàm đối ngẫu $l \in L^1{loc}(\mathbb{R}+)$ sao cho $k * l = 1$ trên $(0, \infty)$. Khi $k$ là hàm hoàn toàn đơn điệu ($k \in C^\infty(0, \infty)$ và $(-1)^n k^{(n)}(t) \ge 0$), luôn tồn tại nhân liên kết $l$ để tạo thành cặp Sonine. Điển hình là cặp $k(t) = g{1-\alpha}(t)$ và $l(t) = g_\alpha(t)$ cho khuếch tán chậm, hoặc nhân logarit cho khuếch tán siêu chậm.
  • Phương trình tích phân Volterra vô hướng và hàm hoàn toàn dương: Xét phương trình loại hai $s(t) + \mu(l * s)(t) = 1$ và $r(t) + \mu(l * r)(t) = l(t)$. Nhân $l$ gọi là hoàn toàn dương nếu $s(\cdot, \mu)$ và $r(\cdot, \mu)$ không âm với mọi $\mu > 0$. Giả thiết $(K)$ đảm bảo $l$ hoàn toàn dương.
  • Lý thuyết giải thức Prüss (1993): Phân loại phương trình tích phân thuộc loại parabolic dựa trên khái niệm hàm tăng trưởng dưới mũ, hàm $\theta$-quạt ($|\arg \hat{l}(\lambda)| \le \theta$) và hàm $m$-chính quy ($|\lambda^n \hat{l}^{(n)}(\lambda)| \le c|\hat{l}(\lambda)|$). Giả thiết $(K^*)$ đòi hỏi $l$ là 2-chính quy hoặc 3-chính quy và có tính chất $\theta$-quạt ($0 < \theta < \pi$).
  • Lý thuyết toán tử tuyến tính: Giả thiết $(A)$ đòi hỏi toán tử $A: D(A) \to H$ là toán tử xác định trù mật, tự liên hợp, xác định dương với giải thức compact. Theo định lý phổ, tồn tại cơ sở trực chuẩn ${e_n}{n=1}^\infty$ và dãy giá trị riêng $0 < \lambda_1 \le \lambda_2 \le \dots \to \infty$. Lũy thừa phân thứ $A^\gamma$ xác định không gian Hilbert $V\gamma = D(A^\gamma)$.
  • Độ đo không compact (Measure of Noncompactness - MNC): Sử dụng độ đo không compact Hausdorff $\chi$ và độ đo mở rộng $\chi^*$ trên không gian các hàm liên tục phân rã tại vô hạn $BC_0(\mathbb{R}_+; L^2(\Omega))$:

$$\chi^*(D) = \sup_{T > 0} \chi_T(\pi_T(D)) + \lim_{T \to \infty} \sup_{u \in D} \sup_{t \ge T} |u(t)|$$

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

  • Phương pháp toán tử giải thức: Xây dựng hai họ toán tử giải thức ${S(t)}{t \ge 0}$ và ${R(t)}{t > 0}$ dựa trên các hàm nghiệm vô hướng $s(t, \lambda_n)$ và $r(t, \lambda_n)$. Thiết lập biểu diễn nghiệm nhẹ dưới dạng công thức biến thiên hằng số dạng tích chập.
  • Phương pháp ước lượng tiên nghiệm và bất đẳng thức vi tích phân: Chứng minh bất đẳng thức kiểu Gronwall mới cho phương trình không địa phương để chặn chuẩn nghiệm. Thiết lập bất đẳng thức kiểu Halanay mới cho hệ có trễ để đánh giá dáng điệu dài hạn.
  • Phương pháp điểm bất động:
    • Nguyên lý ánh xạ co (Banach Contraction Principle): Sử dụng để chứng minh sự tồn tại duy nhất của nghiệm địa phương và nghiệm toàn cục khi hàm phi tuyến thỏa mãn điều kiện Lipschitz.
    • Nguyên lý điểm bất động Schauder: Áp dụng khi toán tử nghiệm có tính compact nhưng thiếu tính co.
    • Nguyên lý điểm bất động cho ánh xạ nén (condensing maps): Kết hợp với độ đo không compact $\chi^*$ để chứng minh tính giải được và tính ổn định tiệm cận yếu trong trường hợp không duy nhất nghiệm.

Nguồn tư liệu nghiên cứu

Luận án không sử dụng dữ liệu thực nghiệm hay khảo sát thống kê; toàn bộ cơ sở dữ liệu nghiên cứu là các hệ phương trình vi tích phân, các không gian hàm giải tích, các định lý toán học và các công trình khoa học chuyên ngành được công bố trên các tạp chí quốc tế và trong nước.

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

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

Chương này trình bày các khái niệm nền tảng về giải tích hàm, lý thuyết toán tử, phương trình tích phân Volterra và đưa ra một số kết quả bổ trợ mới:

  1. Không gian hàm và Định lý Arzelà-Ascoli: Hệ thống hóa các không gian $L^p(\Omega)$, $L^p_{loc}(\Omega)$, $C([a, b]; H)$, $L^p([a, b]; H)$, và không gian liên tục Hölder $C^\gamma([a, b]; H)$. Định lý Arzelà-Ascoli được thiết lập cho họ ánh xạ liên tục đồng bậc và compact tương đối theo điểm trong không gian metric.
  2. Khái niệm ổn định: Định nghĩa ổn định Lyapunov, tính hút, hút yếu, ổn định tiệm cận, ổn định tiệm cận yếu và ổn định mũ cho nghiệm của các hệ phương trình tiến hóa.
  3. Toán tử tuyến tính và lũy thừa toán tử: Nhắc lại toán tử đóng, tập giá trị chính quy $\rho(A)$, giải thức $R(z, A)$, toán tử tự liên hợp và định lý phổ cho toán tử tự liên hợp có giải thức compact. Xây dựng không gian Banach $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}$.
  4. Nguyên lý điểm bất động: Trình bày nguyên lý ánh xạ co, nguyên lý Schauder và nguyên lý ánh xạ nén liên kết với độ đo không compact Hausdorff.
  5. Toán tử đạo hàm không địa phương và cặp nhân Sonine: Định nghĩa toán tử $(k * f')(t) = \int_0^t k(t - s)f'(s)ds$ và phân tích trường hợp nhân kỳ dị $k \notin AC([0, T])$. Thiết lập điều kiện $(K)$ cho cặp nhân Sonine $k * l = 1$.
  6. Phương trình tích phân Volterra vô hướng và Bất đẳng thức Gronwall:
    • Chứng minh tính chất đơn điệu của nghiệm: $s(\cdot, \mu)$ không âm, không tăng; với mỗi $t > 0$, các ánh xạ $\mu \mapsto s(t, \mu)$ và $\mu \mapsto r(t, \mu)$ là hàm không tăng.
    • Chứng minh Mệnh đề 1.4 (Bất đẳng thức kiểu Gronwall mới): Nếu $v(t) \le s(t, \mu)v_0 + \int_0^t r(t - \tau, \mu)[\alpha v(\tau) + \beta]d\tau$ với $\mu > \alpha > 0$ và $\beta$ là hằng số, thì:

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

  1. Toán tử nghiệm của phương trình vi phân không địa phương trong không gian Hilbert:
    • Dưới giả thiết $(A)$ và $(K)$, định nghĩa hai toán tử tuyến tính:

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

  • Chứng minh Bổ đề 1.1: $|S(t)| \le s(t, \lambda_1) \le 1$, $|R(t)| \le r(t, \lambda_1)$, và $S(\cdot)v \in C([0, T]; H) \cap C((0, T]; V_{1/2})$.
  • Khi $(K^*)$ thỏa mãn ($l$ là 2-chính quy và $\theta$-quạt), chứng minh phương trình thuộc loại parabolic, dẫn đến họ $S(\cdot)$ khả vi trên $(0, \infty)$ với đạo hàm $S'(t) = -AR(t)$ và ước lượng $|S'(t)| \le M t^{-1}$.
  • Chứng minh Bổ đề 1.2: Khi $l$ là 3-chính quy, toán tử $R(\cdot) \in C^1((0, \infty); \mathcal{L}(L^2(\Omega)))$ và thỏa mãn $|R'(t)| \le M \lambda_1^{-\gamma} t^{-2}$ với mọi $t > 0$.

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 khảo sát bài toán vi phân không địa phương nửa tuyến tính trừu tượng:

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

  1. Khảo sát bài toán tuyến tính ($f(u(t)) = g(t)$):
    • Định nghĩa các lớp nghiệm: Nghiệm nhẹ ($u(t) = S(t)u_0 + \int_0^t R(t-s)g(s)ds$), nghiệm yếu ($u \in C([0, T]; H) \cap C((0, T]; V_{1/2})$ thỏa mãn phương trình tích phân liên kết), và nghiệm mạnh ($u \in C([0, T]; H) \cap C((0, T]; D(A))$ thỏa mãn phương trình vi phân hầu khắp nơi).
    • Định lý 2.1: Chứng minh mọi nghiệm nhẹ của bài toán tuyến tính đều là nghiệm yếu thông qua việc lấy đạo hàm từng chuỗi trực chuẩn trong không gian đối ngẫu $V_{-1/2}$.
    • Định lý 2.2: Chứng minh nghiệm yếu là duy nhất bằng phương pháp nhân chính quy hóa $k_\mu = k * h_\mu$ và áp dụng bổ đề đánh giá tích phân dạng $(v(t), (k_\mu * v)'(t)) \ge \frac{1}{2}(k_\mu * |v|^2)'(t)$.
    • Định lý 2.3 (Tính chính quy cao hơn): Khi $g \in C^\gamma([0, T]; H)$ với $\gamma \in (0, 1)$, chứng minh nghiệm yếu $u \in C([0, T]; H) \cap C^\gamma([\delta, T]; H)$ với mọi $\delta \in (0, T)$, và $u$ trở thành nghiệm mạnh.
  2. Khảo sát bài toán nửa tuyến tính:
    • Giả thiết $(F)$: Hàm $f: H \to H$ thỏa mãn điều kiện Lipschitz địa phương: $|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 của 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)$.
    • Định lý 2.5 (Nghiệm toàn cục và tính ổn định): Nếu $f$ thỏa mãn điều kiện Lipschitz toàn cục với hằng số $\kappa_0$ (tức $\kappa(\rho) \equiv \kappa_0$), bài toán có nghiệm nhẹ toàn cục duy nhất trên $[0, T]$. Đặc biệt, nếu bổ sung điều kiện $\kappa_0 < \lambda_1$ và nhân liên kết $l \notin L^1(\mathbb{R}_+)$, áp dụng bất đẳng thức Gronwall ở Chương 1 chứng minh được nghiệm bị chặn toàn cục:

$$|u(t)| \le s(t, \lambda_1 - \kappa_0)|u_0| + \frac{|f(0)|}{\lambda_1 - \kappa_0}[1 - s(t, \lambda_1 - \kappa_0)] \le |u_0| + \frac{|f(0)|}{\lambda_1 - \kappa_0}$$

Đồng thời, nghiệm thỏa mãn tính ổn định tiệm cận theo nghĩa Lyapunov vì $\lim_{t \to \infty} s(t, \lambda_1 - \kappa_0) = 0$.

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 mở rộng sang mô hình khuếch tán dị thường có trễ thời gian hữu hạn $h > 0$ trên miền bị chặn $\Omega \subset \mathbb{R}^d$:

$$\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 $u(\tau, x) = \phi(\tau, x)$ trên $[-h, 0]$, $\phi \in C([-h, 0]; L^2(\Omega))$, và điều kiện biên Dirichlet thuần nhất trên $\partial\Omega$. Trạng thái trễ $u_\rho$ biểu diễn sự phụ thuộc vào lịch sử dao động.

  1. Bất đẳng thức kiểu Halanay cho phương trình có nhớ: Để vượt qua trở ngại toán tử tích phân chập kết hợp với số hạng trễ, tác giả thiết lập một phiên bản bất đẳng thức Halanay tổng quát cho nhân phân thứ và nhân Sonine, cho phép chặn trên hàm trạng thái thông qua chặn trễ tối đa $h$.
  2. Tính giải được: Chứng minh sự tồn tại nghiệm nhẹ trong không gian $C([-h, T]; L^2(\Omega))$ dựa trên nguyên lý điểm bất động Schauder khi các toán tử giải thức có tính compact sinh ra bởi phép nhúng compact của không gian Sobolev $V_\gamma \hookrightarrow L^2(\Omega)$.
  3. Tính tiêu hao (Dissipativity): Thiết lập các điều kiện tăng trưởng và triệt tiêu của số hạng phi tuyến $f(t, u, u_\rho)$. Luận án chứng minh sự tồn tại của một tập đóng, bị chặn trong $L^2(\Omega)$ có khả năng hấp thụ mọi quỹ đạo nghiệm xuất phát từ tập bị chặn của dữ kiện ban đầu khi thời gian $t$ đủ lớn.
  4. Tính ổn định tiệm cận và ổn định tiệm cận yếu:
    • Trong trường hợp hàm $f$ thỏa mãn điều kiện Lipschitz đảm bảo nghiệm duy nhất, tác giả sử dụng bất đẳng thức Halanay để chứng minh mọi nghiệm đều hội tụ tiệm cận về nghiệm dừng khi $t \to \infty$.
    • Trong trường hợp hàm $f$ chỉ liên tục mà không thỏa mãn điều kiện Lipschitz (bài toán có thể có vô số nghiệm), tác giả sử dụng không gian các hàm phân rã $BC_0(\mathbb{R}_+; L^2(\Omega))$, áp dụng độ đo không compact Hausdorff mở rộng $\chi^*$ và nguyên lý điểm bất động cho ánh xạ nén để chứng minh nghiệm tầm thường có tính ổn định tiệm cận yếu (tồn tại ít nhất một quỹ đạo nghiệm bị hút về 0 khi nhiễu ban đầu đủ nhỏ).

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) trên miền bị chặn $\Omega \subset \mathbb{R}^d$:

$$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 cuối phụ thuộc trạng thái:

$$u(T, x) = g(u)(x), \quad x \in \Omega$$

và điều kiện biên Dirichlet thuần nhất.

  1. Biểu diễn nghiệm của bài toán giá trị cuối: Do nhân $k$ là nhân Sonine tổng quát, tác giả không thể sử dụng hàm Mittag-Leffler như các công trình tiền nhiệm. Tác giả phát triển công thức biểu diễn nghiệm ngược thông qua các toán tử giải thức $S(t)$ và $R(t)$, đưa bài toán về phương trình tích phân điểm bất động dạng:

$$u(t) = S(t)[S(T)]^{-1} \left( g(u) - \int_0^T R(T - \tau)f(\tau, u(\tau))d\tau \right) + \int_0^t R(t - \tau)f(\tau, u(\tau))d\tau$$

  1. Khảo sát toán tử và tính đặt không chỉnh: Luận án phân tích toán tử ngược $[S(T)]^{-1}$. Do các giá trị riêng $s(T, \lambda_n^\gamma) \to 0$ khi $n \to \infty$, toán tử $[S(T)]^{-1}$ là toán tử không bị chặn, thể hiện rõ tính đặt không chỉnh theo Hadamard: một nhiễu loạn nhỏ của dữ kiện cuối $g(u)$ có thể gây ra sai số vô hạn tại thời điểm ban đầu $t = 0$.
  2. Tính giải được với điều kiện chính quy: 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 trơn (nhận giá trị trong miền xác định của lũy thừa toán tử $D(A^\sigma)$ với $\sigma$ thích hợp), tác giả chứng minh toán tử tích phân là ánh xạ co hoặc ánh xạ compact, từ đó xác lập sự tồn tại duy nhất của nghiệm chính quy trên toàn đoạn $[0, T]$.
  3. Tính giải được với điều kiện không chính quy (nghiệm gián đoạn tại $t = 0$): Trong trường hợp dữ kiện cuối không đủ độ trơn, điểm $t = 0$ trở thành điểm kỳ dị. Tác giả xét không gian các hàm liên tục trên $(0, T]$ có trọng kỳ dị tại 0 dạng $|t^\theta u(t)|$. Bằng cách sử dụng tính chất làm trơn của toán tử parabolic và lý thuyết giải thức Prüss, luận án chứng minh sự tồn tại của nghiệm nhẹ suy rộng trên $(0, T]$, giải quyết bài toán ngay cả khi hàm phi tuyến $f$ không thỏa mãn điều kiện Lipschitz.

Bảng tổng hợp các mô hình toán học và kết quả trong luận án

Chương Phương trình nghiên cứu Không gian và toán tử Kỹ thuật giải tích chính Kết quả đạt được
Chương 2 $\frac{d}{dt}[k*(u-u_0)] + Au = f(u)$ (không trễ) $H$ tách được; $A$ tự liên hợp, xác định dương, giải thức compact Toán tử giải thức $S(t), R(t)$; bất đẳng thức Gronwall cải biên Nghiệm nhẹ là nghiệm yếu; nghiệm mạnh khi $f$ Hölder; ổn định tiệm cận toàn cục khi $\kappa_0 < \lambda_1$.
Chương 3 $\partial_t [k*(u-u_0)] + (-\Delta)^\gamma u = f(t, u, u_\rho)$ (có trễ $h > 0$) $L^2(\Omega)$, $V_\gamma$; toán tử Laplace phân thứ $(-\Delta)^\gamma$ Bất đẳng thức kiểu Halanay mới; độ đo không compact $\chi^*$; ánh xạ nén Hệ có tính tiêu hao (tồn tại tập hấp thụ); ổn định tiệm cận khi nghiệm duy nhất; ổn định tiệm cận yếu khi không duy nhất.
Chương 4 $k*\partial_t u + (-\Delta)^\gamma u = f(t, u)$ với $u(T) = g(u)$ (bài toán giá trị cuối) Miền $\Omega \subset \mathbb{R}^d$; toán tử ngược $[S(T)]^{-1}$; nhân Sonine $k*l=1$ Lý thuyết giải thức Prüss; không gian trọng kỳ dị tại $t=0$; nguyên lý Schauder Thiết lập biểu diễn nghiệm; chứng minh tính giải được cho cả hai trường hợp dữ kiện chính quy và dữ kiện gián đoạn tại 0.

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

Luận án tự tổng hợp các đóng góp khoa học mới về mặt lý luận giải tích định tính phương trình vi phân:

  1. Xây dựng khung toán tử giải thức cho phương trình không địa phương trừu tượng: Thiết lập thành công hai họ toán tử giải thức $S(t)$ và $R(t)$ thông qua phương trình Volterra vô hướng và khai triển phổ của toán tử tự liên hợp. Chứng minh được các tính chất giải tích sâu: tính bị chặn, tính khả vi, công thức liên hệ $S'(t) = -AR(t)$ và các chặn trên bậc lũy thừa của đạo hàm $|S'(t)| \le M t^{-1}$, $|R'(t)| \le M \lambda_1^{-\gamma} t^{-2}$.
  2. Làm sáng tỏ mối quan hệ giữa các lớp nghiệm và tính chính quy: Chứng minh tường minh rằng nghiệm nhẹ của bài toán không địa phương tuyến tính trùng khớp với nghiệm yếu trong không gian $V_{-1/2}$, và tự động nâng cấp thành nghiệm mạnh trong miền xác định $D(A)$ khi vế phải liên tục Hölder.
  3. Phát triển bất đẳng thức Gronwall và tiêu chuẩn ổn định mới: Thiết lập bất đẳng thức kiểu Gronwall mới cho tích chập với nhân hoàn toàn dương. Dựa trên công cụ này, luận án đưa ra tiêu chuẩn tường minh cho tính ổn định tiệm cận toàn cục của nghiệm: điều kiện hằng số Lipschitz $\kappa_0 < \lambda_1$ (giá trị riêng bé nhất của $A$) cùng điều kiện nhân đối ngẫu $l \notin L^1(\mathbb{R}_+)$.
  4. Mở rộng bất đẳng thức kiểu Halanay cho hệ có nhớ và có trễ: Đưa ra một bất đẳng thức vi tích phân kiểu Halanay mới cho lớp đạo hàm không địa phương. Đây là công cụ mấu chốt để giải quyết bài toán tiêu hao và chứng minh sự tồn tại của tập hấp thụ bị chặn cho hệ khuếch tán dị thường có trễ hữu hạn.
  5. Thiết lập tính ổn định tiệm cận yếu qua độ đo không compact: Đề xuất quy trình kỹ thuật sử dụng độ đo không compact Hausdorff mở rộng $\chi^*$ trên không gian hàm vô hạn chiều $BC_0(\mathbb{R}_+; L^2(\Omega))$ để xử lý thành công tính ổn định tiệm cận yếu cho hệ phương trình tiến hóa không địa phương trong trường hợp nghiệm không duy nhất.
  6. Giải quyết bài toán giá trị cuối với nhân Sonine tổng quát: Vượt qua sự phụ thuộc vào biểu diễn hàm Mittag-Leffler của các nghiên cứu trước, luận án thiết lập biểu diễn nghiệm tổng quát cho bài toán giá trị cuối với cặp nhân Sonine bất kỳ thỏa mãn tính chất parabolic. Xác lập tính giải được của bài toán ngược đặt không chỉnh trong cả trường hợp dữ kiện chính quy lẫn trường hợp dữ kiện kỳ dị tại $t = 0$.

Kiến nghị và giải pháp đề xuất

  • Về mặt lý thuyết: Luận án đề xuất sử dụng khung giải thức ${S(t), R(t)}$ kết hợp lý thuyết Prüss làm giải pháp thay thế cho phương pháp nửa nhóm liên tục mạnh đối với các bài toán có nhớ.
  • Về mặt ứng dụng mô hình: Đề xuất áp dụng các tiêu chuẩn ổn định và tính tiêu hao thu được vào việc kiểm soát các hệ thống mô phỏng truyền nhiệt trong môi trường dị tính, cơ học vật liệu nhớt đàn hồi và quá trình khuếch tán ô nhiễm có trễ.

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

Căn cứ theo nội dung văn bản và phạm vi nghiên cứu mà tác giả xác định:

  • Hạn chế về toán tử không gian: Các kết quả chính trong Chương 1, 2 và 3 đòi hỏi toán tử $A$ phải là toán tử tự liên hợp, xác định dương với giải thức compact (như toán tử Laplace hoặc elliptic trên miền bị chặn). Luận án chưa giải quyết được bài toán khi $A$ là toán tử không tự liên hợp tổng quát hoặc khi miền không gian $\Omega$ là không bị chặn (dẫn đến phổ của toán tử có thành phần liên tục).
  • Hạn chế về cấu trúc trễ: Mô hình ở Chương 3 mới chỉ xem xét trễ hữu hạn tập trung hoặc trễ phân bố trong khoảng $[-h, 0]$; chưa mở rộng sang bài toán có trễ vô hạn hoặc trễ phụ thuộc vào trạng thái (state-dependent delay).
  • Hạn chế của bài toán giá trị cuối: Mặc dù đã chứng minh tính giải được trong trường hợp dữ kiện không chính quy, luận án chưa đi sâu vào việc xây dựng thuật toán số xấp xỉ cụ thể hoặc áp dụng các phương pháp chính quy hóa số trị (như phương pháp Tikhonov hay phương pháp cắt cụt Fourier) để tính toán nghiệm xấp xỉ từ dữ liệu đo đạc thực tế có sai số.
  • Hướng nghiên cứu tiếp: Mở rộng nghiên cứu bài toán định tính cho hệ phương trình không địa phương ngẫu nhiên (stochastic nonlocal differential equations), khảo sát tập hút toàn cục yếu, và phát triển các phương pháp giải số cho bài toán ngược thời gian tương ứng.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên ngành sâu trong lĩnh vực giải tích hiện đại và phương trình vi phân:

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán giải tích: Luận án cung cấp hệ thống kỹ thuật chi tiết về cách xây dựng toán tử giải thức từ phương trình tích phân Volterra vô hướng, kỹ thuật áp dụng độ đo không compact Hausdorff để xử lý các bài toán thiếu tính compact, và kỹ thuật sử dụng nguyên lý điểm bất động cho các phương trình tiến hóa vô hạn chiều.
  • Đối với giảng viên và nhà nghiên cứu phương trình vi tích phân: Các chứng minh của Bổ đề 1.1, Bổ đề 1.2, Mệnh đề 1.4 (bất đẳng thức kiểu Gronwall mới) và bất đẳng thức kiểu Halanay ở Chương 3 là những công cụ phân tích có thể trích dẫn và tái sử dụng trực tiếp để giải quyết các lớp phương trình tiến hóa phân thứ hoặc phương trình sóng có nhớ khác.
  • Đối với các nhà toán học ứng dụng và chuyên gia mô hình hóa: Chương 4 là tài liệu tham khảo cho việc phân tích tính đặt không chỉnh của bài toán ngược thời gian trong các mô hình xử lý tín hiệu, truyền nhiệt ngược, địa vật lý và mô phỏng quá trình khuếch tán dị thường có nhớ.

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

1. Tại sao không thể sử dụng trực tiếp lý thuyết nửa nhóm liên tục mạnh và tập hút toàn cục cổ điển cho phương trình vi phân không địa phương trong luận án?

Trong phương trình vi phân cổ điển dạng $u' = Au$, nghiệm xác định một nửa nhóm liên tục mạnh ${T(t)}_{t \ge 0}$ thỏa mãn tính chất $T(t+s) = T(t)T(s)$. Tuy nhiên, đối với phương trình vi phân không địa phương có nhớ $\frac{d}{dt}[k*(u-u_0)] = Au$, nghiệm tại thời điểm $t$ phụ thuộc vào toàn bộ lịch sử trạng thái từ 0 đến $t$. Do đó, ánh xạ nghiệm không thỏa mãn tính chất nửa nhóm ($S(t+s) \neq S(t)S(s)$), khiến lý thuyết tập hút toàn cục kinh điển không thể áp dụng trực tiếp. Thay vào đó, luận án phải xây dựng hai họ giải thức riêng biệt $S(t)$ và $R(t)$ và sử dụng khái niệm tập hấp thụ thông qua các đánh giá tiên nghiệm trực tiếp.

2. Cặp nhân Sonine là gì và vai trò của nó trong luận án?

Hai hàm $k, l \in L^1_{loc}(\mathbb{R}_+)$ được gọi là một cặp nhân Sonine nếu chúng thỏa mãn điều kiện tích chập $k * l = 1$ trên $(0, \infty)$. Vai trò của cặp nhân này là cho phép chuyển đổi phương trình vi phân chứa đạo hàm không địa phương kỳ dị $\frac{d}{dt}[k*(u-u_0)] + Au = f(u)$ về phương trình tích phân Volterra loại hai tương đương $u(t) + l * Au(t) = u_0 + l * f(u)(t)$. Nhờ phép chuyển đổi này, tác giả có thể khai thác lý thuyết giải thức và lý thuyết hàm hoàn toàn dương của Prüss để khảo sát nghiệm.

3. Điều kiện nào đảm bảo nghiệm nhẹ của bài toán nửa tuyến tính ở Chương 2 tồn tại toàn cục và ổn định tiệm cận?

Theo Định lý 2.5, nghiệm nhẹ tồn tại toàn cục, bị chặn và ổn định tiệm cận theo nghĩa Lyapunov khi thỏa mãn đồng thời các điều kiện:

  • Toán tử $A$ thỏa mãn giả thiết $(A)$ (tự liên hợp, xác định dương, có giải thức compact với giá trị riêng nhỏ nhất $\lambda_1 > 0$);
  • Cặp nhân $(k, l)$ thỏa mãn điều kiện $(K)$ và hàm đối ngẫu $l \notin L^1(\mathbb{R}_+)$ (điều kiện này đảm bảo nghiệm vô hướng $s(t, \mu) \to 0$ khi $t \to \infty$);
  • Hàm phi tuyến $f$ thỏa mãn điều kiện Lipschitz toàn cục với hằng số $\kappa_0$ thỏa mãn bất đẳng thức $\kappa_0 < \lambda_1$.

4. Bất đẳng thức kiểu Halanay ở Chương 3 có ý nghĩa gì đối với hệ vi phân có trễ?

Trong lý thuyết phương trình vi phân có trễ cổ điển, bất đẳng thức Halanay là công cụ chuẩn để suy ra tính tiêu hao và tính ổn định tiệm cận bằng cách ước lượng đạo hàm tại thời điểm $t$ qua giá trị cực đại trên đoạn trễ $[t-h, t]$. Đối với phương trình không địa phương, đạo hàm có nhớ không cho phép tính toán cục bộ. Việc tác giả chứng minh một bất đẳng thức kiểu Halanay mới thích ứng với tích chập phân thứ và nhân Sonine cho phép thiết lập chặn trên của nghiệm có trễ, chứng minh sự tồn tại của tập hấp thụ bị chặn (tính tiêu hao) và suy ra nghiệm hội tụ về 0 khi $t \to \infty$.

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

Bài toán thuận (cho dữ kiện ban đầu $u(0)$, tìm $u(t)$) có hiệu ứng làm trơn của phương trình loại parabolic: với $t > 0$, nghiệm $u(t)$ thuộc vào không gian chính quy hơn không gian của dữ kiện ban đầu. Khi đảo ngược thời gian (cho dữ kiện cuối $u(T) = g$, tìm nghiệm tại $t < T$), bài toán đòi hỏi tác động toán tử nghịch đảo $[S(T)]^{-1}$. Vì các giá trị riêng của $S(T)$ là $s(T, \lambda_n^\gamma)$ tiến dần về 0 khi $n \to \infty$, toán tử nghịch đảo $[S(T)]^{-1}$ là không bị chặn. Do đó, nghiệm không phụ thuộc liên tục vào dữ kiện cuối, một sai số đo đạc nhỏ ở thời điểm $T$ sẽ bị phóng đại vô hạn khi lùi về thời điểm $t = 0$.

Kết luận

Luận án của nghiên cứu sinh Lâm Trần Phương Thủy là công trình chuyên khảo giải tích định tính đối với lớp phương trình vi phân không địa phương trong không gian Hilbert và không gian hàm vô hạn chiều. Bằng việc kết hợp lý thuyết nhân Sonine, giải thức Volterra và các bất đẳng thức vi tích phân cải biên (Gronwall và Halanay), tác giả đã giải quyết có hệ thống các bài toán về tính giải được, tính chính quy, tính tiêu hao và tính ổn định tiệm cận cho các hệ không địa phương không trễ và có trễ hữu hạn. Đồng thời, luận án đã xác lập khung giải tích giải quyết thành công bài toán giá trị cuối đặt không chỉnh với nhân Sonine tổng quát trong cả điều kiện chính quy và điều kiện kỳ dị tại thời điểm ban đầu. Các kết quả của luận án góp phần hoàn thiện lý thuyết định tính cho phương trình khuếch tán dị thường và cung cấp các công cụ toán học giá trị cho nghiên cứu phương trình vi tích phân hiện đại.