Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 306917, 8 pages http://dx.doi.org/10.1155/2013/306917 Research Article Asymptotic Behaviour of Eigenvalues and Eigenfunctions of a Sturm-Liouville Problem with Retarded Argument ErdoLan Fen,1,2 Jong Jin Seo,3 and Serkan Araci4 1 Department of Mathematics, Faculty of Arts and Science, Namik Kemal University, 59030 TekirdagΜ, Turkey Department of Mathematics Engineering, Istanbul Technical University, Maslak, 34469 Istanbul, Turkey 3 Department of Applied Mathematics, Pukyong National University, Busan 608-737, Republic of Korea 4 Department of Mathematics, Faculty of Science and Arts, University of Gaziantep, 27310 Gaziantep, Turkey 2 Correspondence should be addressed to Jong Jin Seo; seo2011@pknu.ac.kr Received 18 November 2012; Accepted 1 March 2013 Academic Editor: Suh-Yuh Yang Copyright © 2013 ErdogΜan SΜ§en 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. In the present paper, a discontinuous boundary-value problem with retarded argument at the two points of discontinuities is investigated. We obtained asymptotic formulas for the eigenvalues and eigenfunctions. This is the first work containing two discontinuities points in the theory of differential equations with retarded argument. In that special case the transmission coefficients πΏ = πΎ = 1 and retarded argument Δ ≡ 0 in the results obtained in this work coincide with corresponding results in the classical Sturm-Liouville operator. 1. Introduction Delay differential equations arise in many areas of mathematical modelling, for example, population dynamics (taking into account the gestation times), infectious diseases (accounting for the incubation periods), physiological and pharmaceutical kinetics (modelling, for example, the body’s reaction to CO2 , and so forth, in circulating blood) and chemical kinetics (such as mixing reactants), the navigational control of ships and aircraft, and more general control problems. Also, differential equations and nonlinear differential equations have been studied by many mathematicians in several ways for a long time cf. [1–20]. Boundary value problems for differential equations of the second order with retarded argument were studied in [5– 10, 13–16], and various physical applications of such problems can be found in [6]. In the papers [13–16], the asymptotic formulas for the eigenvalues and eigenfunctions of a discontinuous boundary value problem with retarded argument and a spectral parameter in the boundary conditions were derived. In spite of their being already a long years, these subjects are still today enveloped in an aura of mystery within scientific community although they have penetrated numerous mathematical field. The asymptotic formulas for the eigenvalues and eigenfunctions of the Sturm-Liouville problem with the spectral parameter in the boundary condition were obtained in [17– 20]. In this paper we study the eigenvalues and eigenfunctions of a discontinuous boundary value problem with retarded argument. Namely, we consider the boundary value problem for the differential equation π¦σΈ σΈ (π₯) + π (π₯) π¦ (π₯ − Δ (π₯)) + ππ¦ (π₯) = 0, (1) on [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π], with boundary conditions π¦ (0) cos πΌ + π¦σΈ (0) sin πΌ = 0, (2) π¦ (π) cos π½ + π¦σΈ (π) sin π½ = 0, (3) 2 Journal of Applied Mathematics and transmission conditions Lemma 1. Let π€(π₯, π) be a solution of (1) and π > 0. Then the following integral equations hold: π¦ (β1 − 0) − πΏπ¦ (β1 + 0) = 0, (4) π¦σΈ (β1 − 0) − πΏπ¦σΈ (β1 + 0) = 0, (5) π€1 (π₯, π) = sin πΌ cos π π₯ − π¦ (β2 − 0) − πΎπ¦ (β2 + 0) = 0, (6) − π¦σΈ (β2 − 0) − πΎπ¦σΈ (β2 + 0) = 0, (7) cos πΌ sin π π₯ π 1 π₯ ∫ π (π) sin π (π₯ − π) π€1 (π − Δ (π) , π) ππ π 0 (π = √π, π > 0) , (14) where the real-valued function π(π₯) is continuous in [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π] and has finite limits π (β1 ± 0) = lim π (π₯) , π₯ → β1 ±0 π (β2 ± 0) = lim π (π₯) , π₯ → β2 ±0 (8) π€2 (π₯, π) = the real-valued function Δ(π₯) ≥ 0 continuous in [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π] and has finite limits Δ (β1 ± 0) = lim Δ (π₯) , π₯ → β1 ±0 Δ (β2 ± 0) = lim Δ (π₯) ; π₯ → β2 ±0 1 π€ (β , π) cos π (π₯ − β1 ) πΏ 1 1 + π€1σΈ (β1 , π) sin π (π₯ − β1 ) π πΏ − 1 π₯ ∫ π (π) sin π (π₯ − π) π€2 (π − Δ (π) , π) ππ π β1 (9) if π₯ ∈ [0, β1 ) then π₯ − Δ(π₯) ≥ 0; if π₯ ∈ (β1 , β2 ) then π₯ − Δ(π₯) ≥ β1 ; if π₯ ∈ (β2 , π) then π₯ − Δ(π₯) ≥ β2 ; π is a real spectral parameter; β1 , β2 , πΌ, π½, πΏ, πΎ =ΜΈ 0 are arbitrary real numbers such that 0 < β1 < β2 < π and sin πΌ sin π½ =ΜΈ 0. It must be noted that some problems with transmission conditions which arise in mechanics (thermal condition problem for a thin laminated plate) were studied in [20]. Let π€1 (π₯, π) be a solution of (1) on [0, β1 ], satisfying the initial conditions π€1 (0, π) = sin πΌ, π€1σΈ (0, π) = − cos πΌ. π€2σΈ (β1 , π) = πΏ−1 π€1σΈ (β1 , π) . (11) The conditions (11) define a unique solution of (1) on [β1 , β2 ]. After describing the above solution, then we will give the solution π€3 (π₯, π) of (1) on [β2 , π] by means of the solution π€2 (π₯, π) using the initial conditions π€3 (β2 , π) = πΎ−1 π€2 (β2 , π) , π€3σΈ (β2 , π) = πΎ−1 π€2σΈ (β2 , π) . (12) The conditions (12) define a unique solution of (1) on [β2 , π]. Consequently, the function π€(π₯, π) is defined on [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π] by the equality π€ (π₯, π) , π₯ ∈ [0, β1 ) , { { 1 π€ (π₯, π) = {π€2 (π₯, π) , π₯ ∈ (β1 , β2 ) , { {π€3 (π₯, π) , π₯ ∈ (β2 , π] , π€3 (π₯, π) = 1 π€ (β , π) cos π (π₯ − β2 ) πΎ 2 2 + π€2σΈ (β2 , π) sin π (π₯ − β2 ) π πΎ − 1 π₯ ∫ π (π) sin π (π₯ − π) π€3 (π − Δ (π) , π) ππ π β2 (10) The conditions (10) define a unique solution of (1) on [0, β1 ] ([5], page 12). After defining the above solution, then we will define the solution π€2 (π₯, π) of (1) on [β1 , β2 ] by means of the solution π€1 (π₯, π) using the initial conditions π€2 (β1 , π) = πΏ−1 π€1 (β1 , π) , (π = √π, π > 0) , (15) (13) is a solution of (1) on [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π], which satisfies one of the boundary conditions and four transmission conditions. (π = √π, π > 0) . (16) Proof. To prove this lemma, it is enough to substitute −π 2 π€1 (π, π) − π€1σΈ σΈ (π, π), −π 2 π€2 (π, π) − π€2σΈ σΈ (π, π), and −π 2 π€3 (π, π) − π€3σΈ σΈ (π, π) instead of −π(π)π€1 (π−Δ(π), π), −π(π)π€2 (π−Δ(π), π), and −π(π)π€3 (π−Δ(π), π) in the integrals in (14), (15), and (16), respectively, and integrate by parts twice. Theorem 2. The problem (1)–(7) can have only simple eigenvalues. Μ be an eigenvalue of the problem (1)–(7) and Proof. Let π Μ , π¦Μ (π₯, π) { { 1 Μ Μ , π¦Μ (π₯, π) = {π¦Μ2 (π₯, π) { Μ {π¦Μ3 (π₯, π) , π₯ ∈ [0, β1 ) , π₯ ∈ (β1 , β2 ) , π₯ ∈ (β2 , π] , (17) be a corresponding eigenfunction. Then, from (2) and (10), it follows that the determinant σ΅¨σ΅¨ σ΅¨σ΅¨ Μ σ΅¨ σ΅¨ Μ , π€ (0, π)] Μ = σ΅¨σ΅¨σ΅¨π¦Μ1 (0, π) sin πΌ σ΅¨σ΅¨σ΅¨ = 0, (18) π [π¦Μ1 (0, π) 1 σ΅¨σ΅¨π¦ΜσΈ (0, π) Μ − cos πΌσ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ 1 Μ and π€ and, by Theorem 2.2.2, in [5] the functions π¦Μ1 (π₯, π) 1 Μ are linearly dependent on [0, β ]. We can also prove that (π₯, π) 1 Μ and π€ (π₯, π) Μ are linearly dependent on the functions π¦Μ (π₯, π) 2 2 Journal of Applied Mathematics 3 Μ and π€ (π₯, π) Μ are linearly dependent on [β1 , β2 ] and π¦Μ3 (π₯, π) 3 [β2 , π]. Hence Μ = πΎ π€ (π₯, π) Μ π¦Μπ (π₯, π) π π (π = 1, 2, 3) , (19) for some πΎ1 =ΜΈ 0, πΎ2 =ΜΈ 0, and πΎ3 =ΜΈ 0. We must show that πΎ1 = πΎ2 and πΎ2 = πΎ3 . Suppose that πΎ2 =ΜΈ πΎ3 . From the equalities (6) and (19), we have Μ − πΎΜ Μ Μ2 (β2 , π) =π¦ π¦3 (β2 , π) Μ − πΎπΎ π€ (β , π) Μ = πΎ2 π€2 (β2 , π) 3 3 2 (20) Μ = 0. = πΎ (πΎ2 − πΎ3 ) π€3 (β2 , π) Μ = 0. π€3 (β2 , π) Μ = 0. π€3σΈ (β2 , π) (22) Μ is a solution of the differential (1) From the fact that π€3 (π₯, π) on [β2 , π] and satisfies the initial conditions (21) and (22), it Μ = 0 identically on [β , π]. follows that π€3 (π₯, π) 2 By using this method, we may also find Μ = π€σΈ (β , π) Μ = 0, π€2 (β2 , π) 2 2 Μ = π€σΈ (β , π) Μ = 0. π€1 (β1 , π) 1 1 (23) Μ it follows that π€ From the latter discussions of π€3 (π₯, π), 2 Μ Μ (π₯, π) = 0 and π€1 (π₯, π) = 0 identically on (β1 , β2 ) and [0, β1 ), but this contradicts (10), thus completing the proof. 2. An Existence Theorem The function π€(π₯, π) defined in Section 1 is a nontrivial solution of (1) satisfying conditions (2) and (4)–(7). Putting π€(π₯, π) into (3), we get the characteristic equation πΉ (π) ≡ π€ (π, π) cos π½ + π€σΈ (π, π) sin π½ = 0. (24) By Theorem 2 the set of eigenvalues of boundary-value problem (1)–(7) coincides with the set of real roots of (24). Let π₯ ∈ [β1 , β2 ] . (27) (3) Let π ≥ max{4π12 , 4π22 , 4π32 }. Then for the solution π€3 (π₯, π) of (16), the following inequality holds: π₯ ∈ [β2 , π] . (28) 1 π΅1π ≤ √ sin2 πΌ + cos2 πΌ 1 + π΅1π π1 . π 2 π (29) If π ≥ 2π1 we get (26). Differentiating (14) with respect to π₯, we have π€1σΈ (π₯, π) = − π sin πΌ sin π π₯ − cos πΌ cos π π₯ π₯ − ∫ π (π) cos π (π₯ − π) π€1 (π − Δ (π) , π) ππ. 0 (30) From expressions of (30) and (26), it follows that, for π ≥ 2π1 , the following inequality holds: σ΅¨ σ΅¨σ΅¨ σΈ σ΅¨σ΅¨π€1 (π₯, π)σ΅¨σ΅¨σ΅¨ σ΅¨ ≤ 1 √4π2 sin2 πΌ + cos2 πΌ. σ΅¨ 1 π π1 (31) Let π΅2π = max[β1 ,β2 ] |π€2 (π₯, π)|. Then from (11), (26), and (31) it follows that, for π ≥ 2π1 and π ≥ 2π2 , the following inequality holds: π΅2π ≤ 1 2 √4π12 sin2 πΌ + cos2 πΌ + π΅ π. π1 |πΏ| 2π2 2π 2 (32) Hence, if π ≥ max{4π12 , 4π22 }, it reduces to (27). Differentiating (15) with respect to, we get π π€2σΈ (π₯, π) = − π€1 (β1 , π) sin π (π₯ − β1 ) πΏ + π€1σΈ (β1 , π) cos π (π₯ − β1 ) πΏ π₯ β 2 σ΅¨ σ΅¨ π2 = ∫ σ΅¨σ΅¨σ΅¨π (π)σ΅¨σ΅¨σ΅¨ ππ, β 2 (2) Let π ≥ max{4π12 , 4π22 }. Then for the solution π€2 (π₯, π) of (15), the following inequality holds: (21) By the same procedure from equality (7) we can derive that π (26) Proof. Let π΅1π = max[0,β1 ] |π€1 (π₯, π)|. Then from (14), it follows that, for every π > 0, the following inequality holds: Since πΎ(πΎ2 − πΎ3 ) =ΜΈ 0 it follows that σ΅¨ σ΅¨ π3 = ∫ σ΅¨σ΅¨σ΅¨π (π)σ΅¨σ΅¨σ΅¨ ππ. β π₯ ∈ [0, β1 ] . 16 σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π€3 (π₯, π)σ΅¨σ΅¨σ΅¨ ≤ σ΅¨σ΅¨ σ΅¨σ΅¨ √4π12 sin2 πΌ + cos2 πΌ, π1 σ΅¨σ΅¨πΏπΎσ΅¨σ΅¨ Μ − πΎ πΎπ€ (β , π) Μ = πΎ2 πΎπ€3 (β2 , π) 3 3 2 β σ΅¨ 1 σ΅¨σ΅¨ σ΅¨σ΅¨w1 (π₯, π)σ΅¨σ΅¨σ΅¨ ≤ √4π12 sin2 πΌ + cos2 πΌ, π1 4 σ΅¨ σ΅¨σ΅¨ √4π12 sin2 πΌ + cos2 πΌ, σ΅¨σ΅¨π€2 (π₯, π)σ΅¨σ΅¨σ΅¨ ≤ π1 |πΏ| Μ − πΎπ¦Μ (β + 0, π) Μ π¦Μ (β2 − 0, π) 2 1 σ΅¨ σ΅¨ π1 = ∫ σ΅¨σ΅¨σ΅¨π (π)σ΅¨σ΅¨σ΅¨ ππ, 0 Lemma 3. (1) Let π ≥ 4π12 . Then for the solution π€1 (π₯, π) of (14), the following inequality holds: − ∫ π (π) cos π (π₯ − π) π€2 (π − Δ (π) , π) ππ. β1 (25) (π = √π, π > 0) . (33) 4 Journal of Applied Mathematics From (26) and (33), it follows that, for π ≥ 2π1 and π ≥ 2π2 , the following inequality holds: σ΅¨ σ΅¨σ΅¨ σΈ σ΅¨σ΅¨π€2 (π₯, π)σ΅¨σ΅¨σ΅¨ σ΅¨ ≤ 4 √4π2 sin2 πΌ + cos2 πΌ. σ΅¨ 1 π |πΏ| π1 × cos π (π − β2 ) + 1 cos πΌ π {− (sin πΌ cos π β1 − sin π β1 π πΎ πΏ π (34) − Let π΅3π = max[β2 ,π] |π€3 (π₯, π)|. Then from (16), (27), and (34) it follows that, for π ≥ 2π1 , π ≥ 2π2 and π ≥ 2π3 , the following inequality holds: π΅3π 8 1 ≤ σ΅¨σ΅¨ σ΅¨σ΅¨ √4π12 sin2 πΌ + cos2 πΌ + π΅3π π3 . π π1 σ΅¨σ΅¨πΏπΎσ΅¨σ΅¨ × π€1 (π − Δ (π) , π) ππ) × sin π (β2 − β1 ) (35) + 1 (− π sin πΌ sin π β1 − cos πΌ cos π β1 πΏ Hence, if π ≥ max{4π12 , 4π22 , 4π32 } we procure (28). β1 − ∫ π (π) cos π (β1 − π) 0 Theorem 4. The problem (1)–(7) has an infinite set of positive eigenvalues. Proof. Differentiating (16) with respect to π₯, we readily see that π π€3σΈ (π₯, π) = − π€2 (β2 , π) sin π (π₯ − β2 ) πΎ + π€2σΈ 1 β1 ∫ π (π) sin π (β1 − π) π 0 (β2 , π) cos π (π₯ − β2 ) πΎ ×π€1 (π − Δ (π) , π) ππ) × cos π (β2 − β1 ) β2 − ∫ π (π) cos π (β2 − π) π€2 (π − Δ (π) , π) ππ} β1 × sin π (π − β2 ) π₯ − ∫ π (π) cos π (π₯ − π) π€3 (π − Δ (π) , π) ππ. β2 (π = √π, π > 0) . (36) 1 π − ∫ π (π) sin π (π − π) π€3 (π − Δ (π) , π) ππ] cos π½ π β2 π 1 cos πΌ + [− { ( sin πΌ cos π β1 − sin π β1 πΎ πΏ π − With the helps of (14), (15), (16), (24), (30), and (36), we have the following: 1 β1 ∫ π (π) sin π (β1 − π) π 0 ×π€1 (π − Δ (π) , π) ππ) cos πΌ 1 1 [ { (sin πΌ cos π β1 − sin π β1 πΎ πΏ π − 1 β1 ∫ π (π) sin π (β1 − π) π€1 (π − Δ (π) , π) ππ) π 0 × cos π (β2 − β1 ) − 1 (π sin πΌ sin π β1 + cos πΌ cos π β1 π πΏ β1 × cos π (β2 − β1 ) + ∫ π (π) cos π (β1 − π) 0 1 − (π sin πΌ sin π β1 + cos πΌ cos π β1 π πΏ × π€1 (π − Δ (π) , π) ππ) β1 + ∫ π (π) cos π (β1 − π) π€1 (π − Δ (π) , π) ππ) 0 × sin π (β2 − β1 ) 1 β2 − ∫ π (π) sin π (β2 − π) π€2 (π − Δ (π) , π) ππ} π β1 × sin π (β2 − β1 ) 1 β2 − ∫ π (π) sin π (β2 − π) π€2 (π − Δ (π) , π) } π β1 × sin π (π − β2 ) Journal of Applied Mathematics + 5 cos πΌ 1 π {− × (sin πΌ cos π β1 − sin π β1 πΎ πΏ π Lemma 5. The following holds true: σΈ π€1π (π₯, π) = π (1) , β1 1 − ∫ π (π) sin π (β1 − π) π 0 × π€1 (π − Δ (π) , π) ππ) (43) σΈ π€2π (π₯, π) = π (1) , π₯ ∈ [β1 , β2 ] , (44) σΈ π€3π (π₯, π) = π (1) , π₯ ∈ [β2 , π] . (45) Proof. By differentiating (16) with respect to π , we get, by (43) and (44) the following: × sin π (β2 − β1 ) + π₯ ∈ [0, β1 ] , 1 (− π sin πΌ sin π β1 − cos πΌ cos π β1 πΏ σΈ π€3π (π₯, π) 1 π₯ σΈ = − ∫ π (π) sin π (π₯ − π) π€3π (π − Δ (π) , π) + π (π₯, π) , π β2 β1 − ∫ π (π) cos π (β1 − π) 0 (|π (π₯, π)| ≤ π0 ) . (46) × π€1 (π − Δ (π) , π) ππ) × cos π (β2 − β1 ) σΈ Let π·π = max[β2 ,π] |π€3π (π₯, π)|. Then the existence of π·π follows from continuity of derivation for π₯ ∈ [β2 , π]. From (46) β2 − ∫ π (π) cos π (β2 − π) π€2 (π − Δ (π) , π) ππ} 1 π·π ≤ π3 π·π + π0 . π β1 × cos π (π − β2 ) π − ∫ π (π) cos π (π − π) π€3 (π − Δ (π) , π) ππ] sin π½ = 0. β2 (37) Let π be sufficiently big. Then, by (26), (27), and (28), (37) may be rewritten in the following form: − π sin πΌ sin π½ {cos π β2 sin π (π − β2 ) πΎπΏ (38) + sin π β2 cos π (π − β2 )} + π (1) = 0, π sin π π + π (1) = 0. (39) Obviously, for big π (39) has an infinite set of roots. Thus, the proof of the theorem is completed. 3. Asymptotic Formulas for Eigenvalues and Eigenfunctions Now we begin to study asymptotic properties of eigenvalues and eigenfunctions. In the following we will assume that is sufficiently big. From (14) and (26), we obtain π€1 (π₯, π) = π (1) on [0, β1 ] . (40) on [β1 , β2 ] . (41) By (15) and (27), this leads to π€2 (π₯, π) = π (1) By (16) and (28), this leads to π€3 (π₯, π) = π (1) on [β2 , π] . (42) σΈ (π₯, π) π€1π for The existence and continuity of the derivatives σΈ 0 ≤ π₯ ≤ β1 , |π| < ∞, π€2π (π₯, π) for β1 ≤ π₯ ≤ β2 , |π| < ∞ and σΈ π€3π (π₯, π) for β2 ≤ π₯ ≤ π, |π| < ∞ follows from Theorem 1.4.1 in [5]. (47) Now let π ≥ 2π3 . Then π·π ≤ 2π0 and the validity of the asymptotic formula (45) follows. Formulas (43) and (44) may be proved analogically. Theorem 6. Let π be a natural number. For each sufficiently big π there is exactly one eigenvalue of the problem (1)–(7) near π2 . Proof. We consider the expression which is denoted by π(1) in (39). If formulas (40)–(45) are taken into consideration, it can be shown by differentiation with respect to π that for big π this expression has bounded derivative. We will show that, for big π, only one root (39) lies near to each π. We consider the function π(π ) = π sin π π + π(1). Its derivative, which has the form πσΈ (π ) = sin π π + π π cos π π + π(1), does not vanish for π close to π for sufficiently big π. Thus our assertion follows by Rolle’s Theorem. Let π be sufficiently big. In what follows we will denote by π π = π π2 the eigenvalue of the problem (1)–(7) situated near π2 . We set π π = π+πΏπ . Then from (39) it follows that πΏπ = π(1/π). Consequently 1 π π = π + π ( ) , π (48) π π = π2 + π (1) . (49) Formula (48) makes it possible to obtain asymptotic expressions for eigenfunction of the problem (1)–(7). From (14), (30), and (40), we get 1 π€1 (π₯, π) = sin πΌ cos π π₯ + π ( ) , π (50) π€1σΈ (π₯, π) = −π sin πΌ sin π π₯ + π (1) . (51) 6 Journal of Applied Mathematics From expressions of (15), (31), (39), and (41), we easily see that π€2 (π₯, π) = sin πΌ 1 cos π π₯ + π ( ) , πΏ π 1 sin πΌ π€3 (π₯, π) = cos π π₯ + π ( ) . πΏπΎ π π’3π sin πΌ 1 = π€3 (π₯, π π ) = cos ππ₯ + π ( ) . πΏπΎ π (53) for π₯ ∈ [0, β1 ) , π₯ − Δ (π₯) ≥ β1 , π₯ ∈ (β1 , β2 ) , 1 sin (πΌ − π½) ( π sin πΌ sin π½ 1 π − ∫ π (π) cos π (π − Δ (π)) ππ) 2 0 + π( (55) π₯ ∈ (β2 , π] 1 π€1 (π − Δ (π) , π) = sin πΌ cos π (π − Δ (π)) + π ( ) , π on [0, β1 ), (β1 , β2 ) and (β2 , π], respectively. 1 ). π 2 Again, if we take π π = π + πΏπ , then from (48) tan ((π + πΏπ ) π) = tan πΏπ π = 1 sin (πΌ − π½) ( π sin πΌ sin π½ 1 π − ∫ π (π) cos π (π − Δ (π)) ππ) 2 0 + π( πΏπ = 1 ). π2 (62) 1 sin (πΌ − π½) 1 π ( − ∫ π (π) cos π (π − Δ (π)) ππ) ππ sin πΌ sin π½ 2 0 + π( (56) sin πΌ 1 cos π (π − Δ (π)) + π ( ) , (57) πΏ π sin πΌ 1 π€3 (π − Δ (π) , π) = cos π (π − Δ (π)) + π ( ) πΏπΎ π (61) Hence for big π, are obtained. By (50), (52), and (55), we have π€2 (π − Δ (π) , π) = Hence for π₯ ∈ (β2 , π] . π₯ ∈ [0, β1 ) , (60) 1 + π ( ) = 0. π tan π π = Under some additional conditions the more exact asymptotic formulas which depend upon the retardation may be obtained. Let us assume that the following conditions are fulfilled. (a) The derivatives πσΈ (π₯) and ΔσΈ σΈ (π₯) exist and are bounded in [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π] and have finite limits πσΈ (β1 ± 0) = limπ₯ → β1 ±0 πσΈ (π₯), πσΈ (β2 ±0) = limπ₯ → β2 ±0 πσΈ (π₯) and ΔσΈ σΈ (β1 ±0) = limπ₯ → β1 ±0 ΔσΈ σΈ (π₯), ΔσΈ σΈ (β2 ±0) = limπ₯ → β2 ±0 ΔσΈ σΈ (π₯), respectively. (b) ΔσΈ (π₯) ≤ 1 in [0, β1 ) ∪ (β1 , β2 ) ∪ (β2 , π], Δ(0) = 0, limπ₯ → β1 +0 Δ(π₯) = 0, and limπ₯ → β2 +0 Δ(π₯) = 0. It is easy to see that, using (b) π₯ − Δ (π₯) ≥ β2 , sin πΌ sin π½ π ∫ π (π) cos π (π − Δ (π)) ππ 2πΏπΎ 0 for π₯ ∈ (β1 , β2 ) , (54) π₯ − Δ (π₯) ≥ 0, (59) cos π π sin (πΌ − π½) − π sin πΌ sin π½ sin π π πΏπΎ − Hence the eigenfunctions π’π (π₯) have the following asymptotic representation: 1 sin πΌ cos ππ₯ + π ( ) , { { { π { { { { { { { { sin πΌ 1 cos ππ₯ + π ( ) , π’π (π₯) = { πΏ π { { { { { { { { { { sin πΌ cos ππ₯ + π ( 1 ) , π { πΏπΎ π₯ 1 ∫ π (π) sin π (2π − Δ (π)) ππ = π ( ) π 0 can be proved by the same technique in Lemma 3.3.3 in [5]. Putting the expressions (56), (57), and (58) into (37), and then using (59), after long operations we have 1 π’1π = π€1 (π₯, π π ) = sin πΌ cos ππ₯ + π ( ) , π π’2π π₯ 1 ∫ π (π) cos π (2π − Δ (π)) ππ = π ( ) , π 0 (52) By substituting (48) into (50), (52), we find that sin πΌ 1 = π€2 (π₯, π π ) = cos ππ₯ + π ( ) , πΏ π Under the conditions (a) and (b) the following formulas: (58) 1 ) π2 (63) and finally π π = π + 1 sin (πΌ − π½) 1 π ( − ∫ π (π) cos π (π − Δ (π)) ππ) ππ sin πΌ sin π½ 2 0 + π( 1 ). π2 Thus, we have proven the following theorem. (64) Journal of Applied Mathematics 7 Theorem 7. If conditions (a) and (b) are satisfied, then the eigenvalues π π = π π2 of the problem (1)–(7) have the (64) asymptotic formula for π → ∞. − sin (πΌ − π½) sin ππ₯ [( ππ sin πΌ sin π½ 1 π − ∫ π(π) cos(π(π−Δ(π)))ππ) π₯ 2 0 Now, we may obtain sharper asymptotic formulas for the eigenfunctions. From (14), (56), and (59), we have π€1 (π₯, π) = sin πΌ cos π π₯ [1 + 1 π₯ +(cotπΌ+ ∫ π(π)cos(πΔ (π)) ππ) π]} 2 0 π₯ 1 ∫ π (π) sin π Δ (π) ππ] 2π 0 + π( sin π π₯ sin πΌ π₯ − [cos πΌ + ∫ π (π) cos π Δ (π) ππ] π 2 0 + π( 1 ), π 2 π₯ ∈ [0, β1 ) . (65) (68) From (16), (58), (59), (65), and (67) and after long operations, we have π€3 (π₯, π) = Now, replacing π by π π and using (64), we have 1 π₯ sin πΌ cos π π₯ [1 + ∫ π (π) sin π Δ (π) ππ] πΏπΎ 2π 0 − π’1π (π₯) = π€1 (π₯, π π ) 1 π₯ +(cotπΌ+ ∫ π (π) cos (πΔ (π)) ππ)π]} 2 0 = sin πΌ 1 π₯ {cos ππ₯ [1 + ∫ π (π) sin (πΔ (π)) ππ] πΏπΎ 2π 0 From (15), (57), (59), and (65) we have 1 π₯ +(cotπΌ+ ∫ π (π)cos(πΔ(π)) ππ) π]} 2 0 sin πΌ cos π π₯ 1 π₯ [1 + ∫ π (π) sin π Δ (π) ππ] πΏ 2π 0 π₯ sin π π₯ sin πΌ [cos πΌ + ∫ π (π) cos π Δ (π) ππ] π πΏ 2 0 1 ), π 2 π’2π (π₯) = π€2 (π₯, π π ) sin πΌ 1 π₯ {cos ππ₯ [1 + ∫ π (π) sin (πΔ (π)) ππ] πΏ 2π 0 + π( 1 ). π2 (70) Thus, we have proven the following theorem. π₯ ∈ (β1 , β2 ) . Now, replacing π by π π and using (64), we have sin (πΌ − π½) sin ππ₯ [( ππ sin πΌ sin π½ 1 π − ∫ π(π)cos(π(π−Δ(π)))ππ)π₯ 2 0 (66) + π( (69) = π€3 (π₯, π π ) − 1 ). π2 − π₯ ∈ (β2 , π] . π’3π (π₯) 1 π − ∫ π (π) cos (π (π − Δ (π))) ππ) π₯ 2 0 π€2 (π₯, π) = 1 ), π 2 Now replacing π by π π and using (64), we have sin (πΌ − π½) sin ππ₯ − [( ππ sin πΌ sin π½ + π( sin π π₯ sin πΌ π₯ [cos πΌ + ∫ π (π) cos π Δ (π) ππ] π πΏπΎ 2 0 + π( 1 π₯ = sin πΌ {cos ππ₯ [1 + ∫ π (π) sin (πΔ (π)) ππ] 2π 0 = 1 ). π2 (67) Theorem 8. If conditions (a) and (b) are satisfied, then the eigenfunctions π’π (π₯) of the problem (1)–(7) have the following asymptotic formula for π → ∞: π’ (π₯) , π₯ ∈ [0, β1 ) , { { 1π π’π (π₯) = {π’2π (π₯) , π₯ ∈ (β1 , β2 ) , { {π’3π (π₯) , π₯ ∈ (β2 , π] , (71) where π’1π (π₯), π’2π (π₯), and π’3π (π₯) are determined as in (49), (68), and (70), respectively. 8 References [1] G. Teschl, Ordinary Differential Equations and Dynamical Systems, vol. 140, American Mathematical Society, Providence, RI, USA, 2012. [2] M. Shahriari, A. J. Akbarfam, and G. Teschl, “Uniqueness for inverse Sturm-Liouville problems with a finite number of transmission conditions,” Journal of Mathematical Analysis and Applications, vol. 395, no. 1, pp. 19–29, 2012. [3] T. Kim, “Identities involving Frobenius-Euler polynomials arising from non-linear differential equations,” Journal of Number Theory, vol. 132, no. 12, pp. 2854–2865, 2012. [4] S. B. Norkin, “On a boundary problem of Sturm-Liouville type for a second-order differential equation with a retarded argument,” Izvestija VyssΜih UcΜebnyh ZavedeniΔ±Μ Matematika, vol. 6, no. 7, pp. 203–214, 1958 (Russian). [5] S. B. Norkin, Differential Equations of the Second Order with Retarded Argument, vol. 31 of Translations of Mathematical Monographs, American Mathematical Society, Providence, RI, USA, 1972. [6] R. Bellman and K. L. Cooke, Differential-Difference Equations, Academic Press, London, UK, 1963. [7] G. V. Demidenko and V. A. LikhoshvaΔ±Μ, “On differential equations with retarded argument,” Siberian Mathematical Journal, vol. 46, no. 3, pp. 417–430, 2005. [8] G. V. Demidenko and I. I. Matveeva, “On numerical study of asymptotic stability of solutions to linear periodic differential equations with a parameter,” Journal of Computational Mathematics and Optimization, vol. 5, no. 3, pp. 163–173, 2009. [9] A. Bayramov, S. OΜztuΜrk Uslu, and S. Aliskan, “Computation of eigenvalues and eigenfunctions of a discontinuous boundary value problem with retarded argument,” Applied Mathematics and Computation, vol. 191, no. 2, pp. 592–600, 2007. [10] E. SΜ§en, S. Araci, and M. Acikgoz, “Asymptotic behavior of eigenvalues and fundamental solutions of one discontinuous fourthorder boundary value problem,” Research Journal of Mathematical and Statistical Sciences, vol. 1, no. 1, pp. 23–32, 2013. [11] E. SΜ§en and S. Araci, “Computation of Eigenvalues and fundamental solutions of a fourth-order boundary value,” Proceedings of the Jangjeon Mathematical Society, vol. 15, no. 4, pp. 455–464, 2012. [12] E. SΜ§en and A. Bayramov, “On calculation of eigenvalues and eigenfunctions of a Sturm-Liouville type problem with retarded argument which contains a spectral parameter in the boundary condition,” Journal of Inequalities and Applications, vol. 2011, article 113, 2011. [13] E. SΜ§en and A. Bayramov, “On a discontinuous Sturm-Liouville type problem with retarded argument,” American Institute of Physics Conference Proceedings, vol. 1389, pp. 1172–1175, 2011. [14] E. SΜ§en and A. Bayramov, “Calculation of eigenvalues and eigenfunctions of a discontinuous boundary value problem with retarded argument which contains a spectral parameter in the boundary condition,” Mathematical and Computer Modelling, vol. 54, no. 11-12, pp. 3090–3097, 2011. [15] A. Bayramov and E. SΜ§en, “On a Sturm-Liouville type problem with retarded argument,” Mathematical Methods in the Applied Sciences, vol. 36, no. 1, pp. 39–48, 2013. [16] C. T. Fulton, “Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions,” Proceedings of the Royal Society of Edinburgh A, vol. 77, no. 3-4, pp. 293–308, 1977. Journal of Applied Mathematics [17] P. A. Binding, P. J. Browne, and B. A. Watson, “Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter II,” Journal of Computational and Applied Mathematics, vol. 148, no. 1, pp. 147–168, 2002. [18] N. Altinisik, M. Kadakal, and O. Sh. Mukhtarov, “Eigenvalues and eigenfunctions of discontinuous Sturm-Liouville problems with eigenparameter-dependent boundary conditions,” Acta Mathematica Hungarica, vol. 102, no. 1-2, pp. 159–175, 2004. [19] N. B. Kerimov and Kh. R. Mamedov, “On a boundary value problem with a spectral parameter in the boundary conditions,” SibirskiΔ±Μ MatematicheskiΔ±Μ Zhurnal, vol. 40, no. 2, pp. 325–335, 1999. [20] I. Titeux and Y. Yakubov, “Completeness of root functions for thermal conduction in a strip with piecewise continuous coefficients,” Mathematical Models & Methods in Applied Sciences, vol. 7, no. 7, pp. 1035–1050, 1997. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014