Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Hệ động lực ngẫu nhiên ẩn rời rạc và áp dụng" do nghiên cứu sinh Vũ Tiến Việt 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 2013), dưới sự hướng dẫn khoa học của GS.TS. Nguyễn Hữu Dư và TS. Nguyễn Hồng Hải, thuộc chuyên ngành Lý thuyết Xác suất và Thống kê toán học (mã số: 62 46 15 01).

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

Phương trình sai phân là công cụ toán học mô tả sự tiến triển của các hệ động lực được quan sát tại các mốc thời gian rời rạc cách đều nhau, trong đó giá trị tại thời điểm $n+1$ được biểu diễn truy hồi qua các giá trị quá khứ. Lớp phương trình này xuất hiện trong nhiều lĩnh vực như giải tích số, lý thuyết điều khiển, lý thuyết trò chơi, sinh học quần thể (mô hình Leslie), kinh tế học (mô hình cân đối liên ngành Leontief), lý thuyết mạch và giải tích sai phân xấp xỉ phương trình vi phân đại số (DAEs).

Dạng tổng quát của phương trình sai phân là $F(x_{n+1}, x_n, \dots) = 0$. Khi ma trận đạo hàm riêng $\partial F / \partial x_{n+1}$ suy biến (tức nhân $\ker \partial F / \partial x_{n+1} \ne {0}$), phương trình không thể giải tường minh số hạng $x_{n+1}$ theo các biến trước đó để áp dụng phương pháp truy hồi thông thường. Đây là bản chất của phương trình sai phân ẩn (implicit difference equations), còn gọi là phương trình sai phân kỳ dị (singular) hoặc hệ mô tả (descriptor system). Vấn đề này thuộc lớp bài toán đặt không chỉnh (ill-posed problems).

Đối với phương trình sai phân ẩn tuyến tính dạng $A_n x_{n+1} = B_n x_{n} + q_n$:

  • Khi các hệ số là ma trận hằng ($A, B$), bài toán đã được giải quyết qua dạng chuẩn tắc Kronecker của chùm ma trận chính quy $\det(\lambda A + B) \not\equiv 0$.
  • Khi các hệ số biến thiên theo thời gian ($A_n, B_n$), cấu trúc nhân $\ker A_n$ thay đổi theo $n$ khiến phương pháp giải tích đại số cổ điển không còn áp dụng được. Một số công trình trước đây sử dụng khai triển giá trị kỳ dị (SVD) nhưng phương pháp này cồng kềnh và khó mở rộng cho chỉ số cao.
  • Hầu hết các công trình nghiên cứu hiện có chỉ xét hệ số tất định. Trong thực tế, hệ thống chịu tác động của các yếu tố ngẫu nhiên (nhiễu ồn thực - real noise). Trong lý thuyết hệ động lực ngẫu nhiên, các kết quả kinh điển về Định lý ergodic nhân tính (MET) và số mũ Lyapunov (của V. Oseledets, L. Arnold, Y. Kifer) đều đòi hỏi giả thiết các toán tử chuyển trạng thái phải không suy biến với xác suất 1.

Khoảng trống nghiên cứu then chốt mà luận án xác định là: Thiếu vắng một cơ sở lý thuyết toán học hoàn chỉnh về tính giải được, tính chất đồng chu trình suy biến và Định lý ergodic nhân tính (MET) cho lớp phương trình sai phân ẩn tuyến tính ngẫu nhiên có ma trận hệ số suy biến $A(\theta^n \omega)$ và $B(\theta^n \omega)$ trên toàn bộ trục thời gian nguyên $\mathbb{Z}$.

Mục tiêu nghiên cứu

Luận án giải quyết 4 nhiệm vụ khoa học chính được đánh số trong văn bản:

  1. Đưa ra các khái niệm về chỉ số 1 và chỉ số 2 (trong đó chỉ số 2 được xem là chỉ số 1 của chỉ số 1) cho phương trình sai phân ẩn tuyến tính ngẫu nhiên.
  2. Nghiên cứu bài toán giải được của hệ $A_n X_{n+1} = B_n X_n$ bằng cách chỉ ra sự tồn tại nghiệm, đồng thời thiết lập các công thức biểu diễn nghiệm giải tích tường minh cho trường hợp chỉ số 1 và chỉ số 2.
  3. Đưa ra các điều kiện để nghiệm của hệ lập thành một đồng chu trình (cocycle) suy biến và chứng minh tính chất động lực của chúng trên trục thời gian $\mathbb{Z}$ (kết nối tiến và lùi).
  4. Nghiên cứu các số mũ Lyapunov của hệ, xây dựng các phân hoạch không gian kiểu Furstenberg – Kifer và chứng minh Định lý ergodic nhân tính (MET) cho hệ phương trình sai phân ẩn ngẫu nhiên có chỉ số 1 và chỉ số 2.

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

  • Đối tượng nghiên cứu: Phương trình sai phân ngẫu nhiên ẩn tuyến tính thuần nhất $A(\theta^n \omega) X_{n+1}(\omega) = B(\theta^n \omega) X_n(\omega)$ trên không gian vector hữu hạn chiều $\mathbb{R}^d$, với các ma trận hệ số $A(\cdot), B(\cdot)$ có kích thước $d \times d$ suy biến.
  • Phạm vi không gian: Không gian Euclidean $\mathbb{R}^d$ hoặc phức $\mathbb{C}^d$; không gian xác suất chuẩn $(\Omega, \mathcal{F}, P)$.
  • Phạm vi thời gian: Trục số nguyên rời rạc $\mathbb{Z}$ (bao gồm quá trình tiến $n \ge 0$ và quá trình lùi $n \le 0$).
  • Phạm vi cấu trúc hệ số: Nhiễu ngẫu nhiên dạng ồn thực (quá trình dừng sinh bởi phép biến đổi bảo toàn độ đo ergodic $\theta$); hạng của ma trận $\operatorname{rank} A(\omega) = k$ và $\operatorname{rank} B(\omega) = r$ là các hằng số không ngẫu nhiên hầu chắc chắn; hệ dừng lại ở lớp chỉ số 1 mềm và chỉ số 2 mềm.

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

Luận án đã hệ thống hóa các hướng nghiên cứu liên quan đến phương trình sai phân, phương trình vi phân đại số và hệ động lực ngẫu nhiên:

Hướng nghiên cứu Tác giả, công trình tiêu biểu Kết quả chính đã đạt được Giới hạn còn tồn tại
Mô hình sai phân ứng dụng P. H. Leslie (1945, 1948); W. Leontief Mô hình ma trận Leslie trong cấu trúc tuổi quần thể; mô hình cân đối kinh tế rời rạc. Chủ yếu xét dạng tường minh hoặc mô hình tất định.
Hệ sai phân ẩn hệ số hằng S. L. Campbell (1980, 1982); L. Dai (1989) Sử dụng khai triển Kronecker cho cặp ma trận $(A, B)$ chính quy để tách phương trình sai phân thường và ràng buộc đại số. Không áp dụng được cho hệ có hệ số biến thiên do nhân ma trận thay đổi theo thời gian.
Hệ sai phân không dừng dạng đặc biệt M. F. Bondarenko và cộng sự (1998, 2002) Khảo sát tính giải được và bài toán biên tuần hoàn cho hệ dạng $T_n x_{n+1} + x_n = f_n$ với $T_n$ suy biến. Chỉ áp dụng cho cấu trúc ma trận chuyên biệt.
Chỉ số hệ sai phân biến thiên R. März (1988); Phạm Kỳ Anh; Lê Công Lợi; Nguyễn Hữu Dư (2002, 2004) Đưa khái niệm chỉ số từ DAEs sang sai phân; mở rộng lý thuyết Floquet, nửa chỉ số, tính ổn định bằng hàm Lyapunov và khai triển SVD. Giả thiết nhân $\ker A_n$ bất biến hoặc dùng SVD cồng kềnh, khó mở rộng lên chỉ số cao; chỉ xét hệ tất định.
Hệ động lực ngẫu nhiên & MET V. I. Oseledets (1968); L. Arnold (1998); Y. Kifer (1986) Đưa ra khái niệm ồn thực, số mũ Lyapunov, phân hoạch Oseledets và lọc Furstenberg – Kifer cho tích ma trận ngẫu nhiên. Bắt buộc giả thiết toán tử chuyển trạng thái $B_n$ không suy biến với xác suất 1 và $A_n = I$.

Vị trí và giải pháp của luận án

Luận án của Vũ Tiến Việt định vị tại giao điểm giữa lý thuyết phương trình vi phân – sai phân đại số và lý thuyết hệ động lực ngẫu nhiên. Bằng việc xây dựng lại khái niệm chỉ số thông qua các phép chiếu lên không gian hạch và phép đẳng cấu giữa các nhân ma trận, luận án đã loại bỏ yêu cầu về tính khả nghịch của các toán tử hệ số, giải quyết trọn vẹn bài toán xây dựng đồng chu trình suy biến và mở rộng Định lý ergodic nhân tính cho hệ sai phân ẩn ngẫu nhiên chỉ số 1 và chỉ số 2 trên $\mathbb{Z}$.

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 công cụ

  1. Chỉ số ma trận và cặp ma trận:
    • Chỉ số của ma trận $M \in \mathbb{R}^{d \times d}$ là số nguyên không âm $k = \operatorname{ind} M$ nhỏ nhất sao cho $\ker M^k = \ker M^{k+1}$ và $\operatorname{im} M^k = \operatorname{im} M^{k+1}$.
    • Cặp ma trận $(A, B)$ chính quy nếu đa thức $\det(\lambda A + B) \not\equiv 0$. Khi đó, $\operatorname{ind}(A, B) = \operatorname{ind}((cA + B)^{-1}A)$ với $c \in \mathbb{C}$ thỏa mãn $\det(cA + B) \ne 0$.
  2. Khai triển Kronecker: Cặp ma trận chính quy $(A, B)$ tồn tại các ma trận khả nghịch $U, V$ sao cho: $$A = U \begin{pmatrix} I_k & O \ O & N \end{pmatrix} V^{-1}, \quad B = U \begin{pmatrix} M & O \ O & I_{d-k} \end{pmatrix} V^{-1}$$ trong đó $M$ không suy biến, $N$ là ma trận lũy linh cấp $r = \operatorname{ind}(A, B)$.
  3. Nghịch đảo suy rộng Moore – Penrose: Ma trận $M^\dagger$ duy nhất thỏa mãn 4 hệ thức: (i) $MM^\dagger M = M$; (ii) $M^\dagger MM^\dagger = M^\dagger$; (iii) $(MM^\dagger)^> = MM^\dagger$; (iv) $(M^\dagger M)^> = M^\dagger M$.
  4. Lý thuyết bộ ba ma trận: Cho bộ ba $(A, \widetilde{A}, B)$ cùng cấp với $\operatorname{rank} A = \operatorname{rank} \widetilde{A} = k$. Tồn tại đẳng cấu tuyến tính $T \in GL(\mathbb{R}^d)$ sao cho $T|_{\ker A}: \ker A \to \ker \widetilde{A}$. Với $Q$ là phép chiếu lên $\ker A$ và $S = {x \in \mathbb{R}^d : Bx \in \operatorname{im} A}$, các mệnh đề sau tương đương:
    • $S \cap \ker \widetilde{A} = {0}$;
    • Ma trận $G = A + BTQ$ không suy biến;
    • $\mathbb{R}^d = S \oplus \ker \widetilde{A}$.
  5. Hệ động lực ngẫu nhiên và Định lý MET: Không gian xác suất chuẩn $(\Omega, \mathcal{F}, P)$ cùng phép biến đổi bảo toàn độ đo ergodic $\theta: \Omega \to \Omega$. Dòng ngẫu nhiên ma trận $\Phi(n, \omega)$ thỏa mãn tính chất đồng chu trình: $\Phi(n+m, \omega) = \Phi(n, \theta^m \omega)\Phi(m, \omega)$ với mọi $m, n \in \mathbb{Z}$.

Phương pháp nghiên cứu

  • Phương pháp phân rã không gian và chiếu chuẩn tắc: Tách phương trình sai phân ẩn thành một hệ gồm một phương trình sai phân thường trên không gian con và một phương trình đại số xác định phần bù. Sử dụng phép chiếu chuẩn tắc $\widetilde{Q}_{n-1} = -T_n Q_n G_n^{-1} B_n$ chứng minh tính bất biến độc lập với việc lựa chọn phép chiếu ban đầu $Q_n$ và toán tử đẳng cấu $T_n$.
  • Phương pháp kết nối động lực tiến – lùi: Xây dựng nghiệm của bài toán tiến ($n \ge 0$) và bài toán lùi ($n \le 0$) một cách riêng biệt, sau đó chứng minh tính giao hoán giữa các toán tử chiếu chuẩn tắc tiến và lùi ($\widetilde{P}_{-1} \widehat{P}_0 = \widehat{P}0 \widetilde{P}{-1}$) để thiết lập tính chất đồng chu trình trên toàn bộ trục $\mathbb{Z}$.
  • Phương pháp giải tích ngẫu nhiên và lý thuyết Ergodic: Áp dụng tính chất ergodic của biến đổi $\theta$ và các ước lượng khả tích của ma trận để chứng minh sự tồn tại của ma trận giới hạn đối xứng, từ đó thiết lập phổ số mũ Lyapunov và phân hoạch lọc không gian con Furstenberg – Kifer.

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

+----------------------------------------------------------------------------------------------------+
|                                    CẤU TRÚC VĂN BẢN LUẬN ÁN                                        |
+----------------------------------------------------------------------------------------------------+
| Chương 1: Một số kiến thức chuẩn bị                                                                |
|   - Đại số tuyến tính, chỉ số ma trận, khai triển Kronecker, nghịch đảo Moore-Penrose              |
|   - Số mũ Lyapunov và Định lý ergodic nhân tính (MET) cổ điển                                      |
+----------------------------------------------------------------------------------------------------+
| Chương 2: Đồng chu trình suy biến với chỉ số 1 và số mũ Lyapunov                                   |
|   - Tính giải được của phương trình sai phân ẩn chỉ số 1 (hệ số hằng, không autonom)              |
|   - Hệ số ngẫu nhiên: Sự tồn tại nghiệm tiến (n >= 0), nghiệm lùi (n <= 0)                         |
|   - Tính chất động lực và đồng chu trình suy biến trên Z                                           |
|   - Số mũ Lyapunov và Định lý MET cho hệ chỉ số 1                                                  |
+----------------------------------------------------------------------------------------------------+
| Chương 3: Phương trình sai phân ẩn chỉ số 2                                                        |
|   - Phương trình sai phân ẩn chỉ số 2 mềm                                                          |
|   - Tính giải được của phương trình sai phân ngẫu nhiên ẩn chỉ số 2                                |
|   - Định lý ergodic nhân tính đối với phương trình sai phân ngẫu nhiên ẩn chỉ số 2                 |
|   - Các ví dụ minh họa                                                                             |
+----------------------------------------------------------------------------------------------------+
| Áp dụng - Kết luận và các hướng nghiên cứu tiếp theo                                               |
+----------------------------------------------------------------------------------------------------+

Chương 1: Một số kiến thức chuẩn bị

Chương 1 cung cấp các công cụ toán học nền tảng cho toàn bộ luận án:

  • Đại số ma trận: Trình bày định nghĩa chỉ số ma trận $\operatorname{ind} M$, chỉ số của cặp ma trận $\operatorname{ind}(A, B)$, khai triển Jordan, khai triển kỳ dị (SVD) và khai triển Kronecker.
  • Bộ ba ma trận và bổ đề tách không gian: Thiết lập Bổ đề 1.1 và Bổ đề 1.2 cho bộ ba $(A, \widetilde{A}, B)$ với giả thiết $\operatorname{rank} A = \operatorname{rank} \widetilde{A}$. Chứng minh rằng ma trận $G = A + BTQ$ khả nghịch khi và chỉ khi không gian $S = {x : Bx \in \operatorname{im} A}$ và $\ker \widetilde{A}$ tạo thành tổng trực tiếp $\mathbb{R}^d = S \oplus \ker \widetilde{A}$.
  • Nghịch đảo suy rộng Moore – Penrose: Trình bày các tính chất cốt lõi của $M^\dagger$, bao gồm quan hệ về phổ giá trị riêng (Bổ đề 1.3: $\lambda$ là giá trị riêng bội $d$ của $M$ khi và chỉ khi $\lambda^\dagger$ là giá trị riêng bội $d$ của $M^\dagger$) và quan hệ nhân $\ker(MM^>)^\dagger = \ker MM^>$ (Bổ đề 1.4).
  • Lý thuyết ergodic nhân tính cổ điển: Phát biểu định nghĩa số mũ Lyapunov $\lambda[f] = \limsup_{n \to +\infty} \frac{1}{n} \ln |f(n)|$ và Định lý MET của Oseledets (Định lý 1.1) cho tích ma trận ngẫu nhiên không suy biến $B(\theta^n \omega)$ với điều kiện tích phân $\ln |B(\cdot)| \in L^1$ và $\ln |B^{-1}(\cdot)| \in L^1$.

Chương 2: Đồng chu trình suy biến với chỉ số 1 và số mũ Lyapunov

Chương 2 tập trung khảo sát hệ sai phân ẩn tuyến tính chỉ số 1 chịu nhiễu ồn thực:

1. Khái niệm chỉ số 1 mềm và tính giải được

Xét phương trình $A_n x(n+1) = B_n x(n)$. Hệ được định nghĩa có chỉ số 1 mềm nếu:

  • $\operatorname{rank} A_n = k$ là hằng số với mọi $n \in \mathbb{N}$;
  • $S_n \cap \ker A_{n-1} = {0}$ với mọi $n \in \mathbb{N}$, trong đó $S_n = {z \in \mathbb{R}^d : B_n z \in \operatorname{im} A_n}$.

Điều này tương đương với tính không suy biến của ma trận $G_n = A_n + B_n T_n Q_n$. Nghiệm của hệ được tách thành: $$\begin{cases} y(n+1) = P_n G_n^{-1} B_n y(n) \ z(n) = -T_n^{-1} Q_n G_n^{-1} B_n y(n) \end{cases}$$ trong đó $y(n) = P_{n-1} x(n)$ và $z(n) = Q_{n-1} x(n)$. Điều kiện ban đầu tương thích có dạng $P_{-1}(x(0) - x) = 0$.

2. Phép chiếu chuẩn tắc và toán tử Cauchy

Luận án đưa ra phép chiếu chuẩn tắc $\widetilde{Q}{n-1} = -T_n Q_n G_n^{-1} B_n$ lên $\ker A{n-1}$ dọc theo $S_n$ và ma trận $\widetilde{G}_n = A_n - B_n T_n \widetilde{Q}n$. Bổ đề 2.1 chứng minh $\widetilde{Q}{n-1}$ và ma trận $\widetilde{P}_n \widetilde{G}_n^{-1} B_n$ hoàn toàn độc lập với việc chọn $Q_n$ và $T_n$.

Toán tử Cauchy của hệ sai phân ẩn được xác định bởi: $$\Phi(n, m) = \left( \prod_{k=m}^{n-1} \widetilde{P}_k \widetilde{G}k^{-1} B_k \right) \widetilde{P}{m-1}$$

3. Hệ số ngẫu nhiên và tính chất đồng chu trình suy biến

Xét hệ ngẫu nhiên $A(\theta^n \omega) X_{n+1}(\omega) = B(\theta^n \omega) X_n(\omega)$ trên $(\Omega, \mathcal{F}, P)$:

  • Phương trình tiến ($n \ge 0$): Tồn tại nghiệm duy nhất khi và chỉ khi điều kiện ban đầu $x \in J_f(\omega) = \ker(\widetilde{Q}_0(\omega))$.
  • Phương trình lùi ($n \le 0$): Viết dưới dạng $B_n X_n = A_n X_{n+1}$, với giả thiết $\operatorname{rank} B(\omega) = r$, $\widehat{G}_n = B_n + A_n \widehat{T}_n \widehat{Q}_n$ không suy biến, phép chiếu chuẩn tắc lùi là $\widehat{Q}_n$. Nghiệm lùi tồn tại duy nhất khi $x \in J_b(\omega) = \ker(\widehat{Q}_0(\omega))$.
  • Nghiệm trên $\mathbb{Z}$: Tồn tại duy nhất khi $x \in J_f(\omega) \cap J_b(\omega)$.

Bổ đề 2.3 chứng minh các toán tử chiếu $\widetilde{P}_{-1}$ và $\widehat{P}0$ giao hoán với nhau với xác suất 1: $$\widetilde{P}{-1} \widehat{P}_0 = \widehat{P}0 \widetilde{P}{-1}$$

Từ đó, luận án thiết lập Định lý 2.1 chứng minh dòng toán tử suy biến $\Phi(n, \omega)$ thỏa mãn hệ thức đồng chu trình (cocycle) trên toàn bộ trục thời gian nguyên $\mathbb{Z}$: $$\Phi(n + m, \omega) = \Phi(n, \theta^m \omega) \cdot \Phi(m, \omega), \quad \forall m, n \in \mathbb{Z}$$

4. Định lý ergodic nhân tính (MET) cho hệ chỉ số 1

Dưới điều kiện tích phân $\mathbb{E}[\ln^+ |A| + \ln^+ |B| + \ln^+ |G^{-1}| + \dots] < \infty$ và tính ergodic của $\theta$:

  • Tồn tại ma trận giới hạn đối xứng $\Delta(\omega) = \lim_{n \to \pm \infty} (\Phi(n, \omega)^> \Phi(n, \omega))^{1/2n}$.
  • Tồn tại phân hoạch lọc không gian ${0} \subset V_0 \subset V_1 \subset \dots \subset V_\tau = \mathbb{R}^d$ với các số mũ Lyapunov không ngẫu nhiên $\lambda_1 < \lambda_2 < \dots < \lambda_\tau$ (và $\lambda_0 = -\infty$ ứng với $V_0 = \ker \Delta(\omega)$) sao cho: $$\lim_{n \to \infty} \frac{1}{n} \ln |\Phi(n, \omega)x| = \lambda_k \iff x \in (V_k \setminus V_{k-1})(\omega)$$
  • Thiết lập tính bất biến của không gian lọc: $\Phi(n, \omega)\pi_0 (V_i \setminus V_{i-1})(\omega) = \pi_n (V_i(\theta^n \omega) \setminus V_{i-1}(\theta^n \omega))$ với toán tử chiếu $\pi_0 = \widetilde{P}_{-1}\widehat{P}_0$.

Chương 3: Phương trình sai phân ẩn chỉ số 2

Chương 3 mở rộng toàn bộ khung phân tích sang phương trình sai phân ẩn tuyến tính ngẫu nhiên có chỉ số 2 mềm:

+----------------------------------------------------------------------------------------------------+
|                         QUY TRÌNH PHÂN TÁCH PHƯƠNG TRÌNH CHỈ SỐ 2                                  |
+----------------------------------------------------------------------------------------------------+
|  Phương trình sai phân ẩn ban đầu (Chỉ số 2)                                                       |
|  An X_{n+1} = Bn Xn                                                                                |
|  Tách thành phần cấp 1 & phát hiện thành phần đại số còn ẩn                                       |
|  Không gian con S_{1,n} = {z in R^d : Bn P_{n-1} z in im G_{1,n}}                                  |
|  Hệ hoàn toàn tách biệt:                                                                           |
|  - 01 Phương trình sai phân thường trên không gian con rút gọn                                     |
|  - 02 Ràng buộc đại số độc lập tuyến tính                                                         |
|  Xây dựng toán tử Cauchy suy biến cấp 2 Phi(n, m) thỏa mãn Cocycle trên Z                          |
|  Phân rã Oseledets / Furstenberg - Kifer: R^d = W_0 + W_1 + ... + W_tau                            |
+----------------------------------------------------------------------------------------------------+
  • Khái niệm chỉ số 2 mềm: Về mặt bản chất, chỉ số 2 được định nghĩa là "chỉ số 1 của chỉ số 1". Khi ma trận $G_n = A_n + B_n T_n Q_n$ của bước thứ nhất vẫn còn suy biến, hệ được đưa qua bước biến đổi thứ hai bằng cách khảo sát không gian $S_{1,n} = {z \in \mathbb{R}^d : B_n P_{n-1} z \in \operatorname{im} G_n}$. Luận án chứng minh định nghĩa này hoàn toàn đúng đắn và không phụ thuộc vào các phép biến đổi được lựa chọn ở bước thứ nhất.
  • Tính giải được của bài toán Cauchy: Thiết lập công thức nghiệm hiển cho cả phương trình tiến và phương trình lùi đối với hệ chỉ số 2, xác định tường minh không gian các điều kiện ban đầu tương thích.
  • Tính đồng chu trình: Chứng minh nghiệm của hệ sai phân ẩn chỉ số 2 sinh ra một đồng chu trình ma trận suy biến $\Phi(n, \omega)$ trên $\mathbb{Z}$.
  • Định lý MET cho hệ chỉ số 2: Chứng minh không gian toàn phần $\mathbb{R}^d$ phân rã thành tổng trực tiếp của các không gian con đo được: $$\mathbb{R}^d = \bigoplus_{i=0}^\tau W_i(\omega)$$ trong đó $W_0, W_i$ là các không gian con bất biến đối với phép biến đổi bảo toàn độ đo $\theta$, và với mọi $i = 1, \dots, \tau$, mọi vector xuất phát $x \in W_i(\omega) \setminus {0}$, nghiệm $X_n(\omega, x)$ đều có cùng số mũ Lyapunov $\lambda_i$.
  • Ví dụ minh họa: Trình bày các ví dụ số học cụ thể tính toán ma trận phép chiếu, không gian nghiệm và phổ số mũ Lyapunov cho các hệ ma trận ngẫu nhiên cấp 2 và cấp 3.

Phần Áp dụng

Phần áp dụng của luận án minh họa cách thức triển khai lý thuyết vào các mô hình thực tế:

  1. Mô hình cấu trúc tuổi quần thể ngẫu nhiên (Mô hình Leslie suy biến): Khảo sát phương trình $x_{n+1} = A(\theta^n \omega) x_n$ khi ma trận Leslie có các tỷ lệ sinh $f_i(\omega)$ hoặc tỷ lệ sống sót $s_i(\omega)$ chịu tác động của môi trường ngẫu nhiên dạng dừng và ma trận chuyển trạng thái bị suy biến. Luận án chỉ ra cách tính tốc độ tăng trưởng tiệm cận của quần thể thông qua số mũ Lyapunov cực đại.
  2. Mô hình cân đối liên ngành Leontief ngẫu nhiên: Khảo sát mô hình kinh tế động rời rạc có chứa các ràng buộc công nghệ suy biến và nhiễu ngẫu nhiên, áp dụng kỹ thuật tách không gian của hệ chỉ số 1 để xác định quỹ đạo cân bằng của nền kinh tế.

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

Luận án tự tổng kết các đóng góp học thuật mới về mặt lý thuyết xác suất và hệ động lực ngẫu nhiên như sau:

  1. Về phương pháp luận tiếp cận chỉ số: Đề xuất phương pháp tiếp cận mới định nghĩa chỉ số 1 mềm và chỉ số 2 mềm cho phương trình sai phân ẩn tuyến tính thông qua toán tử chiếu chuẩn tắc và đẳng cấu hạch ma trận. Phương pháp này thay thế cách tiếp cận SVD cồng kềnh trước đây, đảm bảo tính bất biến của không gian nghiệm và cho phép mở rộng lên chỉ số cao hơn.
  2. Về tính giải được trên toàn trục thời gian: Thiết lập trọn vẹn lý thuyết giải được và công thức nghiệm giải tích tường minh cho bài toán Cauchy đối với hệ sai phân ẩn ngẫu nhiên tuyến tính có chỉ số 1 và chỉ số 2 trên toàn trục số nguyên $\mathbb{Z}$ (kết nối đồng thời phương trình tiến $n \ge 0$ và phương trình lùi $n \le 0$).
  3. Về cấu trúc đồng chu trình suy biến: Phát hiện và chứng minh tính chất giao hoán của các toán tử chiếu chuẩn tắc tiến và lùi ($\widetilde{P}_{-1} \widehat{P}_0 = \widehat{P}0 \widetilde{P}{-1}$). Đây là tiền đề quyết định để chứng minh toán tử Cauchy suy biến $\Phi(n, \omega)$ lập thành một đồng chu trình ngẫu nhiên (cocycle) trên $\mathbb{Z}$.
  4. Về Định lý ergodic nhân tính và số mũ Lyapunov: Mở rộng thành công Định lý ergodic nhân tính (MET) của Oseledets và phân hoạch lọc không gian con Furstenberg – Kifer cho lớp hệ động lực ngẫu nhiên suy biến (nơi toán tử chuyển trạng thái không khả nghịch hầu chắc chắn) có chỉ số 1 và chỉ số 2, chỉ ra sự phân rã của không gian $\mathbb{R}^d$ thành các không gian con bất biến có cùng số mũ Lyapunov.

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

Hạn chế của luận án

  • Nghiên cứu chỉ thực hiện trên không gian trạng thái hữu hạn chiều $\mathbb{R}^d$ (hoặc $\mathbb{C}^d$).
  • Giả thiết hạng của các ma trận hệ số $\operatorname{rank} A(\omega)$ và $\operatorname{rank} B(\omega)$ là hằng số hầu chắc chắn (hoặc hằng số trên từng tập con $\theta$-bất biến).
  • Giới hạn ở lớp hệ phương trình sai phân tuyến tính thuần nhất chịu tác động của nhiễu ồn thực dừng (chưa mở rộng cho hệ phi tuyến tổng quát hoặc nhiễu ồn trắng không dừng).
  • Mới dừng lại ở cấu trúc hệ có chỉ số 1 mềm và chỉ số 2 mềm.

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

Văn bản luận án nêu rõ 3 hướng phát triển tiếp theo:

  1. Tiếp tục nghiên cứu mở rộng khái niệm và phương pháp giải cho phương trình sai phân ngẫu nhiên ẩn tuyến tính có chỉ số cao hơn ($k \ge 3$).
  2. Nghiên cứu phương trình sai phân ngẫu nhiên ẩn trong không gian vô hạn chiều (không gian Banach hoặc Hilbert).
  3. Khảo sát tính ổn định, số mũ Lyapunov và phân nhánh đối với lớp phương trình sai phân ngẫu nhiên ẩn phi tuyến dạng $F(\theta^n \omega, X_{n+1}, X_n) = 0$.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị trong các lĩnh vực:

  • Đối tượng thụ hưởng:
    • Nghiên cứu sinh, học viên cao học và giảng viên ngành Toán giải tích, Lý thuyết Xác suất và Thống kê toán học, Hệ động lực và Phương trình vi phân – sai phân.
    • Các nhà nghiên cứu mô hình hóa trong kinh tế lượng (mô hình Leontief ngẫu nhiên), sinh thái học toán học (mô hình Leslie ngẫu nhiên) và lý thuyết điều khiển hệ suy biến rời rạc.
  • Các phần nội dung đáng tham khảo:
    • Mục 1.1 & Mục 2.2: Kỹ thuật đại số tuyến tính xây dựng phép chiếu chuẩn tắc $\widetilde{Q}_{n-1}$ và xử lý bộ ba ma trận suy biến.
    • Mục 2.4: Kỹ thuật chứng minh tính giao hoán của các toán tử chiếu và thiết lập tính chất cocycle cho dòng ma trận suy biến trên $\mathbb{Z}$.
    • Mục 2.5 & Mục 3.4: Phương pháp chứng minh Định lý ergodic nhân tính (MET) và kỹ thuật phân tách phổ Lyapunov trên các không gian con lọc kiểu Furstenberg – Kifer.

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

1. Khái niệm "chỉ số 1 mềm" của phương trình sai phân ẩn được định nghĩa như thế nào?

Phương trình sai phân ẩn $A_n x(n+1) = B_n x(n)$ được gọi là có chỉ số 1 mềm nếu thỏa mãn đồng thời hai điều kiện:

  1. $\operatorname{rank} A_n = k$ là hằng số với mọi $n \in \mathbb{N}$;
  2. $S_n \cap \ker A_{n-1} = {0}$ với mọi $n \in \mathbb{N}$, trong đó $S_n = {z \in \mathbb{R}^d : B_n z \in \operatorname{im} A_n}$. Điều kiện này tương đương với việc ma trận $G_n = A_n + B_n T_n Q_n$ không suy biến với mọi $n > 0$.

2. Tại sao luận án bắt buộc phải đặt giả thiết $\operatorname{rank} A_n$ là hằng số theo $n$?

Khi ma trận $A_n$ suy biến, số chiều của không gian nghiệm phụ thuộc trực tiếp vào $\operatorname{rank} A_n$. Nếu số chiều không gian nghiệm tại bước $n+1$ lớn hơn tại bước $n$, hệ sẽ xuất hiện hiện tượng phân nhánh hoặc nghiệm đa trị. Ngược lại, nếu số chiều giảm dần thì do không gian $\mathbb{R}^d$ hữu hạn chiều, đến một bước nào đó hạng cũng phải trở thành hằng số. Vì vậy, giả thiết $\operatorname{rank} A_n = k$ là điều kiện tiên quyết để đảm bảo tính giải được duy nhất và xác định cấu trúc động lực của hệ.

3. Điều kiện cần và đủ để bài toán Cauchy của phương trình sai phân ngẫu nhiên ẩn có nghiệm duy nhất trên toàn trục $\mathbb{Z}$ là gì?

Điều kiện ban đầu $X_0 = x$ phải thuộc vào phần giao của hai không gian con ngẫu nhiên: $x \in J_f(\omega) \cap J_b(\omega)$, trong đó $J_f(\omega) = \ker(\widetilde{Q}_0(\omega))$ là không gian tương thích cho bài toán tiến ($n \ge 0$) và $J_b(\omega) = \ker(\widehat{Q}_0(\omega))$ là không gian tương thích cho bài toán lùi ($n \le 0$).

4. Ý tưởng cốt lõi của việc định nghĩa và xử lý "chỉ số 2 mềm" trong Chương 3 là gì?

Ý tưởng chung là xem "chỉ số 2 là chỉ số 1 của chỉ số 1". Khi ma trận $G_n$ ở bước thứ nhất vẫn còn suy biến, hệ được tiếp tục chiếu lần thứ hai thông qua việc xét không gian $S_{1,n} = {z \in \mathbb{R}^d : B_n P_{n-1} z \in \operatorname{im} G_n}$. Luận án đã chứng minh rằng việc thực hiện bước biến đổi thứ hai hoàn toàn độc lập với cách lựa chọn các phép chiếu và phép biến đổi ở bước thứ nhất.

5. Định lý ergodic nhân tính (MET) trong luận án mở rộng kết quả cổ điển của Oseledets và Arnold ở điểm nào?

Các định lý MET cổ điển của Oseledets (1968) và Arnold (1998) chỉ áp dụng cho dòng ngẫu nhiên không suy biến (tức các ma trận chuyển trạng thái $B_n$ khả nghịch hầu chắc chắn và $A_n = I$). Luận án của Vũ Tiến Việt đã mở rộng định lý này cho trường hợp cả hai ma trận $A(\theta^n \omega)$ và $B(\theta^n \omega)$ đều suy biến, thiết lập sự tồn tại của số mũ Lyapunov đúng và phân rã không gian $\mathbb{R}^d$ thành tổng trực tiếp của các không gian con bất biến $\bigoplus_{i=0}^\tau W_i(\omega)$ cho hệ có chỉ số 1 và chỉ số 2.

Kết luận

Luận án tiến sĩ của tác giả Vũ Tiến Việt đã giải quyết một cách có hệ thống bài toán xây dựng lý thuyết hệ động lực ngẫu nhiên ẩn rời rạc thông qua khái niệm chỉ số 1 mềm và chỉ số 2 mềm. Bằng việc phát triển kỹ thuật phép chiếu chuẩn tắc độc lập và chứng minh tính giao hoán của các toán tử chiếu tiến – lùi, công trình đã thiết lập công thức nghiệm tường minh, chứng minh tính chất đồng chu trình suy biến trên toàn trục số nguyên $\mathbb{Z}$ và mở rộng thành công Định lý ergodic nhân tính (MET) cùng phân hoạch Furstenberg – Kifer cho lớp phương trình sai phân ngẫu nhiên ẩn suy biến. Kết quả nghiên cứu là bước phát triển lý thuyết có ý nghĩa khoa học vững chắc, đồng thời cung cấp công cụ toán học trực tiếp để phân tích các mô hình ngẫu nhiên suy biến trong sinh học quần thể và kinh tế học.