Tổng quan về luận án

Luận án tiến sĩ toán học với đề tài "Sự tồn tại nghiệm của bài toán tựa cân bằng và bao hàm thức tựa biến phân Pareto" do nghiên cứu sinh Bùi Thế Hùng thực hiện dưới sự hướng dẫn khoa học của GS. Nguyễn Xuân Tấn tại Viện Toán học – Viện Hàn lâm Khoa học và Công nghệ Việt Nam (Chuyên ngành: Toán giải tích, Mã số: 62 46 01 02) là một công trình chuyên khảo giải tích phi tuyến và tối ưu hóa đa mục tiêu mang tính tiên phong. Nghiên cứu tập trung giải quyết các bài toán tồn tại nghiệm cho hai lớp mô hình cốt lõi: bài toán tựa cân bằng đa trị (Quasi-Equilibrium Problems - QEP) và bài toán bao hàm thức tựa biến phân (Quasi-Variational Inclusion Problems - QVIP) theo nghĩa hữu hiệu Pareto và Pareto yếu.

  Tính C-giả đơn điệu mạnh      Bổ đề Fan-KKM &       Vô hướng hóa qua nón
  & C-hemi liên tục             ĐL điểm bất động      cực chặt C^{0+}

Khoảng trống nghiên cứu (research gap) cụ thể được xác định từ thực tiễn lý thuyết: Trong khi các công trình cổ điển chủ yếu giải quyết bài toán cân bằng vô hướng của E. Blum và W. Oettli (1994) hoặc bài toán tối ưu véctơ đơn trị, các nghiên cứu mở rộng sang ánh xạ đa trị thường chỉ giới hạn ở nghiệm lý tưởng (Ideal solutions) với các giả thiết rất chặt về tính lồi compắc hoặc cấu trúc nón đối ngẫu (như đòi hỏi nón cực $C^0$ phải có cơ sở compắc yếu*). Hơn nữa, nghiệm Pareto cho bài toán tựa cân bằng và bao hàm thức tựa biến phân loại I, loại II khi ánh xạ mục tiêu thỏa mãn điều kiện lồi theo nón hoặc giống như tựa lồi theo nón hầu như chưa được thiết lập một cách toàn diện.

Luận án tập trung giải quyết 4 câu hỏi nghiên cứu và hệ giả thuyết định lượng:

  1. RQ1: Điều kiện đủ nào cho tính không rỗng của nón cực chặt $C^{0+}$ trong không gian vô hạn chiều và không gian Banach có tính chất góc?
  2. RQ2: Cấu trúc tôpô và tính đơn điệu suy rộng nào ($C$-giả đơn điệu mạnh, $C$-hemi liên tục) đảm bảo sự tồn tại nghiệm của bài toán tựa cân bằng Pareto trên loại I $(UPQEP)_I$ và yếu $(UWQEP)_I$?
  3. RQ3: Làm thế nào để xây dựng mô hình tựa cân bằng tổng quát loại II $(GQEP)_{II}$ hợp nhất các bài toán tối ưu, bất đẳng thức biến phân và bao hàm thức biến phân?
  4. RQ4: Phương pháp vô hướng hóa thông qua phần tử nón cực chặt $C^{0+}$ kết hợp định lý lát cắt liên tục có thể giải quyết bài toán bao hàm thức tựa biến phân Pareto $(UPQVIP)I$ và $(UPQVIP){II}$ dưới những điều kiện giải tích tối thiểu nào?

Khung lý thuyết (theoretical framework) của công trình được định vị vững chắc trên nền tảng Giải tích đa trị (Multivalued Analysis), Lý thuyết nón trong không gian véc-tơ tôpô, Định lý điểm bất động Ky Fan (1952), Định lý điểm bất động Fan-Browder (1968), Bổ đề Fan-KKM (1961) và Lý thuyết tối ưu hóa véc-tơ Pareto. Không gian khảo sát mở rộng từ không gian Euclide hữu hạn chiều $\mathbb{R}^n$ sang các không gian lồi địa phương Hausdorff vô hạn chiều $X, Z$ và không gian Banach $Y$, tạo ra những bước đột phá về tính tổng quát hóa trong toán học giải tích hiện đại.

Literature Review và Positioning

Lý thuyết tối ưu hóa và cân bằng kinh tế bắt nguồn từ các nghiên cứu nền tảng của F.Y. Edgeworth (1881) và V. Pareto (1906), sau đó được hình thức hóa toán học chặt chẽ bởi H.W. Kuhn và A.W. Tucker (1951) với điều kiện tối ưu, cùng G. Debreu (1954) về cân bằng thị trường. Năm 1994, E. Blum và W. Oettli đã đưa ra mô hình bài toán cân bằng vô hướng tổng quát:

"Tìm điểm $\bar{x} \in D$ sao cho $f(\bar{x}, x) \ge 0$, với mọi $x \in D$, $(EP)$ trong đó $D$ là tập con nào đó và $f: D \times D \to \mathbb{R}$ là một hàm số thực thỏa mãn điều kiện $f(x, x) \ge 0$ với mọi $x \in D$."

Mô hình $(EP)$ đã thống nhất bài toán tối ưu vô hướng $(OP)$, bài toán bất đẳng thức biến phân $(VIP)$, bài toán bù (complementarity problem), bài toán cân bằng Nash và bài toán điểm bất động. Khi phát triển lên không gian véc-tơ đa trị, D.T. Luc (1989) trong chuyên khảo kinh điển "Theory of Vector Optimization" đã đặt nền móng cho các quan hệ thứ tự sinh bởi nón lồi nhọn $C \subseteq Y$. Tiếp nối dòng nghiên cứu này, N.X. Tan (2004, 2008, 2010) và P.Q. Khanh (2008) đã đề xuất nhiều dạng bài toán tựa cân bằng và bao hàm thức tựa biến phân loại I và loại II.

Tuy nhiên, văn liệu tồn tại những cuộc tranh luận và mâu thuẫn lý thuyết sâu sắc giữa hai trường phái:

  • Trường phái tiếp cận nghiệm lý tưởng (Ideal Solutions Approach): Đại diện bởi các công trình của N.X. Tan (2008), P.Q. Khanh (2008), chủ trương vô hướng hóa bằng cơ sở compắc yếu* của nón cực $C^0$. Hạn chế lớn là điều kiện áp đặt lên ánh xạ mục tiêu $F$ và không gian đích $Y$ quá khắt khe: nón cực $C^0$ bắt buộc phải có cơ sở compắc yếu*, ánh xạ $F$ phải có giá trị $C$-lồi compắc và thỏa mãn tính $(Q, C)$-giống như tựa lồi theo đường chéo.
  • Trường phái nới lỏng giả thiết tôpô và nghiệm Pareto (Pareto Efficiency Approach): Tìm kiếm nghiệm hữu hiệu Pareto thực chất mà không đòi hỏi cấu trúc compắc ngặt nghèo của nón đối ngẫu.
Tiêu chí so sánh Nghiên cứu của Ferro (1989) & Bianchi-Schaible (1996) Nghiên cứu của N.X. Tan (2008) & P.Q. Khanh (2008) Luận án TS. Bùi Thế Hùng (2014)
Loại bài toán Tối ưu véc-tơ và tựa cân bằng đơn biến Bao hàm thức tựa biến phân lý tưởng loại I & II Tựa cân bằng & Bao hàm thức tựa biến phân Pareto loại I & II
Loại nghiệm Điểm hữu hiệu yếu vô hướng hóa Nghiệm lý tưởng $(UIQVIP)$ Nghiệm Pareto $(UPQEP, UPQVIP)$ và Pareto yếu
Không gian đích Không gian hữu hạn chiều $\mathbb{R}^n$ Không gian Banach với cơ sở $C^0$ compắc yếu* Không gian lồi địa phương Hausdorff tổng quát
Giả thiết ánh xạ $C$-lồi hoặc liên tục thông thường $(Q,C)$-giống như tựa lồi, giá trị $C$-lồi compắc $C$-giả đơn điệu mạnh, $C$-hemi liên tục, $C$-lồi dưới / giống tựa lồi dưới
Công cụ vô hướng hóa Phiếm hàm tuyến tính liên tục chuẩn hóa Phần tử nón cực $C^0$ với cơ sở compắc yếu* Phần tử thuộc nón cực chặt $C^{0+}$ và lát cắt liên tục

Luận án định vị chính xác vào khoảng trống: giải quyết triệt để sự tồn tại nghiệm Pareto cho bài toán tựa cân bằng đa biến và bao hàm thức tựa biến phân loại I và II trong không gian lồi địa phương Hausdorff tổng quát, vượt qua rào cản về cơ sở compắc yếu* thông qua kỹ thuật giải tích nón cực chặt $C^{0+}$.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án đã tạo nên bước phát triển quan trọng đối với lý thuyết tối ưu hóa véc-tơ đa trị phi tuyến thông qua 4 đóng góp bản lề:

  1. Xác lập điều kiện đủ cho tính không rỗng của nón cực chặt $C^{0+}$: Định nghĩa nón cực chặt:

    "Nón cực chặt của $C$ được định nghĩa bởi $C^{0+} := {\xi \in Y^ : \langle \xi, c \rangle > 0 \text{ với mọi } c \in C \setminus {0}}$."*

    Luận án chứng minh rằng trong không gian tôpô tuyến tính lồi địa phương hữu hạn chiều, $C^{0+} \ne \emptyset \iff \operatorname{cl} C \cap (-C) = {0}$. Trong không gian Banach vô hạn chiều, nón lồi $C$ có tính chất góc (angle property, tức tồn tại $\varepsilon \in (0, 1]$ và $\xi \in Y^* \setminus {0}$ sao cho $C \subseteq {x \in X : \langle \xi, x \rangle \ge \varepsilon |x|}$) thì $C^{0+} \ne \emptyset$.

  2. Mở rộng khái niệm đơn điệu sang $C$-giả đơn điệu mạnh đa trị: Ánh xạ đa trị $F: D \times D \to 2^Y$ được định nghĩa là $C$-giả đơn điệu mạnh nếu: $$\forall x, y \in D, \quad F(x, y) \not\subseteq -C(x) \implies F(y, x) \subseteq -C(y) \setminus {0}$$ Khái niệm này cho phép chuyển đổi tương đương điều kiện nghiệm Pareto mà không cần cấu trúc khả vi hay tính đơn điệu đơn trị ngặt nghèo.

  3. Mô hình hóa bài toán tựa cân bằng tổng quát loại II $(GQEP)_{II}$: Thiết lập cấu trúc phương trình đa trị: $$\text{Tìm } \bar{x} \in D \text{ sao cho } \bar{x} \in P_1(\bar{x}) \text{ và } 0 \in F(y, \bar{x}, t), \quad \forall t \in P_2(\bar{x}), \forall y \in Q(\bar{x}, t)$$ Bao hàm toàn bộ các bài toán tựa cân bằng lý tưởng, tựa tối ưu loại II và bất đẳng thức biến phân suy rộng loại II thành một cấu trúc giải tích đồng nhất.

  4. Thiết lập định lý tồn tại nghiệm bao hàm thức Pareto loại I và II: Chứng minh sự tồn tại nghiệm cho $(UPQVIP)I$ và $(UPQVIP){II}$ cho cả hai trường hợp ánh xạ $C$-lồi dưới và $C$-giống như tựa lồi dưới theo nón đối với biến thứ ba.

Khung phân tích độc đáo

Khung phân tích của luận án tích hợp liên hoàn 3 trụ cột toán học giải tích hiện đại:

                                        C-lồi / C-giống như tựa lồi đường chéo
                                        Định lý Fan-Browder & Lát cắt liên tục
  • Tiếp cận giải tích đa biến đối xứng: Xét các ánh xạ ràng buộc hai biến $S: D \times K \to 2^D, T: D \times K \to 2^K$ và ánh xạ mục tiêu ba biến $F: K \times D \times D \to 2^Y$.
  • Kỹ thuật vô hướng hóa phi tuyến qua lát cắt liên tục: Khi chuyển đổi bài toán đa trị véc-tơ sang bài toán vô hướng hóa thông qua phiếm hàm tuyến tính dương tính triệt để $\xi \in C^{0+}$, kết hợp định lý lát cắt liên tục của Michael/Yannelis-Prabhakar để xây dựng lát cắt đơn trị liên tục $f: D \to K$ từ ánh xạ đa trị có ảnh ngược mở.
  • Điều kiện biên xác định tường minh: Miền xác định $D, K$ là các tập con lồi compắc (hoặc thỏa mãn điều kiện bức compắc dạng Fan) trong không gian lồi địa phương Hausdorff; nón $C$ là nón lồi đóng nhọn.

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ lập trường nhận thức luận duy lý tiên nghiệm (Rationalist Deductive Epistemology) và hệ giác kiến hình thức tiên đề (Formal Axiomatic Paradigm) của toán học thuần túy.

  [Xây dựng Tiên đề & Khái niệm]
  [Chứng minh Bổ đề Kỹ thuật Cốt lõi]
  [Xây dựng Ánh xạ KKM & Bao đóng]
  [Áp dụng Nguyên lý Điểm bất động]
  [Suy rộng & Hệ quả Ứng dụng]

Thiết kế nghiên cứu là sự phối hợp đa tầng của các phương pháp định lý:

  • Tầng 1 (Tôpô nón đối ngẫu): Phân tích phổ tuyến tính đối ngẫu $Y^*$ và cấu trúc nón $C^0, C^{0+}$.
  • Tầng 2 (Lý thuyết ánh xạ đa trị): Xây dựng ánh xạ tập nghiệm dạng $M(x, y) = {x_0 \in S(x, y) : F(y, z, x_0) \subseteq -C, \forall z \in S(x, y)}$.
  • Tầng 3 (Nguyên lý điểm bất động): Sử dụng các ánh xạ đóng có giá trị lồi compắc để áp dụng định lý điểm bất động tập hợp.

Quy trình nghiên cứu rigorous

Quy trình chứng minh toán học diễn ra qua 5 bước logic nghiêm ngặt:

  1. Thiết lập ánh xạ đa trị phụ trợ: Khởi tạo ánh xạ $Q_{xy}: S(x, y) \to 2^{S(x, y)}$ xác định bởi $Q_{xy}(z) = {x_0 \in S(x, y) : F(y, z, x_0) \subseteq -C}$.
  2. Kiểm chứng tính chất KKM: Chứng minh $Q_{xy}$ là ánh xạ KKM bằng phương pháp phản chứng: Nếu tồn tại $x^* \in \operatorname{co}{x_1, \dots, x_n}$ mà $x^* \notin \bigcup_{i=1}^n Q_{xy}(x_i)$, dựa vào tính $C$-giả đơn điệu mạnh và tính $C$-lồi dưới theo đường chéo suy ra $F(y, x^, x^) \subseteq -C \setminus {0}$, mâu thuẫn trực tiếp với giả thiết $F(y, x, x) \cap C \ne \emptyset$.
  3. Áp dụng Bổ đề Fan-KKM: Do $S(x, y)$ lồi compắc và $Q_{xy}(z)$ đóng (nhờ tính $C$-liên tục dưới của $F$), suy ra: $$\bigcap_{z \in S(x, y)} Q_{xy}(z) \ne \emptyset \implies M(x, y) \ne \emptyset$$
  4. Chứng minh tính chất đóng và lồi của ánh xạ nghiệm: Chứng minh đồ thị $\operatorname{gph} M$ đóng trong không gian tích $D \times K \times D$ và tập giá trị $M(x, y)$ là tập lồi.
  5. Định vị điểm bất động: Thiết lập ánh xạ tích $P(x, y) = M(x, y) \times T(x, y)$ trên tập compắc lồi $D \times K$. Vì $P$ nửa liên tục trên với giá trị lồi đóng không rỗng, theo Định lý điểm bất động Ky Fan, tồn tại $(\bar{x}, \bar{y}) \in P(\bar{x}, \bar{y})$, chứng minh sự tồn tại nghiệm của $(UPQEP)_I$.

Data và phân tích

Trong nghiên cứu giải tích toán học thuần túy, "dữ liệu" chính là các cấu trúc không gian hàm và hệ ví dụ/phản ví dụ giải tích định lượng được giải quyết triệt để:

  • Xác nhận tính độc lập của các điều kiện tiên đề: Luận án cung cấp hệ thống phản ví dụ chi tiết chứng minh tính độc lập của các giả thiết. Ví dụ, chứng minh giả thiết $C$-giả đơn điệu mạnh (iv) trong Định lý 2.8 là điều kiện ắt có không thể loại bỏ: Xét $X = Z = \mathbb{R}, Y = \mathbb{R}^2, D = K = [0, 1], C = \mathbb{R}^2_-$, ánh xạ $S(x, y) = T(x, y) = [0, 1]$ và ánh xạ $F(y, x, z) = [0, x] \times [yz, 1]$. Bài toán vi phạm tính giả đơn điệu mạnh và hoàn toàn vô nghiệm.
  • Tính toán trên cấu trúc đối ngẫu: Phân tích cụ thể trên các không gian chuỗi $l_0$ và không gian Banach $\mathbb{R}^n$, chứng minh với $C = \mathbb{R}^n_+$ thì hằng số góc đạt $\varepsilon = 2^{-1/2}$ cùng véc-tơ $\xi = (1, 1, \dots, 1) \in \mathbb{R}^n$, chứng minh tính hữu hiệu của phương pháp góc.

Phát hiện đột phá và implications

Những phát hiện then chốt

Luận án công bố 5 phát hiện toán học mang tính đột phá:

  1. Định lý 2.8: Nghiệm tồn tại cho (UPQEP)I dưới tính C-giả đơn điệu mạnh
     và C-hemi liên tục trên.
  2. Định lý 2.12: Điều kiện đủ cho bài toán tựa cân bằng yếu (UWQEP)I.
  3. Hệ quả 2.14 & 2.15: Giải quyết trọn vẹn Hệ bài toán tựa cân bằng (SPQEP).
  4. Hệ quả 2.16 & 2.17: Định lý Minimax tựa yên ngựa Pareto suy rộng von Neumann.
  5. Định lý 3.11 & Định lý 3.x: Tồn tại nghiệm (UPQVIP)I & (UPQVIP)II qua C^{0+}.

  1. Định lý 2.8 (Sự tồn tại nghiệm của bài toán tựa cân bằng Pareto trên loại I):

    "Bài toán tựa cân bằng Pareto trên loại I, kí hiệu $(UPQEP)_I$, tìm $(\bar{x}, \bar{y}) \in D \times K$ sao cho (i) $\bar{x} \in S(\bar{x}, \bar{y}), \bar{y} \in T(\bar{x}, \bar{y})$; (ii) $F(\bar{y}, \bar{x}, x) \not\subseteq -C \setminus {0}$ với mọi $x \in S(\bar{x}, \bar{y})$."

    Định lý khẳng định $(UPQEP)_I$ luôn có nghiệm khi $S$ liên tục, $T$ nửa liên tục trên có giá trị lồi đóng compắc, $F(y, \cdot, x)$ là $C$-hemi liên tục trên, $F(y, \cdot)$ là $C$-giả đơn điệu mạnh, $F(y, x, \cdot)$ là $C$-lồi dưới (hoặc $C$-giống như tựa lồi dưới), và $F$ là $C$-liên tục dưới.

  2. Định lý 2.12 (Sự tồn tại nghiệm của bài toán tựa cân bằng yếu trên loại I $(UWQEP)_I$): Thiết lập nghiệm thỏa mãn $F(\bar{y}, \bar{x}, x) \not\subseteq -\operatorname{int} C, \forall x \in S(\bar{x}, \bar{y})$ khi nới lỏng từ $C$-giả đơn điệu mạnh sang $C$-giả đơn điệu thông thường kết hợp $C$-hemi liên tục dưới.

  3. Hệ quả 2.14 & 2.15 (Sự tồn tại nghiệm của Hệ bài toán tựa cân bằng Pareto và yếu): Giải quyết đồng thời hệ hai bài toán tựa cân bằng liên kết: $$G(\bar{y}, \bar{x}, x) \not\subseteq -C \setminus {0}, \forall x \in S(\bar{x}, \bar{y}) \quad \text{và} \quad H(\bar{x}, \bar{y}, y) \not\subseteq -C \setminus {0}, \forall y \in T(\bar{x}, \bar{y})$$

  4. Hệ quả 2.16 & 2.17 (Điểm tựa yên ngựa Pareto và Định lý Minimax suy rộng): Chứng minh sự tồn tại nghiệm cho bài toán điểm tựa yên ngựa Pareto: $$f(x, \bar{y}) \notin f(\bar{x}, \bar{y}) - C \setminus {0}, \forall x \in S(\bar{x}, \bar{y}) \quad \text{và} \quad f(\bar{x}, \bar{y}) \notin f(\bar{x}, y) - C \setminus {0}, \forall y \in T(\bar{x}, \bar{y})$$ Khi $Y = \mathbb{R}, C = \mathbb{R}+$, hệ quả suy rộng trực tiếp định lý Minimax kinh điển của J. von Neumann (1928), H. Kneser (1952) và Lin-Tsai (1988): $$\max{x \in S(\bar{x}, \bar{y})} \min_{y \in T(\bar{x}, \bar{y})} f(x, y) = \min_{y \in T(\bar{x}, \bar{y})} \max_{x \in S(\bar{x}, \bar{y})} f(x, y)$$

  5. Định lý 3.11 & Định lý 3.x (Bao hàm thức tựa biến phân Pareto loại I và II): Chứng minh nghiệm cho bài toán $(UPQVIP)I$ ($F(\bar{y}, \bar{x}, x) \subseteq F(\bar{y}, \bar{x}, \bar{x}) + C$) và loại II $(UPQVIP){II}$ bằng kỹ thuật vô hướng hóa qua nón cực chặt $C^{0+}$, phá vỡ giả thiết ngặt nghèo về cơ sở compắc yếu* từng tồn tại trong các công trình quốc tế trước đó.

Implications đa chiều

  • Tiến bộ lý thuyết: Làm phong phú và hoàn thiện lý thuyết định tính của giải tích phi tuyến, cung cấp bộ công cụ mạnh mẽ để khảo sát các bài toán tối ưu hóa véc-tơ đa mục tiêu không lồi, không khả vi.
  • Đổi mới phương pháp luận: Khẳng định tính ưu việt của phương pháp sử dụng nón cực chặt $C^{0+}$ và lát cắt liên tục trong việc giải quyết các bài toán phương trình và bao hàm thức toán học phức tạp.
  • Ứng dụng thực tiễn: Tạo cơ sở toán học chuẩn xác cho việc mô hình hóa các bài toán cân bằng kinh tế vi mô và vĩ mô, lý thuyết trò chơi phi hợp tác (non-cooperative games), bài toán cân bằng mạng lưới giao thông (traffic network equilibrium), và tối ưu hóa danh mục đầu tư tài chính đa mục tiêu.
  • Khả năng tổng quát hóa: Các kết quả áp dụng trực tiếp cho không gian vô hạn chiều, mở đường cho việc nghiên cứu điều khiển tối ưu các hệ phương trình đạo hàm riêng và phương trình vi phân đa trị.

Limitations và Future Research

Luận án thẳng thắn chỉ ra 4 giới hạn lý thuyết nội tại và điều kiện biên:

  1. Giả thiết compắc của tập xác định: Các định lý chính đòi hỏi các tập $D, K$ phải là tập compắc trong không gian lồi địa phương Hausdorff. Mặc dù có thể nới lỏng bằng điều kiện bức (coercivity condition), việc mở rộng hoàn toàn sang tập đóng không compắc vô hạn chiều vẫn là một thách thức toán học lớn.
  2. Cấu trúc nón lồi nhọn: Các kết quả phụ thuộc chặt chẽ vào cấu trúc nón $C$ là nón lồi, đóng và nhọn. Trường hợp thứ tự sinh bởi nón không lồi hoặc tập thứ tự thay đổi theo biến số (variable ordering structures) chưa được bao hàm.
  3. Tính liên tục của ánh xạ ràng buộc: Ánh xạ ràng buộc $S$ đòi hỏi phải liên tục đồng thời (vừa nửa liên tục trên, vừa nửa liên tục dưới theo nghĩa Berge).

Chương trình nghiên cứu tương lai (Future Research Agenda) tập trung vào 4 hướng cụ thể:

  • Hướng 1: Nghiên cứu sự tồn tại nghiệm khi tập xác định $D, K$ không compắc và không lồi, sử dụng cấu trúc tôpô suy rộng ($G$-convex spaces, metric spaces).
  • Hướng 2: Mở rộng bài toán tựa cân bằng và bao hàm thức biến phân với cấu trúc thứ tự sinh bởi nón biến thiên $C(x)$ không lồi.
  • Hướng 3: Khảo sát tính ổn định nghiệm, tính nửa liên tục của ánh xạ tập nghiệm khi có nhiễu (stability and sensitivity analysis under perturbations).
  • Hướng 4: Xây dựng các thuật toán số (numerical iterative algorithms) và phân tích tốc độ hội tụ để tính toán nghiệm xấp xỉ trong ứng dụng thực tế.

Tác động và ảnh hưởng

  • Tác động học thuật: Luận án là công trình nghiên cứu hệ thống, tạo tiền đề trích dẫn quan trọng cho các nhà nghiên cứu trong lĩnh vực giải tích phi tuyến, lý thuyết tối ưu và giải tích đa trị tại Việt Nam và quốc tế. Các công bố khoa học của tác giả liên quan đến luận án trên các tạp chí chuyên ngành uy tín khẳng định giá trị khoa học vững chắc của công trình.
  • Tác động liên ngành: Cung cấp khung giải tích chính xác cho các nhà kinh tế học toán lượng, các chuyên gia phân tích hệ thống kỹ thuật phức tạp và tối ưu hóa hệ thống mạng truyền thông đa tiêu chí.
  • Vị thế quốc tế: Đưa các nghiên cứu giải tích đa trị của trường phái toán học Việt Nam (kế thừa từ GS. Hoàng Tụy, GS. Nguyễn Xuân Tấn, GS. Đinh Thế Lục) tiếp tục duy trì vị trí tiên phong trong cộng đồng tối ưu hóa véc-tơ thế giới.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giảng viên Toán học: Tiếp cận tài liệu chuẩn mực về giải tích đa trị, hệ thống chứng minh chi tiết, chặt chẽ về lý thuyết nón và điểm bất động.
  • Các nhà khoa học kinh tế và tài chính định lượng: Ứng dụng mô hình $(UPQEP)$ và $(GQEP)_{II}$ để giải quyết bài toán cân bằng cạnh tranh Walras-Nash trong điều kiện ràng buộc phụ thuộc trạng thái người chơi.
  • Kỹ sư vận trù học (Operations Research): Khai thác khung lý thuyết để thiết kế các mô hình tối ưu hóa mạng lưới giao thông, logistics và phân bổ tài nguyên đa mục tiêu.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc thiết lập sự tồn tại nghiệm Pareto cho bài toán tựa cân bằng $(UPQEP)_I$ và bao hàm thức tựa biến phân $(UPQVIP)I, (UPQVIP){II}$ thông qua kỹ thuật nón cực chặt $C^{0+}$. Luận án đã mở rộng vượt bậc lý thuyết tối ưu hóa véc-tơ của D.T. Luc (1989), lý thuyết tựa cân bằng vô hướng của E. Blum - W. Oettli (1994) và lý thuyết bao hàm thức lý tưởng của N.X. Tan (2008) từ nghiệm lý tưởng sang nghiệm Pareto mà không cần giả thiết nón cực $C^0$ có cơ sở compắc yếu*.

2. Sự đổi mới phương pháp luận thể hiện như thế nào khi so sánh với các nghiên cứu quốc tế tiền nhiệm?

So với nghiên cứu của Ferro (1989) và P.Q. Khanh (2008), luận án không sử dụng phương pháp giải tích vô hướng hóa cổ điển dựa trên các phiếm hàm bị chặn $\Gamma \subseteq Y^*$. Thay vào đó, tác giả sử dụng tính chất góc trong không gian Banach để đảm bảo $C^{0+} \ne \emptyset$, kết hợp khái niệm mới về tính $C$-giả đơn điệu mạnh và định lý lát cắt liên tục. Cách tiếp cận này loại bỏ hoàn toàn yêu cầu hàm mục tiêu phải có giá trị $C$-lồi compắc.

3. Phát hiện toán học nào mang tính bất ngờ và phản trực giác nhất?

Kết quả bất ngờ nhất nằm ở Định lý 2.8 và phản ví dụ đi kèm: Trong bài toán tựa cân bằng Pareto, mặc dù hàm mục tiêu $F$ chỉ cần thỏa mãn tính $C$-giống như tựa lồi dưới (yếu hơn rất nhiều so với tính lồi thông thường), bài toán vẫn đảm bảo tồn tại nghiệm compắc với điều kiện $F$ là $C$-giả đơn điệu mạnh. Tuy nhiên, nếu bỏ tính $C$-giả đơn điệu mạnh, bài toán lập tức vô nghiệm ngay cả trên đoạn đơn vị $[0, 1]$ của $\mathbb{R}$.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) chặt chẽ không?

Có. Quy trình chứng minh toán học trong luận án được xây dựng theo cấu trúc tiên đề hình thức khép kín 100%. Mọi định lý đều có chứng minh giải tích từng bước (step-by-step mathematical proofs), trích dẫn chính xác từng bổ đề phụ trợ (Bổ đề 2.5, Bổ đề 2.6, Bổ đề Fan-KKM, Định lý Ky Fan), cho phép bất kỳ nhà toán học nào cũng có thể kiểm chứng độc lập tính đúng đắn tuyệt đối của kết quả.

5. Chương trình nghị sự nghiên cứu 10 năm được phác thảo ra sao?

Luận án vạch ra lộ trình nghiên cứu giải tích phi tuyến dài hạn bao gồm: (1) Tổng quát hóa bài toán trên các không gian metric và không gian $G$-lồi; (2) Phát triển lý thuyết định tính về tính tựa ổn định (well-posedness) và tính ổn định nghiệm Painlevé-Kuratowski; (3) Thiết kế các thuật toán lặp số giải bài toán bao hàm thức tựa biến phân Pareto với sai số kiểm soát được.

Kết luận

Luận án tiến sĩ của NCS. Bùi Thế Hùng là một công trình khoa học xuất sắc, mẫu mực của chuyên ngành Toán giải tích với 6 kết quả đóng góp cốt lõi:

  1. Xác lập hệ điều kiện cần và đủ cho tính không rỗng của nón cực chặt $C^{0+}$ trong không gian hữu hạn chiều và không gian Banach có tính chất góc.
  2. Xây dựng lý thuyết về tính $C$-giả đơn điệu mạnh và $C$-hemi liên tục cho ánh xạ đa trị.
  3. Chứng minh thành công định lý tồn tại nghiệm cho bài toán tựa cân bằng Pareto và yếu loại I $(UPQEP)_I, (UWQEP)_I$.
  4. Thiết lập mô hình bài toán tựa cân bằng tổng quát loại II $(GQEP)_{II}$ và chứng minh sự tồn tại nghiệm bằng Bổ đề Fan-KKM.
  5. Giải quyết trọn vẹn bài toán bao hàm thức tựa biến phân Pareto loại I $(UPQVIP)I$ và loại II $(UPQVIP){II}$ bằng phương pháp vô hướng hóa qua nón cực chặt $C^{0+}$.
  6. Mở rộng định lý Minimax von Neumann - Kneser sang bài toán điểm tựa yên ngựa Pareto trong không gian vô hạn chiều.

Công trình mở ra 3 hướng nghiên cứu mới về giải tích phi tuyến và tối ưu hóa đa mục tiêu, khẳng định tính chuẩn xác và giá trị học thuật bền vững trong kho tàng toán học giải tích hiện đại.