Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số tính chất nghiệm của lớp phương trình chứa toán tử elliptic suy biến mạnh" được thực hiện bởi nghiên cứu sinh Phùng Thị Kim Yến dưới sự hướng dẫn khoa học của PGS. Hà Tiến Ngoạn, bảo vệ tại Trường Đại học Sư phạm – Đại học Thái Nguyên vào năm 2023. Luận án thuộc chuyên ngành Toán Giải tích, mã số 9460102.

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

Các phương trình đạo hàm riêng phi tuyến là mô hình giải tích của nhiều quá trình vật lý, hóa học và sinh học như truyền nhiệt, truyền sóng trong cơ học chất lỏng, phản ứng hóa học hay biến động quần thể. Lý thuyết phương trình elliptic tuyến tính đã phát triển tương đối hoàn thiện; tuy nhiên, thực tiễn và lý thuyết đòi hỏi việc nghiên cứu các lớp phương trình đạo hàm riêng phi tuyến và suy biến. Các phương trình chứa toán tử elliptic suy biến xuất hiện khi nghiên cứu môi trường hoặc vật chất có mật độ không đồng đều (nơi rất loãng, nơi rất dày).

Đối với phương trình elliptic cấp hai suy biến, các kết quả về sự tồn tại nghiệm, nghiệm dương và nghiệm không tầm thường gắn với đồng nhất thức Pohozaev đã được một số tác giả thiết lập. Đối với phương trình cấp bốn, các mô hình phi tuyến nửa tuyến tính chứa bình phương toán tử Laplace thông thường ($\Delta^2$) đã được nghiên cứu từ những năm 1980 nhằm mô tả hiện tượng sóng truyền trong cầu treo hoặc độ võng tĩnh của bản đàn hồi trong chất lỏng. Dẫu vậy, các bài toán biên đối với phương trình elliptic suy biến cấp bốn chứa toán tử $\Delta_\gamma^2$ hoàn toàn chưa có công trình nào khảo sát.

Đồng thời, đối với bài toán Cauchy cho phương trình tiến hóa hyperbolic suy biến, hầu hết các nghiên cứu về dáng điệu tiệm cận và tập hút toàn cục mới chỉ dừng lại ở các miền không gian bị chặn. Khi mở rộng ra toàn không gian $\mathbb{R}^N$, tính compact của các phép nhúng Sobolev thông thường bị triệt tiêu, gây khó khăn cho việc nghiên cứu tính ổn định tiệm cận của nghiệm. Việc khảo sát phương trình hyperbolic suy biến mạnh chứa toán tử $P_{\alpha,\beta}$ trong toàn không gian $\mathbb{R}^N$ khi phương trình xuất hiện thêm số hạng thế $l(X)u$ và hàm phi tuyến $f(X,u)$ phụ thuộc tường minh vào biến không gian vẫn còn là một vấn đề mở.

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

Luận án xác định hai nội dung nghiên cứu chính tương ứng với hai mục tiêu cụ thể được đánh số trong văn bản:

  1. Nội dung 1: Nghiên cứu sự tồn tại và không tồn tại nghiệm của bài toán Dirichlet cho phương trình $\Delta_\gamma^2$-Laplace nửa tuyến tính cấp bốn trong miền bị chặn với các vấn đề: sự không tồn tại nghiệm mạnh không tầm thường; sự tồn tại nghiệm yếu không tầm thường.
  2. Nội dung 2: Nghiên cứu dáng điệu tiệm cận khi thời gian lớn của các phương trình hyperbolic nửa tuyến tính có chứa các toán tử elliptic suy biến mạnh $P_{\alpha,\beta}$ trong toàn không gian với các vấn đề: sự tồn tại duy nhất của nghiệm tích phân toàn cục; sự tồn tại tập hút toàn cục compact và cấu trúc của nó.

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

  • Đối tượng nghiên cứu: Các bài toán biên và bài toán biên - giá trị ban đầu (bài toán Cauchy) chứa toán tử vi phân elliptic suy biến dạng: $$\Delta_\gamma u = \sum_{j=1}^N \frac{\partial}{\partial x_j}\left(\gamma_j^2 \frac{\partial u}{\partial x_j}\right)$$ trong đó $\gamma_j$ thỏa mãn các điều kiện giải tích về tính đối xứng, tính đơn điệu và tính thuần nhất đối với nhóm co giãn. Trọng tâm là toán tử cấp bốn $\Delta_\gamma^2 = \Delta_\gamma(\Delta_\gamma)$ và toán tử suy biến mạnh $P_{\alpha,\beta} = \Delta_x + \Delta_y + |x|^{2\alpha}|y|^{2\beta}\Delta_z$.
  • Phạm vi nghiên cứu:
    • Về không gian: Miền mở bị chặn có biên trơn $\Omega \subset \mathbb{R}^N$ đối với phương trình elliptic suy biến cấp bốn; toàn không gian Euclid $\mathbb{R}^N = \mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$ đối với phương trình hyperbolic suy biến mạnh.
    • Về thời gian: Xét khoảng thời gian $t > 0$ và quá trình tiệm cận khi $t \to +\infty$ trong bài toán động lực học.

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 được điểm lại trong văn bản

Tác giả đã hệ thống hóa lịch sử nghiên cứu phương trình đạo hàm riêng suy biến và phi tuyến qua các công trình tiêu biểu sau:

  • Đồng nhất thức Pohozaev và số mũ tới hạn: Công trình của S. Pohozaev (1965) [37] nghiên cứu bài toán biên $\Delta u + f(u) = 0$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$). Pohozaev đã đưa ra đồng nhất thức tích phân mang tên ông, chứng minh rằng khi $N \ge 3$, với $t \ge \frac{N+2}{N-2}$ và miền $\Omega$ có tính chất hình sao thì bài toán không có nghiệm dương; ngược lại khi $1 < t < \frac{N+2}{N-2}$ thì bài toán có nghiệm dương. Giá trị $t_0 = \frac{N+2}{N-2}$ được xác định là số mũ Sobolev tới hạn.
  • Phương trình elliptic suy biến cấp hai: A. Lanconelli và các cộng sự (công trình [29]) đã mở rộng kết quả cho toán tử elliptic suy biến cấp hai $\Delta_\gamma$ trong bài toán $\Delta_\gamma u - \eta u + f(X, u) = 0$ trên miền mở bị chặn $\Omega$. Các tác giả đã thiết lập đồng nhất thức kiểu Pohozaev cho $\Delta_\gamma$, chứng minh sự tồn tại nghiệm yếu không tầm thường qua phương pháp biến phân và xác định số mũ tăng trưởng tới hạn của hàm $f(X, u)$ là $2^*_\gamma - 1 = \frac{\tilde{N}+2}{\tilde{N}-2}$, trong đó $\tilde{N}$ là số chiều thuần nhất. Các nghiên cứu liên quan khác được điểm lại gồm tài liệu [7, 31, 32, 54, 55].
  • Phương trình elliptic cấp bốn nửa tuyến tính: Nghiên cứu về toán tử song điều hòa $\Delta^2 u = f(X, u)$ với điều kiện biên Dirichlet $u = \partial_\nu u = 0$ được khảo sát từ những năm 80 của thế kỷ XX, như công trình tổng quan [56] ứng dụng trong lý thuyết đàn hồi (dao động cầu treo, tấm bản ngập trong chất lỏng).
  • Dáng điệu tiệm cận của phương trình hyperbolic: Các nghiên cứu của nhiều tác giả [2–8, 14, 15, 17, 38, 46, 48, 50–53, 61] khảo sát bài toán Cauchy và tính hút toàn cục trong miền bị chặn bằng công cụ hệ động lực vô hạn chiều và lý thuyết nửa nhóm.
  • Phương trình hyperbolic trong toàn không gian $\mathbb{R}^N$: Công trình năm 2005 của Fall Djiby [21] nghiên cứu bài toán truyền sóng tắt dần $u_{tt} + \beta u_t + u = \Delta u + f(X, u)$ trên $\mathbb{R}^N$, sử dụng phương pháp đánh giá phần đuôi nghiệm (tail-estimate) để chứng minh sự tồn tại tập hút toàn cục trong không gian pha $H^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$. A. Sonner [32] áp dụng kỹ thuật ước lượng phần đuôi (theo ý tưởng của [15, 39]) để nghiên cứu phương trình hyperbolic suy biến chứa toán tử $P_{\alpha,\beta}$ trên miền bị chặn $\Omega$.

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

Tổng quan tài liệu trong văn bản chỉ ra hai khoảng trống nghiên cứu rõ rệt:

  1. Đối với phương trình cấp bốn, các công trình trước đây chỉ tập trung vào toán tử song điều hòa chuẩn $\Delta^2$; hoàn toàn vắng bóng các công trình nghiên cứu phương trình elliptic suy biến cấp bốn chứa toán tử $\Delta_\gamma^2$ cả về đồng nhất thức tích phân, điều kiện không tồn tại nghiệm mạnh lẫn điều kiện tồn tại nghiệm yếu.
  2. Đối với phương trình hyperbolic suy biến chứa toán tử $P_{\alpha,\beta}$, các kết quả đã công bố chủ yếu giới hạn trong miền không gian bị chặn. Luận án mở rộng việc khảo sát bài toán Cauchy ra toàn không gian $\mathbb{R}^N$ khi có thêm thành phần thế tuyến tính $l(X)u$ và hàm phi tuyến $f(X, \xi)$ phụ thuộc vào biến vị trí $X$.

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

Lý thuyết, khái niệm và khung phân tích

Luận án vận dụng các khung lý thuyết thuộc Giải tích hàm phi tuyến và Hệ động lực vô hạn chiều:

  • Lý thuyết điểm tới hạn (Critical Point Theory): Các khái niệm đạo hàm Gâteaux, đạo hàm Fréchet của phiếm hàm năng lượng trong không gian Banach; điều kiện suy rộng Cerami $(C)c$ (dãy thỏa mãn $\Phi(x_n) \to c$ và $(1 + |x_n|)|\Phi'(x_n)|* \to 0$ chứa dãy con hội tụ mạnh); Định lý qua núi (Mountain Pass Theorem) của Ambrosetti và Rabinowitz; định lý tách điểm tới hạn đối với phiếm hàm chẵn để khẳng định tính nhiều nghiệm.
  • Lý thuyết hệ động lực vô hạn chiều: Khái niệm nửa nhóm liên tục, $C_0$-nửa nhóm tuyến tính và toán tử sinh vô cùng bé; tính compact tiệm cận của nửa nhóm; khái niệm tập hút toàn cục (tập đóng, bị chặn, bất biến và hút mọi tập bị chặn); hệ gradient liên tục, hàm Lyapunov ngặt; cấu trúc tập hút thông qua đa tạp không ổn định $W^u(E)$ của tập điểm cân bằng $E$.

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

Luận án thuần túy là công trình nghiên cứu giải tích lý thuyết, sử dụng các phương pháp toán học định tính và biến phân:

  • Phương pháp đồng nhất thức tích phân kiểu Pohozaev: Xây dựng trường vectơ đạo hàm $T = \sum_{i=1}^N \varepsilon_i x_i \partial_{x_i}$ thích ứng với cấu trúc co giãn của toán tử suy biến cấp bốn $\Delta_\gamma^2$, nhân tích phân từng phần với nghiệm để thu được các hệ thức năng lượng trên biên.
  • Phương pháp biến phân: Chuyển bài toán biên elliptic về việc tìm điểm tới hạn của phiếm hàm năng lượng tương ứng trên không gian hàm Sobolev có trọng thích hợp.
  • Phương pháp xấp xỉ Galerkin: Dùng để giải bài toán tiến hóa hyperbolic, xây dựng dãy nghiệm xấp xỉ trên không gian hữu hạn chiều và chuyển qua giới hạn dựa trên các định lý hội tụ yếu và bổ đề compact Aubin-Lions.
  • Phương pháp đánh giá phần đuôi nghiệm (tail-estimate) và đánh giá tiên nghiệm tiệm cận: Sử dụng hàm cắt trơn để ước lượng tích phân của nghiệm bên ngoài các hình cầu bán kính lớn khi $t \to +\infty$, từ đó khắc phục sự thiếu compact của các phép nhúng Sobolev trên toàn không gian $\mathbb{R}^N$.

Nguồn tư liệu và các không gian hàm

Dữ liệu nghiên cứu của luận án là các cấu trúc giải tích và không gian hàm chuyên biệt:

  • Số chiều thuần nhất: Với nhóm co giãn $\delta_t(X) = (t^{\varepsilon_1}x_1, \dots, t^{\varepsilon_N}x_N)$ ($1 = \varepsilon_1 \le \dots \le \varepsilon_N$), số chiều thuần nhất được định nghĩa là $\tilde{N} = \sum_{i=1}^N \varepsilon_i$.
  • Không gian kiểu Sobolev trên miền bị chặn $\Omega$:
    • $S_{\gamma,0}^{1,p}(\Omega)$: Bao đóng của $C_0^\infty(\Omega)$ theo chuẩn đạo hàm trọng số $\gamma_j \partial_{x_j} u$.
    • $S_\gamma^{2,p}(\Omega)$ và $S_{\gamma,0}^{2,2}(\Omega)$: Không gian các hàm có đạo hàm cấp hai dạng trọng số $\gamma_j \partial_{x_j}(\gamma_i \partial_{x_i} u) \in L^p(\Omega)$. Chuẩn $|u|{S{\gamma,0}^{2,2}(\Omega)}$ tương đương với chuẩn $||\Delta_\gamma u||_{L^2(\Omega)}$.
    • Định lý nhúng (Mệnh đề 1.1 trong luận án): Với $\tilde{N} > 4$, phép nhúng $S_{\gamma,0}^{2,2}(\Omega) \hookrightarrow L^q(\Omega)$ là liên tục với $1 \le q \le 2^_\gamma := \frac{2\tilde{N}}{\tilde{N}-4}$ và là compact với $1 \le q < 2^_\gamma$.
  • Không gian kiểu Sobolev trên toàn không gian $\mathbb{R}^N$:
    • Không gian Hilbert $S_2^1(\mathbb{R}^N)$: Bao đóng của $C_0^\infty(\mathbb{R}^N)$ theo chuẩn kết hợp tích phân $|u|^2$ và $|\nabla_{\alpha,\beta} u|^2$, trong đó: $$|\nabla_{\alpha,\beta} u|^2 = \sum_{i=1}^{N_1}\left(\frac{\partial u}{\partial x_i}\right)^2 + \sum_{j=1}^{N_2}\left(\frac{\partial u}{\partial y_j}\right)^2 + |x|^{2\alpha}|y|^{2\beta}\sum_{l=1}^{N_3}\left(\frac{\partial u}{\partial z_l}\right)^2$$

Bảng dưới đây tổng hợp các toán tử và không gian hàm cơ bản được khảo sát trong luận án:

Tên toán tử / Không gian Ký hiệu / Định nghĩa toán học Miền khảo sát Số chiều thuần nhất ($\tilde{N}$) / Số mũ tới hạn
Toán tử $\Delta_\gamma$-Laplace $\Delta_\gamma u = \sum_{j=1}^N \partial_{x_j}(\gamma_j^2 \partial_{x_j} u)$ Miền $\Omega \subset \mathbb{R}^N$ $\tilde{N} = \varepsilon_1 + \dots + \varepsilon_N$
Toán tử Grushin $G_\alpha = \Delta_x + |x|^{2\alpha}\Delta_y$ $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$ $\tilde{N}_\alpha = N_1 + N_2(1+\alpha)$
Toán tử $P_{\alpha,\beta}$ $P_{\alpha,\beta} = \Delta_x + \Delta_y + |x|^{2\alpha}|y|^{2\beta}\Delta_z$ $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$ $\tilde{N}_{\alpha,\beta} = N_1 + N_2 + (1+\alpha+\beta)N_3$
Không gian $S_{\gamma,0}^{2,2}(\Omega)$ Bao đóng $C_0^\infty(\Omega)$ theo chuẩn $|\Delta_\gamma u|_{L^2}$ $\Omega \subset \mathbb{R}^N$ bị chặn Số mũ tới hạn nhúng Sobolev: $2^*_\gamma = \frac{2\tilde{N}}{\tilde{N}-4}$
Không gian $S_2^1(\mathbb{R}^N)$ Bao đóng $C_0^\infty(\mathbb{R}^N)$ theo chuẩn $|\cdot|{L^2} + |\nabla{\alpha,\beta}\cdot|_{L^2}$ Toàn không gian $\mathbb{R}^N$ Số mũ tới hạn: $2^*{\alpha,\beta} = \frac{2\tilde{N}{\alpha,\beta}}{\tilde{N}_{\alpha,\beta}-2}$

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 định nghĩa, bổ đề và mệnh đề nền tảng làm công cụ phân tích cho hai chương sau:

  • Trình bày định nghĩa toán tử $\Delta_\gamma$, giả thiết về họ trọng số $\gamma_j(X)$ (tính đối xứng, đạo hàm bị chặn bởi $\rho \gamma_j$, tính thuần nhất cấp $\varepsilon_j - 1$ đối với nhóm co giãn $\delta_t$) và định nghĩa số chiều thuần nhất $\tilde{N}$. Đưa ra các ví dụ cụ thể về toán tử Grushin $G_\alpha$, toán tử suy biến hai vế $P_{\alpha,\beta}$ và dạng tổng quát đa chỉ số.
  • Định nghĩa các không gian kiểu Sobolev $S_{\gamma,0}^{1,p}(\Omega)$, $S_\gamma^{2,p}(\Omega)$, $S_{\gamma,0}^{2,2}(\Omega)$ trong miền bị chặn và $S_2^1(\mathbb{R}^N)$ trong toàn không gian; thiết lập các định lý nhúng Sobolev liên tục và compact tương ứng với các giá trị tới hạn $2^_\gamma$ và $2^_{\alpha,\beta}$.
  • Giới thiệu các khái niệm về tính khả vi Gâteaux, khả vi Fréchet của phiếm hàm phi tuyến, định nghĩa điều kiện compact Cerami $(C)_c$, và phát biểu Định lý qua núi cũng như định lý điểm tới hạn cho phiếm hàm chẵn trên không gian vô hạn chiều.
  • Trình bày lý thuyết nửa nhóm liên tục, nửa nhóm compact tiệm cận, hệ gradient, hàm Lyapunov ngặt và Định lý 1.1 về sự tồn tại của tập hút toàn cục compact $\mathcal{A}$ có dạng hợp của các đa tạp không ổn định của tập điểm cân bằng: $\mathcal{A} = W^u(E)$.

Chương 2: Nghiệm của bài toán biên đối với phương trình elliptic suy biến cấp bốn

Chương 2 giải quyết bài toán Dirichlet đối với phương trình elliptic suy biến cấp bốn trên miền bị chặn trơn $\Omega \subset \mathbb{R}^N$: $$\begin{cases} \Delta_\gamma^2 u = f(x, u) & \text{trong } \Omega, \ u = \partial_\nu u = 0 & \text{trên } \partial\Omega. \end{cases}$$

Nội dung chương triển khai qua hai hướng chính:

  1. Thiết lập đồng nhất thức kiểu Pohozaev và định lý triệt tiêu nghiệm mạnh:

    • Xây dựng trường vectơ $T = \sum_{i=1}^N \varepsilon_i x_i \partial_{x_i}$. Thiết lập Mệnh đề 2.1 biểu diễn tích phân $\int_\Omega [T(u)\Delta_\gamma^2 u + T(\Delta_\gamma u)\Delta_\gamma u]dx$ qua các số hạng thể tích và tích phân mặt trên biên $\partial\Omega$.
    • Dẫn xuất đồng nhất thức Pohozaev cho nghiệm mạnh $u \in C^4(\Omega) \cap C^3(\overline{\Omega})$ (Mệnh đề 2.2): $$\int_\Omega \left[ \tilde{N} F(u) - \frac{\tilde{N}-4}{2} u f(u) \right] dx = \frac{1}{2} \int_{\partial\Omega} |\Delta_\gamma u|^2 \langle T, \nu \rangle dS$$ trong đó $F(u) = \int_0^u f(s)ds$.
    • Từ đồng nhất thức trên, tác giả chứng minh: Nếu $\Omega$ là miền $\delta_t$-hình sao ứng với gốc tọa độ (nghĩa là $0 \in \Omega$ và $\langle T, \nu \rangle \ge 0$ trên $\partial\Omega$) và hàm phi tuyến thỏa mãn $\tilde{N} F(\xi) - \frac{\tilde{N}-4}{2} \xi f(\xi) < 0$ với mọi $\xi \ne 0$, thì bài toán không có nghiệm mạnh không tầm thường (Định lý 2.1).
    • Áp dụng cho hàm phi tuyến lũy thừa $f(x, \xi) = |\xi|^{p-1}\xi$: Định lý 2.2 chỉ ra rằng nếu $p > \frac{\tilde{N}+4}{\tilde{N}-4}$ và miền $\Omega$ là $\delta_t$-hình sao thì bài toán không có nghiệm mạnh không tầm thường. Ví dụ 2.1 minh họa trên hình cầu đơn vị $B_1(0) \subset \mathbb{R}^3$ cho phương trình chứa toán tử $\Delta_\gamma = \partial_x^2 + x^4 \partial_y^2 + \partial_z^2$, có $\tilde{N} = 7$, số mũ tới hạn $\frac{\tilde{N}+4}{\tilde{N}-4} = \frac{11}{3}$; khi đó với vế phải $|u|^3 u$ (bậc tăng trưởng bằng 4 lớn hơn $11/3$) bài toán hoàn toàn không có nghiệm mạnh không tầm thường.

  2. Sự tồn tại nghiệm yếu không tầm thường:

    • Định nghĩa nghiệm yếu $u \in S_{\gamma,0}^{2,2}(\Omega)$ thỏa mãn $\int_\Omega \Delta_\gamma u \Delta_\gamma \varphi dx - \int_\Omega f(x, u)\varphi dx = 0$ với mọi $\varphi \in S_{\gamma,0}^{2,2}(\Omega)$.
    • Xét phiếm hàm năng lượng $\Phi(u) = \frac{1}{2}\int_\Omega |\Delta_\gamma u|^2 dx - \int_\Omega F(x, u)dx$. Bổ đề 2.1 chứng minh $\Phi$ khả vi Fréchet trên $S_{\gamma,0}^{2,2}(\Omega)$.
    • Đặt ra các hệ điều kiện Carathéodory (A1)–(A5) và (A'4) đối với hàm $f(x, \xi)$, trong đó số mũ dưới tới hạn $p < 2^*_\gamma = \frac{2\tilde{N}}{\tilde{N}-4}$ (tương ứng bậc tăng trưởng của $f$ nhỏ hơn $\frac{\tilde{N}+4}{\tilde{N}-4}$), cùng điều kiện dạng Ambrosetti-Rabinowitz: $\mu F(x, \xi) \le \xi f(x, \xi)$ khi $|\xi| \ge r_1$ với $\mu > 2$.
    • Chứng minh phiếm hàm $\Phi$ thỏa mãn điều kiện Cerami $(C)_c$ (Bổ đề 2.2), từ đó áp dụng Định lý qua núi để khẳng định sự tồn tại của ít nhất một nghiệm yếu không tầm thường (Định lý 2.3 và 2.4). Khi $f$ là hàm lẻ theo biến $\xi$, bài toán có vô số nghiệm yếu không tầm thường.

Chương 3: Dáng điệu khi thời gian lớn của nghiệm phương trình hyperbolic suy biến mạnh

Chương 3 khảo sát phương trình hyperbolic nửa tuyến tính tắt dần trong toàn không gian $\mathbb{R}^N$: $$u_{tt} + \lambda u_t + l(X)u = P_{\alpha,\beta} u + f(X, u), \quad X \in \mathbb{R}^N, t > 0$$ cùng điều kiện ban đầu $u(X, 0) = u_0(X), u_t(X, 0) = u_1(X)$.

Chương được cấu trúc thành các nội dung chính:

  • Tồn tại và duy nhất nghiệm tích phân toàn cục: Đưa phương trình về dạng hệ cấp một tương ứng với toán tử sinh của một $C_0$-nửa nhóm giải tích. Sử dụng phương pháp xấp xỉ Galerkin kết hợp các đánh giá tiên nghiệm để chứng minh sự tồn tại duy nhất của nghiệm tích phân toàn cục $(u, u_t) \in C([0, +\infty); S_2^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N))$ và sự phụ thuộc liên tục của nghiệm vào dữ kiện ban đầu.
  • Sự tồn tại tập hút toàn cục compact: Do miền xét là toàn không gian $\mathbb{R}^N$, các phép nhúng Sobolev không compact. Tác giả áp dụng kỹ thuật ước lượng phần đuôi nghiệm (tail estimates) bằng cách nhân phương trình với các hàm cắt thích hợp triệt tiêu trong các quả cầu bị chặn, chứng minh rằng năng lượng của nghiệm bên ngoài quả cầu bán kính $R$ tiến dần về 0 đều khi $R \to \infty$ và $t \to \infty$. Qua đó chứng minh nửa nhóm giải là compact tiệm cận trong không gian pha $S_2^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$, dẫn đến sự tồn tại của tập hút toàn cục compact $\mathcal{A}$.
  • Cấu trúc của tập hút toàn cục: Xây dựng phiếm hàm năng lượng đóng vai trò là hàm Lyapunov ngặt, chứng minh hệ động lực tương ứng là một hệ gradient liên tục. Áp dụng lý thuyết hệ gradient suy ra tập hút toàn cục $\mathcal{A}$ có cấu trúc liên thông và trùng khớp với hợp của các đa tạp không ổn định xuất phát từ tập các điểm cân bằng: $\mathcal{A} = W^u(E)$.

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

Các đóng góp mới về mặt lý luận

  1. Thiết lập đồng nhất thức Pohozaev cho toán tử cấp bốn suy biến: Lần đầu tiên đề xuất và chứng minh giải tích chính xác một đồng nhất thức tích phân kiểu Pohozaev cho toán tử elliptic suy biến cấp bốn $\Delta_\gamma^2$ trên miền bị chặn (Mệnh đề 2.1 và Mệnh đề 2.2). Kết quả này mang tính bao hàm, áp dụng được cho cả trường hợp toán tử song điều hòa không suy biến $\Delta^2$.
  2. Xác lập điều kiện không tồn tại nghiệm mạnh: Đưa ra điều kiện đủ về hình học của miền ($\delta_t$-hình sao) và bậc tăng trưởng của số hạng phi tuyến $p > \frac{\tilde{N}+4}{\tilde{N}-4}$ để phương trình $\Delta_\gamma^2 u = f(x, u)$ không có nghiệm mạnh không tầm thường.
  3. Chứng minh sự tồn tại và tính nhiều nghiệm yếu: Sử dụng phương pháp biến phân với điều kiện Cerami suy rộng để chứng minh tính giải được yếu của bài toán Dirichlet cho toán tử $\Delta_\gamma^2$ dưới ngưỡng tăng trưởng tới hạn $\frac{\tilde{N}+4}{\tilde{N}-4}$, đồng thời chỉ ra tính chất có vô số nghiệm khi hàm phi tuyến lẻ.
  4. Giải quyết bài toán hyperbolic suy biến trong toàn không gian: Thiết lập tính đặt đúng toàn cục (tồn tại và duy nhất nghiệm) của bài toán Cauchy cho phương trình hyperbolic suy biến mạnh chứa toán tử $P_{\alpha,\beta}$ trên $\mathbb{R}^N$. Sử dụng thành công kỹ thuật đánh giá phần đuôi nghiệm để khắc phục tổn thất compact, chứng minh sự tồn tại của tập hút toàn cục compact và mô tả chính xác cấu trúc của tập hút này dưới dạng hợp các đa tạp không ổn định của tập điểm cân bằng.

Đóng góp thực tiễn và công bố khoa học

Các kết quả toán học trong luận án đã được công bố trên 02 bài báo khoa học tại các tạp chí chuyên ngành quốc tế:

  • Bài báo liên quan đến nghiệm bài toán biên phương trình elliptic suy biến cấp bốn (công bố nội dung Chương 2).
  • Bài báo liên quan đến dáng điệu tiệm cận nghiệm và tập hút của phương trình hyperbolic suy biến mạnh trong toàn không gian (công bố nội dung Chương 3).

Nội dung nghiên cứu cũng đã được báo cáo và thẩm định học thuật tại seminar của Bộ môn Giải tích Toán học (Khoa Toán - Tin, Trường Đại học Sư phạm Thái Nguyên) và seminar Phòng Giải tích Toán học (Viện Toán học, Viện Hàn lâm Khoa học và Công nghệ Việt Nam). Đề tài nhận tài trợ kinh phí từ Quỹ Phát triển khoa học và công nghệ Quốc gia (NAFOSTED).

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

Hạn chế được ghi nhận từ phạm vi nghiên cứu

  • Các kết quả về sự tồn tại nghiệm yếu của phương trình elliptic suy biến cấp bốn trong Chương 2 mới chỉ được thiết lập cho trường hợp dưới tới hạn ($p < \frac{\tilde{N}+4}{\tilde{N}-4}$); trường hợp số mũ đúng bằng giá trị tới hạn $\frac{\tilde{N}+4}{\tilde{N}-4}$ hoặc trên tới hạn chưa được giải quyết trong khuôn khổ luận án.
  • Miền không gian xét cho phương trình elliptic đòi hỏi tính trơn của biên và cấu trúc hình học $\delta_t$-hình sao khi áp dụng đồng nhất thức Pohozaev; chưa mở rộng cho các miền có biên kỳ dị hoặc góc cạnh.
  • Đối với phương trình hyperbolic trong Chương 3, nghiên cứu mới khảo sát toán tử cụ thể $P_{\alpha,\beta}$ với các tham số $\alpha, \beta \ge 0$, chưa tổng quát hóa hoàn toàn cho lớp toán tử $\Delta_\gamma$ với ma trận trọng số phức tạp tùy ý trong toàn không gian.

Hướng nghiên cứu tiếp theo được đề xuất

Dựa trên phần kiến nghị của văn bản, các hướng nghiên cứu mở rộng bao gồm:

  1. Nghiên cứu sự tồn tại nghiệm của bài toán Dirichlet cho phương trình elliptic suy biến cấp bốn $\Delta_\gamma^2$ trong trường hợp số hạng phi tuyến có bậc tăng trưởng tới hạn $\frac{\tilde{N}+4}{\tilde{N}-4}$.
  2. Nghiên cứu dáng điệu tiệm cận nghiệm và cấu trúc tập hút của phương trình hyperbolic suy biến trong các không gian pha có độ trơn cao hơn.
  3. Khảo sát việc ước lượng số chiều fractal và số chiều Hausdorff của tập hút toàn cục compact $\mathcal{A}$ của phương trình hyperbolic suy biến trong toàn không gian.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo toán học có giá trị học thuật cao, phục vụ trực tiếp cho các đối tượng và hoạt động nghiên cứu sau:

  • Nghiên cứu sinh và học viên cao học: Là tài liệu tham khảo chi tiết về việc ứng dụng lý thuyết điểm tới hạn (Định lý qua núi, điều kiện Cerami) và lý thuyết hệ động lực vô hạn chiều vào việc xử lý các phương trình đạo hàm riêng phi tuyến chứa toán tử suy biến.
  • Giảng viên và nhà nghiên cứu giải tích: Cung cấp kỹ thuật giải tích mẫu mực trong việc thiết lập đồng nhất thức Pohozaev cho các toán tử vi phân cấp cao có trọng, cũng như phương pháp đánh giá phần đuôi nghiệm (tail estimates) để thiết lập tính compact tiệm cận của nửa nhóm trên các miền không giới nội.
  • Phần đáng tham khảo nhất:
    • Kỹ thuật tính toán tích phân từng phần trong chứng minh Mệnh đề 2.1 và Mệnh đề 2.2 (Chương 2).
    • Quy trình xử lý điều kiện Cerami trong Bổ đề 2.2 (Chương 2).
    • Kỹ thuật phân rã nghiệm và ước lượng phần đuôi trong Mục 3.2 (Chương 3) để vượt qua khó khăn về tính compact trong toàn không gian $\mathbb{R}^N$.

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

1. Toán tử $\Delta_\gamma$ và số chiều thuần nhất $\tilde{N}$ được xác định như thế nào trong luận án?

Toán tử $\Delta_\gamma$ được định nghĩa trên $\mathbb{R}^N$ ($N \ge 2$) bởi công thức $\Delta_\gamma := \sum_{j=1}^N \frac{\partial}{\partial x_j}(\gamma_j^2 \frac{\partial}{\partial x_j})$, trong đó họ hàm trọng số $\gamma_j$ thỏa mãn tính chất thuần nhất đối với nhóm co giãn $\delta_t(X) = (t^{\varepsilon_1}x_1, \dots, t^{\varepsilon_N}x_N)$ với $1 = \varepsilon_1 \le \dots \le \varepsilon_N$, cụ thể là $\gamma_j(\delta_t(X)) = t^{\varepsilon_j - 1}\gamma_j(X)$. Khi đó, toán tử $\Delta_\gamma$ là $\delta_t$-thuần nhất bậc hai. Số chiều thuần nhất tương ứng được định nghĩa bằng tổng các số mũ: $\tilde{N} := \varepsilon_1 + \varepsilon_2 + \dots + \varepsilon_N$. Đại lượng $\tilde{N}$ đóng vai trò quyết định trong các định lý nhúng Sobolev và xác định bậc tăng trưởng tới hạn của phương trình.

2. Dạng cụ thể của đồng nhất thức Pohozaev cho toán tử cấp bốn $\Delta_\gamma^2$ là gì?

Với trường vectơ $T = \sum_{i=1}^N \varepsilon_i x_i \partial_{x_i}$, đồng nhất thức Pohozaev đối với nghiệm mạnh $u \in C^4(\Omega) \cap C^3(\overline{\Omega})$ của bài toán Dirichlet thuần nhất cấp bốn $\Delta_\gamma^2 u = f(u)$ trên miền bị chặn $\Omega$ có dạng: $$\int_\Omega \left[ \tilde{N} F(u) - \frac{\tilde{N}-4}{2} u f(u) \right] dx = \frac{1}{2} \int_{\partial\Omega} |\Delta_\gamma u|^2 \langle T, \nu \rangle dS$$ trong đó $\nu$ là pháp tuyến ngoài đơn vị và $F(u) = \int_0^u f(s)ds$. Hệ thức này cho phép so sánh dấu giữa hai vế để chứng minh định lý triệt tiêu nghiệm không tầm thường trên các miền $\delta_t$-hình sao.

3. Số mũ tăng trưởng tới hạn của bài toán elliptic suy biến cấp bốn trong luận án là bao nhiêu?

Đối với phương trình $\Delta_\gamma^2 u = f(x, u)$ với $\tilde{N} > 4$, số mũ tăng trưởng tới hạn đối với biến $u$ của hàm $f(x, u)$ là đại lượng: $$p^* = \frac{\tilde{N}+4}{\tilde{N}-4}$$ Đại lượng này bắt nguồn trực tiếp từ số mũ nhúng Sobolev tới hạn của không gian $S_{\gamma,0}^{2,2}(\Omega)$ vào $L^q(\Omega)$, cụ thể là $2^_\gamma = \frac{2\tilde{N}}{\tilde{N}-4}$ (với mối liên hệ $p^ = 2^*_\gamma - 1$). Khi $p > \frac{\tilde{N}+4}{\tilde{N}-4}$, bài toán không tồn tại nghiệm mạnh không tầm thường trên miền hình sao; khi $p < \frac{\tilde{N}+4}{\tilde{N}-4}$, bài toán tồn tại nghiệm yếu không tầm thường dưới các điều kiện Carathéodory thích hợp.

4. Tại sao nghiên cứu phương trình hyperbolic suy biến trên toàn không gian $\mathbb{R}^N$ lại cần phương pháp đánh giá phần đuôi nghiệm?

Trong toàn không gian $\mathbb{R}^N$, phép nhúng Sobolev từ $S_2^1(\mathbb{R}^N)$ vào $L^2(\mathbb{R}^N)$ không compact do không gian có độ đo vô hạn và xảy ra hiện tượng mất tập trung năng lượng ra vô cực. Do đó, các tiêu chuẩn compact thông thường không thể áp dụng trực tiếp để chứng minh tính compact tiệm cận của nửa nhóm giải. Phương pháp đánh giá phần đuôi nghiệm (tail estimates) sử dụng các hàm cắt trơn để chứng minh phần năng lượng của nghiệm tích phân ngoài các quả cầu bán kính lớn $|X| > R$ tiến về 0 đều khi $R \to \infty$ và $t \to \infty$, qua đó khôi phục lại tính compact tiệm cận trên không gian pha.

5. Cấu trúc của tập hút toàn cục compact của phương trình hyperbolic suy biến được luận án mô tả như thế nào?

Bằng cách xây dựng hàm Lyapunov ngặt cho nửa nhóm nghiệm, luận án chứng minh hệ động lực vô hạn chiều tương ứng là một hệ gradient liên tục. Khi tập các điểm cân bằng $E$ là bị chặn, tập hút toàn cục compact $\mathcal{A}$ trong không gian $S_2^1(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$ là một tập hợp liên thông và có cấu trúc hình học được biểu diễn hoàn toàn qua hợp của các đa tạp không ổn định xuất phát từ các điểm cân bằng: $$\mathcal{A} = W^u(E) = \bigcup_{u_0 \in E} W^u(u_0)$$ trong đó $W^u(u_0) = { y : S(t)y \to u_0 \text{ khi } t \to -\infty }$.

Kết luận

Luận án tiến sĩ của tác giả Phùng Thị Kim Yến là công trình nghiên cứu lý thuyết hệ thống thuộc chuyên ngành Toán Giải tích, tập trung giải quyết các bài toán biên và bài toán Cauchy cho các phương trình đạo hàm riêng chứa toán tử elliptic suy biến mạnh. Tác giả đã thiết lập thành công đồng nhất thức kiểu Pohozaev cho toán tử cấp bốn suy biến $\Delta_\gamma^2$, chỉ ra số mũ tới hạn $\frac{\tilde{N}+4}{\tilde{N}-4}$, làm rõ điều kiện không tồn tại nghiệm mạnh cũng như sự tồn tại của nghiệm yếu thông qua lý thuyết điểm tới hạn và điều kiện Cerami. Đồng thời, luận án đã giải quyết bài toán đặt đúng toàn cục và chứng minh sự tồn tại, mô tả cấu trúc của tập hút toàn cục compact cho phương trình hyperbolic suy biến mạnh trong toàn không gian $\mathbb{R}^N$ nhờ kỹ thuật đánh giá phần đuôi nghiệm. Các kết quả đạt được có giá trị khoa học cơ bản, làm sáng tỏ cấu trúc nghiệm của phương trình đạo hàm riêng suy biến và tạo tiền đề cho các hướng nghiên cứu mở rộng trong giải tích hàm phi tuyến.