Applications of a Fixed Point Result for Solving Nonlinear Fractional and Integral Differential Equations

Abstract

In this article, we apply one fixed point theorem in the setting of b-metric-like spaces to prove the existence of solutions for one type of Caputo fractional differential equation as well as the existence of solutions for one integral equation created in mechanical engineering.

1. Introduction and Preliminaries

It is well known that fixed point theory has applications in various fields of research. These fields include engineering, economics, natural sciences, game and graph theory, etc. The first known and perhaps most applicable result comes from Stefan Banach in 1922. It is known as the Banach contraction mapping principle. This principle claims that every contraction in a complete metric space has a unique fixed point. It is useful to say that this fixed point is also a unique fixed point for all iterations of the given contractive mapping.

After 1922, a large number of authors generalized Banach’s famous result. Hundreds of papers have been written on the subject. The generalizations went in two important directions:

(1)

New conditions were introduced in the given contractive relation using new relations (Kannan, Chatterje, Reich, Hardy-Rogers, Ćirić, …).

(2)

The axioms of metric space have been changed.

Thus, many classes of new spaces are obtained. For more details see papers [1,2,3,4,5,6,7,8,9,10].

One of the mentioned generalizations of Banach’s result from 1922 was introduced by the Polish mathematician D. Wardowski. In 2012, he defined the $\overline{\mathbb{F}}$-contraction as follows.

The mapping $\overline{T}$ of the metric space $(\overline{X},d)$ into itself, is an $\overline{\mathbb{F}}$ -contraction if there is a positive number $\tau$ such that for all $\overline{x},\overline{y}\in X$

$$d(\overline{T}\overline{x},\overline{T}\overline{y})>0\mathrm{yields}\tau +\overline{\mathbb{F}}\left(d(\overline{T}\overline{x},\overline{T}\overline{y})\right)\le \overline{\mathbb{F}}\left(d(\overline{x},\overline{y})\right),$$

(1)

where $\overline{\mathbb{F}}$ is a mapping of the interval $(0,+\infty )$ into the set $\overline{\mathbb{R}}=\left(-\infty ,+\infty \right)$ of real numbers, which satisfies the following three properties:

(F1)

$\overline{\mathbb{F}}\left(\overline{r}\right)<\overline{\mathbb{F}}\left(\overline{p}\right)$ whenever $0<\overline{r}<\overline{p}$;

(F2)

If $\left\{{\overline{\alpha }}_n\right\}\subset \left(0,+\infty \right)$ then ${\overline{\alpha }}_n\to 0$ if and only if $\overline{\mathbb{F}}\left({\overline{\alpha }}_n\right)\to -\infty$;

(F3)

${\overline{\alpha }}^k\overline{\mathbb{F}}\left(\overline{\alpha }\right)\to 0$ as $\overline{\alpha }\to 0^{+}$ for some $k\in \left(0,1\right).$

The set of all functions satisfying the above definition of D. Wardowski is denoted with $\mathcal{F}.$

The following functions $\overline{\mathbb{F}}:\left(0,+\infty \right)\to \left(-\infty ,+\infty \right)$ are in $\mathcal{F}.$

• $\overline{\mathbb{F}}\left(\alpha \right)=ln\alpha ;$
• $\overline{\mathbb{F}}\left(\alpha \right)=\alpha +ln\alpha ;$
• $\overline{\mathbb{F}}\left(\alpha \right)=-{\alpha }^{-\frac{1}{2}};$
• $\overline{\mathbb{F}}\left(\alpha \right)=ln\left(\alpha +{\alpha }^2\right).$

By using $\overline{\mathbb{F}}$-contraction, Wardowski [11] proved the following fixed point theorem that generalizes Banach’s [3] contraction principle.

Theorem 1.

Ref. [11] Let $\left(\overline{X},d\right)$ be a complete metric space and $\overline{T}:\overline{X}\to \overline{X}$ an $\overline{\mathbb{F}}$-contraction. Then $\overline{T}$ has a unique fixed point ${\overline{x}}^{*}\in \overline{X}$ and for every $\overline{x}\in X$ the sequence ${\left\{{\overline{T}}^n\overline{x}\right\}}_{n\in \mathbb{N}}$ converges to ${\overline{x}}^{*}.$

To prove his main result in [11] D. Wardovski used all three properties (F1), (F2) and (F3) of the mapping $\overline{\mathbb{F}}$. They were also used in the works [12,13,14,15,16,17,18,19]. However in the works [20,21,22] instead of all three properties, the authors used only property (F1).

Since Wardowski’s main result is true if the function $\overline{\mathbb{F}}$ satisfies only (F1) (see [20,21,22]), it is natural to ask whether it is also true for the other five classes of generalized metric spaces: b-metric spaces, partial metric spaces, metric like spaces, partial b-metric spaces, and b-metric like spaces. Clearly, it is sufficient to check it for b-metric-like spaces.

Let us recall the definitions of the b-metric like space as well as of the generalized $(s,q)-$ Jaggi-$\overline{\mathbb{F}}$-contraction type mapping.

Definition 1.

A b-metric-like on a nonempty set $\overline{X}$ is a function $d_{bl}:\overline{X}\times \overline{X}\to [0,+\infty )$ such that for all $\overline{x},\overline{y},\overline{z}\in \overline{X}$ and a constant $\mathfrak{s}\ge 1,$ the following three conditions are satisfied:

(d_bl1)

$d_{bl}\left(\overline{x},\overline{y}\right)=0$ yields $\overline{x}=\overline{y};$

(d_bl2)

$d_{bl}\left(\overline{x},\overline{y}\right)=d_{bl}\left(\overline{y},\overline{x}\right);$

(d_bl3)

$d_{bl}\left(\overline{x},z\right)\le \mathfrak{s}\left(d_{bl}\left(\overline{x},\overline{y}\right)+d_{bl}\left(\overline{y},z\right)\right).$

In this case, the triple $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ is called b-metric-like space with constant $\mathfrak{s}$ or b-dislocated metric space by some author. It should be noted that the class of b-metric-like spaces is larger that the class of metric-like spaces, since a b-metric-like is a metric like with $\mathfrak{s}=1.$ For some examples of metric-like and b-metric-like spaces (see [13,15,23,24]).

The definitions of convergent and Cauchy sequences are formally the same in partial metric, metric-like, partial b-metric and b-metric-like spaces. Therefore we give only the definition of convergence and Cauchyness of the sequences in b-metric-like space.

Definition 2.

Ref. [1] Let $\left\{{\overline{x}}_n\right\}$ be a sequence in a b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right).$

(i) 

The sequence $\left\{{\overline{x}}_n\right\}$ is said to be convergent to $\overline{x}$ if $\underset{n\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,\overline{x}\right)=d_{bl}\left(\overline{x},\overline{x}\right);$

(ii) 

The sequence $\left\{{\overline{x}}_n\right\}$ is said to be $d_{bl}-$Cauchy in $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ if $\underset{n,m\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,{\overline{x}}_m\right)$ exists and is finite. If $\underset{n,m\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,{\overline{x}}_m\right)=0,$ then $\left\{{\overline{x}}_n\right\}$ is called $0-d_{bl}-$Cauchy sequence.

(iii) 

One says that a b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ is $d_{bl}-$complete (resp. $0-d_{bl}-$complete) if for every $d_{bl}-$Cauchy (resp. $0-d_{bl}-$Cauchy) sequence $\left\{{\overline{x}}_n\right\}$ in it there exists an $\overline{x}\in \overline{X}$ such that $\underset{n,m\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,{\overline{x}}_m\right)=\underset{n\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,\overline{x}\right)=d_{bl}\left(\overline{x},\overline{x}\right).$

(iv) 

A mapping $T:\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)\to \left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ is called $d_{bl}-$continuous if the sequence $\left\{\overline{T}{\overline{x}}_n\right\}$ tends to $\overline{T}\overline{x}$ whenever the sequence $\left\{{\overline{x}}_n\right\}\subseteq \overline{X}$ tends to $\overline{x}$ as $n\to +\infty ,$ that is, if $\underset{n\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,\overline{x}\right)=d_{bl}\left(\overline{x},\overline{x}\right)$ yields $\underset{n\to +\infty }{lim}{d}_{bl}\left(\overline{T}{\overline{x}}_n,\overline{T}\overline{x}\right)=d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{x}\right).$

Herein, we discuss first some fixed points considerations for the case of b-metric-like spaces. Then we give a $(\mathfrak{s},q)-$Jaggi-$\overline{\mathbb{F}}$- contraction fixed point theorem in $0-d_{bl}-$complete b-metric-like space without conditions (F2) and (F3) using the property of strictly increasing function defined on $(0,+\infty )$. Moreover, using this fixed point result we prove the existence of solutions for one type of Caputo fractional differential equation as well as existence of solutions for one integral equation created in mechanical engineering.

2. Fixed Point Remarks

Let us start this section with an important remark for the case of b-metric-like spaces.

Remark 1.

In a b-metric-like space the limit of a sequence does not need to be unique and a convergent sequence does not need to be a $d_{bl}-$Cauchy one. However, if the sequence $\left\{{\overline{x}}_n\right\}$ is a $0-d_{bl}-$Cauchy sequence in the $d_{bl}-$complete b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right),$ then the limit of such sequence is unique. Indeed, in such case if ${\overline{x}}_n\to \overline{x}$ as $n\to +\infty$ we get that $d_{bl}\left(\overline{x},\overline{x}\right)=0.$ Now, if ${\overline{x}}_n\to \overline{x}$ and ${\overline{x}}_n\to \overline{y}$ where $\overline{x}\ne \overline{y},$ we obtain that:

$$\frac{1}{s}{d}_{bl}\left(\overline{x},\overline{y}\right)\le d_{bl}\left(\overline{x},{\overline{x}}_n\right)+d_{bl}\left({\overline{x}}_n,\overline{x}\right)\to d_{bl}\left(\overline{x},\overline{x}\right)+d_{bl}\left(\overline{y},\overline{y}\right)=0+0=0.$$

(2)

From $\left(d_{bl}1\right)$ follows that $\overline{x}=\overline{y},$ which is a contradiction.

We shall use the following result, the proof is similar to that in the paper [25] (see also [26,27]).

Lemma 1.

Let $\left\{{\overline{x}}_n\right\}$ be a sequence in b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ such that

$$d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)\le \lambda ·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)$$

(3)

for some $\lambda \in [0,\frac{1}{\mathfrak{s}})$ and for each $n\in \mathbb{N}.$ Then $\left\{{\overline{x}}_n\right\}$ is a $0-d_{bl}-$Cauchy sequence.

Remark 2.

It is worth noting that the previous Lemma holds in the setting of b-metric-like spaces for each $\lambda \in [0,1).$ For more details see [26,28].

Definition 3.

Let $\overline{T}$ be a self-mapping on a b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right).$ Then the mapping $\overline{T}$ is said to be generalized $\left(\mathfrak{s},q\right)-$Jaggi $\overline{\mathbb{F}}-$contraction-type if there is strictly increasing $\overline{\mathbb{F}}:\left(0,+\infty \right)\to \left(-\infty ,+\infty \right)$ and $\tau >0$ such that for all $\overline{x},\overline{y}\in X:$

$$\left(d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0and{d}_{bl}\left(\overline{x},\overline{y}\right)>0\right)yields\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le \overline{\mathbb{F}}\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)\right),$$

(4)

for all $\overline{x},\overline{y}\in X,$ where $N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)=A·\frac{d_{bl}\left(\overline{x},\overline{T}\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right),$ $A,B,C\ge 0$ with $A+B+2C\mathfrak{s}<1$ and $q>1.$

Remark 3.

Due to division by $d_{bl}\left(\overline{x},\overline{y}\right)$ in previously it must be $d_{bl}\left(\overline{x},\overline{y}\right)>0.$ Hence, we improved Definition 6 from [13].

We give further, various results using only some conditions of the definition of $\overline{\mathbb{F}}$-contractions. Then, we prove a $(\mathfrak{s},q)-$Jaggi-$\overline{\mathbb{F}}$- contraction fixed point theorem in $0-d_{bl}-$complete b-metric-like space without conditions (F2) and (F3) using the property of strictly increasing function defined on $(0,+\infty )$. For all details on monotone real functions see [29].

Let us give the following main result of this section.

Theorem 2.

Let $(\overline{X},d_{bl},\mathfrak{s}\ge 1)$ be $0-d_{bl}-$complete and $\overline{T}:\overline{X}\to \overline{X}$ be a generalized $(\mathfrak{s},q)$-Jaggi-$\overline{\mathbb{F}}$-contraction-type mapping. Then, $\overline{T}$ has a unique fixed point ${\overline{x}}^{*}\in X$, if it is $d_{bl}-$continuous and $\underset{n\to +\infty }{lim}{\overline{T}}^n\overline{x}={\overline{x}}^{*}$, for every $\overline{x}\in X.$

Proof. 

First of all, we will prove the uniqueness of a possible fixed point. If the mapping $\overline{T}$ has a two distinct fixed point ${\overline{x}}^{*}$ and ${\overline{y}}^{*}$ in $\overline{X}$ then since $d_{bl}\left(\overline{T}{\overline{x}}^{*},\overline{T}{\overline{y}}^{*}\right)>0$ and $d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)>0$ we get by to (4):

$$\overline{\mathbb{F}}\left(d_{bl}\left(\overline{T}{\overline{x}}^{*},\overline{T}{\overline{y}}^{*}\right)\right)<\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q·d_{bl}\left(\overline{T}{\overline{x}}^{*},\overline{T}{\overline{y}}^{*}\right)\right)\le \overline{\mathbb{F}}\left(N_{bl}^{A,B,C}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)\right),$$

(5)

where $N_{bl}^{A,B,C}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)=A·\frac{d_{bl}\left({\overline{x}}^{*},\overline{T}{\overline{x}}^{*}\right)·d_{bl}\left({\overline{y}}^{*},\overline{T}{\overline{y}}^{*}\right)}{d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)}+B·d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)+C·d_{bl}\left({\overline{y}}^{*},\overline{T}{\overline{y}}^{*}\right),$ that is,

$$\overline{\mathbb{F}}\left(d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)\right)<\overline{\mathbb{F}}\left(N_{bl}^{A,B,C}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)\right)$$

$$=\overline{\mathbb{F}}\left(A·0+B·d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)+C·d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)\right),$$

(6)

or equivalently,

$$d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)<\left(B+C\right)·d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right).$$

(7)

The last obtained relation is in fact, a contradiction. Indeed,

$$\begin{array}{ccc}\hfill B+C& <& B+Cs\hfill \\ & <& B+2Cs\hfill \\ & <& A+B+2CS<1.\hfill \end{array}$$

In the previously we used that $d_{bl}\left(\overline{x},\overline{x}\right)=0$ if $\overline{x}$ is a fixed point in $\overline{X}$ of the mapping $\overline{T}.$

Further, (4) yields

$$d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\le {\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)<A·\frac{d_{bl}\left(\overline{x},\overline{T}\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right),$$

(8)

for all $\mathfrak{s}\ge 1,q>1$ and $\overline{x},\overline{y}\in X$ whenever $d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0$ and $d_{bl}\left(\overline{x},\overline{y}\right)>0.$

Now, consider the following Picard sequence ${\overline{x}}_n=\overline{T}{\overline{x}}_{n-1},n\in \mathbb{N}$ where ${\overline{x}}_0$ is arbitrary point in $X.$ if ${\overline{x}}_k={\overline{x}}_{k-1}$ for some $k\in \mathbb{N}$ then ${\overline{x}}_{k-1}$ is a unique fixed point of the mapping $\overline{T}.$ Therefore, suppose that ${\overline{x}}_n\ne {\overline{x}}_{n-1}$ for all $n\in \mathbb{N}.$ In this case we have that $d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)>0$ for all $n\in \mathbb{N}.$ Since, $d_{bl}\left(\overline{T}{\overline{x}}_{n-1},\overline{T}{\overline{x}}_n\right)>0$ and $d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)>0$ then according to (4) we get

$$\begin{array}{ccc}\hfill d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)& <& A·\frac{d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)·d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)}{d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)}+B·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)+C·d_{bl}\left({\overline{x}}_n,{\overline{x}}_n\right)\hfill \\ \hfill & =& A·d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)+B·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)+C·d_{bl}\left({\overline{x}}_n,{\overline{x}}_n\right)\hfill \\ \hfill & \le & A·d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)+B·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right)+2\mathfrak{s}C·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right).\hfill \end{array}$$

(9)

The relation (9) yields

$$d_{bl}\left({\overline{x}}_n,{\overline{x}}_{n+1}\right)<\frac{B+2\mathfrak{s}C}{1-A}·d_{bl}\left({\overline{x}}_{n-1},{\overline{x}}_n\right).$$

(10)

As $\frac{B+2\mathfrak{s}C}{1-A}<1$ then, by Lemma 1 and Remark 2, we have that the sequence ${\left\{{\overline{x}}_n\right\}}_{n\in \mathbb{N}}$ is a $0-d_{bl}-$Cauchy in 0-complete b-metric-like space $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right).$ This means that exists a unique point ${\overline{x}}^{*}\in X$ such that

$$\underset{n,m\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,{\overline{x}}_m\right)=\underset{n\to +\infty }{lim}{d}_{bl}\left({\overline{x}}_n,{\overline{x}}^{*}\right)=d_{bl}\left({\overline{x}}^{*},{\overline{x}}^{*}\right).$$

(11)

Now, we will prove that ${\overline{x}}^{*}$ is a fixed point of $\overline{T}.$ Since, the mapping T is continuous, then we get

$$d_{bl}\left(\overline{T}{\overline{x}}_n,\overline{T}{\overline{x}}^{*}\right)\to d_{bl}\left(\overline{T}{\overline{x}}^{*},\overline{T}{\overline{x}}^{*}\right),\mathrm{i}.\mathrm{e}.,d_{bl}\left({\overline{x}}_{n+1},\overline{T}{\overline{x}}^{*}\right)\to d_{bl}\left(\overline{T}{\overline{x}}^{*},\overline{T}{\overline{x}}^{*}\right),$$

(12)

as $n\to +\infty .$ The conditions (11) and (12) show that $\overline{T}{\overline{x}}^{*}={\overline{x}}^{*},$ i.e., ${\overline{x}}^{*}$ is a fixed point of $\overline{T}.$ This completes the proof of Theorem 2. □

Now we give some corollaries of Theorem 2.

Corollary 1.

Putting in (4) $A=C=0$ we get that result of D. Wardowski holds true for all five classes of generalized metric spaces (partial metric, metric-like, b-metric, partial b-metric and b-metric-like) for continuous mapping $T.$ Indeed, it this case, (4) yields

$$\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le \overline{\mathbb{F}}\left(B·d_{bl}\left(\overline{x},\overline{y}\right)\right),$$

(13)

for all $\overline{x},\overline{y}\in \overline{X},$ with $d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0$ and $d_{bl}\left(\overline{x},\overline{y}\right)>0.$ Further, from (13) follows

$$\tau +\overline{\mathbb{F}}\left(d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le \overline{\mathbb{F}}\left(d_{bl}\left(\overline{x},\overline{y}\right)\right),$$

(14)

that is., D. Wardowski $\overline{\mathbb{F}}$-contractive condition. This means that continuous mapping $\overline{T}$ has a unique fixed point ${\overline{x}}^{*}$ in $\overline{X}$ and $d_{bl}\left({\overline{T}}^n\overline{x},\overline{T}{\overline{x}}^{*}\right)=d_{bl}\left({\overline{T}}^n\overline{x},{\overline{x}}^{*}\right)\to d_{bl}\left(\overline{x},{\overline{x}}^{*}\right)$ as $n\to +\infty ,$ for all $\overline{x}\in X.$

Corollary 2.

Putting in (4) $A=0,$ $B+2\mathfrak{s}C<1$ we get the following $\overline{\mathbb{F}}$-contractive condition:

$$\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le \overline{\mathbb{F}}\left(B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)\right),$$

(15)

that is

$$\tau +\overline{\mathbb{F}}\left(d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)<\overline{\mathbb{F}}\left(B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)\right),$$

(16)

or equivalently,

$$d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)<B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right).$$

(17)

Then, continuous mapping $\overline{T}:\overline{X}\to \overline{X}$ has a unique fixed point ${\overline{x}}^{*}\in \overline{X}$ and $d_{bl}\left({\overline{T}}^n\overline{x},\overline{T}{\overline{x}}^{*}\right)=d_{bl}\left({\overline{T}}^n\overline{x},{\overline{x}}^{*}\right)\to d_{bl}\left(\overline{x},{\overline{x}}^{*}\right)$ as $n\to +\infty ,$ for all $\overline{x}\in X.$

The immediately corollaries of Theorem 2 have new contraction conditions that generalize and complement results from [30,31].

Corollary 3.

Let $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ be a $0-d_{bl}-$complete b-metric-like space and $\overline{T}$ be a self mapping satisfying a generalized $\left(\mathfrak{s},q\right)-$Jaggi $\overline{\mathbb{F}}$-contraction-type (4) where $C_i>0,i=\overline{1,3}$ such that for all $\overline{x},\overline{y}\in \overline{X}$ with $d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0$ and $d_{bl}\left(\overline{x},\overline{y}\right)>0$ the following inequalities hold true.

$$C_1+exp\left({\mathfrak{s}}^q·d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le exp\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)\right),$$

(18)

$$C_2-\frac{1}{{\mathfrak{s}}^q·d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)}\le -\frac{1}{N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)},$$

(19)

$$C_3+exp\left({\mathfrak{s}}^q·d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)·ln\left({\mathfrak{s}}^q·d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le exp\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)\right)·ln\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)\right),$$

(20)

where $N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)=A·\frac{d_{bl}\left({\overline{x}}^{*},\overline{T}{\overline{x}}^{*}\right)·d_{bl}\left({\overline{y}}^{*},\overline{T}{\overline{y}}^{*}\right)}{d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)}+B·d_{bl}\left({\overline{x}}^{*},{\overline{y}}^{*}\right)+C·d_{bl}\left({\overline{y}}^{*},\overline{T}{\overline{y}}^{*}\right),A,B,C\ge 0$ with $A+B+2\mathfrak{s}C<1$ and $q>1.$

Then $\overline{T}$ has a unique fixed point ${\overline{x}}^{*}\in \overline{X}$ if it is continuous and then for every $\overline{x}\in \overline{X}$ the sequence ${\left\{{\overline{T}}^n\overline{x}\right\}}_{n\in \mathbb{N}}$ converges to ${\overline{x}}^{*}.$

Proof. 

First of all, put in Theorem 2. $\overline{\mathbb{F}}\left(r\right)=exp\left(r\right),$ $\overline{\mathbb{F}}\left(r\right)=-\frac{1}{r},$ $\overline{\mathbb{F}}\left(r\right)=exp\left(r\right)·ln\left(r\right)$, respectively. Since every of the functions $r\mapsto \overline{\mathbb{F}}\left(r\right)$ is strictly increasing on $\left(0,+\infty \right)$ the result follows by Theorem 2. □

3. Main Results

Fixed point theory is an important tool for developing studies and calculations of solutions to differential and integral equations, dynamical systems, models in economy, game theory, physics, computer science, engineering, neural networks and many others. In this section, let us give two applications of our fixed point theorems previously discussed in fractional differential equations and in an initial value problem from mechanical engineering.

Let $\overline{p}:[0,+\infty )\to \overline{\mathbb{R}}$ be a continuous function. Next, we recall the definition of Caputo derivative of function $\overline{p}$ order $\overline{\beta }>0$ (see [32,33]):

$${}^C{\mathcal{D}}^{\overline{\beta }}\left(\overline{p}\left(t\right)\right):=\frac{1}{\mathsf{\Gamma }\left(n-\overline{\beta }\right)}\underset{0}{\overset{t}{\int }}{\left(t-s\right)}^{n-\overline{\beta }-1}{\overline{p}}^{\left(n\right)}\left(s\right)ds\left(n-1<\overline{\beta }<n,n=\left[\overline{\beta }\right]+1\right),$$

where $\left[\overline{\beta }\right]$ denotes the integer part of the positive real number $\overline{\beta }$ and $\mathsf{\Gamma }$ is a gamma function.

Further, we will provide an application of the Theorem 2 for proving the existence of a solution of the following nonlinear fractional differential equation

$${}^C{\mathcal{D}}^{\overline{\beta }}\left(\overline{x}\left(t\right)\right)+f\left(t,\overline{x}\left(t\right)\right)=0\left(0\le t\le 1,\overline{\beta }<1\right)$$

(21)

with the boundary conditions $\overline{x}\left(0\right)=0=\overline{x}\left(1\right),$ with $\overline{x}\in \overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$, $\overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$ denotes the set of all continuous functions with real values from $\left[0,1\right]$ and $f:\left[0,1\right]\times \overline{\mathbb{R}}\to \overline{\mathbb{R}}$ is a continuous function (see [34,35,36,37]). The Green function connected with the problem (21) is

$$\mathfrak{G}\left(t,s\right)=\left\{\begin{array}{c}{\left(t\left(1-s\right)\right)}^{\alpha -1}-{\left(t-s\right)}^{\alpha -1}\mathrm{if}0\le s\le t\le 1\hfill \\ \frac{{\left(t\left(1-s\right)\right)}^{\alpha -1}}{\mathsf{\Gamma }\left(\alpha \right)}\mathrm{if}0\le t\le s\le 1.\hfill \end{array}\right.$$

Let $\overline{X}=\overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$ endowed with the b-metric-like

$$d_{bl}\left(\overline{x},\overline{y}\right)=\underset{t\in \left[0,1\right]}{sup}{\left|\overline{x}\left(t\right)+\overline{y}\left(t\right)\right|}^q,\mathrm{for}\mathrm{all}\overline{x},\overline{y}\in \overline{X}.$$

We can prove easily that $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ is a $0-d_{bl}-$complete b-metric-like space with parameter $\mathfrak{s}=2^{q-1}.$ For simplicity let us denote the triple $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ by $\overline{X}.$ Obviously ${\overline{x}}^{*}\in \overline{X}$ is a solution of (21) if and only if ${\overline{x}}^{*}\in \overline{X}$ is a solution of the equation

$$\overline{x}\left(t\right)=\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)f\left(s,\overline{x}\left(s\right)\right)ds\mathrm{for}\mathrm{all}t\in \left[0,1\right].$$

Let us give our first main result of this section.

Theorem 3.

Consider the nonlinear fractional order differential Equation (21). Let ϑ: $\overline{\mathbb{R}}\times \mathbb{R}\to \overline{\mathbb{R}}$ be a given mapping and $f:[0;1]\times \overline{\mathbb{R}}\to \overline{\mathbb{R}}$ be a continuous function. Suppose that the following assertions are true:

(i) 

there exists ${\overline{x}}_0\in \overline{X}$ such that $\vartheta \left({\overline{x}}_0\left(t\right),\underset{0}{\overset{t}{\int }}\overline{T}{\overline{x}}_0\left(t\right)\right)\ge 0$ for all $t\in \left[0,1\right],$ where $\overline{T}:\overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)\to \overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$ is defined by

$$\overline{T}\overline{x}\left(t\right)=\underset{0}{\overset{t}{\int }}\mathfrak{G}\left(t,s\right)f\left(s,\overline{x}\left(s\right)\right)ds;$$

(22)

(ii) 

there exists $\tau >0$ such that for all $\overline{x},\overline{y}\in \overline{X}:$

$$d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0and{d}_{bl}\left(\overline{x},\overline{y}\right)>0yields$$

$$\left|f\left(t,\overline{x}\left(t\right)\right)+f\left(t,\overline{y}\left(t\right)\right)\right|\le \frac{1}{\mathfrak{s}}\sqrt[q]{N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }},$$

(23)

for all $t\in \left[0,1\right]$, where

$$N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)=A·\frac{d_{bl}\left(\overline{x},T\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{x}\right),$$

(24)

$A,B,C\ge 0$ with $A+B+2C\mathfrak{s}<1$ and $q>1;$

(iii) 

for all $t\in \left[0,1\right]$ and $\mu ,\nu \in \overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right),\vartheta \left(\overline{x}\left(t\right),\overline{y}\left(t\right)\right)\ge 0$ yields $\vartheta \left(\overline{T}\overline{x}\left(t\right),T\overline{y}\left(t\right)\right)\ge 0;$

(iv) 

for all $t\in \left[0,1\right],$ if $\left\{{\overline{x}}_n\right\}$ is a sequence in $\overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$ such that ${\overline{x}}_n\to \overline{x}$ in $\overline{\mathcal{C}}\left(\left[0,1\right],\overline{\mathbb{R}}\right)$ and $\vartheta \left({\overline{x}}_n\left(t\right),{\overline{x}}_{n+1}\left(t\right)\right)\ge 0$ for all $n\in \mathbb{N},$ then $\vartheta \left({\overline{x}}_n\left(t\right),\overline{x}\left(t\right)\right)\ge 0$ for all $n\in \mathbb{N}.$

Then problem (21) has a solution.

Proof. 

It is obvious that the problem (21) can be reduced to find an element ${\overline{x}}^{*}\in \overline{X}$, which is a fixed point for the mapping $\overline{T}.$

Let $\overline{x},\overline{y}\in \overline{X}$ such that $\vartheta \left(\overline{x}\left(t\right),\overline{y}\left(t\right)\right)\ge 0$ for all $t\in \left[0,1\right].$ By $\left(iii\right)$ we have $\vartheta \left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\ge 0.$ Then by hypothesis $\left(i\right)$ and $\left(ii\right)$ we have the following inequalities

$$\begin{array}{ccc}\hfill \left|\overline{T}\overline{x}\left(t\right)+\overline{T}\overline{y}\left(t\right)\right|& =& \left|\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)f\left(s,\overline{x}\left(s\right)\right)ds+\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)f\left(s,\overline{y}\left(s\right)\right)ds\right|\hfill \\ \hfill & =& \left|\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)[f\left(s,\overline{x}\left(s\right)\right)+f\left(s,\overline{y}\left(s\right)\right)]ds\right|\hfill \\ \hfill & \le & \underset{0}{\overset{1}{\int }}\left|f\left(s,\overline{x}\left(s\right)\right)+f\left(s,\overline{y}\left(s\right)\right)\right|ds\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)ds\hfill \\ \hfill & \le & \frac{1}{\mathfrak{s}}\sqrt[q]{N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }}\underset{0}{\overset{1}{\int }}\mathcal{G}\left(t,s\right)ds\hfill \end{array}$$

(25)

Since $\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)ds\le 1$ and taking supremum in both sides we get

$$\begin{array}{ccc}\hfill \underset{t\in \left[0,1\right]}{sup}\left|\overline{T}\overline{x}\left(t\right)+\overline{T}\overline{y}\left(t\right)\right|& \le & \frac{1}{\mathfrak{s}}\underset{t\in \left[0,1\right]}{sup}\sqrt[q]{N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }}·\underset{t\in \left[0,1\right]}{sup}\underset{0}{\overset{1}{\int }}\mathfrak{G}\left(t,s\right)ds\hfill \\ & \le & \frac{1}{\mathfrak{s}}\underset{t\in \left[0,1\right]}{sup}\sqrt[q]{N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }}.\hfill \end{array}$$

(26)

This means

$$\underset{t\in \left[0,1\right]}{sup}{\left|\overline{T}\overline{x}\left(t\right)+\overline{T}\overline{y}\left(t\right)\right|}^q\le \frac{1}{{\mathfrak{s}}^q}{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }.$$

(27)

Then we get

$${\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\le N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }.$$

(28)

If we take $\overline{\mathbb{F}}\left(\omega \right)=ln\left(\omega \right)$ for all $\omega >0$ and since $\overline{\mathbb{F}}\in \mathcal{F}$ we get

$$ln\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le ln\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau }\right)\mathrm{or}$$

$$\tau +ln\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le ln\left(N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)\right).$$

(29)

Equivalently

$$\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q{d}_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)\right)\le \overline{\mathbb{F}}\left(A·\frac{d_{bl}\left(\overline{x},\overline{T}\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{x}\right)\right)$$

(30)

where $A,B,C\ge 0$ with $A+B+2C\mathfrak{s}<1$ and $q>1.$

Applying Theorem 2, we deduce that $\overline{T}$ has a fixed point, which yields that Equation (21) has at least one solution. □

Next, we will give a new application of Theorem 2, in mechanical engineering. Then, an automobile suspension system is the practicable application for the spring-mass system in engineering matters. Let us study the motion of an automobile spring when motion of it is upon a rugged and pitted road, where the forcing term is the rugged road and shock absorbers provide the damping. The possible external forces acting on the system are the gravity, the tension force, the earthquake, etc. We denote by m be the spring mass and by $\mathsf{\Phi }$ the external force acting on it. Then, the next initial value problem express the critical damped motion of the spring-mass system under the action of an external force $\mathsf{\Phi }$.

$$\left\{\begin{array}{c}m\frac{d^2\overline{x}}{d{t}^2}+\pi \frac{d\overline{x}}{dt}-\mathsf{\Phi }(t,\overline{x}\left(t\right))=0;\\ \overline{x}\left(0\right)=0;\\ {\overline{x}}^{\prime }\left(0\right)=0;\end{array}\right.$$

(31)

where $\pi >0$ denote the dumping constant and $\mathsf{\Phi }:[0,\theta ]\times \overline{{\mathbb{R}}^{+}}\to \overline{\mathbb{R}}$ is a continuous map.

Obviously, the problem (31) with the following integral equation are equivalent.

$$\overline{x}\left(t\right)=\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{x}\left(s\right))ds,\mathrm{with}t,s\in [0,\theta ].$$

(32)

where $\mathfrak{G}(t,s)$ is the corresponding Green’s function, defined as follows

$$\mathfrak{G}(t,s)=\left\{\begin{array}{c}\frac{1-e^{\xi (t-s)}}{\xi },\mathrm{for}0\le s\le t\le \theta ;\hfill \\ 0,\mathrm{for}0\le t\le s\le \theta ;\hfill \end{array}\right.$$

where $\xi =\frac{\pi }{m}$ is a constant ratio.

Let us consider $\overline{X}=\overline{\mathcal{C}}\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)$ be the set of real continuous functions defined on $\left[0,\theta \right]$. Then, for $q\ge 1$ we consider the following b-metric-like

$$d_{bl}\left(\overline{x},\overline{y}\right)={\left(\parallel \overline{x}{\parallel }_{\infty }+{\parallel \overline{y}\parallel }_{\infty }\right)}^2,\mathrm{for}\mathrm{all}\overline{x},\overline{y}\in \overline{X}.$$

(33)

where $\parallel \overline{x}{\parallel }_{\infty }=\underset{t\in \left[0,\theta \right]}{sup}\left|\overline{x}\left(t\right)\right|e^{-\tau t}$, with $\tau >1$ and $t\in \left[0,\theta \right]$.

Then, it is easy to check that $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ form a $0-d_{bl}-$complete b-metric-like space with the coefficient $\mathfrak{s}=2.$ Let us denote again the triple $\left(\overline{X},d_{bl},\mathfrak{s}\ge 1\right)$ by $\overline{X}.$

Then, we have the prove that the problem (31) admits a solution if and only if there exists ${\overline{x}}^{*}\in \overline{X}$, a solution of the equation

$$\overline{x}\left(t\right)=\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{x}\left(s\right))ds,\mathrm{with}t,s\in [0,\theta ].$$

Further, let us give the following second main theorem of this section.

Theorem 4.

Consider the problem (31) and the operator $\overline{T}:\overline{\mathcal{C}}\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)\to \overline{\mathcal{C}}\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)$

$$\overline{T}\overline{x}\left(t\right)=\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{x}\left(s\right))ds,witht,s\in [0,\theta ].$$

Suppose that:

(i) 

the function $\mathsf{\Phi }:[0,\theta ]\times \overline{{\mathbb{R}}^{+}}\to \overline{\mathbb{R}}$ is a continuous function;

(ii) 

there exists $\tau >0$ such that, for all $\overline{x},\overline{y}\in \overline{X}$, we have:

$$d_{bl}\left(\overline{T}\overline{x},\overline{T}\overline{y}\right)>0and{d}_{bl}\left(\overline{x},\overline{y}\right)>0yields$$

$$\left|\mathsf{\Phi }\left(t,\overline{x}\left(t\right)\right)\right|+\left|\mathsf{\Phi }\left(t,\overline{y}\left(t\right)\right)\right|\le \sqrt{\frac{e^{-\tau (1-t)}}{{\mathfrak{s}}^2}{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)},$$

(34)

for all $t\in \left[0,\theta \right]$ and $\tau >1$, where

$$N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)=A·\frac{d_{bl}\left(\overline{x},\overline{T}\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{x}\right),$$

(35)

$A,B,C\ge 0$ with $A+B+2C\mathfrak{s}<1$ and $q>1.$

(iii) 

for all $t\in \left[0,\theta \right]$ and $\mu ,\nu \in \overline{\mathcal{C}}\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)$,

$$\vartheta \left(\overline{x}\left(t\right),\overline{y}\left(t\right)\right)\ge 0yields\vartheta \left(\overline{T}\overline{x}\left(t\right),T\overline{y}\left(t\right)\right)\ge 0.$$

Then, the integral Equation (31) has a unique solution.

Proof. 

Then problem (31) can be considered to find an element ${\overline{x}}^{*}\in \overline{X}$, which is a fixed point for the operator $\overline{T}.$

Let $\overline{x},\overline{y}\in \overline{X}$ such that $d_{bl}(\overline{x}\left(t\right),\overline{y}\left(t\right))>0$ for all $t\in [0,\theta ]$. By hypothesis $\left(iii\right)$ we have $d_{bl}(\overline{T}\overline{x},\overline{T}\overline{y})>0$. According with the hypothesis $\left(i\right)$ and $\left(ii\right)$ of the theorem, we have the following inequalities

$$\begin{array}{ccc}\hfill {\mathfrak{s}}^2{\left(\left|\overline{T}\overline{x}\left(t\right)\right|+\left|\overline{T}\overline{x}\left(t\right)\right|\right)}^2& =& {\mathfrak{s}}^2{\left(\left|\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{x}\left(s\right))ds\right|+\left|\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{y}\left(s\right))ds\right|\right)}^2\hfill \\ \hfill & \le & {\mathfrak{s}}^2{\left(\underset{0}{\overset{\theta }{\int }}\left|\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{x}\left(s\right))\right|ds+\underset{0}{\overset{\theta }{\int }}\left|\mathfrak{G}(t,s)\mathsf{\Phi }(s,\overline{y}\left(s\right))\right|ds\right)}^2\hfill \\ \hfill & \le & {\mathfrak{s}}^2{\left(\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\left(\left|\mathsf{\Phi }(s,\overline{x}\left(s\right))\right|+\left|\mathsf{\Phi }(s,\overline{y}\left(s\right))\right|\right)ds\right)}^2\hfill \\ \hfill & \le & {\mathfrak{s}}^2{\left(\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)\sqrt{\frac{e^{-\tau (1-t)}}{{\mathfrak{s}}^2}{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)}ds\right)}^2\hfill \\ \hfill & \le & {\mathfrak{s}}^2\frac{e^{-\tau (1-t)}}{{\mathfrak{s}}^2}{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right){\left(\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)ds\right)}^2\hfill \\ \hfill & \le & \frac{e^{-\tau }}{e^{-2\tau t}}{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau t}{\left(\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)ds\right)}^2.\hfill \end{array}$$

(36)

Then, we have

$${\mathfrak{s}}^2{\left(\left|\overline{T}\overline{x}\left(t\right)\right|+\left|\overline{T}\overline{x}\left(t\right)\right|\right)}^2{e}^{-2\tau t}\le e^{-\tau }{N}_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)e^{-\tau t}{\left(\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)ds\right)}^2.$$

(37)

Since $\underset{0}{\overset{\theta }{\int }}\mathfrak{G}(t,s)ds\le 1$ and taking supremum on both sides, results

$${\mathfrak{s}}^2{\left(\parallel \overline{T}\overline{x}{\left(t\right)\parallel }_{\infty }+{\parallel \overline{T}\overline{y}\left(t\right)\parallel }_{\infty }\right)}^2\le e^{-\tau }{∥N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)∥}_{\infty }.$$

(38)

Then ${\mathfrak{s}}^2{d}_{bl}(\overline{T}\overline{x},\overline{T}\overline{y})\le e^{-\tau }{∥N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)∥}_{\infty }.$

For $\overline{\mathbb{F}}\left(w\right)=lnw$, for all $w>0$ and $\overline{\mathbb{F}}\left(w\right)\in \mathcal{F}$ we obtain

$$ln\left({\mathfrak{s}}^2{d}_{bl}(\overline{T}\overline{x},\overline{T}\overline{y})\right)\le ln\left(e^{-\tau }{∥N_{bl}^{A,B,C}\left(\overline{x},\overline{y}\right)∥}_{\infty }\right).$$

(39)

Equivalently

$$\tau +\overline{\mathbb{F}}\left({\mathfrak{s}}^q{d}_{bl}(\overline{T}\overline{x},\overline{T}\overline{y})\right)\le \overline{\mathbb{F}}\left(A·\frac{d_{bl}\left(\overline{x},\overline{T}\overline{x}\right)·d_{bl}\left(\overline{y},\overline{T}\overline{y}\right)}{d_{bl}\left(\overline{x},\overline{y}\right)}+B·d_{bl}\left(\overline{x},\overline{y}\right)+C·d_{bl}\left(\overline{y},\overline{T}\overline{x}\right)\right).$$

(40)

By Theorem 2 with the coefficient $q=2$, we get that $\overline{T}$ has a fixed point, which is the unique solution of the problem 31. □

4. Numerical Example

In this section, we provide a numerical example to sustain our applications. For the case of the first application of the previous section, Theorem 3, let us consider the following nonlinear differential equation

$$\overline{x}\left(t\right)={\int }_0^t\left[{\left(t(1-s)\right)}^{\alpha -1}-{(t-s)}^{\alpha -1}\right]cos\left(\overline{x}\left(s\right)\right)ds, \mathrm{with} 0\le s\le t\le 1.$$

(41)

Then, we consider the operator $\overline{T}:C\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)\to C\left(\left[0,\theta \right],\overline{\mathbb{R}}\right)$ defined as

$$\overline{T}\overline{x}\left(t\right)={\int }_0^t\left[{\left(t(1-s)\right)}^{\alpha -1}-{(t-s)}^{\alpha -1}\right]cos\left(\overline{x}\left(s\right)\right)ds.$$

It is easy to check that, for $q=1$ and $\mathfrak{s}=1$, under the assumptions of Theorem 3, the integral Equation (41) has a unique solution, such that $\overline{x}\left(t\right)=\overline{T}\overline{x}\left(t\right)=\frac{t}{3}$.

Further, we shall use the iteration method to underline the validity of our approaches

$${\overline{x}}_{n+1}\left(t\right)={\int }_0^1\left[{\left(t(1-s)\right)}^{\alpha -1}-{(t-s)}^{\alpha -1}\right]cos\left({\overline{x}}_n\left(s\right)\right)ds.$$

Let $\alpha \in (1,2)$. Then, we consider $\alpha =1.5$ and ${\overline{x}}_0\left(t\right)=0$ as starting point. Table 1 show that for $t=0.1$ the sequence ${\overline{x}}_{n+1}\left(t\right)={\int }_0^1\left[{\left(t(1-s)\right)}^{\alpha -1}-{(t-s)}^{\alpha -1}\right]cos\left({\overline{x}}_n\left(s\right)\right)ds$ converge to the exact solution $\overline{x}\left(0.1\right)=\overline{T}\left(\overline{x}\left(0.1\right)\right)=0.033$.

Table 1. For $t=0.1$ exact solution is $\overline{x}\left(0.1\right)=0.033$.

n	${\overline{\mathit{x}}}_{\mathit{n}+1}\left(0.1\right)$	Approximate Solution	Absolute Error
0	${\overline{x}}_1\left(0.1\right)$	0.0308	$2.5\ast {10}^{-3}$
1	${\overline{x}}_2\left(0.1\right)$	0.0307	$2.6\ast {10}^{-3}$
2	${\overline{x}}_3\left(0.1\right)$	0.0307	$2.6\ast {10}^{-3}$

Using Python, a well known scientific computer program, in order to obtain the interpolated graphs of nonlinear integral equation for two cases, $t=0.1$ and $t=0.9$, we get the following interpolated graphs, Figure 1 respectively, Figure 2.

Figure 1. Interpolated graph for t = 0.1.

Figure 2. Interpolated graph for t = 0.9.

5. Conclusions

In this manuscript, among other things, using one theorem from the fixed point theory, we prove the following:

• One type of Caputo fractional differential equation has at least one solution.
• A special integral equation created in mechanical engineering has a solution.