Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Dáng điệu tiệm cận nghiệm của một số phương trình và hệ phương trình parabolic phi tuyến" được thực hiện bởi nghiên cứu sinh Trần Thị Quỳnh Chi dưới sự hướng dẫn khoa học của GS. TS. 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ố 9 46 01 03, năm 2023).

Các phương trình đạo hàm riêng loại parabolic xuất hiện phổ biến trong việc mô tả các quá trình vật lý và sinh học, bao gồm mô hình biến động quần thể, hiện tượng truyền nhiệt và quá trình khuếch tán vật chất. Trong các bài toán này, bên cạnh việc xác định tính đặt đúng (sự tồn tại, tính duy nhất và tính ổn định của nghiệm), việc phân tích dáng điệu tiệm cận của quỹ đạo nghiệm khi thời gian tiến ra vô cùng ($t \to \infty$) giữ vai trò trung tâm nhằm dự đoán xu thế dài hạn của hệ động lực. Trong không gian pha vô hạn chiều, lý thuyết tập hút (attractor) và nghiên cứu nghiệm dừng cung cấp công cụ toán học để thu nhận thông tin về trạng thái ổn định và giới hạn của hệ. Khoảng trống nghiên cứu được chỉ ra trong luận án gồm ba vấn đề chính:

  1. Phần lớn các công trình trước đây về tập hút cho phương trình parabolic suy biến tựa tuyến tính chỉ giới hạn ở số hạng phi tuyến có độ tăng trưởng cấp đa thức, chưa giải quyết được trường hợp số hạng phi tuyến có bậc tăng trưởng tùy ý (chẳng hạn như hàm mũ).
  2. Đối với các phương trình parabolic suy biến tựa tuyến tính không ôtônôm (chứa ngoại lực phụ thuộc thời gian) trên toàn không gian $\mathbb{R}^N$, các kết quả hiện có đòi hỏi hệ số khuếch tán phải thỏa mãn điều kiện tăng nhanh ở vô cùng để bảo toàn tính compact của phép nhúng Sobolev, để lại khoảng trống khi hệ số không bị kiểm soát tại vô cùng.
  3. Việc mở rộng nghiên cứu tập hút toàn cục và nghiệm dừng cho các hệ phương trình phản ứng khuếch tán tương tác với số hạng phi tuyến dạng hàm mũ vẫn còn là vấn đề mở.

Mục tiêu nghiên cứu của luận án được xác định cụ thể gồm:

  1. Thiết lập tính đặt đúng (tồn tại và duy nhất nghiệm yếu toàn cục) và chứng minh sự tồn tại của tập hút toàn cục đối với lớp phương trình parabolic suy biến tựa tuyến tính chứa toán tử $p$-Laplace có trọng với số hạng phi tuyến tăng trưởng tùy ý trên miền bị chặn.
  2. Chứng minh tính giải được và sự tồn tại của tập hút lùi đối với lớp phương trình parabolic suy biến tựa tuyến tính không ôtônôm trên toàn không gian $\mathbb{R}^N$ dưới các điều kiện nới lỏng của hệ số khuếch tán tại vô cùng.
  3. Khảo sát tính đặt đúng, sự tồn tại của tập hút toàn cục (bao gồm cấu trúc tập hút đối với hệ gradient) cũng như sự tồn tại và tính ổn định mũ của nghiệm dừng đối với hệ phương trình phản ứng khuếch tán với số hạng phi tuyến kiểu mũ.

Đối tượng và phạm vi nghiên cứu của luận án:

  • Đối tượng nghiên cứu: Một số phương trình và hệ phương trình đạo hàm riêng parabolic phi tuyến.
  • Phạm vi nghiên cứu: Tập trung vào ba lớp bài toán:
    1. Phương trình parabolic suy biến tựa tuyến tính: $u_t - \text{div}(a(x)|\nabla u|^{p-2}\nabla u) + f(u) = g(x)$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$, $2 \le p \le N$) với điều kiện biên Dirichlet thuần nhất.
    2. Phương trình parabolic suy biến tựa tuyến tính không ôtônôm: $\partial u/\partial t - \text{div}(\sigma(x)|\nabla u|^{p-2}\nabla u) + \lambda|u|^{p-2}u + f(u) = g(x,t)$ trên toàn không gian $\mathbb{R}^N$ ($N \ge 3$, $2 \le p < N$, $\lambda > 0$, $\tau < t$).
    3. Hệ phương trình phản ứng khuếch tán: $\partial u/\partial t - \Delta u + f(u,v) = g_1(x)$ và $\partial v/\partial t - \Delta v + h(u,v) = g_2(x)$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$ với điều kiện biên Dirichlet thuần nhất, trong đó $f, h$ mang tính chất hàm mũ.

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

Tổng quan tài liệu trong luận án điểm lại các mốc nghiên cứu giải tích về tập hút và phương trình parabolic suy biến:

  • Cơ sở lý thuyết tập hút toàn cục cho các phương trình đạo hàm riêng vô hướng được hệ thống hóa qua các chuyên khảo của Babin và Vishik (1992) [12], Cholewa và Dlotko (2000) [17], Temam (1988) [49], cùng Robinson (2001) [56].
  • Việc nghiên cứu hệ phương trình parabolic phức tạp hơn đáng kể do sự tương tác phi tuyến chéo, được tiếp cận trong các công trình của Marion (1989) [37], Chepyzhov và Vishik (2002) [13, 16], Robinson và Rodriguez-Bernal (2006) [38].
  • Về phương trình suy biến và không gian Sobolev có trọng, Caldiroli và Musina (2000) [10] đã nghiên cứu bài toán elliptic chứa toán tử $-\text{div}(\sigma(x)\nabla u)$ trên miền $\Omega \subset \mathbb{R}^N$. Hàm trọng $\sigma(x) \ge 0$ đo được, có thể triệt tiêu tại hữu hạn điểm. Nhóm tác giả thiết lập không gian $D_0^1(\Omega; \sigma)$ cùng các bất đẳng thức Sobolev có trọng và định lý nhúng Sobolev - Rellich dưới điều kiện: $\sigma \in L_{loc}^1(\Omega)$, $\liminf_{x\to z} \frac{\sigma(x)}{|x-z|^\alpha} > 0$ với $\alpha \in (0,2)$ khi $\Omega$ bị chặn; và $\liminf_{|x|\to\infty} \frac{\sigma(x)}{|x|^\beta} > 0$ với $\beta > 2$ khi $\Omega$ không bị chặn.
  • Tiếp nối hướng này, Kế (2014, 2017) [4, 5] đã khảo sát dáng điệu tiệm cận nghiệm của phương trình parabolic tựa tuyến tính chứa toán tử $p$-Laplace có trọng kiểu Caldiroli - Musina dạng $u_t - \text{div}(\sigma|\nabla u|^{p-2}\nabla u) + f(x,u) = g$, xây dựng các không gian Sobolev có trọng tương thích cho trường hợp $p \ne 2$.
  • Tính suy biến được mở rộng cho trường hợp tập điểm suy biến vô hạn trong công trình của H. Li và cộng sự (2018) [27] đối với toán tử $-\text{div}(a(x)\nabla u)$. Giả thiết đặt ra là $a \in L^\infty(\Omega)$, $a(x) = 0$ trên tập đóng $\Sigma$ có độ đo Lebesgue $m(\Sigma) = 0$, $a(x) > 0$ trên $\Omega \setminus \Sigma$, và $\int_\Omega [a(x)]^{-\alpha} dx < \infty$. Số hạng phi tuyến bị giới hạn bởi điều kiện tăng trưởng đa thức $C_1|u|^p - C_0 \le f(u)u \le C_1|u|^p + C_0$ ($p \ge 2$). Chai (2020) [41] sau đó đã khảo sát nghiệm entropy và tập hút trong $L^1(\Omega)$ với điều kiện $\int_\Omega [a(x)]^{-1/\gamma} dx < \infty$ ($\gamma \in (0, p-1)$).
  • Đối với trường hợp không ôtônôm, khái niệm tập hút lùi (pullback attractor) khi thời điểm bắt đầu $\tau \to -\infty$ được phát triển bởi Crauel và Flandoli (1994) [28], Schmalfuss (1992) [46], Caraballo và cộng sự [34, 35]. Đối với phương trình parabolic suy biến tựa tuyến tính trên miền không bị chặn, các công trình của Anh và Kế (2013, 2014) [1, 5] cùng các nghiên cứu nửa tuyến tính [23, 24] đều phụ thuộc chặt chẽ vào điều kiện tiệm cận vô cùng $(H_{\alpha,\beta}^\infty)$, yêu cầu $\sigma(x)$ tăng nhanh hơn $|x|^\beta$ với $\beta > p + \frac{N}{2}(p-2)$ để duy trì tính compact của phép nhúng.
  • Đối với hệ phản ứng khuếch tán, các công trình của Li và cộng sự [25], You (2007) [58] đã khảo sát các hàm phi tuyến đa thức thỏa mãn điều kiện tiêu hao kiểu Sobolev, nhưng các bài toán chứa thành phần hàm mũ $e^u$ chưa được hoàn thiện.

Khoảng trống luận án lựa chọn giải quyết: Luận án xử lý ba bài toán mở cụ thể: loại bỏ rào cản tăng trưởng đa thức trên toán tử $p$-Laplace suy biến bằng cách cho phép $f(u)$ tăng trưởng bậc tùy ý; dỡ bỏ điều kiện hạn chế dáng điệu tại vô cùng của $\sigma(x)$ trên $\mathbb{R}^N$ thông qua giả thiết khả tích địa phương bậc cao $(H^\infty)$; và thiết lập tập hút cùng nghiệm dừng cho hệ phản ứng khuếch tán phi tuyến mũ.

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à phương pháp giải tích hiện đại của lý thuyết phương trình đạo hàm riêng và hệ động lực vô hạn chiều:

  1. Không gian hàm và không gian Sobolev có trọng:
  • Không gian $W_0^{1,p}(\Omega, a)$ được định nghĩa là bao đóng của không gian các hàm khả vi vô hạn có giá compact $C_0^\infty(\Omega)$ theo chuẩn liên kết với hàm trọng $a(x)$, cùng không gian đối ngẫu tương ứng $W^{-1,p'}(\Omega, a)$ với $1/p + 1/p' = 1$.
  • Không gian $W_0^{1,p}(\mathbb{R}^N, \sigma)$ là bao đóng của $C_0^\infty(\mathbb{R}^N)$ theo chuẩn $\left(\int_{\mathbb{R}^N} \sigma(x)|\nabla u|^p dx\right)^{1/p}$.
  • Các toán tử vi phân phi tuyến: $L_{p,a}u := -\text{div}(a(x)|\nabla u|^{p-2}\nabla u)$ và $L_{p,\sigma}u := -\text{div}(\sigma(x)|\nabla u|^{p-2}\nabla u) + \lambda|u|^{p-2}u$.
  1. Khung phân tích hệ động lực và tập hút:
  • Hệ động lực ôtônôm liên tục $(X, S(t))$ trên không gian Banach $X$, khái niệm tập hấp thụ bị chặn $B_0$, tính tiêu hao, tính compact tiệm cận, tập $\omega$-giới hạn và tập hút toàn cục $\mathcal{A} = \omega(B_0)$. Khung cấu trúc tập hút gradient đối với hệ có phiếm diện Lyapunov.
  • Quá trình hai tham số ${U(t,\tau)}_{t \ge \tau}$ cho hệ không ôtônôm, tính liên tục mạnh - yếu (norm-to-weak), họ tập hấp thụ lùi $\widehat{\mathcal{B}} = {B(t): t \in \mathbb{R}}$, tính compact tiệm cận lùi thông qua độ đo không compact Kuratowski $\alpha(B)$ và khái niệm $\omega$-compact giới hạn lùi để xây dựng tập hút lùi duy nhất $\widehat{\mathcal{A}} = {\mathcal{A}(t): t \in \mathbb{R}}$.
  1. Phương pháp nghiên cứu thực tế:
  • Phương pháp xấp xỉ Galerkin kết hợp định lý Peano để giải bài toán hữu hạn chiều.
  • Phương pháp compact Aubin - Lions - Simon (Định lý 1.10) và phương pháp đơn điệu (Lions [32]) để thực hiện quá trình qua giới hạn.
  • Kỹ thuật hàm cắt Nemytskii $B_m(s)$ (theo ý tưởng của [20]) để xử lý số hạng phi tuyến tăng trưởng tùy ý khi hàm nghiệm không thể làm hàm thử trực tiếp trong phép lấy tích phân năng lượng.
  • Phương pháp đánh giá phần đuôi của nghiệm (tail estimates) theo kỹ thuật của Wang (2000) [53] nhằm thiết lập tính compact tiệm cận lùi trên miền không bị chặn $\mathbb{R}^N$ khi thiếu phép nhúng compact Sobolev.
  • Các công cụ giải tích bổ trợ: Bất đẳng thức Cauchy, Young, Hölder, Poincaré, các dạng bất đẳng thức Gronwall vi phân, tích phân và Gronwall đều.

Nguồn tư liệu nghiên cứu là các công trình lý thuyết giải tích hàm và hệ động lực được công bố trong các tạp chí và chuyên khảo toán học quốc tế; luận án không sử dụng dữ liệu thực nghiệm hay khảo sát định lượng xác suất thống kê.

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

Chương Lớp phương trình / Hệ phương trình Miền xác định và toán tử Giả thiết phi tuyến và hệ số Không gian trạng thái và dạng tập hút
Chương 1 Không áp dụng (Kiến thức chuẩn bị) Không gian $\Omega \subset \mathbb{R}^N$ và $\mathbb{R}^N$ Lý thuyết tập hút toàn cục, tập hút lùi, bổ đề compact Không gian Sobolev có trọng $W_0^{1,p}(\Omega, a)$, $W_0^{1,p}(\mathbb{R}^N, \sigma)$
Chương 2 Phương trình parabolic suy biến tựa tuyến tính ôtônôm Miền bị chặn $\Omega \subset \mathbb{R}^N$; toán tử $L_{p,a}u = -\text{div}(a|\nabla u|^{p-2}\nabla u)$ Tăng trưởng tùy ý: $f'(s) \ge -\ell$, $f(s)s \ge -c_1 + \mu|s|^p$; $\int_\Omega a^{-\frac{\alpha}{N}} dx < \infty$ Tập hút toàn cục trong $L^2(\Omega)$ và $W_0^{1,p}(\Omega, a)$
Chương 3 Phương trình parabolic suy biến tựa tuyến tính không ôtônôm Toàn không gian $\mathbb{R}^N$ ($N \ge 3$); toán tử $L_{p,\sigma}u$ Tăng trưởng đa thức cấp $q \ge 2$; hệ số $\sigma(x)$ thỏa điều kiện $(H^\infty)$ Tập hút lùi trong $L^2(\mathbb{R}^N)$, $L^q(\mathbb{R}^N)$ và $W_0^{1,p}(\mathbb{R}^N, \sigma)$
Chương 4 Hệ phương trình phản ứng khuếch tán Miền bị chặn $\Omega \subset \mathbb{R}^N$; toán tử Laplace cấp hai $-\Delta$ Phi tuyến dạng hàm mũ $f(u,v), h(u,v)$ Tập hút toàn cục trong $(L^2(\Omega))^2$; ổn định mũ nghiệm dừng

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

Chương 1 hệ thống hóa các định nghĩa, định lý và bổ đề cơ sở. Tác giả trình bày cấu trúc không gian Sobolev có trọng $W_0^{1,p}(\Omega, a)$ và các tính chất đối ngẫu; định nghĩa toán tử vi phân $L_{p,a}$ và $L_{p,\sigma}$. Về lý thuyết hệ động lực, chương nêu rõ bốn điều kiện của nửa nhóm liên tục ${S(t)}_{t \ge 0}$, các tính chất cực đại, cực tiểu và duy nhất của tập hút toàn cục $\mathcal{A}$, định lý về sự tồn tại tập hút khi hệ có tính tiêu hao và compact tiệm cận. Đối với hệ không ôtônôm, chương trình bày khái niệm quá trình ${U(t,\tau)}$, tính liên tục mạnh - yếu, họ tập hấp thụ lùi $\widehat{\mathcal{B}}$, độ đo không compact Kuratowski $\alpha(B)$, và định lý xác định tập hút lùi $\widehat{\mathcal{A}}$. Cuối chương tổng hợp các bất đẳng thức giải tích (Cauchy, Young, Hölder, Gronwall vi phân, Gronwall tích phân, Gronwall đều, Poincaré) và các kết quả giải tích hàm như bổ đề compact Aubin - Lions - Simon (Định lý 1.10), bổ đề hội tụ yếu của dãy phi tuyến (Bổ đề 1.12), và bổ đề điểm bất động liên tục trên không gian Hilbert (Bổ đề 1.16).

Chương 2: Tập hút toàn cục đối với một lớp phương trình parabolic suy biến tựa tuyến tính với số hạng phi tuyến bậc tùy ý

Chương 2 xét phương trình parabolic suy biến tựa tuyến tính: $$u_t - \text{div}(a(x)|\nabla u|^{p-2}\nabla u) + f(u) = g(x), \quad x \in \Omega, \ t > 0$$ với điều kiện biên $u(x,t) = 0$ trên $\partial\Omega$ và điều kiện ban đầu $u(x,0) = u_0(x) \in L^2(\Omega)$, trong đó $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) là miền bị chặn có biên trơn, $2 \le p \le N$. Các giả thiết gồm:

  • Giả thiết $(H1)$: $a \in L_{loc}^1(\Omega)$, $a(x) = 0$ trên tập đóng $\Sigma$ ($m(\Sigma) = 0$), $a(x) > 0$ trên $\Omega \setminus \Sigma$, và $\int_\Omega [a(x)]^{-\alpha/N} dx < \infty$ với $\alpha \in (0,p)$.
  • Giả thiết $(H2)$: $f \in C^1(\mathbb{R})$, $f'(s) \ge -\ell$ với mọi $s \in \mathbb{R}$, đồng thời $f(s)s \ge -c_1 + \mu|s|^p$ khi $p > 2$ ($c_1, \mu > 0$), hoặc $f(s)s \ge -c_1 + \mu|s|^2$ khi $p=2$ với $0 < \mu < c_0$ (trong đó $c_0$ là hằng số nhúng).
  • Giả thiết $(H3)$: Ngoại lực $g \in L^2(\Omega)$.

Chương thiết lập Mệnh đề 2.1 về các phép nhúng Sobolev có trọng:

  • Phép nhúng $W_0^{1,p}(\Omega, a) \hookrightarrow W_0^{1,\beta}(\Omega)$ liên tục nếu $1 \le \beta \le \frac{pN}{N+\alpha}$.
  • Phép nhúng $W_0^{1,p}(\Omega, a) \hookrightarrow L^r(\Omega)$ liên tục nếu $1 \le r \le p_\alpha^* = \frac{pN}{N-p+\alpha}$, và compact nếu $1 \le r < p_\alpha^*$.
  • Mệnh đề 2.2 chứng minh phép nhúng miền xác định của toán tử $D(L_{p,a}) \hookrightarrow W_0^{1,p}(\Omega, a)$ là compact.

Về tính giải được, Định lý 2.1 khẳng định sự tồn tại và duy nhất của nghiệm yếu toàn cục phụ thuộc liên tục vào điều kiện ban đầu trong $L^2(\Omega)$. Do $f$ không bị chặn trên, kỹ thuật hàm cắt $B_m(s)$ cùng ánh xạ Nemytskii liên kết $\mathcal{B}m(w)(x) = B_m(w(x))$ được đưa vào làm hàm thử, kết hợp bổ đề Aubin - Lions - Simon để qua giới hạn suy ra $\zeta = L{p,a}u$.

Về dáng điệu tiệm cận:

  • Bổ đề 2.2 và 2.3 chứng minh nửa nhóm ${S(t)}{t \ge 0}$ sinh bởi bài toán có tập hấp thụ bị chặn trong $L^2(\Omega)$ và trong $W_0^{1,p}(\Omega, a)$. Từ tính compact của phép nhúng $W_0^{1,p}(\Omega, a) \hookrightarrow L^2(\Omega)$, Định lý 2.2 chứng minh sự tồn tại của tập hút toàn cục $\mathcal{A}{L^2}$ trong $L^2(\Omega)$.
  • Bổ đề 2.4 và 2.5 tiếp tục ước lượng đạo hàm thời gian $u_t$ và $|L_{p,a}u|{L^2(\Omega)}$, chỉ ra sự tồn tại tập hấp thụ trong $D(L{p,a})$. Từ phép nhúng compact $D(L_{p,a}) \hookrightarrow W_0^{1,p}(\Omega, a)$, Định lý 2.3 xác lập sự tồn tại của tập hút toàn cục $\mathcal{A}_{W_0^{1,p}}$ trong không gian $W_0^{1,p}(\Omega, a)$.

Chương 3: Tập hút lùi đối với lớp phương trình parabolic suy biến tựa tuyến tính không ôtônôm

Chương 3 nghiên cứu phương trình parabolic suy biến tựa tuyến tính không ôtônôm trên toàn không gian $\mathbb{R}^N$ ($N \ge 3$): $$\frac{\partial u}{\partial t} - \text{div}(\sigma(x)|\nabla u|^{p-2}\nabla u) + \lambda|u|^{p-2}u + f(u) = g(x,t), \quad x \in \mathbb{R}^N, \ \tau < t$$ với $2 \le p < N$, $\lambda > 0$, $u(x,\tau) = u_\tau(x) \in L^2(\mathbb{R}^N)$. Hệ số khuếch tán $\sigma(x)$ thỏa mãn điều kiện mới $(H^\infty)$: $\sigma$ đo được không âm, $\sigma \in L_{loc}^1(\mathbb{R}^N)$, $\liminf_{x\to z} \frac{\sigma(x)}{|x-z|^\alpha} > 0$ với $\alpha \in (0,p)$, và thỏa mãn một trong hai điều kiện khả tích địa phương bậc cao:

  • (i) $\sup_{m \ge M_0} \text{ess sup}_{m \le |x| \le 2m} \sigma(x) < \infty$, hoặc
  • (ii) $\sup_{m \ge M_0} \int_{m \le |x| \le 2m} |\sigma(x)|^{\frac{2p-2}{p-2}} dx < \infty$.

Điều kiện phi tuyến $(F)$ yêu cầu $f \in C^1(\mathbb{R})$ thỏa mãn: $$\alpha_1|u|^q - \beta_1|u|^p + \gamma_1|u|^2 \le f(u)u \le \alpha_2|u|^q + \beta_2|u|^p + \gamma_2|u|^2$$ với $q \ge 2$, $\beta_1 < \lambda$, các hệ số không âm; thế vị $F(u) = \int_0^u f(s)ds$ thỏa mãn chặn dưới và chặn trên tương ứng. Ngoại lực $g(x,t)$ thỏa mãn điều kiện tích phân khả tích lùi theo trọng số $(G)$.

Định lý 3.1 chứng minh bài toán có nghiệm yếu duy nhất trong không gian $W_0^{1,p}(\mathbb{R}^N, \sigma) \cap L^q(\mathbb{R}^N) \cap L^2(\mathbb{R}^N)$, xác định quá trình hai tham số ${U(t,\tau)}$. Các bổ đề tiếp theo thiết lập:

  • Bổ đề 3.1: Quá trình ${U(t,\tau)}$ có họ tập hấp thụ lùi bị chặn trong $W_0^{1,p}(\mathbb{R}^N, \sigma) \cap L^q(\mathbb{R}^N) \cap L^2(\mathbb{R}^N)$.
  • Bổ đề 3.2 và 3.3: Ước lượng đều đối với đạo hàm thời gian $u_t$ trong $L^2(\mathbb{R}^N)$ và nghiệm $u$ trong $L^{2p-2}(\mathbb{R}^N)$.

Để giải quyết khó khăn do miền $\mathbb{R}^N$ không bị chặn làm mất tính compact của phép nhúng Sobolev, Bổ đề 3.4 sử dụng phương pháp hàm cắt trơn để ước lượng phần đuôi của nghiệm tại vô cùng: $$\int_{|x| \ge m} |u(x,t)|^2 dx \le \eta \quad \text{khi } m \ge M(\eta, B, t) \text{ và } \tau \le \tau_0(\eta, B, t)$$ Từ ước lượng phần đuôi và tính liên tục mạnh - yếu, tác giả chứng minh quá trình ${U(t,\tau)}$ là compact tiệm cận lùi, dẫn đến sự tồn tại của họ tập hút lùi duy nhất $\widehat{\mathcal{A}} = {\mathcal{A}(t): t \in \mathbb{R}}$ trong $L^2(\mathbb{R}^N)$. Sau đó, tính compact tiệm cận tiếp tục được nâng cao để thu được sự tồn tại của tập hút lùi trong $L^q(\mathbb{R}^N)$ và $W_0^{1,p}(\mathbb{R}^N, \sigma)$.

Chương 4: Sự tồn tại và dáng điệu tiệm cận nghiệm đối với một lớp hệ phương trình phản ứng khuếch tán với số hạng phi tuyến kiểu mũ

Chương 4 mở rộng phạm vi nghiên cứu sang hệ hai phương trình phản ứng khuếch tán liên kết: $$\begin{cases} \partial_t u - \Delta u + f(u,v) = g_1(x), & x \in \Omega, \ t > 0 \ \partial_t v - \Delta v + h(u,v) = g_2(x), & x \in \Omega, \ t > 0 \ u(x,t) = 0, \ v(x,t) = 0, & x \in \partial\Omega, \ t > 0 \ u(x,0) = u_0(x), \ v(x,0) = v_0(x), & x \in \Omega \end{cases}$$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$ với biên trơn, ngoại lực $g_1, g_2 \in L^2(\Omega)$, và các hàm phi tuyến $f(u,v), h(u,v)$ thỏa mãn tính chất tăng trưởng kiểu hàm mũ.

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

  • Chứng minh tính đặt đúng toàn cục của hệ trong không gian tích $(L^2(\Omega))^2$ thông qua phương pháp nửa nhóm giải tích kết hợp đánh giá tiên nghiệm.
  • Chứng minh sự tồn tại của tập hấp thụ bị chặn và tính compact tiệm cận của nửa nhóm nghiệm, từ đó suy ra sự tồn tại của tập hút toàn cục trong $(L^2(\Omega))^2$.
  • Đối với trường hợp hệ gradient (tồn tại hàm thế vị phi tuyến $F(u,v)$ sao cho $f = \partial_u F$ và $h = \partial_v F$), chương xác định phiếm hàm năng lượng Lyapunov, chứng minh tập $\omega$-giới hạn của mỗi quỹ đạo đều nằm trong tập các điểm dừng, và tập hút toàn cục được biểu diễn chính xác qua hợp của các đa tạp không ổn định xuất phát từ tập nghiệm dừng.
  • Thiết lập các điều kiện đủ cho sự tồn tại nghiệm dừng $(\bar{u}, \bar{v})$ của hệ và chứng minh nghiệm dừng có tính ổn định mũ theo thời gian $t$. Các ví dụ giải tích cụ thể với các hàm số mũ được trình bày để minh họa tính phù hợp của các định lý.

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

Luận án tự nêu các đóng góp mới về mặt lý luận giải tích toán học:

  1. Đóng góp đối với phương trình tựa tuyến tính suy biến: Thiết lập khuôn khổ giải tích cho phương trình chứa toán tử $p$-Laplace có trọng suy biến với phần phi tuyến tăng trưởng tùy ý (chẳng hạn hàm mũ $e^u - u$). Luận án loại bỏ giả thiết chặn trên đa thức vốn là hạn chế bắt buộc trong các công trình công bố trước đây (như nghiên cứu của Li và cộng sự [27]).
  2. Đóng góp đối với bài toán không ôtônôm trên miền không bị chặn: Đề xuất điều kiện $(H^\infty)$ cho hệ số khuếch tán $\sigma(x)$ dựa trên tính khả tích địa phương bậc cao. Điều kiện này dỡ bỏ đòi hỏi truyền thống $(H_{\alpha,\beta}^\infty)$ yêu cầu hệ số phải tăng nhanh ra vô cùng, đồng thời chứng minh thành công sự tồn tại của tập hút lùi trong $L^2(\mathbb{R}^N)$, $L^q(\mathbb{R}^N)$, và $W_0^{1,p}(\mathbb{R}^N, \sigma)$ thông qua phương pháp ước lượng phần đuôi.
  3. Đóng góp đối với hệ phản ứng khuếch tán: Mở rộng lý thuyết tập hút toàn cục, cấu trúc tập hút gradient, và tính ổn định mũ của nghiệm dừng cho lớp hệ phản ứng khuếch tán phi tuyến mũ, vượt qua giới hạn của các lớp phi tuyến Sobolev đa thức trước đó.

Về mặt ứng dụng và kiến nghị:

  • Cung cấp mô hình toán học giải tích chặt chẽ để mô tả các hiện tượng khuếch tán trong môi trường không đồng chất, môi trường chứa chất cách ly hoặc dẫn lý tưởng, và các mô hình sinh học phản ứng khuếch tán có tốc độ tăng trưởng mũ.
  • Đề xuất áp dụng các kỹ thuật ước lượng tiên nghiệm và hàm cắt trong luận án để tiếp tục giải quyết các bài toán biên phi tuyến liên quan.

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

Văn bản luận án nêu rõ các hạn chế và định hướng nghiên cứu tiếp theo:

  • Đối với lớp phương trình parabolic suy biến tựa tuyến tính với phần phi tuyến tăng trưởng tùy ý ở Chương 2, kết quả mới chỉ đạt được trên miền bị chặn $\Omega$. Trường hợp miền không bị chặn $\mathbb{R}^N$ vẫn là bài toán mở do sự thiếu vắng tính compact của phép nhúng Sobolev khi kết hợp với số hạng phi tuyến tăng trưởng không kiểm soát.
  • Hướng nghiên cứu tiếp theo được tác giả và nhóm nghiên cứu xác định là tập trung phát triển các kỹ thuật giải tích mới nhằm mở rộng kết quả của Chương 2 cho toàn miền không gian $\mathbb{R}^N$, đồng thời xem xét các hệ phương trình parabolic suy biến tựa tuyến tính chứa các toán tử khuếch tán phi tuyến phức tạp hơn.

Giá trị tham khảo

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

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành Phương trình vi phân và tích phân, Giải tích hàm, và Hệ động lực vô hạn chiều.
  • Các nhà nghiên cứu quan tâm đến kỹ thuật giải quyết bài toán suy biến, phương pháp xây dựng không gian Sobolev có trọng, kỹ thuật hàm cắt Nemytskii cho số hạng phi tuyến không bị chặn, và phương pháp ước lượng phần đuôi xử lý bài toán trên miền không bị chặn.
  • Nội dung Chương 1 và Chương 2 có giá trị tham khảo tốt cho các chuyên đề sau đại học về phương trình đạo hàm riêng tựa tuyến tính và lý thuyết định tính phương trình vi phân.

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

1. Điều kiện hàm trọng $a(x)$ suy biến trong Chương 2 được giả thiết như thế nào và có ví dụ nào điển hình?
Hàm $a(x)$ thỏa mãn điều kiện $(H1)$: $a \in L_{loc}^1(\Omega)$, triệt tiêu trên tập đóng $\Sigma \subset \Omega$ có độ đo Lebesgue $m(\Sigma) = 0$, $a(x) > 0$ trên $\Omega \setminus \Sigma$, và thỏa mãn điều kiện khả tích âm $\int_\Omega [a(x)]^{-\alpha/N} dx < \infty$ với $\alpha \in (0,p)$. Ví dụ điển hình được văn bản nêu là hàm khoảng cách tới biên $a(x) = \text{dist}(x, \partial\Omega)$.

2. Tại sao khái niệm tập hút toàn cục cổ điển không áp dụng được cho bài toán ở Chương 3 và khái niệm nào được sử dụng thay thế?
Trong bài toán ở Chương 3, ngoại lực $g(x,t)$ phụ thuộc vào thời gian $t$ (hệ không ôtônôm). Do đó, nghiệm phụ thuộc vào cả thời điểm bắt đầu $\tau$ và thời điểm kết thúc $t$, quỹ đạo nghiệm không còn tính chất bất biến dương đối với phép tịnh tiến thời gian. Khái niệm tập hút toàn cục cổ điển không còn phù hợp, vì vậy tác giả sử dụng khái niệm quá trình hai tham số ${U(t,\tau)}$ và tập hút lùi (pullback attractor) $\widehat{\mathcal{A}} = {\mathcal{A}(t): t \in \mathbb{R}}$ khi $\tau \to -\infty$.

3. Sự khác biệt cốt lõi giữa điều kiện $(H^\infty)$ của hệ số khuếch tán trong Chương 3 so với điều kiện $(H_{\alpha,\beta}^\infty)$ trong các nghiên cứu trước đó là gì?
Điều kiện cũ $(H_{\alpha,\beta}^\infty)$ buộc hệ số khuếch tán $\sigma(x)$ phải tăng nhanh hơn $|x|^\beta$ với $\beta > p + \frac{N}{2}(p-2)$ khi $|x| \to \infty$ để đảm bảo phép nhúng $D_0^{1,p}(\mathbb{R}^N, \sigma) \hookrightarrow L^2(\mathbb{R}^N)$ là compact. Điều kiện mới $(H^\infty)$ thay thế sự hạn chế tại vô cùng này bằng điều kiện chặn trên sup cốt yếu hoặc điều kiện khả tích địa phương bậc cao $\int_{m \le |x| \le 2m} |\sigma(x)|^{\frac{2p-2}{p-2}} dx < \infty$ trên các hình vành khăn, cho phép xét cả các hàm không tăng ở vô cùng như $\sigma(x) \equiv 1$ hoặc $\sigma(x) = e^{-|x|}(|x|^\alpha + |x|^\gamma)$.

4. Kỹ thuật giải tích nào được tác giả sử dụng để xử lý việc thiếu phép nhúng compact khi xét bài toán trên toàn miền $\mathbb{R}^N$ ở Chương 3?
Tác giả sử dụng phương pháp đánh giá phần đuôi của nghiệm (tail estimates) theo kỹ thuật của Wang [53], thiết lập ước lượng tích phân của nghiệm ngoài hình cầu lớn $\int_{|x| \ge m} |u(x,t)|^2 dx \le \eta$ khi $m$ đủ lớn và thời điểm bắt đầu $\tau$ lùi xa về $-\infty$. Kết hợp với tính liên tục mạnh - yếu, phương pháp này chứng minh tính compact tiệm cận lùi của quá trình mà không cần phép nhúng Sobolev compact toàn cục.

5. Cấu trúc của tập hút toàn cục trong Chương 4 đối với trường hợp hệ gradient được xác định ra sao?
Đối với hệ gradient, sự tồn tại của phiếm hàm Lyapunov đảm bảo rằng mọi quỹ đạo nghiệm đều hội tụ về tập các nghiệm dừng của hệ. Tập hút toàn cục khi đó được xác định chính xác là hợp của tất cả các nghiệm dừng cùng với các đa tạp không ổn định (unstable manifolds) xuất phát từ các nghiệm dừng đó.

Kết luận

Luận án của nghiên cứu sinh Trần Thị Quỳnh Chi đã giải quyết có hệ thống ba bài toán về tính đặt đúng và dáng điệu tiệm cận nghiệm của các phương trình và hệ phương trình parabolic phi tuyến. Tác giả đã chứng minh thành công sự tồn tại của tập hút toàn cục cho phương trình $p$-Laplace suy biến với số hạng phi tuyến bậc tùy ý, xây dựng tập hút lùi cho phương trình không ôtônôm trên $\mathbb{R}^N$ dưới điều kiện hệ số khuếch tán mới, và xác lập cấu trúc tập hút cùng tính ổn định mũ nghiệm dừng cho hệ phản ứng khuếch tán phi tuyến mũ. Các kết quả này đóng góp những bước tiến lý thuyết giải tích quan trọng cho chuyên ngành Phương trình vi phân và tích phân.