Tổng quan về luận án

Luận án nghiên cứu lý thuyết định tính của phương trình vi phân phân thứ Caputo cấp α ∈ (0, 1), một lĩnh vực mà theo chính tác giả nhận định, "cho tới nay, lý thuyết định tính của phương trình vi phân phân thứ còn chưa được phát triển đầy đủ". Nguyên nhân sâu xa của khoảng trống nghiên cứu này nằm ở chỗ "các phương trình vi phân phân thứ không sinh ra toán tử có tính chất nửa nhóm", do đó không thể xây dựng hệ động lực theo nghĩa cổ điển và không thể áp dụng trực tiếp các phương pháp đã có trong lý thuyết phương trình vi phân thường.

Công trình được hoàn thành năm 2016 tại Viện Toán học (Viện Hàn lâm Khoa học và Công nghệ Việt Nam) dưới sự hướng dẫn của TSKH. Đoàn Thái Sơn, tập trung giải quyết bốn bài toán trung tâm: (1) đặc trưng số mũ Lyapunov cho phương trình vi phân phân thứ tuyến tính; (2) xây dựng khái niệm số mũ Lyapunov phân thứ mới; (3) chứng minh định lý ổn định và không ổn định tuyến tính hóa; (4) thiết lập sự tồn tại đa tạp ổn định gần điểm cân bằng hyperbolic trong không gian hữu hạn chiều tùy ý. Cơ sở lý thuyết xuyên suốt là các tính chất giải tích của hàm Mittag-Leffler hai tham số Eα,β — biểu diễn tích phân và khai triển tiệm cận — đóng vai trò thay thế hàm mũ trong lý thuyết cổ điển.

Đóng góp của luận án mang tính mở đường: các kết quả được công bố trong sáu bài báo trên các tạp chí quốc tế, trong đó có Applied Mathematics and Computation (2014), Electronic Journal of Qualitative Theory of Differential Equations (2016) và Discrete and Continuous Dynamical Systems, Series B.

Literature Review và Positioning

Luận án định vị mình trong dòng nghiên cứu giải tích phân thứ khởi nguồn từ Abel, Riemann và Liouville (nửa đầu thế kỷ 19) với đạo hàm Riemann–Liouville, và M. Caputo (1969) với đạo hàm Caputo — khái niệm được xây dựng nhằm giải bài toán nhớt, có ưu thế vì "điều kiện ban đầu của các mô hình sử dụng đạo hàm Caputo có ý nghĩa Vật lý". Về phía số mũ đặc trưng, nền tảng là phương pháp Lyapunov cổ điển và định lý ergodic nhân tính của Oseledets; C. Li và C. Chen đã thử nghiệm một kiểu số mũ Lyapunov cho hệ Chen phân thứ để nghiên cứu trạng thái hỗn loạn.

Điểm đặc sắc của luận án là thái độ phản biện trực diện với các công bố quốc tế trước đó. Tác giả chỉ ra hai lỗi nghiêm trọng lặp lại trong các công trình của L. Chen và cộng sự, X. Wen và cộng sự, D. Qian và cộng sự, R. Zhang và cộng sự về ổn định tuyến tính hóa: thứ nhất, "lỗi áp dụng Bất đẳng thức Gronwall" khi hàm nhân của tích phân phụ thuộc cả hai biến t và τ; thứ hai, "giả thiết nghiệm nhỏ" — các tác giả giả định nghiệm x(t) nhỏ với mọi t, trong khi "giả thiết này tương đương với tính ổn định của nghiệm tầm thường, điều mà các tác giả này muốn chứng minh" (lỗi lập luận vòng quanh). Luận án còn xây dựng phản ví dụ tường minh cho Theorem 2 của C. Ma (lấy B(t) = I − A) và cho công trình của Deshpande–Daftardar-Gejji về đa tạp ổn định, nơi "sai sót trong đánh giá dáng điệu của hàm Mittag-Leffler hai tham số nhận giá trị ma trận khiến cho nỗ lực của họ không thành công". Cách positioning này — vừa lấp khoảng trống, vừa sửa sai literature — làm nổi bật tính rigorous hiếm có so với hai nhóm nghiên cứu quốc tế cùng chủ đề (nhóm Trung Quốc về tuyến tính hóa và nhóm Ấn Độ về đa tạp ổn định).

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

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

Đóng góp thứ nhất mang tính phủ định nhưng quan trọng: Định lý 2.2 chứng minh mọi nghiệm không tầm thường của phương trình phân thứ tuyến tính với hệ số liên tục, bị chặn đều có số mũ Lyapunov cổ điển không âm, tức χ(ϕ(·, x₀)) ≥ 0 với mọi x₀ ≠ 0. Hệ quả trực tiếp: công cụ chuẩn mực của lý thuyết Lyapunov cổ điển "không phù hợp để đặc trưng cho tính ổn định nghiệm của phương trình vi phân phân thứ" — một kết quả đảo ngược trực giác kế thừa từ phương trình vi phân thường.

Đóng góp thứ hai là khái niệm hoàn toàn mới: số mũ Lyapunov phân thứ, định nghĩa bởi χα(f) = lim sup (1/tᵅ) logᴹα(‖f(t)‖), trong đó logᴹα là hàm ngược của hàm Mittag-Leffler thực một tham số. Ý tưởng nền tảng là thay chuẩn so sánh: trong thế giới phân thứ, hàm Mittag-Leffler Eα "đóng vai trò tương tự như hàm mũ đối với phương trình vi phân thường".

Đóng góp thứ ba giải quyết một phần Giả thuyết Ahmed–El-Sayed–El-Saka (A–M–M) về nguyên lý tuyến tính hóa, mở rộng từ trường hợp một chiều lên không gian hữu hạn chiều tùy ý với phần phi tuyến tổng quát.

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

Khung phân tích tích hợp ba trụ cột: (i) lý thuyết hàm đặc biệt Mittag-Leffler với các đánh giá tiệm cận trong miền ổn định Λˢα = {λ : |arg(λ)| > απ/2} và miền không ổn định Λᵘα; (ii) phương pháp Lyapunov–Perron của lý thuyết đa tạp bất biến, được cải biên triệt để; (iii) kỹ thuật dạng chuẩn Jordan với "kĩ thuật làm nhỏ đường chéo phụ" — dùng phép biến đổi Pᵢ = diag(1, γ, ..., γ^(dᵢ−1)) để đẩy phần ngoài đường chéo vào nhiễu phi tuyến với hệ số Lipschitz điều chỉnh được. Điều kiện biên của khung được phát biểu tường minh: α ∈ (0, 1), đạo hàm Caputo, hệ số liên tục bị chặn, nhiễu f thỏa mãn f(0) = 0 và limᵣ→₀ ℓf(r) = 0.

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

Thiết kế nghiên cứu

Đây là nghiên cứu toán học thuần túy theo chuẩn mực chứng minh–định lý (theorem-proving paradigm), sử dụng công cụ giải tích hàm (nguyên lý ánh xạ co Banach trên không gian C∞(R≥0; Cᵈ)), giải tích phức (biểu diễn tích phân trên chu tuyến γ(ε, θ), biến đổi Laplace và Laplace ngược) và lý thuyết phương trình vi phân định tính.

Quy trình nghiên cứu rigorous

Chiến lược chứng minh chủ đạo gồm ba bước được tác giả hệ thống hóa: (1) chuyển phương trình vi phân phân thứ thành phương trình tích phân tương đương qua công thức biến thiên hằng số ϕ(t, x₀) = Eα(tᵅA)x₀ + ∫₀ᵗ (t−τ)^(α−1) Eα,α((t−τ)ᵅA) f(ϕ(τ, x₀)) dτ, được chứng minh chặt chẽ bằng biến đổi Laplace; (2) xây dựng toán tử kiểu Lyapunov–Perron Tₓ mà điểm bất động trùng với nghiệm; (3) chứng minh tính co của toán tử trên hình cầu bán kính đủ nhỏ. Với bài toán không ổn định, một sáng tạo kỹ thuật then chốt là đưa vào chuẩn có trọng ‖ξ‖w = sup ‖ξ(t)‖/exp(µt) với µ = (1/3)min rᵢ^(1/α) cos(φᵢ/α), cho phép "sàng lọc được tất cả các điểm bất động của toán tử Lyapunov–Perron" ngay cả khi ma trận có giá trị riêng nằm trên biên |arg(λ)| = απ/2 — trường hợp mà toán tử thông thường không co.

Kiểm chứng và tính vững

Tính đúng đắn được bảo đảm bằng các phản ví dụ tự xây dựng (phương trình vô hướng ᶜD^α x = 0 với nhiễu x² gây mất ổn định nhưng nhiễu −x³ lại ổn định tiệm cận, chứng tỏ trường hợp không hyperbolic là thực sự không quyết định được) và bằng ví dụ minh họa tường minh: tính trọn vẹn số mũ Lyapunov phân thứ cho cả ba dạng tối giản của ma trận 2×2, và xây dựng tường minh đa tạp ổn định W^s(U) = {(x₁, x₂) : x₁ = −x₂² ∫₀^∞ exp(−s)(E_{1/2}(−√s))² ds} cho hệ phi tuyến hai chiều cấp α = 1/2.

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

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

Phát hiện 1 — Tính không âm của số mũ Lyapunov cổ điển. Khác biệt căn bản với phương trình vi phân thường: nghiệm phân thứ suy giảm chậm hơn mọi hàm mũ, cụ thể nghiệm ổn định tiệm cận chỉ suy giảm theo tốc độ đa thức t^(−α) (thể hiện qua khai triển Eα,β(z) = −Σ z^(−k)/Γ(β−αk) + O(|z|^(−1−p)) trong miền ổn định).

Phát hiện 2 — Cấu trúc phổ Lyapunov phân thứ. Định lý 2.9 chứng minh phổ Σα có cấu trúc bất đối xứng đáng ngạc nhiên: phần không âm chứa nhiều nhất d phần tử phân biệt λⱼ < ... < λ₁ (giống cổ điển), nhưng nếu Σα ∩ R₍₀ ≠ ∅ thì toàn bộ R₍₀ ⊂ Σα — phần âm của phổ là cả một khoảng liên tục [a, b], được chứng minh qua tính liên tục Lipschitz của ánh xạ λα trên mặt cầu đơn vị và định lý giá trị trung bình.

Phát hiện 3 — Định lý ổn định tuyến tính hóa (Định lý 3.2). Điểm cân bằng ổn định tiệm cận nếu mọi giá trị riêng của phần tuyến tính hóa nằm trong hình quạt |arg(λ)| > απ/2, và không ổn định nếu tồn tại ít nhất một giá trị riêng trong |arg(λ)| < απ/2 — với f chỉ cần Lipschitz địa phương quanh gốc. Đây là chứng minh đúng đầu tiên cho kết quả mà ít nhất bốn nhóm tác giả trước đó công bố với lập luận sai.

Phát hiện 4 — Sự tồn tại đa tạp ổn định (Định lý 4.2). Gần điểm cân bằng hyperbolic, tập các điều kiện đầu sinh nghiệm hội tụ về 0 là đồ thị của một hàm liên tục Lipschitz g với ước lượng hằng số Lipschitz tường minh ‖w(xˢ) − w(x̂ˢ)‖ ≤ 3 max sup |Eα(λᵢtᵅ)| ‖xˢ − x̂ˢ‖.

Implications đa chiều

Về lý thuyết, luận án cung cấp bộ công cụ chuẩn (số mũ phân thứ, toán tử Lyapunov–Perron cải biên, chuẩn có trọng) cho toàn bộ hướng nghiên cứu động lực học phân thứ. Về phương pháp, kỹ thuật làm nhỏ đường chéo phụ và chuẩn có trọng có thể chuyển giao trực tiếp sang phương trình phân thứ có trễ, phương trình phân thứ ngẫu nhiên. Về ứng dụng, nền tảng ổn định này phục vụ các mô hình có trí nhớ trong cơ học vật liệu đàn nhớt, lưu biến của đá, hệ predator–prey phân thứ và lý thuyết điều khiển trượt (sliding mode control) cho hệ cấp phân thứ.

Limitations và Future Research

Luận án tự giới hạn trong bốn phạm vi rõ ràng: (1) chỉ xét cấp phân thứ α ∈ (0, 1) và đạo hàm Caputo, chưa bao phủ α ∈ (1, 2) hay đạo hàm Riemann–Liouville; (2) chỉ xét không gian hữu hạn chiều, chưa mở rộng sang không gian Banach vô hạn chiều; (3) trường hợp không hyperbolic (giá trị riêng bằng 0 hoặc nằm đúng trên biên απ/2 mà không có thành phần không ổn định) được chứng minh là "nói chung không được xác định" — phản ví dụ nhiễu x² và −x³ cho thấy đây là giới hạn bản chất chứ không phải thiếu sót kỹ thuật; (4) phương pháp Hadamard hình học được tác giả nhận định không thể mở rộng vì "đạo hàm phân thứ cấp α ∈ (0, 1) không có ý nghĩa hình học".

Hướng nghiên cứu tiếp theo tự nhiên gồm: xây dựng đa tạp không ổn định và đa tạp tâm; lý thuyết phổ Lyapunov phân thứ cho hệ ngẫu nhiên; nguyên lý tuyến tính hóa Hartman–Grobman phân thứ; số hóa và tính toán phổ Lyapunov phân thứ cho các hệ hỗn loạn (nối tiếp hướng Li–Chen); và mở rộng chuẩn có trọng cho bài toán biên.

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

Các kết quả của luận án thuộc nhóm công trình nền tảng được trích dẫn trong hầu hết nghiên cứu sau này về ổn định tuyến tính hóa và đa tạp bất biến của hệ phân thứ. Việc chỉ rõ lỗi trong loạt công bố quốc tế có tác dụng "dọn dẹp" literature — ngăn các lỗi Gronwall và lập luận vòng quanh tiếp tục lan truyền. Ở phạm vi quốc gia, đây là sản phẩm của trường phái hệ động lực tại Viện Toán học (GS. Nguyễn Đình Công, TSKH. Đoàn Thái Sơn), góp phần đưa nhóm nghiên cứu Việt Nam thành một trong những nhóm dẫn đầu thế giới về lý thuyết định tính phương trình vi phân phân thứ.

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

Nghiên cứu sinh ngành Toán giải tích và hệ động lực nhận được một mẫu mực về cách xây dựng khái niệm mới (số mũ phân thứ) và cách phản biện literature có bằng chứng. Nhà nghiên cứu lý thuyết điều khiển thu được tiêu chuẩn ổn định tuyến tính hóa đã được chứng minh chặt — điều kiện hình quạt |arg(λ)| > απ/2 dùng trực tiếp trong thiết kế bộ điều khiển cho hệ cấp phân thứ. Nhà mô hình hóa trong cơ học vật liệu, sinh học, tài chính có cơ sở toán học vững để phân tích dáng điệu dài hạn của các mô hình có trí nhớ. Người làm toán ứng dụng và tính toán nhận các ước lượng tường minh của hàm Mittag-Leffler (Phụ lục A) làm công cụ đánh giá số.

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

1. Đóng góp lý thuyết độc đáo nhất? Khái niệm số mũ Lyapunov phân thứ χα — mở rộng đúng đắn lý thuyết số mũ đặc trưng Lyapunov bằng cách thay hàm log bởi hàm ngược Mittag-Leffler, sau khi chứng minh số mũ cổ điển thất bại (luôn không âm).

2. Đổi mới phương pháp so với nghiên cứu trước? So với Chen và cộng sự (2010) và Zhang và cộng sự (2011) dùng Gronwall sai cách, luận án dùng điểm bất động Lyapunov–Perron; so với Deshpande–Daftardar-Gejji (2014), luận án né tránh việc ước lượng trực tiếp Eα(tᵅA) nhận giá trị ma trận bằng kỹ thuật Jordan + làm nhỏ đường chéo phụ.

3. Phát hiện gây ngạc nhiên nhất? Phổ Lyapunov phân thứ phần âm là một khoảng liên tục [a, b] chứ không rời rạc, trái ngược hoàn toàn định lý d-giá-trị của lý thuyết cổ điển.

4. Khả năng tái lập? Cao: mọi chứng minh đầy đủ, hằng số C(α, λ̄), K(α, λ), L(α, λ), M(α, λ) được xây dựng tường minh trong Phụ lục; hai ví dụ tính toán đóng (hệ 2×2 và đa tạp ổn định α = 1/2) cho phép kiểm chứng độc lập.

5. Chương trình nghiên cứu dài hạn? Các bài toán mở được chỉ rõ: trường hợp không hyperbolic, đa tạp tâm, hệ vô hạn chiều — đủ định hình chương trình nghiên cứu một thập kỷ cho hướng động lực học phân thứ.

Kết luận

Luận án xác lập năm đóng góp cụ thể: (1) chứng minh số mũ Lyapunov cổ điển luôn không âm cho phương trình phân thứ tuyến tính hệ số liên tục bị chặn; (2) xây dựng số mũ Lyapunov phân thứ và tiêu chuẩn ổn định tương ứng, kèm mô tả trọn vẹn cấu trúc phổ; (3) tính tường minh số mũ phân thứ cho mọi hệ tuyến tính hệ số hằng hai chiều; (4) chứng minh đúng đắn đầu tiên của định lý ổn định và không ổn định tuyến tính hóa trong không gian hữu hạn chiều tùy ý, giải quyết một phần Giả thuyết A–M–M; (5) thiết lập sự tồn tại và tính Lipschitz của đa tạp ổn định gần điểm cân bằng hyperbolic bằng phương pháp Lyapunov–Perron cải biên. Vượt lên các kết quả riêng lẻ, công trình chuyển hướng nghiên cứu định tính phương trình phân thứ từ giai đoạn nhiều công bố thiếu chặt chẽ sang nền tảng chứng minh nghiêm ngặt, mở ra ít nhất ba dòng nghiên cứu mới — phổ phân thứ liên tục, đa tạp bất biến phân thứ, và động lực học không nửa nhóm — với tầm ảnh hưởng quốc tế được khẳng định qua các công bố trên những tạp chí hàng đầu của lĩnh vực.