(Luận văn) định lí điểm bất động đối với ánh xạ co cyclic trong không gian g metric và ứng dụng

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM - - ĐÀO QUỲNH ANH lu an ĐỊNH LÍ ĐIỂM BẤT ĐỘNG ĐỐI VỚI ÁNH XẠ CO CYCLIC TRONG KHÔNG GIAN G −METRIC VÀ ỨNG DỤNG n va p ie gh tn to d oa nl w an lu ll u nf va LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh z m co l gm @ an Lu THÁI NGUYÊN - 2020 n va ac th i si ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM - - ĐÀO QUỲNH ANH lu ĐỊNH LÍ ĐIỂM BẤT ĐỘNG ĐỐI VỚI ÁNH XẠ CO CYCLIC TRONG KHÔNG GIAN G −METRIC VÀ ỨNG DỤNG an n va gh tn to p ie Ngành: TỐN GIẢI TÍCH d oa nl w Mã số: 8.46.01.02 an lu ll u nf va LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh Người hướng dẫn khoa học: PGS.TS Phạm Hiến Bằng z m co l gm @ an Lu THÁI NGUYÊN - 2020 n va ac th i si LỜI CAM ĐOAN Tôi xin cam đoan cơng trình nghiên cứu riêng tơi hướng dẫn PGS.TS Phạm Hiến Bằng Các tài liệu luận văn trung thực Các kết luận văn chưa công bố luận văn Thạc sĩ tác giả khác Tôi xin cam đoan giúp đỡ cho việc thực Luận văn cảm ơn thơng tin trích dẫn Luận văn rõ nguồn gốc lu an Tác giả n va ie gh tn to p Đào Quỳnh Anh d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th ii si LỜI CẢM ƠN Bản luận văn hoàn thành Trường Đại học Sư phạm - Đại học Thái Nguyên hướng dẫn PGS.TS Phạm Hiến Bằng Nhân dịp xin cám ơn Thầy hướng dẫn hiệu kinh nghiệm trình học tập, nghiên cứu hoàn thành luận văn Xin chân thành cảm ơn Phòng Đào tạo- Bộ phận Sau Đại học, Ban chủ nhiệm Khoa Tốn, thầy giáo Trường Đại học Sư phạm - Đại học Thái Nguyên, Viện Toán học Trường Đại học Sư phạm Hà Nội giảng dạy lu tạo điều kiện thuận lợi cho tơi q trình học tập nghiên cứu khoa học an n va Bản luận văn chắn khơng tránh khỏi khiếm khuyết tn to mong nhận đóng góp ý kiến thầy cô giáo bạn học Cuối xin cảm ơn gia đình bạn bè động viên, khích lệ tơi p ie gh viên để luận văn hoàn chỉnh nl w thời gian học tập, nghiên cứu hoàn thành luận văn d oa Tháng 04 năm 2020 an lu Tác giả ll u nf va Đào Quỳnh Anh oi m z at nh z m co l gm @ an Lu n va ac th iii si MỤC LỤC TRANG BÌA PHỤ i LỜI CAM ĐOAN ii LỜI CẢM ƠN iii MỤC LỤC iv MỞ ĐẦU Chương KIẾN THỨC CHUẨN BỊ 1.1 Không gian G - metric 1.2 Điểm bất động ánh xạ cyclic co Banach f - co lu an yếu cyclic không gian G - metric n va 1.3 w - khoảng cách không gian G - metric gh tn to Chương ĐIỂM BẤT ĐỘNG ĐỐI VỚI CÁC ÁNH XẠ CO CYCLIC TRÊN KHÔNG GIAN G - METRIC ie p 2.1 Điểm bất động ánh xạ f - co cyclic không gian w G - metric oa nl d 2.2 Điểm bất động ánh xạ ( y , f ) - co cyclic không gian an lu G - metric u nf va 13 2.3 Ứng dụng tồn tính nghiệm cho lớp ll m phương trình tích phân phi tuyến oi 22 z at nh 2.4 Điểm bất động chung ánh xạ cyclic thỏa mãn điều z kiện w - khoảng cách gm @ 24 KẾT LUẬN 35 l 36 m co TÀI LIỆU THAM KHẢO an Lu n va ac th iv si MỞ ĐẦU Lý thuyết điểm bất động đóng vai trị quan trọng hữu ích tốn học Nó áp dụng lĩnh vực khác lí thuyết bất đẳng thức biến phân, lí thuyết tối ưu hóa lý thuyết xấp xỉ Khả ứng dụng rộng rãi lý thuyết điểm bất động lĩnh vực khác dẫn đến số suy rộng không gian metric Trong số đó, đề cập đến khơng gian quasimetric, không gian metric riêng, không gian D-metric không gian Gmetric Một số suy rộng thú vị không gian G-metric giới thiệu Mustafa and Sims [12] vào năm 2006, thu hút ý lu an nhà toán học Từ đó, số định lý điểm bất động khơng gian n va metric suy rộng nhiều tác giả giới thiệu như: H Aydi [2], V Berinde tn to [4], D Boyd, J Wong [6], E Karapınar [7-10], W Shatanawi [14],… ie gh Một chủ đề hấp dẫn khác lý thuyết điểm bất động khái niệm p ánh xạ cyclic giới thiệu Krik [11] cộng vào năm 2003 nl w Từ đó, điểm bất động ánh xạ thỏa mãn điều kiện co cyclic thu oa hút quan tâm nghiên cứu nhiều tác giả nước Năm 2005, d Petrusel chứng minh số kết điểm tuần hoàn ánh xạ co cyclic lu va an Kết tổng quát hóa kết Kirk Năm 2010, Pacurar Rus [13] u nf chứng minh số kết điểm bất động ánh xạ f - co cyclic ll không gian metric Năm 2011, Karapınar [7] đạt kết điểm oi m z at nh bất động ánh xạ f - co yếu cyclic Năm 2014, N Bilgili, I M Erhan, E Karapınar D Turkoglu [5] đã đạt kết điểm bất động đối z với ánh xạ co cyclic không gian G - metric @ gm Theo hướng nghiên cứu chúng tơi chọn đề tài “ Định lí điểm bất động m co l ánh xạ co cyclic không gian G-metric ứng dụng ” Đề tài có ý nghĩa thời sự, nhiều nhà tốn học ngồi an Lu nước quan tâm nghiên cứu n va ac th si Nội dung đề tài viết chủ yếu dựa tài liệu [3] [14] gồm 37 trang, gồm phần mở đầu, hai chương nội dung, phần kết luận danh mục tài liệu tham khảo Chương 1: Trình bày số khái niệm tính chất không gian G-metric số kết điểm bất động ánh xạ Cyclic co Banach ánh xạ f - co yếu Cyclic mở rộng không gian G - metric Chương 2: Là nội dung đề tài, trình bày số kết điểm bất động ánh xạ f - co cyclic ánh xạ ( y , f ) - co cyclic điểm bất động chung ánh xạ cyclic thỏa mãn điều kiện w - khoảng lu an cách không gian G - metric va n Cuối phần kết luận trình bày tóm tắt kết đạt p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z KIẾN THỨC CHUẨN BỊ m co l gm @ CHƯƠNG an Lu n va ac th si 1.1 Không gian G-metric Định nghĩa 1.1.1 Cho E tập khác rỗng, hàm G : E ® ¡ + gọi G - metric E với " a, b, c, r Ỵ E điều kiện sau thỏa mãn: (G 1) G (a, b, c) = a = b = c , (G 2) < G (a, a, b) với mi a, b ẻ E vi a b , (G 3) G (a, a, b) £ G (a, b, c) với a, b, c Ỵ E với b ¹ c , (G 4) G (a, b, c) = G (a, c, b) = G (b, c, a ) = ( đối xứng ba biến), (G 5) G (a, b, c) £ G (a, r , r ) + G (r , b, c) (bất đẳng thức hình chữ nhật) lu an Khi cặp (E ,G ) gọi không gian G - metric va n Chú ý G - metric E xác định metric r G E to (1.1) ie gh tn r G (a, b) = G (a, b, b) + G (b, a, a ) với mọia, b Ỵ E p Ví dụ 1.1.2 Cho (E , r ) không gian metric + xác định oa nl w Hàm G : E ® ¡ G (a, b, c) = m ax{r (a, b), r (b, c), r (c, a )} , (1.2) d lu va an với a, b, c Ỵ E , G - metric E ll u nf Ví dụ 1.1.3 Cho E = [0, + ¥ ) Hàm G : E ® ¡ + , xác định (1.3) oi m G (a, b, c) = | a - b | + | b - c | + | c - a | , z at nh với " a, b, c Ỵ E , G - metric E z Định nghĩa 1.1.4 Cho (E ,G ) không gian G - metric Dãy {an } Ì E @ l gm gọi G - hội tụ đến a Ỵ E limn ,m đ + Ơ G (a, an , am ) = , (1.4) m co an Lu n va ac th si tức là, với e > tựy ý, tn ti N ẻ Ơ cho G (a, an , a m ) < e với n , m ³ N Ta gọi a giới hạn dãy viết a n ® a hay lim an = a Mệnh đề 1.1.5 Cho (E ,G ) không gian G - metric Khi mệnh đề sau tương đương: (1) {an } G - hội tụ đến a (2) G (an , an , a ) ® n đ + Ơ , (3) G (a n , a, a ) đ n đ + Ơ , (4) G (an , am , a ) ® n, m đ + Ơ lu nh nghĩa 1.1.6 Cho (E ,G ) không gian G - metric Dãy {an } gọi an n va dãy G - Cauchy với e > tựy ý, tn ti N ẻ Ơ : G (an , am , al ) < e với tn to " m , n , l ³ N , tức G (an , am , al ) ® m , n , l đ + Ơ p ie gh Mệnh đề 1.1.7 Cho (X ,G ) khơng gian G - metric Khi mệnh đề sau tương đương: oa nl w (1) {an } dãy G - Cauchy d (2) Vi mi e > , $N ẻ Ơ cho G (an , am , am ) < e , với " m , n ³ N an lu va Định nghĩa 1.1.8 Không gian G - metric (E ,G ) gọi đầy đủ dãy ll u nf G - Cauchy hội tụ (E ,G ) oi m Định nghĩa 1.1.9 Cho (E ,G ) không gian G - metric Ánh xạ T : E ® E z at nh gọi liên tục với ba dãy G - hội tụ {a n } , {bn } {cn } hội z tụ đến a, b, c , {T (a n , bn , cn )} G - hội tụ đến T (a, b, c ) @ gm Định nghĩa 1.1.10 Một G - metric G gọi đối xứng m co l G (a, a, b) = G (a, b, b) , " p, q Ỵ E Mỗi G - metric G E sinh tôpô t G E có sở họ G - {B G (a, e), a Ỵ E , e > 0}, an Lu hình cầu mở n va ac th si { } BG (a, e) = b Ỵ E , G (a, b, b) < e với a Ỵ E e > Tp A ặ (E ,G ) G - đóng A = A , ú a ẻ A BG (a, e) ầ A ¹ , với e > Mệnh đề 1.1.11 Cho (E ,G ) không gian G - metric A tập khác rỗng E A đóng với dãy {a n } hội tụ đến a , a Ỵ A Năm 2012, Karapınar, Yıldız-Ulus Erhan [5] đạt số kết điểm bất động ánh xạ cyclic co Banach f - co yếu cyclic lu mở rộng không gian G - metric Cụ thể sau; an n va 1.2 Điểm bất động ánh xạ cyclic co Banach f - co yếu cyclic tn to không gian G - metric ie gh Định nghĩa 1.2.1 Cho A B hai tập khác rỗng không gian E p Một ánh xạ T : A È B ® A È B gọi cyclic T (A ) Í B T (B ) Í A w Định nghĩa 1.2.2 Cho Fi , i = 1, 2, , m tập khác rỗng, F = i= Fi , Fi gọi biểu diễn cyclic F f oa nl m d U i= an lu ánh xạ f : F ® F m U u nf va f (F1 ) Ì F2 ,…, f (Fm - ) Ì Fm , f (Fm ) Ì F1 ll Định lý 1.2.3 [10] Cho (E ,G ) không gian G - metric đầy đủ m oi {Fj }mj = Ì E , F j đóng, Fj ¹ Æ Đặt F = Èmj= 1Fj Cho S : F ® F thỏa mãn z at nh S (Fj ) Í Fj + , j = 1, , m , Fm + = F1 z Nếu $ l Ỵ (0,1) : @ gm G (Sa, Sb, Sc) £ l G (a, b, c) m co l xảy với " a Ỵ Fj b, c Ỵ Fj + , j = 1, , m S có điểm bất động Çmj= 1Fj an Lu n va ac th si x , y Ỵ ¡ , x £ y Þ k (t , s, x ) ³ k (t , s, y ) (2.22) Cuối lấy t , s Ỵ [0,1], x, y Ỵ ¡ cho (x £ b y ³ a ) ( x ³ a y £ b ) (x ³ a y ³ a ) k (t , s, x ) - k (t , s, y ) £ f x- y , f Ỵ F ( ) (2.23) Đặt W = {u Ỵ X , a £ u £ b } Định lý 2.3.1 Với giả thiết (2.19) – (2.23), Bài tốn (2.18) có nghiệm u Ỵ W lu an Chứng minh Đặt va n F1 = {u Ỵ E , u £ b } F2 = {u Ỵ E , u ³ a } gh tn to Ta có F1 F2 đóng Trước tiên, ta kiểm tra p ie S (F1 ) Ì F2 S (F2 ) Ì F1 nl w Với u Ỵ F1 , ta có u(s ) £ b (s ) Theo giả thiết (2.22), ta có d oa k (t , s, u(s )) ³ k (t , s, b (s )) va an lu với t Ỵ [0,1] Do đó, từ (2.20) ta có ị k (ts, u(s ))ds ³ ò k (t , s, b (s )) ³ u nf Su (t ) = ll a (t ), m oi suy Su Ỵ F2 z at nh Tương tự, lấy u Ỵ A2 , ta có u(s ) ³ a (s ) Theo giả thiết (2.22), ta có z k (t , s, u(s )) £ k (t , s, a (s )) @ ò k (t , s, u(s ))ds £ ò k (t , s, a (s ))ds £ 0 m co Su (t ) = l gm với t Ỵ [0,1] Do đó, từ (2.20) ta có b (t ) , an Lu suy Su Ỵ F1 n va ac th 23 si Lấy (u, v, w) Ỵ F1 ´ F2 ´ F2 , cho với t Î [0,1] ta có u (t ) £ b (t ) , v(t ) ³ a (t ) w(t ) ³ a (t ) Từ điều kiện (2.19) suy với t Ỵ [0,1], ta có u (t ) £ b , v (t ) ³ a w(t ) ³ a Theo (2.23) bất đẳng thức trên, ta có Su (t ) - Sv(t ) £ ò k (t , s, u(s )) - k (t , s, v(s ))ds 1 £ ò f (| u (s ) - v(s ) | ds lu an £ va 1 f (max | u ( t ) v ( t ) |) £ f (G ¥ (u, v, w )) t Ỵ éëê0,1ùûú n Do dó tn to max | Su (t ) - Sv(t ) | £ é ù f (G ¥ (u, v, w )) max | Sv(t ) - Sw(t ) | £ é ù f (G ¥ (u, v, w )) max | Sw(t ) - Su (t ) | £ é ù f (G ¥ (u, v, w )) gh t Ỵ ëê0,1û ú p ie Tương tự, ta có d oa nl w Và t Ỵ êë0,1ú û an lu t Ỵ ëê0,1û ú va Cộng ba bất đẳng thức trên, ta ll u nf G ¥ (Su , Sv, Sw ) £ f (G ¥ (u, v, w )) oi m Các giả thiết Định lý 2.1.3 thỏa mãn S có điểm bất động z at nh nht u ẻ F1 ầ F2 = W , tức u nghiệm thỏa mãn (2.18) 2.4 Điểm bất động chung ánh xạ cyclic thỏa mãn điều kiện w - z gm @ khoảng cách Định lí 2.4.1 Cho (E ,G ) không gian G - metric đầy đủ w w - khoảng l m co cách E cho E w - bị chặn Cho A B hai tập đóng khơng an Lu n va ac th 24 si rỗng E tôpô cảm sinh G với E = A U B , A I B ặ Giả sử f , g : A U B ® A U B hai ánh xạ cho f (A ) Í B g(B ) Í A giả sử tồn k Ỵ [0,1 / 2) cho điều kiện sau xảy ra: i ) w( fa, gfa, gb) £ k[w(a, fa, fa ) + w(b, gb, gb)] với " a Ỵ A, " b Ỵ B (2.24) ii ) w(ga, fga, fb) £ k [w(a, ga, ga ) + w(b, fb, fb)] với " b Î A, " a Î B (2.25) iii ) w( fa, gfa, fb) £ k[w(a, fa, fa ) + w(b, fb, fb)] với " a, b Ỵ A (2.26) iv ) w(ga, fga, gb) £ k[w(a, ga, ga ) + w(b, fb, fb)] với " a, b Ỵ B (2.27) Nếu f g liên tục f g có điểm bất động chung A I B lu an Lấy a Ỵ A Vì f (A ) Í B nên f (a ) = a1 Ỵ B Vì g(B ) Í A nên n va Chứng minh tn to ie gh ga1 = a Ỵ A Tiếp tục lập luận ta dãy {an } Ì E cho p fa2n = a2n + , a 2n Ỵ A ga2n + = a2n + , a2n + Ỵ B , n Ỵ ¥ È {0} nl w Vì E w - bị chặn nên $ M ³ cho d oa w(a, b, c) £ M với a, b, c Ỵ E lu k 1- k u nf va an Ta chứng minh w(an , an + 1, an + s ) £ qn - 1M vi mi n , s ẻ Ơ v q = Cho n , s ẻ Ơ , xét bốn trường hợp sau đây: ll oi m Trường hợp n chẵn s chẵn Khi n = 2t , t ẻ Ơ Theo (2.27), ta có z at nh w(an , an + 1, an + s ) = w(a2t , a2t + 1, a2t + s ) z = w(ga2t - 1, fga2t - 1, ga2t + s - 1) @ £ k[w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s )] Theo (2.24), ta có an Lu w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) m co l gm (2.28) n va ac th 25 si = w( fa2t - 2, gfa2t - 2, ga2t - 1) + w( fa2t + s - 2, gfa2t + s - 2, ga2t + s - 1) £ k [w(a 2t - 2, a 2t - 1, a 2t - ) + w(a 2t - 1, a 2t , a 2t )]+ k[w(a2t + s - 2, a2t + s - 1, a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t + s )] Do w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) £ k [w(a2t - 2, a2t - 1, a2t - ) + w(a2t + s - 2, a 2t + s - 1, a2t + s - )] 1- k £ q[w(a2t - 2, a2t - 1, a2t - 1) + w(a2t + s - 2, a2t + s - 1, a2t + s - 1)] lu …… an n va £ qn - 1[w(a0, a1, a1) + w(as , as + 1, as + 1)] tn to Vì E w - bị chặn nên ie gh w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) £ 2qn - 1M p Từ từ (2.28)) suy d oa nl w Như w(an , an + 1, an + s ) £ k.2qn - 1M £ qn - 1M k < / (2.29) va an lu w(an , an + 1, an + s ) £ qn - 1M ll u nf Trường hợp n lẻ, s chẵn n = 2t + vi t ẻ Ơ ẩ {0} Theo (2.26), ta có m oi w(a, b, c) £ M z at nh w(an , an + 1, an + s ) = w(a2t , a2t + 1, a2t + s ) z gm @ = w( fa2t , gfa2t , fa2t + s ) £ k[w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1)] l (2.30) m co Theo (2.25), ta an Lu w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1) n va ac th 26 si = w(ga2t - 1, fga2t - 1, fa2t ) + w(ga2t + s - 1, fga2t + s - 1, fa2t + s ) £ k[w(a2t - 1, a2t , a2t ) + w(a2t , a2t + 1, a2t + 1)] + k[w(a2t + s - 1, a2t + s , a2t + s ) + w(a2t + s , a2t + s + 1, a2t + s + 1)] Do w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1) £ k [w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s )] 1- k £ q[w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s )] lu … an n va £ qn - 1[w(a0, a1, a1) + w(as , as + 1, as + 1)] tn to Vì E w - bị chặn nên ie gh w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1) £ 2qn - 1M p Nhưng k < / nên (2.30) trở thành oa nl w w(an , an + 1, an + s ) £ qn - 1M d Trường hợp n chẵn, s lẻ Khi n = 2t , t ẻ Ơ Theo (2.25), ta có lu u nf va an w(an , an + 1, an + s ) = w(a2t , a2t + 1, a2t + s ) = w(ga2t - 1, fga2t - 1, fa2t + s - 1) ll m £ k[w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s )] oi (2.31) z at nh Do (2.24) (2.25), ta có z w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) @ l gm = w( fa2t - 2, gfa2t - 2, ga2t - 1) + w(ga2t + s - 2, fga2t + s - 2, fa2t + s - 1) m co £ k [w(a 2t - 2, a 2t - 1, a 2t - ) + w(a 2t - 1, a 2t , a 2t )] an Lu + k[w(a2t + s - 2, a2t + s - 1, a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t + s )] Do n va ac th 27 si w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) k [w(a2t - 2, a2t - 1, a2t - ) + w(a2t + s - 2, a 2t + s - 1, a2t + s - )] 1- k £ £ q[w(a2t - 2, a2t - 1, a2t - 1) + w(a2t + s - 2, a2t + s - 1, a2t + s - 1)] … £ qn - 1[w(a0, a1, a1) + w(as , as + 1, as + 1)] Vì E w - bị chặn nên w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) £ 2qn - 1M lu Nhưng k < / nên (2.31) trở thành an n va w(an , an + 1, an + s ) £ qn - 1M w(an , an + 1, an + s ) = w(a2t + 1, a2t + 2, a2t + s + 1) p ie gh tn to Trường hợp n lẻ, s lẻ n = 2t + với t ẻ Ơ ẩ {0} Theo (2.24), ta cú w = w( fa2t , gfa2t , ga2t + s ) (2.32) oa nl £ k[w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1)] d Do (2.24) (2.25), ta có an lu u nf va w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1) = w(ga2t - 1, fga2t - 1, fa2t ) + w( fa2t + s - 1, gfa2t + s - 1, ga2t + s ) ll oi m £ k[w(a2t - 1, a2t , a2t ) + w(a2t , a2t + 1, a2t + 1)] z at nh + k[w(a2t + s - 1, a2t + s , a2t + s ) + w(a2t + s , a2t + s + 1, a2t + s + 1)] z Do @ k [w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s ) 1- k m co £ l gm w(a2t + s - 1, a2t + s , a2t + s ) + w(a2t + s , a2t + s + 1, a2t + s + 1) an Lu £ q[w(a2t - 1, a2t , a2t ) + w(a2t + s - 1, a2t + s , a2t + s )] n va ac th 28 si …… £ qn - 1[w(a0, a1, a1) + w(as , as + 1, as + 1)] Vì E w - bị chặn nên w(a2t , a2t + 1, a2t + 1) + w(a2t + s , a2t + s + 1, a2t + s + 1) £ 2qn - 1M Nhưng k < / nên bất đẳng thức (2.32) trở thành w(an , an + 1, an + s ) £ qn - 1M Như trường hợp ta có w(an , an + 1, an + s ) £ qn - 1M với n , s Ỵ ¥ lu Bây giờ, với l ³ m ³ n , ta có an n va w(an , am , al ) £ w(an , an + 1, an + 1) + w(an + 1, an + 2, an + ) + + w(am - 1, a m , al ) to M + q M + + q n qn M M £ 1- q m- ie gh tn £ q n- p Theo Bổ đề 1.3.3, {an } dãy G - Cauchy, nên $u Ỵ E cho {an } G - oa nl w hội tụ đến u Do dãy {a2n + 1} = {fa2n } , {a2n + } = {ga2n + 1} d {an } G - hội tụ đến u lu an Nếu f liên tục lim fa2n = fu lim a2n + = u Do tính giới n® ¥ u nf va n® ¥ hạn, ta có fu = u ll nđ Ơ oi nđ Ơ m Nếu g liên tục lim ga2n + = gu lim a2n + = u Suy gu = u z at nh Vì {a 2n } Ì A , mà A đóng nên u Î A Mặt khác, {a2n + 1} Ì B , B đóng nên z u Ỵ B Do u = fu = gu điểm bất động chung f g A Ç B @ gm Theo (2.24), ta có £ 2kw(u, u, u ) an Lu Vì k < / nên suy w(u, u, u ) = m co l w(u, u, u ) = w( fu, gfu, gu ) £ k[w(u, u, u ) + w(u, u, u )] n va ac th 29 si Bây giả sử v điểm bất động khác f g Khi theo (2.24), ta có w(v, u, u ) = w( fv, gfv, gu ) £ k[w(v, v, v ) + w(u, u, u )] Vì v = fv = gv nên w(v, v, v ) = theo w(u, u, u ) = , nên w(v, u, u ) = Theo định nghĩa w - khoảng cách, G (v, v, u ) = Do v = u Vậy u điểm bất động chung f g Định lí 2.4.2 Cho (E ,G ) không gian G - metric đầy đủ w w - khoảng cách E cho E w - bị chặn Cho A B hai tập đóng khơng lu an rỗng E với E = A U B Giả sử f , g : A U B ® A U B hai ánh xạ n va cho f (A ) Í B g(B ) Í A giả sử tồn k Ỵ [0,1 / 2) cho điều tn to kiện sau xảy ra: i ) w( fa, gfa, gb) £ k[w(a, fa, b) + w(b, gb, a )] với " a Î A, " b Î B ie gh (2.33) (2.34) iii ) w(ga, fga, fb) £ k[w(a, ga, b) + w(b, fb, a )] với " b Ỵ A, " a Ỵ B (2.35) p ii ) w(ga, gfa, fb) £ k[w(a, fa, b) + w(b, fb, a )] với " a, b Ỵ A oa nl w iv ) w(ga, fga, gb) £ k[w(a, ga, b) + w(b, gb, a )] với " a, b Ỵ B d (2.36) lu m f (A ) Í B nên oi Lấy a Ỵ A Vì ll Chứng minh u nf va an Nếu f g liên tục f g có điểm bất động chung A I B f (a ) = a1 Ỵ B Vì g(B ) Í A nên z at nh ga1 = a Ỵ A Tiếp tục trình ta dãy {an } Ì E cho z fa2n = a2n + , a 2n Ỵ A ga2n + = a2n + , a2n + Ỵ B , n ẻ Ơ ẩ {0} l gm @ Vì E w - bị chặn nên $ M ³ cho m co w(a, b, c) £ M với $ a, b, c Ỵ E an Lu Ta chứng minh w(an , an + 1, an + s ) £ (2k )n M vi " n , s ẻ Ơ n va ac th 30 si Vi n , s ẻ Ơ , xét bốn trường hợp sau đây: Trường hợp n chẵn s chẵn Khi n = 2t , t ẻ Ơ Theo (2.36), ta cú w(an , an + 1, an + s ) = w(a2t , a2t + 1, a2t + s ) = w(ga2t - 1, fga2t - 1, ga2t + s - 1) £ k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] (2.37) Theo (2.34), ta có w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1) = w( fa2t - 2, gfa2t - 2, fa2t + s - ) + w( fa2t + s - 2, gfa2t + s - 2, fa2t - ) lu an £ k[w(a2t - 2, a2t - 1, a2t + s - ) + w(a2t + s - 2, a2t + s - 1, a2t - )]+ va n k[w(a2t + s - 2, a2t + s - 1, a2t - ) + w(a2t - 2, a2t - 1, a2t + s - )] to gh tn £ 2k[w(a2t - 2, a2t - 1, a2t + s - ) + w(a2t + s - 2, a2t + s - 1, a2t - )] p ie …… nl w £ (2k )n - 1[w(a0, a1, as ) + w(as , as + 1, a )] d oa Vì E w - bị chặn nên an lu w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1) £ (2k )n - 1.2M u nf va Như (2.37) trở thành ll w(an , an + 1, an + s ) £ (2k )n M m oi Trường hợp n lẻ, s chẵn n = 2t + vi t ẻ Ơ ẩ {0} Theo (2.34), ta có z at nh z w(a, b, c) £ M m co l gm = w( fa2t , gfa2t , fa2t + s ) @ w(an , an + 1, an + s ) = w(a2t + 1, a2t + 2, a2t + s + 1) £ k[w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t )] an Lu (2.38) Theo (2.36), ta có n va ac th 31 si w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t ) = w(ga2t - 1, fga2t - 1, ga2t + s - 1) + w(ga2t + s - 1, fga2t + s - 1, ga2t - 1) £ k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] + k[w(a2t + s - 1, a2t + s , a2t - 1) + w(a2t - 1, a2t , a2t + s - 1)] £ 2k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] … £ (2k )n - 1[w(a0, a1, as ) + w(as , as + 1, a )] Vì E w - bị chặn nên lu an w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t ) £ (2k )n - 12M va n Như bất đẳng thức (2.38) trở thành to gh tn w(an , an + 1, an + s ) £ (2k )n M p ie Trường hợp n chẵn, s lẻ Khi n = 2t , t ẻ Ơ Theo (2.35), ta cú nl w w(an , an + 1, an + s ) = w(a2t , a2t + 1, a2t + s ) d oa = w(ga2t - 1, fga2t - 1, fa2t + s - 1) lu £ k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] va an (2.39) u nf Do (2.33) (2.35), ta có ll w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1) oi m z at nh = w( fa2t - 2, gfa2t - 2, ga2t + s - ) + w(ga2t + s - 2, fga2t + s - 2, fa2t - ) £ k[w(a2t - 2, a2t - 1, a2t + s - ) + w(a2t + s - 2, a2t + s - 1, a2t - )] z @ gm + k[w(a2t + s - 2, a2t + s - 1, a2t - ) + w(a2t - 2, a2t - 1, a2t + s - )] m co l £ 2k[w(a2t - 2, a2t - 1, a2t + s - ) + w(a2t + s - 2, a2t + s - 1, a2t - )] … an Lu £ (2k )n - 1[w(a0, a1, as ) + w(as , as + 1, a )] n va ac th 32 si Vì E w - bị chặn nên w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1) £ (2k )n - 12M Như bất đẳng thức (2.39) trở thành w(an , an + 1, an + s ) £ (2k )n - 1M Trường hợp n lẻ, s lẻ n = 2t + với t Ỵ ¥ È {0} Theo (2.33), ta có w(an , an + 1, an + s ) = w(a2t + 1, a2t + 2, a2t + s + 1) = w( fa2t , gfa2t , ga2t + s ) £ k[w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t )] (2.40) lu an Do (2.33) (2.35), ta có va n w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t ) to gh tn = w(ga2t - 1, fga2t - 1, fa2t + s - 1) + w( fa2t + s - 1, gfa2t + s - 1, ga2t - 1) p ie £ k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] £ 2k[w(a2t - 1, a2t , a2t + s - 1) + w(a2t + s - 1, a2t + s , a2t - 1)] oa nl w + k[w(a2t + s - 1, a2t + s , a2t - 1) + w(a2t - 1, a2t , a2t + s - 1)] d …… an lu Vì E w - bị chặn nên ll u nf va £ (2k )n - 1[w(a0, a1, as ) + w(as , as + 1, a )] z at nh Bất đẳng thức (2.40) trở thành oi m w(a2t , a2t + 1, a2t + s ) + w(a2t + s , a2t + s + 1, a2t ) £ (2k )n - 12M w(an , an + 1, an + s ) £ (2k )n - 1M z gm @ Như trường hợp ta có m co l w(an , an + 1, an + s ) £ (2k )n - 1M với n , s ẻ Ơ Bõy gi, vi mi l ³ m ³ n , ta có an Lu w(an , am , al ) £ w(an , an + 1, an + 1) + w(an + 1, an + 2, an + ) + + w(am - 1, am , al ) n va ac th 33 si £ (2k )n - M + (2k )n M + + (2k )m - M £ (2k )n M - (2k ) Theo Bổ đề 1.3.3, {an } dãy G - Cauchy, nên tồn u Ỵ E cho {an } G - hội tụ đến u Do dãy {a2n + 1} = {fa2n } , {a2n + } = {ga2n + 1} {an } G - hội tụ đến u Nếu f liên tục lim fa2n = fu lim a2n + = u Do tính giới nđ Ơ nđ Ơ hn, ta cú fu = u Nếu g liên tục lim ga2n + = gu lim a2n + = u Suy gu = u nđ Ơ nđ Ơ lu an Vì {a 2n } Ì A {a2n + 1} Ì B mà A B đóng nên u ẻ A ầ B Do ú va n u = fu = gu điểm bất động chung f g A Ç B gh tn to Giả sử v điểm bất động khác f g Khi theo (2.33), ta có hay p ie w(v, v, v ) = w( fv, gfv, gv ) £ k[w(v, v, v ) + w(v, v, v )] oa nl w w(v, v, v ) £ 2kw(v, v, v ) d Vì k < / nên điều xảy w(v, v, v ) = lu an Lại theo (2.33), ta có ll suy u nf va w(v, v, u ) = w( fv, gfv, gu ) £ k[w(v, v, u ) + w(u, u, v )], m k w(u, u, v ) 1- k w(u, u, v ) £ k w(v, v, u ) 1- k oi w(v, v, u ) £ z at nh Tương tự z gm @ nên suy w(u, u, v ) = w(v, v, u ) = Theo định nghĩa w - khoảng cách, ta có G (v, v, u ) = Do v = u an Lu Vậy u điểm bất động chung f g m co l Vì k < / n va ac th 34 si KẾT LUẬN Luận văn trình bày: Tổng quan hệ thống số khái niệm, tính chất sở khơng gian G - metric Một số kết điểm bất động ánh xạ Cyclic co Banach ánh xạ f - co yếu Cyclic không gian G - metric (Định lí 1.2.3 Định lí 1.2.6) Một số kết điểm bất động ánh xạ f - co Cyclic ánh lu an xạ ( y , f ) - co cyclic khơng gian G - metric (Định lí 2.2.2 Định lí va n 2.2.4) Ứng dụng kết đạt vào việc chứng minh tồn Cuối số kết điểm bất động chung ánh xạ ie gh tn to nghiệm cho lớp phương trình tích phân phi tuyến (Định lí 2.3.1) p cyclic thỏa mãn điều kiện w - khoảng cách (Định lí 2.4.1 Định lí 2.4.2) d oa nl w ll u nf va an lu oi m z at nh TÀI LIỆU THAM KHẢO z @ Alber Y.I, Guerre-Delabriere S (1997), “Principle of weakly contractive maps in Hilbert spaces,” vol 98 of Operator Theory: Advances and Applications, pp 7–22 Aydi H (2012), “A common fixed point of integral type contraction in generalized metric spaces”, J Advanced Math Studies (1), 111–117 [2] m co l gm [1] an Lu n va ac th 35 si [3] [4] [5] [6] [7] lu an n va [8] to [10] p ie gh tn [9] Aydi H., Felhi A., Sahmim S., (2017), “Related fixed point results for cyclic contractions on G-metric spaces and application”, Filomat 31:3 (2017), 853–869 DOI 10.2298/FIL1703853A Berinde V (1997), Contracii Generalizatii Aplicaii, vol 22, Editura Cub Press, Baia Mare Bilgili N., Erhan I.M., Karapınar E., D Turkoglu D., (2014), “ Cyclic Contractions and Related Fixed Point Theorems on G-Metric Spaces”, Appl Math Inf Sci 8, No 4, 1541–1551 Boyd D.W., Wong J.S.W (1969), “On nonlinear contractions,” Proceedings of the American Mathematical Society, vol 20, pp 458–464 Karapınar E (2011), “Fixed point theory for cyclic φ-weak contraction,” Applied Mathematics Letters, vol 24, no 6, pp 822–825, 2011 Karapınar E., (2011), “Fixed point theory for cyclic weak contraction”, Appl Math Lett 24, 822–825 Karapinar E., Erhan I.M (2012), “Cyclic contractions and fixed point theorems”, Filomat, vol 26, pp 777–782 Karapınar E., Yıldız-Ulus A., Erhan I.M (2012), “Cyclic contractions on G-Metric Spaces”, Hindawi Publishing Corporation Abstract and Applied Analysis Article ID 182947, 15 pages doi:10.1155/2012/182947 Kirk W.A., Srinivasan P.S., Veeramani P., (2003), “Fixed points for mappings satisfying cyclical contractive conditions”, Fixed Point Theory (1) 79–89 Mustafa Z., Sims B (2006), “A new approach to generalized metric spaces”, J Nonlinear Convex Anal (2), 289–297 d oa nl w ll [12] u nf va an lu [11] oi m z at nh [13] z Pacurar M., Rus I.A.(2010), “Fixed point theory for cyclic ϕcontractions,” Nonlinear Analysis Theory, Methods & Applications A, vol 72, no 3-4, pp 1181–1187 Shatanawi W., Maniu G., Bataihah A., Ahmad F.B (2017), “Common l gm @ [14] m co fixed points for mappings of cyclic form satisfying linear contractive an Lu n va ac th 36 si conditions with omega-distance”, U.P.B Sci Bull., Series A, Vol 79, Iss 2, 11-20 lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th 37 si