MPEMathematical Problems in Engineering1563-51471024-123XHindawi Publishing Corporation70574010.1155/2011/705740705740Research ArticleExistence and Iteration of Monotone Positive Solution of BVP for an Elastic Beam EquationSunJian-PingWangXian-QiangSunJitaoDepartment of Applied MathematicsLanzhou University of TechnologyLanzhou, Gansu 730050Chinalut.cn201122022011201105102010280120112011Copyright © 2011 Jian-Ping Sun and Xian-Qiang Wang.This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This paper is concerned with the existence of monotone positive solution of boundary value problem for an elastic beam equation. By applying iterative techniques, we not only obtain the existence of monotone positive solution but also establish iterative scheme for approximating the solution. It is worth mentioning that the iterative scheme starts off with zero function, which is very useful and feasible for computational purpose. An example is also included to illustrate the main results.

1. Introduction

It is well-known that beam is one of the basic structures in architecture. The deformations of an elastic beam in equilibrium state can be described by the following equation of deflection curve: d2dx2(EIzd2udx2)=q(x), where E is Yang's modulus constant, Iz is moment of inertia with respect to z axes, and q(x) is loading at x. If the loading of beam considered is in relation to deflection and rate of change of deflection, we need to study more general equation u(4)(x)=f(x,u(x),u(x)). According to different forms of supporting, various boundary value problems (BVPs) should be considered.

Owing to its importance in engineering, physics, and material mechanics, BVPs for elastic beam equations have attracted much attention from many authors see, for example,  and the references therein. However, almost all of the papers we mentioned focused their attention on the existence of solutions or positive solutions. In the existing literature, there are few papers concerned with the computational methods of solutions or positive solutions. It is worth mentioning that Zhang  obtained the existence of positive solutions and established iterative schemes for approximating the solutions for an elastic beam equation with a corner. The main tools used were monotone iterative techniques. For monotone iterative methods, one can refer  and the references therein.

Motivated greatly by the above-mentioned excellent works, in this paper we investigate the existence and iteration of monotone positive solution for the following elastic beam equation BVP u(4)(t)=f(t,u(t),u(t)),t(0,1),u(0)=u(1)=u′′(0)=u′′′(1)=0. In material mechanics, the equation in (1.3) describes the deflection or deformation of an elastic beam under a certain force. The boundary conditions in (1.3) mean that the elastic beam is simply fixed at the end t=0 and fastened with a sliding clamp at the end t=1. By applying iterative techniques, we not only obtain the existence of monotone positive solution but also establish iterative scheme for approximating the solution. It is worth mentioning that the iterative scheme starts off with zero function, which is very useful and feasible for computational purpose. An example is also included to illustrate the main results.

Throughout this paper, we always assume that the following condition is satisfied:

(A)  fC([0,1]×[0,+)×[0,+),[0,+)).

2. Preliminary

In order to obtain the main results of this paper, we first present several fundamental lemmas in this section.

Lemma 2.1.

Let yC[0,1]. Then, the BVP u(4)(t)=y(t),t(0,1),u(0)=u(1)=u′′(0)=u′′′(1)=0, has a unique solution u(t)=01G(t,s)y(s)ds,t[0,1], where G(t,s)=16{s(6t-3t2-s2),0st1,t(6s-3s2-t2),0ts1.

Lemma 2.2.

For any (t,s)[0,1]×[0,1], we have 0G(t,s)ts(1-t),13t2sG(t,s)12(2t-t2)s.

Proof.

For any fixed s[0,1], it is easy to know that G(t,s)t={s(1-t),0st1,s(1-t)-12(s-t)2,0ts1, which shows that 0G(t,s)ts(1-t),for  (t,s)[0,1]×[0,1], and so, G(t,s)=0tG(τ,s)τdτ0ts(1-τ)dτ=12(2t-t2)s,for  (t,s)[0,1]×[0,1]. On the other hand, it follows from the expression of G(t,s) that G(t,s)=16s(6t-3t2-s2)16s(6t-4t2)13t2s,0st1,G(t,s)=16t(6s-3s2-t2)16t(6s-4s2)13t2s,0ts1.

Let E=C1[0,1] be equipped with the norm u=max{u,u}. Then, E is a Banach space. Denote K={uE:u(t)23t2u,  u(t)0,  for  t[0,1]}. Then, it is easy to verify that K is a cone in E. Note that this induces an order relation in E by defining uv if and only if v-uK. Now, we define an operator T on K by (Tu)(t)=01G(t,s)f(s,u(s),u(s))ds,t[0,1]. Obviously, fixed points of T are monotone and nonnegative solutions of the BVP (1.3).

Lemma 2.3.

T:KK is completely continuous.

Proof.

First, we prove T(K)K. Suppose that uK. In view of Lemma 2.2, on the one hand, 0(Tu)(t)=01G(t,s)f(s,u(s),u(s))ds12(2t-t2)01sf(s,u(s),u(s))ds1201sf(s,u(s),u(s))ds,t[0,1], which shows that Tu1201sf(s,u(s),u(s))ds. On the other hand, (Tu)(t)=01G(t,s)f(s,u(s),u(s))ds13t201sf(s,u(s),u(s))ds,t[0,1], which together with (2.12) implies that (Tu)(t)23t2Tu,t[0,1]. Again, by Lemma 2.2, we have (Tu)(t)=01G(t,s)tf(s,u(s),u(s))ds0,t[0,1]. So, it follows from (2.14), (2.15) and the definition of K that T(K)K.

Next, we show that T is a compact operator. Let DK be a bounded set. Then, there exists M1>0 such that uM1 for any uD. For any {yk}k=1T(D), there exist {xk}k=1D such that yk=Txk. Denote M2=sup{f(t,x,y):(t,x,y)[0,1]×[0,M1]×[0,M1]}. Then, for any positive integer k, it follows from Lemma 2.2 that |yk(t)|=|(Txk)(t)|=|01G(t,s)f(s,xk(s),xk(s))ds|12(2t-t2)01sf(s,xk(s),xk(s))dsM24,t[0,1], which indicates that {yk}k=1 is uniformly bounded. Similarly, we have |yk(t)|=|(Txk)(t)|=|01G(t,s)tf(s,xk(s),xk(s))ds|(1-t)01sf(s,xk(s),xk(s))dsM22,t[0,1]. This shows that {yk}k=1 is uniformly bounded, which implies that {yk}k=1 is equicontinuous. By Arzela-Ascoli theorem, we know that {yk}k=1 has a convergent subsequence in C[0,1]. Without loss of generality, we may assume that {yk}k=1 converges in C[0,1].

On the other hand, for any ϵ>0, by the uniform continuity of G(t,s)/t, we know that there exists a δ>0 such that for any t1,t2[0,1] with |t1-t2|<δ, |G(t1,s)t-G(t2,s)t|<ϵM2+1,s[0,1]. So, for any positive integer k, t1,t2[0,1] with |t1-t2|<δ, we get |yk(t1)-yk(t2)|=|(Txk)(t1)-(Txk)(t2)|=01|G(t1,s)t-G(t2,s)t|f(s,xk(s),xk(s))ds<M2ϵM2+1<ϵ, which shows that {yk}k=1 is equicontinuous. Again, it follows from Arzela-Ascoli theorem that {yk}k=1 has a convergent subsequence in C[0,1]. Therefore, {yk}k=1 has a convergent subsequence in K.

Finally, we prove that T is continuous. Suppose that um,  uK and um-u0  (m). Then, there exists M3>0 such that for any positive integer m, umM3. Denote M4=sup{f(t,x,y):(t,x,y)[0,1]×[0,M3]×[0,M3]}. Then, for any positive integer m and t[0,1], by Lemma 2.2, we have G(t,s)f(s,um(s),um(s))M42(2t-t2)sM42s,s[0,1],G(t,s)tf(s,um(s),um(s))M4(1-t)sM4s,s[0,1]. So, it follows from Lebesgue dominated convergence theorem that limm(Tum)(t)=limm01G(t,s)f(s,um(s),um(s))ds=01G(t,s)f(s,u(s),u(s))ds=(Tu)(t),t[0,1],limm(Tum)(t)=limm01G(t,s)tf(s,um(s),um(s))ds=01G(t,s)tf(s,u(s),u(s))ds=(Tu)(t),t[0,1], which implies that T is continuous. Therefore, T:KK is completely continuous.

3. Main ResultsTheorem 3.1.

Assume that f(t,0,0)0 for t(0,1), and there exists a constant a>0 such that f(t,u1,v1)f(t,u2,v2)2a,0t1,  0u1u2a,  0v1v2a. If we construct a iterative sequence vn+1=Tvn, n=0,1,2,, where v0(t)0 for t[0,1], then {vn}n=1 converges to v* in C1[0,1], which is a monotone positive solution of the BVP (1.3) and satisfy 0<v*(t)afor  t(0,1],0(v*)(t)afor  t[0,1].

Proof.

Let Ka={uK:ua}. We assert that T:KaKa. In fact, if uKa, then 0u(s)max0s1u(s)ua,0u(s)max0s1u(s)ua,for  s[0,1], which together with the condition (3.1) and Lemma 2.2 implies that 0(Tu)(t)=01G(t,s)f(s,u(s),u(s))ds<a,t[0,1],0(Tu)(t)=01G(t,s)tf(s,u(s),u(s))dsa,t[0,1].     Hence, we have shown that T:KaKa.

Now, we assert that {vn}n=1 converges to v* in C1[0,1], which is a monotone positive solution of the BVP (1.3) and satisfies 0<v*(t)afor  t(0,1],0(v*)(t)afor  t[0,1].

Indeed, in view of v0Ka and T:KaKa, we have vnKa, n=1,2,. Since the set {vn}n=0 is bounded and T is completely continuous, we know that the set {vn}n=1 is relatively compact.

In what follows, we prove that {vn}n=0 is monotone by induction. First, by Lemma 2.2, we have 13t201sf(s,0,0)dsv1(t)-v0(t)=(Tv0)(t)=01G(t,s)f(s,0,0)ds1201sf(s,0,0)ds,t[0,1], which implies that v1(t)-v0(t)23t2v1-v0,t[0,1]. At the same time, it is obvious that v1(t)-v0(t)=v1(t)=(Tv0)(t)=01G(t,s)tf(s,0,0)ds0,t[0,1]. It follows from (3.7) and (3.8) that v1-v0K, which shows that v0v1. Next, we assume that vk-1vk. Then, in view of Lemma 2.2 and (3.1), we have vk+1(t)-vk(t)=01G(t,s)[f(s,vk(s),vk(s))-f(s,vk-1(s),vk-1(s))]ds1201s[f(s,vk(s),vk(s))-f(s,vk-1(s),vk-1(s))]ds,t[0,1],vk+1(t)-vk(t)=01G(t,s)[f(s,vk(s),vk(s))-f(s,vk-1(s),vk-1(s))]ds13t201s[f(s,vk(s),vk(s))-f(s,vk-1(s),vk-1(s))]ds,t[0,1], which implies that vk+1(t)-vk(t)23t2vk+1-vk,t[0,1]. At the same time, by Lemma 2.2 and (3.1), we also have vk+1(t)-vk(t)=01G(t,s)t[f(s,vk(s),vk(s))-f(s,vk-1(s),vk-1(s))]ds0,t[0,1]. It follows from (3.10) and (3.11) that vk+1-vkK, which indicates that vkvk+1. Thus, we have shown that vnvn+1, n=0,1,2.

Since {vn}n=1 is relatively compact and monotone, there exists a v*Ka such that vn-v*0  (n), which together with the continuity of T and the fact that vn+1=Tvn implies that v*=Tv*. Moreover, in view of f(t,0,0)0 for t(0,1), we know that the zero function is not a solution of the BVP (1.3). Thus, v*>0. So, it follows from v*Ka that 0<v*(t)afor  t(0,1],0(v*)(t)afor  t[0,1].

4. An ExampleExample 4.1.

Consider the BVP u(4)(t)=12tu(t)+18(u(t))2+1,t(0,1),u(0)=u(1)=u′′(0)=u′′′(1)=0.

If we let f(t,u,v)=(1/2)tu+(1/8)v2+1 for (t,u,v)[0,1]×[0,+)×[0,+), then all the hypotheses of Theorem 3.1 are fulfilled with a=1. It follows from Theorem 3.1 that the BVP (4.1) has a monotone positive solution v* satisfying 0<v*(t)1for  t(0,1],0(v*)(t)1for  t[0,1]. Moreover, the iterative scheme is v0(t)0,t[0,1],vn+1(t)=160ts(6t-3t2-s2)(12svn(s)+18(vn(s))2+1)ds+16t1t(6s-3s2-t2)(12svn(s)+18(vn(s))2+1)ds,t[0,1],  n=0,1,2,. The first, second, third, and fourth terms of the scheme are as follows: v0(t)0,v1(t)=13t-16t3+124t4,v2(t)=73216t+5144t2-79432t3+164t4+251152t5-238640t6-1192t7+4711520t8-118640t9+16912t10,v3(t)=3785771119744t+6935186624t2-4046292239488t3+603618957952t4+716892985984t5+11063314929920t6-221811492992t7+373759119439360t8+2467627477757440t9-2449943716636160t10-8003411592524800t11+1625614911466178560t12-35563577166361600t13-6552674777574400t14+70313477757440t15-254712388787200t16-3639119555148800t17+7781298598400t18-259732866544640t19+89174777574400t20-31143327232t21+252293235712t22.

Acknowledgment

This work is supported by the National Natural Science Foundation of China (10801068).

AftabizadehA. R.Existence and uniqueness theorems for fourth-order boundary value problemsJournal of Mathematical Analysis and Applications1986116241542684280810.1016/S0022-247X(86)80006-3ZBL0634.34009AgarwalR. P.On fourth order boundary value problems arising in beam analysisDifferential and Integral Equations19892191110960017ZBL0715.34032BaiZ.The upper and lower solution method for some fourth-order boundary value problemsNonlinear Analysis. Theory, Methods & Applications20076761704170910.1016/j.na.2006.08.0092326022ZBL1122.34010BaiZ.WangH.On positive solutions of some nonlinear fourth-order beam equationsJournal of Mathematical Analysis and Applications20022702357368191570410.1016/S0022-247X(02)00071-9ZBL1006.34023EhmeJ.EloeP. W.HendersonJ.Upper and lower solution methods for fully nonlinear boundary value problemsJournal of Differential Equations200218015164189059710.1006/jdeq.2001.4056ZBL1019.34015GraefJ. R.YangB.Positive solutions of a nonlinear fourth order boundary value problemCommunications on Applied Nonlinear Analysis200714161732294493ZBL1136.34024GuptaC. P.Existence and uniqueness theorems for the bending of an elastic beam equationApplicable Analysis198826428930410.1080/00036818808839715922976ZBL0611.34015LiY.Positive solutions of fourth-order boundary value problems with two parametersJournal of Mathematical Analysis and Applications20032812477484198266710.1016/S0022-247X(03)00131-8ZBL1030.34016LiuB.Positive solutions of fourth-order two point boundary value problemsApplied Mathematics and Computation20041482407420201538210.1016/S0096-3003(02)00857-3ZBL1039.34018LiuJ.XuW.Positive solutions for some beam equation boundary value problemsBoundary Value Problems20092009939325910.1155/2009/3932592559030ZBL1196.34032MaR.Positive solutions of fourth-order two-point boundary value problemsAnnals of Differential Equations19991533053131733785MaR.WangH.On the existence of positive solutions of fourth-order ordinary differential equationsApplicable Analysis1995591–422523110.1080/000368195088404011378037ZBL0841.34019YaoQ.Positive solutions for eigenvalue problems of fourth-order elastic beam equationsApplied Mathematics Letters200417223724310.1016/S0893-9659(04)90037-72034772ZBL1072.34022YaoQ.Existence and multiplicity of positive solutions to a singular elastic beam equation rigidly fixed at both endsNonlinear Analysis. Theory, Methods & Applications20086982683269410.1016/j.na.2007.08.0432446362ZBL1157.34018YaoQ.Successively iterative technique of a classical elastic beam equation with Carathéodory nonlinearityActa Applicandae Mathematicae2009108238539410.1007/s10440-008-9317-02551480ZBL1188.34013ZhangX.Existence and iteration of monotone positive solutions for an elastic beam equation with a cornerNonlinear Analysis. Real World Applications20091042097210310.1016/j.nonrwa.2008.03.0172508419ZBL1163.74478AhmadB.NietoJuan J.The monotone iterative technique for three-point second-order integrodifferential boundary value problems with p-LaplacianBoundary Value Problems2007200795748110.1155/2007/574812320689YaoQ.Monotone iterative technique and positive solutions of Lidstone boundary value problemsApplied Mathematics and Computation2003138119195034110.1016/S0096-3003(01)00316-2ZBL1049.34028YaoQ.Monotonically iterative method of nonlinear cantilever beam equationsApplied Mathematics and Computation20082051432437246664810.1016/j.amc.2008.08.044ZBL1154.74021