Mathematical Problems in Engineering
Volume 2015 (2015), Article ID 962565, 5 pages
http://dx.doi.org/10.1155/2015/962565

Research Article

On Stability of Linear Barbashin Type Integrodifferential Equations

Michael Gil’

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

Received 22 March 2015; Accepted 7 July 2015

Academic Editor: Juan F. San-Juan

Copyright © 2015 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 the Barbashin type equation where , , and are given real functions and is unknown. Conditions for the boundedness of solutions of this equation are suggested. In addition, a new stability test is established for the corresponding homogeneous equation. These results improve the well-known ones in the case when the coefficients are differentiable in time. Our approach is based on solution estimates for operator equations. It can be considered as the extension of the freezing method for ordinary differential equations.

1. Introduction and Statement of the Main Result

Our main object in this paper is the equation

where , , and are given functions and is unknown. Traditionally (1) is called the Barbashin type integrodifferential equation or simply the Barbashin equation. It plays an essential role in numerous applications, in particular, in kinetic theory [1], transport theory [2], continuous mechanics [3], control theory [4, 5], radiation theory [6, 7], and the dynamics of populations [8]. For other applications, see [9]. The classical results on the Barbashin equation are represented in the well-known book [10]. The recent results about various aspects of the theory of the Barbashin equation can be found for instance in the papers [11–15] and the references given therein. In particular, in [12], the author investigates the solvability conditions for the Cauchy problem for the Barbashin equation in the space of bounded continuous functions and in the space of continuous vector-valued functions with the values in an ideal Banach space.

Equation (1) can be considered in some space as the equation

with a 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 , where and

This fact allows us to use the information about the coefficients more completely than the theory of differential equations (2) containing an arbitrary operator .

We consider (1) in space with the traditional norm and the initial condition

where is given.

A solution of (1) and (4) is a function , defined on with values in , absolutely continuous in and satisfying (4) and (1) almost everywhere on . The existence of solutions follows from the a priory estimates proved below.

Together with (1) we consider the homogeneous equation

We will say that (5) is exponentially stable, if there are positive constants and , such that any solution of problem (4) and (5) satisfies . It should be noted that the stability theory of Barbashin equations is in the initial stage of its development. The basic method for the stability analysis of (5) is the direct Lyapunov method (cf. [10]). By that method many very strong results are obtained, but finding Lyapunov’s functions is often connected with serious mathematical difficulties. The import tool of the stability analysis is the generalized Wazewsky inequality [16, Theorem III.4.7]. But if is not dissipative, that is, if is not negative definite, then the just mentioned inequality does not give us stability conditions even in the case of a constant operator . The stability of (5) is investigated, also by perturbations of the simple equation

(cf. [10, Section 2.5]), but this approach gives rather rough results if the norm of is large enough. In this paper, under certain conditions, we suggest a stability test which in appropriate situations improves the just pointed methods. The stability test for (5) gives us the conditions, providing the boundedness of solutions to (1). Our results are sharp in the sense pointed below. Our approach is based on estimates to solutions of operator equations. It can be considered as the extension of the freezing method for ordinary differential equations [17–19].

Introduce the notations: for a linear operator , is the adjoint operator, is the operator norm, is the Hilbert-Schmidt (Frobenius) norm: ;    are the eigenvalues with their multiplicities, is the spectrum, , and

It is assumed that, for almost all , and have bounded measurable derivatives in , and . In addition, the operators and defined in by

respectively, are assumed to be bounded uniformly in . In addition,

Below we suggest estimates for . Put

Now we are in a position to formulate our main result.

Theorem 1. Let the conditions (9) and

hold. Then (5) is exponentially stable. If, in addition, is bounded on , then any solution of (1) is bounded on .

This theorem is proved in the next two sections. It is sharp in the following sense: if and do not depend on , then (11) holds and (5) is exponentially stable.

2. Preliminary Results

In this section we consider the equation

in a Hilbert space with a scalar product , the norm , and unit operator , assuming that is a linear operator uniformly bounded on , having a measurable strong derivative bounded on . In addition,

Recall that the equation

with a constant bounded stable operator (i.e., ), and a constant bounded operator has a solution which is represented as

(cf. [16, Section I.4.4]). Put

Then due to (15), is a unique solution of the equation

Clearly,

Lemma 2. Let condition (13) hold. Then is differentiable and .

Proof. Differentiating (17) we have

Hence due to (15)

Thus,

Now (18) yields the result.

Lemma 3. Let

Then

Proof. Multiplying (1) by and doing the scalar product, we can write

Since

the following can be written:

Hence, condition (22) implies

This proves the result.

Furthermore, for a stable operator , put (). Then , and

Hence

where is the smallest eigenvalues of . Recall that is stable, so . Put

Then due to (28)

Hence,

Now the previous lemma implies

But is uniformly bounded and therefore all the solutions of (12) are uniformly bounded (i.e., (12) is Lyapunov stable). Furthermore, substituting into (12),

Then

Applying our above arguments to (35) can assert that (35) with small enough is Lyapunov stable. So due to (34) equation (12) is exponentially stable, provided that (22) holds. Now Lemma 2 implies the following.

Lemma 4. Let

Then (12) is exponentially stable.

3. Proof of Theorem 1

Let be a solution of (14). Recall that , assume that

and put

Lemma 5. Let condition (37) hold. Then

Proof. We need the estimate

proved in [20, Example 7.10.3]. Take into account that , and . Then

as claimed.

Suppose that condition (13) holds and

Then due to the previous lemma

Lemmas 2 and 4 and the previous inequality imply the following.

Corollary 6. Let the conditions (13) and

hold. Then (12) is exponentially stable.

Proof of Theorem 1. Take . Then . Now the exponential stability of (5) immediately follows from the previous corollary. The rest of the proof is obvious.

4. Bounds for the Spectrum of the Barbashin Operator

Consider an integral operator defined in by

where is a real bounded measurable function and is a real Hilbert-Schmidt kernel. Put

So

Without any loss of generality, assume that

and denote

Due to formula (4) from [20, Section 14.1] the spectrum of operator is included in the set

Hence,

Now put

Without loss of generality, assume that , then (51) implies

where

If , then is defined similarly with exchanging the places of and .

We thus arrive at the following.

Corollary 7. Assume that

then

Thus,

provided that (55) holds. Now we can directly apply Theorem 1.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

References

M. C. Cercignani, Mathematical Methods in Kinetic Theory, Macmillian, New York, NY, USA, 1969.

H. G. Kaper, C. G. Lekkerkerker, and J. Hejtmanek, Spectral Methods in Linear Transport Theory, Birkhauser, Basel, Switzerland, 1982.

V. M. Aleksandrov and E. V. Kovalenko, Problems in Continuous Mechanics with Mixed Boundary Conditions, Nauka, Moscow, Russia, 1986 (Russian).

A. L. Khoteev, “An optimal control problem for integro-differential equations of Barbashin type,” in Probl. Upravl. Optim. Minsk, pp. 74–87, 1976.

A. L. Khoteev, “Necessary multi-point conditions for singular controls for integrodifferential equations of Barbashin type,” Vestnik Akademii Nauk SSSR, vol. 2, pp. 20–25, 1984 (Russian).

K. M. Case and P. F. Zweifel, Linear Transport Theory, Addison-Wesley, Reading, Mass, USA, 1967.

G. I. Marchuk, The Methods of Calculation for Nuclear Reactors, Atomizdat, Moscow, Russia, 1961 (Russian).

H. R. Thieme, “A differential-integral equation modelling the dynamics of populations with a rank structure,” in The Dynamics of Physiologically Structured Populations, vol. 68 of Lecture Notes in Biomathematics, pp. 496–511, Springer, 1986.

A. W. England, “Thermal microwave emission from a half-space containing scatterers,” Radio Science, vol. 9, no. 4, pp. 447–454, 1974.

J. Appel, A. Kalitvin, and P. Zabreiko, Partial Integral Operators and Integrodifferential Equations, Marcel Dekker, New York, NY, USA, 2000.

A. S. Kalitvin, “On two problems for the Barbashin integro-differential equation,” Journal of Mathematical Sciences, vol. 126, no. 6, pp. 1600–1606, 2005.

A. S. Kalitvin, “Some aspects of the theory of integro-differential Barbashin equations in function spaces,” Journal of Mathematical Sciences, vol. 188, no. 3, pp. 241–249, 2013.

B. G. Pachpatte, “On a parabolic type fredholm integrodifferential equation,” Numerical Functional Analysis and Optimization, vol. 30, no. 1-2, pp. 136–147, 2009.

B. G. Pachpatte, “On a nonlinear Volterra integral equation in two variables,” Sarajevo Journal of Mathematics, vol. 6, no. 19, pp. 59–73, 2010.

B. G. Pachpatte, “On a parabolic integrodifferential equation of Barbashin type,” Commentationes Mathematicae Universitatis Carolinae, vol. 52, no. 3, pp. 391–401, 2011.

Y. L. Daleckii and M. G. Krein, Stability of Solutions of Differential Equations in Banach Space, American Mathematical Society, Providence, RI, USA, 1974.

B. F. Bylov, B. M. Grobman, V. V. Nemyckii, and R. E. Vinograd, The Theory of Lyapunov Exponents, Nauka, Moscow, Russia, 1966 (Russian).

R. E. Vinograd, “An improved estimate in the method of freezing,” Proceedings of the American Mathematical Society, vol. 89, no. 1, pp. 125–125, 1983.

M. I. Gil, Explicit Stability Conditions for Continuous Systems, vol. 314 of Lectures Notes In Control and Information Sciences, Springer, Berlin, Germany, 2005.

M. I. Gil, Operator Functions and Localization of Spectra, vol. 1830 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 2003.