Research Article | Open Access

V. Pragadeeswarar, R. Gopi, M. De la Sen, "Best Proximity Point for the Sum of Two Non-Self-Operators", *Journal of Mathematics*, vol. 2020, Article ID 9310750, 7 pages, 2020. https://doi.org/10.1155/2020/9310750

# Best Proximity Point for the Sum of Two Non-Self-Operators

**Academic Editor:**Tepper L Gill

#### Abstract

In the present paper, we focus our attention on the existence of the fixed point for the sum of the cyclic contraction and the noncyclic accretive operator. Also, we study the best proximity point for the sum of two non-self-mappings. Moreover, we provide the existence of the best proximity point for the cyclic contraction through the notion of the nonlinear -set contraction. Finally, we give the existence of the best proximity point for the sum of the nonlinear -set contraction mapping and partially completely continuous mapping in the setting of the partially ordered complete normed linear space.

#### 1. Introduction

Fixed point theory plays an important role in the area of nonlinear functional analysis, and it has many applications in the study of nonlinear differential and integral equations. The study of nonlinear equations of the form , where are mappings on the Banach space , helps to solve many physical nonlinear real-life problems. For example, Dhage and Otrocol [1] gave the existence and approximation of solutions to the following hybrid differential equation:for all and are continuous functions. Also, Banaś and Amar [2] obtained the existence of the solution to the nonlinear integral equation of the formfor and . So, the researchers involved in finding the solution of the equation , which is clearly the problem of finding the sufficient condition for the existence of fixed point for the sum of two mappings.

In the sequel, in 1955, Krasnoselskii gave an existence of the solution for the equation in the Banach space setting, where is the contraction and is the compact operator. Later, many researchers extended Krasnoselskii’s theorem in different directions (see [3–7] and the references therein). Vijayaraju [7] proved the theorems pointing the existence of the fixed point for a sum of nonexpansive and continuous mappings and also a sum of asymptotically nonexpansive and continuous mappings in the setting of locally convex spaces. O’Regan [5] established the fixed point theorem for the sum of two operators if is compact and is nonexpansive. Moreover, the results were used to prove the existence of the solution for second-order boundary value problem. O’Regan and Taoudi [6] proved the fixed point theorems for the sum of two weakly sequentially continuous mappings in the Banach space. Dhage [3] proved the fixed point result by combining two fixed point theorems of Krasnoselskii and Dhage and also derived the existence result for the product of two operators in Banach algebra. Dhage [4] found the local version of fixed point theorems of Krasnoselskii and Nashed et al. By using this result, he provided the application to nonlinear functional integral equations.

Agarwal et al. [8] obtained the existence of the fixed point for two mappings, compact mapping and nonexpansive mapping, in the setting of both the weak and the strong topology of a Banach space. Ben Amar and Garcia-Falset [9] proved the existence of fixed point theorems for different kinds of contractions such as nonlinear weakly condensing, 1-set weakly contractive, and pseudo-contractive and nonexpansive operators defined on unbounded domains and provided application to generalized Hammerstein integral equations. Arunchai and Plubtieng [10] improved the Krasnoselskii theorem on fixed points for the sum of operators , where is the weakly-strongly continuous mapping and is the asymptotically nonexpansive mapping. Banaś and Amar [2] proved some new types of fixed point theorems for the sum of on an unbounded closed convex subset of a Hausdorff topological vector space, which are used to provide the solution of integral equations in the Lebesgue space. Wang [11] derived fixed point results for the sum of two operators and if is contractive with respect to the measure of weak noncompactness and is the -nonlinear contraction in the setting of the Banach space. By having this result, he obtained the existence of solutions to a nonlinear Hammerstein integral equation in the space. Ben Amar et al. [12] improved Krasnoselskii-type fixed point results for the equation , where the operator is -compact and is -compact and asymptotically -nonexpansive operator on an unbounded closed convex subset of a Banach space.

Later, the people were interested in finding the fixed point in partially ordered metric spaces which are more general than metric spaces. First, Ran and Reurings [13] initiated the fixed point theorems for the contraction mappings in the partially ordered metric space, which is further improved by Nieto and Rodríguez-López [14] and by Petruşel and Rus [15], and used to give the existence of the solution for boundary value problems of nonlinear first-order ordinary differential equations.

Recently, the researchers show interest in finding the optimum solution for real-time modeling problems. In this direction, instead of studying about the fixed point (whenever the fixed point does not exist), the researchers are working on approximating the fixed point in some sense, known as the best proximity point. The existence of best proximity point theorems helps to obtain the optimum solution for different types of modelings. In the literature, there are more number of articles about the existence of the best proximity point for single operators. For example, Basha [16] derived best proximity point theorems for proximal contractions of the first and second kind in the setting of the metric space. Basha [17] proved the existence of the best proximity point for principal cyclic contractive mappings, proximal cyclic contractive mappings, and proximal contractive mappings which are defined on the metric space. In 2000, Eldred and Veeramani [18] proved the best proximity point result for contractive type mappings in the metric space. Al-Thagafi and Shahzad [19] obtained convergence and existence results of the best proximity points for cyclic -contraction maps in the metric space. For more existence of the best proximity point results, we refer the reader to [20–25].

In the light of the above literature survey, we want to find the approximate solution for the fixed point equation of the form , where are non-self-mappings. So, in this work, we initiate to study the best proximity point for the sum of two non-self-operators, and we provide the existence of the best proximity point for the sum of two operators using best proximity point theorems for the single operator. Additionally, we prove an existence result of the fixed point for the sum of cyclic and noncyclic operators, which involves the concept of accretive operators. Finally, we discuss some notions of the ordered normed linear space, and we find sufficient conditions for the existence of the best proximity point in this space.

#### 2. Preliminaries

First, we collect some notions from [26]. Throughout the paper, we denote as the Banach space and metric space, respectively, and letbe its dual. For each , we associate the setwhere denotes . The multivalued operator is called the duality mapping of . Suppose is an operator from to . Then, the operator is defined by .

Here, we give the definition for weak accretive via the accretive operator in [26].

*Definition 1. *An operator is said to be weak accretive if for , there exists such that , where is as in (4).

The following lemma is helpful for our one of the results.

Lemma 1. *If is weak accretive on , then , for all , and .*

*Proof. *Let with . Since is weak accretive, for , there exists such that . Now, we have

Theorem 1 (see [27]). *Let be nonempty subsets of which are complete. Suppose satisfies*(1)* and .*(2)* for ,**where . Then, there exists such that .*

#### 3. Main Results

Theorem 2. *Let be subsets of such that is the subspace. Let , where and are cyclic and noncyclic mappings which satisfy the following:*(1)* is the weak accretive operator, and is onto*(2)* is invertible on , where is the identity operator*(3)* and *(4)*, for and **Then, there exists such that .*

*Proof. *First, we note that assumption (3) is valid only if is the subspace. Since is onto, . Since is invertible on , we can defineNow, we show that is the cyclic mapping. Let ; then, . Since is invertible on , there exists unique such that . Then, the equation has a unique solution . Then, by (3), we obtain . Then, . Similarly, we can prove . Next, we prove that is nonexpansive on . Since is invertible on , it implies that . Let ; then, there exist such that . Using Lemma 1, we getTherefore, for , we obtainThen, the operator agrees with the hypothesis of Theorem 1, and then there is such that , which implies .

#### 4. Best Proximity Point Theorems

The following notions are used in this article: let be nonempty subsets of .

The pair is said to have -property if for and ,

*Definition 2. *A function is called Lipschitzian if there exists a real constant such that, for all ,

*Definition 3 (see [20]). *Let be nonempty subsets of . A map is said to be a weakly contractive mapping iffor all , where is a nondecreasing and continuous function such that is positive on and .

Theorem 3 (see [20]). *Let be complete and be nonempty, closed sets such that is nonempty. Let be a weakly contractive mapping such that . Assume the pair has the -property. Then, there exists unique in such that .*

The following theorem tells that the sum of two non-self-operators has the best proximity point in Banach space settings. The notion , where is the subset of , is used in the following theorem.

Theorem 4. *Let be two nonempty convex, closed subsets of . Assume is nonempty. Let be two mappings which satisfy*(1)*If , then *(2)* is -Lipschitzian, where *(3)*, for all , where is as in Definition 3 and *(4)* and **If the pair has the -property, then there exists unique in such that .*

*Proof. *Because of (1), we define by . First, we show that satisfies . For , we have and . Therefore, there exist such that . Then, . Since is convex, . This shows . Now we prove the mapping is weakly contractive. For , we haveThis gives is a weakly contractive mapping from to . Clearly, the pair has the -property, and . Then, the map satisfies the requirements of Theorem 3, and there exists such that .

#### 5. Best Proximity Point Theorems in the Ordered Normed Linear Space

In this section, first we extract some notions from [28] to obtain best proximity point results. Let be the real vector space. The pair is called the partially ordered linear space, where is the partial order. Two elements are called comparable if either or holds. A nonempty subset of is said to be a chain or totally ordered if any two elements of are comparable. The space is called the partially ordered normed linear space, where is the norm on .

*Definition 4 (see [28]). *A mapping is called monotone nondecreasing if implies for all . Similarly, is called monotone nonincreasing if implies for all .

*Definition 5 (see [28]). *A subset of is called partially bounded if every chain in is bounded.

We denote by the family of all bounded chains and relatively compact chains of , respectively.

*Definition 6 (see [28]). *A mapping is called a partial measure of noncompactness in if it satisfies(1).(2).(3) is nondecreasing, i.e., if .(4)If sequence of closed chains in with and if , then the set is nonempty. The notion in (1) is known as the kernel of , that is, Clearly, . And so, . Because of for all , we obtain . Then, . The measure is called sublinear if it satisfies(5) for all .(6) for . And has the maximum property if(7). Finally, is said to be full if(8).

*Definition 7 (see [28]). *A mapping is called a -function if it is monotone nondecreasing and upper semicontinuous with .

*Definition 8 (see [28]). *A nondecreasing mapping is said to be partially nonlinear -set-Lipschitz if there is a -function such thatfor any bounded chain in . If for , then is called a partially nonlinear -set-contraction.

Lemma 2 (see [28]). *If is a -function with for , then for all and vice-versa.*

*Definition 9 (see [27]). *Let be nonempty subsets of . A map is a partially cyclic contraction map if it satisfies(1) and (2), for some and for , with and are comparableFrom (2), one can easily verify that holds.

Lemma 3 (see [18]). *Let be nonempty subsets of . Suppose is a cyclic contraction map. Then, for any in , we have , where .*

First, we show the result for a single operator.

Theorem 5. *Let be two nonempty closed and partially bounded subsets of . Let be nondecreasing, partially cyclic contraction, and partially nonlinear -set contraction in . If there exists an element such that , then has a best proximity point.*

*Proof. *Since is cyclic, for , then . Define . Now, again , and define . In the same way, we construct such that and , for . Since and is nondecreasing, it implies that . Again using is nondecreasing, we obtain . Denotefor . Here, each is a bounded chain in , and . From the construction of , we obtainConsequently,Now,Letting limit superior as and using Lemma 2, we obtainTherefore, by condition (4) of , we getSince , then for , there exists such that , for . This implies that and are compact chains in . Hence, has a convergent subsequence, that is, . Now,As and by Lemma 3, we obtainTherefore, . Since is a partially cyclic contraction, we haveAs , we getwhich implies that .

Using the above theorem, here, we provide the result on the best proximity point for the sum of two operators.

Theorem 6. *Let be a nonempty, closed, and partially bounded subset of . Let be nondecreasing cyclic mappings which satisfy*(1)* and .*(2)* is partially completely continuous, and** **where and with and are comparable.*(3)* is a nonlinear -set contraction on , and** **where and with and are comparable.*(4)*There exists an element such that .*

Then, there exists such that .

*Proof. *Define by . Clearly, because of (1), is a cyclic mapping. And one can easily prove is nondecreasing on . Since implies , now, we show that is a partial contraction. For and with and are comparable, we havewhich show that is a partial contraction. Next, we prove that is a partially nonlinear -set contraction. Let be a bounded chain in . Therefore, . By conditions sublinearity and full of , we getTherefore, the mapping follows Theorem 5, and there exists such that .

#### 6. Conclusions

In the nonlinear functional analysis, many mathematical problems can be solved by the existence result of fixed points. The fixed point theorems provide sufficient conditions to ensure the fixed point equation , where is the self-mapping, has a solution. In case of nonlinear problems, it is written as , where are self-mappings, and then the fixed point theorems for the sum of two mappings help to obtain the solution for such an equation. Suppose the mappings are non-self-cases, then the fixed point equation does not possess a solution. In the literature, there are many research papers which deal with the existence of the best proximity point for the equation of the form , where is the non-self-mapping. However, there is no single research work which gives the existence result of the best proximity point for the sum of mappings. So, we want to obtain an approximate solution via finding the best proximity point for such an equation in some sense. So, in this research article, we study the existence of the best proximity point for the sum of two non-self-mappings using best proximity point theorems for a single operator. Moreover, using the notion accretive operators, we prove an existence result of the fixed point for the sum of cyclic and noncyclic operators. Also, we study some notions of the ordered normed linear space, and we provide sufficient conditions for the existence of the best proximity point.

#### Data Availability

No data were used to support this study.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Acknowledgments

This work was partially funded by Basque Government through Grant IT1207-19.

#### References

- B. C. Dhage and D. Otrocol, “Dhage iteration method for approximating solutions of nonlinear differential equations with maxima,”
*Fixed Point Theory*, vol. 19, no. 2, pp. 545–556, 2018. View at: Publisher Site | Google Scholar - J. Banas and A. B. Amar, “Measures of noncompactness in locally convex spaces and fixed point theory for the sum of two operators on unbounded convex sets,”
*Commentationes Mathematicae Universitatis Carolinae*, vol. 54, no. 1, pp. 21–40, 2013. View at: Google Scholar - B. C. Dhage, “Remarks on two fixed-point theorems involving the sum and the product of two operators,”
*Computers & Mathematics with Applications*, vol. 46, no. 12, pp. 1779–1785, 2003. View at: Publisher Site | Google Scholar - B. C. Dhage, “Local fixed point theory for the sum of two operators in Banach spaces,”
*Fixed Point Theory*, vol. 4, pp. 49–60, 2003. View at: Google Scholar - D. O’Regan, “Fixed-point theory for the sum of two operators,”
*Applied Mathematics Letters*, vol. 9, pp. 1–8, 1996. View at: Google Scholar - D. O’Regan and M. A. Taoudi, “Fixed point theorems for the sum of two weakly sequentially continuous mappings,”
*Nonlinear Analysis*, vol. 73, pp. 283–289, 2010. View at: Google Scholar - P. Vijayaraju, “Fixed point theorems for a sum of two mappings in locally convex spaces,”
*International Journal of Mathematics and Mathematical Sciences*, vol. 17, no. 4, pp. 681–686, 1994. View at: Publisher Site | Google Scholar - R. P. Agarwal, D. O’Regan, and M. A. Taoudi, “Browder-Krasnoselskii-type fixed point theorems in Banach spaces,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 243716, 20 pages, 2010. View at: Publisher Site | Google Scholar - A. Ben Amar and J. Garcia-Falset, “Fixed point theorems for 1-set weakly contractive and pseudocontractive operators on an unbounded domain,”
*Portugaliae Mathematica*, vol. 68, no. 2, pp. 125–147, 2011. View at: Publisher Site | Google Scholar - A. Arunchai and S. Plubtieng, “On the Krasnoselskii-type fixed point theorems for the sum of continuous and asymptotically nonexpansive mappings in Banach spaces,”
*Journal of Inequalities and Applications*, vol. 2011, no. 1, p. 11, 2011. View at: Publisher Site | Google Scholar - F. Wang, “Fixed-point theorems for the sum of two operators under -condensing,”
*Fixed Point Theory and Applications*, vol. 2013, no. 1, p. 13, 2013. View at: Publisher Site | Google Scholar - A. B. Amar, D. O’Regan, and A. Touati, “Fixed point theorems for the sum of -compact and asymptotically -nonexpansive mappings,”
*Journal of Fixed Point Theory and Applications*, vol. 18, no. 4, pp. 771–784, 2016. View at: Google Scholar - A. C. M. Ran and M. C. B. Reurings, “A fixed point theorem in partially ordered sets and some applications to matrix equations,”
*Proceedings of the American Mathematical Society*, vol. 132, no. 05, pp. 1435–1444, 2004. View at: Publisher Site | Google Scholar - J. J. Nieto and R. Rodríguez-López, “Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations,”
*Order*, vol. 22, no. 3, pp. 223–239, 2005. View at: Publisher Site | Google Scholar - A. Petruşel and I. A. Rus, “Fixed point theorems in ordered L-spaces,”
*Proceedings of the American Mathematical Society*, vol. 134, pp. 411–418, 2006. View at: Google Scholar - S. S. Basha, “Best proximity point theorems,”
*Journal of Approximation Theory*, vol. 163, no. 11, pp. 1772–1781, 2011. View at: Google Scholar - S. S. Basha, “Best proximity point theorems for contractive mappings,”
*Journal of Fixed Point Theory and Applications*, vol. 20, p. 16, 2018. View at: Publisher Site | Google Scholar - A. A. Eldred and P. Veeramani, “Existence and convergence of best proximity points,”
*Journal of Mathematical Analysis and Applications*, vol. 323, no. 2, pp. 1001–1006, 2006. View at: Publisher Site | Google Scholar - M. A. Al-Thagafi and N. Shahzad, “Convergence and existence results for best proximity points,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 70, no. 10, pp. 3665–3671, 2009. View at: Publisher Site | Google Scholar - V. Sankar Raj, “A best proximity point theorem for weakly contractive non-self-mappings,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 14, pp. 4804–4808, 2011. View at: Publisher Site | Google Scholar - S. Sadiq Basha and P. Veeramani, “Best proximity pair theorems for multifunctions with open fibres,”
*Journal of Approximation Theory*, vol. 103, no. 1, pp. 119–129, 2000. View at: Publisher Site | Google Scholar - W. K. Kim and K. H. Lee, “Existence of best proximity pairs and equilibrium pairs,”
*Journal of Mathematical Analysis and Applications*, vol. 316, no. 2, pp. 433–446, 2006. View at: Publisher Site | Google Scholar - C. Mongkolkeha and P. Kumam, “Best proximity point theorems for generalized cyclic contractions in ordered metric spaces,”
*Journal of Optimization Theory and Applications*, vol. 155, no. 1, pp. 215–226, 2012. View at: Publisher Site | Google Scholar - A. Abkar and M. Gabeleh, “Best proximity points for cyclic mappings in ordered metric spaces,”
*Journal of Optimization Theory and Applications*, vol. 150, no. 1, pp. 188–193, 2011. View at: Publisher Site | Google Scholar - V. Pragadeeswarar and M. Marudai, “Best proximity points: approximation and optimization in partially ordered metric spaces,”
*Optimization Letters*, vol. 7, no. 8, pp. 1883–1892, 2013. View at: Publisher Site | Google Scholar - W. Takahashi,
*Nonlinear Functional Analysis: Fixed Point Theory and Its Applications*, Yokohama Publishers, Yokohama, Japan, 2000. - W. A. Kirk, P. S. Srinivasan, and P. Veeramani, “Fixed points for mappings satisfying cyclical contractive conditions,”
*Fixed Point Theory*, vol. 4, pp. 79–89, 2003. View at: Google Scholar - B. C. Dhage, “Nonlinear D-set contraction mappings in partially ordered normed linear spaces and applications to functional hybrid integral equations,”
*Malaya Journal of Matematik*, vol. 3, no. 1, pp. 62–85, 2015. View at: Google Scholar

#### Copyright

Copyright © 2020 V. Pragadeeswarar 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.