Research Article | Open Access

Maria Samreen, Wahid Ullah, Erdal Karapinar, "Multivalued -Contractions on Extended -Metric Spaces", *Journal of Function Spaces*, vol. 2020, Article ID 5989652, 6 pages, 2020. https://doi.org/10.1155/2020/5989652

# Multivalued -Contractions on Extended -Metric Spaces

**Academic Editor:**Seppo Hassi

#### Abstract

In this paper, we have established some fixed-point results for the class of multivalued -contractions in the setting of extended -metric space. An example is furnished to show the validity of our results. The results we have obtained generalize/extend many recent results by Asl, Bota, Samreen et al., and those contained therein.

#### 1. Introduction and Preliminaries

One of the important and pioneering results is the celebrated Banach contraction in metric fixed-point theory. Generalizations in the existence of solutions of differential, integral, and integrodifferential equations are mostly based on creating outstanding generalizations in the metric fixed-point theory. These generalizations are obtained by enriching metric structure of underlying space and/or generalizing contraction condition. Bakhtin [1] and Czerwik [2] extended first time the idea of metric space by modifying the triangle inequality and called it a -metric space. Kamran et al. [3], in 2017, further generalized the idea of -metric and introduced an extended -metric (Eb-metric) space. They weakened the triangle inequality of metric and established fixed-point results for a class of contractions. Following the idea of Eb-metric space, a number of authors have published several results in this direction (see, e.g., [4, 5]). To have some insight about miscellaneous generalizations of metric, we refer the readers to a recent article [6] and for some work on -metric, see [7–17].

In 1976, Nadler [18] extended first time the idea of Banach contraction principle for multivalued mappings. He used the set of all closed and bounded subsets of a metric space and the Hausdorff metric on it. Some of the important generalization of Nadler’s result can be seen in ([19–21]). Subashi and Gjini [22] further generalized the concept of extended -metric space to multivalued mappings by using extended Hausdorff -metric. Unlike Nadler, they used , the set of all compact subsets of an Eb-metric space .

In this paper, we have discussed the multivalued -contractions on Eb-metric spaces and proved some fixed-point results. The first section of the paper consists of some essential definitions and preliminaries. The second section is dedicated to some fixed-point results for multivalued mappings where extended -comparison function has been used. In the last section, some well-known theorems are mentioned which are direct consequences of our main result.

The core reason behind adding this section is to recollect some essential concepts and results which are valuable throughout this paper.

*Definition 1. *([23], Czerwik) For any nonempty set , a -metric on is a function such that the following axioms hold:

: if and only if .

: .

: such that

The pair is then termed as -metric space with coefficient . Evidently, we can see that the collection of -metric spaces is a superclass of the collection of metric spaces.

A comparison function is an increasing function such that for all ([24]).

A nonnegative real-valued function on is called a -comparison function if it is increasing, and for every and , the series converges.

It is evident from the definition that a -comparison function is a comparison function but the converse may not be true in general (see for example [25]).

Let us consider a -metric space and an increasing nonnegative function on . We call a map to be a -comparison function if for all the series converges ([25, 26]).

The function is an example of -comparison function if for a -metric space . Note that for the defined -comparison function becomes equivalent to the definition of a comparison function.

In the following, the authors enriched the notion of -metric space by amending the triangle inequality

*Definition 2. *([3], Kamran al.) Consider a map where . An extended -metric (Eb-metric) on is a function which satisfies

EB_{1}: if and only if .

EB_{2}: .

EB_{3}: .

The pair is then termed as an extended -metric (Eb-metric) space.

If for some , then Definition 2 reduces to the definition of -metric space with coefficient .

*Definition 3. *([3], Kamran al.) Let us consider an Eb-metric space. A sequence in is said to be
(i)convergent which converges to in if and only if as ; we write (ii)a Cauchy sequence if as

We say that an Eb-metric space is complete if every Cauchy sequence in converges in . We note that the extended -metric is not a continuous functional in general and every convergent sequence converges to a single point.

Next, we define the concept of -orbital lower semicontinuity (lsc in short) in the case of Eb-metric space which we will use

*Definition 4. *[27]. Let , , and the orbit of , A real-valued function on is said to be a -orbitally at if and implies In case if is multivalued, then the orbit of at is given as .

#### 2. Main Results

For some technical reasons, Samreen et al., introduced another class of comparison functions for Eb-metric spaces given as follows

*Definition 5. *Let be an Eb-metric space. A nonnegative increasing real-valued function on is called an extended -comparison function if there exists a mapping such that for some and the infinite series converges for all and for every . Here, for We say that is an extended -comparison function for at .

*Remark 6. *It can be easily seen that by taking (a constant), Definition 5 coincides with the definition of a -comparison function for an arbitrary self-map on . Every extended -comparison function is also a comparison function for some ; i.e., if for every , then by setting , we have

*Example 7. *Let be an Eb-metric space, a self-map on , and exists for . Define as

Then, by using ratio test, one can easily see that the series converges.where is a distance from a point to a set and .

*Definition 8. *[22] Let be an Eb-metric space and . An extended Pompeiu-Hausdorff metric induced by is a function defined as:

Theorem 9. *[22] Let be a complete Eb-metric space. Then, is a complete Eb-metric space with respect to the metric *

The following lemma is trivial.

Lemma 10. *Let be an Eb-metric space and . Then, for any and for every , there exist such that
*

Now we are able to state our main result.

Theorem 11. *Let be a continuous functional on such that is an Eb-metric space. Let be a closed subset of and be such that . Assume that for all and ;
*

Moreover, the inequality (1) strictly holds if and only if and is an extended -comparison function for at . Then, there exists in such that , where . Furthermore, is a point fixed under the map if and only if the map is -orbitally at .

*Proof. *Let and . Then, because if it is equal, then is a fixed point of . By using (1) for , we obtain

Choose such that

Now, and ; then, by Lemma 2, there exists such that

Again, ; otherwise, is fixed under the map . By using (1), we obtain

Choose such that while the second inequality is due to (4). By Lemma 10, for and , such that

Continuing in the same way, we get

If , then by using (6) and the triangle inequality in Eb-metric, we obtain,

But is an extended -comparison function, so the series converges. Let be the sum of the series. By setting , from inequality (7), we obtain which further implies that . Hence, is a Cauchy sequence in . But is a closed subset of complete space so there exists such that

Using the definition of an extended Hausdorff -metric and (1), we have

But as which infers that .

Assume that is -orbitally lsc at . Then,

Hence, . But is closed, so and thus, is fixed under the map . Conversely, if is a point fixed under the map , then .

*Remark 12. *Note that Theorem 11 extends/generalizes the main result by Samreen et al. (, Theorem 15.9) to the case of multivalued mappings. Moreover, Theorem 11 includes main results such as by Czerwik (Theorem 9 [2]) and Samreen *et al*. (Theorem 3.10 (6) [28]) as special cases when the self-mapping is taken on a -metric space. It also invokes some of the results by Proinov [29] and Hicks and Rhoades [30] in the case of metric space.

*Example 13. *Let and be defined as . Then, is an Eb-metric space with . Define by ; then, for each and , we have . For every and , we obtain

If we define by , then fulfilled all the conditions present in our main Theorem 11. So in such that as we can see here that .

#### 3. Consequences

In this section, we will discuss an important consequence of Theorem 11 which involves multivalued contractions on Eb-metric spaces. The obtained result generalizes some results by Asl et al. (Theorem 2.1 [31]) and Bota *et al.* (Theorem 9 [32]).where is an extended -comparison function for at . Then, in such that . Additionally, is a point in fixed under the map if and only if the map is -orbitally lsc at .for every . Then, as . Additionally, is a point fixed under the map if and only if the map is -orbitally lsc at .for all . Here, denotes the class of all extended -comparison functions.Theorem 4. Let be a continuous functional on such that is a complete Eb-metric space. Suppose is a contractive multivalued operator of type (Eb) satisfies the following:
(i) is -admissible(ii)There exist and such that

Corollary 14. *(Theorem 3.9) Let be a continuous functional on such that is a complete Eb-metric space. Let be a map such that . Assume that for every *

*Proof. *The assertion simply follows by taking a self-map and then using Theorem 11.

Theorem 15. *Let be a continuous functional on such that is a complete Eb-metric space. Let be such that the orbit of , is a subset of . Suppose that exists and is a constant so that for all . Assume that
*

*Proof. *Define by . By taking a self-map, Example 7 invokes that is an extended -comparison function for at . Hence, the result follows from Theorem 11.

*Remark 16. *Note that Theorem 15 generalizes Theorem 9 [30] for multivalued mappings in the case of Eb-metric spaces.

*Definition 17. *Let be a map such that is an Eb-metric space. A multivalued mapping is said to be a -admissible map if there exists a real-valued mapping on which is nonnegative and implies that for all . Note that is defined by

*Definition 18. *[32] Let be an Eb-metric space. A multivalued mapping is said to be a -contractive multivalued operator of type (Eb) if there exist two functions and such that [33]

Then, such that as where . Furthermore, the point is fixed under the map if and only if the function is -orbitally lsc at .

*Proof. *Since is -admissible and for , so . By using infimum property, for and ,

Thus, which further implies that . Again, by using the same property, for and , . Continue the similar process to obtain

The contractive condition (8) thus implies which becomes equivalent to the following condition: for every and . Thus, all the conditions of Theorem 11 are satisfied and so the assertions follow.

*Remark 19. *1. Note that Theorem 4.2 in becomes a special case of Theorem 4 for a self-map. Also, for a selfmap and , Theorem 4 reduces to Theorem 2, 1 [33].

#### Data Availability

No data is used.

#### Conflicts of Interest

The authors declare no conflict of interest.

#### Authors’ Contributions

M. S., W. U., and E. K. contributed in writing, reviewing, and editing the manuscript. All authors contributed equally and significantly in writing this article. All authors have read and agreed to the published version of the manuscript.

#### References

- I. A. Bakhtin, “The contraction mapping in almost metric spaces, Funct,”
*Funct. Ana. Gos. Ped. Inst. Unianowsk*, vol. 30, pp. 26–37, 1989. View at: Google Scholar - S. Czerwik, “Contraction mappings in -metric spaces,”
*Acta Mathematica et Informatica Universitatis Ostraviensis*, vol. 1, no. 1, pp. 5–11, 1993. View at: Google Scholar - T. Kamran, M. Samreen, and Q. U. L. Ain, “A generalization of b-Metric space and some fixed point theorems,”
*Mathematics*, vol. 5, no. 2, p. 19, 2017. View at: Publisher Site | Google Scholar - B. Alqahtani, E. Karapinar, and A. Ozturk, “On (
*β*-*φ*)-K-contractions in the -metric space,”*Univerzitet u Nišu*, vol. 32, no. 15, pp. 5337–5345, 2018. View at: Google Scholar - B. Alqahtani, A. Fulga, and E. Karapinar, “Common fixed point results on an extended b-metric space,”
*Journal of Inequalities and Applications*, vol. 2018, no. 1, Article ID 158, 2018. View at: Publisher Site | Google Scholar - T. Van An, N. Van Dung, Z. Kadelburg, and S. Radenović, “Various generalizations of metric spaces and fixed point theorems,”
*Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas*, vol. 109, no. 1, pp. 175–198, 2015. View at: Publisher Site | Google Scholar - Q. Mahmood, A. Shoaib, T. Rasham, and M. Arshad, “Fixed point results for the family of multivalued F-contractive mappings on closed ball in complete dislocated b-Metric spaces,”
*Mathematics*, vol. 7, no. 1, p. 56, 2019. View at: Publisher Site | Google Scholar - T. Rasham, A. Shoaib, N. Hussain, B. A. S. Alamri, and M. Arshad, “Multivalued fixed point results in dislocated b-Metric spaces with application to the system of nonlinear integral equations,”
*Symmetry*, vol. 11, no. 1, p. 40, 2019. View at: Publisher Site | Google Scholar - M. Samreen, T. Kamran, and N. Shahzad, “Some Fixed Point Theorems in -Metric Space Endowed with Graph,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 967132, 9 pages, 2013. View at: Publisher Site | Google Scholar - M. Samreen, K. Waheed, and Q. Kiran, “Multivalued -contractions and fixed points,”
*Univerzitet u Nišu*, vol. 32, no. 4, pp. 1209–1220, 2018. View at: Google Scholar - U. Aksoy, E. Karapinar, and I. M. Erhan, “Fixed points of generalized alpha-admissible contractions on b-metric spaces with an application to boundary value problems,”
*Journal of Nonlinear and Convex Analysis*, vol. 17, no. 6, pp. 1095–1108, 2016. View at: Google Scholar - H. H. Alsulami, S. Gülyaz, E. Karapınar, and İ. M. Erhan, “An Ulam stability result on quasi-b-metric-like spaces,”
*Open Mathematics*, vol. 14, no. 1, pp. 1087–1103, 2016. View at: Publisher Site | Google Scholar - H. Aydi, M. F. Bota, E. Karapinar, and S. Moradi, “A common fixed point for weak-
*φ*-contractions on b-metric spaces,”*Fixed Point Theory*, vol. 13, no. 2, pp. 337–346, 2012. View at: Google Scholar - M.-F. Bota, E. Karapinar, and O. Mlesnite, “Ulam-hyers stability results for fixed point problems via \- -contractive mapping in ()-metric space,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 825293, 6 pages, 2013. View at: Publisher Site | Google Scholar - M.-F. Bota and E. Karapınar, “A note on "Some results on multi-valued weakly Jungck mappings in b-metric space",”
*Open Mathematics*, vol. 11, no. 9, pp. 1711-1712, 2013. View at: Publisher Site | Google Scholar - S. Gülyaz-Özyurt, “On some alpha-admissible contraction mappings on Branciari b-metric spaces,”
*Advances in the Theory of Nonlinear Analysis and its Application*, vol. 1, no. 1, pp. 1–13, 2017. View at: Publisher Site | Google Scholar - B. Samet, C. Vetro, and P. Vetro, “Fixed point theorems for
*α*-*ψ*-contractive type mappings,”*Nonlinear Analysis: Theory, Methods and Applications*, vol. 75, no. 4, pp. 2154–2165, 2012. View at: Publisher Site | Google Scholar - M. A. Alghamdi, S. Gulyaz-Ozyurt, and E. Karapınar, “A note on extended Z-contraction,”
*Mathematics*, vol. 8, no. 2, p. 195, 2020. View at: Publisher Site | Google Scholar - S. B. Nadler, “Multi-valued contraction mappings,”
*Pacific Journal of Mathematics*, vol. 30, no. 2, pp. 475–488, 1969. View at: Publisher Site | Google Scholar - H. Afshari, H. Aydi, and E. Karapinar, “Existence of fixed points of set-valued mappings in b-METRIC spaces,”
*East Asian mathematical journal*, vol. 32, no. 3, pp. 319–332, 2016. View at: Publisher Site | Google Scholar - M. Boriceanu, M. Bota, and A. Petrusel, “Multivalued fractals in b-metric spaces,”
*Central European Journal of Mathematics*, vol. 8, no. 2, pp. 367–377, 2010. View at: Publisher Site | Google Scholar - M. F. Bota, C. Chifu, and E. Karapinar, “Fixed point theorems for generalized ()-Ćirić-type contractive multivalued operators in b-metric spaces,”
*Journal of Nonlinear Sciences and Applications*, vol. 9, no. 3, pp. 1165–1177, 2016. View at: Publisher Site | Google Scholar - L. Subashi and N. Gjini, “Some results on extended b-metric spaces and Pompeiu-Hausdorff metric,”
*Journal of Progressive Research in Mathematics*, vol. 12, no. 4, pp. 2021–2029, 2017. View at: Google Scholar - S. Czerwik, “Nonlinear set-valued contraction mappings in -metric spaces,”
*Atti del Seminario Matematico e Fisico dell'Università di Modena*, vol. 46, pp. 263–276, 1998. View at: Google Scholar - J. Matkowski,
*Integrable Solutions of Functional Equations*, Instytut Matematyczny Polskiej Akademi Nauk, Warszawa, 1975, http://eudml.org/doc/268343. - I. A. Rus,
*Generalized Contractions and Applications*, Cluj University Press, 2001. - V. Berinde, “Generalized contractions in quasimetric spaces,”
*Seminar on Fixed Point Theory at Babes-Bolyai University*, vol. 3, no. 9, 1993. View at: Google Scholar - M. Samreen, T. Kamran, and M. Postolache, “Extended -metric space, Extended -comparison function and nonlinear contractions,”
*University of Bucharest Scientific Bulletin Series A Applied Mathematics and Physics*, vol. 4, pp. 21–28, 2018. View at: Google Scholar - M. Samreen, Q. Kiran, and T. Kamran, “Fixed point theorems for
*φ*-contractions,”*Journal of Inequalities and Applications*, vol. 2014, no. 1, Article ID 266, 2014. View at: Publisher Site | Google Scholar - P. D. Proinov, “A generalization of the Banach contraction principle with high order of convergence of successive approximations,”
*Nonlinear Analysis*, vol. 67, no. 8, pp. 2361–2369, 2007. View at: Publisher Site | Google Scholar - T. L. Hicks and B. E. Rhoades, “A Banach type fixed point theorem,”
*Mathematica Japonica*, vol. 24, pp. 327–330, 1979. View at: Google Scholar - J. Asl, S. Rezapour, and N. Shahzad, “On fixed points of
*α*-*ψ*-contractive multifunctions,”*Fixed Point Theory and Applications*, vol. 2012, no. 1, Article ID 212, 2012. View at: Publisher Site | Google Scholar - M. Bota, V. Llea, E. Karapinar, and O. Mlesnite, “On -contractive multi-valued operators in -metric spaces and applications,”
*Applied Mathematics Information Sciences*, vol. 5, no. 9, pp. 2611–2620, 2015. View at: Google Scholar

#### Copyright

Copyright © 2020 Maria Samreen 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.