Abstract
In this paper, we prove new compression–expansion type fixed point theorems in cones for the so-called decomposable maps, that is, compositions of two upper semicontinuous multivalued maps. As an application, we obtain existence and localization of positive solutions for a differential equation with \(\phi \)-Laplacian and discontinuous nonlinearity subject to multi-point boundary conditions. As far as we are aware, the existence results are new even in the classical case of continuous nonlinearities.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We are concerned with the existence of positive solutions to the following multi–point boundary value problem involving the \(\phi \)-Laplacian
where \(\alpha _i\in [0,1)\), \(\eta _i\in (0,1)\) (\(i=1,2,\ldots ,n\)), \(\phi :(-a,a)\rightarrow (-b,b)\) (\(0<a,b\le +\infty \)) is an odd increasing homeomorphism and \(f:[0,1]\times [0,\infty )\rightarrow [0,\infty )\) may be discontinuous with respect to both variables.
In recent years, a lot of attention have been paid to the existence of solutions to boundary value problems with \(\phi \)-Laplacian (see, for instance, [5, 9, 16, 18, 19, 27] and the references therein). Here, we study in a unified way the classical homeomorphism \(\phi :\mathbb {R}\rightarrow \mathbb {R}\), the singular homeomorphism \(\phi :(-a,a)\rightarrow \mathbb {R}\) and the bounded one \(\phi :\mathbb {R}\rightarrow (-b,b)\).
As usual in the related literature when f is discontinuous (see [18, 19]), we consider the following regularized problem
where F is an usc multivalued map with closed convex values. In order to prove the existence of positive solutions to (1.2), by means of a fixed point approach, it appears the fixed point problem
where \(\Psi \) is a nonlinear continuous map and \(\Phi \) is an usc multivalued map with closed convex values. Since the values of the composition \(\Psi \circ \Phi \) can be non-convex, the classical generalization of Krasnosel’skiĭ’s fixed point theorem in cones for usc multivalued maps [13] is not applicable here.
To overcome this difficulty we prove a new version of the compression–expansion fixed point theorem in cones for decomposable maps, that is, compositions of two usc multivalued maps which cover the fixed point problem above. Our approach is based on a suitable computation of the fixed point index for this class of maps, which was developed in [27]. Some previous results on fixed point theory for decomposable maps can be found in the pioneering paper [24] and in [11].
Once the existence of positive solutions for the regularized problem (1.2) is established, we wonder whether such solutions are also Carathéodory type solutions for (1.1). This question is not new and was studied, for instance, in case of systems of first-order equations in [10], second-order BVPs in [6] or reaction-diffusion equations in [20]. Here a transversality condition on the discontinuities of f is imposed in order to prove that all the solutions of (1.2) are in fact solutions of (1.1). Roughly speaking, the function f may be discontinuous over the graphs of a countable number of the so-called admissible curves.
To our best knowledge, the main existence result for problem (1.1) is new even in the classical case of a continuous nonlinearity. It is based on a new Harnack type inequality for supersolutions of (1.1), what enables us to include the boundary value problem (1.1) between the class of problems which can be studied by means of the general technique developed in [14].
Finally, we shall discuss the existence of positive solutions for problem (1.1) under asymptotic conditions on f at 0 and/or infinity, which were inspired by those in [4]. If \(\phi \) is singular, we prove that (1.1) has at least one positive solution provided that f is superlinear at 0 with respect to \(\phi \), that is,
In the case of a classical \(\phi \), if (1.3) holds and, moreover, f is sublinear at infinity with respect to \(\phi \), i.e.,
then the same conclusion is obtained. Note that, unlike [9] or [15], no monotonicity assumptions on f are required.
2 Compression–Expansion Fixed Point Theorem for Decomposable Maps
In the recent paper [27], the authors define a fixed point index theory for the composition of two multivalued maps. We recall here its definition and its main properties.
Let X and Y be Banach spaces and \(K_{X}\subset X\), \(K_{Y}\subset Y\) be closed convex sets. We are interested into the class of decomposable maps, i.e., multivalued maps \(T:{\overline{\Omega }}\rightarrow 2^{K_{X}},\) where \( \Omega \subset K_{X}\) is open in \(K_{X},\) which can be represented as a composition \(T=\Psi \circ \Phi \) of two multivalued maps \(\Phi \) and \(\Psi \) with the following properties:
- (i):
-
\(\Phi :{\overline{\Omega }}\rightarrow 2^{K_{Y}}\) is upper semicontinuous (usc, for short) with closed convex values and relatively compact range;
- (ii):
-
\(\Psi :K_{Y}\rightarrow 2^{K_{X}}\) is usc with compact convex values.
Definition 2.1
Let \(\Phi \) and \(\Psi \) be two multivalued maps satisfying conditions (i), (ii) and such that \(x\notin (\Psi \circ \Phi ) (x)\) for all \(x\in \partial \,_{K_{X}}\Omega .\)
The fixed point index for the pair of maps \((\Phi , \Psi )\) over \(\Omega \) with respect to \(K:=K_X\times K_Y\) is defined as
where \(\Pi :{\overline{\Omega }}\times K_{Y}\rightarrow 2^{K_{X}\times K_{Y}}\) is the multivalued map associated to the pair \((\Phi , \Psi )\) given by \(\Pi (x,y)=\Psi y\times \Phi x.\)
Note that the fixed point index over \(\Omega \times K_{Y}\) with respect to K for the map \(\Pi \), \(i_{K}\left( \Pi ,\Omega \times K_{Y}\right) \), is well–defined according to the Fitzpatrick–Petryshyn degree theory for multivalued maps [13].
Theorem 2.1
The fixed point index \(ind_{K}(\Phi ,\Psi ,\Omega )\) has the following properties:
-
(1)
(Additivity) If \(\Omega _{1},\Omega _{2}\subset K_{X}\) are disjoint open in \(K_{X}\) and \(\Psi \circ \Phi \) is fixed point free on \(\partial \,_{K_{X}}\Omega _{1}\cup \partial \,_{K_{X}}\Omega _{2},\) then \( ind_{K}(\Phi ,\Psi ,\Omega _{1}\cup \Omega _{2})\) \(=ind_{K}(\Phi ,\Psi ,\Omega _{1})+ind_{K}(\Phi ,\Psi ,\Omega _{2}).\)
-
(2)
(Existence) If \(ind_{K}(\Phi ,\Psi ,\Omega )\ne 0,\) then there exist \(x\in \Omega \) and \(y\in K_{Y}\) with \(x\in \Psi y\) and \(y\in \Phi x,\) consequently \(x\in (\Psi \circ \Phi ) (x)\) and \(y\in (\Phi \circ \Psi ) (y).\)
-
(3)
(Normalization) For every \(x_{0}\in \Omega \), one has \(ind_{K}\left( \Phi ,x_{0},\Omega \right) =1\).
-
(4)
(Homotopy) If \(\phi :{\overline{\Omega }}\times \left[ 0,1\right] \rightarrow 2^{K_{Y}}\) is usc with closed convex values and relatively compact range, \(\psi :K_{Y}\times \left[ 0,1\right] \rightarrow 2^{K_{X}}\) is usc with compact convex values, and \(x\notin \psi \left( \phi \left( x,\lambda \right) ,\lambda \right) \) for all \(x\in \partial \,_{K_{X}}\Omega \) and \(\lambda \in \left[ 0,1\right] ,\) then the index \(ind_{K}\left( \phi \left( \cdot ,\lambda \right) ,\psi \left( \cdot ,\lambda \right) ,\Omega \right) \) does not depend on \(\lambda .\)
In the sequel we need the following definition. A closed convex subset K of a Banach space X is a cone if it satisfies that \(K\cap (-K)=\{0\}\) and \(\lambda x\in K\) for every \(x\in K\) and for all \(\lambda \ge 0\).
Now we prove some sufficient conditions for guaranteeing that the fixed point index for decomposable maps defined above is 0 or 1 in certain open subsets of a cone.
Proposition 2.1
Let X and Y be Banach spaces and \(K_{X}\subset X\), \(K_{Y}\subset Y\) cones in X and Y, respectively. Let \(\Omega \) be a relatively open subset of \(K_X\) and let \(T=\Psi \circ \Phi :{\overline{\Omega }}\longrightarrow 2^{K_X}\) be a multivalued operator such that \(\Phi \) and \(\Psi \) fulfill conditions (i) and (ii).
If \(0\in \Omega \) and \(\lambda x\not \in T x\) for all \(x\in \partial _{K_X}\Omega \) and all \(\lambda \ge 1\), then \(ind_{K}(\Phi ,\Psi ,\Omega )=1\).
Proof
Let \(\phi :{\overline{\Omega }}\times \left[ 0,1\right] \rightarrow 2^{K_{Y}}\) and \(\psi :K_{Y}\times \left[ 0,1\right] \rightarrow 2^{K_{X}}\) be defined by
The fact that \(\lambda x\not \in (\Psi \circ \Phi ) (x)\) for all \(x\in \partial _{K_X}\Omega \) and \(\lambda \ge 1\) implies that the homotopy given by \(\phi \) and \(\psi \) is admissible and then \(ind_{K}\left( \Phi ,0,\Omega \right) =ind_{K}\left( \Phi ,\Psi ,\Omega \right) \). Since \(0\in \Omega \), the normalization property ensures that \(ind_{K}\left( \Phi ,0,\Omega \right) =1\) and so \(ind_{K}\left( \Phi ,\Psi ,\Omega \right) =1\). \(\square \)
Proposition 2.2
Let X and Y be Banach spaces and \(K_{X}\subset X\), \(K_{Y}\subset Y\) cones in X and Y, respectively. Let \(\Omega \) be a relatively open and bounded subset of \(K_X\) and let \(T=\Psi \circ \Phi :{\overline{\Omega }}\longrightarrow 2^{K_X}\) be a multivalued operator such that \(\Phi \) and \(\Psi \) fulfill conditions (i) and (ii).
If there exists \(w\in K_X{\setminus }\{0\}\) such that \(x\not \in Tx+\mu w\) for all \(x\in \partial _{K_X}\Omega \) and all \(\mu \ge 0\), then \(ind_{K}(\Phi ,\Psi ,\Omega )=0\).
Proof
Assume that \(ind_{K}(\Phi ,\Psi ,\Omega )\ne 0\). Since \(\Psi (\Phi ({\overline{\Omega }}))\) is relatively compact (as the image of a relatively compact set by an usc map with compact values), there exists \(\mu _0>0\) such that \(\left\| y\right\| <\mu _0\) for all \(y\in T({\overline{\Omega }})\). Define \(R:=\sup \{\left\| x\right\| \,:\,x\in {\overline{\Omega }} \}\), choose \(\mu >(R+\mu _0)/\left\| w\right\| \) and consider the homotopy given by
This homotopy is admissible and thus \(ind_{K}\left( \Phi ,\Psi ,\Omega \right) =ind_{K}\left( \Phi ,\Psi +\mu w ,\Omega \right) \). Hence, by the existence property, there exists \(x\in \Omega \) such that \(x\in (\Psi \circ \Phi ) (x)+\mu w\). Then,
for all \(y\in (\Psi \circ \Phi ) (x)\), a contradiction. Therefore, \(ind_{K}(\Phi ,\Psi ,\Omega )=0\). \(\square \)
As a consequence of the previous theory, we generalize to this context the Krasnosel’skiĭ’s compression–expansion fixed point theorem in cones, see [1, 17].
Theorem 2.2
Let X and Y be Banach spaces and \(K_{X}\subset X\), \(K_{Y}\subset Y\) cones in X and Y, respectively. Let \(\Omega _1\) and \(\Omega _2\) be two relatively open and bounded subsets of \(K_X\), with \(0\in \Omega _1\subset {\overline{\Omega }}_{1}\subset \Omega _{2}\), and let \(T=\Psi \circ \Phi :{\overline{\Omega }}_2\longrightarrow 2^{K_X}\) be a multivalued operator such that
- (i):
-
\(\Phi :{\overline{\Omega }}_2\rightarrow 2^{K_{Y}}\) is usc with closed convex values and relatively compact range;
- (ii):
-
\(\Psi :K_{Y}\rightarrow 2^{K_{X}}\) is usc with compact convex values.
Assume that T satisfies either of the following two conditions:
-
(1)
\(\lambda x\not \in T x\) for all \(x\in \partial _{K_X}\Omega _1\) and \(\lambda > 1\); and there exists \(w\in K_X{\setminus }\{0\}\) such that \(x\not \in Tx+\mu w\) for all \(x\in \partial _{K_X}\Omega _2\) and \(\mu > 0\).
-
(2)
\(\lambda x\not \in T x\) for all \(x\in \partial _{K_X}\Omega _2\) and \(\lambda > 1\); and there exists \(w\in K_X{\setminus }\{0\}\) such that \(x\not \in Tx+\mu w\) for all \(x\in \partial _{K_X}\Omega _1\) and \(\mu > 0\).
Then T has at least a fixed point in \({\overline{\Omega }}_2{\setminus } \Omega _1\).
Proof
Suppose that condition (1) holds. If \(x\in T x\) for some \(x\in \partial _{K_X}\Omega _1\cup \partial _{K_X}\Omega _2\), then we are done.
Otherwise, we have that \(\lambda x\not \in T x\) for all \(x\in \partial _{K_X}\Omega _1\) and \(\lambda \ge 1\), which based on Proposition 2.1 implies \(ind_{K}(\Phi ,\Psi ,\Omega _1)=1\), and that \(x\not \in Tx+\mu w\) for all \(x\in \partial _{K_X}\Omega _2\) and \(\mu \ge 0\), and thus by Proposition 2.2 we obtain that \(ind_{K}(\Phi ,\Psi ,\Omega _2)=0\).
Therefore, as a consequence of the additivity property, \(ind_{K}(\Phi ,\Psi ,\Omega _2{\setminus }{\overline{\Omega }}_1)=-1\) and so the conclusion is deduced from the existence property of the fixed point index. The reasoning is similar in case that (2) holds. \(\square \)
We note that \(\Omega _{1}\) and \(\Omega _{2}\) are arbitrarily open bounded subsets of a cone instead of just intersections of open balls and cones, which enlarges the applicability of the previous result, cf. [11].
Remark 2.1
In particular, if \(X=Y\), \(K_X=K_Y\) and \(\Psi =I\), where I is the identity map in \(K_X\), then Theorem 2.2 is the well–known compression–expansion fixed point theorem in cones for usc maps, see [13].
Remark 2.2
In Theorem 2.2 we present an extension of the well–known Krasnosel’skiĭ’s fixed point theorem in cones, but clearly we can adapt much more fixed point theorems (all those whose proof is just based on fixed point index properties) to the context of decomposable maps. This is the case, for instance, of Leggett–Williams’ fixed point theorem [22] and its generalizations [2, 3].
3 Positive Solutions to a Multi–point BVP Involving the \(\phi \)–Laplacian
We consider the following boundary value problem with \(\phi \)–Laplacian subject to multi–point boundary conditions
where \(n\in {\mathbb {N}}\), \(\alpha _i\ge 0\) (\(i=1,2,\ldots ,n\)) with \(\sum _{i=1}^n\alpha _i<1\), \(0<\eta _1<\eta _2<\cdots<\eta _n<1\), \(\phi :(-a,a)\rightarrow (-b,b)\) (\(0<a,b\le +\infty \)) is an odd increasing homeomorphism and the function \(f:[0,1]\times [0,\infty )\rightarrow [0,\infty )\) is non necessarily continuous.
By a Carathéodory solution of (3.1) we mean a function \(u\in {\mathcal {C}}^1[0,1]\) with \(u'(0)=0=u(1)-\sum _{i=1}^n\alpha _i\,u(\eta _i)\) such that \(u'(t)\in (-a,a)\) for all \(t\in I:=[0,1]\), \(\phi (u')\in W^{1,1}(I)\) and which satisfies the differential equation in (3.1) for a.a. \(t\in I\).
In the sequel, the space of continuous functions \({\mathcal {C}}(I)\) will be endowed with the usual supremum norm \(\left\| \cdot \right\| _{\infty }\) and the cone of nonnegative continuous functions will be denoted by P.
Let us assume that the function \(f:I\times [0,\infty )\rightarrow [0,\infty )\) satisfies the following basic conditions:
- (H1):
-
Compositions \(f(\cdot ,u(\cdot ))\) are measurable whenever \(u\in P\);
- (H2):
-
If \(b<+\infty \), for each \(r>0\) there exists \(c_r<b\) such that \(f(t,u)\le c_r\ \) on \(\ I\times [0,r]\), and if \(\ b=\infty \), there exist \(\ c_{1},c_{2}\ge 0 \) and \(\ p\ge 1\ \) such that \(\ f(t,u)\le c_{1}u^{p}+c_{2}\ \) for a.a. \(\ t\in I\ \) and all \( u\in [0,\infty )\).
Now we present the integral formulation of problem (3.1). By integration of the differential equation, \(u'(0)=0\) and \(\phi (0)=0\) we have
Then, integrating from t to 1, we obtain
In particular, evaluating at \(t=\eta _i\),
and so, taking into account the condition \(u(1)=\sum _{i=1}^n\alpha _i\,u(\eta _i)\),
Hence, we define the operator \(N:P\longrightarrow P\) by
whose fixed points correspond with solutions to (3.1).
Since f is discontinuous in both variables, the operator N is not continuous and thus we transform (3.1) into a multi-point boundary value problem with a nonlinear differential inclusion
where \(F:I\times [0,\infty )\rightarrow 2^{[0,\infty )}\) is the multivalued map given by
with \({\overline{B}}_{\varepsilon }(x):=[x-\varepsilon ,x+\varepsilon ]\). Equivalently, F can be rewritten as
Observe that \(F(t,x)=\{f(t,x) \}\) whenever \(f(t,\cdot )\) is continuous at x.
Note that the solutions of (3.2) are usually called Krasovskii solutions of (3.1).
To solve (3.2), it suffices to consider the operator inclusion \(u\in (\Psi \circ \Phi ) (u)\), with
and \(\Phi (u)=\Gamma \circ {\mathcal {N}}_{F}(u)\), where
and \({\mathcal {N}}_{F}\) denotes the Nemytskii operator
We shall need the following result concerning the upper semicontinuity of the Nemytskii operator (see [8, 25], for details).
Lemma 3.1
Assume that the function \(f:I\times [0,\infty )\rightarrow [0,\infty )\) satisfies conditions (H1) and (H2).
Then the Nemytskii operator \({\mathcal {N}}_{F}:P\rightarrow 2^{L^1(I)}\) is usc.
In order to apply the compression–expansion fixed point theorem in cones, we need the following Harnack type inequality. Its proof is adapted from the ideas in [9, 15].
Lemma 3.2
For every function \(u\in {\mathcal {C}}^1(I)\) with \(u'(0)=0=u(1)-\sum \alpha _i\,u(\eta _i)\), \(u'(t)\in (-a,a)\) for every \(t\in I\), \(\phi (u')\in W^{1,1}(I)\) and \((\phi (u'))'\le 0\) on I, one has the following inequality:
for each \(i\in \{1,2,\ldots ,n\}\).
Proof
From \((\phi (u'))'\le 0\), we have that \(\phi (u')\) is nonincreasing and so is \(u'=\phi ^{-1}(\phi (u'))\). Thus u is concave on I. On the other hand, since \(\phi (u')\) is nonincreasing and vanishes at \(t=0\), we have that \(\phi (u')\le 0\), and then \(u'\le 0\). Hence, u is nonincreasing on I.
Now, to see that \(u\ge 0\), it suffices to show that \(u(1)\ge 0\). Since u is nonincreasing on I, we have that \(u(\eta _i)\ge u(1)\) for all \(i\in \{1,2,\ldots ,n \}\) and thus condition \(u(1)=\sum \alpha _i\,u(\eta _i)\) implies that \((1-\sum \alpha _i)u(1)\ge 0\). Then, by assumption \(\sum \alpha _i<1\), we obtain that \(u(1)\ge 0\). Therefore, u is a nonnegative, nonincreasing, concave function and \(\left\| u\right\| _{\infty }=u(0)\).
Let us fix an arbitrary \(i\in \{1,2,\ldots ,n\}\). By its concavity, the graph of u restricted to \([0,\eta _i]\) lies under the line containing the points (1, u(1)) and \((\eta _i,u(\eta _i))\). Thus,
Since \(u(1)\ge \alpha _i\,u(\eta _i)\), we have
Finally, (3.3) follows immediately from \(u(\eta _i)=\min _{t\in [0,\eta _i]} u(t)\). \(\square \)
In the sequel, let us denote \(\alpha :=\alpha _n\) and \(\eta :=\eta _n\). We shall prove the existence of positive solutions to (3.1) in the following subcone of P:
with \(c:=(1-\eta )/(1-\alpha \,\eta )\).
In order to apply Theorem 2.2, we let \(X=Y={\mathcal {C}}(I)\), \(K_{X}=K\) and
In the following result, we show that the operator \(T=\Psi \circ \Phi \) is a multivalued decomposable map, what justifies the application of the theory developed in Sect. 2.
Theorem 3.1
Assume that f satisfies conditions (H1) and (H2).
Then the operators
are well–defined; \(\Phi \) is usc with closed convex values and maps bounded sets into relatively compact sets; and \(\Psi \) is a single–valued continuous operator.
Proof
It is clear that \(\Phi (K)\subset K_Y\) since \(\Phi =\Gamma \circ {\mathcal {N}}_{F}\), f is nonnegative and \(\Gamma v(t)=\int _{0}^{t}v(r)\,dr\). Let us show that \(\Psi (K_Y)\subset K\). Take an arbitrary function \(v\in K_Y\) and let \(u:=\Psi v\), then \(u\in P\). Moreover, \(\phi (u')=-v\), and thus \(\phi (u')\) is nonincreasing. Furthermore, \(u'(0)=0=u(1)-\sum \alpha _i\,u(\eta _i)\). By Lemma 3.2, we have
and, therefore, \(u\in K\).
In addition, \(\Gamma \) as a linear operator from \(L^{1}\left( I\right) \) to \({\mathcal {C}}\left( I\right) \) is compact and, by Lemma 3.1, \({\mathcal {N}}_{F}\) is usc from the topology of \({\mathcal {C}}(I)\) to that of \(L^{1}(I).\) Hence, \(\Phi \) is usc and maps bounded sets into relatively compact sets. Also, \(\Phi \) has closed and convex values, see [26, Theorem 2].
Finally, the continuity and the compactness of the operator \(\Psi \) are standard consequences of Lebesgue’s dominated convergence theorem and Ascoli-Arzela’s theorem. \(\square \)
Now we present some sufficient conditions about f for guaranteeing the cone–compression or cone–expansion conditions for the operator \(T=\Psi \circ \Phi \) on the boundary of two nested neighborhoods of the origin.
Let us introduce some notations. For \(r>0\) and \(\varepsilon \in (0,r)\), denote
We also make use of the following relatively open set of the cone K,
which is similar to that introduced in [21].
Notice that \(B_r\subset V_r\subset B_{r/c}\), where \(B_{\rho }:=\{u\in K\,:\,\left\| u\right\| _{\infty }<\rho \}\).
Lemma 3.3
Assume that f satisfies conditions (H1) and (H2). If there exist \(r>0\) and \(\varepsilon >0\) such that
then we have that \(\lambda u\not \in T u\) for all \(u\in K\), \(\left\| u\right\| _{\infty }=r\), and all \(\lambda > 1\).
Proof
Let us show that
which implies that
Assume to the contrary that there exist \(v\in T u\) and \(u\in K\) with \(\left\| u\right\| _{\infty }=r\) such that \(r<\left\| v\right\| _{\infty }\). Observe that if \(w\in {\mathcal {N}}_{F}(u)\) and \(\left\| u\right\| _{\infty }=r\), by the definition of the regularized multivalued map F, we have
Hence, since \(v\in T u=\Psi \circ \Gamma \circ {\mathcal {N}}_{F}(u)\), we obtain
and so, from \(\eta _i\in (0,1)\) for all \(i\in \{1,\ldots ,n \}\), it follows
Finally, inequality (3.4) yields the contradiction \(r< \left\| v\right\| _{\infty }\le r\). \(\square \)
Remark 3.1
Of course, condition (3.4) holds for r large enough if \(\phi \) is singular. Therefore, in this case, problem (3.2) is always solvable under the basic assumptions (H1) and (H2). Moreover, it is worth mentioning that if \(\phi \) is singular and f is continuous, then problem (3.1) has a nonnegative (maybe trivial) solution without additional hypotheses, as a consequence of Proposition 2.1. This is similar to what happens for the Dirichlet problem, see [5].
Lemma 3.4
Assume that f satisfies conditions (H1) and (H2). If there exist \(r>0\) and \(\varepsilon \in (0,r)\) such that
then \(u\not \in Tu+\mu w\) for all \(u\in \partial _{K}V_{r}\) and all \(\mu > 0\) with \(w\equiv 1\).
Proof
Suppose that there exist \(u\in \partial _{K}V_{r}\) and \(\mu > 0\) such that \(u\in Tu+\mu w\). Since by definition \(T =\Psi \circ \Gamma \circ {\mathcal {N}}_{F}\), then there exists \(v\in {\mathcal {N}}_F(u)\) such that
Notice that if \(v\in {\mathcal {N}}_{F}(u)\) and \(u\in \partial _{K}V_r\), by the definition of the regularized multivalued map F, we have
Therefore, since \(0<\eta _i\le \eta <1\) for every \(i\in \{1,\ldots ,n-1 \}\), we have for \(t\in [0,\eta ]\),
Hence, condition (3.5) implies that \(u(t)\ge r+\mu \) for \(t\in [0,\eta ]\). Taking the infimum in \([0,\eta ]\), we get the contradiction \(r\ge r+\mu \). \(\square \)
Now we are in a position to prove the existence of positive solutions to the inclusion problem (3.2) based on the previous lemmas and the compression-expansion fixed point theorem in Sect. 2.
Theorem 3.2
Assume that f satisfies conditions (H1) and (H2). Moreover, assume that there exist \(r_1,r_2>0\) and \(\varepsilon \in (0,r_2)\) such that
-
If \(r_1<r_2\), then problem (3.2) has one positive solution u such that \(r_1\le \left\| u\right\| _{\infty }\le r_2/c\).
-
If \(r_2/c<r_1\), then problem (3.2) has one positive solution u such that \(r_2\le \left\| u\right\| _{\infty }\le r_1\).
Proof
By Lemmas 3.3 and 3.4 we obtain, thanks to condition (3.6), that
and
First, if \(r_1<r_2\), it follows that \(0\in B_{r_1}\subset {\overline{B}}_{r_1}\subset V_{r_2}\) and thus Theorem 2.2 ensures that the operator T has at least one fixed point in \({\overline{V}}_{r_2}{\setminus } B_{r_1}\). Now, the fact that \(V_{r_2}\subset B_{r_2/c}\) gives the conclusion.
On the other hand, in case that \(r_2/c<r_1\), we have that \(0\in V_{r_2}\subset {\overline{V}}_{r_2}\subset B_{r_1}\) and as a consequence of Theorem 2.2 we obtain that T has at least one fixed point in \({\overline{B}}_{r_1}{\setminus } V_{r_2}\subset {\overline{B}}_{r_1}{\setminus } B_{r_2}\). \(\square \)
Remark 3.2
We use the open set \(V_{r}\) in Lemma 3.4 to prove the index zero result in Proposition 2.2. As explained in [17], the requirement about the growth condition of f is less stringent than if the set \(B_{r/c}\) is employed instead.
Remark 3.3
Observe that condition (3.6) holds if there exists two constants \(M_1,M_2\in (0,b)\) such that \(M_1\le f(t,x)\le M_2\) for all \((t,x)\in I\times [0,\infty )\), as required in [16].
The existence of positive solutions for the differential inclusion (3.2) is meaningful itself when f is a discontinuous function, see [7, 18, 19]. However, we are concerned with the existence of positive Carathéodory type solutions for (3.1) and so we need some additional condition about f which implies that all the solutions of (3.2) are in fact Carathéodory solutions of (3.1). It is given by the notion of admissible discontinuity curves presented in the following definition, which can be traced back to [23] (see also [12, 25]).
Definition 3.1
A function \(\gamma \in {\mathcal {C}}^1(I)\) with \(\phi \circ \gamma '\in W^{1,1}(I)\) is called an admissible discontinuity curve for the differential equation \(-(\phi (u'))'=f(t,u)\) on the subinterval \(J\subset I\) if
Note that a sufficient condition for a curve \(\gamma :I\rightarrow \mathbb {R}\) to be admissible on a subinterval \(J\subset I\) can be stated as follows: there exist \(\delta ,\epsilon >0\) such that
or
Obviously, any Carathéodory solution for \(-(\phi (u'))'=f(t,u)\) on J is also an admissible discontinuity curve.
The transversality condition (3.7) is the key ingredient to show that all solutions of (3.2) are Carathéodory solutions of (3.1). The proof of this result can be looked up in [27, Lemma 3.3].
Lemma 3.5
Assume that \(f:I\times [0,\infty )\rightarrow [0,\infty )\) satisfies conditions (H1), (H2) and
- (H3):
-
There is a countable number of admissible discontinuity curves \(\gamma _n\) on the subintervals \(J_n\subset I\) such that
$$\begin{aligned} f(t,\cdot )\text { is continuous on }[0,\infty ){\setminus } \bigcup _{\{n:\,t\in J_{n}\}}\{\gamma _{n}(t)\}\quad \text { for a.a. }t\in I.\end{aligned}$$
Then the set of solutions to problem (3.2) coincides with the set of solutions to (3.1).
Now, as a straightforward consequence of Theorem 3.2 and Lemma 3.5, we derive the existence of positive solutions for problem (3.1).
Theorem 3.3
Assume that f satisfies conditions (H1), (H2) and (H3). Moreover, assume that there exist \(r_1,r_2>0\) and \(\varepsilon \in (0,r_2)\) such that
- (S1):
-
If \(r_1<r_2\), then problem (3.1) has one positive solution u such that \(r_1\le \left\| u\right\| _{\infty }\le r_2/c\).
- (S2):
-
If \(r_2/c<r_1\), then problem (3.1) has one positive solution u such that \(r_2\le \left\| u\right\| _{\infty }\le r_1\).
We illustrate the applicability of our result with the following example.
Example 3.1
Consider the problem
with
where [x] denotes the integer part of x.
Note that the function f satisfies that
Hence inequalities (3.6) hold, for instance, with \(r_1=4/5\), \(r_2=1/20\) and \(\varepsilon \) small enough. Because of this localization, it suffices to define f in \(I\times [0,1]\).
Moreover, the function f is discontinuous over the graphs of a countable number of lines, which are those given by
They are admissible discontinuity curves in the sense of Definition 3.1 since \((\phi (\gamma _n'))'\equiv 0\) for all \(n\in \mathbb {N}\) and thus inequality (3.8) is trivially satisfied for any \(\delta \in (0,1/4)\) and any \(\epsilon >0\). This implies that f satisfies condition (H3).
Then Theorem 3.3 ensures that problem (3.10) has a positive solution u such that
We highlight that, as far as we are aware, the previous existence result is new even in the case of continuous nonlinearities. Note that in this case, since \(F(t,x)=\{f(t,x) \}\), the positive number \(\varepsilon \) can be omitted in conditions (3.4) and (3.5).
Corollary 3.1
Assume that \(f:I\times [0,\infty )\rightarrow [0,\infty )\) is continuous. Moreover, assume that there exist \(r_1,r_2>0\) such that
- (S1):
-
If \(r_1<r_2\), then problem (3.1) has one positive solution u such that \(r_1\le \left\| u\right\| _{\infty }\le r_2/c\).
- (S2):
-
If \(r_2/c<r_1\), then problem (3.1) has one positive solution u such that \(r_2\le \left\| u\right\| _{\infty }\le r_1\).
Remark 3.4
Obviously, from Theorem 3.3, one can obtain multiplicity results for problem (3.1) provided that there exist several pairs of numbers \((r_1,r_2)\) satisfying conditions (3.4) and (3.5), respectively.
Finally, we show that problem (3.1) has at least one positive solution under suitable asymptotic conditions. Next results are inspired by those in [4], but our arguments are slightly different since they rely on Krasnosel’skiĭ’s type fixed point theorem in cones.
Proposition 3.1
Assume that f satisfies conditions (H1), (H2) and that
and
Then there exists \(r>0\) such that \(u\not \in Tu+\mu w\) for all \(u\in \partial _{K}V_{r}\) and all \(\mu > 0\) with \(w\equiv 1\).
Proof
By (3.12), with \(\tau =2\left( 1-\sum \alpha _i\right) /(1-\eta )\), there exists \(L>0\) so that
and thus there exists \(\rho >0\) (\(\rho <a\)) such that
On the other hand, by (3.11), there is \(r>0\) (we may suppose \(r<2c\rho /3\)) such that
so it follows that
Now, inequality (3.13) implies that
Finally, the conclusion is derived from Lemma 3.4 with \(\varepsilon =r/2\). \(\square \)
If \(\phi \) is singular (i.e., \(a<+\infty \), \(b=+\infty \)), then problem (3.1) has at least one positive solution provided that f is superlinear at 0 with respect to \(\phi \).
Theorem 3.4
Assume that conditions \((H1){-}(H3)\), (3.11) and (3.12) are fulfilled. Then problem (3.1) has at least one positive solution if \(\phi \) is singular.
Proof
By Remark 3.1 and Proposition 3.1, problem (3.2) has at least one positive solution. Finally, Lemma 3.5 implies that it is also a Carathéodory solution for (3.1). \(\square \)
A remarkable particular problem is that given by the relativistic operator, namely,
Corollary 3.2
Assume that conditions \((H1)-(H3)\) hold and
Then problem (3.14) has at least one positive solution.
Proof
The conclusion follows from Theorem 3.4 with the homeomorphism \(\phi :(-1,1)\rightarrow \mathbb {R}\) given by \(\phi (x)=x/\sqrt{1-x^2}\). Note that
and that, in this case, condition (3.15) implies (3.11). \(\square \)
Unlike the singular case, if \(\phi \) is a classical homeomorphism (i.e., \(a=b=+\infty \)), then some additional condition to the asymptotic behavior of f at 0 is needed to ensure the existence of a positive solution for (3.1). To this end, it is enough to assume that f is sublinear at infinity with respect to \(\phi \).
Proposition 3.2
Assume that f satisfies conditions (H1), (H2) and that
and \(\phi \) is a classical homeomorphism such that
Then there exists \(R>0\) such that \(\lambda u\not \in T u\) for all \(u\in K\), \(\left\| u\right\| _{\infty }=R\), and all \(\lambda > 1\).
Proof
First, note that (3.17), with \(\tau =2\left( 1-\sum \alpha _i\right) /3\), implies that there exist positive numbers \(\xi \) and \(\rho \) such that
Next, by (3.16), for each \(L>0\) there exists \(m>0\) such that
We can choose \(L>0\) small enough such that \(2\,L\,\xi \le 1\). Since \(\phi :\mathbb {R}\rightarrow \mathbb {R}\) is an increasing unbounded homeomorphism, we can also take \(R>0\) large enough (suppose \(R>\rho \)) so that \(m\le L\phi (3R/2)\). Hence, we have that
From the choice of L and inequality (3.18), we obtain that
Therefore, condition (3.4) holds with \(r=R\) and \(\varepsilon =R/2\), so the conclusion is obtained by application of Lemma 3.3. \(\square \)
Theorem 3.5
Assume that conditions \((H1)-(H3)\), (3.11), (3.12), (3.16) and (3.17) hold. Then problem (3.1) has at least one positive solution provided that \(\phi \) is classical.
Proof
Propositions 3.1 and 3.2 allow us to deduce, by application of Theorem 2.2, that problem (3.2) has at least one positive solution which belongs to \({\overline{B}}_{R}{\setminus } V_{r}\). Finally, Lemma 3.5 implies that it is also a Carathéodory solution for (3.1). \(\square \)
As a consequence, in the classical p-Laplacian case,
the existence of one positive solution is ensured provided that f is superlinear at 0 and sublinear at infinity with respect to \(\phi _p(x)=\left| x\right| ^{p-2}x\), \(p>1\).
Corollary 3.3
Assume that conditions \((H1)-(H3)\) hold,
Then problem (3.19) has at least one positive solution.
Proof
It suffices to apply Theorem 3.5 with the homeomorphism \(\phi (x)=\phi _p(x)=\left| x\right| ^{p-2}x\). Note that \(\phi _p\) clearly satisfies conditions (3.12) and (3.17). \(\square \)
Availability of data and material
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Amann, H.: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev. 18(4), 620–709 (1976)
Avery, R.I.: A generalization of the Leggett–Williams fixed point theorem. Math. Sci. Res. Hot-Line 3, 9–14 (1999)
Avery, R.I., Peterson, A.C.: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 42, 313–322 (2001)
Bereanu, C., Jebelean, P., Torres, P.J.: Positive radial solutions for Dirichlet problems with mean curvature operators in Minkowski space. J. Funct. Anal. 264, 270–287 (2013)
Bereanu, C., Mawhin, J.: Existence and multiplicity results for some nonlinear problems with singular \(\phi \)-Laplacian. J. Differ. Equ. 243(2), 536–557 (2007)
Bonanno, G., Iannizzotto, A., Marras, M.: On ordinary differential inclusions with mixed boundary conditions. Differ. Integral Equ. 30, 273–288 (2017)
Bonanno, G., Jebelean, P., Şerban, C.: Three periodic solutions for discontinuous perturbations of the vector \(p\)-Laplacian operator. Proc. R. Soc. Edinb. Sect. A 147, 673–681 (2017)
Cellina, A., Fryszkowski, A., Rzezuchowski, T.: Upper semicontinuity of Nemytskij operators. Ann. Mat. Pura Appl. 160(4), 321–330 (1991)
Chinní, A., Di Bella, B., Jebelean, P., Precup, R.: A four-point boundary value problem with singular \(\phi \)-Laplacian. J. Fixed Point Theory Appl. 21(66), 1–16 (2019)
Cid, J. Á., Pouso, R. L.: Ordinary differential equations and systems with time-dependent discontinuity sets. Proc. R. Soc. Edinb. Sect. A, 134, 617–637 (2004)
Couchouron, J.-F., Precup, R.: Homotopy method for positive solutions of \(p\)-Laplace inclusions. Topol. Methods Nonlinear Anal. 30, 157–169 (2007)
Figueroa, R., Infante, G.: A Schauder-type theorem for discontinuous operators with applications to second-order BVPs. Fixed Point Theory Appl. 2016, 53 (2016)
Fitzpatrick, P.M., Petryshyn, W.V.: Fixed point theorems and the fixed point index for multivalued mappings in cones. J. Lond. Math. Soc. 2(11), 75–85 (1975)
Herlea, D.-R., O’Regan, D., Precup, R.: Harnack type inequalities and multiple solutions in cones of nonlinear problems. Z. Anal. Anwend. 39, 151–170 (2020)
Herlea, D.-R., Precup, R.: Existence, localization and multiplicity of positive solutions to \(\phi \)-Laplace equations and systems. Taiwan. J. Math. 20, 77–89 (2016)
Hu, L.-G., Xu, J.: Positive solutions of nonhomogeneous boundary value problems for some nonlinear equation with \(\phi \)-Laplacian. Bound. Value Probl. 2012, 130 (2012)
Infante, G.: A short course on positive solutions of systems of ODEs via fixed point index. Lect. Notes Nonlinear Anal. 16, 93–140 (2017)
Jebelean, P., Mawhin, J., Şerban, C.: Periodic solutions for discontinuous perturbations of the relativistic operator. Bull. Sci. Math. 140, 99–117 (2016)
Jebelean, P., Şerban, C.: Boundary value problems for discontinuous perturbations of singular \(\phi \)-Laplacian operator. J. Math. Anal. Appl. 431, 662–681 (2015)
Kryszewski, W., Maciejewski, M.: Degree for weakly upper semicontinuous perturbations of quasi-\(m\)-accretive operators. Phil. Trans. R. Soc. A 379, 20190377 (2021)
Lan, K.Q.: Multiple positive solutions of semilinear differential equations with singularities. J. Lond. Math. Soc. 63, 690–704 (2001)
Leggett, R.W., Williams, L.R.: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28(4), 673–688 (1979)
Pouso, R.L.: Schauder’s fixed-point theorem: new applications and a new version for discontinuous operators. Bound. Value Probl. 2012, 92 (2012)
Precup, R.: Fixed point theorems for decomposable multi-valued maps and applications. Z. Anal. Anwend. 22, 843–861 (2003)
Precup, R., Rodríguez-López, J.: Positive solutions for discontinuous problems with applications to \(\phi \)-Laplacian equations. J. Fixed Point Theory Appl. 20(156), 1–17 (2018)
Precup, R., Rodríguez-López, J.: Positive solutions for \(\phi \)-Laplace equations with discontinuous state-dependent forcing terms. Nonlinear Anal. Model. Control 24, 447–461 (2019)
Precup, R., Rodríguez-López, J.: Fixed point index theory for decomposable multivalued maps and applications to discontinuous \(\phi \)-Laplacian problems. Nonlinear Anal. 199, 111958 (2020)
Funding
Jorge Rodríguez-López was partially supported by Xunta de Galicia ED431C 2019/02. Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
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
Rodríguez–López, J. Compression–Expansion Fixed Point Theorems for Decomposable Maps and Applications to Discontinuous \(\phi \)-Laplacian problems. Qual. Theory Dyn. Syst. 20, 66 (2021). https://doi.org/10.1007/s12346-021-00505-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-021-00505-6
Keywords
- Compression–expansion fixed point theorem
- Discontinuous differential equation
- Positive solution
- \(\phi \)-Laplacian equation
- Differential inclusion