Opuscula Math. 33, no. 4 (23, 63 63 http://dx.doi.org/.7494/opmath.23.33.4.63 Opuscula Mathematica CONCAVITY OF SOLUTIONS OF A 2n-TH ORDER PROBLEM WITH SYMMETRY Abdulmalik Al Twaty and Paul W. Eloe Communicated by Alexander Gomilko Abstract. In this article we apply an extension of a Leggett-Williams type fixed point theorem to a two-point boundary value problem for a 2n-th order ordinary differential equation. The fixed point theorem employs concave and convex functionals defined on a cone in a Banach space. Inequalities that extend the notion of concavity to 2n-th order differential inequalities are derived and employed to provide the necessary estimates. Symmetry is employed in the construction of the appropriate Banach space. Keywords: Fixed-point theorems, concave and convex functionals, differential inequalities, symmetry. Mathematics Subect Classification: 34B5, 34B27, 47H.. INTRODUCTION Richard Avery and co-authors [4 6, 8] have extended the Leggett-Williams fixed point theorem [6] in various ways; a recent extension [5] employs topological methods rather than index theory and as a result the recent extension does not require the functional boundaries to be invariant with respect to a functional wedge. It is shown [6] that this extension applies in a natural way to second order right focal boundary value problems. The concept of concavity provides estimates that are useful in multiple technical arguments with respect to the concave and convex functionals; the increasing nature of functions gives rise to natural constructions of convex or concave functions. Recently, Al Twaty and Eloe [3] applied these types of theorems to a two point conugate type boundary value problem for a second order ordinary differential equation. Concavity was employed as in [6] and symmetry of functions was employed to construct appropriate concave or convex functionals. Avery, Eloe and Henderson [7] successfully extended these results for second order problems to fourth order problems. In this article we shall apply the fixed point theorem to a two-point conugate type boundary value problem for a general 2n-th order ordinary differential equation. c AGH University of Science and Technology Press, Krakow 23 63
64 Abdulmalik Al Twaty and Paul W. Eloe Symmetry will be employed as in [3] and [7]. In [7] a new inequality representing concavity was obtained for functions satisfying a fourth order differential inequality (and more importantly, a new inequality will be obtained for an associated Green s function. So, in this article, we successfully extend the concept of concavity to functions satisfying 2n-th order differential inequalities. As a corollary, we shall exhibit sufficient conditions for the existence of solutions for a family of 2n-th order two-point conugate boundary value problems. We point out that there has been particular interest in the application of fixed point theory to two point boundary value problems for a fourth order equation as these boundary value problems serve as models for cantilever beam problems. Fixed point applications have been of interest for many years [2,7] and interest has recently been renewed, [9, 5, 8, 2, 22], for example. In Section 2 we shall introduce the appropriate definitions and state the fixed point theorem. In Section 3, we shall apply the fixed point theorem to a conugate boundary value problem for the 2n-th order problem. To do so, we first obtain Lemma 3. which gives a new estimate for an associated Green s function and represents the primary contribution of this work. 2. PRELIMINARIES Definition 2.. 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, λ implies λx P, (ii x P, x P implies x =. Every cone P E induces an ordering in E given by x y if and only if y x P. Definition 2.2. An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets. Definition 2.3. 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 α(tx + ( ty tα(x + ( tα(y for all x, y P and t [, ]. 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 [, ]. β(tx + ( ty tβ(x + ( tβ(y
Concavity of solutions of a 2n-th order problem with symmetry 65 Let α and ψ be non-negative continuous concave functionals on P and δ and β be non-negative continuous convex functionals on P ; then, for non-negative real numbers a, b, c and d, we define the following sets: A := A(α, β, a, d = {x P : a α(x and β(x d}, (2. B := B(α, δ, β, a, b, d = {x A : δ(x b}, (2.2 and C := C(α, ψ, β, a, c, d = {x A : c ψ(x}. (2.3 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, proved in [5], is an extension of the original Leggett-Williams fixed point theorem [6]. Theorem 2.4. Suppose P is a cone in a real Banach space E, α and ψ are non-negative continuous concave functionals on P, δ and β are non-negative continuous convex functionals on P, and for non-negative real numbers a, b, c and d the sets A, B and C are as defined in (2., (2.2 and (2.3. Furthermore, suppose that A is a bounded subset of P, that T : A P is completely continuous and that the following conditions hold: (A {x A : c < ψ(x and δ(x < b}, {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. A fixed point of T will also be called a solution of T. 3. THE APPLICATION Let f : R R + is a continuous map. Let n denote a positive integer. We consider the two point conugate boundary value problem: ( n x (2n (t = f(x(t, t [, ], (3. x (i ( =, x (i ( =, i =,,..., n. (3.2
66 Abdulmalik Al Twaty and Paul W. Eloe The Green s function for this problem has the form, see [] or [, Lemma 3.4], G(t, s = (2n! t n ( s n n = s n ( t n n = Note that G satisfies the symmetry property ( n + (s t n s ( t, t < s, ( n + (t s n t ( s, s < t. G( t, s = G(t, s, (t, s [, ] [, ]. We shall state and prove a lemma that characterizes a generalized notion of concavity and motivates the construction of the appropriate cone in which to apply Theorem 2.4. The inequalities obtained here are very closely related to those obtained in [] or [2]; however, we believe these inequalities are new. Lemma 3.. If y, w [, ] with y < w and t (,, then G(t, y G(t, w yn w n. (3.3 Proof. First, set n ( n + g(t, s = (t s n t ( s, = and write G(t, s = { t n ( s n g(s, t, t < s, (2n! s n ( t n g(t, s, s < t. Suppose y, w [, ] with y < w and t (,. First, consider the case y < w < t. Note that g(t, y > g(t, w >, y < w < t, and so G(t, y G(t, w = yn ( t n g(t, y w n ( t n g(t, w = yn g(t, y w n g(t, w yn w n. Now, consider the case y < t < w. For w (t, (t is fixed, define the function z(w = ( wn g(w, t w n. (3.4 The function z is a decreasing function in w which is seen by taking the derivative with respect to w in (3.4 to obtain z (w = ( wn w n+ ( w( w dg dw (w, t ng(w, t
Concavity of solutions of a 2n-th order problem with symmetry 67 or w n+ ( w n z (w = ( n 2 ( n + = w( w (n (w t n 2 w ( t + = n ( n + + (w t n w ( t = ( n 2 ( n + n(w t n + (n ( + (w t n 2 w + ( t + + + = n ( n + + (w t n w ( t = = = n(w t n + n 2 ( ( n + + (n w + (w t n 2 ( t ( w ( t n + + = ( n + n = (w t n w + ( t. Each term in the summation is negative and so, z is decreasing in w. Now, ( t n g(t, t = tn ( t n g(t, t t n tn ( w n g(w, t w n. Moreover, Thus, ( t n g(t, y ( t n n ( wn g(t, t t g(w, t. w n or ( t n y n g(t, y yn w n tn ( w n g(w, t G(t, y G(t, w yn w n. Finally, consider the case t < y < w. Then z(y > z(w or that is, t n ( y n g(y, t y n tn ( w n g(w, t w n ; G(t, y G(t, w yn w n.
68 Abdulmalik Al Twaty and Paul W. Eloe Remark 3.2. Let x C 2n [, ], ( n x (2n (t, < t <, and x satisfies (3.2. Then for any y, w [, ] with y < w we have since x(y = ( n ( n x(y x(w yn w n, (3.5 G(y, s x (2n (s ds ( ( y n y G(w, s x (2n n (s ds = w n w n x(w. Let E = C[, ], equipped with the usual supremum norm denote the Banach space. Define the cone P E = C[, ] by P := {x E : x( t = x(t, < t <, x(t, < t <, x(t nondecreasing on t [, /2], and if y w, then w n x(y y n x(w}. Define T : E E by T x(t = G(t, sf(x(sds. Lemma 3.3. Assume f : R R + is a continuous map. Then T : P P. Proof. To see that T x( t = T x(t, we have T x( t = = G( t, sf(x(sds = G( t, σf(x(σdσ = G( t, σf(x( σdσ = G(t, σf(x(σdσ = T x(t. Clearly, T x(t on [, ] since G(t, s on [, ] [, n] and f : R R +. To see that T x is nondecreasing on [, /2], assume for the moment that f : R (, +. For i =,..., n, (T x (i has roots at t = and at t =. Since T x( t = T x(t, (T x (/2 =. (T x (2n = f(x, and so (T x (2n has no roots in [, ]. One can then use repeated applications of Rolle s theorem (see [] or [2] and show that (T x only has roots at t =, /2, or. In particular, (T x is strictly positive on (, /2.
Concavity of solutions of a 2n-th order problem with symmetry 69 If f : R [, +, consider x ɛ = G(t, s(f(x(s + ɛds. Then x ɛ is strictly positive on (, /2 and x ɛ (T x as ɛ +. In conclusion, T x is nondecreasing on [, /2]. Finally, ( n (T x (n (t = f(x(t, < t < and T x satisfies (3.2. So by Lemma 3., w n T x(y y n T x(w and T x satisfies the concavity condition. by For fixed ν, τ, µ [, 2 ] and x P, define the concave functionals α and ψ on P α(x := min t [τ, 2 ] x(t = x(τ, ψ(x := min t [µ, 2 ] x(t = x(µ, and the convex functionals δ and β on P by δ(x := max (x(t = x(ν, β(x := max x(t = x(. t [,ν] t [, 2 ] 2 Theorem 3.4. Assume τ, ν, µ (, 2 ] are fixed with τ µ < ν, d and L are positive real numbers with < L 2 n µ n n ( d. Set K = n + (2n!2 (2n =. Assume f : [, [, is a continuous function such that: (a f(w (2n ((n!2 2 3n d τ n (ν τ M for w [2 n τ n d, 2 n ν n d], (b f(w is decreasing for w [, L] with f(l f(w for w [L, d], and (c µ sn f ( Ls n µ n ds d 2K f(l n+ ( 2 n+ µ n+. Then the operator T has at least one positive solution x A(α, β, 2 n τ n d, d. Proof. Let a = 2 n τ n d, b = 2 n ν n d = νn τ n a, and c = 2 n µ n d. Let x A(α, β, a, d. An immediate corollary of Lemma 3.3 is T : A(α, β, a, d P. By the Arzelà-Ascoli Theorem it is a standard exercise to show that T is a completely continuous operator using the properties of G and f; by the definition of β, A is a bounded subset of the cone P. Also, if x P and β(x > d, then by the properties of the cone P (in particular, the concavity of x, ( α(x = x(τ 2 n τ n x = 2 2 n τ n β(x > 2 n τ n d = a. Thus, {x P : α(x < a and d < β(x} =. ( For any r (2n!2 n d ( µ, (2n!2n d n ( ν define x n r by x r (t rg(t, sds = rtn ( t n. (2n!
6 Abdulmalik Al Twaty and Paul W. Eloe We claim x r A. We have α(x r = x r (τ = rτ n ( τ n (2n! > (2n!2n d τ n ( τ n ( µ n 2 n τ n d = a, (2n! β(x r = x r ( 2 = r( 2 n ( 2 n (2n! < (2n!2n d ( 2 n ( 2 n ( ν n = ( 2 n (2n! ( ν n d d. Thus, the claim is true. Moreover, x r has the properties that ψ(x r = x r (µ = rµn ( µ n ( (2n!2 n ( d µ n ( µ n > (2n! ( µ n = 2 n µ n d = c (2n! and δ(x r = x r (ν = rνn ( ν n (2n! < ( (2n!2 n d ( ν n ( ν n ( ν n = 2 n ν n d = b. (2n! In particular, {x A : c < ψ(x and δ(x < b}. We have shown that condition (A of Theorem 2.4 is satisfied. We now verify that condition (A2 of Theorem 2.4, α(t x a for all x B, is satisfied. Let x B. Apply condition (a of Theorem 3.4, and α(t x = G(τ, s f(x(s ds M ν τ G(τ, s ds. Now, for τ s ν 2, Thus, G(τ, s (2n! τ n ( s n ( 2(n n s n ( τ n τ 2n (2n ((n! 2 2 n ( τ 2n sn (2n ((n! 2 2 2n. α(t x = τ 2n G(τ, s f(x(s ds M (2n ((n! 2 2 2n ν τ ds = 2 n τ n d = a. We now verify that condition (A3 of Theorem 2.4, α(t x a, for all x A with δ(t x > b, is satisfied. Let x A with δ(t x > b. Apply Lemma 3. to obtain ( τ n ( τ n ( τ n α(t x = (T x(τ (T x(ν = δ(t x > 2 n ν n d = a. ν ν ν
Concavity of solutions of a 2n-th order problem with symmetry 6 We now verify that condition (A4 of Theorem 2.4, β(t x d, for all x C, is satisfied. Let x C. Since c = 2 n µ n d and < L 2 n µ n d = c, the concavity of x implies (see the remark following Lemma 3., for s [, µ], that x(s sn csn x(µ µ n µ n Lsn µ n. Since x is symmetric about 2 and G( 2, s is symmetric about s = 2, it follows β(t x = ( G 2, s f(x(s ds = 2 2 ( G 2, s f(x(s ds which we shall use to abbreviate our calculations. Note that for s 2, ( G 2, s s n ( (2n! 2 n g 2, = (2n! ( s n n 2 (2n = Applying properties (b and (c of Theorem 3.4, we have β(t x = 2 2 µ 2K ( G 2, s f(x(s ds 2K d 2Kf(L (n + 2 ( Ls s n n f µ n ds + 2Kf(L 2 µ s n f(x(s ds s n ds ( 2 n+ µn+ + 2Kf(L (n + ( n + = Ks n. ( 2 n+ µn+ = d. We close the proof by verifying that condition (A5, β(t x d, for all x A with ψ(t x < c is satisfied. Let x A with ψ(t x < c. Apply Lemma 3. to obtain ( ( ( ( c β(t x = (T x 2 2 n µ n T x(µ = 2 n µ n ψ(t x 2 n µ n = d. Therefore, the hypotheses of Theorem 2.4 have been satisfied; thus the operator T has at least one positive solution x A(α, β, a, d. REFERENCES [] R.P. Agarwal, Boundary Value Problems for Higher Order Differential Equations, World Scientific, Singapore, 986. [2] R.P. Agarwal, On fourth-order boundary value problems arising in beam analysis, Differential Integral Equations 2 (989, 9. [3] A. Al Twaty, P. Eloe, The role of concavity in applications of Avery type fixed point theorems to higher order differential equations, J. Math. Inequal. 6 (22, 79 9.
62 Abdulmalik Al Twaty and Paul W. Eloe [4] D.R. Anderson, R.I. Avery, Fixed point theorem of cone expansion and compression of functional type, J. Difference Equations Appl. 8 (22, 73 83. [5] D.R. Anderson, R.I. Avery, J. Henderson, A topological proof and extension of the Leggett-Williams fixed point theorem, Comm. Appl. Nonlinear Anal. 6 (29, 39 44. [6] D.R. Anderson, R.I. Avery, J. Henderson, Existence of a positive solution to a right focal boundary value problem, Electron. J. Qual. Theory Differ. Equ. 6 (2, 5, 6 pp. [7] R.I. Avery, P. Eloe, J. Henderson, A Leggett-Williams type theorem applied to a fourth order problem, Proc. of Dynamic Systems and Applications 6 (22, 579 588. [8] R.I. Avery, J. Henderson, D. O Regan, Dual of the compression-expansion fixed point theorems, Fixed Point Theory Appl. 27 (27, Article ID 975, pp. [9] Z. Bai, The upper and lower solution method for some fourth-order boundary value problems, Nonlinear Anal. 67 (27, 74 79. [] K.M. Das, A.S. Vatsala, On Green s function of an n-point boundary value problem, Trans. Amer. Math. Soc. 82 (973, 469 48. [] P. Eloe, J. Henderson, Inequalities based on a generalization of concavity, Proc. Amer. Math. Soc. 25 (997, 23 27. [2] D. Guo, A new fixed point theorem, Acta Math. Sinica 24 (98, 444 45. [3] D. Guo, Some fixed point theorems on cone maps, Kexeu Tongbao 29 (984, 575 578. [4] M.A. Krasnosel skii, Positive Solutions of Operator Equations, P. Noordhoff, Groningen, The Netherlands, 964. [5] J.R. Graef, B. Yang, Positive solutions of a nonlinear fourth order boundary value problem, Comm. Appl. Nonlinear Anal. (27, 6 73. [6] R.W. Leggett, L.R. Williams, Multiple positive fixed points of nonlinear operators on ordered Banach spaces, Indiana Univ. Math. J. 28 (979, 673 688. [7] R. Ma, H. Wang, On the existence of positive solutions of fourth order-order ordinary differential equations, Appl. Anal. 59 (995, 225 23. [8] M. Pei, S.K. Chang, Monotone iterative technique and symmetric positive solutions for a fourth-order boundary value problem, Math. Comput. Modelling 5 (2, 26 267. [9] J. Sun, G. Zhang, A generalization of the cone expansion and compression fixed point theorem and applications, Nonlinear Anal. 67 (27, 579-586. [2] B. Yang, Positive solutions for the beam equation under certain boundary conditions, Electron. J. Differential Equations 25 (78 (25, 8. [2] B. Yang, Upper estimate for positive solutions of the (p, n p conugate boundary value problem, J. Math. Anal. Appl. 39 (22, 535 548. [22] C. Zhai, R. Song, Q. Han, The existence and uniqueness of symmetric positive solutions for a fourth-order boundary value problem, Comput. Math. Appl. 62 (2, 2639 2647. [23] E. Zeidler, Nonlinear Functional Analysis and Its Applications I: Fixed-Point Theorems, Springer-Verlag, New York, 986.
Concavity of solutions of a 2n-th order problem with symmetry 63 Abdulmalik Al Twaty united33e@yahoo.com University of Benghazi Faculty of Arts & Sciences / Al Kufra Department of Mathematics Al Kufra, Libya Paul W. Eloe Paul.Eloe@notes.udayton.edu University of Dayton Department of Mathematics Dayton, Ohio 45469-236 USA Received: January, 23. Revised: April 29, 23. Accepted: April 29, 23.