Luận án tiến sĩ: Bài toán biên phương trình sóng phi tuyến Balakrishnan-Taylor

Phương trình Balakrishnan-Taylor equation thuộc lớp phương trình đạo hàm riêng phi tuyến hyperbolic. Phương trình chứa số hạng tích phân theo thời gian đặc trưng. Số hạng này mô tả hiệu ứng nhớ của vật liệu. Tính phi tuyến xuất hiện qua hệ số phụ thuộc vào gradient nghiệm. Điều này tạo nên độ phức tạp toán học đáng kể. Phương trình mô tả sóng trong môi trường có tắt dần. Tham số trong số hạng Balakrishnan-Taylor quyết định mức độ tắt dần.

Bài toán biên mô tả dao động của dây đàn hồi hoặc màng đàn hồi. Điều kiện biên Dirichlet thể hiện sự cố định tại biên. Điều kiện Robin-Dirichlet kết hợp cố định và tương tác đàn hồi. Nghiệm sóng mô tả chuyển động của hệ vật lý theo thời gian. Sự tồn tại nghiệm đảm bảo bài toán có nghĩa vật lý. Tính duy nhất nghiệm cho phép dự đoán hành vi hệ thống. Ổn định nghiệm quan trọng cho ứng dụng thực tế.

Luận án nghiên cứu ba bài toán biên cụ thể. Chương 4 xét bài toán Dirichlet với điều kiện biên thuần nhất. Chương 5 nghiên cứu bài toán Robin-Dirichlet phức tạp hơn. Chương 6 mở rộng sang hệ phương trình Kirchhoff-Carrier. Mỗi bài toán có đặc điểm toán học riêng. Phương pháp Galerkin được sử dụng làm công cụ chính. Kết quả bao gồm định lý tồn tại, duy nhất và ổn định.

Bài toán xét trên miền trụ Q = Ω × (0,T). Ω là miền bị chặn trong không gian Euclid. Biên Γ của Ω đủ trơn theo nghĩa Lipschitz. Phương trình chứa toán tử Laplace phi tuyến. Hệ số phụ thuộc vào chuẩn gradient của nghiệm. Số hạng Balakrishnan-Taylor chứa tích phân thời gian. Điều kiện biên u = 0 trên Γ × (0,T). Điều kiện ban đầu cho u và đạo hàm theo thời gian.

Nghiệm yếu được định nghĩa trong không gian Sobolev phù hợp. Phương pháp Galerkin xây dựng dãy nghiệm xấp xỉ hữu hạn chiều. Mỗi nghiệm xấp xỉ thỏa mãn hệ phương trình vi phân thường. Các ước lượng tiên nghiệm đảm bảo bị chặn đều. Tính compact yếu cho phép trích dãy con hội tụ. Giới hạn của dãy con là nghiệm yếu cần tìm. Sự tồn tại và duy nhất nghiệm được thiết lập hoàn chỉnh.

Ổn định nghiệm được hiểu theo nghĩa năng lượng. Năng lượng của hệ giảm theo thời gian. Số hạng Balakrishnan-Taylor đóng vai trò tắt dần. Tốc độ tắt dần phụ thuộc vào tham số của bài toán. Ước lượng năng lượng sử dụng bất đẳng thức Gronwall. Tính ổn định tổng quát được chứng minh chi tiết. Kết quả này quan trọng cho ứng dụng thực tế.

Biên Γ được phân thành hai phần rời nhau Γ₀ và Γ₁. Trên Γ₁ áp dụng điều kiện Dirichlet u = 0. Trên Γ₀ áp dụng điều kiện Robin ∂u/∂n + ku = 0. Hệ số k là hằng số dương đặc trưng cho tương tác. Điều kiện hỗn hợp mô tả vật lý thực tế hơn. Một phần biên cố định, phần khác có tương tác đàn hồi. Không gian Sobolev phải điều chỉnh phù hợp.

Cơ sở Galerkin được chọn từ hàm riêng của toán tử. Toán tử Laplace với điều kiện biên hỗn hợp. Hàm riêng tạo thành hệ trực chuẩn đầy đủ. Nghiệm xấp xỉ là tổ hợp tuyến tính hữu hạn. Hệ số xác định từ phương trình Galerkin. Các ước lượng tiên nghiệm phức tạp hơn trường hợp Dirichlet. Điều kiện biên Robin tạo thêm số hạng tích phân biên.

Nghiệm được khai triển theo tham số nhỏ ε. Khai triển có dạng u = u₀ + εu₁ + ε²u₂ + ... Mỗi số hạng uᵢ thỏa mãn bài toán tuyến tính. Phương pháp nhiễu loạn được áp dụng hệ thống. Sai số giữa nghiệm chính xác và xấp xỉ được ước lượng. Khai triển tiệm cận hữu ích cho tính toán số. Kết quả cho hiểu sâu về cấu trúc nghiệm.

Hệ gồm N phương trình sóng phi tuyến liên kết. Mỗi phương trình có dạng tương tự phương trình đơn. Hệ số Kirchhoff-Carrier phụ thuộc vào tổng các gradient. Số hạng Balakrishnan-Taylor xuất hiện trong mỗi phương trình. Điều kiện biên Dirichlet áp dụng cho tất cả nghiệm. Điều kiện ban đầu cho mỗi thành phần nghiệm. Hệ mô tả tương tác giữa nhiều thành phần.

Lược đồ lặp tuyến tính hóa hệ phi tuyến. Tại bước lặp thứ m, giải hệ tuyến tính. Hệ số được tính từ nghiệm bước lặp m-1. Mỗi bước lặp giải N bài toán tuyến tính độc lập. Phương pháp Galerkin áp dụng cho từng bài toán. Các ước lượng đều cần thiết cho tất cả thành phần. Tính compact đảm bảo sự hội tụ của dãy lặp.

Chứng minh hội tụ sử dụng nguyên lý compact yếu. Dãy nghiệm xấp xỉ bị chặn trong không gian phù hợp. Trích dãy con hội tụ yếu đến nghiệm yếu. Tính duy nhất sử dụng phương pháp năng lượng. Hiệu hai nghiệm thỏa mãn phương trình tuyến tính. Năng lượng của hiệu phải triệt tiêu. Điều này dẫn đến hai nghiệm trùng nhau.

Không gian L²(Ω) chứa hàm khả tích bình phương. Chuẩn L² định nghĩa qua tích phân bình phương. Không gian H¹(Ω) chứa hàm có đạo hàm yếu trong L². Không gian H¹₀(Ω) thỏa mãn điều kiện biên Dirichlet. Tích vô hướng H¹ bao gồm cả gradient. Bất đẳng thức Poincaré liên hệ các chuẩn. Các không gian này là không gian Hilbert đầy đủ.

Chọn cơ sở {wⱼ} trực chuẩn trong không gian Hilbert. Nghiệm xấp xỉ uₘ = Σⱼ₌₁ᵐ cⱼₘ(t)wⱼ. Hệ số cⱼₘ(t) xác định từ phương trình Galerkin. Phương trình thu được bằng chiếu lên không gian con. Hệ phương trình vi phân thường cho các hệ số. Lý thuyết Cauchy-Lipschitz đảm bảo tồn tại nghiệm. Các ước lượng tiên nghiệm độc lập với m.

Ước lượng năng lượng là kỹ thuật cơ bản. Nhân phương trình với đạo hàm thời gian của nghiệm. Tích phân theo không gian và thời gian. Sử dụng bất đẳng thức Cauchy-Schwarz và Young. Bất đẳng thức Gronwall cho ước lượng cuối cùng. Định lý Aubin-Lions đảm bảo tính compact mạnh. Tính compact yếu trong không gian Sobolev.

Bài toán Dirichlet: tồn tại, duy nhất và ổn định nghiệm. Bài toán Robin-Dirichlet: thêm khai triển tiệm cận nghiệm. Hệ Kirchhoff-Carrier: mở rộng cho hệ nhiều phương trình. Tất cả sử dụng phương pháp Galerkin thống nhất. Điều kiện đủ cho sự tồn tại được làm rõ. Tính duy nhất đúng trong không gian Sobolev phù hợp. Ổn định nghiệm theo nghĩa năng lượng.

Nghiên cứu góp phần vào lý thuyết phương trình đạo hàm riêng phi tuyến. Số hạng Balakrishnan-Taylor ít được nghiên cứu trước đây. Kết quả bổ sung cho lý thuyết phương trình sóng. Phương pháp có thể áp dụng cho bài toán tương tự. Khai triển tiệm cận là đóng góp mới. Hệ Kirchhoff-Carrier với Balakrishnan-Taylor là hướng mới.

Nghiên cứu điều kiện biên tổng quát hơn. Xét miền không gian có biên không trơn. Phát triển phương pháp số dựa trên lý thuyết. Nghiên cứu hành vi nghiệm khi thời gian tiến đến vô cùng. Xét trường hợp hệ số phụ thuộc thời gian. Mở rộng sang phương trình bậc cao hơn. Ứng dụng cho bài toán kỹ thuật cụ thể.