Tổng quan luận án

Luận án tiến sĩ toán học "On some classes of nonlocal parabolic equations" (Nghiên cứu một số lớp phương trình parabolic phi địa phương) được nghiên cứu sinh Lê Trần Tịnh thực hiện dưới sự hướng dẫn khoa học của GS. TSKH. Cung Thế Anh tại Trường Đại học Sư phạm Hà Nội, thuộc chuyên ngành Phương trình vi phân và tích phân (Mã số: 9.03), bảo vệ năm 2020.

Tính cấp thiết và khoảng trống nghiên cứu

Các hiện tượng khuếch tán xuất hiện trong nhiều lĩnh vực như vật lý, sinh học, kinh tế học và kỹ thuật thường được mô tả thông qua các phương trình đạo hàm riêng. Khác với phương trình địa phương (nơi các đạo hàm và giá trị hàm số chỉ phụ thuộc vào lân cận vô cùng bé của điểm xét), phương trình phi địa phương đòi hỏi thông tin trên toàn bộ miền xác định để kiểm tra tính đúng đắn tại một điểm. Tính phi địa phương xuất hiện phổ biến dưới dạng hệ số khuếch tán phi địa phương (nonlocal diffusions), số hạng nguồn phi địa phương (nonlocal source terms), hoặc điều kiện biên phi địa phương (nonlocal boundary conditions).

Trong lý thuyết định tính và dáng điệu tiệm cận của nghiệm cho phương trình parabolic phi địa phương, các nghiên cứu trước đây chủ yếu tập trung vào các lớp phi tuyến thỏa mãn điều kiện Lipschitz hoặc bị chặn tăng trưởng đa thức (polynomial growth condition) dạng $c_1 |u|^p - c_0 \leq f(u)u \leq c_2 |u|^p + c_0$. Khi gỡ bỏ ràng buộc tăng trưởng chặn trên đối với hàm phi tuyến $f(u)$ (chẳng hạn như phi tuyến dạng mũ $f(u) = e^u$), tính duy nhất và tính chính quy của nghiệm yếu không còn được đảm bảo bằng các kỹ thuật thông thường. Thêm vào đó, việc khảo sát dáng điệu tiệm cận dài hạn của nghiệm thông qua tập hút toàn cục (global attractor), ước lượng số chiều fractal và tính ổn định mũ của nghiệm dừng đối với phương trình chứa toán tử $p$-Laplace phi địa phương và các toán tử khuếch tán vi phân phân số (fractional Laplacian và regional fractional Laplacian) với nhiều loại điều kiện biên khác nhau vẫn còn nhiều khoảng trống lý thuyết cần được giải quyết đồng bộ.

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

Luận án tập trung giải quyết ba bài toán chính (được đánh số theo văn bản):

  1. Bài toán (P1): Phương trình parabolic phi tuyến với hệ số khuếch tán phi địa phương chứa toán tử Laplace cổ điển và lớp hàm phi tuyến không bị hạn chế tăng trưởng chặn trên: $$\begin{cases} u_t - a(l(u))\Delta u + f(u) = g(x), & x \in \Omega, t > 0, \ u(x, t) = 0, & x \in \partial\Omega, t > 0, \ u(x, 0) = u_0(x), & x \in \Omega. \end{cases}$$ Mục tiêu: Chứng minh sự tồn tại, duy nhất của nghiệm yếu, sự tồn tại và ước lượng số chiều fractal của tập hút toàn cục trong $L^2(\Omega)$, cùng sự tồn tại và tính ổn định mũ toàn cục của nghiệm dừng.

  2. Bài toán (P2): Phương trình parabolic giả tuyến tính phi địa phương chứa toán tử $p$-Laplace ($p \ge 2$): $$\begin{cases} u_t - \text{div}\left(a(|\nabla u|_{L^p(\Omega)}^p) |\nabla u|^{p-2}\nabla u\right) + f(u) = g(x), & x \in \Omega, t > 0, \ u(x, t) = 0, & x \in \partial\Omega, t > 0, \ u(x, 0) = u_0(x), & x \in \Omega. \end{cases}$$ Mục tiêu: Khảo sát dáng điệu dài hạn của nghiệm thông qua tập hút toàn cục trong các không gian pha khác nhau: tập hút $(L^2(\Omega), L^2(\Omega))$, tập hút $(L^2(\Omega), L^q(\Omega))$, và tập hút $(L^2(\Omega), W_0^{1,p}(\Omega) \cap L^q(\Omega))$, đồng thời thiết lập tính ổn định mũ của nghiệm dừng.

  3. Bài toán (P3): Các phương trình parabolic phi địa phương liên kết với toán tử Laplace phân số $(-\Delta)^s$ và toán tử Laplace phân số khu vực $A_\Omega^s$ ($0 < s < 1$ hoặc $1/2 < s < 1$) với bốn loại điều kiện biên:

    • Phương trình chứa $(-\Delta)^s$ với điều kiện biên Dirichlet mở rộng: $u = 0$ trên $(\mathbb{R}^N \setminus \Omega) \times (0, \infty)$.
    • Phương trình chứa $A_\Omega^s$ với điều kiện biên Dirichlet: $u = 0$ trên $\partial\Omega \times (0, \infty)$.
    • Phương trình chứa $A_\Omega^s$ với điều kiện biên Neumann phân số: $\mathcal{N}^{2-2s} u = 0$ trên $\partial\Omega \times (0, \infty)$.
    • Phương trình chứa $A_\Omega^s$ với điều kiện biên Robin phân số: $B_{N,s}\mathcal{N}^{2-2s} u + \gamma u = 0$ trên $\partial\Omega \times (0, \infty)$. Mục tiêu: Chứng minh tính giải được của nghiệm yếu, xác lập sự tồn tại và ước lượng số chiều fractal của tập hút toàn cục cho nửa nhóm liên tục tương ứng dưới điều kiện hàm phi tuyến $f(u)$ mới không có điều kiện chặn trên.

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

  • Đối tượng nghiên cứu: Nghiệm yếu, nghiệm dừng, nửa nhóm nghiệm liên tục, tập hút toàn cục, tập hút hai không gian (bi-spaces attractors), và số chiều fractal của các phương trình parabolic phi địa phương.
  • Phạm vi không gian: Miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 1$) với biên trơn hoặc biên Lipschitz continuous $\partial\Omega$.
  • Phạm vi thời gian: Biến thời gian $t \in [0, T]$ đối với bài toán tiến hóa hữu hạn và $t \in [0, \infty)$ đối với phân tích dáng điệu tiệm cận dài hạn.

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

Trong phần tổng quan, tác giả hệ thống hóa các kết quả nghiên cứu trong nước và quốc tế về các lớp phương trình parabolic phi địa phương và lý thuyết tập hút:

Hướng nghiên cứu / Nhóm tác giả Công trình & Năm Nội dung chính và kết quả liên quan
Dạng phi địa phương tổng quát Y. Souplet [63], C. Yin [75], L. Rădulescu & B. Khảo sát số hạng nguồn phi địa phương, điều kiện biên phi địa phương và tính chất khuếch tán phi địa phương.
Khuếch tán phi địa phương với toán tử Laplace M. Chipot & B. Lovat [25, 26] Nghiên cứu phương trình khuếch tán phi địa phương với điều kiện biên hỗn hợp và Dirichlet, chứng minh nghiệm yếu, nghiệm mạnh và dáng điệu tiệm cận.
Hàm phi tuyến Lipschitz và chu kỳ F.J.S.A. Corrêa, M.L. de Menezes [49] Nghiên cứu phương trình $u_t - a(l(u))\Delta u + f(u) = h$ với $f$ là hàm Lipschitz thỏa mãn $f(0)=0$, $f'(0)$ tồn tại; chứng minh nghiệm tuần hoàn.
Tập hút với phi địa phương trên hình cầu A. Ovono [52] Nghiên cứu hệ phương trình có số hạng khuếch tán phi địa phương với phiếm hàm tuyến tính hạn chế trên các quả cầu bị chặn, chứng minh sự tồn tại của tập hút toàn cục.
Phi tuyến tăng trưởng đa thức J. Ferreira et al. [62] Khảo sát bài toán phản ứng - khuếch tán $u_t - a(l(u))\Delta u +
Biên di động & Phần tử hữu hạn di động R. Robalo et al. [58] Thiết lập sự tồn tại, duy nhất của nghiệm mạnh cho bài toán biên di động bằng phương pháp MFEM.
Tập hút Pullback không dừng T. Caraballo et al. [15, 16] Nghiên cứu dáng điệu tiệm cận của phương trình parabolic phụ thuộc thời gian với phi tuyến tăng trưởng dưới tuyến tính hoặc đa thức; chứng minh sự tồn tại của pullback attractors.
Phương trình $p$-Laplace phi địa phương Y. Savitska [23, 24]; T. Caraballo et al. [13, 14] Nghiên cứu bài toán $u_t - \text{div}(a(|\nabla u|_{L^p}^p)
Toán tử khuếch tán phân số K. Bogdan et al., Z.Q. Chen et al. [20]; M. Warma [71]; C. Warma [35]; X. Zhang et al. [53, 54, 73, 76] Khảo sát phương trình $u_t + (-\Delta)^s u + f(u) = 0$ và $u_t + A_\Omega^s u + f(u) = 0$ bằng phương pháp dạng Dirichlet trên miền không trơn; thiết lập tập hút toàn cục với phi tuyến đa thức và mở rộng cho phi tuyến thiếu chặn trên.

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

  1. Đối với phương trình dạng (P1), các kết quả trước đây (như của A. Ovono [52] hoặc J. Ferreira [62]) chỉ giới hạn phiếm hàm $l(u)$ trên các quả cầu bị chặn hoặc yêu cầu hàm $f(u)$ bị chặn trên bởi đa thức. Luận án mở rộng cho phiếm hàm $l(u)$ xác định trên toàn bộ miền vật lý $\Omega$ và lớp phi tuyến $f(u)$ không bị ràng buộc tăng trưởng chặn trên.
  2. Đối với phương trình giả tuyến tính (P2), luận án giải quyết trọn vẹn sự tồn tại của tập hút toàn cục trong các không gian chính quy cao hơn thông qua lý thuyết tập hút hai không gian (bi-spaces attractors): $(L^2(\Omega), L^2(\Omega))$, $(L^2(\Omega), L^q(\Omega))$ và $(L^2(\Omega), W_0^{1,p}(\Omega) \cap L^q(\Omega))$.
  3. Đối với bài toán phân số (P3), luận án thiết lập khung giải tích thống nhất cho cả toán tử Laplace phân số $(-\Delta)^s$ và toán tử Laplace phân số khu vực $A_\Omega^s$ gắn với bốn hệ điều kiện biên (bao gồm điều kiện biên Neumann phân số và Robin phân số), chứng minh tập hút toàn cục có số chiều fractal hữu hạn với lớp phi tuyến tổng quát.

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

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

  • Không gian hàm: Không gian Banach và Hilbert; không gian Lebesgue $L^p(\Omega)$, $L^\infty(\Omega)$; không gian Sobolev nguyên $W^{k,p}(\Omega)$, $H^k(\Omega)$, $W_0^{k,p}(\Omega)$, $H_0^1(\Omega)$; không gian Sobolev phân số $W^{s,p}(\Omega)$, $W_0^{s,2}(\Omega)$, $H^s(\Omega)$; không gian Bochner $L^p(0, T; X)$, $L^\infty(0, T; X)$, $C([0, T]; X)$.
  • Lý thuyết tập hút và hệ động lực vô hạn chiều: Nửa nhóm liên tục ${S(t)}_{t \ge 0}$, tập hút thụ (absorbing set), tập $\omega$-giới hạn $\omega(B)$, tính compac tiệm cận (asymptotic compactness), tính trơn tiệm cận (asymptotic smoothness), Điều kiện (C), nửa nhóm liên tục chuẩn-tới-yếu (norm-to-weak continuous semigroups), tập hút hai không gian $((X, Z)$-global attractor), và số chiều fractal $d_f(\mathcal{A})$ thông qua Định lý Ladyzhenskaya.
  • Lý thuyết toán tử và dạng Dirichlet: Toán tử Laplace $-\Delta$, toán tử $p$-Laplace $-\Delta_p$, toán tử Laplace phân số $(-\Delta)^s$, toán tử Laplace phân số khu vực $A_\Omega^s$, đạo hàm chuẩn tắc phân số $\mathcal{N}^{2-2s}u$, cùng các dạng song tuyến tính đối xứng đóng tương ứng $E_E, E_D, E_N, E_R$.

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

Luận án sử dụng các phương pháp phân tích hàm và giải tích phương trình đạo hàm riêng:

  • Phương pháp xấp xỉ Galerkin: Xây dựng dãy nghiệm xấp xỉ hữu hạn chiều $u_n(t) = \sum_{j=1}^n u_{nj}(t)e_j$ dựa trên cơ sở trực chuẩn của không gian Hilbert $L^2(\Omega)$.
  • Phương pháp tính compac và định lý nhúng: Sử dụng Bổ đề Aubin-Lions-Simon (Bổ đề 1.34 trong văn bản) để suy ra tính hội tụ mạnh của dãy nghiệm xấp xỉ trong $L^2(0, T; L^2(\Omega))$, kết hợp với tính lồi đều của không gian và tính compac của phép nhúng Sobolev.
  • Kỹ thuật cắt cụt hàm Nemytskii: Để xử lý tính duy nhất và tính phụ thuộc liên tục của nghiệm khi hàm nghiệm không thuộc $H_0^1(\Omega) \cap L^\infty(\Omega)$, tác giả sử dụng hàm cắt cụt: $$B_k(s) = \begin{cases} k & \text{nếu } s > k, \ s & \text{nếu } |s| \le k, \ -k & \text{nếu } s < -k, \end{cases}$$ và ánh xạ Nemytskii tương ứng $\hat{B}_k(w)(x) = B_k(w(x))$ kết hợp phân tích hàm $h(s) = f(s) - f(0) + \nu s$ đồng biến.
  • Kỹ thuật ước lượng năng lượng và bất đẳng thức vi phân: Sử dụng Bất đẳng thức Gronwall dạng vi phân và tích phân, Bất đẳng thức Cauchy-Schwarz, Bất đẳng thức Hölder và Young.

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

Chapter 1: Preliminaries and Auxiliary Results

Chương 1 hệ thống hóa các cơ sở giải tích hàm, không gian hàm, lý thuyết nửa nhóm và các toán tử vi phân làm nền tảng cho toàn bộ luận án:

  • Các không gian giải tích: Trình bày định nghĩa và tính chất của không gian Banach, Hilbert, tính phản xạ, hội tụ yếu, hội tụ yếu-$*$; định nghĩa không gian Lebesgue $L^p(\Omega)$, các bất đẳng thức Hölder, Minkowski; không gian Sobolev bậc nguyên $W^{k,p}(\Omega)$, định lý nhúng liên tục và nhúng compac Sobolev-Rellich-Kondrachov, Bất đẳng thức Poincaré; không gian Sobolev bậc phân số $W^{s,p}(\Omega)$, $W_0^{s,p}(\Omega)$, vết của hàm phân số; không gian Bochner $L^p(0, T; X)$ và Định lý Arzelà-Ascoli.
  • Tập hút toàn cục trong phương trình đạo hàm riêng: Trình bày lý thuyết nửa nhóm toán tử ${S(t)}_{t \ge 0}$, khái niệm tập hút toàn cục $\mathcal{A}$, tập hút thụ bị chặn. Thiết lập mối quan hệ tương đương giữa tính trơn tiệm cận, tính compac tiệm cận và tính chất tách (splitting property) trên không gian Banach lồi đều. Đưa ra Điều kiện (C) của Ma, Wang, Zhong; lý thuyết nửa nhóm liên tục chuẩn-tới-yếu và định lý tồn tại tập hút hai không gian $(X, Z)$.
  • Số chiều fractal hữu hạn: Định nghĩa số chiều fractal $d_f(M) = \limsup_{\varepsilon \to 0} \frac{\ln N(M, \varepsilon)}{\ln(1/\varepsilon)}$ và phát biểu Định lý Ladyzhenskaya về ước lượng số chiều fractal hữu hạn của tập bất biến compact trong không gian Hilbert.
  • Các toán tử vi phân và dạng Dirichlet:
    • Toán tử Laplace $\Delta$ và $p$-Laplace $\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$.
    • Toán tử Laplace phân số $(-\Delta)^s u(x) = C_{N,s} P.V. \int_{\mathbb{R}^N} \frac{u(x)-u(y)}{|x-y|^{N+2s}}dy$ với hằng số chuẩn hóa $C_{N,s} = \frac{s 2^{2s}\Gamma(\frac{N+2s}{2})}{\pi^{N/2}\Gamma(1-s)}$.
    • Toán tử Laplace phân số khu vực $A_\Omega^s u(x) = C_{N,s} P.V. \int_\Omega \frac{u(x)-u(y)}{|x-y|^{N+2s}}dy$.
    • Công thức tích phân từng phần dạng Green cho toán tử phân số trên miền bị chặn loại $C^{1,1}$ với đạo hàm chuẩn tắc phân số $\mathcal{N}^{2-2s}u(z) = -\lim_{t \downarrow 0} \frac{du(z + \vec{n}(z)t)}{dt} t^{2-2s}$, hằng số $B_{N,s}$, và các dạng Dirichlet đóng đối xứng $E_E, E_D, E_N, E_R$.

Chapter 2: Global Attractors for Nonlocal Parabolic Equations with a New Class of Nonlinearities

Chương 2 nghiên cứu bài toán (P1) với hệ số khuếch tán phi địa phương và hàm phi tuyến $f(u)$ không bị chặn tăng trưởng trên.

  • Các giả thiết kỹ thuật:
    • (H1) $a \in C(\mathbb{R}, \mathbb{R}^+)$ thỏa mãn điều kiện Lipschitz: $|a(t) - a(s)| \le L|t - s|$ và bị chặn $0 < m \le a(t) \le M$, $\forall t \in \mathbb{R}$. Phiếm hàm $l(u) = \int_\Omega \varphi(x)u(x)dx$ với $\varphi \in L^2(\Omega)$.
    • (H2) $f \in C^1(\mathbb{R})$ thỏa mãn điều kiện tiêu tán: $f(s)s \ge -\mu s^2 - c_1$ với $c_1 > 0$, $0 < \mu < m\lambda_1$ ($\lambda_1 > 0$ là giá trị riêng thứ nhất của toán tử $-\Delta$ trên $H_0^1(\Omega)$), và $f'(s) \ge -\alpha$ ($\alpha > 0$).
    • (H3) $g \in L^2(\Omega)$.
  • Sự tồn tại và duy nhất của nghiệm yếu:
    • Định nghĩa nghiệm yếu $u \in L^2(0, T; H_0^1(\Omega)) \cap C([0, T]; L^2(\Omega))$ thỏa mãn $\frac{du}{dt} \in L^2(0, T; H^{-1}(\Omega)) + L^1(\Omega_T)$ và $f(u) \in L^1(\Omega_T)$.
    • Sử dụng phương pháp Galerkin, kết hợp ước lượng tiên nghiệm trong $L^\infty(0, T; L^2(\Omega)) \cap L^2(0, T; H_0^1(\Omega))$ và Bổ đề Aubin-Lions-Simon để chuyển qua giới hạn trong số hạng phi địa phương $a(l(u_n)) \to a(l(u))$ và số hạng phi tuyến $f(u_n) \to f(u)$ trong $L^1(\Omega_T)$.
    • Sử dụng kỹ thuật cắt cụt Nemytskii $\hat{B}k(w)$ để chứng minh tính duy nhất và tính phụ thuộc liên tục của nghiệm đối với dữ kiện ban đầu: $$|u_1(t) - u_2(t)|{L^2(\Omega)}^2 \le |u_1(0) - u_2(0)|{L^2(\Omega)}^2 \exp\left( \int_0^t \left[\frac{L^2|\varphi|{L^2}^2}{m}|u_2(s)|_{H_0^1}^2 + 2\alpha\right]ds \right).$$
  • Tập hút toàn cục và số chiều fractal:
    • Xây dựng nửa nhóm liên tục $S(t): L^2(\Omega) \to L^2(\Omega)$ xác định bởi $S(t)u_0 = u(t)$.
    • Chứng minh sự tồn tại của tập hút thụ bị chặn trong $L^2(\Omega)$ và tính compac tiệm cận của nửa nhóm, từ đó suy ra sự tồn tại của tập hút toàn cục $\mathcal{A}$ compact, liên thông và bất biến trong $L^2(\Omega)$.
    • Ứng dụng Định lý Ladyzhenskaya để chứng minh số chiều fractal $d_f(\mathcal{A})$ là hữu hạn.
  • Nghiệm dừng và tính ổn định mũ: Chứng minh sự tồn tại của nghiệm dừng $u^*$ và đưa ra điều kiện đủ để nghiệm dừng là duy nhất và ổn định mũ toàn cục trong chuẩn $L^2(\Omega)$.

Chapter 3: Long-Time Behavior of Solutions to a Nonlocal Quasi-Linear Parabolic Equation

Chương 3 khảo sát dáng điệu tiệm cận của phương trình giả tuyến tính phi địa phương (P2) chứa toán tử $p$-Laplace ($p \ge 2$).

  • Thiết lập bài toán và nghiệm yếu:
    • Hệ số khuếch tán có dạng $a(|\nabla u|_{L^p(\Omega)}^p)$ thỏa mãn tính liên tục và bị chặn dưới dương $0 < m \le a(s)$.
    • Chứng minh sự tồn tại và tính duy nhất của nghiệm yếu trong không gian $L^\infty(0, T; L^2(\Omega)) \cap L^p(0, T; W_0^{1,p}(\Omega))$.
  • Hệ thống các tập hút toàn cục đa không gian (Bi-spaces attractors):
    • Tập hút $(L^2(\Omega), L^2(\Omega))$: Chứng minh nửa nhóm ${S(t)}_{t \ge 0}$ có tập hút thụ bị chặn trong $L^2(\Omega)$ và thỏa mãn tính $(L^2(\Omega), L^2(\Omega))$-compac tiệm cận, xác lập sự tồn tại của tập hút toàn cục $\mathcal{A}_2 \subset L^2(\Omega)$.
    • Tập hút $(L^2(\Omega), L^q(\Omega))$: Sử dụng các kỹ thuật ước lượng hàm phân tích trên các tập mức $\Omega(|S(t)u_0| \ge M)$ để chứng minh tính compac tiệm cận từ không gian pha $L^2(\Omega)$ vào $L^q(\Omega)$ ($q \ge 1$).
    • Tập hút $(L^2(\Omega), W_0^{1,p}(\Omega) \cap L^q(\Omega))$: Thiết lập tính chính quy cao hơn của nghiệm khi $t > 0$, chứng minh nửa nhóm liên tục chuẩn-tới-yếu và sự tồn tại của tập hút toàn cục trong không gian năng lượng $W_0^{1,p}(\Omega) \cap L^q(\Omega)$.
  • Tính ổn định của nghiệm dừng: Chứng minh sự tồn tại của nghiệm dừng của bài toán giả tuyến tính và xác lập tốc độ suy giảm hàm mũ về nghiệm dừng trong chuẩn $L^2(\Omega)$.

Chapter 4: Global Attractors for Nonlocal Parabolic Equations Involving the Fractional Laplacian and the Regional Fractional Laplacian with a New Class of Nonlinearities

Chương 4 mở rộng nghiên cứu sang các phương trình vi phân phân số phi tuyến (P3) với lớp hàm phi tuyến không bị chặn tăng trưởng trên.

  • Toán tử và miền xác định:
    • Khảo sát bốn bài toán biên gắn với các toán tử $A_E$ (tương ứng $(-\Delta)^s$ với điều kiện Dirichlet mở rộng ngoài miền $\Omega$), $A_D$ (toán tử $A_\Omega^s$ với điều kiện Dirichlet trên biên $\partial\Omega$), $A_N$ (toán tử $A_\Omega^s$ với điều kiện Neumann phân số $\mathcal{N}^{2-2s}u = 0$), và $A_R$ (toán tử $A_\Omega^s$ với điều kiện Robin phân số $B_{N,s}\mathcal{N}^{2-2s}u + \gamma u = 0$).
    • Khai thác tính chất phổ rời rạc của các toán tử $A_K$ ($K \in {E, D, N, R}$) với dãy giá trị riêng $0 \le \lambda_1^K < \lambda_2^K \le \lambda_3^K \to +\infty$ và tính nhúng liên tục $D(A_K^\theta) \hookrightarrow L^\infty(\Omega)$ khi $\theta > \frac{N}{4s}$.
  • Sự tồn tại, duy nhất và tập hút toàn cục:
    • Chứng minh sự tồn tại và duy nhất của nghiệm yếu $u \in L^2(0, T; D(E_K)) \cap C([0, T]; L^2(\Omega))$ cho từng loại điều kiện biên bằng phương pháp Galerkin và bổ đề compac.
    • Xây dựng nửa nhóm nghiệm và chứng minh sự tồn tại của tập hút toàn cục $\mathcal{A}_K$ trong $L^2(\Omega)$ cho cả bốn bài toán.
  • Ước lượng số chiều fractal: Áp dụng phương pháp phân rã toán tử và Định lý Ladyzhenskaya mở rộng để thu được chặn trên hữu hạn cho số chiều fractal $d_f(\mathcal{A}_K)$ của tập hút toàn cục.

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

Các kết quả khoa học chính được tác giả công bố trong 3 công trình nghiên cứu: bài báo [CT1] trên tạp chí Journal of the Korean Mathematical Society (tương ứng Chương 2), bài báo [CT2] trên tạp chí Communications of the Korean Mathematical Society (tương ứng Chương 3), và công trình [CT3] hoàn thành gửi đăng (tương ứng Chương 4).

Nội dung khoa học Phương pháp & Kỹ thuật cốt lõi Đóng góp mới của luận án
Phương trình khuếch tán phi địa phương với phi tuyến mới (Chương 2) Phương pháp Galerkin, bổ đề compac Aubin-Lions-Simon, ánh xạ cắt cụt Nemytskii $\hat{B}_k(w)$, Định lý Ladyzhenskaya. - Gỡ bỏ hoàn toàn giả thiết chặn trên đa thức đối với hàm phi tuyến $f(u)$ (chấp nhận cả phi tuyến tăng trưởng dạng mũ $e^u$).
- Mở rộng phiếm hàm $l(u)$ ra toàn bộ miền vật lý $\Omega$ thay vì giới hạn trên quả cầu bị chặn.
- Chứng minh tồn tại, duy nhất nghiệm yếu, tập hút toàn cục hữu hạn chiều và tính ổn định mũ của nghiệm dừng.
Phương trình $p$-Laplace phi địa phương (Chương 3) Phương pháp biến phân, lý thuyết tập hút hai không gian $((X, Z)$-attractor), đánh giá tập mức $\Omega( u
Phương trình parabolic với toán tử phân số (Chương 4) Phương pháp dạng Dirichlet, công thức Green phân số, đạo hàm chuẩn tắc phân số $\mathcal{N}^{2-2s}u$, giải tích phổ toán tử $A_K$. - Xây dựng khung giải tích thống nhất cho toán tử $(-\Delta)^s$ và $A_\Omega^s$ với 4 loại điều kiện biên (Dirichlet ngoài miền, Dirichlet biên, Neumann phân số, Robin phân số).
- Chứng minh sự tồn tại của tập hút toàn cục và ước lượng chặn trên số chiều fractal dưới điều kiện phi tuyến mới.

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

Căn cứ theo phần đặt vấn đề và kết luận của luận án, các hạn chế về phạm vi và định hướng nghiên cứu tiếp theo bao gồm:

  • Phạm vi nghiên cứu: Luận án chủ yếu giới hạn trong phạm vi các phương trình parabolic đơn trên miền bị chặn $\Omega \subset \mathbb{R}^N$.
  • Hướng nghiên cứu mở rộng:
    1. Nghiên cứu dáng điệu tiệm cận của nghiệm đối với các phương trình parabolic phi địa phương với các toán tử khuếch tán khác nhau và các số hạng phi tuyến tổng quát hơn.
    2. Khảo sát dáng điệu tiệm cận dài hạn của nghiệm cho hệ phương trình parabolic phi tuyến ghép đôi phi địa phương (nonlocal nonlinear coupled systems) với các toán tử vi phân và điều kiện biên phức hợp.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo cho các đối tượng và nội dung sau:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán giải tích, Phương trình vi phân và tích phân: Tham khảo kỹ thuật xây dựng nghiệm yếu bằng phương pháp xấp xỉ Galerkin kết hợp toán tử cắt cụt Nemytskii khi xử lý các phương trình có số hạng phi tuyến không thỏa mãn điều kiện tăng trưởng đa thức chặn trên.
  • Giảng viên và nhà nghiên cứu về Hệ động lực vô hạn chiều: Tham khảo phương pháp chứng minh sự tồn tại của tập hút toàn cục thông qua tính trơn tiệm cận, Điều kiện (C), lý thuyết tập hút hai không gian (bi-spaces attractors) và kỹ thuật ước lượng số chiều fractal bằng Định lý Ladyzhenskaya.
  • Các nhà nghiên cứu về phương trình vi phân phân số: Tham khảo cách thiết lập bài toán biên phi cổ điển (Neumann phân số, Robin phân số) thông qua dạng Dirichlet đóng đối xứng và đạo hàm chuẩn tắc phân số $\mathcal{N}^{2-2s}u$.

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

1. Điểm mới quan trọng nhất của lớp hàm phi tuyến $f(u)$ trong Chương 2 và Chương 4 là gì?
Lớp hàm phi tuyến $f(u)$ không bị áp đặt bất kỳ điều kiện chặn trên nào về tốc độ tăng trưởng (chẳng hạn như điều kiện tăng trưởng đa thức $|f(u)| \le c|u|^{p-1} + c_0$). Lớp hàm này chỉ yêu cầu điều kiện tiêu tán $f(s)s \ge -\mu s^2 - c_1$ (với $0 < \mu < m\lambda_1$) và điều kiện đạo hàm bị chặn dưới $f'(s) \ge -\alpha$, do đó bao hàm được cả các hàm phi tuyến có tốc độ tăng trưởng nhanh như hàm mũ $f(u) = e^u$.

2. Tại sao tác giả phải sử dụng kỹ thuật cắt cụt Nemytskii $\hat{B}_k(w)$ trong chứng minh tính duy nhất nghiệm ở Chương 2?
Do hàm phi tuyến $f(u)$ không có điều kiện chặn trên đa thức, hiệu của hai nghiệm $w(t) = u_1(t) - u_2(t)$ không đảm bảo thuộc không gian $H_0^1(\Omega) \cap L^\infty(\Omega)$ để có thể chọn trực tiếp làm hàm thử (test function). Việc sử dụng dãy hàm cắt cụt bị chặn $B_k(s)$ và ánh xạ Nemytskii $\hat{B}_k(w) \in H_0^1(\Omega) \cap L^\infty(\Omega)$ cho phép thực hiện các phép lấy tích phân từng phần hợp lệ trước khi cho $k \to \infty$.

3. Sự khác nhau về mặt bản chất vật lý và xác suất giữa toán tử Laplace phân số $(-\Delta)^s$ và toán tử Laplace phân số khu vực $A_\Omega^s$ là gì?
Về mặt vật lý, đối với một điểm $x \in \Omega$, toán tử $(-\Delta)^s$ mô tả tương tác giữa điểm $x$ và tất cả các điểm $y \in \mathbb{R}^N \setminus {x}$ trên toàn không gian; trong khi toán tử $A_\Omega^s$ chỉ mô tả tương tác giữa $x$ và các điểm $y \in \Omega \setminus {x}$ bên trong miền $\Omega$. Về mặt xác suất, $(-\Delta)^s$ trên miền $\Omega$ với điều kiện Dirichlet mở rộng mô tả quá trình Lévy ổn định đối xứng $2s$ bị triệt tiêu ngay khi rời khỏi miền $\Omega$; còn $A_\Omega^s$ tương ứng với quá trình bị hạn chế độ đo chỉ trong $\Omega$.

4. Luận án đã chứng minh sự tồn tại của tập hút toàn cục cho phương trình $p$-Laplace trong những không gian nào?
Trong Chương 3, tác giả đã thiết lập sự tồn tại của tập hút toàn cục trong ba cấp độ không gian pha khác nhau: tập hút $(L^2(\Omega), L^2(\Omega))$, tập hút $(L^2(\Omega), L^q(\Omega))$ với $q \ge 1$, và tập hút trong không gian năng lượng chính quy cao $(L^2(\Omega), W_0^{1,p}(\Omega) \cap L^q(\Omega))$.

5. Kết quả của luận án đã được báo cáo tại những diễn đàn khoa học nào?
Các kết quả của luận án đã được báo cáo tại seminar của Bộ môn Giải tích - Khoa Toán Tin, Trường Đại học Sư phạm Hà Nội; seminar tại Viện Nghiên cứu Cao cấp về Toán (VIASM); và seminar của Bộ môn Giải tích - Khoa Khoa học Tự nhiên, Trường Đại học Hồng Đức.

Kết luận

Luận án tiến sĩ của tác giả Lê Trần Tịnh đã giải quyết có hệ thống bài toán về sự tồn tại, tính duy nhất của nghiệm yếu và dáng điệu tiệm cận dài hạn của ba lớp phương trình parabolic phi địa phương: phương trình với hệ số khuếch tán phi địa phương chứa toán tử Laplace cổ điển, phương trình giả tuyến tính chứa toán tử $p$-Laplace, và phương trình chứa các toán tử vi phân phân số với nhiều loại điều kiện biên khác nhau. Bằng việc kết hợp phương pháp Galerkin, bổ đề compac Aubin-Lions-Simon, kỹ thuật cắt cụt Nemytskii và lý thuyết dạng Dirichlet, luận án đã xác lập thành công sự tồn tại của các tập hút toàn cục hữu hạn chiều và tính ổn định mũ của nghiệm dừng dưới các điều kiện phi tuyến mới không bị hạn chế chặn trên đa thức. Các kết quả nghiên cứu trong luận án đã được công bố trên các tạp chí toán học quốc tế chuyên ngành và mở ra hướng tiếp cận cho các hệ phương trình parabolic phi tuyến ghép đôi phi địa phương.