Bối cảnh và vấn đề nghiên cứu
Khóa luận được thực hiện trong khuôn khổ chương trình đào tạo ngành Sư phạm Toán tại Trường Đại học Hồng Đức, tỉnh Thanh Hóa, hoàn thành vào ngày 30 tháng 4 năm 2018, dưới sự hướng dẫn của Th.S Nguyễn Tiến Đà.
Lý do chọn đề tài xuất phát từ nhận thức của tác giả trong quá trình học tập môn Giải tích hàm: các kiến thức về toán tử compact và toán tử elliptic vừa đa dạng vừa có ứng dụng rộng rãi trong toán học. Tác giả nhận thấy hai vấn đề cụ thể đáng tập trung làm rõ hơn: (1) phép nhúng compact giữa các không gian dãy và không gian hàm, và (2) lý thuyết phổ của toán tử elliptic trong một số trường hợp đặc biệt. Việc hệ thống hóa hai vấn đề này trong một khóa luận được tác giả xem là đóng góp cho việc hoàn thiện kiến thức giải tích hàm trong chương trình sư phạm toán.
Mục đích và nhiệm vụ nghiên cứu gồm:
- Trình bày và khai thác các định lý, mệnh đề, hệ quả về các phép nhúng compact giữa các không gian (không gian dãy và không gian hàm).
- Trình bày và khai thác lý thuyết phổ của toán tử elliptic, bao gồm trường hợp tự liên hợp, trường hợp thường gặp và trường hợp suy biến.
Đối tượng nghiên cứu là các vấn đề liên quan đến phép nhúng compact giữa các không gian và lý thuyết phổ của toán tử elliptic. Phạm vi nghiên cứu tập trung vào một số kết quả lý thuyết, không đề cập đến ứng dụng tính toán số hay mô phỏng. Không gian nghiên cứu là trong phạm vi giải tích hàm trừu tượng; không gian địa lý là Trường Đại học Hồng Đức. Thời gian thực hiện và hoàn thành gắn với năm học 2017–2018.
Cơ sở lý thuyết và phương pháp
Khung lý thuyết và khái niệm nền tảng
Khóa luận sử dụng hệ thống khái niệm thuộc giải tích hàm và lý thuyết toán tử, bao gồm:
- Không gian Sobolev $W_p^k(\mathbb{R}^n)$, $W_p^s(\Omega)$, $W_2^s(\Omega)$: được định nghĩa theo chuẩn $L^p$ của các đạo hàm suy rộng bậc tối đa $k$; biến đổi Fourier $F$ và $F^{-1}$ được dùng để đặc trưng các không gian này.
- Không gian Hilbert và không gian Banach: $L^2(\mathbb{R}^n, \omega_s)$ với tích vô hướng có trọng, các không gian $L^p(\Omega)$, $C^\ell(\Omega)$.
- Toán tử elliptic bậc hai dạng $Au(x) = -\sum_{j,k=1}^n a_{jk}(x)\frac{\partial^2 u}{\partial x_j \partial x_k} + \sum_{l=1}^n a_l(x)\frac{\partial u}{\partial x_l} + a(x)u(x)$, thỏa điều kiện elliptic $\sum_{j,k=1}^n a_{jk}(x)\xi_j\xi_k \geq E|\xi|^2$.
- Các mở rộng Friedrichs: Dirichlet Laplacian $A_{D,F}$ với miền $W_{2,0}^2(\Omega)$ và Neumann Laplacian $A_{N,F}$ với miền $W_2^{2,\nu}(\Omega)$.
- Phổ toán tử: phổ điểm $\sigma_p(A)$, phổ thiết yếu $\sigma_e(A)$, tập phân giải $\varrho(A)$, dãy Weyl.
- Số xấp xỉ $a_k(T)$ và số entropy $e_k(T)$ của toán tử $T \in \mathcal{L}(X, Y)$ giữa hai không gian Banach.
- Không gian hàm kiểu Besov $B_{p,q}^s(\Omega)$, $F_{p,q}^s(\Omega)$, không gian tiền Banach, hàm $K$ của Peetre trong lý thuyết nội suy.
Phương pháp nghiên cứu
Khóa luận áp dụng phương pháp nghiên cứu lý thuyết thuần túy: tổng hợp tài liệu, đọc hiểu và tái trình bày hệ thống các định nghĩa, định lý, mệnh đề, hệ quả từ sách giáo khoa và tài liệu chuyên ngành giải tích hàm. Tác giả trình bày lại các chứng minh theo từng bước, bổ sung diễn giải và kết nối các kết quả với nhau. Không có khảo sát, thực nghiệm hay tính toán số.
Nguồn dữ liệu
Tài liệu sách chuyên ngành và các công trình đã công bố trong lĩnh vực giải tích hàm (được liệt kê trong danh mục tài liệu tham khảo của khóa luận, không trích dẫn cụ thể tên tác giả trong phần fulltext được cung cấp).
Nội dung chính theo từng chương
Chương 1: Kiến thức cơ sở
Chương này xây dựng nền tảng lý thuyết cho toàn bộ khóa luận, gồm năm mục chính.
Không gian Sobolev trên $\mathbb{R}^n$ và $\mathbb{R}^n_+$: Định nghĩa $W_p^k(\mathbb{R}^n)$ như tập hợp các hàm $f \in L^p(\mathbb{R}^n)$ mà mọi đạo hàm $D^\alpha f$ (với $|\alpha| \leq k$) đều thuộc $L^p(\mathbb{R}^n)$. Biến đổi Fourier $F$ tạo đơn ánh $F: W_2^k(\mathbb{R}^n) \to L^2(\mathbb{R}^n, \omega_k)$ với hàm trọng $\omega_s(x) = \langle x \rangle^s = (1+|x|^2)^{s/2}$.
Không gian Sobolev trên một miền: Trình bày chuẩn tương đương trong $W_p^\ell(\Omega)$ và $W_2^s(\Omega)$; điều kiện để phép nhúng $\mathrm{id}: W_2^s(\Omega) \hookrightarrow W_2^t(\Omega)$ (với $0 \leq t < s$) là compact; bất đẳng thức kiểm soát chuẩn: $|f|W_2^t(\Omega)| \leq \varepsilon|f|W_2^s(\Omega)| + c\varepsilon^{-t/(s-t)}|f|L_2(\Omega)|$.
Toán tử elliptic trong $L^2$: Trình bày điều kiện elliptic; tính chất của $A_{D,F}$ (tự liên hợp xác định dương, $\sigma(A_{D,F}) \subset [c, \infty)$ với $c > 0$) và $A_{N,F}$ (tự liên hợp dương, $\sigma(A_{N,F}) \subset [0, \infty)$ với giá trị riêng đơn giản $\lambda=0$); tính compact của $(A + \lambda,\mathrm{id})^{-1}: L^2(\Omega) \to L^2(\Omega)$ với ước lượng $|(A + \lambda,\mathrm{id})^{-1}| \leq c/\lambda$; phổ $\sigma(A)$ nằm trong miền parabol ${(\xi, \eta): \xi + \xi_0 \geq C\eta^2}$; số mũ Sobolev $p^* = (1/2 - 2/n)^{-1}$ với $n \geq 5$.
Phổ trong không gian Hilbert và không gian Banach: Định nghĩa tập phân giải $\varrho(A)$, phổ $\sigma(A)$, phổ điểm $\sigma_p(A)$, phổ thiết yếu $\sigma_e(A)$ thông qua dãy Weyl; số entropy $e_k(T)$ và số xấp xỉ $a_k(T)$; các bất đẳng thức $h_{k+m-1}(S+T) \leq h_k(S) + h_m(T)$ và $h_{k+m-1}(R \circ T) \leq h_k(R)h_m(T)$.
Một số định nghĩa và định lý khác: Miền $C^k$ trong $\mathbb{R}^n$, toán tử phổ điểm, toán tử nửa giới hạn, toán tử xác định dương; liên hệ giữa tính phổ điểm và tính compact của phép nhúng $\mathrm{id}: H_A \hookrightarrow H$ (không gian năng lượng vào không gian Hilbert).
Chương 2: Các phép nhúng compact
Chương này phát triển lý thuyết phép nhúng compact từ không gian dãy đến không gian hàm, phục vụ trực tiếp cho Chương 3.
Một số vấn đề liên quan: Đặt bài toán Dirichlet cho toán tử elliptic chính quy; giới thiệu phân phối giá trị riêng của toán tử tự liên hợp dạng $Au = -\sum_{j,k} \partial_{x_j}(a_{jk}(x)\partial_{x_k}u) + a(x)u$ với miền $W_{2,0}^2(\Omega)$; nêu vai trò của số xấp xỉ và số entropy trong việc nghiên cứu phép nhúng.
Nhúng compact trong không gian dãy: Xét không gian dãy $\ell_p^M$ và họ $\ell_p(2^{j\delta}\ell_p^{M_j})$ với $M_j \sim 2^{jd}$. Kết quả trung tâm:
| Phép nhúng | Số xấp xỉ $a_k$ | Số entropy $e_k$ |
|---|---|---|
| $\mathrm{id}: \ell_p^M \hookrightarrow \ell_p^M$ | $1$ nếu $k \leq M$; $0$ nếu $k > M$ | $\sim 1$ nếu $k \leq 2M$; $\sim k \cdot 2^{-k/(2M)}$ nếu $k > 2M$ |
| $\mathrm{id}_{(p)}: \ell_p(2^{j\delta}\ell_p^{M_j}) \hookrightarrow \ell_p$ | $\sim k^{-\delta/d}$ (khi $p=2$) | $\sim k^{-\delta/d}$ |
Chứng minh triển khai theo 4 bước, sử dụng toán tử chéo $D_-$ trong $\ell_2$ và phân tích $\mathrm{Id}_j = \mathrm{id}j \circ \mathrm{id}{(p)} \circ \mathrm{id}_j'$.
Nhúng compact trong không gian hàm: Mở rộng kết quả trên sang không gian Sobolev. Kết quả chính (Định lý 2.2):
$$a_k(\mathrm{id}: W_2^s(\Omega) \hookrightarrow L^2(\Omega)) \sim e_k(\mathrm{id}: W_2^s(\Omega) \hookrightarrow L^2(\Omega)) \sim k^{-s/n}, \quad k \in \mathbb{N}.$$
Với phép nhúng $W_2^s(\Omega) \hookrightarrow W_2^t(\Omega)$ ($0 < t < s$): $a_k \sim e_k \sim k^{-(s-t)/n}$. Với phép nhúng $W_2^2(\Omega) \hookrightarrow L^p(\Omega)$ (compact theo điều kiện 1.9): $e_k \sim k^{-2/n}$. Chứng minh dựa trên phân tích $\widetilde{\mathrm{id}}: \ell_2^s \hookrightarrow \ell_2$ qua các toán tử $S$, $T$, $\mathrm{ext}\Omega^L$, $\mathrm{re}\Omega$.
Chương 3: Định lý phổ của toán tử elliptic
Lý thuyết phổ của toán tử elliptic tự liên hợp (Định lý 3.1): Xét toán tử $A = -\sum_{j,k} \partial_{x_j}(a_{jk}(x)\partial_{x_k}u) + a(x)u$ với ${a_{jk}} \subset C^1(\Omega)$, $a \geq 0$, miền $W_{2,0}^2(\Omega)$. Kết quả: $A$ là toán tử tự liên hợp xác định dương với phổ điểm; giá trị riêng $\lambda_k$ thỏa mãn công thức Weyl:
$$c_1 k^{2/n} \leq \lambda_k \leq c_2 k^{2/n}, \quad k \in \mathbb{N}, \quad 0 < c_1 \leq c_2 < \infty.$$
Với Neumann Laplacian: $\lambda_0 = 0$ là giá trị riêng cơ bản; $\lambda_k$ với $k \in \mathbb{N}$ thỏa bất đẳng thức trên. Chứng minh kết hợp tính đối xứng (từ $a_{jk}$ thực), bất đẳng thức Friedrich's $\langle Au, u\rangle \geq c' \int |u|^2 dx$, và ước lượng $a_k(A^{-1}: L^2 \to L^2) \leq ck^{-2/n}$ từ Chương 2.
Phổ của toán tử elliptic: Trường hợp thường gặp (Định lý 3.2): Mở rộng sang toán tử elliptic không tự liên hợp với miền $W_{2,0}^2(\Omega)$. Phổ $\sigma(A)$ gồm các giá trị riêng phân biệt $\lambda = \xi + i\eta$ nằm trong parabol ${(\xi,\eta): \xi + \xi_0 \geq C\eta^2}$; ước lượng:
$$|\lambda_k| \geq ck^{2/n}, \quad k \in \mathbb{N}.$$
Bao tuyến tính của tất cả hàm đặc trưng là tập dày đặc trong $L^2(\Omega)$. Chứng minh dùng số entropy $e_k(A^{-1}: L^2 \to L^2) \leq ck^{-2/n}$ và phân tích $A = \dot{A} + B$ trong đó $a_k(B\dot{A}^{-1}) \leq ck^{-1/n}$.
Lý thuyết phổ của toán tử elliptic: Trường hợp suy biến (Định lý 3.3): Xét toán tử suy biến $B = b_2 A^{-1} b_1: L^p(\Omega) \to L^p(\Omega)$ với $n \geq 4$, $b_1 \in L^{r_1}(\Omega)$, $b_2 \in L^{r_2}(\Omega)$ thỏa $1/r_1 = 1/2 - 1/p$ và $1/r_1 + 1/r_2 < 2/n$. Giá trị riêng $\mu_k \neq 0$ sắp xếp $|\mu_1| \geq |\mu_2| \geq \cdots$ thỏa:
$$|\mu_k| \leq ck^{-2/n}, \quad k \in \mathbb{N}.$$
Phần này còn trình bày phổ âm của toán tử Schrödinger $H_\beta = (-\Delta + \mathrm{id}) + \beta V(\cdot)$ với $V \in L^r(\mathbb{R}^n)$ ($r \geq 2$, $0 \leq 1/r < 2/n$): $\sigma_e(H_\beta) = \sigma_e(H_0) = [1, \infty)$; số lượng giá trị riêng âm bị chặn trên bởi $c'\beta^{n/2}$. Ngoài ra, chương mở rộng lý thuyết sang không gian tiền Banach và không gian hàm Besov $B_{p,q}^s(\Omega)$, $F_{p,q}^s(\Omega)$; trình bày công thức entropy của phép nhúng $\mathrm{id}: \ell_{p_1}^M \hookrightarrow \ell_{p_2}^M$ (công thức 3.74 với ba vùng $k \leq \log(2M)$, $\log(2M) \leq k \leq 2M$, $k \geq 2M$) và lý thuyết nội suy số entropy qua hàm $K$ của Peetre.
Kết quả và đóng góp
Kết quả chính
Khóa luận tổng hợp và trình bày có hệ thống các kết quả sau, kèm chứng minh từng bước:
| Kết quả | Phát biểu định lượng |
|---|---|
| Số xấp xỉ/entropy của $\mathrm{id}: W_2^s(\Omega) \hookrightarrow L^2(\Omega)$ | $\sim k^{-s/n}$, $k \in \mathbb{N}$ |
| Số entropy của $\mathrm{id}: W_2^2(\Omega) \hookrightarrow L^p(\Omega)$ (compact) | $\sim k^{-2/n}$, $k \in \mathbb{N}$ |
| Giá trị riêng của $A$ tự liên hợp (công thức Weyl) | $c_1 k^{2/n} \leq \lambda_k \leq c_2 k^{2/n}$ |
| Giá trị riêng của $A$ thường (ước lượng dưới) | $ |
| Giá trị riêng của toán tử suy biến $B$ | $ |
| Số lượng giá trị riêng âm của $H_\beta$ | $\leq c'\beta^{n/2}$ |
Đóng góp so với nghiên cứu trước
Tác giả tự xác định ý nghĩa của khóa luận là "góp phần hoàn thiện một số kiến thức liên quan đến các phép nhúng compact giữa các không gian và lý thuyết phổ của toán tử elliptic" trong phạm vi tài liệu học thuật tiếng Việt dành cho sinh viên sư phạm toán. Khóa luận không tuyên bố định lý mới mà tập trung vào hệ thống hóa, trình bày lại và chứng minh tường minh các kết quả đã có trong tài liệu chuyên ngành.
Hạn chế và hướng nghiên cứu tiếp
Theo lời cảm ơn của tác giả, khóa luận được thực hiện trong điều kiện "thời gian nghiên cứu và năng lực bản thân còn hạn chế", do đó không tránh khỏi thiếu sót về nội dung lẫn hình thức. Tác giả không nêu cụ thể hướng mở cho nghiên cứu tương lai.
Từ phạm vi nghiên cứu, có thể nhận thấy một số giới hạn tự nhiên: khóa luận chỉ xét toán tử elliptic bậc hai trên miền bị chặn trong $\mathbb{R}^n$, chưa mở rộng sang toán tử elliptic bậc cao; lý thuyết không gian tiền Banach và không gian hàm $B_{p,q}^s$, $F_{p,q}^s$ được đề cập ở Mục 3.3 nhưng chưa được khai thác sâu; bài toán mở về số entropy của phép nhúng $T: X_\theta \hookrightarrow Y_\theta$ trong lý thuyết nội suy được nêu trong văn bản nhưng chưa có lời giải.
Giá trị tham khảo
Khóa luận phù hợp để tham khảo cho:
- Sinh viên năm cuối ngành Sư phạm Toán hoặc Toán học đang tiếp cận giải tích hàm, cần tài liệu trình bày tiếng Việt có chứng minh chi tiết về không gian Sobolev, toán tử compact và toán tử elliptic.
- Sinh viên thực hiện khóa luận tốt nghiệp về các chủ đề liên quan đến lý thuyết phổ, phương trình vi phân elliptic, hoặc lý thuyết không gian hàm — có thể tham khảo cách tổ chức nội dung và trình bày chứng minh toán học.
- Người muốn nắm bài toán Dirichlet và Neumann cho toán tử elliptic bậc hai từ góc độ lý thuyết toán tử trong không gian Hilbert.
Phần đáng tham khảo nhất về mặt kỹ thuật là Chương 2 (các ước lượng số xấp xỉ và số entropy của phép nhúng compact, với chứng minh nhiều bước tường minh) và Mục 3.1 (chứng minh công thức Weyl cho giá trị riêng toán tử elliptic tự liên hợp).
Câu hỏi thường gặp
1. Điều kiện đủ để phép nhúng $\mathrm{id}: W_2^s(\Omega) \hookrightarrow W_2^t(\Omega)$ là compact là gì? Theo Định lý 1.2 (Chương 1), điều kiện $0 \leq t < s < \infty$ trên miền bị chặn $\Omega \subset \mathbb{R}^n$ là đủ. Hơn nữa, tồn tại hằng số $c > 0$ sao cho $|f|W_2^t(\Omega)| \leq \varepsilon|f|W_2^s(\Omega)| + c\varepsilon^{-t/(s-t)}|f|L_2(\Omega)|$ với mọi $\varepsilon > 0$.
2. Công thức Weyl về phân phối giá trị riêng của toán tử elliptic tự liên hợp phát biểu như thế nào trong khóa luận? Theo Định lý 3.1, với toán tử $A = -\sum_{j,k}\partial_{x_j}(a_{jk}\partial_{x_k}u) + au$ tự liên hợp xác định dương trên miền bị chặn $\Omega \subset \mathbb{R}^n$, tồn tại hai hằng số $0 < c_1 \leq c_2 < \infty$ sao cho $c_1 k^{2/n} \leq \lambda_k \leq c_2 k^{2/n}$ với mọi $k \in \mathbb{N}$.
3. Số entropy của phép nhúng $\mathrm{id}: \ell_{p_1}^M \hookrightarrow \ell_{p_2}^M$ ($0 < p_1 \leq p_2 \leq \infty$) trong không gian tiền Banach được ước lượng như thế nào? Theo công thức 3.74, với $M \in \mathbb{N}$ và $k \in \mathbb{N}$: $e_k \sim 1$ khi $k \leq \log(2M)$; $e_k \sim (k^{-1}\log(1 + 2Mk))^{1/p_1 - 1/p_2}$ khi $\log(2M) \leq k \leq 2M$; $e_k \sim (2M)^{1/p_1 - 1/p_2} \cdot k \cdot 2^{-k/(2M)}$ khi $k \geq 2M$. Các hằng số tương đương không phụ thuộc vào $M$ và $k$.
4. Toán tử suy biến $B = b_2 A^{-1} b_1$ cần các điều kiện nào trên $b_1$, $b_2$ để giá trị riêng $\mu_k$ thỏa $|\mu_k| \leq ck^{-2/n}$? Theo Định lý 3.3, cần $n \geq 4$, $b_1 \in L^{r_1}(\Omega)$, $b_2 \in L^{r_2}(\Omega)$ với $1/r_1 = 1/2 - 1/p$ và $1/r_1 + 1/r_2 < 2/n$, trong đó $2 \leq p < p^* = (1/2 - 2/n)^{-1}$. Khi đó $B: L^p(\Omega) \to L^p(\Omega)$ là compact và giá trị riêng không triệt tiêu thỏa mãn ước lượng trên.
5. Phổ thiết yếu của toán tử Schrödinger $H_\beta = (-\Delta + \mathrm{id}) + \beta V(\cdot)$ là gì và số lượng giá trị riêng âm bị chặn thế nào? Theo Mục 3.3, với $V \in L^r(\mathbb{R}^n)$ thực, $\mathrm{supp},V$ compact, $r \geq 2$, $0 \leq 1/r < 2/n$, thì $\sigma_e(H_\beta) = \sigma_e(H_0) = [1, \infty)$ với mọi $\beta \geq 0$. Số giá trị riêng âm không vượt quá $c'\beta^{n/2}$ với hằng số $c' > 0$.
Kết luận
Khóa luận hệ thống hóa lý thuyết phổ của toán tử elliptic thông qua ba bước lý luận liên kết: xây dựng nền tảng về không gian Sobolev và lý thuyết toán tử trong Chương 1, phát triển các ước lượng số xấp xỉ và số entropy cho phép nhúng compact trong Chương 2, và ứng dụng các ước lượng đó để xác lập phân phối giá trị riêng của toán tử elliptic trong nhiều trường hợp (tự liên hợp, thường gặp, suy biến, phổ âm) trong Chương 3. Điểm kết nối trung tâm của toàn bộ khóa luận là mối quan hệ giữa tính compact của phép nhúng không gian Sobolev và hành vi tiệm cận $\sim k^{2/n}$ của giá trị riêng toán tử elliptic — thể hiện qua số mũ Weyl. Phạm vi khóa luận giới hạn ở mức tổng hợp và trình bày lại tài liệu lý thuyết, phù hợp với mục tiêu củng cố kiến thức giải tích hàm trong chương trình sư phạm toán đại học.