Journal of Applied Mathematics

Volume 2013 (2013), Article ID 306917, 8 pages

http://dx.doi.org/10.1155/2013/306917

## Asymptotic Behaviour of Eigenvalues and Eigenfunctions of a Sturm-Liouville Problem with Retarded Argument

^{1}Department of Mathematics, Faculty of Arts and Science, Namik Kemal University, 59030 Tekirdağ, Turkey^{2}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

Received 18 November 2012; Accepted 1 March 2013

Academic Editor: Suh-Yuh Yang

Copyright © 2013 Erdoğan Ş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.

#### Abstract

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 and retarded argument 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 CO_{2}, 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 on , with boundary conditions and transmission conditions where the real-valued function is continuous in and has finite limits the real-valued function continuous in and has finite limits if then ; if then ; if then ; is a real spectral parameter; , , , , , are arbitrary real numbers such that and .

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 be a solution of (1) on , satisfying the initial conditions The conditions (10) define a unique solution of (1) on ([5], page 12).

After defining the above solution, then we will define the solution of (1) on by means of the solution using the initial conditions The conditions (11) define a unique solution of (1) on .

After describing the above solution, then we will give the solution of (1) on by means of the solution using the initial conditions The conditions (12) define a unique solution of (1) on .

Consequently, the function is defined on by the equality is a solution of (1) on , which satisfies one of the boundary conditions and four transmission conditions.

Lemma 1. *Let be a solution of (1) and . Then the following integral equations hold:
*

*Proof. *To prove this lemma, it is enough to substitute , , and instead of , , and 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. *

*Proof. *Let be an eigenvalue of the problem (1)–(7) and
be a corresponding eigenfunction. Then, from (2) and (10), it follows that the determinant
and, by Theorem 2.2.2, in [5] the functions and are linearly dependent on . We can also prove that the functions and are linearly dependent on and and are linearly dependent on . Hence
for some , , and . We must show that and . Suppose that . From the equalities (6) and (19), we have
Since it follows that
By the same procedure from equality (7) we can derive that
From the fact that is a solution of the differential (1) on and satisfies the initial conditions (21) and (22), it follows that identically on .

By using this method, we may also find
From the latter discussions of , it follows that and identically on and , 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

By Theorem 2 the set of eigenvalues of boundary-value problem (1)–(7) coincides with the set of real roots of (24). Let

Lemma 3. *(1) Let . Then for the solution of (14), the following inequality holds:
** (2) Let . Then for the solution of (15), the following inequality holds:
** (3) Let . Then for the solution of (16), the following inequality holds:
*

*Proof. * Let . Then from (14), it follows that, for every , the following inequality holds:
If we get (26). Differentiating (14) with respect to , we have
From expressions of (30) and (26), it follows that, for , the following inequality holds:
Let . Then from (11), (26), and (31) it follows that, for and , the following inequality holds:
Hence, if , it reduces to (27). Differentiating (15) with respect to, we get
From (26) and (33), it follows that, for and , the following inequality holds:
Let . Then from (16), (27), and (34) it follows that, for , and , the following inequality holds:
Hence, if we procure (28).

Theorem 4. *The problem (1)–(7) has an infinite set of positive eigenvalues. *

*Proof. * Differentiating (16) with respect to , we readily see that
With the helps of (14), (15), (16), (24), (30), and (36), we have the following:
Let be sufficiently big. Then, by (26), (27), and (28), (37) may be rewritten in the following form:
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 By (15) and (27), this leads to By (16) and (28), this leads to The existence and continuity of the derivatives for , , for , and for , follows from Theorem 1.4.1 in [5].

Lemma 5. *The following holds true:
*

*Proof. *By differentiating (16) with respect to , we get, by (43) and (44) the following:
Let . Then the existence of follows from continuity of derivation for . From (46)
Now let . Then 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 . *

*Proof. *We consider the expression which is denoted by 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 . Its derivative, which has the form , 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 the eigenvalue of the problem (1)–(7) situated near . We set . Then from (39) it follows that . Consequently Formula (48) makes it possible to obtain asymptotic expressions for eigenfunction of the problem (1)–(7). From (14), (30), and (40), we get From expressions of (15), (31), (39), and (41), we easily see that By substituting (48) into (50), (52), we find that Hence the eigenfunctions have the following asymptotic representation: 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 and have finite limits , and , , respectively.

(b) in , , , and .

It is easy to see that, using (b) are obtained.

By (50), (52), and (55), we have on , and , respectively.

Under the conditions (a) and (b) the following formulas: 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 Hence Again, if we take , then from (48) Hence for big , and finally Thus, we have proven the following theorem.

Theorem 7. *If conditions (a) and (b) are satisfied, then the eigenvalues of the problem (1)–(7) have the (64) asymptotic formula for . *

Now, we may obtain sharper asymptotic formulas for the eigenfunctions. From (14), (56), and (59), we have Now, replacing by and using (64), we have From (15), (57), (59), and (65) we have Now, replacing by and using (64), we have

From (16), (58), (59), (65), and (67) and after long operations, we have Now replacing by and using (64), we have

Thus, we have proven the following theorem.

Theorem 8. *If conditions (a) and (b) are satisfied, then the eigenfunctions of the problem (1)–(7) have the following asymptotic formula for :
**
where , and are determined as in (49), (68), and (70), respectively. *

#### References

- G. Teschl,
*Ordinary Differential Equations and Dynamical Systems*, vol. 140, American Mathematical Society, Providence, RI, USA, 2012. View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at MathSciNet - S. B. Norkin, “On a boundary problem of Sturm-Liouville type for a second-order differential equation with a retarded argument,”
*Izvestija Vysših Učebnyh Zavedeniĭ Matematika*, vol. 6, no. 7, pp. 203–214, 1958 (Russian). View at Google Scholar · View at MathSciNet - 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. View at MathSciNet - R. Bellman and K. L. Cooke,
*Differential-Difference Equations*, Academic Press, London, UK, 1963. View at MathSciNet - G. V. Demidenko and V. A. Likhoshvaĭ, “On differential equations with retarded argument,”
*Siberian Mathematical Journal*, vol. 46, no. 3, pp. 417–430, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Bayramov, S. Öztü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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Şen, S. Araci, and M. Acikgoz, “Asymptotic behavior of eigenvalues and fundamental solutions of one discontinuous fourth-order boundary value problem,”
*Research Journal of Mathematical and Statistical Sciences*, vol. 1, no. 1, pp. 23–32, 2013. View at Google Scholar - E. Ş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. View at Google Scholar - E. Ş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. View at Publisher · View at Google Scholar · View at MathSciNet - E. Ş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. View at Google Scholar - E. Ş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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Bayramov and E. Şen, “On a Sturm-Liouville type problem with retarded argument,”
*Mathematical Methods in the Applied Sciences*, vol. 36, no. 1, pp. 39–48, 2013. View at Google Scholar - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet