Mathematical Problems in Engineering

Mathematical Problems in Engineering / 2010 / Article

Research Article | Open Access

Volume 2010 |Article ID 196956 | 15 pages | https://doi.org/10.1155/2010/196956

Maximal Regularity for Flexible Structural Systems in Lebesgue Spaces

Academic Editor: J. Rodellar
Received09 Aug 2009
Accepted13 Jan 2010
Published14 Apr 2010

Abstract

We study abstract equations of the form , which is motivated by the study of vibrations of flexible structures possessing internal material damping. We introduce the notion of -regularized families, which is a particular case of -regularized families, and characterize maximal regularity in -spaces based on the technique of Fourier multipliers. Finally, an application with the Dirichlet-Laplacian in a bounded smooth domain is given.

1. Introduction

During the last few decades, the use of flexible structural systems had steadily increased importance. The study of a flexible aerospace structure involves problems of dynamical system theory governed by partial differential equations.

We consider here the problem of characterizing -maximal regularity (or well-posedness) for a mathematical model of a flexible space structure like a thin uniform rectangular panel, for example, a solar cell array or a spacecraft with flexible attachments. This problem is motivated by both engineering and mathematical considerations.

The study of vibrations of flexible structures possessing internal material damping was first derived by Bose and Gorain [1]. The consideration of external forces leads to more general equations of the form

where is a closed linear operator acting in a Banach space and is an -valued function. We emphasize that the abstract Cauchy problem associated with (1.1) is in general ill posed; see, for example, [2]. Also it is well known that in order to analyze well-posedness, a direct approach leads to better results than those obtained by a reduction to a first-order equation.

Maximal regularity in Hölder spaces for (1.1) has been recently characterized in [3]. In case , there are more literatures. For example, stability of the solution was studied by Gorain in [4]. In [5], Gorain and Bose studied exact controllability and boundary stabilization. More recently, Batkai and Piazzera [6, page 188] have obtained the exact decay rate. We note that well-posedness in Lebesgue spaces in the case of a damped wave equation has been only recently considered by Chill and Srivastava in [7], and in Hölder spaces by Poblete [8]. We note that the class studied in [8] includes equations with delay. In particular, well-posedness of the homogeneous abstract Cauchy problem has been observed in [9] for under certain assumptions on

This paper is organized as follows. Section 2, collects results essentially contained in [10] and standard literature on -boundedness and maximal regularity (see [11] and [12]). In Section 3 we study, by an operator theoretical method, sufficient conditions for existence of solutions for (1.1). We obtain two results: a description of the solution by means of certain regularized families (Proposition 3.1) and the existence of such families in the particular case of positive self-adjoint operators (Theorem 3.2). In Section 4, we succeed in characterizing well-posedness of (1.1) in terms of -boundedness of a resolvent set which involves (Theorem 4.2). This will be achieved in the Lebesgue spaces where is a space (see below the definition). The methods to obtain this goal are those incorporated in [13] where a similar problem in case of the first-order abstract Cauchy problem has been studied. Our main result (Theorem 4.2) is a combination of the well-known (and deep) result due to Weis [14] stated in Theorem 2.8 and a direct calculation involving the parameters , , and .

2. Preliminaries

Let be given. In what follows we denote

In order to give an operator theoretical approach to (1.1) we introduce the following definition.

Definition 2.1. Let be a closed and linear operator with domain defined on a Banach space . One calls the generator of an -regularized family if the following conditions are satisfied.(R1) is strongly continuous on and .(R2) and for all .(R3) The following equation holds: for all In this case, is called the -regularized family generated by .

Remark 2.2. It is proved in [10], in the more general context of -regularized families, that an operator is the generator of an -regularized family if and only if there exists and a strongly continuous function such that and

Because of the uniqueness of the Laplace transform, we note that an -regularized family corresponds to an -regularized family studied in [10]. In fact, we have

As in the situation of -semigroups, we have diverse relations of an -regularized family and its generator. The following result is a direct consequence of [10, Proposition and Lemma ].

Proposition 2.3. Let be an -regularized family on with generator . Then the following hold.(a)For all one has (b)Let and Then and

Results on perturbation, approximation, asymptotic behavior, representation, as well as ergodic-type theorems for -regularized families can be also deduced from the more general context of -regularized families (see [10, 1518]).

We will need the following results on Laplace transform (see [19, Theorem and Corollary ] for a detailed proof).

Lemma 2.4. Suppose that is holomorphic and satisfies and let Then there exists with such that for all

Lemma 2.5. Suppose that is holomorphic and satisfies for all . Then there exists a bounded function such that for all

We introduce the means

for

Definition 2.6. Let , be Banach spaces. A subset of is called -bounded if there exists a constant such that for all The least such that (2.7) is satisfied is called the -bound of and is denoted as

The notion of -boundedness was implicitly introduced and used by Bourgain [20] and later on also by Zimmermann [21]. Explicitly it is due to Berkson and Gillespie [22] and to Clément et al. [23].

-boundedness clearly implies boundedness. If , the notion of -boundedness is strictly stronger than boundedness unless the underlying space is isomorphic to a Hilbert space [24, Proposition ]. Some useful criteria for -boundedness are provided in [11, 24].

Remark 2.7. (a)Let be -bounded sets, then is -bounded.(b)Let and be -bounded sets, then is -bounded and (c)Also, each subset of the form is -bounded whenever is bounded.

We recall that those Banach spaces for which the Hilbert transform is bounded on for some are called spaces. For more information and details on the Hilbert transform and the Banach spaces we refer to [12]. Examples of spaces include Hilbert spaces, Sobolev spaces (see [25]), Lebesgue spaces , , when is a space, and the Schatten-von Neumann classes , of operators on Hilbert spaces.

After these preliminaries, we state the following operator-valued Fourier multiplier theorem. It is fundamental in our treatment. A proof can be founded in [11].

Theorem 2.8. Suppose that is a space and let Let be such that the following conditions are satisfied. (i)The set is -bounded.(ii)The set is -bounded.
Then the operator defined by
extends to a bounded operator from to

3. Existence of Solutions

Let Consider the equation

with initial conditions where is the generator of an -regularized family By a solution of (3.1) we understand a function such that and verify (3.1).

Proposition 3.1. Let be an -regularized family on with generator . If , then given by is a solution of (3.1).

Proof. Given that , we obtain from Proposition 2.3 that and hence , is of class . For all , we have If , then . Moreover, Since , from (3.2), we have that and Hence, By the other side, for all , we obtain Since and is closed, from (3.6) we conclude that verify (3.1).

The following remarkable result provides a wide class of generators of -regularized families. In what follows we denote

Theorem 3.2. Let be a positive self-adjoint operator on a Hilbert space such that Then is the generator of a bounded -regularized family on

Proof. Since is a positive self-adjoint operator in , the spectrum is a subset of the negative real axis and the resolvent operator is defined at least for all negative non real Let such that If , then clearly If , then we claim that In fact, for , with a direct computation we obtain
Note that if and only if or
Since , we have that
Hence, if and only if Since a direct calculation gives proving the claim. We conclude that for all Hence (see Kato [26, Section ]), Note that since has order Define We have by (3.14) and (3.13) that for all On the other hand, where and, by (3.14), for all We conclude that
By Lemma 2.5 there exists a strongly continuous family such that and for In consequence, for all we have
and, by Remark 2.2, it shows that is a bounded -regularized family generated by .

Since it is a known fact that the Dirichlet-Laplacian operator is a self-adjoint operator on and , we obtain the following corollary.

Corollary 3.3. Let be a bounded domain in with smooth boundary , and assume that Then the Dirichlet-Laplacian operator with domain is the generator of an -regularized family on

Remark 3.4. In Theorem 3.2 the condition is fundamental to have for all with , which is the key in the proof. Figure 1 is the typical situation, where we have mapped by the lines , , and with , , and .
Note that in case it can happen that For example, taking , , and , we obtain Figure 2 of for and

4. -Well-Posedness

Having presented preliminary material on -boundedness and Fourier multipliers, we will now show how these tools can be used to handle (3.1). Our main result give concrete conditions on the operator under which (3.1) has -maximal regularity.

The definition of -maximal regularity which we investigate in this section is given as follows.

Definition 4.1. One says that (3.1) has -maximal regularity (or is -well posed) on if for each there is a unique function such that (3.1) holds a.e.

The following is the main abstract result of this section. It completely characterizes the maximal regularity of solutions for (3.1) in Lebesgue spaces.

Theorem 4.2. Let be a space, and let be the generator of a bounded -regularized family The following statements are equivalent. (i)Equation (3.1) has -maximal regularity on (ii) for all and the set

Proof. By (3.1) and Definition 4.1 together with Proposition 3.1, the convolution operator with kernel is a bounded operator from to Note that the Fourier transform exists for because is bounded and can be analytically extended from to the imaginary axis. Then the symbol of this convolution operator is given by and the conclusion follows from [11, Proposition ].
Define and
We check that the set is -bounded.
Since , we have that Replacing in (4.4)
Note that
Since the sum of -bounded sets is -bounded, see [11], we obtain that is -bounded.
We now check that the set is -bounded. With a direct computation, we obtain

Hence
Since the set is -bounded and the complex functions appearing in the above equality are bounded, we obtain the claim from the fact that the sum of -bounded sets is again -bounded. We employ now Theorem 2.8 to conclude that the operator defined by extends to a bounded operator from to
Define
We will prove that the sets and are -bounded.
In fact, note that Hence the set is -bounded. Moreover, we have
obtaining that the set is -bounded. By Theorem 2.8 we conclude that the operator defined by extends to a bounded operator from to
Finally, define
The set is -bounded from hypothesis and also note that the set is -bounded, since Again by Theorem 2.8 we conclude that the operator defined by extends to a bounded operator from to From (4.9), (4.12), and (4.15) and since it is clear that (3.1) has -maximal regularity if the convolution operator with each one of the kernels is a bounded operator from to (see [11]), we conclude (i) and the proof is complete.

Of course, -boundedness in (4.1) can be replaced by boundedness in case is a Hilbert space.

Corollary 4.3. The solution of (3.1), under the conditions given by Theorem 4.2, satisfies the following maximal regularity property: and Moreover, there exists a constant independent of such that

The proof follows by the closed-graph theorem.

As an example, we consider for the vibration equation subject to the action of an external force. Explicitly, we consider

in a smooth bounded region . Also, we assume that . We have the following application in the Hilbert space setting.

Theorem 4.4. Let be a bounded domain with smooth boundary in . Suppose that Then the initial value problem (4.18) defined on with Dirichlet boundary conditions has -maximal regularity on

Proof. Let , , and and note that if and only if By Corollary 3.3 we conclude that generates a bounded -regularized family on
Note that we have and there exists a constant such that
for all Here is the first eigenvalue of the Dirichlet-Laplacian. Hence, by Theorem 4.2 the assertion follows.

Remark 4.5. In Figure 3, we show in case , , and

Acknowledgments

The authors are supported by Laboratorio de Analisis Estocástico, Proyecto Anillo ACT-13. The third author is also partially financed by Proyecto Fondecyt de Iniciación 11075046.

References

  1. S. K. Bose and G. C. Gorain, “Stability of the boundary stabilised internally damped wave equation y+λy=c2(Δy+μΔy) in a bounded domain in n,” Indian Journal of Mathematics, vol. 40, no. 1, pp. 1–15, 1998. View at: y?+?y?=c2(?y+µ?y')%20in%20a%20bounded%20domain%20in%20Rn&author=S. K. Bose &author=G. C. Gorain&publication_year=1998" target="_blank">Google Scholar | Zentralblatt MATH | MathSciNet
  2. T.-J. Xiao and J. Liang, The Cauchy Problem for Higher-Order Abstract Differential Equations, vol. 1701 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1998. View at: MathSciNet
  3. C. Cuevas and C. Lizama, “Well posedness for a class of flexible structure in Hölder spaces,” Mathematical Problems in Engineering, vol. 2009, Article ID 358329, 13 pages, 2009. View at: Publisher Site | Google Scholar | MathSciNet
  4. G. C. Gorain, “Exponential energy decay estimate for the solutions of internally damped wave equation in a bounded domain,” Journal of Mathematical Analysis and Applications, vol. 216, no. 2, pp. 510–520, 1997. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  5. S. K. Bose and G. C. Gorain, “Exact controllability and boundary stabilization of torsional vibrations of an internally damped flexible space structure,” Journal of Optimization Theory and Applications, vol. 99, no. 2, pp. 423–442, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  6. A. Bátkai and S. Piazzera, Semigroups for Delay Equations, vol. 10 of Research Notes in Mathematics, A K Peters, Wellesley, Mass, USA, 2005. View at: MathSciNet
  7. R. Chill and S. Srivastava, “LP-maximal regularity for second order Cauchy problems,” Mathematische Zeitschrift, vol. 251, no. 4, pp. 751–781, 2005. View at: Publisher Site | LP-maximal%20regularity%20for%20second%20order%20Cauchy%20problems&author=R. Chill &author=S. Srivastava&publication_year=2005" target="_blank">Google Scholar | Zentralblatt MATH | MathSciNet
  8. V. Poblete, “Maximal regularity of second-order equations with delay,” Journal of Differential Equations, vol. 246, no. 1, pp. 261–276, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  9. D. Mugnolo, “A variational approach to strongly damped wave equations,” in Functional Analysis and Evolution Equations, pp. 503–514, Birkhäuser, Basel, Germany, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  10. C. Lizama, “Regularized solutions for abstract Volterra equations,” Journal of Mathematical Analysis and Applications, vol. 243, no. 2, pp. 278–292, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  11. R. Denk, M. Hieber, and J. Prüss, “-boundedness, Fourier multipliers and problems of elliptic and parabolic type,” Memoirs of the American Mathematical Society, vol. 166, no. 788, p. 114, 2003. View at: R-boundedness,%20Fourier%20multipliers%20and%20problems%20of%20elliptic%20and%20parabolic%20type&author=R. Denk&author=M. Hieber&author=&author=J. Prüss&publication_year=2003" target="_blank">Google Scholar | MathSciNet
  12. H. Amann, Linear and Quasilinear Parabolic Problems. Vol. I. Abstract Linear Theory, vol. 89 of Monographs in Mathematics, Birkhäuser, Boston, Mass, USA, 1995. View at: MathSciNet
  13. W. Arendt, C. Batty, and S. Bu, “Fourier multipliers for Hölder continuous functions and maximal regularity,” Studia Mathematica, vol. 160, no. 1, pp. 23–51, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  14. L. Weis, “Operator-valued Fourier multiplier theorems and maximal LP-regularity,” Mathematische Annalen, vol. 319, no. 4, pp. 735–758, 2001. View at: Publisher Site | LP-regularity&author=L. Weis&publication_year=2001" target="_blank">Google Scholar | MathSciNet
  15. Y.-C. Li and S.-Y. Shaw, “Mean ergodicity and mean stability of regularized solution families,” Mediterranean Journal of Mathematics, vol. 1, no. 2, pp. 175–193, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  16. C. Lizama, “On approximation and representation of k-regularized resolvent families,” Integral Equations and Operator Theory, vol. 41, no. 2, pp. 223–229, 2001. View at: Publisher Site | k-regularized%20resolvent%20families&author=C. Lizama&publication_year=2001" target="_blank">Google Scholar | MathSciNet
  17. C. Lizama and J. Sánchez, “On perturbation of K-regularized resolvent families,” Taiwanese Journal of Mathematics, vol. 7, no. 2, pp. 217–227, 2003. View at: K-regularized%20resolvent%20families&author=C. Lizama &author=J. Sánchez&publication_year=2003" target="_blank">Google Scholar | MathSciNet
  18. S.-Y. Shaw and J.-C. Chen, “Asymptotic behavior of (a;k)-regularized resolvent families at zero,” Taiwanese Journal of Mathematics, vol. 10, no. 2, pp. 531–542, 2006. View at: (a;k)-regularized%20resolvent%20families%20at%20zero&author=S.-Y. Shaw &author=J.-C. Chen&publication_year=2006" target="_blank">Google Scholar | MathSciNet
  19. W. Arendt, C. J. K. Batty, M. Hieber, and F. Neubrander, Vector-Valued Laplace Transforms and Cauchy Problems, vol. 96 of Monographs in Mathematics, Birkhäuser, Basel, Germany, 2001. View at: MathSciNet
  20. J. Bourgain, “Vector-valued singular integrals and the H1-BMO duality,” in Probability Theory and Harmonic Analysis (Cleveland, Ohio, 1983), vol. 98 of Monographs and Textbooks in Pure and Applied Mathematics, pp. 1–19, Marcel Dekker, New York, NY, USA, 1986. View at: H1-BMO%20duality&author=J. Bourgain&publication_year=1986" target="_blank">Google Scholar | MathSciNet
  21. F. Zimmermann, “On vector-valued Fourier multiplier theorems,” Studia Mathematica, vol. 93, no. 3, pp. 201–222, 1989. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  22. E. Berkson and T. A. Gillespie, “Spectral decompositions and harmonic analysis on UMD spaces,” Studia Mathematica, vol. 112, no. 1, pp. 13–49, 1994. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  23. P. Clément, B. de Pagter, F. A. Sukochev, and H. Witvliet, “Schauder decomposition and multiplier theorems,” Studia Mathematica, vol. 138, no. 2, pp. 135–163, 2000. View at: Google Scholar | MathSciNet
  24. W. Arendt and S. Bu, “The operator-valued Marcinkiewicz multiplier theorem and maximal regularity,” Mathematische Zeitschrift, vol. 240, no. 2, pp. 311–343, 2002. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  25. H. Amann, “Compact embeddings of vector-valued Sobolev and Besov spaces,” Glasnik Matematički, vol. 35, no. 1, pp. 161–177, 2000. View at: Google Scholar | Zentralblatt MATH | MathSciNet
  26. T. Kato, Perturbation Theory for Linear Operators, vol. 132 of Grundlehren der Mathematischen Wissenschaften, Springer, New York, NY, USA, 1980.

Copyright © 2010 Claudio Fernández 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.

477 Views | 338 Downloads | 10 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder