Luận văn Thạc sĩ Toán học: Hiệu chỉnh bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn

Chia sẻ: _ _ | Ngày: | Loại File: PDF | Số trang:39

Thêm vào BST

Báo xấu

18
lượt xem 3
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Đề tài luận văn trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân trên tập ràng buộc là tập điểm bất động chung của nửa nhóm ánh xạ không giãn trong không gian Banach. Mời các bạn tham khảo!

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Hiệu chỉnh bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– PHẠM TRUNG HẢO HIỆU CHỈNH BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP ĐIỂM BẤT ĐỘNG CHUNG CỦA NỬA NHÓM KHÔNG GIÃN LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN, 5/2018
ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– PHẠM TRUNG HẢO HIỆU CHỈNH BẤT ĐẲNG THỨC BIẾN PHÂN TRÊN TẬP ĐIỂM BẤT ĐỘNG CHUNG CỦA NỬA NHÓM KHÔNG GIÃN Chuyên ngành: Toán ứng dụng Mã số: 8460112 LUẬN VĂN THẠC SĨ TOÁN HỌC GIÁO VIÊN HƯỚNG DẪN PGS.TS. NGUYỄN THỊ THU THỦY THÁI NGUYÊN, 5/2018
iii Mục lục Bảng ký hiệu 1 Mở đầu 2 Chương 1. Nửa nhóm không giãn và bất đẳng thức biến phân 5 1.1 Nửa nhóm không giãn . . . . . . . . . . . . . . . . . . . . 5 1.1.1 Không gian Banach lồi đều . . . . . . . . . . . . . . 5 1.1.2 Nửa nhóm không giãn . . . . . . . . . . . . . . . . 9 1.1.3 Giới hạn Banach và tính chất . . . . . . . . . . . . 13 1.2 Bất đẳng thức biến phân và một số bài toán liên quan . . 14 1.2.1 Bất đẳng thức biến phân trong không gian Banach 14 1.2.2 Một số bài toán liên quan . . . . . . . . . . . . . . 16 Chương 2. Hiệu chỉnh bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn 19 2.1 Bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn . . . . . . . . . . . . . . . . . . 19 2.1.1 Bài toán . . . . . . . . . . . . . . . . . . . . . . . . 19 2.1.2 Sự tồn tại nghiệm . . . . . . . . . . . . . . . . . . . 20 2.2 Phương pháp hiệu chỉnh Browder–Tikhonov . . . . . . . . 20 2.2.1 Mô tả phương pháp . . . . . . . . . . . . . . . . . . 21 2.2.2 Sự hội tụ . . . . . . . . . . . . . . . . . . . . . . . 21 2.2.3 Ví dụ minh họa . . . . . . . . . . . . . . . . . . . . 26 2.3 Phương pháp hiệu chỉnh lặp . . . . . . . . . . . . . . . . . 28 2.3.1 Mô tả phương pháp . . . . . . . . . . . . . . . . . . 28
iv 2.3.2 Sự hội tụ . . . . . . . . . . . . . . . . . . . . . . . 29 2.3.3 Ví dụ minh họa . . . . . . . . . . . . . . . . . . . . 30 Kết luận 32 Tài liệu tham khảo 33
1 Bảng ký hiệu H không gian Hilbert thực X không gian Banach X∗ không gian đối ngẫu của X SX mặt cầu đơn vị của X R tập các số thực R+ tập các số thực không âm ∅ tập rỗng ∀x với mọi x D(A) miền xác định của toán tử A R(A) miền ảnh của toán tử A A−1 toán tử ngược của toán tử A I toán tử đồng nhất C[a, b] không gian các hàm liên tục trên đoạn [a, b] lp , 1 ≤ p < ∞ không gian các dãy số khả tổng bậc p l∞ không gian các dãy số bị chặn Lp [a, b], 1 ≤ p < ∞ không gian các hàm khả tích bậc p trên đoạn [a, b] d(x, C) khoảng cách từ phần tử x đến tập hợp C lim supn→∞ xn giới hạn trên của dãy số {xn } lim inf n→∞ xn giới hạn dưới của dãy số {xn } xn → x0 dãy {xn } hội tụ mạnh về x0 xn * x0 dãy {xn } hội tụ yếu về x0 J ánh xạ đối ngẫu chuẩn tắc j ánh xạ đối ngẫu chuẩn tắc đơn trị Fix(T ) tập điểm bất động của ánh xạ T c không gian các dãy số hội tụ
2 Mở đầu Bài toán bất đẳng thức biến phân trong không gian vô hạn chiều đã được nhà toán học người Italia là G. Stampacchia và các đồng sự đưa ra đầu tiên vào năm 1960 (xem [16]) trong khi nghiên cứu các bài toán biên tự do. Từ đó các phương pháp bất đẳng thức biến phân vô hạn chiều đã được sử dụng rộng rãi và hiệu quả trong các phương trình vật lý toán. Bất đẳng thức biến phân có nhiều ứng dụng trong các lĩnh vực kinh tế, kỹ thuật, vận trù học v.v. . . . Vì vai trò quan trọng của bất đẳng thức biến phân trong lý thuyết toán học cũng như trong ứng dụng thực tế nên nó luôn là một đề tài thời sự, được nhiều nhà toán học quan tâm nghiên cứu. Bất đẳng thức biến phân loại đơn điệu, nói chung, thuộc lớp bài toán đặt không chỉnh theo nghĩa Hadamard, nghĩa là bài toán (khi dữ kiện thay đổi nhỏ) hoặc không tồn tại nghiệm, hoặc nghiệm không duy nhất hoặc nghiệm không phụ thuộc liên tục vào dữ kiện ban đầu. Những người có công đặt nền móng cho lý thuyết bài toán đặt không chỉnh là các nhà toán học A.N. Tikhonov (1963) [14], M.M. Lavrentiev (1967) [11] và V.K. Ivanov (1978) [10] v.v. . . . Do tính không ổn định của bài toán đặt không chỉnh nên việc giải số của nó gặp nhiều khó khăn. Lý do là một sai số nhỏ trong dữ kiện của bài toán có thể dẫn đến sai số bất kỳ trong lời giải. Để giải loại bài toán này ta phải sử dụng các phương pháp giải ổn định sao cho khi sai số của dữ kiện càng nhỏ thì nghiệm xấp xỉ tìm được càng gần với nghiệm đúng của bài toán ban đầu. Một trong những phương pháp được sử dụng rộng rãi và khá hiệu quả đó là
3 phương pháp hiệu chỉnh Tikhonov. Kể từ năm 1963 khi A.N. Tikhonov [14] đưa ra phương pháp hiệu chỉnh nổi tiếng, gọi là phương pháp hiệu chỉnh Tikhonov, thì lý thuyết bài toán đặt không chỉnh được phát triển hết sức sôi động và có mặt ở hầu hết các bài toán thực tế. Trên cơ sở ý tưởng hiệu chỉnh của A.N. Tikhonov, F. Browder, Ya.I. Alber, I.P. Ryazansteva, O.A. Liskovets v.v. . . đã phát triển các phương pháp hiệu chỉnh mới cho lớp bài toán bất đẳng thức biến phân loại đơn điệu từ không gian Hilbert sang không gian Banach, từ bài toán tuyến tính sang bài toán phi tuyến, từ bài toán đơn trị sang bài toán đa trị v.v. . . . (xem [4], [8], [12] và các tài liệu được trích dẫn trong đó). Đề tài luận văn trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân trên tập ràng buộc là tập điểm bất động chung của nửa nhóm ánh xạ không giãn trong không gian Banach trong bài báo [13] của Nguyễn Thị Thu Thủy và các đồng tác giả công bố năm 2017. Nội dung của đề tài được trình bày trong hai chương. Chương 1 với tiêu đề "Nửa nhóm không giãn và bất đẳng thức biến phân", trình bày một số khái niệm và tính chất của không gian Banach, ánh xạ không giãn, nửa nhóm ánh xạ không giãn và bài toán bất đẳng thức biến phân j-đơn điệu. Chương 2 với tiêu đề "Hiệu chỉnh bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm không giãn", trình bày hai phương pháp hiệu chỉnh giải bất đẳng thức biến phân trên tập điểm bất động chung của nửa nhóm ánh xạ không giãn, trình bày các định lý hội tụ mạnh của hai phương pháp cùng hai ví dụ minh họa. Luận văn được hoàn thành tại Trường Đại học Khoa học - Đại học Thái Nguyên. Trong quá trình học tập và thực hiện luận văn này, Trường Đại học Khoa học đã tạo mọi điều kiện tốt nhất để tác giả học tập, nghiên cứu. Tác giả xin được bày tỏ lòng biết ơn chân thành đến các thầy, cô trong khoa Toán - Tin, trong Trường Đại học Khoa học - Đại học Thái Nguyên. Đặc biệt, tác giả xin bày tỏ lòng biết ơn sâu sắc tới PGS.TS. Nguyễn Thị Thu Thủy - Người đã tận tình hướng dẫn tác giả
4 hoàn thành luận văn này. Tác giả cũng xin được gửi lời cảm ơn tới Ban giám hiệu trường THPT Ân Thi, Hưng Yên và tập thể các thầy cô giáo trong tổ Toán Tin của Trường đã tạo điều kiện giúp đỡ tác giả trong thời gian tác giả tham gia học cao học. Thái Nguyên, tháng 5 năm 2018 Tác giả luận văn Phạm Trung Hảo
5 Chương 1 Nửa nhóm không giãn và bất đẳng thức biến phân Chương này trình bày một số khái niệm và tính chất của không gian Banach; ánh xạ j-đơn điệu, ánh không giãn, nửa nhóm ánh xạ không giãn, giới hạn Banach, bất đẳng thức biến phân và một số bài toán liên quan đến bất đẳng thức biến phân. Các kiến thức của chương này được tham khảo từ các tài liệu [1], [2], [3] và các tài liệu được trích dẫn trong đó. 1.1 Nửa nhóm không giãn Mục này trình bày các định nghĩa, ví dụ về không gian Banach lồi đều có chuẩn khả vi Gâteaux đều; định nghĩa, ví dụ về ánh xạ đối ngẫu chuẩn tắc của không gian Banach, tính chất của ánh xạ đối ngẫu chuẩn tắc; định nghĩa, ví dụ về ánh xạ j-đơn điệu, nửa nhóm ánh xạ không giãn trong không gian Banach; định nghĩa giới hạn Banach và tính chất. 1.1.1 Không gian Banach lồi đều Cho X là một không gian Banach thực, X ∗ là không gian đối ngẫu của X và hx, x∗ i là ký hiệu giá trị của x∗ ∈ X ∗ tại x ∈ X. Ký hiệu 2X là một họ các tập con khác rỗng của X. Ký hiệu SX := {x ∈ X : kxk = 1} là mặt cầu đơn vị của không gian Banach X.
6 Định nghĩa 1.1.1 Không gian Banach X được gọi là lồi chặt nếu với mọi x, y ∈ SX , x 6= y ta có k(1 − λ)x + λyk < 1 với mọi λ ∈ (0, 1). Chú ý 1.1.2 Định nghĩa 1.1.1 có thể được phát biểu dưới dạng tương đương: Không gian Banach X được gọi là lồi chặt nếu với mọi x, y ∈ SX , x 6= y thì x + y 2 < 1. Ví dụ 1.1.3 Không gian Hilbert H là một không gian lồi chặt. Thật vậy, từ đẳng thức hình bình hành kx + yk2 + kx − yk2 = 2 kxk2 + kyk2 , suy ra với mọi x, y ∈ SH , x 6= y ta có x + y 2 1 1 1 2 = kxk + kyk − kx − yk2 = 1 − kx − yk2 < 1. 2 2 2 4 4 Định nghĩa 1.1.4 Không gian Banach X được gọi là một không gian lồi đều nếu với mọi ε > 0, với mọi x, y ∈ X thỏa mãn kxk ≤ 1, kyk ≤ 1, kx − yk ≥ ε, tồn tại δ = δ(ε) > 0 sao cho x + y 2 ≤ 1 − δ. Ví dụ 1.1.5 Không gian Hilbert H là một không gian lồi đều. Thật vậy, từ đẳng thức hình bình hành kx + yk2 + kx − yk2 = 2 kxk2 + kyk2 , với kxk ≤ 1, kyk ≤ 1, x 6= y và kx − yk ≥ ε ta có kx + yk2 ≤ 4 − ε2 . Từ đây suy ra x + y 2 ≤ 1 − δ(ε), p với δ(ε) = 1 − 1 − ε2 /4.
7 Định nghĩa 1.1.6 Không gian Banach X được gọi là (i) có chuẩn khả vi Gâteaux (hay không gian trơn) nếu với mỗi y ∈ SX giới hạn kx + tyk − kxk lim t→0 t tồn tại với x ∈ SX , ký hiệu là hy, 5kxki và 5kxk được gọi là đạo hàm Gâteaux của chuẩn; (ii) có chuẩn khả vi Gâteaux đều nếu giới hạn trên đạt được đều với mọi x ∈ SX . Ví dụ 1.1.7 Các không gian lp , Lp [a, b] (1 < p < ∞) là các không gian Banach trơn. Định nghĩa 1.1.8 Cho X là một không gian Banach, hàm số ρX : R+ −→ R+ được gọi là mô đun trơn của X nếu n kx + yk + kx − yk o ρX (t) = sup − 1 : kxk = 1, kyk = t 2 n kx + tyk + kx − tyk o = sup − 1 : kxk = 1, kyk = 1 , t > 0. 2 Định nghĩa 1.1.9 Không gian Banach X được gọi là trơn đều nếu ρX (t) ρX (0) = lim = 0. t→0 t Ví dụ 1.1.10 Không gian lp (1 < p ≤ 2) là không gian trơn đều. Thật vậy, 1 ρlp (t) (1 + tp ) p − 1 lim = lim = 0. t→0 t t→0 t Định nghĩa 1.1.11 Không gian Banach X được gọi là q-trơn đều, q > 1, nếu tồn tại số c > 0 sao cho ρX (t) ≤ ctq , t ∈ [0; +∞) . Sau đây ta trình bày khái niệm về ánh xạ j-đơn điệu.
8 ∗ Định nghĩa 1.1.12 Ánh xạ Jq : X → 2X , q > 1 (nói chung là đa trị) xác định bởi Jq x = uq ∈ X ∗ : hx, uq i = kxkkuq k, kuq k = kxkq−1 , được gọi là ánh xạ đối ngẫu tổng quát của không gian Banach X. Khi q = 2, ánh xạ J2 được ký hiệu là J và được gọi là ánh xạ đối ngẫu chuẩn tắc của X. Tức là Jx = u ∈ X ∗ : hx, ui = kxkkuk, kuk = kxk . Ánh xạ đối ngẫu chuẩn tắc tồn tại trong mọi không gian Banach X. Ví dụ 1.1.13 Ánh xạ đối ngẫu chuẩn tắc trong không gian Hilbert H là ánh xạ đơn vị I. ∗ Định nghĩa 1.1.14 Ánh xạ đối ngẫu chuẩn tắc J : X → 2X của không gian Banach X được gọi là (i) liên tục yếu theo dãy nếu J đơn trị và với mọi dãy {xn } ⊂ X hội tụ yếu đến x (xn * x) thì Jxn hội tụ yếu đến Jx (Jxn * Jx) theo tôpô yếu∗ trong X ∗ . (ii) liên tục mạnh-yếu∗ nếu J đơn trị và với mọi dãy {xn } hội tụ mạnh đến x (xn → x) thì Jxn hội tụ yếu đến Jx (Jxn * Jx) theo tôpô yếu∗ trong X ∗ . Nhận xét 1.1.15 Không gian lp , 1 < p < ∞, có ánh xạ đối ngẫu chuẩn tắc liên tục yếu theo dãy. Ánh xạ đối ngẫu chuẩn tắc trong không gian Lp [a, b], 1 < p < ∞, không thỏa mãn tính chất này. Tính đơn trị của ánh xạ đối ngẫu chuẩn tắc có mối liên hệ với tính khả vi của chuẩn của không gian Banach như khẳng định trong định lý sau đây. Định lý 1.1.16 (xem [3]) Cho X là không gian Banach với ánh xạ đối ∗ ngẫu chuẩn tắc J : X → 2X . Khi đó các khẳng định sau là tương đương: (i) X là không gian trơn;
9 (ii) J là đơn trị; (iii) Chuẩn của X là khả vi Gâteaux với 5kxk = kxk−1 Jx. Chú ý 1.1.17 Ta dùng ký hiệu j để chỉ ánh xạ đối ngẫu chuẩn tắc đơn trị. Định lý 1.1.18 (xem [3]) Cho X là không gian Banach có chuẩn khả vi Gâteaux đều. Khi đó ánh xạ đối ngẫu chuẩn tắc j : X → X ∗ là liên tục đều mạnh-yếu∗ trên mọi tập con bị chặn trong X. Bổ đề 1.1.19 (xem [19]) Cho số thực q > 1 và X là không gian Banach thực trơn. Khi đó các khẳng định sau là tương đương: (i) X là không gian q-trơn đều. (ii) Tồn tại một hằng số Cq > 0 sao cho với mọi x, y ∈ X, bất đẳng thức sau đây thỏa mãn: kx + ykq ≤ kxkq + qhy, jq (x)i + Cq kykq . Chú ý 1.1.20 Hằng số Cq trong Bổ đề 1.1.19 được gọi là hằng số q-trơn đều của không gian Banach X. 1.1.2 Nửa nhóm không giãn Cho X là một không gian Banach, T : X → X là một ánh xạ. Tập hợp tất cả các điểm bất động của ánh xạ T được ký hiệu là Fix(T ) = {x ∈ X | T x = x} . Ví dụ 1.1.21 Xét ánh xạ T : R → R, T x = x. Do mọi số thực x đều thỏa mãn T x = x nên Fix(T ) = R. Ví dụ 1.1.22 Xét ánh xạ T : R → R, T x = x2 + 1. Do không tồn tại x thỏa mãn x2 + 1 = x nên Fix(T ) = ∅. Ví dụ 1.1.23 Xét ánh xạ T : R → R, T x = x2 + 2x. Do x2 + 2x = x tương đương với x = 0 hoặc x = −1 nên Fix(T ) = {0; −1}.
10 Định nghĩa 1.1.24 Cho C là một tập con khác rỗng của không gian Banach X. (i) Ánh xạ T : C → X được gọi là ánh xạ L-liên tục Lipschitz nếu tồn tại hằng số L > 0 sao cho kT x − T yk ≤ Lkx − yk ∀x, y ∈ C. (1.1) (ii) Trong (1.1), nếu L ∈ (0, 1) thì T được gọi là ánh xạ co; nếu L = 1 thì T được gọi là ánh xạ không giãn. Ví dụ 1.1.25 Ánh xạ A : R → R, Ax = 2x không phải là một ánh xạ không giãn vì tồn tại x = 1, y = 2 thỏa mãn |Ax − Ay| = 3 > |x − y| = 1. Ví dụ 1.1.26 Ánh xạ A : R → R, Ax = x là một ánh xạ không giãn vì với mọi x, y ∈ R, |Ax − Ay| = |x − y|. Định nghĩa 1.1.27 Ánh xạ A : (D(A) = X) → X được gọi là giả co nếu kAx − Ayk ≤ kx − yk2 + k(I − A)x − (I − A)yk2 , ∀x, y ∈ D(A) trong đó I là ánh xạ đồng nhất. Định nghĩa 1.1.28 Ánh xạ A : X → X được gọi là γ-giả co chặt nếu với mỗi x, y ∈ D(A), tồn tại j(x − y) ∈ J(x − y) sao cho hAx − Ay, j(x − y)i ≤ kx − yk2 − γkx − y − (Ax − Ay)k2 với mỗi γ ∈ (0, 1). Định nghĩa 1.1.29 Ánh xạ A : X → X được gọi là (i) η-j-đơn điệu mạnh nếu tồn tại hằng số η > 0 sao cho với mọi x, y ∈ D(A), ta có hAx − Ay, j(x − y)i ≥ ηkx − yk2 ;
11 (ii) j-đơn điệu nếu với mọi x, y ∈ D(A), ta có hAx − Ay, j(x − y)i ≥ 0. Bổ đề 1.1.30 (xem [7]) Cho X là không gian Banach trơn và A : X → X là ánh xạ η-j-đơn điệu mạnh và γ-giả co chặt với η + γ > 1. Khi đó, p (i) Ánh xạ I − A là ánh xạ co với hệ số co là (1 − η)/γ. (ii) Với mọi λ ∈ (0, 1), I − λA là ánh xạ co với hệ số co là 1 − λτ , trong p đó τ = 1 − (1 − η)/γ ∈ (0, 1). Định nghĩa 1.1.31 Cho C là một tập con lồi đóng và khác rỗng của không gian Banach X. Tập hợp {T (s) : s ≥ 0} được gọi là một nửa nhóm ánh xạ không giãn (hay nửa nhóm không giãn) trên C nếu nó thỏa mãn: (i) Với mỗi s > 0, T (s) là một ánh xạ không giãn trên C; (ii) T (0)x = x với mọi x ∈ C; (iii) T (s1 + s2 ) = T (s1 ) ◦ T (s2 ) với mọi s1 , s2 > 0; (iv) Với mỗi x ∈ C, ánh xạ T (·)x từ (0, ∞) vào C là liên tục. Ta ký hiệu F = ∩t≥0 Fix(T (s)) là tập điểm bất động chung của nửa nhóm không giãn {T (s) : s ≥ 0}. Ví dụ 1.1.32 Cho ánh xạ T (t) : R → R xác định bởi T (t)x = 2−t x, x ∈ R. Khi đó {T (t) : t ≥ 0} là một nửa nhóm ánh xạ không giãn trên R với tập điểm bất động chung F = {0}. Thật vậy, với t > 0, với mọi x 6= y ta có |T (t)x − T (t)y| = 2−t |x − y| < |x − y|, nên T (t)x = 2−t x là ánh xạ không giãn. Hiển nhiên các điều kiện (ii) và (iv) của Định nghĩa 1.1.31 thỏa mãn. Mặt khác, T (t + s)x = 2−t−s x = 2−t (2−s x), nên điều kiện (iii) cũng được thỏa mãn.
12 Cuối cùng, với mọi t ≥ 0, T (t)x = x tương đương với 2−t x = x, hay x = 0. Suy ra tập điểm bất động chung của nửa nhóm ánh xạ không giãn này là F = {0}. Ví dụ 1.1.33 Cho ánh xạ T (t) : R3 → R3 xác định như sau    cos t − sin t 0 x1 T (t)x =  sin t cos t 0 x2  ,    0 0 1 x3 ở đây t cố định và x = (x1 , x2 , x3 )T ∈ R3 . Khi đó {T (t) : t ≥ 0} là một nửa nhóm ánh xạ không giãn trên R3 với tập điểm bất động chung F = {x ∈ R3 : x = (0, 0, x3 )T }. Thật vậy, với mọi t ≥ 0 và x, y ∈ R3 ta có T (t)x = (x1 cos t − x2 sin t, x1 sin t + x2 cos t, x3 )T và T (t)y = (y1 cos t − y2 sin t, y1 sin t + y2 cos t, y3 )T . Suy ra p kT (t)x − T (t)yk = kx − yk = (x1 − y1 )2 + (x2 − y2 )2 + (x3 − y3 )2 . Như vậy T (t) là ánh xạ không giãn và điều kiện (i) thỏa mãn. Ta thấy      1 0 0 x1 x1 T (0)x = 0 1 0 x2  = x2       0 0 1 x3 x3 với mọi x ∈ R3 , do đó điều kiện (ii) thỏa mãn. Với mọi t1 , t2 ≥ 0, ta có  x1 cos t2 − x2 sin t2 T (t1 ) ◦ T (t2 )x = T (t1 ) x1 sin t2 + x2 cos t2    x3    cos(t1 + t2 ) − sin(t1 + t2 ) 0 x1 =  sin(t1 + t2 ) cos(t1 + t2 ) 0 x2  = T (t1 + t2 )x.    0 0 1 x3 Do đó điều kiện (iii) thỏa mãn. Dễ thấy điều kiện (iv) thỏa mãn.
13 Lại có, T (t)x = x với mọi t ≥ 0 khi và chỉ khi (x1 cos t − x2 sin t, x1 sin t + x2 cos t, x3 )T = (x1 , x2 , x3 )T với mọi t ≥ 0. Điều này tương đương với x1 = x2 = 0. Do đó tập điểm bất động chung là F = {x ∈ R3 : x = (0, 0, x3 )T }. Bổ đề 1.1.34 (xem [9]) Cho C là tập con khác rỗng, bị chặn, lồi và đóng trong không gian Banach lồi đều X. Cho {T (s) : s ≥ 0} là nửa nhóm ánh xạ không giãn trên C. Khi đó, với bất kì r > 0 và h ≥ 0, Z t Z t 1 1 lim sup T (h) T (s)yds − T (s)yds = 0, t→∞ y∈C∩Br t 0 t 0 ở đây Br = {x ∈ X : kxk ≤ r}. 1.1.3 Giới hạn Banach và tính chất Xét không gian các dãy số bị chặn: `∞ = {x = (x1 , x2 , . . .) : sup |xn | < ∞}. n Định nghĩa 1.1.35 Phiếm hàm µ : `∞ → R được gọi là giới hạn Ba- nach nếu (i) µ là tuyến tính, tức là µ(x + y) = µ(x) + µ(y) và µ(cx) = cµ(x) với mọi x, y ∈ `∞ với c là hằng số. (ii) µ là ánh xạ dương, tức là µ(x) ≥ 0 với mọi x ∈ `∞ sao cho xn ≥ 0 với mọi n ∈ N. (iii) kµk = µ(1, 1, . . .) = 1. (iv) µ(x1 , x2 , . . .) = µ(x2 , x3 , . . .) với mỗi x = (x1 , x2 , . . .) ∈ `∞ . Ta viết µ(xn ) thay cho µ(x1 , x2 , . . . , xn , . . .). Sự tồn tại của giới hạn Banach được bảo đảm nhờ Định lý Hahn–Banach. Định lý 1.1.36 (xem [3]) Luôn tồn tại phiếm hàm tuyến tính liên tục µ trên `∞ sao cho kµk = µ(1) = 1 và µ(xn ) = µ(xn+1 ) với mỗi x = (x1 , x2 , . . .) ∈ `∞ .
14 Một số tính chất của giới hạn Banach µ được công bố dưới đây. Mệnh đề 1.1.37 (xem [3]) Cho µ là giới hạn Banach. Khi đó lim inf xn ≤ µ(xn ) ≤ lim sup xn n→∞ n→∞ với mỗi x = (x1 , x2 , . . .) ∈ `∞ . Hơn nữa, nếu xn → a, thì µ(xn ) = a. Bổ đề 1.1.38 (xem [17]) Cho C là tập con lồi trong không gian Banach X có chuẩn khả vi Gâteaux đều. Giả sử {xn } là dãy bị chặn trong X, z là một điểm trong C và µ là giới hạn Banach. Khi đó, µkxn − zk2 = min µkxn − uk2 u∈C khi và chỉ khi µhu − z, j(xn − z)i ≤ 0 với mọi u ∈ C. Giới hạn Banach là một mở rộng của khái niệm giới hạn thông thường. Tức là, với mọi x = {xn } ∈ c, thì µ(x) = `(x) = limn→∞ xn với mọi giới hạn Banach µ. Tuy nhiên, tồn tại những dãy không hội tụ nhưng lại có giới hạn Banach. Chẳng hạn xét ví dụ sau. Ví dụ 1.1.39 Lấy dãy x = (1, 0, 1, 0, . . .) ∈ `∞ . Khi đó (x1 , x2 , . . . , xn , . . .) + (x2 , x3 , . . . , xn+1 , . . .) = (1, 1, 1, . . .), suy ra µ(xn ) + µ(xn+1 ) = µ(1) = 1 ∀µ. Sử dụng điều kiện (iv) trong Định nghĩa 1.1.35, ta có µ(xn ) = 1/2. 1.2 Bất đẳng thức biến phân và một số bài toán liên quan 1.2.1 Bất đẳng thức biến phân trong không gian Banach Cho X là không gian Banach, C là một tập con lồi đóng của X và j : X → X ∗ là ánh xạ đối ngẫu chuẩn tắc đơn trị của X. Trong phần này ta giả thiết ánh xạ A : X → X là ánh xạ đơn trị. Bài toán bất đẳng
15 thức biến phân j-đơn điệu trong không gian Banach X trên tập lồi C, ký hiệu là VI∗ (A, C), được phát biểu như sau: Tìm x0 ∈ C thỏa mãn: hAx0 , j(x − x0 )i ≥ 0 ∀x ∈ C. (1.2) Định nghĩa 1.2.1 Ánh xạ QC : X → C được gọi là phép co rút không giãn theo tia từ không gian Banach X lên tập con lồi đóng C của X nếu QC thỏa mãn: (i) QC là phép co rút trên C, tức là Q2C = QC ; (ii) QC là ánh xạ không giãn; (iii) QC là ánh xạ theo tia, tức là với mọi 0 < t < ∞ QC (QC (x) + t(x − QC (x))) = QC (x). Tập C được gọi là tập co rút không giãn theo tia nếu tồn tại phép co rút không giãn theo tia QC từ X lên C. Bổ đề 1.2.2 (xem [3]) Mọi tập con C lồi đóng của không gian Banach lồi đều X đều là tập co rút của X, tức là tồn tại phép co rút từ X lên C. Bổ đề 1.2.3 (xem [15]) Cho C là tập con khác rỗng, lồi, đóng của không gian Banach trơn X và QC : X → C là phép co rút từ X lên C. Khi đó, các phát biểu sau là tương đương: (i) QC là ánh xạ không giãn theo tia. (ii) hx − QC (x), j(y − QC (x))i ≤ 0 với mọi x ∈ X, y ∈ C. Chú ý 1.2.4 (i) Khi X là không gian Hilbert H, ánh xạ QC chính là phép chiếu mêtric PC từ H lên C. (ii) Nếu C là tập con khác rỗng, lồi đóng của không gian Hilbert H thì phép chiếu mêtric PC : H → C là phép co rút không giãn theo tia từ H lên C. Tuy nhiên điều này không còn đúng trong không gian Banach. Từ Bổ đề 1.2.3 ta có kết quả về mối quan hệ của bất đẳng thức biến phân (1.2) với bài toán điểm bất động trong không gian Banach trơn.
16 Mệnh đề 1.2.5 (xem [6]) Cho C là tập con khác rỗng, lồi, đóng của không gian Banach trơn X. Khi đó bất đẳng thức biến phân (1.2) tương đương với phương trình điểm bất động: p∗ = QC (I − λA)p∗ , λ > 0, (1.3) tức là VI∗ (A, C) = Fix(QC (I − λA)). Chứng minh. Theo Bổ đề 1.2.3, ta có p∗ ∈ Fix(QC (I − λA)) khi và chỉ khi h(p∗ − λAp∗ ) − p∗ , j(x − p∗ )i ≤ 0 ⇔ h−λAp∗ , j(x − p∗ )i ≤ 0 với mọi x ∈ C và λ > 0. Do λ > 0 nên ta suy ra x0 ∈ VI∗ (A, C). Mệnh đề được chứng minh. 2 Do sự tương đương của bài toán bất đẳng thức biến phân trong không gian Banach trơn với bài toán điểm bất động mà nhiều phương pháp giải bất đẳng thức biến phân trong không gian Banach cũng được xây dựng dựa vào các phương pháp xấp xỉ điểm bất động. 1.2.2 Một số bài toán liên quan Nếu X là không gian hữu hạn chiều Rn , bài toán bất đẳng thức biến phân (1.2) có dạng: hF (x), y − xi ≥ 0 ∀y ∈ C, (1.4) ở đây C là một tập con lồi đóng khác rỗng trong Rn và F : C → Rn là một ánh xạ liên tục. Bài toán bất đẳng thức biến phân trong không gian hữu hạn chiều có mối liên hệ với nhiều bài toán như bài toán cực trị, bài toán điểm bất động, bài toán bù v.v. . . Cho C là tập con lồi đóng trong không gian Rn và f : C → R là hàm số khả vi liên tục trên C. Bài toán cực trị (optimization problem) được phát biểu như sau: Tìm x ∈ C sao cho: f (x) = minf (y). (1.5) y∈C