INTERNATIONAL PUBLICATIONS (USA)

Transcription

1 INTERNATIONAL PUBLICATIONS (USA) Communications on Applied Nonlinear Analysis Volume 18(211), Number 3, Existence of Positive Solutions of a Second Order Right Focal Boundary Value Problem Douglas R. Anderson Concordia College Department of Mathematics and Computer Science Moorhead, MN USA andersod@cord.edu Richard I. Avery Dakota State University College of Arts and Sciences Madison, South Dakota 5742 USA rich.avery@dsu.edu Johnny Henderson Baylor University Department of Mathematics Waco, TX USA Johnny Henderson@baylor.edu Xueyan Liu Baylor University Department of Mathematics Waco, TX USA Xueyan Liu@baylor.edu Communicated by The Editors (Received June 21, 211; Accepted July 1, 211) 41

2 42 Anderson, Avery, Henderson and Liu Abstract This paper deals with the existence of a positive solution of a second order right focal boundary value problem. In particular, this paper profiles an application of a recent generalization of the Leggett-Williams fixed point theorem, which is void of any invariance like conditions, by utilizing operators and functionals. The sets in the fixed point theorem are defined using operators by an ordering generated by a border symmetric set, which leads to functional type boundaries of positive solutions of the boundary value problem over some parts of the domain. An example is provided to demonstrate the advantages of the flexibility of the results and the fixed point theorems. Key words: Fixed point theorems, Leggett-Williams, expansion, compression, operatorfunctional type, positive solution, right focal, boundary value problem. AMS Subject Classification: 34B1 1 Introduction Generalizations of the Leggett-Williams fixed point theorem [13] have received tremendous recent attention. Many results involve functionals and norms; see [1, 8, 6, 12, 16] for some of these generalizations. Mavridis [14] published the first extension of the Leggett-Williams fixed point theorem that used concave and convex operators, however the results incorporated invariance-like conditions. Anderson, Avery, Henderson and Liu [3] published the first operator type expansion-compression fixed point theorem void of invariance like conditions. To eliminate the comparability restriction in [3], and at the same time, to keep the functional boundaries, Anderson, Avery, Henderson and Liu [4] created a hybrid operator-functional fixed point theorem by introducing a less restrictive ordering through a border symmetric set. In this paper, we will apply this fixed point theorem from [4] utilizing functionals and operators to a second order right focal boundary value problem. The techniques demonstrated here show the flexibility of the theorem. 2 Preliminaries In this section, some preliminary definitions and the fixed point theorem from [4] that will be used in our applications are stated. Definition 2.1 Let E be a real Banach space. A nonempty, closed, convex set P E is called a cone if, for all x P and λ, λx P, and if x, x P then x =. Every subset C of a Banach space E induces an ordering in E given by x C y if and only if y x C, and we say that x< C y whenever x C y and x y. Furthermore, if the interior of C, which we denote as C, is nonempty then we say that x C y if and only if y x C. Note that if C and D are subsets of a Banach space E with C D then x C y implies x D y.

3 Second Order Right Focal BVP 43 Definition 2.2 A closed, convex subset M of a Banach space E with nonempty interior is said to be a border symmetric subset of E if for all x M and λ, λx M, and if the order induced by M satisfies the property that x M y and y M x implies that x y M and y x M. The border symmetric property is a less restrictive replacement of the antisymmetric property of a partial order. Definition 2.3 An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets. Definition 2.4 Let P be a cone in a real Banach space E. Then we say that A : P P is a continuous concave operator on P if A : P P is continuous and ta(x)+(1 t)a(y) P A(tx +(1 t)y) for all x, y P and t [, 1]. Similarly we say that B : P P is a continuous convex operator on P if B : P P is continuous and for all x, y P and t [, 1]. B(tx +(1 t)y) P tb(x)+(1 t)b(y) Definition 2.5 A map α is said to be a nonnegative continuous concave functional on a cone P of a real Banach space E if α : P [, ) is continuous and tα(x)+(1 t)α(y) α(tx +(1 t)y) for all x, y P and t [, 1]. Similarly we say the map β is a nonnegative continuous convex functional on a cone P of a real Banach space E if β : P [, ) is continuous and for all x, y P and t [, 1]. β(tx +(1 t)y) tβ(x) +(1 t)β(y) Let R and S be operators on a cone P of a real Banach space E, and let Q and M be subsets of E that contain P, with x R,x S E. Then we define the sets, P Q (R, x R )={y P : R(y) Q x R } and P (R, S, x R,x S,Q,M)=P Q (R, x R ) P M (S, x S ). Definition 2.6 Suppose P is a cone in a real Banach space E, Q is a subset of E with P Q, α is a nonnegative continuous concave functional on P, B is a continuous convex operator on P, a is a nonnegative real number, y B E and T : P P is a completely continuous operator. Then we say that T is LW-inward with respect to P Q (B,α,y B,a), ifp Q (B,y B ) is bounded and the following conditions are satisfied:

4 44 Anderson, Avery, Henderson and Liu (B1) {y P : a<α(y) and B(y) Q y B }. (B2) If y P Q (B,y B ) and a α(y), then B(Ty) Q y B. (B3) If y P Q (B,y B ) and α(ty) <a, then B(Ty) Q y B. Definition 2.7 Suppose P is a cone in a real Banach space E, M is a border symmetric subset of E with P M, β is a nonnegative continuous convex functional on P, A is a continuous concave operator on P, b is a nonnegative real number, y A E and T : P P is a completely continuous operator. Then we say that T is LW-outward with respect to P M (β,a,b,y A ), if P M (A, y A ) is bounded and the following conditions are satisfied: (A1) {y P : y A M A(y) and β(y) <b}. (A2) If y P M (A, y A ) and β(y) b, then y A M A(Ty). (A3) If y P M (A, y A ) and b<β(ty), then y A M A(Ty). We will exhibit the existence of a positive solution of a right focal boundary value problem as a result of applying the fixed point theorem utilizing operators and functionals [4] of Anderson, Avery, Henderson and Liu which appears as the following theorem (Theorem 2.8). Theorem 2.8 Suppose P is a cone in a real Banach space E, Q is a subset of E with P Q, M is a border symmetric subset of E with P M, α is a nonnegative continuous concave functional on P, β is a non-negative continuous convex functional on P, B is a continuous convex operator on P, A is a continuous concave operator on P, a and b are nonnegative real numbers, and y A and y B are elements of E. Furthermore, suppose that T : P P is completely continuous and (D1) T is LW-inward with respect to P Q (B,α,y B,a); (D2) T is LW-outward with respect to P M (β,a,b,y A ). If (H1) P M (A, y A ) P Q (B,y B ), then T has a fixed point y P (B,A,y B,y A,Q,M), whereas, if (H2) P Q (B,y B ) P M (A, y A ), then T has a fixed point y P (A, B, y A,y B,M,Q). 3 A Second Order Right Focal Boundary Value Problem In this section, we make application of Theorem 2.8 to obtain a positive solution of the second order right focal boundary value problem, x + f(x) =, t (, 1), (3.1) x() = x (1) =, (3.2) where f : R [, ) is continuous. Right focal boundary value problems have received a lot of attention, see [2, 9, 5, 7, 1, 11, 15, 17] for some representable results. Our results take a

5 Second Order Right Focal BVP 45 step towards global behaviors of the solution (knowledge about the solution on the domain) instead of local behaviors of the solution (knowledge about the solution at a collection of points). The Green s function for x = satisfying (3.2), is given by G(t, s) = min{t, s}, (t, s) [, 1] [, 1]. Notice that, for any s [, 1], wg(y, s) yg(w,s) if y w 1, and G(t, s) is nondecreasing in t for each fixed s [, 1]. It is well known that if x is a fixed point of the operator T defined by Tx(t) = G(t, s)f(x(s))ds, then x is a solution of the BVP (3.1), (3.2). Define the Banach space E = C[, 1] with the supremum norm, and let the cone P E be defined by P := {x E x is nonnegative, nondecreasing, and concave}. If x P, then for all t 1 t 2 1, t 2 x(t 1 ) t 1 x(t 2 ). (3.3) By the properties of the Green s function G(t, s), we have (Tx) (t) = f(x(t)), (Tx)(t), and (Tx)() = (Tx)(1) =, which imply T : P P. Also, by an Arzela-Ascoli Theorem argument, it is straightforward that T is a completely continuous operator. Theorem 3.1 Suppose there exist (, 1], < 1, y A,y B P \{}, <a< y B (1), ya(µ1) <band f :[, ) [, ) continuous, such that f satisfies at least one of (i) or (i ), where (i) f is nondecreasing over [a, y B (1)] and f(w) < min t [,1] (i ) f is nonincreasing over [,y B ()] and f(w) < min t [,1] and f satisfies at least one of (ii) or (ii ), where (ii) f(w) > (ii ) f(w) > max t [,] y A(t) t(1 ) for w [y A( ), ya(µ2) ], 6 2 (3 2 µ2 1 )µ2 1 w for w [,y A ( )]. y B(t) t f(yb(s))ds for w [,y B ()], y B(t) sf( a s)ds t(1 ) for w [a, y B (1)], If y A ( ) <y B (1) min{, }, then (3.1), (3.2) has a solution y P such that y (t) <y B (t), for t [,1], and y (t) y A (t), for t [, ]. If y B (1) <y A ( ), then (3.1), (3.2) has a solution y P such that y (t) <y A (t), for t [, ], and y (t) y B (t), for t [,1].

6 46 Anderson, Avery, Henderson and Liu Proof: We define A and B both be the identity operator on P. Then, A and B are continuous linear operators mapping P to P and also are concave and convex, respectively. Let the sets M and Q be defined by M = {y E y(t), t [, ]} and Q = {y E y(t),t [,1]}. It is easy to see that M is a border symmetric subset of E since if x, x M then for all t [, ] we have that x(t) and x(t) hence x(t) = for all t [, ] hence x M. Also note that P M, P Q with M = {y E y(t) >, t [, ]}, M = {y M y(t )=, for some t [, ]}, Q = {y E y(t) >, t [,1]}, Let the functionals α and β be defined by Q = {y Q y(t )=, for some t [,1]}. β(y) =y( ) and α(y) =y(). Note that α and β are both linear (hence both α and β are concave and convex functionals), continuous, nonnegative functionals. Claim 1: T is LW-inward with respect to P Q (B,α,y B,a). Subclaim 1.1: {y P : a<α(y) and B(y) Q y B }. Define y P by { a+yb() y = 2 t for t [,], a+y B() 2 for t [,1]. Note that y B () y B (1), a<y B (1), and α(y )=y () = a + y B() 2 (By )(t) =y (t) =y () = a + y B() 2 a + y B(1) 2 < y B(1) + y B () 2 >a, y B () y B (t), t [,1]; that is, a<α(y ) and B(y ) Q y B. Hence, y {y P : a<α(y) and B(y) Q y B }. Subclaim 1.2: If y P Q (B,y B ) and a α(y), then B(Ty) Q y B. Let y P Q (B,y B ) and a α(y). Then a y(), y(t) y B (t) for t [,1], and there exists t [,1] such that y(t )=y B (t ). Hence, for t [,], by the concavity (3.3) of y a t y() t y(t) y B (), and by using the monotonicity of y with a y() and y(t) y B (t) for t [,1] we have a y() y(t) y B (t) for t [,1].

7 Second Order Right Focal BVP 47 If f satisfies (i), then for all t [,1], (BTy)(t) = (Ty)(t) = = sf(y(s))ds + sf(y(s))ds + G(t, s)f(y(s))ds t < y B(t) t f(y B(s))ds = y B (t). If f satisfies (i ), then for all t [,1], sf(y(s))ds + tf(y(s))ds sds + t t tf(y(s))ds f(y B (s))ds (BTy)(t) < = y B (t). sf(y(s))ds + tf(y(s))ds ( a ) sf s ds + y B(t) sf( a s)ds t(1 ) t ds Therefore, B(Ty) Q y B. Subclaim 1.3: If y P Q (B,y B ) and α(ty) <a, then B(Ty) Q y B. Let y P Q (B,y B ) and α(ty) <a. Then, and for t [,1], Therefore, B(Ty) Q y B. α(ty)=(ty)() <a<y B (1), (BTy)(t) = (Ty)(t) = Subclaim 1.4: P Q (B,y B ) is bounded. G(t, s)f(y(s))ds t G(,s)f(y(s))ds = t (Ty)() < ty B (1) y B (t). Let y P Q (B,y B ). Then, (By)(t) =y(t) y B (t) for t [,1]. Hence, y(t) y B (1) for t [, 1]; that is, P Q (B,y B ) is bounded. Claim 2: T is LW-outward with respect to P M (β,a,b,y A ). Subclaim 2.1: {y P : y A M A(y), β(y) <b}.

8 48 Anderson, Avery, Henderson and Liu Let y (t) = 1 2 ( ) ya() + b t. Then y P and since ya(µ1) <b, we have β(y )=y ( )= 1 ( ) ya ( ) + b <b, 2 and (Ay )(t) =y (t) > y A( ) t y A (t), for all t [, ]. Hence, y {y P : y A M A(y), β(y) <b}. Subclaim 2.2: If y P M (A, y A ) and β(y) b, then y A M A(Ty). Let y P M (A, y A ) with β(y) b. Then, y(t) y A (t) for t [, ], y(t )=y A (t ) for some t [, ], and y( ) b. Hence, for t [, ] by the monotonocity and concavity of y and y A we have y A ( ) t y A(t ) t = y(t ) t y() t y(t) y A ( ), and similarly for t [, 1] y A ( ) y A (t )=y(t ) y(t) y() t y A( ) t. If f satisfies (ii), then for t [, ], (AT y)(t) = (Ty)(t) = G(t, s)f(y(s))ds tf(y(s))ds > y A(t) t(1 ) tds = y A (t). On the other hand, if f satisfies (ii ) and if we note that t t(µ2 2 t 2 ) is increasing over [, ], then for t [, ], (AT y)(t) = (Ty)(t) = > t sf(y(s))ds + t ( t 6 2 (3 2 µ2 1 )µ (3 2 µ2 1 )µ (3 2 µ2 1 )µ (3 2 µ2 1 )µ2 1 y A (t). G(t, s)f(y(s))ds µ2 ya( ) tf(y(s))ds µ2 sy(s)ds + µ1y A ( ) 2 µ1y A ( ) 2 t ) ty(s)ds ( t µ2 s 2 ds + t ( t t(µ2 2 t 2 ) (3µ2 2 1) 6 ) tsds ) = y A ( )

9 Second Order Right Focal BVP 49 Then, y A M A(Ty). Subclaim 2.3: If y P M (A, y A ) and b<β(ty), then y A M A(Ty). Let y P M (A, y A ) and b<β(ty). Then, (Ty)( ) >b, and so for t [, ], that is, y A M A(Ty). (AT y)(t) = (Ty)(t) = t Subclaim 2.4: P M (A, y A ) is bounded. G(t, s)f(y(s))ds G(,s)f(y(s))ds > t b> t ya( ) y A( ) t y A (t), Let y P M (A, y A ). Then y(t) y A (t) for t [, ]. For t [, 1], y(t) t y( ) ya(µ2). Hence, y is bounded by ya(µ2). Claim 3: If y A ( ) <y B (1) min{, }, then P M (A, y A ) P Q (B,y B ); if y B (1) <y A ( ), then P Q (B,y B ) P M (A, y A ). Suppose y A ( ) <y B (1) min{, }, then for y P M (A, y A ) and t [,1], y(t) t y() t { max y( ), y(µ } 1) t { µ max y A ( ), y } A( ) 1 < t {y max B (1) min{, }, } y B (1) min{, } ty B(1) max {min{, },} = ty B (1) y B (t); that is, P M (A, y A ) P Q (B,y B ). Define y (t) = 1 2 (y A(t) +y B (t)). Since y A P M (A, y A ), y A y P Q (B,y B ), since P Q (B,y B ) is convex. Notice P Q (B,y B ). Therefore, y ( ) = 1 2 (y A( )+y B ( )) 1 2 (y A( )+ y B (1)) > 1 2 (y A( )+y A ( )) = y A ( ), and so, y / P M (A, y A ); that is, P M (A, y A ) P Q (B,y B ). Suppose y B (1) <y A ( ). Let y P Q (B,y B ). Then y(t) y B (t) for t [,1]. Since y B (1) <y A ( ), so y(t) y B (1) <y A ( ) y A (t) for t [, ]. Hence, y P M (A, y A ). Define y (t) = 1 2 (y A(t)+y B (t)). Then y P since y A,y B P and P is convex. Notice for t [, ], y (t) < 1 2 (y A(t)+y A ( )) 1 2 (y A(t)+y A (t)) = y A (t) and y (1) = 1 2 (y A(1)+y B (1)) > 1 2 (y A( )+y B (1)) >y B (1), and so y P M (A, y A ) P Q (B,y B ), i.e., P Q (B,y B ) P M (A, y A ).

10 5 Anderson, Avery, Henderson and Liu Therefore, if y A ( ) <y B (1) min{, }, then by (H1) of Theorem 2.8, T has a fixed point y P (B,A,y B,y A,Q,M); that is, (3.1), (3.2) has a solution y P such that y (t) <y B (t) for t [,1], and y y A (t) for t [, ]. Moreover, if y B (1) <y A ( ), then by (H2) of Theorem 2.8, T has a fixed point y P (A,B,y A,y B,M,Q). So, (3.1), (3.2) has a solution y P such that y (t) <y A (t) for t [, ], and y (t) y B (t) for t [,1]. Remark. The functions y A and y B in Theorem 3.1 are possible concave nondecreasing nonnegative functions that might be used as functional boundaries for positive solutions of (3.1), (3.2). Example. Consider the right focal boundary value problem, x (t)+1 sin x =, t (, 1), x() = x (1) =. We would like to choose some quadratic functionals as the boundaries for our positive solution. In that direction, let = 3 4, =1, = 1 2, y A(t) = π 2 t(2 t), y B(t) = π 3 t(2 t), a = π 8, b = π 15. Then (i ), (ii ), and y A ( ) <y B (1) min{, } are satisfied in Theorem 3.1 for the above problem. Therefore the above boundary value problem has at least one positive solution y with y (t) < π 3 t(2 t) for t [ 1 2, 1], and y (t) π 2 t(2 t) for t [ 3 4, 1]. In comparison, consider the following representative example of an application of a functional fixed point theorem. Example: The boundary value problem x + 1 x + e x 2 =, with right-focal boundary conditions x() = = x (1), has at least one positive solution x which was verified by the Functional Expansion - Compression Fixed Point Theorem of Leggett-Williams Type in [8] by Anderson, Avery and Henderson (let b =1,c=5, and = 1 2.). The positive solution x has the properties 1 x (1) and x () 5. Remark. Note the difference between the global knowledge and the local knowledge of the solutions obtained in the previous two examples by applying the operator type fixed point theorem instead of the functional type fixed point theorem. Existence of solutions arguments involving operators provide global knowledge, thus moving existence of solutions arguments in the direction of numerical arguments which adds value to existence of solutions arguments.

11 Second Order Right Focal BVP 51 References [1] D. R. Anderson and R. I. Avery, Fixed point theorem of cone expansion and compression of functional type, J. Difference Equations Appl. 8 (22), [2] D. R. Anderson, R. I. Avery, J. Henderson, and X. Y. Liu, Multiple fixed point theorems of operator type, International Electron. J. of Pure Appl. Math. 3 (211), No. 2, [3] D. R. Anderson, R. I. Avery, J. Henderson and X. Y. Liu, Operator type expansioncompression fixed point theorem, Electron. J. Differerential Equations 211, No. 42, URL: [4] D. R. Anderson, R. I. Avery, J. Henderson and X. Y. Liu, Fixed point theorem utilizing operators and functionals, submitted. [5] R. I. Avery, Multiple positive solutions of an nth order focal boundary value problem, Panamer. Math. J. 8 (1998), No. 1, [6] R. I. Avery, A generalization of the Leggett-Williams fixed point theorem, Math. Sci. Res. Hot-Line 3 (1999), no. 7, [7] R. I. Avery, C. J. Chyan and J. Henderson, Twin solutions of boundary value problems for ordinary differential equations and finite difference equations, advances in difference equations III, Comput. Math. Appl. 42 (21), No. 3 5, [8] R. I. Avery, J. Henderson and D. R. Anderson, Functional expansion - compression fixed point theorem of Leggett-Williams type, Electron. J. Differential Equations 21, No. 63, 9 pp. [9] R. I. Avery, J. Henderson and D. R. Anderson, Existence of a positive solution to a right focal boundary value problem, Electron. J. Qual. Theory Differential Equations 21, No. 5, 6 pp. [1] X. M. He and W. G. Ge, Positive solutions for semipositone (p, n p) right focal boundary value problems, Appl. Anal. 81 (22), No. 2, [11] L. K. Jackson, Boundary value problems for Lipschitz equations. Differential Equations (Proc. Eighth Fall Conf., Oklahoma State Univ., Stillwater, Okla., 1979), 31 5, Academic Press, New York-London-Toronto, Ont., 198. [12] M. K. Kwong, The topological nature of Krasnosel skii s cone fixed point theorem, Nonlinear Anal. 69 (28), [13] R. W. Leggett and L. R. Williams, Multiple positive fixed points of nonlinear operators on ordered Banach spaces, Indiana Univ. Math. J. 28 (1979), [14] K. G. Mavridis, Two modifications of the Leggett-Williams fixed point theorem and their applications, Electron. J. Differential Equations 21, No. 53, 11 pp. [15] P. K. Palamides, Multi point boundary-value problems at resonance for n-order differential equations: positive and monotone solutions. Electron. J. Differential Equations 24, No. 25, URL:

12 52 Anderson, Avery, Henderson and Liu [16] J. Sun and G. Zhang, A generalization of the cone expansion and compression fixed point theorem and applications, Nonlinear Anal. 67 (27), [17] P. J. Y. Wong and R. P. Agarwal, Multiple positive solutions of two-point right focal boundary value problems, Math. Comput. Modelling 28 (1998), No. 3,