Điểm bất động của một số lớp ánh xạ đa trị

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP.HỒ CHÍ MINH _ Nguyễn Viết Thăng ĐIỂM BẤT ĐỘNG CỦA MỘT SỐ LỚP ÁNH XẠ ĐA TRỊ Chuyên nghành: Toán giải tích Mã số: 60 46 01 LUẬN VĂN THẠC SĨ TỐN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: TS TRẦN ĐÌNH THANH Thành phố Hồ Chí Minh – 2010 LỜI CẢM ƠN Tôi xin chân thành cảm ơn sâu sắc đến PGS.TS Nguyễn Bích Huy TS Trần Đình Thanh tận tình hướng dẫn tơi suốt q trình thực luận văn Tôi xin chân thành cảm ơn Thầy phản biện nhận xét đóng cho ý kiến quý báu Tôi xin chân thành cảm ơn q thầy nhiệt tình giảng dạy thời gian học tập trường Đại học Sư phạm Tp HCM tạo điều kiện cho tơi hồn thành luận văn Tơi xin cảm ơn bạn bè người thân động viên giúp đỡ tơi q trình học tập thực luận văn Tp HCM, tháng 10 năm 2010 Học viên Nguyễn Viết Thăng MỤC LỤC LỜI CẢM ƠN MỤC LỤC MỞ ĐẦU Lý chọn đề tài Nội dung luận văn Phương pháp nghiên cứu Chương 1: ĐIỂM BẤT ĐỘNG CỦA MỘT SỐ LỚP ÁNH XẠ ĐA TRỊ 1.1 CÁC KHÁI NIỆM – KẾT QUẢ ĐƯỢC SỬ DỤNG 1.1.1 Ánh xạ đa trị 1.1.2 Một số thuật ngữ ký hiệu liên quan 1.1.3 Tính liên tục ánh xạ đa trị 1.2 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CĨ TÍNH CHẤT CO 1.3 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CÓ GIÁ TRỊ LỒI 11 1.4 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CĨ GIÁ TRỊ KHƠNG LỒI 17 Chương 2: ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ TĂNG TRONG KHƠNG GIAN BANACH CĨ THỨ TỰ 20 2.1 KHÔNG GIAN BANACH VỚI THỨ TỰ SINH BỞI NÓN 20 2.2 ÁNH XẠ ĐA TRỊ ĐƠN ĐIỆU 25 2.3 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ ĐƠN ĐIỆU 26 2.4 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ TĂNG CĨ TÍNH CHẤT CO 29 2.5 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ TĂNG CĨ TÍNH COMPACT 31 2.6 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ T – ĐƠN ĐIỆU ĐA TRỊ 40 KẾT LUẬN 44 TÀI LIỆU THAM KHẢO 45 MỞ ĐẦU Lý chọn đề tài Nhiều tượng tự nhiên xã hội dẫn đến việc nghiên cứu tồn tại, xây dựng xấp xỉ cho phương trình phi tuyến Phương pháp điểm bất động phương pháp quan trọng hữu hiệu để chứng minh tồn nghiên cứu cấu trúc tập nghiệm lớp phương trình phi tuyến khác Lý thuyết điểm bất động đời từ năm 1920, phát triển hoàn thiện ngày để áp dụng cho ngày nhiều lớp phương trình Cùng với phát triển khoa học nhu cầu phát triển nội Toán học, ánh xạ đa trị đưa vào nghiên cứu từ năm 1950 Chúng công cụ hữu hiệu để mô tả nhiều tượng tự nhiên, xã hội, kinh tế… Từ nảy sinh yêu cầu phát triển phương pháp nghiên cứu với ánh xạ đa trị, có phương pháp điểm bất động Cho đến nay, lý thuyết điểm bất động cho ánh xạ đa trị thu nhiều kết có giá trị Tuy nhiên hướng nghiên cứu nhà Toán học quan tâm nghiên cứu hứa hẹn tới kết thú vị lý thuyết ứng dụng Mục tiêu luận văn giới thiệu kết ban đầu lý thuyết điểm bất động ánh xạ đa trị Cụ thể luận văn trình bày định lý điểm bất động vấn đề liên quan cho lớp ánh xạ dạng co, ánh xạ đa trị có giá trị lồi khơng lồi, ánh xạ đa trị tăng ánh xạ đưa ánh xạ tăng khơng gian có thứ tự Các lớp ánh xạ nghiên cứu phương pháp khác phương pháp sử dụng lát cắt đơn điệu, phương pháp bậc tôpô, phương pháp sử dụng nguyên lý Entropy… Nội dung luận văn Ngoài phần mở đầu phần kết luận, luận văn có chương Chương gồm khái niệm ánh xạ đa trị, định lý điểm bất động lớp ánh xạ có tính chất co, có giá trị lồi không lồi Phần 1.1 nhắc lại khái niệm ánh xạ đa trị; số thuật ngữ ký hiệu liên quan.Các kết trích từ tài liệu tham khảo Phần 1.2 trình bày định lý điểm bất động ánh xạ đa trị có tính chất co , tính chất tập điểm bất động ánh xạ đa trị có tính chất co.Đây mở rộng nguyên lý điểm bất động Banach, phần chúng tơi tham khảo [3] Phần 1.3 trình bày định lý điểm bất động ánh xạ đa trị có giá trị lồi, từ Định lý định lý điểm bất động Bruower  Bất đẳng thức KyFan  Định lý 1.3.6 điểm cân  Định lý điểm bất động Kakutani Phần tham khảo [3], [6], [7] Phần 1.4 trình bày định lý liên quan đến điểm bất động ánh xạ có giá trị khơng lồi.Phần tham khảo [3] Chương gồm khái niệm khơng gian Banach có thứ tự, định lý điểm bất động ánh xạ đa trị tăng có tính chất co, compact T – đơn điệu khơng gian Banach có thứ tự Phần chúng tơi tham khảo [2], [4], [5] Phần 2.1, 2.2 trình bày khái niệm kết không gian Banach có thứ tự ánh xạ đa trị đơn điệu Phần 2.3 trình bày định lý điểm bất động ánh xạ đa trị tăng mở rộng định lý Tarskii Phần 2.4 trình bày định lý điểm bất động ánh xạ đa trị tăng có tính chất co Phần 2.5 trình bày tốn tử có liên quan tới tính chất compact Phần 2.6 trình bày điểm bất động ánh xạ T – đơn điệu đa trị Phương pháp nghiên cứu Phương pháp lát cắt đơn điệu, ứng dụng định lý tập có thứ tự Phương pháp bậc tôpô phương pháp sử dụng nguyên lý Entropy… Chương 1: ĐIỂM BẤT ĐỘNG CỦA MỘT SỐ LỚP ÁNH XẠ ĐA TRỊ 1.1 CÁC KHÁI NIỆM – KẾT QUẢ ĐƯỢC SỬ DỤNG 1.1.1 Ánh xạ đa trị Cho X , Y hai tập bất kỳ, ta ký hiệu 2Y họ tất tập Y Một ánh xạ F : X  2Y gọi ánh xạ đa trị từ X vào Y Điểm x * gọi điểm bất động ánh xạ đa trị F : X  X x*  F ( x*) 1.1.2 Một số thuật ngữ ký hiệu liên quan  Đồ thị F : X  2Y tập X  Y ký hiệu gphF , định nghĩa gphF  ( x, y)  X  Y : y  F ( x)  Domain F ( miền hữu hạn ) ký hiệu định nghĩa: domF   x  X : F ( x)    Miền ảnh ký hiệu rgeF : rgeF   y Y : x  X , y  F ( x)  Ánh xạ ngược: F 1 : Y  X ánh xạ F : X  2Y định nghĩa công thức F 1 ( y)  x  X : y  F ( x) , ( y  Y ) x  F 1 ( y)  y  F ( x)  ( x, y)  gphF  Đối với tập M  Y ta phân biệt hai loại ảnh ngược sau đây: + Nghịch ảnh M là: F  (M )  x : F ( x)  M   + Nhân M qua F là: F  ( M )   x : F ( x)  M   Giả sử G : X  2Y ; H : Y  2Z ( H G)( x)  Khi H G : X  2Z xác định bởi: H ( y ), x  X yG ( x )  Cho F : X  2Y ánh xạ đa trị, X , Y không gian tơpơ + Nếu gphF tập đóng khơng gian tơpơ tuyến tính X  Y F gọi ánh xạ đóng + Nếu X , Y khơng gian tuyến tính tơpơ gphF tập lồi khơng gian tích X  Y F gọi ánh xạ đa trị lồi + Nếu F ( x) tập đóng x  X F gọi ánh xạ có giá trị đóng + Nếu Y khơng gian tuyến tính tôpô F ( x) tập lồi, x  X F gọi ánh xạ có giá trị lồi 1.1.3 Tính liên tục ánh xạ đa trị Định nghĩa 1.1.3.1 Ta nói ánh xạ đa trị F nửa liên tục x  domF với tập mở V  Y thỏa mãn F ( x)  V tồn lân cận U x cho F ( x)  V , x U Nếu F nửa liên tục điểm thuộc domF , F gọi nửa liên tục X Định nghĩa 1.1.3.2 Ta nói ánh xạ đa trị F nửa liên tục x  domF với tập mở V  Y thỏa mãn F ( x)  V   tồn lân cận U x cho F ( x)  V  , x U  domF Nếu F nửa liên tục điểm thuộc domF , F gọi nửa liên tục X Định nghĩa 1.1.3.3 Ta nói F liên tục x  domF F đồng thời nửa liên tục nửa liên tục x Nếu F liên tục điểm thuộc domF , F gọi liên tục X Định nghĩa 1.1.3.4 ( Ánh xạ hêmi liên tục ) Ta nói F : X   2Y hêmi liên tục x0  domF với p  Y * , hàm số x    F ( x), p  nửa liên tục x0 F gọi hêmi liên tục hêmi liên tục x  domF 1.2 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CĨ TÍNH CHẤT CO Định nghĩa 1.2.1 Cho ( X , d X ) không gian metric A, C  X \    Đặt h( A, C )  max sup d X (a, C ),sup d X (c, A) , với h( A, C )   cho phép Số thực a A cC h( A, C ) gọi khoảng cách Housdorff A C liên quan đến metric d X Với d X ( x, A) khoảng cách điểm x tập A nghĩa d X ( x, A)  d X ( x, y) y A Định lý 1.2.2 (Định lý điểm bất động Naler) [3] Nếu (X , dX ) không gian metric đầy đủ F : X h(F (x ), F (y)) x X :x kdX (x, y) với x, y X, k Pf (X ) ánh xạ h-co ( tức [0,1) ) F có điểm bất động tức F (x ) Chứng minh Chọn k1 (k,1) x  X Sau lấy x1  F (x ) thỏa x1 x , tức dX (x , x1 ) (Nếu x khơng tồn x điểm bất động cần tìm F ) Vì dX (x 1, F (x )) sup dX (x , F (x )) x F (x ) max sup dX (x , F (x ), sup dX (y, F (x )) x F (x ) = h(F (x ), F (x1 )) y F (x ) kdX (x , x1 ) k1dX (x , x ) Theo tính chất inf, ta có x  F (x1 ) cho dX (x1, x ) Bằng quy nạp, chọn dãy x n dX (xn , xn ) k1ndX (x , x1 ), n n k1dX (x , x1 ) cho x n  F (x n ), n (1.2.1) Từ bất đẳng thức (1.2.1) ta suy x n Do X đầy đủ nên suy x n n X dãy Cauchy x X Ta chứng minh x  F (x ) Thật ta có: dX (xn 1, F (x )) Vì dX (x, F (x )) h(F (x n ), F (x )) kdX (x n , x ) 0 F(x) đóng nên có x  F (x ) Ghi 2.1.3 i) Điểm bất động Định lý 1.2.1 không ii) Tập điểm bất động F (kí hiệu Fix(F)) tập đóng Chứng minh i) Nếu F ( x)  X , x  X với x  X điểm bất động F Lấy x n Fix (F ) ii) Giả sử x n x , ta chứng minh x  Fix (F ) nghĩa chứng minh x  F (x ) Ta có dX (xn , F (x )) h(F (x n ), F (x )) Suy dX (x, F (x )) Vậy Fix(F) đóng Mệnh đề 1.2.4 [3] kdX (x n , x ) Nếu (X , dX ) không gian metric đầy đủ, F1, F2 : X k  [0,1) Fix (Fi ) kí hiệu tập điểm bất động Fi (i h(Fix (F1 ), Fix (F2 )) k Pbf (X ) h-co với số co 1,2) sup h(F1 (x ), F2 (x )) x X Chứng minh chọn Lấy n.k n cho n 1 Đặt k Lấy x  Fix (F1 ) sau chọn x1  F2 (x ) cho dX (x , x1 ) h(F1 (x ), F2 (x )) Vì x  Fix (F1 ) Đặt A x  F1 (x ) dX (x , x ) : x  F2 (x ) Suy x1 inf A F2 (x ) cho dX (x , x1 ) dX (x , F2 (x )) h F1(x ), F2 (x ) h(F1 (x ), F2 (x )) kdX (x1, x ) nên tìm x  F2 (x1 ) thỏa Vì h F2 (x1 ), F2 (x ) dX (x , x1 ) (1.2.2) kdX (x1, x ) k Thật ta có : d(x1; F2 (x1 ))  h(F2 (x ), F2 (x1 ))  kdX (x , x1 ) Suy tồn x  F2 (x1 ) cho d(x , x1 )  kdX (x , x1 ) k Bằng phương pháp quy nạp ta chọn dãy x n xn  F2 (x n ), n n cho (1.2.3) dX (xn 1, xn )  k ndX (x , x1 ) nk n (1.2.4) Từ bất đẳng thức (1.2.4) ta d(x n 1, x n )  n m km dX (x , x ) k Do (2.1.5) nên x n n nk n dãy Cauchy, (X , dX ) đầy đủ nên ta có: xn x X Từ (1.2.3) ta có: d(xn 1, F2 (x ))  h(F2 (x n ), F2 (x ))  kdX (x n , x ) Suy d(x, F2 (x )) (1.2.5) n m x F2 (x ) Vậy x  Fix (F2 ) Hơn từ (1.2.5) (1.2.2) ta có Vậy F có điểm bất động x* x*  x0 2.5 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ TĂNG CÓ TÍNH COMPACT Định lý 2.5.1 Giả sử X khơng gian Banach thứ tự nón K, M  X tập đóng F : M  2M \  ánh xạ đa trị đơn điệu thỏa mãn: i) F(x) đóng, x  M ii) Tồn x0  X cho  x0   F ( x0 ) iii) x  M , y1 , y2  F ( x), y  F ( x) : y1  y, y2  y iv) Nếu dãy ( xn ), ( yn ) dãy tăng cho yn  F ( xn ) dãy ( yn ) hội tụ Khi đó, F có điểm bất động cực đại M Chứng minh Đặt M   x  M :  x  F ( x) Ta giả sử x  y, y  F ( x) với x  M (*) Thật vậy, ta định nghĩa toán tử G xác định M sau: G( x)  F ( x)  [ x, ) x  y, y  G( x) Mặt khác, ta có G : M  M Vì y  G( x) x  y , từ suy F ( x)  F ( y) mà y  F ( x) nên  y  F ( y) , nghĩa y  M Ngoài ra, G thỏa mãn điều kiện i), ii), iii), iv) định lý Thật ta có: Xét x  M , giả sử dãy  xn   G( x) xn  z Khi đó:  xn   F ( x) F(x) đóng nên z  F ( x) Mặt khác x  xn , n nên suy x  z Suy z  G( x) , nghĩa G(x) đóng + Theo giả thiết tồn x0  M cho  x0   F ( x0 ) Khi tồn z0  F ( x0 ) cho x0  z0 Suy ra: z0  F ( x0 )  [ x0 ; )  G( x0 ) , nghĩa  x0   G( x0 ) + x  M , y1 , y2  G( x) Suy y1 , y2  F ( x) nên tồn y  F ( x) cho y1  y, y2  y Vì y1 , y2  G( x) nên x  y1 , x  y2 suy x  y nghĩa y  G( x) Vậy ta có: x  M , y1 , y2  G( x), y  G( x) : y1  y, y2  y + Giả sử dãy  xn  ,  yn  dãy tăng cho yn  G( xn ) Khi đó, yn  F ( xn ) nên dãy  yn  hội tụ Từ (*), ta kiểm tra F (M )  M Thật vậy, với y  F (M ) tồn x  M cho y  F ( x) F ( x) ) Khi theo (*) ta có x  y  F ( x)  F ( y)   y  F ( y) nghĩa y  M ( F ( M )  xM Để áp dụng nguyên lý Entropy, ta kiểm tra hai điều kiện sau: Điều kiện 1: Chứng minh dãy tăng ( xn ) M có cận Khi đó, ta chọn dãy tăng ( yn ) cho yn  F ( xn ) ( F đơn điệu) Đặt y  lim yn yn  y, n n Vì yn  F ( xn ) , nên theo (*), ta có xn  y, n  F ( xn )  F ( y), n Khi đó, tồn zn  F ( y) cho yn  zn Do điều kiện c) ta giả sử ( zn ) dãy tăng Khi đó, dãy zn hội tụ z  F ( y) Ta có zn  z, n  yn  z, n Suy ra: y  z   y  F ( y) nghĩa y  M Vậy dãy tăng ( xn ) có cận y  M Điều kiện 2: Tồn hàm đơn điệu tăng bị chặn xác định M Với x  M , ta đặt: M x  (u, v)  M  M / u  v, u  F ( y), v  F ( z ), x  y  z; y, z  M  Ta có ( x, x)  M x nên M x   Xét hàm S : M  [0; ] xác định bởi: S ( x)  sup  u  v /(u, v)  M x  Nếu x  y M y  M x nên S hàm giảm Do ( S ) hàm tăng Áp dụng nguyên lý Entropy cho x  M , x  a  S ( x)  S ( a ) Ta chứng minh S (a)  M hàm ( S ) , tồn a  M cho: (**) Giả sử ngược lại tồn   cho S (a)   Tồn x1 , x2 , y1 , y2 cho: a  x1  x2 y1  F ( x1 ), y2  F ( x2 ), y1  y2 y1  y2   Vì a  y2  M , theo (**), suy : S ( y2 )  S (a)   Tiếp tục, ta chọn x3 , x4 , y3 , y4 cho: y  x3  x4 y3  F ( x3 ), y4  F ( x4 ), y3  y4 y3  y4   Vì y2  F ( x2 ) , nên theo (*), ta có : x2  y2 suy x2  x3 Vì y3  F ( x3 ) , nên theo (*), ta có : x3  y3 suy y2  y3 Khi a  y3  M , suy ra: S ( y3 )  S (a)   Làm tương tự, ta có dãy ( xn ), ( yn ) tăng cho yn  F ( xn ) thỏa mãn : y2 n 1  y2 n   ( điều mâu thuẩn với điều kiện d)) Vậy S (a)  Ta chứng minh: b  F (a) điểm bất động F M Thật vậy, với c  F (b) , ta có: b  c  F (b) Vì a  b  F (a) nên suy (b, c)  M a Suy ra: b  c  S (a)   b  c  F (b) nên b điểm bất động F Vậy F có điểm bất động b  F (a) Ta chứng minh: b  F (a) điểm bất động cực đại M Thật vậy, x điểm bất động F M x  b thì: b  x ax  b  F (a)  (b, x)  M a  b  x  S (a)  Suy x  b Vậy b  F (a) điểm bất động cực đại F M Hệ 2.5.2 Giả sử X khơng gian Banach thứ tự nón K M  u, v  X , F : M  2M \  toán tử đa trị đơn điệu thỏa mãn: a) F ( x) đóng, x  M b) x  M , y1 , y2  F ( x), y  F ( x) : y1  y, y2  y c) K nón Khi F có điểm bất động M Chứng minh Do M  u, v nên u  F (u ) Ta chứng minh: ( xn ), ( yn ) dãy tăng cho yn  F ( xn ) ( yn ) hội tụ Thật vậy, yn  v, n K nón nên ( yn ) hội tụ Như điều kiện a), b), c) hệ 2.5.2 thảo điều kiện a), b), c), d) định lý 2.5.1 Vậy F có điểm bất động Hệ 2.5.3 Giả sử X không gian Banach thứ tự nón K M  u, v  X , F : M  2M \  toán tử đa trị đơn điệu thỏa mãn: a) F ( x) đóng, x  M b) x  M , y1 , y2  F ( x), y  F ( x) : y1  y, y2  y c) K nón chuẩn X khơng gian phản xạ Khi F có điểm bất động M Chứng minh Ta có, K nón chuẩn X khơng gian phản xạ K nón Từ áp dụng hệ 2.5.2 ta có kết tốn tử F có điểm bất động Định lý 2.5.4 Giả sử X khơng gian Banach thứ tự nón K X khơng gian đóng X , M tập đóng X , F : M  2M \  toán tử đa trị đơn điệu thỏa mãn: a) F ( x) đóng, x  M b) Tồn x0  X cho  x0   F ( x0 ) c) X  F ( x)  , x  M nữa: y1 , y2  F ( x), y  F ( x) : y1  y, y2  y d) Nếu ( xn ), ( yn ) dãy tăng cho yn  F ( xn )  F ( x) dãy ( yn ) hội tụ Khi F có điểm bất động M Chứng minh Đặt M   x  M :  x  F ( x) Ta giả sử x  y, y  F ( x) với x  M (*) Thật vậy, ta định nghĩa toán tử G xác định M sau: G( x)  F ( x)  [ x, ) x  y, y  G( x) Mặt khác, ta có G : M  M Vì y  G( x) x  y , từ suy F ( x)  F ( y) mà y  F ( x) nên  y  F ( y) , nghĩa y  M Ngoài ra, G thỏa mãn điều kiện a), b), c), d) định lý Thật ta có: Xét x  M , giả sử dãy  xn   G( x) xn  z Khi đó:  xn   F ( x) F(x) đóng nên z  F ( x) Mặt khác x  xn , n nên suy x  z Suy z  G( x) , nghĩa G(x) đóng + Theo giả thiết tồn x0  M cho  x0   F ( x0 ) Khi tồn z0  F ( x0 ) cho x0  z0 Suy ra: z0  F ( x0 )  [ x0 ; )  G( x0 ) , nghĩa  x0   G( x0 ) + Vì X  F ( x)   nên suy x  M , y1 , y2  X  G( x) Suy y1 , y2  X  F ( x) nên tồn y  X  F ( x) cho y1  y, y2  y Vì y1 , y2  X  G( x) nên x  y1 , x  y2 suy x  y nghĩa y  X  G( x) Vậy ta có: x  M , y1 , y2  X  G( x), y  X  G( x) : y1  y, y2  y + Giả sử dãy  xn  ,  yn  dãy tăng cho yn  X  G( xn ) Khi đó, yn  X  F ( xn ) nên dãy  yn  hội tụ Từ (*), ta kiểm tra F (M )  M Thật vậy, với y  F (M ) tồn x  M cho y  F ( x) F ( x) ) Khi theo (*) ta có x  y  F ( x)  F ( y)   y  F ( y) nghĩa y  M ( F ( M )  xM Để áp dung nguyên lý Entropy, ta kiểm tra hai điều kiện sau: Điều kiện 1: Chứng minh dãy tăng ( xn ) M có cận Khi đó, ta chọn dãy tăng ( yn ) cho yn  X  F ( xn ) ( F đơn điệu) Đặt y  lim yn yn  y, n n Vì yn  X  F ( xn ) , nên theo (*), ta có xn  y, n  F ( xn )  F ( y), n Khi đó, tồn zn  X  F ( y) cho yn  zn Do điều kiện c) ta giả sử ( zn ) dãy tăng Khi đó, dãy zn hội tụ z  X  F ( y) Ta có zn  z, n  yn  z, n Suy ra: y  z   y  F ( y) nghĩa y  M Vậy dãy tăng ( xn ) có cận y  M Điều kiện 2: Tồn hàm đơn điệu tăng bị chặn xác định M Với x  M , ta đặt: M x  (u, v)  M  M / u  v, u  F ( y), v  F ( z ), x  y  z; y, z  M  Ta có ( x, x)  M x nên M x   Xét hàm S : M  [0; ] xác định bởi: S ( x)  sup  u  v /(u, v)  M x  ( X  X ) Nếu x  y M y  M x  M y  ( X  X )  M x  ( X  X ) nên S hàm giảm Do ( S ) hàm tăng Áp dung nguyên lý Entropy cho x  M , x  a  S ( x)  S ( a ) M hàm ( S ) , tồn a  M cho: (**) Ta chứng minh S (a)  Giả sử ngược lại tồn   cho S (a)   Tồn x1 , x2 , y1 , y2 cho: a  x1  x2 y1  X  F ( x1 ), y2  X  F ( x2 ), y1  y2 y1  y2   Vì a  y2  M , theo (**), suy : S ( y2 )  S (a)   Tiếp tục, ta chọn x3 , x4 , y3 , y4 cho: y  x3  x4 y3  X  F ( x3 ), y4  X  F ( x4 ), y3  y4 y3  y4   Vì y2  F ( x2 ) , nên theo (*), ta có : x2  y2 suy x2  x3 Vì y3  F ( x3 ) , nên theo (*), ta có : x3  y3 suy y2  y3 Khi a  y3  M , suy ra: S ( y3 )  S (a)   Làm tương tự, ta có dãy ( xn ), ( yn ) tăng cho yn  X  F ( xn ) thỏa mãn : y2 n 1  y2 n   ( điều mâu thuẩn với điều kiện d)) Vậy S (a)  Ta chứng minh: b  X  F (a) điểm bất động F M Thật vậy, với c  X  F (b) , ta có: b  c  X  F (b) Vì a  b  X  F (a) nên suy (b, c)  M a  ( X  X ) Suy ra: b  c  S (a)   b  c  X  F (b) nên b điểm bất động F Vậy F có điểm bất động b  F (a) Định lý 2.5.5 Giả sử X không gian Banach thứ tự nón K M  u, v  X , F : M  2M toán tử đa trị đơn điệu thỏa mãn: a) K nón chuẩn b) F tốn tử đa trị đơn điệu nghiêm ngặt c) Nếu ( xn ) dãy đơn điệu từ dãy ( F ( xn )) ta lấy dãy hội tụ ( yn ) cho yn  F ( xn ) Khi F có điểm bất động M Chứng minh Ta đặt M   x  M :{x} F ( x) M   (Vì u  M ) Ta chứng minh: F (M )  M z  F ( M )  xM Vì x F ( x) , tồn x   cho z  F ( x) F ( x) nên x  z Do F đơn điệu nghiêm ngặt nên suy ra: F ( x) F ( z ) z F ( z ) (vì z  F ( x) ), suy z  M Vậy F (M )  M Giả sử N  M tập thẳng nghĩa x, y  N  x  y hay y  x Ta chứng minh N có cận M Trước hết ta chứng minh F ( N ) tập compact đương đối Thật vậy, giả sử dãy ( yn )  F ( N )  F ( x) Khi với n, tồn xn  N cho yn  F ( xn ) xN Do N tập thẳng nên từ dãy ( xn ) , ta chọn dãy ( xnk ) hội tụ (theo mệnh đề 2.1.5)   với y Theo điều kiện c), tồn dãy yn' k ' nk  F ( xnk ), k Đặt lim yn' k  y k Vì xn1  xn2   xnk  nên F ( xn1 ) F ( xn2 ) F ( xnk ) Khi ta có: yn' k 1  ynk  yn' k 1 Cho k   ta có ynk  y (do K nón chuẩn) Vậy từ dãy ( yn )  F ( N ) , ta tìm dãy ( ynk ) hội tụ, nên F ( N ) tập compact tương đối Ta chứng minh N có cận Do F ( N ) compact tương đối nên tồn dãy ( zn ) trù mật khắp nơi F ( N ) Khi n, un  N : zn  F (un ) Vì N tập thẳng nên ta xây dựng dãy tăng  un'    un  un  un' , n Theo điều kiện c), từ dãy tăng  un'  , tồn dãy tăng   hội tụ với  F (un' ) Đặt lim  x0 n Vì  x0 , n nên F (vn ) F ( x0 ), n  F (vn ) Mà  F (un' )  F (M )  M  Suy F ( x0 ) F (vn ) F ( x0 ), n  {x0 } F ( x0 ) nghĩa x0  M Ta lại có F ( x) {x0 }, x  N Thật xét x  N t  F ( x) t  F ( N ) nên tồn dãy ( znk )  ( zn ) cho znk  t Vì un'  un'   un' k  nên F (un' ) F (un' ) F (un' k ) Suy ra: znk 1  znk  znk 1 , k  vnk  t ( K nón chuẩn ) Mà vnk  x0 , k nên suy t  x0 Vậy F ( x) {x0 } Như với x  N ta có: F ( x) {x0 } {x0 } F ( x) nên suy x  x0 Vậy N có cận Theo bổ đề Zorn, tập thẳng N M có cận M có phần tử cực đại x* Ta chứng minh x* điểm bất động F Thật t  F ( x*) t  M  t  x * (vì x* phần tử cực đại M ) Mà x* F ( x*) (vì x*  M ) nên x*  t Từ suy x*  t  F ( x*) Vậy x* điểm bất động F Hệ 2.5.6 Giả sử X không gian Banach thứ tự nón K M  u, v  X , F : M  2M toán tử đa trị đơn điệu thỏa mãn: a) K nón b) F toán tử đa trị đơn điệu nghiêm ngặt Khi F có điểm bất động M Chứng minh Giả sử ( xn ) dãy đơn điệu tăng M, ta có: x1  x2   xn   v Do F toán tử đơn điệu nghiêm ngặt nên: F ( x1 ) F ( x2 ) F ( xn ) F (v) Ta chọn yn  F ( xn ) cho: y1  y2   yn   v Suy dãy ( yn ) tăng bị chặn trên, nên dãy ( yn ) hội tụ (vì K nón đều) Theo kết định lý 2.5.4, F có điểm bất động M Hệ 2.5.7 Giả sử X khơng gian Banach thứ tự nón K M  u, v  X , F : M  2M toán tử đa trị đơn điệu thỏa mãn: a) K nón chuẩn K khơng gian phản xạ b) F tốn tử đa trị đơn điệu nghiêm ngặt Khi F có điểm bất động M Chứng minh Theo mệnh đề 2.1.10 chương 1, K nón chuẩn X khơng gian phản xạ K nón đều.Vậy ta suy điều kiện hệ 2.5.6 nên F có điểm bất động M Hệ 2.5.8 Giả sử X không gian Banach thứ tự nón K M  u, v  X , F : M  2M toán tử đa trị đơn điệu thỏa mãn: a) K nón chuẩn b) F tốn tử đa trị đơn điệu nghiêm ngặt c) F toán tử compact Khi F có điểm bất động M Chứng minh Giả sử ( xn ) dãy đơn điệu M, ta có: x1  x2   xn   v Vì F tốn tử chặt nên ta chọn yn  F ( xn ) Do F ( M ) tập compact tương đối (vì     hội tụ F toán tử compact) nên tồn ynk   yn  cho ynk Vì K nón chuẩn nên suy  yn  dãy hội tụ Vậy với dãy đơn điệu ( xn ) ta chọn dãy  yn  hội tụ với yn  F ( xn ) Theo định lý 2.5.4, suy F có điểm bất động M 2.6 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ T – ĐƠN ĐIỆU ĐA TRỊ Định nghĩa 2.6.1 Cho X không gian Banach thứ tự nón K tốn tử tuyến tính T : X  X Số   C gọi điểm quy T (.I  T ) song ánh, với I toán tử đồng X Ta ký hiệu  (T )   /  điểm quy T  Khi ta định nghĩa phổ T là:  (T )  C \  (T ) Định nghĩa 2.6.2 Cho X không gian Banach thứ tự nón K Cho tốn tử tuyến tính T : X  X toán tử đa trị F : X  X F gọi toán tử đa trị T – đơn điệu thỏa mãn: x, y  X , x  y T ( y  x)  F ( x)  F ( y) Bổ đề 2.6.3 Cho X la không gian Banach thứ tự nón K Cho toán tử đa trị F : M  u, v  2M tốn tử tuyến tính T : X  X Xét   Nếu ( )  (T ) ta có: x  (.I  T )1.(.F  T )( x)  x  F ( x) Chứng minh Vì ( )  (T ) nên (.I  T ) song ánh Khi ta có: x  F ( x )   x  T ( x )   F ( x )  T ( x)  (.I  T )( x)  ( F  T )( x)  (.I  T )1 (.I  T )( x)  (.I  T )1 ( F  T )( x)  x  (.I  T )1.(.F  T )( x) Bổ đề 2.6.4 Cho X la không gian Banach thứ tự nón K tốn tử tuyến tính T : X  X Xét   Nếu ( )  (T ) A, B  M cho A  B ta có: (.I  T )1.( A)  (.I  T )1.( B) Chứng minh Lấy x  (.I  T )1 ( A) , suy (.I  T )( x)  A Vì A  B nên tồn y  B cho (.I  T )( x)  y Vì ( )  (T ) nên (.I  T ) song ánh, nên suy ra: x  (.I  T )1 ( y) Mà (.I  T )1 ( y)  (.I  T )1 ( B) nên suy ra: (.I  T )1.( A)  (.I  T )1.( B) Bổ đề 2.6.5 Cho X không gian Banach thứ tự nón K tốn tử tuyến tính T : X  X Giả sử toán tử đa trị F : M  u, v  2M chặt T – đơn điệu thoả mãn: a) T tốn tử tuyến tính dương b) Tồn   (0,1) cho ( )  (T ) T ( x)   x x  K Khi S  (.I  T )1.(.F  T ) toán tử đa trị đơn điệu M Chứng minh Xét   (0,1) cho ( )  (T ) T ( x)   x x  K (*) Ta chứng minh (.I  T )1 song ánh dương Thật vậy, ( )  (T ) nên (.I  T )1 song ánh Do đó, (.I  T )1 song ánh Lấy x  (.I  T )1 ( K ) Thì tồn y  K cho y  (.I  T )( x) Suy ra:  x  T ( x)  K   x  T ( x)   T ( x)   x Theo (*), ta suy ra: x  K Suy (.I  T )1 ( K )  K Vậy (.I  T )1 song ánh dương Ta chứng minh S toán tử đa trị đơn điệu M Với x, y  M , x  y ta có: T ( y  x)  F ( x) Suy ra: T ( y  x)   F ( x)   F ( y) (vì   (0,1) )   F ( x)  T ( x )   F ( y )  T ( y )  ( F  T )( x)  ( F  T )( y) Vì (.I  T )1 tốn tử tuyến tính dương nên suy ra: (.I  T )1.( F  T )( x)  (.I  T )1.( F  T )( y)  S ( x)  S ( y ) Vậy S toán tử đa trị đơn điệu M Định lý 2.6.6 Cho X khơng gian Banach thứ tự nón K tốn tử tuyến tính T : X  X Giả sử toán tử đa trị F : M  u, v  2M thoả mãn: a) K nón b) F tốn tử đa trị T – đơn điệu c) T toán tử tuyến tính dương d) Tồn   (0,1) cho ( )  (T ) T ( x)   x x  K Khi F có điểm bất động M Chứng minh Ta xét toán tử đa trị: S  (.I  T )1.(.F  T ) Từ điều kiện c), d) theo bổ đề 2.6.5, ta có S tốn tử đa trị đơn điệu M Theo hệ 2.5.2 x* M cho x*  S ( x*) Theo bổ đề ta có: x* S ( x*)  (.I  T )1.( F  T )( x*)  x* F ( x*) Vậy F có điểm bất động M Hệ 2.6.7 Cho X không gian Banach thứ tự nón K tốn tử tuyến tính T : X  X Giả sử toán tử đa trị F : M  u, v  2M thoả mãn: a) X không gian phản xạ a) K nón chuẩn b) F tốn tử đa trị T – đơn điệu e) T tốn tử tuyến tính dương f) Tồn   (0,1) cho ( )  (T ) T ( x)   x x  K Khi F có điểm bất động M Chứng minh Ta có kết quả: K nón chuẩn X khơng gian phản xạ K nón Áp dụng định lý 2.6.6, suy F có điểm bất động M KẾT LUẬN Qua trình nghiên cứu tài liệu, dẫn, lý giải thêm thầy hướng dẫn nắm nội dung số kết cổ điển điểm bất động số lớp ánh xạ đa trị số mở rộng ban đầu điểm bất động ánh xạ đa trị tăng, ánh xạ đa trị tăng có tính chất co, compact T – đơn điệu Tuy nhiên, chưa có điều kiện trình bày ứng dụng kết vào việc chứng minh tồn nghiệm lớp phương trình cụ thể Một số hướng phát triển luận văn là: Làm giảm nhẹ điều kiện kết trình bày luận văn Tìm ứng dụng kết lý thuyết vào việc chứng minh tồn nghiệm lớp phương trình cụ thể phương trình vi phân, phương trình tích phân … Qua q trình làm luận văn tơi thấy kiến thức học phần giải tích: giải tích hàm nâng cao, giải tích phi tuyến, lý thuyết bậc tơ pơ… giúp tơi nhiều việc hồn thành luận văn Quan trọng bước đầu học phương pháp tự học nghiên cứu Tôi hy vọng học tập nghiên cứu thêm ứng dụng đề tài TÀI LIỆU THAM KHẢO K Deimling (1984), Nonliear Functional Analysis, Springer – Verlag Đào Bảo Dũng, Toán tử đa trị đơn điệu tăng khơng gian Banach có thứ tự ứng dụng Luận văn thạc sỹ, ĐHSP TP.HCM, 2000 L Gasinski, N.S Papageorgiou (2005), Nonlinear Analysis, Chamman and Hall / CRC Nguyen Bich Huy (2002), “Fixed points of increasing multivalued operators and an application to quasimonotone elliptic equations”, Nonlinear Analysis, 51, pp 673-678 Nguyễn Bích Huy, Nguyễn Hữu Khánh Fixed point for multivalued increasing operrators (gởi đăng) Phan Quốc Khánh (1999), Giải tích đa trị, Giáo trình cao học, ĐHQG TP.HCM Nguyễn Đơng n (2007), Giáo trình giải tích đa trị, nhà xuất khoa học tự nhiên công nghệ E Zeidler (1985), Nonlinear Analysis and its Applications, Springer – Verlag ... tục ánh xạ đa trị 1.2 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CĨ TÍNH CHẤT CO 1.3 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CÓ GIÁ TRỊ LỒI 11 1.4 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ CĨ GIÁ TRỊ KHƠNG... BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ ĐƠN ĐIỆU 26 2.4 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ ĐA TRỊ TĂNG CÓ TÍNH CHẤT CO 29 2.5 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ TĂNG CĨ TÍNH COMPACT 31 2.6 ĐIỂM BẤT ĐỘNG CỦA ÁNH XẠ T –... thuyết điểm bất động ánh xạ đa trị Cụ thể luận văn trình bày định lý điểm bất động vấn đề liên quan cho lớp ánh xạ dạng co, ánh xạ đa trị có giá trị lồi khơng lồi, ánh xạ đa trị tăng ánh xạ đưa ánh