Tổng quan luận án

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

+---------------------------------------------------------------------------------------+
| THÔNG TIN TỔNG QUAN VỀ TÀI LIỆU                                                      |
+---------------------------------------------------------------------------------------+
| Tên đề tài: Về một số phương trình elliptic và hyperbolic phi tuyến suy biến          |
| Tác giả: Dương Trọng Luyện                                                           |
| Người hướng dẫn khoa học: GS. Nguyễn Minh Trí                                         |
| Cơ sở đào tạo: 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                                       |
| Năm hoàn thành: 2017                                                                 |
| Đơn vị tài trợ: Quỹ Phát triển khoa học và công nghệ Quốc gia (NAFOSTED)               |
+---------------------------------------------------------------------------------------+

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

Lý thuyết phương trình vi phân đạo hàm riêng khởi nguồn từ các công trình của J. Fourier và phát triển mạnh mẽ qua các nghiên cứu của B. Riemann, H. Poincaré và lý thuyết hàm suy rộng của S. Schwartz. Trong khi lý thuyết định tính và giải tích cho các phương trình elliptic tổng quát và hyperbolic phi tuyến không suy biến (chứa toán tử Laplace thông thường $\Delta$) đã đạt được hệ thống kết quả tương đối hoàn chỉnh, các bài toán đối với lớp phương trình vi phân suy biến vẫn còn nhiều khoảng trống.

Đặc biệt, lớp toán tử elliptic suy biến $\Delta_\gamma$, toán tử Grushin $G_k$, và toán tử elliptic suy biến mạnh $P_{k_1, k_2}$ làm mất đi tính elliptic đều trên các siêu mặt suy biến, dẫn đến sự mất mát tính compac của các phép nhúng Sobolev kinh điển và làm thay đổi số chiều cấu trúc của không gian. Các vấn đề về sự tồn tại nghiệm yếu, tính chính quy giải tích của nghiệm và dáng điệu tiệm cận dài hạn của nghiệm (thông qua tập hút toàn cục và số chiều fractal của tập hút) đối với các phương trình này vẫn còn ít công trình giải quyết trọn vẹn.

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

Luận án xác định ba nội dung mục tiêu nghiên cứu cụ thể:

  1. Nội dung 1: Nghiên cứu bài toán biên đối với phương trình elliptic suy biến chứa toán tử $\Delta_\gamma$, tập trung vào sự tồn tại nghiệm yếu không tầm thường và tính chính quy $L^p$ của nghiệm.
  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 $P_{k_1, k_2}$ trong miền bị chặn $\Omega \subset \mathbb{R}^N$, thiết lập sự tồn tại duy nhất của nghiệm tích phân, sự tồn tại tập hút toàn cục và đánh giá số chiều fractal hữu hạn của tập hút.
  3. Nội dung 3: Nghiên cứu 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$, chứng minh sự tồn tại duy nhất của nghiệm tích phân và sự tồn tại tập hút toàn cục trong không gian năng lượng vô hạn chiều.

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

  • Đối tượng nghiên cứu: Bài toán biên Dirichlet và bài toán Cauchy-Dirichlet đối với các lớp phương trình đạo hàm riêng phi tuyến chứa toán tử elliptic suy biến:
    • Toán tử tổng quát: $\Delta_\gamma := \sum_{j=1}^N \partial_{x_j}(\gamma_j^2(X)\partial_{x_j})$.
    • Toán tử Grushin: $G_k := \Delta_x + |x|^{2k}\Delta_y$.
    • Toán tử elliptic suy biến mạnh: $P_{k_1, k_2} := \Delta_x + \Delta_y + |x|^{2k_1}|y|^{2k_2}\Delta_z$.
  • Phạm vi không gian: Miền bị chặn $\Omega \subset \mathbb{R}^N$ với biên trơn $\partial\Omega$ và toàn không gian không bị chặn $\mathbb{R}^N$ ($N \ge 2$).

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

Vào năm 1970, V. Grushin đã giới thiệu lớp toán tử $G_k = \Delta_x + |x|^{2k}\Delta_y$ trên miền $\Omega \subset \mathbb{R}^{N_1+N_2}$. Grushin đã chỉ ra rằng khi $k > 0$, toán tử $G_k$ không elliptic trên mặt phẳng ${x = 0}$ nhưng thuộc lớp toán tử hypoelliptic, đồng thời chứng minh tính khả vi vô hạn của nghiệm khi vế phải khả vi vô hạn. Tiếp nối hướng nghiên cứu này, E. Lanconelli (2012) cùng các đồng nghiệp đã tổng quát hóa toán tử Grushin sang dạng $\Delta_\gamma$, thiết lập số mũ tới hạn Sobolev suy biến $2^*_\gamma = \frac{2\tilde{N}}{\tilde{N}-2}$ (với $\tilde{N}$ là số chiều thuần nhất), xây dựng đồng nhất thức kiểu Pohozaev và nghiên cứu bài toán biên bán tuyến tính.

Đối với phương trình hyperbolic tắt dần dạng $u_{tt} + \beta u_t = \Delta u + f(X, u)$, lý thuyết tập hút toàn cục đã được phát triển rộng rãi trên miền bị chặn bởi J. K. Hale (1985, 1988, 1992), A. Haraux (1985), A. V. Babin và M. I. Vishik (1983, 1990, 1992), R. Temam (1988, 1995), G. Raugel (1993, 2002), và J. M. Ball (2004). Đối với trường hợp suy biến, S. Sonner (2013, 2014, 2016) cùng các tác giả đã nghiên cứu các toán tử $X$-elliptic và phương trình parabolic suy biến.

Trên miền không bị chặn $\mathbb{R}^N$, việc mất tính compac của các phép nhúng Sobolev dẫn đến khó khăn lớn trong việc chứng minh tính compac tiệm cận của nửa nhóm giải. E. Feireisl (1994), Fall Djiby (2005), và Y. Xiao (2009) đã phát triển phương pháp ước lượng đuôi nghiệm để khắc phục sự thiếu vắng tính compac này trên $\mathbb{R}^N$ đối với toán tử Laplace thông thường.

Tại Việt Nam, hướng nghiên cứu về phương trình đạo hàm riêng suy biến được phát triển bởi GS. Nguyễn Minh Trí (1998, 1999, 2002, 2008, 2010, 2012, 2014, 2016) và các cộng sự (C. Anh, C. Ke, C. My, C. Toi, C. Quang) với các kết quả về sự tồn tại nghiệm, tính giải tích thực địa phương, tính điều khiển được và tập hút cho phương trình parabolic suy biến chứa toán tử Grushin.

Khoảng trống nghiên cứu được luận án giải quyết:

  • Thiết lập tính chính quy $L^p$ cho nghiệm yếu của phương trình elliptic suy biến chứa toán tử $\Delta_\gamma$.
  • Xử lý bài toán tập hút toàn cục và chặn 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 $P_{k_1, k_2}$ trong miền bị chặn.
  • Giải quyết bài toán tập hút toàn cục cho 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$ thông qua việc kết hợp hệ chuẩn suy biến và kỹ thuật hàm cắt ước lượng phần đuôi nghiệm.

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

Cơ sở lý thuyết và các khái niệm cốt lõi

  1. Toán tử suy biến $\Delta_\gamma$: Cho $\Omega \subset \mathbb{R}^N$ ($N \ge 2$). Toán tử được xác định bởi: $$\Delta_\gamma := \sum_{j=1}^N \frac{\partial}{\partial x_j}\left(\gamma_j^2(X)\frac{\partial}{\partial x_j}\right)$$ Trong đó hệ hàm $\gamma = (\gamma_1, \dots, \gamma_N)$ thỏa mãn các tính chất:

    • $\gamma_1(X) \equiv 1$, $\gamma_j(X) > 0$ với mọi $X \in \mathbb{R}^N \setminus {x_1 \dots x_{j-1} = 0}$.
    • Tồn tại nhóm biến đổi giãn đồng nhất $\delta_t(X) = (t^{\varepsilon_1}x_1, \dots, t^{\varepsilon_N}x_N)$ với $1 = \varepsilon_1 \le \varepsilon_2 \le \dots \le \varepsilon_N$ sao cho $\gamma_j$ thuần nhất bậc $\varepsilon_j - 1$. Số chiều thuần nhất tương ứng là $\tilde{N} := \sum_{j=1}^N \varepsilon_j$.

  2. Không gian hàm Sobolev suy biến $S_\gamma^p(\Omega)$: Không gian $S_\gamma^p(\Omega)$ ($1 \le p < \infty$) là tập các hàm $u \in L^p(\Omega)$ có đạo hàm suy biến $\gamma_j \partial_{x_j} u \in L^p(\Omega)$ với chuẩn: $$|u|{S\gamma^p(\Omega)} = \left( \int_\Omega |u|^p dX + \sum_{j=1}^N \int_\Omega |\gamma_j \partial_{x_j} u|^p dX \right)^{1/p}$$ Không gian $S_{\gamma, 0}^p(\Omega)$ là bao đóng của $C_0^1(\Omega)$ trong $S_\gamma^p(\Omega)$. Khi $p=2$, $S_\gamma^2(\Omega)$ và $S_{\gamma, 0}^2(\Omega)$ là các không gian Hilbert.

  3. Lý thuyết tập hút và hệ động lực vô hạn chiều:

    • Nửa nhóm ${S(t)}_{t \ge 0}$ liên tục trên không gian metric $H$.
    • Tập hút toàn cục $\mathcal{A}$: Là tập con compact, bất biến ($S(t)\mathcal{A} = \mathcal{A}, \forall t \ge 0$), và hút mọi tập bị chặn $B \subset H$ theo khoảng cách Hausdorff: $\lim_{t \to +\infty} \text{dist}_H(S(t)B, \mathcal{A}) = 0$.
    • Số chiều fractal của tập compact $M \subset H$: $$\dim_H M = \limsup_{\epsilon \to 0} \frac{\ln n(M, \epsilon)}{\ln(1/\epsilon)}$$ với $n(M, \epsilon)$ là số tối thiểu các hình cầu đóng bán kính $\epsilon$ phủ được $M$.

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

  • Phương pháp biến phân: Áp dụng nguyên lý cực tiểu hóa phiếm hàm năng lượng, định lý giải tích lồi Mazur, phương pháp nhân tử Lagrange và nguyên lý nghiệm trên - nghiệm dưới.
  • Phương pháp nửa nhóm toán tử: Áp dụng Định lý Stone cho toán tử liên hợp và toán tử sinh vi phân $C_0$-nửa nhóm liên tục mạnh để thiết lập nghiệm tích phân và nghiệm mạnh.
  • Phương pháp phương trình năng lượng: Xây dựng phiếm hàm Lyapunov ngặt để chứng minh cấu trúc hệ gradient và tính bị chặn của quỹ đạo.
  • Phương pháp $l$-quỹ đạo ($l$-trajectories): Thiết lập tính chất nén suy rộng (Generalized Squeezing Property - GSP) của ánh xạ dịch chuyển nghiệm trên không gian quỹ đạo thời gian $H_l = L^2(0, l; S_{(k_1, k_2), 0}^2(\Omega)) \cap H^1(0, l; L^2(\Omega))$ để đánh giá số chiều fractal.
  • Phương pháp ước lượng phần đuôi nghiệm (tail estimates): Sử dụng hàm cắt trơn $\vartheta$ kết hợp chuẩn chuẩn hóa kiểu Grushin $|X|_k = \left(|x|^{2(1+k)} + (1+|y|^2)^{1+k}\right)^{\frac{1}{2(1+k)}}$ để kiểm soát năng lượng ngoài các hình cầu lớn trên $\mathbb{R}^N$.

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

+-------------------------------------------------------------------------------------------------------------------+
| CẤU TRÚC VÀ NỘI DUNG CHÍNH CỦA BỐN CHƯƠNG LUẬN ÁN                                                                |
+---------+-------------------------------------------------------------+-------------------------------------------+
| Chương  | Tên chương                                                  | Trọng tâm giải tích                       |
+---------+-------------------------------------------------------------+-------------------------------------------+
| C1      | Một số kiến thức chuẩn bị                                   | Toán tử $\Delta_\gamma$, không gian hàm   |
|         |                                                             | $S^p_\gamma$, nửa nhóm, tập hút toàn cục  |
+---------+-------------------------------------------------------------+-------------------------------------------+
| C2      | Sự tồn tại nghiệm và tính chính quy của nghiệm của bài      | Nghiệm trên/dưới, biến phân,              |
|         | toán biên đối với phương trình elliptic suy biến            | tính chính quy $L^p(\Omega)$              |
+---------+-------------------------------------------------------------+-------------------------------------------+
| C3      | Tập hút toàn cục đối với phương trình hyperbolic tắt dần    | Nghiệm tích phân, tập hút $\mathcal{A}$,  |
|         | chứa toán tử elliptic suy biến mạnh trong miền bị chặn      | số chiều fractal hữu hạn ($l$-quỹ đạo)    |
+---------+-------------------------------------------------------------+-------------------------------------------+
| C4      | Tập hút toàn cục đối với phương trình hyperbolic tắt dần    | Không gian $\mathbb{R}^N$, ước lượng đuôi |
|         | chứa toán tử Grushin trên toàn không gian                   | nghiệm, hàm cắt, tập hút toàn cục         |
+---------+-------------------------------------------------------------+-------------------------------------------+

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

Chương 1 hệ thống hóa các công cụ giải tích hàm và lý thuyết phương trình đạo hàm riêng làm cơ sở cho các chương sau:

  • Định nghĩa chi tiết toán tử suy biến $\Delta_\gamma$, số chiều thuần nhất $\tilde{N} = \sum_{j=1}^N \varepsilon_j$.
  • Thiết lập định nghĩa không gian $S_\gamma^p(\Omega)$, $S_{\gamma, 0}^p(\Omega)$, và tính chất của phép nhúng Sobolev suy biến:
    • Phép nhúng $S_{\gamma, 0}^2(\Omega) \hookrightarrow L^{2^_\gamma}(\Omega)$ là liên tục với số mũ tới hạn $2^_\gamma = \frac{2\tilde{N}}{\tilde{N}-2}$ ($\tilde{N} > 2$).
    • Phép nhúng $S_{\gamma, 0}^2(\Omega) \hookrightarrow L^q(\Omega)$ là compac với mọi $q \in [1, 2^*_\gamma)$.
    • Chứng minh sự phá vỡ của phép nhúng liên tục $S_{\gamma, 0}^2(\Omega) \hookrightarrow L^{2^*_\gamma + \tau}(\Omega)$ khi $\tau > 0$ và $\Omega$ chứa gốc tọa độ.
  • Khái niệm toán tử Grushin $G_k = \Delta_x + |x|^{2k}\Delta_y$ với $N_k = N_1 + (1+k)N_2 = \tilde{N}$.
  • Khái niệm toán tử elliptic suy biến mạnh $P_{k_1, k_2} = \Delta_x + \Delta_y + |x|^{2k_1}|y|^{2k_2}\Delta_z$ với $N_{k_1, k_2} = N_1 + N_2 + (1+k_1+k_2)N_3 = \tilde{N}$.
  • Lý thuyết nửa nhóm toán tử, hệ gradient liên tục, hàm Lyapunov ngặt, định nghĩa tập hút toàn cục, tập hút cực tiểu, và định lý nén suy rộng (GSP) của Pražák để đánh giá số chiều fractal hữu hạn.

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 nghiên cứu bài toán biên Dirichlet phi tuyến: $$\begin{cases} \Delta_\gamma u + f(X, u) = 0 & \text{trong } \Omega \ u = u_0 & \text{trên } \partial\Omega \end{cases}$$

1. Sự tồn tại nghiệm yếu bằng phương pháp nghiệm trên và nghiệm dưới

Tác giả định nghĩa nghiệm dưới yếu $\underline{u} \in S_\gamma^2(\Omega)$ và nghiệm trên yếu $\overline{u} \in S_\gamma^2(\Omega)$ thỏa mãn $\underline{u} \le u_0 \le \overline{u}$ trên $\partial\Omega$. Với điều kiện hàm phi tuyến thỏa mãn $|f(X, \xi)| \le a(X) + b|\xi|^p$, $a(X) \in L^{\frac{p+1}{p-1}}(\Omega)$, $1 < p < \frac{\tilde{N}+2}{\tilde{N}-2}$, tác giả xây dựng tập lồi đóng yếu: $$M = {u \in S_\gamma^2(\Omega) : u - u_0 \in S_{\gamma, 0}^2(\Omega), \underline{u} \le u \le \overline{u} \text{ h.k.n trong } \Omega}$$ Bằng cách chứng minh phiếm hàm năng lượng: $$E(u) = \frac{1}{2}\int_\Omega |\nabla_\gamma u|^2 dX - \int_\Omega F(X, u(X)) dX$$ là bức và nửa liên tục dưới yếu trên $M$, tác giả chứng minh sự tồn tại điểm cực tiểu $u \in M$. Bằng phép biến phân và bổ đề giải tích xấp xỉ trên các tập $\Omega_\alpha^* = {X \in \Omega : |x_j| > \alpha}$, luận án chứng minh điểm cực tiểu này chính là nghiệm yếu của bài toán thỏa mãn $\underline{u} \le u \le \overline{u}$.

2. Nghiệm yếu không âm cho bài toán dưới tới hạn

Xét bài toán $-\Delta_\gamma u + \lambda u = u|u|^{p-2}$ với $u \ge 0$ trong $\Omega$ và $u = 0$ trên $\partial\Omega$. Luận án chứng minh rằng với mọi $\lambda > -\lambda_1$ (trong đó $\lambda_1$ là giá trị riêng thứ nhất của $-\Delta_\gamma$ với điều kiện Dirichlet thuần nhất) và $2 < p < \frac{2\tilde{N}}{\tilde{N}-2}$, bài toán luôn có nghiệm yếu không tầm thường không âm $u \in S_{\gamma, 0}^2(\Omega)$ thông qua tối thiểu hóa trên đa tạp cầu đơn vị $M_1 = {u \in S_{\gamma, 0}^2(\Omega) : |u|_{L^p(\Omega)} = 1}$.

3. Tính chính quy $L^p$ của nghiệm yếu

Xét bài toán $\Delta_\gamma u + f(X, u) = 0$ trong $\Omega$, $u = 0$ trên $\partial\Omega$ với $|f(X, \xi)| \le a(X)(1+|\xi|)$ và $a(X) \in L^{\tilde{N}/2}(\Omega)$. Bằng kỹ thuật thử hàm cắt cấp $s$: $$\phi_s = u \min{|u|^{2s}, M_1^2}\eta^2$$ kết hợp bất đẳng thức Sobolev suy biến và phép lặp kiểu Moser, luận án thiết lập định lý chính quy hóa: $$\text{Nếu } u \in S_{\gamma, 0}^2(\Omega) \text{ là nghiệm yếu thì } u \in L^p(\Omega) \text{ với mọi } 1 \le p < \infty$$ Hệ quả trực tiếp khẳng định tính thuộc $L^p(\Omega)$ cho phương trình có số hạng phi tuyến đa thức $|f(\xi)| \le C(1 + |\xi|^m)$ với $1 < m < \frac{\tilde{N}+2}{\tilde{N}-2}$.

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 Cauchy-Dirichlet: $$\begin{cases} u_{tt} + \beta u_t = P_{k_1, k_2} u + f(X, u) & \text{trong } \Omega \times (0, +\infty) \ u(X, t) = 0 & \text{trên } \partial\Omega \times (0, +\infty) \ u(X, 0) = u_0(X), \quad u_t(X, 0) = u_1(X) & \text{trong } \Omega \end{cases}$$ trong đó $P_{k_1, k_2} u = \Delta_x u + \Delta_y u + |x|^{2k_1}|y|^{2k_2}\Delta_z u$, miền bị chặn $\Omega \subset \mathbb{R}^N$ thỏa mãn $\Omega \cap {x = 0} = \emptyset$ và $\Omega \cap {y = 0} = \emptyset$.

+-------------------------------------------------------------------------------------------------------------------+
| CÁC BƯỚC THIẾT LẬP TẬP HÚT VÀ ĐÁNH GIÁ SỐ CHIỀU FRACTAL TRONG CHƯƠNG 3                                            |
+-------------------------------------------------------------------------------------------------------------------+
| 1. Đưa bài toán về hệ cấp một: dU/dt = AU + f*(U) trên H = S^2_{(k1, k2), 0}(\Omega) x L^2(\Omega)                |
| 2. Chứng minh toán tử A sinh C_0-nửa nhóm e^{At} và ánh xạ phi tuyến f* liên tục Lipschitz trên các tập bị chặn    |
| 3. Thiết lập nghiệm tích phân duy nhất toàn cục U \in C([0, +\infty); H) qua hàm Lyapunov                          |
| 4. Chứng minh nửa nhóm S(t) có tính compact tiệm cận và là hệ gradient => tồn tại tập hút \mathcal{A} = W^u(E)   |
| 5. Áp dụng phương pháp l-quỹ đạo: chứng minh ánh xạ L_l có tính chất nén suy rộng (GSP) => dim_H \mathcal{A} < \infty |
+-------------------------------------------------------------------------------------------------------------------+

1. Sự tồn tại và duy nhất của nghiệm tích phân

Đưa phương trình về dạng trừu tượng cấp một $\frac{dU}{dt} = AU + f^(U)$ trên không gian Hilbert $H = S_{(k_1, k_2), 0}^2(\Omega) \times L^2(\Omega)$. Toán tử ma trận: $$A = \begin{pmatrix} 0 & \text{Id} \ P_{k_1, k_2} & 0 \end{pmatrix}$$ Toán tử liên hợp $A^$ được xác định cụ thể và qua Định lý Stone, $A$ sinh ra một $C_0$-nửa nhóm $e^{At}$ trên $H$. Ánh xạ Nemytskii của số hạng phi tuyến $f(X, u)$ được chứng minh là liên tục Lipschitz trên các tập bị chặn của $S_{(k_1, k_2), 0}^2(\Omega)$. Từ đó, tác giả thiết lập sự tồn tại duy nhất của nghiệm tích phân địa phương, sau đó thác triển thành nghiệm toàn cục trên $[0, +\infty)$ nhờ đánh giá năng lượng và hàm Lyapunov: $$\Phi(U(t)) = \frac{1}{2}|u_t|{L^2(\Omega)}^2 + \frac{1}{2}|\nabla{k_1, k_2} u|{L^2(\Omega)}^2 - \int\Omega F(X, u) dX$$

2. Sự tồn tại tập hút toàn cục liên thông compact

Luận án chứng minh tập các điểm cân bằng $E$ là bị chặn trong $H$. Bằng phương pháp phân rã năng lượng qua phiếm hàm hiệu chỉnh: $$I(U(t)) = \Phi(U(t)) + \frac{\beta}{2}\int_\Omega u u_t dX$$ tác giả chứng minh rằng nửa nhóm ${S(t)}_{t \ge 0}$ là compact tiệm cận trong $H$. Kết hợp tính chất hệ gradient, luận án kết luận sự tồn tại của tập hút toàn cục liên thông compact $\mathcal{A} = W^u(E)$ trong $H$ (trong đó $W^u(E)$ là đa tạp không ổn định của tập điểm cân bằng $E$).

3. Đánh giá số chiều fractal hữu hạn của tập hút toàn cục

Để khắc phục tính phi trơn của không gian nghiệm, luận án áp dụng phương pháp $l$-quỹ đạo (Pražák, 2002):

  • Không gian $l$-quỹ đạo: $H_l = L^2(0, l; S_{(k_1, k_2), 0}^2(\Omega)) \cap H^1(0, l; L^2(\Omega))$.
  • Tập nghiệm trên đoạn thời gian $[0, l]$: $\mathcal{A}_l = {u \in H_l : u \text{ là nghiệm và } (u(0), u_t(0)) \in \mathcal{A}}$.
  • Luận án chứng minh ánh xạ dịch chuyển $L_t: \mathcal{A}_l \to H_l$ thỏa mãn tính chất nén suy rộng (GSP) trên $\mathcal{A}_l$ khi chọn $l > 0$ đủ lớn.
  • Bằng cách phân tích phép chiếu trực chuẩn hữu hạn chiều $P$ trên $H_l$, luận án suy ra: $$\dim_H \mathcal{A} \le \dim_{H_l} \mathcal{A}_l < \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 không bị chặn $\mathbb{R}^N = \mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$: $$\begin{cases} u_{tt} + \beta u_t + u = G_k u + f(X, u), & t > 0, X \in \mathbb{R}^N \ u(X, 0) = u_0(X), \quad u_t(X, 0) = u_1(X) \end{cases}$$ trong đó $G_k u = \Delta_x u + |x|^{2k}\Delta_y u$ ($k \ge 0$, $\beta > 0$). Không gian năng lượng của bài toán là $H = S_k^2(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.

+-------------------------------------------------------------------------------------------------------------------+
| CƠ CHẾ VƯỢT QUA SỰ MẤT TÍNH COMPAC TRÊN TOÀN KHÔNG GIAN R^N TRONG CHƯƠNG 4                                       |
+-------------------------------------------------------------------------------------------------------------------+
| 1. Chuẩn hóa khoảng cách suy biến Grushin: |X|_k = (|x|^{2(1+k)} + (1+|y|^2)^{1+k})^{1 / (2(1+k))}               |
| 2. Sử dụng hàm cắt trơn \vartheta(|X|_k / R) với \vartheta(s) = 0 khi s <= 1 và \vartheta(s) = 1 khi s >= 2     |
| 3. Thiết lập ước lượng phần đuôi nghiệm: \int_{|X|_k >= R} (|u|^2 + |u_t|^2 + |\nabla_k u|^2) dX <= \epsilon     |
| 4. Phân rã miền: Compac Sobolev trên hình cầu bị chặn B(0, R) + Nhỏ tùy ý ở phần đuôi vô hạn                       |
| 5. Suy ra tính compact tiệm cận của nửa nhóm S(t) trên H = S^2_k(R^N) x L^2(R^N) => Tồn tại tập hút toàn cục \mathcal{A}_H |
+-------------------------------------------------------------------------------------------------------------------+

1. Nghiệm tích phân toàn cục trên $\mathbb{R}^N$

Tương tự Chương 3, bài toán được viết dưới dạng $\frac{dU}{dt} = AU + f^*(U)$ trên $H$. Luận án chứng minh toán tử $A = \begin{pmatrix} 0 & \text{Id} \ G_k - \text{Id} & 0 \end{pmatrix}$ sinh ra một $C_0$-nửa nhóm trên $H$. Với các điều kiện tăng trưởng và tiêu tán đối với $f(X, u)$, bài toán có nghiệm tích phân toàn cục duy nhất $U \in C([0, +\infty); H)$.

2. Tập hấp thụ bị chặn và ước lượng đuôi nghiệm

Luận án chứng minh sự tồn tại của tập hấp thụ bị chặn $B_0 \subset H$. Vì phép nhúng $S_k^2(\mathbb{R}^N) \hookrightarrow L^2(\mathbb{R}^N)$ không compac, tác giả xây dựng hàm cắt trơn $\vartheta: \mathbb{R}^+ \to [0, 1]$ thỏa mãn $\vartheta(s) = 0$ khi $s \le 1$ và $\vartheta(s) = 1$ khi $s \ge 2$. Bằng cách nhân phương trình với $\vartheta\left(\frac{|X|k^{2(1+k)}}{R^{2(1+k)}}\right) (u_t + \delta u)$ và tích phân trên $\mathbb{R}^N$, luận án thiết lập ước lượng phần đuôi nghiệm đồng đều theo thời gian: $$\forall \epsilon > 0, \exists T(\epsilon), R(\epsilon) > 0: \quad \int{|X|_k \ge R} \left(|u(X, t)|^2 + |u_t(X, t)|^2 + |\nabla_k u(X, t)|^2\right) dX \le \epsilon \quad (\forall t \ge T(\epsilon), R \ge R(\epsilon))$$

3. Sự tồn tại tập hút toàn cục trên $\mathbb{R}^N$

Kết hợp tính compac của phép nhúng địa phương $S_k^2(\Omega_R) \hookrightarrow\hookrightarrow L^2(\Omega_R)$ trên các hình cầu bị chặn $\Omega_R = {X \in \mathbb{R}^N : |X|k < R}$ với ước lượng phần đuôi nghiệm nhỏ tùy ý ở vô tận, luận án chứng minh nửa nhóm ${S(t)}{t \ge 0}$ là compact tiệm cận trong $H$. Từ đó, định lý khẳng định sự tồn tại của tập hút toàn cục $\mathcal{A}_H$ trong $S_k^2(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.

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

Luận án đã đạt được các kết quả toán học mới sau:

  1. Đóng góp cho bài toán biên elliptic suy biến:

    • Thiết lập định lý tồn tại nghiệm yếu dựa trên phương pháp nghiệm trên yếu và nghiệm dưới yếu kết hợp giải tích biến phân trên không gian $S_\gamma^2(\Omega)$.
    • Chứng minh sự tồn tại nghiệm yếu không tầm thường không âm trong trường hợp số mũ dưới tới hạn $p \in \left(2, \frac{2\tilde{N}}{\tilde{N}-2}\right)$.
    • Chứng minh định lý về tính chính quy $L^p(\Omega)$ (với mọi $1 \le p < \infty$) cho nghiệm yếu của phương trình elliptic suy biến chứa toán tử $\Delta_\gamma$.

  2. Đóng góp cho bài toán hyperbolic tắt dần trong miền bị chặn:

    • Chứng minh sự tồn tại và tính duy nhất của nghiệm tích phân toàn cục cho bài toán chứa toán tử elliptic suy biến mạnh $P_{k_1, k_2}$.
    • Chứng minh nửa nhóm nghiệm tạo thành một hệ gradient và có một tập hút toàn cục liên thông compact $\mathcal{A} = W^u(E)$ trong không gian Hilbert $S_{(k_1, k_2), 0}^2(\Omega) \times L^2(\Omega)$.
    • Sử dụng phương pháp $l$-quỹ đạo để chứng minh số chiều fractal của tập hút toàn cục là hữu hạn ($\dim_H \mathcal{A} < \infty$).

  3. Đóng góp cho bài toán hyperbolic tắt dần trên toàn không gian $\mathbb{R}^N$:

    • Giải quyết bài toán dáng điệu tiệm cận nghiệm trên miền không bị chặn đối với toán tử Grushin $G_k$.
    • Thiết lập kỹ thuật hàm cắt trên chuẩn suy biến $|X|_k$ để ước lượng phần đuôi nghiệm, khắc phục hoàn toàn sự mất mát tính compac của phép nhúng Sobolev trên $\mathbb{R}^N$.
    • Chứng minh sự tồn tại tập hút toàn cục trong không gian năng lượng $S_k^2(\mathbb{R}^N) \times L^2(\mathbb{R}^N)$.

  4. Công bố khoa học liên quan trực tiếp: 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í quốc tế chuyên ngành:

    • Mathematical Notes (2015, 2017)
    • Siberian Mathematical Journal (2016)
    • Annales Polonici Mathematici (2016)
    • 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 Toán học tại Indonesia (2012).

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

Căn cứ vào phần kết luận của luận án, tác giả nêu rõ các hạn chế hiện tại và đề xuất các hướng mở rộng:

  1. Vấn đề số mũ tới hạn và tính trơn cấp cao:

    • Kết quả tính chính quy cho bài toán elliptic suy biến mới dừng lại ở việc chứng minh nghiệm thuộc $L^p(\Omega)$ với mọi $p < \infty$; việc chứng minh nghiệm có đạo hàm yếu cấp cao hoặc tính trơn Hölder/giải tích thực như trường hợp elliptic không suy biến ($\gamma \equiv 1$) vẫn là một bài toán mở.
    • Bài toán tồn tại nghiệm dương tại số mũ tới hạn Sobolev suy biến $p = \frac{2\tilde{N}}{\tilde{N}-2}$ đối với toán tử $\Delta_\gamma$ chưa được giải quyết trọn vẹn.

  2. Mở rộng điều kiện biên và cấu trúc miền:

    • Nghiên cứu bài toán biên elliptic và hyperbolic suy biến với các điều kiện biên khác: điều kiện Dirichlet không thuần nhất, điều kiện biên Neumann, điều kiện biên hỗn hợp, và điều kiện biên phi tuyến.
    • Nghiên cứu bài toán biên elliptic suy biến trên các miền không bị chặn.

  3. Hệ động lực không tự trị và mô hình ứng dụng:

    • Nghiên cứu dáng điệu tiệm cận dài hạn khi số hạng phi tuyến phụ thuộc vào thời gian $t$ (hệ không tự trị), khảo sát sự tồn tại của tập hút lùi (pullback attractors) và tập hút đều (uniform attractors).
    • Xây dựng không gian hàm có trọng tương ứng để áp dụng giải quyết các mô hình vật lý và cơ học thực tế.

Giá trị tham khảo

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

  • Nghiên cứu sinh và học viên cao học chuyên ngành Phương trình vi phân và tích phân, Giải tích hàm, và Lý thuyết hệ động lực vô hạn chiều.
  • Giảng viên và nhà nghiên cứu toán học:
    • Tham khảo kỹ thuật ước lượng năng lượng suy biến và phương pháp nghiệm trên - nghiệm dưới trên không gian Sobolev suy biến (Chương 2).
    • Sử dụng phương pháp $l$-quỹ đạo để đánh giá số chiều fractal của tập hút cho các phương trình tiến hóa phi tuyến (Chương 3).
    • Vận dụng kỹ thuật hàm cắt và ước lượng phần đuôi nghiệm để xử lý bài toán mất tính compac trên miền không bị chặn $\mathbb{R}^N$ (Chương 4).

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

1. Toán tử Grushin $G_k$ và toán tử elliptic suy biến mạnh $P_{k_1, k_2}$ suy biến trên những tập hợp nào?

Toán tử Grushin $G_k = \Delta_x + |x|^{2k}\Delta_y$ ($k > 0$) suy biến tính elliptic trên siêu mặt ${x = 0}$ trong không gian $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$. Toán tử $P_{k_1, k_2} = \Delta_x + \Delta_y + |x|^{2k_1}|y|^{2k_2}\Delta_z$ ($k_1, k_2 > 0$) suy biến trên hợp của hai siêu mặt ${x = 0} \cup {y = 0}$ trong $\mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$.

2. Số chiều thuần nhất $\tilde{N}$ ảnh hưởng như thế nào đến phép nhúng Sobolev suy biến?

Số chiều thuần nhất $\tilde{N} = \sum_{j=1}^N \varepsilon_j$ (với $\tilde{N} > N$) đóng vai trò thay thế số chiều không gian $N$ trong lý thuyết nhúng kinh điển. Số mũ tới hạn của phép nhúng $S_{\gamma, 0}^2(\Omega) \hookrightarrow L^q(\Omega)$ được xác định chính xác bởi $2^_\gamma = \frac{2\tilde{N}}{\tilde{N}-2}$. Phép nhúng là compac khi $1 \le q < 2^\gamma$ và liên tục khi $q = 2^*\gamma$.

3. Phương pháp nào được sử dụng để chứng minh số chiều fractal của tập hút toàn cục là hữu hạn trong Chương 3?

Luận án sử dụng phương pháp $l$-quỹ đạo (l-trajectories) trên không gian năng lượng thời gian $H_l = L^2(0, l; S_{(k_1, k_2), 0}^2(\Omega)) \cap H^1(0, l; L^2(\Omega))$. Bằng cách chứng minh ánh xạ dịch chuyển nghiệm $L_l$ thỏa mãn tính chất nén suy rộng (GSP) trên tập $l$-quỹ đạo $\mathcal{A}_l$, luận án suy ra số chiều fractal của tập hút là hữu hạn mà không đòi hỏi nghiệm phải có đạo hàm cấp hai theo không gian.

4. Luận án giải quyết sự mất tính compac của phép nhúng Sobolev trên toàn không gian $\mathbb{R}^N$ ở Chương 4 bằng cách nào?

Tác giả sử dụng phương pháp ước lượng phần đuôi nghiệm (tail estimates) kết hợp hệ tọa độ suy biến chuẩn hóa $|X|_k$ và hàm cắt trơn $\vartheta$. Năng lượng của nghiệm được phân rã thành hai phần: phần trong hình cầu bị chặn $|X|_k \le R$ (nơi phép nhúng Sobolev địa phương có tính compac) và phần đuôi $|X|_k \ge R$ (được chứng minh là nhỏ hơn $\epsilon$ đồng đều với mọi thời gian lớn).

Kết luận

Luận án tiến sĩ của tác giả Dương Trọng Luyện đã giải quyết một cách có hệ thống các bài toán định tính đối với phương trình elliptic và hyperbolic tắt dần phi tuyến chứa các lớp toán tử suy biến $\Delta_\gamma$, $G_k$, và $P_{k_1, k_2}$. Các kết quả đạt được bao gồm việc thiết lập điều kiện tồn tại và tính chính quy $L^p$ của nghiệm yếu cho bài toán biên elliptic, chứng minh sự tồn tại duy nhất của nghiệm tích phân và tập hút toàn cục trong miền bị chặn và trên toàn không gian $\mathbb{R}^N$, đồng thời đánh giá thành công số chiều fractal hữu hạn của tập hút. Toàn bộ các công trình đã được công bố trên các tạp chí toán học quốc tế chuyên ngành, cung cấp các kỹ thuật phân tích có giá trị cho lý thuyết phương trình đạo hàm riêng suy biến và hệ động lực vô hạn chiều.