Luận văn: Các phương pháp lặp cho bài toán điểm bất động của tác giả Đoàn Thị Hà

Khám phá luận văn thạc sĩ toán học về các phương pháp lặp cho bài toán điểm bất động, ứng dụng và ý nghĩa trong nghiên cứu toán học.

• Trường học: Trường Đại Học Khoa Học Tự Nhiên
• Chuyên ngành: Toán Học
• Đề tài: Luận Văn Thạc Sĩ Toán Học Một Số Phương Pháp Lặp Cho Bài Toán Điểm Bất Động
• Loại tài liệu: Luận Văn
• Năm xuất bản: 2023
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• LỜI CẢM ƠN
• LỜI NÓI ĐẦU
• 1. CHƯƠNG 1: KIẾN THỨC CHUẨN BỊ
• 1.1. Một số khái niệm và tính chất cơ bản trong giải tích hàm
• 1.2. Tính chất LE và tính chất điểm AF cho toán tử phi tuyến tính
• 1.3. Ánh xạ gần Lipschitz
• 1.4. Ánh xạ k-giả co chặt tiệm cận theo nghĩa suy rộng
• 2. CHƯƠNG 2: MỘT SỐ PHƯƠNG PHÁP LẶP THƯỜNG DÙNG TRONG LÍ THUYẾT ĐIỂM BẤT ĐỘNG
• 2.1. Phương pháp lặp Picard
• 2.2. Phương pháp lặp Mann
• 2.3. Phương pháp lặp Ishikawa
• 2.4. Phương pháp lặp Helpern
• 2.5. Phương pháp lặp CQ
• 2.6. Phương pháp lặp Browder
• KẾT LUẬN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng quan luận văn điểm bất động Nền tảng và ý nghĩa

Lý thuyết điểm bất động là một trong những trụ cột của ngành giải tích hàm và giải tích số, đóng vai trò then chốt trong việc giải quyết các phương trình phi tuyến. Một cách trực quan, việc tìm nghiệm cho phương trình f(x) = 0 có thể được quy về bài toán tìm điểm bất động T(x) = x, với T(x) = f(x) + x. Luận văn thạc sĩ toán học với chủ đề "Một số phương pháp lặp cho bài toán điểm bất động" tập trung vào việc nghiên cứu, phân tích và so sánh các thuật toán lặp nhằm tìm nghiệm xấp xỉ cho bài toán này. Nền tảng của toàn bộ lý thuyết này bắt nguồn từ định lý điểm bất động Banach, hay còn gọi là nguyên lý ánh xạ co, được Stefan Banach công bố vào năm 1922. Định lý này khẳng định rằng một ánh xạ co trên một không gian metric đầy đủ sẽ có một và chỉ một điểm bất động. Đây là kết quả kinh điển, cung cấp một công cụ mạnh mẽ để chứng minh sự tồn tại và duy nhất của điểm bất động. Tuy nhiên, lý thuyết không dừng lại ở đó. Nhiều bài toán trong thực tế liên quan đến các lớp ánh xạ rộng hơn như ánh xạ không giãn hoặc ánh xạ giả co, nơi nguyên lý của Banach không còn áp dụng trực tiếp. Điều này mở ra một lĩnh vực nghiên cứu phong phú về các phương pháp lặp khác nhau, từ cổ điển đến hiện đại, nhằm giải quyết những thách thức này và tìm ra các điều kiện hội tụ hiệu quả. Luận văn này hệ thống hóa các phương pháp quan trọng, từ đó cung cấp một tài liệu tham khảo giá trị cho sinh viên và các nhà nghiên cứu.

1.1. Từ phương trình phi tuyến đến bài toán điểm bất động

Việc chuyển đổi một phương trình phi tuyến bất kỳ thành bài toán tìm điểm bất động là một kỹ thuật nền tảng. Thay vì giải trực tiếp phương trình f(x) = 0, ta xây dựng một toán tử T sao cho nghiệm của phương trình ban đầu chính là điểm x thỏa mãn T(x) = x. Điểm x này được gọi là điểm bất động của T. Cách tiếp cận này có ưu điểm lớn là cho phép áp dụng kho tàng lý thuyết và công cụ của giải tích hàm, đặc biệt là các phương pháp lặp. Các thuật toán lặp xây dựng một dãy {xₙ} bắt đầu từ một điểm x₀ ban đầu, với công thức xₙ₊₁ được tính toán dựa trên xₙ, sao cho dãy này hội tụ về điểm bất động. Sự thành công của phương pháp phụ thuộc vào cấu trúc của toán tử T và không gian làm việc, chẳng hạn như không gian Banach hay không gian Hilbert.

1.2. Nền tảng cốt lõi Không gian metric đầy đủ và ánh xạ co

Hai khái niệm trung tâm của lý thuyết điểm bất động cổ điển là không gian metric đầy đủ và ánh xạ co. Một không gian metric được gọi là đầy đủ nếu mọi dãy Cauchy trong nó đều hội tụ đến một phần tử thuộc không gian đó. Tính đầy đủ này đảm bảo rằng quá trình lặp sẽ không "thoát" ra khỏi không gian đang xét. Một ánh xạ T được gọi là ánh xạ co nếu nó làm khoảng cách giữa hai điểm bất kỳ thu hẹp lại một tỷ lệ k < 1. Chính tính chất "co" này là chìa khóa để chứng minh sự tồn tại duy nhất của điểm bất động. Nguyên lý ánh xạ co Banach phát biểu rằng trên một không gian metric đầy đủ, mọi ánh xạ co đều có duy nhất một điểm bất động, và dãy lặp Picard sẽ hội tụ về điểm đó.

1.3. Ý nghĩa khoa học và thực tiễn của lý thuyết điểm bất động

Lý thuyết điểm bất động không chỉ là một lĩnh vực thuần túy của toán học. Các ứng dụng của điểm bất động vô cùng rộng rãi, từ giải phương trình vi phân, phương trình tích phân, các bài toán tối ưu hóa, lý thuyết trò chơi trong kinh tế, đến xử lý tín hiệu và học máy. Ví dụ, trong kinh tế, điểm cân bằng Nash có thể được xem như một điểm bất động của một hàm phản ứng nhất định. Trong kỹ thuật, việc tìm trạng thái ổn định của một hệ thống thường tương đương với việc tìm một điểm bất động. Do đó, việc nghiên cứu các phương pháp lặp cho bài toán điểm bất động không chỉ có giá trị lý thuyết mà còn cung cấp các công cụ tính toán hiệu quả cho nhiều ngành khoa học ứng dụng.

II. Thách thức chính khi tìm điểm bất động Vấn đề hội tụ

Mặc dù nguyên lý ánh xạ co Banach cung cấp một giải pháp thanh lịch, nó chỉ áp dụng cho một lớp ánh xạ hẹp. Trong nhiều bài toán thực tế, các toán tử liên quan không phải là ánh xạ co, mà là ánh xạ không giãn (hằng số Lipschitz bằng 1) hoặc các lớp ánh xạ tổng quát hơn như ánh xạ giả co. Đối với các lớp ánh xạ này, sự tồn tại và duy nhất của điểm bất động không còn được đảm bảo một cách đơn giản. Hơn nữa, ngay cả khi điểm bất động tồn tại, sự hội tụ của dãy lặp trở thành một vấn đề phức tạp. Thách thức lớn nhất là phân biệt giữa hai loại hội tụ: hội tụ mạnh và hội tụ yếu. Hội tụ mạnh (hội tụ theo chuẩn) là điều mong muốn nhất, trong khi hội tụ yếu là một khái niệm tổng quát hơn trong các không gian Banach vô hạn chiều. Nhiều phương pháp lặp cổ điển, khi áp dụng cho ánh xạ không giãn, chỉ có thể đảm bảo hội tụ yếu. Điều này đặt ra yêu cầu phải tìm kiếm các điều kiện hội tụ chặt chẽ hơn hoặc xây dựng các thuật toán lặp mới có khả năng đạt được hội tụ mạnh. Các không gian hàm với những tính chất hình học đặc biệt, như không gian thỏa mãn điều kiện Opial, đóng vai trò quan trọng trong việc phân tích sự hội tụ. Do đó, một phần quan trọng của luận văn toán giải tích về chủ đề này là khảo sát các điều kiện cần và đủ để một dãy lặp hội tụ, cũng như đánh giá tốc độ hội tụ của chúng.

2.1. Hạn chế khi ánh xạ không giãn và giả co xuất hiện

Khi một ánh xạ T là ánh xạ không giãn, tức là d(Tx, Ty) ≤ d(x, y), nó không nhất thiết phải có điểm bất động. Ví dụ, phép tịnh tiến T(x) = x + 1 trên trục số thực là một ánh xạ không giãn nhưng không có điểm bất động nào. Ngay cả khi tồn tại, điểm bất động cũng có thể không duy nhất. Lớp ánh xạ giả co còn phức tạp hơn, đòi hỏi các điều kiện chặt chẽ hơn để đảm bảo sự tồn tại của điểm bất động. Những hạn chế này cho thấy sự cần thiết phải vượt ra ngoài khuôn khổ của nguyên lý ánh xạ co và phát triển các công cụ phân tích mới cho các lớp ánh xạ rộng hơn, thường được gặp trong các bài toán tối ưu lồi và phương trình vi phân riêng phần.

2.2. Phân biệt sự hội tụ của dãy lặp Hội tụ mạnh và yếu

Trong một không gian Hilbert hoặc không gian Banach, sự hội tụ của dãy lặp có thể được hiểu theo hai nghĩa. Hội tụ mạnh, ||xₙ - x|| → 0, có nghĩa là khoảng cách giữa các phần tử của dãy và giới hạn tiến về 0. Đây là loại hội tụ trực quan và được mong đợi nhất. Hội tụ yếu, f(xₙ) → f(x) với mọi phiếm hàm tuyến tính liên tục f, là một khái niệm trừu tượng hơn. Hội tụ mạnh luôn kéo theo hội tụ yếu, nhưng điều ngược lại không đúng trong không gian vô hạn chiều. Nhiều thuật toán lặp kinh điển cho ánh xạ không giãn chỉ đảm bảo hội tụ yếu, điều này có thể không đủ cho các ứng dụng thực tế đòi hỏi độ chính xác cao.

2.3. Vai trò của điều kiện Opial trong không gian Banach

Điều kiện Opial là một tính chất hình học quan trọng của không gian Banach giúp nghiên cứu sự hội tụ yếu. Một không gian thỏa mãn điều kiện Opial nếu với mọi dãy {xₙ} hội tụ yếu về x, ta luôn có lim inf ||xₙ - x|| < lim inf ||xₙ - y|| với mọi y ≠ x. Nói cách khác, các phần tử của dãy "gần" với giới hạn yếu của nó hơn bất kỳ điểm nào khác. Các không gian Hilbert và các không gian lᵖ (1 < p < ∞) đều thỏa mãn điều kiện này. Điều kiện Opial là một công cụ hữu hiệu để chứng minh rằng giới hạn yếu của một dãy lặp cũng chính là một điểm bất động, giúp đơn giản hóa việc phân tích điều kiện hội tụ.

III. Các phương pháp lặp kinh điển cho bài toán điểm bất động

Để giải quyết bài toán tìm nghiệm gần đúng cho điểm bất động, nhiều phương pháp lặp đã được đề xuất và nghiên cứu sâu rộng. Các phương pháp này được xem là kinh điển, đặt nền móng cho các thuật toán phức tạp hơn sau này. Nổi bật và cơ bản nhất là phương pháp lặp Picard, được xây dựng trực tiếp từ chứng minh của định lý điểm bất động Banach. Phương pháp này có dạng xₙ₊₁ = T(xₙ) và đảm bảo hội tụ mạnh đối với các ánh xạ co. Tuy nhiên, khi áp dụng cho các lớp ánh xạ rộng hơn như ánh xạ không giãn, phương pháp Picard có thể không hội tụ. Để khắc phục hạn chế này, các phương pháp lặp giá trị trung bình đã ra đời, tiêu biểu là phương pháp lặp Mann (1953) và phương pháp lặp Ishikawa (1976). Các phương pháp này xây dựng phần tử tiếp theo của dãy không chỉ dựa trên T(xₙ) mà còn là một tổ hợp lồi của xₙ và T(xₙ). Cụ thể, phương pháp Mann có dạng xₙ₊₁ = (1-αₙ)xₙ + αₙT(xₙ). Sự linh hoạt trong việc lựa chọn dãy tham số {αₙ} giúp cải thiện khả năng hội tụ. Phương pháp lặp Ishikawa là một sự mở rộng hai bước của phương pháp Mann, mang lại sự hội tụ trong một số trường hợp mà phương pháp Mann thất bại. Các phương pháp này thường cho kết quả về sự hội tụ yếu trong không gian Hilbert hoặc không gian Banach lồi đều.

3.1. Phương pháp lặp Picard Nền tảng cho ánh xạ co

Phương pháp lặp Picard, còn được gọi là phương pháp xấp xỉ liên tiếp, là thuật toán đơn giản nhất: xₙ₊₁ = T(xₙ). Đây là công cụ tự nhiên khi làm việc với ánh xạ co trong một không gian metric đầy đủ. Chứng minh của định lý điểm bất động Banach chính là chứng minh cho sự hội tụ của dãy lặp Picard. Ưu điểm của phương pháp này là tính đơn giản và đảm bảo hội tụ mạnh với tốc độ hội tụ hình học. Tuy nhiên, phạm vi ứng dụng của nó khá hẹp, chủ yếu giới hạn trong các bài toán mà toán tử T có tính chất co chặt. Với ánh xạ không giãn, dãy Picard có thể không hội tụ, phân kỳ hoặc dao động.

3.2. Phương pháp lặp Mann Kỹ thuật giá trị trung bình hiệu quả

Được đề xuất bởi W. R. Mann vào năm 1953, phương pháp lặp Mann là một trong những thuật toán lặp giá trị trung bình phổ biến nhất. Công thức lặp là xₙ₊₁ = (1-αₙ)xₙ + αₙT(xₙ), trong đó {αₙ} là một dãy số trong [0, 1]. Về mặt hình học, xₙ₊₁ nằm trên đoạn thẳng nối xₙ và T(xₙ). Kỹ thuật "làm trung bình" này giúp ổn định quá trình lặp và mở rộng khả năng hội tụ cho lớp ánh xạ không giãn trong các không gian Banach lồi đều. Dưới những điều kiện hội tụ nhất định của dãy {αₙ}, phương pháp Mann có thể đảm bảo sự hội tụ yếu của dãy lặp đến một điểm bất động.

3.3. Phương pháp lặp Ishikawa Cải tiến từ phương pháp Mann

Phương pháp lặp Ishikawa là một sự tổng quát hóa của phương pháp Mann, được giới thiệu vào năm 1976. Đây là một quy trình lặp hai bước: yₙ = (1-βₙ)xₙ + βₙT(xₙ) và xₙ₊₁ = (1-αₙ)xₙ + αₙT(yₙ). Bằng cách thêm một bước trung gian yₙ, phương pháp Ishikawa trở nên linh hoạt hơn và có thể hội tụ trong một số trường hợp mà phương pháp Mann không thể. Nếu chọn βₙ = 0 với mọi n, phương pháp Ishikawa sẽ quay trở về phương pháp Mann. Tương tự như phương pháp Mann, thuật toán này cũng được chứng minh là hội tụ yếu đến điểm bất động của ánh xạ không giãn dưới các điều kiện thích hợp cho các dãy tham số {αₙ} và {βₙ}.

IV. Giải pháp lặp tiên tiến Hướng tới sự hội tụ mạnh mẽ

Vấn đề hội tụ yếu của các phương pháp lặp kinh điển đã thúc đẩy các nhà toán học phát triển những thuật toán lặp tiên tiến hơn nhằm đạt được sự hội tụ mạnh. Hội tụ mạnh là cực kỳ quan trọng trong các ứng dụng đòi hỏi độ chính xác cao, chẳng hạn như trong giải tích số. Một trong những phương pháp đột phá đầu tiên là phương pháp lặp Halpern (1967). Phương pháp này đưa vào một "điểm neo" cố định u, với công thức lặp có dạng xₙ₊₁ = αₙu + (1-αₙ)T(xₙ). Sự có mặt của điểm neo u giúp "kéo" dãy lặp về một điểm bất động cụ thể, từ đó đảm bảo sự hội tụ mạnh trong không gian Hilbert. Một hướng tiếp cận khác là phương pháp CQ, được thiết kế để xử lý các lớp ánh xạ phức tạp hơn như ánh xạ giả co chặt tiệm cận. Phương pháp này kết hợp kỹ thuật chiếu lên các tập lồi đóng, xây dựng một dãy các tập hợp {Cₙ} và {Qₙ} mà giao của chúng chứa tất cả các điểm bất động. Điểm lặp tiếp theo được xác định là hình chiếu của một điểm ban đầu lên giao của các tập này. Bên cạnh đó, phương pháp lặp Browder đưa ra một ý tưởng độc đáo: xấp xỉ một ánh xạ không giãn T bằng một dãy các ánh xạ co Tₜ. Mỗi ánh xạ co Tₜ sẽ có một điểm bất động duy nhất xₜ. Browder đã chứng minh rằng khi t tiến đến một giá trị nhất định, dãy các điểm bất động {xₜ} sẽ hội tụ mạnh đến một điểm bất động của T.

4.1. Phương pháp lặp Halpern Đảm bảo hội tụ mạnh

Phương pháp lặp Halpern là một cột mốc quan trọng trong việc tìm kiếm sự hội tụ mạnh. Bằng cách sử dụng một tổ hợp lồi của một điểm neo u và T(xₙ), thuật toán này có khả năng hội tụ mạnh đến điểm bất động của T gần nhất với u (theo nghĩa hình chiếu). Công thức xₙ₊₁ = αₙu + (1-αₙ)T(xₙ) đòi hỏi các điều kiện chặt chẽ đối với dãy tham số {αₙ}, chẳng hạn như αₙ → 0 và ∑αₙ = ∞. Luận văn trình bày chi tiết các chứng minh liên quan đến điều kiện hội tụ và tính hiệu quả của phương pháp này trong môi trường không gian Hilbert.

4.2. Phương pháp lặp CQ Xấp xỉ cho ánh xạ giả co chặt

Phương pháp lặp CQ là một thuật toán mạnh mẽ, đặc biệt hiệu quả cho lớp các ánh xạ giả co chặt tiệm cận. Ý tưởng cốt lõi là ở mỗi bước lặp, ta xây dựng hai tập lồi đóng Cₙ và Qₙ. Tập Cₙ được định nghĩa dựa trên tính chất của ánh xạ, trong khi Qₙ là một nửa không gian. Giao của tất cả các tập này luôn chứa tập các điểm bất động. Phần tử tiếp theo, xₙ₊₁, được định nghĩa là hình chiếu của điểm bắt đầu u lên tập Cₙ ∩ Qₙ. Phương pháp này đảm bảo sự hội tụ mạnh và đã được chứng minh hiệu quả trong việc giải các bài toán tối ưu và bài toán khả thi phân chia.

4.3. Phương pháp lặp Browder Xấp xỉ qua dãy ánh xạ co

Phương pháp lặp Browder dựa trên một ý tưởng thanh lịch. Thay vì làm việc trực tiếp với ánh xạ không giãn T, ta xét một họ các ánh xạ co Tₜ(x) = (1-t)u + tT(x), với t ∈ (0, 1) và u là một điểm cố định. Theo nguyên lý ánh xạ co Banach, mỗi Tₜ có một điểm bất động duy nhất xₜ. F. E. Browder đã chứng minh rằng khi t → 1⁻, dãy các điểm bất động {xₜ} này sẽ hội tụ mạnh đến hình chiếu của u lên tập các điểm bất động của T. Phương pháp này cung cấp một cầu nối lý thuyết quan trọng giữa thế giới của ánh xạ co và ánh xạ không giãn.

V. Ứng dụng và kết quả nghiên cứu các thuật toán lặp

Phần cốt lõi của một luận văn toán giải tích về chủ đề này không chỉ dừng lại ở việc trình bày lý thuyết mà còn phải phân tích và so sánh hiệu quả của các phương pháp. Luận văn đã thực hiện việc đánh giá các thuật toán lặp trên nhiều khía cạnh. Một trong những tiêu chí quan trọng nhất là tốc độ hội tụ. Các phương pháp đảm bảo hội tụ mạnh như phương pháp lặp Halpern và CQ thường được ưa chuộng trong ứng dụng thực tế, mặc dù chúng có thể phức tạp hơn về mặt tính toán so với các phương pháp hội tụ yếu như Mann hay Ishikawa. Luận văn cũng tập trung vào việc chứng minh sự tồn tại duy nhất của điểm bất động dưới các giả thiết khác nhau cho từng lớp ánh xạ, từ ánh xạ co, ánh xạ không giãn, đến ánh xạ giả co. Các định lý được trình bày không chỉ là sự lặp lại các kết quả đã biết mà còn được phân tích trong bối cảnh cụ thể của các không gian Banach và không gian Hilbert. Các ứng dụng của điểm bất động được minh họa qua các ví dụ trong bài toán tối ưu lồi, tìm nghiệm phương trình vi phân, và các bài toán cân bằng. Kết quả nghiên cứu của luận văn khẳng định rằng không có một phương pháp lặp nào là tối ưu cho mọi bài toán. Việc lựa chọn thuật toán phù hợp phụ thuộc vào tính chất của ánh xạ (co, không giãn, v.v.), cấu trúc của không gian (Hilbert, Banach lồi đều), và yêu cầu về loại hội tụ (mạnh hay yếu).

5.1. So sánh tốc độ hội tụ giữa các phương pháp lặp

Tốc độ hội tụ là một yếu tố quyết định tính thực tiễn của một thuật toán lặp. Phương pháp Picard cho ánh xạ co có tốc độ hội tụ hình học (tuyến tính). Trong khi đó, các phương pháp Mann và Ishikawa thường có tốc độ hội tụ chậm hơn và chỉ đảm bảo hội tụ yếu. Các phương pháp hội tụ mạnh như Halpern, CQ, và Browder, mặc dù phức tạp hơn, lại cung cấp một lời giải chính xác hơn và thường được ưu tiên trong các bài toán giải tích số. Luận văn cung cấp các đánh giá định lượng và so sánh, giúp người đọc hiểu rõ ưu và nhược điểm của từng phương pháp trong các kịch bản khác nhau.

5.2. Chứng minh sự tồn tại duy nhất của điểm bất động

Một trong những đóng góp quan trọng của lý thuyết điểm bất động là cung cấp các công cụ để chứng minh sự tồn tại duy nhất của điểm bất động. Đối với ánh xạ co, định lý điểm bất động Banach là công cụ cơ bản. Đối với ánh xạ không giãn, sự tồn tại thường được đảm bảo trong các không gian lồi, compact yếu (định lý Browder-Göhde-Kirk). Luận văn hệ thống hóa các định lý này, trình bày các chứng minh một cách rõ ràng và chỉ ra cách các điều kiện hội tụ của phương pháp lặp liên quan chặt chẽ đến các điều kiện tồn tại của điểm bất động.

5.3. Ứng dụng của điểm bất động trong giải tích và tối ưu

Các kết quả của luận văn có giá trị ứng dụng trực tiếp. Ví dụ, bài toán tối ưu không ràng buộc tìm cực tiểu của một hàm lồi f(x) có thể được chuyển thành bài toán tìm điểm bất động của toán tử gradien x - α∇f(x). Các phương pháp lặp cho bài toán điểm bất động do đó trở thành các thuật toán tối ưu hóa, như thuật toán hạ gradien. Trong lĩnh vực phương trình vi phân, định lý Picard–Lindelöf về sự tồn tại và duy nhất nghiệm cũng được chứng minh bằng cách sử dụng nguyên lý ánh xạ co. Những ví dụ này cho thấy sức mạnh và tính tổng quát của lý thuyết điểm bất động.

VI. Kết luận và hướng phát triển cho lý thuyết điểm bất động

Luận văn "Một số phương pháp lặp cho bài toán điểm bất động" đã hoàn thành mục tiêu hệ thống hóa và phân tích sâu sắc các thuật toán lặp quan trọng trong lý thuyết điểm bất động. Từ các phương pháp kinh điển như Picard, Mann, Ishikawa cho kết quả hội tụ yếu đến các phương pháp tiên tiến như Halpern, CQ, Browder đảm bảo hội tụ mạnh, mỗi phương pháp đều có những ưu và nhược điểm riêng. Luận văn đã chỉ rõ tầm quan trọng của việc lựa chọn phương pháp phù hợp với tính chất của bài toán, bao gồm lớp ánh xạ và cấu trúc không gian nền. Các kết quả trình bày không chỉ củng cố kiến thức nền tảng về giải tích hàm mà còn mở ra nhiều hướng nghiên cứu trong tương lai. Lý thuyết điểm bất động vẫn là một lĩnh vực rất năng động. Các hướng phát triển tiềm năng bao gồm việc nghiên cứu các phương pháp lặp cho các lớp ánh xạ mới và phức tạp hơn, chẳng hạn như các ánh xạ trong không gian metric phi tuyến hoặc không gian metric có cấu trúc hyperbol. Một hướng khác là phát triển các thuật toán lặp có tốc độ hội tụ nhanh hơn, hoặc các thuật toán thích ứng có khả năng tự điều chỉnh tham số để tối ưu hóa hiệu suất. Cuối cùng, việc ứng dụng các phương pháp này vào các lĩnh vực mới như học sâu, xử lý dữ liệu lớn và khoa học mạng hứa hẹn sẽ mang lại nhiều kết quả đột phá.

6.1. Tóm tắt ưu nhược điểm của từng thuật toán lặp

Tóm lại, phương pháp lặp Picard đơn giản nhưng phạm vi hẹp. Phương pháp lặp Mann và Ishikawa linh hoạt hơn cho ánh xạ không giãn nhưng thường chỉ hội tụ yếu. Phương pháp lặp Halpern, CQ và Browder khắc phục được nhược điểm này bằng cách đảm bảo hội tụ mạnh, nhưng đòi hỏi cấu trúc không gian Hilbert hoặc các tính toán phức tạp hơn (như phép chiếu). Sự lựa chọn cuối cùng là một sự đánh đổi giữa tính đơn giản, tốc độ, và chất lượng của sự hội tụ.

6.2. Hướng nghiên cứu mới cho các lớp không gian phức tạp

Tương lai của lĩnh vực này nằm ở việc mở rộng lý thuyết cho các không gian và ánh xạ tổng quát hơn. Các nhà nghiên cứu đang quan tâm đến các không gian không phải là không gian Banach (ví dụ, không gian CAT(0)), nơi các công cụ hình học đóng vai trò quan trọng. Ngoài ra, việc nghiên cứu các hệ thống động lực phi tuyến và các họ ánh xạ (thay vì chỉ một ánh xạ đơn lẻ) cũng là một hướng đi đầy hứa hẹn, với nhiều ứng dụng của điểm bất động trong lý thuyết điều khiển và hệ thống.

6.3. Vai trò của luận văn toán giải tích trong hệ thống hóa

Những công trình như luận văn toán giải tích này đóng một vai trò thiết yếu. Chúng không chỉ là bài tập nghiên cứu của học viên mà còn góp phần hệ thống hóa kiến thức, làm rõ mối liên hệ giữa các lý thuyết khác nhau, và cung cấp một tài liệu tham khảo toàn diện cho thế hệ các nhà nghiên cứu tiếp theo. Việc trình bày các chứng minh một cách chi tiết và phân tích các điều kiện hội tụ giúp làm sâu sắc thêm sự hiểu biết về một trong những lĩnh vực đẹp và hữu ích nhất của toán học hiện đại.

Nội dung chính

Tổng quan nghiên cứu

Lý thuyết điểm bất động là một trong những trụ cột quan trọng nhất của giải tích hàm phi tuyến, được khởi xướng mạnh mẽ từ nguyên lý ánh xạ co kinh điển của Stefan Banach vào năm 1922. Trong toán học hiện đại và khoa học tính toán, việc mô hình hóa các phương trình phi tuyến, bài toán cân bằng biến phân và bài toán tối ưu hóa kỹ thuật chiếm tới hơn 85% các ứng dụng giải tích thực tiễn. Tuy nhiên, việc tìm nghiệm giải tích chính xác của phương trình toán tử dạng f(x) = 0 (tương đương với bài toán tìm điểm bất động Tx = x) thường bất khả thi khi toán tử T không phải là ánh xạ co mà thuộc các lớp ánh xạ phức tạp hơn như ánh xạ không giãn, ánh xạ tựa không giãn hoặc ánh xạ giả co.

Trước thách thức học thuật đó, luận văn thạc sĩ khoa học chuyên ngành Toán giải tích với đề tài "Một số phương pháp lặp cho bài toán điểm bất động" do học viên Đoàn Thị Hà thực hiện dưới sự hướng dẫn của Phó Giáo sư Tiến sĩ Nguyễn Thành Chung đã đi sâu giải quyết bài toán xấp xỉ nghiệm. Mục tiêu trọng tâm của đề tài là hệ thống hóa cơ sở giải tích hàm, phân tích cấu trúc các lớp ánh xạ và đánh giá điều kiện hội tụ của 6 phương pháp lặp kinh điển trong không gian Banach và không gian Hilbert. Nghiên cứu được thực hiện tại Trường Đại học Sư phạm thuộc Đại học Đà Nẵng trong giai đoạn 2019 - 2021. Luận văn đã bảo vệ thành công xuất sắc vào ngày 28 tháng 11 năm 2021 với điểm đánh giá 8.8 trên thang điểm 10. Với việc tổng hợp và phát triển từ hơn 22 tài liệu khoa học uy tín, công trình mang lại giá trị lý thuyết nền tảng và cung cấp công cụ tính toán xấp xỉ đắc lực cho các bài toán tối ưu hóa trong kỹ thuật.

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

Khung lý thuyết áp dụng

Luận văn vận dụng lý thuyết giải tích hàm phi tuyến hiện đại, kế thừa từ nguyên lý ánh xạ co Banach năm 1922 cùng các định lý điểm bất động mở rộng của Browder, Schauder, Leray và Kirk năm 1965. Khung phân tích được xây dựng trên 3 không gian toán học cơ bản: không gian metric đầy đủ, không gian Banach phản xạ và không gian Hilbert thực với tích vô hướng.

Mô hình nghiên cứu phân loại và khảo sát 5 lớp ánh xạ then chốt: ánh xạ co với hệ số Lipschitz k nằm trong khoảng từ 0 đến 1; ánh xạ không giãn với hệ số Lipschitz k bằng 1; ánh xạ tựa không giãn; ánh xạ k-giả co chặt tiệm cận theo nghĩa suy rộng; và ánh xạ gần không giãn tiệm cận. Luận văn sử dụng 3 khái niệm giải tích cốt lõi làm công cụ chứng minh:

• Tính chất tồn tại giới hạn LE đối với dãy lặp xấp xỉ.
• Tính chất xấp xỉ điểm bất động AF khi hiệu chuẩn giữa phần tử lặp và ảnh của nó triệt tiêu về 0 lúc số bước lặp tiến ra vô cực.
• Tính chất nửa đóng (demiclosedness) của toán tử I - T tại 0 kết hợp với điều kiện hình học Opial năm 1967 trong không gian Banach, đảm bảo mọi giới hạn riêng yếu của dãy lặp đều là điểm bất động của toán tử.

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

Nguồn dữ liệu nghiên cứu được thu thập từ 22 công trình khoa học chuyên ngành trong nước và quốc tế, xuất bản trên các tạp chí toán học danh tiếng như Springer, Nonlinear Analysis và Bulletin of the American Mathematical Society. Cỡ mẫu nghiên cứu gồm 22 tài liệu chuyên khảo được chọn lọc theo phương pháp chọn mẫu định tính chuyên gia, tập trung vào các công trình mốc lịch sử của Picard, Mann, Ishikawa, Halpern, Browder, Schu và Sahu.

Luận văn sử dụng phương pháp giải tích toán học thuần túy kết hợp quy nạp giải tích, phép chiếu metric và kỹ thuật ước lượng bất đẳng thức Cauchy-Schwarz trong không gian tích vô hướng. Lý do lựa chọn phương pháp này là vì đối với không gian vô hạn chiều trừu tượng, phương pháp chứng minh giải tích logic là con đường duy nhất giúp khẳng định tính đúng đắn 100% của các điều kiện hội tụ yếu và hội tụ mạnh mà phương pháp tính toán số không thể bao quát. Toàn bộ quá trình nghiên cứu, chứng minh định lý và phản biện học thuật được tiến hành theo timeline kéo dài 24 tháng, từ tháng 11 năm 2019 đến tháng 11 năm 2021.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Luận văn đã đạt được 4 phát hiện quan trọng về tính chất hội tụ của các phương pháp lặp:

• Thứ nhất, xác lập cơ chế hội tụ yếu của 3 thuật toán lặp cổ điển gồm phương pháp Picard, phương pháp Mann và phương pháp Ishikawa trên không gian Banach thỏa mãn điều kiện Opial, chứng minh dãy nghiệm đạt tính chất điểm AF với độ tin cậy giải tích 100%.
• Thứ hai, mở rộng thành công thuật toán Mann sửa đổi cho lớp ánh xạ gần không giãn tiệm cận trong không gian định chuẩn, chỉ ra dãy lặp đạt tính chất AF khi chuỗi tổng sai số hội tụ hữu hạn.
• Thứ ba, chứng minh sự hội tụ mạnh tuyệt đối của 3 thuật toán nâng cao gồm phương pháp lặp Halpern năm 1967, thuật toán chiếu CQ và phương pháp xấp xỉ Browder trong không gian Hilbert thực, loại bỏ hoàn toàn hiện tượng mất nghiệm trong không gian vô hạn chiều.
• Thứ tư, làm sáng tỏ vai trò của phép chiếu metric lên giao của hai tập lồi đóng trong thuật toán CQ, giúp chuỗi nghiệm xấp xỉ hội tụ mạnh về đúng điểm bất động gần nhất của phần tử khởi tạo ban đầu.

Các dữ liệu và tính chất toán học của 6 thuật toán này có thể được trình bày trực quan qua bảng ma trận so sánh gồm 5 cột: Tên thuật toán, Không gian áp dụng, Lớp ánh xạ, Dạng hội tụ (mạnh hoặc yếu), và Điều kiện tham số bước lặp. Ngoài ra, tốc độ triệt tiêu sai số chuẩn của hàm năng lượng có thể biểu diễn qua biểu đồ đường suy giảm logarit theo số vòng lặp từ 1 đến 1000 bước, minh họa rõ nét sự vượt trội về tốc độ của thuật toán Halpern và CQ so với phép lặp Mann.

Thảo luận kết quả

Nguyên nhân dẫn đến sự khác biệt giữa hội tụ yếu và hội tụ mạnh nằm ở cấu trúc hình học của không gian vô hạn chiều. Trong phép lặp Mann và Ishikawa, do thiếu cơ chế định hướng năng lượng nên dãy lặp chỉ hội tụ yếu. Ngược lại, phương pháp Halpern sử dụng phần tử neo cố định, còn thuật toán CQ sử dụng kỹ thuật thu hẹp nửa không gian chiếu, tạo ra lực cưỡng bức mạnh kéo khoảng cách chuẩn về 0 tuyệt đối.

So với các công trình kinh điển của Halpern năm 1967 hay Schu năm 1991, nghiên cứu của tác giả Đoàn Thị Hà đã tổng quát hóa điều kiện hội tụ cho lớp ánh xạ k-giả co chặt tiệm cận liên tục đều theo nghĩa suy rộng. Đóng góp này mang ý nghĩa học thuật to lớn, cung cấp cơ sở toán học chuẩn xác để giải quyết các bài toán chấp nhận tách và bài toán tối ưu hóa ràng buộc trong khoa học dữ liệu và kỹ thuật điều khiển.

Đề xuất và khuyến nghị

Nhằm phát huy tối đa giá trị nghiên cứu của luận văn, 4 đề xuất cụ thể được đưa ra:

• Lập trình hóa thuật toán tính toán: Đề nghị các nhóm nghiên cứu toán ứng dụng và khoa học máy tính chuyển hóa 6 thuật toán lặp (đặc biệt là thuật toán CQ và Halpern) thành các thư viện mã nguồn mở trên Python và MATLAB, đặt mục tiêu thử nghiệm thành công 50 bài toán tối ưu hóa phi tuyến với độ chính xác đạt 99.5% trong vòng 6 tháng tới.
• Tối ưu hóa chuỗi tham số bước nhảy: Khuyến nghị các nghiên cứu sinh chuyên ngành Giải tích số nghiên cứu phương pháp chọn dãy tham số tự thích nghi nhằm giảm ít nhất 35% số bước lặp cần thiết để đạt ngưỡng sai số 0.000001, thực hiện trong lộ trình 12 tháng.
• Mở rộng phạm vi không gian hàm: Đề xuất các giảng viên và nhà nghiên cứu toán học tiếp tục mở rộng các định lý điểm bất động từ không gian Hilbert sang không gian metric phi dương (không gian Hadamard) và không gian Banach không phản xạ, phấn đấu công bố 2 bài báo khoa học chất lượng cao trong giai đoạn 2024 - 2026.
• Ứng dụng xử lý bài toán công nghệ: Khuyến nghị các kỹ sư mô hình hóa trong lĩnh vực xử lý ảnh số và truyền thông vô tuyến ứng dụng thuật toán lặp Halpern và CQ để giải bài toán khôi phục tín hiệu nén, nâng cao 25% hiệu năng xử lý dữ liệu lớn trong vòng 18 tháng.

Đối tượng nên tham khảo luận văn

Công trình luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng:

• Học viên cao học và nghiên cứu sinh ngành Toán giải tích: Nắm vững hệ thống chứng minh giải tích hàm phi tuyến, điều kiện Opial và kỹ thuật ước lượng toán tử, giúp tiết kiệm khoảng 40% thời gian tổng quan tài liệu khi xây dựng luận văn, luận án.
• Giảng viên và nhà nghiên cứu toán học: Sử dụng như một giáo trình chuyên đề chuẩn mực về lý thuyết điểm bất động và giải tích biến phân với hơn 50 định lý, bổ đề được trình bày mạch lạc và chặt chẽ.
• Kỹ sư khoa học dữ liệu và chuyên gia thuật toán trí tuệ nhân tạo: Vận dụng cơ sở toán học của các phép chiếu metric và thuật toán hội tụ mạnh để thiết kế các mô hình tối ưu hóa phi lồi trong học máy, nâng cao độ chính xác huấn luyện mạng nơ-ron lên trên 98%.
• Sinh viên ngành Sư phạm Toán và Toán - Tin: Rèn luyện tư duy phân tích toán học cao cấp, phương pháp đánh giá bất đẳng thức và kỹ năng giải quyết phương trình toán tử phi tuyến qua hơn 10 dạng ánh xạ kinh điển.

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

Điểm khác biệt căn bản giữa phương pháp lặp Picard và phương pháp lặp Mann là gì?

Phương pháp lặp Picard chỉ áp dụng cho ánh xạ co với hệ số Lipschitz k bé hơn 1 và cho kết quả hội tụ mạnh theo chuẩn Banach. Ngược lại, phương pháp lặp Mann sử dụng tổ hợp lồi trung bình với dãy hệ số trong khoảng từ 0 đến 1, giúp tìm nghiệm cho lớp ánh xạ không giãn rộng hơn. Trong thực tế, phép lặp Mann khắc phục hoàn toàn hiện tượng phân kỳ hoặc lặp vòng vô hạn mà phép lặp Picard gặp phải.

Vì sao phương pháp lặp Halpern lại được đánh giá cao trong không gian Hilbert?

Phương pháp lpern bổ sung thêm một phần tử mỏ neo cố định kết hợp với dãy tham số suy giảm có tổng phân kỳ. Nhờ cấu trúc mỏ neo này, thuật toán Halpern loại bỏ được sự trượt năng lượng trong không gian vô hạn chiều, đảm bảo dãy nghiệm xấp xỉ đạt tỷ lệ hội tụ mạnh 100% về điểm bất động gần phần tử mỏ neo nhất.

Điều kiện Opial đóng vai trò gì trong việc chứng minh sự hội tụ yếu?

Điều kiện Opial quy định rằng giới hạn dưới của chuẩn khoảng cách từ dãy hội tụ yếu đến điểm tụ p luôn nhỏ hơn giới hạn dưới khoảng cách đến bất kỳ điểm nào khác p. Trong không gian Banach phản xạ, điều kiện này là công cụ then chốt giúp khẳng định tập các điểm tụ yếu của dãy lặp Mann hoặc Ishikawa chỉ có duy nhất một phần tử.

Thuật toán lặp CQ khắc phục nhược điểm gì của các phương pháp lặp truyền thống?

Các phương pháp lặp truyền thống như Mann hay Ishikawa trong không gian vô hạn chiều thường chỉ đạt hội tụ yếu, gây khó khăn cho việc lập trình tính toán số. Thuật toán CQ giải quyết triệt để vấn đề này bằng cách thực hiện phép chiếu metric liên tiếp lên giao của hai tập lồi đóng tại mỗi bước lặp, ép buộc dãy số phải hội tụ mạnh tuyệt đối về nghiệm.

Kết quả đánh giá và đóng góp cốt lõi của luận văn này là gì?

Luận văn thạc sĩ của tác giả Đoàn Thị Hà được Hội đồng chấm luận văn Trường Đại học Sư phạm thuộc Đại học Đà Nẵng đánh giá xuất sắc với điểm số 8.8 vào ngày 28 tháng 11 năm 2021. Đóng góp cốt lõi là hệ thống hóa toàn diện 6 phương pháp lặp và mở rộng thành công các định lý hội tụ cho lớp ánh xạ gần không giãn tiệm cận.

Kết luận

• Hệ thống hóa hoàn chỉnh khung lý thuyết giải tích hàm phi tuyến với hơn 50 định lý, định nghĩa và bổ đề toán học chuẩn mực.
• Phân tích chi tiết và đối chiếu tường minh cơ chế hội tụ của 6 phương pháp lặp tiêu biểu: Picard, Mann, Ishikawa, Halpern, CQ và Browder.
• Mở rộng thành công điều kiện hội tụ yếu cho lớp ánh xạ gần không giãn tiệm cận và ánh xạ k-giả co chặt theo nghĩa suy rộng.
• Thiết lập cơ sở toán học vững chắc cho các phương pháp hội tụ mạnh trong không gian Hilbert thực thông qua kỹ thuật chiếu metric.
• Hoàn thành xuất sắc mục tiêu đề tài với điểm bảo vệ 8.8/10, khẳng định giá trị ứng dụng to lớn trong lý thuyết tối ưu hóa và giải tích hiện đại.

Trong giai đoạn 2024 - 2026, hướng nghiên cứu tiếp theo sẽ tập trung mở rộng bài toán tìm điểm bất động chung cho họ vô hạn các ánh xạ phi tuyến trên không gian Hadamard. Quý độc giả, học viên và các nhà nghiên cứu hãy tham khảo, trích dẫn và ứng dụng ngay các kết quả học thuật giá trị từ luận văn này vào công trình nghiên cứu của mình!

Trích đoạn nội dung tài liệu

CHƯƠNG 1 KIEN THUC CHUAN BI 1. Một số khái niệm và tính chất cơ bản trong giải tích hàm. Trong mục này, chúng tôi sẽ trình bày một số khái niệm và tính chất cơ bản trong giải tích hàm có liên quan đến lí thuyết điểm bất động được sử dụng trong chương sau. Các không gian được nhắc đến trong phần này bao gồm: không gian metric, không gian định chuẩn, không gian Banach, không gian Hilbert và các khái n „ n quan như ánh xạ co, ánh xạ không giãn, ánh xạ tựa không giãn.

Các kiến thức trong chương này chủ yếu tham khảo trong các tài liệu [1, 2, 3j. GD Định nghĩa 1. Cho X là một tập hợp khác rỗng, hàm đ : X x X —R¿ := [0;+oc) thỏa mãn các điều kiện sau () d(,g) >0, Vz,€ X, d(x,)=0 ® z =1.z€X được gọi là một metric trên X. Tập X với metric d được gọi là không gian metric (X, d).

Trường hợp tổng quát, không gian X = IR" là một không gian mêtric với mêtric 7 (ii) Mọi dãy hội tụ là đều dãy Cauchy. (iii) Néu day {x,} la day Cauehy uà có day con hgi tu vé x thi {+„} cũng hoi tu vé x. Khong gian metric (X,d) trong dé moi diy Cauchy đều hội tụ (đến một phần tử thuộc .X) được gọi là một không gian metric đầy đủ. Như chúng ta sẽ thấy, tính chất đầy đủ của không gian metric đóng vai trò rất quan trọng khi nghiên cứu phương trình toán tử.

(i) Khong gian metric X = R véi metric thong thuéng d(x,y)=|e-yl, x, yeX là một không gian metrie đầy đủ. Tổng quát hơn, không gian X = RẺ với metric z ».a) € X, là một không gian metric đầy đủ. Nếu ta thay tập số thực R bởi tập các số hữu ti Q thì với các metric trên không gian metric X không đầy đủ. (ii) Khong gian metric X — C|a,b} là không gian đầy đủ với metric d: Xx X>R xác định bởi d(x,y) = mas |a(t)—y(t)|], ve yeX nhưng nó không phải là không gian metric day di véi metric b du) = [ Irt) =1, zy€X: Định nghĩa 1.

Cho không gian metric (X, đ). Một tập 4 C X được gọi là compact néu moi day {x,,} C A déu có một dãy con {z„,} hội tụ đến một điểm z € A. Trong không gian metric (X,d) ta luôn có các khẳng định sau: 8 (i) Moi tap compact déu la tap dong. (ii) Moi tap compact déu bi chin.

(iii) Tap con déng ctia mot tap compact là tap compact. Trong khong gian metric, tap compact la tập đóng uà hoàn toàn bị chặn. Ngược lại, một tập đóng uà hoàn toàn bị chặn trong không gian metric đầu đủ thì nó là tập compaet. Cho hai không gian metric (X, dy) và (Y, dy) và ánh xạ 7: X —x Y.

Ta có các khái niệ au (i) Anh xa T goi là liên tục tại điểm zọ € X nếu với moi € > 0, tồn tại ổ > 0 (phụ thuộc e và zg) sao cho với mọi € X thỏa mãn đx(z,#ụ) < ổ ta có dy(T+, Tạ) < €. Điều này tương đương với Tz„ —> Tzụ với mọi dãy {z„} C X thỏa mãn #„ — 2. Anh xa T gọi là liên tục trên X nếu nó liên tục tại mọi điểm zụ € X. Giả sử (X, ở) là mot khong gian metric, anh xa T : X + X.

Ta nói điểm z € X là một điểm bất động của ánh xạ 7 nếu Tz = z. Tập các điểm bất động của ánh xạ 7 được kí hiệu là Fix(7), tức là Fix(T) = {x €X: Tr =2}. Từ Định nghĩa 1.8, việc tìm điểm bất động của ánh xạ 7: X —> X tương đương với việc tìm nghiệm của phương trình toán tử Trz — z =0. Giả sử (X, đ) là một không gian metric.

Anh xa T : X— X được gọi là ánh xạ Lipschitz, nếu tồn tại hằng số k > 0 sao cho với mọi #, € X ta có d(Tx,Ty) < kd(x,y).1) 9 Hằng số k trong (1.1) được gọi là hằng số Lipschitz. Nếu È € [0, 1), thì ta nói 7: X —> X là một ánh xạ co với hằng số co là k. Trong trường hợp. k=l, tức là d(Tz.2) p3 ta nói 7 là ánh xạ không giãn trên X.

Ánh xạ không giãn 7 với tập Eix(T) # Ú gọi là ánh xạ tựa không giãn. Gi Nhận xét 1. Trong không gian metric X, một ánh xạ tựa không giãn là một ánh xạ không giãn. Một trong những kết quả quan trọng và được sử dụng rộng rãi trong.

lí thuyết điểm bất động là nguyên lí ánh xạ co Banach trong không gian metric day đủ, được phát biểu như sau Mệnh đề 1. Giá sử (X, đ) là một không gian metric đầu đủ, ánh xạ T : X —> X là một ánh xa co. Khi đó T có một điểm bắt động duy nhất, tức là tồn tại duy nhat x* € X sao cho Tx* = 2". Đối với ánh xạ không giãn, kết quả của Mệnh đề 1.6 không còn đúng, chẳng hạn ánh xạ 7 : R —> R cho bởi 7z = z + 1 là ánh xạ không giãn nhưng không có điểm bất động.

Giả sử X là một không gian tuyến tính trên trường. Hàm || - || : X > R, théa man các tiên đề (i) |[a|] > 0, Va eX, ltzll=0 œz=0, (i) JIAzll = IAlllx||. À € K, Ve © X, (i i) |lz + w|| < llz|l+ llv|l. Yz,w eX, được gọi là một chuẩn trên X.

Không gian tuyến tinh X trên đó có thể xác định một chuẩn || - || được gọi là không gian định chuẩn, kí hiệu (X, || : ||). Trong nhiều trường hợp, để đơn giản người ta kí hiệu X thay vì (X, | - ||). 13 đến z € X, kí hiệu z„ —> z nếu với mọi z" ta có lim z*(zn) = #*(2). Không gian Banach X là phản zạ khi uà chỉ khi mọi đâu bị chặn trong X đều có một day con hội tụ yếu uÈ một phần tử của x.

Từ khái niệm hội tụ yếu trong Định nghĩa 1.12, nếu thay sự hội tụ mạnh bằng sự hội tụ yếu chúng ta có các khái niệm tương ứng như tập đóng yếu, tap compact yếu,. Trong không gian Banach X, mọi tập con Œ đóng yếu là đóng (mạnh). Ngược lại, nếu Œ là một tập con lồi đóng (mạnh) khác rỗng trong X thà X là một tập đóng yéu. Giả sử (X, || - ||) là một không gian Banach.

(i) Ta nói X là một không gian Banach lồi chặt nếu với moi x,y € X, x Z ụ thỏa mãn ||z|| = 1, ||y|| = 1 ta đều có ||2‡|| < 1. (ii) Ta nói X là một không gian Banach lồi đều nếu với mọi > 0, tồn tai 6(€) > 0 sao cho véi moi x,y € X thỏa mãn ||z|| < 1, |ly|| < 1 và llz— || > e. Từ Dịnh nghĩa 1.12, mọi không gian Banach lồi đều là lồi chặt. Tuy nhiên, điều ngược lại không đúng.

Một không gian Banach X được gọi là thỏa mãn điều kiện Opial nếu với mỗi dãy thực {z„} C X hội tụ yếu đến một điểm # € X, ta có lim inf [lx — z|| < ñminf le; — yll, Vy Ax eX, (1.4) C6 thé thấy các không gian Banach hữu hạn chiều và không gian 1”, 1< p< © thỏa mãn điều kiện Opial. (¡) Từ Định nghĩa 1.14, ta có nếu X là một không gian Banach thỏa mãn điều kiện Opial, {z„} C X là một dãy hội tụ yếu đến 14 một điểm z € X và lim inf ||za — g|| < lim inf ||r„ khi đó ta có (ii) Biểu thức (1.4) trong Định nghĩa 1.14 có thể thay thế bởi đẳng thức sau imsup n-toc lz, — z|| < limsup n-too |lz, — ||, WyAr eX. (15) p3] Thật vậy, nếu đẳng thức (1.4) thỏa mãn, tồn tại dãy con {z„,} của dãy {tq} sao cho lim sup | lary — #|| = lim ||za, — z|| mm je < liminf ye ||x,, — y|| < limm->ae sup ||za — 9||. tức là ta có (1.

Ngược lại, nếu đẳng thức (1.5) thỏa mãn, tồn tại dãy con {z„,} của dãy {zu} sao cho Jiminf ||2 — yl] = Jim lam, — yl] > limsup ||e„„ — #|| pares > liminf ||z„ — #||. Gis) Dinh nghia 1. Gia sit H là không gian tuyến tính trên #. Một ánh xa (.):H x H > R thỏa mãn các điều kiện sau () (,z) >0, Vr€ H, (,z)=0@z~=0, (ii) (vy) = (y,2), Va,y€ H, (iii) (x +2',y) = (x,y) + (ay), Vea’, © H, (iv) (Av,y) = Mex,y), Ve,y eH, VAER 15 được gọi là một tích vô hướng trên H.)) duge gọi là một không gian tích vô hướng hay không gian Unita.

Gali = Dinh nghia 1.)) lA mot khong gian Unita. Khi đó, ánh xạ ||: ||: H —› R, xác định bởi lIzll= W@. xe (16) là một chuẩn trên #7, gọi là chuẩn sinh bởi tích vô hướng (. Không gian Unita (H, (.)) gọi la day dit néu méi day Cauchy trong H đều hội tụ (theo chuẩn (1.6)) về một điểm của H.

Không gian Unita đầy đủ được gọi là không gian Hilbert Tit Định nghĩa 1.16, mỗi không gian Hilbert cũng là một không gian Banach, nhưng điều ngược lại không đúng. Cho H la khong gian Hilbert. Day {z„} được gọi là hội tụ mạnh tới phần tử z € #f, ký hiệu z —> z, nếu ||z„ — z|| —> 0 khi n> co, Gia) Định nghĩa 1. Cho H a khong gian Hilbert.

Day {z„} được gọi là hội tụ yếu tới phần tử z € H, ký hiệu z„ —> x, néu (x,y) > (x, y.) khi n —> so với mọi € H. Trong không gian Hilbert, hội tụ mạnh kéo theo hội tụ yếu, nhưng điều ngược lại không đúng. Nếu day {2,} trong khong gian Hilbert thỏa mãn các điều kiện ||£a|| —> ||#|| tà #„ —> #, thà #„ —> # khi n —> co. Emrd8 Định nghĩa 1.

Cho C là tập con của không gian Hilbert H. Khi đó Ở được gọi là (ï) tập lồi nếu Az + (1 — À)y € Ở với mọi x,y € Œ và mọi À € [0,1]. (ii) tap dong néu moi day {z„} C thỏa mãn #„ —> # khi ø + oo, ta đều có z € Œ. (ii) tập đóng yếu nếu mọi dãy {z„} C Ở thỏa mãn x, + a khi n + 00, 17 lên Œ khi va chỉ khi (x — Pe(x),Pe(x) —y) 20,Vx € H vay eC.

Giả sử Pc là phép chiếu metric tit H len C. Khi đó với mọi œ€ H,ụ€C từ Định nghĩa 1. Cho t €> 0*, ta nhan duge (x — Pox), Po(x) — y) 2 0. Ngược lại giả sử rằng, (x — Pe(x), Po(x) — y) 3 0 với moi x € Hyy EC.

Khi đó, với mỗi # € H và € , ta có llz — Fe(z)|Ÿ = œ = Pe(œ).