- Research
- Open access
- Published:
Nonlinear differential equations with perturbed Dirichlet integral boundary conditions
Boundary Value Problems volume 2021, Article number: 66 (2021)
Abstract
This paper is devoted to prove the existence of positive solutions of a second order differential equation with a nonhomogeneous Dirichlet conditions given by a parameter dependence integral. The studied problem is a nonlocal perturbation of the Dirichlet conditions by considering a homogeneous Dirichlet-type condition at one extreme of the interval and an integral operator on the other one. We obtain the expression of the Green’s function related to the linear part of the equation and characterize its constant sign. Such a property will be fundamental to deduce the existence of solutions of the nonlinear problem. The results hold from fixed point theory applied to related operators defined on suitable cones.
1 Introduction
This paper is devoted to the study of the existence of solutions of the following family of nonlinear second order ordinary differential equations:
coupled to the following integral boundary conditions:
where \(\gamma <\pi ^{2} \) and \(\lambda \in {\mathbb{R}}\).
To this end, we will distinguish the cases \(\gamma = 0 \), \(\gamma > 0 \) and \(\gamma <0 \). We will analyze each of them and give optimal sufficient conditions on γ, λ and f that allow us to ensure the existence of a solution of the considered problem.
This kind of problems model the behavior of an harmonic oscillator, subject to an external force f, which is fixed at the left extreme of the interval and has some mechanism at the right one, that controls the displacement according to the feedback from devices measuring the displacements along parts of the oscillator. Integral boundary conditions have been considered in much work in the literature; see, for instance, [6, 9, 12] (for second and fourth order ordinary differential equations) or [1, 5, 7, 8] (for fractional equations) and the references therein.
We refer a function \(u\in \mathcal{C} ([0,1])\) as a nonnegative solution of problem (1)–(2) if u solves such problem and \(u(t)\geq 0\), for all \(t\in [0,1]\). A function \(u\in \mathcal{C} ([0,1])\) is called positive solution of problem (1)–(2) if it is a nonnegative solution and \(u(t)>0\), for all \(t\in (0,1)\).
The paper is organized as follows: in Sect. 2, we study the linear part of problem (1)–(2), where we obtain the explicit expression of the related Green’s function and calculate the exact values of γ and λ for which the Green’s function has constant sign. In the next section we prove the existence of positive solutions for the nonlinear problem (1)–(2). Such solutions are given as the fixed points of a related integral operator defined on a suitable cone. At the end of this section we show two examples where the applicability of the obtained results is pointed out.
The following concept will be fundamental in order to deduce our existence results.
Definition 1
Let X be a Banach space. A subset \(K \subset X \) is a cone if:
-
K is closed,
-
\(K + K \subset K\), \(\lambda K \subset K \) for all \(\lambda \ge 0 \) and \(K \cap (-K) = \{0 \} \).
We will use the celebrated expansion/contraction theorem of Krasnosels’kiĭ [10].
Theorem 2
(Krasnosels’kiĭ)
Let X be a Banach space and \(K \subset X \) a cone in X. Let \(\Omega _{1}, \Omega _{2} \subset X \) open bounded such that \(0 \in \Omega _{1} \subset \overline{\Omega _{1}} \subset \Omega _{2} \) and \(T: K \cap (\overline{\Omega _{2}} \setminus \Omega _{1}) \to K \) a compact operator that satisfies one of the following properties:
-
1.
\(\| T (u) \| \geq \| u \|\), \(\forall u \in K \cap \partial \Omega _{1} \) and \(\| T (u) \| \leq \| u \|\), \(\forall u \in K \cap \partial \Omega _{2} \).
-
2.
\(\| T (u) \| \leq \| u \|\), \(\forall u \in K \cap \partial \Omega _{1} \) and \(\| T (u) \| \geq \| u \|\), \(\forall u \in K \cap \partial \Omega _{2} \).
Then T has a fixed point at \(K \cap (\overline{\Omega _{2}} \setminus \Omega _{1}) \).
2 Linear part: Green’s function
In this section we obtain the expression of the related Green’s function of the linear part of problem (1)–(2) and deduce some important properties that will be fundamental to obtain the existence of positive solutions of the nonlinear problem. To this end, we consider separately three cases depending on the sign of the real parameter γ. To do this, we will follow a treatment of a similar problem studied in [5] for fractional equations.
2.1 Case \(\gamma =0\)
In this subsection, we obtain the expression of the Green’s function related to the linear problem
coupled to the boundary conditions (2).
Theorem 3
Let \(\lambda \neq 2 \) and \(\sigma \in \mathcal{C}( [0,1]) \), then problem (3), (2) has a unique solution \(u \in \mathcal{C}^{2}([0,1]) \), which is given by the following expression:
where
Proof
By using the fundamental theorem of integral calculus to Eq. (3), together with Fubini’s theorem, we arrive at the following expression:
Since \(u(0)=0\), we deduce that \(c_{2}=0\).
Now, the boundary condition at \(t=1\) implies that
so
As a consequence
By denoting \(A=\int _{0}^{1}u(s)\,ds\), we have
Thus,
Then
Substituting this value in (5), we obtain the expression of the solution u as follows:
□
In the sequel, we will state two lemmas related to the properties of the Green’s function that will be useful to prove the existence of a positive solution of the nonlinear problem (1)–(2) with \(\gamma =0\).
Lemma 4
Let G be the Green’s function related to problem (3), (2), given by Eq. (4). Then, for all \(\lambda \neq 2\), the following properties are fulfilled:
-
1.
\(G(0,s)=G(t,0)=G(t,1)=0\), for all \(t,s\in [0,1]\).
-
2.
\(G(t,s)\) is continuous on \([0,1]\times [0,1]\).
-
3.
\(G(1,s)=0\) for all \(s\in (0,1)\) if and only if \(\lambda =0\).
-
4.
\((2-\lambda )G(1,s)>0\) for all \(s\in (0,1)\) if and only if \(\lambda > 0\).
-
5.
\((2-\lambda )G(s,s)>0\) for all \(s\in (0,1)\) if and only if \(\lambda < 2\).
-
6.
\(G(t, s)> 0 \) for all \(t, s \in (0,1)\) if and only if \(\lambda \in [0,2 )\).
-
7.
\(G(t, s) \) changes sign on \((0,1 ) \times (0,1)\) for all \(\lambda \notin [0,2 )\).
-
8.
For all \(\lambda \in [0,2)\), \(G(t,s)\leq \frac{1}{2(2-\lambda )}\), \(\forall t,s\in [0,1]\).
Proof
Properties 1. and 2. are immediate. Let us now prove the remaining properties:
-
3.
Let \(s\in (0,1)\), then \(G(1,s)=0\) if and only if \(\lambda s(1-s)=0\), i.e. \(\lambda =0\).
-
4.
The result holds trivially from the fact that
$$ (2-\lambda )G(1,s)=\lambda s(1-s), \quad \text{ for all }s\in (0,1). $$(6) -
5.
The result is immediately deduced from the following equality:
$$ (2-\lambda )G(s,s)=s (1-s) \bigl(2-\lambda (1-s)\bigr) , \quad \text{ for all }s\in (0,1). $$(7) -
6.
Since \(G(t,s)\) is linear on t, for all \(s\in [0,1]\) fixed, \(G(t,s)\) attains its maximum and minimum at \(t=0\), \(t=s\) or at \(t=1\).
From Property 1., we have \(G(0,s)=0\) for all \(s\in [0,1]\).
From Property 5., we have \(G(s,s)>0\) for all \(s\in (0,1)\), if and only if \(\lambda <2\).
From Property 4., we have \(G(1,s)>0\) for all \(s\in (0,1)\), if and only if \(\lambda \in (0,2)\).
As a consequence of the three previous assertions and Property 3., this property holds.
-
7.
From (6) it is clear that \(G(1,s)<0\) for all \(s\in (0,1)\), if and only if \(\lambda \notin (0,2)\).
From (7) it is clear that \(G(s,s)>0\) for all \(s\in (0,1)\) and \(\lambda \le 0\) and, moreover, if \(\lambda >2\), we have \(G(s,s)>0\) for \(s\in (0,1)\) close enough to 0. Thus, this property is fulfilled.
-
8.
From Property 6., we know that \(G(t,s)>0\) for all \((t,s) \in (0,1) \times (0,1)\). As in Property 6., we know that the maximum values will be attained at \(G(s,s)\) and/or \(G(1,s)\). Now, since
$$ (2-\lambda )G(s,s)=s(1-s) \bigl(2-\lambda (1-s)\bigr)=2s(1-s)-\lambda s(1-s)^{2} \leq 2s(1-s)\leq \frac{1}{2} $$and
$$ (2-\lambda )G(1,s)=\lambda s(1-s)\leq \frac{\lambda }{4}< \frac{1}{2}, $$the proof is concluded.
□
In the sequel, we deduce two sharp inequalities for the positiveness of the Green’s function.
Lemma 5
Let \(\lambda \in (0,2)\) and \(G(t,s)\) be the Green’s function related to problem (3), (2), given by Eq. (4). Then the following properties hold:
Proof
For \(t = 0\) \(t=1\), \(s = 0\) or \(s = 1 \) the inequalities follow immediately from Properties 1. and 4. in Lemma 4.
Now let t, s be such that \(0 < t \leq s <1 \). In this case
As a consequence, we have
Consider now the case \(0< s\le t<1\), using \(s\geq ts\), we conclude that
Moreover,
and
On the other hand, since \(h(t,s)\) is a nonnegative, continuous and linear function with respect to t, we deduce
From Property 4. in Lemma 4, we conclude that the inequalities (8) are satisfied. □
2.2 Case \(\gamma >0\)
In this subsection, we will obtain the expression of the Green’s function related to the problem
coupled to the boundary conditions (2).
Theorem 6
Let \(\lambda \neq \frac{m \sin m}{1- \cos m} \), \(m>0\), \(m \neq 2 k \pi \), \(k=1, 2, \ldots \) , and \(\sigma \in \mathcal{C} ([0,1]) \). Then problem (9), (2) has a unique solution \(u \in \mathcal{C} ^{2} ([0,1]) \), which is given by
where
Here, if \(m \neq k \pi \), \(k \in {\mathbb{N}}\) odd,
and
and, if \(m = k \pi \), for some \(k \in {\mathbb{N}}\) odd,
and
Proof
It is immediate to verify that the spectrum of problem (9), (2) is given by the following pairs on the plane \((m,\lambda )\):
-
1.
\((m,\frac{m \sin m}{1- \cos m} )\), \(m> 0\), \(m \neq 2 k \pi \), \(k=1, 2, \ldots \)
-
2.
\((2 k \pi , \lambda )\), \(\lambda \in {\mathbb{R}}\), \(k=1, 2, \ldots \)
Consider the case \(m \neq k \pi \), \(k \in {\mathbb{N}}\) odd, and let v be the unique solution of
and w be defined as the unique solution of
then it is not difficult to verify that \(u (t) = v (t) + (\lambda \int _{0} ^{1} u (s) \,ds ) w (t) \) is a solution of (9), (2).
In [3] there has been constructed and algorithm to calculate the exact expression of the Green’s function related to any nth order differential equation, with constant coefficients coupled to arbitrary two-point linear boundary conditions. Such algorithm has been developed in a Mathematica package that is available in [4]. So, using this package, we obtain
where
It is immediate to verify that
Thus,
Denoting \(A = \int _{0} ^{1} u (s) \,ds \), we deduce from the previous expression that
As a consequence, it follows that
Substituting this value in (11) we obtain the following expression:
The uniqueness of the Green’s function is deduced from the uniqueness of functions v and w.
The expressions of the Green’s function for \(m=k \pi \), with \(k \in {\mathbb{N}}\) odd, follow by taking the limit of the expressions of \(G_{m}^{1}\) and \(G_{m}^{2}\) when m goes to kπ. By direct calculations, it is immediate to verify that such function satisfies the properties of the Green’s function of problem (9), (2) with \(m=k \pi \), \(k \in {\mathbb{N}}\) odd. □
In the same way as in the case \(\gamma = 0 \), we will now state different results about the properties of the Green’s function that we have just obtained. As before, we will try to give conditions that allow us to ensure that the Green’s function attains a constant sign. To this end, we will use the following property, which is a direct consequence of the Sturm comparison theorem
Remark 7
Since \(w (t) = \sin (\pi t) \), is a nontrivial solution of
and it vanishes in \(\mathbb{Z} \), from the classical Sturm comparison result, we see that for \(\gamma <\pi ^{2} \) any nontrivial solution of the problem
vanishes at most once in the interval [0,1]. Therefore, the distance between two zeros of any nontrivial solution must be greater than 1.
Lemma 8
Let \(G_{m} \) be the Green’s function related to problem (9), (2), given by Eq. (10). Then, for all \(\lambda \neq \frac{m \sin m}{1- \cos m} \), \(m>0\), \(m \neq 2 k \pi \), \(k=1, 2, \ldots \) , the following properties hold:
-
1.
\(G_{m} (0, s) = G_{m} (t, 1) = G_{m} (t, 0)=0\), for all \(t, s \in [0,1] \).
-
2.
\(G_{m} (t, s) \) is continuous at \((t, s) \in [0,1] \times [0,1] \).
-
3.
If \(m \in (0,2 \pi )\), then \(G_{m}(1, s) = 0 \) for all \(s \in (0,1) \) if and only if \(\lambda = 0 \).
-
4.
If \(m \in (0,2 \pi )\), then \((m \sin m- \lambda (1- \cos m)) G_{m} (1, s)> 0 \) for all \(s \in (0,1)\) and \(\lambda >0 \).
-
5.
\(G_{m} (t, s)> 0 \) for all \(t, s \in (0,1 )\) if and only if \(0 \le \lambda <\frac{m \sin m}{1- \cos m}\), \(m \in (0, \pi ]\).
-
6.
\(G_{m} (t, s) \) changes sign on \((0,1 ) \times (0,1)\) for all \(\lambda \notin [0,\frac{m \sin m}{1- \cos m} )\), \(m \in (0, \pi ]\).
Proof
Properties 1. and 2. are immediate. Let us now consider the others:
-
3.
Let \(s \in (0,1) \), then \(G_{m} (1, s) = 0\) if and only if
$$ \frac{\lambda (\sin (ms) + \sin (m-ms) - \sin m)}{m (m \sin m- \lambda (1- \cos m))} = 0 $$which is equivalent to
$$ \lambda \bigl(\sin (ms) + \sin (m-ms) - \sin m\bigr) =: \lambda r_{m}(s)= 0. $$It is easy to check that if \(m \in (0,2 \pi )\) then function \(r_{m}\) has a unique maximum at \(s = \frac{1}{2} \) and, since \(r_{m} (0) = 0 = r_{m} (1) \), we deduce that \(r_{m} (s)> 0 \) for \(s \in (0,1) \). Therefore \(G_{m} (1, s) = 0 \) if and only if \(\lambda = 0 \).
-
4.
From the previous assertion, we have
$$ \bigl(m \sin m- \lambda (1- \cos m)\bigr) G_{m} (1, s) = \frac{\lambda }{m} r_{m}(s)> 0, $$for all \(s \in (0,1)\), \(m \in (0,2 \pi )\) and \(\lambda >0\).
-
5.
Assume now that \(0 \le \lambda <\frac{m \sin m}{1- \cos m}\), \(m \in (0, \pi ]\). Using Properties 1. and 4., we know that, for each \(s \in (0,1) \), \(G_{m} (0, s) = 0 \) and \(G_{m} (1, s)\ge 0 \). In addition,
$$ \begin{aligned} \frac{\partial G_{m}}{\partial t} (0, s) = & \frac{\sin (m(1-s)) }{\sin m } + \frac{\lambda r_{m}(s)}{\sin m ( m \sin m + \lambda (1- \cos m))}> 0. \end{aligned} $$Therefore, \(G_{m} (t, s) \) is increasing and positive to the right of \(t = 0 \) for every \(s \in (0,1) \).
On the other hand,
$$ \frac{\partial ^{2} G_{m}}{\partial t ^{2}} (t, s) + m ^{2}G_{m} (t, s) = 0,\quad t \in [0,1], t \neq s. $$(12)Since \(G_{m} (\cdot , s) \in \mathcal{C} ^{2} ( [0 , s ) \cup (s, 1 ]) \), we can use Remark 7 on each interval of the form \([0,s_{0}]\subset [0,s)\) and \([s_{1},1] \subset (s,1]\) (notice that we cannot apply such a remark to the whole interval \([0,1]\), because \(G_{m}(\cdot ,s) \notin \mathcal{C} ^{2}([0,1])\)).
Suppose that there exists \(t_{0} \in (0,1) \) such that \(G_{m} (t_{0}, s) = 0 \). We distinguish the following cases:
-
•
If \(t_{0} \in [0, s ) \), since \(G_{m} (0, s) = 0 \) and \(G_{m} (\cdot , s) \in \mathcal{C} ^{2} ([0,t_{0}])\), we would have two zeros that distances less than 1, which is not possible.
-
•
Now suppose \(t_{0} = s \). In this case, since \(\frac{\partial ^{2}}{\partial t^{2}} G_{m}(t,s)|_{t=s^{-}}\) exists and is finite, we can extend \(G_{m} (\cdot , s) \) as a \(\mathcal{C} ^{2} \) function on the interval \([0, s] \), which brings us back to the previous case.
-
•
If \(t_{0} \in (s, 1) \), considering the \(\mathcal{C} ^{2} \) extension to interval \([s,1]\), since \(G_{m} (s, s)> 0 \) and \(G_{m}(1,s)\ge 0\), can occur three situations:
-
(a)
If \(\frac{\partial G_{m}}{\partial t} (t_{0}, s) <0 \), then there exists \(t_{1} \in ( t_{0},1] \) such that \(G_{m} (t_{1}, s) = 0 \), which is not possible as a consequence of Remark 7 applied on \([s,1]\).
-
(b)
If \(\frac{\partial G_{m}}{\partial t} (t_{0}, s) = 0 \), since \(G_{m}(\cdot ,s)\) is a solution of (12) on \([s,1]\), we deduce that \(G_{m} (t, s) \equiv 0 \) in \([s, 1 ] \), which contradicts the fact that \(G_{m}(s,s)>0\).
-
(c)
If \(\frac{\partial G_{m}}{\partial t} (t_{0}, s)> 0 \), then there exists \(t_{1} \in (s, t_{0}) \) such that \(G (t_{1}, s) = 0 \), reaching a contradiction again.
From the equality
$$ \bigl(m \sin m- \lambda (1- \cos m)\bigr) G_{m} (1, s) = \frac{\lambda }{m} r_{m}(s), $$we deduce immediately that \(G_{m} (1, s)\) takes positive and negative values for all \(m >2 \pi \), \(m \neq 2 k \pi \), \(k=1,2, \ldots \) , and all \(\lambda \in {\mathbb{R}}\), \(\lambda \neq 0\). Moreover, from the expression of \(G_{m}(1,s)\) we deduce that if either, \(\lambda <0\) and \(m \in (0,2 \pi )\), or \(\lambda >\frac{m \sin m}{1- \cos m}\) and \(m \in (0, \pi ]\), or \(\lambda >0\) and \(m \in (\pi ,2 \pi )\), then \(G_{m}(1,s)<0\).
-
(a)
-
6.
Using the previous assertion, we only need to verify that if \(\lambda \notin [0,\frac{m \sin m}{1- \cos m} )\), \(m \in (0, \pi ]\), then \(G_{m}(t,s)\) takes some positive values on \((0,1) \times (0,1)\). But to verify this property it is enough to consider function
$$ f_{m}(t):= G_{m}(t,t). $$By direct computation, we have \(f'_{m}(0)=1\) for all \(\lambda \in {\mathbb{R}}\) and \(m >0\), \(m \neq 2 k \pi \), \(k=1,2, \ldots \) . In consequence, \(G_{m}(t,t) >0\) in a small enough neighborhood of \((0,0)\).
-
•
□
Now we deduce the following stronger condition on the Green’s function.
Lemma 9
Let \(0< m<\pi \), \(0\le \lambda <\frac{m\sin m}{1-\cos m}\) and \(G_{m}(t,s)\) be the Green’s function of problem (9), (2) given by Eq. (10). Then there are \(h_{1}\in \mathcal{C}([0,1])\), \(h_{1}>0\) on \((0,1 ]\) and \(C_{1}\in \mathbb{R}\), \(C_{1}>0\) such that
Proof
If \(t = 0\), \(s = 0 \) or \(s = 1 \) the result follows from Lemma 8. Let then \(0 < t \leq 1 \) be arbitrarily set. Since
and taking into account the Properties 4. and 5. of Lemma 8, then, for any \(s \in (0,1)\) fixed, we can extend function \(\frac{G_{m} (\cdot , s)}{G_{m} (1, s)} \) continuously to the interval \([0,1] \) and, furthermore, this extension is strictly positive for all \(t \in (0,1 ] \).
As a consequence,
and
from which the result follows. □
2.3 Case \(\gamma <0 \)
Next, we will give the expression of the Green’s function of the problem
coupled to the boundary conditions (2).
In this section we will omit most of the proofs because they are analogous to those presented in previous cases.
First, we will state a lemma that will be useful for the calculation of this function.
Lemma 10
([2, Appendix B])
Let us consider the problem
The Green’s function associated with problem \((P) \) is given by the following expression:
Theorem 11
Let \(\lambda \neq \frac{m \sinh m}{\cosh m-1} \) and \(\sigma \in \mathcal{C} ([0,1]) \), then problem (14), (2) has a unique solution \(u \in \mathcal{C} ^{2} ([0,1]) \), which is given by the expression
where
with
and
Proof
In a similar way to Theorem 6 and using Lemma 10, we construct the Green’s function taking into account that we can express the solution as
where \(w (t) = \frac{\sinh mt}{\sinh m} \) is the unique solution of the following problem:
□
We will now enunciate some properties of \(G_{m} \). The proofs are analogous to those that have been presented in the two previous cases.
Lemma 12
Let \(G_{m} \) be the Green’s function associated with problem (14), (2), given by Eq, (16). Then, for all \(\lambda \neq \frac{m \sinh m}{\cosh m-1} \), \(m>0\), the following properties hold:
-
1.
\(G_{m} (0, s) = G_{m} (t, 1) = G_{m} (t, 0) = 0 \), for all \(t, s \in [0,1] \).
-
2.
\(G_{m} (t, s) \) is continuous on \([0,1] \times [0,1] \).
-
3.
\(G_{m} (1, s) = 0 \), for all \(s \in (0,1) \) if and only if \(\lambda = 0 \).
-
4.
\((m \sinh m + \lambda (1- \cosh m)) G_{m} (1, s)> 0 \) for all \(s \in (0,1) \) and \(m>0\).
-
5.
\(G_{m} (t, s)> 0 \) for all \(t, s \in (0,1 )\) if and only if \(0 \le \lambda <\frac{m \sinh m}{\cosh {m}-1}\), \(m>0\).
-
6.
\(G_{m} (t, s) \) changes sign on \((0,1 ) \times (0,1)\) for all \(\lambda \notin [0,\frac{m \sinh m}{ \cosh m-1} )\), \(m >0\).
Lemma 13
Let \(m> 0 \), \(0 \le \lambda <\frac{m \sinh m}{\cosh m-1} \) and \(G_{m} (t, s) \) be the Green’s function of problem (14), (2) given by Eq. (16). Then there exist \(h_{2} \in \mathcal{C} ([0,1])\), \(h_{2}> 0 \) in \((0,1 ] \) and \(C_{2}> 0 \) such that
3 Nonlinear problem
This section is devoted to proving the existence of positive solutions on \((0,1)\) of problem (1)–(2). We will assume the following regularity condition for the nonlinear part of the equation:
As in the previous section, we will distinguish three different cases depending on the sign of the parameter γ. The results hold from the application of the Krasnosel’skiĭ fixed point Theorem 2 to the operator \(T_{\gamma }:\mathcal{C}([0,1])\to \mathcal{C}([0,1])\) defined as
Here, \(G_{\gamma }\) corresponds to the function G, given by (4), if \(\gamma =0\), \(G_{m}\) given by (10) if \(\gamma =m^{2}>0\), and \(G_{m}\) given by (16) if \(\gamma =-m^{2}<0\).
As we have proved in previous section, we know that the fixed points of operator \(T_{\gamma }\) coincide with the solutions of problem (1)–(2).
To apply Theorem 2, we define \(X = (\mathcal{C}( [0,1]), \| \cdot \|) \), the Banach space endowed with the supremum norm.
Now, we denote
and
In the sequel, we introduce the cone \(K_{\gamma }\subset X\), depending on the sign of the real parameter γ.
If \(\gamma =0\):
If \(\gamma >0\):
If \(\gamma <0\):
Here \(h_{1}\) and \(C_{1}\) are given in Lemma 9, and \(h_{2}\) and \(C_{2}\) are given in Lemma 13.
So, we arrive at the following existence result.
Theorem 14
Let us consider problem (1)–(2), and let \(\Delta : (- \infty , \pi ^{2}) \to \mathbb{R} \) be the function defined as (see Fig. 1):
Suppose further that \((f) \) holds and one of the two following conditions is fulfilled:
-
(i)
(sublinear case) \(f_{0} = \infty \) and \(f ^{\infty }= 0 \).
-
(ii)
(superlinear case) \(f ^{0} = 0 \) and \(f_{\infty }= \infty \).
So, for all \(\gamma <\pi ^{2}\) and \(0 <\lambda <\Delta (\gamma ) \) there is a positive solution of problem (1)–(2), \(u\in K_{\gamma }\).
Proof
Consider, to start with, the case \(\gamma =m^{2}>0\).
Let us first see that \(T: K_{\gamma }\to K_{\gamma }\) is a compact operator.
Since \(G_{m} \) and f are continuous and nonnegative in their domain of definition, we have \(T_{\gamma }u \in \mathcal{C} ([0,1]) \) and \(T_{\gamma }u (t) \geq 0 \), for all \(t \in [0,1] \).
Let \(u \in K_{\gamma }\), using the properties stated in Lemmas 8 and 9, we have, for all \(t \in [0,1] \),
Furthermore, the continuity of the functions \(G_{m} \) and f guarantees the continuity of the operator \(T: K_{\gamma }\to K_{\gamma }\). So \(T (K_{\gamma }) \subset K_{\gamma }\).
Let us now verify that the image by \(T_{\gamma }\) of a bounded set is relatively compact. To this end, we will use the Arzelà–Ascoli theorem.
Let \(\Omega \subset K_{\gamma }\) bounded, that is, there exists \(M \in \mathbb{R}\), \(M> 0 \) such that \(\| u \| \leq M \), for all \(u \in \Omega \). Let us define
Then, for all \(u \in \Omega \) and \(t \in [0,1] \), we have
As a consequence,
so \(T _{\gamma }(\Omega ) \) is bounded.
On the other hand, for each \(u \in \Omega \) and \(t \in [0,1] \) we have
The regularity of the Green’s function allows us to ensure that \(N ' \in {\mathbb{R}}\), \(N'>0\). Thus, for all \(t_{1}, t_{2} \in [0,1]\), \(t_{1} < t_{2} \), the following inequality is fulfilled:
so \(T _{\gamma }(\Omega ) \) is an equicontinuous set in X.
Thus, by virtue of the Arzelà–Ascoli theorem, we deduce that the set \(\overline{T _{\gamma }(\Omega )} \) is relatively compact, i.e., \(T: K_{\gamma }\to K_{\gamma }\) is a compact operator.
Suppose that the first situation holds:
-
(i)
(sublinear case) \(f_{0} = \infty \) and \(f ^{\infty }= 0 \).
Since \(f_{0} = \infty \), there exists a constant \(\rho _{1} \) such that \(f (t, u) \geq \delta _{1} u \), for all \(t \in [1/2,1]\) and \(0 \leq u \leq \rho _{1} \), where \(\delta _{1} \) is such that
Let \(u \in K_{\gamma }\) with \(\| u \| = \rho _{1} \), then from the previous expression we deduce
On the other hand, the continuity of f in the second variable allows us to define the function
which is monotone nondecreasing on \([0, \infty ) \) for every \(t \in [0,1] \). Now, since \(f ^{\infty }= 0 \), it follows (see [11]) that
Let us now take \(\delta _{2}> 0 \) such that
From (23), we know that there exists \(\rho _{2} \in \mathbb{R}\), \(\rho _{2}> \rho _{1}> 0 \) such that \(\widetilde{f} (t, u) \leq \delta _{2}u \), for all \(t \in [0,1]\) and \(u \geq \rho _{2} \).
Let \(u \in K_{\gamma }\) be such that \(\| u \| = \rho _{2} \), then using the definition of f̃ and the above inequality we have
Finally, the first part of Theorem 2 implies that there is at least one positive solution of problem (1)–(2), with \(\gamma =m^{2}>0\), \(u \in K_{\gamma }\), such that \(\rho _{1} \leq \| u \| \leq \rho _{2} \).
Let us now consider the second case:
-
(ii)
(superlinear case) \(f ^{0} = 0 \) and \(f_{\infty }= \infty \).
Let \(\delta _{2} \in (0,1 ] \), chosen in the same way as in the previous case. Since \(f ^{0} = 0 \), there exists a constant \(r_{1}> 0 \) such that \(f ( t, u) \leq \delta _{2}u \) for all \(t \in [0,1]\) and \(0 \leq u \leq \delta _{2} \).
Let us choose \(u \in K_{\gamma }\) be such that \(\| u \| = r_{1} \), then
Let us take \(\delta _{3}> 0 \) so that
Since \(f_{\infty }= \infty \), there exists \(r_{2}> r_{1}> 0 \) with \(C_{1}r_{2}> \underline{M} r_{1} \) (where \(\underline{M} = \min_{t \in [\frac{1 }{2}, 1]} h_{1} (s) \)), so that \(f (t, u) \geq \delta _{3} u \) for all \(t \in [1/2,1]\) and \(u \geq r_{2} \). Let \(u \in K_{\gamma }\) be such that \(\| u \| = r_{2} \frac{C_{1}}{\underline{M}} \), then, by the definition of \(K_{\gamma } \), \(u (t) \geq r_{2} \) for all \(t \in [1/2, 1 ] \) is satisfied.
From this, we deduce the following inequalities:
Finally, applying part 2 of Theorem 2, we conclude that problem (1)–(2), with \(\gamma =m^{2}>0\), has at least one positive solution \(u \in K_{\gamma }\) such that
The cases \(\gamma =0\) and \(\gamma =-m^{2}<0\) can be proved in a similar way. □
Remark 15
It should be noted that, since \(G (0, s) = 0 \), in order to ensure the existence of \(r_{2} \) in the case \((ii) \) of Theorem 14, we have reduced the interval considered in the definition of the limits \(f_{0} \) and \(f_{\infty }\) from \([0,1] \) to \([1/2, 1 ] \).
In fact, it is enough to take \(a, b \in \mathbb{R} \) such that \(0 < a < b \le 1 \) and redefine the limits as
In this case, it is easy to check that Theorem 14 remains true for solutions defined in cone \(K_{\gamma }\), given by expressions (19), (20) and (21), by replacing on their definitions \([1/2,1]\) by \([a,b]\).
Remark 16
Let us now consider problem (1) coupled to the boundary conditions
It is easy to check that \(v (t) :=u (1-t)\), \(t \in [0,1]\), also satisfies (1) together with
So, if we denote
and, if \(\gamma =0\):
If \(\gamma >0\):
If \(\gamma <0\):
Thus, the following result is then obtained.
Corollary 17
Consider problem (1), (24) and let \(\Delta : (- \infty , \pi ^{2}) \to \mathbb{R} \) be the function defined in (22). Suppose further that \((f) \) holds and one of the following conditions is satisfied:
-
(i)
(sublinear case) \(f'_{0} = \infty \) and \(f ^{\infty }= 0 \).
-
(ii)
(superlinear case) \(f ^{0} = 0 \) and \(f'_{\infty }= \infty \).
So, for all \(\gamma <\pi ^{2}\) and \(0 <\lambda <\Delta (\gamma ) \) there is a positive solution of problem (1), (24), \(u\in K'_{\gamma }\).
Moreover, analogous considerations to Remark 15 remain valid for problem (1), (24).
3.1 Examples
Example 18
It is easy to verify that, for \(u> 0 \),
Taking limits, it is easy to check that \(f_{0} = \infty \) and \(f ^{\infty }= 0 \), i.e., we are in the sublinear case. Since f fulfills \((f) \), we have the hypotheses of the case (i) Theorem 14, so we can ensure the existence of a positive solution for problem (1)–(2).
Example 19
Consider again the problem (1)–(2) with
In this case, we have for all \(u> 0 \)
Again, taking limits we see that \(f ^{0} = 0 \) and \(f_{\infty }= \infty \), that is, we have the superlinear case. As f verifies \((f) \), the second part of Theorem 14 guarantees the existence of a positive solution of problem (1)–(2).
Availability of data and materials
Not Applicable.
References
Ahmad, B., Hamdan, S., Alsaedi, A., Ntouyas, S.K.: On a nonlinear mixed-order coupled fractional differential system with new integral boundary conditions. AIMS Math. 6(6), 5801–5816 (2021)
Cabada, A.: Green’s Functions in the Theory of Ordinary Differential Equations. Springer Briefs Math. Springer, New York (2014)
Cabada, A., Cid, J.Á., Máquez-Villamarín, B.: Computation of Green’s functions for boundary value problems with mathematica. Appl. Math. Comput. 219(4), 1919–1936 (2012)
Cabada, A., Cid, J.Á., Máquez-Villamarín, B.: Green’s Function Computation. (Mathematica Package), 2014. https://library.wolfram.com/infocenter/MathSource/8825/
Cabada, A., Hamdi, Z.: Nonlinear fractional differential equations with integral boundary value conditions. Appl. Math. Comput. 228, 251–257 (2014)
Cabada, A., Jebari, R.: Existence results for a clamped beam equation with integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2020, Article ID 70 (2020)
Chandran, K., Gopalan, K., Tasneem, Z.S., Abdeljawad, T.: A fixed point approach to the solution of singular fractional differential equations with integral boundary conditions. Adv. Differ. Equ. 2021, Article ID 56 (2021)
Duraisamy, P., Nandha, G.T., Subramanian, M.: Analysis of fractional integro-differential equations with nonlocal Erdélyi-Kober type integral boundary conditions. Fract. Calc. Appl. Anal. 23(5), 1401–1415 (2020)
Hu, Q.-Q., Yan, B.: Existence of multiple solutions for second-order problem with Stieltjes integral boundary condition. J. Funct. Spaces 2021, Article ID 6632236 (2021)
Krasnosel’skiĭ, M.A.: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
Wang, H.: On the number of positive solutions of nonlinear systems. J. Math. Anal. Appl. 281(1), 287–306 (2003)
Zhang, Y., Abdella, K., Feng, W.: Positive solutions for second-order differential equations with singularities and separated integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2020, Article ID 75 (2020)
Acknowledgements
The authors thank the reviewers of the manuscript for their comments and suggestions, which have contributed to improving the work.
Funding
Alberto Cabada was partially supported by Xunta de Galicia (Spain), project EM2014/032 and AIE, Spain and FEDER, grant MTM2016-75140-P.
Author information
Authors and Affiliations
Contributions
The two authors have contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Cabada, A., Iglesias, J. Nonlinear differential equations with perturbed Dirichlet integral boundary conditions. Bound Value Probl 2021, 66 (2021). https://doi.org/10.1186/s13661-021-01542-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-021-01542-5