Tổng quan luận án

Luận án tiến sĩ toán học "Bài toán gán phổ nhị phân mũ và tuyến tính hóa cho hệ động lực không ôtônôm" được thực hiện bởi nghiên cứu sinh Lê Viết Cường dưới sự hướng dẫn khoa học của PGS. Đoàn Thái Sơn, chuyên ngành Phương trình vi phân và tích phân, mã số 9 46 01 03, hoàn thành năm 2022 tại Viện Toán học thuộc Viện Hàn lâm Khoa học và Công nghệ Việt Nam.

Trong lý thuyết định tính của hệ động lực không ôtônôm—những hệ chứa tham số biến thiên theo thời gian được ứng dụng mô hình hóa trong sinh học và kinh tế—phổ nhị phân mũ (phổ Sacker - Sell) giữ vai trò then chốt đối với việc khảo sát tính ổn định, đa tạp bất biến, dạng chuẩn tắc và hiện tượng rẽ nhánh. Mặc dù bài toán gán phổ đặc trưng cho hệ tuyến tính dừng đã được giải quyết trọn vẹn thông qua điều kiện điều khiển được Kalman, bài toán gán phổ nhị phân mũ cho hệ điều khiển có hệ số phụ thuộc thời gian (cả liên tục và rời rạc) vẫn là một vấn đề mở đầy thách thức. Mặt khác, đối với lý thuyết tuyến tính hóa, định lý Hartman - Grobman mở rộng cho hệ không ôtônôm mới chỉ bảo đảm sự tồn tại của một phép tương đương topo (đồng phôi liên tục), để lại khoảng trống về điều kiện tách phổ bảo đảm tính khả vi cấp cao ($C^k$) của phép biến đổi tương đương.

Mục tiêu nghiên cứu của luận án tập trung vào hai chủ điểm chính:

  1. Nghiên cứu bài toán gán phổ nhị phân mũ cho hệ điều khiển tuyến tính với hệ số phụ thuộc thời gian.
  2. Xây dựng Định lý Sternberg về tuyến tính hóa trơn cho hệ phương trình vi phân không ôtônôm.

Các câu hỏi nghiên cứu được luận án đặt ra nguyên văn như sau:

  • Câu hỏi 1a: Đối với hệ điều khiển vi phân tuyến tính không ôtônôm liệu ta có thể tìm được hay không một điều khiển phản hồi tuyến tính phù hợp để gán phổ nhị phân mũ cho hệ này?
  • Câu hỏi 1b: Đối với hệ điều khiển sai phân tuyến tính không ôtônôm liệu ta có thể tìm được hay không một điều khiển phản hồi tuyến tính phù hợp để gán phổ nhị phân mũ cho hệ này?
  • Câu hỏi 2: Tính trơn của phép biến đổi $H$ là như thế nào?

Đối tượng nghiên cứu của luận án là hệ phương trình vi phân tuyến tính không ôtônôm có điều khiển, hệ phương trình sai phân tuyến tính không ôtônôm có điều khiển, và hệ phương trình vi phân phi tuyến không ôtônôm có phần tuyến tính mang tính chất hyperbolic. Phạm vi nghiên cứu về không gian là không gian Euclid hữu hạn chiều $\mathbb{R}^d$. Phạm vi thời gian liên tục xét trên trục thời gian hai phía $J = \mathbb{R}$ và một phía $J = \mathbb{R}+$; phạm vi thời gian rời rạc xét trên tập số nguyên $\mathbb{T} = \mathbb{Z}$ và tập số nguyên không âm $\mathbb{T} = \mathbb{Z}{\ge 0}$.

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

Trong phần mở đầu và các chương chuyên môn, tác giả đã tổng thuật các hướng nghiên cứu nền tảng:

  • Lý thuyết nhị phân mũ và phổ Sacker - Sell: Khái niệm nhị phân mũ được nghiên cứu bởi Coppel (1978) [13], sau đó Sacker và Sell (1978, 1994) [34, 36] phát triển thành lý thuyết phổ nhị phân mũ cho phương trình vi phân không ôtônôm. Daleckii và Krein (1974) [7] chứng minh nghiệm tầm thường của hệ phi tuyến là ổn định mũ nếu phổ nhị phân mũ của hệ tuyến tính tương ứng hoàn toàn mang giá trị âm. Aulbach và Wanner (1996, 2000) [2, 21] chỉ ra điều kiện tách phổ kéo theo sự tồn tại của các đa tạp bất biến trơn.
  • Lý thuyết tuyến tính hóa, dạng chuẩn tắc và rẽ nhánh: Palmer (1973) [26] mở rộng Định lý Hartman - Grobman cho phương trình vi phân không ôtônôm với điều kiện số $0$ không thuộc phổ nhị phân mũ của hệ tuyến tính. Siegmund (2002) [37] khai thác cấu trúc phổ nhị phân mũ để thiết lập định lý về dạng chuẩn tắc dưới các điều kiện cộng hưởng. Pötzsche và Rasmussen (2006, 2009) [30, 32] phát triển lý thuyết phân tích rẽ nhánh không ôtônôm dựa trên sự biến thiên của phổ nhị phân mũ theo tham số. Các thuật toán và phương pháp số tính toán số mũ nhị phân được Dieci và Van Vleck (2002, 2007) [14, 24] xây dựng.
  • Bài toán gán phổ trong lý thuyết điều khiển: Wonham (1967) [43] xác lập tính điều khiển được là điều kiện cần và đủ để gán phổ đặc trưng cho hệ dừng, với các phương pháp tính toán của Mehrmann và Xu (1998) [23]. Đối với hệ phụ thuộc thời gian, các tác giả Ilchmann (1991) [17], Volokitin (1995) [40], Barabanov (1993) [5] và Czornik (2005) [6] đã nghiên cứu bài toán gán phổ Lyapunov. Mối quan hệ giữa tính điều khiển được đều và tính ổn định hóa được khảo sát bởi Ikeda cùng cộng sự (1972) [19] trên $\mathbb{R}_+$, Nguyen Khoa Son (1984) [25] trên $\mathbb{R}$, và Ohta cùng cộng sự (1996) [42]. Kỹ thuật tam giác hóa hệ điều khiển được đều trên trục $\mathbb{R}$ được chứng minh bởi Nguyen Dinh Cong (2003) [27]. Tính bất biến của phổ nhị phân mũ qua phép biến đổi Lyapunov được tổng kết bởi Pötzsche (2010) [29].

Khoảng trống nghiên cứu được luận án xác định:

  1. Các nghiên cứu trước về hệ không ôtônôm chủ yếu hướng vào phổ số mũ Lyapunov. Do phổ Lyapunov rất nhạy cảm với các nhiễu loạn nhỏ và không phản ánh trọn vẹn tính nhị phân mũ đều, điều kiện cần và đủ để gán một phổ nhị phân mũ định trước (gồm các đoạn đóng rời nhau) cho hệ điều khiển tuyến tính phụ thuộc thời gian vẫn chưa có lời giải.
  2. Định lý Palmer mới chỉ mang lại phép đồng phôi liên tục $C^0$. Việc mở rộng Định lý Sternberg sang hệ vi phân không ôtônôm nhằm xác lập điều kiện đủ để phép biến đổi tương đương đạt độ trơn $C^k$ đòi hỏi phải xử lý triệt để hiện tượng cộng hưởng và cấu trúc đa tạp bất biến không ôtônôm.

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 và khung phân tích giải tích hiện đại của lý thuyết hệ động lực không ôtônôm:

  • Toán tử tiến hóa và nhị phân mũ: Đối với hệ vi phân $\dot{x} = A(t)x$ với toán tử tiến hóa $\Phi_A(t, s)$, tính nhị phân mũ trên miền $J$ đòi hỏi tồn tại hằng số $K \ge 1, \alpha > 0$ và họ phép chiếu bất biến $P(t)$ thỏa mãn $|\Phi_A(t, s)P(s)| \le K e^{-\alpha(t-s)}$ với $t \ge s$ và $|\Phi_A(t, s)(\text{id} - P(s))| \le K e^{\alpha(t-s)}$ với $t \le s$. Phổ nhị phân mũ $\Sigma_{ED}^J(A)$ là tập các giá trị $\gamma \in \mathbb{R}$ mà phương trình dịch chuyển $\dot{x} = (A(t) - \gamma I)x$ không có nhị phân mũ trên $J$. Cấu trúc phổ $\Sigma_{ED}^J(A)$ là hợp của tối đa $d$ đoạn đóng rời nhau: $\bigcup_{i=1}^\ell [a_i, b_i]$ với $\ell \le d$.
  • Phép biến đổi Lyapunov: Họ ma trận khả nghịch trơn $T(t)$ sao cho $T, T^{-1}, \dot{T}$ bị chặn. Hai hệ tương đương tiệm cận qua phép biến đổi Lyapunov bảo toàn hoàn toàn phổ nhị phân mũ.
  • Tính điều khiển được đều: Đặc trưng thông qua ma trận Gramian điều khiển bị chặn dưới dương: $W(t_0, t_0+\vartheta) = \int_{t_0}^{t_0+\vartheta} \Phi_A(t_0, s)B(s)B^T(s)\Phi_A^T(t_0, s)ds \ge \rho I$.
  • Phương pháp nghiên cứu:
    • Luận án thuộc hướng nghiên cứu định tính và giải tích phương trình vi phân thuần túy, sử dụng suy diễn toán học logic nghiêm ngặt, không áp dụng thống kê hay dữ liệu thực nghiệm.
    • Phân tích cấu trúc phổ của hệ ma trận tam giác trên và chéo khối; mở rộng kỹ thuật đối xứng hóa hàm số $u_{ii}(t) = u_{ii}(-t)$ để khắc phục trở ngại phổ hệ tam giác trên trục $\mathbb{R}$ chỉ là tập con của hợp phổ các phần tử đường chéo.
    • Kỹ thuật chuyển đổi hệ điều khiển được đều về dạng tam giác trên bằng phản hồi tuyến tính; xấp xỉ liên tục từng khúc; kỹ thuật nhúng hệ sai phân vào hệ vi phân có thang thời gian đơn vị.
    • Kỹ thuật làm phẳng các đa tạp bất biến, loại bỏ các thành phần không cộng hưởng thông qua các phép đổi biến trơn, và áp dụng phương pháp đường mở rộng (extended path method) trên hệ sai phân liên kết để chứng minh độ trơn $C^k$.

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 và bổ đề kỹ thuật làm cơ sở cho các chương sau:

  • Mục 1.1: Trình bày lý thuyết phổ nhị phân mũ cho hệ vi phân tuyến tính $\dot{x} = A(t)x$ với $A \in L^\infty(J, \mathbb{R}^{d \times d})$. Hệ quả 1.4 xác định phổ của hệ một chiều $\dot{x} = m(t)x$ là đoạn $[a, b]$, trong đó: $$a = \liminf_{t-s \to \infty} \frac{1}{t-s}\int_s^t m(\tau)d\tau, \quad b = \limsup_{t-s \to \infty} \frac{1}{t-s}\int_s^t m(\tau)d\tau$$ Định lý cấu trúc phổ khẳng định $\Sigma_{ED}^J(A)$ gồm tối đa $d$ đoạn rời nhau. Định nghĩa phép biến đổi Lyapunov $T(t)$ và định lý đưa hệ về dạng chéo khối $\text{diag}(B_1(t), \dots, B_\ell(t))$. Đối với hệ ma trận tam giác trên $U(t) = (u_{ij}(t))$, trên nửa trục $J = \mathbb{R}+$ hoặc $\mathbb{R}-$ thì phổ $\Sigma_{ED}^J(U) = \bigcup_{i=1}^d \Sigma_{ED}^J(u_{ii})$; nhưng trên toàn trục $\mathbb{R}$, hệ thức chỉ là bao hàm thức $\Sigma_{ED}^{\mathbb{R}}(U) \subset \bigcup_{i=1}^d \Sigma_{ED}^{\mathbb{R}}(u_{ii})$.
  • Mục 1.2: Thiết lập khái niệm nhị phân mũ và phổ nhị phân mũ cho hệ sai phân $x_{n+1} = A_n x_n$ với $A \in L_{Lya}(\mathbb{T}, \mathbb{R}^{d \times d})$. Khẳng định phổ sai phân $\Sigma_{ED}^{\mathbb{T}}(A)$ cũng là hợp của tối đa $d$ đoạn đóng rời nhau và chứng minh tính bất biến của phổ qua phép biến đổi Lyapunov rời rạc $L_{n+1}N_n = M_n L_n$.
  • Mục 1.3: Giới thiệu khái niệm điều khiển được đều cho hệ vi phân liên tục $\dot{x} = A(t)x + B(t)u$ và hệ sai phân rời rạc $x_{n+1} = A_n x_n + B_n u_n$. Chứng minh tiêu chuẩn Gramian bị chặn dưới đối với hệ liên tục và tiêu chuẩn Kalman rời rạc. Trong Ví dụ 1.14, tác giả chứng minh hệ một chiều $\dot{x} = a(t)x + b(t)u$ điều khiển được đều khi và chỉ khi tồn tại $\rho_b > 0, \vartheta > 0$ sao cho $\int_t^{t+\vartheta} b(s)^2 ds \ge \rho_b$.

Chương 2: Gán phổ nhị phân mũ cho hệ điều khiển tuyến tính với hệ số phụ thuộc thời gian

Chương 2 trình bày các kết quả trung tâm của luận án về điều kiện cần và đủ để gán phổ:

  • Mục 2.1 (Hệ liên tục): Đặt bài toán gán phổ cho hệ đóng $\dot{x} = (A(t) + B(t)F(t))x$. Hệ được gọi là gán được phổ nhị phân mũ nếu với bất kỳ số nguyên $1 \le \ell \le d$ và các đoạn đóng rời nhau tùy ý $[\alpha_1, \beta_1], \dots, [\alpha_\ell, \beta_\ell]$, luôn tìm được phản hồi $F(t)$ để phổ của hệ đóng trùng khít với hợp của các đoạn này.
    • Định lý 2.3: Giả thiết $B(t)$ bị chặn và liên tục đều từng khúc (tồn tại $\Delta_0 > 0$ sao cho độ dài mỗi khoảng liên tục $|I_j| \ge \Delta_0$). Hệ điều khiển tuyến tính liên tục là gán được phổ nhị phân mũ trên $J$ ($J = \mathbb{R}_+$ hoặc $J = \mathbb{R}$) khi và chỉ khi hệ là điều khiển được đều trên $J$.
    • Phương pháp chứng minh: Tác giả sử dụng Định lý 2.5 về tính tương đương giữa điều khiển được đều và ổn định hóa được. Thiết lập Mệnh đề 2.6: nếu hệ tam giác trên có phần tử đường chéo đối xứng $u_{ii}(t) = u_{ii}(-t)$ trên $\mathbb{R}$ thì đẳng thức phổ được phục hồi $\Sigma_{ED}^{\mathbb{R}}(U) = \bigcup_{i=1}^d \Sigma_{ED}^{\mathbb{R}}(u_{ii})$. Kết hợp Định lý 2.7 về việc đưa hệ điều khiển được đều về dạng tam giác trên với đường chéo định trước. Tác giả cũng xây dựng phản hồi tường minh cho hệ một chiều thông qua hàm chỉ số các khoảng thời gian lũy thừa $I = \bigcup_{n \in \mathbb{Z}_{\ge 0}} [2^{2n}, 2^{2n+1}-1]$.
  • Mục 2.2 (Hệ rời rạc): Xét hệ $x_{n+1} = (A_n + B_n U_n)x_n$.
    • Định lý 2.13: Giả sử hệ sai phân là điều khiển được đều trên $\mathbb{T}$ ($\mathbb{Z}$ hoặc $\mathbb{Z}{\ge 0}$), khi đó phổ nhị phân mũ của hệ là gán được. Ngược lại, trong trường hợp thời gian một phía $\mathbb{T} = \mathbb{Z}{\ge 0}$, nếu phổ nhị phân mũ gán được thì hệ bắt buộc phải điều khiển được đều.
    • Phương pháp chứng minh: Trên $\mathbb{Z}_{\ge 0}$, tác giả chứng minh tính gán được suy ra tính ổn định hóa được (Định lý 2.15). Tiếp đó, Định lý 2.16 chứng minh tính ổn định hóa được suy ra tính điều khiển được đều bằng phương pháp phản chứng, sử dụng đánh giá bất đẳng thức ma trận chuyển và bất đẳng thức Cauchy-Schwarz.
    • Đối với bài toán trên $\mathbb{Z}$, tác giả thiết lập kỹ thuật nhúng hệ sai phân thành hệ vi phân liên kết có thang thời gian đơn vị (Định lý 2.19) để chứng minh phổ của hệ ma trận khối tam giác, đồng thời kết hợp tính chất đối xứng $p_i^{(n)} = p_i^{(-n)}$ (Định lý 2.20).
    • Phản ví dụ so sánh: Tác giả xây dựng hệ một chiều $x(k+1) = x(k) + b(k)u(k)$ với dãy chỉ số tăng nhanh $n_1 = 1, n_{2m} = m n_{2m-1}, n_{2m+1} = m + n_{2m}$, chứng minh hệ này gán được phổ Lyapunov nhưng không điều khiển được đều, và chỉ gán được khoảng phổ nhị phân mũ chứa điểm $0$, qua đó khẳng định gán phổ nhị phân mũ là điều kiện chặt chẽ hơn gán phổ Lyapunov.

Dưới đây là bảng tổng hợp các kết quả gán phổ nhị phân mũ thu được trong Chương 2:

Hệ điều khiển Phạm vi thời gian Điều kiện đối với hệ số Điều kiện cần và đủ / Kết quả gán phổ
Tuyến tính liên tục $\dot{x} = A(t)x + B(t)u$ $J = \mathbb{R}_+$ $B(t)$ bị chặn, liên tục đều từng khúc Điều khiển được đều $\Leftrightarrow$ Gán được phổ nhị phân mũ
Tuyến tính liên tục $\dot{x} = A(t)x + B(t)u$ $J = \mathbb{R}$ $B(t)$ bị chặn, liên tục đều từng khúc Điều khiển được đều $\Leftrightarrow$ Gán được phổ nhị phân mũ
Tuyến tính rời rạc $x_{n+1} = A_n x_n + B_n u_n$ $\mathbb{T} = \mathbb{Z}_{\ge 0}$ $A \in L_{Lya}$, $B \in L^\infty$ Điều khiển được đều $\Leftrightarrow$ Gán được phổ nhị phân mũ
Tuyến tính rời rạc $x_{n+1} = A_n x_n + B_n u_n$ $\mathbb{T} = \mathbb{Z}$ $A \in L_{Lya}$, $B \in L^\infty$ Điều khiển được đều $\Rightarrow$ Gán được phổ nhị phân mũ
Hệ một chiều (phản ví dụ Mục 2.2) $\mathbb{T} = \mathbb{Z}_{\ge 0}$ $b(k)$ gián đoạn theo dãy $(n_k)$ Gán được phổ Lyapunov nhưng không gán được phổ nhị phân mũ

Chương 3: Định lý Sternberg cho phương trình vi phân không ôtônôm

Chương 3 giải quyết bài toán tuyến tính hóa trơn cho hệ vi phân không ôtônôm $\dot{x}(t) = A(t)x(t) + f(t, x)$ xung quanh nghiệm tầm thường $x = 0$:

  • Mục 3.1: Phát biểu Định lý Sternberg không ôtônôm. Giả sử phần tuyến tính có tính nhị phân mũ, tác giả thiết lập các điều kiện đủ về sự phân tách của các dải phổ nhị phân mũ và điều kiện không cộng hưởng để bảo đảm tồn tại phép biến đổi vi phôi cấp $C^k$ đưa hệ phi tuyến về đúng hệ tuyến tính $\dot{x} = A(t)x$.
  • Mục 3.2: Trình bày kỹ thuật làm phẳng các đa tạp bất biến trơn (đa tạp ổn định và không ổn định) và khử các đơn thức phi tuyến không cộng hưởng trong khai triển Taylor của hàm $f(t, x)$.
  • Mục 3.3: Xây dựng hệ sai phân liên kết sinh bởi nghiệm của phương trình vi phân tại các bước thời gian nguyên. Chứng minh tính tương đương $C^k$ giữa hệ sai phân liên kết và hệ thuộc lớp $\mathcal{O}_{flat}(A)$ (lớp các phương trình có phần phi tuyến triệt tiêu cấp cao tại gốc tọa độ). Ứng dụng phương pháp đường mở rộng (extended path method) giải phương trình hàm sai phân để hoàn tất chứng minh Định lý Sternberg.

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

Các kết quả mới đạt được của luận án bao gồm:

  1. Xác lập điều kiện cần và đủ để một hệ điều khiển tuyến tính liên tục có hệ số phụ thuộc thời gian (với ma trận điều khiển $B(t)$ liên tục đều từng khúc) là gán được phổ nhị phân mũ tùy ý trên nửa trục $\mathbb{R}_+$ và trên toàn trục $\mathbb{R}$, đó chính là tính điều khiển được đều của hệ.
  2. Xác lập mối quan hệ tương đương giữa tính điều khiển được đều và tính gán được phổ nhị phân mũ đối với hệ điều khiển tuyến tính rời rạc trên nửa trục $\mathbb{Z}_{\ge 0}$, đồng thời chứng minh tính điều khiển được đều là điều kiện đủ để gán phổ trên toàn trục $\mathbb{Z}$.
  3. Phát hiện và chứng minh bằng phản ví dụ giải tích rằng tính gán được phổ Lyapunov không kéo theo tính gán được phổ nhị phân mũ; tính gán được phổ nhị phân mũ đòi hỏi cấu trúc điều khiển chặt chẽ hơn.
  4. Thiết lập thành công phiên bản của Định lý Sternberg về tuyến tính hóa trơn $C^k$ cho hệ phương trình vi phân không ôtônôm dựa trên điều kiện tách phổ nhị phân mũ, kết hợp kỹ thuật làm phẳng đa tạp bất biến và phương pháp đường mở rộng.

Các kết quả trên đã được công bố trong 04 bài báo khoa học trên các tạp chí quốc tế chuyên ngành (trong đó các công trình [CT2], [CT3], [CT4] là nòng cốt cho Chương 2 và Chương 3).

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

Căn cứ theo nội dung và phạm vi được tác giả trình bày trong luận án:

  • Về bài toán gán phổ rời rạc trên trục hai phía $\mathbb{Z}$: Luận án mới chứng minh được chiều đủ (tính điều khiển được đều suy ra gán được phổ nhị phân mũ); chiều ngược lại (chứng minh tính gán được suy ra tính điều khiển được đều trên $\mathbb{Z}$) chưa được giải quyết do các phức tạp kỹ thuật khi đánh giá ma trận chuyển hai phía.
  • Về điều kiện của hệ số ma trận điều khiển: Đối với hệ liên tục, kết quả đòi hỏi ma trận $B(t)$ phải liên tục đều từng khúc với độ dài các khoảng liên tục bị chặn dưới bởi hằng số dương $\Delta_0$, chưa mở rộng cho lớp hàm đo được bị chặn tổng quát.
  • Về không gian trạng thái: Nghiên cứu hoàn toàn giới hạn trong không gian trạng thái hữu hạn chiều $\mathbb{R}^d$, chưa mở rộng cho các hệ phương trình vi phân trừu tượng trong không gian Banach vô hạn chiều.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo giá trị cho các đối tượng và lĩnh vực sau:

  • Nghiên cứu sinh và giảng viên chuyên ngành Toán giải tích, Phương trình vi phân và Hệ động lực: Cung cấp tài liệu hệ thống về lý thuyết phổ Sacker - Sell, cấu trúc phổ của hệ ma trận tam giác trên, và kỹ thuật tuyến tính hóa trơn vượt qua giới hạn của Định lý Hartman - Grobman.
  • Các nhà nghiên cứu Lý thuyết điều khiển toán học: Cung cấp phương pháp thiết kế phản hồi tuyến tính để điều khiển dáng điệu tiệm cận và phân bố phổ của hệ biến thiên theo thời gian; cung cấp chuẩn mực phân biệt giữa phổ Lyapunov và phổ nhị phân mũ.
  • Các phần nội dung đáng tham khảo: Kỹ thuật đối xứng hóa hàm số để tính phổ hệ tam giác trên trục số thực (Mục 2.1), phương pháp phản chứng kết hợp chặn dưới Gramian điều khiển (Mục 2.2), và kỹ thuật phương pháp đường mở rộng giải phương trình sai phân liên kết (Mục 3.3).

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

1. Điều kiện cần và đủ để hệ vi phân tuyến tính không ôtônôm gán được phổ nhị phân mũ là gì?
Theo Định lý 2.3 của luận án, giả thiết ma trận $B(t)$ bị chặn và liên tục đều từng khúc, điều kiện cần và đủ để hệ điều khiển liên tục gán được phổ nhị phân mũ gồm $\ell$ đoạn đóng rời nhau tùy ý ($1 \le \ell \le d$) trên $\mathbb{R}_+$ hoặc $\mathbb{R}$ là hệ phải điều khiển được đều trên tập thời gian tương ứng.

2. Tại sao tính gán được phổ Lyapunov không đồng nhất với tính gán được phổ nhị phân mũ?
Qua phản ví dụ ở Mục 2.2 (hệ $x(k+1) = x(k) + b(k)u(k)$ với dãy $n_k$ tăng nhanh), tác giả chứng minh hệ này không điều khiển được đều nhưng vẫn gán được phổ Lyapunov tùy ý. Tuy nhiên, hệ này không thể gán được phổ nhị phân mũ tùy ý (chỉ gán được các khoảng phổ chứa điểm $0$). Phổ nhị phân mũ đòi hỏi tốc độ phân rã mũ đều, do đó cấu trúc điều khiển đòi hỏi khắt khe hơn.

3. Mối quan hệ giữa tính gán được phổ và tính điều khiển được đều ở hệ sai phân có gì khác nhau giữa $\mathbb{Z}_{\ge 0}$ và $\mathbb{Z}$?
Trên nửa trục $\mathbb{Z}_{\ge 0}$, luận án chứng minh mối quan hệ là tương đương hai chiều: điều khiển được đều khi và chỉ khi gán được phổ nhị phân mũ. Trên toàn trục $\mathbb{Z}$, luận án mới chứng minh được một chiều: tính điều khiển được đều là điều kiện đủ để hệ gán được phổ nhị phân mũ.

4. Định lý Sternberg trong luận án giải quyết hạn chế nào của Định lý Hartman - Grobman mở rộng?
Định lý Hartman - Grobman mở rộng (Palmer, 1973) chỉ bảo đảm tồn tại một đồng phôi liên tục $C^0$ giữa quỹ đạo của hệ phi tuyến và hệ tuyến tính tương ứng. Định lý Sternberg do tác giả xây dựng trong Chương 3 đưa ra các điều kiện đủ về tách phổ và không cộng hưởng để phép biến đổi tương đương đạt độ trơn vi phôi cấp $C^k$.

5. Kỹ thuật đối xứng hóa hệ số trên đường chéo đóng vai trò gì trong chứng minh của Chương 2?
Đối với hệ vi phân tam giác trên trên toàn trục $\mathbb{R}$, phổ nhị phân mũ của hệ nói chung chỉ là tập con của hợp các phổ của từng phương trình vô hướng trên đường chéo. Bằng cách xây dựng các hàm đối xứng $u_{ii}(t) = u_{ii}(-t)$ (hoặc dãy đối xứng $p_i^{(n)} = p_i^{(-n)}$ ở hệ rời rạc), tác giả đã chứng minh được phổ của hệ tam giác trên trùng khít hoàn toàn với hợp phổ các phần tử đường chéo, tạo tiền đề gán chính xác các khoảng phổ mong muốn.

Kết luận

Luận án tiến sĩ của Lê Viết Cường đã giải quyết trọn vẹn bài toán xác lập tiêu chuẩn điều khiển được đều cho tính gán được phổ nhị phân mũ của hệ điều khiển tuyến tính liên tục và rời rạc có hệ số phụ thuộc thời gian. Đồng thời, công trình đã xây dựng thành công phiên bản không ôtônôm cho Định lý Sternberg về tuyến tính hóa trơn $C^k$ thông qua lý thuyết phổ Sacker - Sell và phương pháp đường mở rộng. Các kết quả của luận án là những đóng góp lý thuyết toán học cơ bản, mang tính hệ thống và được công bố trên các tạp chí quốc tế chuyên ngành uy tín.