Tổng quan luận án

Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Chí Liêm với đề tài "Tính ổn định của phương trình động lực ẩn trên thang thời gian" đượ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 năm 2012, dưới sự hướng dẫn khoa học của PGS. TSKH. Vũ Hoàng Linh, thuộc chuyên ngành Toán Giải tích (mã số: 62 46 01 01).

Tính cấp thiết và khoảng trống nghiên cứu

Lý thuyết về thang thời gian (time scale) được Stefan Hilger giới thiệu năm 1988 nhằm mục đích thống nhất giải tích liên tục và rời rạc, tránh việc một kết quả toán học phải chứng minh lặp lại hai lần cho phương trình vi phân và phương trình sai phân. Thang thời gian chứa đựng cấu trúc đa dạng, cho phép mô hình hóa các quá trình lai (hybrid) kết hợp giữa biến thiên liên tục và bước nhảy rời rạc trong các lĩnh vực sinh học, kỹ thuật và vật lý như mô hình mật độ côn trùng, hệ thần kinh, truyền nhiệt, cơ học lượng tử và dịch tễ học.

Song song với sự phát triển của hệ động lực thường, lý thuyết phương trình vi phân đại số (Differential-Algebraic Equations - DAE) dạng $f(t, x'(t), x(t)) = 0$ và dạng tuyến tính hóa $A_t x'(t) = B_t x(t) + q_t$ đã được ứng dụng trong nghiên cứu mạch điện, phản ứng hóa học, giao thông và robot. Cùng với đó, phương trình sai phân đại số $A_n x(n+1) = B_n x(n) + q_n$ xuất hiện trong mô hình kinh tế động lực Leontiev, mô hình tăng trưởng dân số Leslie và các bài toán điều khiển tối ưu suy biến. Khi rời rạc hóa phương trình vi phân đại số có chỉ số 1 bằng phương pháp Euler, phương trình thu được là phương trình sai phân đại số có chỉ số 1.

Tuy nhiên, khi tổng quát hóa lên thang thời gian $\mathbb{T}$ dưới dạng phương trình động lực ẩn $A_t x^\Delta(t) = B_t x(t) + q_t$ hoặc dạng phi tuyến tổng quát $f(t, x^\Delta(t), x(t)) = 0$, việc mở rộng gặp trở ngại do tính không thuần nhất của các bước nhảy trên thang thời gian tổng quát. Các toán tử bước nhảy tiến $\sigma(t)$ và bước nhảy lùi $\rho(t)$ xuất hiện làm phức tạp hóa các phép toán vi phân, hợp thành của chúng không đồng nhất và toán tử $\sigma$ nhìn chung không khả vi. Khoảng trống nghiên cứu đặt ra là: Liệu các kết quả đã biết về bài toán Cauchy và tính ổn định đối với phương trình vi phân đại số và phương trình sai phân đại số có thể được mở rộng và thống nhất cho phương trình động lực ẩn trên thang thời gian hay không. Luận án được xây dựng nhằm giải quyết câu hỏi nghiên cứu này.

Mục tiêu và câu hỏi nghiên cứu

Mục tiêu tổng quát của luận án là giải quyết vấn đề tồn tại, duy nhất nghiệm và đánh giá tính ổn định của một lớp phương trình động lực ẩn trên thang thời gian. Cụ thể, tác giả đặt ra hai nhóm nhiệm vụ nghiên cứu:

  1. Nghiên cứu cách giải bài toán Cauchy cho các phương trình động lực ẩn tuyến tính chỉ số 1, phương trình tuyến tính hệ số hằng và các lớp phương trình động lực ẩn phi tuyến (nửa tuyến tính với nhiễu Lipschitz và tựa tuyến tính) trên thang thời gian.
  2. Nghiên cứu tính ổn định của phương trình động lực ẩn trên thang thời gian thông qua phương pháp hàm Lyapunov, xác định bán kính ổn định của hệ tuyến tính hệ số hằng dưới các cấu trúc nhiễu, cùng các phép biến đổi Lyapunov và định lý Floquet cho hệ tuyến tính trên thang thời gian tuần hoàn.

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

  • Đối tượng nghiên cứu: Phương trình động lực ẩn tuyến tính và phi tuyến cấp một trên thang thời gian, trọng tâm là các phương trình có ma trận hệ số suy biến thỏa mãn điều kiện chỉ số 1.
  • Phạm vi không gian và thời gian: Không gian vector hữu hạn chiều $\mathbb{R}^m$ và $\mathbb{C}^m$; thang thời gian $\mathbb{T}$ là tập con đóng tùy ý khác rỗng của $\mathbb{R}$ với topo cảm sinh từ topo tiêu chuẩn của $\mathbb{R}$. Trong các khảo sát về tính ổn định mũ, phạm vi nghiên cứu tập trung vào các thang thời gian có hàm hạt $\mu(t)$ bị chặn và thang thời gian tuần hoàn.

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

Trong phần tổng quan tài liệu, luận án hệ thống hóa các mốc phát triển chính của lý thuyết giải tích trên thang thời gian và lý thuyết phương trình vi sai/sai phân đại số:

Hướng nghiên cứu Tác giả và công trình tiêu biểu Nội dung trích dẫn trong luận án
Khởi xướng giải tích thang thời gian Stefan Hilger (1988), hướng dẫn bởi Bernd Aulbach [49] Đặt nền móng lý thuyết thang thời gian nhằm thống nhất giải tích liên tục và rời rạc trong luận án tiến sĩ.
Giáo trình và cơ sở giải tích thang thời gian Martin Bohner và Allan Peterson (2001, 2003) [21, 22] Trình bày toàn diện khái niệm $\Delta$-đạo hàm, $\Delta$-tích phân, hàm rd-liên tục, hàm mũ suy rộng và phương trình động lực.
Độ đo và tích phân Lebesgue trên thang thời gian A. Cabada và D. R. Vivero (2006) [25] Thiết lập mối quan hệ giữa độ đo Lebesgue trên thang thời gian và độ đo Lebesgue trên $\mathbb{R}$.
Ổn định mũ của hệ động lực thường trên thang thời gian J. J. DaCunha (2005) [16], C. Pötzsche (2003) [73] Khảo sát tính ổn định mũ của phương trình động lực tuyến tính hệ số hằng qua phổ ma trận và hàm mũ thông thường.
Thang thời gian tuần hoàn E. R. Kaufmann và Y. N. Raffoul (2006) [31], C. Pötzsche (2009) [36] Khái niệm thang thời gian tuần hoàn; chứng minh tính ổn định mũ tương đương với ổn định mũ đều trên thang tuần hoàn.
Phương trình vi phân đại số (DAE) R. März (1989, 1991) [46] Đưa ra khái niệm chỉ số, kỹ thuật tách phương trình DAE thành hệ vi phân thường và quan hệ đại số để giải bài toán Cauchy.
Phương trình sai phân đại số tuyến tính và phi tuyến S. L. Campbell (1980, 1982) [26, 58], Vũ Hoàng Linh và Nguyễn Hữu Du (1998, 2001) [9, 11, 64] Giới thiệu chỉ số của phương trình sai phân ẩn tuyến tính và phi tuyến [8], giải bài toán giá trị ban đầu và giá trị biên nhiều điểm.

Khoảng trống luận án lựa chọn giải quyết

Phần lớn các nghiên cứu trước đó chỉ xét phương trình động lực thường trên thang thời gian (khi ma trận hệ số $A_t$ khả nghịch), hoặc xét phương trình đại số vi phân/sai phân trên hai trường hợp riêng biệt là $\mathbb{R}$ hoặc $\mathbb{Z}$. Khi $A_t$ suy biến tại một số hoặc mọi điểm trên thang thời gian tổng quát, bài toán Cauchy trở thành bài toán không đặt chỉnh (ill-posed). Luận án giải quyết khoảng trống này bằng cách đưa ra định nghĩa chỉ số 1 cho phương trình động lực ẩn trên thang thời gian, xây dựng toán tử chiếu chuẩn tắc để tách hệ và thiết lập công thức nghiệm giải tích, đồng thời giải quyết mối quan hệ tương đương giữa các định nghĩa ổn định mũ trên thang thời gian có hàm hạt bị chặn.

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

Cơ sở lý thuyết và các khái niệm sử dụng

Luận án vận dụng hệ thống định nghĩa và công cụ giải tích trên thang thời gian $\mathbb{T}$:

  • Toán tử bước nhảy và hàm hạt: Toán tử nhảy tiến $\sigma(t) := \inf{s \in \mathbb{T} : s > t}$, toán tử nhảy lùi $\rho(t) := \sup{s \in \mathbb{T} : s < t}$. Hàm hạt $\mu(t) := \sigma(t) - t \ge 0$. Điểm $t$ được phân loại thành cô lập phải ($\sigma(t) > t$), trù mật phải ($\sigma(t) = t$), cô lập trái ($\rho(t) < t$), trù mật trái ($\rho(t) = t$). Tập $\mathbb{T}^k$ bằng $\mathbb{T} \setminus {M}$ nếu $\mathbb{T}$ có phần tử lớn nhất $M$ là điểm cô lập trái, và bằng $\mathbb{T}$ trong các trường hợp còn lại.
  • Tính khả vi và khả tích: $\Delta$-đạo hàm thỏa mãn $f(\sigma(t)) = f(t) + \mu(t) f^\Delta(t)$. Hàm số $f$ được gọi là rd-liên tục ($f \in C_{rd}$) nếu liên tục tại các điểm trù mật phải và có giới hạn trái hữu hạn tại các điểm trù mật trái.
  • Hàm hồi quy và hàm mũ suy rộng: Tập hàm hồi quy $\mathcal{R} = {p: \mathbb{T} \to \mathbb{K} \mid 1 + \mu(t)p(t) \ne 0, \forall t \in \mathbb{T}^k}$ cùng phép toán $(p \oplus q)(t) := p(t) + q(t) + \mu(t)p(t)q(t)$ tạo thành nhóm Abel. Phép biến đổi trụ $\xi_h(z) = \frac{\text{Ln}(1+hz)}{h}$ (với $h > 0$) và $\xi_0(z) = z$ được dùng để xây dựng hàm mũ $e_p(t, t_0) := \exp\left(\int_{t_0}^t \xi_{\mu(s)}(p(s)) \Delta s\right)$.
  • Không gian hàm nghiệm: Luận án định nghĩa không gian hàm $C_N^1(J^k, \mathbb{R}^m) := {x(\cdot) \in C_{rd}(J^k, \mathbb{R}^m) : P_{\rho(t)} x(t) \text{ khả vi tại mỗi } t \in J^k}$.

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

Luận án sử dụng phương pháp nghiên cứu thuần túy định tính và giải tích toán học lý thuyết:

  • Phương pháp chiếu ma trận và phân rã không gian: Xây dựng ma trận $G_t = A_t - B_t T_t Q_t$ và toán tử chiếu chuẩn tắc $P_t^{can}, Q_t^{can}$ để tách phương trình động lực ẩn thành một phương trình động lực thường cho thành phần vi phân $u(t) = P_{\rho(t)} x(t)$ và một hệ thức đại số cho thành phần $v(t) = Q_{\rho(t)} x(t)$.
  • Phương pháp đại số tuyến tính: Áp dụng phân tích giá trị kỳ dị (SVD) của ma trận $A_t = U_t \Sigma_t V_t^\top$ để xây dựng các toán tử chiếu và đẳng cấu, cùng khai triển chuẩn tắc Kronecker của cặp ma trận chính quy ${A, B}$ trong trường hợp hệ số hằng.
  • Phương pháp giải tích hàm và điểm bất động: Sử dụng nguyên lý ánh xạ co Banach trên không gian metric đầy đủ đối với phương trình động lực ẩn nửa tuyến tính có thành phần nhiễu thỏa mãn điều kiện Lipschitz.
  • Phương pháp hàm Lyapunov: Thiết lập các đánh giá đạo hàm dọc theo nghiệm của phương trình động lực ẩn trên thang thời gian để kết luận về tính ổn định, ổn định tiệm cận và ổn định mũ.

Nguồn tư liệu và dữ liệu

Nguồn tư liệu của luận án là các định lý, công thức và dữ kiện toán học từ các tài liệu chuyên khảo quốc tế ([21, 22, 46, 50]), kết hợp với kết quả nghiên cứu độc lập của chính tác giả đã công bố trong 3 bài báo khoa học ([41, 43, 60]), 2 bài báo gửi đăng ([42, 62]), cùng các báo cáo chuyên đề tại Bộ môn Giải tích, Bộ môn Toán Sinh (ĐHKHTN - ĐHQGHN) và Hội nghị Toán học toàn quốc lần thứ 7 (Quy Nhơn, 2008).

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 giải tích cơ bản trên thang thời gian, $\Delta$-đạo hàm, $\Delta$-tích phân Riemann và Lebesgue, lớp hàm chính quy, rd-liên tục, tính hồi quy và nghiệm của phương trình tuyến tính thông qua toán tử Cauchy $\Phi_A(t, t_0)$.

Phần trọng tâm của chương tập trung vào tính ổn định mũ của phương trình vi phân thường $x^\Delta = f(t, x)$ và phương trình tuyến tính hệ số hằng $x^\Delta = Ax$. Hai định nghĩa ổn định mũ được so sánh:

  • Định nghĩa 1.1 (dựa vào hàm mũ thang thời gian): $|x(t; t_0, x_0)| \le N |x_0| e_{-\alpha}(t, t_0)$ với $-\alpha \in \mathcal{R}^+$.
  • Định nghĩa 1.2 (dựa vào hàm mũ thông thường): $|x(t; t_0, x_0)| \le N |x_0| e^{-\alpha(t - t_0)}$.

Tác giả đã chứng minh kết quả quan trọng (đã công bố trong [60]): Nếu thang thời gian có hàm hạt bị chặn ($\sup_{t \in \mathbb{T}} \mu(t) < \infty$), thì Định nghĩa 1.1 và Định nghĩa 1.2 là hoàn toàn tương đương.

Đối với phương trình tự trị tuyến tính $x^\Delta = Ax$, tác giả khảo sát tập phổ $\sigma(A)$ và hai tập con trên mặt phẳng phức: $$S_{\mathbb{C}}(\mathbb{T}) := \left{\lambda \in \mathbb{C} : \limsup_{T \to \infty} \frac{1}{T - t_0} \int_{t_0}^T \lim_{s \searrow \mu(t)} \frac{\ln |1 + s\lambda|}{s} \Delta t < 0\right}$$ và $S_{\mathbb{R}}(\mathbb{T}) := {\lambda \in \mathbb{R} : \forall T \in \mathbb{T}, \exists t \in \mathbb{T}, t > T \text{ sao cho } 1 + \mu(t)\lambda = 0}$. Miền ổn định mũ là $\mathcal{S}(\mathbb{T}) = S_{\mathbb{C}}(\mathbb{T}) \cup S_{\mathbb{R}}(\mathbb{T})$, trong khi miền ổn định mũ đều ký hiệu là $\mathcal{S}$. Luận án khẳng định định lý: $\mathcal{S}$ là tập mở trong $\mathbb{C}$. Ví dụ cụ thể với ma trận $A = \begin{bmatrix} -5 & -4 \ 2 & 1 \end{bmatrix}$ có giá trị riêng $\lambda_1 = -1, \lambda_2 = -3$ cho thấy phương trình ổn định mũ trên $\mathbb{R}$ và $\frac{1}{2}\mathbb{Z}$, nhưng không ổn định mũ trên $2\mathbb{Z}$ do điều kiện $1 + \mu \lambda = 0$ vi phạm tính hồi quy.

Chương 2: Bài toán Cauchy cho phương trình động lực ẩn trên thang thời gian

Chương 2 trình bày cấu trúc và cách giải bài toán Cauchy cho phương trình động lực ẩn tuyến tính có dạng: $$A_t x^\Delta(t) = B_t x(t) + q_t, \quad t \in \mathbb{T}^k$$ với điều kiện ban đầu suy rộng $P_{\rho(t_0)}(x(t_0) - x_0) = 0$.

Tác giả đưa ra định nghĩa chỉ số 1: Phương trình được gọi là có chỉ số 1 nếu với mọi $t \in \mathbb{T}^k$:

  1. $\text{rank } A_t = r = \text{const} \quad (1 \le r \le m - 1)$;
  2. $\ker A_{\rho(t)} \cap S_t = {0}$, trong đó $S_t = {x \in \mathbb{R}^m : B_t x \in \text{im } A_t}$.

Bổ đề 2.1 chứng minh điều kiện chỉ số 1 tương đương với việc ma trận $G_t = A_t - B_t T_t Q_t$ không suy biến, hoặc $\mathbb{R}^m = \ker A_{\rho(t)} \oplus S_t$. Bổ đề 2.2 xác lập các hệ thức đại số cơ bản của toán tử chiếu chuẩn tắc $Q_t^{can} = -T_t Q_t G_t^{-1} B_t$ và $P_t^{can} = I - Q_t^{can}$. Phương trình ban đầu được phân tích thành:

  • Phương trình động lực thường cho $u(t) = P_{\rho(t)} x(t)$: $$u^\Delta = (P_{\rho(t)})^\Delta (I + T_t Q_t G_t^{-1} B_t)u + P_t G_t^{-1} B_t u + P_t G_t^{-1} q_t$$
  • Hệ thức đại số cho $v(t) = Q_{\rho(t)} x(t)$: $$v = T_t Q_t G_t^{-1} B_t u + T_t Q_t G_t^{-1} q_t$$

Nghiệm duy nhất được thiết lập dưới dạng công thức biến thiên hằng số: $$x(t) = \Phi(t, t_0) P_{\rho(t_0)} x_0 + \int_{t_0}^t \Phi(t, \sigma(s)) P_s G_s^{-1} q_s \Delta s + T_t Q_t G_t^{-1} q_t$$ với toán tử Cauchy $\Phi(t, t_0) = P_t^{can} \Phi_0(t, t_0) P_{\rho(t_0)}$.

Đối với hệ số hằng $A x^\Delta = B x$, tác giả sử dụng khai triển chuẩn tắc Kronecker $A = W \text{diag}(I_r, U) T^{-1}$ và $B = W \text{diag}(B_1, I_{m-r}) T^{-1}$ (với $U$ lũy linh). Phương trình có chỉ số 1 khi và chỉ khi cặp ${A, B}$ chính quy và chỉ số $\text{ind}{A, B} = 1$. Khi đó, nghiệm quy về giải phương trình vi phân thường kích thước $r \times r$: $y^\Delta = B_1 y$.

Đối với phương trình nửa tuyến tính $A_t x^\Delta = B_t x + f(t, x)$, dưới giả thiết phần tuyến tính có chỉ số 1, $f(t, x)$ liên tục Lipschitz với hằng số $L_t$ thỏa mãn $\gamma_t = L_t |T_t Q_t G_t^{-1}| < 1$, tác giả chứng minh ánh xạ đại số là một ánh xạ co, dẫn tới sự tồn tại hàm $g_t(u)$ Lipschitz. Áp dụng nguyên lý điểm bất động và định lý tồn tại nghiệm toàn thể cho phương trình động lực thường dẫn xuất, tác giả chứng minh bài toán Cauchy có nghiệm duy nhất $x(t) = u(t) + g_t(u(t))$. Đồng thời, tác giả chứng minh đa tạp nghiệm $L_t$ trùng với không gian đại số $\Omega_t = {x \in \mathbb{R}^m : B_t x + f(t, x) \in \text{im } A_t}$.

Chương 3: Tính ổn định của phương trình động lực ẩn trên thang thời gian

Nội dung Chương 3 gồm hai nhánh nghiên cứu chính:

  1. Phương pháp hàm Lyapunov: Xây dựng định nghĩa ổn định, ổn định tiệm cận và ổn định mũ cho nghiệm của phương trình động lực ẩn thông qua chuẩn của thành phần chiếu $P_{\rho(t)} x(t)$. Tác giả thiết lập định lý ổn định bằng cách xây dựng hàm Lyapunov $V(t, x)$ xác định trên thang thời gian và đánh giá đạo hàm $\Delta$ của $V$ dọc theo quỹ đạo nghiệm của phương trình vi phân thường dẫn xuất. Phương pháp được áp dụng cụ thể cho phương trình ẩn có phần tuyến tính là hệ số hằng.
  2. Bán kính ổn định: Nghiên cứu phương trình động lực ẩn tuyến tính hệ số hằng $A x^\Delta = B x$ chịu các nhiễu cấu trúc dạng $B \to B + D \Delta C$ hoặc $A \to A + D \Delta C$. Tác giả xác định phổ của cặp ma trận ${A, B}$ đối với miền ổn định $\mathcal{S}(\mathbb{T})$, đưa ra công thức xác định bán kính ổn định phức $r_{\mathbb{C}}$ và bán kính ổn định thực $r_{\mathbb{R}}$. Luận án chứng minh các điều kiện đủ để bán kính ổn định là dương và các trường hợp cấu trúc đặc biệt mà tại đó bán kính ổn định thực bằng bán kính ổn định phức ($r_{\mathbb{R}} = r_{\mathbb{C}}$).

Chương 4: Các phép biến đổi Lyapunov và định lý Floquet cho phương trình động lực ẩn tuyến tính

Chương 4 mở rộng lý thuyết Floquet cổ điển sang phương trình động lực ẩn tuyến tính trên thang thời gian tuần hoàn $\mathbb{T}$ (thang thời gian tồn tại chu kỳ $\omega > 0$ sao cho $t \pm \omega \in \mathbb{T}$ với mọi $t \in \mathbb{T}$):

  • Phép biến đổi Lyapunov: Định nghĩa lớp các phép biến đổi khả nghịch, trơn $x(t) = L(t) y(t)$ biến đổi một phương trình động lực ẩn tuần hoàn thành một phương trình động lực ẩn tương đương mà không làm thay đổi tính ổn định tiệm cận hay ổn định mũ của hệ.
  • Định lý Floquet cho hệ ẩn: Chứng minh toán tử Cauchy $\Phi(t, t_0)$ của phương trình động lực ẩn tuyến tính thuần nhất hệ số tuần hoàn có thể biểu diễn dưới dạng tích của một ma trận tuần hoàn (đóng vai trò là phép biến đổi Lyapunov) và một hàm mũ ma trận của hệ số hằng. Kết quả này cho phép quy việc khảo sát tính ổn định của hệ động lực ẩn tuần hoàn phức tạp về việc khảo sát phổ của một hệ ẩn có hệ số hằng tương ứng.

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

Luận án đã đạt được các kết quả lý thuyết mới sau đây đối với lớp phương trình động lực ẩn trên thang thời gian:

Đóng góp về mặt lý luận

  1. Thiết lập khái niệm chỉ số 1 cho phương trình động lực ẩn: Mở rộng thành công khái niệm chỉ số 1 từ lý thuyết phương trình vi phân đại số (DAE) và sai phân đại số sang phương trình động lực ẩn trên thang thời gian tổng quát. Chứng minh tính tương đương giữa điều kiện chỉ số 1 với tính không suy biến của ma trận $G_t = A_t - B_t T_t Q_t$ và phân rã không gian $\mathbb{R}^m = \ker A_{\rho(t)} \oplus S_t$.
  2. Công thức giải tích tường minh cho bài toán Cauchy: Xây dựng toán tử chiếu chuẩn tắc $P_t^{can}$ và toán tử Cauchy $\Phi(t, t_0)$, từ đó thiết lập công thức biến thiên hằng số cho nghiệm duy nhất của bài toán giá trị ban đầu cho cả phương trình tuyến tính hệ số biến thiên và hệ số hằng (thông qua khai triển chuẩn tắc Kronecker).
  3. Mở rộng cho lớp phương trình phi tuyến: Giải quyết trọn vẹn sự tồn tại và duy nhất nghiệm của bài toán Cauchy cho phương trình nửa tuyến tính có nhiễu Lipschitz thông qua nguyên lý ánh xạ co Banach, đồng thời chứng minh cấu trúc không gian nghiệm $L_t = \Omega_t$.
  4. Làm sáng tỏ lý thuyết ổn định mũ: Chứng minh định lý về sự tương đương giữa hai định nghĩa ổn định mũ trên thang thời gian có hàm hạt bị chặn; chứng minh miền ổn định mũ đều $\mathcal{S}$ là tập mở trong $\mathbb{C}$.
  5. Phát triển lý thuyết ổn định và định lý Floquet cho hệ ẩn: Thiết lập phương pháp hàm Lyapunov cho hệ ẩn, đưa ra các tiêu chuẩn xác định bán kính ổn định thực và phức, và mở rộng định lý Floquet cho phương trình động lực ẩn trên thang thời gian tuần hoàn.

Kiến nghị và định hướng ứng dụng

Tác giả đề xuất việc ứng dụng khung phân tích này để giải quyết các bài toán mô phỏng mạch điện phi tuyến có thành phần chuyển mạch rời rạc, các mô hình kinh tế vĩ mô có yếu tố trễ hoặc bước nhảy thời gian, và các bài toán điều khiển tối ưu suy biến liên tục - rời rạc kết hợp.

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

Hạn chế được chỉ ra trong văn bản

  • Luận án mới chỉ giới hạn khảo sát ở lớp phương trình động lực ẩn có chỉ số 1. Các phương trình có chỉ số cao hơn (chỉ số lớn hơn hoặc bằng 2) chưa được nghiên cứu do cấu trúc suy biến sâu đòi hỏi đạo hàm bậc cao của các toán tử chiếu.
  • Các định lý về nghiệm và tính ổn định đòi hỏi các điều kiện trơn khá khắt khe đối với hạt nhân của ma trận hệ số, cụ thể là $\ker A_{\rho(t)}$ phải trơn (tồn tại phép chiếu $Q_t$ sao cho $Q_{\rho(t)}$ khả vi rd-liên tục).
  • Trong bài toán ổn định mũ và định lý Floquet, kết quả phụ thuộc chặt chẽ vào giả thiết thang thời gian có hàm hạt $\mu(t)$ bị chặn hoặc thang thời gian phải có tính chất tuần hoàn.

Hướng nghiên cứu tiếp theo

Văn bản luận án đề cập các hướng nghiên cứu mở rộng bao gồm:

  1. Nghiên cứu phương trình động lực ẩn trên thang thời gian có chỉ số cao (chỉ số lớn hơn 1).
  2. Nghiên cứu bài toán giá trị biên và bài toán điều khiển tối ưu suy biến cho hệ động lực ẩn trên thang thời gian.
  3. Khảo sát phương trình động lực ẩn ngẫu nhiên hoặc phương trình động lực ẩn có trễ trên thang thời gian.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo có giá trị trong các hướng nghiên cứu cụ thể:

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán Giải tích, Toán ứng dụng: Cung cấp tài liệu hệ thống về kỹ thuật xử lý giải tích trên thang thời gian, phương pháp giải phương trình vi phân đại số và kỹ thuật phân tích ma trận suy biến.
  • Phần nội dung đáng tham khảo nhất:
    • Kỹ thuật phân tách hệ động lực ẩn thành hệ phương trình vi phân thường và quan hệ đại số ở Chương 2;
    • Chứng minh sự tương đương giữa hai định nghĩa ổn định mũ trên thang thời gian có hàm hạt bị chặn ở Chương 1;
    • Phương pháp xây dựng toán tử Cauchy và công thức biến thiên hằng số cho bài toán Cauchy ở Chương 2;
    • Định lý Floquet cho hệ ẩn tuần hoàn ở Chương 4.
  • Đối với các nhà khoa học trong lĩnh vực kỹ thuật điều khiển và mô hình hóa: Cung cấp công cụ toán học nền tảng để phân tích tính ổn định của các hệ thống lai (hybrid systems), mạch điện tử suy biến và các quá trình sinh thái có chu kỳ mùa vụ.

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

1. Khái niệm chỉ số 1 của phương trình động lực ẩn tuyến tính trên thang thời gian được xác định bằng điều kiện toán học nào?

Phương trình động lực ẩn tuyến tính $A_t x^\Delta(t) = B_t x(t) + q_t$ được gọi là có chỉ số 1 nếu với mọi $t \in \mathbb{T}^k$, hạng của ma trận $A_t$ không đổi ($\text{rank } A_t = r$ với $1 \le r \le m-1$) và giao của hạt nhân lùi với không gian đại số bằng không: $\ker A_{\rho(t)} \cap S_t = {0}$, trong đó $S_t = {x \in \mathbb{R}^m : B_t x \in \text{im } A_t}$. Điều kiện này tương đương với việc ma trận $G_t = A_t - B_t T_t Q_t$ không suy biến, hoặc không gian toàn phần được phân rã thành tổng trực tiếp $\mathbb{R}^m = \ker A_{\rho(t)} \oplus S_t$.

2. Sự tương đương giữa hai định nghĩa ổn định mũ trên thang thời gian được thiết lập dưới điều kiện nào?

Luận án chứng minh rằng hai định nghĩa ổn định mũ — Định nghĩa 1.1 dựa vào hàm mũ thang thời gian $e_{-\alpha}(t, t_0)$ và Định nghĩa 1.2 dựa vào hàm mũ thông thường $e^{-\alpha(t - t_0)}$ — là tương đương nhau khi và chỉ khi thang thời gian $\mathbb{T}$ đang xét có hàm hạt bị chặn trên, tức là tồn tại hằng số $M > 0$ sao cho $\sup_{t \in \mathbb{T}} \mu(t) \le M$.

3. Làm thế nào để giải phương trình động lực ẩn tuyến tính thuần nhất hệ số hằng $A x^\Delta = B x$?

Phương trình được giải thông qua khai triển chuẩn tắc Kronecker của cặp ma trận chính quy ${A, B}$, đưa về dạng $A = W \text{diag}(I_r, U) T^{-1}$ và $B = W \text{diag}(B_1, I_{m-r}) T^{-1}$ với $U$ là ma trận lũy linh. Khi phương trình có chỉ số 1, ma trận $U = 0$ và nghiệm được phân rã thành thành phần đại số triệt tiêu ($y_2(t) \equiv 0$) và thành phần vi phân $y_1(t)$ thỏa mãn phương trình động lực thường hệ số hằng $y_1^\Delta = B_1 y_1$, từ đó suy ra nghiệm duy nhất cho bài toán Cauchy ban đầu.

4. Điều kiện để bài toán Cauchy của phương trình nửa tuyến tính $A_t x^\Delta = B_t x + f(t, x)$ có nghiệm duy nhất là gì?

Bài toán Cauchy có nghiệm duy nhất khi phương trình thuần nhất tương ứng có chỉ số 1, hạt nhân $\ker A_{\rho(t)}$ trơn, và hàm nhiễu phi tuyến $f(t, x)$ thỏa mãn điều kiện Lipschitz toàn cục với hằng số $L_t$ đủ nhỏ sao cho đại lượng $\gamma_t := L_t |T_t Q_t G_t^{-1}| < 1$ với mọi $t \in \mathbb{T}$. Khi đó, toán tử đại số trở thành ánh xạ co và áp dụng được nguyên lý điểm bất động Banach.

5. Ý nghĩa của Định lý Floquet được chứng minh trong Chương 4 đối với phương trình động lực ẩn là gì?

Định lý Floquet cho phép phân tích toán tử Cauchy của phương trình động lực ẩn tuần hoàn thành tích của một ma trận tuần hoàn khả nghịch (phép biến đổi Lyapunov) và một toán tử chuyển trạng thái của một hệ số hằng. Ý nghĩa toán học của định lý là quy việc khảo sát tính ổn định của hệ động lực ẩn tuần hoàn có hệ số biến thiên phức tạp về việc khảo sát phổ của một hệ ẩn có hệ số hằng tương đương.

Kết luận

Luận án tiến sĩ của Nguyễn Chí Liêm là công trình nghiên cứu lý thuyết chuyên sâu trong chuyên ngành Toán Giải tích, giải quyết thành công bài toán Cauchy và tính ổn định cho lớp phương trình động lực ẩn chỉ số 1 trên thang thời gian. Tác giả đã thống nhất và tổng quát hóa các kết quả rời rạc từ phương trình vi phân đại số và phương trình sai phân đại số lên cấu trúc thang thời gian, xây dựng công thức nghiệm giải tích tường minh thông qua các phép chiếu chuẩn tắc. Bên cạnh đó, luận án làm sáng tỏ tính chất topo của miền ổn định mũ, thiết lập phương pháp hàm Lyapunov, xác định bán kính ổn định và hoàn thiện định lý Floquet cho hệ ẩn tuần hoàn. Các kết quả lý thuyết này cung cấp công cụ toán học chuẩn xác cho việc mô hình hóa và phân tích các hệ động lực suy biến lai trong khoa học và kỹ thuật.