Next Article in Journal
Solution and Interpretation of Neutrosophic Homogeneous Difference Equation

Open AccessArticle

# New Extensions of Kannan’s and Reich’s Fixed Point Theorems for Multivalued Maps Using Wardowski’s Technique with Application to Integral Equations

by 1,* and 2,3,4,*
1
Department of Applied Science and Humanities, Assam University, Silchar, Cachar, Assam 788011, India
2
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
3
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
4
Department of Mathematics and Informatics, Azerbaijan University, 71 Jeyhun Hajibeyli Street, Baku AZ1007, Azerbaijan
*
Authors to whom correspondence should be addressed.
Symmetry 2020, 12(7), 1090; https://doi.org/10.3390/sym12071090
Received: 27 May 2020 / Revised: 8 June 2020 / Accepted: 19 June 2020 / Published: 1 July 2020

## Abstract

The metric function generalizes the concept of distance between two points and hence includes the symmetric property. The aim of this article is to introduce a new and proper extension of Kannan’s fixed point theorem to the case of multivalued maps using Wardowski’s F-contraction. We show that our result is applicable to a class of mappings where neither the multivalued version of Kannan’s theorem nor that of Wardowski’s can be applied to determine the existence of fixed points. Application of our result to the solution of integral equations has been provided. A multivalued Reich type generalized version of the result is also established.

## 1. Introduction and Preliminaries

Kannan [1] generalized the Banach contraction principle in the following manner which assured that even certain discontinuous functions might possess fixed points.
Theorem 1.
[1] Let $( ℑ , ζ )$ be a complete metric space. The self-map $Υ : ℑ → ℑ$ is called a Kannan map if there is a constant $a ∈ [ 0 , 1 )$ such that
$ζ ( Υ θ , Υ ϑ ) ≤ a 2 [ ζ ( θ , Υ θ ) + ζ ( ϑ , Υ ϑ ) ]$
for all $θ , ϑ ∈ ℑ$. Then Υ has a unique fixed point, where the element $θ ∈ ℑ$ satisfying $Υ θ = θ$ is called a fixed point of Υ.
Subrahmanyam [2] showed that Kannan’s theorem could be used to characterize metric completeness. Reich [3] further generalized Banach’s Contraction Principle and observed that Kannan’s theorem is a particular case of it with suitable choice of the constants.
Theorem 2.
[3] Consider the complete metric space $( ℑ , ζ )$. Suppose the self-map $Υ : ℑ → ℑ$ satisfies the following:
$ζ ( Υ θ , Υ ϑ ) ≤ l ζ ( θ , Υ θ ) + m ζ ( ϑ , Υ ϑ ) + n ζ ( θ , ϑ ) , for all θ , ϑ ∈ ℑ ,$
where $l , m , n ∈ R +$ satisfy $l + m + n < 1$. Then Υ admits a unique fixed point.
$l = m = 0$ provides Banach contraction principle while $l = m , n = 0$ produces Kannan’s theorem.
Wardowski [4] defined the concept of F-contraction as given next.
Definition 1.
Let $F$ denote the class of all such functions $F : 0 , + ∞ → − ∞ , + ∞$ satisfying the following assumptions:
(F1)F is strictly increasing, i.e., for all $u , v ∈ 0 , + ∞ , u < v$ implies $F u < F v ;$
(F2)For each sequence $u n n ∈ N ⊂ 0 , + ∞$, $lim n → + ∞ u n = 0$ if and only if $lim n → + ∞ F u n = − ∞ ;$
(F3)There exists $t ∈ 0 , 1$ such that $lim u → 0 + u t F u = 0 .$
If $( ℑ , ζ )$ is a metric space, then a mapping $Υ : ℑ → ℑ$ is said to be an $F —$contraction if there exist $τ > 0$, $F ∈ F$, such that for all $θ , ϑ ∈ ℑ$,
$ζ ( Υ θ , Υ ϑ ) > 0 ⇒ τ + F ( ζ ( Υ θ , Υ ϑ ) ) ≤ F ( ζ ( θ , ϑ ) ) .$
Nadler [5] started the research on fixed points for multivalued maps with the help of Hausdorff concept, i.e., by considering the distance between two arbitrary sets in the following manner.
Let $( ℑ , ζ )$ be a complete metric space (in short, MS) and let $CB ( ℑ )$ denote the class of all nonempty closed and bounded subsets of the nonempty set . Then for $A , B ∈ CB ( ℑ )$, define the map $H : CB ( ℑ ) × CB ( ℑ ) → [ 0 , ∞ )$ by
$H ( A , B ) = max { sup ξ ∈ B Δ ( ξ , A ) , sup δ ∈ A Δ ( δ , B ) } ,$
where $Δ ( δ , B ) = inf ξ ∈ B ζ ( δ , ξ )$. $( CB ( ℑ ) , H )$ is called the Pompeiu-Hausdorff metric space generated by the metric $ζ$.
Definition 2.
[5] $υ ∈ ℑ$ is said to be a fixed point of the multivalued map $Γ : ℑ → CB ( ℑ )$ if $υ ∈ Γ υ$. The set of all fixed points of Γ is denoted by $F i x ( Γ )$.
Remark 1.
1.
In the MS $( CB ( ℑ ) , H )$, $θ ∈ ℑ$ is a fixed point of Υ if and only if $Δ ( θ , Υ θ ) = 0$.
2.
The metric function $ζ : ℑ × ℑ → [ 0 , ∞ )$ is continuous in the sense that if ${ θ n } , { ϑ n }$ are two sequences in ℑ with $( θ n , ϑ n ) → ( θ , ϑ )$ for some $θ , ϑ ∈ ℑ$, as $n → ∞$, then $ζ ( θ n , ϑ n ) → ζ ( θ , ϑ )$ as $n → ∞$. Similarly, the function Δ is continuous because if $θ n → θ$ as $n → ∞$, then $Δ ( θ n , A ) → Δ ( θ , A )$ as $n → ∞$ for any $A ⊆ ℑ$.
We list the following results to be used in the sequel.
Lemma 1.
[6,7] Let $( ℑ , ζ )$ be a MS and $A , B ∈ CB ( ℑ )$. Then
1.
$Δ ( μ , B ) ≤ ζ ( μ , γ )$ if $γ ∈ B$ and $μ ∈ ℑ$;
2.
$Δ ( μ , B ) ≤ H ( A , B )$ if $μ ∈ A$.
Lemma 2.
[5] Suppose that $A , B ∈ CB ( ℑ )$ and $υ ∈ A$. If $p > 0$, then there exists $ξ ∈ A$ satisfying
$ζ ( υ , ξ ) ≤ H ( A , B ) + p .$
But there may not exist a point $ξ ∈ B$ satisfying
$ζ ( υ , ξ ) ≤ H ( A , B ) .$
However, if $B$ is compact, then a point ξ exists satisfying $ζ ( υ , ξ ) ≤ H ( A , B ) .$
Reich provided a multivalued version of his famous result as follows.
Definition 3.
[8] A multivalued map $Γ : ℑ → C l ( ℑ )$ (where $C l ( ℑ )$ is the family of nonempty closed subsets of ℑ) is called a Reich-type multivalued $( l , m , n )$-contraction if there are constants $l , m , n ∈ R +$ satisfying $l + m + n < 1$ such that
$H ( Γ θ , Γ ϑ ) ≤ l Δ ( θ , Γ θ ) + m Δ ( ϑ , Γ ϑ ) + n ζ ( θ , ϑ ) ,$
for each $θ , ϑ ∈ ℑ$.
Remark 2.
It was proved in [8] that a Reich-type multivalued $( l , m , n )$-contraction in a complete MS possesses a fixed point. When $n = 0$ and $l = m$, the above definition reduces to the multivalued version of Kannan-type contraction.
Multivalued version of Wardowski’s theorem was given by Altun et al. [9] as follows.
Definition 4.
[9] Let $( ℑ , ζ )$ be a MS. A multivalued map $Γ : ℑ → CB ( ℑ )$ is called a multivalued F-contraction (MVFC, in short) if there is a constant $τ > 0$ and $F ∈ F$ such that
$τ + F ( H ( Γ μ , Γ ν ) ) ≤ F ( η ( μ , ν ) )$
for all $μ , ν ∈ ℑ$ with $Γ μ ≠ Γ ν$.
Remark 3.
In a complete MS, an MVFC possesses a fixed point.
Recently, Kannan’s and Reich’s fixed point theorems have been studied and extended in several directions. Particularly we refer to the research of Aydi et al. [10,11], Bojor [12,13], Choudhury and Kundu [14], Debnath and de La Sen [15,16], Debnath et al. [17,18], Gornicki [19], Karapinar et al. [20], Mohammadi et al. [21]. Some important work on the application of multivalued F-contractions were recently carried out by Sgroi and Vetro [22] and Ali and Kamran [23].
In this article, first we introduce a proper generalization of Kannan’s theorem for multivalued maps via F-contraction and further introduce a Reich-type generalization of the same. We present an application of our multivalued Kannan-type F-contraction to the solution of integral equations.

## 2. Multivalued Kannan Type F-contraction

In this section, we provide a proper extension of Kannan’s theorem for multivalued maps using Wardowski’s technique.
Definition 5.
Let $( ℑ , ζ )$ be a MS. The map $Γ : ℑ → CB ( ℑ )$ is called a generalized multivalued Kannan-type F-contraction (GMKFC, in short) if there are constants $a , b ∈ ( 0 , 1 )$ satisfying $a + b < 1$, $τ > 0$ and $F ∈ F$ such that
$τ + F ( H ( Γ θ , Γ ϑ ) ) ≤ a F ( Δ ( θ , Γ θ ) ) + b F ( Δ ( ϑ , Γ ϑ ) )$
for all $θ , ϑ ∈ ℑ ∖ F i x ( Γ )$ with $Γ θ ≠ Γ ϑ$, where $F i x ( Γ )$ is the collection of all fixed points of Γ.
Theorem 3.
Let $( ℑ , ζ )$ be a complete MS. A GMKFC, $Γ : ℑ → CB ( ℑ )$ such that $Γ θ$ is compact for each $θ ∈ ℑ$ possesses a fixed point.
Proof.
Fix $θ 0 ∈ ℑ$ and choose $θ 1 ∈ Γ θ 0$. Since $Γ θ 0$ is compact, by Lemma 2, we can select $θ 2 ∈ Γ θ 1$ such that $ζ ( θ 2 , θ 1 ) ≤ H ( Γ θ 1 , Γ θ 0 )$. Similarly we may consider $θ 3 ∈ Γ θ 2$ such that $ζ ( θ 3 , θ 2 ) ≤ H ( Γ θ 2 , Γ θ 1 )$ and so on. Continuing this way we generate a sequence ${ θ n }$ satisfying $θ n + 1 ∈ Γ θ n$ such that $ζ ( θ n + 1 , θ n ) ≤ H ( Γ θ n , Γ θ n − 1 )$.
Assume that $θ n ∉ Γ θ n$ for all $n ≥ 0$, because otherwise we obtain a fixed point. Thus $Δ ( θ n , Γ θ n ) > 0$, for all $n ≥ 0$.
Taking $θ = θ n$ and $ϑ = ϑ n − 1$ in (2), we have
$τ + F ( ζ ( θ n + 1 , θ n ) ) ≤ τ + F ( H ( Γ θ n , Γ θ n − 1 ) ) ≤ a F ( Δ ( θ n , Γ θ n ) ) + b F ( Δ ( θ n − 1 , Γ θ n − 1 ) ) < a F ( ζ ( θ n , θ n + 1 ) ) + ( 1 − a ) F ( ζ ( θ n − 1 , θ n ) ) , ( sin ce b < 1 − a ) .$
Let $ζ ( θ n , θ n − 1 ) ≤ ζ ( θ n + 1 , θ n )$. Then from (3), we have
$τ + F ( ζ ( θ n + 1 , θ n ) ) ≤ τ + F ( H ( Γ θ n , Γ θ n − 1 ) ) ) < a F ( ζ ( θ n , θ n + 1 ) ) + ( 1 − a ) F ( ζ ( θ n + 1 , θ n ) ) = F ( ζ ( θ n + 1 , θ n ) ) ,$
Therefore, $η ( θ n + 1 , θ n ) < ζ ( θ n , θ n − 1 )$ for all $n ≥ 1$. Thus from (3), we have
$τ + F ( ζ ( θ n + 1 , θ n ) < F ( ζ ( θ n , θ n − 1 ) .$
Consequently, we obtain
$F ( ζ ( θ n , θ n + 1 ) ) < F ( z η ( θ n − 1 , θ n ) ) − τ < … < F ( ζ ( θ 0 , θ 1 ) ) − n τ ,$
for all $n ≥ 1$.
Taking limit in (4) as $n → ∞$, we have that
$lim n → ∞ F ( ζ ( θ n , θ n + 1 ) ) = − ∞ .$
Hence by condition $( F 2 )$, we have $lim n → ∞ ζ ( θ n , θ n + 1 ) = 0$.
Let $c n = ζ ( θ n , θ n + 1 )$. So, $lim n → ∞ c n = 0$. Thus, for any $n ∈ N$, we have
$c n k ( F ( c n ) − F ( c 0 ) ) ≤ − c n k n τ < 0 .$
Taking limit in (6) as $n → ∞$ and using $( F 3 )$, we have $lim n → ∞ c n k n = 0$. Thus there exists $n 0 ∈ N$ such that $c n k n ≤ 1$ for all $n ≥ n 0$, i.e., $c n ≤ 1 n 1 k$ for all $n ≥ n 0$.
Let $m , n ∈ N$ with $m > n ≥ n 0$. Then
$ζ ( θ n , θ m ) ≤ ∑ i = n m − 1 ζ ( θ i , θ i + 1 ) = ∑ i = n m − 1 c i ≤ ∑ i = n ∞ c i ≤ ∑ i = n ∞ 1 i 1 k .$
Since the series $∑ i = n ∞ 1 i 1 k$ is convergent for $k ∈ ( 0 , 1 )$, we have $ζ ( θ n , θ m ) → 0$ as $m , n → ∞$. Hence ${ θ n }$ is Cauchy and $( ℑ , ζ )$ being complete, we have $θ n → θ$ for some $θ ∈ ℑ$.
We claim that $θ$ is a fixed point of $Γ$. We consider the two cases.
Case I: There exists a subsequence ${ θ n k }$ of ${ θ n }$ such that $Γ θ n k = Γ θ$ for all $k ∈ N$.
Then $Δ ( θ , Γ θ ) = lim k → ∞ Δ ( θ n k + 1 , Γ θ ) ≤ lim k → ∞ H ( Γ θ n k , Γ θ ) = 0$.
Case II: There exists $n 1 ∈ N$ such that $Γ θ n ≠ Γ θ$ for all $n ≥ n 1$. Then
$τ + F ( Δ ( θ n + 1 , Γ θ ) ) = τ + F ( H ( Γ θ n , Γ θ ) ) ≤ a F ( Δ ( θ n , Γ θ n ) ) + b F ( Δ ( θ , Γ θ ) ) = a F ( ζ ( θ n , θ n + 1 ) ) + b F ( Δ ( θ , Γ θ ) ) .$
Taking limit in (7) as $n → ∞$, we have $F ( Δ ( θ n + 1 , Γ θ ) ) → − ∞$. Hence $lim n → ∞ Δ ( θ n + 1 , Γ θ ) = 0$. Thus $Δ ( θ , Γ θ ) = 0$. □
Remark 4.
In [21], Mohammadi et al. studied interpolative multivalued Ćirić-Reich-Rus type F-contraction which is an extension of Reich’s [3] theorem. It is to be noted that our new result, i.e, Theorem 3 is not a particular case of Theorem 2.7 in [21]. Because in [21], the condition $α = 0$ is not permissible.
Next, we provide an example which shows that Theorem 3 can be used to prove existence of fixed point results for such mappings where neither Kannan’s nor Wardowski’s theorem is applicable.
Example 1.
Consider $Λ = { 0 , 1 , 2 }$ with the metric
$ζ ( θ , ϑ ) = 0 , if θ = ϑ , 5 4 , if ( θ , ϑ ) = ( 1 , 2 ) or ( θ , ϑ ) = ( 2 , 1 ) , 1 , otherwise .$
Clearly $( Λ , ζ )$ is a complete MS. Define the multivalued map $Γ : Λ → CB ( Λ )$ by
$Γ θ = { 0 } , if θ = 0 , 1 { 1 , 2 } , if θ = 2 .$
Let $θ = 0 , ϑ = 2$. Then $F ( H ( Γ θ , Γ ϑ ) ) = F ( H ( { 0 } , { 1 , 2 } ) ) = F ( 1 )$ and $F ( ζ ( θ , ϑ ) ) = F ( ζ ( 0 , 2 ) ) = F ( 1 )$. Thus in this case we can not find any $τ > 0$ such that $τ + F ( H ( Γ θ , Γ ϑ ) ) ≤ F ( ζ ( θ , ϑ ) )$, i.e., the multivalued version of Wardowski’s theorem (see Remark 3) is not applicable.
Further, with $θ = 0 , ϑ = 2$, if the condition $H ( Γ θ , Γ ϑ ) ≤ λ { Δ ( θ , Γ θ ) + Δ ( ϑ , Γ ϑ ) }$ is to be satisfied, then we should have $H ( { 0 } , { 1 , 2 } ) ≤ λ { Δ ( 0 , Γ 0 ) + Δ ( 2 , Γ 2 ) }$, i.e., $1 ≤ λ { Δ ( 0 , { 0 } ) + Δ ( 2 , { 1 , 2 } ) }$, i.e., $1 ≤ λ · 0 = 0$, which is not satisfied by any $λ > 0$. Hence multivalued Kannan’s theorem (see, Remark 2) is also not applicable either.
Finally, if we assume that $θ , ϑ ∈ Λ ∖ F i x ( Γ )$ with $Γ θ ≠ Γ ϑ$, then it is easy to see that the condition $F ( H ( Γ θ , Γ ϑ ) ) ≤ a F ( Δ ( θ , Γ θ ) ) + b F ( Δ ( ϑ , Γ ϑ ) )$ is trivially satisfied for any $a , b ∈ ( 0 , 1 )$ with $a + b < 1$, $τ > 0$ and $F ∈ F$. We observe that $F i x ( Γ ) = { 0 , 2 }$.
We present another example to illustrate Theorem 3 as follows.
Example 2.
Consider the set $ℑ = [ 0 , ∞ )$ endowed with the usual metric $ζ ( θ , ϑ ) = | θ − ϑ |$ for all $θ , ϑ ∈ ℑ$. Define the multivalued map $Γ : ℑ → CB ( ℑ )$ by
$Γ θ = { 0 } , if θ ∈ [ 0 , 5 ) { θ , θ + 1 } , if θ ≥ 5 .$
Let $θ , ϑ ∉ F i x ( Γ )$, then clearly $θ , ϑ ∈ ( 0 , 5 )$. In that case, $H ( Γ θ , Γ ϑ ) = H ( { 0 } , { 0 } ) = 0$. Thus, we observe that Γ is a GMKFC with $τ = ln 2$, $F ( t ) = t , t > 0$ and any $a , b ∈ ( 0 , 1 )$ with $a + b < 1$. Therefore, all conditions of Theorem 3 are satisfied and Γ has a fixed point. In fact, Γ has infinitely many fixed points.

## 3. Multivalued Reich Type F-Contraction

Here we introduce generalized multivalued Reich-type F-contraction (GMRFC, in short) by increasing the degrees of freedom of the constants in GMKFC. We show that GMKFC introduced in the previous section is a particular case of GMRFC for suitable choice of the constants.
Definition 6.
Let $( ℑ , ζ )$ be a complete MS. A map $Γ : ℑ → CB ( ℑ )$ is said to be a GMRFC if there exist $a , b , c ∈ ( 0 , 1 )$ with $a + b + c < 1$, $τ > 0$ and $F ∈ F$ such that
$τ + F ( H ( Γ θ , Γ ϑ ) ) ≤ a F ( Δ ( θ , Γ θ ) ) + b F ( Δ ( ϑ , Γ ϑ ) ) + c F ( ζ ( θ , ϑ ) )$
for all $θ , ϑ ∈ ℑ ∖ F i x ( Γ )$ with $Γ θ ≠ Γ ϑ$.
Theorem 4.
Let $( ℑ , ζ )$ be a complete MS. A GMRFC, $Γ : ℑ → ℑ$ such that $Γ θ$ is compact for each $θ ∈ ℑ$ admits a fixed point.
Proof.
Similar to the proof of Theorem 3, we construct a sequence ${ θ n }$.
Putting $θ = θ n$ and $ϑ = θ n − 1$ in (8), we have
$τ + F ( ζ ( θ n + 1 , θ n ) ) ≤ τ + F ( H ( Γ θ n , Γ θ n − 1 ) ) ≤ a F ( Δ ( θ n , Γ θ n ) ) + b F ( Δ ( θ n − 1 , Γ θ n − 1 ) ) + c F ( ζ ( θ n , θ n − 1 ) ) ≤ a F ( ζ ( θ n , θ n + 1 ) ) + b F ( ζ ( θ n − 1 , θ n ) ) + c F ( ζ ( θ n , θ n − 1 ) ) < a F ( ζ ( θ n , θ n + 1 ) ) + b F ( ζ ( θ n − 1 , θ n ) ) + ( 1 − a − b ) F ( ζ ( θ n , θ n − 1 ) ) , ( since c < 1 − a − b ) .$
Rest of the proof may be obtained in a similar manner as the proof of Theorem 3 and hence omitted. □
Remark 5.
1.
In Theorem 4, if we take $c = 0$, then Theorem 3 is obtained. Thus GMKFC introduced in this paper is a particular case of GMRFC when $c = 0$.
2.
Theorem 4 is more general than Theorem 2.7 in [21] in terms of relaxation of degrees of freedom of the constants involved.

## 4. An Application to Integral Equations

In this section we present an application of Theorem 3 to the solution of a particular Volterra type integral equation.
Let $C ( [ 0 , λ ] , R )$ be the space of all real valued continuous functions defined on $[ 0 , λ ]$. For any $φ ∈ C ( [ 0 , λ ] , R )$ and fixed arbitrary $τ > 0$, define $∥ φ ∥ = sup r ∈ [ 0 , λ ] { | φ ( r ) | e − τ r }$. It is easy to see that the norm $∥ · ∥$ is equivalent to the supremum norm. The metric $ζ$ on $C ( [ 0 , λ ] , R )$ is defined by
$ζ ( φ , ψ ) = sup r ∈ [ 0 , λ ] { | φ ( r ) − ψ ( r ) | e − τ r }$
for all $φ , ψ ∈ C ( [ 0 , λ ] , R )$.
Consider the following integral equation
$φ ( r ) = q ( r ) + ∫ 0 r K ( u , v , φ ( v ) ) d v , r ∈ [ 0 , λ ] ,$
where
(A) $q : [ 0 , λ ] → R$ and $K : [ 0 , λ ] × [ 0 , λ ] × R → R$ are continuous;
(B) $K ( u , v , · ) : R → R$ is increasing for all $u , v ∈ [ 0 , λ ]$;
(C) there is $φ 0 ∈ C ( [ 0 , λ ] , R )$ such that for all $r ∈ [ 0 , λ ]$, the following is true:
$φ 0 ( r ) ≤ q ( r ) + ∫ 0 r K ( u , v , φ 0 ( v ) ) d v .$
Theorem 5.
Suppose that conditions $( A ) − ( C )$ hold. Further, suppose there exist $τ ∈ [ 1 , ∞ )$ and $a , b ∈ ( 0 , 1 )$ with $a + b < 1$ satisfying
$| K ( u , v , φ ) − K ( u , v , ψ ) | ≤ τ e − τ φ − ∫ 0 r K ( u , v , φ ) d v a · ψ − ∫ 0 r K ( u , v , ψ ) d v b · e τ v ( 1 − ( a + b ) ) ,$
for all $u , v ∈ [ 0 , λ ]$ and $φ , ψ ∈ R$. Then the integral Equation (10) has a solution.
Proof.
Define a map $Γ : C ( [ 0 , λ ] , R ) → C ( [ 0 , λ ] , R )$ by
$Γ ( φ ) ( r ) = q ( r ) + ∫ 0 r K ( u , v , φ ( v ) ) d v , r ∈ [ 0 , λ ] .$
For each $r ∈ [ 0 , λ ]$, we have
$| Γ ( φ ) ( r ) − Γ ( ψ ) ( r ) | ≤ ∫ 0 r | K ( u , v , φ ( v ) ) − K ( u , v , ψ ( v ) ) | d v ≤ ∫ 0 r τ e − τ | φ ( v ) − Γ ( φ ) ( v ) | a · | ψ ( v ) − Γ ( ψ ) ( v ) | b e τ v ( 1 − ( a + b ) ) d v ≤ ∫ 0 r e τ v τ e − τ | φ ( v ) − Γ ( φ ) ( v ) | a e − τ v a · | ψ ( v ) − Γ ( ψ ) ( v ) | b e − τ v b d v ≤ τ e − τ ∥ φ − Γ φ ∥ a · ∥ ψ − Γ ψ ∥ b ∫ 0 r e τ v d v ≤ τ e − τ ∥ φ − Γ φ ∥ a · ∥ ψ − Γ ψ ∥ b · e τ r τ ≤ e − τ ∥ φ − Γ φ ∥ a · ∥ ψ − Γ ψ ∥ b · e τ r ⇒ | Γ ( φ ) ( r ) − Γ ( ψ ) ( r ) | e − τ r ≤ e − τ ∥ φ − Γ φ ∥ a · ∥ ψ − Γ ψ ∥ b ⇒ ζ ( Γ φ , Γ ψ ) ≤ e − τ ( ζ ( φ , Γ φ ) ) a · ( ζ ( ψ , Γ ψ ) ) b ⇒ ln [ ζ ( Γ φ , Γ ψ ) ] ≤ ln [ e − τ ( ζ ( φ , Γ φ ) ) a · ( ζ ( ψ , Γ ψ ) ) b ] .$
After some routine calculation we have that
$τ + ln [ ζ ( Γ φ , Γ ψ ) ] ≤ a ln [ ζ ( φ , Γ φ ) ] + b ln [ ζ ( ψ , Γ ψ ) ] .$
Taking $F ( δ ) = ln ( δ )$, $δ > 0$, we have form (13) that
$τ + F ( ζ ( Γ φ , Γ ψ ) ) ≤ a F ( ζ ( φ , Γ φ ) ) + b F ( ζ ( ψ , Γ ψ ) ) ,$
for all $φ , ψ ∈ C ( [ 0 , λ ] , R ) ∖ F i x ( Γ )$ with $Γ φ ≠ ψ h$.
Hence Theorem 3 is applicable to $Γ$ and we conclude that $Γ$ has a fixed point. Therefore, the integral Equation (10) has a solution. □

## 5. Conclusions

We have introduced new and proper extensions of multivalued Kannan type F-contraction and found its application to the solution of integral equations. It has been shown that our result is applicable to certain class of mappings where neither the multivalued version of Kannnan nor that of Wardowski can be used. Finding metric completeness characterization in terms of GMKFC is a suggested future work.

## Author Contributions

Author P.D. contributed in Conceptualization, Investigation, Methodology and Writing the original draft; Author H.M.S. contributed in Investigation, Validation, Writing and Editing. All authors have read and agreed to the published version of the manuscript.

## Funding

This research received no other external funding.

## Acknowledgments

The authors are thankful to the learned referees for careful reading and valuable comments towards improvement of the manuscript. Research of the first author (P. Debnath) is supported by UGC (Ministry of HRD, Govt. of India) through UGC-BSR Start-Up Grant vide letter No. F.30-452/2018(BSR) dated 12 Feb 2019.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

1. Kannan, R. Some results on fixed points. Bull. Calcutta Math. Soc. 1968, 60, 71–77. [Google Scholar]
2. Subrahmanyam, P.V. Completeness and fixed points. Monatsh. Math. 1975, 80, 325–330. [Google Scholar] [CrossRef]
3. Reich, S. Some remarks concerning contraction mappings. Can. Math. Bull. 1971, 14, 121–124. [Google Scholar] [CrossRef]
4. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric space. Fixed Point Theory Appl. 2012, 2012, 94. [Google Scholar] [CrossRef]
5. Nadler, S.B. Multi-valued contraction mappings. Pac. J. Math. 1969, 30, 475–488. [Google Scholar] [CrossRef]
6. Boriceanu, M.; Petrusel, A.; Rus, I. Fixed point theorems for some multivalued generalized contraction in b-metric spaces. Int. J. Math. Stat. 2010, 6, 65–76. [Google Scholar]
7. Czerwik, S. Nonlinear set-valued contraction mappings in b-metric spaces. Atti Sem. Mat. Univ. Modena 1998, 46, 263–276. [Google Scholar]
8. Reich, S. Fixed points of contractive functions. Boll. Unione Mat. Ital. 1972, 4, 26–42. [Google Scholar]
9. Altun, I.; Minak, G.; Dag, H. Multivalued F-contractions on complete metric spaces. J. Nonlinear Convex Anal. 2015, 16, 659–666. [Google Scholar] [CrossRef]
10. Aydi, H.; Chen, C.M.; Karapinar, E. Interpolative Ćirić-Reich-Rus type contractions via the Branciari distance. Mathematics 2019, 7, 84. [Google Scholar] [CrossRef]
11. Aydi, H.; Karapinar, E.; Hierro, A.F.R. ω-Interpolative Ćirić-Reich-Rus-type contractions. Mathematics 2019, 7, 57. [Google Scholar] [CrossRef]
12. Bojor, F. Fixed point theorems for Reich type contractions on metric spaces with a graph. Nonlinear Anal. Theory Methods Appl. 2012, 75, 3895–3901. [Google Scholar] [CrossRef]
13. Bojor, F. Fixed points of Kannan mappings in metric spaces endowed with a graph. An. Univ. Ovidius Constanta Ser. Mat. 2012, 20, 31–40. [Google Scholar] [CrossRef]
14. Choudhury, B.S.; Kundu, A. A Kannan-like contraction in partially ordered spaces. Demonstr. Math. 2013, XLVI. [Google Scholar] [CrossRef]
15. Debnath, P.; de La Sen, M. Set-valued interpolative Hardy-Rogers and set-valued Reich-Rus-Ćirić-type contractions in b-metric spaces. Mathematics 2019, 7, 849. [Google Scholar] [CrossRef]
16. Debnath, P.; de La Sen, M. Fixed points of interpolative Ćirić-Reich-Rus-type contractions in b-metric spaces. Symmetry 2020, 12, 12. [Google Scholar] [CrossRef]
17. Debnath, P.; Mitrović, Z.; Radenović, S. Interpolative Hardy-Rogers and Reich-Rus-Ćirić type contractions in b-metric spaces and rectangular b-metric spaces. Math. Vesnik 2019. in Press. [Google Scholar]
18. Debnath, P.; Neog, M.; Radenović, S. Set valued Reich type G-contractions in a complete metric space with graph. Rend. Circ. Mat. Palermo II Ser. 2019. in Press. [Google Scholar]
19. Gornicki, J. Fixed point theorems for Kannan type mappings. J. Fixed Point Theory Appl. 2017, 19, 2145–2152. [Google Scholar] [CrossRef]
20. Karapinar, E.; Agarwal, R.P.; Aydi, H. Interpolative Reich-Rus-Ćirić type contractions on partial metric spaces. Mathematics 2018, 6, 256. [Google Scholar] [CrossRef]
21. Mohammadi, B.; Parvaneh, V.; Aydi, H. On extended interpolative Ćirić-Reich-Rus type F-contractions and an application. J. Inequal. Appl. 2019, 2019, 290. [Google Scholar] [CrossRef]
22. Sgroi, M.; Vetro, C. Multi-valued F-contractions and the solution of certain functional and integral equations. Filomat 2013, 27, 1259–1268. [Google Scholar] [CrossRef]
23. Ali, M.U.; Kamran, T. Multi-valued F-contractions and related fixed point theorems with an application. Filomat 2016, 30, 3779–3793. [Google Scholar] [CrossRef]