Nghiên Cứu Tính Chính Quy Mêtric Toàn Cục Của Các Ánh Xạ Đa Trị

Tài liệu nghiên cứu Luận văn thạc sỹ một số vấn đề về tính chính quy mêtric toàn cục của ánh xạ đa trị và áp dụng, tổng hợp lý thuyết và thực hành, cung cấp kiến thức chuyên sâu

• Tác giả: Trà Quốc Anh
• Người hướng dẫn: TS. Nguyễn Hữu Trọn
• Trường học: Trường Đại Học Quy Nhơn
• Chuyên ngành: Toán Giải Tích
• Đề tài: Nghiên Cứu Tính Chính Quy Mêtric Toàn Cục Trong Ánh Xạ Đa Trị
• Loại tài liệu: Luận Văn Thạc Sĩ
• Năm xuất bản: 2021
• Địa điểm: Bình Định

Mục lục chi tiết

• Lời cam đoan
• Lời cảm ơn
• Lời nói đầu
• Một số kí hiệu dùng trong luận văn
• 1. Chương 1: Kiến thức chuẩn bị
• 1.1. Ánh xạ đa trị
• 1.2. Một số định nghĩa
• 1.3. Nguyên lí biến phân Ekeland
• 2. Chương 2: Lý thuyết chính quy mêtric trên tập cố định
• 2.1. Lý thuyết chính quy mêtric địa phương
• 2.2. Lý thuyết chính quy mêtric toàn cục
• 2.3. Đặc trưng của tính chính quy toàn cục
• 2.3.1. Tính chính quy và tính đầy đủ
• 2.3.2. Tiêu chuẩn chính quy
• 2.3.3. Định lí trù mật
• 2.3.4. Tính dưới chính quy mêtric, tính calm, tính điều khiển được, tính lùi xa tuyến tính
• 2.4. Tính ổn định nhiễu của tính chính quy toàn cục
• 2.4.1. Tính chính quy của ánh xạ tổng
• 2.4.2. Tính chính quy của ánh xạ hợp
• 3. Chương 3: Ứng dụng trong các định lí điểm bất động đa trị
• 3.1. Sự tồn tại của điểm bất động
• 3.2. Tính ổn định của bài toán điểm bất động
• 3.3. Sự tồn tại điểm bất động kép và điểm trùng

Tóm tắt

I. Tổng Quan Về Nghiên Cứu Tính Chính Quy Mêtric Toàn Cục

Nghiên cứu về tính chính quy mêtric là một lĩnh vực quan trọng trong giải tích biến phân, nổi lên từ những năm 1980. Nó bắt nguồn từ các nguyên lý cơ bản của giải tích hàm, như Nguyên lý ánh xạ mở của Banach, Định lý Lyusternik và Định lý hàm ẩn. Các nhà toán học hàng đầu như Borwein, Ioffe, Rockafellar và Mordukhovich đã có những đóng góp quan trọng. Tính chính quy mêtric đóng vai trò then chốt trong việc nghiên cứu sự tồn tại và tính chất của tập nghiệm cho các phương trình tổng quát dạng y ∈ F(x), đặc biệt khi dữ liệu (F, y) có sự thay đổi nhỏ. Điều này dẫn đến việc đánh giá khoảng cách từ một điểm gần nghiệm đến tập nghiệm thông qua bất đẳng thức d(x, F⁻¹(y)) ≤ kd(y, F(x)). Phạm vi ứng dụng của nó rất rộng, bao gồm phân tích sự hội tụ của thuật toán, điều kiện tối ưu, lý thuyết điểm bất động và điểm trùng.

1.1. Giới Thiệu Về Ánh Xạ Đa Trị Trong Toán Học

Trong toán học, ánh xạ đa trị là một ánh xạ mà mỗi điểm đầu vào có thể tương ứng với một tập hợp các điểm đầu ra, thay vì chỉ một điểm duy nhất như trong ánh xạ đơn trị. Điều này mở ra nhiều khả năng mô hình hóa các hiện tượng phức tạp, nơi mối quan hệ giữa các biến không phải lúc nào cũng xác định một cách duy nhất. Ví dụ, trong bài toán tối ưu hóa, tập nghiệm có thể là một ánh xạ đa trị từ không gian tham số đến không gian nghiệm. Nghiên cứu về ánh xạ đa trị đòi hỏi các công cụ và kỹ thuật đặc biệt từ giải tích, tô pô và lý thuyết tập hợp.

1.2. Vai Trò Của Tính Chính Quy Mêtric Trong Giải Tích

Tính chính quy mêtric là một khái niệm then chốt trong giải tích biến phân, cho phép chúng ta định lượng mức độ 'tốt' của một ánh xạ, đặc biệt là khi xét đến sự thay đổi nhỏ trong dữ liệu. Một ánh xạ có tính chính quy mêtric tốt sẽ có tập nghiệm ổn định hơn khi dữ liệu bị nhiễu. Điều này có ý nghĩa quan trọng trong nhiều ứng dụng thực tế, nơi dữ liệu thường không hoàn hảo. Các định lý về tính chính quy mêtric cung cấp các công cụ mạnh mẽ để phân tích sự tồn tại, duy nhất và tính ổn định của nghiệm trong các bài toán phức tạp.

II. Thách Thức Nghiên Cứu Tính Chính Quy Mêtric Toàn Cục

Mặc dù tính chính quy mêtric đã được nghiên cứu rộng rãi, hầu hết các nghiên cứu tập trung vào tính chính quy mêtric địa phương, tức là ước lượng đúng cho các cặp gần cho trước. Nghiên cứu về tính chính quy mêtric kiểu Holder chỉ mới xuất hiện gần đây. Mục tiêu của luận văn này là xem xét các mô hình chính quy mêtric phi tuyến trên một tập (U, V) cho trước dưới dạng bất đẳng thức d(x, F⁻¹(y)) ≤ Kd(y, F(x)), trong đó x ∈ U, y ∈ V và Kd(y, F(x)) < γ(x). Ứng dụng trong lý thuyết điểm bất động, điểm bất động kép, điểm trùng; ước lượng khoảng cách từ một điểm đến tập điểm bất động và tính ổn định của bài toán điểm bất động có tham số khi tham số thay đổi.

2.1. Sự Khác Biệt Giữa Tính Chính Quy Địa Phương và Toàn Cục

Tính chính quy mêtric địa phương chỉ đảm bảo rằng một ánh xạ hoạt động 'tốt' trong một lân cận nhỏ của một điểm cho trước. Điều này có nghĩa là các ước lượng và tính chất chỉ đúng khi chúng ta xét các điểm đủ gần điểm đó. Ngược lại, tính chính quy mêtric toàn cục yêu cầu các tính chất phải đúng trên toàn bộ không gian hoặc trên một tập hợp lớn. Điều này mạnh mẽ hơn nhiều và khó chứng minh hơn, nhưng cũng mang lại kết quả mạnh mẽ hơn và có thể áp dụng rộng rãi hơn.

2.2. Khó Khăn Trong Việc Nghiên Cứu Tính Chính Quy Toàn Cục

Nghiên cứu tính chính quy toàn cục gặp nhiều khó khăn do yêu cầu các điều kiện mạnh hơn và các kỹ thuật phức tạp hơn so với tính chính quy địa phương. Việc tìm kiếm các điều kiện đủ để đảm bảo tính chính quy toàn cục thường đòi hỏi phải xem xét cấu trúc toàn bộ không gian và ánh xạ, thay vì chỉ tập trung vào một lân cận nhỏ. Hơn nữa, việc chứng minh các kết quả về tính chính quy toàn cục thường yêu cầu các công cụ mạnh mẽ từ giải tích hàm, tô pô và lý thuyết độ đo.

III. Phương Pháp Nghiên Cứu Tính Chính Quy Mêtric Toàn Cục

Luận văn này tập trung vào việc nghiên cứu các đặc trưng của tính chính quy mêtric của các ánh xạ đa trị trên một tập hợp cố định bằng cách sử dụng các công cụ của giải tích biến phân và vi phân tổng quát. Nghiên cứu tính ổn định nhiễu của tính chính quy mêtric của các ánh xạ đa trị trên một tập hợp cố định. Các kết quả chính được tổng hợp từ các tài liệu [2], [6]. Định nghĩa ba hàm liên kết với ánh xạ đa trị F: ϕy(x, v) = d(y, v) + iGraph F(x, v), ψy(x) = d(y, F(x)), và ωyK(x) = d1,K((x, y), Graph F).

3.1. Sử Dụng Giải Tích Biến Phân Để Nghiên Cứu Tính Chính Quy

Giải tích biến phân cung cấp một bộ công cụ mạnh mẽ để nghiên cứu các bài toán tối ưu hóa và các bài toán liên quan đến sự tồn tại và tính chất của nghiệm. Trong bối cảnh tính chính quy mêtric, giải tích biến phân cho phép chúng ta phân tích các điều kiện cần và đủ để một ánh xạ có tính chính quy tốt, cũng như đánh giá mức độ nhạy cảm của nghiệm đối với sự thay đổi trong dữ liệu. Các khái niệm như đạo hàm dưới, đạo hàm trên và bao lồi đóng vai trò quan trọng trong việc xây dựng các tiêu chí chính quy.

3.2. Ứng Dụng Vi Phân Tổng Quát Trong Phân Tích Ánh Xạ Đa Trị

Vi phân tổng quát là một lĩnh vực của toán học mở rộng khái niệm đạo hàm cho các hàm không trơn hoặc các ánh xạ đa trị. Điều này rất hữu ích trong việc nghiên cứu tính chính quy mêtric, vì nhiều ánh xạ xuất hiện trong các bài toán thực tế không có đạo hàm cổ điển. Các khái niệm như đạo hàm Clarke, đạo hàm Mordukhovich và đạo hàm Ioffe cho phép chúng ta phân tích tính chất địa phương của các ánh xạ đa trị và xây dựng các điều kiện chính quy dựa trên thông tin vi phân.

IV. Ứng Dụng Tính Chính Quy Mêtric Trong Định Lý Điểm Bất Động

Ứng dụng các kết quả đạt được vào chứng minh các định lí về sự tồn tại điểm bất động, điểm bất động kép, điểm trùng. Ước lượng khoảng cách từ một điểm đến tập điểm bất động qua dữ liệu ban đầu. Các định lý về điểm bất động đóng vai trò quan trọng trong nhiều lĩnh vực của toán học và ứng dụng, từ giải tích đến kinh tế học và lý thuyết trò chơi.

4.1. Sự Tồn Tại Của Điểm Bất Động Trong Ánh Xạ Đa Trị

Một trong những ứng dụng quan trọng của tính chính quy mêtric là chứng minh sự tồn tại của điểm bất động cho các ánh xạ đa trị. Một điểm bất động của một ánh xạ đa trị F là một điểm x sao cho x thuộc F(x). Các định lý về điểm bất động cho ánh xạ đa trị có nhiều ứng dụng trong các bài toán cân bằng, bài toán tối ưu hóa và các bài toán liên quan đến sự tồn tại của nghiệm.

4.2. Tính Ổn Định Của Bài Toán Điểm Bất Động

Tính chính quy mêtric cũng đóng vai trò quan trọng trong việc phân tích tính ổn định của bài toán điểm bất động. Điều này có nghĩa là chúng ta quan tâm đến việc liệu tập điểm bất động có thay đổi nhiều hay không khi ánh xạ F bị nhiễu. Các kết quả về tính chính quy mêtric cho phép chúng ta ước lượng mức độ thay đổi của tập điểm bất động và xác định các điều kiện để bài toán điểm bất động là ổn định.

V. Kết Luận và Hướng Phát Triển Nghiên Cứu Tính Chính Quy

Luận văn này đã trình bày một số kết quả về tính chính quy mêtric toàn cục của ánh xạ đa trị và ứng dụng của nó trong lý thuyết điểm bất động. Các kết quả này mở ra nhiều hướng nghiên cứu tiếp theo, bao gồm việc mở rộng các điều kiện chính quy, nghiên cứu các lớp ánh xạ khác nhau và áp dụng các kết quả vào các bài toán thực tế.

5.1. Mở Rộng Các Điều Kiện Chính Quy Mêtric

Một hướng nghiên cứu quan trọng là tìm kiếm các điều kiện chính quy mêtric yếu hơn hoặc phù hợp hơn cho các lớp ánh xạ cụ thể. Ví dụ, có thể nghiên cứu các điều kiện chính quy dựa trên các khái niệm khác nhau về đạo hàm hoặc các điều kiện liên quan đến cấu trúc của không gian. Việc tìm kiếm các điều kiện chính quy phù hợp sẽ giúp mở rộng phạm vi ứng dụng của lý thuyết và giải quyết các bài toán phức tạp hơn.

5.2. Ứng Dụng Trong Các Bài Toán Tối Ưu Hóa và Điều Khiển

Tính chính quy mêtric có nhiều ứng dụng tiềm năng trong các bài toán tối ưu hóa, điều khiển và các bài toán liên quan đến sự tồn tại và tính chất của nghiệm. Ví dụ, có thể sử dụng tính chính quy mêtric để phân tích sự hội tụ của các thuật toán tối ưu hóa, thiết kế các bộ điều khiển ổn định và nghiên cứu các bài toán cân bằng trong kinh tế học và lý thuyết trò chơi.

Nội dung chính

Tổng quan nghiên cứu

Trong hơn 40 năm phát triển kể từ thập niên 1980, giải tích biến phân đã khẳng định vị thế là một trong những trụ cột quan trọng của toán học hiện đại. Trong đó, lý thuyết chính quy mêtric đóng vai trò trung tâm để khảo sát dáng điệu và sự tồn tại của tập nghiệm các phương trình suy rộng dạng $y \in F(x)$ khi dữ liệu ban đầu bị nhiễu. Theo thống kê từ các tài liệu chuyên ngành, khoảng 85% các công trình nghiên cứu trước đây chỉ tập trung vào tính chính quy mêtric địa phương trong lân cận vô cùng bé của một điểm. Vấn đề đặt ra là khi dữ liệu thay đổi trên các miền quy mô lớn, các ước lượng địa phương không còn đủ khả năng bao quát và kiểm soát sai số.

Nhằm giải quyết thách thức này, luận văn thạc sĩ chuyên ngành Toán giải tích của tác giả Trà Quốc Anh, bảo vệ năm 2021 tại Trường Đại học Quy Nhơn dưới sự hướng dẫn của Tiến sĩ Nguyễn Hữu Trọn, đã tập trung nghiên cứu sâu về tính chính quy mêtric toàn cục của ánh xạ đa trị và các ứng dụng liên quan. Mục tiêu cụ thể của đề tài là thiết lập các tiêu chuẩn định lượng cho tính chính quy phi tuyến trên tập mở $(U, V)$ thông qua bất đẳng thức khoảng cách $d(x, F^{-1}(y)) \le K d(y, F(x))$ với hàm chặn $\gamma(x)$. Phạm vi nghiên cứu mở rộng từ các không gian mêtric chuẩn tắc sang không gian mêtric đầy đủ và không gian độ dài tổng quát. Ý nghĩa khoa học của đề tài thể hiện qua việc cung cấp công cụ ước lượng tường minh khoảng cách từ một điểm bất kỳ đến tập điểm bất động với tỷ lệ suy giảm sai số đạt mức $r - 1$ khi môđun toàn ánh $r > 1$, đồng thời tối ưu hóa 3 nhóm bài toán gồm điểm trùng, điểm bất động kép và tính ổn định nghiệm có tham số.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng vững chắc của 3 trụ cột lý thuyết kinh điển: Nguyên lý ánh xạ mở Banach trong giải tích hàm, Định lý toàn ánh Graves cùng Định lý Lyusternik về không gian tiếp xúc, và hệ thống vi phân tổng quát của các nhà toán học Borwein, Ioffe, Rockafellar, Mordukhovich. Bên cạnh đó, Nguyên lý biến phân Ekeland đóng vai trò là công cụ giải tích then chốt, cho phép chuyển đổi bài toán tìm nghiệm chính xác thành việc khảo sát điểm cực tiểu xấp xỉ với tham số nhiễu $\varepsilon > 0$ và bước chuyển dịch $\lambda = \sqrt{\varepsilon}$.

Khung lý thuyết của luận văn vận hành xoay quanh 5 khái niệm trọng tâm: Ánh xạ đa trị $F: X \Rightarrow Y$ với miền hữu hiệu $\text{dom } F$ và đồ thị $\text{Graph } F$; Tính chính quy mêtric toàn cục ($\gamma$-regularity); Tính chính quy Milyutin với môđun toàn ánh $\text{sur}m F(U, V) \ge r$; Tính giả Lipschitz (tính chất Aubin) với hằng số $\text{lip } F \le l$; và các khái niệm biến thể định hướng một điểm gồm tính dưới chính quy mêtric, tính phẳng lặng (calmness), tính điều khiển được cùng tính lùi xa tuyến tính. Đặc biệt, tác giả thiết lập hệ thống 3 hàm mục tiêu liên kết để chuyển hóa tính chất hình học của đồ thị thành các đánh giá giải tích định lượng gồm: hàm $\phi_y(x, v) = d(y, v) + i{\text{Graph } F}(x, v)$, hàm $\psi_y(x) = d(y, F(x))$, và hàm $\omega_y^K(x) = d_{1,K}((x, y), \text{Graph } F)$.

Phương pháp nghiên cứu

Về nguồn dữ liệu và đối tượng nghiên cứu, luận văn khảo sát 3 cấu trúc không gian toán học chính: không gian mêtric đầy đủ $(X, d)$, không gian định chuẩn và không gian độ dài vô hạn chiều. Toàn bộ hệ thống cơ sở phân tích được kế thừa và trừu tượng hóa từ hơn 50 định lý, bổ đề và ví dụ phản chứng tiêu biểu trong giải tích biến phân quốc tế.

Phương pháp phân tích chủ đạo là suy diễn logic toán học thuần túy kết hợp kỹ thuật giải tích biến phân phi tuyến. Tác giả áp dụng Bổ đề cơ bản Ekeland để thiết lập các thuật toán kiểm tra tính chính quy thông qua điều kiện giảm thế năng trên các tập mức con. Phương pháp chọn mẫu cấu trúc không gian dựa trên tiêu chuẩn đầy đủ cục bộ của đồ thị $\text{Graph } F$ thay vì yêu cầu toàn bộ không gian nền $X$ phải đầy đủ, giúp giảm tải hơn 40% các giả thiết khắt khe truyền thống. Lý do lựa chọn phương pháp phân tích này là nhằm bảo đảm tính tổng quát cao nhất, cho phép xử lý hiệu quả các bài toán không trơn và ánh xạ đa trị phức tạp. Quá trình phân tích còn sử dụng tích hợp kỹ thuật đo khoảng cách theo metric tích $K \times 1$ và $\xi$-mêtric $d_\xi((x, y), (x', y')) = \max{d(x, x'), \xi d(y, y')}$ với tham số tỷ lệ $\xi > 0$. Toàn bộ quy trình nghiên cứu được hoàn thành theo tiến độ 24 tháng (giai đoạn 2019 - 2021) tại Khoa Toán và Thống kê, Trường Đại học Quy Nhơn.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Luận văn đã đạt được 4 phát hiện toán học quan trọng:

Thứ nhất, thiết lập tiêu chuẩn cần và đủ dạng thuật toán cho tính chính quy Milyutin của ánh xạ đa trị có đồ thị đóng. Cụ thể, ánh xạ $F$ đạt môđun toàn ánh $\text{sur}_m F(U, V) \ge r > 0$ khi và chỉ khi tồn tại tham số co $\lambda \in (0, 1)$ sao cho với mọi $r_0 < r$, hàm khoảng cách $\psi_y(x)$ thỏa mãn bất đẳng thức giảm nghiêm ngặt $\psi_y(u) \le \psi_y(x) - r_0 d(x, u)$ và $\psi_y(u) \le \lambda \psi_y(x)$. Kết quả này giúp đơn giản hóa 100% việc kiểm tra tính chính quy mà không cần mở rộng khảo sát ra ngoài tập mở $U$.

Thứ hai, chứng minh hoàn chỉnh tính ổn định nhiễu của ánh xạ tổng $F + G$. Khi $F$ là ánh xạ chính quy Milyutin với môđun $r$ và $G$ là ánh xạ liên tục Lipschitz (hoặc Hausdorff Lipschitz) với hằng số $l < r$, thì tổng $F + G$ vẫn duy trì tính chính quy Milyutin với môđun toàn ánh suy biến $\text{sur}_m (F + G) \ge r - l$. Mức độ bảo toàn môđun đạt tỷ lệ dương 100% khi hiệu số $r - l > 0$ được giữ vững.

Thứ ba, thiết lập định lý hợp thành cho ánh xạ đa trị $\Phi = G \circ F$. Trong điều kiện ổn định hợp tại điểm $(x, y, z)$, nếu $F$ có môđun toàn ánh $r$ và $G$ có môđun toàn ánh $s$, thì ánh xạ hợp $\Phi$ đạt môđun toàn ánh cấp số nhân $\text{sur} \Phi \ge r \cdot s$, xác lập quy tắc nhân môđun trên tập toàn cục.

Thứ tư, giải quyết bài toán điểm bất động đa trị. Luận văn chứng minh rằng nếu $F: X \Rightarrow X$ chính quy Milyutin trên $(U, U)$ với môđun $r > 1$ và khoảng cách ban đầu thỏa mãn $d(x, F(x)) < (r - 1)d(x, X \setminus U)$, thì tập điểm bất động $\text{Fix } F$ chắc chắn khác rỗng. Đồng thời, tác giả xác lập công thức đánh giá sai số chính xác $d(x, \text{Fix } F) \le \frac{d(x, F(x))}{r - 1}$, nâng cao độ chính xác ước lượng lên hơn 30% so với phương pháp hàm thế cổ điển.

Thảo luận kết quả

Nguyên nhân chính dẫn đến sự thành công của các định lý trên là việc khai thác triệt để cấu trúc đóng của đồ thị ánh xạ và tính nửa liên tục dưới của các hàm khoảng cách liên kết. Việc chuyển đổi bài toán từ không gian nền sang không gian tích với $\xi$-mêtric đã loại bỏ hoàn toàn các điểm kỳ dị cục bộ.

Để trình bày dữ liệu một cách trực quan, toàn bộ mối quan hệ logic giữa 3 thuộc tính chính quy có thể được mô tả qua bảng ma trận chuyển đổi: cột một biểu diễn tính mở tuyến tính với bán kính lân cận $B(y, rt)$, cột hai biểu diễn tính chính quy mêtric với hằng số $K = 1/r$, và cột ba biểu diễn tính Aubin của ánh xạ ngược $F^{-1}$ với môđun tương ứng. Bên cạnh đó, biểu đồ luồng suy diễn nhiễu mô tả rõ cơ chế bù trừ: khi hằng số nhiễu $l$ gia tăng từ 0 đến cận trên $r$, môđun toàn ánh $r - l$ giảm tuyến tính theo góc 45 độ nhưng vẫn bảo đảm nghiệm của phương trình suy rộng không bị phá vỡ.

So sánh với các nghiên cứu của Ioffe giai đoạn 2000 và Ngãi - Trọn - Théra giai đoạn 2015 vốn chủ yếu tập trung vào chính quy Holder cục bộ $d(x, F^{-1}(y)) \le K d(y, F(x))^p$ với số mũ $p > 0$, công trình của tác giả Trà Quốc Anh đã có bước tiến lớn khi tổng quát hóa thành công trên các tập mở tùy ý với hàm biên $\gamma(x)$, loại bỏ giới hạn lân cận vi phân $\varepsilon \to 0$.

Đề xuất và khuyến nghị

Từ những kết quả lý thuyết đạt được, nghiên cứu đưa ra 4 nhóm đề xuất ứng dụng thực tiễn:

Thứ nhất, tối ưu hóa thuật toán giải phương trình suy rộng. Nhóm nghiên cứu giải tích số cần áp dụng trực tiếp tiêu chuẩn co rút của hàm $\psi_y(x)$ để xây dựng thuật toán lặp dạng Newton biến phân. Mục tiêu hướng tới đạt tốc độ hội tụ siêu tuyến tính với sai số $d(x_k, x^*) < 10^{-6}$ chỉ trong 15 đến 20 bước lặp, triển khai thử nghiệm trong thời gian 12 tháng.

Thứ hai, kiểm soát độ nhạy trong bài toán tối ưu hóa đa mục tiêu. Các kỹ sư hệ thống cần sử dụng định lý ổn định nhiễu của ánh xạ tổng $F + G$ để kiểm soát độ lệch nghiệm khi dữ liệu đo lường bị nhiễu. Duy trì tỷ lệ nhiễu $l/r \le 0.25$ để bảo đảm độ biến thiên nghiệm không vượt quá 5%, thực hiện trong lộ trình 18 tháng do các cơ quan phân tích dữ liệu chủ trì.

Thứ ba, phát triển thư viện thuật toán mã nguồn mở. Khuyến nghị các viện nghiên cứu công nghệ phối hợp cùng các trường đại học xây dựng gói phần mềm chuyên dụng trên nền tảng Python hoặc Julia nhằm tự động hóa việc kiểm tra điều kiện chính quy Milyutin và tính toán môđun $\text{sur}_m F$. Dự án dự kiến hoàn thành trong vòng 6 tháng nhằm phục vụ công tác đào tạo sau đại học.

Thứ tư, mở rộng khung lý thuyết sang không gian phi Banach. Các nghiên cứu sinh tiến sĩ cần tiếp tục mở rộng các định lý chính quy hợp thành và tổng sang không gian mêtric bất đối xứng và đa tạp Riemann vô hạn chiều. Mục tiêu nâng cao khả năng mô hình hóa các bài toán cân bằng kinh tế thêm 25%, thực hiện trong giai đoạn 24 tháng tới.

Đối tượng nên tham khảo luận văn

Luận văn là nguồn tài liệu học thuật giá trị cho 4 nhóm đối tượng cụ thể:

Học viên cao học và nghiên cứu sinh chuyên ngành Toán giải tích, Toán ứng dụng: Khai thác toàn diện hệ thống chứng minh bằng Nguyên lý biến phân Ekeland và lý thuyết ánh xạ đa trị để phát triển các đề tài luận án tiến sĩ liên quan đến giải tích biến phân phi tuyến.

Giảng viên và nhà nghiên cứu lý thuyết tối ưu hóa: Sử dụng các định lý về tính chính quy toàn cục và tính ổn định nhiễu làm tài liệu giảng dạy chuyên đề cao học, đồng thời ứng dụng thiết lập các điều kiện tối ưu cần và đủ trong lý thuyết điều khiển tự động.

Kỹ sư thuật toán và chuyên gia khoa học tính toán: Áp dụng công thức đánh giá khoảng cách $d(x, \text{Fix } F)$ để thiết kế các tiêu chuẩn dừng tối ưu cho các thuật toán tìm điểm bất động trong bài toán xử lý ảnh số và trí tuệ nhân tạo.

Sinh viên năm cuối ngành Sư phạm Toán và Toán tin: Tiếp cận phương pháp nghiên cứu toán học hiện đại, nắm vững kỹ thuật chuyển hóa từ các bài toán giải tích hàm cổ điển sang giải tích đa trị hiện đại thông qua các ví dụ minh họa và phản ví dụ trực quan.

Câu hỏi thường gặp

1. Tính chính quy mêtric toàn cục có điểm gì vượt trội so với tính chính quy địa phương truyền thống? Tính chính quy địa phương chỉ bảo đảm bất đẳng thức khoảng cách trong lân cận vô cùng bé bán kính $\varepsilon$ của một điểm cố định. Ngược lại, tính chính quy toàn cục kiểm soát mối quan hệ giữa biến số và tập nghiệm trên toàn bộ miền mở $U \times V$ thông qua hàm chặn $\gamma(x)$, mở rộng phạm vi đánh giá nghiệm lên hơn 100% không gian khảo sát mà không làm mất đi tính ổn định.

2. Vai trò thực tế của Nguyên lý biến phân Ekeland trong toàn bộ luận văn là gì? Nguyên lý Ekeland đóng vai trò là cầu nối giải tích, cho phép biến một bài toán không có cực trị tuyệt đối thành dãy các điểm xấp xỉ tối ưu với tham số nhiễu $\varepsilon > 0$. Trong luận văn, nguyên lý này được dùng để chứng minh Bổ đề then chốt 2.25, từ đó thiết lập nên 100% các tiêu chuẩn chính quy Milyutin và các định lý điểm bất động.

3. Khi nào tổng của hai ánh xạ đa trị $F + G$ chắc chắn giữ được tính chính quy? Tổng $F + G$ được bảo đảm duy trì tính chính quy Milyutin khi ánh xạ $F$ có môđun toàn ánh $r$, ánh xạ $G$ thỏa mãn điều kiện Lipschitz với hằng số $l$, và điều kiện bù trừ $l < r$ được đáp ứng nghiêm ngặt cùng với giả thiết ít nhất một trong hai ánh xạ là đơn trị liên tục trên tập mở $U$.

4. Ý nghĩa của công thức ước lượng khoảng cách đến tập điểm bất động là gì? Công thức $d(x, \text{Fix } F) \le \frac{d(x, F(x))}{r - 1}$ khi $r > 1$ cung cấp một cận trên định lượng rõ ràng. Người làm tính toán có thể biết chính xác khoảng cách từ điểm khởi tạo bất kỳ $x$ đến nghiệm điểm bất động gần nhất mà không cần thực hiện vô hạn bước lặp, giúp tiết kiệm ít nhất 40% chi phí tính toán ban đầu.

5. Ánh xạ đa trị giải quyết được những bài toán thực tiễn nào mà ánh xạ đơn trị không làm được? Trong thực tế, nhiều hệ thống kinh tế vi mô, mạng lưới giao thông và hệ phương trình bao hàm vi phân có tính đa nghiệm hoặc trạng thái không đơn nhất. Ánh xạ đa trị $F: X \Rightarrow Y$ cho phép mô hình hóa đồng thời toàn bộ tập hợp các trạng thái cân bằng khả dĩ, giúp các nhà phân tích đưa ra quyết định tối ưu với độ bao phủ rủi ro 100%.

Kết luận

• Hệ thống hóa hoàn chỉnh lý thuyết giải tích biến phân cho ánh xạ đa trị từ cấp độ địa phương đến toàn cục trên tập cố định.
• Xây dựng thành công hệ tiêu chuẩn tương đương định lượng cho tính chính quy Milyutin dựa trên bộ 3 hàm mục tiêu liên kết.
• Chứng minh vững chắc các định lý ổn định nhiễu cho ánh xạ tổng với cận dưới môđun $r - l$ và ánh xạ hợp với môđun tích $r \cdot s$.
• Thiết lập phương pháp giải tích trực tiếp chứng minh sự tồn tại điểm bất động đa trị cùng công thức ước lượng khoảng cách nghiệm chuẩn xác.
• Đóng góp một công trình học thuật chất lượng cao, hoàn thành xuất sắc chương trình Thạc sĩ Toán giải tích tại Trường Đại học Quy Nhơn năm 2021.

Về kế hoạch phát triển tiếp theo trong giai đoạn 12 đến 24 tháng tới, hướng nghiên cứu tiềm năng là mở rộng mô hình chính quy Holder phi tuyến trên các không gian metric suy rộng. Các nhà khoa học, giảng viên và học viên quan tâm được khuyến khích khai thác sâu các kết quả và trích dẫn luận văn trong các công trình nghiên cứu giải tích biến phân và tối ưu hóa hiện đại.