- Research
- Open access
- Published:
Positive solutions of fourth-order problems with dependence on all derivatives in nonlinearity under Stieltjes integral boundary conditions
Boundary Value Problems volume 2019, Article number: 41 (2019)
Abstract
In this article, we investigate the existence of positive solutions to fourth-order problems with dependence on all derivatives in nonlinearities subject to the Stieltjes integral boundary conditions
and
where \(f: [0,1]\times \mathbb{R}_{+}\times \mathbb{R}_{-}^{3}\to \mathbb{R}_{+}\), \(g: [0,1]\times \mathbb{R}^{3}_{+}\to \mathbb{R}_{+}\) are continuous and \(\beta _{i}[u]\), \(\alpha _{i}[u]\) (\(i=1,2,3\)) are linear functionals involving Stieltjes integrals of signed measures. Some growth conditions are posed on nonlinearities f, g, meanwhile the spectral radii of corresponding linear operators are restricted, which means the superlinear or sublinear conditions. On the cones in \(C^{3}[0,1]\) we apply the theory of fixed point index, the existence of positive solutions is obtained. We also give some examples under mixed multi-point and integral boundary conditions with sign-changing coefficients.
1 Introduction and preliminaries
In the article, we investigate the existence of positive solutions to fourth-order boundary value problems (BVPs) with dependence on all derivatives in nonlinearities under the boundary conditions involving Stieltjes integrals
and
where \(\beta _{i}[u]=\int _{0}^{1}u(t)\,dB_{i}(t)\) and \(\alpha _{i}[u]=\int _{0}^{1}u(t)\,dA_{i}(t)\) are Stieltjes integrals with \(B_{i}\), \(A_{i}\) of bounded variation (\(i=1,2,3\)).
Webb, Infante, and Franco [1] were concerned with the existence of positive solutions for the fourth-order differential equation
subject to several nonlocal boundary conditions such as
and
etc. In these equations \(\alpha [u]\) denotes a linear functional on \(C[0,1]\) given by \(\alpha [u]=\int _{0}^{1}u(s)\,dA(s)\) involving a Stieltjes integral. Infante and Pietramala [2] proved the existence of positive solutions for the cantilever equation
where \(k_{0}\) is a nonnegative constant, B is a nonnegative continuous function, and \(\alpha [u]\) is as the above. Their main ingredient is the classical fixed point index. By making use of the monotonically iterative technique, Yao [3] studied the positive solution for a nonlinear fourth-order two-point boundary value problem
Alves et al. [4] considered, also by using the monotone iteration method, the existence of positive solutions for the beam equation
subject to boundary conditions
where g is a continuous function. Li [5] and Ma [6] discussed the conditions ensuring the existence of positive solutions for the fourth-order boundary value problem
The proofs of main results are respectively based upon fixed point index theory on cones and global bifurcation techniques. Respectively, by Krasnosel’skii’s fixed point theorem and convex functional fixed point theorem, Bai [7] and Guo et al. [8] explored the existence of positive solutions for the nonlocal fourth-order problems
and
with the same boundary conditions
where \(p,q\in L[0,1]\) are nonnegative. Recently in [9], Li obtained the existence of positive solutions for the local fully nonlinear problem
where \(f: [0,1]\times \mathbb{R}_{+}^{3}\times \mathbb{R}_{-}\to \mathbb{R}_{+}\) is continuous and \(f(t,x_{1},x_{2},x_{3},x_{4})\) may have superlinear or sublinear growth in \(x_{1}\), \(x_{2}\), \(x_{3}\), \(x_{4}\). We also refer to some other relevant articles, for example, [10,11,12,13,14].
By fixed point index on cones of completely continuous operators, Webb and Infante [15] put forward a unified method to establish the existence of positive solutions to local and nonlocal boundary problems if f does not depend on derivatives. They dealt with the boundary problems involving Stieltjes integrals with signed measures.
Motivated by the above-mentioned works, we consider BVPs (1.1) and (1.2) in which the nonlinearities depend on all derivatives and the boundary conditions include Stieltjes integrals of signed measures. Some growth conditions are posed on nonlinearities f, g, meanwhile the spectral radii of corresponding linear operators are restricted, which means the superlinear or sublinear conditions. On the cones in \(C^{3}[0,1]\) we apply the theory of fixed point index, the existence of positive solutions to BVPs (1.1) and (1.2) is obtained. For the superlinear case, we require the Nagumo-type condition similar to [9]. In view of the above features, we treated them in a different way from those in the references earlier. It is worth noting that two cones are defined, the large one is reproducing and serves as the partial ordering, the small one is applied to compute fixed point index. Especially in the process of derivation, the partial ordering induced by cone and the natural ordering of functions in function space are combined to use. In order to illustrate the results in this paper, we give some examples under mixed multi-point and integral boundary conditions with sign-changing coefficients.
For the sake of proving the theorems, we state the following lemmas, see [16, 17]. Let X be a Banach space and P be a closed convex set in X, if \(\lambda x\in P\) for any \(\lambda >0\), \(x\in P\), and \(x=0\) (the zero element in X) provided \(\pm x\in P\), then P is said to be a cone in X. AÂ cone P in X is called reproducing if \(X=P-P\).
Lemma 1.1
Let Ω be a bounded open set with \(0\in \varOmega \) in X and P be a cone. If \(A:P\mathrel{\cap} \overline{\varOmega }\to P\) is a completely continuous operator, and \(\mu Au\neq u\) for \(u\in P\cap \partial \varOmega \), \(\mu \in [0,1]\), then the fixed point index \(i(A,P\cap \varOmega ,P)=1\).
Lemma 1.2
Let Ω be a bounded open set in X and P be a cone. If \(A:P\cap \overline{\varOmega }\to P\) is a completely continuous operator, and there exists \(v_{0}\in {P\setminus \{0\}}\) such that \(u-Au\neq \nu v_{0}\) for \(u\in P\cap \partial \varOmega \) and \(\nu \geq 0\), then the fixed point index \(i(A,P\cap \varOmega ,P)=0\).
Lemma 1.3
(Krein–Rutman)
Let P be a reproducing cone in Banach space X and \(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 \).
Throughout this paper, \(X=C^{3}[0,1]\) is the Banach space which consists of all third-order continuously differentiable functions on \([0,1]\), and its norm is \(\|{u}\|_{C^{3}}=\max \{\|{u}\|_{C}, \|{u'\| _{C}}, \|{u''\|_{C}}, \|{u'''\|_{C}}\}\). For \(r>0\), denote the bounded open set \(\varOmega _{r}=\{u\in C^{3}[0,1]: \|{u}\|_{C^{3}}< r\}\).
2 Positive solutions of BVP (1.1)
For BVP (1.1) we make the following assumption:
- \((C_{1})\) :
-
\(f: [0,1]\times \mathbb{R}_{+}\times \mathbb{R}_{-}^{3} \to \mathbb{R}_{+}\) is continuous, here \(\mathbb{R}_{+}=[0,\infty )\) and \(\mathbb{R}_{-}=(-\infty ,0]\).
As shown by Webb and Infante [15], there exists a solution to BVP (1.1) if and only if the integral equation
where \(\gamma _{1}(t)=1-t\), \(\gamma _{2}(t)=\frac{1}{2}(1-t^{2})\), \(\gamma _{3}(t)=1\),
and \(\beta _{i}[u]=\int _{0}^{1}u(t)\,dB_{i}(t)\) (\(i=1,2,3\)), has a solution in \(C^{3}[0,1]\). We set
so that \((Tu)(t)=(Bu)(t)+(Fu)(t)\).
We impose other hypotheses:
- \((C_{2})\) :
-
\(B_{i}\) is of bounded variation, moreover
$$ \mathcal{K}_{i}(s):= \int _{0}^{1}k_{0}(t,s) \,dB_{i}(t) \ge 0,\quad \forall s \in [0,1]\ (i=1,2,3); $$ - \((C_{3})\) :
-
The \(3\times 3\) matrix \([B]\) is positive whose \((i,j)\)th entry is \(\beta _{i}[\gamma _{j}]\), i.e., it has nonnegative entries. Furthermore its spectrum radius \(r([B])<1\).
Making use of the notations in [15] and writing \(\langle \beta ,\gamma \rangle =\sum_{i=1}^{3}\beta _{i}\gamma _{i}\) for the inner product in \(\mathbb{R}^{3}\), we define the operator S as
and thus S can be written as follows:
i.e.,
where \(\kappa _{i}(s)\) is the ith component of \((I-[B])^{-1} \mathcal{K}(s)\).
Lemma 2.1
If \((C_{2})\) and \((C_{3})\) hold, then \(\kappa _{i}(s)\ge 0\) (\(i=1,2,3\)) and for \(t, s\in [0,1]\),
where
and
where
Proof
\(\kappa _{i}(s)\ge 0\) (\(i=1,2,3\)) are due to [15]. (2.5) and (2.6) come directly from the inequalities
and
for \(t,s\in [0,1]\). □
In \(C^{3}[0,1]\) we denote the subsets
It is easy to verify that P and K are cones in \(C^{3}[0,1]\) with \(K\subset P\). Now define the following linear operators:
where \(a_{i}\), \(b_{i}\), \(c_{i}\), \(d_{i}\) (\(i=1,2\)) are nonnegative constants.
Stipulate the partial ordering induced by P: \(u\preceq v\), equivalently \(v\succeq u\), if and only if \(v-u\in P\). We know that if P is a solid cone, i.e., the interior point set \(\mathring{P}\neq \emptyset \), then P is reproducing (refer to [16,17,18]).
By the routine method we can prove the following Lemma 2.2 via Lemma 2.1 (cf. [15]).
Lemma 2.2
If \((C_{1})\)–\((C_{3})\) hold, then \(S:P\to K\) and \(L_{i}: C^{3}[0,1] \to C^{3}[0,1]\) are all completely continuous, and \(L_{i}(P)\subset K\) (\(i=1,2,3\)).
Lemma 2.3
([15])
If \((C_{1})\)–\((C_{3})\) hold, then S has the same fixed points in K as T. Furthermore, the positive solutions to BVP (1.1) are equivalent to the fixed points of S in K.
Theorem 2.1
Suppose that \((C_{1})\) – \((C_{3})\) hold and that
- \((F_{1})\) :
-
there are constants \(a_{1}, b_{1}, c_{1}, d_{1}, C_{0} \ge 0\) such that
$$ f(t,x_{1},x_{2},x_{3},x_{4}) \leq a_{1}x_{1}-b_{1}x_{2}-c_{1}x_{3}-d _{1}x_{4}+C_{0} $$(2.11)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times \mathbb{R}_{+}\times \mathbb{R}^{3}_{-}\), the spectral radius \(r(L_{1})<1\);
- \((F_{2})\) :
-
there are constants \(a_{2}, b_{2}, c_{2}, d_{2}\ge 0\), and \(r>0\) such that
$$ f(t,x_{1},x_{2},x_{3},x_{4}) \geq a_{2}x_{1}-b_{2}x_{2}-c_{2}x_{3}-d _{2}x_{4} $$(2.12)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times [0,r]\times [-r,0]^{3}\), the spectral radius \(r(L_{2})\ge 1\); here \(L_{i}: C^{3}[0,1]\to C^{3}[0,1]\) (\(i=1,2\)) are defined by (2.9).
Then BVP (1.1) has a positive solution in K.
Proof
Let \(W=\{u\in K: u=\mu Su, \mu \in [0,1]\}\), here S and K are defined by (2.3) and (2.8), respectively.
First we prove that W is a bounded set. Actually, if \(u\in W\), then \(u=\mu Su\) for some \(\mu \in [0,1]\). It follows from (2.9) and (2.11) that
and
Clearly \(v\in P\), and we can easily see from (2.11) with \(\frac{\partial k_{S}(t,s)}{\partial t}\), \(\frac{\partial ^{2}k_{S}(t,s)}{ \partial t^{2}}\) and \(\frac{\partial ^{3}k_{S}(t,s)}{\partial t^{3}}\) nonpositive (see Lemma 2.1) that, for \(t\in [0,1]\),
thus \((I-L_{1})u\preceq v\). Since the spectral radius \(r(L_{1})<1\), the bounded inverse operator \((I-L_{1})^{-1}\) exists and it can be written as
Because \(L_{1}(P)\subset K\subset P\) by Lemma 2.2, we have \((I-L_{1})^{-1}(P)\subset P\), and thus the inequality \(u\preceq (I-L _{1})^{-1}v\) holds. So, for \(t\in [0,1]\),
which imply that \(\|u\|_{C^{3}}\le \|(I-L_{1})^{-1}v\|_{C^{3}}\), i.e., W is bounded.
Take \(R>\max \{r,\sup W\}\), then \(\mu Su\neq u\) for \(u\in K\cap \partial \varOmega _{R}\) and \(\mu \in [0,1]\), we have from Lemma 1.1 that \(i(S,K\cap \varOmega _{R}, K)=1\).
Since \(L_{2}: P\to K\subset P\) and \(r(L_{2})\ge 1\), by Lemma 1.3 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\).
Suppose that S has no fixed points in \(K\cap \partial \varOmega _{r}\), and we will show that \(u-Su\neq \nu \varphi _{0}\) for \(u\in K\cap \partial \varOmega _{r}\) and \(\nu \ge 0\).
If 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 clearly \(\nu _{0}>0\). Since \(u_{0}\in K\cap \partial \varOmega _{r}\), we have
From (2.4), (2.9), and (2.12) it follows that \(\forall t\in [0,1]\),
these 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}\). Hence from (2.13) it follows that
However, \(r(L_{2})\ge 1\), so \(u_{0}\succeq (\nu _{0}+\nu ^{*})\varphi _{0}\) contradicts the definition of \(\nu ^{*}\). Therefore \(u-Su\neq \nu \varphi _{0}\) for \(u\in K\cap \partial \varOmega _{r}\) and \(\nu \ge 0\).
Therefore it follows from Lemma 1.2 that \(i(S,K\cap \varOmega _{r}, K)=0\).
Using the properties of fixed point index, we have that
and hence S has a fixed point in K. Thereby BVP (1.1) has a positive solution by Lemma 2.3. □
Theorem 2.2
Suppose that \((C_{1})\) – \((C_{3})\) hold and that
- \((F_{3})\) :
-
there are constants \(a_{2}, b_{2}, c_{2}, d_{2}\ge 0\), and \(r>0\) such that
$$ f(t,x_{1},x_{2},x_{3},x_{4}) \leq a_{2}x_{1}-b_{2}x_{2}-c_{2}x_{3}-d _{2}x_{4} $$(2.14)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times [0.r]\times [-r.0]^{3}\), the spectral radius \(r(L_{2})<1\), where \(L_{2}\) is defined by (2.9);
- \((F_{4})\) :
-
there are positive constants \(a_{1}\), \(b_{1}\), \(c_{1}\), \(C_{0}\) satisfying
$$ \min \biggl\{ \frac{a_{1}}{4} \int _{0}^{1} \bigl(1-s^{2} \bigr)\varPhi _{0}(s)\,ds, b_{1} \int _{0}^{1}s^{2}\varPhi _{1}(s)\,ds, c_{1} \int _{0}^{1}s\varPhi _{2}(s)\,ds \biggr\} >1 $$(2.15)such that
$$ f(t,x_{1},x_{2},x_{3},x_{4}) \geq a_{1}x_{1}-b_{1}x_{2}-c_{1}x_{3}-C _{0} $$(2.16)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times \mathbb{R}_{+}\times \mathbb{R}^{3}_{-}\).
If the condition of Nagumo type is fulfilled, i.e.,
- \((F_{5})\) :
-
for any \(M>0\), there exists a positive continuous function \(H_{M}(\rho )\) on \(\mathbb{R}_{+}\) which satisfies
$$ \int _{0}^{+\infty }\frac{\rho \,d\rho }{H_{M}(\rho )+1}=+\infty $$(2.17)such that \(\forall (t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times [0,M] \times [-M,0]^{2}\times \mathbb{R}_{-}\),
$$ f(t,x_{1},x_{2},x_{3},x_{4}) \le H_{M} \bigl( \vert x_{4} \vert \bigr), $$(2.18)then BVP (1.1) has a positive solution in K.
Proof
(i) In this step we will show that \(\mu Su\ne u\) for \(u\in K\cap \partial \varOmega _{r}\), \(\mu \in [0,1]\), which implies from Lemma 1.1 that \(i(S,K\cap \varOmega _{r},K)=1\).
If otherwise, 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 have from
and (2.14) that, for \(t\in [0,1]\),
hence \((I-L_{2})u_{1}\preceq 0\). Because the spectral radius \(r(L_{2})<1\), it follows that the bounded inverse operator \((I-L_{2})^{-1}: P\to P\) exists and \(u_{1}\preceq (I-L_{2})^{-1}0=0\), which is a contradiction to \(u_{1}\in K\cap \partial \varOmega _{r}\).
(ii) Let M be
Equation (2.15) tells us that \(M>0\). By (2.17) it can easily be seen that
and so there exists \(M_{1}>M\) such that
(iii) 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_{1}\}\), and we will prove that
If it is false, there exist \(u_{2}\in K\cap \partial \varOmega _{R}\) and \(\lambda _{0}\in [0,1]\) such that
then by (2.16) and Lemma 2.1 we have that
These imply by (2.19) that
From (2.18), (2.22), and (2.23) it follows that
Multiplying both sides of (2.24) by \(-u'''_{2}(t)\ge 0\), we have that
Then integrating (2.25) over \([0,1]\) and making the variable transformation such as \(\rho =-u'''_{2}(t)\), we have from (2.23) that
since \(u'''_{2}(1)=0\) and \(u^{(4)}_{2}(t)\ge 0\) by (2.24). Hence by (2.20) we also have that \(\|u'''_{2}\|_{C}\le M_{1}\) and \(\|u_{2}\|_{C^{3}}\le M_{1}\), a contradiction to \(\|u_{2}\|_{C^{3}}=R>M _{1}\).
By the homotopy invariance property, from (2.21) the fixed point index is
(iv) Let \(h(t)=\frac{1}{2}(1-t^{2})\), we have from (2.10) and Lemma 2.1 that
so by [18, p. 67, Theorem 2.5] and (2.15), there exist
and \(\varphi _{0}\in C[0,1]\backslash \{0\}\) such that \(\varphi _{0}(t) \ge 0\) and \(\varphi _{0}=\lambda _{1}^{-1}L_{3}\varphi _{0}\) since \(L_{3}\) is a completely continuous linear operator in \(C[0,1]\). Obviously \(\varphi _{0}\in P\) and thus \(\varphi _{0}\in K\) by Lemma 2.2.
(v) 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}\) appears in step (iv), so then
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.21) 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.16) we have that, for \(t\in [0,1]\),
From \(\lambda _{1}>2\), we have that \(\lambda _{1}\nu ^{*}+\nu _{0}>\nu ^{*}\) contradicts the definition of \(\nu ^{*}\).
(vi) Finally it follows from (2.26) and (2.27) that \(i(S,K\cap \varOmega _{R},K)=0\) and
Hence S has a fixed solution and BVP (1.1) has a positive solution by Lemma 2.3. □
In order to give some examples, 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)\cos (\pi t)\,dt\), \(\beta _{3}[u]=\frac{1}{2}u(\frac{1}{2})-\frac{1}{4}u(\frac{3}{4})\). We estimate some coefficients, and Matlab is used to calculate in some places.
and hence \(0\le \mathcal{K}_{1}(s)\le \mathcal{K}_{1}(1)= \frac{19}{576}<0.0330\);
and hence \(0\le \mathcal{K}_{2}(s)\le \mathcal{K}_{2}(1)<0.0302\);
and hence \(0\le \mathcal{K}_{3}(s)\le \mathcal{K}_{3}(1)= \frac{25}{512}<0.0489\).
The \(3\times 3\) matrix
and its spectrum radius \(r([B])\thickapprox 0.4479<1\). Those mean that \((C_{2})\) and \((C_{3})\) are satisfied.
Now we take into account the constants in Theorem 2.1 and Theorem 2.2.
and
thus \(k_{S}(t,s)<0.0633(1-t)+0.0480\times \frac{1}{2}(1-t^{2})+0.0896+k _{0}(t,s)<0.3437\). So, for \(u\in C^{3}[0,1]\) and \(t\in [0,1]\),
here \(L_{i}\) (\(i=1,2\)) are defined in (2.9). Since all the terms are nonpositive in the first, second, and third derivatives of \(k_{S}(t,s)\) with respect to t, we also have that, for \(u\in C^{3}[0,1]\) and \(t\in [0,1]\),
Therefore the radius \(r(L_{i})\le \|L_{i}\|\le 1.0480(a_{i}+b_{i}+c _{i}+d_{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 \(f(t,x_{1},x_{2},x_{3},x_{4})=\sqrt[3]{x_{1}}-\sqrt[3]{x_{4}}\), then BVP (2.28) has a positive solution.
Proof
Take \(a_{1}=\frac{1}{4}\), \(b_{1}=c_{1}=0\), \(d_{1}=\frac{1}{6}\), \(C_{0}=2\) and \(a_{2}=56\), \(b_{2}=c_{2}=0\), \(d_{2}=1\), \(r=1/2500\). Obviously, (2.29) and (2.30) are satisfied, meanwhile conditions (2.11) and (2.12) are fulfilled. Then BVP (2.28) has a positive solution by Theorem 2.1. □
Example 2.2
If
then BVP (2.28) has a positive solution.
Proof
Take \(a_{2}=\frac{1}{2}\), \(b_{2}=\frac{1}{10}\), \(c_{2}=\frac{1}{8}\), \(d _{2}=\frac{1}{9}\), \(r<1\), it is easy to check that (2.14) and (2.29) are satisfied. Now take \(a_{1}=56\), \(b_{1}=10\), \(c_{1}=3\), it is clear that
so (2.15) is valid. It can be seen that (2.16) is satisfied for \(C_{0}\) large enough. Let \(H_{M}(\rho )=M^{2}+\rho ^{2}\) for \((F_{5})\). Then BVP (2.28) has a positive solution by Theorem 2.2. □
3 Positive solutions of BVP (1.2)
For BVP (1.2) we make the following assumption:
- \((C'_{1})\) :
-
\(g: [0,1]\times \mathbb{R}^{4}_{+}\to \mathbb{R}_{+}\) is continuous.
As in [15], there exists a solution to BVP (1.2) if and only if the integral equation
where \(\delta _{1}(t)=1\), \(\delta _{2}(t)=t\), \(\delta _{3}(t)=\frac{1}{2}t ^{2}\),
and \(\alpha _{i}[u]=\int _{0}^{1}u(t)\,dA_{i}(t)\) (\(i=1,2,3\)), has a solution in \(C^{3}[0,1]\). We set
so that \((\widetilde{T}u)(t)=(Au)(t)+(\widetilde{F}u)(t)\).
We impose other hypotheses:
- \((C'_{2})\) :
-
\(A_{i}\) is of bounded variation, moreover
$$ \widetilde{\mathcal{K}}_{i}(s):= \int _{0}^{1}\widetilde{k}_{0}(t,s)\,dA _{i}(t)\ge 0,\quad \forall s\in [0,1]\ (i=1,2,3); $$ - \((C'_{3})\) :
-
The \(3\times 3\) matrix \([A]\) is positive whose \((i,j)\)th entry is \(\alpha _{i}[\delta _{j}]\) and whose spectrum radius \(r([A])<1\).
Writing \(\langle \alpha ,\delta \rangle =\sum_{i=1}^{3}\alpha _{i}\delta _{i}\) for the inner product in \(\mathbb{R}^{3}\), we define the operator S̃ as
and thus S̃ can be written as follows:
that is,
where \(\widetilde{\kappa }_{i}(s)\) is the ith component of \((I-[A])^{-1}\widetilde{\mathcal{K}}(s)\).
Lemma 3.1
If \((C'_{2})\) and \((C'_{3})\) hold, then \(\widetilde{\kappa }_{i}(s) \ge 0\) (\(i=1,2,3\)) and, for \(t, s\in [0,1]\),
where
and
where
Proof
\(\widetilde{\kappa }_{i}(s)\ge 0\) (\(i=1,2,3\)) are due to [15]. (3.2) and (3.3) come directly from the inequalities
and
for \(t,s\in [0,1]\). □
In \(C^{3}[0,1]\) we denote the subsets
It is easy to verify that P̃ and K̃ are cones in \(C^{3}[0,1]\) with \(\widetilde{K}\subset \widetilde{P}\). Now define the following linear operators:
where \(\widetilde{a}_{i}\), \(\widetilde{b}_{i}\), \(\widetilde{c}_{i}\), \(\widetilde{d}_{i}\) (\(i=1,2\)) are nonnegative constants.
By the routine method we can prove the following Lemma 3.2 via 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^{3}[0,1]\to C^{3}[0,1]\) are all completely continuous, and \(\widetilde{L}_{i}(\widetilde{P}) \subset \widetilde{K}\) (\(i=1,2,3\)).
Lemma 3.3
([15])
If \((C'_{1})\)–\((C'_{3})\) hold, then S̃ has the same fixed points in K̃ as T̃. Furthermore, the positive solutions to BVP (1.2) are equivalent to fixed points of S̃ in K̃.
Theorem 3.1
Suppose that \((C'_{1})\) – \((C'_{3})\) hold and that
- \((\widetilde{F}_{1})\) :
-
there are constants \(\widetilde{a}_{1}, \widetilde{b}_{1}, \widetilde{c}_{1}, \widetilde{d}_{1}, \widetilde{C}_{0}\ge 0\) such that
$$ g(t,x_{1},x_{2},x_{3},x_{4}) \leq \widetilde{a}_{1}x_{1}+\widetilde{b} _{1}x_{2}+ \widetilde{c}_{1}x_{3}+ \widetilde{d}_{1}x_{4}+ \widetilde{C} _{0} $$(3.7)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times \mathbb{R}_{+}^{4}\), the spectral radius \(r(\widetilde{L}_{1})<1\);
- \((\widetilde{F}_{2})\) :
-
there are constants \(\widetilde{a}_{2}, \widetilde{b}_{2}, \widetilde{c}_{2}, \widetilde{d}_{2}\ge 0\), and \(\widetilde{r}>0\) such that
$$ g(t,x_{1},x_{2},x_{3},x_{4}) \geq \widetilde{a}_{2}x_{1}+\widetilde{b} _{2}x_{2}+ \widetilde{c}_{2}x_{3}+ \widetilde{d}_{2}x_{4} $$(3.8)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times [0,\widetilde{r}]^{4}\), the spectral radius \(r(\widetilde{L}_{2})\ge 1\); here \(\widetilde{L} _{i}: C^{3}[0,1]\to C^{3}[0,1]\) (\(i=1,2\)) are defined by (3.6).
Then BVP (1.2) has a positive solution in K.
Proof
It is easy to verify that P̃ defined by (3.4) is a solid cone, and we define the partial ordering induced by P̃ such as \(u\preceq v\) if and only if \(v-u\in \widetilde{P}\). The rest is similar to the proof of Theorem 2.1. □
Theorem 3.2
Suppose that \((C'_{1})\) – \((C'_{3})\) hold and that
- \((\widetilde{F}_{3})\) :
-
there are constants \(\widetilde{a}_{2}, \widetilde{b}_{2}, \widetilde{c}_{2}, \widetilde{d}_{2}\ge 0\), and \(\widetilde{r}>0\) such that
$$ g(t,x_{1},x_{2},x_{3},x_{4}) \leq \widetilde{a}_{2}x_{1}+\widetilde{b} _{2}x_{2}+ \widetilde{c}_{2}x_{3}+ \widetilde{d}_{2}x_{4} $$(3.9)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times [0.\widetilde{r}]^{4}\), the spectral radius \(r(\widetilde{L}_{2})<1\), where \(\widetilde{L} _{2}\) is defined by (3.6),
- \((\widetilde{F}_{4})\) :
-
there are positive constants \(\widetilde{a}_{1}\), \(\widetilde{b}_{1}\), \(\widetilde{c}_{1}\), \(\widetilde{C}_{0}\) satisfying
$$ \min \biggl\{ \frac{\widetilde{a}_{1}}{4} \int _{0}^{1}s^{3} \widetilde{\varPhi }_{0}(s)\,ds, \widetilde{b}_{1} \int _{0}^{1}s^{2} \widetilde{\varPhi }_{1}(s)\,ds, \widetilde{c}_{1} \int _{0}^{1}s \widetilde{\varPhi }_{2}(s) \,ds \biggr\} >1 $$(3.10)such that
$$ g(t,x_{1},x_{2},x_{3},x_{4}) \geq \widetilde{a}_{1}x_{1}+\widetilde{b} _{1}x_{2}+ \widetilde{c}_{1}x_{3}- \widetilde{C}_{0} $$(3.11)for \((t,x_{1},x_{2},x_{3},x_{4})\in [0,1]\times \mathbb{R}_{+}^{4}\).
If the condition of Nagumo type is fulfilled, i.e.,
- \((\widetilde{F}_{5})\) :
-
for any \(M>0\), there exists a positive continuous function \(\widetilde{H}_{M}(\rho )\) on \(\mathbb{R}_{+}\) which satisfies
$$ \int _{0}^{+\infty }\frac{\rho \,d\rho }{\widetilde{H}_{M}(\rho )+1}=+ \infty $$such that
$$ g(t,x_{1},x_{2},x_{3},x_{4}) \le \widetilde{H}_{M}(x_{4}),\quad \forall (t,x_{1},x_{2},x_{3},x_{4}) \in [0,1] \times [0,M]^{3}\times \mathbb{R}_{+}, $$(3.12)
then BVP (1.2) has a positive solution in K.
Proof
Let
and the rest is similar to the proof of Theorem 2.2 in which \(h(t)=\frac{1}{2}t^{3}\) for step (iv). □
In the following, we consider the 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}{160}u( \frac{3}{4})\), \(\alpha _{2}[u]=\int _{0}^{1} (t-\frac{1}{8} )u(t)\,dt\), \(\alpha _{3}[u]=\frac{1}{2}u(\frac{1}{2})-\frac{1}{14}u(\frac{3}{4})\). We also estimate some coefficients as in the previous section.
and hence \(0\le \widetilde{\mathcal{K}}_{1}(s)<0.0011\);
and hence \(0\le \widetilde{\mathcal{K}}_{3}(s)<0.0060\).
The \(3\times 3\) matrix
and its spectrum radius \(r([A])=0.6600<1\). Those mean that \((C'_{2})\) and \((C'_{3})\) are satisfied.
Now we take into account the constants in Theorem 3.1 and Theorem 3.2.
and
thus \(\widetilde{k}_{S}(t,s)<0.0145+0.0494t+0.0229\times \frac{1}{2}t ^{2}+\widetilde{k}_{0}(t,s)<0.2421\). So, for \(u\in C^{3}[0,1]\) and \(t\in [0,1]\),
here \(\widetilde{L}_{i}\) is defined in (3.6) (\(i=1,2\)). Since all the terms are nonnegative in the first, second, and third derivatives of \(\widetilde{k}_{S}(t,s)\) with respect to t, we also have that, for \(u\in C^{3}[0,1]\) and \(t\in [0,1]\),
Therefore the radius \(r(\widetilde{L}_{i})\le \|\widetilde{L}_{i}\| \le 1.0229(\widetilde{a}_{i}+\widetilde{b}_{i}+\widetilde{c}_{i}+ \widetilde{d}_{i})<1\) if
By the same reasoning as in the last section, we have from Lemma 3.1 and Lemma 3.2 that, for \(u\in \widetilde{K}\setminus \{0\}\) and \(t\in [0,1]\),
and the spectral radius
which implies that \(r(\widetilde{L}_{2})\ge 1\) when
Example 3.1
If \(g(t,x_{1},x_{2},x_{3},x_{4})=\sqrt{x_{1}}+\sqrt{x_{4}}\), then BVP (3.13) has a positive solution.
Proof
Take \(\widetilde{a}_{1}=\frac{1}{4}\), \(\widetilde{b}_{1}=\widetilde{c} _{1}=0\), \(\widetilde{d}_{1}=\frac{1}{5}\), \(\widetilde{C}_{0}= \frac{9}{4}\) and \(\widetilde{a}_{2}=100\), \(\widetilde{b}_{2}= \widetilde{c}_{2}=0\), \(\widetilde{d}_{2}=1\), \(\widetilde{r}=1/40{,}000\). Obviously, (3.14) and (3.15) are satisfied, meanwhile conditions (3.7) and (3.8) are fulfilled. Then BVP (3.13) has a positive solution by Theorem 3.1. □
Example 3.2
If
then BVP (3.13) has a positive solution.
Proof
Take \(\widetilde{a}_{2}=\frac{1}{4}\), \(\widetilde{b}_{2}=\frac{1}{20}\), \(\widetilde{c}_{2}=\frac{1}{20}\), \(\widetilde{d}_{2}=\frac{1}{5}\), \(\widetilde{r}<1\), it is easy to check that (3.9) and (3.14) are satisfied. Now take \(\widetilde{a}_{1}=99\), \(\widetilde{b}_{1}=7\), \(\widetilde{c}_{1}=3\), it is clear that
so (3.10) is valid. It can be seen that (3.11) is satisfied for \(\widetilde{C}_{0}\) large enough. Let \(\widetilde{H} _{M}(\rho )=M^{2}+\rho ^{2}\) for \((\widetilde{F}_{5})\). Then BVP (3.13) has a positive solution by Theorem 3.2. □
4 Conclusion
By the theory of fixed point index on cones in \(C^{3}[0,1]\), we in this paper give the sufficient conditions for the existence of positive solutions to two classes of fourth-order problems with dependence on all derivatives in nonlinearities subject to Stieltjes integral boundary conditions. These sufficient conditions include some inequality ones on nonlinearities and the spectral radius ones of linear operators so that the nonlinearities have superlinear or sublinear growth. The derivatives, from the first to third order, of the positive solutions are nonpositive for one class and are nonnegative for the other class respectively. Some examples are also presented to illustrate the theorems under mixed multi-point and integral boundary conditions with sign-changing coefficients.
References
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). https://doi.org/10.1017/S0308210506001041
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
Yao, Q.: Monotonically iterative method of nonlinear cantilever beam equations. Appl. Math. Comput. 205, 432–437 (2008). https://doi.org/10.1016/j.amc.2008.08.044
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). https://doi.org/10.1016/j.na.2009.02.051
Li, Y.: On the existence of positive solutions for the bending elastic beam equations. Appl. Math. Comput. 189, 821–827 (2007). https://doi.org/10.1016/j.amc.2006.11.144
Ma, R.: Existence of positive solutions of a fourth-order boundary value problem. Appl. Math. Comput. 168, 1219–1231 (2005). https://doi.org/10.1016/j.amc.2004.10.014
Bai, Z.: Positive solutions of some nonlocal fourth-order boundary value problem. Appl. Math. Comput. 215, 4191–4197 (2010). https://doi.org/10.1016/j.amc.2009.12.040
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
Li, Y.: Existence of positive solutions for the cantilever beam equations with fully nonlinear terms. Nonlinear Anal., Real World Appl. 27, 221–237 (2016). https://doi.org/10.1016/j.nonrwa.2015.07.016
Kaufmann, E.R., Kosmatov, N.: Elastic beam problem with higher order derivatives. Nonlinear Anal., Real World Appl. 8, 811–821 (2007). https://doi.org/10.1016/j.nonrwa.2006.03.006
Li, Y.: Positive solutions of fourth-order boundary value problems with two parameters. J. Math. Anal. Appl. 281, 477–484 (2003). https://doi.org/10.1016/S0022-247X(03)00131-8
Minhós, F., Gyulov, T., Santos, A.I.: Lower and upper solutions for a fully nonlinear beam equation. Nonlinear Anal. 71, 281–292 (2009). https://doi.org/10.1016/j.na.2008.10.073
Yao, Q.: Local existence of multiple positive solutions to a singular cantilever beam equation. J. Math. Anal. Appl. 363, 138–154 (2010). https://doi.org/10.1016/j.jmaa.2009.07.043
Zhang, J., Zhang, G., Li, H.: Positive solutions of second-order problem with dependence on derivative in nonlinearity under Stieltjes integral boundary condition. Electron. J. Qual. Theory Differ. Equ. (2018). https://doi.org/10.14232/ejqtde.2018.1.4
Webb, J.R.L., Infante, G.: Non-local boundary value problems of arbitrary order. J. Lond. Math. Soc. 79, 238–259 (2009). https://doi.org/10.1112/jlms/jdn066
Deimling, K.: Nonlinear Functional Analysis. Springer, Berlin (1985)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
Krasnosel’skii, M.A.: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
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 Natural Science Foundation of China (61473065) and the National Training Program of Innovation and Entrepreneurship for Undergraduates (201810145026).
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.
Additional information
Abbreviations
Not applicable.
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
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, 41 (2019). https://doi.org/10.1186/s13661-019-1155-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1155-7