Existence of positive solutions to a non-positive elastic beam equation with both ends fixed
- Haixia Lu^{1},
- Li Sun^{2, 3}Email author and
- Jingxian Sun^{2}
DOI: 10.1186/1687-2770-2012-56
© Lu et al; licensee Springer. 2012
Received: 30 November 2011
Accepted: 14 May 2012
Published: 14 May 2012
Abstract
This article is concerned with the existence of nontrivial solutions for a non-positive fourth-order two-point boundary value problem (BVP) and the existence of positive solutions for a semipositive fourth-order two-point BVP. In mechanics, the problem describes the deflection of an elastic beam rigidly fixed at both ends. The method to show our main results is the topological degree and fixed point theory of nonlinear operator on lattice.
Mathematics Subject Classification 2010: 34B18; 34B16; 34B15.
Keywords
lattice topological degree fixed point nontrivial solutions and positive solutions elastic beam equations1 Introduction
where λ is a positive parameter, f : [0,1] × R^{1} → R^{1} is continuous.
Fourth-order two-point BVPs are useful for material mechanics because the problems usually characterize the deflection of an elastic beam. The problem (P) describes the deflection of an elastic beam with both ends rigidly fixed. The existence and multiplicity of positive solutions for the elastic beam equations has been studied extensively when the non-linear term f : [0,1] × [0, +∞) → [0, +∞) is continuous, see for example [1–10] and references therein. Agarwal and Chow [1] investigated problem (P) by using of contraction mapping and iterative methods. Bai [3] applied upper and lower solution method and Yao [9] used Guo-Krasnosel'skii fixed point theorem of cone expansion-compression type. However, there are only a few articles concerned with the nonpositive or semipositive elastic beam equations. Yao [11] considered the existence of positive solutions of semipositive elastic beam equations by constructing control functions and a special cone and using fixed point theorem of cone expansion-compression type. In this article, we assume that f : [0,1] × R^{1} → R^{1}, which implies the problem (P) is nonpositive (or semipositive particularly). By the topological degree and fixed point theory of superlinear operator on lattice (the definition of lattice will be given in Section 2), we obtain the existence of nontrivial solutions for the non-positive BVP (P) and the existence of positive solutions for the semipositive BVP (P).
2 Preliminaries
Let E be an ordered Banach space in which the partial ordering ≤ is induced by a cone P ⊂ E, θ denote the zero element of E. P is called solid if int P ≠ ∅, i.e., P has nonempty interior. P is called a generating cone if E = P - P . For the concepts and properties about the cones we refer to [12–14].
which are called the positive and the negative part of x, respectively. Take |x| = x^{+} + x^{ - } , then |x| ∈ P , and |x| is called the module of x. One can see [15] for the definition and the properties about the lattice.
Remark 2.1 If E is a lattice, then P is a generating cone.
where x_{+} and x_{ - } are defined by (2.1).
Remark 2.2 We point out that the condition (2.2) appears naturally in the applications of nonlinear differential equations and integral equations.
and hence |x|(t) = |x(t)|. By Remark 3.1 in [16], we know that there exists y_{0} ∈ C[a, b] such that Fx = Fx_{+} + Fx_{ - } + y_{0}, ∀x ∈ C[a, b].
which means that A is quasi-additive on lattice.
Lemma 2.1 [[18], Theorem 4.2.2, p. 122]. Let P be a generating cone and B a u_{0}- bounded completely continuous linear operator. Then the spectral radius r(B) ≠ 0 and r^{ - }^{1}(B) is the only positive eigenvalue corresponding to positive eigenvectors and B has no other eigenvectors except those corresponding to r^{ - }^{1}(B).
then P (g*, δ) is also a cone in E.
Definition 2.3 [[19], Definition, p. 528]. Let B be a positive linear operator. B is said to satisfy H condition, if there exist $\stackrel{\u0304}{\phi}\in P\backslash \left\{\theta \right\}$, g* ∈ P*\{θ} and δ > 0 such that (2.3) holds, and B maps P into P(g*, δ).
and v(x)g*(x) ≢ 0, then B satisfies H condition (see [19]).
- (i)there exist a _{1} > r^{ - } ^{1}(B), y _{1} ∈ P such that$Fx\ge {a}_{1}x-{y}_{1},\phantom{\rule{1em}{0ex}}\forall x\in P;$(2.4)
- (ii)there exist 0 ≤ a _{2} ≤ r^{ - } ^{1}(B), y _{2} ∈ P such that$Fx\ge {a}_{2}x-{y}_{2},\phantom{\rule{1em}{0ex}}\forall x\in \left(-P\right).$(2.5)
Then there exists R_{0}> 0 such that deg(I - A, T_{ R }, θ) = 0 for any R > R_{0} , where T_{ R } = {x ∈ C[0, 1] : ||x|| < R}.
- (i)
there exists a positive bounded linear operator B such that |Ax| ≤ B|x|, for all x ∈ ∂Ω;
- (ii)
r(B) ≤ 1.
Then deg(I - A, Ω, θ) = 1.
3 Existence of nontrivial solutions for the non-positive BVP (P)
In the sequel we always take E = C[0,1] with the norm ||u|| = max_{0≤t≤1}|u(t)| and P = {u ∈ C[0, 1] | u(t) ≥ 0, 0 ≤ t ≤ 1}. Then P is a solid cone in E and E is a lattice under the partial ordering ≤ induced by P.
and
(G_{1}) G(t, s) ≥ 0, 0 ≤ t, s ≤ 1;
(G_{2}) G(t, s) = G(s, t);
(G_{3}) G(t, s) ≥ p(t)G(τ; s), 0 ≤ t, s, τ ≤ 1, where $p\left(t\right)=\frac{2}{3}\text{min}\left\{{t}^{2},{\left(1-t\right)}^{2}\right\}$.
Similarly, (3.1) holds for 0 ≤ s ≤ t < 1 and t > 0. The proof is complete. □
Lemma 3.2 Let B be defined by (3.3). Then B is a u_{0}- bounded linear operator.
Proof. Let ${u}_{0}\left(t\right)=H\left(t\right)=\frac{1}{2}{t}^{2}{\left(1-t\right)}^{2}$, t ∈ [0,1]. For any u ∈ P\{θ}, by Lemma 3.1
This indicates that B : E → E is a u_{0}- bounded linear operator. □
From Lemma 2.1 we have r(B) ≠ 0 and r^{ - }^{1}(B) is the only eigenvalue of B. Denote λ_{1} = r^{ - }^{1}(B).
Now let us list the following conditions which will be used in this article:
(H_{3}) $\underset{u\to +\infty}{\text{lim}}\frac{f\left(t,u\right)}{u}=+\infty $.
Theorem 3.1 Suppose that (H_{1}) and (H_{2}) hold. Then for any $\mathrm{\lambda}\in \left(\frac{{\mathrm{\lambda}}_{1}}{\alpha},\frac{{\mathrm{\lambda}}_{1}}{\iota}\right)$, BVP (P) has at least one nontrivial solution, where λ_{1} = r^{ - }^{1}(B) is the only eigenvalue of B, B is denoted by (3.3), ι = max{β, γ}.
Proof. Let (Fu)(t) = f(t, u(t)). Then A = BF, where A is denoted by (3.2). By Remark 2.2, F is quasi-additive on lattice. Applying the Arzela-Ascoli theorem and a standard argument, we can prove that A : E → E is a completely continuous operator.
Now we show that λA = λBF has at least one nontrivial fixed point, which is the nontrivial solution of BVP (P).
Notice that $Bu\left(t\right)={\int}_{0}^{1}G\left(t,s\right)u\left(s\right)ds$, where G(t, s) ≥ 0, G(t, s) ∈ C([0,1] × [0,1]). From Lemma 3.2 B is a u_{0}- bounded linear operator. By Lemma 2.1 we have r(B) ≠ 0 and λ_{1} = r^{ - }^{1}(B) is the only eigenvalue of B. Then there exist $\stackrel{\u0304}{\phi}\in P\backslash \left\{\theta \right\}$ and g* ∈ P*\{θ} such that (2.3) holds. Notice that λ > 0, from Remark 2.3, λB satisfies H condition.
By (3.6) and (3.7), we have (2.4) and (2.5) hold, where a_{1} = α - ε, a_{2} = β + ε.
It is easy to see from (3.9) and (3.10) that λA has at least one nontrivial fixed point. Thus problem (P) has at least one nontrivial solution. □
Remark 3.1 If α = +∞, β = γ = 0, then for any λ > 0 problem (P) has at least one nontrivial solution.
Then for any $\mathrm{\lambda}\in \left(\frac{{\mathrm{\lambda}}_{1}}{\alpha},\frac{{\mathrm{\lambda}}_{1}}{\beta}\right)$ and $\mathrm{\lambda}\ne \frac{{\mathrm{\lambda}}_{1}}{\rho}$, BVP (P) has at least one nontrivial solution.
where κ is the sum of algebraic multiplicities for all eigenvalues of $\mathrm{\lambda}{A}_{\theta}^{\prime}$ lying in the interval (0, 1). From the proof of Theorem 3.1 we have that (3.9) holds for any $\mathrm{\lambda}\in \left(\frac{{\mathrm{\lambda}}_{1}}{\alpha},\frac{{\mathrm{\lambda}}_{1}}{\beta}\right)$. By (3.9) and (3.12), λA has at least one nontrivial fixed point. Thus problem (P) has at least one nontrivial solution. □
4 Existence of positive solutions for the semipositive BVP (P)
In many real problems, the positive solution is more significant. In this section we will study this kind of question.
- (i)G(t, s) is a symmetric kernel. And there exist D _{0} ⊂ D, mesD _{0} ≠ 0 and δ > 0 such that$G\left(t,s\right)\ge \delta G\left(\tau ,s\right),\phantom{\rule{1em}{0ex}}\forall t\in {D}_{0},\phantom{\rule{2.77695pt}{0ex}}s,\phantom{\rule{2.77695pt}{0ex}}\tau \in D;$
- (ii)
f(t, u) is bounded from below and $\underset{u\to +\infty}{\text{lim}}f\left(t,u\right)=+\infty $ uniformly holds for t ∈ D _{0}. Then for any λ* > 0, there exists R = R(λ*) > 0 such that if 0 < λ_{0} ≤ λ*, ||φ _{0}|| ≥ R and φ _{0} = λ_{0} Aφ _{0}, then φ _{0}(x) ≥ 0, where A is denoted by (3.2).
Theorem 4.1 Suppose that (H_{3}) holds. Then there exists λ* > 0 such that for any 0 < λ < λ* BVP (P) has at least one positive solution.
Then A_{1} : E → E is a completely continuous operator.
Since A_{1} is completely continuous, then $\left\{{u}_{{\mathrm{\lambda}}_{n}}\right\}$ has a subsequence converging to u* ∈ C[0,1]. Assume, without loss of generality, that it is $\left\{{u}_{{\mathrm{\lambda}}_{n}}\right\}$. Taking n → +∞ in (4.5), we have u* = θ, which is a contradiction to $\left|\right|{u}_{{\mathrm{\lambda}}_{n}}\left|\right|>r>0$. Hence (4.4) holds.
And so u_{ λ } (t) is a positive solution of problem (P). □
Remark 4.1 In Theorem 4.1, without assuming that f(t, u) ≥ 0 when u ≥ 0, we obtain the existence of positive solutions for the semipositive BVP (P).
Remark 4.2 Noticing that, in this article, we only study the existence of positive solutions for BVP (P), which is irrelevant to the value of f(t, u) when u ≤ 0, we only need to suppose that f(t, u) is bounded from below when u ≥ 0. In fact, f(t, u) may be unbounded from below when u ≤ 0.
5 Two examples
In order to illustrate possible applications of Theorems 3.2 and 4.1, we give two examples.
Take α = 3π/2, β = π/2, ρ = π +1. Then (5.1), (5.2) indicate (H_{1}), (3.11) hold, repectively. Notice that α > ρ > β > 0 and f(t, 0) ≡ 0, ∀t ∈ [0,1], by Theorem 3.2 for any $\mathrm{\lambda}\in \left(\frac{{\mathrm{\lambda}}_{1}}{\alpha},\frac{{\mathrm{\lambda}}_{1}}{\beta}\right)$ and $\mathrm{\lambda}\ne \frac{{\mathrm{\lambda}}_{1}}{\rho}$, BVP (P_{1}) has at least one nontrivial solution.
(5.3) means (H_{3}) holds. By Theorem 4.1 there exists λ* > 0 such that for any 0 < λ < λ* BVP (P_{2}) has at least one positive solution.
Declarations
Acknowledgements
The authors would like to thank the referees for carefully reading this article and making valuable comments and suggestions. This work is supported by the Foundation items: NSFC (10971179, 11026203), NSF (BK2011202) of the Jiangsu Province, NSF (09XLR04) of the Xuzhou Normal University and NSF (2010KY07) of the Suqian College.
Authors’ Affiliations
References
- Agarwal RP, Chow YM: Iterative method for fourth order boundary value problem. J Comput App Math 1984, 10: 203-217. 10.1016/0377-0427(84)90058-XMathSciNetView ArticleGoogle Scholar
- Bai Z, Wang H: On positive solutions of some nonlinear four-order beam equations. J Math Anal Appl 2002, 270: 357-368. 10.1016/S0022-247X(02)00071-9MathSciNetView ArticleGoogle Scholar
- Bai Z: The upper and lower solution method for some fourth-order boundary value problems. Nonlinear Anal 2007, 67: 1704-1709. 10.1016/j.na.2006.08.009MathSciNetView ArticleGoogle Scholar
- Dalmasso R: Uniqueness of positive solutions for some nonlinear four-order operators. J Math Anal Appl 1996, 201: 152-168. 10.1006/jmaa.1996.0247MathSciNetView ArticleGoogle Scholar
- Gupta CP: Existence and uniqueness results for the bending of an elastic beam equation. Appl Anal 1988, 26: 289-304. 10.1080/00036818808839715MathSciNetView ArticleGoogle Scholar
- Graef R, Yang B: Positive solutions of a nonlinear fourth order boundary value problem. Commun Appl Nonl Anal 2007, 14: 61-73.MathSciNetGoogle Scholar
- Korman P: Uniqueness and exact multiplicity of solutions for a class of fourth-order semilinear problems. Proc R Soc Edinburg Sect A 2004, 134: 179-190. 10.1017/S0308210500003140MathSciNetView ArticleGoogle Scholar
- Lou B: Positive solutions for nonlinear elastic beam models. Int J Math Sci 2001, 27: 365-375. 10.1155/S0161171201004203View ArticleGoogle Scholar
- Yao Q: Existence of n solutions and/or positive solutions to a semipositive elastic beam equation. Nonlinear Anal 2007, 66: 138-150. 10.1016/j.na.2005.11.016MathSciNetView ArticleGoogle Scholar
- Zhang X: Existence and iteration of monotone positive solutions for an elastic beam equation with a corner. Nonlinear Anal 2009, 10: 2097-2103. 10.1016/j.nonrwa.2008.03.017View ArticleGoogle Scholar
- Yao Q: Positive solutions for eigenvalue problems of four-order elastic beam equations. Appl Math Lett 2004, 17: 237-243. 10.1016/S0893-9659(04)90037-7MathSciNetView ArticleGoogle Scholar
- Amann H: Fixed point equations and nonlinear eigenvalue problems in ordered Banach spaces. SIAM Rev 1976, 18: 620-709. 10.1137/1018114MathSciNetView ArticleGoogle Scholar
- Guo D, Lakshmikanthan V: Nonlinear Problems in Abstract Cones. Academic press, San Diego; 1988.Google Scholar
- Krein MG, Rutman MA: Linear operators leaving invariant a cone in a Banach space. Am Math Soc Transl 1962, 10: 199-325.Google Scholar
- Lucxemburg WAJ, Zaanen AC: Riesz Space, vol I. North-Holland Publishing Company, London; 1971.Google Scholar
- Sun J, Liu X: Computation of topological degree in ordered Banach spaces with lattice structure and its application to superlinear differential equations. J Math Anal Appl 2008, 348: 927-937. 10.1016/j.jmaa.2008.05.023MathSciNetView ArticleGoogle Scholar
- Krasnosel'skii MA: Topological methods in the theory of nonlinear integral equations. Pergamon Press, Oxford; 1964.Google Scholar
- Sun J: Nonlinear Functional Analysis and its Applications. Science Press, Beijing; 2007. in ChineseGoogle Scholar
- Sun J: Nontrivial solutions of superlinear Hammerstein integral equations and its applications. Chinese Ann Math Ser A 7 1986, 528-535.Google Scholar
- Sun J: Existence of positive solutions of nonlinear Hammerstein integral equations and its applications. Chinese Ann Math Ser A 1988, 9: 90-96. in ChineseMathSciNetGoogle Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.