About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 746893, 6 pages
http://dx.doi.org/10.1155/2013/746893
Research Article

Existence of Mild Solutions for the Elastic Systems with Structural Damping in Banach Spaces

1Department of Mathematics, Lanzhou Jiaotong University, Lanzhou 730070, China
2Department of Mathematics, Northwest Normal University, Lanzhou 730070, China

Received 2 November 2012; Revised 6 January 2013; Accepted 16 January 2013

Academic Editor: Ferenc Hartung

Copyright © 2013 Hongxia Fan 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

This paper deals with the existence and uniqueness of mild solutions for a second order evolution equation initial value problem in a Banach space, which can model an elastic system with structural damping. The discussion is based on the operator semigroups theory and fixed point theorem. In addition, an example is presented to illustrate our theoretical results.

1. Introduction

Our aim in this paper is to study the existence and uniqueness of mild solutions for the semilinear elastic system with structural damping in a Banach space , where means , is a constant; is a closed linear operator and generates a -semigroup on ; , , .

In 1982, Chen and Russell [1] investigated the following linear elastic system described by the second order equation in a Hilbert space with inner , where (the elastic operator) and (the damping operator) are positive definite selfadjoint operators in . They reduced (2) to the first order equation in Let , with the naturally induced inner products. Then, (2) is equivalent to the first order equation in where Chen and Russell [1] conjectured that is the infinitesimal generator of an analytic semigroup on if and either of the following two inequalities holds for some : In the same paper they obtained some results in this direction. The complete proofs of the two conjectures were given by Huang [2, 3]. Then, other sufficient conditions for or its closure to generate an analytic or differentiable semigroup on were discussed in [410], by choosing to be an operator comparable with for , based on an explicit matrix representation of the resolvent operator of or .

However, so far as we know, among the previous works, little is concerned with an elastic system with structural damping in a Banach space. Motivated by previous works, in this paper, we investigate the existence and uniqueness of mild solutions for the elastic system (1) in a frame of Banach spaces. To this end, we firstly introduce the concept of mild solutions for system (1), which is based on the discussion about associated linear system. Secondly, we prove the existence and uniqueness of mild solutions for the semilinear elastic system (1) in a Banach space .

The paper is organized as follows. In Section 2, we discuss the associated linear elastic system and give its definition of mild solutions. In Section 3, we study the existence and uniqueness of mild solutions for the semilinear elastic system (1). An example to illustrate our theoretical results is given in Section 4.

2. Preliminaries on Linear Elastic Systems

Let be a Banach space, we consider the linear elastic system with structural damping where means , is a constant; is a closed linear operator, and generates a -semigroup on ; , , .

For the second order evolution equation it has the following decomposition That is, It follows from (9) and (11) that By (12), we have Let which means So we reduce the linear elastic system (8) to the following two abstract Cauchy problems in Banach space : It is clear that (16) and (17) are linear inhomogeneous initial value problems for and , respectively. Since is the infinitesimal generator of -semigroup . Furthermore, for any , (13) yield , . Thus, by operator semigroups theory [11], and are infinitesimal generators of -semigroups, which implies initial value problems (16) and (17) are well-posed.

Throughout this paper, we assume that and generate -semigroups and on , respectively. Note that , and is the infinitesimal generator of -semigroup . It follows that

It is well known [12, Chapter 4], when , the linear initial value problem (16) has a mild solution given by Similarly, if , then the mild solution of the linear initial value problem (17) expressed by Substituting (19) into (20), we get From the argument above, we obtain the following corollary.

Corollary 1. If , then the initial value problem (8) has at most one solution. If it has a solution, this solution is given by (21).

For every , the right-hand side of (21) is a continuous function on . It is natural to consider it as a generalized solution of (8) even it is not differentiable and dose not strictly satisfy the equation. We therefore define the following.

Definition 2. Let is the infinitesimal generator of -semigroup . Then a continuous solution of the integral equation is said to be a mild solution of the initial value problem (8). Where , were defined in (18) and was specified in (15).

3. Main Results

Let be the Banach space of all continuous functions with norm , . Let be the Banach space of all linear and bounded operators on . Note that and are -semigroups on . Thus, there exist and such that

In what follows, we firstly give the definition of a mild solution for the initial value problem (1) below.

Definition 3. Let is the infinitesimal generator of -semigroup . Then a continuous solution of the integral equation is said to be a mild solution of the initial value problem (1). Where , were defined in (18) and was specified in (15).

Secondly, we consider the existence and uniqueness of mild solutions for (1). To this end, we make the following assumptions: be continuous and there exists , such that be continuous and there exists a positive function such that The -semigroup is compact for .

Theorem 4. Assume that holds, is the infinitesimal generator of -semigroup . Then for every , and , the initial value problem (1) has a unique mild solution .

Proof. Define the operator by
It is obvious that the mild solution of the initial value problem (1) is equivalent to the fixed point of .
For any , (23), (27), and yield Using (27), (28), and induction on it follows easily that Hence Since Thus, for large enough and by well known extension of the contraction mapping principle, has a unique fixed point . This fixed point is the desired solution of the integral equation (24).

Theorem 5. Suppose that assumptions and hold. Then for every , and , the initial value problem (1) has at least one mild solution .

Proof. Define the operator as (27) and choose such that Let . We proceed in two main steps.
Step 1. We show that . For that, let . Then for , we have which according to and (23) gives In view of the choice of , we obtain
Step 2. We prove that is completely continuous. Note that is a continuous mapping from to . Thus, is continuous. Next, we show that is compact. To this end, we use the Ascoli-Arzela's theorem. For that, we first prove that is relatively compact in , for . Obviously, is compact.
Let . For each and , we define the operator by Then the sets are relatively compact in since by and (18), the semigroup is compact for on . Moreover, using (23) and we have Therefore, the set is relatively compact in for all and since it is compact at we have the relatively compactness in for all .
Now, let us prove that is equicontinuous. For , we have where In fact, and tend to 0 independently of when .
Note that the function is continuous for . Thus, is uniformly continuous on and thus .
From (23) and , we have Let . By the compactness of and (18), we can easily conclude that is compact and therefore is continuous in the uniform operator topology for . Then, is also continuous in the uniform operator topology on . Thus as . Meanwhile, is bounded on . Hence, using Lebesgue dominated convergence theorem we deduce that .
Moreover, from (23) we have Hence, .
In short, we have show, that is relatively compact for , is a family of equicontinuous functions. It follows from Ascoli-Arzela's theorem that is compact. By Schauder fixed point theorem has a fixed point , which obviously is a mild solution to (1).

4. An Example

In order to illustrate our main results, we consider the following initial-boundary value problem, which is a model for elastic system with structural damping where , are all constants, is continuous.

Let , we define the linear operator in by It is well known from [13] that is the infinitesimal generator of a -semigroup on .

Let , , then the initial-boundary value problem (42) can be reformulated as the following abstract second order evolution equation initial value problem in :

In order to solve the initial-boundary value problem (42), we also need the following assumptions:, . The partial derivative is continuous.

Theorem 6. If the assumptions and are satisfied, then for any , the initial-boundary value problem (42) has a unique mild solution .

Proof. From the assumptions and , it is easily seen that the conditions in Theorem 4 are satisfied. Hence, by Theorem 4, for any , the problem (44) has a unique mild solution , which means is a mild solution for initial-boundary value problem (42).

Acknowledgments

The authors are grateful to the anonymous referee for his/her valuable comments and suggestions, which improve the presentation of the original paper. Research was supported by NNSFs of China (11261053, 11061031).

References

  1. G. Chen and D. L. Russell, “A mathematical model for linear elastic systems with structural damping,” Quarterly of Applied Mathematics, vol. 39, no. 4, pp. 433–454, 1982. View at MathSciNet
  2. F. L. Huang, “On the holomorphic property of the semigroup associated with linear elastic systems with structural damping,” Acta Mathematica Scientia, vol. 5, no. 3, pp. 271–277, 1985. View at Zentralblatt MATH · View at MathSciNet
  3. F. Huang, “A problem for linear elastic systems with structural damping,” Acta Math-Ematica Scientia, vol. 6, no. 1, pp. 101–107, 1986 (Chinese).
  4. S. Chen and R. Triggiani, “Proof of extensions of two conjectures on structural damping for elastic systems: the systems: the case 1/2α1,” Pacific Journal of Mathematics, vol. 136, no. 1, pp. 15–55, 1989.
  5. S. Chen and R. Triggiani, “Gevrey class semigroups arising from elastic systems with gentle dissipation: the case 0<α<1/2,” Proceedings of the American Mathmematical Society, vol. 110, no. 2, pp. 401–415, 1990.
  6. F. L. Huang, “On the mathematical model for linear elastic systems with analytic damping,” SIAM Journal on Control and Optimization, vol. 26, no. 3, pp. 714–724, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. K. Liu and Z. Liu, “Analyticity and differentiability of semigroups associated with elastic systems with damping and gyroscopic forces,” Journal of Differential Equations, vol. 141, no. 2, pp. 340–355, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. F. L. Huang and K. S. Liu, “Holomorphic property and exponential stability of the semigroup associated with linear elastic systems with damping,” Annals of Differential Equations, vol. 4, no. 4, pp. 411–424, 1988. View at Zentralblatt MATH · View at MathSciNet
  9. F. L. Huang, Y. Z. Huang, and F. M. Guo, “Holomorphic and differentiable properties of the C0-semigroup associated with the Euler-Bernoulli beam equations with structural damping,” Science in China A, vol. 35, no. 5, pp. 547–560, 1992. View at MathSciNet
  10. F. L. Huang, K. S. Liu, and G. Chen, “Differentiability of the semigroup associated with a structural damping model,” in Proceedings of the 28th IEEE Conference on Decision and Control (IEEE-CDC 1989), pp. 2034–2038, Tampa, Fla, USA, 1989. View at MathSciNet
  11. K.-J. Engel and R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, Springer, New York, NY, USA, 2000.
  12. A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer, Berlin, Germany, 1983. View at Publisher · View at Google Scholar · View at MathSciNet
  13. D. Henry, Geometric Theory of Semilinear Parabolic Equations, Springer, New York, NY, USA, 1981. View at MathSciNet