Theory and Modern Applications

# Study on Pata E-contractions

## Abstract

In this paper, we introduce the notion of an αζ̃–Pata contraction that combines well-known concepts, such as the Pata contraction, the E-contraction and the simulation function. Existence and uniqueness of a fixed point of such mappings are investigated in the setting of a complete metric space. An example is stated to indicate the validity of the observed result. At the end, we give an application on the solution of nonlinear fractional differential equations.

## Introduction

In 2015, Khojasteh et al. [1] initiated the concept of simulation functions.

### Definition 1.1

([1])

A mapping $$\zeta :[0,\infty )\times {}[ 0,\infty )\rightarrow \mathbb{R}$$ is called a simulation function if the following conditions hold:

$$(\zeta _{1})$$:

for all ;

$$(\zeta _{2})$$:

if , are sequences in $$(0,\infty )$$ such that , then

(1.1)

We denote by $$\mathcal{Z}$$ the family of all above simulation functions.

Let be a metric space and $$\alpha :\mathcal{X}\times \mathcal{X}\rightarrow [0,\infty )$$ be a function. A mapping is called α-orbital admissible if the following condition holds:

(1.2)

for all $$\nu \in \mathcal{X}$$. Moreover, an α-orbital admissible mapping is called triangular α-orbital admissible if for all $$\nu , \omega \in \mathcal{X}$$, we have

(1.3)

### Definition 1.2

A set $$\mathcal{X}$$ is said to be regular with respect to a given function $$\alpha :\mathcal{X}\times \mathcal{X} \to [0,\infty )$$ if for each sequence $$\{\nu _{n}\}$$ in $$\mathcal{X}$$ such that $$\alpha (\nu _{n},\nu _{n+1})\geq 1$$ for all n and $$\nu _{n} \rightarrow \nu \in \mathcal{X}$$ as $$n\rightarrow \infty$$, then $$\alpha (\nu _{n},\nu )\geq 1$$ for all n.

The notion of α-admissible $$\mathcal{Z}$$-contractions with respect to a given simulation function was merged and used by Karapinar in [2]. Using this new type of contractive mappings, he investigated the existence and uniqueness of a fixed point in standard metric spaces.

### Definition 1.3

([2])

Let T be a self-mapping defined on a metric space $$(\mathcal{X}, d)$$. If there exist a function $$\zeta \in \mathcal{Z}$$ and $$\alpha :\mathcal{X}\times \mathcal{X} \to [0,\infty )$$ such that

$$\zeta \bigl(\alpha (\nu , \omega )d(T\nu , T\omega ), d(\nu , \omega ) \bigr)\geq 0 \quad \text{for all }\nu , \omega \in \mathcal{X},$$
(1.4)

then we say that T is an α-admissible $$\mathcal{Z}$$-contraction with respect to ζ.

### Theorem 1.4

([2])

Let $$(\mathcal{X},d)$$be a complete metric space and let $$T:\mathcal{X}\rightarrow \mathcal{X}$$be an α-admissible $$\mathcal{Z}$$-contraction with respect to ζ. Suppose that:

1. (a)

2. (b)

there exists $$\nu _{0}\in \mathcal{X}$$such that $$\alpha (\nu _{0}, T\nu _{0})\geq 1$$;

3. (c)

T is continuous.

Then there is $$\nu _{*}\in \mathcal{X}$$such that $$T\nu _{*}=\nu _{*}$$.

### Remark 1.5

The continuity condition in Theorem 1.4 can be replaced by the “regularity” condition, which is considered in Definition 1.2.

We will consider the following set of functions:

and we denote

Several interesting extensions and generalizations of the Banach contraction principle [3] appeared in the literature. For instance, see [410]. Among these generalizations, we cite the paper of Pata [11]. Since then, much work appeared in the same direction; see [1215].

### Theorem 1.6

([11])

Let be a complete metric space and let $$\Lambda \geq 0$$, $$\lambda \geq 1$$, $$\beta \in [0,\lambda ]$$be fixed constants. The mapping has a fixed point in $$\mathcal{X}$$if the inequality

(1.5)

is satisfied for every $$\varepsilon \in [0,1]$$and .

### Definition 1.7

Let be a metric space. We say that is a Pata type Zamfirescu mapping if for all $$\nu , \omega \in \mathcal{X}$$, $$\psi \in \mathcal{Z}$$ and for every $$\varepsilon \in [0,1]$$, , it satisfies the following inequality:

(1.6)

where

and $$\Lambda \geq 0$$, $$\lambda \geq 1$$ and $$\beta \in [0,\lambda ]$$ are constants.

### Theorem 1.8

([16])

Let be a complete metric space and let be a Pata type Zamfirescu mapping. Then has a unique fixed point in $$\mathcal{X}$$.

We state the following useful known lemma.

### Lemma 1.9

Let be a complete metric space and be a sequence in $$\mathcal{X}$$such that . If the sequence is not Cauchy, then there exist and subsequences and of such that

(1.7)

and

(1.8)

In this paper, we combine the concepts of simulation functions and α-admissibility to give a generalized Pata type fixed point result. At the end, we present an application on fractional calculus.

## Main results

We denote by $$\tilde{\mathcal{Z}}$$ the set of all functions $$\tilde{\zeta }:[0,\infty )\times {}[ 0,\infty )\rightarrow \mathbb{R}$$ satisfying the following condition:

$$(\tilde{\zeta }_{1})$$:

for all .

### Definition 2.1

Let be a metric space and $$\phi \in \Phi$$. Let $$\Lambda \geq 0$$, $$\lambda \geq 1$$ and $$\beta \in [0,\lambda ]$$ be fixed constants. A triangular α-orbital admissible mapping is called an α-ζ̃-- Pata contraction if there exists a function $$\tilde{\zeta }\in \tilde{\mathcal{Z}}$$ such that, for every $$\varepsilon \in [0,1]$$, the following condition is satisfied:

(2.1)

for all $$\nu ,\omega \in \mathcal{X}$$, where

(2.2)

and

(2.3)

### Remark 2.2

It is clear that any Pata type Zamfirescu mapping is also an α-ζ̃-- Pata mapping. Indeed, letting $$\alpha (\nu , \omega )=1$$ and , the inequality (2.1) becomes

Moreover, note that for all $$\nu , \omega \in \mathcal{X}$$.

### Theorem 2.3

Every α–ζ̃––Pata contraction on a complete metric space possesses a fixed point if

(i):

there exists such that ;

(ii):

(iii):

either is continuous, or the set $$\mathcal{X}$$is regular.

If in addition we assume that the following condition is satisfied:

(iv):

for all ,

then such a fixed point of is unique.

### Proof

Let be a point such that . On account of the assumption that is a triangular α-orbital admissible mapping, we derive that

and iteratively we find

(2.4)

Moreover, by (2.4) together with (1.3), we have

Again, iteratively, one writes

(2.5)

Starting from this point , we build an iterative sequence where for $$n=1,2,3, \ldots$$. We can presume that any two consequent terms of this sequence are distinct. Indeed, if, on the contrary, there exists $$i_{0} \in \mathbb{N}$$ such that

then is a fixed point. To avoid this, we will assume in the following that for all $$n\in \mathbb{N}$$

We mention that (2.4) can be rewritten as

(2.6)

respectively,

(2.7)

for any $$n \in \mathbb{N}$$. In the sequel, we will denote for all $$\nu \in X$$.

Since is an α-ζ̃--Pata contraction, we have

Thus, taking into account $$(\tilde{\zeta }_{1})$$, together with (2.6) we get

(2.8)

where

and

Denoting by , we have

Thus, (2.8) becomes

(2.9)

We claim that the sequence $$\{ \gamma _{n} \}$$ is non-increasing. Indeed, if we suppose the contrary that, for some p, $$\gamma _{p}<\gamma _{p+1}$$, and so $$\max \{ \gamma _{p}, \gamma _{p+1} \} =\gamma _{p+1}$$, then we have $$\vert \gamma _{p}-\gamma _{p+1} \vert =\gamma _{p+1}-\gamma _{p}$$.

(2.10)

Consequently, from (2.9), we get, for such an integer p,

(2.11)

The above inequality is true for all $$\varepsilon \in [0,1]$$. In particular, for $$\varepsilon =0$$, we get $$\gamma _{p+1}\leq \gamma _{p+1}$$, which clearly is a contradiction. In this case, we find that the sequence $$\{ \gamma _{n} \}$$ is non-increasing. So we can find a non-negative real number γ such that

We claim that $$\gamma =0$$. In order to prove this, we have to show that the sequence $$\{ \kappa _{n} \}$$ is bounded, where . Since the sequence is non-increasing, we have

By the triangle inequality, we get

(2.12)

On account of (2.5), regarding that is an α-ζ̃-Pata- contraction, we have

Taking into account (2.7), this is equivalent to

Using (2.12) and the above inequality, we get

Moreover, since $$\beta \leq \lambda$$, we have

\begin{aligned} \varepsilon \kappa _{n} &\leq (3- \varepsilon ) \kappa _{1}+\Lambda \varepsilon ^{\lambda }\psi ( \varepsilon ) [1+2 \kappa _{n}+2\kappa _{1} ]^{\beta } \\ &\leq (3-\varepsilon )\kappa _{1}+ \Lambda \varepsilon ^{\lambda } \psi ( \varepsilon ) [1+2\kappa _{n}+2\gamma _{1} ]^{\lambda } \\ & = (3-\varepsilon )\kappa _{1}+\Lambda \varepsilon ^{\lambda } \psi ( \varepsilon ) (1+2\kappa _{n})^{\lambda } \biggl[1+ \frac{2\kappa _{1}}{1+2\kappa _{n}} \biggr]^{\lambda } \\ & \leq 3\kappa _{1}+\Lambda \varepsilon ^{\lambda }\psi ( \varepsilon )2^{\lambda }\kappa _{n}^{\lambda }\biggl(1+ \frac{1}{2\kappa _{n}}\biggr)^{\lambda }(1+2 \kappa _{1})^{\lambda }. \end{aligned}

Now, supposing that the sequence $$\{ \kappa _{n} \}$$ is not bounded, there exists a subsequence $$\{ \kappa _{n_{l}} \}$$ of $$\{ \kappa _{n} \}$$ such that $$\kappa _{n_{l}}\rightarrow \infty$$ as $$l\rightarrow \infty$$. In this case, letting $$\varepsilon =\varepsilon _{l}=\frac{1+3\kappa _{1}}{\kappa _{n_{l}}} ( \in [0,1])$$, the above inequality yields

\begin{aligned} 1& \leq \Lambda 2^{\lambda }\bigl[\varepsilon ^{\lambda }\kappa _{n}^{\lambda }\bigr](1+2 \kappa _{1})^{\lambda }\biggl(1+\frac{1}{2\kappa _{n_{l}}}\biggr)^{\lambda } \psi ( \varepsilon _{l}) \\ &\leq \Lambda 2^{\lambda }(1+3\kappa _{1})^{\lambda }(1+2\kappa _{1})^{ \lambda }\biggl(1+\frac{1}{2\kappa _{n_{l}}}\biggr)^{\lambda } \psi (\varepsilon _{l}) \\ &\leq \Lambda 2^{\lambda }(1+3\kappa _{1})^{2\lambda }\biggl(1+ \frac{1}{2\kappa _{n_{l}}}\biggr)^{\lambda }\psi (\varepsilon _{l}) \rightarrow 0 \quad \text{as }l\rightarrow \infty . \end{aligned}

This is a contradiction. Thus, we conclude that our presumption is false and then the sequence $$\{ \kappa _{n} \}$$ is bounded. Furthermore, there exists such that for all $$n\in \mathbb{N}$$.

Let us go back now and prove that $$\gamma =0$$ (where $$\gamma =\lim_{n\rightarrow \infty }\gamma _{n}$$). In view of (2.10) and the fact that the sequence $$\{ \gamma _{n} \}$$ is non-increasing, one writes

Recall that

Taking into account that is an α-ζ̃-$${E_{*}}$$ contraction, keeping in mind (2.6) and using $$(\tilde{\zeta }_{1})$$, we have

We have

(2.13)

Letting $$n \to \infty$$ in the previous inequality, we obtain

which is equivalent to

When $$\varepsilon \rightarrow 0$$, we get $$\gamma \leq 0$$. Therefore,

(2.14)

As a next step, we claim that is a Cauchy sequence. On the contrary, assuming that the sequence is not Cauchy, it follows from Lemma 1.9 that there exist and subsequences and such that (1.7) and (1.8) hold. Replacing and in (2.1), we have

(2.15)

where

The triangular α-orbital admissibility of shows that . Thus,

(2.16)

Letting $$l\rightarrow \infty$$ and taking into account (2.14) and Lemma 1.9, we have

(2.17)

At the same time, one writes

Denoting by and , by Lemma 1.9, it follows that

Thus, passing to the limit as $$l\rightarrow \infty$$ in (2.16), we get

Furthermore,

i.e.,

That is, . Therefore, is a Cauchy sequence in the complete metric space. For this reason, there exists $$\nu ^{*}\in \mathcal{X}$$ such that , as $$n\rightarrow \infty$$.

Furthermore, in the case that is a continuous mapping, we get , that is, is a fixed point of .

Now, suppose that $$\mathcal{X}$$ is regular. From (2.1), one writes

(2.18)

Using the regularity of $$\mathcal{X}$$ and $$(\tilde{\zeta }_{1})$$, we get

(2.19)

where

and

Taking into account the boundedness of the sequence $$\{ \kappa _{n} \}$$, we have

On the other hand,

Letting $$n\rightarrow \infty$$ in the inequality (2.19), we find

which is equivalent to

Obviously, we obtain for $$\varepsilon =0$$ that , so . Thus, $$\nu ^{*}$$ is a fixed point of . Finally, to prove the uniqueness of the fixed point, we suppose that there exist two fixed points such that $$\nu ^{*}\neq \omega ^{*}$$. We have

Taking into account $$(\mathit{iv})$$, we obtain

In the limit $$\varepsilon \rightarrow 0$$, we get , that is, $$\nu ^{*}=\omega ^{*}$$, which is a contradiction. Therefore, the fixed point of is unique. □

In the following, we present an example that supports our statement, that is, Theorem 2.3 is a generalization of Theorem 1.8.

### Example 2.4

Take $$\mathcal{X}=A \times A$$, where $$A=[0,11]$$ and is the usual distance. Define the mapping by

where . For $$\nu _{1}=(11,0)$$ and $$\nu _{2}=(2,0)$$, we have

and

Thus,

so that the inequality (1.6) does not hold for $$\varepsilon =0$$. That is, is not a Pata type Zamfirescu mapping.

Consider the function $$\alpha :\mathcal{X}\times \mathcal{X} \to [0,\infty )$$ given as

$$\alpha (\nu , \omega )= \textstyle\begin{cases} 2, &\text{if }\nu , \omega \in B, \\ 1, &\text{if }\nu =(11,0), \omega =(2,0), \\ 0, &\text{otherwise.} \end{cases}$$

Since the assumptions $$(i)$$$$(\mathit{iv})$$ are obviously satisfied, we have to prove that is an α-ζ̃-- Pata contraction. Take $$\alpha =\beta =1$$, $$\Lambda =6$$ and the functions $$\Psi (t)=\frac{t}{2}$$, .

For $$\nu , \omega \in B$$, we have , so that (2.1) holds.

For $$\nu =(11,0)$$ and $$\omega =(2,0)$$ we have

Due to the way the function α was defined, we omit the other cases.

## An application on a fractional boundary value problem

In this section, we ensure the existence of a solution of a nonlinear fractional differential equation (for more related details, see [1723]). Denote by $$\mathcal{X}= C[0,1]$$ the set of all continuous functions defined on $$[0,1]$$. We endow $$\mathcal{X}$$ with the metric given as

$$d(\rho ,\omega ) = \Vert \rho -\omega \Vert _{\infty }=\max _{s\in [0,1]} \bigl\vert \rho (s)- \omega (s) \bigr\vert .$$

Consider the fractional differential equation

$${}^{c}D^{\mu }\rho (t)=f\bigl(t,\rho (t) \bigr),\quad 0< t< 1,1< \mu \leq 2,$$
(3.1)

with boundary conditions

$$\textstyle\begin{cases} \rho (0)=0, \\ I\rho (1)=\rho '(0). \end{cases}$$
(3.2)

Here, $${}^{c}D^{\mu }$$ corresponds for the Caputo fractional derivative of order μ, given as

$$D^{\mu }f(t)=\frac{1}{\Gamma (n-\mu )} \int _{0}^{1}(t-s)^{n-\mu -1}f^{n}(s) \,ds,$$
(3.3)

where $$n-1<\mu <n$$ and $$n=[\mu ]+1$$, and $$I^{\mu }f$$ is the Riemann–Liouville fractional integral of order μ of a continuous function f, defined by

$$I^{\mu }f(t)=\frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f(s) \,ds, \quad \mu >0.$$
(3.4)

In [24], it is showed that the problem (3.1) and (3.2) can be written in the following integral form:

$$\rho (t)=\frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s,\rho (s) \bigr) \,ds+\frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r, \rho (r)\bigr)\,dr \,ds.$$
(3.5)

### Theorem 3.1

Assume that

1. 1.

$$f:[0,1]\times \mathbb{R}\rightarrow \mathbb{R}$$is continuous;

2. 2.

for all $$\rho ,\omega \in \mathcal{X}$$, we have

$$\bigl\vert f\bigl(s,\rho (s)\bigr)-f\bigl(s,\omega (s)\bigr) \bigr\vert \leq \frac{\varepsilon ^{2}}{4}\Gamma ( \mu +1) \bigl\vert \rho (s)-\omega (s) \bigr\vert ,$$
(3.6)

for each $$s\in [0,1]$$, where $$\varepsilon \in [0,1]$$.

Then the problem 3.1and 3.2possesses a unique solution.

### Proof

Consider the functional

$$T\rho (t)=\frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s,\rho (s) \bigr) \,ds+\frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r, \rho (r)\bigr)\,dr \,ds.$$
(3.7)

Note that a solution of (3.5) is also a fixed point of T. We mention that T is well posed. For all $$\rho ,\omega \in \mathcal{X}$$ and $$s\in [0,1]$$, we have

\begin{aligned} &\bigl|T\rho (t)-T(\omega (t)\bigr|\\ &\quad = \biggl\vert \frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{ \mu -1}f\bigl(s,\rho (s) \bigr) \,ds+\frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r,\rho (r) \bigr)\,dr \,ds \\ &\qquad{}-\frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s,\omega (s)\bigr) \,ds- \frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r, \omega (r)\bigr)\,dr \,ds \biggr\vert \\ &\quad \leq \biggl\vert \frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s, \rho (s) \bigr) \,ds-\frac{1}{\Gamma (\mu )} \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s, \omega (s)\bigr) \,ds \biggr\vert \\ &\qquad{}+ \biggl\vert \frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{ \mu -1}f\bigl(r,\rho (r) \bigr)\,dr \,ds-\frac{2t}{\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r,\omega (r)\bigr)\,dr \,ds \biggr\vert \\ &\quad \leq \frac{1}{\Gamma (\mu )} \biggl\vert \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s, \rho (s) \bigr) \,ds- \int _{0}^{t}(t-s)^{\mu -1}f\bigl(s,\omega (s)\bigr) \,ds \biggr\vert \\ &\qquad{}+ \frac{2}{\Gamma (\mu )} \biggl\vert \int _{0}^{1} \int _{0}^{s} (s-r)^{ \mu -1}f\bigl(r,\rho (r) \bigr)\,dr \,ds- \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1}f\bigl(r, \omega (r)\bigr)\,dr \,ds \biggr\vert \\ &\quad \leq \frac{\varepsilon ^{2}\Gamma (\mu +1)}{4\Gamma (\mu )} \int _{0}^{t} (t-s)^{\mu -1} \bigl\vert \rho (s)-\omega (s) \bigr\vert \,ds \\ &\qquad{}+ \frac{2 \varepsilon ^{2}\Gamma (\mu +1)}{4\Gamma (\mu )} \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1} \bigl\vert \rho (r)-\omega (r) \bigr\vert \,dr \,ds \\ &\quad \leq \frac{\varepsilon ^{2}\Gamma (\mu +1)}{4\Gamma (\mu )}d(x,y) \int _{0}^{t} (t-s)^{\mu -1} \,ds \\ &\qquad{}+ \frac{2 \varepsilon ^{2}\Gamma (\mu +1)}{4\Gamma (\mu )}d(x,y) \int _{0}^{1} \int _{0}^{s} (s-r)^{\mu -1} \,dr \,ds \\ &\quad \leq \frac{\varepsilon ^{2}\Gamma (\mu )\Gamma (\mu +1)}{4\Gamma (\mu )\Gamma (\mu +1)}d( \rho ,\omega ) \\ &\qquad{}+ 2 \varepsilon ^{2}B(\mu +1,1) \frac{\Gamma (\mu )\Gamma (\mu +1)}{4\Gamma (\mu )\Gamma (\mu +1)}d( \rho ,\omega ) \\ &\quad \leq \frac{\varepsilon ^{2}}{4}d(\rho ,\omega )+ \frac{\varepsilon ^{2}}{2}d(\rho ,\omega ) \\ &\quad \leq \varepsilon ^{2} d(\rho ,\omega ), \end{aligned}

where B is the beta function. Consequently, one has

where $$\psi (\varepsilon )=\varepsilon$$, $$\beta =\lambda =1$$ and $$\Lambda =2$$. Applying Theorem 2.3, the functional T admits a unique fixed point, that is, the problem (3.1) and (3.2) possesses a unique solution. □

## Conclusion and remarks

Our results merged from and generalized several existing results in the related literature. First of all, as underlined in Remark 2.2, the main result of [16] is a consequence of our given theorem. On the other hand, by choosing the auxiliary functions in a proper way, we may state a long list of corollaries. More precisely, by choosing the mapping α in a proper way, we can get the analogue of our result in the setting of partially ordered metric spaces, or in the set-up of cyclic mappings. Note that, if we take $$\alpha (x,y)=1$$ for all x, y, we get the standard fixed point theorems in the context of complete metric spaces; see [2529]. In addition, by choosing the appropriate simulation function, one can get several more results; see [3035].

## References

1. 1.

Khojasteh, F., Shukla, S., Radenović, S.: A new approach to the study of fixed point theorems via simulation functions. Filomat 29(6), 1189–1194 (2015)

2. 2.

Karapınar, E.: Fixed points results via simulation functions. Filomat 30, 2343–2350 (2016)

3. 3.

Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 3, 133–181 (1922)

4. 4.

Agarwal, P., Jleli, M., Samet, B.: A coupled fixed point problem under a finite number of equality constraints. In: Fixed Point Theory in Metric Spaces, pp. 123–138. Springer, Singapore (2018)

5. 5.

Abdeljawad, T., Mlaiki, N., Aydi, H., Souayah, N.: Double controlled metric type spaces and some fixed point results. Mathematics 6(12), 320 (2018)

6. 6.

Agarwal, P., Jleli, M., Samet, B.: JS-metric spaces and fixed point results. In: Fixed Point Theory in Metric Spaces, pp. 139–153. Springer, Singapore (2018)

7. 7.

Alamgir, N., Kiran, Q., Isık, H., Aydi, H.: Fixed point results via a Hausdorff controlled type metric. Adv. Differ. Equ. 2020, 24 (2020)

8. 8.

Afshari, H., Aydi, H., Karapınar, E.: On generalized $$\alpha -\psi$$-Geraghty contractions on b-metric spaces. Georgian Math. J. 27(1), 9–21 (2020)

9. 9.

Agarwal, P., Jleli, M., Samet, B.: On Ran–Reurings fixed point theorem. In: Fixed Point Theory in Metric Spaces, pp. 25–44. Springer, Singapore (2018)

10. 10.

Asim, M., Nisar, K.S., Morsy, A., Imdad, M.: Extended rectangular $$M_{r\xi }$$-metric spaces and fixed point results. Mathematics 7(12), 1136 (2019)

11. 11.

Pata, V.: A fixed point theorem in metric spaces. J. Fixed Point Theory Appl. 10, 299–305 (2011)

12. 12.

Kadelburg, Z., Radenović, S.: Fixed point theorems under Pata-type conditions in metric spaces. J. Egypt. Math. Soc. 24, 77–82 (2016)

13. 13.

Kadelburg, Z., Radenović, S.: A note on Pata-type cyclic contractions. Sarajevo J. Math. 11(24), No. 2, 235–245 (2015)

14. 14.

Kadelburg, Z., Radenović, S.: Pata-type common fixed point results in b-metric and b-rectangular metric spaces. J. Nonlinear Sci. Appl. 8, 944–954 (2015)

15. 15.

Kadelburg, Z., Radenović, S.: Fixed point and tripled fixed point theprems under Pata-type conditions in ordered metric spaces. Int. J. Anal. Appl. 6(1), 113–122 (2014)

16. 16.

Jacob, G.K., Khan, M.S., Park, C., Yun, S.: On generalized Pata type contractions. Mathematics 6, 25 (2018)

17. 17.

Valliammal, N., Ravichandran, C., Nisar, K.S.: Solutions to fractional neutral delay differential nonlocal systems. Chaos Solitons Fractals 138, 109912 (2020)

18. 18.

Aydi, H., Jleli, M., Samet, B.: On positive solutions for a fractional thermostat model with a convex–concave source term via ψ-Caputo fractional derivative. Mediterr. J. Math. 17(1), 16 (2020)

19. 19.

Shaikh, A.S., Nisar, K.S.: Transmission dynamics of fractional order Typhoid fever model using Caputo–Fabrizio operator. Chaos Solitons Fractals 128, 355–365 (2019)

20. 20.

Budhia, L., Aydi, H., Ansari, A.H., Gopal, D.: Some new fixed point results in rectangular metric spaces with an application to fractional-order functional differential equations. Nonlinear Anal., Model. Control 25, 1–18 (2020)

21. 21.

Ameer, E., Aydi, H., Arshad, M., De la Sen, M.: Hybrid Ćirić type graphic $$( \Upsilon ,\Lambda )$$-contraction mappings with applications to electric circuit and fractional differential equations. Symmetry 12(3), 467 (2020)

22. 22.

Shaikh, A., Tassaddiq, A., Nisar, K.S., Baleanu, D.: Analysis of differential equations involving Caputo–Fabrizio fractional operator and its applications to reaction diffusion equations. Adv. Differ. Equ. 2019, 178 (2019)

23. 23.

Shatanawi, W., Karapinar, E., Aydi, H., Fulga, A.: Wardowski type contractions with applications on Caputo type nonlinear fractional differential equations. Sci. Bull. “Politeh.” Univ. Buchar., Ser. A, Appl. Math. Phys. 82(2), 157–170 (2020)

24. 24.

Senapati, T., Dey, L.K.: Relation-theoretic metrical fixed point results via w-distance with applications. J. Fixed Point Theory Appl. 19(4), 2945–2961 (2017)

25. 25.

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

26. 26.

Alsulami, H., Gulyaz, S., Karapinar, E., Erhan, I.M.: Fixed point theorems for a class of alpha-admissible contractions and applications to boundary value problem. Abstr. Appl. Anal. 2014, Article ID 187031 (2014)

27. 27.

Aksoy, U., Karapinar, E., Erhan, I.M.: Fixed points of generalized α-admissible contractions on b-metric spaces with an application to boundary value problems. J. Nonlinear Convex Anal. 17(6), 1095–1108 (2016)

28. 28.

Ameer, E., Aydi, H., Arshad, M., Alsamir, H., Noorani, M.S.: Hybrid multivalued type contraction mappings in $$\alpha _{K}$$-complete partial b-metric spaces and applications. Symmetry 11(1), 86 (2019)

29. 29.

Aydi, H., Karapinar, E., Francisco Roldan Lopez de Hierro, A.: w-interpolative Ciric–Reich–Rus type contractions. Mathematics 7(1), 57 (2019)

30. 30.

Alghamdi, M.A., Gulyaz-Ozyurt, S., Karapınar, E.: A note on extended Z-contraction. Mathematics 8, 195 (2020)

31. 31.

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)

32. 32.

Alqahtani, O., Karapinar, E.: A bilateral contraction via simulation function. Filomat 33(15), 4837–4843 (2019)

33. 33.

Aydi, H., Lakzian, H., Mitrovic, Z.D., Radenovic, S.: Best proximity points of MF-cyclic contractions with property UC. Numer. Funct. Anal. Optim. 41(7), 871–882 (2020)

34. 34.

Ma, Z., Asif, A., Aydi, H., Ullah Khan, S., Arshad, M.: Analysis of F-contractions in function weighted metric spaces with an application. Open Math. 18, 582–594 (2020)

35. 35.

Roldan Lopez de Hierro, A.F., Karapınar, E., Roldan Lopez de Hierro, C., Martinez-Moreno, J.: Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 275, 345–355 (2015)

### Acknowledgements

The authors thank the anonymous referees for their remarkable comments, suggestions, and ideas, which helped to improve this paper. The authors also thanks to their universities.

### Availability of data and materials

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

## Funding

We declare that funding is not applicable for our paper.

## Author information

Authors

### Contributions

Writing-review and editing were done by HA, AF 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 Hassen Aydi.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Karapinar, E., Fulga, A. & Aydi, H. Study on Pata E-contractions. Adv Differ Equ 2020, 539 (2020). https://doi.org/10.1186/s13662-020-02992-4

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13662-020-02992-4

• 46T99
• 54E50
• 54H10

### Keywords

• Fixed point
• Pata type contraction
• E-contraction
• Fractional integral equation