Abstract
In this paper, we discuss the positive solutions of beam equations with the nonlinearities including the slope and bending moment under nonlocal boundary conditions involving Stieltjes integrals. We pose some inequality conditions on nonlinearities and the spectral radius conditions on associated linear operators. These conditions mean that the nonlinearities have superlinear or sublinear growth. The existence of positive solutions is obtained by fixed point index on cones in \(C^{2}[0,1]\), and some examples are given for beam equations subject to mixed integral and multi-point boundary conditions with sign-changing coefficients.
Similar content being viewed by others
1 Introduction and preliminaries
In this paper, we discuss the existence of positive solutions to fourth-order boundary value problems (BVPs):
and
where \(\beta _{i}[u]\), \(\alpha _{i}[u]\) (\(i=1,2,3,4\)) are given by
involving Stieltjes integrals with \(B_{i}\), \(A_{i}\) of bounded variation. They model the deflection of beam equations with the nonlinearities including the slope \(u'\) and bending moment \(u''\). The boundary conditions of Stieltjes integrals imply that the mechanism at the end points depends on the feedback along parts of the beam to control the displacement.
By monotone iteration method, the cantilever beam equation containing the slope term
was considered by Alves et al. [1] and Yao [18] separately under the boundary conditions
where g is a continuous function, and
Respectively based on fixed point index method and global bifurcation technique, Li [10] and Ma [12] were devoted to the beam equations involving the bending moment with the hinged ends
Li [11] was concerned with the cantilever beam equation
where \(f: [0,1]\times \mathbb{R}_{+}^{3}\times \mathbb{R}_{-}\to \mathbb{R}_{+}\) is continuous. The existence of positive solutions is obtained if the superlinear or sublinear growth conditions are satisfied for the nonlinearity. However, the boundary conditions in [1, 10–12, 18] are all local. Webb et al. [17] considered the existence of positive solutions for the beam equation
respectively subject to nonlocal boundary conditions such as
and
In these conditions \(\alpha [u]=\int _{0}^{1}u(s)\,dA(s)\) is given by Stieltjes integral. Infante and Pietramala [6] studied the existence of positive solutions for cantilever beam equation
where \(k_{0}\) is a nonnegative constant, \(\alpha [u]\) is Stieltjes integral, and B is a nonnegative continuous function. The nonlinearity f in [6, 17] is not affected by the slope and bending moment, and the authors used the method of fixed point index on cone. We also refer to some other articles, for instance, [2, 5, 7, 9, 14, 19].
Recently, the authors in [13] investigated the existence of positive solutions to the following problems:
and
where \(\beta _{i}[u]\), \(\alpha _{i}[u]\) (\(i=1,2,3\)) are linear functionals involving Stieltjes integrals of signed measures, and the nonlinearities f, g satisfy the Nagumo condition, which restricts f and g on \(u'''\) to quadric growth for the superlinear case, as in Li [11].
If the nonlinearities in (1.3) and (1.4) are independent of \(u'''\), the restriction of quadric growth can certainly be rid of. However, the boundary conditions in (1.1) and (1.2) are different from those in (1.3) and (1.4). Especially the third derivatives with respect to t of their Green’s functions corresponding to (1.1) and (1.2) may be sign-changing while they are not corresponding to (1.3) and (1.4), which plays an important part when estimating the norms in [13]. When BVPs are converted to integral equations, a general method due to Webb and Infante [16] is applied to use the theory of fixed point index on cones in \(C^{2}[0,1]\). Some examples are given for beam equations subject to mixed integral and multi-point boundary conditions with sign-changing coefficients. We also cite [15] in which a different approach is applied to the existence of positive solutions for the problem
where \(f: [0,1]\times \mathbb{R}_{+}\times \mathbb{R}\times \mathbb{R}_{-} \to \mathbb{R}_{+}\) is continuous, \(h\in L^{1}(0,1)\), and \(\beta _{i}[u]\) is Stieltjes integral (\(i=1,2,3\)).
If the nonempty subset P in Banach space X satisfies the following conditions: (i) it is a closed convex set, (ii) \(\lambda x\in P\) for any \(\lambda >0\), \(x\in P\), and (iii) \(\pm x\in P\Leftrightarrow x=0\) (0 stands for the zero element in X), then P is said to be a cone in X. A cone P is called reproducing if \(X=P-P\). It is well known that if P is a solid cone, i.e., the interior point set \(\mathring{P}\neq \emptyset \), P is reproducing. Now we state some properties of fixed point index (see [3, 4]).
Lemma 1.1
LetΩbe a bounded open subset of Banach spaceXwith\(0\in \varOmega \)andPbe a cone in X. If\(S:P\cap \overline{\varOmega }\to P\)is a completely continuous operator and\(\mu Su\neq u\)for\(u\in P\cap \partial \varOmega \)and\(\mu \in [0,1]\), then the fixed point index\(i(S,P\cap \varOmega ,P)=1\).
Lemma 1.2
LetΩbe a bounded open subset of Banach spaceXandPbe a cone in X. If\(S:P\cap \overline{\varOmega }\to P\)is a completely continuous operator and there exists\(v_{0}\in {P\setminus \{0\}}\)such that\(u-Su\neq \nu v_{0}\)for\(u\in P\cap \partial \varOmega \)and\(\nu \geq 0\), then the fixed point index\(i(S,P\cap \varOmega ,P)=0\).
Lemma 1.3
(Krein–Rutman)
LetPbe a reproducing cone in Banach spaceXand\(L:X\to X\)be a completely continuous linear operator with\(L(P)\subset P\). If the spectral radius\(r(L)>0\), then there exists\(\varphi \in {P\setminus \{0\}}\)such that\(L\varphi =r(L)\varphi \).
Lemma 1.4
([8])
LetPbe a cone in Banach spaceXand\(L:X\to X\)be a completely continuous linear operator with\(L(P)\subset P\). If there exist\(v_{0}\in {P\setminus \{0\}}\)and\(\lambda _{0}>0\)such that\(Lv_{0}\ge \lambda _{0}v_{0}\)in the sense of partial ordering induced byP, then there exist\(u_{0}\in {P\setminus \{0\}}\)and\(\lambda _{1}\ge \lambda _{0}\)such that\(Lu_{0}=\lambda _{1}u_{0}\).
Throughout this paper, denote the Banach space that consists of all second-order continuously differentiable functions on \([0,1]\) by \(X=C^{2}[0,1]\) and the norm by \(\Vert {u} \Vert _{C^{2}}=\max \{ \Vert {u} \Vert _{C}, \Vert {u' \Vert _{C}}, \Vert {u'' \Vert _{C}}\}\).
2 Inequalities of Green’s function and positive solutions for (1.1)
For BVP (1.1) we make the assumption:
- \((C_{1})\):
\(f: [0,1]\times \mathbb{R}_{+}^{2}\times \mathbb{R}_{-} \to \mathbb{R}_{+}\) is continuous, here \(\mathbb{R}_{+}=[0,\infty )\) and \(\mathbb{R}_{-}=(-\infty ,0]\).
Similar to Webb and Infante [16], BVP (1.1) can be converted to integral equation in \(C^{2}[0,1]\)
where
\(\langle (I-[B])^{-1}\mathcal{K}(s),\gamma (t)\rangle \) is the inner product in \(\mathbb{R}^{4}\),
\(\kappa _{i}(s)\) is the ith component of \((I-[B])^{-1}\mathcal{K}(s)\),
We put forward the following hypotheses:
- \((C_{2})\):
\(B_{i}\) is of bounded variation and \(\mathcal{K}_{i}(s)\ge 0\), \(\forall s\in [0,1]\) (\(i=1,2,3,4\));
- \((C_{3})\):
The \(4\times 4\) matrix \([B]\) is positive and its \((i,j)\)th entry is \(\beta _{i}[\gamma _{j}]\), i.e., it has nonnegative entries. In addition, its spectrum radius \(r([B])<1\).
Remark
The integral operator S in (2.1) and the corresponding Green’s function \(k_{S}(t,s)\) in (2.2) are obtained completely following the method in Webb and Infante [16, pp. 241–243] though f is independent of the derivatives of u there.
Lemma 2.1
If\((C_{2})\)and\((C_{3})\)hold, then\(\kappa _{i}(s)\ge 0\) (\(i=1,2,3,4\)) and, for\(t, s\in [0,1]\),
where
and
where
Proof
For \(s\in [0,1]\), \(\kappa _{i}(s)\ge 0\) (\(i=1,2,3,4\)) are due to [16, proof of Theorem 2.4] since both \((I-[B])^{-1}\) and \(\mathcal{K}(s)\) are nonnegative.
According to the following two inequalities:
we have, for \(t,s\in [0,1]\),
Moreover, the next two inequalities
imply, for \(t,s\in [0,1]\),
Finally from the two inequalities
it follows that
for \(t,s\in [0,1]\). □
Define the subsets in \(C^{2}[0,1]\) as follows:
Clearly both P and K are cones, and it is easy to check that P is a solid cone. Denote the cone ordering induced by P, \(u\preceq v\) for \(u,v\in X\) if and only if \(v-u\in P\) and equivalently \(v\succeq u\).
Now we define linear operators in \(C^{2}[0,1]\):
where \(a_{i}\), \(b_{i}\), \(c_{i}\) (\(i=1,2\)) are nonnegative constants.
Similar to [16], we have the following Lemma 2.2 by Lemma 2.1.
Lemma 2.2
If\((C_{1})\)–\((C_{3})\)hold, then\(S:P\to K\)and\(L_{i}: C^{2}[0,1]\to C^{2}[0,1]\)are completely continuous operators with\(L_{i}(P)\subset K\) (\(i=1,2,3\)).
Theorem 2.1
Under hypotheses \((C_{1})\) – \((C_{3})\) suppose that
- \((F_{1})\) :
-
there exist constants\(a_{2}, b_{2}, c_{2}\ge 0\)and\(r>0\)such that
$$ f(t,x_{1},x_{2},x_{3})\leq a_{2}x_{1}+b_{2}x_{2}-c_{2}x_{3}$$(2.9)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times [0,r]^{2}\times [-r,0]\); moreover, the spectral radius\(r(L_{2})<1\), where\(L_{2}\)is defined by (2.7),
- \((F_{2})\) :
-
there exist positive constants\(a_{1}\), \(b_{1}\), \(c_{1}\), \(C_{0}\)satisfying
$$ \begin{aligned}[b] &\min \biggl\{ \frac{a_{1}}{6} \int _{0}^{1}c_{0}(s)\varPhi _{0}(s)\,ds, \frac{b_{1}}{2} \int _{0}^{1}c_{1}(s)\varPhi _{1}(s)\,ds, \\ &\quad \frac{c_{1}}{2} \int _{0}^{1}\bigl(\kappa _{3}(s)+\kappa _{4}(s)\bigr)c_{2}(s)\,ds \biggr\} >1\end{aligned} $$(2.10)such that
$$ f(t,x_{1},x_{2},x_{3})\geq a_{1}x_{1}+b_{1}x_{2}-c_{1}x_{3}-C_{0}$$(2.11)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times \mathbb{R}_{+}^{2}\times \mathbb{R}_{-}\).
Then BVP (1.1) has one positive solution in K.
Proof
(i) First we prove that \(\mu Su\ne u\) for \(u\in K\cap \partial \varOmega _{r}\) and \(\mu \in [0,1]\), where \(\varOmega _{r}=\{u\in C^{2}[0,1]: \Vert {u} \Vert _{C^{2}}< r\}\).
In fact, if there exist \(u_{1}\in K\cap \partial \varOmega _{r}\) and \(\mu _{0}\in [0,1]\) such that \(u_{1}=\mu _{0}Su_{1}\), then we deduce from
and (2.9) that, for \(t\in [0,1]\),
thus \((I-L_{2})u_{1}\preceq 0\). Because of the spectral radius \(r(L_{2})<1\), we know that \(I-L_{2}\) has a bounded inverse operator \((I-L_{2})^{-1}: P\to P\) and \(u_{1}\preceq (I-L_{2})^{-1}0=0\), which contradicts \(u_{1}\in K\cap \partial \varOmega _{r}\).
Therefore, \(i(S,K\cap \varOmega _{r},K)=1\) follows from Lemma 1.1.
(ii) In this step we construct a homotopy and find a subset \(\varOmega _{R}\) in order to compute the fixed point index later.
Let M be
Obviously, \(M>0\) if we notice that
since \(\frac{c_{1}}{2}\int _{0}^{1}(\kappa _{3}(s)+\kappa _{4}(s))c_{2}(s)\,ds>1\) by (2.10).
For \(u\in K\), define the homotopy \(H(\lambda ,u)=Su+\lambda v\), where
then \(v\in K\) and \(H: [0,1]\times K\to K\) is completely continuous.
Let \(R>\max \{r, M\}\) and we will show that
where \(\varOmega _{R}=\{u\in C^{2}[0,1]: \Vert {u} \Vert _{C^{2}}< R\}\).
If it does not hold, there exist \(u_{2}\in K\cap \partial \varOmega _{R}\) and \(\lambda _{0}\in [0,1]\) such that
thus (2.11) and Lemma 2.1 yield that
Since \(u_{2}^{(4)}(t)=f(t,u_{2}(t),u_{2}'(t),u''_{2}(t))+\lambda _{0}C_{0} \ge 0\) for \(t\in [0,1]\), we know that if \(0\le u'''(0)\le u'''(1)\), then
if \(u'''(0)\le u'''(1)\le 0\), then
if \(u'''(0)\le 0\le u'''(1)\), then there exists \(\xi \in [0,1]\) such that
Therefore the proof of Lemma 2.1 leads to
which implies by (2.12), (2.15), and (2.16) that
a contradiction to \(\Vert u_{2} \Vert _{C^{2}}=R>M\).
From (2.13) it follows that
by the homotopy invariance property of fixed point index.
(iii) Now we search for an appropriate element in K for the sake of the next step. For the function \(c_{0}(t)=\frac{1}{6}t(t^{2}-3t+3)\), we have from (2.8) and Lemma 2.1 that
From (2.10) it follows that \(a_{1}\int _{0}^{1}c_{0}(s)\varPhi _{0}(s)\,ds>6\). Since \(L_{3}\) is a completely continuous linear operator in \(C[0,1]\), we consider the nonnegative cone \(C^{+}[0,1]=\{u\in C[0,1]: u(t)\ge 0, \forall t\in [0,1]\}\) in Lemma 1.4. There exist \(\lambda _{1}>6\) and \(\varphi _{0}\in C^{+}[0,1]\backslash \{0\}\) such that \(\varphi _{0}=\lambda _{1}^{-1}L_{3}\varphi _{0}\). Obviously \(\varphi _{0}\in P\) can be directly verified, and thus \(\varphi _{0}\in K\) by Lemma 2.2.
(iv) Now we prove that \(u-H(1,u)\neq \nu \varphi _{0}\) for \(u\in K\cap \partial \varOmega _{R}\) and \(\nu \ge 0\), where \(\varphi _{0}\) is as in step (iii), and hence
holds by Lemma 1.2.
If there exist \(u_{0}\in K\cap \partial \varOmega _{R}\) and \(\nu _{0}\geq 0\) such that \(u_{0}-H(1,u_{0})=\nu _{0}\varphi _{0}\). Clearly \(\nu _{0}>0\) by (2.13), and thus
for \(t\in [0,1]\). Set
then \(\nu _{0}\le \nu ^{*}<+\infty \) and \(u_{0}(t)\geq \nu ^{*}\varphi _{0}(t)\) for \(t\in [0,1]\). From (2.11) we have that, for \(t\in [0,1]\),
Since \(\lambda _{1}>6\), we have \(\lambda _{1}\nu ^{*}+\nu _{0}>\nu ^{*}\), which contradicts the definition of \(\nu ^{*}\).
(vi) From (2.17) and (2.18) it follows that \(i(S,K\cap \varOmega _{R},K)=0\) and
Hence S has one fixed solution, i.e., BVP (1.1) has one positive solution in K. □
Theorem 2.2
Under hypotheses \((C_{1})\) – \((C_{3})\) suppose that
- \((F_{3})\) :
-
there exist constants\(a_{1}, b_{1}, c_{1}, C_{0}\ge 0\)such that
$$ f(t,x_{1},x_{2},x_{3})\leq a_{1}x_{1}+b_{1}x_{2}-c_{1}x_{3}+C_{0}$$(2.19)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times \mathbb{R}_{+}^{2}\times \mathbb{R}_{-}\), moreover the spectral radius\(r(L_{1})<1\);
- \((F_{4})\) :
-
there exist constants\(a_{2}, b_{2}, c_{2}\ge 0\)and\(r>0\)such that
$$ f(t,x_{1},x_{2},x_{3})\geq a_{2}x_{1}+b_{2}x_{2}-c_{2}x_{3}$$(2.20)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times [0,r]^{2}\times [-r,0]\), moreover the spectral radius\(r(L_{2})\ge 1\); where\(L_{i}: C^{2}[0,1]\to C^{2}[0,1]\) (\(i=1,2\)) are defined by (2.7).
Then BVP (1.1) has one positive solution in K.
Proof
Let \(W=\{u\in K: {\text{there exists a }\mu \in [0,1]\text{ with }} u=\mu Su \}\) where S and K are respectively defined in (2.1) and (2.6).
We first assert that W is a bounded set. In fact, if \(u\in W\), then \(u=\mu Su\) for some \(\mu \in [0,1]\). From (2.7) and (2.19) we have that
and
Obviously \(v\in P\) and it is easy to see from (2.19) that, for \(t\in [0,1]\),
thus \((I-L_{1})u\preceq v\). Because of the spectral radius \(r(L_{1})<1\), we know that \(I-L_{1}\) has a bounded inverse operator \((I-L_{1})^{-1}\), which can be written as
Since \(L_{1}(P)\subset K\subset P\) by Lemma 2.2, we have \((I-L_{1})^{-1}(P)\subset P\), which implies the inequality \(u\preceq (I-L_{1})^{-1}v\). Therefore, for \(t\in [0,1]\),
and hence \(\Vert u \Vert _{C^{2}}\le \Vert (I-L_{1})^{-1}v \Vert _{C^{2}}\), i.e., W is bounded.
Now select \(R>\max \{r,\sup W\}\), then \(\mu Su\neq u\) for \(u\in K\cap \partial \varOmega _{R}\) and \(\mu \in [0,1]\), and \(i(S,K\cap \varOmega _{R}, K)=1\) follows from Lemma 1.1.
Since \(L_{2}: P\to K\subset P\) and \(r(L_{2})\ge 1\), it follows from Lemma 1.3 that there exists \(\varphi _{0}\in P\setminus \{0\}\) such that \(L_{2}\varphi _{0}=r(L_{2})\varphi _{0}\). Furthermore, \(\varphi _{0}=(r(L_{2}))^{-1}L_{2}\varphi _{0}\in K\).
We may suppose that S has no fixed points in \(K\cap \partial \varOmega _{r}\) and will show that \(u-Su\neq \nu \varphi _{0}\) for \(u\in K\cap \partial \varOmega _{r}\) and \(\nu \ge 0\).
Otherwise, there exist \(u_{0}\in K\cap \partial \varOmega _{r}\) and \(\nu _{0}\ge 0\) such that \(u_{0}-Su_{0}=\nu _{0}\varphi _{0}\), and it is clear that \(\nu _{0}>0\). Since \(u_{0}\in K\cap \partial \varOmega _{r}\), we have
It follows from (2.2), (2.7), and (2.20) that \(\forall t\in [0,1]\),
which imply that
Set \(\nu ^{*}=\sup \{\nu >0: u_{0}\succeq \nu \varphi _{0}\}\), then \(\nu _{0}\le \nu ^{*}<+\infty \) and \(u_{0}\succeq \nu ^{*}\varphi _{0}\). Thus it follows from (2.21) that
But \(r(L_{2})\ge 1\), so \(u_{0}\succeq (\nu _{0}+\nu ^{*})\varphi _{0}\), which is a contradiction to the definition of \(\nu ^{*}\). Therefore \(u-Su\neq \nu \varphi _{0}\) for \(u\in K\cap \partial \varOmega _{r}\) and \(\nu \ge 0\).
From Lemma 1.2 it follows that \(i(S,K\cap \varOmega _{r}, K)=0\).
Making use of the properties of fixed point index, we have that
and hence S has one fixed point in K. Therefore, BVP (1.1) has one positive solution in K. □
As an example, we consider the fourth-order boundary problem under mixed multi-point and integral boundary conditions with sign-changing coefficients:
thus \(\beta _{1}[u]=\frac{1}{4}u(\frac{1}{4})-\frac{1}{12}u(\frac{3}{4})\), \(\beta _{2}[u]=\int _{0}^{1}u(t)(t-\frac{1}{8})\,dt\), \(\beta _{3}[u]= \frac{1}{2}u(\frac{1}{2})-\frac{1}{4}u(\frac{3}{4})\), and \(\beta _{4}[u]=\frac{1}{2}u(\frac{1}{4})-\frac{1}{4}u(\frac{1}{2})\). We estimate some coefficients, and Matlab is used in some places.
and hence \(0\le \mathcal{K}_{1}(s)<0.0026\);
and hence \(0\le \mathcal{K}_{2}(s)<0.0223\);
and hence \(0\le \mathcal{K}_{3}(s)<0.0108\);
and hence \(0\le \mathcal{K}_{4}(s)<0.0025\).
The \(4\times 4\) matrix
and its spectrum radius \(r([B])\thickapprox 0.2976<1\). Those mean that \((C_{2})\) and \((C_{3})\) are satisfied.
Now we take stock of some constants in Theorem 2.1 and Theorem 2.2.
and
thus \(k_{S}(t,s)<0.0033+0.0340t+0.0143\times \frac{1}{6}t(t^{2}-3t+3)+0.0035 {\times} {\frac{1}{6}t(3-t^{2})}+k_{0}(t,s)<0.1051\). So, for \(u\in C^{2}[0,1]\) and \(t\in [0,1]\),
here \(L_{i}\) (\(i=1,2\)) are defined in (2.7). Since all the terms are nonnegative in the first derivative of \(k_{S}(t,s)\) with respect to t and they are non-positive in the second derivative of \(k_{S}(t,s)\), we also have that, for \(u\in C^{2}[0,1]\) and \(t\in [0,1]\),
Therefore the radius \(r(L_{i})\le \Vert L_{i} \Vert \le 0.2590(a_{i}+b_{i}+c_{i})<1\) if
On the other hand, we have from Lemma 2.1 and Lemma 2.2 that, for \(u\in K\setminus \{0\}\) and \(t\in [0,1]\),
and
hence
and
By induction,
As a result, it follows that, for \(u\in K\setminus \{0\}\),
and according to Gelfand’s formula, the spectral radius
which implies that \(r(L_{2})\ge 1\) when
Example 2.1
If
then BVP (2.22) has a positive solution.
Proof
Take \(a_{2}=b_{2}=c_{2}=1\), \(r<1\), it is easy to check that (2.9) and (2.23) for \(i=2\) are satisfied. Now take \(a_{1}=1043\), \(b_{1}=69\), \(c_{1}=903\), it is clear that
We also have
and
It follows from Lemma 2.1, (2.25), and (2.26) that
since \(\kappa _{3}(s)\) and \(\kappa _{4}(s)\) are the third and the fourth components in \((I-[B])^{-1}\mathcal{K}(s)\) respectively, so (2.10) is valid. It can be seen that (2.11) is satisfied for \(C_{0}\) large enough. Then BVP (2.22) has a positive solution by Theorem 2.1. □
Example 2.2
If \(f(t,x_{1},x_{2},x_{3})=\sqrt[3]{x_{1}}-\sqrt[3]{x_{3}}\), then BVP (2.22) has a positive solution.
Proof
Take \(a_{1}=1/2\), \(b_{1}=0\), \(c_{1}=1/3\), \(C_{0}=2\) and \(a_{2}=1043\), \(b_{2}=0\), \(c_{2}=1\), \({r=1/33685}\). Obviously, (2.23) for \(i=1\) and (2.24) are satisfied, meanwhile conditions (2.19) and (2.20) are fulfilled. Then BVP (2.22) has a positive solution by Theorem 2.2. □
3 Inequalities of Green’s function and positive solutions for (1.2)
For BVP (1.2) we make the assumption:
- \((C'_{1})\):
\(g: [0,1]\times \mathbb{R}^{3}_{+}\to \mathbb{R}_{+}\) is continuous.
Similar to Webb and Infante [16], BVP (1.2) can be converted to the integral equation in \(C^{2}[0,1]\):
where
\(\langle (I-[A])^{-1}\widetilde{\mathcal{K}}(s),\delta (t)\rangle \) is the inner product in \(\mathbb{R}^{4}\),
\(\widetilde{\kappa }_{i}(s)\) is the ith component of \((I-[A])^{-1}\widetilde{\mathcal{K}}(s)\),
We put forward the following hypotheses:
- \((C'_{2})\):
\(A_{i}\) is of bounded variation and \(\widetilde{\mathcal{K}}_{i}(s)\ge 0\), \(\forall s\in [0,1]\) (\(i=1,2,3,4\));
- \((C'_{3})\):
The \(4\times 4\) matrix \([A]\) is positive whose \((i,j)\)th entry is \(\alpha _{i}[\delta _{j}]\) and whose spectrum radius \(r([A])<1\).
Lemma 3.1
If\((C'_{2})\)and\((C'_{3})\)hold, then\(\widetilde{\kappa }_{i}(s)\ge 0\) (\(i=1,2,3,4\)) and, for\(t, s\in [0,1]\),
where
and
where
Proof
For \(s\in [0,1]\), \(\widetilde{\kappa }_{i}(s)\ge 0 \) (\(i=1,2,3,4\)) are due to [16, proof of Theorem 2.4] since both \((I-[A])^{-1}\) and \(\widetilde{\mathcal{K}}(s)\) are nonnegative.
According to the following two inequalities:
we have, for \(t,s\in [0,1]\),
Moreover, the next two inequalities
imply, for \(t,s\in [0,1]\),
Finally, from the two inequalities
it follows that
for \(t,s\in [0,1]\). □
Define the subsets in \(C^{2}[0,1]\) as follows:
Clearly both P̃ and K̃ are cones, and it is easy to check that P̃ is a solid cone.
Now we define linear operators in \(C^{2}[0,1]\):
where \(\widetilde{a}_{i}\), \(\widetilde{b}_{i}\), \(\widetilde{c}_{i}\) (\(i=1,2\)) are nonnegative constants.
Similar to [16], we have the following Lemma 3.2 by Lemma 3.1.
Lemma 3.2
If\((C'_{1})\)–\((C'_{3})\)hold, then\(\widetilde{S}:\widetilde{P}\to \widetilde{K}\)and\(\widetilde{L}_{i}: C^{2}[0,1]\to C^{2}[0,1]\)are completely continuous operators with\(\widetilde{L}_{i}(\widetilde{P})\subset \widetilde{K}\) (\(i=1,2,3\)), whereS̃, P̃, K̃are defined separately in (3.1), (3.4), and (3.5).
Theorem 3.1
Under hypotheses \((C'_{1})\) – \((C'_{3})\) suppose that
- \((\widetilde{F}_{1})\) :
-
there exist constants\(\widetilde{a}_{2}, \widetilde{b}_{2}, \widetilde{c}_{2}\ge 0\), and\(\widetilde{r}>0\)such that
$$ g(t,x_{1},x_{2},x_{3})\leq \widetilde{a}_{2}x_{1}+\widetilde{b}_{2}x_{2}+ \widetilde{c}_{2}x_{3}$$(3.7)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times [0,\widetilde{r}]^{3}\), moreover the spectral radius\(r(\widetilde{L}_{2})<1\), where\(\widetilde{L}_{2}\)is defined by (3.6),
- [\((\widetilde{F}_{2})\):
-
there exist positive constants\(\widetilde{a}_{1}\), \(\widetilde{b}_{1}\), \(\widetilde{c}_{1}\), \(\widetilde{C}_{0}\)satisfying
$$ \begin{aligned}[b] &\min \biggl\{ \frac{\widetilde{a}_{1}}{6} \int _{0}^{1} \widetilde{c}_{0}(s) \widetilde{\varPhi }_{0}(s)\,ds, \frac{\widetilde{b}_{1}}{2} \int _{0}^{1}\widetilde{c}_{1}(s) \widetilde{\varPhi }_{1}(s)\,ds, \\ &\quad \frac{\widetilde{c}_{1}}{2} \int _{0}^{1}\bigl( \widetilde{\kappa }_{3}(s)+\widetilde{\kappa }_{4}(s)\bigr)c_{2}(s) \,ds \biggr\} >1\end{aligned} $$(3.8)such that
$$ g(t,x_{1},x_{2},x_{3})\geq \widetilde{a}_{1}x_{1}+\widetilde{b}_{1}x_{2}+ \widetilde{c}_{1}x_{3}-\widetilde{C}_{0}$$(3.9)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times \mathbb{R}_{+}^{3}\).
Then BVP (1.2) has one positive solution inK̃.
Proof
Let
and the rest is similar to the proof of Theorem 2.1 in which \(\widetilde{c}_{0}(t)=\frac{1}{2}t^{3}\) for step (iv). □
Theorem 3.2
Under hypotheses\((C'_{1})\)–\((C'_{3})\), suppose that
- \((\widetilde{F}_{3})\):
there exist constants\(\widetilde{a}_{1}, \widetilde{b}_{1}, \widetilde{c}_{1}, \widetilde{C}_{0}\ge 0\)such that
$$ g(t,x_{1},x_{2},x_{3})\leq \widetilde{a}_{1}x_{1}+\widetilde{b}_{1}x_{2}+ \widetilde{c}_{1}x_{3}+\widetilde{C}_{0}$$(3.10)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times \mathbb{R}_{+}^{3}\), moreover the spectral radius\(r(\widetilde{L}_{1})<1\);
- \((\widetilde{F}_{4})\):
there exist constants\(\widetilde{a}_{2}, \widetilde{b}_{2}, \widetilde{c}_{2}\ge 0\), and\(\widetilde{r}>0\)such that
$$ g(t,x_{1},x_{2},x_{3})\geq \widetilde{a}_{2}x_{1}+\widetilde{b}_{2}x_{2}+ \widetilde{c}_{2}x_{3}$$(3.11)for all\((t,x_{1},x_{2},x_{3})\in [0,1]\times [0,\widetilde{r}]^{3}\), moreover the spectral radius\(r(\widetilde{L}_{2})\ge 1\); where\(\widetilde{L}_{i}: C^{2}[0,1]\to C^{2}[0,1]\) (\(i=1,2\)) are defined by (3.6).
Then BVP (1.2) has one positive solution inK̃.
Proof
Denote the cone ordering induced by P̃, \(u\preceq v\) for \(u,v\in X\) if and only if \(v-u\in \widetilde{P}\) and equivalently \(v\succeq u\). The rest is similar to the proof of Theorem 2.2. □
As an example, we consider fourth-order boundary problem under mixed multi-point and integral boundary conditions with sign-changing coefficients:
thus \(\alpha _{1}[u]=\frac{1}{2}u(\frac{1}{4})-\frac{1}{60}u(\frac{3}{4})\), \(\alpha _{2}[u]=\int _{0}^{1}u(t)(t-\frac{1}{8})\,dt\), \(\alpha _{3}[u]= \frac{1}{2}u(\frac{1}{2})-\frac{1}{16}u(\frac{3}{4})\), and \(\alpha _{4}[u]=\frac{1}{2}u(\frac{1}{4})-\frac{1}{40}u(\frac{1}{2})\). We estimate some coefficients, and Matlab is also used.
and hence \(0\le \widetilde{\mathcal{K}}_{1}(s)<0.0007\);
and hence \(0\le \widetilde{\mathcal{K}}_{2}(s)<0.0129\);
and hence \(0\le \widetilde{\mathcal{K}}_{3}(s)<0.0046\);
and hence \(0\le \widetilde{\mathcal{K}}_{4}(s)<0.0008\).
The \(4\times 4\) matrix
and its spectrum radius \(r([A])\thickapprox 0.6444<1\). Those mean that \((C'_{2})\) and \((C'_{3})\) are satisfied.
Now we take stock of some constants in Theorem 3.1 and Theorem 3.2.
and
thus \(\widetilde{k}_{S}(t,s)<0.0065+0.0226t+0.0126\times \frac{1}{6}t^{2}(3-t)+0.0066 \times \frac{1}{6}t^{3}+\widetilde{k}_{0}(t,s)<0.0987\). So, for \(u\in C^{2}[0,1]\) and \(t\in [0,1]\),
here \(\widetilde{L}_{i}\) (\(i=1,2\)) are defined in (3.6). Since all the terms are nonnegative in the first and second derivatives of \(k_{S}(t,s)\) with respect to t, we also have that, for \(u\in C^{2}[0,1]\) and \(t\in [0,1]\),
Therefore the radius \(r(\widetilde{L}_{i})\le \Vert L_{i} \Vert \le 0.2597(a_{i}+b_{i}+c_{i})<1\) if
On the other hand, we have from Lemma 3.1 and Lemma 3.2 that, for \(u\in \widetilde{K}\setminus \{0\}\) and \(t\in [0,1]\),
and
hence
and
By induction,
As a result, it follows that, for \(u\in \widetilde{K}\setminus \{0\}\),
and according to Gelfand’s formula, the spectral radius
which implies that \(r(\widetilde{L}_{2})\ge 1\) when
Example 3.1
If
then BVP (3.12) has a positive solution.
Proof
Take \(\widetilde{a}_{2}=3/2\), \(\widetilde{b}_{2}=\widetilde{c}_{2}=1\), \(r<1\), it is easy to check that (3.10) and (3.13) for \(i=2\) are satisfied. Now take \(\widetilde{a}_{1}=5040\), \(\widetilde{b}_{1}=160\), \(\widetilde{c}_{1}=990\), it is clear that
We also have
and
It follows from Lemma 3.1, (3.15), and (3.16) that
since \(\widetilde{\kappa }_{3}(s)\) and \(\widetilde{\kappa }_{4}(s)\) are the third and the fourth components in \((I-[A])^{-1}\widetilde{\mathcal{K}}(s)\) respectively, so (3.8) is valid. It can be seen that (3.9) is satisfied for \(\widetilde{C}_{0}\) large enough. Then BVP (3.12) has a positive solution by Theorem 3.1. □
Example 3.2
If \(g(t,x_{1},x_{2},x_{3})=\sqrt{x_{1}}+\sqrt{x_{4}}\), then BVP (3.12) has a positive solution.
Proof
Take \(\widetilde{a}_{1}=\widetilde{c}_{1}=1\), \(\widetilde{b}_{1}=0\), \(\widetilde{C}_{0}=1/2\) and \({\widetilde{a}_{2}=5040}\), \(\widetilde{b}_{2}=0\), \(\widetilde{c}_{2}=1\), \({\widetilde{r}=3.9\times 10^{-8}}\). Obviously, (3.13) for \(i=1\) and (3.14) are satisfied, meanwhile conditions (3.10) and (3.11) are fulfilled. Then BVP (3.12) has a positive solution by Theorem 3.2. □
References
Alves, E., Ma, T.F., Pelicer, M.L.: Monotone positive solutions for a fourth order equation with nonlinear boundary conditions. Nonlinear Anal. 71, 3834–3841 (2009)
Bai, Z.: Positive solutions of some nonlocal fourth-order boundary value problem. Appl. Math. Comput. 215, 4191–4197 (2010)
Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Guo, Y., Yang, F., Liang, Y.: Positive solutions for nonlocal fourth-order boundary value problems with all order derivatives. Bound. Value Probl. (2012). https://doi.org/10.1186/1687-2770-2012-29
Infante, G., Pietramala, P.: A cantilever equation with nonlinear boundary conditions. Electron. J. Qual. Theory Differ. Equ. (2009). https://doi.org/10.14232/ejqtde.2009.4.15
Kaufmann, E.R., Kosmatov, N.: Elastic beam problem with higher order derivatives. Nonlinear Anal., Real World Appl. 8, 811–821 (2007)
Krasnosel’skii, M.A.: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
Li, Y.: Positive solutions of fourth-order boundary value problems with two parameters. J. Math. Anal. Appl. 281, 477–484 (2003)
Li, Y.: On the existence of positive solutions for the bending elastic beam equations. Appl. Math. Comput. 189, 821–827 (2007)
Li, Y.: Existence of positive solutions for the cantilever beam equations with fully nonlinear terms. Nonlinear Anal., Real World Appl. 27, 221–237 (2016)
Ma, R.: Existence of positive solutions of a fourth-order boundary value problem. Appl. Math. Comput. 168, 1219–1231 (2005)
Ma, Y., Yin, C., Zhang, G.: Positive solutions of fourth-order problems with dependence on all derivatives in nonlinearity under Stieltjes integral boundary conditions. Bound. Value Probl. (2019). https://doi.org/10.1186/s13661-019-1155-7
Minhós, F., Gyulov, T., Santos, A.I.: Lower and upper solutions for a fully nonlinear beam equation. Nonlinear Anal. 71, 281–292 (2009)
Wang, S., Chai, J., Zhang, G.: Positive solutions of beam equations under nonlocal boundary value conditions. Adv. Differ. Equ. (2019). https://doi.org/10.1186/s13662-019-2404-x
Webb, J.R.L., Infante, G.: Non-local boundary value problems of arbitrary order. J. Lond. Math. Soc. 79, 238–259 (2009)
Webb, J.R.L., Infante, G., Franco, D.: Positive solutions of nonlinear fourth-order boundary-value problems with local and non-local boundary conditions. Proc. R. Soc. Edinb. 138A, 427–446 (2008)
Yao, Q.: Monotonically iterative method of nonlinear cantilever beam equations. Appl. Math. Comput. 205, 432–437 (2008)
Yao, Q.: Local existence of multiple positive solutions to a singular cantilever beam equation. J. Math. Anal. Appl. 363, 138–154 (2010)
Acknowledgements
The authors express their sincere gratitude to the editors and anonymous referee for the careful reading of the original manuscript and thoughtful comments.
Availability of data and materials
Not applicable.
Funding
The project is supported by the Fundamental Research Funds for the Central Universities (N182410001) and the Training Program of Innovation and Entrepreneurship for Undergraduates of Northeastern University (201084).
Author information
Authors and Affiliations
Contributions
GZ provided the idea of this article, all authors completed the paper, 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
Fan, S., Wen, P. & Zhang, G. Inequalities of Green’s functions and positive solutions to nonlocal boundary value problems. J Inequal Appl 2020, 109 (2020). https://doi.org/10.1186/s13660-020-02374-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-020-02374-0