Các kết quả chính của luận án này bao gồm:
1. Một kết quả về mối quan hệ giữa công thức tính nón pháp tuyến Fréchet của
tập nghịch ảnh và điều kiện dạng Karush-Kuhn-Tucker (Định lý 1.3.4);
2. Một đặc trng của không gian Asplund theo định lý giá trị trung bình xấp
xỉ cho dới vi phân Fréchet (Định lý 2.2.7);
3. Một số điều kiện cần và điều kiện đủ theo đối đạo hàm để một ánh xạ liên
tục là đơn điệu (Định lý 2.3.5 và Định lý 2.3.17); một số điều kiện cần và
điều kiện đủ theo dới vi phân bậc hai để một hàm số khả vi liên tục là lồi
(Định lý 2.3.21);
4. Các công thức ớc lợng đối đạo hàm của ánh xạ nghiệm của bất đẳng thức
biến phân chứa tham số trên tập lồi đa diện bị nhiễu (Định lý 3.2.5);
26 trang |
Chia sẻ: tueminh09 | Ngày: 25/01/2022 | Lượt xem: 760 | Lượt tải: 0
Bạn đang xem trước 20 trang tài liệu Luận án Một số quy tắc tính toán trong giải tích biến phân và ứng dụng, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
Bộ giáo dục và đào tạo
Trường Đại học Vinh
----------------------
nguyễn thị quỳnh trang
Một số quy tắc tính toán
trong giải tích biến phân và ứng dụng
Chuyên ngành: Toán giải tích
Mã số: 62 46 01 02
Tóm tắt luận án tiến sĩ toán học
Nghệ An - 2015
Công trình được hoàn thành tại Trường Đại học Vinh
Người hướng dẫn khoa học:
1. PGS. TS. Nguyễn Quang Huy
2. PGS. TS. Trần Văn Ân
Phản biện 1:
Phản biện 2:
Phản biện 3:
Luận án sẽ được bảo vệ trước Hội đồng chấm luận án cấp Trường
vào hồi .... giờ .... ngày .....tháng ..... năm......
Có thể tìm hiểu luận án tại:
1. Thư viện Nguyễn Thúc Hào, Trường Đại học Vinh
2. Thư Viện Quốc gia Việt Nam
1Mở đầu
1. Lý do chọn đề tài
1.1 Giải tích biến phân là một bộ phận toán học được hình thành và phát
triển nhằm trang bị các công cụ để nghiên cứu các bài toán tối ưu và những vấn
đề có liên quan. Một mặt, các bài toán tối ưu thường xuyên xuất hiện trong các
khoa học ứng dụng. Mặt khác, giải quyết vấn đề dựa vào tối ưu là một phương
pháp hiệu quả trong toán học. Điều này làm cho giải tích biến phân trở thành
một lĩnh vực đáng quan tâm xét theo cả góc độ lý thuyết lẫn góc độ ứng dụng.
Lĩnh vực này hiện đang được nhiều nhà toán học quan tâm nghiên cứu
1.2 Hệ thống các quy tắc tính toán đóng vai trò quan trọng trong giải tích
biến phân. Nó là cầu nối giữa những kết quả tổng quát với những ứng dụng cụ
thể. Theo B. S. Mordukhovich, "bất kỳ cấu trúc hay tính chất nào được đưa ra
là có tiềm năng sử dụng chỉ khi nó có các quy tắc tính toán thỏa đáng". Chính
vì vậy, ngay khi giới thiệu các cấu trúc vi phân suy rộng người ta đã chú trọng
đến việc thiết lập quy tắc tính toán cho chúng. Hệ thống các quy tắc tính toán
bậc nhất của vi phân suy rộng trong giải tích biến phân về cơ bản đã đầy đủ.
Hiện nay, phát triển quy tắc tính toán bậc hai đang là một chủ đề nghiên cứu
có tính thời sự trong giải tích biến phân. Cùng với việc tìm kiếm quy tắc tính
toán mới, sử dụng các quy tắc tính toán đã được thiết lập để khảo sát các tính
chất của ánh xạ, hàm số hoặc tập hợp cũng là một vấn đề rất được quan tâm.
1.3 Tính đơn điệu và tính Lipschitz là những tính chất cơ bản trong giải tích
biến phân và ứng dụng. Mặc dù các tính chất này đã được nghiên cứu mạnh
mẽ trong những thập kỷ qua, một số vấn đề thú vị liên quan đến chúng, chẳng
hạn như, đặc trưng đối đạo hàm của ánh xạ đơn điệu, đặc trưng dưới vi phân
bậc hai của hàm lồi, tính ổn định kiểu Lipschitz (Lipschitz-like) của bất đẳng
thức biến phân trên tập lồi đa diện bị nhiễu,..., đến nay mới chỉ được giải quyết
thỏa đáng cho một số trường hợp dưới những giả thiết nhất định. Các trường
hợp còn lại vẫn đang cần được khảo sát thêm. Sự phát triển gần đây của giải
tích biến phân, đặc biệt là hệ thống các quy tắc tính toán, đưa đến cho chúng
ta hy vọng có thể đạt được những bước tiến mới theo hướng nghiên cứu này.
Với các lý do như thế, chúng tôi chọn đề tài là "Một số quy tắc tính toán
trong giải tích biến phân và ứng dụng".
22. Mục đích nghiên cứu
Luận án này nghiên cứu một số khía cạnh ứng dụng của các quy tắc tính
toán trong giải tích biến phân với các mục đích như sau:
- Tìmmối quan hệ giữa công thức tính nón pháp tuyến của tập nghịch ảnh qua
ánh xạ khả vi, các quy tắc tổng và điều kiện tối ưu dạng Karush-Kuhn-Tucker;
- Trả lời câu hỏi "Định lý giá trị trung bình xấp xỉ cho dưới vi phân Fréchet
có đúng trong không gian Banach bất kỳ hay không?"
- Làm rõ khả năng của đối đạo hàm trong việc nhận biết tính đơn điệu của
các ánh xạ liên tục và khả năng của dưới vi phân bậc hai trong việc nhận biết
tính lồi của các hàm số khả vi liên tục;
- Khảo sát tính ổn định kiểu Lipschitz của bất đẳng thức biến phân trên tập
lồi đa diện bị nhiễu.
3. Đối tượng nghiên cứu
Các quy tắc tính toán, định lý giá trị trung bình xấp xỉ, tính đơn điệu của
ánh xạ, tính lồi của hàm số, tính ổn định kiểu Lipschitz của bất đẳng thức biến
phân trên tập lồi đa diện.
4. Phạm vi nghiên cứu
Mối quan hệ giữa công thức tính nón pháp tuyến của tập nghịch ảnh qua ánh
xạ khả vi, các quy tắc tổng dạng đẳng thức và điều kiện tối ưu dạng Karush-
Kuhn-Tucker; tính hiệu lực của định lý giá trị trung bình xấp xỉ cho dưới vi
phân Fréchet; các điều kiện theo đối đạo hàm để một ánh xạ liên tục là đơn
điệu và các điều kiện theo dưới vi phân bậc hai để một hàm số khả vi liên tục
là lồi; các điều kiện cần và điều kiện đủ để bất đẳng thức biến phân trên tập
lồi đa diện bị nhiễu là ổn định kiểu Lipschitz.
5. Phương pháp nghiên cứu
Trong luận án này, chúng tôi sử dụng phương pháp tiếp cận biến phân và
các kỹ thuật của giải tích hàm, giải tích biến phân, lý thuyết tối ưu,...
6. ý nghĩa khoa học và thực tiễn
Luận án góp phần làm phong phú thêm các kết quả về hệ thống các quy
tắc tính toán trong giải tích biến phân và ứng dụng. Vì nhiều bài toán thực tế
dẫn đến mô hình bất đẳng thức biến phân trên tập lồi đa diện, nên kết quả về
tính ổn định được thiết lập trong luận án này có thể hữu ích cho việc phân tích
những bài toán đó.
37. Tổng quan và cấu trúc luận án
7.1. Tổng quan luận án
Năm 1963, để khảo sát các bài toán tối ưu lồi không khả vi, R. T. Rockafellar
đã giới thiệu khái niệm dưới vi phân cho các hàm lồi. Lúc đầu ông gọi nó là
vi phân của hàm lồi, nhưng về sau đổi thành dưới vi phân của hàm lồi. Đây là
khái niệm dưới vi phân đầu tiên trong giải tích biến phân. Những nghiên cứu
về vi phân suy rộng của hàm lồi và các vấn đề liên quan ở đầu thập niên 1960
dẫn đến sự ra đời của Giải tích lồi. Từ đó đến nay, lĩnh vực này tiếp tục được
phát triển và đã trở thành một bộ phận quan trọng của giải tích biến phân.
Năm 1973, F. H. Clarke đã đưa ra khái niệm đạo hàm theo hướng Clarke và
dưới vi phân Clarke của hàm Lipschitz địa phương. Những khái niệm này sau
đó đã được mở rộng cho các hàm số bất kỳ, không cần Lipschitz địa phương.
Bên cạnh các quy tắc tính toán dạng bao hàm thức, F. H. Clarke cũng đã thiết
lập một hệ thống quy tắc tính toán dạng đẳng thức cho lớp hàm chính quy
Clarke. Lý thuyết vi phân suy rộng Clarke có ảnh hưởng rất lớn đến sự phát
triển của giải tích không trơn, đặc biệt trong nửa cuối thập niên 1970 và trong
thập niên 1980. Các kết quả cơ bản của lý thuyết vi phân suy rộng này đã
được trình bày trong cuốn sách chuyên khảo "Optimization and Nonsmooth
Analysis" của F. H. Clarke (1983).
Năm 1976, để nghiên cứu điều kiện cần cực trị cho một bài toán điều khiển
tối ưu, B. S. Mordukhovich đã giới thiệu khái niệm nón pháp tuyến và dưới
vi phân qua giới hạn. Năm 1980, B. S. Mordukhovich đưa ra khái niệm đối
đạo hàm của ánh xạ đa trị, dưới tên gọi là ánh xạ liên hợp (adjoint mapping).
Thuật ngữ "đối đạo hàm" được sử dụng lần đầu tiên vào năm 1984 bởi A. D.
Ioffe. Dưới vi phân bậc hai được B. S. Mordukhovich đưa ra năm 1992. Đây
là những khái niệm cơ bản của lý thuyết vi phân suy rộng Mordukhovich. Các
quy tắc tính toán quan trọng của lý thuyết vi phân suy rộng này, bao gồm quy
tắc tổng (sum rule), quy tắc chuỗi (chain rule), quy tắc giao (intersection rule),
đã được nghiên cứu trong nhiều công trình, chẳng hạn, các công trình của
A. D. Ioffe (1984, 2000), B. S. Mordukhovich (1994), B. S. Mordukhovich và
N. M. Nam (2005), B. S. Mordukhovich và Y. Shao (1996), B. S. Mordukhovich
và J. V. Outrata (2001). Lý thuyết vi phân suy rộngMordukhovich đã được trình
bày trong cuốn sách chuyên khảo 2 tập "Variational Analysis and Generalized
Differentiation" của B. S. Mordukhovich (2006).
Ngoài những khái niệm vi phân suy rộng kể trên, còn có nhiều khái niệm vi
phân suy rộng khác đã được giới thiệu nhằm mục đích nghiên cứu các bài toán
4tối ưu và các vấn đề liên quan, chẳng hạn như các loại đạo hàm theo hướng,
đạo hàm của ánh xạ đa trị do J.-P. Aubin đề xuất, dưới vi phân xấp xỉ của
A. D. Ioffe. Trong luận án này, chúng tôi giới hạn việc nghiên cứu trong khuôn
khổ lý thuyết vi phân suy rộng Mordukhovich.
Chương 1 bắt đầu bằng việc nhắc lại một số khái niệm và tính chất cơ bản
cần dùng trong luận án này. Dựa trên ý tưởng "sử dụng quy tắc chuỗi để chứng
minh quy tắc tổng" của R. T. Rockafellar và R. J.-B. Wets (1998), Mục 1.2 cho
thấy một số quy tắc tổng đã biết là những hệ quả trực tiếp của các công thức
tính nón pháp tuyến của tập nghịch ảnh dạng đẳng thức do B. S. Mordukhovich
và B. Wang thiết lập năm 2004. Trong Mục 1.3, chúng tôi thu được một kết
quả về mối quan hệ giữa công thức tính nón pháp tuyến Fréchet của tập nghịch
ảnh và điều kiện tối ưu dạng Karush-Kuhn-Tucker (Định lý 1.3.4). Kết quả
này mở rộng kết quả tương ứng của F. J. Gould và J. W. Tolle (1971) từ không
gian hữu hạn chiều lên không gian Banach bất kỳ. Công thức tính nón pháp
tuyến của tập nghịch ảnh và quy tắc tổng dạng đẳng thức trong Chương 1 được
sử dụng để nghiên cứu một số vấn đề trong những chương tiếp theo.
Các định lý giá trị trung bình là những kết quả quan trọng trong giải tích
biến phân. G. Lebourg (1975) là người đầu tiên đưa ra định lý giá trị trung bình
cho hàm Lipschitz không trơn. Năm 1988, D. Zagrodny đã cho thấy định lý giá
trị trung bình Lebourg không đúng cho hàm liên tục và vì vậy ông đã giới thiệu
định lý giá trị trung bình xấp xỉ. Định lý giá trị trung bình xấp xỉ sau đó tiếp
tục được nghiên cứu bởi nhiều nhà toán học khác như P. D. Loewen (1994),
L. Thibault (1995), J. -P. Penot (1997),... Năm 1996, B. S. Mordukhovich và
Y. Shao đã thiết lập định lý giá trị trung bình xấp xỉ cho dưới vi phân Fréchet
trong không gian Asplund, đó là không gian Banach mà mỗi không gian con
đóng khả ly có đối ngẫu khả ly. Định lý giá trị trung bình xấp xỉ của B. S.
Mordukhovich và Y. Shao là một công cụ để nghiên cứu vấn đề nhận biết các
tính chất của hàm số qua dưới vi phân. Trong phép chứng minh một số kết quả
theo hướng này, chẳng hạn định lý đặc trưng dưới vi phân của hàm Lipschitz
địa phương và định lý đặc trưng dưới gradient của hàm đơn điệu theo nón,
ngoại trừ việc sử dụng định lý giá trung bình xấp xỉ cho dưới vi phân Fréchet,
các lập luận khác vẫn đúng trong không gian Banach tùy ý. Vì vậy, câu hỏi
được đặt ra một cách tự nhiên là: Định lý giá trị trung bình xấp xỉ cho dưới
vi phân Fréchet có đúng trong không gian Banach bất kỳ hay không? Trong
Chương 2, chúng tôi chứng minh được lớp không gian Asplund là lớp không
gian Banach rộng nhất mà định lý giá trị trung bình xấp xỉ cho dưới vi phân
Fréchet đúng trong mỗi không gian thuộc nó.
5Khái niệm ánh xạ đơn điệu cực đại xuất hiện từ đầu thập niên 1960. Dưới vi
phân của các hàm lồi chính thường nửa liên tục dưới và phép chiếu trực giao
lên tập lồi đóng khác rỗng trong không gian Hilbert là những ví dụ về ánh xạ
đơn điệu cực đại. Đối với ánh xạ đơn trị liên tục, tính đơn điệu và đơn điệu
cực đại là trùng nhau. Tính đơn điệu cực đại của ánh xạ đã được sử dụng để
nghiên cứu một số khía cạnh quan trọng của các bài toán tối ưu và cân bằng,
chẳng hạn như, sự tồn tại nghiệm, tính ổn định nghiệm và sự hội tụ của các
phương pháp số. Theo kết quả cổ điển về đặc trưng tính đơn điệu, một ánh xạ
đơn trị khả vi là đơn điệu nếu và chỉ nếu đạo hàm của nó là nửa xác định dương
tại mọi điểm. Năm 1962, sử dụng đạo hàm theo hướng, G. J. Minty đã thiết
lập một điều kiện đủ để một ánh xạ đơn trị không trơn là đơn điệu. H. Jiang
và L. Qi (1995), D. T. Luc và S. Schaible (1996) đã cho thấy rằng một ánh xạ
đơn trị Lipschitz địa phương trong không gian hữu hạn chiều là đơn điệu nếu
và chỉ nếu mọi ma trận Jacobi suy rộng Clarke của nó là nửa xác định dương.
Sau đó, thay các ma trận Jacobi suy rộng Clarke bằng các ma trận Jacobi xấp
xỉ, V. Jeyakumar và các cộng sự (1998) đã thu được một điều kiện đủ để một
ánh xạ đơn trị liên tục là đơn điệu. R. A. Poliquin và R. T. Rockafellar (1998)
đã chứng minh được rằng đối đạo hàm của một ánh xạ đa trị đơn điệu cực đại
trong không gian hữu hạn chiều có tính nửa xác định dương. N. H. Chieu và
N. Q. Huy (2012), B. S. Mordukhovich và T. T. A. Nghia (2013) đã mở rộng
kết quả của này cho trường hợp không gian Hilbert. Gần đây, N. H. Chieu và
các cộng sự (2015) đã thu được một số đặc trưng đối đạo hàm cho tính đơn điệu
cực đại cho lớp ánh xạ đa trị hypo-đơn điệu (hypomonotone). Trong Chương 2,
sử dụng định lý giá trị trung bình xấp xỉ cho dưới vi phân Fréchet, các quy tắc
tổng dạng đẳng thức và định lý Weierstrass về sự tồn tại nghiệm tối ưu, chúng
tôi đã thiết lập một điều kiện đủ theo đối đạo hàm để một ánh xạ đơn trị liên
tục f xác định trên không gian Asplund X là đơn điệu (Định lý 2.3.5). Điều
kiện đủ của chúng tôi là điều kiện đủ cho tính đơn điệu theo đối đạo hàm đầu
tiên trong giải tích biến phân. Hơn thế, nó cũng là một điều kiện cần nếu f
là Lipschitz địa phương hoặc X là Hilbert. Chúng tôi cũng thu được một số
điều kiện đủ theo đối đạo hàm để một ánh xạ là đơn điệu trên một tập con của
X (Định lý 2.3.17). Bằng cách áp dụng các kết quả trên cho ánh xạ đạo hàm,
chúng tôi thu được một số điều kiện cần và điều kiện đủ theo dưới vi phân bậc
hai để một hàm số khả vi liên tục là lồi (Định lý 2.3.21). Kết quả này cải tiến
kết quả của N. H. Chieu và N. Q. Huy (2011).
Tính chất kiểu Lipschitz (Lipschitz-like) của các ánh xạ đa trị được giới thiệu
bởi J.-P. Aubin (1984) dưới tên gọi là tính giả Lipschitz (pseudo-Lipschitz).
A. L. Dontchev và R. T. Rockafellar gọi nó là tính chất Aubin, trong khi
6B. S. Mordukhovich gọi nó là tính chất kiểu Lipschitz. Năm 1993, B. S. Mor-
dukhovich đã thiết lập một đặc trưng đối đạo hàm cho tính chất kiểu Lipschitz
của ánh xạ đa trị, nó được gọi là tiêu chuẩn Mordukhovich. Năm 1996, sử dụng
tiêu chuẩn Mordukhovich, A. L. Dontchev và R. T. Rockafellar đã thu được
một đặc trưng của tính ổn định kiểu Lipschitz của bất đẳng thức biến phân trên
tập lồi đa diện không bị nhiễu trong không gian hữu hạn chiều. Năm 2010,
R. Henrion và các cộng sự đã mở rộng kết quả này lên không gian Banach
phản xạ. Đối với bất đẳng thức biến phân trên tập lồi đa diện bị nhiễu, tính ổn
định Lipschitz đã được nghiên cứu bởi N. D. Yen (1995) cho trường hợp bất
đẳng thức biến phân đơn điệu mạnh và S. Lu và S. M. Robinson (2008) cho
trường hợp bất đẳng thức affine. Năm 2009, trong không gian hữu hạn chiều,
N. D. Yen và J.-C. Yao đã thu được một số điều kiện đủ để bài toán là ổn định
kiểu Lipschitz. Trong không gian hữu hạn chiều, gần đây, N. T. Qui đã giới
thiệu một số cải tiến của những kết quả của N. D. Yen và J.-C. Yao. Một kết
quả khác rất đáng chú ý theo hướng nghiên cứu này là kết quả của N. M. Nam
(2010), ở đó tác giả lần đầu tiên đặc trưng được tính ổn định kiểu Lipschitz
của bất đẳng thức biến phân chứa tham số trên tập lồi đa diện bị nhiễu. Tuy
nhiên, đặc trưng này chỉ được thiết lập tại những điểm mà các véctơ hoạt xác
định miền ràng buộc là độc lập tuyến tính. Tại những điểm còn lại, thâm chí
người ta còn không biết liệu bài toán có thể ổn định kiểu Lipschitz được hay
không. Kết quả chính trong Chương 3 là như sau: tại những điểm mà véctơ
hoạt xác định miền ràng buộc là phụ thuộc tuyến tính dương, chúng tôi chứng
minh được bài toán không ổn định kiểu Lipschitz, còn tại những điểm mà véctơ
hoạt xác định miền ràng buộc là độc lập tuyến tính dương nhưng phụ thuộc
tuyến tính, chúng tôi chỉ ra các ví dụ cho thấy bài toán vẫn có thể ổn định
kiểu Lipschitz, đồng thời giới thiệu một điều kiện cần cho tính ổn định kiểu
Lipschitz. Ngoài ra, trong Chương 3 của luận án chúng tôi cũng đã thu được
các ước lượng đối đạo hàm của ánh xạ nghiệm của bài toán bất đẳng thức biến
phân trên tập lồi đa diện bị nhiễu.
7.2. Cấu trúc luận án
Ngoài phần Mở đầu, Kết luận, Danh mục các công trình của tác giả có liên
quan đến luận án và Danh sách tài liệu tham khảo, nội dung của luận án gồm
ba chương. Chương 1 trình bày các kiến thức chuẩn bị và các kết quả liên quan
đến nón pháp tuyến của tập nghịch ảnh qua ánh xạ khả vi. Mục 1.1 được dành
để nhắc lại các khái niệm cơ bản của giải tích biến phân cần dùng trong luận
án này. Mục 1.2 cho thấy một số qui tắc tổng dạng đẳng thức là những hệ quả
của các công thức tính chính xác nón pháp tuyến của tập nghịch ảnh qua ánh
7xạ khả vi. Mục 1.3 được dành để thiết lập một kết quả về mối quan hệ giữa
công thức tính chính xác nón pháp tuyến của tập nghịch ảnh và điều kiện dạng
Karush-Kuhn-Tucker. Chương 2 nghiên cứu định lý giá trị trung bình xấp xỉ
cho dưới vi phân Fréchet, tính đơn điệu của các ánh xạ và tính lồi của các hàm
số. Mục 2.1 được dành để trình bày các kiến thức chuẩn bị của chương này.
Mục 2.2 đưa ra một đặc trưng của không gian Asplund theo định lý giá trị
trung bình xấp xỉ cho dưới vi phân Fréchet. Sử dụng định lý giá trị trung bình
xấp xỉ cho dưới vi phân Fréchet và các quy tắc tổng, Mục 2.3 thiết lập một số
kết quả về khả năng nhận biết tính đơn điệu của ánh xạ qua đối đạo hàm và
nhận biết tính lồi của hàm số qua dưới vi phân bậc hai. Chương 3 nghiên cứu
tính ổn định kiểu Lipschitz của bất đẳng thức biến phân chứa tham số trên tập
lồi đa diện bị nhiễu. Mục 3.1 được dành để phát biểu bài toán bất đẳng thức
biến phân trên tập lồi đa diện bị nhiễu. Mục 3.2 được dành để thiết lập các ước
lượng đối đạo hàm của ánh xạ nghiệm của bài toán này. Mục 3.3 thu được các
kết quả về tính ổn định kiểu Lipschitz của bất đẳng thức biến phân trên tập lồi
đa diện bị nhiễu.
Chương 1
Nón pháp tuyến của tập nghịch ảnh
qua ánh xạ khả vi
Chương này được dành để khảo sát mối quan hệ giữa công thức tính nón
pháp tuyến của tập nghịch ảnh qua ánh xạ khả vi, quy tắc tổng dạng đẳng thức
và điều kiện tối ưu dạng Karush-Kuhn-Tucker. Kết quả chính là Định lý 1.3.4,
nó là một mở rộng của kết quả tương ứng của F. J. Gould và J. W. Tolle (1971)
từ không gian hữu hạn chiều lên không gian Banach.
1.1. Các khái niệm cơ bản
Trong mục này, chúng ta nhắc lại một số khái niệm và ký hiệu đã được
biết trong giải tích biến phân. Nếu không giải thích gì thêm, X và Y là các
không gian Banach trên trường số thực, có các không gian đối ngẫu tôpô tương
ứng là X∗ và Y ∗. Với (x∗, x) ∈ X∗ ì X , đặt 〈x∗, x〉 := x∗(x). Tôpô sinh
bởi chuẩn được ký hiệu là τ‖ã‖, còn tôpô yếu∗ của không gian X∗ sẽ được ký
hiệu σ
(
X∗, X
)
. Chuẩn trên không gian tích là ‖(x, y)‖ := ‖x‖+ ‖y‖ với mọi
(x, y) ∈ X ì Y.
81.1.1 Định nghĩa. Cho Ω là tập con khác rỗng của X.
(i) Với mỗi ε ≥ 0, tập hợp các ε-pháp tuyến của Ω tại x¯ ∈ Ω, ký hiệu
N̂ε(x¯; Ω), là tập con của X
∗
được xác định bởi
N̂ε(x¯; Ω) :=
{
x∗ ∈ X∗
∣∣∣ lim sup
x
Ω−→x¯
〈x∗, x− x¯〉
‖x− x¯‖ ≤ ε
}
,
ở đây x
Ω−→ x¯ có nghĩa là x→ x¯ với x ∈ Ω. Nếu x¯ 6∈ Ω, thì đặt N̂ε(x¯; Ω) := ∅.
Khi ε = 0, tập hợp N̂(x¯; Ω) := N̂0(x¯; Ω) là một nón và nó được gọi là nón
pháp tuyến Fréchet của Ω tại x¯.
(ii) Nón pháp tuyến qua giới hạn của Ω tại x¯ ∈ Ω, ký hiệu N(x¯; Ω), là tập
con của X∗ được xác định bởi
N(x¯; Ω) := Lim sup
x→ x¯
ε↓0
N̂ε(x; Ω),
ở đây “ Lim sup ” là giới hạn trên Painlevé-Kuratowski theo dãy, nghĩa là
x∗ ∈ N(x¯; Ω) khi và chỉ khi tồn tại εk ↓ 0, xk → x¯, và x∗k ∈ N̂εk(xk; Ω) sao
cho x∗k
w∗−→ x∗. Ký hiệu x∗k w
∗−→ x∗ có nghĩa là x∗k → x∗ theo σ
(
X∗, X
)
. Qui
ước N(x¯; Ω) := ∅ nếu x¯ 6∈ Ω.
1.1.2 Định nghĩa. Cho U là một tập con mở của X, f : U → Y và x¯ ∈ U.
(i) Ta gọi f là khả vi chặt tại x¯ nếu tồn tại một ánh xạ tuyến tính liên tục
∇f(x¯) : X → Y sao cho
lim
x,u→x¯
x 6=u
f(x)− f(u)− 〈∇f(x¯), x− u〉
‖x− u‖ = 0. (0.1)
Trong trường hợp này, ∇f(x¯) được gọi là đạo hàm chặt của f tại x¯.
(ii) Nếu tồn tại một ánh xạ tuyến tính liên tục ∇f(x¯) : X → Y sao cho
(0.1) đúng với u = x¯, thì f được gọi là khả vi tại x¯ và ánh xạ ∇f(x¯) : X → Y
được gọi là đạo hàm của f tại x¯.
(iii) Ta nói f là khả vi liên tục tại x¯ nếu tồn tại δ > 0 sao cho f khả vi tại
mọi x ∈ Bδ(x¯) và ánh xạ ∇f : Bδ(x¯)→ L(X;Y ), x 7→ ∇f(x) là liên tục tại
x¯, ở đây Bδ(x¯) là hình cầu đóng tâm x¯ bán kính δ và L(X;Y ) là không gian
các ánh xạ tuyến tính liên tục từ X vào Y.
(iv) Ta nói f khả vi (tương ứng, khả vi chặt, khả vi liên tục) trên U nếu nó
khả vi (tương ứng, khả vi chặt, khả vi liên tục) tại mọi điểm thuộc U.
Với mỗi x ∈ X , ánh xạ ϕx : X∗ → R, x∗ 7→ ϕx(x∗) := 〈x∗, x〉 là một
phiếm hàm tuyến tính liên tục trên X∗, tức là ϕx ∈ X∗∗ :=
(
X∗
)∗
. Hơn nữa,
9ánh xạ Φ : X → X∗∗, x 7→ Φ(x) := ϕx là một ánh xạ tuyến tính liên tục và
‖Φ(x)‖ = ‖ϕx‖ với mọi x ∈ X. Ta gọi Φ là phép nhúng chính tắc X vào X∗∗.
Bằng cách đồng nhất x với ϕx, chúng ta xem X như là một không gian con
của X∗∗ và khi đó sẽ viết X ⊂ X∗∗. Nếu Φ(X) = X∗∗, thì X được gọi là một
không gian phản xạ.
1.1.4 Định nghĩa. (i) Ta nói (X, ‖ ã ‖) là không gian có chuẩn trơn nếu hàm
x 7→ ‖x‖ là khả vi tại mọi điểm khác 0.
(ii) Không gian (X, ‖ ã ‖) được gọi là có chuẩn tương đương trơn nếu tồn tại
một chuẩn ‖ ã ‖1 trên X sao cho ‖ ã ‖1 tương đương với ‖ ã ‖ và (X, ‖ ã ‖1) là
một không gian có chuẩn trơn.
(iii) Không gianX được gọi là Asplund nếu mọi hàm lồi liên tục ϕ : U → R
xác định trên một tập lồi mở U ⊂ X là khả vi tại mọi điểm thuộc một tập con
trù mật của U.
1.1.5 Chú ý. Không gian Banach X là Asplund nếu và chỉ nếu mọi không gian
con đóng khả ly của X có đối ngẫu khả ly. Lớp không gian Asplund chứa các
không gian có chuẩn tương đương trơn, đặc biệt là không gian Banach phản
xạ. R. Haydon (1990) đã chỉ ra một không gian Asplund mà mọi chuẩn tương
đương đều không trơn. Các không gian C[a, b], L1[a, b] và L∞[a, b] không là
Asplund và c0 là Asplund nhưng không phản xạ.
1.1.6 Định nghĩa. Cho Ω là một tập con của X và x¯ ∈ Ω. Nón tiếp tuyến
Bouligand-Severi của Ω tại x¯, ký hiệu T (x¯; Ω), là tập con của X được xác định
bởi T (x¯; Ω) :=
{
v ∈ X | ∃ tk ↓ 0, ∃ vk ∈ X : vk → v, x¯+ tkvk ∈ Ω ∀k
}
.
1.1.7 Chú ý. Nếu X là hữu hạn chiều, thì N̂(x¯; Ω) =
[
T (x¯; Ω)
]−
, ở đây
K− :=
{
x∗ ∈ X∗ | 〈x∗, v〉 ≤ 0 ∀v ∈ K} với mọi K ⊂ X.
Với ánh xạ đa trị F : X ⇒ Y, miền hữu hiệu và đồ thị của F tương ứng là
DomF :=
{
x ∈ X |F (x) 6= ∅} và gphF := {(x, y) ∈ X ì Y | y ∈ F (x)}.
1.1.8 Định nghĩa. Cho F : X ⇒ Y và (x¯, y¯) ∈ X ì Y .
(i)Đối đạo hàm pháp tuyến của F tại (x¯, y¯) là ánh xạD∗NF (x¯, y¯) : Y
∗ ⇒ X∗
được xác định bởi
D∗NF (x¯, y¯)(y
∗) :=
{
x∗ ∈ X∗ | (x∗,−y∗) ∈ N((x¯, y¯); gphF)}.
(ii) Đối đạo hàm Fréchet của F tại (x¯, y¯) là ánh xạ D̂∗F (x¯, y¯) : Y ∗ ⇒ X∗
10
được xác định bởi
D̂∗F (x¯, y¯)(y∗) :=
{
x∗ ∈ X∗ | (x∗,−y∗) ∈ N̂((x¯, y¯); gphF)}.
(iii) Đối đạo hàm hỗn hợp của F tại (x¯, y¯) là ánh xạD∗MF (x¯, y¯) : Y
∗ ⇒ X∗
được xác định bởi
D∗MF (x¯, y¯)(y
∗) :=
{
x∗ ∈ X∗ | ∃εk ↓ 0, (xk, yk)→ (x¯, y¯), x∗k w
∗−→ x∗,
y∗k
‖ã‖−→ y∗ : (x∗k,−y∗k) ∈ N̂εk
(
(xk, yk); gphF
)
, ∀k
}
.
1.1.9 Chú ý. Nếu mệnh đề nào đúng cho cả D∗MF (x¯, y¯) và D
∗
NF (x¯, y¯), thì
trong phát biểu chúng ta sẽ dùng D∗F (x¯, y¯) chung cho cả hai loại đối đạo hàm
này. Nếu F (x¯) = {y¯}, thì ta bỏ qua y¯ trong ký hiệu của đối đạo hàm (chẳng
hạn, ký hiệu D∗NF (x¯) thay cho D
∗
NF (x¯, y¯)
)
.
1.1.10 Định nghĩa. Cho ϕ : X → R := R ∪ {±∞}.
(i) Miền hữu hiệu và trên đồ thị của ϕ tương ứng là
domϕ :=
{
x ∈ X | ϕ(x) <∞} và epiϕ := {(x, α) ∈ X ì R | α ≥ ϕ(x)}.
(ii) Ta nói ϕ là chính thường nếu domϕ 6= ∅ và ϕ(x) > −∞ với mọi x ∈ X.
(iii) Hàm ϕ được gọi là nửa liên tục dưới tại x nếu lim inf
u→x ϕ(u) ≥ ϕ(x).
(iv) Nếu tồn tại δ > 0 sao cho ϕ là nửa liên tục dưới tại mọi u ∈ Bδ(x) thì
ta gọi ϕ là nửa liên tục dưới quanh x.
(v) Nếu ϕ là nửa liên tục dưới tại mọi x thì ϕ được gọi là nửa liên tục dưới.
1.1.12 Định nghĩa. Cho x¯ ∈ X thỏa mãn ϕ(x¯) ∈ R.
(i) Dưới vi phân Fréchet của ϕ tại x¯ là tập ∂̂ϕ(x¯) ⊂ X∗ được xác định bởi
∂̂ϕ(x¯) :=
{
x∗ ∈ X∗ | (x∗,−1) ∈ N̂((x¯, ϕ(x¯)); epiϕ)}.
(ii) Dưới vi phân qua giới hạn của ϕ tại x¯ là tập ∂ϕ(x¯) ⊂ X∗ được xác
định bởi ∂ϕ(x¯) :=
{
x∗ ∈ X∗ | (x∗,−1) ∈ N((x¯, ϕ(x¯)); epiϕ)}. Qui ước
∂ϕ(x¯) = ∂̂ϕ(x¯) := ∅ nếu |ϕ(x¯)| =∞.
1.2. Nón pháp tuyến của tập nghịch ảnh và quy tắc tổng
1.2.1 Định lý (B. S. Mordukhovich và B. Wang, 2004). Cho g : X → Y và
Θ ⊂ Y với y¯ = g(x¯) ∈ Θ. Giả sử rằng g khả vi chặt tại x¯ và ∇g(x¯) : X → Y
là toàn ánh. Khi đó, ta có
N
(
x¯; g−1(Θ)
)
= ∇g(x¯)∗N(y¯; Θ) và N̂(x¯; g−1(Θ)) = ∇g(x¯)∗N̂(y¯; Θ).
11
Trong luận án, bằng cách sử dụng Định lý 1.2.1, chúng tôi đã giới thiệu một
phép chứng minh mới cho các quy tắc tổng đã biết sau đây.
1.2.2 Hệ quả. Cho f : X → Y là một ánh xạ khả vi chặt tại x¯ ∈ X và
F : X ⇒ Y là một ánh xạ đa trị thỏa mãn y¯ − f(x¯) ∈ F (x¯), ở đây y¯ ∈ Y.
Khi đó, với mọi y∗ ∈ Y ∗, ta có
D∗N(f + F )(x¯, y¯)(y
∗) = ∇f(x¯)∗y∗ +D∗NF
(
x¯, y¯ − f(x¯))(y∗)
và
D̂∗(f + F )(x¯, y¯)(y∗) = ∇f(x¯)∗y∗ + D̂∗F(x¯, y¯ − f(x¯))(y∗).
1.2.4 Hệ quả. Cho ψ : X → R là một hàm hữu hạn tại x¯ ∈ X và ϕ : X → R
là một hàm khả vi chặt tại x¯. Khi đó, ta có
∂(ϕ+ ψ)(x¯) = ∇ϕ(x¯) + ∂ψ(x¯) và ∂̂(ϕ+ ψ)(x¯) = ∇ϕ(x¯) + ∂̂ψ(x¯).
1.3. Nón pháp tuyến Fréchet của tập nghịch ảnh
Giả sử g : X → Y là một ánh xạ khả vi tại x¯ ∈ Ω, ở đây Ω := g−1(K) và
K ⊂ Y. Xét bài toán tối ưu (P ):{
f(x)→ inf,
x ∈ Ω,
trong đó f : X → R là một hàm số khả vi tại x¯; f và Ω tương ứng được gọi là
hàm mục tiêu và miền ràng buộc của (P ).
Điểm x¯ được gọi là một nghiệm địa phương của (P ) nếu tồn tại δ > 0 sao
cho f(x) ≥ f(x¯) với mọi x ∈ Ω ∩ Bδ(x¯).
Trong trường hợp, Y := Rm, K := {0Rp} ì Rm−p− (m, p ∈ N, p ≤ m) và
g(x) =
(
g1(x), g2(x), ..., gm(x)
)
, bài toán (P ) được gọi là một quy hoạch phi
tuyến (nonlinear program). Nếu miền ràng buộc thỏa mãn một điều kiện nhất
định (chuẩn hóa ràng buộc) và x¯ là một nghiệm địa phương của (P ), thì ta có
điều kiện Karush-Kuhn-Tucker: tồn tại λ = (λ1, ..., λm) ∈ Rm sao cho∇f(x¯) +
m∑
i=1
λi∇gi(x¯) = 0, λj ≥ 0, ∀j ∈ I(x¯),
λigi(x¯) = 0, ∀i = 1, 2, ...,m.
Những kết quả kiểu này thường được gọi là các quy tắc nhân tử Lagrange. Tìm
các chuẩn hóa ràng buộc là chủ đề trung tâm của lý thuyết về các điều kiện cần
12
cực trị của quy hoạch phi tuyến. Đến nay, có nhiều chuẩn hóa ràng buộc đã
được giới thiệu, trong đó chuẩn hóa ràng buộc độc lập tuyến tính và chuẩn hóa
ràng buộc Mangasarian-Fromovitz là hai chuẩn hóa ràng buộc đóng vai trò đặc
biệt quan trọng trong lý thuyết quy hoạch phi tuyến và ứng dụng. F. J. Gould
và J. W. Tolle (1971) đã chứng minh được rằng nếu dimX < ∞ thì chuẩn
hóa ràng buộc Guignard
[
T (x¯; Ω)
]−
= ∇g(x¯)∗N(g(x¯);K) là chuẩn hóa ràng
buộc yếu nhất.
Đối với quy hoạch phi tuyến, ta có
N̂
(
g(x¯);K
)
=
{
y∗ ∈ Rm |λj ≥ 0, ∀j ∈ I(x¯), λigi(x¯) = 0, ∀i = 1, 2, ...,m
}
,
với I(x¯) :=
{
j ∈ {p+1, ...,m} | gj(x¯) = 0
}
và y∗ := (λ1, ..., λm). Vì thế, khái
niệm sau đây có thể xem là một mở rộng của điều kiện Karush-Kuhn-Tucker.
1.3.1 Định nghĩa. Ta nói điều kiện dạng Karush-Kuhn-Tucker cho (P ) là đúng
tại x¯ nếu tồn tại y∗ ∈ N̂(g(x¯);K) sao cho ∇f(x¯) +∇g(x¯)∗y∗ = 0.
Nếu dimX < ∞ thì chuẩn hóa ràng buộc Guignard trùng với điều kiện
N̂
(
x¯; Ω
)
= ∇g(x¯)∗N̂(g(x¯);K). Do đó, kết quả sau đây có thể được xem là
một mở rộng của kết quả đã đề cập ở trên của Gould và Tolle.
1.3.4 Định lý. Cho g : X → Y là một ánh xạ khả vi tại x¯ ∈ Ω := g−1(K) với
K ⊂ Y là đóng. Khi đó, điều kiện cần và đủ để
N̂
(
x¯; Ω
)
= ∇g(x¯)∗N̂(g(x¯);K)
là với mọi hàm mục tiêu f khả vi tại x¯, điều kiện dạng Karush-Kuhn-Tucker
cho (P ) là đúng tại x¯ nếu x¯ là một nghiệm địa phương của (P ).
1.3.5 Hệ quả. Xét trường hợp Y := Rm, K := {0Rp} ì Rm−p− và g : X → Rm
khả vi tại x¯ ∈ Ω := g−1(K). Giả sử rằng chuẩn hóa ràng buộc Guignard được
thỏa mãn tại x¯. Khi đó, ta có
N̂
(
x¯; Ω
)
= ∇g(x¯)∗N̂(g(x¯);K).
1.3.6 Định nghĩa. Cho X và Y là các không gian Banach, g : X → Y là khả
vi liên tục, K ⊂ Y là lồi đóng và x¯ ∈ Ω := g−1(K). Ta nói rằng chuẩn hóa
ràng buộc Robinson là đúng tại x¯ nếu 0 ∈ int{g(x¯) +∇g(x¯)(X)−K}.
1.3.8 Hệ quả. Cho X và Y là các không gian Banach, g : X → Y là một ánh
xạ khả vi liên tục, K ⊂ Y là một tập lồi đóng và x¯ ∈ Ω := g−1(K). Giả sử
rằng chuẩn hóa ràng buộc Robinson là đúng tại x¯. Khi đó, ta có
N̂
(
x¯; Ω
)
= ∇g(x¯)∗N̂(g(x¯);K).
13
Kết luận Chương 1
Các kết quả của chương này bao gồm:
- Phép chứng minh mới cho một số quy tắc tổng dạng đẳng thức (Hệ quả 1.2.2
và Hệ quả 1.2.4);
- Một kết quả về mối quan hệ giữa công thức tính nón pháp tuyến của tập
nghịch ảnh và điều kiện dạng Karush-Kuhn-Tucker (Định lý 1.3.4).
Các kết quả của chương này là chưa từng được công bố trước đây.
Chương 2
Định lý giá trị trung bình xấp xỉ cho
dưới vi phân Fréchet và ứng dụng
Chương này được dành để nghiên cứu định lý giá trị trung bình xấp xỉ cho
dưới vi phân Fréchet, tính đơn điệu của các ánh xạ liên tục và tính lồi của các
hàm số khả vi liên tục.
2.1. Kiến thức chuẩn bị
Mục này nhắc lại một số kết quả trong giải tích biến phân cần dùng cho các
phép chứng minh ở phần sau. Chúng bao gồm nguyên lý biến phân Ekeland,
định lý Moreau-Rockafellar, một tắc tổng mờ và một qui tắc hiệu.
2.2. Định lý giá trị trung bình xấp xỉ cho dưới vi phân Fréchet
2.2.1 Định lý (B. S. Mordukhovich và Y. Shao, 1996). ChoX là một không gian
Asplund và ϕ : X → R là một hàm chính thường nửa liên tục dưới, hữu hạn tại
hai điểm a 6= b và c ∈ [a, b) là một điểm thỏa mãn ψ(c) = min
x∈[a,b]
ψ(x), ở đây
ψ(x) := ϕ(x) +
ϕ(b)− ϕ(a)
‖b− a‖ ‖x− b‖. Khi đó, tồn tại xk
ϕ−→ c và x∗k ∈ ∂̂ϕ(xk)
sao cho
lim inf
k→∞
〈x∗k, b− xk〉 ≥
ϕ(b)− ϕ(a)
‖b− a‖ ‖b− c‖, (2.1)
lim inf
k→∞
〈x∗k, b− a〉 ≥ ϕ(b)− ϕ(a), (2.2)
14
hơn thế, nếu c 6= a thì
lim
k→∞
〈x∗k, b− a〉 = ϕ(b)− ϕ(a). (2.3)
2.2.2 Chú ý. Cho X là một không gian Banach. Ta nói rằng định lý giá trị
trung bình xấp xỉ cho dưới vi phân Fréchet là đúng trong X nếu với mọi hàm
ϕ : X → R thỏa mãn các giả thiết của Định lý 2.2.1, tồn tại xk ϕ−→ c và
x∗k ∈ ∂̂ϕ(xk) sao cho (2.1)− (2.3) đúng.
Kết quả chính của mục này được phát biểu như sau:
2.2.7 Định lý. Để một không gian Banach X là Asplund, điều kiện cần và đủ
là định lý giá trị trung bình xấp xỉ cho dưới vi phân Fréchet là đúng trong X .
2.3. Đặc trưng tính đơn điệu của ánh xạ qua đối đạo hàm
Trước hết, chúng ta nhắc lại khái niệm ánh xạ đơn điệu:
2.3.1 Định nghĩa. Ta nói rằng ánh xạ T : X ⇒ X∗ là đơn điệu nếu
〈x∗1 − x∗2, x1 − x2〉 ≥ 0 với mọi (xi, x∗i ) ∈ gphT, i = 1, 2. T được gọi là
đơn điệu cực đại nếu T là đơn điệu và gphT không là tập con thực sự của đồ
thị của một ánh xạ đơn điệu từ X vào X∗. Ta nói ánh xạ T : U ⇒ X∗ là đơn
điệu nếu và chỉ nếu Te : X ⇒ X∗ là đơn điệu, ở đây U ⊂ X , Te(x) := T (x)
khi x ∈ U và Te(x) := ∅ khi x ∈ X\U.
Kết quả sau đây cho thấy rằng, dưới một số giả thiết, tính nửa xác định
dương của đối đạo hàm là một đặc trưng của tính đơn điệu.
2.3.5 Định lý. Cho X là một không gian Asplund và f : X → X∗ là một ánh
xạ liên tục. Xét các tính chất:
(a) 〈u∗, u〉 ≥ 0 với mọi x ∈ X , u ∈ X ⊂ X∗∗ và u∗ ∈ D∗Nf(x)(u);
(b) 〈u∗, u〉 ≥ 0 với mọi x ∈ X , u ∈ X ⊂ X∗∗ và u∗ ∈ D∗Mf(x)(u);
(c) 〈u∗, u〉 ≥ 0 với mọi x ∈ X , u ∈ X ⊂ X∗∗ và u∗ ∈ D̂∗f(x)(u);
(d) f là đơn điệu.
Khi đó ta có (a) ⇒ (b) ⇒ (c) ⇒ (d); nếu X là phản xạ thì (b) ⇔ (c); nếu f
là Lipschitz địa phương hoặc X là Hilbert thì (c)⇔ (d); nếu X là Euclid hữu
hạn chiều thì (a)⇔ (b)⇔ (c)⇔ (d).
2.3.7 Ví dụ. Xét ánh xạ f : R → R cho bởi f(x) = 0 nếu x ∈ Q
và f(x) = 1 nếu x ∈ R\Q. Ta có N̂((x, f(x)); gphf) = {0} ì R và
D̂∗f(x)(u) = {0} với mọi x, u ∈ R. Từ đó suy ra (c) đúng. Mặt khác,
15
〈
f(x1) − f(x2), x1 − x2
〉
= x2 − x1 < 0, với bất kỳ (x1, x2) ∈ Q ì
(
R\Q),
x1 > x2. Do đó, f là không đơn điệu. Vì vậy, trong trường hợp này, (c) 6⇒ (d).
Lý do là f không liên tục.
Trong trường hợp ánh xạ khả vi, Định lý 2.3.5 cho phép chúng ta thu lại kết
quả cổ điển sau đây:
2.3.8 Hệ quả. Cho f : Rn → Rn là một ánh xạ khả vi. Khi đó, f là đơn
điệu nếu và chỉ nếu mọi ma trận Jacobi Jf(x) là nửa xác định dương, tức là
uTJf(x)u ≥ 0 với mọi x, u ∈ Rn.
Khái niệm ánh xạ đơn điệu mạnh trong các không gian Hilbert có thể được
định nghĩa như sau:
2.3.10 Định nghĩa. Cho T : X ⇒ X là một ánh xạ đa trị, ở đây X là một
không gian Hilbert. Ta nói rằng T là đơn điệu mạnh nếu tồn tại σ > 0 sao cho
T − σI là đơn điệu, ở đây I là ánh xạ đồng nhất trên X .
Do đó, nhờ Định lý 2.3.3 và Hệ quả 1.2.2, ta có:
2.3.11 Hệ quả. Cho X là một không gian Hilbert và f : X → X là một ánh
xạ liên tục. Khi đó, các tính chất sau là tương đương:
(i) Tồn tại σ > 0 để 〈u∗, u〉 ≥ σ‖u‖2 với mọi x, u ∈ X và u∗ ∈ D∗Mf(x)(u);
(j) Tồn tại σ > 0 để 〈u∗, u〉 ≥ σ‖u‖2 với mọi x, u ∈ X và u∗ ∈ D̂∗f(x)(u);
(k) f là đơn điệu mạnh.
Tiếp theo, chúng ta có một số điều kiện đủ để một ánh xạ liên tục là đơn
điệu trên một tập con lồi đóng.
2.3.17 Định lý. Cho C là một tập con lồi đóng khác rỗng của một không gian
Asplund X và f : X → X∗. Khi đó, f là đơn điệu trên C nếu một trong hai
điều kiện sau được thỏa mãn:
(m) f là Lipschitz địa phương tại mọi x ∈ C và
〈z, u〉 ≥ 0 ∀u ∈ C − C ⊂ X∗∗, ∀z ∈ D∗Mf(x)(u), ∀x ∈ C;
(n) intC 6= ∅, f liên tục trên C và, với mọi x ∈ intC,
〈z, u〉 ≥ 0 ∀u ∈ intC − intC ⊂ X∗∗, ∀z ∈ D̂∗f(x)(u).
2.3.19 Định nghĩa. (Mordukhovich, 1992). Cho ϕ : X → R là một hàm hữu
hạn tại x¯ ∈ X và x¯∗ ∈ ∂ϕ(x¯). Dưới vi phân bậc hai pháp tuyến của hàm số ϕ
16
tại (x¯, x¯∗) là ánh xạ đa trị ∂2Nϕ(x¯, x¯
∗) : X∗∗ ⇒ X∗ cho bởi
∂2Nϕ(x¯, x¯
∗)(u) := D∗N
(
∂ϕ
)
(x¯, x¯∗)(u) ∀u ∈ X∗∗.
Dưới vi phân bậc hai hỗn hợp của hàm số ϕ tại (x¯, x¯∗) là ánh xạ đa trị
∂2Mϕ(x¯, x¯
∗) : X∗∗ ⇒ X∗ cho bởi
∂2Mϕ(x¯, x¯
∗)(u) := D∗M
(
∂ϕ
)
(x¯, x¯∗)(u) ∀u ∈ X∗∗.
Với mỗi x¯∗ ∈ ∂̂ϕ(x¯), ánh xạ đa trị ∂̂2ϕ(x¯, x¯∗) : X∗∗ ⇒ X∗ cho bởi
∂̂2ϕ(x¯, x¯∗)(u) := D̂∗
(
∂̂ϕ
)
(x¯, y¯)(u) ∀u ∈ X∗∗,
được gọi là dưới vi phân bậc hai Fréchet của hàm số ϕ tại (x¯, x¯∗).
Quy ước rằng nếu x¯∗ 6∈ ∂ϕ(x¯) thì
∂2Nϕ(x¯, x¯
∗)(u) := ∅ và ∂2Mϕ(x¯, x¯∗)(u) := ∅,
nếu x¯∗ 6∈ ∂̂ϕ(x¯) thì ∂̂2ϕ(x¯, x¯∗)(u) := ∅ với mọi u ∈ X∗∗.
Nếu ∂ϕ(x¯) = {x¯∗}, thì viết ∂2Nϕ(x¯) thay cho ∂2Nϕ(x¯, x¯∗) và ∂2Mϕ(x¯) thay
cho ∂2Mϕ(x¯, x¯
∗). Ta ký hiệu ∂̂2ϕ(x¯) thay cho ∂̂2ϕ(x¯, x¯∗) nếu ∂̂ϕ(x¯) = {x¯∗}.
2.3.21 Định lý. Cho ϕ : X → R là hàm số khả vi liên tục, ở đây X là một
không gian Asplund. Xét các tính chất:
(p) Với mỗi x ∈ X , 〈u∗, u〉 ≥ 0 với mọi u ∈ X ⊂ X∗∗ và u∗ ∈ ∂2Nϕ(x)(u).
(q) Với mỗi x ∈ X , 〈u∗, u〉 ≥ 0 với mọi u ∈ X ⊂ X∗∗ và u∗ ∈ ∂2Mϕ(x)(u).
(r) Với mỗi x ∈ X , 〈u∗, u〉 ≥ 0 với mọi u ∈ X ⊂ X∗∗ và u∗ ∈ ∂̂2ϕ(x)(u).
(s) ϕ là lồi.
Khi đó ta có (p)⇒ (q)⇒ (r)⇒ (s); nếu X là phản xạ thì (q)⇔ (r); nếu ∇ϕ
là Lipschitz địa phương hoặc X là Hilbert thì (r) ⇔ (s) và nếu X là Euclid
hữu hạn chiều thì (p)⇔ (q)⇔ (r)⇔ (s).
Từ định lý trên ta suy ra kết quả cổ điển sau đây về đặc trưng bậc hai của
tính lồi của hàm số:
2.3.23 Hệ quả. Cho ϕ : Rn → R là hàm khả vi hai lần. Khi đó, ϕ là lồi nếu
và chỉ nếu, với mỗi x ∈ Rn, ma trận Hesse Hϕ(x) là nửa xác định dương.
17
Kết luận Chương 2
Các kết quả chính của chương này bao gồm:
- Một đặc trưng của không gian Asplund theo định lý giá trị trung bình xấp
xỉ (Định lý 2.2.7);
- Một số điều kiện cần và điều kiện đủ theo đối đạo hàm để một ánh xạ liên
tục là đơn điệu (Định lý 2.3.5 và Định lý 2.3.17);
- Một số điều kiện cần và điều kiện đủ theo dưới vi phân bậc hai để một
hàm số khả vi liên tục là lồi (Định lý 2.3.21).
Chương này được viết dựa trên các bài báo [1] và [3].
Chương 3
Tính ổn định kiểu Lipschitz của bất đẳng
thức biến phân trên tập lồi đa diện
Chương này được dành để nghiên cứu tính chất kiểu Lipschitz của ánh xạ
nghiệm của các bất đẳng thức biến phân trên tập lồi đa diện bị nhiễu.
3.1. Bài toán bất đẳng thức biến phân trên tập lồi đa diện
Trong chương này, nếu không giải thích thêm, X là một không gian Banach
phản xạ, T :=
{
1, 2, ...,m
}
(m ≥ 1) và {a∗i ∈ X∗ | i ∈ T} là một họ các
phiếm hàm tuyến tính liên tục trên X .
Một tập con của X được gọi là lồi đa diện nếu nó biểu diễn được dưới dạng
giao hữu hạn của các nửa không gian con đóng của X .
Với mỗi b = (b1, b2, ..., bm) ∈ Rm, đặt
Θ(b) :=
{
x ∈ X | 〈a∗i , x〉 ≤ bi, ∀i ∈ T
}
.
Cho F : K → X∗ là ánh xạ từ một tập lồi đóng khác rỗng K của không
gian Banach X vào không gian đối ngẫu X∗. Bài toán tìm x ∈ K sao cho〈
F (x), u− x〉 ≥ 0 ∀u ∈ K,
được gọi là bài toán bất đẳng thức biến phân, ký hiệu VI(K,F ). Ta gọi F là
18
trường véctơ vàK là miền ràng buộc. Mỗi x ∈ K thỏa mãn 〈F (x), u−x〉 ≥ 0
với mọi u ∈ K được gọi là một nghiệm của VI(K,F ).
Nếu K là một tập lồi đa diện, thì VI(K,F ) được gọi là bài toán bất đẳng
thức biến phân trên tập lồi đa diện. Nếu ánh xạ F là affine (đơn điệu, đơn điệu
mạnh,...), thì tương ứng ta gọi VI(K,F ) là bài toán bất đẳng thức biến phân
affine (đơn điệu, đơn điệu mạnh,...). Trong trường hợp X = Rn và K = Rn+,
VI(K,F ) tương đương với bài toán bù: tìm x ∈ Rn sao cho 0 ≤ F (x) ⊥ x ≥ 0.
Cho f : Z ìX → X∗, b ∈ Rm và p ∈ Z, với Z là một không gian Banach.
Bài toán tìm x ∈ Θ(b) sao cho
〈f(p, x), u− x〉 ≥ 0 với mọi u ∈ Θ(b),
được gọi là bài toán bất đẳng thức biến phân chứa tham số trên tập lồi đa diện
bị nhiễu, ký hiệu VI
(
f(p, ã); Θ(b)), ở đây x là biến số và p, b là các tham số.
Bài toán trên tương đương với bài toán giải phương trình suy rộng sau:
0 ∈ f(p, x) +N(x; Θ(b)),
trong đó N
(
x; Θ(b)
)
là nón pháp tuyến của tập Θ(b) tại x theo nghĩa của giải
tích lồi: N
(
x; Θ(b)
)
:=
{
x∗ ∈ X∗ | 〈x∗, u−x〉 ≤ 0, ∀u ∈ Θ(b)} nếu x ∈ Θ(b)
và N
(
x; Θ(b)
)
:= ∅ nếu x ∈ X\Θ(b). Với mỗi (p, b) ∈ Z ì Rm, đặt
S(p, b) :=
{
x ∈ X | 0 ∈ f(p, x) +N(x; Θ(b))}.
Ta gọi S : Z ì Rm ⇒ X , (p, b) 7→ S(p, b), là ánh xạ nghiệm của
VI
(
f(p, ã); Θ(b)).
3.1.1 Định nghĩa. (J.-P. Aubin, 1984). Cho X và Y là các không gian
Banach. Ta nói ánh xạ F : X ⇒ Y là kiểu Lipschitz (Lipschitz-like)
quanh (x¯, y¯) ∈ gphF nếu và chỉ nếu tồn tại ` > 0 và δ > 0 sao cho
F (u) ∩ Bδ(y¯) ⊂ F (x) + `‖u− x‖BY với mọi u, x ∈ Bδ(x¯).
Hệ {vi}mi=1 gồm các phần tử của một không gian véctơ thực được gọi là
độc lập tuyến tính dương nếu nó thỏa mãn điều kiện
m∑
i=1
λivi = 0 và λi ≥ 0,
i = 1, 2, ...,m, khi và chỉ khi λi = 0 với mọi i = 1, 2, ...,m.
Tập chỉ số hoạt tương ứng với (x, b) ∈ gphΘ được xác định bởi
I(x, b) := {i ∈ T | 〈a∗i , x〉 = bi},
ở đây bi là tọa độ thứ i của b ∈ Rm. Với ∅ 6= I ⊂ T , ký hiệu bI là véctơ có các
thành phần tọa độ bi được sắp xếp theo sự tăng dần của i ∈ I , và I¯ := T\I .
19
3.2. Công thức ước lượng đối đạo hàm của ánh xạ nghiệm
Để giới thiệu các kết quả trong phần sau, chúng ta cần một số ký hiệu sau
đây. Với mỗi x¯∗ ∈ N(x¯,Θ(b¯)), đặt I := I(x¯, b¯),
Ξ(x¯, b¯, x¯∗) :=
{
λ = (λj)j∈I | λI ≥ 0, x¯∗ =
∑
j∈I
λja
∗
j
}
và I1(x¯, b¯, x¯
∗) :=
{
i ∈ I | ∃λ ∈ Ξ(x¯, b¯, x¯∗) : λi = 0
}
.
Với các tập chỉ số P và Q thỏa mãn P ⊂ Q ⊂ T , đặt
AQ,P := span
{
a∗i | i ∈ P}+ pos{a∗j | j ∈ Q\P
}
,
BQ,P :=
{
x ∈ X | 〈a∗i , x〉 = 0 ∀ i ∈ P, 〈a∗j , x〉 ≤ 0 ∀j ∈ Q\P
}
,
và FQ :=
{
x ∈ X | 〈a∗i , x〉 = b¯i, ∀i ∈ Q, 〈a∗j , x〉 < b¯j, ∀j ∈ T\Q
}
, ở đây
span
{
a∗i | i ∈ P} :=
{∑
i∈P
λiai |λi ∈ R ∀i ∈ P
}
và
pos
{
a∗i | i ∈ Q\P} :=
{∑
i∈P
λiai |λi ≥ 0 ∀i ∈ Q\P
}
.
Qui ước span ∅ = pos ∅ = {0}.
Sau đây là một số công thức ước lượng đối đạo hàm của ánh xạ nghiệm.
3.2.5 Định lý. Giả sử f : Z ìX → X∗ là một ánh xạ khả vi chặt tại (p¯, x¯) và
đạo hàm riêng ∇pf(p¯, x¯) : Z → X∗ là một toàn ánh. Gọi S : ZìRm ⇒ X là
ánh xạ nghiệm của bài toánVI
(
f(p, ã); Θ(b)).Đặt x¯∗ := −f(p¯, x¯), I := I(x¯, b¯)
và J := I\I1(x¯, b¯, x¯∗). Khi đó, các khẳng định sau đây là đúng:
(i) Nếu {a∗j | j ∈ I} là độc lập tuyến tính dương, thì với mọi x∗ ∈ X∗, ta có
D∗MS(p¯, b¯, x¯)(x
∗) ⊂ D∗NS(p¯, b¯, x¯)(x∗)
⊂
{
(p∗, b∗) | − v ∈ BQ,P , p∗ = ∇pf(p¯, x¯)∗v, b∗ ∈ Rm, b∗¯Q = 0,
b∗Q\P ≤ 0, x∗ +∇xf(p¯, x¯)∗v =
∑
i∈Q
b∗ia
∗
i , J ⊂ P ⊂ Q ⊂ I
}
.
(ii) Nếu X là hữu hạn chiều, thì với mọi x∗ ∈ X∗, ta có
D∗NS(p¯, b¯, x¯)(x
∗) = D∗MS(p¯, b¯, x¯)(x
∗) ⊃
{
(p∗, b∗) | − v ∈ BQ,P ,
p∗ = ∇pf(p¯, x¯)∗v, b∗ ∈ Rm, b∗¯Q = 0, b∗Q\J ≤ 0, λ ∈ Ξ(x¯, b¯, x¯∗),
x∗ +∇xf(p¯, x¯)∗v =
∑
i∈Q
b∗ia
∗
i , J1(λ) ⊂ P ⊂ Q ⊂ I, FQ 6= ∅
}
.
20
3.3. Tính ổn định kiểu Lipschitz của bài toán VI
(
f(p, ã); Θ(b))
Kết quả đầu tiên trong mục này là định lý sau đây:
3.3.5 Định lý. Gọi S : Z ì Rm ⇒ X là ánh xạ nghiệm của bài toán
VI
(
f(p, ã); Θ(b)). Giả sử (p¯, b¯, x¯) ∈ gphS và f : Z ì X → X∗ là một ánh
xạ khả vi chặt tại (p¯, x¯), đạo hàm riêng ∇pf(p¯, x¯) : Z → X∗ là một toàn
ánh và Z hoặc X là hữu hạn chiều. Đặt x¯∗ := −f(p¯, x¯), I := I(x¯, b¯) và
J := I\I1(x¯, b¯, x¯∗). Khi đó, các khẳng định sau đây là đúng:
(i) Hai mệnh đề sau đây là tương đương:
(a) Hệ {a∗j}j∈I độc lập tuyến tính và S là kiểu Lipschitz quanh (p¯, b¯, x¯);
(b) Với mọi b∗ ∈ Rm và mọi cặp (P,Q) thỏa mãn J ⊂ P ⊂ Q ⊂ I , nếu
−v ∈ BQ,P , b∗¯Q = 0, b∗Q\P ≤ 0 và ∇xf(p¯, x¯)∗v =
∑
i∈Q
b∗ia
∗
i , thì (v, b
∗) = (0, 0).
(ii) Trong trường hợpX là hữu hạn chiều và S là kiểu Lipschitz quanh (p¯, b¯, x¯),
nếu λ ∈ Ξ(x¯, b¯, x¯∗), b∗ ∈ Rm, J1(λ) ⊂ P ⊂ Q ⊂ I, ∇xf(p¯, x¯)∗v =
∑
i∈Q
b∗ia
∗
i ,
−v ∈ BQ,P , FQ 6= ∅, b∗¯Q = 0, b∗Q\J ≤ 0, thì (v, b∗) = (0, 0). Do đó, nếu S
là kiểu Lipschitz quanh điểm (p¯, b¯, x¯), thì {a∗j}j∈I là độc lập tuyến tính dương.
Trong đó J1(λ) := {i ∈ I |λi > 0} và Q¯ := T\Q.
Ví dụ sau đây cho thấy rằng, tại những điểm véctơ hoạt xác định miền ràng
buộc là độc lập tuyến tính, ánh xạ nghiệm có thể kiểu Lipschitz và cũng có thể
không kiểu Lipschitz.
3.3.7 Ví dụ. Lấy X = Z = R, a∗1 = −1, f(x, p) := x2 + p, x¯ = 0 và b¯ = 0.
Ta có
S(p, b) =
{√−p} nếu p < 0, −√−p < −b < √−p,{− b,−√−p,√−p} nếu p ≤ 0, −b < −√−p,{− b} trong trường hợp còn lại.
a) Nếu p¯ = 1 thì {a∗j}j∈I(x¯,b¯) là độc lập tuyến tính và S là kiểu Lipschitz
quanh (p¯, b¯, x¯) ∈ gphS.
b) Nếu p¯ = 0 thì {a∗j}j∈I(x¯,b¯) là độc lập tuyến tính và S là không kiểu
Lipschitz quanh (p¯, b¯, x¯) ∈ gphS.
Trong trường hợp véctơ hoạt xác định miền ràng buộc là phụ thuộc tuyến
tính nhưng độc lập tuyến tính dương, ánh xạ nghiệm vẫn có thể kiểu Lipschitz.
21
3.3.8 Ví dụ. Lấy X = Z = R, a∗1 = −1, a∗2 = −2, f(x, p) := x2 + p, x¯ = 0,
p¯ = 1 và b¯ = (0, 0). Ta có
S(p, b) =
{√−p} nếu p < 0,
−√−p < max(−b1,−b22 ) <
√−p,{
max(−b1,−b22 ),−
√−p,√−p} nếu p ≤ 0,
max(−b1,−b22 ) < −
√−p,{
max(−b1,−b22 )
}
trong trường hợp còn lại.
Do đó, S là kiểu Lipschitz quanh (p¯, b¯, x¯) ∈ gphS. Trong tình huống này, hệ
{a∗j}j∈I(x¯,b¯) độc lập tuyến tính dương, nhưng phụ thuộc tuyến tính.
Tuy nhiên, ánh xạ nghiệm không thể là kiểu Lipschitz tại những điểm mà
véc tơ hoạt xác định miền ràng buộc là phụ thuộc tuyến tính dương.
3.3.9 Định lý. Cho X, Z là các không gian Banach và S(p, b) là tập nghiệm
của bài toán VI
(
f(p, ã); Θ(b)), ở đây f : Z ìX → X∗, b ∈ Rm, p ∈ Z và
Θ(b) :=
{
x ∈ X | 〈a∗i , x〉 ≤ bi, ∀i ∈ T
}
,
T :=
{
1, 2, ...,m
}
. Giả sử ánh xạ S : Z ì Rm ⇒ X, (p, b) 7→ S(p, b), là kiểu
Lipschitz quanh điểm (p¯, b¯, x¯) ∈ gphS. Khi đó, hệ {a∗j | j ∈ I(x¯, b¯)} là độc lập
tuyến tính dương.
Kết luận Chương 3
Kết quả chính của chương này bao gồm:
- Các ước lượng của đối đạo hàm của ánh xạ nghiệm của bất đẳng thức biến
phân trên tập lồi đa diện bị nhiễu (Định lý 3.2.5);
- Một số điều kiện cần và điều kiện đủ để bất đẳng thức biến phân trên tập
lồi đa diện bị nhiễu là ổn định kiểu Lipschitz (Định lý 3.3.5 và Định lý 3.3.9);
- Các ví dụ phân tích tính ổn định kiểu Lipschitz của bất đẳng thức biến phân
trên tập lồi đa diện bị nhiễu (Ví dụ 3.3.7 và Ví dụ 3.3.8).
Chương này được viết dựa trên các bài báo [2] và [4].
22
Kết luận
Các kết quả chính của luận án này bao gồm:
1. Một kết quả về mối quan hệ giữa công thức tính nón pháp tuyến Fréchet của
tập nghịch ảnh và điều kiện dạng Karush-Kuhn-Tucker (Định lý 1.3.4);
2. Một đặc trưng của không gian Asplund theo định lý giá trị trung bình xấp
xỉ cho dưới vi phân Fréchet (Định lý 2.2.7);
3. Một số điều kiện cần và điều kiện đủ theo đối đạo hàm để một ánh xạ liên
tục là đơn điệu (Định lý 2.3.5 và Định lý 2.3.17); một số điều kiện cần và
điều kiện đủ theo dưới vi phân bậc hai để một hàm số khả vi liên tục là lồi
(Định lý 2.3.21);
4. Các công thức ước lượng đối đạo hàm của ánh xạ nghiệm của bất đẳng thức
biến phân chứa tham số trên tập lồi đa diện bị nhiễu (Định lý 3.2.5);
5. Một số kết quả về tính ổn định kiểu Lipschitz của bài toán bất đẳng thức biến
phân chứa tham số trên tập lồi đa diện bị nhiễu (Định lý 3.3.5, Định lý 3.3.9,
Ví dụ 3.3.7 và Ví dụ 3.3.8).
Theo hướng nghiên cứu của luận án, chúng ta có thể tiếp tục khảo sát công
thức tính nón pháp tuyến qua giới hạn của tập nghịch ảnh, các điều kiện theo
đối đạo hàm để một ánh xạ đa trị là đơn điệu, tính ổn định kiểu Lipschitz của
bài toán bất đẳng thức biến phân chứa tham số trên tập lồi bị nhiễu,...
23
Danh mục công trình của tác giả
có liên quan tới luận án
1. Coderivative and monotonicity of continuous mappings, Taiwanese Journal
of Mathematics, 16, 353 - 365.
2. Lipschitzian stability of parametric variational inequalities over perturbed
polyhedral convex sets, Optimization Letters, 6, 749 - 762.
3. A note on an approximate mean value theorem for Fréchet gradients, Non-
linear Analysis: Theory, Methods and Applications, 75, 380 - 383.
4. A note on Lipschitzian stability of variational inequalities over perturbed
polyhedral convex sets (submitted).
Các kết quả của luận án này đã được
tác giả luận án báo cáo tại
• Seminar tổ Giải tích, Khoa Sư phạm Toán, Trường Đại học Vinh.
• Seminar phòng Giải tích số và Tính toán Khoa học, Viện Toán học, Viện
Hàn lâm Khoa học và Công nghệ Việt Nam.
• Seminar tại Khoa Toán ứng dụng, Đại học Quốc gia Pukyong, Hàn Quốc.
• Hội thảo Tối ưu và Tính toán khoa học, Ba Vì, 20 - 23/4/2011.
• Trường hè Quốc tế về Giải tích biến phân và ứng dụng, Viện Toán học,
Hà Nội, 20 - 25/6/2011.
• Hội thảo Việt Nam - Hàn Quốc lần thứ 8 về Lý thuyết tối ưu toán học và
ứng dụng, Trường Đại học Đà Lạt, 8 - 10/12/2011.
• Hội thảo Quốc tế về Ma trận dương và Toán tử: Sự phát triển và những tiến
bộ gần đây, Đại học Quốc gia Kyungpook, Daegu, Hàn Quốc, 24 - 28/6/2012.
Các file đính kèm theo tài liệu này:
- luan_an_mot_so_quy_tac_tinh_toan_trong_giai_tich_bien_phan_v.pdf