Next Article in Journal
Sensitivity of Quantum-Enhanced Interferometers
Next Article in Special Issue
Properties of Differential Equations Related to Degenerate q-Tangent Numbers and Polynomials
Previous Article in Journal
Numerical Simulation of the Effects of Reduced Gravity, Radiation and Magnetic Field on Heat Transfer Past a Solid Sphere Using Finite Difference Method
Previous Article in Special Issue
Analytical Solutions for a New Form of the Generalized q-Deformed Sinh–Gordon Equation: 2uzζ=eαu[sinhq(uγ)]pδ
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Application of Fixed-Point Results to Integral Equation through F-Khan Contraction

1
Department of Mathematics, College of Engineering and Technology, SRM Institute of Science and Technology, Kattankulathur 603203, India
2
Department of Mathematics, Saveetha School of Engineering, Saveetha Institute of Medical and Technical Sciences, Chennai 602105, India
3
Department of Mathematics, College of Science and Humanities in Alkharj, Prince Sattam Bin Abdulaziz University, Alkharj 11942, Saudi Arabia
4
Department of Mathematics, Cairo University, Cairo 12613, Egypt
5
Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11120 Belgrade, Serbia
*
Author to whom correspondence should be addressed.
Symmetry 2023, 15(3), 773; https://doi.org/10.3390/sym15030773
Submission received: 14 February 2023 / Revised: 8 March 2023 / Accepted: 15 March 2023 / Published: 22 March 2023
(This article belongs to the Special Issue Symmetries in Differential Equation and Application)

Abstract

:
In this article, we establish fixed point results by defining the concept of F -Khan contraction of an orthogonal set by modifying the symmetry of usual contractive conditions. We also provide illustrative examples to support our results. The derived results have been applied to find analytical solutions to integral equations. The analytical solutions are verified with numerical simulation.
MSC:
47H10; 54H25; 54C30

1. Introduction

The French mathematician Fréchet [1] introduced the notion of metric space. The Banach contraction principle presents a constructive way of obtaining a unique solution for models containing various forms of differential and integral equations. Several researchers extend this notion in multiple directions (see [2,3,4,5], and references therein). In fact, several modifications of the Banach contraction principle were generated from contraction conditions involving rational expressions. Khan [3] created one of the most significant works in this field.
In recent years, Piri et al. [6] presented some fixed-point results of F-Khan-type self-mappings on complete metric spaces. Wardowski [7] gave a beautiful fixed point result in a different way to extend the Banach contraction theorem. He proposed a new contraction known as the F -contraction and developed a fixed-point result as an extension of the Banach contraction principle in a method distinct from previously established results from the literature. For some recent works on F -contraction, authors can refer to [8,9].
The concept of an orthogonal in metric spaces was introduced by Gordji et al. [10]. The fixed-point results in generalized OMSs (orthogonal metric spaces) were proven by many researchers; see [11,12,13,14,15,16,17,18,19,20]. In 2022, Aiman et al. [21] initiated orthogonality in Brianciari metric spaces and proved some fixed point results. In this paper, we introduce the new idea of an orthogonal F -Khan contraction to prove fixed-point result in the setting of orthogonal complete metric spaces. The derived results are supplemented with suitable examples, and the result is applied to find an analytical solution to the integral equation. A comparison between the analytical and numerical solutions is also discussed.
The paper is organized as follows. In Section 2, we review some preliminary concepts including certain definitions and monographs which are very vital to this study. In Section 3, we present the main results and establish a fixed point result. In Section 4, the derived results have been applied to find analytical solutions to integral equations.

2. Preliminaries

The metric space concept was introduced by Fréchet [1] as follows:
Definition 1
([1]). Let H be a non-void set. A function Λ : H × H R + is said to be a metric on H , if for all κ , τ , ρ H , the following conditions hold:
1)
Λ ( κ , τ ) 0 and Λ ( κ , τ ) = 0 if and only if κ = τ ,
2)
Λ ( κ , τ ) = Λ ( τ , κ ) ,
3)
Λ ( κ , τ ) Λ ( κ , ρ ) + Λ ( ρ , τ ) .
Then, we say that ( H , Λ ) is a metric space.
Definition 2
([7]). Let ( H , Λ ) be a metric space. A mapping S : H H is called an F -contraction on ( H , Λ ) , if there exists F F and μ ( 0 , ) s.t.
κ , τ H , [ Λ ( S κ , S τ ) > 0 μ + F ( Λ ( S κ , S τ ) ) F ( Λ ( κ , τ ) ) ] .
Definition 3
([7]). Let F k be the family of all increasing functions F : ( 0 , ) R ; that is, for all κ , τ ( 0 , ) , if κ < τ , then F ( κ ) < F ( τ ) .
Gordji et al. [10] proposed orthogonal sets and generalized Banach fixed point theorems in 2017. The results are as follows:
Definition 4
([10]). Let H be a non-void set and H × H be a binary relation. Ifholds, we obtain the following axioms:
κ 0 H : ( κ H , κ κ 0 ) o r ( κ H , κ 0 κ ) ,
then, ( H , ) is called an orthogonal set.
Definition 5
([10]). Let ( H , ) be an orthogonal set ( O s ). A sequence { κ ϑ } is called an orthogonal sequence if
( ϑ N , κ ϑ κ ϑ + 1 ) o r ( ϑ N , κ ϑ + 1 κ ϑ ) .
Definition 6
([10]). The triplet ( H , , Λ ) is known as an OMS if ( H , ) is an O s and ( H , ) is a metric space.
Definition 7
([10]). Let ( H , , Λ ) be an OMS. Then, a mapping Λ : H H is said to be orthogonally continuous in κ H , if for each orthogonal-sequence { κ ϑ } in H with κ ϑ κ as ϑ , we have Λ ( κ ϑ ) Λ ( κ ) as ϑ .
Definition 8.
Let { κ ϑ } be a sequence in H . Then, the sequence { κ ϑ } is called a Cauchy orthogonal-sequence if for every ε > 0 ,a ϑ 0 ( > 0 ) N such that Λ ( κ ϑ , κ j ) < ε ϑ , j > ϑ 0 . i.e., lim ϑ , j Λ ( κ ϑ , κ j ) = 0 .
Definition 9
([10]). Let ( H , , Λ ) be an OMS. Then, H is called an orthogonal complete if every orthogonal Cauchy sequence is convergent.
Definition 10
([10]). Let ( H , ) be O s . A mapping Λ : H H is known as orthogonal-preserving (Shortly O p ), if Λ κ Λ τ whenever κ τ .

3. Main Results

In this section, we propose the concept of F -Khan contraction of orthogonal set and we prove the fixed point result for these contraction mappings in the setting of OMS.
Definition 11.
Let ( H , , Λ ) be an orthogonal complete metric space. A mapping S : H H is said to be an orthogonal F -Khan-contraction if there exist μ ( 0 , ) and F F k s.t. for all κ , τ H with τ κ , if max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } 0 , then S κ S τ and
μ + F ( Λ ( S κ , S τ ) F Λ ( κ , S κ ) Λ ( κ , S τ ) + Λ ( τ , S τ ) Λ ( τ , S κ ) max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } ,
and for all κ , τ H with S τ κ or S κ τ , if max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } = 0 , then S κ = S τ .
Theorem 1.
Let ( H , , Λ ) be an orthogonal-CMS and S be a self-mapping on H satisfying the following axioms:
1. 
S is an orthogonal preserving;
2. 
S is an orthogonal- F -Khan contraction;
3. 
S is an orthogonal-continuous.
Then, S has a UFP (unique fixed point) κ * H .
Proof. 
Since ( H , ) is an O s ,
κ 0 H : ( κ H , κ κ 0 ) or ( κ H , κ 0 κ ) .
It follows that κ 0 S κ 0 or S κ 0 κ 0 . Let
κ 1 : = S κ 0 , κ 2 : = S κ 1 = S 2 κ 0 , κ ϑ + 1 : = S κ ϑ = S ϑ + 1 κ 0 ,
for all ϑ N { 0 } . If there exists ϑ 0 N s.t. Λ ( κ ϑ 0 , κ ϑ 0 + 1 ) = 0 , then κ ϑ 0 + 1 = κ ϑ 0 ; hence, the proof is complete. That is S has a fixed point.
  • Now, we take κ ϑ κ ϑ + 1 ϑ N . Suppose that Λ ( κ ϑ , S κ ϑ ) 0 , ϑ N . Then, from (1), we obtain
F ( Λ ( κ ϑ , S κ ϑ ) ) < μ + F ( Λ ( S κ ϑ 1 , S κ ϑ ) ) F Λ ( κ ϑ 1 , S κ ϑ 1 ) Λ ( κ ϑ 1 , S κ ϑ ) + Λ ( κ ϑ , S κ ϑ ) Λ ( κ ϑ , S κ ϑ 1 ) max { Λ ( κ ϑ 1 , S κ ϑ ) , Λ ( S κ ϑ 1 , κ ϑ ) } = F ( Λ ( κ ϑ 1 , S κ ϑ 1 ) ) .
Since F F k , from (3), we have
Λ ( κ ϑ , S κ ϑ ) < Λ ( κ ϑ 1 , S κ ϑ 1 ) , ϑ N .
Therefore { Λ ( κ ϑ , S κ ϑ ) } ϑ N is a strictly non-increasing sequence of non-negative real numbers, and hence
lim ϑ Λ ( κ ϑ , S κ ϑ ) = γ 0 .
Since { Λ ( κ ϑ , S κ ϑ ) } ϑ N is a positive strictly non-increasing sequence, for every ϑ N , we have
Λ ( κ ϑ , S κ ϑ ) γ .
Now, we assume that γ = 0 . Arguing by contradiction, suppose that γ > 0 . From (4) and F F k , we have
F ( γ ) F ( Λ ( κ ϑ , S κ ϑ ) ) F ( Λ ( κ ϑ 1 , S κ ϑ 1 ) ) μ F ( Λ ( κ ϑ 2 , S κ ϑ 2 ) ) 2 μ F ( Λ ( κ 0 , S κ 0 ) ) ϑ μ , ϑ N .
Since H ( γ ) R and lim ϑ F ( Λ ( κ 0 , S κ 0 ) ) ϑ μ = , there exists ϑ 1 N such that
F ( Λ ( κ 0 , S κ 0 ) ) ϑ μ < F ( γ ) , ϑ > ϑ 1 .
It follows from (5) and (6) that
F ( γ ) F ( Λ ( κ 0 , S κ 0 ) ) ϑ μ < F ( γ ) , ϑ > ϑ 1 .
This is a contradiction. Therefore, we have
lim ϑ Λ ( κ ϑ , S κ ϑ ) = 0 .
Now, we assume, { κ ϑ } ϑ = 1 is an orthogonal Cauchy sequence. We claim that there exists ϵ > 0 ; the sequences { P ( ϑ ) } ϑ = 1 , { Q ( ϑ ) } ϑ = 1 N s.t.
P ( ϑ ) > Q ( ϑ ) > ϑ , Λ ( κ P ( ϑ ) , κ Q ( ϑ ) ) ϵ , Λ ( κ P ( ϑ ) 1 , κ Q ( ϑ ) ) < ϵ .
By triangular inequality, we have
Λ ( κ P ( ϑ ) , κ Q ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( S κ Q ( ϑ ) , κ Q ( ϑ ) ) .
It follows from (7) and (8) that
ϵ lim inf ϑ Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) .
So, there exists ϑ 2 N s.t. for all ϑ ϑ 2 , Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) > ϵ 2 . Therefore,
max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } > ϵ 2 , ϑ ϑ 2 .
Again by triangular inequality, we have
Λ ( κ P ( ϑ ) , κ Q ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) + Λ ( S κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( S κ Q ( ϑ ) , κ Q ( ϑ ) ) .
From (7) and (8) we obtain,
ϵ lim inf ϑ Λ ( S κ P ( ϑ ) , S κ Q ( ϑ ) ) .
There exists ϑ 3 N s.t. for all ϑ ϑ 3 ,
Λ ( S κ P ( ϑ ) , S κ Q ( ϑ ) ) > ϵ 2 .
Since F F k , from (1), (9) and (10), for all ϑ max { ϑ 2 , ϑ 3 } , we have
μ + F ( ϵ 2 ) μ + F ( Λ ( S κ P ( ϑ ) , S κ Q ( ϑ ) ) ) F Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } .
From (9), for ϑ ϑ 2 ,
0 Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } = Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) = Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) .
It follows from (7) and (12) and sandwich theorem that
lim ϑ Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } = 0 .
So there exists ϑ 4 N s.t. for all ϑ > ϑ 4 ,
Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } < ϵ 2 .
Since F F k , for all ϑ > ϑ 4 , we have
F Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } F ( ϵ 2 ) .
From (11) and (13), for all ϑ max { ϑ 2 , ϑ 3 , ϑ 4 } , we obtain
μ + F ( ϵ 2 ) F Λ ( κ P ( ϑ ) , S κ P ( ϑ ) ) Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) + Λ ( κ Q ( ϑ ) , S κ Q ( ϑ ) ) Λ ( κ Q ( ϑ ) , S κ P ( ϑ ) ) max { Λ ( κ P ( ϑ ) , S κ Q ( ϑ ) ) , Λ ( S κ P ( ϑ ) , κ Q ( ϑ ) ) } F ( ϵ 2 ) ,
which is a contradiction. By Completeness of ( H , Λ ) , therefore, there exists { κ ϑ } κ H such that
lim ϑ Λ ( κ ϑ , κ ) = 0 and lim ϑ Λ ( S κ ϑ , S κ ) = Λ ( κ , S κ ) .
Now, we consider Λ ( κ , S κ ) = 0 . We assume that Λ ( κ , S κ ) > 0 and consider the following two cases:
  • for all ϑ N , there exists j ϑ N , j ϑ > j ϑ 1 , j 0 = 1 and κ j ϑ + 1 = S κ ;
  • for all ϑ N , Λ ( κ ϑ , S κ ) > 0 .
In the first case, from (14) we have
κ = lim ϑ κ j ϑ + 1 = S κ .
In the second case, ϑ N , we have
max { Λ ( κ ϑ , S κ ) , Λ ( S κ ϑ , κ ) } > 0 .
So from (1), we have
μ + F ( Λ ( S κ ϑ , S κ ) ) F Λ ( κ ϑ , S κ ϑ ) Λ ( κ ϑ , S κ ) + Λ ( κ , S κ ) Λ ( κ , S κ ϑ ) max { Λ ( κ ϑ , S κ ) , Λ ( S κ ϑ , κ ) } .
On the other hand, from (7) and (14), we have
lim ϑ Λ ( κ ϑ , S κ ϑ ) Λ ( κ ϑ , S κ ) + Λ ( κ , S κ ) Λ ( κ , S κ ϑ ) max { Λ ( κ ϑ , S κ ) , Λ ( S κ ϑ , κ ) } = 0 .
Since Λ ( κ , S κ ) > 0 , so there exists ϑ 5 N s.t. ϑ ϑ 5 ,
Λ ( κ ϑ , S κ ϑ ) Λ ( κ ϑ , S κ ) + Λ ( κ , S κ ) Λ ( κ , S κ ϑ ) max { Λ ( κ ϑ , S κ ) , Λ ( S κ ϑ , κ ) } < 1 2 Λ ( κ , S κ ) .
Therefore
F Λ ( κ ϑ , S κ ϑ ) Λ ( κ ϑ , S κ ) + Λ ( κ , S κ ) Λ ( κ , S κ ϑ ) max { Λ ( κ ϑ , S κ ) , Λ ( S κ ϑ , κ ) } F 1 2 Λ ( κ , S κ ) ,
for all ϑ ϑ 5 .
  • It follows from (15) and (16), we have
μ + F Λ ( S κ ϑ , S κ ) F 1 2 Λ ( κ , S κ ) , ϑ ϑ 5 .
Hence
Λ ( S κ ϑ , S κ ) 1 2 Λ ( κ , S κ ) , ϑ ϑ 5 .
From (14), we obtain
Λ ( κ , S κ ) 1 2 Λ ( κ , S κ ) ,
which is a contradiction. Therefore, κ = S κ . Now, we prove that S has a UFP. Now, we consider τ is another fixed point of S in H s.t. Λ ( κ , τ ) > 0 . Therefore
max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } > 0 .
From (1),
F ( Λ ( κ , τ ) ) = F ( Λ ( S κ , S τ ) ) < μ + F ( Λ ( S κ , S τ ) ) F Λ ( κ , S κ ) Λ ( κ , S τ ) + Λ ( τ , S τ ) Λ ( τ , S κ ) max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } .
Since
Λ ( κ , S κ ) Λ ( κ , S τ ) + Λ ( τ , S τ ) Λ ( τ , S κ ) max { Λ ( κ , S τ ) , Λ ( S κ , τ ) } = 0 ,
which is a contradiction and hence κ = τ . This completes the proof. □
Example 1.
Let H = [ 0 , 1 ] and Λ : H × H R + be defined by
Λ ( κ , τ ) = | κ τ | .
Defineon H by κ τ iff κ , τ 0 . Then, it is easy to prove that ( H , , Λ ) is an O-complete metric space. Define the mapping S : H H by
S ( κ ) = κ 4 , κ [ 0 , 1 ) 1 6 , κ = 1 .
Clearly, S is an O p and an orthogonal continuous. Define the function F ( r ) = ln r , for r R + . Then, we have
+ F ( Λ ( S κ , S τ ) ) F ( Λ ( κ , τ ) ) ln Λ ( κ , τ ) Λ ( S κ , S τ ) ,
for all κ , τ H . First, we can observe that
Λ ( S κ , S τ ) > 0 , 1 2 Λ ( κ , S κ ) < Λ ( κ , τ ) { ( κ = 1 a n d τ = 0 )   ( κ = 0 a n d τ = 1 ) ( κ < τ < 1 ) ( τ κ < 1 ) } .
For κ = 1 a n d τ = 0 , we have Λ ( κ , τ ) = 1 and
Λ ( S κ , S τ ) = Λ 1 6 , S τ = 1 6 , τ [ 0 , 1 2 ] τ 6 , τ ( 1 2 , 1 ) 1 6 , τ = 1 .
Hence, we have
Λ ( κ , τ ) Λ ( S κ , S τ ) = 6 , τ [ 0 , 1 2 ] 6 τ , τ ( 1 2 , 1 ) 6 , τ = 1 .
For κ = 0 a n d τ = 1 , we have Λ ( κ , τ ) = 1 and
Λ ( S κ , S τ ) = Λ S κ , 1 6 = 1 6 , κ [ 0 , 1 2 ] κ 6 , κ ( 1 2 , 1 ) .
Hence, we have
Λ ( κ , τ ) Λ ( S κ , S τ ) = 6 , κ [ 0 , 1 2 ] 6 κ , κ ( 1 2 , 1 ) .
For κ < τ < 1 , we have Λ ( κ , τ ) = | κ τ | and Λ ( S κ , S τ ) = Λ ( κ 4 , τ 4 ) = | κ τ | 4 . Hence, we have
Λ ( κ , τ ) Λ ( S κ , S τ ) = 4 .
For τ κ < 1 , we have Λ ( κ , τ ) = | κ τ | and Λ ( S κ , S τ ) = Λ ( κ 4 , τ 4 ) = | κ τ | 4 . Hence, we have
Λ ( κ , τ ) Λ ( S κ , S τ ) = 4 .
From (17)–(20), we have if 0 < ln 4 , then ln Λ ( κ , τ ) Λ ( S κ , S τ ) . Thus,
+ F ( Λ ( S κ , S τ ) ) F ( Λ ( κ , τ ) ) .
Therefore, S satisfies all the conditions of Theorem 1 with 0 < ln 4 . Thus, S has a UFP.

4. Application

Let F = C ( [ 0 , H ] , R ) be the set of all real-valued continuous functions with domain [ 0 , H ] . Consider the integral equation
μ ( ) = 0 H Σ ( , τ ) ϝ ( τ , μ ( τ ) ) d τ , [ 0 , H ] ,
where
(a)
ϝ : [ 0 , H ] × R R is continuous;
(b)
Σ : [ 0 , H ] × [ 0 , H ] is continuous and measurable at τ [ 0 , H ] , ∀ [ 0 , H ] ;
(c)
Σ ( , τ ) 0 , for all , τ [ 0 , H ] and 0 H Σ ( , τ ) d τ 1 , for all [ 0 , H ] .
Theorem 2.
Assume that the conditions ( a ) ( c ) hold. Suppose that there exists > 0 s.t.
| ϝ ( , μ ( ) ) ϝ ( , ð ( ) ) | e | μ ( ) ð ( ) | ,
for every [ 0 , H ] and for all μ , ð C ( [ 0 , H ] , R ) . Then, the Equation (21) has a unique solution in C ( [ 0 , H ] , R ) .
Proof. 
Let F = { w C ( [ 0 , H ] , R ) : w ( ρ ) > 0 , for   all ρ [ 0 , H ] } . Define the orthogonality relation ⊥ on F by
μ ð μ ( ρ ) ð ( ρ ) μ ( ρ ) o r μ ( ρ ) ð ( ρ ) ð ( ρ ) , for   all ρ [ 0 , H ] .
Define a mapping Λ : F × F [ 0 , ) by
Λ ( μ , ð ) = | μ ( ) ð ( ) | ,
for all μ , ð F . Thus, ( F , , Λ ) is an OMS and also an orthogonal complete metric space. Define S : F F by
S μ ( ) = 0 H Σ ( , τ ) ϝ ( τ , μ ( ) ) , [ 0 , H ] .
Now, we prove that S is an O p . For every μ , ð F with μ ð , ρ I , we get
S μ ( ) = 0 H Σ ( , τ ) ϝ ( τ , μ ( ) ) 1 .
It follows that [ ( S μ ) ( ρ ) ] [ ( S ð ) ( ρ ) ] ( S ð ) ( ρ ) and so ( S μ ) ( ρ ) ( S ð ) ( ρ ) . Then, S is an O p .
  • Next, we assume that S is an orthogonal F -Khan contraction. Let μ , ð F with μ ð . Suppose that S ( μ ) S ( ð ) . For every [ 0 , H ] , we have
Λ ( S μ , S ð ) = | S μ ( ) S ð ( ) | = 0 H Σ ( , τ ) | ϝ ( τ , μ ( τ ) ) ϝ ( τ , ð ( τ ) ) | d τ 0 H Σ ( , τ ) e | μ ( ) ð ( ) ) d τ = e | μ ( ) ð ( ) | 0 H Σ ( , τ ) d τ e | μ ( ) ð ( ) | = e Λ ( μ , ð ) .
Therefore,
+ ln ( Λ ( S μ , S ð ) ) ln Λ ( μ , ð ) .
Taking F ( ) = ln ( ) , we obtain
+ F ( Λ ( S μ , S ð ) ) F Λ ( μ , ð ) .
for all μ , ð F . Therefore, by Theorem 1, S has a UFP. Hence there is a unique solution for (21). □
Example 2.
Consider the integral equation
0 t c o s ( t s ) κ ( s ) d s = t s i n t .
From (22) with exact solution κ ( t ) = 2 s i n ( t ) , for 0 t < 1 . Table 1 shows the numerical value.
Figure 1 and Figure 2 show that the error between the approximation and exact solution is also relatively very small.
Example 3.
Consider the integral equation
κ ( t ) = 1 κ κ 2 2 + 0 1 ( κ s ) δ s .
Here, 1 κ κ 2 2 is not an orthogonal continuous function on ( 0 , 1 ) . The following table compares analytical and numerical solutions.
Table 2 shows that the error between the approximation and exact solution is also relatively small, and Figure 3 shows the comparison of approximation and exact solution with h = 0.1.

5. Conclusions

In this article, we demonstrated the existence of fixed point theorem for orthogonal F -Khan contractions of an orthogonal CMS. The derived results have been applied to find the solution to the integral equation. We have also compared the analytical and numerical solutions for the integral equation and found that the margin of error was minimal.
Recently, Özgür et al. [22,23,24,25,26] introduced the fixed-circle problem considered for metric and some generalized metric spaces. It is an interesting open problem to study the fixed-circle problem and obtained Branciari metric space results on complete Branciari metric spaces. More generally, it will be also an open problem to use appropriate contractive conditions for the existence and uniqueness of theorems for fixed circles of self-mappings on metric spaces with geometric interpretation.

Author Contributions

Investigation: A.J.G., G.M., R.R. and K.H.K.; Methodology: R.R., G.M. and K.H.K.; Project administration: R.R. and S.R.; Software: A.J.G. and O.A.A.A.; Supervision: R.R. and S.R.; Writing—original draft: A.J.G., G.M., R.R. and K.H.K.; Writing—review and editing: R.R., G.M., K.H.K. and S.R. All authors have read and agreed to the published version of the manuscript.

Funding

This study is supported via funding from Prince Sattam Bin Abdulaziz University project number (PSAU/2023/R/1444).

Data Availability Statement

Not applicable.

Acknowledgments

This study is supported via funding from Prince sattam bin Abdulaziz University project number (PSAU/2023/R/1444). The authors are thankful to the anonymous reviewers for their valuable comments/suggestions which helped in bringing the manuscript to its present form.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Fráchet, M. Sur quelques points du calcul fonctionnel. Rend. Circ. Mat. Palermo 1906, 22, 1–72. [Google Scholar] [CrossRef] [Green Version]
  2. Cosentino, M.; Vetro, P. Fixed point results for F-contractive mappings of Hardy-Rogers-type. Filomat 2014, 28, 715–722. [Google Scholar] [CrossRef] [Green Version]
  3. Khan, M.S. A new fixed point theorem for metric space. Rend. Istituto Mat. Univ. Trieste 1976, 69–72. [Google Scholar]
  4. Kumam, P.; Gopal, D.; Budhiyi, L. A new fixed point theorem under Suzuki type Z-contraction mappings. J. Math. Anal. 2017, 8, 113–119. [Google Scholar]
  5. Piri, H.; Rahrovi, S.; Kumam, P. Generalization of Khan fixed point theorem. J. Math. Comput. Sci. 2017, 17, 76–83. [Google Scholar] [CrossRef] [Green Version]
  6. Piri, H.; Rahrovi, S.; Marasi, H.; Kumam, P. A fixed point theorem for F-Khan-contractions on complete metric spaces and application to integral equations. J. Nonlinear Sci. Appl. 2017, 10, 4564–4573. [Google Scholar] [CrossRef] [Green Version]
  7. Wardowski, D. Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 2012, 1–6. [Google Scholar] [CrossRef] [Green Version]
  8. Mani, G.; Ramaswamy, R.; Gnanaprakasam, A.J.; Stojiljkovic, V.; Fadail, Z.M.; Radenovic, S. Application of fixed point results in the setting of F-contraction and simulation function in the setting of bipolar metric space. AIMS Math. 2023, 8, 3269–3285. [Google Scholar] [CrossRef]
  9. Dung, N.V.; Hang, V.T. A fixed point theorem for generalized F-contractions on complete metric spaces. Vietnam. J. Math. 2015, 43, 743–753. [Google Scholar] [CrossRef]
  10. Gordji, M.E.; Ramezani, M.; De La Sen, M.; Cho, Y.J. On orthogonal sets and Banach fixed point theorem. Fixed Point Theory 2017, 18, 569–578. [Google Scholar] [CrossRef]
  11. Eshaghi Gordji, M.; Habibi, H. Fixed point theory in generalized orthogonal metric space. J. Linear Topol. Algebra 2017, 6, 251–260. [Google Scholar]
  12. Sawangsup, K.; Sintunavarat, W.; Cho, Y.J. Fixed point theorems for orthogonal F-contraction mappings on O-complete metric spaces. J. Fixed Point Theory Appl. 2020, 22, 10. [Google Scholar] [CrossRef]
  13. Baghani, H.; Eshaghi Gordji, M.; Ramezani, M. Orthogonal sets: The axiom of choice and proof of a fixed point theorem. J. Fixed Point Theory Appl. 2016, 18, 465–477. [Google Scholar] [CrossRef]
  14. Chandok, S.; Sharma, R.K.; Radenović, S. Multivalued problems via orthogonal contraction mappings with application to fractional differential equation. J. Fixed Point Theory Appl. 2021, 23, 14. [Google Scholar] [CrossRef]
  15. Eshaghi Gordji, M.; Habibi, H. Fixed point theory in ε-connected orthogonal metric space. Sahand Commun. Math. Anal. 2019, 16, 35–46. [Google Scholar]
  16. Gungor, N.B.; Turkoglu, D. Fixed point theorems on orthogonal metric spaces via altering distance functions. AIP Conf. Proc. 2019, 2183, 040011. [Google Scholar]
  17. Yamaod, O.; Sintunavarat, W. On new orthogonal contractions in b-metric spaces. Int. J. Pure Math. 2018, 5, 37–40. [Google Scholar]
  18. Gnanaprakasam, A.J.; Nallaselli, G.; Haq, A.U.; Mani, G.; Baloch, I.A.; Nonlaopon, K. Common fixed-points technique for the existence of a solution to fractional integro-differential equations via orthogonal Branciari metric spaces. Symmetry 2022, 14, 1859. [Google Scholar] [CrossRef]
  19. Prakasam, S.K.; Gnanaprakasam, A.J.; Kausar, N.; Mani, G.; Munir, M. Solution of integral equation via orthogonal modified F-contraction mappings on O-complete metric-like space. Int. J. Fuzzy Log. Intell. Syst. 2022, 22, 287–295. [Google Scholar] [CrossRef]
  20. Prakasam, S.K.; Gnanaprakasam, A.J.; Ege, O.; Mani, G.; Haque, S.; Mlaiki, N. Fixed point for an OgF-c in O-complete b-metric-like spaces. AIMS Math. 2023, 8, 1022–1039. [Google Scholar] [CrossRef]
  21. Mukheimer, A.; Gnanaprakasam, A.J.; Haq, A.U.; Prakasam, S.K.; Mani, G.; Baloch, I.A. Solving an integral equation via orthogonal Branciari metric spaces. J. Funct. Spaces 2022, 2022, 7251823. [Google Scholar] [CrossRef]
  22. Özgür, N.Y.; Taş, N. Some fixed-circle theorems on metric spaces. Bull. Malays. Math. Sci. Soc. 2019, 42, 1433–1449. [Google Scholar] [CrossRef] [Green Version]
  23. Özgür, N.Y.; Taş, N.; Çelik, U. New fixed-circle results on S-metric spaces. Bull. Math. Anal. Appl. 2017, 9, 10–23. [Google Scholar]
  24. Özgür, N.Y.; Taş, N. Fixed-circle problem on S-metric spaces with a geometric viewpoint. arXiv 2017, arXiv:1704.08838. [Google Scholar] [CrossRef]
  25. Özgür, N.Y.; Taş, N. Some fixed-circle theorems and discontinuity at fixed circle. AIP Conf. Proc. 2018, 1926, 020048. [Google Scholar]
  26. Mlaiki, N.; Taş, N.; Özgür, N.Y. On the fixed-circle problem and Khan type contractions. Axioms 2018, 7, 80. [Google Scholar] [CrossRef] [Green Version]
Figure 1. Graph of approximation (m = 64) compared to exact solution (h = 0.1).
Figure 1. Graph of approximation (m = 64) compared to exact solution (h = 0.1).
Symmetry 15 00773 g001
Figure 2. Graph of approximation (m = 128) compared to exact solution with h = 0.1.
Figure 2. Graph of approximation (m = 128) compared to exact solution with h = 0.1.
Symmetry 15 00773 g002
Figure 3. Comparison of approximation and exact solution with h = 0.1.
Figure 3. Comparison of approximation and exact solution with h = 0.1.
Symmetry 15 00773 g003
Table 1. Comparison of exact solution and approximation solutions.
Table 1. Comparison of exact solution and approximation solutions.
tExact SolutionApproximation Solution (m = 64)Approximation Solution (m = 128)
0.000.0104170.005208
0.10.1996670.1975700.192399
0.20.3973390.3829420.398412
0.30.5910400.6052050.589930
0.40.7788370.7811740.785758
0.50.9588510.9673350.963098
0.61.1292851.1266661.122812
0.71.2884351.2760561.289847
0.81.4347121.4464511.433200
0.91.5666541.5699341.572171
Table 2. Comparison of approximation and exact solution.
Table 2. Comparison of approximation and exact solution.
κ j Approximation SolutionExact SolutionError
0.050.950.948750.00125
0.150.850.838750.01125
0.250.750.718750.03125
0.350.650.588750.06125
0.450.550.448750.10125
0.550.450.298750.15125
0.650.350.138750.21125
0.750.25−0.031250.28125
0.850.15−0.211250.36125
0.950.05−0.401250.45125
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Gnanaprakasam, A.J.; Mani, G.; Ramaswamy, R.; Abdelnaby, O.A.A.; Khan, K.H.; Radenović, S. Application of Fixed-Point Results to Integral Equation through F-Khan Contraction. Symmetry 2023, 15, 773. https://doi.org/10.3390/sym15030773

AMA Style

Gnanaprakasam AJ, Mani G, Ramaswamy R, Abdelnaby OAA, Khan KH, Radenović S. Application of Fixed-Point Results to Integral Equation through F-Khan Contraction. Symmetry. 2023; 15(3):773. https://doi.org/10.3390/sym15030773

Chicago/Turabian Style

Gnanaprakasam, Arul Joseph, Gunaseelan Mani, Rajagopalan Ramaswamy, Ola A. Ashour Abdelnaby, Khizar Hyatt Khan, and Stojan Radenović. 2023. "Application of Fixed-Point Results to Integral Equation through F-Khan Contraction" Symmetry 15, no. 3: 773. https://doi.org/10.3390/sym15030773

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop