Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Đa tạp tích phân và dáng điệu tiệm cận nghiệm của một số lớp phương trình tiến hoá" do nghiên cứu sinh Trịnh Viết Dược thực hiện tại Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội vào năm 2014, dưới sự hướng dẫn khoa học của PGS. Nguyễn Thiệu Huy và PGS. Đặng Đình Châu. Luận án thuộc chuyên ngành Phương trình vi phân và tích phân, mã số chuyên ngành 62460103.

Về tính cấp thiết, luận án tập trung khảo sát lý thuyết định tính về dáng điệu tiệm cận nghiệm của hai lớp phương trình tiến hoá trong không gian Banach: 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à 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 đó phần tuyến tính sinh bởi họ toán tử $(A(t))$ có thể không giới nội và phần phi tuyến $f$ đóng vai trò là số hạng nhiễu. Trong lý thuyết định tính, việc tìm hiểu sự tồn tại của các đ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 (tâm ổn định, tâm không ổn định)—là bài toán trọng tâm. Sự tồn tại của các đa tạp tích phân mang lại bức tranh hình học rõ ràng về dáng điệu tiệm cận của nghiệm xung quanh điểm cân bằng hoặc một quỹ đạo xác định; đồng thời, do tính chất hút của các đa tạp đối với các quỹ đạo nghiệm, việc phân tích nghiệm của các phương trình đạo hàm riêng phức tạp có thể thu gọn về việc khảo sát các phương trình đơn giản hơn trên chính các đa tạp đó.

Khoảng trống nghiên cứu được tác giả xác định xuất phát từ hai giới hạn chính trong các công trình tiền nhiệm:

  • Thứ nhất, trong các nghiên cứu truyền thống về đa tạp tích phân, điều kiện phổ biến đối với phần phi tuyến $f$ là thỏa mãn điều kiện Lipschitz với hằng số Lipschitz $q$ đủ bé theo nghĩa cổ điển. Tuy nhiên, đối với các phương trình nảy sinh từ các quá trình tương tác - khuếch tán thực tế, khi $f$ biểu diễn nguồn vật chất thì 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 một số thời điểm nhất định, không còn nhỏ theo nghĩa cổ điển.
  • Thứ hai, đối với phương trình vi phân hàm đạo hàm riêng có chứa số hạng trễ thời gian $u_t$, không gian pha của số hạng phi tuyến là không gian các hàm liên tục $C([-r, 0], X)$, trong khi họ tiến hoá sinh bởi phần tuyến tính $A(t)$ lại tác động trên không gian Banach nền $X$. Sự sai khác về không gian pha này làm cho phương pháp biến đổi đồ thị (graph transform) vốn được sử dụng phổ biến trước đó không thể áp dụng được.

Mục tiêu nghiên cứu của luận án được cụ thể hóa thành hai nhiệm vụ khoa học chính:

  1. Thiết lập các điều kiện đủ cho sự tồn tại và tính chất hút của đa tạp tâm ổn định trên nửa trục thời gian $\mathbb{R}_+$ và đa tạp không ổn định trên toàn trục thời gian $\mathbb{R}$ đối với phương trình vi phân nửa tuyến tính trừu tượng, trong điều kiện hàm phi tuyến $f$ thỏa mãn tính chất $\phi$-Lipschitz với $\phi$ thuộc một không gian hàm Banach chấp nhận được.
  2. Xây dựng phương pháp vượt qua rào cản sai lệch không gian pha để chứng minh sự tồn tại của các đa tạp tích phân (đa tạp ổn định, đa tạp tâm ổn định, đa tạp không ổn định) cho phương trình vi phân hàm đạo hàm riêng với số hạng phi tuyến $\phi$-Lipschitz.

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

  • Đối tượng nghiên cứu: Nghiệm đủ tốt, tính nhị phân mũ, tính tam phân mũ của họ tiến hoá, các toán tử chiếu, phương trình tích phân Lyapunov-Perron và các cấu trúc đa tạp tích phân (đa tạp ổn định, đa tạp không ổn định, đa tạp tâm ổn định).
  • Phạm vi không gian: Không gian Banach vô hạn chiều $X$, không gian pha các hàm liên tục $C := C([-r, 0], X)$ với độ trễ cố định $r > 0$, và các không gian hàm Banach chấp nhận được $E$ trên $\mathbb{R}+$ hoặc $E{\mathbb{R}}$ trên $\mathbb{R}$ (chẳng hạn như không gian Lebesgue $L^p$, không gian $M(\mathbb{R}_+)$, không gian Lorentz $L^{p,q}$).
  • Phạm vi thời gian: Nửa đường thẳng thực $\mathbb{R}_+ = [0, +\infty)$ và toàn bộ đường thẳng thực $\mathbb{R} = (-\infty, +\infty)$.

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

Luận án đã hệ thống hóa lịch sử phát triển của lý thuyết đa tạp tích phân và các phương pháp giải tích liên quan thông qua các giai đoạn:

  • Các kết quả nền tảng đầu tiên gắn liền với lý thuyết phương trình vi phân thường hữu hạn chiều (tức không gian pha $X = \mathbb{R}^n$ và $A(t)$ là các ma trận) thuộc về Hadamard (1901) [52], Perron (1928, 1930) [50, 51], Bogoliubov và Mitropolsky (1961) [12].
  • Giai đoạn mở rộng sang không gian Banach vô hạn chiều với $A(t)$ là các toán tử tuyến tính giới nội được thực hiện bởi Daleckii và Krein (1970) [18]. Sau đó, Henry (1981) [21] đã phát triển lý thuyết đ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 nửa nhóm giải tích.
  • Với sự phát triển của giải tích hàm hiện đại và lý thuyết họ tiến hoá, các nghiên cứu tiếp tục mở rộng cho các lớp phương trình tiến hoá tổng quát, bao gồm phương trình đạo hàm riêng có trễ và phương trình dạng trung tính, tiêu biểu là các công trình của Bates và Jones [1], Chicone và Latushkin [15], Magalhaes [40], Ruess [47, 48], Nguyễn Thiệu Huy và Nguyễn Văn Minh [23, 24].

Về mặt phương pháp luận, tác giả chỉ rõ hai hướng tiếp cận chính trong lịch sử:

  • Phương pháp Hadamard: Được tổng quát hóa thành phương pháp biến đổi đồ thị (graph transform), được sử dụng trong các công trình của Hadamard [52], Hirsch, Pugh và Shub [22], Magalhaes [40]. Phương pháp này dựa trên việc thiết lập và chứng minh tính co của các phép biến đổi phức hợp tác động trực tiếp trên đồ thị của các hàm biểu diễn đa tạp.
  • Phương pháp Perron: Được phát triển thành phương pháp Lyapunov-Perron nhờ gắn kết với các ý tưởng của Lyapunov, tiêu biểu qua các nghiên cứu của Daleckii và Krein [18], Chow và Lu [14], Aulbach và Wanner [9], Ruess [47], Nguyễn Thiệu Huy và Nguyễn Văn Minh [23, 24], Nguyễn Thiệu Huy [25, 26]. Phương pháp này quy bài toán vi phân về phương trình tích phân Lyapunov-Perron thông qua hàm Green và giải quyết bằng nguyên lý ánh xạ co.

Về điều kiện đặt lên phần phi tuyến $f$, các nghiên cứu truyền thống [1, 9, 14, 18, 40, 47, 48] đều giả định $f$ thỏa mãn điều kiện Lipschitz với hằng số $q$ đủ nhỏ. Để mô tả các hiện tượng tương tác - khuếch tán phức tạp có nguồn biến động theo thời gian [41, 42, 49], năm 2009, Nguyễn Thiệu Huy [25] đã đề xuất phương pháp Lyapunov-Perron kết hợp không gian hàm Banach chấp nhận được để chứng minh sự tồn tại của đa tạp ổn định bất biến khi hệ số Lipschitz $\phi(t)$ phụ thuộc thời gian và thuộc vào một không gian hàm chấp nhận được. Hướng tiếp cận sử dụng không gian hàm chấp nhận được để nghiên cứu dáng điệu tiệm cận của nghiệm tiếp tục được phát triển trong các công trình [2, 23, 24, 25, 26, 27, 28, 29, 30, 32].

Khoảng trống mà luận án lựa chọn giải quyết là: kế thừa công cụ không gian hàm Banach chấp nhận được từ công trình của Nguyễn Thiệu Huy [25], luận án mở rộng toàn diện cấu trúc đa tạp cho phương trình vi phân nửa tuyến tính sang trường hợp họ tiến hoá có tam phân mũ (tồn tại đa tạp tâm ổn định) và trường hợp xét trên toàn trục thời gian $\mathbb{R}$ (tồn tại và tính hút của đa tạp không ổn định); đồng thời giải quyết bài toán sai khác không gian pha đối với phương trình vi phân hàm đạo hàm riêng có trễ bằng cách xây dựng hệ toán tử chiếu giải tích trên $C([-r, 0], X)$, khắc phục sự bất khả thi của phương pháp biến đổi đồ thị.

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

Luận án vận dụng hệ thống khái niệm giải tích hàm, lý thuyết toán tử và lý thuyết định tính phương trình vi phân sau:

Không gian hàm Banach chấp nhận được

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 trên $(I, \mathcal{B}, \lambda)$ (với $\mathcal{B}$ là đại số Borel và $\lambda$ là độ đo Lebesgue) nếu $(E, |\cdot|_E)$ là không gian Banach; thỏa mãn tính chất lý thuyết độ đo: 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$; đồng thời nhúng liên tục $E \hookrightarrow L^1{loc}(I)$.

Không gian hàm Banach $E$ được gọi là chấp nhận được nếu thỏa mãn:

  1. Tồn tại hằng số $M \ge 1$ sao cho với mọi đoạn $[a, b] \subset I$ và mọi $\phi \in E$: $$\int_a^b |\phi(t)| dt \le \frac{M(b - a)}{|\chi_{[a, b]}|_E} |\phi|_E$$
  2. Các toán tử tịnh tiến $T_\tau^+$ và $T_\tau^-$ bị chặn đều theo chuẩn, tức tồn tại $N_1, N_2 > 0$ sao cho $|T_\tau^+| \le N_1$ và $|T_\tau^-| \le N_2$ với mọi $\tau \in I$.

Các ví dụ tiêu biểu của không gian hàm Banach chấp nhận được bao gồm không gian $L^p(I)$ ($1 \le p \le \infty$), không gian Lorentz $L^{p, q}$ ($1 < p < \infty, 1 < q < \infty$), và không gian: $$\mathcal{M}(I) := \left{ f \in L^1_{loc}(I) : \sup_{t \in I} \int_t^{t+1} |f(\tau)| d\tau < \infty \right}$$ với chuẩn $|f|{\mathcal{M}} = \sup{t \in I} \int_t^{t+1} |f(\tau)| d\tau$. Mọi không gian hàm Banach chấp nhận được $E$ đều nhúng liên tục vào $\mathcal{M}(I)$, và với mọi $b > 0$ thì hàm số $e^{b|t|} \notin E$.

Các toán tử tích phân liên kết được định nghĩa với $\sigma > 0$: $$\Lambda_\sigma' \phi(t) = \int_0^t e^{-\sigma(t-s)} \phi(s) ds, \quad \Lambda_\sigma'' \phi(t) = \int_t^\infty e^{-\sigma(s-t)} \phi(s) ds$$ và trên toàn trục $\mathbb{R}$ thì cận dưới của $\Lambda_\sigma'$ lấy từ $-\infty$. Chuẩn của các hàm này được chặn đều qua chuẩn $|\Lambda_1 T_1^+ \phi|\infty$ và $|\Lambda_1 \phi|\infty$.

Bất đẳng thức nón trong không gian Banach

Cho nón lồi đóng $K$ trong không gian Banach $W$, xác định thứ tự bộ phận $x \le y \Leftrightarrow y - x \in K$. Giả sử toán tử tuyến tính giới nội $A \in \mathcal{L}(W)$ giữ bất biến nón $K$ ($AK \subset K$) và có bán kính phổ $r_A < 1$. Nếu các phần tử $x, z \in W$ thỏa mãn bất đẳng thức toán tử $x \le Ax + z$, thì phương trình $y = Ay + z$ có nghiệm duy nhất $y = (I - A)^{-1}z = \sum_{i=0}^\infty A^i z \in W$ và nghiệm đó thỏa mãn $x \le y$.

Nhị phân mũ, tam phân mũ và hàm Green

  • Họ tiến hoá $(U(t, s))_{t \ge s}$ sinh bởi bài toán Cauchy đặt chỉnh $\dot{x}(t) = A(t)x(t)$ có nhị phân mũ nếu tồn tại họ toán tử chiếu $P(t)$ liên tục mạnh, bị chặn đều ($H = \sup_t |P(t)| < \infty$) và các hằng số $N, \nu > 0$ phân rã không gian thành hai phần ổn định và không ổn định. Khi đó hàm Green được xác định bởi: $$G(t, \tau) = \begin{cases} P(t)U(t, \tau) & \text{khi } t > \tau \ -(I - P(t))U(t, \tau)| & \text{khi } t < \tau \end{cases}$$ thỏa mãn đánh giá chuẩn $|G(t, \tau)| \le N(1 + H)e^{-\nu|t - \tau|}$ với mọi $t \ne \tau$.
  • Họ tiến hoá có tam phân mũ trên nửa đường thẳng nếu tồn tại ba họ toán tử chiếu trực giao từng đôi một $P_1(t), P_2(t), P_3(t)$ với $\sum_{j=1}^3 P_j(t) = I$ và các số mũ $\alpha < \beta$ phân tách tốc độ tăng trưởng mũ thành ba vùng phổ: ổn định (số mũ $-\beta$), tâm (số mũ trong đoạn $[-\alpha, \alpha]$) và không ổn định (số mũ $\beta$).

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

Luận án sử dụng phương pháp định tính giải tích toán học:

  1. Phương pháp Lyapunov-Perron: Chuyển đổi phương trình vi phân sang phương trình tích phân biểu diễn qua hàm Green $G(t, \tau)$, sau đó sử dụng nguyên lý ánh xạ co Banach trên các không gian hàm bị chặn $C_b$ hoặc $L^\infty$ để chứng minh sự tồn tại duy nhất của nghiệm giới hạn.
  2. Phương pháp dịch chuyển họ tiến hoá: Thiết lập họ toán tử dịch chuyển $\widetilde{U}(t, s) = e^{-\gamma(t-s)}U(t, s)$ để quy một họ tiến hoá có tam phân mũ về một họ tiến hoá có nhị phân mũ tương đương.
  3. Kỹ thuật giải tích hàm trên nón: Dùng bất đẳng thức nón để giải quyết các hệ bất đẳng thức tích phân suy rộng thay thế cho bất đẳng thức Gronwall cổ điển.
  4. Kỹ thuật nâng không gian pha: Xây dựng giải tích hệ toán tử chiếu $\widetilde{P}(t)$ trên không gian hàm trễ $C([-r, 0], X)$ thông qua họ tiến hoá $U(t, s)$ của không gian nền $X$.

Nguồn tư liệu nghiên cứu là các mô hình toán học giải tích thuần túy lý thuyết, không sử dụng dữ liệu thực nghiệm hay thống kê số liệu.

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

Chương 1: Kiến thức chuẩn bị

Chương 1 thiết lập hệ thống công cụ và các kết quả bổ trợ nền tảng phục vụ cho các chứng minh ở Chương 2 và Chương 3:

  • Mục 1.1 trình bày định nghĩa và các tính chất giải tích của không gian hàm Banach chấp nhận được trên nửa đường thẳng $\mathbb{R}+$. Bổ đề 1.1 đưa ra tiêu chuẩn kiểm tra một hàm thuộc không gian hàm Banach $E$ dựa trên tính chất trùng nhau bên ngoài một tập compact và tính bị chặn cốt yếu. Mệnh đề 1.1 thiết lập các đánh giá chặn đều cho các toán tử tích phân $\Lambda\sigma'\phi$ và $\Lambda_\sigma''\phi$ thông qua hằng số tịnh tiến $N_1, N_2$, đồng thời chứng minh hàm số mũ tăng trưởng $e^{bt} \notin E$ với mọi $b > 0$.
  • Mục 1.2 mở rộng khái niệm không gian hàm Banach chấp nhận được sang toàn bộ đường thẳng thực $\mathbb{R}$ ($E_{\mathbb{R}}$). Đồng thời, mục này trình bày Định lý 1.5 về bất đẳng thức nón trong không gian Banach tổng quát đối với toán tử tuyến tính có bán kính phổ $r_A < 1$, đóng vai trò then chốt trong việc đánh giá tốc độ suy giảm tiệm cận của nghiệm.
  • Mục 1.3 tổng thuật các kết quả của Nguyễn Thiệu Huy (2006) [27] về đặc trưng tính nhị phân mũ của họ tiến hoá $(U(t, s)){t \ge s \ge 0}$ sinh bởi bài toán Cauchy: $$\begin{cases} \dot{x}(t) = A(t)x(t), \quad t \ge s \ge 0 \ x(s) = x \in X \end{cases}$$ Bổ đề 1.2 chứng minh họ toán tử chiếu nhị phân $(P(t)){t \ge 0}$ bị chặn đều bởi hằng số $H = \sup_{t \ge 0} |P(t)| < \infty$ và liên tục mạnh. Định lý 1.8 và 1.9 xác lập mối liên hệ tương đương giữa tính nhị phân mũ của họ tiến hoá với tính toàn ánh hoặc khả nghịch của các toán tử vi phân đóng $G$ và $G_0$ xác định trên không gian hàm $E_\infty = E \cap C_b(\mathbb{R}+, X)$. Hệ quả 1.1 khảo sát tính bền vững của nhị phân mũ dưới tác động của bài toán nhiễu vi phân $\dot{u}(t) = (A(t) + B(t))u(t)$, khẳng định nếu chuẩn $|B| = \sup{t \ge 0} |B(t)|$ thỏa mãn: $$|B| < \frac{\nu}{2NH(1 + N + NH)}$$ thì họ tiến hoá nhiễu $(U_B(t, s))_{t \ge s \ge 0}$ vẫn giữ nguyên tính chất nhị phân mũ.
  • Mục 1.4 điểm lại các kết quả của Nguyễn Thiệu Huy (2009) [25] đố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)$ trên $\mathbb{R}+$. Khái niệm hàm $f$ thỏa mãn tính chất $\phi$-Lipschitz được xác định khi $|f(t, 0)| \le \phi(t)$ và $|f(t, x_1) - f(t, x_2)| \le \phi(t)|x_1 - x_2|$ với $\phi \in E$ không âm. Nghiệm bị chặn cốt yếu thỏa mãn phương trình tích phân Lyapunov-Perron: $$u(t) = U(t, t_0)\nu_0 + \int{t_0}^\infty G(t, \tau) f(\tau, u(\tau)) d\tau$$ Định lý 1.11 khẳng định nếu tham số $k$ xác định bởi: $$k := \frac{(1 + H)N (N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty)}{1 - e^{-\nu}} < \frac{1}{N + 1}$$ thì tồn tại đa tạp ổn định bất biến $S = \text{graph}(g_t)$, các nghiệm trên đa tạp hút nhau cấp mũ với tốc độ $e^{-\mu(t - t_0)}$ trong đó số mũ thỏa mãn $0 < \mu < \nu + \ln(1 - k(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ới của tác giả về đa tạp tâm ổn định và đa tạp không ổn định cho phương trình vi phân nửa tuyến tính trừu tượng:

  • Mục 2.1: Đa tạp tâm ổn định trên nửa đường thẳng $\mathbb{R}_+$ Xét phương trình $\frac{du}{dt} = A(t)u + f(t, u)$ khi họ tiến hoá sinh bởi $A(t)$ có tam phân mũ với ba toán tử chiếu $P_1(t), P_2(t), P_3(t)$ và các hằng số $N, \alpha, \beta$ ($0 \le \alpha < \beta$). Bằng cách đặt $\gamma = \frac{\alpha + \beta}{2}$ và xét họ tiến hoá dịch chuyển $\widetilde{U}(t, s) = e^{-\gamma(t-s)}U(t, s)$, tác giả quy bài toán về họ tiến hoá có nhị phân mũ với toán tử chiếu $P(t) = P_1(t) + P_3(t)$, $Q(t) = P_2(t)$, các hằng số nhị phân mới là $N_0 = \max{N, 2qN}$ (với $q = \sup_{t \ge 0, j=1,3} |P_j(t)|$) và số mũ $\nu = \frac{\delta - \alpha}{2} > 0$ ($\delta > \alpha$). Định lý 2.1 chứng minh rằng nếu $f$ là $\phi$-Lipschitz với $\phi \in E$ và thỏa mãn: $$k := \frac{(1 + H)N_0 (N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty)}{1 - e^{-\nu}} < \frac{1}{N_0 + 1}$$ thì tồn tại đa tạp tâm ổn định bất biến $S = {(t, S_t)}{t \ge 0}$, trong đó $S_t = \text{graph}(g_t)$ với $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ố Lipschitz không phụ thuộc vào $t$. Các nghiệm xuất phát trên đa tạp có tính duy nhất và thỏa mãn điều kiện tăng trưởng $\text{ess}\sup{t \ge t_0} e^{-\gamma t}|u(t)| < \infty$. Tác giả minh họa lý thuyết bằng hai ví dụ:
  1. Phương trình trừu tượng với toán tử sinh nửa nhóm chỉnh hình có phổ chia tách thành ba phần rời rạc qua phép chiếu Riesz.
  2. Phương trình phản ứng - khuếch tán cụ thể trên miền không gian $[0, \pi]$: $$\begin{cases} 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, t \ge 0 \ w(t, 0) = w(t, \pi) = 0 \end{cases}$$ Hàm hệ số $\phi(t)$ được thiết lập nhận giá trị $m$ trên các đoạn hẹp $\left[\frac{2m+1}{2} - \frac{1}{2^{m+c}}, \frac{2m+1}{2} + \frac{1}{2^{m+c}}\right]$ ($m \in \mathbb{N}, c > 0$) và bằng 0 ở các điểm còn lại. Mặc dù giá trị tức thời của $\phi(t)$ tiến tới vô cùng khi $m \to \infty$, tích phân định xứ của hàm thỏa mãn: $$\sup_{t \ge 0} \int_t^{t+1} \phi(\tau) d\tau \le \frac{1}{2^{c-1}}$$ đảm bảo $\phi \in \mathcal{M}(\mathbb{R}_+)$. Khi chọn hằng số $c$ đủ lớn, điều kiện của Định lý 2.1 được thỏa mãn đầy đủ, khẳng định sự tồn tại của đa tạp tâm ổn định.
  • Mục 2.2: Đa tạp không ổn định trên toàn đường thẳng $\mathbb{R}$ Xét phương trình trên toàn trục thời gian $t \in \mathbb{R}$ với giả thiết họ tiến hoá có nhị phân mũ trên $\mathbb{R}$ và phần phi tuyến $f$ là $\phi$-Lipschitz với $\phi \in E_{\mathbb{R}}$. Đa tạp không ổn định $U = {(t, x + g_t(x)) : x \in X_1(t)}$ được xây dựng với $X_0(t) = P(t)X$ và $X_1(t) = \text{Ker}P(t)$. Bổ đề 2.1 chỉ ra dạng biểu diễn nghiệm bị chặn trên nửa khoảng quá khứ $(-\infty, t_0]$ qua phương trình tích phân Lyapunov-Perron ngược thời gian: $$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 X_1(t_0)$$ Định lý 2.2 sử dụng bất đẳng thức nón trong không gian Banach $L^\infty((-\infty, t_0], X)$ để chứng minh tính co và tính duy nhất của nghiệm khi: $$k := \frac{(1 + H)N (N_1 |\Lambda_1 \phi|\infty + N_2 |\Lambda_1 \phi|\infty)}{1 - e^{-\nu}} < 1$$ đồng thời thiết lập đánh giá suy giảm tiệm cận ngược thời gian: $$|x_1(t) - x_2(t)| \le C_\mu e^{-\mu(t_0 - t)} |v_1 - v_2|, \quad \forall t \le t_0$$ với $0 < \mu < \nu + \ln(1 - k(1 - e^{-\nu}))$. Định lý 2.3 chứng minh sự tồn tại của đa tạp không ổn định bất biến $U$ khi $k < \frac{1}{N + 1}$, trong đó họ ánh xạ $g_t: X_1(t) \to X_0(t)$ có hằng số Lipschitz $q = \frac{Nk}{1 - k} < 1$, khiến $U_t$ đồng phôi với $X_1(t)$. Đặc biệt, Định lý 2.4 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 khi hàm $N\phi(\cdot)$ thỏa mãn điều kiện $(\frac{\epsilon}{N}, \omega)$-phù hợp (suitable): $$d(x(t), U_t) \le \widetilde{K} e^{-\widetilde{\eta}(t - s)} d(x(s), U_s), \quad \forall t \ge s$$ với các hằng số dương $\widetilde{K}, \widetilde{\eta}$ hoàn toàn xác định.

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 giải quyết bài toán phức tạp hơn khi hệ phương trình có chứa số hạng trễ thời gian: $$\frac{du}{dt} = A(t)u(t) + f(t, u_t), \quad t \ge 0$$ trong đó $u_t \in C := C([-r, 0], X)$ xác định bởi $u_t(\theta) = u(t + \theta)$ với $\theta \in [-r, 0]$. Rào cản cốt lõi là không gian xác định của toán tử tuyến tính $A(t)$ là $X$, trong khi số hạng phi tuyến $f: \mathbb{R}_+ \times C \to X$ nhận đối số trên không gian hàm trễ $C$. Do đó, phương pháp biến đổi đồ thị (graph transform) bị vô hiệu hóa.

Để khắc phục, tác giả xây dựng họ toán tử chiếu $\widetilde{P}(t)$ trực tiếp trên không gian pha $C$ thông qua họ tiến hoá $(U(t, s))$ của không gian $X$: $$(\widetilde{P}(t)\varphi)(\theta) := U(t + \theta, t) P(t) \varphi(0), \quad \theta \in [-r, 0]$$ Toán tử này thỏa mãn $(\widetilde{P}(t))^2 = \widetilde{P}(t)$, chia không gian $C$ thành tổng trực tiếp $C = \text{Im}\widetilde{P}(t) \oplus \text{Ker}\widetilde{P}(t)$ với: $$\text{Im}\widetilde{P}(t) = \left{ \varphi \in C : \varphi(\theta) = U(t + \theta, t)\nu_0, \forall \theta \in [-r, 0], \nu_0 \in \text{Im}P(t) \right}$$ và thỏa mãn $\sup_{t \ge 0} |\widetilde{P}(t)| < \infty$.

Trong Mục 3.1, tác giả chứng minh sự tồn tại của đa tạp ổn định bất biến $S \subset \mathbb{R}_+ \times C$:

  • Bổ đề 3.1 thiết lập phương trình tích phân Lyapunov-Perron cho nghiệm bị chặn trên $[s - r, \infty)$: $$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_s = \varphi \in C$$
  • Bổ đề 3.2 chứng minh ánh xạ tích phân Lyapunov-Perron là ánh xạ co trên không gian hàm liên tục bị chặn $C_b([s - r, \infty), X)$ khi tham số $k$ thỏa mãn: $$k := \frac{N(1 + H)e^{\nu r}(N_1 |\Lambda_1 T_1^+ \phi|\infty + N_2 |\Lambda_1 \phi|\infty)}{1 - e^{-\nu}} < 1$$ Áp dụng Định lý bất đẳng thức nón trong không gian $L^\infty[s, \infty)$, tác giả thu được đánh giá tiệm cận mũ giữa hai nghiệm $u(t)$ và $v(t)$: $$|u_t - v_t|C \le C\mu e^{-\mu(t - s)} |\varphi_1(0) - \varphi_2(0)|, \quad \forall t \ge s \ge 0$$ trong đó $0 < \mu < \nu + \ln(1 - N(1 + H)e^{\nu r}(N_1|\Lambda_1 T_1^+ \phi|\infty + N_2|\Lambda_1 \phi|\infty))$ và $C_\mu = \frac{Ne^{\nu r}}{1 - k_D}$.
  • Định lý 3.1 xác lập điều kiện tồn tại của đa tạp ổn định bất biến $S = {(t, S_t)}{t \ge 0}$ với mặt cắt $S_t = {\varphi + \Phi_t(\varphi) : \varphi \in \text{Im}\widetilde{P}(t)}$. Toán tử $\Phi_t: \text{Im}\widetilde{P}(t) \to \text{Ker}\widetilde{P}(t)$ được chứng minh là ánh xạ Lipschitz với hằng số Lipschitz $L\Phi = \frac{N k e^{\nu r}}{1 - k}$. Khi tham số co thỏa mãn điều kiện chặt hơn: $$k < \frac{1}{1 + N e^{\nu r}}$$ thì $L_\Phi < 1$, từ đó áp dụng định lý hàm ẩn suy ra mặt cắt $S_t$ đồng phôi với không gian con $\text{Im}\widetilde{P}(t)$.
  • Các mục tiếp theo của Chương 3 áp dụng quy trình giải tích tương tự, kết hợp kỹ thuật dịch chuyển họ tiến hoá và phương trình Lyapunov-Perron trên toàn trục $\mathbb{R}$, để thiết lập sự tồn tại của đa tạp tâm ổn định (Mục 3.2) và đa tạp không ổn định (Mục 3.3) cho lớp phương trình vi phân hàm đạo hàm riêng.

Bảng dưới đây tổng hợp các điều kiện toán học và kết quả chính đạt được đối với từng lớp phương trình và loại đa tạp trong luận án:

Lớp phương trình Miền thời gian Điều kiện phần tuyến tính Điều kiện phần phi tuyến Cấu trúc đa tạp tích phân Điều kiện tham số $k$ để tồn tại đa tạp
Nửa tuyến tính trừu tượng $\frac{du}{dt} = A(t)u + f(t, u)$ $\mathbb{R}_+ = [0, +\infty)$ Nhị phân mũ (hằng số $N, \nu$, chiếu $P(t)$) $\phi$-Lipschitz, $\phi \in E$ Đa tạp ổn định $S = \text{graph}(g_t)$ $k < \frac{1}{N + 1}$
Nửa tuyến tính trừu tượng $\frac{du}{dt} = A(t)u + f(t, u)$ $\mathbb{R}_+ = [0, +\infty)$ Tam phân mũ (hằng số $N, \alpha, \beta$, chiếu $P_j(t)$) $\phi$-Lipschitz, $\phi \in E$ Đa tạp tâm ổn định $S = \text{graph}(g_t)$ $k < \frac{1}{N_0 + 1}$ ($N_0 = \max{N, 2qN}$)
Nửa tuyến tính trừu tượng $\frac{du}{dt} = A(t)u + f(t, u)$ $\mathbb{R} = (-\infty, +\infty)$ Nhị phân mũ trên $\mathbb{R}$ $\phi$-Lipschitz, $\phi \in E_{\mathbb{R}}$, $N\phi$ là $(\frac{\epsilon}{N}, \omega)$-phù hợp Đa tạp không ổn định $U$ và hút cấp mũ toàn cục $k < \frac{1}{N + 1}$
Vi phân hàm đạo hàm riêng $\frac{du}{dt} = A(t)u(t) + f(t, u_t)$ $\mathbb{R}_+ = [0, +\infty)$ Nhị phân mũ trên $X$ (chiếu $P(t)$) $\phi$-Lipschitz trên $C$, $\phi \in E$ Đa tạp ổn định $S$ trên không gian pha $C$ $k < \frac{1}{1 + N e^{\nu r}}$
Vi phân hàm đạo hàm riêng $\frac{du}{dt} = A(t)u(t) + f(t, u_t)$ $\mathbb{R}_+ = [0, +\infty)$ Tam phân mũ trên $X$ $\phi$-Lipschitz trên $C$, $\phi \in E$ Đa tạp tâm ổn định trên không gian pha $C$ $k < \frac{1}{1 + N_0 e^{\nu r}}$
Vi phân hàm đạo hàm riêng $\frac{du}{dt} = A(t)u(t) + f(t, u_t)$ $\mathbb{R} = (-\infty, +\infty)$ Nhị phân mũ trên $\mathbb{R}$ $\phi$-Lipschitz trên $C$, $\phi \in E_{\mathbb{R}}$ Đa tạp không ổn định trên không gian pha $C$ $k < \frac{1}{1 + N e^{\nu r}}$

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à ứng dụng thực tiễn như sau:

  1. Về mặt lý luận toán học:

    • Mở rộng điều kiện của phần phi tuyến: Thay thế điều kiện Lipschitz với hằng số Lipschitz bé cổ điển bằng điều kiện $\phi$-Lipschitz với hệ số Lipschitz $\phi(t)$ thuộc không gian hàm Banach chấp nhận được. Điều kiện này chỉ đòi hỏi tích phân cục bộ trên một đoạn đơn vị $\sup_t \int_t^{t+1} \phi(\tau) d\tau$ đủ nhỏ, cho phép hàm $\phi(t)$ có thể nhận giá trị lớn tùy ý tại các thời điểm rời rạc.
    • Hoàn thiện lý thuyết đa tạp cho phương trình nửa tuyến tính: Thiết lập điều kiện đủ cho sự tồn tại của đa tạp tâm ổn định khi phần tuyến tính có tam phân mũ trên nửa trục $\mathbb{R}_+$; chứng minh sự tồn tại và tính chất hút cấp mũ của đa tạp không ổn định trên toàn trục $\mathbb{R}$ thông qua việc áp dụng định lý bất đẳng thức nón và khái niệm hàm $(\epsilon, \omega)$-phù hợp.
    • Giải quyết bài toán chênh lệch không gian pha ở phương trình vi phân hàm: Luận án khắc phục sự bế tắc của phương pháp biến đổi đồ thị đối với phương trình vi phân hàm đạo hàm riêng bằng cách kết hợp phương pháp Lyapunov-Perron với việc xây dựng thành công họ toán tử chiếu $\widetilde{P}(t)$ trên không gian pha các hàm liên tục $C([-r, 0], X)$. Qua đó, luận án thiết lập đầy đủ điều kiện tồn tại cho đa tạp ổn định, đa tạp tâm ổn định và đa tạp không ổn định của lớp phương trình này.

  2. Về mặt ứng dụng và kiến nghị giải pháp:

    • Cung cấp tiêu chuẩn giải tích cụ thể để kiểm tra tính ổn định và dáng điệu tiệm cận nghiệm cho các hệ động lực nảy sinh từ các mô hình phản ứng - khuếch tán hoặc tương tác - khuếch tán có số hạng nguồn vật chất biến động mạnh theo thời gian.
    • Chỉ ra khả năng quy giảm số chiều: Khi các đa tạp tích phân tồn tại và có tính hút, các nhà nghiên cứu có thể thu hẹp không gian khảo sát từ toàn bộ không gian pha vô hạn chiều về các đa tạp tích phân tương ứng để phân tích tính chất nghiệm của hệ thống.

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

Căn cứ vào phạm vi nghiên cứu và phần đánh giá tại kết luận Chương 2, luận án chỉ rõ các hạn chế và hướng phát triển:

  • Về hạn chế: Các định lý về sự tồn tại đa tạp được phát biểu dưới dạng điều kiện đủ trừu tượng trong không gian Banach vô hạn chiều (phụ thuộc vào chuẩn của các phép chiếu, hằng số nhị phân $N, \nu$, và cận chuẩn của $\phi$ trong không gian chấp nhận được). Do đó, việc tính toán chính xác hoặc kiểm tra các điều kiện này trên một mô hình phương trình đạo hàm riêng cụ thể trong thực tế đòi hỏi khối lượng ước lượng giải tích rất lớn và không dễ dàng thực hiện.
  • Về phạm vi trễ: Nghiên cứu trong luận án mới chỉ xử lý bài toán phương trình vi phân hàm với độ trễ hữu hạn trên đoạn $[-r, 0]$ và các họ tiến hoá có quy luật suy giảm cấp mũ (nhị phân mũ hoặc tam phân mũ).
  • Hướng nghiên cứu tiếp:
    1. Mở rộng khung lý thuyết sang các lớp phương trình vi phân hàm có độ trễ vô hạn hoặc độ trễ phụ thuộc vào trạng thái.
    2. Nghiên cứu sự tồn tại của các đa tạp tích phân khi phần tuyến tính sinh ra các họ tiến hoá có dáng điệu tiệm cận suy giảm phi mũ (chẳng hạn như nhị phân đa phân thức hoặc nhị phân không đều).

Giá trị tham khảo

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

  • Giảng viên, nghiên cứu sinh và học viên cao học thuộc chuyên ngành Toán giải tích, Phương trình vi phân và tích phân, Giải tích hàm, và Hệ động lực vô hạn chiều.
  • Các nhà toán học ứng dụng làm việc với các hệ phương trình đạo hàm riêng mô tả quá trình phản ứng - khuếch tán trong vật lý, hóa học và sinh học.
  • Các phần có giá trị tham khảo kỹ thuật nổi bật gồm:
    • Chương 1: Kỹ thuật xử lý không gian hàm Banach chấp nhận được $E$ và các bất đẳng thức nón trong không gian Banach.
    • Chương 2: Phương pháp dịch chuyển phổ để biến đổi bài toán tam phân mũ về nhị phân mũ và kỹ thuật chứng minh tính hút cấp mũ của đa tạp không ổn định.
    • Chương 3: Kỹ thuật xây dựng toán tử chiếu trên không gian hàm liên tục $C([-r, 0], X)$ để giải quyết bài toán sai lệch không gian pha trong phương trình hàm đạo hàm riêng.

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

1. Điều kiện phi-Lipschitz trong luận án khác với điều kiện Lipschitz cổ điển như thế nào?

Trong lý thuyết cổ điển, hàm phi tuyến $f$ phải thỏa mãn $|f(t, x_1) - f(t, x_2)| \le q|x_1 - x_2|$ với $q$ là một hằng số cố định đủ nhỏ. Trong luận án, điều kiện này được thay bằng $|f(t, x_1) - f(t, x_2)| \le \phi(t)|x_1 - x_2|$, trong đó $\phi(t)$ là hàm không âm thuộc không gian hàm Banach chấp nhận được $E$. Điều kiện đặt lên $\phi$ chỉ yêu cầu chuẩn tích phân cục bộ $\sup_t \int_t^{t+1} \phi(\tau) d\tau$ đủ nhỏ. Do đó, $\phi(t)$ không cần là hàm hằng và có thể nhận giá trị rất lớn tại các thời điểm rời rạc.

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 toán tử tuyến tính $A(t)$ và số hạng phi tuyến $f$ phải tác động trên cùng một không gian pha. Đối với phương trình vi phân hàm đạo hàm riêng $\frac{du}{dt} = A(t)u(t) + f(t, u_t)$, hàm $f$ xác định trên không gian các hàm trễ $C([-r, 0], X)$, trong khi họ tiến hoá sinh bởi $A(t)$ lại tác động trên không gian Banach $X$. Do sự sai khác về không gian pha này, phép biến đổi đồ thị trực tiếp không thể thiết lập được.

3. Tác giả đã giải quyết rào cản sai lệch không gian pha trong Chương 3 bằng cách nào?

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

4. Kỹ thuật dịch chuyển phổ trong Chương 2 được thực hiện ra sao để xử lý tam phân mũ?

Khi họ tiến hoá $(U(t, s))$ có tam phân mũ với ba toán tử chiếu $P_1(t), P_2(t), P_3(t)$ và các số mũ $\alpha < \beta$, tác giả nhân thêm thừa số suy giảm mũ để tạo ra họ tiến hoá dịch chuyển $\widetilde{U}(t, s) = e^{-\gamma(t - s)}U(t, s)$ với $\gamma = \frac{\alpha + \beta}{2}$. Kỹ thuật này làm dịch chuyển phổ, biến đổi bài toán tam phân mũ ban đầu thành bài toán nhị phân mũ tương đương với hai toán tử chiếu $P(t) = P_1(t) + P_3(t)$ và $Q(t) = P_2(t)$, từ đó áp dụng được kỹ thuật Lyapunov-Perron để chứng minh sự tồn tại của đa tạp tâm ổn định.

5. Ví dụ phương trình phản ứng - khuếch tán trong Chương 2 minh họa điều gì cho lý thuyết của luận án?

Ví dụ này xét phương trình $w_t = w_{xx} + n^2 w + \phi(t)\cos(w)$ trên $[0, \pi]$ với hàm $\phi(t)$ đạt các đỉnh nhọn có giá trị bằng $m$ trên các khoảng thời gian có độ dài co hẹp $2^{-(m+c)}$. Ví dụ chứng minh rằng dù biên độ dao động tức thời của $\phi(t)$ tiến ra vô cùng (không thể áp dụng điều kiện Lipschitz hằng số nhỏ cổ điển), chuẩn của hàm trong không gian $\mathcal{M}(\mathbb{R}_+)$ vẫn bị chặn bởi $\frac{1}{2^{c-1}}$. Khi chọn $c$ đủ lớn, tích phân này đủ nhỏ để thỏa mãn điều kiện tồn tại đa tạp tâm ổn định theo định lý của luận án.

Kết luận

Luận án của nghiên cứu sinh 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 và tính chất hút 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 hoá trừu tượng trong không gian Banach vô hạn chiều. Điểm mấu chốt của công trình là việc tổng quát hóa điều kiện của số hạng phi tuyến sang lớp hàm $\phi$-Lipschitz trên các không gian hàm Banach chấp nhận được, khắc phục hạn chế của giả thiết Lipschitz hằng số bé truyền thống. Đồng thời, luận án đã đóng góp giải pháp kỹ thuật hiệu quả thông qua việc xây dựng hệ toán tử chiếu trên không gian hàm trễ, mở ra hướng tiếp cận chặt chẽ bằng phương pháp Lyapunov-Perron cho các phương trình vi phân hàm đạo hàm riêng.