Điểm bất động và một số định lí tồn tại

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC HOÀNG VĂN ĐIỆP ĐIỂM BẤT ĐỘNG VÀ MỘT SỐ ĐỊNH LÍ TỒN TẠI LUẬN VĂN THẠC SĨ TOÁN HỌC Thái Nguyên - Năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC HOÀNG VĂN ĐIỆP ĐIỂM BẤT ĐỘNG VÀ MỘT SỐ ĐỊNH LÍ TỒN TẠI Chuyên ngành: TOÁN ỨNG DỤNG Mã số : 60.46.36 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS HOÀNG VĂN HÙNG Thái Nguyên - Năm 2012 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i Mục lục Mục lục i Mở đầu Nội dung Nguyên lý ánh xạ co Banach số ứng dụng 1.1 Điểm bất động tự ánh xạ tập tuỳ ý số định lý tồn Nguyên lý ánh xạ co Banach cổ điển 1.2 1.3 Một số ứng dụng nguyên lý ánh xạ co Banach 12 Một số mở rộng nguyên lý ánh xạ co Banach ứng dụng 27 2.1 Định lý điểm bất động Meir-Keeler 27 2.2 Một số định lý điểm bất động dạng tích phân 2.3 32 Áp dụng định lý điểm bất động dạng tích phân vào lớp phương trình hàm 39 Định lý điểm bất động Schauder ứng dụng 45 3.1 Định lý điểm bất động Brouwer 45 3.2 Định lý điểm bất động Schauder 50 Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn i 3.3 Ứng dụng định lý điểm bất động Schauder 57 Tài liệu tham khảo Số hóa Trung tâm Học liệu – Đại học Thái Nguyên 66 http://www.lrc-tnu.edu.vn Mở đầu Lý thuyết điểm bất động có ứng dụng nhiều lĩnh vực toán học : phương trình vi phân (thường đạo hàm riêng), phương trình tích phân, hệ phương trình phi tuyến, phương trình hàm, tối ưu hoá Trong nhiều toán liên quan đến phương trình, vấn đề tồn nghiệm phương trình xét vấn đề cốt yếu Nó sở để phát triển phương pháp khác tìm nghiệm xấp xỉ nghiệm xác phương trình Các định lý tồn điểm bất động công cụ đắc lực để giải vấn đề Cho X tập khác rỗng tùy ý, f ánh xạ từ X vào X (ta gọi ánh xạ tự ánh xạ X) Phần tử x* thuộc X gọi điểm bất động f f(x*) = x* Để ứng dụng lý thuyết điểm bất động vào phương trình khác nhau, phương trình xét cần phải biến đổi thành phương trình tương đương dạng f(x) = x, f tự ánh xạ tập X (thường tập tập xác định phương trình ban đầu) Khi vấn đề tồn nghiệm phương trình xét quy vấn đề tồn điểm bất động ánh xạ f Các định lý điểm bất động cổ điển nguyên lý ánh xạ co Banach (1922), định lý điểm bất động Brower(1912), định lý điểm bất động Schauder(1930) Ngay sau chứng minh định lý tìm Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn ứng dụng lĩnh vực vừa kể Luận văn đề cập đến số mở rộng nguyên lý ánh xạ co Banach, định lý Shauder chứng minh số khẳng định khác liên quan đến điểm bất động Để minh hoạ cho ứng dụng, luận văn đưa số ứng dụng định lý khẳng định lĩnh vực sau : lý thuyết hàm, phương trình vi phân, phương trình tích phân, đại số tuyến tính, Tác giả chân thành cảm ơn thày hướng dẫn T S Hoàng Văn Hùng (Viện Khoa học Cơ bản, Đại học Hàng hải Việt Nam) tập thể thày cô giáo ngành Toán Ứng dụng, Đại học Khoa học - Đại học Thái Nguyên, tận tình hướng dẫn quan tâm đến công việc tác giả suốt thời gian chuẩn bị luận văn Hải phòng, ngày 12 tháng năm 2012 Hoàng Văn Điệp Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn Chương Nguyên lý ánh xạ co Banach số ứng dụng 1.1 Điểm bất động tự ánh xạ tập tuỳ ý số định lý tồn Trong mục tác giả giới thiệu khái niệm điểm bất động, chứng minh số định lý tồn sơ cấp tự ánh xạ tập tuỳ ý cho số ứng dụng định lý Định nghĩa 1.1.1 Cho X tập khác rỗng tùy ý, f ánh xạ từ X vào X (ta gọi ánh xạ tự ánh xạ X) Phần tử x* thuộc X gọi điểm bất động f f(x*) = x* Ký hiệu M(X) tập tự ánh xạ tập X (ta giả thiết X khác rỗng) Ta nói hai phần tử f, g M(X) giao hoán fg = gf, fg tích ánh xạ f với ánh xạ g Ký hiệu f ánh xạ đồng X, f k = f.f k−1 = f k−1 f gọi luỹ thừa bậc k f (k số nguyên không âm) Rõ ràng luỹ thừa f giao hoán Mệnh đề 1.1.1 Nếu f,g hai phần tử giao hoán M(X) x* Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn điểm bất động g f(x*) điểm bất động g Chứng minh Ta có : g(f(x*)) =f(g(x*)) = f(x*) Vậy f(x*) điểm bất động g Mệnh đề 1.1.2 Giả sử f tự ánh xạ X h = f k ( k số nguyên dương), A tập tất điểm bất động h giả thiết khác rỗng Khi thu hẹp f |A ánh xạ f đơn ánh từ A vào A Nói riêng, A hữu hạn thu hẹp f |A song ánh từ A lên A Chứng minh Bởi h luỹ thừa f f h giao hoán Theo mệnh đề 1.1.1 ta có f (A) ⊂ A Nếu tồn phần tử khác a, b A cho f(a) = f(b) a = h(a) =f k (a) =f k−1 (f(a)) =f k−1 (f(b)) =f k (b) = h(b) = b Mâu thuẫn Vậy f đơn ánh từ A vào A Nếu A tập hữu hạn đơn ánh từ A vào A phải song ánh Mệnh đề 1.1.3 Giả thiết mệnh đề 1.1.2, có điều tập điểm bất động A h rỗng Nếu có số nguyên dương p≥ cho tập điểm bất động B hp thoả mãn B\A khác rỗng thu hẹp f lên B\A đơn ánh từ B\A vào B\A Chứng minh Nếu x* điểm bất động h x* phải điểm bất động hp = f kp nên A ⊂ B Áp dụng mệnh đề 1.1.2 ta suy thu hẹp f lên B phải đơn ánh từ B vào B Vậy cần chứng minh f ánh xạ B\A vào B\A Nếu A rỗng phải chứng minh Giả sử trái lại A khác rỗng tồn b ∈ B\A cho f (b) ∈ A Khi đó, f kp−1 h giao hoán nên theo mệnh đề 1.1.1 f kp−1 (f (b)) điểm bất động h, ta Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn có b = hp (b) = f kp (b) = f kp−1 (f (b)) ∈ A Mâu thuẫn Vậy f ánh xạ B\A vào B\A Hệ : Nếu B\A hữu hạn thu hẹp f lên B\A phép B\A Định lý 1.1.1 ( xem [1] ) : Giả sử g tự ánh xạ tập X có tập điểm bất động A (A rỗng) Nếu tồn số nguyên dương m ≥ cho g m có tập điểm bất động B B\A có n phần tử (n ≥ 1) không tồn ánh xạ f thuộc M(X) cho f n! = g Chứng minh Giả sử trái lại tồn ánh xạ f thuộc M(X) cho f n! = g Áp dụng hệ mệnh đề 1.1.3 ta suy thu hẹp f lên B\A phép n phần tử Bởi tập phép tập hữu hạn gồm n phần tử nhóm gồm n! phần tử với phép hợp thành tích ánh xạ, mặt khác chu kỳ phần tử nhóm hữu hạn ước cấp (= số phần tử) nhóm nên ta suy thu hẹp f n! lên B\A phải ánh xạ đồng Như f n! = g giữ bất động phần tử B\A , nói cách khác tập điểm bất động g chứa B, theo giả thiết tập điểm bất động g A - tập thực B Mâu thuẫn Vậy không tồn ánh xạ f thuộc M(X) cho f n! = g Từ định lý 1.1.1 suy : Mệnh đề 1.1.4 : Nếu f tự ánh xạ tập X tồn số nguyên dương m ≥ cho f n!m có tập điểm bất động B chứa tập điểm bất động A f n! tập thực B\A phải có không n + phần tử Nhận xét : Mệnh đề 1.1.4 tổng quát hoá mệnh đề [1] Chứng minh Giả sử tập B\A chứa k phần tử ≤ k ≤ n Theo định Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn lý 1.1.1 không tồn ánh xạ h thuộc M(X) cho hk! = f n! = g Nhưng điều mâu thuẫn, g = f d k! với d = n!/k! Vậy B\A phải có n+1 phần tử Mệnh đề 1.1.5 : Giả sử f tự ánh xạ tập X Nếu tồn số nguyên dương m cho f m có điểm bất động điểm bất động f Chứng minh Nếu m = phải chứng minh Giả sử m ≥ Vì điểm bất động f điểm bất động f m nên từ giả thiết suy f có điểm bất động Nếu tập điểm bất động f rỗng với cách ký hiệu mệnh đề 1.1.4 ta có B\A có phần tử Nhưng rõ ràng f 1!m = f m Vậy áp dụng mệnh đề 1.1.4 với n = ta suy B\A phải có phần tử Mâu thuẫn Vậy f phải có điểm bất động Điểm bất động hiển nhiên trùng với điểm bất động f m Định nghĩa 1.1.2 : Tự ánh xạ f tập X gọi ánh xạ f(X) gồm phần tử Mệnh đề 1.1.6 : Nếu f tự ánh xạ tập X tồn số m nguyên dương cho f m ánh xạ f có điểm bất động Chứng minh Nếu f m (X) = {x∗ } hiển nhiên x∗ điểm bất động f m Do khẳng định mệnh đề 1.6 suy từ mệnh đề 1.1.5 Định nghĩa 1.1.3 : Cho f tự đồng cấu không gian véc tơ V Khi f cảm sinh tự ánh xạ F tập X không gian V: F đặt tương ứng không gian S V với không gian f(S) V Ta nói không gian S V không gian bất biến f S điểm bất động ánh xạ F, tức f(S) = S Số hóa Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read data error !!! can't not read ... Nếu tồn số nguyên dương m cho f m có điểm bất động điểm bất động f Chứng minh Nếu m = phải chứng minh Giả sử m ≥ Vì điểm bất động f điểm bất động f m nên từ giả thiết suy f có điểm bất động. .. điểm bất động dạng tích phân vào lớp phương trình hàm 39 Định lý điểm bất động Schauder ứng dụng 45 3.1 Định lý điểm bất động Brouwer 45 3.2 Định lý điểm bất động. .. định phương trình ban đầu) Khi vấn đề tồn nghiệm phương trình xét quy vấn đề tồn điểm bất động ánh xạ f Các định lý điểm bất động cổ điển nguyên lý ánh xạ co Banach (1922), định lý điểm bất động