Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "On some classes of nonlocal parabolic equations" (Nghiên cứu một số lớp phương trình parabol không địa phương) do 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. Cung Thế Anh tại Trường Đại học Sư phạm Hà Nội (chuyên ngành Phương trình vi phân và tích phân, mã số chuyên ngành: 9.03), hoàn thành vào tháng 02 năm 2020.

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

Phân tích các hiện tượng khuếch tán xuất hiện trong vật lý, sinh học, kinh tế và kỹ thuật dẫn đến việc nghiên cứu các phương trình vi phân đạo hàm riêng. Trong khi phương trình địa phương mô tả mối quan hệ giữa hàm chưa biết và các đạo hàm tại một điểm chỉ dựa trên giá trị trong lân cận vô cùng bé, phương trình không địa phương lại yêu cầu thông tin về giá trị hàm trên toàn bộ miền xác định. Đặc tính không địa phương phản ánh các hiện tượng thực tế như sự tương tác của vi khuẩn, các tác nhân kinh tế, vật liệu phân lớp mà phản ứng cục bộ phụ thuộc vào phản ứng của toàn hệ thống.

Tính không địa phương có thể xuất hiện dưới dạng số hạng nguồn không địa phương, điều kiện biên không địa phương hoặc toán tử khuếch tán không địa phương. Sự xuất hiện của các toán tử không địa phương làm nảy sinh nhiều trở ngại giải tích, đặc biệt là tính duy nhất và tính chính quy của nghiệm yếu không thể bảo đảm bằng các kỹ thuật cục bộ thông thường. Bên cạnh đó, các nghiên cứu trước đây về dáng điệu dài hạn của nghiệm thường áp dụng cho các hàm phi tuyến thỏa mãn điều kiện liên tục Lipschitz, dưới tuyến tính hoặc bị chặn trên bởi hàm đa thức ($c_1|u|^p - c_0 \le f(u)u \le c_2|u|^p + c_0$). Khoảng trống nghiên cứu đặt ra là cần phân tích dáng điệu tiệm cận của nghiệm thông qua lý thuyết tập hút toàn cục đối với các phương trình parabol không địa phương mang lớp phi tuyến mới không bị ràng buộc điều kiện tăng trưởng chặn trên (chấp nhận cả hàm phi tuyến tăng trưởng hàm mũ như $f(u) = e^u$).

Mục tiêu và các bài toán nghiên cứu

Mục tiêu chính của luận án là thiết lập sự tồn tại và duy nhất của nghiệm yếu, nghiên cứu dáng điệu tiệm cận dài hạn của nghiệm thông qua việc chứng minh sự tồn tại của tập hút toàn cục, ước lượng số chiều fractal hữu hạn của tập hút, cũng như xác định sự tồn tại và tính ổn định tiệm cận mũ của nghiệm dừng cho ba lớp bài toán cụ thể:

  1. Bài toán (P1) - Phương trình parabol phi tuyến không địa phương với hệ số phụ thuộc phiếm hàm tích phâ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}$$ trong đó $\Omega \subset \mathbb{R}^N$ ($N \ge 1$) là miền bị chặn trơn, $l: L^2(\Omega) \to \mathbb{R}$ là phiếm hàm tuyến tính liên tục, $f(u)$ là số hạng phi tuyến, $g(x)$ là lực kích thích ngoài.

  2. Bài toán (P2) - Phương trình parabol tựa tuyến tính không địa phương loại $p$-Laplace: $$\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}$$ trong đó $p \ge 2$, $\Omega \subset \mathbb{R}^N$ là miền bị chặn với biên Lipschitz $\partial\Omega$, hệ số khuếch tán $a$ phụ thuộc vào chuẩn $L^p$ của gradient.

  3. Bài toán (P3) - Phương trình parabol không địa phương chứa toán tử Laplace phân số $(-\Delta)^s$ và Laplace phân số địa phương $A_\Omega^s$ ($0 < s < 1$):

    • Với toán tử Laplace phân số $(-\Delta)^s$ kèm điều kiện Dirichlet thuần nhất mở rộng: $$\begin{cases} u_t + (-\Delta)^s u + f(u) = g, & \text{trong } \Omega \times (0, \infty), \ u = 0, & \text{trên } (\mathbb{R}^N \setminus \Omega) \times (0, \infty), \ u(x, 0) = u_0(x), & \text{trong } \Omega. \end{cases}$$
    • Với toán tử Laplace phân số địa phương $A_\Omega^s$ kèm điều kiện biên Dirichlet: $$\begin{cases} u_t + A_\Omega^s u + f(u) = g, & \text{trong } \Omega \times (0, \infty), \ u = 0, & \text{trên } \partial\Omega \times (0, \infty), \ u(x, 0) = u_0(x), & \text{trong } \Omega. \end{cases}$$
    • Với toán tử Laplace phân số địa phương $A_\Omega^s$ kèm điều kiện biên Neumann phân số: $$\begin{cases} u_t + A_\Omega^s u + f(u) = g, & \text{trong } \Omega \times (0, \infty), \ \mathcal{N}^{2-2s} u = 0, & \text{trên } \partial\Omega \times (0, \infty), \ u(x, 0) = u_0(x), & \text{trong } \Omega. \end{cases}$$
    • Với toán tử Laplace phân số địa phương $A_\Omega^s$ kèm điều kiện biên Robin phân số: $$\begin{cases} u_t + A_\Omega^s u + f(u) = g, & \text{trong } \Omega \times (0, \infty), \ B_{N,s}\mathcal{N}^{2-2s} u + \gamma u = 0, & \text{trên } \partial\Omega \times (0, \infty), \ u(x, 0) = u_0(x), & \text{trong } \Omega. \end{cases}$$

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

Đối tượng nghiên cứu là các phương trình đạo hàm riêng parabol phi tuyến và tựa tuyến tính mang tính không địa phương về hệ số khuếch tán hoặc về bậc vi phân phân số. Phạm vi nghiên cứu về không gian là miền bị chặn $\Omega \subset \mathbb{R}^N$ với biên trơn hoặc biên liên tục Lipschitz; phạm vi thời gian là bài toán tiến triển với $t \in [0, T]$ và dáng điệu tiệm cận dài hạn khi $t \to \infty$.

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

Luận án tổng thuật các hướng phát triển chính trong lý thuyết phương trình vi phân đạo hàm riêng parabol không địa phương và lý thuyết tập hút của hệ động lực vô hạn chiều:

Hướng nghiên cứu Tác giả và công trình tiêu biểu Nội dung và kết quả chính
Hệ số khuếch tán không địa phương dạng $a(l(u))$ Lovat (1997), Corrêa et al., Lovat (1997) [26, 27] Nghiên cứu bài toán dừng và tiến triển với điều kiện biên hỗn hợp và Dirichlet, chứng minh tồn tại nghiệm duy nhất và dáng điệu tiệm cận.
de Menezes (2006) [54] Khảo sát phương trình với $f$ Lipschitz, $f(0)=0$, chứng minh tồn tại nghiệm tuần hoàn và nghiệm suy biến.
Raposo et al., Ovono (2009) [57] Xét $a(l(u))$ với phiếm hàm tuyến tính hạn chế trên các hình cầu bị chặn, chứng minh tồn tại tập hút toàn cục cho nửa nhóm nghiệm tương ứng.
Ferreira (2012) [67] Nghiên cứu phương trình phản ứng khuếch tán với $f$ tăng trưởng đa thức, chứng minh tồn tại tập hút toàn cục và tính ổn định mũ.
Robalo et al. (2012) [63]; Caraballo et al. (2014, 2015) [15, 16] Phân tích bài toán biên di động bằng phương pháp phần tử hữu hạn chuyển động (MFEM); nghiên cứu tập hút kéo theo (pullback attractors) cho trường hợp phi tuyến dưới tuyến tính hoặc đa thức.
Almeida et al. Nghiên cứu tính triệt tiêu nghiệm hữu hạn thời gian và xấp xỉ số bằng phương pháp Crank-Nicolson-Galerkin tuyến tính hóa.
Phương trình $p$-Laplace không địa phương Savitska (2007, 2010) [24, 25] Khảo sát phương trình với hệ số $a(|\nabla u|_{L^p}^p)$ bằng phương pháp biến phân, chứng minh tồn tại nghiệm và dáng điệu tiệm cận.
Caraballo et al. (2013, 2014) [13, 14] Sử dụng kỹ thuật đơn điệu và đổi biến chứng minh tồn tại nghiệm và tập hút đa trị trong $L^2(\Omega)$, tập hút kéo theo tối tiểu trong $L^2(\Omega)$ và $L^p(\Omega)$.
Toán tử khuếch tán phân số Bogdan et al., Chen et al. (2010) [21] Nghiên cứu toán tử phân số thông qua phương pháp xác suất và quá trình Lévy ổn định đối xứng.
M. Warma (2014) [76], C. Warma (2015, 2016) [39, 43, 44] Phát triển phương pháp dạng Dirichlet trên miền không trơn cho $(-\Delta)^s$ và $A_\Omega^s$; thiết lập tập hút toàn cục và số chiều fractal với phi tuyến đa thức tiêu tán.
Zhang et al. (2015, 2016, 2018) [58, 59, 78, 81] Mở rộng tập hút toàn cục cho phương trình chứa toán tử phân số không có chặn trên cho phi tuyến và phương trình kiểu Kirchhoff phân số.

Vị trí và khoảng trống luận án giải quyết: Hầu hết các công trình nghiên cứu tập hút toàn cục trước đây đều đòi hỏi phi tuyến $f$ phải thỏa mãn điều kiện chặn trên dạng đa thức hoặc hệ số khuếch tán chỉ tác động trên các hình cầu bị chặn. Luận án khắc phục các hạn chế này bằng cách thiết lập khung phân tích cho hệ số khuếch tán tác động trên toàn bộ miền vật lý $\Omega$, đồng thời loại bỏ hoàn toàn điều kiện chặn trên của số hạng phi tuyến $f(u)$, bao quát cả lớp hàm phi tuyến tăng trưởng hàm mũ. Hơn nữa, luận án mở rộng nghiên cứu dáng điệu tiệm cận sang hệ thống hai không gian (bi-spaces attractors) và cấu trúc biên đa dạng (Dirichlet, Neumann phân số, Robin phân số) đối với toán tử Laplace phân số địa phương.

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

Luận án xây dựng trên nền tảng giải tích hàm và lý thuyết phương trình đạo hàm riêng hiện đại:

  • Không gian hàm: Không gian Banach phản xạ, không gian Hilbert, không gian Lebesgue $L^p(\Omega)$ ($1 \le p \le \infty$), không gian Sobolev nguyên $W^{k,p}(\Omega)$, $W_0^{k,p}(\Omega)$, $H^k(\Omega)$ cùng các định lý nhúng liên tục và compact (Sobolev-Gagliardo-Nirenberg, Rellich-Kondrachov) và 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à $H^s(\Omega)$ với $s \in (0, 1)$, được trang bị chuẩn tích phân kiểu Gagliardo; vết biên của không gian phân số và các định lý nhúng compact vào $L^q(\Omega)$ với $q < 2^* = \frac{2N}{N-2s}$ (nếu $N > 2s$).
  • Không gian Bochner: $L^p(0, T; X)$, $L^\infty(0, T; X)$, $C([0, T]; X)$ và khái niệm đạo hàm yếu theo thời gian $u_t$.
  • Lý thuyết nửa nhóm và tập hút: Nửa nhóm nghiệm liên tục ${S(t)}_{t \ge 0}$, tập hút thụ bị chặn (absorbing set), tập hút toàn cục $\mathcal{A}$, tính trơn tiệm cận (asymptotically smooth), tính compact tiệm cận (asymptotically compact), tính chất phân tách (splitting property), Điều kiện (C), nửa nhóm liên tục chuẩn-yếu (norm-to-weak continuous semigroup) và lý thuyết tập hút hai không gian ($(X, Z)$-global attractor).
  • Số chiều fractal hữu hạn: Định lý Ladyzhenskaya về số chiều fractal của tập bất biến trong không gian Hilbert thông qua phép chiếu hữu hạn chiều $P$: $$\dim_f \mathcal{A} \le \dim P \ln\left(\frac{9\kappa}{1-\delta}\right) \left[\ln\left(\frac{2}{1+\delta}\right)\right]^{-1}.$$
  • Toán tử vi phân:
    • Toán tử $p$-Laplace: $\Delta_p u = \text{div}(|\nabla u|^{p-2} \nabla u)$.
    • Toán tử Laplace phân số trên $\mathbb{R}^N$: $$(-\Delta)^s u(x) = C_{N,s} \text{ P.V.} \int_{\mathbb{R}^N} \frac{u(x) - u(y)}{|x-y|^{N+2s}} dy.$$
    • Toán tử Laplace phân số địa phương trên $\Omega$: $$A_\Omega^s u(x) = C_{N,s} \text{ P.V.} \int_\Omega \frac{u(x) - u(y)}{|x-y|^{N+2s}} dy.$$
    • Đạo hàm pháp tuyến phân số $\mathcal{N}^{2-2s} u(z) = - \lim_{t \downarrow 0} t^{2-2s} \frac{du(z + \vec{n}(z)t)}{dt}$ trên $\partial\Omega$ với hằng số chuẩn hóa $B_{N,s}$.

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

Nghiên cứu sử dụng phương pháp phân tích giải tích định lượng kết hợp định tính:

  1. Phương pháp Faedo-Galerkin: Xây dựng hệ nghiệm xấp xỉ hữu hạn chiều dựa trên cơ sở trực chuẩn của không gian Hilbert.
  2. Kỹ thuật hàm tăng ngặt và khử chặn trên: Đặt $h(u) = f(u) - f(0) + \nu u$ ($\nu > \alpha$) là hàm tăng ngặt để chứng minh tính bị chặn của dãy ${f(u_n)}$ trong $L^1(\Omega_T)$, qua đó chuyển qua giới hạn mà không cần điều kiện chặn trên của $f$.
  3. Bổ đề compact Aubin-Lions-Simon: Thiết lập tính compact mạnh của dãy nghiệm xấp xỉ trong $L^2(0, T; L^2(\Omega))$ để khắc phục tính phi tuyến và phi địa phương của toán tử khuếch tán.
  4. Phương pháp dạng Dirichlet: Xây dựng các dạng song tuyến tính đối xứng đóng $\mathcal{E}_E, \mathcal{E}_D, \mathcal{E}_N, \mathcal{E}_R$ và các toán tử tự liên hợp tương ứng $A_E, A_D, A_N, A_R$ để xử lý các điều kiện biên khác nhau của toán tử phân số.
  5. Ước lượng tiên nghiệm và bất đẳng thức vi phân: Sử dụng bất đẳng thức Young với $\varepsilon$, bất đẳng thức Hölder, bổ đề Gronwall cổ điển và bổ đề Gronwall đều.

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

Chương 1: PRELIMINARIES AND AUXILIARY RESULTS (Kiến thức chuẩn bị và các kết quả bổ trợ)

Chương 1 hệ thống hóa các công cụ toán học nền tảng phục vụ cho toàn bộ luận án:

  • Tổng kết tính chất giải tích của các không gian Banach phản xạ, không gian Lebesgue $L^p(\Omega)$, không gian Sobolev nguyên $W^{k,p}(\Omega)$, $H^k(\Omega)$ và không gian Sobolev phân số $W^{s,p}(\Omega)$.
  • Trình bày định lý Arzelà-Ascoli, không gian Bochner $L^p(0, T; X)$ và Bổ đề compact Aubin-Lions-Simon (Bổ đề 1.34). Đưa ra Bổ đề 1.35 về tính hội tụ tích phân của dãy hàm liên tục tăng ngặt $h(u_n)$ khi $u_n \to u$ hầu khắp nơi và thỏa mãn $\int_{\Omega_T} h(u_n)u_n dxdt \le a$.
  • Trình bày sơ đồ tổng quát nghiên cứu tập hút toàn cục gồm 4 bước: (1) Chứng minh tồn tại và duy nhất nghiệm toàn cục; (2) Chứng minh tồn tại tập hút toàn cục qua tập hút thụ và tính compact tiệm cận; (3) Khảo sát tính chính quy của tập hút; (4) Ước lượng số chiều fractal hữu hạn.
  • Định nghĩa toán tử Laplace, $p$-Laplace, Laplace phân số $(-\Delta)^s$ và Laplace phân số địa phương $A_\Omega^s$. Thiết lập công thức tích phân từng phần dạng Green cho toán tử phân số địa phương với đạo hàm pháp tuyến phân số $\mathcal{N}^{2-2s} u$ và hằng số $B_{N,s}$: $$\int_\Omega v(x) A_\Omega^s u(x) dx = \frac{C_{N,s}}{2} \int_\Omega \int_\Omega \frac{(u(x)-u(y))(v(x)-v(y))}{|x-y|^{N+2s}} dxdy - B_{N,s} \int_{\partial\Omega} v \mathcal{N}^{2-2s} u d\sigma.$$
  • Thiết lập phổ rời rạc $0 \le \lambda_1^K < \lambda_2^K \le \dots \to +\infty$ của các toán tử thực hiện $A_K$ ($K \in {E, D, N, R}$) theo Định lý 1.5.

Chương 2: GLOBAL ATTRACTORS FOR NONLOCAL PARABOLIC EQUATIONS WITH A NEW CLASS OF NONLINEARITIES (Tập hút toàn cục cho phương trình parabol không địa phương với lớp phi tuyến mới)

Chương này tập trung giải quyết bài toán (P1) trên miền trơn $\Omega \subset \mathbb{R}^N$ với các giả thiết:

  • $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$.
  • Hàm phi tuyến $f \in C(\mathbb{R}, \mathbb{R})$ thỏa mãn điều kiện tiêu tán dưới $f(s)s \ge -\mu s^2 - c_1$ (với $0 < \mu < m\lambda_1$) và $f'(s) \ge -\alpha$ ($\forall s \in \mathbb{R}$), hoàn toàn không có giả thiết chặn trên.

Các kết quả chính của chương:

  1. Sự tồn tại và duy nhất nghiệm yếu (Định lý 2.1): Với mỗi $u_0 \in L^2(\Omega)$ và $T > 0$, tồn tại duy nhất nghiệm yếu $u \in L^2(0, T; H_0^1(\Omega)) \cap C([0, T]; L^2(\Omega))$ với $u_t \in L^2(0, T; H^{-1}(\Omega)) + L^1(\Omega_T)$ và $f(u) \in L^1(\Omega_T)$. Ánh xạ $u_0 \mapsto u(t)$ liên tục trên $L^2(\Omega)$, xác định một nửa nhóm nghiệm liên tục ${S(t)}_{t \ge 0}$.
  2. Sự tồn tại tập hút toàn cục: Chứng minh sự tồn tại của tập hút thụ bị chặn trong $L^2(\Omega)$ thỏa mãn ước lượng tiêu tán: $$|S(t)u_0|{L^2(\Omega)}^2 \le |u_0|{L^2(\Omega)}^2 e^{-\sigma t} + \rho,$$ với $\sigma, \rho > 0$. Sử dụng tính chất nửa nhóm liên tục chuẩn-yếu và phép nhúng compact $H_0^1(\Omega) \hookrightarrow L^2(\Omega)$ để suy ra sự tồn tại của tập hút toàn cục $\mathcal{A}$ compact và liên thông trong $L^2(\Omega)$.
  3. Ước lượng số chiều fractal: Áp dụng định lý Ladyzhenskaya mở rộng thông qua toán tử chiếu trực tiếp lên không gian sinh bởi $n$ hàm riêng đầu tiên của toán tử Laplace, chứng minh số chiều fractal $\dim_f \mathcal{A}$ là hữu hạn.
  4. 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^$. Khi hằng số Lipschitz $L$ của hàm $a$ hoặc kích thước miền $\Omega$ đủ nhỏ, nghiệm dừng là duy nhất và ổn định tiệm cận mũ toàn cục trong chuẩn $L^2(\Omega)$: $$|u(t) - u^|{L^2(\Omega)} \le C e^{-\beta t} |u_0 - u^*|{L^2(\Omega)}, \quad \beta > 0.$$

Chương 3: LONG-TIME BEHAVIOR OF SOLUTIONS TO A NONLOCAL QUASI-LINEAR PARABOLIC EQUATION (Dáng điệu dài hạn của nghiệm phương trình parabol tựa tuyến tính không địa phương)

Chương 3 khảo sát bài toán (P2) chứa toán tử $p$-Laplace không địa phương với $p \ge 2$, $a(|\nabla u|_{L^p}^p)$ thỏa mãn $0 < m \le a(s) \le M$, và phi tuyến $f$ thỏa mãn điều kiện tiêu tán tổng quát.

Các luận điểm và phát hiện chính:

  1. Nghiệm yếu toàn cục: Sử dụng phương pháp Galerkin kết hợp với tính đơn điệu của toán tử $p$-Laplace và Bổ đề compact Aubin-Lions để chứng minh tính giải được và 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))$.
  2. Cấu trúc tập hút trong hệ hai không gian (Bi-spaces global attractors):
    • Thiết lập sự tồn tại của tập hút toàn cục $(L^2(\Omega), L^2(\Omega))$-global attractor.
    • Nâng cao độ chính quy tiệm cận bằng cách chứng minh sự tồn tại của $(L^2(\Omega), L^q(\Omega))$-global attractor với $q \ge 1$ bất kỳ.
    • Chứng minh sự tồn tại của tập hút toàn cục trong không gian năng lượng tự nhiên $(L^2(\Omega), W_0^{1,p}(\Omega) \cap L^q(\Omega))$-global attractor.
  3. Tính ổn định của trạng thái dừng: Thiết lập sự tồn tại của nghiệm dừng cho phương trình $p$-Laplace không địa phương và đưa ra điều kiện tường minh bảo đảm tính ổn định tiệm cận mũ toàn cục.

Chương 4: GLOBAL ATTRACTORS FOR NONLOCAL PARABOLIC EQUATIONS INVOLVING THE FRACTIONAL LAPLACIAN AND THE REGIONAL FRACTIONAL LAPLACIAN WITH A NEW CLASS OF NONLINEARITIES (Tập hút toàn cục cho phương trình parabol không địa phương chứa toán tử Laplace phân số và Laplace phân số địa phương với lớp phi tuyến mới)

Chương 4 mở rộng lý thuyết tập hút cho bài toán (P3) với các toán tử vi phân phân số bậc $s \in (0, 1)$ dưới lớp phi tuyến mới không bị chặn trên:

  1. Xử lý các điều kiện biên phân số: Phân tích đồng thời 4 mô hình tương ứng với các dạng Dirichlet đối với $(-\Delta)^s$, Dirichlet đối với $A_\Omega^s$, Neumann phân số ($\mathcal{N}^{2-2s} u = 0$) và Robin phân số ($B_{N,s}\mathcal{N}^{2-2s} u + \gamma u = 0$) đối với $A_\Omega^s$ ($1/2 < s < 1$).
  2. Tính giải được của bài toán tiến triển: Chứng minh sự tồn tại và duy nhất của nghiệm yếu liên tục nhận giá trị trong $L^2(\Omega)$ và thuộc không gian năng lượng phân số tương ứng ($W_0^{s,2}(\Omega)$ hoặc $W^{s,2}(\Omega)$).
  3. Tập hút toàn cục phân số và số chiều hữu hạn:
    • 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ả 4 lớp bài toán biên.
    • Thiết lập ước lượng chặn trên tường minh cho số chiều fractal $\dim_f \mathcal{A}_K$ dựa trên tốc độ tăng của dãy giá trị riêng $\lambda_n^K \to +\infty$ của các toán tử thực hiện phân số $A_K$.

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

Các đóng góp mới về mặt lý luận giải tích được ghi nhận trong luận án bao gồm:

  1. Phát triển khung giải tích cho lớp phi tuyến mới không bị chặn trên: Khắc phục triệt để đòi hỏi về chặn trên đa thức vốn là hạn chế lớn trong các nghiên cứu trước đây về phương trình không địa phương; chứng minh thành công tính tồn tại, duy nhất nghiệm và tập hút khi hàm phi tuyến chỉ cần thỏa mãn tính tiêu tán dưới và đạo hàm bị chặn dưới ($f'(u) \ge -\alpha$).
  2. Khảo sát hệ số khuếch tán không địa phương toàn phần: Giải quyết trọn vẹn bài toán tập hút toàn cục cho phương trình phản ứng khuếch tán với hệ số khuếch tán phụ thuộc vào trạng thái toàn cục $a(l(u))$ trên toàn miền $\Omega$ thay vì hạn chế trên các hình cầu bị chặn.
  3. Thiết lập tập hút trong hệ hai không gian cho phương trình $p$-Laplace không địa phương: Mở rộng kết quả tiệm cận từ không gian cơ sở $L^2(\Omega)$ lên không gian chính quy cao hơn $L^q(\Omega)$ và $W_0^{1,p}(\Omega) \cap L^q(\Omega)$ mà không làm mất tính tổng quát của điều kiện ban đầu.
  4. Mở rộng lý thuyết tập hút cho toán tử Laplace phân số địa phương với nhiều loại điều kiện biên: Thiết 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 toán tử $A_\Omega^s$ với các điều kiện biên phi cục bộ phức tạp (Neumann phân số và Robin phân số).
  5. Công bố khoa học: Các kết quả chính của 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:
    • Bài báo [CT1] công bố tại Journal of the Korean Mathematical Society (nội dung Chương 2).
    • Bài báo [CT2] công bố tại Communications of the Korean Mathematical Society (nội dung Chương 3).
    • Công trình [CT3] hoàn thành bản thảo gửi đăng (nội dung Chương 4).

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

  • Hạn chế: Luận án giới hạn trong phạm vi các phương trình tự trị (autonomous) với lực ngoài $g(x)$ độc lập với thời gian; hệ số khuếch tán $a(\cdot)$ đòi hỏi điều kiện biên dưới nghiêm ngặt cách xa không ($a(t) \ge m > 0$) để tránh hiện tượng suy biến parabol.
  • Hướng nghiên cứu tiếp được tác giả xác định:
    1. Nghiên cứu hệ phương trình parabol không địa phương với nhiều thành phần tương tác.
    2. Khảo sát các bài toán không tự trị (non-autonomous) với lực kích thích $g(x, t)$ phụ thuộc thời gian và nghiên cứu tập hút kéo theo (pullback attractors).
    3. Nghiên cứu cấu trúc hình học chi tiết hơn của tập hút: tính liên tục của tập hút, tập hút hàm mũ (exponential attractors), đa tích quán tính (inertial manifolds) và các dạng xác định hữu hạn (determining forms, determining nodes/modes).
    4. Mở rộng bài toán khuếch tán không địa phương với số mũ biến thiên hoặc toán tử phân số phi tuyến kiểu $p$-Laplace phân số.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho:

  • 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, Giải tích hàm ứng dụng.
  • Giảng viên và nhà nghiên cứu về phương trình đạo hàm riêng phi tuyến: Phần kỹ thuật sử dụng hàm tăng ngặt $h(u)$ kết hợp với Bổ đề Aubin-Lions để xử lý số hạng không chặn trên (Chương 2) và phương pháp xây dựng dạng Dirichlet cho toán tử Laplace phân số địa phương (Chương 1 và Chương 4) có giá trị phương pháp luận cao để áp dụng cho các mô hình liên quan.

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

1. Điểm cốt lõi của lớp hàm phi tuyến $f(u)$ mới được đưa ra trong luận án là gì?

Lớp hàm phi tuyến $f(u)$ trong luận án chỉ yêu cầu điều kiện tiêu tán dưới ($f(s)s \ge -\mu s^2 - c_1$ với $\mu < m\lambda_1$) và đạo hàm bị chặn dưới ($f'(s) \ge -\alpha$), hoàn toàn không áp đặt điều kiện chặn trên về bậc tăng trưởng. Do đó, lớp phi tuyến này bao hàm cả trường hợp tăng trưởng hàm mũ như $f(u) = e^u$ hoặc $f(u) = c e^s$, khắc phục giới hạn tăng trưởng đa thức của các nghiên cứu trước.

2. Kỹ thuật nào được dùng để chứng minh sự tồn tại nghiệm khi hàm phi tuyến không bị chặn trên?

Tác giả sử dụng kỹ thuật phân rã hàm $h(u) = f(u) - f(0) + \nu u$ ($\nu > \alpha$) thành một hàm liên tục tăng ngặt. Nhờ các ước lượng năng lượng tiên nghiệm và tính chất của hàm tăng ngặt, dãy xấp xỉ Galerkin thỏa mãn $\int_{\Omega_T} h(u_n)u_n dxdt \le C$, từ đó suy ra tính bị chặn của ${f(u_n)}$ trong không gian $L^1(\Omega_T)$ và cho phép chuyển qua giới hạn dưới dấu tích phân nhờ Bổ đề 1.35 và Bổ đề compact Aubin-Lions.

3. Toán tử Laplace phân số $(-\Delta)^s$ và Laplace phân số địa phương $A_\Omega^s$ khác nhau như thế nào về mặt bản chất giải tích và vật lý?

Toán tử $(-\Delta)^s$ xét tích phân trên toàn không gian $\mathbb{R}^N$, mô tả tương tác giữa điểm $x \in \Omega$ với tất cả các điểm $y \in \mathbb{R}^N \setminus {x}$ (về xác suất, hạt bị triệt tiêu ngay khi rời khỏi miền $\Omega$). Ngược lại, toán tử Laplace phân số địa phương $A_\Omega^s$ chỉ lấy tích phân trên miền $\Omega$, mô tả tương tác giữa $x$ và các điểm $y \in \Omega \setminus {x}$ với cường độ tỷ lệ nghịch với $|x-y|^{N+2s}$ (tương ứng với quá trình hạn chế độ đo bên trong $\Omega$).

4. Tập hút hai không gian (bi-spaces attractor) trong Chương 3 giải quyết vấn đề gì?

Tập hút hai không gian $(X, Z)$-global attractor cho phép khắc phục khó khăn khi không gian pha ban đầu $X = L^2(\Omega)$ không đủ độ trơn để thiết lập tính compact trực tiếp trong topo mạnh hơn. Bằng phương pháp này, luận án chứng minh nửa nhóm xuất phát từ tập bị chặn trong $L^2(\Omega)$ sẽ bị hút về một tập compact trong các không gian có độ chính quy cao hơn là $L^q(\Omega)$ và $W_0^{1,p}(\Omega) \cap L^q(\Omega)$.

5. Điều kiện để nghiệm dừng của bài toán (P1) tồn tại duy nhất và ổn định mũ là gì?

Nghiệm dừng $u^*$ tồn tại nhờ định lý điểm bất động. Nghiệm này duy nhất và đạt tính ổn định tiệm cận mũ toàn cục khi hệ số Lipschitz $L$ của hàm khuếch tán $a(\cdot)$ hoặc độ đo của miền $\Omega$ đủ nhỏ, bảo đảm hiệu ứng tiêu tán vượt trội hơn độ dao động phi tuyến không địa phương.

Kết luận

Luận án của NCS. Lê Trần Tịnh đã giải quyết có hệ thống bài toán về dáng điệu tiệm cận dài hạn của nghiệm cho ba lớp phương trình parabol không địa phương chứa toán tử Laplace, $p$-Laplace và toán tử phân số $(-\Delta)^s, A_\Omega^s$. Bằng việc kết hợp phương pháp Faedo-Galerkin, các bổ đề compact hiện đại và kỹ thuật dạng Dirichlet, tác giả đã chứng minh thành công sự tồn tại, tính duy nhất của nghiệm yếu và tập hút toàn cục với số chiều fractal hữu hạn dưới lớp phi tuyến mới không bị chặn trên. Các kết quả đạt được đã mở rộng đáng kể lý thuyết hệ động lực vô hạn chiều cho các phương trình đạo hàm riêng mang tính không địa phương và đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín.