Maximal Regularity for Flexible Structural Systems in Lebesgue Spaces
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.
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 . 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, . 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 . In case , there are more literatures. For example, stability of the solution was studied by Gorain in . In , 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 , and in Hölder spaces by Poblete . We note that the class studied in  includes equations with delay. In particular, well-posedness of the homogeneous abstract Cauchy problem has been observed in  for under certain assumptions on
This paper is organized as follows. Section 2, collects results essentially contained in  and standard literature on -boundedness and maximal regularity (see  and ). 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  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  stated in Theorem 2.8 and a direct calculation involving the parameters , , and .
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 , 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 . 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, 15–18]).
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
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
-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 . Examples of spaces include Hilbert spaces, Sobolev spaces (see ), 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 .
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
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
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.
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 ].
We check that the set is -bounded.
Since , we have that Replacing in (4.4)
Since the sum of -bounded sets is -bounded, see , we obtain that is -bounded.
We now check that the set is -bounded. With a direct computation, we obtain
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
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
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 ), 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.
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
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.
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
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
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
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
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
T. Kato, Perturbation Theory for Linear Operators, vol. 132 of Grundlehren der Mathematischen Wissenschaften, Springer, New York, NY, USA, 1980.