..
®¹i häc th¸I nguyªn
TRƯỜNG ĐẠI HỌC KHOA HỌC
-----------
Lý minh thïy
XÊp xØ ®iÓm bÊt ®éng cña ¸nh x¹ kh«ng gi·n
trong kh«ng gian hilbert
luËn v¨n th¹c sÜ to¸n häc
Th¸I nguyªn, 2014
Mục lục
Lời cảm ơn . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
Danh mục ký hiệu . . . . . . . . . . . . . . . . . . . . . . .
3
Mở đầu . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4
1 Bài toán điểm bất động của ánh xạ không giãn
6
1.1
Không gian Hilbert . . . . . . . . . . . . . . . . . . . .
6
1.2
Ánh xạ không giãn . . . . . . . . . . . . . . . . . . . .
9
1.3
Bài toán điểm bất động . . . . . . . . . . . . . . . . .
12
1.3.1
Bài toán điểm bất động . . . . . . . . . . . . .
12
1.3.2
Một số phương pháp xấp xỉ điểm bất động . . .
15
Một số bổ đề bổ trợ . . . . . . . . . . . . . . . . . . . .
18
1.4
2 Xấp xỉ điểm bất động của ánh xạ không giãn
19
2.1
Phương pháp lặp Mann-Halpern cải biên . . . . . . . .
19
2.2
Điểm bất động chung của hai ánh xạ không giãn . . . .
26
2.3
Phương pháp lai ghép thu hẹp . . . . . . . . . . . . . .
33
Kết luận . . . . . . . . . . . . . . . . . . . . . . . . . . . .
35
1
LỜI CẢM ƠN
Luận văn này được hoàn thành tại trường Đại học Khoa học - Đại
học Thái Nguyên dưới sự hướng dẫn của PGS. TS Đỗ Văn Lưu. Tác
giả xin bày tỏ lòng biết ơn về sự tận tâm và nhiệt tình của Thầy trong
suốt quá trình tác giả thực hiện luận văn.
Trong quá trình học tập và làm luận văn, từ bài giảng của các Giáo
sư, Phó Giáo sư công tác tại Viện Toán học, Viện Công nghệ Thông
tin - Viện Hàn lâm Khoa học và Công nghệ Việt Nam, trường Đại học
Khoa học Tự nhiên - Đại học Quốc gia Hà Nội, các Thầy Cô trong
Đại học Thái Nguyên, tác giả đã trau dồi thêm rất nhiều kiến thức
phục vụ cho việc nghiên cứu và công tác của bản thân. Từ đáy lòng
mình, tác giả xin bày tỏ lòng cảm ơn sâu sắc tới các Thầy Cô.
Tác giả xin chân thành cảm ơn Ban giám hiệu, Phòng Đào tạo,
Khoa Toán - Tin trường Đại học Khoa học - Đại học Thái Nguyên đã
quan tâm và giúp đỡ tác giả trong suốt thời gian học tập tại Trường.
Cuối cùng tôi xin gửi lời cảm ơn tới gia đình, bạn bè, lãnh đạo đơn
vị công tác và đồng nghiệp đã động viên, giúp đỡ và tạo điều kiện tốt
nhất cho tôi khi học tập và nghiên cứu.
Tác giả
Lý Minh Thùy
2
DANH MỤC KÝ HIỆU
X
Không gian Banach thực
H
Không gian Hilbert thực
∅
Tập rỗng
∀x
Với mọi x
∃x
Tồn tại x
D(T )
Miền xác định của toán tử T
Fix(T )
Tập các điểm bất động của toán tử T
xn → x Dãy {xn } hội tụ mạnh tới x
xn * x Dãy {xn } hội tụ yếu tới x
3
MỞ ĐẦU
Lý thuyết điểm bất động có ứng dụng trong nhiều lĩnh vực khác
nhau của toán học như giải tích số, phương trình vi phân, phương
trình đạo hàm riêng, tối ưu hóa, bất đẳng thức biến phân, bài toán
chấp nhận lồi, bài toán cân bằng . . . .
Cho H là một không gian Hilbert thực;C là một tập con lồi,đóng,khác
rỗng của H; T : C → H là một ánh xạ phi tuyến. Điểm x∗ ∈ C thỏa
mãn T x∗ = x∗ gọi là điểm bất động của ánh xạ T . Trong nhiều trường
hợp, việc giải một phương trình được đưa về bài toán tìm điểm bất
động của một ánh xạ thích hợp. Chẳng hạn nghiệm của phương trình
toán tử Ax = f , ở đây A : H → H là một ánh xạ phi tuyến, f
là phần tử thuộc H, là điểm bất động của ánh xạ S xác định bởi
Sx = Ax + x − f với x ∈ H.
Lý thuyết điểm bất động và vấn đề xấp xỉ điểm bất động là vấn đề
thời sự, được nhiều nhà toán học quan tâm nghiên cứu.
Mục đích của đề tài luận văn này nhằm trình bày một số kết quả
mới đây của Giáo sư Nguyễn Bường về xấp xỉ điểm bất động của ánh
xạ không giãn trong không gian Hilbert.
Nội dung của luận văn được trình bày trong hai chương. Chương
1 trình bày một số kiến thức cơ bản về không gian Hilbert, bài toán
điểm bất động và một số phương pháp xấp xỉ điểm bất động của ánh
xạ.
Trong chương 2, chúng tôi trình bày phương pháp xấp xỉ điểm bất
động của ánh xạ không giãn trong không gian Hilbert.
4
Đóng góp chính của chúng tôi trong luận văn là đọc, dịch, tổng hợp
kiến thức trong các tài liệu [2] và [3]. Toàn bộ phần chứng minh các
định lý trong chương 2 được chúng tôi làm rõ từ các kết quả nghiên
cứu đã công bố trong [2] và [3].
5
Chương 1
Bài toán điểm bất động của ánh
xạ không giãn
Trong chương này, trước hết chúng tôi giới thiệu về không gian
Hilbert thực, ánh xạ không giãn trong không gian Hilbert nhằm trang
bị những kiến thức cần thiết cho việc trình bày phương pháp xấp xỉ
điểm bất động của ánh xạ không giãn. Tiếp đó, chúng tôi trình bày về
bài toán điểm bất động của ánh xạ không giãn và một số phương pháp
lặp cổ điển giải bài toán này như phương pháp lặp Mann, phương pháp
lặp Ishikawa và phương pháp lặp Halpern. Các kiến thức của chương
này được tham khảo trong các tài liệu [1]-[7].
1.1
Không gian Hilbert
Trong mục này, chúng tôi trình bày khái niệm và một số kết quả về
không gian Hilbert thực H.
Đị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ạ, ký hiệu h·, ·i : H × H → R thỏa
mãn các điều kiện sau:
6
i) hx, xi > 0,
∀x 6= 0, hx, xi = 0 ⇔ x = 0;
ii) hx, yi = hy, xi,
∀x, y ∈ H;
iii) hαx, yi = αhx, yi,
∀x, y ∈ H, ∀α ∈ R;
iv) hx + y, zi = hx, zi + hy, zi,
∀x, y, z ∈ H.
Không gian tuyến tính H cùng với tích vô hướng h·, ·i được gọi là
không gian tiền Hilbert.
Nhận xét 1.1. i) Không gian tiền Hilbert là một không gian định
chuẩn với chuẩn:
1
||x|| = hx, xi 2 ,
∀x ∈ H.
ii) Đẳng thức hình bình hành luôn thỏa mãn trong không gian tiền
Hilbert H:
||x + y||2 + ||x − y||2 = 2(||x||2 + ||y||2 ),
∀x, y ∈ H.
Ngược lại, nếu không gian định chuẩn X có chuẩn thỏa mãn đẳng
thức hình bình hành thì trên đó ta có thể xây dựng một tích vô hướng
1
hx, yi = (||x + y||2 − ||x − y||2 ),
4
∀x, y ∈ X.
Khi đó X trở thành không gian tiền Hilbert.
iii) Trong không gian tiền Hilbert H bất đẳng thức Schwarz luôn
thỏa mãn:
|hx, yi| ≤ ||x||.||y||,
∀x, y ∈ H.
Định nghĩa 1.2. Không gian tiền Hilbert đầy đủ được gọi là không
gian Hilbert.
Ví dụ 1.1. Các không gian Rn , L2 [a, b] là các không gian Hilbert với
7
tích vô hướng được xác định tương ứng là:
hx, yi =
hx, yi =
n
X
xi yi , x = (x1 , x2 , ..., xn ), y = (y1 , y2 , ..., yn ) ∈ Rn ;
i=1
Zb
x(t)y(t)dt, x(t), y(t) ∈ L2 [a, b].
a
Định nghĩa 1.3. Dãy {xn }∞
n=1 trong không gian Hilbert H được gọi
là hội tụ yếu đến phần tử x ∈ H nếu n→∞
lim hxn , yi = hx, yi, với mọi
y ∈ H.
Định nghĩa 1.4. Tập hợp C ⊂ H được gọi là lồi nếu
∀x1 , x2 ∈ C, ∀λ ∈ (0, 1) ⇒ λx1 + (1 − λ)x2 ∈ C.
Ví dụ 1.2. Trong không gian hữu hạn chiều, mặt phẳng, đoạn thẳng,
đường thẳng, tam giác, hình cầu là các tập lồi.
Định nghĩa 1.5. Tập C ⊂ H được gọi là tập đóng nếu mọi dãy hội
tụ {xn } ⊂ C đều có giới hạn thuộc C, tức là
¨
«
∀{xn } ⊂ C : xn → x ⇒ x ∈ C.
Ví dụ 1.3. Hình cầu đóng B(x, r) tâm x, bán kính r là tập đóng.
Bổ đề 1.1. Giả sử H là không gian Hilbert thực, C là một tập con
lồi, đóng trong H và các điểm x, y, z ∈ H. Với một số thực a bất kỳ,
tập hợp
¨
2
2
v ∈ C : ky − vk ≤ kx − vk + hz, vi + a
là tập lồi đóng trong H.
8
«
1.2
Ánh xạ không giãn
Cho H là không gian Hilbert thực, T : H → H là một ánh xạ với
miền xác định là D(T ), miền giá trị là R(T ).
Định nghĩa 1.6. Ánh xạ T : H → H được gọi là liên tục Lipschitz
nếu tồn tại một hằng số L > 0 thỏa mãn
kT x − T yk ≤ Lkx − yk,
∀x, y ∈ D(T ).
(1.1)
Số L được gọi là hằng số Lipschitz của T .
Nếu L < 1 thì T là ánh xạ co và nếu L = 1 thì T là ánh xạ không
giãn, nghĩa là:
kT x − T yk ≤ kx − yk,
∀x, y ∈ D(T ).
(1.2)
Sau đây là khái niệm và một số tính chất của phép chiếu mêtric.
Định nghĩa 1.7. Cho C là một tập con lồi ,đóng của không gian
Hilbert thực H, phép chiếu mêtric PC từ H lên C cho tương ứng mỗi
x ∈ H với phần tử PC (x) ∈ C thỏa mãn
kx − PC (x)k ≤ kx − yk với mọi y ∈ C.
Bổ đề 1.2. Cho C là tập con lồi, đóng trong không gian Hilbert thực
H, với bất kì x ∈ H, tồn tại duy nhất z ∈ C sao cho ||z−x|| ≤ ||y−x||,
với mọi y ∈ C và z = PC (x) nếu và chỉ nếu hz − x, y − zi ≥ 0, với
mọi y ∈ C
Định lý 1.1. Nếu C là một tập con lồi ,đóng , khác rỗng trong không
gian Hilbert H thì tồn tại một phần tử duy nhất x0 của C sao cho
kx0 k ≤ kxk với mọi x ∈ C.
9
Chứng minh. Áp dụng đẳng thức hình bình hành ta có
kx + yk2 + kx − yk2 = 2 kxk2 + kyk2
với mọi x, y ∈ C.
Do đó
2
2
2
kx − yk = 2 kxk + kyk
−
x
4
+ y
2
2
(1.3)
x + y
x+y
≥
Đặt d = inf kxk. Vì C là một tập lồi nên
∈ C. Do đó
x∈C
2
2
d. Từ đó và từ đẳng thức (1.3) suy ra
kx − yk2 ≤ 2kxk2 + 2kyk2 − 4d2 .
(1.4)
Nếu kxk = d và kyk = d thì từ (1.4) suy ra x = y. Do đó phần tử x0
nói trong định lý, nếu tồn tại, là duy nhất. Do định nghĩa của d, tồn
tại một dãy phần tử xn của C sao cho n→∞
lim kxn k = d. Theo (1.4), với
mọi n ta có
kxn − xm k2 ≤ 2kxn k2 + 2kyn k2 − 4d2 .
Do đó m,n→∞
lim ||xn − xm || = 0. Vậy {xn } là một dãy Cauchy. Vì H là
không gian đầy đủ nên dãy xn hội tụ đến x0 ∈ H. Do C là một tập
đóng trong H nên x0 ∈ C. Ngoài ra, kx0 k = n→∞
lim kxn k = d.
Mệnh đề 1.1. Cho C là một tập con lồi ,đóng ,khác rỗng của không
gian Hilbert H và PC là phép chiếu mêtric từ H lên C. Khi đó những
điều sau thỏa mãn:
(i) PC (PC (x)) = PC (x) với mọi x ∈ H;
(ii) PC là ánh xạ đơn điệu mạnh, nghĩa là:
hx − y, PC (x) − PC (y)i ≥ kPC (x) − PC (y)k2 ,
10
∀x, y ∈ H;
(iii) PC là ánh xạ không giãn, nghĩa là :
kPC (x) − PC (y)k ≤ kx − yk ,
∀x, y ∈ H;
(iv) PC là ánh xạ đơn điệu, nghĩa là
hPC (x) − PC (y) , x − yi ≥ 0,
∀x, y ∈ H;
(v) xn * x0 và PC (xn ) → y0 ⇒ PC (x0 ) = y0 .
Chứng minh. (i) Giả sử rằng PC (x) ∈ C với mọi x ∈ H và PC (z) = z
với mọi z ∈ C, khi đó PC (PC (x)) = PC (x) với mọi x ∈ H.
(ii) Với mọi x, y ∈ H, ta có
hx − PC (x) , PC (x) − PC (y)i ≥ 0
và
hy − PC (y) , PC (x) − PC (y)i ≥ 0.
Điều đó kéo theo
hx − y, PC (x) − PC (y)i ≥ kPC (x) − PC (y)k2 .
(iii) là hệ quả trực tiếp của (ii).
(iv) được suy ra từ (ii).
(v) Từ Bổ đề 1.2 ta có:
hxn − PC (xn ), PC (xn ) − zi ≥ 0 với mọi z ∈ C.
Vì xn * x0 và PC (xn ) → y0 , nên
hx0 − y0 , y0 − zi ≥ 0 với mọi z ∈ C.
11
1.3
1.3.1
Bài toán điểm bất động
Bài toán điểm bất động
Định nghĩa 1.8. Phần tử x ∈ D(T ) trong không gian Hilbert H
được gọi là một điểm bất động của ánh xạ T : D(T ) ⊆ H → H nếu
x = T x.
Ký hiệu tập các điểm bất động của ánh xạ T là Fix(T ). Chú ý rằng
tập điểm bất động của ánh xạ không giãn T : D(T ) ⊆ H → H trong
không gian Hilbert H, nếu khác rỗng, là một tập con lồi và đóng của
H.
Bài toán điểm bất động được phát biểu như sau: Cho C là một tập
con lồi của không gian Hilbert H, T : C → H là một ánh xạ.
Hãy tìm phần tử x∗ ∈ C sao cho T x∗ = x∗ .
(1.5)
Việc tìm nghiệm của bài toán điểm bất động (1.5) tương đương với
việc giải phương trình toán tử
T x − x = 0.
(1.6)
Định lý điểm bất động Banach được đưa ra trong luận án của
Banach vào năm 1922. Nó được sử dụng để thiết lập sự tồn tại nghiệm
của phương trình tích phân. Kể từ đó, vì sự đơn giản và hữu dụng,
Định lý điểm bất động Banach đã trở thành một công cụ rất phổ biến
trong việc giải quyết các vấn đề tồn tại trong nhiều ngành của toán
học giải tích.
Định lý 1.2. (Định lý điểm bất động Banach) Cho (X, d) là không
gian mêtric đầy đủ và T : X → X là một ánh xạ co. Khi đó, T có duy
12
nhất điểm bất động x̄ trong X và với mỗi x0 ∈ X, dãy lặp {xn } được
định nghĩa bởi xn+1 = T xn , với n ≥ 0 hội tụ tới x̄.
Chứng minh. Đặt xn+1 = T xn với n ≥ 0. Do T : X → X là một ánh
xạ co, nên tồn tại hằng số λ ∈ [0, 1) sao cho
d(T x, T y) ≤ λd(x, y).
Ta có
d(xn , xn+1 ) = d(T xn−1 , T xn ) ≤ λd(xn−1 , xn )
≤ λ2 d(xn−2 , xn−1 )
≤ ...
≤ λn d(x0 , x1 ).
Lấy m > n, suy ra
d(xn , xm ) ≤ d(xn , xn+1 ) + d(xn+1 , xn+2 ) + . . . + d(xm−1 , xm )
≤ (λn + λn+1 + . . . + λm−1 )d(x0 , x1 )
≤ λn (1 + λ + . . . + λm−n−1 )d(x0 , x1 )
1
≤ λn
d(x0 , x1 ) → 0 khi n → ∞.
1−λ
Do đó {xn } là dãy Cauchy trong không gian mêtric đầy đủ X. Suy ra
dãy {xn } hội tụ tới x̄ ∈ X. Với mỗi n ta có:
0 ≤ d(x̄, T x̄) ≤ d(x̄, xn ) + d(xn , T x̄)
= d(x̄, xn ) + d(T xn−1 , T x̄)
≤ d(x̄, xn ) + λd(xn−1 , x̄).
Vì dãy {xn } hội tụ về x̄ ∈ X nên d(x̄, xn ) + λd(xn−1 , x̄) → 0 khi
n → ∞. Từ đó 0 ≤ d(x̄, T x̄) ≤ 0 suy ra d(x̄, T x̄) = 0 hay T x̄ = x̄. Vậy
x̄ là điểm bất động của ánh xạ T .
13
Giả sử tồn tại x̃ ∈ X sao cho T x̃ = x̃. Khi đó:
d(x̄, x̃) = d(T x̄, T x̃) ≤ λd(x̄, x̃).
Vì λ ∈ [0, 1) nên từ bất đẳng thức trên suy ra d(x̄, x̃) = 0 do đó
x̄ = x̃.
Chú ý rằng, nếu một ánh xạ không giãn T : X → X có điểm bất
động thì nó có thể không duy nhất và dãy {xn } được xác định bởi
xn+1 = T xn với n = 0, 1, 2, . . . có thể không hội tụ tới điểm bất động
của ánh xạ T . Ví dụ, cho T : R → R xác định bởi T x = 1 − x. Khi
đó, cho x0 = 1, dãy {xn } được xác định bởi:
x1 = T x0 ,
x2 = T x1 = 1,
x3 = T x2 = 0,
..
.
x2n = T x2n−1 = 1,
x2n+1 = T x2n = 0,
..
.
1
∈ R của ánh xạ T .
2
Nếu C là một tập con lồi của X và T : C → C là một ánh xạ không
không hội tụ tới điểm bất động duy nhất
giãn thì với mọi λ ∈ (0; 1) ánh xạ Tλ : C → C được xác định bởi:
Tλ x = λx + (1 − λ)T x,
∀x ∈ C
cũng là ánh xạ không giãn đồng thời T và Tλ có cùng điểm bất động
trong C.
14
1.3.2
Một số phương pháp xấp xỉ điểm bất động
Trong mục này chúng ta nhắc lại một số phương pháp xấp xỉ điểm
bất động cổ điển, đó là phương pháp lặp Mann, phương pháp lặp
Ishikawa và phương pháp lặp Halpern.
• Phương pháp lặp Mann
Năm 1953, Mann [6] đã đưa ra một dãy lặp hội tụ mạnh đến điểm
bất động của ánh xạ T .
Định lý 1.3. Cho T là một toán tử liên tục từ tập compact [a, b] vào
chính nó. Khi đó dãy {xn } trong [a, b] được xác định bởi:
x0 ∈ [a; b] ,
xn+1 = T xn ,
xn =
n
X
xk
,
k
k=1
n≥0
(1.7)
hội tụ tới một điểm bất động của T .
Hầu hết các nghiên cứu về phương pháp lặp Mann với dãy {xn }
được xác định bởi:
x 0
∈ K,
xn+1
(1.8)
= (1 − αn ) xn + αn T xn ,
n ≥ 0,
trong đó K là một tập lồi đóng của H và {αn } là dãy thực thỏa mãn:
(C1 ) α0 = 1,
(C2 ) 0 < αn < 1, n ≥ 1,
(C3 )
∞
P
n=0
αn = ∞.
Người ta gọi (1.7) là dãy lặp Mann tổng quát và (1.8) là dãy lặp
Mann.
Nakajo và Takahashi [7] đã đề xuất một cải tiến của phương pháp
lặp Mann cho trường hợp T là một ánh xạ không giãn trong không
15
gian Hilbert như sau:
x0 ∈ C bất kỳ;
yn = βn xn + (1 − βn )T xn ;
Cn = {z ∈ C : ||yn − z|| ≤ ||xn − z||};
(1.9)
Qn = {z ∈ C : hxn − z, x0 − xn i ≥ 0};
xn+1 = PCn ∩Qn (x0 ),
n ≥ 0,
ở đây PC là phép chiếu mêtrix từ H lên tập con lồi ,đóng C của H.
Họ đã chứng minh được rằng nếu dãy {βn } bị chặn trên bởi 1 thì dãy
lặp {xn } xác định bởi (1.9) hội tụ mạnh về PFix(T ) (x0 ). Phương pháp
này có nhược điểm là việc tính toán hình chiếu của x0 lên giao của
hai tập lồi,đóng bất kỳ Cn và Qn gặp nhiều khó khăn.
• Phương pháp lặp Ishikawa
Năm 1974, Ishikawa [5] đã nghiên cứu một suy rộng của dãy lặp
Mann, và được gọi là dãy lặp Ishikawa:
Định lý 1.4. Cho K là tập con compact lồi của không gian Hilbert
H và T : K → K là ánh xạ giả co, liên tục Lipschitz. Khi đó, dãy lặp
{xn } trong K xác định bởi:
x0 ∈ C,
(1.10)
yn = (1 − βn ) xn + βn T xn ,
xn+1 = (1 − αn ) xn + αn T yn ,
n≥0
hội tụ mạnh tới điểm bất động của T , trong đó {αn } và {βn } là dãy
thực trong [0, 1] thỏa mãn:
(C4 ) 0 ≤ αn ≤ βn ≤ 1, n ≥ 1,
(C5 ) n→∞
lim βn = 0,
16
(C6 )
∞
P
n=1
αn βn = ∞.
Chú ý rằng, ánh xạ T : K → K được gọi là giả co nếu
kT x − T yk2 ≤ kx − yk2 + k(I − T )x − (I − T )yk2 ,
∀x, y ∈ D(T )
trong đó I là toán tử đồng nhất. Từ định nghĩa này ta thấy mọi ánh
xạ giả co đều là ánh xạ không giãn.
• Phương pháp lặp Halpern
Phương pháp lặp Halpern được Halpern đề xuất năm 1967 trong
[4] dạng:
xn+1 = αn u + (1 − αn )T (xn ),
n ≥ 0,
(1.11)
trong đó u, x0 ∈ C, {αn } ⊂ (0, 1) và T là một ánh xạ không giãn
từ tập con lồi đóng C của không gian Hilbert H vào C. Halpern đã
chứng minh rằng nếu αn = n−α , α ∈ (0, 1) thì dãy {xn } xác định bởi
(1.11) hội tụ về một điểm bất động của ánh xạ T .
Để tìm điểm bất động của ánh xạ không giãn T trên C, Alber đã
đề xuất phương pháp sau:
xn+1 = PC (xn − µn (I − T )xn ),
n ≥ 0, x0 ∈ C,
(1.12)
trong đó I là toán tử đơn vị trong H, và ông đã chứng minh rằng nếu
dãy số thực dương {µn } được chọn sao cho µn → 0 khi n → ∞ và dãy
{xn } bị chặn, thì:
(i) tồn tại một điểm tụ yếu x̄ ∈ C của {xn };
(ii) tất cả các điểm tụ yếu của {xn } thuộc Fix(T );
(iii) nếu Fix(T ) chỉ gồm một điểm, tức là Fix(T ) = {x̄} thì dãy
{xn } hội tụ yếu đến x̄.
17
1.4
Một số bổ đề bổ trợ
Bổ đề 1.3. Cho H là không gian Hilbert thực. Khi đó
||x − y||2 = ||x||2 − ||y||2 − 2hx − y, yi,
∀x, y ∈ H.
Bổ đề 1.4. (Nguyên lý nửa đóng) Nếu C là tập con lồi, đóng ,khác
rỗng của không gian Hilbert thực H, T là ánh xạ không giãn trên C,
{xn } là dãy trong C sao cho xn * x và xn − T xn → 0 thì x − T x = 0.
Bổ đề 1.5. Mọi không gian Hilbert H đều có tính chất Randon-Riesz
hoặc tính chất Kadec-Klee, nghĩa là, với mọi dãy {xn } ∈ H mà xn * x
và kxn k → kxk, thì xn → x.
Thật vậy, nếu xn * x và ||xn || → ||x|| thì
||xn − x||2 = hxn − x, xn − xi
= ||xn ||2 − 2hxn , xi + ||x||2
= ||xn ||2 + ||x||2 − 2hxn , xi
−→ 2||x||2 − 2||x||2 = 0.
18
Chương 2
Xấp xỉ điểm bất động của ánh xạ
không giãn
Trong chương này chúng tôi trình bày hai kết quả nghiên cứu mới
đây của Giáo sư Nguyễn Bường và các học trò của ông về phương
pháp lặp Mann-Halpern cải biên và phương pháp lai ghép thu hẹp tìm
điểm bất động của một ánh xạ không giãn, điểm bất động chung của
hai ánh xạ không giãn trong không gian Hilbert. Các kết quả trình
bày trong chương này được lấy từ tài liệu [2] và [3].
2.1
Phương pháp lặp Mann-Halpern cải biên
Trong mục này trình bày một cải biên của phương pháp lặp MannHalpern xấp xỉ điểm bất động của ánh xạ không giãn T trong không
gian Hilbert H. Kết quả này được lấy từ bài báo [2] công bố năm
2011.
Cho H là một không gian Hilbert thực, C là một tập con lồi đóng,
khác rỗng của H, T : C → H là một ánh xạ không giãn. Ta xét
19
- Xem thêm -