1. Introduction
Reich [
16,
26] has used Fixed Point Theory(FPT) to develop unique global tactics. The idea of the interpolative class of contractions was first introduced by Erdal et al. [
18], who also implemented a few fixed point results in a partial metric space. In order to determine the Hardy-Rogers findings, Erdal revised Kannan’s interpolative contraction in [
17] and employed an interpolative method.
Erdal updated Kannan’s interpolative contraction in [
17] and used an interpolative approach to determine the Hardy-Rogers findings in [
19]. Additionally, he created a novel interpolative contraction technique in [
4].
Aydi et al. [
1,
2], originally introduced interpolative and
-interpolative Reich-Rus type contractions and also showed some relevant fixed point findings for these mappings.
Aftab [
7,
8,
9], recently expanded on this idea of Erdal and published a few findings pertaining to these kinds of novel contractions. Nazam et al. [
23,
24,
25], introduced (
,
)-orthogonal interpolative contractions very recently and make a few observations on the literature.
Jleli and Samet [
14] added brand new form of
-metric space(FMS).
Definition 1.1.
[14]. Let represent the group of functions assuring the requirements:
g is increasing, meaning that for every ⟹;
each sequence
s.t
The following is a thorough definition of a FMS:
Definition 1.2. [14]. Let Ð be a mapping and let χ be a nonempty set. Suppose that there exists s.t
(Ð Ð
(Ð ÐÐ for all
(Ð
For every
every
each
with
we have
The pair Ð) is then referred to as an FMS.
Example 1.
[14]. Let an FMS is a set of if we define Ð by,
for all with and and not a FM. You should be aware that any measure on χ is an FM.
Definition 1.3.
[14]. Assume that Ð) is an FMS. Let represent a sequence in
(i) If Ð we declare that is -Cauchy,
(ii) We say that Ð) is -complete(FC) if every -Cauchy sequence in χ is -convergent to a specific element in χ.
Introducing the Banach Contraction Principle was Jleli and Samet:
Theorem 1.1. [14]. Let be a predetermined mapping and Ð) said to an FMS. Assume that the subsequent criteria are met:
(i) It is FC for Ð).
(ii) occurs in such a way that
Then g has a distinct fixed point . In addition, , the sequence defined by , , is -convergent for any to as well.
Delivered a class of -admissible mapping and installed the Banach contraction Principle using -admissible mapping, according to Samet et al. (2012). The following is the basic defintion of -admissible mapping:
Definition 1.4. [28]. Let and . We say that S is an α-admissible if implies that
The idea of
-admissible mapping was then modified by Salimi et al. [
27] as follows.
Definition 1.5. [27]. Let and two functions . We claim that S is an α-admissible mapping regarding to η then implies that
Definition 1.6.
[12] Let be a metric space. Let’s say that there are two functions and . A map S is considered as α-η-continuous map on whenever given , and a sequence is as follows
For more details see [20,21].
If implies that , then a mapping is pronounce to be orbitally continuous at v. If S is orbitally continuous for all v, then the mapping S is orbitally continuous on v.
Remark 1.1. Observe that some papers are not in corrected form without this property see [5,8,9].
Observation 1 [
24]. The inequality applies to all, þ
and
,
2. Interpolative Convex Reich-type Contraction
In this section, we offer a novel interpolative convex contraction and establish some new discoveries for interpolative convex Reich-type --contraction in the context of F-complete FMS.
Definition 2.1.
Let Ð) is be an FMS. Let there are two functions and . If there are constants and such that whenever , we say that S is an interpolative convex Reich-type α-η-contraction.
for all , where þ
Example 2.
Let be endowed with FMS given by
with and Define by
and by
If Clearly then
By taking any value of constants and þ Clearly, (1) holds for all Keep in mind that S has two fixed points, 0 and 1. see for more information and examples [18].
Now public and substantiate the key theorem.
Theorem 2.1. Let Ð) be an F-Complete FMS and S is an interpolative convex Reich type α-η-contraction assuring the accompanying conditions:
(i) S is an -admissible in term of ;
(ii) there is a such that ;
(iii) S is --continuously.
Consequently, S attains a fixed point in .
Proof. Let
in
such that
For
we construct a sequence
such that
,
. Continue this approach until for every
. . Because of (i),
S is an
-admissible in term of
after that
. By carrying out this procedure further, we have
On condition that
a few
afterwards
is a fixed point of
S. Thus, we presume
with
Since
S is an interpolative convex Reich-type
-
-contraction, for any
give us
we acquire
Afterward decide that
is decreasing terms. As a result there is a positive term
s.t.
Ð
. Take note
if we extrapolate use
, gives
Which provide
Subsequently
There are some
therefore
Let
be fixed and
be satisfied the (Ð
. Next to
there exist
such that
Due to (
4) and
, we obtained
where Ð
and
in like a way that
Consequently, combining (
5) and (Ð
gives that
which suggest that
we obtain
As a result
is an
-Cauchy sequence. There exists
such that
is
-convergent to
because
is a F-Complete MS that is,
S is
-
-continuous and has the properties
as every
afterwards apply limit approaches to infinity
a certian
. We will now demonstrate that
is a fixed point of
S. We use contradiction to argue by assuming that Ð
. (Ð
, gives us
By using (
) and the contractive condition gives
for every
In otherway, by using (
) together with (
6), possess
that result in a contradiction. In light of the fact that Ð
Finally,
is a fixed point of
S. □
Theorem 2.2. The hypothesis of Theorem 2.1 holds true with assertion (i) to (ii).
(iii) if any sequence in such that together at that occasion hold for every .
Consequently, S posses a fixed point in
Proof. In a manner similar to the proof of Theorem 2.3. We obtain
for every
. (D3) gives us
(
1) and
, give us
Using (
6) information
we obtain
Using
,gives that
that result in a contradiction. In light of the fact that Ð
it is an established point
possess fixed point of
S. □
Example 3.
Assume to FMS Ð by
with and Define by
and by
Case 1: If Evidently Ð
As a result, Theorem 2.1’s requirements are all met.
Case 2: If
are in
, but
then
It is evident that
S is an
-admissible in term of
for whenever
implies
by taking constants
þ
and
for all
Although (i) either j nor
ℓ are in
gives
whenever
It is evidently
S is an
-admissible mapping regard to
such that
where
þ
and
for all
(ii). One belong to
other outside of
It is evident that
S is an
-admissible mapping w.r.t
for whenever
such that
by taking constants
þ
and
for all
As a result, our Theorem 2.1’s requirements are all met. Thus S is convex interpolative Reich-type --contraction as a result.
Definition 2.2.
Assume that Ð) is an FMS and be two functions. The FMS in χ is considered to be α-η-complete iff each -Cauchy sequence must contain
in -converges.
Remark 2.1. The Theorem 2.1 and 2.2 also apply to α-η-complete FMS instead of FCFMS (see for more information [10]).
3. Convex Interpolative Kannan-type --contraction
In this stage, we develop several fixed point theorems inside the positioning of F-Complete FMS and provide new convex interpolative Kannan-type contractions. The following is an explanation of interpolative convex Kannan type --contraction:
Definition 3.1.
Let Ð) is an FMS. Let there are two functions and . If there are constants and such that whenever , we say that S is an convex interpolative convex Kannan-type α-η-contraction.
where þ for all with
Now present and prove our second important theorem.
Theorem 3.1. The hypotheses of Theorem 2.1 hold true with assertion (i) to (iii). Let S is a convex interpolative Kannan-type α-η-contraction.
Consequently, S possess a fixed point in .
Proof. The same procedures are used in the proof of Theorem 3.1.
Since
S is convex interpolative Kannan-type
-
-contraction, give us
It is implied from equation (
8) that
The rest of the proof follows the structure of Theorem 2.1 and proceeds in a similar manner. □
Theorem 3.2. Theorem 3.1 from (i) to (ii) and Theorem 2.2 solely (iii) are satisfying hypotheses.
S thus has a fixed point in
Proof. Carried out in a manner similar to that of Theorem 2.2. (
7) and (F1) give us
Utilizing (
6) and the information
We achieve
This is incongruous. Ð
as a result, meaning that is a fixed point of
S. □
The following corollaries derive from the Theorems 2.1, 2.2, 3.1, and 3.2 if .
Corollary 3.1. Let Ð) be an F-Complete FMS and S be an interpolative convex Reich type α-η-contraction assuring the accompanying assertions:
(i) S is an -admissible;
(ii) there is a such that ;
(iii) S is continuous.
Consequently, S has a fixed point in .
Corollary 3.2. Assertions (i) through (ii) in Corollary 3.1 are true.
(iii) if any sequence in such that together at that occasion satisfy for every .
S therefore has a fixed point.
Corollary 3.3. Assertions (i) through (iii) in Corollary 3.1 are true. Assuming S is a convex interpolative Kannan type contraction, the following claims can be made:
S thus has a fixed point in .
Corollary 3.4. Assertions (i) through (iii) in Corollary 3.1 are true. Assuming S is a convex interpolative Kannan type contraction, the following claims can be made:
(iii) if any sequence in such that together at that occasion satisfy for every .
S therefore has a fixed point in .
4. Findings
Our findings lead to some conclusions on Suzuki contractions, orbitally S-complete, and continuous maps in FMS.
Theorem 4.1.
Let S be a continuous self-map on χ and Ð) be a F-Complete FMS. Assume and are present and in such a way that
where þ for every
Consequently, S has a fixed point in .
Proof. Set two functions
by
and
and
It is clear that
that is, our Theorem 2.1’s criteria (i) through (iii) are satisfied. Let
it suggests a contractive condition
As a result, Theorem
3’s criteria are all satisfied. Hence
S attain a fixed point in
□
Theorem 4.2.
Suppose a continuous map S and Ð) be a F-Complete FMS. Assume and are present and in such a way that
where þ for all
Therefore S attain a fixed point.
Corollary 4.1.
Suppose a continuous map S and Ð) be a F-Complete FMS. Assume in such a way that
for all Then S possess a fixed point.
Theorem 4.3. Suppose S a self-map and Ð) be a FMS in χ. Surmise the given claims are true:
(i) Ð) is an orbitally S-complete FMS;
(ii)
and
exist such that
where þ
for all
for some
where
is an orbit of
;
where is an orbit of , and þ are in for every and for some ;
(iii) if is a sequence where along then .
As a result, S has a fixed point.
Proof. Set
, by
on
and
otherwise and
for all
( see Remark 6 [
10]). Then
Ð) is an
-
-complete
-metric and
S is an
-admissible regard to
. Let
later
afterwards from (ii) give us
That is
S is Interpolative convex
-
-contraction of the Reich-type. Let a sequence
applies it read
and
Therefore
The expression it taken from (iii)
As a result, Theorem 2.2’s criteria are all fulfilled.
S therefore has a fixed point. □
Theorem 4.4.
Similar to Theorem 4.3’s hypotheses, satisfies
Therefore S attain a fixed point.
Theorem 4.5. Let S be a self map and Ð) a FCFMS. Suppose the subsequent claims are true:
(i) for all
there exists
and
þ
such that
for some
(ii) S is orbitally continuous.
Afterwards S possess a fixed point.
Proof. Define
, by
on
and
otherwise and
( see Remark 1.1 [
11]), we know
S is
-
-continuous map. Assume
afterwards
Therefore
that is
In light of,
S is therefore a mapping that is
-admissible. We have from (i)
That is to say,
S is a Reich-type interpolative convex
-
-contraction. As a result, Theorem 2.1’s entire premise is true.
S therefore attains a fixed point. □
Theorem 4.6.
Theorem 4.5 (i) through (ii)hypotheses’s are true then
Consequently S attains a fixed point.
Corollary 4.2. Let Ð) be an F-Complete FMS and S be a self map. Assuming the assertions are true:
(i) there exist
such that for every
for some
(ii) S is orbitally continuous.
As a result, S possess a fixed point.
5. Application
Recent research has shown that the local and nonlocal fractional differential equations are useful tools for simulating a wide range of phenomena in a variety of scientific and architectural domains. Numerous fields, including viscoelasticity etc., make use of the fractional order differential equations. For more information, see [
3,
6,
22]. Fractional generlized derivative in sense of Riemann involving a boundary condition, we want to demonstrate the existence and uniqueness of a bounded solution.
The left Riemann Liouville fraction of a Lebesgue integrable function
g regards to an increasing function
h is provided by [
15].
With regard to the identical rising function
h, the related left Riemann Liouville fractional derivative of
g is given by [
15]
where
is the largest integer,
and
. The fractional integral and fractional derivative are combined in the following theorem.
Theorem 5.1.
[13] Let , and . Then
We are thinking about the ensuing boundary value problem
Lemma 5.1.
Let , and exist. If and only if, ℓ is a solution to the boundary value problem (12),
where the Greens’ function
satisfies the following:
Proof. Apply the integral (
10) to (
12) we get
using Theorem 5.1 we obtain
Therefore
Hence
There is no doubt that
for
.
For example,
one can demonstrateIt is clear that
when
.
Since
It follows that
where
and for
thus
is rising in proportion to
v.
Now
Thus
is decreasing when
. Therefore, at
reaches its maximum.
yields
or the critical point
Therefore,
maximum’s value is
The Riemann Stieltjes integrable function of
w w.r.t
and
g is denoted as follows: A continuous function
. Assume that
is the linear space of all continuous functions defined on
, and that
So
is a metric space that is F-Complete.
We take into account the following situations:
there exist
:
is a function for each
with
, such that
where þ
for every
there exists such that
satisfies for each
.
There exists a
for each
such that
holds for all values of
.
for any group of points
w in a sequence
of points in
will have
Theorem 5.2. Assume that the conditions (a) through (d) are met. So (12) has at least one solution.
Proof. We know that
is a solution of the fractional order integral equation, if and only
is a solution of (5.3),
where
. Define a map
by
Then, solving problem (
12) is identical to discovering
, a fixed point of
S. Let
be such that for all
. Using (a), we obtain
Thus
holds for each such that for each
We define
by
Then, for all
,
we have
Obviously,
for every
If
for each
, then
From (c), we have and so .
Thus, S is -admissible map concerning .
From (b) there subsist parallel to .
By (d), we know that any group of points in a sequence
of points in
with
w will have
and
By using Theorem 2.1, it can be shown that
S attains a fixed point in
. Finally
is a solution to the equation
in
(
12). □
Conclusion:
In the context of FMS, this study focuses on a novel notion of convex interpolative contraction of the Reich and Kannan type that is more inclusive than standard metric. Results for the Suzuki type fixed point are driven in the FMS. In order to demonstrate our theorems and as an application, we find a solution to the fractional differential equation problem. These new studies and uses would increase the effectiveness of the new arrangement.
Research Data
Not applicable.
Availability of Data and Material
Not applicable.
Funding
I declare that funding is applicable for this paper.
Competing Interests
The author declare that he has no competing interests.
References
- H. Aydi, C.-M Chen, E. Karapinar, Interpolative Ciric–Reich–Rus type contractions via the Branciari distance, Mathematics, 7(1), 84 (2019). [CrossRef]
- H. Aydi, E. Karapinar, A.F. Roldán López de Hierro, ω-Interpolative Ciric–Reich–Rus-type contractions. Mathematics 7, 57 (2019) . [CrossRef]
- Baleanu, R. P. Agarwal, H. Mohammadi, and S. Rezapour, “Some existence results for a nonlinear fractional differential equationon partially ordered Banach spaces,”Boundary Value Problems, 2013:112, 8 pages, 2013. [CrossRef]
- Y.U. Gaba, and E. Karapinar, A new approach to the interpolative contractions. Axioms, 8, 110 (2019). [CrossRef]
- H.A. Hammad, R.P Agarwal, S. Momani and F. Alsharari, Solving a Fractional-Order Differential Equation Using Rational Symmetric Contraction Mappings. Fractal Fract. 2021, 5, 159. [CrossRef]
- L. He, X. Dong, Z. Bai, and B. Chen, Solvability of Some Two-Point Fractional Boundary Value Problems under Barrier Strip Conditions, Journal of Function Spaces, 2017, Article ID 1465623, 6 pages. [CrossRef]
- A. Hussain, Fractional convex type contraction with solution of fractional differential equation, AIMS Mathematics, 5(5) (2020) 5364–5380. [CrossRef]
- A. Hussain, Solution of Fractional Differential Equations Utilizing Symmetric Contraction, Journal of Mathematics, (2021) Article ID 5510971, 17 pages. [CrossRef]
- A. Hussain, F, Jarad and E. Karapinar, A study of symmetric contractions with an application to generalized fractional differential equations, Advances in Difference Equations (2021) 2021:300. [CrossRef]
- N. Hussain, M.A. Kutbi and P. Salimi, Fixed Point Theory in α-Complete Metric Spaces with Applications, Abstract and Applied Analysis, 2014 Article ID 280817, 11 pages. [CrossRef]
- N. Hussain, A. Latif and I. Iqbal, Fixed point results for generalized F-contractions in modular metric and fuzzy metric spaces, Fixed Point Theory Appl. (2015) 2015:158. [CrossRef]
- N. Hussain and P. Salimi, Suzuki-Wardowski type fixed point theorems for α-GF-contractions, Taiwanese J. Math., 20 (20) (2014). [CrossRef]
- F. Jarad and T. Abdeljawad, Generalized fractional derivatives and Laplace transform, Discrete Contin. Dyn. Syst. Ser. S3 (2020) 709–722. [CrossRef]
- M. Jleli and B. Samet, on a new generalization of metric spaces, J. Fixed Point Theory Appl. 20(3) (2018) 128. [CrossRef]
- A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations vol. 204 (2006) of North-Holland Mathematics Sudies Elsevier Science B.V. Amsterdam the Netherlands.
- W. A. Kirk, S. Reich and P. veeramani, Proximinal Retracts and Best Proximity Pair Theorems, Numerical Functional Analysis and optimization, 24 (7) (2003) 851-862. [CrossRef]
- E. Karapinar, Revisiting the Kannan type contractions via interpolation. Adv. Theory Nonlinear Anal. Appl. 2 (2018) 85–87. [CrossRef]
- E. Karapinar, R. Agarwal and H. Aydi, Interpolative Reich–Rus–’Ciric– Type Contractions on Partial Metric Spaces, Mathematics, 6, 256 (2018). [CrossRef]
- E. Karapinar, O. Alqahtani and H. Aydi, On interpolative Hardy–Rogers-type contractions, Symmetry, 11(1) (2019) 8. [CrossRef]
- E. Karapinar and B. Samet, Generalized (α-ψ)contractive type mappings and related fixed point theorems with applications, Abstr. Appl. Anal., (2012) Article id:793486. [CrossRef]
- MA. Kutbi, M. Arshad and A. Hussain, On Modified α-η-Contractive mappings, Abstr. Appl. Anal., (2014) Article ID 657858, 7 pages. [CrossRef]
- K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Eqautions, John Wiley & Sons,1993.
- M. Nazam, H. Aydi and A. Hussain, Existence theorems for (ψ,ϕ)-orthogonal interpolative contractions and an application to fractional differential equations, Optimization, (2022). [CrossRef]
- M. Nazam, H. Aydi and A. Hussain, Generalized Interpolative Contractions and an Application, Journal of Mathematics, (2021) Article ID 6461477, 13 pages. [CrossRef]
- M. Nazam, M. MA. Lashin, A. Hussain and H. Al-Sulami, Remarks on the generalized interpolative contractions and some fixed-point theorems with application, Open Mathematics 20(1) (2022), 845-862. [CrossRef]
- S. Reich, Some problems and results in fixed point theory, Contemporary Mathematics, 21 (1983) 179-185.
- P. Salimi, A. Latif and N. Hussain, Modified α-ψ-Contractive mappings with applications, Fixed Point Theory Appl. (2013) 2013:151. [CrossRef]
- B. Samet, C. Vetro and P. Vetro, Fixed point theorems for α-ψ-contractive type mappings, Nonlinear Anal. 75 (2012) 2154–2165. [CrossRef]
|
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. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).