POSITIVE SOLUTIONS OF NONLINEAR THREE-POINT INTEGRAL BOUNDARY-VALUE PROBLEMS FOR SECOND-ORDER DIFFERENTIAL EQUATIONS arxiv:125.1844v3 [math.ca] 4 Jul 213 FAOUZI HADDOUCHI, SLIMANE BENAICHA Abstract. We investigate the existence of positive solutions to the nonlinear second-order three-point integral boundary value problem u (t)a(t)f(u(t)) =, < t < T, u() = βu(), u(t) = α u(s)ds, where < < T, < α < 2T 2, β < 2Tα2 α 2 are given constants. We 22T show the existence of at least one positive solution if f is either superlinear or sublinear by applying Krasnoselskii s fixed point theorem in cones. 1. Introduction The study of the existence of solutions of multipoint boundary value problems for linear second-order ordinary differential equations was initiated by II in and Moiseev [5]. Then Gupta [2] studied three-point boundary value problems for nonlinear second-order ordinary differential equations. Since then, nonlinear second-order three-point boundary value problems have also been studied by several authors. We refer the reader to [1, 3, 4, 7, 8, 9, 1, 11, 12, 13, 14, 15, 16, 17, 18, 19, 21] and the references therein. Tariboon and Sitthiwirattham [2] proved the existence of positive solutions for the three-point boundary-value problem with integral condition u (t)a(t)f(u(t)) =, t (,1), (1.1) u() =, u(1) = α u(s)ds, (1.2) where < < 1 and < α < 2 2. This paper is concerned with the existence of positive solutions of the equation u (t)a(t)f(u(t)) =, t (,T), (1.3) with the three-point integral boundary condition u() = βu(), u(t) = α u(s)ds, (1.4) whereα >, β, (,T)aregivenconstants. Clearlyifβ = and T = 1, then (1.4) reducesto (1.2). The purpose ofthis paper is to givesome results for existence 2 Mathematics Subject Classification. 34B15, 34C25, 34B18. Key words and phrases. Positive solutions; Krasnoselskii s fixed point theorem; Three-point boundary value problems; Cone. 1
2 F. HADDOUCHI, S. BENAICHA for positive solutions to (1.3)-(1.4), assuming that < α < 2T, β < 2Tα2 2 α 2 22T and f is either superlinear or sublinear. Our results extend and complete those obtained by J. Tariboon and T. Sitthiwirattham [2]. On the other hand, we point out that the proof of the last part in the sublinear case (f = ) of Theorem 3.1 in [2] is not correct since it is based on an inequality which is not true. We give a new proof, which is different from that of Theorem 3.1 in [2], and obtain an extended result. Set f(u) f = lim u u, f f(u) = lim u u. (1.5) Then f = and f = correspond to the superlinear case, and f = and f = correspond to the sublinear case. By the positive solution of (1.3)-(1.4) we mean that function u(t) is positive on < t < T and satisfies the problem (1.3)-(1.4). Throughout this paper, we assume the following hypotheses: (H1) f C([, ),[, )). (H2) a C([,T],[, )) and there exists t [,T] such that a(t ) >. The following theorem (Krasnoselskii s fixed-point theorem), will play an important role in the proof of our main results. Theorem 1.1 ([6]). Let E be a Banach space, and let K E be a cone. Assume Ω 1, Ω 2 are open bounded subsets of E with Ω 1, Ω 1 Ω 2, and let A : K (Ω 2 \Ω 1 ) K be a completely continuous operator such that either (i) Au u, u K Ω 1, and Au u, u K Ω 2 ; or (ii) Au u, u K Ω 1, and Au u, u K Ω 2 hold. Then A has a fixed point in K (Ω 2 \ Ω 1 ). 2. Preliminaries To prove the main existence results we will employ several straightforward lemmas. These lemmas are based on the linear boundary-value problem. Lemma 2.1. Let β 2Tα2 α 2 22T. Then for y C([,T],R), the problem has a unique solution u(t) = u (t)y(t) =, t (,T), (2.1) u() = βu(), u(t) = α β(2t α 2 )2β(1α)t (α 2 2T)β(2 α 2 2T) αβ α(β 1)t (α 2 2T)β(2 α 2 2T) 2(β 1)t2β (α 2 2T)β(2 α 2 2T) u(s)ds, (2.2) ( s)y(s)ds ( s) 2 y(s)ds (T s)y(s)ds t (t s)y(s)ds.
POSITIVE SOLUTIONS 3 Proof. From (2.1), we have u(t) = u()u ()t t Integrating (2.3) from to, where (,T), we have Since u(s)ds = u() u () 2 2 (t s)y(s)ds. (2.3) = u() u () 2 2 1 2 u(t) = u()u ()T u() = u()u () By (2.2), from u() = βu(), we have and from u(t) = α (β 1)u()βu () = β u(s)ds, we have (1α)u()(T α 2 2 )u () = Therefore, u() = u () = ( τ (τ s)y(s)ds)dτ ( s) 2 y(s)ds. (T s)y(s)ds and ( s)y(s)ds. ( s)y(s)ds, (T s)y(s)ds α 2 β(2t α 2 ) (α 2 2T)β(2 α 2 2T) 2β (α 2 2T)β(2 α 2 2T) αβ (α 2 2T)β(2 α 2 2T) 2(β 1) (α 2 2T)β(2 α 2 2T) α(β 1) (α 2 2T)β(2 α 2 2T) 2β(1α) (α 2 2T)β(2 α 2 2T) from which it follows that β(2t α 2 )2β(1α)t u(t) = (α 2 2T)β(2 α 2 2T) αβ α(β 1)t (α 2 2T)β(2 α 2 2T) 2(β 1)t2β (α 2 2T)β(2 α 2 2T) ( s)y(s)ds ( s)y(s)ds ( s) 2 y(s)ds ( s) 2 y(s)ds. (T s)y(s)ds ( s) 2 y(s)ds, (T s)y(s)ds (T s)y(s)ds ( s) 2 y(s)ds ( s)y(s)ds, t (t s)y(s)ds.
4 F. HADDOUCHI, S. BENAICHA Lemma 2.2. Let < α < 2T, β < 2Tα2 2 α 2 22T. If y C([,T],[, )), then the unique solution u of (2.1)-(2.2) satisfies u(t) for t [,T]. Proof. From the fact that u (t) = y(t), we have that the graph of u(t) is concave down on (,T) and u(s)ds (u()u()). (2.4) 2 Combining (2.2) with (2.4), we get α(β 1) u(t) u(). (2.5) 2 Since the graph of u is concave down, we get u()u() u(t)u(). T Combining this with (2.2) and (2.5), we obtain (1β) u() α(β 1) 2β u(). 2T If u() <, then u() <. It implies β 2Tα2 α 2 22T, a contradiction to β < 2Tα2 α 2 22T. If u(t) <, then u() <, and the same contradiction emerges. Thus, it is true that u(), u(t), together with the concavity of u(t), we have u(t) for t [,T]. Lemma 2.3. Let α > 2T 2, β. If y C([,T],[, )), then the problem (2.1)-(2.2) has no positive solutions. Proof. Suppose that problem (2.1)-(2.2) has a positive solution u satisfying u(t), t [,T]. If u(t) >, then u(s)ds >. It implies u(t) = α u(s)ds > 2T T(β 1)u() 2 (u()u()) = 2 Tu(), that is u(t) > u() T, which is a contradiction to the concavity of u. If u(t) =, then u(s)ds =, this is u(t) for all t [,]. If there exists t (,T) such that u(t ) >, then u() = u() < u(t ), a violation of the concavity of u. Therefore, no positive solutions exist. Lemma 2.4. Let < α < 2T, β < 2Tα2 2 α 2 22T. If y C([,T],[, )), then the unique solution u of (2.1)-(2.2) satisfies where { γ := min T min u(t) γ u, u = max u(t), (2.6) t [,T] t [,T] α(β 1)2,, 2T } α(β 1)(T ) 2T α(β 1) 2 (,1). (2.7)
POSITIVE SOLUTIONS 5 Proof. We divide the proof into three cases. Set u(t 1 ) = u. Case 1. If t 1 T and min t [,T] u(t) = u(), then the concavity of u implies that Thus, u() u(t 1) t 1 u(t 1) T. min u(t) t [,T] T u. Case 2. If t 1 T and min t [,T] u(t) = u(t), then (2.2), (2.4) and the concavity of u implies This implies that α(β 1)2 u(t) = α u(s)ds 2 α(β 1)2 u(t 1 ) 2 min t [,T] α(β 1)2 2 t 1 u(t 1 ) T. α(β 1)2 u(t) u. 2T u() Case 3. If t 1 < T, then min t [,T] u(t) = u(t). Using the concavity of u and (2.2), (2.4), we obtain u(t 1 ) u(t) u(t)u() (t 1 T) T u(t) u(t)u() (T) T [ u(t) 1T 1 ] 2 α(β1) T = 2T α(β 1)2 α(β 1)(T ) u(t), from which it follows that α(β 1)(T ) min u(t) t [,T] 2T α(β 1) 2 u. Summing up, we have where { γ := min T This completes the proof. min u(t) γ u, t [,T] α(β 1)2,, 2T } α(β 1)(T ) 2T α(β 1) 2.
6 F. HADDOUCHI, S. BENAICHA 3. Existence of positive solutions Now we are in the position to establish the main result. Theorem 3.1. Assume (H1) and (H2) hold, and < α < 2T 2, β < 2Tα2 α 2 22T. Then the problem (1.3)-(1.4) has at least one positive solution in the case (i) f = and f = (superlinear), or (ii) f = and f = (sublinear). Proof. It is known that < α < 2T, β < 2Tα2 2 α 2 22T. From Lemma 2.1, u is a solution to the boundary value problem (1.3)-(1.4) if and only if u is a fixed point of operator A, where A is defined by Au(t) = β(2t α 2 )2β(1α)t (α 2 2T)β(2 α 2 2T) αβ α(β 1)t (α 2 2T)β(2 α 2 2T) 2(β 1)t2β (α 2 2T)β(2 α 2 2T) t (t s)a(s)f(u(s))ds. ( s)a(s)f(u(s))ds ( s) 2 a(s)f(u(s))ds Denote K = { } u/u C([,T],R),u, min u(t) γ u, t [,T] where γ is defined in (2.7). It is obvious that K is a cone in C([,T],R). Moreover, from Lemma 2.2 and Lemma 2.4, AK K. It is alsoeasy to check that A : K K is completely continuous. Superlinear case. f = and f =. Since f =, we may choose H 1 > so that f(u) ǫu, for < u H 1, where ǫ > satisfies ǫ 2(β 1)T1 β(α 2)αβT T(T s)a(s)ds 1. Thus, if we let Ω 1 = {u C([,T],R) : u < H 1 },
POSITIVE SOLUTIONS 7 then, for u K Ω 1, we get Au(t) 2β(1α)tβ(2T α 2 ) α(β 1)tαβ 2β 2(β 1)t 2βT αβ 2 αβt 2β 2T 2T(β 1)β(α 2) αβt 2T(β 1)β(α 2) αβt = 2(β 1)T1 β(α 2)αβT ( s)a(s)f(u(s))ds ( s) 2 a(s)f(u(s))ds ( s)a(s)f(u(s))ds ǫ u 2(β 1)T1 β(α 2)αβT u. ( s) 2 a(s)f(u(s))ds ( s) 2 a(s)f(u(s))ds T(T s)a(s)f(u(s))ds T(T s)a(s)f(u(s))ds T(T s)a(s)ds Thus Au u, u K Ω 1. Further, since f =, there exists Ĥ2 > such that f(u) ρu for u Ĥ2, where ρ > is chosen so that 2 ργ (T s)a(s)ds 1. Let H 2 = max{2h 1, Ĥ2 γ } and Ω 2 = {u C([,T],R) : u < H 2 }. Then u K Ω 2 implies that min u(t) γ u = γh 2 Ĥ2, t [,T]
8 F. HADDOUCHI, S. BENAICHA and so, Au() = = = = 2β(1α) β(2t α 2 ) α(β 1) αβ 2β 2(β 1) ( s)a(s)f(u(s))ds 2 α 2T α 2 2 α 2 2T α 2T 2 2(T ) α 2 2ρ 2ργ u u. ( s)a(s)f(u(s))ds ( s) 2 a(s)f(u(s))ds ( 2 2ss 2 )a(s)f(u(s))ds ( s)a(s)f(u(s))ds sa(s)f(u(s))ds sa(s)f(u(s))ds s 2 a(s)f(u(s))ds a(s)f(u(s))ds sa(s)f(u(s))ds s( s)a(s)f(u(s))ds (T s)a(s)u(s)ds (T s)a(s)ds Hence, Au u, u K Ω 2. By the first part of Theorem 1.1, A has a fixed point in K (Ω 2 \Ω 1 ) such that H 1 u H 2. This completes the superlinear part of the theorem.
POSITIVE SOLUTIONS 9 Sublinear case. f = and f =. Since f =, choose H 3 > such that f(u) Mu for < u H 3, where M > satisfies 2 Mγ (T s)a(s)ds 1. Let Ω 3 = {u C([,T],R) : u < H 3 }, then for u K Ω 3, we get Au() = 2 α 2T α 2 2 2M 2 u Mγ u. ( s) 2 a(s)f(u(s))ds ( s)a(s)f(u(s))ds (T s)a(s)u(s)ds (T s)a(s)ds Thus Au u, u K Ω 3. Now, since f =, there exists Ĥ4 > so that f(u) λu for u Ĥ4, where λ > satisfies λ 2(β 1)T1 β(α 2)αβT T(T s)a(s)ds 1. We consider two cases: Case (i). Suppose f is bounded, say f(u) N for all u [, ). Choosing H 4 max{2h 3, N λ }. For u K with u = H 4, we have Au(t) = 2β(1α)tβ(2T α 2 ) α(β 1)tαβ 2β 2(β 1)t t (t s)a(s)f(u(s))ds 2(β 1)T1 β(α 2)αβT N 2(β 1)T1 β(α 2)αβT ( s)a(s)f(u(s))ds ( s) 2 a(s)f(u(s))ds H 4 λ 2(β 1)T1 β(α 2)αβT H 4, T(T s)a(s)f(u(s))ds T(T s)a(s)ds T(T s)a(s)ds
1 F. HADDOUCHI, S. BENAICHA and therefore Au u. Case (ii). If f is unbounded, then we know from f C([, ),[, )) that there is H 4 : H 4 max{2h 3, Ĥ4 γ } such that Then for u K and u = H 4, we have f(u) f(h 4 ) for u [,H 4 ]. Au(t) 2(β 1)T1 β(α 2)αβT 2(β 1)T1 β(α 2)αβT H 4 λ 2(β 1)T1 β(α 2)αβT H 4 = u. Therefore, in either case we may set T(T s)a(s)f(u(s))ds T(T s)a(s)f(h 4 ))ds Ω 4 = {u C([,T],R) : u < H 4 }, T(T s)a(s)ds and for u K Ω 4 we may have Au u. By the second part of Theorem 1.1, it follows that A has a fixed point in K (Ω 4 \Ω 3 ) such that H 3 u H 4. This completes the sublinear part of the theorem. Therefore, the problem (1.3)-(1.4) has at least one positive solution. 4. Some examples In this section, in order to illustrate our result, we consider some examples. Example 4.1. Consider the boundary value problem u (t)tu p =, < t < 2, (4.1) u() = 1 2 u(3 2 ), u(2) = 3 2 u(s)ds. (4.2) Set β = 1/2, α = 1, = 3/2, T = 2, a(t) = t, f(u) = u p. We can show that < α = 1 < 16/9 = 2T/ 2, < β = 1/2 < 7/13 = (2T α 2 )/(α 2 2 2T). Now we consider the existence of positive solutions of the problem (4.1), (4.2) in two cases. Case 1: p > 1. In this case, f =, f = and (i) holds. Then (4.1), (4.2) has at least one positive solution. Case 2: p (,1). In this case, f =, f = and (ii) holds. Then ((4.1), (4.2) has at least one positive solution. Example 4.2. Consider the boundary value problem u (t)t 2 u 2 ln(1u) =, < t < 3 4, (4.3) u() = 1 1 1 u(1 4 ), u(3 4 ) = 2 4 u(s)ds. (4.4)
POSITIVE SOLUTIONS 11 Set β = 1/1, α = 2, = 1/4, T = 3/4, a(t) = t 2, f(u) = u 2 ln(1u). We can show that < α = 2 < 24 = 2T/ 2, < β = 1/1 < 1/9 = (2T α 2 )/(α 2 2 2T). Through a simple calculation we can get f = and f =. Thus, by the first part of Theorem 3.1, we can get that the problem (4.3), (4.4)) has at least one positive solution. Example 4.3. Consider the boundary value problem u (t)e tsinuln(1u) u 2 =, < t < 1, (4.5) u() = u( 1 3 ), u(1) = 2 1 3 u(s)ds. (4.6) Set β = 1, α = 2, = 1/3, T = 1, a(t) = e t, f(u) = (sinuln(1u))/u 2. We can show that < α = 2 < 18 = 2T/ 2, < β = 1 < 8/7 = (2T α 2 )/(α 2 2 2T). Through a simple calculation we can get f = and f =. Thus, by the second part of Theorem 3.1, we can get that the problem (4.5), (4.6)) has at least one positive solution. References [1] Z. Chengbo; Positive solutions for semi-positone three-point boundary value problems, J. Comput. Appl. Math. 228 (29), 279-286. [2] C. P. Gupta; Solvability of a three-point nonlinear boundary value problem for a second order ordinary differential equations, J. Math. Anal. Appl. 168 (1992), 54-551. [3] Y. Guo, W. Ge; Positive solutions for three-point boundary value problems with dependence on the first order derivative, J. Math. Anal. Appl. 29 (24), 291-31. [4] X. Han, Positive solutions for a three-point boundary value problem, Nonlinear Anal. 66 (27), 679-688. [5] V. A. Il in, E. I. Moiseev; Nonlocal boundary-value problem of the first kind for a Sturm- Liouville operator in its differential and finite difference aspects, Differ. Equ. 23 (1987), 83-81. [6] M. A. Krasnoselskii; Positive Solutions of Operator Equations, P. Noordhoff, Groningen, The Netherlands, 1964. [7] S. Liang, L. Mu; Multiplicity of positive solutions for singular three-point boundary value problems at resonance, Nonlinear Anal. 71 (29), 2497-255. [8] R. Liang, J. Peng, J. Shen; Positive solutions to a generalized second order three-point boundary value problem, Appl. Math. Compt. 196 (28), 931-94. [9] J. Li, J. Shen; Multiple positive solutions for a second-order three-point boundary value problem, Appl. Math. Compt. 182 (26), 258-268. [1] B. Liu; Positive solutions of a nonlinear three-point boundary value problem, Appl. Math. Comput. 132 (22), 11-28. [11] B. Liu; Positive solutions of a nonlinear three-point boundary value problem, Comput. Math. Appl. 44 (22), 21-211. [12] B. Liu, L. Liu, Y. Wu; Positive solutions for singular second order three-point boundary value problems, Nonlinear Anal. 66 (27), 2756-2766. [13] H. Luo, Q. Ma; Positive solutions to a generalized second-order three-point boundary-value problem on time scales, Electron. J. Differen. Equat. 25(25), No. 17, 1-14. [14] R. Ma; Multiplicity of positive solutions for second-order three-point boundary value problems, Comput. Math. Appl. 4 (2), 193-24. [15] R. Ma; Positive solutions of a nonlinear three-point boundary-value problem, Electron. J. Differen. Equat. 1999(1999), No. 34, 1-8. [16] R. Ma; Positive solutions for second-order three-point boundary value problems, Appl. Math. Lett. 14 (21), 1-5. [17] H. Pang, M. Feng, W. Ge; Existence and monotone iteration of positive solutions for a three-point boundary value problem, Appl. Math. Lett 21 (28), 656-661.
12 F. HADDOUCHI, S. BENAICHA [18] Y. Sun, L. Liu, J. Zhang, R. P. Agarwal; Positive solutions of singular three-point boundary value problems for second-order differential equations, J. Comput. Appl. Math. 23 (29), 738-75. [19] H. Sun, W. Li; Positive solutions for nonlinear three-point boundary value problems on time scales, J. Math. Anal. Appl. 299 (24), 58-524. [2] J. Tariboon, T. Sitthiwirattham; Positive solutions of a nonlinear three-point integral boundary value problem, Bound. Val. Prob. 21 (21), ID 51921, 11 pages, doi:1.1155/21/51921. [21] X. Xu; Multiplicity results for positive solutions of some semi-positone three-point boundary value problems, J. Math. Anal. Appl. 291 (24), 673-689. Faouzi Haddouchi, Department of Physics, University of Sciences and Technology of Oran, El Mnaouar, BP 155, 31 Oran, Algeria E-mail address: fhaddouchi@gmail.com Slimane Benaicha, Department of Mathematics, University of Oran, Es-senia, 31 Oran, Algeria E-mail address: slimanebenaicha@yahoo.fr