# Positive Solution for a Class of Boundary Value Problems with Finite Delay

Authors: Hongzhou Wang
Journal: Journal of Applied Mathematics
 (2012)

---

## Abstract

We study a class of boundary value problems with equation of the formx″(t)+f(t,x(t),x′(t−τ))=0. Some sufficient conditions for existence of positive solution are obtained by using the Krasnoselskii fixed point theorem in cones.


---

## Body

## 1. Introduction

Because of applications in physics, bioscience, epidemiology and so on, most literature about differential equations with delay has focused on existence of periodic solution, oscillation, and so on. In recent years, there has been increasing interest in boundary value problems for differential equations with delay, see for example [1–8]. By using fixed-point theorems, the authors discussed the existence of one solution or twin, triple solutions for differential equations of the forms
(1.1)x′′(t)+f(t,x(t),x(t-τ))=0,0<t<1,x′′(t)+f(t,x(t),x(t-τ),x′(t))=0,0<t<1,x′′(t)+f(t,x(t),x′(t-1))=0,0<t<1,
with boundary value conditions
(1.2)x(t)=ξ(t),t∈[-τ,0]ort∈[-1,0],x(1)=0.
Here ξ(t) may be identically 0 in [-τ,0] or [-1,0].Especially, Shu et al. investigated some sufficient conditions for the existence of triple solutions for the following boundary value problem in [1] by using Avery-Peterson fixed point theorem:
(1.3)x′′(t)+f(t,x(t),x(t-τ),x′(t),x′(t-τ))=0,0<t<1,x(t)=ξ(t),t∈[-τ,0],x(1)=0.
For such a boundary value problem with delay in the first-order derivative, the differentiability of x(t) at t=0 is very important. In fact, a series of problems arise when we discuss boundary value problems like (1.3) without differentiability of x(t) at t=0.In this paper, we study the following boundary value problem with finite delay:(1.4)x′′(t)+p(t)f(t,x(t),x′(t-τ))=0,0<t<1,0≤τ<12,x′(t)=ξ(t),t∈[-τ,0],x(1)=0,
where f:[0,1]×[0,+∞)×R→[0,+∞) and p:(0,1)→[0,+∞) are both continuous; ∫01‍(1-t)p(t)dt<∞ and p(t) is not identically 0 on any subinterval of (0,1); ξ:[-τ,0]→R is continuous and ξ(0)=0.With some semilinear and superlinear hypotheses aboutf, we provide some sufficient conditions for existence of positive solution. The following lemma is fundamental in the proofs of our results.Lemma 1.1 (Krasnoselskii fixed point theorem [9]).
LetE be a Banach space and K⊂E a cone. Assume Ω1 and Ω2 are bounded open subsets of E with θ∈Ω1, Ω-1⊂Ω2, and let T:K∩(Ω-2∖Ω1)→K be a completely continuous operator such that one of the following holds:(i)
||Tu||≤||u||, u∈K∩∂Ω1, and ||Tu||≥||u||, u∈K∩∂Ω1;(ii)
||Tu||≥||u||, u∈K∩∂Ω2, and ||Tu||≤||u||, u∈K∩∂Ω2.Then T has a fixed point in K∩(Ω-2∖Ω1).


## 2. Main Results

In this section, we consider the existence of at least one positive solution to boundary value problem (1.4). Firstly, we present some necessary definitions and notes.Definition 2.1.
A functionx is said to be a positive solution of the boundary value problem (1.4) if it satisfies the following conditions:(i)
x∈C2(0,1)∩C1[0,1];(ii)
x(t)>0, t∈(0,1); x'(0)=x(1)=0;(iii)
x′′(t)+p(t)f(t,x(t),ξ(t-τ))=0 holds for t∈(0,τ] and x′′(t)+p(t)f(t,x(t),x'(t-τ))=0 holds for t∈[τ,1].
Ifx is a positive solution of (1.4), we can easily check that it can be expressed by
(2.1)x(t)=∫0τ‍G(t,s)p(s)f(s,x(x),ξ(s-τ))ds+∫τ1‍G(t,s)p(s)f(s,x(x),x′(s-τ))ds,t∈[0,1],
where G(t,s)=min{1-t,1-s}.
LetE=C[0,1]∩C1[0,1-τ] with norm ||·|| given by
(2.2)∥x∥=max{maxt∈[0,1]|x(t)|,maxt∈[0,1-τ]|x′(t)|}.
Obviously, (E,||·||) is a Banach space.Now we define a coneK⊂E as K={x∈E∣x'(0)=x(1)=0; x is concave on [0,1]}. Then for all x∈K, ||x||=max{x(0), |x'(1-τ)|}, and we have the following lemma.Lemma 2.2.
Ifx∈K, then |x'(t)|≤x(t)/(1-t), t∈[0,1-τ].This lemma follows from the concavity ofx in a straightforward way, and we omit the details of the proof.Now we define a mapT on K by
(2.3)Tx(t)=∫0τ‍G(t,s)p(s)f(s,x(x),ξ(s-τ))ds+∫τ1‍G(t,s)p(s)f(s,x(x),x′(s-τ))ds,
where G(t,s)=min{1-t,1-s}. It shows straightforward show the following lemma.Lemma 2.3.
T
:
K
→
K is completely continuous.Our aim now is to show thatT has a fixed point. We introduce the following notations:
(2.4)δ=min{∫01‍(1-s)p(s)ds,∫01-τ‍p(s)ds},γ=mint∈[-τ,0]ξ(t),μ=maxt∈[-τ,0]ξ(t).Theorem 2.4.
Suppose the following conditions are satisfied:(H1)
∃r>0,f(t,x,y)≤rδ-1,(t,x,y)∈[0,1]×[0,r]×[min{-r,γ},max{0,μ}];(H2)
∃R>rτ-1,f(t,x,y)≥R/∫τ1-τ‍p(s)ds, (t,x,y)∈[τ,1-τ]×[Rτ,R]×[-R,0].Then boundary value problem (1.4) has at least one positive solution.Proof.
LetΩ1={x∈E∣||x||<r}, then for all x∈K∩∂Ω1, ||x||=max{x(0),|x'(1-τ)|}=r, we will show ||Tx||=max{Tx(0),|(Tx)'(1-τ)|}≤r.
With (H1), we have(2.5)Tx(0)=∫01‍(1-s)p(s)f(s,x(s),x′(s-τ))ds≤rδ-1·∫01‍(1-s)p(s)ds≤r,|(Tx)′(1-τ)|=∫01-τ‍p(s)f(s,x(s),x′(s-τ))ds≤rδ-1·∫01-τ‍p(s)ds≤r.
Equation (2.5) provides that for all x∈K∩∂Ω1, ||Tx||≤r.
On the other hand, letΩ2={x∈E∣||x||<R}, then for all x∈K∩∂Ω2, ||x||=max{x(0),|x'(1-τ)|}=R.
Ifx(0)=R, then |x'(1-τ)|≤R. The concavity of x provides x(1-τ)≥Rτ. Therefore, for all t∈[0,1-τ], x(t)∈[Rτ,R], x'(t)∈[-R,0].
If|x'(1-τ)|=R, then x(0)≤R, and Lemma 2.2 provides x(1-τ)≥|x'(1-τ)|τ=Rτ. Therefore, for all t∈[0,1-τ], x(t)∈[Rτ,R], x'(t)∈[-R,0].
In summary, for allx∈K∩∂Ω2, x(t)∈[Rτ,R] and x'(t)∈[-R,0] both hold for t∈[0,1-τ]. Then conditions (H2) guarantee
(2.6)|(Tx)′(1-τ)|=∫01-τ‍p(s)f(s,x(s),x′(s-τ))ds,≥∫τ1-τ‍p(s)f(s,x(s),x′(s-τ))ds,≥R∫τ1-τ‍p(s)ds·∫τ1-τ‍p(s)ds=R.
That is, for all x∈K∩∂Ω2, ||Tx||=max{Tx(0),|(Tx)'(1-τ)|}≥||x||=R. Then, Lemmas 2.3 and 1.1 guarantee the existence of a positive solution to boundary value problem (1.4).Corollary 2.5.
Suppose the following conditions are satisfied:(H3)
limx→0+(f(t,x,y)/x<δ-1) for t∈[0,1] and |y|≤max{1,maxt∈[-τ,0]|ξ(t)|};(H4)
limx→+∞infy∈[-xτ-1,0](f(t,x,y)/x)>1/τ∫τ1-τ‍p(s)ds for t∈[τ,1-τ].Then boundary value problem (1.4) has at least one positive solution.Proof.
By (H3), there should exist a constant0<r'<τμ, f(t,x,y)≤xδ-1<r'δ-1 for t∈[0,1], 0<x<r' and |y|≤max|ξ(t)|. Let r=r', then (H1) is satisfied.
By (H4), there should exist a constantR'>r, so that f(t,x,y)≥x/τ∫τ1-τ‍p(s)ds for t∈[τ,1-τ], x>R' and y∈[-xτ-1,0]. Let R=R'τ-1, then (H2) is satisfied.Theorem 2.6.
Suppose the following conditions are satisfied:(H5)
∃r>0, f(t,x,y)≥r/∫τ1-τ‍p(s)ds, (t,x,y)∈[τ,1-τ]×[rτ,r]×[-r,0];(H6)
limx→+∞supy∈[-xτ-1,max{0,μ}](f(t,x,y)/x)<λδ-1 for t∈[0,1], where 0<λ<1;(H7)
limy→-∞(f(t,x,y)/|y|)<λδ-1 for t∈[0,1] and any fixed x≥0.Then boundary value problem (1.4) has at least one positive solution.Proof.
LetΩ1={x∈E∣||x||<r}, then for all x∈K∩∂Ω1, max{x(0),|x'(1-τ)|}=r and for all t∈[0,1-τ], x(t)∈[rτ,r], x'(t)∈[-r,0]. With (H5), we have
(2.7)|(Tx)′(1-τ)|=∫01-τ‍p(s)f(s,x(s),x′(s-τ))ds≥∫τ1-τ‍p(s)f(s,x(s),x′(s-τ))ds≥r,
that is, ||Tx||≥||x||=r, for all x∈K∩∂Ω1.
On the other hand, we need two steps to show that∃R>0 and Ω2={x∈E∣||x||<R} such that for all x∈K∩∂Ω2, ||Tx||≤||x||.
Step1. (H6) guarantees ∃R'>0, for all x>R', f(t,x,y)<xδ-1 for t∈[0,1] and y∈[-xτ-1,μ].
LetR>R'τ-1, Ω2={x∈E∣||x||<R}. For all x∈K∩∂Ω2, we have R'<Rτ≤x(t)≤R, x'(t)∈[-R,0], t∈[0,1-τ]. Then by (H6), we have
(2.8)|(Tx)′(1-τ)|=∫01-τ‍p(s)f(s,x(s),x′(s-τ))ds<λR.
Step2. For all x∈K∩∂Ω2, the concavity of x implies x(t)≥x(0)(1-t)≥Rτ(1-t), that is, t≥1-x(t)R-1τ-1. Suppose x(tx)=R', then tx≥1-R'R-1τ-1.
At the same time, (H7) guarantees there existsM>0, for all y<-M, f(t,x,y)≤|y|λδ-1.
For allx∈K∩Ω2, define tx′∈[τ,1] as follows:(I)
ifx'(1-τ)≥-M, then tx′=1;(II)
ifx'(1-τ)<-M, then there should exist t0∈[τ,1], x'(t0-τ)=-M. t0≤tx, let tx′=tx; t0>tx, let tx′=t0.
So for allx∈K∩Ω2, interval [0,1] can be divided into three parts: t∈[0,tx], R'≤x(t)≤R; t∈[tx,tx′], 0≤x(t)≤R', -M≤x'(t-τ)≤0; t∈[tx′,1], 0≤x(t)≤R', x'(t-τ)<-M.
(2.9)Tx(0)=∫01‍(1-s)p(s)f(s,x(s),x′(s-τ))ds<∫0tx‍(1-s)p(s)λδ-1x(s)ds+max(t,x,y)∈[1-R′R-1τ-1,1]×[0,R′]×[-M,0]f(t,x,y)·∫txtx′‍(1-s)p(s)ds+∫tx′1‍(1-s)p(s)·λδ-1|x′(s-τ)|ds≤λRδ-1∫0tx‍(1-s)p(s)+max(t,x,y)∈[1-R′R-1τ-1,1]×[0,R′]×[-M,0]f(t,x,y)·∫txtx′‍(1-s)p(s)ds+λRδ-1∫tx′1‍(1-s)p(s)·|x′(s-τ)|ds≤λRδ-1∫01‍(1-s)p(s)ds+max(t,x,y)∈[1-R′R-1τ-1,1]×[0,R′]×[-M,0]f(t,x,y)·∫txtx′‍(1-s)p(s)ds≤λR+max(t,x,y)∈[1-R′R-1τ-1,1]×[0,R′]×[-M,0]f(t,x,y)·∫txtx′‍(1-s)p(s)ds.
Obviously, letR→+∞, then tx,tx′→1, the second part of (2.9) will tend to 0. So we can find R>0, and Ω2={x∈E∣||x||<R}, for all x∈K∩∂Ω2, Tx(0)≤||x||=R. Together with (2.8), we have for all x∈K∩∂Ω2, ||Tx||≤||x||. Then by Lemma 1.1, we can complete the proof.Corollary 2.7.
Suppose (H6) and (H7) are all satisfied, moreover,(H8)
limx→0+(f(t,x,y)/x)>1/τ∫τ1-τ‍p(s)ds for t∈[τ,1-τ] and |y|≤1.Then boundary value problem (1.4) has at least one positive solution.Proof.
By (H8), there should existr'>0 such that f(t,x,y)≥x/τ∫τ1-τ‍p(s)ds for t∈[τ,1-τ], x∈[0,r'] and |y|≤1. Let r=r'τ-1, then (H5) is satisfied.


## 3. Examples

Example 3.1.
Consider the following boundary value problem:(3.1)x′′(t)+(1-t)-1·etx2(t)(1+(x′(t-13))2)=0,t∈(0,1),x′(t)=sint,t∈[-13,0],x(1)=0.
Here p(t)=(1-t)-1, f(t,x,y)=etx2(1+y2), ξ(t)=sint. We can check that (H3) and (H4) are all satisfied. Then Corollary 2.5 implies that (3.1) has at least one positive solution.Example 3.2.
Consider boundary value problem:(3.2)x′′(t)+(1-t)-1·etx1/3(t)(1+(x′(t-13))2/3)=0,t∈(0,1),x′(t)=sint,t∈[-13,0],x(1)=0.
Here p(t)=(1-t)-1, f(t,x,y)=etx1/3(1+y2/3), ξ(t)=sint. We can check that (H6), (H7), and (H8) are all satisfied and so Corollary 2.7 implies that (3.2) has at least one positive solution.



---

*Source: 382392-2012-10-08.xml*