Abstract
In this paper, we introduce two new concepts of F-contraction, called dual \(F^{*}\)-weak contraction and triple \(F^{*}\)-weak contraction, which generalize the existing contractions in the sense of Wardowski, Jleli and Samet as well as Skof. These new generalizations embed their roots in the aim devoted to extending the generalized Banach contraction conjuncture to the class of F-contraction type mappings with the use of multiple F-type functions. Furthermore, we establish the existence of a unique fixed point for such contractions under certain conditions. Fractional calculus can be used to precisely change or control the fractal dimension of any random or deterministic fractal with coordinates that can be expressed as functions of one independent variable. We apply our main result to weaken certain conditions on the fractional integral equations. Finally, we discuss the significance of our obtained results in comparison with certain renowned ones in the literature.
Similar content being viewed by others
1 Introduction and preliminaries
In a plethora of real and theoretical world problems, the existence of the solution to a problem is equivalent to the existence of a fixed point. Therefore, fixed points are of phenomenal importance in different areas of science and have become the subject of scientific research. Metric fixed point theory was initiated by Banach [1] with a principle known as Banach contraction principle. Banach established a remarkable fixed point theorem for a contraction \(\mathfrak{F}:X\to X\) in a metric space \((X,d)\) by introducing the following contraction condition:
Over the years, the Banach contraction principle has been generalized in numerous directions. In most of the generalizations, either the topology is weakened or the contractive nature of the mapping is weakened (for example, see [2–15] etc.).
The aim of this research is to establish some interesting results concerning new generalizations or extensions of the Banach contraction principle. The idea behind this research has its roots in some extensions of the generalized Banach contraction conjuncture by introducing three auxiliary functions in the main contraction condition and by weakening some constraints on the fractional integral equations. At first, we review the literature and observe some interesting generalizations and extensions of the Banach contraction condition.
Boyd and Wong [4] generalized the Banach contraction condition by replacing the constant k with a control function \(\varphi : [0, \infty ] \to [0, \infty ]\) such that
where, for each \(s>0\), \(s > \varphi (s)\).
Geraghty [5] presented a mapping \(\mathfrak{F}:X\to X\) in a metric space \((X,d)\) with the following contraction condition:
where the function \(\zeta :(0,\infty )\to (0,1)\).
Skof [6] established a fixed point theorem for a mapping \(\mathfrak{F}:X\to X\) in a metric space \((X,d)\) using the following contraction condition:
for all \(x,y\in X\), and \(\varphi :[0,\infty )\to [0,\infty )\), \(\alpha ,\beta ,\gamma \in [0,1)\) with \(0\le \alpha +\beta +\gamma <1\).
In 2001, James Merryfield [15] generalized the Banach contraction principle by introducing a conjecture named generalized Banach contraction conjecture. Merryfield established fixed point results using a minimum of a set of powers for the operator rather than requiring a single operator. He proposed a mapping \(\mathfrak{F}:X\to X\) in a metric space \((X,d)\) such that
In 2012, [16] Wardowski generalized Banach contraction in an interesting way by applying a control function F on the mapping involved. The use of this method brings a wide range of potential applications in distinct disciplines, including physics, economics, engineering, computer science, and so forth. Wardowski [16] introduced a mapping \(\mathfrak{F}:X\to X\) in a metric space \((X,d)\) using the following contraction condition:
for all \(x,y\in X \) and \(F:{{\mathbb{R}}_{+}}\mapsto \mathbb{R}\), \(\tau >0\). Furthermore, Sumati Kumari [10] generalized the notion of F-contraction in the view of d-metric spaces and investigated the uniqueness of fixed point and coincidence point of such mappings. Recently, Proinov [7] introduced two auxiliary functions in his main contraction condition as follows:
for all \(x,y\in X, \psi \), \(\varphi : ( 0,\infty )\to \mathbb{R}\).
We shall focus on the most interesting extensions of the Banach contraction principle following the approach inspired by Wardowski [16] via the idea presented by James Marryfield [15]. We extend the idea of generalized Banach contraction conjecture to the class of F-contraction mappings. That is, following Wardowski’s idea of F-contraction and the conjecture presented by James Merryfield [15], we generalize F-contraction by introducing two types: a dual \(F^{*}\)-weak contraction and a triple \(F^{*}\)-weak contraction. We also establish existence and uniqueness theorems for these new kinds of contractions.
In recent years, fractional analysis has been augmented as a powerful tool on the strength of its effective applications in various scientific research areas like mathematical biology, applied mathematics, dynamics, chaos theory, statistics, control theory, and optimization. The development of new differential and integral operators in the field of fractional analysis along with the applications to fractional-order differential and integral equations has attracted the consideration of researchers worldwide (for details, see [2, 8, 17–22]). The nonlinear fractional differential equations have a valuable role in various fields of science, such as engineering, biology, fluid mechanics, physics, chemistry, and bio-physics.
In the literature, the contractive type conditions and their generalizations have been used for establishing the fixed point results and applied for developing the existence theorems of real and theoretical word problems whose mathematical models are differential and integral equations involving fractional operators. In 2016, Gopal and Abbas [23] presented an application to nonlinear fractional differential equation and proved the existence of solutions for the nonlinear fractional differential problem
Gopal and Abbas [23] established the existence theorem by assuming that there exists a function \(\xi :\mathbb{R}\times \mathbb{R}\to \mathbb{R}\) and \(\tau >0\) such that
for all \(t\in [0,1]\) and \(a,b\in \mathbb{R}\) with \(\xi (a,b)>0\). By using the conditions of the existence theorem along with the defined mapping in a certain space they proved that the mapping is restricted by the following F-contraction condition:
In 2020, Hanadi Zahed, based on the proved fixed point theorem, provided some new sufficient conditions for the existence of solutions of an integral boundary value problem for the following scalar nonlinear Caputo fractional differential equations with fractional order (1, 2):
with
Hanadi Zahed [24] established the existence theorem by applying certain conditions on an unknown function along with the concerned operator. That is, the function \(f\in C([a,b]\times \mathbb{R},\mathbb{R})\) and there exists a constant K such that
and a number \(p\in (0,1]\) such that
Zahed used these conditions of the existence theorem along with the defined mapping in a certain space and proved that the mapping is restricted by the following F-contraction condition:
We observed from the literature that the auxiliary function or the control function used in Wardowski’s F-contraction condition has the ability to weaken some stronger conditions on the existence theorems concerning certain integral boundary value problems (see [2, 8, 18, 20–23, 25]). After establishing the fixed point theorems for certain generalizations of F-contraction involving two or three auxiliary functions, we provide some new sufficient weaker conditions for the existence of the solutions of an integral boundary value problem for a scalar nonlinear Caputo fractional differential equation in comparison with an integral boundary value problem for the Caputo fractional derivative considered in [22, 23]. Furthermore, we use our obtained results to find a solution to an engineering problem in which the transformed mathematical model of a problem, representing a damping force in the case of a vertical spring moving through a fluid, is a boundary value problem for a second-order differential equation.
Throughout the following discussions, \(\mathbb{N}\), \(\mathbb{N}_{0}\), \(\mathbb{R}\), and \(\mathbb{R}\mathbbm{_{+}}\) denote the set of natural numbers, \(\mathbb{N}\cup \{0\}\), real numbers, and positive real numbers, respectively. Throughout this article, every set X taken into account is nonempty.
Definition 1.1
([16])
Let \(\mathcal{H}\) be a collection of functions \(F:\mathbb{R}\mathbbm{_{+}}\mapsto \mathbb{R}\) satisfying the following conditions:
- \((F_{1})\):
-
F is strictly increasing; i.e., if \(x< y\), then \(F(x)< F(y)\);
- \((F_{2})\):
-
\(\lim_{n\rightarrow +\infty} \alpha _{n}=0\) if and only if \(\lim_{n\rightarrow +\infty} F(\alpha _{n})=-\infty \), where \(\{\alpha _{n}\}_{n=1}^{+\infty }\) is any sequence of positive numbers;
- \((F_{3})\):
-
\(\lim_{\alpha \rightarrow 0^{+}} \alpha ^{k}F(\alpha )=0\), \(k\in (0,1)\).
A mapping \(\mathfrak{F}:X\mapsto X\) is said to be an F-contraction in a metric space \((X,d)\) if there exist a function \(F:\mathbb{R}\mathbbm{_{+}}\mapsto \mathbb{R}\) and a real number \(\tau >0\) such that, for all \(x,y\in X\),
where \(F \in \mathcal{H}\).
Example 1.1
([16])
The real-valued functions \(f(t)=\ln t\), \(g(t)=\ln (t^{2}+t)\), and \(h(t)=t+\ln t\) belong to \(\mathcal{H}\).
Remark 1.1
([17])
Consider a real-valued function \(\mathfrak{S}(t)=\frac{-1}{\sqrt[p]{\alpha }}\), where \(p>1\), \(\alpha > 0\). Then \(\mathfrak{S} \in \mathcal{H}\).
The following Wardowski’s theorem [16] represents a significant generalization of the Banach contraction principle.
Theorem 1.1
([16])
An F-contraction mapping \(\mathfrak{F}\) has a unique fixed point \(x^{*}\) on a complete metric space \((X,d)\), and for any \(x \in X\), the sequence \(\{ {{\mathfrak{F}}^{n}}x \}_{n=1}^{\infty }\) converges to \(x^{*}\).
Inspired by Wardowski’s result of F-contraction, there are continuous efforts by many authors to improve and extend this idea by modifying or eliminating certain conditions on control function or generalizing the definition space. In this regard, Secelean [26] and Piri and Kumam [27] have shown that condition \((F3)\) can be removed from Theorem 1.1 by considering the continuity of F. Vetro [28] replaced the constant τ with a function to generalize F-contraction. Secelean and Wardowski [29] presented \(\psi F-\) contraction that modifies F-contraction by weakening condition \((F1)\). Lukács and Kajántó [30] relaxed condition \((F2)\) from the definition of F-contraction. Focusing on the definition space, Sumati Kumari [9] introduced the new classes of Hardy–Rogers type cyclic contractions and proved pertinent fixed point theorems for these Hardy–Rogers type contractions in the generating space of a b-dislocated metric family.
We need the following definitions, results, and remarks for our main discussion.
Definition 1.2
([31])
A mapping \(\mathfrak{F}\) on a metric space \((X,d)\) is said to be orbitally continuous if, for any sequence \(\{y_{n}\}\) in \(O_{x}(\mathfrak{F})\), \(y_{n} \rightarrow u\) implies \(\mathfrak{F}y_{n} \rightarrow \mathfrak{F}u\) as \(n\rightarrow +\infty \), where \(O_{x}(\mathfrak{F})=\{\mathfrak{F}^{n}x: n \geq 0\}\) is the orbit of \(\mathfrak{F}\) at x.
Definition 1.3
([32])
A self-mapping \(\mathfrak{F}\) of a metric space \((X,d)\) is called k-continuous, \(k=1,2,3, \ldots \) , if \(\mathfrak{F}^{k} x_{n}\rightarrow \mathfrak{F}t\) whenever \(\{x_{n}\}\) is a sequence in X such that \(\mathfrak{F}^{k-1}x_{n} \rightarrow t\), \(t \in X\).
It is noteworthy to mention that for \(k>1\), the k-continuity of \(\mathfrak{F}\) does not depend on the continuity of \(\mathfrak{F}^{k}\) and continuity implies 2-continuity implies 3-continuity implies … , but the converse is not true. Moreover, one can easily observe that continuity is equivalent to 1-continuity.
Definition 1.4
([33])
Let \((X,d)\) be a metric space. A mapping \(\mathfrak{F}:X\mapsto \mathbb{R}\) is said to be a \(\mathfrak{F}\)-orbitally lower semi-continuous at \(z\in X\) if \(\{x_{n}\}\) is a sequence in \(O_{x}(\mathfrak{F})\) for some \(x\in X\), \(\lim_{n\rightarrow \infty} x_{n}=z\) implies \(\mathfrak{F}(z)\leq \lim_{n\rightarrow \infty} \inf \mathfrak{F}(x_{n})\).
Proposition 1.1
([34])
Let \((X,d)\) be a metric space, \(\mathfrak{F}:X\mapsto X\) and \(z\in X\). If \(\mathfrak{F}\) is orbitally continuous at z or \(\mathfrak{F}\) is k-continuous at z for some \(k\neq 1\), then the function \(\mathfrak{F}(x)=d(x,\mathfrak{F}x)\) is \(\mathfrak{F}\)-orbitally lower semi-continuous at z.
Lemma 1.1
([35])
Let \((X,d)\) be a metric space and \(\{x_{n}\}\) be a sequence in X which is not Cauchy and \(\lim_{n\rightarrow \infty} d(x_{n},x_{n+1})=0\). Then there exists \(\varepsilon >0\) and two subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of \(\{x_{n}\}\) such that
2 Main results
In 2020, Alfaqih et al. [25] provided \(F^{*}\)-weak contractions by introducing a new class of auxiliary functions that eliminate conditions \((F1)\), \((F3)\) and only satisfy one-way implication of condition \((F2)\).
Firstly, we suppose that \(\mathcal{F}\) is the set of all functions \(F:(0,\infty )\rightarrow \mathbb{R}\) satisfying the following condition:
- \((C_{1})\):
-
\(\inf_{t>\varepsilon}F(t)>-\infty \) for any \(\varepsilon >0\).
It follows from Lemma 2.3 [7] that condition \((C_{1})\) is equivalent to \((C_{1}')\) and \((C_{1}'')\) stated as follows:
- \((C_{1}')\):
-
\(\lim_{n\rightarrow \infty} F(t_{n})=-\infty \) implies \(\lim_{n \rightarrow \infty} t_{n}=0\);
- \((C_{1}'')\):
-
\(\liminf_{t\rightarrow \varepsilon +} F(t)>-\infty \) for any \(\varepsilon >0\).
Apparently, \(\mathcal{H}\subset \mathcal{F}\). Next, we will introduce the concepts of the dual \(F^{*}-\) weak contraction and triple \(F^{*}-\) weak contraction, which can be regarded as a generalization of F-contraction.
Definition 2.1
Let \((X,d)\) be a metric space. We say that a mapping \(\mathfrak{F}:X\mapsto X\) is a dual \(F^{*}\)-weak contraction of type-I if there exists a real number \(\tau >0\) and \(F_{1}, F_{2}\in \mathcal{F}\) such that for all \(x,y\in X\), we have
where
Remark 2.1
For some \(x,y\in X\), the conditions of Definition 2.1 yield either
or
It is worth noting that Definition 2.1 can be viewed as a combination of \((L1)\) and \((L2)\), which could reduce to the form of Wardowski’s contraction while it includes inequality \((L2)\) only.
Definition 2.2
Let \((X,d)\) be a metric space. We say that a mapping \(\mathfrak{F}:X\mapsto X\) is a dual \(F^{*}\)-weak contraction of type-II if there exists a real number \(\tau >0\) and \(F_{1}, F_{2}\in \mathcal{F}\) such that for all \(x,y\in X\), we have
where either \(\alpha _{1}=0\) or \(\alpha _{2}=0 \) and \(\alpha _{1}+\alpha _{2}=1\).
Remark 2.2
For all \(x,y\in X\), the dual \(F^{*}\)-weak contraction of type-II deals with one of the following two cases \((R1)\), \((R2)\):
For some \(x,y\in X, (R1)\) yields either
or
Similarly, for some \(x,y\in X, (R2)\) yields either
or
Apparently, inequality \((R1)\) takes the form as a combination of subcases \((a)\) and \((d)\). If the inequality \((R1)\) yields subcase \((d)\) only, we have \(\tau +F_{1}(d(\mathfrak{F}x,\mathfrak{F}y))\leq F_{2}(d(x,y))\), which is equivalent to the form of Wardowski’s contraction by taking \(F_{2}=F_{1}\).
Definition 2.3
Let \((X,d)\) be a metric space. We say that a mapping \(\mathfrak{F}:X\mapsto X\) is a triple \(F^{*}\)-weak contraction if there exists a real number \(\tau >0\) and \(F, F_{1}, F_{2}\in \mathcal{F}\) such that for all \(x,y\in X\) we have
Remark 2.3
One can easily observe that if \(\min \{{{F}_{2}}(d({{\mathfrak{F}}^{2}}x,{{\mathfrak{F}}^{2}}y)),{{F}_{1}}(d( \mathfrak{F}x,\mathfrak{F}y))\}={{F}_{1}}(d(\mathfrak{F}x, \mathfrak{F}y))\) and \(F (t )=F_{1} (t )\) for all \(x,y \in X\), \(t\in (0,\infty )\), then inequality (16) becomes the form of Wardowski’s contraction.
Example 2.1
Let \(F_{1}, F_{2}\in \mathcal{F}\) be given by \(F_{1}(\alpha )=\ln \alpha \), \(F_{2}(\alpha )=\ln k\alpha \), where \(\alpha , k>0\).
The dual \(F^{*}\)-weak contraction of type-I will take the form
which can also be rewritten as
From the definition of dual \(F^{*}\)-weak contraction of type-I, we have \(\alpha _{1}+\alpha _{2}=1\) and
It is worth noting that \(\mathfrak{F}\) may be a contraction provided by \(d(\mathfrak{F}x,\mathfrak{F}y)< kd(\mathfrak{F}^{2}x,\mathfrak{F}^{2}y)\) for all \(x,y\in X\), that is, \(d(\mathfrak{F}x,\mathfrak{F}y)\leq e^{-\tau}d(x,y)\) with \(\alpha _{2}=0\) or be neither a contraction nor an expansion provided by \(d(\mathfrak{F}x,\mathfrak{F}y)>kd(\mathfrak{F}^{2}x,\mathfrak{F}^{2}y)\) for all \(x,y\in X\), that is, \(d(\mathfrak{F}^{2}x,\mathfrak{F}^{2}y)\leq e^{-\tau}kd(x,y)\).
Example 2.2
Let \(F_{1}, F_{2}\in \mathcal{F}\) be given by \(F_{1}(\alpha )=\ln \alpha \), \(F_{2}(\alpha )=\ln k\alpha \), where \(\alpha , k>0\).
Then, by the definition of dual \(F^{*}\)-weak contraction of type-II, for all \(x,y\in X\), we have
From \((R1)\), \((R2)\), we have
Together with the definition of \(F_{1}\), inequality (17) can be rewritten as
Then we have
Similarly, inequality (18) can be rewritten as
It is noted that inequalities (19) and (20) can imply that \(\mathfrak{F}\) is a Lipschitzian mapping provided by \(kd(\mathfrak{F}^{2}x,\mathfrak{F}^{2}y)>d(\mathfrak{F}x,\mathfrak{F}y)\) for all \(x,y\in X\) or a contraction provided by \(kd(\mathfrak{F}^{2}x,\mathfrak{F}^{2}y)< d(\mathfrak{F}x,\mathfrak{F}y)\) for all \(x,y\in X\).
Example 2.3
Define \(F, F_{1}, F_{2}\in \mathcal{F}\) by \(F(\alpha )=\ln k\alpha \), \(F_{1}(\alpha )=\ln k_{1}\alpha \), \(F_{2}(\alpha )=\ln k_{2}\alpha \), where \(k, k_{1}, k_{2}>0\).
Then, by the definition of triple \(F^{*}\)-weak contraction, for all \(x,y\in X\), we have
which can also be rewritten as
That is, either
or
We can define \(k_{2}=2\alpha _{2}\), \(k_{1}=2\alpha _{1}\), \(k_{1}+k_{2}=2\), where \(\alpha _{1}+\alpha _{2}=1\). Then we have
or
Therefore, we have
which shows that \(\mathfrak{F}\) is a mean Lipschitzian mapping [36].
Next, we present the existence of a unique fixed point for dual \(F^{*}\)-weak contractions and triple \(F^{*}\)-weak contraction as follows.
Theorem 2.1
Suppose that a mapping \(\mathfrak{F}:X\mapsto X\) is a dual \(F^{*}\)-weak contraction of type-I in a complete metric space \((X,d)\). If \(\mathfrak{F}\) is orbitally continuous or k-continuous for some \(k \in \mathbb{N}\) and for all \(t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), there exist \(\upsilon >0\), \(\tau >2\upsilon \) such that
or
Then, for every \(x_{0}\in X\), the sequence \(\{\mathfrak{F}^{m}x_{0}\}_{m=1}^{+\infty}\) converges to the unique fixed point of \(\mathfrak{F}\).
Proof
Consider a sequence \(\{x_{m}\}\subseteq X\) such that, for all \(m\in \mathbb{N}_{0}\), \(x_{m+1}=\mathfrak{F}x_{m}=\mathfrak{F}^{m}x_{0}\), where \(x_{0}\) is an arbitrary point in X.
If there exists \(m\in \mathbb{N}_{0}\) such that \(d(x_{m},\mathfrak{F}x_{m})=0\), then \(\mathfrak{F}\) admits a fixed point. So, we assume that \(d(x_{m},\mathfrak{F}x_{m})=d(\mathfrak{F}x_{m-1},\mathfrak{F}x_{m})>0\) for all \(m\in \mathbb{N}\).
We will prove that \(\lim_{m\rightarrow +\infty} d(x_{m},\mathfrak{F}x_{m})=0\).
From the definition of dual F-contraction of type I, we have
so
Now we will discuss the following two possible cases \((\mathit{I})\), \((\mathit{II})\):
If \((I)\) holds, then inequality (21) will take the form
Moreover, we also have either
or
If (23) holds, then (22) yields
If (24) holds, we can write
It follows from condition \((A)\) that
Applying (26) in (22), we have
So, it follows from (24) that
Combining the both possible cases of (25) and (27), we have
where
\(t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), \(t_{1}\neq t_{2}\).
Therefore, \((\mathit{I})\) implies (28).
Similarly, with the existence of \((\mathit{II})\), (21) takes the following form:
If \(F_{2}(d(x_{m-1},x_{m}))\leq F_{1}(d(x_{m-1},x_{m}))\), then (29) can be rewritten as
If \(F_{2}(d(x_{m-1},x_{m}))>F_{1}(d(x_{m-1},x_{m}))\), from condition \((B)\), we have
Combining inequalities (30), (31), we have
where
\(t\in \mathbb{R}\mathbbm{_{+}}\).
Together with inequalities (22)–(28), inequality (32) will take the form
Therefore, \((\mathit{II})\) implies (33).
The existence of \((\mathit{I})\) and \((\mathit{II})\) implies the existence of (28) and (33) respectively. Combining inequalities (28) and (33), we have
where \(\varsigma _{m}\) is either 0 or 1.
Repeating this process, we have
Since \(\tau >2\upsilon \) and \(\upsilon \sum_{j=1}^{m}(\delta _{j}+\varsigma _{j}\eta _{j})< m \tau \), we deduce
Therefore,
Now, equation (34) further has two possible cases:
Condition \((C_{1})\) with case \((E)\) yields
or equivalently,
Condition \((C_{1})\) with case \((F)\) yields
Therefore, from (34) we get
Now, in order to prove that the sequence \(\{x_{m}\}_{m=1}^{+\infty }\) is a Cauchy sequence, we suppose on the contrary that there exists \(\varepsilon >0\) and two subsequences \(\{ x_{g(m)}\}_{m=1}^{+\infty }\) and \(\{x_{h(m)}\}_{m=1}^{+\infty }\) of \(\{x_{n}\}\),
Applying (14) by taking \(x=x_{g(m)}\) and \(y=x_{h(m)}\), we get
which concludes the following two cases:
or
Taking limits in the above two inequalities as \(k\rightarrow \infty \), we have
which yields either \(\tau +F_{2}(\varepsilon _{+})\leq F_{2}(\varepsilon _{+})\) or \(\tau +F_{1}(\varepsilon _{+})\leq F_{1}(\varepsilon _{+})\).
Both of the above inequalities are contradictions. Therefore, \(\{x_{m}\}_{m=1}^{+\infty}\) is a Cauchy sequence. The completeness of \((X,d)\) proves that \(\{x_{m}\}_{m=1}^{+\infty}\) converges to some point \(x^{*}\) in X.
Now, if \(\mathfrak{F}\) is orbitally continuous, then we have
If \(\mathfrak{F}\) is k-continuous for some \(k\in \mathbb{N}\), we have
Therefore, \(\mathfrak{F}\) has a fixed point \(x^{*}\).
Furthermore, from Proposition (1.1), it follows that \(x\mapsto d(x,\mathfrak{F}x)\) is \(\mathfrak{F}\)-orbitally lower semi-continuous, then we have
which implies that \(\mathfrak{F}x^{*}=x^{*}\) and \(x^{*}\) is a fixed point of \(\mathfrak{F}\).
Now, for the uniqueness, let us suppose that \(\mathfrak{F}\) has more than one fixed point, that is, there exist two distinct \(x,y\in X\) such that \(\mathfrak{F}x=x\neq y=\mathfrak{F}y\).
Therefore, \(d(x,y)=d(\mathfrak{F}x,\mathfrak{F}y)=d(\mathfrak{F}^{2}x, \mathfrak{F}^{2}y)>0\). From (14), we have either
or
Both (37), (38) are two contradictions that prove the existence of a unique fixed point. □
Theorem 2.2
Let \((X,d)\) be a complete metric space. Suppose that a mapping \(\mathfrak{F}:X\mapsto X\) is a dual \(F^{*}\)-weak contraction of type-II and is orbitally continuous or k-continuous for some \(k\in \mathbb{N}\). Moreover, for all \(t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), there exist \(\upsilon >0\), \(\tau >2\upsilon \) such that
or
Then, for every \(x_{0}\in X\), the sequence \(\{\mathfrak{F}^{m}x_{0}\}_{m=1}^{+\infty}\) converges to the unique fixed point of \(\mathfrak{F}\).
Proof
Let \(x_{0}\in X\) be an arbitrary point and define a sequence \(\{x_{m}\}\subseteq X\) by \(x_{m+1}=\mathfrak{F}x_{m}=\mathfrak{F}^{m}x_{0}\) for all \(m\in \mathbb{N}_{0}\).
If there exists some \(m\in \mathbb{N}_{0}\) such that \(d(x_{m},\mathfrak{F}x_{m})=0\), then \(\mathfrak{F}\) admits a fixed point. So, we assume that \(d(x_{m},\mathfrak{F}x_{m})=d(\mathfrak{F}x_{m-1},\mathfrak{F}x_{m})>0\) for all \(m\in \mathbb{N}\).
We first take into account case \((R2)\). Analysis similar to the procedure of obtaining inequalities (22) to (28) in the proof of Theorem 2.1 shows that
where
\(t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), \(t_{1}\neq t_{2}\).
The above relation takes the following form:
By continuing this process, we can write
or
Since \(\tau >2\upsilon \) and \(\sum_{j=1}^{m}\delta _{j}<2(m+1)\), therefore
Therefore,
Similar arguments apply to case \((R1)\). According to the procedure of inequalities (29) to (32) in the proof of Theorem 2.1, we have
where
\(t\in \mathbb{R}\mathbbm{_{+}}\).
The above inequality will take the form
Repeating this process, we have
Since \(\tau >2\upsilon \) and \(\sum_{j=1}^{m}(\delta _{j}+\eta _{j})\upsilon < m\tau \), therefore
So that
Hence, for both cases \((R1)\), \((R2)\), it follows from condition \((C_{1})\) that
Now, in order to prove that the sequence \(\{x_{m}\}_{m=1}^{+\infty }\) is a Cauchy sequence, we suppose on the contrary that there exist \(\varepsilon >0\) and two subsequences \(\{ x_{g(m)}\}_{m=1}^{+\infty }\) and \(\{x_{h(m)}\}_{m=1}^{+\infty }\) of \(\{x_{n}\}\),
Applying (15) by taking \(x=x_{g(m)}\) and \(y=x_{h(m)}\), we get
Taking limits in the above inequalities as \(m\rightarrow \infty \), we have
For both cases \((R1)\), \((R2)\), the above inequality yields the following possibilities:
As \(\tau >0\), inequalities (41) and (42) are the contradictions.
Now we consider inequality (43). Since \(\tau >2\upsilon \), we have
That is,
Moreover, from condition \((A)\) we also have
Therefore, inequality (43) yields a contradiction.
Similarly, \(\tau +F_{1}(\varepsilon )\leq F_{2}(\varepsilon )\) implies a contradiction \(\upsilon +F_{2}(\varepsilon )< F_{2}(\varepsilon )\). Contradictions of inequalities (41)–(44) prove that \(\{x_{m}\}_{m=1}^{+\infty }\) is a Cauchy sequence. Since \((X,d)\) is a complete metric space, the sequence \(\{x_{m}\}_{m=1}^{\infty }\) is convergent in X and \(x^{*}\) is the point of convergence. The completeness of \((X,d)\) proves that \(\{x_{m}\}_{m=1}^{\infty }\) converges to some point \(x^{*}\) in X.
Now, if \(\mathfrak{F}\) is orbitally continuous, then we have
If \(\mathfrak{F}\) is k-continuous for some \(k\in \mathbb{N}\), we have
Therefore, \(\mathfrak{F}\) has a fixed point \(x^{*}\).
Furthermore, from Proposition 1.1 it follows that \(x\mapsto d(x,\mathfrak{F}x)\) is \(\mathfrak{F}\)-orbitally lower semi-continuous, then we have
which implies that \(\mathfrak{F}x^{*}=x^{*}\) and \(x^{*}\) is a fixed point of \(\mathfrak{F}\).
Now, in order to prove the uniqueness, we suppose that there exist two distinct \(x,y\in X\) such that \(\mathfrak{F}x=x\neq y=\mathfrak{F}y\). Therefore, \(d(x,y)=d(\mathfrak{F}x,\mathfrak{F}y)=d(\mathfrak{F}^{2}x, \mathfrak{F}^{2}y)>0\). From the assumptions of the theorem, we may have the following four possibilities:
Inequalities (45) and (46) are both contradictions. Inequality (47) with condition \((B)\) yields a contradiction as follows:
Since \(\tau >2\upsilon \), we have
or
or
As \(\mathfrak{F}^{2}x=x\), \(\mathfrak{F}^{2}y=y\), we have
which is a contradiction.
Similarly, inequality (48) with condition \((A)\) implies a contradiction as follows:
Since \(\tau >2\upsilon \), we can write
or
or
As \(\mathfrak{F}x=x\), \(\mathfrak{F}y=y\), we have
which is a contradiction. That proves the existence of a unique fixed point. □
Theorem 2.3
Let \((X,d)\) be a complete metric space. Suppose that a mapping \(\mathfrak{F}:X\mapsto X\) is a triple \(F^{*}\)-weak contraction and is orbitally continuous or k-continuous for some \(k\in \mathbb{N}\). Moreover, for all \(t, t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), there exist \(\upsilon >0\), \(\tau >2\upsilon \) such that
or
or
Then, for every \(x_{0}\in X\), the sequence \(\{\mathfrak{F}^{m}x_{0}\}_{m=1}^{+\infty}\) converges to the unique fixed point of \(\mathfrak{F}\).
Proof
Consider a sequence \(\{x_{m}\}\subseteq X\) such that, for all \(m\in \mathbb{N}_{0}\), \(x_{m+1}=\mathfrak{F}x_{m}=\mathfrak{F}^{m}x_{0}\), where \(x_{0}\) is an arbitrary point in X. If there exists some \(m\in \mathbb{N}_{0}\) such that \(d(x_{m},\mathfrak{F}x_{m})=0\), then \(\mathfrak{F}\) admits a fixed point. So, we assume that \(d(x_{m},\mathfrak{F}x_{m})=d(\mathfrak{F}x_{m-1},\mathfrak{F}x_{m})>0\) for all \(m\in \mathbb{N}\).
We will show that \(\lim_{m\rightarrow +\infty} d(x_{m},\mathfrak{F}x_{m})=0\). From the definition of triple \(F^{*}\)-weak contraction, we can write
Using condition \((C)\), we can rewrite inequality (49) as follows:
Then we have either
or
If relation (51) exists, then (50) can be written as
If inequality (52) holds, we can write \(F_{2}(d(\mathfrak{F}x_{m-1},\mathfrak{F}x_{m}))< F_{1}(d(x_{m-1},x_{m}))\).
Using \((A)\), we can write
Using inequality (54) in (50), we have
Moreover, from (52), we have
Combining both inequalities (53) and (55), we have
where
\(t_{1}, t_{2}\in \mathbb{R}\mathbbm{_{+}}\), \(t_{1}\neq t_{2}\).
The above relation is equivalent to
Repeating this process, we have
or
Since \(\tau >2\upsilon \) and \(\sum_{j=1}^{m}\delta _{j}< m+1\), we have
So that we have
Now, equation (57) further has two possible cases:
Condition \((C_{1})\) with case \((G)\) yields
or equivalently,
Condition \((C_{1})\) with case \((H)\) yields
Therefore, from (57), we get
Now, in order to prove that the sequence \(\{x_{m}\}_{m=1}^{+\infty }\) is a Cauchy sequence, we suppose on the contrary that there exist \(\varepsilon >0\) and two subsequences \(\{ x_{g(m)}\}_{m=1}^{+\infty }\) and \(\{x_{h(m)}\}_{m=1}^{+\infty }\) of \(\{x_{n}\}\),
Applying (16) by taking \(x=x_{g(m)}\) and \(y=x_{h(m)}\), we get
Taking limits in the above inequalities as \(m\rightarrow \infty \), we have
which yields either \(\tau +F_{2}(\varepsilon _{+})\leq F(\varepsilon _{+})\) or \(\tau +F_{1}(\varepsilon _{+})\leq F(\varepsilon _{+})\).
If \(\tau +{{F}_{2}} (\varepsilon _{+} )\le F ( \varepsilon _{+} )\), condition \((C)\) allows us to write \(\tau +{{F}_{2}} (\varepsilon _{+} )\le {{F}_{2}} ( \varepsilon _{+} )+\upsilon \). That yields a contradiction as \(\tau >2\upsilon \). Likewise, \(\tau +{{F}_{1}} (\varepsilon _{+} )\le F ( \varepsilon _{+} )\) gives a contradiction \(\tau +{{F}_{2}} (\varepsilon _{+} )\le {{F}_{2}} ( \varepsilon _{+} )+\upsilon \).
The completeness of \((X,d)\) proves that \(\{x_{m}\}_{m=1}^{+\infty}\) converges to some point \(x^{*}\) in X.
The rest of the proof runs as the proof of Theorem 2.1. For brevity, we omit it. □
Example 2.4
Consider a closed unit ball \(\mathcal{B}\) in the \(\ell _{1}\) space of all absolutely summable sequences, \(u =(u _{1},u_{2},\ldots )\) with a metric inherited from the standard norm \(\|u\|=\sum_{i=1}^{+\infty}|u_{i}|\). Let \(h:[-1,1]\mapsto [-1,1]\) be the function given by
Observe that for all \(s, w\in [-1,1]\), we have \(|h(s)-h(w)|\leq 2|s-w|\) and \(|h(w)|\leq |w|\).
Define a continuous mapping \(\mathfrak{F}:\mathcal{B}\mapsto \mathcal{B}\) by
where \(\kappa >0\) is a real number. Then we have
For each \(u= (u_{1},u_{2}, \ldots )\) and \(v=(v_{1},v_{2},\ldots )\) in \(\mathcal{B}\), we have
That is,
The above inequality can be written as
Likewise,
That is,
The above inequality can be written as
Now, we define \(F_{1}(t)=\ln (\frac{t}{2})\), \(F_{2}(t)=\ln (\frac{3t}{4})\), \(F(t)=\ln (t)\). So, inequalities (61), (62) will take the form
Further, the definitions of \(F_{1}\), \(F_{2}\), and F yield \(F_{1}(t)< F_{2}(t)\). So that we have \(\ln \frac{t}{2}<\ln \frac{3t}{4}\). Now, we can define \(0<\upsilon \leq \ln \frac{3}{2}\) such that
That is, \(F_{1}(t)< F_{2}(t)\leq F_{1}(t)+\upsilon \).
Therefore, we conclude from inequality (63) that \(\mathfrak{F}:\mathcal{B}\mapsto \mathcal{B}\) represents the triple \(F^{*}\)-weak mapping.
Next we will show that for every \(x_{0} \in \mathcal{B}\), the sequence \(\{\mathfrak{F}^{m}x_{0}\}_{m=1}^{+\infty }\) converges to a unique fixed point \(x^{*}=(0, 0,\ldots )\).
For some fixed \(i\in \mathbb{N}\), consider the absolutely summable sequences \(a=(a_{1},a_{2},\ldots ,a_{i},0,0, \ldots )\in \mathcal{B}\) with a metric inherited from the standard norm. As \(\mathcal{B}\) is a closed unit ball, we have \(\sum_{k=1}^{i}{|a_{k}|\leq 1}\).
Now,
implies that
Then, for all \(m>i\), we have \(\mathfrak{F}^{m}a=(0,0,\ldots ,0)\). That is, \(\{\mathfrak{F}^{m}a\}_{m=1}^{+\infty}=(0,0,\ldots )\) is a unique fixed point.
3 Applications
3.1 Application to Caputo fractional derivative \({}^{C}{{D}^{\chi }}\) of order χ
We apply our obtained result to weaken the condition on the Caputo fractional derivative \({}^{C}{{D}^{\chi }}\) of order χ, considered in [22, 23].
Consider a Caputo fractional derivative \({}^{C}{{D}^{\chi }}\) of order χ and the following problem:
with the integral boundary conditions
Let \(h:[0,1]\times \mathbb{R}\to \mathbb{R}\) be a continuous function and \((X, \|.\|_{\infty })\) be a Banach space of continuous functions \(C([0,1],\mathbb{R})\) from \([0,1] \) into \(\mathbb{R}\) endowed with supremum norm \({{ \Vert x \Vert }_{\infty }}= \sup_{t\in [ 0,1 ]} \vert x(t) \vert \). Then, for a continuous function \(\mathfrak{F}:(0, \infty )\to \mathbb{R}\), a Caputo derivative of fractional order χ can be defined as follows:
where \([\chi ] \) denotes the greatest integer not greater than χ. Consider a continuous function \(\mathfrak{F}:{{\mathbb{R}}^{+}}\to \mathbb{R}\), and define the Riemann–Liouville fractional derivatives of order χ as follows:
where the function of t on the right-hand side is pointwise defined on \((0,+\infty ) \).
Next, we establish the existence theorem.
Theorem 3.1
Suppose that:
-
1.
A function \(\xi : \mathbb{R}^{2} \to \mathbb{R}\), \(\xi (a,d)>0\) for all \(a,d\in \mathbb{R}\) and a real number \(\tau >0\) such that
$$ \bigl\vert h(t,a)-h(t,d) \bigr\vert \le \frac{\Gamma (\chi +1)}{5}{{e}^{-\tau }} \vert a-d \vert ^{m} \quad \textit{for all } t\in [0,1] \textit{ and } m \in \mathbb{R} \backslash \{0\}. $$ -
2.
There exists \(\mathfrak{F}:X\to X\) such that
$$\begin{aligned} \mathfrak{F} {x_{1}}(t)&=\frac{1}{\Gamma (\chi )} \int _{0}^{t}{{(t-s)}^{ \chi -1}}h \bigl(s,{x_{1}}(s)\bigr)\,\mathrm{d}s\\ &\quad {}- \frac{2t}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{1}{{{(1-s)}^{ \chi -1}}h \bigl(s,{x_{1}}(s)\bigr)\,\mathrm{d}s}\\ &\quad {}+\frac{2t}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{\delta }{ \biggl( \int _{0}^{s}{{{(s-\kappa )}^{\chi -1}}h\bigl( \kappa ,{x_{1}}( \kappa )\bigr)\,\mathrm{d}\kappa} \biggr)} \,\mathrm{d}s \end{aligned}$$and
$$\begin{aligned} \mathfrak{F}^{2} {x_{1}}(t)&=\frac{\omega}{\Gamma (\chi )} \int _{0}^{t}{{(t-s)}^{ \chi -1}}h\bigl(s, \mathfrak{F} {x_{1}}(s)\bigr)\,\mathrm{d}s\\ &\quad {}- \frac{2t\omega}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{1}{{{(1-s)}^{ \chi -1}}h\bigl(s, \mathfrak{F} {x_{1}}(s)\bigr)\,\mathrm{d}s}\\ &\quad {}+\frac{2t\omega}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{\delta }{ \biggl( \int _{0}^{s}{{{(s-\kappa )}^{\chi -1}}h\bigl( \kappa ,\mathfrak{F} {x_{1}}( \kappa )\bigr)\,\mathrm{d}\kappa} \biggr)} \,\mathrm{d}s, \end{aligned}$$with \(\xi ({{x}_{{{1}_{0}}}}(t),\mathfrak{F}{{x}_{{{1}_{0}}}}(t))>0\), \({{x}_{{{1}_{0}}}}\in X\) and \(t\in [0,1]\), \(\omega \in [0, \infty ) \).
-
3.
For each \(t\in [0,1] \) and \({x_{1}},{x_{2}}\in X\), \(\xi ({x_{1}}(t), {x_{2}}(t))>0\) implies \(\xi (\mathfrak{F}{x_{1}}(t),\mathfrak{F}{x_{2}}(t))>0\).
-
4.
If \(\{ {{x}_{{{1}_{n}}}}\}\) is a sequence in X such that \({{x}_{{{1}_{n}}}}\to {x_{1}}\) in X and \(\xi ({{x}_{{{1}_{n}}}},{{x}_{{{1}_{n+1}}}})>0\) for all \(n\in \mathbb{N}\), then \(\xi ({{x}_{{{1}_{n}}}},{x_{1}})>0\) for all \(n\in \mathbb{N}\).
Then problem (64) has at least one solution.
Proof
Function \({x_{1}}\in X\) represents the solution of (64) if and only if it satisfies the following integral equation:
The solution of problem (64) is equivalent to finding the solution \({x_{1}}^{*}\in X\), which is a fixed point of \(\mathfrak{F}\).
Now, let \({x_{1}},{x_{2}}\in X\) such that \(\xi ({x_{1}}(t),{x_{2}}(t))>0\) for all \(t\in [0,1]\). By (i), we have
Thus, for each \({x_{1}},{x_{2}} \in X\), we have
The above relation can be written as
Likewise,
Therefore,
Further, relation (65) along with (67) yields
The above inequality can be written as
Now, we define
So that relations (66) and (68) will take the following forms:
By combining (69) and (70), we can write
Therefore, \(\mathfrak{F} :X \to X \) is a tripe F-contraction, and the operator \(\mathfrak{F}\) has a fixed point in X. □
3.2 Application to second-order differential equation
Next, we apply the triple \(F^{*}\)-weak contraction to find the solution of a second-order differential equation presenting an engineering problem subject to a damping force in the case of a vertical spring moving through a fluid. If an external force affects the motion of spring, then the system for critical damped motion represents the following form of differential equation:
where the continuous function \(B^{2}: [ 0,I ]\times {{\mathbb{R}}_{+}}\to \mathbb{R}\), \(I>0\) is the self-composition of \(B: [ 0,J ], J>0\). The equivalent integral equation to the above problem is as follows:
Here \(D(s,w)\) is the green functions defined by
with a constant \(\kappa (c,m)>0\).
Suppose that the collection of all continuous functions \(v: [ 0,I ]\to {{\mathbb{R}}^{+}}\) is X.
We define
Next, we consider a distance function \(d:X\times X\to [ 0,\infty )\) defined by
Now, in order to find the existence of solution to boundary value problem (71), we consider a function \(\mathfrak{F}:X \to X\) defined by
for all \(y\in X\) and \(s\in [ 0,I ]\). We will prove that there exists some \(v\in X\) such that \(\mathfrak{F} ( v(s) )=v(s)\). That is, the fixed point of triple \(F^{*}\)-weak contraction will represent the solution of problem (71).
Theorem 3.2
Nonlinear integral equation (71) has a solution if the following conditions hold:
-
a)
\(B ( w,y(w) ) \) and \(B^{2} ( w,y(w) )\) are increasing functions;
-
d)
There exist \(k, \kappa >0\) such that
$$ \bigl\vert B^{2}(w,y) \bigr\vert \le k{{\kappa }^{2}} {{e}^{-\kappa }}y,\quad w\in [ 0,I ]\textit{ and }y\in {{\mathbb{R}}_{+}}.$$
Proof
For all \(v,w\in X\), we have
Now, using conditions a) and d), we can write
Therefore,
Since \(-s\kappa {{e}^{-\kappa s}}+1-{{e}^{-\kappa s}}\le 1\), we have
Likewise, we can find that
Since
Therefore, for all \(v,z\in X\), we have
or
For all \(v, z \in X\), the condition of equation (73) along with the assumptions of the theorem shows that the distance \(d ( \mathfrak{F}^{2}v,\mathfrak{F}^{2}z )\) is restricted to attaining a value not greater than \(k{{e}^{-\kappa }}d ( v,z )\). In spite of the fact that the constraints on the expansion or the contraction of the distance \(d ( {{\mathfrak{F}}}v,{{\mathfrak{F}}}z )\) in comparison with \(d ( v,z )\) are unknown, we can write
So that
Define
So,
Therefore, \(\mathfrak{F}\) is a triple \(F^{*}\)-weak contraction and all the conditions of Theorem 3.2 are satisfied by operator \(\mathfrak{F}\). Consequently, \(\mathfrak{F}\) has a fixed point which is the solution of integral equation (71), and hence the spring mass system has a solution. □
4 Significance of new results
-
In Example 2.2, we have shown that the Lipschitzian mapping is a particular case of dual \(F^{*}\)-weak contraction. Therefore, the existence of a fixed point of dual \(F^{*}\)-weak contraction assures the existence of a fixed point of Lipschitzian mapping under certain conditions. In the literature, there exist certain fixed point theorems concerning the existence of fixed points of Lipschitzian mapping with a strong condition of rotativeness of mapping (for details, see [37–40]).
-
Goebel and Japón Pineda [41, 42] proved some fixed point theorems concerning mean nonexpansive mapping by using the fixed point property in a nonempty closed convex and bounded subset of a Banach space (see Theorem 3.5 in [42]). Several research papers in the literature observe the asymptotic behavior of Lipschitz constants for iterates of mean Lipschitzian mappings (for details, see [36, 43]). We found that the mean Lipschitzian mapping is a special case of our developed triple \(F^{*}\)-weak contraction (see Example 2.3). Therefore, based on the proven fixed point Theorem 2.3 along with certain conditions on the control function F, we conclude that the existence of a fixed point of triple \(F^{*}\)-weak contraction guarantees the existence of a fixed point of mean Lipschitzian mapping.
-
Relation (60) considered in Example 2.4 shows that the mapping \(\mathfrak{F}\) is 2-Lipschitzian. The results in the literature require a strong additional condition of n-rotative mapping to prove the existence of its fixed point. We used the triple F-weak contraction to assure the existence of a fixed point of \(\mathfrak{F}\) in a closed unit ball \(\mathcal{B}\) in the \(\ell _{1}\) space of all absolutely summable sequences.
-
Certain applications in the literature apply the established fixed point theorems to find the solution of engineering problems concerning spring-mass system or activation of spring affected by an exterior force (for example, see [8, 44]). Focusing on the unknown function used in the mathematical modeling of certain engineering problems, we modified the differential equation and used the second composition of the unknown function. We applied our obtained fixed point results and proved the existence of a solution to these kinds of problems with a significant modification.
-
In the statement of Theorem 3.1, we have generalized the expression \(\frac{\Gamma (\chi +1)}{5}{{e}^{-\tau }}|a-d|\), used in [23], by replacing it with the expression \(\frac{\Gamma (\chi +1)}{5}{{e}^{-\tau }}|a-d|^{m}\), where \(m \in \mathbb{R}\backslash \{0\}\). Moreover, in Theorem 3.1 (see [23]), Gopal and Abbas proved the existence of solution of problem (64) by assuming
$$\begin{aligned} \mathfrak{F} {x_{1}}(t)&=\frac{1}{\Gamma (\chi )} \int _{0}^{t}{{{(t-s)}^{ \chi -1}}h \bigl(s,{x_{1}}(s)\bigr)\,\mathrm{d}s- \frac{2t}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{1}{{{(1-s)}^{ \chi -1}}h \bigl(s,{x_{1}}(s)\bigr)\,\mathrm{d}s}}\\ &\quad {}+\frac{2t}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{\delta }{ \biggl( \int _{0}^{s}{{{(s-\kappa )}^{\chi -1}}h\bigl( \kappa ,{x_{1}}( \kappa )\bigr)\,\mathrm{d}\kappa} \biggr)} \,\mathrm{d}s, \end{aligned}$$which was set to be a Lipschitzian type mapping. In our application, we have weakened the condition on \(\mathfrak{F}^{2}\) for given \(\mathfrak{F}\) by assuming
$$\begin{aligned} \mathfrak{F}^{2} {x_{1}}(t)&=\frac{\omega}{\Gamma (\chi )} \int _{0}^{t}{{(t-s)}^{ \chi -1}}h\bigl(s, \mathfrak{F} {x_{1}}(s)\bigr)\,\mathrm{d}s\\ &\quad {}- \frac{2t\omega}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{1}{{{(1-s)}^{ \chi -1}}h\bigl(s, \mathfrak{F} {x_{1}}(s)\bigr)\,\mathrm{d}s}\\ &\quad {}+\frac{2t\omega}{(2-{{\delta }^{2}})\Gamma (\chi )} \int _{0}^{\delta }{ \biggl( \int _{0}^{s}{{{(s-\kappa )}^{\chi -1}}h\bigl( \kappa ,\mathfrak{F} {x_{1}}( \kappa )\bigr)\,\mathrm{d}\kappa} \biggr)} \,\mathrm{d}s, \end{aligned}$$which represents a generalization of Lipschitzian type mappings. In particular, the presented application exhibits the significance of triple \(F^{*}\)-weak contraction as with the use of its multiple control functions, we found a solution to the given problem with the above-mentioned generalized and weakened conditions.
5 Questions
-
1.
There may be a possibility of generalizing F-contraction, F-Suzuki, and F-expanding mappings with \(p > 2\).
-
2.
Instead of using the minimum of a set, one may use the mean of the iterations to generalize F-contraction, F-Suzuki, and F-expanding mappings.
-
3.
One may develop some fixed point theorems concerning generalized F-contraction, F-Suzuki, and F-expanding mappings in a complete G-metric space.
6 Conclusion
In this paper, we introduced two new concepts of F-contraction, called dual \(F^{*}\)-weak contraction and triple \(F^{*}\)-weak contraction, which generalize the existing contractions in the sense of Wardowski, Jleli and Samet as well as Skof. Further, we established the existence of a unique fixed point for such contractions under certain conditions. In 2002, James Marryfield generalized Banach contraction using the minimum of the set of operators rather than requiring a single operator. Whereas in 2012, Wardowski [16] generalized Banach contraction using control function F on the mapping. Amalgamating the ideas presented by James Marryfield [15] and Wardowski [16], we use multiple control functions on the mapping and the minimum of the set of powers of mapping along with fractional calculus to weaken certain conditions on the fractional integral equations. This work can be generalized in different generalized metric spaces.
Availability of data and materials
No data were used to support this study.
References
Banach, S.: Sur les operations dans les ensembles abstraits et leur application aux quations intgrales. Fundam. Math. 3, 133–183 (1992)
Saleem, N., Abbas, M., Ali, B., Raza, Z.: Fixed points of Suzuki-type generalized multivalued \((f,\theta ,L)\)-almost contractions with applications. Filomat 33(2), 499–518 (2019)
Saleem, N., Vujaković, J., Baloch, W.U., Radenović, S.: Coincidence point results for multivalued Suzuki type mappings using θ-contraction in d-metric spaces. Mathematics 7(11), 1017 (2019)
Boyd, D.W., Wong, J.S.W.: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458–464 (1969)
Geraghty, M.A.: On contractive mappings. Proc. Am. Math. Soc. 40(3), 604–608 (1973)
Skof, F.: Theoremi di punto fisso per applicazioni negli spazi metrici. Atti Accad. Sci. Torino, Cl. Sci. Fis. Mat. Nat. 111, 323–329 (1977)
Proinov, P.D.: Fixed point theorems for generalized contractive mappings in metric spaces. J. Fixed Point Theory Appl. 22, 21 (2020). https://doi.org/10.1007/s11784-020-0756-1
Mongkolkeha, C., Gopal, D.: Some common fixed point theorems for generalized F-contraction involving ω-distance with some applications to differential equations. Mathematics 7(1), 32 (2019). https://doi.org/10.3390/math7010032
Kumari, P.S., Panthi, D.: Connecting various types of cyclic contractions and contractive self-mappings with Hardy-Rogers self-mappings. Fixed Point Theory Algorithms Sci. Eng. 2016, 15 (2016)
Kumari, P.S., Zoto, K., Panthi, D.: d-Neighborhood system and generalized F-contraction in dislocated metric space. SpringerPlus 4, 368 (2015)
Kumari, P.S., Abdeljawad, T., Ravichandran, C.: A complex valued approach to the solutions of Riemann-Liouville integral, Atangana-Baleanu integral operator and non-linear telegraph equation via fixed point method. Chaos Solitons Fractals 130, 109439 (2020)
Kumari, P.S., Ravichandran, C., Hazarika, B.: Results on system of Atangana–Baleanu fractional order Willis aneurysm and nonlinear singularly perturbed boundary value problems. Chaos Solitons Fractals 142, 110390 (2021)
Kumari, P.S., Tassaddiq, A., Agarwal, R.P.: A new approach to the solution of non-linear integral equations via various \(F_{Be}\)-contractions. Chaos Solitons Fractals 11(2), 206 (2019)
Kumari, P.S., Abdeljawad, T., Swamy, K.K.: New numerical scheme for solving integral equations via fixed point method using distinct \(\omega -F\) contractions. Alex. Eng. J. 59(4), 2015–2026 (2020)
Merryfield, J., Stein, J.D.: A generalization of the Banach contraction principle. J. Math. Anal. Appl. 273, 112–120 (2002)
Wardowski, D.: Fixed point theory of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Hammad, H.A., De la Sen, M.: A coupled fixed point technique for solving coupled systems of functional and nonlinear integral equations. Mathematics 7, 634 (2019)
Humaira, Sarwar, M., Abdeljawad, T., Mlaiki, N.: Fixed point results via least upper bound property and its applications to fuzzy Caputo fractional Volterra–Fredholm integro-differential equations. Mathematics 9, 1969 (2021)
Zada, M.B., Sarwar, M., Abdeljawad, T., Mukheimer, A.: Coupled fixed point results in Banach spaces with applications. Mathematics 9, 2283 (2021)
Mehmood, N., Ahmad, N.: Existence results for fractional order boundary value problem with nonlocal non-separated type multi-point integral boundary conditions. AIMS Math. 5, 385–398 (2019)
Liu, W., Zhuang, H.: Existence of solutions for Caputo fractional boundary value problems with integral conditions. Carpath. J. Math. 33, 207–217 (2017)
Baleanu, D., Rezapour, S., Mohammadi, M.: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. Lond. A 371, 20120144 (2013)
Gopal, D., Abbas, M., Patel, D.K., Vetro, C.: Fixed points of α-type F-contractive mappings with an application to nonlinear fractional differential equation. Acta Math. Sci. 36B(3), 957–970 (2016)
Zahed, H., Fouad, A., Hristova, S., Ahmad, J.: Generalized fixed point results with application to nonlinear fractional differential equations. Mathematics 8(7), 1168. https://doi.org/10.3390/math8071168 (2020)
Alfaqih, W.M., Imad, M., Gubran, R.: An observation on F-weak contractions and discontinuity at the fixed point with an application. J. Fixed Point Theory Appl. 22, 66 (2020)
Secelean, N.A.: Weak F-contractions and some fixed point results. Bull. Iran. Math. Soc. 42(3), 779–798 (2016)
Piri, H., Kumam, P.: Some fixed point theorems concerning F-contraction in complete metric spaces. Fixed Point Theory Appl. 2014, 210 (2014)
Vetro, F.: F-Contractions of Hardy-Rogers type and application to multistage decision process. Nonlinear Anal., Model. Control 21(4), 531–546 (2016)
Secelean, N.A., Wardowski, D.: ψF-Contractions: not necessarily nonexpansive Picard operators. Results Math. 70, 415–431 (2016)
Lukács, A., Kajántó, S.: Fixed point results for various type F-contractions in completes d-metric spaces. Fixed Point Theory 19(1), 321–334 (2018)
Cirić, L.B.: On contraction type mappings. Math. Balk. 1, 52–57 (1971)
Pant, A., Pant, R.P.: Fixed points and continuity of contractive maps. Filomat 31(11), 3501–3506 (2017)
Hicks, T.L., Rhoades, B.E.: A Banach type fixed-point theorem. Math. Jpn. 24, 327–330 (1979/80)
Nguyen, L.V.: On fixed points of asymptotically regular mappings. Rend. Circ. Mat. Palermo (2) Suppl. 70, 709–719 (2021)
Popescu, O.: Some remarks on the paper “Fixed point theorems for generalized contractive mappings in metric spaces”. J. Fixed Point Theory Appl. 23, 72 (2021)
Goebel, K., Sims, B.: Mean Lipschitzian mappings. Contemp. Math. 513, 157–167 (2010)
Goebel, K., Koter, M.: Fixed points of rotative Lipschitzian mappings. Rend. Semin. Mat. Fis. Milano 51, 145–156 (1981)
Goebel, K., Koter, M.: A remark on nonexpansive mappings. Can. Math. Bull. 24, 113–115 (1981)
Koter, M.: Fixed points of Lipschitzian 2-rotative mappings. Boll. Unione Mat. Ital. (9) VI, 321–339 (1986)
Piasecki, L.: Classification of Lipschitz Mappings. CRC Press, Boca Raton (2013)
Goebel, K., Pineda, M.J.: A new type of nonexpansiveness. In: Proc. of 8-Th Int’l Conference on Fixed Point Theory and Appl. Chiang Mai (2007)
Goebel, K., Pineda, M.J.: On a type of generalized nonexpansiveness. In: Proc. of 8-Th Int’l Conference on Fixed Point Theory and Appl. Chiang Mai, pp. 71–82 (2007)
Garcia, V.P., Piasecki, L.: Lipschitz constants for iterates of mean Lipschitzian mappings. Nonlinear Anal. 74, 5643–5647 (2011)
Singh, D., Joshi, V., Imdad, M., Kumam, P.: Fixed point theorems via generalized F-contractions with applications to functional equations occurring in dynamic programming. J. Fixed Point Theory Appl. 19, 1453–1479 (2017)
Acknowledgements
The authors thank the colleagues for their proofreading and other helpful suggestions.
Funding
This research received no external funding.
Author information
Authors and Affiliations
Contributions
Conceptualization, M.Z., S.B.; formal analysis, M.Z., S.B., N.S.; investigation, M.Z., N.S.; writing|original draft preparation, M.Z., S.B., N.S.; writing|review and editing, M.Z., N.S.. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Consent for publication
Not applicable.
Competing interests
The authors declare 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
Zhou, M., Saleem, N. & Bashir, S. Solution of fractional integral equations via fixed point results. J Inequal Appl 2022, 148 (2022). https://doi.org/10.1186/s13660-022-02887-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02887-w