Luận án tiến sĩ toán học: Một số vấn đề trong giải tích biến phân bậc hai và ứng dụng - Hà Anh Tuấn, ĐH Vinh

Giải tích cổ điển dựa trên tính khả vi liên tục. Tuy nhiên, nhiều mô hình kinh tế và kỹ thuật xuất hiện tính bất liên tục. Các hàm mục tiêu thường không có đạo hàm thông thường. Giải tích không trơn ra đời nhằm khắc phục hạn chế này. Ngành toán này sử dụng các nón tiếp tuyến và nón pháp tuyến. Nó cũng phát triển các khái niệm dưới vi phân suy rộng. Sự ra đời của giải tích biến phân mở ra bước tiến vượt bậc. Lý thuyết cho phép nghiên cứu bài toán với ràng buộc hình học phức tạp. Cấu trúc bài toán tối ưu được mô tả qua các phép toán tập hợp. Các nghiên cứu hiện đại tiếp tục nâng cấp từ bậc một lên bậc hai. Điều này tạo cơ sở vững vàng cho việc đánh giá độ nhạy nghiệm.

Mục tiêu cốt lõi là phát triển các công cụ vi phân cấp hai. Trọng tâm hướng vào các hàm chính thường nửa liên tục dưới. Nghiên cứu làm rõ mối quan hệ giữa điều kiện tăng trưởng và tính chính quy. Cụ thể, đề tài khảo sát tính dưới chính quy metric mạnh của dưới vi phân. Các đặc trưng định lượng này đóng vai trò quyết định trong phân tích ổn định. Ngoài ra, mục tiêu bao gồm thiết lập điều kiện tối ưu bậc hai. Các kết quả áp dụng trực tiếp cho bài toán quy hoạch nón phi tuyến. Việc xây dựng điều kiện cần và điều kiện đủ bậc hai có ý nghĩa lớn. Chúng hỗ trợ kiểm tra tính tối ưu của các nghiệm nghi ngờ. Kết quả nghiên cứu bổ sung lý thuyết vi phân suy rộng cấp cao.

Đối tượng nghiên cứu chính là các ánh xạ đa trị và hàm mở rộng. Phạm vi bao gồm không gian Euclid hữu hạn chiều chuẩn tắc. Các cấu trúc nón lồi đóng và tập hợp ràng buộc được khảo sát kỹ lưỡng. Đạo hàm đồ thị và dưới vi phân đóng vai trò công cụ phân tích trung tâm. Phạm vi ứng dụng bao gồm tối ưu hóa phi tuyến và quy hoạch nón. Lý thuyết được áp dụng để kiểm soát sai số và độ nhạy của nghiệm. Nhiều bài toán kỹ thuật cần xác định nghiệm tối ưu bền vững trước nhiễu. Các công cụ bậc hai cho phép thiết kế thuật toán số hiệu quả. Tốc độ hội tụ của thuật toán tối ưu được cải thiện rõ rệt. Nhờ đó, phạm vi nghiên cứu mang giá trị lý thuyết và thực tiễn cao.

Nón tiếp tuyến Bouligand mô tả các hướng tiếp cận một tập hợp từ một điểm. Nón pháp tuyến chính quy là nón đối ngẫu của nón tiếp tuyến. Đối với tập không lồi, nón pháp tuyến chính quy có thể quá nhỏ. Khái niệm nón pháp tuyến qua giới hạn Mordukhovich giải quyết triệt để vấn đề này. Nón Mordukhovich được xây dựng qua quá trình lấy giới hạn tô-pô. Nó bảo toàn cấu trúc hình học cục bộ tại các điểm biên không trơn. Dưới vi phân chính quy và dưới vi phân qua giới hạn được thiết lập tương ứng. Chúng cung cấp công cụ sắc bén để đánh giá tốc độ biến thiên của hàm số. Sự kết hợp giữa các nón này tạo nền tảng cho phép tính vi phân suy rộng.

Đạo hàm suy rộng cấp hai là bước phát triển tất yếu từ giải tích bậc một. Khái niệm này xuất phát từ đạo hàm đồ thị của ánh xạ đa trị. Đạo hàm đồ thị của dưới vi phân cho biết sự biến thiên bậc hai của hàm số. Đạo hàm đồ thị dưới gradient đặc trưng cho tính lồi cục bộ của hàm mục tiêu. Khái niệm khả vi hai lần theo nghĩa mở rộng được nghiên cứu tỉ mỉ. Công cụ này xử lý hiệu quả các hàm không có đạo hàm cấp hai liên tục. Việc kết hợp đạo hàm đồ thị với phép tính vi phân mang lại kết quả chuẩn xác. Các đánh giá tiệm cận bậc hai giúp xấp xỉ hàm chính xác hơn. Đây là chìa khóa để phân tích điều kiện tối ưu cấp cao.

Coderivative Mordukhovich là toán tử đối ngẫu của đạo hàm đồ thị. Toán tử này ánh xạ từ không gian đối ngẫu về không gian đối ngẫu. Định nghĩa dựa trên nón pháp tuyến qua giới hạn của đồ thị ánh xạ đa trị. Coderivative kiểm soát chặt chẽ tính chính quy metric của ánh xạ. Trong giải tích biến phân, đồng đạo hàm bậc hai được định nghĩa qua coderivative của dưới vi phân. Phép tính này cho phép định lượng hóa mức độ thay đổi của gradient suy rộng. Các điều kiện triệt tiêu của coderivative cung cấp tiêu chuẩn ổn định nghiệm mạnh. Công cụ này vượt trội hơn các phép vi phân cổ điển khi xử lý ràng buộc phi tuyến. Nhờ đó, việc phân tích bài toán tối ưu trở nên linh hoạt.

Hàm mở rộng nhận giá trị trên tập số thực kèm vô cùng. Cấu trúc dưới vi phân bậc hai của hàm mở rộng thể hiện qua đạo hàm cấp hai suy rộng. Hàm chỉ của tập hợp ràng buộc là ví dụ điển hình của hàm mở rộng. Nghiên cứu phân tích chi tiết biểu diễn giải tích của dưới vi phân bậc hai. Các công thức vi phân suy rộng được thiết lập dưới các điều kiện chính quy hóa phù hợp. Mối quan hệ giữa đạo hàm đồ thị dưới gradient và đồng đạo hàm bậc hai được xác lập. Kết quả giúp làm sáng tỏ hành vi tiệm cận bậc hai của hàm mục tiêu. Cấu trúc này hỗ trợ nhận diện các điểm dừng và điểm cực tiểu cục bộ.

Tính chính quy metric đo lường khả năng giải được của hệ phương trình và bao hàm thức. Nó cung cấp chặn trên cho khoảng cách từ điểm thử đến tập nghiệm. Tính chất Aubin là sự mở rộng của tính liên tục Lipschitz cho ánh xạ đa trị. Theo định lý Mordukhovich, tính chất Aubin tương đương với tính chính quy metric của ánh xạ ngược. Tiêu chuẩn coderivative Mordukhovich cung cấp điều kiện cần và đủ cho tính chất Aubin. Việc thỏa mãn tính chất này giúp nghiệm của bài toán không bị nhảy vọt khi có nhiễu. Đây là điều kiện nền tảng để phân tích định lượng nghiệm tối ưu. Các đánh giá sai số thu được có độ chính xác cao trong lân cận điểm khảo sát.

Tính dưới chính quy metric mạnh là dạng cô lập của tính dưới chính quy thông thường. Khái niệm này đòi hỏi nghiệm duy nhất hoặc tập nghiệm suy biến thành một điểm cục bộ. Luận án thiết lập mối liên hệ trực tiếp giữa điều kiện tăng trưởng bậc hai và tính dưới chính quy metric mạnh. Khi toán tử dưới vi phân thỏa mãn tính dưới chính quy metric mạnh, điểm dừng tương ứng là cực tiểu địa phương chặt. Ngược lại, điều kiện tăng trưởng bậc hai suy ra tính dưới chính quy metric mạnh của dưới vi phân. Kết quả tương đương này có ý nghĩa đột phá trong giải tích không trơn. Nó thống nhất hai hướng tiếp cận hình học và giải tích trong tối ưu hóa.

Đạo hàm đồ thị dưới gradient phản ánh hành vi biến thiên của trường vector dưới vi phân. Công cụ này được áp dụng trực tiếp để thiết lập điều kiện tối ưu bậc hai. Tính dương của đạo hàm đồ thị dưới gradient tương đương với điều kiện tăng trưởng bậc hai. Nó cung cấp tiêu chuẩn kiểm tra thuận tiện cho tính ổn định nghiệm. Các đặc trưng này áp dụng hiệu quả cho hàm chính thường nửa liên tục dưới. Nhờ cấu trúc đồ thị, các bất đẳng thức biến phân được giải quyết triệt để. Độ nhạy của nghiệm trước các biến động tham số được kiểm soát chặt chẽ. Đạo hàm đồ thị dưới gradient chứng minh vai trò không thể thay thế trong bài toán tối ưu.

Bài toán quy hoạch nón phi tuyến tối thiểu hóa hàm mục tiêu trên tập ràng buộc nón. Tập ràng buộc có dạng nghịch ảnh của một nón lồi đóng qua ánh xạ trơn. Cấu trúc này bao quát hầu hết các bài toán tối ưu hóa ràng buộc trong thực tế. Các điều kiện chính quy ràng buộc như điều kiện Robinson được giả định. Không gian nhân tử Lagrange được xác định dựa trên nón liên đới và nón trực giao. Bài toán yêu cầu phân tích tương tác giữa độ cong của nón và ma trận Hessian của hàm Lagrange. Phép tính vi phân suy rộng cung cấp khung lý thuyết hoàn chỉnh để mô hình hóa. Mô hình nón giúp đơn giản hóa việc biểu diễn các ràng buộc ma trận phức tạp.

Điều kiện cần tối ưu bậc hai xác định tính chất bắt buộc của điểm cực tiểu. Điều kiện này phát biểu thông qua tính nửa xác định dương của dạng toàn phương Lagrange. Phần đóng góp bậc hai từ nón ràng buộc được biểu diễn qua số hạng độ cong nón. Số hạng này liên quan mật thiết đến nón pháp tuyến chính quy và nón tiếp tuyến cấp hai. Luận án thiết lập điều kiện cần tổng quát mà không đòi hỏi tính trơn nghiêm ngặt. Khi nhân tử Lagrange là duy nhất, điều kiện cần có dạng tường minh. Trong trường hợp nhân tử không duy nhất, điều kiện mở rộng dựa trên cận trên của tập nhân tử. Các định lý này loại bỏ hiệu quả các điểm dừng không tối ưu.

Cực tiểu địa phương mạnh đảm bảo hàm mục tiêu tăng trưởng ngặt bậc hai quanh điểm tối ưu. Nghiên cứu cung cấp đặc trưng đầy đủ cho điểm cực tiểu địa phương mạnh. Tiêu chuẩn dựa trên tính xác định dương của Hessian hàm Lagrange trên không gian nón tới hạn. Kết hợp với số hạng độ cong của nón, điều kiện đủ bậc hai được khẳng định chắc chắn. Điểm cực tiểu địa phương mạnh có tính bền vững cao trước các sai số tính toán. Nghiệm này cũng tương đương với tính dưới chính quy metric mạnh của hệ điều kiện tối ưu. Đây là tiêu chuẩn vàng để đảm bảo tính hội tụ bậc hai của các phương pháp số.

Tính cô lập calmness là dạng yếu hơn của tính liên tục Lipschitz địa phương cho ánh xạ đa trị. Nó chỉ yêu cầu hành vi ổn định tại điểm khảo sát cố định mà không cần trên toàn lân cận. Luận án chứng minh tính cô lập calmness tương đương với tính dưới chính quy metric mạnh của ánh xạ đối ngẫu. Tiêu chuẩn này được kiểm tra thông qua đồng đạo hàm bậc hai và coderivative Mordukhovich. Khi bài toán thỏa mãn tính cô lập calmness, nghiệm tối ưu không bị phân nhánh đột ngột khi tham số biến thiên. Điều này cho phép ước lượng sai số nghiệm một cách tin cậy. Đánh giá calmness là cơ sở quan trọng để phân tích độ nhạy định lượng trong mô hình kinh tế kỹ thuật.

Các kết quả biến phân bậc hai đóng vai trò nền tảng cho việc thiết kế thuật toán số. Điển hình là các thuật toán tựa Newton và phương pháp điểm trong cho quy hoạch nón. Khi điều kiện tăng trưởng bậc hai thỏa mãn, thuật toán đạt tốc độ hội tụ siêu tuyến tính hoặc bậc hai. Tính dưới chính quy metric mạnh đảm bảo bước lặp không bị rơi vào điểm suy biến. Việc phân tích chặn sai số dựa trên tính chính quy metric giúp kiểm soát điều kiện dừng của thuật toán. Lý thuyết vi phân suy rộng cấp hai cung cấp công thức tính bước lặp chính xác. Nhờ đó, bài toán tối ưu quy mô lớn trong kỹ thuật được giải quyết ổn định và hiệu quả.