Abstract
The main aim of this paper is to study distance spaces, to provide some useful remarks with examples regarding distance spaces, and to establish multiple fixed point results for a C-distance space in the presence of different contractive conditions. This concept allows us to reduce the multidimensional case to a one-dimensional case.
Similar content being viewed by others
1 Introduction
We start a survey with a coupled fixed point for the conviction of multidimensional fixed point because its notion emerged naturally from coupled fixed point. Opoitsev [12–15] introduced coupled fixed point and published a number of papers in the period 1975–1986. In 2011, the concept of tripled fixed point was introduced by Berinde and Borcut [1], which included three variables. Samet and Vetro [16] generalized this concept to a fixed point of m-order in 2010. In 2012, quadruple fixed point was studied by Karapinar and Berinde [5] for nonlinear contractions in the presence of partially ordered metric spaces. After this beginning, a number of articles were devoted to the study of tripled, quadruple, and also multiple fixed points (also known as “a multidimensional fixed point” or “an m-tuplet fixed point”).
In 2016, Choban [2] generalized metric spaces as distance spaces. In 2017, Choban and Berinde [3, 4] established multidimensional fixed point results for distance spaces in the presence of certain contractive condition. In this paper we provide some useful remarks with examples regarding distance spaces and establish multidimensional fixed point results for C-distance spaces with generalized contractive conditions. This point of view allows us to reduce the multiple case of fixed point theorems to a one-dimensional case. In the last section of this article an application of our results is added, which provides a unique solution to a specified class of integral equations.
2 Preliminaries
Let us recall some fundamental concepts regarding distance spaces, which can be found in [2] and [4].
Definition 2.1
Let \(\mathcal{M}\) be a nonempty set and \(\sigma :\mathcal{M}\times \mathcal{M}\rightarrow \mathbb{R} \), then σ is a distance on \(\mathcal{M}\), if
-
1.
\(\sigma ( \xi ,\eta ) \geq 0\) for all \(\xi ,\eta \in \mathcal{M}\);
-
2.
if \(\sigma ( \xi ,\eta ) +\sigma ( \eta ,\xi ) =0\), then \(\xi =\eta \) for all \(\xi ,\eta \in \mathcal{M}\);
-
3.
if \(\xi =\eta \), then \(\sigma ( \xi ,\eta ) =0\) for all \(\xi ,\eta \in \mathcal{M}\).
Let σ be a distance on \(\mathcal{M}\) and the open ball with center ξ and radius \(r>0\) is denoted and defined as \(B(\xi ,\sigma ,r)=\{ \eta \in \mathcal{M}:\sigma (\xi ,\eta )< r\}\).
Consider a distance space \((\mathcal{M},\sigma )\) and a sequence \(\{ \xi _{\vartheta }:\vartheta \in \mathbb{N} \}\) in \(\mathcal{M}\) and \(\xi \in \mathcal{M}\). Then \(\{ \xi _{\vartheta }:\vartheta \in \mathbb{N} \}\):
-
1.
converges to ξ if and only if \(\lim_{\vartheta \rightarrow \infty }\sigma (\xi ,\xi _{\vartheta })=0\);
-
2.
is Cauchy if \(\lim_{r,\vartheta \rightarrow \infty }\sigma (\xi _{\vartheta }, \xi _{r})=0\).
If every Cauchy sequence in the distance space \(\mathcal{M}\) converges to some ξ in \(\mathcal{M}\), then \(( \mathcal{M},\sigma ) \) is called complete distance space.
Note: Every metric space is a distance space but converse is not true in general.
Example 2.1
Let \(\mathcal{M}=\mathbb{N} \), define
Clearly, \(r-\vartheta \geq 0\) and \(\vartheta ^{-1}-r^{-1}=\frac{r-\vartheta }{r\vartheta }\geq 0\). Then
Hence σ is a distance on \(\mathcal{M}\) but it is not a metric on \(\mathcal{M}\).
Now we include some important remarks with examples.
Remark
In general, distance σ is not a continuous function.
Example 2.2
Let \(\mathcal{M}=\{ \beta ^{-\vartheta }:\vartheta \in \mathbb{N} \} \cup \{0\}\), and for all \(\xi \in \mathcal{M}\), \(\beta \geq 1\), define
Clearly, in all cases \(\sigma (\xi ,\eta )\geq 0\) and \(\sigma (\xi ,\eta )+\sigma (\eta ,\xi )=0\) if and only if \(\xi =\eta \). Thus σ is a distance on \(\mathcal{M}\). Let \(\{ \xi _{\vartheta }:\vartheta \in \mathbb{N} \}\) be a null sequence, i.e., \((\xi _{\vartheta })_{\vartheta \in \mathbb{N} }= ( \beta ^{-\vartheta } ) \rightarrow 0\) and \((\eta _{\vartheta })_{\vartheta \in \mathbb{N} }=(0,0,0,\ldots)\rightarrow 0\). Then
Consider
So σ is not a continuous function.
Remark
A convergent sequence need not be Cauchy in a distance space.
Example 2.3
If we consider the distance space in Example 2.2, then clearly the sequence \(\{ \beta ^{-\vartheta }:\vartheta \in \mathbb{N} \}\) is a convergent sequence that converges to 0, but it is not Cauchy because
Remark
Convergent sequence in a distance space may not have a unique limit.
Example 2.4
Let
Now we define
Then
Also
The sequence \((\vartheta ^{-1})_{\vartheta \in \mathbb{N} }\) converges to 0 and a which belong to \(\mathcal{M}\), which implies that 0 and a both are the limits of the sequence \((\vartheta ^{-1})_{\vartheta \in \mathbb{N} }\). Hence the convergent sequence in a distance space may not have a unique limit point.
Definition 2.2
Let \(\mathcal{M}\neq \phi \) and σ be a distance on \(\mathcal{M}\). Then \((\mathcal{M},\sigma )\) is called symmetric space if \(\sigma (\xi ,\eta )=\sigma (\eta ,\xi )\) for all \(\xi ,\eta \in \mathcal{M}\).
Definition 2.3
A distance space \((\mathcal{M},\sigma )\) is called C-distance space if any Cauchy sequence that converges has a unique limit point.
Definition 2.4
The function \(\Psi :[0,\infty )\rightarrow {}[ 0,\infty )\) is called altering distance function if it is semicontinuous, nondecreasing and \(\Psi ( 0 ) =0\).
Defining distance on the Cartesian product of distance spaces
Consider \((\mathcal{M},\sigma )\) as a distance space, \(r\in \mathbb{N} =\{1,2,\ldots\}\). On \(\mathcal{M}^{r}\) define \(\sigma ^{r}\) as
Obviously, \((\mathcal{M}^{r},\sigma ^{r})\) is also a distance space.
Proposition 1
The distance space \((\mathcal{M}^{r},\sigma ^{r})\) inherits the properties of the distance space \((\mathcal{M},\sigma )\).
Fix \(r\in \mathbb{N} \) and \(\Gamma = ( \Gamma _{1},\ldots,\Gamma _{r} ) \) a collection of mappings
Consider a distance space \(( \mathcal{M},\sigma ) \) and a mapping \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\). The operator \(\Gamma G:\mathcal{M}^{r}\rightarrow \mathcal{M}^{r}\), which is a composition of G and Γ, is defined as
where
for any point \((\xi _{1},\ldots,\xi _{r})\in \mathcal{M}^{r}\) and \(\acute{\imath }\in \{1,2,\ldots,r\}\). A point \(\varkappa =(\varkappa _{1},\ldots,\varkappa _{r})\in \mathcal{M}^{r}\) is called Γ-multiple fixed point of G if it is a fixed point of ΓG [4], i.e., if \(\varkappa =\Gamma G(\varkappa )\) then
Consider \(( \mathcal{M},\sigma ) \) as a distance space, \(r\in \mathbb{N} \), with mapping \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\), let \(\Gamma = \{ \Gamma _{\acute{\imath }}: \{ 1,2,\ldots,r \} \rightarrow \{ 1,2,\ldots,r \} :1\leq \acute{\imath }\leq r \} \) be a collection of mappings. For any \(\varkappa = ( \varkappa _{1},\ldots,\varkappa _{r} ) \in \mathcal{M}^{r}\), \(\varkappa ( 1 ) =\Gamma G ( \varkappa ) \) and \(\varkappa ( \vartheta +1 ) =\Gamma G ( \varkappa ( \vartheta ) ) \) for each \(\vartheta \in \mathbb{N} \). Then \(O(G,\Gamma ,\varkappa )=\{ \varkappa (\vartheta ):\vartheta \in \mathbb{N} \}\) is a Picard sequence.
Proposition 2
Consider \((\mathcal{M},\sigma )\) as a C-distance space. Then:
-
1.
\(\sigma (\xi ,\eta )=0\) if and only if \(\xi =\eta \);
-
2.
If, for \(\varkappa \in \mathcal{M}^{r}\), the Picard sequence \(O(G,\Gamma ,\varkappa )=\{ \varkappa (\vartheta ):\vartheta \in \mathbb{N} \}\) is convergent Cauchy and its limit is a multiple fixed point of G with respect to the mappings Γ, i.e.,
$$ \omega _{\acute{\imath }}=G ( \omega _{\Gamma _{\acute{\imath }} ( 1 ) },\ldots,\omega _{\Gamma _{\acute{\imath }} ( r ) } ) \quad \textit{for each }\acute{\imath }\in \{ 1,2,\ldots,r \} . $$
We define contractive conditions which are similar to Kannan and Chatterjea contractions. The mapping G is called:
-
Γ-Kannan type contraction if there exists \(\delta \in {}[ 0,\frac{1}{2})\) such that
$$\begin{aligned}& \sigma \bigl( G ( \vartheta _{1},\ldots,\vartheta _{r} ) ,G ( \omega _{1},\ldots,\omega _{r} ) \bigr) \\& \quad \leq \delta \Bigl[\sup_{\acute{\imath }\leq r} \bigl\{ \sigma \bigl( \vartheta _{ \acute{\imath }},G ( \vartheta _{1},\ldots,\vartheta _{r} ) \bigr) \bigr\} + \sup_{\acute{\imath }\leq r} \bigl\{ \sigma \bigl( \omega _{ \acute{\imath }},G ( \omega _{1},\ldots,\omega _{r} ) \bigr) \bigr\} \Bigr] \end{aligned}$$for all \(( \vartheta _{1},\ldots,\vartheta _{r} ) , ( \omega _{1},\ldots, \omega _{r} ) \in \mathcal{M}^{r}\) and \(1\leq \acute{\imath }\leq r\).
-
Γ-Chatterjea type contraction if there exists \(\delta \in {}[ 0,\frac{1}{2})\) such that
$$\begin{aligned}& \sigma \bigl( G ( \vartheta _{1},\ldots,\vartheta _{r} ) ,G ( \omega _{1},\ldots,\omega _{r} ) \bigr) \\& \quad \leq \delta \Bigl[ \sup_{\acute{\imath }\leq r} \bigl\{ \sigma \bigl( \vartheta _{ \acute{\imath }},G ( \omega _{1},\ldots,\omega _{r} ) \bigr) \bigr\} + \sup_{\acute{\imath }\leq r} \bigl\{ \sigma \bigl( \omega _{ \acute{\imath }},G ( \vartheta _{1},\ldots,\vartheta _{r} ) \bigr) \bigr\} \Bigr] \end{aligned}$$for all \(( \vartheta _{1},\ldots,\vartheta _{r} ) , ( \omega _{1},\ldots, \omega _{r} ) \in \mathcal{M}^{r}\) and \(1\leq \acute{\imath }\leq r\).
3 Main results
Proposition 3
Consider \(( \mathcal{M},\sigma ) \) as a distance space, \(r\in N\), with a mapping \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\), and let \(\Gamma = \{ \Gamma _{\acute{\imath }}: \{ 1,2,\ldots,r \} \rightarrow \{ 1,2,\ldots,r \} :1\leq \acute{\imath }\leq r \} \) be a collection of mappings, \(\vartheta = ( \vartheta _{1},\ldots,\vartheta _{r} ) \in \mathcal{M}^{r}\), \(\omega = ( \omega _{1},\omega _{2},\ldots,\omega _{r} ) \in \mathcal{M}^{r}\). If there exists \(\delta \in [ 0,\frac{1}{2} ) \) such that
for each \(1\leq \acute{\imath }\leq r\), then
Proof
Let us consider, for any \(\acute{\imath }\leq r\),
then
Now we have
□
Remark
Consider a distance space \(( \mathcal{M},\sigma ) \). If G is a Γ-Kannan type contraction, then ΓG is a Kannan contraction on the distance space \(( \mathcal{M}^{r},\sigma ^{r} ) \).
Proposition 4
Consider \(( \mathcal{M},\sigma ) \) as a distance space, \(r\in \mathbb{N} \), let \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\) be an operator, \(\Gamma = \{ \Gamma _{\acute{\imath }}: \{ 1,2,\ldots,r \} \rightarrow \{ 1,2,\ldots,r \} :1\leq \acute{\imath }\leq r \} \) be a collection of mappings, \(\vartheta = ( \vartheta _{1},\ldots,\vartheta _{r} ) \in \mathcal{M}^{r}\), \(\omega = ( \omega _{1},\omega _{2},\ldots,\omega _{r} ) \in \mathcal{M}^{r}\). If there exists \(\delta \in [ 0,\frac{1}{2} ) \) such that
for each \(1\leq \acute{\imath }\leq r\), then
Proof
The proof is similar to that of the above proposition. □
Remark
Consider a distance space \(( \mathcal{M},\sigma ) \). If G is a Γ-Chatterjea type contraction, then ΓG is a Chatterjea contraction on the distance space \(( \mathcal{M}^{r},\sigma ^{r} ) \).
Now we give an example of C-distance space.
Example 3.1
Let \(\mathcal{M}= \{ \beta -\frac{1}{3\vartheta }:\vartheta \in \mathbb{N} \} \cup \{ \beta \}\), where \(\beta \geq 1\). For all \(\xi ,\eta \in Z\), where \(Z= \{ \beta -\frac{1}{3\vartheta }:\vartheta \in \mathbb{N} \} \), consider
Define a sequence \(( \xi _{\vartheta } ) _{\vartheta \in \mathbb{N} }=\beta -\frac{1}{3\vartheta }\) such that
for all \(l,\vartheta \in \mathbb{N} \). Now to show \((\xi _{\vartheta })_{\vartheta \in \mathbb{N} }\) is convergent, consider
Applying limit \(\vartheta \rightarrow \infty \), we get
that is,
This implies \((\xi _{\vartheta })_{\vartheta \in \mathbb{N} }\) converges to β and
ensures that it is also Cauchy and the limit of a convergent Cauchy sequence is unique. Hence \((\mathcal{M},\sigma )\) is a C-distance space.
Remark
-
1.
Every metric space is C-distance space but not conversely as already shown in the above example.
-
2.
In a C-distance space, distance σ is not necessarily a continuous function.
-
3.
In a C-distance space, a convergent sequence need not be Cauchy.
Theorem 3.1
Consider \((\mathcal{M},\sigma )\) as a complete C-distance space, with a mapping \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\). If G is a Γ- Kannan type contraction, then any Picard sequence of a self-mapping ΓG on \(\mathcal{M}^{r}\) is Cauchy and G possesses a unique multidimensional fixed point.
Proof
Since G is a Γ-Kannan type contraction, then ΓG is a Kannan contraction on \(( \mathcal{M}^{r},\sigma ^{r} ) \) and \((\mathcal{M},\sigma )\) is a complete C-distance space, so \((\mathcal{M}^{r},\sigma ^{r})\) is also a complete C-distance space. Let \(\varkappa \in \mathcal{M}^{r}\) and
Firstly, we need to show that \((\varkappa (\vartheta ))_{\vartheta \in \mathbb{N} }\) is Cauchy, i.e., \(\lim_{\vartheta ,l\rightarrow \infty }\sigma ^{r}(\varkappa ( \vartheta ),\varkappa (l))\rightarrow 0\) and \(\lim_{\vartheta ,l\rightarrow \infty }\sigma ^{r}(\varkappa (l), \varkappa (\vartheta ))\rightarrow 0\).
For this, consider
This implies
Applying limit \(\vartheta \rightarrow \infty \), we get
Similarly, we can show that
For \(\vartheta >l\), consider
Applying limit \(l,\vartheta \rightarrow \infty \) over the above expression, we get
which implies \((\varkappa (\vartheta ))_{\vartheta \in \mathbb{N} }\) is Cauchy. Since \((\mathcal{M}^{r},\sigma ^{r})\) is complete, so a Cauchy sequence will converge and the limit of that sequence in a C-distance space is the multidimensional fixed point of G. Since that limit is unique, so a fixed point of the operator G will be unique. □
Example 3.2
Let \(\mathcal{M}= \{ \frac{1}{\vartheta }:\vartheta \in \mathbb{N} \} \cup \{ 0 \} \). Define, for all \(\vartheta ,l\in \mathbb{N} \),
then \(( \mathcal{M},\sigma ) \) is a C-distance space. Now
and
then \(( \mathcal{M}^{2},\sigma ^{2} ) \) is also a C-distance space.
Now define a mapping \(G:\mathcal{M}^{2}\rightarrow \mathcal{M}\) such that
and a mapping \(\Gamma :\mathcal{M}\rightarrow \mathcal{M}^{2}\) such that
where \(\Gamma _{\acute{\imath }}: \{ 1,2 \} \rightarrow \{ 1,2 \} \) are defined as
The mapping \(\Gamma G:\mathcal{M}^{2}\rightarrow \mathcal{M}^{2}\), which is the composition of G and Γ, is defined as follows:
Consider
We need to show that
where \(\delta \in [ 0,\frac{1}{2} ) \).
If \(\xi = ( 0,\frac{1}{\vartheta _{1}} ) \) and \(\eta = ( \frac{1}{\vartheta _{2}},0 ) \), then
Now consider
that is,
Similarly, for other values of ξ and η, condition (A) is easily verified, so G is a Γ-Kannan type contraction. Then the mapping ΓG is Kannan contraction and it has a fixed point.
Now \(\xi ^{\vartheta }=\Gamma G ( \xi ^{\vartheta -1} ) \) for \(\xi \in \mathcal{M}^{2}\). Choose \(\xi = ( \xi _{1}^{0},\xi _{2}^{0} ) \)
Applying limit \(\vartheta \rightarrow \infty \), we get
which is a unique fixed point for ΓG and a unique multidimensional fixed point for G, i.e.,
Theorem 3.2
The mapping ΓG on a complete symmetric C-distance space \((\mathcal{M},\sigma )\) satisfies generalized contraction if
then any Picard sequence of a self-mapping ΓG on \(\mathcal{M}^{r}\) is Cauchy and G possesses a unique multiple fixed point.
Proof
Let \(\varkappa \in \mathcal{M}^{r}\), \(\varkappa (1)=\Gamma G(\varkappa )\), \(\varkappa (\vartheta +1)=\Gamma G( \varkappa (\vartheta ))\). Consider
If
then
which is not possible, so
Thus
Hence
Similarly, we can prove that
Now, to show \((\varkappa (\vartheta ))_{\vartheta \in \mathbb{N} }\) is a Cauchy sequence, for \(l>\vartheta \), consider
Now we consider the following cases.
Case 1: If
then inequality (5) gives
Apply limit \(l,\vartheta \rightarrow \infty \) over the above expression and using (3), we get
Case 2: If
then inequality (5) implies
Again applying limit \(l,\vartheta \rightarrow \infty \) over the above expression and using (3), we get
Case 3: If
then
Consider
Now, if
then inequality (7) implies
Applying lim \(l,\vartheta \rightarrow \infty \) over the above expression and using (5), we get
If
then (7) implies
Applying limit \(l,\vartheta \rightarrow \infty \) over the above expression and using (3), we get
If
then condition (7) gives
Applying limit \(l,\vartheta \rightarrow \infty \), it follows
Similarly, we can show that
which implies \((\varkappa (\vartheta ))_{\vartheta \in \mathbb{N} }\) is Cauchy. Because of the completeness of space, a Cauchy sequence will converge, and from the proposition, the limit of a convergent Cauchy sequence in a C-distance space is the multiple fixed point of the operator G. Since the space is C-distance space, i.e., the limit of a convergent Cauchy sequence is unique, so a fixed point of the operator G will be unique. □
Assuming \(\Gamma _{i}\) as identity maps in the above result, we define the following corollary.
Corollary 1
If a mapping G on a complete C- distance space \((\mathcal{M},\sigma )\) satisfies
then G possesses a unique multiple fixed point.
Proof
The proof of this result can be easily deduced by using the above theorem. □
Theorem 3.3
If a self-mapping ΓG on a complete C-distance space \(( \mathcal{M},\sigma ) \) satisfies
where
ψ is defined in Definition 2.4, \(\theta : [ 0,\infty ) \rightarrow [ 0,\infty ) \) is upper semicontinuous and \(\varphi : [ 0,\infty ) \rightarrow [ 0,\infty ) \) is a lower semicontinuous function with \(\theta ( 0 ) =\varphi ( 0 ) =0\) and
then a Picard sequence is Cauchy and G possesses a unique multiple fixed point.
Proof
If \(\varkappa ( \vartheta ) =\varkappa ( \vartheta +1 ) \), then G has a fixed point. Suppose \(\varkappa ( \vartheta ) \neq \varkappa ( \vartheta +1 ) \). Let \(\varkappa \in \mathcal{M}^{r}\), \(\varkappa ( 1 ) =\Gamma G ( \varkappa ) \), \(\varkappa ( \vartheta +1 ) =\Gamma G ( \varkappa ( \vartheta ) ) \).
To show \(\sigma ^{r} ( \varkappa ( \vartheta ) ,\varkappa ( \vartheta +1 ) ) \) is a decreasing sequence, consider
where
If
then condition (10) implies
which is a contradiction. Thus we get
then condition (10) implies
Since ψ is increasing
Hence \(\sigma ^{r} ( \varkappa ( \vartheta ) , \varkappa ( \vartheta +1 ) ) \) is a decreasing sequence, so there exists \(r\geq 0\) such that
If \(r>0\) then apply limit \(\vartheta \rightarrow \infty \) in inequality (11)
a contradiction, so \(r=0\). Hence
Similar steps can be followed to prove
Hence
Now, to show
suppose that \(( \varkappa ( \vartheta ) ) _{\vartheta \in N} \) is not Cauchy. Choose \(\epsilon >0\) and \(\delta \in ( 0,\epsilon ) \), there exist subsequences \(\vartheta _{p}\), \(l_{p}\) such that \(l_{p}>\vartheta _{p}>p\) and
Let \(l_{p}\) be the smallest integer satisfying the above condition, then
Consider
where
If
then
Since ψ is nondecreasing, so
Apply limit \(l,\vartheta \rightarrow \infty \), it follows
a contradiction. Now, if
then a similar argument as above leads to contradiction. Thus
then
Consider
where
If
or
both lead to contradiction. The only option we are left with is
It follows that
Continuing this process, it follows that
Since ψ is nondecreasing, so
Applying limit \(p\rightarrow \infty \) and using (12) and (13) in the above inequality results in
which is a contradiction. So
Similarly,
then we have
Hence \(( \varkappa ( \vartheta ) ) _{\vartheta \in \mathbb{N} }\) is Cauchy, and since the space is complete, there will be some \(v\in \mathcal{M}^{r}\) such that
In a C-distance space, the limit of a convergent Cauchy sequence is a multidimensional fixed point of G, and the uniqueness of limit ensures that G possesses a unique multiple fixed point. □
Corollary 2
If a mapping ΓG on a complete C-distance space \(( \mathcal{M},\sigma ) \) satisfies
where
ψ defined in Definition 2.4, \(\varphi : [ 0,\infty ) \rightarrow [ 0,\infty ) \) a lower semicontinuous function with \(\varphi ( 0 ) =0\) and
then a Picard sequence of a self-mapping ΓG on \(\mathcal{M}^{r}\) is Cauchy and G possesses a multiple fixed point, which will be unique.
4 An application
Theory of differential and integral equations is arising with fundamental tools such as fixed point theory, functional analysis, and topology. Most of the problems of applied mathematics are reduced to finding fixed points of certain mappings. For solving various problems of integral calculus, researchers have tried to generalize contractive conditions, mappings, and metric spaces, see [6–11, 17].
Let \(a,b\in \mathbb{R} \) with \(a< b\), and let \(I= [ a,b ] \). Consider \(\mathcal{M}=C ( I ) \), the space of all continuous real-valued functions defined on I, with the distance
then \(( \mathcal{M},\sigma ) \) is a complete C-distance space.
Consider the following system of equations:
for \(i=1,2,\ldots,r\), where \(\eta _{i}\)s are elements of \(\mathcal{M}\), \(u\in I\) and \(J:\mathbb{R} ^{r}\longrightarrow \mathbb{R} \) is a mapping verifying:
-
(i)
J is continuous;
-
(ii)
for all \(( x_{1},x_{2},\ldots,x_{r} ) , ( y_{1},y_{2},\ldots,y_{r} ) \in \mathbb{R} ^{r}\),
$$ \bigl\vert J ( x_{1},x_{2},\ldots,x_{r} ) -J ( y_{1},y_{2},\ldots,y_{r} ) \bigr\vert \leq k \Bigl( \max_{1\leq i\leq r}\lambda _{i} \vert x_{i}-y_{i} \vert ^{p} \Bigr) ^{\frac{1}{p}}, $$where k, \(\lambda _{1}, \lambda _{2}, \ldots, \lambda _{r}\) are real numbers.
Define a mapping \(G:\mathcal{M}^{r}\rightarrow \mathcal{M}\) for all \(\eta = ( \eta _{1},\eta _{2},\ldots ,\eta _{r} ) \) in \(\mathcal{M}^{r}\) and \(\omega \in \mathbb{R} \) such that
Clearly, \(G\in C ( I ) \). Now, to prove the existence of solution of system \(( 14 )\), we need to prove that G has a multiple fixed point.
For \(( \eta _{1},\eta _{2},\ldots ,\eta _{r} ), ( \xi _{1}, \xi _{2},\ldots ,\xi _{r} ) \in \mathcal{M}^{r}\), consider
with \(\lambda =\max_{1\leq i\leq r}\lambda _{i}\). If \(k\lambda ( b-a ) ^{p}<1\), then by Corollary 1G has a unique multiple fixed point, which is a solution of system (14).
References
Berinde, V., Borcut, M.: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 74(15), 4889–4897 (2011)
Choban, M.: Fixed points of mappings defined on spaces with distance. Carpath. J. Math. 32(2), 173–188 (2016)
Choban, M.M., Berinde, V.: Multiple fixed point theorems for contractive and Meir–Keeler type mappings defined on partially ordered spaces with a distance. arXiv preprint (2016). arXiv:1701.00518
Choban, M.M., Berinde, V.: A general concept of multiple fixed point for mappings defined on spaces with a distance. Carpath. J. Math. 33(3), 275–286 (2017)
Karapinar, E., Berinde, V.: Quadruple fixed point theorems for nonlinear contractions in partially ordered metric spaces. Banach J. Math. Anal. 6(1), 74–89 (2012)
Kaushik, P., Kumar, S., Tas, K.: A new class of contraction in b-metric spaces and applications. Abstr. Appl. Anal. 2017, Article ID 9718535 (2017)
Kumara, M., Arorab, S., Imdadc, M., Alfaqihb, W.M.: Coincidence and common fixed point results via simulation functions in G-metric spaces. J. Math. Comput. Sci. 19(4), 288–300 (2019)
Lateef, D.: Fisher type fixed point results in controlled metric spaces. J. Math. Comput. Sci. 20(3), 234–240 (2020)
Lee, Y., Jung, S.: A fixed point approach to the stability of a general quartic functional equation. J. Math. Comput. Sci. 20(3), 207–215 (2020)
Lohawech, P., Kaewcharoen, A.: Fixed point theorems for generalized JS-quasi-contractions in complete partial b-metric spaces. J. Nonlinear Sci. Appl. 12(11), 728–739 (2019)
Nyein, E.E., Zaw, A.K.: A fixed point method to solve differential equation and Fredholm integral equation. J. Nonlinear Sci. Appl. 13(4), 205–215 (2020)
Opoitsev, V.I.: Dynamics of collective behavior. III. Heterogenic systems. Avtom. Telemeh. 1, 124–138 (1975)
Opoitsev, V.I.: Generalization of the theory of monotone and concave operators. Tr. Mosk. Mat. Obŝ. 36, 237–273 (1978)
Opoitsev, V.I.: Nonlinear systemostatics. Library of Mathematical Economics, 31 (1986)
Opoitsev, V.I., Khurodze, T.A.: Nonlinear operators in spaces with a cone. Tbilis. Gos. Univ. Tbilisi, 271 (1984)
Samet, B., Vetro, C.: Coupled fixed point, f-invariant set and fixed point of N-order. Ann. Funct. Anal. 1(2), 46–56 (2010)
Song, Q.Q., Luo, P.: On stable fixed points under several kinds of strong perturbations. J. Nonlinear Sci. Appl. 12(11), 299–710 (2019)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
None.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rashid, M., Bibi, R., Kalsoom, A. et al. Multidimensional fixed points in generalized distance spaces. Adv Differ Equ 2020, 571 (2020). https://doi.org/10.1186/s13662-020-03026-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03026-9