Bối cảnh và vấn đề nghiên cứu

Khóa luận tốt nghiệp "Toán tử đơn điệu cực đại và ứng dụng" của sinh viên Lê Nguyễn Ngọc Trâm, thực hiện tại Khoa Toán - Tin học, Trường Đại học Sư phạm Thành phố Hồ Chí Minh (chuyên ngành Toán ứng dụng, khóa tốt nghiệp tháng 04 năm 2023, dưới sự hướng dẫn của TS. Phạm Duy Khánh và ThS. Võ Thành Phát), tập trung nghiên cứu lý thuyết giải tích đơn điệu và phương pháp giải phương trình suy rộng.

Toán tử đơn điệu (monotone operators hay monotone multifunctions) lần đầu tiên được nhà toán học George Minty đề xuất vào năm 1962 nhằm phục vụ nghiên cứu trừu tượng về mạng điện, sau đó được Felix Browder phát triển để thiết lập và giải các phương trình đạo hàm riêng. Trong hơn sáu thập kỷ hình thành và hoàn thiện, lý thuyết toán tử đơn điệu cực đại (maximal monotone operators) đã thu hút sự quan tâm của nhiều nhà toán học tiêu biểu như Minty, Browder, Brézis, Hess, Borwein, Boris, Asplund, Rockafellar, Zarantonello. Lớp toán tử này đóng vai trò nền tảng trong giải tích lồi, lý thuyết dưới vi phân, tối ưu hóa hiện đại, lý thuyết bất đẳng thức biến phân, kinh tế toán học và phân tích sự hội tụ của các thuật toán số trị. Do đó, việc nghiên cứu các đặc trưng giải tích của toán tử đơn điệu cực đại cùng khả năng ứng dụng thực tế để giải quyết các bài toán tối ưu và bài toán tìm nghiệm là vấn đề có ý nghĩa khoa học sâu sắc.

Mục tiêu nghiên cứu tổng quát của khóa luận là khảo sát hệ thống cấu trúc toán học của toán tử đơn điệu cực đại trong không gian hữu hạn chiều và khai thác các tính chất này để xây dựng thuật toán điểm gần kề (Proximal Point Algorithm - PPA). Để đạt được mục tiêu này, tác giả xác định ba nhiệm vụ nghiên cứu cụ thể được đánh số như sau:

  1. Hệ thống hóa các kiến thức cơ sở về hàm lồi, dưới vi phân, dưới vi phân xấp xỉ, biến đổi liên hợp Fenchel, bài toán bất đẳng thức biến phân và các định nghĩa phân loại tốc độ hội tụ (Q-linear, Q-superlinear, Q-quadratic).
  2. Nghiên cứu toàn diện các tính chất giải tích của toán tử đơn điệu cực đại, bao gồm hàm Fitzpatrick, Định lý Minty, toán tử resolvent và tính đơn điệu cực đại của dưới vi phân của hàm lồi.
  3. Ứng dụng các kết quả giải tích đã thiết lập để xây dựng và phân tích thuật toán điểm gần kề giải phương trình suy rộng liên quan đến toán tử đơn điệu cực đại, toán tử đơn điệu cực đại mạnh và bài toán bất đẳng thức biến phân.

Đối tượng nghiên cứu của đề tài là toán tử đơn điệu, toán tử đơn điệu cực đại, hàm Fitzpatrick, toán tử resolvent, bài toán bất đẳng thức biến phân $VI(K, F)$ và thuật toán lặp điểm gần kề. Phạm vi nghiên cứu về mặt không gian được giới hạn trong không gian Euclid $n$-chiều $\mathbb{R}^n$ trên trường số thực $\mathbb{R}$. Phạm vi thời gian và cứ liệu học thuật gắn liền với chương trình đào tạo Cử nhân Toán ứng dụng, được tác giả tổng hợp, chứng minh và hoàn thành vào tháng 04 năm 2023.

Cơ sở lý thuyết và phương pháp

Khóa luận được xây dựng dựa trên các khung lý thuyết, công cụ giải tích lồi và mô hình toán học chuẩn mực:

  • Khung giải tích lồi và dưới vi phân: Khái niệm hàm lồi chính thường, hàm nửa liên tục dưới, dưới gradient và tập dưới vi phân $\partial f(x)$, tập dưới vi phân xấp xỉ $\partial_\varepsilon f(x)$ với $\varepsilon > 0$.
  • Lý thuyết đối ngẫu Fenchel: Hàm liên hợp Fenchel $f^(v) = \sup_{x \in \mathbb{R}^n} {\langle v, x \rangle - f(x)}$, bất đẳng thức Fenchel - Young $\langle v, x \rangle \le f(x) + f^(v)$ và công thức đối ngẫu Fenchel.
  • Lý thuyết toán tử đơn điệu đa trị: Ánh xạ đa trị $T: \mathbb{R}^n \rightrightarrows \mathbb{R}^n$, đồ thị $\text{gph} T$, miền xác định $\text{dom} T$, miền giá trị $\text{ran} T$, tính đơn điệu, tính đơn điệu mạnh với modulus $\kappa > 0$, và tiêu chuẩn đơn điệu cực đại dựa trên quan hệ bao hàm đồ thị.
  • Hàm Fitzpatrick và Định lý Minty: Hàm Fitzpatrick $F_T(x, u)$ trên $\mathbb{R}^n \times \mathbb{R}^n$ dùng để đại diện giải tích cho đồ thị toán tử đơn điệu; Định lý Minty về điều kiện toàn ánh của toán tử $\text{Id} + T$.
  • Lý thuyết điểm bất động và toán tử Resolvent: Toán tử không giãn (nonexpansive), toán tử co-coercive (đặc biệt là tính chất 1-co-coercive), phép chiếu Euclid $\Pi_K$ lên tập lồi đóng, và toán tử resolvent $J_{cF} = (\text{Id} + cF)^{-1}$ với $c > 0$.
  • Mô hình bài toán bất đẳng thức biến phân (Variational Inequality): Bài toán $VI(K, F)$ tìm $x \in K$ thỏa $\langle y - x, F(x) \rangle \ge 0, \forall y \in K$, biểu diễn hình học qua nón pháp tuyến $N_K(x)$ dưới dạng phương trình suy rộng $0 \in F(x) + N_K(x)$.

Phương pháp nghiên cứu chủ đạo của khóa luận là phương pháp suy diễn tiên đề và phân tích logic hình thức của toán học lý thuyết kết hợp giải tích ứng dụng. Tác giả sử dụng các kỹ thuật chứng minh giải tích biến phân như phương pháp phản chứng, phương pháp ước lượng chuẩn Cauchy - Schwarz, giải tích dãy xấp xỉ (bổ đề Brøndsted - Rockafellar), và định lý điểm bất động Brouwer để chứng minh sự tồn tại nghiệm. Về nguồn dữ liệu, khóa luận hoàn toàn dựa trên các tài liệu chuyên khảo, giáo trình và bài báo khoa học chuẩn tắc quốc tế về tối ưu hóa và giải tích biến phân, không sử dụng dữ liệu thực nghiệm hay khảo sát số học xã hội.

Nội dung chính theo từng chương

Chương 1: Kiến thức chuẩn bị

Chương 1 hệ thống hóa các khái niệm, định lý và ví dụ làm nền tảng cho việc nghiên cứu toán tử đơn điệu cực đại và giải thuật điểm gần kề. Nội dung được cấu trúc thành bốn hợp phần:

Hàm lồi và dưới vi phân: Tác giả định nghĩa hàm lồi $f: \Omega \to \mathbb{R}$ và minh họa sự khác biệt qua hai hàm số một chiều: hàm bậc hai $f(x) = x^2$ là hàm lồi trên $\mathbb{R}$, trong khi hàm bậc ba $f(x) = x^3$ không lồi (minh họa với $x = 2, y = -3, \lambda = 1/2$). Tiếp đó, tác giả đưa ra định nghĩa dưới gradient và dưới vi phân $\partial f(x)$ cho hàm lồi chính thường, mở rộng sang tập dưới vi phân xấp xỉ $\partial_\varepsilon f(x) = {v \in \mathbb{R}^n \mid f(y) \ge f(x) + \langle y - x, v \rangle - \varepsilon, \forall y \in \mathbb{R}^n}$. Ghi chú 1.6 chứng minh tính chất cơ bản: giao của các tập dưới vi phân xấp xỉ với mọi $\varepsilon > 0$ chính là dưới vi phân chuẩn xác, tức $\partial f(x) = \bigcap_{\varepsilon > 0} \partial_\varepsilon f(x)$. Chương này cũng dẫn ra Bổ đề Brøndsted - Rockafellar (Lemma 1.8), khẳng định nếu $f$ là hàm lồi chính thường, nửa liên tục dưới và $v \in \partial_\varepsilon f(x)$ thì với mọi $\eta > 0$, tồn tại các vectơ $z, w \in \mathbb{R}^n$ thỏa mãn $|z - x| \le \eta$, $|w - v| \le \varepsilon/\eta$ và $w \in \partial f(z)$.

Hàm liên hợp Fenchel: Tác giả trình bày định nghĩa biến đổi Fenchel $f^*(v) = \sup {\langle v, x \rangle - f(x) \mid x \in \text{dom} f}$ và chứng minh rằng hàm liên hợp luôn là hàm lồi (vì là supremum của một họ các hàm affine lồi). Tác giả tính toán giải tích chi tiết hàm liên hợp cho nhiều lớp hàm đặc trưng:

  • Hàm affine $f(x) = \langle a, x \rangle + b$: liên hợp nhận giá trị $-b$ khi $v = a$, và $+\infty$ khi $v \ne a$.
  • Hàm chỉ $\delta_S(x)$ của tập $S$: liên hợp chính là hàm tựa $\sigma_S(v) = \sup_{x \in S} \langle x, v \rangle$.
  • Hàm mũ $f(x) = e^x$: liên hợp là $f^(v) = v(\ln v - 1)$ khi $v > 0$, $f^(0) = 0$, và $+\infty$ khi $v < 0$.
  • Hàm lũy thừa $f(x) = x^p / p$ trên $[0, +\infty)$ ($p > 1$): liên hợp là $f^*(v) = v^q / q$ với $v \ge 0$ và $1/p + 1/q = 1$.
  • Hàm chuẩn bất kỳ $f(x) = |x|$: liên hợp là hàm chỉ quả cầu đơn vị đối ngẫu $\delta_{B_}(v)$, tức bằng $0$ nếu $|v|_ \le 1$ và $+\infty$ nếu $|v|_* > 1$. Tác giả chứng minh chuẩn Euclid tự đối ngẫu, còn chuẩn Manhattan $|\cdot|1$ có chuẩn đối ngẫu là chuẩn cực đại $|\cdot|\infty$.
  • Hàm bậc hai $f(x) = \frac{1}{2}|x|^2$: liên hợp là $f^*(v) = \frac{1}{2}|v|^2$.

Định lý 1.11 thiết lập mối liên hệ: $v \in \partial_\varepsilon f(x) \iff f^(v) + f(x) \le \langle x, v \rangle + \varepsilon$. Định lý 1.12 chỉ ra rằng đối với hàm lồi chính thường, $v \in \partial f(x)$ khi và chỉ khi bất đẳng thức Fenchel - Young đạt dấu đẳng thức: $f(x) + f^(v) = \langle v, x \rangle$.

Bài toán bất đẳng thức biến phân: Định nghĩa bài toán $VI(K, F)$ tìm $x \in K$ sao cho $\langle y - x, F(x) \rangle \ge 0, \forall y \in K$. Tác giả chỉ ra tính chất hình học: tập nghiệm $\text{SOL}(K, F)$ là tập đóng khi $K$ đóng và $F$ liên tục. Hai trường hợp riêng quan trọng được phân tích:

  • Quy về hệ phương trình: Khi $K = \mathbb{R}^n$, bài toán tương đương với việc tìm không điểm $F(x^*) = 0$.
  • Quy về bài toán tối ưu: Nếu $x^$ là nghiệm bài toán tối ưu $\min_{x \in K} f(x)$ với $f$ khả vi liên tục và $K$ lồi đóng thì $x^ \in \text{SOL}(K, \nabla f)$; ngược lại, nếu $f$ lồi thì hai bài toán này hoàn toàn tương đương.

Về mô tả hình học, nghiệm của $VI(K, F)$ được biểu diễn qua nón pháp tuyến $N_K(x) = {d \in \mathbb{R}^n \mid \langle y - x, d \rangle \le 0, \forall y \in K}$ dưới dạng bao hàm thức $0 \in F(x) + N_K(x)$. Về tính giải được, Mệnh đề 1.8 khẳng định $\text{SOL}(K, F) \ne \emptyset$ khi và chỉ khi tồn tại tập đóng $E$ với phần trong $\text{int} E \ne \emptyset$ sao cho bài toán cục bộ $VI(K \cap E, F)$ có nghiệm thuộc $\text{int} E$. Khi $K$ compact lồi, Định lý 1.9 (dựa trên Định lý điểm bất động Brouwer) bảo đảm nghiệm luôn tồn tại. Nếu $F$ đơn điệu mạnh, Mệnh đề 1.10 chỉ ra bài toán có nghiệm duy nhất $x^$, đồng thời Mệnh đề 1.11 cung cấp đánh giá sai số dưới giả thiết tính calm toàn cục với hằng số $L$: $|x - x^| \le \kappa^{-1}(1 + L)|\text{res}(x)|$.

Các khái niệm về tốc độ hội tụ: Định nghĩa chuẩn xác ba cấp độ hội tụ của dãy vectơ ${x^k}$ về điểm giới hạn $x^*$:

  • Hội tụ Q-linear: $\limsup_{k \to \infty} \frac{|x^{k+1} - x^|}{|x^k - x^|} = \mu \in (0, 1)$ (ví dụ: dãy $x_k = 1 + (1/2)^k$).
  • Hội tụ Q-superlinear: giới hạn thương số trên bằng $0$ (ví dụ: dãy $x_k = 1 + (1/k)^k$).
  • Hội tụ Q-quadratic: $\limsup_{k \to \infty} \frac{|x^{k+1} - x^|}{|x^k - x^|^2} < \infty$ (ví dụ: dãy $x_k = 1 + (1/2)^{2^k}$).

Chương 2: Toán tử đơn điệu cực đại và các kết quả liên quan

Chương 2 là trọng tâm lý thuyết của khóa luận, nghiên cứu bản chất giải tích của toán tử đơn điệu cực đại thông qua các định lý cấu trúc:

Toán tử đơn điệu cực đại: Với toán tử đa trị $T: \mathbb{R}^n \rightrightarrows \mathbb{R}^n$, tính đơn điệu đòi hỏi $\langle v_1 - v_2, x_1 - x_2 \rangle \ge 0$ với mọi $v_1 \in T(x_1), v_2 \in T(x_2)$. Tính đơn điệu mạnh với modulus $\kappa > 0$ đòi hỏi $\langle v_1 - v_2, x_1 - x_2 \rangle \ge \kappa |x_1 - x_2|^2$. Định lý 2.6 chứng minh $T$ đơn điệu khi và chỉ khi ánh xạ ngược $T^{-1}$ đơn điệu. Mệnh đề 2.9 chỉ ra nếu $F$ đơn điệu thì $F + \varepsilon \text{Id}$ đơn điệu mạnh với modulus $\varepsilon > 0$. Toán tử $T$ được gọi là đơn điệu cực đại nếu nó đơn điệu và không thể mở rộng đồ thị sang bất kỳ toán tử đơn điệu nào khác ($\text{gph} T \subseteq \text{gph} S \implies \text{gph} T = \text{gph} S$). Định lý 2.11 đặc trưng hóa tính cực đại: $T$ đơn điệu cực đại khi và chỉ khi mọi cặp $(u, v)$ thỏa mãn $\langle x - u, y - v \rangle \ge 0, \forall (x, y) \in \text{gph} T$ đều phải thuộc $\text{gph} T$. Tác giả minh họa qua ví dụ: toán tử dấu đa trị $T(x)$ (nhận giá trị ${-1}$ khi $x < 0$, $[-1, 1]$ khi $x = 0$, ${1}$ khi $x > 0$) là đơn điệu cực đại; ngược lại, toán tử $G(x)$ thu hẹp tại gốc tọa độ thành tập hai điểm ${-1, 1}$ thì không đơn điệu cực đại vì bỏ sót điểm $(0, 0)$. Miền xác định của toán tử đơn điệu cực đại không nhất thiết phải là toàn bộ không gian, thể hiện qua ví dụ toán tử nhận giá trị $\mathbb{R}$ tại $x = 0$ và rỗng tại $x \ne 0$.

Hàm Fitzpatrick và Định lý Minty: Hàm Fitzpatrick của toán tử $T$ được xác định bởi: $$F_T(x, u) = \sup_{(y, v) \in \text{gph} T} {\langle y, u \rangle + \langle x, v \rangle - \langle y, v \rangle}$$ Đây là hàm lồi chính thường, nửa liên tục dưới. Ví dụ 2.3 chứng minh hàm Fitzpatrick của toán tử đồng nhất $\text{Id}$ là $F_{\text{Id}}(x, u) = \frac{1}{4}|x + u|^2$. Định lý 2.5 khẳng định $T$ đơn điệu cực đại khi và chỉ khi $F_T(x, u) \ge \langle x, u \rangle$ với mọi $(x, u)$, và đồ thị của $T$ chính là tập mức bằng nhau: $\text{gph} T = {(x, u) \mid F_T(x, u) = \langle x, u \rangle}$. Dựa trên tính chất chặn dưới của hàm Fitzpatrick và bổ đề hàm affine xấp xỉ (Mệnh đề 2.6), tác giả chứng minh Định lý Minty (Định lý 2.7): Một toán tử đơn điệu $T$ là đơn điệu cực đại khi và chỉ khi miền giá trị $\text{ran}(\text{Id} + T) = \mathbb{R}^n$, kéo theo $\text{ran}(\text{Id} + cT) = \mathbb{R}^n$ với mọi hằng số thực $c > 0$.

Resolvent của toán tử đơn điệu: Phần này liên kết toán tử đơn điệu với lý thuyết điểm bất động:

  • Khái niệm toán tử không giãn (nonexpansive) với hằng số Lipschitz bằng 1 và toán tử co-coercive với modulus $\kappa > 0$. Định lý 2.8 khẳng định phép chiếu Euclid $\Pi_K$ là toán tử 1-co-coercive. Mệnh đề 2.7 chỉ ra $F$ đơn điệu mạnh với modulus $\kappa$ khi và chỉ khi $F^{-1}$ là co-coercive với modulus $\kappa$. Mệnh đề 2.9 chứng minh ánh xạ đơn trị $F$ là 1-co-coercive khi và chỉ khi $\text{Id} - F$ là 1-co-coercive.
  • Resolvent với chỉ số $c > 0$ của toán tử đơn điệu $F$ được định nghĩa là $J_{cF} = (\text{Id} + cF)^{-1}$. Mệnh đề 2.10 chứng minh $J_{cF}$ có nhiều nhất một phần tử tại mỗi điểm, đồng thời là ánh xạ không giãn và 1-co-coercive trên miền xác định của nó. Đồ thị của resolvent có biểu diễn $\text{gph} J_{cF} = {(x + cu, x) \mid (x, u) \in \text{gph} F}$.
  • Định lý 2.12 (kết quả then chốt dựa trên Định lý Minty) chứng minh: $F$ đơn điệu cực đại khi và chỉ khi $\text{dom} J_{cF} = \mathbb{R}^n$; khi đó $J_{cF}$ là ánh xạ đơn trị, không giãn và 1-co-coercive trên toàn bộ $\mathbb{R}^n$.
  • Mệnh đề 2.14 thiết lập mối liên hệ bản chất: $0 \in F(x) \iff x = J_{cF}(x)$, tức quy bài toán tìm không điểm của toán tử đa trị về bài toán tìm điểm bất động của toán tử đơn trị không giãn.
  • Mệnh đề 2.15 mở rộng cho bài toán bất đẳng thức biến phân: Nếu $K$ lồi đóng và $F$ liên tục, đơn điệu thì nón pháp tuyến $N_K$ là đơn điệu cực đại, kéo theo toán tử tổng $T = F + N_K$ đơn điệu cực đại, đặt nền tảng giải $VI(K, F)$ qua resolvent.

Tính đơn điệu cực đại của dưới vi phân hàm lồi: Tác giả chứng minh định lý cơ bản rằng dưới vi phân $\partial f$ của hàm lồi luôn là toán tử đơn điệu. Đóng góp nổi bật là việc chứng minh Định lý Rockafellar (Định lý 2.17): Nếu $f: \mathbb{R}^n \to (-\infty, +\infty]$ là hàm lồi, chính thường, nửa liên tục dưới thì dưới vi phân $\partial f$ là một toán tử đơn điệu cực đại. Kỹ thuật chứng minh được thực hiện công phu bằng cách xét hàm dịch chuyển $f_0(x) = f(x + x_0) - \langle x, u_0 \rangle$, kết hợp với hàm hiệu chỉnh chính quy hóa bậc hai $g(x) = \frac{1}{2}|x|^2$, áp dụng biến đổi Fenchel và dãy xấp xỉ dưới gradient Brøndsted - Rockafellar để triệt tiêu giới hạn sai số.

Chương 3: Thuật toán điểm gần kề

Chương 3 vận dụng trực tiếp các công cụ giải tích đã xây dựng ở Chương 2 để thiết kế và khảo sát thuật toán điểm gần kề (Proximal Point Algorithm):

  • Thuật toán điểm gần kề cho phương trình suy rộng $0 \in T(x)$, trong đó $T$ là toán tử đơn điệu cực đại: Xuất phát từ quan hệ tương đương $0 \in T(x) \iff x = J_{c_k T}(x)$, thuật toán khởi tạo từ điểm $x^0 \in \mathbb{R}^n$ và tạo dãy lặp theo sơ đồ: $$x^{k+1} = J_{c_k T}(x^k) = (\text{Id} + c_k T)^{-1}(x^k)$$ tương đương với việc giải phương trình bao hàm thức tại mỗi bước: $x^k \in x^{k+1} + c_k T(x^{k+1})$.
  • Ứng dụng giải bài toán bất đẳng thức biến phân: Đối với bài toán $VI(K, F)$ tương đương với $0 \in F(x) + N_K(x)$, thuật toán điểm gần kề giải quyết phương trình suy rộng bằng cách xấp xỉ bài toán ban đầu qua một dãy các bài toán bất đẳng thức biến phân phụ có tính đơn điệu mạnh tại mỗi bước lặp, bảo đảm tính giải được duy nhất của bài toán con.
  • Phân tích sự hội tụ và tốc độ hội tụ: Dựa trên tính chất không giãn và 1-co-coercive của resolvent $J_{c_k T}$, tác giả phân tích điều kiện hội tụ của dãy nghiệm ${x^k}$ về không điểm của $T$. Khi toán tử $T$ thỏa mãn điều kiện đơn điệu cực đại mạnh hoặc các điều kiện chính quymetric, thuật toán đạt tốc độ hội tụ tuyến tính (Q-linear) hoặc siêu tuyến tính (Q-superlinear) tương ứng với các giả thiết về dãy bước ${c_k}$.

Kết quả và đóng góp

Khóa luận đã giải quyết trọn vẹn các mục tiêu toán học đặt ra, mang lại các kết quả lý thuyết cụ thể:

  1. Xác lập bảng đối sánh và hệ thống hóa các tính chất của các cấu trúc toán tử và công cụ giải tích:
Đối tượng giải tích Định nghĩa / Biểu diễn toán học Tính chất then chốt được chứng minh
Toán tử đơn điệu cực đại $T$ $\langle v_1 - v_2, x_1 - x_2 \rangle \ge 0$ và đồ thị không thể mở rộng $\text{gph} T = {(u, v) \mid \langle x - u, y - v \rangle \ge 0, \forall (x, y) \in \text{gph} T}$
Hàm Fitzpatrick $F_T$ $\sup_{(y, v) \in \text{gph} T} {\langle y, u \rangle + \langle x, v \rangle - \langle y, v \rangle}$ $F_T(x, u) \ge \langle x, u \rangle$; dấu đẳng thức xảy ra khi và chỉ khi $(x, u) \in \text{gph} T$
Định lý Minty Phương trình $\text{ran}(\text{Id} + cT) = \mathbb{R}^n, \forall c > 0$ Tiêu chuẩn tương đương của tính đơn điệu cực đại
Toán tử Resolvent $J_{cF}$ $J_{cF} = (\text{Id} + cF)^{-1}$ với $c > 0$ Đơn trị, không giãn, 1-co-coercive trên $\mathbb{R}^n$; $0 \in F(x) \iff x = J_{cF}(x)$
Dưới vi phân hàm lồi $\partial f$ ${v \mid f(y) \ge f(x) + \langle y - x, v \rangle, \forall y}$ Đơn điệu cực đại khi $f$ lồi, chính thường, nửa liên tục dưới (Định lý Rockafellar)
Nón pháp tuyến $N_K$ ${d \mid \langle y - x, d \rangle \le 0, \forall y \in K}$ Đơn điệu cực đại khi $K$ lồi, đóng, khác rỗng
  1. Tác giả tự nêu đóng góp khoa học của khóa luận ở việc trình bày một cách mạch lạc, chi tiết và có hệ thống toàn bộ tiến trình từ lý thuyết nền tảng (giải tích lồi, biến đổi Fenchel) đến các kết quả hiện đại về toán tử đơn điệu cực đại; làm sáng tỏ các mối quan hệ nội tại giữa biến đổi Fenchel, hàm Fitzpatrick và Định lý Minty.
  2. Đề xuất quy trình chuyển hóa bài toán bất đẳng thức biến phân $VI(K, F)$ và phương trình suy rộng $0 \in T(x)$ thành bài toán tìm điểm bất động của toán tử resolvent $J_{cT}$, cung cấp cơ sở toán học tường minh cho việc áp dụng và phân tích sự hội tụ của thuật toán điểm gần kề.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Toàn bộ các định lý, bổ đề và thuật toán trong khóa luận được thiết lập và giới hạn trong phạm vi không gian Euclid hữu hạn chiều $\mathbb{R}^n$. Nghiên cứu thuần túy tập trung vào khía cạnh giải tích toán học lý thuyết và phân tích sự hội tụ trừu tượng, chưa triển khai lập trình số trị (numerical implementation) để giải các bài toán thực tế trên máy tính, và chưa khảo sát ảnh hưởng của sai số tính toán dấu phẩy động trong quá trình giải bài toán con của thuật toán điểm gần kề.
  • Hướng nghiên cứu tiếp: Mở rộng nghiên cứu lý thuyết toán tử đơn điệu cực đại và thuật toán điểm gần kề trên không gian vô hạn chiều (như không gian Hilbert hoặc không gian Banach phản xạ); nghiên cứu các biến thể gia tốc của thuật toán điểm gần kề (như kỹ thuật quán tính - inertial extrapolation); kết hợp thuật toán điểm gần kề với các phương pháp chiếu xấp xỉ để giải bài toán bất đẳng thức biến phân và bài toán cân bằng phi lồi.

Giá trị tham khảo

Khóa luận là tài liệu tham khảo có giá trị học thuật cao cho sinh viên, học viên cao học và giảng viên thuộc các chuyên ngành Toán học, Toán ứng dụng, Sư phạm Toán, Tối ưu hóa và Giải tích biến phân. Cụ thể:

  • Phần tính toán chi tiết hàm liên hợp Fenchel và chuẩn đối ngẫu (Mục 1.2) là tư liệu chuẩn mực cho việc giảng dạy và học tập học phần Giải tích lồi và Tối ưu hóa.
  • Kỹ thuật chứng minh Định lý Minty thông qua hàm Fitzpatrick và chứng minh tính đơn điệu cực đại của dưới vi phân hàm lồi $\partial f$ (Mục 2.2 và Mục 2.4) là mẫu mực về lập luận toán học giải tích chặt chẽ, giúp người đọc nắm bắt được phương pháp tiếp cận các định lý lớn trong giải tích phi tuyến.
  • Mô hình thiết lập thuật toán điểm gần kề cho phương trình suy rộng (Chương 3) là tài liệu tham khảo hữu ích cho các đề tài nghiên cứu về giải thuật tối ưu hóa và phương pháp số giải bài toán bất đẳng thức biến phân.

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

1. Điều kiện cần và đủ để một toán tử đơn điệu trở thành đơn điệu cực đại theo đặc trưng hình học đồ thị là gì?
Theo Định lý 2.11 trong khóa luận, một toán tử đơn điệu $T: \mathbb{R}^n \rightrightarrows \mathbb{R}^n$ là đơn điệu cực đại khi và chỉ khi mọi cặp $(u, v) \in \mathbb{R}^n \times \mathbb{R}^n$ thỏa mãn hệ bất đẳng thức $\langle x - u, y - v \rangle \ge 0$ với mọi $(x, y) \in \text{gph} T$ đều bắt buộc phải thuộc vào đồ thị $\text{gph} T$.

2. Hàm Fitzpatrick của toán tử đồng nhất $\text{Id}$ được xác định bằng công thức nào?
Theo tính toán chi tiết tại Ví dụ 2.3 (Chương 2), hàm Fitzpatrick của toán tử đồng nhất $\text{Id}$ trên không gian $\mathbb{R}^n$ có dạng giải tích là $F_{\text{Id}}(x, u) = \frac{1}{4}|x + u|^2$.

3. Nội dung then chốt của Định lý Minty được phát biểu như thế nào trong khóa luận?
Định lý 2.7 (Định lý Minty) chỉ ra rằng với toán tử đơn điệu $T: \mathbb{R}^n \rightrightarrows \mathbb{R}^n$, $T$ là đơn điệu cực đại khi và chỉ khi miền giá trị của toán tử $\text{Id} + T$ phủ kín toàn bộ không gian, tức $\text{ran}(\text{Id} + T) = \mathbb{R}^n$, điều này cũng tương đương với $\text{ran}(\text{Id} + cT) = \mathbb{R}^n$ với mọi hằng số thực dương $c > 0$.

4. Mối quan hệ giữa không điểm của toán tử đơn điệu cực đại và điểm bất động của toán tử resolvent là gì?
Theo Mệnh đề 2.14, với $F$ là toán tử đơn điệu cực đại và $c > 0$, một điểm $x \in \mathbb{R}^n$ là không điểm của $F$ (tức $0 \in F(x)$) khi và chỉ khi $x$ là điểm bất động của toán tử resolvent $J_{cF}$, nghĩa là $x = J_{cF}(x) = (\text{Id} + cF)^{-1}(x)$.

5. Cơ sở để quy bài toán bất đẳng thức biến phân $VI(K, F)$ về bài toán tìm không điểm của toán tử đơn điệu cực đại là gì?
Theo Mệnh đề 2.15, nếu $K$ là tập lồi đóng khác rỗng và $F$ là ánh xạ liên tục, đơn điệu trên $K$ thì nón pháp tuyến $N_K$ là toán tử đơn điệu cực đại, đồng thời toán tử tổng $T = F + N_K$ cũng là toán tử đơn điệu cực đại. Khi đó, bài toán $VI(K, F)$ tương đương chính xác với phương trình suy rộng $0 \in (F + N_K)(x)$.

Kết luận

Khóa luận tốt nghiệp của sinh viên Lê Nguyễn Ngọc Trâm đã trình bày một cách có hệ thống, chuẩn xác và chặt chẽ lý thuyết giải tích về toán tử đơn điệu cực đại trong không gian Euclid $\mathbb{R}^n$. Bằng việc kết hợp các công cụ giải tích lồi đối ngẫu như biến đổi Fenchel và hàm Fitzpatrick, công trình đã làm sáng tỏ cấu trúc nội tại của Định lý Minty, toán tử resolvent và tính đơn điệu cực đại của dưới vi phân hàm lồi. Các kết quả giải tích này đã tạo tiền đề khoa học vững chắc để xây dựng thuật toán điểm gần kề giải phương trình suy rộng và bài toán bất đẳng thức biến phân, khẳng định giá trị tham khảo học thuật thiết thực cho chuyên ngành Toán ứng dụng và Tối ưu hóa.