Luận án tiến sĩ tính ổn định và ổn định hóa đối với một số phương trình tiến hóa

Nghiệm dừng là trạng thái cân bằng của hệ chất lỏng. Tính ổn định cho biết nghiệm giữ nguyên trạng thái khi có nhiễu. Ổn định Lyapunov mô tả sự phụ thuộc liên tục vào điều kiện đầu. Ổn định tiệm cận cho thấy nghiệm trở về trạng thái dừng sau nhiễu. Ổn định mũ đảm bảo tốc độ hội tụ theo hàm mũ. Bài toán ổn định hóa tìm cách đưa nghiệm về trạng thái mong muốn. Điều khiển phản hồi là công cụ chính cho bài toán này. Mục tiêu là thiết kế điều khiển sao cho hệ đóng ổn định mũ. Các khái niệm này tạo nền tảng cho toàn bộ luận án. Sự khác biệt giữa các dạng ổn định được phân tích rõ ràng.

Đối tượng thứ nhất là hệ Navier-Stokes-Voigt ba chiều. Đối tượng thứ hai là hệ g-Navier-Stokes hai chiều. Phiên bản ngẫu nhiên với trễ hữu hạn cũng được khảo sát. Phạm vi nghiên cứu giới hạn trong lớp nghiệm dừng. Các kết quả bao gồm sự tồn tại, tính duy nhất và tính ổn định. Bài toán ổn định hóa được xét với nhiều dạng điều khiển khác nhau. Điều khiển phản hồi có giá bên trong miền được nghiên cứu chi tiết. Điều khiển hữu hạn chiều và ngoại lực dao động nhanh cũng được đề cập. Nhiễu ngẫu nhiên Ito nhân tính được dùng cho hệ ngẫu nhiên.

Luận án sử dụng phương pháp năng lượng kết hợp hàm Lyapunov. Các không gian Sobolev và bất đẳng thức nội suy được dùng thường xuyên. Lý thuyết giải tích ngẫu nhiên hỗ trợ xử lý hệ có nhiễu. Điều khiển phản hồi được thiết kế dựa trên cấu trúc nghiệm dừng. Nhiễu Ito nhân tính được dùng cho bài toán ổn định hóa ngẫu nhiên. Các ước lượng tiên nghiệm đóng vai trò then chốt trong chứng minh. Bất đẳng thức Gronwall và các bổ đề so sánh được áp dụng hiệu quả. Phương pháp xấp xỉ Galerkin giúp chứng minh sự tồn tại nghiệm.

Không gian Sobolev là công cụ cơ bản cho nghiệm yếu. Không gian Lp(0,T;Y) mô tả hàm nhận giá trị trong không gian Banach. Không gian C([0,T];Y) dùng cho hàm liên tục theo thời gian. Các không gian Hg và Vg được xây dựng riêng cho hệ g-Navier-Stokes. Các phép nhúng compact đóng vai trò quan trọng. Bất đẳng thức Poincaré được dùng để ước lượng nghiệm. Các tính chất về tính khả ly và phản xạ được khảo sát. Những công cụ này hỗ trợ chứng minh sự tồn tại nghiệm yếu.

Các toán tử này sinh ra từ dạng song tuyến tính của hệ. Toán tử Ag là toán tử tuyến tính không bị chặn. Toán tử Bg biểu diễn thành phần phi tuyến. Toán tử Cg liên quan đến số hạng g. Các tính chất phổ của toán tử được khảo sát chi tiết. Nửa nhóm sinh bởi Ag tạo cơ sở cho nghiệm tiến hóa. Tính đơn điệu và tính bức của các toán tử được chứng minh. Các ước lượng về tính liên tục của Bg được thiết lập. Những tính chất này đảm bảo tính đặt chỉnh của bài toán.

Chuyển động Brown trong không gian Hilbert là nhiễu nền tảng. Tích phân ngẫu nhiên Ito được định nghĩa cho quá trình nhận giá trị Hilbert. Các kết quả về xác suất cung cấp công cụ đánh giá. Bổ đề Gronwall ngẫu nhiên dùng để ước lượng nghiệm. Bất đẳng thức Burkholder-Davis-Gundy được áp dụng thường xuyên. Các định lý tồn tại nghiệm ngẫu nhiên được nhắc lại. Quy tắc Ito cho hàm nhiều chiều được trình bày rõ ràng. Các khái niệm về moment và hội tụ hầu chắc chắn được dùng xuyên suốt.

Điều kiện đủ cho tính duy nhất nghiệm dừng được thiết lập. Hệ số nhớt và hệ số Voigt đóng vai trò quyết định. Tính ổn định mũ được chứng minh bằng hàm Lyapunov. Tốc độ hội tụ mũ phụ thuộc vào các tham số vật lý. Kết quả bao phủ lớp dữ liệu ban đầu rộng. Các ước lượng năng lượng được thực hiện một cách chặt chẽ. Hàm Lyapunov được chọn phù hợp với cấu trúc của hệ. Điều kiện ban đầu chỉ cần thuộc không gian năng lượng. Chứng minh sử dụng bất đẳng thức Gronwall cổ điển.

Bài toán ổn định hóa yêu cầu thiết kế điều khiển. Điều khiển phản hồi tác động trên tập con của miền. Dạng phản hồi tuyến tính đơn giản và hiệu quả. Hệ đóng nhận được có nghiệm dừng ổn định mũ. Điều kiện đủ được phát biểu qua các tham số điều khiển. Kết quả chứng minh tính điều khiển được của hệ. Điều khiển chỉ cần tác động trên một phần nhỏ của miền. Điều này giúp giảm chi phí thực hiện trong ứng dụng. Vị trí đặt điều khiển ảnh hưởng đến tốc độ ổn định hóa.

Nhiễu ngẫu nhiên có thể làm ổn định hệ chất lỏng. Nhiễu Ito nhân tính phụ thuộc tuyến tính vào trạng thái. Cường độ nhiễu đủ lớn sẽ tạo ra tính ổn định mũ. Hàm Lyapunov toàn phương được dùng trong phân tích. Các ước lượng moment bậc hai được thiết lập. Kết quả cho thấy vai trò kép của nhiễu ngẫu nhiên. Nhiễu có thể phá hủy hoặc củng cố tính ổn định. Luận án chỉ ra ngưỡng cường độ nhiễu cần thiết. Kết quả mở rộng lý thuyết ổn định ngẫu nhiên cho hệ chất lỏng.

Các điều kiện đủ cho sự tồn tại được thiết lập. Nghiệm dừng là duy nhất trong lớp hàm xác định. Tính ổn định mũ được chứng minh qua hàm Lyapunov. Hàm g thỏa mãn điều kiện chặn đều đảm bảo kết quả. Các bất đẳng thức nội suy được sử dụng hiệu quả. Nghiệm dừng hút mọi quỹ đạo xuất phát từ lân cận. Tốc độ hội tụ mũ được xác định tường minh. Kết quả phù hợp với trường hợp g bằng hằng số cổ điển. Điều kiện đủ được so sánh với các kết quả đã biết.

Điều khiển hữu hạn chiều dễ thực hiện trong ứng dụng. Điều khiển phản hồi được xây dựng từ một số mode quan sát được. Số chiều điều khiển phụ thuộc vào cấu trúc phổ. Hệ đóng nhận được ổn định mũ với điều kiện thích hợp. Kết quả liên hệ chặt chẽ với tính quan sát được của hệ. Các mode quan sát được phải bao phủ phần không ổn định. Điều khiển tác động lên một số mode thấp nhất. Phương pháp này giảm đáng kể chi phí tính toán. Điều khiển được chứng minh là chấp nhận được.

Ngoại lực dao động nhanh theo thời gian có tác dụng ổn định hóa. Dao động nhanh tạo hiệu ứng trung bình hóa. Biên độ ngoại lực cần thỏa mãn điều kiện cộng hưởng. Nghiệm của hệ bị nhiễu hội tụ về nghiệm dừng. Phương pháp này không cần đo trạng thái đầy đủ. Ngoại lực được thiết kế dựa trên phương trình trung bình hóa. Tần số dao động càng lớn thì sai lệch càng nhỏ. Kết quả chứng minh tính điều khiển được bằng ngoại lực. Phương pháp mang tính mở cho các hệ chất lỏng khác.

Trễ hữu hạn làm phức tạp bài toán tồn tại nghiệm. Không gian trạng thái mở rộng bao gồm cả quá khứ. Các điều kiện tăng trưởng được áp dụng cho phiếm hàm trễ. Định lý điểm bất động cho phép chứng minh tồn tại. Tính duy nhất nhận được từ điều kiện Lipschitz. Hàm trễ thỏa mãn điều kiện tăng trưởng tuyến tính. Nghiệm dừng được xác định qua bài toán elliptic liên kết. Kết quả đặt nền tảng cho việc khảo sát tính ổn định.

Nhiễu ngẫu nhiên ảnh hưởng đến tính ổn định của nghiệm. Hàm Lyapunov toàn phương kết hợp với số hạng trễ. Bất đẳng thức Gronwall ngẫu nhiên được dùng trong đánh giá. Các moment của nghiệm hội tụ về không theo hàm mũ. Điều kiện đủ được phát biểu qua các tham số hệ thống. Kết quả mở rộng lý thuyết ổn định ngẫu nhiên. Trễ lớn đòi hỏi điều kiện ổn định chặt hơn. Mối quan hệ giữa trễ và cường độ nhiễu được làm rõ.

Hệ Navier-Stokes-Voigt ba chiều được nghiên cứu hoàn chỉnh. Hệ g-Navier-Stokes hai chiều có đầy đủ kết quả ổn định. Hệ ngẫu nhiên có trễ được xử lý bằng công cụ hiện đại. Điều khiển phản hồi chứng minh tính điều khiển được. Ngoại lực dao động nhanh mở ra hướng ổn định hóa mới. Nhiễu Ito nhân tính cho thấy vai trò của ngẫu nhiên. Các hàm Lyapunov được xây dựng phù hợp từng hệ. Các điều kiện đủ đều có thể kiểm tra trong thực tế.

Nghiên cứu hệ ba chiều với trễ có thể mở rộng. Tính quan sát được của hệ chất lỏng cần khảo sát thêm. Điều khiển tối ưu cho bài toán ổn định hóa còn bỏ ngỏ. Hệ phi tuyến mạnh hơn có thể được xem xét. Các mô hình nhiễu phức tạp hơn cần phát triển. Hệ Navier-Stokes ba chiều không có hệ số Voigt là thách thức. Điều khiển biên cho hệ chất lỏng cũng là hướng tiềm năng. Các ứng dụng trong hải dương học và khí tượng được kỳ vọng.