Tổng quan luận án

Nghiên cứu về phương trình sai phân (PTSP) ẩn là một hướng đi quan trọng trong toán học ứng dụng và giải tích hiện đại. Các hệ phương trình sai phân ẩn xuất hiện phổ biến trong nhiều mô hình thực tế như lý thuyết xác suất, các bài toán xếp hàng, mô phỏng mạng mạch điện, phân tích thống kê, mô hình kinh tế Leontief, mô hình động lực học phát triển dân số Leslie, cũng như bài toán điều khiển tối ưu cho các hệ suy biến rời rạc. Bên cạnh đó, PTSP ẩn là kết quả tự nhiên thu được từ việc rời rạc hóa các phương trình vi phân đại số (Differential-Algebraic Equations - DAE) và phương trình đạo hàm riêng đại số.

Khoảng trống nghiên cứu then chốt mà tác giả xác định xuất phát từ thực trạng: các kết quả về PTSP tuyến tính ẩn với hệ số hằng dạng $A x_{n+1} + B x_n = f_n$ (với $A \in \mathbb{C}^{m \times m}$ suy biến) đã được nghiên cứu tương đối hoàn chỉnh, nhưng các kỹ thuật này không thể mở rộng trực tiếp cho các hệ sai phân ẩn có hệ số biến thiên theo thời gian $A_n x_{n+1} + B_n x_n = q_n$. Các công trình trước đây về hệ số biến thiên chủ yếu tập trung vào các dạng ma trận đặc biệt hoặc sử dụng phép chiếu trực giao với các điều kiện ngặt nghèo. Đồng thời, các lớp phương trình tựa tuyến tính và phi tuyến ẩn tổng quát $f_n(x_{n+1}, x_n) = 0$ có đạo hàm riêng suy biến vẫn chưa có một hệ thống lý thuyết đầy đủ về tính giải được và tính ổn định.

Mục tiêu nghiên cứu tổng quát của luận án bao gồm:

  1. Xây dựng khái niệm chỉ số 1 tổng quát thông qua toán tử nối và thiết lập dạng chuẩn tắc Kronecker - Weierstrass cho PTSP tuyến tính ẩn hệ số biến thiên.
  2. Thiết lập lý thuyết Floquet và định lý Lyapunov về tính ổn định nghiệm cho PTSP tuyến tính ẩn tuần hoàn chỉ số 1, mở rộng cho hệ có trễ.
  3. Thiết lập các định lý về sự tồn tại và duy nhất nghiệm của bài toán Cauchy cho PTSP tựa tuyến tính ẩn chỉ số 1 và tựa chỉ số 1 bằng phương pháp lặp co.
  4. Mở rộng các kết quả giải tích cho PTSP phi tuyến ẩn chỉ số 1 bằng kỹ thuật tuyến tính hóa và nguyên lý đồng phôi Hadamard.

Đối tượng nghiên cứu của luận án là các lớp phương trình sai phân ẩn trong không gian hữu hạn chiều $\mathbb{R}^m$, bao gồm:

  • PTSP tuyến tính ẩn hệ số biến thiên $A_n x_{n+1} + B_n x_n = q_n$.
  • PTSP tuyến tính ẩn tuần hoàn chu kỳ $N$ và PTSP tuyến tính ẩn có trễ (có chậm) tuần hoàn $A_n x_{n+1} + B_n x_n + C_n x_{n-n_0} = q_n$.
  • PTSP tựa tuyến tính ẩn $A_n x_{n+1} + B_n x_n + f_n(x_{n+1}, x_n) = 0$.
  • PTSP phi tuyến ẩn tổng quát $f_n(x_{n+1}, x_n) = 0$ với $\frac{\partial f_n}{\partial y}$ suy biến.

Phạm vi nghiên cứu: Không gian vectơ thực $\mathbb{R}^m$ (và số phức $\mathbb{C}^m$ trong các biến đổi đại số), xét trên lưới thời gian rời rạc $n \in \mathbb{N}$ ($n \ge 0$). Luận án tập trung khảo sát các hệ có chỉ số 1 hoặc tựa chỉ số 1, trong đó hạng của các ma trận chính tuyến tính được bảo toàn cố định ($\operatorname{rank} A_n = r < m$).

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

Luận án đã tổng kết có hệ thống các hướng nghiên cứu liên quan trong và ngoài nước:

  1. PTSP ẩn tuyến tính hệ số hằng và bài toán điều khiển rời rạc: Các công trình tổng kết của Campbell, Griepentrog, März ([20, 21, 25]) đã hoàn thiện lý thuyết cho phương trình $A x_{n+1} + B x_n = f_n$ với $A \in \mathbb{C}^{m \times m}$ suy biến. Điều kiện cần và đủ để bài toán giá trị ban đầu thuần nhất có nghiệm duy nhất là tồn tại $\lambda \in \mathbb{C}$ sao cho $\det(\lambda A + B) \neq 0$, đưa phương trình về dạng khối đường chéo $\operatorname{diag}(C, N)$. Các kết quả này được ứng dụng trong mô hình kinh tế Leontief và bài toán điều khiển $x_{k+1} = A x_k + B u_k$.

  2. PTSP ẩn trong không gian Banach và hệ suy biến rời rạc: Nhóm nghiên cứu của M. Rutkas, A. Rutkas và Bondarenko ([13, 14, 15, 17, 18, 19]) đã khảo sát phương trình $A x_{n+1} + B x_n = f_n$ trong không gian Banach bằng khai triển tiệm cận, nghiên cứu phổ toán tử ${A, B}$ và xét lớp phương trình biến thiên đặc biệt $T_n x_{n+1} + x_n = f_n$ với $T_n$ suy biến. Các bài toán điều khiển suy biến rời rạc có nhiễu, có trễ với hệ số hằng được phát triển bởi Q. Liu, David Hill, X. Zhang, Liyi Dai, Shengyuan Xu ([38]).

  3. Lý thuyết phương trình vi phân đại số (DAE) và dạng Kronecker - Weierstrass: Lý thuyết DAE chỉ số 1 với hệ số hằng và biến thiên được phát triển sâu rộng bởi Kunkel, Mehrmann, März, Lamour ([33, 36, 37, 41, 42]). Dạng chuẩn tắc Kronecker - Weierstrass tách DAE thành hệ kế thừa gồm phương trình vi phân thường và phương trình đại số. Lý thuyết Floquet cho DAE tuần hoàn chỉ số 1 được thiết lập bởi März ([36]).

  4. Nhóm nghiên cứu PTSP ẩn tại Việt Nam: Từ cuối những năm 1990, nhóm nghiên cứu của GS. Phạm Kỳ Anh và GS. Nguyễn Hữu Dư ([1–3, 5–12, 27–29, 39]) đã công bố nhiều kết quả về chỉ số của PTSP tuyến tính biến thiên, bài toán biên nhiều điểm, tựa chỉ số và chỉ số lạ. Các nghiên cứu của nhóm chỉ ra rằng việc áp dụng công thức Euler hiện cho DAE tuyến tính chỉ số 1 dẫn đến PTSP tuyến tính ẩn chỉ số 1 ([5, 8]). Phương pháp hàm Lyapunov cho PTSP tựa tuyến tính ([9]), bán kính ổn định nghiệm ([29]), và PTSP ẩn ngẫu nhiên trên không gian Polish ([27]) cũng đã được thiết lập.

Khoảng trống nghiên cứu luận án lựa chọn giải quyết:

  • Mở rộng định nghĩa chỉ số 1 cho PTSP tuyến tính ẩn hệ số biến thiên dựa trên phép chiếu tổng quát (thay vì giới hạn ở phép chiếu trực giao), thông qua việc đưa ra khái niệm "toán tử nối".
  • Xây dựng dạng chuẩn tắc Kronecker - Weierstrass cho hệ số biến thiên và thiết lập công thức nghiệm giải tích tường minh cho bài toán Cauchy.
  • Xây dựng lý thuyết Floquet và tiêu chuẩn ổn định Lyapunov cho PTSP ẩn tuần hoàn.
  • Thiết lập điều kiện giải được duy nhất và thuật toán lặp số trị cho bài toán Cauchy của PTSP tựa tuyến tính và phi tuyến ẩ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

  • Toán tử nối (Connecting Operator): Cho hai không gian con $k$-chiều $L_\alpha, L_\beta \subset \mathbb{R}^m$ với các phép chiếu tương ứng $Q_\alpha, Q_\beta$. Tồn tại ma trận khả nghịch $V_\alpha, V_\beta$ sao cho $Q_\alpha = V_\alpha \tilde{Q} V_\alpha^{-1}$ và $Q_\beta = V_\beta \tilde{Q} V_\beta^{-1}$, trong đó $\tilde{Q} = \operatorname{diag}(O_{m-k}, I_k)$. Toán tử nối được định nghĩa là $Q_{\alpha\beta} = V_\alpha \tilde{Q} V_\beta^{-1}$.
  • Không gian $S_n$ và toán tử $G_n$: Định nghĩa $S_n := {\xi \in \mathbb{R}^m : B_n \xi \in \operatorname{im} A_n}$. Với $Q_n$ là phép chiếu lên $\ker A_n$, đặt $P_n = I - Q_n$, toán tử nối $Q_{n-1,n} = V_{n-1} \tilde{Q} V_n^{-1}$ và ma trận $G_n := A_n + B_n Q_{n-1,n}$.
  • Dạng chuẩn tắc Kronecker - Weierstrass: Biểu diễn hệ sai phân ẩn dưới dạng tách rời khối tọa độ đại số và khối tọa độ sai phân thuần túy: $$\begin{pmatrix} I_r & O \ O & O \end{pmatrix} \bar{x}{n+1} + \begin{pmatrix} W_n & O \ O & I{m-r} \end{pmatrix} \bar{x}_n = \bar{q}_n$$
  • Lý thuyết Floquet và số mũ Lyapunov: Nghiên cứu ma trận nghiệm cơ bản tuần hoàn $X_n$, biểu diễn qua ma trận hằng $R \in \mathbb{C}^{r \times r}$ và ma trận biến đổi tuần hoàn $F_n$.
  • Nguyên lý ánh xạ co Banach và nguyên lý đồng phôi Hadamard: Sử dụng để chứng minh sự tồn tại duy nhất nghiệm cho các hệ phi tuyến.

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

Luận án sử dụng phương pháp giải tích - đại số kết hợp kỹ thuật tuyến tính hóa:

  • Phương pháp phân rã không gian: Tách không gian trạng thái $\mathbb{R}^m = S_n \oplus \ker A_{n-1}$ nhờ vào tính khả nghịch của ma trận $G_n$.
  • Phương pháp biến đổi tương đương động học: Tìm cặp ma trận tỷ lệ và đổi biến $(E_n, F_n)$ để chuyển đổi hệ sai phân biến thiên phức tạp về dạng chuẩn tắc.
  • Phương pháp lặp toán tử: Xây dựng dãy lặp tuyến tính giải quyết phương trình điểm bất động cho hệ tựa tuyến tính và ước lượng sai số thông qua hằng số co Lipschitz.
  • Kỹ thuật tuyến tính hóa: Khai triển Taylor cấp 1 đối với hệ phi tuyến $f_n(x_{n+1}, x_n) = 0$ quanh điểm quỹ đạo để chuyển việc khảo sát hệ phi tuyến về hệ tuyến tính kết hợp phần dư phi tuyến.

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

Chương 1: Lý thuyết Floquet cho PTSP tuyến tính ẩn chỉ số 1

Chương 1 xây dựng nền tảng lý thuyết cho PTSP tuyến tính ẩn hệ số biến thiên $A_n x_{n+1} + B_n x_n = q_n$ ($n \ge 0$).

Khái niệm chỉ số 1 và các tính chất cơ bản

Luận án đưa ra định nghĩa chỉ số 1 thông qua toán tử nối:

  • Điều kiện i: $\operatorname{rank} A_n = r$ cố định ($1 \le r \le m-1, \forall n \ge 0$).
  • Điều kiện ii: $S_n \cap \ker A_{n-1} = {0}$ với mọi $n \ge 1$ (và $\dim S_0 = r$).

Tác giả chứng minh tính tương đương giữa ba mệnh đề:

  1. $S_n \cap \ker A_{n-1} = {0}$.
  2. Ma trận $G_n := A_n + B_n Q_{n-1,n}$ không suy biến ($\det G_n \neq 0$).
  3. $\mathbb{R}^m = S_n \oplus \ker A_{n-1}$.

Tính chất đại số then chốt được thiết lập gồm: $A_n P_n = A_n$, $G_n^{-1} A_n = P_n$, $G_n^{-1} B_n Q_{n-1,n} = Q_n$, $P_n G_n^{-1} B_n Q_{n-1} = 0$, và $Q_n G_n^{-1} B_n Q_{n-1} = Q_{n,n-1}$.

Dạng chuẩn tắc Kronecker - Weierstrass và bài toán Cauchy

  • Định lý 1.1 (Định lý Kronecker): Sử dụng cặp biến đổi $(E_n, F_n) = (\tilde{G}n^{-1}, \tilde{V}n)$, mọi PTSP tuyến tính ẩn chỉ số 1 đều đưa được về dạng: $$\begin{pmatrix} I_r & O{r \times (m-r)} \ O{(m-r) \times r} & O_{m-r} \end{pmatrix} \bar{x}{n+1} + \begin{pmatrix} W_n & O{r \times (m-r)} \ O_{(m-r) \times r} & I_{m-r} \end{pmatrix} \bar{x}_n = \bar{q}_n$$
  • Định lý 1.2 (Công thức nghiệm bài toán Cauchy): Bài toán Cauchy với điều kiện $\tilde{P}{-1}(x_0 - x^0) = 0$ có nghiệm duy nhất biểu diễn tường minh: $$x{n+1} = (-1)^{n+1} \tilde{V}n \tilde{P} \left( \prod{k=0}^n \tilde{G}{n-k}^{-1} B{n-k} \tilde{V}{n-k-1} \right) \tilde{V}{-1}^{-1} x^0 + \sum_{k=0}^n \tilde{V}n (-1)^{n-k} \tilde{P} \left( \prod{i=0}^{n-k-1} \tilde{G}{n-i}^{-1} B{n-i} \tilde{V}_{n-i-1} \right) \tilde{G}k^{-1} q_k + \tilde{V}n \tilde{Q} \tilde{G}{n+1}^{-1} q{n+1}$$

Lý thuyết Floquet và Định lý Lyapunov cho hệ tuần hoàn

Xét hệ tuần hoàn chu kỳ $N$ ($A_{n+N} = A_n, B_{n+N} = B_n, q_{n+N} = q_n$) với $B_n$ khả nghịch:

  • Định lý 1.5 (Định lý Floquet): Ma trận nghiệm cơ bản $X_n$ thỏa mãn $A_n X_{n+1} + B_n X_n = 0$ biểu diễn dưới dạng: $$X_n = F_n^{-1} \begin{pmatrix} R^n & O_{r \times (m-r)} \ O_{(m-r) \times r} & O_{m-r} \end{pmatrix} F_{-1}^{-1} \quad (n \ge 1)$$ trong đó ${F_n}$ là họ ma trận khả nghịch tuần hoàn chu kỳ $N$ và $R \in \mathbb{C}^{r \times r}$ là ma trận hằng thỏa mãn $Z_N = R^N$.
  • Định lý 1.7 (Dạng hệ số hằng): Hệ đưa được về phương trình hệ số hằng tương đương: $$\begin{pmatrix} I_r & O \ O & O \end{pmatrix} \tilde{x}{n+1} + \begin{pmatrix} -R & O \ O & I{m-r} \end{pmatrix} \tilde{x}_n = \tilde{q}_n$$
  • Định lý 1.8 (Tiêu chuẩn ổn định Lyapunov):
    • Nếu mọi giá trị riêng của ma trận $R$ có môđun nhỏ hơn 1 ($\rho(R) < 1$), nghiệm tầm thường $x_n = 0$ ổn định tiệm cận mũ (thỏa mãn $|x_n| \le c |A_{n_0-1} x_{n_0}| e^{-\alpha n}$).
    • Nếu $R$ có ít nhất một giá trị riêng có môđun lớn hơn 1, nghiệm $x_n = 0$ không ổn định.

Áp dụng cho hệ tuyến tính ẩn có trễ tuần hoàn

Xét phương trình $A_n x_{n+1} + B_n x_n + C_n x_{n-n_0} = q_n$ ($n \ge 0$) với điều kiện ban đầu $x_{-n_0+i} = \gamma_i$ ($i = 0, \dots, n_0$).

  • Định lý 1.2 (mục 1.6): Bài toán có nghiệm duy nhất khi và chỉ khi các giá trị ban đầu thỏa mãn hệ thức ràng buộc: $$\tilde{Q} \left[ \tilde{V}{-1}^{-1} \gamma{n_0} + \tilde{G}_0^{-1} (C_0 \gamma_0 - q_0) \right] = 0$$
Khái niệm / Định lý Nội dung toán học chính Ý nghĩa giải tích
Toán tử nối $Q_{n-1,n}$ $Q_{n-1,n} = V_{n-1} \tilde{Q} V_n^{-1}$ Liên kết phép chiếu giữa các bước thời gian rời rạc
Tính khả nghịch $G_n$ $G_n = A_n + B_n Q_{n-1,n}$ khả nghịch Điều kiện cần và đủ cho tính chất chỉ số 1
Định lý 1.1 (Kronecker) Đưa hệ về dạng chuẩn tắc khối $W_n, I_{m-r}$ Tách thành phần sai phân và thành phần đại số
Định lý 1.5 (Floquet) $X_n = F_n^{-1} \operatorname{diag}(R^n, O) F_{-1}^{-1}$ Cấu trúc ma trận nghiệm cơ bản hệ tuần hoàn
Định lý 1.8 (Lyapunov) $\rho(R) < 1 \implies$ ổn định tiệm cận mũ Tiêu chuẩn ổn định qua phổ của ma trận hằng $R$

Chương 2: PTSP tựa tuyến tính ẩn

Chương 2 nghiên cứu tính giải được và thuật toán giải gần đúng cho bài toán Cauchy đối với hệ: $$A_n x_{n+1} + B_n x_n + f_n(x_{n+1}, x_n) = 0 \quad (n \ge 0)$$ với điều kiện ban đầu $P_0(x_0 - \gamma) = 0$ và giả thiết cấu trúc $\ker A_n \subset \ker \frac{\partial f_n}{\partial y}(y, x)$.

Tính giải được duy nhất của bài toán Cauchy

Phân tích nghiệm $x_n = u_n + v_n$ với $u_n = P_{n-1} x_n$ và $v_n = Q_{n-1} x_n$, hệ tựa tuyến tính được chuyển về dạng toán tử đối với $\xi := u_{n+1}$ và $\zeta := x_n$: $$\begin{cases} \xi = -P_n G_n^{-1} f_n(\xi, \zeta) - r_n \ \zeta = -V_{n-1} V_n^{-1} Q_n G_n^{-1} f_n(\xi, \zeta) + s_n \end{cases}$$ trong đó $r_n = P_n G_n^{-1} B_n u_n$, $s_n = (I - V_{n-1} V_n^{-1} Q_n G_n^{-1} B_n) u_n$.

  • Định lý 2.1: Giả sử phần chính tuyến tính có chỉ số 1 và $f_n$ thỏa mãn điều kiện Lipschitz: $$|f_n(y, x) - f_n(\xi, \zeta)| \le \alpha_n |y - \xi| + \beta_n |x - \zeta|$$ Nếu hệ số co: $$\omega_n := \alpha_n |P_n G_n^{-1}| + \beta_n |V_{n-1} V_n^{-1} Q_n G_n^{-1}| < 1$$ thì bài toán Cauchy có nghiệm duy nhất. Nghiệm được xác định qua dãy lặp co $(\xi^{k+1}, \zeta^{k+1})$ với tốc độ hội tụ hình học theo $\omega_n^k$.

  • Định lý 2.3: Trường hợp điều kiện cấu trúc thay đổi thành $\operatorname{im} \left(\frac{\partial f_n}{\partial y}(y, x)\right) \subset \operatorname{im} A_n$, bài toán Cauchy có nghiệm duy nhất khi: $$\max \left{ \alpha_n |P_n G_n^{-1}|, ; \beta_n |V_{n-1} V_n^{-1} Q_n G_n^{-1}| \right} < 1$$

Chương này cũng phân tích trường hợp phần chính tuyến tính có tựa chỉ số 1, xây dựng phương pháp giải gần đúng bài toán Cauchy và khảo sát tính ổn định của nghiệm cho hệ tựa tuyến tính tuần hoàn.

Chương 3: PTSP phi tuyến ẩn chỉ số 1

Chương 3 mở rộng các kết quả cho PTSP phi tuyến ẩn tổng quát: $$f_n(x_{n+1}, x_n) = 0 \quad (n \ge 0)$$ trong đó $f_n: \mathbb{R}^m \times \mathbb{R}^m \to \mathbb{R}^m$ khả vi và ma trận Jacobi $\frac{\partial f_n}{\partial y}$ suy biến với mọi $n$.

Khái niệm chỉ số 1 cho phương trình phi tuyến

Khái niệm chỉ số 1 của hệ phi tuyến được thiết lập thông qua phần tuyến tính hóa cục bộ: $$A_n(y, x) := \frac{\partial f_n}{\partial y}(y, x), \quad B_n(y, x) := \frac{\partial f_n}{\partial x}(y, x)$$ Phương trình phi tuyến có chỉ số 1 nếu cặp ma trận ${A_n(y, x), B_n(y, x)}$ thỏa mãn điều kiện chỉ số 1 của hệ tuyến tính trên miền xác định.

Kỹ thuật tuyến tính hóa và nguyên lý đồng phôi Hadamard

Phương trình phi tuyến được khai triển quanh điểm cố định $(y_n^, x_n^)$: $$\frac{\partial f_n}{\partial y}(y_n^, x_n^) x_{n+1} + \frac{\partial f_n}{\partial x}(y_n^, x_n^) x_n + h_n(x_{n+1}, x_n) = 0$$ Bằng việc kết hợp kết quả giải bài toán Cauchy của hệ tuyến tính ở Chương 1 và nguyên lý đồng phôi Hadamard, luận án chứng minh tính giải được duy nhất toàn cục của bài toán Cauchy cho hệ phi tuyến ẩn.

Phần cuối chương khảo sát sự ổn định nghiệm của PTSP phi tuyến ẩn tuần hoàn, chứng minh rằng tính ổn định của nghiệm phương trình phi tuyến được quyết định bởi tính ổn định của hệ tuyến tính hóa tương ứng thông qua cấu trúc phổ của ma trận Floquet $R$.

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

Luận án đã công bố các kết quả khoa học mới về mặt lý luận và thực tiễn (dựa trên các công trình [10, 11, 12] của tác giả):

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

  1. Đề xuất định nghĩa chỉ số 1 mới: Xây dựng khái niệm chỉ số 1 cho PTSP tuyến tính ẩn hệ số biến thiên dựa trên phép chiếu bất kỳ và toán tử nối $Q_{n-1,n}$, bao quát hơn định nghĩa cũ dựa trên phép chiếu trực giao và khai triển giá trị kỳ dị.
  2. Thiết lập dạng chuẩn tắc Kronecker - Weierstrass: Chứng minh định lý đưa PTSP tuyến tính ẩn hệ số biến thiên chỉ số 1 về dạng chuẩn tắc khối giải tích, tách biệt hoàn toàn thành phần sai phân và thành phần đại số.
  3. Xây dựng lý thuyết Floquet cho PTSP ẩn: Mở rộng thành công lý thuyết Floquet từ phương trình vi phân và DAE sang PTSP tuyến tính ẩn tuần hoàn chu kỳ $N$, đưa ra công thức biểu diễn tường minh ma trận nghiệm cơ bản.
  4. Thiết lập tiêu chuẩn ổn định Lyapunov: Chứng minh định lý Lyapunov cho PTSP ẩn tuần hoàn, chỉ ra rằng tính ổn định tiệm cận mũ của nghiệm phụ thuộc hoàn toàn vào bán kính phổ $\rho(R) < 1$ của ma trận hằng $R$.
  5. Giải quyết bài toán Cauchy cho hệ tựa tuyến tính và phi tuyến: Thiết lập điều kiện Lipschitz và thuật toán lặp điểm bất động chứng minh tính tồn tại, duy nhất nghiệm cho hệ tựa tuyến tính và phi tuyến ẩn chỉ số 1.

Đóng góp về phương pháp và thực tiễn

  1. Cung cấp công thức giải tích giải đúng cho bài toán Cauchy của hệ sai phân ẩn tuyến tính và hệ có trễ tuần hoàn.
  2. Xây dựng thuật toán lặp tính toán nghiệm gần đúng có đánh giá sai số định lượng cho hệ tựa tuyến tính.
  3. Đặt cơ sở toán học chặt chẽ cho việc phân tích tính ổn định của các mô hình kinh tế vĩ mô (Leontief), mô hình dân số (Leslie) và các mạch điện mô phỏng bằng hệ sai phân đại số rời rạc.

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

Hạn chế được ghi nhận từ phạm vi nghiên cứu

  • Luận án tập trung chủ yếu vào các hệ sai phân ẩn có chỉ số 1 hoặc tựa chỉ số 1; chưa mở rộng cho các hệ có chỉ số cao (chỉ số $\ge 2$).
  • Giả thiết hạng của ma trận chính tuyến tính $\operatorname{rank} A_n = r$ không đổi trên toàn bộ trục thời gian rời rạc loại trừ trường hợp các điểm suy biến bậc cao hoặc thay đổi số chiều không gian nghiệm.
  • Lý thuyết Floquet trong Chương 1 đòi hỏi điều kiện ma trận $B_n$ khả nghịch với mọi $n$, chưa bao quát trường hợp $B_n$ suy biến.
  • Các khảo sát được thực hiện trong không gian hữu hạn chiều $\mathbb{R}^m$, chưa mở rộng cho hệ phương trình sai phân toán tử trong không gian vô hạn chiều tổng quát.

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

  • Mở rộng nghiên cứu chỉ số và dạng chuẩn tắc cho PTSP ẩn có chỉ số cao ($k \ge 2$).
  • Xây dựng lý thuyết Floquet cho hệ tuần hoàn trong trường hợp $B_n$ suy biến.
  • Nghiên cứu sâu hơn về PTSP ẩn ngẫu nhiên và bài toán điều khiển bền vững cho hệ suy biến rời rạc có tham số biến thiên chứa nhiễu ngẫu nhiên.

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:

  • Nghiên cứu sinh, học viên cao học và giảng viên 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 số, và Toán ứng dụng: Cung cấp khung lý thuyết hoàn chỉnh về hệ sai phân đại số, kỹ thuật phân rã toán tử chiếu và lý thuyết ổn định nghiệm rời rạc.
  • Các nhà nghiên cứu trong lĩnh vực Tự động hóa và Điều khiển tối ưu: Tham khảo các kỹ thuật khảo sát hệ suy biến rời rạc, tiêu chuẩn ổn định Lyapunov và điều kiện tương thích giá trị ban đầu cho hệ có trễ.
  • Các nhà toán kinh tế: Cung cấp công cụ toán học giải tích để giải và phân tích tính ổn định cho các mô hình cân đối liên ngành Leontief động có hệ số thay đổi theo thời gian.

Các phần nội dung đáng tham khảo nhất:

  • Công thức nghiệm giải tích tường minh tại Định lý 1.2.
  • Kỹ thuật xây dựng toán tử nối và dạng chuẩn Kronecker - Weierstrass trong mục 1.4 và Định lý 1.1.
  • Tiêu chuẩn ổn định tiệm cận mũ thông qua ma trận Floquet $R$ tại Định lý 1.7 và 1.8.
  • Thuật toán lặp co và điều kiện hội tụ định lượng $\omega_n < 1$ tại Định lý 2.1.

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

1. Khái niệm chỉ số 1 của PTSP tuyến tính ẩn hệ số biến thiên được định nghĩa như thế nào trong luận án?

Theo Định nghĩa 1.3 trong luận án, PTSP tuyến tính ẩn $A_n x_{n+1} + B_n x_n = q_n$ có chỉ số 1 nếu thỏa mãn hai điều kiện: (i) $\operatorname{rank} A_n = r$ không đổi với mọi $n \ge 0$ ($1 \le r \le m-1$); và (ii) $S_n \cap \ker A_{n-1} = {0}$ với mọi $n \ge 1$, trong đó $S_n := {\xi \in \mathbb{R}^m : B_n \xi \in \operatorname{im} A_n}$, đồng thời $\dim S_0 = r$. Điều kiện này tương đương với việc ma trận $G_n := A_n + B_n Q_{n-1,n}$ không suy biến với mọi $n \ge 1$.

2. Điểm mới của định nghĩa chỉ số 1 trong luận án so với các nghiên cứu trước đó là gì?

Các nghiên cứu trước đây (như của Y. Liu [38] hoặc trong [39]) định nghĩa chỉ số dựa trên khai triển giá trị kỳ dị của $A_n$ và sử dụng phép chiếu trực giao. Luận án đề xuất định nghĩa mới sử dụng toán tử nối $Q_{n-1,n} = V_{n-1} \tilde{Q} V_n^{-1}$ áp dụng cho các phép chiếu tuyến tính bất kỳ (không bắt buộc trực giao). Định nghĩa này tổng quát hơn, cho phép thiết lập dạng chuẩn tắc Kronecker - Weierstrass và mở rộng tự nhiên sang lớp phương trình tựa tuyến tính và phi tuyến.

3. Dạng chuẩn tắc Kronecker - Weierstrass của PTSP tuyến tính ẩn chỉ số 1 có cấu trúc ra sao?

Theo Định lý 1.1, thông qua cặp biến đổi không suy biến $(E_n, F_n) = (\tilde{G}n^{-1}, \tilde{V}n)$ với phép đổi biến $x_n = F{n-1} \bar{x}n$, phương trình ban đầu được đưa về dạng tương đương: $$\begin{pmatrix} I_r & O{r \times (m-r)} \ O{(m-r) \times r} & O_{m-r} \end{pmatrix} \bar{x}{n+1} + \begin{pmatrix} W_n & O{r \times (m-r)} \ O_{(m-r) \times r} & I_{m-r} \end{pmatrix} \bar{x}_n = \bar{q}_n$$ trong đó $W_n \in \mathbb{R}^{r \times r}$. Cấu trúc này tách rời phương trình thành một hệ sai phân tường minh kích thước $r$ và một phương trình đại số tuyến tính kích thước $m-r$.

4. Tiêu chuẩn ổn định nghiệm của PTSP tuyến tính ẩn tuần hoàn được xác định như thế nào?

Theo Định lý 1.8 (Định lý Lyapunov), tính ổn định của nghiệm tầm thường $x_n = 0$ đối với hệ tuần hoàn thuần nhất phụ thuộc vào các giá trị riêng của ma trận hằng $R \in \mathbb{C}^{r \times r}$ (xác định từ $Z_N = R^N$, trong đó $Z_N$ là ma trận chuyển trạng thái sau một chu kỳ $N$):

  • Nghiệm $x_n = 0$ ổn định tiệm cận mũ nếu mọi giá trị riêng của $R$ có môđun nhỏ hơn 1 ($\rho(R) < 1$).
  • Nghiệm không ổn định nếu tồn tại ít nhất một giá trị riêng của $R$ có môđun lớn hơn 1.

5. Điều kiện để bài toán Cauchy của PTSP tuyến tính ẩn có trễ tuần hoàn giải được duy nhất là gì?

Đối với hệ có trễ $A_n x_{n+1} + B_n x_n + C_n x_{n-n_0} = q_n$ tuần hoàn chu kỳ $N$, bài toán giá trị ban đầu với $x_{-n_0+i} = \gamma_i$ ($i = 0, \dots, n_0$) giải được duy nhất khi và chỉ khi các vectơ giá trị ban đầu thỏa mãn điều kiện ràng buộc đại số: $$\tilde{Q} \left[ \tilde{V}{-1}^{-1} \gamma{n_0} + \tilde{G}_0^{-1} (C_0 \gamma_0 - q_0) \right] = 0$$ Nếu điều kiện này không thỏa mãn, bài toán sẽ vô nghiệm.

Kết luận

Luận án tiến sĩ đã giải quyết trọn vẹn các bài toán giải tích then chốt cho các lớp phương trình sai phân ẩn tuyến tính, tựa tuyến tính và phi tuyến có hệ số biến thiên và tuần hoàn. Bằng việc xây dựng khái niệm chỉ số 1 thông qua toán tử nối và phép chiếu tổng quát, tác giả đã thiết lập thành công dạng chuẩn tắc Kronecker - Weierstrass, công thức nghiệm tường minh cho bài toán Cauchy và hệ thống lý thuyết Floquet - Lyapunov hoàn chỉnh cho hệ rời rạc tuần hoàn. Các định lý về tính giải được duy nhất và thuật toán lặp co cho hệ tựa tuyến tính và phi tuyến đã hoàn thiện bức tranh lý thuyết về hệ sai phân đại số rời rạc, đóng góp cơ sở toán học vững chắc cho các mô hình ứng dụng trong vật lý, điều khiển học và kinh tế lượng.