Existence of a Positive Solution for a Right Focal Discrete Boundary Value Problem D. R. Anderson 1, R. I. Avery 2, J. Henderson 3, X. Liu 3 and J. W. Lyons 3 1 Department of Mathematics and Computer Science, Concordia College Moorhead, Minnesota 56562-0001 USA email: andersod@cord.edu 2 College of Arts and Sciences, Dakota State University Madison, South Dakota 57042-1799 USA email: Rich.Avery@dsu.edu 3 Department of Mathematics, Baylor University Waco, Texas 76798-7328 USA e-mails: Johnny Henderson@baylor.edu; Xueyan Liu@baylor.edu; Jeff Lyons@baylor.edu Abstract An application is made to the second order right focal discrete boundary value problem of a recent extension of the Leggett-Williams Fixed Point Theorem, which requires neither of the functional boundaries to be invariant. A nontrivial example is also provided. Key words and phrases: Discrete boundary value problems, right focal, fixed point theorem, positive solution. AMS (MOS) Subject Classifications: 39A10 1 Introduction For over a decade, there has been significant interest in positive solutions and multiple positive solutions for boundary value problems for finite difference equations; see, for example [3, 8, 9, 11, 13, 14, 17, 18, 19, 20, 21, 22, 23, 24]. Much of this interest has been spurred on by the applicability of a number of new fixed point theorems and multiple fixed point theorems as applied to certain discrete boundary value problems; such as the Guo-Krasnosel skii fixed point theorem [12, 15], the Leggett and Williams multiple fixed point theorem [16], fixed point theorems by Avery et al. [1, 2, 4, 6, 7], and the fixed point theorem of Ge [10].
2 D. R. Anderson, R. I. Avery, J. Henderson, X. Liu & J. W. Lyons Quite recently, Avery, Henderson and Anderson [5] gave a topological proof and extension of the Leggett-Williams fixed point theorem which does not require either of the functionals to be invariant with regard to the concave functional boundary of a functional wedge. In this paper, we demonstrate a technique that takes advantage of this additional flexibility of the new fixed point theorem in establishing at least one positive solution of the right focal boundary value problem for the second order finite difference equation, 2 u(k) + f(u(k)) 0, k {0, 1,..., N}, (1) u(0) u(n + 1) 0, (2) where f : R [0, ) is continuous. In Section 2, we provide some background definitions and we state the new fixed point theorem. Then, in Section 3, we apply the fixed point theorem to obtain a positive solution to (1), (2). At the conclusion of Section 3, we provide a nontrivial example of our existence result. 2 Background definitions and a fixed point theorem In this section, we state some definitions used for the remainder of the paper. In addition, we include the statement of the new fixed point whose application, in a subsequent section, will yield a solution of (1), (2). Definition 2.1 Let E be a real Banach space. A nonempty closed convex set P E is called a cone if it satisfies the following two conditions: (i) x P, λ 0 implies λx P ; (ii) x P, x P implies x 0. Definition 2.2 A map α is said to be a nonnegative continuous concave functional on a cone P of a real Banach space E if is continuous and α : P [0, ) α(tx + (1 t)y) tα(x) + (1 t)α(y) for all x, y P and t [0, 1]. Similarly we say the map β is a nonnegative continuous convex functional on a cone P of a real Banach space E if β : P [0, )
Right Focal Discrete BVP 3 is continuous and for all x, y P and t [0, 1]. β(tx + (1 t)y) tβ(x) + (1 t)β(y) Let α and ψ be nonnegative continuous concave functionals on P and δ and β be nonnegative continuous convex functionals on P ; then, for nonnegative real numbers a, b, c and d, we define the sets: and A : A(α, β, a, d) {x P : a α(x) and β(x) d}, (3) B : B(α, δ, β, a, b, d) {x A : δ(x) b}, (4) C : C(α, ψ, β, a, c, d) {x A : c ψ(x)}. (5) We say that A is a functional wedge with concave functional boundary defined by the concave functional α and convex functional boundary defined by the convex functional β. We say that an operator T : A P is invariant with respect to the concave functional boundary, if a α(t x) for all x A, and that T is invariant with respect to the convex functional boundary, if β(t x) d for all x A. Note that A is a convex set. The following theorem [5] is the new extension of the Leggett-Williams fixed point theorem. Theorem 2.1 Suppose P is a cone in a real Banach space E, α and ψ are nonnegative continuous concave functionals on P, δ and β are non-negative continuous convex functionals on P, and for nonnegative real numbers a, b, c and d, the sets A, B and C are as defined in (3), (4) and (5). Furthermore, suppose that A is a bounded subset of P, that T : A P is completely continuous and that the following conditions hold: (A1) {x A : c < ψ(x) and δ(x) < b} and {x P : α(x) < a and d < β(x)} ; (A2) α(t x) a for all x B; (A3) α(t x) a for all x A with δ(t x) > b; (A4) β(t x) d for all x C; and, (A5) β(t x) d for all x A with ψ(t x) < c. Then T has a fixed point x A.
4 D. R. Anderson, R. I. Avery, J. Henderson, X. Liu & J. W. Lyons 3 Solutions of (1), (2) In this section, we impose growth conditions on f such that the right focal boundary value problem for the finite difference equation, (1), (2), has a solution as a consequence of Theorem 2.1. We note that from the nonnegativity of f, a solution u of (1), (2) is both nonnegative and concave on {0, 1,..., }. In our application of Theorem 2.1, we will deal with a completely continuous summation operator whose kernel is the Green s function, H(k, l), for 2 v 0 (6) and satisfying (2). In particular, for (k, l) {0,..., } {0,..., N}, H(k, l) 1 k, k {0,..., l},, k {,..., }. We observe that H(k, l) is nonnegative, and for each fixed l {0,..., N}, H(k, l) is nondecreasing as a function of k. In addition, it is straightforward that, for y, w {0,..., } with y w, wh(y, l) yh(w, l), l {0,..., N}. (7) Next, let E {v : {0,..., } R} be endowed with the norm, v max k {0,...,N+2} v(k), and choose the cone P E defined by P {v E : v is nondecreasing and nonnegative-valued on {0,..., }, and 2 v(k) 0, k {0,..., N}}. We note that, for any u P and y, w {0,..., } with y w, wu(y) yu(w). (8) For fixed ν, τ, {1,..., N +2}, and v P, we define nonnegative concave functionals α and ψ on P by α(v) min v(k) v(τ), k {τ,...,n+2} ψ(v) min v(k) v(), k {,...,N+2} and nonnegative, convex functionals δ and β on P by β(v) δ(v) max v(k) v(ν), k {0,...,ν} max v(k) v(). k {0,...,N+2} Now, we put growth conditions on f such that (1), (2) has at least one solution u τd A(α, β,, d), for a suitable choice of d. N+2
Right Focal Discrete BVP 5 Theorem 3.1 Let τ,, ν {1,..., }, with 0 < τ < ν, let d and m be positive real numbers with 0 < m d, and suppose f : [0, ) [0, ) is N+2 continuous and satisfies the following conditions: (i) f(w) d ν τ, for w [ τd N+2, νd N+2], (ii) f(w) is decreasing, for w [0, m], and f(m) f(w), for w [m, d], (iii) f ( ) ml d l+1 f(m). Then, the discrete right focal boundary value problem (1), (2) has at least one positive solution u A(α, β, τd N+2, d). Proof. At the outset of the proof, we put a τd, b νd d, and c, and let sets A, B, C P, relative to constants a, b, c, d and functionals α, β, δ, ψ, be as defined in the Introduction by (3), (4), (5), respectively. Next, we define the summation operator T : E E by T u(k) H(k, l)f(u(l)), u E, k {0,..., }. It is immediate that T is completely continuous, and it is well known that u E is a solution of (1), (2) if, and only if u is a fixed point of T. We now show that the conditions of Theorem 2.1 are satisfied with respect to T. First, we note that, for each u A, we have d β(u) max u(k) u(), k {0,...,N+2} and we conclude that A is a bounded subset of P. Next, if we let u A P, then T u(k) N H(k, l)f(u(l)) 0 on {0,..., N + 2}. Moreover, 2 (T u)(k) f(u(k)) 0, and so (T u)(k) is nonincreasing on {0,..., N + 1}. From properties of H(k, l), (T u)(n + 1) 0, and so (T u)(k) 0 on {0,..., N + 1}. Thus, (T u)(k) is nondecreasing on {0,..., }. We conclude that T : A P. ( ) 2d To verify (A1) of Theorem 2.1 is satisfied, for any K, we define 2N+3, 2d 2N+3 ν u K (k) KH(k, l).
6 D. R. Anderson, R. I. Avery, J. Henderson, X. Liu & J. W. Lyons Then, u K (k) k 1 K() + N lk Kk Kk (2N + 3 k), 2() so that α(u K ) u K (τ) Kτ (2N + 3 τ) 2() ( ) 2d (2N + 3 τ)τ 2N + 3 2() dτ a, and β(u K ) u K () K() (2N + 3 ()) 2() K () ( 2 ) ( ) 2d 2N + 3 ν 2 < d. In particular, u K A. Moreover, u K has the properties, ψ(u K ) u K () K (2N + 3 ) 2() ( ) 2d (2N + 3 ) 2N + 3 2() d c,
Right Focal Discrete BVP 7 and so that, δ(u K ) u K (ν) Kν (2N + 3 ν) 2() ( ) 2d (2N + 3 ν)ν 2N + 3 ν 2() νd b, {u A : c < ψ(u) and δ(u) < b}. Next, we let u P with β(u) > d. Then, by (8), Hence, α(u) u(τ) τ τβ(u) u() > {u P : α(u) < a and d < β(u)}. τd a. Thus, part (A1) of Theorem 2.1 is satisfied. Turning to (A2) of Theorem 2.1, we choose u B. Then, by (i), α(t u) H(τ, l)f(u(l)) d ν H(τ, l) ν τ lτ+1 ( ) d (ν τ)τ ν τ dτ a. Hence, (A2) of Theorem 2.1 is also satisfied. Next,we establish (A3) of Theorem 2.1. To that end, we choose u A with δ(t u) > b. Then, by (7), we have α(t u) H(τ, l)f(u(l))
8 D. R. Anderson, R. I. Avery, J. Henderson, X. Liu & J. W. Lyons τ ν H(ν, l)f(u(l)) τ δ(t u) ν > τ ( ) dν ν a, and hence (A3) holds. For part (A4) of Theorem 2.1, let u C. Since 2 u(k) 0, u(k) is concave, and hence, for l {0,..., }, we have By conditions (ii) and (iii), β(t u) u(l) cl ml. H(, l)f(u(l)) d d. f(u(l)) f(u(l)) + f l+1 ( ) ml + N l+1 f(m) + l+1 f(u(l)) N l+1 f(m) f(m) And so (A4) also holds. For the final part, it remains to establish (A5). In that direction, let u A with ψ(t u) < c. This time, by (7), we have β(t u) H(, l)f(u(l)) H(, l)f(u(l))
Right Focal Discrete BVP 9 (T u)() ψ(t u) ( ) c d, and (A5) of Theorem 2.1 holds. Thus, T has a fixed point u A, and as such, u is a desired positive solution of (1), (2). The proof is complete. EXAMPLE. Let N 8, τ 1, 2, ν 10, d 1, and m 1. Notice that 9 0 < τ < ν 10, and 0 < m 1 1 d. With a 1, b 1, and 9 5 N+2 10 c 1, we define a continuous f : [0, ) [0, ) by 5 8w + 1, 0 w 1, 9 f(w) 1, w > 1. 9 9 Then, (i) f(w) 1 9, for w [ 1 10, 1], (ii) f(w) is decreasing on [0, 1 9 ], and f ( 1 9 (iii) 2 ( ) l 10 f 22 18 90 51 10 90 1 ) f(w), for w [ 1, 1], and 9 l3 10 f ( ) 1. 9 Therefore, by Theorem 3.1, the right focal boundary value problem, has at least one positive solution, u, with 2 u(k) + f(u(k)) 0, k {0,..., 8}, u(0) 0 u(9), 1 10 u (1) and u (10) 1.
10 D. R. Anderson, R. I. Avery, J. Henderson, X. Liu & J. W. Lyons References [1] D. R. Anderson and R. I. Avery, Fixed point theorem of cone expansion and compression of functional type, J. Differ. Equations Appl. 8 (2002), 1073-1083. [2] R. I. Avery, A generalization of the Leggett-Williams fixed point theorem, MSR Hotline 2 (1998), 9-14. [3] R. I. Avery, C. J. Chyan and J. Henderson, Twin solutions of boundary value problems for ordinary differential equations and finite difference equations, Comput. Math. Appl. 42 (2001), 695-704. [4] R. I. Avery and J. Henderson, Two positive fixed points of nonlinear operators on ordered Banach spaces, Comm. Appl. Nonlinear Anal. 8 (2001), 27-36. [5] R. I. Avery, J. Henderson and D. R. Anderson, A topological proof and extension of the Leggett-Williams fixed point theorem, Comm. Appl. Nonlinear Anal. 16, No. 4 (2009), 39-44. [6] R. I. Avery, J. Henderson and D. O Regan, A dual of the compression- expansion fixed point theorems, Fixed Point Theory Appl. 2007, Art. ID 90715, 11 pp. [7] R. I. Avery and A. C. Peterson, Three positive fixed points of nonlinear operators on ordered Banach spaces, Comput. Math. Appl. 42 (2001), 313-322. [8] X. Cai and J. Yu, Existence theorems for second-order discrete boundary value problems, J. Math. Anal. Appl. 320 (2006), 649-661. [9] P. W. Eloe, J. Henderson and E. Kaufmann, Multiple positive solutions for difference equations, J. Differ. Equations Appl. 3 (1998), 219-229. [10] W. Ge, Boundary Value Problems of Nonlinear Differential Equations, Science Publications, Beijing, 2007. [11] J. R. Graef and J. Henderson, Double solutions of boundary value problems for 2mth-order differential equations and difference equations, Comput. Math. Anal. 45 (2003), 873-885. [12] D. Guo, Some fixed point theorems on cone maps, Kexeu Tongbao 29 (1984), 575-578. [13] Z. He, On the existence of positive solutions of p-laplacian difference equations, J. Comput. Appl. Math. 161 (2003), 193-201.
Right Focal Discrete BVP 11 [14] I. Y. Karaca, Discrete third-order three-point boundary value problems, J. Comput. Appl. Math. 205 (2007), 458-468. [15] M. A. Krasnosel skii, Positive Solutions of Operator Equations, Noordhoff, Groningen, The Netherlands, 1964. [16] R. W. Leggett and L. R. Williams, Multiple positive fixed points of nonlinear operators on ordered Banach spaces, Indiana Univ. Math. J. 28 (1979), 673-688. [17] Y. Li and L. Lu, Existence of positive solutions of p-laplacian difference equations, Appl. Math. Letters 19 (2006), 1019-1023. [18] Y. Liu and W. Ge, Twin positive solutions of boundary value problems for finite difference equations with p-laplacian operator, J. Math. Anal. Appl. 278 (2003), 551-561. [19] F. Merdivenci, Two positive solutions for a boundary value problem for difference equations, J. Differ. Equations Appl. 1 (1995), 262-270. [20] H. Pang, H. Feng and W. Ge, Multiple positive solutions of quasi-linear boundary value problems for finite difference equations, Appl. Math. Comput. 197 (2008), 451-456. [21] D. Wang and W. Guan, Three positive solutions of boundary value problems for p-laplacian difference equations, Comput. Math. Anal. 55 (2008), 1943-1949. [22] P. J. Y. Wong and R. P. Agarwal, Eigenvalue intervals and double positive solutions for certain discrete boundary value problems, Commun. Appl. Anal. 3 (1999), 189-217. [23] P. J. Y. Wong and R. P. Agarwal, Existence of multiple solutions of discrete twopoint right focal boundary value problems, J. Differ. Equations Appl. 5 (1999), 517-540. [24] C. Yang and P. Weng, Green s functions and positive solutions for boundary value problems of third-order difference equations, Comput. Math. Appl. 54 (2007), 567-578.