Tổng quan luận án

Lý thuyết định tính phương trình vi phân và lý thuyết ổn định nghiệm là một hướng nghiên cứu trung tâm trong lý thuyết điều khiển hệ thống, đóng vai trò giải quyết các bài toán nảy sinh từ thực tiễn cơ học, vật lý, hóa học, công nghệ thông tin, cũng như các mô hình kinh tế, môi trường và sinh thái học quần thể. Trong thực tế, nhiều quá trình động lực được mô tả thông qua các lớp phương trình vi phân có trễ. Sự xuất hiện của các yếu tố trễ thời gian tác động trực tiếp đến dáng điệu tiệm cận của nghiệm và làm thay đổi tính ổn định của hệ thống.

Đối với các hệ phương trình tuyến tính dừng hoặc có trễ hằng số, phương pháp hàm Lyapunov thông qua việc xây dựng các phiếm hàm Lyapunov-Krasovskii kết hợp bất đẳng thức ma trận tuyến tính (LMI) và kỹ thuật tối ưu lồi đã mang lại nhiều kết quả hữu hiệu. Tuy nhiên, các hệ thống thực tế và nhân tạo—đặc biệt là các mạng nơron nhân tạo và mô hình sinh thái học quần thể—thường mang đặc trưng phi tuyến và không dừng (hệ số biến thiên theo thời gian). Trong các hệ này, trễ tỉ lệ là lớp trễ biến thiên không bị chặn theo thời gian (dạng $q_{ij}t = t - (1 - q_{ij})t \to \infty$ khi $t \to \infty$). Việc nghiên cứu dáng điệu tiệm cận và tính ổn định cho các lớp hệ này gặp nhiều khó khăn, đòi hỏi việc phát triển các công cụ giải tích đặc thù thay cho các cách tiếp cận truyền thống.

Luận án xác định các mục tiêu và nội dung nghiên cứu cụ thể, được tổ chức thành ba nội dung chính:

  1. Nghiên cứu tính ổn định trong thời gian hữu hạn và dáng điệu tiệm cận (tính đồng bộ nghiệm với tốc độ lũy thừa) của lớp phương trình vi phân phi tuyến mô tả mạng nơron Hopfield với hệ số biến thiên và trễ tỉ lệ không đồng nhất.
  2. Phân tích tính tiêu hao toàn cục và thiết lập các điều kiện tồn tại tập hấp thụ dạng mũ suy rộng cho lớp hệ phương trình vi phân mô tả mạng nơron Hopfield không dừng chứa trễ tỉ lệ trong cả hai trường hợp: hệ số tự phản hồi chính quy và hệ số tự phản hồi suy biến.
  3. Khảo sát sự tồn tại, tính duy nhất, tính bền vững đều và tính hút toàn cục của nghiệm tuần hoàn dương đối với mô hình Nicholson có trễ chứa tốc độ suy giảm mật độ phi tuyến, đồng thời áp dụng cho trường hợp hệ số hằng để xác định tính hút toàn cục của điểm cân bằng dương.

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

  • Đối tượng nghiên cứu: Lớp hệ phương trình vi phân phi tuyến dạng Hopfield có hệ số biến thiên chứa đa trễ tỉ lệ, lớp hệ nơron không dừng chứa trễ tỉ lệ, và mô hình động lực học quần thể Nicholson có đa trễ biến thiên với hàm suy thoái phi tuyến.
  • Phạm vi nghiên cứu: Xét các trạng thái trong không gian Euclide $n$ chiều $\mathbb{R}^n$ và không gian hàm liên tục; khảo sát tính chất động lực học trên khoảng thời gian hữu hạn $[0, T]$ (đối với tính ổn định hữu hạn) và trên khoảng thời gian vô hạn $[0, \infty)$ (đối với tính ổn định tiệm cận, tính đồng bộ lũy thừa, tính tiêu hao toàn cục và nghiệm tuần hoàn).

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

Luận án điểm lại các kết quả nghiên cứu và bước phát triển lý thuyết liên quan trực tiếp đến các chủ đề khảo sát:

  • Hướng nghiên cứu mạng nơron và độ trễ truyền tải: Các hệ động lực cấu trúc mạng nơron được nghiên cứu và ứng dụng trong xử lý tín hiệu số, nhận dạng mẫu, ước lượng tham số và trí tuệ nhân tạo. Trong các mạng này, trễ truyền tải qua các kênh băng thông hạn chế là yếu tố khó tránh khỏi. Trễ tỉ lệ được sử dụng để mô tả quá trình truyền tín hiệu giữa các tầng nơron. Phần lớn các công trình trước đây chỉ tập trung vào mô hình mạng nơron có trọng số kết nối hằng số và độ trễ bị chặn, hoặc sử dụng phép đổi biến trạng thái $x(t) = y(\ln t)$ để chuyển trễ tỉ lệ về trễ hằng đối với hệ dừng.
  • Hướng nghiên cứu tính ổn định trong thời gian hữu hạn (Finite-Time Stability - FTS): Khái niệm FTS ra đời từ nửa sau thế kỷ XX và được ứng dụng nhiều trong các mô hình điều khiển cơ học. Khác với tính ổn định theo Lyapunov (LS) mang bản chất định tính và xét dáng điệu nghiệm khi thời gian tiến ra vô hạn, FTS mang tính định lượng, yêu cầu quỹ đạo nghiệm xuất phát từ một tập trạng thái ban đầu không vượt quá một ngưỡng xác định trên một khoảng thời gian $[0, T]$ cho trước. FTS và LS là hai khái niệm độc lập; một hệ đạt FTS có thể không ổn định theo Lyapunov và ngược lại.
  • Hướng nghiên cứu tính tiêu hao và tập hấp thụ: Đặc tính tiêu hao của hệ phương trình vi phân hàm được thể hiện qua sự tồn tại của một tập compact hấp thụ bị chặn. Các công cụ truyền thống để chứng minh tính tiêu hao thường dựa trên bất đẳng thức Halanay và các biến thể cải biên, hoặc kỹ thuật đổi biến. Tuy nhiên, bất đẳng thức Halanay truyền thống đòi hỏi hệ số tiêu hao phải xác định âm đều, trong khi phương pháp đổi biến không thể áp dụng cho các hệ có hệ số biến thiên theo thời gian.
  • Hướng nghiên cứu mô hình sinh thái quần thể Nicholson: Mô hình Nicholson nguyên bản được đề xuất vào năm 1954 để mô tả sự sinh trưởng của quần thể ve châu Úc qua phương trình vi phân có trễ $N'(t) = -\alpha N(t) + \beta N(t-\tau)e^{-\gamma N(t-\tau)}$. Các biến thể có trễ, có yếu tố thu hoạch và hệ Nicholson $n$ chiều đã được phát triển trong nhiều công trình. Phần lớn các nghiên cứu đã công bố đều giả định tốc độ suy thoái dân số phụ thuộc tuyến tính vào mật độ ($D(N) = \alpha N$). Tuy nhiên, đối với các quần thể có mật độ cao hoặc trong các khu bảo tồn biển, tốc độ suy thoái thường phụ thuộc phi tuyến vào trạng thái mật độ, chẳng hạn dạng $D(N) = a - b e^{-N}$ (loại I) hoặc $D(N) = aN/(b+N)$ (loại II).

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

  • Luận án lấp đầy khoảng trống về lý thuyết ổn định hữu hạn cho mô hình mạng nơron Hopfield có hệ số kết nối biến thiên và trễ tỉ lệ không đồng nhất.
  • Luận án giải quyết bài toán phân tích tính tiêu hao toàn cục cho các hệ có hệ số biến thiên chứa trễ tỉ lệ không thể áp dụng phép đổi biến, đồng thời xử lý được cả trường hợp hệ số tự phản hồi bị suy biến ($\inf_{t \ge 0} a_i(t) = 0$).
  • Luận án mở rộng việc phân tích dáng điệu tiệm cận của mô hình Nicholson sang trường hợp chứa đa trễ biến thiên, hệ số biến thiên tuần hoàn và tốc độ suy thoái phi tuyến dạng $D(t, N) = a(t) - b(t)e^{-N}$.

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

Luận án vận dụng hệ thống các khái niệm, công cụ giải tích và phương pháp toán học định tính:

  • Lý thuyết M-ma trận: Ma trận $A = (a_{ij}) \in \mathbb{R}^{n \times n}$ là một M-ma trận nếu các phần tử ngoài đường chéo $a_{ij} \le 0$ ($\forall i \neq j$) và mọi định thức con chính đều dương. Luận án khai thác các tính chất tương đương của M-ma trận không suy biến: phần thực của mọi giá trị riêng đều dương ($\text{Re}\lambda_j > 0$), tồn tại biểu diễn $A = s I_n - B$ với $B \ge 0$ và $s > \rho(B)$, và tồn tại vector dương $\xi \succ 0$ sao cho $A\xi \succ 0$.
  • Lý thuyết ổn định Lyapunov và ổn định hữu hạn: Luận án sử dụng các định nghĩa về ổn định đều, ổn định tiệm cận toàn cục đều, ổn định mũ toàn cục (GES), cùng với định nghĩa ổn định hữu hạn FTS đối với bộ tham số $(t_0, T, r_1, r_2, R)$ hoặc theo chuẩn cực đại $|\cdot|_\infty$.
  • Đạo hàm Dini và hàm dấu suy rộng: Đạo hàm Dini trên bên phải được xác định bởi: $$D^+ v(t) = \limsup_{h \to 0^+} \frac{v(t+h) - v(t)}{h}$$ Kết hợp với hàm dấu suy rộng $\sigma_f(t)$, luận án sử dụng công thức $D^+ |f(t)| = f'(t)\sigma_f(t)$ để ước lượng các đạo hàm của chuẩn trạng thái tại các điểm không khả vi thông thường.
  • Phương pháp nghiên cứu:
    • Phương pháp giải tích định tính phương trình vi phân: Sử dụng nguyên lý so sánh kết hợp các bất đẳng thức vi phân và bất đẳng thức vi-tích phân để xây dựng các hàm chặn trên và chặn dưới cho quỹ đạo nghiệm.
    • Kỹ thuật ma trận và đại số tuyến tính: Chuyển đổi các điều kiện ổn định và tiêu hao về bài toán kiểm tra tính chất phổ của M-ma trận và sự tồn tại của vector riêng dương tương ứng.
    • Phương pháp mô phỏng số: Sử dụng các ví dụ số trị cụ thể để tính toán nghiệm, vẽ quỹ đạo pha và so sánh các ngưỡng điều kiện với các kết quả đã công bố trong y văn.

Nguồn tư liệu và dữ liệu của luận án bao gồm các hệ phương trình vi phân hàm phi tuyến mô tả mạng Hopfield và mô hình sinh thái Nicholson, được trích xuất và kế thừa từ các công trình toán học và sinh học lý thuyết tiêu biểu.

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

Chương 1: Sơ bộ một số kết quả liên quan

Chương 1 hệ thống hóa các kết quả bổ trợ về giải tích ma trận, phương trình vi phân hàm và lý thuyết ổn định, tạo cơ sở cho các chương nghiên cứu chuyên sâu:

  • Trình bày các mệnh đề tương đương của M-ma trận không suy biến và bổ đề tồn tại vector $\chi \succ 0$ thỏa mãn $|\chi|_\infty = 1$ và $A\chi \succ 0$.
  • Khái quát lý thuyết phương trình vi phân có trễ $x'(t) = f(t, x_t)$, các điều kiện đảm bảo sự tồn tại và duy nhất nghiệm toàn cục theo điều kiện Lipschitz và điều kiện kiểu tăng trưởng tuyến tính hoặc dạng Nagumo.
  • Phân tích chi tiết khái niệm ổn định trong thời gian hữu hạn (FTS), minh họa sự độc lập giữa FTS và ổn định tiệm cận Lyapunov qua hai phương trình vi phân:
    • Phương trình $x'(t) = -\frac{t+2}{t+1}x(t)$ ổn định tiệm cận toàn cục theo Lyapunov nhưng không đạt FTS đối với bộ tham số $(r_1, r_2, T) = (1, 1.5, 10)$.
    • Phương trình $x'(t) = -\frac{t}{t+6}x(t)$ đạt FTS đối với $(r_1, r_2, T) = (1, 1.5, 10)$ nhưng không ổn định tiệm cận theo Lyapunov.
  • Trình bày định lý ổn định hữu hạn của hệ tuyến tính chứa trễ hỗn hợp biến thiên dựa trên phiếm hàm Lyapunov-Krasovskii và điều kiện ma trận tuyến tính LMI: $\Pi = \Pi_0 + \Pi_1 + \Pi_2 < 0$.
  • Tổng kết các cách tiếp cận phân tích tính tiêu hao toàn cục thông qua bất đẳng thức Halanay cải biên và phương pháp đổi biến thời gian $y(t) = x(e^t)$, đồng thời chỉ ra giới hạn của phương pháp đổi biến khi áp dụng cho hệ có hệ số biến thiên.

Chương 2: Tính ổn định hữu hạn của lớp hệ phương trình vi phân mô tả mạng nơron Hopfield với hệ số biến thiên và trễ tỉ lệ

Chương 2 tập trung khảo sát mô hình mạng nơron Hopfield với đa trễ tỉ lệ: $$x'i(t) = -a_i(t)x_i(t) + \sum{j=1}^n b_{ij}(t)f_j(x_j(t)) + \sum_{j=1}^n c_{ij}(t)g_j(x_j(q_{ij}t)) + I_i(t), \quad t > 0$$ với điều kiện ban đầu $x_i(0) = x_{0i}$, trong đó $a_i(t) \ge \underline{a}i > 0$, $|b{ij}(t)| \le \bar{b}{ij}$, $|c{ij}(t)| \le \bar{c}{ij}$, $q{ij} \in (0, 1)$, và các hàm kích hoạt thỏa mãn điều kiện Lipschitz với các hằng số $L_{fi}, L_{gi}$.

Đặt $\underline{A} = \text{diag}{\underline{a}1, \dots, \underline{a}n}$, $\bar{B} = (\bar{b}{ij})$, $\bar{C} = (\bar{c}{ij})$, và $M = \bar{B}L_f + \bar{C}L_g - \underline{A}$.

  • Thiết lập điều kiện ổn định hữu hạn (Định lý 2.1): Với các số $0 < r_1 < r_2$ và thời gian $T > 0$, hệ đạt ổn định hữu hạn đối với $(r_1, r_2, T)$ nếu tồn tại số dương $\gamma$ và vector $\xi \succ 0$ sao cho: $$(M - \gamma I)\xi \prec 0 \quad \text{và} \quad C(\xi)e^{\gamma T} < \frac{r_2}{r_1}$$ trong đó $C(\xi) = \xi^+ / \xi^-$ với $\xi^+ = \max_{i} \xi_i$ và $\xi^- = \min_{i} \xi_i$.
  • Chứng minh tính đồng bộ nghiệm tiệm cận (Định lý 2.2): Nếu $-M$ là một M-ma trận không suy biến, hai nghiệm bất kỳ $x(t)$ và $x^(t)$ của hệ sẽ đồng bộ với tốc độ suy giảm kiểu lũy thừa: $$|x(t) - x^(t)|\infty \le \beta \frac{|x(0) - x^*(0)|\infty}{(1+t)^{\sigma_0}}, \quad \forall t \ge 0$$ Đồng thời, luận án xây dựng thuật toán xác định tốc độ đồng bộ cực đại $\sigma_{\max}$ từ việc giải hệ phương trình phi tuyến liên quan đến $\xi$ và $q_{ij}$.
  • Phân tích ví dụ số và so sánh:
    • Luận án đưa ra ví dụ hệ cấp 2 có ma trận $M = \begin{pmatrix} -2 & 2 \ 2 & -2 \end{pmatrix}$ với $\det(M) = 0$ (suy biến), nhưng với mọi $\gamma > 0$, ma trận $\gamma I - M$ là M-ma trận không suy biến. Kết quả tính toán cho thấy hệ ổn định hữu hạn trên đoạn $[0, T]$ với $T_{\max} = 18.005$ (mô phỏng tại $T = 15$).
    • Xét ví dụ phương trình $x'(t) = -(1+e^{-t})x(t) + (1-e^{-t})x(0.5t)$, chứng minh hệ thỏa mãn điều kiện FTS với mọi $T > 0$ nhưng không ổn định tiệm cận Lyapunov vì $\liminf_{t\to\infty} x(t) \ge x_0 e^{-2} > 0$.
    • So sánh với các điều kiện trong các công bố của tác giả khác (như điều kiện dựa trên bán kính phổ ma trận $K$ hoặc bất đẳng thức ma trận với tham số $\beta$), luận án chỉ ra trường hợp các điều kiện trước đây không thỏa mãn ($\rho(K) > 1$) nhưng tiêu chuẩn M-ma trận của luận án vẫn nghiệm đúng.

Chương 3: Tính tiêu hao của lớp hệ phương trình vi phân mô tả mạng nơron không dừng chứa trễ tỉ lệ

Chương 3 nghiên cứu tính tiêu hao toàn cục và tập hấp thụ cho hệ mạng nơron Hopfield không dừng chứa trễ tỉ lệ: $$x'i(t) = -a_i(t)x_i(t) + \sum{j=1}^n b_{ij}(t)f_j(x_j(t)) + \sum_{j=1}^n c_{ij}(t)g_j(x_j(q_{ij}t)) + I_i(t)$$ dưới các giả thiết bị chặn $|b_{ij}(t)| \le \bar{b}{ij}$, $|c{ij}(t)| \le \bar{c}_{ij}$, $|I_i(t)| \le \bar{I}_i$ và tính chất Lipschitz của các hàm kích hoạt.

  • Thiết lập điều kiện tiêu hao cho trường hợp hệ số phản hồi chính quy ($a_i(t) \ge \underline{a}_i > 0$):
    • Định nghĩa ma trận $M = \underline{A} - \bar{B}L_f - \bar{C}L_g$.
    • Định lý 3.1 chứng minh rằng nếu $M$ là một M-ma trận không suy biến, thì hệ là tiêu hao toàn cục. Tập compact: $$\Omega = \left{ x \in \mathbb{R}^n : |x|\infty \le \frac{\gamma^*}{(M\chi)^-} \right}$$ là tập hút mũ suy rộng của hệ với tốc độ hút thỏa mãn đánh giá: $$\rho(x(t), \Omega) \le \kappa(|x_0|\infty) (1+t)^{-\hat{\alpha}}$$ trong đó $\chi \succ 0$, $|\chi|\infty = 1$, $M\chi \succ 0$, và $\gamma^* = \max{i} \left{ \sum_{j=1}^n (\bar{b}{ij}|f_j(0)| + \bar{c}{ij}|g_j(0)|) + \bar{I}_i \right}$.
  • Phân tích trường hợp hệ số phản hồi suy biến: Khảo sát trường hợp $a_i(t) > 0$ nhưng $\inf_{t \ge 0} a_i(t) = 0$, phát triển bất đẳng thức so sánh để xác định tính tiêu hao và kích thước tập hấp thụ mà không đòi hỏi tính xác định dương đều của ma trận tự phản hồi.
  • Minh họa bằng các ví dụ số trị để xác định bán kính tập hấp thụ $\Omega$ và quỹ đạo hội tụ của nghiệm trạng thái.

Chương 4: Tính hút toàn cục của nghiệm tuần hoàn dương của một mô hình Nicholson có trễ

Chương 4 nghiên cứu mô hình động lực học quần thể Nicholson tổng quát với đa trễ biến thiên và tốc độ suy thoái phi tuyến: $$N'(t) = -D(t, N(t)) + \sum_{k=1}^p \beta_k(t)N(t-\tau_k(t))e^{-\gamma_k(t)N(t-\tau_k(t))}$$ với hàm suy giảm phi tuyến dạng $D(t, N) = a(t) - b(t)e^{-N}$.

  • Thiết lập tính dương toàn cục và tính bền vững đều (Uniform Persistence): Chứng minh mọi nghiệm xuất phát từ điều kiện ban đầu dương sẽ tồn tại duy nhất trên toàn trục thời gian và bị chặn dưới, chặn trên bởi các hằng số dương độc lập với điều kiện ban đầu sau một khoảng thời gian đủ lớn: $$0 < m_0 \le \liminf_{t \to \infty} N(t) \le \limsup_{t \to \infty} N(t) \le M_0 < \infty$$
  • Chứng minh tính hút toàn cục của nghiệm tuần hoàn dương: Trong trường hợp các hệ số $a(t), b(t), \beta_k(t), \gamma_k(t), \tau_k(t)$ là các hàm tuần hoàn cùng chu kỳ $\omega > 0$, luận án chứng minh sự tồn tại duy nhất của một nghiệm tuần hoàn dương $N^*(t)$ và nghiệm này có tính chất hút toàn cục đối với mọi nghiệm dương khác của phương trình.
  • Khảo sát trường hợp hệ số hằng: Áp dụng các kết quả giải tích cho mô hình Nicholson hệ số dừng, xác lập điều kiện đủ để tồn tại duy nhất một điểm cân bằng dương $N^*$ và chứng minh điểm cân bằng này là hút toàn cục.
  • Mô phỏng số: Cung cấp các ví dụ số trị và biểu đồ mô phỏng dạng sóng của nghiệm tuần hoàn dương, minh họa sự hội tụ của các quỹ đạo nghiệm xuất phát từ các mức mật độ ban đầu khác nhau về quỹ đạo tuần hoàn duy nhất.

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

Luận án đã đạt được các kết quả khoa học cụ thể sau:

  1. Xây dựng hệ điều kiện đủ thông qua tính chất phổ của M-ma trận để đảm bảo tính ổn định trong thời gian hữu hạn (FTS) cho lớp hệ phương trình vi phân mô tả mạng nơron Hopfield với hệ số biến thiên và đa trễ tỉ lệ không đồng nhất.
  2. Thiết lập tiêu chuẩn M-ma trận đảm bảo tính đồng bộ nghiệm tiệm cận với tốc độ lũy thừa khi thời gian tiến ra vô hạn, đồng thời đề xuất thuật toán giải tích xác định tốc độ đồng bộ cực đại $\sigma_{\max}$.
  3. Chứng minh tính tiêu hao toàn cục và sự tồn tại của tập hấp thụ dạng mũ suy rộng cho lớp hệ phương trình vi phân mạng nơron không dừng chứa trễ tỉ lệ trong cả hai trường hợp: hệ số tự phản hồi chính quy và hệ số tự phản hồi suy biến.
  4. Chứng minh sự tồn tại toàn cục, tính bền vững đều và tính tiêu hao đều của nghiệm dương đối với mô hình Nicholson có đa trễ biến thiên và tốc độ suy thoái phi tuyến dạng $D(t, N) = a(t) - b(t)e^{-N}$.
  5. Thiết lập điều kiện đảm bảo sự tồn tại duy nhất và tính hút toàn cục của nghiệm tuần hoàn dương đối với mô hình Nicholson tuần hoàn có trễ, đồng thời suy rộng cho bài toán xác định điểm cân bằng dương hút toàn cục trong trường hợp hệ số hằng.

Các kết quả nghiên cứu trong luận án đã được công bố trong 03 công trình khoa học trên các tạp chí quốc tế thuộc danh mục ISI và được báo cáo tại:

  • Xemina Phương trình vi phân và tích phân, Bộ môn Giải tích, Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội.
  • Hội nghị khoa học của nghiên cứu sinh, Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội.
  • Xemina Phòng Tối ưu và Điều khiển, Viện Toán học, Viện Hàn lâm Khoa học và Công nghệ Việt Nam.

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

Dựa trên phạm vi và nội dung học thuật được trình bày trong văn bản luận án:

  • Hạn chế:
    • Các kết quả về tính ổn định và tính tiêu hao trong luận án chủ yếu dựa trên các chặn cận trên và cận dưới hằng số của các ma trận hệ số biến thiên, do đó chưa phản ánh toàn diện các đặc tính dao động nội tại của hệ số theo thời gian.
    • Mô hình mạng nơron khảo sát dừng lại ở cấu trúc Hopfield với trễ tỉ lệ dạng $q_{ij}t$, chưa mở rộng sang các dạng trễ phân phối không bị chặn phức tạp hơn hoặc mạng nơron có cấu trúc ngẫu nhiên.
    • Đối với mô hình sinh thái, luận án tập trung giải quyết hàm suy giảm phi tuyến dạng loại I ($D(N) = a - be^{-N}$), chưa khảo sát trực tiếp cho dạng loại II ($D(N) = aN/(b+N)$).
  • Hướng nghiên cứu tiếp:
    • Mở rộng phương pháp so sánh M-ma trận để khảo sát tính ổn định hữu hạn và tính tiêu hao cho các lớp mạng nơron nhân tạo bậc cao, mạng nơron tế bào (CNNs) hoặc hệ có trễ trung hòa chứa trễ tỉ lệ.
    • Nghiên cứu tính ổn định và dáng điệu nghiệm của các mô hình sinh thái học quần thể nhiều loài tương tác với các dạng hàm suy thoái phi tuyến bậc cao và trễ biến thiên hỗn hợp.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo cho:

  • Nghiên cứu sinh, học viên cao học và giảng viên thuộc chuyên ngành Phương trình vi phân và tích phân, Toán giải tích, Toán ứng dụng và Lý thuyết điều khiển hệ thống.
  • Các nhà nghiên cứu trong lĩnh vực trí tuệ nhân tạo, khoa học tính toán và sinh học toán học quan tâm đến việc phân tích ổn định định lượng (FTS) cho mạng nơron và mô hình hóa động lực học dân số phi tuyến.
  • Các phần có giá trị tham khảo nổi bật bao gồm:
    • Kỹ thuật xây dựng hàm so sánh kết hợp tính chất vector riêng của M-ma trận để đánh giá chuẩn cực đại $|\cdot|_\infty$.
    • Phương pháp phân tích tính tiêu hao toàn cục không phụ thuộc vào phép đổi biến thời gian đối với các hệ chứa trễ tỉ lệ.
    • Phương pháp chứng minh tính bền vững đều và nghiệm tuần hoàn dương hút toàn cục cho phương trình vi phân hàm phi tuyến trong sinh thái học.

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

1. Khái niệm ổn định trong thời gian hữu hạn (FTS) khác biệt như thế nào so với tính ổn định theo nghĩa Lyapunov (LS)?

Tính ổn định theo Lyapunov là một khái niệm mang tính định tính, xác định dáng điệu tiệm cận của quỹ đạo nghiệm khi thời gian tiến ra vô hạn ($t \to \infty$) dưới các nhiễu loạn ban đầu nhỏ. Ngược lại, ổn định trong thời gian hữu hạn (FTS) mang tính định lượng, đòi hỏi mọi quỹ đạo nghiệm xuất phát từ một tập trạng thái ban đầu cho trước $X_0$ (chẳng hạn hình cầu bán kính $r_1$) không vượt ra ngoài một vùng biên giới hạn $X_t$ (hình cầu bán kính $r_2$, với $r_2 > r_1$) trong suốt một khoảng thời gian $[0, T]$ xác định trước. Hai khái niệm này độc lập với nhau: một hệ có thể đạt FTS nhưng không ổn định tiệm cận theo Lyapunov, và ngược lại.

2. Tại sao phương pháp đổi biến thời gian thông thường không áp dụng được cho mô hình mạng nơron trong Chương 2 và Chương 3?

Phương pháp đổi biến thời gian thông thường sử dụng phép biến đổi $y(t) = x(e^t)$ để chuyển trễ tỉ lệ $x(qt)$ thành trễ hằng số $y(t - \tau)$ với $\tau = -\ln q$. Tuy nhiên, phương pháp này chỉ thực hiện được khi các ma trận hệ số kết nối và hệ số tự phản hồi là các hằng số. Khi hệ có các hệ số biến thiên theo thời gian $a_i(t), b_{ij}(t), c_{ij}(t)$, phép đổi biến sẽ dẫn đến các hệ số có tốc độ biến đổi dạng hàm mũ theo biến mới, làm cấu trúc hệ phương trình phức tạp hơn và vô hiệu hóa các kỹ thuật giải tích dừng. Do đó, luận án phải sử dụng nguyên lý so sánh vi phân trực tiếp.

3. Ma trận $M$ và M-ma trận đóng vai trò gì trong việc thiết lập điều kiện ổn định của luận án?

Ma trận $M$ được xây dựng từ các cận chặn của hệ số kết nối, hằng số Lipschitz của hàm kích hoạt và tốc độ tự ức chế ($\underline{A}$). Việc ma trận $-M$ hoặc $\gamma I - M$ là một M-ma trận không suy biến đảm bảo sự tồn tại của một vector dương $\xi \succ 0$ sao cho các bất đẳng thức vi phân đánh giá sai số trạng thái luôn có vế phải bị chặn bởi hàm mũ suy giảm hoặc hàm lũy thừa. Điều này cho phép kiểm tra tính ổn định hữu hạn và tính đồng bộ thông qua các phép toán đại số ma trận đơn giản thay vì phải tìm kiếm các phiếm hàm Lyapunov phức tạp.

4. Điểm mới của mô hình Nicholson được khảo sát trong Chương 4 là gì?

Mô hình Nicholson trong Chương 4 được mở rộng với hai đặc điểm quan trọng: thứ nhất, mô hình chứa đa trễ biến thiên theo thời gian $\tau_k(t)$ và các hệ số biến thiên tuần hoàn; thứ hai, tốc độ suy thoái số lượng cá thể được mô tả bằng hàm phi tuyến phụ thuộc trạng thái mật độ dạng $D(t, N) = a(t) - b(t)e^{-N}$ (loại I), thay vì tốc độ suy giảm tuyến tính $D(N) = \alpha N$ như trong mô hình cổ điển và phần lớn các nghiên cứu trước đây.

5. Kết quả của luận án đã được công bố trên các phương tiện học thuật nào?

Các kết quả chính của luận án đã được công bố trong 03 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục ISI, đồng thời được báo cáo và thảo luận tại các xemina chuyên môn của Bộ môn Giải tích (Trường ĐH Sư phạm Hà Nội), Hội nghị khoa học nghiên cứu sinh của Trường ĐH Sư phạm Hà Nội, và Xemina Phòng Tối ưu và Điều khiển (Viện Toán học, VAST).

Kết luận

Luận án của nghiên cứu sinh Đoàn Thái Sơn đã giải quyết có hệ thống bài toán phân tích tính ổn định trong thời gian hữu hạn, tính đồng bộ lũy thừa và tính tiêu hao toàn cục cho lớp hệ phương trình vi phân mô tả mạng nơron Hopfield không dừng chứa đa trễ tỉ lệ, đồng thời chứng minh sự tồn tại duy nhất và tính hút toàn cục của nghiệm tuần hoàn dương cho mô hình sinh thái Nicholson với tốc độ suy thoái phi tuyến. Bằng việc kết hợp nguyên lý so sánh vi phân với lý thuyết phổ của M-ma trận, công trình đã thiết lập được các tiêu chuẩn giải tích tường minh, khắc phục hạn chế của các phương pháp đổi biến và phiếm hàm Lyapunov truyền thống đối với các hệ phi tuyến có trễ không bị chặn. Các kết quả đạt được có giá trị khoa học trong chuyên ngành Phương trình vi phân và tích phân, đồng thời cung cấp cơ sở lý thuyết cho các ứng dụng trong kỹ thuật mạng nơron và động lực học quần thể sinh thái.