Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 16 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
16
Dung lượng
525,53 KB
Nội dung
Hindawi Publishing Corporation BoundaryValue Problems Volume 2010, Article ID 458015, 16 pages doi:10.1155/2010/458015 ResearchArticleExistenceofPositiveSolutionsofaSingularNonlinearBoundaryValue Problem Ruyun Ma 1 and Jiemei Li 1, 2 1 College of Mathematics and Information Science, Northwest Normal University, Lanzhou 730070, China 2 The School of Mathematics, Physics & Software Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China Correspondence should be addressed to Ruyun Ma, ruyun ma@126.com Received 21 May 2010; Accepted 11 August 2010 Academic Editor: Vicentiu Radulescu Copyright q 2010 R. Ma and J. Li. 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. We are concerned with the existenceofpositivesolutionsofsingular second-order boundaryvalue problem u tft, ut 0, t ∈ 0, 1, u0u10, which is not necessarily linearizable. Here, nonlinearity f is allowed to have singularities at t 0, 1. The proof of our main result is based upon topological degree theory and global bifurcation techniques. 1. Introduction Existence and multiplicity ofsolutionsofsingular problem u f t, u 0,t∈ 0, 1 , u 0 u 1 0, 1.1 where f is allowed to have singularities at t 0andt 1, have been studied by several authors, see Asakawa 1, Agarwal and O’Regan 2, O’Regan 3, Habets and Zanolin 4, Xu and Ma 5,Yang6, and the references therein. The main tools in 1–6 are the method of lower and upper solutions, Leray-Schauder continuation theorem, and the fixed point index 2 BoundaryValue Problems theory in cones. Recently, Ma 7 studied the existenceof nodal solutionsof the singularboundaryvalue problem u ra t f u 0,t∈ 0, 1 , u 0 u 1 0, 1.2 by applying Rabinowitz’s global bifurcation theorem, where a is allowed to have singularities at t 0, 1andf is linearizable at 0 as well as at ∞. It is the purpose of this paper to study the existenceofpositivesolutionsof 1.1, which is not necessarily linearizable. Let X be Banach space defined by X φ ∈ L 1 loc 0, 1 | 1 0 t 1 − t φ t dt < ∞ , 1.3 with the norm φ X 1 0 t 1 − t φ t dt. 1.4 Let X φ ∈ X | φ t ≥ 0,a.e. t∈ 0, 1 , X p φ ∈ X | 1 0 t 1 − t φ t dt > 0 . 1.5 Definition 1.1. A function g : 0, 1 × R → R is said to be an L 1 loc -Carath ´ eodory function if it satisfies the following: i for each u ∈ R, g·,u is measurable; ii for a.e. t ∈ 0, 1, gt, · is continuous; iii for any R>0, there exists h R ∈ X p , such that g t, u ≤ h R t , a.e.t∈ 0, 1 , | u | ≤ R. 1.6 In this paper, we will prove the existenceofpositivesolutionsof 1.1 by using the global bifurcation techniques under the following assumptions. H1 Let f : 0, 1 × 0, ∞ → 0, ∞ be an L 1 loc -Carath ´ eodory function and there exist functions a 0 ·, a 0 ·, c ∞ ·,andc ∞ · ∈ X p , such that a 0 t u − ξ 1 t, u ≤ f t, u ≤ a 0 t u ξ 2 t, u , 1.7 BoundaryValue Problems 3 for some L 1 loc -Carath ´ eodory functions ξ 1 ,ξ 2 defined on 0, 1 × 0, ∞ with ξ 1 t, u ◦ a 0 t u ,ξ 2 t, u ◦ a 0 t u , as u −→ 0, 1.8 uniformly for a.e. t ∈ 0, 1,and c ∞ t u − ζ 1 t, u ≤ f t, u ≤ c ∞ t u ζ 2 t, u , 1.9 for some L 1 loc -Carath ´ eodory functions ζ 1 ,ζ 2 defined on 0, 1 × 0, ∞ with ζ 1 t, u ◦ c ∞ t u ,ζ 2 t, u ◦ c ∞ t u , as u →∞, 1.10 uniformly for a.e. t ∈ 0, 1. H2 ft, u > 0 for a.e. t ∈ 0, 1 and u ∈ 0, ∞. H3 There exists function c 1 · ∈ X p , such that f t, u ≥ c 1 t u, a.e.t∈ 0, 1 ,u∈ 0, ∞ . 1.11 Remark 1.2. If a 0 ·, a 0 ·, c ∞ ·,andc ∞ · ∈ C0, 1, 0, ∞, then 1.8 implies that ξ 1 t, u ◦ u ,ξ 2 t, u ◦ u , as u → 0, 1.12 and 1.10 implies that ζ 1 t, u ◦ u ,ζ 2 t, u ◦ u , as u →∞. 1.13 The main tool we will use is the following global bifurcation theorem for problem which is not necessarily linearizable. Theorem A Rabinowitz, 8. Let V be a real reflexive Banach space. Let F : R × V → V be completely continuous, such that Fλ, 00, for all λ ∈ R.Leta, b ∈ R a<b, such that u 0 is an isolated solution of the following equation: u − F λ, u 0,u∈ V, 1.14 for λ a and λ b,wherea, 0, b, 0 are not bifurcation points of 1.14. Furthermore, assume that d I − F a, · ,B r 0 , 0 / d I − F b, · ,B r 0 , 0 , 1.15 where B r 0 is an isolating neighborhood of the trivial solution. Let S { λ, u : λ, u is a solution of 1.14 with u / 0 } ∪ a, b × { 0 } , 1.16 4 BoundaryValue Problems then there exists a continuum (i.e., a closed connected set) C of S containing a, b ×{0}, and either i C is unbounded in V × R,or ii C∩R \ a, b ×{0} / ∅. To state our main results, we need the following. Lemma 1.3 see 1,Proposition4.7. Let a ∈ X p , then the eigenvalue problem u λa t u 0,t∈ 0, 1 , u 0 u 1 0 1.17 has a sequence of eigenvalues as follows: 0 <λ 1 a <λ 2 a < ··· <λ k a <λ k1 a < ··· , lim k →∞ λ k a ∞. 1.18 Moreover, for each k ∈ N, λ k a is simple and its eigenfunction ψ k ∈ C 1 0, 1 has exactly k − 1 zeros in 0, 1. Remark 1.4. Note that ψ k ∈ C 1 0, 1 and ψ k 0ψ k 10 for each k ∈ N. Therefore, there exist constants M k > 0, such that ψ k t ≤ M k t 1 − t ,t∈ 0, 1 . 1.19 Our main result is the following. Theorem 1.5. Let (H1)–(H3) hold. Assume that either λ 1 c ∞ < 1 <λ 1 a 0 1.20 or λ 1 a 0 < 1 <λ 1 c ∞ , 1.21 then 1.1 has at least one positive solution. Remark 1.6. For other references related to this topic, see 9–14 and the references therein. 2. Preliminary Results Lemma 2.1 see 15,Proposition4.1. For any h ∈ X, the linear problem u t h t 0,t∈ 0, 1 , u 0 u 1 0 2.1 BoundaryValue Problems 5 has a unique solution u ∈ W 1,1 0, 1 and u ∈ AC loc 0, 1, such that u t 1 0 G t, s h s ds, 2.2 where G t, s ⎧ ⎨ ⎩ s 1 − t , 0 ≤ s ≤ t ≤ 1, t 1 − s , 0 ≤ t ≤ s ≤ 1. 2.3 Furthermore, if h ∈ X ,then u t ≥ 0,t∈ 0, 1 . 2.4 Let Y C0, 1 be the Banach space with the norm u max t∈0,1 |ut|,and E { u ∈ C 0, 1 | u 0 u 1 0 } . 2.5 Let L : DL ⊂ Y → X be an operator defined by Lu −u ,u∈ D L , 2.6 where D L u ∈ W 1,1 0, 1 | u ∈ X, u 0 u 1 0 . 2.7 Then, from Lemma 2.1, L −1 : X → C0, 1 is well defined. Lemma 2.2. Let a ∈ X p and ψ 1 be the first eigenfunction of 1.17. Then for all u ∈ DL, one has 1 0 u t ψ 1 t dt 1 0 u t ψ 1 t dt. 2.8 Proof. For any δ ∈ 0, 1/2, integrating by parts, we have 1−δ δ u t ψ 1 t dt u ψ 1 1−δ δ − uψ 1 1−δ δ 1−δ δ u t ψ 1 t dt. 2.9 Since u ∈ DL and ψ 1 ∈ C 1 0, 1, then lim δ → 0 u δ ψ 1 δ lim δ → 0 u 1 − δ ψ 1 1 − δ 0. 2.10 6 BoundaryValue Problems Therefore, we only need to prove that lim δ → 0 u δ ψ 1 δ 0, lim δ → 0 u 1 − δ ψ 1 1 − δ 0. 2.11 Let us deal with the first equality, the second one can be treated by the same way. Note that u ∈ DL, then tu t u tu ∈ L 1 0,δ , 2.12 which implies that tu t ∈ AC0,δ. Then tu t is bounded on 0,δ.Now,weclaimthat lim t → 0 t u t 0. 2.13 Suppose on the contrary that lim t → 0 t|u t| a>0, then for δ small enough, we have t u t ≥ a 2 ,t∈ 0,δ . 2.14 Therefore, ∞ > δ 0 u t dt ≥ δ 0 a 2t dt ∞, 2.15 which is a contradiction. Combining 1.19 with 2.13, we have u δ ψ 1 δ ≤ M 1 1 − δ δ u δ −→ 0,δ→ 0. 2.16 This completes the proof. Remark 2.3. Under the conditions of Lemma 2.2, for the later convenience, 2.8 is equivalent to Lu, ψ 1 u, Lψ 1 . 2.17 Lemma 2.4 see 1, Lemma 2.3. For every ρ ∈ X , the subset K defined by K L −1 φ ∈ X | φ t ≤ ρ t , a.e. t ∈ 0, 1 2.18 is precompact in C0, 1. Let Σ ⊂ R × E be the closure of the set ofpositivesolutionsof the problem Lu λf t, u . 2.19 BoundaryValue Problems 7 We extend the function f to an L 1 loc -Carath ´ eodory function f defined on 0, 1 × R by f t, u ⎧ ⎨ ⎩ f t, u , t, u ∈ 0, 1 × 0, ∞ , f t, 0 , t, u ∈ 0, 1 × −∞, 0 . 2.20 Then ft, u ≥ 0foru ∈ R and a.e. t ∈ 0, 1. For λ ≥ 0, let u be an arbitrary solution of the problem Lu λ f t, u . 2.21 Since λ ft, ut ≥ 0 for a.e. t ∈ 0, 1, Lemma 2.2 yields ut ≥ 0fort ∈ 0, 1.Thus,u is a nonnegative solution of 2.19, and the closure of the set of nontrivial solutions λ, u of 2.21 in R × E is exactly Σ. Let g : 0, 1 × R → R be an L 1 loc -Carath ´ eodory function. Let N : E → X be the Nemytskii operator associated with the function g as follows: N u t g t, u t ,u∈ E. 2.22 Lemma 2.5. Let gt, u ≥ 0 on 0, 1 × R.Letu ∈ DL be such that Lu ≥ λ Nu in 0, 1, λ ≥ 0. Then, u t ≥ 0,t∈ 0, 1 . 2.23 Moreover, ut > 0 ,t∈ 0, 1, whenever u / ≡ 0. Let N : E → X be the Nemytskii operator associated with the function f as follows: N u t f t, u ,u∈ E. 2.24 Then 2.21,withλ ≥ 0, is equivalent to the operator equation u λL −1 N u ,u∈ E, 2.25 that is, u t λ 1 0 G t, s N u s ds, u ∈ E. 2.26 Lemma 2.6. Let (H1) and (H2) hold. Then the operator L −1 N : C0, 1 → C0, 1 is completely continuous. 8 BoundaryValue Problems Proof. From 1.10 in H1, there exists R>0, such that, for a.e. t ∈ 0, 1 and |u| >R, | ζ 1 t, u | ≤ 1 2 c ∞ t u, | ζ 2 t, u | ≤ 1 2 c ∞ t u. 2.27 Since f is an L 1 loc -Carath ´ eodory function, then there exists h R ∈ X p , such that, for a.e. t ∈ 0, 1 and |u|≤R, | ft, u|≤h R t. Therefore, for a.e. t ∈ 0, 1 and u ∈ R, we have f t, u ≤ 3 2 c ∞ t u h R t . 2.28 For convenience, let T L −1 N. We first show that T : C0, 1 → C0, 1 is continuous. Suppose that u m → u in C0, 1 as m →∞. Clearly, ft, u m → ft, u as m →∞for a.e. t ∈ 0, 1 and there exists M>0 such that u m ≤M for every m ∈ N.Itiseasytoseethat | Tu m t − Tu t | ≤ 1 0 s 1 − s f s, u m s − f s, u s ds, f s, u m s − f s, u s ≤ 3c ∞ s M 2h R s , a.e.s∈ 0, 1 . 2.29 By the Lebesgue dominated convergence theorem, we have that Tu m → Tu in C0, 1 as m →∞.Thus,L −1 N is continuous. Let D be a bounded set in C0, 1. Lemma 2.4 together with 2.28 shows that TD is precompact in C0, 1. Therefore, T is completely continuous. In the following, we will apply the Leray-Schauder degree theory mainly to the mapping Φ λ : E → E, Φ λ u u − λL −1 N u . 2.30 For R>0, let B R {u ∈ E : u <R},letdegΦ λ ,B R , 0 denote the degree of Φ λ on B R with respect to 0. Lemma 2.7. Let Λ ⊂ R be a compact interval with λ 1 a 0 ,λ 1 a 0 ∩ Λ∅, then there exists a number δ 1 > 0 with the property Φ λ u / 0, ∀u ∈ Y :0< u ≤ δ 1 , ∀λ ∈ Λ. 2.31 Proof. Suppose to the contrary that there exist sequences {μ n }⊂Λ and {u n } in Y : μ n → μ ∗ ∈ Λ,u n → 0inY, such that Φ μ n u n 0 for all n ∈ N, then, u n ≥ 0in0, 1. BoundaryValue Problems 9 Set v n u n /u n . Then Lv n μ n u n −1 Nu n μ n u n −1 ft, u n and v n 1. Now, from condition H1,wehavethefollowing: a 0 t u n − ξ 1 t, u n ≤ f t, u n ≤ a 0 t u n ξ 2 t, u n , 2.32 and accordingly μ n a 0 t v n − ξ 1 t, u n u n ≤ μ n f t, u n u n ≤ μ n a 0 t v n ξ 2 t, u n u n . 2.33 Let ϕ 0 and ϕ 0 denote the nonnegative eigenfunctions corresponding to λ 1 a 0 and λ 1 a 0 , respectively, then we have from the first inequality in 2.33 that μ n a 0 t v n − ξ 1 t, u n u n ,ϕ 0 ≤ μ n f t, u n u n ,ϕ 0 Lv n ,ϕ 0 . 2.34 From Lemma 2.2, we have that Lv n ,ϕ 0 v n ,Lϕ 0 λ 1 a 0 v n ,a 0 t ϕ 0 . 2.35 Since u n → 0inE,from1.12 , we have that ξ 1 t, u n u n −→ 0, as u n −→ 0. 2.36 By the fact that v n 1, we conclude that v n vin E.Thus, v n ,a 0 t ϕ 0 −→ v, a 0 t ϕ 0 . 2.37 Combining this and 2.35 and letting n →∞in 2.34, it follows that μ ∗ a 0 t v, ϕ 0 ≤ λ 1 a 0 a 0 t ϕ 0 ,v , 2.38 and consequently μ ∗ ≤ λ 1 a 0 . 2.39 Similarly, we deduce from second inequality in 2.33 that λ 1 a 0 ≤ μ ∗ . 2.40 Thus, λ 1 a 0 ≤ μ ∗ ≤ λ 1 a 0 . This contradicts μ ∗ ∈ Λ. 10 BoundaryValue Problems Corollary 2.8. For λ ∈ 0,λ 1 a 0 and δ ∈ 0,δ 1 , degΦ λ ,B δ , 01. Proof. Lemma 2.7, applied to the interval Λ0,λ, guarantees the existenceof δ 1 > 0, such that for δ ∈ 0,δ 1 , u − τλL −1 N u / 0,u∈ E :0< u ≤ δ, τ ∈ 0, 1 . 2.41 This together with Lemma 2.6 implies that for any δ ∈ 0,δ 1 , deg Φ λ ,B δ , 0 deg I,B δ , 0 1, 2.42 which ends the proof. Lemma 2.9. Suppose λ>λ 1 a 0 , then there exists δ 2 > 0 such that for all u ∈ E with 0 < u≤δ 2 , for all τ ≥ 0, Φ λ u / τϕ 0 , 2.43 where ϕ 0 is the nonnegative eigenfunction corresponding to λ 1 a 0 . Proof. Suppose on the contrary that there exist τ n ≥ 0 and a sequence {u n } with u n > 0and u n → 0inE such that Φ λ u n τ n ϕ 0 for all n ∈ N.As Lu n λN u n τ n λ 1 a 0 a 0 t ϕ 0 2.44 and τ n λ 1 a 0 a 0 tϕ 0 ≥ 0in0, 1, it concludes from Lemma 2.2 that u n t ≥ 0,t∈ 0, 1 . 2.45 Notice that u n ∈ DL has a unique decomposition u n w n s n ϕ 0 , 2.46 where s n ∈ R and w n ,a 0 tϕ 0 0. Since u n ≥ 0on0, 1 and u n > 0, we have from 2.46 that s n > 0. Choose σ>0, such that σ< λ − λ 1 a 0 λ . 2.47 By H1, there exists r 1 > 0, such that | ξ 1 t, u | ≤ σa 0 t u, a.e.t∈ 0, 1 ,u∈ 0,r 1 . 2.48 [...]... nonlinearboundaryvalue problems,” Journal of Mathematical Analysis and Applications, vol 293, no 1, pp 108–124, 2004 6 X Yang, Positivesolutions for nonlinearsingularboundaryvalue problems,” Applied Mathematics and Computation, vol 130, no 2-3, pp 225–234, 2002 7 R Ma, “Nodal solutions for singularnonlinear eigenvalue problems,” Nonlinear Analysis: Theory, Methods & Applications, vol 66, no... dulescu, Singular Elliptic Problems: Bifurcation and Asymptotic Analysis, vol 37 aof Oxford Lecture Series in Mathematics and Its Applications, Oxford University Press, Oxford, UK, 2008 12 A Krist´ ly, V R˘ dulescu, and C Varga, Variational Principles in Mathematical Physics, Geometry, aa and Economics: Qualitative Analysis ofNonlinear Equations and Unilateral Problems, Encyclopedia of Mathematics and... their valuable suggestions This work was supported by the NSFC 11061030, the Fundamental Research Funds for the Gansu Universities 16 BoundaryValue Problems References 1 H Asakawa, “Nonresonant singular two-point boundaryvalue problems,” Nonlinear Analysis: Theory, Methods & Applications, vol 44, no 6, pp 791–809, 2001 2 R P Agarwal and D O’Regan, Singular Differential and Integral Equations with Applications,... Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2003 3 D O’Regan, Theory ofSingularBoundaryValue Problems, World Scientific, River Edge, NJ, USA, 1994 4 P Habets and F Zanolin, “Upper and lower solutions for a generalized Emden-Fowler equation,” Journal of Mathematical Analysis and Applications, vol 181, no 3, pp 684–700, 1994 5 X Xu and J Ma, A note on singularnonlinear boundary. .. It is worth remarking that A1 - A2 imply Condition 1.21 in Theorem 1.5 However, Condition 1.21 is easier to be verified than A1 - A2 since λ1 c∞ and λ1 a0 are easily estimated by Rayleigh’s Quotient The language of eigenvalue ofsingular linear eigenvalue problem did not occur until Asakawa 1 in 2001 The first part of Theorem 1.5 is new Acknowledgments The authors are very grateful to the anonymous referees... 8 P H Rabinowitz, “Some aspects ofnonlinear eigenvalue problems,” The Rocky Mountain Journal of Mathematics, vol 3, pp 161–202, 1973 9 R P Agarwal and D O’Regan, An Introduction to Ordinary Differential Equations, Universitext, Springer, New York, NY, USA, 2008 10 R P Agarwal and D O’Regan, Ordinary and Partial Differential Equations, Universitext, Springer, New York, NY, USA, 2009 11 M Ghergu and V... 15 Assume that {ηn } is bounded, applying a similar argument to that used in Step 2 of Case 1, after taking a subsequence and relabeling if necessary, it follows that ηn −→ η∗ ∈ λ1 c∞ , λ1 c∞ , yn −→ ∞, × {0} to λ1 c∞ , λ1 c∞ Again C joins λ1 a0 , λ1 a0 as n −→ ∞ 3.19 × {∞} and the result follows Remark 3.1 Lomtatidze 13, Theorem 1.1 proved the existenceofsolutionsofsingular twopoint boundary value. .. Its Applications, no 136, Cambridge University Press, Cambridge, UK, 2010 13 A G Lomtatidze, Positivesolutionsofboundaryvalue problems for second-order ordinary differential equations with singularities,” Differentsial’nye Uravneniya, vol 23, no 10, pp 1685–1692, 1987 14 I T Kiguradze and B L Shekhter, Singular boundary- value problems for ordinary second-order differential equations,” Journal of. .. > 0, let us take that an λ1 a0 − 1/n , bn λ1 a0 1/n and δ min{δ1 , δ2 } It is easy to check that, for 0 < δ < δ, all of the conditions of Theorem A are satisfied So there exists a connected component Cn ofsolutionsof 2.30 containing an , bn × {0}, and either i Cn is unbounded, or ii Cn ∩ R \ an , bn × {0} / ∅ By Lemma 2.7, the case ii can not occur Thus, Cn is unbounded bifurcated from an , bn ×{0}... Furthermore, we have from Lemma 2.7 that for any closed interval I ⊂ an , bn \ λ1 a0 , λ1 a0 , if u ∈ {y ∈ E | λ, y ∈ Σ, λ ∈ I}, then u → 0 in E is impossible So Cn must be bifurcated from λ1 a0 , λ1 a0 × {0} in R × E 3 Proof of the Main Results Proof of Theorem 1.5 It is clear that any solution of 2.30 of the form 1, u yields solutions u of 1.1 We will show that C crosses the hyperplane {1} × E in . equation,” Journal of Mathematical Analysis and Applications, vol. 181, no. 3, pp. 684–700, 1994. 5 X. Xu and J. Ma, A note on singular nonlinear boundary value problems,” Journal of Mathematical Analysis. Varga, Variational Principles in Mathematical Physics, Geometry, and Economics: Qualitative Analysis of Nonlinear Equations and Unilateral Problems, Encyclopedia of Mathematics and Its Applications,. Hindawi Publishing Corporation Boundary Value Problems Volume 2010, Article ID 458015, 16 pages doi:10.1155/2010/458015 Research Article Existence of Positive Solutions of a Singular Nonlinear Boundary