Bài toán đồng hóa dữ liệu đối với một số phương trình tiến hóa trong cơ học chất lỏng

Tuy nhiên, kết quả nghiên cứu bằng phương phápnày mới chỉ có ở bài toán đồng hóa dữ liệu liên tục cho cho hệ Navier-Stokes hai chiều[5] và một vài a-mô hình ba chiều [2, 1]; trong trường

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ

PHẠM HÀ NỘI

BÙI HUY BÁCH

BÀI TOÁN ĐỒNG HÓA DỮ LIỆU ĐốI VỚI MỘT

Số PHƯƠNG TRÌNH TIEN HÓA TRONG CƠ HỌC

CHAT LỎNG

LUẬN ÁN TIẾN SĨ TOÁN HỌC

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ

PHẠM HÀ NỘI

Hà Nôi - 2020

LUẬN ÁN TIẾN SĨ TOÁN HỌC

NGƯỜI HƯỚNG DẪN KHOA HỌC

GS.TS Cung Thế Anh

Hà Nôi - 2020

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.TSCung 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ưatừng được ai công bố trong bất cứ một công trình nào khác

Nghiên cứu sinh

Bùi Huy Bách

LỜI CẢM ƠN

Luận án được hoàn thành dưới sự hướng dẫn nghiêm khắc, tận tình, chu đáo củaGS.TS Cung Thế Anh Tác giả xin bày tỏ lòng kính trọng và biết ơn sâu sắc tới GS.TSCung 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ừ nhữngngày học cao học Ngoài những chỉ dẫn về mặt khoa học, sự động viên và lòng tin tưởngcủa Thầy dành cho tác giả luôn là động lực lớn giúp tác giả say mê trong 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, BanChủ nhiệm Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội, đặc biệt là PGS.TS TrầnĐình Kế và các thầy giáo, cô giáo trong Bộ môn Giải tích, Khoa Toán-Tin, Trường Đạihọc Sư phạm Hà Nội đã luôn giúp đỡ, động viên, tạo môi trường học tập và nghiên cứuthuận lợi cho tác giả

1

Tác giả xin được bày tỏ lòng biết ơn đến Sở Giáo dục và Đào tạo Hà Nội, Ban Giámhiệu trường THPT Chúc Động, các thầy cô và các anh chị đồng nghiệp công tác tại trườngTHPT Chúc Động đã luôn tạo điều kiện thuận lợi, giúp đỡ và động viên tác giả trong suốtquá trình học tập và nghiên cứu Tác giả xin gửi đến các anh chị em NCS chuyên ngànhPhương trình vi phân và tích phân của Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội,các bạn bè gần xa, lời cảm ơn chân thành về tất cả những giúp đỡ, động viên mà tác giả đãnhận được trong suốt thời gian qua.

Lời cảm ơn sau cùng, tác giả xin dành cho gia đình, những người luôn yêu thương,chia sẻ, động viên tác giả vượt qua khó khăn để hoàn thành luận án

2

Mục lục

Lời cam đoan l

Lời cảm ơn 2

Mục lục a Một số kí hiệu dùng trong luận án 6

MỞ ĐẦU 7

1 Lí do chọn đề tài 7

2 Tổng quan vấn đề nghiên cứu 9

а Mục đích, đối tượng và phạm vi nghiên cứu la 4 Phương pháp nghiên cứu l5 5 Kết quả của luận án l5 б Cấu trúc của luận án l6 Chương l KIẾN THỨC CHUAN BỊ lĩ 1.1 Một số a-mô hình trong cơ học chất lỏng lĩ 1.2 Toán tử nội suy Ih l8 l a 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

khảo sát 44Chương 4 BÀI TOÁ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 584.1 Đặt bài toán 584.2 Sự tồn tại duy nhất và sự hội tụ của nghiệm xấp xỉ tới nghiệm

khảo sát trong trường hợp toán tử phép đo loại I 624.3 Sự tồn tại duy nhất và sự hội tụ của nghiệm xấp xỉ tới nghiệm

khảo sát trong trường hợp toán tử phép đo loại II 71Chương 5 BÀI TOÁN ĐồNG HÓA DỮ LIỆU RÚT GỌN ĐốI VỚI HỆ LERAY-a CẢIBIÊN 87

cải biên 875.1.1 Đặt bài toán 875.1.2 Sự tồn tại duy nhất và sự hội tụ của nghiệm xấp xỉ tới

nghiệm khảo sát 905.2 Bài toán đồng hóa dữ liệu rời rạc rút gọn đối với hệ Leray-a cải

biên 1045.2.1 Đặt bài toán 1045.2.2 Sự tồn tại duy nhất và sự hội tụ của nghiệm xấp xỉ tới

nghiệm khảo sát l05

KẾT LUẬN 118

MỞ ĐẦU

1 Lí do chọn đề tài

Việc nghiên cứu những lớp phương trình tiến hóa trong cơ học chất lỏng có ý nghĩaquan trọng trong khoa học và công nghệ Chính vì vậy nó đã và đang thu hút được sựquan tâm của nhiều nhà khoa học trên thế giới Sau khi nghiên cứu tính đặt đúng của bàitoán, việc nghiên cứu bài toán đồng hóa dữ liệu (data assimilation), tức là dự đoán dángđiệu của nghiệm trong tương lai từ những phép đo thu được, rất quan trọng vì nó chophép ta hiểu và dự đoán xu thế phát triển của hệ trong tương lai; điều này đặc biệt quantrọng trong các bài toán dự báo, chẳng hạn bài toán dự báo khí tượng Đây là một hướngnghiên cứu được phát triển mạnh mẽ trong những năm gần đây

Về mặt toán học, ta có thể phát biểu bài toán đồng hóa dữ liệu như sau Giả sử mộtquá trình phức tạp (chẳng hạn dự báo khí tượng) được mô tả bởi phương trình tiến hóa(nói chung rất phức tạp) có dạng

f = F (Y )'trong đó Y là vectơ biểu diễn biến trạng thái mà ta muốn “dự báo” Mục tiêu của chúng ta

là tìm một "xấp xỉ tốt” của Y khi thời gian đủ lớn Ở đây, chúng ta không biết “dữ kiệnban đầu” của Y tại một thời điểm trước thời điểm t0để tính nghiệm của mô hình dự báo từthời điểm t0 trở đi, tuy nhiên chúng ta biết “phép đo” (một phần) của Y trong khoảng thờigian [t0, t0 + T] hoặc tại một dãy thời điểm {tn}neN Bài toán đồng hóa dữ liệu là xác địnhmột xấp xỉ W(t) của Y(t) từ các “phép đo” đã biết, sao cho W(t) dần tới Y(t) (theo mộtchuẩn thích hợp) khi thời gian t tiến tới vô cùng

ĩ

Một phương pháp cổ điển của đồng hóa dữ liệu liên tục, xem ví dụ [18], là thay cácphép đo quan sát được trực tiếp vào một mô hình sau này được lấy tích phân theo thờigian Chẳng hạn, ta có thể thay các quan sát chế độ thấp Fourier vào phương trình cho sựtiến hóa của các chế độ cao Khi đó các giá trị của chế độ thấp và chế độ cao sẽ được kếthợp để tạo ra một xấp xỉ đầy đủ cho trạng thái của hệ Cách tiếp cận này đã được thựchiện cho hệ Navier-Stokes hai chiều trong [31, 46] và một số hệ khác trong cơ học chấtlỏng [2, 21, 22, 28, 40] Về mặt toán học, cách tiếp cận này dựa trên sự tồn tại tập húttoàn cục hữu hạn chiều và tính chất các mode xác định (determining modes) của hệNavier-Stokes [38], một tính chất khá phổ biến cho các hệ tiêu hao mạnh, nhưng cónhược điểm là không áp dụng được khi các dữ liệu thu được dưới dạng rời rạc theo khônggian, vì ta không thể lấy đạo hàm theo biến không gian tại các điểm rời rạc đó Một cáchtiếp cận hiệu quả khác áp dụng cho các hệ tiến hóa tuyến tính được đề xuất bởi J.P Pueltrong [48] Cách tiếp cận này dựa trên các bất đẳng thức kiểu Carleman, tỏ ra rất hứa hẹn

và hiệu quả, trên cả phương diện lí thuyết và tính toán số, nhưng có hạn chế là chỉ ápdụng được cho các bài toán tuyến tính

Năm 2014, Titi và cộng sự đã đề xuất một phương pháp mới [5] khắc phục đượcnhược điểm của các phương pháp nói trên Ý tưởng của phương pháp này là sử dụng một

số hạng điều khiển phản hồi chứa dữ liệu quan sát được đưa vào trong hệ ban đầu để được

một hệ mới gọi là hệ phương trình đồng hóa dữ liệu Sau đó ta sẽ thiết lập các điều kiện

để đảm bảo hệ đồng hóa dữ liệu này có một nghiệm toàn cục duy nhất và nó hội tụ vềnghiệm khảo sát của hệ gốc ban đầu Tuy nhiên, kết quả nghiên cứu bằng phương phápnày mới chỉ có ở bài toán đồng hóa dữ liệu liên tục cho cho hệ Navier-Stokes hai chiều[5] và một vài a-mô hình ba chiều [2, 1]; trong trường hợp rời rạc thì mới chỉ có kết quảđối với hệ Navier-Stokes hai chiều [27]

Hệ Navier-Stokes đóng vai trò quan trọng trong cơ học chất lỏng Tuy nhiên, trongtrường hợp ba chiều (là trường hợp có ý nghĩa vật lí nhất) thì tính đặt đúng toàn cục vàviệc tính toán số nghiệm của hệ này vẫn còn là những vấn đề mở lớn và tỏ ra rất khó Mộttrong những cách tiếp cận để vượt qua những khó khăn này là sử dụng những hệ chỉnhhóa của hệ Navier-Stokes Một lớp hệ chỉnh hóa phổ biến và thường được sử dụng là cáca-mô hình trong cơ học chất lỏng, bao gồm hệ Navier-Stokes-a [25], hệ Leray-a [15], hệ

Leray-a cải biên [34] và hệ Bardina đơn giản hóa [42], Về mặt hình thức, nếu cho a =

0 trong các a-mô hình này ta sẽ thu lại được hệ Navier-Stokes cổ điển Trong vài năm gầnđây, đã có một số kết quả về bài toán đồng hóa dữ liệu liên tục cho các a-mô hình, baogồm hệ Navier-Stokes-a [2], hệ Bardina đơn giản hóa [1], hệ Leray-a [24], Tuy nhiên,theo hiểu biết của chúng tôi, chưa có kết quả nào về bài toán đồng hóa dữ liệu rời rạc đối

8

với các a-mô hình trong cơ học chất lỏng Ngoài ra, bài toán đồng hóa dữ liệu liên tục màchỉ sử dụng phép đo trên hai trong số ba thành phần của vectơ vận tốc (mà ta sẽ gọi làphép đo rút gọn) đối với các a-mô hình vẫn còn rất ít kết quả; mới chỉ có kết quả gần đâytrong [24] đối với hệ Leray-a.

Từ những phân tích trên ta thấy rằng mặc dù đã có một số kết quả ban đầu nhưng cáckết quả về bài toán đồng hóa dữ liệu đối với các a-mô hình trong cơ học chất lỏng, đặcbiệt trong trường hợp đồng hóa dữ liệu rời rạc hoặc chỉ sử dụng phép đo trên hai thànhphần của vectơ vận tốc, vẫn còn ít và đang là vấn đề thời sự, có ý nghĩa khoa học và thựctiễn, thu hút được sự quan tâm của nhiều nhà toán học trên thế giới Vì vậy, chúng tôi

chọn vấn đề "Bài toán đồng hóa dữ liệu đối với một số phương trình tiến hóa trong cơ

học chất lỏng" làm đề tài nghiên cứu luận án tiến sĩ của mình

2 Tổng quan vấn đề nghiên cứu

Từ cuối những năm 1960s, các vệ tinh nhân tạo bắt đầu thu được các dữ liệu về thờitiết gần như liên tục theo thời gian Charney, Halem và Jastrow đã chỉ ra trong [12] một

số phương trình về khí quyển được dùng để xử lí các dữ liệu đó và thu được các đánh giátrước về trạng thái của khí quyển Phương pháp của họ, được gọi là đồng hóa dữ liệu liêntục, đó là đưa các dữ liệu đo đạc thu thập được một cách trực tiếp vào trong một mô hình

và sau đó tích phân lại theo thời gian Một tổng hợp về việc sử dụng đồng hóa dữ liệu liêntục trong thực tế dự báo thời tiết cũng được nêu bởi Daley [18]

Bằng việc sử dụng cách tiếp cận cổ điển và số mode xác định, Titi và cộng sự đãnghiên cứu bài toán đồng hóa dữ liệu cho hệ Navier-Stokes hai chiều, trong cả hai trườnghợp là dữ liệu thu thập được liên tục theo thời gian [46] và rời rạc theo thời gian [31].Phương pháp này có ưu điểm là đơn giản về mặt khái niệm, nhưng có nhược điểm làkhông áp dụng được khi các dữ liệu thu được dưới dạng rời rạc theo không gian, vì khôngthể lấy đạo hàm theo biến không gian tại các điểm rời rạc đó

Nhằm khắc phục những nhược điểm trên, năm 2014 Titi và cộng sự đã đề xuất mộtphương pháp mới để nghiên cứu bài toán đồng hóa dữ liệu [5] Ý tưởng của phương phápnày là sử dụng một số hạng điều khiển phản hồi đưa vào trong phương trình để được mộtphương trình mới, gọi là phương trình đồng hóa dữ liệu Phương pháp này còn được gọi

là phương pháp nudging Newton hay phương pháp giãn động lực (dynamic relaxation)[32]

9

Nội dung của phương pháp đồng hóa dữ liệu trong [5] như sau: Giả sử rằng một hệphương trình có dạng

£=F,(r) (1) (với điều kiện biên đã biết) và không biếtđiều kiện ban đầu Y (t0 ) = Y0 Bằng cách sử dụng các thiết bị đo đạc, ta biết một phần củanghiệm trong khoảng thời gian [t0, T] (bài toán đồng hóa dữ liệu liên tục) hoặc tại các thờiđiểm tn với n = 1, 2 , , trong đó t i < tj, Vi < j và tn ^ TO khi n ^ TO (bài toán đồng hóa dữliệu rời rạc) Vì không biết chính xác điều kiện ban đầu nên ta không thể tính được Y(t)

Do đó, thay vì đi tính Y(t), ta đi tìm W(t), là nghiệm của một phương trình mới gọi là

phương trình đồng hóa dữ liệu, sao cho W(t) hội tụ về Y(t) (theo một chuẩn thích hợp) khi thời gian t tiến tới vô cùng Khi đó, W(t) gọi là nghiệm xấp xỉ và nghiệm Y(t) gọi là

nghiệm khảo sát Kí hiệu Ih (Y(t)) là phần của nghiệm mà ta đo đạc được tại thời điểm t.

ở đây, tham số h đặc trưng cho độ phân giải không gian của phép đo Toán tử quan sát Ih,với các điều kiện thích hợp, là một toán tử khá tổng quát, chứa cả trường hợp các modexác định (determining modes), cũng như các nút xác định (determining nodes) và cácphần tử thể tích xác định (determining finite volume) (xem [2])

Đối với bài toán đồng hóa dữ liệu liên tục, phần đo đạc Ih (Y(t)) của nghiệm thu được

trên [to , T], ta xét hệ phương trình đồng hóa dữ liệu

với điều kiện ban đầu W(t0) = W0 do ta dự đoán trước (lấy tùy ý) ở đây, số dương / đượcgọi là tham số giãn Ta sẽ tìm các điều kiện đủ của các tham số / và h (h đủ nhỏ, / đủ lớn)

để hệ (2) có nghiệm toàn cục duy nhất W(t) và W(t) hội tụ tới Y(t) khi thời gian t tiến tới

vô cùng Theo quan điểm vật lí, độ phân giải không gian h của phép đo thường là khó vàtốn kém để thay đổi, trong khi tham số giãn / là tham số toán học có thể dễ dàng thay đổi,

do đó ta tập trung vào việc tìm điều kiện của h để tồn tại một giá trị / đảm bảo cho sựthành công của thuật toán Sau khoảng thời gian T > 0 đủ lớn, nghiệm W(T) có thể được

sử dụng làm điều kiện ban đầu trong hệ (1) để đưa ra dự đoán trong tương lai của nghiệmtham chiếu Y(t) khi t > T hoặc ta có thể tiếp tục với chính hệ đồng hóa dữ liệu (2), nếu dữliệu đo vẫn tiếp tục được cung cấp

10

Đối với bài toán đồng hóa dữ liệu rời rạc, tình huống gần với thực tiễn hơn, khi mà phần đo đạc Ih(Y (t)) của nghiệm thu được tại các thời điểm rời rạc tn

với n = 1, 2, , trong đó ti < tj, Vi < j và tn — TO khi n —— TO, thay cho hệ

11

(2), ta xét hệ phương trình đồng hóa dữ liệu sau

Phương pháp đồng hóa dữ liệu chỉ áp dụng được cho các mô hình đặt đúng, nói riêng

là các hệ mà đã chứng minh được sự tồn tại và tính duy nhất nghiệm Chính vì lí do đó,kết quả đồng hóa dữ liệu đối với hệ Navier-Stokes mới chỉ có trong trường hợp hai chiều[5, 27], còn trong trường hợp ba chiều ta chưa chứng minh được các kết quả tương tự Đểnghiên cứu các tính chất nghiệm nói chung và bài toán đồng hóa dữ liệu nói riêng của hệNavier-Stokes ba chiều, một cách làm phổ biến là nghiên cứu trên các a-mô hình, đượccoi như là những xấp xỉ của hệ Navier-Stokes khi tham số a nhỏ Gần đây đã có một sốkết quả đối với bài toán đồng hóa dữ liệu liên tục cho các a-mô hình như hệ Navier-Stokes-a [2], hệ Bardina đơn giản hóa [1], hệ Leray-a [24],

Rất gần đây một hướng nghiên cứu mới, đó là giảm số chiều phép đo xuống thấp hơn

số chiều không gian, cũng đang thu hút sự quan tâm của nhiều nhà khoa học [23, 24] Bàitoán đồng hóa dữ liệu liên tục rút gọn số chiều phép đo về cơ bản vẫn được thiết lập nhưtrường hợp đầy đủ số chiều phép đo, nhưng các số liệu phép đo thay vì được biểu diễn bởicác toán tử nội suy Ih(Y (t)), ví dụ như đối với không gian ba chiều là bao gồm cả bathành phần Ih (Y1 (t)), Ih(Y2(t)) và Ih(Y3(t)) (với t G [t0,T]), thì giờ đây chỉ được biểu diễnbởi số thành phần ít hơn, ví dụ như đối với không gian ba chiều là hai thành phần (bất kì)trong số ba thành phần này, chẳng hạn chỉ bởi Ih (Y1 (t)) và Ih (Y2 (t)) Việc không có dữliệu nào đối với thành phần phép đo bị thiếu dẫn tới khó khăn trong việc xây dựngnghiệm xấp xỉ và chứng minh sự hội tụ của nghiệm

lal12

xấp xỉ tới nghiệm khảo sát theo thuật toán đồng hóa dữ liệu liên tục Khó khăn này đãđược khắc phục trong một số mô hình cụ thể, đó là hệ Navier-Stokes hai chiều [2a] và hệLeray-a ba chiều [24], bằng cách sử dụng điều kiện không nén được V • Y = 0 để biểudiễn các số hạng ứng với thành phần chưa biết thông qua các số hạng ứng với các thànhphần đã biết Tuy nhiên, "chìa khóa" này chưa thể khẳng định luôn dùng được cho mọi

mô hình nói chung và các a-mô hình nói riêng Đó là trong trường hợp bài toán đồng hóa

dữ liệu liên tục, còn theo hiểu biết của chúng tôi bài toán đồng hóa dữ liệu rời rạc vớiphép đo rút gọn cho đến nay vẫn chưa được thiết lập và nghiên cứu

Từ những phân tích trên, những vấn đề mở mà chúng tôi quan tâm nghiên cứu trong luận án này bao gồm:

• Bài toán đồng hóa dữ liệu rời rạc đối với một số a-mô hình trong không gian bachiều

• Bài toán đồng hóa dữ liệu liên tục đối với một số a-mô hình trong không gian bachiều, trong đó chỉ sử dụng phép đo trên hai thành phần của vectơ vận tốc

• Bài toán đồng hóa dữ liệu rời rạc đối với một số a-mô hình trong không gian bachiều, trong đó chỉ sử dụng phép đo trên hai thành phần của vectơ vận tốc

3 Mục đích, đối tượng và phạm vi nghiên cứu

• Mục đích của luân án: Nghiên cứu bài toán đồng hóa dữ liệu, cả trong trường hợp

liên tục và trường hợp rời rạc, đối với một số a-mô hình trong cơ học chất lỏng

• Đối tương nghiên cứu: Nghiên cứu sự tồn tại duy nhất toàn cục và đánh giá tiệm

cận theo thời gian của hiệu giữa nghiệm của hệ đồng hóa dữ liệu (gọi là nghiệmxấp xỉ) với nghiệm khảo sát của hệ gốc (nói riêng là

sự hội tụ của nghiệm xấp xỉ về nghiệm khảo sát khi thời gian ra vô cùng nếu phép đokhông có sai số), đối với một số a-mô hình trong cơ học chất lỏng.

• Phạm vi nghiên cứu: Trong các mô hình dưới đây v = u — a 2Au Các mô hình đượcxét trên khoảng [t0, to), với điều kiện biên tuần hoàn trên hình hộp ^ = [o, L]3 và điềukiện ban đầu u(t0) = u0 chưa biết

o Nội dung i: Bài toán đồng hóa dữ liệu rời rạc đối với hệ Leray-a ba chiều:

o Nội dung a:Bài toán đồng hóa dữ liệu liên tục chỉ sử dụng phép đo

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

• Nghiên cứu bài toán đồng hóa dữ liệu rời rạc: sử dụng phương pháp đề xuất trong[2ĩ] bởi E Titi và các cộng sự

• Nghiên cứu bài toán đồng hóa dữ liệu liên tục: sử dụng phương pháp đề xuất trong[5, 2a, 24] bởi E Titi và các cộng sự

5 Kết quả của luân án

Luận án đã đạt được những kết quả chính sau đây:

• Chứng minh được sự tồn tại duy nhất của nghiệm xấp xỉ và đánh giá được tiệm cậntheo thời gian của hiệu giữa nghiệm xấp xỉ và nghiệm khảo sát cho bài toán đồnghóa dữ liệu rời rạc đối với hệ Leray-a ba chiều và hệ Navier-Stokes-a ba chiềutrong trường hợp phép đo có thể có sai số Đặc biệt, khi không có sai số ta thu được

sự hội tụ theo tốc độ mũ của nghiệm xấp xỉ hội tụ tới nghiệm khảo sát khi thời giantiến tới vô cùng Đây là nội dung chính của Chương 2 và Chương a

• Chứng minh được sự tồn tại duy nhất của nghiệm xấp xỉ và sự hội tụ theo tốc độ

mũ của nghiệm xấp xỉ tới nghiệm khảo sát đối với bài toán đồng hóa dữ liệu liêntục đối với hệ Bardina đơn giản hóa ba chiều mà chỉ sử dụng phép đo trên haithành phần của vectơ vận tốc Đây là nội dung chính của Chương 4

• Chứng minh được sự tồn tại duy nhất của nghiệm xấp xỉ và sự hội tụ theo tốc độ

mũ của nghiệm xấp xỉ về nghiệm khảo sát cho cả bài toán đồng hóa dữ liệu liên tục

và rời rạc đối với hệ Leray-a cải biên ba chiều mà chỉ sử dụng phép đo trên haithành phần của vectơ vận tốc Đây là nội dung chính của Chương 5

Các kết quả của luận án là những đóng góp có ý nghĩa cho Lí thuyết các phương trình đạo

hàm riêng trong cơ học chất lỏng và Lí thuyết đồng hóa dữliệu; góp phần vào việc hoàn thiện các lí thuyết này và giải quyết một số vấn đề mở đượcnhiều nhà khoa học trong và ngoài nước quan tâm

Các kết quả chính đạt được đã được công bố hoặc đang gửi đăng trên một số tạp chíchuyên ngành quốc tế (xem phần Danh mục công trình khoa học) và đã được báo cáo tạicác hội thảo và seminar khoa học sau:

l15

• Hội nghị toán học toàn quốc lần thứ 8, Nha Trang, tháng 8/2018;

• Hội nghị nghiên cứu khoa học của nghiên cứu sinh, Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội, các năm 2017 và 2018;

• Seminar của Bộ môn Giải tích, Khoa Toán-Tin, Trường Đại học Sư phạm Hà Nội

6 Cấu trúc của luận án

Ngoài phần mở đầu, kết luận, danh mục các công trình khoa học liên quan đến luận

án và danh mục tài liệu tham khảo, luận án gồm 5 chương:

• Chương 1 Kiến thức chuẩn bị.

• Chương 2 Bài toán đồng hóa dữ liệu rời rạc đối với hệ Leray-a.

• Chương 3 Bài toán đồng hóa dữ liệu rời rạc đối với hệ Navier-Stokes-a.

• Chương 4. Bài toá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

• Chương 5 Bài toán đồng hóa dữ liệu rút gọn đối với hệ Leray-a cải biên.

Chương 1 KIẾN THỨC CHUẲN BỊ

Trong chương này, chúng tôi nhắc lại một số kiến thức cơ bản về các a-mô hình trong

cơ học chất lỏng, toán tử nội suy Ih, tập hút toàn cục, các không gian hàm, toán tử, và cácbất đẳng thức được sử dụng trong chứng minh các kết quả chính của luận án ở cácchương sau

Một lớp hệ chỉnh hóa phổ biến và thường gặp của hệ Navier-Stokes ba chiều là các a-môhình trong cơ học chất lỏng Các a-mô hình này thu được bằng cách thay v = u — ữ2Au

và thay số hạng phi tuyến (v • V)v trong hệ Navier-Stokes

-7 — VAv + (v • V)v + Vp = f, ơt

V • v = 0,

16

lần lượt bởi (u • V)v, —u X (V X (u — a2 Au)), (u • V)u và (v • V)u Mặc dù xuất phát từmục đích ban đầu là dùng để mô phỏng số cho hệ Navier-Stokes, nhưng các a-mô hìnhcũng đã được chỉ ra là có mối liên hệ giữa các nghiệm của chúng với các dòng chảy hỗnloạn trên các kênh và các đường ống (xem [13]) Về mặt hình thức, trong các a-mô hình

này nếu thay a bằng 0 ta sẽ thu được hệ Navier-Stokes Dưới đây ta liệt kê các a-mô hình

được nghiên cứu trong luận án

Trong tất cả các hệ trên, u = u(x,t) biểu diễn cho vận tốc của dòng chảy, v = u — a2Au và

a > o là một tham số cho trước Ở đây, p là một hàm vô hướng, biểu thị cho áp suất và f làhàm ngoại lực

Trong những năm gần đây, đã có nhiều kết quả về sự tồn tại duy nhất nghiệm toàncục và dáng điệu tiệm cận nghiệm thông qua sự tồn tại và tính chất của tập hút toàn cụccho các a-mô hình; xem, chẳng hạn, [10, 11, 15, a4, 40, 41, 42, 55] Xin xem thêm bàibáo [aa] về một số a-mô hình quan trọng khác trong cơ học chất lỏng và kết quả toán họcliên quan đến chúng

Trong luận án này ta xét toán tử nội suy Ih là một toán tử tuyến tính thỏa mãn một tronghai trường hợp sau, lần lượt gọi là toán tử nội suy loại I và toán tử nội suy loại II

Trường hợp 1 Ih : H1 (^) ^ L 2 (^) và

l18

IIp — I h(^)IIỈ2(Q) < Yo19h2IMlH 1 (Q),V^ e H1 (^).