Theory and Modern Applications

# A study of symmetric contractions with an application to generalized fractional differential equations

## Abstract

This article proposes four distinct kinds of symmetric contraction in the framework of complete F-metric spaces. We examine the condition to guarantee the existence and uniqueness of a fixed point for these contractions. As an application, we look for the solutions to fractional boundary value problems involving a generalized fractional derivative known as the fractional derivative with respect to another function.

## 1 Introduction

Among the most interesting and published research topics in the last few decades, we can count the metric fixed-point theory, see, e.g., , and fractional differential/integral equations, see, e.g., . In , the authors considered certain fractional and ordinary differential equations and provided solutions by using the metric fixed-point theory techniques. In this paper, we follows the same direction as in  and propose solutions for certain fractional differential equations which are based on the new fixed-point theory approaches.

One of the interesting approaches was introduced in , where the authors initiated the idea of interpolative-type contractions and established brand new fixed-point results; see also . It is worth mentioning that the abstract space structure is as important as the conditions of the contraction in the fixed-point theory. One of the recent exciting results in this direction was introduced by Jleli and Samet , who gave a new extension of a metric notion called $$\mathcal{F}$$-metric space (abbreviated as $$\mathcal{F}$$-MS).

Let $$\mathcal{F}$$ be a set of functions $$f:(0,+\infty )\rightarrow (-\infty ,+\infty )$$ such that

$$(\mathcal{F} _{1})$$:

f is nondecreasing, that is, for all $$0< c< d$$, we have $$f ( c ) \leq f ( d )$$;

$$(\mathcal{F}_{2})$$:

for each sequence $$\{d_{n}\}\subset (0,+\infty )$$, we have

$$\lim_{n\rightarrow +\infty }d_{n}=0\quad \text{if and only if}\quad \lim_{n \rightarrow +\infty }f(d_{n})=-\infty .$$

### Definition 1.1

()

Let $$A\neq \emptyset$$ with $$D:A\times A\rightarrow [ 0,+\infty )$$ be a given mapping. Suppose there exists $$( f,\mu ) \in \mathcal{F} \times [ 0,+\infty )$$ such that

$$(D_{1})$$:

$$( w,\upsilon ) \in A\times A$$, $$D ( w,\upsilon ) =0\iff w=\upsilon$$;

$$(D_{2})$$:

$$D ( w,\upsilon ) =D ( \upsilon ,w )$$ for all $$( w,\upsilon ) \in A\times A$$;

$$(D_{3})$$:

For every $$( w,\upsilon ) \in A\times A$$, for each natural number $$N\geq 2$$, and for every $$(u_{i})_{i=1}^{N}\subset A$$ with $$(u_{1},u_{N})= ( w,\upsilon )$$, we have that

$$D ( w,\upsilon ) >0\quad \text{implies}\quad f \bigl(D ( w,\upsilon ) \bigr) \leq f \Biggl( \sum_{i=1}^{N-1}d(u_{i},u_{i+1}) \Biggr)+\mu .$$

Then, D is said to be an $$\mathcal{F}$$-metric on A.

Here, the pair $$(A, D)$$ is called an $$\mathcal{F}$$-MS.

A sequence $$\{w_{n}\}$$ in $$(A, D)$$ is $$\mathcal{F}$$-Cauchy if $$\lim_{n,m\rightarrow \infty }D(w_{n},w_{m})=0$$. Furthermore, $$(A,D)$$ is $$\mathcal{F}$$-complete if every $$\mathcal{F}$$-Cauchy sequence is $$\mathcal{F}$$-convergent in A.

The following example was stated in .

### Example 1.2

The set of natural numbers $$\mathbb{N}=X$$ is an $$\mathcal{F}$$-MS if we define D by

$$D ( w,\upsilon ) = \textstyle\begin{cases} ( w-\upsilon ) ^{2},&\text{if } ( w,\upsilon ) \in [ 0,3 ] \times [ 0,3 ], \\ \vert w-\upsilon \vert ,&\text{if } ( w,\upsilon ) \notin [ 0,3 ] \times [ 0,3 ] ,\end{cases}$$

for all $$( w,\upsilon ) \in A\times A$$, $$f(t)=\ln ( t )$$ and $$\mu =\ln ( 3 )$$. Notice that D is not a metric but $$(X,D)$$ is an $$\mathcal{F}$$-MS.

Jleli and Samet  proposed a simple fixed-point theorem as follows.

### Theorem 1.3

()

Let $$(A,D)$$ be an $$\mathcal{F}$$-MS. Let $$g:A\rightarrow A$$ be a self mapping. Suppose the following conditions are met:

1. (i)

$$(A,D)$$ is $$\mathcal{F}$$-complete;

2. (ii)

there exists a constant $$k\in (0,1)$$ such that

$$D \bigl(g(w),g(\upsilon ) \bigr)\leq kD(w,\upsilon ),\quad (w,\upsilon ) \in A \times A.$$

Then, g attains a unique fixed point $$w^{\ast }\in A$$.

In 2012, Samet et al. introduced a class of α-admissible mappings as follows:

### Definition 1.4

()

Let $$T:A\rightarrow A$$ and $$\alpha :A\times A\rightarrow [ 0,+\infty )$$. Then T is said to be α-admissible if $$w,\upsilon \in A$$, $$\alpha (w,\upsilon )\geq 1$$ implies that $$\alpha (Tw,T\upsilon )\geq 1$$.

Next, Salimi et al.  modified the concept of α-admissible mappings as follows:

### Definition 1.5

()

Let $$T:A\rightarrow A$$ and $$\alpha ,\eta :A\times A\rightarrow [ 0,+\infty )$$ two functions. Then T is called an α-admissible mapping with respect to η if $$w,\upsilon \in A$$, $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ implies that $$\alpha (Tw,T\upsilon )\geq \eta (Tw,T\upsilon )$$.

### Definition 1.6

()

Consider a metric space $$(A,d)$$, a mapping $$T:A\rightarrow A$$, and let $$\alpha ,\eta :A\times A\rightarrow [0, \infty )$$ be two functions. Then the mapping T is called an αη-continuous mapping in $$(A,d)$$ whenever given $$w\in A$$ and a sequence $$\{ w_{n} \}$$ with

$$w_{n}\rightarrow w\quad \text{at }\infty ,\qquad \alpha (w_{n},w_{n+1}) \geq \eta (w_{n},w_{n+1}), \quad \forall n\in \mathbb{N} \quad \text{implies}\quad Tw_{n} \rightarrow Tw.$$

For more details, see, e.g., [36, 37].

A mapping $$T:A\rightarrow A$$ is called orbitally continuous at $$v\in A$$ if $$\lim_{n\rightarrow \infty }T^{n}w=v$$ implies that $$\lim_{n\rightarrow \infty }T^{n}w=Tv$$. A mapping T is orbitally continuous on A if T is orbitally continuous $$\forall v\in A$$.

## 2 Main results

In this part, we firstly present a new symmetric fractional αη-contraction of type I.

### Definition 2.1

Let $$T:A\rightarrow A$$ be a mapping on an $$\mathcal{F}$$-metric space $$(A,D)$$ and consider two functions $$\alpha ,\eta :A\times A \rightarrow {}[ 0,+\infty )$$. We say that T is a symmetric fractional αη-contraction of type I along with constants $$\lambda \in {}[ 0,1)$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ if, whenever $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$, we have

$$D(Tw,T\upsilon )\leq \lambda \bigl(\check{S}_{1}(w,\upsilon ) \bigr),$$
(2.1)

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w, \upsilon )\cdot \bigl[ D(w,Tw) \bigr] ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D(\upsilon ,T \upsilon ) \bigr] ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot \bigl[D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$.

### Example 2.2

Let $$A= \{ 0,1,2,3 \}$$ be endowed with an $$\mathcal{F}$$-metric D defined by

$$D(w,\upsilon )= \textstyle\begin{cases} ( w-\upsilon ) ^{2},&\text{if }(w,\upsilon )\in A\times A, \\ \vert w-\upsilon \vert ,&\text{if }(w,\upsilon )\notin A \times A.\end{cases}$$

Consider $$f(t)=\ln ( t )$$ and $$\mu =\ln ( 3 )$$. Define $$T:A\rightarrow A$$ by

$$T0=0,\qquad T1=1,\qquad T2=T3=0,$$

and $$\alpha ,\eta :A\times A\rightarrow [ 0,+\infty )$$ by

$$\alpha (w,\upsilon )= \textstyle\begin{cases} 1,&\text{if }w,\upsilon \in A, \\ 0,&\text{otherwise},\end{cases}\displaystyle \qquad \eta (w,\upsilon )= \textstyle\begin{cases} \frac{1}{2},&\text{if }w,\upsilon \in A, \\ 0,&\text{otherwise},\end{cases}$$

if $$w,\upsilon \in A$$. Clearly, $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ and

\begin{aligned} D ( T2,T3 ) &=0 \\ &\leq \lambda \bigl[D ( 2,3 )\cdot D ( 2,T2 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D (3,T3 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl(D ( 2,T2 ) +D ( 3,T3 ) \bigr)^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \bigl(D ( 2,T3 ) +D ( 3,T2 ) \bigr)^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \bigl[ 1\cdot D ( 2,0 )^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} D ( 3,0 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \bigl(D ( 2,0 ) +D(3,0) \bigr)^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot \bigl(D ( 2,0 ) +D ( 3,0 ) \bigr)^{\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \bigl[ ( 4 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot ( 9 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot (4+9)^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}}\cdot (4+9)^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda \bigl[ ( 4 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \cdot ( 9 ) ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \cdot (4\cdot 9)^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot (4\cdot 9)^{\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \bigl[ ( 4 ) \cdot ( 9 ) \bigr] ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}+\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}=\lambda . \end{aligned}

Clearly, (2.1) holds for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$, if one takes any values of the constants $$\lambda \in [ 0,1)$$, $$\beta ,\hat{w},\gamma \in ( 0,1 )$$. Note that T has two fixed points, which are 0 and 1.

Now, we state brand new fixed-point theorems for symmetric fractional αη-contraction of type I in an $$\mathcal{F}$$-complete $$\mathcal{F}$$-MS setting.

### Theorem 2.3

Let $$(A,D)$$ be a complete $$\mathcal{F}$$-metric space and T be a symmetric fractional α–η-contraction of type I satisfying the following:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

T is α–η-continuous.

Then, T possesses a fixed point at A.

### Proof

Let $$w_{0}$$ be in A such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$. For $$w_{0}\in A$$, we build a sequence $$\{ w_{n} \} _{n=1}^{\infty }$$ in such a way that $$w_{1}=Tw_{0}$$, $$w_{2}=Tw_{1}=T^{2}w_{0}$$. Proceeding like this, we obtain $$w_{n+1}=Tw_{n}=T^{n+1}w_{0}$$, for every $$n\in \mathbb{N}$$. Now, since the mapping T is α-admissible with respect to η, we have $$\alpha (w_{0},w_{1})=\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})= \eta (w_{0},w_{1})$$. Carrying on this way, we get

$$\alpha (w_{n-1},w_{n})\geq \eta (w_{n-1},w_{n})= \eta (w_{n-1},Tw_{n-1}),\quad \text{for all }n\in \mathbb{N}.$$
(2.2)

If $$w_{n+1}=w_{n}$$ for some $$n\in \mathbb{N}$$ then $$w_{n}=w^{\ast }$$ is a fixed point of T. So, we assume that $$w_{n}\neq w_{n+1}$$, accompanied by

$$D(Tw_{n-1},Tw_{n})=D(w_{n},Tw_{n})>0, \quad \text{for all }n \in \mathbb{N}.$$

As T is a symmetric fractional αη-contraction of type I, for $$n\in \mathbb{N}$$, we have

\begin{aligned} D(w_{n},w_{n+1}) &=D(Tw_{n-1},Tw_{n}) \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},Tw_{n-1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot D(w_{n},Tw_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[D(w_{n-1},Tw_{n-1})+D(w_{n},Tw_{n}) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},Tw_{n})+D(w_{n},Tw_{n-1}) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n+1})+D(w_{n},w_{n}) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})\cdot D(w_{n},w_{n+1}) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda D(w_{n-1},w_{n})^{1+ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}+\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \\ &\quad {} \cdot D(w_{n},w_{n+1})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}+ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \\ &=\lambda D(w_{n-1},w_{n}). \end{aligned}

We deduce that

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n})$$
(2.3)

and $$\{ D(w_{n-1},w_{n}) \}$$ is a nonincreasing sequence with nonnegative terms. Thus, there is a nonnegative constant ϱ such that $$\lim_{n\rightarrow \infty }D(w_{n-1},w_{n})=\varrho$$. Note that $$\varrho \geq 0$$. From (2.3), we have

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}) \leq \lambda ^{n}D(w_{0},w_{1}),$$

which provides that

$$\sum_{i=n}^{m-1}D(w_{i},w_{i+1}) \leq \frac{\lambda ^{n}}{1-\lambda }D(w_{0},w_{1}), \quad m>n.$$

In the limit we reach

$$\lim_{n\rightarrow +\infty }\frac{\lambda ^{n}}{1-\lambda }D(w_{0},w_{1})=0,$$

that is, there exists some $$N\in \mathbb{N}$$ such that

$$0< \frac{\lambda ^{n}}{1-\lambda }D(w_{0},w_{1})< \delta , \quad n\geq N.$$

Let $$\epsilon >0$$ be fixed, $$( f,\mu ) \in \mathcal{F}\times [ 0,\infty )$$, and let $$(D_{3})$$ be satisfied. By $$(\mathcal{F}_{2})$$, there exists $$\delta >0$$ such that

$$0< t< \delta \quad \text{implies}\quad f ( t ) < f ( \epsilon ) -\mu .$$
(2.4)

Hence by (2.4) and $$(\mathcal{F}_{1})$$, we get

$$f \Biggl( \sum_{i=n}^{m-1}D(w_{i},w_{i+1}) \Biggr) \leq f \biggl( \frac{\lambda ^{n}}{1-\lambda }D(w_{0},w_{1}) \biggr) < f ( \epsilon ) -\mu ,$$
(2.5)

where $$m,n\in \mathbb{N}$$ with $$m>n\geq N$$ and $$D(w_{n},w_{m})>0$$. Therefore, by using $$(D_{3})$$ and (2.5), we have

$$f \bigl( D(w_{m},w_{n}) \bigr) \leq f \Biggl( \sum _{i=n}^{m-1} \bigl( D(w_{i},w_{i+1}) \bigr) \Biggr) +\mu < f ( \epsilon ) ,$$

which by $$(\mathcal{F}_{1})$$ implies

$$D(w_{m},w_{n})< \epsilon ,\quad \text{for }m>n\geq N.$$

Consequently, $$\{w_{n}\}$$ is an $$\mathcal{F}$$-Cauchy sequence. Since $$( A,D )$$ is an $$\mathcal{F}$$-complete metric space, there exists an $$w^{\ast }\in A$$ such that $$w_{n}$$ is $$\mathcal{F}$$-convergent to $$w^{\ast }$$, i.e.,

$$\lim_{n\rightarrow \infty }D \bigl(w_{n},w^{\ast } \bigr)=0.$$
(2.6)

Now T is αη-continuous, $$\alpha (w_{n-1},w_{n})\geq \eta (w_{n-1},w_{n})$$, for each $$n\in \mathbb{N}$$, and so $$w_{n+1}=Tw_{n}\rightarrow Tw^{\ast }$$ as $$n\rightarrow \infty$$, in other words, $$w^{\ast }=Tw^{\ast }$$. Now we are going to prove that $$w^{\ast }$$ is a fixed point of T. We argue by contradiction by supposing that $$D(Tw^{\ast },w^{\ast })>0$$. By $$(D_{3})$$, we have

$$f \bigl(D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr)\leq f \bigl( D \bigl(Tw^{\ast },Tw_{n} \bigr)+D \bigl(Tw_{n},w^{ \ast } \bigr) \bigr) +\mu ,\quad n\in \mathbb{N} .$$

Using $$(\mathcal{F}_{1})$$ and the contractivity condition gives

\begin{aligned} f \bigl(D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq& f\left ( \lambda \left( \begin{aligned} &D\bigl(w^{\ast },w_{n} \bigr)\cdot D\bigl(Tw^{\ast },w^{\ast }\bigr)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},Tw_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot {}\bigl[ D\bigl(Tw^{\ast },w^{\ast } \bigr)+D(w_{n},Tw_{n})\bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {}\cdot {}\bigl[ D\bigl(Tw_{n},w^{\ast }\bigr)+D \bigl(w_{n},Tw^{\ast }\bigr)\bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}+D \bigl(w_{n+1},w^{\ast }\bigr)\end{aligned} \right) \right ) \\ &{}+\mu , \end{aligned}

for all $$n\in \mathbb{N}$$. On the other hand, by using $$(\mathcal{F}_{2})$$ and (2.6), we get

$$\lim_{n\rightarrow \infty }f \bigl( \lambda D \bigl(w^{\ast },w_{n} \bigr)+D \bigl(w_{n+1},w^{ \ast } \bigr) \bigr) +\mu =-\infty ,$$

which gives a contradiction. Therefore, $$D(Tw^{\ast },w^{\ast })=0$$, and hence $$w^{\ast }$$ possesses a fixed point of T. □

### Theorem 2.4

Let $$(A,D)$$ be an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space and T be symmetric fractional α–η-contraction of type I fulfilling the following conditions:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A such that $$\alpha (w_{n},w_{n+1})\geq \eta (w_{n},w_{n+1})$$ with $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$ and that $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ holds for each $$n\in \mathbb{N}$$.

Then, T possesses a fixed point in A.

### Proof

Along the lines of the proof of Theorem 2.3, we acquire $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ each $$n\in \mathbb{N}$$. Using $$(D_{3})$$, we have

$$f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(Tw^{\ast },Tw_{n} \bigr)+D \bigl(w_{n},w^{ \ast } \bigr) \bigr) +\mu .$$

From (2.1) and $$(\mathcal{F} _{1})$$, we have

\begin{aligned} f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq &f \bigl( \bigl( D \bigl(Tw^{ \ast },Tw_{n} \bigr) \bigr) +D \bigl(Tw_{n},w^{\ast } \bigr) \bigr) +\mu \\ \leq &f\left ( \lambda \left(\begin{aligned} &D\bigl(w^{\ast },w_{n} \bigr)\cdot D\bigl(Tw^{\ast },w^{\ast }\bigr)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},Tw_{n})^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw^{\ast },w^{\ast } \bigr)+D(w_{n},Tw_{n})\bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw_{n},w^{\ast }\bigr)+D \bigl(w_{n},Tw^{\ast }\bigr)\bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}+D \bigl(w_{n+1},w^{\ast }\bigr)\end{aligned} \right) \right ) \\ &{}+\mu . \end{aligned}

Employing (2.6) and

$$\lim_{n\rightarrow \infty }D \bigl(w_{n},w^{\ast } \bigr)=0, \quad \text{together with}\quad \lim_{n\rightarrow \infty }D \bigl(w_{n+1},w^{\ast } \bigr)=0,$$

we obtain

$$f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(w^{\ast },Tw^{ \ast } \bigr) \bigr) +\mu .$$

Making use of $$(\mathcal{F} _{2})$$, we find that

$$\lim_{n\rightarrow \infty }f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) + \mu =-\infty ,$$

which is a contradiction. Therefore $$D(w^{\ast },Tw^{\ast })=0$$. In other words, $$w^{\ast }$$ is a fixed point of T. □

### Example 2.5

Consider $$A=\mathbb{R\supset \mathbb{N} }$$ with an $$\mathcal{F}$$-metric $$D:A\times A\rightarrow {}[ 0,\infty )$$ defined by

$$D ( w,\upsilon ) = \textstyle\begin{cases} ( w-\upsilon ) ^{2},&\text{if } ( w,\upsilon ) \in \mathbb{N}\times \mathbb{N}, \\ \vert w-\upsilon \vert ,&\text{if } ( w,\upsilon ) \notin \mathbb{N}\times \mathbb{N},\end{cases}$$

accompanied by $$f(t)=\ln ( t )$$ and $$\mu =\ln ( 100 )$$. Define $$T:A\rightarrow A$$ by

$$Tw= \textstyle\begin{cases} 1-\frac{w}{2},&\text{if }w\in \mathbb{N}, \\ 0,&\text{if }w\notin \mathbb{N},\end{cases}$$

and $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$ by

$$\alpha ( w,\upsilon ) = \textstyle\begin{cases} 2,&\text{if }w,\upsilon \in {}[ 0,\infty ), \\ 0,&\text{otherwise, }\end{cases}\displaystyle \qquad \eta ( w,\upsilon ) = \textstyle\begin{cases} 1,&\text{if }w,\upsilon \in {}[ 0,\infty ), \\ 0,&\text{otherwise. }\end{cases}$$

Case I. If $$w=\upsilon$$ then, clearly, $$D ( w,\upsilon ) =0$$. Hence all conditions of Theorem 2.3 are satisfied.

Case II. If w, υ are in $$\mathbb{N}$$, but $$Tw\notin \mathbb{N}$$, $$T\upsilon \notin \mathbb{N}$$, then

$$D ( Tw,T\upsilon ) =D \biggl(1-\frac{w}{2},1-\frac{\upsilon }{2} \biggr)= \biggl[ \frac{1}{2} \vert w-\upsilon \vert \biggr] .$$

Clearly, T is an α-admissible mapping with respect to η, whenever $$\alpha ( w,\upsilon ) \geq \eta ( w,\upsilon )$$, so that

D ( Tw,T\upsilon ) =\frac{1}{2} \vert w-\upsilon \vert \leq \lambda \left[\begin{aligned} & ( \upsilon -w ) ^{2}\cdot \biggl\vert \frac{3}{2}w-1 \biggr\vert ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \biggl\vert \frac{3}{2}\upsilon -1 \biggr\vert ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad{}\cdot \biggl( \biggl\vert \frac{3}{2}w-1 \biggr\vert + \biggl\vert \frac{3}{2}\upsilon -1 \biggr\vert \biggr) ^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {}\cdot \biggl( \biggl\vert w-\frac{1}{2}\upsilon \biggr\vert + \biggl\vert \upsilon -\frac{1}{2}w \biggr\vert \biggr) ^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned} \right],

by taking constants $$\lambda \in [ 0,1)$$, and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$, for all $$w,\upsilon \in \mathbb{N} \backslash \operatorname{Fix}(T)$$.

Case III. When both w, υ are not in $$\mathbb{N}$$, we obtain

$$D ( Tw,T\upsilon ) =0,$$

and then, clearly, T is α-admissible mapping with respect to η, whenever $$\alpha ( w,\upsilon ) \geq \eta ( w,\upsilon )$$, so that

$$D ( Tw,T\upsilon ) =0\leq \lambda \bigl[ \vert w- \upsilon \vert \cdot \vert w \vert ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \vert \upsilon \vert ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl( \vert w \vert + \vert \upsilon \vert \bigr) ^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] ,$$

where $$\lambda \in [ 0,1)$$, and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$, for all $$w,\upsilon \in \mathbb{N} \backslash \operatorname{Fix}(T)$$.

Case IV. If one of w, v is in $$\mathbb{N}$$ and the other is not in $$\mathbb{N}$$, we obtain

$$D ( Tw,T\upsilon ) =D \biggl(1-\frac{w}{2},0 \biggr)= \biggl\vert 1- \frac{w}{2} \biggr\vert .$$

Clearly, T is α-admissible mapping with respect to η, whenever $$\alpha ( w,\upsilon ) \geq \eta ( w,\upsilon )$$, so that

D ( Tw,T\upsilon ) = \biggl\vert 1-\frac{w}{2} \biggr\vert \leq \lambda \left[\begin{aligned} & \vert w-\upsilon \vert \cdot \biggl\vert \frac{3}{2}w-1 \biggr\vert ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \vert \upsilon \vert ^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot \biggl( \biggl\vert \frac{3}{2}w-1 \biggr\vert + \vert \upsilon \vert \biggr) ^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot \biggl( \vert w \vert + \biggl\vert \upsilon +\frac{1}{2}w-1 \biggr\vert \biggr) ^{\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned} \right].

Therefore, all conditions of Theorem 2.3 are satisfied. Hence T is a symmetric fractional αη-contraction of type I.

### Definition 2.6

Let $$(A,D)$$ be an $$\mathcal{F}$$-metric space $$(A,D)$$ and $$\alpha ,\eta :A\times A\rightarrow [ 0,+\infty )$$ two functions. Then $$\mathcal{F}$$ is said to be αη-complete on A if and only if every $$\mathcal{F}$$-Cauchy sequence $$\{ w_{n} \}$$, satisfying

$$\alpha (w_{n},w_{n+1})\geq \eta (w_{n},w_{n+1})\quad \text{for each }n\in \mathbb{N} ,$$

$$\mathcal{F}$$-converges in A.

### Remark 2.7

Theorems 2.3 and 2.4 also hold for an αη-complete $$\mathcal{F}$$-metric space instead of $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space (for details, see ).

## 3 Symmetric fractional α–η-contraction of type II

In this section, a symmetric fractional αη-contraction of type II is introduced in the setting of an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space. Using this notion, we shall provide a fixed point theorem.

### Definition 3.1

Consider a self-mapping $$T:A\rightarrow A$$ on an $$\mathcal{F}$$-metric space $$(A,D)$$ and let two functions $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$ be given. We say that T is a symmetric fractional αη-contraction of type II provided there are constants $$\lambda \in {}[ 0,1)$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that, whenever $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$, we have

$$D(Tw,T\upsilon )\leq \lambda \bigl(\check{S}_{2}(w,\upsilon ) \bigr),$$
(3.1)

where

\check{S}_{2}(w,\upsilon )= \left\{ \begin{aligned} &D(w, \upsilon )\cdot \bigl[ D(w,Tw) \bigr] ^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D(\upsilon ,T \upsilon ) \bigr] ^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot {} \bigl[ D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned} \right\} ,

for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$.

Now we show and demonstrate our next theorem.

### Theorem 3.2

Let $$(A,D)$$ be an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space and T be a symmetric fractional α–η-contraction of type II fulfilling the following conditions:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

T is α–η-continuous.

Then, T possesses a fixed point in A.

### Proof

Let $$w_{0}$$ in A be sucht that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$. For this $$w_{0}\in A$$, we build a sequence $$\{ w_{n} \} _{n=1}^{\infty }$$ in such a way that $$w_{1}=Tw_{0}$$, $$w_{2}=Tw_{1}=T^{2}w_{0}$$. Proceeding this way, $$w_{n+1}=Tw_{n}=T^{n+1}w_{0}$$, for all $$n\in \mathbb{N}$$. Since the mapping T is α-admissible with respect to η, $$\alpha (w_{0},w_{1})=\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})= \eta (w_{0},w_{1})$$. Carrying on in this way, we obtain

$$\alpha (w_{n-1},w_{n})\geq \eta (w_{n-1},w_{n})= \eta (w_{n-1},Tw_{n-1}),\quad \text{for all }n\in \mathbb{N} .$$
(3.2)

If $$w_{n+1}=w_{n}$$ for some $$n\in \mathbb{N}$$ then $$w_{n}=w^{\ast }$$ is a fixed point of T. So, we assume that $$w_{n}\neq w_{n+1}$$ and that

$$D(Tw_{n-1},Tw_{n})=D(w_{n},Tw_{n})>0,\quad \text{for every }n \in \mathbb{N} .$$

As T is a symmetric fractional αη-contraction of type II, for each $$n\in \mathbb{N}$$, we get

\begin{aligned} D(w_{n},w_{n+1}) &=D(Tw_{n-1},Tw_{n}) \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},Tw_{n-1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot D(w_{n},Tw_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \cdot \bigl[D(w_{n-1},Tw_{n-1})+D(w_{n},Tw_{n}) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},Tw_{n})+D(w_{n},Tw_{n-1}) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ & \quad {}\cdot {} \bigl[ D(w_{n-1},w_{n+1})+D(w_{n},w_{n}) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})\cdot D(w_{n-1},w_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},w_{n+1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ & \quad {}\cdot \bigl[D(w_{n-1},w_{n})\cdot D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {}[ D(w_{n-1},w_{n})^{1+ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}+ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \\ &\quad {} \cdot D(w_{n},w_{n+1})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}+ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \\ &=\lambda D(w_{n-1},w_{n}) \end{aligned}

and deduce

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}).$$
(3.3)

We conclude that $$\{ D(w_{n-1},w_{n}) \}$$ is a nonincreasing sequence with nonnegative terms. As a result, there is a nonnegative constant ρ such that $$\lim_{n\rightarrow \infty }D(w_{n-1},w_{n})=\rho$$. We shall show that $$\rho >0$$. Indeed, from (3.3), we derive that

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}) \leq \lambda ^{n}D(w_{0},w_{1}).$$
(3.4)

The rest of the proof follows along the same lines as the proof of Theorem 2.3. □

### Theorem 3.3

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type II satisfying the following conditions:

1. (i)

T is an α-admissible mapping with respect to η;

2. (ii)

there exists an $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A such that $$\alpha (w_{n},w_{n+1})\geq \eta (w_{n},w_{n+1})$$, $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$, and $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ holds for each $$n\in \mathbb{N}$$.

Then, T possesses a fixed point in A.

### Proof

We follow the lines of the proof of Theorem 2.4. Since, by (iii), $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ holds for every $$n\in \mathbb{N}$$, using $$(D_{3})$$, we get

$$f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(Tw^{\ast },Tw_{n} \bigr)+D \bigl(w_{n},w^{ \ast } \bigr) \bigr) +\mu .$$

From (3.1) and $$(\mathcal{F} _{1})$$, we have

\begin{aligned} f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq &f \bigl( \bigl( D \bigl(Tw^{ \ast },Tw_{n} \bigr) \bigr) +D \bigl(Tw_{n},w^{\ast } \bigr) \bigr) +\mu \\ \leq &f\left ( \lambda \left(\begin{aligned} &D\bigl(w^{\ast },w_{n} \bigr)\cdot D\bigl(Tw^{\ast },w^{\ast }\bigr)^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},Tw_{n})^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw^{\ast },w^{\ast } \bigr)+D(w_{n},Tw_{n})\bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw_{n},w^{\ast }\bigr)+D \bigl(w_{n},Tw^{\ast }\bigr)\bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}+D \bigl(w_{n+1},w^{\ast }\bigr)\end{aligned} \right) \right ) \\ &{}+\mu . \end{aligned}

Making use of (2.6) and that

$$\lim_{n\rightarrow \infty }D \bigl(w_{n},w^{\ast } \bigr)=0\quad \text{together}\quad \lim_{n\rightarrow \infty }D \bigl(w_{n+1},w^{\ast } \bigr)=0,$$

we obtain

$$f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(w^{\ast },Tw^{ \ast } \bigr) \bigr) +\mu .$$

Using $$(\mathcal{F} _{2})$$, we have

$$\lim_{n\rightarrow \infty }f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) + \mu =-\infty ,$$

which is a logical inconsistency. Hence $$D(w^{\ast },Tw^{\ast })=0$$, that is, $$w^{\ast }$$ is a fixed point of T. □

## 4 Symmetric fractional α–η-contraction of type III

In this section, a symmetric fractional αη-contraction of type III is considered in the setting of an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space. Before stating a fixed-point theorem for such maps, we define a symmetric fractional αη-contraction of type III as follows:

### Definition 4.1

Let $$(A,D)$$ be an $$\mathcal{F}$$-metric space with a self-mapping $$T:A\rightarrow A$$ and two functions $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$. We say that T is a symmetric fractional αη-contraction of type III if there are constants $$\lambda \in {}[ 0,1)$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that, whenever $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$, we have

$$D(Tw,T\upsilon )\leq \lambda \bigl(\check{S}_{3}(w,\upsilon ) \bigr),$$
(4.1)

where

\check{S}_{3}(w,\upsilon )=\lambda \max \left\{ \begin{aligned} &D(w,\upsilon ), \bigl[ D(w,Tw) \bigr] ^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D(\upsilon ,T\upsilon ) \bigr] ^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\hphantom{D(w,\upsilon ),}\quad {}\cdot {} \bigl[ D(w,Tw)+D( \upsilon ,T\upsilon ) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\hphantom{D(w,\upsilon ),}\quad {}\cdot {} \bigl[ D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned} \right\} ,

for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$.

Now we state and prove our next theorem.

### Theorem 4.2

Let $$(A,D)$$ be an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space and consider a symmetric fractional α–η-contraction T of type III that satisfies the following conditions:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exist a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

T is α–η-continuous.

Then, T possesses a fixed point in A.

### Proof

Let $$w_{0}$$ in A be such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$. Using this $$w_{0}\in A$$, we define $$\{ w_{n} \} _{n=1}^{\infty }$$ in such a way that $$w_{1}=Tw_{0}$$, $$w_{2}=Tw_{1}=T^{2}w_{0}$$. Continuing this way, we get $$w_{n+1}=Tw_{n}=T^{n+1}w_{0}$$, for every $$n\in \mathbb{N}$$. Since the mapping T is α-admissible with respect to η, $$\alpha (w_{0},w_{1})=\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})= \eta (w_{0},w_{1})$$. Carrying on in this way, we find

$$\alpha (w_{n-1},w_{n})\geq \eta (w_{n-1},w_{n})= \eta (w_{n-1},Tw_{n-1}),\quad \text{for all }n\in \mathbb{N} .$$
(4.2)

If $$w_{n+1}=w_{n}$$ for some $$n\in \mathbb{N}$$ then $$w_{n}=w^{\ast }$$ is a fixed point of T. So, we assume that $$w_{n}\neq w_{n+1}$$ and that

$$D(Tw_{n-1},Tw_{n})=D(w_{n},Tw_{n})>0,\quad \text{for each }n \in \mathbb{N} .$$

As T is a symmetric fractional αη-contraction of type III, for any $$n\in \mathbb{N}$$, we get

\begin{aligned} D(w_{n},w_{n+1}) &=D(Tw_{n-1},Tw_{n}) \\ &\leq \lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},Tw_{n-1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot D(w_{n},Tw_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},Tw_{n-1})+D(w_{n},Tw_{n}) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},Tw_{n})+D(w_{n},Tw_{n-1}) \bigr]^{ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},w_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n+1})+D(w_{n},w_{n}) \bigr]^{ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},w_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},w_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},w_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})\cdot D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \max \bigl[D(w_{n-1},w_{n}),D(w_{n-1},w_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}+ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+\frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \\ &\quad {} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}+\frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \max \bigl\{ D(w_{n-1},w_{n}),D(w_{n},w_{n+1}) \bigr\} . \end{aligned}

If $$\max \{ D(w_{n},w_{n+1}),D(w_{n-1},w_{n}) \} =D(w_{n},w_{n+1})$$ then

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n},w_{n+1}),$$

which is a contradiction. Thus we deduce that

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}),$$
(4.3)

and conclude that $$\{ D(w_{n-1},w_{n}) \}$$ is a nonincreasing sequence with nonnegative terms. So there is a nonnegative constant ρ such that $$\lim_{n\rightarrow \infty }D(w_{n-1},w_{n})=\rho$$. We shall establish that $$\rho >0$$. Indeed, from (4.3), we derive that

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}) \leq \lambda ^{n}D(w_{0},w_{1}).$$
(4.4)

The rest of the argument follows the lines of the proof of Theorem 2.3. □

### Theorem 4.3

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type III satisfying the following conditions:

1. (i)

T is an α-admissible mapping with respect to η;

2. (ii)

there exists an $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A such that $$\alpha (w_{n},w_{n+1})\geq \eta (w_{n},w_{n+1})$$, $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$, and that $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ holds for each $$n\in \mathbb{N}$$.

Then T possesses a fixed point in A.

### Proof

Much as in the proof of Theorem 2.4, considering (iii), we have $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ for all $$n\in \mathbb{N}$$. By $$(D_{3})$$, we obtain

$$f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(Tw^{\ast },Tw_{n} \bigr)+D \bigl(w_{n},w^{ \ast } \bigr) \bigr) +\mu .$$

Using (3.1) along with $$(\mathcal{F} _{1})$$, we have

\begin{aligned} f \bigl( D \bigl(Tw^{\ast },w^{\ast } \bigr) \bigr) \leq &f \bigl( \bigl( D \bigl(Tw^{ \ast },Tw_{n} \bigr) \bigr) +D \bigl(Tw_{n},w^{\ast } \bigr) \bigr) +\mu \\ \leq &f\left ( \lambda \left(\begin{aligned} &D\bigl(w^{\ast },w_{n} \bigr),D\bigl(Tw^{\ast },w^{\ast }\bigr)^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(w_{n},Tw_{n})^{ \frac{\beta ^{2}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw^{\ast },w^{\ast } \bigr)+D(w_{n},Tw_{n})\bigr]^{{ \frac{\hat{w}^{2}}{(\hat{w}-\beta )(\hat{w}-\gamma )}}} \\ &\quad {}\cdot \bigl[ D\bigl(Tw_{n},w^{\ast }\bigr)+D \bigl(w_{n},Tw^{\ast }\bigr)\bigr]^{ \frac{\gamma ^{2}}{(\gamma -\beta )(\gamma -\hat{w})}}+D \bigl(w_{n+1},w^{ \ast }\bigr)\end{aligned} \right) \right ) \\ &{}+\mu . \end{aligned}

Using (2.6) implies

$$\lim_{n\rightarrow \infty }D \bigl(w_{n},w^{\ast } \bigr)=0\quad \text{as long as}\quad \lim_{n\rightarrow \infty }D \bigl(w_{n+1},w^{\ast } \bigr)=0,$$

so we obtain

$$f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) \leq f \bigl( D \bigl(w^{\ast },Tw^{ \ast } \bigr) \bigr) +\mu .$$

Utilizing $$(\mathcal{F} _{2})$$, we have

$$\lim_{n\rightarrow \infty }f \bigl( D \bigl(w^{\ast },Tw^{\ast } \bigr) \bigr) + \mu =-\infty ,$$

which is a logical inconsistency. Hence $$D(w^{\ast },Tw^{\ast })=0$$, that is, $$w^{\ast }$$ a fixed point of T. □

## 5 Symmetric fractional α–η-contraction of type IV

In this part, we propose a new notion of symmetric fractional αη-contraction of type IV in the framework of an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space.

### Definition 5.1

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ with a self-mapping $$T:A\rightarrow A$$ and two functions $$\alpha ,\eta :A\times A \rightarrow [ 0,+\infty )$$. We name T a symmetric fractional αη-contraction of type IV if there are constants $$\lambda \in [ 0,1)$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ with $$\beta +\hat{w}+\gamma <1$$ such that, whenever $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$, we have

$$D(Tw,T\upsilon )\leq \lambda \bigl(\check{S}_{4}(w,\upsilon ) \bigr),$$
(5.1)

where

\check{S}_{4}(w,\upsilon )=\lambda \left\{ \begin{aligned} &D(w,\upsilon )^{\frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w,Tw)^{\frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {}\cdot \bigl[ D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned} \right\} ,

for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$.

Now we state and prove our next theorem.

### Theorem 5.2

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ along with a symmetric fractional α–η-contraction T of type IV that satisfies the following conditions:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exist a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

T is α–η-continuous.

Then T possesses a fixed point in A.

### Proof

Let $$w_{0}$$ in A be such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$. For this $$w_{0}\in A$$, we build a sequence $$\{ w_{n} \} _{n=1}^{\infty }$$ in such a way that $$w_{1}=Tw_{0}$$, $$w_{2}=Tw_{1}=T^{2}w_{0}$$. Proceeding this way, $$w_{n+1}=Tw_{n}=T^{n+1}w_{0}$$, for every $$n\in \mathbb{N}$$. Since the mapping T is α-admissible with respect to η, $$\alpha (w_{0},w_{1})=\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})= \eta (w_{0},w_{1})$$. Carrying on in this way, we get

$$\alpha (w_{n-1},w_{n})\geq \eta (w_{n-1},w_{n})= \eta (w_{n-1},Tw_{n-1}),\quad \text{for each }n\in \mathbb{N} .$$
(5.2)

If $$w_{n+1}=w_{n}$$ for some $$n\in \mathbb{N}$$ then $$w_{n}=w^{\ast }$$ is a fixed point of T. So, we assume that $$w_{n}\neq w_{n+1}$$ and

$$D(Tw_{n-1},Tw_{n})=D(w_{n},Tw_{n})>0,\quad \text{for all }n \in \mathbb{N} .$$

As T is a symmetric fractional αη-contraction of type IV, for each $$n\in \mathbb{N}$$, we have

\begin{aligned} D(w_{n},w_{n+1}) &=D(Tw_{n-1},Tw_{n}) \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})^{{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}}} \cdot D(w_{n-1},Tw_{n-1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},Tw_{n-1})+D(w_{n},Tw_{n}) \bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},Tw_{n})+D(w_{n},Tw_{n-1}) \bigr]^{ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w_{n-1},w_{n+1})+D(w_{n},w_{n}) \bigr]^{ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda {} \bigl[ D(w_{n-1},w_{n})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ & \quad {}\cdot {} \bigl[ D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda {} \bigl[ D(w_{n-1},w_{n})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[D(w_{n-1},w_{n})+D(w_{n},w_{n+1}) \bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &\leq \lambda \left[\begin{aligned} &D(w_{n-1},w_{n})^{\frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {}\cdot{}\bigl[ D(w_{n-1},w_{n})\cdot D(w_{n},w_{n+1})\bigr]^{ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}}\end{aligned}\right] \\ &=\lambda \bigl[ D(w_{n-1},w_{n})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}+ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \\ &\quad {} \cdot D(w_{n},w_{n+1})^{ \frac{\beta ^{3}}{(\beta -\hat{w})(\beta -\gamma )}+ \frac{\hat{w}^{3}}{(\hat{w}-\beta )(\hat{w}-\gamma )}+ \frac{\gamma ^{3}}{(\gamma -\beta )(\gamma -\hat{w})}} \bigr] \\ &=\lambda \bigl\{ D(w_{n-1},w_{n})\cdot D(w_{n},w_{n+1}) \bigr\} ^{ \beta +\hat{w}+\gamma } \\ &\leq \lambda \max \bigl\{ D(w_{n-1},w_{n}),D(w_{n},w_{n+1}) \bigr\} . \end{aligned}

If $$\max \{ D(w_{n},w_{n+1}),D(w_{n-1},w_{n}) \} =D(w_{n},w_{n+1})$$ then

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n},w_{n+1}),$$

which is a contradiction. So we deduce that

$$D(w_{n},w_{n+1})\leq \lambda D(w_{n-1},w_{n}).$$
(5.3)

The rest of the argument follows the proof of Theorem 2.3. □

### Theorem 5.3

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type IV fulfilling the following conditions:

1. (i)

T is a α-admissible mapping with respect to η;

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq \eta (w_{0},Tw_{0})$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A satisfying $$\alpha (w_{n},w_{n+1})\geq \eta (w_{n},w_{n+1})$$, such that $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$, and $$\alpha (w_{n},w^{\ast })\geq \eta (w_{n},w^{\ast })$$ holds for each $$n\in \mathbb{N}$$.

Then T possesses a fixed point in A.

Taking $$\eta (w,\upsilon )=1$$ in Theorems 2.3, 2.4, 3.2, and 3.3, we obtain the following corollaries.

### Corollary 5.4

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type I fulfilling the following conditions:

1. (i)

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq 1$$;

3. (iii)

T is α–η-continuous.

Then T has a fixed point in A.

### Corollary 5.5

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type I fulfilling the following conditions:

1. (i)

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq 1$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A satisfying $$\alpha (w_{n},w_{n+1})\geq 1$$, such that $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$, and $$\alpha (w_{n},w^{\ast })\geq 1$$ holds for each $$n\in \mathbb{N}$$.

Then T possesses a fixed point in A.

### Corollary 5.6

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type II satisfying the following conditions:

1. (i)

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq 1$$;

3. (iii)

T is α–η-continuous.

Then T has a fixed point in A.

### Corollary 5.7

Consider an $$\mathcal{F}$$-complete $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a symmetric fractional α–η-contraction of type II satisfying the following conditions:

1. (i)

2. (ii)

there exists a $$w_{0}\in A$$ such that $$\alpha (w_{0},Tw_{0})\geq 1$$;

3. (iii)

there is a sequence $$\{w_{n}\}$$ in A satisfying $$\alpha (w_{n},w_{n+1})\geq 1$$ such that $$w_{n}\rightarrow w^{\ast }$$ as $$n\rightarrow \infty$$, and $$\alpha (w_{n},w^{\ast })\geq 1$$ holds for each $$n\in \mathbb{N}$$.

Then T possesses a fixed point in A.

In a similar fashion, we can deduce analogues of Corollaries 5.4, 5.5, 5.6, and 5.7 for a symmetric fractional αη-contraction of type III and IV, respectively.

## 6 Consequences

As a consequence of our results, we derive some results for Suzuki-type contractions, orbitally T-complete and orbitally continuous mappings in $$\mathcal{F}$$-metric spaces.

### Theorem 6.1

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a continuous self-mapping on A. Assume that there are $$r\in [ 0,1 )$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that

$$D(w,Tw)\leq D(w,\upsilon ))\quad \textit{implies}\quad D(Tw,T\upsilon )\leq r \bigl( \check{S}_{1}(w,\upsilon ) \bigr),$$
(6.1)

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w,\upsilon )\cdot D(w,Tw)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(\upsilon ,T\upsilon )^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot {} \bigl[ D(w,T \upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for all $$w,\upsilon \in A\backslash \operatorname{Fix}(T)$$.

Then T possesses a fixed point in A.

### Proof

Describe $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$ by

$$\alpha (w,\upsilon )=D(w,\upsilon )\quad \text{and}\quad \eta (w,\upsilon )=D(w,Tw),\quad \text{for all }w,\upsilon \in A,$$

and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$, as well as $$r\in [ 0,1 )$$. It is clear that

$$\eta (w,\upsilon )\leq \alpha (w,\upsilon ),\quad \text{for all }w, \upsilon \in A,$$

that is, conditions (i)–(iii) of our Theorem 2.3 hold true. If

$$\eta (w,Tw)\leq \alpha (w,\upsilon )\quad \text{then }D(w,Tw)\leq D(w, \upsilon ),$$

which implies the contractive condition

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{1}(w,\upsilon ) \bigr).$$

Finally, every assumption of Theorem 2.3 holds true. Hence T possesses a fixed point in A. □

### Theorem 6.2

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a self-mapping of A. Suppose the following assumptions hold:

1. (i)

$$(A,D)$$ is an orbitally T-complete $$\mathcal{F}$$-metric space;

2. (ii)

there exist $$r\in [ 0,1 )$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{1}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w,\upsilon )\cdot D(w,Tw)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(\upsilon ,T\upsilon )^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot {} \bigl[ D(w,T \upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for all $$w,\upsilon \in O(\omega )$$ for some $$\omega \in A$$, where $$O(\omega )$$ is an orbit of ω;

3. (iii)

if $$\{\upsilon _{n}\}$$ is a sequence such that $$\{\upsilon _{n}\}\subseteq O(\omega )$$ with $$\upsilon _{n}\rightarrow \upsilon ^{\ast }$$ as $$n\rightarrow \infty$$ then $$\upsilon ^{\ast }\in O(\omega )$$.

Then T possesses a fixed point.

### Proof

Describe $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$ by setting $$\alpha (w,\upsilon )=3$$ on $$O(\omega )\times O(\omega )$$ and $$\alpha (w,\upsilon )=0$$ otherwise, and $$\eta (w,\upsilon )=1$$ for all $$w,\upsilon \in A$$ (see [7, Remark 6]). Then $$(A,D)$$ is an αη-complete $$\mathcal{F}$$-metric space and T is an α-admissible mapping with respect to η. If $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ then $$w,\upsilon \in O(\omega )$$, and so from (ii) we have

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{1}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w,\upsilon )\cdot D(w,Tw)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(\upsilon ,T\upsilon )^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}}\cdot \bigl[D(w,T\upsilon )+D( \upsilon ,Tw) \bigr]^{\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}, \end{aligned}

that is, T is a symmetric fractional αη-contraction of type I. Let $$\{\upsilon _{n}\}$$ be a sequence such that $$\alpha (\upsilon _{n},\upsilon _{n+1})\geq \eta (\upsilon _{n}, \upsilon _{n+1})$$ and $$\upsilon _{n}\rightarrow \upsilon ^{\ast }$$ for $$n\rightarrow \infty$$. So, $$\{\upsilon _{n}\}\subseteq O(\omega )$$. From (iii), $$\upsilon ^{\ast }\in O(\omega )$$, that is, $$\alpha (\upsilon _{n},\upsilon ^{\ast })\geq \eta (\upsilon _{n}, \upsilon ^{\ast })$$. Hence every assumption of Theorem 2.4 holds true. Thus T possesses a fixed point. □

### Theorem 6.3

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a self-mapping of A. Suppose the following conditions hold:

1. (i)

for all $$w,\upsilon \in O(\omega )$$, there are $$r\in [ 0,1 )$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{1}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w,\upsilon )\cdot \bigl[ D(w,Tw) \bigr] ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D(\upsilon ,T \upsilon ) \bigr] ^{\frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot {} \bigl[ D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{1}{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for some $$\omega \in A$$;

2. (ii)

the operator T is orbitally continuous.

Then T possesses a fixed point.

### Proof

Describe $$\alpha ,\eta :A\times A\rightarrow {}[ 0,+\infty )$$ by setting $$\alpha (w,\upsilon )=3$$ on $$O(\omega )\times O(\omega )$$ and $$\alpha (w,\upsilon )=0$$ otherwise, with $$\eta (w,\upsilon )=1$$ (see [38, Remark 1.1]). We know that T is an αη-continuous mapping. If $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ then $$w,\upsilon \in O(\omega )$$. So $$Tw,T\upsilon \in O(\omega )$$, that is, $$\alpha (Tw,T\upsilon )\geq \eta (Tw,T\upsilon )$$. Therefore T is an α-admissible mapping with respect to η. From (i) we have

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{1}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{1}(w,\upsilon ) &=D(w,\upsilon )\cdot D(w,Tw)^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}}\cdot D(\upsilon ,T\upsilon )^{ \frac{1}{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{\frac{1}{(\hat{w}-\beta )(\hat{w}-\gamma )}}\cdot \bigl[D(w,T\upsilon )+D( \upsilon ,Tw) \bigr]^{\frac{1}{(\gamma -\beta )(\gamma -\hat{w})}}, \end{aligned}

implying that T is a symmetric fractional αη-contraction of type I. Hence each assumption of Theorem 2.3 holds true. Thus T has a fixed point. □

### Theorem 6.4

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a self-mapping of A. Suppose the following conditions hold:

1. (i)

$$(A,D)$$ is an orbitally T-complete $$\mathcal{F}$$-metric space;

2. (ii)

there exist $$r\in [ 0,1 )$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{2}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{2}(w,\upsilon ) &=D(w,\upsilon ) \cdot \bigl[ D(w,Tw) \bigr] ^{\frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D( \upsilon ,T\upsilon ) \bigr] ^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ & \quad {}\cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}}\cdot {} \bigl[ D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for all $$w,\upsilon \in O(\omega )$$, for some $$\omega \in A$$, where $$O(\omega )$$ is an orbit of ω;

3. (iii)

if $$\{ \upsilon _{n}\}$$ is a sequence such that $$\{ \upsilon _{n}\} \subseteq O(\omega )$$ with $$\upsilon _{n}\rightarrow \upsilon ^{\ast }$$ as $$n\rightarrow \infty$$ then $$\upsilon ^{\ast }\in O(\omega )$$.

Then, T possesses a fixed point.

### Theorem 6.5

Consider an $$\mathcal{F}$$-metric space $$(A,D)$$ and let T be a self-mapping of A. Suppose the following conditions hold:

1. (i)

for all $$w,\upsilon \in O(\omega )$$, there exist $$r\in [ 0,1 )$$ and $$\beta ,\hat{w},\gamma \in ( 0,1 )$$ such that

$$D(Tw,T\upsilon )\leq r \bigl(\check{S}_{2}(w,\upsilon ) \bigr),$$

where

\begin{aligned} \check{S}_{2}(w,\upsilon ) &=D(w,\upsilon ) \cdot \bigl[ D(w,Tw) \bigr] ^{\frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl[ D( \upsilon ,T\upsilon ) \bigr] ^{ \frac{\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ D(w,Tw)+D(\upsilon ,T\upsilon ) \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}}\cdot \bigl[D(w,T\upsilon )+D(\upsilon ,Tw) \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for some $$\omega \in A$$;

2. (ii)

the operator T is an orbitally continuous.

Then T possesses a fixed point.

Theorems 6.16.3 can be derived easily for symmetric fractional contractions of type III and IV, respectively.

## 7 Application to fractional differential equations

The local and nonlocal fractional differential equations have recently proved to be significant tools in the modeling of many phenomena in numerous fields of science and engineering. The fractional-order differential equations have numerous applications in viscoelasticity, electrochemistry, control, porous media, electromagnetics, etc. For more details, see . Our aim is to show the existence and uniqueness of a bounded solution to a boundary value problem involving a generalized fractional derivative in the Riemann–Liouville sense.

Actually, the left Riemann–Liouville fractional integral of a Lebesgue-integrable function f with respect to an increasing function g is given as follows :

$${}_{a}I_{g}^{\alpha } f(t)= \frac{1}{\Gamma ( \alpha ) }\int _{a}^{t} \bigl( g(t)-g(s) \bigr) ^{\alpha -1} f(s)g' (s)\,ds,\quad \text{where } \alpha >0.$$
(7.1)

The associated left Riemann–Liouville fractional derivative of f with respect to the same increasing function g is given by 

\begin{aligned} {}_{a}D_{g}^{\alpha }f(t)&= \biggl( \frac{1}{g'(t)}\frac{d}{dt} \biggr) ^{n}I^{ ( n-\alpha ) }f ( t ) \\ &= \biggl( \frac{1}{g'(t)}\frac{d}{dt} \biggr) ^{n} \frac{1}{\Gamma ( \alpha ) } \int _{a}^{t} \bigl( g(t)-g(s) \bigr) ^{n-\alpha -1} f(s)g'(s)\,ds, \end{aligned}
(7.2)

where $$\alpha \geq 0$$, $$n=[\alpha ]+1$$, and $$[\alpha ]$$ is the integer part of α. The following theorem combines the fractional integral and derivative.

### Theorem 7.1

()

Let $$\alpha >0$$, $$n=-[-\alpha ]$$, $$f\in L[a,b]$$, and $${}_{a}I_{g}^{\alpha }f\in AC_{g}^{n}[a,b]$$. Then

$${}_{a}I_{ga}^{\alpha }D_{g}^{\alpha }f(t)=f(t)- \sum_{k=1}^{n}c_{k} \bigl( g(t)-g(a) \bigr) ^{\alpha -k}.$$

We are considering the following boundary value problem:

$${}_{a}D_{g}^{\alpha }y(t) +f \bigl(t,y(t) \bigr)=0,\qquad y ( a ) =y ( b ) =0, \quad 1< \alpha \leq 2.$$
(7.3)

### Lemma 7.2

Let $$\alpha >0$$, $$n=-[-\alpha ]$$, $$f\in L[a,b]$$, and $${}_{a}I_{g}^{\alpha }f\in AC_{g}^{n}[a,b]$$. Then, y is a solution of the boundary value problem (7.3) if and only if

$$y(t)= \int _{a}^{b}G(s,t) f \bigl(s,y(s) \bigr)g'(s)\,ds,$$

where the Green’s function

$$G(s,t)=\frac{1}{\Gamma ( \alpha ) } \textstyle\begin{cases} ( \frac{ ( g(b)-g(s) ) ( g(t)-g(a) ) }{ ( g(b)-g(a) ) } ) ^{\alpha -1}- ( g(t)-g(s) ) ^{ \alpha -1},&a< s\leq t, \\ ( \frac{ ( g(b)-g(s) ) ( g(t)-g(a) ) }{ ( g(b)-g(a) ) } ) ^{\alpha -1},&t\leq s< b,\end{cases}$$

satisfies the following:

• $$G(s,t)\geq 0$$;

• $$\max_{a\le s,t \le b}G(s,t)= \frac{1}{\Gamma ( \alpha ) } ( \frac{g ( b ) -g ( a ) }{4} ) ^{\alpha -1}$$.

### Proof

Applying the integral in (7.1) to (7.3), we get

$${}_{a}I_{ga}^{\alpha }D_{g}^{\alpha }y(t)=-{}_{a}I_{g}^{\alpha } f \bigl(t,y(t) \bigr)=-\frac{1}{\Gamma ( \alpha ) } \int _{a}^{t} \bigl( g(t)-g(s) \bigr) ^{\alpha -1} f(s)g'(s)\,ds.$$

Now using Theorem 7.1, we obtain

$$y(t)=c_{1} \bigl( g(t)-g(a) \bigr) ^{\alpha -1}+c_{2} \bigl( g(t)-g(a) \bigr) ^{\alpha -2}-\frac{1}{\Gamma ( \alpha ) } \int _{a}^{t} \bigl( g(t)-g(s) \bigr) ^{\alpha -1} f(s)g'(s)\,ds.$$

Then $$y(a)=0$$ gives $$c_{2}=0$$, while $$y(b) =0$$ gives

$$c_{1} = \frac{ ( g(b)-g(a) ) ^{1-\alpha }}{\Gamma ( \alpha ) } \int _{a}^{b} \bigl( g(b)-g(s) \bigr) ^{\alpha -1} f \bigl(s,y(s) \bigr)g'(s)\,ds .$$

Therefore

\begin{aligned} y(t) =&\frac{1}{\Gamma ( \alpha ) } \int _{a}^{b} \frac{ ( g(b)-g(s) ) ( g(t)-g(a) ) ^{\alpha -1}}{ ( g(b)-g(a) ) } f \bigl(s,y(s) \bigr)g'(s)\,ds \\ &{}-\frac{1}{\Gamma ( \alpha ) } \int _{a}^{t} \bigl( g(t)-g(s) \bigr) ^{\alpha -1} f \bigl(s,y(s) \bigr)g'(s)\,ds. \end{aligned}

Hence

\begin{aligned}& y(t)= \int _{a}^{b}G(s,t) f \bigl(s,y(s) \bigr)g'(s)\,ds, \\& \quad \text{where }G(s,t)=\frac{1}{\Gamma ( \alpha ) } \textstyle\begin{cases} ( \frac{ ( g(b)-g(s) ) ( g(t)-g(a) ) }{ ( g(b)-g(a) ) } ) ^{\alpha -1}- ( g(t)-g(s) ) ^{ \alpha -1},&a< s\leq t, \\ ( \frac{ ( g(b)-g(s) ) ( g(t)-g(a) ) }{ ( g(b)-g(a) ) } ) ^{\alpha -1},&t\leq s< b.\end{cases}\displaystyle \end{aligned}

It is clear that $$G(s,t)\geq 0$$, when $$s\geq t$$.

For $$a\leq s< t$$, one can prove that

\begin{aligned} G(s,t) =& \biggl( \frac{ ( g(t)-g(a) ) }{ ( g(b)-g(a) ) } \biggr) ^{\alpha -1} \\ &{}\cdot \biggl[ \bigl( g(b)-g(a) \bigr) ^{\alpha -1}- \biggl( g(b)- \biggl( g(a)+ \frac{ ( g(s)-g(a) ) ( g(b)-g(a) ) }{ ( g(t)-g(a) ) } \biggr) ^{\alpha -1} \biggr) \biggr] . \end{aligned}

Since $$g(a)+ \frac{ ( g(s)-g(a) ) ( g(b)-g(a) ) }{ ( g(t)-g(a) ) }\geq g(s)$$, one can deduce that $$G(s,t)\geq 0$$, for $$s\leq t$$.

For $$t\leq s$$, we have

$$\frac{\partial G}{\partial t}= \frac{1}{\Gamma ( \alpha ) } \biggl( \frac{g(b)-g(s)}{ ( g(b)-g(a) ) } \biggr) ^{\alpha -1} \cdot ( \alpha -1 ) \bigl( g(t)-g(a) \bigr) ^{\alpha -2}g'(t) \geq 0,$$

thus $$G(s,t)$$ is increasing as a function of t.

For $$s\leq t$$,

\begin{aligned} \frac{\partial G}{\partial t} =& \frac{g'(t) ( \alpha -1 ) }{\Gamma ( \alpha ) }\cdot \biggl[ - \bigl( g(t)-g(s) \bigr) ^{\alpha -2}+ \biggl( \frac{g(b)-g(s)}{g(b)-g(a)} \biggr) ^{ \alpha -1} \bigl( g(t)-g(a) \bigr) ^{\alpha -2} \biggr] \\ =&\frac{g'(t)}{\Gamma ( \alpha -1 ) }\cdot \biggl( \frac{g(t)-g(a)}{g(b)-g(a)} \biggr) ^{\alpha -2} \\ &{}\cdot\biggl[ \biggl( \frac{g(b)-g(s)}{g(b)-g(a)} \biggr) ^{\alpha -1}- \biggl( \frac{ ( g(b)-g(a) ) ( g(t)-g(s) ) }{g(b)-g(a)} \biggr) ^{\alpha -2} \biggr] \\ \leq &\frac{g'(t)}{\Gamma ( \alpha -1 ) }\cdot \biggl( \frac{g(t)-g(a)}{g(b)-g(a)} \biggr) ^{\alpha -2} \\ &{}\cdot\biggl[ \bigl( g(b)-g(a) \bigr) ^{\alpha -2}- \biggl( g(b)- \biggl( g(a)+\frac{g(b)-g(a)}{g(t)-g(a)} \bigl( g(s)-g(a) \bigr) \biggr) ^{\alpha -2} \biggr) \biggr] \\ < &0. \end{aligned}

Thus $$G(s,t)$$ is decreasing when $$s\leq t$$. Hence $$G(s,t)$$ attains its maximum when $$s=t$$, and

\begin{aligned}& G(s,s)=\frac{1}{\Gamma ( \alpha ) } \frac{ ( g(b)-g(s) ) ^{\alpha -1} ( g(s)-g(a) ) ^{\alpha -1}}{ ( g(b)-g(a) ) ^{\alpha -1}}=\hat{G}(s), \\& \begin{aligned} \hat{G}'(s) &=-\frac{1}{\Gamma ( \alpha ) } ( \alpha -1 ) \frac{ ( g(b)-g(s) ) ^{\alpha -2}}{ ( g(b)-g(a) ) ^{\alpha -1}}g'(s)\cdot \bigl( g(s)-g(a) \bigr) ^{ \alpha -1} \\ &\quad {}+\frac{1}{\Gamma ( \alpha ) } \frac{ ( g(b)-g(s) ) ^{\alpha -1} ( \alpha -1 ) ( g(s)-g(a) ) ^{\alpha -2}g'(s)}{ ( g(b)-g(a) ) ^{\alpha -1}} \\ &=0 \end{aligned} \end{aligned}

yield $$g(s)=\frac{g ( a ) +g ( b ) }{2}$$, or that the critical point is

$$s^{\ast }=g^{-1} \biggl( \frac{g ( a ) +g ( b ) }{2} \biggr) .$$

Thus, the maximum of $$G(s,t)$$ is

\begin{aligned}& \hat{G} \bigl(s^{\ast } \bigr)=\frac{1}{\Gamma ( \alpha ) } \biggl( \frac{g ( b ) -g ( a ) }{4} \biggr) ^{\alpha -1}, \\& \bigl\vert G(s,t) \bigr\vert \leq \frac{1}{\Gamma ( \alpha ) } \biggl( \frac{g ( b ) -g ( a ) }{4} \biggr) ^{ \alpha -1}. \end{aligned}

□

Here we denote the Riemann–Stieltjes integrable function w with respect to s and $$f: [ 0,1 ] \times \mathbb{R} \rightarrow \mathbb{R}$$ is a continuous function. Let $$C(I)$$ be the linear space of all continuous functions defined on $$I=[0,1]$$, and let $$D(w,\upsilon )= \Vert w-\upsilon \Vert _{\infty }^{2}= \max_{t\in I}|w(t)-\upsilon (t)|^{2}$$ for all $$w,\upsilon \in C(I)$$. Then $$(C(I),D)$$ is an $$\mathcal{F}$$-complete metric space.

We consider the following conditions:

(a) there exist $$r\in [ 0,1 )$$ and ζ: $$\mathbb{R} ^{2}\rightarrow \mathbb{R,}$$ a function such that for each $$a,b\in \mathbb{R}$$ with $$\zeta (a,b)\geq \xi (a,b)$$ satisfies

\begin{aligned}& \bigl\vert f \bigl(s,w(s) \bigr)-f \bigl(s,\upsilon (s) \bigr) \bigr\vert \\& \quad \leq \bigl\vert w(s)- \upsilon (s) \bigr\vert ^{2}\cdot \bigl\vert w(s)-Tw(s) \bigr\vert ^{\frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl\vert \upsilon (s)-T \upsilon (s) \bigr\vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\& \qquad {}\cdot {} \bigl[ \bigl\vert w(s)-Tw(s) \bigr\vert + \bigl\vert \upsilon (s)-T\upsilon (s) \bigr\vert \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\& \qquad {}\cdot {} \bigl[ \bigl\vert w(s)-T\upsilon (s) \bigr\vert + \bigl\vert \upsilon (s)-Tw(s) \bigr\vert \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}, \end{aligned}

where $$\beta ,\hat{w},\gamma \in ( 0,1 )$$;

(b) there exists $$w_{1}\in C(I)$$ such that

$$\zeta \biggl( w_{1}(t), \int _{a}^{b}G(t,s)f \bigl(s,w_{1}(s) \bigr)g'(s)\,ds \biggr) \geq \xi \biggl( w_{1}(t), \int _{a}^{b}G(t,s)f \bigl(s,w_{1}(s) \bigr)g'(s)\,ds \biggr) ,$$

for all $$t\in I$$;

(c) for each $$w,\upsilon \in C(I)$$, there exist $$w_{1},v_{1}\in C(I)$$ such that $$\zeta ( w(t),\upsilon (t) ) \geq \xi ( w(t), \upsilon (t) )$$ implies

\begin{aligned}& \zeta \biggl( \int _{a}^{b}G(t,s)f \bigl(s,w_{1}(s) \bigr)g'(s)\,ds, \int _{a}^{b}G(t,s)f \bigl(s, \upsilon _{1}(s) \bigr)g'(s)\,ds \biggr) \\& \quad \geq \xi \biggl( \int _{a}^{b}G(t,s)f \bigl(s,w_{1}(s) \bigr)g'(s)\,ds, \int _{a}^{b}G(t,s)f \bigl(s, \upsilon _{1}(s) \bigr)g'(s)\,ds \biggr) , \end{aligned}

for all $$t\in I$$;

(d) for any cluster point w of a sequence $$\{w_{n}\}$$ of points in $$C(I)$$ with

$$\zeta ( w_{n},w_{n+1} ) \geq \xi ( w_{n},w_{n+1} ) ,\qquad \lim_{n\rightarrow \infty }\inf \zeta ( w_{n},w ) \geq \lim_{n\rightarrow \infty }\inf \xi ( w_{n},w ) .$$

### Theorem 7.3

Suppose that conditions (a)(d) are satisfied. Then (7.3) has at least one solution $$w^{\ast }\in C(I)$$.

### Proof

We know that $$w\in C(I)$$ is a solution of (7.3) if and only if $$w\in C(I)$$ is a solution of the fractional-order integral equation

$$w(t)=\lambda \int _{a}^{b}G(t,s)f \bigl(s,w(s) \bigr)g'(s)\,ds\quad \text{for all }t\in I,$$

where $$\lambda ,\in [ 0,1 )$$. We define a map $$T:C(I)\rightarrow C(I)$$ by

$$Tw(t)=\lambda \int _{a}^{b}G(t,s)f \bigl(s,w(s) \bigr)g'(s)\,ds\quad \text{for all }t\in I.$$

Then problem (7.3) is equivalent to finding $$w^{\ast }\in C(I)$$ that is a fixed point of T. Let $$w,\upsilon \in C(I)$$ be such that $$\zeta ( w(t),\upsilon (t) ) \geq 0$$ for all $$t\in I$$. For using condition (a), we get

\begin{aligned} \bigl\vert Tw(t)-T\upsilon (t) \bigr\vert &= \biggl\vert \lambda \int _{a}^{b}G(t,s) \bigl[ f \bigl(s,w(s) \bigr)-f \bigl(s,\upsilon (s) \bigr) \bigr] g'(s)\,ds \biggr\vert \\ &\leq \vert \lambda \vert \int _{a}^{b} \bigl\vert G(t,s) \bigr\vert \bigl\vert f \bigl(s,w(s) \bigr)-f \bigl(s,\upsilon (s) \bigr)g'(s)\,ds \bigr\vert \\ &\leq \vert \lambda \vert \int _{a}^{b} \bigl\vert G(t,s) \bigr\vert g'(s)r\,ds \bigl\vert w(s)-\upsilon (s) \bigr\vert ^{2} \\ &\quad {} \cdot \bigl\vert w(s)-Tw(s) \bigr\vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl\vert \upsilon (s)-T\upsilon (s) \bigr\vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot {} \bigl[ \bigl\vert w(s)-Tw(s) \bigr\vert + \bigl\vert \upsilon (s)-T\upsilon (s) \bigr\vert \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot {} \bigl[ \bigl\vert w(s)-T\upsilon (s) \bigr\vert + \bigl\vert \upsilon (s)-Tw(s) \bigr\vert \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}] \\ &\leq \frac{1}{\Gamma ( \alpha ) } \biggl( \frac{g ( b ) -g ( a ) }{4} \biggr) ^{\alpha -1} \bigl( g ( b ) -g ( a ) \bigr) \bigl\Vert w(s)-\upsilon (s) \bigr\Vert _{\infty }^{2} \\ &\quad {} \cdot \bigl\Vert w(s)-Tw(s) \bigr\Vert _{\infty }^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \cdot \bigl\Vert \upsilon (s)-T\upsilon (s) \bigr\Vert _{\infty }^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl[ \bigl\Vert w(s)-Tw(s) \bigr\Vert _{\infty }^{2}+ \bigl\Vert \upsilon (s)-T\upsilon (s) \bigr\Vert _{\infty }^{2} \bigr] ^{\frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot \bigl[ \bigl\Vert w(s)-T\upsilon (s) \bigr\Vert _{ \infty }^{2}+ \bigl\Vert \upsilon (s)-Tw(s) \bigr\Vert _{\infty }^{2} \bigr] ^{\frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \\ &\leq r \bigl\Vert w(s)-\upsilon (s) \bigr\Vert _{\infty }^{2} \cdot \bigl\Vert w(s)-Tw(s) \bigr\Vert _{\infty }^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl\Vert \upsilon (s)-T\upsilon (s) \bigr\Vert _{ \infty }^{\frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}}\cdot \bigl\Vert w(s)-T\upsilon (s) \bigr\Vert _{\infty }^{2(p\gamma -q \gamma )} \\ &\quad {} \cdot \bigl[ \bigl\Vert w(s)-Tw(s) \bigr\Vert _{\infty }^{2}+ \bigl\Vert \upsilon (s)-T\upsilon (s) \bigr\Vert _{\infty }^{2} \bigr] ^{\frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ &\quad {} \cdot \bigl[ \bigl\Vert w(s)-T\upsilon (s) \bigr\Vert _{ \infty }^{2}+ \bigl\Vert \upsilon (s)-Tw(s) \bigr\Vert _{\infty }^{2} \bigr] ^{\frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}. \end{aligned}

Thus

\begin{aligned} D(Tw,T\upsilon )&< \bigl\vert w(s)-\upsilon (s) \bigr\vert ^{2} \cdot \bigl\vert w(s)-Tw(s) \bigr\vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ &\quad {} \cdot \bigl\vert \upsilon (s)-T\upsilon (s) \bigr\vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \cdot {} \bigl[ \bigl\vert w(s)-Tw(s) \bigr\vert \\ &\quad {} + \bigl\vert \upsilon (s)-T\upsilon (s) \bigr\vert \bigr]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \cdot {} \bigl[ \bigl\vert w(s)-T\upsilon (s) \bigr\vert + \bigl\vert \upsilon (s)-Tw(s) \bigr\vert \bigr]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}} \end{aligned}

for all $$w,\upsilon \in C(I)$$ such that $$\zeta ( w(t),\upsilon (t) ) \geq \xi ( w(t), \upsilon (t) )$$ for all $$t\in I$$. We define $$\alpha :C(I)\times C(I)\rightarrow {}[ 0,\infty )$$ by

\begin{aligned}& \alpha ( w,\upsilon ) = \textstyle\begin{cases} 1&\text{if } \zeta ( w(t),\upsilon (t) ) \geq 0, t \in I, \\ 0&\text{otherwise},\end{cases}\displaystyle \quad \text{and} \\& \eta ( w,\upsilon ) = \textstyle\begin{cases} \frac{1}{2}&\text{if }\xi ( w(t),\upsilon (t) ) \geq 0, t\in I, \\ 0&\text{otherwise}. \end{cases}\displaystyle \end{aligned}

Then, for all $$w,\upsilon \in C(I)$$, $$\alpha ( w,\upsilon ) \geq \eta ( w,\upsilon )$$, we have

$$D(Tw,T\upsilon )\leq r \textstyle\begin{cases} \vert w(s)-\upsilon (s) \vert ^{2}\cdot \vert w(s)-Tw(s) \vert ^{\frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \cdot \vert \upsilon (s)-T\upsilon (s) \vert ^{ \frac{2\beta }{(\beta -\hat{w})(\beta -\gamma )}} \\ \quad {}\cdot {}[ \vert w(s)-Tw(s) \vert + \vert \upsilon (s)-T\upsilon (s) \vert ]^{ \frac{\hat{w}}{(\hat{w}-\beta )(\hat{w}-\gamma )}} \\ \quad {}\cdot {}[ \vert w(s)-T\upsilon (s) \vert + \vert \upsilon (s)-Tw(s) \vert ]^{ \frac{\gamma }{(\gamma -\beta )(\gamma -\hat{w})}}.\end{cases}$$

Obviously, $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ for all $$w,\upsilon \in C(I)$$. If $$\alpha (w,\upsilon )\geq \eta (w,\upsilon )$$ for each $$w,\upsilon \in C(I)$$ then $$\zeta ( w(t),\upsilon (t) ) \geq \xi ( w(t), \upsilon (t) )$$. From condition (c), we have $$\zeta ( Tw(t),T\upsilon (t) ) \geq \xi ( Tw(t),T \upsilon (t) )$$, and so $$\alpha (Tw,T\upsilon )\geq \eta (Tw,T\upsilon )$$. Thus, T is an α-admissible map with respect to η. From condition (b), there exists $$w_{1}\in C(I)$$ such that $$\alpha (w_{1},Tw_{1})=\eta (w_{1},Tw_{1})$$. By condition (d), we have that for any cluster point w of a sequence $$\{w_{n}\}$$ of points in $$C(I)$$ with $$\alpha (w_{n},w_{n+1})=\eta (w_{n},w_{n+1})$$, $$\lim_{n\rightarrow \infty }\inf \alpha (w_{n},w)=\lim_{n \rightarrow \infty }\inf \eta (w_{n},w)$$. By applying Theorem 2.3, T has a fixed point in $$C(I)$$, i.e., there exists $$w^{\ast }\in C(I)$$ such that $$Tw^{\ast }=w^{\ast }$$, and $$w^{\ast }$$ is a solution of (7.3). □

### Applications

The fractional-order differential equations emerge in various areas of engineering and scientific disciplines as the mathematical modeling of systems and processes in the fields of physics, chemistry, control theory, biology, economics, blood flow phenomena, signal and image processing, biophysics, aerodynamics, fitting of experimental data.

## 8 Conclusions

The aim of this paper was to introduce four classes of symmetric fractional contraction. This research focuses on a new idea of symmetric fractional αη-contraction of type I, II, III, and IV in the setting of an $$\mathcal{F}$$-metric space, which is different and more general than an ordinary metric space. This paper will open a new domain of fixed-point theory. We develop here Suzuki-type fixed point results in orbitally complete $$\mathcal{F}$$-metric spaces. These new investigations and applications will enhance the impact of the new setup.

## Availability of data and materials

No data were used to support this study. It is not applicable for our paper.

## References

1. Reich, S.: Some problems and results in fixed point theory. Contemp. Math. 21, 179–185 (1983)

2. Kirk, W.A., Reich, S., Veeramani, P.: Proximinal retracts and best proximity pair theorems. Numer. Funct. Anal. Optim. 24(7), 851–862 (2003)

3. Jachymski, J.: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 1(136), 1359–1373 (2008)

4. Bojor, F.: Fixed point theorems for Reich type contraction on metric spaces with a graph. Nonlinear Anal. 75, 3895–3901 (2012)

5. Abbas, M., Nazir, T.: Common fixed point of a power graphic contraction pair in partial metric spaces endowed with a graph. Fixed Point Theory Appl. 2013, 20 (2013)

6. Hussain, N., Al-Mezel, S., Salimi, P.: Fixed points for αψ-graphic contractions with application to integral equations. Abstr. Appl. Anal. 2013, Article ID 575869 (2013)

7. Hussain, N., Kutbi, M.A., Salimi, P.: Fixed point theory in α-complete metric spaces with applications. Abstr. Appl. Anal. 2014, Article ID 280817 (2014)

8. Jleli, M., Samet, B.: On a new generalization of metric spaces. J. Fixed Point Theory Appl. 20(3), 128 (2018)

9. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

10. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

11. Jarad, F., Abdeljawad, T.: Generalized fractional derivatives and Laplace transform. Discrete Contin. Dyn. Syst., Ser. S 13(3), 709–722 (2020)

12. Baleanu, D., Agarwal, R.P., Mohammadi, H., Rezapour, S.: Some existence results for a nonlinear fractional differential equation on partially ordered Banach spaces. Bound. Value Probl. 2013, 112 (2013)

13. He, L., Dong, X., Bai, Z., Chen, B.: Solvability of some two-point fractional boundary value problems under barrier strip conditions. J. Funct. Spaces 2017, Article ID 1465623 (2017)

14. Hussain, A., Kanwal, T.: Existence and uniqueness for a neutral differential problem with unbounded delay via fixed point. Trans. A. Razmadze Math. Inst. 172(3), 480–490 (2018)

15. Jarad, F., Abdeljawad, T., Hammouch, Z.: On a class of ordinary differential equations in the frame of Atangana–Baleanu fractional derivative. Chaos Solitons Fractals 117, 16–20 (2018)

16. Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of he nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11, 686 (2019)

17. Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652

18. Alqahtani, B., Aydi, H., Karapinar, E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)

19. Karapınar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential-equations. Mathematics 7, 444 (2019)

20. Karapinar, E., Abdeljawad, T., Jarad, F.: Applying new fixed point theorems on fractional and ordinary differential equations. Adv. Differ. Equ. 2019, 421 (2019)

21. Alqahtania, B., Fulga, A., Jarad, F., Karapinar, E.: Nonlinear F-contractions on b-metric spaces and differential equations in the frame of fractional derivatives with Mittag-Leffler kernel. Chaos Solitons Fractals 128, 349–354 (2019)

22. Ravichandrana, C., Logeswaria, K., Jarad, F.: New results on existence in the framework of Atangana–Baleanu derivative for fractional integro-differential equations. Chaos Solitons Fractals 125, 194–200 (2019)

23. Shoaib, M., Abdeljawad, T., Sarwar, M., Jarad, F.: Fixed point theorems for multi-valued contractions in b-metric spaces with applications to fractional differential and integral equations. IEEE Access 7, 127373–127383 (2019)

24. Kanwal, T., Hussain, A., Baghani, H., de la Sen, M.: New fixed point theorems in orthogonal F-metric spaces with application to fractional differential equation. Symmetry 12, 832 (2020)

25. Hussain, A.: Fractional convex type contraction with solution of fractional differential equation. AIMS Math. 5(5), 5364–5380 (2020)

26. Karapinar, E.: Revisiting the Kannan type contractions via interpolation. Adv. Theory Nonlinear Anal. Appl. 2, 85–87 (2018). https://doi.org/10.31197/atnaa.431135

27. Karapinar, E., Agarwal, R.P., Aydi, H.: Interpolative Reich–Rus–Ciric type contractions on partial metric spaces. Mathematics 6, 256 (2018). https://doi.org/10.3390/math6110256

28. Aydi, H., Karapinar, E., Roldán López de Hierro, A.F.: ω-Interpolative Ciric–Reich–Rus-type contractions. Mathematics 7, 57 (2019)

29. Aydi, H., Chen, C.-M., Karapinar, E.: Interpolative Ciric–Reich–Rus type contractions via the Branciari distance. Mathematics 7(1), 84 (2019). https://doi.org/10.3390/math7010084

30. Karapinar, E., Alqahtani, O., Aydi, H.: On interpolative Hardy–Rogers-type contractions. Symmetry 11(1), 8 (2019). https://doi.org/10.3390/sym11010008

31. Gaba, Y.U., Karapinar, E.: A new approach to the interpolative contractions. Axioms 8, 110 (2019)

32. Agarwal, R.P., Karapinar, E.: Interpolative Rus–Reich–Ciric-type contractions via simulation functions. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa, Ser. Mat. 27(3), 137–152 (2019)

33. Samet, B., Vetro, C., Vetro, P.: Fixed point theorems for αψ-contractive-type mappings. Nonlinear Anal. 75, 2154–2165 (2012)

34. Salimi, P., Latif, A., Hussain, N.: Modified αψ-contractive mappings with applications. Fixed Point Theory Appl. 2013, 151 (2013)

35. Hussain, N., Salimi, P.: Suzuki–Wardowski type fixed point theorems for αGF-contractions. Taiwan. J. Math. 18(6), 1879–1895 (2014). https://doi.org/10.11650/tjm.18.2014.4462

36. Karapinar, E., Samet, B.: Generalized $$(\alpha \mbox{--}\psi )$$-contractive type mappings and related fixed point theorems with applications. Abstr. Appl. Anal. 2012, Article ID 793486 (2012)

37. Kutbi, M.A., Arshad, M., Hussain, A.: On modified αη-contractive mappings. Abstr. Appl. Anal., 2014, Article ID 657858 (2014)

38. Hussain, N., Latif, A., Iqbal, I.: Fixed point results for generalized F-contractions in modular metric and fuzzy metric spaces. Fixed Point Theory Appl. 2015, 158 (2015)

## Acknowledgements

The authors thanks to their universities.

## Funding

We declare that funding is not applicable for our paper.

## Author information

Authors

### Contributions

Writing, reviewing, and editing AH, FJ and EK. All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.

### Corresponding author

Correspondence to Erdal Karapinar.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests. 