검색
Article Search

JMB Journal of Microbiolog and Biotechnology

OPEN ACCESS eISSN 0454-8124
pISSN 1225-6951
QR Code

Articles

Kyungpook Mathematical Journal 2018; 58(4): 651-675

Published online December 31, 2018

Copyright © Kyungpook Mathematical Journal.

Existence of Solutions of Integral and Fractional Differential Equations Using α-type Rational F-contractions in Metric-like Spaces

Hemant Kumar Nashine, Zoran Kadelburg∗, Ravi P. Agarwal

Department of Mathematics, Texas A & M University - Kingsville - 78363-8202, Texas, USA
e-mail : drhknashine@gmail.com
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore-632014, TN, India
e-mail : hemant.nashine@vit.ac.in

University of Belgrade, Faculty of Mathematics, Studentski trg 16, 11000 Beograd, Serbia
e-mail : kadelbur@matf.bg.ac.rs

Department of Mathematics, Texas A & M University - Kingsville - 78363-8202, Texas, USA
e-mail : agarwal@tamuk.edu

Received: September 4, 2017; Revised: August 8, 2018; Accepted: August 13, 2018

Abstract

Go to

We present α-type rational F-contractions in metric-like spaces, and respective fixed and common fixed point results for weakly α-admissible mappings. Useful examples illustrate the effectiveness of the presented results. As applications, we obtain sufficient conditions for the existence of solutions of a certain type of integral equations followed by examples of nonlinear fractional differential equations that are verified numerically.

Keywords: metric-like space, weakly α-admissible mapping, F-contraction, integral equation, fractional differential equation.

1. Introduction and Preliminaries

Go to

The Banach Contraction Principle (BCP) is the most famous elementary result in the metric fixed point theory. A huge amount of literature contains applications, generalizations and extensions of this principle carried out by several authors in different directions, e.g., by weakening the hypotheses, using different setups, considering various types of mappings and generalized form of metric spaces, see, e.g., [2, 6, 7, 10, 12, 14, 15, 18].

In this context, Matthews [12] introduced the notion of a partial metric space as a part of the study of denotational semantics of data-flow networks. He showed that BCP can be generalized to the partial metric context for applications in program verifications. Note that in partial metric spaces, self-distance of an arbitrary point need not be equal to zero.

Hitzler and Seda [6], resp. Amini-Harandi [2] made a further generalization under the name of dislocated, resp. metric-like space, also having the property of “non-zero self-distance”. Amini-Harandi defined σ-completeness of these spaces. Further, Shukla et al. introduced in [15] the notion of 0-σ-complete metric-like space and proved some fixed point theorems in such spaces, as improvements of Amini-Harandi’s results.

We recall some definitions and facts which will be used throughout the paper.

Definition 1.1.([2])

A mapping , for a nonempty set , is called metric-like if, for all x, y, ,

  • (σ1) σ(x, y) = 0 ⇒ x = y;

  • (σ2) σ(x, y) = σ(y, x);

  • (σ3) σ(x, y) ≤ σ(x, z) + σ(z, y).

In this case, the pair ( , σ) is called a metric-like space.

Example 1.2.([2])

Let and be defined by

σ(x,y)={2,if   x=y=0,1,otherwise.

Then ( , σ) is a metric-like space, but it is neither a metric space nor a partial metric space, since σ(0, 0) > σ(0, 1).

Example 1.3.([14])

Let . Then the mappings , defined by

σ1(x,y)=∣x∣+∣y∣+a,         σ2(x,y)=∣x-b∣+∣y-b∣,         σ3(x,y)=x2+y2,

where a ≥ 0 and b ∈ ℝ, are metric-like on .

Definition 1.4.([2, 15])

Let ( , σ) be a metric-like space. Then:

  • A sequence {xn} in converges to a point (denoted as xn → x as n → ∞) if limn→∞σ(xn, x) = σ(x, x). A sequence {xn} is said to be σ-Cauchy if limn,m→∞σ(xn, xm) exists and is finite. The space ( , σ) is called σ-complete if for each σ-Cauchy sequence {xn}, there exists such that

    limn→∞ σ(xn,x)=σ(x,x)=limn,m→∞ σ(xn,xm).

  • A sequence {xn} in ( , σ) is called a 0-σ-Cauchy sequence if limn,m→∞σ(xn, xm) = 0. The space ( , σ) is said to be 0-σ-complete if every 0-σ-Cauchy sequence in converges to a point such that σ(x, x) = 0.

  • A mapping is σ-continuous, if xn → x as n→∞ in ( , σ) implies that fxn → fx as n→∞.

It is easy to show (e.g., [2]) that the limit of a sequence in a metric-like space might not be unique.

Lemma 1.5.([9])

Let ( , σ) be a metric-like space.

  • If x, then σ(x, y) = 0 implies that σ(x, x) = σ(y, y) = 0.

  • If a sequence {xn} inconverges to somewith σ(x, x) = 0 then limn→∞σ(xn, y) = σ(x, y) for all.

It is clear that if a metric-like space is σ-complete, then it is 0-σ-complete [15]. The converse assertion does not hold as the following example shows.

Example 1.6.([15])

Let and be defined by

σ(x,y)={2x,if   x=y,max {x,y},otherwise,

for all . Then ( , σ) is a metric-like space. It is easy to see that ( , σ) is a 0-σ-complete metric-like space, while it is not a σ-complete metric-like space.

In the paper [18], Wardowski introduced a new type of contractions which he called F-contractions. Several authors proved various variants of fixed point results using such contractions. In Wardowski’s approach, the following set of functions is used:

Definition 1.7

Denote by the family of all functions F : ℝ+ → ℝ with the following properties:

  • (F1) F is strictly increasing;

  • (F2) for each sequence {tn} of positive numbers,

    limn→∞ tn=0 if and only if limn→∞ F(tn)=-∞.

  • (F3) There exists k ∈ (0, 1) such that limt→0+ tk F(t) = 0.

Example 1.8.([18])

Let Fi : ℝ+ → ℝ (i ∈ {1, 2, 3, 4}) be defined by F1(t) = lnt, F2(t) = t + lnt, F3(t)=-1/t, F4(t) = ln(t2 + t). Then each Fi satisfies the properties (F1)–(F3).

Definition 1.9.([18])

Let ( , d) be a metric space. A self-mapping f on is called an F-contraction if there exist and τ ∈ ℝ+ such that

τ+F(d(fx,fy))≤F(d(x,y)),

for all with d(fx, fy) > 0.

Note that, taking defined by F(t) = lnt, the relation (1.1) reduces to

d(fx,fy)≤e-τd(x,y),         x≠y,

i.e., such mapping is a (Banach-type) contraction. However, other functions may produce new concepts (see the respective examples in [18]). Hence, the notion of F-contraction is more general than the notion of contraction.

Contraction-type mappings have been also generalized in other directions. In the series of generalizations, Samet et al. [13] introduced the concept of α-admissible maps and gave the concept of α-ψ-contractive mapping, thus generalizing BCP. Hussain et al. [7] mixed both these concepts and introduced α-GF-contraction and obtained some interesting fixed point results. Following this direction of research, Gopal et al. [5] introduced the concept of α-type F-contractive mappings and gave relevance to fixed point and periodic point theorems, as well as an application to nonlinear fractional differential equations. Some other related work can be seen in [1, 8].

With the above discussion in mind, we introduce in this paper the notion of α-type rational F-contractive mapping in a metric-like space and derive some fixed and common fixed point results. Further, we give some examples and counterexamples to illustrate the applicability and effectiveness of the results compared with existing results in metric spaces. In the next section, we present an application to a certain class of integral equations. We consider also an integral equation arising in the theory of nonlinear fractional differential equations and verify it numerically.

2. Discussion on Fixed Point Results

Go to

Recently, Sintunavarat [16] introduced the notion of weakly α-admissible map and discussed respective fixed point results in metric spaces.

Definition 2.1

For a nonempty set , let and f : be two mappings. Then f is said to be:

  • [13] α-admissible if:

    x,y∈X with α(x,y)≥1⇒α(fx,fy)≥1.

  • [16] weakly α-admissible if:

    x∈X with α(x,fx)≥1⇒α(fx,f fx)>1.

Example 2.2

Let . Define mappings and by

α(x,y)={ex+y,x,y∈[0,1]ln(2x+y),otherwise,   and   f(x)={2 tanh (3x2),if x∈[0,1]ln 3x,otherwise.

It is easy to see that f is not an α-admissible mapping, however, it is weakly α-admissible.

In what follows, we use the following terminology from the paper [17]. For a nonempty set and a mapping , we use and to denote the collection of all α-admissible mappings on and the collection of all weakly α-admissible mappings on , respectively. Obviously,

A(X,α)⊂WA(X,α)

and, by the previous example, the inclusion can be strict.

We introduce now the notion of α-type rational F-contraction in a metric-like space as follows.

Definition 2.3

Let ( , σ) be a metric-like space and . A self-mapping f on is called an α-type rational F-contraction, if there exist and τ ∈ ℝ+ such that

u,v∈X with α(u,v)≥1 and σ(fu,fv)>0 impliesτ+F(σ(fu,fv))≤F (Δf(u,v)),

where

Δf(u,v)=max {σ(u,v),σ(u,fu),σ(v,fv),σ(u,fv)+σ(v,fu)4σ(u,fu)σ(v,fv)1+σ(u,v),σ(u,fu)σ(v,fv)1+σ(fu,fv)}.

We denote by the collection of all α-type rational F-contractive mappings on ( , σ).

If we take F(t) = lnt and τ=ln(1λ), where λ = (0, 1), we see that every α-type rational contraction is also an α-type rational F-contraction in a metric-like space. However, for other functions , new conditions can be obtained (see further Remark 2.7).

We are equipped now to state our first main result.

Theorem 2.4

Let ( , σ) be a 0-σ-complete metric-like space and letandbe given mappings. Suppose that the following conditions hold:

  • (AF1) ;

  • (AF2) there existssuch that α(u0, fu0) ≥ 1;

  • (AF3) α has a transitive property, that is, for u, v, ,

    α(u,v)≥1 and α(v,w)≥1⇒α(u,w)≥1;

  • (AF4) f is σ-continuous.

  • Then f has a fixed pointsuch that σ(u*, u*) = 0.

Proof

Starting from the given satisfying α(u0, fu0) ≥ 1, define a sequence {un} in by un+1 = fun for n ∈ ℕ* = ℕ ∪ {0}. If there exists n0 ∈ ℕ* such that un0 = un0+1, then un0 ∈ Fix(f) and hence the proof is completed. Hence, we will assume that un ≠ un+1 for all n ∈ ℕ* and let ϱn = σ(un, un+1) for n ∈ ℕ*. Then ϱn > 0 for all n ∈ ℕ*. We will prove that limn→∞ ϱn = 0.

Using that and α(u0, fu0) ≥ 1, we have

α(u1,u2)=α(fu0,f fu0)≥1.

Repeating this process, we obtain

α(un+1,un+2)≥1,         ∀n∈ℕ*.

It follows from that

τ+F(ϱn)=τ+F(σ(xn+1,xn))=τ+F(σ(fxn,fxn-1))≤F (max {σ(xn,xn-1),σ(xn,fxn),σ(xn-1,fxn-1),σ(xn,fxn-1)+σ(xn-1,fxn)4,σ(xn,fxn)σ(xn-1,fxn-1)1+σ(xn,xn-1),σ(xn,fxn)σ(xn-1,fxn-1)1+σ(fxn,fxn-1)})=F (max {σ(xn,xn-1),σ(xn,xn+1),σ(xn-1,xn),σ(xn,xn)+σ(xn-1,xn+1)4,σ(xn,xn+1)σ(xn-1,xn)1+σ(xn,xn-1),σ(xn,xn+1)σ(xn-1,xn)1+σ(xn+1,xn)})≤F (max {σ(xn,xn-1),σ(xn,xn+1),3σ(xn,xn+1)+σ(xn-1,xn)4})≤F(max {σ(xn,xn-1),σ(xn,xn+1)})≤F(max {ϱn-1,ϱn}).

If ϱn−1 ≤ ϱn for some n ∈ ℕ, then from (2.3) we have τ + F(ϱn) ≤ F(ϱn), which is a contradiction since τ > 0. Thus ϱn−1 > ϱn for all n ∈ ℕ and so from (2.3) we have

F(ϱn)≤F(ϱn-1)-τ.

Therefore we derive

F(ϱn)≤F(ϱn-1)-τ≤F(ϱn-2)-2τ≤⋯≤F(ϱ0)-nτ for all n∈ℕ,

that is,

F(ϱn)≤F(ϱ0)-nτ for all n∈ℕ.

From (2.4), we get F(ϱn)→–∞ as n→∞. Thus, from (F2), we have

limn→∞ ϱn=0.

Now by the property (F3), there exists k ∈ (0, 1) such that

limn→∞ (ϱn)kF(ϱn)=0.

By (2.6), the following holds for all n ∈ ℕ:

(ϱn)kF(ϱn)-(ϱn)kF(ϱ0)≤(ϱn)k(-nτ)≤0.

Passing to the limit as n→∞ in (2.7), and using (2.5)–(2.6) we obtain

limn→∞ n(ϱn)k=0.

From (2.8), there exits n1 ∈ ℕ such that n(ϱn)k ≤ 1 for all n ≥ n1. So, we have, for all n ≥ n1

ϱn≤1n1/k.

In order to show that {xn} is a 0-σ-Cauchy sequence, consider m, n ∈ ℕ such that m > n ≥ n1. Using the property (σ3) and (2.9), we have

σ(xn,xm)≤σ(xn,xn+1)+σ(xn+1,xn+2)+⋯+σ(xm-1,xm)=ϱn+ϱn+1+⋯+ϱm-1=∑i=nm-1ϱi≤∑i=n∞ϱi≤∑i=n∞1n1/k.

By the convergence of the series ∑n=1∞1n1/k, passing to the limit as n→∞, we get σ(xn, xm) → 0 and hence {xn} is a 0-σ-Cauchy sequence in ( , σ). Since is a 0-σ-complete metric-like space, there exists a such that

limn,m→∞ σ(xn,xm)=limn→∞ σ(xn,u*)=σ(u*,u*)=0.

Now, since f is σ-continuous, we obtain from (2.10) that

limn,m→∞ σ(fxn,fu*)=limn→∞ σ(xn+1,fu*)=σ(u*,fu*)=0.

This proves that u* is a fixed point of f such that σ(u*, u*) = 0.

We note that the previous result can still be valid for f not necessarily σ-continuous. We have the following result.

Theorem 2.5

Let ( , σ) be a 0-σ-complete metric-like space, let, andbe given mappings. Suppose that the assumptions (AF1)–(AF3) of Theorem 2.4 hold, as well as:

  • (AF4′) F is continuous;

  • (AF5) is α-regular, i.e., if {un} is a sequence inwith α(un, un+1) ≥ 1 for n ∈ ℕ and un → u* as n→∞, then α(un, u*) ≥ 1 for n ∈ ℕ.

Then f has a fixed pointsuch that σ(u*, u*) = 0.

Proof

Following the proof of Theorem 2.4, we obtain a 0-σ-Cauchy sequence {un} in the 0-σ-complete metric-like space ( , σ). Hence, there exists such that

limn→∞ σ(un,u*)=σ(u*,u*)=0.

We have to prove that fu* = u*. Assume, to the contrary, that u* ≠ fu*. In this case, there exist an n0 ∈ ℕ and a subsequence {unk} of {un} such that σ(funk, fu*) > 0 for all nk ≥ n0. (Otherwise, there exists n1 ∈ ℕ such that un = fu* for all n ≥ n1, which implies that un → fu*. This is a contradiction, since u* ≠ fu*.) By α-regularity of , we have α(un, u*) ≥ 1 for all n ∈ ℕ. Since σ(funk, fu*) > 0 for all nk ≥ n0, then from (2.1), we have

τ+F(σ(unk+1,fu*))=τ+F(σ(funk,fu*))≤F (max {σ(unk,u*),σ(unk,funk),σ(u*,fu*),σ(unk,fu*)+σ(u*,funk)4σ(unk,funk)σ(u*,fu*)1+σ(unk,u*),σ(unk,funk)σ(u*,fu*)1+σ(funk,fu*)})=F (max {σ(unk,u*),σ(unk,unk+1),σ(u*,fu*),σ(unk,fu*)+σ(u*,unk+1)4σ(unk,unk+1)σ(u*,fu*)1+σ(unk,u*),σ(unk,unk+1)σ(u*,fu*)1+σ(unk+1,fu*)}).

Passing to the limit as k → ∞ and using the continuity of F we have τ + F(σ(u*, fu*)) ≤ F(σ(u*, fu*)), a contradiction. Therefore the claim is true, that is u* = fu* with σ(u*, u*) = 0.

To ensure the uniqueness of the fixed point, we will consider the following hypothesis.

  • (H0): For all x, y ∈ Fix(f), α(x, y) ≥ 1.

Theorem 2.6

Adding condition (H0) to the hypotheses of Theorem 2.4 (respectively, Theorem 2.5) then fu* = u*, fv* = v* and σ(u*, u*) = σ(v*, v*) = 0 imply that u* = v*.

Proof

Suppose that fu* = u*, fv* = v*, σ(u*, u*) = σ(v*, v*) = 0, and, to the contrary, u* ≠ v*, hence σ(u*, v*) > 0. By the assumption, we can replace u by u* and v by v* in the condition (2.1), and we get

τ+F(σ(u*,v*))=τ+F(σ(fu*,fv*))≤F (max {σ(u*,v*),σ(u*,fu*),σ(v*,fv*),σ(u*,fv*)+σ(v*,fu*)4,σ(u*,fu*)σ(v*,fv*)1+σ(u*,v*),σ(u*,fu*)σ(v*,fv*)1+σ(fu*,fv*)})≤F (max {σ(u*,v*),σ(u*,v*)2})=F(σ(u*,v*))

a contradiction, which implies that u* = v*.

Remark 2.7

Taking various concrete functions in the condition (2.1) of Theorems 2.4–2.6, we can get various α-type rational F-contractive conditions. We state just a few examples (recall that Δf (u, v) is defined in (2.2)).

  • Taking F(t) = lnt (t > 0) and τ=ln(1λ), where λ ∈ (0,1), we have the condition

    u,v∈X with α(u,v)≥1 and σ(fu,fv)>0 impliesσ(fu,fv)≤λΔf(u,v).

  • Taking F(t) = lnt + t (t > 0) and τ=ln(1λ), where λ ∈ (0,1), we have the condition

    u,v∈X with α(u,v)≥1 and σ(fu,fv)>0 impliesσ(fu,fv)eσ(fu,fv)-Δf(u,v)≤λΔf(u,v).

  • Taking F(t)=-1t(t>0), the condition is

    u,v∈X with α(u,v)≥1 and σ(fu,fv)>0 impliesσ(fu,fv)≤1(1+τΔf(u,v))2Δf(u,v),

  • Taking F(t) = ln(t2 + t) (t > 0) and τ=ln(1λ), where λ > 0, we have

    u,v∈X with α(u,v)≥1 and σ(fu,fv)>0 impliesσ(fu,fv)[σ(fu,fv)+1]≤λΔf(u,v)[Δf(u,v)+1].

    • The following examples can be used to illustrate the usage of Theorems 2.4–2.6.

    Example 2.8

    (This example demonstrates the use of rational terms in the contractive condition.)

    Let and be given by

    σ(a,a)=0,         σ(b,b)=3,         σ(c,c)=9,σ(a,b)=σ(b,a)=9,         σ(a,c)=σ(c,a)=5,         σ(b,c)=σ(c,b)=8.

    Then ( , σ) is a 0-σ-complete metric-like space. Define and by

    α(u,v)=1 for all u,v,∈X,         f=(abcaca).

    Moreover, take τ = ln(8/5) and defined by F(t) = lnt. Then it is easy to see that all the conditions of Theorem 2.6 are fulfilled—just the condition needs to be checked. In this case it reduces to

    σ(fu,fv)≤58Δf(u,v)

    for all u, with σ(fu, fv) > 0, where Δf (u, v) is defined by (2.2). Only the following three cases have to be considered:

    Case 1: u = a, v = b. Then σ(fu, fv) = σ(a, c) = 5 and

    Δf(u,v)=max {σ(a,b),σ(a,a),σ(b,c),σ(a,c)+σ(b,a)4,σ(a,a)σ(b,c)1+σ(a,b),σ(a,a)σ(b,c)1+σ(a,c)}=max{9,0,8,72,0,0}=9.

    Hence, (2.14) reduces to 5≤58·9.

    Case 2: u = b, v = b. Then σ(fu, fv) = σ(c, c) = 9 and

    Δf(u,v)=max {σ(b,b),σ(b,c),σ(b,c),σ(b,c)+σ(b,c)4,σ(b,c)σ(b,c)1+σ(b,b),σ(b,c)σ(b,c)1+σ(c,c)}=max{3,8,8,4,16,325}=16.

    Hence, (2.14) reduces to 9≤58·16. (Note that, in this case, the condition would not hold without the rational terms in Δf .)

    Case 3: u = b, v = c. Then σ(fu, fv) = σ(c, a) = 5 and

    Δf(u,v)=max {σ(b,c),σ(b,c),σ(c,a),σ(b,a)+σ(c,c)4,σ(b,c)σ(c,a)1+σ(b,c),σ(b,c)σ(c,a)1+σ(c,a)}=max{8,8,5,92,409,203}=8.

    Hence, (2.14) reduces to 5≤58·8.

    Thus, all the conditions of Theorem 2.6 are satisfied and the mapping f has a unique fixed point (which is u* = a).

    Example 2.9

    (This example demonstrates the advantage of using a metric-like instead of a standard metric; it is inspired by [11, Example 6]. Also, it shows the advantage of using α-type conditions, since fewer cases need to be checked.)

    Let be equipped with given by σ(u, v) = u+v. Then ( , σ) is a 0-σ-complete metric-like space. Define and by

    α(u,v)={1,(u,v)∈{(0,0),(1,1),(2,2),(3,3),(0,1),(1,2),(0,2)}0,otherwise,f=(01230012).

    Moreover, take τ = ln(3/2) and defined by F(t) = lnt. Then it is easy to see that all the conditions of Theorem 2.6 are fulfilled—just the condition needs to be checked. In this case it reduces to

    σ(fu,fv)≤23Δf(u,v)

    for all u, with σ(fu, fv) > 0, where Δf (u, v) is defined by (2.2). Only the following four cases have to be considered:

    Case 1: u = 0, v = 2. Then σ(fu, fv) = σ(0, 1) = 1 and

    Δf(u,v)=max {σ(0,2),σ(0,0),σ(2,1),σ(0,1)+σ(2,0)4,σ(0,0)σ(2,1)1+σ(0,2),σ(0,0)σ(2,1)1+σ(0,1)}=max{2,0,3,34,0,0}=3.

    Hence, (2.15) reduces to 1≤23·3.

    Case 2: u = 1, v = 2. Then σ(fu, fv) = σ(0, 1) = 1 and

    Δf(u,v)=max {σ(1,2),σ(1,0),σ(2,1),σ(1,1)+σ(0,2)4,σ(1,0)σ(2,1)1+σ(1,2),σ(1,0)σ(2,1)1+σ(0,1)}=max{3,1,3,1,34,32}=3.

    Hence, (2.15) reduces to 1≤23·3.

    Case 3: u = 2, v = 2. Then σ(fu, fv) = σ(1, 1) = 2 and

    Δf(u,v)=max {σ(2,2),σ(2,1),σ(2,1),σ(2,1)+σ(1,2)4,σ(2,1)σ(2,1)1+σ(2,2),σ(2,1)σ(2,1)1+σ(1,1)}=max{4,3,3,32,95,3}=4.

    Hence, (2.15) reduces to 2≤23·4.

    Case 4: u = 3, v = 3. Then σ(fu, fv) = σ(2, 2) = 4 and

    Δf(u,v)=max {σ(3,3),σ(3,2),σ(3,2),σ(3,2)+σ(2,3)4,σ(3,2)σ(3,2)1+σ(3,3),σ(3,2)σ(3,2)1+σ(2,2)}=max{6,5,5,52,257,5}=6.

    Hence, (2.15) reduces to 4≤23·6.

    Thus, all the conditions of Theorem 2.6 are satisfied and the mapping f has a unique fixed point (which is u* = 0).

    Consider now the same example, but using the standard metric d(u, v) = |u−v| instead of σ on . Then, e.g., for u = 1, v = 2 we get

    d(f1,f2)=d(0,1)=1≰λ=λ max{1,1,1,12,12,12}=λ max {d(1,2),d(1,0),d(2,1),d(1,1)+d(0,2)4,d(1,0)d(2,1)1+d(1,2),d(1,0)d(2,1)1+d(0,1)},

    whatever λ < 1 is chosen.

    Example 2.10

    (This example, inspired by [18, Example 2.5] and [1, Example 22], shows the reason for using various functions —it cannot be treated by the simplest example F(t) = lnt.)

    Let , where x0 = 0 and xn=∑k=1nk for n ∈ ℕ. Define a metric-like σ on by

    σ(u,v)=max{u,v}+∣u-v∣.

    Then ( , σ) is a 0-σ-complete metric-like space. Consider the mappings and given by

    α(u,v)=1 for all u,v∈X,fx0=x0,         fxn=xn-1 for n∈ℕ.

    Take τ = e−1 and given by F(t) = t + lnt. Then the conditions of Theorem 2.6 are fulfilled—just the contractive condition has to be checked. In this case, it takes the form (see (2.12))

    σ(fu,fv)Δf(u,v)eσ(fu,fv)-Δf(u,v)≤e-1,

    for u, with σ(fu, fv) > 0, where Δf (u, v) is defined in (2.2). Since Δf (u, v) ≥ σ(u, v), this is a consequence of

    σ(fu,fv)σ(u,v)eσ(fu,fv)-σ(u,v)≤e-1,

    for σ(fu, fv) > 0. In order to prove (2.16), consider the following two cases.

    Case 1: u = x0, v = xn, n ≥ 2. Then fu = x0, fv = xn−1 and

    σ(fu,fv)σ(u,v)eσ(fu,fv)-σ(u,v)=σ(x0,xn-1)σ(x0,xn)eσ(x0,xn-1)-σ(x0,xn)=xn-1xne2(xn-1-xn)<e-2n<e-1.

    Case 2: u = xm, v = xn, 1 ≤ m ≤ n. Then

    σ(fu,fv)σ(u,v)eσ(fu,fv)-σ(u,v)=σ(xm-1,xn-1)σ(xm,xn)eσ(xm-1,xn-1)-σ(xm,xn)=xn-1+(xn-1-xm-1)xn+(xn-xm)exn-1+(xn-1-xm-1)-xn-(xn-xm).

    Now,

    xn+(xn-xm)=∑k=1nk+[(m+1)+(m+2)+⋯+n]>∑k=1n-1k+n+[m+(m+1)+⋯+(n-1)]=xn-1+(xn-1-xm-1)+n.

    Hence,

    σ(fu,fv)σ(u,v)eσ(fu,fv)-σ(u,v)<e-n<e-1.

    Therefore, all the conditions of Theorem 2.6 are satisfied, and f has a unique fixed point (which is u* = 0).

    The same conclusion cannot be obtained if the simplest function F(t) = lnt from is used, because the Banach-type condition (2.11) is not fulfilled. Indeed, putting u = x0 = 0 and v = xn, n ≥ 2 in (2.11), we obtain σ(0, xn−1) ≤ λσ(0, xn), which immediately reduces to

    (n-1)n2≤λn(n+1)2,

    i.e., n-1n+1≤λ, for each n ≥ 2. Letting n → ∞, this implies λ ≥ 1, hence (2.11) cannot hold for any λ < 1.

    3. Discussion on Common Fixed Point Results

    Go to

    In order to complete the results, we first need the following notion.

    Definition 3.1.([3])

    For a nonempty set , let f, and be mappings. We say that (f, g) is a generalized α-admissible pair if for all u, , we have

    α(u,v)≥1⇒α(fu,gv)≥1 and α(gfu,fgv)≥1.

    We use to denote the collection of all generalized α-admissible pairs (f, g).

    Remark 3.2

    If the operator f is invertible such that f = f−1 with g = f in Definition 3.1, we get Definition 2.1.(i). So the class of mappings given in Definition 3.1 is not empty.

    If f is α-admissible, it is obvious that (f, f) is a generalized α-admissible pair.

    Now we introduce the notion of rational α-type F-contractive pair in a metric-like space.

    Definition 3.3

    Let ( , σ) be a metric-like space and be a mapping. Two self-mappings f, g on are said to form a rational α-type F-contractive pair, if there exist , τ ∈ ℝ+ such that

    u,v∈X with α(u,v)≥1 and σ(fu,gv)>0 impliesτ+F(σ(fu,gv))≤F (max {σ(u,v),σ(u,fu),σ(v,gv),σ(u,gv)+σ(v,fu)4,σ(u,fu)σ(v,gv)1+σ(u,v),σ(u,fu)σ(v,gv)1+σ(fu,gv)}).

    We denote by the collection of all rational α-type F-contractive pairs on ( , σ).

    We are equipped now to state the first result of this section.

    Theorem 3.4

    Let ( , σ) be a 0-σ-complete metric-like space and let, and f, be given mappings. Suppose that the following conditions hold:

    • (F1) ;

    • (F2) there existssuch that α(u0, fu0) ≥ 1;

    • (F3) α(gfu, gu) ≥ 1 for all;

    • (F4) f and g are σ-continuous.

    Then there existssuch that

    σ(u*,fu*)=σ(fu*,fu*), σ(u*,gu*)=σ(gu*,gu*) and σ(u*,u*)=0.
    Proof

    By the given condition (F2), there exists such that α(u0, fu0) ≥ 1. Define a sequence by

    u2n=gu2n-1 and u2n+1=fu2n,∀n∈ℕ.

    If there exists n0 ∈ ℕ* such that σ(un0, fun0) = 0 or σ(un0, gun0 ) = 0, then the proof is finished. So without loss of generality we can suppose that the successive terms of {un} are different and let ϱn = σ(un+1, un) for n ∈ ℕ*. Then ϱn > 0 for all n ∈ ℕ*. First we prove

    limn→∞ ϱn=0.

    Since and α(u0, fu0) ≥ 1, we have

    α(u1,u2)=α(fu0,gu1)≥1 and α(u2,u3)=α(gu1,fu2)=α(gfu0,fgu1)≥1.

    Repeating this process, we obtain

    α(un,un+1)≥1,∀n∈ℕ*.

    Again from (F3), we have

    α(u2,u1)=α(gfu0,fu0)≥1 and α(u4,u3)=α(gfu2,fu2)≥1.

    Repeating this process, we obtain

    α(u2n,u2n-1)≥1,∀n∈ℕ.

    Therefore implies that

    τ+F(ϱ2n-1)=τ+F(σ(u2n-1,u2n))=τ+F(σ(fu2n-2,gu2n-1))≤F (max {σ(u2n-2,u2n-1),σ(u2n-2,fu2n-2),σ(u2n-1,gu2n-1),σ(u2n-2,gu2n-1)+σ(u2n-1,fu2n-2)4,σ(u2n-2,fu2n-2)σ(u2n-1,gu2n-1)1+σ(u2n-2,u2n-1)σ(u2n-2,fu2n-2)σ(u2n-1,gu2n-1)1+σ(fu2n-2,gu2n-1)})=F (max {σ(u2n-2,u2n-1),σ(u2n-2,u2n-1),σ(u2n-1,u2n),σ(u2n-2,u2n)+σ(u2n-1,u2n-1)4,σ(u2n-2,u2n-1)σ(u2n-1,u2n)1+σ(u2n-2,u2n-1)σ(u2n-2,u2n-1)σ(u2n-1,u2n)1+σ(u2n-1,u2n)})≤F (max {σ(u2n-2,u2n-1),σ(u2n-1,u2n),σ(u2n-2,u2n-1)+3σ(u2n-1,u2n)4,})≤F(max{σ(u2n-2,u2n-1),σ(u2n-1,u2n)}).

    If ϱ2n−2 ≤ ϱ2n−1 for some n ∈ ℕ, then from (3.6) we have τ +F(ϱ2n−1) ≤ F(ϱ2n−1), which is a contradiction since τ > 0. Thus ϱ2n−2 > ϱ2n−1 for all n ∈ ℕ and so from (3.6) we have

    F(ϱ2n-1)≤F(ϱ2n-2)-τ.

    Again using , we get

    τ+F(ϱ2n)=τ+F(σ(u2n+1,u2n))=τ+F(σ(fu2n,gu2n-1))≤F (max {σ(u2n,u2n-1),σ(u2n,fu2n),σ(u2n-1,gu2n-1),σ(u2n,gu2n-1)+σ(u2n-1,fu2n)4,σ(u2n,fu2n)σ(u2n-1,gu2n-1)1+σ(u2n,u2n-1),σ(u2n,fu2n)σ(u2n-1,gu2n-1)1+σ(fu2n,gu2n-1)})≤F (max {σ(u2n,u2n-1),σ(u2n,u2n+1),σ(u2n-1,u2n),σ(u2n,u2n)+σ(u2n-1,u2n+1)4,σ(u2n,u2n+1)σ(u2n-1,u2n)1+σ(u2n,u2n-1),σ(u2n,u2n+1)σ(u2n-1,u2n)1+σ(u2n+1,u2n)})≤F (max {σ(u2n,u2n-1),σ(u2n,u2n+1),3σ(u2n,u2n+1)+σ(u2n-1,u2n)4})≤F(max{σ(u2n,u2n-1),σ(u2n,u2n+1)}).

    With similar arguments, we get

    F(ϱ2n)≤F(ϱ2n-1)-τ.

    Combining (3.7) and (3.8), we obtain

    F(ϱn)≤F(ϱn-1)-τ,   for all n∈ℕ.

    Using the arguments of proof of Theorem 2.4, we reach to (3.5) and show that {un} is a 0-Cauchy sequence in ( , σ). Since is a 0-complete metric-like space, there exists an such that limn→∞un = u*; moreover,

    limn,m→∞ σ(un,um)=limn→∞ σ(un,u*)=σ(u*,u*)=0.

    This implies that

    limn→∞ σ(u2n+1,u*)=limn→∞ σ(u2n+2,u*)=0.

    Using (3.4), we convert to

    limn→∞ σ(fu2n,u*)=limn→∞ σ(gu2n+1,u*)=0.

    Further we shall prove (3.3).

    Using and σ(u*, u*) = 0 in Lemma 1.5.(b), we have

    limn→∞ σ(u2n+1,fu*)=σ(u*,fu*).

    By the σ-continuity of f and u2n → u* in ( , σ), we have

    limn→∞σ(u2n+1,fu*)=limn→∞σ(fu2n,fu*)=σ(fu*,fu*).

    From (3.9) and (3.10), we obtain

    σ(fu*,fu*)=σ(u*,fu*).

    Similarly using σ-continuity of g and the above arguments, we get

    σ(gu*,gu*)=σ(u*,gu*).

    Thus we have reached (3.3).

    Example 3.5

    Let be endowed with the σ-complete metric-like defined by

    σ(u,v)=max{u,v}         for all         u,v∈X.

    Consider the mappings f, given by

    fu={23u,if u∈[0,2],u-23,if u∈(2,3]         and         gu={34u,if u∈[0,2],12u+12,if u∈(2,3]

    and by

    α(u,v)={2,if 0≤u≤v≤2,0,otherwise.

    Moreover, take τ=ln(43) and defined by F(t) = lnt. In this case the contraction condition (3.2) reduces to

    σ(fu,gv)≤34Δf,g(u,v),

    where

    Δf,g(u,v)=max {σ(u,v),σ(u,fu),σ(v,gv),σ(u,gv)+σ(v,fu)4,σ(u,fu)σ(v,gv)1+σ(u,v),σ(u,fu)σ(v,gv)1+σ(fu,gv)}.

    In order to show , suppose that α(u, v) ≥ 1, i.e., 0 ≤ u ≤ v ≤ 2. Then

    σ(fu,gv)=max {23u,34v}=34v,Δf,g(u,v)=max {σ(u,v),σ(u,23u),σ(v,34v),σ(u,34v)+σ(v,23u)4,σ(u,23u)σ(v,34v)1+σ(u,v),σ(u,23u)σ(v,34v)1+σ(23u,34v)}=max {v,u,v,max{u,34v}+v4,uv1+v,uv1+34v}=v.

    Hence, (3.11) reduces 34v≤34v. Thus .

    Next we prove . Let u, be such that α(u, v) ≥ 1. By definition of α, this implies that u, v ∈ [0, 2]. Thus,

    α(fu,gv)=α (23u,34v)=2>1,

    and

    α(gfu,fgv)=α (g (23u),f (34v))=α (12u,12v)=2>1.

    Then, .

    We divide in three parts the proof that α(gfu, gu) ≥ 1, for all .

    • 1° For u ∈ [0, 2], we have

      α(gfu,gu)=α (12u,34u)=2>1.

    • 2° For u∈(2,83], we have fu=u-23∈(0,2]. Therefore

      α(gfu,gu)=α (g (u-23),12u+12)=2>1.

    • 3° For u∈(83,3], we have fu=u-23∈(2,3]. Therefore

      α(gfu,fu)=α (g (u-23),gu)=α (12(u+13),12(u+1))=2>1.

    Thus,

    α(gfu,gu)=2>1, for all u∈X.

    Moreover, the mappings f and g are σ-continuous on ( , σ) and there exists u0 = 0 such that α(u0, fu0) = α(0, 0) = 2. Thus, all the hypotheses of Theorem 3.4 are verified, so there exists a common fixed point of f and g (which is u* = 0).

    We note that the previous result can be sharpened when continuity of f and g is replaced by the following condition.

    • (H1): If {un} is a sequence in such that if α(un, un+1) ≥ 1 and α(un+1, un) ≥ 1 for all n and un → u ∈ X as n→∞, then there exists a subsequence {un(k)} of {un} such that α(un(k), u) ≥ 1 and α(u, un(k)) ≥ 1 for all k.

    Now we have the following result.

    Theorem 3.6

    Let all the conditions of Theorem 3.4 be satisfied, apart from the hypothesis (F4) which is replaced by (H1) and F is continuous. Then there exists a common fixed point of f and g in, that is, u* = fu* = gu*.

    Proof

    Following the proof of Theorem 3.4, we obtain a 0-σ-Cauchy sequence {un} in the 0-σ-complete metric-like space ( , σ). Hence, there exists such that

    limn→∞σ(un,u*)=σ(u*,u*)=0,

    that is, un → u* as n→∞. By the property (H1) of , there exists a subsequence {un(k)} of {un} such that α(u2nk, u*) ≥ 1 and α(u*, u2nk−1) ≥ 1 for all k. Using (F1) for u = u2n(k) and v = u* we have

    τ+F(σ(u2n(k)+1,gu*))=τ+F(σ(fu2n(k),gu*))≤F (max {σ(u2n(k),u*),σ(u2n(k),fu2n(k)),σ(u*,gu*),σ(u2n(k),gu*)+σ(u*,fu2n(k))4,σ(u2n(k),fu2n(k))σ(u*,gu*)1+σ(u2n(k),u*),σ(u2n(k),fu2n(k))σ(u*,gu*)1+σ(fu2n(k),gu*)})=F (max {σ(u2n(k),u*),σ(u2n(k),u2n(k)+1),σ(u*,gu*),σ(u2n(k),gu*)+σ(u*,u2n(k)+1)4,σ(u2n(k),u2n(k)+1)σ(u*,gu*)1+σ(u2n(k),u*),σ(u2n(k),u2n(k)+1)σ(u*,gu*)1+σ(u2n(k)+1,gu*)}).

    Applying the limit as n→∞ to (3.12) and the continuity of F, we get

    τ+F(σ(u*,gu*))≤F(σ(u*,gu*))

    a contradiction. Therefore we have u* = gu*.

    Similarly, by taking u = u* and v = u2n(k)−1 in (F1), we get u* = fu*. Hence f and g have a common fixed point u* such that σ(u*, u*) = 0.

    To ensure the uniqueness of the common fixed point, we will consider the following hypothesis as a generalized form of (H0).

    • (H2): For all u, v ∈ CF(f, g) such that σ(u, u) = σ(v, v) = 0, we have α(u, v) ≥ 1, where CF(f, g) is the set of common fixed points of f and g.

    Theorem 3.7

    Adding condition (H2) to the hypotheses of Theorem 3.6, the uniqueness of the common fixed point u* of f and g such that σ(u*, u*) = 0 is obtained.

    Proof

    Suppose that v* is another common fixed point of f and g, such that σ(v*, v*) = 0 and, contrary to what is going to be proved, σ(fu*, gv*) = σ(u*, v*) > 0. By the assumption, we can replace u by u* and v by v* in the condition (3.1), and we get easily

    τ+F(σ(u*,v*))=τ+F(σ(fu*,gv*))≤F (max {σ(u*,v*),σ(u*,fu*),σ(v*,gv*),σ(u*,gv*)+σ(v*,fu*)4,σ(u*,fu*)σ(v*,gv*)1+σ(u*,v*),σ(u*,fu*)σ(v*,gv*)1+σ(fu*,gv*)})≤F (max {σ(u*,v*),σ(u*,v*)2})=F(σ(u*,v*))

    a contradiction, which implies that u* = v*.

    4. Application to Integral Equations

    Go to

    This section is devoted to the existence of solutions of an integral equation as an application of Theorem 2.5.

    Let , where I = [0, 1], be endowed with the metric-like distance function

    σ(u,v)=maxt∈I{∣u(t)∣,∣v(t)∣}.

    We will consider the integral equation

    u(t)=∫0tK(t,s)f(s,u(s)) ds,

    where f : I × ℝ → ℝ and K : I × I → [0,∞) are given functions. Let

    Ju(t)=∫0tK(t,s)f(s,u(s)) ds,

    define the respective operator .

    Theorem 4.1

    Let ξ : ℝ × ℝ → ℝ be a given function. Suppose the following assertions hold:

    • (F1) f is a continuous function, non-decreasing in the second variable;

    • (F2) there existssuch that ξ(u0(t), for all t ∈ I;

    • (F3) for all u, v, , ξ(u(t), v(t)) ≥ 0 and ξ(v(t), w(t)) ≥ 0 for all t ∈ I imply that ξ(u(t), w(t)) ≥ 0 for all t ∈ I;

    • (F4) if {un} is a sequence insuch that un → u inand ξ(un(t), un+1(t)) ≥ 0 for all n ∈ ℕ and t ∈ I, then ξ(un(t), u(t)) ≥ 0 for all n ∈ ℕ and t ∈ I;

    • (F5) and ξ(u(t), for all t ∈ I implies thatfor all t ∈ I;

    • (F6) there exists τ > 0 such that for u, with ξ(u, v) ≥ 0, and t ∈ I we have

      max{∣f(t,u(t))∣,∣f(t,v(t))∣}≤A-1Δ1(u,v)(t)(1+τmaxt∈I Δ1(u,v)(t))2,

      whereA=supt∈I∫0tK(t,r) drand

      Δ1(u,v)(t)=max {max{∣u(t)∣,∣v(t)∣},max{∣u(t)∣,∣Ju(t)∣},max{∣v(t)∣,∣Jv(t)∣},max{∣u(t)∣,∣Jv(t)∣}+max{∣v(t)∣,∣Ju(t)∣}4,(max{∣u(t)∣,∣Ju(t)∣})(max{∣v(t)∣,∣Jv(t)∣})1+maxt∈I[max{∣u(t)∣,∣v(t)∣}],(max{∣u(t)∣,∣Ju(t)∣})(max{∣v(t)∣,∣Jv(t)∣})1+maxt∈I[max{∣Ju(t)∣,∣Jv(t)∣}]}

    Then the equation (4.1) has at least one solution.

    Proof

    Define a function by

    α(x,y)={1,for ξ(x(t),y(t))≥0,   for all t∈Iγ,otherwise,

    where γ ∈ (0, 1). It is easy to see that the assumption (F2) readily implies the condition (AF2) of Theorem 2.4. Also, the assumption (F3) implies that α has the transitive property (AF3). Finally, (F4) implies the regularity condition (AF5) of Theorem 2.5 and the assumption (F5) easily implies that .

    We are going to check that . For this, let u, be such that α(u, v) ≥ 1, i.e., ξ(u(t), v(t)) ≥ 0 for all t ∈ I. For each t ∈ I, by the definition (4.2) of operator , we have

    maxt∈I{∣Ju(t)∣,∣Jv(t)∣}=maxt∈I {|∫0tK(t,r)f(r,u(r)) dr|,|∫0tK(t,r)f(r,v(r)) dr|}≤maxt∈I {∫0tK(t,r)∣f(r,u(r))∣dr,∫0t∣K(t,r)∣ ∣f(r,v(r))∣dr}=maxt∈I∫0tK(t,r)maxt∈I(∣f(r,u(r))∣, ∣f(r,v(r))∣) dr.

    Now, using the assumption (F6), after routine calculations, we obtain

    σ(Ju,Jv)=maxt∈I{∣Ju(t)∣,∣Jv(t)∣}≤ΔJ(u,v)(1+τΔJ(u,v))2,

    where is given in (2.2).

    Now, by considering given by F(t)=-1t, t > 0 (see the condition (2.13) in Remark 2.7), we have the condition

    u,v∈X with α(u,v)≥1⇒τ+F(σ(Ju,Jv))≤F(ΔJ(u,v))

    for all u, with . Thus . Therefore, all the hypotheses of Theorem 2.5 are satisfied and we conclude that there is a fixed point of the operator . It is well known that in this case u* is also a solution of the integral equation (4.1).

    5. Application to Fractional Differential Equations

    Go to

    This section is devoted to the existence of solutions of a nonlinear fractional differential equation as an application of Theorem 2.5. It is inspired by the paper [4].

    Recall that the Caputo derivative of fractional order β is defined as

    Dcβ(g(t))=1Γ(n-β)∫0t(t-s)n-β-1g(n)(s) ds         (n-1<β<n,   n=[β]+1),

    where g ∈ Cn([0,∞)), [β] denotes the integer part of the positive real number β and Γ is the gamma function.

    We consider the nonlinear fractional differential equation of the form

    Dcβ(x(t))=f(t,x(t))         (0<t<1,   1<β≤2)

    with the integral boundary conditions

    x(0)=0,         x(1)=∫0ηx(s) ds         (0<η<1),

    where I = [0, 1], x ∈ C(I,ℝ), and f : I × ℝ → ℝ is a continuous function.

    Let the corresponding operator be defined by

    Ju(t)=1Γ(β)∫0t(t-s)β-1f(s,u(s)) ds-2t(2-η2)Γ(β)∫01(1-s)β-1f(s,u(s)) ds+2t(2-η2)Γ(β)∫0η(∫0s(s-z)β-1f(z,u(z)) dz) ds,

    for , t ∈ I. This time we will use the metric-like distance function σ2 on given by

    σ2(u,v)=maxt∈I[∣u(t)∣2+∣v(t)∣2].

    Theorem 5.1

    Under the assumptions (F1)–(F5) of Theorem 4.1 and (F6′) there exists τ > 0 such that for u, with ξ(u, v) ≥ 0, and t ∈ I we have

    ∣f(t,u(t))∣2+∣f(t,v(t))∣2≤BΔ2(u,v)(t)(1+τmaxt∈I Δ2(u,v)(t))2,

    whereB=(2β-1)Γ(β)Γ(β+1)2(5β+2)and

    Δ2(u,v)(t)=max {∣u(t)∣2+∣v(t)∣2,∣u(t)∣2+∣Ju(t)∣2,∣v(t)∣2+∣Jv(t)∣2,∣u(t)∣2+∣Jv(t)∣2+∣v(t)∣2+∣Ju(t)∣24,(∣u(t)∣2+∣Ju(t)∣2)(∣v(t)∣2+∣Jv(t)∣2)1+maxt∈I[∣u(t)∣2+∣v(t)∣2],(∣u(t)∣2+∣Ju(t)∣2)(∣v(t)∣2+∣Jv(t)∣2)1+maxt∈I[∣Ju(t)∣2+∣Jv(t)∣2]},

    the problem (5.1)–(5.2) has at least one solution.

    Proof

    Here we have to check the contraction condition (2.13) for u, (see Remark 2.7.(III)).

    For each t ∈ I, by the definition (5.3) of operator , we have

    ∣Ju(t)∣2+∣Jv(t)∣2=|1Γ(β)∫0t(t-s)β-1f(s,u(s)) ds-2t(2-η2)Γ(β)∫01(1-s)β-1f(s,u(s)) ds+2t(2-η2)Γ(β)∫0η(∫0s(s-z)β-1f(z,u(z)) dz) ds∣2+|1Γ(β)∫0t(t-s)β-1f(s,v(s)) ds+2t(2-η2)Γ(β)∫01(1-s)β-1f(s,v(s)) ds-2t(2-η2)Γ(β)∫0η(∫0s(s-z)β-1f(z,v(z)) dz) ds|2≤2Γ2(β){[∫0t(t-s)β-1f(s,u(s)) ds]2+[∫0t(t-s)β-1f(s,v(s)) ds]2}+8t2(2-η2)2Γ2(β){[∫01(1-s)β-1f(s,u(s)) ds]2+[∫01(1-s)β-1f(s,v(s)) ds]2}+8t2(2-η2)2Γ2(β){[∫0η(∫0s(s-z)β-1f(z,u(z)) dz) ds]2+[∫0η(∫0s(s-z)β-1f(z,v(z)) dz) ds]2}.

    Applying now Cauchy-Schwartz inequality, we get

    ∣Ju(t)∣2+∣Jv(t)∣2≤2Γ2(β)∫0t(t-s)2β-2ds∫0t[f2(s,u(s))+f2(s,v(s))] ds+8t2(2-η2)2Γ2(β)∫01(1-s)2β-2ds∫01[f2(s,u(s))+f2(s,v(s))] ds+8t2(2-η2)2Γ2(β)∫0η∫0s(s-z)2β-2dz ds×∫0η∫0s[f2(z,u(z))+f2(z,v(z))] dz ds.

    Now, using the assumption (F6′), after routine calculations, we obtain

    ∣Ju(t)∣2+∣Jv(t)∣2≤ΔJ(u,v)(1+τΔJ(u,v))2.

    This implies that

    σ2(Ju,Jv)=maxt∈I(∣(Ju)(t)∣2+∣(Jv)(t)∣2)≤ΔJ(u,v)(1+τΔJ(u,v))2,

    where is given in (2.2).

    Now, by considering given by F(t)=-1t, t > 0 we have the condition

    u,v∈X with α(u,v)≥1⇒τ+F(σ2(Ju,Jv))≤F(ΔJ(u,v))

    for all u, with . Thus . Therefore, all the hypotheses of Theorem 2.5 are satisfied and we conclude that there is a fixed point of the operator . It is well known (see, e.g., [4, Theorem 3.1]) that in this case u* is also a solution of the integral equation (5.3) and the fractional differential equation (5.1) with the condition (5.2).

    Example 5.2

    Consider the following nonlinear fractional differential equation

    Dc32u(t)=1(t+3)2∣u(t)∣1+∣u(t)∣,   t∈[0,1]

    with the three-point integral boundary value condition

    u(0)=0,   u(1)=∫03/4u(s) ds.

    Here β=32, η=34<1 and f(t,u(t))=1(t+3)2∣u(t)∣1+∣u(t)∣. Therefore, the considered system (5.4)–(5.5) is an example of the system (5.1)–(5.2). Further, ∣f(t,u)∣ ≤19,B=33266 and therefore, taking τ=9233133-1Δ1>0, we can apply Theorem 5.1. Hence, there exists a solution of the equation (5.4) with the conditions (5.5).

    1. Alsulami, HH, Karapınar, E, and Piri, H (2015). Fixed points of modified F-contractive mappings in complete metric-like spaces. J Funct Spaces.
      CrossRef
    2. Amini-Harandi, A (2012). Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012, 204.
      CrossRef
    3. Aydi, H, Jellali, M, and Karapınar, E (2015). Common fixed points for generalized α-implicit contractions in partial metric spaces: consequences and application. Rev R Acad Cienc Exactas Fis Nat Ser A Math. 109, 367-384.
      CrossRef
    4. Baleanu, D, Rezapour, S, and Mohammadi, M (2013). Some existence results on nonlinear fractional differential equations. Philos Trans R Soc Lond Ser A Math Phys Eng Sci. 371.
      CrossRef
    5. Gopal, D, Abbas, M, Patel, DK, and Vetro, C (2016). Fixed points of α-type F-contractive mappings with an application to nonlinear fractional differential equation. Acta Math Sci Ser B. 36, 957-970.
      CrossRef
    6. Hitzler, P, and Seda, A (2011). Mathematical Aspects of Logic Programming Semantics: Chapman & Hall/CRC Studies in Informatic Series, CRC Press
    7. Hussain, N, and Salimi, P (2014). Suzuki-Wardowski type fixed point theorems for α-GF-contractions. Taiwanese J Math. 18, 1879-1895.
      CrossRef
    8. Karapınar, E, Kutbi, MA, Piri, H, and O’Regan, D (2015). Fixed points of conditionally F-contractions in complete metric-like spaces. Fixed Point Theory Appl. 2015, 126.
      CrossRef
    9. Karapınar, E, and Salimi, P (2013). Dislocated metric space to metric spaces with some fixed point theorems. Fixed Point Theory Appl. 2013, 222.
      CrossRef
    10. Liu, X-L, Ansari, AH, Chandok, S, and Radenović, S (2018). On some results in metric spaces using auxiliary simulation functions via new functions. J Comput Anal Appl. 24, 1103-1114.
    11. Malhotra, SG, Radenović, S, and Shukla, S (2014). Some fixed point results without monotone property in partially ordered metric-like spaces. J Egyptian Math Soc. 22, 83-89.
      CrossRef
    12. Matthews, SG 1994. Partial metric topology. Ann New York Acad Sci, Proc. 8th Summer Conference on General Topology and Applications, pp.183-197.
    13. Samet, B, Vetro, C, and Vetro, P (2012). Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal. 75, 2154-2165.
      CrossRef
    14. Shobkolaei, N, Sedghi, S, Roshan, JR, and Hussain, N (2013). Suzuki type fixed point results in metric-like spaces. J Function Spaces Appl.
      CrossRef
    15. Shukla, S, Radenović, S, and Rajić, VĆ (2013). Some common fixed point theorems in 0-σ-complete metric-like spaces. Vietnam J Math. 41, 341-352.
      CrossRef
    16. Sintunavarat, W (2015). A new approach to α-ψ-contractive mappings and generalized Ulam-Hyers stability, well-posedness and limit shadowing results. Carpathian J Math. 31, 395-401.
    17. Sintunavarat, W (2016). Fixed point results in b-metric spaces approach to the existence of a solution for nonlinear integral equations. Rev Real Acad Cie Exac Fix Nat, Ser A Math. 110, 585-600.
      CrossRef
    18. Wardowski, D (2012). Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94.
      CrossRef