Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Tính chất định tính nghiệm của một số lớp phương trình elliptic và parabolic phân thứ" được thực hiện bởi nghiên cứu sinh Nguyễn Thị Quỳnh dưới sự hướng dẫn khoa học của PGS. TS Nguyễn Như Thắng tại Trường Đại học Sư phạm Hà Nội (năm 2024), thuộc chuyên ngành Phương trình vi phân và tích phân (Mã số: 9 46 01 03).

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

Trong những năm gần đây, các phương trình đạo hàm riêng loại elliptic và parabolic không địa phương chứa toán tử Laplace phân thứ $(-\Delta)^s$ hoặc $p$-Laplace phân thứ thu hút sự quan tâm lớn nhờ các ứng dụng thực tế trong vật lý, sinh học, tài chính và lý thuyết xác suất (toán tử sinh của quá trình khuếch tán Lévy). Tính không địa phương của phương trình xuất phát từ số hạng vi phân không gian hoặc đạo hàm phân thứ theo thời gian.

Đối với các phương trình đạo hàm riêng chứa toán tử Laplace cổ điển $\Delta$, các kết quả về sự tồn tại duy nhất, tính chính quy, tính ổn định và định lý kiểu Liouville cho nghiệm và nghiệm trên đã được thiết lập tương đối đầy đủ. Tuy nhiên, đối với toán tử Laplace phân thứ $(-\Delta)^s$ ($0 < s < 1$), việc phân tích gặp nhiều trở ngại kỹ thuật do bản chất tích phân toàn cục. Nhiều bài toán cơ bản đối với phương trình Lichnerowicz phân thứ, phương trình và hệ phương trình Lane-Emden phân thứ khi số mũ không dương hoặc dưới tuyến tính, cũng như các phương trình chứa số hạng đối lưu (gradient) vẫn chưa có lời giải hoàn chỉnh.

Mục tiêu và câu hỏi nghiên cứu

Mục tiêu tổng quát của luận án là khảo sát các tính chất định tính của nghiệm dương và nghiệm trên dương cho ba lớp phương trình và hệ phương trình vi phân đạo hàm riêng phi tuyến chứa toán tử Laplace phân thứ. Luận án giải quyết ba nội dung mục tiêu cụ thể sau:

  1. Nội dung 1 (Phương trình Lichnerowicz phân thứ): Thiết lập cận dưới đều và phân loại nghiệm dương của phương trình parabolic $v_t + (-\Delta)^s v = v^{-p-2} - v^p$ trên $\mathbb{R}^N \times \mathbb{R}$ và phương trình elliptic $(-\Delta)^s u = u^{-p-2} - u^p$ trên $\mathbb{R}^N$ với $p > 0, 0 < s < 1$.
  2. Nội dung 2 (Phương trình và hệ phương trình Lane-Emden phân thứ): Nghiên cứu sự không tồn tại nghiệm trên dương của phương trình $(-\Delta)^s u = u^p$ và hệ phương trình $(-\Delta)^s u = v^p, (-\Delta)^s v = u^q$ trên $\mathbb{R}^N$ với $p, q \in \mathbb{R}, 0 < s < 1, N > 2s$.
  3. Nội dung 3 (Phương trình và hệ phương trình chứa số hạng gradient): Xác lập các điều kiện triệt tiêu nghiệm trên dương cho phương trình $(-\Delta)^s u + b \cdot \nabla u = u^p$ và hệ phương trình $(-\Delta)^s u + b \cdot \nabla u = v^p, (-\Delta)^s v + b \cdot \nabla v = u^q$ trên $\mathbb{R}^N$ với trường vectơ $b(x)$ thỏa mãn điều kiện tăng trưởng ở vô cù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 và hệ phương trình elliptic, parabolic phi tuyến chứa toán tử Laplace phân thứ $(-\Delta)^s$.
  • Phạm vi không gian và thời gian: Toàn không gian Euclid $\mathbb{R}^N$ với số chiều $N > 2s$ (đối với phương trình elliptic) và không gian - thời gian $\mathbb{R}^N \times \mathbb{R}$ (đối với phương trình parabolic); tham số phân thứ $s \in (0, 1)$; các tham số số mũ phi tuyến $p, q$ nhận giá trị thực trên toàn trục số $\mathbb{R}$.

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

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

Toán tử Laplace phân thứ và phương trình elliptic, parabolic liên quan đã được xây dựng nền tảng lý thuyết trong các công trình của Di Nezza, Palatucci, Valdinoci (2012), Silvestre (2007), và Caffarelli - Silvestre (2007).

Về phương trình Lichnerowicz (xuất phát từ lý thuyết trường vô hướng Einstein trong việc giải thích gia tốc giãn nở của vũ trụ, nghiên cứu bởi Choquet-Bruhat 2000, Hebey 2014):

  • Đối với toán tử Laplace địa phương ($s = 1$), Ngo và Nguyen (2017, 2020) chứng minh phương trình $-\Delta u = u^{-p-2} - u^p$ chỉ có nghiệm dương tầm thường $u = 1$ khi $p > 1$. Brezis (2018) chứng minh lại kết quả này bằng nguyên lý cực trị và lý thuyết Keller-Osserman, đồng thời chỉ ra phương trình có nghiệm dương không tầm thường khi $0 < p \le 1$.
  • Các phương trình parabolic Lichnerowicz cổ điển cũng được khảo sát trong các công trình mở rộng.

Về bài toán Lane-Emden:

  • Trường hợp cổ điển $s = 1$: Định lý Gidas - Spruck (1981) phân loại nghiệm dương của phương trình $-\Delta u = u^p$. Armstrong và Sirakov (2011) hoàn thành định lý kiểu Liouville tối ưu cho nghiệm trên dương của phương trình và hệ Lane-Emden cổ điển.
  • Trường hợp phân thứ $0 < s < 1$: Chen, Li, Ou (2006) và Li (2004) xác định số mũ tới hạn Sobolev $p_c(s) = \frac{N+2s}{N-2s}$. Felmer, Quaas, Tan (2012) chứng minh phương trình phân thứ không có nghiệm trên dương khi $1 < p \le \frac{N}{N-2s}$ và có nghiệm trên khi $p > \frac{N}{N-2s}$. Đối với hệ Lane-Emden phân thứ, Quaas và Xia (2014) khảo sát trường hợp $p, q > 0, pq > 1$; Biswas (2019) sử dụng phương pháp xác suất chứng minh cho trường hợp $p, q > 0, pq \le 1$; Wang và Zhu (2011) chứng minh tính đối xứng của nghiệm với điều kiện ràng buộc $r, t > 1$.

Về phương trình chứa số hạng gradient $b \cdot \nabla$:

  • Trường hợp cổ điển $s = 1$ được nghiên cứu bởi Alarcón, García-Melián, Quaas (2013), Filippucci, Sun, Zheng (2020), Sun, Zhang (2018).
  • Trường hợp phân thứ $0 < s < 1$: Các nghiên cứu của Chen, Zhang (2016), Bogdan et al. (2015) thiết lập ước lượng nhân nhiệt; Barrios et al. (2015) khảo sát nghiệm bị chặn của $(-\Delta)^s u + |\nabla u|^q = \lambda f(u)$.

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

  1. Chưa có kết quả về cận dưới đều và tính tầm thường của nghiệm phương trình Lichnerowicz phân thứ (cả dạng parabolic và elliptic).
  2. Chưa có lời giải cho câu hỏi về sự tồn tại nghiệm trên dương của phương trình Lane-Emden phân thứ khi $p \le 1$.
  3. Chưa có kết quả phân loại nghiệm trên dương cho hệ Lane-Emden phân thứ khi tồn tại số mũ không dương ($p \le 0$ hoặc $q \le 0$).
  4. Thiếu vắng các định lý triệt tiêu nghiệm trên dương cho phương trình và hệ elliptic phân thứ có chứa số hạng đối lưu gradient $b \cdot \nabla$.

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

Lý thuyết và khung phân tích

  • Định nghĩa toán tử Laplace phân thứ: Toán tử $(-\Delta)^s$ với $0 < s < 1$ xác định trên không gian Schwartz $\mathcal{S}(\mathbb{R}^N)$ dưới dạng tích phân giá trị chính Cauchy: $$(-\Delta)^s u(x) = c_{N,s} , \text{P.V.} \int_{\mathbb{R}^N} \frac{u(x) - u(\xi)}{|x - \xi|^{N+2s}} d\xi = c_{N,s} \lim_{\epsilon \to 0} \int_{\mathbb{R}^N \setminus B_\epsilon(x)} \frac{u(x) - u(\xi)}{|x - \xi|^{N+2s}} d\xi$$ với hằng số chuẩn hóa: $$c_{N,s} = \frac{4^s \Gamma(N/2 + s)}{|\Gamma(-s)|\pi^{N/2}} = \frac{s(1-s)4^s \Gamma(N/2 + s)}{|\Gamma(2-s)|\pi^{N/2}}$$ Toán tử cũng được định nghĩa thông qua biến đổi Fourier $\mathcal{F}((-\Delta)^s u)(\xi) = |\xi|^{2s}\mathcal{F}u(\xi)$ và mở rộng theo nghĩa phân phối trên không gian tích phân có trọng số: $$L_s(\mathbb{R}^N) = \left{ u \in L^1_{loc}(\mathbb{R}^N) : \int_{\mathbb{R}^N} \frac{|u(x)|}{(1 + |x|)^{N+2s}} dx < \infty \right}$$
  • Mở rộng Caffarelli - Silvestre: Kỹ thuật chuyển đổi bài toán không địa phương trên $\mathbb{R}^N$ về bài toán biên địa phương trên nửa không gian $\mathbb{R}^{N+1}+ = \mathbb{R}^N \times (0, \infty)$ đối với hàm $U(x, y) = \int{\mathbb{R}^N} P_s(x-z, y)u(z)dz$ (với nhân Poisson $P_s(x, y) = p(N, s)\frac{y^{2s}}{(|x|^2 + y^2)^{(N+2s)/2}}$) thỏa mãn: $$-\text{div}(y^{1-2s} \nabla U) = 0 \quad \text{trong } \mathbb{R}^{N+1}+, \quad U(\cdot, 0) = u, \quad -\lim{y \to 0^+} y^{1-2s} \partial_y U = \kappa_s (-\Delta)^s u$$ với $\kappa_s = 2^{2s-1}\frac{\Gamma(s)}{\Gamma(1-s)}$.
  • Bất đẳng thức Kato phân thứ: Chứng minh bổ đề $(-\Delta)^s |u| \le \text{sign}(u)(-\Delta)^s u$ và $(-\Delta)^s u^+ \le \text{sign}(u^+)(-\Delta)^s u$ theo nghĩa phân phối.
  • Bất đẳng thức giải tích: Bất đẳng thức Young, bất đẳng thức Hölder, và ước lượng nhân nhiệt.

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

  • Phương pháp hàm thử (Test function method): Xây dựng các hàm thử cắt mượt $\varphi_R(x) = \phi(x/R)$ kết hợp hàm trọng số $\eta(x) = (1 + |x|^2)^{-\frac{N+2s}{2}}$ và hàm thời gian $\theta^m(t)$ để ước lượng tích phân phi tuyến và cho bán kính $R \to \infty$.
  • Xây dựng hàm phụ và nguyên lý cực trị: Thiết lập các hàm bổ trợ chứa tham số nhiễu $\varepsilon > 0$ (như $w(x, t) = v(x, t) + \varepsilon \varphi(x-x_0) + \varepsilon \varphi(t-t_0)$ hoặc $w(x) = u(x) + \epsilon(1+|x-a|^2)^{s/2}$) để điểm cực tiểu đạt được tại miền hữu hạn, từ đó áp dụng tính chất của toán tử tại điểm cực trị để suy ra mâu thuẫn.
  • Phương pháp đổi biến chuyển hệ về phương trình đơn: Sử dụng phép biến đổi tổng $w = u + v$ hoặc dạng tích lũy thừa $w = u^\alpha v^\beta$ ($\alpha, \beta > 0, \alpha + \beta = 1$) kết hợp bất đẳng thức Young để quy hệ bất đẳng thức Lane-Emden về một bất đẳng thức vô hướng đơn lẻ.
  • Đánh giá tích phân mở rộng: Ước lượng tích phân dòng và tích phân mặt trên các nửa hình cầu $B_r^+$ thông qua hàm mở rộng Caffarelli - Silvestre.

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

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

Chương 1 hệ thống hóa các công cụ giải tích phục vụ cho các chứng minh ở các chương sau:

  • Trình bày bất đẳng thức Young và bất đẳng thức Hölder.
  • Trình bày định nghĩa, các công thức biểu diễn tương đương và không gian hàm tự nhiên $L_s(\mathbb{R}^N)$, $C^{2\sigma}(\mathbb{R}^N)$ ($\sigma > s$) của toán tử Laplace phân thứ $(-\Delta)^s$.
  • Trình bày chi tiết chứng minh bất đẳng thức Kato cho toán tử Laplace phân thứ trên phân phối.
  • Trình bày lý thuyết mở rộng địa phương Caffarelli - Silvestre trên nửa không gian $\mathbb{R}^{N+1}_+$.
  • Trình bày cấu trúc nghiệm trên dương tường minh của hệ Lane-Emden phân thứ khi $p, q > 0, pq > 1$ và $\max\left{ \frac{2s(p+1)}{pq-1}, \frac{2s(q+1)}{pq-1} \right} < N - 2s$, với nghiệm có dạng: $$u(x) = \frac{A}{(1 + |x|)^{2sk_1}} \quad \text{hoặc} \quad \frac{A}{(1 + |x|^2)^{sk_1}}, \quad v(x) = \frac{B}{(1 + |x|)^{2sk_2}} \quad \text{hoặc} \quad \frac{B}{(1 + |x|^2)^{sk_2}}$$ trong đó $k_1 = \frac{p+1}{pq-1}$, $k_2 = \frac{q+1}{pq-1}$, và $A, B > 0$ là các hằng số thích hợp.

Chương 2: Tính chất nghiệm của phương trình Lichnerowicz phân thứ

Chương này tập trung giải quyết bài toán Lichnerowicz phân thứ kiểu parabolic (2.1) và elliptic (2.2): $$v_t + (-\Delta)^s v = v^{-p-2} - v^p \quad \text{trong } \mathbb{R}^N \times \mathbb{R}$$ $$(-\Delta)^s u = u^{-p-2} - u^p \quad \text{trong } \mathbb{R}^N$$

  • Cận dưới đều (Bổ đề 2.1): Luận án chứng minh rằng nếu $f$ là hàm liên tục, giảm ngặt trên $(0, \infty)$ và $f(a) = 0$, thì mọi nghiệm $v \in C^{2\sigma, 1}(\mathbb{R}^N \times \mathbb{R}) \cap L^1_{loc}L_s(\mathbb{R}^N \times \mathbb{R})$ của $v_t + (-\Delta)^s v \ge f(v)$ đều thỏa mãn $v \ge a$. Với $f(v) = v^{-p-2} - v^p$, nghiệm duy nhất của $f(a) = 0$ là $a = 1$, suy ra mọi nghiệm dương đều thỏa mãn $v(x, t) \ge 1$ và $u(x) \ge 1$ với mọi $p > 0$.
  • Kết quả kiểu Keller-Osserman cho parabolic phân thứ (Bổ đề 2.2): Luận án chứng minh mọi nghiệm không âm của bất đẳng thức $v_t + (-\Delta)^s v \le -c v^p$ trên $\mathbb{R}^N \times \mathbb{R}$ với $p > 1, c > 0$ đều phải đồng nhất bằng 0 ($v \equiv 0$). Chứng minh được chia làm hai trường hợp:
    1. Khi $1 < p \le \frac{N+2s}{N}$: Sử dụng hàm thử $\varphi_R(x)\eta(x)\theta^m(t)$, phép co giãn tỷ lệ $v_R(x, t) = R^{\frac{2s}{p-1}} v(Rx, R^{2s}t)$ và đánh giá tích phân: $$\int_{{|x| \le R, |t| \le R^{2s}}} v^p(x, t)\eta(x/R)\theta^m(t/R^{2s}) dx dt \le C R^{N+2s - \frac{2sp}{p-1}}$$ Cho $R \to \infty$, số mũ vế phải âm nên suy ra $v \equiv 0$.
    2. Khi $p > \frac{N+2s}{N}$: Sử dụng hàm $v_\varepsilon = (v - \varepsilon)^+$, kết hợp bất đẳng thức Kato và số mũ trung gian $1 < q < \frac{N+2s}{N}$ để đưa về $- \partial_t v_\varepsilon - (-\Delta)^s v_\varepsilon \ge c \varepsilon^{p-q} v_\varepsilon^q$, dẫn đến $v_\varepsilon \equiv 0$, do đó $v \le \varepsilon \to 0$.
  • Định lý 2.1 và Hệ quả 2.1: Khi $p > 1$, đặt $w = v - 1 \ge 0$, hàm $w$ thỏa mãn $w_t + (-\Delta)^s w \le -w^p$. Theo Bổ đề Keller-Osserman, $w \equiv 0$, suy ra phương trình chỉ có nghiệm dương duy nhất là nghiệm tầm thường $v \equiv 1$ (và $u \equiv 1$).

Chương 3: Sự không tồn tại nghiệm trên dương của phương trình và hệ phương trình Lane-Emden phân thứ

Chương 3 khảo sát sự không tồn tại nghiệm trên dương của phương trình $(-\Delta)^s u = u^p$ và hệ Lane-Emden phân thứ: $$\begin{cases} (-\Delta)^s u \ge v^p \ (-\Delta)^s v \ge u^q \end{cases} \quad \text{trong } \mathbb{R}^N$$

  • Định lý 3.1 (Phương trình đơn): Phương trình $(-\Delta)^s u = u^p$ không có nghiệm trên dương trên $\mathbb{R}^N$ khi $p \le 1$.
    • Trường hợp $p = 1$: Sử dụng mở rộng Caffarelli - Silvestre $U(x, y)$ và hàm trung bình mặt $U(r) = \frac{1}{r^{N+1-2s}} \int_{\partial^+ B_r^+} y^{1-2s} U dS$. Luận án thiết lập đánh giá $\int_{B_r} u dx \ge C r^N$, dẫn tới $U'(r) \le -C r^{2s-1}$. Tích phân bất đẳng thức suy ra $U(r) + C r^{2s} \le U(0)$, tạo ra mâu thuẫn khi $r \to \infty$.
    • Trường hợp $p = 0$: Tương tự trường hợp $p = 1$.
    • Trường hợp $0 < p < 1$: Đặt $w = u^{1-p}$, áp dụng bất đẳng thức Young chứng minh $(-\Delta)^s w \ge (1-p)u^{-p}(-\Delta)^s u \ge 1-p > 0$, quy về trường hợp $p = 0$.
    • Trường hợp $p < 0$: Sử dụng nguyên lý cực đại với hàm phụ $w(x) = u(x) + \epsilon (1+|x-a|^2)^{s/2}$.
  • Hệ quả 3.1 (Phân loại hoàn chỉnh cho phương trình): Kết hợp Định lý 3.1 và kết quả của Felmer - Quaas - Tan [38], phương trình $(-\Delta)^s u = u^p$ không có nghiệm trên dương khi và chỉ khi $p \le \frac{N}{N-2s}$.
  • Định lý 3.2 và Hệ quả 3.2 (Hệ phương trình): Luận án chứng minh hệ Lane-Emden phân thứ không có nghiệm trên dương khi:
    1. $p \le 0$ hoặc $q \le 0$.
    2. $p, q > 0$ và $pq \le 1$.
    3. $p, q > 0, pq > 1$ và $\max\left{ \frac{2s(p+1)}{pq-1}, \frac{2s(q+1)}{pq-1} \right} \ge N - 2s$.
    • Kỹ thuật chứng minh: Khi $p, q < 0$, đặt $w = u + v$ đưa về $(-\Delta)^s w \ge C w^{-k}$ với $k = -\frac{2pq}{p+q} > 0$. Khi $q < 0 < p$ hoặc $pq \le 1$, đặt $w = u^\alpha v^\beta$ ($\alpha + \beta = 1$), chọn $\alpha, \beta$ thích hợp đưa về $(-\Delta)^s w \ge C w^{1 + \frac{pq-1}{\alpha(p+1)+\beta(q+1)}}$ có số mũ $\le \frac{N}{N-2s}$, quy về kết quả của phương trình đơn.
  • Ứng dụng: Kết quả Định lý 3.1 cho phép loại bỏ hoàn toàn điều kiện ràng buộc $r, t > 1$ trong định lý đối xứng nghiệm của Wang và Zhu (2011) đối với hệ $(-\Delta)^s u = u^r v^p, (-\Delta)^s v = u^q v^t$.

Chương 4: Sự không tồn tại nghiệm trên dương của phương trình và hệ phương trình chứa toán tử Laplace phân thứ và số hạng gradient

Chương 4 mở rộng nghiên cứu sang lớp phương trình và hệ phương trình elliptic phân thứ có thêm số hạng đối lưu gradient: $$(-\Delta)^s u + b \cdot \nabla u = u^p \quad \text{trong } \mathbb{R}^N$$ $$\begin{cases} (-\Delta)^s u + b \cdot \nabla u = v^p \ (-\Delta)^s v + b \cdot \nabla v = u^q \end{cases} \quad \text{trong } \mathbb{R}^N$$ trong đó trường vectơ $b(x)$ khả vi liên tục thỏa mãn điều kiện tăng trưởng suy giảm ở vô cùng dạng $|b(x)| \le C(1 + |x|)^{-\theta}$.

Nội dung chương phân tích chi tiết điều kiện triệt tiêu nghiệm trên dương qua ba trường hợp:

  • Trường hợp dưới tuyến tính (Sublinear): Thiết lập các đánh giá tiên nghiệm để chỉ ra sự không tồn tại nghiệm trên dương khi số mũ nằm dưới ngưỡng tuyến tính.
  • Trường hợp dưới tới hạn (Subcritical): Kết hợp hàm thử thích hợp có xét đến ảnh hưởng của số hạng $b \cdot \nabla u$ để triệt tiêu nghiệm.
  • Trường hợp tới hạn (Critical): Phân tích tiệm cận tích phân và chứng minh sự không tồn tại nghiệm trên dương tại các giá trị số mũ tới hạn của phương trình và hệ phương trình.

Bảng tổng hợp điều kiện tồn tại và không tồn tại nghiệm trên dương

Bài toán nghiên cứu Dạng phương trình / hệ phương trình Miền tham số Kết quả định tính
Lichnerowicz parabolic $v_t + (-\Delta)^s v = v^{-p-2} - v^p$ $p > 0$ Nghiệm dương thỏa mãn $v \ge 1$ đều
Lichnerowicz parabolic $v_t + (-\Delta)^s v = v^{-p-2} - v^p$ $p > 1$ Duy nhất nghiệm tầm thường $v \equiv 1$
Lichnerowicz elliptic $(-\Delta)^s u = u^{-p-2} - u^p$ $p > 0$ Nghiệm dương thỏa mãn $u \ge 1$ đều
Lichnerowicz elliptic $(-\Delta)^s u = u^{-p-2} - u^p$ $p > 1$ Duy nhất nghiệm tầm thường $u \equiv 1$
Lane-Emden đơn $(-\Delta)^s u \ge u^p$ $p \le \frac{N}{N-2s}$ Không tồn tại nghiệm trên dương
Lane-Emden đơn $(-\Delta)^s u \ge u^p$ $p > \frac{N}{N-2s}$ Tồn tại nghiệm trên dương dạng $(1+|x|)^{-2sk}$
Hệ Lane-Emden $(-\Delta)^s u \ge v^p, , (-\Delta)^s v \ge u^q$ $p \le 0 \text{ hoặc } q \le 0$ Không tồn tại nghiệm trên dương
Hệ Lane-Emden $(-\Delta)^s u \ge v^p, , (-\Delta)^s v \ge u^q$ $p, q > 0, pq \le 1$ Không tồn tại nghiệm trên dương
Hệ Lane-Emden $(-\Delta)^s u \ge v^p, , (-\Delta)^s v \ge u^q$ $p, q > 0, pq > 1, \max \ge N-2s$ Không tồn tại nghiệm trên dương
Hệ Lane-Emden $(-\Delta)^s u \ge v^p, , (-\Delta)^s v \ge u^q$ $p, q > 0, pq > 1, \max < N-2s$ Tồn tại nghiệm trên dương dạng $(1+|x|)^{-2sk_i}$

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

  1. Về mặt lý luận học thuật:

    • Thiết lập chặn dưới đều và định lý Liouville (chỉ tồn tại nghiệm tầm thường) cho phương trình Lichnerowicz parabolic và elliptic chứa toán tử Laplace phân thứ khi $p > 1$, mở rộng kết quả cổ điển của Brezis (2018).
    • Giải quyết trọn vẹn bài toán không tồn tại nghiệm trên dương của phương trình Lane-Emden phân thứ khi $p \le 1$, từ đó hoàn thiện bức tranh điều kiện cần và đủ cho sự tồn tại nghiệm trên dương ($p \le \frac{N}{N-2s}$).
    • Hoàn thành phân loại đầy đủ sự tồn tại và không tồn tại nghiệm trên dương của hệ Lane-Emden phân thứ với mọi cặp số thực $(p, q) \in \mathbb{R}^2$, giải quyết trường hợp còn bỏ ngỏ khi có số mũ không dương ($p \le 0$ hoặc $q \le 0$).
    • Cải tiến và nới lỏng giả thiết trong định lý đối xứng thành phần của Wang và Zhu (2011), chứng minh định lý vẫn đúng khi $r \le 1$ hoặc $t \le 1$.
    • Thiết lập các điều kiện triệt tiêu nghiệm trên dương cho phương trình và hệ phương trình elliptic phân thứ có chứa số hạng gradient $b \cdot \nabla$ trong các trường hợp dưới tuyến tính, dưới tới hạn và tới hạn.

  2. Công bố khoa học:

    • Các kết quả chính của luận án đã được công bố trong 03 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục SCIE.
    • Báo cáo kết quả tại Hội nghị Toán học toàn quốc lần thứ X (năm 2023) và Seminar Bộ môn Giải tích, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội.

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

Hạn chế và câu hỏi mở trong luận án

  • Đối với phương trình Lichnerowicz phân thứ (cả dạng parabolic và elliptic), luận án chưa khẳng định được sự tồn tại của nghiệm dương không tầm thường trong trường hợp $0 < p \le 1$ (đây là câu hỏi mở được tác giả nêu rõ ở Chương 2).
  • Đối với phương trình và hệ phương trình chứa số hạng gradient, nghiên cứu mới dừng lại ở việc khảo sát trên toàn không gian $\mathbb{R}^N$ với các điều kiện suy giảm của trường vectơ $b(x)$ ở vô cùng; chưa xét trên các miền biên ngoài (exterior domains) hoặc miền giới hạn với các điều kiện biên không địa phương phức tạp.

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

  • Phát triển và áp dụng kỹ thuật hàm thử và bất đẳng thức Kato phân thứ để nghiên cứu tính chất định tính nghiệm của các lớp phương trình vi phân không địa phương khác như phương trình Ginzburg-Landau phân thứ và phương trình Chern-Simons-Higgs phân thứ.
  • Nghiên cứu các bài toán tương tự cho các toán tử phi tuyến mạnh hơn như toán tử $p$-Laplace phân thứ $(-\Delta_p)^s$ hoặc toán tử sinh của các quá trình Markov có bước nhảy tổng quát.

Giá trị tham khảo

  • Đối tượng thụ hưởng: Luận án là tài liệu tham khảo cho nghiên cứu sinh, học viên cao học, giảng viên và các nhà nghiên cứu thuộc chuyên ngành Phương trình vi phân và tích phân, Giải tích hàm, Vật lý toán và Hình học vi phân.
  • Các nội dung có giá trị tham khảo chuyên sâu:
    • Kỹ thuật sử dụng mở rộng Caffarelli - Silvestre kết hợp đánh giá tích phân đạo hàm bán kính trên nửa cầu $\partial^+ B_r^+$ để xử lý trường hợp số mũ $p = 1$ (Chương 3).
    • Kỹ thuật xây dựng hàm phụ đa biến và áp dụng bất đẳng thức Kato để thiết lập bổ đề kiểu Keller-Osserman cho toán tử parabolic phân thứ (Chương 2).
    • Phương pháp đổi biến đưa hệ phương trình về bất đẳng thức vô hướng thông qua tổ hợp lũy thừa $w = u^\alpha v^\beta$ (Chương 3).

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

1. Kết quả chính về nghiệm của phương trình Lichnerowicz phân thứ khi $p > 1$ là gì?

Khi $p > 1$, cả phương trình Lichnerowicz parabolic $v_t + (-\Delta)^s v = v^{-p-2} - v^p$ trên $\mathbb{R}^N \times \mathbb{R}$ và phương trình elliptic $(-\Delta)^s u = u^{-p-2} - u^p$ trên $\mathbb{R}^N$ ($0 < s < 1$) đều chỉ có duy nhất nghiệm dương tầm thường là $v \equiv 1$ và $u \equiv 1$. Đồng thời, với mọi $p > 0$, mọi nghiệm dương đều bị chặn dưới đều bởi 1 ($v \ge 1, u \ge 1$).

2. Điều kiện cần và đủ để phương trình Lane-Emden phân thứ $(-\Delta)^s u = u^p$ không tồn tại nghiệm trên dương trên $\mathbb{R}^N$ là gì?

Phương trình Lane-Emden phân thứ $(-\Delta)^s u = u^p$ (với $0 < s < 1, N > 2s$) không có nghiệm trên dương khi và chỉ khi $p \le \frac{N}{N-2s}$. Trong đó, trường hợp $p \le 1$ được chứng minh mới trong luận án, kết hợp với kết quả $1 < p \le \frac{N}{N-2s}$ đã có của Felmer - Quaas - Tan (2012).

3. Hệ phương trình Lane-Emden phân thứ triệt tiêu nghiệm trên dương trong những trường hợp số mũ nào?

Hệ phương trình $(-\Delta)^s u \ge v^p, (-\Delta)^s v \ge u^q$ trên $\mathbb{R}^N$ không có nghiệm trên dương khi và chỉ khi cặp số mũ $(p, q)$ thỏa mãn một trong ba điều kiện:

  1. $p \le 0$ hoặc $q \le 0$.
  2. $p > 0, q > 0$ và $pq \le 1$.
  3. $p > 0, q > 0, pq > 1$ và $\max\left{ \frac{2s(p+1)}{pq-1}, \frac{2s(q+1)}{pq-1} \right} \ge N - 2s$.

4. Luận án khắc phục khó khăn của phép biến đổi $v = 1/u$ trong bài toán phân thứ như thế nào?

Trong bài toán địa phương ($s = 1$), phép biến đổi $v = 1/u$ thường được dùng kết hợp nguyên lý cực đại. Tuy nhiên với toán tử phân thứ, do $u \in L_s(\mathbb{R}^N)$ không đảm bảo $1/u \in L_s(\mathbb{R}^N)$, nguyên lý cực đại thông thường không áp dụng được. Tác giả đã khắc phục bằng cách phát triển mở rộng Caffarelli - Silvestre, thiết lập ước lượng đạo hàm bán kính $U'(r) \le -C r^{2s-1}$ cho $p = 1$, dùng bất đẳng thức Young cho $0 < p < 1$, và xây dựng hàm phụ chứa số hạng nhiễu $\epsilon(1+|x-a|^2)^{s/2}$ cho $p < 0$.

5. Kết quả của luận án hoàn thiện nghiên cứu về tính đối xứng của Wang và Zhu (2011) ra sao?

Trong công trình của Wang và Zhu (2011), định lý về tính đối xứng của các thành phần trong hệ $(-\Delta)^s u = u^r v^p, (-\Delta)^s v = u^q v^t$ yêu cầu điều kiện kỹ thuật bắt buộc $r, t > 1$ do phụ thuộc vào bài toán nghiệm trên. Với kết quả Định lý 3.1 của luận án (phương trình không có nghiệm trên dương với mọi $p \le 1$), điều kiện ràng buộc $r, t > 1$ được loại bỏ hoàn toàn, chứng minh định lý đối xứng vẫn đúng khi $r \le 1$ hoặc $t \le 1$.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Thị Quỳnh đã giải quyết trọn vẹn nhiều bài toán định tính cơ bản đối với các lớp phương trình và hệ phương trình elliptic, parabolic phân thứ trên toàn không gian $\mathbb{R}^N$. Bằng việc kết hợp mở rộng Caffarelli - Silvestre, bất đẳng thức Kato phân thứ, lý thuyết Keller-Osserman và kỹ thuật hàm thử phi tuyến, luận án đã xác lập tính tầm thường của nghiệm phương trình Lichnerowicz khi $p > 1$, hoàn thiện điều kiện cần và đủ cho sự không tồn tại nghiệm trên dương của phương trình và hệ Lane-Emden phân thứ cho mọi số mũ thực, đồng thời mở rộng kết quả cho các phương trình chứa số hạng gradient. Các kết quả nghiên cứu là những đóng góp học thuật mới trong chuyên ngành Phương trình vi phân và tích phân, đã được công bố trên 03 bài báo thuộc danh mục SCIE.