Luận án tiến sĩ ứng dụng điểm bất động - Lê Thị Phương Ngọc

Điểm bất động x* của ánh xạ T thỏa mãn đẳng thức T(x*) = x*. Khái niệm này xuất hiện khi ánh xạ giữ nguyên một điểm nào đó. Trong không gian metric đầy đủ, điều kiện này dẫn đến nhiều kết quả quan trọng. Ánh xạ co là trường hợp đặc biệt với hệ số co k < 1.

Phương pháp điểm bất động giải quyết phương trình phi tuyến phức tạp. Kỹ thuật chuyển bài toán tìm nghiệm thành tìm điểm bất động. Cách tiếp cận này đơn giản hóa nhiều vấn đề nan giải. Định lý điểm bất động Banach đảm bảo sự tồn tại và tính duy nhất nghiệm đồng thời.

Có ba loại định lý điểm bất động chính. Định lý điểm bất động Banach áp dụng cho ánh xạ co. Định lý điểm bất động Brouwer dành cho ánh xạ liên tục trên tập compact lồi. Định lý điểm bất động Schauder mở rộng cho không gian Banach vô hạn chiều.

Cho không gian metric đầy đủ (X, d) và ánh xạ co T: X → X. Tồn tại duy nhất điểm x* ∈ X sao cho T(x*) = x*. Với mọi điểm xuất phát x_0 ∈ X, dãy lặp x_{n+1} = T(x_n) hội tụ đến x*. Tính duy nhất nghiệm là đặc điểm nổi bật của định lý.

Ánh xạ T là ánh xạ co khi tồn tại k ∈ [0, 1) thỏa mãn bất đẳng thức co. Hệ số k càng nhỏ thì tốc độ hội tụ càng nhanh. Điều kiện này mạnh hơn tính liên tục đều. Ánh xạ co luôn liên tục nhưng điều ngược lại không đúng.

Phương trình tích phân Volterra áp dụng định lý Banach hiệu quả. Chuyển phương trình về dạng x = T(x) với toán tử tích phân T. Kiểm tra tính co của toán tử T trên không gian hàm liên tục. Sự tồn tại và tính duy nhất nghiệm được đảm bảo tự động.

Cho tập con đóng lồi D của không gian Banach X. Ánh xạ A: D → X là ánh xạ co với hệ số k. Ánh xạ B: D → X là ánh xạ compact liên tục. Nếu Ax + By ∈ D với mọi x, y ∈ D thì A + B có điểm bất động trong D.

Ánh xạ B compact khi B(D) có bao đóng compact. Tính compact thường xuất phát từ định lý Arzelà-Ascoli. Họ hàm đều bị chặn và đều liên tục tạo tập compact. Toán tử tích phân với nhân liên tục thường thỏa mãn tính này.

Phương trình vi phân cấp hai chuyển thành phương trình tích phân tương đương. Hàm Green tạo toán tử tích phân compact. Điều kiện Lipschitz của vế phải cho ánh xạ co. Định lý Krasnosel'skii đảm bảo nghiệm tồn tại với điều kiện biên phức tạp.

Cho không gian Banach X và tập mở bị chặn U. Ánh xạ compact T: U̅ → X thỏa mãn x ≠ λT(x) trên ∂U với λ ∈ (0, 1). Khi đó T có điểm bất động trong U. Bậc tô pô của I - T trên U khác không.

Toán tử T compact khi biến tập bị chặn thành tập compact tương đối. Định lý Arzelà-Ascoli là công cụ kiểm tra chính. Họ hàm đều bị chặn và đều liên tục cho tập compact. Toán tử tích phân với nhân khả tích thường compact.

Phương trình vi phân với đối số chậm mô hình hóa hiện tượng trễ. Đối số x(t - τ) với τ > 0 tạo độ phức tạp cao. Không gian hàm liên tục C[a - τ, b] là môi trường tự nhiên. Định lý Leray-Schauder chứng minh nghiệm tồn tại với điều kiện tăng trưởng phù hợp.

Hàm Green G(t, s) thỏa mãn phương trình thuần nhất trên mỗi khoảng. Điều kiện biên tại ba điểm xác định các hằng số tích phân. Hàm G liên tục nhưng đạo hàm có bước nhảy tại s = t. Tính chất dương của G quan trọng cho nhiều ứng dụng.

Toán tử T chuyển phương trình vi phân thành phương trình tích phân. Nghiệm của phương trình vi phân là điểm bất động của T. Tính compact của T xuất phát từ tính chất hàm Green. Định lý Schauder áp dụng khi T ánh xạ tập lồi vào chính nó.

Điều kiện tăng trưởng |f(t, u)| ≤ a(t) + b|u|^p với p < 1 là điển hình. Hằng số a(t) khả tích và b đủ nhỏ đảm bảo T co trên tập bi chặn. Điều kiện Nagumo cho đạo hàm cũng thường được sử dụng. Sự tồn tại nghiệm được đảm bảo qua định lý điểm bất động.

Toán tử Kirchhoff M(||∇u||²) phản ánh ứng suất phụ thuộc biến dạng. Hệ số M thường có dạng M(λ) = m₀ + m₁λ^k với m₀, m₁ > 0. Tính phi địa phương xuất phát từ tích phân trên toàn miền. Điều này khác biệt với phương trình sóng cổ điển.

Không gian W^{m,p}(Ω) với trọng số phù hợp cho bài toán hỗn hợp. Chuẩn tích phân gradient với trọng số đảm bảo tính compact. Nhúng Sobolev compact cung cấp tính compact cần thiết. Không gian này chứa nghiệm yếu của phương trình.

Phương pháp Faedo-Galerkin xây dựng dãy nghiệm xấp xỉ. Ước lượng tiên nghiệm đảm bảo dãy bị chặn trong không gian Sobolev. Tính compact cho phép trích dãy con hội tụ yếu. Nguyên lý ánh xạ co chứng minh tính duy nhất với điều kiện Lipschitz.