THÔNG TIN TÀI LIỆU
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ĐINH THỊ TRANG THUẬT TOÁN LAI GHÉP GIẢI BÀI TOÁN CHẤP NHẬN TÁCH NHIỀU TẬP 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 NGƯỜI HƯỚNG DẪN KHOA HỌC GS.TS Nguyễn Bường Thái Nguyên – 2021 download by : skknchat@gmail.com ii Lời cảm ơn Luận văn hoàn thành hướng dẫn GS.TS Nguyễn Bường (Viện Công nghệ Thông tin-Viện Hàn lâm Khoa học Công nghệ Việt Nam) Tác giả xin bày tỏ lòng biết ơn chân thành sâu sắc tới thầy hướng dẫn khoa học mình, người đặt vấn đề nghiên cứu, dành nhiều thời gian hướng dẫn tận tình giải đáp thắc mắc tác giả suốt trình làm luận văn Tác giả học tập nhiều kiến thức chun ngành bổ ích cho cơng tác nghiên cứu thân Tác giả xin bày tỏ lòng cảm ơn sâu sắc tới thầy giáo, cô giáo tham gia giảng dạy lớp cao học Tốn, nhà trường phịng chức trường, khoa Toán - Tin, trường Đại học Khoa học Đại học Thái Nguyên quan tâm giúp đỡ tác giả suốt thời gian học tập trường Xin chân thành cảm ơn anh chị em lớp cao học bạn bè đồng nghiệp trao đổi, động viên khích lệ tác giả q trình học tập, nghiên cứu làm luận văn download by : skknchat@gmail.com iii Mục lục Lời cảm ơn ii Một số ký hiệu viết tắt iv 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 Bài tốn tìm điểm bất động ánh xạ không giãn 1.3 Bất đẳng thức biến phân không gian Hilbert 12 1.3.1 Một số vấn đề sơ lược bất đẳng thức biến phân 12 1.3.2 Bất đẳng thức biến phân tập điểm bất động ánh xạ không giãn 14 1.4 Một số bổ đề bổ trợ 16 Chương Một số thuật toán lai ghép giải toán chấp nhận tách nhiều tập 22 2.1 Phát biểu toán số cải tiến phương pháp CQ 22 2.2 Thuật toán hội tụ 26 Kết luận Tài liệu tham khảo download by : skknchat@gmail.com 34 35 luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap iv Một số ký hiệu viết tắt H khơng gian Hilbert X khơng gian Banach 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 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 ix(T ) tập điểm bất động ánh xạ T luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap Mở đầu “Bất đẳng thức biến phân” nảy sinh trình nghiên cứu giải toán thực tế tốn cân kinh tế, tài chính, tốn mạng giao thơng, lý thuyết trị chơi, phương trình vật lý toán Bài toán giới thiệu lần Hartman Stampacchia vào năm 1966 tài liệu [5] Bài toán bất đẳng thức biến phân không gian hữu hạn chiều, vô hạn chiều với ứng dụng giới thiệu chi tiết sách “An Introduction to Variational Inequalities and Their Applications” D Kinderlehrer G Stampacchia xuất năm 1980 [7] Bất đẳng thức biến phan tập nghiệm toán khác thường gọi bất đẳng thức biến phân hai cấp Gần có nhiều người làm tốn nước quan tâm đến bất đẳng thức biến phân tập nghiệm toán chấp nhận tách (đa tập), lớp tốn áp dụng để giải số lớp toán khác, đặc biệt toán liên quan đến xử lý tín hiệu, xử lý hình ảnh Y học Mục đích luận văn trình bày lại kết Wang cộng tài liệu [14] phương pháp lặp xoay vịng tìm nghiệm bất đẳng thức biến phân tập nghiệm tốn chấp nhận tách đa tập khơng gian Hilbert Nội dung luận văn cấu trúc thành hai chương, đó: Chương trình bày số kiến thức chuẩn bị không gian Hilbert, ánh xạ không giãn bất đẳng thức biến phân Chương trình bày lại chi tiết kết Wang cộng phương pháp lặp kiểu đường dốc kết hợp với phương pháp CQ xấp xỉ nghiệm bất đẳng thức biến phân tập nghiệm toán chấp nhận tách đa tập không gian Hilbert luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap Chương Một số kiến thức chuẩn bị Chương bao gồm nă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 tốn tìm điển bất động ánh xạ không giãn Mục 1.4 1.4 đề cập đến toán bất đẳng thức biến phân cổ điển tốn bất đẳng thức biến phân khơng gian Hilbert Mục 1.5 giới thiệu số bổ đề bổ trợ cần sử dụng Chương luận văn Nội dung chương phần lớn tham khảo từ tài liệu [1], [2] [7] 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 Mệnh đề 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 luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap Mệnh đề 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.3 Trong không gian Hilbert thực H , ta ln có kx + yk2 ≤ kxk2 + 2hy, x + yi với x, y ∈ H Chứng minh Với x, y ∈ H , ta có kx + yk2 = kxk2 + 2hx, yi + kyk2 ≤ kxk2 + 2hx, yi + 2kyk2 = kxk2 + 2hy, x + yi 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 l2 = {xn } ⊂ R : P∞ 2 n=1 |xn | < ∞ {en } ⊂ l , cho en = (0, , 0, , 0, , 0, ), vị trí thứ n luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 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.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→∞ (1.2) Chứng minh Vì xn * x, nên {xn } bị chặn Ta có kxn − yk2 = kxn − xk2 + kx − yk2 + 2hxn − x, x − yi > kxn − xk2 + 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→∞ n→∞ Mệnh đề chứng minh Mệnh đề 1.5 Mọi không gian Hilbert thực H có tính chất Kadec-Klee, tức {xn } ⊂ H dãy H thỏa mãn điều kiện xn * x kxn k → kxk, xn → x, n → ∞ Chứng minh Ta có kxn − xk2 = kxn k2 − 2hxn , xi + kxk2 luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap → 0, n → ∞ Suy xn → x, n → ∞ Mệnh đề chứng minh Mệnh đề 1.6 Cho C tập lồi đóng khơng gian Hilbert thực H Khi đó, tồn phần tử x∗ ∈ C cho kx∗ k ≤ kxk với x ∈ C Chứng minh Thật vậy, đặt d = inf kxk Khi đó, tồn {xn } ⊂ C cho x∈C kxn k −→ d, n −→ ∞ Từ đẳng thức hình bình hành, ta có kxn − xm k2 = 2(kxn k2 + kxm k2 ) − 4k xn + xm k ≤ (kxn k2 + kxm k2 ) − 4d2 −→ 0, n, m −→ ∞ Do {xn } dãy Cauchy H Suy tồn x∗ = lim xn ∈ n→∞ C (do {xn } ⊂ C C tập đóng) Do chuẩn hàm số liên tục nên kx∗ k = d Tiếp theo ta tính Giả sử tồn y ∗ ∈ C cho ky ∗ k = d Ta có kx∗ − y ∗ k2 = 2(kx∗ k2 + ky ∗ k2 ) − 4k x∗ + y ∗ k ≤ 2(d2 + d2 ) − 4d2 = Suy x∗ = y ∗ Vậy tồn phần tử x∗ ∈ C cho kx∗ k = inf x∈C kxk Từ Mệnh đề 1.6, ta có mệnh đề đây: Mệnh đề 1.7 Cho C tập lồi đóng khơng gian Hilbert thực H Khi đó, với x ∈ H , tồn phần tử PC x ∈ C cho kx − PC (x)k ≤ kx − yk với y ∈ C Chứng minh Vì C tập lồi, đóng khác rỗng nên x − C tập lồi, đóng khác rỗng Do đó, theo Mệnh đề 1.6, tồn phần tử PC ∈ C cho kx − PC (x)k ≤ kx − yk với y ∈ C luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap Định nghĩa 1.1 Phép cho tương ứng phần tử x ∈ H phần tử PC x ∈ C xác định gọi phép chiếu mêtric từ H lên C Ví dụ 1.1 Cho C = {x ∈ H : hx, ui = y}, với u 6= Khi PC x = x + y − hx, ui kuk2 u Ví dụ 1.2 Cho C = {x ∈ H : kx − ak ≤ R}, a ∈ H phần tử cho trước R số dương Khi đó, ta có: x kx − ak ≤ R, PC x = a + R (x − a) kx − ak > R kx − ak Mệnh đề cho ta điều kiện cần đủ để ánh xạ PC : H −→ C phép chiếu mêtric Mệnh đề 1.8 Cho C tập lồi, đóng khác rỗng không gian Hilbert H Cho PC : H −→ C ánh xạ Khi đó, phát biểu sau tương đương: a) PC phép chiếu mêtric từ H lên C ; b) hy − PC x, x − PC xi ≤ với x ∈ H y ∈ C ; Chứng minh Thật vậy, giả sử PC phép chiếu mêtric từ H lên C , tức kx − PC xk = inf u∈C kx − uk Với x ∈ H , y ∈ C với α ∈ (0, 1), đặt yα = αy + (1 − α)PC x Vì C lồi nên yα ∈ C kx − PC xk ≤ kyα − xk Điều tương đương với kx − PC xk2 ≤ kα(y − PC x) − (x − PC x)k2 = α2 ky − PC xk2 + kx − PC xk2 − 2αhy − PC x, x − PC xi Từ đó, ta nhận 2hy − PC x, x − PC xi ≤ αky − PC xk2 luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 14 tương đương với hAyt , y − x∗ i ≥ 0, ∀t ∈ (0, 1) Từ tính h-liên tục A, cho t → 0+ , ta nhận hAx∗ , y − x∗ i ≥, ∀y ∈ C Mệnh đề chứng minh Mệnh đề 1.15 Cho C tập lồi, đóng khác rỗng không gian Hilbert H cho A : C −→ H toán tử đơn điệu, h-liên tục Khi đó, x∗ ∈ V I(C, A) x∗ = PC (x∗ − λAx∗ ) với λ > Chứng minh Suy trực tiếp từ Mệnh đề 1.8 1.3.2 Bất đẳng thức biến phân tập điểm bất động ánh xạ không giãn Một lớp bất đẳng thức biến phân hai cấp quan trọng có nhiều ứng dụng lĩnh vực khác toán học, vật lý, y học hay kinh tế toán bất đẳng thức biến phân tập điểm bất động ánh xạ không giãn Bài toán 1.1 Cho A : H −→ H toán tử đơn điệu, liên tục cho T : H −→ H ánh xạ không giãn Tìm phần tử x∗ ∈ V I(F ix(T ), A), tức x∗ thỏa mãn hAx∗ , v − x∗ i ≥ 0, ∀v ∈ F ix(T ) Năm 2001, Yamada [10] đề xuất phương pháp đường dốc để giải Bài toán 1.1 cho trường hợp A toán tử Lipschitz đơn điệu mạnh Kết Yamada cho định lý đây: Định lý 1.1 [10] Cho T : H −→ H ánh xạ không giãn với F ix(T ) 6= ∅ Giả sử ánh xạ A : H −→ H L-Lipchitz η -đơn điệu mạnh T (H) Khi với u0 ∈ H , µ ∈ (0, 2η ) dãy {λn } ⊂ (0, 1] thỏa mãn điều kiện: L2 (L1) limn→∞ λn = 0, (L2) Σ∞ n=1 λn = ∞, luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 15 (L3) limn→∞ λn − λn+1 = 0, λ2n+1 dãy {un } xác định un+1 := T (λn+1 ) un := T un − λn+1 µA(T un ) (1.8) hội tụ mạnh nghiệm u∗ VIP(F ix(T ), A) Hơn nữa, Yamada mở rộng kết cho trường hợp tập điểm bất động F ix(T ) ánh xạ không giãn T thay tập điểm bất động chung họ hữu hạn ánh xạ không giãn Kết thể định lý đây: Định lý 1.2 [10] Cho Ti : H −→ H (i = 1, , N ) ánh xạ không giãn với F := ∩N i=1 F ix(Ti ) 6= ∅ F = F ix(TN T1 ) = F ix(T1 TN T3 T2 ) = = F ix(TN −1 TN −2 T1 TN ) (1.9) Giả sử ánh xạ F : H −→ H L-Lipchitz η -đơn điệu mạnh ∆ := ∪N i=1 Ti (H) Khi đó, với u0 ∈ H, µ ∈ (0, 2η ) dãy L2 {λn } ⊂ [0, 1] thỏa mãn (B1) limn→∞ λn = 0, (B2) Σ∞ n=1 λn = ∞, (B3) Σ∞ n=1 | λn − λn+N |< ∞ Dãy {un } xác định (λ ) n+1 un+1 := T[n+1] (un ) := T[n+1] (un ) − λn+1 µF (T[n+1] (un )), (1.10) hội tụ mạnh nghiệm VIP(F, F), tức u∗ ∈ F cho hv − u∗ , F (u∗ )i ≥ với v ∈ F, [.] modulo N xác định [i] = {i − kN |k = 0, 1, 2, } ∩ {1, 2, , N } luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 16 1.4 Một số bổ đề bổ trợ Bổ đề 1.1 (xem [10]) Cho C tập khác rỗng không gian Hilbert thực H Giả sử λ ∈ (0, 1) µ > Cho F : C −→ H ánh xạ k -Lipschitzian η -đơn điệu mạnh C cho T : C −→ C ánh xạ không giãn Xác định ánh xạ G : C −→ H Gx = (I − λµF )T x, ∀x ∈ C Khi đó, G ánh xạ co µ < 2η/k Chính xác hơn, với µ ∈ (0, 2η/k ), kGx − Gyk ≤ (1 − λτ )kx − yk, ∀x, y ∈ C, τ = − p − µ(2η − µk ) Chứng minh Trước hết, với x, y ∈ C , ta có k(I − µF )x − (I − µF )yk2 = k(x − y) − µ(F x − F y)k2 = kx − yk2 − 2µhx − y, F x − F yi + µ2 kF x − F yk2 ≤ (1 − 2µη + µ2 k )kx − yk2 = [1 − µ(2η − µk )]kx − yk2 Do đó, từ tính khơng giãn T , ta có k(I − λµF )T x − (I − λµF )T yk = k(1 − λ)(T x − T y) − λ(I − µF )T x − (I − µF )T y)k ≤ (1 − λ)kx − yk + λ p − µ(2η − µk )kx − yk = (1 − λτ )kx − yk, với τ = p − µ(2η − µk ) Bổ đề chứng minh Bổ đề 1.2 Cho {an } dãy số số thực khơng âm thỏa mãn tính chất an+1 ≤ (1 − sn )an + sn tn + , ∀n ≥ {sn }, {sn } {vn } thỏa mãn điều kiện luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com (1.11) luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 17 i) P∞ n=0 sn = ∞ Q∞ n=0 (1 − sn ) = 0; ii) lim supn→∞ tn ≤ 0; iii) ≥ 0, ∀n ≥ P∞ n=0 σn < ∞ Khi {an } hội tụ đến n → ∞ Chứng minh Với ε > (cho trước), lấy số tự nhiên N đủ lớn cho tn < ε, ∞ X < ε, ∀n ≥ N n=N Từ (1.11), quy nạp toán học, ta Y n n Y an+1 ≤ (1 − sk ) aN + 1− k=N (1 − sk ) ε + ∞ X , ∀n > N n=N k=N Từ điều kiện i)-iii) đánh giá trên, ta nhận lim supn→∞ an ≤ 2ε Vì ε > nên lim supn→∞ an ≤ Do limn→∞ an = Bổ đề 1.3 Giả sử {xn }, {yn } dãy không gian Banach E {αn } dãy [0; 1] với lim supn αn < Đặt d = lim sup kwn − zn k d = lim inf kwn − zn k n→∞ n→∞ Giả sử zn+1 = αn wn + (1 − αn )zn với n ∈ N, lim sup(kwn+1 − wn k − kzn+1 − zn k) ≤ n→∞ d < ∞ Khi lim inf |kwn+k − zn k − (1 + αn + αn+1 + + αn+k−1 )d| = n→∞ với k ∈ N Chứng minh Từ kwn+1 − zn+1 k − kwn − zn k ≤ kwn+1 − wn k + kwn − zn+1 k − kwn − zn k = kwn+1 − wn k − kzn+1 − zn k, luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 18 ta có lim sup(kwn+j − zn+j k − kwn − zn k) n→∞ = lim sup n→∞ ≤ lim sup n→∞ ≤ j−1 X i=0 j−1 X (kwn+i+1 − zn+i+1 k − kwn+i − zn+i k) i=0 j−1 X (kwn+i+1 − wn+i k − kzn+i=1 − zn+i k) i=0 lim sup(kwn+i+1 − wn+i k − kzn+i=1 − zn+i k) ≤ n→∞ với j ∈ N Đặt a = (1 − lim sup αn )/2, < a < Cố định k, l ∈ N ε > n→∞ Do tồn m0 ≥ l cho a ≤ − αn , kwn+1 − wn k − kzn+1 − zn k kwn+j − zn+j k − kwn − zn k ≤ ε/2 với n ≥ m0 j = 1, 2, · · · , k Trong trường hợp d = lim supn kwn − zn k, chọn m ≤ m0 thỏa mãn kwm+k − zm+k k ≥ d − ε kwn − zn k ≤ d + ε với n ≥ m Khi đó, ta có kwm+j − zm+j k ≥ kwm+k − zm+k k − ε ≥d− với j = 0, 1, , k − Trong trường hợp d = lim inf n kwn − zn k, chọn m ≥ m0 thỏa mãn kwm − zm k ≤ d + ε kwn − zn k ≥ d − ε với n ≥ m Ta có kwm+j − zm+j k ≤ kwm+k − zm+k k + ε ≤d+ε với j = 1, , k Trong hai trường hợp trên, lấy m thỏa mãn m ≥ l, a ≤ − αn ≤ 1, kwn+1 − wn k − kzn+1 − zn k ≤ ε với n ≥ m d − ε ≤ kwm+j − zm+j k ≤ d + ε với j = 0, 1, , k luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 19 Tiếp theo, ta kwm+j − zm+j k ≥ (1 + αm+j + αm+j+1 + + αm+k−1 )d − (k − j)(2k + 1) ε ak−j (1.12) với j = 0, 1, , k − Từ d − ε ≤ kwm+k − zm+k k = kwm+k − αm+k−1 wm+k−1 − (1 − αm+k−1 )zm+k−1 k ≤ αm+k−1 kwm+k − wm+k−1 k + (1 − αm+k−1 )kwm+k − zm+k−1 k ≤ αm+k−1 kzm+k − zm+k−1 k + ε + (1 − αm+k−1 )kwm+k − zm+k−1 k kwm+k−1 − zm+k−1 k + ε + (1 − αm+k−1 )kwm+k − zm+k−1 k = αm+k−1 ≤ αm+k−1 d + 2ε + (1 − αm+k−1 )kwm+k − zm+k−1 k, ta có )d − 3ε (1 − αm+k−1 − αm+k−1 2k + ≥ (1 + αm+k−1 )d − ε a kwm+k − zm+k−1 k ≥ Do (1.12) với j = k − Giả sử (1.12) với j ∈ {1, 2, , k − 1} Khi đó, từ (1 + k−1 X αm+i )d − i=j (k − i)(2k + 1) ε ak−j ≤ kwm+k − zm+j k = kwm+k − αm+j−1 wm+j−1 − (1 − αm+j−1 )zm+j−1 k ≤ αm+j−1 kwm+k − wm+j−1 k + (1 − αm+j−1 )kwm+k − zm+j−1 k ≤ αm+j−1 k−1 X kwm+i+1 − wm+i k + (1 − αm+j−1 )kwm+k − zm+j−1 k i=j−1 ≤ αm+j−1 k−1 X (kzm+i+1 − zm+i k + ε) + (1 − αm+j−1 )kwm+k − zm+j−1 k i=j−1 ≤ αm+j−1 k−1 X kzm+i+1 − zm+i k + kε + (1 − αm+j−1 )kwm+k − zm+j−1 k i=j−1 luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 20 = αm+j−1 k−1 X αm+i kzm+i+1 − zm+i k + kε + (1 − αm+j−1 )kwm+k − zm+j−1 k i=j−1 ≤ αm+j−1 k−1 X αm+i (d + ε) + kε + (1 − αm+j−1 )kwm+k − zm+j−1 k i=j−1 ≤ αm+j−1 k−1 X αm+i d + 2kε + (1 − αm+j−1 )kwm+k − zm+j−1 k, i=j−1 ta nhận 1+ k−1 P αm+i i=j−1 i=j kwm+k − zm+j−1 k ≥ k−1 P αm+i − αm+j−1 d − αm+j−1 − (k − j)(2k + 1)/ak−j + 2k ε − αm+j−1 ≥ (1 + k−1 X αm+i )d − i=j−1 (k − j + 1)(2k + 1) ε ak−j+1 Do 1.12 với j = j − Như 1.12 với j = 0, 1, , k − Đặc biệt, ta có kwm+k − zm k ≥ (1 + αm + αm+1 + + αm+k−1 )d − k(2k + 1) ε ak (1.13) Mặt khác, ta lại có kwm+k − zm k ≤ kwm+k − zm+k k + = kwm+k − zm+k k + k−1 X i=0 k−1 X kzm+i+1 − zm+i k αm+i kwm+i − zm+i k i=0 ≤d+ε+ k−1 X αm+i (d + ε) i=0 ≤d+ k−1 X (1.14) αm+i d + (k + 1)ε i=0 Từ (1.13) (1.14), ta có |kwm+k − zm k − (1 + αm + αm+1 + + αm+k−1 )d| ≤ k(2k + 1) ε ak Từ l ∈ N ε > tùy ý, ta có điều phải chứng minh luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 21 Bổ đề 1.4 [13] Giả sử {zn }, {ωn } dãy bị chặn không gian Banach E cho zn+1 = αn ωn + (1 − αn )zn , ∀n ≥ 0, {αn } dãy [0,1] cho < lim inf αn ≤ lim sup αn < n→∞ n→∞ Giả sử lim sup(kωn+1 − ωn k − kzn+1 − zn k) ≤ n→∞ Khi lim sup kωn − zn k = n→∞ Chứng minh Đặt a = lim inf αn > 0, M = sup{kzn k + kwn k : n ∈ N} < ∞ n→∞ d = lim sup kwn − zn k < ∞ Giả sử d > cố định k ∈ N với (1 + ka)d > M Theo n→∞ Bổ đề 1.3, ta có lim inf |kwn+k − zn k − (1 + αn + αn+1 + + αn+k−1 )d| = n→∞ Do đó, tồn dãy {ni } dãy {n} N cho lim (kwni +k − zni k − (1 + αni + αni +1 + + αni +k−1 )d) = i→∞ tồn giới hạn dãy {kwni +k −zni k}, {αni +j } với j ∈ {0, 1, , k − 1} Đặt βj = lim αni +j với j ∈ {0, 2, , k − 1} Ta có i→∞ M < (1 + ka)d ≤ (1 + β0 + β1 + + βk−1 )d = lim (1 + αni + αni +1 + + αni +k−1 )d i→∞ = lim kwni +k − zni k i→∞ ≤ lim sup kwn+k − zn k ≤ M n→∞ Điều mâu thuẫn Vậy d = luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 22 Chương Một số thuật toán lai ghép giải tốn chấp nhận tách nhiều tập Nội dung chương trình bày lại kết Wang cộng tài liệu [14] phương pháp lặp xoay vịng tìm nghiệm bất đẳng thức biến phân tập nghiệm toán chấp nhận tách đa tập không gian Hilbert 2.1 Phát biểu toán số cải tiến phương pháp CQ Cho C Q tập lồi, đóng khác rỗng khơng gian Hilbert H1 H2 , tương ứng Cho A : H1 −→ H2 toán tử tuyến bị chặn A∗ : H2 → H1 toán tử liên hợp A Bài tốn chấp nhận tách (SFP) khơng gian Hilbert phát biểu sau: Tìm phần tử x∗ ∈ Γ = C ∩ A−1 (Q) 6= ∅ (SFP) Dạng tổng quát Bài toán (SFP) toán (MSSFP), toán phát biểu sau: Cho Ci , i = 1, 2, , t Qj , j = 1, 2, , r tập lồi đóng H1 H2 , tương ứng Tìm phần tử x∗ ∈ Γ = ∩ti=1 Ci ∩ A−1 (∩rj=1 Qj ) 6= ∅ (MSSFP) Một phương pháp để giải toán (SFP) phương pháp CQ Với phương pháp CQ, Bài tốn (SFP) đưa tốn tìm điểm luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 23 bất động ánh xạ PC I − γA∗ (I − PQ )A , γ > 0, PC PQ phép chiếu mêtric từE lên Cvà từ F lên Q, tương ứng Ta biết γ ∈ 0, , PC I −γA∗ (I −PQ A ánh xạ không kAk giãn Do đó, người ta vận dụng phương pháp tìm điểm bất động ánh xạ không giãn (phương pháp lặp Mann, phương pháp lặp Halpern, phương pháp xấp xỉ gắn kết) để tìm nghiệm Bài toán (SFP) Xu [12] đưa chứng minh kết Trước hết ông hội tụ yếu phương pháp CQ nghiệm Bài tốn (SFP) dãy {xn } xác định x1 ∈ H1 Định lý 2.1 [12] Nếu γ ∈ 0, kAk xn+1 = PC I − γA∗ (I − PQ )A xn hội tụ yếu nghiệm toán (SFP) Sự hội tụ phương pháp lặp Mann phương pháp lặp cho định lý đây: Định lý 2.2 [12] Cho dãy {αn } ⊂ [0, 4/(2 + γkAk2 )] thỏa mãn điều kiện ∞ X αn n=1 Nếu γ ∈ 0, kT k2 − αn + γkAk2 = ∞ dãy {xn } xác định x1 ∈ H1 xn+1 = (1 − αn )xn + αn PC I − γA∗ (I − PQ )A xn , hội tụ yếu nghiệm toán (SFP) Năm 2006, Xu [11] đưa thuật toán mở rộng phương pháp CQ cho Bài toán (MSSFP) Đặt r 1X p(x) = βj kAx − PQj (Ax)k2 , j=1 βj > với j = 1, 2, , r Trước hết, Xu [11] chứng minh kết đây: Mệnh đề 2.1 Giả sử tập nghiệm Bài tốn (MSSFP) khác rỗng Khi đó, ta có khẳng định sau: luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 24 i) Hàm p(x) lồi, khả vi với đạo hàm xác định 5p(x) = r X βj A∗ (I − PQj )Ax, (2.1) j=1 5p(x) ánh xạ Lipschitz với số L = kAk2 Pr j=1 βj ii) Phần tử x∗ nghiệm Bài tốn (MSSFP) điểm bất động chung ánh xạ khơng giãn trung bình {Ti }ti=1 với Ti = PCi (I − γ p), γ > 0, i = 1, 2, , t Tiếp đó, ơng chứng minh hội tụ phương pháp lặp Picard cho Bài toán (MSSFP) 0, L Định lý 2.3 [11] Nếu γ ∈ với βj > với j = 1, 2, , r L = Pr kAk2 j=1 βj , dãy {xn } xác định x1 ∈ H1 xn+1 = PCN (I − γ r X ∗ βj A (I − PQj )A PC1 (I − γ j=1 r X βj A∗ (I − PQj )A)xn j=1 hội tụ yếu nghiệm Bài toán (MSSFP) Xu xây dựng chứng minh hội tụ phương pháp lặp song song phương pháp lặp xoay vịng cho Bài tốn (MSSFP) dạng đây: với βj > với j = 1, 2, , r, L = Định lý 2.4 [11] Nếu γ ∈ 0, L Pr Pt kAk2 j=1 βj λi > thỏa mãn i=1 λi = 1, dãy {xn } xác định x1 ∈ H1 xn+1 = t X λi PCi (I − γ i=1 r X βj A∗ (I − PQj )A)xn j=1 hội tụ yếu nghiệm Bài toán (MSSFP) Định lý 2.5 [11] Nếu γ ∈ 0, với βj > với j = 1, 2, , r L = L P r kT k2 j=1 βj , dãy {xn } xác định x1 ∈ H1 xn+1 = PC[n+1] (I − γ r X βj A∗ (I − PQj )A)xn j=1 hội tụ yếu nghiệm Bài toán (MSSFP) luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 25 Từ kết [11, 3, 6], ta có kết Bổ đề 2.1 [11, 3, 6] Giả sử Bài toán (MSSFP) có tập nghiệm khác rỗng Đặt Ti := PCi (I − γ∇q), i = 1, 2, , t, < γ < 2/L Khi ánh xạ t P U = T1 Tt trung bình; tổ hợp lồi S = αi Ti trung bình, αi > i=1 0, t P αi = 1; T[n+1] = Tn mod t trung bình, hàm mod lấy giá trị i=1 tập {1, 2, , t} Bổ đề 2.2 [11] Ký hiệu toán tử trung bình U, S, T[n+1] Bổ đề 2.1 T Vơi điểm khởi đầu x0 , y0 z0 H, n ≥ 0, dãy {xn }, {yn } {zn } sinh xn+1 = T xn , (2.2) yn+1 = (1 − an )T yn , (2.3) zn+1 = (1 − bn )zn + bn T zn , (2.4) {an } {bn } dãy số thực (0, 1) Khi đó, ta có khẳng định sau: i) Dãy {xn } xác định (2.2) hội tụ yếu tới nghiệm Bài toán (MSSFP); ii) Nếu P∞ n=1 bn (1 − bn ) = ∞, dãy {zn } xác định (2.4) hội tụ yếu tới nghiệm Bài toán (MSSFP); iii) Nếu điều kiện sau thỏa mãn a) limn→∞ an = 0; P∞ b) n=1 an = ∞; P∞ c) n=1 |an+1 − an | < ∞ limn→∞ an+1 /an = 1, dãy {yn } xác định (2.3) hội tụ mạnh nghiệm chuẩn tắc Bài toán (MSSFP) Định nghĩa 2.1 Cho tốn tử trung bình U, S, T[n+1] Bổ đề 2.2 f : H × H → H ánh xạ tổ hợp xác định f (x1 , x2 ) = (1 − αn )x1 + αn x2 , n ≥ 0, luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 26 với (x1 , x2 ) ∈ H × H αn ∈ [0, 1] Ta đặt ánh xạ X := U f (S, T[n+1] ), Y := Sf (U, T[n+1] ), Z := T[n+1] f (U, S) Khi đặt B : H → H tốn tử trung bình xác định B := an X + bn Y + cn Z, n ≥ với an , bn , cn dãy R thỏa mãn an + bn + cn = 2.2 Thuật toán hội tụ Trong mục chúng tơi trình bày lại vài thuật toán lai ghép hội tụ mạnh để giải toán chấp nhận tách đa tập, xác tìm nghiệm tốn bất đẳng thức biến phân tập nghiệm Bài toán (MSSFP) từ tài liệu [14] Trước hết, có kết sau Định lý 2.6 Giả sử H không gian Hilbert thực F : H −→ H ánh xạ k -Lipschitz η -đơn điệu mạnh Ký hiệu tốn tử trung bình U, S T[n+1] xác định Bổ đề 2.1 Tα Với x0 ∈ H , dãy {xn }n>0 sinh xn+1 = (I − λn µF )Tα xn , n ≥ 0, (2.5) λn ∈ (0, 1) thoả mãn (P1) lim λn = 0, n→∞ (P2) ∞ P λn = ∞ γ ∈ (0, 2/L) n=0 Khi dãy {xn } xác định (2.5) hội tụ mạnh tới nghiệm Bài toán (MSSFP), đồng thời nghiệm toán bất đẳng thức biến phân hF x∗ , x − x∗ i ≥ 0, với x ∈ Γ (2.6) Chứng minh Đầu tiên ta chứng minh dãy {xn } bị chặn Vì Tα ánh xạ khơng giãn Tα p = p, nên từ Bổ đề 1.1 (2.5), với p ∈ Γ ta có kxn+1 − pk = k(I − λn µF )(Tα xn − p) + λn F pk µ ≤ (1 − λn τ )kxn − pk + kF pk τo n µ ≤ max kx0 − pk, kF pk τ Từ ta suy dãy {xn } bị chặn luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 27 Tiếp theo ta có kxn+1 − xn k = k(I − λn µF )Tα (xn − xn−1 ) + (λn−1 − λn )µF Tα xn−1 k (1 − λn τ )kxn − xn−1 k+ | λn−1 − λn | kµF Tα xn−1 k (2.7) Từ điều kiện (P1 ), (P2 ) Bổ đề 1.4 ta có lim kxn+1 − xn k = n→∞ (2.8) Đặt un = Tα xn ta thu ||xn − un || ≤ kxn − xn+1 k + kxn+1 − un k ≤ kxn − xn+1 k + λn µkF un k Từ điều kiện (P1 ) (2.8) ta nhận lim kxn − un k = n→∞ (2.9) Vì dãy {xn } bị chặn, nên tồn dãy xni * x∗ i → ∞ Một cách tổng quát ta giả sử xn * x∗ i → ∞, kết hợp với Mệnh đề 1.12 ta có xn * x∗ ∈ F ix(Tα ) Mặt khác, từ Bổ đề 2.1 2.2 ta biết un * x n → ∞ x ∈ Γ Do lim hF x∗ , un − x∗ i ≥ 0, x∗ ∈ Γ n→∞ Cuối ta chứng minh xn * x∗ theo chuẩn Thật vậy, ta có kxn+1 − x∗ k2 = k(I − λn µF )(un − x∗ ) − λn µF x∗ k2 = k(I − λn µF )(un − x∗ )k2 + λ2n µ2 kF x∗ k2 − 2λn µ h(I − λn µF )(un − x∗ ), F x∗ i ≤ (1 − λn τ )kxn − x∗ k − 2λn µ hun − x∗ , F x∗ i + λ2n µ2 kF x∗ k2 + 2λ2n µ2 kF un − F x∗ kkF x∗ k = (1 − σn )kxn − x∗ k + σn δn , σn = λn τ, luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com (2.10) luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap 28 δn = −2µ λn µ2 hun − x∗ , F x∗ i + kF x∗ k2 + 2kF un − F x∗ kkF x∗ k τ τ Rõ ràng xn → x∗ ∞ P n=0 σn = ∞ lim σn ≤ Do đó, từ Bổ đề 1.2 ta suy n→∞ n → ∞, Nhận xét 2.1 Khi ta thay F = I Định lý 2.6, thuật toán (2.5) trở thành (2.3) hội tụ mạnh tới nghiệm có chuẩn nhỏ Bài tốn (MSSFP) Định lý 2.7 Giả sử H không gian Hilbert thực F : H −→ H ánh xạ k -Lipschitz η -đơn điệu mạnh Gọi Ω tập lồi, đóng, khác rỗng H1 giả sử Ω ∩ Γ 6= ∅ Với x0 ∈ H1 , dãy lặp {xn } sinh x0 ∈ Ω, yn0 = xn , n ≥ 0, y i = Ti y i−1 , i = 1, 2, , t, n n t P xn+1 = PΩ (I − λn µF )(εn T[n+1] ynt + (1 − εn ) αi Ti yni ) , (2.11) i=1 αi > với i cho t P αi = 1, λn ∈ (0, 1], εn ∈ [0, 1], i=1 Ti = PCi (I − γF ), i = 1, 2, , t, Tnmodt = PCn mod t (I − γF ) γ ∈ (0, 2/L) Khi dãy {xn } xác định (2.11) hội thụ mạnh tới phần tử Ω ∩ Γ, dồng thời nghiệm toán bất đẳng thức biến phân hF x∗ , x − x∗ i ≥ 0, với x ∈ Ω ∩ Γ (2.12) Chứng minh Đặt F = Ω∩Γ Ta biết PF x hoàn toàn xác định với x ∈ H , F tập lồi đóng H1 Chúng ta tồn x∗ ∈ F cho x∗ = PF (I − µF )x∗ (2.13) Từ Bổ đề 1.1 ta biết I − µF ánh xạ co PF (I − µF ) ánh xạ co H Khi nguyên lý ánh xạ co Banach ta suy (2.13) t P Ta viết un = εn T[n+1] ynt + (1 − εn ) αi Ti yni , với p ∈ F n ≥ i=1 kyn1 − pk = kT1 yn0 − T1 pk ≤ kyn0 − pk = kxk − pk, kyni − pk = kTi yni−1 − Ti pk ≤ kyni − pk luan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tapluan.van.thac.si.thuat.toan.lai.ghep.giai.bai.toan.chap.nhan.tach.nhieu.tap download by : skknchat@gmail.com
Ngày đăng: 08/01/2024, 00:50
Xem thêm: