Positive solutions for nonlinear singular third order boundary value problem

https://doi.org/10.1016/j.cnsns.2007.10.008Get rights and content

Abstract

In this paper, we investigate the problem of existence of positive solutions for the nonlinear third order boundary value problem:u(t)+λa(t)f(u(t))=0,0<t<1,u(0)=u(0)=0,αu(1)+βu(1)=0,where λ is a positive parameter. By using Krasnoselskii’s fixed-point theorem of cone, we establish various results on the existence of positive solutions of the boundary value problem.

Under various assumptions on a(t) and f(u(t)), we give the intervals of the parameter λ which yield the existence of the positive solutions. An example is also given to illustrate the main results.

Introduction

One of the most frequently used tools for proving the existence of positive solutions to the integral equations and boundary value problems is Krasnoselskii’s theorem on cone expansion and compression and its norm-type version due to Guo and Lakshmikantham [3]. To the best of our knowledge, the first paper taking this approach is by Wang in [7]. Since this pioneering work a lot research has been done in this area. Third order equations arise in a variety of different areas of applied mathematics and physics, as the deflection of a curved beam having a constant or varying cross section, three layer beam, electromagnetic waves or gravity driven flows and so on. Different type of techniques has been used to study such problems [4].

Anderson [1] proved that there exist at least three positive solutions to the boundary value problem by using the famous Leggett–Williams fixed-point theorem. Anderson and Avery [2] applied a generalization of the Leggett–Williams fixed-point theorem to obtain the existence of at least three solutions for to a third order discrete focal boundary value problem. In [8], Yao and Feng used the upper and lower solutions method to prove some existence results for the following third order two-point boundary value problem:u(t)+f(t,(u(t))=0,0t1,u(0)=u(0)=u(1)=0.Li [4] used Krasnoselskii’s fixed-point theorem to prove some existence results to the nonlinear third order singular boundary value problemu(t)+λa(t)f(u(t))=0,0<t<1,u(0)=u(0)=u(1)=0.Sun and Wen [6] considered the nonlinear third order singular boundary value problemu(t)+λa(t)f(u(t))=0,0<t<1,αu(0)-βu(0)=0,u(1)=u(1)=0.Very recently, Liu et al. [5] used Krasnoselskii’s fixed-point theorem to prove some existence results to the nonlinear third order singular boundary value problemu(t)-α(t)f(t,u(t))=0,a<t<b,u(a)=u(b)=u(b)=0.

The purpose of this paper is to establish the existence of positive solutions to nonlinear third order boundary value problem:u(t)+λa(t)f(u(t))=0,0<t<1,u(0)=u(0)=0,αu(1)+βu(1)=0,where λ>0 is a positive parameter and a:(0,1)[0,) is continuous and 01a(t)dt>0, f:[0,)[0,) is continuous and α,β0,α+β>0. Here, by a positive solution of the boundary value problem we mean a function which is positive on (0, 1) and satisfies differential equation (1.1) and the boundary condition (1.2).

Section snippets

Preliminaries

In this section, we present some notations and lemmas that will be used in the proof our main results.

Definition 2.1

Let E be a real Banach space. A nonempty closed set KE is called a cone of E if it satisfies the following conditions:

  • (1)

    xK,λ0 implies λxK;

  • (2)

    xK,-xK implies x=0.

Definition 2.2

An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets.

Lemma 2.1

LetyC[0,1]then the boundary value problemu(t)+y(t)=0,0<t<1,u(0)=u(0)=0,αu(1)+βu(1)=0,has a unique solutionu(t)=01G(t,s)y(s)d

Existence of positive solutions

In this section, we will apply Krasnoselskii’s fixed-point theorem to the eigenvalue problem (1.1), (1.2).

Theorem 3.1

Suppose thatAf>BF0. Then for eachλ(1Af,1BF0)the problem(1.1), (1.2)has at least one positive solution.

Proof

By the definition of F0, we see that there exists an l1>0, such that f(u)(F0+ε)u for 0<ul1. If uP with u=l1, we haveTu=(Tu)(1)=λ01G(1,s)a(s)f(u(s))dsλ(F0+ε)uBChoose ε>0 sufficiently small such that (F0+ε)λB1. Then we have Tuu.

Thus if we let Ω1={uX|u<l1}, then Tuu

Cited by (25)

View all citing articles on Scopus
View full text