Fixed point results for weakly Picard non-self operators on ℝ+m-metric spaces

1 month ago

(original), Fixed point theory, ISI/JCR, Nonlinear analysis, paper, Picard operators

Abstract

The aim of this paper is to extend the graphic contraction principle, well-known for self operators, to non-self operators. Data dependence of fixed points results for non self operators are also discussed. The results complement and extend results given in the paper: V. Ilea, A. Novac, D. Otrocol, Fixed point results for non-self operators on Rm+-metric spaces, Fixed Point Theory, 26 (2025) no. 1, 177-188.

Authors

Veronica Ilea
Babes-Bolyai University, Department of Mathematics, Romania

Adela Novac
Technical University of Cluj-Napoca, Department of Mathematics, Romania

Diana Otrocol
Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy

Keywords

Rm+-metric spaces, fixed point, weakly Picard operator, non-self operator, data dependence of fixed point

Paper coordinates

V. Ilea, A. Novac, D. Otrocol, Fixed point results for weakly Picard non-self operators in Rm+-metric spaces, Fixed Point Theory, 26(2025) no. 2, 553-562
DOI: http://doi.org/10.24193/fpt-ro.2025.2.13

PDF

About this paper

Journal

Publisher Name

DOI

Print ISSN

Online ISSN

google scholar link

[1] V. Berinde, S. M˘aru¸ster, I.A. Rus, Saturated contraction principles for non-self operators, generalizations and applications, Filomat, 31-11(2017), 3391-3406.
[2] V. Berinde, A. Petru¸sel, I.A. Rus, Remarks on the terminology of the mappings in fixed point iterative methods in metric space, Fixed Point Theory, 24(2023), no. 2, 525-540.
[3] A. Chi¸s-Novac, R. Precup, I.A. Rus, Data dependence of fixed points for non-self generalized contractions, Fixed Point Theory, 10(2009), no. 1, 73-87.
[4] L.B. Ciric, Generalized contraction and fixed point theorems, Publ. Inst. Math., 12(1971), 19-26.
[5] V. Ilea, A. Novac, D. Otrocol, Fixed point results for non-self operators on Rm-metric spaces, Fixed Point Theory, 26(2025), no. 1, 177-188.
[6] V. Ilea, D. Otrocol, I.A. Rus, M.A. S¸erban, Applications of fibre contraction principle to some classes of functional integral equations, Fixed Point Theory, 23(2022), no. 1, 279-292.
[7] J.M. Ortega, W.C. Reinboldt, On a class of approximative iterative processes, Arch. Rat. Mech. Anal., 23(1967), 352-365.
[8] A. Petru¸sel, I.A. Rus, Graphic contractions principle and applications, 395-416. In: Th. M. Rassias (ed.), Mathematical Analysis and Applications, Springer, 2019.
[9] B.E. Rhoades, A comparison of various definitions of contractive mappings, Trans. Amer. Math. Soc., 226(1977), 257-290.
[10] I.A. Rus, On the method of successive approximations, Revue Roum. Math. Pures et Appl., 17 (1972), 1433-1437.
[11] I.A. Rus, Generalized Contractions and Applications, Cluj University Press, Cluj-Napoca, 2001.
[12] I.A. Rus, Picard operators and applications, Scientiae Mathematicae Japonicae, 58(2003), no. 1, 191-219.
[13] I.A. Rus, Metric space with fixed point property with respect to contractions, Stud. Univ. Babe¸sBolyai Math., 51(2006), no. 3, 115-121.
[14] I.A. Rus, The theory of a metrical fixed point theorem: theoretical and applicative relevances, Fixed Point Theory, 9(2008), no. 2, 541-559.
[15] I.A. Rus, Some variants of contraction principle, generalizations and applications, Stud. Univ. Babes-Bolyai Math., 61(2016), no. 3, 343-358.
[16] I.A. Rus, Relevant classes of weakly Picard operators, Anal. Univ. de Vest Timi¸soara Math. Inform., 54(2016), 2-19.
[17] I.A. Rus, A. Petru¸sel, G. Petru¸sel, Fixed Point Theory, Cluj University Press, Cluj-Napoca 2008.
[18] I.A. Rus, A. Petru¸sel, M.A. S¸erban, Weakly Picard Operators: Equivalent definitions, applications and open problems, Fixed Point Theory, 7(2006), no. 1, 3-22.
[19] I.A. Rus, M.A. Serban, Some generalizations of a Cauchy lemma and applications, Topics in Mathematics, Computer Science and Philosophy, Presa Universitar˘a Clujeana, 2008, 173-181.
[20] M.A. S¸erban, Fibre contraction theorem in generalized metric spaces, Automat. Comput. Appl. Math., 16(2007), no. 1, 139-144.

Fixed Point Theory, 26(2025), No.2, …-…

DOI: 10.24193/fpt-ro.2022.1.XX

http://www.math.ubbcluj.ro/^∼nodeacj/sfptcj.html

Fixed point results for weakly Picard non-self operators on $\mathbb{R}_{+}^{m}$ -metric spaces

Veronica Ilea^∗, Adela Novac^∗∗, Diana Otrocol^∗∗,^∗∗∗

^∗Babeş–Bolyai University, Department of Mathematics,
1 M. Kogălniceanu Street, 400084 Cluj-Napoca, Romania
E-mail: veronica.ilea@ubbcluj.ro
^∗∗Technical University of Cluj-Napoca, Department of Mathematics,
28 Memorandumului Street, 400114 Cluj-Napoca
E-mail: adela.novac@math.utcluj.ro, diana.otrocol@math.utcluj.ro
^∗∗∗Tiberiu Popoviciu Institute of Numerical Analysis, Romanian Academy,
P.O.Box. 68-1, 400110 Cluj-Napoca, Romania

Abstract. The aim of this paper is to extend the graphic contraction principle, well-known for self operators, to non-self operators. Data dependence of fixed points results for non-self operators are also discussed. The results complement and extend results given in the paper: V. Ilea, A. Novac, D. Otrocol, Fixed point results for non-self operators on $\mathbb{R}_{+}^{m}$ -metric spaces, Fixed Point Theory, 26(2025), no. 1, 177-188.

Key Words and Phrases: $\mathbb{R}_{+}^{m}$ -metric spaces, fixed point, weakly Picard operator, non-self operator, data dependence of fixed point.

2020 Mathematics Subject Classification: 47H10, 54H25

1. Introduction

In is well known that one of the most important tool in the theory of metric spaces is the contraction principle known as Banach fixed-point theorem; also known as Banach-Caccioppoli theorem, the contraction principle or contraction mapping theorem. This theorem guarantees the existence and uniqueness of a fixed point for self operators in complete metric spaces. Also it provides a constructive method to find the mentioned fixed point (Picard’s method of successive approximations). The theorem, first given in 1922, is named after the great mathematician, Stefan Banach (1892–1945). Initially the theorem was stated in Banach normed spaces. In 1920 Stefan Banach presented his doctoral dissertation. A year later, he published the results of his doctorate in Fundamenta Mathematicae.

In 1930 similar results were obtained independently by Renato Caccioppoli (1904–1959), who rediscovered and generalized Banach’s theorem for complete metric space. Due to this fact, for many mathematicians, the theorem is known under the name Banach-Caccioppoli theorem.

Since then, a lot of papers were dedicated to improve that result. Several extensions of this result tried to relax the metric structure of the space, the completeness or the contraction condition itself. Thus, several variants of contraction principle are known for different types of generalized contractions on metric spaces.

The generalization of the Contraction Principle takes place on two directions: on one hand the contraction condition was generalized and on the other hand the metric space was generalized to uniform spaces.

Around the years 1970-1975, there were great mathematicians that reload the theorem for different type of conditions. Here we can mention some of them: M. Edelstein, R. Kannan, L.B. Ciric, M. A. Krasnoselskii, B.E. Rhoades, F.E. Browder, L.F. Guseman, S. Reich, I.A. Rus, S. Bianchini, and others.

On the other hand, many authors discussed the contraction principle in different generalized metric spaces. For example, Branciari introduced the concept of rectangular metric spaces and proved an analogue of the Banach contraction principle in the setting of such a space. Also, we can mention here the importance of the work of Perov, Schroder and Zabrejko [2], [6], [9], [21], [22], [23].

The first variant of contraction principle with the most generous conclusions, that combines and generalizes all previous is the variant given by I.A. Rus in 2016, see [12].

In this paper, we use the following version for saturated principles of graphic contractions in complete $\mathbb{R}_{+}^{m}$ metric spaces, see [17].

Theorem 1.1.

([17])(Saturated principle of graphic contractions) Let $(X,d)$ be a complete generalized metric space and $f\!\!:X\rightarrow X$ be an orbitally continuous $S$ -graphic contraction. Then we have that:

(i)

$F_{f}\neq\emptyset,$ and $f^{n}(x)\rightarrow x^{\ast}(x)=:f^{\infty}(x)\in F_{f},\ \forall x\in X,\$ i.e. $f$ is a WPO.
(ii)

$F_{f}=F_{f^{n}}\neq\emptyset,\$ for all $n\in\mathbb{N}^{\ast};$
(iii)

$d(f^{n}(x),f^{\infty}(x))\leq(I-S)^{-1}S^{n}d(x,f(x)),\ \forall x\in X$ and $n\in\mathbb{N}^{\ast};$
(iv)

$d(x,f^{\infty}(x))\leq(I-S)^{-1}d(x,f(x)),\$ for all $x\in X,$ i.e., $\ f$ is a $(I-S)^{-1}$ -WPO;

In this paper we extend the graphic contraction principle for self operators to non-self operators. Data dependence of fixed points results for non-self operators are also discussed.

The results complement and extend results given in the paper: V. Ilea, A. Novac, D. Otrocol, Fixed point results for non-self operators on $\mathbb{R}_{+}^{m}$ -metric spaces, Fixed Point Theory, 26(2025), no. 1, 177-188.

2. Preliminaries

We begin with some standard notations.

Let $(X,d)$ be a $\mathbb{R}_{+}^{m}$ -metric space, $Y\subset X$ a nonempty subset of $X$ and $f:Y\rightarrow X$ an operator. In the sequel we use the following notations:

$F_{f}=\{x\in Y:f(x)=x\}$ - the fixed points set of $f.$

$I(f)=\{Z\subset Y:f(Z)\subset Z,Z\neq\varnothing\}$ - the set of invariant subsets of $f.$

$(MI)_{f}=\cup I(f)$ - the maximal invariant subset of $f.$

$P_{cl}(X)=\{Y\subset X|\ Y$ closed $\}.$

$(AB)_{f}(x^{\ast})=\{x\in Y:f^{n}(x)$ is defined for all $n\in\mathbb{N}$ and $f^{n}(x)\rightarrow x^{\ast}\in F_{f}\}$ -the attraction basin of the fixed point $x^{\ast}$ with respect to $f.$

$(BA)_{f}=\underset{x^{\ast}\in F_{f}}{\cup}(AB)_{f}(x^{\ast})$ - the attraction basin of $f.$

$(PH)_{d}:P(X)\times P(X)\rightarrow\mathbb{R}_{+}\cup\{+\infty\}$ -the Pompeiu-Hausdorff functional

(PH)_{d}(A,B)=\max\left(\underset{a\in A}{\sup}\underset{b\in B}{\inf}d(a,b),\underset{b\in B}{\sup}\underset{a\in A}{\inf}d(a,b)\right).

Throughout this paper we consider that $Y\in P_{cl}(X).$

Following [3] we have:

Definition 2.1.

An operator $f:Y\rightarrow X$ is said to be a Picard operator (PO) if:

(i) $F_{f}=\{x_{f}^{\ast}\};$

(ii) $(MI)_{f}=(BA)_{f}.$

Definition 2.2.

An operator $f:Y\rightarrow X$ is said to be a weakly Picard operator (WPO) if:

(i) $F_{f}\neq\emptyset;$

(ii) $(MI)_{f}=(BA)_{f}.$

Definition 2.3.

For each WPO $\,f:Y\rightarrow X$ we define the operator $f^{\infty}:\left(BA\right)_{f}\rightarrow\left(BA\right)_{f}$ by $f^{\infty}(x)=\lim\limits_{n\rightarrow\infty}f^{n}(x).$

Remark 2.4.

It is clear that $f^{\infty}((BA)_{f})=F_{f},$ so $f^{\infty}$ is a set retraction of $(BA)_{f}$ to $F_{f}.$

Remark 2.5.

In terms of weakly Picard self operators the above definitions take the following form:

f:Y\rightarrow X\,\text{ is a WPO \ iff\thinspace}\;\;f\mid_{(MI)_{f}}:(MI)_{f}\rightarrow(MI)_{f}\text{ is a WPO.}

For other results on Picard and weakly Picard operators see [1], [2], [10], [11], [16].

3. Saturated contraction principle for graphic $S$ -contraction

Definition 3.1.

An operator $f:Y\rightarrow X$ is an $S$ -contraction if $S\in\mathbb{R}_{+}^{m\times m}$ and the following take place:

(i)

$S$ is a convergent to zero matrix, i.e. $S^{n}\rightarrow 0$ as $\ n\rightarrow\infty$ ;
(ii)

$d(f(x),f(y))\leq Sd(x,y),$ for all $x,y\in Y$ .

Definition 3.2.

An operator $f:Y\rightarrow X$ is a graphic $S$ -contraction if $S\in\mathbb{R}_{+}^{m\times m}$ and:

(i)

$S$ is a convergent to zero matrix, i.e. $S^{n}\rightarrow 0$ as $\ n\rightarrow\infty$ ;
(ii)

$d(f(x),f^{2}(x))\leq Sd(x,f(x)),$ for all $x\in Y$ such that $f(x)\in Y$ .

The first result of the paper is the following:

Theorem 3.3.

(Saturated principle of graphic contractions) Let $(X,d)$ be a complete $\mathbb{R}_{+}^{m}$ -metric space, $Y\subset X$ a nonempty closed subset and $f:Y\rightarrow X$ be an orbitally continuous $S$ -graphic contraction, where $S\in\mathbb{R}_{+}^{m\times m}$ . Then we have that:

(i)

$f$ is a non-self WPO, i.e. $F_{f}\neq\emptyset,$ and $f^{n}(x)\rightarrow x^{\ast}(x)=:f^{\infty}(x)\in F_{f},\ \forall x\in(MI)_{f};$
(ii)

$F_{f}=F_{f^{n}}\neq\emptyset,\$ for all $n\in\mathbb{N}^{\ast};$
(iii)

$d(f^{n}(x),f^{\infty}(x))\leq(I-S)^{-1}S^{n}d(x,f(x)),\$ for all $x\in(MI)_{f};$
(iv)

$d(x,f^{\infty}(x))\leq(I-S)^{-1}d(x,f(x)),\ \forall x\in(MI)_{f}$ and $n\in\mathbb{N}^{\ast},i.e.,\ f$ is a $(I-S)^{-1}-WPO.$

Proof.

i) It is well-known that an orbitally continuous graphic contraction on a complete metric space has at least one fixed point.

On the other hand

	$\displaystyle{\textstyle\sum\limits_{n=0}^{\infty}}$	$\displaystyle d(f^{n}(x),f^{n+1}(x))=$
		$\displaystyle=d(x,f(x))+d(f(x),f^{2}(x))+d(f^{2}(x),f^{3}(x))+\ldots+d(f^{n}(x),f^{n+1}(x))+\ldots$
		$\displaystyle\leq d(x,f(x))+Sd(x,f(x))+Sd(f(x),f^{2}(x))+\ldots+Sd(f^{n-1}(x),f^{n}(x))+\ldots$
		$\displaystyle\leq d(x,f(x))+Sd(x,f(x))+S^{2}d(x,f(x))+\ldots+S^{n}d(x,f(x))+\ldots$
		$\displaystyle\leq\left({\textstyle\sum\limits_{n\in\mathbb{N}}}S^{n}\right)d(x,f(x))<+\infty,\forall x\in(MI)_{f}.$

This implies that $(f^{n}(x))_{n\in\mathbb{N}}$ converges.

Let $x^{\ast}(x)$ be the limit of $f^{n}(x)$ . From the continuity of $f$ it follows that $x^{\ast}\in$ $F_{f}$ , so $F_{f}\neq\emptyset$ and $f^{n}(x)\rightarrow x^{\ast}(x)=:f^{\infty}(x)\in F_{f},\ \forall x\in(MI)_{f},\$ i.e. $f$ is a WPO.

ii) Let $y\in$ $F_{f^{n}},n>1.$ It follows that $f^{n}(y)=y.$ From i) $f^{k}(y)\rightarrow x^{\ast},$ if $k\rightarrow\infty.$ Since $f^{kn}(y)=y,k\in\mathbb{N}^{\ast}$ we get that $y=x^{\ast}.$

iii) Let $p\in\mathbb{N}$ . We have the following estimations:

	$\displaystyle d(f^{n}(x),f^{n+p}(x))\leq$
	$\displaystyle\leq d(f^{n}(x),f^{n+1}(x))+d(f^{n+1}(x),f^{n+p}(x))$
	$\displaystyle\leq d(f^{n}(x),f^{n+1}(x))+d(f^{n+1}(x),f^{n+2}(x))+\ldots+d(f^{n+p-1}(x),f^{n+p}(x))$
	$\displaystyle\leq S^{n}d(x,f(x))+\ldots+S^{n+p-1}d(x,f(x))$
	$\displaystyle\leq(S^{n}+\ldots+S^{n+p-1}+\ldots)d(x,f(x))$
	$\displaystyle=(I-S)^{-1}S^{n}d(x,f(x)).$

Letting $p\rightarrow\infty,$ we obtain iii), $\forall x\in(MI)_{f}$ and $n\in\mathbb{N}^{\ast}$ .

iv) We have:

	$\displaystyle d(x,f^{\infty}(x))$	$\displaystyle\leq d(x,f(x))+d(f(x),f^{\infty}(x))$
		$\displaystyle\leq d(x,f(x))+Sd(x,f^{\infty}(x)).$

It follows that

d(x,f^{\infty}(x))\leq(I-S)^{-1}d(x,f(x)),\ \forall x\in(MI)_{f}.

∎

4. Data dependence

In this section, we consider non-self operators in the case of an ordered $\mathbb{R}_{+}^{m}$ -metric space.

Theorem 4.1.

(Gronwall lemma for graphic $S$ -contractions) Let $\left(X,d,\leq\right)$ be an ordered complete $\mathbb{R}_{+}^{m}$ -metric space, $\ Y\subset X$ closed, and $f:Y\rightarrow X$ be an operator. We suppose that:

(i)

$f$ is a graphic $S$ -contraction;
(ii)

$f\$ is orbitally continuous.
(iii)

$f$ is increasing.

Then:

(a)

$x\leq f\left(x\right)\Longrightarrow x\leq f^{\infty}(x),\ \forall x\in(MI)_{f}$ ;
(b)

$x\geq f\left(x\right)\Longrightarrow x\geq f^{\infty}(x),\ \forall x\in(MI)_{f}$ .

Proof.

From Abstract Gronwall Lemma (see [10]) and Theorem 3.3 the conclusion is proved. ∎

Theorem 4.2.

(Comparison Theorem for graphic $S$ -contractions) Let $(X,d,\leq)$ be an ordered complete $\mathbb{R}_{+}^{m}$ -metric space, $\ Y\subset X$ closed, and $f,g,h:Y\rightarrow X$ be three operators. We suppose that:

(i)

$f\leq g\leq h$ ;
(ii)

the operators $f,g,h$ are graphic $S$ -contractions;
(iii)

$f,g,h$ are orbitally continuous;
(iv)

the operator $g$ is increasing with respect to $\leq$ .

Then $x\leq y\leq z$ implies that

x^{\ast}\leq y^{\ast}\leq z^{\ast}\ \Rightarrow\ f^{\infty}(x)\leq g^{\infty}(y)\leq h^{\infty}(z).

Proof.

From Abstract Comparison Theorem (see [10]) and Theorem 3.3, the conclusion is proved. ∎

An important theorem regarding the good WPO is the following.

Theorem 4.3.

\sum\limits_{n\in\mathbb{N}}d(f^{n}(x),f^{n+1}(x))\leq(I-S)^{-1}d(x,f(x)),\ \ \text{for all }x\in(MI)_{f}.

Proof.

For $x\in(MI)_{f}$ , we have:

	$\displaystyle{\textstyle\sum\limits_{n\in\mathbb{N}}}$	$\displaystyle d(f^{n}(x),f^{n+1}(x))=$
		$\displaystyle=d(x,f(x))+d(f(x),f^{2}(x))+d(f^{2}(x),f^{3}(x))+\ldots+d(f^{n}(x),f^{n+1}(x))+\ldots$
		$\displaystyle\leq\left({\textstyle\sum\limits_{n\in\mathbb{N}}}S^{n}\right)d(x,f(x))$
		$\displaystyle=(I-S)^{-1}d(x,f(x)),\ \forall x\in(MI)_{f}.$

Since ${\textstyle\sum\limits_{n\in\mathbb{N}}}d(f^{n}(x),f^{n+1}(x))<\infty,$ by definition, $f$ is a good WPO. ∎

Another result for special WPO is the following.

Theorem 4.4.

\sum\limits_{n\in\mathbb{N}}d(f^{n}(x),f^{\infty}(x))\leq(I-B)^{-1}d(x,f^{\infty}(x)),\ \text{for all }x\in(MI)_{f},

where $B=[I\!-\!S(I\!-\!S)^{-1}]^{-1}S(I\!-\!S)^{-1}$ .

Proof.

We estimate:

	$\displaystyle{\textstyle\sum\limits_{n\in\mathbb{N}}}$	$\displaystyle d(x,f^{\infty}(x))\leq$
		$\displaystyle\leq d(x,f(x))+d(f(x),f^{2}(x))+...+d(f^{n}(x),f^{n+1}(x))+d(f^{n+1}(x),f^{\infty}(x))$
		$\displaystyle\leq\left({\textstyle\sum\limits_{n\in\mathbb{N}}}S^{n}\right)d(x,f(x))=$
		$\displaystyle=(I-S)^{-1}d(x,f(x)).$

Let $x:=f(x)$ in the above estimation.

Follows:

	$\displaystyle d(f(x),f^{\infty}(x))$	$\displaystyle\leq(I-S)^{-1}d(f(x),f^{2}(x))$
		$\displaystyle\leq S(I-S)^{-1}d(x,f(x))$
		$\displaystyle\leq S(I-S)^{-1}[d(x,f^{\infty}(x))+d(f^{\infty}(x),f(x))].$
	$\displaystyle[I-S(I-S)^{-1}]d(f(x),f^{\infty}(x))$	$\displaystyle\leq S(I-S)^{-1}d(x,f^{\infty}(x)).$

d(f(x),f^{\infty}(x))\leq[I\!-\!S(I\!-\!S)^{-1}]^{-1}S(I\!-\!S)^{-1}d(x,f^{\infty}(x)),\ \forall x\in(MI)_{f}.

If we apply the same idea for $x:=f^{n-1}(x)$ , for all $n\in\mathbb{N}$ we obtain:

\displaystyle d(f^{n-1}(x),f^{\infty}(x))

\displaystyle\leq((I-A)^{-1}A)^{n-1}d(x,f^{\infty}(x)),

where $A:=S(I-S)^{-1}$ . Follows:

	$\displaystyle{\textstyle\sum\limits_{n\in\mathbb{N}}}d(f^{n}(x),f^{\infty}(x))=$
	$\displaystyle=d(x,f(x))+d(f(x),f^{2}(x))+...+d(f^{n}(x),f^{\infty}(x))+...$
	$\displaystyle\leq(I-B)^{-1}d(x,f^{\infty}(x)),\text{ with }B:=(I-A)^{-1}A.$

∎

The following result gives conditions for well posed fixed point problem.

Theorem 4.5.

Let $(X,d)$ be a complete $\mathbb{R}_{+}^{m}$ -metric space, $Y\subset X$ a nonempty closed subset and $f:Y\rightarrow X$ be an orbitally continuous $S$ -graphic contraction, where $S\in\mathbb{R}_{+}^{m\times m}$ . Then the fixed point problem for $f|_{(AB)_{f}(x^{\ast})}:(AB)_{f}(x^{\ast})\rightarrow(AB)_{f}(x^{\ast})$ is well posed, $\forall x^{\ast}\in F_{f}.$

Proof.

Let $x_{n}\in(AB)_{f}(x^{\ast})$ , we have:

	$\displaystyle d(x_{n},x^{\ast})$	$\displaystyle\leq d(x_{n},f(x_{n}))+d(f(x_{n}),x^{\ast})$
		$\displaystyle\leq d(x_{n},f(x_{n}))+d(f(x_{n}),f^{2}(x_{n})+d(f^{2}(x_{n}),x^{\ast})$
		$\displaystyle\leq d(x_{n},f(x_{n}))\!+\!d(f(x_{n}),f^{2}(x_{n})\!+\!...\!+d(f^{n-1}(x_{n}),f^{n}(x_{n}))\!+\!d(f^{n}(x_{n}),x^{\ast})$
		$\displaystyle\leq d(x_{n},f(x_{n}))+Sd(x_{n},f(x_{n}))+...+S^{n-1}d(x_{n},f(x_{n}))+d(f^{n}(x_{n}),x^{\ast})$
		$\displaystyle=(I+S+S^{2}+\ldots+S^{n-1}+...)d(x_{n},f(x_{n}))+d(f^{n}(x_{n}),x^{\ast})$
		$\displaystyle\leq(I-S)^{-1}d(x_{n},f(x_{n})).$

Letting $n\rightarrow\infty$ and since $x_{n}\in(AB)_{f}(x^{\ast})$ , we obtain the conclusion. ∎

Next we have established the conditions for the limit shadowing property.

Theorem 4.6.

Let $(X,d)$ be a complete $\mathbb{R}_{+}^{m}$ -metric space, $Y\subset X$ a nonempty closed subset and $f:Y\rightarrow X$ be an orbitally continuous $S$ -graphic contraction, where $S\in\mathbb{R}_{+}^{m\times m}$ . Then, $\forall x^{\ast}\in F_{f},\$ the operator $f|_{(AB)_{f}(x^{\ast})}:(AB)_{f}(x^{\ast})\rightarrow(AB)_{f}(x^{\ast})$ has the limit shadowing property.

Proof.

Let $x_{n}\in(AB)_{f}(x^{\ast}).$

d(x_{n+1},f^{\infty}(x))\leq d(x_{n+1},f(x_{n}))+d(f(x_{n}),f^{\infty}(x)).

By applying Theorem 3.3 (iii), follows:

d(x_{n+1},f^{\infty}(x))\leq[I-S(I-S)^{-1}]^{-1}S(I-S)^{-1}d(x_{n},f^{\infty}(x)).

∎

In what follow, we give two results for Pompeiu-Hausdorff functional.

Theorem 4.7.

(1)

$g$ is $(I-S)^{-1}$ -WPO on $(MI)_{f}$ ;
(2)

there exists $\eta\in\mathbb{R}_{+}^{m}$ : $d(f(x),g(x))\leq\eta,\ \forall x\in Y.$

Then $H_{d}(F_{f},F_{g})\leq(I-S)^{-1}\eta.$ Here $H_{d}=(H_{d_{1}},\ldots,H_{d_{m}})$ stands for Pompeiu-Housdorff functional.

Proof.

Let $x\in F_{g}.$ From Theorem 3.3(iv) it follows that

	$\displaystyle d(x,f^{\infty}(x))$	$\displaystyle\leq(I-S)^{-1}d(x,f(x))=(I-S)^{-1}d(g(x),f(x))$
		$\displaystyle=(I-S)^{-1}\eta.$

Similarly, if $y\in F_{f},$ then

	$\displaystyle d(y,g^{\infty}(y))$	$\displaystyle\leq(I-S)^{-1}d(y,g(y))=(I-S)^{-1}d(f(y),g(y))$
		$\displaystyle=(I-S)^{-1}\eta.$

Now the conclusion follows from [9]. ∎

Theorem 4.8.

Let $(X,d)$ be a complete $\mathbb{R}_{+}^{m}$ -metric space, $Y\subset X$ a nonempty closed subset and $f:Y\rightarrow X$ be an orbitally continuous $S$ -graphic contraction, where $S\in\mathbb{R}_{+}^{m\times m}$ . Let $f_{n}:Y\rightarrow X,\ n\in\mathbb{N}^{\ast},$ be such that:

(1)

$f_{n},\ n\in\mathbb{N}$ are $(I-S)^{-1}$ -WPOs on $(MI)_{f}$ ;
(2)

$f_{n}\overset{unif}{\rightarrow}f$ , as $n\rightarrow\infty.$

Then $H_{d}(F_{f_{n}},F_{f})\rightarrow 0$ , as $n\rightarrow\infty.$

Proof.

Let $x\in F_{f_{n}}.$ From Theorem 3.3(iv) it follows that

d(x,f^{\infty}(x))\leq(I-S)^{-1}d(x,f(x))=(I-S)^{-1}d(f_{n}(x),f(x)).

Similarly, if $y\in F_{f},$ then

d(y,f_{n}^{\infty}(y))\leq(I-S)^{-1}d(y,f_{n}(y))=(I-S)^{-1}d(f(y),f_{n}(y)).

Now the conclusion follows from the condition (2). ∎

References

[1] V. Berinde, S. Măruşter, I.A. Rus, Saturated contraction principles for non-self operators, generalizations and applications, Filomat 31-11 (2017), 3391-3406.
[2] V. Berinde, A. Petruşel, I.A. Rus, Remarks on the terminology of the mappings in fixed point iterative methods in metric space, Fixed Point Theory 24 (2023), no. 2, 525–540.
[3] A. Chiş-Novac, R. Precup, I.A. Rus, Data dependence of fixed points for non-self generalized contractions, Fixed Point Theory 10 (2009), no. 1, 73–87.
[4] V. Ilea, D. Otrocol, I.A. Rus, M.A. Şerban, Applications of fibre contraction principle to some classes of functional integral equations, Fixed Point Theory, 23 (2022), no. 1, 279-292.
[5] V. Ilea, A. Novac, D. Otrocol, Fixed point results for non-self operators on $\mathbb{R}^{m}$ -metric spaces, Fixed Point Theory, 26(2025), no. 1, 177-188.
[6] J.M. Ortega, W.C. Reinboldt, On a class of approximative iterative processes, Arch. Rat. Mech. Anal., 23 (1967), 352-365.
[7] A. Petruşel, I.A. Rus, Graphic contractions principle and applications, 395-416. In: Th. M. Rassias (ed.), Mathematical Analysis and Applications, Springer, 2019.
[8] I.A. Rus, On the method of successive approximations, Revue Roum. Math. Pures et Appl. 17 (1972), 1433-1437.
[9] I. A. Rus, Generalized Contractions and Applications, Cluj University Press, Cluj-Napoca, 2001.
[10] I. A. Rus, Picard operators and applications, Scientiae Mathematicae Japonicae 58 (2003), no. 1, 191-219.
[11] I. A. Rus, Metric space with fixed point property with respect to contractions, Studia Univ. Babeş-Bolyai Math. 51(2006), no. 3, 115-121.
[12] I. A. Rus, The theory of a metrical fixed point theorem: theoretical and applicative relevances, Fixed Point Theory, 9 (2008), no. 2, 541-559.
[13] I. A. Rus, Some variants of contraction principle, generalizations and applications, Stud. Univ. Babeş-Bolyai Math. 61 (2016), no. 3, 343–358.
[14] I. A. Rus, Relevant classes of weakly Picard operators, Anal. Univ. de Vest Timi¸soara Math. Inform., 54 (2016), 2-19.
[15] I.A. Rus, A. Petru¸sel, G. Petru¸sel, Fixed Point Theory (Cluj University Press, Cluj-Napoca 2008)
[16] I. A. Rus, A. Petruşel, M.A. Şerban, Weakly Picard Operators: equivalent definitions, applications and open problems, Fixed Point Theory 7 (2006), no. 1, 3-22.
[17] I. A. Rus, The theory of a metrical fixed point theorem: theoretical and applicative relevances, Fixed Point Theory, 9 (2008), no. 2, 541-559.
[18] I. A. Rus and M. A. Şerban, Some generalizations of a Cauchy Lemma and Applications, Topics in Mathematics, Computer Science and Philosophy, Presa Universitară Clujeană, 2008, 173-181.
[19] M.A. Şerban, Fibre contraction theorem in generalized metric spaces, Automat. Comput. Appl. Math., 16 (2007), no. 1, 139-144.
[20] M.A. Şerban, Saturated fibre contraction principle, Fixed Point Theory, 18 (2017), no. 2, 729–740.
[21] L.B. Ciric, Generalized contraction and fixed point theorems, Publ. Inst. Math., 12 (1971), 19-26.
[22] B. E. Rhoades, A comparison of various definitions of contractive mappings, Trans. Amer. Math. Soc., 226 (1977), 257-290.
[23] P. P. Zabrejko, $K$ -metric and $K$ -normed spaces: survey, Collect. Math., 48 (1997), 825-859.

Received: ; Accepted:

2024

Testing Weyl geometric gravity with the SPARC galactic rotation curves database

February 12, 2024

Positive radial solutions for Dirichlet problems in the ball

February 1, 2024

On equilibrium in control problems with applications to evolution systems

December 5, 2024

Fixed point results for weakly Picard non-self operators on ℝ+m-metric spaces

Abstract

Authors

Keywords

Paper coordinates

PDF

About this paper

Journal

Publisher Name

DOI

Print ISSN

Online ISSN

References

Fixed point results for weakly Picard non-self operators on ℝ+m\mathbb{R}_{+}^{m}-metric spaces

1. Introduction

Theorem 1.1.

2. Preliminaries

Definition 2.1.

Definition 2.2.

Definition 2.3.

Remark 2.4.

Remark 2.5.

3. Saturated contraction principle for graphic SS-contraction

Definition 3.1.

Definition 3.2.

Theorem 3.3.

Proof.

4. Data dependence

Theorem 4.1.

Proof.

Theorem 4.2.

Proof.

Theorem 4.3.

Proof.

Theorem 4.4.

Proof.

Theorem 4.5.

Proof.

Theorem 4.6.

Proof.

Theorem 4.7.

Proof.

Theorem 4.8.

Proof.

References

Related Posts

Fixed point results for weakly Picard non-self operators on $\mathbb{R}_{+}^{m}$ -metric spaces

3. Saturated contraction principle for graphic $S$ -contraction