THREE SYMMETRIC POSITIVE SOLUTIONS FOR LIDSTONE PROBLEMS BY A GENERALIZATION OF THE LEGGETT-WILLIAMS THEOREM

Similar documents
TRIPLE POSITIVE SOLUTIONS FOR A CLASS OF TWO-POINT BOUNDARY-VALUE PROBLEMS

FUNCTIONAL COMPRESSION-EXPANSION FIXED POINT THEOREM

Existence of a Positive Solution for a Right Focal Discrete Boundary Value Problem

NONLINEAR EIGENVALUE PROBLEMS FOR HIGHER ORDER LIDSTONE BOUNDARY VALUE PROBLEMS

MULTIPLE POSITIVE SOLUTIONS FOR FOURTH-ORDER THREE-POINT p-laplacian BOUNDARY-VALUE PROBLEMS

MULTIPLICITY OF CONCAVE AND MONOTONE POSITIVE SOLUTIONS FOR NONLINEAR FOURTH-ORDER ORDINARY DIFFERENTIAL EQUATIONS

INTERNATIONAL PUBLICATIONS (USA)

Abdulmalik Al Twaty and Paul W. Eloe

Fixed point theorem utilizing operators and functionals

MULTIPLE FIXED POINT THEOREMS UTILIZING OPERATORS AND FUNCTIONALS

Positive solutions and nonlinear multipoint conjugate eigenvalue problems

Three symmetric positive solutions of fourth-order nonlocal boundary value problems

Positive solutions of BVPs for some second-order four-point difference systems

Layered Compression-Expansion Fixed Point Theorem

Positive periodic solutions of nonlinear functional. difference equation

Positive and monotone solutions of an m-point boundary-value problem

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR FOURTH-ORDER BOUNDARY-VALUE PROBLEMS IN BANACH SPACES

POSITIVE SOLUTIONS FOR NONLOCAL SEMIPOSITONE FIRST ORDER BOUNDARY VALUE PROBLEMS

EXISTENCE OF POSITIVE SOLUTIONS FOR p-laplacian THREE-POINT BOUNDARY-VALUE PROBLEMS ON TIME SCALES

POSITIVE SOLUTIONS OF FRACTIONAL DIFFERENTIAL EQUATIONS WITH DERIVATIVE TERMS

Multiple positive solutions for a nonlinear three-point integral boundary-value problem

Positive Solutions of Three-Point Nonlinear Second Order Boundary Value Problem

Existence Of Solution For Third-Order m-point Boundary Value Problem

Positive Solutions of a Third-Order Three-Point Boundary-Value Problem

Even Number of Positive Solutions for 3n th Order Three-Point Boundary Value Problems on Time Scales K. R. Prasad 1 and N.

On Positive Solutions of Boundary Value Problems on the Half-Line

arxiv: v1 [math.ca] 31 Oct 2013

POSITIVE SOLUTIONS OF A NONLINEAR THREE-POINT BOUNDARY-VALUE PROBLEM. Ruyun Ma

Existence and iteration of monotone positive solutions for third-order nonlocal BVPs involving integral conditions

Research Article The Existence of Countably Many Positive Solutions for Nonlinear nth-order Three-Point Boundary Value Problems

Applications Of Leggett Williams Type Fixed Point Theorems To A Second Order Difference Equation

Multiplesolutionsofap-Laplacian model involving a fractional derivative

ULAM-HYERS-RASSIAS STABILITY OF SEMILINEAR DIFFERENTIAL EQUATIONS WITH IMPULSES

Commentationes Mathematicae Universitatis Carolinae

Nontrivial solutions for fractional q-difference boundary value problems

Positive Solutions to an N th Order Right Focal Boundary Value Problem

Upper and lower solution method for fourth-order four-point boundary value problems

ON THE EXISTENCE OF MULTIPLE SOLUTIONS TO BOUNDARY VALUE PROBLEMS FOR SECOND ORDER ORDINARY DIFFERENTIAL EQUATIONS

MONOTONE POSITIVE SOLUTION OF NONLINEAR THIRD-ORDER TWO-POINT BOUNDARY VALUE PROBLEM

EXISTENCE AND APPROXIMATION OF SOLUTIONS OF SECOND ORDER NONLINEAR NEUMANN PROBLEMS

Positive Periodic Solutions of Systems of Second Order Ordinary Differential Equations

POSITIVE SOLUTIONS FOR A SECOND-ORDER DIFFERENCE EQUATION WITH SUMMATION BOUNDARY CONDITIONS

Positive Solutions for p-laplacian Functional Dynamic Equations on Time Scales

EXISTENCE OF THREE WEAK SOLUTIONS FOR A QUASILINEAR DIRICHLET PROBLEM. Saeid Shokooh and Ghasem A. Afrouzi. 1. Introduction

Nonlocal Cauchy problems for first-order multivalued differential equations

PERIODIC SOLUTIONS FOR NON-AUTONOMOUS SECOND-ORDER DIFFERENTIAL SYSTEMS WITH (q, p)-laplacian

A NONLINEAR NEUTRAL PERIODIC DIFFERENTIAL EQUATION

Existence of triple positive solutions for boundary value problem of nonlinear fractional differential equations

Research Article Nonlinear Systems of Second-Order ODEs

EXISTENCE AND UNIQUENESS OF POSITIVE SOLUTIONS TO HIGHER-ORDER NONLINEAR FRACTIONAL DIFFERENTIAL EQUATION WITH INTEGRAL BOUNDARY CONDITIONS

Existence of multiple positive solutions for fourth-order boundary value problems in Banach spaces

Boundary Value Problems For A Differential Equation On A Measure Chain

Positive solutions of three-point boundary value problems for systems of nonlinear second order ordinary differential equations

DELAY INTEGRO DIFFERENTIAL EQUATIONS OF MIXED TYPE IN BANACH SPACES. Tadeusz Jankowski Technical University of Gdańsk, Poland

ON QUADRATIC INTEGRAL EQUATIONS OF URYSOHN TYPE IN FRÉCHET SPACES. 1. Introduction

EXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL

Topological transversality and boundary value problems on time scales

Research Article Solvability of a Class of Integral Inclusions

ON THE EXISTENCE OF POSITIVE SOLUTIONS OF HIGHER ORDER DIFFERENCE EQUATIONS. P. J. Y. Wong R. P. Agarwal. 1. Introduction

SIMULTANEOUS AND NON-SIMULTANEOUS BLOW-UP AND UNIFORM BLOW-UP PROFILES FOR REACTION-DIFFUSION SYSTEM

The antipodal mapping theorem and difference equations in Banach spaces

Nontrivial Solutions for Boundary Value Problems of Nonlinear Differential Equation

EXISTENCE OF SOLUTIONS TO A BOUNDARY-VALUE PROBLEM FOR AN INFINITE SYSTEM OF DIFFERENTIAL EQUATIONS

THE ANALYSIS OF SOLUTION OF NONLINEAR SECOND ORDER ORDINARY DIFFERENTIAL EQUATIONS

MULTIPLE POSITIVE SOLUTIONS OF BOUNDARY VALUE PROBLEMS FOR P-LAPLACIAN IMPULSIVE DYNAMIC EQUATIONS ON TIME SCALES

EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SECOND-ORDER NONLINEAR HYPERBOLIC SYSTEM

KRASNOSELSKII-TYPE FIXED POINT THEOREMS UNDER WEAK TOPOLOGY SETTINGS AND APPLICATIONS

Research Article Multiple Positive Solutions for m-point Boundary Value Problem on Time Scales

Existence and multiple solutions for a second-order difference boundary value problem via critical point theory

NONLINEAR THREE POINT BOUNDARY VALUE PROBLEM

Stability properties of positive solutions to partial differential equations with delay

HYERS-ULAM STABILITY FOR SECOND-ORDER LINEAR DIFFERENTIAL EQUATIONS WITH BOUNDARY CONDITIONS

HARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.

Research Article Existence and Uniqueness Results for Perturbed Neumann Boundary Value Problems

Journal of Inequalities in Pure and Applied Mathematics

K-DIMENSIONAL NONLOCAL BOUNDARY-VALUE PROBLEMS AT RESONANCE. 1. Introduction In this article we study the system of ordinary differential equations

Triple positive solutions of fourth-order impulsive differential equations with integral boundary conditions

Existence of Positive Periodic Solutions of Mutualism Systems with Several Delays 1

BOUNDARY VALUE PROBLEMS OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION

EXISTENCE OF POSITIVE PERIODIC SOLUTIONS FOR A CLASS OF NONAUTONOMOUS DIFFERENCE EQUATIONS

Existence of Positive Solutions to a Family of Fractional Two-Point Boundary Value Problems

Multiple positive solutions for a class of quasilinear elliptic boundary-value problems

Sufficient conditions for functions to form Riesz bases in L 2 and applications to nonlinear boundary-value problems

EXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS

INTEGRABLE SOLUTIONS OF A FUNCTIONAL-INTEGRAL EQUATION. In this paper we consider the following functional-integral equation. k(t, s)g(s, y(s)) ds

Existence and multiplicity of positive solutions of a one-dimensional mean curvature equation in Minkowski space

M.S.N. Murty* and G. Suresh Kumar**

Singular boundary value problems

Sign-changing solutions to discrete fourth-order Neumann boundary value problems

On the existence of solution to a boundary value problem of fractional differential equation on the infinite interval

Positive solutions for singular third-order nonhomogeneous boundary value problems with nonlocal boundary conditions

BOUNDEDNESS AND EXPONENTIAL STABILITY OF SOLUTIONS TO DYNAMIC EQUATIONS ON TIME SCALES

Singularities and Laplacians in Boundary Value Problems for Nonlinear Ordinary Differential Equations

A non-local problem with integral conditions for hyperbolic equations

JUNXIA MENG. 2. Preliminaries. 1/k. x = max x(t), t [0,T ] x (t), x k = x(t) dt) k

POSITIVE SOLUTIONS FOR BOUNDARY VALUE PROBLEM OF SINGULAR FRACTIONAL FUNCTIONAL DIFFERENTIAL EQUATION

On the Solvability of Two-point, Second-order Boundary Value Problems

EXISTENCE OF SOLUTIONS FOR BOUNDARY VALUE PROBLEMS ON INFINITE INTERVALS. We consider the second order nonlinear differential equation

BLOW-UP OF SOLUTIONS FOR VISCOELASTIC EQUATIONS OF KIRCHHOFF TYPE WITH ARBITRARY POSITIVE INITIAL ENERGY

Transcription:

Electronic Journal of Differential Equations Vol. ( No. 4 pp. 1 15. ISSN: 17-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu ejde.math.unt.edu (login: ftp THREE SYMMETRIC POSITIVE SOLUTIONS FOR LIDSTONE PROBLEMS BY A GENERALIZATION OF THE LEGGETT-WILLIAMS THEOREM RICHARD I. AVERY JOHN M. DAVIS & JOHNNY HENDERSON Abstract. We study the existence of solutions to the fourth order Lidstone boundary value problem y (4 (t f(y(t y (t y( y ( y (1 y(1. By imposing growth conditions on f and using a generalization of the multiple fixed point theorem by Leggett and Williams we show the existence of at least three symmetric positive solutions. We also prove analogous results for difference equations. 1. Introduction First we are concerned with the existence of multiple solutions for the fourth order Lidstone boundary value problem (BVP y (4 (t f(y(t y (t t 1 (1 y( y ( y (1 y(1 ( where f : R R [ is continuous. We will impose growth conditions on f which ensure the existence of at least three symmetric positive solutions of (1 (. There is much current attention focused on questions of positive solutions of boundary value problems for ordinary differential equations as well as for for finite difference equations; see [ 5 6 8 1 11 1 13 17 18 19 ] to name a few. Much of this interest is due to the applicability of certain fixed point theorems of Krasnosel skii [15] or Leggett and Williams [16] to obtain positive solutions or multiple positive solutions which lie in a cone. The recent book by Agarwal O Regan and Wong [1] gives a good overview for much of the work which has been done and the methods used. Mathematics Subject Classification. 34B18 34B7 39A1 39A99. Key words. Lidstone boundary value problem Green s function multiple solutions fixed points difference equation. c Southwest Texas State University and University of North Texas. Submitted December 6 1999. Published May 3. 1

R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 In [3] Avery imposed conditions on g which yield at least three positive solutions to the second order conjugate BVP y (t+g(y(t t 1 (3 y( y(1 (4 using the Leggett-Williams Fixed Point Theorem. Henderson and Thompson [14] improved these results by using the symmetry of the associated Green s function and then Avery and Henderson [5] established similar results by applying the Five Functionals Fixed Point Theorem [4] (which is a generalization of the Leggett- Williams Fixed Point Theorem to obtain the existence of three positive solutions of certain BVPs. Davis Eloe and Henderson [8] imposed conditions on f to yield at least three positive solutions to the mth order Lidstone BVPs by applying the Leggett- Williams Fixed Point Theorem. Note that [8] is the only work which has allowed f to depend on higher order derivatives of y. This paper is in the same spirit as [5] and [8] since we apply the Five Functionals Fixed Point Theorem [4] and also allow f to depend on y. This derivative dependence generalizes [9] as well. In Section we provide some background results and state the Five Functionals Fixed Point Theorem. In Section 3 we impose growth conditions on f which allow us to apply this theorem in obtaining three symmetric positive solutions of (1 (. In Section 4 we prove discrete analogs of the results in Section 3.. Some Background Definitions and Results In this section we provide some background material from the theory of cones in Banach spaces in order that this paper be self-contained. We also state the Five Functionals Fixed Point Theorem for cone preserving operators. Definition 1. Let E be a Banach space over R. A nonempty closed set P Eis a cone provided (a αu + βv P for all u v P and all α β and (b u u P implies u. Definition. A Banach space E is a partially ordered Banach space if there exists a partial ordering on E satisfying (a u v foruv E implies tu tv for all t and (b u 1 v 1 and u v foru 1 u v 1 v E imply u 1 + u v 1 + v. Let P Ebeacone and define u v if and only if v u P. Then is a partial ordering on E and we will say that is the partial ordering induced by P. Moreover E is a partially ordered Banach space with respect to. We also state the following definitions for future reference. Definition 3. The map α is a nonnegative continuous concave functional on P provided α : P [ is continuous and α(tx +(1 ty tα(x+(1 tα(y for all x y Pand t 1. Similarly we say the map β is a nonnegative continuous convex functional on P provided β : P [ is continuous and β(tx +(1 ty tβ(x+(1 tβ(y for all x y P and t 1.

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 3 Definition 4. An operator A is completely continuous if A is continuous and compact i.e. A maps bounded sets into precompact sets. Let γ β θ be nonnegative continuous convex functionals on P and α ψ be nonnegative continuous concave functionals on P. Then for nonnegative numbers h a b d andc we define the following convex sets: P (γc{x P γ(x<c} P(γαac{x P a α(xγ(x c} Q(γβdc{x P β(x d γ(x c} P (γθαabc{x P a α(x θ(x b γ(x c} Q(γβψhdc{x P h ψ(x β(x d γ(x c}. In obtaining multiple symmetric positive solutions of (1 ( the following socalled Five Functionals Fixed Point Theorem will be fundamental. Theorem 1. [4] Let P be a cone in a real Banach space E. Suppose α and ψ be nonnegative continuous concave functionals on P and γ β andθbe nonnegative continuous convex functionals on P such that for some positive numbers c and m α(x β(x and x mγ(x for all x P (γc. Suppose further that A : P (γc P(γc is completely continuous and there exist constants h d a b with <d<asuch that each of following is satisfied: (C1 {x P (γθαabc α(x >a} and α(ax >afor x P (γθαabc (C {x Q(γβψhdc β(x<d} and β(ax <dfor x Q(γβψhdc (C3 α(ax >aprovided x P (γαac with θ(ax >b (C4 β(ax <dprovided x Q(γβdc with ψ (Ax <h. Then A has at least three fixed points x 1 x x 3 P(γc such that β(x 1 <d a<α(x and d<β(x 3 with α(x 3 <a. 3. Three Symmetric Positive Solutions In this section we will impose growth conditions on f which allow us to apply Theorem 1 in regard to obtaining three symmetric positive solutions of (1 (. We will apply Theorem 1 in conjunction with a completely continuous operator whose kernel G(t s is the Green s function for v satisfying (4. In particular G(t s { t(1 s t s 1 s(1 t s t 1.

4 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 We will make use of various properties of G(t s namely r 1 r t t(1 t G(t s ds t 1 G(1/sds G(1/sds 1 1 r 1 r 1 t1 G(1/sds 1 <r (5 4r G(1/sds r 4 <r (6 16r G(t 1 sds + G(t 1 sds t 1 (t t 1 <t 1 <t <1/ (7 G(1/r 1 r 1 G(t r t <t 1/ (8 G(t 1 r r 1 G(t r t 1 t <t 1 <t 1/. (9 Let E C[ 1] be endowed with the imum norm v t 1 v(t and for <t 3 <1/ define the cone P Eby { P v E v(tv(1 t v(t v(tisconcaveforallt [ 1] } and v(t t 3 v. t [t 31 t 3] Finally we define the nonnegative continuous concave functionals α ψ and the nonnegative continuous convex functionals β θ γ on P by γ(v α(v ψ(v β(v v(t v(t 3 t [t 3] [1 t 31] t [ 1 r 1 1 r] v(tv(1/r t [ 1 r 1 1 r] v(tv(1/ v(t v(t 1 t [t 1t ] [1 t 1 t 1] θ(v v(t v(t t [t 1t ] [1 t 1 t 1] where t 1 t andrare nonnegative numbers such that We observe here that for each v P <t 1 <t < 1 and 1 r t. α(vv(t 1 v(1/ β(v (1 v v(1/ v(t 3 t 3 1 t 3 γ(v (11

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 5 and also that y Pis a solution of (1 ( if and only if there exists a v Psuch that y(t G(t sv(s ds t 1 where v is of the form ( v(t G(t sf G(s τv(τdτ v(s ds t 1. In light of these preliaries we are now ready to present the main result of this section. Theorem. Suppose there exist <a<b< t t 1 b csuch that f satisfies each of the following growth conditions: ( ( (G1 f(zw < a (G f(zw [ ] b t t 1 b (G3 f(zw 8r r 4 b t 1(t t 1 c r t 3(1 t 3 for (zw [ ] [ c t for (zw c c 3(1 t 3 16t 3 t 3 ]. [ ] for all (zw a(r r a 3 8 [ a r a] [ ] bt 1 (t t 1 c(t 1 +t(1 t 4t 3 + bt(t t 1 t 1 Then the Lidstone BVP (1 ( has at least three symmetric positive solutions y 1 y y 3 suchthat (t c for i 13 and t [t y i 3] [1 t 31] t [t y 1 (t >b 1t ] [1 t 1 t 1] t [ 1 r 1 1 r ] y (t <a t [t y 3 1t ] [1 t 1 t 1] for some v 1 v v 3 P satisfying y i (t (t <b with t [ 1 r 1 1 r ] y 3 G(t sv i (s ds i 13. Proof. Define the completely continuous operator A by where Av(t Bv(s G(t sf(bv(sv(s ds G(s τv(τ dτ. (t >a We seek three fixed points v 1 v v 3 Pof A which satisfy the conclusion of the theorem. We note first that if v P then from the properties of G(t s Av(t Bv(t (Av (t f(b(v(tv(t t 1 Av(t 3 t 3 Av(1/ and Av(t Av(1 t t 1/. Consequently A : P P. Also for all v P by (1 we have α(v β(v and by (11 v 1 t 3 γ(v. If v P (γc then v 1 t 3 γ(v c t 3 which implies that for s [ 1] [ ] [ ] c c v(s and Bv(s. t 3 16t 3

6 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 By condition (G3 we have γ(av t [t 3] [1 t 31] Therefore A : P (γc P(γc. It is immediate that { ( v P G (t 3 sf(bv(sv(s ds ( c 1 G (t 3 s ds t 3 (1 t 3 c. { v Q b c t 1 γθαb t ( γβψ a r ac G(t sf(bv(sv(s ds } α(v >b } β(v<a and thus the first parts of (C1 and (C are satisfied. In order to show the second part of (C1 holds let v P (γθαb t t 1 b c. For each s [t 1 t ] [1 t 1 t 1 ] we have b v(s t t 1 b. Hence bt 1 (t t 1 Bv(s c(t 1 + t (1 t 4t 3 + bt (t t 1 t 1 and by condition (G and (7 we see α(av t [t 1t ] [1 t 1 t 1] t G (t 1 sf(bv(sv(s ds G(t sf(bv(sv(s ds t1 > G (t 1 sf(bv(sv(s ds + G (t 1 sf(bv(sv(s ds t 1 1 t ( b t ( b 1 t1 G (t 1 s ds + G (t 1 s ds t 1 (t t 1 t 1 t 1 (t t 1 1 t ( ( b t1 [(1 t 1 (1 t ] + t 1(t t 1 t 1 (t t 1 b. To verify the second part of (C let v Q(γβψ a r ac. This implies that for each s [ 1 r 1 ] 1 r wehave v(s [ ] a r a and Bv(s [ a(r r 3 a ]. 8

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 7 Thus by condition (G1 and the calculations in (5 and (6 β(av t [ 1 r 1 1 r] r G(t sf(bv(sv(s ds G (1/sf(Bv(sv(s ds G(1/sf(Bv(sv(s ds + 1 r ( 8r c < r t 3 (1 t 3 + a. r 4 ( a c r t 3 (1 t 3 G(1/sf(Bv(sv(s ds ( r 4 To show (C3 holds suppose v P (γαbc withθ(av > t t 1 b. Using (9 we get α(av G(t sf(bv(sv(s ds t [t 1t ] [1 t 1 t 1] t 1 t G (t 1 sf(bv(sv(s ds G (t 1 s G(t s G(t sf(bv(sv(s ds G (t sf(bv(sv(s ds t 1 θ(ay t >b. Finally to show (C4 we take v Q(γβac withψ(av < a r. Using (8 we have β(av G(t sf(bv(sv(s ds t [ 1 r 1 1 r] G (1/sf(Bv(sv(s ds 8r G (1/s G (1/r s f(bv(sv(s ds G(1/r s r G (1/r s f(bv(sv(s ds r ψ(ay <a. Therefore the hypotheses of Theorem 1 are satisfied and there exist three positive solutions y 1 y andy 3 for the Lidstone BVP (1 (. Moreover these solutions are of the form y i (t G(t sv i (s ds i 13 for some v 1 v v 3 P.

8 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 Remark. We have chosen to perform the analysis when f is autonomous. However if f f(t w z and in addition for each (w z f(t w z is symmetric about t 1 then an analogous theorem would be valid with respect to the same cone P. 4. Discrete Analogs Motivated by the early multiple solutions results for difference equations [1 6] and specifically papers involving difference equations satisfying Lidstone boundary conditions [7] we want to extend Theorem to discrete problems. To this end we will again impose growth conditions on f which allow us to apply Theorem 1 and obtain three symmetric positive solutions of the discrete fourth order Lidstone BVP 4 y(t f(y(t y(t 1 a+ t b+ (1 y(a y(a y(b+y(b+4 (13 where f : R R [ is continuous. We will apply Theorem 1 in conjunction with a completely continuous operator whose kernel G 1 (t s is the Green s function for w(t 1 w(a +1w(b+3. In particular (t a 1(b +3 s a+1 t s b+3 G 1 (t s b+ a (s a 1(b +3 t a+1 s t b+3. b+ a We will write our solutions of (1 (13 in the form y(t b+1 sa+1 G (t sv(s where G (t s is the Green s function for w(t 1 w(a w(b+4 and v is a fixed point of a completely continuous operator with kernel G 1 (t s. In particular (t a(b +4 s a t s b+4 G (t s b+4 a (s a(b +4 t a s t b+4. b+4 a We will make use of various properties of G (t s andg 1 (t s namely b+3 sa+1 G (t s G 1 (t s (t a(b +4 t a t b+4 (t a 1(b +3 t a+1 t b+3

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 9 3 sa+k 3 G(t m sc 1 (14 a+k 3 1 a+k G 1 (t m s+ sa+k 1 G 1 (t 1 s+ 3 sa+k 3 G (t 3 sc 4 a+k sa+k 1 G (t 1 s+ a+k 1 1 sa+1 a+k G (t m s+ sa+k 1 G (t m s+ G 1 (t m r a+ r b+ G 1 (t r a+ r b+ b+3 sb+5 k 3 G 1 (t m sc (15 1 s G 1 (t 1 sc 3 (16 1 s G (t 1 sc 5 b+3 k sa+k +1 1 G (t m s+ s G (t m sc 7 b+3 sb+5 k 1 G (t m sc 6 t m a 1 t a 1 a+ t t m (17 G 1 (t r G 1 (t r t a 1 t a 1 a+ t t t m (18 For completeness we have calculated and included the values of the above constants. C 1 (t m a 1(b +3 t m (t 3 a 1 ( C (t 3 a 1 ( C 3 (t 1 a[(t a ( +(b+4 t 1 ( (t 1 a 1 ( (b+3 t ( ] (b + a C 4 (t 3 a[(b +5 t 3 ( (t 3 a ( ] (b +4 a C 5 (t 1 a[(t +1 a ( +(b+5 t 1 ( (t 1 a ( (b+4 t ( ] (b +4 a C 6 (b+4 t m(t m a+(t 1 a ( (t a +1 ( C 7 (t a +1 ( (t 1 a ( Define b +4+a t m

1 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 and b +4 a M. Let E 1 {y y :[a b +4] R}be endowed with the imum norm y 1 y(t a t b+4 and for k M lett a+k and define the cone P 1 E 1 by y E 1 such that y(a + k y( for all k [M] y(t y(t 1 for all a +1 t b+3 P 1 (. and y(t t a y 1 t [a+k ] t m a Similarly let E {y y :[a+1b+3] R} be endowed with the imum norm v v(t a+1 t b+3 and define the cone P E by v E such that v(a +1+kv(b+3 k for all k [M 1] v(t v(t 1 for all a + t b+ P (. and v(t t a 1 v t [a+k ] t m a 1 Finally we define the nonnegative continuous concave functionals α ψ and the nonnegative continuous convex functionals β θ γ on P by γ(v ψ(v β(v α(v v(t v(t t [a+1a+k ] [ b+3] v(t v(t 3 t [a+k 3 3] v(t v(t m t [a+k 3 3] v(t v(t 1 t [a+k 1a+k ] [ 1] θ(v v(t v(t t [a+k 1a+k ] [ 1] where t 1 a + k 1 t + a + k and t 3 a + k 3 are nonnegative numbers such that We observe here that for each v P k 1 k k 3 [M]andk 1 k. α(vv(t 1 v(t m β(v (19 ( ( tm a 1 tm a 1 v v(t m v(t γ(v ( t a 1 t a 1 and also that y P 1 is a solution of (1 (13 if and only if there exists a v P such that y(t b+3 sa+1 G (t sv(s a t b+4

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 11 where v is of the form v(t G 1 (t sf ( b+3 τ a+1 G (s τv(τv(s a+1 t b+3. In light of these preliaries we are now ready to present the main result of this section. ( Theorem 3. Suppose there exist < a < b < t a 1 t 1 a 1 b c such that f satisfies each of the following growth conditions: (Γ1 f(zw < a c C 1 C (t a 1(b+3 t C 1 for all (zw in [ a ] [ (t 3 a 1C 4 a (t m a(b +4 t m a ] (t 3 a 1 (t m a 1 t m a 1 a C 3 for all (zw in [ b C 5 b (t a 1C 7 + (t 1 a 1 (Γ f(zw < b (Γ3 f(zw c (t a 1(b+3 t [ c (t m a ( (b +4 t m (t a 1 c C 6 (t a 1(b +3 t for all (zw in ] ] [ b t ] a 1 t 1 a 1 b [ c (t m a 1 t a 1 Then the Lidstone BVP (1 (13 has at least three symmetric positive solutions y 1 y y 3 P 1 suchthat t [a+1a+k y i (t 1 c for i 13 ] [ b+3] t [a+k y 1 (t 1 >b 1a+k ] [ 1] t [a+k y (t 1 <a 3 3] and t [a+k y 3 (t 1 <b 1a+k ] [ 1] with t [a+k y 3 (t 1 >a 3 3] for some v 1 v v 3 P satisfying y i (t G (t sv i (s i 13. Proof. Define the completely continuous operator A by where Av(t G 1 (t sf(bv(sv(s Bv(s b+3 τ a+1 G (s τv(τ. ]. a+1 t b+3

1 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 We seek three fixed points v 1 v v 3 P of A which satisfy the conclusion of the theorem. We note first that if v P then from the properties of G 1 (t s and G (t s it follows that Av(t Bv(t and (Av(t 1 f(bv(tv(t a+ t b+ (Bv(t 1 v(t ( t a 1 t m a 1 a+ t b+ Av(t m and Av(a+k Av(for1 k M. Moreover Av(t Consequently A : P P. Also for all v P by (19 we have α(v β(v and by ( ( tm a 1 v γ(v. t a 1 If v P (γc then v ( tm a 1 γ(v c (t m a 1 t a 1 (t a 1 which implies that for s [a +1b+3] [ ] v(s c (t m a 1 and Bv(s t a 1 By condition (Γ3 we have γ(av t [a+1a+k ] [ b+3] ( c. [ c (t m a ( ] (b +4 t m. (t a 1 G 1 (t sf(bv(sv(s c t a 1(b +3 t Therefore A : P (γc P(γc. It is immediate that { v P (γθαb b (t a 1 b+ G 1 (t sf(bv(sv(s G 1 (t s } t 1 a 1 c : α(v >b { v Q(γβψ a (t 3 a 1 t m a 1 a c : β(v <a } and thus the first parts of (C1 and (C are satisfied. In order to show the second part of (C1 holds let v P (γθαb b (t a 1 t 1 a 1 c. For each s [a + k 1 a+k ] [ 1 ] we have b v(s b (t a 1 t 1 a 1. Hence b C 5 Bv(s b (t a 1C 7 c C 6 + (t 1 a 1 (t a 1(b +3 t

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 13 and by condition (Γ and (16 we see α(av t [a+k 1a+k ] [ 1] a+k G 1 (t 1 sf(bv(sv(s G 1 (t sf(bv(sv(s 1 G 1 (t 1 sf(bv(sv(s + G 1 (t 1 sf(bv(sv(s sa+k 1 s ( ( b a+k 1 > G 1 (t 1 s+ G 1 (t 1 s C 3 sa+k 1 s b. To verify the second part of (C let v Q(γβψ a (t 3 a 1 t m a 1 a c. This implies that for each s [a + k 3 3 ] we have a (t 3 a 1 t m a 1 v(s a and a (t 3 a 1C 4 (t m a 1 Bv(s a (t m a(b +4 t m. Thus by condition (Γ1 and the calculations in (14 and (15 β(av t [a+k 3 3] a+k 3 1 G 1 (t m sf(bv(sv(s G 1 (t sf(bv(sv(s 3 G 1 (t m sf(bv(sv(s + G 1 (t m sf(bv(sv(s sa+k 3 + G 1 (t m sf(bv(sv(s sb+5 k 3 ( c < (t a 1(b +3 t a. ( a C + C 1 c C (t a 1(b +3 t C 1 C 1

14 R.I. AVERY J.M. DAVIS AND J. HENDERSON EJDE /4 To show (C3 holds suppose v P (γαb c withθ(av > b (t a 1 t. Using 1 a 1 (18 we get α(av t [a+k 1a+k ] [ 1] t 1 a 1 t a 1 G 1 (t 1 sf(bv(sv(s ( G1 (t 1 s G 1 (t sf(bv(sv(s G 1 (t s t 1 a 1 t a 1 θ(av >b. G 1 (t sf(bv(sv(s G 1 (t sf(bv(sv(s Finally to show (C4 we take v Q(γβa c withψ(av < a (t 3 a 1 t. Using m a 1 (17 we have β(av t [a+k 3 3] ( tm a 1 t 3 a 1 ( tm a 1 t 3 a 1 G 1 (t m sf(bv(sv(s G 1 (t sf(bv(sv(s ( G1 (t m s G 1 (t 3 sf(bv(sv(s G 1 (t 3 s b+ ψ(av G 1 (t 3 sf(bv(sv(s <a. The hypotheses of Theorem 1 are satisfied and as a result there exist three positive solutions y 1 y andy 3 P 1 for the Lidstone BVP (1 (13. Moreover these solutions are of the form for some v 1 v v 3 P. y i (t b+1 sa+1 G (t sv i (s i 13 Remark. We have chosen to perform the analysis when f is autonomous. However if f f(t w z and in addition for each (w z f(t w z is symmetric about t t m then an analogous theorem would be valid with respect to the same cone P.

EJDE /4 THREE SYMMETRIC POSITIVE SOLUTIONS 15 References [1] R.P. Agarwal D. O Regan and P.J.Y. Wong Positive Solutions of Differential Difference and Integral Equations Kluwer Academic Publishers Boston 1999. [] R.P. Agarwal and P.J.Y. Wong Double positive solutions of (n p boundary value problems for higher order difference equations Comput. Math. Appl. 3 (1996 1 1. [3] R.I. Avery Existence of multiple positive solutions to a conjugate boundary value problem Math. Sci. Res. Hot-Line (1998 1 6. [4] R.I. Avery A generalization of the Leggett-Williams fixed point theorem Math. Sci. Res. Hot-Line 3 (1999 9 14. [5] R.I. Avery and J. Henderson Three symmetric positive solutions for a second order boundary value problem Appl. Math. Lett. in press. [6] R.I. Avery and A.C. Peterson Multiple positive solutions of a discrete second order conjugate problem Panamer. Math. J. 8 (1998 1 1. [7] J.M. Davis P.W. Eloe and J. Henderson Comparison of eigenvalues for discrete Lidstone boundary value problems Dynam. Systems Appl. 8 (1999 381 387. [8] J.M. Davis P.W. Eloe and J. Henderson Triple positive solutions and dependence on higher order derivatives J. Math. Anal. Appl. 37 (1999 71 7. [9] J.M. Davis and J. Henderson Triple positive symmetric solutions for a Lidstone boundary value problem Differential Equations Dynam. Systems 7 (1999 31 33. [1] P.W. Eloe and J. Henderson Positive solutions for (n 1 1 conjugate boundary value problems Nonlinear Anal. 8 (1997 1669 168. [11] L.H. Erbe Boundary value problems for ordinary differential equations Rocky Mountain J. Math. 17 (1991 1 1. [1] L.H. Erbe S. Hu and H. Wang Multiple positive solutions of some boundary value problems J. Math. Anal. Appl. 184 (1994 64 648. [13] L.H. Erbe and H. Wang On the existence of positive solutions of ordinary differential equations Proc. Amer. Math. Soc. 1 (1994 743 748. [14] J. Henderson and H.B. Thompson Multiple symmetric positive solutions for a second order boundary value problem Proc.Amer.Math.Soc. in press. [15] M.A. Krasnosel skii Positive Solutions of Operator Equations Noordhoff Groningen 1964. [16] R.W. Leggett and L.R. Williams Multiple positive fixed points of nonlinear operators on ordered Banach spaces Indiana Univ. Math. J. 8 (1979 673 688. [17] F. Merdivenci Positive solutions for focal point problems for nth order difference equations Panamer. Math. J. 5 (1995 71 8. [18] F. Merdivenci Two positive solutions of a boundary value problem for difference equations J. Differ. Equations Appl. 1 (1995 6 7. [19] P.J.Y. Wong Triple positive solutions of conjugate boundary value problems Comput. Math. Appl. 36 (1998 19 35. [] P.J.Y. Wong and R.P. Agarwal Multiple solutions of difference and partial difference equations with Lidstone conditions Math. Comput. Modelling in press. Richard I. Avery College of Natural Sciences Dakota State University Madison SD 574 USA E-mail address: averyr@pluto.dsu.edu John M. Davis Department of Mathematics Baylor University Waco TX 76798 USA E-mail address: John M Davis@baylor.edu Johnny Henderson Department of Mathematics Auburn University Auburn AL 36849 USA E-mail address: hendej@mail.auburn.edu