Luận án tiến sĩ: Khảo sát bài toán biên phương trình sóng phi tuyến - Đoàn Thị Như Quỳnh

Toán tử phi địa phương không chỉ phụ thuộc giá trị tại điểm. Mà phụ thuộc vào tích phân nghiệm trên miền. Hoặc phụ thuộc chuẩn trong không gian Sobolev. Điều này tạo nên tính chất toàn cục đặc biệt.

Ví dụ điển hình là số hạng đàn hồi nhớt. Số hạng này chứa tích phân từ 0 đến t. Tích phân này phụ thuộc vào lịch sử nghiệm. Không chỉ giá trị tức thời. Tính chất này phản ánh hiệu ứng nhớ của vật liệu.

Tính phi tuyến xuất hiện qua nhiều dạng. Có thể là phi tuyến trong nguồn ngoài. Hoặc phi tuyến trong hệ số của phương trình. Thậm chí phi tuyến trong điều kiện biên.

Phương trình Kirchhoff-Carrier chứa hệ số phi tuyến. Hệ số này phụ thuộc chuẩn gradient nghiệm. Điều này làm phương trình trở nên phức tạp. Cần phương pháp phân tích tinh vi để nghiên cứu.

Phương trình sóng phi tuyến mô tả nhiều hiện tượng vật lý. Dao động dây đàn hồi phi tuyến là ứng dụng quan trọng. Mô hình màng đàn hồi với vật liệu nhớt.

Trong kỹ thuật, mô hình này xuất hiện trong thiết kế cấu trúc. Phân tích độ bền vật liệu composite. Nghiên cứu lan truyền sóng trong môi trường phức tạp. Hiểu rõ phương trình giúp cải thiện thiết kế công trình.

Điều kiện biên Robin tại x=0 kết hợp đạo hàm và giá trị. Tham số h0 đặc trưng cho tương tác với môi trường. Giá trị h0 dương phản ánh điều kiện tản nhiệt. Giá trị h0 âm có thể gây bất ổn định.

Điều kiện Dirichlet tại x=1 cố định giá trị nghiệm. Đây là điều kiện cứng hơn điều kiện Robin. Sự kết hợp tạo bài toán biên hỗn hợp. Phân tích toán học phức tạp hơn bài toán thuần nhất.

Số hạng đàn hồi nhớt chứa tích phân Volterra. Tích phân từ thời điểm ban đầu đến hiện tại. Hàm nhớ k(t,s) đặc trưng cho hiệu ứng trễ. Vật liệu nhớ lịch sử biến dạng.

Dạng tích phân này xuất hiện trong lý thuyết vật liệu nhớt. Mô tả ứng xử của polymer và composite. Phân tích toán học yêu cầu kỹ thuật đặc biệt. Như ước lượng tích phân và bất đẳng thức Gronwall.

Điều kiện ban đầu gồm vị trí và vận tốc. Cần thỏa điều kiện tương thích với điều kiện biên. Nếu không, nghiệm có thể không chính quy. Hoặc chỉ tồn tại nghiệm yếu.

Điều kiện tương thích đảm bảo tính liên tục. Giữa dữ liệu ban đầu và dữ liệu biên. Điều này quan trọng cho sự tồn tại nghiệm cổ điển. Nếu vi phạm, chỉ có nghiệm yếu trong không gian Sobolev.

Chọn cơ sở {wj} trực chuẩn trong không gian Sobolev H1. Thường dùng hàm riêng của toán tử -d²/dx². Với điều kiện biên tương ứng.

Nghiệm xấp xỉ um(x,t) = Σ cjm(t)wj(x). Tổng từ j=1 đến m. Hệ số cjm(t) thỏa hệ phương trình vi phân. Hệ này có từ phép chiếu phương trình gốc.

Nhân phương trình xấp xỉ với hàm test phù hợp. Thường chọn đạo hàm theo 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. Để tách các số hạng phi tuyến. Áp dụng bất đẳng thức Gronwall. Thu được ước lượng độc lập với m.

Từ ước lượng tiên nghiệm, dãy {um} bị chặn. Trong không gian Sobolev phù hợp. Trích dãy con hội tụ yếu đến u.

Chứng minh u là nghiệm yếu. Cần chuyển giới hạn trong phương trình. Số hạng tuyến tính dễ xử lý. Số hạng phi tuyến cần kỹ thuật compactness. Hoặc tính đơn điệu nếu có.

Nghiệm yếu u thuộc không gian Sobolev L∞(0,T;H1). Đạo hàm ut thuộc L∞(0,T;L2). Thỏa điều kiện ban đầu theo nghĩa trace.

Với mọi hàm test v trơn. Thỏa điều kiện biên thuần nhất. Nghiệm yếu thỏa công thức tích phân yếu. Chứa tất cả số hạng của phương trình.

Sử dụng phương pháp Galerkin như trình bày trước. Xây dựng dãy nghiệm xấp xỉ. Thu ước lượng tiên nghiệm độc lập.

Trích dãy con hội tụ yếu. Chuyển giới hạn trong phương trình xấp xỉ. Chứng minh giới hạn là nghiệm yếu. Thỏa điều kiện ban đầu và biên.

Giả sử u1, u2 là hai nghiệm yếu. Cùng dữ liệu ban đầu và biên. Đặt w = u1 - u2.

Chứng minh w thỏa phương trình tuyến tính. Với dữ liệu không. Áp dụng ước lượng năng lượng. Dùng bất đẳng thức Gronwall. Suy ra w ≡ 0, tức u1 = u2.

Nghiệm cổ điển u có đạo hàm riêng liên tục. Đến bậc hai theo không gian. Đến bậc hai theo thời gian. Thỏa phương trình tại mọi điểm.

Điều kiện đủ: dữ liệu ban đầu đủ trơn. Thuộc không gian Sobolev bậc cao. Thỏa điều kiện tương thích. Số hạng nguồn đủ trơn.

Vi phân phương trình theo thời gian. Hoặc theo không gian. Nhân với hàm test phù hợp. Tích phân và ước lượng.

Thu được ước lượng đạo hàm bậc cao. Trong không gian Sobolev tương ứng. Sử dụng bất đẳng thức Sobolev. Và bất đẳng thức nội suy.

Xét hai nghiệm u1, u2. Ứng với dữ liệu khác nhau. Đặt w = u1 - u2.

Chứng minh w thỏa phương trình tuyến tính. Với dữ liệu là hiệu của dữ liệu ban đầu. Ước lượng chuẩn w. Theo chuẩn hiệu dữ liệu. Suy ra tính liên tục.

Cho nghiệm khởi đầu u0 đủ trơn. Thỏa điều kiện ban đầu và biên. Tại bước k, giải phương trình tuyến tính.

Phương trình cho uk+1 có số hạng phi tuyến. Thay bằng giá trị tại uk. Đây là phương trình tuyến tính. Dễ giải hơn phương trình gốc.

Xét hiệu wk = uk+1 - uk. Chứng minh wk thỏa phương trình tuyến tính. Ước lượng chuẩn wk theo chuẩn wk-1.

Thu được bất đẳng thức đệ quy. Với hệ số co < 1. Suy ra dãy {uk} là dãy Cauchy. Hội tụ đến nghiệm u.

Chia miền không gian thành lưới. Với bước h. Chia miền thời gian với bước τ. Dùng sai phân hữu hạn xấp xỉ đạo hàm.

Kết hợp với sơ đồ lặp. Thu hệ phương trình đại số tuyến tính. Giải bằng phương pháp lặp. Hoặc phương pháp trực tiếp. Phân tích ổn định và sai số.