POSITIVE SOLUTIONS OF A SECOND-ORDER THREE-POINT BOUNDARY VALUE PROBLEM VIA FUNCTIONAL COMPRESSION-EXPANSION

This paper examines a three point, nonlocal boundary value problem for a second order ordinary differential equation. We make use of a generalization of the fixed point theorem of compression and expansion of functional type to obtain the existence of positive solutions.


Introduction
The literature concerning nonlocal boundary value problems is extensive.Moreover, applications of fixed point theorems to positive solutions of such has sparked much interest, see [9,10,11,12].Many of the results involving nonlocal boundary value problems are summarized in [9].A more general summary of positive solutions results for a variety of differential equation types is available in [1].Our interest lies in the nature of nonlocal problems as being the limiting problem of more classical focal problems.For example, we will consider the second order, three-point BVP x ′′ (t) + f (x(t)) = 0, t ∈ (0, 1) (1.1) with nonlocal conditions x(0) = 0 and x(η) = x (1) (1.2) where, η ∈ (0, 1) is fixed.With the BVP (1.1),(1.2) we associate the right focal BVP (1.1) with boundary conditions x(0) = 0, x ′ (1) = 0. We say that this is the limiting problem for (1.1),(1.2) in the sense that the "limit" occurs when we think of η → 1 − .Such problems and even characterizations are not new.For example, in [9] it is mentioned that for such problems often times numerical and experimental computation of x ′ (1) is more difficult It is for this reason that we are keen to investigate problems of this type.We will make use of some newer results concerning the Green's function of such problems in guaranteeing the existence of positive solutions for (1.1), (1.2).This article differentiates itself from these results in the application of a functional expansion-compression argument to obtain positive solutions, due [5].Where much of the current literature uses norm based, Krasnosel'skii fixed point results to obtain positive solutions for the cases when f is superlinear or sublinear, we will only assume that f : R → [0, ∞) is continuous and will EJQTDE, 2009 No. 55, p. 1 be using a functional approach highlighted in [2,3,5].Remarks concerning a larger class of problems will be given at the end.

Preliminaries
Our results are based on the functional compression-expansion fixed point theorem, due [5].We will list some preliminary material to be used later.We begin by defining a set of properties to which our functionals must adhere.Throughout this paper we assume 0 < η ≤ q < 1 are fixed.
A map γ is said to be a nonnegative, continuous, convex functional on a cone P ⊂ E if γ : P → [0, ∞) is continuous and satisfies the convex relationship Property A1.Let P be a cone in a real Banach space E and Ω be a bounded open subset of E with 0 ∈ Ω.Then a continuous functional  We will obtain positive solutions for (1.1), (1.2) by looking for a fixed point of a completely continuous operator which satisfies certain properties.A solution to (1.1), (1.2) is given by where G * (t, s) is the Green's function for the operator Lx := −x ′′ = 0 satisfying boundary conditions (1.2).Recent results in the literature, though are characterizing Green's functions for nonlocal problems as being part local and part nonlocal.For example, throughout this paper we will think of G * (t, s) as being given by where G(t, s) is the Green's function for the problem with local conditions x(0) = x(1) = 0, given by Some useful properties of the Green's function in this case are: The construction of Green's functions for multi-point problems, using two-point BVP Green's functions is considered in various places in the literature.The benefits of this approach are two-fold.We can easily make use of the positivity of the Green's function in this case and results using these Green's function methods are more easily generalizable to higher order (or larger multiple-point) results.

Main Result
We will make use of the generalization of the fixed point theorem of compression and expansion of functional type to obtain positive solutions, but first we define the parameters under which we will satisfy the theorem.
Let E = C[0, 1] endowed with the maximum norm be our Banach space.We define our cone P as follows: x is non-decreasing on [0, q] x ∈ E x is non-increasing on [q, 1] x is non-negative on [0, 1] The functionals which will satisfy the requirements of the theorem are given by and which satisfy properties A1(iii) and A2(i), respectively.We will consider the sets as well.We are now ready to impose growth conditions on f (x) to apply the theorem.Theorem 2. Suppose there exists positive numbers r and R such that 0 < r < ηR, and suppose that f satisfies the following growth conditions: Then the second order BVP, (1.1), (1.2) has at least one positive solution in P ∩ (Ω 2 − Ω 1 ).
Proof.We will verify each of the hypotheses of the functional compression-expansion theorem to obtain the result.
Claim 1.A : P → P is a completely continuous operator.
Standard arguments show that A is completely continuous.Let x ∈ P .Then by the properties of G * (t, s), Ax(t) ≥ 0, (Ax) ′′ (t) = −f (x(t)) ≤ 0.Moreover, there exists a q ∈ [0, 1] such that by the properties of Ax is non-decreasing on [0, q] and non-increasing on [q, 1].Hence, Ax ∈ P giving A : We employ properties of the Green's function as well as our growth conditions on f to resolve this claim: EJQTDE, 2009 No. 55, p. 5 As above we use the Green's function properties and growth conditions on f to resolve this claim: Having satisfied the hypotheses for the functional compression-expansion theorem for appropriately conditioned functionals, α and γ, we can conclude that the operator A has a fixed point in Ω 2 − Ω 1 .

Remarks
Similar results have been proved using fixed point theorems based on the Krasnosel'skii result.Echoing the sentiment expressed in [2,3,5] these arguments greatly simplify the results of [9,12] as well as others in establishing existence results for nonlocal boundary value problems.Let us consider for a moment the right focal "limit" problem (1.1) with boundary conditions x(0) = x ′ (1) = 0.In [3], this problem is considered where the growth conditions for the nonlinearity look like Notice that as η → 1 − the growth conditions, (i) and (ii), coincide.Likewise when we examine the BVP considered in [5] with boundary conditions x(0) = x(1) = 0 we note that this problem is related to our result for when η → 0 + and q → 1/2.In this case, it is interesting to note the growth conditions for the nonlinearity look like As above it is interesting to note that in our result above if you let q → 1/2 then growth condition (ii) can be replaced by f (x) ≤ 8 3 r which is very similar to what is obtained in [5].The motivation for the work in this regard is a unifying theorem that simultaneously gives existence results for all three problem types.As seen in this paper these ideas are not without some foundation.The additional freedom in choosing functionals provided by the result of [5] makes this possible and deserves more attention in the future.
and inf Let P be a cone in a real Banach space E and Ω be a bounded open subset of E with 0 ∈ Ω.Then a continuous functional β : P → [0, ∞) is said to satisfy property A2 if one of the following conditions hold: