ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGÔ THỊ GIANG MỘT SỐ ĐỊNH LÝ HỘI TỤ MẠNH GIẢI BÀI TOÁN KHÔNG ĐIỂM CHUNG TÁCH TỔNG QUÁT TRONG KHÔNG GIAN HILBERT LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành Toán[.]
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC NGÔ THỊ GIANG MỘT SỐ ĐỊNH LÝ HỘI TỤ MẠNH GIẢI BÀI TỐN KHƠNG ĐIỂM CHUNG TÁCH TỔNG QT TRONG KHƠNG GIAN HILBERT LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Toán ứng dụng Mã số: 46 01 12 TẬP THỂ HƯỚNG DẪN KHOA HỌC TS Trương Minh Tuyên TS Phạm Hồng Trường Thái Nguyên – 2020 Tai ngay!!! Ban co the xoa dong chu nay!!! ii Lời cảm ơn Tác giả xin gửi lời cảm ơn sâu sắc tới TS Trương Minh Tuyên, TS Phạm Hồng Trường ln tận tình hướng dẫn, bảo giúp đỡ tác giả suốt trình học tập nghiên cứu để hoàn thành luận văn Tác giả xin gửi lời cảm ơn chân thành sâu sắc tới thầy, khoa Tốn–Tin, trường Đại học Khoa học, Đại học Thái Nguyên giảng dạy giúp đỡ tác giả thời gian học tập nghiên cứu trường Qua tác giả xin chân thành cảm ơn tới người thân gia đình, bạn bè đồng nghiệp động viên tạo điều kiện giúp đỡ tơi mặt suốt q trình học tập thực luận văn iii Mục lục Lời cảm ơn ii Một số ký hiệu viết tắt v Mở đầu Chương Một số kiến thức chuẩn bị 1.1 Một số đặc trưng không gian Hilbert 1.2 Ánh xạ khơng giãn tốn tử đơn điệu không gian Hilbert 1.2.1 Ánh xạ không giãn 1.2.2 Toán tử đơn điệu 10 1.3 Phương pháp lặp Halpern phương pháp xấp xỉ mềm tìm điểm bất động chung họ ánh xạ không giãn 14 1.3.1 Phương pháp lặp Halpern 14 1.3.2 Phương pháp xấp xỉ mềm 14 1.4 Phương pháp CQ giải toán chấp nhận tách 15 1.5 Một số bổ đề bổ trợ 17 Chương Một số định lý hội tụ mạnh cho tốn khơng điểm chung tách tổng qt 22 2.1 Bài tốn khơng điểm chung tách tổng quát 22 2.2 Phương pháp lặp kiểu Halpern kết hợp với phương pháp CQ 23 2.3 Phương pháp xấp xỉ mềm kết hợp với phương pháp CQ 28 2.4 Một số ứng dụng 31 2.4.1 Bài tốn khơng điểm chung tách 31 2.4.2 Bài toán điểm cực tiểu tách tổng quát 32 2.4.3 Bài toán chấp nhận tách tổng quát 34 2.4.4 Bài toán cân tách tổng quát 36 iv 2.4.5 2.5 Bất đẳng thức biến phân tách tổng quát 38 Ví dụ số minh họa 40 Kết luận Tài liệu tham khảo 42 43 v Một số ký hiệu viết tắt H khơng gian Hilbert h., i tích vô hướng H k.k chuẩn H ∪ phép hợp ∩ phép giao R+ tập số thực không âm G(A) đồ thị toán tử A D(A) miền xác định toán tử A R(A) miền ảnh toán tử A A−1 toán tử ngược toán tử A I toán tử đồng ∅ tập rỗng ∀x với x ∃x tồn x xn −→ x0 dãy {xn } hội tụ mạnh x0 xn * x0 dãy {xn } hội tụ yếu x0 F (T ) tập điểm bất động ánh xạ T Mở đầu Trong thực tế vật, tượng chuyển đổi từ trạng thái x∗ (thông tin đầu vào, nguyên liệu) sang trạng thái b (kết đầu ra, sản phẩm) phải chuyển qua hay nhiều trình “biến đổi” liên tiếp Người ta mong muốn tìm nguồn hay trạng thái ban đầu x∗ dẫn đến trạng thái b vật tượng sau q trình biến đổi f Chẳng hạn, việc tìm nghiệm hệ phương trình tuyến tính Ax = b Hoặc người ta muốn tìm nguồn hay trạng thái ban đầu x∗ cho trình biến đổi liên tiếp tối ưu theo nghĩa Đây mơ hình loại toán tách Ta biết toán chấp nhận tách (Split Feasibility Problem), viết tắt (SFP), lần đề xuất nghiên cứu Censor and Elfving [3] với mục đích mơ hình hóa số toán ngược Bài toán phát biểu sau: Tìm phần tử x∗ ∈ C cho T (x∗ ) ∈ Q, (0.1) đó, C Q tập lồi, đóng khác rỗng không gian Hilbert thực H1 H2 , T : H1 −→ H2 toán tử tuyến tính bị chặn Ta thấy toán (0.1), số toán liên quan, trường hợp đặc biệt toán tách tổng quát sau Cho X Y hai không gian Hilbert hay Banach, cho T : X −→ Y ánh xạ từ X vào Y Giả sử (P1 ) (P2 ) hai toán cho trước X Y , tương ứng Xét tốn tìm phần tử x∗ thuộc X cho x∗ nghiệm (P1 ) T (x∗ ) nghiệm (P2 ) Ta ký hiệu toán (P ) Năm 2019 Reich Tuyen [14] lần đề xuất nghiên cứu dạng tổng quát Bài toán (P ) sau: Cho X1 , X2 , , XN không gian Hilbert hay Banach cho Ti : Xi −→ Xi+1 , i = 1, 2, , N − 1, ánh xạ từ Xi vào Xi+1 Giả sử (Pi ), i = 1, 2, , N , N toán cho trước Xi , tương ứng Khi dạng tổng quát Bài tốn (P ) tìm phần tử x∗ X1 cho x∗ nghiệm toán (P1 ), T1 (x∗ ) nghiệm toán (P2 ), , TN −1 (TN −2 ( T2 (T1 (x∗ )))) nghiệm Bài toán (PN ), họ ký hiệu toán (GP ) Cụ thể [14] Reich Tuyen xét toán (GP ) với ánh xạ chuyển Ti tuyến tính, bị chặn (Pi ) tốn tìm khơng điểm tốn tử đơn điệu cực đại Ai Bài toán gọi tốn khơng điểm chung tách tổng quát (Generalized Split Common Null Point Problem, viết tắt GSCNPP) Mục đích luận văn trình bày lại kết Reich Tuyen [14] cải tiến phương pháp CQ, kết hợp với phương pháp điểm gần kề giải toán GSCNPP Nội dung luận văn chia làm hai chương chính, đó: Chương Một số kiến thức chuẩn bị Chương tập trung trình bày lại số tính chất khơng gian Hilbert, phép chiếu mêtric, hai phương pháp lặp tìm điểm bất động ánh xạ không giãn (phương pháp lặp Halpern, phương pháp xấp xỉ gắn kết) Tiếp theo, đề cập đến phương pháp CQ để giải toán chấp nhận tách cuối số bổ đề bổ trợ sử dụng chứng minh định lý Chương luận văn Chương Một số định lý hội tụ mạnh cho tốn khơng điểm chung tách tổng quát Nội dung chương đề cập đến kết [14] hai định lý hội tụ mạnh giải toán GSCNPP Một số ứng dụng phương pháp lặp cho tốn liên quan khác (bài tốn khơng điểm chung tách, toán điểm cực tiểu tách tổng quát, toán chấp nhận tách tổng quát, toán cân tách tổng quát bất đẳng thức biến phân tách tổng quát) giới thiệu chương Chương Một số kiến thức chuẩn bị Chương bao gồm mục Mục 1.1 đề cập đến số đặc trưng không gian Hilbert thực, Mục 1.2 giới thiệu sơ lược số kết ánh xạ khơng giãn tốn tử đơn điệu Mục 1.3 trình bày phương pháp lặp Halpern phương pháp xấp xỉ mềm cho tốn tìm điểm bất động ánh xạ không giãn Mục 1.4 đề cập đến toán chấp nhận tách phương pháp CQ để xấp xỉ nghiệm toán không gian Hilbert Mục 1.5 giới thiệu số bổ đề bổ trợ cần sử dụng việc trình bày nội dung Chương Nội dung chương phần lớn tham khảo từ tài liệu [1, 2, 8, 12] 1.1 Một số đặc trưng không gian Hilbert Ta giả thiết H không gian Hilbert thực với tích vơ hướng kí hiệu h., i chuẩn kí hiệu k.k Trước hết, ta nhắc lại đặc trưng hình học quan trọng không gian Hilbert Mệnh đề 1.1.1 Trong khơng gian Hilbert thực H ta ln có đẳng thức sau kx − yk2 + kx − zk2 = ky − zk2 + 2hx − y, x − zi, với x, y, z ∈ H Chứng minh Thật vậy, ta có ky − zk2 + 2hx − y, x − zi = hy, yi + hz, zi + 2hx, xi − 2hx, zi − 2hx, yi = [hx, xi − 2hx, yi + hy, yi] + [hx, xi − 2hx, zi + hz, zi] = kx − yk2 + kx − zk2 Vậy ta điều phải chứng minh Mệnh đề 1.1.2 Cho H khơng gian Hilbert thực Khi đó, với x, y ∈ H λ ∈ [0, 1], ta có kλx + (1 − λ)yk2 = λkxk2 + (1 − λ)kyk2 − λ(1 − λ)kx − yk2 (1.1) Chứng minh Ta có kλx + (1 − λ)yk2 = λ2 kxk2 − 2λ(1 − λ)hx, yi + (1 − λ)2 kyk2 = λkxk2 + (1 − λ)kyk2 − λ(1 − λ)(kxk2 − 2hx, yi + kyk2 ) = λkxk2 + (1 − λ)kyk2 − λ(1 − λ)kx − yk2 Ta điều phải chứng minh Mệnh đề 1.1.3 Cho H khơng gian Hilbert thực Khi đó, với x, y ∈ H thỏa mãn điều kiện |hx, yi| = kxk.kyk, tức bất đẳng thức Schwars xảy dấu hai véc tơ x y phụ thuộc tuyến tính Chứng minh Giả sử ngược lại x 6= λy với λ ∈ R Khi đó, từ tính chất tích vơ hướng, ta có < kx − λyk2 = λ2 kyk2 − 2λhx, yi + kxk2 , với λ ∈ R Ta thấy y = 0, hiển nhiên x y phụ thuộc tuyến hx, yi tính Giả sử y 6= 0, với λ = , bất đẳng thức trở thành kyk2 |hx, yi| < kxk.kyk, điều mâu thuẫn với giả thiết Vậy x y phụ thuộc tuyến tính Mệnh đề chứng minh Nhắc lại rằng, dãy {xn } không gian Hilbert H gọi hội tụ yếu phần tử x ∈ H, lim hxn , yi = hx, yi, n→∞ với y ∈ H Từ tính liên tục tích vơ hướng, suy xn → x, xn * x Tuy nhiên, điều ngược lại không Chẳng hạn, xét không gian P∞ 2 l2 = {{xn } ⊂ R : n=1 |xn | < ∞} {en } ⊂ l , cho en = (0, , 0, , 0, , 0, ), vị trí thứ n với n ≥ Khi đó, en * 0, n → ∞ Thật vậy, với y ∈ H, từ bất đẳng thức Bessel, ta có ∞ X |hen , yi|2 ≤ kyk2 < ∞ n=1 Suy limn→∞ hen , yi = 0, tức en * Tuy nhiên, {en } không hội tụ 0, ken k = với n ≥ Ta biết không gian Hilbert H thỏa mãn điều kiện Opial, tính chất thể mệnh đề đây: Mệnh đề 1.1.4 Cho H không gian Hilbert thực {xn } ⊂ H dãy thỏa mãn điều kiện xn * x, n → ∞ Khi đó, với y ∈ H y 6= x, ta có lim inf kxn − xk < lim inf kxn − yk n→∞ n→∞ Chứng minh Vì xn * x, nên {xn } bị chặn Ta có kxn − yk2 = kxn − xk2 + kx − yk2 + 2hxn − x, x − yi Vì x 6= y, nên lim inf kxn − yk2 > lim inf (kxn − xk2 + 2hxn − x, x − yi) n→∞ n→∞ = lim inf kxn − xk2 n→∞ Do đó, ta nhận lim inf kxn − xk < lim inf kxn − yk n→∞ Mệnh đề chứng minh n→∞ (1.2) 22 Chương Một số định lý hội tụ mạnh cho tốn khơng điểm chung tách tổng quát Chương bao gồm Mục chính, đó: Mục 2.1 trình bày tốn khơng điểm chung tách tổng quát Các Mục 2.2 2.3 trình bày phương pháp lặp Halpern phương pháp xấp xỉ mềm kết hợp với phương pháp CQ giải tốn khơng điểm chung tách không gian Hilbert Mục 2.4 giới thiệu số ứng dụng kết để giải số tốn liên quan khác Mục 2.5 trình bày hai ví dụ số minh họa tính tốn MATLAB nhằm minh họa thêm cho kết lý thuyết Nội dung chương trình bày từ tài liệu [14] 2.1 Bài tốn khơng điểm chung tách tổng qt Mục trình bày sơ lược tốn không điểm chung tách tổng quát không gian Hilbert Cho Hi , i = 1, 2, , N , không gian Hilbert thực Ai : Hi −→ 2Hi , i = 1, 2, , N , toán tử đơn điệu cực đại Hi , tương ứng Cho Ti : Hi −→ Hi+1 , i = 1, 2, , N − 1, tốn tử tuyến tính bị chặn cho Ti 6= S := A1−1 (0) ∩ T1−1 (A2−1 (0)) ∩ · · · ∩ T1−1 (T2−1 (TN−1−1 (A−1 N (0)))) 6= ∅ 23 Bài tốn khơng điểm chung tách tổng quát phát biểu sau: Tìm phần tử x† ∈ S, (GSCNPP) tức là, điểm x† ∈ H1 cho ∈ A1 (x† ), ∈ A2 (T1 x† ), , ∈ AN (TN −1 (TN −2 T1 (x† ))) 2.2 Phương pháp lặp kiểu Halpern kết hợp với phương pháp CQ Trước hết, ta xét Bài toán (GSCNPP) trường hợp đặc biệt N = Trường hợp tổng quát chứng minh hoàn toàn tương tự lập luận chứng minh Định lý 2.2.1 Định lý 2.3.1 Các tác giả Reich S Tuyen T.M đề xuất phương pháp lặp đây: Với u, x0 ∈ H1 , cho {xn } dãy xác định y1,n = xn − γ1 T1∗ T2∗ (I H3 − JβA3,n )T2 T1 xn , y2,n = y1,n − γ2 T1∗ (I H2 − JβA2,n )T1 y1,n , (y2,n ), y3,n = JβA1,n (2.1) xn+1 = αn u + (1 − αn )y3,n , n ≥ 0, {βi,n }, i = 1, 2, 3, dãy số thực dương {αn } dãy (0, 1) Họ nghiên cứu hội tụ mạnh dãy lặp {xn } dựa điều kiện đây: 2 C1) γ1 ∈ 0, , γ2 ∈ 0, ; kT1 k2 kT2 k2 kT1 k2 C2) inf n {β1,n }, inf n {β2,n }, inf n {β3,n } ≥ β > 0; C3) limn→∞ αn = 0, P∞ n=0 αn = ∞ Định lý 2.2.1 Nếu điều kiện C1), C2) C3) đúng, dãy {xn } xác định (2.1) hội tụ mạnh PSH1 u n → ∞ 24 Chứng minh Ta chia chứng minh định lý theo hai bước, gọi Bước Bước Trong đó, Bước thứ hai có bao bồm hai Bước A Bước B Bước Dãy {xn } bị chặn Cố định p ∈ S, ta có kxn+1 − pk = kαn u + (1 − αn )ky3,n − pk ≤ αn ku − pk + (1 − αn )ky3,n − pk (2.2) Sử dụng Bổ đề 1.5.1 iv) quan hệ p ∈ S, ta nhận ky3,n − pk2 ≤ ky2,n − pk2 − ky2,n − JβA1,n (y2,n )k2 (2.3) Bây giờ, từ (I H2 − JβA2,n )T1 p = Bổ đề 1.5.1 iii), ta có )T1 y1,n − pk2 ky2,n − pk2 = ky1,n − γ2 T1∗ (I H2 − JβA2,n = ky1,n − pk2 − 2γ2 hy1,n − p, T1∗ (I H2 − JβA2,n )T1 y1,n i + γ22 kT1∗ (I H2 − JβA2,n )T1 y1,n k2 ≤ ky1,n − pk2 − 2γ2 hy1,n − p, T1∗ (I H2 − JβA2,n )T1 y1,n i + γ22 kT1 k2 k(I H2 − JβA2,n )T1 y1,n k2 ≤ ky1,n − pk2 − 2γ2 k(I H2 − JβA2,n )T1 y1,n k2 (2.4) + γ22 kT1 k2 k(I H2 − JβA2,n )T1 y1,n k2 = ky1,n − pk2 − γ2 (2 − γ2 kT1 k2 )k(I H2 − JβA2,n )T1 y1,n k2 (2.5) Tiếp theo, từ (I H3 − JβA3,n )T2 T1 p = Bổ đề 1.5.1 iii) suy ky1,n − pk2 = kxn − γ1 T1∗ T2∗ (I H3 − JβA3,n )T2 T1 xn − pk2 = kxn − pk2 − 2γ1 hxn − p, T1∗ T2∗ (I H3 − JβA3,n )T2 T1 xn i + γ12 kT1∗ T2∗ (I H3 − JβA3,n )T2 T1 xn k2 )T2 T1 xn i ≤ kxn − pk2 − 2γ1 hT2 T1 xn − T2 T1 p, (I H3 − JβA3,n + γ12 kT1 k2 kT2 k2 k(I H3 − JβA3,n )T2 T1 xn k2 ≤ kxn − pk2 − 2γ1 k(I H3 − JβA3,n )T2 T1 xn k2 + γ12 kT1 k2 kT2 k2 k(I H3 − JβA3,n )T2 T1 xn k2 = kxn − pk2 − γ1 (2 − γ1 kT1 k2 kT2 k2 )k(I H3 − JβA3,n )T2 T1 xn k2 (2.6) 25 Do đó, sử dụng (2.2)–(2.6), ta nhận kxn+1 − pk ≤ αn ku − pk + (1 − αn )kxn − pk ≤ max{ku − pk, kxn − pk} ≤ max{ku − pk, kx0 − pk} Vì dãy {xn } bị chặn Hơn nữa, từ (2.3)–(2.6) suy dãy {yi,n }, i = 1, 2, bị chặn Bước xn → PSH1 u n → ∞ Đặt x† = PSH1 u Vì chuẩn H1 hàm lồi, nên ta có kxn+1 − x† k2 ≤ αn ku − x† k2 + (1 − αn )ky3,n − x† k2 ≤ αn ku − x† k2 + ky3,n − x† k2 Do đó, từ (2.3)–(2.6), ta nhận kxn+1 − x† k2 ≤ αn ku − x† k2 + ky3,n − x† k2 ≤ αn ku − x† k2 + ky2,n − x† k2 − ky2,n − JβA1,n (y2,n )k2 ≤ αn ku − x† k2 + ky1,n − pk2 − γ2 (2 − γ2 kT1 k2 )k(I H2 − JβA2,n )T1 y1,n k2 − ky2,n − JβA1,n (y2,n )k2 ≤ αn ku − x† k2 + kxn − x† k2 − γ1 (2 − γ1 kT1 k2 kT2 k2 )k(I H3 − JβA3,n )T2 T1 xn k2 − γ2 (2 − γ2 kT1 k2 )k(I H2 − JβA2,n )T1 y1,n k2 − ky2,n − JβA1,n (y2,n )k2 Suy ky2,n − JβA1,n (y2,n )k2 + γ2 (2 − γ2 kT1 k2 )k(I H2 − JβA2,n )T1 y1,n k2 + γ1 (2 − γ1 kT1 k2 kT2 k2 )k(I H3 − JβA3,n )T2 T1 xn k2 ≤ αn ku − x† k2 + kxn − x† k2 − kxn+1 − x† k2 Tiếp theo, ta có kxn+1 − x† k2 = hαn u + (1 − αn )y3,n − x† , xn+1 − x† i (2.7) 26 = (1 − αn )hy3,n − x† , xn+1 − x† i + αn hu − x† , xn+1 − x† i − αn (kxn+1 − x† k2 + ky3,n − x† k2 ) + αn hu − x† , xn+1 − x† i ≤ Điều suy kxn+1 − x† k2 ≤ (1 − αn )ky3,n − x† k2 + 2αn hu − x† , xn+1 − x† i Từ (2.3)–(2.6) ta suy kxn+1 − x† k2 ≤ (1 − αn )kxn − x† k2 + 2αn hu − x† , xn+1 − x† i (2.8) Đặt sn := kxn − x† k2 cn := 2hu − x† , xn+1 − x† i Khi bất đẳng thức (2.8) viết lại dạng sau: sn+1 ≤ (1 − αn )sn + αn cn (2.9) Bây giờ, ta sn → thông qua việc xét hai trường hợp Trường hợp A Dãy {sn } giảm, tức là, tồn N0 ≥ cho {sn } giảm từ n ≥ N0 {sn } hội tụ Các điều kiện C1), C3) (2.7) suy (y2,n )k → 0, k(I H2 − JβA2,n )T1 y1,n k → 0, k(I H3 − JβA3,n )T2 T1 xn k → ky2,n − JβA1,n (2.10) Vì vậy, từ (2.1) suy ky1,n − xn k → 0, ky2,n − y1,n k → 0, ky3,n − y2,n k → 0, (2.11) ky3,n − xn k → (2.12) ta có Mặt khác, từ (2.1), điều kiện C3) tính bị chặn {y3,n } suy kxn+1 − y3,n k = αn ku − y3,n k → Kết hợp với (2.12), ta nhận kxn+1 − xn k → (2.13) Bây giờ, ta lim supn→∞ cn ≤ Thật vậy, giả sử {xnk } dãy dãy {xn } cho lim suphu − x† , xn − x† i = lim hu − x† , xnk − x† i n→∞ k→∞ 27 Vì dãy {xnk } bị chặn, nên tồn dãy {xnkl } {xnk } cho xnkl * x∗ Khơng tính tổng quát, ta giả sử xnk * x∗ Ta x∗ ∈ S Từ (2.11) ta thu yi,nk * x∗ với i = 1, 2, Vì T1 T2 tốn tử tuyến tính bị chặn, nên ta có T1 y1,nk * T1 x∗ T2 T1 xnk * T2 T1 x∗ Từ Bổ đề 1.5.1 i) (2.10) suy ky2,nk − JβA1 (y2,nk )k → 0, k(I H2 − JβA2 )T1 y1,nk k → 0, k(I H3 − JβA3 )T2 T1 xnk k → Do đó, từ y2,nk * x∗ , T1 y1,nk * T x∗ , T2 T1 xnk * T2 T1 x∗ Bổ đề 1.5.3, ta nhận x∗ ∈ F (JβA1 ), T1 x∗ ∈ F (JβA2 ) T2 T1 x∗ ∈ F (JβA3 ), tức là, x∗ ∈ S Do vậy, từ x† = PSH1 u (1.3), ta suy lim suphu − x† , xn − x† i = hu − x† , x∗ − x† i ≤ 0, n→∞ kết hợp với (2.13), suy lim supn→∞ cn ≤ Do giả thiết Bổ đề 1.5.5 thỏa mãn Suy sn → hay xn → x† = PSH1 u Trường hợp B Giả sử {sn } khơng dãy đơn điệu Khi đó, theo Bổ đề 1.5.4, ta định dãy số nguyên {τ (n)}, với n ≥ n0 (n0 đủ lớn), τ (n) := max{k ≤ n : sk < sk+1 } Ngoài ra, {τ } dãy tăng thỏa mãn τ (n) → ∞ n → ∞ sτ (n) < sτ (n+1) với n ≥ n0 Từ (2.7), ta suy < sτ (n)+1 − sτ (n) ≤ ατ (n) ku − x† k Vì ατ (n) → 0, ta nhận lim (sτ (n)+1 − sτ (n) ) = n→∞ (2.14) Áp dụng lập luận tương tự Trường hợp A, ta thu )T1 y1,τ (n) k → 0, ky2,τ (n) − JβA1,τ (y2,n )k → 0, k(I H2 − JβA2,τ (n) (n) k(I H3 − JβA3,τ )T2 T1 xτ (n) k (n) → Ta nhận sτ (n)+1 ≤ (1 − ατ (n) )sτ (n) + ατ (n) cτ (n) , (2.15) 28 lim supn→∞ cτ (n) ≤ Vì sτ (n)+1 > sτ (n) ατ (n) > 0, nên ta có sτ (n) ≤ cτ (n) Do lim supn→∞ cτ (n) ≤ 0, nên ta có limn→∞ sτ (n) = Kết hợp với (2.14), suy limn→∞ sτ (n)+1 = Vì ≤ sn ≤ max{sτ (n) , sn } ≤ sτ (n)+1 → Suy sn → 0, tức là, {xn } hội tụ mạnh x† = PSH1 u Định lý chứng minh 2.3 Phương pháp xấp xỉ mềm kết hợp với phương pháp CQ Tiếp theo, tác giả Reich S Tuyen T.M đề xuất nghiên cứu hội tụ mạnh dãy lặp {zn } xác định z0 ∈ H1 t1,n = zn − γ1 T1∗ T2∗ (I H3 − JβA3,n )T2 T1 zn , t2,n = t1,n − γ2 T1∗ (I H2 − JβA2,n )T1 t1,n , t3,n = (t2,n ), JβA1,n (2.16) zn+1 = αn f (zn ) + (1 − αn )t3,n , n ≥ 0, f : H1 −→ H1 ánh xạ co từ H1 vào với hệ số co c ∈ [0, 1) Sự hội tụ mạnh dãy lặp {zn } cho định lý đây: Định lý 2.3.1 Nếu điều kiện C1), C2) C3) đúng, dãy {zn } xác định (2.16) hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S Chứng minh Vì PSH1 f ánh xạ co, nên theo nguyên lý ánh xạ co PSH1 f có điểm bất động x∗ , nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S 29 Sử dụng Định lý 2.2.1, với f (x∗ ) thay u (2.1), ta nhận dãy {xn } hội tụ mạnh PSH1 f (x∗ ) = x∗ Bây ta kzn − xn k → n → ∞ Ta có kzn+1 − xn+1 k = kαn f (zn ) − f (x∗ ) + (1 − αn )(t3,n − y3,n )k ≤ αn ckzn − x∗ k + (1 − αn )kt3,n − y3,n k (2.17) Từ Bổ đề 1.5.2 suy kt3,n − y3,n k ≤ kt2,n − y2,n k, (2.18) kt2,n − y2,n k ≤ kt1,n − y1,n k, (2.19) kt1,n − y1,n k ≤ kzn − xn k (2.20) Từ (2.17)–(2.20) suy kzn+1 − xn+1 k ≤ αn ckzn − x∗ k + (1 − αn )kzn − xn k ≤ [1 − (1 − c)αn ]kzn − xn k + αn ckxn − x∗ k Do đó, áp dụng Bổ đề 1.5.5, ta nhận limn→∞ kzn − xn k = Do vậy, lim kzn − x∗ k ≤ lim kzn − xn k + lim kxn − x∗ k = 0, n→∞ n→∞ n→∞ nên ta thu limn→∞ kzn − x∗ k = Định lý chứng minh Chú ý 2.3.2 Trong Định lý 2.3.1, dãy {zn } xác định z0 ∈ H1 t1,n = zn − γ1 T1∗ T2∗ (I H3 − JβA3,n )T2 T1 zn , t2,n = t1,n − γ2 T1∗ (I H2 − JβA2,n )T1 t1,n , t3,n = JβA1,n (t2,n ), (2.21) zn+1 = αn f (t3,n ) + (1 − αn )t3,n , n ≥ 0, điều kiện C1), C2) C3) đúng, dãy {zn } hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S 30 Thật vậy, đặt {xn } dãy xác định (2.1) với u = f (x∗ ) Ta có kzn+1 − xn+1 k ≤ cαn kt3,n − x∗ k + (1 − αn )kt3,n − y3,n k (2.22) Vì x∗ ∈ S, nên JβA1,n (x∗ ) = x∗ , JβA2,n (T1 x∗ ) = x∗ JβA3,n (T2 T1 x∗ ) = x∗ Do đó, từ Bổ đề 1.5.2 suy kt3,n − x∗ k ≤ kt2,n − x∗ k, (2.23) kt2,n − x∗ k ≤ kt1,n − x∗ k, (2.24) kt1,n − x∗ k ≤ kzn − x∗ k (2.25) Từ (2.18)–(2.20) (2.22)–(2.25), suy kzn+1 − xn+1 k ≤ αn ckzn − x∗ k + (1 − αn )kzn − xn k ≤ [1 − (1 − c)αn ]kzn − xn k + αn ckxn − x∗ k Áp dụng lập luận tương tự chứng minh Định lý 2.3.1, ta nhận zn → x∗ Cuối mục này, lập luận tương tự chứng minh Định lý 2.2.1 Định lý 2.3.1, tác giả Reich S Tuyen T.M đưa định lý để giải tốn khơng điểm chung tách tổng quát (GSCNPP) Định lý 2.3.3 Giả sử điều kiện sau đúng: với i = 1, 2, , N − 1; C1) γi ∈ 0, kT1 k2 kTN −i k2 C2) mini=1,2, ,N inf n {βi,n }} ≥ β > 0; C3) limn→∞ αn = 0, P∞ n=0 αn = ∞ Khi dãy {xn } xác định x0 ∈ H1 N )TN −1 TN −2 T1 xn , y1,n = xn − γ1 T1∗ T2∗ TN∗ −1 (I HN − JβAN,n A −1 y2,n = y1,n − γ2 T1∗ T2∗ TN∗ −2 (I HN −1 − JβNN−1,n )TN −2 TN −3 T1 y1,n yN −1,n = yN −2,n − γN −1 T1∗ (I H2 − JβA2,n )T1 yN −2,n , (2.26) (2.27) 31 yN,n = JβA1,n (yN −1,n ), xn+1 = αn f (xn ) + (1 − αn )yN,n , xn+1 = αn f (yN,n ) + (1 − αn )yN,n , n ≥ 0, hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S 2.4 Một số ứng dụng 2.4.1 Bài tốn khơng điểm chung tách Cho H1 H2 không gian Hilbert thực, cho T : H1 −→ H2 toán tử tuyến tính bị chặn cho f : H1 −→ H1 ánh xạ co H1 Cho Ai : H1 −→ 2H1 , i = 1, 2, , r, Aj : H2 −→ 2H2 , j = r + 1, r + 2, , N , toán tử đơn điệu cực đại thỏa mãn −1 −1 (∩N S := ∩ri=1 A−1 j=r+1 Aj 0) 6= ∅ i 0∩T Từ Định lý 2.3.3, ta có định lý hội tụ mạnh để tìm phần tử x∗ ∈ S Định lý 2.4.1 Nếu γi ∈ 0, với i = 1, 2, , N − r, γj ∈ (0, 2) kT k2 j = N − r + 1, , N − 1, {αn }, {βi,n }, i = 1, 2, , N , dãy số dương thỏa mãn điều kiện C2) C3) Định lý 2.3.3, dãy {xn } xác định x0 ∈ H1 N )T xn , y1,n = xn − γ1 T ∗ (I H2 − JβAN,n A −1 y2,n = y1,n − γ2 T ∗ (I H2 − JβNN−1,n )T y1,n r+1 yN −r,n = yN −r−1,n − γN −r T ∗ (I H2 − JβAr+1,n )T yN −r−1,n r yN −r+1,n = yN −r,n − γN −r+1 (I H1 − JβAr,n )yN −r,n yN −1,n = yN −2,n − γN −1 (I H1 − JβA2,n )yN −2,n , 32 yN,n = JβA1,n (yN −1,n ), xn+1 = αn f (xn ) + (1 − αn )yN,n , xn+1 = αn f (yN,n ) + (1 − αn )yN,n , n ≥ 0, hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S Chứng minh Áp dụng Định lý 2.3.3 với Hi = H1 với i = 1, , r, Hj = H2 , j = r + 1, , N , Ti = I H1 , i = 1, 2, , r − 1, Tr = T Tj = I H2 với j = r + 1, , N − 1, ta nhận điều phải chứng minh Từ Định lý 2.4.1, ta có hệ cho tốn tìm khơng điểm chung họ hữu hạn toán tử đơn điệu cực đại Hệ 2.4.2 Cho H không gian Hilbert thực, f : H −→ H ánh xạ co H cho Ai : H −→ 2H , i = 1, 2, , N , toán tử đơn điệu −1 cực đại thỏa mãn S := ∩N i=1 Ai 6= ∅ Nếu γi ∈ (0, 2) với i = 1, 2, , N − 1, γN = {αn }, {βi,n }, i = 1, 2, , N , dãy số dương thỏa mãn điều kiện C2) C3) Định lý 2.3.3, dãy {xn } xác định x0 ∈ H yn = VN Vn−1 V1 xn , xn+1 = αn f (xn ) + (1 − αn )yn , xn+1 = αn f (yn ) + (1 − αn )yn , n ≥ 0, A N −i+1 Vi := I H − γi (I H − Jβi,n ) với i = 1, 2, , N , hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H − f )x∗ , y − x∗ i ≥ ∀y ∈ S Chứng minh Hệ suy trực tiếp từ Định lý 2.4.1 H1 = H2 = H T = I H 2.4.2 Bài toán điểm cực tiểu tách tổng quát Cho H không gian Hilbert thực g : H −→ (−∞, ∞] hàm lồi thường, nửa liên tục Dưới vi phân g ánh xạ đa trị 33 ∂g : H −→ 2H xác định ∂g(x) := {z ∈ H : g(y) − g(x) ≥ hy − x, zi ∀y ∈ H} với x ∈ H Ta biết ∂g toán tử đơn điệu cực đại [11] x0 ∈ arg minx∈H g(x) ∂g(x0 ) Một ứng dụng Định lý 2.3.3 để giải toán điểm cực tiểu tách tổng quát không gian Hilbert cho định lý Định lý 2.4.3 Cho Hi , i = 1, 2, , N , không gian Hilbert thực Cho fi : Hi −→ (−∞, ∞], i = 1, 2, , N , hàm lồi, thường, nửa liên tục dưới, cho Ti : Hi −→ Hi+1 , i = 1, 2, , N − 1, tốn tử tuyến tính bị chặn cho S := arg f1 (x) ∩ T1−1 (arg f2 (x)) x∈H1 x∈H2 ∩ ∩ T1−1 (T2−1 (TN−1−1 (arg fN (x)))) 6= ∅ x∈HN Nếu điều kiện C1), C2) C3) Định lý 2.3.3 đúng, dãy {xn } xác định x0 ∈ H1 z1,n = arg fN (x) + x∈HN kx − TN −1 TN −2 T1 xn k , 2βN,n y1,n = xn − γ1 T1∗ T2∗ TN∗ −1 (TN −1 TN −2 T1 xn − z1,n ), kx − TN −2 TN −3 T1 y1,n k z2,n = arg fN −1 (x) + x∈HN −1 2βN −1,n y2,n = y1,n − γ2 T1∗ T2∗ TN∗ −2 (TN −2 TN −3 T1 y1,n − z2,n ) zN −1,n = arg f2 (x) + kx − T1 yN −2,n k x∈H2 2β2,n yN −1,n = yN −2,n − γN −1 T1∗ (T1 yN −2,n − zN −1,n ), zN,n = arg f1 (x) + kx − yN −1,n k x∈H1 2β1,n yN,n = zN,n , xn+1 = αn f (xn ) + (1 − αn )yN,n , xn+1 = αn f (yN,n ) + (1 − αn )yN,n , n ≥ 0, 34 hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S Chứng minh Trước hết, ta thấy S = (∂f1 )−1 (0) ∩ T1−1 ((∂f2 )−1 (0)) ∩ ∩ T1−1 (T2−1 (TN−1−1 ((∂fN )−1 (0)))) Ta có z1,n = arg x∈HN kx − TN −1 TN −2 T1 xn k2 fN (x) + 2βN,n ∂fN (z1,n ) + βN,n (z1,n − TN −1 TN −2 T1 xn ) 0, điều suy N z1,n = JβAN,n (TN −1 TN −2 T1 xn ), AN = ∂fN Tương tự, ta có A −i+1 zi,n = JβNN−i+1,n (TN −i TN −i−1 T1 yi−1,n ) với AN −i+1 = ∂fN −i+1 với i = 2, 3, , N Do đó, áp dụng Định lý 2.3.3, ta nhận điều phải chứng minh 2.4.3 Bài toán chấp nhận tách tổng quát Cho C tập lồi, đóng khác rỗng khơng gian Hilbert thực H Ký hiệu iC hàm C, tức là, 0, x ∈ C, iC (x) := ∞, x ∈ / C Dễ thấy iC hàm lồi, thường nửa liên tục Do đó, tốn tử vi phân ∂iC đơn điệu cực đại Ta biết ∂iC (u) = N (u, C) = {v ∈ H : hu − y, f i ≥ ∀y ∈ C}, 35 N (u, C) nón pháp tuyến C u Ta ký hiệu toán tử giải ∂iC Jr , với r > Giả sử u = Jr x với x ∈ H, tức là, x−u ∈ ∂iC (u) = N (u, C) r Khi ta có hx − u, u − yi ≥ với y ∈ C Từ đặc trưng phép chiếu mêtric (Mệnh đề 1.1.10), suy u = PCH x Định lý 2.3.3 suy ta kết cho toán chấp nhận tách tổng quát Định lý 2.4.4 Cho Hi , i = 1, 2, , N , không gian Hilbert thực, cho Ci , i = 1, 2, , N , tập lồi, đóng Hi , tương ứng Cho Ti : Hi −→ Hi+1 , i = 1, 2, , N − 1, toán tử tuyến tính bị chặn cho S := C1 ∩ T1−1 (C2 ) ∩ ∩ T1−1 (T2−1 (TN−1−1 (CN ))) 6= ∅ Nếu điều kiện C1) C3) Định lý 2.3.3 đúng, dãy {xn } xác định x0 ∈ H1 y1,n = x1,n − γ1 T1∗ T2∗ TN∗ −1 (I HN − PCHNN )TN −1 TN −2 T1 xn , H −1 y2,n = y1,n − γ2 T1∗ T2∗ TN∗ −2 (I HN −1 − PCNN−1 )TN −2 TN −3 T1 y1,n , yN −1,n = yN −2,n − γN −1 T1∗ (I H2 − PCH22 )T1 yN −2,n , yN,n = PCH11 yN −1,n , xn+1 = αn f (xn ) + (1 − αn )yN,n , xn+1 = αn f (yN,n ) + (1 − αn )yN,n , n ≥ 0, hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S Bằng lập luận tương tự chứng minh Định lý 2.4.1 ta nhận hệ cho toán chấp nhận tách 36 Hệ 2.4.5 Cho H1 H2 hai không gian Hilbert thực, cho T : H1 −→ H2 tốn tử tuyến tính bị chặn f : H1 −→ H1 ánh xạ co H1 Cho Ci , i = 1, 2, , r, Qj , j = r + 1, r + 2, , N , tập lồi, đóng H1 H2 , tương ứng, cho S := ∩ri=1 Ci ∩ T −1 (∩N j=r+1 Qj ) 6= ∅ Nếu γi ∈ 0, với i = 1, 2, , N −r, γj ∈ (0, 2), j = N −r+1, , N − kT k2 1, {αn }, {βi,n }, i = 1, 2, , N , dãy số dương thỏa mãn điều kiện C2) C3) Định lý 2.3.3, dãy {xn } xác định x0 ∈ H1 y1,n = xn − γ1 T ∗ (I H2 − PQHN2 )T xn , y2,n = y1,n − γ2 T ∗ (I H2 − PQHN2 −1 ))T y1,n , yN −r,n = yN −r−1,n − γN −r T ∗ (I H2 − PQHr+1 ))T yN −r−1,n , yN −r+1,n = yN −r,n − γN −r+1 (I H1 − PCHr1 )yN −r,n , yN −1,n = yN −2,n − γN −1 (I H1 − PCH21 )yN −2,n , yN,n = PCH11 (yN −1,n ), xn+1 = αn f (xn ) + (1 − αn )yN,n , xn+1 = αn f (yN,n ) + (1 − αn )yN,n , n ≥ 0, hội tụ mạnh phần tử x∗ ∈ S, nghiệm bất đẳng thức biến phân h(I H1 − f )x∗ , y − x∗ i ≥ ∀y ∈ S 2.4.4 Bài toán cân tách tổng quát Cho C tập lồi, đóng khác rỗng không gian Hilbert thực H Cho F song hàm C × C vào R Bài tốn cân phát biểu sau: Tìm phần tử x ∈ C cho F (x, y) ≥ ∀y ∈ C (2.28)