Tổng quan luận án
Luận án tiến sĩ toán học của nghiên cứu sinh Dương Việt Thông, chuyên ngành Toán giải tích (mã số: 62460102), với đề tài "Một số phương pháp tìm điểm bất động chung của một họ ánh xạ không giãn", được thực hiện tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội, dưới sự hướng dẫn khoa học của GS. Phạm Kỳ Anh và GS. Nguyễn Bường. Bản thảo luận án hoàn thành vào tháng 12 năm 2014 và bảo vệ năm 2015.
Tính cấp thiết và khoảng trống nghiên cứu
Lý thuyết điểm bất động, khởi xướng bởi L. Brouwer năm 1912, là một chuyên ngành trung tâm của Giải tích phi tuyến với nhiều ứng dụng trong giải tích số, giải tích lồi và phương trình đạo hàm riêng. Trong cấu trúc giải tích hiện đại, nghiên cứu điểm bất động của lớp ánh xạ không giãn kết nối chặt chẽ giữa hình học không gian Banach, lý thuyết toán tử đơn điệu và toán tử tăng trưởng. Đáng chú ý, dưới vi phân $\partial f$ của một hàm lồi, nửa liên tục dưới, chính thường trong không gian Banach phản xạ là một toán tử đơn điệu cực đại; việc tìm cực tiểu của hàm lồi tương đương với bài toán tìm không điểm của toán tử đơn điệu, và quy về việc tìm điểm bất động của giải thức Yosida $J_\lambda = (I + \lambda A)^{-1}$ – một ánh xạ không giãn. Tương tự, bài toán bất đẳng thức biến phân $VIP(A, C)$ với toán tử đơn điệu mạnh ngược cũng tương đương với bài toán tìm điểm bất động của ánh xạ không giãn $T = P_C(I - \lambda A)$.
Trong thực tế toán học, nhiều vấn đề khoa học và công nghệ quy về việc tìm điểm bất động chung của một họ ánh xạ không giãn thay vì chỉ một ánh xạ đơn lẻ, đưa bài toán trở thành bài toán chấp nhận lồi (convex feasibility problem). Các phương pháp lặp cổ điển như Picard, Krasnoselskij, Mann, và Ishikawa bộc lộ những hạn chế nhất định: phép lặp Picard không áp dụng được cho ánh xạ không giãn; phép lặp Mann nói chung chỉ đạt hội tụ yếu; trong khi tốc độ hội tụ tương đối giữa các sơ đồ lặp (như giữa Mann và Ishikawa, hoặc giữa các thuật toán lặp hai bước với Mann và Ishikawa) vẫn còn nhiều vấn đề bỏ ngỏ. Đối với nửa nhóm ánh xạ, các sơ đồ lặp ẩn xoay vòng và phương pháp xấp xỉ gắn kết (viscosity approximation) đòi hỏi phải thiết lập các điều kiện tham số mới, linh hoạt hơn để đảm bảo tính hội tụ mạnh hoặc hội tụ yếu trong không gian Hilbert và không gian Banach.
Mục tiêu nghiên cứu
Luận án xác định và giải quyết 4 nhiệm vụ cụ thể được đánh số theo văn bản như sau:
- So sánh được tốc độ hội tụ của một số phương pháp lặp cho lớp ánh xạ Zamfirescu.
- Nghiên cứu phương pháp lặp ẩn cho nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co chặt.
- Nghiên cứu phương pháp xấp xỉ gắn kết ẩn và phương pháp xấp xỉ gắn kết hiện cho nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co Lipschitz.
- Nghiên cứu phương pháp xấp xỉ gắn kết ẩn có sai số cho nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co Lipschitz.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Các thuật toán lặp xấp xỉ điểm bất động, bao gồm phép lặp Picard, Mann, Ishikawa, phép lặp hai bước Thianwan, phép lặp ẩn và phương pháp xấp xỉ gắn kết (ẩn, hiện, có sai số); các lớp ánh xạ gồm ánh xạ Zamfirescu, ánh xạ không giãn, ánh xạ giả co, ánh xạ giả co chặt, ánh xạ giả co Lipschitz và các nửa nhóm một tham số tương ứng.
- Phạm vi không gian: Không gian metric đầy đủ, không gian Banach thực (bao gồm các không gian có tính chất hình học đặc thù như lồi đều, lồi chặt, trơn, khả vi Gâteaux, khả vi Fréchet, thỏa mãn điều kiện Opial, có ánh xạ đối ngẫu liên tục yếu theo dãy) và không gian Hilbert thực.
- Phạm vi nghiên cứu: Nghiên cứu thuần túy lý thuyết thuộc chuyên ngành Toán giải tích, tiếp cận theo phương pháp suy diễn toán học hình thức, không thực hiện khảo sát thực nghiệm số hay tính toán phần mềm ứng dụng.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước mà tác giả điểm lại
Luận án hệ thống hóa các mốc phát triển chính của lý thuyết điểm bất động và các sơ đồ lặp xấp xỉ:
- Nghiên cứu về các sơ đồ lặp cổ điển và tốc độ hội tụ: Dãy lặp Picard (1890); Krasnoselskij (1955) cho không gian Banach lồi đều; Mann (1953) cho lớp ánh xạ tựa không giãn; Ishikawa (1974) mở rộng cho ánh xạ giả co Lipschitz. Đối với lớp ánh xạ Zamfirescu (Zamfirescu, 1972), V. Berinde (2002, 2004) đã chứng minh sự hội tụ mạnh của dãy lặp Mann và chỉ ra phép lặp Picard hội tụ nhanh hơn phép lặp Mann. S. M. Şolutuz (2007) thiết lập sự tương đương về hội tụ giữa các dãy lặp Picard, Mann và Ishikawa. I. Yildirim, M. Ozdemir và H. Kiziltunc (2009) chứng minh định lý hội tụ mạnh và sự tương đương của dãy lặp hai bước Thianwan (2009). Zhiqun Xue (2008) so sánh tốc độ hội tụ giữa Picard, Mann, Krasnoselskij và Ishikawa cho toán tử Zamfirescu; Popescu (2007) so sánh Picard và Mann cho ánh xạ tựa co.
- Nghiên cứu về phương pháp lặp ẩn: F. Browder (1967) đề xuất sơ đồ lặp ẩn $x_n = \alpha_n u + (1 - \alpha_n)T x_n$ cho ánh xạ không giãn trong không gian Hilbert. T. Suzuki (2003) nghiên cứu phương pháp ẩn cho nửa nhóm ánh xạ không giãn trong không gian Hilbert. H. K. Xu mở rộng kết quả của Suzuki sang không gian Banach lồi đều có ánh xạ đối ngẫu liên tục yếu. B. A. Ori (2001) giới thiệu dãy lặp ẩn xoay vòng $x_n = \alpha_n x_{n-1} + (1 - \alpha_n)T_n x_n$ cho họ hữu hạn ánh xạ không giãn trong không gian Hilbert. M. O. Osilike (2004) mở rộng thuật toán Ori cho họ hữu hạn ánh xạ giả co chặt. R. Zhou (2006) và H. Zhou (2007) áp dụng sơ đồ này cho họ hữu hạn ánh xạ giả co liên tục và giả co Lipschitz trong không gian Banach.
- Nghiên cứu về phương pháp xấp xỉ gắn kết (Viscosity approximation methods): A. Moudafi (2000) khởi xướng phương pháp gắn kết dạng ẩn và dạng hiện trong không gian Hilbert với ánh xạ co $f$. R. He (2006) nghiên cứu phương pháp gắn kết ẩn và hiện cho nửa nhóm ánh xạ không giãn. H. K. Xu (2006) khảo sát trường hợp nửa nhóm không giãn tiệm cận chính quy đều. Về phương pháp lặp có số hạng sai số, Hao (2007) khảo sát dãy lặp ẩn có sai số cho họ hữu hạn ánh xạ giả co Lipschitz trong không gian Banach lồi đều; Khang (2011) nghiên cứu định lý hội tụ mạnh cho nửa nhóm ánh xạ giả co Lipschitz.
- Các nghiên cứu tại Việt Nam: Tác giả điểm lại các công trình của các nhà toán học trong nước nghiên cứu về phương pháp lặp CQ (lai ghép) và các sơ đồ tìm điểm bất động chung như: Phạm Kỳ Anh, Phạm Ngọc Anh, Trần Quốc Bình, Nguyễn Bường, Lê Anh Dũng, Nguyễn Thị Thanh Hà, Đỗ Hồng Tân, Nguyễn Thị Thu Thủy, Nguyễn Thị Thu Vân, Nguyễn Thế Vinh.
Khoảng trống luận án lựa chọn giải quyết
Từ tổng quan tài liệu, luận án xác định các khoảng trống học thuật cần tập trung xử lý:
- Thứ nhất, chưa có công trình nào tiến hành so sánh đầy đủ tốc độ hội tụ của dãy lặp hai bước Thianwan với các dãy lặp Picard, Mann và Ishikawa trên lớp ánh xạ Zamfirescu.
- Thứ hai, các định lý hội tụ cho phương pháp lặp ẩn đối với nửa nhóm ánh xạ không giãn thường yêu cầu các điều kiện ngặt nghèo về tính đơn điệu hoặc giới hạn hội tụ về 0 của dãy bước thời gian ${t_n}$ (như $\lim_{n \to \infty} t_n = 0$). Luận án đặt mục tiêu xây dựng các điều kiện giải tích mới, trong đó dãy ${t_n}$ có thể dao động (chỉ cần $\liminf_{n \to \infty} t_n = 0 < \limsup_{n \to \infty} t_n$ và $\lim_{n \to \infty}(t_{n+1} - t_n) = 0$), áp dụng cho nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co chặt.
- Thứ ba, mở rộng phương pháp xấp xỉ gắn kết (dạng ẩn, dạng hiện, và dạng ẩn có xét đến sai số tính toán) từ ánh xạ đơn lẻ hoặc họ hữu hạn sang nửa nhóm liên tục một tham số của các lớp ánh xạ phi tự do như ánh xạ không giãn và ánh xạ giả co Lipschitz trong không gian Banach và Hilbert.
Cơ sở lý thuyết và phương pháp nghiên cứu
Lý thuyết, khái niệm và khung phân tích
Luận án vận dụng hệ thống lý thuyết nền tảng của Giải tích hàm và Giải tích phi tuyến:
- Cấu trúc hình học không gian Banach:
- Tính lồi: Không gian lồi chặt; không gian lồi đều thông qua hàm môđun lồi $\delta(\epsilon) = \inf{1 - \frac{1}{2}|x+y| : |x| \le 1, |y| \le 1, |x-y| \ge \epsilon} > 0$ với mọi $\epsilon > 0$. Bất đẳng thức chuẩn trong không gian lồi đều: $| \frac{x+y}{2} | \le r(1 - \delta(\frac{\epsilon}{r}))$ với $|x| \le r, |y| \le r, |x-y| \ge \epsilon$.
- Tính phản xạ và điều kiện Opial: Không gian thỏa mãn điều kiện Opial nếu với mọi dãy $x_n \rightharpoonup x$ yếu thì $\liminf_{n \to \infty} |x_n - x| < \liminf_{n \to \infty} |x_n - y|$ với mọi $y \neq x$.
- Ánh xạ đối ngẫu $J: X \to 2^{X^}$ xác định bởi $J(x) = {f \in X^ : \langle x, f \rangle = |x|^2 = |f|^2}$. Tính liên tục yếu theo dãy của $J$ kéo theo điều kiện Opial. Bất đẳng thức cơ bản: $|x+y|^2 \le |x|^2 + 2\langle y, j(x+y) \rangle$ với mọi $j(x+y) \in J(x+y)$.
- Tính khả vi của chuẩn: Chuẩn khả vi Gâteaux, Gâteaux đều, Fréchet và Fréchet đều (không gian trơn đều). Chuẩn khả vi Fréchet đều tương đương với không gian đối ngẫu $X^*$ lồi đều.
- Phân loại ánh xạ và nửa nhóm:
- Ánh xạ không giãn: $|Tx - Ty| \le |x - y|$. Tính chất nửa đóng (demiclosed principle): nếu $x_n \rightharpoonup u$ và $(I-T)x_n \to v$ thì $(I-T)u = v$.
- Lớp ánh xạ giả co: $\langle Tx - Ty, j(x-y) \rangle \le |x-y|^2$, tương đương với $I - T$ là toán tử tăng trưởng.
- Lớp ánh xạ giả co mạnh: $\langle Tx - Ty, j(x-y) \rangle \le (1 - \lambda)|x-y|^2$ với $\lambda \in (0, 1)$.
- Lớp ánh xạ giả co chặt: $\langle Tx - Ty, j(x-y) \rangle \le |x-y|^2 - \lambda |(I-T)x - (I-T)y|^2$. Ánh xạ giả co chặt là ánh xạ Lipschitz với hằng số Lipschitz $L = \frac{1+\lambda}{\lambda}$ (trong không gian Banach) hoặc $L = \frac{1+k}{1-k}$ (trong không gian Hilbert).
- Nửa nhóm ánh xạ ${T(t) : t \ge 0}$ thỏa mãn tính chất nửa nhóm $T(s+t) = T(s)T(t)$, $T(0) = I$, và tính liên tục theo quỹ đạo $t \mapsto T(t)x$.
- Ánh xạ Zamfirescu: Thỏa mãn một trong ba điều kiện co metric của Zamfirescu, dẫn tới bất đẳng thức $d(Tx, Ty) \le \delta d(x, y) + 2\delta d(x, Tx)$ với $\delta = \max{a, \frac{b}{1-b}, \frac{c}{1-c}} \in (0, 1)$.
Phương pháp nghiên cứu thực tế
Nghiên cứu sử dụng phương pháp giải tích toán học thuần túy:
- Kỹ thuật phân tích dãy và giải tích xấp xỉ: Xây dựng các hệ thức truy hồi cho sai số $|x_n - q|$, ước lượng chặn trên và chặn dưới qua các tích vô hạn $\prod_{k=0}^n [1 - (1-\delta)a_k]$.
- Vận dụng bổ đề giải tích dãy của T. Suzuki (2003) để trích xuất các dãy con thời gian ${t_{n_j}}$ hội tụ về các điểm tụ của tập tham số khi dãy ${t_n}$ có bước nhảy tiêu tán $\lim_{n \to \infty} (t_{n+1} - t_n) = 0$.
- Kỹ thuật xấp xỉ Yosida và toán tử tăng trưởng: Sử dụng giải thức $J_\lambda = (I + \lambda A)^{-1}$ và tính không giãn của nó để quy bài toán phương trình toán tử phi tuyến về bài toán điểm bất động.
- Phương pháp chiếu biến phân và giải tích bất đẳng thức biến phân: Sử dụng tính chất của phép chiếu mêtric $P_C$ và nghiệm duy nhất của bất đẳng thức biến phân dạng $\langle (f - I)q, j(x - q) \rangle \le 0$ để định vị giới hạn mạnh của dãy xấp xỉ gắn kết.
Nguồn tư liệu và dữ liệu
Toàn bộ dữ liệu nghiên cứu là các văn bản toán học, định lý, bổ đề và công trình khoa học đã công bố trên các tạp chí toán học quốc tế chuyên ngành (như Journal of Mathematical Analysis and Applications, Nonlinear Analysis, Fixed Point Theory and Applications...) cùng các kỷ yếu hội nghị toán học chuyên ngành trong nước và các báo cáo seminar tại Bộ môn Giải tích, Trường Đại học Sư phạm Hà Nội và Khoa Toán - Cơ - Tin học, Trường Đại học Khoa học Tự nhiên.
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 định nghĩa, tính chất nền tảng về hình học không gian Banach, các lớp ánh xạ phi tuyến và thiết lập các kết quả so sánh tốc độ hội tụ cho lớp ánh xạ Zamfirescu.
Dãy lặp hai bước Thianwan được xác định bởi: $$y_n = (1 - b_n)x_n + b_n T x_n$$ $$x_{n+1} = (1 - a_n)y_n + a_n T y_n, \quad n \ge 0$$ với ${a_n}, {b_n} \subset [0, 1]$. Tác giả áp dụng định nghĩa tốc độ hội tụ của Berinde: dãy ${a_n}$ hội tụ nhanh hơn dãy ${b_n}$ về điểm bất động $q$ nếu $\lim_{n \to \infty} \frac{|a_n - q|}{|b_n - q|} = 0$.
Chương này chứng minh ba định lý định lượng về tốc độ hội tụ:
- So sánh dãy Picard và dãy hai bước (Định lý 1.32): Nếu ${a_n}, {b_n} \subset (0, \frac{1}{1+\delta})$, thỏa mãn $\sum_{n=0}^\infty a_n = \infty$, $\lim_{n \to \infty} a_n = 0$, $\lim_{n \to \infty} b_n = 0$, thì dãy lặp Picard hội tụ nhanh hơn dãy lặp hai bước.
- So sánh dãy hai bước và dãy Mann (Định lý 1.33): Nếu ${a_n} \subset (0, \frac{1}{1+\frac{1}{1+m}\delta})$ với $m > 0$, $\sum_{n=0}^\infty a_n = \infty$, ${b_n} \subset (0, 1)$ và $\sum_{n=0}^\infty b_n = \infty$, thì dãy lặp hai bước hội tụ nhanh hơn dãy lặp Mann.
- So sánh dãy hai bước và dãy Ishikawa (Định lý 1.34): Dưới các điều kiện tham số tương tự như đối với dãy Mann, dãy lặp hai bước hội tụ nhanh hơn dãy lặp Ishikawa.
Bảng tổng hợp quan hệ so sánh tốc độ hội tụ trên lớp ánh xạ Zamfirescu được thiết lập trong luận án:
| Cặp so sánh | Thuật toán nhanh hơn | Thuật toán chậm hơn | Điều kiện tham số then chốt |
|---|---|---|---|
| Cặp 1 | Dãy lặp Picard ($p_{n+1} = Tp_n$) | Dãy lặp hai bước ($x_n$) | $a_n, b_n \to 0$; $\sum a_n = \infty$; $a_n, b_n < \frac{1}{1+\delta}$ |
| Cặp 2 | Dãy lặp hai bước ($x_n$) | Dãy lặp Mann ($v_n$) | $\sum a_n = \infty$; $\sum b_n = \infty$; $a_n < \frac{1}{1+\frac{1}{1+m}\delta}$ |
| Cặp 3 | Dãy lặp hai bước ($x_n$) | Dãy lặp Ishikawa ($u_n$) | $\sum a_n = \infty$; $\sum b_n = \infty$; $a_n < \frac{1}{1+\frac{1}{1+m}\delta}$ |
| Cặp 4 | Dãy lặp Mann ($v_n$) | Dãy lặp Ishikawa ($u_n$) | Chưa có kết luận khẳng định (vấn đề mở) |
Chương 2: Phương pháp lặp ẩn
Chương 2 nghiên cứu sự hội tụ của sơ đồ lặp ẩn đối với nửa nhóm ánh xạ: $$x_0 \in C, \quad x_n = \alpha_n x_{n-1} + (1 - \alpha_n)T(t_n)x_n, \quad n \ge 1$$
Các kết quả then chốt đạt được bao gồm:
- Hội tụ yếu trong không gian Hilbert (Định lý 2.5): Xét nửa nhóm không giãn ${T(t) : t \ge 0}$ với $\bigcap_{t \ge 0} F(T(t)) \neq \emptyset$. Các dãy tham số thỏa mãn ${\alpha_n} \subset (0, b] \subset (0, 1)$, $t_n > 0$, $\liminf_{n \to \infty} t_n = 0$, $\limsup_{n \to \infty} t_n > 0$, và bước nhảy triệt tiêu $\lim_{n \to \infty} (t_{n+1} - t_n) = 0$. Tác giả chứng minh dãy ${x_n}$ hội tụ yếu về một phần tử thuộc tập điểm bất động chung $\bigcap_{t \ge 0} F(T(t))$. Điểm mới là dãy ${t_n}$ không đòi hỏi hội tụ về 0 mà có thể dao động (ví dụ minh họa dãy thỏa mãn giả thiết là $t_n = \frac{\pi}{\sqrt{2}} |\sin n|$).
- Hội tụ yếu trong không gian Banach có điều kiện Opial (Định lý 2.6): Với giả thiết ${\alpha_n} \subset (0, 1)$, $t_n > 0$, và $\lim_{n \to \infty} t_n = \lim_{n \to \infty} \frac{\alpha_n}{t_n} = 0$, dãy ${x_n}$ hội tụ yếu về một điểm bất động chung của nửa nhóm không giãn.
- Hội tụ mạnh trong không gian Banach (Định lý 2.7): Khi tập $C$ là tập con lồi compắc của không gian Banach $X$, với các điều kiện $\lim_{n \to \infty} t_n = \lim_{n \to \infty} \frac{\alpha_n}{t_n} = 0$, dãy ${x_n}$ hội tụ mạnh về một điểm thuộc $\bigcap_{t \ge 0} F(T(t))$.
- Mở rộng sang không gian Banach lồi đều có điều kiện Opial (Định lý 2.8): Sử dụng các tính chất giải tích của môđun lồi $\delta(\epsilon)$, tác giả mở rộng kết quả hội tụ yếu từ không gian Hilbert sang không gian Banach lồi đều với điều kiện dao động $\liminf_{n \to \infty} t_n = 0 < \limsup_{n \to \infty} t_n$ và $\lim_{n \to \infty} (t_{n+1} - t_n) = 0$.
- Mở rộng cho nửa nhóm ánh xạ giả co chặt (Mục 2.2): Luận án phát triển sơ đồ lặp ẩn cho họ một tham số các ánh xạ giả co chặt, kế thừa và mở rộng sơ đồ lặp xoay vòng rời rạc của Osilike (2004) và Zhou (2006).
Chương 3: Phương pháp xấp xỉ gắn kết
Chương 3 khảo sát phương pháp xấp xỉ gắn kết với ánh xạ co $f$:
- Phương pháp xấp xỉ gắn kết ẩn và hiện cho nửa nhóm không giãn (Mục 3.1): Khảo sát sơ đồ ẩn $x_n = \alpha_n f(x_n) + (1 - \alpha_n)T(t_n)x_n$ và sơ đồ hiện $x_{n+1} = \alpha_n f(x_n) + (1 - \alpha_n)T(t_n)x_n$. Tác giả chứng minh tính hội tụ mạnh của dãy lặp đến điểm bất động chung $q \in \bigcap_{t \ge 0} F(T(t))$, trong đó $q$ là nghiệm duy nhất của bất đẳng thức biến phân: $$\langle (f - I)q, j(x - q) \rangle \le 0, \quad \forall x \in \bigcap_{t \ge 0} F(T(t))$$
- Phương pháp xấp xỉ gắn kết cho nửa nhóm ánh xạ giả co Lipschitz (Mục 3.2): Mở rộng các sơ đồ gắn kết sang lớp nửa nhóm giả co có tính chất Lipschitz với hằng số $M = \sup{L(t) : t \ge 0} < \infty$, giải quyết bài toán phức tạp phát sinh do toán tử không còn là toán tử không giãn.
- Phương pháp xấp xỉ gắn kết ẩn có sai số (Mục 3.3): Đề xuất và phân tích quy trình lặp: $$x_0 \in K, \quad x_n = \alpha_n f(x_n) + \beta_n T(t_n)x_n + \gamma_n u_n, \quad n \ge 1$$ trong đó ${u_n}$ là dãy bị chặn trong tập lồi đóng $K$ đại diện cho sai số tính toán, các dãy số thực ${\alpha_n}, {\beta_n}, {\gamma_n} \subset [0, 1]$ thỏa mãn $\alpha_n + \beta_n + \gamma_n = 1$. Tác giả chứng minh định lý hội tụ mạnh cho nửa nhóm không giãn và nửa nhóm giả co Lipschitz dưới các điều kiện ràng buộc giải tích thích hợp đối với các hệ số và tham số thời gian.
Kết quả và những đóng góp mới
Đóng góp về mặt lý luận
Luận án đạt được 4 kết quả đóng góp mới được tác giả tổng kết:
- Thiết lập thứ tự tốc độ hội tụ trên lớp ánh xạ Zamfirescu: Chứng minh một cách tường minh rằng dãy lặp Picard hội tụ nhanh hơn dãy lặp hai bước Thianwan, và dãy lặp hai bước Thianwan hội tụ nhanh hơn cả dãy lặp Mann lẫn dãy lặp Ishikawa. Kết quả này bổ sung vào chuỗi các công trình của Berinde (2004), Popescu (2007) và Xue (2008).
- Nới lỏng điều kiện tham số trong phương pháp lặp ẩn: Thiết lập các định lý hội tụ yếu và hội tụ mạnh cho dãy lặp ẩn của nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co chặt. Điểm mới căn bản nằm ở việc loại bỏ yêu cầu dãy bước thời gian ${t_n}$ phải hội tụ về 0, thay thế bằng điều kiện yếu hơn: dãy dao động thỏa mãn $\liminf_{n \to \infty} t_n = 0 < \limsup_{n \to \infty} t_n$ cùng với gia số triệt tiêu $\lim_{n \to \infty} (t_{n+1} - t_n) = 0$.
- Phát triển phương pháp xấp xỉ gắn kết cho nửa nhóm: Chứng minh sự hội tụ mạnh của các sơ đồ gắn kết ẩn và hiện đối với nửa nhóm ánh xạ không giãn và nửa nhóm ánh xạ giả co Lipschitz, xác định chính xác điểm hội tụ là nghiệm của bất đẳng thức biến phân tương ứng.
- Đánh giá sơ đồ xấp xỉ gắn kết ẩn có sai số: Xây dựng định lý hội tụ mạnh cho phương pháp lặp gắn kết ẩn có chứa thành phần nhiễu/sai số ${u_n}$, cung cấp cơ sở toán học cho các tính toán xấp xỉ trong không gian Banach và Hilbert.
Kiến nghị và định hướng ứng dụng
- Về mặt lý thuyết: Kết quả luận án tạo tiền đề cho việc giải các bài toán chấp nhận lồi, bài toán tìm không điểm của toán tử đơn điệu cực đại $0 \in Ax$ và bài toán bất đẳng thức biến phân $VIP(A, C)$ qua các thuật toán lặp xấp xỉ.
- Về mặt ứng dụng giải tích: Luận án kiến nghị áp dụng các thuật toán điểm bất động chung đã chứng minh để giải quyết các bài toán tối ưu hóa lồi phân rã và phương trình đạo hàm riêng phi tuyến chứa toán tử tăng trưởng.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế được ghi nhận từ văn bản
- Vấn đề so sánh tốc độ hội tụ: Luận án thừa nhận rõ ràng ở cuối Chương 1 rằng tác giả vẫn chưa thể so sánh được tốc độ hội tụ giữa hai sơ đồ lặp cổ điển là dãy lặp Mann và dãy lặp Ishikawa đối với lớp ánh xạ Zamfirescu; đây vẫn là một câu hỏi mở trong giải tích xấp xỉ.
- Phạm vi không gian hình học: Các định lý hội tụ yếu cho phương pháp lặp ẩn và gắn kết phụ thuộc vào điều kiện hình học ngặt của không gian Banach, cụ thể là điều kiện Opial hoặc tính lồi đều; chưa thể nới lỏng sang các không gian Banach tổng quát không có cấu trúc hình học đặc thù này.
- Tính chất giải tích của ánh xạ: Đối với nửa nhóm ánh xạ giả co, luận án đòi hỏi điều kiện liên tục Lipschitz đều qua tham số $M = \sup_{t \ge 0} L(t) < \infty$, chưa xử lý được các nửa nhóm giả co không liên tục hoặc chỉ thỏa mãn tính liên tục yếu.
Hướng nghiên cứu tiếp theo
Luận án kiến nghị hai hướng nghiên cứu tiếp nối:
- Tiếp tục nghiên cứu việc so sánh tốc độ hội tụ của các phương pháp lặp khác nhau trên các lớp toán tử rộng hơn ánh xạ Zamfirescu, đặc biệt tìm lời giải cho bài toán so sánh tốc độ hội tụ giữa phép lặp Mann và Ishikawa.
- Mở rộng phương pháp xấp xỉ gắn kết và phương pháp lặp ẩn (có hoặc không có sai số) cho các họ ánh xạ rộng hơn như ánh xạ tựa không giãn tiệm cận, ánh xạ giả co tổng quát, và kết hợp với phương pháp lai ghép CQ trong các không gian Banach không phản xạ.
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, Lý thuyết tối ưu hóa và Giải tích số có thể sử dụng luận án làm tài liệu học tập chuyên sâu về cấu trúc hình học không gian Banach và kỹ thuật chứng minh hội tụ của các sơ đồ lặp phi tuyến.
- Giảng viên và chuyên gia nghiên cứu: Phục vụ công tác giảng dạy các chuyên đề cao học về Giải tích phi tuyến, Lý thuyết toán tử đơn điệu và Lý thuyết điểm bất động; cung cấp tài liệu tham khảo cho các seminar chuyên ngành.
Các phần có giá trị tham khảo cao trong văn bản
- Mục 1.1 và 1.2 (Chương 1): Bản tổng hợp cô đọng, chặt chẽ về các khái niệm hình học không gian Banach (môđun lồi, tính trơn, ánh xạ đối ngẫu) và mối liên hệ giữa toán tử đơn điệu, toán tử tăng trưởng với giải thức Yosida.
- Chứng minh Định lý 2.5 (Chương 2): Kỹ thuật xử lý giải tích sử dụng Bổ đề Suzuki để xây dựng dãy con chỉ số cho tham số thời gian ${t_n}$ dao động là một mẫu hình kỹ thuật chứng minh có thể áp dụng cho các bài toán xấp xỉ nửa nhóm khác.
- Sơ đồ gắn kết có sai số ở Mục 3.3 (Chương 3): Khung phân tích xấp xỉ gắn kết có số hạng sai số $\gamma_n u_n$ là cấu trúc hữu ích cho các nghiên cứu muốn đưa yếu tố nhiễu tính toán vào mô hình lý thuyết.
Câu hỏi thường gặp
1. Luận án giải quyết bài toán so sánh tốc độ hội tụ giữa các phương pháp lặp nào cho lớp ánh xạ Zamfirescu?
Luận án đã so sánh và chứng minh được:
- Dãy lặp Picard hội tụ nhanh hơn dãy lặp hai bước Thianwan (Định lý 1.32).
- Dãy lặp hai bước Thianwan hội tụ nhanh hơn dãy lặp Mann (Định lý 1.33).
- Dãy lặp hai bước Thianwan hội tụ nhanh hơn dãy lặp Ishikawa (Định lý 1.34). Tuy nhiên, tác giả nêu rõ luận án chưa so sánh được tốc độ hội tụ giữa dãy lặp Mann và dãy lặp Ishikawa cho lớp ánh xạ này.
2. Điểm khác biệt căn bản về điều kiện của dãy tham số ${t_n}$ trong phương pháp lặp ẩn ở không gian Hilbert của luận án là gì?
Trong các nghiên cứu trước đây (như của T. Suzuki hay H. K. Xu), dãy tham số thời gian ${t_n}$ thường phải hội tụ về 0 ($\lim_{n \to \infty} t_n = 0$). Trong Định lý 2.5 của luận án, tác giả đưa ra giả thiết mới nới lỏng hơn: chỉ yêu cầu $\liminf_{n \to \infty} t_n = 0$, $\limsup_{n \to \infty} t_n > 0$, và gia số liên tiếp triệt tiêu $\lim_{n \to \infty} (t_{n+1} - t_n) = 0$. Điều này cho phép dãy ${t_n}$ dao động mà không cần có giới hạn triệt tiêu, ví dụ cụ thể là dãy $t_n = \frac{\pi}{\sqrt{2}} |\sin n|$.
3. Mối liên hệ toán học giữa bài toán tìm điểm bất động của ánh xạ không giãn với bài toán tối ưu lồi và bất đẳng thức biến phân được giải thích như thế nào?
Theo văn bản luận án:
- Với hàm lồi nửa liên tục dưới, chính thường $f$ trên không gian Banach thực phản xạ, dưới vi phân $\partial f$ là toán tử đơn điệu cực đại, và $0 \in \partial f(x)$ khi và chỉ khi $x = \text{argmin} {f(y) : y \in X}$. Bài toán cực tiểu hóa hàm lồi quy về tìm không điểm của toán tử đơn điệu cực đại $A = \partial f$. Không điểm này lại trùng với điểm bất động của giải thức Yosida $J_\lambda = (I + \lambda A)^{-1}$, vốn là một ánh xạ không giãn.
- Với bài toán bất đẳng thức biến phân $VIP(A, C)$ trong không gian Hilbert khi $A$ là toán tử đơn điệu mạnh ngược với hệ số $\alpha$, việc tìm nghiệm $x \in C$ tương đương với việc tìm điểm bất động của ánh xạ không giãn $T = P_C(I - \lambda A)$ với $0 < \lambda \le 2\alpha$.
4. Phương pháp xấp xỉ gắn kết ẩn có sai số trong Chương 3 được định nghĩa bởi hệ thức truy hồi nào?
Thuật toán xấp xỉ gắn kết ẩn có sai số được thiết lập tại trang 14 và Mục 3.3 theo công thức: $$x_0 \in K, \quad x_n = \alpha_n f(x_n) + \beta_n T(t_n)x_n + \gamma_n u_n$$ trong đó $f$ là ánh xạ co, ${T(t) : t \ge 0}$ là nửa nhóm ánh xạ không giãn hoặc giả co Lipschitz, ${u_n}$ là dãy bị chặn trong $K$ thể hiện sai số, và các dãy số thực ${\alpha_n}, {\beta_n}, {\gamma_n} \subset [0, 1]$ thỏa mãn $\alpha_n + \beta_n + \gamma_n = 1$.
5. Ánh xạ giả co chặt được định nghĩa như thế nào và có liên hệ gì với ánh xạ Lipschitz?
Theo văn bản luận án, ánh xạ $T: D(T) \to X$ trong không gian Banach $X$ được gọi là giả co chặt nếu tồn tại $j(x - y) \in J(x - y)$ và $\lambda \in (0, 1)$ sao cho: $$\langle Tx - Ty, j(x - y) \rangle \le |x - y|^2 - \lambda |(I - T)x - (I - T)y|^2$$ Luận án chỉ ra rằng mọi ánh xạ giả co chặt đều là ánh xạ liên tục Lipschitz với hằng số Lipschitz $L = \frac{1+\lambda}{\lambda}$ (trong không gian Banach) hoặc $L = \frac{1+k}{1-k}$ với $k \in [0, 1)$ (trong không gian Hilbert).
Kết luận
Luận án tiến sĩ của tác giả Dương Việt Thông là một công trình chuyên khảo lý thuyết thuộc chuyên ngành Toán giải tích, tập trung nghiên cứu các sơ đồ lặp giải tích phi tuyến để tìm điểm bất động chung của các họ và nửa nhóm ánh xạ không giãn, giả co chặt và giả co Lipschitz. Công trình đã thiết lập quan hệ so sánh tường minh về tốc độ hội tụ giữa dãy lặp hai bước Thianwan với các dãy lặp Picard, Mann, Ishikawa trên lớp ánh xạ Zamfirescu; đồng thời chứng minh các định lý hội tụ yếu và mạnh mới cho phương pháp lặp ẩn dưới điều kiện tham số dao động và các phương pháp xấp xỉ gắn kết ẩn, hiện có xét đến sai số tính toán. Các kết quả này đóng góp trực tiếp vào lý thuyết điểm bất động và mở rộng khả năng tiếp cận giải tích cho các bài toán bất đẳng thức biến phân và bài toán chấp nhận lồi trong không gian Banach và Hilbert.