1) Với yG H, 7Г GК hai tính chất sau là tương đương:
2.4. ứng dụng vào nghiên cứu sự tồn tại nghiệm của bài toán bất đẳng thức biến phân
biến phân
Ta nhớ lại định nghĩa của bất đẳng thức biến phân. Giả sử f : K B * là một ánh xạ. Bất đẳng thức biến phân được định nghĩa bởi ánh xạ / và tập hợp K là
tìm X * G K sao cho
V I Ự , K ) : ( f ( x * ) , y - X * ) > 0 với mọi y e K .
Tính chất 3) của Định lý 2.7 trong phần trước chứng tỏ rằng toán tử 7 ĨK : B * —»• K là đơn trị nếu và chỉ nếu B là phản xạ, lồi ngặt. Ta biết rằng, nếu B là không gian Banach phản xạ, lồi ngặt và trơn thì B * cũng vậy. Hơn nữa, nếu B là không gian Banach phản xạ, lồi ngặt và trơn thì ánh xạ đối ngẫu J : B — > B * là đơn trị và là toàn ánh.
Định lý 2.9. Giả sử B là không gian Banach phản xạ, lồi ngặt, trơn và B* là không
gian đối ngẫu của B. Giả sử f : K —> B* là toán tử tác động tùy ý. Khi đó một
điểm X * G K c B là nghiệm của bất đẳng thức biến
phân (2.37) nếu và chỉ nếu X * là nghiệm của phương trình toán tử trong B
X = 7 ĩ K ( J ( x ) - (2.38)Để nghiên cứu bất đẳng thức biến phân (2.37), ta có thể dùng định lý Fan-KKM hoặc Để nghiên cứu bất đẳng thức biến phân (2.37), ta có thể dùng định lý Fan-KKM hoặc dùng kỹ thuật họ loại trừ các phần tử nếu K là một nón lồi đóng. Ta nhớ một vài bổ đề sau Bổ đề 2.4. Tập hợp con K không rỗng của B được gọi là một nón điểm lồi đóng nếu
tập K là đóng và các tính chất sau được thỏa mẫn: ( k l ) K + K C K -
(k2) ẰK c K, với mọi X > 0; (k3) K n { - K ) = {0} .
Bổ đề 2.5. Nón đối ngẫu của một nón điểm lồi đóng K kí hiệu là K*. Nó là một tập
hợp con của K* và được định nghĩa như sau:
K'= { i p < E B ' : { ự > , y ) > o y y e K } .
Ta nhớ rằng một ánh xạ T : B B hoàn toàn liên tục nếu T liên tục và ánh xạ tập bị chặn D c B , thành tập T ( D) là tập compact tương đối. Ánh xạ / : B —>■ B được gọi là một trường hoàn toàn liên tục nếu / có một phép biểu diễn f ( x) = J { x ) — T ( x ) , với X G B , trong đó T : B —»• B là ánh xạ hoàn toàn liên tục.
Ta nói họ phần tử {a:r} >0 c B là họ loại trừ của phần tử của trường hoàn toàn liên tục
f i x ) = J ( x) — T ( x ) theo nón lồi K , nếu và chỉ nếu Vr > 0 tồn tại một số thực ị ir >
1 và xr e K sao cho
(el) lỊavll —> oo và r —>• oo;
Kiểu định lý loại trừ Leray-Schauder giữ một vai trò quan trọng trong
việc giải bài toán bất đẳng thức biến phân (2.37) nếu ta dùng họ loại trừ của phần tử.
Kiểu định lý loại trừ Leray-Schauder.
Giả sử X là tập hợp con đóng của không gian lồi địa phương E sao cho 0 e int(X) và / : X —>• E là một ánh xạ đa trị với giá trị co compact không rỗng. Nếu tập điểm bất động của / là rỗng thì / thỏa mãn điều kiện Leray-Schauder:
a ( A * , z * ) € (0,1) X ax do đó a:* €
Kết quả tổng quát sau suy từ tính lồi đều và không gian Banach trơn và không gian phản xạ, lồi ngặt và chĩ xác định trên một nón lồi đóng tùy ý.
Định lý 2.10. Giả sử B là không gian Banach phản xạ, lồi ngặt, trơn và B* là không
gian đối ngẫu của B. Giả thiết K c B là nón lồi đóng tùy ý và giả sử f : K —>■ B*
là trường hoàn toàn liên tục với phép biểu diễn f(x) = J(x) — T ( x ) , Vx e B, trong
đó T : K —»■ B* là ánh xạ hoàn toàn liên tục (tuyến tính hoặc không tuyến tính). Khi đó, bài toán V I ( f , K ) có một nghiệm trong những tính chất sau:
(vl) V I ( f , K ) có 1 nghiệm;
(v2) Trường hoàn toàn liên tục f có một họ loại trừ các phần tử đối với K.
Chứng minh. Từ Định lý 2.9, bài toán V I ( f, K) có 1 nghiệm khi và chỉ khi ánh xạ sau có một điểm bất động.
® K { X ) = 7 ĩ K { J { x ) - f { x ) ) = 7Ĩ K ( T ( X ) ) , X e K .
Dễ thấy điểm bất động của ánh xạ $K là trong K . Giả sử rằng ánh xạ < f rK không có điểm bất động trong K . Ta xác định một ánh xạ $ từ B đến B như sau:
$(a;) = ỉ > K ( P K ( x ) ) = I Ĩ K ( J ( P K ( X ) ) - =* K ( n P K ( x ) ) )
với bất kì X £ B , trong đó PK : B —»• K là toán tử chiếu metric.
x,\/x e K, ta được = $K. Do đó F ( $K) = F($), trong đó F(í>) tương ứng là tập các điểm bất động của $K
và Vì điểm bất động của ánh xạ QK phải nằm trong K, thì phải giả thiết rằng ánh xạ < & K không có điểm bất động trong K bao hàm ánh xạ $ không có điểm bất động, tính chất (J8) chỉ ra rằng J là toán tử liên tục trên không gian Banach trơn trong phần này đã chứng minh toán tử chiếu suy rộng 7XK là liên tục bởi vì B là không gian Banach phản xạ, lồi ngặt và trơn đều. Ta biết rằng nếu B là không gian Banach lồi ngặt, phản xạ và trơn thì toán tử metric P K : B K ỉ ầ liên tục. Vì T là hoàn toàn liên tục nên toán tử $ là compact và nửa liên tục trên.
Với VA > 0, ta định nghĩa tập lồi đóng
Dr = { x G B : ||x|| < r} .
Rõ ràng tập hợp Dr có phần trong khác rỗng và 0 € i n t ( Dr) . Do ánh xạ $ không có
điểm bất động trong K, nên $ không có điểm bất động trong Dr với bất kỳ r > 0. Khi $ hạn chế trên Dr. Áp dụng định lý loại trừ Leray-Schauder, ta có tồn tại
xr € d Dr và Àr G (0,1) sao cho x r = \ r $ ( x r ) = x r 7 T K ( T ( P K ( x r ) ) ) , tức là (1/Ar)a;r = $(zr) = TĩK(T (PK(xr)) ). Do 7TK { T ( PK( xr) ) ) € K và K là nón, ta có xr € K . Khi đó, ta đạt được PK( xr) = xr vì vậy ( l / \ r ) x r = $ ( x r ) = T Ĩ K ( T ( x r ) ) . Đặt (jLír = 1/Ar, Vr > 0 tức là ụ,rxr — 7T x { T ( xr) ) . Ta có (T { xr) — J ( / j Lrxr) , ịirxr — 7/) 0 , Vy € X. Vì xr € dDr và là nón, nên
||a:rỊ| = r, ịir > 0 và /irxr ẽ i í , v r > 0.
Những tính chất này suy ra {xr} là họ loại trừ của phần tử của / đối với K. Định
lý được chứng minh. □
Vì không gian Hilbert và không gian Banach lồi đều và trơn đều là không gian Banach phản xạ, lồi chặt và trơn nên các hệ quả sau suy trực tiếp từ Định lí 2.10
Hệ quả 2.2. Giả sử B là không gian Banach lồi đều và trơn, K c B là nón lồi đóng tùy ý và f : K —¥ B là trường hoàn toàn liên tục với phép biểu diễn f(x) = X — T ( x ) , với \/x G B tại f : K —»• B là ánh xạ hoàn toàn
liên tục. Thì bài toán V I ( f , K ) có một nghiệm thỏa mãn: ( v l ) V I Ự , K ) có một nghiệm;
(v2) Trường hoàn toàn liên tục f có một nghiệm loại trừ của phần tử đối với K.
Hệ quả 2.3. Giả sử H là không gian Hilbert, với K c H lồi đóng tùy ý và f : K —»■
H là trường hoàn toàn liên tục với phép biểu diễn f(x) = x — T ( x ) , với X G H tại
T : K H là ánh xạ hoàn toàn liên tục. Thì bài toán V I ( f , K) ó ít nhất một nghiệm thỏa mãn những tính chất sau:
( v l ) V I ( f , K ) có một nghiệm;
(v2) Trường hoàn toàn liên tục f có một nghiệm loại trừ của phần tử đối với K.
Kết luận
Chương này chúng tôi trình bày được hai lớp toán tử chiếu suy rộng quan trọng được áp dụng nhiều trong lí thuyết tối ưu và các bài toán bất đẳng thức biến phân. Chúng tôi chứng minh tương đối chi tiết, so sánh các tính chất tốt còn giữ lại được khi suy rộng sang các không gian rộng hơn.
Kết luận
Luận văn đã trình bày được các vấn đề sau đây:
1. Trình bày một số nội dung chính về phép chiếu trên không gian Hilbert.
2. Trình bày chi tiết phép chiếu suy rộng trên không gian Banach phản xạ, lồi chặt và trơn.
3. ứng dụng toán tử chiếu suy rộng vào các bài toán bất đẳng thức biến phân.
Do năng lực của bản thân còn có những hạn chế, luận văn sẽ không thể tránh khỏi những thiết sót, tác giả rất mong nhận được sự góp ý của bạn đọc để luận văn được hoàn thiện hơn.
Xin chân thành cảm ơn.