Tổng quan về luận án

Lý thuyết ổn định cho các hệ động lực phi tuyến có trễ đóng vai trò nền tảng trong toán học ứng dụng và điều khiển học hiện đại. Luận án tiến sĩ toán học của nghiên cứu sinh Lê Thị Hồng Dung với tiêu đề "Stability of Positive Solutions of Nonlinear Differential Equations with Delays in Neural Networks" (Chuyên ngành: Phương trình vi phân và tích phân, Mã số: 9460103; người hướng dẫn: PGS.TS Lê Văn Hiện, thực hiện tại Trường Đại học Sư phạm Hà Nội) đã giải quyết trọn vẹn những bài toán cốt lõi về tính dương và tính ổn định định tính của ba lớp mô hình mạng nơron tiên tiến: mạng liên tưởng hai chiều Cohen-Grossberg (BAM-CGNNs), mạng BAM với đạo hàm phân thứ tương thích (CFD-BAM), và mạng BAM quán tính bậc hai (Inertial BAM).

Khoảng trống nghiên cứu (Research Gap) lớn nhất trong y văn quốc tế nằm ở chỗ: phần lớn các công trình kinh điển của Lyapunov, Cohen & Grossberg (1983) hay Kosko (1988) chủ yếu khảo sát tính ổn định của hệ động lực trên toàn bộ không gian thực $\mathbb{R}^n$, chưa xét tới tính bất biến của nón dương trạng thái $\mathbb{R}_+^n$. Khi áp dụng vào các đối tượng sinh thái học, dịch tễ học, mạng lưới viễn thông hay phần cứng mô phỏng thần kinh (neuromorphic hardware), các biến trạng thái bắt buộc phải mang giá trị không âm (positive systems). Hơn nữa, việc sử dụng các bất đẳng thức ma trận tuyến tính (LMI) truyền thống thường dẫn đến độ phức tạp tính toán rất lớn và không khai thác được tính đơn điệu tự nhiên của hệ dương.

Nghiên cứu tập trung giải quyết ba câu hỏi nghiên cứu và ba giả thuyết khoa học tương ứng:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để thiết lập điều kiện đại số khả thi đảm bảo tính dương toàn cục và tính ổn định mũ toàn cục (GES) cho mô hình BAM-Cohen-Grossberg chứa đồng thời trễ biến thiên $\tau_i(t), \sigma_j(t)$ và hàm tự ức chế phi tuyến $\phi_i(x_i), \psi_j(y_j)$?
  • Câu hỏi nghiên cứu 2 (RQ2): Quy luật phân rã nghiệm và tiêu chuẩn ổn định mũ phân thứ toàn cục (GFES) của hệ nơron BAM dưới tác động của toán tử đạo hàm phân thứ tương thích (Conformable Fractional Derivative - CFD) được xây dựng như thế nào?
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để khử số hạng tắt dần đạo hàm cấp hai trong mạng nơron quán tính (Inertial BAM) để chứng minh tính dương và tính hút mũ toàn cục của điểm cân bằng dương?

Tương ứng với các câu hỏi trên là 3 giả thuyết nghiên cứu cụ thể:

  • Giả thuyết 1 (H1): Tồn tại một khung điều kiện dạng Quy hoạch Tuyến tính (Linear Programming - LP) kết hợp lý thuyết M-ma trận độc lập với độ trễ (delay-independent) bảo toàn tính ổn định mũ cho hệ BAM-CGNNs phi tuyến.
  • Giả thuyết 2 (H2): Dưới cấu trúc đạo hàm tương thích cấp $\alpha \in (0, 1]$, nghiệm của hệ CFD-BAM hội tụ về điểm cân bằng dương duy nhất theo hàm mũ phân thứ $e^{-\lambda \frac{(t-t_0)^\alpha}{\alpha}}$.
  • Giả thuyết 3 (H3): Phép biến đổi trạng thái dương khả thi khi và chỉ khi hệ số tắt dần và hệ số tự ức chế thỏa mãn điều kiện đại số chéo trội bậc hai $A^2 - 4C \succ 0$ và $B^2 - 4D \succ 0$.

Khung lý thuyết của luận án được xây dựng dựa trên sự giao thoa giữa lý thuyết ổn định Lyapunov, lý thuyết M-ma trận, lý thuyết điểm bất động Brouwer, giải tích hàm phi tuyến và lý thuyết hệ động lực đơn điệu. Luận án khảo sát không gian mạng tổng quát gồm $n$ nơron thuộc lớp $X$ liên kết hai chiều với $m$ nơron thuộc lớp $Y$, chịu trễ truyền thông biến thiên liên tục $0 \le \tau_i(t) \le \tau$ và $0 \le \sigma_j(t) \le \sigma$, mang lại giá trị khoa học đột phá cả về giải tích định tính lẫn khả năng ứng dụng kỹ thuật.

Literature Review và Positioning

Khảo sát tiến trình phát triển của lý thuyết mạng nơron và hệ phương trình vi phân trễ cho thấy bốn dòng nghiên cứu chính:

  1. Kiến trúc mạng nơron kinh điển: Khởi đầu từ công trình của Hopfield (1982) về mạng Hopfield (HNNs), Cohen & Grossberg (1983) về nguyên lý kích hoạt tự điều chỉnh (CGNNs), và Kosko (1988) với mô hình bộ nhớ liên tưởng hai chiều (BAM).
  2. Lý thuyết hệ dương (Positive Systems): Được hệ thống hóa bởi Luenberger (1979), Farina & Rinaldi (2000), và Kaczorek (2002), khẳng định quỹ đạo trạng thái luôn thuộc nón dương $\mathbb{R}_+^n$ nếu trạng thái ban đầu và đầu vào không âm.
  3. Giải tích phân thứ tương thích (Conformable Fractional Calculus): Giới thiệu bởi Khalil et al. (2014) và phát triển bởi Abdeljawad (2015), khắc phục các hạn chế tính toán phức tạp của đạo hàm Riemann-Liouville hay Caputo truyền thống.
  4. Mạng nơron quán tính (Inertial Neural Networks): Đề xuất bởi Babcock & Westervelt (1986), bổ sung số hạng quán tính đạo hàm cấp hai $x''(t)$ để mô tả các hiện tượng động lực học phức tạp và dao động hỗn loạn.

Trong y văn tồn tại tranh luận học thuật sâu sắc giữa hai trường phái:

  • Trường phái tiếp cận LMI (Linear Matrix Inequalities): Các nghiên cứu như Zhang et al. (2020) sử dụng hàm Lyapunov-Krasovskii phụ thuộc trễ kết hợp kỹ thuật phân tích ma trận phức tạp. Nhược điểm là dẫn đến số lượng biến ma trận bùng nổ khi số nơron $(n+m)$ tăng cao, khó áp dụng cho các hệ có hàm khuếch đại và phân rã phi tuyến mạnh.
  • Trường phái ma trận M và quy hoạch tuyến tính (LP): Tận dụng tính chất đơn điệu và nón dương để đưa về các bất đẳng thức vector cực tiểu, giảm thiểu tối đa chi phí tính toán.

Luận án định vị chính xác khoảng trống y văn: chưa có công trình nào giải quyết đồng thời tính dương và ổn định mũ cho hệ BAM-Cohen-Grossberg phi tuyến đa trễ, hệ BAM phân thứ CFD và hệ BAM quán tính bậc hai. So sánh trực tiếp với hai nghiên cứu quốc tế tiêu biểu:

  • So với Zhang et al. (2020) về CGNNs trễ, công trình của Lê Thị Hồng Dung không yêu cầu tính khả vi của hàm trễ và mở rộng cho cấu trúc liên kết hai chiều BAM với hàm phân rã phi tuyến $\phi_i(x_i)$.
  • So với Wang & Chen (2021) về Inertial neural networks, luận án đã đề xuất phép biến đổi trạng thái dương hoàn toàn mới, loại bỏ đòi hỏi phải chuyển đổi hệ về dạng phương trình vi phân đại số phức tạp, đưa ra tiêu chuẩn ổn định dạng M-ma trận tường minh và tối ưu.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng đáng kể lý thuyết hệ dương của Farina & Rinaldi (2000) và lý thuyết mạng BAM của Kosko (1988) thông qua các đóng góp nền tảng:

  • Mở rộng lý thuyết định tính phương trình vi phân trễ: Chứng minh tính bất biến dương của tập nghiệm dưới tác động của các trường vector phi tuyến không trơn thuộc lớp hàm Lipschitz suy rộng $\mathcal{D}$: $$c_\phi \le \frac{\phi(u) - \phi(v)}{u - v} \le \hat{c}_\phi, \quad \forall u \neq v$$
  • Thiết lập mô hình lý thuyết tổng quát: Xây dựng hệ toán tử điểm bất động $H(\chi)$ cho hệ BAM-CGNNs và $S(\chi)$ cho hệ CFD-BAM, chứng minh sự tồn tại duy nhất của điểm cân bằng dương $\chi^* \succ 0$ thông qua Định lý điểm bất động Brouwer.
  • Chuyển dịch hệ biến (Paradigm Shift): Chuyển hóa bài toán ổn định phi tuyến phức tạp thành bài toán giải hệ bất đẳng thức tuyến tính khả thi (LP feasibility problem) dựa trên bán kính phổ của M-ma trận $\rho(\tilde{\Lambda}) < 1$ và $\rho(\tilde{H}) < 1$.
graph TD
    A["Hệ vi phân phi tuyến có trễ (BAM-CG, CFD, INN)"] --> B["Bảo toàn tính dương: Nghiệm thuộc nón dương R+^(n+m)"]
    B --> C["Toán tử ánh xạ Brouwer & Tính đồng phôi"]
    C --> D["Tồn tại duy nhất Điểm cân bằng dương (EP)"]
    D --> E["Kỹ thuật so sánh Bất đẳng thức Vi - Tích phân"]
    E --> F["Tiêu chuẩn ổn định M-ma trận & Dạng LP khả thi"]

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp chặt chẽ 3 trụ cột toán học:

  1. Lý thuyết M-ma trận và Ma trận không âm: Khai thác tính chất nghịch đảo không âm của M-ma trận không suy biến để thiết lập tiêu chuẩn ổn định mũ độc lập trễ.
  2. Lý thuyết hệ động lực đơn điệu (Monotone Dynamical Systems): Sử dụng tính bảo toàn thứ tự của trường vector $F(y) = (R+S)f(y)$ và $G(x) = (P+Q)g(x)$ để bao đóng quỹ đạo trạng thái.
  3. Phép biến đổi trạng thái dương cấp hai (Positive State Transformation): $$\hat{x}_i = \frac{1}{\eta_i}(x_i' + \xi_i x_i), \quad \hat{y}_j = \frac{1}{\mu_j}(y_j' + \zeta_j y_j)$$ Phép biến đổi này giáng cấp hệ vi phân cấp hai quán tính thành hệ vi phân cấp một tương đương mà vẫn bảo toàn tính không âm của biến trạng thái.

Điều kiện biên xác định (Boundary Conditions): Ma trận khuếch đại bị chặn $0 < \underline{\alpha}_i \le \alpha_i(u) \le \bar{\alpha}_i$, $0 < \underline{\beta}_j \le \beta_j(u) \le \bar{\beta}_j$; trễ biến thiên bị chặn $0 \le \tau_i(t) \le \tau$, $0 \le \sigma_j(t) \le \sigma$; điều kiện quán tính vượt ngưỡng $A^2 - 4C \succ 0$ và $B^2 - 4D \succ 0$.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ lập trường triết học thực chứng duy lý toán học (Mathematical Rationalism), xây dựng hệ thống định lý và bổ đề dựa trên suy diễn logic thuần túy. Thiết kế đa cấp độ bao gồm:

  • Cấp độ 1: Hệ vi phân phi tuyến bậc nhất với tốc độ tự ức chế phi tuyến (BAM-CGNNs).
  • Cấp độ 2: Hệ vi phân phi tuyến phân thứ tương thích cấp $\alpha$ (CFD-BAM).
  • Cấp độ 3: Hệ vi phân phi tuyến bậc hai quán tính với trễ không đồng nhất (Inertial BAM).

Quy trình nghiên cứu rigorous

Quy trình giải tích được thiết kế chặt chẽ qua bốn bước:

  1. Định nghĩa tập điều kiện đầu khả nạp: Thiết lập tập $\mathcal{A}$, $\mathcal{F}_d^+$ và $\mathcal{D}_A$ chứa các hàm điều kiện đầu liên tục không âm và không giảm trên đoạn trễ $[-\tau, 0]$ và $[-\sigma, 0]$.
  2. Thiết lập bổ đề so sánh vi tích phân: Chứng minh bổ đề nghiệm không âm cho phương trình vi phân vô hướng có nguồn kích thích không âm.
  3. Kiểm chứng điểm bất động: Xây dựng khối compact lồi $\Omega \subset \mathbb{R}_+^{n+m}$ bất biến qua ánh xạ $H$ và $S$, áp dụng Định lý Brouwer để suy ra sự tồn tại điểm cân bằng.
  4. Đánh giá hội tụ mũ: Thiết lập bất đẳng thức vi tích phân vi phân suy rộng, sử dụng phương pháp chặn trên từng thành phần vector để rút ra tốc độ suy giảm mũ toàn cục.

Dữ liệu và phân tích

Phân tích toán học dựa trên cấu trúc đại số ma trận:

  • Ma trận trọng số kết nối không âm: $M = \begin{pmatrix} A & B \ C^T & D^T \end{pmatrix} \ge 0$.
  • Phân tích Schur complement và đa thức đặc trưng: $$\det(\lambda I_{n+m} - \Lambda) = \lambda^{m-n} \det(\lambda^2 I_n - \tilde{\Lambda})$$
  • Kiểm tra tính vững (Robustness): Khi chuyển sang hệ tuyến tính, điều kiện ổn định mũ độc lập trễ quy về dạng ma trận M không suy biến: $$\begin{pmatrix} -D_\delta & A+B \ C+D & -D_\rho \end{pmatrix} \begin{pmatrix} \eta \ \nu \end{pmatrix} \prec 0$$ đây là điều kiện cần và đủ hoàn hảo cho tính ổn định tiệm cận toàn cục (GAS) và ổn định mũ toàn cục (GES) với trễ bị chặn bất kỳ.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Chứng minh tính bất biến dương của hệ BAM-Cohen-Grossberg đa trễ: Khẳng định rằng với mọi điều kiện đầu $\phi \in \mathcal{A}$ và vector đầu vào $I \succ 0, J \succ 0$, toàn bộ quỹ đạo nghiệm $\chi(t) = \text{col}(x(t), y(t)) \succ 0, \forall t \ge t_0$.
  2. Thiết lập tiêu chuẩn ổn định mũ dạng LP cho BAM-CGNNs: Điểm cân bằng duy nhất $\chi^$ đạt chuẩn GES thỏa mãn: $$|\chi(t) - \chi^|\infty \le \kappa |\phi - \chi^*|C e^{-\lambda(t-t_0)}, \quad \forall t \ge t_0$$ khi tồn tại vector $\xi \succ 0$ thỏa mãn điều kiện quy hoạch tuyến tính (2.14): $$\sum{j=1}^m \frac{s{\beta_j}}{\delta_i c_{\phi_i}} (a_{ij} + b_{ij}) L_{f_j} \sum_{k=1}^n (c_{jk} + d_{jk}) L_{g_k} \xi_k < \xi_i, \quad i \in [n]$$
  3. Phát hiện quy luật ổn định mũ phân thứ tương thích (GFES): Với mô hình CFD-BAM, nghiệm hội tụ theo luật suy giảm phân thứ độc đáo: $$|\chi(t) - \chi^|_\infty \le \kappa |\varphi - \chi^|_C e^{-\lambda \frac{(t-t_0)^\alpha}{\alpha}}, \quad \forall t \ge t_0$$ khi bán kính phổ thỏa mãn $\rho(\tilde{H}) < 1$ hoặc tồn tại vector $\eta \succ 0, \zeta \succ 0$ thỏa mãn hệ LP phân thứ.
  4. Tiêu chuẩn khử quán tính bậc hai chính xác: Chứng minh rằng phép biến đổi trạng thái dương tồn tại khi và chỉ khi $A^2 - 4C \succ 0$ và $B^2 - 4D \succ 0$. Điểm cân bằng dương $X^*$ là duy nhất và có tính hút mũ toàn cục nếu ma trận sau là M-ma trận không suy biến: $$M = \begin{pmatrix} C & -(R+S)K^f \ -(P+Q)K^g & D \end{pmatrix}$$
  5. Tính tiệm cận dương cuối cùng (Eventual Positivity): Chứng minh mọi nghiệm xuất phát từ điều kiện đầu tổng quát trong hệ quán tính đều sẽ đi vào nón dương và hội tụ mũ về $X^* \succ 0$ sau một khoảng thời gian hữu hạn $t_f$.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp khung phương pháp luận hoàn chỉnh kết hợp giải tích phi tuyến và đại số M-ma trận, giải quyết bài toán tồn tại nghiệm dương và ổn định mũ trễ vốn bế tắc trong nhiều năm.
  • Đổi mới phương pháp luận: Kỹ thuật biến đổi trạng thái dương và kỹ thuật so sánh vi tích phân có thể áp dụng trực tiếp cho các mô hình sinh thái học Lotka-Volterra đa loài có trễ và hệ dịch tễ học SIRS.
  • Ứng dụng thực tiễn: Tạo cơ sở toán học tin cậy để thiết kế phần cứng mạng nơron màng nhớ (Memristor Neuromorphic Circuits), bộ nhớ liên tưởng số (Associative Memories), và bộ quan sát trạng thái dạng khoảng (interval state observers) trong các hệ thống điều khiển công nghiệp đòi hỏi an toàn tuyệt đối về mặt vật lý.

Limitations và Future Research

Luận án thừa nhận một số giới hạn nghiên cứu cụ thể:

  • Ràng buộc hệ số tắt dần: Điều kiện $A^2 - 4C \succ 0$ yêu cầu hệ số tắt dần quán tính phải đủ lớn so với hệ số tự ức chế, chưa bao quát được trường hợp hệ suy giảm dưới mức (underdamped systems).
  • Tính không âm của trọng số: Các ma trận liên kết $A, B, C, D, P, Q, R, S$ bắt buộc phải là ma trận không âm, chưa xét tới các mạng nơron có trọng số hỗn hợp (vừa kích thích vừa ức chế cạnh tranh).
  • Yếu tố nhiễu ngẫu nhiên: Chưa tích hợp nhiễu Wiener hoặc hiện tượng nhảy trạng thái Markov (Markovian switching parameters).

Chương trình nghiên cứu tiếp theo (Future Research Agenda):

  1. Mở rộng phương pháp so sánh vi tích phân sang hệ mạng BAM-Cohen-Grossberg trễ với đạo hàm phân thứ Caputo và Riemann-Liouville.
  2. Thiết lập tiêu chuẩn ổn định cho mạng nơron quán tính phân thứ tương thích (Conformable Fractional Inertial Neural Networks).
  3. Nghiên cứu mô hình mạng BAM-CG quán tính kết hợp trễ phân bố (distributed delays) và trễ vô hạn (infinite delays).
  4. Thiết kế luật điều khiển xung thích nghi (adaptive impulsive control) để ổn định hóa các hệ nơron dương mất ổn định.

Tác động và ảnh hưởng

  • Ảnh hưởng học thuật: Kết quả luận án được công bố trên các tạp chí quốc tế uy tín thuộc danh mục ISI/SCIE (gồm Computational and Applied Mathematics - SCIE Q2, Differential Equations and Dynamical Systems, và Journal of Nonlinear Modeling and Analysis). Các bài báo này là nguồn tài liệu tham khảo chất lượng cao cho cộng đồng nghiên cứu giải tích phương trình vi phân và điều khiển học.
  • Chuyển đổi công nghệ vi mạch AI: Cung cấp thuật toán kiểm tra tính ổn định phần cứng với độ phức tạp đa thức $O((n+m)^3)$ thông qua việc giải LP, tối ưu hóa quá trình thiết kế chip Neuromorphic tiết kiệm năng lượng.
  • Lợi ích xã hội và toàn cầu: Đóng góp công cụ mô hình hóa toán học chính xác cho các bài toán phân tích mạng lưới truyền thông dữ liệu không nghẽn và mô phỏng lan truyền dịch bệnh trong y tế cộng đồng.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giảng viên toán học: Tiếp cận phương pháp luận giải tích bất đẳng thức vi tích phân mới kết hợp lý thuyết M-ma trận và đại số tuyến tính nâng cao.
  • Nhà khoa học dữ liệu và Kỹ sư AI: Ứng dụng các tiêu chuẩn ổn định LP để kiểm soát độ hội tụ của các thuật toán học sâu liên kết hai chiều và mạng nơron hồi quy.
  • Kỹ sư thiết kế hệ thống điều khiển tự động: Ứng dụng mô hình hệ dương để thiết kế các bộ quan sát trạng thái cho các đối tượng vật lý có trạng thái không âm (như bồn chứa hóa chất, điện áp mạch tích hợp).
  • Chuyên gia phân tích chính sách và dịch tễ: Vận dụng hệ phương trình vi phân trễ dương để dự báo chính xác động lực học quần thể và tốc độ lây nhiễm bệnh dịch.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì?

Đóng góp độc đáo nhất là việc thiết lập thành công hệ điều kiện ổn định mũ độc lập với độ trễ dưới dạng Quy hoạch Tuyến tính (LP-based conditions) cho hệ BAM-Cohen-Grossberg phi tuyến tự ức chế và hệ BAM quán tính bậc hai. Công trình đã mở rộng trọn vẹn lý thuyết hệ dương của Farina & Rinaldi (2000) sang không gian hàm trễ phi tuyến mà không làm phát sinh sự bùng nổ chiều tính toán.

2. Đổi mới phương pháp luận nổi bật khi so sánh với các nghiên cứu trước đây?

So với phương pháp LMI truyền thống trong Zhang et al. (2020) và phương pháp giáng cấp đại số trong Wang & Chen (2021), luận án đề xuất phép biến đổi trạng thái dương $\hat{x}i = \frac{1}{\eta_i}(x_i' + \xi_i x_i)$ kết hợp lý thuyết ánh xạ đồng phôi và M-ma trận. Phương pháp này biến đổi hệ vi phân cấp hai thành hệ cấp một tương đương bảo toàn trọn vẹn nón dương $\mathbb{R}+^{n+m}$, đưa ra tiêu chuẩn ổn định dạng tường minh chỉ phụ thuộc vào các hệ số kết nối và tốc độ tự ức chế.

3. Phát hiện bất ngờ nhất từ kết quả phân tích toán học?

Phát hiện bất ngờ nhất nằm ở tính khả quy hoàn hảo: khi hệ phi tuyến suy biến về hệ tuyến tính (các hàm khuếch đại, tự ức chế và kích hoạt là đồng nhất), điều kiện đủ dạng LP (2.14) trở thành điều kiện cần và đủ độc lập với độ trễ (2.16): $$\begin{pmatrix} -D_\delta & A+B \ C+D & -D_\rho \end{pmatrix} \begin{pmatrix} \eta \ \nu \end{pmatrix} \prec 0$$ Điều này khẳng định tính chặt chẽ tối ưu và sự tương thích hoàn toàn của khung lý thuyết đề xuất với lý thuyết hệ dương tuyến tính kinh điển.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) không?

Có. Quy trình kiểm chứng toán học và mô phỏng được cung cấp đầy đủ từng bước: từ việc tính toán các hằng số Lipschitz $L_{f_j}, L_{g_i}$, xác định ma trận kiểm tra $\tilde{\Lambda}$ và $\tilde{H}$, giải bài toán tìm vector nghiệm dương $\xi \succ 0, \eta \succ 0$ qua các thuật toán Simplex/Interior Point trên MATLAB, đến việc chạy mô phỏng tích phân số kiểm chứng tốc độ hội tụ nghiệm.

5. Chương trình nghiên cứu 10 năm được vạch ra như thế nào?

Chương trình nghiên cứu dài hạn tập trung vào 4 hướng chiến lược: (1) Mở rộng lý thuyết hệ dương sang hệ vi phân phân thứ đa trễ ngẫu nhiên; (2) Phát triển các bộ điều khiển phản hồi màng nhớ phân tán; (3) Tối ưu hóa thuật toán học tăng cường trên cấu trúc mạng nơron dương; (4) Ứng dụng hệ nơron quán tính vào mô hình hóa mạng lưới năng lượng tái tạo thông minh.

Kết luận

Luận án tiến sĩ của Lê Thị Hồng Dung đã mang lại những đóng góp học thuật xuất sắc và toàn diện cho chuyên ngành Phương trình vi phân và tích phân:

  1. Chứng minh tính bất biến dương toàn cục: Xác lập cơ sở toán học vững chắc khẳng định mọi quỹ đạo trạng thái của ba lớp mạng BAM-CGNNs, CFD-BAM và Inertial BAM đều không âm với mọi đầu vào và điều kiện ban đầu thuộc nón dương khả nạp.
  2. Thiết lập tiêu chuẩn ổn định mũ dạng LP cho hệ BAM-Cohen-Grossberg: Đề xuất điều kiện đủ tường minh dạng M-ma trận (2.14), giải quyết triệt để tính phi tuyến của hàm tự ức chế $\phi_i(x_i), \psi_j(y_j)$ và trễ biến thiên $\tau_i(t), \sigma_j(t)$.
  3. Tiên phong khám phá ổn định mũ phân thứ tương thích (CFD-BAM): Công bố các kết quả đầu tiên trên thế giới về tính dương và ổn định mũ phân thứ $e^{-\lambda \frac{(t-t_0)^\alpha}{\alpha}}$ cho hệ nơron BAM sử dụng đạo hàm phân thứ tương thích.
  4. Đột phá phương pháp biến đổi trạng thái dương cho mạng quán tính: Giải quyết trọn vẹn bài toán ổn định của hệ vi phân cấp hai thông qua điều kiện đại số chéo trội $A^2 - 4C \succ 0, B^2 - 4D \succ 0$ và M-ma trận không suy biến.
  5. Chứng minh tính tương thích và tối ưu lý thuyết: Khẳng định điều kiện ổn định suy biến tự nhiên thành điều kiện cần và đủ kinh điển đối với hệ dương tuyến tính.
  6. Mở ra các hướng nghiên cứu liên ngành rộng lớn: Khởi tạo tiền đề toán học quan trọng cho việc nghiên cứu hệ nơron phân thứ ngẫu nhiên, vi mạch tích hợp AI Neuromorphic và điều khiển tối ưu các hệ thống kỹ thuật dương phức tạp trong kỷ nguyên số.