TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

Tính duy nhất của nghiệm mạnh cho hệ phƣơng trình Navier - Stokes trong không gian ba chiều Vũ Thị Thùy Dƣơng*, Nguyễn Thị Thu Hƣơng Trường Đại học Công nghiệp Quảng Ninh *E-mail: vuthuyduong309@gmail.com

Tóm tắt: Bài báo trình bày kết quả về tính duy nhất của nghiệm mạnh cho hệ phương là một nghiệm trình Navier-Stokes trong không gian ba chiều. Giả sử

mềm của hệ phương trình Navier–Stokes với giá trị ban đầu . Khi đó, là nghiệm

trên nếu thỏa mãn điều kiện theo định lý

yếu theo nghĩa Leray duy nhất liên kết với duy nhất của Serrin và Von Wahl. Từ khoá: Hệ phương trình Navier-Stokes, nghiệm mạnh, tính duy nhất nghiệm.

1. ĐẶT VẤN ĐỀ

Hệ phương trình Navier-Stokes là một trong những hệ phương trình Parabolic phi tuyến nổi tiếng và rất được sự quan tâm của những nhà toán học trên thế giới. Lớp phương trình này xuất hiện khi mô tả chuyển động của các chất lỏng, không khí, dầu mỏ,... dưới điều kiện tổng quát. Chúng cũng xuất hiện trong nhiều nghiên cứu quan trọng về khoa học kỹ thuật như: Khoa học hàng không, khí tượng học, công nghiệp dầu mỏ, vật lý plasma…, xem [4]. Hiện nay, có rất nhiều các nghiên cứu về các tính chất định tính của nghiệm như: Sự tồn tại, tính duy nhất, độ trơn và dáng điệu tiệm cận cho các loại nghiệm của hệ phương trình Navier- trong không gian ba Stokes. Bài báo trình bày hai kết quả về tính duy nhất của nghiệm yếu thỏa mãn các điều kiện trong định lý duy chiều với giá trị ban đầu và nghiệm

nhất của Serrin và định lý duy nhất của Von Wahl. 2. NỘI DUNG 2.1. Nghiệm mềm của hệ phƣơng trình Navier-Stokes

Trước khi giới thiệu và thiết lập các hàm bổ trợ thích hợp, ta sẽ biến đổi hệ phương trình Navier-Stokes thành hệ phương trình toán tử như sau:

trong đó, với các vectơ và ta định nghĩa tích tensor của chúng bởi hệ thức

là toán tử chiếu trực giao vào trường vectơ phân kỳ tự được định nghĩa như dưới đây, và xem [1].

Ta đặt:

và ta ký hiệu biến đổi Riesz bởi

Đối với một trường vectơ tùy ý trên ta đặt

257

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

và định nghĩa toán tử bởi

Một cách tương đương khác để xác định là việc sử dụng các tính chất của biến đổi Fourier và viết

Như vậy, tử phân kỳ. Nói cách khác áp suất là một toán tử giả vi phân và là một phép chiếu trực giao vào hạch của toán đảm bảo rằng điều kiện không nén được cho trong

được thỏa mãn.

Cuối cùng, sử dụng toán tử chiếu này và nửa nhóm

ta có thể đưa phương trình toán tử thành phương trình tích phân như sau

Ta sẽ bắt đầu từ phương trình tích phân và chứng minh sự tồn tại và duy nhất của

nghiệm của nó.

Ở đây, ta chỉ xét trường hợp cả không gian nên nửa nhóm Stokes trở thành nửa

. Nghiệm của bài toán là tổng của hai nghiệm sau: số nhóm của phương trình truyền nhiệt hạng tuyến tính có chứa giá trị ban đầu

và toán tử song tuyến tính biểu thị sự phi tuyến của phương trình, xem [6],

Trong bài báo này, để chứng minh sự tồn tại và tính duy nhất của nghiệm ta cần sử dụng định nghĩa nghiệm mềm của hệ phương trình Navier-Stokes sau:

gọi là một nghiệm mềm của hệ phương trình Navier-Stokes trong , nào đó và

Một nghiệm yếu đối với một nếu với một giá trị ban đầu phân kỳ tự do (trong các không gian hàm về sau ta xét) là nghiệm của phương trình tích phân nghiệm

với .

Ta cũng sẽ sử dụng ký hiệu sau: với một tensor ta xác định vectơ bởi

Ta sẽ xem xét nghiệm trong không gian ba chiều do đó

Một cách hình thức, công thức tích phân có được từ việc áp dụng vào hệ

phương trình Navier-Stokes cổ điển mà ta có thể viết như sau

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

258

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

(ở đây do điều kiện ) và giải phương trình truyền nhiệt (do

) theo công thức Duhamel, xem [3].

của hệ phương trình Navier-Stokes thỏa mãn phương Định nghĩa 2.1. Một nghiệm mềm trình tích phân và do đó mà

trong đó, trình truyền nhiệt là không gian Banach gồm các hàm suy rộng mà trên đó nửa nhóm của phương là xác định tốt theo là liên tục mạnh và tích phân trong

nghĩa của Bochner.

Từ đánh giá ta có

Nếu ta thấy rằng, đối với

Đánh giá trên cho ta một đủ nhỏ, Do vậy, chuẩn của

(Như một vấn đề thực tế, ta còn chứng minh được chuẩn và ta biết rằng tồn tại thời gian cực đại của vẫn đóng trên một tập con compact của nghiệm trong , sau đó vẫn bị chặn toàn cục trên ).

2.2. Tính duy nhất nghiệm của hệ phƣơng trình Navier-Stokes

Tiếp theo ta sẽ đề cập đến định lý duy nhất của nghiệm trong lớp Trước

tiên, để thuận lợi cho việc nghiên cứu định lý duy nhất nghiệm, ta nhắc lại ở đây các mệnh đề dùng vào việc chứng minh định lý duy nhất. Mệnh đề 2.1. (Đẳng thức năng lượng)

Giả sử rằng và cho là một nghiệm của hệ phương

trình Navier-Stokes

Giả sử rằng:

(i)

(ii) Với một nào đó, với

Khi đó, và đẳng thức năng lượng

259

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

thỏa mãn

đúng với tất cả Mệnh đề 2.2. [1] Giả sử và là hai nghiệm của hệ phương trình Navier-Stokes đối với

Giả sử rằng:

(i) Với

(ii) Với

(iii)Với mỗi giá trị nào đó, với

Khi đó,

là liên tục trên và ta có đẳng thức

với mọi sao cho

(Phần chứng minh của mệnh đề có thể xem Mệnh đề 4.3, trong ).

Định lí 2.1. (Định lý duy nhất của Serrin)

Giả sử với . Giả thiết rằng tồn tại một nghiệm của hệ phương

trình Navier-Stokes trên với giá trị ban đầu sao cho

(i)

(ii)

(iii) Với một nào đó, với

Khi đó, là nghiệm Leray duy nhất liên kết với trên

Định lý 2.1 được suy trực tiếp từ Mệnh đề 2.2.

Chứng minh. Để chứng minh tính duy nhất của nghiệm yếu

ta giả sử tồn tại một nghiệm của hệ phương trình Navier-Stokes trên là một nghiệm theo Leray khác. Khi

đó, ta viết:

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

260

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

Hơn nữa, ta có:

Mặt khác, với đặt , khi đó:

(do ).

Do đó,

với và với

Với tất cả ta có

Nếu trên và nếu , ta có

nên ta được

Do đó, trên

Khi thì đây chính là tính duy nhất trên .

Khi ta phải giả thiết rằng để suy ra tính duy nhất của nghiệm.

261

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

Do vậy, định lý này chỉ chứng minh cho trường hợp .

Định lí 2.2. (Định lý duy nhất của Von Wahl)

Giả sử với . Giả sử rằng tồn tại một nghiệm yếu của hệ

phương trình Navier-Stokes trên với giá trị ban đầu sao cho

(i)

(ii)

(iii)

Khi đó, là nghiệm Leray duy nhất liên kết với trên .

, khi đó với mỗi , ta sẽ tách trên thành với Chứng minh Nếu

và .

Theo tính liên tục đều của

.

Ta có thể tìm được sao cho

Ta có thể xấp xỉ mỗi bởi một vectơ hàm , với một sai số điều

khiển trong bởi chuẩn:

Do đó, ta xác định được như sau:

Khi đó:

Chọn sao cho , ta có

.

Từ Bổ đề Gronwall trong [2], ta suy ra Định lý được chứng minh. 3. KẾT LUẬN tính duy nhất nghiệm của phương trình Navier-Stokes trong lớp Trong bài báo này chúng tôi trình bày lại một cách cụ thể khái niệm và các kết quả về với điều

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022

262

TRƢỜNG ĐẠI HỌC CÔNG NGHIỆP QUẢNG NINH

kiện ban đầu

và nghiệm mềm thỏa mãn các điều kiện trong định lý duy nhất của

– solutions of Navier–Stokes

Serrin và định lý duy nhất của Von Wahl. TÀI LIỆU THAM KHẢO [1] M. Cannone (2003), ―Harmonic analysis tools for solving the incompressible Navier– Stokes equations’’, Handbook of Mathematical Fluid Dynamics, vol 3, Eds. S.Friedlander and D. Serre, Elsevier. [2] L. Escauriaza, G.A. Seregin, V. Sverák (2003), ― equations and backward uniqueness’’, Us. Mat. Nauk (58), 3 – 44. [3] P. Federbush(1993), ―Navier–Stokes meet the wavelet’’, Comm. Math. Phys (155), 219 – 248. [4] H. Fujita and T. Kato (1964), ―On the Navier–Stokes initial value problem I‖, Arch. Rat. Mech. Anal(16), 269 – 315. [5]. Hermann Sohr (2001), The Navier–Stokes Equations, Birkhauser Advanced Texts, Birkhauser Verlag, Basel. [6]. O. A. Ladyzhenskaya (1969), The Mathematical Theory of Viscous Incompressible Flow, Gordon and Breach, New York.

The uniqueness of strong solutions to the Navier-Stokes equations in the three-dimensional space

Thi Thuy Duong Vu Quang Ninh University of Industry

Stokes equations in the three-dimensional space. Let

Abstract: The paper presents about the uniqueness of strong solutions to the Navier- is a mild solution of

the Navier-Stokes equations with the initial value . Then, is the weak solution in

on if satisfies the condition

Key words: Navier-Stokes equations, Strong solutions, The uniqueness of solutions.

the sense Leray of the Navier-Stokes equations with according to the unique theorems of Serrin and Von Wahl.

263

Kỷ yếu Hội nghị KHCN lần 7, tháng 5/2022