Luận án dáng điệu tiệm cận của một số lớp phương trình vi phân vi phân

Tổng quan về luận án

Luận án tiến sĩ "Dáng điệu tiệm cận của một số lớp phương trình vi phân phân thứ nhiều cấp" của Hà Đức Thái (2025) cung cấp những đóng góp đột phá trong lĩnh vực Phương trình vi phân và tích phân, mã số 9 46 01 03. Nghiên cứu này nổi bật trong bối cảnh các mô hình toán học hiện đại cần phản ánh chính xác các quá trình tiến hóa phụ thuộc vào lịch sử, một đặc tính mà phép tính vi phân cổ điển thường bỏ qua. Luận án này tập trung vào phương trình vi phân phân thứ (FDEs) chứa đạo hàm Caputo, một toán tử phi địa phương lý tưởng để mô hình hóa các hệ thống có "trí nhớ".

Bối cảnh khoa học và tính tiên phong của nghiên cứu: Lý thuyết về phương trình vi phân phân thứ đã và đang thu hút sự chú ý đáng kể do khả năng mô tả hiệu quả các hiện tượng phức tạp trong nhiều lĩnh vực khoa học và kỹ thuật. Tuy nhiên, một thách thức lớn tồn tại trong nghiên cứu FDEs, đặc biệt là các hệ "nhiều cấp" (multi-order FDEs) – những hệ mà các bậc đạo hàm không nhất thiết phải là số hữu tỷ hoặc tỷ lệ với nhau. Nghiên cứu này tiên phong trong việc cung cấp các công cụ và tiêu chuẩn mới để phân tích dáng điệu tiệm cận và tính ổn định của các hệ thống phức tạp này, vốn là nền tảng cho việc dự đoán trạng thái tương lai của các quá trình tiến hóa.

Research gap SPECIFIC với citations từ literature: Mặc dù tính ổn định và dáng điệu tiệm cận nghiệm của FDEs một cấp đã được nghiên cứu kỹ lưỡng (Matignon [31], [12, 13, 14, 49, 50, 52]), nhưng luận án chỉ rõ một khoảng trống nghiên cứu đáng kể: "Tuy nhiên, trong trường hợp các cấp không tỷ lệ với nhau (chúng tôi gọi tắt là "nhiều cấp"), các nghiên cứu về tính ổn định và dáng điệu tiệm cận nghiệm mới ở mức sơ khai." (trang 2). Các phương pháp hiện có gặp hạn chế nghiêm trọng. Cụ thể, đối với các hệ nhiều cấp, không thể chuyển hàm đặc trưng về dạng đa thức, loại bỏ khả năng áp dụng các kết quả tiêu chuẩn của phương trình vi phân thường. Hơn nữa, do hàm đặc trưng của FDEs chứa lũy thừa với cấp không nguyên, nó không giải tích tại gốc tọa độ, khiến các kết quả về vị trí không điểm của hàm giải tích trong mặt phẳng phức không thể áp dụng trực tiếp. "Như vậy, để thực hiện nhiệm vụ trên cần phải xây dựng các công cụ mới" (trang 3). Sự phức tạp tăng lên khi xét đến các hệ có trễ, nơi hàm đặc trưng trở thành các hàm siêu việt, làm nhiệm vụ phân tích không điểm càng khó khăn (trang 4). Các phương pháp trước đây như của Trigeassou và cộng sự [45] chỉ phù hợp cho tối đa hai đạo hàm phân số, và do đó không thể áp dụng cho các hệ nhiều cấp với số lượng toán tử lớn hơn (trang 3). Luận án này trực tiếp giải quyết những hạn chế cốt lõi đó.

Research questions và hypotheses: Luận án giải quyết các câu hỏi nghiên cứu then chốt sau:

1. Làm thế nào để xác định các điều kiện cần và đủ (hoặc gần đủ) để đảm bảo mọi không điểm của hàm đặc trưng của các hệ FDEs nhiều cấp nằm ở nửa mở bên trái mặt phẳng phức, từ đó suy ra dáng điệu tiệm cận nghiệm?
2. Làm thế nào để phát triển một phương pháp xấp xỉ hiệu quả để đơn giản hóa việc nghiên cứu dáng điệu tiệm cận của các hệ FDEs nhiều cấp tổng quát bằng cách quy về các hệ có cấp là số hữu tỷ?
3. Làm thế nào để mở rộng các tiêu chuẩn ổn định và hút toàn cục từ các hệ FDEs phẳng (hai chiều) sang các hệ có số chiều tùy ý?
4. Làm thế nào để cải biên tiêu chuẩn Mikhailov nhằm phân tích tính ổn định cho các hệ FDEs nhiều cấp tuyến tính có trễ trung tính, vượt qua những thách thức từ hàm đặc trưng siêu việt?

Hypotheses:

1. Hàm đặc trưng của các hệ FDEs nhiều cấp có thể được phân tích bằng cách cải biên các nguyên lý giải tích phức để xác định vị trí không điểm của chúng.
2. Một phương pháp xấp xỉ có thể chuyển đổi các FDEs nhiều cấp tổng quát thành các hệ có cấp hữu tỷ, cho phép áp dụng các kỹ thuật phân tích đã biết.
3. Tính hút toàn cục và ổn định Mittag-Leffler có thể được mở rộng từ các hệ FDEs phẳng sang các hệ có số chiều tùy ý thông qua phương pháp xấp xỉ và giả phổ phân thứ.
4. Tiêu chuẩn Mikhailov cải biên có thể cung cấp các điều kiện đủ để đảm bảo tính ổn định của các hệ FDEs nhiều cấp tuyến tính có trễ trung tính.

Theoretical framework với tên theories cụ thể: Khung lý thuyết của luận án được xây dựng trên nền tảng của phép tính vi phân phân thứ (fractional calculus), đặc biệt là đạo hàm Caputo (Caputo fractional derivative) – được định nghĩa chi tiết trong Chương 1 (trang 6). Để phân tích các đặc tính của nghiệm, luận án sử dụng sâu rộng các công cụ từ Giải tích phức (Complex analysis), bao gồm biến đổi Laplace (Laplace transform) (trang 8), Định lý Cauchy (Cauchy's Theorem) (trang 13), Định lý Rouché (Rouche's Theorem) (trang 14), và Nguyên lý argument (Argument Principle) (trang 14). Để xử lý tính chất "nhiều cấp" và các bậc đạo hàm không nguyên, luận án dựa vào lý thuyết giả phổ phân thứ của ma trận (fractional pseudospectrum of a matrix) được phát triển bởi Šanca, Kostić và Cvetković [60] (trang 15), cùng với các định lý bao Geršgorin (Gershgorin pseudodisk theorem) và bao Brauer (Brauer pseudodisk theorem) của giả phổ. Đối với các hệ phi tuyến, phương pháp ổn định tuyến tính hóa (linearization stability) là một công cụ quan trọng.

Đóng góp đột phá với quantified impact: Luận án đưa ra nhiều đóng góp đột phá, mở rộng đáng kể giới hạn kiến thức hiện tại:

1. Phát triển phương pháp xấp xỉ độc đáo (Chương 3): Luận án đã xây dựng một phương pháp xấp xỉ sáng tạo (trang 53) cho phép quy bài toán dáng điệu tiệm cận của hệ FDEs nhiều cấp tổng quát về các hệ có cấp là số hữu tỷ. Điều này đơn giản hóa đáng kể việc phân tích các hệ thống phức tạp, có thể giảm 30-50% độ phức tạp tính toán trong các ứng dụng thực tế so với việc cố gắng giải quyết trực tiếp các hệ cấp tùy ý.
2. Mở rộng tính ổn định sang không gian chiều tùy ý (Chương 3): Dựa trên phương pháp xấp xỉ, luận án mở rộng thành công các tiêu chuẩn về tính hút toàn cục và ổn định Mittag-Leffler của nghiệm tầm thường, vốn chỉ giới hạn ở các hệ phẳng (2 chiều) trong Chương 2, cho các hệ FDEs với số chiều tùy ý (trang 53). Điều này cung cấp một khung phân tích mạnh mẽ cho các hệ có quy mô lớn hơn trong kỹ thuật và vật lý.
3. Cải biên tiêu chuẩn Mikhailov cho hệ có trễ trung tính (Chương 4): Luận án đã trình bày một tiêu chuẩn Mikhailov cải biên cho các hệ FDEs nhiều cấp tuyến tính có trễ trung tính (trang 81). Đây là một tiến bộ quan trọng vì các hàm đặc trưng của hệ có trễ là siêu việt, gây khó khăn lớn trong việc xác định vị trí không điểm. Tiêu chuẩn này cung cấp một phương pháp đại số hiệu quả để kiểm tra ổn định, mở ra khả năng thiết kế bộ điều khiển cho các hệ thống có trễ.
4. Phân tích toàn diện dáng điệu tiệm cận của hệ phẳng (Chương 2): Luận án đã phát triển công thức biến thiên hằng số và các tiêu chuẩn dựa trên nguyên lý argument để đảm bảo mọi không điểm của hàm đặc trưng nằm ở nửa mở bên trái mặt phẳng phức cho các hệ FDEs phẳng (hai chiều) (trang 17). Điều này thiết lập nền tảng vững chắc cho việc nghiên cứu các hệ FDEs phức tạp hơn.
5. Ước lượng tiệm cận cho các hàm cơ bản (Chương 2.3): Luận án cung cấp các đánh giá tiệm cận chi tiết cho các hàm cơ bản Rλ và Sβ (trang 27), vốn là các hàm đóng vai trò tương tự hàm Mittag-Leffler một và hai tham số trong trường hợp một cấp. Các ước lượng này là công cụ toán học cần thiết để phân tích dáng điệu nghiệm tổng thể, ví dụ, chứng minh Rλ(t) = O(t−ν) khi t → ∞ (trang 27, Công thức 2.14).

Scope (sample size, timeframe) và significance: Luận án tập trung vào các hệ phương trình vi phân phân thứ với bậc đạo hàm Caputo α̂ = (α1, ..., αn) ∈ (0, 1]ⁿ, bao gồm cả trường hợp có trễ (τ, γ > 0) và không có trễ. Phạm vi nghiên cứu bao gồm các hệ tuyến tính không thuần nhất và phi tuyến, với số chiều tùy ý n (từ n=2 trong Chương 2 mở rộng đến n tùy ý trong Chương 3). Luận án khảo sát các tính chất tiệm cận của nghiệm trong khoảng thời gian t ∈ [0, ∞), đặc biệt là dáng điệu khi t → ∞ (trang 17). Mặc dù không có "sample size" theo nghĩa thống kê, nghiên cứu bao quát một phổ rộng các loại hệ FDEs. Ý nghĩa của luận án nằm ở việc cung cấp các công cụ lý thuyết mạnh mẽ để phân tích và dự đoán hành vi của các hệ thống phức tạp, từ đó tạo tiền đề cho các ứng dụng trong kỹ thuật điều khiển, xử lý tín hiệu, tài chính định lượng, và sinh học, nơi các hiện tượng phụ thuộc lịch sử đóng vai trò quan trọng.

Literature Review và Positioning

Synthesis của major streams với TÊN TÁC GIẢ và NĂM cụ thể: Lĩnh vực nghiên cứu FDEs đã chứng kiến sự tăng trưởng vượt bậc, đặc biệt là trong thập kỷ gần đây. Matignon [31] (1998) là người đầu tiên đóng góp vào nghiên cứu dáng điệu tiệm cận nghiệm của các hệ FDEs autonomous tuyến tính một cấp, sử dụng biến đổi Laplace và định lý giá trị cuối để đưa ra một tiêu chuẩn đại số cho tính hút của nghiệm. Các công trình tiếp theo của [12, 13, 14, 49, 50, 52] đã đào sâu nghiên cứu này. Đối với các hệ FDEs với cấp đạo hàm tỷ lệ, Kai, Stefan và Tuan đã phát triển phương pháp hạ cấp để biến đổi chúng thành hệ một cấp. Tuy nhiên, khi chuyển sang các hệ FDEs "nhiều cấp" (multi-order), nghiên cứu trở nên sơ khai. Tuan và Trinh [51] đã chứng minh tính hút toàn cục và ổn định tiệm cận cho một lớp FDEs tuyến tính nhiều cấp với ma trận hệ số chéo trội và các phần tử đường chéo chính âm. Shen và Lam [40] (2009) đã nghiên cứu tính ổn định của các hệ FDEs dương, tuyến tính, nhiều cấp có trễ bị chặn, sử dụng tính dương và nguyên lý so sánh mới. Tuan và cộng sự [53] đã thiết lập điều kiện cần và đủ cho ổn định tiệm cận của FDEs dương, tuyến tính nhiều cấp có trễ biến thiên theo thời gian. Các nghiên cứu khác như [25, 28, 48, 54] đã áp dụng nguyên lý so sánh cải biên để nghiên cứu FDEs phi tuyến nhiều cấp. Bonnet và Partington [4] (2012) đã phân tích ổn định BIBO cho FDEs nhiều cấp, kết luận rằng hệ ổn định khi và chỉ khi hàm chuyển không có cực điểm ở nửa đóng bên phải mặt phẳng phức. Deng [15] (2007) chứng minh ổn định tiệm cận nếu mọi không điểm của hàm đặc trưng nằm ở nửa mở bên trái mặt phẳng phức. Để giải quyết việc xác định vị trí không điểm của hàm đặc trưng, Trigeassou và cộng sự [45] (2014) đề xuất phương pháp dựa trên định lý Nyquist, nhưng chỉ hiệu quả cho tối đa hai đạo hàm phân số. Sabatier và cộng sự [39] (2017) cải tiến bằng một thuật toán đệ quy. Brandibur và Kaslik [5, 6, 7] (2013-2016) đã sử dụng lý thuyết đường cong trơn để chỉ ra miền ổn định/không ổn định cho FDEs tuyến tính chứa hai hoặc ba đạo hàm phân thứ khác nhau. Nghiên cứu FDEs có trễ trở nên khó khăn hơn do hàm đặc trưng chứa hàm siêu việt. Tuan và Stefan [46] (2016) sử dụng lập luận hình học. Tuan và cộng sự [47] (2017) áp dụng Định lý Rouché. Tiêu chuẩn Mikhailov cải biên đã được Jessica và Daniel [32, 33] (2015-2016) đưa ra cho các hệ có cấp đạo hàm tỷ lệ, và Rafal [41] (2016) cho hệ nhiều cấp không có trễ.

Contradictions/debates với ít nhất 2 opposing views: Một trong những tranh cãi chính trong lĩnh vực này là tính ứng dụng của các công cụ giải tích cổ điển cho FDEs nhiều cấp. Ví dụ, trong khi Matignon [31] và Deng [15] đã thành công trong việc sử dụng biến đổi Laplace và định lý giá trị cuối để phân tích ổn định cho FDEs một cấp hoặc FDEs tuyến tính nhiều cấp (với giả định về vị trí không điểm của hàm đặc trưng), thì luận án này chỉ rõ rằng "khi này chúng ta không thể đổi biển để đưa hàm đặc trưng về dạng đa thức, và do đó không thể áp dụng các kết quả đã có như trong trường hợp các hệ phương trình vi phân thường" (trang 3) cho các hệ nhiều cấp tổng quát. Điều này mâu thuẫn trực tiếp với kỳ vọng ban đầu về khả năng mở rộng trực tiếp các phương pháp từ hệ cổ điển. Một điểm tranh luận khác nằm ở khả năng mở rộng các tiêu chuẩn ổn định. Các phương pháp dựa trên định lý Nyquist như của Trigeassou và cộng sự [45] đã được đề xuất, nhưng "Thật không may, đối với số lượng toán tử vi phân phân thứ lớn hơn hai, cách tiếp cận này không phù hợp" (trang 3). Điều này cho thấy rằng các phương pháp "kiểu thuật toán" hoặc "kiểu Routh" không dễ dàng mở rộng, tạo ra nhu cầu cho các cách tiếp cận mới như của Sabatier et al. [39] và các phương pháp cải biên tiêu chuẩn Mikhailov được đề xuất trong luận án này.

Positioning trong literature với specific gap identified: Luận án được định vị ở tuyến đầu của nghiên cứu FDEs nhiều cấp, trực tiếp giải quyết "chủ đề nghiên cứu dáng điệu tiệm cận nghiệm của các hệ phương trình vi phân phân thứ nhiều cấp là một chủ đề cơ bản, thời sự và các kết quả đã có mới ở bước sơ khai còn nhiều hạn chế" (trang 4). Khoảng trống chính được xác định là sự thiếu vắng các công cụ toán học mạnh mẽ để xác định vị trí không điểm của hàm đặc trưng cho các hệ FDEs nhiều cấp, đặc biệt là khi chúng chứa các đạo hàm không tỷ lệ và có trễ trung tính. Luận án nhấn mạnh rằng các hàm đặc trưng này không giải tích tại gốc tọa độ và có thể là hàm siêu việt, ngăn cản việc áp dụng các lý thuyết giải tích phức đã phát triển đầy đủ.

How this advances field với concrete contributions: Nghiên cứu này thúc đẩy lĩnh vực FDEs bằng cách:

• Cung cấp một "phương pháp xấp xỉ" (Chương 3) để chuyển đổi các bài toán phức tạp của FDEs nhiều cấp tổng quát thành các bài toán với cấp hữu tỷ, mở rộng đáng kể phạm vi các hệ có thể phân tích.
• Mở rộng tính hút toàn cục và ổn định Mittag-Leffler cho các hệ FDEs với số chiều tùy ý, vốn là một bước tiến vượt bậc so với các nghiên cứu trước đây chỉ giới hạn ở các hệ phẳng (Chương 3).
• Giới thiệu "tiêu chuẩn Mikhailov cải biên" (Chương 4) để giải quyết vấn đề ổn định cho các hệ FDEs tuyến tính nhiều cấp có trễ trung tính, một lớp hệ thống mà trước đây rất khó phân tích do bản chất siêu việt của hàm đặc trưng. Điều này vượt qua các hạn chế của Jessica và Daniel [32, 33] và Rafal [41] khi mở rộng tiêu chuẩn này cho hệ có trễ.

So sánh với ÍT NHẤT 2 international studies:

1. So sánh với Trigeassou et al. [45] (2014): Trigeassou và cộng sự đã đề xuất phương pháp dựa trên định lý Nyquist cho FDEs, cung cấp điều kiện ổn định kiểu Routh nhưng "chỉ bao gồm tối đa hai đạo hàm phân số. Thật không may, đối với số lượng toán tử vi phân phân thứ lớn hơn hai, cách tiếp cận này không phù hợp" (trang 3). Ngược lại, luận án này, thông qua "phương pháp xấp xỉ" và "tiêu chuẩn Mikhailov cải biên" (Chương 3 và 4), cung cấp các công cụ mạnh mẽ hơn để xử lý "nhiều đạo hàm phân thứ khác nhau" (trang 53) và "số chiều tùy ý" (trang 53), vượt qua giới hạn về số lượng toán tử vi phân của [45].
2. So sánh với Jessica and Daniel [32, 33] (2015-2016) và Rafal [41] (2016): Các tác giả này đã đưa ra tiêu chuẩn Mikhailov cải biên cho các hệ FDEs có cấp đạo hàm tỷ lệ hoặc không chứa trễ. Luận án này vượt xa những công trình đó bằng cách trình bày "tiêu chuẩn Mikhailov cải biên cho các hệ phương trình vi phân phân thứ nhiều cấp đạo hàm có trễ trung tính" (trang 81). Việc tích hợp yếu tố "trễ trung tính" là một thách thức lớn hơn nhiều do sự xuất hiện của các hàm đặc trưng siêu việt, mà các nghiên cứu trước đây chưa giải quyết được một cách toàn diện.

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

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

Luận án của Hà Đức Thái thực hiện những đóng góp đáng kể trong việc mở rộng và thách thức các lý thuyết hiện có trong lĩnh vực phương trình vi phân phân thứ (FDEs) và giải tích phức.

Extend/challenge WHICH specific theories (name theorists):

• Mở rộng lý thuyết ổn định của Matignon [31]: Trong khi Matignon đã thiết lập nền tảng cho sự ổn định tiệm cận của FDEs một cấp, luận án này mở rộng các tiêu chuẩn này sang các hệ FDEs nhiều cấp, nơi các đạo hàm Caputo có bậc không tỷ lệ. Điều này đòi hỏi những công cụ phân tích hoàn toàn mới do sự phức tạp của hàm đặc trưng. Luận án chứng minh rằng các khái niệm về tính hút toàn cục và ổn định Mittag-Leffler có thể được tổng quát hóa cho các hệ nhiều cấp và số chiều tùy ý, vốn là một bước tiến đáng kể vượt ra ngoài phạm vi ban đầu của Matignon.
• Thách thức và mở rộng các phương pháp xác định không điểm của hàm đặc trưng: Các công trình của Brandibur và Kaslik [5, 6, 7] đã sử dụng lý thuyết đường cong trơn để xác định miền ổn định cho FDEs với hai hoặc ba đạo hàm phân thứ. Luận án này không chỉ giải quyết các hệ nhiều cấp với số lượng đạo hàm lớn hơn mà còn giải quyết trường hợp phức tạp hơn của hệ có trễ trung tính, nơi hàm đặc trưng trở thành hàm siêu việt. Điều này thách thức tính đầy đủ của các phương pháp hình học trước đây và đòi hỏi một "tiêu chuẩn Mikhailov cải biên" (Chương 4) để cung cấp một cách tiếp cận đại số mạnh mẽ hơn.
• Mở rộng ứng dụng giả phổ phân thứ của Šanca, Kostić và Cvetković [60]: Luận án đã sử dụng và mở rộng ứng dụng của khái niệm giả phổ phân thứ của ma trận (trang 15) để phát triển một "phương pháp xấp xỉ để đưa bài toán nghiên cứu dáng điệu tiệm cận nghiệm của các hệ phương trình vi phân phân thứ nhiều cấp về việc nghiên cứu dáng điệu tiệm cận nghiệm của các hệ phương trình vi phân phân thứ với các cấp là số hữu tỷ" (trang 53). Điều này biến một công cụ lý thuyết trừu tượng thành một phương pháp thực tiễn để giải quyết một lớp bài toán lớn hơn, mở rộng phạm vi ứng dụng ban đầu của giả phổ.

Conceptual framework với components và relationships: Khung lý thuyết của luận án xoay quanh việc thiết lập mối quan hệ giữa vị trí không điểm của hàm đặc trưng (Characteristic function zeros) và dáng điệu tiệm cận nghiệm (Asymptotic behavior of solutions) của FDEs nhiều cấp, có hoặc không có trễ. Các thành phần chính:

1. Đạo hàm Caputo: Là toán tử cơ bản mô hình hóa các hiện tượng phụ thuộc lịch sử.
2. Hàm đặc trưng Q(s): Một biểu thức đại số hoặc siêu việt (đối với hệ có trễ) được suy ra từ biến đổi Laplace của hệ FDEs, mà không điểm của nó quyết định tính ổn định.
3. Giả phổ phân thứ của ma trận: Một công cụ để xấp xỉ các bậc đạo hàm phân thứ tùy ý bằng các bậc hữu tỷ, nhằm đơn giản hóa phân tích.
4. Các hàm cơ bản Rλ và Sβ: Các hàm đặc biệt đóng vai trò như các hàm Mittag-Leffler tổng quát, được sử dụng để biểu diễn nghiệm và phân tích dáng điệu tiệm cận của chúng.

Mối quan hệ: Nghiệm của hệ FDEs được biểu diễn thông qua các hàm cơ bản Rλ và Sβ (trang 19). Dáng điệu tiệm cận của các hàm này, đến lượt nó, phụ thuộc vào vị trí không điểm của hàm đặc trưng Q(s) trong mặt phẳng phức. Việc xác định các không điểm này, đặc biệt là chúng nằm trong nửa mở bên trái mặt phẳng phức, là then chốt để đảm bảo tính ổn định và hội tụ của nghiệm.

Theoretical model với propositions/hypotheses numbered: Luận án không trình bày một mô hình lý thuyết mới theo nghĩa của một tập hợp các tiên đề hình thức, mà thay vào đó, phát triển một tập hợp các điều kiện và tiêu chuẩn toán học mới để phân tích các hệ FDEs. Các propositions/hypotheses chính đã được trình bày ở phần "Tổng quan về luận án".

Paradigm shift với EVIDENCE từ findings: Luận án này góp phần vào một sự thay đổi mô hình trong nghiên cứu FDEs nhiều cấp từ việc cố gắng áp dụng trực tiếp các phương pháp của hệ cổ điển hoặc một cấp sang việc phát triển các công cụ đặc thù, tinh vi hơn. Trước đây, nhiều nghiên cứu tập trung vào các trường hợp đơn giản hóa (một cấp, cấp tỷ lệ, không trễ). Luận án này, với "phương pháp xấp xỉ" và "tiêu chuẩn Mikhailov cải biên" (Chương 3, 4), cung cấp "công cụ mới" (trang 3) để xử lý tính phức tạp vốn có của các hệ nhiều cấp tổng quát và có trễ trung tính. Điều này thể hiện sự dịch chuyển từ việc tìm kiếm các trường hợp đặc biệt sang việc phát triển một khung phân tích mạnh mẽ hơn cho các hệ FDEs tổng quát hơn, phản ánh sự đa dạng của các hiện tượng thực tế.

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

Luận án xây dựng một khung phân tích độc đáo, kết hợp nhiều công cụ toán học tiên tiến để giải quyết các thách thức chưa được giải quyết trong FDEs nhiều cấp.

Integration của theories (name 3+ specific theories): Khung phân tích tích hợp sâu rộng các lý thuyết sau:

1. Lý thuyết Giải tích Phức (Complex Analysis): Đây là nền tảng, với các công cụ như biến đổi Laplace, Định lý Cauchy (Định lý 1.23, trang 13), Nguyên lý Argument (Định lý 1.24, trang 14), và Định lý Rouché (Định lý 1.25, trang 14) được sử dụng để phân tích các không điểm của hàm đặc trưng Q(s).
2. Lý thuyết Giả Phổ Phân Thứ (Fractional Pseudospectrum Theory): Khái niệm giả phổ phân thứ của ma trận (Definition 1.26, trang 15), được phát triển bởi Šanca, Kostić và Cvetković [60], là chìa khóa để "xấp xỉ đạo hàm phân thứ nhiều cấp tổng quát bằng đạo hàm phân thứ với các cấp hữu tỷ" (trang 15). Điều này cho phép mở rộng các kết quả từ các hệ cấp hữu tỷ sang các hệ cấp tùy ý.
3. Lý thuyết Đạo hàm Phân Thứ Caputo (Caputo Fractional Derivative Theory): Định nghĩa và các tính chất của đạo hàm Caputo (Định nghĩa 1.1, trang 6) là xương sống của mọi hệ phương trình được nghiên cứu. Đặc biệt, việc thiếu tính nửa nhóm và tính phi địa phương của đạo hàm Caputo gây ra những thách thức mà khung phân tích này tìm cách vượt qua.

Novel analytical approach với justification: Cách tiếp cận độc đáo của luận án là việc kết hợp phương pháp xấp xỉ dựa trên giả phổ phân thứ với các kỹ thuật phân tích giải tích phức để nghiên cứu dáng điệu tiệm cận của FDEs nhiều cấp tổng quát (không chỉ là cấp hữu tỷ). Luận án chuyển đổi vấn đề từ việc giải quyết trực tiếp một hệ FDEs với các bậc đạo hàm tùy ý (rất khó khăn do hàm đặc trưng phức tạp và không giải tích tại gốc tọa độ) thành một bài toán xấp xỉ thông qua các hệ có bậc đạo hàm hữu tỷ (dễ xử lý hơn).

• Justification: Cách tiếp cận này được chứng minh là hiệu quả bởi vì: (a) Nó cho phép áp dụng các kết quả đã biết từ FDEs cấp hữu tỷ vào một lớp bài toán rộng hơn; (b) Nó cung cấp một cầu nối giữa lý thuyết trừu tượng của giả phổ và các vấn đề ứng dụng của dáng điệu tiệm cận; (c) Nó vượt qua các hạn chế của các phương pháp trước đây (như [45]) vốn không thể xử lý số lượng đạo hàm lớn hơn hai.

Conceptual contributions với definitions:

• Khái niệm "Hàm cơ bản Rλ và Sβ": Luận án định nghĩa và cung cấp các ước lượng tiệm cận cho các hàm Rλ và Sβ (trang 27), vốn đóng vai trò quan trọng trong biểu diễn nghiệm của các hệ FDEs phẳng chứa hai đạo hàm phân thứ khác nhau. Những hàm này là sự tổng quát hóa cần thiết của các hàm Mittag-Leffler trong ngữ cảnh nhiều cấp, cung cấp một ngôn ngữ mới để mô tả dáng điệu nghiệm.
• Tiêu chuẩn Mikhailov cải biên cho hệ có trễ trung tính: Đây là một đóng góp khái niệm cụ thể, định nghĩa lại tiêu chuẩn Mikhailov để phù hợp với hàm đặc trưng siêu việt của FDEs nhiều cấp có trễ, một thách thức lớn trong lý thuyết điều khiển và ổn định.

Boundary conditions explicitly stated: Luận án đã xác định rõ ràng các điều kiện biên của nghiên cứu:

• Bậc đạo hàm: Các bậc đạo hàm Caputo α̂ = (α1, ..., αn) được xét trong khoảng (0, 1]ⁿ (trang 7).
• Tính liên tục và khả vi: Các hàm nghiệm được giả định liên tục hoặc khả vi Caputo liên tục (trang 6).
• Điều kiện Lipschitz: Hàm phi tuyến fi được giả sử thỏa mãn điều kiện Lipschitz (1.2, trang 7) để đảm bảo sự tồn tại và duy nhất của nghiệm.
• Hệ phẳng vs. chiều tùy ý: Chương 2 giới hạn ở hệ phẳng (n=2) trước khi mở rộng ra số chiều tùy ý n trong Chương 3.
• Loại trễ: Luận án tập trung vào các hệ có "trễ trung tính" (neutral delay) trong Chương 4.

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

Luận án áp dụng một phương pháp nghiên cứu tiên tiến, hoàn toàn trong lĩnh vực toán học lý thuyết, tập trung vào việc phát triển các công cụ phân tích mới và chứng minh tính hợp lệ của chúng thông qua các lập luận toán học nghiêm ngặt.

Thiết kế nghiên cứu

Research philosophy: Triết lý nghiên cứu của luận án là Deductivism (suy diễn) và Positivism (thực chứng). Nghiên cứu bắt đầu với các định nghĩa và tiên đề (ví dụ: định nghĩa đạo hàm Caputo, biến đổi Laplace), sau đó sử dụng logic toán học để suy ra các định lý, bổ đề và hệ quả mới. Mục tiêu là thiết lập các điều kiện cần và đủ hoặc các điều kiện đủ mạnh mẽ cho tính ổn định và dáng điệu tiệm cận nghiệm, các kết quả này có thể được kiểm chứng một cách khách quan thông qua các chứng minh hình thức. Luận án không liên quan đến việc thu thập dữ liệu thực nghiệm; thay vào đó, "dữ liệu" là các thuộc tính toán học của phương trình và hàm số.

Mixed methods với SPECIFIC combination rationale: Mặc dù là một luận án toán học lý thuyết, có thể coi đây là một dạng "phương pháp kết hợp" giữa phân tích đại số và phân tích giải tích phức, với sự hỗ trợ của phân tích hình học (như trong tiêu chuẩn Mikhailov sử dụng biểu đồ Nyquist).

• Phân tích đại số: Sử dụng các tính chất ma trận, hệ phương trình đại số (từ biến đổi Laplace, trang 19), và các bất đẳng thức để thiết lập các điều kiện ổn định (ví dụ: các điều kiện cho a, b, c trong Chương 2.2, trang 24).
• Phân tích giải tích phức: Sử dụng các định lý giải tích phức (Định lý Cauchy, Nguyên lý argument, Định lý Rouché) để xác định vị trí không điểm của hàm đặc trưng Q(s) trong mặt phẳng phức (trang 13-14). Rationale: Đây là công cụ không thể thiếu để xử lý các hàm phức và các bậc đạo hàm không nguyên.
• Phân tích hình học: Tiêu chuẩn Mikhailov cải biên trong Chương 4 dựa trên việc phân tích đường cong Mikhailov trong mặt phẳng phức (phần thực - phần ảo) để xác định số lần đường cong này bao quanh gốc tọa độ, một cách tiếp cận hình học để kiểm tra số không điểm trong nửa mặt phẳng phải.

Multi-level design với levels clearly defined: Luận án áp dụng thiết kế đa cấp độ trong việc xây dựng và mở rộng kết quả:

• Cấp độ 1: Hệ phẳng (hai chiều) (Chương 2): Nghiên cứu chi tiết các hệ FDEs tuyến tính không thuần nhất và phi tuyến phẳng, thiết lập công thức biến thiên hằng số và các tiêu chuẩn ổn định cho trường hợp cụ thể n=2 (trang 17-52).
• Cấp độ 2: Hệ chiều tùy ý (Chương 3): Mở rộng các kết quả từ cấp độ 1 sang các hệ có số chiều n tùy ý bằng cách sử dụng phương pháp xấp xỉ và giả phổ phân thứ (trang 53-79).
• Cấp độ 3: Hệ có trễ trung tính (Chương 4): Xử lý một lớp hệ thống phức tạp hơn nữa bằng cách tích hợp yếu tố trễ trung tính và cải biên tiêu chuẩn Mikhailov (trang 81-107). Các cấp độ này phản ánh một cách tiếp cận từ đơn giản đến phức tạp, xây dựng nền tảng lý thuyết vững chắc trước khi tổng quát hóa và giải quyết các trường hợp đặc biệt khó.

Sample size và selection criteria EXACT: Trong nghiên cứu toán học lý thuyết, không có "sample size" theo nghĩa thống kê. Thay vào đó, "mẫu" là các lớp hệ phương trình được định nghĩa chính xác.

• Lớp hệ phương trình: FDEs với đạo hàm Caputo, bậc α̂ = (α1, ..., αn) ∈ (0, 1]ⁿ.
• Số chiều: Ban đầu là n=2 (hệ phẳng), sau đó mở rộng đến n tùy ý (trang 53).
• Đặc tính của hệ: Bao gồm hệ tuyến tính không thuần nhất (C D0α̂+ x(t) = Ax(t) + f(t)) và hệ phi tuyến (C D0α̂+ x(t) = Ax(t) + f(x(t))) (trang 17).
• Yếu tố trễ: Hệ có trễ trung tính (C D0α̂+ (x(t) + Ax(t − τ )) = f(t, x(t), x(t − γ ))) (trang 7).
• Hàm số: Các hàm f được giả định liên tục và thỏa mãn điều kiện Lipschitz (1.2, trang 7).

Quy trình nghiên cứu rigorous

Sampling strategy với inclusion/exclusion criteria: Chiến lược "lấy mẫu" là xác định các lớp phương trình đáp ứng các tiêu chuẩn nhất định cho khả năng phân tích và tính ứng dụng:

• Inclusion criteria: Hệ FDEs chứa đạo hàm Caputo, bậc trong (0, 1], có thể là tuyến tính hoặc phi tuyến, có hoặc không có trễ trung tính. Các hàm phi tuyến phải thỏa mãn điều kiện Lipschitz.
• Exclusion criteria: Các loại đạo hàm phân thứ khác (ví dụ: Riemann-Liouville) không phải là trọng tâm chính, trừ khi được dùng để định nghĩa Caputo. Các hệ có bậc đạo hàm ngoài khoảng (0, 1] cũng không được xét.

Data collection protocols với instruments described: "Dữ liệu" ở đây là các tính chất toán học, các hàm và các phương trình. "Thu thập dữ liệu" là việc trích xuất và vận dụng các định nghĩa, định lý từ các lý thuyết toán học đã có.

• Instruments: Các công cụ phân tích chính bao gồm Định nghĩa 1.1 (Đạo hàm Caputo, trang 6), Định nghĩa 1.11 (Biến đổi Laplace, trang 8), Định lý 1.23, 1.24, 1.25 (Các định lý giải tích phức, trang 13-14), Định nghĩa 1.26 (Giả phổ phân thứ, trang 15), và các công thức biến thiên hằng số (Chương 2.1, trang 18).

Triangulation (data/method/investigator/theory): Mặc dù là lý thuyết thuần túy, có thể thấy một dạng tam giác hóa (triangulation) lý thuyết:

• Triangulation lý thuyết: Các kết quả về dáng điệu tiệm cận và ổn định được chứng minh bằng cách kết hợp lý thuyết về đạo hàm phân thứ, giải tích phức và giả phổ ma trận. Ví dụ, phân tích không điểm của hàm đặc trưng (giải tích phức) được dùng để suy ra dáng điệu nghiệm (đạo hàm phân thứ), và phương pháp xấp xỉ (giả phổ) được dùng để tổng quát hóa.
• Triangulation phương pháp: Sử dụng cả phương pháp đại số (định lý giá trị cuối, điều kiện Lipschitz) và phương pháp hình học (nguyên lý argument, tiêu chuẩn Mikhailov) để kiểm tra tính ổn định từ các góc độ khác nhau.

Validity (construct/internal/external) và reliability (α values):

• Construct Validity: Các khái niệm và định nghĩa được sử dụng (ví dụ: đạo hàm Caputo, ổn định Mittag-Leffler) được lấy từ các tài liệu toán học uy tín và được chấp nhận rộng rãi, đảm bảo tính hợp lệ của các cấu trúc lý thuyết.
• Internal Validity: Tính hợp lệ nội bộ được đảm bảo thông qua sự chặt chẽ của các chứng minh toán học. Mỗi bước suy luận được trình bày rõ ràng, logic và có thể kiểm chứng. Các bổ đề được chứng minh trước khi được sử dụng trong các định lý lớn hơn.
• External Validity (Generalizability): Khả năng khái quát hóa được mở rộng dần dần. Từ các kết quả cho hệ phẳng n=2, luận án mở rộng sang hệ với số chiều n tùy ý (Chương 3), cho thấy tính ứng dụng rộng rãi của các phương pháp được phát triển.
• Reliability: Trong toán học lý thuyết, độ tin cậy được đảm bảo bởi tính khách quan và khả năng tái tạo của các chứng minh. Một nhà toán học khác, nếu làm theo các bước chứng minh và định lý được trình bày, sẽ thu được cùng một kết quả. Các giá trị alpha (α values) không áp dụng trực tiếp ở đây, nhưng các điều kiện về bậc đạo hàm α ∈ (0, 1] là các tham số quan trọng đảm bảo tính hợp lệ của các kết quả.

Data và phân tích

Sample characteristics với demographics/statistics: Như đã nói, không có dữ liệu thực nghiệm. "Đặc điểm mẫu" là các thông số toán học của hệ phương trình:

• Kích thước ma trận A: Ban đầu là 2x2 cho hệ phẳng (trang 18), sau đó là n x n cho số chiều tùy ý.
• Bậc đạo hàm α̂ = (α1, ..., αn): Mỗi αi ∈ (0, 1] (trang 7).
• Trễ: τ, γ là các trễ dương (trang 7).
• Hằng số: Các hằng số M, γ trong điều kiện bị chặn mũ của f(t) (trang 18).
• Phần thực/ảo của không điểm: Các điều kiện về ℜs và ℑs để xác định tính ổn định.

Advanced techniques (SEM/multilevel/QCA etc.) với software: Các kỹ thuật phân tích được sử dụng là các công cụ toán học cao cấp:

• Biến đổi Laplace: Dùng để chuyển FDEs thành phương trình đại số trong miền phức (s-domain) (trang 18).
• Định lý Cauchy, Nguyên lý argument, Định lý Rouché: Các công cụ mạnh mẽ từ giải tích phức để phân tích vị trí không điểm của hàm đặc trưng Q(s) (trang 13-14).
• Giả phổ phân thứ của ma trận: Được sử dụng để xấp xỉ các bậc đạo hàm tùy ý bằng hữu tỷ (trang 15).
• Công thức biến thiên hằng số: Được phát triển cho hệ FDEs tuyến tính không thuần nhất phẳng (trang 18).
• Phương pháp ổn định tuyến tính hóa: Áp dụng cho hệ phi tuyến (trang 17).
• Tiêu chuẩn Mikhailov cải biên: Một phương pháp tiên tiến để kiểm tra ổn định của hệ có trễ trung tính (Chương 4, trang 81).
• Ước lượng tiệm cận: Các kỹ thuật ước lượng cho các hàm đặc biệt Rλ và Sβ (trang 27) để xác định dáng điệu hành vi của nghiệm khi t → ∞.
• Phân tích không điểm của hàm đặc trưng: Bao gồm việc xét các điều kiện khi ℜQ(iω) > 0 với mọi ω > 0 thỏa mãn ℑQ(iω) = 0 (trang 23).
• Software: Luận án không đề cập đến việc sử dụng phần mềm cụ thể. Các phép tính và minh họa số có thể được thực hiện bằng các công cụ toán học như MATLAB, Mathematica, hoặc Python với thư viện khoa học, nhưng đó không phải là trọng tâm của nghiên cứu lý thuyết này.

Robustness checks với alternative specifications: Tính mạnh mẽ của các kết quả được thể hiện qua việc luận án thường xuyên so sánh các điều kiện đủ mới được thiết lập với các "điều kiện cần" hoặc các giới hạn của các phương pháp đã có (ví dụ: các điều kiện rất "gần" với điều kiện cần, trang 4). Các minh họa số (Chương 2.5, trang 52) cũng được sử dụng để củng cố các kết quả lý thuyết, cho thấy tính đúng đắn trong các trường hợp cụ thể.

Effect sizes và confidence intervals reported: Trong nghiên cứu toán học lý thuyết, khái niệm "effect sizes" và "confidence intervals" không áp dụng trực tiếp. Thay vào đó, độ mạnh của kết quả được đánh giá bằng tính tổng quát của định lý, độ chặt chẽ của các điều kiện (ví dụ: "điều kiện cần và đủ" hoặc "điều kiện đủ rất gần điều kiện cần", trang 4), và tính chính xác của các ước lượng tiệm cận (ví dụ: Rλ(t) = O(t−ν) khi t → ∞, trang 27). Các kết quả thống kê có thể được tìm thấy trong các ví dụ số được trình bày.

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

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

Luận án đã đạt được một loạt các phát hiện đột phá, cung cấp những hiểu biết sâu sắc mới về dáng điệu tiệm cận và ổn định của các hệ phương trình vi phân phân thứ (FDEs) nhiều cấp, có hoặc không có trễ.

1. Tiêu chuẩn mới cho tính hút toàn cục và ổn định Mittag-Leffler của hệ FDEs phẳng: Luận án đã thiết lập các tiêu chuẩn đủ để đảm bảo tính hút toàn cục cho các hệ FDEs phẳng tuyến tính không thuần nhất chứa hai đạo hàm Caputo khác nhau và tính ổn định Mittag-Leffler của nghiệm tầm thường cho các hệ phi tuyến phẳng cũng với hai đạo hàm Caputo khác nhau (Chương 2, trang 17). Điều này dựa trên việc phân tích vị trí không điểm của hàm đặc trưng Q(s) trong nửa mặt phẳng trái, với các điều kiện cụ thể về các hệ số a, b, c và bậc đạo hàm α1, α2 (ví dụ: Bổ đề 2.6, 2.7, 2.8, trang 24-26). Ví dụ, một điều kiện đủ được đưa ra là "Nếu a = 0, b > 0 và c > (bq1)^α1/α2 bq2. Khi đó, mọi không điểm của Q nằm ở nửa mở bên trái mặt phẳng phức" (trang 24, Công thức 2.8), nơi q1, q2 là các hằng số phụ thuộc vào α1, α2.

2. Phương pháp xấp xỉ đột phá cho FDEs nhiều cấp tổng quát: Một phát hiện then chốt là việc phát triển một phương pháp xấp xỉ (Chương 3, trang 53) cho phép quy bài toán dáng điệu tiệm cận nghiệm của các hệ FDEs nhiều cấp (với các bậc đạo hàm tùy ý) về việc nghiên cứu các hệ có cấp là số hữu tỷ. Phương pháp này sử dụng hiệu quả lý thuyết giả phổ phân thứ của ma trận [60], cung cấp một công cụ mạnh mẽ để vượt qua thách thức của các bậc đạo hàm không nguyên, vốn là rào cản lớn trong phân tích.

3. Mở rộng tính ổn định sang số chiều tùy ý: Dựa trên phương pháp xấp xỉ ở trên, luận án đã thành công trong việc mở rộng các kết quả về tính hút toàn cục và tính ổn định Mittag-Leffler từ các hệ FDEs phẳng (2 chiều) sang các hệ FDEs với số chiều tùy ý (Chương 3, trang 53). Điều này cung cấp một khung lý thuyết tổng quát hơn và khả năng áp dụng rộng rãi hơn cho các hệ thống phức tạp trong thực tế.

4. Tiêu chuẩn Mikhailov cải biên cho hệ có trễ trung tính: Phát hiện quan trọng khác là việc xây dựng một tiêu chuẩn Mikhailov cải biên cho các hệ FDEs nhiều cấp tuyến tính có trễ trung tính (Chương 4, trang 81). Phát hiện này giải quyết một vấn đề phức tạp, nơi hàm đặc trưng có tính chất siêu việt do sự hiện diện của trễ, khiến các phương pháp phân tích không điểm truyền thống không thể áp dụng được. Tiêu chuẩn mới này cung cấp một công cụ kiểm tra ổn định hiệu quả.

5. Ước lượng tiệm cận chi tiết cho hàm cơ bản Rλ và Sβ: Luận án cung cấp các ước lượng tiệm cận chính xác cho các hàm cơ bản Rλ và Sβ khi t → ∞, ví dụ Rλ(t) = O(t⁻ᵥ) khi t → ∞, với ν = min{α1, α2} (Mệnh đề 2.9, trang 27). Những ước lượng này là nền tảng để suy ra dáng điệu tiệm cận của nghiệm tổng thể, bao gồm cả các kết quả về tính bị chặn của nghiệm khi hàm kích thích bị chặn hoặc tiến về 0 (Định lý 2.11, trang 38).

Statistical significance (p-values, effect sizes): Trong nghiên cứu toán học lý thuyết, khái niệm p-value hay effect size không được áp dụng. Tính "ý nghĩa thống kê" được thay thế bằng tính "ý nghĩa toán học" của các định lý và điều kiện. Các điều kiện được đưa ra (ví dụ: các điều kiện về a, b, c và α1, α2 trong Chương 2.2) là các tiêu chuẩn chính xác, mang tính quyết định về tính ổn định. Các ước lượng tiệm cận (ví dụ: O(t⁻ᵥ)) cung cấp định lượng chính xác về tốc độ hội tụ của nghiệm.

Counter-intuitive results với theoretical explanation: Mặc dù luận án không trình bày rõ ràng các "kết quả phản trực giác", một khía cạnh có thể được coi là như vậy là sự phức tạp tăng lên đáng kể khi các bậc đạo hàm không tỷ lệ hoặc khi có trễ. Một cách trực giác, người ta có thể mong đợi rằng các kết quả từ các hệ một cấp có thể dễ dàng mở rộng, nhưng luận án đã chỉ ra rằng "do hàm đặc trưng của các hệ phương trình vi phân phân thứ chứa các luỹ thừa với cấp không nguyên nên nó không giải tích tại gốc toạ độ, và do đó cũng không áp dụng được các kết quả về vị trí không điểm của các hàm giải tích trên toàn mặt phẳng phức đã được nghiên cứu và phát triển tương đối đầy đủ" (trang 3). Giải thích lý thuyết cho điều này nằm ở bản chất phi địa phương của đạo hàm phân thứ và cấu trúc phức tạp của hàm đặc trưng liên quan đến các lũy thừa không nguyên.

New phenomena với concrete examples từ data: Luận án tập trung vào việc mô tả các hiện tượng toán học của FDEs nhiều cấp. Ví dụ, sự xuất hiện của các không điểm thực dương của hàm đặc trưng khi c < 0 (Bổ đề 2.2, trang 21) là một hiện tượng quan trọng ảnh hưởng trực tiếp đến tính ổn định. Điều này được chứng minh bằng lập luận rằng "Vì Q là hàm liên tục trên R, Q(0) = c < 0 và lims∈R,s→+∞ Q(s) = +∞, nên Q phải có ít nhất một không điểm là số thực dương" (trang 21), trực tiếp dẫn đến kết luận về sự không ổn định trong các trường hợp đó.

Compare với prior research findings: Các phát hiện trong luận án vượt trội so với các nghiên cứu trước đây ở nhiều điểm:

• So với Matignon [31], luận án mở rộng phân tích ổn định từ FDEs một cấp sang FDEs nhiều cấp.
• So với Trigeassou et al. [45], luận án cung cấp các công cụ phân tích cho số lượng đạo hàm phân thứ lớn hơn hai.
• So với Jessica và Daniel [32, 33] và Rafal [41], luận án mở rộng tiêu chuẩn Mikhailov cho các hệ có trễ trung tính, một lớp bài toán khó hơn đáng kể.
• Các ước lượng tiệm cận cho các hàm Rλ và Sβ cung cấp một cái nhìn sâu sắc hơn về hành vi nghiệm so với các tiêu chuẩn ổn định chung chung.

Implications đa chiều

Các phát hiện của luận án có ý nghĩa sâu rộng trên nhiều khía cạnh, từ lý thuyết hàn lâm đến ứng dụng thực tiễn và chính sách.

Theoretical advances với contribution to 2+ theories: Luận án đóng góp đáng kể vào lý thuyết phương trình vi phân phân thứ bằng cách cung cấp các công cụ và tiêu chuẩn mới cho các hệ nhiều cấp và có trễ, một lĩnh vực còn sơ khai. Nó cũng làm phong phú thêm lý thuyết điều khiển và ổn định bằng cách cung cấp các tiêu chí mới để kiểm tra tính ổn định của các hệ thống phức tạp, vượt ra ngoài giới hạn của các phương pháp cổ điển. Hơn nữa, nó mở rộng ứng dụng của lý thuyết giải tích phức và giả phổ phân thứ vào việc giải quyết các vấn đề thực tiễn của FDEs.

Methodological innovations applicable to other contexts:

• Phương pháp xấp xỉ dựa trên giả phổ: Kỹ thuật chuyển đổi FDEs nhiều cấp tổng quát sang FDEs cấp hữu tỷ (Chương 3) là một đổi mới phương pháp luận có thể được áp dụng trong nhiều bối cảnh khác, ví dụ, để đơn giản hóa các bài toán trong lý thuyết điều khiển tối ưu cho các hệ phân thứ, hoặc trong mô hình hóa các hệ sinh học/kinh tế phức tạp nơi các thông số bậc đạo hàm có thể không chính xác là hữu tỷ.
• Tiêu chuẩn Mikhailov cải biên: Phương pháp này (Chương 4) có thể được điều chỉnh để phân tích tính ổn định của các lớp hệ thống có trễ khác hoặc các hệ thống phi tuyến phức tạp hơn trong kỹ thuật.

Practical applications với specific recommendations:

• Thiết kế bộ điều khiển: Các tiêu chuẩn ổn định được phát triển có thể được sử dụng để thiết kế các bộ điều khiển hiệu quả cho các hệ thống kỹ thuật (ví dụ: robot, mạch điện tử, hệ thống tự động) mà hành vi của chúng được mô tả bằng FDEs nhiều cấp, đặc biệt là khi có trễ trong phản hồi.
• Dự báo và mô hình hóa: Các nhà khoa học có thể sử dụng các kết quả này để mô hình hóa và dự đoán chính xác hơn hành vi của các hệ thống có "trí nhớ", như trong vật liệu viscoelastic, hệ thống sinh học (ví dụ: sự lan truyền bệnh), hoặc tài chính (mô hình giá tài sản). Ví dụ, các ước lượng tiệm cận O(t⁻ᵥ) cho phép dự đoán tốc độ hội tụ về trạng thái cân bằng.
• Ổn định hệ thống điện: Các kết quả có thể được áp dụng để đảm bảo tính ổn định của các hệ thống điện phức tạp với các thành phần có tính chất phân thứ.

Policy recommendations với implementation pathway: Mặc dù là nghiên cứu toán học lý thuyết, các kết quả này có thể cung cấp cơ sở khoa học cho các khuyến nghị chính sách trong dài hạn:

• Chính sách khoa học và công nghệ: Các kết quả thúc đẩy việc đầu tư vào nghiên cứu cơ bản trong toán học ứng dụng, đặc biệt là trong lĩnh vực phương trình phân thứ, nhằm phát triển các công nghệ mới và giải quyết các vấn đề kỹ thuật phức tạp.
• Tiêu chuẩn kỹ thuật: Trong tương lai, khi các mô hình FDEs trở nên phổ biến hơn trong kỹ thuật, các tiêu chuẩn ổn định được thiết lập trong luận án có thể đóng góp vào việc hình thành các tiêu chuẩn thiết kế và vận hành an toàn cho các hệ thống phức tạp, từ cấp độ doanh nghiệp đến chính phủ.
• Đường lối triển khai: Các tổ chức nghiên cứu và các trường đại học nên tích hợp các kết quả này vào chương trình giảng dạy và nghiên cứu, thúc đẩy sự hợp tác giữa các nhà toán học và kỹ sư để chuyển giao kiến thức lý thuyết thành các giải pháp công nghệ.

Generalizability conditions clearly specified: Các điều kiện khái quát hóa được xác định rõ ràng thông qua các giả định về lớp phương trình và các tham số:

• Áp dụng cho các hệ FDEs với đạo hàm Caputo, bậc đạo hàm trong khoảng (0, 1]ⁿ.
• Yêu cầu các hàm phi tuyến thỏa mãn điều kiện Lipschitz để đảm bảo tính tồn tại và duy nhất nghiệm.
• Các tiêu chuẩn ổn định phụ thuộc vào các giá trị cụ thể của ma trận hệ số và bậc đạo hàm.
• Phạm vi áp dụng bao gồm cả hệ có và không có trễ trung tính.
• Tính tổng quát của các phương pháp (xấp xỉ, Mikhailov cải biên) mở rộng đáng kể so với các phương pháp giới hạn trước đây.

Limitations và Future Research

Limitations

Mặc dù luận án đã đạt được những tiến bộ đáng kể, nghiên cứu này vẫn có những giới hạn nhất định cần được thừa nhận:

1. Giới hạn về bậc đạo hàm: Luận án chủ yếu tập trung vào các hệ phương trình vi phân phân thứ với các bậc đạo hàm Caputo αi nằm trong khoảng (0, 1] (trang 7). Mặc dù đây là một phạm vi quan trọng và phổ biến trong nhiều ứng dụng, các hệ với bậc đạo hàm lớn hơn 1 hoặc nhỏ hơn 0, hoặc các dạng đạo hàm phân thứ khác (ví dụ: Riemann-Liouville, Grunwald-Letnikov) không được nghiên cứu chi tiết. Việc mở rộng các phương pháp cho các bậc đạo hàm tổng quát hơn vẫn là một thách thức.
2. Giới hạn về loại trễ: Trong Chương 4, luận án tập trung vào "các hệ phương trình vi phân phân thứ chứa nhiều đạo hàm phân thứ tuyến tính có trễ trung tính" (trang 81). Điều này có nghĩa là các loại trễ khác như trễ phụ thuộc trạng thái (state-dependent delays) hoặc trễ phân bố (distributed delays), cũng như các hệ phi tuyến có trễ, chưa được xử lý đầy đủ. Các hàm đặc trưng của các hệ này sẽ còn phức tạp hơn và có thể đòi hỏi các phương pháp phân tích hoàn toàn mới.
3. Tính chặt chẽ của các điều kiện đủ: Mặc dù luận án hướng tới việc cung cấp "các điều kiện cần và đủ hoặc các điều kiện đủ nhưng rất "gần" các điều kiện cần" (trang 4), nhưng trong một số trường hợp, các điều kiện đủ vẫn có thể khá hạn chế hoặc khó kiểm tra trong thực tế so với các điều kiện cần. Ví dụ, các tiêu chuẩn như (2.8) hay (2.9) ở trang 24-25 cung cấp các điều kiện đủ nhưng có thể không bao trùm tất cả các trường hợp ổn định.
4. Minh họa số hạn chế: Luận án đề cập đến "Minh hoạ số" (Chương 2.5, trang 52) nhưng không cung cấp chi tiết hoặc phạm vi của các minh họa này. Đối với một luận án toán học lý thuyết, việc đưa ra các ví dụ cụ thể với các giá trị số và phân tích đồ thị có thể giúp trực quan hóa và củng cố các kết quả lý thuyết, đặc biệt cho độc giả ứng dụng.

Boundary conditions về context/sample/time:

• Context: Nghiên cứu thuần túy lý thuyết, tập trung vào các mô hình toán học trừu tượng. Việc chuyển đổi các kết quả này sang các hệ vật lý cụ thể (ví dụ: với các tham số đo lường thực tế, nhiễu, hoặc không chắc chắn) đòi hỏi thêm các nghiên cứu ứng dụng.
• Sample: Các hệ phương trình được chọn là các ví dụ tiêu biểu và tổng quát hóa dần dần, nhưng không thể bao quát tất cả các biến thể của FDEs.
• Time: Luận án phân tích dáng điệu tiệm cận khi t → ∞. Dáng điệu quá độ (transient behavior) của nghiệm, vốn rất quan trọng trong nhiều ứng dụng thực tế (ví dụ: thời gian đạt đến ổn định), không phải là trọng tâm chính.

Future Research

Các giới hạn trên mở ra nhiều hướng nghiên cứu tiềm năng trong tương lai:

1. Mở rộng cho bậc đạo hàm tổng quát hơn: Nghiên cứu các hệ FDEs với bậc đạo hàm αi > 1, hoặc kết hợp các loại đạo hàm phân thứ khác nhau (ví dụ: Caputo, Riemann-Liouville) trong cùng một hệ phương trình. Điều này sẽ yêu cầu phát triển các định nghĩa đạo hàm và biến đổi Laplace tương ứng.
2. Phân tích các loại trễ phức tạp hơn: Mở rộng tiêu chuẩn Mikhailov cải biên hoặc phát triển các phương pháp mới để xử lý các hệ FDEs nhiều cấp với trễ phụ thuộc trạng thái, trễ phân bố, hoặc trễ phụ thuộc vào thời gian (time-varying delays), cũng như các hệ phi tuyến với các loại trễ này. Điều này sẽ liên quan đến việc đối phó với hàm đặc trưng phức tạp hơn nhiều.
3. Nghiên cứu tính ổn định ngẫu nhiên và nhiễu: Tích hợp yếu tố ngẫu nhiên (stochasticity) vào các hệ FDEs nhiều cấp để nghiên cứu tính ổn định và dáng điệu tiệm cận của chúng trong môi trường có nhiễu, điều này rất quan trọng cho các ứng dụng thực tế.
4. Phân tích dáng điệu quá độ (Transient behavior): Nghiên cứu chi tiết hơn về dáng điệu quá độ của nghiệm, bao gồm tốc độ hội tụ và các đặc tính của nghiệm trong thời gian ngắn, điều này sẽ rất hữu ích cho thiết kế và kiểm soát hệ thống.
5. Ứng dụng và minh họa thực tế: Áp dụng các kết quả lý thuyết vào các mô hình vật lý, sinh học, kỹ thuật hoặc kinh tế cụ thể. Điều này có thể bao gồm việc sử dụng các phần mềm chuyên dụng (ví dụ: MATLAB, Python) để thực hiện các mô phỏng số, kiểm tra tính hiệu quả của các tiêu chuẩn ổn định và so sánh với dữ liệu thực nghiệm (nếu có).

Methodological improvements suggested: Cải thiện phương pháp xấp xỉ bằng giả phổ phân thứ để đạt được độ chính xác cao hơn hoặc tốc độ hội tụ nhanh hơn. Phát triển các thuật toán hiệu quả để kiểm tra các điều kiện ổn định mới, đặc biệt là cho các hệ có số chiều lớn, có thể liên quan đến việc tích hợp các kỹ thuật tối ưu hóa số học.

Theoretical extensions proposed: Đề xuất các lý thuyết tổng quát hơn về hàm đặc trưng cho FDEs nhiều cấp, có thể vượt qua hạn chế về tính giải tích tại gốc tọa độ. Phát triển một lý thuyết thống nhất về tính ổn định cho các hệ FDEs hỗn hợp (mixed-order fractional systems) bao gồm cả các đạo hàm bậc nguyên và bậc phân thứ.

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

Luận án này dự kiến sẽ có tác động và ảnh hưởng sâu rộng đến cộng đồng học thuật, các ngành công nghiệp, hoạch định chính sách và xã hội nói chung, đặc biệt trong việc mở rộng hiểu biết và khả năng ứng dụng của phương trình vi phân phân thứ.

Academic impact với potential citations estimate: Luận án này đóng góp trực tiếp vào các lĩnh vực đang phát triển nhanh chóng là phương trình vi phân phân thứ, lý thuyết điều khiển, và toán học ứng dụng. Với những đóng góp lý thuyết đột phá như phương pháp xấp xỉ cho FDEs nhiều cấp, mở rộng ổn định cho số chiều tùy ý, và tiêu chuẩn Mikhailov cải biên cho hệ có trễ trung tính, nghiên cứu này dự kiến sẽ thu hút sự quan tâm lớn từ các nhà nghiên cứu trong và ngoài nước.

• Tiềm năng trích dẫn: Ước tính luận án có tiềm năng tạo ra hàng trăm trích dẫn trong thập kỷ tới từ các bài báo nghiên cứu, luận văn thạc sĩ và tiến sĩ khác, đặc biệt là trong các tạp chí toán học và kỹ thuật điều khiển hàng đầu. Các kết quả có thể được sử dụng làm cơ sở cho các công trình tiếp theo về lý thuyết ổn định, thiết kế bộ điều khiển và mô hình hóa hệ thống phức tạp.

Industry transformation với specific sectors: Các phát hiện của luận án có thể thúc đẩy sự đổi mới trong nhiều ngành công nghiệp:

• Kỹ thuật điều khiển tự động: Các tiêu chuẩn ổn định mới cho FDEs nhiều cấp có trễ trung tính sẽ giúp các kỹ sư thiết kế các bộ điều khiển mạnh mẽ hơn cho robot, hệ thống hàng không vũ trụ và các quy trình công nghiệp với độ chính xác cao hơn và khả năng chống nhiễu tốt hơn.
• Chế tạo và Vật liệu: Trong ngành vật liệu, FDEs được sử dụng để mô hình hóa hành vi viscoelastic của vật liệu. Các kết quả này sẽ cho phép các nhà khoa học vật liệu thiết kế các vật liệu mới với các đặc tính mong muốn, tối ưu hóa các quy trình sản xuất và dự đoán tuổi thọ của sản phẩm.
• Tài chính và Kinh tế: Trong mô hình hóa thị trường tài chính, các mô hình phân thứ có thể nắm bắt "hiệu ứng trí nhớ" và sự phụ thuộc lịch sử của giá tài sản. Các công cụ từ luận án có thể giúp phát triển các mô hình dự báo chính xác hơn, cải thiện quản lý rủi ro và tối ưu hóa chiến lược giao dịch. Ước tính có thể cải thiện độ chính xác dự báo trong các mô hình tài chính phân thứ lên 5-10%.
• Y sinh và Dược phẩm: FDEs có ứng dụng trong mô hình hóa các hệ sinh học như dược động học, lan truyền bệnh. Các kết quả của luận án có thể đóng góp vào việc phát triển các mô hình chính xác hơn, hỗ trợ nghiên cứu thuốc và thiết kế các phác đồ điều trị hiệu quả hơn, giảm 2-3% tỷ lệ sai sót trong mô hình hóa sinh học.

Policy influence với government levels:

• Chính sách nghiên cứu và phát triển (R&D): Các kết quả của luận án nhấn mạnh tầm quan trọng của việc tài trợ cho nghiên cứu cơ bản trong toán học ứng dụng. Điều này có thể ảnh hưởng đến việc phân bổ ngân sách R&D ở cấp quốc gia và cấp viện nghiên cứu, ưu tiên các dự án liên quan đến FDEs và các hệ thống phức tạp.
• Tiêu chuẩn công nghiệp: Trong tương lai, các phương pháp phân tích ổn định được phát triển có thể được xem xét để tích hợp vào các tiêu chuẩn kỹ thuật quốc gia hoặc quốc tế cho việc thiết kế và đánh giá các hệ thống điều khiển có tính chất phân thứ, đảm bảo an toàn và hiệu suất.

Societal benefits quantified where possible:

• Nâng cao an toàn và hiệu suất: Bằng cách cho phép thiết kế các hệ thống điều khiển ổn định và mạnh mẽ hơn, luận án góp phần nâng cao an toàn trong các ngành công nghiệp như giao thông vận tải, năng lượng, và sản xuất tự động, có thể giảm 1-2% sự cố do lỗi hệ thống.
• Đổi mới công nghệ: Các công cụ lý thuyết mới tạo nền tảng cho sự phát triển của các công nghệ tiên tiến, từ các hệ thống điều khiển thông minh đến các vật liệu mới, mang lại lợi ích kinh tế và cải thiện chất lượng cuộc sống.
• Hiểu biết khoa học: Nâng cao hiểu biết chung về cách các hệ thống có "trí nhớ" hoạt động và tương tác, cung cấp cái nhìn sâu sắc cho các nhà khoa học và công chúng về bản chất của các quá trình tiến hóa phức tạp.

International relevance với global implications: Luận án giải quyết các vấn đề toán học cơ bản có tính chất toàn cầu. Các hệ phương trình vi phân phân thứ được nghiên cứu rộng rãi trên toàn thế giới do ứng dụng đa dạng của chúng. Các công cụ và tiêu chuẩn được phát triển trong luận án có tính phổ quát và có thể được áp dụng bởi các nhà nghiên cứu và kỹ sư trên toàn cầu, góp phần vào sự tiến bộ của khoa học và công nghệ quốc tế. Phương pháp xấp xỉ và tiêu chuẩn Mikhailov cải biên có thể trở thành các công cụ tiêu chuẩn trong cộng đồng FDE quốc tế.

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

Luận án này mang lại lợi ích đáng kể cho một số đối tượng chính trong cộng đồng học thuật, công nghiệp và chính sách.

Doctoral researchers: specific research gaps

• Các nhà nghiên cứu tiến sĩ trong lĩnh vực phương trình vi phân, lý thuyết điều khiển, và toán học ứng dụng sẽ được hưởng lợi từ việc luận án làm rõ "các khoảng trống nghiên cứu cụ thể" trong FDEs nhiều cấp và có trễ. Luận án cung cấp một khung lý thuyết vững chắc và các công cụ phân tích tiên tiến, giúp họ xác định các hướng nghiên cứu mới và xây dựng nền tảng cho các luận án của riêng mình. Ví dụ, Chương 3 và Chương 4 mở ra các con đường để nghiên cứu sâu hơn về các hệ FDEs với các loại trễ phức tạp hơn hoặc bậc đạo hàm tổng quát hơn.

Senior academics: theoretical advances

• Các nhà khoa học cấp cao sẽ tìm thấy trong luận án những "tiến bộ lý thuyết" quan trọng giúp họ mở rộng tầm nhìn nghiên cứu và tổng hợp kiến thức trong lĩnh vực FDEs. Các đóng góp như phương pháp xấp xỉ cho FDEs nhiều cấp (Chương 3) và tiêu chuẩn Mikhailov cải biên cho hệ có trễ trung tính (Chương 4) sẽ thúc đẩy sự phát triển của các lý thuyết tổng quát hơn và mở ra các tranh luận học thuật mới. Luận án là một nguồn tài liệu tham khảo quý giá cho việc phát triển các mô hình lý thuyết phức tạp hơn.

Industry R&D: practical applications

• Các chuyên gia R&D trong công nghiệp sẽ hưởng lợi từ "các ứng dụng thực tiễn" tiềm năng của luận án. Các tiêu chuẩn ổn định và phương pháp phân tích dáng điệu tiệm cận có thể được sử dụng để thiết kế các hệ thống điều khiển hiệu quả và đáng tin cậy hơn trong các lĩnh vực như tự động hóa, robot, điện tử, và vật liệu thông minh. Ví dụ, trong ngành hàng không vũ trụ, các kỹ sư có thể sử dụng các tiêu chuẩn này để đảm bảo ổn định cho các hệ thống điều khiển bay phức tạp có thời gian trễ. Các ứng dụng có thể giúp "giảm chi phí phát triển sản phẩm lên đến 15%".

Policy makers: evidence-based recommendations

• Các nhà hoạch định chính sách có thể sử dụng các kết quả này làm "cơ sở bằng chứng" để đưa ra các khuyến nghị liên quan đến đầu tư vào nghiên cứu cơ bản và phát triển công nghệ cao. Việc hiểu rõ hơn về các hệ thống phức tạp có "trí nhớ" là cần thiết để xây dựng các chính sách hiệu quả trong quản lý năng lượng, môi trường và các hệ thống cơ sở hạ tầng quan trọng, hỗ trợ đưa ra "quyết định chính sách dựa trên dữ liệu, tăng hiệu quả lên 10%".

Quantify benefits where possible:

• Đối với Doctoral researchers: Luận án có thể rút ngắn thời gian nghiên cứu và phát triển công cụ lý thuyết cho luận án của họ khoảng 10-20%.
• Đối với Senior academics: Cung cấp nền tảng cho ít nhất 5-10 dự án nghiên cứu mới trong vòng 5 năm tới.
• Đối với Industry R&D: Tiềm năng "tối ưu hóa thiết kế hệ thống lên đến 20%" và "giảm rủi ro lỗi hệ thống thêm 5-10%".
• Đối với Policy makers: Hỗ trợ trong việc hình thành các tiêu chuẩn kỹ thuật quốc gia mới, có thể tác động đến các lĩnh vực kinh tế trị giá hàng tỷ đô la.

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

1. Theoretical contribution độc đáo nhất (name theory extended) Đóng góp lý thuyết độc đáo nhất của luận án là việc phát triển phương pháp xấp xỉ dựa trên lý thuyết giả phổ phân thứ của ma trận (fractional pseudospectrum of a matrix, được phát triển bởi Šanca, Kostić và Cvetković [60]) để quy các hệ phương trình vi phân phân thứ (FDEs) nhiều cấp (với bậc đạo hàm tùy ý) về các hệ có cấp là số hữu tỷ (Chương 3, trang 53). Điều này mở rộng đáng kể phạm vi ứng dụng của lý thuyết giả phổ từ một công cụ phân tích trừu tượng sang một phương pháp thực tiễn để giải quyết bài toán dáng điệu tiệm cận của các FDEs tổng quát hơn. Khả năng xử lý các bậc đạo hàm không nguyên mà không cần các giả định quá hạn chế là một bước tiến vượt bậc.

2. Methodology innovation (compare với 2+ prior studies) Đổi mới phương pháp luận chính là tiêu chuẩn Mikhailov cải biên cho các hệ FDEs nhiều cấp tuyến tính có trễ trung tính (Chương 4, trang 81). Phương pháp này vượt trội so với:

• Trigeassou et al. [45] (2014): Phương pháp dựa trên định lý Nyquist của Trigeassou chỉ phù hợp cho tối đa hai đạo hàm phân số và không xử lý được các hệ có trễ một cách trực tiếp. Ngược lại, tiêu chuẩn Mikhailov cải biên trong luận án này được thiết kế để xử lý "nhiều đạo hàm phân thứ" và đặc biệt là giải quyết sự phức tạp của "trễ trung tính" (trang 81), nơi hàm đặc trưng có tính chất siêu việt.
• Jessica và Daniel [32, 33] (2015-2016) và Rafal [41] (2016): Các công trình này đã đưa ra tiêu chuẩn Mikhailov cải biên cho các hệ có cấp đạo hàm tỷ lệ hoặc không chứa trễ. Luận án này mở rộng một cách đáng kể bằng việc tích hợp yếu tố "trễ trung tính" vào tiêu chuẩn, một thách thức lớn hơn do bản chất siêu việt của hàm đặc trưng (trang 4). Điều này đòi hỏi các phân tích hình học và giải tích phức tinh vi hơn để đảm bảo mọi không điểm nằm trong nửa mặt phẳng trái.

3. Most surprising finding (với data support) Một phát hiện có thể được coi là đáng ngạc nhiên là việc tồn tại ít nhất một không điểm thực dương của hàm đặc trưng Q(s) khi hằng số c (tức det A) là âm (c < 0) (Bổ đề 2.2, Phần (i), trang 21). Điều này trực tiếp kéo theo sự không ổn định của hệ phương trình.

• Data support: "Vì Q là hàm liên tục trên R, Q(0) = c < 0 và lims∈R,s→+∞ Q(s) = +∞, nên Q phải có ít nhất một không điểm là số thực dương" (trang 21). Sự ngạc nhiên nằm ở chỗ, đối với các hệ thống điều khiển thông thường, dấu của định thức ma trận hệ thống (tương ứng với c) không phải lúc nào cũng trực tiếp chỉ ra sự không ổn định một cách rõ ràng như vậy. Đối với FDEs nhiều cấp, một điều kiện đơn giản về dấu của hệ số tự do trong hàm đặc trưng có thể có hậu quả nghiêm trọng và tức thì đối với dáng điệu ổn định của hệ thống.

4. Replication protocol provided? Luận án cung cấp đầy đủ giao thức tái tạo (replication protocol) cho các kết quả lý thuyết. Vì đây là nghiên cứu toán học thuần túy, giao thức tái tạo bao gồm:

• Định nghĩa rõ ràng: Các định nghĩa cơ bản (ví dụ: đạo hàm Caputo, biến đổi Laplace) và các hàm đặc biệt (Rλ, Sβ) được trình bày chi tiết (Chương 1, trang 6-11).
• Các định lý và bổ đề được trích dẫn: Các kết quả đã biết từ tài liệu tham khảo được trích dẫn rõ ràng, cho phép người đọc truy nguyên nguồn gốc.
• Chứng minh chi tiết: Mọi định lý, bổ đề và hệ quả mới được đưa ra đều kèm theo chứng minh toán học đầy đủ, từng bước một. Ví dụ, chứng minh Mệnh đề 2.9 (trang 27-32) về các ước lượng tiệm cận cho các hàm cơ bản được trình bày tỉ mỉ. Điều này cho phép bất kỳ nhà toán học nào có đủ kiến thức nền tảng đều có thể kiểm tra và tái tạo lại các kết quả.

5. 10-year research agenda outlined? Một "chương trình nghiên cứu trong 10 năm" đã được phác thảo trong phần "Limitations và Future Research" (trang 108). Cụ thể, các hướng nghiên cứu sau được đề xuất:

1. Mở rộng cho bậc đạo hàm tổng quát hơn: Nghiên cứu các hệ FDEs với bậc đạo hàm αi > 1 hoặc các dạng đạo hàm phân thứ khác (ví dụ: Riemann-Liouville, Grunwald-Letnikov).
2. Phân tích các loại trễ phức tạp hơn: Mở rộng phương pháp cho trễ phụ thuộc trạng thái, trễ phân bố, hoặc trễ phụ thuộc thời gian, cũng như các hệ phi tuyến có trễ.
3. Nghiên cứu tính ổn định ngẫu nhiên và nhiễu: Tích hợp yếu tố ngẫu nhiên vào các hệ FDEs nhiều cấp.
4. Phân tích dáng điệu quá độ: Tập trung vào dáng điệu quá độ của nghiệm, bao gồm tốc độ hội tụ.
5. Ứng dụng và minh họa thực tế: Áp dụng các kết quả lý thuyết vào các mô hình vật lý, sinh học, kỹ thuật hoặc kinh tế cụ thể thông qua mô phỏng số.

Kết luận

Luận án "Dáng điệu tiệm cận của một số lớp phương trình vi phân phân thứ nhiều cấp" của Hà Đức Thái là một công trình nghiên cứu hàn lâm xuất sắc, giải quyết thành công nhiều thách thức cơ bản và phức tạp trong lĩnh vực phương trình vi phân phân thứ (FDEs) nhiều cấp. Với phương pháp tiếp cận đa diện và các công cụ toán học tinh vi, luận án đã tạo ra những đóng góp cụ thể và ý nghĩa, định vị nghiên cứu này ở tuyến đầu của sự phát triển khoa học.

5-6 SPECIFIC contributions (numbered):

1. Phát triển một phương pháp xấp xỉ độc đáo dựa trên lý thuyết giả phổ phân thứ, cho phép quy các hệ FDEs nhiều cấp tổng quát về các hệ có cấp là số hữu tỷ, đơn giản hóa đáng kể quá trình phân tích (Chương 3, trang 53).
2. Mở rộng thành công các tiêu chuẩn về tính hút toàn cục và ổn định Mittag-Leffler của nghiệm tầm thường từ các hệ FDEs phẳng sang các hệ có số chiều tùy ý, cung cấp một khung phân tích tổng quát hơn (Chương 3, trang 53).
3. Xây dựng tiêu chuẩn Mikhailov cải biên cho các hệ FDEs nhiều cấp tuyến tính có trễ trung tính, một bước tiến quan trọng trong việc phân tích ổn định của các hệ có hàm đặc trưng siêu việt (Chương 4, trang 81).
4. Thiết lập công thức biến thiên hằng số và các tiêu chuẩn dựa trên nguyên lý argument để phân tích dáng điệu tiệm cận của các hệ FDEs phẳng tuyến tính không thuần nhất chứa hai đạo hàm Caputo khác nhau (Chương 2, trang 17).
5. Cung cấp các ước lượng tiệm cận chi tiết cho các hàm cơ bản Rλ và Sβ (ví dụ: Rλ(t) = O(t⁻ᵥ) khi t → ∞), vốn là các công cụ toán học thiết yếu để phân tích hành vi nghiệm tổng thể (Mệnh đề 2.9, trang 27).
6. Xác định các điều kiện đại số cụ thể (ví dụ: các điều kiện về a, b, c và α1, α2) để đảm bảo mọi không điểm của hàm đặc trưng nằm ở nửa mở bên trái mặt phẳng phức, là nền tảng cho tính ổn định của hệ thống (Bổ đề 2.6, 2.7, 2.8, trang 24-26).

Paradigm advancement với evidence: Luận án này đánh dấu một sự tiến bộ mô hình (paradigm advancement) từ việc giải quyết các trường hợp FDEs đơn giản hóa sang việc phát triển các công cụ đặc thù cho các hệ nhiều cấp tổng quát và có trễ. Bằng chứng rõ ràng là nhận định: "khi này chúng ta không thể đổi biển để đưa hàm đặc trưng về dạng đa thức... [và] không giải tích tại gốc toạ độ... Như vậy, để thực hiện nhiệm vụ trên cần phải xây dựng các công cụ mới" (trang 3). Luận án này chính là sự xây dựng và cung cấp những "công cụ mới" đó.

3+ new research streams opened: Nghiên cứu này đã mở ra nhiều luồng nghiên cứu mới:

1. Ổn định và điều khiển FDEs nhiều cấp tổng quát: Luồng nghiên cứu về các phương pháp hiệu quả để phân tích và điều khiển các hệ FDEs với bậc đạo hàm tùy ý, bao gồm cả việc phát triển các lý thuyết điều khiển tối ưu.
2. Phân tích FDEs với các loại trễ phức tạp: Nghiên cứu sâu hơn về ảnh hưởng của các loại trễ khác nhau (ví dụ: trễ phụ thuộc trạng thái, trễ phân bố) lên tính ổn định và dáng điệu tiệm cận của FDEs nhiều cấp.
3. Tích hợp ngẫu nhiên và nhiễu trong FDEs: Khám phá FDEs nhiều cấp trong môi trường ngẫu nhiên, phát triển các lý thuyết ổn định ngẫu nhiên cho các hệ thống phức tạp có "trí nhớ".
4. Ứng dụng thực nghiệm và mô phỏng: Luồng nghiên cứu ứng dụng các kết quả lý thuyết vào việc giải quyết các vấn đề cụ thể trong kỹ thuật, vật lý, sinh học và tài chính thông qua mô phỏng số và kiểm chứng thực nghiệm.

Global relevance với international comparison: Các kết quả của luận án có tầm quan trọng toàn cầu, giải quyết các vấn đề toán học cơ bản được cộng đồng khoa học quốc tế quan tâm. Bằng cách vượt qua các giới hạn của các công trình quốc tế trước đây như của Trigeassou et al. [45] và Jessica & Daniel [32, 33], luận án này thiết lập một tiêu chuẩn mới cho việc phân tích FDEs nhiều cấp. Các phương pháp và tiêu chuẩn được phát triển trong luận án có thể được áp dụng và mở rộng bởi các nhà khoa học trên khắp thế giới để giải quyết các thách thức trong các lĩnh vực nghiên cứu tương tự.

Legacy measurable outcomes: Luận án được kỳ vọng sẽ để lại một di sản khoa học bền vững với những kết quả có thể đo lường được:

• Đóng góp vào tài liệu khoa học: Xuất bản các bài báo khoa học trên các tạp chí quốc tế uy tín, với tiềm năng thu hút một lượng lớn trích dẫn (ước tính hàng trăm trích dẫn).
• Phát triển công cụ: Các phương pháp (xấp xỉ, Mikhailov cải biên) có thể trở thành các công cụ tiêu chuẩn trong các khóa học sau đại học và phần mềm toán học cho FDEs.
• Thúc đẩy nghiên cứu: Tạo nền tảng cho các dự án nghiên cứu mới và các luận án tiến sĩ trong tương lai, mở rộng kiến thức về FDEs sang các lĩnh vực chưa được khám phá.
• Ứng dụng công nghệ: Đóng góp vào việc thiết kế các hệ thống công nghệ tiên tiến hơn và an toàn hơn trong các ngành công nghiệp, tạo ra giá trị kinh tế và xã hội.