Tổng quan luận án

Tính cấp thiết và khoảng trống nghiên cứu

Trong toán học giải tích và tối ưu hóa, bài toán tìm một phần tử thuộc vào giao của một họ các tập con lồi đóng $C_i$ ($i = 1, 2, \dots$) trong không gian Hilbert hoặc Banach được gọi là bài toán chấp nhận lồi (convex feasibility problem). Mỗi tập con $C_i$ có thể xuất hiện dưới dạng tập nghiệm của bài toán bất đẳng thức biến phân với ánh xạ đơn điệu, tập nghiệm của bài toán cân bằng với song hàm, hoặc tập điểm bất động của ánh xạ không giãn, ánh xạ giả co chặt. Bài toán này có nhiều ứng dụng thực tiễn trong các lĩnh vực như xử lý ảnh (phục chế và tạo ảnh dựa trên dữ liệu trực tiếp hoặc gián tiếp), y học, quân đội, công nghiệp, thiên văn học và công nghệ sinh học.

Trong trường hợp họ tập con là tập điểm bất động của các ánh xạ không giãn hoặc ánh xạ giả co chặt, việc xác định điểm bất động chung đặt ra nhiều thách thức lý thuyết. Các nghiên cứu ban đầu về phép lặp tìm điểm bất động (như dãy lặp Mann) thường chỉ bảo đảm sự hội tụ yếu, ngay cả đối với trường hợp đơn giản của ánh xạ không giãn. Để thu được sự hội tụ mạnh đến điểm bất động chung của ánh xạ giả co chặt hoặc họ các ánh xạ giả co chặt trong không gian Hilbert, các nhà toán học đã đề xuất nhiều sơ đồ lặp mở rộng nhưng thường đòi hỏi các điều kiện hạn chế về không gian hoặc tính compact. Mặt khác, đối với bài toán bất đẳng thức biến phân cổ điển, phương pháp nguyên lý bài toán phụ chuẩn mực đòi hỏi toán tử liên quan phải đơn điệu mạnh và liên tục Lipschitz; khi toán tử chỉ có tính đơn điệu thông thường, thuật toán chuẩn không còn áp dụng được trực tiếp. Do đó, việc thiết lập các phương pháp lặp giải bài toán tìm điểm bất động chung cho một họ vô hạn các ánh xạ giả co chặt, bài toán tìm nghiệm chung của bất đẳng thức biến phân và họ ánh xạ không giãn/giả co chặt, cũng như bài toán bất đẳng thức biến phân trên tập điểm bất động chung của họ ánh xạ không giãn với bảo đảm hội tụ mạnh là khoảng trống khoa học cấp thiết mà luận án tập trung giải quyết.

Mục tiêu, câu hỏi và giả thuyết nghiên cứu

Mục tiêu nghiên cứu của luận án được xác định rõ ràng qua các nhiệm vụ toán học cụ thể:

  1. Nghiên cứu phương pháp giải mới để tìm điểm bất động chung cho một họ các ánh xạ giả co chặt, chứa trường hợp riêng là một họ các ánh xạ không giãn trong không gian Hilbert.
  2. Vận dụng phương pháp nguyên lý bài toán phụ hiệu chỉnh (kết hợp nguyên lý bài toán phụ và phương pháp hiệu chỉnh Browder-Tikhonov) để giải bài toán tìm điểm bất động chung cho một họ vô hạn các ánh xạ giả co chặt trong không gian Hilbert, xây dựng nghiệm hiệu chỉnh và thuật toán lặp tương ứng.
  3. Mở rộng phương pháp nguyên lý bài toán phụ hiệu chỉnh dựa trên ánh xạ loại-$W$ (ánh xạ $W_n$) thiết lập từ họ hữu hạn các ánh xạ không giãn để giải bài toán tìm phần tử vừa là nghiệm của bất đẳng thức biến phân cổ điển, vừa là điểm bất động chung của một họ (hữu hạn hoặc vô hạn) các ánh xạ không giãn hoặc họ các ánh xạ giả co chặt trong không gian Hilbert.
  4. Đề xuất phương pháp lặp mới dựa trên sự kết hợp giữa phương pháp dốc nhất lai (Hybrid Steepest Descent - HSD) cho bất đẳng thức biến phân và phép lặp dạng Krasnoselskij-Mann cho bài toán điểm bất động (gọi là phương pháp KM-HSD), nhằm tìm nghiệm của bất đẳng thức biến phân cổ điển trên tập điểm bất động chung của một họ hữu hạn các ánh xạ không giãn trong không gian Hilbert.

Giả thuyết khoa học xuyên suốt của công trình là: Bằng cách kết hợp kỹ thuật hiệu chỉnh Browder-Tikhonov vào nguyên lý bài toán phụ, đồng thời kết hợp sơ đồ dốc nhất lai với phép lặp Krasnoselskij-Mann, ta có thể xây dựng các dãy lặp mới thỏa mãn các điều kiện tham số thích hợp để đạt được sự hội tụ mạnh (thay vì hội tụ yếu) tới nghiệm duy nhất của bài toán trong không gian Hilbert.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Điểm bất động chung của họ các ánh xạ giả co chặt, họ các ánh xạ không giãn; nghiệm của bài toán bất đẳng thức biến phân cổ điển; các dãy lặp số học, toán tử đối ngẫu và phép chiếu metric.
  • Phạm vi không gian: Không gian Hilbert thực $H$, không gian Banach $E$, các tập con lồi đóng $C \subset H$.
  • Phạm vi toán học: Lý thuyết giải tích phi tuyến, lý thuyết toán tử đơn điệu, lý thuyết điểm bất động và giải tích biến phân.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu tiền đề

Luận án hệ thống hóa các kết quả nghiên cứu kinh điển và hiện đại xoay quanh hai trục chính: bài toán bất đẳng thức biến phân và bài toán điểm bất động.

  • Về bài toán chấp nhận lồi và phép chiếu xen kẽ: J. von Neumann đã nghiên cứu bài toán tìm điểm thuộc giao của hai không gian con $C_1, C_2$ của không gian Hilbert $H$ bằng cách thiết lập hai dãy lặp xen kẽ $y_0 = x$, $x_k = P_{C_1}(y_{k-1})$, $y_k = P_{C_2}(x_k)$ và chứng minh cả hai dãy đều hội tụ mạnh về hình chiếu metric $P_{C_1 \cap C_2}(x)$. Sau đó, bài toán được mở rộng cho trường hợp họ các tập lồi đóng là tập điểm bất động của các ánh xạ không giãn bởi L. Ceng và cộng sự.
  • Về bất đẳng thức biến phân cổ điển: Bài toán bất đẳng thức biến phân trong không gian vô hạn chiều được giới thiệu lần đầu tiên vào năm 1966 bởi hai nhà toán học Italia là G. Stampacchia và P. Hartman, xuất phát từ các bài toán điều khiển tối ưu và bài toán biên của phương trình đạo hàm riêng. Để tìm nghiệm cho bài toán này, các phương pháp chiếu điểm bất động đã được sử dụng khi toán tử đơn điệu mạnh và liên tục Lipschitz. Để giảm nhẹ điều kiện toán tử, G. M. Korpelevich (1976) đã đề xuất phương pháp đạo hàm tăng cường (Extragradient method), bảo đảm hội tụ khi toán tử chỉ có tính đơn điệu hoặc giả đơn điệu.
  • Về nguyên lý bài toán phụ: G. Cohen (1980) giới thiệu phương pháp nguyên lý bài toán phụ tổng quát cho bài toán tối ưu và bài toán bất đẳng thức biến phân. Khi ánh xạ không có tính đơn điệu mạnh mà chỉ đơn điệu thông thường, J. Baasansuren (2000) và A. Baasansuren đã kết hợp nguyên lý bài toán phụ với phương pháp hiệu chỉnh Browder-Tikhonov để thiết lập phương pháp nguyên lý bài toán phụ hiệu chỉnh.
  • Về phương pháp lặp tìm điểm bất động của ánh xạ không giãn và ánh xạ giả co:
    • W. R. Mann (1953) đề xuất dãy lặp Mann: với dãy số $\alpha_n \in (0, 1)$ thỏa mãn $\sum_{n=0}^\infty \alpha_n(1-\alpha_n) = \infty$, dãy lặp hội tụ yếu tới điểm bất động của ánh xạ không giãn. C. E. Chidume (1987) và cộng sự vận dụng phép lặp Mann cho ánh xạ giả co chặt, nhận được kết quả hội tụ yếu (và hội tụ mạnh nếu ánh xạ có thêm tính $d$-compact).
    • S. Ishikawa (1974) đề xuất sơ đồ lặp hai bước Ishikawa để thiết lập sự hội tụ mạnh tới điểm bất động của toán tử giả co Lipschitz trên tập lồi compact.
    • B. Halpern (1967) đưa ra sơ đồ lặp Halpern dạng $x_{n+1} = \alpha_{n+1}u + (1-\alpha_{n+1})T(x_n)$ cho ánh xạ không giãn, thu hút các nghiên cứu tiếp nối của R. Wittmann (1992), N. Shioji và W. Takahashi (1997) mở rộng ra không gian Banach lồi đều, và H. K. Xu (2002) tối ưu hóa điều kiện tham số.
    • K. Nakajo và W. Takahashi (2003) đưa ra phương pháp lai ghép (hybrid projection method) sử dụng phép chiếu metric trên các nửa không gian cắt để thu được sự hội tụ mạnh cho ánh xạ không giãn. G. Marino và H. K. Xu (2006) mở rộng kết quả của Nakajo-Takahashi cho lớp ánh xạ giả co chặt.
    • I. Yamada (2001) đề xuất phương pháp dốc nhất lai (Hybrid Steepest Descent - HSD) để giải bài toán bất đẳng thức biến phân trên tập điểm bất động của ánh xạ không giãn và mở rộng cho họ hữu hạn các ánh xạ không giãn. Sau đó, H. K. Xu, H. Zhou cùng nhiều tác giả khác tiếp tục phát triển hướng nghiên cứu này.

Khoảng trống luận án lựa chọn giải quyết

Mặc dù các công trình nêu trên đã giải quyết nhiều khía cạnh, các hạn chế còn tồn tại bao gồm:

  1. Phần lớn các thuật toán cho họ ánh xạ giả co chỉ dừng lại ở sự hội tụ yếu hoặc phải kèm theo giả thiết compact rất ngặt nghèo của tập nguồn hoặc toán tử.
  2. Phương pháp nguyên lý bài toán phụ hiệu chỉnh của Baasansuren chủ yếu áp dụng cho một toán tử đơn lẻ trong bất đẳng thức biến phân, chưa được mở rộng để xử lý đồng thời bài toán bất đẳng thức biến phân trên tập điểm bất động chung của một họ vô hạn các ánh xạ giả co chặt hoặc họ vô hạn các ánh xạ không giãn.
  3. Đối với bài toán tìm nghiệm của bất đẳng thức biến phân trên tập điểm bất động chung của một họ hữu hạn các ánh xạ không giãn, phương pháp HSD thuần túy của Yamada phụ thuộc vào tích hợp tuần hoàn của các toán tử không giãn; việc tích hợp cơ chế lặp dạng Krasnoselskij-Mann vào HSD để tăng cường tính linh hoạt của sơ đồ lặp và thiết lập tiêu chuẩn hội tụ mạnh chưa được xây dựng hoàn chỉnh.

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

Cơ sở lý thuyết và hệ thống khái niệm

Luận án được xây dựng trên nền tảng giải tích phi tuyến và hình học không gian Hilbert, sử dụng các khái niệm và cấu trúc lý thuyết chuẩn xác:

  • Không gian Hilbert và Banach: Không gian Hilbert thực $H$ với tích vô hướng $(\cdot, \cdot)$ và chuẩn $|\cdot|$; không gian Banach $E$ cùng không gian liên hợp $E^*$.
  • Ánh xạ đối ngẫu chuẩn tắc: Ánh xạ đối ngẫu $J_q: E \to 2^{E^}$ ($q > 1$) xác định bởi $J_q(x) = {f \in E^ : (f, x) = |x|^q, |f| = |x|^{q-1}}$. Khi $q = 2$, ánh xạ $J_2$ được gọi là ánh xạ đối ngẫu chuẩn tắc và ký hiệu là $j$.
  • Phép chiếu metric: Cho $C$ là tập con lồi đóng khác rỗng trong $H$. Với mỗi $x \in H$, tồn tại duy nhất phần tử $y \in C$ sao cho $|x - y| \le |x - z|$ với mọi $z \in C$. Ánh xạ $P_C: H \to C$ đặt $y = P_C(x)$ là phép chiếu metric từ $H$ lên $C$.
  • Các lớp toán tử phi tuyến trên tập lồi đóng $C$:
    • Ánh xạ $F: C \to H$ là đơn điệu nếu $(F(x) - F(y), x - y) \ge 0, \forall x, y \in C$.
    • Ánh xạ $F$ là giả đơn điệu nếu $(F(y), x - y) \ge 0 \implies (F(x), x - y) \ge 0$.
    • Ánh xạ $F$ là $a$-đơn điệu mạnh nếu $(F(x) - F(y), x - y) \ge a|x - y|^2$ với hằng số $a > 0$.
    • Ánh xạ $F$ là $\alpha$-ngược đơn điệu mạnh nếu $(F(x) - F(y), x - y) \ge \alpha|F(x) - F(y)|^2$ với $\alpha > 0$.
    • Ánh xạ $F$ là $L$-liên tục Lipschitz nếu $|F(x) - F(y)| \le L|x - y|$. Nếu $L = 1$, $F$ là ánh xạ không giãn. Nếu $L \in [0, 1)$, $F$ là ánh xạ co.
    • Ánh xạ $F$ là $h$-liên tục nếu $F(x + ty) \rightharpoonup F(x)$ khi $t \to 0^+$ với mọi $x, y \in C$.
    • Ánh xạ $T: C \to E$ là $k$-giả co chặt (theo Chidume) trong không gian Banach nếu tồn tại $k > 0$ và $j(x - y) \in J(x - y)$ sao cho: $$(T(x) - T(y), j(x - y)) \le |x - y|^2 - k|(x - y) - (T(x) - T(y))|^2$$ Trong không gian Hilbert $H$, điều kiện này tương đương với ánh xạ $\lambda$-giả co chặt ($0 \le \lambda < 1$): $$|T(x) - T(y)|^2 \le |x - y|^2 + \lambda|(I - T)(x) - (I - T)(y)|^2$$
    • Ánh xạ $T$ là $d$-compact nếu với mọi dãy bị chặn ${x_n}$ sao cho dãy ${T(x_n) - x_n}$ hội tụ mạnh thì tồn tại dãy con ${x_{n_k}}$ hội tụ mạnh.

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

Luận án sử dụng thuần túy phương pháp nghiên cứu toán học lý thuyết (định tính và giải tích định lượng giải tích hàm):

  • Phương pháp giải tích hàm và giải tích lồi: Đánh giá bất đẳng thức biến phân, sử dụng các đặc trưng hình học của không gian Hilbert (đẳng thức hình bình hành, tính chất đơn điệu cực đại, tính chất của phép chiếu metric).
  • Phương pháp hiệu chỉnh Browder-Tikhonov: Đưa tham số hiệu chỉnh $\alpha > 0$ dần về 0 để chuyển các bài toán suy biến, đơn điệu thông thường về dãy các bài toán đơn điệu mạnh có nghiệm duy nhất, ổn định hóa nghiệm.
  • Phương pháp xấp xỉ liên tiếp và phép lặp toán tử: Thiết kế các dãy lặp phi tuyến thông qua các bài toán phụ giải được tại mỗi bước; kiểm soát dãy bước nhảy và dãy tham số suy giảm thông qua các bất đẳng thức giải tích thực.
  • Kỹ thuật chứng minh hội tụ: Phân tích dãy năng lượng, chứng minh tính bị chặn của dãy lặp, chứng minh dãy xấp xỉ hội tụ tiệm cận về 0, áp dụng các bổ đề giải tích dãy để suy ra hội tụ mạnh trong tôpô chuẩn.

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

Chương 1: Một số khái niệm và kiến thức chuẩn bị

Chương 1 đóng vai trò hệ thống hóa nền tảng toán học cho toàn bộ luận án, bao gồm ba nhóm nội dung trọng tâm:

  1. Bất đẳng thức biến phân cổ điển và mối liên hệ: Trình bày bài toán bất đẳng thức biến phân cổ điển của ánh xạ đơn trị $F: C \to H$: Tìm $x^* \in C$ sao cho $(F(x^), x - x^) \ge 0, \forall x \in C$, tập nghiệm ký hiệu là $VI(F, C)$. Tác giả làm rõ mối liên hệ chặt chẽ giữa bài toán này với:

    • Bài toán quy hoạch lồi: $\min {f(x) \mid x \in C}$ với $f$ là phiếm hàm lồi khả vi (tương đương với $VI(\nabla f, C)$).
    • Bài toán bù phi tuyến: Tìm $x^* \in K$ sao cho $F(x^) \in K^$ và $(F(x^), x^) = 0$ khi $K$ là nón lồi đóng.
    • Bài toán điểm bất động: $x^* = T(x^*)$ tương đương với $VI(I - T, C)$. Đồng thời, chương tổng hợp các định lý về sự tồn tại nghiệm (Định lý Stampacchia và Hartman khi $C$ compact; Định lý điều kiện tồn tại tập compact $U \subset C$ thỏa mãn điều kiện tách khi $C$ không compact) và điều kiện nghiệm duy nhất thông qua tính đơn điệu chặt của toán tử.

  2. Các phương pháp tìm nghiệm cho bất đẳng thức biến phân cổ điển: Hệ thống hóa ba hướng tiếp cận kinh điển:

    • Phương pháp điểm bất động: Dựa trên tính chất $x^* \in VI(F, C) \iff x^* = P_C(x^* - \lambda F(x^*))$ ($\lambda > 0$). Dãy lặp $x_{n+1} = P_C(x_n - \lambda F(x_n))$ hội tụ mạnh khi $F$ đơn điệu mạnh và liên tục Lipschitz.
    • Phương pháp đạo hàm tăng cường (Extragradient): Do Korpelevich đề xuất với sơ đồ hai bước: $$y_n = P_C(x_n - \lambda F(x_n)), \quad x_{n+1} = P_C(x_n - \lambda F(y_n))$$ bảo đảm hội tụ khi $F$ chỉ đơn điệu và liên tục Lipschitz trên $C$.
    • Phương pháp nguyên lý bài toán phụ (Auxiliary Problem Principle): Do Cohen đề xuất năm 1980 cho bài toán tối ưu và bất đẳng thức biến phân. Thay vì giải trực tiếp bài toán ban đầu, tại mỗi bước giải bài toán tối ưu phụ của phiếm hàm auxiliary $\min_{u \in C} {\phi(u) + (s_n F(u_n) - \phi'(u_n), u)}$.

  3. Các phương pháp lặp tìm điểm bất động cho họ ánh xạ không giãn và ánh xạ giả co chặt: Trình bày định nghĩa ánh xạ $k$-giả co chặt trong không gian Banach và $\lambda$-giả co chặt trong không gian Hilbert. Phân tích chi tiết các sơ đồ lặp cổ điển:

    • Phép lặp Mann và điều kiện hội tụ yếu $\sum \alpha_n(1 - \alpha_n) = \infty$.
    • Phép lặp Ishikawa và ứng dụng cho toán tử giả co Lipschitz.
    • Phép lặp Halpern dạng $x_{n+1} = \alpha_{n+1}u + (1 - \alpha_{n+1})T(x_n)$ cùng các định lý hội tụ mạnh của Wittmann, Shioji-Takahashi và Xu.
    • Phương pháp dốc nhất lai (HSD) của Yamada: giải bài toán bất đẳng thức biến phân trên tập điểm bất động của họ hữu hạn ánh xạ không giãn ${T_i}{i=1}^N$ với dãy lặp: $$x{n+1} = T_{[n+1]}(x_n) - \lambda_{n+1}\mu F(T_{[n+1]}(x_n))$$ trong đó chỉ số ánh xạ được lấy tuần hoàn theo môđun $N$.
    • Các phương pháp lặp lai ghép (CQ method của Nakajo-Takahashi, Marino-Xu, Qin-Su) kết hợp phép chiếu trên giao các nửa không gian đóng để đạt sự hội tụ mạnh.

Chương 2: Nguyên lý bài toán phụ hiệu chỉnh cho một họ vô hạn các ánh xạ giả co chặt

Chương 2 trình bày các kết quả đóng góp chính của tác giả về việc phát triển phương pháp nguyên lý bài toán phụ hiệu chỉnh nhằm giải quyết bài toán điểm bất động chung và bài toán bất đẳng thức biến phân liên kết trong không gian Hilbert:

  1. Phương pháp nguyên lý bài toán phụ hiệu chỉnh dựa trên tổng vô hạn cho họ vô hạn các ánh xạ giả co chặt: Xét họ vô hạn các ánh xạ $\lambda_i$-giả co chặt ${T_i}{i=1}^\infty$ từ tập lồi đóng $C$ vào $H$ với giả thiết tập điểm bất động chung $F = \bigcap{i=1}^\infty Fix(T_i) \neq \emptyset$.

    • Xây dựng bài toán nghiệm hiệu chỉnh: Đặt $A_i = I - T_i$, $\alpha > 0$ là tham số hiệu chỉnh nhỏ dần về 0. Tác giả xét bất đẳng thức biến phân hiệu chỉnh: Tìm $u_\alpha \in C$ sao cho $$\left( \sum_{i=1}^\infty \gamma_i A_i(u_\alpha) + \alpha u_\alpha, v - u_\alpha \right) \ge 0, \quad \forall v \in C$$ với các hệ số $\gamma_i > 0$ thỏa mãn $\sum_{i=1}^\infty \frac{\gamma_i}{\tilde{\lambda}_i} = \gamma < \infty$ và $\tilde{\lambda}_i = \frac{1 - \lambda_i}{2}$.
    • Thiết lập thuật toán nguyên lý bài toán phụ hiệu chỉnh: Với phiếm hàm lồi chính thường $\phi: H \to \mathbb{R}$ khả vi Gâteaux có đạo hàm $\phi'$ đơn điệu mạnh và liên tục Lipschitz:
      • Tại bước $k = 0$: chọn tùy ý $z_0 \in C$ và các tham số $s_0, \alpha_0 > 0$.
      • Tại bước $k = n$: tìm $z_{n+1} \in C$ là nghiệm duy nhất của bài toán phụ: $$\min_{z \in C} \left{ \phi(z) + \left( s_n \sum_{i=1}^\infty \gamma_i A_i(z_n) + s_n \alpha_n z_n - \phi'(z_n), z \right) \right}$$
    • Chứng minh sự hội tụ mạnh: Khi các dãy số ${s_n}$ và ${\alpha_n}$ thỏa mãn các điều kiện giải tích nghiêm ngặt: $$0 < s_n \le 1, \quad 0 < \alpha_{n+1} \le \alpha_n \le 1, \quad \lim_{n \to \infty} \alpha_n = 0$$ $$\sum_{n=0}^\infty s_n \alpha_n = \infty, \quad \sum_{n=0}^\infty \frac{(\alpha_n - \alpha_{n+1})^2}{s_n^2 \alpha_n^3} < \infty, \quad \sum_{n=0}^\infty s_n^2 < \infty$$ tác giả chứng minh dãy nghiệm hiệu chỉnh ${u_\alpha}$ và dãy lặp ${z_n}$ đều hội tụ mạnh về nghiệm duy nhất $u^*$ của bài toán tìm điểm bất động chung.

  2. Phương pháp nguyên lý bài toán phụ hiệu chỉnh dựa trên toán tử loại-$W$: Để giải bài toán tìm một phần tử vừa là nghiệm của bài toán bất đẳng thức biến phân cổ điển $VI(F, C)$, vừa là điểm bất động chung của họ vô hạn các ánh xạ không giãn (hoặc họ vô hạn các ánh xạ giả co chặt), tác giả xây dựng dãy ánh xạ $W_n$ từ họ hữu hạn các ánh xạ thành phần kết hợp với các hệ số co cụ thể. Thuật toán nguyên lý bài toán phụ hiệu chỉnh được thiết lập dựa trên toán tử $W_n$, cho phép khắc phục hạn chế về sự phân kỳ của các thuật toán chiếu thông thường khi toán tử $F$ chỉ đơn điệu mà không cần đơn điệu mạnh. Tác giả chứng minh sự hội tụ mạnh của dãy lặp sinh bởi thuật toán về nghiệm chung của hệ.

Chương 3: Bất đẳng thức biến phân trên tập điểm bất động chung của một họ hữu hạn các ánh xạ không giãn trong không gian Hilbert

Chương 3 tập trung vào lớp bài toán tìm nghiệm của bất đẳng thức biến phân cổ điển trên tập điểm bất động chung của họ hữu hạn các ánh xạ không giãn $C = \bigcap_{i=1}^N Fix(T_i)$:

  1. Phương pháp lặp dốc nhất lai (HSD) và cải tiến: Chương phân tích sâu sắc cấu trúc thuật toán HSD của Yamada và các hướng cải tiến của Nadezhkina, Takahashi, Xu. Bài toán đặt ra là giải: Tìm $u^* \in \bigcap_{i=1}^N Fix(T_i)$ sao cho $(F(u^), v - u^) \ge 0$ với mọi $v \in \bigcap_{i=1}^N Fix(T_i)$, trong đó $F$ là toán tử đơn điệu mạnh và liên tục Lipschitz.

  2. Đề xuất phương pháp KM-HSD cho họ hữu hạn ánh xạ không giãn: Nhằm dung hòa ưu điểm của phép lặp Krasnoselskij-Mann (giúp làm mượt quá trình xấp xỉ toán tử không giãn) và phương pháp HSD (định hướng nghiệm theo gradient của bất đẳng thức biến phân), tác giả đề xuất thuật toán KM-HSD:

    • Dãy lặp ${u_k}$ được xây dựng theo sơ đồ kết hợp các toán tử $T_i$ cùng hệ số bước nhảy suy giảm $\lambda_k$ và các trọng số lặp Krasnoselskij-Mann $\beta_k$.
    • Thiết lập các điều kiện tham số điều khiển thuật toán: $$\lim_{k \to \infty} \lambda_k = 0, \quad \sum_{k=0}^\infty \lambda_k = \infty, \quad \sum_{k=0}^\infty |\lambda_{k+1} - \lambda_k| < \infty, \quad \sum_{k=0}^\infty |\beta_{k+1} - \beta_k| < \infty$$
    • Chứng minh định lý hội tụ mạnh: Tác giả chứng minh rằng dưới các điều kiện tham số nói trên, dãy lặp sinh bởi phương pháp KM-HSD hội tụ mạnh trong không gian Hilbert $H$ tới nghiệm duy nhất $u^*$ của bài toán bất đẳng thức biến phân trên tập điểm bất động chung $\bigcap_{i=1}^N Fix(T_i)$.

Dưới đây là bảng tổng hợp các phương pháp lặp và bài toán tương ứng được phân tích và thiết lập trong luận án:

Chương Bài toán mục tiêu Lớp toán tử / Ánh xạ Phương pháp giải quyết Kết quả hội tụ
Chương 1 $VI(F, C)$ cổ điển và $Fix(T)$ $F$ đơn điệu mạnh / Lipschitz; $T$ không giãn, giả co chặt Điểm bất động; Extragradient; Nguyên lý bài toán phụ; Mann, Ishikawa, Halpern, HSD Hội tụ yếu (Mann); Hội tụ mạnh (Extragradient, Halpern, HSD, CQ)
Chương 2 $\bigcap_{i=1}^\infty Fix(T_i)$ ${T_i}_{i=1}^\infty$ là $\lambda_i$-giả co chặt Nguyên lý bài toán phụ hiệu chỉnh dựa trên tổng vô hạn $\sum \gamma_i A_i$ Hội tụ mạnh tới nghiệm duy nhất $u^*$
Chương 2 $VI(F, C) \cap \left( \bigcap_{i=1}^\infty Fix(T_i) \right)$ $F$ đơn điệu; ${T_i}_{i=1}^\infty$ không giãn hoặc giả co chặt Nguyên lý bài toán phụ hiệu chỉnh dựa trên ánh xạ loại-$W$ ($W_n$) Hội tụ mạnh tới nghiệm chung
Chương 3 $VI(F, \bigcap_{i=1}^N Fix(T_i))$ $F$ đơn điệu mạnh, Lipschitz; ${T_i}_{i=1}^N$ không giãn Phương pháp KM-HSD (kết hợp Krasnoselskij-Mann và Hybrid Steepest Descent) Hội tụ mạnh tới nghiệm duy nhất $u^*$

Kết quả và những đóng góp mới

Đóng góp mới về mặt lý luận

Luận án đạt được các kết quả khoa học mới trong lĩnh vực giải tích phi tuyến và lý thuyết điểm bất động:

  1. Xây dựng thành công phương pháp nguyên lý bài toán phụ hiệu chỉnh dựa trên tổng vô hạn các toán tử để tìm điểm bất động chung cho một họ vô hạn các ánh xạ giả co chặt trong không gian Hilbert thực. Kết quả này vượt qua rào cản của phép lặp Mann truyền thống (vốn chỉ bảo đảm hội tụ yếu) và mở rộng phạm vi áp dụng của nguyên lý bài toán phụ Cohen-Baasansuren sang lớp họ vô hạn ánh xạ phi tuyến.
  2. Thiết lập thuật toán nguyên lý bài toán phụ hiệu chỉnh dựa trên ánh xạ loại-$W$ ($W_n$) thiết lập từ họ các ánh xạ không giãn. Thuật toán này giải quyết trọn vẹn bài toán liên hợp: tìm phần tử vừa là nghiệm của bất đẳng thức biến phân cổ điển với toán tử đơn điệu, vừa là điểm bất động chung của một họ vô hạn các ánh xạ không giãn hoặc họ vô hạn các ánh xạ giả co chặt trong không gian Hilbert.
  3. Đề xuất phương pháp KM-HSD – một sơ đồ lặp lai kết hợp giữa phương pháp dốc nhất lai (HSD) của Yamada và phép lặp Krasnoselskij-Mann cho họ hữu hạn các ánh xạ không giãn. Tác giả đã chứng minh định lý hội tụ mạnh của dãy lặp về nghiệm duy nhất của bất đẳng thức biến phân trên tập điểm bất động chung mà không đòi hỏi giả thiết compact của tập lồi.
  4. Toàn bộ các định lý hội tụ mạnh trong luận án đều đi kèm hệ thống điều kiện tham số tường minh đối với dãy bước nhảy, tham số hiệu chỉnh và trọng số lặp, tạo cơ sở giải tích chặt chẽ cho việc xấp xỉ nghiệm của các bài toán chấp nhận lồi phi tuyến.

Kiến nghị và khả năng ứng dụng thực tiễn

  • Về mặt lý thuyết: Các thuật toán và kỹ thuật giải tích trong luận án cung cấp công cụ toán học giải quyết các bài toán tối ưu phi lồi suy biến, bài toán cân bằng song hàm và bài toán tìm không điểm của tổng các toán tử đơn điệu cực đại.
  • Về mặt thực tiễn: Tác giả chỉ ra rằng các bài toán chấp nhận lồi và tìm nghiệm chung của hệ ánh xạ phi tuyến có ứng dụng trực tiếp trong kỹ thuật xử lý ảnh (bài toán khôi phục ảnh, tái tạo ảnh chụp cắt lớp y tế), hệ thống thông tin liên lạc, bài toán điều khiển tối ưu trong quân sự và công nghiệp, cũng như mô hình hóa trong công nghệ sinh học và thiên văn học. Các sơ đồ lặp hội tụ mạnh bảo đảm độ tin cậy và ổn định số khi xây dựng các thuật toán tính toán mô phỏng trên máy tính.

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

Hạn chế được ghi nhận từ phạm vi nghiên cứu

  • Phạm vi không gian nghiên cứu chủ yếu tập trung trong không gian Hilbert thực $H$. Mặc dù một số khái niệm ban đầu (như ánh xạ đối ngẫu, ánh xạ giả co chặt) được nhắc đến trong không gian Banach, các kết quả chính của Chương 2 và Chương 3 gắn liền với cấu trúc tích vô hướng và phép chiếu metric trực giao của không gian Hilbert.
  • Lớp ánh xạ được nghiên cứu trong Chương 3 giới hạn ở họ hữu hạn các ánh xạ không giãn; việc mở rộng trực tiếp phương pháp KM-HSD cho họ vô hạn các ánh xạ không giãn hoặc mở rộng cho lớp ánh xạ giả co chặt chưa được trình bày trọn vẹn trong khuôn khổ luận án.
  • Các kết quả dừng lại ở mức độ chứng minh giải tích toán học về sự tồn tại và hội tụ mạnh của dãy lặp lý thuyết, văn bản chưa bao gồm các bảng tính số thực nghiệm hoặc mã nguồn lập trình mô phỏng cụ thể cho một bài toán xử lý ảnh thực tế.

Hướng nghiên cứu tiếp

  • Mở rộng các sơ đồ nguyên lý bài toán phụ hiệu chỉnh và thuật toán KM-HSD từ không gian Hilbert sang các không gian Banach tổng quát hơn, chẳng hạn như không gian Banach lồi đều và trơn đều.
  • Nghiên cứu phát triển phương pháp KM-HSD cho bài toán tìm nghiệm bất đẳng thức biến phân trên tập điểm bất động chung của họ vô hạn các ánh xạ giả co chặt hoặc họ toán tử nửa co.
  • Thiết lập các đánh giá định lượng về tốc độ hội tụ của dãy lặp và triển khai thuật toán tính toán số trên các bài toán xử lý tín hiệu và phục hồi ảnh thực tế.

Giá trị tham khảo

Đối tượng thụ hưởng

  • Nghiên cứu sinh và học viên cao học chuyên ngành Toán Giải tích, Toán Ứng dụng và Tối ưu hóa: Luận án là tài liệu tham khảo chuyên khảo về kỹ thuật hiệu chỉnh Browder-Tikhonov, nguyên lý bài toán phụ Cohen và lý thuyết hội tụ của các phép lặp phi tuyến.
  • Giảng viên và nhà nghiên cứu giải tích phi tuyến: Cung cấp hệ thống tài liệu tổng quan toàn diện về lịch sử phát triển của các phương pháp lặp từ von Neumann, Mann, Ishikawa, Halpern đến Yamada và các phát triển hiện đại.
  • Các kỹ sư và chuyên gia nghiên cứu trong lĩnh vực xử lý tín hiệu số, thị giác máy tính và khoa học dữ liệu: Tham khảo nền tảng lý thuyết của bài toán chấp nhận lồi và các thuật toán chiếu xấp xỉ liên tiếp phục vụ bài toán khôi phục ảnh và xử lý dữ liệu nghịch đảo.

Các phần có giá trị tham khảo chuyên sâu

  • Chương 1 (Mục 1.2 và 1.3): Hệ thống hóa đầy đủ định nghĩa, tính chất của các lớp ánh xạ đơn điệu, liên tục Lipschitz, không giãn, giả co chặt và tổng quan tường minh các sơ đồ lặp kinh điển cùng điều kiện hội tụ.
  • Chương 2 (Mục 2.2): Kỹ thuật giải tích thiết lập nghiệm hiệu chỉnh và các bất đẳng thức đánh giá sai số cho họ vô hạn các toán tử phi tuyến dựa trên tổng chuỗi hội tụ.
  • Chương 3 (Mục 3.2): Cấu trúc thuật toán KM-HSD và phương pháp luận kết hợp giữa sơ đồ gradient lai với phép lặp Krasnoselskij-Mann.

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

1. Ánh xạ $\lambda$-giả co chặt trong không gian Hilbert được định nghĩa như thế nào trong luận án?

Trong không gian Hilbert thực $H$, ánh xạ $T: C \to H$ được gọi là $\lambda$-giả co chặt (với hằng số $0 \le \lambda < 1$) nếu với mọi $x, y \in C$, bất đẳng thức sau được thỏa mãn: $$|T(x) - T(y)|^2 \le |x - y|^2 + \lambda|(I - T)(x) - (I - T)(y)|^2$$ hoặc dưới dạng tích vô hướng: $$((I - T)(x) - (I - T)(y), x - y) \ge \frac{1 - \lambda}{2} |(I - T)(x) - (I - T)(y)|^2$$ Khi $\lambda = 0$, ánh xạ $\lambda$-giả co chặt trở thành ánh xạ không giãn thông thường: $|T(x) - T(y)| \le |x - y|$.

2. Sự khác biệt căn bản về tính chất hội tụ giữa phép lặp Mann và các phương pháp trong luận án là gì?

Phép lặp Mann truyền thống ($x_{n+1} = (1 - \alpha_n)x_n + \alpha_n T(x_n)$) trong không gian vô hạn chiều nói chung chỉ bảo đảm sự hội tụ yếu về điểm bất động, trừ khi không gian hoặc toán tử thỏa mãn các giả thiết rất mạnh như tính compact (ví dụ $T$ là $d$-compact). Luận án xây dựng các thuật toán mới (nguyên lý bài toán phụ hiệu chỉnh và KM-HSD) kết hợp cơ chế hiệu chỉnh tham số và lai ghép dốc nhất để bảo đảm dãy lặp luôn đạt được sự hội tụ mạnh trong tôpô chuẩn của không gian Hilbert mà không cần giả thiết compact.

3. Phương pháp nguyên lý bài toán phụ hiệu chỉnh trong Chương 2 giải quyết bài toán gì và dựa trên cơ chế nào?

Phương pháp trong Chương 2 giải bài toán tìm điểm bất động chung cho một họ vô hạn các ánh xạ $\lambda_i$-giả co chặt ${T_i}_{i=1}^\infty$ trong không gian Hilbert thực. Cơ chế của phương pháp là:

  • Kết hợp nguyên lý bài toán phụ (Cohen, 1980) với phương pháp hiệu chỉnh Browder-Tikhonov (Baasansuren, 2000).
  • Chuyển bài toán tìm điểm bất động chung về bài toán tìm nghiệm hiệu chỉnh $u_\alpha$ của bất đẳng thức biến phân liên kết với toán tử tổng vô hạn $\sum_{i=1}^\infty \gamma_i (I - T_i) + \alpha I$.
  • Tại mỗi bước lặp, thuật toán giải một bài toán cực tiểu hóa phụ đối với phiếm hàm lồi trơn $\phi$, giúp tránh việc phải nghịch đảo trực tiếp hệ toán tử phi tuyến phức tạp.

4. Thuật toán KM-HSD ở Chương 3 là gì và có điểm gì cải tiến so với phương pháp HSD của Yamada?

Thuật toán KM-HSD (Krasnoselskij-Mann Hybrid Steepest Descent) là thuật toán mới do tác giả đề xuất để tìm nghiệm của bất đẳng thức biến phân cổ điển trên tập điểm bất động chung của một họ hữu hạn các ánh xạ không giãn ${T_i}_{i=1}^N$ trong không gian Hilbert. Điểm cải tiến so với phương pháp HSD của Yamada là: thay vì chỉ áp dụng bước nhảy dốc nhất đơn thuần tuần hoàn trên các toán tử không giãn, KM-HSD lồng ghép bước lặp trung bình trọng số kiểu Krasnoselskij-Mann vào sơ đồ cập nhật, giúp điều hòa quá trình xấp xỉ điểm bất động và bảo đảm sự hội tụ mạnh về nghiệm duy nhất $u^*$ dưới các điều kiện suy giảm của dãy bước nhảy $\lambda_k$ và trọng số $\beta_k$.

5. Các kết quả của luận án đã được công bố và báo cáo tại những diễn đàn học thuật nào?

Các kết quả nghiên cứu chính trong luận án đã được công bố trên các tạp chí chuyên ngành:

  • Tạp chí Khoa học và Công nghệ - Đại học Thái Nguyên.
  • International Journal of Mathematical Analysis.
  • Applied Mathematical Sciences. Đồng thời, các nội dung đã được báo cáo tại:
  • Seminar Bộ môn Giải tích, Khoa Toán, Trường Đại học Sư phạm - Đại học Thái Nguyên.
  • Các Hội nghị Nghiên cứu sinh Khoa Toán, Trường Đại học Sư phạm - Đại học Thái Nguyên (giai đoạn 2009–2012).
  • Hội thảo quốc gia lần thứ XV: "Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông" tổ chức tại Hà Nội (ngày 03–04/12/2012).

Kết luận

Luận án tiến sĩ toán học của nghiên cứu sinh Lâm Thùy Dương đã nghiên cứu và giải quyết thành công bài toán tìm điểm bất động chung cho một họ các ánh xạ phi tuyến (ánh xạ giả co chặt và ánh xạ không giãn), cũng như bài toán bất đẳng thức biến phân liên kết trong không gian Hilbert thực. Bằng việc kết hợp sáng tạo giữa nguyên lý bài toán phụ Cohen, kỹ thuật hiệu chỉnh Browder-Tikhonov, phương pháp dốc nhất lai Yamada và phép lặp Krasnoselskij-Mann, luận án đã thiết lập các thuật toán lặp mới đạt sự hội tụ mạnh tới nghiệm duy nhất của bài toán. Các kết quả lý thuyết này làm phong phú thêm kho tàng giải tích phi tuyến và cung cấp cơ sở toán học đáng tin cậy cho các ứng dụng tính toán trong tối ưu hóa và xử lý tín hiệu, hình ảnh.