Unique and Non-Unique Fixed Points and their ApplicationsView this Special Issue
Research Article | Open Access
Nabil Mlaiki, Thabet Abdeljawad, Wasfi Shatanawi, Hassen Aydi, Yaé Ulrich Gaba, "On Complex-Valued Triple Controlled Metric Spaces and Applications", Journal of Function Spaces, vol. 2021, Article ID 5563456, 7 pages, 2021. https://doi.org/10.1155/2021/5563456
On Complex-Valued Triple Controlled Metric Spaces and Applications
In this manuscript, we introduce the concept of complex-valued triple controlled metric spaces as an extension of rectangular metric type spaces. To validate our hypotheses and to show the usability of the Banach and Kannan fixed point results discussed herein, we present an application on Fredholm-type integral equations and an application on higher degree polynomial equations.
Since the breakthrough of Banach  in 1922, where he was able to show that a contractive mapping on a complete metric space has a unique fixed point, the field of fixed point theory has become an important research focus in the field of mathematics; see [2–6]. Due to the fact that fixed point theory has many applications in many fields of science, many researchers have been working on generalizing his result by either generalizing the type of contractions [7–10] or by extending the metric space itself (-metric spaces [11, 12], controlled metric spaces , double controlled metric spaces , etc.). On the other hand, Azam et al.  defined complex-valued metric spaces and gave common fixed point results. Rao et al.  introduced the complex-valued -metric spaces in the year 2013. Going in the same direction, recently, Ullah et al.  presented complex-valued extended -metric spaces to extend the idea of extended -metric spaces.
In this manuscript, following the path of the work done in , we extend complex-valued rectangular extended -metric spaces  to complex-valued triple controlled metric spaces. The layout of our manuscript is as follows. In the second section, we present some backgrounds along with the definition of complex-valued triple controlled metric spaces. In the third section, we prove some fixed point results in such spaces. In the fourth section, we present an application for our findings. In closing, we present two open questions.
In what follows, owing to Azam et al. , we recall several notations and definitions which will be used in the sequel.
Let be the set of all complex numbers and . The partial order on is defined as if and only if and . This implies that if one of the below conditions is fulfilled: (i)(ii), (iii)(, (iv),
Definition 1 (see ). Let be a nonempty set and be a function. Then, is known as a complex-valued extended -metric space if the following are satisfied for all : (1) and if and only if (2)(3)
Then, the pair is known as a complex-valued extended -metric space.
As an extension of complex-valued extended -metric spaces, Ullah et al. in  introduced the concept of complex-valued rectangular extended -metric spaces.
Definition 2 (see ). Let be a nonempty set and and . We say that is a complex-valued rectangular extended -metric space if for all each of which is different from , we have (1) if and only if (2)(3)
The authors in  have recently introduced the idea of triple controlled metric type spaces as follows.
Definition 3 (see ). Let be a nonempty set. Given three functions and . We say that is a triple controlled metric type space if for all , we have (1) if and only if (2)(3)
Highly motivated by the abovementioned concepts, we now present the definition of complex-valued triple controlled metric spaces.
Definition 4. Let be a nonempty set. Given three functions and . We say that is a complex-valued triple controlled metric space if for all , each of which is different from , we have (1) if and only if (2)(3)
Throughout the rest of this paper, we will denote a complex-valued triple controlled metric space by (CV-TCMS). Next, we present the topology of (CV-TCMSs).
Definition 5. Let be a (CV-TCMS). (1)We say that a sequence is -convergent to some if (2)We say that a sequence is -Cauchy if and only if (3)We say that is -complete if for every -Cauchy sequence is -convergent(4)Let . An open ball of center and radius in the (CV-TCMS) is
Note that a CV rectangular metric space is a CV-TCMS. The converse is not true. Next, we present an example that confirms this statement.
Example 1. Let where and is the set of positive integers. We define by where . Now, define by . Given as and as .
Note that is a CV-TCMS. On the other hand, is not a CV rectangular metric space. Indeed,
In this paper, we prove the Banach and Kannan fixed point results in the setting of CV-TCMSs. Two related applications are also investigated.
3. Main Results
Theorem 1. Let be a -complete CV-TCMS. Let satisfy where . Assume that there exists such that the sequence defined by satisfies the following:
Then, has a unique fixed point in
Proof. First, we have . Then,
Now, let . We need to consider the following two cases.
Case 1. Let for some natural numbers and with . Without loss of generality, take . If ; then, by choosing and , we get , which implies that is a periodic point of . Hence, . Since , we get , so , that is, has a fixed point.
From now on, we consider the following case.
Case 2. Assume that for all natural numbers , we have . Let . To prove that is a -Cauchy sequence, we need to consider the following two subcases.
Subcase 1. If (where is a fixed natural number), then by the rectangle inequality of the CV-TCMS, we have
Now, given that we can easily deduce that
Since , the last right-hand side goes to zero at the limit (for any integer ). Therefore, is convergent.
Subcase 2. Let (where is a fixed integer). First, notice the following: which leads us to conclude that
Thus, by Subcase 1 and using the rectangular inequality of the complex-valued triple controlled metric, we have
Now, similar to Subcase 1, one can easily deduce that is a convergent sequence as (for any integer ). Hence, by Subcases 1 and 2, we conclude that is a -Cauchy sequence. Since is a -complete CV-TCMS, there is such that as .
Now, if there exists such that , then since we deal with Case 2, one writes for all . Also, for all . Next, assume that there exists with . Once again, we confirm that for all . Thus, without loss of generality, we may assume for all natural numbers . We have which implies
Therefore, in view of the assumptions in the theorem, as , we deduce that and that is as required.
In closing, assume there exist two fixed points of , say and where . Thus, which is a contradiction. Therefore, the fixed point of is unique.
Theorem 2. Let be a -complete CV-TCMS and be a self mapping on satisfying the following condition: for all , there exists such that and there exists in order that the sequence defined by satisfies the following:
Then, has a unique fixed point in
Proof. First of all, note that for all , we have
Since , one has . Set . One writes
Also, for all , we have
By (19), we deduce that as . Hence, is a -Cauchy sequence. Since is a -complete CV-TCMS, the sequence converges to some
By the argument of the proof of Theorem 1, assume that for all , we have . Thus,
As , we obtain
At the limit , we find that and that is as required. Now, assume that we have two fixed points of , say and . Therefore,
Hence, , as desired.
4.1. A Fredholm-Type Integral Equation
Consider the set . Given the following Fredholm-type integral equation where is a continuous function from into . Now, define
Note that is a complete CV-TCMS, where
Theorem 3. Assume that for all (1), for some (2) for all
Then, the above integral equation has a unique solution.
Proof. Let be defined by . Then,
Now, we have
Thus, . Since , one gets
4.2. A Polynomial Equation of a Degree Greater or Equal to 3
The following is an application on higher degree polynomial equations.
Theorem 4. For any natural number and real , the following equation has a unique real solution.
Proof. It is not difficult to see that if , equation (30) does not have a solution. So, let and for all , let and and . Note that is a -complete CV-TCMS. Now, let
Notice that, since , we can deduce that . Thus,
Moreover, it is easy to see that for all , we have
Finally, we would like to leave the following questions.
Question 1. Let be a CV-TCMS and . Given a function . Suppose there exists such that, for all ,
Under what conditions does have a unique fixed point in ?
Question 2. Let be a CV-TCMS, and . Given a function . Suppose there exists such that, for all ,
Under what conditions does have a unique fixed point in
Data sharing is not applicable to this article as no data set were generated or analyzed during the current study.
Conflicts of Interest
The authors declare no conflict of interest.
All the authors have equally contributed to the final manuscript.
The authors would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.
- S. Banach, “Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales,” Fundamenta Mathematicae, vol. 3, no. 1, pp. 133–181, 1922.
- M. Aslantas, H. Sahin, and D. Turkoglu, “Some Caristi type fixed point theorems,” The Journal of Analysis, vol. 29, no. 1, pp. 89–103, 2020.
- H. Sahin, M. Aslantas, and I. Altun, “Feng-Liu type approach to best proximity point results for multivalued mappings,” Journal of Fixed Point Theory and Applications, vol. 22, no. 1, p. 11, 2020.
- P. Patle, D. Patel, H. Aydi, and S. Radenovic, “On -type multivalued contractions and applications in symmetric and probabilistic spaces,” Mathematics, vol. 7, no. 2, p. 144, 2019.
- I. Altun, M. Aslantas, and H. Sahin, “Best proximity point results for p-proximal contractions,” Acta Math. Hungar, vol. 162, no. 2, pp. 393–402, 2020.
- M. Aslantas, H. Sahin, and I. Altun, “Best proximity point theorems for cyclic p-contractions with some consequences and applications,” Nonlinear Analysis: Modelling and Control, vol. 26, no. 1, pp. 113–129, 2021.
- E. Karapinar, S. Czerwik, and H. Aydi, “Meir-Keeler contraction mappings in generalized -metric spaces,” Journal of Function spaces, vol. 2018, Article ID 3264620, 4 pages, 2018.
- H. Aydi, E. Karapinar, and A. Roldán López de Hierro, “ω-Interpolative Ćirić-Reich-Rus-type contractions,” Mathematics, vol. 7, no. 1, p. 57, 2019.
- N. Saleem, J. Vujaković, W. U. Baloch, and S. Radenović, “Coincidence point results for multivalued Suzuki type mappings using -contraction in -metric spaces,” Mathematics, vol. 7, no. 11, p. 1017, 2019.
- N. Saleem, B. Ali, Z. Raza, and M. Abbas, “Fixed points of Suzuki-type generalized multivalued almost contractions with applications,” Filomat, vol. 33, no. 2, pp. 499–518, 2019.
- I. A. Bakhtin, “The contraction mapping principle in almost metric spaces,” Functional Analysis, vol. 30, pp. 26–37, 2020.
- S. Czerwik, “Contraction mappings in -metric spaces,” Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 1, pp. 5–11, 1993.
- T. Abdeljawad, N. Mlaiki, H. Aydi, and N. Souayah, “Double controlled metric type spaces and some fixed point results,” Mathematics, vol. 6, no. 12, p. 320, 2018.
- N. Mlaiki, H. Aydi, N. Souayah, and T. Abdeljawad, “Controlled metric type spaces and the related contraction principle,” Mathematics, vol. 6, no. 10, p. 194, 2018.
- A. Azam, B. Fisher, and M. Khan, “Common fixed point theorems in complex valued metric spaces,” Numerical Functional Analysis and Optimization, vol. 32, no. 3, pp. 243–253, 2011.
- K. P. R. Rao, P. R. Swamy, and J. R. Prasad, “A common fixed point theorem in complex valued -metric spaces,” Bulletin of Mathematics and Statistics Research, vol. 1, pp. 1–8, 2013.
- N. Ullah, M. S. Shagari, and A. Azam, “Fixed point theorems in complex valued extended -metric spaces,” Moroccan Journal of Pure and Applied Analysis, vol. 5, no. 2, pp. 140–163, 2019.
- J. Rezaei Roshan, V. Parvaneh, S. Sedghi, N. Shobkolaei, and W. Shatanawi, “Common fixed points of almost generalized contractive mappings in ordered -metric spaces,” Fixed Point Theory and Applications, vol. 2013, no. 1, Article ID 159, 2013.
- N. Ullah and M. S. Shagari, “Fixed point results in complex valued rectangular extended -metric spaces with applications,” Mathematical Analysis & Complex Optimization, vol. 1, no. 2, pp. 107–120, 2020.
- S. T. Z, K. Gopalan, and T. Abdeljawad, “A different approach to fixed point theorems on triple controlled metric type spaces with a numerical experiment,” Dynamic Systems and Applications, vol. 30, no. 1, pp. 111–130, 2021.
Copyright © 2021 Nabil Mlaiki et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.