Tìm điểm bất động chung cho một họ các ánh xạ giả co chặt

BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC THÁI NGUYÊN LÂM THÙY DƯƠNG TÌM ĐIỂM BẤT ĐỘNG CHUNG CHO MỘT HỌ CÁC ÁNH XẠ GIẢ CO CHẶT LUẬN ÁN TIẾN SĨ TOÁN HỌC THÁI NGUYÊN – 2013 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC THÁI NGUYÊN LÂM THÙY DƯƠNG TÌM ĐIỂM BẤT ĐỘNG CHUNG CHO MỘT HỌ CÁC ÁNH XẠ GIẢ CO CHẶT Chun ngành: Tốn Giải tích Mã số: 62 46 01 02 LUẬN ÁN TIẾN SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC GS TS Nguyễn Bường GS TS Yeol Je Cho THÁI NGUYÊN - 2013 i LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu riêng tơi hướng dẫn GS TS Nguyễn Bường GS TS Yeol Je Cho Các kết trình bày luận án hoàn toàn trung thực chưa cơng bố cơng trình người khác Nghiên cứu sinh Lâm Thùy Dương ii LỜI CẢM ƠN Luận án hoàn thành trường Đại học Sư phạm thuộc Đại học Thái Nguyên hướng dẫn GS TS Nguyễn Bường GS TS Yeol Je Cho Tác giả xin bày tỏ lòng biết ơn sâu sắc tới thầy Tác giả xin bày tỏ lịng biết ơn tới Thầy, Cơ: GS TSKH Phạm Kỳ Anh, PGS TS Phạm Hiến Bằng, PGS TS Phạm Việt Đức, TS Nguyễn Công Điều, GS TSKH Lê Dũng Mưu, GS TSKH Nguyễn Xuân Tấn, TS Nguyễn Thị Thu Thủy bảo tận tình cho ý kiến đóng góp q báu suốt thời gian học tập nghiên cứu Tác giả xin chân thành cảm ơn tới Ban Giám đốc Đại học Thái Nguyên, Ban Sau đại học, Ban Giám hiệu trường Đại học Sư phạm, Phòng Sau đại học, Ban Chủ nhiệm khoa Giáo dục Tiểu học Ban Chủ nhiệm khoa Toán trường Đại học Sư phạm - Đại học Thái Nguyên tạo điều kiện thuận lợi cho tác giả suốt thời gian nghiên cứu sinh Tác giả xin chân thành cảm ơn tới bạn bè đồng nghiệp, anh chị em nghiên cứu sinh trao đổi, giúp đỡ, động viên khích lệ tác giả trình học tập, nghiên cứu làm luận án Tác giả xin kính tặng người thân yêu gia đình niềm vinh hạnh to lớn Nghiên cứu sinh Lâm Thùy Dương Mục lục Mở đầu Chương Một số khái niệm kiến thức chuẩn bị 1.1 Bất đẳng thức biến phân không gian Hilbert 1.1.1 Bất đẳng thức biến phân cổ điển 1.1.2 Một số phương pháp tìm nghiệm cho bất đẳng thức biến phân cổ điển 1.2 Một số phương pháp lặp tìm điểm bất động cho họ ánh xạ giả co chặt 1.2.1 Một số phương pháp lặp 1.2.2 Một số phương pháp lặp khác 10 10 11 14 22 25 30 Chương Nguyên lý toán phụ hiệu chỉnh cho họ vô hạn ánh xạ giả co chặt 37 2.1 Phương pháp nguyên lý toán phụ hiệu chỉnh dựa tổng vô hạn 37 2.2 Phương pháp nguyên lý toán phụ hiệu chỉnh dựa ánh xạ Wn 56 Chương Bất đẳng thức biến phân tập điểm bất động chung họ hữu hạn ánh xạ không giãn 3.1 Bất đẳng thức biến phân tập điểm bất động chung họ hữu hạn ánh xạ không giãn không gian Hilbert 3.2 Phương pháp KM-HSD cho họ hữu hạn ánh xạ không giãn không gian Hilbert Kết luận Tài liệu tham khảo iii 71 71 80 92 94 iv MỘT SỐ KÝ HIỆU VÀ CHỮ VIẾT TẮT R tập hợp số thực N tập hợp số tự nhiên H không gian Hilbert H E không gian Banach E E∗ không gian liên hợp E I ánh xạ đơn vị D(T ) miền xác định ánh xạ T x, y tích vơ hướng x y x chuẩn x không gian X X inf F (X) cận lớn tập {F (x) : x ∈ X} sup F (X) cận nhỏ tập {F (x) : x ∈ X} x∈X x∈X c0 không gian dãy số hội tụ tới với chuẩn sup X ∩Y X giao với Y xn dãy xn hội tụ yếu tới x x xn → x dãy xn hội mạnh tới x θ phần tử không PC phép chiếu mêtric lên C F ix(T ) tập điểm bất động ánh xạ T J ánh xạ đối ngẫu chuẩn tắc khơng gian Banach E Mở đầu Trong tốn học người ta thường gặp tốn tìm phần tử thuộc vào giao họ tập lồi đóng Ci không gian Hilbert hay Banach, với i = 1, 2, , tập Ci cho dạng như: hình cầu, khơng gian nửa không gian dạng ẩn như: tập điểm bất động ánh xạ không giãn Ti , tập nghiệm bất đẳng thức biến phân với ánh xạ đơn điệu Ai , hay tập nghiệm toán cân với song hàm Gi (u, v) Bài toán thường gọi tốn Chấp nhận lồi có ứng dụng rộng rãi lĩnh vực xử lý ảnh phục chế lại tạo ảnh dựa vào liệu liên quan trực tiếp hay gián tiếp đến vật thể cần xây dựng ảnh (xem [6], [26], [35], [63]) Lĩnh vực cịn có nhiều ứng dụng y học, qn đội, công nghiệp đặc biệt thiên văn hay công nghệ sinh học Trong trường hợp cardG = C1 , C2 không gian H, toán Neumann J V [53] nghiên cứu vào năm 1949 Xuất ∞ phát từ điểm x bất kỳ, ông xây dựng hai dãy {xk }∞ k=1 {yk }k=1 sau: y0 = x, xk = PC1 (yk−1 ), yk = PC2 (xk ), k = 1, 2, , (0.1) chứng minh hai dãy hội tụ mạnh đến PC (x) k → ∞, C = C1 ∩ C2 PC (x) phép chiếu mêtric lên C Khi C1 , C2 tập lồi đóng H, năm 1965, Bregman L M [13] chứng minh hội tụ yếu dãy lặp xác định đến PC (x) Trong trường hợp cardG ≥ tập Ci cho dạng tập điểm bất động ánh xạ khơng giãn Ti , tốn tốn tìm điểm bất động chung cho họ ánh xạ không giãn {Ti }i≥2 nhà toán học Ceng L C [19]−[20], Maingé P E [43], Marino G., Takahashi W [64] − [66], Xu H K [47], [48], nghiên cứu Mục đích đề tài luận án nghiên cứu phương pháp giải để tìm điểm bất động chung cho họ ánh xạ giả co chặt, chứa trường hợp riêng họ ánh xạ không giãn không gian Hilbert Đối với ánh xạ λ-giả co chặt T không gian Hilbert xác định T (x) − T (y) ≤ x−y +λ (I − T )(x) − (I − T )(y) , (0.4) với ≤ λ < 1, Browder F E Petryshyn W.V [14], năm 1967, chứng minh hội tụ yếu phương pháp lặp Mann xn+1 = αxn + (1 − α)T (xn ) (0.5) tới điểm bất động T , λ < α < Năm 1979, Reich S [59] cải tiến kết cho lớp ánh xạ không giãn không gian Banach lồi dãy lặp {xn } xác định theo công thức: xn+1 = αn xn + (1 − αn )T (xn ) Với điều kiện dãy số {αn }∞ n=0 thỏa mãn < αn < (0.6) ∞ n=0 αn (1−αn ) = ∞, tác giả chứng minh hội tụ yếu dãy lặp (0.6) tới điểm bất động ánh xạ không giãn T Ta thấy kết cho hội tụ yếu, chí với ánh xạ không giãn Để nhận hội tụ mạnh đến điểm bất động ánh xạ không giãn T không gian Hilbert, Nakajo K Takahashi W [52] đề xuất phương pháp lai ghép sau: x0 ∈ C, yn = αxn + (1 − α)T (xn ), (0.7) Cn = {z ∈ C : yn − z ≤ xn − z , Qn = {z ∈ C : xn − z, x0 − xn ≥ 0}, xn+1 = PCn ∩Qn (x0 ), đây, dãy số {αn }∞ n=0 thỏa mãn điều kiện supn≥0 αn < Năm 2007, Marino G Xu H K [48] mở rộng kết Nakajo K Takahashi W [52] cho ánh xạ giả co chặt thu kết hội tụ mạnh dãy lặp tới điểm bất động ánh xạ giả co chặt T không gian Hilbert Sau này, số tác giả khác mở rộng kết cho họ ánh xạ giả co chặt (xem [3], [68], [16], [21]) Năm 2010, Cho Y J [21] giới thiệu phương pháp lặp để tìm điểm bất động chung cho họ vô hạn ánh xạ giả co chặt không gian Banach sau: x0 ∈ C, xn = αn xn−1 + βn Tn (xn ) + γn un , ∀n ≥ 1, (0.8) C tập lồi đóng khơng gian Banach E, {Tn }∞ n=1 : C → C họ vô hạn ánh xạ giả co chặt, {αn }, {βn } {γn } dãy số thực đoạn [0, 1] cho αn + βn + γn = 1, {un } dãy bị chặn C Với điều kiện thích hợp cho tham số tác giả chứng minh hội tụ mạnh dãy lặp (0.8) tới điểm bất động chung họ vô hạn ánh xạ giả co chặt {Tn }∞ n=1 Gần đây, toán Song Y L [62], Xu W Wang Y [76] nghiên cứu Trong luận án này, vận dụng phương pháp nguyên lý toán phụ hiệu chỉnh để giải tốn tìm điểm bất động chung cho họ vô hạn ánh xạ giả co chặt không gian Hilbert Phương pháp kết hợp nguyên lý toán phụ, đề xuất Cohen vào năm 1980 phương pháp hiệu chỉnh Browder-Tikhonov Phương pháp nguyên lý toán phụ đề xuất để tìm nghiệm cho bất đẳng thức biến phân cổ điển: tìm u∗ ∈ C cho F (u∗ ), v − u∗ ≥ v ∈ C, (0.9) F : C → H ánh xạ đơn điệu mạnh, liên tục Lipschitz C tập lồi đóng khơng gian Hilbert H Khi ánh xạ F khơng có tính đơn điệu mạnh, năm 2000, Baasansuren J Khan A A kết hợp nguyên lý toán phụ với phương pháp hiệu chỉnh Browder-Tikhonov để phương pháp Nguyên lý tốn phụ hiệu chỉnh Cho họ vơ hạn ánh xạ λi -giả co chặt {Ti }∞ i=1 từ tập lồi đóng C khơng gian Hilbert H vào H Giả sử F = ∞ i=1 F ix(Ti ) = ∅, F ix(Ti ) tập điểm bất động ánh xạ Ti Ta xét tốn: tìm phần tử u∗ ∈ F (0.10) Để vận dụng phương pháp cho toán (0.10), trước tiên xây dựng nghiệm hiệu chỉnh uα , nghiệm bất đẳng thức biến phân sau: tìm uα ∈ C cho ∞ γi Ai (uα ) + αuα , v − uα ≥ ∀v ∈ C, (0.11) i=1 đây, Ai = I − Ti , α > tham số hiệu chỉnh đủ nhỏ dần đến {γi } dãy số thực thỏa mãn điều kiện: ∞ γi > 0; i=1 γi λi = γ < ∞, λi = − λi Thuật toán nguyên lý toán phụ hiệu chỉnh thiết lập sau: Cho ϕ : H → R phiếm hàm lồi thường khả vi Gâteaux, ∞ với ϕ đơn điệu mạnh liên tục Lipschitz Cho { n }∞ n=0 {αn }n=0 hai dãy số thực dương ... 1.2 Một số phương pháp lặp tìm điểm bất động cho họ ánh xạ giả co chặt Trước trình bày số phương pháp lặp để tìm điểm bất động cho họ ánh xạ giả co chặt không gian Hilbert, giới thiệu ánh xạ giả. .. lặp để tìm điểm bất động cho họ ánh xạ giả co chặt không gian Hilbert Chương dành cho việc trình bày phương pháp ngun lý tốn phụ hiệu chỉnh cho họ vô hạn ánh xạ giả co chặt họ vô hạn ánh xạ khơng... Takahashi W [52] cho ánh xạ giả co chặt thu kết hội tụ mạnh dãy lặp tới điểm bất động ánh xạ giả co chặt T không gian Hilbert Sau này, số tác giả khác mở rộng kết cho họ ánh xạ giả co chặt (xem [3],