Positive and Nondecreasing Solutions to an m-Point Boundary Value Problem for Nonlinear Fractional Differential Equation <meta name="citation_title" content="Positive and Nondecreasing Solutions to an m -Point Boundary Value Problem for Nonlinear Fractional Differential Equation" /> <meta name="citation_abstract" content="We are concerned with the existence and uniqueness of a positive and nondecreasing solution for the following nonlinear fractional m-point boundary value problem: 𝐷𝛼0+∑𝑢(𝑡)+𝑓(𝑡,𝑢(𝑡))=0,0<𝑡<1,2<𝛼≤3,𝑢(0)=𝑢′(0)=0,𝑢′(1)=𝑚−2𝑖=1𝑎𝑖𝑢′(𝜉𝑖), where 𝐷𝛼0+ denotes the standard Riemann-Liouville fractional derivative, 𝑓∶[0,1]×[0,∞)→[0,∞) is a continuous function, 𝑎𝑖≥0 for 𝑖=1,2,…,𝑚−2, and 0<𝜉1<𝜉2<⋯<𝜉𝑚−2<1. Our analysis relies on a fixed point theorem in partially ordered sets. Some examples are also presented to illustrate the main results." /> <meta name="Description" content="We are concerned with the existence and uniqueness of a positive and nondecreasing solution for the following nonlinear fractional m-point boundary value problem: 𝐷𝛼0+∑𝑢(𝑡)+𝑓(𝑡,𝑢(𝑡))=0,0<𝑡<1,2<𝛼≤3,𝑢(0)=𝑢′(0)=0,𝑢′(1)=𝑚−2𝑖=1𝑎𝑖𝑢′(𝜉𝑖), where 𝐷𝛼0+ denotes the standard Riemann-Liouville fractional derivative, 𝑓∶[0,1]×[0,∞)→[0,∞) is a continuous function, 𝑎𝑖≥0 for 𝑖=1,2,…,𝑚−2, and 0<𝜉1<𝜉2<⋯<𝜉𝑚−2<1. Our analysis relies on a fixed point theorem in partially ordered sets. Some examples are also presented to illustrate the main results." /> //// Hindawi Publishing Corporation Home Journals About Us About this Journal Submit a Manuscript Table of Contents Journal Menu Abstracting and Indexing Aims and Scope Annual Issues Article Processing Charges Articles in Press Author Guidelines Bibliographic Information Contact Information Editorial Board Editorial Workflow Free eTOC Alerts Reviewers Acknowledgment Subscription Information Open Special Issues Published Special Issues Special Issue Guidelines Abstract Full-Text PDF Full-Text HTML Full-Text ePUB Linked References How to Cite this Article Complete Special Issue Abstract and Applied Analysis Volume 2012 (2012), Article ID 826580, 15 pages doi:10.1155/2012/826580 Research Article Positive and Nondecreasing Solutions to an m -Point Boundary Value Problem for Nonlinear Fractional Differential Equation I. J. Cabrera , J. Harjani , and K. B. Sadarangani Departamento de Matemáticas, Universidad de Las Palmas de Gran Canaria, Campus de Tafira Baja, 35017 Las Palmas de Gran Canaria, Spain Received 30 September 2011; Accepted 15 November 2011 Academic Editor: Shaher M. Momani Copyright © 2012 I. J. Cabrera et al. This is an open access article distributed under the Creative Commons Attribution License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We are concerned with the existence and uniqueness of a positive and nondecreasing solution for the following nonlinear fractional m -point boundary value problem: 𝐷 𝛼 0 + ∑ 𝑢 ( 𝑡 ) + 𝑓 ( 𝑡 , 𝑢 ( 𝑡 ) ) = 0 , 0 < 𝑡 < 1 , 2 < 𝛼 ≤ 3 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 0 , 𝑢 ′ ( 1 ) = 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝑢 ′ ( 𝜉 𝑖 ) , where 𝐷 𝛼 0 + denotes the standard Riemann-Liouville fractional derivative, 𝑓 ∶ [ 0 , 1 ] × [ 0 , ∞ ) → [ 0 , ∞ ) is a continuous function, 𝑎 𝑖 ≥ 0 for 𝑖 = 1 , 2 , … , 𝑚 − 2 , and 0 < 𝜉 1 < 𝜉 2 < ⋯ < 𝜉 𝑚 − 2 < 1 . Our analysis relies on a fixed point theorem in partially ordered sets. Some examples are also presented to illustrate the main results. 1. Introduction Many papers and books on fractional differential equations have appeared recently. Most of them are devoted to the solvability of the linear fractional equation in terms of a special function (see, e.g., [ 1 , 2 ]) and to problems of analyticity in the complex domain [ 3 ]. Moreover, Delbosco and Rodino [ 4 ] considered the existence of a solution for the nonlinear fractional differential equation 𝐷 𝛼 0 + 𝑢 = 𝑓 ( 𝑡 , 𝑢 ) , 0 < 𝛼 < 1 , ( 1 . 1 ) where 𝑓 ∶ [ 0 , 𝑎 ] × ℝ → ℝ , 0 < 𝑎 ≤ + ∞ , is a given continuous function in ( 0 , 𝑎 ) × ℝ . They obtained existence results by using the Schauder fixed point theorem and the Banach contraction principle. Recently, El-Shahed [ 5 ] considered the following nonlinear fractional boundary value problem: 𝐷 𝛼 0 + 𝑢 + 𝜆 𝑎 ( 𝑡 ) 𝑓 ( 𝑡 , 𝑢 ( 𝑡 ) ) = 0 , 0 < 𝑡 < 1 , 2 < 𝛼 ≤ 3 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 𝑢  ( 1 ) = 0 . ( 1 . 2 ) They used the Krasnoselskii’s fixed point theorem on cone expansion and compression to show the existence and nonexistence of positive solutions for the above fractional boundary value problem. In [ 6 ], Liang and Zhang considered the following nonlinear fractional boundary value problem: 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) + 𝑓 ( 𝑡 , 𝑢 ( 𝑡 ) ) = 0 , 0 < 𝑡 < 1 , 3 < 𝛼 ≤ 4 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 𝑢   ( 0 ) = 𝑢   ( 1 ) = 0 , ( 1 . 3 ) and by means of lower and upper solution method and fixed point theorems, they obtained some results on the existence of positive solutions to the above boundary value problem. The question of uniqueness of the solution is not treated in [ 6 ]. Recently, in [ 7 ] Caballero et al. studied the fractional boundary value problem appearing in [ 6 ] by using a fixed point theorem in partially ordered sets, and the authors obtained uniqueness of the solution. In this paper we discuss the existence and uniqueness of a positive and nondecreasing solution for the following 𝑚 -point nonlinear boundary value problem of fractional order: 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) + 𝑓 ( 𝑡 , 𝑢 ( 𝑡 ) ) = 0 , 0 < 𝑡 < 1 , 2 < 𝛼 ≤ 3 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 0 , 𝑢 ′ ( 1 ) = 𝑚 − 2  𝑖 = 1 𝑎 𝑖 𝑢   𝜉 𝑖  , ( 1 . 4 ) where 𝑎 𝑖 ≥ 0 for 𝑖 = 1 , 2 , … , 𝑚 − 2 , 0 < 𝜉 1 < 𝜉 2 < ⋯ < 𝜉 𝑚 − 2 < 1 , and, moreover, ∑ 0 < 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2 < 1 . Recently, this problem has been studied in [ 8 , 9 ]. In [ 8 ] the author studies the existence and multiplicity of positive solutions for problem ( 1.4 ), and he uses Krasnoselskii and Leggett-Williams fixed point theorems. The question of uniqueness and monotonicity of the solution is not treated. In [ 9 ], the authors investigate the existence and uniqueness of positive and nondecreasing solutions for problem ( 1.4 ), and the main tools in this paper are a fixed point theorem in partially ordered sets and the lower and upper solution method. Our study is based on a different fixed point theorem in partially ordered sets than the one used in [ 9 ]. Our main interest in this paper is to give an alternative answer to the main results of [ 8 , 9 ]. Existence of fixed points in partially ordered sets has been considered recently in [ 10 – 13 ], among others. For existence theorems for fractional differential equations and applications, we refer to the survey [ 14 ]. Concerning the definitions and basic properties, we refer the reader to [ 15 ]. 2. Preliminaries and Previous Results For the convenience of the reader, we present here some definitions, lemmas, and results that will be used in the proofs of our main results. Definition 2.1. The Riemann-Liouville fractional integral of order 𝛼 > 0 of a function 𝑓 ∶ ( 0 , ∞ ) → ℝ is given by 𝐼 𝛼 0 + 1 𝑓 ( 𝑡 ) =  Γ ( 𝛼 ) 𝑡 0 ( 𝑡 − 𝑠 ) 𝛼 − 1 𝑓 ( 𝑠 ) 𝑑 𝑠 , ( 2 . 1 ) provided that the right-hand side is pointwise defined on ( 0 , ∞ ) and where Γ ( 𝛼 ) denotes the Euler gamma function given by Γ  ( 𝛼 ) = 0 + ∞ 𝑡 𝛼 − 1 𝑒 − 𝑡 𝑑 𝑡 , 𝛼 > 0 . ( 2 . 2 ) Definition 2.2. The Riemann-Liouville fractional derivative of order 𝛼 > 0 of a function 𝑓 ∶ ( 0 , ∞ ) → ℝ is defined by 𝐷 𝛼 0 + 1 𝑓 ( 𝑡 ) =  𝑑 Γ ( 𝑛 − 𝛼 )  𝑑 𝑡 𝑛  𝑡 0 𝑓 ( 𝑡 ) ( 𝑡 − 𝑠 ) 𝛼 − 𝑛 + 1 𝑑 𝑠 , ( 2 . 3 ) where 𝑛 = [ 𝛼 ] + 1 and [ 𝛼 ] denote the integer part of 𝛼 . The following two lemmas can be found in [ 16 , 17 ]. Lemma 2.3. Let 𝛼 > 0 and 𝑢 ∈ 𝐶 ( 0 , 1 ) ∩ 𝐿 1 ( 0 , 1 ) . Then the fractional differential equation 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) = 0 ( 2 . 4 ) has 𝑢 ( 𝑡 ) = 𝑐 1 𝑡 𝛼 − 1 + 𝑐 2 𝑡 𝛼 − 2 + ⋯ + 𝑐 𝑛 𝑡 𝛼 − 𝑛 , 𝑐 𝑖 [ 𝛼 ] ∈ ℝ ( 𝑖 = 1 , 2 , … , 𝑛 ) , 𝑛 = + 1 , ( 2 . 5 ) as unique solutions. Lemma 2.4. Assume that 𝑢 ∈ 𝐶 ( 0 , 1 ) ∩ 𝐿 1 ( 0 , 1 ) with a fractional derivative of order 𝛼 > 0 that belongs to 𝐶 ( 0 , 1 ) ∩ 𝐿 1 ( 0 , 1 ) . Then 𝐼 𝛼 0 + 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) = 𝑢 ( 𝑡 ) + 𝑐 1 𝑡 𝛼 − 1 + 𝑐 2 𝑡 𝛼 − 2 + ⋯ + 𝑐 𝑛 𝑡 𝛼 − 𝑛 , ( 2 . 6 ) for some 𝑐 𝑖 ∈ ℝ ( 𝑖 = 1 , 2 , … , 𝑛 ) and 𝑛 = [ 𝛼 ] + 1 . Using Lemma 2.4 , in [ 8 ] the following result is proved. Lemma 2.5. Given 𝑓 ∈ 𝐶 [ 0 , 1 ] , then the unique solution of 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) + 𝑓 ( 𝑡 ) = 0 , 0 < 𝑡 < 1 , 2 < 𝛼 ≤ 3 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 0 , 𝑢 ′ ( 1 ) = 𝑚 − 2  𝑖 = 1 𝑎 𝑖  𝜉 𝑢 ′ 𝑖  ( 2 . 7 ) is  𝑢 ( 𝑡 ) = 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 ) 𝑑 𝑠 , ( 2 . 8 ) where Green’s function 𝐺 ( 𝑡 , 𝑠 ) is given by 𝐺 ( 𝑡 , 𝑠 ) = 𝐺 1 ( 𝑡 , 𝑠 ) + 𝐺 2 ( 𝑡 , 𝑠 ) , ( 2 . 9 ) taking 𝐺 1 ⎧ ⎪ ⎨ ⎪ ⎩ ( 𝑡 , 𝑠 ) = ( 1 − 𝑠 ) 𝛼 − 2 𝑡 𝛼 − 1 − ( 𝑡 − 𝑠 ) 𝛼 − 1 Γ ( 𝛼 ) , 0 ≤ 𝑠 ≤ 𝑡 ≤ 1 , ( 1 − 𝑠 ) 𝛼 − 2 𝑡 𝛼 − 1 𝐺 Γ ( 𝛼 ) , 0 ≤ 𝑡 ≤ 𝑠 ≤ 1 , 2 1 ( 𝑡 , s ) =  ( 1 − 𝜚 ) Γ ( 𝛼 ) 𝜚 ( 1 − 𝑠 ) 𝛼 − 2 − 𝑚 − 2  𝑖 = 1 𝑎 𝑖  𝜉 𝑖  − 𝑠 𝛼 − 2 𝜒 𝐸 𝑖  𝑡 ( 𝑠 ) 𝛼 − 1 , ( 2 . 1 0 ) where ∑ 𝜚 = 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2 and 𝜒 𝐸 𝑖 denotes the characteristic function of the set 𝐸 𝑖 = [ 0 , 𝜉 𝑖 ] for 𝑖 = 1 , 2 , … , 𝑚 − 2 . Remark 2.6. Notice that Lemma 3 appears in [ 8 ] under assumption 2 < 𝛼 < 3 . In [ 9 ] the authors prove this result in the same way for 2 < 𝛼 ≤ 3 . The following result is proved in [ 8 , 9 ]. Lemma 2.7. Under the assumption 𝑎 𝑖 ≥ 0 for 𝑖 = 1 , 2 , … , 𝑚 − 2 , 0 < 𝜉 1 < 𝜉 2 < ⋯ < 𝜉 𝑚 − 2 < 1 and 1 − 𝜚 > 0 where ∑ 𝜚 = 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2 , the Green’s function appearing in Lemma 2.5 satisfies 𝐺 ( 𝑡 , 𝑠 ) ≥ 0 . Remark 2.8. It is easily checked that 𝐺 ( 𝑡 , 𝑠 ) is a continuous function on [ 0 , 1 ] × [ 0 , 1 ] . The following lemmas appear in [ 9 ]. Lemma 2.9. The function 𝐺 1 ( 𝑡 , 𝑠 ) appearing in Lemma 2.5 is strictly increasing in the first variable. Lemma 2.10. The function 𝐺 ( 𝑡 , 𝑠 ) appearing in Lemma 2.5 satisfies m a x 0 ≤ 𝑡 ≤ 1  1 0 1 𝐺 ( 𝑡 , 𝑠 ) 𝑑 𝑠 =  1 ( 𝛼 − 1 ) Γ ( 𝛼 ) 𝛼 + 1  1 − 𝜚 𝑚 − 2  𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2  1 − 𝜉 𝑖  .   ( 2 . 1 1 ) For convenience, we will denote by 𝐿 the constant 1 𝐿 =  1 ( 𝛼 − 1 ) Γ ( 𝛼 ) 𝛼 + 1  1 − 𝜚 𝑚 − 2  𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2  1 − 𝜉 𝑖  .   ( 2 . 1 2 ) In the sequel we present the fixed point theorem we will use later and which appears in [ 18 ]. Firstly, we need to introduce the following class of functions. By 𝒮 we denote the class of those functions 𝛽 ∶ [ 0 , ∞ ) → [ 0 , 1 ) satisfying 𝛽 ( 𝑡 𝑛 ) → 1 implies 𝑡 𝑛 → 0 . Theorem 2.11 (see [ 18 ]). Let ( 𝑋 , ≤ ) be a partially ordered set, and suppose that there exists a metric 𝑑 in 𝑋 such that ( 𝑋 , 𝑑 ) is a complete metric space. Let 𝑇 ∶ 𝑋 → 𝑋 be a nondecreasing mapping such that there exists an element 𝑥 0 ∈ 𝑋 with 𝑥 0 ≤ 𝑇 𝑥 0 . Suppose that there exists 𝛽 ∈ 𝒮 such that 𝑑 ( 𝑇 𝑥 , 𝑇 𝑦 ) ≤ 𝛽 ( 𝑑 ( 𝑥 , 𝑦 ) ) 𝑑 ( 𝑥 , 𝑦 ) , ( 2 . 1 3 ) for 𝑥 , 𝑦 ∈ 𝑋 with 𝑦 ≥ 𝑥 . Assume that either 𝑇 is continuous or 𝑋 is such that  𝑥 i f 𝑛  i s a n o n d e c r e a s i n g s e q u e n c e w i t h 𝑥 𝑛 ⟶ 𝑥 i n 𝑋 , t h e n 𝑥 𝑛 ≤ 𝑥 , ∀ 𝑛 ∈ ℕ . ( 2 . 1 4 ) Besides, if f o r 𝑥 , 𝑦 ∈ 𝑋 t h e r e e x i s t s 𝑧 ∈ 𝑋 w h i c h i s c o m p a r a b l e t o 𝑥 a n d 𝑦 , ( 2 . 1 5 ) then 𝑇 has a unique fixed point. In our considerations, we will work in the space 𝐶 [ 0 , 1 ] = { 𝑥 ∶ [ 0 , 1 ] → ℝ , c o n t i n u o u s } , with the standard distance given by 𝑑 ( 𝑥 , 𝑦 ) = m a x 0 ≤ 𝑡 ≤ 1 { | 𝑥 ( 𝑡 ) − 𝑦 ( 𝑡 ) | } for 𝑥 , 𝑦 ∈ 𝐶 [ 0 , 1 ] . Notice that this space can be equipped with a partial order given by 𝑥 ≤ 𝑦 ⟺ 𝑥 ( 𝑡 ) ≤ 𝑦 ( 𝑡 ) , ( 2 . 1 6 ) for 𝑥 , 𝑦 ∈ 𝐶 [ 0 , 1 ] and 𝑡 ∈ [ 0 , 1 ] . In [ 12 ] it is proved that ( 𝐶 [ 0 , 1 ] , ≤ ) with the above-mentioned distance satisfies condition ( 2.14 ) of Theorem 2.11 . Moreover, for 𝑥 , 𝑦 ∈ 𝐶 [ 0 , 1 ] , as the function m a x { 𝑥 , 𝑦 } is continuous in [ 0 , 1 ] , ( 𝐶 [ 0 , 1 ] , ≤ ) satisfies condition ( 2.15 ) of Theorem 2.11 . 3. Main Result Our starting point in this section is to present the class of functions 𝒜 which we use later. By 𝒜 we will denote the class of those functions 𝜙 ∶ [ 0 , ∞ ) → [ 0 , ∞ ) satisfying the following conditions: (C1) 𝜙 is nondecreasing; (C2) For any 𝑥 > 0 , 𝜙 ( 𝑥 ) < 𝑥 ; (C3) 𝜙 ( 𝑥 ) / 𝑥 ∈ 𝒮 , where 𝒮 is the class of functions appearing in Section 2 . Examples of functions in 𝒜 are 𝜙 ( 𝑥 ) = 𝜇 𝑥 with 0 ≤ 𝜇 < 1 , 𝜙 ( 𝑥 ) = 𝑥 / 1 + 𝑥 and 𝜙 ( 𝑥 ) = l n ( 1 + 𝑥 ) . In what follows, we formulate our main result. Theorem 3.1. Suppose that the following assumptions are satisfied: (a) 𝑓 ∶ [ 0 , 1 ] × [ 0 , ∞ ) → [ 0 , ∞ ) is continuous; (b) 𝑓 ( 𝑡 , 𝑥 ) is nondecreasing with respect to the second variable for each 𝑡 ∈ [ 0 , 1 ] ; (c) there exists 0 < 𝜆 ≤ 1 / 𝐿 and 𝜙 ∈ 𝒜 such that 𝑓 ( 𝑡 , 𝑦 ) − 𝑓 ( 𝑡 , 𝑥 ) ≤ 𝜆 𝜙 ( 𝑦 − 𝑥 ) , ( 3 . 1 ) for 𝑥 , 𝑦 ∈ [ 0 , ∞ ) with 𝑦 ≥ 𝑥 and 𝑡 ∈ [ 0 , 1 ] . Then problem ( 1.4 ) has a unique nonnegative and nondecreasing solution. Proof. Consider the cone 𝑃 = { 𝑢 ∈ 𝐶 [ 0 , 1 ] ∶ 𝑢 ≥ 0 } . Notice that, as 𝑃 is a closed set of 𝐶 [ 0 , 1 ] , 𝑃 is a complete metric space with the distance given by 𝑑 ( 𝑥 , 𝑦 ) = m a x 0 ≤ 𝑡 ≤ 1 { | 𝑥 ( 𝑡 ) − 𝑦 ( 𝑡 ) | } satisfying conditions ( 2.14 ) and ( 2.15 ) of Theorem 2.11 . Now, for 𝑢 ∈ 𝑃 we define the operator 𝑇 by  ( 𝑇 𝑢 ) ( 𝑡 ) = 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 𝑢 ( 𝑠 ) ) 𝑑 𝑠 , ( 3 . 2 ) where 𝐺 ( 𝑡 , 𝑠 ) is Green’s function defined in Section 2 . By Lemma 2.7 , Remark 2.8 , and (a), it is clear that 𝑇 applies the cone 𝑃 into itself. Now, we will check that assumptions in Theorem 2.11 are satisfied. Firstly, the operator 𝑇 is nondecreasing. In fact, by assumption (b), for 𝑢 ≥ 𝑣 we have  ( 𝑇 𝑢 ) ( 𝑡 ) = 1 0  𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 𝑢 ( 𝑠 ) ) 𝑑 𝑠 ≥ 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 𝑣 ( 𝑠 ) ) 𝑑 𝑠 = ( 𝑇 𝑣 ) ( 𝑡 ) . ( 3 . 3 ) On the other hand, for 𝑢 ≥ 𝑣 and 𝑢 ≠ 𝑣 and taking into account our hypotheses, we can obtain 𝑑 ( 𝑇 𝑢 , 𝑇 𝑣 ) = m a x 0 ≤ 𝑡 ≤ 1  | | | |  ( 𝑇 𝑢 ) ( 𝑡 ) − ( 𝑇 𝑣 ) ( 𝑡 ) = m a x 0 ≤ 𝑡 ≤ 1 [ ] ( 𝑇 𝑢 ) ( 𝑡 ) − ( 𝑇 𝑣 ) ( 𝑡 ) = m a x 0 ≤ 𝑡 ≤ 1   1 0  𝐺 ( 𝑡 , 𝑠 ) ( 𝑓 ( 𝑠 , 𝑢 ( 𝑠 ) ) − 𝑓 ( 𝑠 , 𝑣 ( 𝑠 ) ) ) 𝑑 𝑠 ≤ m a x 0 ≤ 𝑡 ≤ 1   1 0  . 𝐺 ( 𝑡 , 𝑠 ) 𝜆 𝜙 ( 𝑢 ( 𝑠 ) − 𝑣 ( 𝑠 ) ) 𝑑 𝑠 ( 3 . 4 ) Since 𝜙 is not nondecreasing and taking into account Lemma 2.10 and assumption (c), we get 𝑑 ( 𝑇 𝑢 , 𝑇 𝑣 ) ≤ 𝜆 𝜙 ( ‖ 𝑢 − 𝑣 ‖ ) m a x 0 ≤ 𝑡 ≤ 1  1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑑 𝑠 = 𝜆 𝜙 ( 𝑑 ( 𝑢 , 𝑣 ) ) 𝐿 ≤ 𝜙 ( 𝑑 ( 𝑢 , 𝑣 ) ) = 𝜙 ( 𝑑 ( 𝑢 , 𝑣 ) ) 𝑑 ( 𝑢 , 𝑣 ) 𝑑 ( 𝑢 , 𝑣 ) . ( 3 . 5 ) Thus, for 𝑢 ≥ 𝑣 and 𝑢 ≠ 𝑣 , 𝑑 ( 𝑇 𝑢 , 𝑇 𝑣 ) ≤ 𝛽 ( 𝑑 ( 𝑢 , 𝑣 ) ) 𝑑 ( 𝑢 , 𝑣 ) , ( 3 . 6 ) where 𝛽 ( 𝑥 ) = 𝜙 ( 𝑥 ) / 𝑥 ∈ 𝒮 . Obviously, the last inequality is satisfied for 𝑢 = 𝑣 . Thus condition ( 2.13 ) in Theorem 2.11 holds with 𝛽 ( 𝑥 ) = 𝜙 ( 𝑥 ) / 𝑥 . Moreover, since 𝑓 and 𝐺 are nonnegative functions,  ( 𝑇 0 ) ( 𝑡 ) = 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 0 ) 𝑑 𝑠 ≥ 0 . ( 3 . 7 ) Finally, Theorem 2.11 tells us that problem ( 1.4 ) has a unique nonnegative solution 𝑢 ( 𝑡 ) . In what follows, we will prove that the unique nonnegative solution 𝑢 ( 𝑡 ) for problem ( 1.4 ) is nondecreasing. In fact, by Lemmas 2.5 and 2.9 it is easily seen that 𝐺 ( 𝑡 , 𝑠 ) is strictly increasing and, since 𝑢 ( 𝑡 ) is a fixed point of the operator 𝑇 , we have  𝑢 ( 𝑡 ) = 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 𝑢 ( 𝑠 ) ) 𝑑 𝑠 . ( 3 . 8 ) These facts and the nonnegative character of 𝑓 give us that 𝑢 ( 𝑡 ) is nondecreasing. Now, we present a sufficient condition for the existence and uniqueness of a positive and strictly increasing solution for problem ( 1.4 ) (positive solution means a solution satisfying 𝑥 ( 𝑡 ) > 0 for 𝑡 ∈ ( 0 , 1 ) ) . The proof of this fact is similar to the proof of Theorem 3.6 of [ 18 ]. We present it for completeness. Theorem 3.2. Under assumptions of Theorem 3.1 and adding the following assumption (d) 𝑓 ( 𝑡 0 , 0 ) ≠ 0 for certain 𝑡 0 ∈ [ 0 , 1 ] , one obtains existence and uniqueness of a positive and strictly increasing solution for problem ( 1.4 ). Proof. Consider the nonnegative solution 𝑥 ( 𝑡 ) for Problem ( 1.4 ) whose existence is guaranteed by Theorem 3.1 . Notice that 𝑥 ( 𝑡 ) satisfies  𝑥 ( 𝑡 ) = 1 0 𝐺 ( 𝑡 , 𝑠 ) 𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) 𝑑 𝑠 . ( 3 . 9 ) Firstly, we will prove that 𝑥 ( 𝑡 ) > 0 for 𝑡 ∈ ( 0 , 1 ) . In fact, in contrary case we can find 0 < 𝑡 ∗ < 1 such that 𝑥 ( 𝑡 ∗ ) = 0 . Consequently, 𝑥  𝑡 ∗  =  1 0 𝐺  𝑡 ∗  , 𝑠 𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) 𝑑 𝑠 = 0 . ( 3 . 1 0 ) As 𝑥 ≥ 0 , 𝐺 ( 𝑡 , 𝑠 ) ≥ 0 , and 𝑓 is nondecreasing with respect to the second variable (assumption (b)), from the last expression we can get  𝑡 0 = 𝑥 ∗  =  1 0 𝐺  𝑡 ∗   , 𝑠 𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) 𝑑 𝑠 ≥ 1 0 𝐺  𝑡 ∗  , 𝑠 𝑓 ( 𝑠 , 0 ) 𝑑 𝑠 ≥ 0 ( 3 . 1 1 ) and, thus,  1 0 𝐺  𝑡 ∗  , 𝑠 𝑓 ( 𝑠 , 0 ) 𝑑 𝑠 = 0 . ( 3 . 1 2 ) This fact and the nonnegative character of the functions 𝐺 ( 𝑡 ∗ , 𝑠 ) and 𝑓 ( 𝑡 , 0 ) imply 𝐺  𝑡 ∗  𝑓 , 𝑠 ( 𝑠 , 0 ) = 0 a . e . ( 𝑠 ) . ( 3 . 1 3 ) By Lemma 2.9 , and since 𝐺 ( 0 , 𝑠 ) = 0 and 𝐺 ( 𝑡 ∗ , 𝑠 ) > 0 for any 𝑠 ∈ [ 0 , 1 ] , we have 𝑓 ( 𝑠 , 0 ) = 0 a . e . ( 𝑠 ) . ( 3 . 1 4 ) On the other hand, assumption (d) gives us that 𝑓 ( 𝑡 0 , 0 ) ≠ 0 for certain 𝑡 0 ∈ [ 0 , 1 ] and, thus, 𝑓 ( 𝑡 0 , 0 ) > 0 . This fact and the continuity of 𝑓 imply the existence of a set 𝐴 ⊂ [ 0 , 1 ] with 𝑡 0 ∈ 𝐴 and 𝜇 ( 𝐴 ) > 0 , where 𝜇 is the Lebesgue measure, such that 𝑓 ( 𝑡 , 0 ) > 0 for any 𝑡 ∈ 𝐴 . This contradicts ( 3.14 ). Therefore, 𝑥 ( 𝑡 ) > 0 for 𝑡 ∈ ( 0 , 1 ) . In the sequel, we will show that 𝑥 ( 𝑡 ) is strictly increasing. In fact, since 𝐺 ( 0 , 𝑠 ) = 0 , we have  𝑥 ( 0 ) = 1 0 𝐺 ( 0 , 𝑠 ) 𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) 𝑑 𝑠 = 0 . ( 3 . 1 5 ) Now, we take 𝑡 1 , 𝑡 2 ∈ [ 0 , 1 ] with 𝑡 1 < 𝑡 2 . We can consider two cases. Case 1 ( 𝑡 = 0 ). Suppose that 𝑥 ( 𝑡 2 ) = 0 . Using a similar argument similar o the one used in the proof of the positive character of 𝑥 ( 𝑡 ) , we obtain a contradiction. Case 2 ( 𝑡 1 > 0 ). Suppose that 𝑥 ( 𝑡 1 ) = 𝑥 ( 𝑡 2 ) . In this case, we have  1 0  𝐺  𝑡 1   𝑡 , 𝑠 − 𝐺 2 , 𝑠   𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) 𝑑 𝑠 = 0 . ( 3 . 1 6 ) Since 𝐺 ( 𝑡 1 , 𝑠 ) − 𝐺 ( 𝑡 2 , 𝑠 ) > 0 (Lemma 2.3 ), we get 𝑓 ( 𝑠 , 𝑥 ( 𝑠 ) ) = 0 a . e . ( 𝑠 ) . ( 3 . 1 7 ) Again, the same reasoning that we use earlier gives us a contradiction. Therefore, 𝑥 ( 𝑡 1 ) < 𝑥 ( 𝑡 2 ) . This finished the proof. Remark 3.3. In Theorem 3.2 , the condition 𝑓 ( 𝑡 0 , 0 ) ≠ 0 for certain 𝑡 0 ∈ [ 0 , 1 ] seems to be a strong condition in order to obtain a positive solution for problem ( 1.4 ), but when the solution is unique, we will see that this condition is very adjusted one. In fact, suppose that problem ( 1.4 ) has a unique nonnegative solution 𝑥 ( 𝑡 ) , then we have [ ] 𝑓 ( 𝑡 , 0 ) = 0 f o r a n y 𝑡 ∈ 0 , 1 i ff 𝑥 ( 𝑡 ) ≡ 0 . ( 3 . 1 8 ) Indeed, if 𝑓 ( 𝑡 , 0 ) = 0 for any 𝑡 ∈ [ 0 , 1 ] , then it is easily seen that the zero function is a solution for problem ( 1.4 ) and the uniqueness of solution gives us 𝑥 ( 𝑡 ) ≡ 0 . The reverse implication is obvious. Remark 3.4. Notice that assumptions in Theorem 3.1 are invariant by nonnegative and continuous perturbations. More precisely, if 𝑓 ( 𝑡 , 0 ) = 0 for any 𝑡 ∈ [ 0 , 1 ] and 𝑓 satisfies conditions (a), (b), and (c) of Theorem 3.1 , then 𝑔 ( 𝑡 , 𝑥 ) = 𝑎 ( 𝑡 ) + 𝑓 ( 𝑡 , 𝑥 ) , where 𝑎 ∶ [ 0 , 1 ] → [ 0 , ∞ ) continuously and 𝑎 ≠ 0 , satisfies assumptions of Theorem 3.2 , and this means that the boundary value problem 𝐷 𝛼 0 + 𝑢 ( 𝑡 ) + 𝑔 ( 𝑡 , 𝑢 ( 𝑡 ) ) = 0 , 0 < 𝑡 < 1 , 2 < 𝛼 ≤ 3 , 𝑢 ( 0 ) = 𝑢  ( 0 ) = 0 , 𝑢  ( 1 ) = 𝑚 − 2  𝑖 = 1 𝑎 𝑖 𝑢   𝜉 𝑖  , ( 3 . 1 9 ) with 𝑎 𝑖 ≥ 0 for 𝑖 = 1 , 2 , … , 𝑚 − 2 , 0 < 𝜉 1 < 𝜉 2 < ⋯ < 𝜉 𝑚 − 2 < 1 , and ∑ 0 < 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2 < , 1 has a unique positive and strictly increasing solution. In the sequel, we present an example which illustrates our results. Example 3.5. Consider the following boundary value problem: 𝐷 0 5 / 2 + 𝑢 ( 𝑡 ) + 𝑡 + 𝜆 𝑢 ( 𝑡 ) 1 + 𝑢 ( 𝑡 ) = 0 , 0 < 𝑡 < 1 , 𝜆 > 0 , 𝑢 ( 0 ) = 𝑢  ( 0 ) = 0 , 𝑢   1 ( 1 ) = 2  𝑢   1 4  +  1 4  𝑢   1 2  . ( 3 . 2 0 ) In this case, 𝛼 = 5 / 2 , 𝑓 ( 𝑡 , 𝑢 ) = 𝑡 + ( 𝜆 𝑢 / ( 1 + 𝑢 ) ) , 0 < 𝜉 1 = 1 / 4 < 𝜉 2 = 1 / 2 < 1 , 𝑎 1 = 1 / 2 , and 𝑎 2 = 1 / 4 . Besides, √ 𝜚 = ( 1 / 2 ) ( 1 / 2 ) + ( 1 / 4 ) ( 1 / 2 ) ≃ 0 . 4 2 6 7 7 6 7 , and 1 𝐿 =  2 ( 3 / 2 ) Γ ( 5 / 2 ) 5 + 1  1 1 − 𝜚 2  1 4  1 / 2 3 4 + 1 4  1 2  1 / 2 1 2   ≃ 0 . 4 4 1 9 7 , ( 3 . 2 1 ) and 1 / 𝐿 = 2 . 2 6 2 6 . It is easily seen that 𝑓 ( 𝑡 , 𝑢 ) satisfies condition (a) of Theorem 3.1 . Since 𝜕 𝑓 / 𝜕 𝑢 = 𝜆 / ( 1 + 𝑢 ) 2 > 0 for 𝑢 ∈ [ 0 , ∞ ) , 𝑓 ( 𝑡 , 𝑢 ) satisfies (b) of Theorem 3.1 . Moreover, for 𝑢 ≥ 𝑣 and 𝑡 ∈ [ 0 , 1 ] , we have 𝑓 ( 𝑡 , 𝑢 ) − 𝑓 ( 𝑡 , 𝑣 ) = 𝑡 + 𝜆 𝑢 1 + 𝑢 − 𝜆 − 𝑡 𝑣  𝑢 1 + 𝑣 = 𝜆 − 𝑣 1 + 𝑢   1 + 𝑣 = 𝜆 𝑢 − 𝑣  ( 1 + 𝑢 ) ( 1 + 𝑣 ) ≤ 𝜆 𝑢 − 𝑣 1 + 𝑢 − 𝑣 = 𝜆 𝜙 ( 𝑢 − 𝑣 ) , ( 3 . 2 2 ) where 𝜙 ( 𝑥 ) = 𝑥 / 1 + 𝑥 . It is easily proved that 𝜙 belongs to the class 𝒜 . Since 𝑓 ( 𝑡 , 0 ) = 𝑡 ≠ 0 for 𝑡 ≠ 0 , Theorem 3.2 states that problem ( 3.20 ) has a unique positive and strictly increasing solution for 0 < 𝜆 ≤ 1 / 𝐿 ≃ 2 . 2 6 2 6 . 4. Some Remark In [ 9 ] the authors consider our problem ( 1.4 ) and they prove the following result. Theorem 4.1. Problem ( 1.4 ) has a unique positive and strictly increasing with solution 𝑢 ( 𝑡 ) if the following conditions are satisfied: (1) 𝑓 ∶ [ 0 , 1 ] × [ 0 , ∞ ) → [ 0 , ∞ ) is continuous and nondecreasing with respect to the second variable and 𝑓 ( 𝑡 , 𝑢 ( 𝑡 ) ) ≠ 0 for 𝑡 ∈ 𝑍 ⊂ [ 0 , 1 ] with 𝜇 ( 𝑍 ) > 0 ( 𝜇 denotes the Lebesgue measure), (2) there exists 0 < 𝜆 < 1 / 𝐿 such that for 𝑢 , 𝑣 ∈ [ 0 , ∞ ) with 𝑢 ≥ 𝑣 and 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) − 𝑓 ( 𝑡 , 𝑣 ) ≤ 𝜆 l n ( 𝑢 − 𝑣 + 1 ) . ( 4 . 1 ) The main tool used by the authors in [ 9 ] for the proof of Theorem 4.1 is a fixed point theorem in partially ordered sets which appears in [ 19 ]. This fixed point theorem uses the following class of functions ℳ . By ℳ we denote the class of functions 𝜙 ∶ [ 0 , ∞ ) → [ 0 , ∞ ) continuously such that if 𝜑 ( 𝑥 ) = 𝑥 − 𝜙 ( 𝑥 ) , then the following conditions are satisfied: (1) 𝜑 ∶ [ 0 , ∞ ) → [ 0 , ∞ ) , and it is nondecreasing; (2) 𝜑 ( 0 ) = 0 ; (3) 𝜑 is positive in ( 0 , ∞ ) . The same proof used by the authors in [ 9 ] gives us that the conclusion of Theorem 4.1 is true if we replace condition 2 of Theorem 4.1 by the following: ( 2  ) there exists 0 < 𝜆 < 1 / 𝐿 such that for 𝑢 , 𝑣 ∈ [ 0 , ∞ ) with 𝑢 ≥ 𝑣 and 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) − 𝑓 ( 𝑡 , 𝑣 ) ≤ 𝜆 𝜙 ( 𝑢 − 𝑣 ) , ( 4 . 2 ) where 𝜙 ∈ ℳ . In what follows we will prove that the classes of functions 𝒜 (see Section 3 ) and ℳ are not comparable. Example 4.2. This example appears in [ 10 ]. Consider the function 𝜙 ∶ [ 0 , ∞ ) → [ 0 , ∞ ) defined by 𝜙 ⎧ ⎪ ⎨ ⎪ ⎩  2 ( 𝑡 ) = 0 , 0 ≤ 𝑡 ≤ 2 , 2 𝑡 − 4 , 2 < 𝑡 ≤ 3 , 3  𝑡 , 3 < 𝑡 . ( 4 . 3 ) It is easily proved that 𝜙 ∈ 𝒜 . On the other hand, it is easily seen that 𝜑 ( 𝑡 ) = 𝑡 − 𝜙 ( 𝑡 ) is not increasing, and, consequently, 𝜙 ∉ ℳ . Example 4.3. Consider the function 𝜙 ∶ [ 0 , ∞ ) → [ 0 , ∞ ) given by 𝜙 ( 𝑥 ) = 𝑥 − a r c t a n 𝑥 . It is easily proved that 𝜙 ∈ ℳ . On the other hand, since 𝛽 ( 𝑥 ) = 𝜙 ( 𝑥 ) / 𝑥 = 1 − ( a r c t a n 𝑥 ) / 𝑥 and 𝛽 ( 𝑡 𝑛 ) → 1 when 𝑡 𝑛 → ∞ , we have that 𝜙 ∉ 𝒜 . Examples 4.2 and 4.3 tell us that the results of this paper cover cases which cannot be treated by Theorem 4 which appears in [ 9 ] and vice versa. In [ 9 ] the following result is also proved ([ 9 , Theorem 5.1]). Theorem 4.4. Problem ( 1.4 ) has a positive solution 𝑢 ( 𝑡 ) if the following conditions are satisfied: ( 𝐻 𝑓 ) 𝑓 ( 𝑡 , 𝑢 ) ∈ 𝐶 ( [ 0 , 1 ] × [ 0 , ∞ ) , [ 0 , ∞ ) ) is nondecreasing relative to 𝑢 , 𝑓 ( 𝑡 , 𝛾 ( 𝑡 ) ) ≢ 0 for 𝑡 ∈ ( 0 , 1 ) , and there exists a positive constant 𝜇 < 1 such that 𝐾 𝜇 𝑓 ( 𝑡 , 𝑢 ) ≤ 𝑓 ( 𝑡 , 𝐾 𝑢 ) , ( 4 . 4 ) for 𝐾 ∈ [ 0 , 1 ] , where  𝛾 ( 𝑡 ) = 1 0 1 𝐺 ( 𝑡 , 𝑠 ) 𝑑 𝑠 +   ( 1 − 𝜚 ) Γ ( 𝛼 ) 1 0 𝜚 ( 1 − 𝑠 ) 𝛼 − 2 − 𝑑 𝑠 𝑚 − 2  𝑖 = 1 𝑎 𝑖  1 0  𝜉 𝑖  − 𝑠 𝛼 − 2 𝜒 𝐸 𝑖  𝑡 ( 𝑠 ) 𝑑 𝑠 𝛼 − 1 . ( 4 . 5 ) In the sequel, we present an example which can be treated by Theorem 3.2 , and it cannot be studied by Theorem 4.4 . Example 4.5. Consider the fractional boundary value problem 𝐷 0 5 / 2 +  𝑡 𝑢 ( 𝑡 ) + 2   1 + 1 ( 𝜆 𝑢 ( 𝑡 ) + 𝑐 ) = 0 , 0 < 𝑡 < 1 , 𝑐 > 0 , 0 < 𝜆 < 1 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 0 , 𝑢 ′ ( 1 ) = 2  𝑢   1 4  +  1 4  𝑢   1 2  . ( 4 . 6 ) In this case, 𝛼 = 5 / 2 , 𝑓 ( 𝑡 , 𝑢 ) = ( 𝑡 2 + 1 ) ( 𝜆 𝑢 + 𝑐 ) , 0 < 𝜉 1 = 1 / 4 < 𝜉 2 = 1 / 2 < 1 , 𝑎 1 = 1 / 2 and 𝑎 2 = 1 / 4 . Besides, 𝜚 = ( 1 / 2 ) ( 1 / 4 ) 1 / 2 + ( 1 / 4 ) ( 1 / 2 ) 1 / 2 ≃ 0 . 4 2 6 7 7 6 7 . It is easily seen that 𝑓 ( 𝑡 , 𝑢 ) satisfies condition (a) of Theorem 3.1 . Since 𝜕 𝑓 / 𝜕 𝑢 = 𝜆 ( 𝑡 2 + 1 ) > 0 , 𝑓 ( 𝑡 , 𝑢 ) satisfies (b) of Theorem 3.1 . Moreover, for 𝑢 ≥ 𝑣 and 𝑡 ∈ [ 0 , 1 ] , we have  𝑡 𝑓 ( 𝑡 , 𝑢 ) − 𝑓 ( 𝑡 , 𝑣 ) = 𝜆 2  + 1 ( 𝑢 − 𝑣 ) ≤ 2 𝜆 ( 𝑢 − 𝑣 ) = 2 𝜙 ( 𝑢 − 𝑣 ) , ( 4 . 7 ) where 𝜙 ( 𝑥 ) = 𝜆 𝑥 . It is easily checked that 𝜙 ∈ 𝒜 . Since 𝑓 ( 𝑡 , 0 ) = 𝑐 ( 𝑡 2 + 1 ) ≠ 0 for 𝑡 ≠ 0 and, as 2 ≤ ( 1 / 𝐿 ) = 2 . 2 6 2 6 (see Example 3.5 ), Theorem 3.2 gives us existence and uniqueness of a positive and strictly increasing solution for Problem ( 4.6 ). On the other hand, we will show that condition ( 𝐻 𝑓 ) appearing in Theorem 4.4 is not satisfied. In fact, suppose that there exists 0 < 𝜇 < 1 such that 𝐾 𝜇 𝑓 ( 𝑡 , 𝑢 ) ≤ 𝑓 ( 𝑡 , 𝐾 𝑢 ) , ( 4 . 8 ) for any 𝐾 ∈ [ 0 , 1 ] . Since 𝑓 ( 𝑡 , 𝑢 ) = ( 𝑡 2 + 1 ) ( 𝜆 𝑢 + 𝑐 ) with 0 < 𝜆 < 1 and 𝑐 > 0 , we have 𝐾 𝜇 ≤ 𝑓 ( 𝑡 , 𝐾 𝑢 ) =  𝑡 𝑓 ( 𝑡 , 𝑢 ) 2  + 1 ( 𝜚 𝐾 𝑢 + 𝑐 )  𝑡 2  = + 1 ( 𝜚 𝑢 + 𝑐 ) 𝜚 𝐾 𝑢 + 𝑐 . 𝜚 𝑢 + 𝑐 ( 4 . 9 ) Taking limit when 𝑢 → ∞ in the last expression, we get 𝐾 𝜇 ≤ 𝐾 , which is false, since 0 < 𝜇 < 1 and the function ℎ ( 𝛼 ) = 𝐾 𝛼 is decreasing when 0 < 𝐾 < 1 . Therefore, Problem ( 4.6 ) can be covered by Theorem 3.2 , and it cannot be treated using Theorem 4.4 . In [ 8 ], the author proves the following result. Theorem 4.6. Assume that ( 𝐻 1 ) 𝑓 ∶ [ 0 , 1 ] × [ 0 , ∞ ) → [ 0 , ∞ ) is continuous, ( 𝐻 2 ) 𝑎 𝑖 ≥ 0 for 𝑖 = 1 , 2 , … , 𝑚 − 2 , 0 < 𝜉 1 < 𝜉 2 < ⋯ < 𝜉 𝑚 − 2 < 1 and ∑ 𝜚 = 𝑚 − 2 𝑖 = 1 𝑎 𝑖 𝜉 𝑖 𝛼 − 2 with 𝜚 < 1 . In addition, suppose that one of the following two conditions holds: ( 𝐻 3 ) l i m 𝑢 → 0 m i n 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) / 𝑢 = ∞ , l i m 𝑢 → ∞ m a x 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) / 𝑢 = 0 , ( 𝐻 4 ) l i m 𝑢 → 0 m i n 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) / 𝑢 = 0 , l i m 𝑢 → ∞ m a x 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) / 𝑢 = ∞ . Then Problem ( 1.4 ) has at least one positive solution. In what follows we present an example which can be treated by our results and it cannot be studied by Theorem 4.6 . Example 4.7. Consider Problem ( 3.20 ) which appears in Example 3.5 . We prove that this example can be treated by Theorem 3.2 and we obtained a unique positive and strictly increasing solution for this problem when 0 < 𝜆 < 1 / 𝐿 ≃ 2 . 2 6 2 6 . On the other hand, in this case, since 𝑓 ( 𝑡 , 𝑢 ) = 𝑡 + ( 𝜆 𝑢 / ( 1 + 𝑢 ) ) , we have m i n 𝑡 ∈ [ 0 , 1 ]  𝑡 + ( 𝜆 𝑢 / ( 1 + 𝑢 ) ) 𝑢  = 𝜆 𝑢 / ( 1 + 𝑢 ) 𝑢 = 𝜆 , 1 + 𝑢 l i m 𝑢 → 0 m i n 𝑡 ∈ [ 0 , 1 ]  𝑡 + ( 𝜆 𝑢 / ( 1 + 𝑢 ) ) 𝑢  = l i m 𝑢 → 0 𝜆 1 + 𝑢 = 𝜆 . ( 4 . 1 0 ) Since 0 < 𝜆 < ∞ , Theorem 4.6 cannot be used in this case. Example 4.8. Consider the following boundary value problem 𝐷 0 5 / 2 +  1 𝑢 ( 𝑡 ) + 𝑐 + 𝜆 a r c t a n 𝑢 ( 𝑡 ) = 0 , 0 < 𝑡 < 1 , 𝑐 > 0 , 𝜆 > 0 , 𝑢 ( 0 ) = 𝑢 ′ ( 0 ) = 0 , 𝑢 ′ ( 1 ) = 2  𝑢   1 4  +  1 4  𝑢   1 2  . ( 4 . 1 1 ) In this case, 𝛼 = 5 / 2 , 𝑓 ( 𝑡 , 𝑢 ) = 𝑐 + 𝜆 a r c t a n 𝑢 , 0 < 𝜉 1 = 1 / 4 < 𝜉 2 = 1 / 2 < 1 , 𝑎 1 = 1 / 2 , and 𝑎 2 = 1 / 4 . Besides, √ 𝜚 = ( 1 / 2 ) ( 1 / 2 ) + ( 1 / 4 ) ( 1 / 2 ) ≃ 0 . 4 2 6 7 7 6 7 . It is easily seen that 𝑓 ( 𝑡 , 𝑢 ) satisfies conditions (a) and (b) of Theorem 3.1 . Moreover, in [ 20 ] it is proved that if 𝑢 ≥ 𝑣 ≥ 0 , a r c t a n 𝑢 − a r c t a n 𝑣 ≤ a r c t a n ( 𝑢 − 𝑣 ) . ( 4 . 1 2 ) Using this fact, for 𝑢 ≥ 𝑣 and 𝑡 ∈ [ 0 , 1 ] , we have 𝑓 ( 𝑡 , 𝑢 ) − 𝑓 ( 𝑡 , 𝑣 ) = 𝜆 ( a r c t a n 𝑢 − a r c t a n 𝑣 ) ≤ 𝜆 a r c t a n ( 𝑢 − 𝑣 ) = 𝜆 𝜙 ( 𝑢 − 𝑣 ) , ( 4 . 1 3 ) where 𝜙 ( 𝑥 ) = a r c t a n 𝑥 . In [ 20 ] it is proved that 𝜙 ∈ 𝒜 . Since 𝑓 ( 𝑡 , 0 ) = 𝑐 ≠ 0 , Theorem 3.2 gives us the existence and uniqueness of a positive and strictly increasing solution for Problem ( 4.11 ) when 0 < 𝜆 ≤ 1 / 𝐿 ≃ 2 . 2 6 2 6 . On the other hand, since l i m 𝑢 → 0 m i n 𝑡 ∈ [ 0 , 1 ] 𝑓 ( 𝑡 , 𝑢 ) 𝑢 = l i m 𝑢 → 0 m i n [ ] 𝑡 ∈ 0 , 1 𝑐 + 𝜆 a r c t a n 𝑢 𝑢 = l i m 𝑢 → 0 𝑐 + 𝜆 a r c t a n 𝑢 𝑢 = ∞ , l i m 𝑢 → ∞ m a x [ ] 𝑡 ∈ 0 , 1 𝑓 ( 𝑡 , 𝑢 ) 𝑢 = l i m 𝑢 → ∞ 𝑐 + 𝜆 a r c t a n 𝑢 𝑢 = 0 , ( 4 . 1 4 ) Problem ( 4.11 ) can be treated by Theorem 4.6 , and we obtain the existence of at least one positive solution. Our main contribution is that for 0 < 𝜆 ≤ 1 / 𝐿 ≃ 2 . 2 6 2 6 we obtain uniqueness and strictly increasing character for the solution of Problem ( 4.11 ). Acknowledgment This paper was partially supported by the Ministerio de Educación y Ciencia, Project MTM 2007/65706. <h4>References</h4> L. M. B. C. Campos, “ On the solution of some simple fractional differential equations ,” International Journal of Mathematics and Mathematical Sciences , vol. 13, no. 3, pp. 481–496, 1990. K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional Differential Equations , John Wiley & Sons, New York, NY, USA, 1993. L. Yi and D. Shusen, “ A class of analytic functions defined by fractional derivation ,” Journal of Mathematical Analysis and Applications , vol. 186, no. 2, pp. 504–513, 1994. D. Delbosco and L. Rodino, “ Existence and uniqueness for a nonlinear fractional differential equation ,” Journal of Mathematical Analysis and Applications , vol. 204, no. 2, pp. 609–625, 1996. M. El-Shahed, “Positive solutions for boundary value problem of nonlinear fractional differential equation,” Abstract and Applied Analysis , Article ID 10368, 8 pages, 2007. S. Liang and J. Zhang, “ Positive solutions for boundary value problems of nonlinear fractional differential equation ,” Nonlinear Analysis , vol. 71, no. 11, pp. 5545–5550, 2009. J. Caballero, J. Harjani, and K. Sadarangani, “ Existence and uniqueness of positive solution for a boundary value problem of fractional order ,” Abstract and Applied Analysis , Article ID 165641, 12 pages, 2011. W. Zhong, “ Positive solutions for multipoint boundary value problem of fractional differential equations ,” Abstract and Applied Analysis , Article ID 601492, 15 pages, 2010. S. Liang and J. Zhang, “ Existence and uniqueness of positive solutions to m-point boundary value problem for nonlinear fractional differential equation ,” Journal of Applied Mathematics and Computing . In press. A. Amini-Harandi and H. Emami, “ A fixed point theorem for contraction type maps in partially ordered metric spaces and application to ordinary differential equations ,” Nonlinear Analysis , vol. 72, no. 5, pp. 2238–2242, 2010. J. Harjani and K. Sadarangani, “ Fixed point theorems for weakly contractive mappings in partially ordered sets ,” Nonlinear Analysis , vol. 71, no. 7-8, pp. 3403–3410, 2009. J. J. Nieto and R. Rodríguez-López, “ Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations ,” Order , vol. 22, no. 3, pp. 223–239, 2005. D. O'Regan and A. Petruşel, “ Fixed point theorems for generalized contractions in ordered metric spaces ,” Journal of Mathematical Analysis and Applications , vol. 341, no. 2, pp. 1241–1252, 2008. A. A. Kilbas and J. J. Trujillo, “ Differential equations of fractional order: methods, results and problems. I ,” Applicable Analysis , vol. 78, no. 1-2, pp. 153–192, 2001. S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional Integrals and Derivatives. Theory and applications , Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993. Z. Bai and H. Lü, “ Positive solutions for boundary value problem of nonlinear fractional differential equation ,” Journal of Mathematical Analysis and Applications , vol. 311, no. 2, pp. 495–505, 2005. A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and Applications of Fractional Differential Equations , vol. 204 of North-Holland Mathematics Studies , Elsevier Science B.V., Amsterdam, The Netherlands, 2006. J. Caballero Mena, J. Harjani, and K. Sadarangani, “Existence and uniqueness of positive and nondecreasing solutions for a class of singular fractional boundary value problems,” Boundary Value Problems , Article ID 421310, 10 pages, 2009. J. Harjani and K. Sadarangani, “ Fixed point theorems for weakly contractive mappings in partially ordered sets ,” Nonlinear Analysis , vol. 71, no. 7-8, pp. 3403–3410, 2009. J. Caballero, J. Harjani, and K. Sadarangani, “Uniqueness of positive solutions for a class of fourth-order boundary value problems,” Abstract and Applied Analysis , Article ID 543035, 13 pages, 2011. //

/lp/hindawi-publishing-corporation/positive-and-nondecreasing-solutions-to-an-m-point-boundary-value-2pWkihWW0w