Tổng quan về luận án

Nghiên cứu về lý thuyết tối ưu hóa phi tuyến và giải tích biến phân hiện đại chứng kiến sự phát triển mạnh mẽ của các bài toán cân bằng ($EP$) và bất đẳng thức biến phân ($VI$), khởi nguồn từ công trình tiên phong của G. Stampacchia (1966) và L. Blum - W. Oettli (1994). Tuy nhiên, rào cản lý thuyết lớn nhất xuất hiện khi các mô hình thực tiễn phức tạp—từ quy hoạch giao thông mạng lưới (Wardrop equilibrium), định tuyến tối ưu mạng truyền thông, đến cân bằng cạnh tranh thị trường Nash-Cournot—đòi hỏi cấu trúc tối ưu hóa phân tầng dạng bài toán hai cấp (bilevel problems). Luận án tiến sĩ Toán học chuyên ngành Toán ứng dụng (Mã số: 9 46 01 12) của tác giả Trần Thị Hoàng Anh với tiêu đề "Phương pháp giải một vài lớp bài toán cân bằng và bất đẳng thức biến phân hai cấp", dưới sự hướng dẫn khoa học của PGS. Phạm Ngọc Anh và GS. Phạm Thế Long tại Học viện Kỹ thuật Quân sự (2019), đã giải quyết trực diện những thách thức toán học cốt lõi này.

                    ┌──────────────────────────────────────────────────┐
                    │    Bài toán Cân bằng Tổng quát EP(f, C)          │
                    │         f(x*, y) ≥ 0, ∀y ∈ C                     │
                    └────────────────────────┬─────────────────────────┘
                                             │
                       ┌─────────────────────┴─────────────────────┐
                       ▼                                           ▼
        ┌─────────────────────────────┐             ┌─────────────────────────────┐
        │  Bất đẳng thức biến phân    │             │      Bài toán Tối ưu        │
        │           VI(F, C)          │             │          OP(F, C)           │
        │  ⟨F(x*), x - x*⟩ ≥ 0        │             │      F(x*) ≤ F(y)           │
        └──────────────┬──────────────┘             └──────────────┬──────────────┘
                       │                                           │
                       └─────────────────────┬─────────────────────┘
                                             ▼
                    ┌──────────────────────────────────────────────────┐
                    │       Mở rộng cấu trúc phân tầng Hai cấp         │
                    │   BVI(F, G, C) | BEP(g, f, C) | VIEP(F, f, C)    │
                    └──────────────────────────────────────────────────┘

Khoảng trống học thuật (research gap) mà luận án định vị bắt nguồn từ sự thiếu hụt các thuật toán hiệu quả, có khả năng hội tụ mạnh để giải các lớp bài toán mà tập ràng buộc là tập nghiệm ẩn của một bài toán cân bằng hoặc bất đẳng thức biến phân khác ($Sol(f, C)$ hoặc $S(G, C)$). Các phương pháp cổ điển như hiệu chỉnh Tikhonov (A. Tikhonov, 1977; A. Moudafi, 2010) hay đạo hàm tăng cường lồng nhau (P. N. Anh & L. D. Muu, 2014) thường đòi hỏi giải chính xác nghiệm của các bài toán phụ đơn điệu tại mỗi bước lặp hoặc áp đặt hai vòng lặp lồng nhau (inner-outer loops). Điều này tạo ra khối lượng tính toán khổng lồ và không khả thi khi triển khai trên máy tính số đối với các bài toán phi tuyến quy mô lớn.

Để giải quyết triệt để vấn đề này, luận án thiết lập 4 câu hỏi nghiên cứu ($RQ$) và 4 giả thuyết khoa học ($H$) tương ứng:

  • $RQ_1$: Làm thế nào để giải bài toán bất đẳng thức biến phân hai cấp $BVI(F, G, C)$ bằng thuật toán chiếu đơn bước mà không cần cấu trúc vòng lặp lồng nhau?
    • $H_1$: Kết hợp kỹ thuật chiếu với nguyên lý co Banach cho phép thiết lập thuật toán một vòng lặp đạt sự hội tụ mạnh trong không gian Hilbert thực.
  • $RQ_2$: Cấu trúc toán tử nào bảo toàn tính tựa co và tựa không giãn của ánh xạ nghiệm $S(x)$ khi song hàm cân bằng $f$ chỉ thỏa mãn tính giả đơn điệu hoặc đơn điệu mạnh cục bộ cùng điều kiện kiểu Lipschitz?
    • $H_2$: Ánh xạ nghiệm chính quy hóa có trọng số dạng Tikhonov/Fukushima suy rộng sẽ cảm sinh tính tựa co với hằng số co tường minh $\delta < 1$.
  • $RQ_3$: Làm thế nào để xây dựng thuật toán chiếu dưới đạo hàm giải bài toán bất đẳng thức biến phân trên tập nghiệm bài toán cân bằng $VIEP(F, f, C)$ khi song hàm $f$ chỉ giả đơn điệu?
    • $H_3$: Sử dụng xấp xỉ dưới đạo hàm chéo kết hợp bước nhảy tự điều chỉnh Armijo giúp vượt qua điều kiện đơn điệu ngặt mà vẫn bảo đảm tính hội tụ mạnh.
  • $RQ_4$: Có thể loại bỏ hoàn toàn phép chiếu thứ hai trong phương pháp đạo hàm tăng cường truyền thống khi giải bài toán cân bằng $EP(f, C)$ dưới giả thiết para-đơn điệu hay không?
    • $H_4$: Kỹ thuật xấp xỉ siêu phẳng phân tách và lai ghép (hybrid projection) cho phép thuật toán chỉ dùng một phép chiếu duy nhất trên tập ràng buộc $C$.

Khung lý thuyết của công trình tích hợp Giải tích lồi (Convex Analysis), Lý thuyết toán tử đơn điệu (Monotone Operator Theory) và Lý thuyết điểm bất động (Fixed Point Theory). Phạm vi nghiên cứu bao quát không gian Hilbert thực tổng quát $H$ và không gian Euclid hữu hạn chiều $\mathbb{R}^n$, với các thực nghiệm tính toán được mô phỏng trên môi trường phần mềm khoa học chuyên dụng, tạo lập nền tảng cho 05 công trình công bố trên các tạp chí chuyên ngành quốc tế uy tín.

Literature Review và Positioning

Khảo sát tổng quan y văn quốc tế cho thấy sự tiến hóa rõ rệt qua ba trường phái học thuật chính:

    [Stampacchia 1966] ──► [Kopelevich 1976] ──► [Yamada 2001] ──► [Semenov 2014]
    Bất đẳng thức biến phân     Đạo hàm tăng cường       Tập điểm bất động      Họ cân bằng đơn điệu
            │
            ▼
    [Blum & Oettli 1994] ─► [Combettes 2005] ──► [Moudafi 2010] ──► [Luận án 2019]
      Bài toán cân bằng        Toán tử giải         Điểm gần kề hai cấp    Chiếu dưới đạo hàm
  1. Trường phái Bất đẳng thức biến phân và Đạo hàm tăng cường: Khởi xướng bởi G. Stampacchia (1966), phát triển phương pháp giải điểm yên ngựa bởi G. Kopelevich (1976), và mở rộng giải bài toán biến phân trên tập điểm bất động toán tử không giãn bởi I. Yamada (2001). Hạn chế cố hữu của phương pháp Kopelevich là yêu cầu 2 phép chiếu metric lên tập lồi $C$ tại mỗi bước lặp ($y^k = P_C(x^k - \lambda_k F(x^k))$ và $x^{k+1} = P_C(x^k - \lambda_k F(y^k))$), gây tốn kém chi phí tính toán khi cấu trúc tập $C$ phức tạp.
  2. Trường phái Bài toán cân bằng tổng quát: Được hệ thống hóa bởi L. Blum - W. Oettli (1994), P. L. Combettes và S. A. Hirstoaga (2005). Các tác giả xây dựng toán tử giải (resolvent operator) $S_r(x) = \arg\min { f(y, z) + \frac{1}{r} \langle z - y, y - x \rangle : z \in C }$. Tuy nhiên, việc mở rộng sang bài toán cân bằng hai cấp $BEP(g, f, C)$ gặp trở ngại lớn do tập ràng buộc cấp dưới $Sol(f, C)$ không có biểu diễn hiển.
  3. Trường phái Tối ưu hóa và Cân bằng Hai cấp: Nghiên cứu của A. Moudafi (2010), V. V. Semenov (2014, 2015), cùng các nhà toán học Việt Nam như P. N. Anh, L. D. Muu, N. V. Hien, L. Q. Anh, T. D. Quoc.

Trong y văn tồn tại hai luồng quan điểm tranh biện học thuật đối lập:

  • Quan điểm A (Hiệu chỉnh và hàm phạt - Tikhonov/Moudafi): Cho rằng cần chuyển bài toán hai cấp về dãy các bài toán đơn cấp bằng cách bổ sung số hạng hiệu chỉnh $\varepsilon_k g(x, y)$. Nhược điểm chí mạng là đòi hỏi giải chính xác nghiệm ở từng bài toán phụ—điều bất khả thi trong tính toán số thực tế.
  • Quan điểm B (Vòng lặp lồng nhau - P. N. Anh & L. D. Muu 2014): Sử dụng vòng lặp trong để tìm $\varepsilon_k$-nghiệm xấp xỉ của bài toán cấp dưới trước khi cập nhật bước lặp ngoài. Cách tiếp cận này bảo đảm hội tụ nhưng làm chậm tốc độ tính toán nghiêm trọng do số phép tính nhân lên theo cấp số nhân.

So sánh định vị học thuật với hai công trình quốc tế điển hình:

  • So với A. Moudafi (2010) (Journal of Optimization Theory and Applications), vốn chỉ chứng minh được sự hội tụ yếu của dãy lặp dưới giả thiết đơn điệu và đòi hỏi giải bài toán cân bằng cấp dưới với độ chính xác cao, luận án thiết lập thành công điều kiện hội tụ mạnh mà chỉ sử dụng xấp xỉ bước rời rạc.
  • So với V. V. Semenov (2014) (Cybernetics and Systems Analysis), vốn khảo sát bất đẳng thức biến phân trên tập nghiệm chung của họ hữu hạn bài toán cân bằng đơn điệu, luận án mở rộng biên giới lý thuyết sang lớp toán tử giả đơn điệu, para-đơn điệu và suy rộng hóa cho cả bài toán cân bằng trên tập nghiệm bất đẳng thức biến phân $EVIP(g, F, C)$.

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

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

Luận án đã tạo ra bước tiến quan trọng trong việc mở rộng và tinh chỉnh các định lý nền tảng của giải tích hàm phi tuyến:

  • Mở rộng Nguyên lý Ánh xạ Co Banach: Ứng dụng toán tử $T_\lambda = I - \lambda\mu F$ với $F$ là toán tử $\beta$-đơn điệu mạnh và $L$-liên tục Lipschitz. Chứng minh tính chất co ngặt: $$|T(x) - T(y)| \le (1 - \lambda\tau)|x - y|, \quad \text{với } \tau = 1 - \sqrt{1 - \mu(2\beta - \mu L^2)} \in (0, 1]$$
  • Phát triển Định lý Moreau-Rockafellar: Khai thác mối liên hệ giữa nón pháp tuyến ngoài $N_C(x)$ và dưới vi phân chéo $\partial_2 f(x, x)$ để chuyển hóa bài toán cân bằng phi tuyến thành phương trình bao hàm vi phân giải được qua phép chiếu.
  • Xác lập Định lý Hội tụ Mạnh Toàn cục: Xây dựng mệnh đề toán học chứng minh dãy nghiệm ${x^k}$ thỏa mãn điều kiện tựa Fejér cải tiến, khắc phục hoàn toàn nhược điểm chỉ đạt hội tụ yếu của các thuật toán tiền nhiệm.
                    ┌──────────────────────────────────────────────────────────┐
                    │               Ánh xạ nghiệm S(x)                         │
                    │   S(x) = argmin { λf(x, y) + (1/2)||y - x||² : y ∈ C }   │
                    └─────────────────────────────┬────────────────────────────┘
                                                  │
                      ┌───────────────────────────┴───────────────────────────┐
                      ▼                                                       ▼
        ┌───────────────────────────┐                           ┌───────────────────────────┐
        │   Giả thiết f: γ-giả      │                           │   Giả thiết f: Giả        │
        │      đơn điệu mạnh        │                           │       đơn điệu            │
        │     γ > c₂, λ ∈ (0, 1/2c₁)│                           │     λ ∈ (1/2c₁, 1/2c₂)    │
        └─────────────┬─────────────┘                           └─────────────┬─────────────┘
                      │                                                       │
                      ▼                                                       ▼
        ┌───────────────────────────┐                           ┌───────────────────────────┐
        │   Tính chất TỰA CO        │                           │  Tính chất TỰA KHÔNG GIÃN │
        │  ||S(x) - x*|| ≤ δ||x - x*||│                          │   ||S(x) - x*|| ≤ ||x - x*||│
        │  δ = [1+2λ(γ-c₂)]^(-1/2)<1│                           │   ∀x ∈ C, x* ∈ Sol(f, C)  │
        └───────────────────────────┘                           └───────────────────────────┘

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

Khung phân tích của luận án dựa trên sự tích hợp chặt chẽ của 3 lý thuyết trụ cột:

  1. Lý thuyết Toán tử Đơn điệu (Monotone Operator Theory): Phân loại chính xác các cấp độ đơn điệu của ánh xạ giá $F$ và song hàm $f$ ($\gamma$-đơn điệu mạnh $\Rightarrow$ đơn điệu $\Rightarrow$ giả đơn điệu $\Rightarrow$ tựa đơn điệu $\Rightarrow$ para-đơn điệu).
  2. Lý thuyết Điểm Bất động (Fixed Point Theory): Đồng nhất tập nghiệm $Sol(f, C)$ và $S(F, C)$ với tập điểm bất động $Fix(S)$ của các ánh xạ nghiệm tương ứng ($x^* \in Sol(f, C) \iff x^* = S(x^*)$).
  3. Hình học Không gian Hilbert & Phép chiếu Metric: Ứng dụng các đẳng thức và bất đẳng thức phân tích chuẩn: $$|tx + (1-t)y|^2 = t|x|^2 + (1-t)|y|^2 - t(1-t)|x - y|^2, \quad \forall t \in [0, 1]$$ cùng tính chất đơn điệu mạnh ngược của phép chiếu $P_C$: $$|P_C(x) - P_C(y)|^2 \le \langle P_C(x) - P_C(y), x - y \rangle$$

Biên điều kiện (Boundary Conditions): Các định lý hội tụ trong luận án được xác lập chặt chẽ trên không gian Hilbert thực $H$, tập ràng buộc $C$ lồi đóng khác rỗng, các tham số bước nhảy thỏa mãn điều kiện phân kỳ tổng nhưng hội tụ bình phương: $$\sum_{k=0}^{\infty} \alpha_k = \infty, \quad \sum_{k=0}^{\infty} \alpha_k^2 < \infty, \quad \lim_{k\to\infty} \frac{\alpha_k}{\beta_k} = 0$$

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

Thiết kế nghiên cứu

  • Lập trường Triết học & Nhận thức luận (Epistemological Stance): Nghiên cứu theo chủ nghĩa Duy thực Toán học (Mathematical Realism) và Thực chứng Luận suy diễn (Deductive Positivism). Mọi kết quả lý thuyết đều được thiết lập bằng các chứng minh giải tích chặt chẽ (rigorous mathematical proofs), bảo đảm tính đúng đắn tuyệt đối mà không phụ thuộc vào dữ liệu thống kê ngoại cảnh.
  • Thiết kế Thuật toán: Sử dụng phương pháp xây dựng sơ đồ lặp giải tích (iterative schemes design) kết hợp kỹ thuật chiếu dưới đạo hàm (subgradient projection), tìm kiếm đường thẳng kiểu Armijo rời rạc (Armijo-type line search) và xấp xỉ gắn kết (viscosity approximation).
  Thuật toán 2.1 (Chiếu BVI):
  x^k ──► y^k = P_C(x^k - λG(x^k)) ──► x^{k+1} = α_k u + (1 - α_k) T_λ(y^k) ──► Hội tụ mạnh x* ∈ Ω
  (Chỉ 1 phép chiếu metric P_C + 1 phép tính toán tử F, G mỗi bước lặp)

  Thuật toán 3.1 & 4.1 (Chiếu Dưới Đạo Hàm VIEP & EVIP):
  x^k ──► Tìm dưới đạo hàm chéo g^k ∈ ∂_2 f(x^k, x^k) ──► Cắt siêu phẳng lồi ──► Cập nhật x^{k+1}
  (Loại bỏ hoàn toàn yêu cầu giải chính xác bài toán cân bằng phụ)

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu tuân thủ 5 giai đoạn chuẩn mực trong Toán ứng dụng:

  1. Thiết lập mô hình hình thức: Định nghĩa bài toán hai cấp dưới dạng hệ phương trình bao hàm toán tử biến phân.
  2. Khảo sát tính chất định tính: Chứng minh sự tồn tại, tính duy nhất của nghiệm và tính chất nửa liên tục dưới/trên của ánh xạ nghiệm.
  3. Thiết kế thuật toán lặp: Xây dựng công thức cập nhật biến số tại bước $k+1$ từ trạng thái bước $k$.
  4. Chứng minh định lý hội tụ (Convergence Theorem Proofs): Thiết lập tính bị chặn của dãy lặp ${x^k}$, chứng minh dãy thỏa mãn bất đẳng thức kiểu Fejér, áp dụng bổ đề Kadec-Klee và tính nửa đóng của toán tử để suy ra hội tụ mạnh tới nghiệm tối ưu duy nhất.
  5. Kiểm chứng số (Numerical Verification): Lập trình giải các bài toán kiểm thử (Test Problems) với số chiều biến thiên từ quy mô nhỏ đến quy mô lớn.

Data và phân tích

Toàn bộ thuật toán đề xuất trong luận án được kiểm chứng tính toán thực nghiệm trên hệ thống máy tính với cấu hình phần cứng và phần mềm đồng nhất:

  • Phần mềm: MATLAB R2013a.
  • Hệ thống phần cứng: Laptop Intel(R) Core(TM) i3-3110M CPU @ 2.40GHz, 4GB RAM.
  • Hệ chỉ số đánh giá hiệu năng:
    • Số bước lặp thuật toán ($Iter.(k)$).
    • Thời gian thực thi CPU ($CPU - times/s$).
    • Sai số dừng thuật toán ($|x^{k+1} - x^k| \le \text{Tol}$, với $\text{Tol} = 10^{-4}$ hoặc $10^{-6}$).

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

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

Luận án ghi nhận 5 phát hiện khoa học đột phá, được chứng minh giải tích và kiểm chứng thực nghiệm rõ ràng:

  1. Phát hiện 1 (Tính tựa co của ánh xạ nghiệm): Trích dẫn trực tiếp từ văn bản luận án (Trang 26-27):

    "Xét ánh xạ nghiệm $S(x) = \arg\min { \lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C }$. Nếu $\lambda \in (0, \frac{1}{2c_1})$ và $\gamma > c_2$, thì $S$ là tựa co trên $C$ với hằng số $\delta = \frac{1}{\sqrt{1 + 2\lambda(\gamma - c_2)}} < 1$."

    Kết quả này khẳng định rằng không cần điều kiện đơn điệu mạnh của toàn bộ không gian, chỉ cần tính $\gamma$-giả đơn điệu mạnh và điều kiện Lipschitz với các hệ số $c_1, c_2$, ánh xạ nghiệm đã cảm sinh một toán tử co ngặt trên tập nghiệm $Sol(f, C)$.

  2. Phát hiện 2 (Tính tựa không giãn của toán tử nghiệm 2 bước): Khi song hàm $f$ chỉ thỏa mãn tính giả đơn điệu thông thường, bằng cách xây dựng điểm phụ trợ: $$z_x = \arg\min \left{ \lambda f(x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$ và toán tử: $$S(x) = \arg\min \left{ \lambda f(z_x, y) + \frac{1}{2}|y - x|^2 : y \in C \right}$$ với bước nhảy $\lambda \in (\frac{1}{2c_1}, \frac{1}{2c_2})$, luận án chứng minh thành công bất đẳng thức: $$|S(x) - x^|^2 \le |x - x^|^2 - (1 - 2\lambda c_1)|x - z_x|^2 - (1 - 2\lambda c_2)|z_x - S(x)|^2 \le |x - x^*|^2$$ xác lập tính tựa không giãn (quasi-nonexpansiveness) của $S(x)$ mà không đòi hỏi thêm bất kỳ giả thiết lồi ngặt nào.

  3. Phát hiện 3 (Thuật toán chiếu giải BVI(F, G, C) loại bỏ vòng lặp phụ): Thuật toán 2.1 đề xuất quy trình cập nhật: $$y^k = P_C(x^k - \lambda G(x^k)), \quad x^{k+1} = \alpha_k u + (1 - \alpha_k) T_\lambda(y^k)$$ với $T_\lambda = I - \lambda\mu F$. Luận án chứng minh ${x^k}$ hội tụ mạnh về $x^* = P_{\Omega}(u)$ chỉ với đúng 1 phép chiếu metric lên tập $C$ và 1 lần tính giá trị toán tử $F, G$ tại mỗi bước lặp, giảm thiểu hơn $60%$ thời gian CPU so với thuật toán của P. N. Anh & L. D. Muu (2014).

  4. Phát hiện 4 (Thuật toán chiếu dưới đạo hàm giải VIEP và EVIP): Đối với bài toán $VIEP(F, f, C)$ và $EVIP(g, F, C)$, luận án phát triển cơ chế xấp xỉ gắn kết với dưới vi phân chéo $\partial_2 f(x^k, x^k)$. Bằng việc chỉ tính toán vector dưới đạo hàm tại điểm lặp hiện tại, thuật toán không cần giải bài toán quy hoạch lồi phụ tại từng bước, cho phép xử lý các bài toán có số chiều lớn $n \ge 100$ trong thời gian tính toán dưới 1.5 giây.

  5. Phát hiện 5 (Thuật toán xấp xỉ một phép chiếu cho EP para-đơn điệu): Phá vỡ giới hạn của phương pháp đạo hàm tăng cường Kopelevich (yêu cầu 2 phép chiếu), luận án đề xuất thuật toán lai ghép một phép chiếu cho bài toán cân bằng thỏa mãn điều kiện para-đơn điệu, chứng minh sự hội tụ mạnh dựa trên phép chiếu lên giao của hai nửa không gian đóng.

Implications đa chiều

  • Về Lý thuyết Toán học: Mở rộng biên giới giải tích biến phân phi tuyến; hoàn thiện lý thuyết định tính và định lượng cho các phương trình bao hàm toán tử đa trị và bất đẳng thức biến phân hai cấp.
  • Về Phương pháp Tính toán: Cung cấp khung thuật toán tối ưu (algorithmic framework) có độ phức tạp tính toán thấp, dễ dàng lập trình song song hóa trên các hệ thống tính toán hiệu năng cao.
  • Về Ứng dụng Thực tiễn:
    • Giao thông vận tải: Tối ưu hóa phân luồng giao thông đô thị động dưới điều kiện người tham gia giao thông tự tối ưu hóa hành trình (bilevel traffic equilibrium).
    • Kinh tế học & Quản trị: Xác định điểm cân bằng giá và sản lượng trong mô hình cạnh tranh thị trường năng lượng đa quốc gia (Nash-Cournot oligopoly markets).
    • Viễn thông & Xử lý tín hiệu: Tối ưu hóa phân bổ công suất phát trong mạng không dây 5G/6G và giải các bài toán ngược (inverse problems) trong khôi phục và xử lý ảnh số.

Limitations và Future Research

Nhìn nhận một cách khách quan khoa học, luận án tồn tại một số giới hạn nghiên cứu (limitations) và điều kiện biên:

  1. Sự phụ thuộc vào hằng số Lipschitz: Các thuật toán chiếu cơ bản vẫn đòi hỏi thông tin về hằng số Lipschitz $L$ hoặc các hệ số $c_1, c_2$ của song hàm để xác định kích thước bước nhảy $\lambda$. Mặc dù kỹ thuật Armijo có thể thay thế, nó làm tăng số lần đánh giá hàm tại mỗi bước lặp.
  2. Giới hạn không gian lồi: Giả thiết tập ràng buộc $C$ là tập lồi đóng và song hàm $f(x, \cdot)$ là hàm lồi theo biến thứ hai là bắt buộc. Thuật toán chưa thể áp dụng trực tiếp cho các bài toán tối ưu không lồi (non-convex optimization) hoặc trên các đa tạp Riemann (Riemannian manifolds).
  3. Môi trường thực nghiệm: Các thực nghiệm tính toán dừng lại ở các bài toán mô phỏng (synthetic test problems) trên máy tính cá nhân cấu hình Intel Core i3, chưa triển khai thử nghiệm trên dữ liệu lớn thời gian thực (real-time big data) từ các mạng lưới giao thông thực tế.

Chương trình nghiên cứu tương lai (Future Research Agenda):

  • Phát triển các thuật toán chiếu bước nhảy tự do (stepsize-free algorithms) không phụ thuộc vào hằng số Lipschitz cho bài toán hai cấp.
  • Mở rộng lý thuyết giải tích biến phân hai cấp sang không gian Banach phản xạ và cấu trúc đa tạp Hadamard phi Euclid.
  • Tích hợp các kỹ thuật học máy (Machine Learning) và tối ưu hóa ngẫu nhiên (Stochastic Bilevel Optimization) để giải quyết các bài toán cân bằng chứa tham số nhiễu dữ liệu.
  • Thiết kế thuật toán phân tán phi tập trung (Distributed Decentralized Algorithms) cho bài toán tối ưu hai cấp trong mạng cảm biến diện rộng.

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

  ┌────────────────────────────────────────────────────────────────────────────┐
  │                           HỆ GIÁ TRỊ TÁC ĐỘNG                              │
  └─────────────────────────────────────┬──────────────────────────────────────┘
                                        │
        ┌───────────────────────────────┼───────────────────────────────┐
        ▼                               ▼                               ▼
  [HỌC THUẬT QUỐC TẾ]         [CÔNG NGHỆ & TÍNH TOÁN]         [KINH TẾ - XÃ HỘI]
  • 05 bài báo ISI/Scopus     • Tiết kiệm >60% CPU time       • Tối ưu hóa lưới điện thông minh
  • Trích dẫn trong các       • Xử lý bài toán quy mô lớn     • Giảm ùn tắc giao thông đô thị
    công trình tối ưu hóa       n ≥ 500 biến hiệu quả         • Định tuyến mạng viễn thông 5G/6G
  • Tác động Học thuật: Công trình đóng góp 05 bài báo khoa học chất lượng cao xuất bản trên các tạp chí chuyên ngành quốc tế uy tín, được báo cáo tại 08 hội nghị khoa học toán học lớn (như Hội thảo Việt Nam - Hàn Quốc 2017, Đại hội Toán học Việt Nam lần thứ IX năm 2018, Hội nghị quốc tế Tính toán khoa học hiệu năng cao 2018 tại VIASM). Kết quả nghiên cứu tạo lập tiền đề cho các hướng nghiên cứu tiếp nối về giải tích biến phân tại Việt Nam.
  • Tác động Công nghệ & Tính toán: Cung cấp các gói thuật toán giải quyết trực tiếp bài toán cực tiểu chuẩn nhỏ nhất của tập nghiệm bất đẳng thức biến phân $x^* = P_{S(G, C)}(0)$, giúp nâng cao hiệu suất xử lý trong các bài toán điều khiển tối ưu và bài toán biên cho phương trình đạo hàm riêng.
  • Lợi ích Xã hội Định lượng: Ứng dụng thuật toán trong điều tiết mạng lưới giao thông giúp giảm thiểu thời gian chờ trung bình tại các nút giao cắt, giảm phát thải khí nhà kính thông qua định tuyến luồng phương tiện tối ưu, đồng thời tối ưu hóa chi phí truyền tải điện năng trong mô hình thị trường điện thông minh (Smart Grid).

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

  • Nghiên cứu sinh & Nhà nghiên cứu sau tiến sĩ (Postdoc): Tiếp cận khung phương pháp luận chứng minh hội tụ mạnh hoàn chỉnh trong không gian vô hạn chiều; khai thác các hướng nghiên cứu mở về bài toán cân bằng ngẫu nhiên và thuật toán bước nhảy thích nghi.
  • Giảng viên & Nhà toán học lý thuyết: Sử dụng tài liệu như một chuyên khảo chuyên sâu về mối liên hệ giữa giải tích lồi, phép chiếu metric và lý thuyết điểm bất động cho các khóa đào tạo cao học và tiến sĩ ngành Toán ứng dụng.
  • Kỹ sư R&D Hệ thống & Khoa học Dữ liệu: Ứng dụng trực tiếp thuật toán chiếu dưới đạo hàm để xây dựng các bộ giải tối ưu hóa (solvers) trong các bài toán học tăng cường đa tác tử (Multi-agent Reinforcement Learning), tối ưu hóa cấu trúc mạng neural sâu, và phân tích cân bằng kinh tế lượng.
  • Nhà hoạch định Chính sách Đô thị & Viễn thông: Ứng dụng các mô hình cân bằng hai cấp để thiết kế cơ chế định giá đường bộ, tối ưu hóa biểu giá điện giờ cao điểm, và phân bổ băng thông mạng viễn thông quốc gia.

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 và chứng minh giải tích tính tựa co (quasi-contraction) và tựa không giãn (quasi-nonexpansiveness) của ánh xạ nghiệm $S(x)$ dưới các điều kiện chính quy nới lỏng (giả đơn điệu mạnh và giả đơn điệu kết hợp điều kiện kiểu Lipschitz). Kết quả này đã mở rộng trực tiếp Nguyên lý Điểm bất động Banach và Lý thuyết Toán tử Giải của Combettes - Hirstoaga (2005), loại bỏ sự phụ thuộc bắt buộc vào tính đơn điệu mạnh toàn cục trên toàn không gian.

2. Sự đổi mới về mặt phương pháp luận so với ít nhất 2 nghiên cứu tiền nhiệm quốc tế?

  • So với P. N. Anh & L. D. Muu (2014): Luận án loại bỏ hoàn toàn vòng lặp trong (inner iteration loop), biến thuật toán hai cấp thành một sơ đồ lặp đơn bước duy nhất, giảm hơn phân nửa chi phí tính toán CPU.
  • So với G. Kopelevich (1976) và A. Moudafi (2010): Luận án giảm số phép chiếu từ 2 phép chiếu xuống 1 phép chiếu duy nhất trên mỗi bước lặp đối với bài toán cân bằng para-đơn điệu, đồng thời thay thế yêu cầu giải chính xác bài toán phụ bằng phép tính xấp xỉ dưới đạo hàm chéo $\partial_2 f(x^k, x^k)$.

3. Phát hiện bất ngờ nhất trong quá trình nghiên cứu là gì?

Phát hiện bất ngờ nhất là cấu trúc dãy nghiệm sinh bởi Thuật toán 2.1 vẫn đạt được tính chất hội tụ mạnh (strong convergence) trong không gian Hilbert vô hạn chiều mà không cần áp đặt bất kỳ điều kiện compact nào lên tập ràng buộc $C$, chỉ nhờ vào việc kết hợp khéo léo giữa phép chiếu metric với toán tử co Banach $T_\lambda = I - \lambda\mu F$.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) hay không?

Có. Luận án cung cấp chi tiết toàn bộ cấu trúc thuật toán giải tích dạng giả mã (pseudocode), xác định rõ ràng miền giá trị khả thi của các dãy tham số ${\alpha_k}, {\beta_k}, {\lambda_k}, {\varepsilon_k}$, và mô tả chính xác môi trường thực nghiệm phần mềm MATLAB R2013a trên nền tảng phần cứng Laptop Intel Core i3-3110M @ 2.40GHz 4GB RAM, cho phép tái lập 100% kết quả tính toán số.

5. Lộ trình nghiên cứu 10 năm tiếp theo được định hình như thế nào?

Lộ trình 10 năm tập trung vào 3 trọng tâm:

  1. Tổng quát hóa thuật toán cho các bài toán tối ưu hai cấp không lồi, không trơn trên đa tạp vi phân.
  2. Tích hợp cấu trúc tính toán phân tán bất đồng bộ (Asynchronous Distributed Computing) để giải quyết các bài toán cân bằng quy mô hàng triệu biến số.
  3. Ứng dụng lý thuyết cân bằng hai cấp vào việc kiểm soát an toàn và cân bằng Nash trong hệ thống xe tự hành thông minh và lưới điện microgrid.

Kết luận

Luận án tiến sĩ của tác giả Trần Thị Hoàng Anh đã khẳng định vị thế học thuật xuất sắc thông qua 6 đóng góp cốt lõi:

  1. Đề xuất và chứng minh toán học chuẩn xác tính tựa co và tựa không giãn của ánh xạ nghiệm $S(x)$ cho bài toán cân bằng trong không gian Euclid $\mathbb{R}^n$.
  2. Xây dựng thuật toán chiếu hội tụ mạnh giải bài toán bất đẳng thức biến phân hai cấp $BVI(F, G, C)$ với giả thiết $F$ đơn điệu mạnh, $G$ đơn điệu mạnh ngược, loại bỏ cấu trúc vòng lặp lồng nhau.
  3. Thiết lập thuật toán chiếu dưới đạo hàm giải bài toán biến phân trên tập nghiệm cân bằng $VIEP(F, f, C)$ dưới điều kiện song hàm $f$ giả đơn điệu thỏa mãn tính chất Lipschitz.
  4. Phát triển thuật toán giải bài toán cân bằng trên tập nghiệm biến phân $EVIP(g, F, C)$ với ánh xạ $F$ para-đơn điệu và đóng yếu.
  5. Sáng tạo phương pháp xấp xỉ một phép chiếu giải bài toán cân bằng $EP(f, C)$ para-đơn điệu, tối ưu hóa vượt bậc hiệu năng tính toán so với phương pháp đạo hàm tăng cường cổ điển.
  6. Kiểm chứng thực nghiệm thành công tính khả thi và hiệu năng vượt trội của toàn bộ hệ thống thuật toán trên phần mềm MATLAB.

Công trình tạo ra bước chuyển đổi hệ hình (paradigm advancement) quan trọng trong lĩnh vực Tối ưu hóa phi tuyến và Giải tích biến phân, mở ra ba nhánh nghiên cứu đột phá mới về thuật toán tối ưu hai cấp phân tán, tối ưu hóa ngẫu nhiên và giải tích biến phân trên cấu trúc phi Euclid, để lại di sản học thuật chuẩn mực với 05 công trình quốc tế cùng hệ thống phương pháp luận có giá trị ứng dụng lâu dài trong khoa học tính toán hiện đại.