New Fixed Point Theorems with Applications to Non-Linear Neutral Differential Equations

The aim of this study is to investigate the existence of solutions for a non-linear neutral differential equation with an unbounded delay. To achieve our goals, we take advantage of fixed point theorems for self-mappings satisfying a generalized (α, φ) rational contraction, as well as cyclic contractions in the context of F -metric spaces. We also supply an example to support the new theorem.


Introduction
The concept of a metric space was initiated by Frechet [1] in the following way: A metric on a non-empty set S is a mapping d : S × S → [0, +∞) satisfying the following properties: for all u, v, w ∈S.The pair (S, d) is called a metric space.Many interesting generalizations (or extensions) of the metric space have recently appeared.Czerwik [2], Branciari [3], and Matthews [4] initiated the notions of b-metric spaces, generalized metric spaces, and partial metric spaces resepctively.Very recently, Jleli et al. [5] introduced an attractive generalization of a metric space, as follows.
(D 3 ) For each (u, v) ∈ S × S, for each N ∈ N (N ≥ 2), and for every (w i ) N i=1 ⊂ S such that (w 1 , w N ) = (u, v), we have Then, d F is called an F -metric on S, and (S, d F ) is called an F -metric space.
Remark 1.This notion of a F -metric is more comprehensive than the notion of a standard metric, because any metric d is an F -metric d F ; however, the converse is not true.
(i) A sequence {u n } in S is said to be F -convergent to some u ∈ S if {u n } is convergent to u, with respect to d F .
(ii) {u n } is said to be F -Cauchy, if Theorem 1. [5] Let (S, d F ) be an F -metric space and J : S → S. Suppose that the following assertions are satisfied: Then J has a unique fixed point u * ∈ S.Moreover, for any u 0 ∈ S, the sequence {u n } ⊂ S defined by Furthermore, Alnaser et al. [6] and Lateef et al. [7] obtained the relation-theoretic contraction results and the fixed point theorems of Dass and Gupta, respectively, owing to the notion of F -metric spaces.

Materials and Methods
In this paper, we employ an F -metric space (S, d F ) and a self mapping J : S → S to define some generalized contractions, named (α,ϕ) rational contractions and cyclic contractions.A family of non-decreasing functions ϕ : [0, +∞) → [0, +∞) satisfying ∑ ∞ n=1 ϕ n (t) < +∞ for all t > 0, where ϕ n is the n-th iterate of ϕ and a real-valued function α : S × S → [0, +∞) with the concept of α-admissibility is used.To verify the effectiveness and applicability of our main results, the solution of a differential equation is also manipulated.We define a sequence {u n } in S by u n+1 = J (u n ) for all n ∈ N. By using the different assumptions given in the contractive conditions, we establish that {u n } is a Cauchy sequence.We take (S, d F ) to be F -complete, and so {u n } converges to a point u * ∈ S.Then, we prove that u * is a fixed point of the mapping J : S → S.

Results
The aim of this section is to define (α,ϕ) rational contractions and then cyclic contractions in the setting of F -metric spaces, in order to establish some new fixed point results.
Then, J has a fixed point.
Definition 4. Let (S, d F ) be an F -metric space.The mapping J : S → S is said to be an (α,ϕ) rational contraction if there exist two functions α : S × S → [0, +∞) and ϕ ∈ Ψ, such that where for u, v ∈ S.
Theorem 3. Let (S, d F ) be an F -metric space and J : S → S be both an (α,ϕ) rational contraction and α-admissible.Suppose that the following assertions are satisfied: Then, J has a fixed point u * ∈ S where , then, from (5), we obtain which is a contradiction.Hence, max{d Inductively, we get for all n ∈ N. Suppose we have ( f , h) ∈ F × [0, +∞) such that (D 3 ) is assured, and fix > 0. From Hence, by ( 7), (F 1 ), and (F 2 ), we have for m > n ≥ n( ).By (D 3 ) and ( 9), we get d Suppose that d F (J (u * ), u * ) > 0. By (F 1 ) and (D 3 ), we have By (3), we have Taking the limit as n → ∞, and using (F 2 ) and ( 10), we have Taking the limit as n → ∞, and using (F 2 ) and ( 10), we have Now, we prove that u * is unique.So, we take the following property: (P) α(u, v) ≥ 1 for J (u) =u and J (v) =v and u, v ∈S.Proof.Let u * , u ∈ S be two fixed points of J such that u * = u.Then, by hypothesis (P), α(u * , u) ≥ 1.Then, which is a contradiction.Hence, J has a unique fixed point in S.
Example 3. Let S = R and d F be an F -metric given by Take f (t) = −1 t and h = 1.Define J : S → S by Clearly, J is an (α, ϕ) rational contraction with ϕ(t) = kt for all t ≥ 0 and k ∈ (0, 1).In fact, for all u, v ∈ S, we have All the conditions of Theorem 3 are satisfied and, hence, there exists a unique 0 ∈ S, such that J (0) = 0.

Fixed Point Result for Cyclic Contractions
Another attractive topic in fixed point theory is the concept of cyclic mappings, introduced by Kirk et al. [9] in 2003.Later on, Shahzad et al. [10,11] utilized this notion and obtained some fixed and proximity point results in complete metric spaces.In this section, we define a cyclic contraction in the context of an F -metric space, as follows: Definition 5. Let S be a non-empty set, m be a positive integer, and J : S → S be an operator.By definition, S = ∪ m i=1 S i is a cyclic representation of S with respect to J , if (1) S i , i = 1, 2, ..., m are non-empty sets, and (2) J (S 1 ) ⊆ S 2 , J (S 2 ) ⊆ S 3 , ..., J (S m−1 ) ⊆ S m , J (S m ) ⊆ S 1 .
Definition 6.Let (S, d F ) be an F -metric space and {A j } m j=1 be a family of non-empty closed subsets of S and Y = ∪ m j=1 A j .A self-mapping J : Y → Y is said to be a cyclic contraction if for all u ∈ A j and v ∈ A j+1 , j = 1, 2, ..., m, where λ ∈ (0, 1).
Theorem 5. Let (S, d F ) be a complete F -metric space and J : Y → Y be a cyclic contraction.Then, J has a unique fixed point in ∩ m j=1 A j .
Proof.Let u 0 ∈ Y be an arbitrary element.Without loss of generality, we assume that u 0 ∈ A 1 .
Define the sequence u n+1 = J u n for all n ∈ N. As J is cyclic, .., and so on.If u n 0 +1 = u n 0 for some n 0 ∈ N, then, obviously, the fixed point of J is u n 0 .So, we assume that u n+1 = u n for all n ∈ N.Then, by (11), we have for n ∈ N, which implies that As Hence, by ( 14) and (F 2 ), we get for m > n ≥ N. Applying (D 3 ) and (15), we get d which implies, by (F 1 ), that d F (u n , u m ) < , m > n ≥ N, which demonstrates that {u n } is F -Cauchy.Now, the completeness of S implies that there exists u * ∈ S, such that Pursuing in this way, we have {u mn−1 } ∞ n=1 ∈ A m .All of these subsequences are convergent.They all converge to the one point u * .Furthermore, the sets A j are closed.Hence, Now, we prove that u * is a fixed point of J .Assume, on the contrary, that J u * = u * .Then, d F (J u * , u * ) > 0. By (D 3 ), we have By (F 2 ) and (17), we have This implies that d F (J (u * ), u * ) = 0, which is a contradiction.Thus, J (u * ) = u * .Now, we show that u * is unique.Assume, on the contrary, that there exist two distinct fixed points u * and u of J ; that is, J (u * ) = u * , J ( u) = u, and u * = u.Then, d F (u * , u) > 0. Now, by definition, we have which is a contradiction.Thus, u * = u.

Applications
In this section, we will discuss the solution of the following differential equation u / (t) = −e 1 (t)u(t) + e 2 (t)g(u(t − s(t))) + e 3 (t)u / (t − s(t)). ( The following lemma, of Djoudi et al. [12], will prove to be very useful. Lemma 2. [12] Assume that s / (t) = 1 ∀t ∈ R.Then, u(t) is a solution of (18) if where h(w) = s // (w)e 3 (w) + e / 3 (w) + e 3 (w)e 1 (w) (1 Now, suppose that ϕ : (−∞, 0] → R is a continuous bounded initial function.Then, u(t) = u(t, 0, ϕ) is a solution of (18) if u(t) = ϕ(t) for t ≤ 0 and assures (18) for t ≥ 0. Let C be the space of all continuous functions from R to R. Define the set B ϕ by Then, B ϕ is a Banach space equipped with the supremum norm • .Lemma 3. [13] The space (B ϕ , • ) provided with d given by We state and prove the followin theorem as an application of our main result.Theorem 6.Let Q : B ϕ → B ϕ be the mapping defined by (Qτ)(t) = τ(0) − e 3 (0) for all τ ∈ B ϕ .Assume that these assertions are satisfied: (i) There exist µ ≥ 0 and ϕ ∈ Ψ such that for all τ, σ ∈ B ϕ ; and (ii) Then, Q has a fixed point.

Proof. Define
Hence, which implies that Q is a rational (α,ϕ)-contraction.Thus, by Theorem 3, Q has a unique fixed point in B ϕ which solves (18).

Discussion
To generalize the notion of a metric space, a new class of metric spaces, called F -metric spaces, was introduced by Jleli and Samet [5].It was shown that any standard metric d is an F -metric d F ; however, the converse is not true.Actually, if d F is a metric on S, then the conditions (D 1 ) and (D 2 ) are satisfied.Otherwise, by the triangle inequality, for every (u, v) ∈ S × S, for each N ∈ N (N ≥ 2), and for every (w i ) N i=1 ⊂ S such that (w 1 , w N ) = (u, v), we have which implies that Then, d F assures (D 3 ) with f (θ) = ln(θ), θ > 0, and h = 0.In this paper, some fixed point theorems for (α, ϕ) rational contractions and cyclic contractions, in the context of F -metric spaces, are established.By the above note, our main Theorems 3 and 5 are real generalizations of the results of [9].By example 1, several fixed point theorems can be obtained in F -metric spaces.

Conclusions
In the present paper, we have defined (α, ϕ) rational contractions and cyclic contractions in the setting of F -metric spaces and obatined some generalized fixed point results.The neutral delay differential equations seen in the modelling of networks involving lossless transmission lines and in investigations of vibrating masses attached to an elastic bar, as well as used as the Euler equation in some variational problems, theory of automatic control, and neuromechanical systems in which inertia plays a significant role.As an application of our main results, the existence of solution for a certain differential equation is also investigated.We also have provided an example to support the new theorem.Our results are new and significantly contribute to the existing literature in the fixed point theory.
In this area, our future work will focus on studying the fixed points of multi-valued and fuzzy mappings in F -metric spaces, with fractional differential inclusion problems as applications.

Theorem 4 .
Assume the hypotheses of Theorem 3. If we add the property (P), then we get the uniqueness of the fixed point.