- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
ISRN Applied Mathematics
Volume 2014 (2014), Article ID 984098, 12 pages
Dynamic Behavior of a One-Dimensional Wave Equation with Memory and Viscous Damping
School of Mathematics, Beijing Institute of Technology, Beijing 100081, China
Received 9 January 2014; Accepted 17 March 2014; Published 1 April 2014
Academic Editors: Y. Dimakopoulos, M. Hermann, and M.-H. Hsu
Copyright © 2014 Jing Wang. 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.
We study the dynamic behavior of a one-dimensional wave equation with both exponential polynomial kernel memory and viscous damping under the Dirichlet boundary condition. By introducing some new variables, the time-variant system is changed into a time-invariant one. The detailed spectral analysis is presented. It is shown that all eigenvalues of the system approach a line that is parallel to the imaginary axis. The residual and continuous spectral sets are shown to be empty. The main result is the spectrum-determined growth condition that is one of the most difficult problems for infinite-dimensional systems. Consequently, an exponential stability is concluded.
It is known that viscoelastic materials have been widely used in mechanics, chemical engineering, architecture, traffic, information, and so on. More and more researchers have paid close attention to the dynamic behavior and control of vibration for elastic structures with viscoelasticity over the past several decades. The most widely used models for viscoelasticity are the Boltzmann model and Kelvin-Voigt model. For instance, the results concerning the exponential asymptotic stability of a linear hyperbolic integrodifferential equation in Hilbert space are established in , which is an abstract version of the equation of motion for dynamic linear viscoelastic solids. In [2, 3], the exponential stabilities of a vibrating beam with one segment made of viscoelastic material of a Kelvin-Voigt type and a vibrating string with Boltzmann damping are proved under certain hypotheses of the smoothness and structural condition of the coefficients of the system. In , the global existence and exponential decay of solutions of a nonlinear unidimensional wave equation with a viscoelastic boundary condition are analyzed under some assumptions. Spectral analyses of a wave equation with internal Kelvin-Voigt damping and Boltzmann damping are considered in [5, 6], respectively. The Riesz basis property of the generalized eigenfunctions of a one-dimensional hyperbolic system which is a heat equation incorporating the effect of thermomechanical coupling and the effect of inertia is studied in . In , a detailed spectral analysis for a heat equation system which is derived from a thermoelastic equation with memory type is presented and the spectrum-determined growth condition and strong exponential stability are then concluded. Similar studies from different aspects for elastic structures with viscoelasticity can also be found in [9–14] and the references therein.
In this paper, we are interested in the following one-dimensional wave equation with viscoelastic damping under the Dirichlet boundary condition: where and are positive constants and the kernel is taken as the finite sum of exponential polynomials: and we assume that, for simplicity,
Our interest is to investigate the dynamic behavior of (1)-(2), particularly the large time behavior. The asymptotic distribution of eigenvalues of the system is discussed in detail. It is shown that the system operator is of compact resolvent and hence its spectrum consists of isolated eigenvalues of finite algebraic multiplicity only. All eigenvalues approach a line that is parallel to the imaginary axis. The main result is the spectrum-determined growth condition which is one of the most difficult problems for infinite-dimensional systems. Consequently, a strongly exponential stability is concluded.
The paper is organized as follows. In Section 2, we introduce some new variables so that the system (1) with kernel (2) is reduced to be a time-invariant one. Section 3 is devoted to the detailed spectral analysis of the newly formulated system. The main result is the spectrum-determined growth condition that is presented in Section 4; finally, a strongly exponential stability is obtained.
2. System Operator Setup
Introduce Then satisfies Thus, we can rewrite the systems (1) and (2) as Obviously, the system (6) is a time-invariant system. The energy function of (6) is given by Motivated by the energy function, it is natural to consider the system (6) in the following Hilbert space equipped with the inner product, , Now, define the system operator by Then (6) can be formulated as an abstract evolution equation in as where is the state variable and is the initial value.
Lemma 1. Let be defined by (10). Then exists and hence , the resolvent set of . Moreover, generates a -semigroup on .
Proof. Let . Solve for ; that is,
Set , together with the boundary condition to obtain
Collecting (13), (15), and (16), we get the unique solution to (12). Hence, and exists, or .
Now, we show that can generate a -semigroup on . Actually, for any , we have where we have used the fact . Let Then we have And, hence, . Therefore, by the Lumer-Phillips theorem [15, p.14, Theorem 4.3], generates a -semigroup of contractions on ; thus is an infinitesimal generator of a -semigroup by the perturbation theory of semigroup [15, p.76, Theorem 1.1].
3. Spectral Analysis of System Operator
In this section, we investigate the distribution of spectrum of in the complex plane. Firstly, we consider the eigenvalue problem.
Suppose that for and ; that is,
Proposition 2. Let be defined as in (10). Then , are eigenvalues of , which are corresponding to eigenfunctions , respectively, where is a constant function whose element is the th element of the canonical basis of . Moreover, each of these eigenvalues is algebraically simple.
Proof. We only give the proof for because other cases can be treated similarly. Let and the eigenvalue problem becomes From the third equation of (22), it has . This in turn, together with the fourth equation of (22), yields and, by (3), we arrive at By the first and the second equations of (22), these yield Therefore, is an eigenfunction of corresponding to . Further computation of , where , yields We claim that (26) has no solution since must satisfy which is impossible. Hence is algebraically simple. The proof is complete.
When , it follows from (21) that And satisfies
Lemma 3. Let be defined by (10); then for any and , .
Proof. Firstly, we show that Re. When , (29) gives
Multiply by , the conjugate of , and integrate over with respect to for the equation to give
Replace in the above formula to get
Let the real and imaginary parts of the equation equal zero to obtain
If , from the first equation of (34), then it has
If , from the second equation of (34), then we have
Secondly, we prove that . We use contradiction argument. Suppose that ; letting , from (34), we have From the second equation, we obtain or . If holds, it has ; then, from (28), we have . Hence, it has only . This is a contradiction. The proof is complete.
Now, we give the asymptotic fundamental solutions of (29) as .
Lemma 4. Suppose that and , , where stands for the point spectrum set of . Then and are linearly independent fundamental solutions of , and as has the following asymptotic fundamental solutions: where
Proof. The first claim is trivial. We only need to show that (40) is the asymptotic fundamental solution of (39). This can be done along the same way of Birkhoff  and Naimark . Here we present briefly a simple calculation to (40). Let
where and , , are some functions to be determined, and
Substitute and into , respectively, to yield
Moreover, there exists some positive constant such that
Thus, letting the coefficients of and be zero gives
where is given by (41).
Now, use the condition , to get These are the expressions of (41). When is large enough, we can obtain the linearly independent asymptotic fundamental solutions of (39) given by (40) (see ): The proof is complete.
Assume that and , and let where , are given by (40). Then substitute the above into the boundary conditions of (29) to obtain where Hence (29) admits nontrivial solution if and only if and the eigenvalues of (29) are the zeros of (53). Notice that where and is given in Lemma 4.
We summarize the above analysis as the following Theorem.
Theorem 5. The eigenvalues of (29) have the following asymptotic expressions: especially, That is, is the asymptote of the eigenvalues given by (60). Furthermore, the corresponding eigenfunctions , have the asymptotic expressions Moreover, and are approximately normalized in in the sense that there exist positive constants and independent of such that, for ,
Proof. From above statement, (60) has been proved. We only need to show (62)-(63) to be valid. Since , , in view of (52) and (60), Lemma 4, and some facts in linear algebra, the eigenfunction corresponding to the eigenvalue is given by Owing to the fact of (60) that (62) is hence proved by taking Finally, These give (63). The proof is complete.
Theorem 6. Let be defined as in (10). Then(i) has the eigenvalues where have the asymptotic expressions (60),(ii)the eigenfunction corresponding to is for any ;(iii)the eigenfunctions corresponding to and are given by for , respectively, where and is given by
Concerning about , we have Theorem 7.
Theorem 7. Let be defined as in (10). Then and are empty sets, where and denote the set of residual and continuous spectrum of , respectively.
Proof. We need only to prove that , when . Letting , then . Solve for and ; that is,
Then we can write (71) as
Hence (75) can be rewritten as the following first-order system of differential equations:
Then it has
and is given by
The general solution of (77) is then found to be
Since , it has
When , (83) and (84) reduce to the eigenvalue problem
So, when , , if and only if , that is,
This is the characteristic determinant of , which has the asymptotic form given by (60).
Now, since , it has By the boundary condition , we have Hence is uniquely determined by (83) and . Once is known, and are also uniquely determined by (72). So exists and is bounded. Therefore . The proof is complete.
4. Spectrum-Determined Growth Condition and Exponential Stability
Now we are in a position to consider the main result of this part, the so-called spectrum-determined growth condition for system (11), which is one of the most hard problems for infinite-dimensional systems. Our proof is based on the following characterization condition (see [18, Corollary 3.40, p.144]).
Lemma 8. Let be a -semigroup on a Hilbert space with its generator . Let be the growth bound of and let be the spectral bound of . Then
We also need Lemma 1.2 of .
Lemma 9. Let where are polynomials of , are some complex numbers, and n is a positive integer. Then, for all outside those circles of radius that centered at the zeros of , one has for some constant that depends only on .
Lemma 10. Let where and are given by (76) and (81), respectively. Then, as indicated by (87), all eigenvalues claimed by (60) are zeros of . Moreover, for all that are outside those circles centered at with radius , one has for some constant that depends only on .
Theorem 11. Let be defined by (10). Then the spectrum-determined growth condition holds true for .
Proof. By Lemma 8, the proof will be accomplished if we can prove that, for any and with and , there exists a constant such that
Let with and . For any , from the proof of Theorem 7, satisfies
where , are given by (80).
Firstly, it is easy to see that there is a positive constant such that Secondly, for simplicity, let and , since