BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC KỸ THUẬT LÊ QUÝ ĐÔN PHAN THỊ HƯƠNG MỘT SỐ VẤN ĐỀ VỀ PHƯƠNG TRÌNH VI PHÂN PHÂN THỨ CAPUTO NGẪU NHIÊN LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI 2020 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC K[.]
BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC KỸ THUẬT LÊ QUÝ ĐÔN PHAN THỊ HƯƠNG MỘT SỐ VẤN ĐỀ VỀ PHƯƠNG TRÌNH VI PHÂN PHÂN THỨ CAPUTO NGẪU NHIÊN LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI - 2020 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC KỸ THUẬT LÊ QUÝ ĐÔN PHAN THỊ HƯƠNG MỘT SỐ VẤN ĐỀ VỀ PHƯƠNG TRÌNH VI PHÂN PHÂN THỨ CAPUTO NGẪU NHIÊN CHUYÊN NGÀNH: TOÁN ỨNG DỤNG MÃ SỐ: 46 01 12 LUẬN ÁN TIẾN SĨ TOÁN HỌC Cán hướng dẫn khoa học: PGS TSKH Đoàn Thái Sơn TS Tạ Ngọc Ánh HÀ NỘI - 2020 i Mục lục Lời cam đoan Tôi xin cam đoan cơng trình nghiên cứu tơi, hướng dẫn cán tập thể hướng dẫn khoa học Các kết viết chung với tác giả khác trí đồng tác giả đưa vào luận án Các kết luận án hoàn toàn trung thực chưa cơng bố cơng trình tác giả khác Các tài liệu tham khảo trích dẫn đầy đủ NCS Phan Thị Hương Lời cảm ơn Bản luận án hoàn thành Bộ mơn Tốn, Khoa Cơng nghệ Thơng tin, Đại học Kỹ thuật Lê Quý Đôn hướng dẫn PGS TSKH Đoàn Thái Sơn TS Tạ Ngọc Ánh Trong trình học tập nghiên cứu, tác giả nhận động viên, khuyến khích bảo tận tình tập thể giáo viên hướng dẫn Các thầy không quản công sức, dành nhiều thời gian thảo luận, rèn giũa định hướng cho trò Nghiên cứu sinh xin bày tỏ lòng biết ơn chân thành sâu sắc tới hai Thầy Nghiên cứu sinh xin chân thành cảm ơn thầy cô Bộ mơn Tốn, Đại học Kỹ thuật Lê Q Đơn thầy Viện Tốn học-Viện Hàn lâm Khoa học Công nghệ Việt Nam quan tâm giúp đỡ, động viên cho nghiên cứu sinh ý kiến đóng góp quý báu Tác giả xin chân thành cảm ơn PGS TS Ngơ Hồng Long, TS Phạm Thế Anh, TS Bùi Văn Định, TS Nguyễn Như Thắng, anh chị bạn bè đồng nghiệp bên cạnh động viên, dạy giúp đỡ nghiên cứu sinh trình học tập nghiên cứu Nghiên cứu sinh trân trọng gửi lời cảm ơn đến Ban Giám đốc, Phòng Sau đại học, Ban Chủ nhiệm Khoa Công nghệ Thông tin, Hệ quản lý Học viên Sau đại học, Đại học Kỹ thuật Lê Quý Đôn giúp đỡ tạo điều kiện thuận lợi cho tác giả thời gian làm nghiên cứu sinh Tác giả thành kính dâng tặng q tinh thần đến gia đình thân yêu với lòng biết ơn sâu sắc Bản luận án khơng thể hồn thành khơng có cảm thông giúp đỡ người thân gia đình tác giả Tác giả Mở đầu Lịch sử vấn đề lý chọn đề tài Phép tính vi phân, tích phân cơng cụ phổ biến để mơ tả q trình tiến hóa (xem [?, ?, ?]) Thơng thường, q trình tiến hóa biểu diễn phương trình vi phân thường Bằng việc nghiên cứu (định tính định lượng) nghiệm phương trình, người ta biết trạng thái thời dự đoán dáng điệu q khứ hay tương lai q trình Tuy nhiên, tượng hay gặp sống có tính chất phụ thuộc vào khứ (xem [?, ?, ?]) Đối với tượng này, việc ngoại suy dáng điệu hệ thời điểm tương lai từ khứ phụ thuộc vào quan sát địa phương lẫn toàn khứ Hơn nữa, phụ thuộc nói chung khơng giống tất thời điểm Một lý thuyết xây dựng để giải toán thực tế vừa nêu giải tích phân thứ (xem [?, ?, ?, ?, ?, ?, ?]) Mặc dù nghiên cứu từ lâu lý thuyết giải tích phân thứ phát triển tương đối chậm Một nguyên nhân người ta chưa tìm thấy ý nghĩa hình học hay vật lý toán tử đạo hàm phân thứ Thật ra, hạn chế vừa nêu mang tính lý thuyết Vai trị quan trọng lý thuyết giải tích phân thứ ứng dụng giải toán thực tế (xem [?, ?, ?, ?]) Lý thuyết có ưu so với phép tính vi phân, tích phân cổ điển mơ q trình có trí nhớ Cùng với phát triển máy tính điện tử phương pháp tính, bốn thập kỷ gần đây, người ta phát ngày nhiều ứng dụng giải tích phân thứ ngành khoa học khác từ Vật lý, Hóa học, Sinh học đến Tài chính, Khoa học xã hội, Một sách viết ứng dụng giải tích phân thứ [?] Trong sách này, K Oldham J Spenier trình bày nhiều ý tưởng, phương pháp ứng dụng giải tích phân thứ Sau [?], nhiều cơng trình phương diện khác lý thuyết công bố Nổi bật số sách S Samko, O Marichev, A Kilbas [?], M Caputo [?], R Gorenflo S Vessella [?], K Miller B Ross [?], A Carpinteri F Mainardi [?] Rất gần có thêm chuyên khảo đáng ý K Diethelm [?], V Lakshmikantham, S Leela J Vasundhara Devi [?], B Bandyopadhyay S Kamal [?] Có nhiều loại đạo hàm phân thứ khác tùy thuộc vào cách người ta tổng quát hóa đạo hàm n d dxn f (x) cho trường hợp n không nguyên Tuy nhiên, hai khái niệm dùng phổ biến đạo hàm Riemann-Liouville đạo hàm Caputo Đạo hàm phân thứ Riemann-Liouville phát triển Abel, Riemann Liouville nửa đầu kỷ 19 (xem [?, ?]) Tuy nhiên, áp dụng khái niệm để mơ tả tượng thực tế gặp hạn chế điều kiện ban đầu toán giá trị ban đầu khơng có ý nghĩa vật lý Đạo hàm phân thứ Caputo M Caputo xây dựng năm 1969 (xem [?]) Định nghĩa đạo hàm xây dựng dựa cải biên khái niệm đạo hàm Riemann-Liouville với mục đích ban đầu giải toán nhớt So với đạo hàm phân thứ Riemann-Liouville, đạo hàm Caputo dễ áp dụng cho toán thực tế điều kiện ban đầu mơ hình sử dụng đạo hàm Caputo có ý nghĩa vật lý (xem [?]) Lý thuyết giải tích phân thứ ngày trở nên phổ biến phát triển nhanh (xem thêm [?, ?, ?, ?, ?, ?]) Nhiều kết lý thuyết ứng dụng thực tế tìm ngày nhiều (xem [?, ?]) ngồi người đọc tham khảo [?] Đây sách gồm tám tác giả viết năm 2019, trình bày cách hệ thống lý thuyết giải tích phân thứ, giải số phương trình vi phân phân thứ ứng dụng Vật lý, Điều khiển, Kỹ thuật, sống Khoa học xã hội Lý thuyết phương trình vi phân phân thứ Caputo ngẫu nhiên hướng nghiên cứu tương đối sinh từ lý thuyết phương trình vi phân phân thứ Caputo lý thuyết xác suất Nó nhấn mạnh tới khía cạnh giới ta sống bao gồm nhiều yếu tố ngẫu nhiên Bằng cách kết hợp kết hai ngành sở trên, lý thuyết phương trình vi phân phân thứ Caputo ngẫu nhiên nhận lợi hai ngành đưa mơ hình tốn học thích hợp cho tượng tự nhiên xã hội Phương trình vi phân phân thứ Caputo ngẫu nhiên mở rộng tự nhiên phương trình vi phân phân thứ, nhận nhiều quan tâm nhà tốn học giới thực tế hệ phân thứ xuất nhiều mơ hình Cơ học, Vật lý, Kỹ thuật điện tử, Lý thuyết điều khiển, , chi tiết tham khảo [?, ?] nhiều tài liệu chuyên khảo khác Tuy nhiên, tương phản số lớn cơng bố phương trình vi phân phân thứ tất định, có số báo liên quan đến phương trình vi phân ngẫu nhiên với đạo hàm phân thứ Caputo hầu hết báo dừng lại việc thiết lập kết tồn nghiệm nghiên cứu tính quy nghiệm (xem [?, ?, ?]) Ở phân biệt hai loại nghiệm, loại nghiệm nghiệm cổ điển (classical solutions) theo hiểu biết tác giả, câu hỏi tồn nghiệm loại đề cập [?, ?] Trong [?], tác giả chưa chứng minh tồn nghiệm cổ điển với bậc phân thứ α ∈ ( 12 , 34 ) [?] việc chứng minh định lý tồn nghiệm cổ điển toàn cục gặp vấn đề thác triển nghiệm cổ điển từ khoảng nhỏ [0, Ta ] toàn khoảng [0, ∞) Luận án khắc phục hạn chế Ngồi ra, chúng tơi cịn đưa công thức biến thiên số số tính chất nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Loại nghiệm thứ hai nghiệm nhẹ (mild solutions), tồn loại nghiệm nghiên cứu [?] cho lớp phương trình rộng Tuy nhiên, điều kiện đưa báo chặt (xem [?, Định lý 4.2]) Với điều kiện yếu (xem Định lý 2.3.2 Mục 2.3 Chương 2), chứng minh tồn nghiệm nhẹ cho phương trình vi phân phân thứ Caputo ngẫu nhiên Việc giải số phương trình vi phân phương trình vi phân ngẫu nhiên tốn có nhiều ý nghĩa ứng dụng Thực tế phương trình vi phân ngẫu nhiên giải nghiệm hiển tìm nghiệm hiển biểu thức phức tạp Vì vậy, nhiều thập kỷ qua, tốn thu hút nhiều quan tâm nhà toán học giới (xem [?, ?, ?]) Tương tự thế, việc giải số phương trình vi phân phân thứ phương trình vi phân phân thứ ngẫu nhiên thú vị Đối với phương trình vi phân phân thứ tất định, phương pháp giải số xây dựng cách có hệ thống đầy đủ (xem [?, ?]) Tuy nhiên, theo hiểu biết nghiên cứu sinh việc giải số phương trình vi phân phân thứ Caputo ngẫu nhiên đề cập [?] Tác giả báo đưa lược đồ Euler cho phương trình Volterra ngẫu nhiên với nhân kỳ dị chưa đưa tốc độ hội tụ hiển lược đồ Tiếp nối hướng nghiên cứu dựa theo ý tưởng báo [?], thiết lập lược đồ số cho phương trình vi phân phân thứ Caputo ngẫu nhiên đánh giá tốc độ hội tụ hiển lược đồ số Ngoài ra, chúng tơi cịn đưa tốc độ hội tụ tính ổn định lược đồ Euler-Maruyama mũ cho phương trình vi phân phân thứ Caputo ngẫu nhiên chiều tuyến tính Mục tiêu nghiên cứu Trong luận án này, tập trung nghiên cứu chủ điểm sau lý thuyết phương trình vi phân phân thứ Caputo ngẫu nhiên: (i) Một số tính chất nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên (ii) Giải số nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Đối tượng phạm vi nghiên cứu Với mục tiêu đặt trên, luận án nghiên cứu nội dung sau: Nội dung Sự tồn nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Nội dung Công thức biến thiên số cho phương trình vi phân phân thứ Caputo ngẫu nhiên Nội dung Một số tính chất nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Nội dung Xây dựng lược đồ số kiểu Euler-Maruyama cho phương trình vi phân phân thứ Caputo ngẫu nhiên Phương pháp nghiên cứu Xuất phát từ mục tiêu đề tài nghiên cứu, phương pháp nghiên cứu sử dụng sau: Để chứng minh tồn nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên, chúng tơi xây dựng chuẩn có trọng số phù hợp áp dụng Định lý điểm bất động Banach Sự phụ thuộc liên tục nghiệm vào điều kiện ban đầu chứng minh dựa ước lượng khoảng cách hai nghiệm phân biệt thời gian hữu hạn Để chứng minh phân tách tiệm cận hai nghiệm phân biệt dùng phương pháp chứng minh phản chứng Để có cơng thức biến thiên số cho phương trình vi phân phân thứ Caputo ngẫu nhiên, dùng Định lý biểu diễn Itô công thức biến thiên số cho phương trình vi phân phân thứ Caputo tất định Lược đồ số kiểu Euler-Maruyama cho phương trình vi phân phân thứ Caputo ngẫu nhiên đánh giá tốc độ hội tụ phương pháp dựa kết biết lược đồ Euler-Maruyama cho phương trình vi phân ngẫu nhiên bậc nguyên kỹ thuật rời rạc hóa để tránh điểm kỳ dị nhân Kết luận án Luận án đạt kết sau đây: Chứng minh tồn nghiệm cổ điển, nghiệm nhẹ phương trình vi phân phân thứ Caputo ngẫu nhiên bậc α ∈ ( 12 , 1) Đưa công thức biến thiên số cho phương trình vi phân phân thứ Caputo ngẫu nhiên bậc α ∈ ( 12 , 1) Chứng minh phụ thuộc liên tục vào giá trị ban đầu nghiệm cổ điển phương trình vi phân phân thứ Caputo ngẫu nhiên bậc α ∈ ( 21 , 1) Chứng minh khoảng cách hai nghiệm phân biệt phương trình vi phân phân thứ Caputo ngẫu nhiên bậc α ∈ ( 12 , 1) tiến đến không nhanh tốc độ đa thức với số mũ đủ lớn Từ đó, chúng tơi chứng minh số mũ Lyapunov bình phương trung bình nghiệm khơng tầm thường phương trình vi phân phân thứ Caputo ngẫu nhiên tuyến tính bị chặn ln khơng âm Xây dựng lược đồ số kiểu Euler-Maruyama cho phương trình vi phân phân thứ Caputo ngẫu nhiên bậc α ∈ ( 21 , 1) đánh giá tốc độ hội tụ cho lược đồ Đưa tốc độ hội tụ tính ổn định lược đồ Euler-Maruyama mũ cho phương trình vi phân phân thứ Caputo ngẫu nhiên chiều tuyến tính Các kết luận án cơng bố 03 báo tạp chí quốc tế có uy tín báo cáo tại: Xêmina Bộ mơn Tốn, Khoa Cơng nghệ Thơng tin, Đại học Kỹ thuật Lê Quý Đôn Xêmina Khoa Công nghệ Thông tin, Đại học Kỹ thuật Lê Q Đơn Xêmina Phịng Xác suất-Thống kê, Viện Tốn học, Viện Hàn lâm Khoa học Cơng nghệ Việt Nam Hội nghị Khoa học nhà nghiên cứu trẻ lần thứ XIV (4/1/2018), Đại học Kỹ thuật Lê Q Đơn Đại hội Tốn học Việt Nam lần thứ IX (14-18/8/2018), Nha Trang Hội thảo Tối ưu tính tốn Khoa học lần thứ 17 (18-20/4/2019), Ba Vì, Hà Nội Hội thảo Tối ưu tính tốn Khoa học lần thứ 18 (20-22/8/2020), Hịa Lạc, Hà Nội Bố cục luận án Ngoài phần Mở đầu, Kết luận, Danh mục cơng trình khoa học tác giả có liên quan đến luận án Tài liệu tham khảo, luận án có ba chương Trong Chương 1, nhắc lại số kiến thức sở liên quan đến giải tích ngẫu nhiên giải tích phân thứ Cụ thể, Phần 1.1 chúng tơi trình bày sơ lược giải tích ngẫu nhiên gồm chuyển động Brown, tích phân ngẫu nhiên Itơ, Định lý biểu diễn Itơ, phương trình vi phân ngẫu nhiên lược đồ số Euler-Maruyama cho phương trình vi phân ngẫu nhiên Trong Phần 1.2, nhắc lại số kiến thức chuẩn bị giải tích phân thứ gồm tích phân phân thứ, đạo hàm phân thứ Caputo, hàm Mittag-Leffler công thức biến thiên số Trong Chương 2, nghiên cứu số vấn đề phương trình vi phân phân thứ Caputo ngẫu nhiên Chương có năm phần, Phần 2.1 thảo luận tồn nghiệm cổ điển Công cụ để chứng minh kết xây dựng chuẩn có trọng số phù hợp áp dụng Định lý điểm bất động Banach Sự phụ thuộc liên tục nghiệm cổ điển phương trình vi phân phân thứ Caputo ngẫu nhiên vào giá trị ban đầu trình bày Phần 2.2 Trong Phần 2.3, chứng minh tồn nghiệm nhẹ phương trình vi phân phân thứ Caputo ngẫu nhiên cách sử dụng kỹ thuật chứng minh tương tự Phần 2.1 Công thức biến thiên số cho phương trình vi phân phân thứ Caputo ngẫu nhiên nghiên cứu Phần 2.4 Sự phân tách tiệm cận hai nghiệm phân biệt phương trình vi phân phân thứ Caputo ngẫu nhiên nghiên cứu phần cuối chương Kết khẳng định khoảng cách hai nghiệm phân biệt tiến đến không nhanh tốc độ đa thức với số mũ đủ lớn Từ chúng tơi chứng minh tính khơng âm số mũ Lyapunov bình phương trung bình nghiệm khơng tầm thường phương trình vi phân phân thứ Caputo ngẫu nhiên song tuyến tính bị chặn Trong Chương 3, dành cho nghiên cứu phương pháp giải số phương trình vi phân phân thứ Caputo ngẫu nhiên Chương gồm có ba phần, Phần 3.1 dành để mô tả lược đồ số kiểu Euler-Maruyama cho phương trình vi phân phân thứ Caputo ngẫu nhiên Phần 3.2 tập trung chứng minh tốc độ hội tụ lược đồ số vừa đưa Một ví dụ minh họa cho tốc độ hội tụ nghiên cứu lý thuyết xem xét cuối phần Phần cuối chương dành cho nghiên cứu tốc độ hội tụ ... nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Nội dung Công thức biến thiên số cho phương trình vi phân phân thứ Caputo ngẫu nhiên Nội dung Một số tính chất nghiệm phương trình vi phân phân... nghiệm nhẹ cho phương trình vi phân phân thứ Caputo ngẫu nhiên Vi? ??c giải số phương trình vi phân phương trình vi phân ngẫu nhiên tốn có nhiều ý nghĩa ứng dụng Thực tế phương trình vi phân ngẫu nhiên... ngẫu nhiên: (i) Một số tính chất nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên (ii) Giải số nghiệm phương trình vi phân phân thứ Caputo ngẫu nhiên Đối tượng phạm vi nghiên cứu Với mục