Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Dương Trọng Luyện, với đề tài "Về một số phương trình elliptic và hyperbolic phi tuyến suy biến", thuộc chuyên ngành Phương trình vi phân và tích phân (Mã số: 62.03), được thực hiện tại Trường Đại học Sư phạm Hà Nội dưới sự hướng dẫn khoa học của GS. Nguyễn Minh Trí.

Lý thuyết phương trình vi phân đạo hàm riêng khởi nguồn từ các nghiên cứu cơ học và vật lý của J. Fourier, tiếp tục phát triển qua các công trình của Riemann, H. Poincaré và đạt bước tiến lớn trong thế kỷ XX nhờ công cụ giải tích hàm và lý thuyết hàm suy rộng của L. Schwartz. Trong khi các kết quả đối với lớp phương trình elliptic tổng quát và hyperbolic cổ điển (chứa toán tử Laplace $\Delta$) đã tương đối hoàn chỉnh, việc nghiên cứu các lớp phương trình không elliptic, phương trình elliptic suy biến và hyperbolic tắt dần suy biến vẫn còn nhiều khoảng trống. Các kết quả giải tích liên quan đến tính chính quy của nghiệm, sự tồn tại nghiệm yếu trong các điều kiện phi tuyến khác nhau, cũng như dáng điệu tiệm cận của nghiệm thông qua tập hút toàn cục đối với các toán tử suy biến như toán tử Grushin hay toán tử tổng quát $A_\psi$ còn hạn chế.

Mục tiêu nghiên cứu của luận án được xác định rõ ràng qua ba nội dung chính:

  1. Nội dung 1: Nghiên cứu bài toán biên elliptic suy biến chứa toán tử $A_\psi$, tập trung vào sự tồn tại nghiệm yếu và tính chính quy của nghiệm yếu.
  2. Nội dung 2: Nghiên cứu phương trình hyperbolic tắt dần chứa toán tử elliptic suy biến mạnh trong miền bị chặn, bao gồm việc chứng minh sự tồn tại và duy nhất của nghiệm tích phân, sự tồn tại của tập hút toàn cục, và đánh giá tính hữu hạn của số chiều fractal của tập hút toàn cục.
  3. Nội dung 3: Nghiên cứu phương trình hyperbolic tắt dần chứa toán tử Grushin trên toàn không gian $\mathbb{R}^N$, tập trung vào sự tồn tại, duy nhất của nghiệm tích phân và sự tồn tại của tập hút toàn cục.

Đối tượng nghiên cứu của luận án là bài toán biên và bài toán biên - giá trị ban đầu phi tuyến chứa toán tử elliptic suy biến dạng: $$A_\psi u := \sum_{j=1}^N \frac{\partial}{\partial x_j} \left( \psi_j^2(X) \frac{\partial u}{\partial x_j} \right)$$ và toán tử Grushin $G_k := \Delta_x + |x|^{2k}\Delta_y$.

Phạm vi nghiên cứu bao gồm miền mở bị chặn $\Omega \subset \mathbb{R}^N$ với biên trơn $\partial\Omega$ (đối với bài toán elliptic và bài toán hyperbolic tắt dần trong miền bị chặn) và toàn bộ không gian thực $\mathbb{R}^N$ (đối với bài toán hyperbolic tắt dần chứa toán tử Grushin).

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

Nghiên cứu về phương trình elliptic và hyperbolic đã được phát triển qua nhiều công trình kinh điển. Năm 1970, nhà toán học V. Grushin đã đưa ra lớp toán tử $G_k = \Delta_x + |x|^{2k}\Delta_y$ trên $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$ ($k \in \mathbb{Z}^+$), chứng minh rằng khi $k > 0$, toán tử không elliptic tại các điểm giao với mặt $x=0$ nhưng có tính hypoelliptic và nghiệm có tính khả vi vô hạn địa phương. Tiếp đó, E. Lanconelli đã xây dựng lớp toán tử tổng quát $A_\psi$, xác định số mũ nhúng tới hạn Sobolev, thiết lập đồng nhất thức Pohozaev và nghiên cứu sự tồn tại, tính chính quy của nghiệm yếu cho bài toán biên bằng phương pháp biến phân.

Tại Việt Nam, các tác giả như Nguyễn Minh Trí cùng nhiều nhà toán học khác đã đạt được các kết quả về sự tồn tại, không tồn tại của nghiệm đối với phương trình và hệ phương trình elliptic suy biến, phương trình parabolic suy biến và tính điều khiển được của phương trình chứa toán tử Grushin. Nguyễn Minh Trí đã nghiên cứu bài toán biên $A_\psi u + f(X, u) = 0$ với các điều kiện phi tuyến dưới tới hạn.

Đối với phương trình hyperbolic tắt dần $u_{tt} + \beta u_t = \Delta u + f(X, u)$:

  • J. Hale và A. Haraux chứng minh sự tồn tại nghiệm toàn cục và tập hút toàn cục với số hạng phi tuyến dưới tới hạn.
  • M. I. Vishik và R. Temam mở rộng nghiên cứu sự tồn tại tập hút toàn cục cho trường hợp số mũ tới hạn.
  • G. Raugel khảo sát bài toán với điều kiện tăng trưởng hàm mũ trong không gian hai chiều ($N=2$).
  • J. Ball (2004) đưa ra phương pháp phương trình năng lượng để nghiên cứu tập hút toàn cục.
  • A. Sonner (2014) khảo sát phương trình hyperbolic tắt dần chứa toán tử $X$-elliptic trong miền bị chặn, chứng minh sự tồn tại tập hút toàn cục có số chiều fractal hữu hạn.
  • E. Feireisl, Fall Djiby (2005) và H. Xiao (2009) phát triển phương pháp ước lượng đuôi nghiệm để chứng minh sự tồn tại tập hút toàn cục của phương trình hyperbolic tắt dần trên toàn không gian $\mathbb{R}^N$.
  • H. Brezis và L. Nirenberg (1983) đã thiết lập các kết quả nền tảng về sự tồn tại nghiệm dương của bài toán elliptic phi tuyến có số mũ tới hạn Sobolev trên miền bị chặn.
Hướng nghiên cứu trước Tác giả tiêu biểu và công trình Giới hạn / Khoảng trống mà luận án giải quyết
Toán tử hypoelliptic & Toán tử $A_\psi$ V. Grushin (1970), E. Lanconelli, Nguyễn Minh Trí Thiết lập tính chính quy $L^q$ ($q < \infty$) và $L^\infty$ cho nghiệm yếu; nghiên cứu nghiệm không âm với toán tử $A_\psi$.
Hyperbolic tắt dần trong miền bị chặn J. Hale, A. Haraux, M. I. Vishik, R. Temam, G. Raugel, A. Sonner (2014) Mở rộng cho phương trình hyperbolic tắt dần chứa toán tử elliptic suy biến mạnh $A_\psi$; đánh giá số chiều fractal qua phương pháp $l$-quỹ đạo.
Hyperbolic tắt dần trong miền không bị chặn E. Feireisl, Fall Djiby (2005), H. Xiao (2009) Khảo sát phương trình hyperbolic tắt dần chứa toán tử Grushin $G_k$ trên toàn không gian $\mathbb{R}^N$ bằng phương pháp ước lượng đuôi.

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

Khung lý thuyết và không gian hàm

Luận án sử dụng khung giải tích hàm và lý thuyết phương trình vi phân đạo hàm riêng phi tuyến hiện đại, dựa trên các không gian hàm Sobolev có trọng:

  • Toán tử $A_\psi$: Xét trong miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$), với hệ hàm trọng liên tục $\psi_j(X) > 0$ trên $\mathbb{R}^N \setminus \mathcal{H}$ thỏa mãn: $\psi_1(X) = 1$, $\psi_j(X) = \psi_j(x_1, \dots, x_{j-1})$; tính đối xứng chẵn qua các mặt tọa độ; tính chất vi phân $0 < x_j \partial_{x_j}\psi_j(X) \le \alpha \psi_j(X)$; và tính thuần nhất bậc $\epsilon_j - 1$ đối với nửa nhóm giãn nở $\delta_t(X) = (t^{\epsilon_1}x_1, \dots, t^{\epsilon_N}x_N)$ với $1 = \epsilon_1 \le \epsilon_2 \le \dots \le \epsilon_N$.
  • Số chiều thuần nhất: $\widetilde{N} := \epsilon_1 + \epsilon_2 + \dots + \epsilon_N$.
  • Không gian hàm $S^p(\Omega)$ và $S_0^p(\Omega)$: Với $1 \le p < \infty$, không gian $S^p(\Omega)$ gồm các hàm $u \in L^p(\Omega)$ sao cho đạo hàm suy rộng có trọng $\psi_j \partial_{x_j} u \in L^p(\Omega)$ với mọi $j = 1, \dots, N$, chuẩn tương ứng là: $$|u|{S^p(\Omega)} = \left( \int\Omega \left( |u|^p + \sum_{j=1}^N |\psi_j \partial_{x_j} u|^p \right) dX \right)^{1/p}$$ Không gian $S_0^p(\Omega)$ là bao đóng của $C_0^\infty(\Omega)$ trong $S^p(\Omega)$. Với $p=2$, $S^2(\Omega)$ và $S_0^2(\Omega)$ là các không gian Hilbert.
  • Phép nhúng kiểu Sobolev: Nhúng liên tục $S_0^2(\Omega) \hookrightarrow L^{2^}(\Omega)$ với số mũ tới hạn $2^ = \frac{2\widetilde{N}}{\widetilde{N}-2}$ ($\widetilde{N} > 2$), và nhúng compact $S_0^2(\Omega) \hookrightarrow\hookrightarrow L^q(\Omega)$ với mọi $1 \le q < 2^*$.
  • Lý thuyết hệ động lực vô hạn chiều: Nửa nhóm phi tuyến liên tục ${S(t)}_{t \ge 0}$, $C_0$-nửa nhóm tuyến tính, hàm Lyapunov ngặt, hệ gradient liên tục, khái niệm tập hút toàn cục $\mathcal{A}$ (tập đóng, bị chặn, bất biến $S(t)\mathcal{A} = \mathcal{A}$ và hút mọi tập bị chặn), tính chất compact tiệm cận, và số chiều fractal $\dim_F \mathcal{M}$.

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

  1. Phương pháp biến phân: Sử dụng nguyên lý biến phân trên tập lồi đóng yếu trong không gian Banach/Hilbert phản xạ để tìm điểm tới hạn của phiếm hàm năng lượng, kết hợp quy tắc nhân tử Lagrange để thiết lập nghiệm không âm.
  2. Phương pháp nghiệm trên và nghiệm dưới (Sub-supersolution method): Xây dựng cặp nghiệm trên $\bar{u}$ và nghiệm dưới $\underline{u}$ thỏa mãn $\underline{u} \le \bar{u}$, thu hẹp không gian tìm nghiệm trên tập lồi đóng yếu $M = {u \in S_0^2(\Omega): \underline{u} \le u \le \bar{u}}$.
  3. Kỹ thuật cắt xén hàm và ước lượng tiên nghiệm: Áp dụng kỹ thuật cắt xén dạng $u_M = u \min{|u|^\kappa, M_k^2}$ kết hợp bất đẳng thức Cauchy, Hölder và bất đẳng thức nhúng Sobolev để chứng minh tính chính quy tăng dần từ $S_0^2(\Omega)$ lên $L^q(\Omega)$ ($q < \infty$) và $L^\infty(\Omega)$.
  4. Phương pháp nửa nhóm toán tử ($C_0$-semigroup): Thiết lập sự tồn tại và duy nhất nghiệm tích phân cho bài toán Cauchy đối với phương trình hyperbolic tắt dần.
  5. Phương pháp phương trình năng lượng và phương pháp đánh giá phần đuôi nghiệm (Tail-estimate method): Phân rã nghiệm trên miền không bị chặn $\mathbb{R}^N$ thành phần compact cục bộ và phần đuôi tiệm cận về 0 khi $|X| \to \infty$, khắc phục việc mất tính compact của phép nhúng Sobolev trên toàn không gian.
  6. Phương pháp $l$-quỹ đạo và tính chất nén suy rộng (Generalized Squeezing Property - GSP): Chứng minh tính hữu hạn của số chiều fractal của tập hút toàn cục.

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

Chương 1: Một số kiến thức chuẩn bị

Chương 1 hệ thống hóa các định nghĩa, ký hiệu và bổ đề nền tảng:

  • Trình bày cấu trúc vi phân của toán tử suy biến $A_\psi$, toán tử Grushin $G_k = \Delta_x + |x|^{2k}\Delta_y$, và toán tử suy biến nhiều thành phần $A_{k_1, k_2} = \Delta_x + |x|^{2k_1}\Delta_y + |x|^{2k_1}|y|^{2k_2}\Delta_z$.
  • Xây dựng các không gian Sobolev có trọng $S^p(\Omega)$, $S_0^p(\Omega)$, $S^2(\mathbb{R}^N)$ và gradient suy biến $\nabla_\psi u = (\psi_1\partial_{x_1}u, \dots, \psi_N\partial_{x_N}u)$.
  • Thiết lập định lý nhúng Sobolev: chứng minh phép nhúng $S_0^2(\Omega) \hookrightarrow L^{2^}(\Omega)$ là liên tục và nhúng compact vào $L^q(\Omega)$ với $q < 2^ = \frac{2\widetilde{N}}{\widetilde{N}-2}$. Chứng minh rằng với $\tau > 0$, phép nhúng $S_0^2(\Omega) \hookrightarrow L^{2^*+\tau}(\Omega)$ không còn đúng nếu $\Omega$ chứa gốc tọa độ.
  • Trình bày lý thuyết nửa nhóm, tính khả vi Fréchet, định lý tồn tại điểm cực tiểu của phiếm hàm bức, nửa liên tục dưới yếu trên tập lồi đóng yếu của không gian phản xạ.
  • Định nghĩa tập hút toàn cục $\mathcal{A}$, hệ gradient compact tiệm cận, cấu trúc tập hút qua đa tạp không ổn định của tập điểm cân bằng $\mathcal{A} = W^u(E)$, số chiều fractal và tính chất nén suy rộng (GSP) trên không gian Hilbert.

Chương 2: Sự tồn tại nghiệm và tính chính quy của nghiệm của bài toán biên đối với phương trình elliptic suy biến

Chương 2 giải quyết trọn vẹn bài toán biên elliptic suy biến phi tuyến: $$A_\psi u + f(X, u) = 0 \quad \text{trong } \Omega, \quad u = u_0 \quad \text{trên } \partial\Omega$$

  • Sự tồn tại nghiệm yếu bằng phương pháp nghiệm trên - nghiệm dưới: Giả sử tồn tại nghiệm dưới yếu $\underline{u} \in S^2(\Omega)$ và nghiệm trên yếu $\bar{u} \in S^2(\Omega)$ thỏa mãn $-\infty < c \le \underline{u}(X) \le \bar{u}(X) \le d < +\infty$ hầu khắp nơi, cùng điều kiện tăng trưởng $|f(X, \xi)| \le a(X) + b|\xi|^p$ với $a(X) \in L^{\frac{2^}{2^-1-p}}(\Omega)$ và $1 \le p < \frac{\widetilde{N}+2}{\widetilde{N}-2}$. Bằng cách xét phiếm hàm: $$E(u) = \frac{1}{2} \int_\Omega |\nabla_\psi u|^2 dX - \int_\Omega F(X, u) dX$$ trên tập lồi đóng yếu $M = {u \in S_0^2(\Omega): \underline{u} \le u \le \bar{u}}$, chứng minh $E$ đạt cực tiểu tại $u \in M$, và $u$ chính là nghiệm yếu thỏa mãn $\underline{u} \le u \le \bar{u}$ hầu khắp nơi.
  • Nghiệm đối với trường hợp phi tuyến cụ thể và số mũ tới hạn: Xét hàm $f(X, \xi) = k(X)\xi|\xi|^{q-2} - \xi|\xi|^{p-2}$ với $2 < q < p < 2^*$, chứng minh bài toán luôn có nghiệm yếu trong $L^\infty(\Omega)$ khi $u_0 \ge 1$. Xây dựng nghiệm trên dạng hàm phụ thuộc khoảng cách cho phương trình chứa toán tử Grushin với số mũ tới hạn: $$\Delta_x u + |x|^{2k}\Delta_y u + |x|^{2k} \left( |u|^{\frac{4}{N_k-2}}u + f(x,y) \right) = 0$$
  • Sự tồn tại nghiệm yếu không âm: Xét bài toán $-A_\psi u + \lambda u = u|u|^{p-2}$ trong $\Omega$, $u > 0$ trong $\Omega$, $u = 0$ trên $\partial\Omega$, với $p \in (2, 2^)$ và $\lambda > -\lambda_1$ ($\lambda_1$ là giá trị riêng đầu tiên của $-A_\psi$). Bằng phương pháp nhân tử Lagrange trên tập $M_1 = {u \in S_0^2(\Omega): |u|_{L^p(\Omega)} = 1}$, chứng minh sự tồn tại nghiệm yếu dương $u^ = \mu^{\frac{1}{p-2}} u > 0$.
  • Tính chính quy của nghiệm: Chứng minh định lý chính quy: Nếu $u \in S_0^2(\Omega)$ là nghiệm yếu của bài toán với $|f(X, \xi)| \le a(X)(1 + |\xi|^p)$ ($1 \le p \le 2^-1$, $a(X) \in L^{\frac{2^}{2^*-1-p}}(\Omega)$), thì $u \in L^q(\Omega)$ với mọi $q < \infty$. Đặc biệt, nếu $a(X) \in L^{\frac{\widetilde{N}}{2}}(\Omega)$ thì $u \in L^\infty(\Omega)$.

Chương 3: Tập hút toàn cục đối với phương trình hyperbolic tắt dần chứa toán tử elliptic suy biến mạnh trong miền bị chặn

Chương 3 khảo sát bài toán biên - giá trị ban đầu cho phương trình hyperbolic tắt dần: $$u_{tt} + \beta u_t = \mathcal{L}u + f(u) \quad \text{trong } \Omega \times (0, \infty), \quad u(X,t) = 0 \quad \text{trên } \partial\Omega \times (0, \infty)$$ với điều kiện ban đầu $u(X,0) = u_0(X)$, $u_t(X,0) = u_1(X)$, trong đó $\mathcal{L}$ là toán tử elliptic suy biến mạnh $A_\psi$, $\beta > 0$.

  • Chứng minh sự tồn tại và duy nhất của nghiệm tích phân bằng lý thuyết nửa nhóm sinh bởi toán tử liên hợp trong không gian pha $S_0^1(\Omega) \times L^2(\Omega)$.
  • Xây dựng phiếm hàm Lyapunov và chứng minh hệ động lực liên kết với phương trình là một hệ gradient compact tiệm cận.
  • Chứng minh sự tồn tại của tập hút toàn cục $\mathcal{A}$ compact, liên thông trong $S_0^1(\Omega) \times L^2(\Omega)$ và biểu diễn dưới dạng $\mathcal{A} = W^u(E)$.
  • Sử dụng phương pháp $l$-quỹ đạo và chứng minh tính chất nén suy rộng (GSP) trên không gian Hilbert để thu được đánh giá số chiều fractal $\dim_F \mathcal{A} < \infty$.

Chương 4: Tập hút toàn cục đối với phương trình hyperbolic tắt dần chứa toán tử Grushin trên toàn không gian

Chương 4 mở rộng nghiên cứu bài toán hyperbolic tắt dần trên toàn không gian $\mathbb{R}^N$: $$u_{tt} + \beta u_t + u = G_k u + f(X, u) \quad \text{trên } \mathbb{R}^N \times (0, \infty)$$ với toán tử Grushin $G_k = \Delta_x + |x|^{2k}\Delta_y$.

  • Thiết lập sự tồn tại và duy nhất của nghiệm tích phân trong không gian năng lượng $S^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.
  • Xử lý bài toán mất tính compact của phép nhúng Sobolev do miền không bị chặn $\mathbb{R}^N$: Luận án áp dụng phương pháp phương trình năng lượng kết hợp kỹ thuật đánh giá phần đuôi nghiệm (tail estimates) bên ngoài hình cầu bán kính lớn $|X| \ge R$.
  • Chứng minh tính compact tiệm cận của nửa nhóm nghiệm ${S(t)}_{t \ge 0}$ và khẳng định sự tồn tại của tập hút toàn cục $\mathcal{A}$ trong không gian $S^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.

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

  1. Đóng góp về phương trình elliptic suy biến:

    • Thiết lập điều kiện đủ cho sự tồn tại nghiệm yếu của bài toán biên phi tuyến chứa toán tử tổng quát $A_\psi$ thông qua phương pháp nghiệm trên - nghiệm dưới và phương pháp biến phân.
    • Chứng minh sự tồn tại nghiệm yếu không âm không tầm thường cho bài toán biên chứa toán tử $A_\psi$ với số mũ phi tuyến dưới tới hạn $p \in (2, 2^*)$ và tham số $\lambda > -\lambda_1$.
    • Chứng minh định lý về tính chính quy của nghiệm yếu, khẳng định nghiệm thuộc $L^q(\Omega)$ ($\forall q < \infty$) và đạt tới $L^\infty(\Omega)$ dưới các điều kiện khả tích của hàm trọng số phi tuyến $a(X)$.

  2. Đóng góp về phương trình hyperbolic tắt dần trong miền bị chặn:

    • Chứng minh sự tồn tại và duy nhất của nghiệm tích phân đối với phương trình hyperbolic tắt dần chứa toán tử elliptic suy biến mạnh $A_\psi$.
    • Chứng minh sự tồn tại của tập hút toàn cục compact, liên thông và biểu diễn hoàn chỉnh qua đa tạp không ổn định của tập điểm cân bằng.
    • Đánh giá và khẳng định tính hữu hạn của số chiều fractal của tập hút toàn cục bằng phương pháp $l$-quỹ đạo.

  3. Đóng góp về phương trình hyperbolic tắt dần trên toàn không gian:

    • Giải quyết bài toán dáng điệu tiệm cận của nghiệm đối với phương trình hyperbolic tắt dần chứa toán tử Grushin trên toàn không gian $\mathbb{R}^N$.
    • Vận dụng thành công phương pháp ước lượng đuôi nghiệm để khắc phục tính không compact của miền không bị chặn, chứng minh sự tồn tại của tập hút toàn cục trong $S^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.

  4. Công bố khoa học và thẩm định học thuật:

    • Các kết quả chính của luận án đã được công bố trong 04 bài báo trên các tạp chí chuyên ngành quốc tế.
    • Báo cáo và thảo luận tại: Xêmina Bộ môn Giải tích (Khoa Toán - Tin, ĐH Sư phạm Hà Nội); Xêmina Phòng Phương trình vi phân (Viện Toán học, Viện Hàn lâm Khoa học và Công nghệ Việt Nam); và Báo cáo tại Hội nghị quốc tế lần thứ V về Nghiên cứu và Giáo dục trong Toán học tại Indonesia (2012). Đề tài nhận tài trợ nghiên cứu từ Quỹ NAFOSTED.

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

  • Hạn chế:
    • Nghiên cứu về sự tồn tại nghiệm yếu dương cho bài toán biên elliptic chứa toán tử $A_\psi$ mới chỉ giải quyết cho trường hợp số mũ dưới tới hạn $p \in (2, 2^)$. Trường hợp số mũ tới hạn Sobolev $p = 2^ = \frac{2\widetilde{N}}{\widetilde{N}-2}$ (tương tự bài toán Brezis-Nirenberg cho toán tử Laplace) vẫn là bài toán mở chưa có lời giải đối với toán tử $A_\psi$.
    • Đánh giá số chiều fractal mới được thiết lập cho phương trình trong miền bị chặn; việc đánh giá định lượng số chiều fractal hoặc số chiều Hausdorff của tập hút toàn cục trên miền không bị chặn $\mathbb{R}^N$ chưa được thực hiện.
  • Hướng nghiên cứu tiếp theo:
    • Khảo sát bài toán elliptic suy biến chứa toán tử $A_\psi$ với số hạng phi tuyến có số mũ tới hạn $p = 2^*$.
    • Nghiên cứu dáng điệu tiệm cận nghiệm và số chiều fractal của tập hút cho các phương trình đạo hàm riêng phi tuyến chứa toán tử suy biến bậc cao hoặc hệ phương trình hyperbolic liên kết.
    • Nghiên cứu tính chính quy $C^\alpha$ và $C^{2,\alpha}$ (tính trơn Hölder) của nghiệm bài toán biên elliptic suy biến.

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, học viên cao học và giảng viên ngành Toán giải tích: Cung cấp tài liệu chi tiết về kỹ thuật thiết lập các không gian Sobolev có trọng, kỹ thuật chứng minh bất đẳng thức nhúng kiểu Sobolev cho toán tử suy biến, và phương pháp ước lượng tiên nghiệm De Giorgi/Moser.
  • Các nhà nghiên cứu về Phương trình đạo hàm riêng và Hệ động lực vô hạn chiều: Cung cấp khung phương pháp luận hoàn chỉnh về việc kết hợp phương pháp phương trình năng lượng với kỹ thuật ước lượng đuôi nghiệm trên miền không bị chặn $\mathbb{R}^N$, cũng như kỹ thuật áp dụng phương pháp $l$-quỹ đạo để đánh giá số chiều fractal của tập hút toàn cục cho các lớp toán tử suy biến.

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

1. Toán tử tổng quát $A_\psi$ được định nghĩa thế nào và mối liên hệ với toán tử Grushin $G_k$?

Toán tử $A_\psi$ được định nghĩa bởi $A_\psi u := \sum_{j=1}^N \partial_{x_j} (\psi_j^2(X) \partial_{x_j} u)$ trên miền $\Omega \subset \mathbb{R}^N$, trong đó $\psi_j$ thỏa mãn các điều kiện về tính liên tục, tính chẵn, tính thuần nhất và đạo hàm riêng bị chặn dưới bởi hàm trọng. Toán tử Grushin $G_k = \Delta_x + |x|^{2k}\Delta_y$ ($k \ge 0$) trên $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$ là một trường hợp riêng của lớp toán tử này với trọng số $\psi$ suy biến trên mặt phẳng $x=0$.

2. Số chiều thuần nhất $\widetilde{N}$ và số mũ nhúng tới hạn Sobolev được tính như thế nào?

Với nửa nhóm giãn nở $\delta_t(X) = (t^{\epsilon_1}x_1, \dots, t^{\epsilon_N}x_N)$ ($1 = \epsilon_1 \le \dots \le \epsilon_N$), số chiều thuần nhất là $\widetilde{N} = \sum_{j=1}^N \epsilon_j$. Số mũ nhúng tới hạn Sobolev tương ứng của không gian $S_0^2(\Omega)$ vào không gian Lebesgue là $2^* = \frac{2\widetilde{N}}{\widetilde{N}-2}$ khi $\widetilde{N} > 2$.

3. Luận án sử dụng phương pháp nào để chứng minh sự tồn tại nghiệm yếu của phương trình elliptic suy biến?

Luận án kết hợp phương pháp nghiệm trên - nghiệm dưới và phương pháp biến phân: xây dựng tập lồi đóng yếu $M = {u \in S_0^2(\Omega): \underline{u} \le u \le \bar{u}}$, chứng minh phiếm hàm năng lượng $E(u)$ có tính chất bức và nửa liên tục dưới yếu trên $M$, từ đó tìm điểm cực tiểu của phiếm hàm chính là nghiệm yếu của bài toán. Đối với nghiệm không âm, luận án áp dụng quy tắc nhân tử Lagrange trên mặt cầu đơn vị của $L^p(\Omega)$.

4. Bằng cách nào luận án vượt qua sự mất tính compact của phép nhúng Sobolev khi xét bài toán trên toàn không gian $\mathbb{R}^N$?

Trên toàn không gian $\mathbb{R}^N$, phép nhúng $S^1(\mathbb{R}^N) \hookrightarrow L^2(\mathbb{R}^N)$ không compact. Luận án giải quyết bằng cách sử dụng phương pháp phương trình năng lượng kết hợp phương pháp ước lượng đuôi nghiệm: chứng minh rằng phần năng lượng của nghiệm nằm ngoài hình cầu bán kính lớn $|X| \ge R$ sẽ tiến dần về 0 đều theo thời gian $t$ khi $R \to \infty$, từ đó khôi phục tính compact tiệm cận của nửa nhóm nghiệm.

5. Số chiều fractal của tập hút toàn cục trong miền bị chặn được đánh giá bằng công cụ gì?

Luận án sử dụng phương pháp $l$-quỹ đạo kết hợp việc kiểm tra tính chất nén suy rộng (Generalized Squeezing Property - GSP) của ánh xạ giải trên không gian Hilbert pha $S_0^1(\Omega) \times L^2(\Omega)$, qua đó chứng minh số chiều fractal $\dim_F \mathcal{A}$ là một đại lượng hữu hạn.

Kết luận

Luận án tiến sĩ của Dương Trọng Luyện đã giải quyết một cách hệ thống các vấn đề cốt lõi về sự tồn tại nghiệm yếu, tính chính quy $L^q \to L^\infty$ của bài toán biên đối với phương trình elliptic suy biến chứa toán tử $A_\psi$. Đồng thời, công trình đã thiết lập sự tồn tại, duy nhất của nghiệm tích phân và cấu trúc tập hút toàn cục, đánh giá số chiều fractal cho phương trình hyperbolic tắt dần chứa toán tử elliptic suy biến mạnh trong miền bị chặn cũng như trên toàn không gian $\mathbb{R}^N$. Các kết quả đạt được đã bổ sung những mắt xích lý thuyết quan trọng cho lý thuyết phương trình vi phân đạo hàm riêng suy biến và hệ động lực vô hạn chiều, được minh chứng qua 04 công bố trên các tạp chí quốc tế chuyên ngành.