Tổng quan luận án

Lý thuyết định tính của phương trình vi phân và phương trình tiến hóa trong không gian vô hạn chiều là một trong những hướng nghiên cứu trọng điểm của giải tích hiện đại và toán học ứng dụng. Trong các hệ động lực vô hạn chiều nảy sinh từ các mô hình vật lý, sinh học, hóa học hay các quá trình tương tác - khuếch tán, việc khảo sát dáng điệu tiệm cận nghiệm xung quanh các trạng thái cân bằng hoặc các quỹ đạo xác định đóng vai trò quyết định để hiểu rõ cấu trúc động lực học dài hạn của hệ. Để giải quyết bài toán này, lý thuyết đa tạp tích phân (bao gồm đa tạp ổn định, đa tạp không ổn định, đa tạp tâm ổn định và đa tạp tâm không ổn định) cung cấp một công cụ hình học trực quan và hữu hiệu. Các đa tạp này không chỉ cho phép mô tả hình học cấu trúc các quỹ đạo nghiệm mà còn đóng vai trò như các không gian pha thu gọn, cho phép rút gọn việc nghiên cứu tính chất nghiệm của các phương trình đạo hàm riêng phức tạp về các phương trình đơn giản hơn trên các đa tạp có số chiều hữu hạn hoặc cấu trúc đơn giản hơn nhờ tính chất hút của chúng.

Trong các lý thuyết truyền thống, sự tồn tại của đa tạp tích phân thường đòi hỏi hai điều kiện cơ bả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ũ, và toán tử phi tuyến thỏa mãn điều kiện liên tục Lipschitz với hằng số Lipschitz toàn cục đủ nhỏ (hằng số hằng). Tuy nhiên, đối với nhiều bài toán thực tế nảy sinh từ các quá trình tương tác - khuếch tán phi tuyến, trong đó số hạng phi tuyến biểu diễn các nguồn vật chất, mật độ tương tác hoặc phản ứng hóa học, hệ số Lipschitz thường phụ thuộc vào thời gian và có thể nhận giá trị rất lớn tại các thời điểm cục bộ, khiến cho giả thiết hằng số Lipschitz bé cổ điển không còn thỏa mãn. Luận án tiến sĩ toán học của nghiên cứu sinh Trịnh Viết Dược tập trung giải quyết khoảng trống học thuật này bằng cách mở rộng điều kiện phi tuyến sang lớp hàm $\phi$-Lipschitz phụ thuộc thời gian trong các không gian hàm Banach chấp nhận được, đồng thời mở rộng phạm vi từ phương trình vi phân nửa tuyến tính sang phương trình vi phân hàm đạo hàm riêng (phương trình có trễ).

Mục tiêu và nhiệm vụ nghiên cứu của luận án được xác định rõ ràng qua hai phương diện chính:

  1. Nghiên cứu và thiết lập các điều kiện đủ cho sự tồn tại, tính bất biến và tính chất hút cấp mũ của đa tạp tâm ổn định và đa tạp không ổn định đối với phương trình vi phân nửa tuyến tính trừu tượng trong không gian Banach khi phần tuyến tính có tam phân mũ hoặc nhị phân mũ và phần phi tuyến thỏa mãn điều kiện $\phi$-Lipschitz.
  2. Xây dựng lý thuyết đa tạp tích phân (bao gồm đa tạp ổn định, đa tạp tâm ổn định và đa tạp không ổn định) cho phương trình vi phân hàm đạo hàm riêng (phương trình vi phân có số hạng trễ), giải quyết triệt để sự sai khác về không gian pha giữa phần toán tử tuyến tính không bị chặn và toán tử phi tuyến có trễ.

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

  • Đối tượng nghiên cứu: Lớp phương trình vi phân nửa tuyến tính dạng $\frac{du}{dt} = A(t)u + f(t, u)$ và lớp phương trình vi phân hàm đạo hàm riêng dạng $\frac{du}{dt} = A(t)u(t) + f(t, u_t)$, trong đó họ toán tử tuyến tính $(A(t))_{t \in I}$ có thể không bị chặn sinh ra họ tiến hóa có cấu trúc nhị phân mũ hoặc tam phân mũ, và toán tử phi tuyến $f$ thỏa mãn điều kiện $\phi$-Lipschitz.
  • Phạm vi nghiên cứu: Về mặt không gian, nghiên cứu được thực hiện trên không gian Banach trừu tượng $X$, không gian các hàm liên tục trên đoạn trễ $C([-r, 0], X)$ với chuẩn cực đại, và các không gian hàm Banach chấp nhận được $E(\mathbb{R}+)$, $E(\mathbb{R})$. Về mặt thời gian, luận án khảo sát phương trình trên nửa đường thẳng thực không âm $\mathbb{R}+ = [0, \infty)$ và trên toàn đường thẳng thực $\mathbb{R} = (-\infty, \infty)$.

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

Lịch sử nghiên cứu sự tồn tại của các đa tạp tích phân gắn liền với các công trình nền tảng của các nhà toán học J. Hadamard [52], O. Perron [50, 51], N. N. Bogoliubov và Y. A. Mitropolsky [12]. Những kết quả sơ khởi này chủ yếu tập trung vào hệ phương trình vi phân thường hữu hạn chiều (tức $X = \mathbb{R}^n$ và $A(t)$ là các ma trận phụ thuộc thời gian). Sau đó, Yu. L. Daleckii và M. G. Krein [18] đã mở rộng lý thuyết sang trường hợp toán tử $A(t)$ là các toán tử tuyến tính giới nội trên không gian Banach tổng quát $X$. Tiếp nối hướng phát triển này, D. Henry [21] đã thiết lập các kết quả quan trọng về đa tạp tích phân cho trường hợp $A(t)$ là các toán tử đạo hàm riêng không giới nội sinh ra các nửa nhóm giải tích.

Về phương pháp luận, hai hướng tiếp cận chính được phát triển song song trong y văn thế giới để chứng minh sự tồn tại của đa tạp tích phân gồm:

  • Phương pháp Hadamard: Được tổng quát hóa thành phương pháp biến đổi đồ thị (graph transform method), được áp dụng trong các công trình của Hirsch, Pugh, Shub [22], Vanderbauwhede [40], Hadamard [52]. Phương pháp này dựa trên việc xây dựng các toán tử biến đổi tác động lên đồ thị của các hàm biểu diễn đa tạp và tìm điểm bất động của phép biến đổi đồ thị.
  • Phương pháp Perron: Được phát triển và hoàn thiện thành phương pháp Lyapunov-Perron nhờ gắn kết chặt chẽ với các kỹ thuật của A. M. Lyapunov. Phương pháp này tập trung vào việc chuyển phương trình vi phân ban đầu về phương trình tích phân tương đương (phương trình tích phân Lyapunov-Perron) thông qua hàm Green hoặc toán tử giải tích phân, sau đó sử dụng nguyên lý ánh xạ co Banach hoặc định lý điểm bất động để chứng minh sự tồn tại của nghiệm bị chặn. Phương pháp này đã được phát triển sâu rộng trong các công trình của Chicone, Latushkin [14], Daleckii, Krein [18], Huy [23, 24, 25, 26], Vanderbauwhede, van Gils [47], Bates, Lu [9].

Song song với việc hoàn thiện phương pháp, điều kiện về phần tuyến tính cũng được nghiên cứu sâu sắc qua các công trình của Massera, Schäffer [36], Levitan, Zhikov [33], Nagel, Nickel [43], Pazy [44], gắn liền tính nhị phân mũ của nghiệm với tính khả nghịch hoặc tính toàn ánh của toán tử vi phân $\frac{d}{dt} - A(t)$. Năm 2006, Nguyễn Thiệu Huy [27] đã đặc trưng hóa hoàn toàn tính nhị phân mũ của họ tiến hóa sinh bởi toán tử không bị chặn thông qua tính chất của không gian hàm Banach chấp nhận được trên nửa đường thẳng. Đến năm 2009, Nguyễn Thiệu Huy [25] áp dụng phương pháp Lyapunov-Perron kết hợp không gian hàm chấp nhận được để thiết lập sự tồn tại của đa tạp ổn định bất biến khi hàm phi tuyến $f$ thỏa mãn điều kiện $\phi$-Lipschitz với hệ số $\phi(t)$ thuộc không gian hàm Banach chấp nhận được.

Khoảng trống học thuật mà luận án của Trịnh Viết Dược lựa chọn giải quyết:

  • Thứ nhất, các kết quả trước đó của Nguyễn Thiệu Huy [25] mới chỉ dừng lại ở đa tạp ổn định trên nửa đường thẳng $\mathbb{R}_+$. Luận án mở rộng việc khảo sát sang đa tạp tâm ổn định (khi hệ có tam phân mũ) và đa tạp không ổn định trên toàn đường thẳng thực $\mathbb{R}$, đồng thời chứng minh tính chất hút cấp mũ của đa tạp không ổn định đối với toàn bộ các quỹ đạo nghiệm.
  • Thứ hai, đối với phương trình vi phân hàm đạo hàm riêng (phương trình có số hạng trễ $u_t \in C([-r, 0], X)$), các nghiên cứu trước đây (như [1, 40, 48]) chủ yếu sử dụng phương pháp biến đổi đồ thị dưới điều kiện hằng số Lipschitz cổ điển bé. Tuy nhiên, khi chuyển sang điều kiện $\phi$-Lipschitz phụ thuộc thời gian, phương pháp biến đổi đồ thị gặp trở ngại lớn do cấu trúc không gian pha $C([-r, 0], X)$ của phần trễ phi tuyến không đồng nhất với không gian pha $X$ của toán tử vi phân $A(t)$. Luận án đã khắc phục khó khăn này bằng cách thiết lập phương pháp Lyapunov-Perron trên không gian hàm trễ thông qua việc xây dựng họ toán tử chiếu thích hợp trên $C([-r, 0], X)$.

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

Luận án sử dụng khung phân tích toán học giải tích hàm hiện đại kết hợp lý thuyết định tính phương trình vi phân trừu tượng. Các khái niệm và công cụ lý thuyết trọng tâm bao gồm:

  1. Không gian hàm Banach chấp nhận được (Admissible Banach Function Spaces): Một không gian vectơ $E$ gồm các hàm thực đo được Borel trên $I$ ($I = \mathbb{R}_+$ hoặc $\mathbb{R}$) được gọi là không gian hàm Banach chấp nhận được nếu thỏa mãn:

    • $(E, |\cdot|_E)$ là không gian Banach; nếu $\phi \in E$ và $|\psi| \le |\phi|$ hầu khắp nơi thì $\psi \in E$ và $|\psi|_E \le |\phi|_E$.
    • $E$ liên tục nhúng vào không gian các hàm khả tích địa phương $L^1_{\text{loc}}(I)$, tức với mọi đoạn compact $J \subset I$, tồn tại $\beta_J > 0$ sao cho $\int_J |f(t)|dt \le \beta_J |f|_E$.
    • Tồn tại hằng số $M \ge 1$ sao cho $\int_a^b |\phi(t)|dt \le \frac{M(b-a)}{|\chi_{[a,b]}|_E} |\phi|_E$ với mọi đoạn $[a, b] \subset I$.
    • Các toán tử dịch chuyển $T_\tau^+$ và $T_\tau^-$ bị chặn đều bởi các hằng số $N_1, N_2 > 0$. Lớp không gian này bao gồm các không gian Lebesgue $L^p(I)$ ($1 \le p \le \infty$), không gian Stepanov $M(I) = {f \in L^1_{\text{loc}}(I) : \sup_{t} \int_t^{t+1} |f(\tau)|d\tau < \infty}$, và các không gian Lorentz $L^{p,q}$.

  2. Lý thuyết họ tiến hóa, nhị phân mũ và tam phân mũ:

    • Họ tiến hóa $(U(t, s))_{t \ge s}$ biểu diễn nghiệm giải của bài toán Cauchy đặt chỉnh $\dot{x}(t) = A(t)x(t)$, thỏa mãn $U(t, t) = \text{Id}$, $U(t, r)U(r, s) = U(t, s)$ và tăng trưởng mũ $|U(t, s)| \le K e^{c(t-s)}$.
    • Tính nhị phân mũ trên $I$ đặc trưng bởi sự tồn tại của họ toán tử chiếu $P(t)$ và các hằng số $N, \nu > 0$ sao cho trên ảnh $\text{Im}P(t)$ nghiệm suy giảm mũ với tốc độ $e^{-\nu(t-s)}$, còn trên hạch $\text{Ker}P(t)$ nghiệm bị chặn ngược chiều thời gian với tốc độ $e^{-\nu(t-s)}$.
    • Tính tam phân mũ trên $\mathbb{R}_+$ đặc trưng bởi ba họ toán tử chiếu $P_1(t), P_2(t), P_3(t)$ phân tách không gian thành ba thành phần: suy giảm mũ nhanh (số mũ $-\beta$), tăng trưởng mũ (số mũ $\beta$), và thành phần trung gian/tâm (số mũ $\alpha < \beta$).

  3. Phương pháp Lyapunov-Perron và Nguyên lý ánh xạ co: Chuyển bài toán tìm nghiệm bị chặn của phương trình vi phân về phương trình tích phân Lyapunov-Perron sử dụng hàm Green $G(t, \tau)$: $$u(t) = U(t, t_0)v_0 + \int_{I} G(t, \tau) f(\tau, u(\tau)) d\tau$$ Xác định toán tử tích phân trên không gian các hàm bị chặn $C_b(I, X)$ hoặc $L^\infty(I, X)$ và chứng minh toán tử này là ánh xạ co nhờ điều kiện tích phân của hệ số $\phi(t)$ đủ nhỏ.

  4. Lý thuyết bất đẳng thức nón trong không gian Banach: Sử dụng nón dương $K$ trong không gian Banach $W = L^\infty(I)$ để thiết lập quan hệ thứ tự bộ phận. Khi một hàm thỏa mãn bất đẳng thức dạng $\varphi \le A\varphi + z$ với toán tử dương $A$ có bán kính phổ $r_A < 1$, nghiệm bị chặn trên bởi nghiệm của phương trình tuyến tính $\psi = A\psi + z = (I-A)^{-1}z$. Đây là công cụ mấu chốt để đánh giá chính xác tốc độ suy giảm cấp mũ của sai phân giữa hai nghiệm bất kỳ trên đa tạp.

Khái niệm / Công cụ toán học Định nghĩa / Bản chất kỹ thuật Vai trò trong luận án
Không gian hàm Banach chấp nhận được $E$ Không gian hàm đo được thỏa mãn tính chất lý thuyết độ đo và bất đẳng thức dịch chuyển Khung không gian chứa hệ số Lipschitz $\phi(t)$ phụ thuộc thời gian
Nhị phân / Tam phân mũ Cấu trúc phân tách phổ và phân rã tiệm cận mũ của họ toán tử tiến hóa $(U(t, s))$ Điều kiện cho phần tuyến tính để hình thành các hướng ổn định, không ổn định, tâm
Toán tử $\Lambda_\sigma, \Lambda'\sigma, \Lambda''\sigma$ Toán tử tích phân dạng chập với nhân hàm mũ $e^{-\sigma|t-s|}$ Đánh giá chặn chuẩn tích phân của hàm phi tuyến qua chuẩn trong không gian $E$
Bất đẳng thức nón Định lý so sánh trên nón dương của không gian Banach $L^\infty$ Thiết lập ước lượng suy giảm hàm mũ cho khoảng cách giữa các quỹ đạo nghiệm
Toán tử chiếu $\widetilde{P}(t)$ trên $C$ Toán tử chiếu mở rộng từ $X$ sang không gian hàm trễ $C([-r, 0], X)$ Giải quyết sự sai lệch không gian pha giữa $A(t)$ và số hạng trễ phi tuyến $f(t, u_t)$

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 và phát triển các công cụ giải tích nền tảng phục vụ trực tiếp cho các chứng minh ở các chương sau:

  • Không gian hàm Banach chấp nhận được: Luận án trình bày định nghĩa và các tính chất giải tích trên nửa đường thẳng $\mathbb{R}+$ và trên toàn đường thẳng thực $\mathbb{R}$. Thiết lập tiêu chuẩn thuộc không gian hàm Banach thông qua Bổ đề 1.2 (cho phép kiểm tra tính thuộc không gian thông qua đoạn compact). Đưa ra các đánh giá cơ bản cho các toán tử tích phân suy rộng $\Lambda'\sigma \phi(t) = \int_0^t e^{-\sigma(t-s)}\phi(s)ds$ và $\Lambda''\sigma \phi(t) = \int_t^\infty e^{-\sigma(s-t)}\phi(s)ds$. Cụ thể, chứng minh bất đẳng thức chuẩn: $$|\Lambda'\sigma \phi|\infty \le \frac{N_1}{1 - e^{-\sigma}} |\Lambda_1 T_1^+ \phi|\infty \quad \text{và} \quad |\Lambda''\sigma \phi|\infty \le \frac{N_2}{1 - e^{-\sigma}} |\Lambda_1 \phi|_\infty$$
  • Định lý bất đẳng thức nón trong không gian Banach: Luận án chứng minh định lý về nón dương bất biến đối vớ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 phần tử $x \in W$ thỏa mãn $x \le Ax + z$ thì $x \le (I-A)^{-1}z = \sum_{i=0}^\infty A^i z$.
  • Đặc trưng tính nhị phân mũ của họ tiến hóa: Trình bày lý thuyết bài toán Cauchy đặt chỉnh, khái niệm họ tiến hóa liên tục mạnh bị chặn mũ $|U(t, s)| \le K e^{c(t-s)}$, tính chất của các toán tử chiếu nhị phân $P(t)$ (bị chặn đều $H = \sup_{t} |P(t)| < \infty$ và liên tục mạnh theo thời gian), và xây dựng hàm Green $G(t, \tau)$. Nhắc lại các kết quả của Nguyễn Thiệu Huy [27] về tính tương đương giữa nhị phân mũ và tính khả nghịch của toán tử vi phân trừu tượng $G_Z: D(G_Z) \subset E_Z \to E$ trên không gian $E_\infty = E \cap C_b(\mathbb{R}+, X)$. Đồng thời, đưa ra định lý về tính ổn định nghiệm dưới tác động của nhiễu bị chặn $B(t) \in C_b(\mathbb{R}+, \mathcal{L}s(X))$, chỉ ra rằng họ tiến hóa bị nhiễu $(U_B(t, s)){t \ge s}$ vẫn duy trì tính nhị phân mũ nếu $|B| < \frac{\nu}{2NH(1 + N + NH)}$.
  • Đa tạp ổn định của phương trình vi phân nửa tuyến tính: Trình bày tóm lược kết quả của Nguyễn Thiệu Huy [25] về sự tồn tại của đa tạp ổn định bất biến $S = \text{graph}(g_t)$ khi phần phi tuyến $f$ là $\phi$-Lipschitz thỏa mãn điều kiện $k < \frac{1}{N+1}$, trong đó hằng số kiểm soát $k$ được định nghĩa bởi: $$k := \frac{(1+H)N(N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty)}{1 - e^{-\nu}}$$

Chương 2: Đa tạp tích phân của phương trình vi phân nửa tuyến tính

Chương 2 trình bày các kết quả nghiên cứu mở rộng của tác giả đối với phương trình vi phân nửa tuyến tính $\frac{du}{dt} = A(t)u + f(t, u)$:

  • Đa tạp tâm ổn định trên nửa đường thẳng (Mục 2.1): Khi họ tiến hóa $(U(t, s)){t \ge s \ge 0}$ có cấu trúc tam phân mũ với ba họ toán tử chiếu $P_1(t), P_2(t), P_3(t)$ và các số mũ $\alpha < \beta$, tác giả sử dụng kỹ thuật tịnh tiến họ tiến hóa bằng cách đặt $\widetilde{U}(t, s) = e^{-\gamma(t-s)}U(t, s)$ với $\gamma = \frac{\alpha + \delta}{2}$ ($\alpha < \delta < \beta$). Phép biến đổi này chuyển tam phân mũ về cấu trúc nhị phân mũ với số mũ phân tách $\nu = \frac{\delta - \alpha}{2} > 0$. Định lý 2.3 chứng minh rằng nếu $f$ là $\phi$-Lipschitz thỏa mãn: $$k := \frac{(1+H)N_0}{1 - e^{-\nu}} (N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty) < \frac{1}{N_0 + 1}$$ (trong đó $q = \sup {|P_j(t)| : t \ge 0, j = 1, 3}$, $N_0 = \max{N, 2qN}$), thì tồn tại đa tạp tâm ổn định bất biến $S = {(t, S_t)}{t \ge 0}$ với $S_t = \text{graph}(g_t)$, trong đó $g_t: \text{Im}(P_1(t) + P_3(t)) \to \text{Im}P_2(t)$ là các ánh xạ Lipschitz có hằng số độc lập với $t$. Luận án minh họa kết quả qua phương trình đạo hàm riêng phi tuyến: $$w_t(t, x) = w_{xx}(t, x) + n^2 w(t, x) + \phi(t) \cos(w(t, x)), \quad 0 \le x \le \pi, ; w(t, 0) = w(t, \pi) = 0$$ với $\phi(t)$ là hàm bậc thang nhận giá trị $m$ trên các đoạn $[ \frac{2m+1}{2} - \frac{1}{2^{m+c}}, \frac{2m+1}{2} + \frac{1}{2^{m+c}} ]$. Mặc dù $\phi(t)$ tiến ra vô cùng khi $m \to \infty$, nhưng chuẩn $\sup_{t \ge 0} \int_t^{t+1} \phi(\tau)d\tau \le \frac{1}{2^{c-1}}$ đủ bé khi chọn $c$ đủ lớn, thỏa mãn hoàn toàn điều kiện của định lý.

  • Đa tạp không ổn định trên toàn đường thẳng thực (Mục 2.2): Xét phương trình trên toàn trục thời gian $\mathbb{R}$. Bổ đề 2.5 thiết lập biểu diễn nghiệm bị chặn trên nửa khoảng $(-\infty, t_0]$ qua phương trình tích phân Lyapunov-Perron ngược: $$x(t) = U(t, t_0)|{v_1} + \int{-\infty}^{t_0} G(t, \tau) f(\tau, x(\tau)) d\tau, \quad v_1 \in \text{Ker}P(t_0)$$ Định lý 2.6 chứng minh rằng dưới điều kiện $k < \frac{1}{N+1}$, tồn tại đa tạp không ổn định bất biến $\mathcal{U} = {(t, U_t)}{t \in \mathbb{R}}$ đồng phôi với không gian con không ổn định $X_1(t) = \text{Ker}P(t)$. Hai nghiệm bất kỳ $x_1(t), x_2(t)$ trên đa tạp suy giảm cấp mũ ngược chiều thời gian: $$|x_1(t) - x_2(t)| \le C\mu e^{-\mu(t_0 - t)} |(I - P(t_0))(x_1(t_0) - x_2(t_0))|, \quad \forall t \le t_0$$ Đặc biệt, tác giả đưa ra khái niệm hàm $(\epsilon, \omega)$-phù hợp (suitable): hàm $g$ thỏa mãn $\int_s^t g(\tau) e^{\int_s^\tau g(u)du} d\tau \le \eta e^{(\mu - \omega)(t-s)}$. Sử dụng bất đẳng thức Gronwall và bổ đề bước đệm 2.10, Định lý 2.11 chứng minh đa tạp không ổn định có tính chất hút cấp mũ đối với toàn bộ các quỹ đạo nghiệm bất kỳ của hệ: $$d(x(t), U_t) \le \widetilde{K} e^{-\widetilde{\eta}(t-s)} d(x(s), U_s), \quad \forall t \ge s$$

Chương 3: Đa tạp tích phân của phương trình vi phân hàm đạo hàm riêng

Chương 3 là phần đóng góp cốt lõi của luận án, nghiên cứu lớp phương trình vi phân hàm đạo hàm riêng có trễ: $$\frac{du}{dt} = A(t)u(t) + f(t, u_t), \quad t \in [0, \infty)$$ trong đó trạng thái trễ $u_t(\theta) = u(t+\theta)$ với $\theta \in [-r, 0]$ nằm trong không gian Banach $\mathcal{C} := C([-r, 0], X)$ trang bị chuẩn cực đại $|\varphi|{\mathcal{C}} = \sup{\theta \in [-r, 0]} |\varphi(\theta)|$.

  • Xây dựng toán tử chiếu trên không gian hàm trễ (Mục 3.1): Để khắc phục sự lệch pha giữa không gian tác động $X$ của $A(t)$ và không gian $\mathcal{C}$ của $f(t, \cdot)$, tác giả xây dựng họ toán tử chiếu $\widetilde{P}(t)$ trên $\mathcal{C}$ thông qua họ tiến hóa $(U(t, s))$: $$(\widetilde{P}(t)\varphi)(\theta) := U(t+\theta, t) P(t) \varphi(0), \quad \theta \in [-r, 0]$$ Chứng minh $(\widetilde{P}(t))^2 = \widetilde{P}(t)$, từ đó phân tách không gian pha $\mathcal{C} = \widetilde{X}_0(t) \oplus \widetilde{X}_1(t)$ với $\widetilde{X}_0(t) = \text{Im}\widetilde{P}(t)$ và $\widetilde{X}_1(t) = \text{Ker}\widetilde{P}(t)$.
  • Phương trình Lyapunov-Perron cho phương trình có trễ: Thiết lập phương trình tích phân trên không gian $C_b([s-r, \infty), X)$: $$u(t) = U(t, s)\nu_0 + \int_s^\infty G(t, \tau) f(\tau, u_\tau) d\tau, \quad t \ge s; \quad u(t) = U(2s-t, s)\nu_0 + \int_s^\infty G(2s-t, \tau) f(\tau, u_\tau) d\tau, \quad s-r \le t \le s$$ với $\nu_0 \in P(s)X$.
  • Định lý tồn tại đa tạp ổn định (Định lý 3.4): Dưới điều kiện hàm phi tuyến $f$ là $\phi$-Lipschitz thỏa mãn: $$k := \frac{(1+H)N e^{\nu r}}{1 - e^{-\nu}} (N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty) < \frac{1}{1 + N e^{\nu r}}$$ luận án chứng minh sự tồn tại của đa tạp ổn định bất biến $\mathcal{S} = {(t, S_t)}{t \ge 0}$ trong không gian $\mathbb{R}+ \times \mathcal{C}$, trong đó mỗi thớ $S_t = \text{graph}(\Phi_t)$ đồng phôi với $\text{Im}\widetilde{P}(t)$ thông qua ánh xạ Lipschitz $\Phi_t: \text{Im}\widetilde{P}(t) \to \text{Ker}\widetilde{P}(t)$ có hằng số Lipschitz $\frac{N k e^{\nu r}}{1 - k} < 1$. Đồng thời, hai nghiệm bất kỳ trên đa tạp hút nhau cấp mũ theo bất đẳng thức: $$|u_t - v_t|{\mathcal{C}} \le C\mu e^{-\mu(t-s)} |(\widetilde{P}(s)\varphi_1)(0) - (\widetilde{P}(s)\varphi_2)(0)|, \quad \forall t \ge s$$
  • Mở rộng cho đa tạp tâm ổn định và đa tạp không ổn định (Mục 3.2 & 3.3): Áp dụng tương tự các kỹ thuật tịnh tiến phổ và phương trình tích phân trên toàn trục thời gian kết hợp phép chiếu $\widetilde{P}(t)$ trên $\mathcal{C}$, luận án thiết lập các định lý về sự tồn tại và tính hút của đa tạp tâm ổn định và đa tạp không ổn định cho phương trình vi phân hàm đạo hàm riêng.

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

Luận án đã đạt được các kết quả khoa học cụ thể sau:

  1. Mở rộng điều kiện phi tuyến $\phi$-Lipschitz cho đa tạp tâm ổn định và không ổn định: Thiết lập các tiêu chuẩn đủ cho sự tồn tại và tính bất biến của đa tạp tâm ổn định (khi họ tiến hóa có tam phân mũ) và đa tạp không ổn định (trên toàn đường thẳng $\mathbb{R}$) đối với phương trình vi phân nửa tuyến tính trừu tượng trong không gian Banach. Hệ số Lipschitz được mở rộng từ hằng số sang hàm $\phi(t)$ thuộc không gian hàm Banach chấp nhận được, chỉ yêu cầu tích phân trên các đoạn đơn vị $\sup_t \int_t^{t+1} \phi(\tau)d\tau$ đủ nhỏ.
  2. Chứng minh tính chất hút cấp mũ toàn cục của đa tạp không ổn định: Đưa ra khái niệm hàm $(\epsilon, \omega)$-phù hợp và áp dụng bất đẳng thức Gronwall để chứng minh đa tạp không ổn định có tính chất hút cấp mũ tất cả các quỹ đạo nghiệm của phương trình vi phân nửa tuyến tính.
  3. Xây dựng lý thuyết đa tạp tích phân cho phương trình vi phân hàm đạo hàm riêng: Giải quyết bài toán tồn tại đa tạp ổn định, đa tạp tâm ổn định và đa tạp không ổn định cho lớp phương trình vi phân có trễ trong không gian Banach. Đề xuất kỹ thuật xây dựng họ toán tử chiếu $\widetilde{P}(t)$ trên không gian pha trễ $C([-r, 0], X)$ và áp dụng phương pháp Lyapunov-Perron để vượt qua trở ngại sai lệch không gian pha mà phương pháp biến đổi đồ thị không xử lý được.
  4. Đánh giá chính xác tốc độ hội tụ tiệm cận cấp mũ: Kết hợp định lý bất đẳng thức nón trong không gian Banach để đưa ra công thức tường minh cho số mũ suy giảm $\mu > 0$ và hằng số $C_\mu$ của khoảng cách giữa các nghiệm trên đa tạp.
Lớp phương trình Cấu trúc tuyến tính Cấu trúc phi tuyến Đa tạp tích phân thiết lập Kết quả động lực học chính
$\frac{du}{dt} = A(t)u + f(t, u)$ trên $\mathbb{R}_+$ Tam phân mũ $(P_1, P_2, P_3)$, số mũ $\alpha < \beta$ $\phi$-Lipschitz, $\phi \in E(\mathbb{R}_+)$, $k < \frac{1}{N_0 + 1}$ Đa tạp tâm ổn định $S_t = \text{graph}(g_t)$ Bất biến, đồng phôi $\text{Im}(P_1+P_3)$, nghiệm hút cấp mũ
$\frac{du}{dt} = A(t)u + f(t, u)$ trên $\mathbb{R}$ Nhị phân mũ $P(t)$, số mũ $\nu > 0$ $\phi$-Lipschitz, $\phi \in E(\mathbb{R})$, $k < \frac{1}{N+1}$ Đa tạp không ổn định $U_t = \text{graph}(g_t)$ Bất biến, đồng phôi $\text{Ker}P(t)$, hút cấp mũ mọi quỹ đạo nghiệm
$\frac{du}{dt} = A(t)u(t) + f(t, u_t)$ trên $\mathbb{R}_+$ Nhị phân mũ $P(t)$, số mũ $\nu > 0$ $\phi$-Lipschitz trên $\mathcal{C}$, $k < \frac{1}{1 + Ne^{\nu r}}$ Đa tạp ổn định $S_t = \text{graph}(\Phi_t)$ Bất biến trong $\mathcal{C}$, đồng phôi $\text{Im}\widetilde{P}(t)$, hút cấp mũ

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

Hạn chế và phạm vi chưa bao phủ:

  • Các điều kiện đủ được thiết lập dưới dạng toán tử trừu tượng và chuẩn trong không gian hàm Banach tổng quát. Việc kiểm tra trực tiếp các điều kiện này trên các hệ phương trình đạo hàm riêng cụ thể đòi hỏi các kỹ thuật ước lượng phổ, tính chất trơn của nghiệm giải và bán nhóm giải tích tương đối phức tạp.
  • Luận án mới chỉ tập trung khảo sát trễ hữu hạn $r > 0$ trong không gian các hàm liên tục $C([-r, 0], X)$ và các bài toán xác định (deterministic), chưa mở rộng cho các bài toán có trễ vô hạn hoặc phương trình vi phân ngẫu nhiên/ngẫu nhiên có trễ.

Hướng phát triển tiếp theo được gợi mở từ phạm vi nghiên cứu:

  • Nghiên cứu tính trơn khả vi cấp cao ($C^k$, $k \ge 1$) của các đa tạp tích phân thu được khi hàm phi tuyến $f$ thỏa mãn các điều kiện khả vi trơn tương ứng.
  • Mở rộng phương pháp Lyapunov-Perron kết hợp không gian hàm Banach chấp nhận được cho các phương trình vi phân hàm trung tính (neutral functional differential equations) và các phương trình vi phân đại số vô hạn chiều.
  • Ứng dụng các tiêu chuẩn lý thuyết vào các mô hình phản ứng - khuếch tán cụ thể trong sinh học quần thể và vật lý chất lỏng có chứa nguồn kích động phụ thuộc thời gian.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị học thuật cao đối với:

  • Nghiên cứu sinh, học viên cao học và giảng viên chuyên ngành: Cung cấp tài liệu tham khảo chi tiết thuộc các chuyên ngành Phương trình vi phân và tích phân, Giải tích hàm, Toán giải tích và Hệ động lực.
  • Nghiên cứu lý thuyết định tính phương trình vi phân vô hạn chiều: Phần trình bày về không gian hàm Banach chấp nhận được (Chương 1) và kỹ thuật bất đẳng thức nón cung cấp một công cụ phân tích chuẩn mực để xử lý các bài toán ổn định và tiệm cận.
  • Xử lý các bài toán phương trình có trễ: Kỹ thuật xây dựng toán tử chiếu $\widetilde{P}(t)$ trên không gian hàm trễ $\mathcal{C}$ (Chương 3) là phương pháp luận quan trọng có thể áp dụng cho nhiều lớp phương trình vi phân hàm đạo hàm riêng khác nhau khi phương pháp biến đổi đồ thị truyền thống bị vô hiệu hóa.

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

1. Điều kiện $\phi$-Lipschitz trong luận án có ưu điểm gì vượt trội so với điều kiện Lipschitz cổ điển?
Trong điều kiện Lipschitz cổ điển, hằng số Lipschitz $q$ bắt buộc phải là hằng số hằng và đủ nhỏ trên toàn bộ miền thời gian. Ngược lại, điều kiện $\phi$-Lipschitz cho phép hệ số $\phi(t)$ biến thiên theo thời gian và thuộc một không gian hàm Banach chấp nhận được (như không gian Stepanov $M(\mathbb{R})$). Điều kiện đòi hỏi chỉ là chuẩn tích phân $\sup_t \int_t^{t+1} \phi(\tau)d\tau$ đủ nhỏ, cho phép hàm $\phi(t)$ nhận giá trị rất lớn tại các thời điểm rời rạc hoặc trên các tập đo được nhỏ, phù hợp với các hiện tượng tương tác - khuếch tán có nguồn vật chất biến động mạnh.

2. Vì sao phương pháp biến đổi đồ thị (graph transform) không áp dụng được cho phương trình vi phân hàm đạo hàm riêng trong Chương 3?
Phương pháp biến đổi đồ thị đòi hỏi không gian pha của toán tử đạo hàm riêng và không gian pha của toán tử phi tuyến phải tương thích trực tiếp để thiết lập các phép biến đổi đồ thị trên cùng một không gian. Trong phương trình vi phân hàm đạo hàm riêng, họ toán tử vi phân $A(t)$ tác động trên không gian Banach $X$, trong khi phần phi tuyến có trễ $f(t, u_t)$ nhận đối số trong không gian các hàm liên tục $\mathcal{C} = C([-r, 0], X)$. Sự sai lệch cấu trúc không gian pha này làm phương pháp biến đổi đồ thị không thực hiện được.

3. Luận án đã giải quyết sự sai lệch không gian pha trong phương trình có trễ như thế nào?
Tác giả đã sử dụng phương pháp Lyapunov-Perron kết hợp xây dựng một họ toán tử chiếu mới $\widetilde{P}(t)$ trên không gian pha trễ $\mathcal{C}$ thông qua công thức $(\widetilde{P}(t)\varphi)(\theta) = U(t+\theta, t)P(t)\varphi(0)$ với $\theta \in [-r, 0]$. Phép chiếu này chuyển đổi trực tiếp cấu trúc nhị phân mũ của họ tiến hóa $(U(t, s))$ trên $X$ thành cấu trúc phân tách không gian tương ứng trên $\mathcal{C}$, cho phép thiết lập phương trình tích phân Lyapunov-Perron trên không gian hàm bị chặn $C_b([s-r, \infty), X)$.

4. Khái niệm hàm $(\epsilon, \omega)$-phù hợp (suitable) đóng vai trò gì trong việc chứng minh tính chất của đa tạp không ổn định?
Khái niệm hàm $(\epsilon, \omega)$-phù hợp được đưa ra để kiểm soát số hạng phi tuyến tích phân trong bất đẳng thức Gronwall. Nhờ tính chất này, khoảng cách giữa toán tử phi tuyến $X(t, s)$ và họ tiến hóa tuyến tính $U(t, s)$ được đánh giá chặn đều bởi $\eta e^{\mu(t-s)}$, từ đó thiết lập được bổ đề co bước đệm và chứng minh tính chất hút cấp mũ của đa tạp không ổn định đối với toàn bộ các quỹ đạo nghiệm xuất phát ngoài đa tạp.

5. Điều kiện để bài toán nhiễu $\frac{du}{dt} = (A(t) + B(t))u$ bảo toàn tính nhị phân mũ là gì?
Theo Định lý 1.13 của luận án, nếu bài toán không nhiễu có họ tiến hóa nhị phân mũ với các hằng số $N, \nu > 0$ và họ toán tử chiếu $P(t)$ bị chặn bởi $H = \sup_t |P(t)|$, thì khi toán tử nhiễu $B(t) \in C_b(\mathbb{R}_+, \mathcal{L}_s(X))$ có chuẩn thỏa mãn $|B| < \frac{\nu}{2NH(1 + N + NH)}$, họ tiến hóa của hệ bị nhiễu vẫn duy trì tính chất nhị phân mũ.

Kết luận

Luận án tiến sĩ toán học của Trịnh Viết Dược đã giải quyết trọn vẹn bài toán xác lập sự tồn tại, tính bất biến và tính chất hút cấp mũ của các đa tạp tích phân (ổn định, không ổn định, tâm ổn định) cho hai lớp phương trình tiến hóa quan trọng: phương trình vi phân nửa tuyến tính và phương trình vi phân hàm đạo hàm riêng. Bằng việc kết hợp sáng tạo phương pháp Lyapunov-Perron, lý thuyết bất đẳng thức nón và khung không gian hàm Banach chấp nhận được, công trình đã mở rộng đáng kể lý thuyết định tính cổ điển sang các bài toán có phần phi tuyến $\phi$-Lipschitz biến thiên theo thời gian. Các kết quả đạt được tạo nên một hệ thống lý thuyết chặt chẽ, đóng góp trực tiếp vào sự phát triển của chuyên ngành Phương trình vi phân và tích phân.