Tổng quan luận án

Nghiên cứu sự tồn tại của đa tạp tích phân bao gồm đa tạp ổn định, đa tạp không ổn định và đa tạp tâm là một vấn đề trung tâm trong lý thuyết định tính của phương trình vi phân và phương trình đạo hàm riêng có trễ và trung tính. Việc xác định các đa tạp này cung cấp bức tranh hình học về dáng điệu tiệm cận của nghiệm xung quanh điểm cân bằng hoặc quỹ đạo xác định, đồng thời cho phép sử dụng nguyên lý thu gọn để chuyển việc khảo sát các hệ vô hạn chiều phức tạp về các phương trình hữu hạn chiều trên đa tạp. Khoảng trống nghiên cứu được tác giả xác định là: trong khi các kết quả về đa tạp tích phân đối với phương trình vi phân thông thường hoặc phương trình nửa tuyến tính đã phát triển mạnh, các nghiên cứu về đa tạp bất biến thuộc lớp chấp nhận được (chứa quỹ đạo nghiệm nằm trong không gian hàm Banach chấp nhận được) đối với lớp phương trình đạo hàm riêng hàm trung tính còn rất hạn chế, đặc biệt khi hệ số Lipschitz của phần phi tuyến phụ thuộc vào thời gian và hệ có trễ hữu hạn hoặc vô hạn.

Mục tiêu nghiên cứu của luận án là thiết lập sự tồn tại và tính chất hút của các đa tạp bất biến chấp nhận được (đa tạp ổn định, không ổn định và tâm ổn định) đối với nghiệm của ba lớp phương trình đạo hàm riêng hàm trung tính trong không gian Banach, dưới điều kiện phần tuyến tính sinh ra họ tiến hóa có nhị phân mũ hoặc tam phân mũ, còn phần phi tuyến thỏa mãn điều kiện $\phi$-Lipschitz với hàm $\phi(t)$ thuộc không gian hàm chấp nhận được. Luận án giải quyết 3 nội dung nghiên cứu cụ thể được đánh số theo văn bản:

  1. Nội dung 1: Nghiên cứu sự tồn tại của đa tạp tích phân thuộc lớp chấp nhận được đối với nghiệm của phương trình đạo hàm riêng hàm trung tính với trễ hữu hạn có dạng: $$\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t), \quad t \ge s, ; t, s \in I, \quad u_s = \varphi \in C([-r, 0], X)$$
  2. Nội dung 2: Nghiên cứu sự tồn tại của đa tạp ổn định bất biến và đa tạp tâm ổn định bất biến thuộc lớp chấp nhận được đối với nghiệm của phương trình đạo hàm riêng hàm trung tính trên nửa trục có dạng: $$\frac{\partial}{\partial t} F u_t = B(t)u(t) + \Phi(t, u_t), \quad t \in (0, \infty), \quad u_0 = \varphi \in C([-r, 0], X)$$
  3. Nội dung 3: Nghiên cứu sự tồn tại của đa tạp ổn định bất biến và đa tạp tâm ổn định bất biến thuộc lớp chấp nhận được đối với nghiệm của phương trình đạo hàm riêng hàm trung tính với trễ vô hạn có dạng: $$\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t), \quad t \in (0, \infty), \quad u_0 = \varphi \in C_\gamma$$

Đối tượng nghiên cứu là đa tạp bất biến chấp nhận được của các lớp phương trình đạo hàm riêng hàm trung tính trong không gian hàm chấp nhận được. Phạm vi nghiên cứu về không gian bao gồm không gian trạng thái Banach $X$, không gian pha $C([-r, 0], X)$ đối với trễ hữu hạn và không gian pha giảm nhớ $C_\gamma$ đối với trễ vô hạn. Phạm vi về thời gian khảo sát trên nửa trục thực $I = \mathbb{R}_+ = [0, \infty)$ và trên toàn bộ trục thực $I = \mathbb{R}$.

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

Trong phần tổng quan, tác giả điểm lại lịch sử phát triển của lý thuyết đa tạp tích phân và phân loại các công trình tiền đề theo phương pháp, điều kiện phi tuyến và dạng trễ:

  • Nền tảng ban đầu về sự tồn tại của đa tạp bất biến cho phương trình vi phân trong không gian hữu hạn chiều $\mathbb{R}^n$ được thiết lập bởi Hadamard (1901), Perron (1928, 1930), Bogoliubov và Mitropolsky (1961).
  • Mở rộng sang không gian Banach vô hạn chiều: Daleckii và Krein (1970) chứng minh sự tồn tại của đa tạp bất biến cho phương trình nửa tuyến tính với toán tử tuyến tính bị chặn. Henry (1981) phát triển các kết quả này cho trường hợp toán tử đạo hàm riêng không giới nội $A(t)$. Các phát triển tiếp theo cho phương trình đạo hàm riêng có trễ và trung tính được mở rộng bởi Chueshov (2002) và Wu (1996).
  • Về phương pháp nghiên cứu: Tồn tại hai hướng tiếp cận chính gồm phương pháp Hadamard (được tổng quát hóa thành phương pháp biến đổi đồ thị, sử dụng bởi Minh và Wu (2004)) và phương pháp Perron (được phát triển thành phương pháp Lyapunov-Perron liên hệ với các phương pháp của Lyapunov, được nghiên cứu trong các công trình của Daleckii và Krein (1970), Huy (2006, 2009)).
  • Về điều kiện phi tuyến: Các nghiên cứu giai đoạn đầu thường yêu cầu số hạng phi tuyến thỏa mãn điều kiện Lipschitz với hằng số Lipschitz đủ nhỏ. Tuy nhiên, trong các quá trình phản ứng - khuếch tán, số hạng phi tuyến đại diện cho nguồn vật chất nên hằng số Lipschitz không nhất thiết nhỏ theo nghĩa cổ điển. Để giải quyết vấn đề này, Huy (2006) sử dụng phương pháp Lyapunov-Perron và không gian hàm chấp nhận được để mở rộng sang trường hợp hệ số Lipschitz phụ thuộc vào thời gian $\phi(t)$ thuộc không gian hàm Banach chấp nhận được. Tiếp đó, Huy (2009) chứng minh sự tồn tại của loại đa tạp ổn định bất biến mới thuộc lớp chấp nhận được đối với phương trình tiến hóa nửa tuyến tính.
  • Về phương trình có trễ và trung tính: Đối với phương trình có trễ, Minh và Wu (2004) áp dụng phương pháp biến đổi đồ thị, sau đó được Huy và Được (2012), Huy và Khánh (2014) mở rộng cho số hạng phi tuyến $\phi$-Lipschitz. Đối với phương trình trung tính ôtônôm, Petzeltová và Staffans (1997), Benkhali, Ezzinbi và Fatajou (2004) nghiên cứu trường hợp toán tử sinh nửa nhóm giải tích hyperbolic và hàm phi tuyến có hằng số Lipschitz nhỏ. Wu và Xia (1996) nghiên cứu mô hình mạng lưới đường dây truyền tải dẫn đến phương trình đạo hàm riêng hàm trung tính. Đối với trường hợp không ôtônôm, Huy và Bằng (2014, 2017) khảo sát sự tồn tại đa tạp tích phân khi hệ sinh ra họ tiến hóa có nhị phân mũ hoặc tam phân mũ và phần phi tuyến là $\phi$-Lipschitz. Đối với trễ vô hạn, Huy và Đẳng (2013) nghiên cứu nghiệm tuần hoàn trong không gian giảm nhớ.

Vị trí của luận án: Sau công trình của Huy (2009), hướng nghiên cứu về đa tạp bất biến chấp nhận được chỉ mới được tiếp nối bởi một số rất ít công trình như của Huy và Khánh (2014) cho phương trình đạo hàm riêng có trễ thông thường. Đối với phương trình đạo hàm riêng hàm trung tính (chứa toán tử sai phân $F$ tác động lên đạo hàm theo thời gian), việc nghiên cứu đa tạp bất biến thuộc lớp chấp nhận được vẫn còn là khoảng trống chưa được giải quyết. Luận án lựa chọn giải quyết trực tiếp khoảng trống này cho ba dạng phương trình trung tính với hệ số $\phi$-Lipschitz biến thiên theo thời gian trên trục, nửa trục và với trễ vô hạn.

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

Luận án sử dụng các hệ thống lý thuyết giải tích hàm và hệ động lực vô hạn chiều sau:

  • Lý thuyết không gian hàm Banach chấp nhận được: Không gian véctơ $E_I$ gồm các hàm thực đo được Borel trên $I$ ($I$ là $\mathbb{R}$ hoặc $\mathbb{R}+$) là dàn Banach, liên tục chìm vào $L^1{\text{loc}}(I)$, chứa hàm đặc trưng của các tập đo được có độ đo hữu hạn, bất biến tịnh tiến qua các toán tử $T_\tau^+$ và $T_\tau^-$, đồng thời thỏa mãn tính chất $\Lambda_1 \phi(t) = \int_t^{t+1} \phi(\tau) d\tau \in E_I$. Các không gian cụ thể thỏa mãn tính chất chấp nhận được gồm không gian Lebesgue $L^p(I)$ ($1 \le p \le \infty$) và không gian Stepanov $M(I)$. Luận án sử dụng không gian liên kết $E_I'$ cùng bất đẳng thức Hölder mở rộng: $$\int_{-\infty}^\infty |\phi(t)\psi(t)|dt \le |\phi|{E_I} |\psi|{E_I'}, \quad \forall \phi \in E_I, ; \psi \in E_I'$$ Hàm $\phi \ge 0$ được gọi là $E$-bất biến mũ nếu với mỗi $\nu > 0$, hàm $h_\nu(t) := |e^{-\nu|t-\cdot|}\phi(\cdot)|_{E_I'}$ thuộc vào $E_I$.
  • Bất đẳng thức nón của Daleckii và Krein (1970): Cho $K$ là nón trong không gian Banach $W$, bất biến dưới toán tử tuyến tính bị chặn $A \in \mathcal{L}(W)$ có bán kính phổ $r_A < 1$. Nếu $x \in W$ thỏa mãn $x \le Ax + z$ với $z \in W$, thì $x \le y$ với $y = (I - A)^{-1}z$ là nghiệm của phương trình $y = Ay + z$.
  • Lý thuyết nửa nhóm và họ tiến hóa: Sử dụng nửa nhóm liên tục mạnh $(T(t)){t \ge 0}$, toán tử sinh đóng $(A, D(A))$, tập giải thức $\rho(A)$, tập phổ $\sigma(A)$, định lý ánh xạ phổ và tính chất nhị phân mũ của nửa nhóm. Đối với hệ không ôtônôm, sử dụng họ tiến hóa $(U(t, s)){t \ge s}$ sinh bởi bài toán Cauchy đặt chỉnh, khái niệm phép chiếu nhị phân $P(t)$ với các hằng số $N, \nu > 0$, hàm Green $G(t, \tau)$, và khái niệm phép chiếu tam phân ${P_j(t)}_{j=1,2,3}$ với các hằng số $N, \alpha, \beta > 0$.
  • Không gian pha giảm nhớ $C_\gamma$: Không gian các hàm liên tục $\varphi: (-\infty, 0] \to X$ thỏa mãn $\lim_{\theta \to -\infty} \frac{|\varphi(\theta)|}{e^{-\gamma\theta}} = 0$, trang bị chuẩn $|\varphi|\gamma = \sup{\theta \le 0} \frac{|\varphi(\theta)|}{e^{-\gamma\theta}}$ với $\gamma > 0$.

Phương pháp nghiên cứu thực tế: Luận án thuần túy sử dụng phương pháp định tính toán học lý thuyết (không sử dụng số liệu thống kê hay phần mềm thực nghiệm). Các kỹ thuật phân tích chính gồm:

  • Phương pháp Lyapunov-Perron: Thiết lập phương trình tích phân Lyapunov-Perron tương đương với phương trình vi phân hàm trung tính xuất phát, sau đó chứng minh toán tử tích phân tương ứng là ánh xạ co trên không gian hàm Banach chấp nhận được $E \cap E_\infty$.
  • Kỹ thuật phân tích toán tử sai phân: Biểu diễn toán tử sai phân dưới dạng $F = \delta_0 - \Psi$ với $\delta_0(u) = u(0)$ và $|\Psi| < 1$, từ đó giải phương trình toán tử bằng chuỗi Neumann $(I - \tilde{\Psi})^{-1} = \sum_{n=0}^\infty \tilde{\Psi}^n$.
  • Đánh giá phổ và tiên nghiệm: Kết hợp định lý ánh xạ phổ, hàm Green của họ tiến hóa và bất đẳng thức nón để thiết lập tính ổn định mũ và xác định tốc độ hút của nghiệm trên đa tạp.

Nguồn tư liệu của luận án là các văn bản toán học, giáo trình chuyên khảo và bài báo quốc tế về giải tích hàm, phương trình vi phân trừu tượng và hệ động lực vô hạn chiều được công bố trong danh mục tài liệu tham khảo.

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à định lý cơ sở làm công cụ chứng minh cho toàn bộ luận án:

  • Trình bày cấu trúc không gian hàm Banach chấp nhận được $E_I$ trên $I = \mathbb{R}+$ và $I = \mathbb{R}$, chứng minh các tính chất của toán tử dịch chuyển $T\tau^+$, $T_\tau^-$, tính chất của hàm suy giảm số mũ $\Lambda_\sigma' \phi, \Lambda_\sigma'' \phi$, và chỉ ra rằng $E_I$ chứa hàm giảm cấp mũ $e^{-\alpha|t|}$ nhưng không chứa hàm tăng cấp mũ $e^{b|t|}$ ($b > 0$). Thiết lập cấu trúc không gian liên kết $E_I'$ và giả thiết về hàm $E$-bất biến mũ $h_\nu(t)$.
  • Trình bày định nghĩa nón $K$, thứ tự cảm sinh trong không gian Banach và chứng minh Định lý 1.10 về bất đẳng thức nón của Daleckii - Krein.
  • Khái quát lý thuyết nửa nhóm liên tục mạnh: toán tử sinh, tập giải thức, biểu diễn tích phân của giải thức, cận phổ $s(A)$, cận tăng trưởng $\omega_0(T)$, định lý ánh xạ phổ $e^{t\sigma(A)} = \sigma(T(t)) \setminus {0}$, và điều kiện tương đương cho tính nhị phân mũ của nửa nhóm.
  • Định nghĩa bài toán Cauchy đặt chỉnh, cấu trúc họ tiến hóa $(U(t, s)){t \ge s}$, định nghĩa nhị phân mũ với phép chiếu $P(t)$ và cận hàm Green: $$|G(t, \tau)| \le (1 + H)N e^{-\nu|t-\tau|}, \quad \text{với } H := \sup{t} |P(t)|$$
  • Định nghĩa họ tiến hóa có tam phân mũ tương ứng với ba phép chiếu bù nhau ${P_j(t)}_{j=1,2,3}$ và các hằng số $N, \alpha, \beta > 0$.

Chương 2. Đa tạp tích phân chấp nhận được đối với phương trình đạo hàm riêng hàm trung tính

Chương 2 giải quyết bài toán đặt ra cho phương trình đạo hàm riêng hàm trung tính dạng (1): $$\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t), \quad t \ge s, ; t, s \in I, \quad u_s = \varphi \in C([-r, 0], X)$$ với toán tử sai phân $F = \delta_0 - \Psi$, $|\Psi| < 1$, và số hạng phi tuyến $\Phi$ thỏa mãn tính chất $\phi$-Lipschitz trên $I$.

Tác giả phân tích ba khó khăn cốt lõi:

  1. Vì $\Phi$ là $\phi$-Lipschitz theo thời gian nên định lý về sự tồn tại và duy nhất nghiệm trong lớp chấp nhận được chưa từng được thiết lập trước đó.
  2. Toán tử $F$ tác động vào $u_t$ chứ không tác động trực tiếp vào $u(t)$, do đó công thức biến thiên hằng số chỉ có hiệu lực cho $Fu_t$, không có biểu thức tường minh trực tiếp cho $u(t)$.
  3. Đa tạp tạo thành từ các quỹ đạo nghiệm thuộc không gian chấp nhận được nên các kỹ thuật giải tích cổ điển không áp dụng trực tiếp được.

Các nội dung và kết quả chính của chương gồm:

  • Mục 2.1: Đa tạp ổn định bất biến $E$-lớp trên nửa trục ($I = \mathbb{R}+$). Xây dựng không gian Banach $\mathcal{E} = E(\mathbb{R}+, C)$ và họ phép chiếu $\widetilde{P}(t)$ trên $C$. Thiết lập phương trình tích phân Lyapunov-Perron: $$F u_t = U(t, s)\nu_0 + \int_s^\infty G(t, \tau)\Phi(\tau, u_\tau)d\tau, \quad \nu_0 \in P(s)X$$ Sử dụng biểu diễn chuỗi Neumann của toán tử $(I - \widetilde{\Psi})^{-1}$ và bất đẳng thức nón, luận án chứng minh Định lý 2.8: Nếu tham số $$k := N(1 + H)e^{\nu r} \max\left{ |h_\nu|{E}, \frac{N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|_\infty}{1 - e^{-\nu}} \right}$$ thỏa mãn điều kiện: $$\max\left{ \frac{N k_1 e^{\nu r}}{1 - k_1 - |\Psi|}, \frac{k}{1 - |\Psi|} \right} < 1$$ thì tồn tại duy nhất đa tạp ổn định bất biến $E$-lớp $\mathcal{S}$. Hai nghiệm bất kỳ $u(t), v(t)$ xuất phát từ đa tạp sẽ hút nhau cấp mũ theo đánh giá: $$|u_t - v_t|C \le C\mu e^{-\mu(t-s)} |\widetilde{P}(s)\widetilde{u}_s - \widetilde{P}(s)\widetilde{v}_s|_C, \quad \forall t \ge s \ge 0$$
  • Luận án xây dựng ví dụ minh họa cụ thể cho bài toán truyền nhiệt/truyền sóng có trễ trên miền $[0, \pi]$: $$\frac{\partial w(x, t)}{\partial t} - l\frac{\partial w(x, t-1)}{\partial t} = a(t)\left[ \frac{\partial^2 w(x, t)}{\partial x^2} - l\frac{\partial^2 w(x, t-1)}{\partial x^2} + \alpha w(x, t) \right] + b e^{-\alpha t} \int_{-1}^0 \ln(1 + |w(x, t+\theta)|)d\theta$$ với điều kiện biên Dirichlet thuần nhất $w(0, t) = w(\pi, t) = 0$, trong đó $|l| < 1$, $\alpha > 1$, $\alpha \ne n^2$ ($\forall n \in \mathbb{N}$), $a(t) \in L^1_{\text{loc}}(\mathbb{R}+)$ thỏa mãn $\gamma_1 \ge a(t) \ge \gamma_0 > 0$. Luận án kiểm tra chi tiết các điều kiện trong không gian Hilbert $X = L^2[0, \pi]$ và không gian hàm $E = L^p(\mathbb{R}+)$, xác định chuẩn giải thức, phép chiếu Riesz và đưa ra bất đẳng thức hiện cho các tham số để nghiệm hội tụ về đa tạp ổn định.
  • Mục 2.2: Đa tạp tâm ổn định bất biến $E$-lớp khi họ tiến hóa có tam phân mũ với ba họ phép chiếu ${\widetilde{P}j(t)}{j=1,2,3}$. Bằng kỹ thuật biến đổi dịch chuyển họ tiến hóa $\widetilde{U}(t, s) = e^{-\gamma(t-s)}U(t, s)$ với $\gamma = \frac{\beta + \alpha}{2}$, bài toán được quy về trường hợp nhị phân mũ để chứng minh sự tồn tại của đa tạp tâm ổn định $\mathcal{C}_t = \text{graph}(\Phi_t)$ đồng phôi với $\text{Im}(\widetilde{P}_1(t) + \widetilde{P}_3(t))$.
  • Mục 2.3: Đa tạp không ổn định bất biến $E$-lớp trên toàn trục thời gian $I = \mathbb{R}$. Thiết lập phương trình tích phân Lyapunov-Perron ngược thời gian từ $-\infty$ đến $t_0$, chứng minh sự tồn tại của nghiệm thuộc không gian chấp nhận được trên $(-\infty, t_0]$ và xác định cấu trúc của đa tạp không ổn định cùng tính hút.

Chương 3. Đa tạp bất biến chấp nhận được đối với phương trình đạo hàm riêng hàm trung tính trên nửa trục

Chương 3 khảo sát lớp phương trình dạng (2): $$\frac{\partial}{\partial t} F u_t = B(t)u(t) + \Phi(t, u_t), \quad t \in (0, \infty), \quad u_0 = \varphi \in C([-r, 0], X)$$ Điểm khác biệt căn bản so với phương trình ở Chương 2 là toán tử tuyến tính không giới nội $B(t): D(B) \subset X \to X$ tác động trực tiếp lên hàm trạng thái $u(t)$ tại thời điểm hiện tại thay vì tác động lên hàm sai phân $Fu_t$. Toán tử sai phân $F$ đóng vai trò là ánh xạ tuyến tính bị chặn từ không gian pha $C([-r, 0], X)$ vào miền xác định $D(B)$ (được trang bị chuẩn đồ thị $|x|_{D(B)} = |x| + |B(0)x|$).

Các luận điểm và kết quả của chương gồm:

  • Thiết lập định nghĩa nghiệm của phương trình thông qua việc chuyển hóa hệ toán tử sang bài toán tương đương trong không gian mở rộng.
  • Chứng minh sự tồn tại và tính duy nhất của nghiệm toàn cục thuộc lớp chấp nhận được $E \cap E_\infty$ trên nửa trục $\mathbb{R}_+$.
  • Áp dụng phương pháp Lyapunov-Perron kết hợp với các đánh giá đối với toán tử giải của bài toán vi phân trừu tượng, luận án thiết lập điều kiện đủ để tồn tại đa tạp ổn định bất biến $E$-lớp khi phần tuyến tính có nhị phân mũ.
  • Thiết lập sự tồn tại của đa tạp tâm ổn định bất biến $E$-lớp trong trường hợp phần tuyến tính sinh ra họ tiến hóa có tam phân mũ trên nửa trục.

Chương 4. Đa tạp bất biến chấp nhận được đối với phương trình đạo hàm riêng hàm trung tính với trễ vô hạn

Chương 4 mở rộng nghiên cứu sang lớp phương trình dạng (3) có trễ vô hạn: $$\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t), \quad t \in (0, \infty), \quad u_0 = \varphi \in C_\gamma$$ trong đó lịch sử của trạng thái $u_t(\theta) = u(t+\theta)$ được xác định với mọi $\theta \in (-\infty, 0]$.

Các nội dung chính được thực hiện trong chương:

  • Cấu trúc không gian pha giảm nhớ $C_\gamma$: Phân tích tính chất của chuẩn có trọng số mũ e^{-\gamma\theta} ($\gamma > 0$), đảm bảo các hàm pha suy giảm ở quá khứ xa vô hạn có thể kiểm soát được độ tăng và duy trì tính compact tương đối cần thiết cho bài toán Cauchy.
  • Mở rộng khái niệm toán tử sai phân $F \in \mathcal{L}(C_\gamma, X)$ và toán tử trễ $\Phi: \mathbb{R}+ \times C\gamma \to X$ thỏa mãn điều kiện $\phi$-Lipschitz với trễ vô hạn.
  • Xây dựng phương trình tích phân Lyapunov-Perron trên không gian $E(\mathbb{R}+, C\gamma)$.
  • Thiết lập định lý về sự tồn tại, tính duy nhất và tính bất biến dương của đa tạp ổn định bất biến $E$-lớp đối với trễ vô hạn khi họ tiến hóa có nhị phân mũ.
  • Chứng minh định lý tồn tại đa tạp tâm ổn định bất biến $E$-lớp trong không gian giảm nhớ khi họ tiến hóa có tam phân mũ trên nửa trục.

Bảng dưới đây tổng hợp so sánh đặc điểm cấu trúc toán học của ba lớp phương trình được giải quyết trong luận án:

Đặc điểm so sánh Chương 2 (Phương trình 1) Chương 3 (Phương trình 2) Chương 4 (Phương trình 3)
Dạng phương trình $\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t)$ $\frac{\partial}{\partial t} F u_t = B(t)u(t) + \Phi(t, u_t)$ $\frac{\partial}{\partial t} F u_t = B(t)F u_t + \Phi(t, u_t)$
Miền thời gian ($I$) Nửa trục $\mathbb{R}_+$ và toàn trục $\mathbb{R}$ Nửa trục $(0, \infty)$ Nửa trục $(0, \infty)$
Đặc điểm trễ Trễ hữu hạn ($r > 0$) Trễ hữu hạn ($r > 0$) Trễ vô hạn ($(-\infty, 0]$)
Không gian pha $C([-r, 0], X)$ $C([-r, 0], X)$ Không gian giảm nhớ $C_\gamma$
Miền đích của toán tử $F$ $F: C \to X$, $F = \delta_0 - \Psi$ $F: C \to D(B)$, $F$ bị chặn $F: C_\gamma \to X$, $F$ bị chặn
Đặc trưng phổ tuyến tính Nhị phân mũ, Tam phân mũ Nhị phân mũ, Tam phân mũ Nhị phân mũ, Tam phân mũ
Các loại đa tạp thu được Đa tạp ổn định, tâm ổn định, không ổn định Đa tạp ổn định, tâm ổn định Đa tạp ổn định, tâm ổn định

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

Luận án tự xác định các đóng góp mới về mặt lý luận và khoa học như sau:

  1. Mở rộng lý thuyết đa tạp bất biến chấp nhận được sang lớp phương trình đạo hàm riêng hàm trung tính không ôtônôm: Đã chứng minh được sự tồn tại của đa tạp ổn định bất biến, đa tạp tâm ổn định bất biến trên nửa trục $\mathbb{R}_+$, cũng như đa tạp không ổn định bất biến trên toàn trục $\mathbb{R}$ đối với phương trình có trễ hữu hạn dạng (1). Thiết lập được tốc độ hút cấp mũ của các nghiệm xuất phát từ các giá trị ban đầu khác nhau trên đa tạp.
  2. Giải quyết bài toán đa tạp tích phân cho cấu trúc toán tử hỗn hợp: Thiết lập sự tồn tại của đa tạp ổn định và đa tạp tâm ổn định cho phương trình dạng (2), trong đó toán tử vi phân không giới nội tác động trực tiếp vào $u(t)$ và toán tử sai phân nhận giá trị trong miền xác định $D(B)$.
  3. Thiết lập lý thuyết đa tạp chấp nhận được cho phương trình trung tính với trễ vô hạn: Chứng minh thành công sự tồn tại của đa tạp ổn định và đa tạp tâm ổn định trong không gian pha giảm nhớ $C_\gamma$ cho phương trình dạng (3).
  4. Khái quát hóa điều kiện của phần phi tuyến: Thay thế điều kiện Lipschitz với hằng số nhỏ cổ điển bằng điều kiện hệ số Lipschitz $\phi(t)$ là hàm biến thiên theo thời gian thuộc vào không gian hàm Banach chấp nhận được (bao gồm các không gian Lebesgue $L^p$, không gian Lorentz $L^{p, q}$, không gian Stepanov $M(I)$).

Các kết quả nghiên cứu trong luận án được công bố thành 03 bài báo khoa học chuyên ngành và được báo cáo tại 04 diễn đàn học thuật gồm: Seminar "Dáng điệu tiệm cận nghiệm của phương trình vi phân và ứng dụng" tại Trường Đại học Bách khoa Hà Nội; Hội nghị Toán học Miền Trung - Tây Nguyên lần thứ 2 (Đà Lạt, 2017); Đại hội Toán học Việt Nam lần thứ 9 (Nha Trang, 2018); Hội nghị Toán học Miền Trung - Tây Nguyên lần thứ 3 (Buôn Mê Thuột, 2019).

Về mặt ứng dụng và đề xuất giải pháp, luận án chỉ ra nguyên lý thu gọn nghiệm: thông qua tính hút cấp mũ của đa tạp ổn định và tính bất biến của đa tạp tâm, việc khảo sát dáng điệu tiệm cận của hệ vô hạn chiều phức tạp ban đầu được quy về nghiên cứu các phương trình trên đa tạp có số chiều thấp hơn. Kết quả tính toán giải tích trên mô hình ví dụ ở Chương 2 cung cấp chuẩn số hóa cụ thể cho các kỹ sư và nhà toán học ứng dụng khi khảo sát tính ổn định của mạng lưới đường dây truyền tải điện hoặc các quá trình khuếch tán nhiệt có trễ.

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

Hạn chế của nghiên cứu gắn liền với phạm vi giả thiết được văn bản đề cập:

  • Về cấu trúc toán tử sai phân: Luận án chủ yếu giả thiết toán tử sai phân có dạng tuyến tính co $F = \delta_0 - \Psi$ với $|\Psi| < 1$, chưa xét đến trường hợp toán tử sai phân phi tuyến hoặc toán tử sai phân không thỏa mãn điều kiện co.
  • Về phần tuyến tính: Các kết quả đòi hỏi phần tuyến tính phải sinh ra họ tiến hóa có nhị phân mũ hoặc tam phân mũ đều; chưa bao quát các trường hợp suy biến khi phổ của toán tử tiếp xúc với trục ảo mà không thỏa mãn tính phân chia hyperbolic.
  • Về tính khả vi của đa tạp: Luận án chỉ chứng minh đa tạp là các mặt Lipschitz liên tục (đồng phôi), chưa khảo sát độ trơn vi phân bậc cao ($C^k$ hoặc giải tích) của các đa tạp này.

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

  1. Nghiên cứu tính trơn (độ khả vi $C^k$) của các đa tạp tích phân thuộc lớp chấp nhận được đã thu được đối với các phương trình đạo hàm riêng hàm trung tính.
  2. Nghiên cứu mở rộng bài toán cho các lớp phương trình tiến hóa ngẫu nhiên có trễ và trung tính trong không gian Banach.
  3. Nghiên cứu bài toán đa tạp tích phân trên các thang thời gian (time scales) tổng quát hoặc cho các hệ phương trình có bước trễ biến thiên phụ thuộc vào trạng thái (state-dependent delay).

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo dành cho các nhóm đối tượng:

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán giải tích, Phương trình vi phân và Hệ động lực: Tài liệu cung cấp kỹ thuật mẫu mực về việc kết hợp lý thuyết nửa nhóm, họ tiến hóa với lý thuyết không gian hàm Banach chấp nhận được để giải quyết bài toán định tính của phương trình đạo hàm riêng.
  • Giảng viên và nhà nghiên cứu lý thuyết: Phần phương pháp luận ở Chương 1 và Chương 2, đặc biệt là kỹ thuật giải phương trình tích phân Lyapunov-Perron thông qua bất đẳng thức nón Daleckii - Krein và chuỗi Neumann, có giá trị học thuật cao trong việc áp dụng chứng minh cho các lớp phương trình vi phân hàm khác.
  • Các nhà nghiên cứu mô hình hóa toán ứng dụng: Mô hình mạng lưới truyền tải và phương trình vi phân phản ứng - khuếch tán có trễ trình bày tại ví dụ mục 2.1 cung cấp công thức tường minh để kiểm tra tính ổn định của hệ thống vật lý có tham số biến thiên theo thời gian.

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

1. Luận án khảo sát mấy lớp phương trình và điểm khác biệt chính giữa chúng là gì?
Luận án khảo sát ba lớp phương trình: Phương trình (1) có trễ hữu hạn với toán tử tuyến tính $B(t)$ tác động vào $Fu_t$ trên cả trục $\mathbb{R}$ và nửa trục $\mathbb{R}+$; Phương trình (2) có trễ hữu hạn trên nửa trục với toán tử $B(t)$ tác động trực tiếp vào $u(t)$ và $F$ nhận giá trị trong $D(B)$; Phương trình (3) có trễ vô hạn với trạng thái thuộc không gian giảm nhớ $C\gamma$.

2. Điều kiện $\phi$-Lipschitz của số hạng phi tuyến được định nghĩa như thế nào trong luận án?
Toán tử phi tuyến $\Phi: I \times C \to X$ được gọi là $\phi$-Lipschitz nếu thỏa mãn $|\Phi(t, \varphi_1) - \Phi(t, \varphi_2)| \le \phi(t)|\varphi_1 - \varphi_2|_C$ với mọi $t \in I$ và $\varphi_1, \varphi_2 \in C$, trong đó $\phi(t)$ là hàm thực không âm thuộc không gian hàm Banach chấp nhận được $E_I$ (thay vì là một hằng số cố định).

3. Đa tạp ổn định bất biến $E$-lớp khác gì so với đa tạp ổn định cổ điển?
Đa tạp ổn định $E$-lớp được xây dựng từ các quỹ đạo nghiệm mà sau khi nhân với hàm đặc trưng thời gian $\chi_{[s, \infty)}(t)u_t$ sẽ thuộc vào không gian hàm Banach chấp nhận được $E \cap E_\infty$ (chẳng hạn như không gian $L^p$ hoặc Lorentz), thay vì chỉ bị chặn đều đơn thuần như trong các nghiên cứu cổ điển.

4. Kỹ thuật nào được sử dụng để xử lý toán tử sai phân $F$ khi nó không có biểu diễn tường minh cho $u(t)$?
Tác giả phân tích toán tử sai phân dưới dạng $F = \delta_0 - \Psi$ với $\delta_0(u) = u(0)$ và $|\Psi| < 1$. Sau đó, phương trình toán tử đối với $u(t)$ được biểu diễn qua toán tử khả nghịch $(I - \widetilde{\Psi})^{-1}$ bằng khai triển chuỗi Neumann $\sum_{n=0}^\infty \widetilde{\Psi}^n$, kết hợp việc đưa vào phương trình tích phân Lyapunov-Perron để thiết lập nghiệm duy nhất.

5. Trong ví dụ cụ thể ở Chương 2, các điều kiện nào được đặt ra cho các hệ số để đảm bảo tồn tại đa tạp ổn định?
Phương trình truyền sóng/nhiệt yêu cầu hệ số trễ $|l| < 1$, tham số $\alpha > 1$ với $\alpha \ne n^2$ ($\forall n \in \mathbb{N}$), hệ số dẫn $\gamma_1 \ge a(t) \ge \gamma_0 > 0$, phần phi tuyến có trọng số suy giảm mũ $b e^{-\alpha t}$ và các tham số phải thỏa mãn bất đẳng thức co đại số giữa chuẩn của họ tiến hóa $N, \nu$, hằng số nhị phân và chuẩn của hàm $\phi$ trong không gian liên kết $L^q(\mathbb{R}_+)$.

Kết luận

Luận án "Tính chất định tính của nghiệm một số lớp các phương trình có trễ và trung tính" của tác giả Trịnh Xuân Yến là một công trình nghiên cứu giải tích toán học thuần túy, hoàn thành việc xây dựng lý thuyết đa tạp tích phân thuộc lớp chấp nhận được cho ba lớp phương trình đạo hàm riêng hàm trung tính không ôtônôm. Bằng việc kết hợp phương pháp Lyapunov-Perron, lý thuyết nửa nhóm, họ tiến hóa với lý thuyết không gian hàm Banach chấp nhận được và bất đẳng thức nón, luận án đã chứng minh chặt chẽ sự tồn tại, tính duy nhất và tính chất tiệm cận của các đa tạp ổn định, không ổn định và tâm ổn định. Các kết quả đạt được đã mở rộng đáng kể lý thuyết hệ động lực vô hạn chiều cho các phương trình có số hạng phi tuyến phụ thuộc thời gian và hệ có trễ vô hạn, cung cấp cơ sở toán học tường minh cho việc phân tích tính ổn định của các mô hình truyền tải và khuếch tán.