New Fixed Point Results in Orthogonal B-Metric Spaces with Related Applications

: In this article, we present the concept of orthogonal α -almost Istr˘ a tescu contraction of types D and D ∗ and prove some ﬁxed point theorems on orthogonal b -metric spaces. We also provide an illustrative example to support our theorems. As an application, we establish the existence and uniqueness of the solution of the fractional differential equation and the solution of the integral equation using Elzaki transform.


Introduction
Around a century ago, the first fixed-point result was introduced.Banach [1] initially abstracted the successive approximation method for resolving differential equations, and he later defined it as a concept of contraction mapping.This Banach principle was not only succinctly stated, but it was also demonstrated by showing how to obtain the desired fixed point.The fixed point theory is extremely applicable to many qualitative sciences and is also particularly fascinating to researchers because of the simplicity with which equations in many research areas can be converted into fixed point problems.Banach's fixed point result has been improved, expanded, and generalized by numerous authors in numerous ways [2][3][4][5][6].Istr ȃtescu [7,8] provided one of the most significant ideas of convex contraction and proved some fixed point results.Another interesting extension of the fixed point theory called "almost contraction map" was introduced by Berinde [9].In contrast, the concept of metric was developed in a number of ways, and these contraction principles have been extended to these new contexts.The idea of the b-metric was initiated by Bakhtin [10] in 1989.Czerwik [11] gave an axiom that was weaker than the triangular inequality and formally defined a b-metric space with a view of generalizing "the Banach contraction mapping theorem".Furthermore, Hussain et al. [12] improved the b-metric due to the modified triangle condition without a continuous function.Latif et al. [13] established some new results on the existence of fixed points for generalized multi-valued contractive mappings with respect to the w b -distance in metric space.In 2022, Haghi and Bakhshi [14] proved some coupled fixed point results by using a without mixed monotone property.Yao et al. [15] presented a Tseng-type self-adaptive algorithm for solving a variational inequality and a fixed point problem involving pseudo-monotone and pseudo-contractive operators in Hilbert spaces.
Recently, the idea of orthogonality was introduced by Gordji et al. [16] and proved fixed point theorems in the setting of orthogonal complete metric spaces.In 2022, Aiman et al. [17] introduced the concept of an orthogonal L contraction map and proved some fixed point theorems.Furthermore, many researchers improved and generalized the concept of orthogonal metric spaces (see [18][19][20][21][22][23][24]).By motivating all the above the literature work, here we present the new notion of orthogonal α-almost Istr ȃtescu contraction of type D and D * and prove some fixed point theorems in the setting of orthogonal complete b-metric spaces.As an application, we apply our main result to the Reiman-Liouville fractional differential equation and the solution of the second kind Volterra integral equation using Elzaki transform to strengthen and validate our main results.

Preliminaries
The concept of an "almost contraction map" was introduced by Berinde [9], as follows: Definition 1. [9] Let (W, X ) be a metric space.A mapping χ : W → W is called an almost contraction if there exist a constant σ ∈ (0, 1) and some ≥ 0 s.t Bakhtin [10] introduced the notion of b-metric space as below: Definition 2. [10] Let W be a nonempty set and g ≥ 1. Suppose that the map X : W × W → [0, ∞) satisfies the following axioms: Then, X is called b-metric and (W, X ) is said to be a b-metric space.
In 2017, Miculescu et al. [25] explained the Cauchy criterion in the context of b-metric spaces.
Lemma 1. [25] Every sequence {  } of elements from a b-metric space (W, X ) of constant g having property that there ∃ p ∈ [0, 1) s.t for every  ∈ N is Cauchy.
Popescu [26] demonstrated the concept of an α-orbital admissible as below: Definition 3. [26] Let χ : W → W be a map and Now, we recall some concepts of orthogonality, which will be needed in the sequel.Definition 4. [16] Let W be a non-void set and ⊥⊆ W × W be a binary relation.If ⊥ fulfilled the following axiom: Gordji et al. [16] presented the definition of an orthogonal sequence in 2017 as follows: Definition 5. [16] Let (W, ⊥) be a orthogonal set.A sequence {  } ∈N is called an orthogonal sequence if Now, we initiated the new concepts of orthogonal b-metric space, convergent and Cauchy sequence as follows: Definition 6.A triplet (W, ⊥, X ) is called an orthogonal b-metric space if (W, ⊥) is an orthogonal set and (W, X ) is a b-metric space and g ≥ 1.
Definition 7. Let (W, ⊥, X ) be an orthogonal b-metric space and a map χ : W → W 1.
{ι  } is an orthogonal sequence in W that converges at a point ι if

2.
{ι  }, {ι m } are two orthogonal sequences in W that are said to be an orthogonal Cauchy sequence if Gordji et al. [27] introduced the concept of orthogonal continuous as below: Definition 8. [27] Let (W, ⊥, X ) be a orthogonal b-metric space.Then, χ : W → W is said to be orthogonal continuous at ι ∈ W if, for each orthogonal sequence {ι  } ∈N in W with ι  → ι.We have χ(ι  ) → χ(ι).Additionally, χ is said to be orthogonal continuous on W if χ is orthogonal continuous in each ι ∈ W.
The concept of orthogonal complete in metric spaces is defined by Gordji et al. [16] as follows.Definition 10. [16] Let (W, ⊥, X ) be an orthogonal metric space.Then, W is said to be orthogonal-complete if every orthogonal Cauchy sequence is convergent.Definition 11. [16] Let (W, ⊥) be an orthogonal set.A function χ : W → W is called orthogonalpreserving if χ ⊥ χι whenever ⊥ ι.
Ramezani [28] introduced the notion of orthogonal α-admissible as follows: Definition 12. [28] Let χ : W → W be a map and α : W × W → [0, ∞) be a function.Then, χ is said to be orthogonal Inspired by the α-almost Istr ȃtescu contraction of types defined by Karapinar et al. [29], we implement a new orthogonally α-almost Istr ȃtescu contraction type mapping and present some fixed point results in an orthogonal CbMS (complete b-metric space) for this contraction map.

Main Results
First, we introduce the concept of an orthogonally α-almost Istr ȃtescu contraction of type D. Definition 13.Let (W, ⊥, X ) be an orthogonal CbMS and α : where and where D( , ι) and N( , ι) are defined by inequality (3) and (4), respectively.
Proof.By the definition of orthogonality, we find that 0 ⊥ χ 0 or χ 0 ⊥ 0 .Let for all  ∈ N. If  = +1 for some  * ∈ N ∪ {0}, then   * is a fixed point of χ and so the proof is completed.Thus, we assume that  = +1 for all  ∈ N ∪ {0}.
Keeping the continuity of χ 2 , we obtain Since each orthogonal sequence in (W, ⊥, X ) has a unique limit, we obtain χ 2 κ = κ, that is, κ forms a fixed point of χ 2 .In order to illustrate that κ also forms a fixed point of χ, we apply the method of reductio ad absurdum.We diminish the consequence and presume that χκ = κ.Therefore, from Equation (2), we obtain Hence, χκ = κ.
To prove the uniqueness of the fixed point, let π ∈ W be another fixed point of χ.Then, we have χ  π = π, ∀  ∈ N. Given our choice of κ in the first part of the proof, we obtain Since χ is orthogonal-preserving, we obtain On the other hand, χ is an orthogonal α-almost Istr ȃtescu contraction.Then, we obtain which is a contradiction.Therefore, χ has a unique fixed point.
We can see that χ is discontinuous at = 2, but χ 2 is orthogonal continuous and χ 2 is orthogonal preserving on W, since Let the map α : W × W → [0, ∞) with ⊥ ι be given by It is clear that χ is an orthogonally α-almost Istr ȃtescu contraction of type D. In fact, based on the definition of the function α, the only case we find interesting is , ι ∈ [1, ∞); we obtain for r ∈ [0, 1) We can conclude that for any , ι ∈ W, all the conditions of Theorem 1 are satisfied, and Fix χ W = {0, 1}.
Corollary 1. Suppose that a self-map χ, on orthogonal CbMS (W, ⊥, X ) fulfills for all , ι ∈ W. If either χ or χ 2 is orthogonal continuous.Then, χ has a unique fixed point.
Proof.Let 0 ∈ W and we assume the orthogonal sequence {  } follows from Theorem 1.
Then, for each  ∈ N, we obtain and Taking Equation (9), by Equation ( 6), we obtain If we suppose that X ( −1 ,  ) ≤ X ( +1 , +2 ), by Equation ( 16), we obtain Denoting by p = 2r r + 1 < 1, ξ = max{X ( 0 , 1 ), X ( 1 , 2 )}, respectively, and continuing in the process, we have Therefore, From Lemma 1, the orthogonal sequence {  } is an orthogonal Cauchy sequence in orthogonal CbMS, so there exists κ s.t If we consider that (i) holds, we obtain χκ = κ.Instead, if we use hypotheses (ii), we have χ 2 κ = κ and α(χκ, κ) ≥ 1.We apply the method of reductio ad absurdum and suppose that χκ = κ, so by Equation ( 6), we have which is a contradiction.Therefore, χκ = κ.Now, we prove the unique fixed point, let π ∈ W be another fixed point of χ.Then, we have χ  π = π, ∀  ∈ N. Given our choice of κ in the proof of the first part, we obtain Since χ is orthogonal-preserving, we obtain On the other hand, χ is an orthogonal α-almost Istr ȃtescu contraction.Then, we obtain This is a contradiction, so that X (κ, π) = 0 then χ has a unique fixed point.
Example 2. Let (W, ⊥, X ) be an orthogonal CbMS, where W = [0, ∞) and the mapping Let χ : W → W be an orthogonal continuous map, defined by Then, In addition, let the map Thus, we can find r ∈ [0, 1) Otherwise, we obtain α( , ι) = 0. Clearly, χ is orthogonal continuous.Consequently, from Theorem 2, the map χ has a fixed point.

Applications 4.1. Fractional Differential Equations
For a function s ∈ C[0, 1], the Riemann-Liouville fractional derivative of order δ > Γ is the Euler gamma function, given that the right-hand side is defined point-wise on [0, 1], where [δ] is the integer component of δ, Γ.Consider the fractional differential equation as follows: where X : [0, 1] × R → R is a continuous function and π D σ represents the Caputo fractional derivative of order σ and is defined by be the set of all the continuous functions defined on [0, 1] with [0, ∞).Consider ϕ : P × S → R + to be defined by and Ω(s, s ) = 3 for all (s, s ) ∈ P × S.Then, (P, S, ϕ) is a complete bipolar controlled metric space.Theorem 3. Assume the nonlinear fractional differential equation (20).Suppose that the following conditions are satisfied: sup Then, the Equation (20) has a unique solution in P ∪ S.
Proof.The given fractional differential equation ( 20) is equivalent to the succeeding integral equation with the orthogonal set (W, ⊥), Define the covariant mapping : P ∪ S → P ∪ S and is orthogonal preserving.For each ξ, π ∈ W with ξ ⊥ π as defined by It is easy to note that if s * ∈ is a fixed point then s * is a solution of the problem (20).Let s, s ∈ P × S with s ⊥ s .Now, Taking the supremum on both sides, we obtain ϕ( s, s ) ≤ χϕ(s, s ).
Hence, all the hypotheses of Theorem 1 are verified, and consequently, the fractional differential Equation ( 20) has a unique solution.
Example 3. The linear fractional differential equation is as follows: where π D σ represents the Caputo fractional derivative of order σ with the initial condition: The exact solution of Equation ( 21) with σ = 1.9: Clearly, s(ξ) is an orthogonal continuous function on [0, 1].In virtue of Equation (20), we can write Equation (21) in the homotopy form; the solution of Equation ( 21) is: Substituting Equation (23) into (22) and collecting terms with the power of p, we obtain Applying Ω σ and the inverse operation of D σ , on both sides of Equation (24) and fractional integral operation (Ω σ ) of order σ > 0, we have Hence, the solution of Equation ( 21) is when σ = 1.9 s(ξ) = ξ 2 + 6 Γ(5.9) ξ (4.9) − 2 Γ(4.9) ξ (3.9) − 6 Γ(7.8) Table 1 displays the numerical and exact results using the matrix approach method with σ = 1.9 and N = 51.  2 shows the absolute error between the numerical and exact solutions.The exact and absolute solution is an equal value of 0 in this case.Therefore, the unique solution to this problem is 0. Hence the unique fixed point at 0.

Application of Elzaki transformation
We prove the convolution of the Elzaki transform by a different method with Elzaki.
for E(X) is the Elzaki transform of X.In general, we can find the solution by using the Elzaki transform as follows: Theorem 4. Let us consider the Volterra integral equation of the second kind as follows: It can be expressed as where K is the kernel and E[ι( )] = (a).
let us take both sides on the Elzaki transform; we have for T is the transfer function.If we take the inverse Elzaki transform, we obtain for is the standard notation of convolution.
Let us take the Elzaki transform on Equation ( 27).Then we obtain for X = E( ) and for K = E(r) is orthogonal continuous.Organizing the equality, we obtain   As we scan a table of Elzaki transformations Table A1, we obtain ι( ) = + 3 6 .
It is clear that ι( ) is orthogonal continuous on [0, 1].Its shown in Figure 3 as follow:

Conclusions
In this paper, we proved some fixed point theorems for an orthogonal Istr ȃtescu type contraction of maps in an orthogonal CbMS.Furthermore, we presented examples that elaborated on the usability of our results.Meanwhile, we provided applications to the existence of a solution for a fractional differential equation and second kind Volterra integral equation through an Elzaki transform by using our main results.

Figure 1 .
Figure 1.The convergence between an approximate and exact solution with an interval difference of 0.1 for Example 3.

Figure 2 .
Figure 2. The absolute error with an interval difference of 0.1 for Example 3.

Figure 3 .
Figure 3. Graph of ι( ) with an interval difference of 0.1 for Example 5.

Table 1 .
The numerical and exact solution using the matrix approach method.
Figure 1 compares both the numerical and exact solutions for the fractional differential Equation (21).Moreover, Figure From the table of the Elzaki transform Table A1 in Appendix A, we obtain