Abstract and Applied Analysis

Volume 2014 (2014), Article ID 837565, 8 pages

http://dx.doi.org/10.1155/2014/837565

## Spectrums of Solvable Pantograph Differential-Operators for First Order

^{1}Department of Mathematics, Faculty of Arts and Sciences, Karadeniz Technical University, 61080 Trabzon, Turkey^{2}Institute of Fundamental Sciences, Karadeniz Technical University, 61080 Trabzon, Turkey

Received 23 May 2014; Revised 17 July 2014; Accepted 25 July 2014; Published 14 August 2014

Academic Editor: Abdullah S. Erdoğan

Copyright © 2014 Z. I. Ismailov and P. Ipek. 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

By using the methods of operator theory, all solvable extensions of minimal operator generated by first order pantograph-type delay differential-operator expression in the Hilbert space of vector-functions on finite interval have been considered. As a result, the exact formula for the spectrums of these extensions is presented. Applications of obtained results to the concrete models are illustrated.

#### 1. Introduction

The quantitative and qualitative theory of linear pantograph differential equations, sometimes known as pantograph-type delay differential equations, was first studied in detail by T. Kato and J. B. McLeod [1], L. Fox et al. [2], and A. Iserles [3] in the nineteen seventies.

These equations arose as a mathematical model of an industrial problem involving wave motion in the overhead supply line to an electrified railway system, so they are often called pantograph equations.

In industrial applications in works [2, 4] and in studies on biology and economics, control and electrodynamics in works [5–7] have been researched (for more comprehensive list of features see [3]).

Since an analytical computation of solutions, eigenvalues, and eigenfunctions of corresponding problems is very difficult theoretically and technically, then in this theory methods of numerical analysis play a significant role (for more information see [8–13]).

Let us remember that an operator in Hilbert space is called solvable, if is one-to-one, , and .

In this work, by using methods of operator theory all solvable extensions of minimal operator generated by pantograph-type delay differential-operator expression for first order in the Hilbert space of vector-functions at a finite interval have been described in terms of boundary values in Section 2. Consequently, the resolvent operators of these extensions can be written clearly.

The exact formula for the spectrums of these extensions has been given in Section 3. Applications of obtained results to the concrete models have been illustrated in Section 4.

#### 2. Description of Solvable Extensions

In the Hilbert space of vector-functions consider a linear pantograph differential-operator expression for first order in the form where (1) is a separable Hilbert space with inner product and norm ,(2)operator-function , , is continuous on the uniform operator topology,(3), , .

On the other hand, here the following differential expression will be considered: in the Hilbert space corresponding to (1).

It is clear that the formally adjoint expression of (2) is of the form Now define operator on the dense in set of vector-functions , as .

The closure of in is called the minimal operator generated by differential-operator expression (2) and is denoted by .

In a similar way, the minimal operator in corresponding to differential expression (3) can be defined.

The adjoint operator of in is called the maximal operator generated by (2)((3)) and is denoted by .

Now define an operator in in the form Then for and for it is obtained that Therefore we have and , .

In this situation the following defined operator is a linear bounded operator in .

Throughout this work the following defined operators will be called the minimal and maximal operators corresponding to differential expression (1) in , respectively.

Now let , , be the family of evolution operators corresponding to the homogeneous differential equation The operator , , is linear continuous, boundedly invertible in and (for more detailed analysis of this concept see [14]).

Let us introduce the operator In this case it is easy to see that, for the differentiable vector-function , satisfies the following relation: From this . Hence it is clear that if is some extension of the minimal operator , that is, , then For example, prove the validity of the last relation. It is known that If , then ; that is, . From the last relation . Contrarily, if a vector-function , then that is, . From last relation ; that is, . Hence, .

Theorem 1. *Each solvable extension of the minimal operator in is generated by the pantograph differential-operator expression (1) and boundary condition
**
where and is an identity operator in . The operator is determined uniquely by the extension ; that is, .**On the contrary, the restriction of the maximal operator to the manifold of vector-functions satisfies condition (16) for some bounded operator is a solvable extension of the minimal operator in the .*

*Proof. *Firstly, all solvable extensions of the minimal operator in in terms of boundary values are described.

Consider the following so-called Cauchy extension
of the minimal operator . It is clear that is a solvable extension of and
Now assume that is a solvable extension of the minimal operator in . In this case it is known that the domain of can be written in direct sum in the form
where [15, 16]. Therefore for each it is true that
That is, , , . Hence , . Hence , and from these relations it is obtained that
On the other hand, uniqueness of operator follows from [15]. Therefore, . This completes the necessary part of this assertion.

On the contrary, if is an operator generated by differential expression (2) and boundary condition (21), then is bounded, boundedly invertible, and
Consequently, all solvable extensions of the minimal operator in are generated by differential expression (2) and boundary condition (21) with any linear bounded operator .

Now consider the general case. For this in the introduce an operator in the form
From the properties of the family of evolution operators , , it is implied that an operator is linear bounded and has a bounded inverse and
On the other hand, from the relations
it is implied that an operator is one-to-one between sets of solvable extensions of minimal operators and in .

The extension of the minimal operator is solvable in if and only if the operator is an extension of the minimal in . Then, if and only if
that is, . This proves the validity of the claims in the theorem.

Corollary 2. *In particular the resolvent operator , , of any solvable extension of the minimal operator , generated by pantograph-type delay differential expression
**
with boundary condition in ,
**
is of the form
**.*

*Remark 3. *Note that in the general case , for any .

Indeed, if
then for and

Corollary 4. *Assume that for any and any **
In this case, all solvable extensions of minimal operator are generated by the following differential expression
**
and boundary condition
**
in the Hilbert and vice versa.**Note that the series in the right side of the last equality is convergent, because for any *

Corollary 5. *All solvable extensions of the minimal operator generated by pantograph differential expression , , are described with boundary conditions
**
in the Hilbert space .*

Corollary 6. *It can be proved that all the solvable extensions of the minimal operator are generated by pantograph-type differential-operator expressions for first order
**
in generated by and boundary condition
**
in .*

*Remark 7. *Theorem 1 can be generalized in the differential expression
where , , , , , , .

Theorem 8. *All solvable extensions of minimal operator corresponding to pantograph-type delay differential-operator expression in Hilbert space are described by and boundary condition
**
where and , , is a family of evolution operators corresponding to the homogeneous differential equation
**
with boundary condition and vice versa.*

#### 3. Spectrum of Solvable Extensions

In this section, the spectrum structure of solvable extensions of minimal operator in will be investigated.

Firstly, prove the following fact.

Theorem 9. *If is a solvable extension of a minimal operator and corresponds to the solvable extension of a minimal operator , then the spectrum of these extensions is true .*

*Proof. *Consider a problem to the spectrum for a solvable extension of a minimal operator generated by pantograph differential-operator expression (1); that is,
From this it is obtained that
or . Hence .

Therefore, the validity of the theorem is clear.

Now prove the following result for the spectrum of solvable extension.

Theorem 10. *If is a solvable extension of the minimal operator in the space , then spectrum of has the form
*

*Proof. *Firstly, the spectrum of the solvable extension of the minimal operator in will be investigated.

Consequently, consider the following problem for the spectrum; that is, , , . Then
It is clear that a general solution of the above differential equation in has the form
Therefore, from the boundary condition it is obtained that
For , , from the last relation it is established that
Consequently, in this case the resolvent operator of is in the form
On the other hand, it is clear that , .

Now assume that , , . Then using (47) we have
Therefore, if and only if
In this case since ,
Then
Later on, using the last relation and Theorem 9 the validity of the claim in the theorem is proved.

Now one result on the asymptotic behavior of eigenvalues of solvable extensions in special cases will be proved.

Theorem 11. *Let , , and . In addition, assume that there exists such that for any are true and . Then as . (i.e., there exist and ).*

*Proof. *In this case for
Since for any
then
Therefore, for any is true
On the other hand, for any
Consequently, for any
This means that as .

#### 4. Applications

*Example 12. *Let
By Theorem 1, all solvable extensions of minimal operator generated by , , in are described with and boundary condition
In addition, the resolvent operator of these extensions is in the form
, and for spectrum of this extension is in the form

*Example 13. *Let
Consider the following pantograph functional-differential expression in the form
in . Then by Theorem 1, all solvable extensions of minimal operator are generated by and boundary condition
and vice versa.

Moreover, the resolvent operator of these extensions is
On the other hand, by Theorem 9 for the spectrum of solvable extension is in the form
Now consider the following differential equation
with initial-boundary value problem
in the Hilbert space , where , , and .

In order to solve this problem change the function by

Then the considered problem transforms the following problem:
where .

The last problem can be written in the form
where .

Then solution of the above Cauchy problem by Corollary 2 can be analytically expressed in the form
Another approach to this problem has been investigated in [17].

*Example 14. *Consider the following integrodifferential equation for first order in the form
in Hilbert space . Changing the unknown function by
the following initial-value problem for integrodifferential equation is obtained:
where , in .

The last equation can be rewritten in the form
It is easy to see that the analytical solution of this problem is in the form
Consequently, for

*Example 15. *All solvable extensions of minimal operator generated by differential expression
in the Hilbert space are described by this and boundary condition
where and , , is a solution of operator equation
where , .

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgment

The authors would like to thank Professor A. Ashyralyev (Fatih University, Istanbul, Turkey) for his various comments and suggestions.

#### References

- T. Kato and J. B. McLeod, “The functional differential equation ${y}^{\mathrm{\prime}}(x)=ay(\lambda x)+by(x)$,”
*Bulletin of the American Mathematical Society*, vol. 77, pp. 891–937, 1971. View at Google Scholar - L. Fox, D. F. Mayers, J. R. Ockendon, and A. B. Tayler, “On a functional differential equation,”
*Journal of the Institute of Mathematics and Its Applications*, vol. 8, pp. 271–307, 1971. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Iserles, “On the generalized pantograph functional-differential equation,”
*European Journal of Applied Mathematics*, vol. 4, no. 1, pp. 1–38, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. R. Ockendon and A. B. Tayler, “The dynamics of a current collection system for an electric locomotive,”
*Proceedings of the Royal Society of London A: Mathematical and Physical Sciences*, vol. 322, pp. 447–468, 1971. View at Google Scholar - W. G. Aiello, H. I. Freedman, and J. Wu, “Analysis of a model representing stage-structured population growth with state-dependent time delay,”
*SIAM Journal on Applied Mathematics*, vol. 52, no. 3, pp. 855–869, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Buhmann and A. Iserles, “Stability of the discretized pantograph differential equation,”
*Mathematics of Computation*, vol. 60, no. 202, pp. 575–589, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. P. Spiridonov, “The factorization method, self-similar potentials and quantum algebras,” in
*Special Functions 2000: Current Perspective and Future Directions*, vol. 30 of*NATO Science Series II: Mathematics, Physics and Chemistry*, pp. 335–364, Springer, Amsterdam, The Netherlands, 2001. View at Publisher · View at Google Scholar - A. Bellen and M. Zennaro,
*Numerical Methods for Delay Differential Equations*, Oxford, UK, Oxford University Press, 2003. View at MathSciNet - A. Bellen, “Preservation of superconvergence in the numerical integration of delay differential equations with proportional delay,”
*IMA Journal of Numerical Analysis*, vol. 22, no. 4, pp. 529–536, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. Bellen, H. Brunner, S. Maset, and L. Torelli, “Superconvergence in collocation methods on quasi-graded meshes for functional differential equations with vanishing delays,”
*BIT: Numerical Mathematics*, vol. 46, no. 2, pp. 229–247, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - H. Brunner,
*Collocation Methods for Volterra Integral and Related Functional Equations*, Cambridge University Press, Cambridge, UK, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - H. Brunner and Q. Hu, “Optimal superconvergence results for delay integro-differential equations of pantograph type,”
*SIAM Journal on Numerical Analysis*, vol. 45, no. 3, pp. 986–1004, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - I. Ali, H. Brunner, and T. Tang, “A spectral method for pantograph-type delay differential equations and its convergence analysis,”
*Journal of Computational Mathematics*, vol. 27, no. 2-3, pp. 254–265, 2009. View at Google Scholar · View at MathSciNet · View at Scopus - S. G. Krein,
*Linear Differential Equations in Banach Spaces*, vol. 29 of*Translations of Mathematical Monographs*, American Mathematical Society, Providence, RI, USA, 1971. - M. I. Višik, “Linear extensions of operators and boundary conditions,”
*Doklady Akad Nauk SSSR*, vol. 65, pp. 433–436, 1949 (Russian). View at Google Scholar · View at MathSciNet - M. I. Višik, “On general boundary problems for elliptic differential equations,”
*Trudy Matematicheskogo Obshestva*, vol. 1, pp. 187–246, 1952 (Russian). View at Google Scholar - E. Ishiwata, Y. Muroya, and H. Brunner, “A super-attainable order in collocation methods for differential equations with proportional delay,”
*Applied Mathematics and Computation*, vol. 198, no. 1, pp. 227–236, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus