#### Abstract

The purpose of this paper is to provide some fixed-point results for Suzuki and Wardowski-type contraction multivalued mappings in partial symmetric spaces. We give some examples to support and substantiate the developed notions and obtained results. Also, we use one of our main results to establish the existence and uniqueness of the solution for a system of integral inclusions.

#### 1. Introduction

In 1922, Banach [1] formulated a very famous, fruitful, useful, and core fixed-point result known as the Banach contraction principle on a complete metric space. This celebrated result has been generalized and extended in several directions by various authors on some generalized metric spaces such as partial metric spaces [2], partial JS-metric spaces [3], metric-like spaces [4], -metric spaces [5], rectangular metric spaces [6], controlled and doubled metric spaces [7, 8], generalized -metric spaces [9], and extended rectangular *b*-metric spaces [10]. Sometimes, one may come across a situation wherein the full force of metric conditions is not required in the enunciation of fixed-point results. Motivated by this observation, several researchers established fixed and common fixed-point results in symmetric spaces which did not require triangular inequality, i.e., a symmetric on a nonempty set is a mapping which satisfies iff , and for all .

Very recently, Asim et al. [11] introduced the class of partial symmetric spaces and proved some related fixed-point results for single-valued and multivalued mappings. The theory of multivalued mappings plays an important role in many areas of mathematics due to its diverse applications, namely in differential equations, integral equations, optimization problems, game theory, control theory, economics, etc. Aydi et al. [12, 13] proved fixed and common fixed-point results for multivalued maps in partial Hausdorff metric spaces to generalize fixed-point results due to Nadler [14].

In 2008, Suzuki [15] introduced a class of new types of contraction mappings and established fixed-point theorems for such mappings, which are genuine improvements of the Banach contraction principle. Thereafter, many authors attempted to extend such results for multivalued maps (employing the Pompieu-Hausdorff metric). In 2012, Wardowski [16] initiated the notion of a new kind of nonlinear contractions, namely -contractions and proved some related fixed-point results. In recent years, the idea of -contractions has been generalized and improved in several ways and directions. For more details, see [17–21].

In our paper, based on Suzuki and Wardowski-type contractions, we consider multivalued mappings, and we establish some related fixed-point results in the setting of partial symmetric spaces. Some examples are also furnished to demonstrate the utility of our results. As an application of Theorem 16, we establish the existence and uniqueness of the solution for a system of integral inclusions.

#### 2. Preliminaries

In what follows, we collect some relevant definitions and auxiliary results needed in the sequel.

*Definition 1 [11]. *Let be a nonempty set. The function satisfying

iff ,

,

is said to be a partial symmetric, and the pair is called a partial symmetric space.

A partial symmetric space reduces to a symmetric space if , for all . Observe that every symmetric space is a partial symmetric space. The converse is not true as it is shown in the following examples.

*Example 2. **Let**and define**by**where**and*

*Example 3. **Let**and define**by**where*.

*Example 4. **Let**and define**by**where*

*Example 5. **Let**and define**by**where*.

Let be a partial symmetric space. The -open ball with a center and a radius is defined by

Similarly, the -closed ball with a center and a radius is defined by

The family of -open balls denoted by forms on a basis of some topology .

Lemma 6. *Let**be a topological space and**be given mapping. If f is continuous; then, for every convergent sequence**to a point**in*, *the sequence**converges to*. *The converse holds if**is metrizable.*

We require some more definitions, namely, a convergent sequence, a Cauchy sequence, and a complete partial symmetric space, in our forthcoming discussions.

*Definition 7 [11]. **A sequence**in* *-converges to*, *with respect to*, *if*

*Definition 8 [11]. **A sequence**in**is**-Cauchy iff**exists and is finite.*

*Definition 9 [11]. **A partial symmetric space**is**-complete if each**-Cauchy sequence**in**is**-convergent with respect to**to a point**such that*

Let be a partial symmetric space and be the set of all nonempty, -closed, and bounded subsets of Moreover, for and , we define

Let be the partial Pompieu-Hausdorff symmetric, that is

#### 3. Main Results

Given that , then for every , we define where and .

Now, we present the following lemma proved in [11], which is needed in the sequel.

Lemma 10. *Let**be a partial symmetric space and*. *Then, for all**and*, *there is**so that*

Next, let be the nonincreasing function defined by

Theorem 11. *Let be a complete partial symmetric space and .**Assume the following:** There exists such that f satisfies the condition
for all , where is defined by (14) and
*

*There is so that*

*The function is lower semicontinuous.*

Then, has a unique fixed point.

*Proof. *By , there exists such that (15) holds. Let be such that For such , define a sequence by . If we assume that for some , then is a fixed point of , and we are done. Now, suppose that for each , and so . From Lemma 10 (with ) and condition (15) (for any arbitrary and for all ), we have
Since , we get
From (15) and (17), we have
The above inequality is true for all ; therefore, by conditions and (12), we have
By repeating this process, we have (for all )
Now
Since and , then
so that is a -Cauchy sequence in . In view of the -completeness of , there exists such that -converges to . Thus
Assume that is lower semicontinuous. Then
Therefore, , that is, . Hence, is a fixed point of .

Next, let us show that has a unique fixed point. Suppose there are such that and . Then, by conditions and , we have
which implies (by Lemma 10 with and )
a contradiction, so that , which implies that . Hence, has a unique fixed point. This completes the proof.☐

*Example 12. **Take*. *The partial symmetric**is defined by**Then,**is a**-complete symmetric space. Note that**and**are bounded sets in*. *In fact, if*, *then**Hence,**is closed. Next**Hence,**is also closed. Now, define**by**Clearly, by a routine calculation, one can easily show that**is lower semicontinuous. To prove the contractive condition**of* Theorem 11*, we need the following.*

*Case 13. **Let*. *Then**For* or , *we have*.
*For*, *we have*

*Case 14. **Let*. *Then,* for all .*For* or , *we have**For*, *we have*

*Case 15. **Let*. *Then**For*, *we have**For*, *we get**For*, *we have**Hence, the contractive condition**of Theorem**11**is satisfied. Observe that**has a unique fixed point (namely,**).*

Denote by the class of functions such that

is increasing

For all .

The related fixed-point Wardowski-type result for multivalued mappings in the setting of partial symmetric spaces is as follows.

Theorem 16. *Let be a complete partial symmetric space and . Assume that
*(i)*There are and such that**(ii)**There is so that *(iii)*The function is lower semicontinuous.**Then, has a unique fixed point.*

*Proof. *For such , take . Define the sequence by . If we assume that for some , then is a fixed point of . Suppose for all , so . Since is a generalized multivalued -contraction, we have (for all )
The above inequality is true for all . Therefore, by conditions and (12), we have
By continuing this process, we find that
Now, for all , we have
On making the limit as in (45), we have
Owing to conditions and , we have
so that is a -Cauchy sequence in *X*. In view of the -completeness of , there is in order that -converges to . Thus, we have
Assume that is lower semicontinuous. Then, we have
Therefore, implies that . Hence, is a fixed point of .

For the uniqueness part, suppose there exist such that and . Thus, by the condition , we have
which is a contradiction. Therefore, , that is, . It completes the proof.☐

*Example 17. **Let**be equipped with the partial symmetric**defined by**Then*, *is a**-complete symmetric space. Note that**and**are bounded sets in**. In fact**Hence,**is closed. Next**Hence,**is also closed with respect to the partial symmetric*.

Define and *by*and for , *respectively. Then**Hence,**is lower semicontinuous. Now, we will show that the contractive condition**of Theorem**16**is satisfied.*

*Case 18. **Let* (say and for all ). *Here**That is*

*Case 19. **Let**and*. *Then**Also**For*, *one writes**Therefore, all the conditions of Theorem**16**are satisfied, and**has a unique fixed point (namely,**).*

#### 4. An Application to an Integral Inclusion

Let be the set of all continuous real valued functions defined on . Now, we consider the following integral inclusion of Volterra type: where is a multivalued operator and is the set of nonempty compact and convex subsets of .

Define by

Then, is a -complete partial symmetric space.

Now, we are ready to present our result as follows:

Theorem 20. *Suppose that for all**there exist a continuous function**and**with**such that**Then, the integral inclusion* (61) *has a unique solution.*

*Proof. *Let us define the multivalued operator by

Let and consider . For a multivalued operator , there exists a continuous operator (by Michael’s selection theorem) such that , for all . It implies that . Thus, the operator is nonempty. Note that is closed. For more details, see [22].

Firstly, we check the condition of Theorem 16. Let be such that . Then, there exists , for all such that.

Besides, for all , we have
Consequently, there exists such that
Let us consider the multivalued operator defined by
Since is a lower semicontinuous, it follows that there exists such that , for all . Then, we have
Hence, we have
On interchanging the job of and , we have
By using we have
Thus, all the hypotheses of Theorem 16 are satisfied. Hence, the operator has exactly one fixed point, that is, the Volterra integral inclusion (61) has a unique solution.☐

*Remark 21. **Consider the following differential inclusion (for**):*where is a multivalued operator. Observe that, for , (71) *is equivalent to* (61)*. Also,**satisfies the condition* (63) *of Theorem**20**. Then, applying Theorem**20**, the differential inclusion* (71) *has a unique solution.*

*Example 22. **For all*, *let**where**(resp.,**) is upper semicontinuous (resp., lower semicontinuous) on*. For , *assume the following:**For all*, *there exist a continuous function**and**such that**and**Hence,**is a compact and convex valued operator. Thus,**satisfies the condition* (63) *of Theorem**20**(for**), so* (74) *has a unique solution.*

#### 5. Conclusion

We are concerned with Suzuki and Wardowski-type contraction multivalued mappings in the setting of partial symmetric spaces. We also studied a system of integral inclusions. It would be interesting to work on more generalized contraction mappings involving simulation or control functions.

#### Data Availability

The data used to support the findings of this study are available from the corresponding author upon request.

#### Conflicts of Interest

The authors declare that they have no competing interests.

#### Authors’ Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.