Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Dáng điệu tiệm cận và bài toán điều khiển đối với một số lớp phương trình parabolic suy biến mạnh", chuyên ngành Toán giải tích (mã số 9 46 01 02), do nghiên cứu sinh Nguyễn Xuân Tú thực hiện tại Trường Đại học Sư phạm Hà Nội 2 dưới sự hướng dẫn của GS. TS Cung Thế Anh và TS Trần Văn Bằng vào năm 2021.

Nghiên cứu xuất phát từ bối cảnh các quá trình truyền nhiệt, quá trình khuếch tán và các mô hình sinh thái học quần thể trong tự nhiên, khoa học và kỹ thuật thường được mô tả bởi các phương trình parabolic. Việc khảo sát dáng điệu tiệm cận của nghiệm khi thời gian tiến ra vô cùng đóng vai trò then chốt giúp dự đoán xu thế vận động lâu dài của các hệ động lực tiêu hao. Cùng với đó, bài toán điều khiển giữ vai trò xác định khả năng can thiệp của các hàm điều khiển thích hợp nhằm đưa hệ trạng thái về cấu hình mong muốn. Trong khi lý thuyết tập hút và lý thuyết điều khiển đối với các lớp phương trình parabolic không suy biến hoặc suy biến yếu đã được thiết lập phong phú và tương đối hoàn thiện, các kết quả dành cho phương trình parabolic suy biến mạnh vẫn còn rất hạn chế. Nguyên nhân chủ yếu xuất phát từ những rào cản toán học nội tại: sự suy biến mạnh làm mất đi các định lý nhúng Sobolev thông thường, gây thiếu hụt các đánh giá về tính chính quy của nghiệm, làm vô hiệu hóa nguyên lý cực trị và cản trở việc thiết lập các ước lượng kiểu Carleman chuẩn.

Từ thực trạng trên, tác giả xác định ba khoảng trống nghiên cứu cụ thể mà luận án tập trung giải quyết:

  1. Sự tồn tại của tập hút toàn cục đối với phương trình parabolic nửa tuyến tính chứa toán tử suy biến $\Delta_\lambda$ trên miền bị chặn $\Omega \subset \mathbb{R}^N$ với lớp số hạng phi tuyến kiểu mới không bị áp đặt điều kiện chặn trên về mức độ tăng trưởng (chấp nhận cả các hàm tăng trưởng kiểu mũ).
  2. Sự tồn tại của tập hút toàn cục đối với phương trình parabolic chứa toán tử suy biến mạnh $P_{s,\gamma}$ trên toàn không gian $\mathbb{R}^N$ dưới tác động của số hạng phi tuyến không bị chặn trên, trong điều kiện các phép nhúng Sobolev mất hoàn toàn tính compact do tính chất không bị chặn của miền không gian.
  3. Tính điều khiển được về 0 đối với lớp phương trình parabolic chứa toán tử suy biến mạnh $P_{s,\gamma}$ trong trường hợp không gian nhiều chiều.

Mục đích nghiên cứu của luận án là nghiên cứu sự tồn tại nghiệm, dáng điệu tiệm cận nghiệm và bài toán điều khiển cho một số lớp phương trình parabolic suy biến mạnh bằng các phương pháp của Giải tích hàm.

Đối tượng nghiên cứu là sự tồn tại nghiệm, dáng điệu tiệm cận nghiệm và bài toán điều khiển cho một số lớp phương trình parabolic chứa toán tử suy biến mạnh. Phạm vi nghiên cứu được cấu trúc thành ba nội dung chính:

  • Nội dung 1: Nghiên cứu sự tồn tại duy nhất nghiệm và dáng điệu tiệm cận nghiệm của phương trình parabolic nửa tuyến tính chứa toán tử suy biến mạnh trên miền bị chặn.
  • Nội dung 2: Nghiên cứu sự tồn tại duy nhất nghiệm và dáng điệu tiệm cận nghiệm của phương trình parabolic nửa tuyến tính chứa toán tử suy biến mạnh trên toàn không gian $\mathbb{R}^N$.
  • Nội dung 3: Nghiên cứu bài toán điều khiển được đối với phương trình parabolic chứa toán tử suy biến mạnh trong miền nhiều chiều.

Về phạm vi không gian và thời gian: Không gian khảo sát bao gồm miền mở bị chặn $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) với biên trơn $\partial\Omega$ trong bài toán thứ nhất; toàn không gian $\mathbb{R}^N = \mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$ ($N_1, N_2, N_3 \ge 1$) trong bài toán thứ hai; và miền trụ nhiều chiều trong bài toán điều khiển. Về thời gian, luận án khảo sát trên khoảng hữu hạn $t \in [0, T]$ khi phân tích sự tồn tại của nghiệm yếu và tính điều khiển được, đồng thời xét trục thời gian bán vô hạn $t \in [0, +\infty)$ khi phân tích dáng điệu tiệm cận và sự hình thành tập hút toàn cục.

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

Luận án điểm lại hệ thống các công trình nghiên cứu tiền đề theo từng phân nhánh toán tử và bài toán:

Thứ nhất, đối với phương trình parabolic suy biến chứa toán tử Grushin $G_s u = \Delta_x u + |x|^{2s} \Delta_y u$ trên $\Omega \subset \mathbb{R}^{N_1} \times \mathbb{R}^{N_2}$ ($s \ge 0$), toán tử này được Grushin giới thiệu vào năm 1970 [34]. Dựa trên các kết quả về phép nhúng kiểu Sobolev thiết lập trong [62], một số lớp phương trình parabolic chứa toán tử Grushin đã được nghiên cứu về sự tồn tại và dáng điệu tiệm cận của nghiệm. Tác giả Kế đã mở rộng kết quả trong [3] với lớp phi tuyến thỏa mãn điều kiện tăng trưởng và tiêu hao kiểu đa thức: $C_1 |u|^p - C_0 \le f(u)u \le C_2 |u|^p + C_0$ với $p \ge 2, f'(u) \ge -\ell$ [4].

Thứ hai, đối với toán tử suy biến mạnh $P_{s,\gamma}$, các kết quả nền tảng về tính giải được và phổ đã được công bố trong [62, 63]. Các tác giả trong [64] đã chứng minh sự tồn tại nghiệm và tập hút toàn cục trong miền bị chặn với điều kiện biên Dirichlet cho hai lớp số hạng phi tuyến thỏa mãn điều kiện tăng trưởng và tiêu hao kiểu Sobolev hoặc kiểu đa thức. Tính chính quy của tập hút toàn cục được làm rõ trong [61] và [64]. Sau đó, các kết quả này được mở rộng sang trường hợp miền không bị chặn trong [1, 8], cùng các nghiên cứu liên quan tại [2, 3, 9, 31, 38, 39, 44, 50, 51, 66]. Tuy nhiên, các công trình nêu trên đều áp đặt hạn chế chặn trên đối với sự tăng trưởng của số hạng phi tuyến, khiến các hàm phi tuyến dạng mũ như $f(u) = e^u$ không thể thỏa mãn.

Thứ ba, đối với toán tử suy biến mạnh $\Delta_\lambda$, đây là lớp toán tử tổng quát chứa cả toán tử Grushin và toán tử $P_{s,\gamma}$, được Franchi và Lanconelli đề xuất năm 1982 [25] và tiếp tục khảo sát trong [37]. Sonner trong [38] đã chứng minh sự tồn tại nghiệm, tập hút toàn cục và đánh giá số chiều fractal hữu hạn. Dẫu vậy, khi hàm phi tuyến không bị chặn trên bởi điều kiện tăng trưởng trong cả trường hợp miền bị chặn lẫn không bị chặn, chưa có công trình nào giải quyết do thiếu hụt tính compact của các phép nhúng Sobolev.

Thứ tư, về lý thuyết điều khiển hệ vô hạn chiều (phương trình đạo hàm riêng), Dolecki và Russell (1977) [23] đã đặt nền móng bằng phương pháp đối ngẫu, tiếp nối bởi Russell (1978) [58]. Bước chuyển biến căn bản diễn ra vào năm 1988 khi J.-L. Lions công bố Phương pháp Duy nhất Hilbert (HUM) [46, 47, 48], quy bài toán điều khiển được của hệ tuyến tính về tính quan sát được của hệ liên hợp tương ứng. Các công trình tiên phong [30, 43] đã mở đường cho các nghiên cứu trên phương trình parabolic nửa tuyến tính [24, 26, 27, 29, 70] và trên miền không bị chặn [33, 53]. Trong thập niên gần đây, nghiên cứu điều khiển cho phương trình parabolic suy biến chủ yếu dừng lại ở trường hợp một chiều [17, 18, 20, 52, 65]. Các kết quả nhiều chiều còn rất thưa thớt, chỉ xuất hiện rải rác trên toán tử Grushin [5, 6, 7, 13, 14, 15, 41, 54, 68], phương trình dạng Kolmogorov [11, 12, 42] và một số dạng suy biến riêng biệt [19, 67].

Tiêu chí so sánh Các nghiên cứu trước đây Hướng giải quyết của luận án
Toán tử nghiên cứu Toán tử Grushin, Kolmogorov, hoặc $P_{s,\gamma}$ riêng lẻ Bao quát toán tử $\Delta_\lambda$ tổng quát và toán tử suy biến mạnh $P_{s,\gamma}$
Điều kiện tăng trưởng của $f(u)$ Bị chặn trên bởi đa thức hoặc số mũ Sobolev tới hạn Không bị chặn trên, bao hàm cả hàm tăng trưởng kiểu mũ $f(u) = e^u$
Miền không gian $\mathbb{R}^N$ Đòi hỏi tính compact nhúng Sobolev thông thường Xử lý triệt để sự mất tính compact trên toàn không gian $\mathbb{R}^N$
Bài toán điều khiển nhiều chiều Chủ yếu xử lý phương trình một chiều Khảo sát phương trình nhiều chiều chứa $P_{s,\gamma}$ và xác định ranh giới điều khiển theo tham số

Khoảng trống mà luận án lựa chọn giải quyết chính là mở rộng lớp phi tuyến vượt ra khỏi ranh giới bị chặn trên cho các toán tử suy biến mạnh $\Delta_\lambda$ và $P_{s,\gamma}$, đồng thời thiết lập tường minh các điều kiện điều khiển được về 0 đối với hệ parabolic nhiều chiều tùy thuộc vào mức độ suy biến.

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

Luận án vận dụng các cấu trúc giải tích hàm hiện đại kết hợp lý thuyết hệ động lực vô hạn chiều và lý thuyết điều khiển tối ưu:

  1. Khái niệm và các lớp toán tử suy biến mạnh:
  • Toán tử $\Delta_\lambda$-Laplace: Xác định bởi $\Delta_\lambda := \sum_{i=1}^N \partial_{x_i}(\lambda_i^2 \partial_{x_i})$, với $\lambda_i: \mathbb{R}^N \to \mathbb{R}$ liên tục trên $\mathbb{R}^N$, dương ngặt và thuộc lớp $C^1$ bên ngoài các siêu phẳng tọa độ $\Pi = {x \in \mathbb{R}^N: \prod_{i=1}^N x_i = 0}$. Toán tử thỏa mãn các giả thiết về tính đối xứng, tính thuần nhất bậc 2 đối với nhóm dãn nở $\delta_t(x) = (t^{\varepsilon_1} x_1, \dots, t^{\varepsilon_N} x_N)$ ($1 \le \varepsilon_1 \le \dots \le \varepsilon_N$), với số chiều thuần nhất $Q = \sum_{i=1}^N \varepsilon_i$. Theo tiêu chuẩn Hörmander [36], toán tử này có tính hypoelliptic.
  • Toán tử suy biến mạnh $P_{s,\gamma}$: Cho $s, \gamma \ge 0$, toán tử có dạng $P_{s,\gamma} = \Delta_x + \Delta_y + |x|^{2s}|y|^{2\gamma}\Delta_z$ trên $(x, y, z) \in \mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$. Nhóm co dãn tương ứng là $\delta_t(x, y, z) = (tx, ty, t^{1+s+\gamma}z)$ và số chiều thuần nhất là $Q = N_1 + N_2 + (1+s+\gamma)N_3$. Toán tử suy biến tại các điểm thuộc siêu phẳng $x = 0$ hoặc $y = 0$.
  1. Hệ thống không gian hàm và các phép nhúng:
  • Không gian Sobolev có trọng $\mathring{W}\lambda^{1,2}(\Omega)$: Là bao đóng của $C_0^1(\Omega)$ theo chuẩn $|u|{\mathring{W}\lambda^{1,2}(\Omega)} = |\nabla\lambda u|{L^2(\Omega)}$, trong đó $\nabla\lambda u = (\lambda_1 \partial_{x_1} u, \dots, \lambda_N \partial_{x_N} u)$. Tác giả sử dụng phép nhúng compact $\mathring{W}\lambda^{1,2}(\Omega) \hookrightarrow L^2(\Omega)$ và chứng minh bổ đề về phép nhúng compact $D(\Delta\lambda) \hookrightarrow \mathring{W}_\lambda^{1,2}(\Omega)$.
  • Không gian Sobolev có trọng $S^1(\mathbb{R}^N)$ và $S^2(\mathbb{R}^N)$: Không gian $S^1(\mathbb{R}^N)$ là bao đóng của $C_0^\infty(\mathbb{R}^N)$ theo chuẩn $|u|{S^1(\mathbb{R}^N)}^2 = \int{\mathbb{R}^N} (|u|^2 + |\nabla_{s,\gamma} u|^2) dX$, với $\nabla_{s,\gamma} u = (\nabla_x u, \nabla_y u, |x|^s |y|^\gamma \nabla_z u)$. Không gian $S^2(\mathbb{R}^N)$ có chuẩn $|u|{S^2(\mathbb{R}^N)}^2 = \int{\mathbb{R}^N} (|u|^2 + |P_{s,\gamma} u|^2) dX$. Trên miền bị chặn, ta có phép nhúng compact $S^1(\Omega) \hookrightarrow L^2(\Omega)$ và $S^2(\Omega) \hookrightarrow S^1(\Omega)$.

  1. Lý thuyết tập hút toàn cục và hệ động lực tiêu hao: Hệ động lực vô hạn chiều được mô tả qua nửa nhóm liên tục ${S(t)}_{t \ge 0}$ trên không gian pha $X$. Nửa nhóm được gọi là tiêu hao nếu tồn tại một tập hấp thụ bị chặn $B_0 \subset X$. Tính compact tiệm cận được bảo đảm thông qua sự phân rã $S(t) = S^{(1)}(t) + S^{(2)}(t)$, trong đó toán tử thứ nhất suy giảm tiệm cận về 0 và toán tử thứ hai ánh xạ các tập bị chặn vào tập compact. Định lý cơ bản khẳng định một hệ động lực tiêu hao và compact tiệm cận sẽ sở hữu tập hút toàn cục compact, liên thông $\mathcal{A} = \omega(B_0)$.

  2. Lý thuyết điều khiển và Phương pháp Duy nhất Hilbert (HUM): Xét hệ điều khiển trạng thái $\partial_t u = Au + Bv$. Khái niệm điều khiển được về 0 tại thời điểm $T > 0$ đồng nghĩa với việc tìm được hàm điều khiển $v \in L^2(0, T; U)$ sao cho $u(T) = 0$. Phương pháp HUM chuyển bài toán điều khiển về việc thiết lập tính quan sát được của hệ liên hợp $\partial_t \phi + A^* \phi = 0$ thông qua bất đẳng thức quan sát $|\phi(0)|{L^2(\Omega)}^2 \le C \int_0^T |B^* \phi(t)|{L^2(\omega)}^2 dt$.

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

  • Chứng minh sự tồn tại nghiệm: Vận dụng phương pháp xấp xỉ Galerkin kết hợp định lý Peano cho hệ phương trình vi phân thường, thiết lập các ước lượng tiên nghiệm năng lượng và áp dụng Bổ đề compact Aubin-Lions-Simon để chuyển qua giới hạn.
  • Kỹ thuật hàm cắt Nemytskii: Do số hạng phi tuyến $f(u)$ không có chặn trên, $f(u)$ chỉ thuộc $L^1(Q_T)$ trong khi nghiệm không thuộc $L^\infty(Q_T)$. Tác giả sử dụng hàm cắt $B_k(s)$ ($B_k(s) = s$ khi $|s| \le k$ và $B_k(s) = \pm k$ khi $|s| > k$) cùng toán tử Nemytskii tương ứng để chứng minh tính duy nhất và tính phụ thuộc liên tục của nghiệm vào dữ kiện ban đầu theo ý tưởng của P. Fabrie và cộng sự [32].
  • Kỹ thuật thác triển và phép chiếu: Trên toàn không gian $\mathbb{R}^N$, tác giả xây dựng dãy nghiệm xấp xỉ trên các hình cầu $B_R$, sử dụng hàm cắt trơn $\psi_R$ để thác triển lên toàn không gian, sau đó chiếu lên các quả cầu compact cố định $B_{r_k}$ nhằm khôi phục tính compact cục bộ.
  • Phương pháp phân tích phổ và ước lượng Carleman: Áp dụng khai triển Fourier theo biến $z$, đưa phương trình về họ các phương trình theo biến $(x, y)$, sử dụng đẳng thức Bessel-Parseval kết hợp các bất đẳng thức Carleman mới để đánh giá tốc độ tán xạ theo từng tần số.

Tư liệu nghiên cứu là các hệ phương trình đạo hàm riêng suy biến và các định lý giải tích thuần túy, hoàn toàn không dựa trên dữ liệu thống kê hay khảo sát thực nghiệm.

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 toàn bộ các công cụ giải tích và cơ sở lý thuyết làm nền tảng cho các chứng minh ở các chương sau:

  • Định nghĩa chi tiết và các tính chất cấu trúc của hai lớp toán tử: toán tử $\Delta_\lambda$-Laplace và toán tử suy biến mạnh $P_{s,\gamma}$. Thiết lập mối liên hệ giữa nhóm dãn nở thuần nhất và số chiều thuần nhất $Q$.
  • Trình bày hệ thống các không gian hàm Lebesgue phụ thuộc thời gian $L^p(0, T; X)$, $C([0, T]; X)$ và các không gian Sobolev có trọng liên kết với các toán tử suy biến.
  • Nhắc lại khung lý thuyết về hệ động lực vô hạn chiều, nửa nhóm nghiệm liên tục, khái niệm tập hấp thụ bị chặn, tính compact tiệm cận và định lý tồn tại tập hút toàn cục compact, liên thông.
  • Trình bày cơ sở lý thuyết điều khiển hệ parabolic tuyến tính trong không gian vô hạn chiều, phân định rõ các cấp độ điều khiển (điều khiển chính xác, điều khiển chính xác đến quỹ đạo, điều khiển về 0 và điều khiển xấp xỉ), đồng thời thiết lập lược đồ phương pháp duy nhất Hilbert (HUM) gắn với phiếm hàm cực tiểu $J(\phi_T)$.
  • Tổng hợp các kết quả bổ trợ nền tảng: Bất đẳng thức Cauchy, Cauchy với số $\varepsilon > 0$, bất đẳng thức Hölder, ba dạng bất đẳng thức Gronwall (dạng vi phân, dạng tích phân và dạng đều), Bổ đề compact Aubin-Lions-Simon, đẳng thức Bessel-Parseval và công thức tọa độ cầu trong $\mathbb{R}^N$.

Chương 2: Tập hút toàn cục của một lớp phương trình parabolic suy biến mạnh trên miền bị chặn

Chương 2 nghiên cứu bài toán biên ban đầu đối với phương trình parabolic nửa tuyến tính suy biến mạnh: $$u_t - \Delta_\lambda u + f(u) = g(x), \quad x \in \Omega, \ t > 0$$ với điều kiện biên Dirichlet thuần nhất $u(x, t) = 0$ trên $\partial\Omega \times (0, \infty)$ và dữ kiện ban đầu $u(x, 0) = u_0(x) \in L^2(\Omega)$, ngoại lực $g \in L^2(\Omega)$.

Hàm phi tuyến $f: \mathbb{R} \to \mathbb{R}$ thuộc lớp $C^1$ thỏa mãn các điều kiện: $$f'(u) \ge -\ell, \quad f(u)u \ge \mu u^2 - C_1$$ với các hằng số dương $C_1, \ell$ và $0 < \mu < \gamma_1$ ($\gamma_1 > 0$ là giá trị riêng đầu tiên của toán tử $-\Delta_\lambda$ trên $\Omega$ với điều kiện biên Dirichlet thuần nhất). Điều kiện này kéo theo bất đẳng thức thế $F(u) \le f(u)u + \frac{\ell}{2}u^2$. Hàm $f$ hoàn toàn không bị chặn trên bởi điều kiện tăng trưởng, chấp nhận cả hàm tăng trưởng kiểu mũ $f(u) = e^u$.

Các luận điểm và phát hiện trọng tâm của chương:

  • Tồn tại và duy nhất nghiệm yếu: Thông qua hệ xấp xỉ Galerkin hữu hạn chiều $u_n(t) = \sum_{j=1}^n u_{nj}(t) e_j$ và đánh giá tiên nghiệm: $$|u_n(t)|{L^2(\Omega)}^2 \le e^{-C_2 t} |u_n(0)|{L^2(\Omega)}^2 + \frac{C_3}{C_2}(1 - e^{-C_2 t})$$ tác giả suy ra dãy nghiệm xấp xỉ bị chặn trong $L^\infty(0, T; L^2(\Omega)) \cap L^2(0, T; \mathring{W}\lambda^{1,2}(\Omega))$. Để xử lý tính chất không bị chặn trên của $f(u)$, tác giả xét hàm phụ trợ $h(s) = f(s) - f(0) + \gamma s$ với $\gamma > \ell$ nhằm chứng minh $f(u_n)$ bị chặn trong $L^1(Q_T)$, từ đó suy ra đạo hàm thời gian $\frac{du_n}{dt}$ bị chặn trong $L^1(0, T; (\mathring{W}\lambda^{1,2}(\Omega))^* + L^1(\Omega))$. Áp dụng Bổ đề Aubin-Lions-Simon, tác giả chứng minh được sự hội tụ yếu và xác định nghiệm yếu duy nhất. Tính duy nhất và sự phụ thuộc liên tục được chứng minh nhờ kỹ thuật hàm cắt Nemytskii $B_k(w)$, thu được ước lượng ổn định $|w(t)|{L^2(\Omega)}^2 \le |w(0)|{L^2(\Omega)}^2 e^{2\ell t}$.
  • Sự tồn tại tập hút toàn cục: Tác giả xác định nửa nhóm liên tục $S(t)u_0 = u(t)$ trên $L^2(\Omega)$. Bằng bất đẳng thức Gronwall đều, tác giả chứng minh sự tồn tại của tập hấp thụ bị chặn trong $L^2(\Omega)$ và trong $\mathring{W}_\lambda^{1,2}(\Omega)$.
  • Tính compact tiệm cận và độ trơn: Bằng cách lấy đạo hàm theo thời gian và thiết lập các ước lượng tiên nghiệm tiệm cận đối với $|u_t|{L^2(\Omega)} \le \rho_3$ và $|\Delta\lambda u|{L^2(\Omega)} \le \rho_4$ với $t \ge T_3$, tác giả chỉ ra nửa nhóm có tập hấp thụ bị chặn trong miền xác định $D(\Delta\lambda)$. Kết hợp với Bổ đề 2.4 chứng minh phép nhúng $D(\Delta_\lambda) \hookrightarrow \mathring{W}\lambda^{1,2}(\Omega)$ là compact, tác giả kết luận nửa nhóm ${S(t)}{t \ge 0}$ sở hữu tập hút toàn cục $\mathcal{A}$ compact và liên thông trong không gian $\mathring{W}_\lambda^{1,2}(\Omega)$.

Chương 3: Tập hút toàn cục của một lớp phương trình parabolic suy biến mạnh trên toàn không gian

Chương 3 mở rộng bài toán sang không gian không bị chặn $\mathbb{R}^N = \mathbb{R}^{N_1} \times \mathbb{R}^{N_2} \times \mathbb{R}^{N_3}$ đối với phương trình: $$\frac{\partial u}{\partial t} - P_{s,\gamma} u + f(X, u) + \lambda u = g(X), \quad X \in \mathbb{R}^N, \ t > 0$$ với $\lambda > 0$, $u(X, 0) = u_0(X) \in L^2(\mathbb{R}^N)$, ngoại lực $g \in L^2(\mathbb{R}^N)$. Hàm phi tuyến $f(X, u)$ khả vi liên tục theo $u$ thỏa mãn $f_u'(X, u) \ge -\ell$ và $f(X, u)u \ge \mu u^2 - C_1(X)$, với $0 < \mu < \lambda$ và hàm không âm $C_1(\cdot) \in L^1(\mathbb{R}^N) \cap L^2(\mathbb{R}^N)$.

Các phát hiện và kỹ thuật giải quyết cốt lõi:

  • Xử lý sự mất tính compact: Do $\mathbb{R}^N$ không bị chặn, các phép nhúng Sobolev thông thường không còn tính compact. Tác giả khắc phục bằng phương pháp xấp xỉ địa phương: xét dãy phương trình trên các hình cầu $B_R$, thu được nghiệm $u_R$. Bằng các đánh giá năng lượng đều độc lập với bán kính $R$, nghiệm được thác triển lên toàn không gian $\hat{u}{r_j} = u{r_j} \psi_{r_j}$ nhờ hàm cắt trơn $\psi_{r_j}$.
  • Hội tụ và nghiệm yếu: Thực hiện phép chiếu $u_{kj} = L_k \hat{u}{r_j}$ lên các quả cầu cố định $B{r_k}$. Trên các miền bị chặn này, phép nhúng compact $S^1(B_{r_k}) \hookrightarrow L^2(B_{r_k})$ được bảo toàn. Tác giả chứng minh dãy chiếu hội tụ mạnh hầu khắp nơi, từ đó chuyển qua giới hạn cho số hạng phi tuyến $f(X, u_{kj})$ trong $L^1([0, T] \times B_{r_k})$ và khẳng định giới hạn suy rộng $u_\infty$ là nghiệm yếu duy nhất trên toàn không gian $\mathbb{R}^N$.
  • Tập hút toàn cục: Tác giả chứng minh sự tồn tại của các tập hấp thụ bị chặn và thiết lập tính compact tiệm cận của nửa nhóm nghiệm, khẳng định sự tồn tại của tập hút toàn cục trong cả hai không gian $L^2(\mathbb{R}^N)$ và $S^1(\mathbb{R}^N)$.

Chương 4: Tính điều khiển được của lớp phương trình parabolic suy biến mạnh

Chương 4 nghiên cứu bài toán điều khiển hình thức đối với hệ parabolic tuyến tính nhiều chiều chứa toán tử suy biến mạnh $P_{s,\gamma}$: $$\partial_t u - P_{s,\gamma} u = 1_\omega v$$ trong đó $v$ là hàm điều khiển phân bố đặt trên tập mở con khác rỗng $\omega$, $1_\omega$ là hàm đặc trưng của miền $\omega$. Mục tiêu là khảo sát tính điều khiển được về 0 tại thời điểm $T > 0$.

Lược đồ giải quyết và các phát hiện:

  • Quy đổi đối ngẫu HUM: Theo phương pháp duy nhất Hilbert, tính điều khiển được về 0 tương đương với bất đẳng thức quan sát được của hệ liên hợp: $$\partial_t \phi + P_{s,\gamma} \phi = 0$$
  • Khai triển Fourier và tách tần số: Do cấu trúc toán tử $P_{s,\gamma} = \Delta_x + \Delta_y + |x|^{2s}|y|^{2\gamma}\Delta_z$, tác giả thực hiện phép biến đổi Fourier theo biến $z \in \mathbb{R}^{N_3}$ với tham số tần số $\xi$. Bài toán liên hợp nhiều chiều được chuyển về một họ vô hạn các phương trình parabolic suy biến hai chiều đối với biến $(x, y)$, chứa thế phụ thuộc tần số $|\xi|^2 |x|^{2s}|y|^{2\gamma}$.
  • Thiết lập bất đẳng thức Carleman và tốc độ tán xạ: Tác giả xây dựng các bất đẳng thức Carleman mới có trọng phù hợp cho toán tử suy biến, đánh giá chính xác tốc độ tiêu tán năng lượng (dissipation rate) theo tần số Fourier $|\xi|$.
  • Phân loại ngưỡng điều khiển theo Định lý 4: Kết quả phân tích chỉ ra tính điều khiển được của hệ phụ thuộc trực tiếp vào tổng các số mũ suy biến $s + \gamma$:
    1. Trường hợp suy biến yếu ($s + \gamma \in (0, 1/2)$): Tốc độ tiêu tán đủ mạnh, hệ điều khiển được về 0 tại mọi thời điểm $T > 0$.
    2. Trường hợp suy biến mạnh / tới hạn ($s = \gamma = 1/2$): Tồn tại thời gian tối thiểu $T^* > 0$. Hệ điều khiển được về 0 khi và chỉ khi thời gian điều khiển đủ lớn, tức $T \ge T^*$.
    3. Trường hợp suy biến quá mạnh ($s + \gamma > 1$): Hiệu ứng suy biến triệt tiêu khả năng truyền tín hiệu, hệ không điều khiển được về 0 tại bất kỳ thời điểm $T > 0$ nào.

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

Luận án đạt được các kết quả lý luận giải tích hàm và lý thuyết điều khiển mới như tác giả tự nêu:

  1. Đóng góp về phương pháp giải bài toán phi tuyến không bị chặn trên: Chứng minh thành công sự tồn tại, tính duy nhất của nghiệm yếu và sự tồn tại của tập hút toàn cục đối với lớp phương trình parabolic chứa toán tử $\Delta_\lambda$ trên miền bị chặn và toán tử $P_{s,\gamma}$ trên toàn không gian $\mathbb{R}^N$ với lớp số hạng phi tuyến tổng quát không bị giới hạn bởi điều kiện tăng trưởng trên, bao hàm trường hợp hàm tăng trưởng kiểu mũ $f(u) = e^u$.

  2. Thiết lập tính compact của phép nhúng không gian Sobolev có trọng: Chứng minh bổ đề giải tích quan trọng về tính compact của phép nhúng $D(\Delta_\lambda) \hookrightarrow \mathring{W}_\lambda^{1,2}(\Omega)$, tạo tiền đề chứng minh tính compact tiệm cận và tính chính quy của tập hút toàn cục trên miền bị chặn.

  3. Phát hiện quy luật điều khiển theo bậc suy biến: Khám phá và chứng minh trọn vẹn quy luật phân hóa trạng thái điều khiển được về 0 của hệ parabolic nhiều chiều chứa toán tử $P_{s,\gamma}$, chỉ ra sự tồn tại của thời gian tới hạn $T^*$ khi $s = \gamma = 1/2$ và ranh giới không điều khiển được khi $s + \gamma > 1$.

Vấn đề nghiên cứu Toán tử & Không gian Điều kiện kỹ thuật chính Kết quả cốt lõi đạt được
Tập hút miền bị chặn Toán tử $\Delta_\lambda$, miền $\Omega \subset \mathbb{R}^N$ $f'(u) \ge -\ell$, $f(u)u \ge \mu u^2 - C_1$ (không chặn trên) Nghiệm yếu duy nhất; tồn tại tập hút toàn cục $\mathcal{A}$ trong $\mathring{W}_\lambda^{1,2}(\Omega)$
Tập hút toàn không gian Toán tử $P_{s,\gamma}$, không gian $\mathbb{R}^N$ $C_1 \in L^1(\mathbb{R}^N) \cap L^2(\mathbb{R}^N)$, $\lambda > \mu$ Nghiệm yếu duy nhất; tồn tại tập hút toàn cục trong $L^2(\mathbb{R}^N)$ và $S^1(\mathbb{R}^N)$
Điều khiển suy biến yếu Toán tử $P_{s,\gamma}$, nhiều chiều Tổng số mũ $s + \gamma \in (0, 1/2)$ Điều khiển được về 0 tại mọi thời điểm $T > 0$
Điều khiển suy biến tới hạn Toán tử $P_{s,\gamma}$, nhiều chiều Các số mũ $s = \gamma = 1/2$ Điều khiển được về 0 khi và chỉ khi $T \ge T^*$
Điều khiển suy biến quá mạnh Toán tử $P_{s,\gamma}$, nhiều chiều Tổng số mũ $s + \gamma > 1$ Khẳng định hệ không điều khiển được về 0 với mọi $T > 0$

Các kết quả của luận án đã được công bố trong 02 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục ESCI/Scopus, 01 bản thảo hoàn thiện gửi đăng và được báo cáo tại Đại hội Toán học Việt Nam lần thứ IX (2018) cùng các hội thảo chuyên ngành.

Về kiến nghị, văn bản đề xuất tiếp tục phát triển nghiên cứu theo hướng:

  • Đánh giá định lượng số chiều Hausdorff và số chiều fractal của tập hút toàn cục thu được trong không gian $\mathbb{R}^N$.
  • Nghiên cứu mở rộng bài toán điều khiển đối với các hệ phương trình parabolic phi tuyến chứa toán tử suy biến mạnh.

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

Căn cứ theo nội dung văn bản trình bày, các hạn chế nội tại và hướng mở của đề tài bao gồm:

  • Luận án mới chỉ tập trung giải quyết bài toán điều khiển được về 0 cho hệ tuyến tính; tính chất điều khiển được chính xác chưa đạt được do hiệu ứng trơn của nghiệm phương trình parabolic so với dữ kiện ban đầu.
  • Bài toán điều khiển trong Chương 4 chưa mở rộng cho các hệ nửa tuyến tính chứa số hạng phi tuyến $f(u)$.
  • Đối với bài toán trên toàn không gian $\mathbb{R}^N$ trong Chương 3, tác giả chứng minh được sự tồn tại của tập hút toàn cục trong $L^2(\mathbb{R}^N)$ và $S^1(\mathbb{R}^N)$ nhưng chưa thiết lập được tính hữu hạn của số chiều fractal như trường hợp miền bị chặn.
  • Khoảng giá trị của các tham số suy biến trong bài toán điều khiển chưa khảo sát đầy đủ cho trường hợp vùng chuyển tiếp giữa $1/2 \le s + \gamma \le 1$ ngoài điểm tới hạn cụ thể $s = \gamma = 1/2$.

Giá trị tham khảo

Nội dung luận án có giá trị tham khảo chuyên môn đối với các nhóm đối tượng nghiên cứu:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Giải tích toán học, Phương trình vi phân và đạo hàm riêng: Có thể tham khảo phương pháp luận giải quyết tính phi tuyến không bị chặn trên trong Chương 2, đặc biệt là kỹ thuật phối hợp giữa hàm cắt Nemytskii và Bổ đề compact Aubin-Lions-Simon để khắc phục sự suy giảm tính chính quy của nghiệm.
  • Giảng viên và nhà nghiên cứu lý thuyết hệ động lực vô hạn chiều: Phần chứng minh phép nhúng compact $D(\Delta_\lambda) \hookrightarrow \mathring{W}_\lambda^{1,2}(\Omega)$ cùng kỹ thuật thác triển - chiếu hình cầu compact trên không gian $\mathbb{R}^N$ trong Chương 3 là tài liệu tham khảo giá trị cho các bài toán xử lý sự suy biến hình học và sự mất tính compact trên miền không bị chặn.
  • Các nhà nghiên cứu lý thuyết điều khiển hệ phân bố (PDE control theory): Chương 4 cung cấp chi tiết kỹ thuật tích hợp giữa Phương pháp Duy nhất Hilbert (HUM), phân tích tần số Fourier và bất đẳng thức Carleman cho các toán tử suy biến nhiều chiều, hỗ trợ việc thiết lập các bất đẳng thức quan sát được trên các hệ parabolic phức tạp.

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

1. Vì sao luận án chỉ tập trung vào bài toán điều khiển được về 0 thay vì điều khiển được chính xác?
Trả lời: Theo lập luận của tác giả ở Chương 1 và Chương 4, đối với phương trình parabolic tuyến tính, tính điều khiển được chính xác nhìn chung không đạt được do nghiệm luôn có tính chất trơn hơn so với dữ kiện ban đầu (hiệu ứng trơn). Đồng thời, tính điều khiển được về 0 kéo theo tính điều khiển được xấp xỉ của hệ, do đó nghiên cứu tập trung vào tính điều khiển được về 0 là lựa chọn tự nhiên và phù hợp nhất với bản chất giải tích của phương trình.

2. Điểm khác biệt mấu chốt của lớp hàm phi tuyến $f(u)$ trong luận án so với các công trình đi trước là gì?
Trả lời: Các công trình trước đây thường áp đặt điều kiện tăng trưởng và tiêu hao kiểu đa thức hoặc kiểu Sobolev (bị chặn trên bởi lũy thừa bậc $p$), khiến các hàm tăng trưởng nhanh như hàm mũ $f(u) = e^u$ bị loại trừ. Luận án chỉ yêu cầu điều kiện vi phân dưới $f'(u) \ge -\ell$ và tiêu hao $f(u)u \ge \mu u^2 - C_1$ mà không đặt bất kỳ chặn trên nào, cho phép dung nạp lớp phi tuyến rộng hơn rất nhiều.

3. Khó khăn toán học lớn nhất khi chứng minh sự tồn tại của tập hút trên toàn không gian $\mathbb{R}^N$ là gì và được giải quyết ra sao?
Trả lời: Khó khăn cơ bản là trên miền không bị chặn $\mathbb{R}^N$, phép nhúng Sobolev $S^1(\mathbb{R}^N) \hookrightarrow L^2(\mathbb{R}^N)$ không còn tính compact. Tác giả đã giải quyết bằng cách xấp xỉ nghiệm qua bài toán trên quả cầu $B_R$, dùng hàm cắt trơn $\psi_R$ thác triển nghiệm lên $\mathbb{R}^N$, sau đó chiếu lên các hình cầu compact cố định $B_{r_k}$ để tận dụng tính compact địa phương của Bổ đề Aubin-Lions-Simon trước khi chuyển qua giới hạn toàn cục.

4. Bậc suy biến $s + \gamma$ chi phối tính điều khiển được về 0 của hệ parabolic chứa toán tử $P_{s,\gamma}$ như thế nào?
Trả lời: Định lý 4 của luận án chứng minh rằng tính điều khiển được phụ thuộc chặt chẽ vào mức độ suy biến: khi $s + \gamma \in (0, 1/2)$, hệ điều khiển được về 0 tại mọi thời điểm $T > 0$; khi $s = \gamma = 1/2$, hệ chỉ điều khiển được về 0 nếu thời gian kiểm soát đủ lớn ($T \ge T^*$); còn khi $s + \gamma > 1$, hệ hoàn toàn không điều khiển được về 0 tại bất kỳ thời điểm nào.

5. Kỹ thuật hàm cắt Nemytskii đóng vai trò gì trong việc chứng minh tính duy nhất nghiệm ở Chương 2?
Trả lời: Do số hạng phi tuyến không có chặn trên, $f(u)$ chỉ thuộc không gian $L^1(\Omega)$ mà hiệu hai nghiệm $w = u - v$ không thuộc không gian thử $L^\infty(\Omega)$, nên không thể nhân trực tiếp $w$ vào phương trình sai phân. Tác giả phải sử dụng hàm cắt $B_k(w)$ thông qua toán tử Nemytskii để tạo hàm thử bị chặn hợp lệ, sau đó cho tham số cắt $k \to \infty$ và áp dụng bất đẳng thức Gronwall.

Kết luận

Luận án của nghiên cứu sinh Nguyễn Xuân Tú đã giải quyết có hệ thống các bài toán giải tích hàm đối với phương trình parabolic suy biến mạnh chứa toán tử $\Delta_\lambda$ và $P_{s,\gamma}$. Tác giả đã chứng minh sự tồn tại, tính duy nhất của nghiệm yếu và sự tồn tại của tập hút toàn cục dưới điều kiện phi tuyến không bị chặn trên cho cả trường hợp miền bị chặn và toàn không gian $\mathbb{R}^N$. Công trình đồng thời phân loại tường minh các ngưỡng điều khiển được về 0 của hệ nhiều chiều thông qua phương pháp duy nhất Hilbert kết hợp bất đẳng thức Carleman mới. Các kết quả đạt được tạo lập cơ sở lý thuyết chuẩn xác cho việc nghiên cứu hệ động lực tiêu hao và lý thuyết điều khiển phương trình đạo hàm riêng suy biến mạnh.