Abstract
In this work we obtain sufficient conditions for the existence of bounded solutions of a resonant multipoint second-order boundary value problem, with a fully differential equation.
The noninvertibility of the linear part is overcome by a new perturbation technique, which allows obtaining an existence result and a localization theorem. Our hypotheses are clearly much less restrictive than those existent in the literature and, moreover, they can be applied to higher-order, resonant or nonresonant, boundary value problems defined on the half-line or even on the real line.
Similar content being viewed by others
1 Introduction
In this paper, we will prove the existence of bounded solutions for the multipoint boundary value problem
where \(\alpha _{i}>0\) and \(0=\xi _{1}<\cdots <\xi _{m-1}<\infty \). We assume that coefficients \(\alpha _{i}\) satisfy the resonance condition
A boundary value problem is said to be resonant when the correspondent homogeneous problem has nontrivial solutions. In fact, under condition (2), the homogeneous boundary value problem related to (1), namely
has a nontrivial solution.
These resonant problems have been studied for many years by many methods: degree theory has been used in, for instance, [3, 7, 13, 22], Lyapunov–Schmidt arguments in [17], a Leggett–Williams theorem in [8, 21], fixed point and fixed point index theories in [2, 9, 10, 25], monotone method together with the upper and lower solutions technique in [20], among others.
Boundary value problems on unbounded intervals arise in many models of applied mathematics, such as in combustion theory, in plasma physics, to model the unsteady flow of a gas through semi-infinite porous media, to study the electrical potential of an isolated neutral atom, etc. For more details, techniques and applications in this field we refer, for example, to [11, 14,15,16, 24], and the monograph [1].
From a theoretical point of view, resonance problems can be formulated by an equation \(Lx=Nx\), where L is a noninvertible operator. Therefore, in particular, the resonance condition (2) implies that the Green’s function related to problem (3) does not exist. This issue is overcome applying several techniques. For instance, in [12] the authors studied the problem
also under condition (2) and, to deal with the resonance problem, they defined some suitable operators and were able to find a solution in the space
so, clearly, that solution could be unbounded.
Our arguments apply a different technique to find bounded solutions for problem (1). Moreover, we note that, on the contrary to [12], we allow the nonlinearity f to depend on the first derivative of u.
In [6], a similar third order boundary value problem is considered, namely
coupled with the resonance condition
The techniques used in [6] are basically the same as in [12] and, again, the authors are able to find a solution which could be unbounded. On the other hand, they allow the nonlinearity f to depend on all the derivatives up to the highest possible order but, to do that, they asked for the following quite restrictive condition on the nonlinearity:
- (\(H_{0}\)):
-
\(f:[0,\infty )\times {\mathbb{R}}^{3}\rightarrow {\mathbb{R}}\) is \(s^{2}\)-Carathéodory, that is,
-
(i)
\(f(\cdot ,u,v,w)\) is measurable for each \((u,v,w)\) fixed.
-
(ii)
\(f(t,\cdot ,\cdot ,\cdot )\) is continuous for a.e. \(t\in [0,\infty ) \).
-
(iii)
For each \(r>0\) there exists \(\psi _{r}\in L^{1}[0,\infty )\) with \(t \psi _{r}, t^{2} \psi _{r}\in L^{1}[0,\infty )\) such that
$$ \bigl\vert f(t,u,v,w) \bigr\vert \leq \psi _{r}(t),\quad \forall (u,v,w) \in (-r,r)\times (-r,r)\times (-r,r), \text{a.e. }t\in {[} 0,\infty ). $$
-
(i)
Here, we must point out that, although in this paper we work with the second-order problem, the same techniques could be applied to the third-order problem. In this sense, we allow the nonlinearity f to depend on all the derivatives up to the highest possible order but using either hypothesis \((H_{1})\) or \((H_{2})\) instead of \((H_{0})\). This way, our hypotheses regarding the nonlinearity are clearly much less restrictive than \((H_{0})\) and our method develops a different approach complementing that in [6].
We would also like to mention that our technique of modifying the problem, in order to obtain another with a related Green’s function in \(L^{1}[0,\infty )\cap L^{\infty }[0,\infty )\), is also applicable to problems without resonance. Thus, if we used this idea in problems like
considered in [19], we could extend the results in that reference to nonlinearities satisfying \((H_{2})\) instead of \((H_{1})\). The same could be said about [18].
The paper is divided into several sections: In Sect. 2, we construct an auxiliary differential problem whose solutions are the same as those of problem (1). In Sect. 3, this auxiliary problem is transformed into an integral one, for which some bounded solutions are found. These solutions are showed to be solutions of the original problem. Finally, Sect. 4 includes an example.
2 Preliminaries
We will construct now a modified problem, which will be shown to be equivalent to (1), for which it is possible to construct the related Green’s function.
Indeed, consider the modified problem
where k and M are positive numbers such that \(k^{2}-4 M<0\) and
with \(\gamma =\frac{\sqrt{4 M-k^{2}}}{2}\).
If we denote
then the Green’s function related to problem (4) is given by the following expression:
The previous expression has been obtained by some explicit calculations, which will be detailed next. First of all, from the properties of the Green’s function (see [4] for the details), we know that it must have the following form:
for certain functions \(c1,\dots ,c4\). Moreover, as it must satisfy the boundary conditions, \(u(0)=0\) implies that \(c1\equiv 0\).
Next, from the fact that
and
we obtain
and
Finally, from the condition \(u^{\prime }(\infty )=\sum_{i=1}^{m-1} \alpha _{i} u^{\prime }(\xi _{i})\), we deduce that
The first derivative of the Green’s function is given by
Remark 1
It is easy to see that there exist two positive constants, \(C_{1}\) and \(C_{2}\), such that
and
for all \((t,s)\in [0,\infty )\times [0,\infty )\).
As a consequence, it is clear that both \(G(t,\cdot )\) and \(\frac{ \partial G}{\partial t}(t,\cdot )\) belong to \(L^{1}[0,\infty ) \cap L^{\infty }[0,\infty )\) for all \(t\in [0,\infty )\).
Let us consider
equipped with the norm
where \(\|v\|_{\infty }=\sup_{t\in [0,\infty )} |v(t)|\). It is easy to prove that \((X, \|\cdot \|)\) is a Banach space.
To deal with the lack of compactness of the set X, we will use the following result:
Theorem 2
([5])
Let Y be a Banach space and \({\mathcal{C}}(\mathbb{R},Y)\) the space of all bounded continuous functions \(x\colon {\mathbb{R}}\rightarrow Y\). For a set \(D\subset {\mathcal{C}}({\mathbb{R}},Y)\) to be relatively compact, it is necessary and sufficient that:
-
1.
D is uniformly bounded;
-
2.
Functions from D are equicontinuous on every compact subinterval of \([0,\infty )\);
-
3.
Functions from D are equiconvergent at ∞, that is, given \(\varepsilon >0\), there exists \(T>0\) such that for all \(t\ge T\), we have that
$$ \Bigl\Vert x(t)-\lim_{t\to \infty } x(t) \Bigr\Vert < \varepsilon . $$
To prove the existence of solutions, we will consider two different results. First of all, we will use the very well-known Schauder’s fixed point theorem:
Theorem 3
([26])
Let Y be a nonempty, closed, bounded and convex subset of a Banach space X, and suppose that \(P\colon Y\rightarrow Y\) is a compact operator. Then P has at least one fixed point in Y.
On the other hand, we will also give a result to prove the existence of solutions based on the lower and upper solutions technique. To do that, we need to introduce the following definition:
Definition 4
A function \(\alpha \in X\) is said to be a lower solution of problem (1) if
A function \(\beta \in X\) is said to be an upper solution of (1) if the reversed inequalities hold.
3 Main results
Consider the following integral operator \(T\colon X\rightarrow X\) defined by
It is clear that solutions of problem (1) are fixed points of operator T.
Moreover, we will assume that at least one of the two following conditions holds:
- \((H_{1})\) :
-
The nonlinearity \(f:[0,\infty ) \times {\mathbb{R}} ^{2} \rightarrow {\mathbb{R}}\) satisfies \(L^{1}\)-Carathéodory condition, that is,
-
(i)
\(f(\cdot ,u,v)\) is measurable for each \((u,v)\) fixed.
-
(ii)
\(f(t,\cdot ,\cdot )\) is continuous for a.e. \(t\in [0, \infty )\).
-
(iii)
For each \(r>0\) there exists \(\varphi _{r}\in L^{1}[0, \infty )\) such that
$$ \bigl\vert f(t,u,v) \bigr\vert \leq \varphi _{r}(t),\quad \forall (u,v) \in (-r,r)\times (-r,r), \text{a.e. }t\in {[} 0, \infty ). $$
-
(i)
- \((H_{2})\) :
-
The nonlinearity \(f:[0,\infty ) \times {\mathbb{R}} ^{2} \rightarrow {\mathbb{R}}\) satisfies \(L^{\infty }\)-Carathéodory condition, that is,
-
(i)
\(f(\cdot ,u,v)\) is measurable for each \((u,v)\) fixed.
-
(ii)
\(f(t,\cdot ,\cdot )\) is continuous for a.e. \(t\in [0, \infty )\).
-
(iii)
For each \(r>0\) there exists \(\phi _{r}\in L^{\infty }[0, \infty ) \) such that
$$ \bigl\vert f(t,u,v) \bigr\vert \leq \phi _{r}(t),\quad \forall (u,v) \in (-r,r)\times (-r,r), \text{a.e. }t\in {[} 0, \infty ). $$
-
(i)
Under one of these conditions, we will be able to prove the following result.
Lemma 5
Assume that either \((H_{1})\) or \((H_{2})\) holds. Then operator T defined in (5) is completely continuous.
Proof
The proof will be divided into several steps.
Step 1: T is well-defined in X.
Given an arbitrary \(u\in X\), we will prove that \(Tu\in X\).
First, we will make the proof in case hypothesis \((H_{1})\) holds. If \(u\in X\), then there exists some \(r>0\) such that \(\Vert u\Vert < r\). Therefore, it holds that
and, analogously,
Now, since \(\varphi _{r}\in L^{1}[0,\infty )\) and \(e^{-\frac{ks}{2}} \in L^{\infty }[0,\infty )\), it holds that \(\varphi _{r}(s) e^{- \frac{ks}{2}}\in L^{1}[0,\infty )\). Thus, it is clear that
that is, \(Tu\in X\).
On the other hand, if \((H_{2})\) holds instead of \((H_{1})\), following similar steps as in the previous case, we obtain the following upper bounds:
and
In this case \(\phi _{r}\in L^{\infty }[0,\infty )\) and, since \(e^{-\frac{ks}{2}}\in L^{1}[0,\infty )\), we obtain that \(\phi _{r}(s) e^{-\frac{ks}{2}}\in L^{1}[0,\infty )\). Therefore we conclude again that \(Tu\in X\).
Step 2: T is a continuous operator.
We will detail the proof for the case in which \((H_{1})\) holds. For \((H_{2})\) the proof will be analogous, with the obvious changes, as done in Step 1.
Consider a sequence \(\{u_{n}\}_{n\in {\mathbb{N}}}\) and assume that it converges to u in X, that is,
Then, since \(f(t,\cdot ,\cdot )\) is continuous for a.e. \(t\in {[} 0,\infty )\), we deduce that
Let us see that \(\{Tu_{n}\}_{n\in {\mathbb{N}}}\) converges to Tu.
Since \(\{u_{n}\}_{n\in {\mathbb{N}}}\) is convergent in X, there exists some \(r>0\) such that \(\Vert u_{n}\Vert < r\) for all \(n\in {\mathbb{N}}\). Now, if \((H_{1})\) holds,
Then, we deduce from Lebesgue’s Dominated Convergence Theorem that
Analogously, we get that
Thus, \(\{ Tu_{n} \} _{n\in {\mathbb{N}}}\) converges to Tu in X.
Step 3: T is compact.
Again, we will make the proof only for the case in which \((H_{1})\) holds, the other case being analogous.
Let B be a bounded subset of X, that is, there exists some \(r>0\) such that \(\Vert u\Vert < r\), for all \(u\in B\). Let us see that \(T(B)\) is relatively compact in X.
-
(i)
\(T(B)\) is uniformly bounded.
If \(u\in B\), then, for \(t\in {[} 0,\infty )\),
$$ \begin{aligned}[b] \bigl\vert Tu(t) \bigr\vert &\leq C_{1} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e ^{-\frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\le C_{1} \biggl( \int _{0}^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s) \,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr)=:M_{1}>0 \end{aligned} $$and
$$ \begin{aligned}[b] \bigl\vert (Tu)^{\prime }(t) \bigr\vert & \leq C_{2} e^{-\frac{kt}{2}} \biggl( \int _{0} ^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\leq C_{2} \biggl( \int _{0}^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) =:M _{2}>0. \end{aligned} $$Thus,
$$ \Vert Tu \Vert \leq \max \{M_{1}, M_{2}\}, $$for all \(u\in B\), that is, \(T(B)\) is uniformly bounded.
-
(ii)
\(T(B)\) is equicontinuous.
Let \(t_{1}, t_{2}\in {[} 0,L]\) for some \(L>0\) and assume that \(t_{1}>t_{2}\). Then,
$$ \begin{aligned}[b] &\bigl\vert Tu(t_{1})-Tu(t_{2}) \bigr\vert \\ &\quad \leq \int _{0}^{\infty } \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \bigl\vert f\bigl(s,u(s),u ^{\prime }(s)\bigr) \bigr\vert +k \bigl\vert u^{\prime }(s) \bigr\vert +M \bigl\vert u(s) \bigr\vert \bigr) \,\mathrm{d}s \\ &\quad \leq \int _{0}^{\infty } \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \varphi _{r}(s)+(k+M) r \bigr) \,\mathrm{d}s \\ &\quad = \int _{0}^{t_{2}} \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \varphi _{r}(s)+(k+M) r \bigr) \,\mathrm{d}s \\ &\qquad{} + \int _{t_{2}}^{t_{1}} \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \varphi _{r}(s)+(k+M) r \bigr) \,\mathrm{d}s \\ &\qquad{} + \int _{t_{1}}^{\infty } \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \varphi _{r}(s)+(k+M) r \bigr) \,\mathrm{d}s. \end{aligned} $$(8)We will find some suitable upper bounds for the difference \(|G(t_{1},s)-G(t _{2},s)|\). For \(0\leq t_{2}< t_{1}\leq s\), we have two possibilities:
-
If \(\xi _{l-1}\leq s<\xi _{l}\) for some \(2\leq l\leq m-1\), then
$$ \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert = \frac{1}{\gamma } \bigl\vert h_{l}(s) \bigr\vert e^{- \frac{k s}{2}} \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin (\gamma t_{1})+e^{-\frac{k t_{2}}{2}} \sin (\gamma t_{2}) \bigr\vert . $$ -
If \(s\geq \xi _{m-1}\), then
$$ \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert =0. $$
On the other hand, for \(0\leq s\leq t_{2}< t_{1}\):
-
If \(\xi _{l-1}\leq s<\xi _{l}\) for some \(2\leq l\leq m-1\), then
$$ \begin{aligned}[b] \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert &\leq \frac{1}{\gamma } \bigl\vert h_{l}(s) \bigr\vert e^{-\frac{k s}{2}} \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin (\gamma t_{1})+e ^{-\frac{k t_{2}}{2}} \sin (\gamma t_{2}) \bigr\vert \\ &\quad{} +\frac{1}{\gamma } e^{-\frac{k s}{2}} \bigl\vert e^{-\frac{k t _{1}}{2}} \sin \bigl(\gamma (s-t_{1})\bigr)-e^{-\frac{k t_{2}}{2}} \sin \bigl( \gamma (s-t_{2})\bigr) \bigr\vert . \end{aligned} $$Last term in the previous sum can be upper-bounded as follows:
$$ \begin{aligned}[b] & \bigl\vert e^{-\frac{k t_{1}}{2}} \sin \bigl(\gamma (s-t_{1})\bigr)-e ^{-\frac{k t_{2}}{2}} \sin \bigl(\gamma (s-t_{2})\bigr) \bigr\vert \\ &\quad = \bigl\vert \sin (\gamma s) \bigr\vert \bigl\vert e^{-\frac{k t_{1}}{2}} \cos ( \gamma t_{1})-e^{-\frac{k t_{2}}{2}} \cos (\gamma t_{2}) \bigr\vert \\ &\qquad{} + \bigl\vert \cos (\gamma s) \bigr\vert \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin ( \gamma t_{1})+e^{-\frac{k t_{2}}{2}} \sin ( \gamma t_{2}) \bigr\vert \\ &\quad \leq \bigl\vert e^{-\frac{k t_{1}}{2}} \cos (\gamma t_{1})-e ^{-\frac{k t_{2}}{2}} \cos (\gamma t_{2}) \bigr\vert \\ &\qquad{} + \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin (\gamma t_{1})+e ^{-\frac{k t_{2}}{2}} \sin (\gamma t_{2}) \bigr\vert . \end{aligned} $$As a consequence,
$$ \begin{aligned}[b] \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert &\leq \frac{1}{\gamma } \bigl( \bigl\vert h_{l}(s) \bigr\vert +1 \bigr) e^{-\frac{k s}{2}} \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin (\gamma t_{1})+e^{-\frac{k t_{2}}{2}} \sin ( \gamma t_{2}) \bigr\vert \\ &\quad{} +\frac{1}{\gamma } e^{-\frac{k s}{2}} \bigl\vert e^{-\frac{k t _{1}}{2}} \cos (\gamma t_{1})-e^{-\frac{k t_{2}}{2}} \cos ( \gamma t_{2}) \bigr\vert . \end{aligned} $$ -
If \(s\geq \xi _{m-1}\), then
$$ \begin{aligned}[b] \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert &= \frac{1}{\gamma } e^{-\frac{k s}{2}} \bigl\vert e ^{-\frac{k t_{1}}{2}} \sin \bigl(\gamma (s-t_{1})\bigr)-e^{- \frac{k t_{2}}{2}} \sin \bigl(\gamma (s-t_{2})\bigr) \bigr\vert \\ &\leq \frac{1}{\gamma } e^{-\frac{k s}{2}} \bigl\vert e^{-\frac{k t_{1}}{2}} \cos (\gamma t_{1})-e^{-\frac{k t_{2}}{2}} \cos ( \gamma t_{2}) \bigr\vert \\ &\quad{} + \frac{1}{\gamma } e^{-\frac{k s}{2}} \bigl\vert -e^{-\frac{k t_{1}}{2}} \sin (\gamma t_{1})+e^{-\frac{k t_{2}}{2}} \sin ( \gamma t_{2}) \bigr\vert . \end{aligned} $$Therefore, we can affirm that for a given \(\varepsilon >0\) there exists some \(\delta >0\) such that if \(|t_{1}-t_{2}|<\delta \) then, for \(s\in {[} 0,t_{2})\cup (t_{1},\infty )\), it holds that
$$ \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \leq \varepsilon e^{-\frac{k s}{2}}. $$This implies that the first and third terms of the last part of inequality (8) tend to zero regardless of the function \(u\in B\).
On the other hand, for \(0\leq t_{2}\leq s\leq t_{1}\):
-
If \(\xi _{l-1}\leq s<\xi _{l}\) for some \(2\leq l\leq m-1\), then
$$ \begin{aligned}[b] \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert &\leq \frac{1}{\gamma } e^{-\frac{ks}{2}} \bigl\vert h_{l}(s) \bigr\vert \bigl\vert -e^{-\frac{kt_{1}}{2}} \sin (\gamma t_{1})+e ^{-\frac{kt_{2}}{2}} \sin (\gamma t_{2}) \bigr\vert \\ &\quad{} +\frac{1}{\gamma } e^{-\frac{ks}{2}} \bigl\vert e^{-\frac{kt _{1}}{2}} \sin \bigl(\gamma (s-t_{1})\bigr) \bigr\vert . \end{aligned} $$ -
If \(s\geq \xi _{m-1}\), then
$$ \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert = \frac{1}{\gamma } e^{-\frac{ks}{2}} \bigl\vert e ^{-\frac{kt_{1}}{2}} \sin \bigl( \gamma (s-t_{1})\bigr) \bigr\vert . $$
Thus, when \(s\in {[} t_{2},t_{1}]\), it holds that
$$ \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \leq C e^{-\frac{ks}{2}}, $$for some constant C. This implies that \(|G(t_{1},\cdot )-G(t_{2}, \cdot )| ( \varphi _{r}(\cdot )+(k+M) r ) \in L^{1}[t_{1},t _{2}]\) for any \(t_{1}, t_{2}\in {[} 0,\infty )\). Then it is clear that
$$ \int _{t_{2}}^{t_{1}} \bigl\vert G(t_{1},s)-G(t_{2},s) \bigr\vert \bigl( \varphi _{r}(s)+(k+M) r \bigr) \,\mathrm{d}s \xrightarrow[t_{1} \to t_{2}]{}0 $$regardless of the function \(u\in B\).
Thus we conclude that given \(\varepsilon >0\) there exists \(\delta ( \varepsilon )>0\) such that if \(|t_{1}-t_{2}|<\delta \), then \(|Tu(t_{1})-Tu(t_{2})|<\varepsilon \) for all \(u\in B\).
In a completely analogous way, finding suitable upper bounds for \(\vert \frac{\partial G}{\partial t}(t_{1},s)-\frac{\partial G}{\partial t}(t_{2},s) \vert \), it is possible to prove that given \(\varepsilon >0\) there exists \(\delta (\varepsilon )>0\) such that if \(|t_{1}-t_{2}|<\delta \), then \(|(Tu)^{\prime }(t_{1})-(Tu)^{\prime }(t_{2})|<\varepsilon \) for all \(u\in B\).
Therefore, \(T(B)\) is equicontinuous.
-
-
(iii)
\(T(B)\) is equiconvergent at ∞.
Given \(u\in B\), it holds that
$$ \begin{aligned}[b] \Bigl\vert Tu(t)-\lim_{t\rightarrow \infty }Tu(t) \Bigr\vert &\le C_{1} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{- \frac{ks}{2}} \varphi _{r}(s) \,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\quad {}+ \lim_{t\rightarrow \infty } C_{1} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s) \,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\leq C_{1} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{- \frac{ks}{2}} \varphi _{r}(s) \,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \xrightarrow[t\to \infty ]{}0 \end{aligned} $$and
$$ \begin{aligned}[b] \Bigl\vert (Tu)^{\prime }(t)-\lim _{t\rightarrow \infty }(Tu)^{ \prime }(t) \Bigr\vert &\leq C_{2} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\quad {} + \lim_{t\rightarrow \infty } C_{2} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{-\frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \\ &\leq C_{2} e^{-\frac{kt}{2}} \biggl( \int _{0}^{\infty }e^{- \frac{ks}{2}} \varphi _{r}(s)\,\mathrm{d}s+ \biggl( 2+\frac{2 M}{k} \biggr) r \biggr) \xrightarrow[t\to \infty ]{}0, \end{aligned} $$that is, TB is equiconvergent at ∞.
Therefore, from Theorem 2, we conclude that \(T(B)\) is relatively compact in X.
□
Now we will see our existence results.
Theorem 6
Let \(f:[0,\infty )\times {\mathbb{R}}^{2}\rightarrow {\mathbb{R}}\) be such that there exists \(t_{0}\in {[} 0,\infty )\) for which \(f(t_{0},0,0)\neq 0\). Moreover, suppose that, for \(C_{1}\) and \(C_{2}\) given in Remark 1, either
-
\((H_{1})\) holds and, moreover, there exists some \(R>0\) such that
$$ \begin{aligned}[b] &\max \{C_{1}, C_{2}\}\max \biggl\{ \sup_{t>\xi _{m-1}}e^{- \frac{k t}{2}} \int _{0}^{t}e^{-\frac{k s}{2}} \varphi _{R}(s) \,\mathrm{d}s, \int _{0}^{\xi _{m-1}}e^{-\frac{k s}{2}} \varphi _{R}(s) \,\mathrm{d}s \biggr\} \\ &\quad {}+\max \{C_{1}, C_{2}\} \max \biggl\{ \frac{1}{2}, 2 \bigl( 1-e ^{-\frac{k \xi _{m-1}}{2}} \bigr) \biggr\} \biggl( 1+\frac{M}{k} \biggr) R < R, \end{aligned} $$(9)
or
-
\((H_{2})\) holds and, moreover, there is \(R>0\) such that
$$ \begin{aligned}[b] &\max \{C_{1}, C_{2}\}\max \biggl\{ \sup_{t>\xi _{m-1}}e^{- \frac{k t}{2}} \int _{0}^{t}e^{-\frac{k s}{2}} \phi _{R}(s) \,\mathrm{d}s, \int _{0}^{\xi _{m-1}}e^{-\frac{k s}{2}} \phi _{R}(s) \,\mathrm{d}s \biggr\} \\ &\quad {}+\max \{C_{1}, C_{2}\} \max \biggl\{ \frac{1}{2}, 2 \bigl( 1-e ^{-\frac{k \xi _{m-1}}{2}} \bigr) \biggr\} \biggl( 1+\frac{M}{k} \biggr) R < R. \end{aligned} $$
Then problem (1) has at least one nontrivial solution.
Proof
We will prove the first case, the second being analogous.
Consider
If \(u\in D\) then
and, since \(G(t,s)=0\) for \(s\geq \max \{t, \xi _{m-1}\}\),
If \(t>\xi _{m-1}\), the previous expression leads to
On the other hand, if \(t\leq \xi _{m-1}\), we obtain that
Therefore,
Analogously, it can be seen that
Thus, by (9),
that is, \(Tu\in D\).
Therefore, \(TD\subset D\) and, from Theorem 3, the operator T has at least one fixed point in D, which is a solution of problem (1). Moreover, since there exists at least one value \(t_{0}\in {[} 0,\infty )\) for which \(f(t_{0},0,0)\neq 0\), this solution cannot be the trivial one. □
Now, we will give another existence result based on the lower and upper solutions technique. The proof will follow the lines of [23]. Before formulating the theorem, we will give a lemma that we will use in the proof.
Lemma 7
([23, Lemma 2])
Let \(u\in {\mathcal {C}}^{1}(I)\), \(v, w \in W^{2,1}(I)\) and define
Then, the two following properties hold:
-
1.
\(\frac{\mathrm{d}}{\mathrm{d}t} p(t,u(t))\) exists for a.e. \(t\in I\).
-
2.
If \(u, u_{m}\in {\mathcal {C}}^{1}(I)\) and \(u_{m}\) converges to u in \({\mathcal {C}}^{1}(I)\), then
$$ \lim_{m\to \infty } \frac{\mathrm{d}}{\mathrm{d}t} p\bigl(t,u_{m}(t) \bigr)=\frac{ \mathrm{d}}{\mathrm{d}t} p\bigl(t,u(t)\bigr), \quad \textit{a.e. } t\in I. $$
Theorem 8
Let \(\alpha , \beta \in X\) be lower and upper solutions of problem (1), respectively, with
and denote
Assume that, for \(C_{1}\) and \(C_{2}\) given by Remark 1, either
-
\((H_{1})\) holds and, moreover, there exists some \(R>0\) such that
$$ \begin{aligned}[b] &\max \{C_{1}, C_{2}\}\max \biggl\{ \sup_{t>\xi _{m-1}}e^{- \frac{k t}{2}} \int _{0}^{t}e^{-\frac{k s}{2}}\varphi _{\max \{R, \widetilde{R}\}}(s) \,\mathrm{d}s, \int _{0}^{\xi _{m-1}}e^{- \frac{k s}{2}} \varphi _{\max \{R,\widetilde{R}\}}(s) \,\mathrm{d}s \biggr\} \\ &\quad {}+\max \{C_{1}, C_{2}\} \max \biggl\{ \frac{1}{2}, 2 \bigl( 1-e ^{-\frac{k \xi _{m-1}}{2}} \bigr) \biggr\} \biggl( 1+\frac{M}{k} \biggr) R < R, \end{aligned} $$
or
-
\((H_{2})\) holds and, moreover, there exists some \(R>0\) such that
$$ \begin{aligned}[b] &\max \{C_{1}, C_{2}\}\max \biggl\{ \sup_{t>\xi _{m-1}}e^{- \frac{k t}{2}} \int _{0}^{t}e^{-\frac{k s}{2}} \phi _{\max \{R,\widetilde{R}\}}(s) \,\mathrm{d}s, \int _{0}^{\xi _{m-1}}e ^{-\frac{k s}{2}} \phi _{\max \{R,\widetilde{R}\}}(s) \,\mathrm{d}s \biggr\} \\ &\quad {}+\max \{C_{1}, C_{2}\} \max \biggl\{ \frac{1}{2}, 2 \bigl( 1-e ^{-\frac{k \xi _{m-1}}{2}} \bigr) \biggr\} \biggl( 1+\frac{M}{k} \biggr) R < R. \end{aligned} $$
Then, problem (1) has a solution \(u\in X\) such that
Proof
We will prove the first case, the second being analogous.
Let \(\varepsilon >0\) be such that
Consider the modified problem
where the function \(\delta \colon [0,\infty )\times {\mathbb{R}} \rightarrow {\mathbb{R}}\) is given by
Define now operator \(T^{*}\colon X \rightarrow X\) by
From Lemma 7, we know that \(\frac{\mathrm{d}}{ \mathrm{d}s} \delta (s,u(s))\) exists for a.e. \(s\in [0,\infty )\). Thus, Lemma 7, together with the Carathéodory condition on the nonlinearity, implies that the integral in the latter expression is well-defined.
Following the same steps as in Lemma 5, it is easy to prove that if \((H_{1})\) holds, then \(T^{\ast }\) is well-defined in X and it is a completely continuous operator.
Moreover, by (10), it is clear that
Thus, if we consider
and \(u\in D\) then, following analogous steps as in the proof of Theorem 6, it can be deduced that
that is, \(T^{\ast }u\in D\).
Therefore, \(TD\subset D\) and, from Theorem 3, \(T^{\ast }\) has at least one fixed point in D, which corresponds to a solution of problem (11).
Finally, we will prove that this solution u of problem (11) satisfies
which implies that it is also a solution of problem (5).
Define \(v(t)=u(t)-\beta (t)\) and consider \(t_{0}\in [0,\infty ) \cup \{\infty \}\) such that
Suppose that \(v(t_{0})>0\). Then, since
necessarily \(t_{0}\neq 0\). Thus, there exists \(\overline{t}\in [0, \infty )\) such that
Now, using the facts that u is a solution of (11) and β is an upper solution of problem (1), we obtain for \(t\in (\overline{t},t_{0})\) that
Thus, we deduce that
which implies that \(v'\) is strictly increasing on \((\overline{t},t _{0})\). In particular, since \(v'(\overline{t})\ge 0\), it must be true that \(v'>0\) on \((\overline{t},t_{0})\).
Now, the fact that \(v'>0\) on \((\overline{t},t_{0})\) implies that \(t_{0}=\infty \) and so
On the other hand, since \(v \in X\),
and, using L’Hôpital’s Rule,
hence we deduce that
which is a contradiction.
Therefore
that is,
Analogously, it can be seen that
This way, we conclude that u is a solution of problem (1). □
4 Example
Let us consider the following boundary value problem:
This problem is a particular case of (1) with \(f(t,x,y)=\frac{1}{1000} (2+\sin t) e^{-|x|} \frac{|1-x|}{x^{2}+1} (y-1)\), \(m=3\), \(\alpha _{1}=0.11\), \(\alpha _{2}=0.89\), \(\xi _{1}=0\) and \(\xi _{2}=0.11\).
For \(|x|, |y|< r\), it holds that
so we could take \(\phi _{r}(t)=\frac{1}{1000} (2+\sin t) (r+1)^{2}\) and hence hypothesis \((H_{2})\) holds. We note that, since \(\phi _{r} \notin L^{1}[0,\infty )\), results in [12] cannot be applied to solve this problem.
We will look for a pair of lower and upper solutions of problem (1) and suitable values for k and M for which the hypotheses in Theorem 8 hold.
As lower and upper solutions we will take
It can be checked that \(\|\alpha \|_{\infty }\approx 0.0087\), \(\|\alpha '\|_{\infty }\approx 0.0065\) and \(\|\beta \|_{\infty }=1\), \(\|\beta '\|_{\infty }=0\). Therefore, we obtain that R̃ given in (10) is
Moreover, for \(M=0.35\) and \(k=0.86\), we obtain the following approximations for \(C_{1}\) and \(C_{2}\):
Therefore,
On the other hand,
and
Therefore, we can approximate
and it can be seen that for \(R\in (R_{0},R_{1})\), with \(R_{0}\approx 0.1615\) and \(R_{1}\approx 22.7199\), it holds that
Therefore, we have proved the existence of a solution u of problem (12) such that
which implies that this solution is nontrivial.
References
Agarwal, R.P., O’Regan, D.: Infinite Interval Problems for Differential, Difference and Integral Equations (2001)
Bai, C., Fang, J.: Existence of positive solutions for three-point boundary value problems at resonance. J. Math. Anal. Appl. 291, 538–549 (2004)
Bebernes, J., Gaines, R., Schmitt, K.: Existence of periodic solutions for third and fourth order ordinary differential equations via coincidence degree. Ann. Soc. Sci. Brux. Sér. I 88, 25–36 (1974)
Cabada, A.: Green’s Functions in the Theory of Ordinary Differential Equations. Springer Briefs in Math. (2014)
Corduneanu, C.: Integral Equations and Stability of Feedback Systems. Academic Press, New York (1973)
Djebali, S., Guedda, L.: A third order boundary value problem with nonlinear growth at resonance on the half-axis. Math. Methods Appl. Sci. 40(8), 2859–2871 (2017)
Feng, W., Webb, J.R.L.: Solvability of three-point boundary value problems at resonance. Nonlinear Anal. 30, 3227–3238 (1997)
Franco, D., Infante, G., Zima, M.: Second order nonlocal boundary value problems at resonance. Math. Nachr. 284, 875–884 (2011)
Han, X.: Positive solutions for a three-point boundary value problem at resonance. J. Math. Anal. Appl. 336, 556–568 (2007)
Infante, G., Pietramala, P., Tojo, F.A.F.: Nontrivial solutions of local and nonlocal Neumann boundary value problems. Proc. R. Soc. Edinb. A 146, 337–369 (2016)
Jiang, W.: Solvability for p-Laplacian boundary value problem at resonance on the half-line. Bound. Value Probl. 2013, 207 (2013)
Jiang, W., Yang, C.: The existence of positive solutions for multi-point boundary value problem at resonance on the half-line. Bound. Value Probl. 2016, 13, 12 (2016)
Kaufmann, E.R.: Existence of solutions for a nonlinear second-order equation with periodic boundary conditions at resonance. Commun. Appl. Anal. 18, 163–174 (2014)
Kim, C.-G.: Existence and iteration of positive solutions for multi-point boundary value problems on a half-line. Comput. Math. Appl. 61(7), 1898–1905 (2011)
Kosmatov, N.: Multi-point boundary value problems on an unbounded domain at resonance. Nonlinear Anal. 68, 2158–2171 (2008)
Lian, H., Ge, W.: Solvability for second-order three-point boundary value problems on a half-line. Appl. Math. Lett. 19(10), 1000–1006 (2006)
Ma, R., Yang, Y.: Existence result for a singular nonlinear boundary value problem at resonance. Nonlinear Anal. 68, 671–680 (2008)
Minhós, F., Carrasco, H.: Existence of homoclinic solutions for nonlinear second-order problems. Mediterr. J. Math. 13, 3849 (2016)
Minhós, F., Carrasco, H.: Homoclinic solutions for nonlinear general fourth-order differential equations. Math. Methods Appl. Sci. 40, 5768–5776 (2017)
Mosa, S., Eloe, P.: Upper and lower solution method for boundary value problems at resonance. Electron. J. Qual. Theory Differ. Equ. 2016, 40, 1–13 (2016)
O’Regan, D., Zima, M.: Leggett–Williams norm-type theorems for coincidences. Arch. Math. 87, 233–244 (2006)
Rachunková, I., Staněk, S.: Topological degree method in functional boundary value problems at resonance. Nonlinear Anal. 27, 271–285 (1996)
Wang, M.X., Cabada, A., Nieto, J.: Monotone method for nonlinear second order periodic boundary value problems with Carathéodory functions. Ann. Pol. Math. 58, 221–235 (1993)
Xu, J., Yang, Z.: Positive solutions for singular Sturm–Liouville boundary value problems on the half line. Electron. J. Differ. Equ. 2010, 171, 1–8 (2010)
Yang, A., Henderson, J., Wang, D.: The study of higher-order resonant and nonresonant boundary value problems. Electron. J. Qual. Theory Differ. Equ. 3, 1 (2016)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications. I: Fixed-Point Theorems. Springer, New York (1986) Translated from the German by Peter R. Wadsack
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
First author was partially supported by Xunta de Galicia (Spain), project EM2014/032, AEI Spain and FEDER, grants MTM2013-43014-P, MTM2016-75140-P, and FPU scholarship, Ministerio de Educación, Cultura y Deporte, Spain.
Author information
Authors and Affiliations
Contributions
Each author equally contributed to this paper, and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that there is no conflict of interest regarding the publication of this article.
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
López-Somoza, L., Minhós, F. On multipoint resonant problems on the half-line. Bound Value Probl 2019, 38 (2019). https://doi.org/10.1186/s13661-019-1153-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1153-9