bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian hilbert

33 482 1
bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian hilbert

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC PHAN THỊ MƯỜI BÀI TOÁN CÂN BẰNG VÀ ĐIỂM BẤT ĐỘNG CỦA NỬA NHÓM KHÔNG GIÃN TRONG KHÔNG GIAN HILBERT Chuyên ngành: TOÁN ỨNG DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC Người hướng dẫn khoa học: GS.TS. NGUYỄN BƯỜNG THÁI NGUYÊN - NĂM 2014 Mục lục Mục lục i Lời cảm ơn 1 Mở đầu 1 1 Các khái niệm và vấn đề cơ bản 4 1.1 Một số khái niệm cơ bản . . . . . . . . . . . . . . . . 4 1.2 Bài toán cân bằng . . . . . . . . . . . . . . . . . . . . . 10 1.3 Các bổ đề và định lí cần sử dụng . . . . . . . . . . . . . 13 2 Nghiệm của bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian Hilbert 17 2.1 Các phương pháp cơ bản . . . . . . . . . . . . . . . . . 17 2.2 Các định lí hội tụ mạnh . . . . . . . . . . . . . . . . . . 20 Tài liệu tham khảo 31 i Lời cảm ơn Trong suốt quá trình làm luận văn, tôi luôn nhận được sự hướng dẫn và giúp đỡ nghiêm túc của GS.TS Nguyễn Bường- Viện Công nghệ Thông tin, Viện Hàn lâm Khoa học và Công nghệ Việt Nam. Tôi xin chân thành bày tỏ lòng biết ơn sâu sắc đến thầy và kính chúc thầy luôn luôn mạnh khỏe. Tôi cũng xin cảm ơn các quý thầy, cô giảng dạy tại Đại học Thái Nguyên, Viện Toán học, Viện Hàn lâm Khoa học và Công nghệ Việt Nam, đã mang đến cho tôi nhiều kiến thức bổ ích trong khoa học và cuộc sống. Tôi xin chân thành cảm ơn các bạn đồng môn đã giúp đỡ tôi trong thời gian học tập tại Đại học Thái Nguyên và trong quá trình hoàn thành luận văn này. Thái Nguyên, tháng 3 - 2014 Người viết Luận văn Phan Thị Mười 1 Mở đầu Bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert rất quan trọng trong toán học, có nhiều ứng dụng trong khoa học, vật lí, tối ưu và kinh tế đã có nhiều nhà toán học nghiên cứu về vấn đề này. Năm 1912 nhà toán học Hà Lan Luizen Egbereisjan Brouwer nghiên cứu và đưa ra nguyên lí tìm điểm bất động Brouwer: Một ánh xạ liên tục f từ hình cầu đóng trong R n vào chính nó phải có điểm bất động, tức là tồn tại x sao cho f(x) = x. Đến năm 1930 Schauder, 1935 Tikhonov đã mở rộng nguyên lí này thành dạng tổng quát: Một ánh xạ liên tục f từ một tập lồi com-pắc trong không gian tô-pô lồi địa phương Hausdorff vào chính nó phải có điểm bất động. Gọi là nguyên lí Brouwer-Schauder-Tikhonov. Cho đến nay các nhà toán học cả trong và ngoài nước vẫn đang tiếp tục nghiên cứu mở rộng định lí này. Trong khuôn khổ của luận văn này chúng tôi xin được trình bày một đề tài "Bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian Hilbert". Luận văn được tổng hợp từ bài báo "Các định lí hội tụ mạnh giải bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert" của GS.TS Nguyễn Bường cùng với cộng sự Nguyễn Đình Dương. Mục đích của luận văn này là giới thiệu các định lí hội tụ mạnh giải bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert. Trong đó giới thiệu hai phương pháp lặp để tìm nghiệm của bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ 2 không giãn trong không gian Hilbert. Sau đó chứng minh định lí về sự hội tụ mạnh của phép lặp, kết hợp giữa kết quả của Comberttes, Hirstoaga và kết quả của Nakajo, Takahashi. Từ kết quả đã chứng minh nhận được hai hệ quả là sự cải tiến và mở rộng các kết quả của Comberttes, Hirstoaga và Tada, Takahashi. Bố cục luận văn gồm 2 chương: Chương I. Một số khái niệm và vấn đề cơ bản. Chương II. Nghiệm của bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert. Luận văn được hoàn thành tại trường Đại học Khoa học Thái Nguyên dưới sự hướng dẫn của GS.TS Nguyễn Bường. Mặc dù tác giả đã hết sức cố gắng nhưng do vấn đề được nghiên cứu là khá phức tạp và kinh nghiệm nghiên cứu còn hạn chế nên khó tránh khỏi thiếu sót. Trong quá trình viết luận văn cũng như sử lý văn bản chắc chắn không tránh khỏi sai sót, rất mong nhận được những ý kiến đóng góp của quý thầy cô và bạn đọc. Thái Nguyên, tháng 3 - 2014 Tác giả Phan Thị Mười 3 Chương 1 Các khái niệm và vấn đề cơ bản Chương I gồm 3 mục. Mục 1.1 Giới thiệu định nghĩa không gian Hilbert, nửa nhóm ánh xạ không giãn và một số khái niệm, tính chất liên quan. Mục 1.2 Giới thiệu bài toán cân bằng và phương pháp lặp Mann để giải bài toán cân bằng. Mục 1.3 Nêu một số bổ đề và định lý cần thiết để giải bài toán cân bằng. 1.1 Một số khái niệm cơ bản Không gian Hilbert và một số tính chất Định nghĩa 1.1. Cho H là một không gian tuyến tính trên R. Một tích vô hướng trong H là một ánh xạ ., . thỏa mãn các điều kiện sau: i) x, x > 0, ∀x = 0; x, x = 0 ⇐⇒ x = 0; ii) x, y = y, x, ∀x, y ∈ H; iii) αx, y = αx, y, ∀x, y ∈ H, α ∈ R; iv) x + y, z = x, z + y, z, ∀x, y, z ∈ H. Không gian tuyến tính H cùng với tích vô hướng ., . được gọi là không gian tiền Hilbert. Không gian tiền Hilbert đầy đủ được gọi là không gian Hilbert. Ví dụ 1.1. Chuẩn của phần tử x trong H kí hiệu là x và được xác định bằng x =  x, x. 4 Không gian R n có tích vô hướng là: x, y = n  i=1 ξ i η i , x = (ξ 1 , ξ 2 , , ξ n ) ∈ R n , y = (η 1 , η 2 , , η n ) ∈ R n . Ví dụ 1.2. Không gian L 2 [a, b] là không gian Hilbert với tích vô hướng được xác định: ϕ, ψ = b  a ϕ(x)ψ(x)dx, ∀ϕ, ψ ∈ L 2 [a, b]. Định nghĩa 1.2. Tập hợp tất cả các phiếm hàm tuyến tính liên tục trên H gọi là không gian liên hợp (không gian đối ngẫu của H) và kí hiệu là H ∗ . Định nghĩa 1.3. Cho H là không gian Hilbert, một dãy {x n } gồm các phần tử x n ∈ H gọi là hội tụ yếu tới phần tử x ∈ H (kí hiệu: x n  x), Nếu < φ, x n >−→< φ, x > với mỗi φ ∈ H ∗ ( H ∗ là không gian liên hợp của H). Định nghĩa 1.4. Cho H là không gian Hilbert, một dãy {x n } gồm các phần tử x n ∈ H gọi là hội tụ mạnh đến phần tử x ∈ H nếu x n −x −→ 0 khi n −→ ∞. Nếu dãy {x n } hội tụ mạnh đến phần tử x ∈ H thì: (i) Mỗi dãy con {x n k } ⊂ {x n } cũng hội tụ tới x; (ii) Mỗi dãy {x n − ξ} bị chặn với ξ ∈ H. Định nghĩa 1.5. Dãy {x n } ⊂ H được gọi là Cauchy, nếu với mỗi ε > 0, tồn tại n 0 (ε) sao cho: x m − x m  < ε với mọi m ≥ n 0 (ε), n ≥ n 0 (ε). Định nghĩa 1.6. Cho không gian Hilbert thực H, một hàm f : H → R. Khi đó 5 i) Một hàm f xác định trên tập H được gọi là nửa liên tục dưới tại điểm x 0 thuộc H nếu với mọi ε > 0, tồn tại δ > 0 sao cho f(x) ≥ f(x 0 ) − ε, với mọi x thuộc H thoả mãn x − x 0  < δ. ii) Hàm f được gọi là nửa liên tục trên trên H tại x 0 ∈ H nếu hàm −f nửa liên tục dưới trên H tại x 0 ∈ H. iii) Hàm f được gọi là liên tục trên H tại điểm x 0 ∈ H nếu hàm f vừa nửa liên tục dưới trên H tại điểm x 0 ∈ H và vừa liên tục trên trên H tại điểm x 0 ∈ H. iv) Hàm f được gọi là liên tục (nửa liên tục) trên H nếu hàm f liên tục (nửa liên tục) tại mọi điểm trên H. Định nghĩa 1.7. Cho H là không gian Hilbert, X là tập con khác rỗng của H. (i) X được gọi là tập lồi nếu với ∀x, y ∈ X, 0 ≤ λ ≤ 1 ta có: λx + (1 − λ)y ∈ X. (ii) X được gọi là compact nếu mọi dãy {x n } ⊂ X đều chứa dãy con hội tụ đến một điểm thuộc X. Định nghĩa 1.8. Cho f là một hàm lồi trên tập lồi C. Một véc-tơ y ∗ ∈ H được gọi là dưới đạo hàm của f tại x ∗ ∈ C nếu f(x) ≥ f (x ∗ ) + y ∗ , x − x ∗ , ∀x ∈ C. Tập tất cả các điểm y ∗ thỏa mãn bất đẳng thức trên được ký hiệu là ∂f(x ∗ ). Hàm f được gọi là khả dưới vi phân tại x ∗ nếu ∂f(x ∗ ) = ∅. Định lý 1.1. Mỗi tập con đóng và bị chặn X của một không gian Hilbert là compact yếu, tức là với mỗi dãy bị chặn trong X có thể trích ra được một dãy con hội tụ yếu tới một phần tử của không gian này. Tập con X của không gian Hilbert H được gọi là đóng yếu, nếu {x n  x}, thì x ∈ X. Định lý 1.2. Định lý Mazur: Mỗi tập con lồi đóng của một không gian Hilbert là đóng yếu. 6 Định nghĩa 1.9. Một phiếm hàm ϕ xác định trên H được gọi là lồi, nếu: ϕ(tx + (1 − t)y) ≤ tϕ(x) + (1 − t)ϕ(y), ∀x, y ∈ H, t ∈ [0, 1]. Dấu "=" xảy ra khi và chỉ khi x = y, thì ϕ được gọi là lồi chặt. Nếu tồn tại một hàm liên tục tăng: γ : [0; +∞) −→ R, γ(0) = 0, sao cho: ϕ(tx+(1−t)y) ≤ tϕ(x)+(1−t)ϕ(y)−t(1−t)γ(x−y), ∀x, y ∈ H, t ∈ [0, 1] thì ϕ được gọi là lồi đều và hàm γ(t) gọi là modun lồi của ϕ. Nếu γ(t) = ct 2 , c > 0 thì phiếm hàm ϕ được gọi là lồi mạnh. Định nghĩa 1.10. Một phiếm hàm ϕ được gọi là nửa liên tục dưới tại x 0 ∈ H, nếu với mỗi dãy {x n } ⊂ H sao cho x n −→ x ta có: ϕ(x 0 ) ≤ lim n−→∞ inf ϕ(x n ). Nếu x n  x 0 và ϕ(x 0 ) ≤ lim n−→∞ inf ϕ(x n ), thì ϕ được gọi là nửa liên tục yếu tại x 0 ∈ H. Định lý 1.3. (i) Nếu ϕ(x) là một phiếm hàm lồi trên H thì ϕ  (x) thỏa mãn bất đẳng thức: ϕ  (x) − ϕ  (y), x − y ≥ 0, ∀x, y ∈ H. (ii) Nếu ϕ(x) là một phiếm hàm lồi đều trên H thì ϕ  (x) thỏa mãn bất đẳng thức: ϕ  (x) − ϕ  (y), x − y ≥ 2γ(x − y), ∀x, y ∈ H. (iii) Nếu ϕ(x) là một phiếm hàm lồi mạnh trên H thì ϕ  (x) thỏa mãn bất đẳng thức: ϕ  (x) − ϕ  (y), x − y ≥ 2γ(x − y 2 ), ∀x, y ∈ H. 7 Định nghĩa 1.11. Toán tử A : H −→ H được gọi là tuyến tính nếu: (i) A(x 1 + x 2 ) = Ax 1 + Ax 2 , ∀x 1 , x 2 ∈ H, (ii) A(αx) = αAx, ∀α ∈ R, x ∈ H. Định nghĩa 1.12. Toán tử tuyến tính A được gọi là bị chặn, nếu tồn tại một hằng số M > 0 sao cho Ax ≤ Mx. Giá trị M nhỏ nhất thỏa mãn bất đẳng thức đó được gọi là chuẩn của A và kí hiệu bởi A. Định nghĩa 1.13. Toán tử A : X −→ Y được gọi là compact trên X, nếu nó biến mỗi tập bị chặn trong X thành một tập compact trong Y. Định nghĩa 1.14. Toán tử A : X −→ Y được gọi là: (i) liên tục tại x 0 ∈ X nếu với mỗi dãy con {x n } ⊂ X sao cho: Ax −→ Ax 0 , khi x n −→ x 0 . (ii) h- liên tục tại x 0 ∈ X nếu A(x 0 + t n h)  Ax 0 , khi t n −→ 0 với mỗi véc tơ h ∈ X. (iii) d- liên tục tại x 0 ∈ X nếu với mỗi dãy con {x n } ⊂ X sao cho khi x n −→ x 0 thì Ax n  Ax 0 . (iv) liên tục Lipschitz nếu ∃L > 0 sao cho: Ax − Ay ≤ Lx − y, ∀x, y ∈ X. Định nghĩa 1.15. Cho X là không gian Hilbert và X ∗ là không gian liên hợp của X. Toán tử A : X −→ 2 X ∗ được gọi là d-đơn điệu trên X nếu tồn tại một hàm không âm d(t), không giảm với t ≥ 0 và d(0) = 0 thỏa mãn: Ax − Ay, x − y ≥ (d(x) − d(y))(x − y), ∀x, y ∈ X. Định nghĩa 1.16. Cho X là không gian Hilbert và X ∗ là không gian liên hợp của X. Toán tử A : X −→ 2 X ∗ được gọi là đơn điệu đều trên X nếu tồn tại một hàm không âm δ(t), không giảm với t ≥ 0 và δ(0) = 0 thỏa mãn: Ax − Ay, x − y ≥ δ(x − y), ∀x, y ∈ X. 8 [...]... trọng trong chương sau 16 Chương 2 Nghiệm của bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian Hilbert Trong chương này trình bày vấn đề cơ bản của luận văn như sau Mục 2.1 nội dung một số phương pháp tìm nghiệm của bài toán cân bằng là điểm bất động của ánh xạ không giãn trong không gian Hilbert Mục 2.2 giới thiệu phương pháp tìm nghiệm của bài toán cân bằng của nửa nhóm. .. các vấn đề sau: 1 Một số khái niệm và vấn đề cơ bản của không gian Hilbert 2 Bài toán cân bằng 3 Bài toán tìm điểm bất động của nửa nhóm ánh xạ không gian trong không gian Hilbert 4 Các định lí hội tụ mạnh giải bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert 30 Tài liệu tham khảo [1] A.S.Antipin, Computational Equilibrium programming: Mathematics and Proximal... (0, 1) và {rn } ⊂ (0, ∞) thỏa mãn lim inf rn > 0 n−→∞ Khi đó {xn } hội tụ mạnh về PF (T )∩EP (G) (x) Trong luận văn này, sử dụng các kết quả của Combettes và Hirstoaga, Takahashi, He và Chen, chứng minh sự hội tụ của hai thuật toán tìm nghiệm bài toán cân bằng và tập điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert Từ kết quả này nhận được hai hệ quả là các kết quả của Tada và Takahashi,... [0, 1) Khi đó {xn } hội tụ mạnh về phần tử PF (T ) (x0 ), trong đó PF (T ) là phép chiếu từ C lên F (T ) Nakajo và Takahashi cũng chứng minh được sự hội tụ mạnh của nửa nhóm ánh xạ không giãn trong không gian Hilbert Định lý 2.2 Cho C là tập con khác rỗng, lồi, đóng của không gian Hilbert H và S = {T (s) : 0 ≤ s < ∞} là nửa nhóm ánh xạ không giãn trên C thỏa mãn S = ∅ Giả sử {xn } được xây dựng bởi:... tại nghiệm của bài toán cân bằng Mệnh đề 1.1 Cho C là một tập lồi, com-pắc khác rỗng trong không gian Hilbert thực H và song hàm cân bằng f : C × C −→ R ∪ {+∞} có các tính chất (i) f (., y) nửa liên tục trên với mọi y ∈ C; (ii) g(x, ) lồi, nửa liên tục dưới và khả dưới vi phân trên C với mọi x ∈ C Khi đó Bài toán (1.1) có nghiệm Chứng minh Với mỗi x ∈ C , ta gọi S(x) là tập nghiệm của bài toán min{f... C×C Bài toán cân bằng với song hàm G là tìm u∗ ∈ C sao cho G(u∗ , v) ≥ 0, ∀v ∈ C (1.1) Tập nghiệm của (1.1) được ký hiệu bởi EP (G) Xét ánh xạ F : C −→ H và giả sử G(u, v) = F u, v − u với mọi u, v ∈ C Khi đó u∗ ∈ EP (G) khi và chỉ khi F u∗ , v − u∗ ≥ 0 với mọi v ∈ C , tức u∗ là nghiệm của bài toán cân bằng Định lý 1.4 (Điểm bất động Kakutani) Cho C là tập lồi com-pắc trong không gian Hilbert H và. .. của nửa nhóm ánh xạ không giãn trong không gian Hilbert Các kết quả trên xem trong [1],[3], [5] 2.1 Các phương pháp cơ bản Một số phương pháp đã được giới thiệu để giải bài toán cân bằng (1.1) Ký hiệu tập điểm bất động của T là F (T ), tức là F (T ) = {x ∈ C : x = T x} E.F.Browder [4] đã chứng minh được F (T ) = ∅ nếu C giới nội Một số phương pháp được đưa ra để xấp xỉ điểm bất động của T (xem [1], [3],... G(u, v) = 0 với mọi u, v ∈ C và T (s) = T với mọi s > 0 thì ta nhận được thuật toán tìm điểm bất động của nửa nhóm ánh xạ không giãn Hệ quả 2.2 Cho C là tập con lồi, đóng của không gian Hilbert H và {T (s) = T, ∀s > 0} là nửa nhóm ánh xạ không giãn trên C thỏa mãn F = ∅ Giả sử {xk }, {uk }, {zk } là các dãy xây dựng bởi thuật toán: 28 x0 ∈ H, uk = PC (xk ), zk = (1 − αk )xk + αk T uk , Ck = {z ∈ H : zk... y ≤ x − y , ∀x, y ∈ C 9 Ta kí hiệu F (T ) là tập các điểm bất động của T, tức là: F (T ) = {x ∈ X : x = T x} Định nghĩa 1.20 (Nửa nhóm không giãn) Cho C là tập con khác rỗng, lồi và đóng trong không gian Hilbert thực H Tập {T (s) : s > 0} được gọi là nửa nhóm không giãn trên C nếu thỏa mãn các điều kiện: (i) Với mỗi s > 0, T (s) là ánh xạ không giãn trên C; (ii) T (0)x = x, ∀x ∈ C; (iii) T (s1 + s2... là một ánh xạ đa trị nửa 10 liên tục trên và F (x) lồi, đóng, khác rỗng với mọi x ∈ C Khi đó F có điểm bất động, tức là tồn tại x∗ ∈ C , x∗ ∈ F (x∗ ) Một trường hợp riêng quan trọng của định lý này là định lý điểm bất động Brouwer sau Định lý 1.5 (Điểm bất động Brouwer) Cho C là một tập lồi com-pắc yếu trong không gian Hilbert thực H và F là một ánh xạ (đơn trị) liên tục từ C vào C Khi đó tồn tại . nghiệm của bài toán cân bằng là điểm bất động của ánh xạ không giãn trong không gian Hilbert. Mục 2.2 giới thiệu phương pháp tìm nghiệm của bài toán cân bằng của nửa nhóm ánh xạ không giãn trong không. Mười 1 Mở đầu Bài toán cân bằng và điểm bất động của nửa nhóm ánh xạ không giãn trong không gian Hilbert rất quan trọng trong toán học, có nhiều ứng dụng trong khoa học, vật lí, tối ưu và kinh tế. chương sau. 16 Chương 2 Nghiệm của bài toán cân bằng và điểm bất động của nửa nhóm không giãn trong không gian Hilbert Trong chương này trình bày vấn đề cơ bản của luận văn như sau. Mục 2.1 nội

Ngày đăng: 23/11/2014, 02:12

Từ khóa liên quan

Tài liệu cùng người dùng

Tài liệu liên quan