Abstract

This paper establishes the reality of a fixed point of Kannan’s prequasinorm contraction mapping on the variable exponent function space of complex variables, demonstrating that it satisfies the property (R) and possesses a prequasinormal structure. We have established the presence of a fixed point of Kannan prequasinorm nonexpansive mapping on it and Kannan prequasinorm contraction mapping in the prequasi-Banach operator ideal, created by this function space and -numbers. Finally, we provide some applications for solutions to summable equations and illustrate instances to corroborate our findings.

1. Introduction

Many mathematicians have worked on feasible extensions to the Banach fixed point theorem since the publication of book [1] on the Banach fixed point theorem. Kannan [2] approved an instance of a class of operators that perform the same fixed point operations as contractions but with a continuous flop. Ghoncheh [3] made the first attempt to characterize Kannan operators in modular vector spaces. The variable exponent Lebesgue spaces contain Nakano sequence spaces. Throughout the second half of the twentieth century, it was assumed that these variable exponent spaces provided an acceptable framework for the mathematical components of several problems for which the conventional Lebesgue spaces were insufficient. Due to the relevance of these spaces and their effects, they have become a well-known and efficient tool for solving a variety of problems; nowadays, the area of spaces is a burgeoning area of research, with ramifications extending into a wide variety of mathematical specialties [4]. The study of variable exponent Lebesgue spaces received additional impetus from the mathematical description of non-Newtonian fluid hydrodynamics [5, 6]. Non-Newtonian fluids, also known as electrorheological fluids, have various applications ranging from military science to civil engineering and orthopedics. Operator ideal theory has a variety of applications in Banach space geometry, fixed point theory, spectral theory, and other branches of mathematics, among other branches of knowledge; for more details, see [713]. Bakery and Mohamed [14] investigated the concept of a prequasinorm on Nakano sequence space with a variable exponent in the range . They discussed the adequate circumstances for it to generate prequasi-Banach and closed space when endowed with a definite prequasinorm and the Fatou property of various prequasinorms on it. Additionally, they established the existence of a fixed point for Kannan prequasinorm contraction mappings on it and the prequasi-Banach operator ideal generated from -numbers belonging to this sequence space. Also, in [15], they found some fixed points results of Kannan nonexpansive mappings on generalized Cesàro backward difference sequence space of nonabsolute type. For more recent developments in contractive mappings and the existence of fixed points of nonlinear operators in various Banach spaces, Nguyen and Tram [16] examined various fixed point results with applications to involution mappings. Dehici and Redjel [17] introduced some fixed point results for nonexpansive mappings in Banach spaces. Benavides and Ramírez [18] presented some fixed points for multivalued nonexpansive mappings.

We denote the set of complex numbers by and Assuming that , Bakery and El Dewaik [19] defined the following function space:where

They developed a multitude of topological and geometric characteristics for this variable exponent weighted formal power series space, as well as the prequasi-ideal construction utilizing -number and . Upper bounds for -numbers of infinite series of the weighted n-th power forward shift operator on were also introduced for some entire functions. Further, they evaluated Caristi’s fixed point theorem in . For extra information on formal power series spaces and their behaviors, see [2023]. The purpose of this paper is to develop an insight into how to think about the existence of a fixed point of Kannan prequasinorm contraction mapping in the prequasi-Banach special space of formal power series, where satisfies the property (R) and possesses the -normal structure property. It has been established that a fixed point of the Kannan prequasinorm nonexpansive mapping exists in the prequasi-Banach special space of formal power series. Additionally, we discuss the Kannan prequasinorm contraction mapping in terms of the prequasioperator ideal. The existence of a fixed point of the Kannan prequasi norm contraction mapping in the prequasi Banach operator ideal is offered, where is the class of all bounded linear mappings between any two Banach spaces with the sequence -numbers. Finally, we discuss several applications of solutions to summable equations and illustrate our findings with some instances.

2. Definitions and Preliminaries

Definition 2.1 (see [19]). The linear space is called a special space of formal power series (or in short (ssfps), if it shows the following settings:(1), for all , where .(2)If and , for every , then .(3)Suppose ; then , with and marks the integral part of .

Definition 2.2 (see [19]). A subspace of is said to be a premodular (ssfps), if there is a function that verifies the next conditions:(i)For , we have and , where is the zero function of .(ii)Suppose and ; then there is with .(iii)Let ; then there is such that .(iv)Suppose , for every ; then .(v)There is so that .(vi), where indicates the space of finite formal power series; that is, for , we have with .(vii)One has with , where .

It is worth noting that the continuity of at is due to condition (ii). Condition (1) in Definition 2.1 and condition (vi) in Definition 2.2 analyze the notion that is a Schauder basis for .

The (ssfps) is called a prequasinormed (ssfps) if shows conditions (i)–(iii) of Definition 2.2, and if the space is complete under , then is called a prequasi-Banach (ssfps). By , we denote the ideal of all bounded linear operators between any arbitrary Banach spaces. Also, marks the space of all bounded linear operators from a Banach space into a Banach space .

Definition 2.3 (see [24]). A function is said to be an -number, if the sequence , for all , shows the following settings:(a)If , then .(b), for every ,,.(c)The inequality holds, if ,, and , where and are arbitrary Banach spaces.(d)Suppose and ; then .(e)Let ; then , whenever .(f)Assume that denotes the identity mapping on the -dimensional Hilbert space ; then or .

Definition 2.4. (see [7]) A class is said to be an operator ideal if every vector shows the following settings:(i), where is the ideal of all finite rank operators between any arbitrary Banach spaces.(ii) is linear space on .(iii)If ,, and , then .

Definition 2.5. (see [10]) A function is called a prequasinorm on the ideal if it shows the following settings:(1)For each , and .(2)One has with , for all and .(3)One has with , for every .(4)There is so that if ,, and , then , where and are normed spaces.

Definition 2.6. (see [19])(a)The prequasinormed (ssfps) on is said to be -convex, if, for all and .(b) is -convergent to , if and only if . If the -limit exists, then it is unique.(c) is -Cauchy, if .(d) is -closed, if , where ; then .(e) is -bounded, if .(f)The -ball of radius and center , for all , is defined as(g)A prequasinormed (ssfps) on verifies the Fatou property, if for every sequence with and every ,

Take note that the Fatou property determined the -balls’ closedness. By and , we denote the space of real bounded sequences and the space of all monotonic increasing sequences of positive reals.

Lemma 2.7. (see [19]) The function , for all , verifies the Fatou property, when .

Lemma 2.8. (see [19]) If , then the following settings hold:(1)The function space is a prequasiclosed and Banach (ssfps), with(2)The class is a prequasi-Banach and closed operator ideal, where , where , for every .

Lemma 2.9. The following inequalities will be utilized in the continuation:(i)[25] If and for each , then(ii)[26] Let , and for every with ; then(iii)[27] Assume and , for each ; then where .

3. Some Topological and Geometric Properties

In this section, first, we will talk about the uniform convexity (UUC 2) defined in [28] of the prequasinormed (ssfps) .

Definition 3.1 (see [4, 29]). We define the prequasinorm ’s uniform convexity type behavior as follows:(1)[30] Suppose and . LetWhen , we putWhen , we put . The function holds the uniform convexity (UC) if for each and , we have . Observe that, for all , then , for very small .(2)[28] The function verifies (UUC) if for every and , there is with(3)[28] Suppose and . LetWhen , we putWhen , we place . The function satisfies (UC 2) if for every and , one has . Observe that, for each ,, for very small .(4)[28] The function verifies (UUC 2) if for all and , there is with(5)[30] The function is strictly convex (SC), if for all so that and , we get .

We will require the following comment here and in the next: , for every and . When , we put .

Theorem 3.2. The function , for all , is (UUC2), if with .

Proof. Let the condition be satisfied, , and . Suppose so thatFrom the definition of , we haveand this implies . Consequent, let and . For every , we get . From the setup, one has or . Assume first . By using Lemma 2.9, condition (i), we obtainThis explainsAsby adding inequalities 2 and 3, and from inequality 1, we haveThis givesNext, suppose . Set ,As and the power function is convex, Since , we getFor any , we haveBy Lemma 2.9, condition (ii), we have Hence,This investigatesSinceby adding inequalities (27) and (28), one hasSinceby adding inequalities (29) and (30) and from inequality 1, we obtainThis impliesIt is clear thatBy using inequalities 4 and 9 and Definition 3.1, we putTherefore, we have , and we conclude that is (UUC2).We will examine the property (R) of the prequasinormed (ssfps) in this second part.

Theorem 3.3. Let with ; then the next setups are satisfied:(1)Assume that , , -closed and -convex, where , for all . Suppose so thatHence, one has a unique with .(2) satisfies the property (R). This means that, for every decreasing sequence of -closed and -convex nonempty subsets of such that , for some , then .

Proof. Suppose the setups are satisfied. To show (1), let as is -closed. Then, one has . So, for every , we have with . Assume is not -Cauchy. Therefore, one obtains a subsequence and so that , for all . Furthermore, one has , for each . AsandUnder , we getTherefore,with . If we let , we getWe have a contradiction. Then is -Cauchy. As is -complete, converges to some . For all , we have the sequence that converges to . As is -closed and -convex, one gets . Surely converges to , so . For and using Theorem 2.7, since satisfies the Fatou property, we getTherefore, . As is (UUC2), so it is SC, which implies that is unique. To show (2), let , for some . is increasing. Let . Suppose . Else , for every . By using Part (1), we have one point with , for every . A consistent proof will show that converges to some . When are -convex, decreasing, and -closed, we get .
This third part discusses the prequasinormed structure’s -normal structure feature (ssfps) .

Definition 3.4. satisfies the -normal structure property if for all nonempty -bounded, -convex, and -closed subset of did not decrease to one point, we have with

Theorem 3.5. If with , then holds the -normal structure property, where , for every .

Proof. Assume the setups are satisfied. Theorem 3.2 explains that is (UUC2). Let be a -bounded, -convex, and -closed subset of not decreased to unique point. Hence, . Let . Suppose with . So . For all , one obtains and . Since is -convex, one has . Hence,For all ,

4. Kannan Contraction Mapping

In the prequasinormed space, we now develop Kannan -Lipschitzian mapping (ssfps). We study enough conditions on with a defined prequasinorm such that Kannan prequasinorm contraction mapping has a unique fixed point.

Definition 4.1. An operator is called a Kannan -Lipschitzian, if there is , so thatFor all , one has the following:(1)If , then the operator is said to be Kannan -contraction.(2)If , then the operator is said to be Kannan -nonexpansive.A vector is called a fixed point of , when .

Theorem 4.2. If and is Kannan -contraction mapping, where , for all , then has a unique fixed point.

Proof. Let the setups be satisfied. For every , then . Since is a Kannan -contraction mapping, we haveTherefore, for every with , then we getSo is a Cauchy sequence in . As the space is prequasi-Banach (ssfps). Therefore, there is such that . To prove that , by Theorem 2.7, holds the Fatou property, and we haveHence, . Then is a fixed point of . To show that the fixed point is unique, assume we have two different fixed points of . Then, one hasTherefore, .

Corollary 4.3. Let and be Kannan -contraction mapping, where , for all ; then has one and only one fixed point with .

Proof. It is obvious, so it is omitted.

Definition 4.4. Assume is a prequasinormed (ssfps) and . The operator is called sequentially continuous at , if and only if when , .

Theorem 4.5. Let with and , where , for all . The point is the unique fixed point of , if the following conditions are satisfied:(a) is Kannan -contraction mapping.(b) is sequentially continuous at .(c)One has with the sequence of iterates having a subsequence converging to .

Proof. Suppose the settings are verified. If is not a fixed point of , then . By conditions (b) and (c), we haveSince the mapping is Kannan -contraction, one can seeSince , one has a contradiction. Hence, is a fixed point of . To explain that the fixed point is unique, suppose we have two different fixed points of . Therefore, one getsSo, .

Theorem 4.6. Assume is an increasing, and , where , for all . The point is the only fixed point of , if the following conditions are satisfied:(a) is Kannan -contraction mapping.(b) is sequentially continuous at .(c)One has so that the sequence of iterates has a subsequence converging to .

Proof. Let the conditions be verified. If is not a fixed point of , then . By conditions (b) and (c), we haveAs the operator is Kannan -contraction, one can seeSince , one obtains a contradiction. Hence, is a fixed point of . To explain that the fixed point is unique, assume we have two different fixed points of . Then, one getsSo, .

Example 4.7. Pick up , where , for all andFor all with , we haveFor all with , we haveFor all with and , we haveHence, is Kannan -contraction mapping. By Theorem 2.7, the function satisfies the Fatou property. By Theorem 4.2, the map has a unique fixed point .
Let with , where and . Since the prequasinorm is continuous, one getsTherefore, is not sequentially continuous at . Then, the map is not continuous at .
If , for all . For all with , one obtainsFor all with , we haveFor all with and , we haveTherefore, the map is Kannan -contraction mapping and
Obviously, is sequentially continuous at and has a subsequence converging to . By Theorem 4.5, the point is the unique fixed point of .

Example 4.8. Assume , where , for all andFor all with , we haveFor all with , we haveFor all with and , we haveHence, is Kannan -contraction mapping. From Theorem 2.7, the function satisfies the Fatou property. By Theorem 4.2, the map has a unique fixed point .
Let with , where and . Since the prequasinorm is continuous, we haveTherefore, is not sequentially continuous at . So, the map is not continuous at .
Suppose , for all . For all with , we haveFor all with , we haveFor all with and , we haveSo, the map is Kannan -contraction mapping and
Obviously, is sequentially continuous at and has a subsequence converging to . By Theorem 4.5, the point is the unique fixed point of .

Example 4.9. Let , where , for all andFor all with , we haveFor all with and then for any , we haveFor all with and , we haveHence, is Kannan -contraction mapping. Clearly, is sequentially continuous at , and there is with such that the sequence of iterates has a subsequence converging to . By Theorem 4.5, the map has one fixed point . Note that is not continuous at .
If , . For all with , we haveFor all with and then for any , we haveFor all with and , we haveSo, is Kannan -contraction mapping. By Theorem 2.7, the function satisfies the Fatou property. By Theorem 4.2, the map has a unique fixed point .

Example 4.10. Let , where , for all andFor all with , we haveFor all with and then for any , we haveFor all with and , we haveHence, is Kannan -contraction mapping. Evidently, is sequentially continuous at and there is with such that the sequence of iterates has a subsequence converging to . By Theorem 4.5, the map has one fixed point . Note that is not continuous at .
If , . For all with , we haveFor all with and then for any , we haveFor all with and , we haveHence, is Kannan -contraction mapping. By Theorem 2.7, the function satisfies the Fatou property. By Theorem 4.2, the map has a unique fixed point .

5. Kannan Nonexpansive Mapping

We examine enough conditions on the prequasinormed (ssfps) for the Kannan prequasinorm nonexpansive mapping on it to have a fixed point in this section.

Lemma 5.1. Allow the prequasinormed (ssfps) to validate the (R) and -quasi-normal properties. If is a nonempty -bounded, -convex, and -closed subset of , suppose is a Kannan -nonexpansive mapping. For , let . Let

Then, is a nonempty, -convex, -closed subset of and

Proof. As , this gives . As the -balls are -convex and -closed, one has is a -closed and -convex subset of . To prove that , suppose . If , we get . Otherwise, suppose . LetFrom the definition of , . So, , and we have . Assume . Hence, there is so that . Then,Since is randomly positive, we obtain , so we have . As , one has ; this indicates that is -invariant, consequent to prove that , asFor every , let . Hence, . The definition of provides . Hence, . So, one has , for every , this means . This completes the proof.

Theorem 5.2. Let the prequasinormed (ssfps) verify the -quasi-normal property and the (R) property. Assume is a nonempty, -convex, -closed, and -bounded subset of . Suppose is a Kannan -nonexpansive mapping. Hence, has a fixed point.

Proof. Suppose and , for every . By using the definition of , we have , with . Assume is described as in Lemma 5.1. Obviously, is a decreasing sequence of nonempty -bounded, -closed, and -convex subsets of . The property (R) proves that . Assume ; one can see , for every . Suppose ; we have ; this gives . Therefore, . We have . Else, ; this gives that fails to have a fixed point. Let be defined as in Lemma 5.1. As misses to have a fixed point and is -invariant, so has more than one point, which implies, . By the -quasinormal property, there is so that

For all , by Lemma 5.1, we have . By definition of , then . Obviously, we have

which contradicts the definition of . So , which implies that any point in is a fixed point of ; that is, has a fixed point in .

In view of Theorems 3.3, 3.5, and 5.2, it is easy to conclude the following theorem.

Theorem 5.3. If with , is a nonempty, -convex, -closed, and -bounded subset of , where , for every , and is a Kannan -nonexpansive mapping. Then, has a fixed point.

Example 5.4. Let with where and , for all . In view of example 4.8, the map is Kannan -contraction mapping. This implies Kannan -nonexpansive mapping. Evidently, is a nonempty, -convex, -closed, and -bounded subset of . By Theorem 5.3, the map has one fixed point in .

6. Kannan Contraction Mappings on the Operator Ideal

We study in this section the presence of a fixed point for the Kannan prequasinorm contraction mapping in the prequasi-Banach operator ideal defined by the and -numbers.

Notations 6.1. [19]

Definition 6.2. If and are Banach spaces, a prequasinorm on the ideal , where and converge for any , satisfies the Fatou property if for every sequence with and any ,

Theorem 6.3. Suppose and are Banach spaces. The prequasinorm , for all does not satisfy the Fatou property, if .

Proof. Let the condition be satisfied and with . By Theorem 2.8, the space is a prequasiclosed ideal, and then . Hence, for all , we haveHence, does not satisfy the Fatou property.

Definition 6.4. Suppose and are Banach spaces. For the prequasinorm on the ideal , where , where converges for any , an operator is called a Kannan -Lipschitzian, if there is , so thatfor all . An operator is said to be(1)Kannan -contraction, when .(2)Kannan -nonexpansive, when .

Definition 6.5. Suppose and are Banach spaces. For the prequasinorm on the ideal , where , where converges for any , and . The operator is said to be sequentially continuous at , if and only if when , .

Theorem 6.6. Suppose and are Banach spaces. Let and , where , for all . The point is the unique fixed point of , if the following conditions are satisfied:(a) is Kannan -contraction mapping.(b) is sequentially continuous at a point .(c)There is so that the sequence of iterates has a subsequence converging to .

Proof. Let the conditions be verified. If is not a fixed point of , then . From conditions (b) and (c), we haveSince is Kannan -contraction mapping, one can seeAs , we have a contradiction. Therefore, is a fixed point of . To show that the fixed point is unique. Let us have two different fixed points of . Therefore, one hasSo, .

Example 6.7. Suppose and are Banach spaces; , where , for every andFor all with , we haveFor all with , we haveFor all with and , we haveHence, is Kannan -contraction mapping and
Evidently, is sequentially continuous at the zero operator and has a subsequence converging to . By Theorem 6.6, the zero operator is the only fixed point of . Assume with , where and . Since the prequasinorm is continuous, one obtainsTherefore, is not sequentially continuous at . Then, the map is not continuous at .

Example 6.8. If and are Banach spaces, , where , for every andFor all with , we haveFor all with , we haveFor all with and , we haveHence, is Kannan -contraction mapping and
Obviously, is sequentially continuous at the zero operator and has a subsequence converging to . By Theorem 6.6, the zero operator is the only fixed point of . Suppose with , where and . Since the prequasinorm is continuous, one getsTherefore, is not sequentially continuous at . Then, the map is not continuous at .

7. Application to Nonlinear Summable Equations

Numerous authors have examined nonlinear summable equations such as (10); see [3133]. This section is dedicated to locating a solution to (10) in , where and , for every . Take a look at the equations that are summable:and assume defined by

Theorem 7.1. The summable equation (10) has one solution in , if , , , , and for every , we have , with

Proof. Let the setups be verified. Consider the mapping defined by (11). We haveAccording to Theorem 4.2, one obtains a unique solution of equation (10) in .

Example 7.2. Assume the function space , where , for all . Consider the summable equationwhere and and let defined byIt is easy to see thatBy Theorem 7.1, the summable equation (114) has one solution in .

Example 7.3. Given the function space , where , for all , consider the summable equation (12). It is easy to see thatBy Theorem 7.1, the summable equation (114) has one solution in .

Example 7.4. Given the function space , where , for all , consider the summable equation (114) with and let , where , defined byClearly, is a nonempty, -convex, -closed, and -bounded subset of . It is easy to see thatBy Theorem 7.1 and Theorem 5.3, the summable equation (114) with has a solution in .

In this part, we search for a solution to nonlinear matrix (120) at , where and are Banach spaces, , and , for all . Consider the summable equationand suppose defined by

Theorem 7.5. The summable equation (120) has one solution in , if the following conditions are satisfied:(a),,,, and for every , one has , with(b) is sequentially continuous at a point .(c)There is so that the sequence of iterates has a subsequence converging to .

Proof. Suppose the settings are verified. Consider the mapping defined by (16). We haveIn view of Theorem 6.6, one obtains a unique solution of (120) at .

Example 7.6. Assume the function space , where , for all .
Consider the nonlinear difference equationwhere ,, and let defined byIt is easy to see thatBy Theorem 7.1, the nonlinear difference equation (124) has one solution in .

Example 7.7. Given the function space , where , for all , consider the nonlinear difference equation (17). It is easy to see thatBy Theorem 7.1, the nonlinear difference equation (124) has one solution in .

Example 7.8. Given the function space , where , for all , consider the nonlinear difference equation (124) with and let , where , defined byClearly, is a nonempty, -convex, -closed, and -bounded subset of . It is easy to see thatBy Theorem 7.1 and Theorem 5.3, the nonlinear difference equation (124) with has a solution in .

8. Conclusion

This paper studies the existence of a fixed point for Kannan’s prequasinorm contractive mappings in function spaces of complex variables. We have studied the existence of fixed points of Kannan prequasinorm nonexpansive mapping and the existence of Kannan’s prequasinorm contractive mapping in the prequasi-Banach operator ideal created by this function space and -numbers. We have also presented some applications of summable equations. Several numerical experiments were introduced to illustrate our results. Moreover, some successful applications to the existence of solutions of nonlinear difference equations are discussed. This paper has several advantages for researchers, such as studying the fixed points of any contraction mappings on this prequasinormed function space, which is a generalization of the quasinormed function space, examining the eigenvalue problem in these new settings and noting that the closed operator ideals are certain to play an important function in the principle of Banach lattices.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final version of the paper.

Acknowledgments

This work was funded by the University of Jeddah, Saudi Arabia, under Grant no. (UJ-20-084-DR). The authors, therefore, acknowledge with thanks the University's technical and financial support.