Thông tin tài liệu
TRƢỜNG ĐẠI HỌC VINH KHOA TOÁN LUẬN VĂN TỐT NGHIỆP ĐẠI HỌC Đề tài: TÌM HIỂU VỀ PHÉP TỐN ĐỐI ĐẠO HÀM LIÊN QUAN ĐẾN BẤT ĐẲNG THỨC BIÊN PHÂN AFIN CHỨA THAM SỐ VÀ ỨNG DỤNG CỦA NÓ Giáo viên hướng dẫn Sinh viên thực VINH – 2011 : Nguyễn Thị Toàn : Thái Thị Kim Liên MỤC LỤC MỞ ĐẦU Chương I BẤT ĐẲNG THỨC BIẾN PHÂN TRONG R n 1.1 Điểm bất động 1.2 Bất đẳng thức biến phân Chương II CÁC PHÉP TÍNH CƠ BẢN LIÊN QUAN ĐẾN ĐỐI ĐẠO HÀM CỦA ÁNH XẠ ĐA TRỊ 2.1 Các khái niệm tính chất sở 2.2 Các phép tính liên quan đến đối đạo hàm ánh xạ đa trị………… Chương III TÍNH CHẤT AUBIN CỦA ÁNH XẠ NGHIỆM 20 3.1 Các khái niệm tính chất sở 20 3.2 Tính chất Aubin ánh xạ nghiệm .22 KẾT LUẬN 34 TÀI LIỆU THAM KHẢO 35 MỞ ĐẦU Bất đẳng thức biến phân ứng dụng rộng rãi nhiều lĩnh vực khác kinh tế, kỹ thuật, vật lý toán… Một hướng nghiên cứu quan trọng bất đẳng thức biến phân việc xây dựng phương pháp giải Có nhiều phương pháp giải bất đẳng thức biến phân nghiên cứu như: phương pháp dựa kỹ thuật hàm chắn, phương pháp dựa cách tiếp cận điểm bất động, phương pháp dựa tính ổn định nghiệm tốn Gần đây, tốn tính ổn định nghiệm bất đẳng thức biến phân afin chứa tham số đề tài nhiều người quan tâm nghiên cứu Năm 1979 S M Robinson (xem [7]) xét đến tính chất liên tục Lipschitz ánh xạ nghiệm toán bất đẳng thức biến phân afin chứa tham số Trong khoảng năm 1993-1996 B S Mordukhovich (xem [5], [6]) công bố loạt báo quan trọng ơng đưa nhiều ý tưởng kỹ thuật mới, phát triển phiên vô hạn chiều sâu sắc đẹp đẽ cho lý thuyết vi phân ông, đồng thời số tính chất ánh xạ đa trị (như tính giả-Lipschitz theo nghĩa Aubin, tính quy mêtric, tính mở địa phương) đặc trưng cách sử dụng công cụ đối đạo hàm qua giới hạn Dưới hướng dẫn tận tình giáo Nguyễn Thị Tồn chúng tơi chọn đề tài: “Tìm hiểu phép tốn đối đạo hàm liên quan đến bất đẳng thức biến phân afin chứa tham số ứng dụng nó”, dựa báo GS TSKH Nguyễn Đông Yên (xem [9], [10]) Mục đích luận văn tập trung nghiên cứu tính chất Aubin tính quy mêtric địa phương ánh xạ nghiệm bất đẳng thức biến phân afin chứa tham số Với mục đích luận văn chia làm ba chương: Chương I Bất đẳng thức biến phân R n Chương II Các phép tính liên quan đến đối đạo hàm ánh xạ đa trị Chương III Tính chất Aubin ánh xạ nghiệm Phần lớn kết trình bày luận văn thu số tác giả tài liệu [1], [2], [3], [8], [9], [10] trích dẫn luận văn Một số kết khác tác giả chứng minh chi tiết dạng nhận xét, bổ đề mệnh đề Tuy có nhiều cố gắng lực thời gian có hạn nên luận văn khơng tránh khỏi thiếu sót nội dung lẫn hình thức Vì vậy, tác giả mong nhận lời bảo quý báu Thầy giáo, Cơ giáo góp ý bạn đọc Nhân dịp này, cho phép tác giả xin bày tỏ lòng biết ơn sâu sắc Cơ giáo Nguyễn Thị Tồn người hướng dẫn nhiệt tình tác giả trình nghiên cứu Tác giả xin chân thành cảm ơn Thầy giáo, Cô giáo tổ Giải tích khoa Tốn tận tình giảng dạy, động viên tạo điều kiện thuận lợi cho tác giả học tập hoàn thành khóa luận Vinh, tháng năm 2011 Tác giả Chƣơng I BẤT ĐẲNG THỨC BIẾN PHÂN TRONG R n 1.1 ĐIỂM BẤT ĐỘNG 1.1.1 Định nghĩa Cho A tập hợp ánh xạ F : A A Một điểm x A gọi điểm bất động F F x x Hay nói cách khác, điểm bất động F nghiệm phương trình F x x 1.1.2 Định nghĩa Cho S không gian mêtric Một ánh xạ F : S S gọi ánh xạ corút d F x , F y d x, y , x, y S (1) : Khi cho 1, ánh xạ F gọi không giãn 1.1.3 Định lý[`1] Cho S không gian mêtric đầy đủ F : S S ánh xạ corút Khi tồn điểm bất động F 1.1.4 Định lý (brower)[1] Cho F ánh xạ liên tục từ hình cầu đóng B Rn vào Khi F tồn điểm bất động 1.2 BẤT ĐẲNG THỨC BIẾN PHÂN 1.2.1 Định nghĩa Không gian đối ngẫu R n R n khơng gian tất dạng tuyến tính a : Rn R x a, x , xác định R n 1.2.2 Định lý[1] Cho K Rn tập compact, lồi ánh xạ F : K Rn liên tục Khi đó, có điểm x K cho: F x , y x 0, y K (2) 1.2.3 Hệ quả[1] Cho x nghiệm bất đẳng thức biến phân (2) giả sử x int K , phần K Khi đó, F x 1.2.4 Bài toán Cho K tập đóng, lồi R n ánh xạ F : K Rn liên tục Tìm x K cho F x , y x 0, y K (3) Định lý sau đây, đưa điều kiện cần đủ cho tồn nghiệm Bài toán 1.2.4 1.2.5 Định lý[1] Cho K Rn tập đóng, lồi ánh xạ F : K Rn liên tục Điều kiện cần đủ để Bài tốn 1.2.4 có nghiệm tồn R cho có nghiệm xR K R điều kiện (3) thỏa mãn : xR R Trong K R K B0, R với B0, R hình cầu đóng tâm Rn , bán kính R 1.2.6 Hệ quả[1] Cho F : K Rn thỏa mãn F x F x0 , x x0 x x0 x , x K , (4) với x0 K Khi đó, tồn nghiệm Bài toán 1.2.4 1.2.7 Định nghĩa Điều kiện (4) Hệ 1.2.6 gọi điều kiện cưỡng 1.2.8 Định nghĩa Ánh xạ F : K Rn gọi đơn điệu F x F x , x x 0, x, x K (5) Ánh xạ F gọi đơn điệu ngặt dấu " " (5) xảy x x Chƣơng II CÁC PHÉP TÍNH CƠ BẢN LIÊN QUAN ĐẾN ĐỐI ĐẠO HÀM CỦA ÁNH XẠ ĐA TRỊ 2.1 CÁC KHÁI NIỆM VÀ TÍNH CHẤT CƠ SỞ 2.1.1 Định nghĩa Cho X, Y hai tập hợp bất kỳ, F: X Y ánh xạ từ X vào tập hợp gồm toàn tập Y ( ký hiệu 2Y) Ta nói F ánh xạ đa trị từ X vào Y Như vậy, với x X, F(x) tập hợp Y Ta sử dụng ký hiệu F: X Y để F ánh xạ đa trị từ X vào Y 2.1.2 Định nghĩa Cho X Y không gian định chuẩn Đồ thị gph F , miền hữu hiệu dom F miền ảnh rge F ánh xạ đa trị F: X Y tương ứng xác định công thức gph F x, y X Y : yF x, dom F x X : F x 0 , rge F yY : x X saocho yF x Ánh xạ đa trị F gọi có đồ thị đóng địa phương lân cận điểm x0 , y0 gph F tồn hình cầu đóng B tâm x0 , y0 X Y, có bán kính dương mà B gph F tập đóng X Y 2.1.3 Định nghĩa Tập M Rk gọi tập lồi đa diện M biểu diễn dạng giao số hữu hạn nửa khơng gian đóng Rk 2.1.4 Định nghĩa Cho tập Rk Khi ký hiệu , int cone tương ứng biểu thị bao đóng , phần , hình nón sinh , nghĩa cone t z : z , t 0 2.1.5 Định nghĩa Cho X, Y không gian Euclide, : X Y hàm đa trị Khi đó, giới hạn theo dãy theo nghĩa Painlevé-Kuratowski (x) x x ký hiệu Lim sup x = { Y: dãy xk x , k , với x x k xk , k 1,2 } 2.1.6 Định nghĩa Cho X không gian Euclide, X Tập N x; tập véctơ - pháp tuyến Fréchet x cho công thức: N x; v X : lim x u sup v, u x ux , (1.1) x nghĩa u x u ký hiệu u Nếu = tập (1.1) hình nón lồi đóng gọi nón pháp tuyến Fréchet x ký hiệu N x ; 2.1.7 Định nghĩa Cho X không gian Euclide, X Hình nón N x ; lim x x , sup N x ; (1.2) gọi nón pháp tuyến theo nghĩa Mordukhovich x 2.1.8 Định nghĩa Cho X Y khơng gian Euclide Khi ánh xạ D x , y : Y X xác định D x, y y {x X : x , y N x , y ; gph } công thức (1.3) gọi đối đạo hàm chuẩn tắc (hay đối đạo hàm qua giới hạn, đối đạo hàm Mordukhovich) x , y 2.2 CÁC PHÉP TÍNH CƠ BẢN LIÊN QUAN ĐẾN ĐỐI ĐẠO HÀM CỦA ÁNH XẠ ĐA TRỊ 2.2.1 Bài toán Xét bất đẳng thức biến phân afin chứa tham số M x q N x; A, b (1.4) ký hiệu AVI(M, q, A, b), với (q, b) Rn Rm mơ tả nhiễu tuyến tính; M Rn n , A Rm n ; A, b x Rn : Ax b tập lồi đa diện; N x; A, b {v R n: v, u x 0, u A, b } nón pháp tuyến lồi (A, b) x A, b v, u biểu thị tích vơ hướng v u Quy ước N x; A, b x A, b Tập nghiệm (1.4) ký hiệu S(q, b) Như vậy, x S(q, b) nghĩa x A, b M x q, u x 0, u A, b (1.5) Trong chương ta đặt C A, b , X không gian Euclide 2.2.2 Nhận xét Cho A = - E, với E ma trận đơn vị Rn n b = R n Khi x thỏa mãn (1.4) M x q 0, x 0, M x q, x Chứng minh Cần Giả sử x thỏa mãn (1.4) Ta có (A, b) = { x Rn : A x b} Mà theo giả thiết A = - E, b = 0, (-E, 0) = { x Rn : -E x 0} = { x Rn : x 0} Ta chọn u = x thay vào (1.5) ta M x q, x 0, mà x nên M x q Chọn u = x thay vào (1.5) ta M x q, x Do M x q, x Đủ Giả sử M x q 0, x 0, M x q, x = Ta dễ dàng chứng minh x thỏa mãn (1.4) 2.2.3 Chú ý[9] Nếu X tập lồi X khơng gian Euclide N x; N x; v X : v, u x 0, u 2.2.4 Định nghĩa Cho J = {1, 2, , m} Với x C , tập số hoạt ứng với điểm x cho I x i J : Ai x bi , (1.6) Ai biểu thị hàng thứ i A , b i thành phần thứ i b Tập I J, I = J \ I, AI ma trận hợp thành hàng A i , i I (định nghĩa AI tương tự) Khi giả mặt FI C A, b tương ứng tập số I định nghĩa công thức FI x Rn : AI x bI , AI x bI Pos AiT : i I nón lồi tạo véctơ cột AiT : i I 2.2.5 Chú ý Nón pháp tuyến N x; C C x C nón đối ngẫu nón tiếp tuyến T x; C , nghĩa N x; C T x; C x X : x, v 0, v T x;C , (1.7) C X, với X không gian Euclide, X không gian đối ngẫu X 2.2.6 Định lý[3] (bổ đề Farkas không gian véctơ tùy ý) Cho W không gian véctơ chiều tùy ý Giả sử kéo theo sau với u W xi , u 0, i I x, u 0 , I N tập số hữu hạn, với xi x phần tử X , i I Khi tồn i 0, i I cho x i xi iI 2.2.7 Mệnh đề Giả sử x C , x FI I I x xác định (1.6) Khi ta có (i) N x; C pos AiT : i I , (1.8) i I với pos AiT : i I i AiT : i 0 ; (ii) T x ; C u Rn : AI u 0 , (1.9) với T x ; C N x ; C Chứng minh (i) Giả sử x N x ; C cho tùy ý Từ định nghĩa nón pháp tuyến lồi, ta có x, x x 0, x C (1.10) 22 (ii) Ánh xạ nghiệm S(w, b) bái toán f x, w N x; A, b , với f : Rn Rs Rn hàm véctơ C1 cho gọi quy mêtric địa phương theo nghĩa Robinson lân cận điểm 0 x0 , w , b0 , 0Rn thỏa mãn f x0 , w N x0 ; A, b0 tồn số 0, lân cận V x0 , W w , U b0 cho dist x, S w, b dist 0, f x, w N x; A, b x V , w W, b U , dist 0, f x, w N x; A, b 3.1.4 Định nghĩa Cho X Y không gian Banach, hàm f : X Y gọi khả vi chặt x X f khả vi Fréchet x f x f u f x x u x u x x, u x lim 3.1.5 Định lý[10] Cho 1 : Rn Rm khả vi chặt x , 2 : Rn Rm ánh xạ đa trị tùy ý có đồ thị đóng Khi đó, với y 1 x 2 x y Rm ta có D 1 2 x, y y 1 x y D2 x , y 1 x y T 3.1.6 Định nghĩa Cho X, Y không gian véctơ F : X Y Khi hạt nhân F ký hiệu ker F định nghĩa công thức ker F x X : F x 0 3.1.7 Định lý[10] Cho X , Y , Z không gian Euclide hữu hạn chiều, ánh Z , x0 , y0 X Y cho F x0 , y0 Giả sử G xạ đa trị F : X Y hàm ẩn đa trị xác định G y x X : F x, y Nếu gph F tập đóng địa phương lân cận điểm 0 x0 , y0 , 0Z ker DF 0 0 (2.1) DG y0 , x0 x y Y : z Z , x , y DF 0 z , với x X (2.2) 23 3.1.8 Định lý[10] Với ký hiệu Định lý 3.1.7, (2.1) thỏa mãn y Y : z Z , 0, y DF 0 z 0 (2.3) hàm ẩn đa trị G có tính chất Aubin lân cận điểm y0 , x0 , nghĩa tồn lân cận U x0 , V y0 số l cho G y U G y l y y BX , y, y V 3.1.9 Định lý[10] Cho X , Y , Z không gian Euclide hữu hạn chiều, ánh xạ đa trị F : X Y Z , x0 , y0 X Y cho F x0 , y0 Giả sử G hàm ẩn đa trị xác định G y x X : F x, y Nếu gph F đóng địa phương lân cận điểm 0 x0 , y0 , 0Z , (2.1) (2.3) thỏa mãn G quy mêtric địa phương theo nghĩa Robinson lân cận điểm 0 x0 , y0 , 0Z , nghĩa tồn số 0, lân cận U x0 , V y0 cho dist x, G y dist 0, F x, y x U , y V , dist 0, F x, y 3.2 TÍNH CHẤT AUBIN CỦA ÁNH XẠ NGHIỆM 3.2.1 Các tính chất ánh xạ nghiệm q S q, b w S w, b Trong phần này, cho b Rm x0 S q0 , b Lúc đó, ta có F x0 , y0 , với F x, y F1 x, y F3 x, y , y q, y0 q0 , F1 x, q M x q F3 x, q N x ; A, b 3.2.1.1 Định lý[10] Nếu với q Rn , ta có q T M q , q Q Q, (2.4) 24 với tập số I I I x0 i J : Ai x0 bi mặt đóng Q nón lồi đa diện T FI ; C M x0 q0 có tính chất sau: (i) Ánh xạ q S q, b có tính chất Aubin lân cận điểm q0 , x0 gph S ., b ; (ii) Ánh xạ q S q, b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 , 0Rn Chứng minh Dễ thấy F1 khả vi chặt x0 , q0 Ta chứng minh F3 ánh xạ đa trị có đồ thị đóng, tức chứng minh gph F3 tập đóng Thật vậy, giả sử xn , qn , gph F3 mà xn , qn , x, q, v , ta cần chứng minh x, q, v gph F3 Từ xn , qn , gph F3 suy N xn ; C Do , x xn 0, x C Cho n ta có v, x x 0, x C Từ suy v N x ; C Do x, q, v gph F3 Khi áp dụng Định lý 3.1.5 cho tổng F F1 F3 điểm x0 , q0 , 0Rn gph F , với q Rn ta có DF x0 , q0 , 0Rn q M T q DF3 x0 , M x0 q0 q q (2.5) Với 0 x0 , y0 , 0Rn x0 , q0 , 0Rn , từ (2.5) suy ker DF 0 0 Điều kiện (2.3) viết sau: M T q DF3 x0 , M x0 q0 q q Giả sử M T q DF3 x0 , M x0 q0 q Khi theo Định lý 2.2.13 ta có M T q, q Q Q, với tập số I I I x0 mặt đóng Q nón lồi đa diện T FI ; C M x0 q0 Từ giả thiết định lý suy q Do theo Định lý 3.1.8 tính chất (i) chứng minh Để chứng minh tính chất (ii) ta cần chứng minh F có đồ thị đóng, tức chứng minh gph F tập đóng 25 Thật vậy, giả sử xk , qk , zk gph F mà xk , qk , zk x, q, z , ta cần chứng minh x, q, z gph F Từ xk , qk , zk gph F suy zk M xk qk N xk ; C Do zk M xk qk N xk ; C Từ ta suy zk M xk qk , x xk 0, x C Cho k ta có z M x q, x x 0, x C Có nghĩa z M x q N x; C Suy z M x q N x ; C Hay x, q, z gph F Do gph F tập đóng Vậy F có đồ thị đóng địa phương lân cận điểm x0 , q0 , 0Rn Từ chứng minh trên, theo Định lý 3.1.9 tính chất (ii) chứng minh Vậy định lý chứng minh Sau ta xét ánh xạ nghiệm w S w, b toán f x, w N x; A, b Giả sử b Rm , w R s , x0 S w , b Khi F x0 , y0 , F x, y F1 x, y F3 x, y , với y w, y0 w F1 x, y f x, w , F3 x, y N x; A, b Từ f x0 , w x f x , w , w f x , w , sử dụng Định lý 3.1.8, 3.1.9 ta có Định lý 0 0 3.2.1.4 sau Trước hết ta đưa kết sử dụng chứng minh Định lý 3.2.1.4 3.2.1.2 Mệnh đề[8] Cho V , V không gian véctơ, f : V V ánh xạ tuyến tính Khi f đơn ánh ker f không gian véctơ không 3.2.1.3 Nhận xét Nếu ánh xạ f : Rs Rn tồn ánh ánh xạ đối ngẫu f : Rn R s đơn ánh 26 Chứng minh Thật vậy, giả sử f toàn ánh, ta cần chứng minh f đơn ánh, tức chứng minh ker f 0 Điều tương đương với chứng minh f y y Từ f y , ta suy f y, x 0, x Rs Từ suy y , f x 0, x Rs Ta chứng minh y 0, tức chứng minh y, y 0, y Rn Do f toàn ánh nên với y Rn x R s : y f x Từ suy y, y y, f x 3.2.1.4 Định lý Giả sử w f x0 , w : Rs Rn ánh xạ toàn ánh Nếu với q Rn , ta có q x f x0 , w q , q Q Q, với tập T số I I I x0 i J : Ai x0 bi mặt đóng Q nón lồi đa diện T FI ; C f x0 , w có tính chất sau: (i) Ánh xạ w S w, b có tính chất Aubin lân cận điểm w0 , x0 gph S ., b ; (ii) Ánh xạ w S w, b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , w , 0Rn Chứng minh Theo chứng minh Định lý 3.2.1.1 ánh xạ F3 có đồ thị đóng Khi áp dụng Định lý 3.1.5 cho tổng F F1 F3 điểm x0 , w , 0Rn gph F , với q Rn ta có: DF x0 , w , 0Rn q x f x0 , w q DF3 x0 , f x0 , w q T w f x0 , w q T T Ta chứng minh ker DF 0 với 0 x0 , w0 , 0Rn , tức cần chứng minh DF 0 q q 27 Vì ánh xạ w f x0 , w : Rs Rn toàn ánh nên theo Nhận xét 3.2.1.3 ta có w f x0 , w0 : Rn Rs đơn ánh Mà w f x0 , w w f x0 , w Do ker DF 0 T Ta có điều kiện (2.3) tương đương với điều kéo theo sau: x f x0 , w0 q DF3 x0 , f x0 , w q q T Giả sử x f x0 , w q DF3 x0 , f x0 , w q Khi theo Định lý T 2.2.13 ta có x f x0 , w q , q Q Q, với tập số I I I x0 T mặt đóng Q nón lồi đa diện T FI ; C f x0 , w Theo giả thiết định lý suy q Từ theo Định lý 3.1.8 tính chất (i) chứng minh Để chứng minh tính chất (ii) ta cần chứng minh F có đồ thị đóng, tức chứng minh gph F tập đóng Giả sử xk , w k , zk gph F mà xk , w k , zk x, w, z , ta cần chứng minh x, w, z gph F Từ xk , w k , zk gph F ta có zk f xk , w k N xk ; C Suy zk f xk , w k N xk ; C Từ ta có zk f xk , w k , x xk 0, x C Cho k ta z f x, w , x x 0, x C Từ suy z f x, w N x; C Hay z f x, w N x; C Do x, w, z gph F Vậy gph F tập đóng Từ chứng minh trên, theo Định lý 3.1.9 tính chất (ii) chứng minh Vậy định lý chứng minh 3.2.2 Các tính chất ánh xạ nghiệm q, b S q, b w, b S w, b 28 Giả sử b0 R m x0 S q0 , b0 , S q, b biểu thị tập nghiệm (1.4), F x0 , y0 mà F x, y F1 x, y F2 x, y , với y q, b , y0 q0 , b0 , F1 x, y M x q F2 x, y N x; A, b Sau ta nghiên cứu điều kiện để ánh xạ nghiệm có tính chất Aubin tính quy mêtric địa phương, với b tùy ý Trước hết nêu bổ đề hỗ trợ cho việc chứng minh kết 3.2.2.1 Bổ đề[2] Cho tập lồi đa diện khác rỗng Rn ma trận C Rs n Lúc ánh xạ C, d xác định C, d x Rn : Cx d Lipschitz miền hữu hiệu Nghĩa tồn số l cho C, d C, d l d d BRn , với C, d C, d tập khác rỗng Từ bổ đề ta có kết sau 3.2.2.2 Bổ đề[2] Cho A, b b x Rn : Ax b Khi A, b lipschitz miền hữu hiệu Chứng minh Đặt A A E , E ma trận đơn vị Rn n Giả sử X x, w X Rn n : x X , w 0 Lúc A, b x, w X : Ax Ew b x x, w X : A w Theo Bổ đề 3.2.2.1 tồn số l cho A, b A, b l b b BRn , với A, b , A, b tập khác rỗng Từ A, b x X : w Rn n , w 0, Ax w b , ta suy A, b lipschitz miền hữu hiệu 29 3.2.2.3 Nhận xét Giả sử F ánh xạ xác định phần đầu mục 3.2.2 Khi F có đồ thị đóng Chứng minh Ta chứng minh gph F tập đóng Giả sử xk , qk , bk , zk gph F mà xk , qk , bk , zk x, q, b, z , ta cần chứng minh x, q, b, z gph F Từ xk , qk , bk , zk gph F ta có zk M xk qk N xk ; A, bk Suy zk M xk qk N xk ; A, bk Từ ta có zk M xk qk , x xk 0, x A, bk Lấy x A, b Theo Bổ đề 3.2.2.2, A, b lipschitz miền hữu hiệu nên tồn số l cho A, bk A, b l b bk BRn Do với k tồn xk A, bk cho xk x l b bk Điều kéo theo xk x A, b Từ ta có zk M xk qk , xk xk Cho k ta z M x q, x x Do x A, b tùy ý nên z M x q N x; A, b Ta suy z M x q N x; A, b Hay x, q, b, z gph F Vậy ta có điều phải chứng minh 3.2.2.4 Định lý[10] Nếu với cặp q, b Rn Rm , có q , b 0,0 tồn tập số I I I x i J : Ai x0 b0 i mặt đóng Q nón lồi đa diện T FI ; C M x0 q0 cho T M T q, q Q Q, (2.6) M T q AIT bI (2.7) bI 0, (2.8) C A, b có tính chất sau: 30 (i) Ánh xạ q, b S q, b có tính chất Aubin lân cận điểm q0 , b0 , x0 gph S ; (ii) Ánh xạ q, b S q, b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 , b0 ,0Rn Chứng minh Ta thấy F2 có đồ thị đóng Khi áp dụng Định lý 3.1.5 cho tổng F F1 F2 điểm x0 , q0 , b0 , 0Rn , với q Rn bất kỳ, ta có DF x0 , q0 , b0 , 0Rn q M T q 0Rm DF2 x0 , b0 , M x0 q0 q q Từ điều suy ker D F 0 0 với 0 x0 , q0 , b0 , 0Rn Ta có điều kiện (2.3) tương đương với điều kéo theo sau: M T q, b DF2 x0 ,b0 , M x0 q0 q q,b 0, 0 Giả sử M T q , b DF2 x0 , b0 , M x0 q0 q Khi theo Định lý 2.2.18 ta có M T q, q Q Q, M T q AIT bI , bI 0, với tập số I I I x0 i J : Ai x0 b0 i mặt đóng Q nón lồi đa diện T FI ; C M x0 q0 Theo giả thiết định lý suy q , b 0,0 Do theo Định lý 3.1.8 tính chất (i) chứng minh Theo Nhận xét 3.2.2.3 F có đồ thị đóng Do từ chứng minh Định lý 3.1.9 tính chất (ii) chứng minh Vậy định lý chứng minh Sau ta xét ánh xạ nghiệm w, b S w, b toán f x, w N x; A, b Giả sử b0 Rm , w R s , x0 S w , b Khi F x0 , y0 F x, y F1 x, y F2 x, y , với y w, b , y0 w0 , b0 F1 x, y f x, w , F2 x, y N x; A, b Sử dụng Định lý 2.2.18, Định lý 3.1.5, Định lý 3.1.8, Định lý 3.1.9 ta thu kết sau 31 3.2.2.5 Định lý Giả sử w f x0 , w : R s Rn ánh xạ toàn ánh Nếu với bất q, b Rn Rm , kỳ cặp q, b 0,0 ta có I I I x0 i J : Ai x0 b0 i tồn tập số mặt đóng Q nón lồi đa diện T FI ; C f x0 , w cho T f x , w q , q Q Q , x 0 x f x0 , w0 T q AIT bI , bI , C A, b0 có tính chất sau: (i) Ánh xạ w, b S w, b có tính chất Aubin lân cận điểm w0 , b0 , x0 gph S ; (ii) Ánh xạ w, b S w, b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , w , b0 ,0Rn Chứng minh Ta thấy F2 ánh xạ có đồ thị đóng Khi áp dụng Định lý 3.1.5 cho tổng F F1 F2 điểm x0 , w , b0 ,0Rn , với q Rn bất kỳ, ta có DF x0 , w , b0 ,0Rn q x f x0 , w q 0Rm DF2 x0 , b0 , f x0 , w q T w f x0 , w q T Ta chứng minh ker DF 0 với 0 x0 , w , b0 , 0Rn , tức cần chứng minh DF 0 q q Vì ánh xạ w f x0 , w : Rs Rn toàn ánh nên theo Nhận xét 3.2.1.3 ta có w f x0 , w0 : Rn Rs đơn ánh Mà w f x0 , w w f x0 , w Do ker DF 0 T Ta có điều kiện (2.3) tương đương với điều kéo theo sau: 32 T q , b DF2 x0 , b0 , f x0 , w x f x0 , w q q, b 0, 0 Giả sử x f x0 , w q , b DF3 x0 , b0 , f x0 , w q Khi theo T Định lý 2.2.18 ta có x f x0 , w q , q Q Q, x f x0 , w q AIT bI , T T bI , với tập số I I I x0 mặt đóng Q nón lồi đa diện T FI ; C f x0 , w0 Theo giả thiết định lý suy q , b 0,0 Do theo Định lý 3.1.8 tính chất (i) chứng minh Theo Nhận xét 3.2.2.3 F có đồ thị đóng Do từ chứng minh Định lý 3.1.9 tính chất (ii) chứng minh Vậy định lý chứng minh Để thấy rõ ứng dụng định lý ta tìm hiểu ví dụ sau 3.2.3 Ví dụ Phần nêu hai ví dụ đơn giản để chứng tỏ Định lý 3.2.1.1 Định lý 3.2.2.4 sử dụng cho nhiều toán cụ thể Cho f x,w x w , với R số không đổi w q R tham số thực, ví dụ minh họa ứng dụng Định lý 3.2.1.4 Định lý 3.2.2.5 thực tiễn 3.2.3.1 Ví dụ[10] (Ứng dụng Định lý 3.2.1.1 bất đẳng thức biến phân afin chứa tham số) Cho n = 1, m = 2, 1 0 A R21, b R2 , M R11 1 1 Xét bất đẳng thức biến phân afin chứa tham số x q N x ; A, b (2.9) mà xác định toán tử afin M x q x q q R tập lồi đa diện A, b x R : Ax b Ta nghiên cứu dáng điệu địa phương ánh xạ 33 nghiệm q S q, b (2.9) lân cận điểm q0 , x0 1,0 q0 , x0 0,0 thuộc gph S ., b Ta thấy dấu số ảnh hưởng đến kết toán xét Xét trường hợp q0 , x0 1,0 , ta có M x0 q0 0 Khi đó, với tập số I I x0 1 ta có T FI ; C M x0 q0 0 Do Q 0 , bao hàm thức (2.4) viết q , q R 0 kéo theo q Do giả thiết Định lý 3.2.1.1 thỏa mãn Do ánh xạ q S q, b có tính chất Aubin lân cận điểm q0 , x0 gph S ., b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 ,0 Trường hợp M x0 q0 q0 , x0 0,0 I I x0 1 Lấy I , ta có R T FI ; C M x0 q0 R Khi với Q R , bao hàm thức (2.4) viết q , q 0 R , kéo theo q Lấy I I x0 {1} , ta có T FI ; C M x0 q0 R Khi với Q R , bao hàm thức (2.4) viết q , q R R Nếu q Như giả thiết Định lý 3.2.1.1 thỏa mãn Dựa vào Định lý 3.2.1.1, ta có kết luận ánh xạ q S q, b có tính chất Aubin lân cận điểm q0 , x0 gph S ., b quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 ,0 3.2.3.2 Ví dụ[10] (Ứng dụng Định lý 3.2.2.4 bất đẳng thức biến phân afin chứa tham số) Giả sử n, m, A M cho Ví dụ 3.2.3.1 Xét 0 bất đẳng thức biến phân afin chứa tham số (2.9) đặt b0 Ta nghiên cứu 1 dáng điệu địa phương ánh xạ nghiệm q, b S q, b (2.9) lân cận 34 điểm q0 , b0 , x0 gph S , với q0 , x0 1,0 q0 , x0 0,0 Ta thấy dấu số ảnh hưởng đến kết toán Xét trường hợp q0 , x0 1,0 , ta có M x0 q0 0 Khi đó, với tập số I I x0 1 ta có T FI ; C M x0 q0 0 Do Q 0 , bao hàm thức (2.6) viết q , q R 0 kéo theo q Nếu I (2.8) cho b ta có q , b 0,0R2 Nếu I I I x0 1 (2.7) kéo theo b1 Khi I 2 , (2.8) cho b2 Do q , b 0,0R2 Ta thấy giả thiết Định lý 3.2.2.4 thỏa mãn Như với R , ánh xạ q, b S q, b có tính chất Aubin lân cận điểm q0 , b0 , x0 gph S quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 , b0 ,0 Trường hợp q0 , x0 0,0 I I x0 1 Lấy I , ta có T FI ; C M x0 q0 R Khi với Q R , bao hàm thức (2.6) viết q, q 0 R , điều kéo theo q Từ I J 1,2 , (2.8) cho b Lấy I I x0 1 , ta có T FI ; C M x0 q0 R Khi đó, ta xét hai trường hợp với Q R Q 0 Trường hợp Q R , (2.6) viết sau q , q R R , điều cho q Từ (2.7) suy b1 , từ (2.8) suy b2 Do q , b 0,0R2 Trường hợp Q 0 , (2.6) viết sau q , q R 0 , kéo theo q Từ I I x0 1 , (2.7) cho b1 (2.8) cho b2 Do q , b 0,0R2 Như giả thiết Định lý 3.2.2.4 thỏa mãn Dựa vào Định lý 3.2.2.4, ta có kết luận ánh xạ q, b S q, b có tính chất Aubin lân cận điểm q0 , b0 , x0 gph S quy mêtric địa phương theo nghĩa Robinson lân cận điểm x0 , q0 , b0 ,0 35 KẾT LUẬN Một số vấn đề mà luận văn đạt được: Chứng minh chi tiết lại số kết Định lý 3.2.1.1, Định lý 3.2.2.4 Bổ đề 2.2.14 tài liệu [9], [10] Tác giả đưa chứng minh ba Nhận xét 2.2.2, 3.2.1.3, 3.2.2.3 Mệnh đề 2.2.7 Đưa cách chứng minh khác với lược đồ chứng minh N D Yen J-C Yao cho bổ đề 2.2.11 Chứng minh hai Định lý 3.2.1.4, Định lý 3.2.2.5 N D Yen J-C Yao đưa chưa chứng minh Sau hoàn thành luận văn chúng tơi đưa số Bài tốn mở sau: Nêu giảm bớt điều kiện Định lý 3.2.1.4, Định lý 3.2.2.5 kết luận Định lý cịn khơng? Điều kiện để ánh xạ w f x0 , w : R s Rn tồn ánh có phải điều kiện cần cho kết luận Định lý 3.2.1.4 Định lý 3.2.2.5 khơng? Trong tốn ta xét X, Y khơng gian hữu hạn chiều, thay X, Y không gian vơ hạn chiều kết luận tốn cịn khơng? 36 TÀI LIỆU THAM KHẢO [1] David Kinderlerer (1980), An Introduction to Variationl Inequations and Their Applications, New York, A Press [2] G M Lee, N N Tam and N D Yen (2005), Quadratic Programming and Affine Variational Inequalities: A Qualitative Study, Series: “Nonconvex Optimization and its Applications”, Vol 78, Springer Verlag [3] N M Nam (2010), Coderivatives of normal cone mappings and lipschitzian stability of parametric variational inequalities, Nonlinear Analysis 73, 2271-2282 [4] Ngô Thị Miên (2009), Tính nửa liên tục ánh xạ nghiệm bất đẳng thức biến phân suy rộng chứa tham số khơng gian Banach phản xạ, Khóa luận tốt nghiệp Đại học Vinh [5] B S Mordukhovich (1993), Complete characterization of openness metric regularity, and Lipschitzian properties of multifunctions, Trans Amer Math Soc 340, 1-35 [6] B S Mordukhovich (1994), Generalized differential calculus for nonsmooth and setvalued mappings, J Math Anal Appl 183, 250-288x [7] S M Robinson (1979), Generalized equations and their solution Part I: Basic theory, Math Program Study 10, 128-141 [8] Nguyễn Sum – Nguyễn Văn Giám – Mai Quý Năm (2000), Toán cao cấp Tập 1: Đại số tuyến tính, Nhà xuất GD [9] J-C Yao and N D Yen (2009), Coderivative calculation related to a parametric affine variational inequality Part 1: Basic calculations, Acta Math Vietnam, 34, 157-172 [10] J-C Yao and N D Yen (2009), Coderivative calculation related to a parametric affine variational inequality Part 2: Applications, Pacific J Optimi, 5, 493-506 [11] Nguyễn Đơng n (2007), Giải tích đa trị, Bộ sách toán cao cấp-viện toán học, Nhà xuất khoa học Tự Nhiên Công Nghệ ... tình giáo Nguyễn Thị Tồn chúng tơi chọn đề tài: ? ?Tìm hiểu phép tốn đối đạo hàm liên quan đến bất đẳng thức biến phân afin chứa tham số ứng dụng nó? ??, dựa báo GS TSKH Nguyễn Đông Yên (xem [9], [10])... ánh xạ nghiệm bất đẳng thức biến phân afin chứa tham số Với mục đích luận văn chia làm ba chương: Chương I Bất đẳng thức biến phân R n Chương II Các phép tính liên quan đến đối đạo hàm ánh xạ đa... công thức (1.3) gọi đối đạo hàm chuẩn tắc (hay đối đạo hàm qua giới hạn, đối đạo hàm Mordukhovich) x , y 2.2 CÁC PHÉP TÍNH CƠ BẢN LIÊN QUAN ĐẾN ĐỐI ĐẠO HÀM CỦA ÁNH XẠ ĐA TRỊ 2.2.1 Bài toán
Ngày đăng: 07/10/2021, 23:42
Xem thêm:
