Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2016, Article ID 2468458, 6 pages
http://dx.doi.org/10.1155/2016/2468458
Research Article

Stability and Boundedness of Solutions to Nonautonomous Parabolic Integrodifferential Equations

Department of Mathematics, Ben Gurion University of the Negev, P.O. Box 653, 84105 Beer-Sheva, Israel

Received 20 January 2016; Revised 24 April 2016; Accepted 3 May 2016

Academic Editor: Quanxin Zhu

Copyright © 2016 Michael Gil'. 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

We consider a class of linear nonautonomous parabolic integrodifferential equations. We will assume that the coefficients are slowly varying in time. Conditions for the boundedness and stability of solutions to the considered equations are suggested. Our results are based on a combined usage of the recent norm estimates for operator functions and theory of equations on the tensor product of Hilbert spaces.

1. Introduction and Statement of the Main Result

This paper is devoted to stability and boundedness of solutions to parabolic integrodifferential equations, that is, equations containing the first derivative in time, integral operators, and partial derivatives in spatial variables. Such equations play an essential role in numerous applications, in particular, in the transport theory [1], continuous mechanics [2], and radiation theory [3]. For other applications see [4].

The literature on the asymptotic properties of integrodifferential equations is rather rich, but mainly ordinary (linear and nonlinear) equations, that is, equations without partial derivatives, were investigated; compare [59] and references given therein. For important stability results on stochastic partial differential equations see the papers [1012].

The parabolic autonomous integrodifferential equations are investigated considerably less than the ordinary ones. For the recent papers on stability and the asymptotic behaviour of solutions to autonomous parabolic integrodifferential equations see [1316] and references therein.

Despite many important applications the stability properties of solutions of nonautonomous integrodifferential equations have not been not investigated. The motivation of the present paper is to particularly fill a gap between the developed theory for ordinary integrodifferential equations and almost nonexistence theory for nonautonomous parabolic integrodifferential equations.

We obtain the main result of the paper for differential-operator equation (1) in a Hilbert space. Based on that result we give explicit exponential stability conditions for the integrodifferential equations.

Let be a Hilbert space with a scalar product , the norm , and unit operator . All the considered operators are assumed to be linear. For an operator , is the adjoint one, is the spectrum, , and denotes the domain.

Consider the equation where is a closed constant operator in with a dense domain is an operator uniformly bounded on , having a strong derivative uniformly bounded on and commuting with ; satisfies the conditions pointed below.

An important example of (1) is the boundary values problem where , and are given functions and is unknown. In our reasonings below, instead of and , one can consider closed bounded Euclidean sets and more general differential operators.

In the present paper we suggest the conditions providing stability and boundedness of solutions to (1) with slowly varying operator .

Certainly, (1) can be considered in some space as the equation with an unbounded variable linear operator . This identification which is a common device in the theory of partial differential equations when passing from a parabolic equation to an abstract evolution equation turns out to be useful also here. Observe that in the considered case has a special form: it is the sum of operators and . Besides, according to (3), has a special structure. These facts enable us to use the information about the coefficients more completely than the theory of differential equations containing an arbitrary operator .

A solution to (1) for given is a function having a bounded measurable strong derivative and satisfying .

In particular, we will consider the homogeneous equation Equation (5) is said to be exponentially stable, if there are constants , such that    for any solution of (1). Condition (2) implies that generates a strongly continuous semigroup ; compare [17, Section I.4.4]. Since is bounded and commutes with we can assert that (1) has solutions for any .

We will assume that, for each , the operator is stable (Hurwitzian); namely, Now we are in a position to formulate the main result of this paper.

Theorem 1. Let conditions (2) and (6) and hold. Then (5) is exponentially stable. If, in addition, is bounded and measurable on , then any solution of (1) is bounded on .

2. Proof of Theorem 1

Put and . Let be the Cauchy operator to the equation That is, for any solution of (8). Taking we have Consequently, really is a solution to (5). Since we have ; compare [17, Theorem I.4.2]. Thus, . So we have proved the following result.

Lemma 2. Under the hypothesis of Theorem 1, (5) is exponentially stable, provided (8) is exponentially stable.

Furthermore, recall that the equation with given constant bounded stable operator (i.e.,  ) and a constant bounded operator has a solution which is represented as Compare [18, Section I.4.4]. Consequently, due to (2), the operator is a unique solution of the equation

Lemma 3. Let condition (6) hold. Then is differentiable and .

Proof. Differentiating (15) we have Hence, due to (15), Thus, Now (16) yields the result.

Lemma 4. Let Then , for a solution of (8).

Proof. Multiplying (8) by and doing the scalar product, we can write . Since it can be written as Hence, condition (20) implies This proves the result.

Furthermore, for a stable operator , put . Then , andHenceand thereforewhere is the smallest eigenvalue of . Recall that is stable, so . Then due to (13) and (26) with we get Hence, for any continuous function , we have Now the previous lemma implies But is uniformly bounded and therefore all the solutions of (8) are uniformly bounded (i.e., (8) is Lyapunov stable). Furthermore, substitute into (8) Then Applying our above arguments to (31) can assert that (31) with small enough is Lyapunov stable. So, due to (30), (8) is exponentially stable, provided (20) holds. Now Lemma 3 implies the following.

Lemma 5. Let . Then (8) is exponentially stable.

Proof of Theorem 1. The exponential stability of (5) immediately follows from Lemmas 2 and 5, and the equality . The rest of the proof is obvious.

3. Equations on a Tensor Product of Hilbert Spaces

Let be separable Hilbert spaces with scalar products , the unit operators , and the norms . Let be the tensor product of and . This means that is a collection of all formal sums of the form with the understanding that Here , and is a number. The scalar product in is defined by and the norm . The closure of in the norm is a Hilbert space; compare [19]. It is again denoted by . In addition, the unit operator in equals .

Furthermore, for a Hilbert-Schmidt operator in denotes the Hilbert-Schmidt norm: . Let be a closed constant operator in with a dense domain Let be a linear operator in uniformly bounded on , having a strong derivative uniformly bounded on . Put , and assume that, for each , the operator is stable: Let Then condition (7) holds and, therefore, (5) is exponentially stable. If, in addition, is bounded on , then any solution of (1) is bounded on .

Furthermore, from (36), it follows that . Assume that and put where are nonreal eigenvalues of taken with their multiplicities. Clearly, Due to [20, Example 7.10.3], So Hence , where This inequality, (37), and Theorem 1 imply the following.

Corollary 6. Let conditions (35) and hold. Then (5) is exponentially stable.

4. Example

Put . In this section ,  , and are the Hilbert spaces of real functions with usual scalar products.

Consider problem (3), (4), assuming that, for almost all , and have bounded measurable derivatives and . In addition, the operators and defined in by respectively, are assumed to be bounded uniformly in . In addition, Let with the domain Then is self-adjoint with the eigenvalues . So . Assume that and put Now Corollary 6 implies the following.

Corollary 7. Let conditions (48) and hold. Then the equation with condition (4) is exponentially stable. If, in addition, and is uniformly bounded on , then any solution of (3) is uniformly bounded on in the norm of .

To estimate one can apply various bounds for spectra of integral operators. For instance, consider the equation with condition (4). So , where It is simple to check that in this case and . Thus and provided Now we can directly apply the previous corollary. The general case of (51) can be considered as a perturbation of (52).

5. Conclusion

We have established the explicit stability test for linear parabolic integrodifferential equations in the case of slow varying in time coefficients. Stability of such equations has not been investigated in the available literature. As the example shows, the test is simply applicable and enables us to avoid the construction of the Lyapunov functionals in appropriate situations.

Competing Interests

The author declares that they have no competing interests.

References

  1. H. G. Kaper, C. G. Lekkerkerker, and J. Hejtmanek, Spectral Methods in Linear Transport Theory, Birkhäuser, Basel, Switzerland, 1982.
  2. V. M. Aleksandrov and E. V. Kovalenko, Problems in Continuous Mechanics with Mixed Boundary Conditions, Nauka, Moscow, Russia, 1986 (Russian).
  3. G. I. Marchuk, The Methods of Calculation for Nuclear Reactors, Atomizdat, Moscow, Russia, 1961 (Russian).
  4. J. Appel, A. Kalitvin, and P. Zabreiko, Partial Integral Operators and Integrodifferential Equations, Marcel Dekker, New York, NY, USA, 2000.
  5. R. P. Agarwal, A. Domoshnitsky, and Y. Goltser, “Stability of partial functional integro-differential equations,” Journal of Dynamical and Control Systems, vol. 12, no. 1, pp. 1–31, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  6. A. Domoshnitsky and Ya. M. Goltser, “Approach to study of bifurcations and stability of integro-differential equations,” Mathematical and Computer Modelling, vol. 36, no. 6, pp. 663–678, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. A. D. Drozdov and M. I. Gil', “Stability of linear integro-differential equations with periodic coefficients,” Quarterly Journal of Mechanics and Applied Mathematics, vol. 54, no. 4, pp. 609–624, 1996. View at Google Scholar
  8. M. I. Gil', “On stability of linear Barbashin type integrodifferential equations,” Mathematical Problems in Engineering, vol. 2015, Article ID 962565, 5 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. Y. Goltser and A. Domoshnitsky, “Bifurcations and stability of integro-differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 47, no. 2, pp. 953–967, 2001. View at Publisher · View at Google Scholar
  10. X. Yang and Q. Zhu, “Existence, uniqueness, and stability of stochastic neutral functional differential equations of Sobolev-type,” Journal of Mathematical Physics, vol. 56, no. 12, Article ID 122701, 16 pages, 2015. View at Google Scholar · View at MathSciNet
  11. X. Yang and Q. Zhu, “p-th moment exponential stability of stochastic partial differential equations with Poisson jumps,” Asian Journal of Control, vol. 16, no. 5, pp. 1482–1491, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. Q. Zhu, “Asymptotic stability in the p-th moment for stochastic differential equations with Levy noise,” Journal of Mathematical Analysis and Applications, vol. 416, no. 1, pp. 126–142, 2014. View at Google Scholar
  13. N. M. Chuong, T. D. Ke, and N. N. Quan, “Stability for a class of fractional partial integro-differential equations,” Journal of Integral Equations and Applications, vol. 26, no. 2, pp. 145–170, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. J. Cao and Z. Huang, “Existence and exponential stability of weighted pseudo almost periodic classical solutions of integro-differential equations with analytic semigroups,” Differential Equations and Dynamical Systems, vol. 23, no. 3, pp. 241–256, 2015. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  15. H. Matsunaga and H. Hashimoto, “Asymptotic stability and stability switches in a linear integro-differential system,” Differential Equations & Applications, vol. 3, no. 1, pp. 43–55, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  16. N. T. Dung, “On exponential stability of linear Levin-Nohel integro-differential equations,” Journal of Mathematical Physics, vol. 56, no. 2, Article ID 022702, 10 pages, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  17. S. G. Krein, Linear Differential Equations in Banach Space, AMS, Providence, RI, USA, 1971.
  18. Y. L. Daleckii and M. G. Krein, Stability of Solutions of Differential Equations in Banach Space, American Mathematical Society, Providence, RI, USA, 1974.
  19. N. Dunford and J. T. Schwartz, Linear Operators, Part I, Interscience, New York, NY, USA, 1963.
  20. M. I. Gil', Operator Functions and Localization of Spectra, vol. 1830 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2003. View at Publisher · View at Google Scholar · View at MathSciNet