1 LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của tôi dưới sự hướng dẫn của GS TS Cung Thế Anh Các kết quả được phát biểu trong luận án là hoàn toàn trung thực và chưa từng được ai công[.]
1 LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu tơi hướng dẫn GS.TS Cung Thế Anh Các kết phát biểu luận án hoàn toàn trung thực chưa công bố cơng trình khác Nghiên cứu sinh Bùi Huy Bách LỜI CẢM ƠN Luận án hoàn thành hướng dẫn nghiêm khắc, tận tình, chu đáo GS.TS Cung Thế Anh Tác giả xin bày tỏ lòng kính trọng biết ơn sâu sắc tới GS.TS Cung Thế Anh, người Thầy dẫn dắt tác giả làm quen với nghiên cứu khoa học từ ngày học cao học Ngoài dẫn mặt khoa học, động viên lòng tin tưởng Thầy dành cho tác giả động lực lớn giúp tác giả say mê nghiên cứu Tác giả xin trân trọng gửi lời cảm ơn đến Ban Giám hiệu, Phòng Sau Đại học, Ban Chủ nhiệm Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội, đặc biệt PGS.TS Trần Đình Kế thầy giáo, giáo Bộ mơn Giải tích, Khoa Tốn-Tin, Trường Đại học Sư phạm Hà Nội giúp đỡ, động viên, tạo môi trường học tập nghiên cứu thuận lợi cho tác giả Tác giả xin bày tỏ lòng biết ơn đến Sở Giáo dục Đào tạo Hà Nội, Ban Giám hiệu trường THPT Chúc Động, thầy cô anh chị đồng nghiệp công tác trường THPT Chúc Động tạo điều kiện thuận lợi, giúp đỡ động viên tác giả suốt trình học tập nghiên cứu Tác giả xin gửi đến anh chị em NCS chuyên ngành Phương trình vi phân tích phân Khoa Tốn-Tin, Trường Đại học Sư phạm Hà Nội, bạn bè gần xa, lời cảm ơn chân thành tất giúp đỡ, động viên mà tác giả nhận suốt thời gian qua Lời cảm ơn sau cùng, tác giả xin dành cho gia đình, người ln u thương, chia sẻ, động viên tác giả vượt qua khó khăn để hoàn thành luận án Mục lục Lời cam đoan Lời cảm ơn Mục lục Một số kí hiệu dùng luận án MỞ ĐẦU Lí chọn đề tài Tổng quan vấn đề nghiên cứu Mục đích, đối tượng phạm vi nghiên cứu 13 Phương pháp nghiên cứu 15 Kết luận án 15 Cấu trúc luận án 16 Chương KIẾN THỨC CHUẨN BỊ 17 1.1 Một số α-mô hình học chất lỏng 17 1.2 Toán tử nội suy Ih 18 1.3 Tập hút toàn cục 20 1.4 Các không gian hàm 22 1.5 Các toán tử 22 1.6 Một số bất đẳng thức sơ cấp thường dùng 26 Chương BÀI TỐN ĐỒNG HĨA DỮ LIỆU RỜI RẠC ĐỐI VỚI HỆ LERAY-α 27 2.1 Đặt toán 27 2.2 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát 30 Chương BÀI TỐN ĐỒNG HĨA DỮ LIỆU RỜI RẠC ĐỐI VỚI HỆ NAVIER-STOKES-α 41 3.1 Đặt toán 41 3.2 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát 44 Chương BÀI TỐN ĐỒNG HĨA DỮ LIỆU LIÊN TỤC RÚT GỌN ĐỐI VỚI HỆ BARDINA ĐƠN GIẢN HÓA 58 4.1 Đặt toán 58 4.2 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát trường hợp toán tử phép đo loại I 62 4.3 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát trường hợp toán tử phép đo loại II 71 Chương BÀI TỐN ĐỒNG HĨA DỮ LIỆU RÚT GỌN ĐỐI VỚI HỆ LERAY-α CẢI BIÊN 87 5.1 Bài tốn đồng hóa liệu liên tục rút gọn hệ Leray-α cải biên 87 5.1.1 Đặt toán 87 5.1.2 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát 90 5.2 Bài tốn đồng hóa liệu rời rạc rút gọn hệ Leray-α cải biên 104 5.2.1 Đặt toán 104 5.2.2 Sự tồn hội tụ nghiệm xấp xỉ tới nghiệm khảo sát 105 KẾT LUẬN 118 Kết đạt 118 Kiến nghị số vấn đề nghiên cứu 118 DANH MỤC CƠNG TRÌNH KHOA HỌC 119 TÀI LIỆU THAM KHẢO 120 MỘT SỐ KÍ HIỆU THƯỜNG DÙNG TRONG LUẬN ÁN Ω Ω = [0, L]3 hình hộp R3 H, V không gian hàm dùng để nghiên cứu hệ Navier-Stokes α-mơ hình V0 khơng gian đối ngẫu khơng gian V (·, ·), | · | tích vô hướng chuẩn không gian H ((·, ·)), k · k tích vơ hướng chuẩn khơng gian V h·, ·iV ,V đối ngẫu V V k · kV chuẩn không gian V ˜ A, B, B toán tử dùng để nghiên cứu hệ Navier-Stokes α-mơ hình λm giá trị riêng thứ m toán tử Stokes A D(A) miền xác định toán tử A D(A)0 không gian đối ngẫu không gian D(A) h·, ·iD(A)0 ,D(A) đối ngẫu D(A)0 D(A) k · kD(A)0 chuẩn không gian D(A)0 → hội tụ mạnh Y X bao đóng Y X S(t) nửa nhóm liên tục sinh toán đạo hàm riêng A tập hút tồn cục nửa nhóm S(t) µ tham số giãn Ih toán tử nội suy MỞ ĐẦU Lí chọn đề tài Việc nghiên cứu lớp phương trình tiến hóa học chất lỏng có ý nghĩa quan trọng khoa học cơng nghệ Chính thu hút quan tâm nhiều nhà khoa học giới Sau nghiên cứu tính đặt tốn, việc nghiên cứu tốn đồng hóa liệu (data assimilation), tức dự đoán dáng điệu nghiệm tương lai từ phép đo thu được, quan trọng cho phép ta hiểu dự đoán xu phát triển hệ tương lai; điều đặc biệt quan trọng tốn dự báo, chẳng hạn tốn dự báo khí tượng Đây hướng nghiên cứu phát triển mạnh mẽ năm gần Về mặt toán học, ta phát biểu tốn đồng hóa liệu sau Giả sử trình phức tạp (chẳng hạn dự báo khí tượng) mơ tả phương trình tiến hóa (nói chung phức tạp) có dạng dY = F (Y ), dt Y vectơ biểu diễn biến trạng thái mà ta muốn “dự báo” Mục tiêu tìm "xấp xỉ tốt” Y thời gian đủ lớn Ở đây, “dữ kiện ban đầu” Y thời điểm trước thời điểm t0 để tính nghiệm mơ hình dự báo từ thời điểm t0 trở đi, nhiên biết “phép đo” (một phần) Y khoảng thời gian [t0 , t0 + T ] dãy thời điểm {tn }n∈N Bài tốn đồng hóa liệu xác định xấp xỉ W (t) Y (t) từ “phép đo” biết, cho W (t) dần tới Y (t) (theo chuẩn thích hợp) thời gian t tiến tới vô Một phương pháp cổ điển đồng hóa liệu liên tục, xem ví dụ [18], thay phép đo quan sát trực tiếp vào mô hình sau lấy tích phân theo thời gian Chẳng hạn, ta thay quan sát chế độ thấp Fourier vào phương trình cho tiến hóa chế độ cao Khi giá trị chế độ thấp chế độ cao kết hợp để tạo xấp xỉ đầy đủ cho trạng thái hệ Cách tiếp cận thực cho hệ Navier-Stokes hai chiều [31, 46] số hệ khác học chất lỏng [2, 21, 22, 28, 40] Về mặt toán học, cách tiếp cận dựa tồn tập hút tồn cục hữu hạn chiều tính chất mode xác định (determining modes) hệ Navier-Stokes [38], tính chất phổ biến cho hệ tiêu hao mạnh, có nhược điểm khơng áp dụng liệu thu dạng rời rạc theo khơng gian, ta khơng thể lấy đạo hàm theo biến khơng gian điểm rời rạc Một cách tiếp cận hiệu khác áp dụng cho hệ tiến hóa tuyến tính đề xuất J.P Puel [48] Cách tiếp cận dựa bất đẳng thức kiểu Carleman, tỏ hứa hẹn hiệu quả, phương diện lí thuyết tính tốn số, có hạn chế áp dụng cho tốn tuyến tính Năm 2014, Titi cộng đề xuất phương pháp [5] khắc phục nhược điểm phương pháp nói Ý tưởng phương pháp sử dụng số hạng điều khiển phản hồi chứa liệu quan sát đưa vào hệ ban đầu để hệ gọi hệ phương trình đồng hóa liệu Sau ta thiết lập điều kiện để đảm bảo hệ đồng hóa liệu có nghiệm tồn cục hội tụ nghiệm khảo sát hệ gốc ban đầu Tuy nhiên, kết nghiên cứu phương pháp có tốn đồng hóa liệu liên tục cho cho hệ Navier-Stokes hai chiều [5] vài α-mơ hình ba chiều [2, 1]; trường hợp rời rạc có kết hệ Navier-Stokes hai chiều [27] Hệ Navier-Stokes đóng vai trị quan trọng học chất lỏng Tuy nhiên, trường hợp ba chiều (là trường hợp có ý nghĩa vật lí nhất) tính đặt tồn cục việc tính tốn số nghiệm hệ vấn đề mở lớn tỏ khó Một cách tiếp cận để vượt qua khó khăn sử dụng hệ chỉnh hóa hệ Navier-Stokes Một lớp hệ chỉnh hóa phổ biến thường sử dụng α-mơ hình học chất lỏng, bao gồm hệ Navier-Stokes-α [25], hệ Leray-α [15], hệ Leray-α cải biên [34] hệ Bardina đơn giản hóa [42], Về mặt hình thức, cho α = α-mơ hình ta thu lại hệ Navier-Stokes cổ điển Trong vài năm gần đây, có số kết tốn đồng hóa liệu liên tục cho α-mơ hình, bao gồm hệ Navier-Stokes-α [2], hệ Bardina đơn giản hóa [1], hệ Leray-α [24], Tuy nhiên, theo hiểu biết chúng tơi, chưa có kết tốn đồng hóa liệu rời rạc α-mơ hình học chất lỏng Ngồi ra, tốn đồng hóa liệu liên tục mà sử dụng phép đo hai số ba thành phần vectơ vận tốc (mà ta gọi phép đo rút gọn) α-mơ hình cịn kết quả; có kết gần [24] hệ Leray-α Từ phân tích ta thấy có số kết ban đầu kết tốn đồng hóa liệu α-mơ hình học chất lỏng, đặc biệt trường hợp đồng hóa liệu rời rạc sử dụng phép đo hai thành phần vectơ vận tốc, cịn vấn đề thời sự, có ý nghĩa khoa học thực tiễn, thu hút quan tâm nhiều nhà tốn học giới Vì vậy, chúng tơi chọn vấn đề "Bài tốn đồng hóa liệu số phương trình tiến hóa học chất lỏng" làm đề tài nghiên cứu luận án tiến sĩ Tổng quan vấn đề nghiên cứu Từ cuối năm 1960s, vệ tinh nhân tạo bắt đầu thu liệu thời tiết gần liên tục theo thời gian Charney, Halem Jastrow 10 [12] số phương trình khí dùng để xử lí liệu thu đánh giá trước trạng thái khí Phương pháp họ, gọi đồng hóa liệu liên tục, đưa liệu đo đạc thu thập cách trực tiếp vào mô hình sau tích phân lại theo thời gian Một tổng hợp việc sử dụng đồng hóa liệu liên tục thực tế dự báo thời tiết nêu Daley [18] Bằng việc sử dụng cách tiếp cận cổ điển số mode xác định, Titi cộng nghiên cứu toán đồng hóa liệu cho hệ Navier-Stokes hai chiều, hai trường hợp liệu thu thập liên tục theo thời gian [46] rời rạc theo thời gian [31] Phương pháp có ưu điểm đơn giản mặt khái niệm, có nhược điểm không áp dụng liệu thu dạng rời rạc theo khơng gian, khơng thể lấy đạo hàm theo biến không gian điểm rời rạc Nhằm khắc phục nhược điểm trên, năm 2014 Titi cộng đề xuất phương pháp để nghiên cứu tốn đồng hóa liệu [5] Ý tưởng phương pháp sử dụng số hạng điều khiển phản hồi đưa vào phương trình để phương trình mới, gọi phương trình đồng hóa liệu Phương pháp gọi phương pháp nudging Newton hay phương pháp giãn động lực (dynamic relaxation) [32] Nội dung phương pháp đồng hóa liệu [5] sau: Giả sử hệ phương trình có dạng dY = F (Y ) dt (1) (với điều kiện biên biết) điều kiện ban đầu Y (t0 ) = Y0 Bằng cách sử dụng thiết bị đo đạc, ta biết phần nghiệm khoảng thời gian [t0 , T ] (bài tốn đồng hóa liệu liên tục) thời điểm tn với n = 1, 2, , ti ≤ tj , ∀i ≤ j tn → ∞ n → ∞ (bài toán đồng hóa liệu rời rạc) Vì khơng biết xác điều kiện ban đầu nên ta khơng thể tính Y (t) Do đó, thay tính Y (t), ta tìm W (t), nghiệm