Abstract
In a real Banach space X and a complete metric space M, we consider a compact mapping C defined on a closed and bounded subset A of X with values in M and the operator \(T:A\times C(A) \rightarrow X\). Using a new type of equicontractive condition for a certain family of mappings and \(\beta \)-condensing operators defined by the Hausdorff measure of noncompactness we prove that the operator \(x\mapsto T(x,C(x))\) has a fixed point. The obtained results are applied to the initial value problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and preliminaries
The investigations concerning compact operators together with contractive mappings have their origin in the famous Krasnosel’skiĭ’s result [7]. This known theorem states that if M is a nonempty closed convex and bounded subset of the given Banach space X and there are given two mappings: a contraction \(A:M\rightarrow X\) and a compact operator \(B:M\rightarrow X\) satisfying \(A(M) + B(M) \subset M\) then \(A+B\) has a fixed point. In the literature, one can find many contributions, where the authors extend this idea. In [3], Burton replaced the Banach contractive condition with the more general so-called large contraction. In [4], the authors merged the concepts due to Krasnosel’skiĭ with the Schaefer’s result [11]. In addition, in [9], Reich considered condensing mappings with bounded ranges and applied them to obtain the Schaefer’s alternative and a Krasnosel’skiĭ type fixed point theorem. Using Krasnosel’skiĭ-Schaefer type method, Vetro and Wardowski [12] have recently proved an existence theorem producing a periodic solution of a nonlinear integral equation. Przeradzki in his work [8], using a concept of Hausdorff measure of noncompactness, relaxed a strong condition:
by considering a weaker one
where a contractive type operator is a generalized contraction. In addition, in [14], there was investigated a wide class of \((\varphi ,F)\)-contractions. The author proved that a certain subclass of these mappings is \(\beta \)-condensing. Applying the Sadovskii’s result, the fixed point result for the sum of compact mapping with \((\varphi ,F)\)-contraction was obtained. On the other hand in [6], Karakostas gave an extension of Krasnosel’skiĭ’s theorem by involving both operators (contractive and compact) in the resulting one given in an implicit form. In this way, the author was interested in finding a solution of the equation given by the formula:
where \(C:A\rightarrow Y\), \(T:A\times C(A)\rightarrow X\), A is a subset of a real Banach space X and Y is a metric space.
In the present paper, we prove two theorems which improve the results in [6]. One of the derived tools will be applied to some nonlinear problem which, according to the author’s knowledge, cannot be solved using the mentioned existing theorems. Before we formulate our results, we recall and establish the needed definitions and notations. Consider a real Banach space X with norm \(\Vert \cdot \Vert \) and a complete metric space M with metric d. Let \(A \subset X\) and consider the mappings \(C:A\rightarrow M\) and \(T:A\times C(A) \rightarrow X\). The mapping \(C:A\rightarrow M\) is said to be compact if it is continuous and maps bounded sets into relatively compact subsets of M, i.e. if \(K\subset A\) is bounded then \({\overline{K}}\) is compact. For the given T we can consider the families of mappings \({\mathcal {M}}_T\) and \({\mathcal {N}}_T\) of the form:
We say that the family \({\mathcal {N}}_T\) is uniformly equicontinuous if for every \(\varepsilon > 0\) there exists \(\delta > 0\), such that for all \(x\in A\) and \(y_1, y_2 \in C(A)\),
Definition 1.1
We say that the family \({\mathcal {M}}_T\) is equicontractive singularly if there exists \(c > 0\), such that
for every \(x, y \in A\), \(p \in C(A)\) satisfying \(T(x,p)\ne T(y,p)\).
The following example shows the nature of the introduced type of equicontractive family.
Example 1.1
Consider \(X={\mathbb {R}}\) with the standard norm, \(M=[0,1]\) with the standard metric, \(A=[0,1]\):
Then, the family \({\mathcal {M}}_T\) is equicontractive singularly for \(c=1\) and is not equicontractive in the usual sense. Indeed, fix \(y\in [0,1]\). For every \(x_1, x_2 \in [0,1]\), \(x_1\ne x_2\), we have
On the other hand, observe that
Therefore, one cannot find \(k \in (0,1)\), such that
In one of our result, we will apply a measure of noncompactness which determines how much the given bounded set is not compact. For our purposes we will use the Hausdorff measure of noncompactness, i.e. for any bounded subset \(B \subset X\), there is assigned a nonnegative number \(\beta (B)\) by the formula:
where \(B(x_i,r)\) denotes the closed ball centred at \(x_i\) with radius r. Some of the basic properties of the Hausdorff measure of noncompactness are the following:
-
(a)
\(\beta (B)=0\) if and only if C is relatively compact,
-
(b)
\(\beta (B) = \beta ({\overline{B}})\),
-
(c)
if \(D \subset X\) is bounded then \(B\subset D \text { implies } \beta (B) \le \beta (D)\) and \(\beta (B+D) \le \beta (B) + \beta (D)\).
More information about the measure of noncompactness and its properties can be found e.g. in [1]. The fundamental fixed point results where measure of noncompactness is applied are due to Darbo [5] and Sadovskii [10].
Theorem 1.1
If M is a nonempty bounded closed convex subset of a Banach space X, \(T:M\rightarrow M\) is a continuous mapping, such that there exists \(k\in [0,1)\), such that for any set \(C\subset M\):
Then, T has a fixed point.
Theorem 1.2
If M is a nonempty bounded closed convex subset of a Banach space X, \(T:M\rightarrow M\) is a continuous mapping, such that for any set \(C\subset M\) with positive measure of noncompactness:
Then T has a fixed point.
The mappings satisfying the contraction condition in Darbo’s and Sadovskii’s result are called k-set contraction and \(\beta \)-condensing respectively.
2 Results
In the first result, we prove the existence of solution of the Eq. (1) by combining Krasnosel’skiĭ’s theorem and the classical Schauder’s fixed point result.
Theorem 2.1
Let \(A\subset X\) be closed and convex, \(C:A\rightarrow M\) continuous and sending A into relatively compact subset of M and let the mapping \(T:A\times \overline{C(A)}\rightarrow A\) be continuous such that the family \({\mathcal {M}}_T\) is equicontractive singularly. Then the Eq. (1) has a solution in A.
Proof
Let \(y\in \overline{C(A)}\) be arbitrary. By Theorem 2.1 in [13], one can find a unique \(x \in A\), such that
Denote by S a mapping that for a given \(y\in \overline{C(A)}\) assigns \(x\in A\) such that (3) holds. We will show that the mapping \(S:\overline{C(A)}\rightarrow A\) is continuous. Let \((y_n)\) be a sequence of elements in \(\overline{C(A)}\) convergent to \(y_0 \in \overline{C(A)}\). Observe that if \(T(y_n, S(y_n)) = T(y_m, S(y_m))\) for some \(m,n \in {\mathbb {N}}\) then obviously we get \(S(y_n) = S(y_m)\). We can therefore assume that \(T(y_n, S(y_n)) \ne T(y_m, S(y_m))\) for every \(m,n \in {\mathbb {N}}\) and apply (2). We have
In consequence, we obtain
From the continuity of T and monotonicity of the function
we get \(\Vert S(y_n)-S(x_0)\Vert \rightarrow 0\), and thus S is continuous. Next, using Schauder’s fixed point theorem for the mapping \(S\circ C\) defined on a compact set
we get the existence of \({\overline{x}} \in K\) satisfying \(S(C({\overline{x}})) = {\overline{x}}\) (for details, see [6]). Finally, we receive
\(\square \)
In the second result, we will show that the Eq. (1) admits a solution by applying the Hausdorff measure of noncompactness and showing that the operator \(T(\cdot ,C(\cdot ))\) is \(\beta \)-condensing.
Theorem 2.2
Let \(A\subset X\) be closed bounded and convex, \(C:A \rightarrow M\) compact and let the mapping \(T:A\times C(A)\rightarrow X\) be such that the family \({\mathcal {M}}_T\) is equicontractive singularly and the family \({\mathcal {N}}_T\) is uniformly equicontinuous. If \(T(x,C(x)) \in A\) for every \(x\in A\) then Eq. (1) has a solution in A.
Proof
Consider the operator
We will show that E is \(\beta \)-condensing. Consider \(B\subset A\) with a positive Hausdorff measure of noncompactness and take \(\varepsilon > 0\) arbitrarily. From the uniform equicontinuity of \({\mathcal {N}}_T\) there exists \(\delta > 0\) such that for all \(x\in A\), \(y_1, y_2 \in C(A)\):
Let
and take a finite R-net of B, that is
From the compactness of C we have \(\beta (C(B))=0\), and hence, one can find \(y_1,\ldots , y_l \in C(B)\), such that
Therefore, we get
Set
We will show that open balls
cover E(B). Take \(w\in E(B).\) and let \(u\in B\) be such that
From (5) there exist \(i\in \{1,\ldots , k\}\), \(j\in \{1,\ldots , l\}\) such that
First observe that
If \(T(u,C(u)) = T(x_i, C(u))\) then, by (4), the following holds
\(\varepsilon \) is arbitrary and hence \(w=z_{ij}\) and obviously \(w\in B(z_{ij},R')\). If \(T(u,C(u)) \ne T(x_i, C(u))\), then due to the fact that \({\mathcal {M}}_T\) is equicontractive singularly and from (4), we have
Since \(\varepsilon \) was taken arbitrarily, we finally obtain
and thus \(w\in B(z_{ij},R')\). In consequence
From the definition of Hausdorff measure of noncompactness we have
Sadovskii’s fixed point result ends the proof. \(\square \)
3 Initial value problem
We illustrate some of our results by considering the following initial value problem:
where \(h:I\rightarrow {\mathbb {R}}\), \(D:I\rightarrow {\mathbb {R}}\) are continuous functions, \(D\ne 0\), \(f:I\times {\mathbb {R}} \rightarrow {\mathbb {R}}\) is continuous and there exists \(M>0\), such that
Consider the space \(X:=C(I,{\mathbb {R}})\) with supremum norm. The following theorem holds.
Theorem 3.1
Suppose that \(\Vert D\Vert \le 1/M\), \(\Vert h\Vert \le 1-M\Vert D\Vert \) and there exists \(L\ge \Vert D\Vert \), such that
Then, the problem (6) has a solution in B(0, 1).
Proof
First, define the operator \(C:X\rightarrow X\) by the formula:
Observe that C is compact. Taking any \(x\in B(0,1)\), we have
so the operator C maps B(0, 1) into \(B(0,\Vert D\Vert )\). Consider also the operator \(T:B(0,1)\times B(0,\Vert D\Vert )\rightarrow X\) of the form:
Take \(x_1,x_2\in B(0,1)\) and \(y \in C(B(0,1))\). We obtain
where
Hence, the family \({\mathcal {M}}_T\) is equicontractive singularly.
In addition, observe that the operator
is continuous and for every \(x \in B(0,1)\) we see
Thus, for every \(x \in B(0,1)\), \(E(x) \in B(0,1)\). Finally, note that the family \({\mathcal {N}}_T\) is uniformly equicontinuous. Theorem 2.2 ends the proof. \(\square \)
Remark 3.1
Observe that based on the methods used in the proof of Theorem 3.1 we cannot show that T is equicontractive in a common sense (see e.g. [6]). Indeed, taking any \(x_1,x_2\in B(0,1)\) and \(y \in C(B(0,1))\), we get
Remark 3.2
The form of the right side of inequality (7) plays an essential role in the proof of Theorem 3.1, where the equicontractive singularity is applied. The inequalities of such type appeared in the literature, e.g., in the joint work of Banaś and Dhage [2], where the so-called k-set contractions and Darbo type fixed point results were utilized. In the present paper, the posed claims have been proved with the help of condensing operators and Sadovskii’s result, which as it is known, comparing to Darbo’s result, require weaker assumptions.
References
Banaś, J., Goebel, K.: Measures of noncompactness in Banach spaces, Lecture Notes in Pure and Appl. Math. 60, Marcel Dekker, New York, (1980)
Banaś, J., Dhage, B.C.: Global asymptotic stability of solutions of a functional integral equation. Nonlinear Anal. 69, 1945–1952 (2008)
Burton, T.A.: Integral equations, implicit functions and fixed points. Proc. Am. Math. Soc. 124, 2383–2390 (1996)
Burton, T.A., Kirk, C.: A fixed point theorem of Krasnoselskii-Schaefer type. Math. Nachr. 189, 23–21 (1998)
Darbo, G.: Punti uniti in transformazioni a condominio non compacto. Rend. Sem. Mat. Univ. Padova 24, 84–92 (1955)
Karakostas, G.L.: An extension of Krasnosel’skii’s fixed point theorem for contractions and compact mappings. Topol. Method. Nonl. An. 22, 181–191 (2003)
Krasnosel’skiĭ, M.A.: Some problems of nonlinear analysis. Am. Math. Soc. Transl. Ser. 2(10), 345–409 (1958)
Przeradzki, B.: A generalization of Krasnosel’skii fixed point theorem for sums of compact and contractible maps with application. Cent. Eur. J. Math. 10, 2012–2018 (2012)
Reich, S.: Fixed points of condensing functions. J. Math. Anal. Appl. 41, 460–467 (1973)
Sadovskii, B.N.: Limit-compact and condensing operators. Uspehi Mat. Nauk. 27, 81–146 (1972)
Schaefer, H.: Uber die Methode der a priori-Schranken (German). Math. Ann. 129, 415–416 (1955)
Vetro, C., Wardowski, D.: Krasnosel’skiĭ-Schaefer type method in the existence problems. Topol. Methods Nonlinear Anal. 54, 131–139 (2019)
Wardowski, D.: A local fixed point theorem and its application to linear operators. J. Nonlinear Convex Anal. 20, 2217–2223 (2019)
Wardowski, D.: Solving existence problems via \(F\)-contractions. Proc. Am. Math. Soc. 146, 1585–1598 (2018)
Acknowledgements
The author wants to thank the anonymous reviewer for some useful remarks and recalling the additional relevant references of the articles which improved the final version of the article.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wardowski, D. Family of mappings with an equicontractive-type condition. J. Fixed Point Theory Appl. 22, 55 (2020). https://doi.org/10.1007/s11784-020-00789-2
Published:
DOI: https://doi.org/10.1007/s11784-020-00789-2
Keywords
- Compact operator
- mappings of equicontractive type
- operator equation
- fixed point
- hausdorff measure of noncompactness