Abstract
In this paper, we present a theory for the existence of multiple nontrivial solutions for a class of perturbed Hammerstein integral equations. Our methodology, rather than to work directly in cones, is to utilize the theory of fixed point index on affine cones. This approach is fairly general and covers a class of nonlocal boundary value problems for functional differential equations. Some examples are given in order to illustrate our theoretical results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The problem of the existence of solutions for functional differential equations (FDEs) has been discussed by a large number of researchers. A survey of classical and recent results in this topic goes beyond the scopes of this manuscript; we refer the reader to the books by Hale and Lunel [14], Erbe and co-authors [10], Agarwal et al. [1], the survey by Ntouyas [28], the papers by Nussbaum [32], Xu and Liz [41], Ntouyas, Sficas and Tsamatos [30], and references therein. The motivation for these studies, apart from a purely mathematical interest, relies in the fact that these types of equations arise quite frequently when modeling physical problems, see for example the ones illustrated in [14]. Regarding the existence of positive solutions, fixed point techniques in cones have been used, for example, by Wang [35] (in the first order case) and by Erbe and Kong [9], Karakostas, Mavridis and Tsamatos [20] and Ma [27] in the second-order case under local boundary conditions. The existence of positive solutions in the nonlocal case has been studied by Karakostas, Mavridis and Tsamatos [21] and, more recently, by Karaca [19].
In particular, in the paper [21], the authors study the existence of positive solutions of the functional boundary value problem (FBVP)
with initial conditions
and boundary conditions (BCs)
where \(\psi \) is assumed to be nonnegative and the above integral is meant in the Riemann-Stieltjes sense and is given by a positive measure.
The methodology in [21] is to rewrite the FBVP (1.1)–(1.3) as an Hammerstein-type integral equation of the form
with a suitable kernel \(\hat{k}\) and to use the Leggett-Williams theorem [25].
Our approach is somewhat different, and we study, in the spirit of the paper by Infante and Webb in [17], the existence of nontrivial solutions of perturbed Hammerstein integral equations of the type
where \(\alpha [\cdot ]\) is a linear functional given by a Stieltjes integral, namely
Here by a nontrivial solution of (1.4), we mean a solution that does not coincide with \(\psi \); furthermore, we stress that the solutions that we obtain are positive on a subinterval \([a,b]\) of \([0,1]\) and are allowed to change sign in \([0,1]\).
We point out that the formulation (1.5) involves a signed measure and covers the case of multi-point and integral conditions, namely
Multi-point and integral BCs are widely studied objects in the case of ODEs. As far as we know, multi-point BCs were investigated for the first time in 1908 by Picone [33]. In 1942, Whyburn [40] wrote a review on differential equations with general BCs that included also integral BCs involving Stieltjes measures. We mention also the (more recent) reviews of Conti [7], Ma [26], Ntouyas [29] and Štikonas [34] and the papers by Karakostas and Tsamatos [22, 23] and by Webb and Infante [38].
One advantage of studying the solutions of the perturbed integral equation (1.4) is that it provides a fairly general setting that covers, as special cases, a number of FBVPs subject to nonlocal conditions.
A new feature of the present paper is that we work in affine cones. In fact, due to the presence of the delay and of the initial datum \(\psi \), in order to investigate the solutions of the integral equation (1.4), we find it convenient and natural to work in translates of cones in Banach spaces, rather than to work directly in cones. In order to do this, we provide a modification, tailored for our setting, of some classical result on the fixed point index.
As already pointed out, one benefit of providing an existence theory for the perturbed integral equation (1.4) is that it gives results for a (relatively) large class of FBVPs. As an example, we illustrate here the applicability of our results to the nonlocal FBVP
with initial conditions
and BCs
The FBVP (1.6)–(1.8) can be seen as a retarded analogous of some thermostat problems with nonlocal controllers studied, in the case of ODEs, by Infante and Webb [16, 17], who were motivated by earlier work of Guidottti and Merino [12]. Thermostat problems of this type have been studied by a number of authors, and more information can be found in the recent papers [18, 37] and references therein.
We describe the applicability of our theory in the special case of a delay differential equation, that is,
As an application, we discuss the existence of nontrivial solutions of the delay equation
where \(p \ge 1\), with the initial conditions (1.7) and some nonlocal BCs.
Finally, we illustrate how our approach can be applied to the case of positive solutions; this is done for the FBVP (1.6)–(1.8), and also for the FBVP (1.1)–(1.3), complementing the results of [21, 36].
2 Fixed points on translates of a cone
In this Section, we provide some useful properties of the fixed point index on a translate of a cone \(K\), in the spirit of Remark 1 of [2]. These properties are used in Sect. 3 to prove our existence and multiplicity results for the integral equation (1.4).
Let \(X\) be a Banach Space. A cone on \(X\) is a closed, convex subset of \(X\) such that \(\lambda \, x\in K\) for \(x \in K\) and \(\lambda \ge 0\) and \(K\cap (-K)=\{0\}\). If \(\Omega \) is a bounded open subset of \(K\) (in the relative topology), we denote by \(\overline{\Omega }\) and \(\partial \Omega \) the closure and the boundary of \(\Omega \) relative to \(K\). Given \(y\in X\), we can consider the translate of a cone \(K\), namely
When \(D\) is an open bounded subset of \(X\), we write \(D_{K_y}=D \cap K_y\), an open subset of \(K_y\).
Observe that translates of cones are examples of absolute neighborhood retracts (ANRs). So the classical fixed point index theory for compact maps on cones (see e.g., [2, 3, 13]) can be extended to the context of translates of cones. The fixed point index satisfies properties analogous to those of the classical Leray-Schauder degree. The reader can see for instance [4, 11, 31] for a comprehensive presentation of the index theory for ANRs.
The proof of the following Lemma can be carried out as in the case of cones, see for example the proof of Lemma 12.1 in the review [3]. We give here an explicit proof for the sake of completeness; for more details, see also the recent paper [8].
Lemma 2.1
Let \(D\) be an open bounded set with \(y \in D\). Assume that \(\mathcal {F}:\overline{D}_{K_y}\rightarrow K_y\) is a compact map such that \(x\ne \mathcal {F}x\) for \(x\in \partial D_{K_y}\). Then the fixed point index \(i_{K_y}(\mathcal {F}, D_{K_y})\) has the following properties.
-
(1)
If there exists \(e\in K{\setminus } \{0\}\) such that \(x\ne \mathcal {F}x+\sigma e\) for all \(x\in \partial D_{K_y}\) and all \(\sigma >0\), then \(i_{K_y}(\mathcal {F}, D_{K_y})=0\).
-
(2)
If \(\mu (x-y) \ne \mathcal {F}x-y\) for all \(x\in \partial D_{K_y}\) and for every \(\mu \ge 1\), then \(i_{K_y}(\mathcal {F}, D_{K_y})=1\).
-
(3)
Let \(D'\) be open in \(X\) with \(\overline{D'}\subset D_{K_y}\). If \(i_{K_y}(\mathcal {F}, D_{K_y})=1\) and \(i_{K_y}(\mathcal {F}, D'_{K_y})=0\), then \(\mathcal {F}\) has a fixed point in \(D_{K_y}{\setminus } \overline{D'}_{K_y}\). The same result holds if \(i_{K_y}(\mathcal {F}, D_{K_y})=0\) and \(i_{K_y}(\mathcal {F}, D'_{K_y})=1\).
Proof
-
(1)
Let \(\alpha =\sup \{ \Vert x\Vert : x \in D_{K_y} \}, \beta =\sup \{ \Vert \mathcal {F}(x)\Vert : x \in D_{K_y} \}\) and let \(\gamma > \dfrac{\alpha +\beta }{\Vert e\Vert }\). Define \(H:[0,1] \times \overline{D}_{K_y} \rightarrow E\) by \(H(\lambda ,x)= \mathcal {F}(x) + \lambda \gamma e\). Note that \(H\) is a compact map with values in \(K_y\). By the Homotopy invariance property, we get \(i_{K_y}(\mathcal {F}, D_{K_y})=i_{K_y}(\mathcal {F}+\gamma e , D_{K_y})\). Assume now that \(i_{K_y}(\mathcal {F}, D_{K_y}) \ne 0\). Then, there exists \(\bar{x} \in D_{K_y}\) such that \(\bar{x} = \mathcal {F}(\bar{x}) + \gamma e\). Consequently, \(\Vert \bar{x} \Vert \ge \gamma \Vert e\Vert - \Vert \mathcal {F}(\bar{x})\Vert \ge \gamma \Vert e\Vert - \beta >\alpha \), which is a contradiction. Hence, \(i_{K_y}(\mathcal {F}, D_{K_y}) = 0\).
-
(2)
Define \(H:[0,1] \times \overline{D}_{K_y} \rightarrow E\) by \(H(\lambda ,x)=(1-\lambda )y+\lambda \mathcal {F}(x)\). Observe that \(H\) is a compact map with values in \(K_y\). Thus, by the Homotopy invariance and Normalization properties, we have \(i_{K_y}(\mathcal {F}, D_{K_y})=i_{K_y}(y, D_{K_y})=1\)
-
(3)
This is a consequence of the Additivity and Solution properties. \(\square \)
3 Nontrivial solutions for a class of perturbed integral equations
Given a compact interval \(I\subset \mathbb {R}\), by \(C(I, \mathbb {R})\), we mean the Banach space of the continuous functions defined on \(I\) with the usual supremum norm. Since we work with functions defined on different intervals (usually \(I=[-r,0]\) or \(I=[-r,1]\) with \(r>0\)), for sake of clarity, the norm of \(u \in C(I, \mathbb {R})\) will be denoted by \(\Vert u\Vert _{I}\).
Given \(r>0\) and a continuous function \(u: J \rightarrow \mathbb {R}\), defined on a real interval \(J\), and given \(t \in \mathbb {R}\) such that \([t-r, t] \subseteq J\), we adopt the standard notation \(u_t : [-r, 0] \rightarrow \mathbb {R}\) for the function defined by \(u_t (\theta ) = u(t + \theta )\).
Let us consider the following integral equation in the space \(C([-r, 1], \mathbb {R})\):
where
We require the following assumptions on the maps \(F, k, \psi , \gamma , \alpha \) and \(g\) that occur in (3.1) and on the delay \(r\):
- \((C_{1})\) :
-
The function \(\psi : [-r,1] \rightarrow \mathbb {R}\) is continuous and such that \(\psi (t)=0\) for all \(t\in [0,1]\).
- \((C_{2})\) :
-
The kernel \(k:[-r,1] \times [0,1] \rightarrow \mathbb {R}\) is measurable, verifies \(k(t,s)=0\) for all \(t\in [-r,0]\) and almost every (a. e.) \(s \in [0,1]\), and for every \(\bar{t} \in [0,1]\), we have
$$\begin{aligned} \lim _{t \rightarrow \bar{t}} |k(t,s)-k(\bar{t},s)|=0 \quad \text { for a. e. } s \in [0,1]. \end{aligned}$$ - \((C_{3})\) :
-
There exist a subinterval \([a,b] \subseteq (0,1]\), a measurable function \(\Phi \) with \(\Phi \ge 0\) a. e., and a constant \(c_1=c_1(a,b) \in (0,1]\) such that
$$\begin{aligned} |k(t,s)|\le \Phi (s) \quad \text { for all }&t \in [0,1] \quad \text { and }\quad \text {a. e. } \quad s\in [0,1],\\ k(t,s) \ge c_1\,\Phi (s) \quad \text { for all }&t\in [a,b] \quad \text { and } \quad \text {a. e. } \quad s \in [0,1]. \end{aligned}$$ - \((C_{4})\) :
-
The function \(g:[0,1] \rightarrow \mathbb {R}\) is measurable, \(g(t) \ge 0\) a. e. \(t \in [0,1]\), and satisfies that \(g\,\Phi \in L^1[0,1]\) and \(\int _a^b \Phi (s)g(s)\,\mathrm{d}s >0\).
- \((C_{5})\) :
-
\(F: [0,1] \times C([-r, 0], \mathbb {R}) \rightarrow [0,\infty )\) is an operator that satisfies some Carathéodory-type conditions (see also [14]); namely, for each \(\phi , t \mapsto F(t,\phi )\) is measurable and for a. e. \(t, \phi \mapsto F(t,\phi )\) is continuous. Furthermore, for each \(R>0\), there exists \(\varphi _{R} \in L^{\infty }[0,1]\) such that
$$\begin{aligned} F(t,\phi ) \le \varphi _{R}(t) \ \text {for all} \ \phi \in C([-r, 0], \mathbb {R}) \ \text {with} \ \Vert \phi \Vert _{[-r,0]} \le R,\ \text {and a. e.}\ t\in [0,1]. \end{aligned}$$ - \((C_{6})\) :
-
\(A\) is of bounded variation (\({\text {Var}}(A)<+\infty \)), and \({\mathcal {K}}_A(s):=\int _{{0}}^{{1}} k(t,s)\mathrm{d}A(t) \ge 0\) for a.e. \(s \in [0,1]\).
- \((C_{7})\) :
-
The function \(\gamma : [-r,1] \rightarrow \mathbb {R}\) is continuous, \(\gamma \not \equiv 0\) and such that \(\gamma (t)=0\) for all \(t\in [-r,0]\); moreover, \(0 \le \alpha [\gamma ] <1\; \text {and there exists}\; c_{2} \in (0,1] \;\text {such that}\; \gamma (t) \ge c_{2}\Vert \gamma \Vert _{[0,1]} \;\text {for all }\; t \in [a,b]\).
- \((C_{8})\) :
-
The inequality \(r<b-a\) holds.
We stress that, in particular, the assumption \((C_{5})\) is crucial to prove the compactness of the operator \(\mathcal {F}\) (see Theorem 3.2 below).
In the Banach space \(C([-r, 1], \mathbb {R})\), we define the cone
where \(c=\min \{c_1,c_2\}\). Note that \(K_0 \ne \{0\}\) since \(\gamma \in K_0\) and, furthermore, that the functions in \(K_0\) are nonnegative in the subset \([a,b]\) and are allowed to change sign in \([0,1]\). The cone \(K_0\) is a modification of the cone of functions introduced by Infante and Webb in [15]. The idea of incorporating the functional \(\alpha \) within the definition of the cone (this allows the use of signed measures) can be found in [39] for the case of positive functions and in [6] for the case of functions that are allowed to change sign.
We consider the following translate of the cone \(K_0\),
Definition 3.1
We define the following subsets of \(C([-r, 1], \mathbb {R})\):
and the corresponding translates
Observe that \(\partial K_{\psi ,\rho } = \psi + \partial K_{0,\rho }\) and \(\partial V_{\psi ,\rho } = \psi + \partial V_{0,\rho }\). Let us stress that a key feature of these sets is that they can be nested
Furthermore, note that \(u\in K_{\psi }\) means that \(u=\psi +v\) with \(v \in K_{0}\), and therefore, we have
Theorem 3.2
Assume that the hypotheses \((C_{1})\)–\((C_{8})\) hold for some \(R>0\). Then \(\mathcal {F}\) maps \(\overline{K}_{\psi ,R}\) into \(K_\psi \) and is compact. When these hypotheses hold for every \(R>0, \mathcal {F}\) is compact and maps \(K_\psi \) into \(K_\psi \).
Proof
Let \(R>0\) be given and let \(u \in \overline{K}_{\psi ,R}\). Let us show that \(\mathcal {F}u -\psi \in K_0\). First of all observe that our assumptions imply that \(\mathcal {F}u\) is continuous on \([-r,1]\) and that \(\mathcal {F}u(t)-\psi (t)=0\) for \(t \in [-r,0]\). Now, for every \(t \in [0,1]\) we have
moreover, since \([a,b]\subseteq (0,1]\),
Furthermore, by \((C6), \alpha \) is a bounded linear operator. Using \((C6)\) and \((C7)\) we have
Therefore, we have that \(\mathcal {F}u\in K_\psi \) for every \(u\in \overline{K}_{\psi ,R}\).
To prove the compactness of \(\mathcal {F}\), let \(\{u^n\}\) be a sequence in \(C([-r, 1], \mathbb {R})\) with \(\Vert u^n\Vert _{[-r,1]}<R\). Observe that \(\Vert u_t^n\Vert _{[-r,0]}<\hat{R}\) for all \(t \in [0,1]\), where \(\hat{R} := R+\Vert \psi \Vert _{[-r,0]}\). Consequently, for \(t \in [-r,1]\) we have
Hence, the sequence \(\{\mathcal {F}u^n\}\) is bounded.
Now, by assumption \((C_{2})\) and Lebesgue’s dominated convergence theorem, the function \(t\mapsto \int _{0}^{1}k(t,s) g(s) \varphi _{\hat{R}}(s)\,\mathrm{d}s\) is continuous. Let \(\varepsilon >0\) be given; by the continuity of \(\psi \) and \(\gamma \) and of \(\displaystyle \int _{0}^{1}k(\cdot ,s) g(s) \varphi _{\hat{R}}(s)\,\mathrm{d}s\), there exists \(\delta >0\) such that:
-
\(|\psi (t_1)-\psi (t_2)|<\varepsilon \), provided that \(t_1,t_2 \in [-r,0]\) with \(|t_1-t_2|<\delta \);
-
\(|\gamma (t_1)-\gamma (t_2)|<\varepsilon \), provided that \(t_1,t_2 \in [0,1]\) with \(|t_1-t_2|<\delta \);
-
\(\displaystyle \int _{0}^{1}|k(t_1,s)-k(t_2,s)| g(s) \varphi _{\hat{R}}(s)\,\mathrm{d}s <\varepsilon \), provided that \(t_1,t_2 \in [0,1]\) with \(|t_1-t_2|<\delta \).
Therefore, we have
if \(t_1,t_2 \in [-r,0]\) with \(|t_1-t_2|<\delta \);
if \(t_1,t_2 \in [0,1]\) with \(|t_1-t_2|<\delta \);
whenever \(-r\le t_1<0<t_2\le 1\) with \(|t_1-t_2|<\delta \).
Therefore, the sequence \(\{\mathcal {F}u^n\}\) is equicontinuous. The compactness of \(\mathcal {F}\) now follows from the Ascoli-Arzelà Theorem. \(\square \)
In the sequel, we give a condition that ensures that the index is 1 on \(K_{\psi ,\rho }\) for a suitable \(\rho \) larger than the norm of \(\psi \).
Lemma 3.3
Assume that
- \(({\mathrm {I}}_{\rho }^{1})\) :
-
there exists \(\rho > \Vert \psi \Vert _{[-r,0]}\) such that
$$\begin{aligned} \frac{F^{(-\rho ,\rho )}}{m} <1, \end{aligned}$$where
$$\begin{aligned} \frac{1}{m}:=\sup _{t\in [0,1]} \left\{ \int _{0}^{1}|k(t,s)|g(s)\,\mathrm{d}s + \frac{|\gamma (t)|}{1-\alpha [\gamma ]}\int _{0}^{1} {\mathcal {K}}_{A}(s)g(s)\,\mathrm{d}s \right\} \end{aligned}$$and
$$\begin{aligned} F^{(-\rho ,\rho )}:=\sup \left\{ \frac{F(t,\phi )}{\rho }:\; t\in [0,1], \; \phi \in C([-r, 0], \mathbb {R}) \;\text { with } \; \Vert \phi \Vert _{[-r,0]} \le \rho \right\} . \end{aligned}$$
Then \(i_{K_\psi }(\mathcal {F},K_{\psi ,\rho })=1\).
Proof
We show that \(\mu (u-\psi ) \ne \mathcal {F}u-\psi \) for every \(u \in \partial K_{\psi ,\rho }\) and for every \(\mu \ge 1\).
In fact, if this does not happen, there exist \(\mu \ge 1\) and \(u\in \partial K_{\psi ,\rho }\) such that \(\mu (u-\psi )=\mathcal {F}u-\psi \), that is
Applying \(\alpha \) to both sides of the equation and noting that \(\alpha [\psi ]=0\), we get
thus, from \((C_7), \mu -\alpha [\gamma ]\ge 1-\alpha [\gamma ]>0\), and we deduce that
and we get, by substitution,
Recall that \(u\in \partial K_{\psi ,\rho }\) means that \(u=\psi +v\) with \(v \in \partial K_{0,\rho }\) and, in particular we have that \(\Vert v\Vert _{[0,1]} =\rho \). Now observe that \(F(s,u_s) \le \rho F^{(-\rho ,\rho )}\) for all \(s\in [0,1]\). This estimate follows from the definition of \(F^{(-\rho ,\rho )}\) and the fact that, since \(\Vert \psi \Vert _{[-r,0]}<\rho \), we have that \(\Vert u_s\Vert _{[-r,0]} \le \rho \) for all \(s\). Therefore, taking the absolute value and then the supremum for \(t\in [-r,1]\) in the above equality, we get
This contradicts the fact that \(\mu \ge 1\) and proves the result. \(\square \)
Remark 3.4
If the condition \(({\mathrm {I}}_{\rho }^{1})\) holds for a suitable \(\rho > \Vert \psi \Vert _{[-r,0]}\), then the operator \(\mathcal {F}\) has a fixed point in \(K_{\psi ,\rho }\). Note that this fixed point could be a ‘trivial’ solution (but with a nonzero norm) of the Eq. (3.1), namely
We now make use of the assumption \((C_{8})\), and we provide a condition that guarantees that the index is equal to zero on \(V_{\psi ,\rho }\), for some appropriate \(\rho >0\).
Lemma 3.5
Assume that
- \(({\mathrm {I}}_{\rho }^{0})\) :
-
there exist \(\rho >0\) such that such that
$$\begin{aligned} \dfrac{F_{(\rho ,{\rho /c})}}{M(a,b)}>1, \end{aligned}$$where
$$\begin{aligned} \frac{1}{M(a,b)} :=\inf _{t\in [a,b]}\left\{ \int _{a+r}^{b}k(t,s)g(s)\,\mathrm{d}s + \frac{\gamma (t)}{1-\alpha [\gamma ]}\int _{a+r}^{b} {\mathcal {K}}_{A}(s)g(s)\,\mathrm{d}s \right\} \end{aligned}$$and
Then \(i_{K_\psi }(\mathcal {F},V_{\psi ,\rho })=0\).
Proof
Since \(0\not \equiv \gamma \in K_0\), we can choose \(e=\gamma \) in Lemma 2.1. We now prove that
In fact, if not, there exist \(u\in \partial V_{\psi ,\rho }\) and \(\sigma \ge 0\) such that \(u=\mathcal {F}u+\sigma \gamma \). Then, in particular, we have
and
Therefore, we have,
and, by substitution, we obtain
We claim that \(F(s,u_s) \ge \rho F_{(\rho ,{\rho /c})}\) for all \(s\in [a+r,b]\); observe that such an interval is nontrivial by \((C_{8})\). In fact, since \(u\in \partial V_{\psi ,\rho }\), we have \(u=\psi +v\) with \(v \in \partial V_{0,\rho }\). Consequently, given \(s\in [a+r,b]\), we have that \(u_s(\theta ) = u(s+\theta )=v(s+\theta )\) for \(\theta \in [-r,0]\) due to the facts that \(s+\theta \in [a,b] \subseteq (0,1]\) for all \(\theta \) and that \(\psi \) vanishes on \([0,1]\). Furthermore, the function \(v \in \partial V_{0,\rho }\) is such that \(v(\tau ) \in [\rho ,\rho /c]\) for \(\tau \in [a,b]\). This follows from the definition of \(V_{0,\rho }\) and from the inclusion \(V_{0,\rho }\subset K_{0,\rho /c}\). Summing up we get that, if \(s\in [a+r,b]\), then \(u_s(\theta )=u(s+\theta ) \in [\rho ,\rho /c]\) for all \(\theta \in [-r,0]\). Therefore, by definition of the number \(F_{(\rho ,{\rho /c})}\) we have \(F(s,u_s) \ge \rho F_{(\rho ,{\rho /c})}\) for all \(s\in [a+r,b]\), as claimed.
Hence, we get, for \(t\in [a,b]\),
Taking the minimum over \([a,b]\) gives \(\rho >\rho \), a contradiction. \(\square \)
The above Lemmas can be combined in order to prove the following Theorem. Here we deal with the existence of at least one, two or three nontrivial solutions. We stress that, by expanding the lists in conditions \((S_{5}),(S_{6})\) below, it is possible to state results for four or more positive solutions, see for example the paper by Lan [24] for the type of results that might be stated. We omit the proof which follows directly from the properties of the fixed point index stated in Lemma 2.1.
Theorem 3.6
The integral equation (3.1) has at least one nontrivial solution in \(K_\psi \) if one of the following conditions holds.
- \((S_{1})\) :
-
There exist \(\rho _{1},\rho _{2}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{2}\) and \(\rho _{1}/c<\rho _{2}\) such that \(({\mathrm {I}}_{\rho _{1}}^{0})\) and \(({\mathrm {I}}_{\rho _{2}}^{1})\) hold.
- \((S_{2})\) :
-
There exist \(\rho _{1},\rho _{2}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{1}<\rho _{2}\) such that \(({\mathrm {I}}_{\rho _{1}}^{1})\) and \(({\mathrm {I}} _{\rho _{2}}^{0})\) hold.
The integral equation (3.1) has at least two nontrivial solutions in \(K_\psi \) if one of the following conditions holds.
- \((S_{3})\) :
-
There exist \(\rho _{1},\rho _{2},\rho _{3}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{2}\) and \(\rho _{1}/c<\rho _{2}<\rho _{3}\) such that \(({\mathrm {I}}_{\rho _{1}}^{0}), ( {\mathrm {I}}_{\rho _{2}}^{1})\, \text {and}\;\;({\mathrm {I}}_{\rho _{3}}^{0})\) hold.
- \((S_{4})\) :
-
There exist \(\rho _{1},\rho _{2},\rho _{3}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{1}<\rho _{2}\) and \(\rho _{2}/c<\rho _{3}\) such that \(({\mathrm {I}} _{\rho _{1}}^{1}),\;\;({\mathrm {I}}_{\rho _{2}}^{0})\, \text {and}\;\;({\mathrm {I}}_{\rho _{3}}^{1})\) hold.
The integral equation (3.1) has at least three nontrivial solutions in \(K_\psi \) if one of the following conditions holds.
- \((S_{5})\) :
-
There exist \(\rho _{1},\rho _{2},\rho _{3},\rho _{4}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{2}\) and \(\rho _{1}/c<\rho _{2}<\rho _{3}\) and \(\rho _{3}/c<\rho _{4}\) such that \(({\mathrm {I}}_{\rho _{1}}^{0}), ({\mathrm {I}}_{\rho _{2}}^{1}),\;\;({\mathrm {I}} _{\rho _{3}}^{0})\;\;\text {and}\;\;({\mathrm {I}}_{\rho _{4}}^{1})\) hold.
- \((S_{6})\) :
-
There exist \(\rho _{1},\rho _{2},\rho _{3},\rho _{4}\in (0,\infty )\) with \(\Vert \psi \Vert _{[-r,0]}<\rho _{1}<\rho _{2}\) and \(\rho _{2}/c<\rho _{3}<\rho _{4}\) such that \(({\mathrm {I}}_{\rho _{1}}^{1}),\;\;({\mathrm {I}}_{\rho _{2}}^{0}),\;\;({\mathrm {I}}_{\rho _{3}}^{1})\,\text {and}\;\;({\mathrm {I}} _{\rho _{4}}^{0})\) hold.
Remark 3.7
Note that the solutions given by Theorem 3.6 are nontrivial in the sense that do not coincide with \(\psi \); nevertheless, in view of (3.2), in the case of conditions \((S_{1}), (S_{3}), (S_{5})\), one of the solutions could have the same norm as \(\psi \).
4 Nonnegative solutions under stronger hypotheses
By means of an approach similar to that of the previous section, we can prove the existence of solutions that are nonnegative on \([0,1]\), in the spirit of Remark 3.4 of [17] and Sections 2 and 3 of [5]. To be more precise, we require that the maps \(F, k, \psi , \gamma , \alpha \) and \(g\) that occur in (3.1) and the delay \(r\) satisfy the assumptions \((C_{1})-(C_{8})\) with \((C_{1}), (C_{3}), (C_{5})\) and \((C_{7})\) replaced with the following ‘positivity conditions.’
- \((C'_{1})\) :
-
The function \(\psi : [-r,1] \rightarrow [0,+\infty )\) is continuous and such that \(\psi (t)=0\) for all \(t\in [0,1]\).
- \((C'_{3})\) :
-
The kernel \(k\) is nonnegative in \([-r,1] \times [0,1]\) and there exist a subinterval \([a,b] \subseteq (0,1]\), a measurable function \(\Phi \) with \(\Phi \ge 0\) a. e., and a constant \(c_1=c_1(a,b) \in (0,1]\) such that
$$\begin{aligned} k(t,s)\le \Phi (s) \quad \text { for all }&t \in [0,1] \quad \text { and } \quad \text { a. e. } \, s\in [0,1],\\ k(t,s) \ge c_1\,\Phi (s) \quad \text { for all }&t\in [a,b] \quad \text { and } \quad \text { a. e. } \, s \in [0,1]. \end{aligned}$$ - \((C'_{5})\) :
-
\(F: [0,1] \times C([-r, 0], [0,\infty ) )\rightarrow [0,\infty )\) is an operator that satisfies Carathéodory-type conditions as in \((C_{5})\). Furthermore, for each \(R>0\), there exists \(\varphi _{R} \in L^{\infty }[0,1]\) such that
$$\begin{aligned} F(t,\phi ) \le \varphi _{R}(t) \ \text {for all} \ \phi \in C([-r, 0], [0,\infty ) ) \ \text {with} \ \Vert \phi \Vert _{[-r,0]} \le R,\ \text {and a. e.}\ t\in [0,1]. \end{aligned}$$ - \((C'_{7})\) :
-
The function \(\gamma : [-r,1] \rightarrow [0,\infty )\) is continuous, \(\gamma \not \equiv 0\) and such that \(\gamma (t)=0\) for all \(t\in [-r,0]\); moreover, \(0 \le \alpha [\gamma ] <1\; \text {and there exists}\; c_{2} \in (0,1] \;\text {such that}\; \gamma (t) \ge c_{2}\Vert \gamma \Vert _{[0,1]} \;\text {for all }\; t \in [a,b]\).
Then, using the notation
it can be shown, by arguments similar to the previous section, that \(\mathcal {F}\) is compact and leaves the affine cone
invariant. We now state two results analogous to Lemmas 3.3 and 3.5. The proofs, similar to the ones before, are omitted. Here, the sets \({\mathcal {K}}_{0,\rho }\) and \({\mathcal {V}}_{0,\rho }\) and the corresponding translates \({\mathcal {K}}_{\psi ,\rho }\) and \({\mathcal {V}}_{\psi ,\rho }\) are as in Definition 3.1 with \(K_0 \cap P\) in place of \(K_0\).
Lemma 4.1
Assume that
- \((\overline{{\mathrm {I}}_{\rho }^{1}})\) :
-
there exists \(\rho > \Vert \psi \Vert _{[-r,0]}\) such that
$$\begin{aligned} \frac{F^{(0,\rho )}}{m} <1, \end{aligned}$$where
$$\begin{aligned} F^{(0,\rho )}:=\sup \left\{ \frac{F(t,\phi )}{\rho }:\; t\in [0,1], \; \phi \in C([-r, 0], [0,\infty )) \;\text { with } \; \Vert \phi \Vert _{[-r,0]} \le \rho \right\} . \end{aligned}$$
Then \(i_{{\mathcal {K}}_\psi }(\mathcal {F}, {\mathcal {K}}_{\psi ,\rho })=1\).
Lemma 4.2
Assume that
- \((\overline{{\mathrm {I}}_{\rho }^{0}})\) :
-
there exist \(\rho >0\) such that such that
$$\begin{aligned} \dfrac{F_{(\rho ,{\rho /c})'}}{M(a,b)}>1, \end{aligned}$$where
$$\begin{aligned} F_{(\rho ,{\rho /c})'}:= & {} \inf \left\{ \frac{F(t,\phi )}{\rho } :\; t\in [a,b], \; \phi \in C([-r, 0], [0,+\infty )) \;\text {with} \right. \\&\qquad \quad \left. \phi (\theta ) \in [\rho ,\rho /c] \;\text {for all} \; \theta \in [-r,0] \right\} . \end{aligned}$$
Then \(i_{{\mathcal {K}}_\psi }(\mathcal {F},{\mathcal {V}}_{\psi ,\rho })=0\).
A result equivalent to Theorem 3.6 is held in this case, with nontrivial solutions belonging to the affine cone (4.1).
5 Nontrivial solutions of some FBVP’s
In this section, we provide some applications of the results of Sects. 3 and 4.
5.1 Solutions that may change sign
We illustrate the results of Sect. 3, by considering the FBVP
with initial conditions
and BCs
The solution of the ODE \(-u''=y\) under the BCs (5.3) (a similar calculation, under a slightly different set of BCs, is done in [17]) is given by
By a solution of the FBVP (5.1)–(5.3), we mean a solution \(u\in C[-r,1]\) of the corresponding integral equation
where \(\gamma (t)= \dfrac{ t}{\beta +\eta }H(t)\) and
with
When \(\beta \ge 0, k(t,s)\) changes sign when \(0<\beta +\eta <1\), but is nonnegative on the strip \(0\le t \le b, b<\beta +\eta \). Assume \(r<\beta +\eta \). Then, we can apply the results of Sect. 3 to any interval \([a,b] \subset (0, \beta +\eta )\) of length \(b-a>r\). Observe that \((C_{7})\) holds with \(c_2=a\). We want to find \(\Phi , c_1\) so that \((C_{3})\) holds. For this purpose we follow the outline of [17] and take for simplicity
Then the upper bound \(|k(t,s)|\le \Phi (s)\) holds. Concerning the lower bounds, we have that if \(\beta +\eta \ge \frac{1}{2}\), we may choose
While if \(\beta +\eta < \frac{1}{2}\), we may take
Therefore, we take
Here we state, for brevity, a result regarding the existence of one nontrivial solution, which is a direct consequence of Theorem 3.6. A similar result can be stated for the existence of multiple, nontrivial solutions.
Theorem 5.1
Let \([a,b] \subset (0, \beta +\eta ) \subset (0, 1)\) with \(b-a>r\), and let \(c\) as in (5.4) and \(\int _a^b \Phi (s)g(s)\,\mathrm{d}s >0\). Then the FBVP (5.1)–(5.3) has at least one nontrivial solution, strictly positive on \([a,b]\), if either \((S_{1})\) or \((S_{2})\) of Theorem 3.6 holds.
Now let \(f:[0,1]\times \mathbb {R}\times \mathbb {R}\rightarrow [0,\infty )\) be a given Carathéodory map and consider the following delay differential equation
with \(g\) nonnegative and measurable. The techniques developed in this paper can be applied to study the nontrivial solutions of (5.5) with BCs (5.2)–(5.3). In fact, observe that the Eq. (5.5) is a special case of the functional differential equation (5.1). To show this, given \(f:[0,1]\times \mathbb {R}\times \mathbb {R}\rightarrow [0,\infty )\) as above, we proceed as in [14] and define \(F: [0,1] \times C([-r, 0], \mathbb {R}) \rightarrow [0,\infty )\) by
Note that the operator \(F\), defined in this way, verifies condition \((C_{5})\) provided that the map \(f\) satisfies the following Carathéodory-type assumption:
\((C''_{5})\) For each \(R>0\), there exists \(\varphi ^*_{R} \in L^{\infty }[0,1]\) such that
In addition, in order to obtain from Theorem 3.6 existence and multiplicity results for the FBVP (5.5)–(5.3), it is sufficient to consider the following numbers:
These numbers are easier to compute than the analogous ones in the general case of a functional differential equation.
Let us consider, for illustrative purposes, the following autonomous equation depending on a positive parameter \(\lambda \).
where \(p \ge 1\), with the initial conditions (5.2) and the boundary conditions
Here we have \(f(u,v)=|u|^{p-1} |v|\) so that \(f^{(-\rho ,\rho )} = \rho ^{p-1} = f_{(\rho ,{\rho /c})}\). Moreover, we have
A direct calculation shows that
and therefore, in this case, \(m=16/17\).
As a consequence of Theorem 5.1 (using \((S_{2})\) of Theorem 3.6), we get the following.
Corollary 5.2
Let \([a,b]=[1/4,7/16]\), and let \(c_2=1/4\) and \(c_1=1/8\). Assume that \(r<3/16\) and let \(\psi \) with \(\Vert \psi \Vert _{[-r,0]}<1\) be given. Then, for every \(0<\lambda < 16/17\), the FBVP (5.6)–(5.7) has at least one nontrivial solution \(u_\lambda \), strictly positive on \([1/4,7/16]\), with \(\Vert u_\lambda \Vert _{[-r,1]}>1\).
Proof
Take \(\rho _1=1\) and observe that \(({\mathrm {I}}_{\rho _{1}}^{1})\) holds since \(\lambda < 16/17=m\). Moreover, for \(\rho _2\) large enough (precisely \(\rho _2 > \dfrac{M(a,b)}{\lambda }\)) condition \(({\mathrm {I}}_{\rho _{2}}^{0})\) holds as well. Thus, Theorem 3.6 \((S_{2})\) can be applied, yielding at least one solution \(u_\lambda \), positive on \([1/4,7/16]\), with \(1<\Vert u_\lambda \Vert _{[-r,1]}<\rho _2\). \(\square \)
5.2 Nonnegative solutions
We now show the applicability of the tools of Sect. 4.
Firstly, we consider the FBVP (5.1)–(5.3) with a nonnegative initial datum \(\psi \) and look for nonnegative solutions assuming \(\beta +\eta \ge 1\). For a fixed value \(r<1\) of the delay, we can apply the results of Sect. 4 to an arbitrary interval \([a,b] \subset (0, 1)\) of length \(b-a>r\). Note that when \(\beta +\eta \ge 1\) the kernel \(k\) is nonnegative and, reasoning as in [36], we take
so that the upper bound \(k(t,s)\le \Phi (s)\) holds. For the lower bounds, a routine calculation shows that \(k(t,s) \ge c_1 \Phi (s)\) for \(t \in [a,b], s\in [0,1]\) if
Moreover, \((C'_{7})\) holds with \(c_2=a\). Thus, we work in the affine cone (4.1) with \(c=c_1\), obtaining an existence result for nonnegative solutions analogous to Theorem 5.1.
Finally, we turn our attention to the FBVP
with initial conditions
and BCs
where \(\psi \) is nonnegative. This FBVP can be seen as a generalization of the FBVP (1.1)–(1.3), since the BCs involve a more general functional given by a signed measure. To the FBVP (5.8)–(5.10), we associate the perturbed integral equation
where
Clearly, \(k\) and \(\gamma \) are nonnegative. In a similar way as in [39], we may choose
Then we have \(k(t,s)\le \Phi (s)\). Furthermore, for a fixed \([a,b]\subset (0,1)\), by direct calculation, we obtain
Thus, we may take
and work in the affine cone (4.1) with \(c\) given by (5.11). An analogue of Theorem 5.1 holds in this case as well.
References
Agarwal, R.P., Berezansky, L., Braverman, E., Domoshnitsky, A.: Nonoscillation Theory of Functional Differential Equations with Applications. Springer, New York (2012)
Amann, H.: On the number of solutions of nonlinear equations in ordered Banach spaces. J. Funct. Anal. 11, 346–384 (1972)
Amann, H.: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM. Rev. 18, 620–709 (1976)
Brown, R.F.: The Lefschetz Fixed Point Theorem. Scott, Foresman and Co., Glenview (1971)
Cabada, A., Infante, G., Tojo, F.A.F.: Nontrivial solutions of perturbed Hammerstein integral equations with reflections. Bound. Value Probl. 2013, 86 (2013)
Cabada, A., Infante, G., Tojo, F.A.F.: Nonzero solutions of perturbed Hammerstein integral equations with deviated arguments and applications. Topol. Methods Nonlinear Anal. (to appear)
Conti, R.: Recent trends in the theory of boundary value problems for ordinary differential equations. Boll. Un. Mat. Ital. 22, 135–178 (1967)
Djebali, S., Mebarki, K.: Fixed point index on translates of cones and applications. Nonlinear Stud. 21, 579–589 (2014)
Erbe, L.H., Kong, Q.: Boundary value problems for singular second-order functional–differential equations. J. Comput. Appl. Math. 53, 377–388 (1994)
Erbe, L.H., Kong, Q., Zhang, B.G.: Oscillation Theory for Functional–Differential Equations, Monographs and Textbooks in Pure and Applied Mathematics, 190. Marcel Dekker Inc, New York (1995)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003)
Guidotti, P., Merino, S.: Gradual loss of positivity and hidden invariant cones in a scalar heat equation. Differ. Integr. Equ. 13, 1551–1568 (2000)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Hale, J.K., Lunel, S.M.V.: Introduction to Functional Differential Equations. Springer, New York (1993)
Infante, G., Webb, J.R.L.: Three point boundary value problems with solutions that change sign. J. Integr. Equ. Appl. 15, 37–57 (2003)
Infante, G., Webb, J.R.L.: Loss of positivity in a nonlinear scalar heat equation. NoDEA Nonlinear Differ. Equ. Appl. 13, 249–261 (2006)
Infante, G., Webb, J.R.L.: Nonlinear nonlocal boundary value problems and perturbed Hammerstein integral equations. Proc. Edinb. Math. Soc. 49, 637–656 (2006)
Infante, G., Pietramala, P., Tojo, F.A.F.: Nontrivial solutions of local and nonlocal Neumann boundary value problems. Proc. Royal Soc. Edinb. Sect A, to appear
Karaca, I.Y.: On positive solutions for second-order boundary value problems of functional differential equations. Appl. Math. Comput. 219, 5433–5439 (2013)
Karakostas, G.L., Mavridis, K.G., Tsamatos, PCh.: Multiple positive solutions for a functional second-order boundary value problem. J. Math. Anal. Appl. 282, 567–577 (2003)
Karakostas, G.L., Mavridis, K.G., Tsamatos, P.C.: Triple solutions for a nonlocal functional boundary value problem by Leggett–Williams theorem. Appl. Anal. 83, 957–970 (2004)
Karakostas, G.L., Tsamatos, PCh.: Existence of multiple positive solutions for a nonlocal boundary value problem. Topol. Methods Nonlinear Anal. 19, 109–121 (2002)
Karakostas, G.L., Tsamatos, P.C.: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 30, 17 (2002)
Lan, K.Q.: Multiple positive solutions of Hammerstein integral equations with singularities. Differ. Equ. Dyn. Syst. 8, 175–195 (2000)
Leggett, R.W., Williams, L.R.: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ. Math. J. 28, 673–688 (1979)
Ma, R.: A survey on nonlocal boundary value problems. Appl. Math. E-Notes 7, 257–279 (2001)
Ma, R.: Positive solutions for boundary value problems of functional differential equations. Appl. Math. Comput. 193, 66–72 (2007)
Ntouyas, S.K.: Initial and boundary value problems for functional-differential equations via the topological transversality method: a survey. Bull. Greek Math. Soc. 40, 3–41 (1998)
Ntouyas, S.K.: Nonlocal initial and boundary value problems: a survey. In: Cañada, A., Drábek P., Fonda A. (eds.) Handbook of Differential Equations: Ordinary Differential Equations, vol. II, pp. 461–557. Elsevier, Amsterdam (2005)
Ntouyas, S.K., Sficas, Y.G., Tsamatos, PCh.: An existence principle for boundary value problems for second order functional differential equations. Nonlinear Anal. 20, 215–222 (1993)
Nussbaum, R.D.: The fixed point index and fixed point theorems. In: Furi, M., Zecca, P. (eds.) Topological Methods for Ordinary Differential Equations (Montecatini Terme, 1991). Lecture Notes in Mathematics, vol. 1537, pp. 143–205. Springer, Berlin (1993)
Nussbaum, R.D.: Functional differential equations. In: Fiedler, B. (ed.) Handbook of Dynamical Systems, vol. 2, pp. 461–499. North-Holland, Amsterdam (2002)
Picone, M.: Su un problema al contorno nelle equazioni differenziali lineari ordinarie del secondo ordine. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 10, 1–95 (1908)
Štikonas, A.: A survey on stationary problems, Green’s functions and spectrum of Sturm-Liouville problem with nonlocal boundary conditions. Nonlinear Anal. Model. Control 19, 301–334 (2014)
Wang, H.: Positive periodic solutions of functional differential equations. J. Differ. Equ. 202, 354–366 (2004)
Webb, J.R.L.: Optimal constants in a nonlocal boundary value problem. Nonlinear Anal. 63, 672–685 (2005)
Webb, J.R.L.: Existence of positive solutions for a thermostat model. Nonlinear Anal. Real World Appl. 13, 923–938 (2012)
Webb, J.R.L., Infante, G.: Positive solutions of nonlocal boundary value problems: a unified approach. J. Lond. Math. Soc. 74, 673–693 (2006)
Webb, J.R.L., Infante, G.: Positive solutions of nonlocal boundary value problems involving integral conditions. NoDEA Nonlinear Differ. Equ. Appl. 15, 45–67 (2008)
Whyburn, W.M.: Differential equations with general boundary conditions. Bull. Am. Math. Soc. 48, 692–704 (1942)
Xu, H.-K., Liz, E.: Boundary value problems for functional differential equations. Nonlinear Anal. 20, 971–988 (1993)
Acknowledgments
The authors would like to thank the anonymous Referee for the careful reading of the manuscript and for the constructive comments. This paper was partially written during the visit of G. Infante to the Dipartimento di Ingegneria Industriale e Scienze Matematiche of the Università Politecnica delle Marche. G. Infante is grateful to the people of the aforementioned Dipartimento for their kind and warm hospitality. The authors were partially supported by G.N.A.M.P.A.—INdAM (Italy).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Massimo Furi, Professor Emeritus at the University of Florence.
Rights and permissions
About this article
Cite this article
Calamai, A., Infante, G. Nontrivial solutions of boundary value problems for second-order functional differential equations. Annali di Matematica 195, 741–756 (2016). https://doi.org/10.1007/s10231-015-0487-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-015-0487-x
Keywords
- Fixed point index
- Affine cone
- Nontrivial solution
- Retarded functional differential equation
- Nonlocal boundary condition