Hindawi Publishing Corporation Boundary Value Problems Volume 2007, Article ID 97067, 8 pages doi:10.1155/2007/97067 Research Article Solvability of Second-Order m-Point Boundary Value Problems with Impulses Jianli Li and Sanhui Liu Received 1 April 2007; Accepted 30 August 2007 Recommended by Pavel Drabek By Leray-Schauder continuation theorem and the nonlinear alternative of Leray-Schauder type, the existence of a solution for an m-point boundary value problem with impulses is proved. Copyright © 2007 J. Li and S. Liu. 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. 1. Introduction The main purpose of this paper is to get results on the solvability of the following boundary value problem (BVP): x (t) = f t,x(t),x (t) , Δx tk = bk x tk , x (0) = 0, Δx tk = ck x tk , x(1) = m −2 (1.1) ai x ξ i , i =1 where ξ ∈ (0,1), i = 1,2,...,m − 2, 0 < ξ1 < ξ2 < · · · < ξm−2 < 1, ai ∈ R, i = 1,2,...,m − 2, m−2 i i=1 ai = 1, 0 = t0 < t1 < t2 < · · · < tT < tT+1 = 1. Such problems without impulses effects have been solved before, for example, in [1–3]. But as far as we know the publication on the solvability of m-point problems with impulses is fewer [4]. Our main goal is to find condition for f ,bk ,ck ,1 ≤ k ≤ T, which guarantees the existence of at least one solution of problem (1.1). The proofs are based on the Leray-Schauder continuation theorem [5] and the nonlinear alternative of LeraySchauder type [6]. 2 Boundary Value Problems In order to define the concept of solution for BVP (1.1), we introduce the following spaces of functions: (i) PC[0,1] = {u : [0,1] → R, u is continuous at t = tk , u(tk+ ), u(tk− ) exist, and u(tk− ) = u(tk )}; (ii) PC 1 [0,1] = {u ∈ PC[0,1] : u is continuously differentiable at t = tk , u (0+ ), u (tk+ ), u (tk− ) exist and u (tk− ) = u (tk )}; (iii) PC 2 [0,1] = {u ∈ PC 1 [0,1] : u is twice continuously differentiable at t = tk }. Note that PC[0,1] and PC 1 [0,1] are Banach spaces with the norms u∞ = sup u(t) : t ∈ [0,1] , u1 = max u∞ , u ∞ , (1.2) respectively. Definition 1.1. The set Ᏺ is said to be quasiequicontinuous in [0,c] if for any ε > 0 there exists δ > 0 such that if x ∈ Ᏺ, k ∈ Z, t ∗ ,t ∗∗ ∈ (tk−1 ,tk ] ∩ [0,c], and |t ∗ − t ∗∗ | < δ, then |x(t ∗ ) − x(t ∗∗ )| < ε. Lemma 1.2 (compactness criterion [7]). The set Ᏺ ⊂ PC([0,c],Rn ) is relatively compact if and only if one has the following: (1) Ᏺ is bounded; (2) Ᏺ is quasiequicontinuous in [0,c]. Lemma 1.3 [7]. Let s ∈ [0,T), ck ≥ 0, αk , k = 1,..., p, are constants and let p, q ∈ PC(J,R), x ∈ PC 1 (J,R). If x (t) ≤ p(t)x(t) + q(t), + x tk ≤ ck x tk + αk , t ∈ [s,T), t = tk , tk ∈ [s,T), (1.3) then for t ∈ [s,T], t x(t) ≤ x s+ ck exp s<tk <t t + + s p(u)du t ck exp u<tk <t s<tk <t s u p(τ)dτ q(u)du (1.4) t ci exp tk <ti <t tk p(τ)dτ αk . The result also holds if the above inequalities are reversed. 2. Main results Theorem 2.1. Let f : [0,1] × R2 → R be a continuous function. Assume that there exist p(t), q(t), and r(t) : [0,1] → [0, ∞) such that f (t,u,v) ≤ p(t)|u| + q(t)|v | + r(t) (2.1) J. Li and S. Liu 3 for t ∈ [0,1] and all (u,v) ∈ R2 . Then the BVP (1.1) has at least one solution in PC 1 [0,1] provided Q + B < 1, m−2 i =1 a i 1+ 1 − m−2 ai i =1 where P = 1 0 p(t)dt, Q = 1 0 q(t)dt, B= (2.2) P + C < 1, 1−Q−B T k=1 |bk |, (2.3) T C= k=1 |ck |. Proof. Let Y = X = PC 1 [0,1]. Define a linear operator L : D(L) ⊂ X → Y by setting 2 D(L) = x ∈ PC [0,1], x (0) = 0, x(1) = m −2 ai x ξ i , (2.4) i=1 and for x ∈ D(L) : Lx = (x ,Δx (tk ),Δx(tk )). We also define a nonlinear mapping F : X → Y by setting (Fx)(t) = f t,x(t),x (t) ,bk x tk ,ck x tk . (2.5) From the assumption on f , we see that F is a bounded mapping from X to Y . Next, it is easy to see that L : D(L) → Y is one-to-one mapping. Moreover, it follows easily using Lemma 1.2 that L−1 F : X → X is a compact mapping. We note that x ∈ PC 1 [0,1] is a solution of (1.1) if and only if x is a fixed point of the equation x = L−1 Fx. (2.6) We apply the Leray-Schauder continuation theorem to obtain the existence of a solution for x = L−1 Fx. To do this, it suffices to verify that the set of all possible solutions of the family of equations: x (t) = λ f t,x(t),x (t) , Δx tk+ = λbk x tk , x (0) = 0, Δx tk = λck x tk , x(1) = m −2 (2.7) ai x ξ i . i=1 Integrate (2.7) from 0 to t to obtain x (t) = λ t 0 f s,x(s),x (s) ds + λ 0<tk <t bk x tk . (2.8) 4 Boundary Value Problems By condition (2.1), we have x (t) ≤ t 0 p(s)x + q(s)x + r(s) ds + T |bk |x (2.9) k =1 ≤ (Q + B)x + P x + R1 , where R1 = 1 0 r(t)dt. Thus, x ≤ 1 P x + R 1 . 1−Q−B (2.10) Integrate (2.8) from t to 1 to obtain − x(t) =λ + 1 0 m −2 1 1− H(t,s) f s,x(s),x (s) ds + m−2 i=1 ai i=1 ai 1 0 1 t 0<t <s k bk x tk ds + ck x tk t<tk <1 H ξi ,s f s,x(s),x (s) ds 1 ξi 0<t <s k bk x tk ds + ck x tk , ξi <tk <1 (2.11) where ⎧ ⎨1 − t, H(t,s) = ⎩ 1 − s, 0 ≤ s ≤ t ≤ 1, 0 ≤ t ≤ s ≤ 1. (2.12) So m−2 i =1 a i (P + C)x + (Q + B)x + R1 . x ≤ 1 + 1 − m−2 ai i =1 (2.13) Equations (2.10) and (2.13) imply m−2 P 1 ai x ≤ 1 + i= x + R + C 1 . 1 − m−2 ai 1−Q−B i=1 (2.14) It follows from the assumption (2.3) that there is a constant M1 in dependent of λ ∈ [0,1] such that x ≤ M1 . Furthermore, by (2.10), there is a constant M2 such that x ≤ M2 . It is now immediate that the set of solutions of the family of equations (2.7) is, a priori, bounded in PC 1 [0,1] by a constant independent of λ ∈ [0,1]. This completes the proof of the theorem. Theorem 2.2. Let f : [0,1] × R2 → R. Assume that the following conditions hold: (H1 ) | f (t,u,v)| ≤ q(t)w(max{|u|, |v|}) on [0,1] × R2 with w > 0 continuous and nondecreasing on [0, ∞), q(t) : [0,1] → [0, ∞) is continuous; J. Li and S. Liu 5 (H2 ) bk ≥ 0, and C 1+ m−2 i=1 ai m−2 1 − i =1 a i < 1, −1 m−2 m−2 r i=1 ai i=1 ai 1 − C 1 + Q, > M3 = 1 + sup 1 − m−2 ai 1 − m−2 ai r ≥0 w(r) i =1 i =1 (2.15) 1 where Q = 0 0<tk <1 (1 + bk )q(s)ds. Then (1.1) has at least one solution. > 0 such that Choose M M > M3 . w M (2.16) To show that (1.1)) has at least one solution, we consider the operator x = λL−1 Fx, λ ∈ [0,1], (2.17) which is equivalent to (2.7). Let x ∈ PC 1 [0,1] be any solution of (2.7), from (H1 ), we have − q(t)w x1 ≤ x (t) ≤ q(t)w x1 . (2.18) Consider the inequalities x (t) ≤ q(t)w x1 , x tk = 1 + bk x tk , x (0) = 0, (2.19) x (t) ≥ −q(t)w x1 , x tk = 1 + bk x tk , x (0) = 0. By Lemma 1.3, we have x (t) ≤ w x1 t 0 0<t <t k 1 + bk q(s)ds ≤ Qw x1 , x (t) ≥ −w x1 t 0 0<t <t k (2.20) 1 + bk q(s)ds ≥ −Qw x1 . From (2.20), we can deduce x (t) ≤ Qw x1 , (2.21) 6 Boundary Value Problems and so x ≤ Qw x1 . 1 t x (s)ds − t<tk <1 ck x(tk ) Using x(t) = x(1) − x(t) = − m −2 1 1− m−2 i =1 ai i=1 ⎡ ai ⎣ 1 ξi x (s)ds + (2.22) and x(1) = m−2 ⎤ ck x tk ⎦ − ξi <tk <1 i =1 1 t ai x(ξi ), we have x (s)ds − ck x tk , t<tk <1 (2.23) which implies m−2 i =1 a i x + C x , |x(t)| ≤ 1 + 1 − m−2 ai i =1 (2.24) and so −1 m−2 m−2 i =1 a i i=1 ai x ≤ 1 + 1−C 1+ x 1 − m−2 ai 1 − m−2 ai i=1 i =1 −1 m−2 m−2 i =1 a i i=1 ai ≤ 1+ 1−C 1+ Qw x1 . 1 − m−2 ai 1 − m−2 ai i=1 i =1 (2.25) Set Now, (2.22) together with (2.25) imply x1 = M. , U = u ∈ PC 1 [0,1] : u1 < M K = E = PC 1 [0,1], (2.26) then the nonlinear alternative of Leray-Schauder type [6] guarantees that L−1 F has a fixed point, that is, (1.1) has a solution x ∈ PC 1 [0,1], which completes the proof. 3. Examples Example 3.1. Consider the boundary value problem 1 t ∈ [0,1], t = , 2 1 1 1 Δx tk = x tk , Δx tk = x tk , tk = , 6 4 2 1 1 1 2 , − x x (0) = 0, x(1) = x 2 3 3 3 (3.1) 1 f (t,u,v) = t 5 u + t 3 v + t 2 1 + cos u200 + v30 . 2 (3.2) f (t,u,v) ≤ p(t)|u| + q(t)|v | + r(t) (3.3) x = f t,x,x , where It is easy to see that J. Li and S. Liu 7 with p(t) = t 5 , q(t) = (1/2)t 3 , r(t) = 2t 2 . Clearly, P = 1/6, Q = 1/8, B = 1/6, C = 1/4, and Q+B = 7 < 1, 24 1+ m−2 P 33 i=1 ai + C < 1. = m−2 1−Q−B 34 1 − i =1 a i (3.4) By Theorem 2.1, (3.1) has at least one solution. Example 3.2. Consider the boundary value problem 1 t ∈ [0,1], t = , 2 1 1 Δx tk = x tk , Δx tk = x tk , tk = , 3 2 1 1 1 2 , − x x (0) = 0, x(1) = x 2 3 2 3 x = f t,x,x , (3.5) where f (t,u,v) = e−t uα + vβ + μe−t (3.6) with α ∈ [0,1], β ∈ [0,1], μ > 0. It is easy to see that f (t,u,v) ≤ q(t)w max |u|, |v | (3.7) with q(t) = e−t , w(s) = sα + sβ + μ. Clearly m−2 i=1 ai C 1+ 1 − m−2 ai i=1 = 2 < 1, 3 (3.8) r r = sup α sup β + μ = ∞, w(r) r + r r ≥0 r ≥0 so (H2 ) is true. Theorem 2.2 shows that (3.5) has at least one solution. Acknowledgments This work is supported by the NNSF of China (no. 10571050 and no. 60671066), a project supported by Scientific Research Fund of Hunan Provicial Equation Department and Program for Young Excellent Talents in Hunan Normal University. References [1] C. P. Gupta, “Solvability of a three-point nonlinear boundary value problem for a second order ordinary differential equation,” Journal of Mathematical Analysis and Applications, vol. 168, no. 2, pp. 540–551, 1992. [2] C. P. Gupta, S. K. Ntouyas, and P. Ch. Tsamatos, “Solvability of an m-point boundary value problem for second order ordinary differential equations,” Journal of Mathematical Analysis and Applications, vol. 189, no. 2, pp. 575–584, 1995. [3] R. Ma, “Existence of positive solutions for superlinear semipositone m-point boundary-value problems,” Proceedings of the Edinburgh Mathematical Society. Series II, vol. 46, no. 2, pp. 279– 292, 2003. 8 Boundary Value Problems [4] R. P. Agarwal and D. O’Regan, “A multiplicity result for second order impulsive differential equations via the Leggett Williams fixed point theorem,” Applied Mathematics and Computation, vol. 161, no. 2, pp. 433–439, 2005. [5] J. Mawhin, Topological Degree Methods in Nonlinear Boundary Value Problems, vol. 40 of CBMS Regional Conference Series in Mathematics, American Mathematical Society, Providence, RI, USA, 1979. [6] R. P. Agarwal, D. O’Regan, and P. J. Y. Wong, Positive Solutions of Differential, Difference and Integral Equations, Kluwer Academic, Dordrecht, The Netherlands, 1999. [7] D. D. Baı̆nov and P. S. Simeonov, Impulsive Differential Equations: Periodic Solutions and Applications, vol. 66 of Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow, UK, 1993. Jianli Li: Department of Mathematics, Hunan Normal University, Changsha 410081, Hunan, China Email address: ljianli@sina.com Sanhui Liu: Department of Mathematics, Hunan Normal University, Changsha 410081, Hunan, China; Department of Mathematics, Zhuzhou Professional Technology College, Zhuzhou 412000, Hunan, China Email address: 000007295@sina.com