Luận án tiến sĩ: Tính chất định tính phương trình vi phân khoảng

Giá trị khoảng là tập hợp các số thực nằm giữa hai cận xác định. Không gian Kc(ℝ) chứa tất cả các tập con compact, lồi của số thực. Mỗi phần tử trong không gian này có thể biểu diễn dưới dạng [a,b] với a ≤ b. Các phép toán số học trên khoảng tuân theo quy tắc mở rộng từ số thực. Phép cộng, trừ, nhân và chia được định nghĩa dựa trên các đầu mút của khoảng. Độ đo Hausdorff cung cấp khoảng cách giữa hai giá trị khoảng, biến không gian này thành không gian mêtric đầy đủ.

Toán tử Hukuhara đóng vai trò then chốt trong việc định nghĩa đạo hàm khoảng. Phép trừ Hukuhara khác với phép trừ thông thường, chỉ tồn tại khi thỏa mãn điều kiện đặc biệt. Đạo hàm Hukuhara của hàm giá trị khoảng mở rộng khái niệm đạo hàm cổ điển. Tính chất này cho phép xây dựng lý thuyết phương trình vi phân khoảng. Tích phân khoảng cũng được định nghĩa tương tự, sử dụng tổng Riemann với giá trị khoảng. Các toán tử này tạo nền tảng cho việc nghiên cứu tính chất định tính nghiệm.

Hệ động lực trong kỹ thuật thường chứa tham số không chắc chắn do nhiễu môi trường. Phương trình vi phân khoảng mô hình hóa hiệu quả các hệ thống này. Thay vì giá trị điểm, các tham số được biểu diễn bằng khoảng tin cậy. Phương pháp này không yêu cầu hàm mật độ xác suất như lý thuyết ngẫu nhiên. Kết quả thu được bao trùm tất cả khả năng trong phạm vi khoảng cho trước. Cách tiếp cận này đặc biệt hữu ích khi dữ liệu thực nghiệm hạn chế hoặc không đầy đủ.

Điều kiện Lipschitz trong không gian khoảng yêu cầu tồn tại hằng số L sao cho khoảng cách Hausdorff giữa hai giá trị hàm bị chặn bởi L lần khoảng cách giữa hai biến. Điều kiện này đảm bảo hàm không thay đổi quá nhanh. Trong bối cảnh phương trình vi phân khoảng, điều kiện Lipschitz áp dụng cho vế phải của phương trình. Khi điều kiện này thỏa mãn, phép lặp Picard hội tụ đến nghiệm duy nhất. Hằng số Lipschitz nhỏ đảm bảo nghiệm ổn định hơn. Nhiều hàm thực tế trong ứng dụng thỏa mãn điều kiện này một cách tự nhiên.

Nguyên lý điểm bất động Banach là công cụ mạnh để chứng minh sự tồn tại và duy nhất nghiệm. Phương trình vi phân khoảng được chuyển thành phương trình tích phân tương đương. Toán tử tích phân được định nghĩa trên không gian các hàm liên tục giá trị khoảng. Chứng minh toán tử này là ánh xạ co đảm bảo tồn tại điểm bất động duy nhất. Điểm bất động chính là nghiệm khoảng của phương trình ban đầu. Phương pháp này áp dụng hiệu quả cho phương trình tích phân Volterra khoảng và các lớp phương trình tương tự.

Phương trình vi phân khoảng có trễ xuất hiện khi trạng thái hiện tại phụ thuộc vào lịch sử quá khứ. Sự tồn tại nghiệm yêu cầu điều kiện ban đầu được cho trên một khoảng thời gian. Hàm ban đầu phải liên tục và có giá trị khoảng. Điều kiện Lipschitz đối với biến trạng thái và biến trễ đảm bảo duy nhất nghiệm. Phương pháp bước để giải số nghiệm khoảng có trễ được phát triển dựa trên lý thuyết này. Ứng dụng bao gồm mô hình sinh thái, kinh tế và hệ thống điều khiển với độ trễ vận chuyển.

Điểm cân bằng khoảng là giá trị khoảng không đổi thỏa mãn phương trình vi phân. Ổn định Lyapunov yêu cầu với mọi ε > 0, tồn tại δ > 0 sao cho nghiệm xuất phát trong bán kính δ luôn nằm trong bán kính ε. Khoảng cách được đo bằng độ đo Hausdorff giữa các giá trị khoảng. Ổn định tiệm cận thêm điều kiện nghiệm hội tụ về điểm cân bằng. Ổn định mũ đảm bảo tốc độ hội tụ theo hàm mũ. Các khái niệm này mở rộng trực tiếp từ lý thuyết phương trình vi phân thực.

Hàm Lyapunov là hàm vô hướng xác định dương đóng vai trò như hàm năng lượng. Đạo hàm theo궤đạo của hàm Lyapunov phải không dương để đảm bảo ổn định. Nếu đạo hàm xác định âm, hệ ổn định tiệm cận. Việc xây dựng hàm Lyapunov thích hợp là thách thức lớn nhất. Đối với hệ tuyến tính khoảng, hàm bậc hai thường được sử dụng. Phương pháp LMI (bất đẳng thức ma trận tuyến tính) hỗ trợ tìm hàm Lyapunov cho các hệ phức tạp hơn.

Phương trình vi phân khoảng có xung mô tả hệ thống chịu tác động đột ngột tại các thời điểm rời rạc. Xung làm nghiệm nhảy bậc, tạo gián đoạn trong궤đạo. Phân tích ổn định phải xem xét cả động lực liên tục và tác động xung. Điều kiện ổn định phụ thuộc vào độ lớn xung và tần suất xuất hiện. Hàm Lyapunov từng khúc được sử dụng, cho phép tăng tại thời điểm xung. Nếu sự tăng này được bù bởi sự giảm giữa các xung, hệ vẫn ổn định. Ứng dụng bao gồm hệ thống điều khiển với đầu vào gián đoạn.

Phương trình vi-tích phân khoảng có dạng đạo hàm của hàm khoảng bằng tổng của một hàm và một tích phân. Vế phải chứa cả biến trạng thái hiện tại và tích phân của biến trạng thái theo thời gian. Nhân tích phân có thể phụ thuộc cả biến tích phân và thời gian hiện tại. Điều kiện ban đầu cho giá trị khoảng tại thời điểm khởi đầu. Phương trình Volterra khoảng loại hai là trường hợp đặc biệt quan trọng. Phương trình Fredholm khoảng có cận tích phân cố định cũng được nghiên cứu.

Chứng minh sự tồn tại nghiệm sử dụng kỹ thuật điểm bất động trong không gian Banach. Không gian các hàm liên tục giá trị khoảng với chuẩn sup tạo thành không gian đầy đủ. Toán tử tích phân kết hợp được định nghĩa ánh xạ hàm khoảng thành hàm khoảng. Điều kiện Lipschitz đối với cả hai hạn tử đảm bảo toán tử là ánh xạ co. Định lý điểm bất động Banach cho kết luận tồn tại nghiệm duy nhất. Phương pháp lặp Picard cung cấp dãy xấp xỉ hội tụ đến nghiệm chính xác.

Kết hợp trễ và xung trong phương trình vi-tích phân khoảng tạo mô hình phức tạp nhất. Phương trình chứa đạo hàm, tích phân, biến trễ và điều kiện nhảy tại thời điểm xung. Điều kiện ban đầu cần thiết trên khoảng thời gian bằng độ trễ lớn nhất. Sự tồn tại nghiệm yêu cầu tất cả các hạn tử thỏa mãn điều kiện Lipschitz riêng. Độ lớn xung phải bị chặn để đảm bảo nghiệm không phát산. Phương pháp giải số sử dụng lưới thời gian thích nghi, mịn hơn gần thời điểm xung.

Đạo hàm Riemann-Liouville bậc α được định nghĩa thông qua tích phân phân thứ và đạo hàm nguyên. Tích phân phân thứ sử dụng nhân lũy thừa với hàm Gamma. Đạo hàm bậc α là đạo hàm nguyên bậc n của tích phân phân thứ bậc n-α. Mở rộng cho hàm giá trị khoảng sử dụng tích phân khoảng Riemann. Tính chất tuyến tính được bảo toàn trong không gian khoảng. Đạo hàm phân thứ của hằng số khoảng không bằng không, tạo khó khăn cho điều kiện ban đầu.

Đạo hàm Caputo đảo thứ tự đạo hàm nguyên và tích phân phân thứ so với Riemann-Liouville. Định nghĩa này lấy đạo hàm nguyên trước, sau đó áp dụng tích phân phân thứ. Ưu điểm là đạo hàm Caputo của hằng số bằng không. Điều kiện ban đầu có dạng giá trị hàm và đạo hàm nguyên tại thời điểm đầu. Điều này phù hợp với ý nghĩa vật lý trong các bài toán thực tế. Đạo hàm Caputo khoảng được định nghĩa tương tự, sử dụng đạo hàm Hukuhara và tích phân khoảng.

Phương trình vi phân phân thứ khoảng có trễ kết hợp bộ nhớ dài hạn và phụ thuộc lịch sử. Đạo hàm Caputo bậc α ∈ (0,1) thường được sử dụng cho phương trình bậc một. Vế phải chứa biến trạng thái hiện tại và biến trạng thái trễ. Điều kiện ban đầu là hàm khoảng liên tục trên khoảng trễ. Định lý tồn tại nghiệm sử dụng điểm bất động trong không gian có trọng. Phương pháp số Adams-Bashforth-Moulton được điều chỉnh cho trường hợp khoảng. Ứng dụng trong mô hình dịch bệnh với thời gian ủ bệnh không chắc chắn.

Phương pháp Euler là phương pháp số đơn giản nhất cho phương trình vi phân khoảng. Đạo hàm tại mỗi bước được xấp xỉ bằng thương sai phân tiến. Giá trị khoảng tại bước tiếp theo được tính bằng giá trị hiện tại cộng bước thời gian nhân đạo hàm. Tất cả phép toán sử dụng số học khoảng. Sai số cục bộ tỷ lệ với bước thời gian bậc hai. Sai số toàn cục tỷ lệ với bước thời gian bậc một. Phương pháp Euler cải tiến sử dụng trung bình hai đạo hàm để tăng độ chính xác.

Phương pháp Runge-Kutta bậc bốn cung cấp độ chính xác cao hơn với sai số bậc năm. Phương pháp tính bốn giá trị trung gian k1, k2, k3, k4 tại các điểm khác nhau trong bước. Nghiệm tại bước tiếp theo là tổ hợp trọng số của các giá trị này. Mở rộng cho khoảng sử dụng phép toán khoảng cho tất cả các bước. Phương pháp Runge-Kutta nhúng cho phép ước lượng sai số và điều chỉnh bước thời gian. Thuật toán thích nghi tăng hiệu quả tính toán đáng kể. Ứng dụng hiệu quả cho phương trình vi phân khoảng cứng.

Vấn đề chính trong tính toán khoảng là hiện tượng bùng nổ độ rộng. Mỗi phép toán khoảng có xu hướng làm tăng đường kính khoảng kết quả. Sau nhiều bước lặp, khoảng nghiệm trở nên quá rộng, mất tính hữu ích. Kỹ thuật ràng buộc (constraint propagation) giúp kiểm soát độ rộng. Phương pháp phân tách khoảng chia bài toán lớn thành các bài toán con với khoảng nhỏ hơn. Kỹ thuật làm trung tâm (mean value form) giảm thiểu sự phụ thuộc biến. Sử dụng số học affine thay vì số học khoảng thuần túy cải thiện đáng kể độ chính xác.