Tổng quan về luận án

Lý thuyết bài toán cân bằng (Equilibrium Problem - $EP$) và bài toán điểm bất động (Fixed Point Problem - $FP$) giữ vị trí trung tâm trong toán học ứng dụng hiện đại, giải tích phi tuyến và lý thuyết tối ưu hóa. Bài toán cân bằng được thiết lập trên không gian Hilbert thực $H$ với tập lồi, đóng, khác rỗng $C \subset H$ và song hàm cân bằng $f: C \times C \to \mathbb{R}$ thỏa mãn $f(x, x) = 0, \forall x \in C$, có dạng toán học chuẩn tắc: "Tìm $x^* \in C$ sao cho $f(x^*, y) \ge 0, \forall y \in C$". Mô hình này đóng vai trò khung toán học hợp nhất cho nhiều cấu trúc bài toán kinh điển như bài toán quy hoạch tối ưu ($OP$), bài toán bất đẳng thức biến phân đơn trị và đa trị ($VIP$, $MVIP$), bài toán điểm bất động Kakutani, bài toán điểm yên ngựa, và mô hình cân bằng Nash trong lý thuyết trò chơi phi hợp tác (Blum & Oettli, 1994).

Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án tiến sĩ của nghiên cứu sinh Nguyễn Thị Thanh Hà giải quyết bắt nguồn từ ba rào cản lý thuyết và tính toán cốt lõi:

  1. Đa số các thuật toán đạo hàm tăng cường (extragradient) và thuật toán chiếu hiện hữu đòi hỏi song hàm $f$ phải thỏa mãn tính đơn điệu (monotonicity), đơn điệu mạnh hoặc giả đơn điệu (pseudomonotonicity) (Bigi et al., 2013; Muu, 2003). Trong thực tiễn mô hình hóa kinh tế và vận trù học, nhiều bài toán thực tế lại sở hữu cấu trúc song hàm hoàn toàn không đơn điệu.
  2. Việc chuyển đổi bài toán tìm nghiệm chung của họ bài toán cân bằng ($CSEP$) sang bài toán cân bằng tổ hợp ($CEP$) từng được khẳng định là tương đương dưới giả thiết các song hàm $f_i$ đơn điệu (Kangtunyakarn et al., 2013–2016). Luận án phát hiện lỗ hổng lý thuyết này khi chứng minh tính đơn điệu đơn thuần là không đủ để bảo đảm tính tương đương của hai tập nghiệm.
  3. Các phương pháp giải bài toán tìm nghiệm chung giữa bài toán cân bằng và bài toán điểm bất động gần đây, tiêu biểu như thuật toán dưới đạo hàm tăng cường Halpern ($HSEM$) của D. V. Hieu (2017), bắt buộc bước lặp $\lambda$ phải phụ thuộc chặt chẽ vào các hằng số Lipschitz $c_1, c_2$ thỏa mãn điều kiện $0 < \lambda < \min{\frac{1}{2c_1}, \frac{1}{2c_2}}$. Điều này gây tắc nghẽn tính toán lớn khi các hằng số Lipschitz thực tế không thể ước lượng hoặc chưa biết trước.

Luận án thiết lập và giải quyết ba câu hỏi nghiên cứu cụ thể:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Làm thế nào để thiết lập một thuật toán lặp hội tụ mạnh giải bài toán cân bằng không đơn điệu trong không gian Hilbert mà không làm phát sinh chi phí tính toán giải bài toán tối ưu trên tập ràng buộc phức tạp ở mỗi bước lặp?
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Điều kiện khả quy chính xác nào là cần và đủ để hợp nhất tập nghiệm của hệ bài toán cân bằng hữu hạn và vô hạn đếm được vào tập nghiệm của bài toán cân bằng tổ hợp?
  • Câu hỏi nghiên cứu 3 ($RQ_3$): Có thể xây dựng cơ chế tự thích nghi bước lặp kết hợp giữa phương pháp dưới đạo hàm tăng cường và phép lặp Ishikawa nhằm giải bài toán nghiệm chung của $EP$ giả đơn điệu và $FP$ tựa không giãn mà không cần biết hằng số Lipschitz hay không?

Phạm vi nghiên cứu bao quát không gian Hilbert tổng quát vô hạn chiều và không gian Euclide $n$ chiều $\mathbb{R}^n$, tích hợp mô phỏng định lượng trên thị trường năng lượng điện bán độc quyền Nash-Cournot với cấu trúc 3 công ty ($n_c = 3$), 6 tổ máy phát điện ($n_g = 6$), hàm cầu giá phụ thuộc affine và hàm chi phí phi tuyến tính từng đoạn (piecewise convex functions). Luận án tạo bước đột phá trong phương pháp luận giải tích phi tuyến và quy hoạch toán học hiện đại.

Literature Review và Positioning

Khung lý thuyết của bài toán cân bằng bắt nguồn từ các công trình nền tảng của Ky Fan (1972) với bất đẳng thức Ky Fan, sau đó được Blum & Oettli (1994) hệ thống hóa thành bài toán cân bằng tổng quát ($EP$). Về phương pháp giải, các phương pháp cổ điển bao gồm phương pháp hàm đánh giá (gap function method) của Fukushima (1992), nguyên lý bài toán phụ (auxiliary subproblem principle) của Cohen (1988), phương pháp điểm gần kề (proximal point method) của Martinet (1970) và Rockafellar (1976), cùng phương pháp hiệu chỉnh Tikhonov (Tikhonov & Arsenin, 1977).

Trong dòng nghiên cứu về thuật toán đạo hàm tăng cường, Korpelevich (1976) đã đặt nền móng cho bất đẳng thức biến phân, sau đó được Quoc, Anh & Muu (2008, 2012) cải tiến kết hợp với quy tắc tìm kiếm tia Armijo để giải bài toán cân bằng đơn điệu và giả đơn điệu. Song song đó, lý thuyết điểm bất động phát triển từ định lý ánh xạ co Banach kinh điển đến các phép lặp Mann (1953) cho ánh xạ không giãn, phép lặp Ishikawa (1974) cho ánh xạ Lipschitz giả co và phép lặp Halpern (1967) đạt hội tụ mạnh. Takahashi, Takeuchi & Kubota (2008) đã giới thiệu phương pháp chiếu nhúng (shrinking projection method), mở ra hướng đi mới trong việc bảo đảm sự hội tụ mạnh trong không gian Hilbert.

Tuy nhiên, các tranh biện học thuật then chốt nảy sinh trong hai thập kỷ qua tập trung vào tính tương đương cấu trúc và điều kiện hội tụ:

  1. Tranh biện về quan hệ $CSEP$ và $CEP$: Kangtunyakarn (2013) cùng các cộng sự trong chuỗi công bố quốc tế khẳng định rằng đối với tập chỉ số hữu hạn $I = {1, 2, \dots, N}$, nếu các song hàm $f_i$ đơn điệu thì tập nghiệm của bài toán cân bằng tổ hợp hoàn toàn trùng khớp với giao các tập nghiệm thành phần: $$\bigcap_{i=1}^N \text{Sol}(C, f_i) = \text{Sol}\left(C, \sum_{i=1}^N \alpha_i f_i\right)$$ Luận án chỉ ra khẳng định trên tồn tại sai sót nền tảng: tính đơn điệu của các song hàm thành phần chưa đủ để bảo toàn đẳng thức nêu trên. Bằng việc xây dựng phản ví dụ toán học chặt chẽ, tác giả bác bỏ kết luận của Kangtunyakarn và tái định vị lại điều kiện biên đủ chính xác để đẳng thức được nghiệm đúng cho cả trường hợp hữu hạn lẫn vô hạn đếm được.
  2. So sánh với các nghiên cứu quốc tế về bài toán không đơn điệu: So với các thuật toán của Iiduka & Takahashi (2009) vốn đòi hỏi tính đơn điệu chặt hoặc đơn điệu mạnh, hay các công trình của Ceng, Ansari & Yao (2010) và Bigi, Castellani & Kassay (2013) giải bài toán cân bằng với tính chất liên tục Holder/Lipschitz nghiêm ngặt, luận án này khắc phục triệt để giả thiết đơn điệu bằng việc tích hợp phương pháp chiếu nhúng Takahashi với thủ tục tìm kiếm tia Armijo linh hoạt.
  3. So sánh với nghiên cứu tìm nghiệm chung $EP$ và $FP$: Nghiên cứu đối chiếu trực tiếp với thuật toán $HSEM$ của D. V. Hieu (2017). Trong khi Hieu đòi hỏi tham số bước lặp $\lambda$ bị chặn bởi hằng số Lipschitz chưa biết ($0 < \lambda < \min{\frac{1}{2c_1}, \frac{1}{2c_2}}$), công trình của nghiên cứu sinh Nguyễn Thị Thanh Hà kết hợp phương pháp dưới đạo hàm tăng cường với phép lặp Ishikawa, giải phóng hoàn toàn thuật toán khỏi sự phụ thuộc tiên nghiệm vào các hằng số Lipschitz, bảo đảm sự hội tụ mạnh về hình chiếu $x^* = P_{S}(x_0)$ trên tập nghiệm chung $S = \text{Sol}(C, f) \cap \text{Fix}(T) \neq \emptyset$.

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

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

Luận án mở rộng và thách thức các lý thuyết tối ưu hóa phi tuyến hiện hành qua các đóng góp cụ thể:

  • Mở rộng lý thuyết hội tụ của bài toán cân bằng không đơn điệu: Xây dựng khung chứng minh hội tụ mạnh cho dãy lặp ${x^k}$ và ${u^k}$ trong không gian Hilbert thực mà không cần giả thiết đơn điệu hay giả đơn điệu của song hàm $f$. Điều này được thiết lập dựa trên tính chất nghiệm của bài toán liên kết Minty ($MEP$) và tính liên tục yếu đồng thời (jointly weakly continuous).
  • Chỉnh lý và bổ sung định lý cơ bản về hệ bài toán cân bằng: Xác lập điều kiện đủ mới để đẳng thức giữa giao các tập nghiệm của họ bài toán cân bằng và tập nghiệm của bài toán cân bằng tổ hợp $\text{Sol}(C, \sum_{i \in I} \alpha_i f_i)$ đồng nhất, khắc phục ngộ nhận lý thuyết kéo dài từ năm 2013 trong các công trình của Kangtunyakarn.
  • Hợp nhất bài toán điểm bất động tựa không giãn và bài toán cân bằng Lipschitz-type: Mở rộng định lý hội tụ mạnh của phép lặp Ishikawa kết hợp dưới đạo hàm tăng cường mà không đòi hỏi thông tin về cận Lipschitz $c_1, c_2$.

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

Khung phân tích của luận án tích hợp ba nhánh lý thuyết toán học chuyên sâu:

  1. Lý thuyết phân tích lồi và dưới vi phân: Khai thác toán tử dưới vi phân theo biến thứ hai $\partial_2 f(z, x) = {w \in H : f(z, y) \ge f(z, x) + \langle w, y - x \rangle, \forall y \in C}$ để tạo ra các véc-tơ siêu phẳng phân tách tại mỗi bước lặp.
  2. Kỹ thuật chiếu nhúng không gian nửa đóng: Xây dựng dãy tập lồi đóng lồng nhau $C_{k+1} = {x \in C_k : |x - u^k| \le |x - x^k|}$ chứa tập nghiệm $S_M$ hoặc $S$, chuyển bài toán tìm nghiệm tiệm cận yếu về bài toán hình chiếu trực giao duy nhất $x^{k+1} = P_{C_{k+1}}(x_g)$.
  3. Quy tắc tìm kiếm tia Armijo thích nghi: Thiết lập quy tắc tìm số nguyên không âm nhỏ nhất $m_k$ thỏa mãn: $$f(z^{k, m_k}, x^k) - f(z^{k, m_k}, y^k) \ge \frac{\mu}{2\rho_k} |y^k - x^k|^2$$ với $z^{k, m} = (1 - \eta^m)x^k + \eta^m y^k$, cho phép kiểm soát bước nhảy mà không làm mất tính khả vi hay tính lồi suy rộng.

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

Thiết kế nghiên cứu

Nghiên cứu đứng trên lập trường nhận thức luận của chủ nghĩa thực chứng diễn dịch toán học (mathematical positivism and rigorous deductive reasoning). Toàn bộ hệ thống định lý, bổ đề kỹ thuật và thuật toán được chứng minh giải tích chuẩn xác trong không gian giải tích hàm.

Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng lý thuyết không gian Hilbert trừu tượng: Thiết lập các cấu trúc topo yếu, tính compact yếu và các đặc tính bao hàm dưới vi phân.
  • Tầng thiết kế giải thuật số (Numerical Algorithm Design): Xây dựng các bước lặp hữu hạn, quy tắc cập nhật biến, tiêu chuẩn dừng kiểm soát sai số.
  • Tầng thực nghiệm tính toán (Computational Benchmark): Cài đặt và thực thi trên mô hình cân bằng thị trường điện bán độc quyền Nash-Cournot phi đối xứng, so sánh tốc độ hội tụ qua thời gian CPU và số bước lặp (iterations).

Quy trình nghiên cứu rigorous

Quy trình giải thuật cho bài toán cân bằng không đơn điệu (Thuật toán 2.1) được thiết kế theo các pha chặt chẽ:

  • Bước khởi tạo: Chọn điểm xuất phát $x^0 = x_g \in C$, các tham số $\eta, \mu \in (0, 1)$, $0 < \underline{\rho} \le \bar{\rho}$, ${\rho_k} \subset [\underline{\rho}, \bar{\rho}]$, $\gamma_k \in [\underline{\gamma}, \bar{\gamma}] \subset (0, 2)$, đặt tập $C_0 = C$.
  • Bước 1 (Quy hoạch lồi mạnh): Giải bài toán tối ưu lồi duy nhất trên tập $C$: $$y^k = \arg\min \left{ f(x^k, y) + \frac{1}{2\rho_k} |y - x^k|^2 : y \in C \right}$$ Nếu $y^k = x^k$, dừng thuật toán ($x^k$ là nghiệm chính xác của $EP(C, f)$).
  • Bước 2 (Tìm kiếm tia Armijo): Xác định số nguyên $m_k$ nhỏ nhất để $z^k = (1 - \eta^{m_k})x^k + \eta^{m_k} y^k$ thỏa mãn bất đẳng thức giảm Armijo.
  • Bước 3 (Chiếu dưới đạo hàm): Lấy $w^k \in \partial_2 f(z^k, x^k)$, tính hệ số chuẩn hóa $\sigma_k = \frac{f(z^k, x^k)}{|w^k|^2}$, và thực hiện phép chiếu: $$u^k = P_C (x^k - \gamma_k \sigma_k w^k)$$
  • Bước 4 (Cập nhật tập thu hẹp và chiếu nhúng): Xây dựng tập lồi đóng $C_{k+1} = {x \in C_k : |x - u^k| \le |x - x^k|}$ và tính điểm lặp tiếp theo $x^{k+1} = P_{C_{k+1}}(x_g)$.

Độ tin cậy giải tích được bảo đảm qua việc chứng minh chuỗi bất đẳng thức năng lượng suy giảm: $$|u^k - x^|^2 \le |x^k - x^|^2 - \gamma_k (2 - \gamma_k)(\sigma_k |w^k|)^2, \quad \forall x^* \in S_M$$ khẳng định tính bị chặn của dãy ${x^k}, {u^k}, {y^k}, {z^k}$ và sự triệt tiêu tiệm cận $|x^{k+1} - x^k| \to 0$, $|u^k - x^k| \to 0$.

Data và phân tích

Mô hình thực nghiệm kiểm chứng được xây dựng từ bài toán cân bằng thị trường điện bán độc quyền Nash-Cournot (Contreras et al., 2004; Quoc et al., 2012):

  • Cấu trúc thị trường: Số công ty sản xuất điện $n_c = 3$; tổng số tổ máy phát điện $n_g = 6$. Phân bổ sở hữu: Công ty 1 quản lý tổ máy ${1}$, Công ty 2 quản lý tổ máy ${2, 3}$, Công ty 3 quản lý tổ máy ${4, 5, 6}$.
  • Hàm giá điện: Giá thị trường $p(x)$ phụ thuộc tuyến tính giảm vào tổng sản lượng điện phát $\sigma = \sum_{i=1}^6 x_i$ theo phương trình affine: $$p(x) = 378.4 - \sum_{i=1}^{n_g} x_i$$
  • Hàm chi phí phi tuyến: Chi phí sản xuất của tổ máy thứ $j$ là hàm phi vi phân từng đoạn: $c_j(x_j) = \max{c_{0j}(x_j), c_{1j}(x_j)}$, trong đó: $$c_{0j}(x_j) = \frac{\alpha_{j0}}{2} x_j^2 + \beta_{j0} x_j + \gamma_{j0}, \quad c_{1j}(x_j) = \alpha_{j1} x_j + \frac{\beta_{j1}}{\beta_{j1} + 1} \gamma_{j1}^{-1/\beta_{j1}} (x_j)^{(\beta_{j1}+1)/\beta_{j1}}$$
  • Tập ràng buộc công suất: Ràng buộc hộp đóng $C = {x \in \mathbb{R}^6 : x_j^{\min} \le x_j \le x_j^{\max}, \forall j = 1, \dots, 6}$ với công suất phát định mức cụ thể: Tổ máy 1 ($[0, 80]$), Tổ máy 2 ($[0, 80]$), Tổ máy 3 ($[0, 50]$), Tổ máy 4 ($[0, 55]$), Tổ máy 5 ($[0, 30]$), Tổ máy 6 ($[0, 40]$).
  • Tính chất phi đơn điệu: Song hàm tương đương của mô hình có dạng $f(x, y) = [(A + B)x + By + a]^T(y - x) + c(y) - c(x)$, với $f(x, y) + f(y, x) = -(y - x)^T A (y - x)$. Vì ma trận $A$ không phải là ma trận nửa xác định dương, song hàm $f$ hoàn toàn không đơn điệu.
  • Môi trường thực thi & Tiêu chuẩn dừng: Thuật toán được lập trình trên nền tảng phần mềm MATLAB phiên bản R2014a, thực thi trên hệ thống máy tính trang bị CPU Intel(R) Core(TM) i5-3230M @ 2.60 GHz, 4GB RAM. Tiêu chuẩn dừng kiểm soát sai số chuẩn hóa đạt mức khắt khe: $$\frac{|x^{k+1} - x^k|}{\max{1, |x^k|}} \le \epsilon \quad \text{với } \epsilon = 10^{-3}$$

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

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

  1. Chứng minh sự hội tụ mạnh không điều kiện đơn điệu: Khác với các thuật toán extragradient truyền thống chỉ hội tụ yếu hoặc đòi hỏi tính đơn điệu ngặt, Thuật toán 2.1 và Thuật toán 2.2 thiết lập sự hội tụ mạnh của toàn bộ dãy lặp ${x^k}$ về nghiệm duy nhất $x^* = P_{\cap C_k}(x_g)$ trong không gian Hilbert khi tập nghiệm Minty $S_M \neq \emptyset$.
  2. Bác bỏ giả thiết đơn điệu trong bài toán cân bằng tổ hợp: Phát hiện phản ví dụ toán học chứng minh rằng ngay cả khi mọi song hàm $f_i$ ($i = 1, \dots, N$) đều đơn điệu, đẳng thức $\bigcap_{i=1}^N \text{Sol}(C, f_i) = \text{Sol}(C, \sum_{i=1}^N \alpha_i f_i)$ vẫn có thể không xảy ra. Luận án thiết lập hệ điều kiện đủ mới bảo đảm tính tương đương cho cả họ vô hạn đếm được các bài toán cân bằng.
  3. Giải phóng ràng buộc bước lặp khỏi hằng số Lipschitz: Thuật toán phối hợp dưới đạo hàm tăng cường và bước lặp Ishikawa (Chương 4) đã loại bỏ hoàn toàn việc phải ước lượng trước cận Lipschitz $c_1, c_2$ của song hàm giả đơn điệu, giải quyết triệt để điểm nghẽn của thuật toán $HSEM$ do D. V. Hieu đề xuất năm 2017.
  4. Hiệu năng giải bài toán thị trường năng lượng phi tuyến: Trong mô hình cân bằng bán độc quyền Nash-Cournot 6 chiều, thuật toán thể hiện tính ổn định vượt trội trước các điểm khởi tạo khác nhau ($x^0$), đạt nghiệm cân bằng tối ưu với sai số $\epsilon = 10^{-3}$ trong thời gian thực thi mili-giây trên phần mềm MATLAB.

Implications đa chiều

  • Về mặt lý thuyết: Cung cấp khung phương pháp luận hoàn chỉnh kết nối giải tích lồi, phép chiếu metric và lý thuyết điểm bất động để giải quyết các bài toán phi tuyến không có tính đơn điệu.
  • Về mặt giải thuật số: Đơn giản hóa quy trình tính toán: mỗi bước lặp chỉ cần giải một bài toán quy hoạch lồi mạnh duy nhất trên tập ràng buộc gốc $C$, các phép chiếu tiếp theo được thực hiện trên các nửa không gian đóng hoặc tập siêu phẳng $C_{k+1}$ vốn có công thức giải tích hiện biểu tường minh, giảm thiểu tài nguyên CPU.
  • Về mặt ứng dụng thực tiễn và chính sách: Mô hình cung cấp công cụ tối ưu hóa chính xác cho việc điều độ hệ thống điện quốc gia, phân bổ công suất biên giữa các công ty phát điện trong thị trường năng lượng cạnh tranh bán phần, ngăn chặn hành vi lạm dụng vị thế thống lĩnh thị trường nhằm tối đa hóa phúc lợi xã hội.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án cũng ghi nhận một số giới hạn học thuật cần tiếp tục mở rộng:

  1. Giả thiết về tính liên tục yếu đồng thời: Các định lý hội tụ trong Chương 2 vẫn đòi hỏi song hàm $f$ phải liên tục yếu đồng thời trên $\Omega \times \Omega$. Điều kiện này có thể bị vi phạm trong một số bài toán tối ưu phân tán với toán tử gián đoạn.
  2. Cấu trúc tập nghiệm Minty: Chứng minh hội tụ của thuật toán không đơn điệu phụ thuộc vào giả thiết tập nghiệm Minty $S_M$ khác rỗng ($S_M \neq \emptyset$).
  3. Quy mô dữ liệu mô phỏng: Thực nghiệm số mới chỉ dừng lại ở bài toán thử nghiệm kích thước $n_g = 6$ và một số ví dụ không gian Hilbert vô hạn chiều mô phỏng giải tích.

Chương trình nghiên cứu mở rộng 5–10 năm tới bao gồm:

  • Mở rộng thuật toán cho lớp bài toán cân bằng song lồi (biconvex equilibrium problems) và bất đẳng thức biến phân quasi-variational.
  • Phát triển các biến thể thuật toán ngẫu nhiên (stochastic extragradient methods) và thuật toán phân tán (distributed algorithms) phục vụ bài toán Big Data và máy học (Machine Learning).
  • Ứng dụng giải quyết bài toán cân bằng mạng giao thông đa phương thức quy mô hàng triệu nút mạng.

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

Công trình nghiên cứu tạo ra những tác động khoa học và thực tiễn sâu rộng:

  • Tác động học thuật: Cung cấp các công cụ toán học nền tảng cho cộng đồng nghiên cứu giải tích tối ưu. Các kết quả của luận án đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín (như Journal of Nonlinear Analysis and Optimization) và báo cáo tại các diễn đàn toán học đầu ngành: Hội nghị Khoa học các nhà nghiên cứu trẻ lần thứ XV, Hội thảo Tối ưu và Tính toán Khoa học lần thứ 18 (Hòa Lạc), và Hội nghị các cựu học viên Viện Toán học.
  • Ứng dụng công nghiệp & Chuyển đổi số: Cung cấp thuật toán nền tảng cho việc phát triển các phần mềm điều độ thị trường điện cạnh tranh, thuật toán định tuyến phân bổ gói tin viễn thông và bài toán tái tạo ảnh số chất lượng cao trong y tế.
  • Giá trị kinh tế - xã hội: Hỗ trợ các cơ quan điều tiết năng lượng (như Cục Điều tiết Điện lực) xây dựng khung chính sách giá điện minh bạch, kiểm soát mức độ tập trung thị trường và tối ưu hóa chi phí vận hành nguồn điện quốc gia.

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

  • Nghiên cứu sinh và học giả chuyên ngành Toán ứng dụng: Tiếp cận hệ thống bổ đề kỹ thuật chuẩn xác, kỹ thuật chứng minh hội tụ mạnh trong không gian vô hạn chiều và các hướng nghiên cứu mở về giải tích phi tuyến.
  • Chuyên gia nghiên cứu R&D trong ngành Điện lực và Năng lượng: Ứng dụng mô hình cân bằng Nash-Cournot phi đơn điệu để tối ưu hóa kế hoạch chào giá và vận hành tổ máy phát điện.
  • Kỹ sư Xử lý tín hiệu và Khoa học dữ liệu: Khai thác thuật toán điểm bất động tựa không giãn cho các bài toán tối ưu hóa lồi phân tán, khôi phục tín hiệu bị nhiễu và xử lý ảnh y tế.
  • Các nhà hoạch định chính sách kinh tế vĩ mô: Sử dụng khung lý thuyết cân bằng tổng thể để mô phỏng tác động của thuế carbon, hạn ngạch phát thải và cơ chế đấu thầu năng lượng tái tạo.

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 lý thuyết độc đáo nhất là việc thiết lập sự hội tụ mạnh cho bài toán cân bằng hoàn toàn không đơn điệu bằng cách tích hợp phương pháp chiếu nhúng (shrinking projection) của Takahashi với tìm kiếm tia Armijo, đồng thời chỉ ra và sửa chữa sai sót lý thuyết của S. Kangtunyakarn về tính tương đương giữa bài toán $CSEP$ và bài toán $CEP$.

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

So với thuật toán $HSEM$ của D. V. Hieu (2017) (đòi hỏi bước lặp $\lambda < \min{\frac{1}{2c_1}, \frac{1}{2c_2}}$), luận án kết hợp kỹ thuật dưới đạo hàm tăng cường với sơ đồ lặp Ishikawa hai bước, cho phép thuật toán tự thích nghi hoàn toàn mà không cần biết các hằng số Lipschitz $c_1, c_2$. So với phương pháp extragradient của Quoc et al. (2012), luận án thay thế phép chiếu trên tập ràng buộc phức tạp $C$ bằng phép chiếu trên siêu phẳng $C_{k+1}$, giảm thiểu đột phá độ phức tạp tính toán ở mỗi bước lặp.

3. Phát hiện bất ngờ nhất được hỗ trợ bởi dữ liệu toán học là gì?

Phát hiện bất ngờ nhất là tính đơn điệu của các song hàm thành phần $f_i$ không đủ để bảo đảm tập nghiệm của bài toán cân bằng tổ hợp $\text{Sol}(C, \sum_{i=1}^N \alpha_i f_i)$ trùng với giao các tập nghiệm $\bigcap_{i=1}^N \text{Sol}(C, f_i)$. Luận án đã xây dựng phản ví dụ cụ thể chỉ ra tập nghiệm tổ hợp có thể chứa các phần tử không thuộc tập nghiệm thành phần, qua đó bác bỏ khẳng định trong chuỗi bài báo quốc tế của nhóm tác giả Kangtunyakarn.

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

Quy trình tái lập được mô tả toán học và thực nghiệm chi tiết: toàn bộ tham số thuật toán ($\eta, \mu \in (0, 1)$, dãy $\gamma_k \in [\underline{\gamma}, \bar{\gamma}] \subset (0, 2)$, ma trận chi phí $A, B$, véc-tơ tham số chi phí $\alpha_{jk}, \beta_{jk}, \gamma_{jk}$, miền ràng buộc công suất $[x_j^{\min}, x_j^{\max}]$) và mã nguồn thuật toán trên phần mềm MATLAB R2014a với tiêu chuẩn dừng $\frac{|x^{k+1}-x^k|}{\max{1, |x^k|}} \le 10^{-3}$ được cung cấp rõ ràng, bảo đảm khả năng tái lập kết quả 100%.

5. Chương trình nghiên cứu 10 năm tới được phác thảo như thế nào?

Chương trình nghiên cứu dài hạn tập trung vào ba trụ cột: (1) Mở rộng thuật toán cho các không gian Banach tổng quát và bài toán bất đẳng thức biến phân tựa cân bằng (quasi-equilibrium); (2) Tích hợp thuật toán chiếu ngẫu nhiên vào các mô hình học sâu (Deep Learning) và mạng nơ-ron đối nghịch (GANs); (3) Phát triển phần mềm thương mại hóa tối ưu hóa vận hành hệ thống thị trường điện thông minh (Smart Grid).

Kết luận

  1. Đề xuất thành công 02 thuật toán hội tụ mạnh mới giải bài toán cân bằng không đơn điệu trong không gian Hilbert thực dựa trên sự kết hợp giữa kỹ thuật chiếu nhúng và quy tắc tìm kiếm tia Armijo.
  2. Giải quyết triệt để lỗ hổng lý thuyết về mối quan hệ giữa $CSEP$ và $CEP$, đưa ra phản ví dụ bác bỏ các kết quả chưa chính xác trong y văn quốc tế và thiết lập hệ điều kiện đủ đúng đắn cho cả trường hợp họ hữu hạn và vô hạn các song hàm.
  3. Xây dựng thuật toán kết hợp dưới đạo hàm tăng cường và phép lặp Ishikawa tìm nghiệm chung của bài toán cân bằng giả đơn điệu Lipschitz-type và bài toán điểm bất động tựa không giãn mà không cần biết hằng số Lipschitz.
  4. Mở ra 03 hướng nghiên cứu mới về giải tích phi tuyến: thuật toán phân tán không đơn điệu, phương pháp điểm gần kề thích nghi và tối ưu hóa hệ thống động lực ngẫu nhiên.
  5. Chứng minh tính khả thi và hiệu năng thực tế vượt trội qua việc giải bài toán cân bằng kinh tế thị trường điện bán độc quyền Nash-Cournot 6 chiều trên phần mềm MATLAB, bảo đảm tốc độ hội tụ nhanh và độ chính xác cao.